Trace number 4273750

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
OscaR - Conflict Ordering 2017-07-26SAT (TO)700 2520.1399 2495.54

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.27/0.38	c version: 2017-07-26
0.27/0.38	c seed: 544311900
0.27/0.38	c timeout: 2520
0.27/0.38	c memlimit: 11000
0.27/0.38	c nbcore: 4
0.27/0.40	c Parsing instance...
6.48/3.31	c Parsing done, starting search...
113.62/108.89	o 430
113.62/108.89	o 431
113.79/108.90	o 432
113.79/108.90	o 433
113.79/108.91	o 434
113.79/108.92	o 435
113.79/108.92	o 436
113.79/108.92	o 437
113.79/108.93	o 438
113.79/108.93	o 439
113.79/108.93	o 440
113.79/108.94	o 441
113.79/108.94	o 442
113.79/108.94	o 443
113.79/108.94	o 444
113.79/108.95	o 445
113.79/108.95	o 446
113.79/108.95	o 447
113.79/108.95	o 448
113.79/108.96	o 449
113.79/108.96	o 450
113.79/108.96	o 451
113.79/108.96	o 452
113.79/108.97	o 453
113.79/108.97	o 454
113.79/108.97	o 455
113.79/108.97	o 456
113.79/108.97	o 457
113.79/108.98	o 458
113.79/108.98	o 459
113.79/108.98	o 460
113.79/108.98	o 461
113.79/108.99	o 462
113.79/108.99	o 463
113.79/108.99	o 464
113.79/108.99	o 465
113.79/108.99	o 466
113.79/109.00	o 467
113.79/109.00	o 468
114.09/109.01	o 469
114.09/109.01	o 470
114.09/109.01	o 471
114.09/109.01	o 472
114.09/109.01	o 473
114.09/109.02	o 474
114.09/109.02	o 475
114.09/109.02	o 476
114.09/109.02	o 477
114.09/109.03	o 478
114.09/109.03	o 479
114.09/109.03	o 480
114.09/109.03	o 481
114.09/109.04	o 482
114.09/109.04	o 483
114.09/109.04	o 484
114.09/109.05	o 485
114.09/109.05	o 486
114.09/109.05	o 487
114.09/109.05	o 488
114.09/109.06	o 489
114.09/109.06	o 490
114.09/109.06	o 491
114.09/109.06	o 492
114.09/109.07	o 493
114.09/109.07	o 494
114.09/109.07	o 495
114.09/109.07	o 496
114.09/109.07	o 497
114.09/109.08	o 498
114.09/109.08	o 499
114.09/109.08	o 500
114.09/109.08	o 501
114.09/109.09	o 502
114.09/109.09	o 503
114.09/109.09	o 504
114.09/109.09	o 505
114.09/109.09	o 506
114.09/109.10	o 507
114.09/109.10	o 508
114.09/109.10	o 509
114.09/109.10	o 510
114.39/109.11	o 511
114.39/109.11	o 512
114.39/109.11	o 513
114.39/109.11	o 514
114.39/109.12	o 515
114.39/109.12	o 516
114.39/109.12	o 517
114.39/109.12	o 518
114.39/109.13	o 519
114.39/109.13	o 520
114.39/109.13	o 521
114.39/109.13	o 522
114.39/109.13	o 523
114.39/109.14	o 524
114.39/109.14	o 525
114.39/109.14	o 526
114.39/109.14	o 527
114.39/109.15	o 528
114.39/109.15	o 529
114.39/109.15	o 530
114.39/109.15	o 531
114.39/109.16	o 532
114.39/109.16	o 533
114.39/109.16	o 534
114.39/109.16	o 535
114.39/109.16	o 536
114.39/109.17	o 537
114.39/109.17	o 538
114.39/109.17	o 539
114.39/109.17	o 540
114.39/109.17	o 541
114.39/109.18	o 542
114.39/109.18	o 543
114.39/109.18	o 544
114.39/109.18	o 545
114.39/109.18	o 546
114.39/109.19	o 547
114.39/109.19	o 548
114.39/109.19	o 549
114.39/109.19	o 550
114.39/109.20	o 551
114.60/109.20	o 552
114.60/109.20	o 553
114.60/109.20	o 554
114.60/109.20	o 555
114.60/109.21	o 556
114.60/109.21	o 557
114.60/109.21	o 558
114.60/109.21	o 559
114.60/109.22	o 560
114.60/109.22	o 561
114.60/109.22	o 562
114.60/109.22	o 563
114.60/109.22	o 564
114.60/109.23	o 565
114.60/109.23	o 566
114.60/109.23	o 567
114.60/109.23	o 568
114.60/109.23	o 569
114.60/109.24	o 570
114.60/109.24	o 571
114.60/109.24	o 572
114.60/109.24	o 573
114.60/109.24	o 574
114.60/109.25	o 575
114.60/109.25	o 576
114.60/109.25	o 577
114.60/109.25	o 578
114.60/109.25	o 579
114.60/109.26	o 580
114.60/109.26	o 581
114.60/109.26	o 582
114.60/109.26	o 583
114.60/109.26	o 584
114.60/109.27	o 585
114.60/109.27	o 586
114.60/109.27	o 587
114.60/109.27	o 588
114.60/109.27	o 589
114.60/109.28	o 590
114.60/109.28	o 591
114.60/109.28	o 592
114.60/109.28	o 593
114.60/109.28	o 594
114.60/109.29	o 595
114.60/109.29	o 596
114.60/109.29	o 597
114.60/109.29	o 598
114.60/109.29	o 599
114.60/109.30	o 600
114.72/109.30	o 601
114.72/109.30	o 602
114.72/109.30	o 603
114.72/109.30	o 604
114.72/109.30	o 605
114.72/109.31	o 606
114.72/109.31	o 607
114.72/109.31	o 608
114.72/109.31	o 609
114.72/109.31	o 610
114.72/109.32	o 611
114.72/109.32	o 612
114.72/109.32	o 613
114.72/109.32	o 614
114.72/109.33	o 615
114.72/109.33	o 616
114.72/109.33	o 617
114.72/109.33	o 618
114.72/109.34	o 619
114.72/109.34	o 620
114.72/109.34	o 621
114.72/109.34	o 622
114.72/109.35	o 623
114.72/109.35	o 624
114.72/109.35	o 625
114.72/109.35	o 626
114.72/109.36	o 627
114.72/109.36	o 628
114.72/109.36	o 629
114.72/109.36	o 630
114.72/109.37	o 631
114.72/109.37	o 632
114.72/109.37	o 633
114.72/109.37	o 634
114.72/109.38	o 635
114.72/109.38	o 636
114.72/109.38	o 637
114.72/109.38	o 638
114.72/109.39	o 639
114.72/109.39	o 640
114.72/109.39	o 641
114.72/109.39	o 642
114.72/109.40	o 643
114.82/109.40	o 644
114.82/109.40	o 645
114.82/109.40	o 646
114.82/109.41	o 647
114.82/109.41	o 648
114.82/109.41	o 649
114.82/109.41	o 650
114.82/109.42	o 651
114.82/109.42	o 652
114.82/109.42	o 653
114.82/109.43	o 654
114.82/109.43	o 655
114.82/109.43	o 656
114.82/109.44	o 657
114.82/109.44	o 658
114.82/109.44	o 659
114.82/109.45	o 660
114.82/109.45	o 661
114.82/109.45	o 662
114.82/109.45	o 663
114.82/109.46	o 664
114.82/109.46	o 665
114.82/109.46	o 666
114.82/109.47	o 667
114.82/109.47	o 668
114.82/109.47	o 669
114.82/109.48	o 670
114.82/109.48	o 671
114.82/109.48	o 672
114.82/109.48	o 673
114.82/109.49	o 674
114.82/109.49	o 675
114.82/109.49	o 676
114.82/109.50	o 677
114.95/109.50	o 678
114.95/109.50	o 679
114.95/109.51	o 680
114.95/109.51	o 681
114.95/109.51	o 682
114.95/109.52	o 683
114.95/109.52	o 684
114.95/109.52	o 685
114.95/109.53	o 686
114.95/109.53	o 687
114.95/109.54	o 688
114.95/109.54	o 689
114.95/109.55	o 690
114.95/109.55	o 691
114.95/109.56	o 692
114.95/109.56	o 693
124.07/118.43	o 694
124.07/118.44	o 695
128.77/123.00	o 696
837.97/831.43	o 697
1688.94/1674.07	o 698
1689.95/1674.96	o 699
1719.07/1703.71	o 700
2520.08/2495.50	s SATISFIABLE
2520.08/2495.51	v <instantiation>
2520.08/2495.51	v 	<list>
2520.08/2495.51	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.08/2495.51	v 	</list>
2520.08/2495.51	v 	<values>
2520.08/2495.51	v 		0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 1 0 0 0 1 1 0 0 1 1 0 1 1 0 1 0 0 0 1 0 1 0 0 1 1 0 1 0 0 1 1 0 1 0 0 1 1 0 1 0 0 1 1 0 1 1 0 0 1 0 1 1 0 1 0 1 0 1 0 0 1 0 1 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 0 1 0 1 1 1 1 0 1 1 0 0 0 1 0 1 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 1 0 1 0 0 0 0 1 0 1 0 1 0 0 0 1 1 0 1 1 0 1 0 1 0 1 1 1 1 1 1 0 1 0 0 0 1 1 0 1 0 1 1 0 1 0 0 0 1 1 1 1 0 1 1 0 1 1 0 1 0 0 1 1 0 0 1 0 0 1 1 0 1 1 0 0 1 0 0 0 0 0 0 1 1 0 0 1 0 0 1 1 0 1 0 0 0 1 0 0 1 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 1 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 1 1 1 1 0 0 0 0 1 1 1 1 0 1 0 0 1 0 1 0 1 1 0 1 1 1 1 1 0 1 1 0 1 1 1 0 0 1 1 1 1 1 1 1 1 0 0 1 1 1 0 0 1 0 0 1 0 0 1 1 0 0 0 0 1 1 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 1 0 0 1 1 0 0 0 0 1 1 0 0 1 1 0 0 0 1 1 0 0 1 0 0 1 0 0 0 0 1 0 1 1 1 0 0 0 1 0 0 1 0 0 0 1 1 0 1 1 0 0 1 0 1 1 0 1 1 1 1 1 0 0 0 0 0 1 1 1 0 0 0 0 1 1 1 1 1 1 0 0 0 1 1 0 0 1 1 1 1 0 0 1 0 1 0 1 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 1 1 0 0 1 0 0 0 1 1 0 1 0 1 0 1 1 1 1 0 1 0 0 0 0 1 0 0 1 0 0 1 0 1 1 1 1 0 1 0 1 0 1 1 0 0 0 0 1 0 0 0 0 1 0 1 0 1 1 1 0 0 1 1 0 1 1 0 0 0 0 1 0 0 0 1 0 0 0 1 1 0 0 1 1 0 0 0 1 0 1 1 0 1 0 1 0 0 1 0 1 0 1 0 0 1 0 1 0 1 0 0 1 0 0 0 0 0 0 0 1 1 0 0 1 1 1 1 0 1 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 1 1 0 1 0 1 0 1 0 1 0 0 0 1 1 0 1 1 0 1 1 1 0 0 1 1 0 0 0 0 1 1 0 0 1 1 1 1 1 1 0 1 0 0 1 1 0 1 0 1 0 0 0 0 0 1 0 0 1 0 0 1 1 1 1 0 0 1 0 1 0 1 0 0 0 1 0 0 1 0 1 0 0 0 1 1 0 0 0 0 0 1 0 0 1 1 0 1 0 0 1 1 0 0 1 1 0 1 0 0 0 1 1 0 0 0 0 1 1 0 0 0 0 0 1 1 1 1 0 0 1 0 1 1 1 1 0 0 1 0 1 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 1 1 0 0 1 1 0 0 0 0 0 0 0 1 1 1 0 0 0 0 1 0 1 1 0 1 0 1 0 1 1 1 1 0 0 1 1 1 1 0 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 1 0 0 1 0 1 0 1 1 0 0 0 0 1 1 1 1 0 0 1 0 0 1 0 1 0 0 0 0 0 1 1 0 0 0 1 0 0 1 0 0 1 0 1 0 0 0 1 0 1 0 1 1 0 1 1 0 1 1 0 0 1 1 1 0 0 0 0 0 0 0 1 0 1 0 0 1 0 1 1 0 1 0 0 1 0 0 0 0 0 1 1 0 1 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 1 1 1 1 1 1 1 0 1 0 1 1 0 1 0 1 0 1 0 0 1 0 0 1 0 0 0 1 0 1 0 1 0 1 1 1 0 0 0 0 0 1 0 1 1 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 1 0 1 1 1 0 0 1 0 0 0 1 0 1 1 0 0 0 0 0 1 1 1 0 1 0 0 0 0 0 1 1 1 1 0 1 1 0 1 0 1 1 0 1 1 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 1 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 1 1 0 0 0 1 1 0 1 0 1 1 0 0 1 0 1 0 1 1 1 0 0 0 0 1 0 1 1 0 0 0 0 0 1 0 1 1 1 1 1 0 0 1 1 1 1 1 1 1 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 1 0 1 1 0 0 1 1 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 1 1 0 1 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 0 1 1 1 0 1 1 1 1 1 1 1 0 0 0 1 1 0 1 1 0 0 1 1 0 0 1 0 1 0 0 0 1 0 1 1 0 1 1 1 1 0 0 0 1 0 1 1 0 1 1 1 1 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 1 0 0 0 1 0 0 0 1 0 1 1 0 1 0 0 1 0 0 1 0 0 1 1 0 0 1 0 0 0 0 1 0 0 0 0 0 1 1 1 1 1 1 1 1 1 0 0 0 0 0 1 1 0 1 1 0 1 1 0 1 0 1 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 0 0 1 0 1 0 0 0 0 1 0 0 1 1 0 1 1 1 0 1 1 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 1 1 0 0 0 0 1 0 1 0 0 0 1 1 0 0 0 1 0 0 0 1 1 1 0 0 0 1 0 1 0 0 0 0 0 1 0 1 1 0 0 0 1 0 1 0 0 1 0 0 0 0 0 1 0 0 1 1 0 1 0 1 1 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 1 1 0 1 0 1 1 0 0 1 0 1 0 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 0 0 1 0 1 0 0 0 0 0 1 1 1 0 0 1 1 0 1 1 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 1 2 1 2 2 2 1 1 1 1 1 1 2 2 1 2 1 2 2 2 1 2 1 2 2 2 1 2 1 2 2 2 1 2 1 2 2 2 1 2 1 2 2 2 1 2 1 1 1 1 0 0 1 0 1 0 2 0 0 0 0 0 0 0 0 0 0 0 1 1 2 0 1 0 1 1 2 0 0 0 1 1 2 1 0 0 1 0 0 0 0 0 1 1 2 1 0 0 0 1 1 0 0 0 0 0 0 2 0 2 0 1 0 0 1 0 0 0 0 0 0 1 1 1 0 0 0 1 2 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 1 0 1 1 1 1 0 0 0 1 0 1 1 1 1 0 1 2 0 1 1 1 0 1 0 0 1 1 0 1 1 0 0 0 0 0 1 1 0 1 0 1 1 0 0 0 0 0 1 0 0 1 0 0 1 1 1 1 0 0 1 0 1 0 1 0 1 1 0 0 0 0 1 0 1 0 1 0 0 0 0 1 0 1 0 1 0 0 1 0 1 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 1 1 0 0 0 0 0 1 0 1 0 1 1 1 1 0 0 1 1 0 0 1 1 0 0 0 0 1 0 0 1 0 0 1 0 0 0 1 1 0 1 0 0 1 0 1 0 1 1 0 0 1 1 0 0 0 0 1 1 0 0 1 0 0 1 1 0 1 1 0 0 1 1 0 0 0 2 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 1 0 0 1 0 0 1 0 0 0 0 0 1 0 0 1 1 0 0 1 1 0 1 0 0 1 0 0 1 0 0 0 0 1 0 1 0 1 1 0 1 1 1 1 0 1 0 1 0 1 1 2 0 1 1 0 0 1 1 1 0 1 0 0 1 0 1 0 0 0 0 0 0 1 0 0 1 1 0 1 1 0 0 0 1 0 1 1 1 0 0 0 0 1 2 0 2 0 0 0 0 0 1 0 1 0 0 1 0 1 1 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 2 1 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 2 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 1 0 0 0 1 0 1 0 0 1 1 0 1 0 1 0 0 0 1 1 0 0 1 1 1 0 1 0 0 1 1 0 0 1 0 1 0 1 1 1 0 0 0 0 1 1 0 0 2 0 0 1 1 0 0 0 0 0 0 0 1 1 0 1 0 1 0 1 0 0 1 0 1 1 2 1 0 0 0 0 1 1 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 1 2 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 1 0 0 0 0 1 0 0 0 1 0 0 2 0 0 0 1 1 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 0 1 0 1 1 0 0 1 0 1 0 1 0 0 0 0 0 0 2 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 1 1 0 0 1 0 0 0 0 0 0 0 0 1 1 2 0 1 0 0 1 0 0 0 0 0 1 1 2 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 1 0 0 1 0 1 0 0 0 1 2 2 0 0 1 0 1 1 0 0 0 1 0 2 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 1 1 0 1 0 2 1 1 0 0 0 1 0 1 0 0 0 0 1 0 1 1 0 0 0 0 1 0 0 1 0 1 0 0 0 1 0 0 1 0 0 1 0 0 0 0 1 0 1 0 0 1 0 0 0 0 1 1 2 0 0 2 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 2 0 1 0 0 0 0 0 0 0 1 1 1 0 0 0 2 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 0 1 0 1 0 0 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 1 0 2 2 1 0 0 0 0 0 0 0 1 0 1 0 0 0 1 0 0 1 0 1 0 0 1 0 0 1 0 1 1 2 0 1 0 2 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 2 2 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 2 2 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 1 2 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 2 2 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 2 1 1 2 0 1 0 0 0 0 0 1 1 2 1 1 0 1 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 1 2 1 1 2 1 0 0 1 0 0 0 0 2 2 1 1 0 0 1 0 0 1 0 0 1 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 1 0 1 0 0 0 1 0 2 0 2 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 0 1 1 0 0 0 1 1 2 1 2 0 1 2 0 0 0 0 0 0 1 1 1 2 1 1 1 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 2 0 2 2 0 1 1 0 0 0 0 0 0 0 0 0 1 2 2 2 2 2 1 1 0 1 1 0 0 1 1 2 2 1 1 2 1 1 1 0 0 0 1 0 0 0 1 1 1 1 2 0 0 2 1 0 1 0 0 1 0 0 0 0 1 0 0 1 0 2 1 1 2 2 2 0 1 0 1 1 0 1 2 2 1 1 0 1 2 1 0 0 0 0 0 1 0 0 1 0 2 0 1 0 2 0 1 0 0 0 1 0 0 0 0 0 1 1 0 0 1 0 0 0 1 2 0 0 2 1 1 0 0 1 1 1 2 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 2 1 2 1 1 0 0 0 1 0 0 0 2 0 0 0 0 0 0 1 0 0 0 1 1 1 2 0 0 2 1 1 0 0 0 1 1 2 0 2 0 1 0 1 0 1 0 1 1 1 2 1 1 2 2 2 0 1 0 0 0 0 0 1 0 1 0 0 1 0 2 0 2 1 1 2 2 0 1 0 2 2 2 0 1 0 1 1 2 0 1 0 2 1 2 0 1 0 2 2 2 0 1 0 2 2 2 2 2 1 0 1 0 0 0 0 1 0 0 1 0 1 0 1 1 1 1 1 1 1 0 1 1 1 1 1 0 1 0 1 1 1 0 1 1 1 1 1 0 1 1 1 1 1 0 1 1 1 1 1 1 1 1 0 0 50 152 254 356 458 560 662 764 866 968 1070 1172 1274 1376 1478 1574 1642 1669 1688 1715 1731 1748 1769 1782 1807 1830 1845 1869 1890 1903 1921 1929 1941 1957 1974 1995 2012 2025 2047 2064 2079 2099 2123 2136 2145 2176 2216 2251 2277 2312 2363 2400 700 
2520.08/2495.51	v 	</values>
2520.08/2495.51	v </instantiation>

