Trace number 4244735

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
R1: OscaR - Conflict Ordering 2017-06-30SAT (TO)700 2400.08 2348.55

General information on the benchmark

NameStillLife/StillLife-wst-s1/
StillLife-wastage-50.xml
MD5SUMb46c08097c4951fbb159b9042bff535d
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark1196
Best CPU time to get the best result obtained on this benchmark2400.09
Satisfiable
(Un)Satisfiability was proved
Number of variables5461
Number of constraints3008
Number of domains4
Minimum domain size2
Maximum domain size5409
Distribution of domain sizes[{"size":2,"count":2704},{"size":3,"count":2704},{"size":2501,"count":1},{"size":5409,"count":52}]
Minimum variable degree1
Maximum variable degree53
Distribution of variable degrees[{"degree":1,"count":4},{"degree":2,"count":2701},{"degree":3,"count":55},{"degree":4,"count":200},{"degree":8,"count":196},{"degree":9,"count":2304},{"degree":53,"count":1}]
Minimum constraint arity2
Maximum constraint arity54
Distribution of constraint arities[{"arity":2,"count":252},{"arity":3,"count":200},{"arity":10,"count":2500},{"arity":52,"count":4},{"arity":53,"count":1},{"arity":54,"count":51}]
Number of extensional constraints2700
Number of intensional constraints251
Distribution of constraint types[{"type":"extension","count":2700},{"type":"intension","count":251},{"type":"sum","count":53},{"type":"instantiation","count":4}]
Optimization problemYES
Type of objectivemax VAR

Quality of the solution as a function of time


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

Solver Data 

