Trace number 4244834

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
R1: OscaR - Hybrid 2017-06-30SAT (TO)843 2400.06 2280.54

General information on the benchmark

NameStillLife/StillLife-wst-s1/
StillLife-wastage-43.xml
MD5SUM2bbdfe474604d495dd31c09972612e7d
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark911
Best CPU time to get the best result obtained on this benchmark2400.05
Satisfiable
(Un)Satisfiability was proved
Number of variables4096
Number of constraints2287
Number of domains4
Minimum domain size2
Maximum domain size4051
Distribution of domain sizes[{"size":2,"count":2025},{"size":3,"count":2025},{"size":1850,"count":1},{"size":4051,"count":45}]
Minimum variable degree1
Maximum variable degree46
Distribution of variable degrees[{"degree":1,"count":4},{"degree":2,"count":2022},{"degree":3,"count":48},{"degree":4,"count":172},{"degree":8,"count":168},{"degree":9,"count":1681},{"degree":46,"count":1}]
Minimum constraint arity2
Maximum constraint arity47
Distribution of constraint arities[{"arity":2,"count":217},{"arity":3,"count":172},{"arity":10,"count":1849},{"arity":45,"count":4},{"arity":46,"count":1},{"arity":47,"count":44}]
Number of extensional constraints2021
Number of intensional constraints216
Distribution of constraint types[{"type":"extension","count":2021},{"type":"intension","count":216},{"type":"sum","count":46},{"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.42/0.30	c version: 2017-06-30
0.42/0.30	c seed: 866504984
0.42/0.30	c timeout: 2400
0.42/0.30	c memlimit: 15500
0.42/0.30	c nbcore: 8
0.42/0.33	c Parsing instance...
8.21/2.71	c Parsing done, starting first complete search...
25.75/18.13	o 219
25.75/18.14	o 220
25.75/18.14	o 221
25.75/18.14	o 222
25.75/18.15	o 223
25.75/18.15	o 224
25.75/18.15	o 225
25.75/18.16	o 226
25.75/18.16	o 227
25.75/18.16	o 228
25.75/18.17	o 229
25.75/18.17	o 230
25.75/18.17	o 231
25.75/18.17	o 232
25.75/18.17	o 233
25.75/18.18	o 234
25.75/18.18	o 235
25.75/18.18	o 236
25.75/18.18	o 237
25.75/18.18	o 238
25.75/18.19	o 239
25.75/18.19	o 240
25.75/18.19	o 241
25.75/18.19	o 242
25.75/18.19	o 243
25.75/18.19	o 244
25.75/18.20	o 245
26.04/18.20	o 246
26.04/18.20	o 247
26.04/18.20	o 248
26.04/18.20	o 249
26.04/18.20	o 250
26.04/18.21	o 251
26.04/18.21	o 252
26.04/18.21	o 253
26.04/18.21	o 254
26.04/18.21	o 255
26.04/18.22	o 256
26.04/18.22	o 257
26.04/18.22	o 258
26.04/18.22	o 259
26.04/18.22	o 260
26.04/18.23	o 261
26.04/18.23	o 262
26.04/18.23	o 263
26.04/18.23	o 264
26.04/18.23	o 265
26.04/18.24	o 266
26.04/18.24	o 267
26.04/18.24	o 268
26.04/18.24	o 269
26.04/18.24	o 270
26.04/18.25	o 271
26.04/18.25	o 272
26.04/18.25	o 273
26.04/18.25	o 274
26.04/18.25	o 275
26.04/18.26	o 276
26.04/18.26	o 277
26.04/18.26	o 278
26.04/18.26	o 279
26.04/18.26	o 280
26.04/18.26	o 281
26.04/18.27	o 282
26.04/18.27	o 283
26.04/18.27	o 284
26.04/18.27	o 285
26.04/18.27	o 286
26.04/18.27	o 287
26.04/18.28	o 288
26.04/18.28	o 289
26.04/18.28	o 290
26.04/18.28	o 291
26.04/18.28	o 292
26.04/18.28	o 293
26.04/18.29	o 294
26.04/18.29	o 295
26.04/18.29	o 296
26.04/18.29	o 297
26.04/18.29	o 298
26.04/18.30	o 299
26.35/18.30	o 300
26.35/18.30	o 301
26.35/18.30	o 302
26.35/18.30	o 303
26.35/18.30	o 304
26.35/18.31	o 305
26.35/18.31	o 306
26.35/18.31	o 307
26.35/18.31	o 308
26.35/18.31	o 309
26.35/18.31	o 310
26.35/18.32	o 311
26.35/18.32	o 312
26.35/18.32	o 313
26.35/18.32	o 314
26.35/18.32	o 315
26.35/18.32	o 316
26.35/18.33	o 317
26.35/18.33	o 318
26.35/18.33	o 319
26.35/18.33	o 320
26.35/18.33	o 321
26.35/18.33	o 322
26.35/18.34	o 323
26.35/18.34	o 324
26.35/18.34	o 325
26.35/18.34	o 326
26.35/18.34	o 327
26.35/18.34	o 328
26.35/18.34	o 329
26.35/18.35	o 330
26.35/18.35	o 331
26.35/18.35	o 332
26.35/18.35	o 333
26.35/18.35	o 334
26.35/18.35	o 335
26.35/18.36	o 336
26.35/18.36	o 337
26.35/18.36	o 338
26.35/18.36	o 339
26.35/18.36	o 340
26.35/18.37	o 341
26.35/18.37	o 342
26.35/18.37	o 343
26.35/18.37	o 344
26.35/18.37	o 345
26.35/18.38	o 346
26.35/18.38	o 347
26.35/18.38	o 348
26.35/18.38	o 349
26.35/18.38	o 350
26.35/18.38	o 351
26.35/18.39	o 352
26.35/18.39	o 353
26.35/18.39	o 354
26.35/18.39	o 355
26.35/18.39	o 356
26.35/18.40	o 357
26.56/18.40	o 358
26.56/18.40	o 359
26.56/18.40	o 360
26.56/18.40	o 361
26.56/18.40	o 362
26.56/18.41	o 363
26.56/18.41	o 364
26.56/18.41	o 365
26.56/18.41	o 366
26.56/18.41	o 367
26.56/18.42	o 368
26.56/18.42	o 369
26.56/18.42	o 370
26.56/18.42	o 371
26.56/18.42	o 372
26.56/18.43	o 373
26.56/18.43	o 374
26.56/18.43	o 375
26.56/18.43	o 376
26.56/18.43	o 377
26.56/18.43	o 378
26.56/18.44	o 379
26.56/18.44	o 380
26.56/18.44	o 381
26.56/18.44	o 382
26.56/18.44	o 383
26.56/18.45	o 384
26.56/18.45	o 385
26.56/18.45	o 386
26.56/18.45	o 387
26.56/18.45	o 388
26.56/18.45	o 389
26.56/18.46	o 390
26.56/18.46	o 391
26.56/18.46	o 392
26.56/18.46	o 393
26.56/18.46	o 394
26.56/18.47	o 395
26.56/18.47	o 396
26.56/18.47	o 397
26.56/18.47	o 398
26.56/18.47	o 399
26.56/18.47	o 400
26.56/18.48	o 401
26.56/18.48	o 402
26.56/18.48	o 403
26.56/18.48	o 404
26.56/18.49	o 405
26.56/18.49	o 406
26.56/18.49	o 407
26.56/18.49	o 408
26.56/18.49	o 409
26.56/18.50	o 410
26.80/18.50	o 411
26.80/18.50	o 412
26.80/18.50	o 413
26.80/18.50	o 414
26.80/18.51	o 415
26.80/18.51	o 416
26.80/18.51	o 417
26.80/18.51	o 418
26.80/18.51	o 419
26.80/18.52	o 420
26.80/18.52	o 421
26.80/18.52	o 422
26.80/18.52	o 423
26.80/18.52	o 424
26.80/18.52	o 425
26.80/18.53	o 426
26.80/18.53	o 427
26.80/18.53	o 428
26.80/18.53	o 429
26.80/18.53	o 430
26.80/18.54	o 431
26.80/18.54	o 432
26.80/18.54	o 433
26.80/18.54	o 434
26.80/18.54	o 435
26.80/18.54	o 436
26.80/18.55	o 437
26.80/18.55	o 438
26.80/18.55	o 439
26.80/18.55	o 440
26.80/18.55	o 441
26.80/18.55	o 442
26.80/18.56	o 443
26.80/18.56	o 444
26.80/18.56	o 445
26.80/18.56	o 446
26.80/18.56	o 447
26.80/18.56	o 448
26.80/18.57	o 449
26.80/18.57	o 450
26.80/18.57	o 451
26.80/18.57	o 452
26.80/18.58	o 453
26.80/18.58	o 454
26.80/18.58	o 455
26.80/18.58	o 456
26.80/18.58	o 457
26.80/18.59	o 458
26.80/18.59	o 459
26.80/18.59	o 460
26.80/18.59	o 461
26.80/18.59	o 462
26.80/18.60	o 463
26.95/18.60	o 464
26.95/18.60	o 465
26.95/18.60	o 466
26.95/18.60	o 467
26.95/18.61	o 468
26.95/18.61	o 469
26.95/18.61	o 470
26.95/18.61	o 471
26.95/18.62	o 472
26.95/18.62	o 473
26.95/18.62	o 474
26.95/18.62	o 475
26.95/18.62	o 476
26.95/18.63	o 477
26.95/18.63	o 478
26.95/18.63	o 479
26.95/18.63	o 480
26.95/18.63	o 481
26.95/18.64	o 482
26.95/18.64	o 483
26.95/18.64	o 484
26.95/18.64	o 485
26.95/18.64	o 486
26.95/18.65	o 487
26.95/18.65	o 488
26.95/18.65	o 489
26.95/18.65	o 490
26.95/18.65	o 491
26.95/18.66	o 492
26.95/18.66	o 493
26.95/18.66	o 494
26.95/18.66	o 495
26.95/18.66	o 496
26.95/18.67	o 497
26.95/18.67	o 498
26.95/18.67	o 499
26.95/18.67	o 500
26.95/18.68	o 501
26.95/18.68	o 502
26.95/18.68	o 503
26.95/18.68	o 504
26.95/18.68	o 505
26.95/18.68	o 506
26.95/18.69	o 507
26.95/18.69	o 508
26.95/18.69	o 509
26.95/18.69	o 510
26.95/18.69	o 511
26.95/18.70	o 512
26.95/18.70	o 513
26.95/18.70	o 514
26.95/18.70	o 515
26.95/18.70	o 516
27.08/18.71	o 517
27.08/18.71	o 518
27.08/18.71	o 519
27.08/18.71	o 520
27.08/18.72	o 521
27.08/18.72	o 522
27.08/18.72	o 523
27.08/18.72	o 524
27.08/18.73	o 525
27.08/18.73	o 526
27.08/18.73	o 527
27.08/18.73	o 528
27.08/18.74	o 529
27.08/18.74	o 530
27.08/18.74	o 531
27.08/18.74	o 532
27.08/18.74	o 533
27.08/18.75	o 534
27.08/18.75	o 535
27.08/18.75	o 536
27.08/18.75	o 537
27.08/18.76	o 538
27.08/18.76	o 539
27.08/18.76	o 540
27.08/18.76	o 541
27.08/18.76	o 542
27.08/18.77	o 543
27.08/18.77	o 544
27.08/18.77	o 545
27.08/18.77	o 546
27.08/18.78	o 547
27.08/18.78	o 548
27.08/18.78	o 549
27.08/18.78	o 550
27.08/18.79	o 551
27.08/18.79	o 552
27.08/18.79	o 553
27.08/18.79	o 554
27.08/18.80	o 555
27.08/18.80	o 556
27.08/18.80	o 557
27.08/18.80	o 558
27.19/18.81	o 559
27.19/18.81	o 560
27.19/18.81	o 561
27.19/18.81	o 562
27.19/18.82	o 563
27.19/18.82	o 564
27.19/18.82	o 565
27.19/18.82	o 566
27.19/18.83	o 567
27.19/18.83	o 568
27.19/18.83	o 569
27.19/18.83	o 570
27.19/18.84	o 571
27.19/18.84	o 572
27.19/18.84	o 573
27.19/18.84	o 574
27.19/18.85	o 575
27.19/18.85	o 576
27.19/18.85	o 577
27.19/18.85	o 578
27.19/18.86	o 579
27.19/18.86	o 580
27.19/18.86	o 581
27.19/18.86	o 582
27.19/18.87	o 583
27.19/18.87	o 584
27.19/18.87	o 585
27.19/18.87	o 586
27.19/18.88	o 587
27.19/18.88	o 588
27.19/18.88	o 589
27.19/18.88	o 590
27.19/18.88	o 591
27.19/18.89	o 592
27.19/18.89	o 593
27.19/18.89	o 594
27.19/18.90	o 595
27.28/18.90	o 596
27.28/18.90	o 597
27.28/18.90	o 598
27.28/18.91	o 599
27.28/18.91	o 600
27.28/18.91	o 601
27.28/18.91	o 602
27.28/18.92	o 603
27.28/18.92	o 604
27.28/18.92	o 605
27.28/18.92	o 606
27.28/18.93	o 607
27.28/18.93	o 608
27.28/18.93	o 609
27.28/18.93	o 610
27.28/18.94	o 611
27.28/18.94	o 612
27.28/18.94	o 613
27.28/18.94	o 614
27.28/18.95	o 615
27.28/18.95	o 616
27.28/18.95	o 617
27.28/18.95	o 618
27.28/18.96	o 619
27.28/18.96	o 620
27.28/18.96	o 621
27.28/18.96	o 622
27.28/18.97	o 623
27.28/18.97	o 624
27.28/18.97	o 625
27.28/18.97	o 626
27.28/18.98	o 627
27.28/18.98	o 628
27.28/18.98	o 629
27.28/18.98	o 630
27.28/18.99	o 631
27.28/18.99	o 632
27.28/18.99	o 633
27.28/19.00	o 634
27.39/19.00	o 635
27.39/19.00	o 636
27.39/19.00	o 637
27.39/19.01	o 638
27.39/19.01	o 639
27.39/19.01	o 640
27.39/19.02	o 641
27.39/19.02	o 642
27.39/19.02	o 643
27.39/19.03	o 644
27.39/19.03	o 645
27.39/19.04	o 646
27.39/19.04	o 647
27.39/19.04	o 648
27.39/19.05	o 649
27.39/19.06	o 650
27.39/19.07	o 651
27.59/19.10	o 652
27.59/19.12	o 653
27.59/19.13	o 654
27.59/19.14	o 655
27.59/19.16	o 656
27.59/19.17	o 657
27.59/19.18	o 658
27.59/19.20	o 659
27.69/19.23	o 660
27.69/19.25	o 661
27.69/19.27	o 662
27.97/19.43	o 663
27.97/19.46	o 664
28.09/19.58	o 665
28.33/19.75	o 666
48.34/39.19	c First complete search done, starting ALNS search...
52.95/42.46	o 667
290.20/274.98	o 668
553.31/524.20	o 669
554.31/525.22	o 670
562.12/532.94	o 671
564.22/535.08	o 672
577.40/547.54	o 673
603.80/572.17	o 674
614.03/581.90	o 675
616.44/584.22	o 676
860.83/815.97	o 677
862.60/817.66	o 678
864.90/819.93	o 679
963.50/913.82	o 680
1012.91/961.31	o 681
1125.14/1068.12	o 682
1137.19/1079.67	o 683
1140.70/1083.13	o 684
1142.40/1084.82	o 685
1337.39/1271.06	o 686
1403.41/1334.49	o 687
1416.41/1347.00	o 688
1426.68/1356.87	o 689
1429.98/1360.10	o 690
1444.61/1373.65	o 691
1457.50/1386.09	o 692
1760.32/1674.73	o 693
1802.20/1713.96	c ALNS done, starting second complete search
1802.20/1713.96	c Best operator: KSuccessive(2048)_LastConf(valLearnMax) with improvement of: 26
1901.40/1808.40	o 695
1901.50/1808.46	o 696
1901.50/1808.49	o 697
1901.61/1808.53	o 698
1901.61/1808.56	o 699
1901.61/1808.59	o 700
1901.71/1808.62	o 701
1901.71/1808.66	o 702
1901.71/1808.69	o 703
1901.81/1808.72	o 704
1901.81/1808.75	o 705
1901.81/1808.79	o 706
1901.91/1808.82	o 707
1901.91/1808.85	o 708
1901.91/1808.88	o 709
1902.01/1808.92	o 710
1902.01/1808.95	o 711
1902.01/1808.98	o 712
1902.11/1809.01	o 713
1902.11/1809.05	o 714
1902.11/1809.08	o 715
1902.22/1809.11	o 716
1902.22/1809.15	o 717
1902.22/1809.18	o 718
1902.32/1809.21	o 719
1902.32/1809.24	o 720
1902.32/1809.28	o 721
1902.42/1809.31	o 722
1902.42/1809.34	o 723
1902.42/1809.37	o 724
1902.52/1809.41	o 725
1902.52/1809.44	o 726
1902.52/1809.47	o 727
1902.62/1809.51	o 728
1902.62/1809.54	o 729
1902.62/1809.57	o 730
1902.62/1809.60	o 731
1902.72/1809.64	o 732
1902.72/1809.67	o 733
1902.82/1809.70	o 734
1902.82/1809.74	o 735
1902.82/1809.77	o 736
1902.92/1809.80	o 737
1902.92/1809.87	o 738
1903.12/1809.91	o 739
1903.12/1809.95	o 740
1903.12/1809.99	o 741
1903.23/1810.02	o 742
1903.23/1810.06	o 743
1903.23/1810.09	o 744
1903.33/1810.12	o 745
1903.33/1810.16	o 746
1903.33/1810.19	o 747
1903.43/1810.22	o 748
1903.43/1810.26	o 749
1903.43/1810.29	o 750
1903.54/1810.32	o 751
1903.54/1810.35	o 752
1903.54/1810.39	o 753
1903.64/1810.42	o 754
1903.64/1810.45	o 755
1903.64/1810.49	o 756
1903.74/1810.52	o 757
1903.74/1810.55	o 758
1903.74/1810.59	o 759
1903.84/1810.62	o 760
1903.84/1810.65	o 761
1903.84/1810.69	o 762
1903.94/1810.72	o 763
1903.94/1810.75	o 764
1903.94/1810.79	o 765
1904.04/1810.82	o 766
1904.04/1810.86	o 767
1904.04/1810.89	o 768
1904.14/1810.92	o 769
1904.14/1810.96	o 770
1904.14/1810.99	o 771
1904.24/1811.08	o 772
1904.34/1811.17	o 773
1904.44/1811.26	o 774
1904.54/1811.36	o 775
1904.64/1811.45	o 776
1904.74/1811.54	o 777
1904.84/1811.65	o 778
1905.05/1811.77	o 779
1905.15/1811.87	o 780
1905.24/1811.96	o 781
1905.34/1812.05	o 782
1905.44/1812.14	o 783
1905.54/1812.23	o 784
1905.64/1812.33	o 785
1905.74/1812.42	o 786
1905.84/1812.51	o 787
1905.94/1812.60	o 788
1905.94/1812.69	o 789
1906.04/1812.78	o 790
1906.15/1812.87	o 791
1906.25/1812.96	o 792
1906.34/1813.06	o 793
1906.44/1813.15	o 794
1906.54/1813.24	o 795
1906.64/1813.34	o 796
1906.81/1813.43	o 797
1906.91/1813.53	o 798
1907.01/1813.62	o 799
1907.11/1813.71	o 800
1907.21/1813.80	o 801
1907.21/1813.89	o 802
1907.32/1813.98	o 803
1907.42/1814.08	o 804
1907.51/1814.17	o 805
1907.61/1814.26	o 806
1907.71/1814.35	o 807
1907.81/1814.44	o 808
1907.91/1814.53	o 809
1908.01/1814.63	o 810
1908.11/1814.72	o 811
1908.21/1814.81	o 812
1908.44/1814.92	o 813
1908.55/1815.01	o 814
1908.55/1815.10	o 815
1908.65/1815.19	o 816
1908.74/1815.28	o 817
1908.84/1815.38	o 818
1908.94/1815.47	o 819
1909.04/1815.56	o 820
1909.14/1815.65	o 821
1909.24/1815.74	o 822
1909.34/1815.84	o 823
1909.44/1815.93	o 824
1909.54/1816.02	o 825
1909.65/1816.11	o 826
1909.65/1816.20	o 827
1909.75/1816.29	o 828
1909.84/1816.39	o 829
1909.94/1816.48	o 830
1910.04/1816.57	o 831
1910.14/1816.66	o 832
1910.24/1816.77	o 833
1910.44/1816.86	o 834
1910.54/1816.96	o 835
1910.64/1817.05	o 836
1910.74/1817.14	o 837
1910.85/1817.23	o 838
1932.37/1837.82	o 839
1937.12/1842.39	o 840
1940.08/1845.13	o 841
2066.82/1965.34	o 842
2310.52/2196.02	o 843
2400.01/2280.51	s SATISFIABLE
2400.01/2280.52	v <instantiation>
2400.01/2280.52	v 	<list>
2400.01/2280.52	v 		x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[0][30] x[0][31] x[0][32] x[0][33] x[0][34] x[0][35] x[0][36] x[0][37] x[0][38] x[0][39] x[0][40] x[0][41] x[0][42] x[0][43] x[0][44] x[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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] 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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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] 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] z
2400.01/2280.52	v 	</list>
2400.01/2280.52	v 	<values>
2400.01/2280.52	v 		0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 0 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 0 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 1 0 1 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 1 1 0 0 0 0 0 1 1 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 1 0 0 0 0 0 0 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 0 1 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 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 1 0 0 0 0 1 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 0 0 1 0 0 0 0 0 1 0 1 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 1 1 0 1 1 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 1 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 1 0 1 1 0 0 0 0 0 1 1 1 1 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 0 0 1 0 0 1 0 0 0 0 0 0 1 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 1 1 0 0 1 0 0 1 0 1 0 0 0 1 1 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 0 1 1 0 1 1 0 0 0 0 0 1 0 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 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 1 1 0 1 0 0 1 0 0 1 1 0 0 1 1 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 0 0 1 0 1 1 0 1 1 0 1 0 0 1 1 0 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 1 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 1 0 1 0 0 1 0 0 0 0 0 1 1 1 1 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 0 0 0 1 0 0 1 1 1 1 0 1 1 0 0 1 0 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 0 1 0 1 0 1 0 0 0 0 1 0 1 0 0 0 1 1 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 1 1 1 1 1 0 1 0 1 1 1 1 0 0 0 0 0 0 0 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 1 0 1 0 0 0 1 1 0 0 0 1 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 0 1 1 1 1 1 0 1 0 1 1 0 0 1 0 0 1 1 1 1 1 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 0 0 0 0 1 1 0 1 0 0 1 1 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 0 0 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 1 1 1 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 1 1 1 1 0 1 1 1 1 0 1 1 1 1 0 0 1 0 0 0 1 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 0 0 0 0 1 0 0 1 0 1 0 0 1 0 0 0 1 1 1 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 1 0 0 0 0 0 0 1 1 1 0 0 1 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 0 0 1 1 1 0 1 1 0 1 1 0 0 1 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 1 0 0 0 0 0 1 0 0 0 1 0 0 1 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 0 0 0 1 0 0 0 1 1 1 1 1 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 1 0 1 1 1 1 0 0 0 0 1 1 1 0 1 1 0 1 1 0 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 0 0 0 1 1 1 1 1 0 1 1 1 1 0 1 0 0 1 0 0 0 0 1 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 1 0 0 1 1 1 0 0 0 0 0 1 0 0 1 1 0 1 1 0 0 0 0 1 1 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 1 0 0 0 0 1 1 1 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 0 0 0 1 1 1 1 1 0 0 1 0 1 0 0 0 0 1 0 1 0 0 0 0 1 1 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 1 0 0 1 1 1 0 0 0 1 0 1 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 1 0 1 0 1 1 1 0 1 0 1 0 0 0 1 0 0 0 1 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 1 1 0 1 1 0 1 0 1 1 0 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 2 2 0 2 2 0 2 2 0 2 2 0 2 2 0 2 2 0 2 2 0 2 2 0 2 2 0 2 2 0 2 2 0 1 0 1 0 2 1 1 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 1 0 0 0 1 2 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 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 1 2 1 1 2 1 1 2 1 1 2 1 1 2 1 1 2 1 1 2 1 1 2 1 1 2 1 1 2 1 0 1 0 0 0 0 0 1 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 0 0 0 0 0 0 0 1 1 1 0 0 0 0 1 0 2 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 2 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 2 1 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 1 0 0 1 0 0 1 0 0 1 1 1 1 1 0 0 0 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 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 1 0 0 1 0 1 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 1 0 0 1 0 0 2 1 1 1 0 0 0 0 0 0 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 0 0 1 0 1 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 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 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 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 1 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 1 2 0 2 2 0 2 2 0 2 2 0 2 2 0 2 2 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 2 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 1 0 0 0 1 2 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 2 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 2 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 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 0 1 1 0 1 1 0 1 1 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 2 1 0 0 0 0 1 0 0 1 0 0 1 1 0 1 1 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 2 1 1 1 0 0 1 2 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 0 0 0 0 0 0 0 0 1 0 1 2 1 1 0 1 0 1 1 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 1 0 0 0 0 0 1 1 0 0 0 0 1 0 2 0 0 2 0 0 1 2 1 0 0 0 0 1 1 2 1 2 2 1 2 2 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 2 0 0 0 0 1 2 2 1 1 0 1 0 2 2 2 2 2 2 2 2 1 1 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 2 2 1 1 1 0 1 1 1 0 1 0 1 1 1 1 1 1 1 1 1 1 0 0 1 0 1 1 0 0 1 0 0 1 0 1 0 0 1 0 0 1 0 0 1 1 1 1 1 0 14 15 15 30 30 31 83 90 92 94 98 100 142 152 159 161 165 174 195 198 205 226 228 230 249 253 256 271 274 274 299 309 319 329 335 340 353 356 365 384 393 407 432 471 498 843 
2400.01/2280.52	v 	</values>
2400.01/2280.52	v </instantiation>

