Trace number 4259526

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
Concrete 3.4SAT (TO)42 260.939 240.043

General information on the benchmark

NameGraphColoring/GraphColoring-m1-mono/
GraphColoring-wap06a.xml
MD5SUMa8532fde929f2c832645b1246a7d35a6
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark40
Best CPU time to get the best result obtained on this benchmark245.19501
Satisfiable
(Un)Satisfiability was proved
Number of variables947
Number of constraints43571
Number of domains1
Minimum domain size947
Maximum domain size947
Distribution of domain sizes[{"size":947,"count":947}]
Minimum variable degree10
Maximum variable degree231
Distribution of variable degrees[{"degree":10,"count":2},{"degree":13,"count":3},{"degree":15,"count":1},{"degree":16,"count":4},{"degree":17,"count":3},{"degree":20,"count":1},{"degree":24,"count":4},{"degree":26,"count":1},{"degree":29,"count":3},{"degree":31,"count":7},{"degree":32,"count":5},{"degree":33,"count":5},{"degree":34,"count":9},{"degree":35,"count":30},{"degree":36,"count":21},{"degree":37,"count":9},{"degree":38,"count":23},{"degree":39,"count":11},{"degree":40,"count":88},{"degree":41,"count":1},{"degree":42,"count":1},{"degree":43,"count":4},{"degree":44,"count":10},{"degree":45,"count":2},{"degree":46,"count":8},"...",{"degree":184,"count":2}, {"degree":185,"count":5}, {"degree":186,"count":2}, {"degree":187,"count":1}, {"degree":188,"count":1}, {"degree":189,"count":1}, {"degree":190,"count":1}, {"degree":191,"count":2}, {"degree":192,"count":2}, {"degree":193,"count":1}, {"degree":194,"count":2}, {"degree":195,"count":2}, {"degree":196,"count":1}, {"degree":199,"count":2}, {"degree":200,"count":1}, {"degree":202,"count":1}, {"degree":205,"count":1}, {"degree":207,"count":1}, {"degree":210,"count":1}, {"degree":211,"count":1}, {"degree":213,"count":1}, {"degree":218,"count":1}, {"degree":219,"count":1}, {"degree":224,"count":2}, {"degree":231,"count":1}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":43571}]
Number of extensional constraints0
Number of intensional constraints43571
Distribution of constraint types[{"type":"intension","count":43571}]
Optimization problemYES
Type of objectivemin MAXIMUM

Quality of the solution as a function of time


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

Solver Data 

3.25/2.16	c Concrete v3.4 running
24.89/10.98	o 946
25.81/11.33	o 945
26.12/11.59	o 944
26.46/11.84	o 943
26.86/12.08	o 942
27.31/12.33	o 941
27.90/12.56	o 940
28.60/12.81	o 939
29.10/13.04	o 938
29.45/13.24	o 937
29.70/13.45	o 936
29.94/13.65	o 935
30.18/13.85	o 934
30.40/14.04	o 933
30.62/14.24	o 932
30.82/14.43	o 931
31.02/14.62	o 930
31.22/14.82	o 929
31.42/15.01	o 928
31.63/15.21	o 927
31.83/15.41	o 926
32.03/15.62	o 925
32.25/15.82	o 924
32.46/16.03	o 923
32.66/16.23	o 922
32.88/16.43	o 921
33.10/16.63	o 920
33.29/16.84	o 919
33.49/17.04	o 918
33.70/17.25	o 917
33.91/17.45	o 916
34.10/17.66	o 915
34.31/17.86	o 914
34.50/18.07	o 913
34.70/18.28	o 912
34.91/18.49	o 911
35.11/18.69	o 910
35.32/18.89	o 909
35.62/19.10	o 908
35.82/19.31	o 907
36.06/19.53	o 906
36.26/19.73	o 905
36.47/19.92	o 904
36.66/20.11	o 903
36.86/20.31	o 902
37.07/20.51	o 901
37.27/20.70	o 900
37.37/20.89	o 899
37.63/21.08	o 898
37.82/21.27	o 897
38.03/21.46	o 896
38.25/21.65	o 895
38.45/21.85	o 894
38.66/22.04	o 893
38.85/22.24	o 892
39.05/22.43	o 891
39.25/22.63	o 890
39.45/22.83	o 889
39.67/23.02	o 888
39.87/23.21	o 887
40.07/23.41	o 886
40.17/23.60	o 885
40.37/23.80	o 884
40.57/23.99	o 883
40.78/24.19	o 882
40.99/24.38	o 881
41.18/24.58	o 880
41.38/24.78	o 879
41.59/24.97	o 878
41.79/25.16	o 877
42.00/25.35	o 876
42.20/25.56	o 875
42.39/25.76	o 874
42.60/25.95	o 873
42.80/26.15	o 872
43.00/26.35	o 871
43.20/26.54	o 870
43.40/26.73	o 869
43.60/26.93	o 868
43.80/27.12	o 867
44.04/27.33	o 866
44.25/27.52	o 865
44.44/27.72	o 864
44.64/27.91	o 863
44.84/28.11	o 862
45.04/28.31	o 861
45.25/28.51	o 860
45.35/28.70	o 859
45.55/28.89	o 858
45.75/29.09	o 857
45.95/29.28	o 856
46.15/29.48	o 855
46.35/29.68	o 854
46.55/29.87	o 853
46.75/30.07	o 852
46.95/30.27	o 851
47.15/30.46	o 850
47.36/30.65	o 849
47.56/30.86	o 848
47.76/31.06	o 847
47.96/31.25	o 846
48.16/31.45	o 845
48.36/31.63	o 844
48.56/31.83	o 843
48.77/32.01	o 842
48.96/32.21	o 841
49.06/32.40	o 840
49.29/32.59	o 839
49.49/32.78	o 838
49.69/32.97	o 837
49.90/33.15	o 836
50.09/33.35	o 835
50.29/33.54	o 834
50.49/33.73	o 833
50.70/33.91	o 832
50.93/34.11	o 831
51.13/34.30	o 830
51.23/34.49	o 829
51.43/34.68	o 828
51.63/34.87	o 827
51.88/35.08	o 826
52.09/35.26	o 825
52.29/35.45	o 824
52.49/35.64	o 823
52.69/35.83	o 822
52.89/36.01	o 821
53.09/36.21	o 820
53.30/36.40	o 819
53.49/36.60	o 818
53.59/36.79	o 817
53.79/36.98	o 816
53.99/37.17	o 815
54.19/37.36	o 814
54.40/37.55	o 813
54.61/37.74	o 812
54.81/37.93	o 811
55.01/38.12	o 810
55.21/38.32	o 809
55.42/38.51	o 808
55.61/38.70	o 807
55.72/38.90	o 806
55.92/39.09	o 805
56.12/39.27	o 804
56.32/39.46	o 803
56.52/39.66	o 802
56.72/39.85	o 801
56.92/40.04	o 800
57.12/40.22	o 799
57.32/40.41	o 798
57.52/40.61	o 797
57.62/40.80	o 796
57.82/40.99	o 795
58.02/41.18	o 794
58.22/41.38	o 793
58.42/41.58	o 792
58.62/41.78	o 791
58.82/41.96	o 790
59.02/42.15	o 789
59.22/42.35	o 788
59.42/42.54	o 787
59.62/42.73	o 786
59.83/42.93	o 785
60.03/43.13	o 784
60.23/43.33	o 783
60.42/43.53	o 782
60.62/43.73	o 781
60.83/43.93	o 780
61.04/44.13	o 779
61.23/44.33	o 778
61.43/44.54	o 777
61.63/44.73	o 776
61.84/44.93	o 775
62.03/45.13	o 774
62.23/45.34	o 773
62.43/45.53	o 772
62.63/45.73	o 771
62.83/45.93	o 770
63.10/46.15	o 769
63.30/46.32	o 768
63.50/46.51	o 767
63.70/46.70	o 766
63.80/46.89	o 765
64.00/47.08	o 764
64.20/47.27	o 763
64.40/47.46	o 762
64.60/47.65	o 761
64.80/47.84	o 760
65.00/48.03	o 759
65.20/48.22	o 758
65.40/48.42	o 757
65.60/48.61	o 756
65.80/48.80	o 755
65.90/48.99	o 754
66.10/49.18	o 753
66.30/49.37	o 752
66.51/49.57	o 751
66.70/49.76	o 750
66.90/49.95	o 749
67.10/50.14	o 748
67.30/50.34	o 747
67.50/50.53	o 746
67.71/50.72	o 745
67.90/50.92	o 744
68.10/51.11	o 743
68.30/51.30	o 742
68.40/51.49	o 741
68.61/51.68	o 740
68.82/51.87	o 739
69.01/52.05	o 738
69.21/52.24	o 737
69.41/52.44	o 736
69.61/52.63	o 735
69.82/52.83	o 734
70.01/53.02	o 733
70.21/53.21	o 732
70.41/53.40	o 731
70.51/53.59	o 730
70.71/53.79	o 729
70.92/53.98	o 728
71.11/54.17	o 727
71.31/54.36	o 726
71.51/54.56	o 725
71.71/54.75	o 724
71.91/54.93	o 723
72.12/55.13	o 722
72.31/55.32	o 721
72.51/55.51	o 720
72.71/55.70	o 719
72.91/55.90	o 718
73.01/56.09	o 717
73.22/56.27	o 716
73.41/56.47	o 715
73.61/56.66	o 714
73.81/56.84	o 713
74.01/57.04	o 712
74.27/57.24	o 711
74.46/57.43	o 710
74.66/57.62	o 709
74.86/57.82	o 708
75.06/58.00	o 707
75.16/58.19	o 706
75.37/58.37	o 705
75.57/58.55	o 704
75.77/58.74	o 703
75.97/58.92	o 702
76.16/59.11	o 701
76.36/59.30	o 700
76.47/59.49	o 699
76.66/59.68	o 698
76.86/59.87	o 697
77.07/60.06	o 696
77.27/60.25	o 695
77.47/60.44	o 694
77.68/60.63	o 693
77.88/60.83	o 692
78.09/61.01	o 691
78.29/61.20	o 690
78.39/61.39	o 689
78.59/61.58	o 688
78.80/61.77	o 687
78.99/61.96	o 686
79.19/62.15	o 685
79.39/62.33	o 684
79.59/62.52	o 683
79.80/62.71	o 682
79.90/62.90	o 681
80.09/63.09	o 680
80.29/63.28	o 679
80.49/63.48	o 678
80.69/63.66	o 677
80.90/63.85	o 676
81.09/64.04	o 675
81.29/64.23	o 674
81.49/64.42	o 673
81.69/64.62	o 672
81.89/64.81	o 671
82.00/65.00	o 670
82.19/65.19	o 669
82.39/65.39	o 668
82.59/65.58	o 667
82.79/65.78	o 666
82.99/65.97	o 665
83.20/66.16	o 664
83.39/66.36	o 663
83.59/66.55	o 662
83.79/66.75	o 661
83.99/66.93	o 660
84.20/67.13	o 659
84.39/67.32	o 658
84.59/67.51	o 657
84.79/67.71	o 656
84.99/67.90	o 655
85.09/68.08	o 654
85.31/68.28	o 653
85.49/68.47	o 652
85.70/68.67	o 651
85.90/68.86	o 650
86.10/69.07	o 649
86.30/69.27	o 648
86.50/69.48	o 647
86.76/69.67	o 646
86.96/69.85	o 645
87.16/70.05	o 644
87.36/70.24	o 643
87.56/70.43	o 642
87.76/70.62	o 641
87.86/70.79	o 640
88.06/70.98	o 639
88.26/71.16	o 638
88.46/71.36	o 637
88.66/71.55	o 636
88.86/71.74	o 635
89.06/71.93	o 634
89.26/72.12	o 633
89.46/72.31	o 632
89.66/72.50	o 631
89.76/72.70	o 630
89.96/72.88	o 629
90.16/73.07	o 628
90.36/73.26	o 627
90.57/73.45	o 626
90.77/73.64	o 625
90.97/73.83	o 624
91.17/74.01	o 623
91.37/74.21	o 622
91.57/74.41	o 621
91.77/74.60	o 620
91.87/74.79	o 619
92.07/74.97	o 618
92.27/75.16	o 617
92.47/75.34	o 616
92.67/75.53	o 615
92.87/75.72	o 614
93.07/75.91	o 613
93.27/76.10	o 612
93.37/76.29	o 611
93.57/76.48	o 610
93.77/76.67	o 609
93.97/76.88	o 608
94.17/77.07	o 607
94.37/77.25	o 606
94.57/77.44	o 605
94.77/77.63	o 604
94.97/77.82	o 603
95.17/78.01	o 602
95.37/78.21	o 601
95.57/78.40	o 600
95.67/78.60	o 599
95.87/78.78	o 598
96.07/78.98	o 597
96.27/79.17	o 596
96.48/79.38	o 595
96.67/79.57	o 594
96.87/79.76	o 593
97.07/79.96	o 592
97.27/80.15	o 591
97.48/80.35	o 590
97.67/80.55	o 589
97.87/80.74	o 588
98.07/80.93	o 587
98.27/81.11	o 586
98.47/81.31	o 585
98.68/81.50	o 584
98.77/81.69	o 583
98.97/81.89	o 582
99.20/82.09	o 581
99.40/82.28	o 580
99.60/82.47	o 579
99.81/82.66	o 578
100.00/82.84	o 577
100.20/83.03	o 576
100.40/83.22	o 575
100.60/83.42	o 574
100.81/83.61	o 573
100.91/83.79	o 572
101.10/83.98	o 571
101.30/84.17	o 570
101.50/84.36	o 569
101.71/84.55	o 568
101.92/84.74	o 567
102.11/84.93	o 566
102.31/85.11	o 565
102.51/85.30	o 564
102.62/85.49	o 563
102.83/85.68	o 562
103.03/85.88	o 561
103.23/86.07	o 560
103.43/86.26	o 559
103.63/86.45	o 558
103.83/86.64	o 557
104.03/86.83	o 556
104.23/87.02	o 555
104.43/87.20	o 554
104.53/87.39	o 553
104.73/87.58	o 552
104.93/87.78	o 551
105.13/87.96	o 550
105.33/88.14	o 549
105.53/88.33	o 548
105.73/88.52	o 547
105.93/88.70	o 546
106.03/88.89	o 545
106.23/89.08	o 544
106.43/89.27	o 543
106.63/89.46	o 542
106.83/89.65	o 541
107.03/89.84	o 540
107.23/90.03	o 539
107.43/90.22	o 538
107.63/90.41	o 537
107.83/90.60	o 536
107.93/90.79	o 535
108.13/90.99	o 534
108.34/91.18	o 533
108.55/91.37	o 532
108.74/91.57	o 531
108.94/91.76	o 530
109.14/91.95	o 529
109.34/92.13	o 528
109.54/92.32	o 527
109.75/92.52	o 526
109.94/92.71	o 525
110.14/92.90	o 524
110.24/93.09	o 523
110.55/93.29	o 522
110.75/93.48	o 521
110.96/93.67	o 520
111.15/93.86	o 519
111.35/94.06	o 518
111.55/94.26	o 517
111.79/94.45	o 516
111.99/94.64	o 515
112.19/94.82	o 514
112.39/95.01	o 513
112.49/95.19	o 512
112.69/95.38	o 511
112.89/95.58	o 510
113.10/95.77	o 509
113.29/95.95	o 508
113.49/96.14	o 507
113.69/96.33	o 506
113.89/96.52	o 505
114.09/96.70	o 504
114.20/96.90	o 503
114.39/97.09	o 502
114.59/97.28	o 501
114.79/97.46	o 500
114.99/97.64	o 499
115.19/97.83	o 498
115.40/98.02	o 497
115.60/98.22	o 496
115.80/98.40	o 495
115.90/98.59	o 494
116.10/98.77	o 493
116.30/98.97	o 492
116.50/99.15	o 491
116.70/99.34	o 490
116.90/99.52	o 489
117.10/99.71	o 488
117.30/99.91	o 487
117.50/100.10	o 486
117.70/100.30	o 485
117.80/100.48	o 484
118.00/100.67	o 483
118.20/100.86	o 482
118.40/101.05	o 481
118.60/101.24	o 480
118.80/101.44	o 479
119.00/101.63	o 478
119.20/101.83	o 477
119.40/102.02	o 476
119.60/102.20	o 475
119.70/102.39	o 474
119.90/102.58	o 473
120.10/102.76	o 472
120.30/102.95	o 471
120.50/103.14	o 470
120.70/103.34	o 469
120.90/103.52	o 468
121.10/103.71	o 467
121.30/103.91	o 466
121.51/104.10	o 465
121.61/104.28	o 464
121.81/104.47	o 463
122.01/104.66	o 462
122.21/104.85	o 461
122.41/105.04	o 460
122.61/105.23	o 459
122.81/105.41	o 458
122.91/105.60	o 457
123.13/105.79	o 456
123.32/105.98	o 455
123.52/106.17	o 454
123.72/106.36	o 453
123.92/106.55	o 452
124.13/106.74	o 451
124.32/106.93	o 450
124.55/107.13	o 449
124.75/107.30	o 448
124.85/107.49	o 447
125.05/107.67	o 446
125.25/107.85	o 445
125.45/108.04	o 444
125.65/108.23	o 443
125.85/108.42	o 442
126.05/108.61	o 441
126.15/108.79	o 440
126.36/108.98	o 439
126.56/109.16	o 438
126.76/109.35	o 437
126.96/109.54	o 436
127.17/109.72	o 435
127.37/109.91	o 434
127.48/110.10	o 433
127.67/110.28	o 432
127.87/110.48	o 431
128.07/110.67	o 430
128.27/110.86	o 429
128.47/111.05	o 428
128.68/111.23	o 427
128.87/111.43	o 426
129.07/111.62	o 425
129.27/111.81	o 424
129.47/112.00	o 423
129.57/112.19	o 422
129.78/112.38	o 421
129.97/112.57	o 420
130.17/112.76	o 419
130.37/112.95	o 418
130.57/113.14	o 417
130.78/113.33	o 416
130.97/113.52	o 415
131.17/113.71	o 414
131.38/113.90	o 413
131.48/114.09	o 412
131.68/114.29	o 411
131.89/114.47	o 410
132.08/114.66	o 409
132.28/114.86	o 408
132.48/115.05	o 407
132.68/115.24	o 406
132.88/115.43	o 405
133.09/115.62	o 404
133.29/115.81	o 403
133.39/116.00	o 402
133.58/116.19	o 401
133.78/116.38	o 400
133.98/116.57	o 399
134.19/116.76	o 398
134.39/116.95	o 397
134.59/117.13	o 396
134.79/117.32	o 395
134.99/117.52	o 394
135.19/117.71	o 393
135.39/117.90	o 392
135.49/118.09	o 391
135.69/118.27	o 390
135.89/118.46	o 389
136.09/118.66	o 388
136.29/118.85	o 387
136.49/119.04	o 386
136.69/119.22	o 385
136.89/119.40	o 384
137.13/119.60	o 383
137.22/119.79	o 382
137.43/119.97	o 381
137.63/120.16	o 380
137.83/120.35	o 379
138.03/120.54	o 378
138.23/120.72	o 377
138.42/120.91	o 376
138.63/121.10	o 375
138.83/121.30	o 374
138.93/121.48	o 373
139.13/121.67	o 372
139.32/121.86	o 371
139.52/122.04	o 370
139.73/122.22	o 369
139.92/122.42	o 368
140.12/122.60	o 367
140.23/122.80	o 366
140.43/122.98	o 365
140.63/123.17	o 364
140.83/123.36	o 363
141.03/123.55	o 362
141.23/123.74	o 361
141.43/123.93	o 360
141.62/124.11	o 359
141.73/124.29	o 358
141.93/124.48	o 357
142.12/124.67	o 356
142.32/124.85	o 355
142.52/125.04	o 354
142.72/125.22	o 353
142.93/125.42	o 352
143.13/125.60	o 351
143.23/125.79	o 350
143.43/125.98	o 349
143.63/126.18	o 348
143.83/126.37	o 347
144.03/126.56	o 346
144.23/126.75	o 345
144.43/126.94	o 344
144.63/127.13	o 343
144.83/127.31	o 342
145.03/127.51	o 341
145.23/127.70	o 340
145.33/127.89	o 339
145.53/128.09	o 338
145.73/128.28	o 337
145.93/128.47	o 336
146.13/128.66	o 335
146.33/128.84	o 334
146.53/129.03	o 333
146.73/129.22	o 332
146.93/129.41	o 331
147.13/129.61	o 330
147.23/129.80	o 329
147.43/129.98	o 328
147.63/130.17	o 327
147.83/130.36	o 326
148.03/130.54	o 325
148.23/130.73	o 324
148.43/130.92	o 323
148.63/131.11	o 322
148.73/131.29	o 321
148.97/131.49	o 320
149.17/131.68	o 319
149.37/131.87	o 318
149.57/132.05	o 317
149.77/132.24	o 316
149.97/132.43	o 315
150.17/132.61	o 314
150.27/132.80	o 313
150.47/132.98	o 312
150.68/133.17	o 311
150.87/133.35	o 310
151.07/133.54	o 309
151.27/133.73	o 308
151.47/133.91	o 307
151.68/134.10	o 306
151.79/134.29	o 305
151.98/134.47	o 304
152.19/134.65	o 303
152.39/134.84	o 302
152.59/135.03	o 301
152.79/135.22	o 300
153.00/135.41	o 299
153.09/135.59	o 298
153.29/135.78	o 297
153.49/135.96	o 296
153.69/136.14	o 295
153.89/136.33	o 294
154.10/136.52	o 293
154.29/136.71	o 292
154.39/136.90	o 291
154.59/137.08	o 290
154.79/137.27	o 289
154.99/137.46	o 288
155.20/137.64	o 287
155.39/137.83	o 286
155.59/138.02	o 285
155.79/138.21	o 284
155.99/138.41	o 283
156.09/138.59	o 282
156.30/138.78	o 281
156.49/138.97	o 280
156.69/139.16	o 279
156.89/139.34	o 278
157.09/139.53	o 277
157.30/139.72	o 276
157.49/139.91	o 275
157.59/140.09	o 274
157.79/140.28	o 273
157.99/140.47	o 272
158.20/140.66	o 271
158.40/140.85	o 270
158.60/141.04	o 269
158.80/141.23	o 268
159.00/141.42	o 267
159.20/141.61	o 266
159.40/141.80	o 265
159.50/141.99	o 264
159.70/142.17	o 263
159.90/142.36	o 262
160.10/142.55	o 261
160.30/142.74	o 260
160.52/142.93	o 259
160.73/143.12	o 258
160.92/143.31	o 257
161.02/143.49	o 256
161.22/143.67	o 255
161.42/143.86	o 254
161.62/144.04	o 253
161.83/144.23	o 252
162.02/144.41	o 251
162.22/144.60	o 250
162.32/144.79	o 249
162.52/144.98	o 248
162.72/145.17	o 247
162.93/145.36	o 246
163.12/145.54	o 245
163.32/145.73	o 244
163.53/145.91	o 243
163.72/146.10	o 242
163.82/146.29	o 241
164.03/146.47	o 240
164.22/146.66	o 239
164.42/146.84	o 238
164.62/147.03	o 237
164.82/147.21	o 236
164.92/147.39	o 235
165.13/147.58	o 234
165.33/147.77	o 233
165.53/147.95	o 232
165.73/148.14	o 231
165.93/148.33	o 230
166.13/148.51	o 229
166.23/148.69	o 228
166.43/148.88	o 227
166.63/149.07	o 226
166.83/149.25	o 225
167.03/149.45	o 224
167.23/149.63	o 223
167.43/149.82	o 222
167.63/150.01	o 221
167.83/150.21	o 220
167.93/150.39	o 219
168.13/150.58	o 218
168.33/150.77	o 217
168.53/150.95	o 216
168.73/151.13	o 215
168.93/151.32	o 214
169.13/151.51	o 213
169.33/151.70	o 212
169.43/151.89	o 211
169.63/152.08	o 210
169.83/152.27	o 209
170.03/152.46	o 208
170.23/152.64	o 207
170.43/152.83	o 206
170.64/153.02	o 205
170.83/153.20	o 204
170.93/153.39	o 203
171.13/153.57	o 202
171.37/153.78	o 201
171.56/153.96	o 200
171.77/154.15	o 199
171.96/154.34	o 198
172.17/154.53	o 197
172.37/154.72	o 196
172.57/154.91	o 195
172.67/155.10	o 194
172.87/155.28	o 193
173.07/155.45	o 192
173.27/155.64	o 191
173.47/155.83	o 190
173.67/156.02	o 189
173.87/156.21	o 188
174.07/156.40	o 187
174.17/156.58	o 186
174.37/156.76	o 185
174.57/156.94	o 184
174.77/157.13	o 183
174.98/157.32	o 182
175.17/157.50	o 181
175.27/157.69	o 180
175.47/157.88	o 179
175.68/158.07	o 178
175.88/158.26	o 177
176.09/158.45	o 176
176.28/158.64	o 175
176.48/158.83	o 174
176.68/159.01	o 173
176.88/159.20	o 172
176.98/159.39	o 171
177.19/159.58	o 170
177.38/159.76	o 169
177.58/159.95	o 168
177.80/160.13	o 167
178.00/160.31	o 166
178.20/160.50	o 165
178.31/160.69	o 164
178.50/160.88	o 163
178.73/161.07	o 162
178.93/161.25	o 161
179.13/161.44	o 160
179.33/161.64	o 159
179.54/161.82	o 158
179.74/162.01	o 157
179.84/162.20	o 156
180.04/162.39	o 155
180.24/162.57	o 154
180.44/162.76	o 153
180.64/162.95	o 152
180.84/163.14	o 151
181.04/163.32	o 150
181.24/163.51	o 149
181.44/163.70	o 148
181.54/163.88	o 147
181.74/164.07	o 146
181.94/164.27	o 145
182.17/164.46	o 144
182.37/164.64	o 143
182.78/165.01	o 142
182.78/165.01	o 141
182.88/165.18	o 140
183.07/165.37	o 139
183.27/165.55	o 138
183.47/165.73	o 137
183.67/165.91	o 136
183.77/166.09	o 135
183.98/166.27	o 134
184.17/166.45	o 133
184.37/166.64	o 132
184.57/166.82	o 131
184.77/167.01	o 130
184.87/167.19	o 129
185.08/167.37	o 128
185.28/167.56	o 127
185.49/167.74	o 126
185.69/167.92	o 125
185.89/168.11	o 124
185.99/168.29	o 123
186.19/168.48	o 122
186.39/168.66	o 121
186.59/168.85	o 120
186.79/169.03	o 119
186.99/169.21	o 118
187.09/169.40	o 117
187.29/169.59	o 116
187.49/169.77	o 115
187.69/169.96	o 114
187.89/170.14	o 113
188.09/170.32	o 112
188.29/170.51	o 111
188.51/170.70	o 110
188.61/170.89	o 109
188.81/171.08	o 108
189.06/171.28	o 107
189.34/171.47	o 106
189.59/171.66	o 105
189.78/171.85	o 104
190.01/172.05	o 103
190.27/172.25	o 102
190.69/172.44	o 101
191.03/172.63	o 100
191.24/172.82	o 99
191.43/173.01	o 98
191.53/173.19	o 97
191.75/173.38	o 96
191.95/173.57	o 95
192.15/173.76	o 94
192.36/173.95	o 93
192.57/174.14	o 92
192.77/174.33	o 91
192.97/174.52	o 90
193.17/174.71	o 89
193.40/174.90	o 88
193.50/175.09	o 87
193.69/175.28	o 86
193.89/175.47	o 85
194.09/175.65	o 84
194.32/175.84	o 83
194.52/176.03	o 82
194.72/176.22	o 81
194.92/176.41	o 80
195.12/176.60	o 79
195.22/176.79	o 78
195.42/176.98	o 77
195.63/177.17	o 76
195.82/177.35	o 75
196.02/177.54	o 74
196.22/177.73	o 73
196.42/177.92	o 72
196.62/178.11	o 71
196.83/178.30	o 70
196.92/178.49	o 69
197.12/178.67	o 68
197.32/178.86	o 67
197.52/179.05	o 66
197.72/179.24	o 65
197.94/179.43	o 64
198.15/179.63	o 63
198.35/179.82	o 62
198.55/180.01	o 61
198.76/180.20	o 60
198.86/180.40	o 59
199.06/180.59	o 58
199.26/180.78	o 57
199.46/180.97	o 56
199.66/181.16	o 55
199.86/181.35	o 54
200.06/181.54	o 53
200.26/181.73	o 52
200.46/181.91	o 51
200.66/182.10	o 50
200.76/182.29	o 49
200.97/182.48	o 48
201.29/182.69	o 47
202.12/182.90	o 46
202.95/183.33	o 45
203.42/183.77	o 44
207.44/186.98	o 43
210.57/190.08	o 42
260.89/240.00	java.util.concurrent.TimeoutException
260.89/240.00		at concrete.MAC.mac(MAC.scala:74)
260.89/240.00		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:145)
260.89/240.00		at scala.util.Try$.apply(Try.scala:209)
260.89/240.00		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
260.89/240.00		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
260.89/240.00		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
260.89/240.00		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
260.89/240.00		at org.scalameter.Measurer$Default.measure(Measurer.scala:131)
260.89/240.00		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
260.89/240.00		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
260.89/240.00		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
260.89/240.00		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
260.89/240.00		at concrete.MAC.oneRun(MAC.scala:146)
260.89/240.00		at concrete.MAC.nextSolution(MAC.scala:166)
260.89/240.00		at concrete.MAC.$anonfun$nextSolution$2(MAC.scala:196)
260.89/240.00		at concrete.ProblemState.map(ProblemState.scala:203)
260.89/240.00		at concrete.ProblemState.map(ProblemState.scala:188)
260.89/240.00		at concrete.MAC.nextSolution(MAC.scala:195)
260.89/240.00		at concrete.Solver.hasNext(Solver.scala:202)
260.89/240.00		at scala.collection.Iterator.toStream(Iterator.scala:1403)
260.89/240.00		at scala.collection.Iterator.toStream$(Iterator.scala:1402)
260.89/240.00		at concrete.Solver.toStream(Solver.scala:73)
260.89/240.00		at scala.collection.Iterator.$anonfun$toStream$1(Iterator.scala:1403)
260.89/240.00		at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1169)
260.89/240.00		at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1159)
260.89/240.00		at scala.collection.immutable.Stream.foreach(Stream.scala:531)
260.89/240.00		at concrete.runner.ConcreteRunner.$anonfun$run$10(ConcreteRunner.scala:157)
260.89/240.00		at scala.util.Success.$anonfun$map$1(Try.scala:251)
260.89/240.00		at scala.util.Success.map(Try.scala:209)
260.89/240.00		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:154)
260.89/240.00		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:72)
260.89/240.00		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:17)
260.89/240.00		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:119)
260.89/240.00		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:17)
260.89/240.00		at scala.Function0.apply$mcV$sp(Function0.scala:34)
260.89/240.00		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
260.89/240.00		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
260.89/240.00		at scala.App.$anonfun$main$1$adapted(App.scala:76)
260.89/240.00		at scala.collection.immutable.List.foreach(List.scala:389)
260.89/240.00		at scala.App.main(App.scala:76)
260.89/240.00		at scala.App.main$(App.scala:74)
260.89/240.00		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:17)
260.89/240.00		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
260.89/240.01	v <instantiation cost="42">
260.89/240.01	v       <list>
260.89/240.01	v         x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[80] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] x[90] x[91] x[92] x[93] x[94] x[95] x[96] x[97] x[98] x[99] x[100] x[101] x[102] x[103] x[104] x[105] x[106] x[107] x[108] x[109] x[110] x[111] x[112] x[113] x[114] x[115] x[116] x[117] x[118] x[119] x[120] x[121] x[122] x[123] x[124] x[125] x[126] x[127] x[128] x[129] x[130] x[131] x[132] x[133] x[134] x[135] x[136] x[137] x[138] x[139] x[140] x[141] x[142] x[143] x[144] x[145] x[146] x[147] x[148] x[149] x[150] x[151] x[152] x[153] x[154] x[155] x[156] x[157] x[158] x[159] x[160] x[161] x[162] x[163] x[164] x[165] x[166] x[167] x[168] x[169] x[170] x[171] x[172] x[173] x[174] x[175] x[176] x[177] x[178] x[179] x[180] x[181] x[182] x[183] x[184] x[185] x[186] x[187] x[188] x[189] x[190] x[191] x[192] x[193] x[194] x[195] x[196] x[197] x[198] x[199] x[200] x[201] x[202] x[203] x[204] x[205] x[206] x[207] x[208] x[209] x[210] x[211] x[212] x[213] x[214] x[215] x[216] x[217] x[218] x[219] x[220] x[221] x[222] x[223] x[224] x[225] x[226] x[227] x[228] x[229] x[230] x[231] x[232] x[233] x[234] x[235] x[236] x[237] x[238] x[239] x[240] x[241] x[242] x[243] x[244] x[245] x[246] x[247] x[248] x[249] x[250] x[251] x[252] x[253] x[254] x[255] x[256] x[257] x[258] x[259] x[260] x[261] x[262] x[263] x[264] x[265] x[266] x[267] x[268] x[269] x[270] x[271] x[272] x[273] x[274] x[275] x[276] x[277] x[278] x[279] x[280] x[281] x[282] x[283] x[284] x[285] x[286] x[287] x[288] x[289] x[290] x[291] x[292] x[293] x[294] x[295] x[296] x[297] x[298] x[299] x[300] x[301] x[302] x[303] x[304] x[305] x[306] x[307] x[308] x[309] x[310] x[311] x[312] x[313] x[314] x[315] x[316] x[317] x[318] x[319] x[320] x[321] x[322] x[323] x[324] x[325] x[326] x[327] x[328] x[329] x[330] x[331] x[332] x[333] x[334] x[335] x[336] x[337] x[338] x[339] x[340] x[341] x[342] x[343] x[344] x[345] x[346] x[347] x[348] x[349] x[350] x[351] x[352] x[353] x[354] x[355] x[356] x[357] x[358] x[359] x[360] x[361] x[362] x[363] x[364] x[365] x[366] x[367] x[368] x[369] x[370] x[371] x[372] x[373] x[374] x[375] x[376] x[377] x[378] x[379] x[380] x[381] x[382] x[383] x[384] x[385] x[386] x[387] x[388] x[389] x[390] x[391] x[392] x[393] x[394] x[395] x[396] x[397] x[398] x[399] x[400] x[401] x[402] x[403] x[404] x[405] x[406] x[407] x[408] x[409] x[410] x[411] x[412] x[413] x[414] x[415] x[416] x[417] x[418] x[419] x[420] x[421] x[422] x[423] x[424] x[425] x[426] x[427] x[428] x[429] x[430] x[431] x[432] x[433] x[434] x[435] x[436] x[437] x[438] x[439] x[440] x[441] x[442] x[443] x[444] x[445] x[446] x[447] x[448] x[449] x[450] x[451] x[452] x[453] x[454] x[455] x[456] x[457] x[458] x[459] x[460] x[461] x[462] x[463] x[464] x[465] x[466] x[467] x[468] x[469] x[470] x[471] x[472] x[473] x[474] x[475] x[476] x[477] x[478] x[479] x[480] x[481] x[482] x[483] x[484] x[485] x[486] x[487] x[488] x[489] x[490] x[491] x[492] x[493] x[494] x[495] x[496] x[497] x[498] x[499] x[500] x[501] x[502] x[503] x[504] x[505] x[506] x[507] x[508] x[509] x[510] x[511] x[512] x[513] x[514] x[515] x[516] x[517] x[518] x[519] x[520] x[521] x[522] x[523] x[524] x[525] x[526] x[527] x[528] x[529] x[530] x[531] x[532] x[533] x[534] x[535] x[536] x[537] x[538] x[539] x[540] x[541] x[542] x[543] x[544] x[545] x[546] x[547] x[548] x[549] x[550] x[551] x[552] x[553] x[554] x[555] x[556] x[557] x[558] x[559] x[560] x[561] x[562] x[563] x[564] x[565] x[566] x[567] x[568] x[569] x[570] x[571] x[572] x[573] x[574] x[575] x[576] x[577] x[578] x[579] x[580] x[581] x[582] x[583] x[584] x[585] x[586] x[587] x[588] x[589] x[590] x[591] x[592] x[593] x[594] x[595] x[596] x[597] x[598] x[599] x[600] x[601] x[602] x[603] x[604] x[605] x[606] x[607] x[608] x[609] x[610] x[611] x[612] x[613] x[614] x[615] x[616] x[617] x[618] x[619] x[620] x[621] x[622] x[623] x[624] x[625] x[626] x[627] x[628] x[629] x[630] x[631] x[632] x[633] x[634] x[635] x[636] x[637] x[638] x[639] x[640] x[641] x[642] x[643] x[644] x[645] x[646] x[647] x[648] x[649] x[650] x[651] x[652] x[653] x[654] x[655] x[656] x[657] x[658] x[659] x[660] x[661] x[662] x[663] x[664] x[665] x[666] x[667] x[668] x[669] x[670] x[671] x[672] x[673] x[674] x[675] x[676] x[677] x[678] x[679] x[680] x[681] x[682] x[683] x[684] x[685] x[686] x[687] x[688] x[689] x[690] x[691] x[692] x[693] x[694] x[695] x[696] x[697] x[698] x[699] x[700] x[701] x[702] x[703] x[704] x[705] x[706] x[707] x[708] x[709] x[710] x[711] x[712] x[713] x[714] x[715] x[716] x[717] x[718] x[719] x[720] x[721] x[722] x[723] x[724] x[725] x[726] x[727] x[728] x[729] x[730] x[731] x[732] x[733] x[734] x[735] x[736] x[737] x[738] x[739] x[740] x[741] x[742] x[743] x[744] x[745] x[746] x[747] x[748] x[749] x[750] x[751] x[752] x[753] x[754] x[755] x[756] x[757] x[758] x[759] x[760] x[761] x[762] x[763] x[764] x[765] x[766] x[767] x[768] x[769] x[770] x[771] x[772] x[773] x[774] x[775] x[776] x[777] x[778] x[779] x[780] x[781] x[782] x[783] x[784] x[785] x[786] x[787] x[788] x[789] x[790] x[791] x[792] x[793] x[794] x[795] x[796] x[797] x[798] x[799] x[800] x[801] x[802] x[803] x[804] x[805] x[806] x[807] x[808] x[809] x[810] x[811] x[812] x[813] x[814] x[815] x[816] x[817] x[818] x[819] x[820] x[821] x[822] x[823] x[824] x[825] x[826] x[827] x[828] x[829] x[830] x[831] x[832] x[833] x[834] x[835] x[836] x[837] x[838] x[839] x[840] x[841] x[842] x[843] x[844] x[845] x[846] x[847] x[848] x[849] x[850] x[851] x[852] x[853] x[854] x[855] x[856] x[857] x[858] x[859] x[860] x[861] x[862] x[863] x[864] x[865] x[866] x[867] x[868] x[869] x[870] x[871] x[872] x[873] x[874] x[875] x[876] x[877] x[878] x[879] x[880] x[881] x[882] x[883] x[884] x[885] x[886] x[887] x[888] x[889] x[890] x[891] x[892] x[893] x[894] x[895] x[896] x[897] x[898] x[899] x[900] x[901] x[902] x[903] x[904] x[905] x[906] x[907] x[908] x[909] x[910] x[911] x[912] x[913] x[914] x[915] x[916] x[917] x[918] x[919] x[920] x[921] x[922] x[923] x[924] x[925] x[926] x[927] x[928] x[929] x[930] x[931] x[932] x[933] x[934] x[935] x[936] x[937] x[938] x[939] x[940] x[941] x[942] x[943] x[944] x[945] x[946]
260.89/240.01	v       </list>
260.89/240.01	v       <values>
260.89/240.01	v         7 36 1 11 34 16 38 23 36 39 17 30 29 21 26 27 30 28 34 22 35 32 6 23 28 28 26 39 22 26 30 33 42 25 17 22 16 9 25 22 36 17 27 35 32 40 42 33 26 20 33 23 35 10 41 39 28 29 26 29 27 42 28 36 22 10 42 24 38 39 12 20 37 11 15 28 35 19 27 12 42 38 33 42 39 29 35 39 42 42 34 24 37 29 35 19 32 21 34 15 33 24 30 8 24 36 22 3 42 36 41 37 39 14 35 32 12 18 27 28 19 5 19 27 31 29 30 40 15 7 7 41 40 39 39 19 34 37 33 21 28 42 20 36 27 35 36 40 17 14 30 35 16 41 38 19 25 15 34 41 24 15 37 18 9 38 28 42 25 36 40 36 17 29 24 32 18 34 20 36 15 40 38 42 40 38 42 40 26 36 39 17 35 38 27 23 28 24 40 42 22 1 27 17 12 41 37 16 32 38 21 23 31 16 20 23 21 42 12 4 34 13 25 37 31 5 27 19 23 40 9 31 35 36 26 24 42 31 33 8 40 38 42 41 26 15 11 42 32 20 34 29 19 37 4 37 20 42 30 1 34 41 22 20 41 42 23 33 26 5 42 25 4 19 15 30 14 10 23 33 18 41 13 40 30 39 36 22 20 41 12 4 21 37 36 31 4 14 41 18 23 33 29 17 9 7 42 30 7 42 23 23 41 25 12 24 15 25 13 4 36 39 41 31 13 1 37 30 25 32 6 36 17 31 24 11 41 19 42 26 13 32 21 28 40 7 2 30 37 31 35 24 9 14 6 26 25 32 32 12 37 12 40 2 34 5 10 25 30 35 17 30 38 27 38 19 15 14 3 1 27 19 13 0 34 5 0 6 3 22 40 3 12 13 18 21 10 0 29 42 27 15 24 16 19 42 9 34 20 15 38 30 41 32 17 37 1 0 31 42 38 5 11 33 30 33 33 32 29 24 26 14 12 37 20 22 8 40 10 15 20 12 4 19 33 33 24 0 27 4 36 32 22 14 6 18 32 22 2 2 41 37 22 7 41 33 11 27 39 15 26 20 34 34 11 31 19 14 4 9 42 7 3 7 16 28 15 34 31 28 36 37 37 19 12 2 16 23 29 26 12 32 11 34 8 39 16 13 14 6 11 0 28 9 7 6 8 4 10 8 3 8 6 17 29 15 25 5 13 2 27 13 1 11 11 37 22 0 33 5 7 40 14 26 3 30 10 10 40 6 4 26 28 12 16 20 39 17 20 5 40 1 41 41 23 7 9 24 23 10 16 2 41 32 3 19 11 13 4 31 13 1 42 23 12 35 36 33 9 25 9 4 1 20 27 11 31 16 19 21 36 23 19 21 27 41 39 15 38 3 17 4 13 32 17 9 38 37 20 31 16 28 37 29 42 3 39 22 29 2 20 21 7 13 26 26 1 39 7 39 35 24 21 27 17 2 6 33 2 18 10 25 41 2 11 28 29 24 32 41 8 32 4 40 17 18 8 28 25 20 38 42 25 2 5 40 4 40 22 15 11 26 41 29 26 9 1 36 27 25 2 28 42 38 35 9 6 7 8 25 31 21 28 5 28 38 33 13 23 14 8 19 15 37 38 10 14 34 21 42 2 38 16 24 14 10 37 21 21 22 9 19 18 21 1 12 6 22 9 36 27 40 10 8 28 22 10 15 3 0 7 16 19 13 11 15 33 0 29 27 21 20 24 19 0 41 11 9 37 41 24 42 14 27 17 1 27 39 35 16 8 35 17 23 40 8 13 32 36 29 42 13 30 20 12 39 18 30 39 34 40 37 36 32 3 37 33 19 17 32 11 31 27 4 18 15 39 24 23 24 25 28 20 29 36 10 24 31 21 1 3 29 26 23 18 32 30 13 31 33 35 38 36 35 10 32 40 7 42 30 15 34 6 30 33 23 9 28 35 16 3 5 30 26 4 26 36 38 30 0 33 14 42 21 19 12 0 17 34 29 34 5 31 39 31 12 22 25 16 35 17 29 39 35 18 6 5 14 20 18 24 38 40 41 34 22 27 41 22 20 42 31 41 36 29 39 28 26 28 34 36 21 42 40 30 4 10 13 38 32 30 5 34 27 37 0 18 35 37 40 25 16 38 22 29 31 33
260.89/240.01	v       </values>
260.89/240.01	v     </instantiation>
260.89/240.01	s SATISFIABLE

