Trace number 4244736

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 - Hybrid 2017-06-30SAT (TO)751 2400.06 2305.13

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.43/0.32	c version: 2017-06-30
0.43/0.32	c seed: 1281457231
0.43/0.32	c timeout: 2400
0.43/0.32	c memlimit: 15500
0.43/0.32	c nbcore: 8
0.43/0.34	c Parsing instance...
8.17/3.08	c Parsing done, starting first complete search...
121.43/113.61	o 430
121.43/113.62	o 431
121.43/113.62	o 432
121.43/113.63	o 433
121.43/113.63	o 434
121.43/113.64	o 435
121.43/113.64	o 436
121.43/113.65	o 437
121.43/113.65	o 438
121.43/113.65	o 439
121.43/113.65	o 440
121.43/113.66	o 441
121.43/113.66	o 442
121.43/113.66	o 443
121.43/113.67	o 444
121.43/113.67	o 445
121.43/113.67	o 446
121.43/113.67	o 447
121.43/113.68	o 448
121.43/113.68	o 449
121.43/113.68	o 450
121.43/113.68	o 451
121.43/113.69	o 452
121.43/113.69	o 453
121.43/113.69	o 454
121.43/113.69	o 455
121.43/113.69	o 456
121.43/113.70	o 457
121.73/113.70	o 458
121.73/113.70	o 459
121.73/113.70	o 460
121.73/113.71	o 461
121.73/113.71	o 462
121.73/113.71	o 463
121.73/113.71	o 464
121.73/113.72	o 465
121.73/113.72	o 466
121.73/113.72	o 467
121.73/113.72	o 468
121.73/113.73	o 469
121.73/113.73	o 470
121.73/113.73	o 471
121.73/113.74	o 472
121.73/113.74	o 473
121.73/113.74	o 474
121.73/113.74	o 475
121.73/113.74	o 476
121.73/113.75	o 477
121.73/113.75	o 478
121.73/113.75	o 479
121.73/113.75	o 480
121.73/113.76	o 481
121.73/113.76	o 482
121.73/113.76	o 483
121.73/113.76	o 484
121.73/113.77	o 485
121.73/113.77	o 486
121.73/113.77	o 487
121.73/113.77	o 488
121.73/113.77	o 489
121.73/113.78	o 490
121.73/113.78	o 491
121.73/113.78	o 492
121.73/113.78	o 493
121.73/113.79	o 494
121.73/113.79	o 495
121.73/113.79	o 496
121.73/113.79	o 497
121.73/113.79	o 498
121.73/113.80	o 499
122.06/113.80	o 500
122.06/113.80	o 501
122.06/113.80	o 502
122.06/113.80	o 503
122.06/113.81	o 504
122.06/113.81	o 505
122.06/113.81	o 506
122.06/113.81	o 507
122.06/113.82	o 508
122.06/113.82	o 509
122.06/113.82	o 510
122.06/113.82	o 511
122.06/113.83	o 512
122.06/113.83	o 513
122.06/113.83	o 514
122.06/113.83	o 515
122.06/113.83	o 516
122.06/113.84	o 517
122.06/113.84	o 518
122.06/113.84	o 519
122.06/113.84	o 520
122.06/113.85	o 521
122.06/113.85	o 522
122.06/113.85	o 523
122.06/113.85	o 524
122.06/113.86	o 525
122.06/113.86	o 526
122.06/113.86	o 527
122.06/113.86	o 528
122.06/113.87	o 529
122.06/113.87	o 530
122.06/113.87	o 531
122.06/113.87	o 532
122.06/113.88	o 533
122.06/113.88	o 534
122.06/113.88	o 535
122.06/113.88	o 536
122.06/113.89	o 537
122.06/113.89	o 538
122.06/113.89	o 539
122.06/113.89	o 540
122.06/113.89	o 541
122.06/113.90	o 542
122.27/113.90	o 543
122.27/113.90	o 544
122.27/113.90	o 545
122.27/113.90	o 546
122.27/113.91	o 547
122.27/113.91	o 548
122.27/113.91	o 549
122.27/113.91	o 550
122.27/113.91	o 551
122.27/113.92	o 552
122.27/113.92	o 553
122.27/113.92	o 554
122.27/113.92	o 555
122.27/113.93	o 556
122.27/113.93	o 557
122.27/113.93	o 558
122.27/113.93	o 559
122.27/113.94	o 560
122.27/113.94	o 561
122.27/113.94	o 562
122.27/113.94	o 563
122.27/113.95	o 564
122.27/113.95	o 565
122.27/113.95	o 566
122.27/113.95	o 567
122.27/113.95	o 568
122.27/113.96	o 569
122.27/113.96	o 570
122.27/113.96	o 571
122.27/113.96	o 572
122.27/113.96	o 573
122.27/113.97	o 574
122.27/113.97	o 575
122.27/113.97	o 576
122.27/113.97	o 577
122.27/113.98	o 578
122.27/113.98	o 579
122.27/113.98	o 580
122.27/113.98	o 581
122.27/113.98	o 582
122.27/113.99	o 583
122.27/113.99	o 584
122.27/113.99	o 585
122.27/113.99	o 586
122.27/113.99	o 587
122.27/114.00	o 588
122.42/114.00	o 589
122.42/114.00	o 590
122.42/114.00	o 591
122.42/114.00	o 592
122.42/114.01	o 593
122.42/114.01	o 594
122.42/114.01	o 595
122.42/114.01	o 596
122.42/114.01	o 597
122.42/114.02	o 598
122.42/114.02	o 599
122.42/114.02	o 600
122.42/114.02	o 601
122.42/114.03	o 602
122.42/114.03	o 603
122.42/114.03	o 604
122.42/114.03	o 605
122.42/114.03	o 606
122.42/114.04	o 607
122.42/114.04	o 608
122.42/114.04	o 609
122.42/114.04	o 610
122.42/114.05	o 611
122.42/114.05	o 612
122.42/114.05	o 613
122.42/114.05	o 614
122.42/114.06	o 615
122.42/114.06	o 616
122.42/114.06	o 617
122.42/114.07	o 618
122.42/114.07	o 619
122.42/114.07	o 620
122.42/114.07	o 621
122.42/114.08	o 622
122.42/114.08	o 623
122.42/114.08	o 624
122.42/114.09	o 625
122.42/114.09	o 626
122.42/114.09	o 627
122.42/114.10	o 628
122.54/114.10	o 629
122.54/114.10	o 630
122.54/114.10	o 631
122.54/114.11	o 632
122.54/114.11	o 633
122.54/114.11	o 634
122.54/114.12	o 635
122.54/114.12	o 636
122.54/114.12	o 637
122.54/114.12	o 638
122.54/114.13	o 639
122.54/114.13	o 640
122.54/114.13	o 641
122.54/114.14	o 642
122.54/114.14	o 643
122.54/114.14	o 644
122.54/114.14	o 645
122.54/114.15	o 646
122.54/114.15	o 647
122.54/114.15	o 648
122.54/114.16	o 649
122.54/114.16	o 650
122.54/114.16	o 651
122.54/114.17	o 652
122.54/114.17	o 653
122.54/114.17	o 654
122.54/114.18	o 655
122.54/114.18	o 656
122.54/114.18	o 657
122.54/114.19	o 658
122.54/114.19	o 659
122.54/114.19	o 660
122.54/114.20	o 661
122.66/114.20	o 662
122.66/114.20	o 663
122.66/114.21	o 664
122.66/114.21	o 665
122.66/114.21	o 666
122.66/114.22	o 667
122.66/114.22	o 668
122.66/114.22	o 669
122.66/114.23	o 670
122.66/114.23	o 671
122.66/114.23	o 672
122.66/114.24	o 673
122.66/114.24	o 674
122.66/114.24	o 675
122.66/114.25	o 676
122.66/114.25	o 677
122.66/114.25	o 678
122.66/114.26	o 679
122.66/114.26	o 680
122.66/114.27	o 681
122.66/114.27	o 682
122.66/114.27	o 683
122.66/114.28	o 684
122.66/114.28	o 685
122.66/114.28	o 686
122.66/114.29	o 687
122.66/114.30	o 688
122.77/114.30	o 689
122.77/114.31	o 690
122.77/114.31	o 691
122.77/114.32	o 692
122.77/114.33	o 693
131.88/123.28	o 694
131.88/123.29	o 695
136.76/127.92	o 696
251.68/242.30	c First complete search done, starting ALNS search...
418.46/404.45	o 697
452.04/437.59	o 700
463.69/448.93	o 704
556.42/538.11	o 705
612.74/591.82	o 706
613.94/593.01	o 707
616.27/595.24	o 711
619.67/597.64	o 713
622.07/600.07	o 717
624.08/601.99	o 719
626.40/604.16	o 721
628.60/606.37	o 725
630.97/608.55	o 726
633.20/610.69	o 728
635.61/612.92	o 730
638.34/615.50	o 734
641.17/618.24	o 735
644.47/621.39	o 739
647.49/624.13	o 746
650.72/627.21	o 747
655.56/631.83	o 748
656.16/632.45	o 751
1990.10/1916.84	c ALNS done, starting second complete search
1990.10/1916.84	c Best operator: ValGuided(1365,MinGroup)_ExtOriented(valLearnMin) with improvement of: 52
2400.01/2305.10	s SATISFIABLE
2400.01/2305.11	v <instantiation>
2400.01/2305.11	v 	<list>
2400.01/2305.11	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.01/2305.11	v 	</list>
2400.01/2305.11	v 	<values>
2400.01/2305.11	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 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 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 0 0 0 0 0 0 0 0 0 0 0 1 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 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 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 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 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 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 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 1 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 1 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 0 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 1 0 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 1 0 1 1 0 0 0 0 0 1 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 0 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 1 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 0 1 0 0 0 0 0 0 1 1 1 1 1 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 1 0 1 0 1 1 1 1 1 0 0 0 1 0 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 0 0 1 0 1 0 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 1 0 1 0 1 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 0 1 0 1 0 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 1 0 0 1 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 0 0 0 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 0 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 1 0 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 1 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 1 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 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 0 1 2 2 2 2 2 2 2 2 2 1 0 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 1 1 2 2 2 2 2 2 2 2 2 1 0 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 1 1 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 1 0 0 1 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 0 0 0 2 1 2 2 2 2 2 2 2 2 1 0 0 1 2 2 2 2 2 2 2 2 1 0 0 1 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 0 2 0 1 1 2 2 2 2 2 2 2 1 0 0 1 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 2 0 0 0 1 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 1 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 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 0 1 0 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 1 1 2 2 2 2 2 2 2 2 2 2 2 2 0 0 2 1 1 2 2 2 2 2 1 1 2 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 0 0 0 2 2 2 2 2 2 2 2 2 2 0 0 2 0 0 2 2 2 2 2 2 1 1 0 1 0 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 1 0 2 1 1 2 2 2 2 2 2 2 2 0 0 2 0 0 2 2 2 2 2 2 2 1 0 1 2 1 1 2 2 2 2 2 2 1 0 0 1 2 2 2 2 2 2 2 2 2 2 2 2 0 1 0 2 2 2 2 2 2 2 2 0 0 2 0 0 2 2 2 2 2 2 2 2 1 1 0 1 0 2 2 2 2 2 2 2 1 0 0 1 2 2 2 2 2 2 2 2 2 2 2 2 2 1 2 2 2 2 2 2 2 2 0 0 2 0 0 2 2 2 2 2 2 2 2 2 1 1 2 1 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 1 1 2 0 0 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 0 1 0 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 1 2 1 1 2 1 2 1 2 2 2 1 1 1 1 1 1 2 1 1 2 1 2 2 2 1 2 1 2 2 1 1 2 1 2 2 1 1 2 1 2 2 1 1 2 1 2 2 1 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 1 0 0 0 1 1 1 1 0 0 1 0 0 0 0 0 1 1 1 1 0 0 0 1 1 0 0 0 0 0 0 1 0 1 0 1 0 0 1 0 0 0 0 0 0 1 1 1 0 0 0 1 1 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 1 0 1 1 1 0 1 0 0 1 1 0 1 1 0 0 0 0 0 1 1 0 1 0 1 0 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 0 0 0 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 0 0 1 0 0 0 0 1 1 1 0 0 0 0 0 1 0 0 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 0 0 0 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 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 1 0 0 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 0 0 0 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 0 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 1 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 1 0 0 0 1 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 1 0 1 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 0 0 1 0 0 0 1 0 0 0 0 0 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 1 0 0 0 0 0 0 0 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 2 0 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 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 2 2 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 1 2 1 0 2 0 0 0 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 1 0 0 0 0 0 0 0 0 1 2 1 2 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 1 1 0 0 0 0 0 0 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 1 0 1 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 1 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 1 1 2 1 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 2 2 2 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 1 1 2 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 0 1 2 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 0 2 0 1 2 1 1 0 0 0 1 1 1 0 2 0 1 0 1 0 1 0 1 1 1 2 0 1 2 2 2 0 1 0 0 0 0 0 1 0 1 0 0 1 0 1 0 2 1 1 2 1 0 0 0 2 2 2 0 1 0 1 1 2 0 1 0 2 1 2 0 1 0 2 2 2 0 0 0 1 2 2 2 2 1 0 1 0 0 0 0 1 0 0 1 0 1 0 1 1 1 1 1 1 0 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 0 1 1 1 1 1 1 1 0 0 48 144 238 328 410 496 587 682 776 862 944 1023 1105 1198 1295 1390 1453 1475 1493 1518 1532 1547 1565 1575 1599 1622 1637 1661 1682 1695 1713 1721 1734 1752 1771 1789 1806 1820 1840 1854 1870 1892 1917 1932 1942 1975 2019 2057 2082 2115 2161 2196 751 
2400.01/2305.11	v 	</values>
2400.01/2305.11	v </instantiation>

