Trace number 4261967

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Concrete 3.4SAT (TO)42 2520.1299 2465.6299

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.46/2.21	c Concrete v3.4 running
25.53/11.06	o 946
26.49/11.43	o 945
26.78/11.68	o 944
27.21/11.93	o 943
27.57/12.17	o 942
27.96/12.41	o 941
28.54/12.64	o 940
29.71/13.09	o 939
30.06/13.30	o 938
30.29/13.50	o 937
30.85/13.71	o 936
31.09/13.92	o 935
31.31/14.12	o 934
31.54/14.32	o 933
31.73/14.52	o 932
31.93/14.71	o 931
32.13/14.91	o 930
32.33/15.11	o 929
32.55/15.31	o 928
32.76/15.52	o 927
32.96/15.72	o 926
33.16/15.93	o 925
33.38/16.14	o 924
33.58/16.35	o 923
33.79/16.56	o 922
34.02/16.75	o 921
34.22/16.96	o 920
34.43/17.17	o 919
34.63/17.38	o 918
34.83/17.59	o 917
35.14/17.80	o 916
35.34/18.01	o 915
35.55/18.21	o 914
35.75/18.42	o 913
35.95/18.64	o 912
36.16/18.85	o 911
36.34/19.06	o 910
36.55/19.28	o 909
36.79/19.48	o 908
36.99/19.68	o 907
37.20/19.88	o 906
37.39/20.08	o 905
37.59/20.28	o 904
37.79/20.47	o 903
38.00/20.68	o 902
38.20/20.88	o 901
38.41/21.07	o 900
38.60/21.27	o 899
38.86/21.46	o 898
39.06/21.65	o 897
39.26/21.85	o 896
39.46/22.04	o 895
39.66/22.24	o 894
39.86/22.44	o 893
40.06/22.64	o 892
40.26/22.84	o 891
40.46/23.03	o 890
40.67/23.24	o 889
40.87/23.43	o 888
41.07/23.63	o 887
41.27/23.83	o 886
41.47/24.02	o 885
41.68/24.22	o 884
41.88/24.42	o 883
42.09/24.62	o 882
42.29/24.82	o 881
42.49/25.02	o 880
42.69/25.22	o 879
42.90/25.41	o 878
43.10/25.60	o 877
43.30/25.80	o 876
43.50/26.01	o 875
43.70/26.21	o 874
43.90/26.41	o 873
44.10/26.61	o 872
44.36/26.83	o 871
44.56/27.03	o 870
44.76/27.22	o 869
44.97/27.42	o 868
45.18/27.61	o 867
45.37/27.80	o 866
45.57/28.00	o 865
45.77/28.21	o 864
45.97/28.40	o 863
46.08/28.60	o 862
46.38/28.80	o 861
46.58/29.00	o 860
46.78/29.20	o 859
46.88/29.39	o 858
47.08/29.59	o 857
47.28/29.79	o 856
47.48/29.99	o 855
47.68/30.19	o 854
47.88/30.39	o 853
48.08/30.59	o 852
48.28/30.79	o 851
48.49/30.99	o 850
48.69/31.18	o 849
48.89/31.38	o 848
49.10/31.59	o 847
49.30/31.78	o 846
49.50/31.99	o 845
49.70/32.18	o 844
49.90/32.37	o 843
50.10/32.56	o 842
50.30/32.76	o 841
50.50/32.95	o 840
50.73/33.15	o 839
50.92/33.34	o 838
51.13/33.53	o 837
51.34/33.72	o 836
51.54/33.91	o 835
51.74/34.11	o 834
51.99/34.32	o 833
52.19/34.51	o 832
52.41/34.70	o 831
52.62/34.90	o 830
52.72/35.09	o 829
52.93/35.28	o 828
53.12/35.47	o 827
53.32/35.66	o 826
53.52/35.85	o 825
53.72/36.03	o 824
53.92/36.23	o 823
54.13/36.42	o 822
54.32/36.61	o 821
54.53/36.81	o 820
54.73/37.01	o 819
54.93/37.21	o 818
55.03/37.40	o 817
55.24/37.59	o 816
55.43/37.78	o 815
55.63/37.98	o 814
55.83/38.18	o 813
56.03/38.37	o 812
56.24/38.56	o 811
56.43/38.76	o 810
56.63/38.95	o 809
56.84/39.15	o 808
57.04/39.35	o 807
57.24/39.54	o 806
57.45/39.73	o 805
57.64/39.92	o 804
57.84/40.12	o 803
58.04/40.31	o 802
58.24/40.51	o 801
58.34/40.70	o 800
58.55/40.89	o 799
58.74/41.08	o 798
58.94/41.28	o 797
59.14/41.47	o 796
59.35/41.66	o 795
59.55/41.87	o 794
59.75/42.08	o 793
59.95/42.29	o 792
60.24/42.50	o 791
60.35/42.70	o 790
60.55/42.89	o 789
60.85/43.10	o 788
61.05/43.30	o 787
61.25/43.51	o 786
61.45/43.71	o 785
61.65/43.92	o 784
61.86/44.12	o 783
62.05/44.32	o 782
62.25/44.52	o 781
62.45/44.72	o 780
62.70/44.94	o 779
62.90/45.13	o 778
63.10/45.32	o 777
63.30/45.51	o 776
63.50/45.70	o 775
63.60/45.89	o 774
63.80/46.09	o 773
64.00/46.28	o 772
64.20/46.47	o 771
64.40/46.66	o 770
64.60/46.85	o 769
64.80/47.03	o 768
65.00/47.22	o 767
65.21/47.42	o 766
65.40/47.60	o 765
65.60/47.80	o 764
65.70/47.99	o 763
65.90/48.18	o 762
66.10/48.38	o 761
66.31/48.57	o 760
66.51/48.76	o 759
66.71/48.96	o 758
66.91/49.16	o 757
67.11/49.35	o 756
67.31/49.55	o 755
67.51/49.74	o 754
67.71/49.93	o 753
67.91/50.12	o 752
68.11/50.32	o 751
68.31/50.52	o 750
68.52/50.72	o 749
68.71/50.90	o 748
68.91/51.11	o 747
69.11/51.31	o 746
69.31/51.50	o 745
69.41/51.70	o 744
69.62/51.89	o 743
69.81/52.08	o 742
70.01/52.27	o 741
70.22/52.47	o 740
70.42/52.66	o 739
70.63/52.85	o 738
70.82/53.04	o 737
71.02/53.25	o 736
71.22/53.44	o 735
71.42/53.64	o 734
71.62/53.84	o 733
71.83/54.03	o 732
72.02/54.23	o 731
72.22/54.42	o 730
72.42/54.63	o 729
72.62/54.81	o 728
72.83/55.01	o 727
73.02/55.20	o 726
73.28/55.43	o 725
73.48/55.62	o 724
73.68/55.81	o 723
73.88/56.01	o 722
73.99/56.19	o 721
74.18/56.39	o 720
74.38/56.58	o 719
74.58/56.78	o 718
74.78/56.96	o 717
74.98/57.15	o 716
75.19/57.35	o 715
75.38/57.54	o 714
75.58/57.73	o 713
75.78/57.92	o 712
75.98/58.11	o 711
76.08/58.30	o 710
76.30/58.50	o 709
76.49/58.69	o 708
76.69/58.88	o 707
76.89/59.07	o 706
77.09/59.26	o 705
77.30/59.45	o 704
77.49/59.63	o 703
77.69/59.82	o 702
77.89/60.01	o 701
78.09/60.21	o 700
78.29/60.40	o 699
78.40/60.59	o 698
78.59/60.79	o 697
78.80/60.99	o 696
79.00/61.18	o 695
79.20/61.37	o 694
79.40/61.57	o 693
79.61/61.77	o 692
79.81/61.96	o 691
80.01/62.16	o 690
80.22/62.35	o 689
80.42/62.54	o 688
80.62/62.73	o 687
80.82/62.93	o 686
81.02/63.12	o 685
81.22/63.31	o 684
81.42/63.50	o 683
81.52/63.69	o 682
81.72/63.89	o 681
81.92/64.09	o 680
82.12/64.29	o 679
82.32/64.48	o 678
82.52/64.67	o 677
82.72/64.86	o 676
82.92/65.06	o 675
83.12/65.25	o 674
83.32/65.44	o 673
83.52/65.64	o 672
83.72/65.84	o 671
83.92/66.04	o 670
84.12/66.24	o 669
84.32/66.45	o 668
84.51/66.66	o 667
84.72/66.86	o 666
84.92/67.07	o 665
85.12/67.27	o 664
85.31/67.48	o 663
85.52/67.68	o 662
85.72/67.89	o 661
86.06/68.10	o 660
86.16/68.29	o 659
86.36/68.48	o 658
86.56/68.68	o 657
86.76/68.87	o 656
86.96/69.06	o 655
87.16/69.26	o 654
87.36/69.45	o 653
87.56/69.64	o 652
87.76/69.83	o 651
87.96/70.02	o 650
88.16/70.22	o 649
88.36/70.41	o 648
88.56/70.60	o 647
88.66/70.79	o 646
88.86/70.98	o 645
89.06/71.18	o 644
89.26/71.38	o 643
89.46/71.57	o 642
89.66/71.76	o 641
89.86/71.94	o 640
90.06/72.13	o 639
90.26/72.32	o 638
90.46/72.52	o 637
90.67/72.71	o 636
90.86/72.90	o 635
90.96/73.09	o 634
91.16/73.29	o 633
91.36/73.48	o 632
91.56/73.67	o 631
91.77/73.87	o 630
91.96/74.06	o 629
92.16/74.25	o 628
92.38/74.45	o 627
92.58/74.65	o 626
92.79/74.84	o 625
92.98/75.03	o 624
93.18/75.22	o 623
93.38/75.43	o 622
93.58/75.62	o 621
93.78/75.82	o 620
93.99/76.01	o 619
94.18/76.20	o 618
94.28/76.39	o 617
94.48/76.58	o 616
94.69/76.78	o 615
94.89/76.97	o 614
95.09/77.16	o 613
95.29/77.35	o 612
95.49/77.55	o 611
95.69/77.74	o 610
95.89/77.94	o 609
96.09/78.15	o 608
96.29/78.34	o 607
96.49/78.53	o 606
96.69/78.72	o 605
96.89/78.92	o 604
97.09/79.11	o 603
97.19/79.30	o 602
97.49/79.50	o 601
97.69/79.70	o 600
97.79/79.90	o 599
97.99/80.08	o 598
98.18/80.28	o 597
98.39/80.48	o 596
98.72/80.70	o 595
98.82/80.89	o 594
99.02/81.09	o 593
99.22/81.28	o 592
99.43/81.48	o 591
99.62/81.68	o 590
99.82/81.88	o 589
100.02/82.07	o 588
100.22/82.26	o 587
100.42/82.45	o 586
100.63/82.64	o 585
100.82/82.84	o 584
101.02/83.03	o 583
101.22/83.22	o 582
101.42/83.42	o 581
101.63/83.62	o 580
101.82/83.81	o 579
102.02/84.00	o 578
102.12/84.19	o 577
102.32/84.38	o 576
102.52/84.57	o 575
102.73/84.78	o 574
102.93/84.97	o 573
103.13/85.16	o 572
103.33/85.35	o 571
103.53/85.55	o 570
103.73/85.73	o 569
103.94/85.93	o 568
104.14/86.12	o 567
104.34/86.31	o 566
104.54/86.50	o 565
104.64/86.69	o 564
104.85/86.89	o 563
105.06/87.08	o 562
105.25/87.28	o 561
105.45/87.47	o 560
105.65/87.67	o 559
105.85/87.86	o 558
106.06/88.06	o 557
106.26/88.25	o 556
106.46/88.44	o 555
106.66/88.63	o 554
106.86/88.82	o 553
107.06/89.02	o 552
107.26/89.21	o 551
107.45/89.40	o 550
107.56/89.58	o 549
107.76/89.78	o 548
107.96/89.97	o 547
108.16/90.16	o 546
108.36/90.35	o 545
108.56/90.54	o 544
108.76/90.73	o 543
108.96/90.92	o 542
109.16/91.12	o 541
109.36/91.31	o 540
109.56/91.50	o 539
109.66/91.69	o 538
109.86/91.89	o 537
110.06/92.08	o 536
110.26/92.28	o 535
110.46/92.48	o 534
110.66/92.68	o 533
110.86/92.87	o 532
111.06/93.07	o 531
111.26/93.26	o 530
111.50/93.47	o 529
111.70/93.66	o 528
111.90/93.85	o 527
112.10/94.04	o 526
112.30/94.24	o 525
112.50/94.43	o 524
112.71/94.62	o 523
113.01/94.82	o 522
113.21/95.01	o 521
113.41/95.20	o 520
113.51/95.39	o 519
113.71/95.59	o 518
113.92/95.79	o 517
114.11/95.97	o 516
114.31/96.17	o 515
114.51/96.35	o 514
114.71/96.54	o 513
114.91/96.73	o 512
115.12/96.92	o 511
115.31/97.13	o 510
115.51/97.32	o 509
115.71/97.51	o 508
115.91/97.70	o 507
116.01/97.89	o 506
116.22/98.09	o 505
116.41/98.28	o 504
116.61/98.48	o 503
116.81/98.67	o 502
117.01/98.87	o 501
117.22/99.06	o 500
117.41/99.24	o 499
117.61/99.44	o 498
117.81/99.63	o 497
118.01/99.83	o 496
118.21/100.02	o 495
118.42/100.21	o 494
118.61/100.40	o 493
118.71/100.59	o 492
118.91/100.78	o 491
119.11/100.97	o 490
119.31/101.16	o 489
119.52/101.36	o 488
119.71/101.56	o 487
119.92/101.75	o 486
120.12/101.95	o 485
120.32/102.15	o 484
120.53/102.34	o 483
120.72/102.53	o 482
120.92/102.73	o 481
121.12/102.92	o 480
121.32/103.12	o 479
121.52/103.32	o 478
121.73/103.52	o 477
121.92/103.71	o 476
122.12/103.91	o 475
122.22/104.09	o 474
122.42/104.28	o 473
122.62/104.47	o 472
122.83/104.67	o 471
123.02/104.86	o 470
123.22/105.06	o 469
123.42/105.25	o 468
123.62/105.44	o 467
123.83/105.64	o 466
124.02/105.83	o 465
124.22/106.02	o 464
124.46/106.22	o 463
124.66/106.41	o 462
124.86/106.60	o 461
124.96/106.79	o 460
125.16/106.98	o 459
125.36/107.16	o 458
125.56/107.35	o 457
125.77/107.55	o 456
125.97/107.74	o 455
126.18/107.93	o 454
126.37/108.12	o 453
126.57/108.31	o 452
126.77/108.50	o 451
126.97/108.70	o 450
127.07/108.89	o 449
127.28/109.07	o 448
127.47/109.25	o 447
127.67/109.44	o 446
127.87/109.63	o 445
128.07/109.82	o 444
128.28/110.01	o 443
128.47/110.20	o 442
128.57/110.39	o 441
128.77/110.59	o 440
128.98/110.78	o 439
129.18/110.96	o 438
129.38/111.16	o 437
129.58/111.35	o 436
129.79/111.54	o 435
130.00/111.72	o 434
130.20/111.92	o 433
130.40/112.11	o 432
130.60/112.31	o 431
130.80/112.50	o 430
130.90/112.69	o 429
131.10/112.89	o 428
131.30/113.08	o 427
131.50/113.27	o 426
131.70/113.47	o 425
131.90/113.67	o 424
132.10/113.86	o 423
132.30/114.06	o 422
132.50/114.25	o 421
132.70/114.44	o 420
132.90/114.64	o 419
133.10/114.83	o 418
133.31/115.02	o 417
133.51/115.22	o 416
133.71/115.41	o 415
133.91/115.61	o 414
134.11/115.80	o 413
134.31/116.00	o 412
134.41/116.20	o 411
134.61/116.39	o 410
134.81/116.58	o 409
135.01/116.78	o 408
135.21/116.97	o 407
135.41/117.16	o 406
135.61/117.36	o 405
135.81/117.56	o 404
136.01/117.75	o 403
136.21/117.94	o 402
136.41/118.13	o 401
136.61/118.33	o 400
136.81/118.52	o 399
137.01/118.72	o 398
137.22/118.90	o 397
137.43/119.11	o 396
137.63/119.30	o 395
137.73/119.49	o 394
137.93/119.69	o 393
138.13/119.88	o 392
138.34/120.07	o 391
138.53/120.25	o 390
138.73/120.44	o 389
138.93/120.64	o 388
139.13/120.83	o 387
139.34/121.03	o 386
139.54/121.21	o 385
139.64/121.40	o 384
139.84/121.58	o 383
140.04/121.78	o 382
140.24/121.96	o 381
140.45/122.16	o 380
140.64/122.35	o 379
140.84/122.54	o 378
141.04/122.73	o 377
141.24/122.92	o 376
141.44/123.12	o 375
141.65/123.32	o 374
141.84/123.51	o 373
142.04/123.70	o 372
142.14/123.89	o 371
142.34/124.08	o 370
142.54/124.27	o 369
142.75/124.46	o 368
142.94/124.65	o 367
143.14/124.85	o 366
143.34/125.04	o 365
143.54/125.24	o 364
143.75/125.43	o 363
143.94/125.62	o 362
144.14/125.82	o 361
144.34/126.01	o 360
144.54/126.20	o 359
144.64/126.38	o 358
144.85/126.58	o 357
145.04/126.77	o 356
145.24/126.96	o 355
145.44/127.15	o 354
145.64/127.34	o 353
145.84/127.53	o 352
146.05/127.72	o 351
146.24/127.92	o 350
146.44/128.11	o 349
146.64/128.31	o 348
146.84/128.51	o 347
146.94/128.70	o 346
147.24/128.90	o 345
147.34/129.09	o 344
147.54/129.28	o 343
147.74/129.47	o 342
147.94/129.68	o 341
148.15/129.87	o 340
148.34/130.07	o 339
148.54/130.26	o 338
148.74/130.46	o 337
148.94/130.65	o 336
149.14/130.85	o 335
149.35/131.03	o 334
149.58/131.24	o 333
149.78/131.43	o 332
149.98/131.62	o 331
150.18/131.82	o 330
150.39/132.01	o 329
150.49/132.19	o 328
150.68/132.38	o 327
150.88/132.57	o 326
151.08/132.76	o 325
151.28/132.95	o 324
151.49/133.14	o 323
151.68/133.33	o 322
151.88/133.51	o 321
152.08/133.70	o 320
152.18/133.89	o 319
152.38/134.09	o 318
152.59/134.28	o 317
152.78/134.47	o 316
152.98/134.66	o 315
153.18/134.85	o 314
153.38/135.04	o 313
153.58/135.23	o 312
153.79/135.42	o 311
153.98/135.60	o 310
154.08/135.79	o 309
154.28/135.98	o 308
154.49/136.17	o 307
154.69/136.36	o 306
154.90/136.56	o 305
155.09/136.74	o 304
155.29/136.93	o 303
155.49/137.12	o 302
155.69/137.32	o 301
155.90/137.51	o 300
156.09/137.70	o 299
156.19/137.89	o 298
156.39/138.08	o 297
156.59/138.27	o 296
156.79/138.45	o 295
157.00/138.64	o 294
157.19/138.84	o 293
157.39/139.03	o 292
157.59/139.22	o 291
157.79/139.41	o 290
157.99/139.61	o 289
158.10/139.80	o 288
158.29/139.98	o 287
158.49/140.18	o 286
158.69/140.37	o 285
158.89/140.57	o 284
159.09/140.77	o 283
159.30/140.96	o 282
159.49/141.14	o 281
159.69/141.34	o 280
159.89/141.54	o 279
160.09/141.72	o 278
160.30/141.91	o 277
160.49/142.11	o 276
160.69/142.30	o 275
160.79/142.49	o 274
160.99/142.68	o 273
161.22/142.88	o 272
161.43/143.07	o 271
161.62/143.26	o 270
161.83/143.45	o 269
162.03/143.64	o 268
162.23/143.83	o 267
162.43/144.02	o 266
162.64/144.22	o 265
162.83/144.40	o 264
162.93/144.59	o 263
163.13/144.77	o 262
163.33/144.97	o 261
163.53/145.16	o 260
163.74/145.34	o 259
163.93/145.53	o 258
164.13/145.73	o 257
164.33/145.91	o 256
164.53/146.10	o 255
164.63/146.29	o 254
164.84/146.48	o 253
165.03/146.67	o 252
165.23/146.85	o 251
165.43/147.05	o 250
165.63/147.24	o 249
165.84/147.44	o 248
166.03/147.63	o 247
166.23/147.82	o 246
166.43/148.01	o 245
166.63/148.20	o 244
166.73/148.39	o 243
166.94/148.58	o 242
167.13/148.77	o 241
167.33/148.96	o 240
167.53/149.15	o 239
167.73/149.34	o 238
167.93/149.52	o 237
168.13/149.71	o 236
168.33/149.90	o 235
168.43/150.09	o 234
168.63/150.28	o 233
168.83/150.47	o 232
169.03/150.66	o 231
169.23/150.85	o 230
169.43/151.04	o 229
169.63/151.23	o 228
169.83/151.42	o 227
170.03/151.61	o 226
170.13/151.80	o 225
170.43/152.00	o 224
170.53/152.19	o 223
170.73/152.38	o 222
170.93/152.57	o 221
171.13/152.77	o 220
171.33/152.96	o 219
171.53/153.15	o 218
171.73/153.35	o 217
171.93/153.53	o 216
172.13/153.71	o 215
172.37/153.92	o 214
172.57/154.11	o 213
172.77/154.31	o 212
172.97/154.50	o 211
173.07/154.68	o 210
173.27/154.87	o 209
173.47/155.06	o 208
173.67/155.25	o 207
173.87/155.44	o 206
174.07/155.63	o 205
174.27/155.81	o 204
174.47/156.00	o 203
174.57/156.19	o 202
174.77/156.38	o 201
174.97/156.57	o 200
175.17/156.76	o 199
175.37/156.95	o 198
175.57/157.15	o 197
175.78/157.34	o 196
175.97/157.53	o 195
176.17/157.72	o 194
176.37/157.91	o 193
176.47/158.09	o 192
176.67/158.27	o 191
176.88/158.47	o 190
177.07/158.66	o 189
177.27/158.86	o 188
177.47/159.05	o 187
177.67/159.24	o 186
177.87/159.42	o 185
177.98/159.60	o 184
178.17/159.80	o 183
178.37/159.98	o 182
178.57/160.17	o 181
178.77/160.36	o 180
178.97/160.55	o 179
179.20/160.75	o 178
179.40/160.94	o 177
179.60/161.13	o 176
179.80/161.32	o 175
180.00/161.51	o 174
180.10/161.70	o 173
180.30/161.89	o 172
180.50/162.08	o 171
180.70/162.27	o 170
180.90/162.46	o 169
181.10/162.65	o 168
181.31/162.84	o 167
181.51/163.02	o 166
181.71/163.22	o 165
181.91/163.41	o 164
182.11/163.60	o 163
182.25/163.79	o 162
182.45/163.98	o 161
182.65/164.17	o 160
182.85/164.37	o 159
183.05/164.55	o 158
183.27/164.75	o 157
183.47/164.94	o 156
183.68/165.13	o 155
183.87/165.31	o 154
184.07/165.51	o 153
184.17/165.70	o 152
184.37/165.88	o 151
184.57/166.07	o 150
184.78/166.26	o 149
184.97/166.45	o 148
185.17/166.63	o 147
185.37/166.82	o 146
185.57/167.01	o 145
185.67/167.20	o 144
185.88/167.38	o 143
186.07/167.57	o 142
186.27/167.75	o 141
186.47/167.93	o 140
186.67/168.12	o 139
186.88/168.30	o 138
186.98/168.49	o 137
187.17/168.67	o 136
187.37/168.86	o 135
187.57/169.04	o 134
187.77/169.23	o 133
187.98/169.41	o 132
188.17/169.60	o 131
188.27/169.79	o 130
188.47/169.98	o 129
188.67/170.16	o 128
188.88/170.35	o 127
189.09/170.54	o 126
189.28/170.73	o 125
189.48/170.91	o 124
189.68/171.10	o 123
189.78/171.29	o 122
189.98/171.48	o 121
190.19/171.67	o 120
190.38/171.85	o 119
190.58/172.04	o 118
190.78/172.23	o 117
190.98/172.42	o 116
191.18/172.61	o 115
191.39/172.81	o 114
191.48/172.99	o 113
191.68/173.17	o 112
191.88/173.37	o 111
192.08/173.56	o 110
192.30/173.75	o 109
192.53/173.95	o 108
192.76/174.14	o 107
193.03/174.34	o 106
193.27/174.53	o 105
193.48/174.72	o 104
193.71/174.93	o 103
194.00/175.13	o 102
194.21/175.32	o 101
194.41/175.51	o 100
194.62/175.70	o 99
194.72/175.89	o 98
194.94/176.07	o 97
195.13/176.26	o 96
195.33/176.45	o 95
195.53/176.64	o 94
195.73/176.83	o 93
195.96/177.02	o 92
196.16/177.21	o 91
196.36/177.40	o 90
196.46/177.58	o 89
196.66/177.77	o 88
196.86/177.96	o 87
197.06/178.15	o 86
197.26/178.34	o 85
197.46/178.52	o 84
197.68/178.72	o 83
197.88/178.91	o 82
198.08/179.10	o 81
198.18/179.29	o 80
198.39/179.48	o 79
198.58/179.67	o 78
198.78/179.86	o 77
198.98/180.05	o 76
199.18/180.24	o 75
199.39/180.43	o 74
199.58/180.62	o 73
199.78/180.81	o 72
199.98/181.00	o 71
200.18/181.20	o 70
200.28/181.39	o 69
200.49/181.57	o 68
200.68/181.76	o 67
200.89/181.95	o 66
201.09/182.14	o 65
201.31/182.34	o 64
201.51/182.53	o 63
201.72/182.73	o 62
201.91/182.92	o 61
202.11/183.11	o 60
202.31/183.31	o 59
202.51/183.50	o 58
202.61/183.69	o 57
202.82/183.89	o 56
203.01/184.08	o 55
203.21/184.27	o 54
203.41/184.46	o 53
203.61/184.65	o 52
203.82/184.85	o 51
204.04/185.04	o 50
204.24/185.23	o 49
204.44/185.41	o 48
204.75/185.62	o 47
205.12/185.83	o 46
205.94/186.26	o 45
206.37/186.68	o 44
209.79/189.87	o 43
213.01/193.01	o 42
2520.07/2465.60	java.util.concurrent.TimeoutException
2520.07/2465.60		at concrete.MAC.mac(MAC.scala:74)
2520.07/2465.60		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:145)
2520.07/2465.60		at scala.util.Try$.apply(Try.scala:209)
2520.07/2465.60		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
2520.07/2465.60		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
2520.07/2465.60		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
2520.07/2465.60		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
2520.07/2465.60		at org.scalameter.Measurer$Default.measure(Measurer.scala:131)
2520.07/2465.60		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
2520.07/2465.60		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
2520.07/2465.60		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
2520.07/2465.60		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
2520.07/2465.60		at concrete.MAC.oneRun(MAC.scala:146)
2520.07/2465.60		at concrete.MAC.nextSolution(MAC.scala:166)
2520.07/2465.60		at concrete.MAC.$anonfun$nextSolution$2(MAC.scala:196)
2520.07/2465.60		at concrete.ProblemState.map(ProblemState.scala:203)
2520.07/2465.60		at concrete.ProblemState.map(ProblemState.scala:188)
2520.07/2465.60		at concrete.MAC.nextSolution(MAC.scala:195)
2520.07/2465.60		at concrete.Solver.hasNext(Solver.scala:202)
2520.07/2465.60		at scala.collection.Iterator.toStream(Iterator.scala:1403)
2520.07/2465.60		at scala.collection.Iterator.toStream$(Iterator.scala:1402)
2520.07/2465.60		at concrete.Solver.toStream(Solver.scala:73)
2520.07/2465.60		at scala.collection.Iterator.$anonfun$toStream$1(Iterator.scala:1403)
2520.07/2465.60		at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1169)
2520.07/2465.60		at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1159)
2520.07/2465.60		at scala.collection.immutable.Stream.foreach(Stream.scala:531)
2520.07/2465.60		at concrete.runner.ConcreteRunner.$anonfun$run$10(ConcreteRunner.scala:157)
2520.07/2465.60		at scala.util.Success.$anonfun$map$1(Try.scala:251)
2520.07/2465.60		at scala.util.Success.map(Try.scala:209)
2520.07/2465.60		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:154)
2520.07/2465.60		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:72)
2520.07/2465.60		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:17)
2520.07/2465.60		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:119)
2520.07/2465.60		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:17)
2520.07/2465.60		at scala.Function0.apply$mcV$sp(Function0.scala:34)
2520.07/2465.60		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
2520.07/2465.60		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
2520.07/2465.60		at scala.App.$anonfun$main$1$adapted(App.scala:76)
2520.07/2465.60		at scala.collection.immutable.List.foreach(List.scala:389)
2520.07/2465.60		at scala.App.main(App.scala:76)
2520.07/2465.60		at scala.App.main$(App.scala:74)
2520.07/2465.60		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:17)
2520.07/2465.60		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2520.07/2465.61	v <instantiation cost="42">
2520.07/2465.61	v       <list>
2520.07/2465.61	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]
2520.07/2465.61	v       </list>
2520.07/2465.61	v       <values>
2520.07/2465.61	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
2520.07/2465.61	v       </values>
2520.07/2465.61	v     </instantiation>
2520.07/2465.61	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-4261967-1502424603/watcher-4261967-1502424603 -o /tmp/evaluation-result-4261967-1502424603/solver-4261967-1502424603 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node124-1502411387-7498 --watchdog 2580 bin/concrete HOME/instance-4261967-1502424603.xml 

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

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