Verifier Data 

OK	843

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4244834-1500692195/watcher-4244834-1500692195 -o /tmp/evaluation-result-4244834-1500692195/solver-4244834-1500692195 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node134-1500682730-15762 --watchdog 2560 java -Xmx10000m -jar oscar-cp-xcsp3-hybrid.jar --randomseed 866504984 --timelimit 2400 --memlimit 15500 --nbcore 8 HOME/instance-4244834-1500692195.xml 

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

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


[startup+0 s]
/proc/loadavg: 1.60 1.64 1.57 3/265 16920
/proc/meminfo: memFree=28218240/32770624 swapFree=5664/248192
[pid=16920] ppid=16917 vsize=361196 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16920/stat : 16920 (java) S 16917 16920 15731 0 -1 1077944320 1718 0 0 0 0 0 0 0 20 0 2 0 4486661 369864704 1412 33554432000 4194304 4196468 140736351960784 140736351943328 139825577373431 0 0 0 16784584 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 14352384 140736351962254 140736351962436 140736351962436 140736351965135 0
/proc/16920/statm: 90299 1412 1072 1 0 79210 0
[pid=16920/tid=16921] ppid=16917 vsize=361196 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16920/task/16921/stat : 16921 (java) S 16917 16920 15731 0 -1 1077944384 401 0 0 0 0 0 0 0 20 0 2 0 4486662 369864704 1412 33554432000 4194304 4196468 140736351960784 139825581615520 139825577384578 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14352384 140736351962254 140736351962436 140736351962436 140736351965135 0