0.26/0.27	c version: 2017-06-30
0.26/0.27	c seed: 1375595222
0.26/0.27	c timeout: 2400
0.26/0.27	c memlimit: 15500
0.26/0.27	c nbcore: 8
0.26/0.29	c Parsing instance...
7.98/3.04	c Parsing done, starting search...
119.70/112.15	o 430
119.70/112.15	o 431
119.70/112.16	o 432
119.70/112.16	o 433
119.70/112.17	o 434
119.70/112.17	o 435
119.70/112.18	o 436
119.70/112.18	o 437
119.70/112.18	o 438
119.70/112.19	o 439
119.70/112.19	o 440
119.70/112.19	o 441
119.70/112.19	o 442
119.70/112.20	o 443
119.70/112.20	o 444
119.70/112.20	o 445
119.70/112.21	o 446
119.99/112.21	o 447
119.99/112.21	o 448
119.99/112.21	o 449
119.99/112.22	o 450
119.99/112.22	o 451
119.99/112.22	o 452
119.99/112.22	o 453
119.99/112.22	o 454
119.99/112.23	o 455
119.99/112.23	o 456
119.99/112.23	o 457
119.99/112.23	o 458
119.99/112.24	o 459
119.99/112.24	o 460
119.99/112.24	o 461
119.99/112.24	o 462
119.99/112.24	o 463
119.99/112.25	o 464
119.99/112.25	o 465
119.99/112.25	o 466
119.99/112.25	o 467
119.99/112.26	o 468
119.99/112.26	o 469
119.99/112.26	o 470
119.99/112.26	o 471
119.99/112.27	o 472
119.99/112.27	o 473
119.99/112.27	o 474
119.99/112.28	o 475
119.99/112.28	o 476
119.99/112.28	o 477
119.99/112.28	o 478
119.99/112.29	o 479
119.99/112.29	o 480
119.99/112.29	o 481
119.99/112.29	o 482
119.99/112.30	o 483
119.99/112.30	o 484
119.99/112.30	o 485
119.99/112.30	o 486
119.99/112.31	o 487
119.99/112.31	o 488
120.34/112.31	o 489
120.34/112.31	o 490
120.34/112.32	o 491
120.34/112.32	o 492
120.34/112.32	o 493
120.34/112.32	o 494
120.34/112.33	o 495
120.34/112.33	o 496
120.34/112.33	o 497
120.34/112.33	o 498
120.34/112.33	o 499
120.34/112.33	o 500
120.34/112.34	o 501
120.34/112.34	o 502
120.34/112.34	o 503
120.34/112.34	o 504
120.34/112.34	o 505
120.34/112.35	o 506
120.34/112.35	o 507
120.34/112.35	o 508
120.34/112.35	o 509
120.34/112.36	o 510
120.34/112.36	o 511
120.34/112.36	o 512
120.34/112.36	o 513
120.34/112.37	o 514
120.34/112.37	o 515
120.34/112.37	o 516
120.34/112.37	o 517
120.34/112.37	o 518
120.34/112.38	o 519
120.34/112.38	o 520
120.34/112.38	o 521
120.34/112.38	o 522
120.34/112.39	o 523
120.34/112.39	o 524
120.34/112.39	o 525
120.34/112.39	o 526
120.34/112.39	o 527
120.34/112.40	o 528
120.56/112.40	o 529
120.56/112.40	o 530
120.56/112.41	o 531
120.56/112.41	o 532
120.56/112.41	o 533
120.56/112.41	o 534
120.56/112.41	o 535
120.56/112.42	o 536
120.56/112.42	o 537
120.56/112.42	o 538
120.56/112.42	o 539
120.56/112.42	o 540
120.56/112.43	o 541
120.56/112.43	o 542
120.56/112.43	o 543
120.56/112.43	o 544
120.56/112.43	o 545
120.56/112.44	o 546
120.56/112.44	o 547
120.56/112.44	o 548
120.56/112.44	o 549
120.56/112.45	o 550
120.56/112.45	o 551
120.56/112.45	o 552
120.56/112.45	o 553
120.56/112.45	o 554
120.56/112.46	o 555
120.56/112.46	o 556
120.56/112.46	o 557
120.56/112.46	o 558
120.56/112.47	o 559
120.56/112.47	o 560
120.56/112.47	o 561
120.56/112.47	o 562
120.56/112.47	o 563
120.56/112.48	o 564
120.56/112.48	o 565
120.56/112.48	o 566
120.56/112.48	o 567
120.56/112.48	o 568
120.56/112.49	o 569
120.56/112.49	o 570
120.56/112.49	o 571
120.56/112.49	o 572
120.56/112.49	o 573
120.56/112.50	o 574
120.73/112.50	o 575
120.73/112.50	o 576
120.73/112.50	o 577
120.73/112.51	o 578
120.73/112.51	o 579
120.73/112.51	o 580
120.73/112.51	o 581
120.73/112.51	o 582
120.73/112.52	o 583
120.73/112.52	o 584
120.73/112.52	o 585
120.73/112.52	o 586
120.73/112.52	o 587
120.73/112.53	o 588
120.73/112.53	o 589
120.73/112.53	o 590
120.73/112.53	o 591
120.73/112.53	o 592
120.73/112.54	o 593
120.73/112.54	o 594
120.73/112.54	o 595
120.73/112.54	o 596
120.73/112.54	o 597
120.73/112.55	o 598
120.73/112.55	o 599
120.73/112.55	o 600
120.73/112.55	o 601
120.73/112.55	o 602
120.73/112.56	o 603
120.73/112.56	o 604
120.73/112.56	o 605
120.73/112.56	o 606
120.73/112.56	o 607
120.73/112.57	o 608
120.73/112.57	o 609
120.73/112.57	o 610
120.73/112.57	o 611
120.73/112.58	o 612
120.73/112.58	o 613
120.73/112.58	o 614
120.73/112.58	o 615
120.73/112.59	o 616
120.73/112.59	o 617
120.73/112.59	o 618
120.73/112.60	o 619
120.84/112.60	o 620
120.84/112.60	o 621
120.84/112.60	o 622
120.84/112.61	o 623
120.84/112.61	o 624
120.84/112.61	o 625
120.84/112.62	o 626
120.84/112.62	o 627
120.84/112.62	o 628
120.84/112.62	o 629
120.84/112.63	o 630
120.84/112.63	o 631
120.84/112.63	o 632
120.84/112.64	o 633
120.84/112.64	o 634
120.84/112.64	o 635
120.84/112.64	o 636
120.84/112.65	o 637
120.84/112.65	o 638
120.84/112.65	o 639
120.84/112.65	o 640
120.84/112.66	o 641
120.84/112.66	o 642
120.84/112.66	o 643
120.84/112.67	o 644
120.84/112.67	o 645
120.84/112.67	o 646
120.84/112.67	o 647
120.84/112.68	o 648
120.84/112.68	o 649
120.84/112.68	o 650
120.84/112.69	o 651
120.84/112.69	o 652
120.84/112.69	o 653
120.84/112.70	o 654
120.94/112.70	o 655
120.94/112.70	o 656
120.94/112.71	o 657
120.94/112.71	o 658
120.94/112.71	o 659
120.94/112.72	o 660
120.94/112.72	o 661
120.94/112.72	o 662
120.94/112.73	o 663
120.94/112.73	o 664
120.94/112.73	o 665
120.94/112.74	o 666
120.94/112.74	o 667
120.94/112.74	o 668
120.94/112.75	o 669
120.94/112.75	o 670
120.94/112.75	o 671
120.94/112.76	o 672
120.94/112.76	o 673
120.94/112.76	o 674
120.94/112.77	o 675
120.94/112.77	o 676
120.94/112.77	o 677
120.94/112.78	o 678
120.94/112.78	o 679
120.94/112.78	o 680
120.94/112.79	o 681
120.94/112.79	o 682
120.94/112.79	o 683
121.07/112.80	o 684
121.07/112.80	o 685
121.07/112.80	o 686
121.07/112.81	o 687
121.07/112.82	o 688
121.07/112.82	o 689
121.07/112.83	o 690
121.07/112.83	o 691
121.07/112.84	o 692
121.07/112.84	o 693
130.18/121.78	o 694
130.18/121.79	o 695
134.80/126.34	o 696
852.50/842.44	o 697
1745.35/1712.26	o 698
1746.35/1713.20	o 699
1776.89/1742.83	o 700
2400.02/2348.51	s SATISFIABLE
2400.02/2348.52	v <instantiation>
2400.02/2348.52	v 	<list>
2400.02/2348.52	v 		x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[0][30] x[0][31] x[0][32] x[0][33] x[0][34] x[0][35] x[0][36] x[0][37] x[0][38] x[0][39] x[0][40] x[0][41] x[0][42] x[0][43] x[0][44] x[0][45] x[0][46] x[0][47] x[0][48] x[0][49] x[0][50] x[0][51] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[1][28] x[1][29] x[1][30] x[1][31] x[1][32] x[1][33] x[1][34] x[1][35] x[1][36] x[1][37] x[1][38] x[1][39] x[1][40] x[1][41] x[1][42] x[1][43] x[1][44] x[1][45] x[1][46] x[1][47] x[1][48] x[1][49] x[1][50] x[1][51] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[2][28] x[2][29] x[2][30] x[2][31] x[2][32] x[2][33] x[2][34] x[2][35] x[2][36] x[2][37] x[2][38] x[2][39] x[2][40] x[2][41] x[2][42] x[2][43] x[2][44] x[2][45] x[2][46] x[2][47] x[2][48] x[2][49] x[2][50] x[2][51] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[3][28] x[3][29] x[3][30] x[3][31] x[3][32] x[3][33] x[3][34] x[3][35] x[3][36] x[3][37] x[3][38] x[3][39] x[3][40] x[3][41] x[3][42] x[3][43] x[3][44] x[3][45] x[3][46] x[3][47] x[3][48] x[3][49] x[3][50] x[3][51] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[4][27] x[4][28] x[4][29] x[4][30] x[4][31] x[4][32] x[4][33] x[4][34] x[4][35] x[4][36] x[4][37] x[4][38] x[4][39] x[4][40] x[4][41] x[4][42] x[4][43] x[4][44] x[4][45] x[4][46] x[4][47] x[4][48] x[4][49] x[4][50] x[4][51] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[5][27] x[5][28] x[5][29] x[5][30] x[5][31] x[5][32] x[5][33] x[5][34] x[5][35] x[5][36] x[5][37] x[5][38] x[5][39] x[5][40] x[5][41] x[5][42] x[5][43] x[5][44] x[5][45] x[5][46] x[5][47] x[5][48] x[5][49] x[5][50] x[5][51] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[6][27] x[6][28] x[6][29] x[6][30] x[6][31] x[6][32] x[6][33] x[6][34] x[6][35] x[6][36] x[6][37] x[6][38] x[6][39] x[6][40] x[6][41] x[6][42] x[6][43] x[6][44] x[6][45] x[6][46] x[6][47] x[6][48] x[6][49] x[6][50] x[6][51] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[7][27] x[7][28] x[7][29] x[7][30] x[7][31] x[7][32] x[7][33] x[7][34] x[7][35] x[7][36] x[7][37] x[7][38] x[7][39] x[7][40] x[7][41] x[7][42] x[7][43] x[7][44] x[7][45] x[7][46] x[7][47] x[7][48] x[7][49] x[7][50] x[7][51] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[8][27] x[8][28] x[8][29] x[8][30] x[8][31] x[8][32] x[8][33] x[8][34] x[8][35] x[8][36] x[8][37] x[8][38] x[8][39] x[8][40] x[8][41] x[8][42] x[8][43] x[8][44] x[8][45] x[8][46] x[8][47] x[8][48] x[8][49] x[8][50] x[8][51] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[9][26] x[9][27] x[9][28] x[9][29] x[9][30] x[9][31] x[9][32] x[9][33] x[9][34] x[9][35] x[9][36] x[9][37] x[9][38] x[9][39] x[9][40] x[9][41] x[9][42] x[9][43] x[9][44] x[9][45] x[9][46] x[9][47] x[9][48] x[9][49] x[9][50] x[9][51] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][20] x[10][21] x[10][22] x[10][23] x[10][24] x[10][25] x[10][26] x[10][27] x[10][28] x[10][29] x[10][30] x[10][31] x[10][32] x[10][33] x[10][34] x[10][35] x[10][36] x[10][37] x[10][38] x[10][39] x[10][40] x[10][41] x[10][42] x[10][43] x[10][44] x[10][45] x[10][46] x[10][47] x[10][48] x[10][49] x[10][50] x[10][51] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][20] x[11][21] x[11][22] x[11][23] x[11][24] x[11][25] x[11][26] x[11][27] x[11][28] x[11][29] x[11][30] x[11][31] x[11][32] x[11][33] x[11][34] x[11][35] x[11][36] x[11][37] x[11][38] x[11][39] x[11][40] x[11][41] x[11][42] x[11][43] x[11][44] x[11][45] x[11][46] x[11][47] x[11][48] x[11][49] x[11][50] x[11][51] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][20] x[12][21] x[12][22] x[12][23] x[12][24] x[12][25] x[12][26] x[12][27] x[12][28] x[12][29] x[12][30] x[12][31] x[12][32] x[12][33] x[12][34] x[12][35] x[12][36] x[12][37] x[12][38] x[12][39] x[12][40] x[12][41] x[12][42] x[12][43] x[12][44] x[12][45] x[12][46] x[12][47] x[12][48] x[12][49] x[12][50] x[12][51] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][20] x[13][21] x[13][22] x[13][23] x[13][24] x[13][25] x[13][26] x[13][27] x[13][28] x[13][29] x[13][30] x[13][31] x[13][32] x[13][33] x[13][34] x[13][35] x[13][36] x[13][37] x[13][38] x[13][39] x[13][40] x[13][41] x[13][42] x[13][43] x[13][44] x[13][45] x[13][46] x[13][47] x[13][48] x[13][49] x[13][50] x[13][51] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][20] x[14][21] x[14][22] x[14][23] x[14][24] x[14][25] x[14][26] x[14][27] x[14][28] x[14][29] x[14][30] x[14][31] x[14][32] x[14][33] x[14][34] x[14][35] x[14][36] x[14][37] x[14][38] x[14][39] x[14][40] x[14][41] x[14][42] x[14][43] x[14][44] x[14][45] x[14][46] x[14][47] x[14][48] x[14][49] x[14][50] x[14][51] x[15][0] x[15][1] x[15][2] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[15][17] x[15][18] x[15][19] x[15][20] x[15][21] x[15][22] x[15][23] x[15][24] x[15][25] x[15][26] x[15][27] x[15][28] x[15][29] x[15][30] x[15][31] x[15][32] x[15][33] x[15][34] x[15][35] x[15][36] x[15][37] x[15][38] x[15][39] x[15][40] x[15][41] x[15][42] x[15][43] x[15][44] x[15][45] x[15][46] x[15][47] x[15][48] x[15][49] x[15][50] x[15][51] x[16][0] x[16][1] x[16][2] x[16][3] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][16] x[16][17] x[16][18] x[16][19] x[16][20] x[16][21] x[16][22] x[16][23] x[16][24] x[16][25] x[16][26] x[16][27] x[16][28] x[16][29] x[16][30] x[16][31] x[16][32] x[16][33] x[16][34] x[16][35] x[16][36] x[16][37] x[16][38] x[16][39] x[16][40] x[16][41] x[16][42] x[16][43] x[16][44] x[16][45] x[16][46] x[16][47] x[16][48] x[16][49] x[16][50] x[16][51] x[17][0] x[17][1] x[17][2] x[17][3] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][15] x[17][16] x[17][17] x[17][18] x[17][19] x[17][20] x[17][21] x[17][22] x[17][23] x[17][24] x[17][25] x[17][26] x[17][27] x[17][28] x[17][29] x[17][30] x[17][31] x[17][32] x[17][33] x[17][34] x[17][35] x[17][36] x[17][37] x[17][38] x[17][39] x[17][40] x[17][41] x[17][42] x[17][43] x[17][44] x[17][45] x[17][46] x[17][47] x[17][48] x[17][49] x[17][50] x[17][51] x[18][0] x[18][1] x[18][2] x[18][3] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[18][10] x[18][11] x[18][12] x[18][13] x[18][14] x[18][15] x[18][16] x[18][17] x[18][18] x[18][19] x[18][20] x[18][21] x[18][22] x[18][23] x[18][24] x[18][25] x[18][26] x[18][27] x[18][28] x[18][29] x[18][30] x[18][31] x[18][32] x[18][33] x[18][34] x[18][35] x[18][36] x[18][37] x[18][38] x[18][39] x[18][40] x[18][41] x[18][42] x[18][43] x[18][44] x[18][45] x[18][46] x[18][47] x[18][48] x[18][49] x[18][50] x[18][51] x[19][0] x[19][1] x[19][2] x[19][3] x[19][4] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[19][10] x[19][11] x[19][12] x[19][13] x[19][14] x[19][15] x[19][16] x[19][17] x[19][18] x[19][19] x[19][20] x[19][21] x[19][22] x[19][23] x[19][24] x[19][25] x[19][26] x[19][27] x[19][28] x[19][29] x[19][30] x[19][31] x[19][32] x[19][33] x[19][34] x[19][35] x[19][36] x[19][37] x[19][38] x[19][39] x[19][40] x[19][41] x[19][42] x[19][43] x[19][44] x[19][45] x[19][46] x[19][47] x[19][48] x[19][49] x[19][50] x[19][51] x[20][0] x[20][1] x[20][2] x[20][3] x[20][4] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[20][10] x[20][11] x[20][12] x[20][13] x[20][14] x[20][15] x[20][16] x[20][17] x[20][18] x[20][19] x[20][20] x[20][21] x[20][22] x[20][23] x[20][24] x[20][25] x[20][26] x[20][27] x[20][28] x[20][29] x[20][30] x[20][31] x[20][32] x[20][33] x[20][34] x[20][35] x[20][36] x[20][37] x[20][38] x[20][39] x[20][40] x[20][41] x[20][42] x[20][43] x[20][44] x[20][45] x[20][46] x[20][47] x[20][48] x[20][49] x[20][50] x[20][51] x[21][0] x[21][1] x[21][2] x[21][3] x[21][4] x[21][5] x[21][6] x[21][7] x[21][8] x[21][9] x[21][10] x[21][11] x[21][12] x[21][13] x[21][14] x[21][15] x[21][16] x[21][17] x[21][18] x[21][19] x[21][20] x[21][21] x[21][22] x[21][23] x[21][24] x[21][25] x[21][26] x[21][27] x[21][28] x[21][29] x[21][30] x[21][31] x[21][32] x[21][33] x[21][34] x[21][35] x[21][36] x[21][37] x[21][38] x[21][39] x[21][40] x[21][41] x[21][42] x[21][43] x[21][44] x[21][45] x[21][46] x[21][47] x[21][48] x[21][49] x[21][50] x[21][51] x[22][0] x[22][1] x[22][2] x[22][3] x[22][4] x[22][5] x[22][6] x[22][7] x[22][8] x[22][9] x[22][10] x[22][11] x[22][12] x[22][13] x[22][14] x[22][15] x[22][16] x[22][17] x[22][18] x[22][19] x[22][20] x[22][21] x[22][22] x[22][23] x[22][24] x[22][25] x[22][26] x[22][27] x[22][28] x[22][29] x[22][30] x[22][31] x[22][32] x[22][33] x[22][34] x[22][35] x[22][36] x[22][37] x[22][38] x[22][39] x[22][40] x[22][41] x[22][42] x[22][43] x[22][44] x[22][45] x[22][46] x[22][47] x[22][48] x[22][49] x[22][50] x[22][51] x[23][0] x[23][1] x[23][2] x[23][3] x[23][4] x[23][5] x[23][6] x[23][7] x[23][8] x[23][9] x[23][10] x[23][11] x[23][12] x[23][13] x[23][14] x[23][15] x[23][16] x[23][17] x[23][18] x[23][19] x[23][20] x[23][21] x[23][22] x[23][23] x[23][24] x[23][25] x[23][26] x[23][27] x[23][28] x[23][29] x[23][30] x[23][31] x[23][32] x[23][33] x[23][34] x[23][35] x[23][36] x[23][37] x[23][38] x[23][39] x[23][40] x[23][41] x[23][42] x[23][43] x[23][44] x[23][45] x[23][46] x[23][47] x[23][48] x[23][49] x[23][50] x[23][51] x[24][0] x[24][1] x[24][2] x[24][3] x[24][4] x[24][5] x[24][6] x[24][7] x[24][8] x[24][9] x[24][10] x[24][11] x[24][12] x[24][13] x[24][14] x[24][15] x[24][16] x[24][17] x[24][18] x[24][19] x[24][20] x[24][21] x[24][22] x[24][23] x[24][24] x[24][25] x[24][26] x[24][27] x[24][28] x[24][29] x[24][30] x[24][31] x[24][32] x[24][33] x[24][34] x[24][35] x[24][36] x[24][37] x[24][38] x[24][39] x[24][40] x[24][41] x[24][42] x[24][43] x[24][44] x[24][45] x[24][46] x[24][47] x[24][48] x[24][49] x[24][50] x[24][51] x[25][0] x[25][1] x[25][2] x[25][3] x[25][4] x[25][5] x[25][6] x[25][7] x[25][8] x[25][9] x[25][10] x[25][11] x[25][12] x[25][13] x[25][14] x[25][15] x[25][16] x[25][17] x[25][18] x[25][19] x[25][20] x[25][21] x[25][22] x[25][23] x[25][24] x[25][25] x[25][26] x[25][27] x[25][28] x[25][29] x[25][30] x[25][31] x[25][32] x[25][33] x[25][34] x[25][35] x[25][36] x[25][37] x[25][38] x[25][39] x[25][40] x[25][41] x[25][42] x[25][43] x[25][44] x[25][45] x[25][46] x[25][47] x[25][48] x[25][49] x[25][50] x[25][51] x[26][0] x[26][1] x[26][2] x[26][3] x[26][4] x[26][5] x[26][6] x[26][7] x[26][8] x[26][9] x[26][10] x[26][11] x[26][12] x[26][13] x[26][14] x[26][15] x[26][16] x[26][17] x[26][18] x[26][19] x[26][20] x[26][21] x[26][22] x[26][23] x[26][24] x[26][25] x[26][26] x[26][27] x[26][28] x[26][29] x[26][30] x[26][31] x[26][32] x[26][33] x[26][34] x[26][35] x[26][36] x[26][37] x[26][38] x[26][39] x[26][40] x[26][41] x[26][42] x[26][43] x[26][44] x[26][45] x[26][46] x[26][47] x[26][48] x[26][49] x[26][50] x[26][51] x[27][0] x[27][1] x[27][2] x[27][3] x[27][4] x[27][5] x[27][6] x[27][7] x[27][8] x[27][9] x[27][10] x[27][11] x[27][12] x[27][13] x[27][14] x[27][15] x[27][16] x[27][17] x[27][18] x[27][19] x[27][20] x[27][21] x[27][22] x[27][23] x[27][24] x[27][25] x[27][26] x[27][27] x[27][28] x[27][29] x[27][30] x[27][31] x[27][32] x[27][33] x[27][34] x[27][35] x[27][36] x[27][37] x[27][38] x[27][39] x[27][40] x[27][41] x[27][42] x[27][43] x[27][44] x[27][45] x[27][46] x[27][47] x[27][48] x[27][49] x[27][50] x[27][51] x[28][0] x[28][1] x[28][2] x[28][3] x[28][4] x[28][5] x[28][6] x[28][7] x[28][8] x[28][9] x[28][10] x[28][11] x[28][12] x[28][13] x[28][14] x[28][15] x[28][16] x[28][17] x[28][18] x[28][19] x[28][20] x[28][21] x[28][22] x[28][23] x[28][24] x[28][25] x[28][26] x[28][27] x[28][28] x[28][29] x[28][30] x[28][31] x[28][32] x[28][33] x[28][34] x[28][35] x[28][36] x[28][37] x[28][38] x[28][39] x[28][40] x[28][41] x[28][42] x[28][43] x[28][44] x[28][45] x[28][46] x[28][47] x[28][48] x[28][49] x[28][50] x[28][51] x[29][0] x[29][1] x[29][2] x[29][3] x[29][4] x[29][5] x[29][6] x[29][7] x[29][8] x[29][9] x[29][10] x[29][11] x[29][12] x[29][13] x[29][14] x[29][15] x[29][16] x[29][17] x[29][18] x[29][19] x[29][20] x[29][21] x[29][22] x[29][23] x[29][24] x[29][25] x[29][26] x[29][27] x[29][28] x[29][29] x[29][30] x[29][31] x[29][32] x[29][33] x[29][34] x[29][35] x[29][36] x[29][37] x[29][38] x[29][39] x[29][40] x[29][41] x[29][42] x[29][43] x[29][44] x[29][45] x[29][46] x[29][47] x[29][48] x[29][49] x[29][50] x[29][51] x[30][0] x[30][1] x[30][2] x[30][3] x[30][4] x[30][5] x[30][6] x[30][7] x[30][8] x[30][9] x[30][10] x[30][11] x[30][12] x[30][13] x[30][14] x[30][15] x[30][16] x[30][17] x[30][18] x[30][19] x[30][20] x[30][21] x[30][22] x[30][23] x[30][24] x[30][25] x[30][26] x[30][27] x[30][28] x[30][29] x[30][30] x[30][31] x[30][32] x[30][33] x[30][34] x[30][35] x[30][36] x[30][37] x[30][38] x[30][39] x[30][40] x[30][41] x[30][42] x[30][43] x[30][44] x[30][45] x[30][46] x[30][47] x[30][48] x[30][49] x[30][50] x[30][51] x[31][0] x[31][1] x[31][2] x[31][3] x[31][4] x[31][5] x[31][6] x[31][7] x[31][8] x[31][9] x[31][10] x[31][11] x[31][12] x[31][13] x[31][14] x[31][15] x[31][16] x[31][17] x[31][18] x[31][19] x[31][20] x[31][21] x[31][22] x[31][23] x[31][24] x[31][25] x[31][26] x[31][27] x[31][28] x[31][29] x[31][30] x[31][31] x[31][32] x[31][33] x[31][34] x[31][35] x[31][36] x[31][37] x[31][38] x[31][39] x[31][40] x[31][41] x[31][42] x[31][43] x[31][44] x[31][45] x[31][46] x[31][47] x[31][48] x[31][49] x[31][50] x[31][51] x[32][0] x[32][1] x[32][2] x[32][3] x[32][4] x[32][5] x[32][6] x[32][7] x[32][8] x[32][9] x[32][10] x[32][11] x[32][12] x[32][13] x[32][14] x[32][15] x[32][16] x[32][17] x[32][18] x[32][19] x[32][20] x[32][21] x[32][22] x[32][23] x[32][24] x[32][25] x[32][26] x[32][27] x[32][28] x[32][29] x[32][30] x[32][31] x[32][32] x[32][33] x[32][34] x[32][35] x[32][36] x[32][37] x[32][38] x[32][39] x[32][40] x[32][41] x[32][42] x[32][43] x[32][44] x[32][45] x[32][46] x[32][47] x[32][48] x[32][49] x[32][50] x[32][51] x[33][0] x[33][1] x[33][2] x[33][3] x[33][4] x[33][5] x[33][6] x[33][7] x[33][8] x[33][9] x[33][10] x[33][11] x[33][12] x[33][13] x[33][14] x[33][15] x[33][16] x[33][17] x[33][18] x[33][19] x[33][20] x[33][21] x[33][22] x[33][23] x[33][24] x[33][25] x[33][26] x[33][27] x[33][28] x[33][29] x[33][30] x[33][31] x[33][32] x[33][33] x[33][34] x[33][35] x[33][36] x[33][37] x[33][38] x[33][39] x[33][40] x[33][41] x[33][42] x[33][43] x[33][44] x[33][45] x[33][46] x[33][47] x[33][48] x[33][49] x[33][50] x[33][51] x[34][0] x[34][1] x[34][2] x[34][3] x[34][4] x[34][5] x[34][6] x[34][7] x[34][8] x[34][9] x[34][10] x[34][11] x[34][12] x[34][13] x[34][14] x[34][15] x[34][16] x[34][17] x[34][18] x[34][19] x[34][20] x[34][21] x[34][22] x[34][23] x[34][24] x[34][25] x[34][26] x[34][27] x[34][28] x[34][29] x[34][30] x[34][31] x[34][32] x[34][33] x[34][34] x[34][35] x[34][36] x[34][37] x[34][38] x[34][39] x[34][40] x[34][41] x[34][42] x[34][43] x[34][44] x[34][45] x[34][46] x[34][47] x[34][48] x[34][49] x[34][50] x[34][51] x[35][0] x[35][1] x[35][2] x[35][3] x[35][4] x[35][5] x[35][6] x[35][7] x[35][8] x[35][9] x[35][10] x[35][11] x[35][12] x[35][13] x[35][14] x[35][15] x[35][16] x[35][17] x[35][18] x[35][19] x[35][20] x[35][21] x[35][22] x[35][23] x[35][24] x[35][25] x[35][26] x[35][27] x[35][28] x[35][29] x[35][30] x[35][31] x[35][32] x[35][33] x[35][34] x[35][35] x[35][36] x[35][37] x[35][38] x[35][39] x[35][40] x[35][41] x[35][42] x[35][43] x[35][44] x[35][45] x[35][46] x[35][47] x[35][48] x[35][49] x[35][50] x[35][51] x[36][0] x[36][1] x[36][2] x[36][3] x[36][4] x[36][5] x[36][6] x[36][7] x[36][8] x[36][9] x[36][10] x[36][11] x[36][12] x[36][13] x[36][14] x[36][15] x[36][16] x[36][17] x[36][18] x[36][19] x[36][20] x[36][21] x[36][22] x[36][23] x[36][24] x[36][25] x[36][26] x[36][27] x[36][28] x[36][29] x[36][30] x[36][31] x[36][32] x[36][33] x[36][34] x[36][35] x[36][36] x[36][37] x[36][38] x[36][39] x[36][40] x[36][41] x[36][42] x[36][43] x[36][44] x[36][45] x[36][46] x[36][47] x[36][48] x[36][49] x[36][50] x[36][51] x[37][0] x[37][1] x[37][2] x[37][3] x[37][4] x[37][5] x[37][6] x[37][7] x[37][8] x[37][9] x[37][10] x[37][11] x[37][12] x[37][13] x[37][14] x[37][15] x[37][16] x[37][17] x[37][18] x[37][19] x[37][20] x[37][21] x[37][22] x[37][23] x[37][24] x[37][25] x[37][26] x[37][27] x[37][28] x[37][29] x[37][30] x[37][31] x[37][32] x[37][33] x[37][34] x[37][35] x[37][36] x[37][37] x[37][38] x[37][39] x[37][40] x[37][41] x[37][42] x[37][43] x[37][44] x[37][45] x[37][46] x[37][47] x[37][48] x[37][49] x[37][50] x[37][51] x[38][0] x[38][1] x[38][2] x[38][3] x[38][4] x[38][5] x[38][6] x[38][7] x[38][8] x[38][9] x[38][10] x[38][11] x[38][12] x[38][13] x[38][14] x[38][15] x[38][16] x[38][17] x[38][18] x[38][19] x[38][20] x[38][21] x[38][22] x[38][23] x[38][24] x[38][25] x[38][26] x[38][27] x[38][28] x[38][29] x[38][30] x[38][31] x[38][32] x[38][33] x[38][34] x[38][35] x[38][36] x[38][37] x[38][38] x[38][39] x[38][40] x[38][41] x[38][42] x[38][43] x[38][44] x[38][45] x[38][46] x[38][47] x[38][48] x[38][49] x[38][50] x[38][51] x[39][0] x[39][1] x[39][2] x[39][3] x[39][4] x[39][5] x[39][6] x[39][7] x[39][8] x[39][9] x[39][10] x[39][11] x[39][12] x[39][13] x[39][14] x[39][15] x[39][16] x[39][17] x[39][18] x[39][19] x[39][20] x[39][21] x[39][22] x[39][23] x[39][24] x[39][25] x[39][26] x[39][27] x[39][28] x[39][29] x[39][30] x[39][31] x[39][32] x[39][33] x[39][34] x[39][35] x[39][36] x[39][37] x[39][38] x[39][39] x[39][40] x[39][41] x[39][42] x[39][43] x[39][44] x[39][45] x[39][46] x[39][47] x[39][48] x[39][49] x[39][50] x[39][51] x[40][0] x[40][1] x[40][2] x[40][3] x[40][4] x[40][5] x[40][6] x[40][7] x[40][8] x[40][9] x[40][10] x[40][11] x[40][12] x[40][13] x[40][14] x[40][15] x[40][16] x[40][17] x[40][18] x[40][19] x[40][20] x[40][21] x[40][22] x[40][23] x[40][24] x[40][25] x[40][26] x[40][27] x[40][28] x[40][29] x[40][30] x[40][31] x[40][32] x[40][33] x[40][34] x[40][35] x[40][36] x[40][37] x[40][38] x[40][39] x[40][40] x[40][41] x[40][42] x[40][43] x[40][44] x[40][45] x[40][46] x[40][47] x[40][48] x[40][49] x[40][50] x[40][51] x[41][0] x[41][1] x[41][2] x[41][3] x[41][4] x[41][5] x[41][6] x[41][7] x[41][8] x[41][9] x[41][10] x[41][11] x[41][12] x[41][13] x[41][14] x[41][15] x[41][16] x[41][17] x[41][18] x[41][19] x[41][20] x[41][21] x[41][22] x[41][23] x[41][24] x[41][25] x[41][26] x[41][27] x[41][28] x[41][29] x[41][30] x[41][31] x[41][32] x[41][33] x[41][34] x[41][35] x[41][36] x[41][37] x[41][38] x[41][39] x[41][40] x[41][41] x[41][42] x[41][43] x[41][44] x[41][45] x[41][46] x[41][47] x[41][48] x[41][49] x[41][50] x[41][51] x[42][0] x[42][1] x[42][2] x[42][3] x[42][4] x[42][5] x[42][6] x[42][7] x[42][8] x[42][9] x[42][10] x[42][11] x[42][12] x[42][13] x[42][14] x[42][15] x[42][16] x[42][17] x[42][18] x[42][19] x[42][20] x[42][21] x[42][22] x[42][23] x[42][24] x[42][25] x[42][26] x[42][27] x[42][28] x[42][29] x[42][30] x[42][31] x[42][32] x[42][33] x[42][34] x[42][35] x[42][36] x[42][37] x[42][38] x[42][39] x[42][40] x[42][41] x[42][42] x[42][43] x[42][44] x[42][45] x[42][46] x[42][47] x[42][48] x[42][49] x[42][50] x[42][51] x[43][0] x[43][1] x[43][2] x[43][3] x[43][4] x[43][5] x[43][6] x[43][7] x[43][8] x[43][9] x[43][10] x[43][11] x[43][12] x[43][13] x[43][14] x[43][15] x[43][16] x[43][17] x[43][18] x[43][19] x[43][20] x[43][21] x[43][22] x[43][23] x[43][24] x[43][25] x[43][26] x[43][27] x[43][28] x[43][29] x[43][30] x[43][31] x[43][32] x[43][33] x[43][34] x[43][35] x[43][36] x[43][37] x[43][38] x[43][39] x[43][40] x[43][41] x[43][42] x[43][43] x[43][44] x[43][45] x[43][46] x[43][47] x[43][48] x[43][49] x[43][50] x[43][51] x[44][0] x[44][1] x[44][2] x[44][3] x[44][4] x[44][5] x[44][6] x[44][7] x[44][8] x[44][9] x[44][10] x[44][11] x[44][12] x[44][13] x[44][14] x[44][15] x[44][16] x[44][17] x[44][18] x[44][19] x[44][20] x[44][21] x[44][22] x[44][23] x[44][24] x[44][25] x[44][26] x[44][27] x[44][28] x[44][29] x[44][30] x[44][31] x[44][32] x[44][33] x[44][34] x[44][35] x[44][36] x[44][37] x[44][38] x[44][39] x[44][40] x[44][41] x[44][42] x[44][43] x[44][44] x[44][45] x[44][46] x[44][47] x[44][48] x[44][49] x[44][50] x[44][51] x[45][0] x[45][1] x[45][2] x[45][3] x[45][4] x[45][5] x[45][6] x[45][7] x[45][8] x[45][9] x[45][10] x[45][11] x[45][12] x[45][13] x[45][14] x[45][15] x[45][16] x[45][17] x[45][18] x[45][19] x[45][20] x[45][21] x[45][22] x[45][23] x[45][24] x[45][25] x[45][26] x[45][27] x[45][28] x[45][29] x[45][30] x[45][31] x[45][32] x[45][33] x[45][34] x[45][35] x[45][36] x[45][37] x[45][38] x[45][39] x[45][40] x[45][41] x[45][42] x[45][43] x[45][44] x[45][45] x[45][46] x[45][47] x[45][48] x[45][49] x[45][50] x[45][51] x[46][0] x[46][1] x[46][2] x[46][3] x[46][4] x[46][5] x[46][6] x[46][7] x[46][8] x[46][9] x[46][10] x[46][11] x[46][12] x[46][13] x[46][14] x[46][15] x[46][16] x[46][17] x[46][18] x[46][19] x[46][20] x[46][21] x[46][22] x[46][23] x[46][24] x[46][25] x[46][26] x[46][27] x[46][28] x[46][29] x[46][30] x[46][31] x[46][32] x[46][33] x[46][34] x[46][35] x[46][36] x[46][37] x[46][38] x[46][39] x[46][40] x[46][41] x[46][42] x[46][43] x[46][44] x[46][45] x[46][46] x[46][47] x[46][48] x[46][49] x[46][50] x[46][51] x[47][0] x[47][1] x[47][2] x[47][3] x[47][4] x[47][5] x[47][6] x[47][7] x[47][8] x[47][9] x[47][10] x[47][11] x[47][12] x[47][13] x[47][14] x[47][15] x[47][16] x[47][17] x[47][18] x[47][19] x[47][20] x[47][21] x[47][22] x[47][23] x[47][24] x[47][25] x[47][26] x[47][27] x[47][28] x[47][29] x[47][30] x[47][31] x[47][32] x[47][33] x[47][34] x[47][35] x[47][36] x[47][37] x[47][38] x[47][39] x[47][40] x[47][41] x[47][42] x[47][43] x[47][44] x[47][45] x[47][46] x[47][47] x[47][48] x[47][49] x[47][50] x[47][51] x[48][0] x[48][1] x[48][2] x[48][3] x[48][4] x[48][5] x[48][6] x[48][7] x[48][8] x[48][9] x[48][10] x[48][11] x[48][12] x[48][13] x[48][14] x[48][15] x[48][16] x[48][17] x[48][18] x[48][19] x[48][20] x[48][21] x[48][22] x[48][23] x[48][24] x[48][25] x[48][26] x[48][27] x[48][28] x[48][29] x[48][30] x[48][31] x[48][32] x[48][33] x[48][34] x[48][35] x[48][36] x[48][37] x[48][38] x[48][39] x[48][40] x[48][41] x[48][42] x[48][43] x[48][44] x[48][45] x[48][46] x[48][47] x[48][48] x[48][49] x[48][50] x[48][51] x[49][0] x[49][1] x[49][2] x[49][3] x[49][4] x[49][5] x[49][6] x[49][7] x[49][8] x[49][9] x[49][10] x[49][11] x[49][12] x[49][13] x[49][14] x[49][15] x[49][16] x[49][17] x[49][18] x[49][19] x[49][20] x[49][21] x[49][22] x[49][23] x[49][24] x[49][25] x[49][26] x[49][27] x[49][28] x[49][29] x[49][30] x[49][31] x[49][32] x[49][33] x[49][34] x[49][35] x[49][36] x[49][37] x[49][38] x[49][39] x[49][40] x[49][41] x[49][42] x[49][43] x[49][44] x[49][45] x[49][46] x[49][47] x[49][48] x[49][49] x[49][50] x[49][51] x[50][0] x[50][1] x[50][2] x[50][3] x[50][4] x[50][5] x[50][6] x[50][7] x[50][8] x[50][9] x[50][10] x[50][11] x[50][12] x[50][13] x[50][14] x[50][15] x[50][16] x[50][17] x[50][18] x[50][19] x[50][20] x[50][21] x[50][22] x[50][23] x[50][24] x[50][25] x[50][26] x[50][27] x[50][28] x[50][29] x[50][30] x[50][31] x[50][32] x[50][33] x[50][34] x[50][35] x[50][36] x[50][37] x[50][38] x[50][39] x[50][40] x[50][41] x[50][42] x[50][43] x[50][44] x[50][45] x[50][46] x[50][47] x[50][48] x[50][49] x[50][50] x[50][51] x[51][0] x[51][1] x[51][2] x[51][3] x[51][4] x[51][5] x[51][6] x[51][7] x[51][8] x[51][9] x[51][10] x[51][11] x[51][12] x[51][13] x[51][14] x[51][15] x[51][16] x[51][17] x[51][18] x[51][19] x[51][20] x[51][21] x[51][22] x[51][23] x[51][24] x[51][25] x[51][26] x[51][27] x[51][28] x[51][29] x[51][30] x[51][31] x[51][32] x[51][33] x[51][34] x[51][35] x[51][36] x[51][37] x[51][38] x[51][39] x[51][40] x[51][41] x[51][42] x[51][43] x[51][44] x[51][45] x[51][46] x[51][47] x[51][48] x[51][49] x[51][50] x[51][51] w[0][0] w[0][1] w[0][2] w[0][3] w[0][4] w[0][5] w[0][6] w[0][7] w[0][8] w[0][9] w[0][10] w[0][11] w[0][12] w[0][13] w[0][14] w[0][15] w[0][16] w[0][17] w[0][18] w[0][19] w[0][20] w[0][21] w[0][22] w[0][23] w[0][24] w[0][25] w[0][26] w[0][27] w[0][28] w[0][29] w[0][30] w[0][31] w[0][32] w[0][33] w[0][34] w[0][35] w[0][36] w[0][37] w[0][38] w[0][39] w[0][40] w[0][41] w[0][42] w[0][43] w[0][44] w[0][45] w[0][46] w[0][47] w[0][48] w[0][49] w[0][50] w[0][51] w[1][0] w[1][1] w[1][2] w[1][3] w[1][4] w[1][5] w[1][6] w[1][7] w[1][8] w[1][9] w[1][10] w[1][11] w[1][12] w[1][13] w[1][14] w[1][15] w[1][16] w[1][17] w[1][18] w[1][19] w[1][20] w[1][21] w[1][22] w[1][23] w[1][24] w[1][25] w[1][26] w[1][27] w[1][28] w[1][29] w[1][30] w[1][31] w[1][32] w[1][33] w[1][34] w[1][35] w[1][36] w[1][37] w[1][38] w[1][39] w[1][40] w[1][41] w[1][42] w[1][43] w[1][44] w[1][45] w[1][46] w[1][47] w[1][48] w[1][49] w[1][50] w[1][51] w[2][0] w[2][1] w[2][2] w[2][3] w[2][4] w[2][5] w[2][6] w[2][7] w[2][8] w[2][9] w[2][10] w[2][11] w[2][12] w[2][13] w[2][14] w[2][15] w[2][16] w[2][17] w[2][18] w[2][19] w[2][20] w[2][21] w[2][22] w[2][23] w[2][24] w[2][25] w[2][26] w[2][27] w[2][28] w[2][29] w[2][30] w[2][31] w[2][32] w[2][33] w[2][34] w[2][35] w[2][36] w[2][37] w[2][38] w[2][39] w[2][40] w[2][41] w[2][42] w[2][43] w[2][44] w[2][45] w[2][46] w[2][47] w[2][48] w[2][49] w[2][50] w[2][51] w[3][0] w[3][1] w[3][2] w[3][3] w[3][4] w[3][5] w[3][6] w[3][7] w[3][8] w[3][9] w[3][10] w[3][11] w[3][12] w[3][13] w[3][14] w[3][15] w[3][16] w[3][17] w[3][18] w[3][19] w[3][20] w[3][21] w[3][22] w[3][23] w[3][24] w[3][25] w[3][26] w[3][27] w[3][28] w[3][29] w[3][30] w[3][31] w[3][32] w[3][33] w[3][34] w[3][35] w[3][36] w[3][37] w[3][38] w[3][39] w[3][40] w[3][41] w[3][42] w[3][43] w[3][44] w[3][45] w[3][46] w[3][47] w[3][48] w[3][49] w[3][50] w[3][51] w[4][0] w[4][1] w[4][2] w[4][3] w[4][4] w[4][5] w[4][6] w[4][7] w[4][8] w[4][9] w[4][10] w[4][11] w[4][12] w[4][13] w[4][14] w[4][15] w[4][16] w[4][17] w[4][18] w[4][19] w[4][20] w[4][21] w[4][22] w[4][23] w[4][24] w[4][25] w[4][26] w[4][27] w[4][28] w[4][29] w[4][30] w[4][31] w[4][32] w[4][33] w[4][34] w[4][35] w[4][36] w[4][37] w[4][38] w[4][39] w[4][40] w[4][41] w[4][42] w[4][43] w[4][44] w[4][45] w[4][46] w[4][47] w[4][48] w[4][49] w[4][50] w[4][51] w[5][0] w[5][1] w[5][2] w[5][3] w[5][4] w[5][5] w[5][6] w[5][7] w[5][8] w[5][9] w[5][10] w[5][11] w[5][12] w[5][13] w[5][14] w[5][15] w[5][16] w[5][17] w[5][18] w[5][19] w[5][20] w[5][21] w[5][22] w[5][23] w[5][24] w[5][25] w[5][26] w[5][27] w[5][28] w[5][29] w[5][30] w[5][31] w[5][32] w[5][33] w[5][34] w[5][35] w[5][36] w[5][37] w[5][38] w[5][39] w[5][40] w[5][41] w[5][42] w[5][43] w[5][44] w[5][45] w[5][46] w[5][47] w[5][48] w[5][49] w[5][50] w[5][51] w[6][0] w[6][1] w[6][2] w[6][3] w[6][4] w[6][5] w[6][6] w[6][7] w[6][8] w[6][9] w[6][10] w[6][11] w[6][12] w[6][13] w[6][14] w[6][15] w[6][16] w[6][17] w[6][18] w[6][19] w[6][20] w[6][21] w[6][22] w[6][23] w[6][24] w[6][25] w[6][26] w[6][27] w[6][28] w[6][29] w[6][30] w[6][31] w[6][32] w[6][33] w[6][34] w[6][35] w[6][36] w[6][37] w[6][38] w[6][39] w[6][40] w[6][41] w[6][42] w[6][43] w[6][44] w[6][45] w[6][46] w[6][47] w[6][48] w[6][49] w[6][50] w[6][51] w[7][0] w[7][1] w[7][2] w[7][3] w[7][4] w[7][5] w[7][6] w[7][7] w[7][8] w[7][9] w[7][10] w[7][11] w[7][12] w[7][13] w[7][14] w[7][15] w[7][16] w[7][17] w[7][18] w[7][19] w[7][20] w[7][21] w[7][22] w[7][23] w[7][24] w[7][25] w[7][26] w[7][27] w[7][28] w[7][29] w[7][30] w[7][31] w[7][32] w[7][33] w[7][34] w[7][35] w[7][36] w[7][37] w[7][38] w[7][39] w[7][40] w[7][41] w[7][42] w[7][43] w[7][44] w[7][45] w[7][46] w[7][47] w[7][48] w[7][49] w[7][50] w[7][51] w[8][0] w[8][1] w[8][2] w[8][3] w[8][4] w[8][5] w[8][6] w[8][7] w[8][8] w[8][9] w[8][10] w[8][11] w[8][12] w[8][13] w[8][14] w[8][15] w[8][16] w[8][17] w[8][18] w[8][19] w[8][20] w[8][21] w[8][22] w[8][23] w[8][24] w[8][25] w[8][26] w[8][27] w[8][28] w[8][29] w[8][30] w[8][31] w[8][32] w[8][33] w[8][34] w[8][35] w[8][36] w[8][37] w[8][38] w[8][39] w[8][40] w[8][41] w[8][42] w[8][43] w[8][44] w[8][45] w[8][46] w[8][47] w[8][48] w[8][49] w[8][50] w[8][51] w[9][0] w[9][1] w[9][2] w[9][3] w[9][4] w[9][5] w[9][6] w[9][7] w[9][8] w[9][9] w[9][10] w[9][11] w[9][12] w[9][13] w[9][14] w[9][15] w[9][16] w[9][17] w[9][18] w[9][19] w[9][20] w[9][21] w[9][22] w[9][23] w[9][24] w[9][25] w[9][26] w[9][27] w[9][28] w[9][29] w[9][30] w[9][31] w[9][32] w[9][33] w[9][34] w[9][35] w[9][36] w[9][37] w[9][38] w[9][39] w[9][40] w[9][41] w[9][42] w[9][43] w[9][44] w[9][45] w[9][46] w[9][47] w[9][48] w[9][49] w[9][50] w[9][51] w[10][0] w[10][1] w[10][2] w[10][3] w[10][4] w[10][5] w[10][6] w[10][7] w[10][8] w[10][9] w[10][10] w[10][11] w[10][12] w[10][13] w[10][14] w[10][15] w[10][16] w[10][17] w[10][18] w[10][19] w[10][20] w[10][21] w[10][22] w[10][23] w[10][24] w[10][25] w[10][26] w[10][27] w[10][28] w[10][29] w[10][30] w[10][31] w[10][32] w[10][33] w[10][34] w[10][35] w[10][36] w[10][37] w[10][38] w[10][39] w[10][40] w[10][41] w[10][42] w[10][43] w[10][44] w[10][45] w[10][46] w[10][47] w[10][48] w[10][49] w[10][50] w[10][51] w[11][0] w[11][1] w[11][2] w[11][3] w[11][4] w[11][5] w[11][6] w[11][7] w[11][8] w[11][9] w[11][10] w[11][11] w[11][12] w[11][13] w[11][14] w[11][15] w[11][16] w[11][17] w[11][18] w[11][19] w[11][20] w[11][21] w[11][22] w[11][23] w[11][24] w[11][25] w[11][26] w[11][27] w[11][28] w[11][29] w[11][30] w[11][31] w[11][32] w[11][33] w[11][34] w[11][35] w[11][36] w[11][37] w[11][38] w[11][39] w[11][40] w[11][41] w[11][42] w[11][43] w[11][44] w[11][45] w[11][46] w[11][47] w[11][48] w[11][49] w[11][50] w[11][51] w[12][0] w[12][1] w[12][2] w[12][3] w[12][4] w[12][5] w[12][6] w[12][7] w[12][8] w[12][9] w[12][10] w[12][11] w[12][12] w[12][13] w[12][14] w[12][15] w[12][16] w[12][17] w[12][18] w[12][19] w[12][20] w[12][21] w[12][22] w[12][23] w[12][24] w[12][25] w[12][26] w[12][27] w[12][28] w[12][29] w[12][30] w[12][31] w[12][32] w[12][33] w[12][34] w[12][35] w[12][36] w[12][37] w[12][38] w[12][39] w[12][40] w[12][41] w[12][42] w[12][43] w[12][44] w[12][45] w[12][46] w[12][47] w[12][48] w[12][49] w[12][50] w[12][51] w[13][0] w[13][1] w[13][2] w[13][3] w[13][4] w[13][5] w[13][6] w[13][7] w[13][8] w[13][9] w[13][10] w[13][11] w[13][12] w[13][13] w[13][14] w[13][15] w[13][16] w[13][17] w[13][18] w[13][19] w[13][20] w[13][21] w[13][22] w[13][23] w[13][24] w[13][25] w[13][26] w[13][27] w[13][28] w[13][29] w[13][30] w[13][31] w[13][32] w[13][33] w[13][34] w[13][35] w[13][36] w[13][37] w[13][38] w[13][39] w[13][40] w[13][41] w[13][42] w[13][43] w[13][44] w[13][45] w[13][46] w[13][47] w[13][48] w[13][49] w[13][50] w[13][51] w[14][0] w[14][1] w[14][2] w[14][3] w[14][4] w[14][5] w[14][6] w[14][7] w[14][8] w[14][9] w[14][10] w[14][11] w[14][12] w[14][13] w[14][14] w[14][15] w[14][16] w[14][17] w[14][18] w[14][19] w[14][20] w[14][21] w[14][22] w[14][23] w[14][24] w[14][25] w[14][26] w[14][27] w[14][28] w[14][29] w[14][30] w[14][31] w[14][32] w[14][33] w[14][34] w[14][35] w[14][36] w[14][37] w[14][38] w[14][39] w[14][40] w[14][41] w[14][42] w[14][43] w[14][44] w[14][45] w[14][46] w[14][47] w[14][48] w[14][49] w[14][50] w[14][51] w[15][0] w[15][1] w[15][2] w[15][3] w[15][4] w[15][5] w[15][6] w[15][7] w[15][8] w[15][9] w[15][10] w[15][11] w[15][12] w[15][13] w[15][14] w[15][15] w[15][16] w[15][17] w[15][18] w[15][19] w[15][20] w[15][21] w[15][22] w[15][23] w[15][24] w[15][25] w[15][26] w[15][27] w[15][28] w[15][29] w[15][30] w[15][31] w[15][32] w[15][33] w[15][34] w[15][35] w[15][36] w[15][37] w[15][38] w[15][39] w[15][40] w[15][41] w[15][42] w[15][43] w[15][44] w[15][45] w[15][46] w[15][47] w[15][48] w[15][49] w[15][50] w[15][51] w[16][0] w[16][1] w[16][2] w[16][3] w[16][4] w[16][5] w[16][6] w[16][7] w[16][8] w[16][9] w[16][10] w[16][11] w[16][12] w[16][13] w[16][14] w[16][15] w[16][16] w[16][17] w[16][18] w[16][19] w[16][20] w[16][21] w[16][22] w[16][23] w[16][24] w[16][25] w[16][26] w[16][27] w[16][28] w[16][29] w[16][30] w[16][31] w[16][32] w[16][33] w[16][34] w[16][35] w[16][36] w[16][37] w[16][38] w[16][39] w[16][40] w[16][41] w[16][42] w[16][43] w[16][44] w[16][45] w[16][46] w[16][47] w[16][48] w[16][49] w[16][50] w[16][51] w[17][0] w[17][1] w[17][2] w[17][3] w[17][4] w[17][5] w[17][6] w[17][7] w[17][8] w[17][9] w[17][10] w[17][11] w[17][12] w[17][13] w[17][14] w[17][15] w[17][16] w[17][17] w[17][18] w[17][19] w[17][20] w[17][21] w[17][22] w[17][23] w[17][24] w[17][25] w[17][26] w[17][27] w[17][28] w[17][29] w[17][30] w[17][31] w[17][32] w[17][33] w[17][34] w[17][35] w[17][36] w[17][37] w[17][38] w[17][39] w[17][40] w[17][41] w[17][42] w[17][43] w[17][44] w[17][45] w[17][46] w[17][47] w[17][48] w[17][49] w[17][50] w[17][51] w[18][0] w[18][1] w[18][2] w[18][3] w[18][4] w[18][5] w[18][6] w[18][7] w[18][8] w[18][9] w[18][10] w[18][11] w[18][12] w[18][13] w[18][14] w[18][15] w[18][16] w[18][17] w[18][18] w[18][19] w[18][20] w[18][21] w[18][22] w[18][23] w[18][24] w[18][25] w[18][26] w[18][27] w[18][28] w[18][29] w[18][30] w[18][31] w[18][32] w[18][33] w[18][34] w[18][35] w[18][36] w[18][37] w[18][38] w[18][39] w[18][40] w[18][41] w[18][42] w[18][43] w[18][44] w[18][45] w[18][46] w[18][47] w[18][48] w[18][49] w[18][50] w[18][51] w[19][0] w[19][1] w[19][2] w[19][3] w[19][4] w[19][5] w[19][6] w[19][7] w[19][8] w[19][9] w[19][10] w[19][11] w[19][12] w[19][13] w[19][14] w[19][15] w[19][16] w[19][17] w[19][18] w[19][19] w[19][20] w[19][21] w[19][22] w[19][23] w[19][24] w[19][25] w[19][26] w[19][27] w[19][28] w[19][29] w[19][30] w[19][31] w[19][32] w[19][33] w[19][34] w[19][35] w[19][36] w[19][37] w[19][38] w[19][39] w[19][40] w[19][41] w[19][42] w[19][43] w[19][44] w[19][45] w[19][46] w[19][47] w[19][48] w[19][49] w[19][50] w[19][51] w[20][0] w[20][1] w[20][2] w[20][3] w[20][4] w[20][5] w[20][6] w[20][7] w[20][8] w[20][9] w[20][10] w[20][11] w[20][12] w[20][13] w[20][14] w[20][15] w[20][16] w[20][17] w[20][18] w[20][19] w[20][20] w[20][21] w[20][22] w[20][23] w[20][24] w[20][25] w[20][26] w[20][27] w[20][28] w[20][29] w[20][30] w[20][31] w[20][32] w[20][33] w[20][34] w[20][35] w[20][36] w[20][37] w[20][38] w[20][39] w[20][40] w[20][41] w[20][42] w[20][43] w[20][44] w[20][45] w[20][46] w[20][47] w[20][48] w[20][49] w[20][50] w[20][51] w[21][0] w[21][1] w[21][2] w[21][3] w[21][4] w[21][5] w[21][6] w[21][7] w[21][8] w[21][9] w[21][10] w[21][11] w[21][12] w[21][13] w[21][14] w[21][15] w[21][16] w[21][17] w[21][18] w[21][19] w[21][20] w[21][21] w[21][22] w[21][23] w[21][24] w[21][25] w[21][26] w[21][27] w[21][28] w[21][29] w[21][30] w[21][31] w[21][32] w[21][33] w[21][34] w[21][35] w[21][36] w[21][37] w[21][38] w[21][39] w[21][40] w[21][41] w[21][42] w[21][43] w[21][44] w[21][45] w[21][46] w[21][47] w[21][48] w[21][49] w[21][50] w[21][51] w[22][0] w[22][1] w[22][2] w[22][3] w[22][4] w[22][5] w[22][6] w[22][7] w[22][8] w[22][9] w[22][10] w[22][11] w[22][12] w[22][13] w[22][14] w[22][15] w[22][16] w[22][17] w[22][18] w[22][19] w[22][20] w[22][21] w[22][22] w[22][23] w[22][24] w[22][25] w[22][26] w[22][27] w[22][28] w[22][29] w[22][30] w[22][31] w[22][32] w[22][33] w[22][34] w[22][35] w[22][36] w[22][37] w[22][38] w[22][39] w[22][40] w[22][41] w[22][42] w[22][43] w[22][44] w[22][45] w[22][46] w[22][47] w[22][48] w[22][49] w[22][50] w[22][51] w[23][0] w[23][1] w[23][2] w[23][3] w[23][4] w[23][5] w[23][6] w[23][7] w[23][8] w[23][9] w[23][10] w[23][11] w[23][12] w[23][13] w[23][14] w[23][15] w[23][16] w[23][17] w[23][18] w[23][19] w[23][20] w[23][21] w[23][22] w[23][23] w[23][24] w[23][25] w[23][26] w[23][27] w[23][28] w[23][29] w[23][30] w[23][31] w[23][32] w[23][33] w[23][34] w[23][35] w[23][36] w[23][37] w[23][38] w[23][39] w[23][40] w[23][41] w[23][42] w[23][43] w[23][44] w[23][45] w[23][46] w[23][47] w[23][48] w[23][49] w[23][50] w[23][51] w[24][0] w[24][1] w[24][2] w[24][3] w[24][4] w[24][5] w[24][6] w[24][7] w[24][8] w[24][9] w[24][10] w[24][11] w[24][12] w[24][13] w[24][14] w[24][15] w[24][16] w[24][17] w[24][18] w[24][19] w[24][20] w[24][21] w[24][22] w[24][23] w[24][24] w[24][25] w[24][26] w[24][27] w[24][28] w[24][29] w[24][30] w[24][31] w[24][32] w[24][33] w[24][34] w[24][35] w[24][36] w[24][37] w[24][38] w[24][39] w[24][40] w[24][41] w[24][42] w[24][43] w[24][44] w[24][45] w[24][46] w[24][47] w[24][48] w[24][49] w[24][50] w[24][51] w[25][0] w[25][1] w[25][2] w[25][3] w[25][4] w[25][5] w[25][6] w[25][7] w[25][8] w[25][9] w[25][10] w[25][11] w[25][12] w[25][13] w[25][14] w[25][15] w[25][16] w[25][17] w[25][18] w[25][19] w[25][20] w[25][21] w[25][22] w[25][23] w[25][24] w[25][25] w[25][26] w[25][27] w[25][28] w[25][29] w[25][30] w[25][31] w[25][32] w[25][33] w[25][34] w[25][35] w[25][36] w[25][37] w[25][38] w[25][39] w[25][40] w[25][41] w[25][42] w[25][43] w[25][44] w[25][45] w[25][46] w[25][47] w[25][48] w[25][49] w[25][50] w[25][51] w[26][0] w[26][1] w[26][2] w[26][3] w[26][4] w[26][5] w[26][6] w[26][7] w[26][8] w[26][9] w[26][10] w[26][11] w[26][12] w[26][13] w[26][14] w[26][15] w[26][16] w[26][17] w[26][18] w[26][19] w[26][20] w[26][21] w[26][22] w[26][23] w[26][24] w[26][25] w[26][26] w[26][27] w[26][28] w[26][29] w[26][30] w[26][31] w[26][32] w[26][33] w[26][34] w[26][35] w[26][36] w[26][37] w[26][38] w[26][39] w[26][40] w[26][41] w[26][42] w[26][43] w[26][44] w[26][45] w[26][46] w[26][47] w[26][48] w[26][49] w[26][50] w[26][51] w[27][0] w[27][1] w[27][2] w[27][3] w[27][4] w[27][5] w[27][6] w[27][7] w[27][8] w[27][9] w[27][10] w[27][11] w[27][12] w[27][13] w[27][14] w[27][15] w[27][16] w[27][17] w[27][18] w[27][19] w[27][20] w[27][21] w[27][22] w[27][23] w[27][24] w[27][25] w[27][26] w[27][27] w[27][28] w[27][29] w[27][30] w[27][31] w[27][32] w[27][33] w[27][34] w[27][35] w[27][36] w[27][37] w[27][38] w[27][39] w[27][40] w[27][41] w[27][42] w[27][43] w[27][44] w[27][45] w[27][46] w[27][47] w[27][48] w[27][49] w[27][50] w[27][51] w[28][0] w[28][1] w[28][2] w[28][3] w[28][4] w[28][5] w[28][6] w[28][7] w[28][8] w[28][9] w[28][10] w[28][11] w[28][12] w[28][13] w[28][14] w[28][15] w[28][16] w[28][17] w[28][18] w[28][19] w[28][20] w[28][21] w[28][22] w[28][23] w[28][24] w[28][25] w[28][26] w[28][27] w[28][28] w[28][29] w[28][30] w[28][31] w[28][32] w[28][33] w[28][34] w[28][35] w[28][36] w[28][37] w[28][38] w[28][39] w[28][40] w[28][41] w[28][42] w[28][43] w[28][44] w[28][45] w[28][46] w[28][47] w[28][48] w[28][49] w[28][50] w[28][51] w[29][0] w[29][1] w[29][2] w[29][3] w[29][4] w[29][5] w[29][6] w[29][7] w[29][8] w[29][9] w[29][10] w[29][11] w[29][12] w[29][13] w[29][14] w[29][15] w[29][16] w[29][17] w[29][18] w[29][19] w[29][20] w[29][21] w[29][22] w[29][23] w[29][24] w[29][25] w[29][26] w[29][27] w[29][28] w[29][29] w[29][30] w[29][31] w[29][32] w[29][33] w[29][34] w[29][35] w[29][36] w[29][37] w[29][38] w[29][39] w[29][40] w[29][41] w[29][42] w[29][43] w[29][44] w[29][45] w[29][46] w[29][47] w[29][48] w[29][49] w[29][50] w[29][51] w[30][0] w[30][1] w[30][2] w[30][3] w[30][4] w[30][5] w[30][6] w[30][7] w[30][8] w[30][9] w[30][10] w[30][11] w[30][12] w[30][13] w[30][14] w[30][15] w[30][16] w[30][17] w[30][18] w[30][19] w[30][20] w[30][21] w[30][22] w[30][23] w[30][24] w[30][25] w[30][26] w[30][27] w[30][28] w[30][29] w[30][30] w[30][31] w[30][32] w[30][33] w[30][34] w[30][35] w[30][36] w[30][37] w[30][38] w[30][39] w[30][40] w[30][41] w[30][42] w[30][43] w[30][44] w[30][45] w[30][46] w[30][47] w[30][48] w[30][49] w[30][50] w[30][51] w[31][0] w[31][1] w[31][2] w[31][3] w[31][4] w[31][5] w[31][6] w[31][7] w[31][8] w[31][9] w[31][10] w[31][11] w[31][12] w[31][13] w[31][14] w[31][15] w[31][16] w[31][17] w[31][18] w[31][19] w[31][20] w[31][21] w[31][22] w[31][23] w[31][24] w[31][25] w[31][26] w[31][27] w[31][28] w[31][29] w[31][30] w[31][31] w[31][32] w[31][33] w[31][34] w[31][35] w[31][36] w[31][37] w[31][38] w[31][39] w[31][40] w[31][41] w[31][42] w[31][43] w[31][44] w[31][45] w[31][46] w[31][47] w[31][48] w[31][49] w[31][50] w[31][51] w[32][0] w[32][1] w[32][2] w[32][3] w[32][4] w[32][5] w[32][6] w[32][7] w[32][8] w[32][9] w[32][10] w[32][11] w[32][12] w[32][13] w[32][14] w[32][15] w[32][16] w[32][17] w[32][18] w[32][19] w[32][20] w[32][21] w[32][22] w[32][23] w[32][24] w[32][25] w[32][26] w[32][27] w[32][28] w[32][29] w[32][30] w[32][31] w[32][32] w[32][33] w[32][34] w[32][35] w[32][36] w[32][37] w[32][38] w[32][39] w[32][40] w[32][41] w[32][42] w[32][43] w[32][44] w[32][45] w[32][46] w[32][47] w[32][48] w[32][49] w[32][50] w[32][51] w[33][0] w[33][1] w[33][2] w[33][3] w[33][4] w[33][5] w[33][6] w[33][7] w[33][8] w[33][9] w[33][10] w[33][11] w[33][12] w[33][13] w[33][14] w[33][15] w[33][16] w[33][17] w[33][18] w[33][19] w[33][20] w[33][21] w[33][22] w[33][23] w[33][24] w[33][25] w[33][26] w[33][27] w[33][28] w[33][29] w[33][30] w[33][31] w[33][32] w[33][33] w[33][34] w[33][35] w[33][36] w[33][37] w[33][38] w[33][39] w[33][40] w[33][41] w[33][42] w[33][43] w[33][44] w[33][45] w[33][46] w[33][47] w[33][48] w[33][49] w[33][50] w[33][51] w[34][0] w[34][1] w[34][2] w[34][3] w[34][4] w[34][5] w[34][6] w[34][7] w[34][8] w[34][9] w[34][10] w[34][11] w[34][12] w[34][13] w[34][14] w[34][15] w[34][16] w[34][17] w[34][18] w[34][19] w[34][20] w[34][21] w[34][22] w[34][23] w[34][24] w[34][25] w[34][26] w[34][27] w[34][28] w[34][29] w[34][30] w[34][31] w[34][32] w[34][33] w[34][34] w[34][35] w[34][36] w[34][37] w[34][38] w[34][39] w[34][40] w[34][41] w[34][42] w[34][43] w[34][44] w[34][45] w[34][46] w[34][47] w[34][48] w[34][49] w[34][50] w[34][51] w[35][0] w[35][1] w[35][2] w[35][3] w[35][4] w[35][5] w[35][6] w[35][7] w[35][8] w[35][9] w[35][10] w[35][11] w[35][12] w[35][13] w[35][14] w[35][15] w[35][16] w[35][17] w[35][18] w[35][19] w[35][20] w[35][21] w[35][22] w[35][23] w[35][24] w[35][25] w[35][26] w[35][27] w[35][28] w[35][29] w[35][30] w[35][31] w[35][32] w[35][33] w[35][34] w[35][35] w[35][36] w[35][37] w[35][38] w[35][39] w[35][40] w[35][41] w[35][42] w[35][43] w[35][44] w[35][45] w[35][46] w[35][47] w[35][48] w[35][49] w[35][50] w[35][51] w[36][0] w[36][1] w[36][2] w[36][3] w[36][4] w[36][5] w[36][6] w[36][7] w[36][8] w[36][9] w[36][10] w[36][11] w[36][12] w[36][13] w[36][14] w[36][15] w[36][16] w[36][17] w[36][18] w[36][19] w[36][20] w[36][21] w[36][22] w[36][23] w[36][24] w[36][25] w[36][26] w[36][27] w[36][28] w[36][29] w[36][30] w[36][31] w[36][32] w[36][33] w[36][34] w[36][35] w[36][36] w[36][37] w[36][38] w[36][39] w[36][40] w[36][41] w[36][42] w[36][43] w[36][44] w[36][45] w[36][46] w[36][47] w[36][48] w[36][49] w[36][50] w[36][51] w[37][0] w[37][1] w[37][2] w[37][3] w[37][4] w[37][5] w[37][6] w[37][7] w[37][8] w[37][9] w[37][10] w[37][11] w[37][12] w[37][13] w[37][14] w[37][15] w[37][16] w[37][17] w[37][18] w[37][19] w[37][20] w[37][21] w[37][22] w[37][23] w[37][24] w[37][25] w[37][26] w[37][27] w[37][28] w[37][29] w[37][30] w[37][31] w[37][32] w[37][33] w[37][34] w[37][35] w[37][36] w[37][37] w[37][38] w[37][39] w[37][40] w[37][41] w[37][42] w[37][43] w[37][44] w[37][45] w[37][46] w[37][47] w[37][48] w[37][49] w[37][50] w[37][51] w[38][0] w[38][1] w[38][2] w[38][3] w[38][4] w[38][5] w[38][6] w[38][7] w[38][8] w[38][9] w[38][10] w[38][11] w[38][12] w[38][13] w[38][14] w[38][15] w[38][16] w[38][17] w[38][18] w[38][19] w[38][20] w[38][21] w[38][22] w[38][23] w[38][24] w[38][25] w[38][26] w[38][27] w[38][28] w[38][29] w[38][30] w[38][31] w[38][32] w[38][33] w[38][34] w[38][35] w[38][36] w[38][37] w[38][38] w[38][39] w[38][40] w[38][41] w[38][42] w[38][43] w[38][44] w[38][45] w[38][46] w[38][47] w[38][48] w[38][49] w[38][50] w[38][51] w[39][0] w[39][1] w[39][2] w[39][3] w[39][4] w[39][5] w[39][6] w[39][7] w[39][8] w[39][9] w[39][10] w[39][11] w[39][12] w[39][13] w[39][14] w[39][15] w[39][16] w[39][17] w[39][18] w[39][19] w[39][20] w[39][21] w[39][22] w[39][23] w[39][24] w[39][25] w[39][26] w[39][27] w[39][28] w[39][29] w[39][30] w[39][31] w[39][32] w[39][33] w[39][34] w[39][35] w[39][36] w[39][37] w[39][38] w[39][39] w[39][40] w[39][41] w[39][42] w[39][43] w[39][44] w[39][45] w[39][46] w[39][47] w[39][48] w[39][49] w[39][50] w[39][51] w[40][0] w[40][1] w[40][2] w[40][3] w[40][4] w[40][5] w[40][6] w[40][7] w[40][8] w[40][9] w[40][10] w[40][11] w[40][12] w[40][13] w[40][14] w[40][15] w[40][16] w[40][17] w[40][18] w[40][19] w[40][20] w[40][21] w[40][22] w[40][23] w[40][24] w[40][25] w[40][26] w[40][27] w[40][28] w[40][29] w[40][30] w[40][31] w[40][32] w[40][33] w[40][34] w[40][35] w[40][36] w[40][37] w[40][38] w[40][39] w[40][40] w[40][41] w[40][42] w[40][43] w[40][44] w[40][45] w[40][46] w[40][47] w[40][48] w[40][49] w[40][50] w[40][51] w[41][0] w[41][1] w[41][2] w[41][3] w[41][4] w[41][5] w[41][6] w[41][7] w[41][8] w[41][9] w[41][10] w[41][11] w[41][12] w[41][13] w[41][14] w[41][15] w[41][16] w[41][17] w[41][18] w[41][19] w[41][20] w[41][21] w[41][22] w[41][23] w[41][24] w[41][25] w[41][26] w[41][27] w[41][28] w[41][29] w[41][30] w[41][31] w[41][32] w[41][33] w[41][34] w[41][35] w[41][36] w[41][37] w[41][38] w[41][39] w[41][40] w[41][41] w[41][42] w[41][43] w[41][44] w[41][45] w[41][46] w[41][47] w[41][48] w[41][49] w[41][50] w[41][51] w[42][0] w[42][1] w[42][2] w[42][3] w[42][4] w[42][5] w[42][6] w[42][7] w[42][8] w[42][9] w[42][10] w[42][11] w[42][12] w[42][13] w[42][14] w[42][15] w[42][16] w[42][17] w[42][18] w[42][19] w[42][20] w[42][21] w[42][22] w[42][23] w[42][24] w[42][25] w[42][26] w[42][27] w[42][28] w[42][29] w[42][30] w[42][31] w[42][32] w[42][33] w[42][34] w[42][35] w[42][36] w[42][37] w[42][38] w[42][39] w[42][40] w[42][41] w[42][42] w[42][43] w[42][44] w[42][45] w[42][46] w[42][47] w[42][48] w[42][49] w[42][50] w[42][51] w[43][0] w[43][1] w[43][2] w[43][3] w[43][4] w[43][5] w[43][6] w[43][7] w[43][8] w[43][9] w[43][10] w[43][11] w[43][12] w[43][13] w[43][14] w[43][15] w[43][16] w[43][17] w[43][18] w[43][19] w[43][20] w[43][21] w[43][22] w[43][23] w[43][24] w[43][25] w[43][26] w[43][27] w[43][28] w[43][29] w[43][30] w[43][31] w[43][32] w[43][33] w[43][34] w[43][35] w[43][36] w[43][37] w[43][38] w[43][39] w[43][40] w[43][41] w[43][42] w[43][43] w[43][44] w[43][45] w[43][46] w[43][47] w[43][48] w[43][49] w[43][50] w[43][51] w[44][0] w[44][1] w[44][2] w[44][3] w[44][4] w[44][5] w[44][6] w[44][7] w[44][8] w[44][9] w[44][10] w[44][11] w[44][12] w[44][13] w[44][14] w[44][15] w[44][16] w[44][17] w[44][18] w[44][19] w[44][20] w[44][21] w[44][22] w[44][23] w[44][24] w[44][25] w[44][26] w[44][27] w[44][28] w[44][29] w[44][30] w[44][31] w[44][32] w[44][33] w[44][34] w[44][35] w[44][36] w[44][37] w[44][38] w[44][39] w[44][40] w[44][41] w[44][42] w[44][43] w[44][44] w[44][45] w[44][46] w[44][47] w[44][48] w[44][49] w[44][50] w[44][51] w[45][0] w[45][1] w[45][2] w[45][3] w[45][4] w[45][5] w[45][6] w[45][7] w[45][8] w[45][9] w[45][10] w[45][11] w[45][12] w[45][13] w[45][14] w[45][15] w[45][16] w[45][17] w[45][18] w[45][19] w[45][20] w[45][21] w[45][22] w[45][23] w[45][24] w[45][25] w[45][26] w[45][27] w[45][28] w[45][29] w[45][30] w[45][31] w[45][32] w[45][33] w[45][34] w[45][35] w[45][36] w[45][37] w[45][38] w[45][39] w[45][40] w[45][41] w[45][42] w[45][43] w[45][44] w[45][45] w[45][46] w[45][47] w[45][48] w[45][49] w[45][50] w[45][51] w[46][0] w[46][1] w[46][2] w[46][3] w[46][4] w[46][5] w[46][6] w[46][7] w[46][8] w[46][9] w[46][10] w[46][11] w[46][12] w[46][13] w[46][14] w[46][15] w[46][16] w[46][17] w[46][18] w[46][19] w[46][20] w[46][21] w[46][22] w[46][23] w[46][24] w[46][25] w[46][26] w[46][27] w[46][28] w[46][29] w[46][30] w[46][31] w[46][32] w[46][33] w[46][34] w[46][35] w[46][36] w[46][37] w[46][38] w[46][39] w[46][40] w[46][41] w[46][42] w[46][43] w[46][44] w[46][45] w[46][46] w[46][47] w[46][48] w[46][49] w[46][50] w[46][51] w[47][0] w[47][1] w[47][2] w[47][3] w[47][4] w[47][5] w[47][6] w[47][7] w[47][8] w[47][9] w[47][10] w[47][11] w[47][12] w[47][13] w[47][14] w[47][15] w[47][16] w[47][17] w[47][18] w[47][19] w[47][20] w[47][21] w[47][22] w[47][23] w[47][24] w[47][25] w[47][26] w[47][27] w[47][28] w[47][29] w[47][30] w[47][31] w[47][32] w[47][33] w[47][34] w[47][35] w[47][36] w[47][37] w[47][38] w[47][39] w[47][40] w[47][41] w[47][42] w[47][43] w[47][44] w[47][45] w[47][46] w[47][47] w[47][48] w[47][49] w[47][50] w[47][51] w[48][0] w[48][1] w[48][2] w[48][3] w[48][4] w[48][5] w[48][6] w[48][7] w[48][8] w[48][9] w[48][10] w[48][11] w[48][12] w[48][13] w[48][14] w[48][15] w[48][16] w[48][17] w[48][18] w[48][19] w[48][20] w[48][21] w[48][22] w[48][23] w[48][24] w[48][25] w[48][26] w[48][27] w[48][28] w[48][29] w[48][30] w[48][31] w[48][32] w[48][33] w[48][34] w[48][35] w[48][36] w[48][37] w[48][38] w[48][39] w[48][40] w[48][41] w[48][42] w[48][43] w[48][44] w[48][45] w[48][46] w[48][47] w[48][48] w[48][49] w[48][50] w[48][51] w[49][0] w[49][1] w[49][2] w[49][3] w[49][4] w[49][5] w[49][6] w[49][7] w[49][8] w[49][9] w[49][10] w[49][11] w[49][12] w[49][13] w[49][14] w[49][15] w[49][16] w[49][17] w[49][18] w[49][19] w[49][20] w[49][21] w[49][22] w[49][23] w[49][24] w[49][25] w[49][26] w[49][27] w[49][28] w[49][29] w[49][30] w[49][31] w[49][32] w[49][33] w[49][34] w[49][35] w[49][36] w[49][37] w[49][38] w[49][39] w[49][40] w[49][41] w[49][42] w[49][43] w[49][44] w[49][45] w[49][46] w[49][47] w[49][48] w[49][49] w[49][50] w[49][51] w[50][0] w[50][1] w[50][2] w[50][3] w[50][4] w[50][5] w[50][6] w[50][7] w[50][8] w[50][9] w[50][10] w[50][11] w[50][12] w[50][13] w[50][14] w[50][15] w[50][16] w[50][17] w[50][18] w[50][19] w[50][20] w[50][21] w[50][22] w[50][23] w[50][24] w[50][25] w[50][26] w[50][27] w[50][28] w[50][29] w[50][30] w[50][31] w[50][32] w[50][33] w[50][34] w[50][35] w[50][36] w[50][37] w[50][38] w[50][39] w[50][40] w[50][41] w[50][42] w[50][43] w[50][44] w[50][45] w[50][46] w[50][47] w[50][48] w[50][49] w[50][50] w[50][51] w[51][0] w[51][1] w[51][2] w[51][3] w[51][4] w[51][5] w[51][6] w[51][7] w[51][8] w[51][9] w[51][10] w[51][11] w[51][12] w[51][13] w[51][14] w[51][15] w[51][16] w[51][17] w[51][18] w[51][19] w[51][20] w[51][21] w[51][22] w[51][23] w[51][24] w[51][25] w[51][26] w[51][27] w[51][28] w[51][29] w[51][30] w[51][31] w[51][32] w[51][33] w[51][34] w[51][35] w[51][36] w[51][37] w[51][38] w[51][39] w[51][40] w[51][41] w[51][42] w[51][43] w[51][44] w[51][45] w[51][46] w[51][47] w[51][48] w[51][49] w[51][50] w[51][51] ws[0] ws[1] ws[2] ws[3] ws[4] ws[5] ws[6] ws[7] ws[8] ws[9] ws[10] ws[11] ws[12] ws[13] ws[14] ws[15] ws[16] ws[17] ws[18] ws[19] ws[20] ws[21] ws[22] ws[23] ws[24] ws[25] ws[26] ws[27] ws[28] ws[29] ws[30] ws[31] ws[32] ws[33] ws[34] ws[35] ws[36] ws[37] ws[38] ws[39] ws[40] ws[41] ws[42] ws[43] ws[44] ws[45] ws[46] ws[47] ws[48] ws[49] ws[50] ws[51] z
2400.02/2348.52	v 	</list>
2400.02/2348.52	v 	<values>
2400.02/2348.52	v 		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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 1 0 0 0 1 1 0 0 1 1 0 1 1 0 1 0 0 0 1 0 1 0 0 1 1 0 1 0 0 1 1 0 1 0 0 1 1 0 1 0 0 1 1 0 1 1 0 0 1 0 1 1 0 1 0 1 0 1 0 0 1 0 1 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 0 1 0 1 1 1 1 0 1 1 0 0 0 1 0 1 0 0 0 1 0 0 0 0 1 0 1 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 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 1 0 1 0 0 0 0 1 0 1 0 1 0 0 0 1 1 0 1 1 0 1 0 1 0 1 1 1 1 1 1 0 1 0 0 0 1 1 0 1 0 1 1 0 1 0 0 0 1 1 1 1 0 1 1 0 1 1 0 1 0 0 1 1 0 0 1 0 0 1 1 0 1 1 0 0 1 0 0 0 0 0 0 1 1 0 0 1 0 0 1 1 0 1 0 0 0 1 0 0 1 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 1 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 1 1 1 1 0 0 0 0 1 1 1 1 0 1 0 0 1 0 1 0 1 1 0 1 1 1 1 1 0 1 1 0 1 1 1 0 0 1 1 1 1 1 1 1 1 0 0 1 1 1 0 0 1 0 0 1 0 0 1 1 0 0 0 0 1 1 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 1 0 0 1 1 0 0 0 0 1 1 0 0 1 1 0 0 0 1 1 0 0 1 0 0 1 0 0 0 0 1 0 1 1 1 0 0 0 1 0 0 1 0 0 0 1 1 0 1 1 0 0 1 0 1 1 0 1 1 1 1 1 0 0 0 0 0 1 1 1 0 0 0 0 1 1 1 1 1 1 0 0 0 1 1 0 0 1 1 1 1 0 0 1 0 1 0 1 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 1 1 0 0 1 0 0 0 1 1 0 1 0 1 0 1 1 1 1 0 1 0 0 0 0 1 0 0 1 0 0 1 0 1 1 1 1 0 1 0 1 0 1 1 0 0 0 0 1 0 0 0 0 1 0 1 0 1 1 1 0 0 1 1 0 1 1 0 0 0 0 1 0 0 0 1 0 0 0 1 1 0 0 1 1 0 0 0 1 0 1 1 0 1 0 1 0 0 1 0 1 0 1 0 0 1 0 1 0 1 0 0 1 0 0 0 0 0 0 0 1 1 0 0 1 1 1 1 0 1 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 1 1 0 1 0 1 0 1 0 1 0 0 0 1 1 0 1 1 0 1 1 1 0 0 1 1 0 0 0 0 1 1 0 0 1 1 1 1 1 1 0 1 0 0 1 1 0 1 0 1 0 0 0 0 0 1 0 0 1 0 0 1 1 1 1 0 0 1 0 1 0 1 0 0 0 1 0 0 1 0 1 0 0 0 1 1 0 0 0 0 0 1 0 0 1 1 0 1 0 0 1 1 0 0 1 1 0 1 0 0 0 1 1 0 0 0 0 1 1 0 0 0 0 0 1 1 1 1 0 0 1 0 1 1 1 1 0 0 1 0 1 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 1 1 0 0 1 1 0 0 0 0 0 0 0 1 1 1 0 0 0 0 1 0 1 1 0 1 0 1 0 1 1 1 1 0 0 1 1 1 1 0 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 1 0 0 1 0 1 0 1 1 0 0 0 0 1 1 1 1 0 0 1 0 0 1 0 1 0 0 0 0 0 1 1 0 0 0 1 0 0 1 0 0 1 0 1 0 0 0 1 0 1 0 1 1 0 1 1 0 1 1 0 0 1 1 1 0 0 0 0 0 0 0 1 0 1 0 0 1 0 1 1 0 1 0 0 1 0 0 0 0 0 1 1 0 1 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 1 1 1 1 1 1 1 0 1 0 1 1 0 1 0 1 0 1 0 0 1 0 0 1 0 0 0 1 0 1 0 1 0 1 1 1 0 0 0 0 0 1 0 1 1 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 1 0 1 1 1 0 0 1 0 0 0 1 0 1 1 0 0 0 0 0 1 1 1 0 1 0 0 0 0 0 1 1 1 1 0 1 1 0 1 0 1 1 0 1 1 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 1 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 1 1 0 0 0 1 1 0 1 0 1 1 0 0 1 0 1 0 1 1 1 0 0 0 0 1 0 1 1 0 0 0 0 0 1 0 1 1 1 1 1 0 0 1 1 1 1 1 1 1 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 1 0 1 1 0 0 1 1 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 1 1 0 1 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 0 1 1 1 0 1 1 1 1 1 1 1 0 0 0 1 1 0 1 1 0 0 1 1 0 0 1 0 1 0 0 0 1 0 1 1 0 1 1 1 1 0 0 0 1 0 1 1 0 1 1 1 1 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 1 0 0 0 1 0 0 0 1 0 1 1 0 1 0 0 1 0 0 1 0 0 1 1 0 0 1 0 0 0 0 1 0 0 0 0 0 1 1 1 1 1 1 1 1 1 0 0 0 0 0 1 1 0 1 1 0 1 1 0 1 0 1 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 1 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 1 0 0 1 0 1 0 0 0 0 1 0 1 0 0 0 0 1 0 0 1 1 0 1 1 1 0 1 1 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 1 1 0 0 0 0 1 0 1 0 0 0 1 1 0 0 0 1 0 0 0 1 1 1 0 0 0 1 0 1 0 0 0 0 0 1 0 1 1 0 0 0 1 0 1 0 0 1 0 0 0 0 0 1 0 0 1 1 0 1 0 1 1 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 1 1 0 1 0 1 1 0 0 1 0 1 0 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 0 0 1 0 1 0 0 0 0 0 1 1 1 0 0 1 1 0 1 1 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 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 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 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 1 2 1 2 2 2 1 1 1 1 1 1 2 2 1 2 1 2 2 2 1 2 1 2 2 2 1 2 1 2 2 2 1 2 1 2 2 2 1 2 1 2 2 2 1 2 1 1 1 1 0 0 1 0 1 0 2 0 0 0 0 0 0 0 0 0 0 0 1 1 2 0 1 0 1 1 2 0 0 0 1 1 2 1 0 0 1 0 0 0 0 0 1 1 2 1 0 0 0 1 1 0 0 0 0 0 0 2 0 2 0 1 0 0 1 0 0 0 0 0 0 1 1 1 0 0 0 1 2 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 1 0 1 1 1 1 0 0 0 1 0 1 1 1 1 0 1 2 0 1 1 1 0 1 0 0 1 1 0 1 1 0 0 0 0 0 1 1 0 1 0 1 1 0 0 0 0 0 1 0 0 1 0 0 1 1 1 1 0 0 1 0 1 0 1 0 1 1 0 0 0 0 1 0 1 0 1 0 0 0 0 1 0 1 0 1 0 0 1 0 1 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 1 1 0 0 0 0 0 1 0 1 0 1 1 1 1 0 0 1 1 0 0 1 1 0 0 0 0 1 0 0 1 0 0 1 0 0 0 1 1 0 1 0 0 1 0 1 0 1 1 0 0 1 1 0 0 0 0 1 1 0 0 1 0 0 1 1 0 1 1 0 0 1 1 0 0 0 2 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 1 0 0 1 0 0 1 0 0 0 0 0 1 0 0 1 1 0 0 1 1 0 1 0 0 1 0 0 1 0 0 0 0 1 0 1 0 1 1 0 1 1 1 1 0 1 0 1 0 1 1 2 0 1 1 0 0 1 1 1 0 1 0 0 1 0 1 0 0 0 0 0 0 1 0 0 1 1 0 1 1 0 0 0 1 0 1 1 1 0 0 0 0 1 2 0 2 0 0 0 0 0 1 0 1 0 0 1 0 1 1 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 2 1 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 2 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 1 0 0 0 1 0 1 0 0 1 1 0 1 0 1 0 0 0 1 1 0 0 1 1 1 0 1 0 0 1 1 0 0 1 0 1 0 1 1 1 0 0 0 0 1 1 0 0 2 0 0 1 1 0 0 0 0 0 0 0 1 1 0 1 0 1 0 1 0 0 1 0 1 1 2 1 0 0 0 0 1 1 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 1 2 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 1 0 0 0 0 1 0 0 0 1 0 0 2 0 0 0 1 1 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 0 1 0 1 1 0 0 1 0 1 0 1 0 0 0 0 0 0 2 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 1 1 0 0 1 0 0 0 0 0 0 0 0 1 1 2 0 1 0 0 1 0 0 0 0 0 1 1 2 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 1 0 0 1 0 1 0 0 0 1 2 2 0 0 1 0 1 1 0 0 0 1 0 2 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 1 1 0 1 0 2 1 1 0 0 0 1 0 1 0 0 0 0 1 0 1 1 0 0 0 0 1 0 0 1 0 1 0 0 0 1 0 0 1 0 0 1 0 0 0 0 1 0 1 0 0 1 0 0 0 0 1 1 2 0 0 2 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 2 0 1 0 0 0 0 0 0 0 1 1 1 0 0 0 2 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 0 1 0 1 0 0 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 1 0 2 2 1 0 0 0 0 0 0 0 1 0 1 0 0 0 1 0 0 1 0 1 0 0 1 0 0 1 0 1 1 2 0 1 0 2 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 2 2 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 2 2 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 1 2 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 2 2 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 2 1 1 2 0 1 0 0 0 0 0 1 1 2 1 1 0 1 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 1 2 1 1 2 1 0 0 1 0 0 0 0 2 2 1 1 0 0 1 0 0 1 0 0 1 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 1 0 1 0 0 0 1 0 2 0 2 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 0 1 1 0 0 0 1 1 2 1 2 0 1 2 0 0 0 0 0 0 1 1 1 2 1 1 1 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 2 0 2 2 0 1 1 0 0 0 0 0 0 0 0 0 1 2 2 2 2 2 1 1 0 1 1 0 0 1 1 2 2 1 1 2 1 1 1 0 0 0 1 0 0 0 1 1 1 1 2 0 0 2 1 0 1 0 0 1 0 0 0 0 1 0 0 1 0 2 1 1 2 2 2 0 1 0 1 1 0 1 2 2 1 1 0 1 2 1 0 0 0 0 0 1 0 0 1 0 2 0 1 0 2 0 1 0 0 0 1 0 0 0 0 0 1 1 0 0 1 0 0 0 1 2 0 0 2 1 1 0 0 1 1 1 2 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 2 1 2 1 1 0 0 0 1 0 0 0 2 0 0 0 0 0 0 1 0 0 0 1 1 1 2 0 0 2 1 1 0 0 0 1 1 2 0 2 0 1 0 1 0 1 0 1 1 1 2 1 1 2 2 2 0 1 0 0 0 0 0 1 0 1 0 0 1 0 2 0 2 1 1 2 2 0 1 0 2 2 2 0 1 0 1 1 2 0 1 0 2 1 2 0 1 0 2 2 2 0 1 0 2 2 2 2 2 1 0 1 0 0 0 0 1 0 0 1 0 1 0 1 1 1 1 1 1 1 0 1 1 1 1 1 0 1 0 1 1 1 0 1 1 1 1 1 0 1 1 1 1 1 0 1 1 1 1 1 1 1 1 0 0 50 152 254 356 458 560 662 764 866 968 1070 1172 1274 1376 1478 1574 1642 1669 1688 1715 1731 1748 1769 1782 1807 1830 1845 1869 1890 1903 1921 1929 1941 1957 1974 1995 2012 2025 2047 2064 2079 2099 2123 2136 2145 2176 2216 2251 2277 2312 2363 2400 700 
2400.02/2348.52	v 	</values>
2400.02/2348.52	v </instantiation>