Verifier Data 

OK	751

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-4244736-1500690346/watcher-4244736-1500690346 -o /tmp/evaluation-result-4244736-1500690346/solver-4244736-1500690346 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node141-1500683262-14633 --watchdog 2560 java -Xmx10000m -jar oscar-cp-xcsp3-hybrid.jar --randomseed 1281457231 --timelimit 2400 --memlimit 15500 --nbcore 8 HOME/instance-4244736-1500690346.xml 

pid=15450
running on 8 cores: 0,2,4,6,8,10,12,14

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.23 1.44 1.54 3/261 15453
/proc/meminfo: memFree=31538280/32770624 swapFree=6412/241108
[pid=15453] ppid=15450 vsize=361196 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15453/stat : 15453 (java) S 15450 15453 14602 0 -1 1077944320 1718 0 0 0 0 0 0 0 20 0 2 0 4300958 369864704 1925 33554432000 4194304 4196468 140723965597152 140723965579696 139684139962103 0 0 0 16784584 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 25546752 140723965605005 140723965605188 140723965605188 140723965607887 0
/proc/15453/statm: 90299 1925 1072 1 0 79210 0
[pid=15453/tid=15454] ppid=15450 vsize=10621200 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15453/task/15454/stat : 15454 (java) R 15450 15453 14602 0 -1 4202560 471 0 0 0 0 0 0 0 20 0 2 0 4300958 10876108800 1989 33554432000 4194304 4196468 140723965597152 139684144204192 139684132251552 0 4 0 16784584 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 25546752 140723965605005 140723965605188 140723965605188 140723965607887 0

[startup+0.100126 s]
/proc/loadavg: 1.23 1.44 1.54 3/261 15453
/proc/meminfo: memFree=31538280/32770624 swapFree=6412/241108
[pid=15453] ppid=15450 vsize=13264380 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/15453/stat : 15453 (java) S 15450 15453 14602 0 -1 1077944320 5160 0 0 0 8 1 0 0 20 0 20 0 4300958 13582725120 5720 33554432000 4194304 4196468 140723965597152 140723965579696 139684139962103 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 25546752 140723965605005 140723965605188 140723965605188 140723965607887 0
/proc/15453/statm: 3316095 5786 3032 1 0 3303815 0
[pid=15453/tid=15454] ppid=15450 vsize=13264380 CPUtime=0.08 cores=0,2,4,6,8,10,12,14
/proc/15453/task/15454/stat : 15454 (java) R 15450 15453 14602 0 -1 4202560 3249 0 0 0 7 1 0 0 20 0 20 0 4300958 13582725120 5786 33554432000 4194304 4196468 140723965597152 139684144204384 139684096597878 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 25546752 140723965605005 140723965605188 140723965605188 140723965607887 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13264380

[startup+0.200358 s]
/proc/loadavg: 1.23 1.44 1.54 3/261 15453
/proc/meminfo: memFree=31538280/32770624 swapFree=6412/241108
[pid=15453] ppid=15450 vsize=13263912 CPUtime=0.26 cores=0,2,4,6,8,10,12,14
/proc/15453/stat : 15453 (java) S 15450 15453 14602 0 -1 1077944320 8676 0 0 0 24 2 0 0 20 0 20 0 4300958 13582245888 8732 33554432000 4194304 4196468 140723965597152 140723965579696 139684139962103 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 25546752 140723965605005 140723965605188 140723965605188 140723965607887 0
/proc/15453/statm: 3315978 8732 3542 1 0 3303698 0
[pid=15453/tid=15454] ppid=15450 vsize=13263912 CPUtime=0.18 cores=0,2,4,6,8,10,12,14
/proc/15453/task/15454/stat : 15454 (java) R 15450 15453 14602 0 -1 4202560 6403 0 0 0 16 2 0 0 20 0 20 0 4300958 13582245888 8732 33554432000 4194304 4196468 140723965597152 139684144177808 139684096564031 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 25546752 140723965605005 140723965605188 140723965605188 140723965607887 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 13263912

[startup+0.30044 s]
/proc/loadavg: 1.23 1.44 1.54 3/261 15453
/proc/meminfo: memFree=31538280/32770624 swapFree=6412/241108
[pid=15453] ppid=15450 vsize=13263912 CPUtime=0.43 cores=0,2,4,6,8,10,12,14
/proc/15453/stat : 15453 (java) S 15450 15453 14602 0 -1 1077944320 9760 0 0 0 39 4 0 0 20 0 20 0 4300958 13582245888 10436 33554432000 4194304 4196468 140723965597152 140723965579696 139684139962103 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 25546752 140723965605005 140723965605188 140723965605188 140723965607887 0
/proc/15453/statm: 3315978 10436 3619 1 0 3303698 0
[pid=15453/tid=15454] ppid=15450 vsize=13263912 CPUtime=0.27 cores=0,2,4,6,8,10,12,14
/proc/15453/task/15454/stat : 15454 (java) R 15450 15453 14602 0 -1 4202560 7128 0 0 0 24 3 0 0 20 0 20 0 4300958 13582245888 10436 33554432000 4194304 4196468 140723965597152 139684144175520 139684124042590 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 25546752 140723965605005 140723965605188 140723965605188 140723965607887 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 13263912