Verifier Data 

OK	42

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-4259526-1501646543/watcher-4259526-1501646543 -o /tmp/evaluation-result-4259526-1501646543/solver-4259526-1501646543 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node135-1501639717-27967 --watchdog 300 bin/concrete HOME/instance-4259526-1501646543.xml 

pid=3244
running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 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: 2.06 1.83 1.74 4/199 3247
/proc/meminfo: memFree=28998740/32770624 swapFree=0/242412
[pid=3247] ppid=3244 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/3247/stat : 3247 (runsolver) D 3244 3247 3187 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 6564910 24240128 107 18446744073709551615 4194304 4338465 140732381095056 140732381092696 140690263446231 0 0 1 24578 18446744071580418449 0 0 17 5 0 0 0 0 0 6438912 6441760 35188736 140732381098193 140732381098567 140732381098567 140732381102026 0
/proc/3247/statm: 5918 107 54 36 0 2156 0

[startup+0.100062 s]
/proc/loadavg: 2.06 1.83 1.74 4/199 3247
/proc/meminfo: memFree=28998740/32770624 swapFree=0/242412
[pid=3247] ppid=3244 vsize=9508 CPUtime=0 cores=1,3,5,7
/proc/3247/stat : 3247 (bash) S 3244 3247 3187 0 -1 4202496 650 0 0 0 0 0 0 0 20 0 1 0 6564910 9736192 352 18446744073709551615 4194304 5098028 140728739776048 140728739773688 140430206774272 0 0 5 65536 18446744071580971376 0 0 17 1 0 0 9 0 0 7196144 7232144 14012416 140728739779090 140728739779175 140728739779175 140728739782634 0
/proc/3247/statm: 2377 352 279 221 0 86 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9508