Verifier Data 

OK	700

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4244735-1500691351/watcher-4244735-1500691351 -o /tmp/evaluation-result-4244735-1500691351/solver-4244735-1500691351 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node149-1500684204-15326 --watchdog 2560 java -Xmx10000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed 1375595222 --timelimit 2400 --memlimit 15500 --nbcore 8 HOME/instance-4244735-1500691351.xml 

pid=16223
running on 8 cores: 1,3,5,7,9,11,13,15

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 1.62 1.47 1.51 3/261 16226
/proc/meminfo: memFree=31493772/32770624 swapFree=5968/245252
[pid=16226] ppid=16223 vsize=10634536 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16226/stat : 16226 (java) S 16223 16226 15294 0 -1 1077944320 1912 0 0 0 0 0 0 0 20 0 2 0 4400034 10889764864 1658 33554432000 4194304 4196468 140731645027040 140731645009584 139668820733687 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 12439552 140731645031561 140731645031748 140731645031748 140731645034447 0
/proc/16226/statm: 2658634 1658 1188 1 0 2647545 0
[pid=16226/tid=16227] ppid=16223 vsize=10634536 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16226/task/16227/stat : 16227 (java) R 16223 16226 15294 0 -1 4202560 697 0 0 0 0 0 0 0 20 0 2 0 4400034 10889764864 1724 33554432000 4194304 4196468 140731645027040 139668824975776 139668813023136 0 4 0 16784584 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 12439552 140731645031561 140731645031748 140731645031748 140731645034447 0