[startup+0.100182 s]
/proc/loadavg: 1.60 1.64 1.57 3/265 16920
/proc/meminfo: memFree=28218240/32770624 swapFree=5664/248192
[pid=16920] ppid=16917 vsize=13264380 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/16920/stat : 16920 (java) S 16917 16920 15731 0 -1 1077944320 5579 0 0 0 8 2 0 0 20 0 20 0 4486661 13582725120 6149 33554432000 4194304 4196468 140736351960784 140736351943328 139825577373431 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 14352384 140736351962254 140736351962436 140736351962436 140736351965135 0
/proc/16920/statm: 3316095 6149 3295 1 0 3303815 0
[pid=16920/tid=16921] ppid=16917 vsize=13264380 CPUtime=0.08 cores=0,2,4,6,8,10,12,14
/proc/16920/task/16921/stat : 16921 (java) R 16917 16920 15731 0 -1 4202560 3643 0 0 0 7 1 0 0 20 0 20 0 4486662 13582725120 6149 33554432000 4194304 4196468 140736351960784 139825581613616 139825577395357 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14352384 140736351962254 140736351962436 140736351962436 140736351965135 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13264380

[startup+0.20036 s]
/proc/loadavg: 1.60 1.64 1.57 3/265 16920
/proc/meminfo: memFree=28218240/32770624 swapFree=5664/248192
[pid=16920] ppid=16917 vsize=13263912 CPUtime=0.25 cores=0,2,4,6,8,10,12,14
/proc/16920/stat : 16920 (java) S 16917 16920 15731 0 -1 1077944320 8786 0 0 0 22 3 0 0 20 0 20 0 4486661 13582245888 8819 33554432000 4194304 4196468 140736351960784 140736351943328 139825577373431 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 14352384 140736351962254 140736351962436 140736351962436 140736351965135 0
/proc/16920/statm: 3315978 8819 3548 1 0 3303698 0
[pid=16920/tid=16921] ppid=16917 vsize=13263912 CPUtime=0.18 cores=0,2,4,6,8,10,12,14
/proc/16920/task/16921/stat : 16921 (java) R 16917 16920 15731 0 -1 4202560 6419 0 0 0 16 2 0 0 20 0 20 0 4486662 13582245888 8819 33554432000 4194304 4196468 140736351960784 139825581588880 139825561453918 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14352384 140736351962254 140736351962436 140736351962436 140736351965135 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 13263912

[startup+0.300381 s]
/proc/loadavg: 1.60 1.64 1.57 3/265 16920
/proc/meminfo: memFree=28218240/32770624 swapFree=5664/248192
[pid=16920] ppid=16917 vsize=13263912 CPUtime=0.42 cores=0,2,4,6,8,10,12,14
/proc/16920/stat : 16920 (java) S 16917 16920 15731 0 -1 1077944320 9855 0 0 0 38 4 0 0 20 0 20 0 4486661 13582245888 11026 33554432000 4194304 4196468 140736351960784 140736351943328 139825577373431 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 14352384 140736351962254 140736351962436 140736351962436 140736351965135 0
/proc/16920/statm: 3315978 11026 3650 1 0 3303698 0
[pid=16920/tid=16921] ppid=16917 vsize=13263912 CPUtime=0.28 cores=0,2,4,6,8,10,12,14
/proc/16920/task/16921/stat : 16921 (java) R 16917 16920 15731 0 -1 4202560 7170 0 0 0 25 3 0 0 20 0 20 0 4486662 13582245888 11026 33554432000 4194304 4196468 140736351960784 139825581596080 139825561453918 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14352384 140736351962254 140736351962436 140736351962436 140736351965135 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 13263912

[startup+0.700212 s]
/proc/loadavg: 1.60 1.64 1.57 3/265 16920
/proc/meminfo: memFree=28218240/32770624 swapFree=5664/248192
[pid=16920] ppid=16917 vsize=13265980 CPUtime=1.49 cores=0,2,4,6,8,10,12,14
/proc/16920/stat : 16920 (java) S 16917 16920 15731 0 -1 1077944320 12553 0 0 0 143 6 0 0 20 0 20 0 4486661 13584363520 20978 33554432000 4194304 4196468 140736351960784 140736351943328 139825577373431 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 14352384 140736351962254 140736351962436 140736351962436 140736351965135 0
/proc/16920/statm: 3316495 20978 3769 1 0 3304210 0
[pid=16920/tid=16921] ppid=16917 vsize=13265980 CPUtime=0.67 cores=0,2,4,6,8,10,12,14
/proc/16920/task/16921/stat : 16921 (java) R 16917 16920 15731 0 -1 4202560 8074 0 0 0 64 3 0 0 20 0 20 0 4486662 13584363520 20978 33554432000 4194304 4196468 140736351960784 139825581606504 139825577385366 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 14352384 140736351962254 140736351962436 140736351962436 140736351965135 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13265980