[startup+0.200428 s]
/proc/loadavg: 2.06 1.83 1.74 4/199 3247
/proc/meminfo: memFree=28998740/32770624 swapFree=0/242412
[pid=3247] ppid=3244 vsize=10652 CPUtime=0.08 cores=1,3,5,7
/proc/3247/stat : 3247 (java) R 3244 3247 3187 0 -1 4202496 1164 12646 0 0 0 0 5 3 20 0 1 0 6564910 10907648 166 18446744073709551615 4194304 4196468 140724388391344 140724388369544 139914539702800 0 0 1 0 0 0 0 17 1 0 0 9 0 0 6293624 6294260 21913600 140724388399054 140724388401839 140724388401839 140724388405199 0
/proc/3247/statm: 2919 166 132 1 0 341 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 10652

[startup+0.30028 s]
/proc/loadavg: 2.06 1.83 1.74 4/199 3247
/proc/meminfo: memFree=28998740/32770624 swapFree=0/242412
[pid=3247] ppid=3244 vsize=13974116 CPUtime=0.16 cores=1,3,5,7
/proc/3247/stat : 3247 (java) S 3244 3247 3187 0 -1 1077944320 6083 12646 0 0 7 1 5 3 20 0 15 0 6564910 14309494784 6782 18446744073709551615 4194304 4196468 140724388391344 140724388373888 139914547023607 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 9 0 0 6293624 6294260 21913600 140724388399054 140724388401839 140724388401839 140724388405199 0
/proc/3247/statm: 3493529 6782 2738 1 0 3482973 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 13974116