[startup+0.100118 s]
/proc/loadavg: 1.62 1.47 1.51 3/261 16226
/proc/meminfo: memFree=31493772/32770624 swapFree=5968/245252
[pid=16226] ppid=16223 vsize=13263912 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/16226/stat : 16226 (java) S 16223 16226 15294 0 -1 1077944320 6870 0 0 0 9 1 0 0 20 0 20 0 4400034 13582245888 7173 33554432000 4194304 4196468 140731645027040 140731645009584 139668820733687 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 12439552 140731645031561 140731645031748 140731645031748 140731645034447 0
/proc/16226/statm: 3315978 7173 3391 1 0 3303698 0
[pid=16226/tid=16227] ppid=16223 vsize=13263912 CPUtime=0.07 cores=1,3,5,7,9,11,13,15
/proc/16226/task/16227/stat : 16227 (java) R 16223 16226 15294 0 -1 4202560 4900 0 0 0 7 0 0 0 20 0 20 0 4400034 13582245888 7173 33554432000 4194304 4196468 140731645027040 139668824963128 139668806961362 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 12439552 140731645031561 140731645031748 140731645031748 140731645034447 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13263912

[startup+0.200356 s]
/proc/loadavg: 1.62 1.47 1.51 3/261 16226
/proc/meminfo: memFree=31493772/32770624 swapFree=5968/245252
[pid=16226] ppid=16223 vsize=13263912 CPUtime=0.26 cores=1,3,5,7,9,11,13,15
/proc/16226/stat : 16226 (java) S 16223 16226 15294 0 -1 1077944320 9191 0 0 0 24 2 0 0 20 0 20 0 4400034 13582245888 9670 33554432000 4194304 4196468 140731645027040 140731645009584 139668820733687 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 12439552 140731645031561 140731645031748 140731645031748 140731645034447 0
/proc/16226/statm: 3315978 9670 3578 1 0 3303698 0
[pid=16226/tid=16227] ppid=16223 vsize=13263912 CPUtime=0.17 cores=1,3,5,7,9,11,13,15
/proc/16226/task/16227/stat : 16227 (java) D 16223 16226 15294 0 -1 1077944384 6916 0 0 0 16 1 0 0 20 0 20 0 4400034 13582245888 9670 33554432000 4194304 4196468 140731645027040 139668824933344 139668813412909 0 4 0 16800975 18446744072101563940 0 0 -1 13 0 0 0 0 0 6293624 6294260 12439552 140731645031561 140731645031748 140731645031748 140731645034447 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 13263912