[startup+1.51006 s]
/proc/loadavg: 1.60 1.64 1.57 6/285 16940
/proc/meminfo: memFree=28103156/32770624 swapFree=5664/248224
[pid=16920] ppid=16917 vsize=13270076 CPUtime=4.75 cores=0,2,4,6,8,10,12,14
/proc/16920/stat : 16920 (java) S 16917 16920 15731 0 -1 1077944320 28772 0 0 0 459 16 0 0 20 0 20 0 4486661 13588557824 57816 33554432000 4194304 4196468 140736351960784 140736351943328 139825577373431 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 14352384 140736351962254 140736351962436 140736351962436 140736351965135 0
/proc/16920/statm: 3317519 57816 3798 1 0 3305234 0
[pid=16920/tid=16921] ppid=16917 vsize=13270076 CPUtime=1.46 cores=0,2,4,6,8,10,12,14
/proc/16920/task/16921/stat : 16921 (java) S 16917 16920 15731 0 -1 1077944384 11061 0 0 0 140 6 0 0 20 0 20 0 4486662 13588557824 57816 33554432000 4194304 4196468 140736351960784 139825581607456 139825577383637 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 14352384 140736351962254 140736351962436 140736351962436 140736351965135 0
[pid=16920/tid=16923] ppid=16917 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16920/task/16923/stat : 16923 (java) R 16917 16920 15731 0 -1 4202560 71 0 0 0 0 0 0 0 20 0 20 0 4486663 13588557824 57816 33554432000 4194304 4196468 140736351960784 139825547087192 139825570001639 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14352384 140736351962254 140736351962436 140736351962436 140736351965135 0
[pid=16920/tid=16924] ppid=16917 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16920/task/16924/stat : 16924 (java) R 16917 16920 15731 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 4486663 13588557824 57816 33554432000 4194304 4196468 140736351960784 139825175997576 139825570001639 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14352384 140736351962254 140736351962436 140736351962436 140736351965135 0
[pid=16920/tid=16925] ppid=16917 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16920/task/16925/stat : 16925 (java) R 16917 16920 15731 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 20 0 4486663 13588557824 57816 33554432000 4194304 4196468 140736351960784 139825174944856 139825562401314 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14352384 140736351962254 140736351962436 140736351962436 140736351965135 0
[pid=16920/tid=16926] ppid=16917 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16920/task/16926/stat : 16926 (java) R 16917 16920 15731 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 20 0 4486663 13588557824 57816 33554432000 4194304 4196468 140736351960784 139825173892056 139825577394778 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 14352384 140736351962254 140736351962436 140736351962436 140736351965135 0
[pid=16920/tid=16927] ppid=16917 vsize=13270076 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/16920/task/16927/stat : 16927 (java) S 16917 16920 15731 0 -1 1077944384 17 0 0 0 0 1 0 0 20 0 20 0 4486663 13588557824 57816 33554432000 4194304 4196468 140736351960784 139825172839136 139825577383637 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 14352384 140736351962254 140736351962436 140736351962436 140736351965135 0
[pid=16920/tid=16928] ppid=16917 vsize=13270076 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/16920/task/16928/stat : 16928 (java) R 16917 16920 15731 0 -1 4202560 14 0 0 0 1 0 0 0 20 0 20 0 4486663 13588557824 57816 33554432000 4194304 4196468 140736351960784 139825171786376 139825570001639 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 14352384 140736351962254 140736351962436 140736351962436 140736351965135 0
[pid=16920/tid=16929] ppid=16917 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16920/task/16929/stat : 16929 (java) S 16917 16920 15731 0 -1 1077944384 225 0 0 0 0 0 0 0 20 0 20 0 4486663 13588557824 57816 33554432000 4194304 4196468 140736351960784 139825170733456 139825577383637 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 14352384 140736351962254 140736351962436 140736351962436 140736351965135 0
[pid=16920/tid=16930] ppid=16917 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16920/task/16930/stat : 16930 (java) S 16917 16920 15731 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 20 0 4486663 13588557824 57816 33554432000 4194304 4196468 140736351960784 139825169680656 139825577383637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14352384 140736351962254 140736351962436 140736351962436 140736351965135 0
[pid=16920/tid=16931] ppid=16917 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16920/task/16931/stat : 16931 (java) S 16917 16920 15731 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 20 0 4486665 13588557824 57816 33554432000 4194304 4196468 140736351960784 139825040475552 139825577383637 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14352384 140736351962254 140736351962436 140736351962436 140736351965135 0
[pid=16920/tid=16932] ppid=16917 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16920/task/16932/stat : 16932 (java) S 16917 16920 15731 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 4486666 13588557824 57816 33554432000 4194304 4196468 140736351960784 139825039423008 139825577383637 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 14352384 140736351962254 140736351962436 140736351962436 140736351965135 0
[pid=16920/tid=16933] ppid=16917 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16920/task/16933/stat : 16933 (java) S 16917 16920 15731 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 4486666 13588557824 57816 33554432000 4194304 4196468 140736351960784 139825038370160 139825577383637 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 14352384 140736351962254 140736351962436 140736351962436 140736351965135 0
[pid=16920/tid=16934] ppid=16917 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16920/task/16934/stat : 16934 (java) S 16917 16920 15731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4486670 13588557824 57816 33554432000 4194304 4196468 140736351960784 139825037318480 139825577392027 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 14352384 140736351962254 140736351962436 140736351962436 140736351965135 0
[pid=16920/tid=16935] ppid=16917 vsize=13270076 CPUtime=0.66 cores=0,2,4,6,8,10,12,14
/proc/16920/task/16935/stat : 16935 (java) S 16917 16920 15731 0 -1 1077944384 3097 0 0 0 65 1 0 0 20 0 20 0 4486670 13588557824 57816 33554432000 4194304 4196468 140736351960784 139825036265840 139825577384578 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14352384 140736351962254 140736351962436 140736351962436 140736351965135 0
[pid=16920/tid=16936] ppid=16917 vsize=13270076 CPUtime=0.65 cores=0,2,4,6,8,10,12,14
/proc/16920/task/16936/stat : 16936 (java) S 16917 16920 15731 0 -1 1077944384 3031 0 0 0 65 0 0 0 20 0 20 0 4486670 13588557824 57816 33554432000 4194304 4196468 140736351960784 139825035213040 139825577384578 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 14352384 140736351962254 140736351962436 140736351962436 140736351965135 0
[pid=16920/tid=16937] ppid=16917 vsize=13270076 CPUtime=0.97 cores=0,2,4,6,8,10,12,14
/proc/16920/task/16937/stat : 16937 (java) R 16917 16920 15731 0 -1 4202560 3517 0 0 0 97 0 0 0 20 0 20 0 4486670 13588557824 57816 33554432000 4194304 4196468 140736351960784 139825034141048 139825569662880 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 14352384 140736351962254 140736351962436 140736351962436 140736351965135 0
[pid=16920/tid=16938] ppid=16917 vsize=13270076 CPUtime=0.85 cores=0,2,4,6,8,10,12,14
/proc/16920/task/16938/stat : 16938 (java) S 16917 16920 15731 0 -1 1077944384 6249 0 0 0 83 2 0 0 20 0 20 0 4486670 13588557824 57816 33554432000 4194304 4196468 140736351960784 139825033107440 139825577384578 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 14352384 140736351962254 140736351962436 140736351962436 140736351965135 0
[pid=16920/tid=16939] ppid=16917 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16920/task/16939/stat : 16939 (java) S 16917 16920 15731 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4486670 13588557824 57816 33554432000 4194304 4196468 140736351960784 139825032055904 139825577383637 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 14352384 140736351962254 140736351962436 140736351962436 140736351965135 0
[pid=16920/tid=16940] ppid=16917 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16920/task/16940/stat : 16940 (java) S 16917 16920 15731 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4486670 13588557824 57816 33554432000 4194304 4196468 140736351960784 139825031003184 139825577384578 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 14352384 140736351962254 140736351962436 140736351962436 140736351965135 0
Current children cumulated CPU time (s) 4.75
Current children cumulated vsize (KiB) 13270076