[startup+0.700407 s]
/proc/loadavg: 1.23 1.44 1.54 3/261 15453
/proc/meminfo: memFree=31538280/32770624 swapFree=6412/241108
[pid=15453] ppid=15450 vsize=13265980 CPUtime=1.47 cores=0,2,4,6,8,10,12,14
/proc/15453/stat : 15453 (java) S 15450 15453 14602 0 -1 1077944320 12859 0 0 0 141 6 0 0 20 0 20 0 4300958 13584363520 19246 33554432000 4194304 4196468 140723965597152 140723965579696 139684139962103 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 25546752 140723965605005 140723965605188 140723965605188 140723965607887 0
/proc/15453/statm: 3316495 19246 3763 1 0 3304210 0
[pid=15453/tid=15454] ppid=15450 vsize=13265980 CPUtime=0.67 cores=0,2,4,6,8,10,12,14
/proc/15453/task/15454/stat : 15454 (java) R 15450 15453 14602 0 -1 4202560 8445 0 0 0 63 4 0 0 20 0 20 0 4300958 13584363520 19246 33554432000 4194304 4196468 140723965597152 139684144196608 139683761783497 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 25546752 140723965605005 140723965605188 140723965605188 140723965607887 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 13265980

[startup+1.50073 s]
/proc/loadavg: 1.23 1.44 1.54 6/281 15473
/proc/meminfo: memFree=31408156/32770624 swapFree=6412/241464
[pid=15453] ppid=15450 vsize=13270076 CPUtime=4.48 cores=0,2,4,6,8,10,12,14
/proc/15453/stat : 15453 (java) S 15450 15453 14602 0 -1 1077944320 29665 0 0 0 438 10 0 0 20 0 20 0 4300958 13588557824 46549 33554432000 4194304 4196468 140723965597152 140723965579696 139684139962103 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 25546752 140723965605005 140723965605188 140723965605188 140723965607887 0
/proc/15453/statm: 3317519 46549 3796 1 0 3305234 0
[pid=15453/tid=15454] ppid=15450 vsize=13270076 CPUtime=1.47 cores=0,2,4,6,8,10,12,14
/proc/15453/task/15454/stat : 15454 (java) R 15450 15453 14602 0 -1 4202560 12125 0 0 0 141 6 0 0 20 0 20 0 4300958 13588557824 46549 33554432000 4194304 4196468 140723965597152 139684144195096 139683762050176 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 25546752 140723965605005 140723965605188 140723965605188 140723965607887 0
[pid=15453/tid=15456] ppid=15450 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15453/task/15456/stat : 15456 (java) S 15450 15453 14602 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4300959 13588557824 46549 33554432000 4194304 4196468 140723965597152 139684092582416 139684139972309 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25546752 140723965605005 140723965605188 140723965605188 140723965607887 0
[pid=15453/tid=15457] ppid=15450 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15453/task/15457/stat : 15457 (java) S 15450 15453 14602 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4300959 13588557824 46549 33554432000 4194304 4196468 140723965597152 139684091529872 139684139972309 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25546752 140723965605005 140723965605188 140723965605188 140723965607887 0
[pid=15453/tid=15458] ppid=15450 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15453/task/15458/stat : 15458 (java) S 15450 15453 14602 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 4300959 13588557824 46549 33554432000 4194304 4196468 140723965597152 139684090476816 139684139972309 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25546752 140723965605005 140723965605188 140723965605188 140723965607887 0
[pid=15453/tid=15459] ppid=15450 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15453/task/15459/stat : 15459 (java) S 15450 15453 14602 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4300959 13588557824 46549 33554432000 4194304 4196468 140723965597152 139684089424272 139684139972309 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25546752 140723965605005 140723965605188 140723965605188 140723965607887 0
[pid=15453/tid=15460] ppid=15450 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15453/task/15460/stat : 15460 (java) S 15450 15453 14602 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 4300959 13588557824 46549 33554432000 4194304 4196468 140723965597152 139684088372240 139684139972309 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 25546752 140723965605005 140723965605188 140723965605188 140723965607887 0
[pid=15453/tid=15461] ppid=15450 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15453/task/15461/stat : 15461 (java) S 15450 15453 14602 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 4300959 13588557824 46549 33554432000 4194304 4196468 140723965597152 139684087319696 139684139972309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25546752 140723965605005 140723965605188 140723965605188 140723965607887 0
[pid=15453/tid=15462] ppid=15450 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15453/task/15462/stat : 15462 (java) S 15450 15453 14602 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 4300959 13588557824 46549 33554432000 4194304 4196468 140723965597152 139684086266640 139684139972309 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 25546752 140723965605005 140723965605188 140723965605188 140723965607887 0
[pid=15453/tid=15463] ppid=15450 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15453/task/15463/stat : 15463 (java) S 15450 15453 14602 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4300959 13588557824 46549 33554432000 4194304 4196468 140723965597152 139684085214096 139684139972309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25546752 140723965605005 140723965605188 140723965605188 140723965607887 0
[pid=15453/tid=15464] ppid=15450 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15453/task/15464/stat : 15464 (java) S 15450 15453 14602 0 -1 1077944384 256 0 0 0 0 0 0 0 20 0 20 0 4300961 13588557824 46549 33554432000 4194304 4196468 140723965597152 139683602327792 139684139973250 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25546752 140723965605005 140723965605188 140723965605188 140723965607887 0
[pid=15453/tid=15465] ppid=15450 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15453/task/15465/stat : 15465 (java) S 15450 15453 14602 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 4300962 13588557824 46549 33554432000 4194304 4196468 140723965597152 139683601274016 139684139972309 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 25546752 140723965605005 140723965605188 140723965605188 140723965607887 0
[pid=15453/tid=15466] ppid=15450 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15453/task/15466/stat : 15466 (java) S 15450 15453 14602 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 4300962 13588557824 46549 33554432000 4194304 4196468 140723965597152 139683600220912 139684139972309 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 25546752 140723965605005 140723965605188 140723965605188 140723965607887 0
[pid=15453/tid=15467] ppid=15450 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15453/task/15467/stat : 15467 (java) S 15450 15453 14602 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4300966 13588557824 46549 33554432000 4194304 4196468 140723965597152 139683599169488 139684139980699 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 25546752 140723965605005 140723965605188 140723965605188 140723965607887 0
[pid=15453/tid=15468] ppid=15450 vsize=13270076 CPUtime=0.66 cores=0,2,4,6,8,10,12,14
/proc/15453/task/15468/stat : 15468 (java) R 15450 15453 14602 0 -1 4202560 3215 0 0 0 65 1 0 0 20 0 20 0 4300966 13588557824 46549 33554432000 4194304 4196468 140723965597152 139683598099456 139684124889657 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 25546752 140723965605005 140723965605188 140723965605188 140723965607887 0
[pid=15453/tid=15469] ppid=15450 vsize=13270076 CPUtime=0.73 cores=0,2,4,6,8,10,12,14
/proc/15453/task/15469/stat : 15469 (java) R 15450 15453 14602 0 -1 4202560 3511 0 0 0 73 0 0 0 20 0 20 0 4300966 13588557824 46549 33554432000 4194304 4196468 140723965597152 139683597048464 139684125979712 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25546752 140723965605005 140723965605188 140723965605188 140723965607887 0
[pid=15453/tid=15470] ppid=15450 vsize=13270076 CPUtime=0.75 cores=0,2,4,6,8,10,12,14
/proc/15453/task/15470/stat : 15470 (java) R 15450 15453 14602 0 -1 4202560 5908 0 0 0 75 0 0 0 20 0 20 0 4300966 13588557824 46549 33554432000 4194304 4196468 140723965597152 139683595997328 139684123461090 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 25546752 140723965605005 140723965605188 140723965605188 140723965607887 0
[pid=15453/tid=15471] ppid=15450 vsize=13270076 CPUtime=0.83 cores=0,2,4,6,8,10,12,14
/proc/15453/task/15471/stat : 15471 (java) R 15450 15453 14602 0 -1 4202560 3256 0 0 0 82 1 0 0 20 0 20 0 4300966 13588557824 46549 33554432000 4194304 4196468 140723965597152 139683594957432 139684125127742 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 25546752 140723965605005 140723965605188 140723965605188 140723965607887 0
[pid=15453/tid=15472] ppid=15450 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15453/task/15472/stat : 15472 (java) S 15450 15453 14602 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4300967 13588557824 46549 33554432000 4194304 4196468 140723965597152 139683593906656 139684139972309 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 25546752 140723965605005 140723965605188 140723965605188 140723965607887 0
[pid=15453/tid=15473] ppid=15450 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15453/task/15473/stat : 15473 (java) S 15450 15453 14602 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 4300967 13588557824 46549 33554432000 4194304 4196468 140723965597152 139683592854192 139684139973250 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25546752 140723965605005 140723965605188 140723965605188 140723965607887 0
Current children cumulated CPU time (s) 4.48
Current children cumulated vsize (KiB) 13270076