[startup+0.300393 s]
/proc/loadavg: 1.62 1.47 1.51 3/261 16226
/proc/meminfo: memFree=31493772/32770624 swapFree=5968/245252
[pid=16226] ppid=16223 vsize=13263932 CPUtime=0.45 cores=1,3,5,7,9,11,13,15
/proc/16226/stat : 16226 (java) S 16223 16226 15294 0 -1 1077944320 10406 0 0 0 43 2 0 0 20 0 20 0 4400034 13582266368 11646 33554432000 4194304 4196468 140731645027040 140731645009584 139668820733687 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 12439552 140731645031561 140731645031748 140731645031748 140731645034447 0
/proc/16226/statm: 3315983 11646 3690 1 0 3303698 0
[pid=16226/tid=16227] ppid=16223 vsize=13263932 CPUtime=0.27 cores=1,3,5,7,9,11,13,15
/proc/16226/task/16227/stat : 16227 (java) R 16223 16226 15294 0 -1 4202560 7516 0 0 0 25 2 0 0 20 0 20 0 4400034 13582266368 11646 33554432000 4194304 4196468 140731645027040 139668824962880 139668804814174 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 12439552 140731645031561 140731645031748 140731645031748 140731645034447 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 13263932

[startup+0.700257 s]
/proc/loadavg: 1.62 1.47 1.51 3/261 16226
/proc/meminfo: memFree=31493772/32770624 swapFree=5968/245252
[pid=16226] ppid=16223 vsize=13265980 CPUtime=1.6 cores=1,3,5,7,9,11,13,15
/proc/16226/stat : 16226 (java) S 16223 16226 15294 0 -1 1077944320 13785 0 0 0 155 5 0 0 20 0 20 0 4400034 13584363520 24135 33554432000 4194304 4196468 140731645027040 140731645009584 139668820733687 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 12439552 140731645031561 140731645031748 140731645031748 140731645034447 0
/proc/16226/statm: 3316495 24135 3777 1 0 3304210 0
[pid=16226/tid=16227] ppid=16223 vsize=13265980 CPUtime=0.68 cores=1,3,5,7,9,11,13,15
/proc/16226/task/16227/stat : 16227 (java) R 16223 16226 15294 0 -1 4202560 8547 0 0 0 65 3 0 0 20 0 20 0 4400034 13584363520 24135 33554432000 4194304 4196468 140731645027040 139668824967448 139668820745622 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 12439552 140731645031561 140731645031748 140731645031748 140731645034447 0
Current children cumulated CPU time (s) 1.6
Current children cumulated vsize (KiB) 13265980