[startup+0 s]
/proc/loadavg: 1.50 1.37 1.39 3/194 10331
/proc/meminfo: memFree=30721560/32770624 swapFree=0/376792
[pid=10331] ppid=10328 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/10331/stat : 10331 (runsolver) D 10328 10331 7434 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 30800969 24240128 108 18446744073709551615 4194304 4338465 140727340195680 140727340193320 140081130230487 0 0 1 24578 18446744071580418449 0 0 17 5 0 0 0 0 0 6438912 6441760 9609216 140727340200145 140727340200521 140727340200521 140727340203978 0
/proc/10331/statm: 5918 108 54 36 0 2156 0

[startup+0.10016 s]
/proc/loadavg: 1.50 1.37 1.39 3/194 10331
/proc/meminfo: memFree=30721560/32770624 swapFree=0/376792
[pid=10331] ppid=10328 vsize=9508 CPUtime=0 cores=1,3,5,7
/proc/10331/stat : 10331 (bash) S 10328 10331 7434 0 -1 4202496 681 1542 0 0 0 0 0 0 20 0 1 0 30800969 9736192 350 18446744073709551615 4194304 5098028 140736242683136 140736242680776 140342688091136 0 0 5 65536 18446744071580971376 0 0 17 3 0 0 9 0 0 7196144 7232144 35483648 140736242684436 140736242684521 140736242684521 140736242687978 0
/proc/10331/statm: 2377 350 278 221 0 86 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9508