[startup+0.700276 s]
/proc/loadavg: 2.06 1.83 1.74 4/199 3247
/proc/meminfo: memFree=28998740/32770624 swapFree=0/242412
[pid=3247] ppid=3244 vsize=13974784 CPUtime=0.71 cores=1,3,5,7
/proc/3247/stat : 3247 (java) S 3244 3247 3187 0 -1 1077944320 13944 12646 0 0 59 4 5 3 20 0 15 0 6564910 14310178816 14846 18446744073709551615 4194304 4196468 140724388391344 140724388373888 139914547023607 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 9 0 0 6293624 6294260 21913600 140724388399054 140724388401839 140724388401839 140724388405199 0
/proc/3247/statm: 3493696 14846 3101 1 0 3482973 0
Current children cumulated CPU time (s) 0.71
Current children cumulated vsize (KiB) 13974784

[startup+1.50778 s]
/proc/loadavg: 2.06 1.83 1.74 4/214 3311
/proc/meminfo: memFree=28899568/32770624 swapFree=0/242920
[pid=3247] ppid=3244 vsize=13985408 CPUtime=1.96 cores=1,3,5,7
/proc/3247/stat : 3247 (java) S 3244 3247 3187 0 -1 1077944320 29773 12646 0 0 179 9 5 3 20 0 15 0 6564910 14321057792 43211 18446744073709551615 4194304 4196468 140724388391344 140724388373888 139914547023607 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 9 0 0 6293624 6294260 21913600 140724388399054 140724388401839 140724388401839 140724388405199 0
/proc/3247/statm: 3496352 43211 3365 1 0 3485533 0
[pid=3247/tid=3298] ppid=3244 vsize=13985408 CPUtime=1.31 cores=1,3,5,7
/proc/3247/task/3298/stat : 3298 (java) R 3244 3247 3187 0 -1 4202560 22609 12646 0 0 117 6 5 3 20 0 15 0 6564930 14321057792 43211 18446744073709551615 4194304 4196468 140724388391344 139914551243760 139914146512964 0 4 1 16800974 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 21913600 140724388399054 140724388401839 140724388401839 140724388405199 0
[pid=3247/tid=3299] ppid=3244 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/3247/task/3299/stat : 3299 (java) S 3244 3247 3187 0 -1 1077944384 182 12646 0 0 0 0 5 3 20 0 15 0 6564931 14321057792 43211 18446744073709551615 4194304 4196468 140724388391344 139914466437392 139914547033813 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21913600 140724388399054 140724388401839 140724388401839 140724388405199 0
[pid=3247/tid=3300] ppid=3244 vsize=13985408 CPUtime=0.09 cores=1,3,5,7
/proc/3247/task/3300/stat : 3300 (java) S 3244 3247 3187 0 -1 1077944384 40 12646 0 0 1 0 5 3 20 0 15 0 6564931 14321057792 43211 18446744073709551615 4194304 4196468 140724388391344 139914146474384 139914547033813 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21913600 140724388399054 140724388401839 140724388401839 140724388405199 0
[pid=3247/tid=3301] ppid=3244 vsize=13985408 CPUtime=0.09 cores=1,3,5,7
/proc/3247/task/3301/stat : 3301 (java) S 3244 3247 3187 0 -1 1077944384 60 12646 0 0 1 0 5 3 20 0 15 0 6564931 14321057792 43211 18446744073709551615 4194304 4196468 140724388391344 139914145421840 139914547033813 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21913600 140724388399054 140724388401839 140724388401839 140724388405199 0
[pid=3247/tid=3302] ppid=3244 vsize=13985408 CPUtime=0.09 cores=1,3,5,7
/proc/3247/task/3302/stat : 3302 (java) S 3244 3247 3187 0 -1 1077944384 65 12646 0 0 1 0 5 3 20 0 15 0 6564931 14321057792 43211 18446744073709551615 4194304 4196468 140724388391344 139914144369296 139914547033813 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21913600 140724388399054 140724388401839 140724388401839 140724388405199 0
[pid=3247/tid=3303] ppid=3244 vsize=13985408 CPUtime=0.09 cores=1,3,5,7
/proc/3247/task/3303/stat : 3303 (java) S 3244 3247 3187 0 -1 1077944384 1285 12646 0 0 1 0 5 3 20 0 15 0 6564932 14321057792 43211 18446744073709551615 4194304 4196468 140724388391344 139914025322992 139914547034754 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21913600 140724388399054 140724388401839 140724388401839 140724388405199 0
[pid=3247/tid=3304] ppid=3244 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/3247/task/3304/stat : 3304 (java) S 3244 3247 3187 0 -1 1077944384 55 12646 0 0 0 0 5 3 20 0 15 0 6564932 14321057792 43211 18446744073709551615 4194304 4196468 140724388391344 139914024269280 139914547033813 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21913600 140724388399054 140724388401839 140724388401839 140724388405199 0
[pid=3247/tid=3305] ppid=3244 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/3247/task/3305/stat : 3305 (java) S 3244 3247 3187 0 -1 1077944384 45 12646 0 0 0 0 5 3 20 0 15 0 6564932 14321057792 43211 18446744073709551615 4194304 4196468 140724388391344 139914023216640 139914547033813 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21913600 140724388399054 140724388401839 140724388401839 140724388405199 0
[pid=3247/tid=3306] ppid=3244 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/3247/task/3306/stat : 3306 (java) S 3244 3247 3187 0 -1 1077944384 3 12646 0 0 0 0 5 3 20 0 15 0 6564935 14321057792 43211 18446744073709551615 4194304 4196468 140724388391344 139914022165200 139914547042203 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21913600 140724388399054 140724388401839 140724388401839 140724388405199 0
[pid=3247/tid=3307] ppid=3244 vsize=13985408 CPUtime=0.21 cores=1,3,5,7
/proc/3247/task/3307/stat : 3307 (java) R 3244 3247 3187 0 -1 4202560 974 12646 0 0 13 0 5 3 20 0 15 0 6564935 14321057792 43211 18446744073709551615 4194304 4196468 140724388391344 139914021101056 139914530519793 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21913600 140724388399054 140724388401839 140724388401839 140724388405199 0
[pid=3247/tid=3308] ppid=3244 vsize=13985408 CPUtime=0.26 cores=1,3,5,7
/proc/3247/task/3308/stat : 3308 (java) R 3244 3247 3187 0 -1 4202560 909 12646 0 0 18 0 5 3 20 0 15 0 6564935 14321057792 43211 18446744073709551615 4194304 4196468 140724388391344 139914020045792 139914528544729 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21913600 140724388399054 140724388401839 140724388401839 140724388405199 0
[pid=3247/tid=3309] ppid=3244 vsize=13985408 CPUtime=0.31 cores=1,3,5,7
/proc/3247/task/3309/stat : 3309 (java) S 3244 3247 3187 0 -1 1077944384 1378 12646 0 0 23 0 5 3 20 0 15 0 6564935 14321057792 43211 18446744073709551615 4194304 4196468 140724388391344 139914019006704 139914547034754 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21913600 140724388399054 140724388401839 140724388401839 140724388405199 0
[pid=3247/tid=3310] ppid=3244 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/3247/task/3310/stat : 3310 (java) S 3244 3247 3187 0 -1 1077944384 3 12646 0 0 0 0 5 3 20 0 15 0 6564935 14321057792 43211 18446744073709551615 4194304 4196468 140724388391344 139914017954400 139914547033813 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21913600 140724388399054 140724388401839 140724388401839 140724388405199 0
[pid=3247/tid=3311] ppid=3244 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/3247/task/3311/stat : 3311 (java) S 3244 3247 3187 0 -1 1077944384 10 12646 0 0 0 0 5 3 20 0 15 0 6564938 14321057792 43211 18446744073709551615 4194304 4196468 140724388391344 139914016901936 139914547034754 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21913600 140724388399054 140724388401839 140724388401839 140724388405199 0
Current children cumulated CPU time (s) 1.96
Current children cumulated vsize (KiB) 13985408