Verifier Data

OK	700

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4273750-1502691319/watcher-4273750-1502691319 -o /tmp/evaluation-result-4273750-1502691319/solver-4273750-1502691319 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node126-1502662832-10387 --watchdog 2580 java -Xmx11000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed 544311900 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4273750-1502691319.xml 

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

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


[startup+0.100057 s]*
/proc/loadavg: 1.41 1.43 1.37 3/203 14490
/proc/meminfo: memFree=31280924/32770624 swapFree=67105588/67108860
[pid=14484] ppid=14481 vsize=13358552 memory=14928 CPUtime=0.01 cores=0,2,4,6
/proc/14484/stat : 14484 (java) S 14481 14484 12560 0 -1 1077944320 3546 0 0 0 1 0 0 0 20 0 6 0 71327272 13679157248 3732 18446744073709551615 4194304 4196468 140733337595312 140733337577856 140210962849527 0 0 1 16784584 18446744073709551615 0 0 17 4 0 0 8 0 0 6293624 6294260 15003648 140733337596271 140733337596457 140733337596457 140733337599951 0
/proc/14484/statm: 3339638 3732 1913 1 0 3329135 0
[pid=14484/tid=14486] ppid=14481 vsize=13358552 memory=7077796292425249400 CPUtime=0 cores=0,2,4,6
/proc/14484/task/14486/stat : 14486 (java) R 14481 14484 12560 0 -1 4202560 2247 0 0 0 0 0 0 0 20 0 6 0 71327281 13679157248 3732 18446744073709551615 4194304 4196468 140733337595312 140210967085648 140210946930014 0 4 1 16784584 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15003648 140733337596271 140733337596457 140733337596457 140733337599951 0
[pid=14484/tid=14487] ppid=14481 vsize=13358552 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/14484/task/14487/stat : 14487 (java) S 14481 14484 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 71327282 13679157248 3732 18446744073709551615 4194304 4196468 140733337595312 140210897283728 140210962859733 0 4 1 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15003648 140733337596271 140733337596457 140733337596457 140733337599951 0
[pid=14484/tid=14488] ppid=14481 vsize=13358552 memory=139723584640640 CPUtime=0 cores=0,2,4,6
/proc/14484/task/14488/stat : 14488 (java) S 14481 14484 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 71327282 13679157248 3732 18446744073709551615 4194304 4196468 140733337595312 140210896230928 140210962859733 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15003648 140733337596271 140733337596457 140733337596457 140733337599951 0
[pid=14484/tid=14489] ppid=14481 vsize=13358552 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14484/task/14489/stat : 14489 (java) S 14481 14484 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 71327282 13679157248 3732 18446744073709551615 4194304 4196468 140733337595312 140210895178128 140210962859733 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15003648 140733337596271 140733337596457 140733337596457 140733337599951 0
[pid=14484/tid=14490] ppid=14481 vsize=13358552 memory=6944656592455097440 CPUtime=0 cores=0,2,4,6
/proc/14484/task/14490/stat : 14490 (java) S 14481 14484 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 71327282 13679157248 3732 18446744073709551615 4194304 4196468 140733337595312 140210894125328 140210962859733 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15003648 140733337596271 140733337596457 140733337596457 140733337599951 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 13358552 KiB
Current children cumulated memory: 14928 KiB