[startup+3.10118 s]
/proc/loadavg: 1.60 1.64 1.57 6/285 16940
/proc/meminfo: memFree=27853036/32770624 swapFree=5664/248224
[pid=16920] ppid=16917 vsize=13270076 CPUtime=9.62 cores=0,2,4,6,8,10,12,14
/proc/16920/stat : 16920 (java) S 16917 16920 15731 0 -1 1077944320 36797 0 0 0 871 91 0 0 20 0 20 0 4486661 13588557824 127881 33554432000 4194304 4196468 140736351960784 140736351943328 139825577373431 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 14352384 140736351962254 140736351962436 140736351962436 140736351965135 0
/proc/16920/statm: 3317519 127881 3828 1 0 3305234 0
[pid=16920/tid=16921] ppid=16917 vsize=13270076 CPUtime=2.85 cores=0,2,4,6,8,10,12,14
/proc/16920/task/16921/stat : 16921 (java) R 16917 16920 15731 0 -1 4202560 12264 0 0 0 277 8 0 0 20 0 20 0 4486662 13588557824 127881 33554432000 4194304 4196468 140736351960784 139825581608744 139825223135936 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 14352384 140736351962254 140736351962436 140736351962436 140736351965135 0
[pid=16920/tid=16923] ppid=16917 vsize=13270076 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/16920/task/16923/stat : 16923 (java) S 16917 16920 15731 0 -1 1077944384 197 0 0 0 6 7 0 0 20 0 20 0 4486663 13588557824 127881 33554432000 4194304 4196468 140736351960784 139825547086992 139825577383637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14352384 140736351962254 140736351962436 140736351962436 140736351965135 0
[pid=16920/tid=16924] ppid=16917 vsize=13270076 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/16920/task/16924/stat : 16924 (java) S 16917 16920 15731 0 -1 1077944384 82 0 0 0 6 7 0 0 20 0 20 0 4486663 13588557824 127881 33554432000 4194304 4196468 140736351960784 139825175997456 139825577383637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14352384 140736351962254 140736351962436 140736351962436 140736351965135 0
[pid=16920/tid=16925] ppid=16917 vsize=13270076 CPUtime=0.18 cores=0,2,4,6,8,10,12,14
/proc/16920/task/16925/stat : 16925 (java) S 16917 16920 15731 0 -1 1077944384 126 0 0 0 8 10 0 0 20 0 20 0 4486663 13588557824 127881 33554432000 4194304 4196468 140736351960784 139825174944656 139825577383637 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 14352384 140736351962254 140736351962436 140736351962436 140736351965135 0
[pid=16920/tid=16926] ppid=16917 vsize=13270076 CPUtime=0.18 cores=0,2,4,6,8,10,12,14
/proc/16920/task/16926/stat : 16926 (java) S 16917 16920 15731 0 -1 1077944384 123 0 0 0 8 10 0 0 20 0 20 0 4486663 13588557824 127881 33554432000 4194304 4196468 140736351960784 139825173891856 139825577383637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14352384 140736351962254 140736351962436 140736351962436 140736351965135 0
[pid=16920/tid=16927] ppid=16917 vsize=13270076 CPUtime=0.18 cores=0,2,4,6,8,10,12,14
/proc/16920/task/16927/stat : 16927 (java) S 16917 16920 15731 0 -1 1077944384 1146 0 0 0 8 10 0 0 20 0 20 0 4486663 13588557824 127881 33554432000 4194304 4196468 140736351960784 139825172839056 139825577383637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14352384 140736351962254 140736351962436 140736351962436 140736351965135 0
[pid=16920/tid=16928] ppid=16917 vsize=13270076 CPUtime=0.18 cores=0,2,4,6,8,10,12,14
/proc/16920/task/16928/stat : 16928 (java) S 16917 16920 15731 0 -1 1077944384 148 0 0 0 11 7 0 0 20 0 20 0 4486663 13588557824 127881 33554432000 4194304 4196468 140736351960784 139825171786256 139825577383637 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 14352384 140736351962254 140736351962436 140736351962436 140736351965135 0
[pid=16920/tid=16929] ppid=16917 vsize=13270076 CPUtime=0.19 cores=0,2,4,6,8,10,12,14
/proc/16920/task/16929/stat : 16929 (java) S 16917 16920 15731 0 -1 1077944384 312 0 0 0 8 11 0 0 20 0 20 0 4486663 13588557824 127881 33554432000 4194304 4196468 140736351960784 139825170733456 139825577383637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14352384 140736351962254 140736351962436 140736351962436 140736351965135 0
[pid=16920/tid=16930] ppid=16917 vsize=13270076 CPUtime=0.19 cores=0,2,4,6,8,10,12,14
/proc/16920/task/16930/stat : 16930 (java) S 16917 16920 15731 0 -1 1077944384 251 0 0 0 8 11 0 0 20 0 20 0 4486663 13588557824 127881 33554432000 4194304 4196468 140736351960784 139825169680656 139825577383637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14352384 140736351962254 140736351962436 140736351962436 140736351965135 0
[pid=16920/tid=16931] ppid=16917 vsize=13270076 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/16920/task/16931/stat : 16931 (java) S 16917 16920 15731 0 -1 1077944384 600 0 0 0 1 0 0 0 20 0 20 0 4486665 13588557824 127881 33554432000 4194304 4196468 140736351960784 139825040477040 139825577384578 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14352384 140736351962254 140736351962436 140736351962436 140736351965135 0
[pid=16920/tid=16932] ppid=16917 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16920/task/16932/stat : 16932 (java) S 16917 16920 15731 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 20 0 4486666 13588557824 127881 33554432000 4194304 4196468 140736351960784 139825039423072 139825577383637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14352384 140736351962254 140736351962436 140736351962436 140736351965135 0
[pid=16920/tid=16933] ppid=16917 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16920/task/16933/stat : 16933 (java) S 16917 16920 15731 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 20 0 4486666 13588557824 127881 33554432000 4194304 4196468 140736351960784 139825038370176 139825577383637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14352384 140736351962254 140736351962436 140736351962436 140736351965135 0
[pid=16920/tid=16934] ppid=16917 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16920/task/16934/stat : 16934 (java) S 16917 16920 15731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4486670 13588557824 127881 33554432000 4194304 4196468 140736351960784 139825037318480 139825577392027 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 14352384 140736351962254 140736351962436 140736351962436 140736351965135 0
[pid=16920/tid=16935] ppid=16917 vsize=13270076 CPUtime=1.15 cores=0,2,4,6,8,10,12,14
/proc/16920/task/16935/stat : 16935 (java) S 16917 16920 15731 0 -1 1077944384 3858 0 0 0 114 1 0 0 20 0 20 0 4486670 13588557824 127881 33554432000 4194304 4196468 140736351960784 139825036265840 139825577384578 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 14352384 140736351962254 140736351962436 140736351962436 140736351965135 0
[pid=16920/tid=16936] ppid=16917 vsize=13270076 CPUtime=1.15 cores=0,2,4,6,8,10,12,14
/proc/16920/task/16936/stat : 16936 (java) S 16917 16920 15731 0 -1 1077944384 3827 0 0 0 115 0 0 0 20 0 20 0 4486670 13588557824 127881 33554432000 4194304 4196468 140736351960784 139825035213040 139825577384578 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 14352384 140736351962254 140736351962436 140736351962436 140736351965135 0
[pid=16920/tid=16937] ppid=16917 vsize=13270076 CPUtime=1.99 cores=0,2,4,6,8,10,12,14
/proc/16920/task/16937/stat : 16937 (java) R 16917 16920 15731 0 -1 4202560 5549 0 0 0 199 0 0 0 20 0 20 0 4486670 13588557824 127881 33554432000 4194304 4196468 140736351960784 139825034150032 139825557029841 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 14352384 140736351962254 140736351962436 140736351962436 140736351965135 0
[pid=16920/tid=16938] ppid=16917 vsize=13270076 CPUtime=0.97 cores=0,2,4,6,8,10,12,14
/proc/16920/task/16938/stat : 16938 (java) S 16917 16920 15731 0 -1 1077944384 6877 0 0 0 95 2 0 0 20 0 20 0 4486670 13588557824 127881 33554432000 4194304 4196468 140736351960784 139825033107440 139825577384578 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14352384 140736351962254 140736351962436 140736351962436 140736351965135 0
[pid=16920/tid=16939] ppid=16917 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16920/task/16939/stat : 16939 (java) S 16917 16920 15731 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4486670 13588557824 127881 33554432000 4194304 4196468 140736351960784 139825032055904 139825577383637 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 14352384 140736351962254 140736351962436 140736351962436 140736351965135 0
[pid=16920/tid=16940] ppid=16917 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16920/task/16940/stat : 16940 (java) S 16917 16920 15731 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 20 0 4486670 13588557824 127881 33554432000 4194304 4196468 140736351960784 139825031003184 139825577384578 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 14352384 140736351962254 140736351962436 140736351962436 140736351965135 0
Current children cumulated CPU time (s) 9.62
Current children cumulated vsize (KiB) 13270076

[startup+6.30091 s]
/proc/loadavg: 1.55 1.63 1.57 3/285 16940
/proc/meminfo: memFree=27535736/32770624 swapFree=5664/248224
[pid=16920] ppid=16917 vsize=13270076 CPUtime=13.51 cores=0,2,4,6,8,10,12,14
/proc/16920/stat : 16920 (java) S 16917 16920 15731 0 -1 1077944320 37580 0 0 0 1239 112 0 0 20 0 20 0 4486661 13588557824 190645 33554432000 4194304 4196468 140736351960784 140736351943328 139825577373431 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 14352384 140736351962254 140736351962436 140736351962436 140736351965135 0
/proc/16920/statm: 3317519 190645 3832 1 0 3305234 0
[pid=16920/tid=16921] ppid=16917 vsize=13270076 CPUtime=6.01 cores=0,2,4,6,8,10,12,14
/proc/16920/task/16921/stat : 16921 (java) R 16917 16920 15731 0 -1 4202560 12470 0 0 0 590 11 0 0 20 0 20 0 4486662 13588557824 190645 33554432000 4194304 4196468 140736351960784 139825581608704 139825223909665 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 14352384 140736351962254 140736351962436 140736351962436 140736351965135 0
[pid=16920/tid=16923] ppid=16917 vsize=13270076 CPUtime=0.17 cores=0,2,4,6,8,10,12,14
/proc/16920/task/16923/stat : 16923 (java) S 16917 16920 15731 0 -1 1077944384 219 0 0 0 8 9 0 0 20 0 20 0 4486663 13588557824 190645 33554432000 4194304 4196468 140736351960784 139825547086992 139825577383637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14352384 140736351962254 140736351962436 140736351962436 140736351965135 0
[pid=16920/tid=16924] ppid=16917 vsize=13270076 CPUtime=0.17 cores=0,2,4,6,8,10,12,14
/proc/16920/task/16924/stat : 16924 (java) S 16917 16920 15731 0 -1 1077944384 99 0 0 0 8 9 0 0 20 0 20 0 4486663 13588557824 190645 33554432000 4194304 4196468 140736351960784 139825175997456 139825577383637 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 14352384 140736351962254 140736351962436 140736351962436 140736351965135 0
[pid=16920/tid=16925] ppid=16917 vsize=13270076 CPUtime=0.22 cores=0,2,4,6,8,10,12,14
/proc/16920/task/16925/stat : 16925 (java) S 16917 16920 15731 0 -1 1077944384 143 0 0 0 10 12 0 0 20 0 20 0 4486663 13588557824 190645 33554432000 4194304 4196468 140736351960784 139825174944656 139825577383637 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 14352384 140736351962254 140736351962436 140736351962436 140736351965135 0
[pid=16920/tid=16926] ppid=16917 vsize=13270076 CPUtime=0.23 cores=0,2,4,6,8,10,12,14
/proc/16920/task/16926/stat : 16926 (java) S 16917 16920 15731 0 -1 1077944384 142 0 0 0 10 13 0 0 20 0 20 0 4486663 13588557824 190645 33554432000 4194304 4196468 140736351960784 139825173891856 139825577383637 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 14352384 140736351962254 140736351962436 140736351962436 140736351965135 0
[pid=16920/tid=16927] ppid=16917 vsize=13270076 CPUtime=0.22 cores=0,2,4,6,8,10,12,14
/proc/16920/task/16927/stat : 16927 (java) S 16917 16920 15731 0 -1 1077944384 1164 0 0 0 10 12 0 0 20 0 20 0 4486663 13588557824 190645 33554432000 4194304 4196468 140736351960784 139825172839056 139825577383637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14352384 140736351962254 140736351962436 140736351962436 140736351965135 0
[pid=16920/tid=16928] ppid=16917 vsize=13270076 CPUtime=0.22 cores=0,2,4,6,8,10,12,14
/proc/16920/task/16928/stat : 16928 (java) S 16917 16920 15731 0 -1 1077944384 166 0 0 0 13 9 0 0 20 0 20 0 4486663 13588557824 190645 33554432000 4194304 4196468 140736351960784 139825171786256 139825577383637 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 14352384 140736351962254 140736351962436 140736351962436 140736351965135 0
[pid=16920/tid=16929] ppid=16917 vsize=13270076 CPUtime=0.23 cores=0,2,4,6,8,10,12,14
/proc/16920/task/16929/stat : 16929 (java) S 16917 16920 15731 0 -1 1077944384 329 0 0 0 10 13 0 0 20 0 20 0 4486663 13588557824 190645 33554432000 4194304 4196468 140736351960784 139825170733456 139825577383637 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 14352384 140736351962254 140736351962436 140736351962436 140736351965135 0
[pid=16920/tid=16930] ppid=16917 vsize=13270076 CPUtime=0.23 cores=0,2,4,6,8,10,12,14
/proc/16920/task/16930/stat : 16930 (java) S 16917 16920 15731 0 -1 1077944384 275 0 0 0 10 13 0 0 20 0 20 0 4486663 13588557824 190645 33554432000 4194304 4196468 140736351960784 139825169680656 139825577383637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14352384 140736351962254 140736351962436 140736351962436 140736351965135 0
[pid=16920/tid=16931] ppid=16917 vsize=13270076 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/16920/task/16931/stat : 16931 (java) S 16917 16920 15731 0 -1 1077944384 904 0 0 0 1 0 0 0 20 0 20 0 4486665 13588557824 190645 33554432000 4194304 4196468 140736351960784 139825040477040 139825577384578 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14352384 140736351962254 140736351962436 140736351962436 140736351965135 0
[pid=16920/tid=16932] ppid=16917 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16920/task/16932/stat : 16932 (java) S 16917 16920 15731 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 20 0 4486666 13588557824 190645 33554432000 4194304 4196468 140736351960784 139825039423072 139825577383637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14352384 140736351962254 140736351962436 140736351962436 140736351965135 0
[pid=16920/tid=16933] ppid=16917 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16920/task/16933/stat : 16933 (java) S 16917 16920 15731 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 20 0 4486666 13588557824 190645 33554432000 4194304 4196468 140736351960784 139825038370176 139825577383637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14352384 140736351962254 140736351962436 140736351962436 140736351965135 0
[pid=16920/tid=16934] ppid=16917 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14

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