[startup+3.10096 s]
/proc/loadavg: 2.06 1.83 1.74 3/214 3311
/proc/meminfo: memFree=28825736/32770624 swapFree=0/242920
[pid=3247] ppid=3244 vsize=13995836 CPUtime=6.17 cores=1,3,5,7
/proc/3247/stat : 3247 (java) S 3244 3247 3187 0 -1 1077944320 39870 12646 0 0 591 18 5 3 20 0 15 0 6564910 14331736064 76243 18446744073709551615 4194304 4196468 140724388391344 140724388373888 139914547023607 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 9 0 0 6293624 6294260 21913600 140724388399054 140724388401839 140724388401839 140724388405199 0
/proc/3247/statm: 3498959 76243 3455 1 0 3487581 0
[pid=3247/tid=3298] ppid=3244 vsize=13995836 CPUtime=2.85 cores=1,3,5,7
/proc/3247/task/3298/stat : 3298 (java) R 3244 3247 3187 0 -1 4202560 26866 12646 0 0 268 9 5 3 20 0 15 0 6564930 14331736064 76243 18446744073709551615 4194304 4196468 140724388391344 139914551257600 139914530398007 0 4 1 16800974 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 21913600 140724388399054 140724388401839 140724388401839 140724388405199 0
[pid=3247/tid=3299] ppid=3244 vsize=13995836 CPUtime=0.12 cores=1,3,5,7
/proc/3247/task/3299/stat : 3299 (java) S 3244 3247 3187 0 -1 1077944384 251 12646 0 0 3 1 5 3 20 0 15 0 6564931 14331736064 76243 18446744073709551615 4194304 4196468 140724388391344 139914466437392 139914547033813 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21913600 140724388399054 140724388401839 140724388401839 140724388405199 0
[pid=3247/tid=3300] ppid=3244 vsize=13995836 CPUtime=0.11 cores=1,3,5,7
/proc/3247/task/3300/stat : 3300 (java) S 3244 3247 3187 0 -1 1077944384 111 12646 0 0 3 0 5 3 20 0 15 0 6564931 14331736064 76243 18446744073709551615 4194304 4196468 140724388391344 139914146474384 139914547033813 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21913600 140724388399054 140724388401839 140724388401839 140724388405199 0
[pid=3247/tid=3301] ppid=3244 vsize=13995836 CPUtime=0.13 cores=1,3,5,7
/proc/3247/task/3301/stat : 3301 (java) S 3244 3247 3187 0 -1 1077944384 330 12646 0 0 4 1 5 3 20 0 15 0 6564931 14331736064 76243 18446744073709551615 4194304 4196468 140724388391344 139914145421840 139914547033813 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21913600 140724388399054 140724388401839 140724388401839 140724388405199 0
[pid=3247/tid=3302] ppid=3244 vsize=13995836 CPUtime=0.12 cores=1,3,5,7
/proc/3247/task/3302/stat : 3302 (java) S 3244 3247 3187 0 -1 1077944384 137 12646 0 0 3 1 5 3 20 0 15 0 6564931 14331736064 76243 18446744073709551615 4194304 4196468 140724388391344 139914144369296 139914547033813 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21913600 140724388399054 140724388401839 140724388401839 140724388405199 0
[pid=3247/tid=3303] ppid=3244 vsize=13995836 CPUtime=0.09 cores=1,3,5,7
/proc/3247/task/3303/stat : 3303 (java) S 3244 3247 3187 0 -1 1077944384 1379 12646 0 0 1 0 5 3 20 0 15 0 6564932 14331736064 76243 18446744073709551615 4194304 4196468 140724388391344 139914025322992 139914547034754 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21913600 140724388399054 140724388401839 140724388401839 140724388405199 0
[pid=3247/tid=3304] ppid=3244 vsize=13995836 CPUtime=0.08 cores=1,3,5,7
/proc/3247/task/3304/stat : 3304 (java) S 3244 3247 3187 0 -1 1077944384 55 12646 0 0 0 0 5 3 20 0 15 0 6564932 14331736064 76243 18446744073709551615 4194304 4196468 140724388391344 139914024269280 139914547033813 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21913600 140724388399054 140724388401839 140724388401839 140724388405199 0
[pid=3247/tid=3305] ppid=3244 vsize=13995836 CPUtime=0.08 cores=1,3,5,7
/proc/3247/task/3305/stat : 3305 (java) S 3244 3247 3187 0 -1 1077944384 45 12646 0 0 0 0 5 3 20 0 15 0 6564932 14331736064 76243 18446744073709551615 4194304 4196468 140724388391344 139914023216640 139914547033813 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21913600 140724388399054 140724388401839 140724388401839 140724388405199 0
[pid=3247/tid=3306] ppid=3244 vsize=13995836 CPUtime=0.08 cores=1,3,5,7
/proc/3247/task/3306/stat : 3306 (java) S 3244 3247 3187 0 -1 1077944384 3 12646 0 0 0 0 5 3 20 0 15 0 6564935 14331736064 76243 18446744073709551615 4194304 4196468 140724388391344 139914022165200 139914547042203 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21913600 140724388399054 140724388401839 140724388401839 140724388405199 0
[pid=3247/tid=3307] ppid=3244 vsize=13995836 CPUtime=1.11 cores=1,3,5,7
/proc/3247/task/3307/stat : 3307 (java) S 3244 3247 3187 0 -1 1077944384 2721 12646 0 0 103 0 5 3 20 0 15 0 6564935 14331736064 76243 18446744073709551615 4194304 4196468 140724388391344 139914021111792 139914547034754 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21913600 140724388399054 140724388401839 140724388401839 140724388405199 0
[pid=3247/tid=3308] ppid=3244 vsize=13995836 CPUtime=1.24 cores=1,3,5,7
/proc/3247/task/3308/stat : 3308 (java) R 3244 3247 3187 0 -1 4202560 2219 12646 0 0 116 0 5 3 20 0 15 0 6564935 14331736064 76243 18446744073709551615 4194304 4196468 140724388391344 139914020040448 139914531416031 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21913600 140724388399054 140724388401839 140724388401839 140724388405199 0
[pid=3247/tid=3309] ppid=3244 vsize=13995836 CPUtime=0.94 cores=1,3,5,7
/proc/3247/task/3309/stat : 3309 (java) R 3244 3247 3187 0 -1 4202560 3582 12646 0 0 85 1 5 3 20 0 15 0 6564935 14331736064 76243 18446744073709551615 4194304 4196468 140724388391344 139914019003640 139914525962177 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21913600 140724388399054 140724388401839 140724388401839 140724388405199 0
[pid=3247/tid=3310] ppid=3244 vsize=13995836 CPUtime=0.08 cores=1,3,5,7
/proc/3247/task/3310/stat : 3310 (java) S 3244 3247 3187 0 -1 1077944384 3 12646 0 0 0 0 5 3 20 0 15 0 6564935 14331736064 76243 18446744073709551615 4194304 4196468 140724388391344 139914017954400 139914547033813 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21913600 140724388399054 140724388401839 140724388401839 140724388405199 0
[pid=3247/tid=3311] ppid=3244 vsize=13995836 CPUtime=0.08 cores=1,3,5,7
/proc/3247/task/3311/stat : 3311 (java) S 3244 3247 3187 0 -1 1077944384 13 12646 0 0 0 0 5 3 20 0 15 0 6564938 14331736064 76243 18446744073709551615 4194304 4196468 140724388391344 139914016901936 139914547034754 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21913600 140724388399054 140724388401839 140724388401839 140724388405199 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 13995836

[startup+6.30083 s]
/proc/loadavg: 2.06 1.83 1.74 3/214 3311
/proc/meminfo: memFree=28494884/32770624 swapFree=0/242920
[pid=3247] ppid=3244 vsize=13997884 CPUtime=14.09 cores=1,3,5,7
/proc/3247/stat : 3247 (java) S 3244 3247 3187 0 -1 1077944320 53699 12646 0 0 1350 51 5 3 20 0 15 0 6564910 14333833216 176561 18446744073709551615 4194304 4196468 140724388391344 140724388373888 139914547023607 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 9 0 0 6293624 6294260 21913600 140724388399054 140724388401839 140724388401839 140724388405199 0
/proc/3247/statm: 3499471 176561 3469 1 0 3488093 0
[pid=3247/tid=3298] ppid=3244 vsize=13997884 CPUtime=5.82 cores=1,3,5,7
/proc/3247/task/3298/stat : 3298 (java) R 3244 3247 3187 0 -1 4202560 29092 12646 0 0 562 12 5 3 20 0 15 0 6564930 14333833216 176561 18446744073709551615 4194304 4196468 140724388391344 139914551257712 139914146817538 0 4 1 16800974 0 0 0 -1 7 0 0 2 0 0 6293624 6294260 21913600 140724388399054 140724388401839 140724388401839 140724388405199 0
[pid=3247/tid=3299] ppid=3244 vsize=13997884 CPUtime=0.33 cores=1,3,5,7
/proc/3247/task/3299/stat : 3299 (java) S 3244 3247 3187 0 -1 1077944384 1056 12646 0 0 17 8 5 3 20 0 15 0 6564931 14333833216 176561 18446744073709551615 4194304 4196468 140724388391344 139914466437392 139914547033813 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21913600 140724388399054 140724388401839 140724388401839 140724388405199 0
[pid=3247/tid=3300] ppid=3244 vsize=13997884 CPUtime=0.33 cores=1,3,5,7
/proc/3247/task/3300/stat : 3300 (java) S 3244 3247 3187 0 -1 1077944384 475 12646 0 0 18 7 5 3 20 0 15 0 6564931 14333833216 176561 18446744073709551615 4194304 4196468 140724388391344 139914146474384 139914547033813 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21913600 140724388399054 140724388401839 140724388401839 140724388405199 0
[pid=3247/tid=3301] ppid=3244 vsize=13997884 CPUtime=0.34 cores=1,3,5,7
/proc/3247/task/3301/stat : 3301 (java) S 3244 3247 3187 0 -1 1077944384 572 12646 0 0 18 8 5 3 20 0 15 0 6564931 14333833216 176561 18446744073709551615 4194304 4196468 140724388391344 139914145421840 139914547033813 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21913600 140724388399054 140724388401839 140724388401839 140724388405199 0
[pid=3247/tid=3302] ppid=3244 vsize=13997884 CPUtime=0.34 cores=1,3,5,7
/proc/3247/task/3302/stat : 3302 (java) S 3244 3247 3187 0 -1 1077944384 575 12646 0 0 18 8 5 3 20 0 15 0 6564931 14333833216 176561 18446744073709551615 4194304 4196468 140724388391344 139914144369296 139914547033813 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21913600 140724388399054 140724388401839 140724388401839 140724388405199 0
[pid=3247/tid=3303] ppid=3244 vsize=13997884 CPUtime=0.1 cores=1,3,5,7
/proc/3247/task/3303/stat : 3303 (java) S 3244 3247 3187 0 -1 1077944384 1678 12646 0 0 2 0 5 3 20 0 15 0 6564932 14333833216 176561 18446744073709551615 4194304 4196468 140724388391344 139914025322992 139914547034754 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21913600 140724388399054 140724388401839 140724388401839 140724388405199 0
[pid=3247/tid=3304] ppid=3244 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/3247/task/3304/stat : 3304 (java) S 3244 3247 3187 0 -1 1077944384 55 12646 0 0 0 0 5 3 20 0 15 0 6564932 14333833216 176561 18446744073709551615 4194304 4196468 140724388391344 139914024269280 139914547033813 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21913600 140724388399054 140724388401839 140724388401839 140724388405199 0
[pid=3247/tid=3305] ppid=3244 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/3247/task/3305/stat : 3305 (java) S 3244 3247 3187 0 -1 1077944384 45 12646 0 0 0 0 5 3 20 0 15 0 6564932 14333833216 176561 18446744073709551615 4194304 4196468 140724388391344 139914023216640 139914547033813 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21913600 140724388399054 140724388401839 140724388401839 140724388405199 0
[pid=3247/tid=3306] ppid=3244 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/3247/task/3306/stat : 3306 (java) S 3244 3247 3187 0 -1 1077944384 3 12646 0 0 0 0 5 3 20 0 15 0 6564935 14333833216 176561 18446744073709551615 4194304 4196468 140724388391344 139914022165200 139914547042203 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21913600 140724388399054 140724388401839 140724388401839 140724388405199 0
[pid=3247/tid=3307] ppid=3244 vsize=13997884 CPUtime=2.91 cores=1,3,5,7
/proc/3247/task/3307/stat : 3307 (java) S 3244 3247 3187 0 -1 1077944384 5486 12646 0 0 282 1 5 3 20 0 15 0 6564935 14333833216 176561 18446744073709551615 4194304 4196468 140724388391344 139914021111792 139914547034754 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21913600 140724388399054 140724388401839 140724388401839 140724388405199 0
[pid=3247/tid=3308] ppid=3244 vsize=13997884 CPUtime=3.06 cores=1,3,5,7
/proc/3247/task/3308/stat : 3308 (java) S 3244 3247 3187 0 -1 1077944384 4910 12646 0 0 297 1 5 3 20 0 15 0 6564935 14333833216 176561 18446744073709551615 4194304 4196468 140724388391344 139914020059248 139914547034754 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21913600 140724388399054 140724388401839 140724388401839 140724388405199 0
[pid=3247/tid=3309] ppid=3244 vsize=13997884 CPUtime=1.41 cores=1,3,5,7
/proc/3247/task/3309/stat : 3309 (java) S 3244 3247 3187 0 -1 1077944384 7549 12646 0 0 131 2 5 3 20 0 15 0 6564935 14333833216 176561 18446744073709551615 4194304 4196468 140724388391344 139914019006704 139914547034754 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21913600 140724388399054 140724388401839 140724388401839 140724388405199 0
[pid=3247/tid=3310] ppid=3244 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/3247/task/3310/stat : 3310 (java) S 3244 3247 3187 0 -1 1077944384 3 12646 0 0 0 0 5 3 20 0 15 0 6564935 14333833216 176561 18446744073709551615 4194304 4196468 140724388391344 139914017954400 139914547033813 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21913600 140724388399054 140724388401839 140724388401839 140724388405199 0
[pid=3247/tid=3311] ppid=3244 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/3247/task/3311/stat : 3311 (java) S 3244 3247 3187 0 -1 1077944384 45 12646 0 0 0 0 5 3 20 0 15 0 6564938 14333833216 176561 18446744073709551615 4194304 4196468 140724388391344 139914016901936 139914547034754 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21913600 140724388399054 140724388401839 140724388401839 140724388405199 0
Current children cumulated CPU time (s) 14.09
Current children cumulated vsize (KiB) 13997884