[startup+0.209791 s]*
/proc/loadavg: 1.41 1.43 1.37 3/212 14499
/proc/meminfo: memFree=31268828/32770624 swapFree=67105588/67108860
[pid=14484] ppid=14481 vsize=13976944 memory=32380 CPUtime=0.11 cores=0,2,4,6
/proc/14484/stat : 14484 (java) S 14481 14484 12560 0 -1 1077944320 7409 0 0 0 9 2 0 0 20 0 15 0 71327272 14312390656 8095 18446744073709551615 4194304 4196468 140733337595312 140733337577856 140210962849527 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 8 0 0 6293624 6294260 15003648 140733337596271 140733337596457 140733337596457 140733337599951 0
/proc/14484/statm: 3494236 8095 3382 1 0 3483015 0
[pid=14484/tid=14486] ppid=14481 vsize=13976944 memory=8316850467074736180 CPUtime=0.08 cores=0,2,4,6
/proc/14484/task/14486/stat : 14486 (java) R 14481 14484 12560 0 -1 4202560 5368 0 0 0 7 1 0 0 20 0 15 0 71327281 14312390656 8095 18446744073709551615 4194304 4196468 140733337595312 140210967038976 140210955529245 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 15003648 140733337596271 140733337596457 140733337596457 140733337599951 0
[pid=14484/tid=14487] ppid=14481 vsize=13976944 memory=9220 CPUtime=0 cores=0,2,4,6
/proc/14484/task/14487/stat : 14487 (java) S 14481 14484 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71327282 14312390656 8095 18446744073709551615 4194304 4196468 140733337595312 140210897283728 140210962859733 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15003648 140733337596271 140733337596457 140733337596457 140733337599951 0
[pid=14484/tid=14488] ppid=14481 vsize=13976944 memory=139723585329960 CPUtime=0 cores=0,2,4,6
/proc/14484/task/14488/stat : 14488 (java) S 14481 14484 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71327282 14312390656 8095 18446744073709551615 4194304 4196468 140733337595312 140210896230928 140210962859733 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15003648 140733337596271 140733337596457 140733337596457 140733337599951 0
[pid=14484/tid=14489] ppid=14481 vsize=13976944 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14484/task/14489/stat : 14489 (java) S 14481 14484 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71327282 14312390656 8095 18446744073709551615 4194304 4196468 140733337595312 140210895178128 140210962859733 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15003648 140733337596271 140733337596457 140733337596457 140733337599951 0
[pid=14484/tid=14490] ppid=14481 vsize=13977904 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14484/task/14490/stat : 14490 (java) S 14481 14484 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71327282 14313373696 8095 18446744073709551615 4194304 4196468 140733337595312 140210894125328 140210962859733 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15003648 140733337596271 140733337596457 140733337596457 140733337599951 0
[pid=14484/tid=14491] ppid=14481 vsize=13977904 memory=139723584640640 CPUtime=0 cores=0,2,4,6
/proc/14484/task/14491/stat : 14491 (java) S 14481 14484 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71327283 14313373696 8161 18446744073709551615 4194304 4196468 140733337595312 140210471914352 140210962860674 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15003648 140733337596271 140733337596457 140733337596457 140733337599951 0
[pid=14484/tid=14492] ppid=14481 vsize=13977904 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14484/task/14492/stat : 14492 (java) S 14481 14484 12560 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 71327283 14313373696 8161 18446744073709551615 4194304 4196468 140733337595312 140210470860320 140210962859733 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15003648 140733337596271 140733337596457 140733337596457 140733337599951 0
[pid=14484/tid=14493] ppid=14481 vsize=13977904 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14484/task/14493/stat : 14493 (java) S 14481 14484 12560 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 71327284 14313373696 8161 18446744073709551615 4194304 4196468 140733337595312 140210469807472 140210962859733 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15003648 140733337596271 140733337596457 140733337596457 140733337599951 0
[pid=14484/tid=14494] ppid=14481 vsize=13977904 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14484/task/14494/stat : 14494 (java) S 14481 14484 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71327286 14313373696 8161 18446744073709551615 4194304 4196468 140733337595312 140210468755792 140210962868123 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15003648 140733337596271 140733337596457 140733337596457 140733337599951 0
[pid=14484/tid=14495] ppid=14481 vsize=13977904 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14484/task/14495/stat : 14495 (java) S 14481 14484 12560 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 15 0 71327286 14313373696 8161 18446744073709551615 4194304 4196468 140733337595312 140210467703152 140210962860674 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15003648 140733337596271 140733337596457 140733337596457 140733337599951 0
[pid=14484/tid=14496] ppid=14481 vsize=13977904 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14484/task/14496/stat : 14496 (java) S 14481 14484 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71327286 14313373696 8161 18446744073709551615 4194304 4196468 140733337595312 140210466650352 140210962860674 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15003648 140733337596271 140733337596457 140733337596457 140733337599951 0
[pid=14484/tid=14497] ppid=14481 vsize=13977904 memory=139723584640640 CPUtime=0.01 cores=0,2,4,6
/proc/14484/task/14497/stat : 14497 (java) S 14481 14484 12560 0 -1 1077944384 359 0 0 0 1 0 0 0 20 0 15 0 71327286 14313373696 8161 18446744073709551615 4194304 4196468 140733337595312 140210465597552 140210962860674 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15003648 140733337596271 140733337596457 140733337596457 140733337599951 0
[pid=14484/tid=14498] ppid=14481 vsize=13977904 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14484/task/14498/stat : 14498 (java) S 14481 14484 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71327286 14313373696 8161 18446744073709551615 4194304 4196468 140733337595312 140210464544992 140210962859733 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15003648 140733337596271 140733337596457 140733337596457 140733337599951 0
[pid=14484/tid=14499] ppid=14481 vsize=13977904 memory=139723584640640 CPUtime=0 cores=0,2,4,6
/proc/14484/task/14499/stat : 14499 (java) S 14481 14484 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71327290 14313373696 8161 18446744073709551615 4194304 4196468 140733337595312 140210463493296 140210962860674 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15003648 140733337596271 140733337596457 140733337596457 140733337599951 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 13976944 KiB
Current children cumulated memory: 32380 KiB