[startup+0.200333 s]
/proc/loadavg: 1.50 1.37 1.39 3/194 10331
/proc/meminfo: memFree=30721560/32770624 swapFree=0/376792
[pid=10331] ppid=10328 vsize=9636 CPUtime=0.01 cores=1,3,5,7
/proc/10331/stat : 10331 (bash) S 10328 10331 7434 0 -1 4202496 890 6479 0 0 0 0 0 1 20 0 1 0 30800969 9867264 372 18446744073709551615 4194304 5098028 140736242683136 140736242677144 140342688091136 0 0 5 65536 18446744071580971376 0 0 17 3 0 0 9 0 0 7196144 7232144 35483648 140736242684436 140736242684521 140736242684521 140736242687978 0
/proc/10331/statm: 2409 372 292 221 0 118 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9636

[startup+0.300294 s]
/proc/loadavg: 1.50 1.37 1.39 3/194 10331
/proc/meminfo: memFree=30721560/32770624 swapFree=0/376792
[pid=10331] ppid=10328 vsize=13907308 CPUtime=0.13 cores=1,3,5,7
/proc/10331/stat : 10331 (java) S 10328 10331 7434 0 -1 1077944320 6005 12403 0 0 6 0 5 2 20 0 14 0 30800969 14241083392 5663 18446744073709551615 4194304 4196468 140724107149184 140724107131728 139971134037751 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 9 0 0 6293624 6294260 24526848 140724107151312 140724107154097 140724107154097 140724107157455 0
/proc/10331/statm: 3476827 5663 2538 1 0 3466324 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 13907308

[startup+0.700279 s]
/proc/loadavg: 1.50 1.37 1.39 3/194 10331
/proc/meminfo: memFree=30721560/32770624 swapFree=0/376792
[pid=10331] ppid=10328 vsize=13974784 CPUtime=0.68 cores=1,3,5,7
/proc/10331/stat : 10331 (java) S 10328 10331 7434 0 -1 1077944320 14014 12403 0 0 57 4 5 2 20 0 15 0 30800969 14310178816 14460 18446744073709551615 4194304 4196468 140724107149184 140724107131728 139971134037751 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 9 0 0 6293624 6294260 24526848 140724107151312 140724107154097 140724107154097 140724107157455 0
/proc/10331/statm: 3493696 14460 3129 1 0 3482965 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 13974784