[startup+12.7008 s]
/proc/loadavg: 1.97 1.82 1.73 4/214 3311
/proc/meminfo: memFree=27594420/32770624 swapFree=0/242944
[pid=3247] ppid=3244 vsize=14001980 CPUtime=28.47 cores=1,3,5,7
/proc/3247/stat : 3247 (java) S 3244 3247 3187 0 -1 1077944320 94834 12646 0 0 2762 77 5 3 20 0 15 0 6564910 14338027520 354091 18446744073709551615 4194304 4196468 140724388391344 140724388373888 139914547023607 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 9 0 0 6293624 6294260 21913600 140724388399054 140724388401839 140724388401839 140724388405199 0
/proc/3247/statm: 3500495 354091 3481 1 0 3489117 0
[pid=3247/tid=3298] ppid=3244 vsize=14001980 CPUtime=11.71 cores=1,3,5,7
/proc/3247/task/3298/stat : 3298 (java) R 3244 3247 3187 0 -1 4202560 45215 12646 0 0 1143 20 5 3 20 0 15 0 6564930 14338027520 354091 18446744073709551615 4194304 4196468 140724388391344 139914551252176 139914165008351 0 4 1 16800974 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 21913600 140724388399054 140724388401839 140724388401839 140724388405199 0
[pid=3247/tid=3299] ppid=3244 vsize=14001980 CPUtime=0.66 cores=1,3,5,7
/proc/3247/task/3299/stat : 3299 (java) S 3244 3247 3187 0 -1 1077944384 1474 12646 0 0 46 12 5 3 20 0 15 0 6564931 14338027520 354091 18446744073709551615 4194304 4196468 140724388391344 139914466437392 139914547033813 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21913600 140724388399054 140724388401839 140724388401839 140724388405199 0
[pid=3247/tid=3300] ppid=3244 vsize=14001980 CPUtime=0.68 cores=1,3,5,7
/proc/3247/task/3300/stat : 3300 (java) S 3244 3247 3187 0 -1 1077944384 751 12646 0 0 49 11 5 3 20 0 15 0 6564931 14338027520 354091 18446744073709551615 4194304 4196468 140724388391344 139914146474384 139914547033813 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21913600 140724388399054 140724388401839 140724388401839 140724388405199 0
[pid=3247/tid=3301] ppid=3244 vsize=14001980 CPUtime=0.69 cores=1,3,5,7
/proc/3247/task/3301/stat : 3301 (java) S 3244 3247 3187 0 -1 1077944384 897 12646 0 0 49 12 5 3 20 0 15 0 6564931 14338027520 354091 18446744073709551615 4194304 4196468 140724388391344 139914145421840 139914547033813 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21913600 140724388399054 140724388401839 140724388401839 140724388405199 0
[pid=3247/tid=3302] ppid=3244 vsize=14001980 CPUtime=0.65 cores=1,3,5,7
/proc/3247/task/3302/stat : 3302 (java) S 3244 3247 3187 0 -1 1077944384 754 12646 0 0 47 10 5 3 20 0 15 0 6564931 14338027520 354091 18446744073709551615 4194304 4196468 140724388391344 139914144369296 139914547033813 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21913600 140724388399054 140724388401839 140724388401839 140724388405199 0
[pid=3247/tid=3303] ppid=3244 vsize=14001980 CPUtime=0.23 cores=1,3,5,7
/proc/3247/task/3303/stat : 3303 (java) S 3244 3247 3187 0 -1 1077944384 7371 12646 0 0 14 1 5 3 20 0 15 0 6564932 14338027520 354091 18446744073709551615 4194304 4196468 140724388391344 139914025322992 139914547034754 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21913600 140724388399054 140724388401839 140724388401839 140724388405199 0
[pid=3247/tid=3304] ppid=3244 vsize=14001980 CPUtime=0.08 cores=1,3,5,7
/proc/3247/task/3304/stat : 3304 (java) S 3244 3247 3187 0 -1 1077944384 61 12646 0 0 0 0 5 3 20 0 15 0 6564932 14338027520 354091 18446744073709551615 4194304 4196468 140724388391344 139914024269344 139914547033813 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21913600 140724388399054 140724388401839 140724388401839 140724388405199 0
[pid=3247/tid=3305] ppid=3244 vsize=14001980 CPUtime=0.08 cores=1,3,5,7
/proc/3247/task/3305/stat : 3305 (java) S 3244 3247 3187 0 -1 1077944384 49 12646 0 0 0 0 5 3 20 0 15 0 6564932 14338027520 354091 18446744073709551615 4194304 4196468 140724388391344 139914023216640 139914547033813 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21913600 140724388399054 140724388401839 140724388401839 140724388405199 0
[pid=3247/tid=3306] ppid=3244 vsize=14001980 CPUtime=0.08 cores=1,3,5,7
/proc/3247/task/3306/stat : 3306 (java) S 3244 3247 3187 0 -1 1077944384 3 12646 0 0 0 0 5 3 20 0 15 0 6564935 14338027520 354091 18446744073709551615 4194304 4196468 140724388391344 139914022165200 139914547042203 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21913600 140724388399054 140724388401839 140724388401839 140724388405199 0

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

/proc/3247/task/3310/stat : 3310 (java) S 3244 3247 3187 0 -1 1077944384 3 12646 0 0 0 0 5 3 20 0 15 0 6564935 14338027520 904049 18446744073709551615 4194304 4196468 140724388391344 139914017954400 139914547033813 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21913600 140724388399054 140724388401839 140724388401839 140724388405199 0
[pid=3247/tid=3311] ppid=3244 vsize=14001980 CPUtime=0.1 cores=1,3,5,7
/proc/3247/task/3311/stat : 3311 (java) S 3244 3247 3187 0 -1 1077944384 127 12646 0 0 1 1 5 3 20 0 15 0 6564938 14338027520 904049 18446744073709551615 4194304 4196468 140724388391344 139914016901936 139914547034754 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21913600 140724388399054 140724388401839 140724388401839 140724388405199 0
Current children cumulated CPU time (s) 68.1
Current children cumulated vsize (KiB) 14001980

[startup+102.301 s]
/proc/loadavg: 1.99 1.87 1.76 3/214 3328
/proc/meminfo: memFree=24958248/32770624 swapFree=0/243072
[pid=3247] ppid=3244 vsize=14001980 CPUtime=119.7 cores=1,3,5,7
/proc/3247/stat : 3247 (java) S 3244 3247 3187 0 -1 1077944320 117959 12646 0 0 11829 133 5 3 20 0 15 0 6564910 14338027520 1006136 18446744073709551615 4194304 4196468 140724388391344 140724388373888 139914547023607 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 9 0 0 6293624 6294260 21913600 140724388399054 140724388401839 140724388401839 140724388405199 0
/proc/3247/statm: 3500495 1006136 3483 1 0 3489117 0
[pid=3247/tid=3298] ppid=3244 vsize=14001980 CPUtime=101.19 cores=1,3,5,7
/proc/3247/task/3298/stat : 3298 (java) R 3244 3247 3187 0 -1 4202560 56550 12646 0 0 10051 60 5 3 20 0 15 0 6564930 14338027520 1006136 18446744073709551615 4194304 4196468 140724388391344 139914551252544 139914165037940 0 4 1 16800974 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 21913600 140724388399054 140724388401839 140724388401839 140724388405199 0
[pid=3247/tid=3299] ppid=3244 vsize=14001980 CPUtime=0.78 cores=1,3,5,7
/proc/3247/task/3299/stat : 3299 (java) S 3244 3247 3187 0 -1 1077944384 1588 12646 0 0 55 15 5 3 20 0 15 0 6564931 14338027520 1006136 18446744073709551615 4194304 4196468 140724388391344 139914466437392 139914547033813 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21913600 140724388399054 140724388401839 140724388401839 140724388405199 0
[pid=3247/tid=3300] ppid=3244 vsize=14001980 CPUtime=0.8 cores=1,3,5,7
/proc/3247/task/3300/stat : 3300 (java) S 3244 3247 3187 0 -1 1077944384 864 12646 0 0 58 14 5 3 20 0 15 0 6564931 14338027520 1006136 18446744073709551615 4194304 4196468 140724388391344 139914146474384 139914547033813 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21913600 140724388399054 140724388401839 140724388401839 140724388405199 0
[pid=3247/tid=3301] ppid=3244 vsize=14001980 CPUtime=0.81 cores=1,3,5,7
/proc/3247/task/3301/stat : 3301 (java) S 3244 3247 3187 0 -1 1077944384 2241 12646 0 0 58 15 5 3 20 0 15 0 6564931 14338027520 1006136 18446744073709551615 4194304 4196468 140724388391344 139914145421840 139914547033813 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21913600 140724388399054 140724388401839 140724388401839 140724388405199 0
[pid=3247/tid=3302] ppid=3244 vsize=14001980 CPUtime=0.78 cores=1,3,5,7
/proc/3247/task/3302/stat : 3302 (java) S 3244 3247 3187 0 -1 1077944384 910 12646 0 0 56 14 5 3 20 0 15 0 6564931 14338027520 1006136 18446744073709551615 4194304 4196468 140724388391344 139914144369296 139914547033813 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21913600 140724388399054 140724388401839 140724388401839 140724388405199 0
[pid=3247/tid=3303] ppid=3244 vsize=14001980 CPUtime=0.23 cores=1,3,5,7
/proc/3247/task/3303/stat : 3303 (java) S 3244 3247 3187 0 -1 1077944384 8397 12646 0 0 14 1 5 3 20 0 15 0 6564932 14338027520 1006136 18446744073709551615 4194304 4196468 140724388391344 139914025322992 139914547034754 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21913600 140724388399054 140724388401839 140724388401839 140724388405199 0
[pid=3247/tid=3304] ppid=3244 vsize=14001980 CPUtime=0.08 cores=1,3,5,7
/proc/3247/task/3304/stat : 3304 (java) S 3244 3247 3187 0 -1 1077944384 65 12646 0 0 0 0 5 3 20 0 15 0 6564932 14338027520 1006136 18446744073709551615 4194304 4196468 140724388391344 139914024269344 139914547033813 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21913600 140724388399054 140724388401839 140724388401839 140724388405199 0
[pid=3247/tid=3305] ppid=3244 vsize=14001980 CPUtime=0.08 cores=1,3,5,7
/proc/3247/task/3305/stat : 3305 (java) S 3244 3247 3187 0 -1 1077944384 49 12646 0 0 0 0 5 3 20 0 15 0 6564932 14338027520 1006136 18446744073709551615 4194304 4196468 140724388391344 139914023216640 139914547033813 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21913600 140724388399054 140724388401839 140724388401839 140724388405199 0
[pid=3247/tid=3306] ppid=3244 vsize=14001980 CPUtime=0.08 cores=1,3,5,7
/proc/3247/task/3306/stat : 3306 (java) S 3244 3247 3187 0 -1 1077944384 3 12646 0 0 0 0 5 3 20 0 15 0 6564935 14338027520 1006136 18446744073709551615 4194304 4196468 140724388391344 139914022165200 139914547042203 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21913600 140724388399054 140724388401839 140724388401839 140724388405199 0
[pid=3247/tid=3307] ppid=3244 vsize=14001980 CPUtime=6.48 cores=1,3,5,7
/proc/3247/task/3307/stat : 3307 (java) S 3244 3247 3187 0 -1 1077944384 14256 12646 0 0 637 3 5 3 20 0 15 0 6564935 14338027520 1006136 18446744073709551615 4194304 4196468 140724388391344 139914021111792 139914547034754 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21913600 140724388399054 140724388401839 140724388401839 140724388405199 0
[pid=3247/tid=3308] ppid=3244 vsize=14001980 CPUtime=6.71 cores=1,3,5,7
/proc/3247/task/3308/stat : 3308 (java) S 3244 3247 3187 0 -1 1077944384 12519 12646 0 0 661 2 5 3 20 0 15 0 6564935 14338027520 1006136 18446744073709551615 4194304 4196468 140724388391344 139914020059248 139914547034754 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21913600 140724388399054 140724388401839 140724388401839 140724388405199 0
[pid=3247/tid=3309] ppid=3244 vsize=14001980 CPUtime=2.41 cores=1,3,5,7
/proc/3247/task/3309/stat : 3309 (java) S 3244 3247 3187 0 -1 1077944384 18229 12646 0 0 230 3 5 3 20 0 15 0 6564935 14338027520 1006136 18446744073709551615 4194304 4196468 140724388391344 139914019006704 139914547034754 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21913600 140724388399054 140724388401839 140724388401839 140724388405199 0
[pid=3247/tid=3310] ppid=3244 vsize=14001980 CPUtime=0.08 cores=1,3,5,7
/proc/3247/task/3310/stat : 3310 (java) S 3244 3247 3187 0 -1 1077944384 3 12646 0 0 0 0 5 3 20 0 15 0 6564935 14338027520 1006136 18446744073709551615 4194304 4196468 140724388391344 139914017954400 139914547033813 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21913600 140724388399054 140724388401839 140724388401839 140724388405199 0
[pid=3247/tid=3311] ppid=3244 vsize=14001980 CPUtime=0.13 cores=1,3,5,7
/proc/3247/task/3311/stat : 3311 (java) S 3244 3247 3187 0 -1 1077944384 130 12646 0 0 2 3 5 3 20 0 15 0 6564938 14338027520 1006136 18446744073709551615 4194304 4196468 140724388391344 139914016901936 139914547034754 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21913600 140724388399054 140724388401839 140724388401839 140724388405199 0
Current children cumulated CPU time (s) 119.7
Current children cumulated vsize (KiB) 14001980