[startup+0.314506 s]*
/proc/loadavg: 1.41 1.43 1.37 4/212 14499
/proc/meminfo: memFree=31258816/32770624 swapFree=67105588/67108860
[pid=14484] ppid=14481 vsize=13975920 memory=40640 CPUtime=0.27 cores=0,2,4,6
/proc/14484/stat : 14484 (java) S 14481 14484 12560 0 -1 1077944320 10878 0 0 0 24 3 0 0 20 0 15 0 71327272 14311342080 10160 18446744073709551615 4194304 4196468 140733337595312 140733337577856 140210962849527 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 8 0 0 6293624 6294260 15003648 140733337596271 140733337596457 140733337596457 140733337599951 0
/proc/14484/statm: 3493980 10160 3552 1 0 3482759 0
[pid=14484/tid=14486] ppid=14481 vsize=13975920 memory=8316850467074736180 CPUtime=0.18 cores=0,2,4,6
/proc/14484/task/14486/stat : 14486 (java) R 14481 14484 12560 0 -1 4202560 8540 0 0 0 16 2 0 0 20 0 15 0 71327281 14311342080 10160 18446744073709551615 4194304 4196468 140733337595312 140210967053040 140210946930014 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 15003648 140733337596271 140733337596457 140733337596457 140733337599951 0
[pid=14484/tid=14487] ppid=14481 vsize=13975920 memory=9220 CPUtime=0 cores=0,2,4,6
/proc/14484/task/14487/stat : 14487 (java) S 14481 14484 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71327282 14311342080 10160 18446744073709551615 4194304 4196468 140733337595312 140210897283728 140210962859733 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15003648 140733337596271 140733337596457 140733337596457 140733337599951 0
[pid=14484/tid=14488] ppid=14481 vsize=13975920 memory=139723585329960 CPUtime=0 cores=0,2,4,6
/proc/14484/task/14488/stat : 14488 (java) S 14481 14484 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71327282 14311342080 10160 18446744073709551615 4194304 4196468 140733337595312 140210896230928 140210962859733 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15003648 140733337596271 140733337596457 140733337596457 140733337599951 0
[pid=14484/tid=14489] ppid=14481 vsize=13975920 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/14484/task/14489/stat : 14489 (java) S 14481 14484 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71327282 14311342080 10160 18446744073709551615 4194304 4196468 140733337595312 140210895178128 140210962859733 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15003648 140733337596271 140733337596457 140733337596457 140733337599951 0
[pid=14484/tid=14490] ppid=14481 vsize=13975920 memory=3472328296227679279 CPUtime=0 cores=0,2,4,6
/proc/14484/task/14490/stat : 14490 (java) S 14481 14484 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71327282 14311342080 10160 18446744073709551615 4194304 4196468 140733337595312 140210894125328 140210962859733 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15003648 140733337596271 140733337596457 140733337596457 140733337599951 0
[pid=14484/tid=14491] ppid=14481 vsize=13975920 memory=3472468019812058800 CPUtime=0 cores=0,2,4,6
/proc/14484/task/14491/stat : 14491 (java) S 14481 14484 12560 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 71327283 14311342080 10160 18446744073709551615 4194304 4196468 140733337595312 140210471914352 140210962860674 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15003648 140733337596271 140733337596457 140733337596457 140733337599951 0
[pid=14484/tid=14492] ppid=14481 vsize=13975920 memory=735829693650176313 CPUtime=0 cores=0,2,4,6
/proc/14484/task/14492/stat : 14492 (java) S 14481 14484 12560 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 71327283 14311342080 10160 18446744073709551615 4194304 4196468 140733337595312 140210470860320 140210962859733 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15003648 140733337596271 140733337596457 140733337596457 140733337599951 0
[pid=14484/tid=14493] ppid=14481 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14484/task/14493/stat : 14493 (java) S 14481 14484 12560 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 71327284 14311342080 10160 18446744073709551615 4194304 4196468 140733337595312 140210469807472 140210962859733 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15003648 140733337596271 140733337596457 140733337596457 140733337599951 0
[pid=14484/tid=14494] ppid=14481 vsize=13975920 memory=-2605811476043407915 CPUtime=0 cores=0,2,4,6
/proc/14484/task/14494/stat : 14494 (java) S 14481 14484 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71327286 14311342080 10160 18446744073709551615 4194304 4196468 140733337595312 140210468755792 140210962868123 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15003648 140733337596271 140733337596457 140733337596457 140733337599951 0
[pid=14484/tid=14495] ppid=14481 vsize=13975920 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/14484/task/14495/stat : 14495 (java) S 14481 14484 12560 0 -1 1077944384 478 0 0 0 1 0 0 0 20 0 15 0 71327286 14311342080 10160 18446744073709551615 4194304 4196468 140733337595312 140210467703152 140210962860674 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15003648 140733337596271 140733337596457 140733337596457 140733337599951 0
[pid=14484/tid=14496] ppid=14481 vsize=13975920 memory=3472328296227418159 CPUtime=0 cores=0,2,4,6
/proc/14484/task/14496/stat : 14496 (java) R 14481 14484 12560 0 -1 4202560 35 0 0 0 0 0 0 0 20 0 15 0 71327286 14311342080 10160 18446744073709551615 4194304 4196468 140733337595312 140210466650352 140210947680288 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15003648 140733337596271 140733337596457 140733337596457 140733337599951 0
[pid=14484/tid=14497] ppid=14481 vsize=13975920 memory=7959526866009409453 CPUtime=0.05 cores=0,2,4,6
/proc/14484/task/14497/stat : 14497 (java) S 14481 14484 12560 0 -1 1077944384 447 0 0 0 5 0 0 0 20 0 15 0 71327286 14311342080 10160 18446744073709551615 4194304 4196468 140733337595312 140210465597552 140210962860674 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15003648 140733337596271 140733337596457 140733337596457 140733337599951 0
[pid=14484/tid=14498] ppid=14481 vsize=13975920 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14484/task/14498/stat : 14498 (java) S 14481 14484 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71327286 14311342080 10160 18446744073709551615 4194304 4196468 140733337595312 140210464544992 140210962859733 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15003648 140733337596271 140733337596457 140733337596457 140733337599951 0
[pid=14484/tid=14499] ppid=14481 vsize=13975920 memory=139723584640640 CPUtime=0 cores=0,2,4,6
/proc/14484/task/14499/stat : 14499 (java) S 14481 14484 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71327290 14311342080 10160 18446744073709551615 4194304 4196468 140733337595312 140210463493296 140210962860674 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15003648 140733337596271 140733337596457 140733337596457 140733337599951 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 13975920 KiB
Current children cumulated memory: 40640 KiB

[startup+0.702407 s]
/proc/loadavg: 1.41 1.43 1.37 5/212 14499
/proc/meminfo: memFree=31244360/32770624 swapFree=67105588/67108860
[pid=14484] ppid=14481 vsize=13977988 memory=73288 CPUtime=1.1 cores=0,2,4,6
/proc/14484/stat : 14484 (java) S 14481 14484 12560 0 -1 1077944320 14015 0 0 0 105 5 0 0 20 0 15 0 71327272 14313459712 18322 18446744073709551615 4194304 4196468 140733337595312 140733337577856 140210962849527 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 8 0 0 6293624 6294260 15003648 140733337596271 140733337596457 140733337596457 140733337599951 0
/proc/14484/statm: 3494497 18322 3729 1 0 3483271 0
[pid=14484/tid=14486] ppid=14481 vsize=13977988 memory=19031000092388 CPUtime=0.56 cores=0,2,4,6
/proc/14484/task/14486/stat : 14486 (java) R 14481 14484 12560 0 -1 4202560 10375 0 0 0 52 4 0 0 20 0 15 0 71327281 14313459712 18322 18446744073709551615 4194304 4196468 140733337595312 140210967082288 140210569294176 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 15003648 140733337596271 140733337596457 140733337596457 140733337599951 0
[pid=14484/tid=14487] ppid=14481 vsize=13977988 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14484/task/14487/stat : 14487 (java) S 14481 14484 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71327282 14313459712 18322 18446744073709551615 4194304 4196468 140733337595312 140210897283728 140210962859733 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15003648 140733337596271 140733337596457 140733337596457 140733337599951 0
[pid=14484/tid=14488] ppid=14481 vsize=13977988 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14484/task/14488/stat : 14488 (java) S 14481 14484 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71327282 14313459712 18322 18446744073709551615 4194304 4196468 140733337595312 140210896230928 140210962859733 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15003648 140733337596271 140733337596457 140733337596457 140733337599951 0
[pid=14484/tid=14489] ppid=14481 vsize=13977988 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14484/task/14489/stat : 14489 (java) S 14481 14484 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71327282 14313459712 18322 18446744073709551615 4194304 4196468 140733337595312 140210895178128 140210962859733 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15003648 140733337596271 140733337596457 140733337596457 140733337599951 0
[pid=14484/tid=14490] ppid=14481 vsize=13977988 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14484/task/14490/stat : 14490 (java) S 14481 14484 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71327282 14313459712 18322 18446744073709551615 4194304 4196468 140733337595312 140210894125328 140210962859733 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15003648 140733337596271 140733337596457 140733337596457 140733337599951 0
[pid=14484/tid=14491] ppid=14481 vsize=13977988 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14484/task/14491/stat : 14491 (java) S 14481 14484 12560 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 71327283 14313459712 18322 18446744073709551615 4194304 4196468 140733337595312 140210471914352 140210962860674 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15003648 140733337596271 140733337596457 140733337596457 140733337599951 0
[pid=14484/tid=14492] ppid=14481 vsize=13977988 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14484/task/14492/stat : 14492 (java) S 14481 14484 12560 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 71327283 14313459712 18322 18446744073709551615 4194304 4196468 140733337595312 140210470860320 140210962859733 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15003648 140733337596271 140733337596457 140733337596457 140733337599951 0
[pid=14484/tid=14493] ppid=14481 vsize=13977988 memory=2016 CPUtime=0 cores=0,2,4,6
/proc/14484/task/14493/stat : 14493 (java) S 14481 14484 12560 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 71327284 14313459712 18322 18446744073709551615 4194304 4196468 140733337595312 140210469807472 140210962859733 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15003648 140733337596271 140733337596457 140733337596457 140733337599951 0
[pid=14484/tid=14494] ppid=14481 vsize=13977988 memory=1196 CPUtime=0 cores=0,2,4,6
/proc/14484/task/14494/stat : 14494 (java) S 14481 14484 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71327286 14313459712 18322 18446744073709551615 4194304 4196468 140733337595312 140210468755792 140210962868123 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15003648 140733337596271 140733337596457 140733337596457 140733337599951 0
[pid=14484/tid=14495] ppid=14481 vsize=13977988 memory=8612 CPUtime=0.14 cores=0,2,4,6
/proc/14484/task/14495/stat : 14495 (java) S 14481 14484 12560 0 -1 1077944384 841 0 0 0 14 0 0 0 20 0 15 0 71327286 14313459712 18322 18446744073709551615 4194304 4196468 140733337595312 140210467703152 140210962860674 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15003648 140733337596271 140733337596457 140733337596457 140733337599951 0
[pid=14484/tid=14496] ppid=14481 vsize=13977988 memory=1716 CPUtime=0.15 cores=0,2,4,6
/proc/14484/task/14496/stat : 14496 (java) S 14481 14484 12560 0 -1 1077944384 583 0 0 0 15 0 0 0 20 0 15 0 71327286 14313459712 18322 18446744073709551615 4194304 4196468 140733337595312 140210466650352 140210962860674 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15003648 140733337596271 140733337596457 140733337596457 140733337599951 0
[pid=14484/tid=14497] ppid=14481 vsize=13977988 memory=33 CPUtime=0.22 cores=0,2,4,6
/proc/14484/task/14497/stat : 14497 (java) R 14481 14484 12560 0 -1 4202560 835 0 0 0 22 0 0 0 20 0 15 0 71327286 14313459712 18322 18446744073709551615 4194304 4196468 140733337595312 140210465592816 140210962870874 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15003648 140733337596271 140733337596457 140733337596457 140733337599951 0
[pid=14484/tid=14498] ppid=14481 vsize=13977988 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14484/task/14498/stat : 14498 (java) S 14481 14484 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71327286 14313459712 18322 18446744073709551615 4194304 4196468 140733337595312 140210464544992 140210962859733 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15003648 140733337596271 140733337596457 140733337596457 140733337599951 0
[pid=14484/tid=14499] ppid=14481 vsize=13977988 memory=737 CPUtime=0 cores=0,2,4,6
/proc/14484/task/14499/stat : 14499 (java) S 14481 14484 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71327290 14313459712 18322 18446744073709551615 4194304 4196468 140733337595312 140210463493296 140210962860674 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15003648 140733337596271 140733337596457 140733337596457 140733337599951 0
Current children cumulated CPU time: 1.1 s
Current children cumulated vsize: 13977988 KiB
Current children cumulated memory: 73288 KiB