[startup+1.50054 s]
/proc/loadavg: 1.50 1.37 1.39 3/209 10394
/proc/meminfo: memFree=30626772/32770624 swapFree=0/377008
[pid=10331] ppid=10328 vsize=13985408 CPUtime=1.88 cores=1,3,5,7
/proc/10331/stat : 10331 (java) S 10328 10331 7434 0 -1 1077944320 26632 12403 0 0 171 10 5 2 20 0 15 0 30800969 14321057792 39960 18446744073709551615 4194304 4196468 140724107149184 140724107131728 139971134037751 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 9 0 0 6293624 6294260 24526848 140724107151312 140724107154097 140724107154097 140724107157455 0
/proc/10331/statm: 3496352 39960 3344 1 0 3485525 0
[pid=10331/tid=10381] ppid=10328 vsize=13985408 CPUtime=1.28 cores=1,3,5,7
/proc/10331/task/10381/stat : 10381 (java) S 10328 10331 7434 0 -1 1077944384 21191 12403 0 0 114 7 5 2 20 0 15 0 30800991 14321057792 39960 18446744073709551615 4194304 4196468 140724107149184 139971138261424 139971134047957 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 3 0 0 6293624 6294260 24526848 140724107151312 140724107154097 140724107154097 140724107157455 0
[pid=10331/tid=10382] ppid=10328 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/10331/task/10382/stat : 10382 (java) S 10328 10331 7434 0 -1 1077944384 177 12403 0 0 0 0 5 2 20 0 15 0 30800992 14321057792 39960 18446744073709551615 4194304 4196468 140724107149184 139970733927184 139971134047957 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24526848 140724107151312 140724107154097 140724107154097 140724107157455 0
[pid=10331/tid=10383] ppid=10328 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/10331/task/10383/stat : 10383 (java) S 10328 10331 7434 0 -1 1077944384 48 12403 0 0 0 0 5 2 20 0 15 0 30800992 14321057792 39960 18446744073709551615 4194304 4196468 140724107149184 139970732874640 139971134047957 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24526848 140724107151312 140724107154097 140724107154097 140724107157455 0
[pid=10331/tid=10384] ppid=10328 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/10331/task/10384/stat : 10384 (java) S 10328 10331 7434 0 -1 1077944384 33 12403 0 0 0 0 5 2 20 0 15 0 30800992 14321057792 39986 18446744073709551615 4194304 4196468 140724107149184 139970731822096 139971134047957 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24526848 140724107151312 140724107154097 140724107154097 140724107157455 0
[pid=10331/tid=10385] ppid=10328 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/10331/task/10385/stat : 10385 (java) S 10328 10331 7434 0 -1 1077944384 45 12403 0 0 0 0 5 2 20 0 15 0 30800992 14321057792 39986 18446744073709551615 4194304 4196468 140724107149184 139970730769552 139971134047957 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24526848 140724107151312 140724107154097 140724107154097 140724107157455 0
[pid=10331/tid=10386] ppid=10328 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/10331/task/10386/stat : 10386 (java) R 10328 10331 7434 0 -1 4202560 74 12403 0 0 0 0 5 2 20 0 15 0 30800993 14321057792 39986 18446744073709551615 4194304 4196468 140724107149184 139970050457920 139971114232442 0 0 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24526848 140724107151312 140724107154097 140724107154097 140724107157455 0
[pid=10331/tid=10387] ppid=10328 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/10331/task/10387/stat : 10387 (java) S 10328 10331 7434 0 -1 1077944384 33 12403 0 0 0 0 5 2 20 0 15 0 30800993 14321057792 39986 18446744073709551615 4194304 4196468 140724107149184 139970049405856 139971134047957 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24526848 140724107151312 140724107154097 140724107154097 140724107157455 0
[pid=10331/tid=10388] ppid=10328 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/10331/task/10388/stat : 10388 (java) S 10328 10331 7434 0 -1 1077944384 21 12403 0 0 0 0 5 2 20 0 15 0 30800994 14321057792 39986 18446744073709551615 4194304 4196468 140724107149184 139970048353264 139971134047957 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24526848 140724107151312 140724107154097 140724107154097 140724107157455 0
[pid=10331/tid=10389] ppid=10328 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/10331/task/10389/stat : 10389 (java) S 10328 10331 7434 0 -1 1077944384 3 12403 0 0 0 0 5 2 20 0 15 0 30800996 14321057792 39986 18446744073709551615 4194304 4196468 140724107149184 139970047301840 139971134056347 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24526848 140724107151312 140724107154097 140724107154097 140724107157455 0
[pid=10331/tid=10390] ppid=10328 vsize=13985408 CPUtime=0.22 cores=1,3,5,7
/proc/10331/task/10390/stat : 10390 (java) S 10328 10331 7434 0 -1 1077944384 798 12403 0 0 15 0 5 2 20 0 15 0 30800996 14321057792 39986 18446744073709551615 4194304 4196468 140724107149184 139970046249456 139971134048898 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24526848 140724107151312 140724107154097 140724107154097 140724107157455 0
[pid=10331/tid=10391] ppid=10328 vsize=13985408 CPUtime=0.21 cores=1,3,5,7
/proc/10331/task/10391/stat : 10391 (java) S 10328 10331 7434 0 -1 1077944384 849 12403 0 0 14 0 5 2 20 0 15 0 30800996 14321057792 39986 18446744073709551615 4194304 4196468 140724107149184 139970045196912 139971134048898 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24526848 140724107151312 140724107154097 140724107154097 140724107157455 0
[pid=10331/tid=10392] ppid=10328 vsize=13985408 CPUtime=0.3 cores=1,3,5,7
/proc/10331/task/10392/stat : 10392 (java) S 10328 10331 7434 0 -1 1077944384 1231 12403 0 0 23 0 5 2 20 0 15 0 30800996 14321057792 39986 18446744073709551615 4194304 4196468 140724107149184 139970044139744 139971134047957 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24526848 140724107151312 140724107154097 140724107154097 140724107157455 0
[pid=10331/tid=10393] ppid=10328 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/10331/task/10393/stat : 10393 (java) S 10328 10331 7434 0 -1 1077944384 3 12403 0 0 0 0 5 2 20 0 15 0 30800997 14321057792 39986 18446744073709551615 4194304 4196468 140724107149184 139970043092064 139971134047957 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24526848 140724107151312 140724107154097 140724107154097 140724107157455 0
[pid=10331/tid=10394] ppid=10328 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/10331/task/10394/stat : 10394 (java) S 10328 10331 7434 0 -1 1077944384 3 12403 0 0 0 0 5 2 20 0 15 0 30801001 14321057792 39986 18446744073709551615 4194304 4196468 140724107149184 139970042038576 139971134048898 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24526848 140724107151312 140724107154097 140724107154097 140724107157455 0
Current children cumulated CPU time (s) 1.88
Current children cumulated vsize (KiB) 13985408

[startup+3.10155 s]
/proc/loadavg: 1.62 1.40 1.40 4/209 10394
/proc/meminfo: memFree=30549664/32770624 swapFree=0/377040
[pid=10331] ppid=10328 vsize=13995836 CPUtime=6.26 cores=1,3,5,7
/proc/10331/stat : 10331 (java) S 10328 10331 7434 0 -1 1077944320 35287 12403 0 0 601 18 5 2 20 0 15 0 30800969 14331736064 73177 18446744073709551615 4194304 4196468 140724107149184 140724107131728 139971134037751 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 9 0 0 6293624 6294260 24526848 140724107151312 140724107154097 140724107154097 140724107157455 0
/proc/10331/statm: 3498959 73177 3465 1 0 3487573 0
[pid=10331/tid=10381] ppid=10328 vsize=13995836 CPUtime=2.84 cores=1,3,5,7
/proc/10331/task/10381/stat : 10381 (java) R 10328 10331 7434 0 -1 4202560 24207 12403 0 0 267 10 5 2 20 0 15 0 30800991 14331736064 73177 18446744073709551615 4194304 4196468 140724107149184 139971138236208 139971119730512 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 24526848 140724107151312 140724107154097 140724107154097 140724107157455 0
[pid=10331/tid=10382] ppid=10328 vsize=13995836 CPUtime=0.09 cores=1,3,5,7
/proc/10331/task/10382/stat : 10382 (java) S 10328 10331 7434 0 -1 1077944384 226 12403 0 0 2 0 5 2 20 0 15 0 30800992 14331736064 73177 18446744073709551615 4194304 4196468 140724107149184 139970733927184 139971134047957 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24526848 140724107151312 140724107154097 140724107154097 140724107157455 0
[pid=10331/tid=10383] ppid=10328 vsize=13995836 CPUtime=0.1 cores=1,3,5,7
/proc/10331/task/10383/stat : 10383 (java) S 10328 10331 7434 0 -1 1077944384 101 12403 0 0 2 1 5 2 20 0 15 0 30800992 14331736064 73177 18446744073709551615 4194304 4196468 140724107149184 139970732874640 139971134047957 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24526848 140724107151312 140724107154097 140724107154097 140724107157455 0
[pid=10331/tid=10384] ppid=10328 vsize=13995836 CPUtime=0.1 cores=1,3,5,7
/proc/10331/task/10384/stat : 10384 (java) S 10328 10331 7434 0 -1 1077944384 89 12403 0 0 2 1 5 2 20 0 15 0 30800992 14331736064 73177 18446744073709551615 4194304 4196468 140724107149184 139970731822096 139971134047957 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24526848 140724107151312 140724107154097 140724107154097 140724107157455 0
[pid=10331/tid=10385] ppid=10328 vsize=13995836 CPUtime=0.1 cores=1,3,5,7
/proc/10331/task/10385/stat : 10385 (java) S 10328 10331 7434 0 -1 1077944384 104 12403 0 0 2 1 5 2 20 0 15 0 30800992 14331736064 73192 18446744073709551615 4194304 4196468 140724107149184 139970730769552 139971134047957 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24526848 140724107151312 140724107154097 140724107154097 140724107157455 0
[pid=10331/tid=10386] ppid=10328 vsize=13995836 CPUtime=0.08 cores=1,3,5,7
/proc/10331/task/10386/stat : 10386 (java) S 10328 10331 7434 0 -1 1077944384 1229 12403 0 0 1 0 5 2 20 0 15 0 30800993 14331736064 73192 18446744073709551615 4194304 4196468 140724107149184 139970050459632 139971134048898 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24526848 140724107151312 140724107154097 140724107154097 140724107157455 0
[pid=10331/tid=10387] ppid=10328 vsize=13995836 CPUtime=0.07 cores=1,3,5,7
/proc/10331/task/10387/stat : 10387 (java) S 10328 10331 7434 0 -1 1077944384 54 12403 0 0 0 0 5 2 20 0 15 0 30800993 14331736064 73192 18446744073709551615 4194304 4196468 140724107149184 139970049405920 139971134047957 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24526848 140724107151312 140724107154097 140724107154097 140724107157455 0
[pid=10331/tid=10388] ppid=10328 vsize=13995836 CPUtime=0.07 cores=1,3,5,7
/proc/10331/task/10388/stat : 10388 (java) S 10328 10331 7434 0 -1 1077944384 44 12403 0 0 0 0 5 2 20 0 15 0 30800994 14331736064 73192 18446744073709551615 4194304 4196468 140724107149184 139970048353280 139971134047957 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24526848 140724107151312 140724107154097 140724107154097 140724107157455 0
[pid=10331/tid=10389] ppid=10328 vsize=13995836 CPUtime=0.07 cores=1,3,5,7
/proc/10331/task/10389/stat : 10389 (java) S 10328 10331 7434 0 -1 1077944384 3 12403 0 0 0 0 5 2 20 0 15 0 30800996 14331736064 73192 18446744073709551615 4194304 4196468 140724107149184 139970047301840 139971134056347 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24526848 140724107151312 140724107154097 140724107154097 140724107157455 0
[pid=10331/tid=10390] ppid=10328 vsize=13995836 CPUtime=1.17 cores=1,3,5,7
/proc/10331/task/10390/stat : 10390 (java) S 10328 10331 7434 0 -1 1077944384 1759 12403 0 0 110 0 5 2 20 0 15 0 30800996 14331736064 73192 18446744073709551615 4194304 4196468 140724107149184 139970046249456 139971134048898 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24526848 140724107151312 140724107154097 140724107154097 140724107157455 0
[pid=10331/tid=10391] ppid=10328 vsize=13995836 CPUtime=1.33 cores=1,3,5,7
/proc/10331/task/10391/stat : 10391 (java) R 10328 10331 7434 0 -1 4202560 2573 12403 0 0 125 1 5 2 20 0 15 0 30800996 14331736064 73192 18446744073709551615 4194304 4196468 140724107149184 139970045177808 139971117534539 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24526848 140724107151312 140724107154097 140724107154097 140724107157455 0
[pid=10331/tid=10392] ppid=10328 vsize=13995836 CPUtime=0.93 cores=1,3,5,7
/proc/10331/task/10392/stat : 10392 (java) S 10328 10331 7434 0 -1 1077944384 2742 12403 0 0 85 1 5 2 20 0 15 0 30800996 14331736064 73192 18446744073709551615 4194304 4196468 140724107149184 139970044144368 139971134048898 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24526848 140724107151312 140724107154097 140724107154097 140724107157455 0
[pid=10331/tid=10393] ppid=10328 vsize=13995836 CPUtime=0.07 cores=1,3,5,7
/proc/10331/task/10393/stat : 10393 (java) S 10328 10331 7434 0 -1 1077944384 3 12403 0 0 0 0 5 2 20 0 15 0 30800997 14331736064 73192 18446744073709551615 4194304 4196468 140724107149184 139970043092064 139971134047957 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24526848 140724107151312 140724107154097 140724107154097 140724107157455 0
[pid=10331/tid=10394] ppid=10328 vsize=13995836 CPUtime=0.07 cores=1,3,5,7
/proc/10331/task/10394/stat : 10394 (java) S 10328 10331 7434 0 -1 1077944384 3 12403 0 0 0 0 5 2 20 0 15 0 30801001 14331736064 73192 18446744073709551615 4194304 4196468 140724107149184 139970042038576 139971134048898 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24526848 140724107151312 140724107154097 140724107154097 140724107157455 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 13995836