/proc/16920/task/16936/stat : 16936 (java) S 16917 16920 15731 0 -1 1077944384 17073 0 0 0 253 3 0 0 20 0 20 0 4486670 13588557824 488478 33554432000 4194304 4196468 140736351960784 139825035213040 139825577384578 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 27 0 0 6293624 6294260 14352384 140736351962254 140736351962436 140736351962436 140736351965135 0
[pid=16920/tid=16937] ppid=16917 vsize=13270076 CPUtime=3.29 cores=0,2,4,6,8,10,12,14
/proc/16920/task/16937/stat : 16937 (java) S 16917 16920 15731 0 -1 1077944384 19490 0 0 0 327 2 0 0 20 0 20 0 4486670 13588557824 488478 33554432000 4194304 4196468 140736351960784 139825034160240 139825577384578 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 20 0 0 6293624 6294260 14352384 140736351962254 140736351962436 140736351962436 140736351965135 0
[pid=16920/tid=16938] ppid=16917 vsize=13270076 CPUtime=1.41 cores=0,2,4,6,8,10,12,14
/proc/16920/task/16938/stat : 16938 (java) S 16917 16920 15731 0 -1 1077944384 31507 0 0 0 136 5 0 0 20 0 20 0 4486670 13588557824 488478 33554432000 4194304 4196468 140736351960784 139825033107440 139825577384578 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 19 0 0 6293624 6294260 14352384 140736351962254 140736351962436 140736351962436 140736351965135 0
[pid=16920/tid=16939] ppid=16917 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16920/task/16939/stat : 16939 (java) S 16917 16920 15731 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4486670 13588557824 488478 33554432000 4194304 4196468 140736351960784 139825032055904 139825577383637 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 14352384 140736351962254 140736351962436 140736351962436 140736351965135 0
[pid=16920/tid=16940] ppid=16917 vsize=13270076 CPUtime=1.2 cores=0,2,4,6,8,10,12,14
/proc/16920/task/16940/stat : 16940 (java) S 16917 16920 15731 0 -1 1077944384 1318 0 0 0 60 60 0 0 20 0 20 0 4486670 13588557824 488478 33554432000 4194304 4196468 140736351960784 139825031003184 139825577384578 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 44 0 0 6293624 6294260 14352384 140736351962254 140736351962436 140736351962436 140736351965135 0
Current children cumulated CPU time (s) 2317.14
Current children cumulated vsize (KiB) 13270076