[startup+1.50939 s]
/proc/loadavg: 1.41 1.43 1.37 6/212 14499
/proc/meminfo: memFree=31180228/32770624 swapFree=67105588/67108860
[pid=14484] ppid=14481 vsize=13982084 memory=184812 CPUtime=3.51 cores=0,2,4,6
/proc/14484/stat : 14484 (java) S 14481 14484 12560 0 -1 1077944320 24458 0 0 0 341 10 0 0 20 0 15 0 71327272 14317654016 46203 18446744073709551615 4194304 4196468 140733337595312 140733337577856 140210962849527 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 8 0 0 6293624 6294260 15003648 140733337596271 140733337596457 140733337596457 140733337599951 0
/proc/14484/statm: 3495521 46203 3761 1 0 3484295 0
[pid=14484/tid=14486] ppid=14481 vsize=13982084 memory=40028 CPUtime=1.37 cores=0,2,4,6
/proc/14484/task/14486/stat : 14486 (java) R 14481 14484 12560 0 -1 4202560 13939 0 0 0 130 7 0 0 20 0 15 0 71327281 14317654016 46203 18446744073709551615 4194304 4196468 140733337595312 140210967075344 140210566364420 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 15003648 140733337596271 140733337596457 140733337596457 140733337599951 0
[pid=14484/tid=14487] ppid=14481 vsize=13982084 memory=1292 CPUtime=0 cores=0,2,4,6
/proc/14484/task/14487/stat : 14487 (java) S 14481 14484 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71327282 14317654016 46203 18446744073709551615 4194304 4196468 140733337595312 140210897283728 140210962859733 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15003648 140733337596271 140733337596457 140733337596457 140733337599951 0
[pid=14484/tid=14488] ppid=14481 vsize=13982084 memory=279446947389280 CPUtime=0 cores=0,2,4,6
/proc/14484/task/14488/stat : 14488 (java) S 14481 14484 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71327282 14317654016 46203 18446744073709551615 4194304 4196468 140733337595312 140210896230928 140210962859733 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15003648 140733337596271 140733337596457 140733337596457 140733337599951 0
[pid=14484/tid=14489] ppid=14481 vsize=13982084 memory=6944937900100196217 CPUtime=0 cores=0,2,4,6
/proc/14484/task/14489/stat : 14489 (java) S 14481 14484 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71327282 14317654016 46203 18446744073709551615 4194304 4196468 140733337595312 140210895178128 140210962859733 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15003648 140733337596271 140733337596457 140733337596457 140733337599951 0
[pid=14484/tid=14490] ppid=14481 vsize=13982084 memory=6944656592387989600 CPUtime=0 cores=0,2,4,6
/proc/14484/task/14490/stat : 14490 (java) S 14481 14484 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71327282 14317654016 46203 18446744073709551615 4194304 4196468 140733337595312 140210894125328 140210962859733 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15003648 140733337596271 140733337596457 140733337596457 140733337599951 0
[pid=14484/tid=14491] ppid=14481 vsize=13982084 memory=-7812736537705029536 CPUtime=0 cores=0,2,4,6
/proc/14484/task/14491/stat : 14491 (java) S 14481 14484 12560 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 15 0 71327283 14317654016 46203 18446744073709551615 4194304 4196468 140733337595312 140210471914352 140210962860674 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15003648 140733337596271 140733337596457 140733337596457 140733337599951 0
[pid=14484/tid=14492] ppid=14481 vsize=13982084 memory=5793990212118078307 CPUtime=0 cores=0,2,4,6
/proc/14484/task/14492/stat : 14492 (java) S 14481 14484 12560 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 71327283 14317654016 46203 18446744073709551615 4194304 4196468 140733337595312 140210470860320 140210962859733 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15003648 140733337596271 140733337596457 140733337596457 140733337599951 0
[pid=14484/tid=14493] ppid=14481 vsize=13982084 memory=6933690330692294553 CPUtime=0 cores=0,2,4,6
/proc/14484/task/14493/stat : 14493 (java) S 14481 14484 12560 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 71327284 14317654016 46203 18446744073709551615 4194304 4196468 140733337595312 140210469807472 140210962859733 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15003648 140733337596271 140733337596457 140733337596457 140733337599951 0
[pid=14484/tid=14494] ppid=14481 vsize=13982084 memory=7235152031431354451 CPUtime=0 cores=0,2,4,6
/proc/14484/task/14494/stat : 14494 (java) S 14481 14484 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71327286 14317654016 46203 18446744073709551615 4194304 4196468 140733337595312 140210468755792 140210962868123 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15003648 140733337596271 140733337596457 140733337596457 140733337599951 0
[pid=14484/tid=14495] ppid=14481 vsize=13982084 memory=0 CPUtime=0.72 cores=0,2,4,6
/proc/14484/task/14495/stat : 14495 (java) R 14481 14484 12560 0 -1 4202560 2927 0 0 0 71 1 0 0 20 0 15 0 71327286 14317654016 46203 18446744073709551615 4194304 4196468 140733337595312 140210467684168 140210940824887 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15003648 140733337596271 140733337596457 140733337596457 140733337599951 0
[pid=14484/tid=14496] ppid=14481 vsize=13982084 memory=0 CPUtime=0.75 cores=0,2,4,6
/proc/14484/task/14496/stat : 14496 (java) R 14481 14484 12560 0 -1 4202560 2664 0 0 0 75 0 0 0 20 0 15 0 71327286 14317654016 46203 18446744073709551615 4194304 4196468 140733337595312 140210466627968 140210946346297 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15003648 140733337596271 140733337596457 140733337596457 140733337599951 0
[pid=14484/tid=14497] ppid=14481 vsize=13982084 memory=0 CPUtime=0.65 cores=0,2,4,6
/proc/14484/task/14497/stat : 14497 (java) R 14481 14484 12560 0 -1 4202560 3534 0 0 0 64 1 0 0 20 0 15 0 71327286 14317654016 46203 18446744073709551615 4194304 4196468 140733337595312 140210465593496 140210941820554 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15003648 140733337596271 140733337596457 140733337596457 140733337599951 0
[pid=14484/tid=14498] ppid=14481 vsize=13982084 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14484/task/14498/stat : 14498 (java) S 14481 14484 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71327286 14317654016 46203 18446744073709551615 4194304 4196468 140733337595312 140210464544992 140210962859733 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15003648 140733337596271 140733337596457 140733337596457 140733337599951 0
[pid=14484/tid=14499] ppid=14481 vsize=13982084 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14484/task/14499/stat : 14499 (java) S 14481 14484 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71327290 14317654016 46203 18446744073709551615 4194304 4196468 140733337595312 140210463493296 140210962860674 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15003648 140733337596271 140733337596457 140733337596457 140733337599951 0
Current children cumulated CPU time: 3.51 s
Current children cumulated vsize: 13982084 KiB

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