[startup+3.1007 s]
/proc/loadavg: 1.23 1.44 1.54 10/281 15473
/proc/meminfo: memFree=31143368/32770624 swapFree=6412/241464
[pid=15453] ppid=15450 vsize=13270076 CPUtime=8.35 cores=0,2,4,6,8,10,12,14
/proc/15453/stat : 15453 (java) S 15450 15453 14602 0 -1 1077944320 35370 0 0 0 738 97 0 0 20 0 20 0 4300958 13588557824 134488 33554432000 4194304 4196468 140723965597152 140723965579696 139684139962103 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 25546752 140723965605005 140723965605188 140723965605188 140723965607887 0
/proc/15453/statm: 3317519 134488 3824 1 0 3305234 0
[pid=15453/tid=15454] ppid=15450 vsize=13270076 CPUtime=2.84 cores=0,2,4,6,8,10,12,14
/proc/15453/task/15454/stat : 15454 (java) R 15450 15453 14602 0 -1 4202560 12847 0 0 0 276 8 0 0 20 0 20 0 4300958 13588557824 134488 33554432000 4194304 4196468 140723965597152 139684144190432 139683761782852 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25546752 140723965605005 140723965605188 140723965605188 140723965607887 0
[pid=15453/tid=15456] ppid=15450 vsize=13270076 CPUtime=0.17 cores=0,2,4,6,8,10,12,14
/proc/15453/task/15456/stat : 15456 (java) S 15450 15453 14602 0 -1 1077944384 116 0 0 0 8 9 0 0 20 0 20 0 4300959 13588557824 134488 33554432000 4194304 4196468 140723965597152 139684092582416 139684139972309 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25546752 140723965605005 140723965605188 140723965605188 140723965607887 0
[pid=15453/tid=15457] ppid=15450 vsize=13270076 CPUtime=0.18 cores=0,2,4,6,8,10,12,14
/proc/15453/task/15457/stat : 15457 (java) S 15450 15453 14602 0 -1 1077944384 162 0 0 0 8 10 0 0 20 0 20 0 4300959 13588557824 134488 33554432000 4194304 4196468 140723965597152 139684091529872 139684139972309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25546752 140723965605005 140723965605188 140723965605188 140723965607887 0
[pid=15453/tid=15458] ppid=15450 vsize=13270076 CPUtime=0.16 cores=0,2,4,6,8,10,12,14
/proc/15453/task/15458/stat : 15458 (java) S 15450 15453 14602 0 -1 1077944384 122 0 0 0 7 9 0 0 20 0 20 0 4300959 13588557824 134488 33554432000 4194304 4196468 140723965597152 139684090476816 139684139972309 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 25546752 140723965605005 140723965605188 140723965605188 140723965607887 0
[pid=15453/tid=15459] ppid=15450 vsize=13270076 CPUtime=0.18 cores=0,2,4,6,8,10,12,14
/proc/15453/task/15459/stat : 15459 (java) S 15450 15453 14602 0 -1 1077944384 206 0 0 0 8 10 0 0 20 0 20 0 4300959 13588557824 134488 33554432000 4194304 4196468 140723965597152 139684089424272 139684139972309 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 25546752 140723965605005 140723965605188 140723965605188 140723965607887 0
[pid=15453/tid=15460] ppid=15450 vsize=13270076 CPUtime=0.19 cores=0,2,4,6,8,10,12,14
/proc/15453/task/15460/stat : 15460 (java) S 15450 15453 14602 0 -1 1077944384 190 0 0 0 8 11 0 0 20 0 20 0 4300959 13588557824 134488 33554432000 4194304 4196468 140723965597152 139684088372240 139684139972309 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25546752 140723965605005 140723965605188 140723965605188 140723965607887 0
[pid=15453/tid=15461] ppid=15450 vsize=13270076 CPUtime=0.18 cores=0,2,4,6,8,10,12,14
/proc/15453/task/15461/stat : 15461 (java) S 15450 15453 14602 0 -1 1077944384 116 0 0 0 8 10 0 0 20 0 20 0 4300959 13588557824 134488 33554432000 4194304 4196468 140723965597152 139684087319696 139684139972309 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25546752 140723965605005 140723965605188 140723965605188 140723965607887 0
[pid=15453/tid=15462] ppid=15450 vsize=13270076 CPUtime=0.19 cores=0,2,4,6,8,10,12,14
/proc/15453/task/15462/stat : 15462 (java) S 15450 15453 14602 0 -1 1077944384 147 0 0 0 8 11 0 0 20 0 20 0 4300959 13588557824 134488 33554432000 4194304 4196468 140723965597152 139684086266640 139684139972309 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 25546752 140723965605005 140723965605188 140723965605188 140723965607887 0
[pid=15453/tid=15463] ppid=15450 vsize=13270076 CPUtime=0.19 cores=0,2,4,6,8,10,12,14
/proc/15453/task/15463/stat : 15463 (java) S 15450 15453 14602 0 -1 1077944384 247 0 0 0 9 10 0 0 20 0 20 0 4300959 13588557824 134488 33554432000 4194304 4196468 140723965597152 139684085214096 139684139972309 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25546752 140723965605005 140723965605188 140723965605188 140723965607887 0
[pid=15453/tid=15464] ppid=15450 vsize=13270076 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/15453/task/15464/stat : 15464 (java) S 15450 15453 14602 0 -1 1077944384 671 0 0 0 1 0 0 0 20 0 20 0 4300961 13588557824 134488 33554432000 4194304 4196468 140723965597152 139683602327792 139684139973250 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25546752 140723965605005 140723965605188 140723965605188 140723965607887 0
[pid=15453/tid=15465] ppid=15450 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15453/task/15465/stat : 15465 (java) S 15450 15453 14602 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 20 0 4300962 13588557824 134488 33554432000 4194304 4196468 140723965597152 139683601274080 139684139972309 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 25546752 140723965605005 140723965605188 140723965605188 140723965607887 0
[pid=15453/tid=15466] ppid=15450 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15453/task/15466/stat : 15466 (java) S 15450 15453 14602 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 20 0 4300962 13588557824 134488 33554432000 4194304 4196468 140723965597152 139683600220928 139684139972309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25546752 140723965605005 140723965605188 140723965605188 140723965607887 0
[pid=15453/tid=15467] ppid=15450 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15453/task/15467/stat : 15467 (java) S 15450 15453 14602 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4300966 13588557824 134488 33554432000 4194304 4196468 140723965597152 139683599169488 139684139980699 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 25546752 140723965605005 140723965605188 140723965605188 140723965607887 0
[pid=15453/tid=15468] ppid=15450 vsize=13270076 CPUtime=0.85 cores=0,2,4,6,8,10,12,14
/proc/15453/task/15468/stat : 15468 (java) R 15450 15453 14602 0 -1 4202560 3589 0 0 0 84 1 0 0 20 0 20 0 4300966 13588557824 134488 33554432000 4194304 4196468 140723965597152 139683598117616 139684123346357 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25546752 140723965605005 140723965605188 140723965605188 140723965607887 0
[pid=15453/tid=15469] ppid=15450 vsize=13270076 CPUtime=0.98 cores=0,2,4,6,8,10,12,14
/proc/15453/task/15469/stat : 15469 (java) S 15450 15453 14602 0 -1 1077944384 3733 0 0 0 98 0 0 0 20 0 20 0 4300966 13588557824 134488 33554432000 4194304 4196468 140723965597152 139683597065072 139684139973250 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 25546752 140723965605005 140723965605188 140723965605188 140723965607887 0
[pid=15453/tid=15470] ppid=15450 vsize=13270076 CPUtime=1.11 cores=0,2,4,6,8,10,12,14
/proc/15453/task/15470/stat : 15470 (java) S 15450 15453 14602 0 -1 1077944384 6309 0 0 0 110 1 0 0 20 0 20 0 4300966 13588557824 134488 33554432000 4194304 4196468 140723965597152 139683596012016 139684139973250 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25546752 140723965605005 140723965605188 140723965605188 140723965607887 0
[pid=15453/tid=15471] ppid=15450 vsize=13270076 CPUtime=0.98 cores=0,2,4,6,8,10,12,14
/proc/15453/task/15471/stat : 15471 (java) S 15450 15453 14602 0 -1 1077944384 5483 0 0 0 97 1 0 0 20 0 20 0 4300966 13588557824 134488 33554432000 4194304 4196468 140723965597152 139683594959472 139684139973250 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25546752 140723965605005 140723965605188 140723965605188 140723965607887 0
[pid=15453/tid=15472] ppid=15450 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15453/task/15472/stat : 15472 (java) S 15450 15453 14602 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4300967 13588557824 134488 33554432000 4194304 4196468 140723965597152 139683593906656 139684139972309 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 25546752 140723965605005 140723965605188 140723965605188 140723965607887 0
[pid=15453/tid=15473] ppid=15450 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15453/task/15473/stat : 15473 (java) S 15450 15453 14602 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 20 0 4300967 13588557824 134488 33554432000 4194304 4196468 140723965597152 139683592854192 139684139973250 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25546752 140723965605005 140723965605188 140723965605188 140723965607887 0
Current children cumulated CPU time (s) 8.35
Current children cumulated vsize (KiB) 13270076