[startup+6.30155 s]
/proc/loadavg: 1.62 1.40 1.40 4/209 10394
/proc/meminfo: memFree=30281088/32770624 swapFree=0/377032
[pid=10331] ppid=10328 vsize=13997884 CPUtime=14.08 cores=1,3,5,7
/proc/10331/stat : 10331 (java) S 10328 10331 7434 0 -1 1077944320 50485 12403 0 0 1354 47 5 2 20 0 15 0 30800969 14333833216 171340 18446744073709551615 4194304 4196468 140724107149184 140724107131728 139971134037751 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 9 0 0 6293624 6294260 24526848 140724107151312 140724107154097 140724107154097 140724107157455 0
/proc/10331/statm: 3499471 171340 3480 1 0 3488085 0
[pid=10331/tid=10381] ppid=10328 vsize=13997884 CPUtime=5.77 cores=1,3,5,7
/proc/10331/task/10381/stat : 10381 (java) R 10328 10331 7434 0 -1 4202560 26868 12403 0 0 558 12 5 2 20 0 15 0 30800991 14333833216 171340 18446744073709551615 4194304 4196468 140724107149184 139971138272576 139970776544256 0 4 1 16800974 0 0 0 -1 7 0 0 3 0 0 6293624 6294260 24526848 140724107151312 140724107154097 140724107154097 140724107157455 0
[pid=10331/tid=10382] ppid=10328 vsize=13997884 CPUtime=0.31 cores=1,3,5,7
/proc/10331/task/10382/stat : 10382 (java) S 10328 10331 7434 0 -1 1077944384 573 12403 0 0 18 6 5 2 20 0 15 0 30800992 14333833216 171340 18446744073709551615 4194304 4196468 140724107149184 139970733927184 139971134047957 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24526848 140724107151312 140724107154097 140724107154097 140724107157455 0
[pid=10331/tid=10383] ppid=10328 vsize=13997884 CPUtime=0.3 cores=1,3,5,7
/proc/10331/task/10383/stat : 10383 (java) S 10328 10331 7434 0 -1 1077944384 295 12403 0 0 17 6 5 2 20 0 15 0 30800992 14333833216 171340 18446744073709551615 4194304 4196468 140724107149184 139970732874640 139971134047957 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24526848 140724107151312 140724107154097 140724107154097 140724107157455 0
[pid=10331/tid=10384] ppid=10328 vsize=13997884 CPUtime=0.32 cores=1,3,5,7
/proc/10331/task/10384/stat : 10384 (java) S 10328 10331 7434 0 -1 1077944384 472 12403 0 0 18 7 5 2 20 0 15 0 30800992 14333833216 171340 18446744073709551615 4194304 4196468 140724107149184 139970731822096 139971134047957 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24526848 140724107151312 140724107154097 140724107154097 140724107157455 0
[pid=10331/tid=10385] ppid=10328 vsize=13997884 CPUtime=0.3 cores=1,3,5,7
/proc/10331/task/10385/stat : 10385 (java) S 10328 10331 7434 0 -1 1077944384 339 12403 0 0 16 7 5 2 20 0 15 0 30800992 14333833216 171340 18446744073709551615 4194304 4196468 140724107149184 139970730769552 139971134047957 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24526848 140724107151312 140724107154097 140724107154097 140724107157455 0
[pid=10331/tid=10386] ppid=10328 vsize=13997884 CPUtime=0.09 cores=1,3,5,7
/proc/10331/task/10386/stat : 10386 (java) S 10328 10331 7434 0 -1 1077944384 1562 12403 0 0 2 0 5 2 20 0 15 0 30800993 14333833216 171340 18446744073709551615 4194304 4196468 140724107149184 139970050459632 139971134048898 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24526848 140724107151312 140724107154097 140724107154097 140724107157455 0
[pid=10331/tid=10387] ppid=10328 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/10331/task/10387/stat : 10387 (java) S 10328 10331 7434 0 -1 1077944384 54 12403 0 0 0 0 5 2 20 0 15 0 30800993 14333833216 171340 18446744073709551615 4194304 4196468 140724107149184 139970049405920 139971134047957 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24526848 140724107151312 140724107154097 140724107154097 140724107157455 0
[pid=10331/tid=10388] ppid=10328 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/10331/task/10388/stat : 10388 (java) S 10328 10331 7434 0 -1 1077944384 44 12403 0 0 0 0 5 2 20 0 15 0 30800994 14333833216 171340 18446744073709551615 4194304 4196468 140724107149184 139970048353280 139971134047957 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24526848 140724107151312 140724107154097 140724107154097 140724107157455 0
[pid=10331/tid=10389] ppid=10328 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/10331/task/10389/stat : 10389 (java) S 10328 10331 7434 0 -1 1077944384 3 12403 0 0 0 0 5 2 20 0 15 0 30800996 14333833216 171340 18446744073709551615 4194304 4196468 140724107149184 139970047301840 139971134056347 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24526848 140724107151312 140724107154097 140724107154097 140724107157455 0
[pid=10331/tid=10390] ppid=10328 vsize=13997884 CPUtime=2.85 cores=1,3,5,7
/proc/10331/task/10390/stat : 10390 (java) S 10328 10331 7434 0 -1 1077944384 4795 12403 0 0 277 1 5 2 20 0 15 0 30800996 14333833216 171340 18446744073709551615 4194304 4196468 140724107149184 139970046249456 139971134048898 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24526848 140724107151312 140724107154097 140724107154097 140724107157455 0
[pid=10331/tid=10391] ppid=10328 vsize=13997884 CPUtime=3.13 cores=1,3,5,7
/proc/10331/task/10391/stat : 10391 (java) S 10328 10331 7434 0 -1 1077944384 5778 12403 0 0 304 2 5 2 20 0 15 0 30800996 14333833216 171340 18446744073709551615 4194304 4196468 140724107149184 139970045196912 139971134048898 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24526848 140724107151312 140724107154097 140724107154097 140724107157455 0
[pid=10331/tid=10392] ppid=10328 vsize=13997884 CPUtime=1.47 cores=1,3,5,7
/proc/10331/task/10392/stat : 10392 (java) S 10328 10331 7434 0 -1 1077944384 7439 12403 0 0 138 2 5 2 20 0 15 0 30800996 14333833216 171340 18446744073709551615 4194304 4196468 140724107149184 139970044144368 139971134048898 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24526848 140724107151312 140724107154097 140724107154097 140724107157455 0
[pid=10331/tid=10393] ppid=10328 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/10331/task/10393/stat : 10393 (java) S 10328 10331 7434 0 -1 1077944384 3 12403 0 0 0 0 5 2 20 0 15 0 30800997 14333833216 171340 18446744073709551615 4194304 4196468 140724107149184 139970043092064 139971134047957 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24526848 140724107151312 140724107154097 140724107154097 140724107157455 0
[pid=10331/tid=10394] ppid=10328 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/10331/task/10394/stat : 10394 (java) S 10328 10331 7434 0 -1 1077944384 110 12403 0 0 0 0 5 2 20 0 15 0 30801001 14333833216 171340 18446744073709551615 4194304 4196468 140724107149184 139970042038576 139971134048898 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 2 0 0 6293624 6294260 24526848 140724107151312 140724107154097 140724107154097 140724107157455 0
Current children cumulated CPU time (s) 14.08
Current children cumulated vsize (KiB) 13997884

[startup+12.7015 s]
/proc/loadavg: 1.52 1.39 1.39 4/209 10394
/proc/meminfo: memFree=29374908/32770624 swapFree=0/377040
[pid=10331] ppid=10328 vsize=14001980 CPUtime=28.82 cores=1,3,5,7
/proc/10331/stat : 10331 (java) S 10328 10331 7434 0 -1 1077944320 72014 12403 0 0 2799 76 5 2 20 0 15 0 30800969 14338027520 339278 18446744073709551615 4194304 4196468 140724107149184 140724107131728 139971134037751 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 9 0 0 6293624 6294260 24526848 140724107151312 140724107154097 140724107154097 140724107157455 0
/proc/10331/statm: 3500495 339278 3488 1 0 3489109 0
[pid=10331/tid=10381] ppid=10328 vsize=14001980 CPUtime=11.68 cores=1,3,5,7
/proc/10331/task/10381/stat : 10381 (java) R 10328 10331 7434 0 -1 4202560 35112 12403 0 0 1141 20 5 2 20 0 15 0 30800991 14338027520 339278 18446744073709551615 4194304 4196468 140724107149184 139971138269000 139971115444009 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 24526848 140724107151312 140724107154097 140724107154097 140724107157455 0
[pid=10331/tid=10382] ppid=10328 vsize=14001980 CPUtime=0.67 cores=1,3,5,7
/proc/10331/task/10382/stat : 10382 (java) S 10328 10331 7434 0 -1 1077944384 675 12403 0 0 50 10 5 2 20 0 15 0 30800992 14338027520 339278 18446744073709551615 4194304 4196468 140724107149184 139970733927184 139971134047957 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24526848 140724107151312 140724107154097 140724107154097 140724107157455 0
[pid=10331/tid=10383] ppid=10328 vsize=14001980 CPUtime=0.65 cores=1,3,5,7
/proc/10331/task/10383/stat : 10383 (java) S 10328 10331 7434 0 -1 1077944384 416 12403 0 0 47 11 5 2 20 0 15 0 30800992 14338027520 339278 18446744073709551615 4194304 4196468 140724107149184 139970732874640 139971134047957 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24526848 140724107151312 140724107154097 140724107154097 140724107157455 0
[pid=10331/tid=10384] ppid=10328 vsize=14001980 CPUtime=0.67 cores=1,3,5,7
/proc/10331/task/10384/stat : 10384 (java) S 10328 10331 7434 0 -1 1077944384 572 12403 0 0 49 11 5 2 20 0 15 0 30800992 14338027520 339278 18446744073709551615 4194304 4196468 140724107149184 139970731822096 139971134047957 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24526848 140724107151312 140724107154097 140724107154097 140724107157455 0
[pid=10331/tid=10385] ppid=10328 vsize=14001980 CPUtime=0.65 cores=1,3,5,7
/proc/10331/task/10385/stat : 10385 (java) S 10328 10331 7434 0 -1 1077944384 475 12403 0 0 47 11 5 2 20 0 15 0 30800992 14338027520 339278 18446744073709551615 4194304 4196468 140724107149184 139970730769552 139971134047957 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24526848 140724107151312 140724107154097 140724107154097 140724107157455 0
[pid=10331/tid=10386] ppid=10328 vsize=14001980 CPUtime=0.21 cores=1,3,5,7
/proc/10331/task/10386/stat : 10386 (java) S 10328 10331 7434 0 -1 1077944384 3076 12403 0 0 13 1 5 2 20 0 15 0 30800993 14338027520 339278 18446744073709551615 4194304 4196468 140724107149184 139970050459632 139971134048898 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24526848 140724107151312 140724107154097 140724107154097 140724107157455 0
[pid=10331/tid=10387] ppid=10328 vsize=14001980 CPUtime=0.07 cores=1,3,5,7
/proc/10331/task/10387/stat : 10387 (java) S 10328 10331 7434 0 -1 1077944384 54 12403 0 0 0 0 5 2 20 0 15 0 30800993 14338027520 339278 18446744073709551615 4194304 4196468 140724107149184 139970049405920 139971134047957 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24526848 140724107151312 140724107154097 140724107154097 140724107157455 0
[pid=10331/tid=10388] ppid=10328 vsize=14001980 CPUtime=0.07 cores=1,3,5,7
/proc/10331/task/10388/stat : 10388 (java) S 10328 10331 7434 0 -1 1077944384 44 12403 0 0 0 0 5 2 20 0 15 0 30800994 14338027520 339278 18446744073709551615 4194304 4196468 140724107149184 139970048353280 139971134047957 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24526848 140724107151312 140724107154097 140724107154097 140724107157455 0
[pid=10331/tid=10389] ppid=10328 vsize=14001980 CPUtime=0.07 cores=1,3,5,7
/proc/10331/task/10389/stat : 10389 (java) S 10328 10331 7434 0 -1 1077944384 3 12403 0 0 0 0 5 2 20 0 15 0 30800996 14338027520 339278 18446744073709551615 4194304 4196468 140724107149184 139970047301840 139971134056347 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24526848 140724107151312 140724107154097 140724107154097 140724107157455 0

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