[startup+1.50073 s]
/proc/loadavg: 1.62 1.47 1.51 5/281 16246
/proc/meminfo: memFree=31366732/32770624 swapFree=5968/245620
[pid=16226] ppid=16223 vsize=13270076 CPUtime=4.52 cores=1,3,5,7,9,11,13,15
/proc/16226/stat : 16226 (java) S 16223 16226 15294 0 -1 1077944320 24406 0 0 0 440 12 0 0 20 0 20 0 4400034 13588557824 52455 33554432000 4194304 4196468 140731645027040 140731645009584 139668820733687 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 12439552 140731645031561 140731645031748 140731645031748 140731645034447 0
/proc/16226/statm: 3317519 52455 3795 1 0 3305234 0
[pid=16226/tid=16227] ppid=16223 vsize=13270076 CPUtime=1.46 cores=1,3,5,7,9,11,13,15
/proc/16226/task/16227/stat : 16227 (java) S 16223 16226 15294 0 -1 1077944384 10812 0 0 0 141 5 0 0 20 0 20 0 4400034 13588557824 52455 33554432000 4194304 4196468 140731645027040 139668824970080 139668820743893 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 12439552 140731645031561 140731645031748 140731645031748 140731645034447 0
[pid=16226/tid=16229] ppid=16223 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16226/task/16229/stat : 16229 (java) R 16223 16226 15294 0 -1 4202560 27 0 0 0 0 0 0 0 20 0 20 0 4400035 13588557824 52455 33554432000 4194304 4196468 140731645027040 139668781691816 139668802359632 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12439552 140731645031561 140731645031748 140731645031748 140731645034447 0
[pid=16226/tid=16230] ppid=16223 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16226/task/16230/stat : 16230 (java) R 16223 16226 15294 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 4400035 13588557824 52455 33554432000 4194304 4196468 140731645027040 139668418443936 139668805760981 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 12439552 140731645031561 140731645031748 140731645031748 140731645034447 0
[pid=16226/tid=16231] ppid=16223 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16226/task/16231/stat : 16231 (java) R 16223 16226 15294 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 20 0 4400035 13588557824 52455 33554432000 4194304 4196468 140731645027040 139668417391760 139668805761106 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12439552 140731645031561 140731645031748 140731645031748 140731645034447 0
[pid=16226/tid=16232] ppid=16223 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16226/task/16232/stat : 16232 (java) R 16223 16226 15294 0 -1 4202560 47 0 0 0 0 0 0 0 20 0 20 0 4400035 13588557824 52455 33554432000 4194304 4196468 140731645027040 139668416338960 139668805755740 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12439552 140731645031561 140731645031748 140731645031748 140731645034447 0
[pid=16226/tid=16233] ppid=16223 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16226/task/16233/stat : 16233 (java) R 16223 16226 15294 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 20 0 4400035 13588557824 52455 33554432000 4194304 4196468 140731645027040 139668415285648 139668805761534 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12439552 140731645031561 140731645031748 140731645031748 140731645034447 0
[pid=16226/tid=16234] ppid=16223 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16226/task/16234/stat : 16234 (java) R 16223 16226 15294 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 20 0 4400035 13588557824 52455 33554432000 4194304 4196468 140731645027040 139668414230656 139668802359632 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12439552 140731645031561 140731645031748 140731645031748 140731645034447 0
[pid=16226/tid=16235] ppid=16223 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16226/task/16235/stat : 16235 (java) R 16223 16226 15294 0 -1 4202560 41 0 0 0 0 0 0 0 20 0 20 0 4400035 13588557824 52455 33554432000 4194304 4196468 140731645027040 139668413180760 139668805755808 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 12439552 140731645031561 140731645031748 140731645031748 140731645034447 0
[pid=16226/tid=16236] ppid=16223 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16226/task/16236/stat : 16236 (java) R 16223 16226 15294 0 -1 4202560 188 0 0 0 0 0 0 0 20 0 20 0 4400035 13588557824 52455 33554432000 4194304 4196468 140731645027040 139668412127960 139668802359632 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 12439552 140731645031561 140731645031748 140731645031748 140731645034447 0
[pid=16226/tid=16237] ppid=16223 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16226/task/16237/stat : 16237 (java) S 16223 16226 15294 0 -1 1077944384 30 0 0 0 0 0 0 0 20 0 20 0 4400037 13588557824 52455 33554432000 4194304 4196468 140731645027040 139667485672608 139668820743893 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12439552 140731645031561 140731645031748 140731645031748 140731645034447 0
[pid=16226/tid=16238] ppid=16223 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16226/task/16238/stat : 16238 (java) S 16223 16226 15294 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 4400038 13588557824 52455 33554432000 4194304 4196468 140731645027040 139667484620064 139668820743893 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 12439552 140731645031561 140731645031748 140731645031748 140731645034447 0
[pid=16226/tid=16239] ppid=16223 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16226/task/16239/stat : 16239 (java) S 16223 16226 15294 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 4400038 13588557824 52455 33554432000 4194304 4196468 140731645027040 139667483567728 139668820743893 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 12439552 140731645031561 140731645031748 140731645031748 140731645034447 0
[pid=16226/tid=16240] ppid=16223 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16226/task/16240/stat : 16240 (java) S 16223 16226 15294 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4400041 13588557824 52455 33554432000 4194304 4196468 140731645027040 139667482516048 139668820752283 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 12439552 140731645031561 140731645031748 140731645031748 140731645034447 0
[pid=16226/tid=16241] ppid=16223 vsize=13270076 CPUtime=0.73 cores=1,3,5,7,9,11,13,15
/proc/16226/task/16241/stat : 16241 (java) D 16223 16226 15294 0 -1 4202560 2955 0 0 0 73 0 0 0 20 0 20 0 4400041 13588557824 52455 33554432000 4194304 4196468 140731645027040 139667481448776 139668813450839 0 4 0 16800975 18446744071582151463 0 0 -1 11 0 0 0 0 0 6293624 6294260 12439552 140731645031561 140731645031748 140731645031748 140731645034447 0
[pid=16226/tid=16242] ppid=16223 vsize=13270076 CPUtime=0.65 cores=1,3,5,7,9,11,13,15
/proc/16226/task/16242/stat : 16242 (java) S 16223 16226 15294 0 -1 1077944384 2228 0 0 0 65 0 0 0 20 0 20 0 4400041 13588557824 52455 33554432000 4194304 4196468 140731645027040 139667480410096 139668820744834 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 12439552 140731645031561 140731645031748 140731645031748 140731645034447 0
[pid=16226/tid=16243] ppid=16223 vsize=13270076 CPUtime=0.75 cores=1,3,5,7,9,11,13,15
/proc/16226/task/16243/stat : 16243 (java) S 16223 16226 15294 0 -1 1077944384 3456 0 0 0 75 0 0 0 20 0 20 0 4400041 13588557824 52967 33554432000 4194304 4196468 140731645027040 139667479337360 139668820743893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12439552 140731645031561 140731645031748 140731645031748 140731645034447 0
[pid=16226/tid=16244] ppid=16223 vsize=13270076 CPUtime=0.82 cores=1,3,5,7,9,11,13,15
/proc/16226/task/16244/stat : 16244 (java) S 16223 16226 15294 0 -1 1077944384 3200 0 0 0 80 2 0 0 20 0 20 0 4400041 13588557824 52967 33554432000 4194304 4196468 140731645027040 139667478298432 139668820743893 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 12439552 140731645031561 140731645031748 140731645031748 140731645034447 0
[pid=16226/tid=16245] ppid=16223 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16226/task/16245/stat : 16245 (java) S 16223 16226 15294 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4400041 13588557824 52967 33554432000 4194304 4196468 140731645027040 139667477252960 139668820743893 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 12439552 140731645031561 140731645031748 140731645031748 140731645034447 0
[pid=16226/tid=16246] ppid=16223 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16226/task/16246/stat : 16246 (java) S 16223 16226 15294 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4400041 13588557824 52967 33554432000 4194304 4196468 140731645027040 139667476200240 139668820744834 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12439552 140731645031561 140731645031748 140731645031748 140731645034447 0
Current children cumulated CPU time (s) 4.52
Current children cumulated vsize (KiB) 13270076

[startup+3.10071 s]
/proc/loadavg: 1.62 1.47 1.51 3/281 16246
/proc/meminfo: memFree=31073012/32770624 swapFree=5968/245620
[pid=16226] ppid=16223 vsize=13270076 CPUtime=8.24 cores=1,3,5,7,9,11,13,15
/proc/16226/stat : 16226 (java) S 16223 16226 15294 0 -1 1077944320 31545 0 0 0 723 101 0 0 20 0 20 0 4400034 13588557824 134177 33554432000 4194304 4196468 140731645027040 140731645009584 139668820733687 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 12439552 140731645031561 140731645031748 140731645031748 140731645034447 0
/proc/16226/statm: 3317519 134177 3822 1 0 3305234 0
[pid=16226/tid=16227] ppid=16223 vsize=13270076 CPUtime=2.84 cores=1,3,5,7,9,11,13,15
/proc/16226/task/16227/stat : 16227 (java) R 16223 16226 15294 0 -1 4202560 12097 0 0 0 277 7 0 0 20 0 20 0 4400034 13588557824 134177 33554432000 4194304 4196468 140731645027040 139668824970904 139668820745622 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12439552 140731645031561 140731645031748 140731645031748 140731645034447 0
[pid=16226/tid=16229] ppid=16223 vsize=13270076 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/16226/task/16229/stat : 16229 (java) S 16223 16226 15294 0 -1 1077944384 213 0 0 0 9 10 0 0 20 0 20 0 4400035 13588557824 134177 33554432000 4194304 4196468 140731645027040 139668781693840 139668820743893 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 12439552 140731645031561 140731645031748 140731645031748 140731645034447 0
[pid=16226/tid=16230] ppid=16223 vsize=13270076 CPUtime=0.2 cores=1,3,5,7,9,11,13,15
/proc/16226/task/16230/stat : 16230 (java) S 16223 16226 15294 0 -1 1077944384 121 0 0 0 9 11 0 0 20 0 20 0 4400035 13588557824 134177 33554432000 4194304 4196468 140731645027040 139668418444048 139668820743893 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 12439552 140731645031561 140731645031748 140731645031748 140731645034447 0
[pid=16226/tid=16231] ppid=16223 vsize=13270076 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/16226/task/16231/stat : 16231 (java) S 16223 16226 15294 0 -1 1077944384 112 0 0 0 9 10 0 0 20 0 20 0 4400035 13588557824 134177 33554432000 4194304 4196468 140731645027040 139668417391760 139668820743893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12439552 140731645031561 140731645031748 140731645031748 140731645034447 0
[pid=16226/tid=16232] ppid=16223 vsize=13270076 CPUtime=0.2 cores=1,3,5,7,9,11,13,15
/proc/16226/task/16232/stat : 16232 (java) S 16223 16226 15294 0 -1 1077944384 153 0 0 0 9 11 0 0 20 0 20 0 4400035 13588557824 134177 33554432000 4194304 4196468 140731645027040 139668416338960 139668820743893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12439552 140731645031561 140731645031748 140731645031748 140731645034447 0
[pid=16226/tid=16233] ppid=16223 vsize=13270076 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/16226/task/16233/stat : 16233 (java) S 16223 16226 15294 0 -1 1077944384 104 0 0 0 8 11 0 0 20 0 20 0 4400035 13588557824 134177 33554432000 4194304 4196468 140731645027040 139668415285648 139668820743893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12439552 140731645031561 140731645031748 140731645031748 140731645034447 0
[pid=16226/tid=16234] ppid=16223 vsize=13270076 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/16226/task/16234/stat : 16234 (java) S 16223 16226 15294 0 -1 1077944384 114 0 0 0 9 10 0 0 20 0 20 0 4400035 13588557824 134177 33554432000 4194304 4196468 140731645027040 139668414232848 139668820743893 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 12439552 140731645031561 140731645031748 140731645031748 140731645034447 0
[pid=16226/tid=16235] ppid=16223 vsize=13270076 CPUtime=0.2 cores=1,3,5,7,9,11,13,15
/proc/16226/task/16235/stat : 16235 (java) S 16223 16226 15294 0 -1 1077944384 1163 0 0 0 9 11 0 0 20 0 20 0 4400035 13588557824 134177 33554432000 4194304 4196468 140731645027040 139668413180560 139668820743893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12439552 140731645031561 140731645031748 140731645031748 140731645034447 0
[pid=16226/tid=16236] ppid=16223 vsize=13270076 CPUtime=0.17 cores=1,3,5,7,9,11,13,15
/proc/16226/task/16236/stat : 16236 (java) S 16223 16226 15294 0 -1 1077944384 377 0 0 0 7 10 0 0 20 0 20 0 4400035 13588557824 134177 33554432000 4194304 4196468 140731645027040 139668412127760 139668820743893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12439552 140731645031561 140731645031748 140731645031748 140731645034447 0
[pid=16226/tid=16237] ppid=16223 vsize=13270076 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/16226/task/16237/stat : 16237 (java) S 16223 16226 15294 0 -1 1077944384 499 0 0 0 1 0 0 0 20 0 20 0 4400037 13588557824 134177 33554432000 4194304 4196468 140731645027040 139667485674096 139668820744834 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12439552 140731645031561 140731645031748 140731645031748 140731645034447 0
[pid=16226/tid=16238] ppid=16223 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16226/task/16238/stat : 16238 (java) S 16223 16226 15294 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 20 0 4400038 13588557824 134177 33554432000 4194304 4196468 140731645027040 139667484620128 139668820743893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12439552 140731645031561 140731645031748 140731645031748 140731645034447 0
[pid=16226/tid=16239] ppid=16223 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16226/task/16239/stat : 16239 (java) S 16223 16226 15294 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 20 0 4400038 13588557824 134177 33554432000 4194304 4196468 140731645027040 139667483567744 139668820743893 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 12439552 140731645031561 140731645031748 140731645031748 140731645034447 0
[pid=16226/tid=16240] ppid=16223 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16226/task/16240/stat : 16240 (java) S 16223 16226 15294 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4400041 13588557824 134177 33554432000 4194304 4196468 140731645027040 139667482516048 139668820752283 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 12439552 140731645031561 140731645031748 140731645031748 140731645034447 0
[pid=16226/tid=16241] ppid=16223 vsize=13270076 CPUtime=0.97 cores=1,3,5,7,9,11,13,15
/proc/16226/task/16241/stat : 16241 (java) R 16223 16226 15294 0 -1 4202560 3374 0 0 0 97 0 0 0 20 0 20 0 4400041 13588557824 134177 33554432000 4194304 4196468 140731645027040 139667481448096 139668798328464 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12439552 140731645031561 140731645031748 140731645031748 140731645034447 0
[pid=16226/tid=16242] ppid=16223 vsize=13270076 CPUtime=0.89 cores=1,3,5,7,9,11,13,15
/proc/16226/task/16242/stat : 16242 (java) R 16223 16226 15294 0 -1 4202560 3308 0 0 0 89 0 0 0 20 0 20 0 4400041 13588557824 134177 33554432000 4194304 4196468 140731645027040 139667480403288 139668804144703 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 12439552 140731645031561 140731645031748 140731645031748 140731645034447 0
[pid=16226/tid=16243] ppid=16223 vsize=13270076 CPUtime=0.91 cores=1,3,5,7,9,11,13,15
/proc/16226/task/16243/stat : 16243 (java) R 16223 16226 15294 0 -1 4202560 3618 0 0 0 91 0 0 0 20 0 20 0 4400041 13588557824 134177 33554432000 4194304 4196468 140731645027040 139667479344352 139668805848742 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12439552 140731645031561 140731645031748 140731645031748 140731645034447 0
[pid=16226/tid=16244] ppid=16223 vsize=13270076 CPUtime=0.93 cores=1,3,5,7,9,11,13,15
/proc/16226/task/16244/stat : 16244 (java) S 16223 16226 15294 0 -1 1077944384 4865 0 0 0 91 2 0 0 20 0 20 0 4400041 13588557824 134177 33554432000 4194304 4196468 140731645027040 139667478305008 139668820744834 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12439552 140731645031561 140731645031748 140731645031748 140731645034447 0
[pid=16226/tid=16245] ppid=16223 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16226/task/16245/stat : 16245 (java) S 16223 16226 15294 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4400041 13588557824 134177 33554432000 4194304 4196468 140731645027040 139667477252960 139668820743893 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 12439552 140731645031561 140731645031748 140731645031748 140731645034447 0
[pid=16226/tid=16246] ppid=16223 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16226/task/16246/stat : 16246 (java) S 16223 16226 15294 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 20 0 4400041 13588557824 134177 33554432000 4194304 4196468 140731645027040 139667476200240 139668820744834 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 12439552 140731645031561 140731645031748 140731645031748 140731645034447 0
Current children cumulated CPU time (s) 8.24
Current children cumulated vsize (KiB) 13270076

