Trace number 4245130

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
R1: Concrete 3.4SAT (TO)42 2400.07 2321.06

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 benchmark2400.07
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.65/2.17	c Concrete v3.4 running
30.75/11.14	o 946
31.47/11.47	o 945
31.86/11.72	o 944
32.21/11.98	o 943
32.61/12.22	o 942
32.93/12.46	o 941
33.49/12.67	o 940
33.79/12.89	o 939
34.01/13.09	o 938
34.25/13.29	o 937
34.59/13.50	o 936
34.82/13.71	o 935
35.04/13.91	o 934
35.25/14.10	o 933
35.46/14.31	o 932
35.65/14.50	o 931
35.85/14.70	o 930
36.05/14.91	o 929
36.25/15.12	o 928
36.46/15.33	o 927
36.67/15.54	o 926
36.85/15.75	o 925
37.08/15.96	o 924
37.28/16.18	o 923
37.50/16.38	o 922
37.72/16.59	o 921
38.02/16.80	o 920
38.22/17.01	o 919
38.42/17.22	o 918
38.62/17.43	o 917
38.83/17.64	o 916
39.03/17.85	o 915
39.32/18.07	o 914
39.52/18.27	o 913
39.72/18.48	o 912
39.92/18.68	o 911
40.13/18.88	o 910
40.33/19.08	o 909
40.53/19.28	o 908
40.73/19.49	o 907
40.93/19.69	o 906
41.14/19.89	o 905
41.33/20.09	o 904
41.53/20.29	o 903
41.73/20.50	o 902
42.04/20.70	o 901
42.15/20.89	o 900
42.35/21.09	o 899
42.58/21.29	o 898
42.78/21.48	o 897
42.98/21.67	o 896
43.18/21.87	o 895
43.39/22.07	o 894
43.58/22.27	o 893
43.78/22.47	o 892
43.98/22.67	o 891
44.19/22.87	o 890
44.39/23.07	o 889
44.60/23.27	o 888
44.80/23.47	o 887
45.00/23.67	o 886
45.20/23.87	o 885
45.40/24.07	o 884
45.78/24.30	o 883
46.09/24.50	o 882
46.29/24.70	o 881
46.49/24.90	o 880
46.69/25.10	o 879
46.79/25.29	o 878
46.99/25.49	o 877
47.19/25.69	o 876
47.49/25.90	o 875
47.69/26.10	o 874
47.89/26.30	o 873
48.00/26.50	o 872
48.30/26.70	o 871
48.50/26.90	o 870
48.60/27.09	o 869
48.90/27.30	o 868
49.00/27.49	o 867
49.21/27.69	o 866
49.40/27.89	o 865
49.60/28.09	o 864
49.80/28.29	o 863
50.00/28.49	o 862
50.21/28.70	o 861
50.51/28.90	o 860
50.71/29.10	o 859
50.91/29.30	o 858
51.11/29.50	o 857
51.21/29.70	o 856
51.51/29.91	o 855
51.71/30.11	o 854
51.91/30.31	o 853
52.11/30.52	o 852
52.30/30.73	o 851
52.52/30.93	o 850
52.71/31.14	o 849
52.91/31.36	o 848
53.10/31.57	o 847
53.30/31.78	o 846
53.51/32.00	o 845
53.81/32.20	o 844
54.01/32.40	o 843
54.21/32.61	o 842
54.40/32.82	o 841
54.61/33.05	o 840
55.04/33.25	o 839
55.24/33.44	o 838
55.44/33.63	o 837
55.64/33.82	o 836
55.84/34.02	o 835
56.06/34.21	o 834
56.25/34.41	o 833
56.35/34.60	o 832
56.55/34.79	o 831
56.79/34.99	o 830
56.99/35.19	o 829
57.20/35.38	o 828
57.39/35.57	o 827
57.59/35.76	o 826
57.79/35.96	o 825
57.99/36.15	o 824
58.20/36.34	o 823
58.40/36.54	o 822
58.60/36.73	o 821
58.80/36.93	o 820
59.00/37.13	o 819
59.21/37.33	o 818
59.41/37.52	o 817
59.61/37.72	o 816
59.81/37.91	o 815
60.01/38.11	o 814
60.21/38.31	o 813
60.41/38.51	o 812
60.61/38.70	o 811
60.71/38.90	o 810
60.91/39.10	o 809
61.11/39.30	o 808
61.31/39.49	o 807
61.52/39.69	o 806
61.71/39.89	o 805
61.91/40.08	o 804
62.11/40.27	o 803
62.31/40.47	o 802
62.51/40.67	o 801
62.72/40.87	o 800
62.91/41.06	o 799
63.11/41.25	o 798
63.31/41.46	o 797
63.51/41.65	o 796
63.73/41.86	o 795
64.03/42.06	o 794
64.23/42.26	o 793
64.43/42.46	o 792
64.63/42.67	o 791
64.83/42.86	o 790
65.04/43.05	o 789
65.23/43.25	o 788
65.43/43.44	o 787
65.63/43.64	o 786
65.83/43.82	o 785
66.04/44.03	o 784
66.23/44.22	o 783
66.43/44.42	o 782
66.63/44.61	o 781
66.83/44.80	o 780
67.03/45.00	o 779
67.14/45.19	o 778
67.33/45.39	o 777
67.53/45.58	o 776
67.73/45.77	o 775
67.94/45.97	o 774
68.14/46.17	o 773
68.34/46.36	o 772
68.54/46.55	o 771
68.74/46.74	o 770
68.94/46.94	o 769
69.14/47.12	o 768
69.35/47.32	o 767
69.55/47.51	o 766
69.74/47.70	o 765
69.94/47.90	o 764
70.14/48.10	o 763
70.24/48.29	o 762
70.45/48.49	o 761
70.64/48.69	o 760
70.84/48.88	o 759
71.04/49.08	o 758
71.24/49.28	o 757
71.44/49.48	o 756
71.65/49.68	o 755
71.85/49.87	o 754
72.05/50.07	o 753
72.25/50.26	o 752
72.45/50.47	o 751
72.74/50.68	o 750
72.93/50.88	o 749
73.13/51.06	o 748
73.33/51.27	o 747
73.53/51.47	o 746
73.73/51.66	o 745
73.93/51.87	o 744
74.13/52.06	o 743
74.33/52.25	o 742
74.53/52.44	o 741
74.73/52.64	o 740
74.94/52.83	o 739
75.13/53.02	o 738
75.33/53.21	o 737
75.53/53.42	o 736
75.73/53.61	o 735
75.93/53.81	o 734
76.14/54.01	o 733
76.33/54.21	o 732
76.53/54.40	o 731
76.63/54.59	o 730
76.93/54.80	o 729
77.03/54.99	o 728
77.24/55.18	o 727
77.43/55.38	o 726
77.63/55.58	o 725
77.83/55.77	o 724
78.03/55.96	o 723
78.24/56.17	o 722
78.43/56.36	o 721
78.63/56.56	o 720
78.83/56.75	o 719
79.03/56.95	o 718
79.23/57.14	o 717
79.44/57.33	o 716
79.63/57.53	o 715
79.83/57.73	o 714
80.03/57.91	o 713
80.23/58.11	o 712
80.33/58.30	o 711
80.63/58.50	o 710
80.73/58.70	o 709
80.93/58.90	o 708
81.13/59.09	o 707
81.55/59.33	o 706
81.76/59.54	o 705
81.95/59.77	o 704
82.15/59.96	o 703
82.35/60.15	o 702
82.54/60.34	o 701
82.75/60.53	o 700
82.94/60.73	o 699
83.14/60.92	o 698
83.35/61.11	o 697
83.55/61.31	o 696
83.75/61.50	o 695
83.86/61.70	o 694
84.06/61.89	o 693
84.26/62.09	o 692
84.46/62.28	o 691
84.67/62.47	o 690
84.87/62.66	o 689
85.08/62.86	o 688
85.27/63.05	o 687
85.47/63.24	o 686
85.67/63.43	o 685
85.87/63.62	o 684
86.08/63.81	o 683
86.27/64.00	o 682
86.37/64.19	o 681
86.57/64.39	o 680
86.77/64.59	o 679
86.97/64.78	o 678
87.18/64.97	o 677
87.37/65.16	o 676
87.57/65.36	o 675
87.77/65.55	o 674
87.97/65.74	o 673
88.17/65.94	o 672
88.38/66.14	o 671
88.57/66.33	o 670
88.77/66.53	o 669
88.97/66.73	o 668
89.17/66.92	o 667
89.38/67.12	o 666
89.57/67.32	o 665
89.78/67.51	o 664
89.98/67.71	o 663
90.18/67.91	o 662
90.52/68.13	o 661
90.73/68.32	o 660
90.92/68.51	o 659
91.12/68.70	o 658
91.32/68.90	o 657
91.42/69.09	o 656
91.62/69.29	o 655
91.82/69.47	o 654
92.02/69.67	o 653
92.22/69.85	o 652
92.42/70.04	o 651
92.62/70.23	o 650
92.82/70.43	o 649
93.02/70.62	o 648
93.22/70.81	o 647
93.42/71.00	o 646
93.52/71.19	o 645
93.72/71.39	o 644
93.92/71.59	o 643
94.12/71.78	o 642
94.32/71.97	o 641
94.52/72.15	o 640
94.72/72.34	o 639
94.92/72.53	o 638
95.12/72.73	o 637
95.32/72.92	o 636
95.52/73.11	o 635
95.72/73.30	o 634
95.82/73.49	o 633
96.02/73.69	o 632
96.23/73.88	o 631
96.42/74.08	o 630
96.62/74.27	o 629
96.82/74.46	o 628
97.02/74.65	o 627
97.23/74.85	o 626
97.42/75.04	o 625
97.63/75.23	o 624
97.83/75.42	o 623
98.03/75.63	o 622
98.23/75.82	o 621
98.43/76.02	o 620
98.63/76.21	o 619
98.83/76.40	o 618
98.93/76.59	o 617
99.13/76.78	o 616
99.37/76.98	o 615
99.57/77.17	o 614
99.77/77.36	o 613
99.97/77.55	o 612
100.17/77.74	o 611
100.37/77.94	o 610
100.57/78.13	o 609
100.77/78.34	o 608
100.97/78.53	o 607
101.17/78.71	o 606
101.37/78.91	o 605
101.47/79.10	o 604
101.67/79.28	o 603
101.87/79.47	o 602
102.07/79.68	o 601
102.27/79.87	o 600
102.47/80.07	o 599
102.67/80.25	o 598
102.87/80.45	o 597
103.07/80.65	o 596
103.27/80.85	o 595
103.47/81.04	o 594
103.67/81.24	o 593
103.87/81.44	o 592
104.07/81.63	o 591
104.27/81.83	o 590
104.47/82.03	o 589
104.67/82.22	o 588
104.87/82.42	o 587
104.98/82.60	o 586
105.27/82.80	o 585
105.38/83.00	o 584
105.57/83.19	o 583
105.77/83.38	o 582
105.97/83.58	o 581
106.18/83.77	o 580
106.38/83.97	o 579
106.58/84.16	o 578
106.78/84.35	o 577
106.98/84.54	o 576
107.18/84.74	o 575
107.38/84.94	o 574
107.58/85.13	o 573
107.78/85.33	o 572
107.98/85.52	o 571
108.18/85.72	o 570
108.44/85.91	o 569
108.64/86.10	o 568
108.74/86.29	o 567
108.94/86.49	o 566
109.14/86.68	o 565
109.34/86.87	o 564
109.56/87.06	o 563
109.76/87.25	o 562
109.96/87.45	o 561
110.16/87.64	o 560
110.36/87.84	o 559
110.56/88.03	o 558
110.76/88.22	o 557
110.96/88.41	o 556
111.16/88.60	o 555
111.26/88.79	o 554
111.46/88.98	o 553
111.66/89.18	o 552
111.86/89.37	o 551
112.06/89.56	o 550
112.26/89.74	o 549
112.46/89.93	o 548
112.66/90.12	o 547
112.86/90.31	o 546
113.06/90.50	o 545
113.16/90.69	o 544
113.36/90.87	o 543
113.56/91.07	o 542
113.76/91.26	o 541
113.96/91.45	o 540
114.16/91.64	o 539
114.36/91.83	o 538
114.56/92.02	o 537
114.76/92.22	o 536
114.96/92.41	o 535
115.16/92.61	o 534
115.36/92.81	o 533
115.56/93.00	o 532
115.76/93.20	o 531
115.86/93.39	o 530
116.06/93.58	o 529
116.26/93.77	o 528
116.46/93.97	o 527
116.66/94.16	o 526
116.86/94.36	o 525
117.06/94.57	o 524
117.37/94.76	o 523
117.68/94.96	o 522
117.88/95.15	o 521
118.08/95.34	o 520
118.28/95.54	o 519
118.49/95.74	o 518
118.68/95.93	o 517
118.88/96.12	o 516
119.08/96.31	o 515
119.18/96.49	o 514
119.38/96.68	o 513
119.59/96.87	o 512
119.78/97.06	o 511
119.98/97.26	o 510
120.18/97.46	o 509
120.38/97.65	o 508
120.58/97.84	o 507
120.79/98.03	o 506
120.98/98.22	o 505
121.18/98.41	o 504
121.38/98.61	o 503
121.58/98.80	o 502
121.68/98.99	o 501
121.89/99.18	o 500
122.08/99.37	o 499
122.28/99.56	o 498
122.48/99.76	o 497
122.68/99.95	o 496
122.89/100.14	o 495
123.08/100.33	o 494
123.28/100.52	o 493
123.48/100.71	o 492
123.68/100.91	o 491
123.78/101.09	o 490
123.99/101.28	o 489
124.18/101.48	o 488
124.38/101.68	o 487
124.58/101.87	o 486
124.78/102.07	o 485
124.98/102.26	o 484
125.19/102.46	o 483
125.38/102.65	o 482
125.58/102.84	o 481
125.78/103.04	o 480
125.98/103.24	o 479
126.19/103.43	o 478
126.48/103.65	o 477
126.68/103.84	o 476
126.88/104.02	o 475
127.08/104.21	o 474
127.28/104.40	o 473
127.38/104.58	o 472
127.58/104.77	o 471
127.78/104.97	o 470
127.98/105.16	o 469
128.18/105.35	o 468
128.38/105.54	o 467
128.58/105.73	o 466
128.78/105.93	o 465
128.98/106.11	o 464
129.18/106.30	o 463
129.28/106.49	o 462
129.48/106.68	o 461
129.68/106.87	o 460
129.88/107.06	o 459
130.08/107.24	o 458
130.28/107.43	o 457
130.49/107.63	o 456
130.70/107.82	o 455
130.89/108.01	o 454
131.09/108.20	o 453
131.19/108.39	o 452
131.39/108.59	o 451
131.59/108.78	o 450
131.80/108.97	o 449
131.99/109.15	o 448
132.19/109.34	o 447
132.39/109.52	o 446
132.59/109.71	o 445
132.79/109.91	o 444
132.90/110.10	o 443
133.09/110.29	o 442
133.29/110.48	o 441
133.49/110.68	o 440
133.70/110.87	o 439
133.90/111.05	o 438
134.11/111.25	o 437
134.30/111.44	o 436
134.52/111.63	o 435
134.72/111.82	o 434
134.92/112.02	o 433
135.02/112.20	o 432
135.32/112.41	o 431
135.57/112.61	o 430
135.77/112.80	o 429
135.87/112.99	o 428
136.07/113.18	o 427
136.27/113.38	o 426
136.47/113.57	o 425
136.67/113.77	o 424
136.87/113.96	o 423
137.07/114.15	o 422
137.27/114.34	o 421
137.47/114.53	o 420
137.67/114.73	o 419
137.87/114.91	o 418
138.07/115.11	o 417
138.27/115.30	o 416
138.37/115.49	o 415
138.57/115.69	o 414
138.77/115.88	o 413
138.97/116.07	o 412
139.17/116.27	o 411
139.37/116.46	o 410
139.57/116.65	o 409
139.77/116.84	o 408
139.97/117.04	o 407
140.17/117.23	o 406
140.37/117.42	o 405
140.57/117.61	o 404
140.77/117.81	o 403
140.87/117.99	o 402
141.07/118.19	o 401
141.27/118.38	o 400
141.47/118.57	o 399
141.67/118.77	o 398
141.88/118.96	o 397
142.07/119.15	o 396
142.27/119.34	o 395
142.47/119.54	o 394
142.67/119.73	o 393
142.88/119.92	o 392
143.07/120.11	o 391
143.27/120.30	o 390
143.37/120.49	o 389
143.57/120.69	o 388
143.77/120.90	o 387
144.02/121.09	o 386
144.22/121.28	o 385
144.42/121.46	o 384
144.62/121.65	o 383
144.82/121.84	o 382
145.02/122.02	o 381
145.22/122.21	o 380
145.42/122.41	o 379
145.52/122.60	o 378
145.72/122.79	o 377
145.92/122.98	o 376
146.12/123.17	o 375
146.33/123.37	o 374
146.52/123.56	o 373
146.72/123.75	o 372
146.92/123.94	o 371
147.12/124.13	o 370
147.33/124.32	o 369
147.52/124.51	o 368
147.72/124.70	o 367
147.92/124.90	o 366
148.02/125.09	o 365
148.22/125.28	o 364
148.43/125.48	o 363
148.62/125.67	o 362
148.82/125.86	o 361
149.02/126.05	o 360
149.22/126.24	o 359
149.42/126.42	o 358
149.63/126.61	o 357
149.82/126.81	o 356
149.92/126.99	o 355
150.12/127.18	o 354
150.32/127.37	o 353
150.52/127.57	o 352
150.73/127.76	o 351
150.92/127.95	o 350
151.12/128.14	o 349
151.32/128.34	o 348
151.52/128.54	o 347
151.73/128.73	o 346
151.92/128.93	o 345
152.20/129.18	o 344
152.40/129.38	o 343
152.60/129.56	o 342
152.80/129.76	o 341
153.01/129.96	o 340
153.20/130.15	o 339
153.40/130.34	o 338
153.60/130.54	o 337
153.80/130.73	o 336
154.00/130.92	o 335
154.20/131.11	o 334
154.40/131.30	o 333
154.50/131.48	o 332
154.70/131.68	o 331
154.90/131.88	o 330
155.10/132.07	o 329
155.30/132.25	o 328
155.50/132.44	o 327
155.70/132.64	o 326
155.90/132.82	o 325
156.10/133.02	o 324
156.20/133.20	o 323
156.39/133.39	o 322
156.59/133.58	o 321
156.80/133.76	o 320
157.00/133.96	o 319
157.20/134.16	o 318
157.40/134.34	o 317
157.60/134.53	o 316
157.80/134.73	o 315
158.00/134.92	o 314
158.20/135.11	o 313
158.30/135.30	o 312
158.50/135.49	o 311
158.70/135.68	o 310
158.90/135.87	o 309
159.10/136.06	o 308
159.30/136.25	o 307
159.51/136.44	o 306
159.71/136.63	o 305
159.97/136.83	o 304
160.17/137.02	o 303
160.37/137.21	o 302
160.57/137.40	o 301
160.68/137.60	o 300
160.87/137.79	o 299
161.07/137.98	o 298
161.27/138.16	o 297
161.47/138.35	o 296
161.67/138.53	o 295
161.88/138.72	o 294
162.07/138.92	o 293
162.27/139.11	o 292
162.47/139.30	o 291
162.57/139.49	o 290
162.77/139.68	o 289
162.98/139.87	o 288
163.17/140.06	o 287
163.37/140.25	o 286
163.57/140.44	o 285
163.77/140.64	o 284
163.98/140.83	o 283
164.17/141.02	o 282
164.37/141.21	o 281
164.57/141.40	o 280
164.77/141.60	o 279
164.87/141.79	o 278
165.08/141.97	o 277
165.27/142.17	o 276
165.47/142.36	o 275
165.67/142.55	o 274
165.87/142.74	o 273
166.07/142.93	o 272
166.28/143.12	o 271
166.47/143.31	o 270
166.67/143.50	o 269
166.87/143.70	o 268
166.97/143.89	o 267
167.17/144.08	o 266
167.38/144.29	o 265
167.63/144.48	o 264
167.83/144.66	o 263
168.03/144.85	o 262
168.24/145.04	o 261
168.45/145.23	o 260
168.64/145.42	o 259
168.84/145.60	o 258
168.94/145.80	o 257
169.14/145.98	o 256
169.34/146.17	o 255
169.55/146.36	o 254
169.74/146.54	o 253
169.94/146.73	o 252
170.14/146.92	o 251
170.34/147.12	o 250
170.54/147.31	o 249
170.65/147.50	o 248
170.84/147.69	o 247
171.04/147.88	o 246
171.24/148.08	o 245
171.44/148.27	o 244
171.64/148.45	o 243
171.85/148.64	o 242
172.04/148.83	o 241
172.24/149.02	o 240
172.44/149.21	o 239
172.64/149.40	o 238
172.74/149.59	o 237
172.95/149.78	o 236
173.14/149.96	o 235
173.34/150.15	o 234
173.54/150.34	o 233
173.74/150.53	o 232
173.95/150.72	o 231
174.14/150.91	o 230
174.34/151.10	o 229
174.44/151.29	o 228
174.69/151.49	o 227
174.89/151.68	o 226
175.10/151.86	o 225
175.29/152.06	o 224
175.49/152.24	o 223
175.69/152.43	o 222
175.89/152.62	o 221
176.09/152.83	o 220
176.30/153.01	o 219
176.49/153.21	o 218
176.59/153.39	o 217
176.79/153.58	o 216
176.99/153.76	o 215
177.19/153.96	o 214
177.40/154.15	o 213
177.59/154.35	o 212
177.79/154.54	o 211
177.99/154.72	o 210
178.19/154.91	o 209
178.29/155.10	o 208
178.50/155.29	o 207
178.69/155.48	o 206
178.89/155.67	o 205
179.09/155.86	o 204
179.29/156.05	o 203
179.50/156.23	o 202
179.69/156.42	o 201
179.89/156.61	o 200
180.09/156.80	o 199
180.19/156.99	o 198
180.40/157.19	o 197
180.60/157.39	o 196
180.80/157.58	o 195
181.00/157.77	o 194
181.20/157.96	o 193
181.40/158.13	o 192
181.64/158.33	o 191
181.85/158.53	o 190
182.04/158.72	o 189
182.24/158.92	o 188
182.44/159.11	o 187
182.54/159.29	o 186
182.74/159.47	o 185
182.95/159.65	o 184
183.14/159.85	o 183
183.34/160.03	o 182
183.54/160.22	o 181
183.74/160.41	o 180
183.84/160.60	o 179
184.06/160.79	o 178
184.25/160.99	o 177
184.45/161.17	o 176
184.65/161.37	o 175
184.85/161.56	o 174
185.06/161.74	o 173
185.25/161.94	o 172
185.45/162.13	o 171
185.65/162.31	o 170
185.85/162.50	o 169
185.96/162.69	o 168
186.17/162.87	o 167
186.36/163.06	o 166
186.57/163.25	o 165
186.77/163.44	o 164
186.97/163.63	o 163
187.20/163.82	o 162
187.41/164.01	o 161
187.60/164.20	o 160
187.70/164.39	o 159
187.90/164.58	o 158
188.10/164.78	o 157
188.38/164.97	o 156
188.59/165.16	o 155
188.78/165.35	o 154
188.98/165.54	o 153
189.18/165.73	o 152
189.38/165.92	o 151
189.48/166.10	o 150
189.68/166.29	o 149
189.88/166.48	o 148
190.08/166.66	o 147
190.28/166.85	o 146
190.48/167.04	o 145
190.68/167.23	o 144
190.88/167.42	o 143
191.08/167.60	o 142
191.18/167.79	o 141
191.38/167.97	o 140
191.58/168.16	o 139
191.79/168.34	o 138
191.98/168.53	o 137
192.18/168.71	o 136
192.38/168.90	o 135
192.48/169.08	o 134
192.68/169.27	o 133
192.89/169.45	o 132
193.08/169.64	o 131
193.28/169.83	o 130
193.48/170.02	o 129
193.68/170.20	o 128
193.79/170.39	o 127
194.00/170.58	o 126
194.19/170.77	o 125
194.39/170.96	o 124
194.64/171.15	o 123
194.84/171.34	o 122
195.04/171.53	o 121
195.24/171.71	o 120
195.44/171.90	o 119
195.54/172.09	o 118
195.74/172.27	o 117
195.94/172.46	o 116
196.14/172.65	o 115
196.34/172.85	o 114
196.54/173.02	o 113
196.74/173.21	o 112
196.94/173.40	o 111
197.04/173.59	o 110
197.25/173.78	o 109
197.47/173.98	o 108
197.92/174.21	o 107
198.13/174.42	o 106
198.36/174.61	o 105
198.56/174.80	o 104
198.67/175.00	o 103
199.08/175.20	o 102
199.59/175.40	o 101
199.69/175.59	o 100
199.89/175.78	o 99
200.09/175.97	o 98
200.30/176.16	o 97
200.52/176.34	o 96
200.72/176.54	o 95
200.92/176.73	o 94
201.12/176.92	o 93
201.35/177.11	o 92
201.54/177.31	o 91
201.79/177.51	o 90
201.89/177.69	o 89
202.09/177.88	o 88
202.29/178.07	o 87
202.50/178.26	o 86
202.69/178.45	o 85
202.89/178.63	o 84
203.12/178.83	o 83
203.32/179.02	o 82
203.52/179.21	o 81
203.63/179.40	o 80
203.82/179.59	o 79
204.02/179.78	o 78
204.23/179.98	o 77
204.42/180.17	o 76
204.62/180.35	o 75
204.83/180.54	o 74
205.03/180.74	o 73
205.23/180.93	o 72
205.43/181.12	o 71
205.63/181.31	o 70
205.73/181.50	o 69
205.93/181.69	o 68
206.13/181.88	o 67
206.33/182.07	o 66
206.53/182.26	o 65
206.74/182.46	o 64
206.95/182.65	o 63
207.14/182.85	o 62
207.34/183.04	o 61
207.54/183.24	o 60
207.80/183.44	o 59
208.00/183.63	o 58
208.21/183.82	o 57
208.40/184.02	o 56
208.60/184.21	o 55
208.70/184.40	o 54
208.90/184.58	o 53
209.10/184.77	o 52
209.31/184.96	o 51
209.51/185.15	o 50
209.71/185.34	o 49
209.91/185.53	o 48
210.13/185.73	o 47
210.40/185.93	o 46
211.24/186.36	o 45
211.85/186.81	o 44
215.33/190.00	o 43
218.52/193.16	o 42
2400.00/2321.01	java.util.concurrent.TimeoutException
2400.00/2321.01		at concrete.MAC.mac(MAC.scala:74)
2400.00/2321.01		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:145)
2400.00/2321.01		at scala.util.Try$.apply(Try.scala:209)
2400.00/2321.01		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
2400.00/2321.01		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
2400.00/2321.01		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
2400.00/2321.01		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
2400.00/2321.01		at org.scalameter.Measurer$Default.measure(Measurer.scala:131)
2400.00/2321.01		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
2400.00/2321.01		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
2400.00/2321.01		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
2400.00/2321.01		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
2400.00/2321.01		at concrete.MAC.oneRun(MAC.scala:146)
2400.00/2321.01		at concrete.MAC.nextSolution(MAC.scala:166)
2400.00/2321.01		at concrete.MAC.$anonfun$nextSolution$2(MAC.scala:196)
2400.00/2321.01		at concrete.ProblemState.map(ProblemState.scala:203)
2400.00/2321.01		at concrete.ProblemState.map(ProblemState.scala:188)
2400.00/2321.01		at concrete.MAC.nextSolution(MAC.scala:195)
2400.00/2321.01		at concrete.Solver.hasNext(Solver.scala:202)
2400.00/2321.01		at scala.collection.Iterator.toStream(Iterator.scala:1403)
2400.00/2321.01		at scala.collection.Iterator.toStream$(Iterator.scala:1402)
2400.00/2321.01		at concrete.Solver.toStream(Solver.scala:73)
2400.00/2321.01		at scala.collection.Iterator.$anonfun$toStream$1(Iterator.scala:1403)
2400.00/2321.01		at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1169)
2400.00/2321.01		at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1159)
2400.00/2321.01		at scala.collection.immutable.Stream.foreach(Stream.scala:531)
2400.00/2321.01		at concrete.runner.ConcreteRunner.$anonfun$run$10(ConcreteRunner.scala:157)
2400.00/2321.01		at scala.util.Success.$anonfun$map$1(Try.scala:251)
2400.00/2321.01		at scala.util.Success.map(Try.scala:209)
2400.00/2321.01		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:154)
2400.00/2321.01		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:72)
2400.00/2321.01		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:17)
2400.00/2321.01		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:119)
2400.00/2321.01		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:17)
2400.00/2321.01		at scala.Function0.apply$mcV$sp(Function0.scala:34)
2400.00/2321.01		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
2400.00/2321.01		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
2400.00/2321.01		at scala.App.$anonfun$main$1$adapted(App.scala:76)
2400.00/2321.01		at scala.collection.immutable.List.foreach(List.scala:389)
2400.00/2321.01		at scala.App.main(App.scala:76)
2400.00/2321.01		at scala.App.main$(App.scala:74)
2400.00/2321.01		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:17)
2400.00/2321.01		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2400.00/2321.02	v <instantiation cost="42">
2400.00/2321.02	v       <list>
2400.00/2321.02	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]
2400.00/2321.02	v       </list>
2400.00/2321.02	v       <values>
2400.00/2321.02	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
2400.00/2321.02	v       </values>
2400.00/2321.02	v     </instantiation>
2400.00/2321.02	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-4245130-1500699655/watcher-4245130-1500699655 -o /tmp/evaluation-result-4245130-1500699655/solver-4245130-1500699655 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node136-1500683313-13636 --watchdog 2560 bin/concrete HOME/instance-4245130-1500699655.xml 

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

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