/proc/10331/task/10393/stat : 10393 (java) S 10328 10331 7434 0 -1 1077944384 3 12403 0 0 0 0 5 2 20 0 15 0 30800997 14338027520 769823 18446744073709551615 4194304 4196468 140724107149184 139970043092064 139971134047957 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24526848 140724107151312 140724107154097 140724107154097 140724107157455 0
[pid=10331/tid=10394] ppid=10328 vsize=14001980 CPUtime=1.24 cores=1,3,5,7
/proc/10331/task/10394/stat : 10394 (java) S 10328 10331 7434 0 -1 1077944384 2357 12403 0 0 58 59 5 2 20 0 15 0 30801001 14338027520 769823 18446744073709551615 4194304 4196468 140724107149184 139970042038576 139971134048898 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 24526848 140724107151312 140724107154097 140724107154097 140724107157455 0
Current children cumulated CPU time (s) 2313.17
Current children cumulated vsize (KiB) 14001980

[startup+2322.3 s]
/proc/loadavg: 1.20 1.27 1.31 3/210 10685
/proc/meminfo: memFree=27759992/32770624 swapFree=0/378244
[pid=10331] ppid=10328 vsize=14001980 CPUtime=2374.23 cores=1,3,5,7
/proc/10331/stat : 10331 (java) S 10328 10331 7434 0 -1 1077944320 367976 12403 0 0 237031 385 5 2 20 0 15 0 30800969 14338027520 769823 18446744073709551615 4194304 4196468 140724107149184 140724107131728 139971134037751 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 9 0 0 6293624 6294260 24526848 140724107151312 140724107154097 140724107154097 140724107157455 0
/proc/10331/statm: 3500495 769823 3498 1 0 3489109 0
[pid=10331/tid=10381] ppid=10328 vsize=14001980 CPUtime=2300.49 cores=1,3,5,7
/proc/10331/task/10381/stat : 10381 (java) R 10328 10331 7434 0 -1 4202560 120114 12403 0 0 229957 85 5 2 20 0 15 0 30800991 14338027520 769823 18446744073709551615 4194304 4196468 140724107149184 139971138271696 139970780629542 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 24526848 140724107151312 140724107154097 140724107154097 140724107157455 0
[pid=10331/tid=10382] ppid=10328 vsize=14001980 CPUtime=11.62 cores=1,3,5,7
/proc/10331/task/10382/stat : 10382 (java) S 10328 10331 7434 0 -1 1077944384 42025 12403 0 0 1094 61 5 2 20 0 15 0 30800992 14338027520 769823 18446744073709551615 4194304 4196468 140724107149184 139970733927184 139971134047957 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24526848 140724107151312 140724107154097 140724107154097 140724107157455 0
[pid=10331/tid=10383] ppid=10328 vsize=14001980 CPUtime=11.56 cores=1,3,5,7
/proc/10331/task/10383/stat : 10383 (java) S 10328 10331 7434 0 -1 1077944384 30055 12403 0 0 1095 54 5 2 20 0 15 0 30800992 14338027520 769823 18446744073709551615 4194304 4196468 140724107149184 139970732874640 139971134047957 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24526848 140724107151312 140724107154097 140724107154097 140724107157455 0
[pid=10331/tid=10384] ppid=10328 vsize=14001980 CPUtime=11.57 cores=1,3,5,7
/proc/10331/task/10384/stat : 10384 (java) S 10328 10331 7434 0 -1 1077944384 32801 12403 0 0 1091 59 5 2 20 0 15 0 30800992 14338027520 769823 18446744073709551615 4194304 4196468 140724107149184 139970731822096 139971134047957 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24526848 140724107151312 140724107154097 140724107154097 140724107157455 0
[pid=10331/tid=10385] ppid=10328 vsize=14001980 CPUtime=11.55 cores=1,3,5,7
/proc/10331/task/10385/stat : 10385 (java) S 10328 10331 7434 0 -1 1077944384 38658 12403 0 0 1093 55 5 2 20 0 15 0 30800992 14338027520 769823 18446744073709551615 4194304 4196468 140724107149184 139970730769552 139971134047957 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24526848 140724107151312 140724107154097 140724107154097 140724107157455 0
[pid=10331/tid=10386] ppid=10328 vsize=14001980 CPUtime=8.58 cores=1,3,5,7
/proc/10331/task/10386/stat : 10386 (java) S 10328 10331 7434 0 -1 1077944384 34610 12403 0 0 804 47 5 2 20 0 15 0 30800993 14338027520 769823 18446744073709551615 4194304 4196468 140724107149184 139970050459632 139971134048898 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24526848 140724107151312 140724107154097 140724107154097 140724107157455 0
[pid=10331/tid=10387] ppid=10328 vsize=14001980 CPUtime=0.07 cores=1,3,5,7
/proc/10331/task/10387/stat : 10387 (java) S 10328 10331 7434 0 -1 1077944384 86 12403 0 0 0 0 5 2 20 0 15 0 30800993 14338027520 769823 18446744073709551615 4194304 4196468 140724107149184 139970049405920 139971134047957 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24526848 140724107151312 140724107154097 140724107154097 140724107157455 0
[pid=10331/tid=10388] ppid=10328 vsize=14001980 CPUtime=0.07 cores=1,3,5,7
/proc/10331/task/10388/stat : 10388 (java) S 10328 10331 7434 0 -1 1077944384 57 12403 0 0 0 0 5 2 20 0 15 0 30800994 14338027520 769823 18446744073709551615 4194304 4196468 140724107149184 139970048353280 139971134047957 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24526848 140724107151312 140724107154097 140724107154097 140724107157455 0
[pid=10331/tid=10389] ppid=10328 vsize=14001980 CPUtime=0.07 cores=1,3,5,7
/proc/10331/task/10389/stat : 10389 (java) S 10328 10331 7434 0 -1 1077944384 3 12403 0 0 0 0 5 2 20 0 15 0 30800996 14338027520 769823 18446744073709551615 4194304 4196468 140724107149184 139970047301840 139971134056347 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24526848 140724107151312 140724107154097 140724107154097 140724107157455 0
[pid=10331/tid=10390] ppid=10328 vsize=14001980 CPUtime=7.68 cores=1,3,5,7
/proc/10331/task/10390/stat : 10390 (java) S 10328 10331 7434 0 -1 1077944384 17288 12403 0 0 758 3 5 2 20 0 15 0 30800996 14338027520 769823 18446744073709551615 4194304 4196468 140724107149184 139970046249456 139971134048898 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24526848 140724107151312 140724107154097 140724107154097 140724107157455 0
[pid=10331/tid=10391] ppid=10328 vsize=14001980 CPUtime=7.76 cores=1,3,5,7
/proc/10331/task/10391/stat : 10391 (java) S 10328 10331 7434 0 -1 1077944384 21382 12403 0 0 764 5 5 2 20 0 15 0 30800996 14338027520 769823 18446744073709551615 4194304 4196468 140724107149184 139970045196912 139971134048898 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24526848 140724107151312 140724107154097 140724107154097 140724107157455 0
[pid=10331/tid=10392] ppid=10328 vsize=14001980 CPUtime=2.64 cores=1,3,5,7
/proc/10331/task/10392/stat : 10392 (java) S 10328 10331 7434 0 -1 1077944384 26355 12403 0 0 253 4 5 2 20 0 15 0 30800996 14338027520 769823 18446744073709551615 4194304 4196468 140724107149184 139970044144368 139971134048898 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24526848 140724107151312 140724107154097 140724107154097 140724107157455 0
[pid=10331/tid=10393] ppid=10328 vsize=14001980 CPUtime=0.07 cores=1,3,5,7
/proc/10331/task/10393/stat : 10393 (java) S 10328 10331 7434 0 -1 1077944384 3 12403 0 0 0 0 5 2 20 0 15 0 30800997 14338027520 769823 18446744073709551615 4194304 4196468 140724107149184 139970043092064 139971134047957 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24526848 140724107151312 140724107154097 140724107154097 140724107157455 0
[pid=10331/tid=10394] ppid=10328 vsize=14001980 CPUtime=1.28 cores=1,3,5,7
/proc/10331/task/10394/stat : 10394 (java) S 10328 10331 7434 0 -1 1077944384 2389 12403 0 0 60 61 5 2 20 0 15 0 30801001 14338027520 769823 18446744073709551615 4194304 4196468 140724107149184 139970042038576 139971134048898 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 2 0 0 6293624 6294260 24526848 140724107151312 140724107154097 140724107154097 140724107157455 0
Current children cumulated CPU time (s) 2374.23
Current children cumulated vsize (KiB) 14001980