[startup+6.30079 s]
/proc/loadavg: 1.21 1.43 1.54 3/281 15473
/proc/meminfo: memFree=30750716/32770624 swapFree=6412/241464
[pid=15453] ppid=15450 vsize=13270076 CPUtime=13.43 cores=0,2,4,6,8,10,12,14
/proc/15453/stat : 15453 (java) S 15450 15453 14602 0 -1 1077944320 37140 0 0 0 1201 142 0 0 20 0 20 0 4300958 13588557824 200571 33554432000 4194304 4196468 140723965597152 140723965579696 139684139962103 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 25546752 140723965605005 140723965605188 140723965605188 140723965607887 0
/proc/15453/statm: 3317519 200571 3839 1 0 3305234 0
[pid=15453/tid=15454] ppid=15450 vsize=13270076 CPUtime=5.95 cores=0,2,4,6,8,10,12,14
/proc/15453/task/15454/stat : 15454 (java) R 15450 15453 14602 0 -1 4202560 13063 0 0 0 583 12 0 0 20 0 20 0 4300958 13588557824 200571 33554432000 4194304 4196468 140723965597152 139684144197600 139683772160694 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25546752 140723965605005 140723965605188 140723965605188 140723965607887 0
[pid=15453/tid=15456] ppid=15450 vsize=13270076 CPUtime=0.26 cores=0,2,4,6,8,10,12,14
/proc/15453/task/15456/stat : 15456 (java) S 15450 15453 14602 0 -1 1077944384 158 0 0 0 12 14 0 0 20 0 20 0 4300959 13588557824 200571 33554432000 4194304 4196468 140723965597152 139684092582416 139684139972309 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 25546752 140723965605005 140723965605188 140723965605188 140723965607887 0
[pid=15453/tid=15457] ppid=15450 vsize=13270076 CPUtime=0.28 cores=0,2,4,6,8,10,12,14
/proc/15453/task/15457/stat : 15457 (java) S 15450 15453 14602 0 -1 1077944384 209 0 0 0 13 15 0 0 20 0 20 0 4300959 13588557824 200571 33554432000 4194304 4196468 140723965597152 139684091529872 139684139972309 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25546752 140723965605005 140723965605188 140723965605188 140723965607887 0
[pid=15453/tid=15458] ppid=15450 vsize=13270076 CPUtime=0.26 cores=0,2,4,6,8,10,12,14
/proc/15453/task/15458/stat : 15458 (java) S 15450 15453 14602 0 -1 1077944384 174 0 0 0 12 14 0 0 20 0 20 0 4300959 13588557824 200571 33554432000 4194304 4196468 140723965597152 139684090476816 139684139972309 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 25546752 140723965605005 140723965605188 140723965605188 140723965607887 0
[pid=15453/tid=15459] ppid=15450 vsize=13270076 CPUtime=0.28 cores=0,2,4,6,8,10,12,14
/proc/15453/task/15459/stat : 15459 (java) S 15450 15453 14602 0 -1 1077944384 256 0 0 0 12 16 0 0 20 0 20 0 4300959 13588557824 200571 33554432000 4194304 4196468 140723965597152 139684089424272 139684139972309 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 25546752 140723965605005 140723965605188 140723965605188 140723965607887 0
[pid=15453/tid=15460] ppid=15450 vsize=13270076 CPUtime=0.28 cores=0,2,4,6,8,10,12,14
/proc/15453/task/15460/stat : 15460 (java) S 15450 15453 14602 0 -1 1077944384 233 0 0 0 12 16 0 0 20 0 20 0 4300959 13588557824 200571 33554432000 4194304 4196468 140723965597152 139684088372240 139684139972309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25546752 140723965605005 140723965605188 140723965605188 140723965607887 0
[pid=15453/tid=15461] ppid=15450 vsize=13270076 CPUtime=0.27 cores=0,2,4,6,8,10,12,14
/proc/15453/task/15461/stat : 15461 (java) S 15450 15453 14602 0 -1 1077944384 165 0 0 0 12 15 0 0 20 0 20 0 4300959 13588557824 200571 33554432000 4194304 4196468 140723965597152 139684087319696 139684139972309 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25546752 140723965605005 140723965605188 140723965605188 140723965607887 0
[pid=15453/tid=15462] ppid=15450 vsize=13270076 CPUtime=0.29 cores=0,2,4,6,8,10,12,14
/proc/15453/task/15462/stat : 15462 (java) S 15450 15453 14602 0 -1 1077944384 199 0 0 0 13 16 0 0 20 0 20 0 4300959 13588557824 200571 33554432000 4194304 4196468 140723965597152 139684086266640 139684139972309 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 25546752 140723965605005 140723965605188 140723965605188 140723965607887 0
[pid=15453/tid=15463] ppid=15450 vsize=13270076 CPUtime=0.28 cores=0,2,4,6,8,10,12,14
/proc/15453/task/15463/stat : 15463 (java) S 15450 15453 14602 0 -1 1077944384 295 0 0 0 13 15 0 0 20 0 20 0 4300959 13588557824 200571 33554432000 4194304 4196468 140723965597152 139684085214096 139684139972309 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25546752 140723965605005 140723965605188 140723965605188 140723965607887 0
[pid=15453/tid=15464] ppid=15450 vsize=13270076 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/15453/task/15464/stat : 15464 (java) S 15450 15453 14602 0 -1 1077944384 1005 0 0 0 2 0 0 0 20 0 20 0 4300961 13588557824 200571 33554432000 4194304 4196468 140723965597152 139683602327792 139684139973250 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25546752 140723965605005 140723965605188 140723965605188 140723965607887 0
[pid=15453/tid=15465] ppid=15450 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15453/task/15465/stat : 15465 (java) S 15450 15453 14602 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 20 0 4300962 13588557824 200571 33554432000 4194304 4196468 140723965597152 139683601274080 139684139972309 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 25546752 140723965605005 140723965605188 140723965605188 140723965607887 0
[pid=15453/tid=15466] ppid=15450 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15453/task/15466/stat : 15466 (java) S 15450 15453 14602 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 20 0 4300962 13588557824 200571 33554432000 4194304 4196468 140723965597152 139683600220928 139684139972309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25546752 140723965605005 140723965605188 140723965605188 140723965607887 0
[pid=15453/tid=15467] ppid=15450 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14

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

[pid=15453/tid=15469] ppid=15450 vsize=13270076 CPUtime=2.7 cores=0,2,4,6,8,10,12,14
/proc/15453/task/15469/stat : 15469 (java) S 15450 15453 14602 0 -1 1077944384 24769 0 0 0 268 2 0 0 20 0 20 0 4300966 13588557824 716114 33554432000 4194304 4196468 140723965597152 139683597065072 139684139973250 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25546752 140723965605005 140723965605188 140723965605188 140723965607887 0
[pid=15453/tid=15470] ppid=15450 vsize=13270076 CPUtime=2.77 cores=0,2,4,6,8,10,12,14
/proc/15453/task/15470/stat : 15470 (java) S 15450 15453 14602 0 -1 1077944384 22979 0 0 0 275 2 0 0 20 0 20 0 4300966 13588557824 716114 33554432000 4194304 4196468 140723965597152 139683596012016 139684139973250 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25546752 140723965605005 140723965605188 140723965605188 140723965607887 0
[pid=15453/tid=15471] ppid=15450 vsize=13270076 CPUtime=1.51 cores=0,2,4,6,8,10,12,14
/proc/15453/task/15471/stat : 15471 (java) S 15450 15453 14602 0 -1 1077944384 34635 0 0 0 147 4 0 0 20 0 20 0 4300966 13588557824 716114 33554432000 4194304 4196468 140723965597152 139683594959472 139684139973250 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 25546752 140723965605005 140723965605188 140723965605188 140723965607887 0
[pid=15453/tid=15472] ppid=15450 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15453/task/15472/stat : 15472 (java) S 15450 15453 14602 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4300967 13588557824 716114 33554432000 4194304 4196468 140723965597152 139683593906656 139684139972309 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 25546752 140723965605005 140723965605188 140723965605188 140723965607887 0
[pid=15453/tid=15473] ppid=15450 vsize=13270076 CPUtime=1.07 cores=0,2,4,6,8,10,12,14
/proc/15453/task/15473/stat : 15473 (java) S 15450 15453 14602 0 -1 1077944384 1606 0 0 0 57 50 0 0 20 0 20 0 4300967 13588557824 716114 33554432000 4194304 4196468 140723965597152 139683592854192 139684139973250 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25546752 140723965605005 140723965605188 140723965605188 140723965607887 0
Current children cumulated CPU time (s) 2291.32
Current children cumulated vsize (KiB) 13270076