[startup+0 s]
/proc/loadavg: 2.13 1.87 1.83 3/262 18179
/proc/meminfo: memFree=28961836/32770624 swapFree=5844/253320
[pid=18179] ppid=18176 vsize=9508 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18179/stat : 18179 (bash) S 18176 18179 13605 0 -1 4202496 686 1532 0 0 0 0 0 0 20 0 1 0 5232367 9736192 351 33554432000 4194304 5098028 140724414363264 140724414360904 140643409165312 0 0 4100 65536 18446744071580971376 0 0 17 12 0 0 0 0 0 7196144 7232144 17166336 140724414371086 140724414371171 140724414371171 140724414373870 0
/proc/18179/statm: 2377 351 278 221 0 86 0

[startup+0.10013 s]
/proc/loadavg: 2.13 1.87 1.83 3/262 18179
/proc/meminfo: memFree=28961836/32770624 swapFree=5844/253320
[pid=18179] ppid=18176 vsize=9640 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/18179/stat : 18179 (bash) S 18176 18179 13605 0 -1 4202496 884 6412 0 0 0 0 0 1 20 0 1 0 5232367 9871360 378 33554432000 4194304 5098028 140724414363264 140724414357272 140643409165312 0 0 4100 65536 18446744071580971376 0 0 17 12 0 0 0 0 0 7196144 7232144 17166336 140724414371086 140724414371171 140724414371171 140724414373870 0
/proc/18179/statm: 2410 378 296 221 0 119 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9640