[startup+6.30083 s]
/proc/loadavg: 1.57 1.46 1.51 3/281 16246
/proc/meminfo: memFree=30712592/32770624 swapFree=5968/245620
[pid=16226] ppid=16223 vsize=13270076 CPUtime=13.19 cores=1,3,5,7,9,11,13,15
/proc/16226/stat : 16226 (java) S 16223 16226 15294 0 -1 1077944320 33250 0 0 0 1174 145 0 0 20 0 20 0 4400034 13588557824 198532 33554432000 4194304 4196468 140731645027040 140731645009584 139668820733687 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 12439552 140731645031561 140731645031748 140731645031748 140731645034447 0
/proc/16226/statm: 3317519 198532 3832 1 0 3305234 0
[pid=16226/tid=16227] ppid=16223 vsize=13270076 CPUtime=5.94 cores=1,3,5,7,9,11,13,15
/proc/16226/task/16227/stat : 16227 (java) R 16223 16226 15294 0 -1 4202560 12263 0 0 0 584 10 0 0 20 0 20 0 4400034 13588557824 198532 33554432000 4194304 4196468 140731645027040 139668824969296 139668466666784 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12439552 140731645031561 140731645031748 140731645031748 140731645034447 0
[pid=16226/tid=16229] ppid=16223 vsize=13270076 CPUtime=0.29 cores=1,3,5,7,9,11,13,15
/proc/16226/task/16229/stat : 16229 (java) S 16223 16226 15294 0 -1 1077944384 263 0 0 0 13 16 0 0 20 0 20 0 4400035 13588557824 198532 33554432000 4194304 4196468 140731645027040 139668781693840 139668820743893 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 12439552 140731645031561 140731645031748 140731645031748 140731645034447 0
[pid=16226/tid=16230] ppid=16223 vsize=13270076 CPUtime=0.29 cores=1,3,5,7,9,11,13,15
/proc/16226/task/16230/stat : 16230 (java) S 16223 16226 15294 0 -1 1077944384 168 0 0 0 13 16 0 0 20 0 20 0 4400035 13588557824 198532 33554432000 4194304 4196468 140731645027040 139668418444048 139668820743893 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 12439552 140731645031561 140731645031748 140731645031748 140731645034447 0
[pid=16226/tid=16231] ppid=16223 vsize=13270076 CPUtime=0.29 cores=1,3,5,7,9,11,13,15
/proc/16226/task/16231/stat : 16231 (java) S 16223 16226 15294 0 -1 1077944384 171 0 0 0 14 15 0 0 20 0 20 0 4400035 13588557824 198532 33554432000 4194304 4196468 140731645027040 139668417391760 139668820743893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12439552 140731645031561 140731645031748 140731645031748 140731645034447 0
[pid=16226/tid=16232] ppid=16223 vsize=13270076 CPUtime=0.28 cores=1,3,5,7,9,11,13,15
/proc/16226/task/16232/stat : 16232 (java) S 16223 16226 15294 0 -1 1077944384 196 0 0 0 13 15 0 0 20 0 20 0 4400035 13588557824 198532 33554432000 4194304 4196468 140731645027040 139668416338960 139668820743893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12439552 140731645031561 140731645031748 140731645031748 140731645034447 0
[pid=16226/tid=16233] ppid=16223 vsize=13270076 CPUtime=0.28 cores=1,3,5,7,9,11,13,15
/proc/16226/task/16233/stat : 16233 (java) S 16223 16226 15294 0 -1 1077944384 155 0 0 0 12 16 0 0 20 0 20 0 4400035 13588557824 198532 33554432000 4194304 4196468 140731645027040 139668415285648 139668820743893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12439552 140731645031561 140731645031748 140731645031748 140731645034447 0
[pid=16226/tid=16234] ppid=16223 vsize=13270076 CPUtime=0.29 cores=1,3,5,7,9,11,13,15
/proc/16226/task/16234/stat : 16234 (java) S 16223 16226 15294 0 -1 1077944384 167 0 0 0 14 15 0 0 20 0 20 0 4400035 13588557824 198532 33554432000 4194304 4196468 140731645027040 139668414232848 139668820743893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12439552 140731645031561 140731645031748 140731645031748 140731645034447 0
[pid=16226/tid=16235] ppid=16223 vsize=13270076 CPUtime=0.29 cores=1,3,5,7,9,11,13,15
/proc/16226/task/16235/stat : 16235 (java) S 16223 16226 15294 0 -1 1077944384 1201 0 0 0 13 16 0 0 20 0 20 0 4400035 13588557824 198532 33554432000 4194304 4196468 140731645027040 139668413180560 139668820743893 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 12439552 140731645031561 140731645031748 140731645031748 140731645034447 0
[pid=16226/tid=16236] ppid=16223 vsize=13270076 CPUtime=0.27 cores=1,3,5,7,9,11,13,15
/proc/16226/task/16236/stat : 16236 (java) S 16223 16226 15294 0 -1 1077944384 419 0 0 0 11 16 0 0 20 0 20 0 4400035 13588557824 198532 33554432000 4194304 4196468 140731645027040 139668412127760 139668820743893 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 12439552 140731645031561 140731645031748 140731645031748 140731645034447 0
[pid=16226/tid=16237] ppid=16223 vsize=13270076 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/16226/task/16237/stat : 16237 (java) S 16223 16226 15294 0 -1 1077944384 916 0 0 0 2 0 0 0 20 0 20 0 4400037 13588557824 198532 33554432000 4194304 4196468 140731645027040 139667485674096 139668820744834 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12439552 140731645031561 140731645031748 140731645031748 140731645034447 0
[pid=16226/tid=16238] ppid=16223 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16226/task/16238/stat : 16238 (java) S 16223 16226 15294 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 20 0 4400038 13588557824 198532 33554432000 4194304 4196468 140731645027040 139667484620128 139668820743893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12439552 140731645031561 140731645031748 140731645031748 140731645034447 0
[pid=16226/tid=16239] ppid=16223 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16226/task/16239/stat : 16239 (java) S 16223 16226 15294 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 20 0 4400038 13588557824 198532 33554432000 4194304 4196468 140731645027040 139667483567744 139668820743893 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 12439552 140731645031561 140731645031748 140731645031748 140731645034447 0
[pid=16226/tid=16240] ppid=16223 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15

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

/proc/16226/task/16242/stat : 16242 (java) S 16223 16226 15294 0 -1 1077944384 6203 0 0 0 153 1 0 0 20 0 20 0 4400041 13588557824 750866 33554432000 4194304 4196468 140731645027040 139667480410096 139668820744834 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12439552 140731645031561 140731645031748 140731645031748 140731645034447 0
[pid=16226/tid=16243] ppid=16223 vsize=13270076 CPUtime=1.63 cores=1,3,5,7,9,11,13,15
/proc/16226/task/16243/stat : 16243 (java) S 16223 16226 15294 0 -1 1077944384 6674 0 0 0 162 1 0 0 20 0 20 0 4400041 13588557824 750866 33554432000 4194304 4196468 140731645027040 139667479357808 139668820744834 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12439552 140731645031561 140731645031748 140731645031748 140731645034447 0
[pid=16226/tid=16244] ppid=16223 vsize=13270076 CPUtime=1.11 cores=1,3,5,7,9,11,13,15
/proc/16226/task/16244/stat : 16244 (java) S 16223 16226 15294 0 -1 1077944384 8453 0 0 0 108 3 0 0 20 0 20 0 4400041 13588557824 750866 33554432000 4194304 4196468 140731645027040 139667478305008 139668820744834 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12439552 140731645031561 140731645031748 140731645031748 140731645034447 0
[pid=16226/tid=16245] ppid=16223 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16226/task/16245/stat : 16245 (java) S 16223 16226 15294 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4400041 13588557824 750866 33554432000 4194304 4196468 140731645027040 139667477252960 139668820743893 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 12439552 140731645031561 140731645031748 140731645031748 140731645034447 0
[pid=16226/tid=16246] ppid=16223 vsize=13270076 CPUtime=1.05 cores=1,3,5,7,9,11,13,15
/proc/16226/task/16246/stat : 16246 (java) S 16223 16226 15294 0 -1 1077944384 1642 0 0 0 50 55 0 0 20 0 20 0 4400041 13588557824 750866 33554432000 4194304 4196468 140731645027040 139667476200240 139668820744834 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12439552 140731645031561 140731645031748 140731645031748 140731645034447 0
Current children cumulated CPU time (s) 2311.37
Current children cumulated vsize (KiB) 13270076