[startup+2262.3 s]
/proc/loadavg: 1.13 1.48 1.56 3/283 15654
/proc/meminfo: memFree=27656052/32770624 swapFree=6412/244000
[pid=15453] ppid=15450 vsize=13270076 CPUtime=2355.14 cores=0,2,4,6,8,10,12,14
/proc/15453/stat : 15453 (java) S 15450 15453 14602 0 -1 1077944320 366160 0 0 0 234914 600 0 0 20 0 20 0 4300958 13588557824 694212 33554432000 4194304 4196468 140723965597152 140723965579696 139684139962103 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 25546752 140723965605005 140723965605188 140723965605188 140723965607887 0
/proc/15453/statm: 3317519 694212 3869 1 0 3305234 0
[pid=15453/tid=15454] ppid=15450 vsize=13270076 CPUtime=2247.61 cores=0,2,4,6,8,10,12,14
/proc/15453/task/15454/stat : 15454 (java) S 15450 15453 14602 0 -1 1077944384 123834 0 0 0 224672 89 0 0 20 0 20 0 4300958 13588557824 694212 33554432000 4194304 4196468 140723965597152 139684144200288 139684139972309 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25546752 140723965605005 140723965605188 140723965605188 140723965607887 0
[pid=15453/tid=15456] ppid=15450 vsize=13270076 CPUtime=12.03 cores=0,2,4,6,8,10,12,14
/proc/15453/task/15456/stat : 15456 (java) S 15450 15453 14602 0 -1 1077944384 12404 0 0 0 1150 53 0 0 20 0 20 0 4300959 13588557824 694212 33554432000 4194304 4196468 140723965597152 139684092582416 139684139972309 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 25546752 140723965605005 140723965605188 140723965605188 140723965607887 0
[pid=15453/tid=15457] ppid=15450 vsize=13270076 CPUtime=11.97 cores=0,2,4,6,8,10,12,14
/proc/15453/task/15457/stat : 15457 (java) S 15450 15453 14602 0 -1 1077944384 10898 0 0 0 1143 54 0 0 20 0 20 0 4300959 13588557824 694212 33554432000 4194304 4196468 140723965597152 139684091529872 139684139972309 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25546752 140723965605005 140723965605188 140723965605188 140723965607887 0
[pid=15453/tid=15458] ppid=15450 vsize=13270076 CPUtime=11.9 cores=0,2,4,6,8,10,12,14
/proc/15453/task/15458/stat : 15458 (java) S 15450 15453 14602 0 -1 1077944384 11280 0 0 0 1137 53 0 0 20 0 20 0 4300959 13588557824 694212 33554432000 4194304 4196468 140723965597152 139684090476832 139684139972309 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 25546752 140723965605005 140723965605188 140723965605188 140723965607887 0
[pid=15453/tid=15459] ppid=15450 vsize=13270076 CPUtime=11.85 cores=0,2,4,6,8,10,12,14
/proc/15453/task/15459/stat : 15459 (java) S 15450 15453 14602 0 -1 1077944384 12317 0 0 0 1130 55 0 0 20 0 20 0 4300959 13588557824 694212 33554432000 4194304 4196468 140723965597152 139684089424272 139684139972309 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 25546752 140723965605005 140723965605188 140723965605188 140723965607887 0
[pid=15453/tid=15460] ppid=15450 vsize=13270076 CPUtime=11.99 cores=0,2,4,6,8,10,12,14
/proc/15453/task/15460/stat : 15460 (java) S 15450 15453 14602 0 -1 1077944384 8952 0 0 0 1143 56 0 0 20 0 20 0 4300959 13588557824 694212 33554432000 4194304 4196468 140723965597152 139684088372240 139684139972309 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 25546752 140723965605005 140723965605188 140723965605188 140723965607887 0
[pid=15453/tid=15461] ppid=15450 vsize=13270076 CPUtime=11.9 cores=0,2,4,6,8,10,12,14
/proc/15453/task/15461/stat : 15461 (java) S 15450 15453 14602 0 -1 1077944384 10761 0 0 0 1136 54 0 0 20 0 20 0 4300959 13588557824 694212 33554432000 4194304 4196468 140723965597152 139684087319696 139684139972309 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25546752 140723965605005 140723965605188 140723965605188 140723965607887 0
[pid=15453/tid=15462] ppid=15450 vsize=13270076 CPUtime=12.03 cores=0,2,4,6,8,10,12,14
/proc/15453/task/15462/stat : 15462 (java) S 15450 15453 14602 0 -1 1077944384 10214 0 0 0 1146 57 0 0 20 0 20 0 4300959 13588557824 694212 33554432000 4194304 4196468 140723965597152 139684086266640 139684139972309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25546752 140723965605005 140723965605188 140723965605188 140723965607887 0
[pid=15453/tid=15463] ppid=15450 vsize=13270076 CPUtime=12.09 cores=0,2,4,6,8,10,12,14
/proc/15453/task/15463/stat : 15463 (java) S 15450 15453 14602 0 -1 1077944384 11241 0 0 0 1152 57 0 0 20 0 20 0 4300959 13588557824 694212 33554432000 4194304 4196468 140723965597152 139684085214096 139684139972309 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25546752 140723965605005 140723965605188 140723965605188 140723965607887 0
[pid=15453/tid=15464] ppid=15450 vsize=13270076 CPUtime=0.84 cores=0,2,4,6,8,10,12,14
/proc/15453/task/15464/stat : 15464 (java) S 15450 15453 14602 0 -1 1077944384 49421 0 0 0 65 19 0 0 20 0 20 0 4300961 13588557824 694212 33554432000 4194304 4196468 140723965597152 139683602326304 139684139972309 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25546752 140723965605005 140723965605188 140723965605188 140723965607887 0
[pid=15453/tid=15465] ppid=15450 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15453/task/15465/stat : 15465 (java) S 15450 15453 14602 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 20 0 4300962 13588557824 694212 33554432000 4194304 4196468 140723965597152 139683601274080 139684139972309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25546752 140723965605005 140723965605188 140723965605188 140723965607887 0
[pid=15453/tid=15466] ppid=15450 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15453/task/15466/stat : 15466 (java) S 15450 15453 14602 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 20 0 4300962 13588557824 694212 33554432000 4194304 4196468 140723965597152 139683600220928 139684139972309 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 25546752 140723965605005 140723965605188 140723965605188 140723965607887 0
[pid=15453/tid=15467] ppid=15450 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15453/task/15467/stat : 15467 (java) S 15450 15453 14602 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4300966 13588557824 694212 33554432000 4194304 4196468 140723965597152 139683599169488 139684139980699 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 25546752 140723965605005 140723965605188 140723965605188 140723965607887 0
[pid=15453/tid=15468] ppid=15450 vsize=13270076 CPUtime=2.77 cores=0,2,4,6,8,10,12,14
/proc/15453/task/15468/stat : 15468 (java) S 15450 15453 14602 0 -1 1077944384 19368 0 0 0 273 4 0 0 20 0 20 0 4300966 13588557824 694212 33554432000 4194304 4196468 140723965597152 139683598117616 139684139973250 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25546752 140723965605005 140723965605188 140723965605188 140723965607887 0
[pid=15453/tid=15469] ppid=15450 vsize=13270076 CPUtime=2.7 cores=0,2,4,6,8,10,12,14
/proc/15453/task/15469/stat : 15469 (java) S 15450 15453 14602 0 -1 1077944384 24771 0 0 0 268 2 0 0 20 0 20 0 4300966 13588557824 694212 33554432000 4194304 4196468 140723965597152 139683597065072 139684139973250 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25546752 140723965605005 140723965605188 140723965605188 140723965607887 0
[pid=15453/tid=15470] ppid=15450 vsize=13270076 CPUtime=2.77 cores=0,2,4,6,8,10,12,14
/proc/15453/task/15470/stat : 15470 (java) S 15450 15453 14602 0 -1 1077944384 22981 0 0 0 275 2 0 0 20 0 20 0 4300966 13588557824 694212 33554432000 4194304 4196468 140723965597152 139683596012016 139684139973250 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25546752 140723965605005 140723965605188 140723965605188 140723965607887 0
[pid=15453/tid=15471] ppid=15450 vsize=13270076 CPUtime=1.51 cores=0,2,4,6,8,10,12,14
/proc/15453/task/15471/stat : 15471 (java) S 15450 15453 14602 0 -1 1077944384 34637 0 0 0 147 4 0 0 20 0 20 0 4300966 13588557824 694212 33554432000 4194304 4196468 140723965597152 139683594959472 139684139973250 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 25546752 140723965605005 140723965605188 140723965605188 140723965607887 0
[pid=15453/tid=15472] ppid=15450 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15453/task/15472/stat : 15472 (java) S 15450 15453 14602 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4300967 13588557824 694212 33554432000 4194304 4196468 140723965597152 139683593906656 139684139972309 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 25546752 140723965605005 140723965605188 140723965605188 140723965607887 0
[pid=15453/tid=15473] ppid=15450 vsize=13270076 CPUtime=1.1 cores=0,2,4,6,8,10,12,14
/proc/15453/task/15473/stat : 15473 (java) S 15450 15453 14602 0 -1 1077944384 1625 0 0 0 59 51 0 0 20 0 20 0 4300967 13588557824 694212 33554432000 4194304 4196468 140723965597152 139683592854192 139684139973250 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25546752 140723965605005 140723965605188 140723965605188 140723965607887 0
Current children cumulated CPU time (s) 2355.14
Current children cumulated vsize (KiB) 13270076



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2305.1 s]
/proc/loadavg: 1.35 1.49 1.56 3/283 15655
/proc/meminfo: memFree=27763816/32770624 swapFree=6412/244056
[pid=15453] ppid=15450 vsize=13270076 CPUtime=2400.01 cores=0,2,4,6,8,10,12,14
/proc/15453/stat : 15453 (java) S 15450 15453 14602 0 -1 1077944320 369204 0 0 0 239399 602 0 0 20 0 20 0 4300958 13588557824 678822 33554432000 4194304 4196468 140723965597152 140723965579696 139684139962103 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 25546752 140723965605005 140723965605188 140723965605188 140723965607887 0
/proc/15453/statm: 3317519 678822 3869 1 0 3305234 0
[pid=15453/tid=15454] ppid=15450 vsize=13270076 CPUtime=2290.03 cores=0,2,4,6,8,10,12,14
/proc/15453/task/15454/stat : 15454 (java) R 15450 15453 14602 0 -1 4202560 125927 0 0 0 228914 89 0 0 20 0 20 0 4300958 13588557824 678822 33554432000 4194304 4196468 140723965597152 139684144200176 139683772160352 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 25546752 140723965605005 140723965605188 140723965605188 140723965607887 0
[pid=15453/tid=15456] ppid=15450 vsize=13270076 CPUtime=12.3 cores=0,2,4,6,8,10,12,14
/proc/15453/task/15456/stat : 15456 (java) S 15450 15453 14602 0 -1 1077944384 12473 0 0 0 1177 53 0 0 20 0 20 0 4300959 13588557824 678822 33554432000 4194304 4196468 140723965597152 139684092582416 139684139972309 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 25546752 140723965605005 140723965605188 140723965605188 140723965607887 0
[pid=15453/tid=15457] ppid=15450 vsize=13270076 CPUtime=12.27 cores=0,2,4,6,8,10,12,14
/proc/15453/task/15457/stat : 15457 (java) S 15450 15453 14602 0 -1 1077944384 10961 0 0 0 1173 54 0 0 20 0 20 0 4300959 13588557824 678822 33554432000 4194304 4196468 140723965597152 139684091529872 139684139972309 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25546752 140723965605005 140723965605188 140723965605188 140723965607887 0
[pid=15453/tid=15458] ppid=15450 vsize=13270076 CPUtime=12.19 cores=0,2,4,6,8,10,12,14
/proc/15453/task/15458/stat : 15458 (java) S 15450 15453 14602 0 -1 1077944384 11348 0 0 0 1166 53 0 0 20 0 20 0 4300959 13588557824 678822 33554432000 4194304 4196468 140723965597152 139684090476816 139684139972309 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25546752 140723965605005 140723965605188 140723965605188 140723965607887 0
[pid=15453/tid=15459] ppid=15450 vsize=13270076 CPUtime=12.16 cores=0,2,4,6,8,10,12,14
/proc/15453/task/15459/stat : 15459 (java) S 15450 15453 14602 0 -1 1077944384 12368 0 0 0 1161 55 0 0 20 0 20 0 4300959 13588557824 678822 33554432000 4194304 4196468 140723965597152 139684089424272 139684139972309 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 25546752 140723965605005 140723965605188 140723965605188 140723965607887 0
[pid=15453/tid=15460] ppid=15450 vsize=13270076 CPUtime=12.29 cores=0,2,4,6,8,10,12,14
/proc/15453/task/15460/stat : 15460 (java) S 15450 15453 14602 0 -1 1077944384 9058 0 0 0 1173 56 0 0 20 0 20 0 4300959 13588557824 678822 33554432000 4194304 4196468 140723965597152 139684088372240 139684139972309 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25546752 140723965605005 140723965605188 140723965605188 140723965607887 0
[pid=15453/tid=15461] ppid=15450 vsize=13270076 CPUtime=12.17 cores=0,2,4,6,8,10,12,14
/proc/15453/task/15461/stat : 15461 (java) S 15450 15453 14602 0 -1 1077944384 10788 0 0 0 1163 54 0 0 20 0 20 0 4300959 13588557824 678822 33554432000 4194304 4196468 140723965597152 139684087319696 139684139972309 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 25546752 140723965605005 140723965605188 140723965605188 140723965607887 0
[pid=15453/tid=15462] ppid=15450 vsize=13270076 CPUtime=12.32 cores=0,2,4,6,8,10,12,14
/proc/15453/task/15462/stat : 15462 (java) S 15450 15453 14602 0 -1 1077944384 10239 0 0 0 1175 57 0 0 20 0 20 0 4300959 13588557824 678822 33554432000 4194304 4196468 140723965597152 139684086266640 139684139972309 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25546752 140723965605005 140723965605188 140723965605188 140723965607887 0
[pid=15453/tid=15463] ppid=15450 vsize=13270076 CPUtime=12.37 cores=0,2,4,6,8,10,12,14
/proc/15453/task/15463/stat : 15463 (java) S 15450 15453 14602 0 -1 1077944384 11563 0 0 0 1180 57 0 0 20 0 20 0 4300959 13588557824 678822 33554432000 4194304 4196468 140723965597152 139684085214096 139684139972309 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 25546752 140723965605005 140723965605188 140723965605188 140723965607887 0
[pid=15453/tid=15464] ppid=15450 vsize=13270076 CPUtime=0.86 cores=0,2,4,6,8,10,12,14
/proc/15453/task/15464/stat : 15464 (java) S 15450 15453 14602 0 -1 1077944384 49598 0 0 0 66 20 0 0 20 0 20 0 4300961 13588557824 678822 33554432000 4194304 4196468 140723965597152 139683602327792 139684139973250 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25546752 140723965605005 140723965605188 140723965605188 140723965607887 0
[pid=15453/tid=15465] ppid=15450 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15453/task/15465/stat : 15465 (java) S 15450 15453 14602 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 20 0 4300962 13588557824 678822 33554432000 4194304 4196468 140723965597152 139683601274080 139684139972309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25546752 140723965605005 140723965605188 140723965605188 140723965607887 0
[pid=15453/tid=15466] ppid=15450 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15453/task/15466/stat : 15466 (java) S 15450 15453 14602 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 20 0 4300962 13588557824 678822 33554432000 4194304 4196468 140723965597152 139683600220928 139684139972309 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 25546752 140723965605005 140723965605188 140723965605188 140723965607887 0
[pid=15453/tid=15467] ppid=15450 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15453/task/15467/stat : 15467 (java) S 15450 15453 14602 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4300966 13588557824 678822 33554432000 4194304 4196468 140723965597152 139683599169488 139684139980699 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 25546752 140723965605005 140723965605188 140723965605188 140723965607887 0
[pid=15453/tid=15468] ppid=15450 vsize=13270076 CPUtime=2.77 cores=0,2,4,6,8,10,12,14
/proc/15453/task/15468/stat : 15468 (java) S 15450 15453 14602 0 -1 1077944384 19370 0 0 0 273 4 0 0 20 0 20 0 4300966 13588557824 678822 33554432000 4194304 4196468 140723965597152 139683598117616 139684139973250 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25546752 140723965605005 140723965605188 140723965605188 140723965607887 0
[pid=15453/tid=15469] ppid=15450 vsize=13270076 CPUtime=2.7 cores=0,2,4,6,8,10,12,14
/proc/15453/task/15469/stat : 15469 (java) S 15450 15453 14602 0 -1 1077944384 24773 0 0 0 268 2 0 0 20 0 20 0 4300966 13588557824 678822 33554432000 4194304 4196468 140723965597152 139683597065072 139684139973250 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25546752 140723965605005 140723965605188 140723965605188 140723965607887 0
[pid=15453/tid=15470] ppid=15450 vsize=13270076 CPUtime=2.77 cores=0,2,4,6,8,10,12,14
/proc/15453/task/15470/stat : 15470 (java) S 15450 15453 14602 0 -1 1077944384 22983 0 0 0 275 2 0 0 20 0 20 0 4300966 13588557824 678822 33554432000 4194304 4196468 140723965597152 139683596012016 139684139973250 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25546752 140723965605005 140723965605188 140723965605188 140723965607887 0
[pid=15453/tid=15471] ppid=15450 vsize=13270076 CPUtime=1.51 cores=0,2,4,6,8,10,12,14
/proc/15453/task/15471/stat : 15471 (java) S 15450 15453 14602 0 -1 1077944384 34639 0 0 0 147 4 0 0 20 0 20 0 4300966 13588557824 678822 33554432000 4194304 4196468 140723965597152 139683594959472 139684139973250 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25546752 140723965605005 140723965605188 140723965605188 140723965607887 0
[pid=15453/tid=15472] ppid=15450 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15453/task/15472/stat : 15472 (java) S 15450 15453 14602 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4300967 13588557824 678822 33554432000 4194304 4196468 140723965597152 139683593906656 139684139972309 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 25546752 140723965605005 140723965605188 140723965605188 140723965607887 0
[pid=15453/tid=15473] ppid=15450 vsize=13270076 CPUtime=1.12 cores=0,2,4,6,8,10,12,14
/proc/15453/task/15473/stat : 15473 (java) S 15450 15453 14602 0 -1 1077944384 1640 0 0 0 59 53 0 0 20 0 20 0 4300967 13588557824 678822 33554432000 4194304 4196468 140723965597152 139683592854192 139684139973250 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25546752 140723965605005 140723965605188 140723965605188 140723965607887 0
Current children cumulated CPU time (s) 2400.01
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 15453 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+2305.1 s]
/proc/loadavg: 1.35 1.49 1.56 3/283 15655
/proc/meminfo: memFree=27763816/32770624 swapFree=6412/244056
[pid=15453] ppid=15450 vsize=13270076 CPUtime=2400.01 cores=0,2,4,6,8,10,12,14
/proc/15453/stat : 15453 (java) S 15450 15453 14602 0 -1 1077944320 369204 0 0 0 239399 602 0 0 20 0 20 0 4300958 13588557824 678822 33554432000 4194304 4196468 140723965597152 140723965579696 139684139962103 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 25546752 140723965605005 140723965605188 140723965605188 140723965607887 0
/proc/15453/statm: 3317519 678822 3869 1 0 3305234 0
[pid=15453/tid=15454] ppid=15450 vsize=13270076 CPUtime=2290.03 cores=0,2,4,6,8,10,12,14
/proc/15453/task/15454/stat : 15454 (java) R 15450 15453 14602 0 -1 4202560 125927 0 0 0 228914 89 0 0 20 0 20 0 4300958 13588557824 678822 33554432000 4194304 4196468 140723965597152 139684144200176 139683772160352 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 25546752 140723965605005 140723965605188 140723965605188 140723965607887 0
[pid=15453/tid=15456] ppid=15450 vsize=13270076 CPUtime=12.3 cores=0,2,4,6,8,10,12,14
/proc/15453/task/15456/stat : 15456 (java) S 15450 15453 14602 0 -1 1077944384 12473 0 0 0 1177 53 0 0 20 0 20 0 4300959 13588557824 678822 33554432000 4194304 4196468 140723965597152 139684092582416 139684139972309 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 25546752 140723965605005 140723965605188 140723965605188 140723965607887 0
[pid=15453/tid=15457] ppid=15450 vsize=13270076 CPUtime=12.27 cores=0,2,4,6,8,10,12,14
/proc/15453/task/15457/stat : 15457 (java) S 15450 15453 14602 0 -1 1077944384 10961 0 0 0 1173 54 0 0 20 0 20 0 4300959 13588557824 678822 33554432000 4194304 4196468 140723965597152 139684091529872 139684139972309 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25546752 140723965605005 140723965605188 140723965605188 140723965607887 0
[pid=15453/tid=15458] ppid=15450 vsize=13270076 CPUtime=12.19 cores=0,2,4,6,8,10,12,14
/proc/15453/task/15458/stat : 15458 (java) S 15450 15453 14602 0 -1 1077944384 11348 0 0 0 1166 53 0 0 20 0 20 0 4300959 13588557824 678822 33554432000 4194304 4196468 140723965597152 139684090476816 139684139972309 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25546752 140723965605005 140723965605188 140723965605188 140723965607887 0
[pid=15453/tid=15459] ppid=15450 vsize=13270076 CPUtime=12.16 cores=0,2,4,6,8,10,12,14
/proc/15453/task/15459/stat : 15459 (java) S 15450 15453 14602 0 -1 1077944384 12368 0 0 0 1161 55 0 0 20 0 20 0 4300959 13588557824 678822 33554432000 4194304 4196468 140723965597152 139684089424272 139684139972309 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 25546752 140723965605005 140723965605188 140723965605188 140723965607887 0
[pid=15453/tid=15460] ppid=15450 vsize=13270076 CPUtime=12.29 cores=0,2,4,6,8,10,12,14
/proc/15453/task/15460/stat : 15460 (java) S 15450 15453 14602 0 -1 1077944384 9058 0 0 0 1173 56 0 0 20 0 20 0 4300959 13588557824 678822 33554432000 4194304 4196468 140723965597152 139684088372240 139684139972309 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25546752 140723965605005 140723965605188 140723965605188 140723965607887 0
[pid=15453/tid=15461] ppid=15450 vsize=13270076 CPUtime=12.17 cores=0,2,4,6,8,10,12,14
/proc/15453/task/15461/stat : 15461 (java) S 15450 15453 14602 0 -1 1077944384 10788 0 0 0 1163 54 0 0 20 0 20 0 4300959 13588557824 678822 33554432000 4194304 4196468 140723965597152 139684087319696 139684139972309 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 25546752 140723965605005 140723965605188 140723965605188 140723965607887 0
[pid=15453/tid=15462] ppid=15450 vsize=13270076 CPUtime=12.32 cores=0,2,4,6,8,10,12,14
/proc/15453/task/15462/stat : 15462 (java) S 15450 15453 14602 0 -1 1077944384 10239 0 0 0 1175 57 0 0 20 0 20 0 4300959 13588557824 678822 33554432000 4194304 4196468 140723965597152 139684086266640 139684139972309 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25546752 140723965605005 140723965605188 140723965605188 140723965607887 0
[pid=15453/tid=15463] ppid=15450 vsize=13270076 CPUtime=12.37 cores=0,2,4,6,8,10,12,14
/proc/15453/task/15463/stat : 15463 (java) S 15450 15453 14602 0 -1 1077944384 11563 0 0 0 1180 57 0 0 20 0 20 0 4300959 13588557824 678822 33554432000 4194304 4196468 140723965597152 139684085214096 139684139972309 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 25546752 140723965605005 140723965605188 140723965605188 140723965607887 0
[pid=15453/tid=15464] ppid=15450 vsize=13270076 CPUtime=0.86 cores=0,2,4,6,8,10,12,14
/proc/15453/task/15464/stat : 15464 (java) S 15450 15453 14602 0 -1 1077944384 49598 0 0 0 66 20 0 0 20 0 20 0 4300961 13588557824 678822 33554432000 4194304 4196468 140723965597152 139683602327792 139684139973250 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25546752 140723965605005 140723965605188 140723965605188 140723965607887 0
[pid=15453/tid=15465] ppid=15450 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15453/task/15465/stat : 15465 (java) S 15450 15453 14602 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 20 0 4300962 13588557824 678822 33554432000 4194304 4196468 140723965597152 139683601274080 139684139972309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25546752 140723965605005 140723965605188 140723965605188 140723965607887 0
[pid=15453/tid=15466] ppid=15450 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15453/task/15466/stat : 15466 (java) S 15450 15453 14602 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 20 0 4300962 13588557824 678822 33554432000 4194304 4196468 140723965597152 139683600220928 139684139972309 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 25546752 140723965605005 140723965605188 140723965605188 140723965607887 0
[pid=15453/tid=15467] ppid=15450 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15453/task/15467/stat : 15467 (java) S 15450 15453 14602 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4300966 13588557824 678822 33554432000 4194304 4196468 140723965597152 139683599169488 139684139980699 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 25546752 140723965605005 140723965605188 140723965605188 140723965607887 0
[pid=15453/tid=15468] ppid=15450 vsize=13270076 CPUtime=2.77 cores=0,2,4,6,8,10,12,14
/proc/15453/task/15468/stat : 15468 (java) S 15450 15453 14602 0 -1 1077944384 19370 0 0 0 273 4 0 0 20 0 20 0 4300966 13588557824 678822 33554432000 4194304 4196468 140723965597152 139683598117616 139684139973250 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25546752 140723965605005 140723965605188 140723965605188 140723965607887 0
[pid=15453/tid=15469] ppid=15450 vsize=13270076 CPUtime=2.7 cores=0,2,4,6,8,10,12,14
/proc/15453/task/15469/stat : 15469 (java) S 15450 15453 14602 0 -1 1077944384 24773 0 0 0 268 2 0 0 20 0 20 0 4300966 13588557824 678822 33554432000 4194304 4196468 140723965597152 139683597065072 139684139973250 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25546752 140723965605005 140723965605188 140723965605188 140723965607887 0
[pid=15453/tid=15470] ppid=15450 vsize=13270076 CPUtime=2.77 cores=0,2,4,6,8,10,12,14
/proc/15453/task/15470/stat : 15470 (java) S 15450 15453 14602 0 -1 1077944384 22983 0 0 0 275 2 0 0 20 0 20 0 4300966 13588557824 678822 33554432000 4194304 4196468 140723965597152 139683596012016 139684139973250 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25546752 140723965605005 140723965605188 140723965605188 140723965607887 0
[pid=15453/tid=15471] ppid=15450 vsize=13270076 CPUtime=1.51 cores=0,2,4,6,8,10,12,14
/proc/15453/task/15471/stat : 15471 (java) S 15450 15453 14602 0 -1 1077944384 34639 0 0 0 147 4 0 0 20 0 20 0 4300966 13588557824 678822 33554432000 4194304 4196468 140723965597152 139683594959472 139684139973250 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25546752 140723965605005 140723965605188 140723965605188 140723965607887 0
[pid=15453/tid=15472] ppid=15450 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15453/task/15472/stat : 15472 (java) S 15450 15453 14602 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4300967 13588557824 678822 33554432000 4194304 4196468 140723965597152 139683593906656 139684139972309 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 25546752 140723965605005 140723965605188 140723965605188 140723965607887 0
[pid=15453/tid=15473] ppid=15450 vsize=13270076 CPUtime=1.12 cores=0,2,4,6,8,10,12,14
/proc/15453/task/15473/stat : 15473 (java) S 15450 15453 14602 0 -1 1077944384 1640 0 0 0 59 53 0 0 20 0 20 0 4300967 13588557824 678822 33554432000 4194304 4196468 140723965597152 139683592854192 139684139973250 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25546752 140723965605005 140723965605188 140723965605188 140723965607887 0
Current children cumulated CPU time (s) 2400.01
Current children cumulated vsize (KiB) 13270076