[startup+0.200407 s]
/proc/loadavg: 2.13 1.87 1.83 3/262 18179
/proc/meminfo: memFree=28961836/32770624 swapFree=5844/253320
[pid=18179] ppid=18176 vsize=10435860 CPUtime=0.18 cores=0,2,4,6,8,10,12,14
/proc/18179/stat : 18179 (java) S 18176 18179 13605 0 -1 1077944320 4966 12673 0 0 6 1 8 3 20 0 13 0 5232367 10686320640 4790 33554432000 4194304 4196468 140735580763872 140735580746416 140664104615671 0 0 0 16800971 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 28422144 140735580768961 140735580771735 140735580771735 140735580774351 0
/proc/18179/statm: 2608965 4790 2138 1 0 2597403 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 10435860

[startup+0.300329 s]
/proc/loadavg: 2.13 1.87 1.83 3/262 18179
/proc/meminfo: memFree=28961836/32770624 swapFree=5844/253320
[pid=18179] ppid=18176 vsize=10902392 CPUtime=0.35 cores=0,2,4,6,8,10,12,14
/proc/18179/stat : 18179 (java) S 18176 18179 13605 0 -1 1077944320 7224 12673 0 0 22 2 8 3 20 0 20 0 5232367 11164049408 8506 33554432000 4194304 4196468 140735580763872 140735580746416 140664104615671 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 28422144 140735580768961 140735580771735 140735580771735 140735580774351 0
/proc/18179/statm: 2725598 8506 2996 1 0 2713890 0
Current children cumulated CPU time (s) 0.35
Current children cumulated vsize (KiB) 10902392

[startup+0.700157 s]
/proc/loadavg: 2.13 1.87 1.83 3/262 18179
/proc/meminfo: memFree=28961836/32770624 swapFree=5844/253320
[pid=18179] ppid=18176 vsize=10902720 CPUtime=0.9 cores=0,2,4,6,8,10,12,14
/proc/18179/stat : 18179 (java) S 18176 18179 13605 0 -1 1077944320 12578 12673 0 0 75 4 8 3 20 0 20 0 5232367 11164385280 15376 33554432000 4194304 4196468 140735580763872 140735580746416 140664104615671 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 28422144 140735580768961 140735580771735 140735580771735 140735580774351 0
/proc/18179/statm: 2725680 15376 3172 1 0 2713890 0
Current children cumulated CPU time (s) 0.9
Current children cumulated vsize (KiB) 10902720