[startup+2322.3 s]
/proc/loadavg: 1.49 1.49 1.50 3/281 16434
/proc/meminfo: memFree=25538064/32770624 swapFree=5968/247980
[pid=16226] ppid=16223 vsize=13270076 CPUtime=2373.08 cores=1,3,5,7,9,11,13,15
/proc/16226/stat : 16226 (java) S 16223 16226 15294 0 -1 1077944320 263753 0 0 0 236843 465 0 0 20 0 20 0 4400034 13588557824 751890 33554432000 4194304 4196468 140731645027040 140731645009584 139668820733687 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 12439552 140731645031561 140731645031748 140731645031748 140731645034447 0
/proc/16226/statm: 3317519 751890 3839 1 0 3305234 0
[pid=16226/tid=16227] ppid=16223 vsize=13270076 CPUtime=2310.53 cores=1,3,5,7,9,11,13,15
/proc/16226/task/16227/stat : 16227 (java) R 16223 16226 15294 0 -1 4202560 93773 0 0 0 230985 68 0 0 20 0 20 0 4400034 13588557824 751890 33554432000 4194304 4196468 140731645027040 139668824971936 139668466734494 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12439552 140731645031561 140731645031748 140731645031748 140731645034447 0
[pid=16226/tid=16229] ppid=16223 vsize=13270076 CPUtime=6.6 cores=1,3,5,7,9,11,13,15
/proc/16226/task/16229/stat : 16229 (java) S 16223 16226 15294 0 -1 1077944384 13578 0 0 0 620 40 0 0 20 0 20 0 4400035 13588557824 751890 33554432000 4194304 4196468 140731645027040 139668781693840 139668820743893 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 12439552 140731645031561 140731645031748 140731645031748 140731645034447 0
[pid=16226/tid=16230] ppid=16223 vsize=13270076 CPUtime=6.56 cores=1,3,5,7,9,11,13,15
/proc/16226/task/16230/stat : 16230 (java) S 16223 16226 15294 0 -1 1077944384 13844 0 0 0 612 44 0 0 20 0 20 0 4400035 13588557824 751890 33554432000 4194304 4196468 140731645027040 139668418444048 139668820743893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12439552 140731645031561 140731645031748 140731645031748 140731645034447 0
[pid=16226/tid=16231] ppid=16223 vsize=13270076 CPUtime=6.55 cores=1,3,5,7,9,11,13,15
/proc/16226/task/16231/stat : 16231 (java) S 16223 16226 15294 0 -1 1077944384 13003 0 0 0 612 43 0 0 20 0 20 0 4400035 13588557824 751890 33554432000 4194304 4196468 140731645027040 139668417391760 139668820743893 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 12439552 140731645031561 140731645031748 140731645031748 140731645034447 0
[pid=16226/tid=16232] ppid=16223 vsize=13270076 CPUtime=6.59 cores=1,3,5,7,9,11,13,15
/proc/16226/task/16232/stat : 16232 (java) S 16223 16226 15294 0 -1 1077944384 13979 0 0 0 615 44 0 0 20 0 20 0 4400035 13588557824 751890 33554432000 4194304 4196468 140731645027040 139668416338960 139668820743893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12439552 140731645031561 140731645031748 140731645031748 140731645034447 0
[pid=16226/tid=16233] ppid=16223 vsize=13270076 CPUtime=6.68 cores=1,3,5,7,9,11,13,15
/proc/16226/task/16233/stat : 16233 (java) S 16223 16226 15294 0 -1 1077944384 14400 0 0 0 623 45 0 0 20 0 20 0 4400035 13588557824 751890 33554432000 4194304 4196468 140731645027040 139668415285648 139668820743893 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 12439552 140731645031561 140731645031748 140731645031748 140731645034447 0
[pid=16226/tid=16234] ppid=16223 vsize=13270076 CPUtime=6.64 cores=1,3,5,7,9,11,13,15
/proc/16226/task/16234/stat : 16234 (java) S 16223 16226 15294 0 -1 1077944384 14728 0 0 0 624 40 0 0 20 0 20 0 4400035 13588557824 751890 33554432000 4194304 4196468 140731645027040 139668414232848 139668820743893 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 12439552 140731645031561 140731645031748 140731645031748 140731645034447 0
[pid=16226/tid=16235] ppid=16223 vsize=13270076 CPUtime=6.49 cores=1,3,5,7,9,11,13,15
/proc/16226/task/16235/stat : 16235 (java) S 16223 16226 15294 0 -1 1077944384 17665 0 0 0 605 44 0 0 20 0 20 0 4400035 13588557824 751890 33554432000 4194304 4196468 140731645027040 139668413180560 139668820743893 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 12439552 140731645031561 140731645031748 140731645031748 140731645034447 0
[pid=16226/tid=16236] ppid=16223 vsize=13270076 CPUtime=6.55 cores=1,3,5,7,9,11,13,15
/proc/16226/task/16236/stat : 16236 (java) S 16223 16226 15294 0 -1 1077944384 11589 0 0 0 613 42 0 0 20 0 20 0 4400035 13588557824 751890 33554432000 4194304 4196468 140731645027040 139668412127760 139668820743893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12439552 140731645031561 140731645031748 140731645031748 140731645034447 0
[pid=16226/tid=16237] ppid=16223 vsize=13270076 CPUtime=2.59 cores=1,3,5,7,9,11,13,15
/proc/16226/task/16237/stat : 16237 (java) S 16223 16226 15294 0 -1 1077944384 21913 0 0 0 240 19 0 0 20 0 20 0 4400037 13588557824 751890 33554432000 4194304 4196468 140731645027040 139667485674096 139668820744834 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12439552 140731645031561 140731645031748 140731645031748 140731645034447 0
[pid=16226/tid=16238] ppid=16223 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16226/task/16238/stat : 16238 (java) S 16223 16226 15294 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 20 0 4400038 13588557824 751890 33554432000 4194304 4196468 140731645027040 139667484620128 139668820743893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12439552 140731645031561 140731645031748 140731645031748 140731645034447 0
[pid=16226/tid=16239] ppid=16223 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16226/task/16239/stat : 16239 (java) S 16223 16226 15294 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 20 0 4400038 13588557824 751890 33554432000 4194304 4196468 140731645027040 139667483567744 139668820743893 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 12439552 140731645031561 140731645031748 140731645031748 140731645034447 0
[pid=16226/tid=16240] ppid=16223 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16226/task/16240/stat : 16240 (java) S 16223 16226 15294 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4400041 13588557824 751890 33554432000 4194304 4196468 140731645027040 139667482516048 139668820752283 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 12439552 140731645031561 140731645031748 140731645031748 140731645034447 0
[pid=16226/tid=16241] ppid=16223 vsize=13270076 CPUtime=1.81 cores=1,3,5,7,9,11,13,15
/proc/16226/task/16241/stat : 16241 (java) S 16223 16226 15294 0 -1 1077944384 10826 0 0 0 180 1 0 0 20 0 20 0 4400041 13588557824 751890 33554432000 4194304 4196468 140731645027040 139667481462896 139668820744834 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12439552 140731645031561 140731645031748 140731645031748 140731645034447 0
[pid=16226/tid=16242] ppid=16223 vsize=13270076 CPUtime=1.54 cores=1,3,5,7,9,11,13,15
/proc/16226/task/16242/stat : 16242 (java) S 16223 16226 15294 0 -1 1077944384 6209 0 0 0 153 1 0 0 20 0 20 0 4400041 13588557824 751890 33554432000 4194304 4196468 140731645027040 139667480410096 139668820744834 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12439552 140731645031561 140731645031748 140731645031748 140731645034447 0
[pid=16226/tid=16243] ppid=16223 vsize=13270076 CPUtime=1.63 cores=1,3,5,7,9,11,13,15
/proc/16226/task/16243/stat : 16243 (java) S 16223 16226 15294 0 -1 1077944384 6680 0 0 0 162 1 0 0 20 0 20 0 4400041 13588557824 751890 33554432000 4194304 4196468 140731645027040 139667479357808 139668820744834 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12439552 140731645031561 140731645031748 140731645031748 140731645034447 0
[pid=16226/tid=16244] ppid=16223 vsize=13270076 CPUtime=1.11 cores=1,3,5,7,9,11,13,15
/proc/16226/task/16244/stat : 16244 (java) S 16223 16226 15294 0 -1 1077944384 8459 0 0 0 108 3 0 0 20 0 20 0 4400041 13588557824 751890 33554432000 4194304 4196468 140731645027040 139667478305008 139668820744834 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12439552 140731645031561 140731645031748 140731645031748 140731645034447 0
[pid=16226/tid=16245] ppid=16223 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16226/task/16245/stat : 16245 (java) S 16223 16226 15294 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4400041 13588557824 751890 33554432000 4194304 4196468 140731645027040 139667477252960 139668820743893 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 12439552 140731645031561 140731645031748 140731645031748 140731645034447 0
[pid=16226/tid=16246] ppid=16223 vsize=13270076 CPUtime=1.07 cores=1,3,5,7,9,11,13,15
/proc/16226/task/16246/stat : 16246 (java) S 16223 16226 15294 0 -1 1077944384 1679 0 0 0 51 56 0 0 20 0 20 0 4400041 13588557824 751890 33554432000 4194304 4196468 140731645027040 139667476200240 139668820744834 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12439552 140731645031561 140731645031748 140731645031748 140731645034447 0
Current children cumulated CPU time (s) 2373.08
Current children cumulated vsize (KiB) 13270076



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2348.5 s]
/proc/loadavg: 1.31 1.45 1.49 3/281 16434
/proc/meminfo: memFree=25535736/32770624 swapFree=5968/248000
[pid=16226] ppid=16223 vsize=13270076 CPUtime=2400.02 cores=1,3,5,7,9,11,13,15
/proc/16226/stat : 16226 (java) S 16223 16226 15294 0 -1 1077944320 266426 0 0 0 239534 468 0 0 20 0 20 0 4400034 13588557824 752402 33554432000 4194304 4196468 140731645027040 140731645009584 139668820733687 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 12439552 140731645031561 140731645031748 140731645031748 140731645034447 0
/proc/16226/statm: 3317519 752402 3839 1 0 3305234 0
[pid=16226/tid=16227] ppid=16223 vsize=13270076 CPUtime=2336.54 cores=1,3,5,7,9,11,13,15
/proc/16226/task/16227/stat : 16227 (java) R 16223 16226 15294 0 -1 4202560 94482 0 0 0 233586 68 0 0 20 0 20 0 4400034 13588557824 752402 33554432000 4194304 4196468 140731645027040 139668824972064 139668467493743 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12439552 140731645031561 140731645031748 140731645031748 140731645034447 0
[pid=16226/tid=16229] ppid=16223 vsize=13270076 CPUtime=6.71 cores=1,3,5,7,9,11,13,15
/proc/16226/task/16229/stat : 16229 (java) S 16223 16226 15294 0 -1 1077944384 13710 0 0 0 631 40 0 0 20 0 20 0 4400035 13588557824 752402 33554432000 4194304 4196468 140731645027040 139668781693840 139668820743893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12439552 140731645031561 140731645031748 140731645031748 140731645034447 0
[pid=16226/tid=16230] ppid=16223 vsize=13270076 CPUtime=6.66 cores=1,3,5,7,9,11,13,15
/proc/16226/task/16230/stat : 16230 (java) S 16223 16226 15294 0 -1 1077944384 14005 0 0 0 622 44 0 0 20 0 20 0 4400035 13588557824 752402 33554432000 4194304 4196468 140731645027040 139668418444048 139668820743893 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 12439552 140731645031561 140731645031748 140731645031748 140731645034447 0
[pid=16226/tid=16231] ppid=16223 vsize=13270076 CPUtime=6.66 cores=1,3,5,7,9,11,13,15
/proc/16226/task/16231/stat : 16231 (java) S 16223 16226 15294 0 -1 1077944384 13213 0 0 0 623 43 0 0 20 0 20 0 4400035 13588557824 752402 33554432000 4194304 4196468 140731645027040 139668417391760 139668820743893 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 12439552 140731645031561 140731645031748 140731645031748 140731645034447 0
[pid=16226/tid=16232] ppid=16223 vsize=13270076 CPUtime=6.7 cores=1,3,5,7,9,11,13,15
/proc/16226/task/16232/stat : 16232 (java) S 16223 16226 15294 0 -1 1077944384 14243 0 0 0 626 44 0 0 20 0 20 0 4400035 13588557824 752402 33554432000 4194304 4196468 140731645027040 139668416338960 139668820743893 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 12439552 140731645031561 140731645031748 140731645031748 140731645034447 0
[pid=16226/tid=16233] ppid=16223 vsize=13270076 CPUtime=6.79 cores=1,3,5,7,9,11,13,15
/proc/16226/task/16233/stat : 16233 (java) S 16223 16226 15294 0 -1 1077944384 14652 0 0 0 634 45 0 0 20 0 20 0 4400035 13588557824 752402 33554432000 4194304 4196468 140731645027040 139668415285648 139668820743893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12439552 140731645031561 140731645031748 140731645031748 140731645034447 0
[pid=16226/tid=16234] ppid=16223 vsize=13270076 CPUtime=6.75 cores=1,3,5,7,9,11,13,15
/proc/16226/task/16234/stat : 16234 (java) S 16223 16226 15294 0 -1 1077944384 14938 0 0 0 635 40 0 0 20 0 20 0 4400035 13588557824 752402 33554432000 4194304 4196468 140731645027040 139668414232848 139668820743893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12439552 140731645031561 140731645031748 140731645031748 140731645034447 0
[pid=16226/tid=16235] ppid=16223 vsize=13270076 CPUtime=6.6 cores=1,3,5,7,9,11,13,15
/proc/16226/task/16235/stat : 16235 (java) S 16223 16226 15294 0 -1 1077944384 17969 0 0 0 616 44 0 0 20 0 20 0 4400035 13588557824 752402 33554432000 4194304 4196468 140731645027040 139668413180560 139668820743893 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 12439552 140731645031561 140731645031748 140731645031748 140731645034447 0
[pid=16226/tid=16236] ppid=16223 vsize=13270076 CPUtime=6.65 cores=1,3,5,7,9,11,13,15
/proc/16226/task/16236/stat : 16236 (java) S 16223 16226 15294 0 -1 1077944384 11626 0 0 0 623 42 0 0 20 0 20 0 4400035 13588557824 752402 33554432000 4194304 4196468 140731645027040 139668412127760 139668820743893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12439552 140731645031561 140731645031748 140731645031748 140731645034447 0
[pid=16226/tid=16237] ppid=16223 vsize=13270076 CPUtime=2.64 cores=1,3,5,7,9,11,13,15
/proc/16226/task/16237/stat : 16237 (java) S 16223 16226 15294 0 -1 1077944384 22264 0 0 0 244 20 0 0 20 0 20 0 4400037 13588557824 752402 33554432000 4194304 4196468 140731645027040 139667485674096 139668820744834 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12439552 140731645031561 140731645031748 140731645031748 140731645034447 0
[pid=16226/tid=16238] ppid=16223 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16226/task/16238/stat : 16238 (java) S 16223 16226 15294 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 20 0 4400038 13588557824 752402 33554432000 4194304 4196468 140731645027040 139667484620128 139668820743893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12439552 140731645031561 140731645031748 140731645031748 140731645034447 0
[pid=16226/tid=16239] ppid=16223 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16226/task/16239/stat : 16239 (java) S 16223 16226 15294 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 20 0 4400038 13588557824 752402 33554432000 4194304 4196468 140731645027040 139667483567744 139668820743893 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 12439552 140731645031561 140731645031748 140731645031748 140731645034447 0
[pid=16226/tid=16240] ppid=16223 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16226/task/16240/stat : 16240 (java) S 16223 16226 15294 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4400041 13588557824 752402 33554432000 4194304 4196468 140731645027040 139667482516048 139668820752283 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 12439552 140731645031561 140731645031748 140731645031748 140731645034447 0
[pid=16226/tid=16241] ppid=16223 vsize=13270076 CPUtime=1.81 cores=1,3,5,7,9,11,13,15
/proc/16226/task/16241/stat : 16241 (java) S 16223 16226 15294 0 -1 1077944384 10830 0 0 0 180 1 0 0 20 0 20 0 4400041 13588557824 752402 33554432000 4194304 4196468 140731645027040 139667481462896 139668820744834 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12439552 140731645031561 140731645031748 140731645031748 140731645034447 0
[pid=16226/tid=16242] ppid=16223 vsize=13270076 CPUtime=1.54 cores=1,3,5,7,9,11,13,15
/proc/16226/task/16242/stat : 16242 (java) S 16223 16226 15294 0 -1 1077944384 6213 0 0 0 153 1 0 0 20 0 20 0 4400041 13588557824 752402 33554432000 4194304 4196468 140731645027040 139667480410096 139668820744834 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12439552 140731645031561 140731645031748 140731645031748 140731645034447 0
[pid=16226/tid=16243] ppid=16223 vsize=13270076 CPUtime=1.63 cores=1,3,5,7,9,11,13,15
/proc/16226/task/16243/stat : 16243 (java) S 16223 16226 15294 0 -1 1077944384 6684 0 0 0 162 1 0 0 20 0 20 0 4400041 13588557824 752402 33554432000 4194304 4196468 140731645027040 139667479357808 139668820744834 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12439552 140731645031561 140731645031748 140731645031748 140731645034447 0
[pid=16226/tid=16244] ppid=16223 vsize=13270076 CPUtime=1.11 cores=1,3,5,7,9,11,13,15
/proc/16226/task/16244/stat : 16244 (java) S 16223 16226 15294 0 -1 1077944384 8463 0 0 0 108 3 0 0 20 0 20 0 4400041 13588557824 752402 33554432000 4194304 4196468 140731645027040 139667478305008 139668820744834 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12439552 140731645031561 140731645031748 140731645031748 140731645034447 0
[pid=16226/tid=16245] ppid=16223 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16226/task/16245/stat : 16245 (java) S 16223 16226 15294 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4400041 13588557824 752402 33554432000 4194304 4196468 140731645027040 139667477252960 139668820743893 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 12439552 140731645031561 140731645031748 140731645031748 140731645034447 0
[pid=16226/tid=16246] ppid=16223 vsize=13270076 CPUtime=1.08 cores=1,3,5,7,9,11,13,15
/proc/16226/task/16246/stat : 16246 (java) S 16223 16226 15294 0 -1 1077944384 1706 0 0 0 52 56 0 0 20 0 20 0 4400041 13588557824 752402 33554432000 4194304 4196468 140731645027040 139667476200240 139668820744834 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 12439552 140731645031561 140731645031748 140731645031748 140731645034447 0
Current children cumulated CPU time (s) 2400.02
Current children cumulated vsize (KiB) 13270076

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

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 16226 sig 9
??? kill -16226 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+2348.5 s]
/proc/loadavg: 1.31 1.45 1.49 3/281 16434
/proc/meminfo: memFree=25535736/32770624 swapFree=5968/248000
[pid=16226] ppid=16223 vsize=13270076 CPUtime=2400.02 cores=1,3,5,7,9,11,13,15
/proc/16226/stat : 16226 (java) S 16223 16226 15294 0 -1 1077944320 266426 0 0 0 239534 468 0 0 20 0 20 0 4400034 13588557824 752402 33554432000 4194304 4196468 140731645027040 140731645009584 139668820733687 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 12439552 140731645031561 140731645031748 140731645031748 140731645034447 0
/proc/16226/statm: 3317519 752402 3839 1 0 3305234 0
[pid=16226/tid=16227] ppid=16223 vsize=13270076 CPUtime=2336.54 cores=1,3,5,7,9,11,13,15
/proc/16226/task/16227/stat : 16227 (java) R 16223 16226 15294 0 -1 4202560 94482 0 0 0 233586 68 0 0 20 0 20 0 4400034 13588557824 752402 33554432000 4194304 4196468 140731645027040 139668824972064 139668467493743 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12439552 140731645031561 140731645031748 140731645031748 140731645034447 0
[pid=16226/tid=16229] ppid=16223 vsize=13270076 CPUtime=6.71 cores=1,3,5,7,9,11,13,15
/proc/16226/task/16229/stat : 16229 (java) S 16223 16226 15294 0 -1 1077944384 13710 0 0 0 631 40 0 0 20 0 20 0 4400035 13588557824 752402 33554432000 4194304 4196468 140731645027040 139668781693840 139668820743893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12439552 140731645031561 140731645031748 140731645031748 140731645034447 0
[pid=16226/tid=16230] ppid=16223 vsize=13270076 CPUtime=6.66 cores=1,3,5,7,9,11,13,15
/proc/16226/task/16230/stat : 16230 (java) S 16223 16226 15294 0 -1 1077944384 14005 0 0 0 622 44 0 0 20 0 20 0 4400035 13588557824 752402 33554432000 4194304 4196468 140731645027040 139668418444048 139668820743893 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 12439552 140731645031561 140731645031748 140731645031748 140731645034447 0
[pid=16226/tid=16231] ppid=16223 vsize=13270076 CPUtime=6.66 cores=1,3,5,7,9,11,13,15
/proc/16226/task/16231/stat : 16231 (java) S 16223 16226 15294 0 -1 1077944384 13213 0 0 0 623 43 0 0 20 0 20 0 4400035 13588557824 752402 33554432000 4194304 4196468 140731645027040 139668417391760 139668820743893 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 12439552 140731645031561 140731645031748 140731645031748 140731645034447 0
[pid=16226/tid=16232] ppid=16223 vsize=13270076 CPUtime=6.7 cores=1,3,5,7,9,11,13,15
/proc/16226/task/16232/stat : 16232 (java) S 16223 16226 15294 0 -1 1077944384 14243 0 0 0 626 44 0 0 20 0 20 0 4400035 13588557824 752402 33554432000 4194304 4196468 140731645027040 139668416338960 139668820743893 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 12439552 140731645031561 140731645031748 140731645031748 140731645034447 0
[pid=16226/tid=16233] ppid=16223 vsize=13270076 CPUtime=6.79 cores=1,3,5,7,9,11,13,15
/proc/16226/task/16233/stat : 16233 (java) S 16223 16226 15294 0 -1 1077944384 14652 0 0 0 634 45 0 0 20 0 20 0 4400035 13588557824 752402 33554432000 4194304 4196468 140731645027040 139668415285648 139668820743893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12439552 140731645031561 140731645031748 140731645031748 140731645034447 0
[pid=16226/tid=16234] ppid=16223 vsize=13270076 CPUtime=6.75 cores=1,3,5,7,9,11,13,15
/proc/16226/task/16234/stat : 16234 (java) S 16223 16226 15294 0 -1 1077944384 14938 0 0 0 635 40 0 0 20 0 20 0 4400035 13588557824 752402 33554432000 4194304 4196468 140731645027040 139668414232848 139668820743893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12439552 140731645031561 140731645031748 140731645031748 140731645034447 0
[pid=16226/tid=16235] ppid=16223 vsize=13270076 CPUtime=6.6 cores=1,3,5,7,9,11,13,15
/proc/16226/task/16235/stat : 16235 (java) S 16223 16226 15294 0 -1 1077944384 17969 0 0 0 616 44 0 0 20 0 20 0 4400035 13588557824 752402 33554432000 4194304 4196468 140731645027040 139668413180560 139668820743893 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 12439552 140731645031561 140731645031748 140731645031748 140731645034447 0
[pid=16226/tid=16236] ppid=16223 vsize=13270076 CPUtime=6.65 cores=1,3,5,7,9,11,13,15
/proc/16226/task/16236/stat : 16236 (java) S 16223 16226 15294 0 -1 1077944384 11626 0 0 0 623 42 0 0 20 0 20 0 4400035 13588557824 752402 33554432000 4194304 4196468 140731645027040 139668412127760 139668820743893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12439552 140731645031561 140731645031748 140731645031748 140731645034447 0
[pid=16226/tid=16237] ppid=16223 vsize=13270076 CPUtime=2.64 cores=1,3,5,7,9,11,13,15
/proc/16226/task/16237/stat : 16237 (java) S 16223 16226 15294 0 -1 1077944384 22264 0 0 0 244 20 0 0 20 0 20 0 4400037 13588557824 752402 33554432000 4194304 4196468 140731645027040 139667485674096 139668820744834 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12439552 140731645031561 140731645031748 140731645031748 140731645034447 0
[pid=16226/tid=16238] ppid=16223 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16226/task/16238/stat : 16238 (java) S 16223 16226 15294 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 20 0 4400038 13588557824 752402 33554432000 4194304 4196468 140731645027040 139667484620128 139668820743893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12439552 140731645031561 140731645031748 140731645031748 140731645034447 0
[pid=16226/tid=16239] ppid=16223 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16226/task/16239/stat : 16239 (java) S 16223 16226 15294 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 20 0 4400038 13588557824 752402 33554432000 4194304 4196468 140731645027040 139667483567744 139668820743893 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 12439552 140731645031561 140731645031748 140731645031748 140731645034447 0
[pid=16226/tid=16240] ppid=16223 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16226/task/16240/stat : 16240 (java) S 16223 16226 15294 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4400041 13588557824 752402 33554432000 4194304 4196468 140731645027040 139667482516048 139668820752283 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 12439552 140731645031561 140731645031748 140731645031748 140731645034447 0
[pid=16226/tid=16241] ppid=16223 vsize=13270076 CPUtime=1.81 cores=1,3,5,7,9,11,13,15
/proc/16226/task/16241/stat : 16241 (java) S 16223 16226 15294 0 -1 1077944384 10830 0 0 0 180 1 0 0 20 0 20 0 4400041 13588557824 752402 33554432000 4194304 4196468 140731645027040 139667481462896 139668820744834 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12439552 140731645031561 140731645031748 140731645031748 140731645034447 0
[pid=16226/tid=16242] ppid=16223 vsize=13270076 CPUtime=1.54 cores=1,3,5,7,9,11,13,15
/proc/16226/task/16242/stat : 16242 (java) S 16223 16226 15294 0 -1 1077944384 6213 0 0 0 153 1 0 0 20 0 20 0 4400041 13588557824 752402 33554432000 4194304 4196468 140731645027040 139667480410096 139668820744834 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12439552 140731645031561 140731645031748 140731645031748 140731645034447 0
[pid=16226/tid=16243] ppid=16223 vsize=13270076 CPUtime=1.63 cores=1,3,5,7,9,11,13,15
/proc/16226/task/16243/stat : 16243 (java) S 16223 16226 15294 0 -1 1077944384 6684 0 0 0 162 1 0 0 20 0 20 0 4400041 13588557824 752402 33554432000 4194304 4196468 140731645027040 139667479357808 139668820744834 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12439552 140731645031561 140731645031748 140731645031748 140731645034447 0
[pid=16226/tid=16244] ppid=16223 vsize=13270076 CPUtime=1.11 cores=1,3,5,7,9,11,13,15
/proc/16226/task/16244/stat : 16244 (java) S 16223 16226 15294 0 -1 1077944384 8463 0 0 0 108 3 0 0 20 0 20 0 4400041 13588557824 752402 33554432000 4194304 4196468 140731645027040 139667478305008 139668820744834 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12439552 140731645031561 140731645031748 140731645031748 140731645034447 0
[pid=16226/tid=16245] ppid=16223 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16226/task/16245/stat : 16245 (java) S 16223 16226 15294 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4400041 13588557824 752402 33554432000 4194304 4196468 140731645027040 139667477252960 139668820743893 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 12439552 140731645031561 140731645031748 140731645031748 140731645034447 0
[pid=16226/tid=16246] ppid=16223 vsize=13270076 CPUtime=1.08 cores=1,3,5,7,9,11,13,15
/proc/16226/task/16246/stat : 16246 (java) S 16223 16226 15294 0 -1 1077944384 1706 0 0 0 52 56 0 0 20 0 20 0 4400041 13588557824 752402 33554432000 4194304 4196468 140731645027040 139667476200240 139668820744834 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 12439552 140731645031561 140731645031748 140731645031748 140731645034447 0
Current children cumulated CPU time (s) 2400.02
Current children cumulated vsize (KiB) 13270076

Child status: 143
Real time (s): 2348.55
CPU time (s): 2400.08
CPU user time (s): 2395.38
CPU system time (s): 4.70372
CPU usage (%): 102.194
Max. virtual memory (cumulated for all children) (KiB): 13270076

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2395.38
system time used= 4.70372
maximum resident set size= 3573596
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 267149
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2616
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 154679
involuntary context switches= 146051

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.1351 second user time and 18.8053 second system time

The end

Launcher Data 

Begin job on node149 at 2017-07-22 04:42:31
IDJOB=4244735
IDBENCH=115882
IDSOLVER=2628
FILE ID=node149/4244735-1500691351
RUNJOBID= node149-1500684204-15326
PBS_JOBID= 20623346
Free space on /tmp= 61984 MiB

SOLVER NAME= OscaR - Conflict Ordering 2017-06-30
BENCH NAME= XCSP17/StillLife/StillLife-wst-s1/StillLife-wastage-50.xml
COMMAND LINE= java -Xmx10000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit MEMLIMIT --nbcore NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4244735-1500691351/watcher-4244735-1500691351 -o /tmp/evaluation-result-4244735-1500691351/solver-4244735-1500691351 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node149-1500684204-15326 --watchdog 2560  java -Xmx10000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed 1375595222 --timelimit 2400 --memlimit 15500 --nbcore 8 HOME/instance-4244735-1500691351.xml

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

MD5SUM BENCH= b46c08097c4951fbb159b9042bff535d
RANDOM SEED=1375595222

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

/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		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.56
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		: 1867.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.56
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		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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	: 8
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.56
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		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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		: 2000.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.56
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		: 2400.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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:

processor	: 8
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 1
initial apicid	: 1
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 9
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2133.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 17
initial apicid	: 17
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	: 10
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 3
initial apicid	: 3
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 11
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 19
initial apicid	: 19
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	: 12
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 5
initial apicid	: 5
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 13
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2400.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 21
initial apicid	: 21
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	: 14
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 7
initial apicid	: 7
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 15
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 23
initial apicid	: 23
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:        31493836 kB
MemAvailable:   31747936 kB
Buffers:          108264 kB
Cached:           426772 kB
SwapCached:            0 kB
Active:           585424 kB
Inactive:         253928 kB
Active(anon):     307300 kB
Inactive(anon):     8676 kB
Active(file):     278124 kB
Inactive(file):   245252 kB
Unevictable:        5968 kB
Mlocked:            5968 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             42212 kB
Writeback:             0 kB
AnonPages:        316204 kB
Mapped:            45208 kB
Shmem:              8848 kB
Slab:             126548 kB
SReclaimable:      93116 kB
SUnreclaim:        33432 kB
KernelStack:        4848 kB
PageTables:         5248 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1150100 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    247808 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      140672 kB
DirectMap2M:    33404928 kB

Free space on /tmp at the end= 61940 MiB
End job on node149 at 2017-07-22 05:21:40