[startup+2382.3 s]
/proc/loadavg: 1.12 1.24 1.29 3/209 10687
/proc/meminfo: memFree=27759492/32770624 swapFree=0/378252
[pid=10331] ppid=10328 vsize=14001980 CPUtime=2435.31 cores=1,3,5,7
/proc/10331/stat : 10331 (java) S 10328 10331 7434 0 -1 1077944320 371520 12403 0 0 243133 391 5 2 20 0 15 0 30800969 14338027520 769823 18446744073709551615 4194304 4196468 140724107149184 140724107131728 139971134037751 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 9 0 0 6293624 6294260 24526848 140724107151312 140724107154097 140724107154097 140724107157455 0
/proc/10331/statm: 3500495 769823 3498 1 0 3489109 0
[pid=10331/tid=10381] ppid=10328 vsize=14001980 CPUtime=2359.84 cores=1,3,5,7
/proc/10331/task/10381/stat : 10381 (java) R 10328 10331 7434 0 -1 4202560 121407 12403 0 0 235891 86 5 2 20 0 15 0 30800991 14338027520 769823 18446744073709551615 4194304 4196468 140724107149184 139971138271664 139970791170201 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 24526848 140724107151312 140724107154097 140724107154097 140724107157455 0
[pid=10331/tid=10382] ppid=10328 vsize=14001980 CPUtime=11.98 cores=1,3,5,7
/proc/10331/task/10382/stat : 10382 (java) S 10328 10331 7434 0 -1 1077944384 42312 12403 0 0 1130 61 5 2 20 0 15 0 30800992 14338027520 769823 18446744073709551615 4194304 4196468 140724107149184 139970733927184 139971134047957 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24526848 140724107151312 140724107154097 140724107154097 140724107157455 0
[pid=10331/tid=10383] ppid=10328 vsize=14001980 CPUtime=11.91 cores=1,3,5,7
/proc/10331/task/10383/stat : 10383 (java) S 10328 10331 7434 0 -1 1077944384 30364 12403 0 0 1129 55 5 2 20 0 15 0 30800992 14338027520 769823 18446744073709551615 4194304 4196468 140724107149184 139970732874640 139971134047957 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24526848 140724107151312 140724107154097 140724107154097 140724107157455 0
[pid=10331/tid=10384] ppid=10328 vsize=14001980 CPUtime=11.93 cores=1,3,5,7
/proc/10331/task/10384/stat : 10384 (java) S 10328 10331 7434 0 -1 1077944384 33456 12403 0 0 1126 60 5 2 20 0 15 0 30800992 14338027520 769823 18446744073709551615 4194304 4196468 140724107149184 139970731822096 139971134047957 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24526848 140724107151312 140724107154097 140724107154097 140724107157455 0
[pid=10331/tid=10385] ppid=10328 vsize=14001980 CPUtime=11.92 cores=1,3,5,7
/proc/10331/task/10385/stat : 10385 (java) S 10328 10331 7434 0 -1 1077944384 38973 12403 0 0 1129 56 5 2 20 0 15 0 30800992 14338027520 769823 18446744073709551615 4194304 4196468 140724107149184 139970730769552 139971134047957 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24526848 140724107151312 140724107154097 140724107154097 140724107157455 0
[pid=10331/tid=10386] ppid=10328 vsize=14001980 CPUtime=8.85 cores=1,3,5,7
/proc/10331/task/10386/stat : 10386 (java) S 10328 10331 7434 0 -1 1077944384 35231 12403 0 0 830 48 5 2 20 0 15 0 30800993 14338027520 769823 18446744073709551615 4194304 4196468 140724107149184 139970050459632 139971134048898 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24526848 140724107151312 140724107154097 140724107154097 140724107157455 0
[pid=10331/tid=10387] ppid=10328 vsize=14001980 CPUtime=0.07 cores=1,3,5,7
/proc/10331/task/10387/stat : 10387 (java) S 10328 10331 7434 0 -1 1077944384 86 12403 0 0 0 0 5 2 20 0 15 0 30800993 14338027520 769823 18446744073709551615 4194304 4196468 140724107149184 139970049405920 139971134047957 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24526848 140724107151312 140724107154097 140724107154097 140724107157455 0
[pid=10331/tid=10388] ppid=10328 vsize=14001980 CPUtime=0.07 cores=1,3,5,7
/proc/10331/task/10388/stat : 10388 (java) S 10328 10331 7434 0 -1 1077944384 57 12403 0 0 0 0 5 2 20 0 15 0 30800994 14338027520 769823 18446744073709551615 4194304 4196468 140724107149184 139970048353280 139971134047957 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24526848 140724107151312 140724107154097 140724107154097 140724107157455 0
[pid=10331/tid=10389] ppid=10328 vsize=14001980 CPUtime=0.07 cores=1,3,5,7
/proc/10331/task/10389/stat : 10389 (java) S 10328 10331 7434 0 -1 1077944384 3 12403 0 0 0 0 5 2 20 0 15 0 30800996 14338027520 769823 18446744073709551615 4194304 4196468 140724107149184 139970047301840 139971134056347 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24526848 140724107151312 140724107154097 140724107154097 140724107157455 0
[pid=10331/tid=10390] ppid=10328 vsize=14001980 CPUtime=7.68 cores=1,3,5,7
/proc/10331/task/10390/stat : 10390 (java) S 10328 10331 7434 0 -1 1077944384 17294 12403 0 0 758 3 5 2 20 0 15 0 30800996 14338027520 769823 18446744073709551615 4194304 4196468 140724107149184 139970046249456 139971134048898 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24526848 140724107151312 140724107154097 140724107154097 140724107157455 0
[pid=10331/tid=10391] ppid=10328 vsize=14001980 CPUtime=7.76 cores=1,3,5,7
/proc/10331/task/10391/stat : 10391 (java) S 10328 10331 7434 0 -1 1077944384 21388 12403 0 0 764 5 5 2 20 0 15 0 30800996 14338027520 769823 18446744073709551615 4194304 4196468 140724107149184 139970045196912 139971134048898 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24526848 140724107151312 140724107154097 140724107154097 140724107157455 0
[pid=10331/tid=10392] ppid=10328 vsize=14001980 CPUtime=2.64 cores=1,3,5,7
/proc/10331/task/10392/stat : 10392 (java) S 10328 10331 7434 0 -1 1077944384 26361 12403 0 0 253 4 5 2 20 0 15 0 30800996 14338027520 769823 18446744073709551615 4194304 4196468 140724107149184 139970044144368 139971134048898 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24526848 140724107151312 140724107154097 140724107154097 140724107157455 0
[pid=10331/tid=10393] ppid=10328 vsize=14001980 CPUtime=0.07 cores=1,3,5,7
/proc/10331/task/10393/stat : 10393 (java) S 10328 10331 7434 0 -1 1077944384 3 12403 0 0 0 0 5 2 20 0 15 0 30800997 14338027520 769823 18446744073709551615 4194304 4196468 140724107149184 139970043092064 139971134047957 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24526848 140724107151312 140724107154097 140724107154097 140724107157455 0
[pid=10331/tid=10394] ppid=10328 vsize=14001980 CPUtime=1.31 cores=1,3,5,7
/proc/10331/task/10394/stat : 10394 (java) S 10328 10331 7434 0 -1 1077944384 2435 12403 0 0 62 62 5 2 20 0 15 0 30801001 14338027520 769823 18446744073709551615 4194304 4196468 140724107149184 139970042038576 139971134048898 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 2 0 0 6293624 6294260 24526848 140724107151312 140724107154097 140724107154097 140724107157455 0
Current children cumulated CPU time (s) 2435.31
Current children cumulated vsize (KiB) 14001980