/proc/14484/task/14486/stat : 14486 (java) R 14481 14484 12560 0 -1 4202560 98800 0 0 0 237214 68 0 0 20 0 15 0 71327281 14317654016 802735 18446744073709551615 4194304 4196468 140733337595312 140210967088000 140210576883480 0 4 1 16800974 0 0 0 -1 6 0 0 3 0 0 6293624 6294260 15003648 140733337596271 140733337596457 140733337596457 140733337599951 0
[pid=14484/tid=14487] ppid=14481 vsize=13982084 memory=-8774313645642428999 CPUtime=5.99 cores=0,2,4,6
/proc/14484/task/14487/stat : 14487 (java) S 14481 14484 12560 0 -1 1077944384 28652 0 0 0 570 29 0 0 20 0 15 0 71327282 14317654016 802735 18446744073709551615 4194304 4196468 140733337595312 140210897283728 140210962859733 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15003648 140733337596271 140733337596457 140733337596457 140733337599951 0
[pid=14484/tid=14488] ppid=14481 vsize=13982084 memory=3210940 CPUtime=5.99 cores=0,2,4,6
/proc/14484/task/14488/stat : 14488 (java) S 14481 14484 12560 0 -1 1077944384 26538 0 0 0 572 27 0 0 20 0 15 0 71327282 14317654016 802735 18446744073709551615 4194304 4196468 140733337595312 140210896230928 140210962859733 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15003648 140733337596271 140733337596457 140733337596457 140733337599951 0
[pid=14484/tid=14489] ppid=14481 vsize=13982084 memory=3210940 CPUtime=5.97 cores=0,2,4,6
/proc/14484/task/14489/stat : 14489 (java) S 14481 14484 12560 0 -1 1077944384 27954 0 0 0 571 26 0 0 20 0 15 0 71327282 14317654016 802735 18446744073709551615 4194304 4196468 140733337595312 140210895178128 140210962859733 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15003648 140733337596271 140733337596457 140733337596457 140733337599951 0
[pid=14484/tid=14490] ppid=14481 vsize=13982084 memory=3210940 CPUtime=5.97 cores=0,2,4,6
/proc/14484/task/14490/stat : 14490 (java) S 14481 14484 12560 0 -1 1077944384 26153 0 0 0 569 28 0 0 20 0 15 0 71327282 14317654016 802735 18446744073709551615 4194304 4196468 140733337595312 140210894125328 140210962859733 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15003648 140733337596271 140733337596457 140733337596457 140733337599951 0
[pid=14484/tid=14491] ppid=14481 vsize=13982084 memory=4144 CPUtime=2.18 cores=0,2,4,6
/proc/14484/task/14491/stat : 14491 (java) S 14481 14484 12560 0 -1 1077944384 21932 0 0 0 198 20 0 0 20 0 15 0 71327283 14317654016 802735 18446744073709551615 4194304 4196468 140733337595312 140210471914352 140210962860674 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 3 0 0 6293624 6294260 15003648 140733337596271 140733337596457 140733337596457 140733337599951 0
[pid=14484/tid=14492] ppid=14481 vsize=13982084 memory=3210940 CPUtime=0 cores=0,2,4,6
/proc/14484/task/14492/stat : 14492 (java) S 14481 14484 12560 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 71327283 14317654016 802735 18446744073709551615 4194304 4196468 140733337595312 140210470860384 140210962859733 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15003648 140733337596271 140733337596457 140733337596457 140733337599951 0
[pid=14484/tid=14493] ppid=14481 vsize=13982084 memory=3210940 CPUtime=0 cores=0,2,4,6
/proc/14484/task/14493/stat : 14493 (java) S 14481 14484 12560 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 71327284 14317654016 802735 18446744073709551615 4194304 4196468 140733337595312 140210469807488 140210962859733 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15003648 140733337596271 140733337596457 140733337596457 140733337599951 0
[pid=14484/tid=14494] ppid=14481 vsize=13982084 memory=3210940 CPUtime=0 cores=0,2,4,6
/proc/14484/task/14494/stat : 14494 (java) S 14481 14484 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71327286 14317654016 802735 18446744073709551615 4194304 4196468 140733337595312 140210468755792 140210962868123 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15003648 140733337596271 140733337596457 140733337596457 140733337599951 0
[pid=14484/tid=14495] ppid=14481 vsize=13982084 memory=3210940 CPUtime=2.13 cores=0,2,4,6
/proc/14484/task/14495/stat : 14495 (java) S 14481 14484 12560 0 -1 1077944384 10246 0 0 0 210 3 0 0 20 0 15 0 71327286 14317654016 802735 18446744073709551615 4194304 4196468 140733337595312 140210467703152 140210962860674 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15003648 140733337596271 140733337596457 140733337596457 140733337599951 0
[pid=14484/tid=14496] ppid=14481 vsize=13982084 memory=0 CPUtime=2.18 cores=0,2,4,6
/proc/14484/task/14496/stat : 14496 (java) S 14481 14484 12560 0 -1 1077944384 9434 0 0 0 217 1 0 0 20 0 15 0 71327286 14317654016 802735 18446744073709551615 4194304 4196468 140733337595312 140210466650352 140210962860674 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15003648 140733337596271 140733337596457 140733337596457 140733337599951 0
[pid=14484/tid=14497] ppid=14481 vsize=13982084 memory=3210940 CPUtime=0.97 cores=0,2,4,6
/proc/14484/task/14497/stat : 14497 (java) S 14481 14484 12560 0 -1 1077944384 8152 0 0 0 96 1 0 0 20 0 15 0 71327286 14317654016 802735 18446744073709551615 4194304 4196468 140733337595312 140210465597552 140210962860674 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15003648 140733337596271 140733337596457 140733337596457 140733337599951 0
[pid=14484/tid=14498] ppid=14481 vsize=13982084 memory=4144 CPUtime=0 cores=0,2,4,6
/proc/14484/task/14498/stat : 14498 (java) S 14481 14484 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71327286 14317654016 802735 18446744073709551615 4194304 4196468 140733337595312 140210464544992 140210962859733 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15003648 140733337596271 140733337596457 140733337596457 140733337599951 0
[pid=14484/tid=14499] ppid=14481 vsize=13982084 memory=1196 CPUtime=1.31 cores=0,2,4,6
/proc/14484/task/14499/stat : 14499 (java) S 14481 14484 12560 0 -1 1077944384 1766 0 0 0 66 65 0 0 20 0 15 0 71327290 14317654016 802735 18446744073709551615 4194304 4196468 140733337595312 140210463493296 140210962860674 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 15003648 140733337596271 140733337596457 140733337596457 140733337599951 0
Current children cumulated CPU time: 2405.62 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 3210940 KiB

