Trace number 4274740

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
OscaR - Hybrid 2017-07-26SAT (TO)747 2520.1001 2462.6201

General information on the benchmark

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

Quality of the solution as a function of time


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

Solver Data 

0.26/0.38	c version: 2017-07-26
0.26/0.39	c seed: 2074883484
0.26/0.39	c timeout: 2520
0.26/0.39	c memlimit: 11000
0.26/0.39	c nbcore: 4
0.26/0.41	c Parsing instance...
6.48/3.23	c Parsing done, starting first complete search...
113.92/108.98	o 430
113.92/108.98	o 431
113.92/108.99	o 432
113.92/108.99	o 433
113.92/109.00	o 434
114.12/109.01	o 435
114.12/109.01	o 436
114.12/109.01	o 437
114.12/109.02	o 438
114.12/109.02	o 439
114.12/109.02	o 440
114.12/109.03	o 441
114.12/109.03	o 442
114.12/109.03	o 443
114.12/109.03	o 444
114.12/109.04	o 445
114.12/109.04	o 446
114.12/109.04	o 447
114.12/109.04	o 448
114.12/109.05	o 449
114.12/109.05	o 450
114.12/109.05	o 451
114.12/109.05	o 452
114.12/109.06	o 453
114.12/109.06	o 454
114.12/109.06	o 455
114.12/109.06	o 456
114.12/109.07	o 457
114.12/109.07	o 458
114.12/109.07	o 459
114.12/109.07	o 460
114.12/109.08	o 461
114.12/109.08	o 462
114.12/109.08	o 463
114.12/109.08	o 464
114.12/109.08	o 465
114.12/109.09	o 466
114.12/109.09	o 467
114.12/109.09	o 468
114.12/109.09	o 469
114.12/109.10	o 470
114.12/109.10	o 471
114.12/109.10	o 472
114.12/109.11	o 473
114.41/109.11	o 474
114.41/109.11	o 475
114.41/109.11	o 476
114.41/109.12	o 477
114.41/109.12	o 478
114.41/109.12	o 479
114.41/109.12	o 480
114.41/109.13	o 481
114.41/109.13	o 482
114.41/109.13	o 483
114.41/109.13	o 484
114.41/109.13	o 485
114.41/109.14	o 486
114.41/109.14	o 487
114.41/109.14	o 488
114.41/109.14	o 489
114.41/109.14	o 490
114.41/109.15	o 491
114.41/109.15	o 492
114.41/109.15	o 493
114.41/109.15	o 494
114.41/109.16	o 495
114.41/109.16	o 496
114.41/109.16	o 497
114.41/109.16	o 498
114.41/109.16	o 499
114.41/109.17	o 500
114.41/109.17	o 501
114.41/109.17	o 502
114.41/109.17	o 503
114.41/109.17	o 504
114.41/109.18	o 505
114.41/109.18	o 506
114.41/109.18	o 507
114.41/109.18	o 508
114.41/109.19	o 509
114.41/109.19	o 510
114.41/109.19	o 511
114.41/109.19	o 512
114.68/109.20	o 513
114.68/109.20	o 514
114.68/109.20	o 515
114.68/109.20	o 516
114.68/109.21	o 517
114.68/109.21	o 518
114.68/109.21	o 519
114.68/109.21	o 520
114.68/109.22	o 521
114.68/109.22	o 522
114.68/109.22	o 523
114.68/109.22	o 524
114.68/109.23	o 525
114.68/109.23	o 526
114.68/109.23	o 527
114.68/109.23	o 528
114.68/109.24	o 529
114.68/109.24	o 530
114.68/109.24	o 531
114.68/109.25	o 532
114.68/109.25	o 533
114.68/109.25	o 534
114.68/109.25	o 535
114.68/109.25	o 536
114.68/109.26	o 537
114.68/109.26	o 538
114.68/109.26	o 539
114.68/109.26	o 540
114.68/109.26	o 541
114.68/109.27	o 542
114.68/109.27	o 543
114.68/109.27	o 544
114.68/109.27	o 545
114.68/109.27	o 546
114.68/109.27	o 547
114.68/109.28	o 548
114.68/109.28	o 549
114.68/109.28	o 550
114.68/109.28	o 551
114.68/109.28	o 552
114.68/109.29	o 553
114.68/109.29	o 554
114.68/109.29	o 555
114.68/109.29	o 556
114.91/109.30	o 557
114.91/109.30	o 558
114.91/109.30	o 559
114.91/109.30	o 560
114.91/109.31	o 561
114.91/109.31	o 562
114.91/109.31	o 563
114.91/109.31	o 564
114.91/109.32	o 565
114.91/109.32	o 566
114.91/109.32	o 567
114.91/109.32	o 568
114.91/109.33	o 569
114.91/109.33	o 570
114.91/109.33	o 571
114.91/109.33	o 572
114.91/109.33	o 573
114.91/109.34	o 574
114.91/109.34	o 575
114.91/109.34	o 576
114.91/109.34	o 577
114.91/109.35	o 578
114.91/109.35	o 579
114.91/109.35	o 580
114.91/109.35	o 581
114.91/109.35	o 582
114.91/109.35	o 583
114.91/109.36	o 584
114.91/109.36	o 585
114.91/109.36	o 586
114.91/109.36	o 587
114.91/109.36	o 588
114.91/109.36	o 589
114.91/109.37	o 590
114.91/109.37	o 591
114.91/109.37	o 592
114.91/109.37	o 593
114.91/109.37	o 594
114.91/109.38	o 595
114.91/109.38	o 596
114.91/109.38	o 597
114.91/109.38	o 598
114.91/109.38	o 599
114.91/109.38	o 600
114.91/109.39	o 601
114.91/109.39	o 602
114.91/109.39	o 603
114.91/109.39	o 604
114.91/109.39	o 605
114.91/109.40	o 606
115.08/109.40	o 607
115.08/109.40	o 608
115.08/109.40	o 609
115.08/109.40	o 610
115.08/109.41	o 611
115.08/109.41	o 612
115.08/109.41	o 613
115.08/109.41	o 614
115.08/109.42	o 615
115.08/109.42	o 616
115.08/109.42	o 617
115.08/109.42	o 618
115.08/109.43	o 619
115.08/109.43	o 620
115.08/109.43	o 621
115.08/109.43	o 622
115.08/109.44	o 623
115.08/109.44	o 624
115.08/109.44	o 625
115.08/109.44	o 626
115.08/109.45	o 627
115.08/109.45	o 628
115.08/109.45	o 629
115.08/109.45	o 630
115.08/109.45	o 631
115.08/109.46	o 632
115.08/109.46	o 633
115.08/109.46	o 634
115.08/109.46	o 635
115.08/109.47	o 636
115.08/109.47	o 637
115.08/109.47	o 638
115.08/109.47	o 639
115.08/109.48	o 640
115.08/109.48	o 641
115.08/109.48	o 642
115.08/109.48	o 643
115.08/109.49	o 644
115.08/109.49	o 645
115.08/109.49	o 646
115.08/109.49	o 647
115.18/109.50	o 648
115.18/109.50	o 649
115.18/109.50	o 650
115.18/109.51	o 651
115.18/109.51	o 652
115.18/109.51	o 653
115.18/109.51	o 654
115.18/109.52	o 655
115.18/109.52	o 656
115.18/109.52	o 657
115.18/109.53	o 658
115.18/109.53	o 659
115.18/109.53	o 660
115.18/109.54	o 661
115.18/109.54	o 662
115.18/109.54	o 663
115.18/109.55	o 664
115.18/109.55	o 665
115.18/109.55	o 666
115.18/109.56	o 667
115.18/109.56	o 668
115.18/109.56	o 669
115.18/109.56	o 670
115.18/109.57	o 671
115.18/109.57	o 672
115.18/109.57	o 673
115.18/109.58	o 674
115.18/109.58	o 675
115.18/109.58	o 676
115.18/109.59	o 677
115.18/109.59	o 678
115.18/109.59	o 679
115.18/109.60	o 680
115.31/109.60	o 681
115.31/109.60	o 682
115.31/109.61	o 683
115.31/109.61	o 684
115.31/109.61	o 685
115.31/109.62	o 686
115.31/109.62	o 687
115.31/109.63	o 688
115.31/109.63	o 689
115.31/109.64	o 690
115.31/109.64	o 691
115.31/109.65	o 692
115.31/109.65	o 693
124.22/118.37	o 694
124.22/118.37	o 695
128.82/122.85	o 696
251.55/245.32	c First complete search done, starting ALNS search...
314.52/306.23	o 700
524.90/513.85	o 703
628.93/614.86	o 704
695.00/679.58	o 744
726.71/710.01	o 747
2048.36/2003.81	c ALNS done, starting second complete search
2048.36/2003.82	c Best operator: ValGuided(1365,MaxVal)_WeightDeg(Min) with improvement of: 40
2520.05/2462.60	s SATISFIABLE
2520.05/2462.61	v <instantiation>
2520.05/2462.61	v 	<list>
2520.05/2462.61	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
2520.05/2462.61	v 	</list>
2520.05/2462.61	v 	<values>
2520.05/2462.61	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 1 1 0 1 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 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 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 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 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 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 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 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 1 1 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 0 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 0 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 0 0 1 0 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 1 0 0 0 1 1 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 2 1 1 0 0 0 1 2 1 1 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 1 2 1 1 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 2 2 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 2 2 2 2 2 2 2 2 2 0 1 0 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 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 0 0 2 1 1 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 1 1 0 1 2 2 2 2 2 2 2 2 2 2 2 0 0 2 0 0 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 0 1 1 2 2 2 2 2 2 2 2 2 2 1 1 2 0 0 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 1 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 1 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 1 1 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 1 1 0 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 1 2 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 0 2 2 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 1 1 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 45 132 219 316 418 520 620 712 800 880 958 1038 1121 1214 1311 1406 1469 1491 1509 1534 1548 1563 1581 1591 1615 1638 1653 1677 1698 1711 1729 1737 1750 1768 1787 1805 1822 1836 1856 1870 1886 1908 1933 1948 1958 1991 2033 2068 2095 2129 2177 2212 747 
2520.05/2462.61	v 	</values>
2520.05/2462.61	v </instantiation>