Child status: 143
Real time (s): 2305.13
CPU time (s): 2400.06
CPU user time (s): 2394.02
CPU system time (s): 6.0383
CPU usage (%): 104.118
Max. virtual memory (cumulated for all children) (KiB): 13270076

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2394.02
system time used= 6.0383
maximum resident set size= 3630216
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 369875
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2944
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 79704
involuntary context switches= 127222

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.6037 second user time and 17.2341 second system time

The end

Launcher Data 

Begin job on node141 at 2017-07-22 04:25:46
IDJOB=4244736
IDBENCH=115882
IDSOLVER=2629
FILE ID=node141/4244736-1500690346
RUNJOBID= node141-1500683262-14633
PBS_JOBID= 20623337
Free space on /tmp= 61944 MiB

SOLVER NAME= OscaR - Hybrid 2017-06-30
BENCH NAME= XCSP17/StillLife/StillLife-wst-s1/StillLife-wastage-50.xml
COMMAND LINE= java -Xmx10000m -jar oscar-cp-xcsp3-hybrid.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit MEMLIMIT --nbcore NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4244736-1500690346/watcher-4244736-1500690346 -o /tmp/evaluation-result-4244736-1500690346/solver-4244736-1500690346 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node141-1500683262-14633 --watchdog 2560  java -Xmx10000m -jar oscar-cp-xcsp3-hybrid.jar --randomseed 1281457231 --timelimit 2400 --memlimit 15500 --nbcore 8 HOME/instance-4244736-1500690346.xml

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

MD5SUM BENCH= b46c08097c4951fbb159b9042bff535d
RANDOM SEED=1281457231

node141.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		: 2667.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		: 1600.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		: 1600.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		: 1600.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		: 2668.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		: 1600.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		: 2133.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		: 1600.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		: 2133.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:        31538928 kB
MemAvailable:   31786468 kB
Buffers:          105708 kB
Cached:           422624 kB
SwapCached:            0 kB
Active:           546132 kB
Inactive:         249764 kB
Active(anon):     269880 kB
Inactive(anon):     8656 kB
Active(file):     276252 kB
Inactive(file):   241108 kB
Unevictable:        6412 kB
Mlocked:            6412 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             40392 kB
Writeback:          1452 kB
AnonPages:        272752 kB
Mapped:            45276 kB
Shmem:              8852 kB
Slab:             126708 kB
SReclaimable:      92732 kB
SUnreclaim:        33976 kB
KernelStack:        4592 kB
PageTables:         5792 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1135816 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    200704 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      114048 kB
DirectMap2M:    33431552 kB

Free space on /tmp at the end= 61904 MiB
End job on node141 at 2017-07-22 05:04:12