[startup+1.50074 s]
/proc/loadavg: 2.13 1.87 1.83 3/282 18252
/proc/meminfo: memFree=28827432/32770624 swapFree=5844/253336
[pid=18179] ppid=18176 vsize=10913344 CPUtime=2.29 cores=0,2,4,6,8,10,12,14
/proc/18179/stat : 18179 (java) S 18176 18179 13605 0 -1 1077944320 27391 12673 0 0 204 14 8 3 20 0 20 0 5232367 11175264256 43949 33554432000 4194304 4196468 140735580763872 140735580746416 140664104615671 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 28422144 140735580768961 140735580771735 140735580771735 140735580774351 0
/proc/18179/statm: 2728336 43949 3413 1 0 2716450 0
[pid=18179/tid=18234] ppid=18176 vsize=10913344 CPUtime=1.41 cores=0,2,4,6,8,10,12,14
/proc/18179/task/18234/stat : 18234 (java) R 18176 18179 13605 0 -1 4202560 19230 12673 0 0 125 5 8 3 20 0 20 0 5232380 11175264256 43949 33554432000 4194304 4196468 140735580763872 140664108828928 140663741629825 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28422144 140735580768961 140735580771735 140735580771735 140735580774351 0
[pid=18179/tid=18235] ppid=18176 vsize=10913344 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/18179/task/18235/stat : 18235 (java) S 18176 18179 13605 0 -1 1077944384 18 12673 0 0 1 0 8 3 20 0 20 0 5232381 11175264256 43949 33554432000 4194304 4196468 140735580763872 140663711001360 140664104625877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28422144 140735580768961 140735580771735 140735580771735 140735580774351 0
[pid=18179/tid=18236] ppid=18176 vsize=10913344 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/18179/task/18236/stat : 18236 (java) S 18176 18179 13605 0 -1 1077944384 37 12673 0 0 1 0 8 3 20 0 20 0 5232381 11175264256 43949 33554432000 4194304 4196468 140735580763872 140663709948816 140664104625877 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 28422144 140735580768961 140735580771735 140735580771735 140735580774351 0
[pid=18179/tid=18237] ppid=18176 vsize=10913344 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/18179/task/18237/stat : 18237 (java) S 18176 18179 13605 0 -1 1077944384 14 12673 0 0 1 0 8 3 20 0 20 0 5232381 11175264256 43949 33554432000 4194304 4196468 140735580763872 140663708896272 140664104625877 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 28422144 140735580768961 140735580771735 140735580771735 140735580774351 0
[pid=18179/tid=18238] ppid=18176 vsize=10913344 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/18179/task/18238/stat : 18238 (java) S 18176 18179 13605 0 -1 1077944384 20 12673 0 0 1 0 8 3 20 0 20 0 5232381 11175264256 43949 33554432000 4194304 4196468 140735580763872 140663707843728 140664104625877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28422144 140735580768961 140735580771735 140735580771735 140735580774351 0
[pid=18179/tid=18239] ppid=18176 vsize=10913344 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/18179/task/18239/stat : 18239 (java) S 18176 18179 13605 0 -1 1077944384 67 12673 0 0 1 0 8 3 20 0 20 0 5232381 11175264256 43949 33554432000 4194304 4196468 140735580763872 140663706790160 140664104625877 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 28422144 140735580768961 140735580771735 140735580771735 140735580774351 0
[pid=18179/tid=18240] ppid=18176 vsize=10913344 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/18179/task/18240/stat : 18240 (java) S 18176 18179 13605 0 -1 1077944384 132 12673 0 0 1 0 8 3 20 0 20 0 5232381 11175264256 43949 33554432000 4194304 4196468 140735580763872 140663705737616 140664104625877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28422144 140735580768961 140735580771735 140735580771735 140735580774351 0
[pid=18179/tid=18241] ppid=18176 vsize=10913344 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/18179/task/18241/stat : 18241 (java) S 18176 18179 13605 0 -1 1077944384 16 12673 0 0 1 0 8 3 20 0 20 0 5232381 11175264256 43949 33554432000 4194304 4196468 140735580763872 140663704685072 140664104625877 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 28422144 140735580768961 140735580771735 140735580771735 140735580774351 0
[pid=18179/tid=18242] ppid=18176 vsize=10913344 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/18179/task/18242/stat : 18242 (java) S 18176 18179 13605 0 -1 1077944384 13 12673 0 0 0 0 8 3 20 0 20 0 5232381 11175264256 43949 33554432000 4194304 4196468 140735580763872 140663703632528 140664104625877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28422144 140735580768961 140735580771735 140735580771735 140735580774351 0
[pid=18179/tid=18243] ppid=18176 vsize=10913344 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/18179/task/18243/stat : 18243 (java) S 18176 18179 13605 0 -1 1077944384 1419 12673 0 0 1 0 8 3 20 0 20 0 5232383 11175264256 43949 33554432000 4194304 4196468 140735580763872 140663579220464 140664104626818 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28422144 140735580768961 140735580771735 140735580771735 140735580774351 0
[pid=18179/tid=18244] ppid=18176 vsize=10913344 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/18179/task/18244/stat : 18244 (java) S 18176 18179 13605 0 -1 1077944384 57 12673 0 0 0 0 8 3 20 0 20 0 5232384 11175264256 43949 33554432000 4194304 4196468 140735580763872 140663578166752 140664104625877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28422144 140735580768961 140735580771735 140735580771735 140735580774351 0
[pid=18179/tid=18245] ppid=18176 vsize=10913344 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/18179/task/18245/stat : 18245 (java) S 18176 18179 13605 0 -1 1077944384 43 12673 0 0 0 0 8 3 20 0 20 0 5232384 11175264256 43949 33554432000 4194304 4196468 140735580763872 140663577114112 140664104625877 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 28422144 140735580768961 140735580771735 140735580771735 140735580774351 0
[pid=18179/tid=18246] ppid=18176 vsize=10913344 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/18179/task/18246/stat : 18246 (java) S 18176 18179 13605 0 -1 1077944384 1 12673 0 0 0 0 8 3 20 0 20 0 5232389 11175264256 43949 33554432000 4194304 4196468 140735580763872 140663576062672 140664104634267 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 28422144 140735580768961 140735580771735 140735580771735 140735580774351 0
[pid=18179/tid=18247] ppid=18176 vsize=10913344 CPUtime=0.22 cores=0,2,4,6,8,10,12,14
/proc/18179/task/18247/stat : 18247 (java) S 18176 18179 13605 0 -1 1077944384 913 12673 0 0 11 0 8 3 20 0 20 0 5232389 11175264256 43949 33554432000 4194304 4196468 140735580763872 140663575009264 140664104626818 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28422144 140735580768961 140735580771735 140735580771735 140735580774351 0
[pid=18179/tid=18248] ppid=18176 vsize=10913344 CPUtime=0.27 cores=0,2,4,6,8,10,12,14
/proc/18179/task/18248/stat : 18248 (java) R 18176 18179 13605 0 -1 4202560 1287 12673 0 0 16 0 8 3 20 0 20 0 5232389 11175264256 43949 33554432000 4194304 4196468 140735580763872 140663573946528 140664082782152 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28422144 140735580768961 140735580771735 140735580771735 140735580774351 0
[pid=18179/tid=18249] ppid=18176 vsize=10913344 CPUtime=0.22 cores=0,2,4,6,8,10,12,14
/proc/18179/task/18249/stat : 18249 (java) R 18176 18179 13605 0 -1 4202560 501 12673 0 0 11 0 8 3 20 0 20 0 5232389 11175264256 43949 33554432000 4194304 4196468 140735580763872 140663572893440 140664086159394 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 28422144 140735580768961 140735580771735 140735580771735 140735580774351 0
[pid=18179/tid=18250] ppid=18176 vsize=10913344 CPUtime=0.36 cores=0,2,4,6,8,10,12,14
/proc/18179/task/18250/stat : 18250 (java) S 18176 18179 13605 0 -1 1077944384 1512 12673 0 0 25 0 8 3 20 0 20 0 5232389 11175264256 43949 33554432000 4194304 4196468 140735580763872 140663571851632 140664104626818 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 28422144 140735580768961 140735580771735 140735580771735 140735580774351 0
[pid=18179/tid=18251] ppid=18176 vsize=10913344 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/18179/task/18251/stat : 18251 (java) S 18176 18179 13605 0 -1 1077944384 3 12673 0 0 0 0 8 3 20 0 20 0 5232389 11175264256 43949 33554432000 4194304 4196468 140735580763872 140663570799328 140664104625877 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 28422144 140735580768961 140735580771735 140735580771735 140735580774351 0
[pid=18179/tid=18252] ppid=18176 vsize=10913344 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/18179/task/18252/stat : 18252 (java) S 18176 18179 13605 0 -1 1077944384 3 12673 0 0 0 0 8 3 20 0 20 0 5232389 11175264256 43949 33554432000 4194304 4196468 140735580763872 140663569746864 140664104626818 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28422144 140735580768961 140735580771735 140735580771735 140735580774351 0
Current children cumulated CPU time (s) 2.29
Current children cumulated vsize (KiB) 10913344