[startup+2442.3 s]
/proc/loadavg: 1.76 1.43 1.39 3/210 14719
/proc/meminfo: memFree=25993328/32770624 swapFree=67105588/67108860
[pid=14484] ppid=14481 vsize=13982084 memory=3212988 CPUtime=2466.25 cores=0,2,4,6
/proc/14484/stat : 14484 (java) S 14481 14484 12560 0 -1 1077944320 264763 0 0 0 246373 252 0 0 20 0 15 0 71327272 14317654016 803247 18446744073709551615 4194304 4196468 140733337595312 140733337577856 140210962849527 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 8 0 0 6293624 6294260 15003648 140733337596271 140733337596457 140733337596457 140733337599951 0
/proc/14484/statm: 3495521 803247 3812 1 0 3484295 0
[pid=14484/tid=14486] ppid=14481 vsize=13982084 memory=3212988 CPUtime=2432.46 cores=0,2,4,6
/proc/14484/task/14486/stat : 14486 (java) R 14481 14484 12560 0 -1 4202560 99943 0 0 0 243178 68 0 0 20 0 15 0 71327281 14317654016 803247 18446744073709551615 4194304 4196468 140733337595312 140210967087920 140210573912094 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 15003648 140733337596271 140733337596457 140733337596457 140733337599951 0
[pid=14484/tid=14487] ppid=14481 vsize=13982084 memory=3212988 CPUtime=6.21 cores=0,2,4,6
/proc/14484/task/14487/stat : 14487 (java) S 14481 14484 12560 0 -1 1077944384 29128 0 0 0 591 30 0 0 20 0 15 0 71327282 14317654016 803247 18446744073709551615 4194304 4196468 140733337595312 140210897283728 140210962859733 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15003648 140733337596271 140733337596457 140733337596457 140733337599951 0
[pid=14484/tid=14488] ppid=14481 vsize=13982084 memory=3210940 CPUtime=6.22 cores=0,2,4,6
/proc/14484/task/14488/stat : 14488 (java) S 14481 14484 12560 0 -1 1077944384 27080 0 0 0 594 28 0 0 20 0 15 0 71327282 14317654016 803247 18446744073709551615 4194304 4196468 140733337595312 140210896230928 140210962859733 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15003648 140733337596271 140733337596457 140733337596457 140733337599951 0
[pid=14484/tid=14489] ppid=14481 vsize=13982084 memory=3212988 CPUtime=6.2 cores=0,2,4,6
/proc/14484/task/14489/stat : 14489 (java) S 14481 14484 12560 0 -1 1077944384 28308 0 0 0 593 27 0 0 20 0 15 0 71327282 14317654016 803247 18446744073709551615 4194304 4196468 140733337595312 140210895178128 140210962859733 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15003648 140733337596271 140733337596457 140733337596457 140733337599951 0
[pid=14484/tid=14490] ppid=14481 vsize=13982084 memory=3212988 CPUtime=6.19 cores=0,2,4,6
/proc/14484/task/14490/stat : 14490 (java) S 14481 14484 12560 0 -1 1077944384 26789 0 0 0 591 28 0 0 20 0 15 0 71327282 14317654016 803247 18446744073709551615 4194304 4196468 140733337595312 140210894125328 140210962859733 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15003648 140733337596271 140733337596457 140733337596457 140733337599951 0
[pid=14484/tid=14491] ppid=14481 vsize=13982084 memory=3212988 CPUtime=2.25 cores=0,2,4,6
/proc/14484/task/14491/stat : 14491 (java) S 14481 14484 12560 0 -1 1077944384 22456 0 0 0 205 20 0 0 20 0 15 0 71327283 14317654016 803247 18446744073709551615 4194304 4196468 140733337595312 140210471914352 140210962860674 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 3 0 0 6293624 6294260 15003648 140733337596271 140733337596457 140733337596457 140733337599951 0
[pid=14484/tid=14492] ppid=14481 vsize=13982084 memory=3212988 CPUtime=0 cores=0,2,4,6
/proc/14484/task/14492/stat : 14492 (java) S 14481 14484 12560 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 71327283 14317654016 803247 18446744073709551615 4194304 4196468 140733337595312 140210470860384 140210962859733 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15003648 140733337596271 140733337596457 140733337596457 140733337599951 0
[pid=14484/tid=14493] ppid=14481 vsize=13982084 memory=3212988 CPUtime=0 cores=0,2,4,6
/proc/14484/task/14493/stat : 14493 (java) S 14481 14484 12560 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 71327284 14317654016 803247 18446744073709551615 4194304 4196468 140733337595312 140210469807488 140210962859733 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15003648 140733337596271 140733337596457 140733337596457 140733337599951 0
[pid=14484/tid=14494] ppid=14481 vsize=13982084 memory=3212988 CPUtime=0 cores=0,2,4,6
/proc/14484/task/14494/stat : 14494 (java) S 14481 14484 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71327286 14317654016 803247 18446744073709551615 4194304 4196468 140733337595312 140210468755792 140210962868123 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15003648 140733337596271 140733337596457 140733337596457 140733337599951 0
[pid=14484/tid=14495] ppid=14481 vsize=13982084 memory=3212988 CPUtime=2.13 cores=0,2,4,6
/proc/14484/task/14495/stat : 14495 (java) S 14481 14484 12560 0 -1 1077944384 10252 0 0 0 210 3 0 0 20 0 15 0 71327286 14317654016 803247 18446744073709551615 4194304 4196468 140733337595312 140210467703152 140210962860674 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15003648 140733337596271 140733337596457 140733337596457 140733337599951 0
[pid=14484/tid=14496] ppid=14481 vsize=13982084 memory=3212988 CPUtime=2.18 cores=0,2,4,6
/proc/14484/task/14496/stat : 14496 (java) S 14481 14484 12560 0 -1 1077944384 9440 0 0 0 217 1 0 0 20 0 15 0 71327286 14317654016 803247 18446744073709551615 4194304 4196468 140733337595312 140210466650352 140210962860674 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15003648 140733337596271 140733337596457 140733337596457 140733337599951 0
[pid=14484/tid=14497] ppid=14481 vsize=13982084 memory=3212988 CPUtime=0.98 cores=0,2,4,6
/proc/14484/task/14497/stat : 14497 (java) S 14481 14484 12560 0 -1 1077944384 8158 0 0 0 97 1 0 0 20 0 15 0 71327286 14317654016 803247 18446744073709551615 4194304 4196468 140733337595312 140210465597552 140210962860674 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15003648 140733337596271 140733337596457 140733337596457 140733337599951 0
[pid=14484/tid=14498] ppid=14481 vsize=13982084 memory=3212988 CPUtime=0 cores=0,2,4,6
/proc/14484/task/14498/stat : 14498 (java) S 14481 14484 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71327286 14317654016 803247 18446744073709551615 4194304 4196468 140733337595312 140210464544992 140210962859733 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15003648 140733337596271 140733337596457 140733337596457 140733337599951 0
[pid=14484/tid=14499] ppid=14481 vsize=13982084 memory=3212988 CPUtime=1.35 cores=0,2,4,6
/proc/14484/task/14499/stat : 14499 (java) S 14481 14484 12560 0 -1 1077944384 1799 0 0 0 68 67 0 0 20 0 15 0 71327290 14317654016 803247 18446744073709551615 4194304 4196468 140733337595312 140210463493296 140210962860674 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 15003648 140733337596271 140733337596457 140733337596457 140733337599951 0
Current children cumulated CPU time: 2466.25 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 3212988 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2495.5 s]
/proc/loadavg: 1.60 1.44 1.40 3/210 14721
/proc/meminfo: memFree=25989072/32770624 swapFree=67105588/67108860
[pid=14484] ppid=14481 vsize=13982084 memory=3215036 CPUtime=2520.08 cores=0,2,4,6
/proc/14484/stat : 14484 (java) S 14481 14484 12560 0 -1 1077944320 267536 0 0 0 251752 256 0 0 20 0 15 0 71327272 14317654016 803759 18446744073709551615 4194304 4196468 140733337595312 140733337577856 140210962849527 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 8 0 0 6293624 6294260 15003648 140733337596271 140733337596457 140733337596457 140733337599951 0
/proc/14484/statm: 3495521 803759 3812 1 0 3484295 0
[pid=14484/tid=14486] ppid=14481 vsize=13982084 memory=3215036 CPUtime=2485.34 cores=0,2,4,6
/proc/14484/task/14486/stat : 14486 (java) R 14481 14484 12560 0 -1 4202560 100974 0 0 0 248466 68 0 0 20 0 15 0 71327281 14317654016 803759 18446744073709551615 4194304 4196468 140733337595312 140210967088080 140210576578169 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 15003648 140733337596271 140733337596457 140733337596457 140733337599951 0
[pid=14484/tid=14487] ppid=14481 vsize=13982084 memory=3215036 CPUtime=6.41 cores=0,2,4,6
/proc/14484/task/14487/stat : 14487 (java) S 14481 14484 12560 0 -1 1077944384 29380 0 0 0 611 30 0 0 20 0 15 0 71327282 14317654016 803759 18446744073709551615 4194304 4196468 140733337595312 140210897283728 140210962859733 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15003648 140733337596271 140733337596457 140733337596457 140733337599951 0
[pid=14484/tid=14488] ppid=14481 vsize=13982084 memory=3215036 CPUtime=6.42 cores=0,2,4,6
/proc/14484/task/14488/stat : 14488 (java) S 14481 14484 12560 0 -1 1077944384 27460 0 0 0 613 29 0 0 20 0 15 0 71327282 14317654016 803759 18446744073709551615 4194304 4196468 140733337595312 140210896230928 140210962859733 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15003648 140733337596271 140733337596457 140733337596457 140733337599951 0
[pid=14484/tid=14489] ppid=14481 vsize=13982084 memory=3215036 CPUtime=6.4 cores=0,2,4,6
/proc/14484/task/14489/stat : 14489 (java) S 14481 14484 12560 0 -1 1077944384 28604 0 0 0 613 27 0 0 20 0 15 0 71327282 14317654016 803759 18446744073709551615 4194304 4196468 140733337595312 140210895178128 140210962859733 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15003648 140733337596271 140733337596457 140733337596457 140733337599951 0
[pid=14484/tid=14490] ppid=14481 vsize=13982084 memory=3215036 CPUtime=6.4 cores=0,2,4,6
/proc/14484/task/14490/stat : 14490 (java) S 14481 14484 12560 0 -1 1077944384 27217 0 0 0 611 29 0 0 20 0 15 0 71327282 14317654016 803759 18446744073709551615 4194304 4196468 140733337595312 140210894125328 140210962859733 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15003648 140733337596271 140733337596457 140733337596457 140733337599951 0
[pid=14484/tid=14491] ppid=14481 vsize=13982084 memory=3215036 CPUtime=2.34 cores=0,2,4,6
/proc/14484/task/14491/stat : 14491 (java) S 14481 14484 12560 0 -1 1077944384 22804 0 0 0 213 21 0 0 20 0 15 0 71327283 14317654016 803759 18446744073709551615 4194304 4196468 140733337595312 140210471914352 140210962860674 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 3 0 0 6293624 6294260 15003648 140733337596271 140733337596457 140733337596457 140733337599951 0
[pid=14484/tid=14492] ppid=14481 vsize=13982084 memory=3215036 CPUtime=0 cores=0,2,4,6
/proc/14484/task/14492/stat : 14492 (java) S 14481 14484 12560 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 71327283 14317654016 803759 18446744073709551615 4194304 4196468 140733337595312 140210470860384 140210962859733 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15003648 140733337596271 140733337596457 140733337596457 140733337599951 0
[pid=14484/tid=14493] ppid=14481 vsize=13982084 memory=3215036 CPUtime=0 cores=0,2,4,6
/proc/14484/task/14493/stat : 14493 (java) S 14481 14484 12560 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 71327284 14317654016 803759 18446744073709551615 4194304 4196468 140733337595312 140210469807488 140210962859733 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15003648 140733337596271 140733337596457 140733337596457 140733337599951 0
[pid=14484/tid=14494] ppid=14481 vsize=13982084 memory=3215036 CPUtime=0 cores=0,2,4,6
/proc/14484/task/14494/stat : 14494 (java) S 14481 14484 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71327286 14317654016 803759 18446744073709551615 4194304 4196468 140733337595312 140210468755792 140210962868123 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15003648 140733337596271 140733337596457 140733337596457 140733337599951 0
[pid=14484/tid=14495] ppid=14481 vsize=13982084 memory=3215036 CPUtime=2.13 cores=0,2,4,6
/proc/14484/task/14495/stat : 14495 (java) S 14481 14484 12560 0 -1 1077944384 10256 0 0 0 210 3 0 0 20 0 15 0 71327286 14317654016 803759 18446744073709551615 4194304 4196468 140733337595312 140210467703152 140210962860674 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15003648 140733337596271 140733337596457 140733337596457 140733337599951 0
[pid=14484/tid=14496] ppid=14481 vsize=13982084 memory=4144 CPUtime=2.18 cores=0,2,4,6
/proc/14484/task/14496/stat : 14496 (java) S 14481 14484 12560 0 -1 1077944384 9444 0 0 0 217 1 0 0 20 0 15 0 71327286 14317654016 803759 18446744073709551615 4194304 4196468 140733337595312 140210466650352 140210962860674 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15003648 140733337596271 140733337596457 140733337596457 140733337599951 0
[pid=14484/tid=14497] ppid=14481 vsize=13982084 memory=3215036 CPUtime=0.98 cores=0,2,4,6
/proc/14484/task/14497/stat : 14497 (java) S 14481 14484 12560 0 -1 1077944384 8162 0 0 0 97 1 0 0 20 0 15 0 71327286 14317654016 803759 18446744073709551615 4194304 4196468 140733337595312 140210465597552 140210962860674 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15003648 140733337596271 140733337596457 140733337596457 140733337599951 0
[pid=14484/tid=14498] ppid=14481 vsize=13982084 memory=4144 CPUtime=0 cores=0,2,4,6
/proc/14484/task/14498/stat : 14498 (java) S 14481 14484 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71327286 14317654016 803759 18446744073709551615 4194304 4196468 140733337595312 140210464544992 140210962859733 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15003648 140733337596271 140733337596457 140733337596457 140733337599951 0
[pid=14484/tid=14499] ppid=14481 vsize=13982084 memory=3215036 CPUtime=1.37 cores=0,2,4,6
/proc/14484/task/14499/stat : 14499 (java) S 14481 14484 12560 0 -1 1077944384 1825 0 0 0 69 68 0 0 20 0 15 0 71327290 14317654016 803759 18446744073709551615 4194304 4196468 140733337595312 140210463493296 140210962860674 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 15003648 140733337596271 140733337596457 140733337596457 140733337599951 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 3215036 KiB

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