Verifier Data 

OK	747

Watcher Data 

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (15031 MiB free)
  memory of node 1: 16384 MiB (14868 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4274740-1502718397/watcher-4274740-1502718397 -o /tmp/evaluation-result-4274740-1502718397/solver-4274740-1502718397 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1502658244-13744 --watchdog 2580 java -Xmx11000m -jar oscar-cp-xcsp3-hybrid.jar --randomseed 2074883484 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4274740-1502718397.xml 

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

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


[startup+0.100094 s]*
/proc/loadavg: 1.59 1.43 1.41 3/205 21844
/proc/meminfo: memFree=30609252/32770624 swapFree=67108860/67108860
[pid=21838] ppid=21835 vsize=13440536 memory=17500 CPUtime=0.01 cores=0,2,4,6
/proc/21838/stat : 21838 (java) S 21835 21838 12395 0 -1 1077944320 3715 0 0 0 1 0 0 0 20 0 7 0 113751114 13763108864 4375 18446744073709551615 4194304 4196468 140720588271024 140720588253568 140211785293559 0 0 1 16784584 18446744073709551615 0 0 17 6 0 0 8 0 0 6293624 6294260 32727040 140720588271986 140720588272169 140720588272169 140720588275663 0
/proc/21838/statm: 3360134 4375 2024 1 0 3349631 0
[pid=21838/tid=21840] ppid=21835 vsize=13507100 memory=-6512886124953833826 CPUtime=0.01 cores=0,2,4,6
/proc/21838/task/21840/stat : 21840 (java) R 21835 21838 12395 0 -1 4202560 2407 0 0 0 1 0 0 0 20 0 8 0 113751123 13831270400 4375 18446744073709551615 4194304 4196468 140720588271024 140211789533616 140211785315485 0 4 1 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32727040 140720588271986 140720588272169 140720588272169 140720588275663 0
[pid=21838/tid=21841] ppid=21835 vsize=13507100 memory=5767616675114940809 CPUtime=0 cores=0,2,4,6
/proc/21838/task/21841/stat : 21841 (java) S 21835 21838 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 8 0 113751123 13831270400 4375 18446744073709551615 4194304 4196468 140720588271024 140211704707472 140211785303765 0 4 1 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32727040 140720588271986 140720588272169 140720588272169 140720588275663 0
[pid=21838/tid=21842] ppid=21835 vsize=13507100 memory=140284816410240 CPUtime=0 cores=0,2,4,6
/proc/21838/task/21842/stat : 21842 (java) S 21835 21838 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 8 0 113751123 13831270400 4375 18446744073709551615 4194304 4196468 140720588271024 140211703654672 140211785303765 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32727040 140720588271986 140720588272169 140720588272169 140720588275663 0
[pid=21838/tid=21843] ppid=21835 vsize=13507100 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21838/task/21843/stat : 21843 (java) S 21835 21838 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 8 0 113751123 13831270400 4375 18446744073709551615 4194304 4196468 140720588271024 140211702602384 140211785303765 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32727040 140720588271986 140720588272169 140720588272169 140720588275663 0
[pid=21838/tid=21844] ppid=21835 vsize=13507100 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21838/task/21844/stat : 21844 (java) S 21835 21838 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 8 0 113751123 13831270400 4375 18446744073709551615 4194304 4196468 140720588271024 140211701549584 140211785303765 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32727040 140720588271986 140720588272169 140720588272169 140720588275663 0
[pid=21838/tid=21845] ppid=21835 vsize=13507100 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21838/task/21845/stat : 21845 (java) S 21835 21838 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 8 0 113751125 13831270400 4375 18446744073709551615 4194304 4196468 140720588271024 140211264166512 140211785304706 0 0 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32727040 140720588271986 140720588272169 140720588272169 140720588275663 0
[pid=21838/tid=21846] ppid=21835 vsize=13507100 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21838/task/21846/stat : 21846 (java) S 21835 21838 12395 0 -1 1077944384 32 0 0 0 0 0 0 0 20 0 8 0 113751125 13831270400 4375 18446744073709551615 4194304 4196468 140720588271024 140211263111376 140211785303765 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32727040 140720588271986 140720588272169 140720588272169 140720588275663 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 13440536 KiB
Current children cumulated memory: 17500 KiB

[startup+0.210515 s]*
/proc/loadavg: 1.59 1.43 1.41 3/214 21853
/proc/meminfo: memFree=30602240/32770624 swapFree=67108860/67108860
[pid=21838] ppid=21835 vsize=13975920 memory=29580 CPUtime=0.1 cores=0,2,4,6
/proc/21838/stat : 21838 (java) S 21835 21838 12395 0 -1 1077944320 6720 0 0 0 9 1 0 0 20 0 15 0 113751114 14311342080 7395 18446744073709551615 4194304 4196468 140720588271024 140720588253568 140211785293559 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 8 0 0 6293624 6294260 32727040 140720588271986 140720588272169 140720588272169 140720588275663 0
/proc/21838/statm: 3493980 7395 3372 1 0 3482759 0
[pid=21838/tid=21840] ppid=21835 vsize=13975920 memory=8256676399481266586 CPUtime=0.07 cores=0,2,4,6
/proc/21838/task/21840/stat : 21840 (java) R 21835 21838 12395 0 -1 4202560 4744 0 0 0 7 0 0 0 20 0 15 0 113751123 14311342080 7395 18446744073709551615 4194304 4196468 140720588271024 140211789496688 140211785305494 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 32727040 140720588271986 140720588272169 140720588272169 140720588275663 0
[pid=21838/tid=21841] ppid=21835 vsize=13975920 memory=732370423153863653 CPUtime=0 cores=0,2,4,6
/proc/21838/task/21841/stat : 21841 (java) S 21835 21838 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113751123 14311342080 7395 18446744073709551615 4194304 4196468 140720588271024 140211704707472 140211785303765 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32727040 140720588271986 140720588272169 140720588272169 140720588275663 0
[pid=21838/tid=21842] ppid=21835 vsize=13975920 memory=140284816410240 CPUtime=0 cores=0,2,4,6
/proc/21838/task/21842/stat : 21842 (java) S 21835 21838 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113751123 14311342080 7395 18446744073709551615 4194304 4196468 140720588271024 140211703654672 140211785303765 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32727040 140720588271986 140720588272169 140720588272169 140720588275663 0
[pid=21838/tid=21843] ppid=21835 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21838/task/21843/stat : 21843 (java) S 21835 21838 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113751123 14311342080 7395 18446744073709551615 4194304 4196468 140720588271024 140211702602384 140211785303765 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32727040 140720588271986 140720588272169 140720588272169 140720588275663 0
[pid=21838/tid=21844] ppid=21835 vsize=13975920 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21838/task/21844/stat : 21844 (java) S 21835 21838 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 113751123 14311342080 7395 18446744073709551615 4194304 4196468 140720588271024 140211701549584 140211785303765 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32727040 140720588271986 140720588272169 140720588272169 140720588275663 0
[pid=21838/tid=21845] ppid=21835 vsize=13975920 memory=140284816410240 CPUtime=0 cores=0,2,4,6
/proc/21838/task/21845/stat : 21845 (java) S 21835 21838 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 113751125 14311342080 7395 18446744073709551615 4194304 4196468 140720588271024 140211264166512 140211785304706 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32727040 140720588271986 140720588272169 140720588272169 140720588275663 0
[pid=21838/tid=21846] ppid=21835 vsize=13975920 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21838/task/21846/stat : 21846 (java) S 21835 21838 12395 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 113751125 14311342080 7395 18446744073709551615 4194304 4196468 140720588271024 140211263112480 140211785303765 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32727040 140720588271986 140720588272169 140720588272169 140720588275663 0
[pid=21838/tid=21847] ppid=21835 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21838/task/21847/stat : 21847 (java) S 21835 21838 12395 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 113751125 14311342080 7395 18446744073709551615 4194304 4196468 140720588271024 140211262060144 140211785303765 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32727040 140720588271986 140720588272169 140720588272169 140720588275663 0
[pid=21838/tid=21848] ppid=21835 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21838/task/21848/stat : 21848 (java) S 21835 21838 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113751128 14311342080 7395 18446744073709551615 4194304 4196468 140720588271024 140211261008464 140211785312155 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32727040 140720588271986 140720588272169 140720588272169 140720588275663 0
[pid=21838/tid=21849] ppid=21835 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21838/task/21849/stat : 21849 (java) S 21835 21838 12395 0 -1 1077944384 291 0 0 0 0 0 0 0 20 0 15 0 113751128 14311342080 7395 18446744073709551615 4194304 4196468 140720588271024 140211259955312 140211785304706 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32727040 140720588271986 140720588272169 140720588272169 140720588275663 0
[pid=21838/tid=21850] ppid=21835 vsize=13975920 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21838/task/21850/stat : 21850 (java) S 21835 21838 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113751128 14311342080 7395 18446744073709551615 4194304 4196468 140720588271024 140211258902512 140211785304706 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32727040 140720588271986 140720588272169 140720588272169 140720588275663 0
[pid=21838/tid=21851] ppid=21835 vsize=13975920 memory=140284816410240 CPUtime=0.01 cores=0,2,4,6
/proc/21838/task/21851/stat : 21851 (java) R 21835 21838 12395 0 -1 4202560 313 0 0 0 1 0 0 0 20 0 15 0 113751128 14311342080 7395 18446744073709551615 4194304 4196468 140720588271024 140211257850224 140211769374046 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32727040 140720588271986 140720588272169 140720588272169 140720588275663 0
[pid=21838/tid=21852] ppid=21835 vsize=13975920 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21838/task/21852/stat : 21852 (java) S 21835 21838 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113751128 14311342080 7395 18446744073709551615 4194304 4196468 140720588271024 140211256797664 140211785303765 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32727040 140720588271986 140720588272169 140720588272169 140720588275663 0
[pid=21838/tid=21853] ppid=21835 vsize=13975920 memory=140284816410240 CPUtime=0 cores=0,2,4,6
/proc/21838/task/21853/stat : 21853 (java) S 21835 21838 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113751133 14311342080 7395 18446744073709551615 4194304 4196468 140720588271024 140211255745456 140211785304706 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32727040 140720588271986 140720588272169 140720588272169 140720588275663 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 13975920 KiB
Current children cumulated memory: 29580 KiB

[startup+0.310605 s]*
/proc/loadavg: 1.59 1.43 1.41 3/214 21853
/proc/meminfo: memFree=30592336/32770624 swapFree=67108860/67108860
[pid=21838] ppid=21835 vsize=13975920 memory=39380 CPUtime=0.26 cores=0,2,4,6
/proc/21838/stat : 21838 (java) S 21835 21838 12395 0 -1 1077944320 10519 0 0 0 23 3 0 0 20 0 15 0 113751114 14311342080 9845 18446744073709551615 4194304 4196468 140720588271024 140720588253568 140211785293559 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 8 0 0 6293624 6294260 32727040 140720588271986 140720588272169 140720588272169 140720588275663 0
/proc/21838/statm: 3493980 9845 3550 1 0 3482759 0
[pid=21838/tid=21840] ppid=21835 vsize=13975920 memory=-8774313645642428999 CPUtime=0.17 cores=0,2,4,6
/proc/21838/task/21840/stat : 21840 (java) R 21835 21838 12395 0 -1 4202560 8216 0 0 0 15 2 0 0 20 0 15 0 113751123 14311342080 9845 18446744073709551615 4194304 4196468 140720588271024 140211789507408 140211769374046 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 32727040 140720588271986 140720588272169 140720588272169 140720588275663 0
[pid=21838/tid=21841] ppid=21835 vsize=13975920 memory=-7003737579269690708 CPUtime=0 cores=0,2,4,6
/proc/21838/task/21841/stat : 21841 (java) S 21835 21838 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113751123 14311342080 9845 18446744073709551615 4194304 4196468 140720588271024 140211704707472 140211785303765 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32727040 140720588271986 140720588272169 140720588272169 140720588275663 0
[pid=21838/tid=21842] ppid=21835 vsize=13975920 memory=7031125463459224206 CPUtime=0 cores=0,2,4,6
/proc/21838/task/21842/stat : 21842 (java) S 21835 21838 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113751123 14311342080 9845 18446744073709551615 4194304 4196468 140720588271024 140211703654672 140211785303765 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32727040 140720588271986 140720588272169 140720588272169 140720588275663 0
[pid=21838/tid=21843] ppid=21835 vsize=13975920 memory=-7305533901252758645 CPUtime=0 cores=0,2,4,6
/proc/21838/task/21843/stat : 21843 (java) S 21835 21838 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113751123 14311342080 9845 18446744073709551615 4194304 4196468 140720588271024 140211702602384 140211785303765 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32727040 140720588271986 140720588272169 140720588272169 140720588275663 0
[pid=21838/tid=21844] ppid=21835 vsize=13975920 memory=7077796292425249400 CPUtime=0 cores=0,2,4,6
/proc/21838/task/21844/stat : 21844 (java) S 21835 21838 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 113751123 14311342080 9845 18446744073709551615 4194304 4196468 140720588271024 140211701549584 140211785303765 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32727040 140720588271986 140720588272169 140720588272169 140720588275663 0
[pid=21838/tid=21845] ppid=21835 vsize=13975920 memory=140284816417233 CPUtime=0 cores=0,2,4,6
/proc/21838/task/21845/stat : 21845 (java) S 21835 21838 12395 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 113751125 14311342080 9845 18446744073709551615 4194304 4196468 140720588271024 140211264166512 140211785304706 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32727040 140720588271986 140720588272169 140720588272169 140720588275663 0
[pid=21838/tid=21846] ppid=21835 vsize=13975920 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21838/task/21846/stat : 21846 (java) S 21835 21838 12395 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 113751125 14311342080 9845 18446744073709551615 4194304 4196468 140720588271024 140211263112480 140211785303765 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32727040 140720588271986 140720588272169 140720588272169 140720588275663 0
[pid=21838/tid=21847] ppid=21835 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21838/task/21847/stat : 21847 (java) S 21835 21838 12395 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 113751125 14311342080 9845 18446744073709551615 4194304 4196468 140720588271024 140211262060144 140211785303765 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32727040 140720588271986 140720588272169 140720588272169 140720588275663 0
[pid=21838/tid=21848] ppid=21835 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21838/task/21848/stat : 21848 (java) S 21835 21838 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113751128 14311342080 9845 18446744073709551615 4194304 4196468 140720588271024 140211261008464 140211785312155 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32727040 140720588271986 140720588272169 140720588272169 140720588275663 0
[pid=21838/tid=21849] ppid=21835 vsize=13975920 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/21838/task/21849/stat : 21849 (java) S 21835 21838 12395 0 -1 1077944384 361 0 0 0 1 0 0 0 20 0 15 0 113751128 14311342080 9845 18446744073709551615 4194304 4196468 140720588271024 140211259955312 140211785304706 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32727040 140720588271986 140720588272169 140720588272169 140720588275663 0
[pid=21838/tid=21850] ppid=21835 vsize=13975920 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/21838/task/21850/stat : 21850 (java) S 21835 21838 12395 0 -1 1077944384 140 0 0 0 1 0 0 0 20 0 15 0 113751128 14311342080 9845 18446744073709551615 4194304 4196468 140720588271024 140211258902512 140211785304706 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32727040 140720588271986 140720588272169 140720588272169 140720588275663 0
[pid=21838/tid=21851] ppid=21835 vsize=13975920 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/21838/task/21851/stat : 21851 (java) S 21835 21838 12395 0 -1 1077944384 423 0 0 0 5 0 0 0 20 0 15 0 113751128 14311342080 9845 18446744073709551615 4194304 4196468 140720588271024 140211257850224 140211785304706 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32727040 140720588271986 140720588272169 140720588272169 140720588275663 0
[pid=21838/tid=21852] ppid=21835 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21838/task/21852/stat : 21852 (java) S 21835 21838 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113751128 14311342080 9845 18446744073709551615 4194304 4196468 140720588271024 140211256797664 140211785303765 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32727040 140720588271986 140720588272169 140720588272169 140720588275663 0
[pid=21838/tid=21853] ppid=21835 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21838/task/21853/stat : 21853 (java) S 21835 21838 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113751133 14311342080 9845 18446744073709551615 4194304 4196468 140720588271024 140211255745456 140211785304706 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32727040 140720588271986 140720588272169 140720588272169 140720588275663 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 13975920 KiB
Current children cumulated memory: 39380 KiB

[startup+0.700728 s]
/proc/loadavg: 1.59 1.43 1.41 3/214 21853
/proc/meminfo: memFree=30578044/32770624 swapFree=67108860/67108860
[pid=21838] ppid=21835 vsize=13977988 memory=71628 CPUtime=1.08 cores=0,2,4,6
/proc/21838/stat : 21838 (java) S 21835 21838 12395 0 -1 1077944320 14104 0 0 0 103 5 0 0 20 0 15 0 113751114 14313459712 17907 18446744073709551615 4194304 4196468 140720588271024 140720588253568 140211785293559 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 8 0 0 6293624 6294260 32727040 140720588271986 140720588272169 140720588272169 140720588275663 0
/proc/21838/statm: 3494497 17907 3734 1 0 3483271 0
[pid=21838/tid=21840] ppid=21835 vsize=13977988 memory=0 CPUtime=0.55 cores=0,2,4,6
/proc/21838/task/21840/stat : 21840 (java) R 21835 21838 12395 0 -1 4202560 10315 0 0 0 52 3 0 0 20 0 15 0 113751123 14313459712 17907 18446744073709551615 4194304 4196468 140720588271024 140211789528352 140211371789628 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 32727040 140720588271986 140720588272169 140720588272169 140720588275663 0
[pid=21838/tid=21841] ppid=21835 vsize=13977988 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21838/task/21841/stat : 21841 (java) S 21835 21838 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113751123 14313459712 17907 18446744073709551615 4194304 4196468 140720588271024 140211704707472 140211785303765 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32727040 140720588271986 140720588272169 140720588272169 140720588275663 0
[pid=21838/tid=21842] ppid=21835 vsize=13977988 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21838/task/21842/stat : 21842 (java) S 21835 21838 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113751123 14313459712 17907 18446744073709551615 4194304 4196468 140720588271024 140211703654672 140211785303765 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32727040 140720588271986 140720588272169 140720588272169 140720588275663 0
[pid=21838/tid=21843] ppid=21835 vsize=13977988 memory=60 CPUtime=0 cores=0,2,4,6
/proc/21838/task/21843/stat : 21843 (java) S 21835 21838 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113751123 14313459712 17907 18446744073709551615 4194304 4196468 140720588271024 140211702602384 140211785303765 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32727040 140720588271986 140720588272169 140720588272169 140720588275663 0
[pid=21838/tid=21844] ppid=21835 vsize=13977988 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21838/task/21844/stat : 21844 (java) S 21835 21838 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 113751123 14313459712 17907 18446744073709551615 4194304 4196468 140720588271024 140211701549584 140211785303765 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32727040 140720588271986 140720588272169 140720588272169 140720588275663 0
[pid=21838/tid=21845] ppid=21835 vsize=13977988 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21838/task/21845/stat : 21845 (java) S 21835 21838 12395 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 113751125 14313459712 17907 18446744073709551615 4194304 4196468 140720588271024 140211264166512 140211785304706 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32727040 140720588271986 140720588272169 140720588272169 140720588275663 0
[pid=21838/tid=21846] ppid=21835 vsize=13977988 memory=8174711894690576437 CPUtime=0 cores=0,2,4,6
/proc/21838/task/21846/stat : 21846 (java) S 21835 21838 12395 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 113751125 14313459712 17907 18446744073709551615 4194304 4196468 140720588271024 140211263112480 140211785303765 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32727040 140720588271986 140720588272169 140720588272169 140720588275663 0
[pid=21838/tid=21847] ppid=21835 vsize=13977988 memory=5864641367456703057 CPUtime=0 cores=0,2,4,6
/proc/21838/task/21847/stat : 21847 (java) S 21835 21838 12395 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 113751125 14313459712 17907 18446744073709551615 4194304 4196468 140720588271024 140211262060144 140211785303765 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32727040 140720588271986 140720588272169 140720588272169 140720588275663 0
[pid=21838/tid=21848] ppid=21835 vsize=13977988 memory=5787776803188794432 CPUtime=0 cores=0,2,4,6
/proc/21838/task/21848/stat : 21848 (java) S 21835 21838 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113751128 14313459712 17907 18446744073709551615 4194304 4196468 140720588271024 140211261008464 140211785312155 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32727040 140720588271986 140720588272169 140720588272169 140720588275663 0
[pid=21838/tid=21849] ppid=21835 vsize=13977988 memory=170926128 CPUtime=0.16 cores=0,2,4,6
/proc/21838/task/21849/stat : 21849 (java) S 21835 21838 12395 0 -1 1077944384 830 0 0 0 16 0 0 0 20 0 15 0 113751128 14313459712 17907 18446744073709551615 4194304 4196468 140720588271024 140211259955312 140211785304706 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32727040 140720588271986 140720588272169 140720588272169 140720588275663 0
[pid=21838/tid=21850] ppid=21835 vsize=13977988 memory=4132 CPUtime=0.14 cores=0,2,4,6
/proc/21838/task/21850/stat : 21850 (java) S 21835 21838 12395 0 -1 1077944384 710 0 0 0 14 0 0 0 20 0 15 0 113751128 14313459712 17907 18446744073709551615 4194304 4196468 140720588271024 140211258902512 140211785304706 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32727040 140720588271986 140720588272169 140720588272169 140720588275663 0
[pid=21838/tid=21851] ppid=21835 vsize=13977988 memory=0 CPUtime=0.2 cores=0,2,4,6
/proc/21838/task/21851/stat : 21851 (java) R 21835 21838 12395 0 -1 4202560 867 0 0 0 20 0 0 0 20 0 15 0 113751128 14313459712 17907 18446744073709551615 4194304 4196468 140720588271024 140211257846656 140211764248418 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32727040 140720588271986 140720588272169 140720588272169 140720588275663 0
[pid=21838/tid=21852] ppid=21835 vsize=13977988 memory=3688932733641563184 CPUtime=0 cores=0,2,4,6
/proc/21838/task/21852/stat : 21852 (java) S 21835 21838 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113751128 14313459712 17907 18446744073709551615 4194304 4196468 140720588271024 140211256797664 140211785303765 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32727040 140720588271986 140720588272169 140720588272169 140720588275663 0
[pid=21838/tid=21853] ppid=21835 vsize=13977988 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21838/task/21853/stat : 21853 (java) S 21835 21838 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113751133 14313459712 17907 18446744073709551615 4194304 4196468 140720588271024 140211255745456 140211785304706 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32727040 140720588271986 140720588272169 140720588272169 140720588275663 0
Current children cumulated CPU time: 1.08 s
Current children cumulated vsize: 13977988 KiB
Current children cumulated memory: 71628 KiB

[startup+1.50468 s]
/proc/loadavg: 1.59 1.43 1.41 6/214 21853
/proc/meminfo: memFree=30514172/32770624 swapFree=67108860/67108860
[pid=21838] ppid=21835 vsize=13982084 memory=180392 CPUtime=3.44 cores=0,2,4,6
/proc/21838/stat : 21838 (java) S 21835 21838 12395 0 -1 1077944320 25669 0 0 0 335 9 0 0 20 0 15 0 113751114 14317654016 45098 18446744073709551615 4194304 4196468 140720588271024 140720588253568 140211785293559 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 8 0 0 6293624 6294260 32727040 140720588271986 140720588272169 140720588272169 140720588275663 0
/proc/21838/statm: 3495521 45098 3757 1 0 3484295 0
[pid=21838/tid=21840] ppid=21835 vsize=13982084 memory=0 CPUtime=1.34 cores=0,2,4,6
/proc/21838/task/21840/stat : 21840 (java) R 21835 21838 12395 0 -1 4202560 15088 0 0 0 128 6 0 0 20 0 15 0 113751123 14317654016 45098 18446744073709551615 4194304 4196468 140720588271024 140211789529120 140211765204734 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 32727040 140720588271986 140720588272169 140720588272169 140720588275663 0
[pid=21838/tid=21841] ppid=21835 vsize=13982084 memory=71628 CPUtime=0 cores=0,2,4,6
/proc/21838/task/21841/stat : 21841 (java) S 21835 21838 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113751123 14317654016 45098 18446744073709551615 4194304 4196468 140720588271024 140211704707472 140211785303765 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32727040 140720588271986 140720588272169 140720588272169 140720588275663 0
[pid=21838/tid=21842] ppid=21835 vsize=13982084 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21838/task/21842/stat : 21842 (java) S 21835 21838 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113751123 14317654016 45098 18446744073709551615 4194304 4196468 140720588271024 140211703654672 140211785303765 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32727040 140720588271986 140720588272169 140720588272169 140720588275663 0
[pid=21838/tid=21843] ppid=21835 vsize=13982084 memory=280569409778944 CPUtime=0 cores=0,2,4,6
/proc/21838/task/21843/stat : 21843 (java) S 21835 21838 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113751123 14317654016 45098 18446744073709551615 4194304 4196468 140720588271024 140211702602384 140211785303765 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32727040 140720588271986 140720588272169 140720588272169 140720588275663 0
[pid=21838/tid=21844] ppid=21835 vsize=13982084 memory=280569409783360 CPUtime=0 cores=0,2,4,6
/proc/21838/task/21844/stat : 21844 (java) S 21835 21838 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 113751123 14317654016 45098 18446744073709551615 4194304 4196468 140720588271024 140211701549584 140211785303765 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32727040 140720588271986 140720588272169 140720588272169 140720588275663 0
[pid=21838/tid=21845] ppid=21835 vsize=13982084 memory=280569409778864 CPUtime=0 cores=0,2,4,6
/proc/21838/task/21845/stat : 21845 (java) S 21835 21838 12395 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 15 0 113751125 14317654016 45098 18446744073709551615 4194304 4196468 140720588271024 140211264166512 140211785304706 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32727040 140720588271986 140720588272169 140720588272169 140720588275663 0
[pid=21838/tid=21846] ppid=21835 vsize=13982084 memory=288230583166042426 CPUtime=0 cores=0,2,4,6
/proc/21838/task/21846/stat : 21846 (java) S 21835 21838 12395 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 113751125 14317654016 45098 18446744073709551615 4194304 4196468 140720588271024 140211263112480 140211785303765 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32727040 140720588271986 140720588272169 140720588272169 140720588275663 0
[pid=21838/tid=21847] ppid=21835 vsize=13982084 memory=14695184197749125 CPUtime=0 cores=0,2,4,6
/proc/21838/task/21847/stat : 21847 (java) S 21835 21838 12395 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 113751125 14317654016 45098 18446744073709551615 4194304 4196468 140720588271024 140211262060144 140211785303765 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32727040 140720588271986 140720588272169 140720588272169 140720588275663 0
[pid=21838/tid=21848] ppid=21835 vsize=13982084 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21838/task/21848/stat : 21848 (java) S 21835 21838 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113751128 14317654016 45098 18446744073709551615 4194304 4196468 140720588271024 140211261008464 140211785312155 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32727040 140720588271986 140720588272169 140720588272169 140720588275663 0
[pid=21838/tid=21849] ppid=21835 vsize=13982084 memory=0 CPUtime=0.78 cores=0,2,4,6
/proc/21838/task/21849/stat : 21849 (java) R 21835 21838 12395 0 -1 4202560 3177 0 0 0 77 1 0 0 20 0 15 0 113751128 14317654016 45098 18446744073709551615 4194304 4196468 140720588271024 140211259942544 140211765147110 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32727040 140720588271986 140720588272169 140720588272169 140720588275663 0
[pid=21838/tid=21850] ppid=21835 vsize=13982084 memory=-7812736537705029536 CPUtime=0.65 cores=0,2,4,6
/proc/21838/task/21850/stat : 21850 (java) D 21835 21838 12395 0 -1 4202560 2572 0 0 0 65 0 0 0 20 0 15 0 113751128 14317654016 45098 18446744073709551615 4194304 4196468 140720588271024 140211258883528 140211765993856 0 4 1 16800974 18446744071582151416 0 0 -1 2 0 0 0 0 0 6293624 6294260 32727040 140720588271986 140720588272169 140720588272169 140720588275663 0
[pid=21838/tid=21851] ppid=21835 vsize=13982084 memory=6944656592455360569 CPUtime=0.63 cores=0,2,4,6
/proc/21838/task/21851/stat : 21851 (java) R 21835 21838 12395 0 -1 4202560 3432 0 0 0 62 1 0 0 20 0 15 0 113751128 14317654016 45098 18446744073709551615 4194304 4196468 140720588271024 140211257845176 140211778010711 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32727040 140720588271986 140720588272169 140720588272169 140720588275663 0
[pid=21838/tid=21852] ppid=21835 vsize=13982084 memory=-6948047529741492128 CPUtime=0 cores=0,2,4,6
/proc/21838/task/21852/stat : 21852 (java) S 21835 21838 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113751128 14317654016 45098 18446744073709551615 4194304 4196468 140720588271024 140211256797664 140211785303765 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32727040 140720588271986 140720588272169 140720588272169 140720588275663 0

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

/proc/21838/task/21840/stat : 21840 (java) R 21835 21838 12395 0 -1 4202560 143915 0 0 0 230494 90 0 0 20 0 15 0 113751123 14319751168 601565 18446744073709551615 4194304 4196468 140720588271024 140211789531744 140211383124474 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 32727040 140720588271986 140720588272169 140720588272169 140720588275663 0
[pid=21838/tid=21841] ppid=21835 vsize=13984132 memory=2441096 CPUtime=14.85 cores=0,2,4,6
/proc/21838/task/21841/stat : 21841 (java) S 21835 21838 12395 0 -1 1077944384 16363 0 0 0 1439 46 0 0 20 0 15 0 113751123 14319751168 601565 18446744073709551615 4194304 4196468 140720588271024 140211704707472 140211785303765 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32727040 140720588271986 140720588272169 140720588272169 140720588275663 0
[pid=21838/tid=21842] ppid=21835 vsize=13984132 memory=2430836 CPUtime=14.83 cores=0,2,4,6
/proc/21838/task/21842/stat : 21842 (java) S 21835 21838 12395 0 -1 1077944384 18191 0 0 0 1436 47 0 0 20 0 15 0 113751123 14319751168 601565 18446744073709551615 4194304 4196468 140720588271024 140211703654672 140211785303765 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32727040 140720588271986 140720588272169 140720588272169 140720588275663 0
[pid=21838/tid=21843] ppid=21835 vsize=13984132 memory=2418524 CPUtime=14.85 cores=0,2,4,6
/proc/21838/task/21843/stat : 21843 (java) S 21835 21838 12395 0 -1 1077944384 17547 0 0 0 1439 46 0 0 20 0 15 0 113751123 14319751168 601565 18446744073709551615 4194304 4196468 140720588271024 140211702602384 140211785303765 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32727040 140720588271986 140720588272169 140720588272169 140720588275663 0
[pid=21838/tid=21844] ppid=21835 vsize=13984132 memory=2416520 CPUtime=14.83 cores=0,2,4,6
/proc/21838/task/21844/stat : 21844 (java) S 21835 21838 12395 0 -1 1077944384 19508 0 0 0 1436 47 0 0 20 0 15 0 113751123 14319751168 601565 18446744073709551615 4194304 4196468 140720588271024 140211701549584 140211785303765 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32727040 140720588271986 140720588272169 140720588272169 140720588275663 0
[pid=21838/tid=21845] ppid=21835 vsize=13984132 memory=2416520 CPUtime=0.92 cores=0,2,4,6
/proc/21838/task/21845/stat : 21845 (java) S 21835 21838 12395 0 -1 1077944384 60832 0 0 0 74 18 0 0 20 0 15 0 113751125 14319751168 601565 18446744073709551615 4194304 4196468 140720588271024 140211264166512 140211785304706 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32727040 140720588271986 140720588272169 140720588272169 140720588275663 0
[pid=21838/tid=21846] ppid=21835 vsize=13984132 memory=2406260 CPUtime=0 cores=0,2,4,6
/proc/21838/task/21846/stat : 21846 (java) S 21835 21838 12395 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 113751125 14319751168 601565 18446744073709551615 4194304 4196468 140720588271024 140211263112544 140211785303765 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32727040 140720588271986 140720588272169 140720588272169 140720588275663 0
[pid=21838/tid=21847] ppid=21835 vsize=13984132 memory=2416520 CPUtime=0 cores=0,2,4,6
/proc/21838/task/21847/stat : 21847 (java) S 21835 21838 12395 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 15 0 113751125 14319751168 601565 18446744073709551615 4194304 4196468 140720588271024 140211262060160 140211785303765 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32727040 140720588271986 140720588272169 140720588272169 140720588275663 0
[pid=21838/tid=21848] ppid=21835 vsize=13984132 memory=2416520 CPUtime=0 cores=0,2,4,6
/proc/21838/task/21848/stat : 21848 (java) S 21835 21838 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113751128 14319751168 601565 18446744073709551615 4194304 4196468 140720588271024 140211261008464 140211785312155 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32727040 140720588271986 140720588272169 140720588272169 140720588275663 0
[pid=21838/tid=21849] ppid=21835 vsize=13984132 memory=2441096 CPUtime=3.68 cores=0,2,4,6
/proc/21838/task/21849/stat : 21849 (java) S 21835 21838 12395 0 -1 1077944384 30513 0 0 0 364 4 0 0 20 0 15 0 113751128 14319751168 601565 18446744073709551615 4194304 4196468 140720588271024 140211259955312 140211785304706 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32727040 140720588271986 140720588272169 140720588272169 140720588275663 0
[pid=21838/tid=21850] ppid=21835 vsize=13984132 memory=2460 CPUtime=3.48 cores=0,2,4,6
/proc/21838/task/21850/stat : 21850 (java) S 21835 21838 12395 0 -1 1077944384 29047 0 0 0 344 4 0 0 20 0 15 0 113751128 14319751168 601565 18446744073709551615 4194304 4196468 140720588271024 140211258902512 140211785304706 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32727040 140720588271986 140720588272169 140720588272169 140720588275663 0
[pid=21838/tid=21851] ppid=21835 vsize=13984132 memory=2416520 CPUtime=1.3 cores=0,2,4,6
/proc/21838/task/21851/stat : 21851 (java) S 21835 21838 12395 0 -1 1077944384 34280 0 0 0 126 4 0 0 20 0 15 0 113751128 14319751168 601565 18446744073709551615 4194304 4196468 140720588271024 140211257850224 140211785304706 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32727040 140720588271986 140720588272169 140720588272169 140720588275663 0
[pid=21838/tid=21852] ppid=21835 vsize=13984132 memory=2416520 CPUtime=0 cores=0,2,4,6
/proc/21838/task/21852/stat : 21852 (java) S 21835 21838 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113751128 14319751168 601565 18446744073709551615 4194304 4196468 140720588271024 140211256797664 140211785303765 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32727040 140720588271986 140720588272169 140720588272169 140720588275663 0
[pid=21838/tid=21853] ppid=21835 vsize=13984132 memory=4132 CPUtime=1.29 cores=0,2,4,6
/proc/21838/task/21853/stat : 21853 (java) S 21835 21838 12395 0 -1 1077944384 1577 0 0 0 65 64 0 0 20 0 15 0 113751133 14319751168 601565 18446744073709551615 4194304 4196468 140720588271024 140211255745456 140211785304706 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32727040 140720588271986 140720588272169 140720588272169 140720588275663 0
Current children cumulated CPU time: 2375.97 s
Current children cumulated vsize: 13984132 KiB
Current children cumulated memory: 2406260 KiB

[startup+2382.3 s]
/proc/loadavg: 1.47 1.41 1.47 3/214 22105
/proc/meminfo: memFree=27772136/32770624 swapFree=67108860/67108860
[pid=21838] ppid=21835 vsize=13984132 memory=2317512 CPUtime=2437.38 cores=0,2,4,6
/proc/21838/stat : 21838 (java) S 21835 21838 12395 0 -1 1077944320 377654 0 0 0 243380 358 0 0 20 0 15 0 113751114 14319751168 579378 18446744073709551615 4194304 4196468 140720588271024 140720588253568 140211785293559 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 8 0 0 6293624 6294260 32727040 140720588271986 140720588272169 140720588272169 140720588275663 0
/proc/21838/statm: 3496033 579378 3841 1 0 3484807 0
[pid=21838/tid=21840] ppid=21835 vsize=13984132 memory=2318028 CPUtime=2365.33 cores=0,2,4,6
/proc/21838/task/21840/stat : 21840 (java) R 21835 21838 12395 0 -1 4202560 147151 0 0 0 236443 90 0 0 20 0 15 0 113751123 14319751168 579378 18446744073709551615 4194304 4196468 140720588271024 140211789531696 140211384134084 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 32727040 140720588271986 140720588272169 140720588272169 140720588275663 0
[pid=21838/tid=21841] ppid=21835 vsize=13984132 memory=2330340 CPUtime=15.31 cores=0,2,4,6
/proc/21838/task/21841/stat : 21841 (java) S 21835 21838 12395 0 -1 1077944384 16513 0 0 0 1485 46 0 0 20 0 15 0 113751123 14319751168 579378 18446744073709551615 4194304 4196468 140720588271024 140211704707472 140211785303765 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32727040 140720588271986 140720588272169 140720588272169 140720588275663 0
[pid=21838/tid=21842] ppid=21835 vsize=13984132 memory=2342136 CPUtime=15.29 cores=0,2,4,6
/proc/21838/task/21842/stat : 21842 (java) S 21835 21838 12395 0 -1 1077944384 18394 0 0 0 1482 47 0 0 20 0 15 0 113751123 14319751168 579378 18446744073709551615 4194304 4196468 140720588271024 140211703654672 140211785303765 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32727040 140720588271986 140720588272169 140720588272169 140720588275663 0
[pid=21838/tid=21843] ppid=21835 vsize=13984132 memory=2330340 CPUtime=15.31 cores=0,2,4,6
/proc/21838/task/21843/stat : 21843 (java) S 21835 21838 12395 0 -1 1077944384 17828 0 0 0 1485 46 0 0 20 0 15 0 113751123 14319751168 579378 18446744073709551615 4194304 4196468 140720588271024 140211702602384 140211785303765 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32727040 140720588271986 140720588272169 140720588272169 140720588275663 0
[pid=21838/tid=21844] ppid=21835 vsize=13984132 memory=280569410657760 CPUtime=15.3 cores=0,2,4,6
/proc/21838/task/21844/stat : 21844 (java) S 21835 21838 12395 0 -1 1077944384 19837 0 0 0 1482 48 0 0 20 0 15 0 113751123 14319751168 579378 18446744073709551615 4194304 4196468 140720588271024 140211701549584 140211785303765 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32727040 140720588271986 140720588272169 140720588272169 140720588275663 0
[pid=21838/tid=21845] ppid=21835 vsize=13984132 memory=2318028 CPUtime=0.94 cores=0,2,4,6
/proc/21838/task/21845/stat : 21845 (java) S 21835 21838 12395 0 -1 1077944384 61000 0 0 0 76 18 0 0 20 0 15 0 113751125 14319751168 579378 18446744073709551615 4194304 4196468 140720588271024 140211264166512 140211785304706 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32727040 140720588271986 140720588272169 140720588272169 140720588275663 0
[pid=21838/tid=21846] ppid=21835 vsize=13984132 memory=2318028 CPUtime=0 cores=0,2,4,6
/proc/21838/task/21846/stat : 21846 (java) S 21835 21838 12395 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 113751125 14319751168 579378 18446744073709551615 4194304 4196468 140720588271024 140211263112544 140211785303765 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32727040 140720588271986 140720588272169 140720588272169 140720588275663 0
[pid=21838/tid=21847] ppid=21835 vsize=13984132 memory=2317512 CPUtime=0 cores=0,2,4,6
/proc/21838/task/21847/stat : 21847 (java) S 21835 21838 12395 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 15 0 113751125 14319751168 579378 18446744073709551615 4194304 4196468 140720588271024 140211262060160 140211785303765 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32727040 140720588271986 140720588272169 140720588272169 140720588275663 0
[pid=21838/tid=21848] ppid=21835 vsize=13984132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21838/task/21848/stat : 21848 (java) S 21835 21838 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113751128 14319751168 579378 18446744073709551615 4194304 4196468 140720588271024 140211261008464 140211785312155 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32727040 140720588271986 140720588272169 140720588272169 140720588275663 0
[pid=21838/tid=21849] ppid=21835 vsize=13984132 memory=2354448 CPUtime=3.69 cores=0,2,4,6
/proc/21838/task/21849/stat : 21849 (java) S 21835 21838 12395 0 -1 1077944384 30516 0 0 0 365 4 0 0 20 0 15 0 113751128 14319751168 579378 18446744073709551615 4194304 4196468 140720588271024 140211259955312 140211785304706 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32727040 140720588271986 140720588272169 140720588272169 140720588275663 0
[pid=21838/tid=21850] ppid=21835 vsize=13984132 memory=2354448 CPUtime=3.48 cores=0,2,4,6
/proc/21838/task/21850/stat : 21850 (java) S 21835 21838 12395 0 -1 1077944384 29049 0 0 0 344 4 0 0 20 0 15 0 113751128 14319751168 579378 18446744073709551615 4194304 4196468 140720588271024 140211258902512 140211785304706 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32727040 140720588271986 140720588272169 140720588272169 140720588275663 0
[pid=21838/tid=21851] ppid=21835 vsize=13984132 memory=1728 CPUtime=1.3 cores=0,2,4,6
/proc/21838/task/21851/stat : 21851 (java) S 21835 21838 12395 0 -1 1077944384 34282 0 0 0 126 4 0 0 20 0 15 0 113751128 14319751168 579378 18446744073709551615 4194304 4196468 140720588271024 140211257850224 140211785304706 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32727040 140720588271986 140720588272169 140720588272169 140720588275663 0
[pid=21838/tid=21852] ppid=21835 vsize=13984132 memory=1012 CPUtime=0 cores=0,2,4,6
/proc/21838/task/21852/stat : 21852 (java) S 21835 21838 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113751128 14319751168 579378 18446744073709551615 4194304 4196468 140720588271024 140211256797664 140211785303765 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32727040 140720588271986 140720588272169 140720588272169 140720588275663 0
[pid=21838/tid=21853] ppid=21835 vsize=13984132 memory=1228 CPUtime=1.33 cores=0,2,4,6
/proc/21838/task/21853/stat : 21853 (java) S 21835 21838 12395 0 -1 1077944384 1600 0 0 0 67 66 0 0 20 0 15 0 113751133 14319751168 579378 18446744073709551615 4194304 4196468 140720588271024 140211255745456 140211785304706 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32727040 140720588271986 140720588272169 140720588272169 140720588275663 0
Current children cumulated CPU time: 2437.38 s
Current children cumulated vsize: 13984132 KiB
Current children cumulated memory: 2317512 KiB

[startup+2442.3 s]
/proc/loadavg: 1.29 1.37 1.45 3/213 22108
/proc/meminfo: memFree=27976624/32770624 swapFree=67108860/67108860
[pid=21838] ppid=21835 vsize=13984132 memory=2207256 CPUtime=2499.25 cores=0,2,4,6
/proc/21838/stat : 21838 (java) S 21835 21838 12395 0 -1 1077944320 385232 0 0 0 249563 362 0 0 20 0 15 0 113751114 14319751168 551814 18446744073709551615 4194304 4196468 140720588271024 140720588253568 140211785293559 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 8 0 0 6293624 6294260 32727040 140720588271986 140720588272169 140720588272169 140720588275663 0
/proc/21838/statm: 3496033 551814 3841 1 0 3484807 0
[pid=21838/tid=21840] ppid=21835 vsize=13984132 memory=2207256 CPUtime=2424.64 cores=0,2,4,6
/proc/21838/task/21840/stat : 21840 (java) R 21835 21838 12395 0 -1 4202560 149552 0 0 0 242373 91 0 0 20 0 15 0 113751123 14319751168 551814 18446744073709551615 4194304 4196468 140720588271024 140211789531744 140211383124457 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 32727040 140720588271986 140720588272169 140720588272169 140720588275663 0
[pid=21838/tid=21841] ppid=21835 vsize=13984132 memory=2219052 CPUtime=15.93 cores=0,2,4,6
/proc/21838/task/21841/stat : 21841 (java) S 21835 21838 12395 0 -1 1077944384 17172 0 0 0 1547 46 0 0 20 0 15 0 113751123 14319751168 551814 18446744073709551615 4194304 4196468 140720588271024 140211704707472 140211785303765 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32727040 140720588271986 140720588272169 140720588272169 140720588275663 0
[pid=21838/tid=21842] ppid=21835 vsize=13984132 memory=2231364 CPUtime=15.91 cores=0,2,4,6
/proc/21838/task/21842/stat : 21842 (java) S 21835 21838 12395 0 -1 1077944384 18974 0 0 0 1544 47 0 0 20 0 15 0 113751123 14319751168 551814 18446744073709551615 4194304 4196468 140720588271024 140211703654672 140211785303765 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32727040 140720588271986 140720588272169 140720588272169 140720588275663 0
[pid=21838/tid=21843] ppid=21835 vsize=13984132 memory=2317512 CPUtime=15.93 cores=0,2,4,6
/proc/21838/task/21843/stat : 21843 (java) S 21835 21838 12395 0 -1 1077944384 18473 0 0 0 1547 46 0 0 20 0 15 0 113751123 14319751168 551814 18446744073709551615 4194304 4196468 140720588271024 140211702602384 140211785303765 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32727040 140720588271986 140720588272169 140720588272169 140720588275663 0
[pid=21838/tid=21844] ppid=21835 vsize=13984132 memory=2305716 CPUtime=15.92 cores=0,2,4,6
/proc/21838/task/21844/stat : 21844 (java) S 21835 21838 12395 0 -1 1077944384 20777 0 0 0 1544 48 0 0 20 0 15 0 113751123 14319751168 551814 18446744073709551615 4194304 4196468 140720588271024 140211701549584 140211785303765 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32727040 140720588271986 140720588272169 140720588272169 140720588275663 0
[pid=21838/tid=21845] ppid=21835 vsize=13984132 memory=2317512 CPUtime=0.98 cores=0,2,4,6
/proc/21838/task/21845/stat : 21845 (java) S 21835 21838 12395 0 -1 1077944384 63328 0 0 0 79 19 0 0 20 0 15 0 113751125 14319751168 551814 18446744073709551615 4194304 4196468 140720588271024 140211264166512 140211785304706 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32727040 140720588271986 140720588272169 140720588272169 140720588275663 0
[pid=21838/tid=21846] ppid=21835 vsize=13984132 memory=2244192 CPUtime=0 cores=0,2,4,6
/proc/21838/task/21846/stat : 21846 (java) S 21835 21838 12395 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 113751125 14319751168 551814 18446744073709551615 4194304 4196468 140720588271024 140211263112544 140211785303765 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32727040 140720588271986 140720588272169 140720588272169 140720588275663 0
[pid=21838/tid=21847] ppid=21835 vsize=13984132 memory=2243676 CPUtime=0 cores=0,2,4,6
/proc/21838/task/21847/stat : 21847 (java) S 21835 21838 12395 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 15 0 113751125 14319751168 551814 18446744073709551615 4194304 4196468 140720588271024 140211262060160 140211785303765 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32727040 140720588271986 140720588272169 140720588272169 140720588275663 0
[pid=21838/tid=21848] ppid=21835 vsize=13984132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21838/task/21848/stat : 21848 (java) S 21835 21838 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113751128 14319751168 551814 18446744073709551615 4194304 4196468 140720588271024 140211261008464 140211785312155 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32727040 140720588271986 140720588272169 140720588272169 140720588275663 0
[pid=21838/tid=21849] ppid=21835 vsize=13984132 memory=2219568 CPUtime=3.69 cores=0,2,4,6
/proc/21838/task/21849/stat : 21849 (java) S 21835 21838 12395 0 -1 1077944384 30518 0 0 0 365 4 0 0 20 0 15 0 113751128 14319751168 551814 18446744073709551615 4194304 4196468 140720588271024 140211259955312 140211785304706 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32727040 140720588271986 140720588272169 140720588272169 140720588275663 0
[pid=21838/tid=21850] ppid=21835 vsize=13984132 memory=2207256 CPUtime=3.48 cores=0,2,4,6
/proc/21838/task/21850/stat : 21850 (java) S 21835 21838 12395 0 -1 1077944384 29052 0 0 0 344 4 0 0 20 0 15 0 113751128 14319751168 551814 18446744073709551615 4194304 4196468 140720588271024 140211258902512 140211785304706 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32727040 140720588271986 140720588272169 140720588272169 140720588275663 0
[pid=21838/tid=21851] ppid=21835 vsize=13984132 memory=2772 CPUtime=1.3 cores=0,2,4,6
/proc/21838/task/21851/stat : 21851 (java) S 21835 21838 12395 0 -1 1077944384 34284 0 0 0 126 4 0 0 20 0 15 0 113751128 14319751168 551814 18446744073709551615 4194304 4196468 140720588271024 140211257850224 140211785304706 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32727040 140720588271986 140720588272169 140720588272169 140720588275663 0
[pid=21838/tid=21852] ppid=21835 vsize=13984132 memory=2244192 CPUtime=0 cores=0,2,4,6
/proc/21838/task/21852/stat : 21852 (java) S 21835 21838 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113751128 14319751168 551814 18446744073709551615 4194304 4196468 140720588271024 140211256797664 140211785303765 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32727040 140720588271986 140720588272169 140720588272169 140720588275663 0
[pid=21838/tid=21853] ppid=21835 vsize=13984132 memory=2219568 CPUtime=1.37 cores=0,2,4,6
/proc/21838/task/21853/stat : 21853 (java) S 21835 21838 12395 0 -1 1077944384 1618 0 0 0 68 69 0 0 20 0 15 0 113751133 14319751168 551814 18446744073709551615 4194304 4196468 140720588271024 140211255745456 140211785304706 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32727040 140720588271986 140720588272169 140720588272169 140720588275663 0
Current children cumulated CPU time: 2499.25 s
Current children cumulated vsize: 13984132 KiB
Current children cumulated memory: 2207256 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2462.6 s]
/proc/loadavg: 1.21 1.34 1.44 3/213 22108
/proc/meminfo: memFree=27913468/32770624 swapFree=67108860/67108860
[pid=21838] ppid=21835 vsize=13984132 memory=2195744 CPUtime=2520.05 cores=0,2,4,6
/proc/21838/stat : 21838 (java) S 21835 21838 12395 0 -1 1077944320 387587 0 0 0 251640 365 0 0 20 0 15 0 113751114 14319751168 548936 18446744073709551615 4194304 4196468 140720588271024 140720588253568 140211785293559 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 8 0 0 6293624 6294260 32727040 140720588271986 140720588272169 140720588272169 140720588275663 0
/proc/21838/statm: 3496033 548936 3841 1 0 3484807 0
[pid=21838/tid=21840] ppid=21835 vsize=13984132 memory=-8774313645642428999 CPUtime=2444.76 cores=0,2,4,6
/proc/21838/task/21840/stat : 21840 (java) R 21835 21838 12395 0 -1 4202560 150624 0 0 0 244385 91 0 0 20 0 15 0 113751123 14319751168 548936 18446744073709551615 4194304 4196468 140720588271024 140211789531584 140211383561360 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 32727040 140720588271986 140720588272169 140720588272169 140720588275663 0
[pid=21838/tid=21841] ppid=21835 vsize=13984132 memory=1716 CPUtime=16.09 cores=0,2,4,6
/proc/21838/task/21841/stat : 21841 (java) S 21835 21838 12395 0 -1 1077944384 17412 0 0 0 1563 46 0 0 20 0 15 0 113751123 14319751168 548936 18446744073709551615 4194304 4196468 140720588271024 140211704707472 140211785303765 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32727040 140720588271986 140720588272169 140720588272169 140720588275663 0
[pid=21838/tid=21842] ppid=21835 vsize=13984132 memory=9036 CPUtime=16.08 cores=0,2,4,6
/proc/21838/task/21842/stat : 21842 (java) S 21835 21838 12395 0 -1 1077944384 19197 0 0 0 1560 48 0 0 20 0 15 0 113751123 14319751168 548936 18446744073709551615 4194304 4196468 140720588271024 140211703654672 140211785303765 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32727040 140720588271986 140720588272169 140720588272169 140720588275663 0
[pid=21838/tid=21843] ppid=21835 vsize=13984132 memory=1436 CPUtime=16.1 cores=0,2,4,6
/proc/21838/task/21843/stat : 21843 (java) S 21835 21838 12395 0 -1 1077944384 18741 0 0 0 1563 47 0 0 20 0 15 0 113751123 14319751168 548936 18446744073709551615 4194304 4196468 140720588271024 140211702602384 140211785303765 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32727040 140720588271986 140720588272169 140720588272169 140720588275663 0
[pid=21838/tid=21844] ppid=21835 vsize=13984132 memory=928 CPUtime=16.08 cores=0,2,4,6
/proc/21838/task/21844/stat : 21844 (java) S 21835 21838 12395 0 -1 1077944384 21012 0 0 0 1560 48 0 0 20 0 15 0 113751123 14319751168 548936 18446744073709551615 4194304 4196468 140720588271024 140211701549584 140211785303765 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32727040 140720588271986 140720588272169 140720588272169 140720588275663 0
[pid=21838/tid=21845] ppid=21835 vsize=13984132 memory=2160 CPUtime=0.99 cores=0,2,4,6
/proc/21838/task/21845/stat : 21845 (java) S 21835 21838 12395 0 -1 1077944384 63620 0 0 0 80 19 0 0 20 0 15 0 113751125 14319751168 548936 18446744073709551615 4194304 4196468 140720588271024 140211264166512 140211785304706 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32727040 140720588271986 140720588272169 140720588272169 140720588275663 0
[pid=21838/tid=21846] ppid=21835 vsize=13984132 memory=840 CPUtime=0 cores=0,2,4,6
/proc/21838/task/21846/stat : 21846 (java) S 21835 21838 12395 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 113751125 14319751168 548936 18446744073709551615 4194304 4196468 140720588271024 140211263112544 140211785303765 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32727040 140720588271986 140720588272169 140720588272169 140720588275663 0
[pid=21838/tid=21847] ppid=21835 vsize=13984132 memory=3904 CPUtime=0 cores=0,2,4,6
/proc/21838/task/21847/stat : 21847 (java) S 21835 21838 12395 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 15 0 113751125 14319751168 548936 18446744073709551615 4194304 4196468 140720588271024 140211262060160 140211785303765 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32727040 140720588271986 140720588272169 140720588272169 140720588275663 0
[pid=21838/tid=21848] ppid=21835 vsize=13984132 memory=4612 CPUtime=0 cores=0,2,4,6
/proc/21838/task/21848/stat : 21848 (java) S 21835 21838 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113751128 14319751168 548936 18446744073709551615 4194304 4196468 140720588271024 140211261008464 140211785312155 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32727040 140720588271986 140720588272169 140720588272169 140720588275663 0
[pid=21838/tid=21849] ppid=21835 vsize=13984132 memory=1716 CPUtime=3.69 cores=0,2,4,6
/proc/21838/task/21849/stat : 21849 (java) S 21835 21838 12395 0 -1 1077944384 30520 0 0 0 365 4 0 0 20 0 15 0 113751128 14319751168 548936 18446744073709551615 4194304 4196468 140720588271024 140211259955312 140211785304706 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32727040 140720588271986 140720588272169 140720588272169 140720588275663 0
[pid=21838/tid=21850] ppid=21835 vsize=13984132 memory=9036 CPUtime=3.48 cores=0,2,4,6
/proc/21838/task/21850/stat : 21850 (java) S 21835 21838 12395 0 -1 1077944384 29054 0 0 0 344 4 0 0 20 0 15 0 113751128 14319751168 548936 18446744073709551615 4194304 4196468 140720588271024 140211258902512 140211785304706 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32727040 140720588271986 140720588272169 140720588272169 140720588275663 0
[pid=21838/tid=21851] ppid=21835 vsize=13984132 memory=1436 CPUtime=1.3 cores=0,2,4,6
/proc/21838/task/21851/stat : 21851 (java) S 21835 21838 12395 0 -1 1077944384 34286 0 0 0 126 4 0 0 20 0 15 0 113751128 14319751168 548936 18446744073709551615 4194304 4196468 140720588271024 140211257850224 140211785304706 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32727040 140720588271986 140720588272169 140720588272169 140720588275663 0
[pid=21838/tid=21852] ppid=21835 vsize=13984132 memory=1196 CPUtime=0 cores=0,2,4,6
/proc/21838/task/21852/stat : 21852 (java) S 21835 21838 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113751128 14319751168 548936 18446744073709551615 4194304 4196468 140720588271024 140211256797664 140211785303765 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32727040 140720588271986 140720588272169 140720588272169 140720588275663 0
[pid=21838/tid=21853] ppid=21835 vsize=13984132 memory=15884 CPUtime=1.39 cores=0,2,4,6
/proc/21838/task/21853/stat : 21853 (java) S 21835 21838 12395 0 -1 1077944384 1637 0 0 0 69 70 0 0 20 0 15 0 113751133 14319751168 548936 18446744073709551615 4194304 4196468 140720588271024 140211255745456 140211785304706 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32727040 140720588271986 140720588272169 140720588272169 140720588275663 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 13984132 KiB
Current children cumulated memory: 2195744 KiB

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