[startup+3.10104 s]
/proc/loadavg: 2.04 1.86 1.82 4/282 18252
/proc/meminfo: memFree=28639840/32770624 swapFree=5844/253336
[pid=18179] ppid=18176 vsize=10923772 CPUtime=7.19 cores=0,2,4,6,8,10,12,14
/proc/18179/stat : 18179 (java) S 18176 18179 13605 0 -1 1077944320 40475 12673 0 0 679 29 8 3 20 0 20 0 5232367 11185942528 74607 33554432000 4194304 4196468 140735580763872 140735580746416 140664104615671 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 28422144 140735580768961 140735580771735 140735580771735 140735580774351 0
/proc/18179/statm: 2730943 74607 3496 1 0 2718498 0
[pid=18179/tid=18234] ppid=18176 vsize=10923772 CPUtime=2.97 cores=0,2,4,6,8,10,12,14
/proc/18179/task/18234/stat : 18234 (java) R 18176 18179 13605 0 -1 4202560 24595 12673 0 0 277 9 8 3 20 0 20 0 5232380 11185942528 74607 33554432000 4194304 4196468 140735580763872 140664108844176 140664104627606 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28422144 140735580768961 140735580771735 140735580771735 140735580774351 0
[pid=18179/tid=18235] ppid=18176 vsize=10923772 CPUtime=0.15 cores=0,2,4,6,8,10,12,14
/proc/18179/task/18235/stat : 18235 (java) S 18176 18179 13605 0 -1 1077944384 30 12673 0 0 2 2 8 3 20 0 20 0 5232381 11185942528 74607 33554432000 4194304 4196468 140735580763872 140663711001360 140664104625877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28422144 140735580768961 140735580771735 140735580771735 140735580774351 0
[pid=18179/tid=18236] ppid=18176 vsize=10923772 CPUtime=0.15 cores=0,2,4,6,8,10,12,14
/proc/18179/task/18236/stat : 18236 (java) S 18176 18179 13605 0 -1 1077944384 140 12673 0 0 2 2 8 3 20 0 20 0 5232381 11185942528 74607 33554432000 4194304 4196468 140735580763872 140663709948816 140664104625877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28422144 140735580768961 140735580771735 140735580771735 140735580774351 0
[pid=18179/tid=18237] ppid=18176 vsize=10923772 CPUtime=0.16 cores=0,2,4,6,8,10,12,14
/proc/18179/task/18237/stat : 18237 (java) S 18176 18179 13605 0 -1 1077944384 45 12673 0 0 3 2 8 3 20 0 20 0 5232381 11185942528 74607 33554432000 4194304 4196468 140735580763872 140663708896272 140664104625877 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 28422144 140735580768961 140735580771735 140735580771735 140735580774351 0
[pid=18179/tid=18238] ppid=18176 vsize=10923772 CPUtime=0.14 cores=0,2,4,6,8,10,12,14
/proc/18179/task/18238/stat : 18238 (java) S 18176 18179 13605 0 -1 1077944384 88 12673 0 0 2 1 8 3 20 0 20 0 5232381 11185942528 74607 33554432000 4194304 4196468 140735580763872 140663707843728 140664104625877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28422144 140735580768961 140735580771735 140735580771735 140735580774351 0
[pid=18179/tid=18239] ppid=18176 vsize=10923772 CPUtime=0.15 cores=0,2,4,6,8,10,12,14
/proc/18179/task/18239/stat : 18239 (java) S 18176 18179 13605 0 -1 1077944384 133 12673 0 0 3 1 8 3 20 0 20 0 5232381 11185942528 74607 33554432000 4194304 4196468 140735580763872 140663706790160 140664104625877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28422144 140735580768961 140735580771735 140735580771735 140735580774351 0
[pid=18179/tid=18240] ppid=18176 vsize=10923772 CPUtime=0.15 cores=0,2,4,6,8,10,12,14
/proc/18179/task/18240/stat : 18240 (java) S 18176 18179 13605 0 -1 1077944384 274 12673 0 0 2 2 8 3 20 0 20 0 5232381 11185942528 74607 33554432000 4194304 4196468 140735580763872 140663705737616 140664104625877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28422144 140735580768961 140735580771735 140735580771735 140735580774351 0
[pid=18179/tid=18241] ppid=18176 vsize=10923772 CPUtime=0.14 cores=0,2,4,6,8,10,12,14
/proc/18179/task/18241/stat : 18241 (java) S 18176 18179 13605 0 -1 1077944384 65 12673 0 0 2 1 8 3 20 0 20 0 5232381 11185942528 74607 33554432000 4194304 4196468 140735580763872 140663704685072 140664104625877 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 28422144 140735580768961 140735580771735 140735580771735 140735580774351 0
[pid=18179/tid=18242] ppid=18176 vsize=10923772 CPUtime=0.14 cores=0,2,4,6,8,10,12,14
/proc/18179/task/18242/stat : 18242 (java) S 18176 18179 13605 0 -1 1077944384 99 12673 0 0 2 1 8 3 20 0 20 0 5232381 11185942528 74607 33554432000 4194304 4196468 140735580763872 140663703632528 140664104625877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28422144 140735580768961 140735580771735 140735580771735 140735580774351 0
[pid=18179/tid=18243] ppid=18176 vsize=10923772 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/18179/task/18243/stat : 18243 (java) S 18176 18179 13605 0 -1 1077944384 1857 12673 0 0 1 0 8 3 20 0 20 0 5232383 11185942528 74607 33554432000 4194304 4196468 140735580763872 140663579220464 140664104626818 0 0 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 28422144 140735580768961 140735580771735 140735580771735 140735580774351 0
[pid=18179/tid=18244] ppid=18176 vsize=10923772 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/18179/task/18244/stat : 18244 (java) S 18176 18179 13605 0 -1 1077944384 58 12673 0 0 0 0 8 3 20 0 20 0 5232384 11185942528 74607 33554432000 4194304 4196468 140735580763872 140663578166752 140664104625877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28422144 140735580768961 140735580771735 140735580771735 140735580774351 0
[pid=18179/tid=18245] ppid=18176 vsize=10923772 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/18179/task/18245/stat : 18245 (java) S 18176 18179 13605 0 -1 1077944384 43 12673 0 0 0 0 8 3 20 0 20 0 5232384 11185942528 74607 33554432000 4194304 4196468 140735580763872 140663577114112 140664104625877 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 28422144 140735580768961 140735580771735 140735580771735 140735580774351 0
[pid=18179/tid=18246] ppid=18176 vsize=10923772 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/18179/task/18246/stat : 18246 (java) S 18176 18179 13605 0 -1 1077944384 1 12673 0 0 0 0 8 3 20 0 20 0 5232389 11185942528 74607 33554432000 4194304 4196468 140735580763872 140663576062672 140664104634267 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 28422144 140735580768961 140735580771735 140735580771735 140735580774351 0
[pid=18179/tid=18247] ppid=18176 vsize=10923772 CPUtime=1.04 cores=0,2,4,6,8,10,12,14
/proc/18179/task/18247/stat : 18247 (java) S 18176 18179 13605 0 -1 1077944384 2302 12673 0 0 93 0 8 3 20 0 20 0 5232389 11185942528 74607 33554432000 4194304 4196468 140735580763872 140663575009264 140664104626818 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 28422144 140735580768961 140735580771735 140735580771735 140735580774351 0
[pid=18179/tid=18248] ppid=18176 vsize=10923772 CPUtime=1.13 cores=0,2,4,6,8,10,12,14
/proc/18179/task/18248/stat : 18248 (java) R 18176 18179 13605 0 -1 4202560 2607 12673 0 0 101 1 8 3 20 0 20 0 5232389 11185942528 74607 33554432000 4194304 4196468 140735580763872 140663573937176 140664088112505 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28422144 140735580768961 140735580771735 140735580771735 140735580774351 0
[pid=18179/tid=18249] ppid=18176 vsize=10923772 CPUtime=1.03 cores=0,2,4,6,8,10,12,14
/proc/18179/task/18249/stat : 18249 (java) R 18176 18179 13605 0 -1 4202560 1866 12673 0 0 91 1 8 3 20 0 20 0 5232389 11185942528 74607 33554432000 4194304 4196468 140735580763872 140663572904176 140664097600713 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28422144 140735580768961 140735580771735 140735580771735 140735580774351 0
[pid=18179/tid=18250] ppid=18176 vsize=10923772 CPUtime=1.03 cores=0,2,4,6,8,10,12,14
/proc/18179/task/18250/stat : 18250 (java) R 18176 18179 13605 0 -1 4202560 4131 12673 0 0 91 1 8 3 20 0 20 0 5232389 11185942528 74607 33554432000 4194304 4196468 140735580763872 140663571851928 140664083420718 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 28422144 140735580768961 140735580771735 140735580771735 140735580774351 0
[pid=18179/tid=18251] ppid=18176 vsize=10923772 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/18179/task/18251/stat : 18251 (java) S 18176 18179 13605 0 -1 1077944384 3 12673 0 0 0 0 8 3 20 0 20 0 5232389 11185942528 74607 33554432000 4194304 4196468 140735580763872 140663570799328 140664104625877 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 28422144 140735580768961 140735580771735 140735580771735 140735580774351 0
[pid=18179/tid=18252] ppid=18176 vsize=10923772 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/18179/task/18252/stat : 18252 (java) S 18176 18179 13605 0 -1 1077944384 6 12673 0 0 0 0 8 3 20 0 20 0 5232389 11185942528 74607 33554432000 4194304 4196468 140735580763872 140663569746864 140664104626818 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 28422144 140735580768961 140735580771735 140735580771735 140735580774351 0
Current children cumulated CPU time (s) 7.19
Current children cumulated vsize (KiB) 10923772

[startup+6.30114 s]
/proc/loadavg: 2.04 1.86 1.82 3/283 18275
/proc/meminfo: memFree=28319376/32770624 swapFree=5844/253336
[pid=18179] ppid=18176 vsize=10925820 CPUtime=16.69 cores=0,2,4,6,8,10,12,14
/proc/18179/stat : 18179 (java) S 18176 18179 13605 0 -1 1077944320 49629 12673 0 0 1536 122 8 3 20 0 20 0 5232367 11188039680 188848 33554432000 4194304 4196468 140735580763872 140735580746416 140664104615671 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 28422144 140735580768961 140735580771735 140735580771735 140735580774351 0
/proc/18179/statm: 2731455 188848 3512 1 0 2719010 0
[pid=18179/tid=18234] ppid=18176 vsize=10925820 CPUtime=5.91 cores=0,2,4,6,8,10,12,14
/proc/18179/task/18234/stat : 18234 (java) R 18176 18179 13605 0 -1 4202560 25654 12673 0 0 567 13 8 3 20 0 20 0 5232380 11188039680 188848 33554432000 4194304 4196468 140735580763872 140664108850496 140663748955636 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28422144 140735580768961 140735580771735 140735580771735 140735580774351 0
[pid=18179/tid=18235] ppid=18176 vsize=10925820 CPUtime=0.37 cores=0,2,4,6,8,10,12,14
/proc/18179/task/18235/stat : 18235 (java) S 18176 18179 13605 0 -1 1077944384 189 12673 0 0 14 12 8 3 20 0 20 0 5232381 11188039680 188848 33554432000 4194304 4196468 140735580763872 140663711001360 140664104625877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28422144 140735580768961 140735580771735 140735580771735 140735580774351 0
[pid=18179/tid=18236] ppid=18176 vsize=10925820 CPUtime=0.36 cores=0,2,4,6,8,10,12,14
/proc/18179/task/18236/stat : 18236 (java) S 18176 18179 13605 0 -1 1077944384 235 12673 0 0 14 11 8 3 20 0 20 0 5232381 11188039680 188848 33554432000 4194304 4196468 140735580763872 140663709948816 140664104625877 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 28422144 140735580768961 140735580771735 140735580771735 140735580774351 0
[pid=18179/tid=18237] ppid=18176 vsize=10925820 CPUtime=0.39 cores=0,2,4,6,8,10,12,14
/proc/18179/task/18237/stat : 18237 (java) S 18176 18179 13605 0 -1 1077944384 200 12673 0 0 15 13 8 3 20 0 20 0 5232381 11188039680 188848 33554432000 4194304 4196468 140735580763872 140663708896272 140664104625877 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 28422144 140735580768961 140735580771735 140735580771735 140735580774351 0
[pid=18179/tid=18238] ppid=18176 vsize=10925820 CPUtime=0.39 cores=0,2,4,6,8,10,12,14
/proc/18179/task/18238/stat : 18238 (java) S 18176 18179 13605 0 -1 1077944384 233 12673 0 0 15 13 8 3 20 0 20 0 5232381 11188039680 188848 33554432000 4194304 4196468 140735580763872 140663707843728 140664104625877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28422144 140735580768961 140735580771735 140735580771735 140735580774351 0
[pid=18179/tid=18239] ppid=18176 vsize=10925820 CPUtime=0.38 cores=0,2,4,6,8,10,12,14
/proc/18179/task/18239/stat : 18239 (java) S 18176 18179 13605 0 -1 1077944384 293 12673 0 0 15 12 8 3 20 0 20 0 5232381 11188039680 188848 33554432000 4194304 4196468 140735580763872 140663706790160 140664104625877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28422144 140735580768961 140735580771735 140735580771735 140735580774351 0
[pid=18179/tid=18240] ppid=18176 vsize=10925820 CPUtime=0.4 cores=0,2,4,6,8,10,12,14
/proc/18179/task/18240/stat : 18240 (java) S 18176 18179 13605 0 -1 1077944384 463 12673 0 0 16 13 8 3 20 0 20 0 5232381 11188039680 188848 33554432000 4194304 4196468 140735580763872 140663705737616 140664104625877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28422144 140735580768961 140735580771735 140735580771735 140735580774351 0
[pid=18179/tid=18241] ppid=18176 vsize=10925820 CPUtime=0.38 cores=0,2,4,6,8,10,12,14
/proc/18179/task/18241/stat : 18241 (java) S 18176 18179 13605 0 -1 1077944384 249 12673 0 0 15 12 8 3 20 0 20 0 5232381 11188039680 188848 33554432000 4194304 4196468 140735580763872 140663704685072 140664104625877 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 28422144 140735580768961 140735580771735 140735580771735 140735580774351 0
[pid=18179/tid=18242] ppid=18176 vsize=10925820 CPUtime=0.37 cores=0,2,4,6,8,10,12,14
/proc/18179/task/18242/stat : 18242 (java) S 18176 18179 13605 0 -1 1077944384 244 12673 0 0 14 12 8 3 20 0 20 0 5232381 11188039680 188848 33554432000 4194304 4196468 140735580763872 140663703632528 140664104625877 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 28422144 140735580768961 140735580771735 140735580771735 140735580774351 0
[pid=18179/tid=18243] ppid=18176 vsize=10925820 CPUtime=0.14 cores=0,2,4,6,8,10,12,14
/proc/18179/task/18243/stat : 18243 (java) S 18176 18179 13605 0 -1 1077944384 2181 12673 0 0 3 0 8 3 20 0 20 0 5232383 11188039680 188848 33554432000 4194304 4196468 140735580763872 140663579220464 140664104626818 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28422144 140735580768961 140735580771735 140735580771735 140735580774351 0
[pid=18179/tid=18244] ppid=18176 vsize=10925820 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/18179/task/18244/stat : 18244 (java) S 18176 18179 13605 0 -1 1077944384 58 12673 0 0 0 0 8 3 20 0 20 0 5232384 11188039680 188848 33554432000 4194304 4196468 140735580763872 140663578166752 140664104625877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28422144 140735580768961 140735580771735 140735580771735 140735580774351 0
[pid=18179/tid=18245] ppid=18176 vsize=10925820 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/18179/task/18245/stat : 18245 (java) S 18176 18179 13605 0 -1 1077944384 43 12673 0 0 0 0 8 3 20 0 20 0 5232384 11188039680 188848 33554432000 4194304 4196468 140735580763872 140663577114112 140664104625877 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 28422144 140735580768961 140735580771735 140735580771735 140735580774351 0
[pid=18179/tid=18246] ppid=18176 vsize=10925820 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/18179/task/18246/stat : 18246 (java) S 18176 18179 13605 0 -1 1077944384 1 12673 0 0 0 0 8 3 20 0 20 0 5232389 11188039680 188848 33554432000 4194304 4196468 140735580763872 140663576062672 140664104634267 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 28422144 140735580768961 140735580771735 140735580771735 140735580774351 0
[pid=18179/tid=18247] ppid=18176 vsize=10925820 CPUtime=2.29 cores=0,2,4,6,8,10,12,14
/proc/18179/task/18247/stat : 18247 (java) S 18176 18179 13605 0 -1 1077944384 3280 12673 0 0 218 0 8 3 20 0 20 0 5232389 11188039680 188848 33554432000 4194304 4196468 140735580763872 140663575009264 140664104626818 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28422144 140735580768961 140735580771735 140735580771735 140735580774351 0
[pid=18179/tid=18248] ppid=18176 vsize=10925820 CPUtime=2.5 cores=0,2,4,6,8,10,12,14
/proc/18179/task/18248/stat : 18248 (java) S 18176 18179 13605 0 -1 1077944384 3769 12673 0 0 238 1 8 3 20 0 20 0 5232389 11188039680 188848 33554432000 4194304 4196468 140735580763872 140663573956720 140664104626818 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 28422144 140735580768961 140735580771735 140735580771735 140735580774351 0
[pid=18179/tid=18249] ppid=18176 vsize=10925820 CPUtime=2.55 cores=0,2,4,6,8,10,12,14
/proc/18179/task/18249/stat : 18249 (java) S 18176 18179 13605 0 -1 1077944384 3946 12673 0 0 242 2 8 3 20 0 20 0 5232389 11188039680 188848 33554432000 4194304 4196468 140735580763872 140663572904176 140664104626818 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 28422144 140735580768961 140735580771735 140735580771735 140735580774351 0
[pid=18179/tid=18250] ppid=18176 vsize=10925820 CPUtime=1.57 cores=0,2,4,6,8,10,12,14
/proc/18179/task/18250/stat : 18250 (java) S 18176 18179 13605 0 -1 1077944384 6406 12673 0 0 144 2 8 3 20 0 20 0 5232389 11188039680 188848 33554432000 4194304 4196468 140735580763872 140663571851632 140664104626818 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 28422144 140735580768961 140735580771735 140735580771735 140735580774351 0
[pid=18179/tid=18251] ppid=18176 vsize=10925820 CPUtime=0.11 cores=0,2,4,6,8,10,12,14

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