[startup+2262.3 s]
/proc/loadavg: 1.96 1.76 1.70 3/284 17314
/proc/meminfo: memFree=27351528/32770624 swapFree=5664/250648
[pid=16920] ppid=16917 vsize=13270076 CPUtime=2380.84 cores=0,2,4,6,8,10,12,14
/proc/16920/stat : 16920 (java) S 16917 16920 15731 0 -1 1077944320 417516 0 0 0 237247 837 0 0 20 0 20 0 4486661 13588557824 468783 33554432000 4194304 4196468 140736351960784 140736351943328 139825577373431 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 14352384 140736351962254 140736351962436 140736351962436 140736351965135 0
/proc/16920/statm: 3317519 468783 3867 1 0 3305234 0
[pid=16920/tid=16921] ppid=16917 vsize=13270076 CPUtime=2242.32 cores=0,2,4,6,8,10,12,14
/proc/16920/task/16921/stat : 16921 (java) R 16917 16920 15731 0 -1 4202560 116501 0 0 0 224152 80 0 0 20 0 20 0 4486662 13588557824 468783 33554432000 4194304 4196468 140736351960784 139825581611520 139825225449995 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14352384 140736351962254 140736351962436 140736351962436 140736351965135 0
[pid=16920/tid=16923] ppid=16917 vsize=13270076 CPUtime=15.75 cores=0,2,4,6,8,10,12,14
/proc/16920/task/16923/stat : 16923 (java) S 16917 16920 15731 0 -1 1077944384 17140 0 0 0 1494 81 0 0 20 0 20 0 4486663 13588557824 468783 33554432000 4194304 4196468 140736351960784 139825547086992 139825577383637 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 14352384 140736351962254 140736351962436 140736351962436 140736351965135 0
[pid=16920/tid=16924] ppid=16917 vsize=13270076 CPUtime=15.75 cores=0,2,4,6,8,10,12,14
/proc/16920/task/16924/stat : 16924 (java) S 16917 16920 15731 0 -1 1077944384 17414 0 0 0 1495 80 0 0 20 0 20 0 4486663 13588557824 468783 33554432000 4194304 4196468 140736351960784 139825175997456 139825577383637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14352384 140736351962254 140736351962436 140736351962436 140736351965135 0
[pid=16920/tid=16925] ppid=16917 vsize=13270076 CPUtime=15.83 cores=0,2,4,6,8,10,12,14
/proc/16920/task/16925/stat : 16925 (java) S 16917 16920 15731 0 -1 1077944384 14712 0 0 0 1497 86 0 0 20 0 20 0 4486663 13588557824 468783 33554432000 4194304 4196468 140736351960784 139825174944656 139825577383637 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 14352384 140736351962254 140736351962436 140736351962436 140736351965135 0
[pid=16920/tid=16926] ppid=16917 vsize=13270076 CPUtime=15.72 cores=0,2,4,6,8,10,12,14
/proc/16920/task/16926/stat : 16926 (java) S 16917 16920 15731 0 -1 1077944384 16488 0 0 0 1484 88 0 0 20 0 20 0 4486663 13588557824 468783 33554432000 4194304 4196468 140736351960784 139825173891856 139825577383637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14352384 140736351962254 140736351962436 140736351962436 140736351965135 0
[pid=16920/tid=16927] ppid=16917 vsize=13270076 CPUtime=15.86 cores=0,2,4,6,8,10,12,14
/proc/16920/task/16927/stat : 16927 (java) S 16917 16920 15731 0 -1 1077944384 17267 0 0 0 1501 85 0 0 20 0 20 0 4486663 13588557824 468783 33554432000 4194304 4196468 140736351960784 139825172839056 139825577383637 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 14352384 140736351962254 140736351962436 140736351962436 140736351965135 0
[pid=16920/tid=16928] ppid=16917 vsize=13270076 CPUtime=15.71 cores=0,2,4,6,8,10,12,14
/proc/16920/task/16928/stat : 16928 (java) S 16917 16920 15731 0 -1 1077944384 15704 0 0 0 1491 80 0 0 20 0 20 0 4486663 13588557824 468783 33554432000 4194304 4196468 140736351960784 139825171786256 139825577383637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14352384 140736351962254 140736351962436 140736351962436 140736351965135 0
[pid=16920/tid=16929] ppid=16917 vsize=13270076 CPUtime=15.85 cores=0,2,4,6,8,10,12,14
/proc/16920/task/16929/stat : 16929 (java) S 16917 16920 15731 0 -1 1077944384 17359 0 0 0 1496 89 0 0 20 0 20 0 4486663 13588557824 468783 33554432000 4194304 4196468 140736351960784 139825170733456 139825577383637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14352384 140736351962254 140736351962436 140736351962436 140736351965135 0
[pid=16920/tid=16930] ppid=16917 vsize=13270076 CPUtime=15.6 cores=0,2,4,6,8,10,12,14
/proc/16920/task/16930/stat : 16930 (java) S 16917 16920 15731 0 -1 1077944384 16341 0 0 0 1476 84 0 0 20 0 20 0 4486663 13588557824 468783 33554432000 4194304 4196468 140736351960784 139825169680656 139825577383637 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 14352384 140736351962254 140736351962436 140736351962436 140736351965135 0
[pid=16920/tid=16931] ppid=16917 vsize=13270076 CPUtime=1.38 cores=0,2,4,6,8,10,12,14
/proc/16920/task/16931/stat : 16931 (java) S 16917 16920 15731 0 -1 1077944384 77894 0 0 0 112 26 0 0 20 0 20 0 4486665 13588557824 468783 33554432000 4194304 4196468 140736351960784 139825040477040 139825577384578 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14352384 140736351962254 140736351962436 140736351962436 140736351965135 0
[pid=16920/tid=16932] ppid=16917 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16920/task/16932/stat : 16932 (java) S 16917 16920 15731 0 -1 1077944384 96 0 0 0 0 0 0 0 20 0 20 0 4486666 13588557824 468783 33554432000 4194304 4196468 140736351960784 139825039423072 139825577383637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14352384 140736351962254 140736351962436 140736351962436 140736351965135 0
[pid=16920/tid=16933] ppid=16917 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16920/task/16933/stat : 16933 (java) S 16917 16920 15731 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 20 0 4486666 13588557824 468783 33554432000 4194304 4196468 140736351960784 139825038370176 139825577383637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14352384 140736351962254 140736351962436 140736351962436 140736351965135 0
[pid=16920/tid=16934] ppid=16917 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16920/task/16934/stat : 16934 (java) S 16917 16920 15731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4486670 13588557824 468783 33554432000 4194304 4196468 140736351960784 139825037318480 139825577392027 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 14352384 140736351962254 140736351962436 140736351962436 140736351965135 0
[pid=16920/tid=16935] ppid=16917 vsize=13270076 CPUtime=2.42 cores=0,2,4,6,8,10,12,14
/proc/16920/task/16935/stat : 16935 (java) S 16917 16920 15731 0 -1 1077944384 19796 0 0 0 238 4 0 0 20 0 20 0 4486670 13588557824 468783 33554432000 4194304 4196468 140736351960784 139825036265840 139825577384578 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14352384 140736351962254 140736351962436 140736351962436 140736351965135 0
[pid=16920/tid=16936] ppid=16917 vsize=13270076 CPUtime=2.56 cores=0,2,4,6,8,10,12,14
/proc/16920/task/16936/stat : 16936 (java) S 16917 16920 15731 0 -1 1077944384 17076 0 0 0 253 3 0 0 20 0 20 0 4486670 13588557824 468783 33554432000 4194304 4196468 140736351960784 139825035213040 139825577384578 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 27 0 0 6293624 6294260 14352384 140736351962254 140736351962436 140736351962436 140736351965135 0
[pid=16920/tid=16937] ppid=16917 vsize=13270076 CPUtime=3.29 cores=0,2,4,6,8,10,12,14
/proc/16920/task/16937/stat : 16937 (java) S 16917 16920 15731 0 -1 1077944384 19492 0 0 0 327 2 0 0 20 0 20 0 4486670 13588557824 468783 33554432000 4194304 4196468 140736351960784 139825034160240 139825577384578 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 20 0 0 6293624 6294260 14352384 140736351962254 140736351962436 140736351962436 140736351965135 0
[pid=16920/tid=16938] ppid=16917 vsize=13270076 CPUtime=1.41 cores=0,2,4,6,8,10,12,14
/proc/16920/task/16938/stat : 16938 (java) S 16917 16920 15731 0 -1 1077944384 31509 0 0 0 136 5 0 0 20 0 20 0 4486670 13588557824 468783 33554432000 4194304 4196468 140736351960784 139825033107440 139825577384578 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 19 0 0 6293624 6294260 14352384 140736351962254 140736351962436 140736351962436 140736351965135 0
[pid=16920/tid=16939] ppid=16917 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16920/task/16939/stat : 16939 (java) S 16917 16920 15731 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4486670 13588557824 468783 33554432000 4194304 4196468 140736351960784 139825032055904 139825577383637 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 14352384 140736351962254 140736351962436 140736351962436 140736351965135 0
[pid=16920/tid=16940] ppid=16917 vsize=13270076 CPUtime=1.23 cores=0,2,4,6,8,10,12,14
/proc/16920/task/16940/stat : 16940 (java) S 16917 16920 15731 0 -1 1077944384 1339 0 0 0 61 62 0 0 20 0 20 0 4486670 13588557824 468783 33554432000 4194304 4196468 140736351960784 139825031003184 139825577384578 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 44 0 0 6293624 6294260 14352384 140736351962254 140736351962436 140736351962436 140736351965135 0
Current children cumulated CPU time (s) 2380.84
Current children cumulated vsize (KiB) 13270076



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2280.5 s]
/proc/loadavg: 1.97 1.78 1.71 3/284 17315
/proc/meminfo: memFree=27191952/32770624 swapFree=5664/250696
[pid=16920] ppid=16917 vsize=13270076 CPUtime=2400.01 cores=0,2,4,6,8,10,12,14
/proc/16920/stat : 16920 (java) S 16917 16920 15731 0 -1 1077944320 418334 0 0 0 239148 853 0 0 20 0 20 0 4486661 13588557824 480958 33554432000 4194304 4196468 140736351960784 140736351943328 139825577373431 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 14352384 140736351962254 140736351962436 140736351962436 140736351965135 0
/proc/16920/statm: 3317519 480958 3867 1 0 3305234 0
[pid=16920/tid=16921] ppid=16917 vsize=13270076 CPUtime=2260.36 cores=0,2,4,6,8,10,12,14
/proc/16920/task/16921/stat : 16921 (java) R 16917 16920 15731 0 -1 4202560 116850 0 0 0 225955 81 0 0 20 0 20 0 4486662 13588557824 480958 33554432000 4194304 4196468 140736351960784 139825581611472 139825226437343 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14352384 140736351962254 140736351962436 140736351962436 140736351965135 0
[pid=16920/tid=16923] ppid=16917 vsize=13270076 CPUtime=15.89 cores=0,2,4,6,8,10,12,14
/proc/16920/task/16923/stat : 16923 (java) S 16917 16920 15731 0 -1 1077944384 17166 0 0 0 1506 83 0 0 20 0 20 0 4486663 13588557824 480958 33554432000 4194304 4196468 140736351960784 139825547086992 139825577383637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14352384 140736351962254 140736351962436 140736351962436 140736351965135 0
[pid=16920/tid=16924] ppid=16917 vsize=13270076 CPUtime=15.9 cores=0,2,4,6,8,10,12,14
/proc/16920/task/16924/stat : 16924 (java) S 16917 16920 15731 0 -1 1077944384 17429 0 0 0 1508 82 0 0 20 0 20 0 4486663 13588557824 480958 33554432000 4194304 4196468 140736351960784 139825175997456 139825577383637 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 14352384 140736351962254 140736351962436 140736351962436 140736351965135 0
[pid=16920/tid=16925] ppid=16917 vsize=13270076 CPUtime=15.96 cores=0,2,4,6,8,10,12,14
/proc/16920/task/16925/stat : 16925 (java) S 16917 16920 15731 0 -1 1077944384 14789 0 0 0 1509 87 0 0 20 0 20 0 4486663 13588557824 480958 33554432000 4194304 4196468 140736351960784 139825174944656 139825577383637 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 14352384 140736351962254 140736351962436 140736351962436 140736351965135 0
[pid=16920/tid=16926] ppid=16917 vsize=13270076 CPUtime=15.85 cores=0,2,4,6,8,10,12,14
/proc/16920/task/16926/stat : 16926 (java) S 16917 16920 15731 0 -1 1077944384 16510 0 0 0 1495 90 0 0 20 0 20 0 4486663 13588557824 480958 33554432000 4194304 4196468 140736351960784 139825173891856 139825577383637 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 14352384 140736351962254 140736351962436 140736351962436 140736351965135 0
[pid=16920/tid=16927] ppid=16917 vsize=13270076 CPUtime=16.01 cores=0,2,4,6,8,10,12,14
/proc/16920/task/16927/stat : 16927 (java) S 16917 16920 15731 0 -1 1077944384 17297 0 0 0 1514 87 0 0 20 0 20 0 4486663 13588557824 480958 33554432000 4194304 4196468 140736351960784 139825172839056 139825577383637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14352384 140736351962254 140736351962436 140736351962436 140736351965135 0
[pid=16920/tid=16928] ppid=16917 vsize=13270076 CPUtime=15.86 cores=0,2,4,6,8,10,12,14
/proc/16920/task/16928/stat : 16928 (java) S 16917 16920 15731 0 -1 1077944384 15724 0 0 0 1504 82 0 0 20 0 20 0 4486663 13588557824 480958 33554432000 4194304 4196468 140736351960784 139825171786256 139825577383637 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 14352384 140736351962254 140736351962436 140736351962436 140736351965135 0
[pid=16920/tid=16929] ppid=16917 vsize=13270076 CPUtime=15.98 cores=0,2,4,6,8,10,12,14
/proc/16920/task/16929/stat : 16929 (java) S 16917 16920 15731 0 -1 1077944384 17436 0 0 0 1507 91 0 0 20 0 20 0 4486663 13588557824 480958 33554432000 4194304 4196468 140736351960784 139825170733456 139825577383637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14352384 140736351962254 140736351962436 140736351962436 140736351965135 0
[pid=16920/tid=16930] ppid=16917 vsize=13270076 CPUtime=15.75 cores=0,2,4,6,8,10,12,14
/proc/16920/task/16930/stat : 16930 (java) S 16917 16920 15731 0 -1 1077944384 16397 0 0 0 1489 86 0 0 20 0 20 0 4486663 13588557824 480958 33554432000 4194304 4196468 140736351960784 139825169680656 139825577383637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14352384 140736351962254 140736351962436 140736351962436 140736351965135 0
[pid=16920/tid=16931] ppid=16917 vsize=13270076 CPUtime=1.39 cores=0,2,4,6,8,10,12,14
/proc/16920/task/16931/stat : 16931 (java) S 16917 16920 15731 0 -1 1077944384 78038 0 0 0 113 26 0 0 20 0 20 0 4486665 13588557824 480958 33554432000 4194304 4196468 140736351960784 139825040477040 139825577384578 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14352384 140736351962254 140736351962436 140736351962436 140736351965135 0
[pid=16920/tid=16932] ppid=16917 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16920/task/16932/stat : 16932 (java) S 16917 16920 15731 0 -1 1077944384 96 0 0 0 0 0 0 0 20 0 20 0 4486666 13588557824 480958 33554432000 4194304 4196468 140736351960784 139825039423072 139825577383637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14352384 140736351962254 140736351962436 140736351962436 140736351965135 0
[pid=16920/tid=16933] ppid=16917 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16920/task/16933/stat : 16933 (java) S 16917 16920 15731 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 20 0 4486666 13588557824 480958 33554432000 4194304 4196468 140736351960784 139825038370176 139825577383637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14352384 140736351962254 140736351962436 140736351962436 140736351965135 0
[pid=16920/tid=16934] ppid=16917 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16920/task/16934/stat : 16934 (java) S 16917 16920 15731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4486670 13588557824 480958 33554432000 4194304 4196468 140736351960784 139825037318480 139825577392027 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 14352384 140736351962254 140736351962436 140736351962436 140736351965135 0
[pid=16920/tid=16935] ppid=16917 vsize=13270076 CPUtime=2.42 cores=0,2,4,6,8,10,12,14
/proc/16920/task/16935/stat : 16935 (java) S 16917 16920 15731 0 -1 1077944384 19796 0 0 0 238 4 0 0 20 0 20 0 4486670 13588557824 480958 33554432000 4194304 4196468 140736351960784 139825036265840 139825577384578 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14352384 140736351962254 140736351962436 140736351962436 140736351965135 0
[pid=16920/tid=16936] ppid=16917 vsize=13270076 CPUtime=2.56 cores=0,2,4,6,8,10,12,14
/proc/16920/task/16936/stat : 16936 (java) S 16917 16920 15731 0 -1 1077944384 17076 0 0 0 253 3 0 0 20 0 20 0 4486670 13588557824 480958 33554432000 4194304 4196468 140736351960784 139825035213040 139825577384578 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 27 0 0 6293624 6294260 14352384 140736351962254 140736351962436 140736351962436 140736351965135 0
[pid=16920/tid=16937] ppid=16917 vsize=13270076 CPUtime=3.29 cores=0,2,4,6,8,10,12,14
/proc/16920/task/16937/stat : 16937 (java) S 16917 16920 15731 0 -1 1077944384 19492 0 0 0 327 2 0 0 20 0 20 0 4486670 13588557824 480958 33554432000 4194304 4196468 140736351960784 139825034160240 139825577384578 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 20 0 0 6293624 6294260 14352384 140736351962254 140736351962436 140736351962436 140736351965135 0
[pid=16920/tid=16938] ppid=16917 vsize=13270076 CPUtime=1.41 cores=0,2,4,6,8,10,12,14
/proc/16920/task/16938/stat : 16938 (java) S 16917 16920 15731 0 -1 1077944384 31509 0 0 0 136 5 0 0 20 0 20 0 4486670 13588557824 480958 33554432000 4194304 4196468 140736351960784 139825033107440 139825577384578 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 19 0 0 6293624 6294260 14352384 140736351962254 140736351962436 140736351962436 140736351965135 0
[pid=16920/tid=16939] ppid=16917 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16920/task/16939/stat : 16939 (java) S 16917 16920 15731 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4486670 13588557824 480958 33554432000 4194304 4196468 140736351960784 139825032055904 139825577383637 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 14352384 140736351962254 140736351962436 140736351962436 140736351965135 0
[pid=16920/tid=16940] ppid=16917 vsize=13270076 CPUtime=1.24 cores=0,2,4,6,8,10,12,14
/proc/16920/task/16940/stat : 16940 (java) S 16917 16920 15731 0 -1 1077944384 1341 0 0 0 62 62 0 0 20 0 20 0 4486670 13588557824 480958 33554432000 4194304 4196468 140736351960784 139825031003184 139825577384578 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 44 0 0 6293624 6294260 14352384 140736351962254 140736351962436 140736351962436 140736351965135 0
Current children cumulated CPU time (s) 2400.01
Current children cumulated vsize (KiB) 13270076

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

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