[startup+2462.62 s]
# the end of solver process 21838 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2516.44 s, system=3.66225 s

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

Child status: 143
Real time (s): 2462.62
CPU time (s): 2520.1
CPU user time (s): 2516.44
CPU system time (s): 3.66225
CPU usage (%): 102.334
Max. virtual memory (cumulated for all children) (KiB): 13984132
Max. memory (cumulated for all children) (KiB): 3877344

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.44
system time used= 3.66225
maximum resident set size= 3914312
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 388249
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3128
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 72593
involuntary context switches= 4177


# summary of solver processes directly reported to runsolver:
#   pid: 21838
#   total CPU time (s): 2520.1
#   total CPU user time (s): 2516.44
#   total CPU system time (s): 3.66225

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.7588 second user time and 24.0102 second system time

The end

Launcher Data 

Begin job on node135 at 2017-08-14 15:32:44
IDJOB=4274740
IDBENCH=115882
IDSOLVER=2667
FILE ID=node135/4274740-1502718397
RUNJOBID= node135-1502658244-13744
PBS_JOBID= 
Free space on /tmp= 61988 MiB

SOLVER NAME= OscaR - Hybrid 2017-07-26
BENCH NAME= XCSP17/StillLife/StillLife-wst-s1/StillLife-wastage-50.xml
COMMAND LINE= java -Xmx11000m -jar oscar-cp-xcsp3-hybrid.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 11000 --nbcore NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4274740-1502718397/watcher-4274740-1502718397 -o /tmp/evaluation-result-4274740-1502718397/solver-4274740-1502718397 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1502658244-13744 --watchdog 2580  java -Xmx11000m -jar oscar-cp-xcsp3-hybrid.jar --randomseed 2074883484 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4274740-1502718397.xml

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

MD5SUM BENCH= b46c08097c4951fbb159b9042bff535d
RANDOM SEED=2074883484

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        30618040 kB
MemAvailable:   31634404 kB
Buffers:          319672 kB
Cached:           992528 kB
SwapCached:            0 kB
Active:          1128468 kB
Inactive:         573116 kB
Active(anon):     389968 kB
Inactive(anon):    41324 kB
Active(file):     738500 kB
Inactive(file):   531792 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             42452 kB
Writeback:             0 kB
AnonPages:        389272 kB
Mapped:            71980 kB
Shmem:             41656 kB
Slab:             151608 kB
SReclaimable:     123812 kB
SUnreclaim:        27796 kB
KernelStack:        3472 kB
PageTables:         6976 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     990392 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      354332 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    319488 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      122240 kB
DirectMap2M:    33423360 kB

Free space on /tmp at the end= 61948 MiB
End job on node135 at 2017-08-14 16:13:47