/proc/18179/task/18248/stat : 18248 (java) S 18176 18179 13605 0 -1 1077944384 18160 12673 0 0 527 3 8 3 20 0 20 0 5232389 11192233984 446732 33554432000 4194304 4196468 140735580763872 140663573956720 140664104626818 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28422144 140735580768961 140735580771735 140735580771735 140735580774351 0
[pid=18179/tid=18249] ppid=18176 vsize=10929916 CPUtime=5.28 cores=0,2,4,6,8,10,12,14
/proc/18179/task/18249/stat : 18249 (java) S 18176 18179 13605 0 -1 1077944384 13132 12673 0 0 514 3 8 3 20 0 20 0 5232389 11192233984 446732 33554432000 4194304 4196468 140735580763872 140663572904176 140664104626818 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 28422144 140735580768961 140735580771735 140735580771735 140735580774351 0
[pid=18179/tid=18250] ppid=18176 vsize=10929916 CPUtime=2.81 cores=0,2,4,6,8,10,12,14
/proc/18179/task/18250/stat : 18250 (java) S 18176 18179 13605 0 -1 1077944384 26944 12673 0 0 265 5 8 3 20 0 20 0 5232389 11192233984 446732 33554432000 4194304 4196468 140735580763872 140663571851632 140664104626818 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28422144 140735580768961 140735580771735 140735580771735 140735580774351 0
[pid=18179/tid=18251] ppid=18176 vsize=10929916 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/18179/task/18251/stat : 18251 (java) S 18176 18179 13605 0 -1 1077944384 3 12673 0 0 0 0 8 3 20 0 20 0 5232389 11192233984 446732 33554432000 4194304 4196468 140735580763872 140663570799328 140664104625877 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 28422144 140735580768961 140735580771735 140735580771735 140735580774351 0
[pid=18179/tid=18252] ppid=18176 vsize=10929916 CPUtime=1.22 cores=0,2,4,6,8,10,12,14
/proc/18179/task/18252/stat : 18252 (java) S 18176 18179 13605 0 -1 1077944384 3095 12673 0 0 57 54 8 3 20 0 20 0 5232389 11192233984 446732 33554432000 4194304 4196468 140735580763872 140663569746864 140664104626818 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28422144 140735580768961 140735580771735 140735580771735 140735580774351 0
Current children cumulated CPU time (s) 2216.49
Current children cumulated vsize (KiB) 10929916

[startup+2202.31 s]
/proc/loadavg: 1.40 1.40 1.47 3/281 18338
/proc/meminfo: memFree=27063128/32770624 swapFree=5844/255712
[pid=18179] ppid=18176 vsize=10929916 CPUtime=2278.11 cores=0,2,4,6,8,10,12,14
/proc/18179/stat : 18179 (java) S 18176 18179 13605 0 -1 1077944320 345227 12673 0 0 227214 586 8 3 20 0 20 0 5232367 11192233984 446732 33554432000 4194304 4196468 140735580763872 140735580746416 140664104615671 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 28422144 140735580768961 140735580771735 140735580771735 140735580774351 0
/proc/18179/statm: 2732479 446732 3531 1 0 2720034 0
[pid=18179/tid=18234] ppid=18176 vsize=10929916 CPUtime=2184.99 cores=0,2,4,6,8,10,12,14
/proc/18179/task/18234/stat : 18234 (java) R 18176 18179 13605 0 -1 4202560 98662 12673 0 0 218428 60 8 3 20 0 20 0 5232380 11192233984 446732 33554432000 4194304 4196468 140735580763872 140664108849392 140663758879754 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28422144 140735580768961 140735580771735 140735580771735 140735580774351 0
[pid=18179/tid=18235] ppid=18176 vsize=10929916 CPUtime=8.55 cores=0,2,4,6,8,10,12,14
/proc/18179/task/18235/stat : 18235 (java) S 18176 18179 13605 0 -1 1077944384 16254 12673 0 0 787 57 8 3 20 0 20 0 5232381 11192233984 446732 33554432000 4194304 4196468 140735580763872 140663711001360 140664104625877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28422144 140735580768961 140735580771735 140735580771735 140735580774351 0
[pid=18179/tid=18236] ppid=18176 vsize=10929916 CPUtime=8.47 cores=0,2,4,6,8,10,12,14
/proc/18179/task/18236/stat : 18236 (java) S 18176 18179 13605 0 -1 1077944384 15657 12673 0 0 781 55 8 3 20 0 20 0 5232381 11192233984 446732 33554432000 4194304 4196468 140735580763872 140663709948816 140664104625877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28422144 140735580768961 140735580771735 140735580771735 140735580774351 0
[pid=18179/tid=18237] ppid=18176 vsize=10929916 CPUtime=8.47 cores=0,2,4,6,8,10,12,14
/proc/18179/task/18237/stat : 18237 (java) S 18176 18179 13605 0 -1 1077944384 14680 12673 0 0 780 56 8 3 20 0 20 0 5232381 11192233984 446732 33554432000 4194304 4196468 140735580763872 140663708896272 140664104625877 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 28422144 140735580768961 140735580771735 140735580771735 140735580774351 0
[pid=18179/tid=18238] ppid=18176 vsize=10929916 CPUtime=8.46 cores=0,2,4,6,8,10,12,14
/proc/18179/task/18238/stat : 18238 (java) S 18176 18179 13605 0 -1 1077944384 16388 12673 0 0 779 56 8 3 20 0 20 0 5232381 11192233984 446732 33554432000 4194304 4196468 140735580763872 140663707843728 140664104625877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28422144 140735580768961 140735580771735 140735580771735 140735580774351 0
[pid=18179/tid=18239] ppid=18176 vsize=10929916 CPUtime=8.56 cores=0,2,4,6,8,10,12,14
/proc/18179/task/18239/stat : 18239 (java) S 18176 18179 13605 0 -1 1077944384 17124 12673 0 0 789 56 8 3 20 0 20 0 5232381 11192233984 446732 33554432000 4194304 4196468 140735580763872 140663706790160 140664104625877 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 28422144 140735580768961 140735580771735 140735580771735 140735580774351 0
[pid=18179/tid=18240] ppid=18176 vsize=10929916 CPUtime=8.52 cores=0,2,4,6,8,10,12,14
/proc/18179/task/18240/stat : 18240 (java) S 18176 18179 13605 0 -1 1077944384 20082 12673 0 0 784 57 8 3 20 0 20 0 5232381 11192233984 446732 33554432000 4194304 4196468 140735580763872 140663705737616 140664104625877 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 28422144 140735580768961 140735580771735 140735580771735 140735580774351 0
[pid=18179/tid=18241] ppid=18176 vsize=10929916 CPUtime=8.51 cores=0,2,4,6,8,10,12,14
/proc/18179/task/18241/stat : 18241 (java) S 18176 18179 13605 0 -1 1077944384 22110 12673 0 0 781 59 8 3 20 0 20 0 5232381 11192233984 446732 33554432000 4194304 4196468 140735580763872 140663704685072 140664104625877 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 28422144 140735580768961 140735580771735 140735580771735 140735580774351 0
[pid=18179/tid=18242] ppid=18176 vsize=10929916 CPUtime=8.56 cores=0,2,4,6,8,10,12,14
/proc/18179/task/18242/stat : 18242 (java) S 18176 18179 13605 0 -1 1077944384 16548 12673 0 0 783 62 8 3 20 0 20 0 5232381 11192233984 446732 33554432000 4194304 4196468 140735580763872 140663703632528 140664104625877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28422144 140735580768961 140735580771735 140735580771735 140735580774351 0
[pid=18179/tid=18243] ppid=18176 vsize=10929916 CPUtime=5.89 cores=0,2,4,6,8,10,12,14
/proc/18179/task/18243/stat : 18243 (java) S 18176 18179 13605 0 -1 1077944384 29405 12673 0 0 540 38 8 3 20 0 20 0 5232383 11192233984 446732 33554432000 4194304 4196468 140735580763872 140663579220464 140664104626818 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28422144 140735580768961 140735580771735 140735580771735 140735580774351 0
[pid=18179/tid=18244] ppid=18176 vsize=10929916 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/18179/task/18244/stat : 18244 (java) S 18176 18179 13605 0 -1 1077944384 79 12673 0 0 0 0 8 3 20 0 20 0 5232384 11192233984 446732 33554432000 4194304 4196468 140735580763872 140663578166816 140664104625877 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 28422144 140735580768961 140735580771735 140735580771735 140735580774351 0
[pid=18179/tid=18245] ppid=18176 vsize=10929916 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/18179/task/18245/stat : 18245 (java) S 18176 18179 13605 0 -1 1077944384 67 12673 0 0 0 0 8 3 20 0 20 0 5232384 11192233984 446732 33554432000 4194304 4196468 140735580763872 140663577114112 140664104625877 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 28422144 140735580768961 140735580771735 140735580771735 140735580774351 0
[pid=18179/tid=18246] ppid=18176 vsize=10929916 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/18179/task/18246/stat : 18246 (java) S 18176 18179 13605 0 -1 1077944384 1 12673 0 0 0 0 8 3 20 0 20 0 5232389 11192233984 446732 33554432000 4194304 4196468 140735580763872 140663576062672 140664104634267 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 28422144 140735580768961 140735580771735 140735580771735 140735580774351 0
[pid=18179/tid=18247] ppid=18176 vsize=10929916 CPUtime=5.75 cores=0,2,4,6,8,10,12,14
/proc/18179/task/18247/stat : 18247 (java) S 18176 18179 13605 0 -1 1077944384 14667 12673 0 0 560 4 8 3 20 0 20 0 5232389 11192233984 446732 33554432000 4194304 4196468 140735580763872 140663575009264 140664104626818 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28422144 140735580768961 140735580771735 140735580771735 140735580774351 0
[pid=18179/tid=18248] ppid=18176 vsize=10929916 CPUtime=5.41 cores=0,2,4,6,8,10,12,14
/proc/18179/task/18248/stat : 18248 (java) S 18176 18179 13605 0 -1 1077944384 18164 12673 0 0 527 3 8 3 20 0 20 0 5232389 11192233984 446732 33554432000 4194304 4196468 140735580763872 140663573956720 140664104626818 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28422144 140735580768961 140735580771735 140735580771735 140735580774351 0
[pid=18179/tid=18249] ppid=18176 vsize=10929916 CPUtime=5.28 cores=0,2,4,6,8,10,12,14
/proc/18179/task/18249/stat : 18249 (java) S 18176 18179 13605 0 -1 1077944384 13136 12673 0 0 514 3 8 3 20 0 20 0 5232389 11192233984 446732 33554432000 4194304 4196468 140735580763872 140663572904176 140664104626818 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 28422144 140735580768961 140735580771735 140735580771735 140735580774351 0
[pid=18179/tid=18250] ppid=18176 vsize=10929916 CPUtime=2.81 cores=0,2,4,6,8,10,12,14
/proc/18179/task/18250/stat : 18250 (java) S 18176 18179 13605 0 -1 1077944384 26948 12673 0 0 265 5 8 3 20 0 20 0 5232389 11192233984 446732 33554432000 4194304 4196468 140735580763872 140663571851632 140664104626818 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28422144 140735580768961 140735580771735 140735580771735 140735580774351 0
[pid=18179/tid=18251] ppid=18176 vsize=10929916 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/18179/task/18251/stat : 18251 (java) S 18176 18179 13605 0 -1 1077944384 3 12673 0 0 0 0 8 3 20 0 20 0 5232389 11192233984 446732 33554432000 4194304 4196468 140735580763872 140663570799328 140664104625877 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 28422144 140735580768961 140735580771735 140735580771735 140735580774351 0
[pid=18179/tid=18252] ppid=18176 vsize=10929916 CPUtime=1.24 cores=0,2,4,6,8,10,12,14
/proc/18179/task/18252/stat : 18252 (java) S 18176 18179 13605 0 -1 1077944384 3120 12673 0 0 58 55 8 3 20 0 20 0 5232389 11192233984 446732 33554432000 4194304 4196468 140735580763872 140663569746864 140664104626818 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28422144 140735580768961 140735580771735 140735580771735 140735580774351 0
Current children cumulated CPU time (s) 2278.11
Current children cumulated vsize (KiB) 10929916