[startup+2442.3 s]
/proc/loadavg: 1.46 1.32 1.32 3/209 10689
/proc/meminfo: memFree=27759796/32770624 swapFree=0/378288
[pid=10331] ppid=10328 vsize=14001980 CPUtime=2496.37 cores=1,3,5,7
/proc/10331/stat : 10331 (java) S 10328 10331 7434 0 -1 1077944320 374322 12403 0 0 249231 399 5 2 20 0 15 0 30800969 14338027520 769823 18446744073709551615 4194304 4196468 140724107149184 140724107131728 139971134037751 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 9 0 0 6293624 6294260 24526848 140724107151312 140724107154097 140724107154097 140724107157455 0
/proc/10331/statm: 3500495 769823 3498 1 0 3489109 0
[pid=10331/tid=10381] ppid=10328 vsize=14001980 CPUtime=2419.18 cores=1,3,5,7
/proc/10331/task/10381/stat : 10381 (java) R 10328 10331 7434 0 -1 4202560 122515 12403 0 0 241824 87 5 2 20 0 15 0 30800991 14338027520 769823 18446744073709551615 4194304 4196468 140724107149184 139971138271696 139970792922858 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 24526848 140724107151312 140724107154097 140724107154097 140724107157455 0
[pid=10331/tid=10382] ppid=10328 vsize=14001980 CPUtime=12.34 cores=1,3,5,7
/proc/10331/task/10382/stat : 10382 (java) S 10328 10331 7434 0 -1 1077944384 42560 12403 0 0 1164 63 5 2 20 0 15 0 30800992 14338027520 769823 18446744073709551615 4194304 4196468 140724107149184 139970733927184 139971134047957 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24526848 140724107151312 140724107154097 140724107154097 140724107157455 0
[pid=10331/tid=10383] ppid=10328 vsize=14001980 CPUtime=12.27 cores=1,3,5,7
/proc/10331/task/10383/stat : 10383 (java) S 10328 10331 7434 0 -1 1077944384 30617 12403 0 0 1163 57 5 2 20 0 15 0 30800992 14338027520 769823 18446744073709551615 4194304 4196468 140724107149184 139970732874640 139971134047957 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24526848 140724107151312 140724107154097 140724107154097 140724107157455 0
[pid=10331/tid=10384] ppid=10328 vsize=14001980 CPUtime=12.29 cores=1,3,5,7
/proc/10331/task/10384/stat : 10384 (java) S 10328 10331 7434 0 -1 1077944384 33731 12403 0 0 1161 61 5 2 20 0 15 0 30800992 14338027520 769823 18446744073709551615 4194304 4196468 140724107149184 139970731822096 139971134047957 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24526848 140724107151312 140724107154097 140724107154097 140724107157455 0
[pid=10331/tid=10385] ppid=10328 vsize=14001980 CPUtime=12.28 cores=1,3,5,7
/proc/10331/task/10385/stat : 10385 (java) S 10328 10331 7434 0 -1 1077944384 39412 12403 0 0 1163 58 5 2 20 0 15 0 30800992 14338027520 769823 18446744073709551615 4194304 4196468 140724107149184 139970730769552 139971134047957 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24526848 140724107151312 140724107154097 140724107154097 140724107157455 0
[pid=10331/tid=10386] ppid=10328 vsize=14001980 CPUtime=9.12 cores=1,3,5,7
/proc/10331/task/10386/stat : 10386 (java) S 10328 10331 7434 0 -1 1077944384 35666 12403 0 0 855 50 5 2 20 0 15 0 30800993 14338027520 769823 18446744073709551615 4194304 4196468 140724107149184 139970050459632 139971134048898 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24526848 140724107151312 140724107154097 140724107154097 140724107157455 0
[pid=10331/tid=10387] ppid=10328 vsize=14001980 CPUtime=0.07 cores=1,3,5,7
/proc/10331/task/10387/stat : 10387 (java) S 10328 10331 7434 0 -1 1077944384 86 12403 0 0 0 0 5 2 20 0 15 0 30800993 14338027520 769823 18446744073709551615 4194304 4196468 140724107149184 139970049405920 139971134047957 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24526848 140724107151312 140724107154097 140724107154097 140724107157455 0
[pid=10331/tid=10388] ppid=10328 vsize=14001980 CPUtime=0.07 cores=1,3,5,7
/proc/10331/task/10388/stat : 10388 (java) S 10328 10331 7434 0 -1 1077944384 57 12403 0 0 0 0 5 2 20 0 15 0 30800994 14338027520 769823 18446744073709551615 4194304 4196468 140724107149184 139970048353280 139971134047957 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24526848 140724107151312 140724107154097 140724107154097 140724107157455 0
[pid=10331/tid=10389] ppid=10328 vsize=14001980 CPUtime=0.07 cores=1,3,5,7
/proc/10331/task/10389/stat : 10389 (java) S 10328 10331 7434 0 -1 1077944384 3 12403 0 0 0 0 5 2 20 0 15 0 30800996 14338027520 769823 18446744073709551615 4194304 4196468 140724107149184 139970047301840 139971134056347 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24526848 140724107151312 140724107154097 140724107154097 140724107157455 0
[pid=10331/tid=10390] ppid=10328 vsize=14001980 CPUtime=7.68 cores=1,3,5,7
/proc/10331/task/10390/stat : 10390 (java) S 10328 10331 7434 0 -1 1077944384 17298 12403 0 0 758 3 5 2 20 0 15 0 30800996 14338027520 769823 18446744073709551615 4194304 4196468 140724107149184 139970046249456 139971134048898 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24526848 140724107151312 140724107154097 140724107154097 140724107157455 0
[pid=10331/tid=10391] ppid=10328 vsize=14001980 CPUtime=7.76 cores=1,3,5,7
/proc/10331/task/10391/stat : 10391 (java) S 10328 10331 7434 0 -1 1077944384 21392 12403 0 0 764 5 5 2 20 0 15 0 30800996 14338027520 769823 18446744073709551615 4194304 4196468 140724107149184 139970045196912 139971134048898 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24526848 140724107151312 140724107154097 140724107154097 140724107157455 0
[pid=10331/tid=10392] ppid=10328 vsize=14001980 CPUtime=2.64 cores=1,3,5,7
/proc/10331/task/10392/stat : 10392 (java) S 10328 10331 7434 0 -1 1077944384 26365 12403 0 0 253 4 5 2 20 0 15 0 30800996 14338027520 769823 18446744073709551615 4194304 4196468 140724107149184 139970044144368 139971134048898 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24526848 140724107151312 140724107154097 140724107154097 140724107157455 0
[pid=10331/tid=10393] ppid=10328 vsize=14001980 CPUtime=0.07 cores=1,3,5,7
/proc/10331/task/10393/stat : 10393 (java) S 10328 10331 7434 0 -1 1077944384 3 12403 0 0 0 0 5 2 20 0 15 0 30800997 14338027520 769823 18446744073709551615 4194304 4196468 140724107149184 139970043092064 139971134047957 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24526848 140724107151312 140724107154097 140724107154097 140724107157455 0
[pid=10331/tid=10394] ppid=10328 vsize=14001980 CPUtime=1.34 cores=1,3,5,7
/proc/10331/task/10394/stat : 10394 (java) S 10328 10331 7434 0 -1 1077944384 2467 12403 0 0 63 64 5 2 20 0 15 0 30801001 14338027520 769823 18446744073709551615 4194304 4196468 140724107149184 139970042038576 139971134048898 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 2 0 0 6293624 6294260 24526848 140724107151312 140724107154097 140724107154097 140724107157455 0
Current children cumulated CPU time (s) 2496.37
Current children cumulated vsize (KiB) 14001980



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2465.6 s]
/proc/loadavg: 1.56 1.35 1.33 3/209 10690
/proc/meminfo: memFree=27759932/32770624 swapFree=0/378300
[pid=10331] ppid=10328 vsize=14001980 CPUtime=2520.07 cores=1,3,5,7
/proc/10331/stat : 10331 (java) S 10328 10331 7434 0 -1 1077944320 375607 12403 0 0 251599 401 5 2 20 0 15 0 30800969 14338027520 769823 18446744073709551615 4194304 4196468 140724107149184 140724107131728 139971134037751 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 9 0 0 6293624 6294260 24526848 140724107151312 140724107154097 140724107154097 140724107157455 0
/proc/10331/statm: 3500495 769823 3498 1 0 3489109 0
[pid=10331/tid=10381] ppid=10328 vsize=14001980 CPUtime=2442.23 cores=1,3,5,7
/proc/10331/task/10381/stat : 10381 (java) R 10328 10331 7434 0 -1 4202560 123030 12403 0 0 244129 87 5 2 20 0 15 0 30800991 14338027520 769823 18446744073709551615 4194304 4196468 140724107149184 139971138271728 139970784365064 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 24526848 140724107151312 140724107154097 140724107154097 140724107157455 0
[pid=10331/tid=10382] ppid=10328 vsize=14001980 CPUtime=12.47 cores=1,3,5,7
/proc/10331/task/10382/stat : 10382 (java) S 10328 10331 7434 0 -1 1077944384 42788 12403 0 0 1177 63 5 2 20 0 15 0 30800992 14338027520 769823 18446744073709551615 4194304 4196468 140724107149184 139970733927184 139971134047957 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24526848 140724107151312 140724107154097 140724107154097 140724107157455 0
[pid=10331/tid=10383] ppid=10328 vsize=14001980 CPUtime=12.4 cores=1,3,5,7
/proc/10331/task/10383/stat : 10383 (java) S 10328 10331 7434 0 -1 1077944384 30678 12403 0 0 1176 57 5 2 20 0 15 0 30800992 14338027520 769823 18446744073709551615 4194304 4196468 140724107149184 139970732874640 139971134047957 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24526848 140724107151312 140724107154097 140724107154097 140724107157455 0
[pid=10331/tid=10384] ppid=10328 vsize=14001980 CPUtime=12.42 cores=1,3,5,7
/proc/10331/task/10384/stat : 10384 (java) S 10328 10331 7434 0 -1 1077944384 33883 12403 0 0 1174 61 5 2 20 0 15 0 30800992 14338027520 769823 18446744073709551615 4194304 4196468 140724107149184 139970731822096 139971134047957 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24526848 140724107151312 140724107154097 140724107154097 140724107157455 0
[pid=10331/tid=10385] ppid=10328 vsize=14001980 CPUtime=12.41 cores=1,3,5,7
/proc/10331/task/10385/stat : 10385 (java) S 10328 10331 7434 0 -1 1077944384 39514 12403 0 0 1176 58 5 2 20 0 15 0 30800992 14338027520 769823 18446744073709551615 4194304 4196468 140724107149184 139970730769552 139971134047957 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24526848 140724107151312 140724107154097 140724107154097 140724107157455 0
[pid=10331/tid=10386] ppid=10328 vsize=14001980 CPUtime=9.21 cores=1,3,5,7
/proc/10331/task/10386/stat : 10386 (java) S 10328 10331 7434 0 -1 1077944384 35881 12403 0 0 864 50 5 2 20 0 15 0 30800993 14338027520 769823 18446744073709551615 4194304 4196468 140724107149184 139970050459632 139971134048898 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24526848 140724107151312 140724107154097 140724107154097 140724107157455 0
[pid=10331/tid=10387] ppid=10328 vsize=14001980 CPUtime=0.07 cores=1,3,5,7
/proc/10331/task/10387/stat : 10387 (java) S 10328 10331 7434 0 -1 1077944384 86 12403 0 0 0 0 5 2 20 0 15 0 30800993 14338027520 769823 18446744073709551615 4194304 4196468 140724107149184 139970049405920 139971134047957 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24526848 140724107151312 140724107154097 140724107154097 140724107157455 0
[pid=10331/tid=10388] ppid=10328 vsize=14001980 CPUtime=0.07 cores=1,3,5,7
/proc/10331/task/10388/stat : 10388 (java) S 10328 10331 7434 0 -1 1077944384 57 12403 0 0 0 0 5 2 20 0 15 0 30800994 14338027520 769823 18446744073709551615 4194304 4196468 140724107149184 139970048353280 139971134047957 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24526848 140724107151312 140724107154097 140724107154097 140724107157455 0
[pid=10331/tid=10389] ppid=10328 vsize=14001980 CPUtime=0.07 cores=1,3,5,7
/proc/10331/task/10389/stat : 10389 (java) S 10328 10331 7434 0 -1 1077944384 3 12403 0 0 0 0 5 2 20 0 15 0 30800996 14338027520 769823 18446744073709551615 4194304 4196468 140724107149184 139970047301840 139971134056347 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24526848 140724107151312 140724107154097 140724107154097 140724107157455 0
[pid=10331/tid=10390] ppid=10328 vsize=14001980 CPUtime=7.68 cores=1,3,5,7
/proc/10331/task/10390/stat : 10390 (java) S 10328 10331 7434 0 -1 1077944384 17300 12403 0 0 758 3 5 2 20 0 15 0 30800996 14338027520 769823 18446744073709551615 4194304 4196468 140724107149184 139970046249456 139971134048898 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24526848 140724107151312 140724107154097 140724107154097 140724107157455 0
[pid=10331/tid=10391] ppid=10328 vsize=14001980 CPUtime=7.76 cores=1,3,5,7
/proc/10331/task/10391/stat : 10391 (java) S 10328 10331 7434 0 -1 1077944384 21394 12403 0 0 764 5 5 2 20 0 15 0 30800996 14338027520 769823 18446744073709551615 4194304 4196468 140724107149184 139970045196912 139971134048898 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24526848 140724107151312 140724107154097 140724107154097 140724107157455 0
[pid=10331/tid=10392] ppid=10328 vsize=14001980 CPUtime=2.64 cores=1,3,5,7
/proc/10331/task/10392/stat : 10392 (java) S 10328 10331 7434 0 -1 1077944384 26367 12403 0 0 253 4 5 2 20 0 15 0 30800996 14338027520 769823 18446744073709551615 4194304 4196468 140724107149184 139970044144368 139971134048898 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24526848 140724107151312 140724107154097 140724107154097 140724107157455 0
[pid=10331/tid=10393] ppid=10328 vsize=14001980 CPUtime=0.07 cores=1,3,5,7
/proc/10331/task/10393/stat : 10393 (java) S 10328 10331 7434 0 -1 1077944384 3 12403 0 0 0 0 5 2 20 0 15 0 30800997 14338027520 769823 18446744073709551615 4194304 4196468 140724107149184 139970043092064 139971134047957 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24526848 140724107151312 140724107154097 140724107154097 140724107157455 0
[pid=10331/tid=10394] ppid=10328 vsize=14001980 CPUtime=1.36 cores=1,3,5,7
/proc/10331/task/10394/stat : 10394 (java) S 10328 10331 7434 0 -1 1077944384 2473 12403 0 0 64 65 5 2 20 0 15 0 30801001 14338027520 769823 18446744073709551615 4194304 4196468 140724107149184 139970042038576 139971134048898 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 24526848 140724107151312 140724107154097 140724107154097 140724107157455 0
Current children cumulated CPU time (s) 2520.07
Current children cumulated vsize (KiB) 14001980

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

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

Child status: 143
Real time (s): 2465.63
CPU time (s): 2520.13
CPU user time (s): 2516.06
CPU system time (s): 4.0641
CPU usage (%): 102.21
Max. virtual memory (cumulated for all children) (KiB): 14001980

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.06
system time used= 4.0641
maximum resident set size= 4044696
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 388618
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2840
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 240496
involuntary context switches= 4420

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.9072 second user time and 14.8287 second system time

The end

Launcher Data 

Begin job on node124 at 2017-08-11 05:55:47
IDJOB=4261967
IDBENCH=120572
IDSOLVER=2650
FILE ID=node124/4261967-1502424603
RUNJOBID= node124-1502411387-7498
PBS_JOBID= 
Free space on /tmp= 62004 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-4261967-1502424603/watcher-4261967-1502424603 -o /tmp/evaluation-result-4261967-1502424603/solver-4261967-1502424603 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node124-1502411387-7498 --watchdog 2580  bin/concrete HOME/instance-4261967-1502424603.xml

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

MD5SUM BENCH= a8532fde929f2c832645b1246a7d35a6
RANDOM SEED=568420233

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        30722192 kB
MemAvailable:   31116800 kB
Buffers:          190696 kB
Cached:           492320 kB
SwapCached:            0 kB
Active:          1241544 kB
Inactive:         393580 kB
Active(anon):     952848 kB
Inactive(anon):    16768 kB
Active(file):     288696 kB
Inactive(file):   376812 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             26120 kB
Writeback:             0 kB
AnonPages:        966536 kB
Mapped:            50120 kB
Shmem:             17128 kB
Slab:             114920 kB
SReclaimable:      89868 kB
SUnreclaim:        25052 kB
KernelStack:        3696 kB
PageTables:         7088 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1818276 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      354332 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    878592 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      116096 kB
DirectMap2M:    33429504 kB

Free space on /tmp at the end= 61980 MiB
End job on node124 at 2017-08-11 06:36:53