[startup+162.301 s]
/proc/loadavg: 2.00 1.89 1.78 5/212 3361
/proc/meminfo: memFree=27680784/32770624 swapFree=0/243180
[pid=3247] ppid=3244 vsize=14001980 CPUtime=180.04 cores=1,3,5,7
/proc/3247/stat : 3247 (java) S 3244 3247 3187 0 -1 1077944320 133824 12646 0 0 17858 138 5 3 20 0 15 0 6564910 14338027520 998079 18446744073709551615 4194304 4196468 140724388391344 140724388373888 139914547023607 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 9 0 0 6293624 6294260 21913600 140724388399054 140724388401839 140724388401839 140724388405199 0
/proc/3247/statm: 3500495 998079 3488 1 0 3489117 0
[pid=3247/tid=3298] ppid=3244 vsize=14001980 CPUtime=161.12 cores=1,3,5,7
/proc/3247/task/3298/stat : 3298 (java) R 3244 3247 3187 0 -1 4202560 63702 12646 0 0 16044 60 5 3 20 0 15 0 6564930 14338027520 998079 18446744073709551615 4194304 4196468 140724388391344 139914551254720 139914159616220 0 4 1 16800974 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 21913600 140724388399054 140724388401839 140724388401839 140724388405199 0
[pid=3247/tid=3299] ppid=3244 vsize=14001980 CPUtime=0.84 cores=1,3,5,7
/proc/3247/task/3299/stat : 3299 (java) S 3244 3247 3187 0 -1 1077944384 1627 12646 0 0 60 16 5 3 20 0 15 0 6564931 14338027520 998079 18446744073709551615 4194304 4196468 140724388391344 139914466437392 139914547033813 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21913600 140724388399054 140724388401839 140724388401839 140724388405199 0
[pid=3247/tid=3300] ppid=3244 vsize=14001980 CPUtime=0.85 cores=1,3,5,7
/proc/3247/task/3300/stat : 3300 (java) S 3244 3247 3187 0 -1 1077944384 902 12646 0 0 63 14 5 3 20 0 15 0 6564931 14338027520 998079 18446744073709551615 4194304 4196468 140724388391344 139914146474384 139914547033813 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21913600 140724388399054 140724388401839 140724388401839 140724388405199 0
[pid=3247/tid=3301] ppid=3244 vsize=14001980 CPUtime=0.86 cores=1,3,5,7
/proc/3247/task/3301/stat : 3301 (java) S 3244 3247 3187 0 -1 1077944384 3639 12646 0 0 63 15 5 3 20 0 15 0 6564931 14338027520 998079 18446744073709551615 4194304 4196468 140724388391344 139914145421840 139914547033813 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21913600 140724388399054 140724388401839 140724388401839 140724388405199 0
[pid=3247/tid=3302] ppid=3244 vsize=14001980 CPUtime=0.83 cores=1,3,5,7
/proc/3247/task/3302/stat : 3302 (java) S 3244 3247 3187 0 -1 1077944384 986 12646 0 0 61 14 5 3 20 0 15 0 6564931 14338027520 998079 18446744073709551615 4194304 4196468 140724388391344 139914144369296 139914547033813 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21913600 140724388399054 140724388401839 140724388401839 140724388405199 0
[pid=3247/tid=3303] ppid=3244 vsize=14001980 CPUtime=0.25 cores=1,3,5,7
/proc/3247/task/3303/stat : 3303 (java) S 3244 3247 3187 0 -1 1077944384 8712 12646 0 0 15 2 5 3 20 0 15 0 6564932 14338027520 998079 18446744073709551615 4194304 4196468 140724388391344 139914025322992 139914547034754 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21913600 140724388399054 140724388401839 140724388401839 140724388405199 0
[pid=3247/tid=3304] ppid=3244 vsize=14001980 CPUtime=0.08 cores=1,3,5,7
/proc/3247/task/3304/stat : 3304 (java) S 3244 3247 3187 0 -1 1077944384 69 12646 0 0 0 0 5 3 20 0 15 0 6564932 14338027520 998079 18446744073709551615 4194304 4196468 140724388391344 139914024269344 139914547033813 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21913600 140724388399054 140724388401839 140724388401839 140724388405199 0
[pid=3247/tid=3305] ppid=3244 vsize=14001980 CPUtime=0.08 cores=1,3,5,7
/proc/3247/task/3305/stat : 3305 (java) S 3244 3247 3187 0 -1 1077944384 49 12646 0 0 0 0 5 3 20 0 15 0 6564932 14338027520 998079 18446744073709551615 4194304 4196468 140724388391344 139914023216640 139914547033813 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21913600 140724388399054 140724388401839 140724388401839 140724388405199 0
[pid=3247/tid=3306] ppid=3244 vsize=14001980 CPUtime=0.08 cores=1,3,5,7
/proc/3247/task/3306/stat : 3306 (java) S 3244 3247 3187 0 -1 1077944384 3 12646 0 0 0 0 5 3 20 0 15 0 6564935 14338027520 998079 18446744073709551615 4194304 4196468 140724388391344 139914022165200 139914547042203 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21913600 140724388399054 140724388401839 140724388401839 140724388405199 0
[pid=3247/tid=3307] ppid=3244 vsize=14001980 CPUtime=6.51 cores=1,3,5,7
/proc/3247/task/3307/stat : 3307 (java) S 3244 3247 3187 0 -1 1077944384 14961 12646 0 0 640 3 5 3 20 0 15 0 6564935 14338027520 998079 18446744073709551615 4194304 4196468 140724388391344 139914021111792 139914547034754 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21913600 140724388399054 140724388401839 140724388401839 140724388405199 0
[pid=3247/tid=3308] ppid=3244 vsize=14001980 CPUtime=6.76 cores=1,3,5,7
/proc/3247/task/3308/stat : 3308 (java) S 3244 3247 3187 0 -1 1077944384 13837 12646 0 0 666 2 5 3 20 0 15 0 6564935 14338027520 998079 18446744073709551615 4194304 4196468 140724388391344 139914020059248 139914547034754 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21913600 140724388399054 140724388401839 140724388401839 140724388405199 0
[pid=3247/tid=3309] ppid=3244 vsize=14001980 CPUtime=2.47 cores=1,3,5,7
/proc/3247/task/3309/stat : 3309 (java) S 3244 3247 3187 0 -1 1077944384 22996 12646 0 0 235 4 5 3 20 0 15 0 6564935 14338027520 998079 18446744073709551615 4194304 4196468 140724388391344 139914019006704 139914547034754 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21913600 140724388399054 140724388401839 140724388401839 140724388405199 0
[pid=3247/tid=3310] ppid=3244 vsize=14001980 CPUtime=0.08 cores=1,3,5,7
/proc/3247/task/3310/stat : 3310 (java) S 3244 3247 3187 0 -1 1077944384 3 12646 0 0 0 0 5 3 20 0 15 0 6564935 14338027520 998079 18446744073709551615 4194304 4196468 140724388391344 139914017954400 139914547033813 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21913600 140724388399054 140724388401839 140724388401839 140724388405199 0
[pid=3247/tid=3311] ppid=3244 vsize=14001980 CPUtime=0.16 cores=1,3,5,7
/proc/3247/task/3311/stat : 3311 (java) S 3244 3247 3187 0 -1 1077944384 183 12646 0 0 4 4 5 3 20 0 15 0 6564938 14338027520 998079 18446744073709551615 4194304 4196468 140724388391344 139914016901936 139914547034754 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21913600 140724388399054 140724388401839 140724388401839 140724388405199 0
Current children cumulated CPU time (s) 180.04
Current children cumulated vsize (KiB) 14001980