[startup+2280.5 s]
/proc/loadavg: 1.97 1.78 1.71 3/284 17315
/proc/meminfo: memFree=27191952/32770624 swapFree=5664/250696
[pid=16920] ppid=16917 vsize=13270076 CPUtime=2400.01 cores=0,2,4,6,8,10,12,14
/proc/16920/stat : 16920 (java) S 16917 16920 15731 0 -1 1077944320 418334 0 0 0 239148 853 0 0 20 0 20 0 4486661 13588557824 480958 33554432000 4194304 4196468 140736351960784 140736351943328 139825577373431 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 14352384 140736351962254 140736351962436 140736351962436 140736351965135 0
/proc/16920/statm: 3317519 480958 3867 1 0 3305234 0
[pid=16920/tid=16921] ppid=16917 vsize=13270076 CPUtime=2260.36 cores=0,2,4,6,8,10,12,14
/proc/16920/task/16921/stat : 16921 (java) R 16917 16920 15731 0 -1 4202560 116850 0 0 0 225955 81 0 0 20 0 20 0 4486662 13588557824 480958 33554432000 4194304 4196468 140736351960784 139825581611472 139825226437343 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14352384 140736351962254 140736351962436 140736351962436 140736351965135 0
[pid=16920/tid=16923] ppid=16917 vsize=13270076 CPUtime=15.89 cores=0,2,4,6,8,10,12,14
/proc/16920/task/16923/stat : 16923 (java) S 16917 16920 15731 0 -1 1077944384 17166 0 0 0 1506 83 0 0 20 0 20 0 4486663 13588557824 480958 33554432000 4194304 4196468 140736351960784 139825547086992 139825577383637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14352384 140736351962254 140736351962436 140736351962436 140736351965135 0
[pid=16920/tid=16924] ppid=16917 vsize=13270076 CPUtime=15.9 cores=0,2,4,6,8,10,12,14
/proc/16920/task/16924/stat : 16924 (java) S 16917 16920 15731 0 -1 1077944384 17429 0 0 0 1508 82 0 0 20 0 20 0 4486663 13588557824 480958 33554432000 4194304 4196468 140736351960784 139825175997456 139825577383637 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 14352384 140736351962254 140736351962436 140736351962436 140736351965135 0
[pid=16920/tid=16925] ppid=16917 vsize=13270076 CPUtime=15.96 cores=0,2,4,6,8,10,12,14
/proc/16920/task/16925/stat : 16925 (java) S 16917 16920 15731 0 -1 1077944384 14789 0 0 0 1509 87 0 0 20 0 20 0 4486663 13588557824 480958 33554432000 4194304 4196468 140736351960784 139825174944656 139825577383637 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 14352384 140736351962254 140736351962436 140736351962436 140736351965135 0
[pid=16920/tid=16926] ppid=16917 vsize=13270076 CPUtime=15.85 cores=0,2,4,6,8,10,12,14
/proc/16920/task/16926/stat : 16926 (java) S 16917 16920 15731 0 -1 1077944384 16510 0 0 0 1495 90 0 0 20 0 20 0 4486663 13588557824 480958 33554432000 4194304 4196468 140736351960784 139825173891856 139825577383637 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 14352384 140736351962254 140736351962436 140736351962436 140736351965135 0
[pid=16920/tid=16927] ppid=16917 vsize=13270076 CPUtime=16.01 cores=0,2,4,6,8,10,12,14
/proc/16920/task/16927/stat : 16927 (java) S 16917 16920 15731 0 -1 1077944384 17297 0 0 0 1514 87 0 0 20 0 20 0 4486663 13588557824 480958 33554432000 4194304 4196468 140736351960784 139825172839056 139825577383637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14352384 140736351962254 140736351962436 140736351962436 140736351965135 0
[pid=16920/tid=16928] ppid=16917 vsize=13270076 CPUtime=15.86 cores=0,2,4,6,8,10,12,14
/proc/16920/task/16928/stat : 16928 (java) S 16917 16920 15731 0 -1 1077944384 15724 0 0 0 1504 82 0 0 20 0 20 0 4486663 13588557824 480958 33554432000 4194304 4196468 140736351960784 139825171786256 139825577383637 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 14352384 140736351962254 140736351962436 140736351962436 140736351965135 0
[pid=16920/tid=16929] ppid=16917 vsize=13270076 CPUtime=15.98 cores=0,2,4,6,8,10,12,14
/proc/16920/task/16929/stat : 16929 (java) S 16917 16920 15731 0 -1 1077944384 17436 0 0 0 1507 91 0 0 20 0 20 0 4486663 13588557824 480958 33554432000 4194304 4196468 140736351960784 139825170733456 139825577383637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14352384 140736351962254 140736351962436 140736351962436 140736351965135 0
[pid=16920/tid=16930] ppid=16917 vsize=13270076 CPUtime=15.75 cores=0,2,4,6,8,10,12,14
/proc/16920/task/16930/stat : 16930 (java) S 16917 16920 15731 0 -1 1077944384 16397 0 0 0 1489 86 0 0 20 0 20 0 4486663 13588557824 480958 33554432000 4194304 4196468 140736351960784 139825169680656 139825577383637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14352384 140736351962254 140736351962436 140736351962436 140736351965135 0
[pid=16920/tid=16931] ppid=16917 vsize=13270076 CPUtime=1.39 cores=0,2,4,6,8,10,12,14
/proc/16920/task/16931/stat : 16931 (java) S 16917 16920 15731 0 -1 1077944384 78038 0 0 0 113 26 0 0 20 0 20 0 4486665 13588557824 480958 33554432000 4194304 4196468 140736351960784 139825040477040 139825577384578 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14352384 140736351962254 140736351962436 140736351962436 140736351965135 0
[pid=16920/tid=16932] ppid=16917 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16920/task/16932/stat : 16932 (java) S 16917 16920 15731 0 -1 1077944384 96 0 0 0 0 0 0 0 20 0 20 0 4486666 13588557824 480958 33554432000 4194304 4196468 140736351960784 139825039423072 139825577383637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14352384 140736351962254 140736351962436 140736351962436 140736351965135 0
[pid=16920/tid=16933] ppid=16917 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16920/task/16933/stat : 16933 (java) S 16917 16920 15731 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 20 0 4486666 13588557824 480958 33554432000 4194304 4196468 140736351960784 139825038370176 139825577383637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14352384 140736351962254 140736351962436 140736351962436 140736351965135 0
[pid=16920/tid=16934] ppid=16917 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16920/task/16934/stat : 16934 (java) S 16917 16920 15731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4486670 13588557824 480958 33554432000 4194304 4196468 140736351960784 139825037318480 139825577392027 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 14352384 140736351962254 140736351962436 140736351962436 140736351965135 0
[pid=16920/tid=16935] ppid=16917 vsize=13270076 CPUtime=2.42 cores=0,2,4,6,8,10,12,14
/proc/16920/task/16935/stat : 16935 (java) S 16917 16920 15731 0 -1 1077944384 19796 0 0 0 238 4 0 0 20 0 20 0 4486670 13588557824 480958 33554432000 4194304 4196468 140736351960784 139825036265840 139825577384578 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14352384 140736351962254 140736351962436 140736351962436 140736351965135 0
[pid=16920/tid=16936] ppid=16917 vsize=13270076 CPUtime=2.56 cores=0,2,4,6,8,10,12,14
/proc/16920/task/16936/stat : 16936 (java) S 16917 16920 15731 0 -1 1077944384 17076 0 0 0 253 3 0 0 20 0 20 0 4486670 13588557824 480958 33554432000 4194304 4196468 140736351960784 139825035213040 139825577384578 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 27 0 0 6293624 6294260 14352384 140736351962254 140736351962436 140736351962436 140736351965135 0
[pid=16920/tid=16937] ppid=16917 vsize=13270076 CPUtime=3.29 cores=0,2,4,6,8,10,12,14
/proc/16920/task/16937/stat : 16937 (java) S 16917 16920 15731 0 -1 1077944384 19492 0 0 0 327 2 0 0 20 0 20 0 4486670 13588557824 480958 33554432000 4194304 4196468 140736351960784 139825034160240 139825577384578 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 20 0 0 6293624 6294260 14352384 140736351962254 140736351962436 140736351962436 140736351965135 0
[pid=16920/tid=16938] ppid=16917 vsize=13270076 CPUtime=1.41 cores=0,2,4,6,8,10,12,14
/proc/16920/task/16938/stat : 16938 (java) S 16917 16920 15731 0 -1 1077944384 31509 0 0 0 136 5 0 0 20 0 20 0 4486670 13588557824 480958 33554432000 4194304 4196468 140736351960784 139825033107440 139825577384578 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 19 0 0 6293624 6294260 14352384 140736351962254 140736351962436 140736351962436 140736351965135 0
[pid=16920/tid=16939] ppid=16917 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16920/task/16939/stat : 16939 (java) S 16917 16920 15731 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4486670 13588557824 480958 33554432000 4194304 4196468 140736351960784 139825032055904 139825577383637 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 14352384 140736351962254 140736351962436 140736351962436 140736351965135 0
[pid=16920/tid=16940] ppid=16917 vsize=13270076 CPUtime=1.24 cores=0,2,4,6,8,10,12,14
/proc/16920/task/16940/stat : 16940 (java) S 16917 16920 15731 0 -1 1077944384 1341 0 0 0 62 62 0 0 20 0 20 0 4486670 13588557824 480958 33554432000 4194304 4196468 140736351960784 139825031003184 139825577384578 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 44 0 0 6293624 6294260 14352384 140736351962254 140736351962436 140736351962436 140736351965135 0
Current children cumulated CPU time (s) 2400.01
Current children cumulated vsize (KiB) 13270076

Child status: 143
Real time (s): 2280.54
CPU time (s): 2400.06
CPU user time (s): 2391.51
CPU system time (s): 8.55237
CPU usage (%): 105.241
Max. virtual memory (cumulated for all children) (KiB): 13270076

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2391.51
system time used= 8.55237
maximum resident set size= 3597076
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 420804
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2736
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 96805
involuntary context switches= 130920

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.1878 second user time and 21.2121 second system time

The end

Launcher Data 

Begin job on node134 at 2017-07-22 04:56:35
IDJOB=4244834
IDBENCH=115917
IDSOLVER=2629
FILE ID=node134/4244834-1500692195
RUNJOBID= node134-1500682730-15762
PBS_JOBID= 20623332
Free space on /tmp= 61964 MiB

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

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

MD5SUM BENCH= 2bbdfe474604d495dd31c09972612e7d
RANDOM SEED=866504984

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        28218740 kB
MemAvailable:   28475348 kB
Buffers:          108924 kB
Cached:           428584 kB
SwapCached:            0 kB
Active:          3856688 kB
Inactive:         257088 kB
Active(anon):    3578852 kB
Inactive(anon):     8896 kB
Active(file):     277836 kB
Inactive(file):   248192 kB
Unevictable:        5664 kB
Mlocked:            5664 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             41876 kB
Writeback:             0 kB
AnonPages:       3584968 kB
Mapped:            45364 kB
Shmem:              8872 kB
Slab:             126712 kB
SReclaimable:      92828 kB
SUnreclaim:        33884 kB
KernelStack:        4800 kB
PageTables:        12468 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    4356216 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3436544 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      144768 kB
DirectMap2M:    33400832 kB

Free space on /tmp at the end= 61920 MiB
End job on node134 at 2017-07-22 05:34:36