[startup+2262.3 s]
/proc/loadavg: 1.30 1.38 1.46 3/281 18339
/proc/meminfo: memFree=27074400/32770624 swapFree=5844/255772
[pid=18179] ppid=18176 vsize=10929916 CPUtime=2339.84 cores=0,2,4,6,8,10,12,14
/proc/18179/stat : 18179 (java) S 18176 18179 13605 0 -1 1077944320 350286 12673 0 0 233377 596 8 3 20 0 20 0 5232367 11192233984 444550 33554432000 4194304 4196468 140735580763872 140735580746416 140664104615671 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 28422144 140735580768961 140735580771735 140735580771735 140735580774351 0
/proc/18179/statm: 2732479 444550 3531 1 0 2720034 0
[pid=18179/tid=18234] ppid=18176 vsize=10929916 CPUtime=2244.46 cores=0,2,4,6,8,10,12,14
/proc/18179/task/18234/stat : 18234 (java) R 18176 18179 13605 0 -1 4202560 100001 12673 0 0 224375 60 8 3 20 0 20 0 5232380 11192233984 444550 33554432000 4194304 4196468 140735580763872 140664108849472 140663748220838 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28422144 140735580768961 140735580771735 140735580771735 140735580774351 0
[pid=18179/tid=18235] ppid=18176 vsize=10929916 CPUtime=8.81 cores=0,2,4,6,8,10,12,14
/proc/18179/task/18235/stat : 18235 (java) S 18176 18179 13605 0 -1 1077944384 16286 12673 0 0 812 58 8 3 20 0 20 0 5232381 11192233984 444550 33554432000 4194304 4196468 140735580763872 140663711001360 140664104625877 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 28422144 140735580768961 140735580771735 140735580771735 140735580774351 0
[pid=18179/tid=18236] ppid=18176 vsize=10929916 CPUtime=8.72 cores=0,2,4,6,8,10,12,14
/proc/18179/task/18236/stat : 18236 (java) S 18176 18179 13605 0 -1 1077944384 16436 12673 0 0 805 56 8 3 20 0 20 0 5232381 11192233984 444550 33554432000 4194304 4196468 140735580763872 140663709948816 140664104625877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28422144 140735580768961 140735580771735 140735580771735 140735580774351 0
[pid=18179/tid=18237] ppid=18176 vsize=10929916 CPUtime=8.74 cores=0,2,4,6,8,10,12,14
/proc/18179/task/18237/stat : 18237 (java) S 18176 18179 13605 0 -1 1077944384 15348 12673 0 0 807 56 8 3 20 0 20 0 5232381 11192233984 444550 33554432000 4194304 4196468 140735580763872 140663708896272 140664104625877 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 28422144 140735580768961 140735580771735 140735580771735 140735580774351 0
[pid=18179/tid=18238] ppid=18176 vsize=10929916 CPUtime=8.72 cores=0,2,4,6,8,10,12,14
/proc/18179/task/18238/stat : 18238 (java) S 18176 18179 13605 0 -1 1077944384 16422 12673 0 0 803 58 8 3 20 0 20 0 5232381 11192233984 444550 33554432000 4194304 4196468 140735580763872 140663707843728 140664104625877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28422144 140735580768961 140735580771735 140735580771735 140735580774351 0
[pid=18179/tid=18239] ppid=18176 vsize=10929916 CPUtime=8.8 cores=0,2,4,6,8,10,12,14
/proc/18179/task/18239/stat : 18239 (java) S 18176 18179 13605 0 -1 1077944384 17297 12673 0 0 811 58 8 3 20 0 20 0 5232381 11192233984 444550 33554432000 4194304 4196468 140735580763872 140663706790160 140664104625877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28422144 140735580768961 140735580771735 140735580771735 140735580774351 0
[pid=18179/tid=18240] ppid=18176 vsize=10929916 CPUtime=8.77 cores=0,2,4,6,8,10,12,14
/proc/18179/task/18240/stat : 18240 (java) S 18176 18179 13605 0 -1 1077944384 20121 12673 0 0 808 58 8 3 20 0 20 0 5232381 11192233984 444550 33554432000 4194304 4196468 140735580763872 140663705737616 140664104625877 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 28422144 140735580768961 140735580771735 140735580771735 140735580774351 0
[pid=18179/tid=18241] ppid=18176 vsize=10929916 CPUtime=8.78 cores=0,2,4,6,8,10,12,14
/proc/18179/task/18241/stat : 18241 (java) S 18176 18179 13605 0 -1 1077944384 23208 12673 0 0 807 60 8 3 20 0 20 0 5232381 11192233984 444550 33554432000 4194304 4196468 140735580763872 140663704685072 140664104625877 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 28422144 140735580768961 140735580771735 140735580771735 140735580774351 0
[pid=18179/tid=18242] ppid=18176 vsize=10929916 CPUtime=8.83 cores=0,2,4,6,8,10,12,14
/proc/18179/task/18242/stat : 18242 (java) S 18176 18179 13605 0 -1 1077944384 16676 12673 0 0 809 63 8 3 20 0 20 0 5232381 11192233984 444550 33554432000 4194304 4196468 140735580763872 140663703632528 140664104625877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28422144 140735580768961 140735580771735 140735580771735 140735580774351 0
[pid=18179/tid=18243] ppid=18176 vsize=10929916 CPUtime=6.06 cores=0,2,4,6,8,10,12,14
/proc/18179/task/18243/stat : 18243 (java) S 18176 18179 13605 0 -1 1077944384 30122 12673 0 0 556 39 8 3 20 0 20 0 5232383 11192233984 444550 33554432000 4194304 4196468 140735580763872 140663579220464 140664104626818 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28422144 140735580768961 140735580771735 140735580771735 140735580774351 0
[pid=18179/tid=18244] ppid=18176 vsize=10929916 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/18179/task/18244/stat : 18244 (java) S 18176 18179 13605 0 -1 1077944384 79 12673 0 0 0 0 8 3 20 0 20 0 5232384 11192233984 444550 33554432000 4194304 4196468 140735580763872 140663578166816 140664104625877 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 28422144 140735580768961 140735580771735 140735580771735 140735580774351 0
[pid=18179/tid=18245] ppid=18176 vsize=10929916 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/18179/task/18245/stat : 18245 (java) S 18176 18179 13605 0 -1 1077944384 67 12673 0 0 0 0 8 3 20 0 20 0 5232384 11192233984 444550 33554432000 4194304 4196468 140735580763872 140663577114112 140664104625877 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 28422144 140735580768961 140735580771735 140735580771735 140735580774351 0
[pid=18179/tid=18246] ppid=18176 vsize=10929916 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/18179/task/18246/stat : 18246 (java) S 18176 18179 13605 0 -1 1077944384 1 12673 0 0 0 0 8 3 20 0 20 0 5232389 11192233984 444550 33554432000 4194304 4196468 140735580763872 140663576062672 140664104634267 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 28422144 140735580768961 140735580771735 140735580771735 140735580774351 0
[pid=18179/tid=18247] ppid=18176 vsize=10929916 CPUtime=5.75 cores=0,2,4,6,8,10,12,14
/proc/18179/task/18247/stat : 18247 (java) S 18176 18179 13605 0 -1 1077944384 14671 12673 0 0 560 4 8 3 20 0 20 0 5232389 11192233984 444550 33554432000 4194304 4196468 140735580763872 140663575009264 140664104626818 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28422144 140735580768961 140735580771735 140735580771735 140735580774351 0
[pid=18179/tid=18248] ppid=18176 vsize=10929916 CPUtime=5.41 cores=0,2,4,6,8,10,12,14
/proc/18179/task/18248/stat : 18248 (java) S 18176 18179 13605 0 -1 1077944384 18166 12673 0 0 527 3 8 3 20 0 20 0 5232389 11192233984 444550 33554432000 4194304 4196468 140735580763872 140663573956720 140664104626818 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28422144 140735580768961 140735580771735 140735580771735 140735580774351 0
[pid=18179/tid=18249] ppid=18176 vsize=10929916 CPUtime=5.28 cores=0,2,4,6,8,10,12,14
/proc/18179/task/18249/stat : 18249 (java) S 18176 18179 13605 0 -1 1077944384 13140 12673 0 0 514 3 8 3 20 0 20 0 5232389 11192233984 444550 33554432000 4194304 4196468 140735580763872 140663572904176 140664104626818 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 28422144 140735580768961 140735580771735 140735580771735 140735580774351 0
[pid=18179/tid=18250] ppid=18176 vsize=10929916 CPUtime=2.81 cores=0,2,4,6,8,10,12,14
/proc/18179/task/18250/stat : 18250 (java) S 18176 18179 13605 0 -1 1077944384 26950 12673 0 0 265 5 8 3 20 0 20 0 5232389 11192233984 444550 33554432000 4194304 4196468 140735580763872 140663571851632 140664104626818 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28422144 140735580768961 140735580771735 140735580771735 140735580774351 0
[pid=18179/tid=18251] ppid=18176 vsize=10929916 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/18179/task/18251/stat : 18251 (java) S 18176 18179 13605 0 -1 1077944384 3 12673 0 0 0 0 8 3 20 0 20 0 5232389 11192233984 444550 33554432000 4194304 4196468 140735580763872 140663570799328 140664104625877 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 28422144 140735580768961 140735580771735 140735580771735 140735580774351 0
[pid=18179/tid=18252] ppid=18176 vsize=10929916 CPUtime=1.28 cores=0,2,4,6,8,10,12,14
/proc/18179/task/18252/stat : 18252 (java) S 18176 18179 13605 0 -1 1077944384 3160 12673 0 0 60 57 8 3 20 0 20 0 5232389 11192233984 444550 33554432000 4194304 4196468 140735580763872 140663569746864 140664104626818 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28422144 140735580768961 140735580771735 140735580771735 140735580774351 0
Current children cumulated CPU time (s) 2339.84
Current children cumulated vsize (KiB) 10929916



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2321 s]
/proc/loadavg: 1.23 1.34 1.44 3/281 18619
/proc/meminfo: memFree=27729656/32770624 swapFree=5844/255888
[pid=18179] ppid=18176 vsize=10929916 CPUtime=2400 cores=0,2,4,6,8,10,12,14
/proc/18179/stat : 18179 (java) S 18176 18179 13605 0 -1 1077944320 356469 12673 0 0 239383 606 8 3 20 0 20 0 5232367 11192233984 444550 33554432000 4194304 4196468 140735580763872 140735580746416 140664104615671 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 28422144 140735580768961 140735580771735 140735580771735 140735580774351 0
/proc/18179/statm: 2732479 444550 3531 1 0 2720034 0
[pid=18179/tid=18234] ppid=18176 vsize=10929916 CPUtime=2302.67 cores=0,2,4,6,8,10,12,14
/proc/18179/task/18234/stat : 18234 (java) R 18176 18179 13605 0 -1 4202560 101146 12673 0 0 230196 60 8 3 20 0 20 0 5232380 11192233984 444550 33554432000 4194304 4196468 140735580763872 140664108849392 140663758880032 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28422144 140735580768961 140735580771735 140735580771735 140735580774351 0
[pid=18179/tid=18235] ppid=18176 vsize=10929916 CPUtime=9.03 cores=0,2,4,6,8,10,12,14
/proc/18179/task/18235/stat : 18235 (java) S 18176 18179 13605 0 -1 1077944384 16454 12673 0 0 833 59 8 3 20 0 20 0 5232381 11192233984 444550 33554432000 4194304 4196468 140735580763872 140663711001360 140664104625877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28422144 140735580768961 140735580771735 140735580771735 140735580774351 0
[pid=18179/tid=18236] ppid=18176 vsize=10929916 CPUtime=8.91 cores=0,2,4,6,8,10,12,14
/proc/18179/task/18236/stat : 18236 (java) S 18176 18179 13605 0 -1 1077944384 16592 12673 0 0 824 56 8 3 20 0 20 0 5232381 11192233984 444550 33554432000 4194304 4196468 140735580763872 140663709948816 140664104625877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28422144 140735580768961 140735580771735 140735580771735 140735580774351 0
[pid=18179/tid=18237] ppid=18176 vsize=10929916 CPUtime=8.95 cores=0,2,4,6,8,10,12,14
/proc/18179/task/18237/stat : 18237 (java) S 18176 18179 13605 0 -1 1077944384 15474 12673 0 0 826 58 8 3 20 0 20 0 5232381 11192233984 444550 33554432000 4194304 4196468 140735580763872 140663708896272 140664104625877 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 28422144 140735580768961 140735580771735 140735580771735 140735580774351 0
[pid=18179/tid=18238] ppid=18176 vsize=10929916 CPUtime=8.94 cores=0,2,4,6,8,10,12,14
/proc/18179/task/18238/stat : 18238 (java) S 18176 18179 13605 0 -1 1077944384 17613 12673 0 0 824 59 8 3 20 0 20 0 5232381 11192233984 444550 33554432000 4194304 4196468 140735580763872 140663707843728 140664104625877 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 28422144 140735580768961 140735580771735 140735580771735 140735580774351 0
[pid=18179/tid=18239] ppid=18176 vsize=10929916 CPUtime=9.01 cores=0,2,4,6,8,10,12,14
/proc/18179/task/18239/stat : 18239 (java) S 18176 18179 13605 0 -1 1077944384 17544 12673 0 0 831 59 8 3 20 0 20 0 5232381 11192233984 444550 33554432000 4194304 4196468 140735580763872 140663706790160 140664104625877 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 28422144 140735580768961 140735580771735 140735580771735 140735580774351 0
[pid=18179/tid=18240] ppid=18176 vsize=10929916 CPUtime=9 cores=0,2,4,6,8,10,12,14
/proc/18179/task/18240/stat : 18240 (java) S 18176 18179 13605 0 -1 1077944384 20847 12673 0 0 830 59 8 3 20 0 20 0 5232381 11192233984 444550 33554432000 4194304 4196468 140735580763872 140663705737616 140664104625877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28422144 140735580768961 140735580771735 140735580771735 140735580774351 0
[pid=18179/tid=18241] ppid=18176 vsize=10929916 CPUtime=9.01 cores=0,2,4,6,8,10,12,14
/proc/18179/task/18241/stat : 18241 (java) S 18176 18179 13605 0 -1 1077944384 24698 12673 0 0 829 61 8 3 20 0 20 0 5232381 11192233984 444550 33554432000 4194304 4196468 140735580763872 140663704685072 140664104625877 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 28422144 140735580768961 140735580771735 140735580771735 140735580774351 0
[pid=18179/tid=18242] ppid=18176 vsize=10929916 CPUtime=9.05 cores=0,2,4,6,8,10,12,14
/proc/18179/task/18242/stat : 18242 (java) S 18176 18179 13605 0 -1 1077944384 16809 12673 0 0 830 64 8 3 20 0 20 0 5232381 11192233984 444550 33554432000 4194304 4196468 140735580763872 140663703632528 140664104625877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28422144 140735580768961 140735580771735 140735580771735 140735580774351 0
[pid=18179/tid=18243] ppid=18176 vsize=10929916 CPUtime=6.25 cores=0,2,4,6,8,10,12,14
/proc/18179/task/18243/stat : 18243 (java) S 18176 18179 13605 0 -1 1077944384 30863 12673 0 0 574 40 8 3 20 0 20 0 5232383 11192233984 444550 33554432000 4194304 4196468 140735580763872 140663579220464 140664104626818 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28422144 140735580768961 140735580771735 140735580771735 140735580774351 0
[pid=18179/tid=18244] ppid=18176 vsize=10929916 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/18179/task/18244/stat : 18244 (java) S 18176 18179 13605 0 -1 1077944384 79 12673 0 0 0 0 8 3 20 0 20 0 5232384 11192233984 444550 33554432000 4194304 4196468 140735580763872 140663578166816 140664104625877 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 28422144 140735580768961 140735580771735 140735580771735 140735580774351 0
[pid=18179/tid=18245] ppid=18176 vsize=10929916 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/18179/task/18245/stat : 18245 (java) S 18176 18179 13605 0 -1 1077944384 67 12673 0 0 0 0 8 3 20 0 20 0 5232384 11192233984 444550 33554432000 4194304 4196468 140735580763872 140663577114112 140664104625877 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 28422144 140735580768961 140735580771735 140735580771735 140735580774351 0
[pid=18179/tid=18246] ppid=18176 vsize=10929916 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/18179/task/18246/stat : 18246 (java) S 18176 18179 13605 0 -1 1077944384 1 12673 0 0 0 0 8 3 20 0 20 0 5232389 11192233984 444550 33554432000 4194304 4196468 140735580763872 140663576062672 140664104634267 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 28422144 140735580768961 140735580771735 140735580771735 140735580774351 0
[pid=18179/tid=18247] ppid=18176 vsize=10929916 CPUtime=5.75 cores=0,2,4,6,8,10,12,14
/proc/18179/task/18247/stat : 18247 (java) S 18176 18179 13605 0 -1 1077944384 14677 12673 0 0 560 4 8 3 20 0 20 0 5232389 11192233984 444550 33554432000 4194304 4196468 140735580763872 140663575009264 140664104626818 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28422144 140735580768961 140735580771735 140735580771735 140735580774351 0
[pid=18179/tid=18248] ppid=18176 vsize=10929916 CPUtime=5.41 cores=0,2,4,6,8,10,12,14
/proc/18179/task/18248/stat : 18248 (java) S 18176 18179 13605 0 -1 1077944384 18170 12673 0 0 527 3 8 3 20 0 20 0 5232389 11192233984 444550 33554432000 4194304 4196468 140735580763872 140663573956720 140664104626818 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28422144 140735580768961 140735580771735 140735580771735 140735580774351 0
[pid=18179/tid=18249] ppid=18176 vsize=10929916 CPUtime=5.28 cores=0,2,4,6,8,10,12,14
/proc/18179/task/18249/stat : 18249 (java) S 18176 18179 13605 0 -1 1077944384 13144 12673 0 0 514 3 8 3 20 0 20 0 5232389 11192233984 444550 33554432000 4194304 4196468 140735580763872 140663572904176 140664104626818 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 28422144 140735580768961 140735580771735 140735580771735 140735580774351 0
[pid=18179/tid=18250] ppid=18176 vsize=10929916 CPUtime=2.81 cores=0,2,4,6,8,10,12,14
/proc/18179/task/18250/stat : 18250 (java) S 18176 18179 13605 0 -1 1077944384 26954 12673 0 0 265 5 8 3 20 0 20 0 5232389 11192233984 444550 33554432000 4194304 4196468 140735580763872 140663571851632 140664104626818 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28422144 140735580768961 140735580771735 140735580771735 140735580774351 0
[pid=18179/tid=18251] ppid=18176 vsize=10929916 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/18179/task/18251/stat : 18251 (java) S 18176 18179 13605 0 -1 1077944384 3 12673 0 0 0 0 8 3 20 0 20 0 5232389 11192233984 444550 33554432000 4194304 4196468 140735580763872 140663570799328 140664104625877 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 28422144 140735580768961 140735580771735 140735580771735 140735580774351 0
[pid=18179/tid=18252] ppid=18176 vsize=10929916 CPUtime=1.31 cores=0,2,4,6,8,10,12,14
/proc/18179/task/18252/stat : 18252 (java) S 18176 18179 13605 0 -1 1077944384 3202 12673 0 0 61 59 8 3 20 0 20 0 5232389 11192233984 444550 33554432000 4194304 4196468 140735580763872 140663569746864 140664104626818 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28422144 140735580768961 140735580771735 140735580771735 140735580774351 0
Current children cumulated CPU time (s) 2400
Current children cumulated vsize (KiB) 10929916

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