[startup+222.307 s]
/proc/loadavg: 1.64 1.82 1.76 3/213 3456
/proc/meminfo: memFree=27302900/32770624 swapFree=0/243208
[pid=3247] ppid=3244 vsize=14001980 CPUtime=243.11 cores=1,3,5,7
/proc/3247/stat : 3247 (java) S 3244 3247 3187 0 -1 1077944320 158008 12646 0 0 24161 142 5 3 20 0 15 0 6564910 14338027520 969162 18446744073709551615 4194304 4196468 140724388391344 140724388373888 139914547023607 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 9 0 0 6293624 6294260 21913600 140724388399054 140724388401839 140724388401839 140724388405199 0
/proc/3247/statm: 3500495 969162 3488 1 0 3489117 0
[pid=3247/tid=3298] ppid=3244 vsize=14001980 CPUtime=221.05 cores=1,3,5,7
/proc/3247/task/3298/stat : 3298 (java) R 3244 3247 3187 0 -1 4202560 69602 12646 0 0 22036 61 5 3 20 0 15 0 6564930 14338027520 969162 18446744073709551615 4194304 4196468 140724388391344 139914551257552 139914158027158 0 4 1 16800974 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 21913600 140724388399054 140724388401839 140724388401839 140724388405199 0
[pid=3247/tid=3299] ppid=3244 vsize=14001980 CPUtime=0.91 cores=1,3,5,7
/proc/3247/task/3299/stat : 3299 (java) S 3244 3247 3187 0 -1 1077944384 1660 12646 0 0 67 16 5 3 20 0 15 0 6564931 14338027520 969162 18446744073709551615 4194304 4196468 140724388391344 139914466437392 139914547033813 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21913600 140724388399054 140724388401839 140724388401839 140724388405199 0
[pid=3247/tid=3300] ppid=3244 vsize=14001980 CPUtime=0.92 cores=1,3,5,7
/proc/3247/task/3300/stat : 3300 (java) S 3244 3247 3187 0 -1 1077944384 1645 12646 0 0 70 14 5 3 20 0 15 0 6564931 14338027520 969162 18446744073709551615 4194304 4196468 140724388391344 139914146474384 139914547033813 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21913600 140724388399054 140724388401839 140724388401839 140724388405199 0
[pid=3247/tid=3301] ppid=3244 vsize=14001980 CPUtime=0.94 cores=1,3,5,7
/proc/3247/task/3301/stat : 3301 (java) S 3244 3247 3187 0 -1 1077944384 4057 12646 0 0 70 16 5 3 20 0 15 0 6564931 14338027520 969162 18446744073709551615 4194304 4196468 140724388391344 139914145421840 139914547033813 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21913600 140724388399054 140724388401839 140724388401839 140724388405199 0
[pid=3247/tid=3302] ppid=3244 vsize=14001980 CPUtime=0.89 cores=1,3,5,7
/proc/3247/task/3302/stat : 3302 (java) S 3244 3247 3187 0 -1 1077944384 1076 12646 0 0 67 14 5 3 20 0 15 0 6564931 14338027520 969162 18446744073709551615 4194304 4196468 140724388391344 139914144369296 139914547033813 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21913600 140724388399054 140724388401839 140724388401839 140724388405199 0
[pid=3247/tid=3303] ppid=3244 vsize=14001980 CPUtime=0.25 cores=1,3,5,7
/proc/3247/task/3303/stat : 3303 (java) S 3244 3247 3187 0 -1 1077944384 8956 12646 0 0 15 2 5 3 20 0 15 0 6564932 14338027520 969162 18446744073709551615 4194304 4196468 140724388391344 139914025322992 139914547034754 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21913600 140724388399054 140724388401839 140724388401839 140724388405199 0
[pid=3247/tid=3304] ppid=3244 vsize=14001980 CPUtime=0.08 cores=1,3,5,7
/proc/3247/task/3304/stat : 3304 (java) S 3244 3247 3187 0 -1 1077944384 71 12646 0 0 0 0 5 3 20 0 15 0 6564932 14338027520 969162 18446744073709551615 4194304 4196468 140724388391344 139914024269344 139914547033813 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21913600 140724388399054 140724388401839 140724388401839 140724388405199 0
[pid=3247/tid=3305] ppid=3244 vsize=14001980 CPUtime=0.08 cores=1,3,5,7
/proc/3247/task/3305/stat : 3305 (java) S 3244 3247 3187 0 -1 1077944384 55 12646 0 0 0 0 5 3 20 0 15 0 6564932 14338027520 969162 18446744073709551615 4194304 4196468 140724388391344 139914023216640 139914547033813 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21913600 140724388399054 140724388401839 140724388401839 140724388405199 0
[pid=3247/tid=3306] ppid=3244 vsize=14001980 CPUtime=0.08 cores=1,3,5,7
/proc/3247/task/3306/stat : 3306 (java) S 3244 3247 3187 0 -1 1077944384 3 12646 0 0 0 0 5 3 20 0 15 0 6564935 14338027520 969162 18446744073709551615 4194304 4196468 140724388391344 139914022165200 139914547042203 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21913600 140724388399054 140724388401839 140724388401839 140724388405199 0
[pid=3247/tid=3307] ppid=3244 vsize=14001980 CPUtime=7.47 cores=1,3,5,7
/proc/3247/task/3307/stat : 3307 (java) S 3244 3247 3187 0 -1 1077944384 21484 12646 0 0 736 3 5 3 20 0 15 0 6564935 14338027520 969162 18446744073709551615 4194304 4196468 140724388391344 139914021111792 139914547034754 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21913600 140724388399054 140724388401839 140724388401839 140724388405199 0
[pid=3247/tid=3308] ppid=3244 vsize=14001980 CPUtime=8.56 cores=1,3,5,7
/proc/3247/task/3308/stat : 3308 (java) S 3244 3247 3187 0 -1 1077944384 23240 12646 0 0 845 3 5 3 20 0 15 0 6564935 14338027520 969162 18446744073709551615 4194304 4196468 140724388391344 139914020059248 139914547034754 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21913600 140724388399054 140724388401839 140724388401839 140724388405199 0
[pid=3247/tid=3309] ppid=3244 vsize=14001980 CPUtime=2.54 cores=1,3,5,7
/proc/3247/task/3309/stat : 3309 (java) S 3244 3247 3187 0 -1 1077944384 23772 12646 0 0 242 4 5 3 20 0 15 0 6564935 14338027520 969162 18446744073709551615 4194304 4196468 140724388391344 139914019006704 139914547034754 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21913600 140724388399054 140724388401839 140724388401839 140724388405199 0
[pid=3247/tid=3310] ppid=3244 vsize=14001980 CPUtime=0.08 cores=1,3,5,7
/proc/3247/task/3310/stat : 3310 (java) S 3244 3247 3187 0 -1 1077944384 3 12646 0 0 0 0 5 3 20 0 15 0 6564935 14338027520 969162 18446744073709551615 4194304 4196468 140724388391344 139914017954400 139914547033813 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21913600 140724388399054 140724388401839 140724388401839 140724388405199 0
[pid=3247/tid=3311] ppid=3244 vsize=14001980 CPUtime=0.19 cores=1,3,5,7
/proc/3247/task/3311/stat : 3311 (java) S 3244 3247 3187 0 -1 1077944384 229 12646 0 0 5 6 5 3 20 0 15 0 6564938 14338027520 969162 18446744073709551615 4194304 4196468 140724388391344 139914016901936 139914547034754 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21913600 140724388399054 140724388401839 140724388401839 140724388405199 0
Current children cumulated CPU time (s) 243.11
Current children cumulated vsize (KiB) 14001980



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+240.001 s]
/proc/loadavg: 1.74 1.83 1.77 3/213 3457
/proc/meminfo: memFree=27337440/32770624 swapFree=0/243240
[pid=3247] ppid=3244 vsize=14001980 CPUtime=260.89 cores=1,3,5,7
/proc/3247/stat : 3247 (java) S 3244 3247 3187 0 -1 1077944320 158447 12646 0 0 25938 143 5 3 20 0 15 0 6564910 14338027520 960571 18446744073709551615 4194304 4196468 140724388391344 140724388373888 139914547023607 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 9 0 0 6293624 6294260 21913600 140724388399054 140724388401839 140724388401839 140724388405199 0
/proc/3247/statm: 3500495 960571 3488 1 0 3489117 0
[pid=3247/tid=3298] ppid=3244 vsize=14001980 CPUtime=238.72 cores=1,3,5,7
/proc/3247/task/3298/stat : 3298 (java) R 3244 3247 3187 0 -1 4202560 69988 12646 0 0 23803 61 5 3 20 0 15 0 6564930 14338027520 960571 18446744073709551615 4194304 4196468 140724388391344 139914551257568 139914159616220 0 4 1 16800974 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 21913600 140724388399054 140724388401839 140724388401839 140724388405199 0
[pid=3247/tid=3299] ppid=3244 vsize=14001980 CPUtime=0.93 cores=1,3,5,7
/proc/3247/task/3299/stat : 3299 (java) S 3244 3247 3187 0 -1 1077944384 1673 12646 0 0 69 16 5 3 20 0 15 0 6564931 14338027520 960571 18446744073709551615 4194304 4196468 140724388391344 139914466437392 139914547033813 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21913600 140724388399054 140724388401839 140724388401839 140724388405199 0
[pid=3247/tid=3300] ppid=3244 vsize=14001980 CPUtime=0.94 cores=1,3,5,7
/proc/3247/task/3300/stat : 3300 (java) S 3244 3247 3187 0 -1 1077944384 1651 12646 0 0 72 14 5 3 20 0 15 0 6564931 14338027520 960571 18446744073709551615 4194304 4196468 140724388391344 139914146474384 139914547033813 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21913600 140724388399054 140724388401839 140724388401839 140724388405199 0
[pid=3247/tid=3301] ppid=3244 vsize=14001980 CPUtime=0.96 cores=1,3,5,7
/proc/3247/task/3301/stat : 3301 (java) S 3244 3247 3187 0 -1 1077944384 4068 12646 0 0 72 16 5 3 20 0 15 0 6564931 14338027520 960571 18446744073709551615 4194304 4196468 140724388391344 139914145421840 139914547033813 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21913600 140724388399054 140724388401839 140724388401839 140724388405199 0
[pid=3247/tid=3302] ppid=3244 vsize=14001980 CPUtime=0.92 cores=1,3,5,7
/proc/3247/task/3302/stat : 3302 (java) S 3244 3247 3187 0 -1 1077944384 1084 12646 0 0 70 14 5 3 20 0 15 0 6564931 14338027520 960571 18446744073709551615 4194304 4196468 140724388391344 139914144369296 139914547033813 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21913600 140724388399054 140724388401839 140724388401839 140724388405199 0
[pid=3247/tid=3303] ppid=3244 vsize=14001980 CPUtime=0.26 cores=1,3,5,7
/proc/3247/task/3303/stat : 3303 (java) S 3244 3247 3187 0 -1 1077944384 8962 12646 0 0 16 2 5 3 20 0 15 0 6564932 14338027520 960571 18446744073709551615 4194304 4196468 140724388391344 139914025322992 139914547034754 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21913600 140724388399054 140724388401839 140724388401839 140724388405199 0
[pid=3247/tid=3304] ppid=3244 vsize=14001980 CPUtime=0.08 cores=1,3,5,7
/proc/3247/task/3304/stat : 3304 (java) S 3244 3247 3187 0 -1 1077944384 71 12646 0 0 0 0 5 3 20 0 15 0 6564932 14338027520 960571 18446744073709551615 4194304 4196468 140724388391344 139914024269344 139914547033813 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21913600 140724388399054 140724388401839 140724388401839 140724388405199 0
[pid=3247/tid=3305] ppid=3244 vsize=14001980 CPUtime=0.08 cores=1,3,5,7
/proc/3247/task/3305/stat : 3305 (java) S 3244 3247 3187 0 -1 1077944384 55 12646 0 0 0 0 5 3 20 0 15 0 6564932 14338027520 960571 18446744073709551615 4194304 4196468 140724388391344 139914023216640 139914547033813 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21913600 140724388399054 140724388401839 140724388401839 140724388405199 0
[pid=3247/tid=3306] ppid=3244 vsize=14001980 CPUtime=0.08 cores=1,3,5,7
/proc/3247/task/3306/stat : 3306 (java) S 3244 3247 3187 0 -1 1077944384 3 12646 0 0 0 0 5 3 20 0 15 0 6564935 14338027520 960571 18446744073709551615 4194304 4196468 140724388391344 139914022165200 139914547042203 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21913600 140724388399054 140724388401839 140724388401839 140724388405199 0
[pid=3247/tid=3307] ppid=3244 vsize=14001980 CPUtime=7.47 cores=1,3,5,7
/proc/3247/task/3307/stat : 3307 (java) S 3244 3247 3187 0 -1 1077944384 21484 12646 0 0 736 3 5 3 20 0 15 0 6564935 14338027520 960571 18446744073709551615 4194304 4196468 140724388391344 139914021111792 139914547034754 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21913600 140724388399054 140724388401839 140724388401839 140724388405199 0
[pid=3247/tid=3308] ppid=3244 vsize=14001980 CPUtime=8.56 cores=1,3,5,7
/proc/3247/task/3308/stat : 3308 (java) S 3244 3247 3187 0 -1 1077944384 23240 12646 0 0 845 3 5 3 20 0 15 0 6564935 14338027520 960571 18446744073709551615 4194304 4196468 140724388391344 139914020059248 139914547034754 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21913600 140724388399054 140724388401839 140724388401839 140724388405199 0
[pid=3247/tid=3309] ppid=3244 vsize=14001980 CPUtime=2.54 cores=1,3,5,7
/proc/3247/task/3309/stat : 3309 (java) S 3244 3247 3187 0 -1 1077944384 23772 12646 0 0 242 4 5 3 20 0 15 0 6564935 14338027520 960571 18446744073709551615 4194304 4196468 140724388391344 139914019006704 139914547034754 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21913600 140724388399054 140724388401839 140724388401839 140724388405199 0
[pid=3247/tid=3310] ppid=3244 vsize=14001980 CPUtime=0.08 cores=1,3,5,7
/proc/3247/task/3310/stat : 3310 (java) S 3244 3247 3187 0 -1 1077944384 3 12646 0 0 0 0 5 3 20 0 15 0 6564935 14338027520 960571 18446744073709551615 4194304 4196468 140724388391344 139914017954400 139914547033813 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21913600 140724388399054 140724388401839 140724388401839 140724388405199 0
[pid=3247/tid=3311] ppid=3244 vsize=14001980 CPUtime=0.19 cores=1,3,5,7
/proc/3247/task/3311/stat : 3311 (java) S 3244 3247 3187 0 -1 1077944384 238 12646 0 0 5 6 5 3 20 0 15 0 6564938 14338027520 960571 18446744073709551615 4194304 4196468 140724388391344 139914016901936 139914547034754 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21913600 140724388399054 140724388401839 140724388401839 140724388405199 0
Current children cumulated CPU time (s) 260.89
Current children cumulated vsize (KiB) 14001980

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 3247 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143
Real time (s): 240.043
CPU time (s): 260.939
CPU user time (s): 259.454
CPU system time (s): 1.48553
CPU usage (%): 108.705
Max. virtual memory (cumulated for all children) (KiB): 14001980

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 259.454
system time used= 1.48553
maximum resident set size= 4035936
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 174178
page faults= 0
swaps= 0
block input operations= 0
block output operations= 16
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 15365
involuntary context switches= 275

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.748675 second user time and 1.94685 second system time

The end

Launcher Data 

Begin job on node135 at 2017-08-02 05:48:22
IDJOB=4259526
IDBENCH=120572
IDSOLVER=2646
FILE ID=node135/4259526-1501646543
RUNJOBID= node135-1501639717-27967
PBS_JOBID= 
Free space on /tmp= 61816 MiB

SOLVER NAME= Concrete 3.4
BENCH NAME= XCSP17/GraphColoring/GraphColoring-m1-mono/GraphColoring-wap06a.xml
COMMAND LINE= bin/concrete BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4259526-1501646543/watcher-4259526-1501646543 -o /tmp/evaluation-result-4259526-1501646543/solver-4259526-1501646543 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node135-1501639717-27967 --watchdog 300  bin/concrete HOME/instance-4259526-1501646543.xml

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

MD5SUM BENCH= a8532fde929f2c832645b1246a7d35a6
RANDOM SEED=251023968

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        28999116 kB
MemAvailable:   29265012 kB
Buffers:          121408 kB
Cached:           421756 kB
SwapCached:            0 kB
Active:          3100088 kB
Inactive:         251264 kB
Active(anon):    2808676 kB
Inactive(anon):     8592 kB
Active(file):     291412 kB
Inactive(file):   242672 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             25900 kB
Writeback:             4 kB
AnonPages:       2808544 kB
Mapped:            42260 kB
Shmem:              8960 kB
Slab:             121492 kB
SReclaimable:      95292 kB
SUnreclaim:        26200 kB
KernelStack:        3504 kB
PageTables:         9884 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    4059540 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      354332 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2576384 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      122240 kB
DirectMap2M:    33423360 kB

Free space on /tmp at the end= 61792 MiB
End job on node135 at 2017-08-02 05:52:23