[startup+2495.54 s]
# the end of solver process 14484 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2517.56 s, system=2.57959 s

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

[startup+2495.5 s]
/proc/loadavg: 1.60 1.44 1.40 3/210 14721
/proc/meminfo: memFree=25989072/32770624 swapFree=67105588/67108860
[pid=14484] ppid=14481 vsize=13982084 memory=3215036 CPUtime=2520.08 cores=0,2,4,6
/proc/14484/stat : 14484 (java) S 14481 14484 12560 0 -1 1077944320 267536 0 0 0 251752 256 0 0 20 0 15 0 71327272 14317654016 803759 18446744073709551615 4194304 4196468 140733337595312 140733337577856 140210962849527 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 8 0 0 6293624 6294260 15003648 140733337596271 140733337596457 140733337596457 140733337599951 0
/proc/14484/statm: 3495521 803759 3812 1 0 3484295 0
[pid=14484/tid=14486] ppid=14481 vsize=13982084 memory=3215036 CPUtime=2485.34 cores=0,2,4,6
/proc/14484/task/14486/stat : 14486 (java) R 14481 14484 12560 0 -1 4202560 100974 0 0 0 248466 68 0 0 20 0 15 0 71327281 14317654016 803759 18446744073709551615 4194304 4196468 140733337595312 140210967088080 140210576578169 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 15003648 140733337596271 140733337596457 140733337596457 140733337599951 0
[pid=14484/tid=14487] ppid=14481 vsize=13982084 memory=3215036 CPUtime=6.41 cores=0,2,4,6
/proc/14484/task/14487/stat : 14487 (java) S 14481 14484 12560 0 -1 1077944384 29380 0 0 0 611 30 0 0 20 0 15 0 71327282 14317654016 803759 18446744073709551615 4194304 4196468 140733337595312 140210897283728 140210962859733 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15003648 140733337596271 140733337596457 140733337596457 140733337599951 0
[pid=14484/tid=14488] ppid=14481 vsize=13982084 memory=3215036 CPUtime=6.42 cores=0,2,4,6
/proc/14484/task/14488/stat : 14488 (java) S 14481 14484 12560 0 -1 1077944384 27460 0 0 0 613 29 0 0 20 0 15 0 71327282 14317654016 803759 18446744073709551615 4194304 4196468 140733337595312 140210896230928 140210962859733 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15003648 140733337596271 140733337596457 140733337596457 140733337599951 0
[pid=14484/tid=14489] ppid=14481 vsize=13982084 memory=3215036 CPUtime=6.4 cores=0,2,4,6
/proc/14484/task/14489/stat : 14489 (java) S 14481 14484 12560 0 -1 1077944384 28604 0 0 0 613 27 0 0 20 0 15 0 71327282 14317654016 803759 18446744073709551615 4194304 4196468 140733337595312 140210895178128 140210962859733 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15003648 140733337596271 140733337596457 140733337596457 140733337599951 0
[pid=14484/tid=14490] ppid=14481 vsize=13982084 memory=3215036 CPUtime=6.4 cores=0,2,4,6
/proc/14484/task/14490/stat : 14490 (java) S 14481 14484 12560 0 -1 1077944384 27217 0 0 0 611 29 0 0 20 0 15 0 71327282 14317654016 803759 18446744073709551615 4194304 4196468 140733337595312 140210894125328 140210962859733 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15003648 140733337596271 140733337596457 140733337596457 140733337599951 0
[pid=14484/tid=14491] ppid=14481 vsize=13982084 memory=3215036 CPUtime=2.34 cores=0,2,4,6
/proc/14484/task/14491/stat : 14491 (java) S 14481 14484 12560 0 -1 1077944384 22804 0 0 0 213 21 0 0 20 0 15 0 71327283 14317654016 803759 18446744073709551615 4194304 4196468 140733337595312 140210471914352 140210962860674 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 3 0 0 6293624 6294260 15003648 140733337596271 140733337596457 140733337596457 140733337599951 0
[pid=14484/tid=14492] ppid=14481 vsize=13982084 memory=3215036 CPUtime=0 cores=0,2,4,6
/proc/14484/task/14492/stat : 14492 (java) S 14481 14484 12560 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 71327283 14317654016 803759 18446744073709551615 4194304 4196468 140733337595312 140210470860384 140210962859733 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15003648 140733337596271 140733337596457 140733337596457 140733337599951 0
[pid=14484/tid=14493] ppid=14481 vsize=13982084 memory=3215036 CPUtime=0 cores=0,2,4,6
/proc/14484/task/14493/stat : 14493 (java) S 14481 14484 12560 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 71327284 14317654016 803759 18446744073709551615 4194304 4196468 140733337595312 140210469807488 140210962859733 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15003648 140733337596271 140733337596457 140733337596457 140733337599951 0
[pid=14484/tid=14494] ppid=14481 vsize=13982084 memory=3215036 CPUtime=0 cores=0,2,4,6
/proc/14484/task/14494/stat : 14494 (java) S 14481 14484 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71327286 14317654016 803759 18446744073709551615 4194304 4196468 140733337595312 140210468755792 140210962868123 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15003648 140733337596271 140733337596457 140733337596457 140733337599951 0
[pid=14484/tid=14495] ppid=14481 vsize=13982084 memory=3215036 CPUtime=2.13 cores=0,2,4,6
/proc/14484/task/14495/stat : 14495 (java) S 14481 14484 12560 0 -1 1077944384 10256 0 0 0 210 3 0 0 20 0 15 0 71327286 14317654016 803759 18446744073709551615 4194304 4196468 140733337595312 140210467703152 140210962860674 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15003648 140733337596271 140733337596457 140733337596457 140733337599951 0
[pid=14484/tid=14496] ppid=14481 vsize=13982084 memory=4144 CPUtime=2.18 cores=0,2,4,6
/proc/14484/task/14496/stat : 14496 (java) S 14481 14484 12560 0 -1 1077944384 9444 0 0 0 217 1 0 0 20 0 15 0 71327286 14317654016 803759 18446744073709551615 4194304 4196468 140733337595312 140210466650352 140210962860674 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15003648 140733337596271 140733337596457 140733337596457 140733337599951 0
[pid=14484/tid=14497] ppid=14481 vsize=13982084 memory=3215036 CPUtime=0.98 cores=0,2,4,6
/proc/14484/task/14497/stat : 14497 (java) S 14481 14484 12560 0 -1 1077944384 8162 0 0 0 97 1 0 0 20 0 15 0 71327286 14317654016 803759 18446744073709551615 4194304 4196468 140733337595312 140210465597552 140210962860674 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15003648 140733337596271 140733337596457 140733337596457 140733337599951 0
[pid=14484/tid=14498] ppid=14481 vsize=13982084 memory=4144 CPUtime=0 cores=0,2,4,6
/proc/14484/task/14498/stat : 14498 (java) S 14481 14484 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71327286 14317654016 803759 18446744073709551615 4194304 4196468 140733337595312 140210464544992 140210962859733 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15003648 140733337596271 140733337596457 140733337596457 140733337599951 0
[pid=14484/tid=14499] ppid=14481 vsize=13982084 memory=3215036 CPUtime=1.37 cores=0,2,4,6
/proc/14484/task/14499/stat : 14499 (java) S 14481 14484 12560 0 -1 1077944384 1825 0 0 0 69 68 0 0 20 0 15 0 71327290 14317654016 803759 18446744073709551615 4194304 4196468 140733337595312 140210463493296 140210962860674 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 15003648 140733337596271 140733337596457 140733337596457 140733337599951 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 3215036 KiB

Child status: 143
Real time (s): 2495.54
CPU time (s): 2520.14
CPU user time (s): 2517.56
CPU system time (s): 2.57959
CPU usage (%): 100.986
Max. virtual memory (cumulated for all children) (KiB): 13982084
Max. memory (cumulated for all children) (KiB): 3868464

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.56
system time used= 2.57959
maximum resident set size= 3907664
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 268328
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2840
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 117104
involuntary context switches= 4349


# summary of solver processes directly reported to runsolver:
#   pid: 14484
#   total CPU time (s): 2520.14
#   total CPU user time (s): 2517.56
#   total CPU system time (s): 2.57959

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.1656 second user time and 23.4743 second system time

The end

Launcher Data

Begin job on node126 at 2017-08-14 08:01:17
IDJOB=4273750
IDBENCH=115882
IDSOLVER=2666
FILE ID=node126/4273750-1502691319
RUNJOBID= node126-1502662832-10387
PBS_JOBID= 
Free space on /tmp= 61988 MiB

SOLVER NAME= OscaR - Conflict Ordering 2017-07-26
BENCH NAME= XCSP17/StillLife/StillLife-wst-s1/StillLife-wastage-50.xml
COMMAND LINE= java -Xmx11000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 11000 --nbcore NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4273750-1502691319/watcher-4273750-1502691319 -o /tmp/evaluation-result-4273750-1502691319/solver-4273750-1502691319 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node126-1502662832-10387 --watchdog 2580  java -Xmx11000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed 544311900 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4273750-1502691319.xml

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

MD5SUM BENCH= b46c08097c4951fbb159b9042bff535d
RANDOM SEED=544311900

node126.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.81
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.81
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.81
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.81
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:        31285968 kB
MemAvailable:   31739948 kB
Buffers:          295664 kB
Cached:           427176 kB
SwapCached:          524 kB
Active:           782320 kB
Inactive:         218024 kB
Active(anon):     225648 kB
Inactive(anon):    85400 kB
Active(file):     556672 kB
Inactive(file):   132624 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67105588 kB
Dirty:             42264 kB
Writeback:             0 kB
AnonPages:        285496 kB
Mapped:            63480 kB
Shmem:             33440 kB
Slab:             187228 kB
SReclaimable:     161036 kB
SUnreclaim:        26192 kB
KernelStack:        3504 kB
PageTables:         6044 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1181104 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    223232 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      101760 kB
DirectMap2M:    33443840 kB

Free space on /tmp at the end= 61948 MiB
End job on node126 at 2017-08-14 08:42:53