Child status: 143
Real time (s): 2321.06
CPU time (s): 2400.07
CPU user time (s): 2393.94
CPU system time (s): 6.13162
CPU usage (%): 103.404
Max. virtual memory (cumulated for all children) (KiB): 10929916

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2393.94
system time used= 6.13162
maximum resident set size= 2963692
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 371935
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2688
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 253828
involuntary context switches= 169741

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.5141 second user time and 17.602 second system time

The end

Launcher Data 

Begin job on node136 at 2017-07-22 07:00:55
IDJOB=4245130
IDBENCH=120572
IDSOLVER=2630
FILE ID=node136/4245130-1500699655
RUNJOBID= node136-1500683313-13636
PBS_JOBID= 20623338
Free space on /tmp= 61964 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-4245130-1500699655/watcher-4245130-1500699655 -o /tmp/evaluation-result-4245130-1500699655/solver-4245130-1500699655 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node136-1500683313-13636 --watchdog 2560  bin/concrete HOME/instance-4245130-1500699655.xml

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

MD5SUM BENCH= a8532fde929f2c832645b1246a7d35a6
RANDOM SEED=1527125394

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

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

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

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

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        28962300 kB
MemAvailable:   29171912 kB
Buffers:          113864 kB
Cached:           376448 kB
SwapCached:            0 kB
Active:          3109808 kB
Inactive:         261976 kB
Active(anon):    2883928 kB
Inactive(anon):     8764 kB
Active(file):     225880 kB
Inactive(file):   253212 kB
Unevictable:        5844 kB
Mlocked:            5876 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             26668 kB
Writeback:             0 kB
AnonPages:       2885824 kB
Mapped:            44012 kB
Shmem:              8852 kB
Slab:             126324 kB
SReclaimable:      92708 kB
SUnreclaim:        33616 kB
KernelStack:        4544 kB
PageTables:        11768 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    3836080 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2678784 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      130432 kB
DirectMap2M:    33415168 kB

Free space on /tmp at the end= 61944 MiB
End job on node136 at 2017-07-22 07:39:36