Trace number 4308393

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
OscaR - Hybrid 2018-08-14SAT (TO)8 2520.13 2453.44

General information on the benchmark

NameGraphColoring/
GraphColoring-5-fullins-4_c18.xml
MD5SUM9a110b3288dcdd83da8fcc132ac433c6
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark8
Best CPU time to get the best result obtained on this benchmark141.733
Satisfiable
(Un)Satisfiability was proved
Number of variables1085
Number of constraints11395
Number of domains1
Minimum domain size1085
Maximum domain size1085
Distribution of domain sizes[{"size":1085,"count":1085}]
Minimum variable degree7
Maximum variable degree161
Distribution of variable degrees[{"degree":7,"count":4},{"degree":8,"count":22},{"degree":9,"count":16},{"degree":10,"count":80},{"degree":11,"count":22},{"degree":12,"count":110},{"degree":13,"count":19},{"degree":14,"count":60},{"degree":15,"count":60},{"degree":16,"count":300},{"degree":19,"count":7},{"degree":20,"count":35},{"degree":21,"count":7},{"degree":22,"count":35},{"degree":30,"count":7},{"degree":33,"count":7},{"degree":34,"count":35},{"degree":35,"count":35},{"degree":36,"count":175},{"degree":55,"count":7},{"degree":56,"count":35},{"degree":161,"count":7}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":11395}]
Number of extensional constraints0
Number of intensional constraints11395
Distribution of constraint types[{"type":"intension","count":11395}]
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 

0.66/0.57	c version: 2018-08-14
0.66/0.57	c seed: 849262811
0.66/0.57	c timeout: 2520
0.66/0.57	c memlimit: 11000
0.66/0.57	c nbcore: 4
0.66/0.59	c Parsing instance...
8.09/3.11	c Parsing done, starting first complete search...
8.56/3.38	o 1084
9.10/3.55	o 1083
9.71/3.73	o 1082
10.21/3.94	o 1081
10.34/4.06	o 1080
10.50/4.20	o 1079
10.75/4.33	o 1078
10.87/4.46	o 1077
11.01/4.58	o 1076
11.22/4.71	o 1075
11.32/4.83	o 1074
11.43/4.95	o 1073
11.57/5.08	o 1072
11.96/5.40	o 1071
11.96/5.40	o 1070
11.96/5.45	o 1069
12.06/5.57	o 1068
12.26/5.70	o 1067
12.36/5.82	o 1066
12.46/5.95	o 1065
12.57/6.08	o 1064
12.76/6.20	o 1063
12.86/6.33	o 1062
12.96/6.46	o 1061
13.06/6.58	o 1060
13.26/6.72	o 1059
13.36/6.84	o 1058
13.49/6.97	o 1057
13.60/7.10	o 1056
13.79/7.23	o 1055
13.90/7.36	o 1054
13.99/7.49	o 1053
14.54/7.70	o 1052
14.64/7.82	o 1051
14.74/7.94	o 1050
14.85/8.06	o 1049
14.95/8.19	o 1048
15.14/8.31	o 1047
15.24/8.43	o 1046
15.36/8.56	o 1045
15.48/8.68	o 1044
15.68/8.81	o 1043
15.78/8.93	o 1042
15.89/9.05	o 1041
16.06/9.17	o 1040
16.25/9.30	o 1039
16.35/9.42	o 1038
16.47/9.55	o 1037
16.57/9.67	o 1036
16.67/9.79	o 1035
16.87/9.91	o 1034
17.03/10.03	o 1033
17.13/10.15	o 1032
17.22/10.27	o 1031
17.32/10.39	o 1030
17.52/10.51	o 1029
17.63/10.63	o 1028
17.73/10.75	o 1027
17.83/10.87	o 1026
17.94/11.00	o 1025
18.14/11.12	o 1024
18.24/11.24	o 1023
18.34/11.36	o 1022
18.69/11.55	o 1021
18.86/11.67	o 1020
18.96/11.80	o 1019
19.18/11.91	o 1018
19.32/12.03	o 1017
19.42/12.15	o 1016
19.54/12.27	o 1015
19.64/12.39	o 1014
19.84/12.50	o 1013
19.94/12.62	o 1012
20.04/12.74	o 1011
20.15/12.85	o 1010
20.25/12.97	o 1009
20.36/13.09	o 1008
20.55/13.21	o 1007
20.65/13.32	o 1006
20.75/13.44	o 1005
20.85/13.56	o 1004
20.95/13.68	o 1003
21.16/13.80	o 1002
21.26/13.92	o 1001
21.37/14.04	o 1000
21.47/14.16	o 999
21.56/14.29	o 998
21.76/14.40	o 997
21.86/14.52	o 996
21.96/14.63	o 995
22.06/14.75	o 994
22.16/14.87	o 993
22.26/14.99	o 992
22.37/15.10	o 991
22.57/15.22	o 990
22.67/15.35	o 989
22.77/15.46	o 988
22.87/15.58	o 987
23.07/15.70	o 986
23.16/15.82	o 985
23.26/15.94	o 984
23.37/16.06	o 983
23.47/16.17	o 982
23.67/16.30	o 981
23.76/16.42	o 980
23.86/16.55	o 979
23.96/16.67	o 978
24.06/16.79	o 977
24.26/16.92	o 976
24.38/17.04	o 975
24.47/17.16	o 974
24.56/17.27	o 973
24.67/17.39	o 972
24.86/17.57	o 971
25.12/17.68	o 970
25.33/17.80	o 969
25.43/17.92	o 968
25.54/18.04	o 967
25.64/18.16	o 966
25.73/18.27	o 965
25.83/18.39	o 964
26.03/18.51	o 963
26.13/18.62	o 962
26.23/18.73	o 961
26.33/18.84	o 960
26.43/18.96	o 959
26.54/19.08	o 958
26.64/19.19	o 957
26.84/19.31	o 956
26.94/19.43	o 955
27.04/19.54	o 954
27.14/19.66	o 953
27.24/19.77	o 952
27.34/19.88	o 951
27.44/20.00	o 950
27.65/20.11	o 949
27.74/20.22	o 948
27.84/20.34	o 947
27.94/20.45	o 946
28.04/20.57	o 945
28.14/20.69	o 944
28.34/20.80	o 943
28.44/20.91	o 942
28.55/21.02	o 941
28.65/21.14	o 940
28.74/21.25	o 939
28.84/21.37	o 938
28.94/21.48	o 937
29.04/21.60	o 936
29.24/21.71	o 935
29.34/21.82	o 934
29.44/21.93	o 933
29.55/22.04	o 932
29.65/22.15	o 931
29.74/22.27	o 930
29.84/22.38	o 929
29.94/22.48	o 928
30.14/22.60	o 927
30.24/22.71	o 926
30.34/22.82	o 925
30.45/22.94	o 924
30.56/23.05	o 923
30.66/23.16	o 922
30.75/23.27	o 921
31.10/23.44	o 920
31.20/23.56	o 919
31.30/23.67	o 918
31.40/23.78	o 917
31.50/23.90	o 916
31.71/24.01	o 915
31.81/24.12	o 914
31.90/24.24	o 913
32.00/24.35	o 912
32.10/24.46	o 911
32.20/24.58	o 910
32.30/24.69	o 909
32.50/24.80	o 908
32.60/24.91	o 907
32.71/25.02	o 906
32.81/25.13	o 905
32.90/25.25	o 904
33.01/25.36	o 903
33.11/25.47	o 902
33.21/25.58	o 901
33.31/25.69	o 900
33.51/25.80	o 899
33.61/25.92	o 898
33.72/26.03	o 897
33.82/26.14	o 896
33.91/26.25	o 895
34.01/26.36	o 894
34.11/26.48	o 893
34.21/26.59	o 892
34.41/26.70	o 891
34.51/26.82	o 890
34.61/26.93	o 889
34.72/27.04	o 888
34.82/27.15	o 887
34.91/27.26	o 886
35.01/27.37	o 885
35.11/27.48	o 884
35.21/27.59	o 883
35.31/27.70	o 882
35.51/27.81	o 881
35.61/27.92	o 880
35.72/28.03	o 879
35.82/28.14	o 878
35.91/28.25	o 877
36.01/28.36	o 876
36.11/28.47	o 875
36.21/28.57	o 874
36.31/28.68	o 873
36.41/28.79	o 872
36.61/28.90	o 871
36.61/29.01	o 870
36.82/29.12	o 869
36.91/29.23	o 868
37.02/29.34	o 867
37.11/29.45	o 866
37.21/29.56	o 865
37.32/29.67	o 864
37.41/29.79	o 863
37.62/29.90	o 862
37.72/30.02	o 861
37.82/30.14	o 860
37.92/30.25	o 859
38.01/30.37	o 858
38.11/30.48	o 857
38.22/30.59	o 856
38.42/30.70	o 855
38.51/30.82	o 854
38.61/30.93	o 853
38.72/31.04	o 852
38.82/31.17	o 851
38.92/31.28	o 850
39.01/31.39	o 849
39.21/31.51	o 848
39.32/31.62	o 847
39.42/31.73	o 846
39.51/31.84	o 845
39.62/31.96	o 844
39.72/32.07	o 843
39.83/32.18	o 842
39.91/32.29	o 841
42.12/33.16	o 840
42.21/33.26	o 839
42.31/33.37	o 838
42.42/33.48	o 837
42.52/33.58	o 836
42.62/33.69	o 835
42.72/33.79	o 834
42.92/33.90	o 833
43.03/34.01	o 832
43.13/34.12	o 831
43.23/34.23	o 830
43.33/34.33	o 829
43.43/34.44	o 828
43.53/34.54	o 827
43.63/34.65	o 826
43.73/34.76	o 825
43.83/34.86	o 824
43.93/34.97	o 823
44.04/35.08	o 822
44.14/35.18	o 821
44.23/35.29	o 820
44.33/35.40	o 819
44.54/35.50	o 818
44.64/35.60	o 817
44.74/35.71	o 816
44.84/35.81	o 815
44.94/35.92	o 814
45.05/36.02	o 813
45.15/36.13	o 812
45.24/36.23	o 811
45.34/36.34	o 810
45.44/36.45	o 809
45.54/36.55	o 808
45.64/36.65	o 807
45.74/36.76	o 806
45.84/36.86	o 805
45.94/36.96	o 804
46.05/37.07	o 803
46.15/37.17	o 802
46.24/37.28	o 801
46.34/37.38	o 800
46.44/37.49	o 799
46.54/37.59	o 798
46.64/37.69	o 797
46.84/37.80	o 796
46.94/37.90	o 795
47.05/38.01	o 794
47.15/38.12	o 793
47.24/38.22	o 792
47.34/38.33	o 791
47.44/38.44	o 790
47.54/38.54	o 789
47.64/38.65	o 788
47.74/38.75	o 787
47.84/38.86	o 786
47.94/38.96	o 785
48.05/39.07	o 784
48.15/39.17	o 783
48.24/39.28	o 782
48.34/39.38	o 781
48.44/39.48	o 780
48.54/39.59	o 779
48.64/39.69	o 778
48.84/39.80	o 777
48.94/39.90	o 776
49.05/40.01	o 775
49.15/40.11	o 774
49.24/40.21	o 773
49.34/40.32	o 772
49.44/40.42	o 771
49.54/40.52	o 770
49.64/40.62	o 769
49.74/40.72	o 768
49.84/40.82	o 767
49.94/40.93	o 766
50.05/41.03	o 765
50.15/41.13	o 764
50.24/41.23	o 763
50.34/41.34	o 762
50.44/41.44	o 761
50.54/41.54	o 760
50.96/41.72	o 759
51.05/41.82	o 758
51.16/41.92	o 757
51.27/42.03	o 756
51.37/42.13	o 755
51.46/42.23	o 754
51.56/42.33	o 753
51.66/42.43	o 752
51.76/42.53	o 751
51.86/42.64	o 750
51.96/42.74	o 749
52.06/42.84	o 748
52.16/42.94	o 747
52.27/43.05	o 746
52.37/43.15	o 745
52.46/43.26	o 744
52.56/43.36	o 743
52.66/43.46	o 742
52.76/43.56	o 741
52.86/43.66	o 740
52.96/43.77	o 739
53.06/43.87	o 738
53.16/43.98	o 737
53.27/44.08	o 736
53.37/44.18	o 735
53.46/44.28	o 734
53.56/44.39	o 733
53.66/44.49	o 732
53.76/44.59	o 731
53.86/44.69	o 730
53.96/44.79	o 729
54.06/44.90	o 728
54.16/44.99	o 727
54.27/45.09	o 726
54.37/45.19	o 725
54.46/45.29	o 724
54.56/45.40	o 723
54.76/45.50	o 722
54.86/45.60	o 721
54.96/45.70	o 720
55.06/45.80	o 719
55.16/45.90	o 718
55.16/46.00	o 717
55.37/46.11	o 716
55.46/46.21	o 715
55.56/46.31	o 714
55.66/46.41	o 713
55.76/46.51	o 712
55.86/46.61	o 711
55.96/46.71	o 710
56.06/46.81	o 709
56.16/46.91	o 708
56.27/47.01	o 707
56.37/47.11	o 706
56.46/47.21	o 705
56.56/47.32	o 704
56.67/47.42	o 703
56.77/47.52	o 702
56.87/47.62	o 701
56.97/47.73	o 700
57.07/47.83	o 699
57.17/47.93	o 698
57.28/48.04	o 697
57.38/48.14	o 696
57.47/48.24	o 695
57.57/48.34	o 694
57.67/48.44	o 693
57.77/48.53	o 692
57.87/48.63	o 691
57.97/48.73	o 690
58.07/48.83	o 689
58.17/48.93	o 688
58.28/49.02	o 687
58.38/49.12	o 686
58.47/49.22	o 685
58.57/49.32	o 684
58.67/49.42	o 683
58.77/49.52	o 682
58.87/49.61	o 681
58.97/49.71	o 680
59.07/49.81	o 679
59.17/49.91	o 678
59.28/50.01	o 677
59.38/50.12	o 676
59.47/50.22	o 675
59.57/50.32	o 674
59.67/50.42	o 673
59.76/50.52	o 672
59.87/50.63	o 671
59.97/50.73	o 670
60.07/50.83	o 669
60.17/50.93	o 668
60.28/51.04	o 667
60.38/51.14	o 666
60.47/51.24	o 665
60.57/51.34	o 664
60.67/51.45	o 663
60.77/51.55	o 662
60.87/51.65	o 661
60.97/51.75	o 660
61.07/51.85	o 659
61.17/51.96	o 658
61.28/52.06	o 657
61.38/52.16	o 656
61.47/52.26	o 655
61.57/52.36	o 654
61.67/52.47	o 653
61.77/52.57	o 652
61.87/52.67	o 651
61.97/52.77	o 650
62.07/52.88	o 649
62.56/53.09	o 648
62.71/53.19	o 647
62.80/53.28	o 646
62.90/53.38	o 645
63.00/53.48	o 644
63.10/53.57	o 643
63.20/53.66	o 642
63.30/53.76	o 641
63.40/53.86	o 640
63.50/53.95	o 639
63.61/54.05	o 638
63.71/54.14	o 637
63.80/54.24	o 636
63.90/54.33	o 635
64.00/54.42	o 634
64.10/54.52	o 633
64.20/54.62	o 632
64.30/54.71	o 631
64.40/54.80	o 630
64.50/54.90	o 629
64.50/54.99	o 628
64.61/55.08	o 627
64.71/55.18	o 626
64.80/55.27	o 625
64.90/55.37	o 624
65.00/55.46	o 623
65.10/55.56	o 622
65.20/55.65	o 621
65.30/55.74	o 620
65.40/55.84	o 619
65.50/55.93	o 618
65.61/56.02	o 617
65.71/56.11	o 616
65.80/56.20	o 615
65.80/56.30	o 614
65.90/56.39	o 613
66.00/56.48	o 612
66.10/56.57	o 611
66.20/56.67	o 610
66.30/56.76	o 609
66.40/56.86	o 608
66.50/56.95	o 607
66.61/57.05	o 606
66.71/57.14	o 605
66.80/57.23	o 604
66.90/57.32	o 603
67.00/57.41	o 602
67.10/57.50	o 601
67.20/57.60	o 600
67.20/57.69	o 599
67.30/57.78	o 598
67.40/57.88	o 597
67.50/57.97	o 596
67.62/58.06	o 595
67.72/58.16	o 594
67.81/58.25	o 593
67.91/58.35	o 592
68.01/58.44	o 591
68.11/58.53	o 590
68.21/58.63	o 589
68.31/58.72	o 588
68.41/58.81	o 587
68.51/58.90	o 586
68.51/58.99	o 585
68.62/59.09	o 584
68.72/59.18	o 583
68.81/59.27	o 582
68.91/59.36	o 581
69.01/59.45	o 580
69.11/59.55	o 579
69.21/59.64	o 578
69.31/59.73	o 577
69.41/59.82	o 576
69.51/59.91	o 575
69.51/60.00	o 574
69.62/60.10	o 573
69.73/60.19	o 572
69.82/60.28	o 571
69.92/60.37	o 570
70.02/60.46	o 569
70.12/60.56	o 568
70.22/60.65	o 567
70.32/60.74	o 566
70.42/60.83	o 565
70.52/60.92	o 564
70.52/61.01	o 563
70.63/61.10	o 562
70.72/61.19	o 561
70.82/61.28	o 560
70.92/61.38	o 559
71.02/61.47	o 558
71.12/61.56	o 557
71.22/61.65	o 556
71.32/61.74	o 555
71.42/61.83	o 554
71.52/61.92	o 553
71.52/62.01	o 552
71.63/62.10	o 551
71.73/62.19	o 550
71.82/62.28	o 549
71.92/62.37	o 548
72.02/62.46	o 547
72.12/62.55	o 546
72.22/62.64	o 545
72.32/62.73	o 544
72.42/62.82	o 543
72.52/62.91	o 542
72.52/63.00	o 541
72.62/63.09	o 540
72.73/63.17	o 539
72.82/63.26	o 538
73.20/63.46	o 537
73.44/63.55	o 536
73.54/63.63	o 535
73.64/63.72	o 534
73.74/63.81	o 533
73.84/63.90	o 532
73.84/63.99	o 531
73.95/64.08	o 530
74.05/64.17	o 529
74.14/64.26	o 528
74.24/64.35	o 527
74.34/64.44	o 526
74.44/64.53	o 525
74.54/64.62	o 524
74.64/64.71	o 523
74.64/64.79	o 522
74.74/64.88	o 521
74.84/64.97	o 520
74.95/65.06	o 519
75.05/65.14	o 518
75.14/65.23	o 517
75.24/65.32	o 516
75.34/65.40	o 515
75.34/65.49	o 514
75.44/65.58	o 513
75.54/65.67	o 512
75.64/65.76	o 511
75.74/65.84	o 510
75.84/65.93	o 509
75.95/66.02	o 508
75.95/66.10	o 507
76.05/66.19	o 506
76.14/66.28	o 505
76.24/66.36	o 504
76.34/66.44	o 503
76.44/66.53	o 502
76.54/66.62	o 501
76.64/66.71	o 500
76.74/66.80	o 499
76.74/66.89	o 498
76.84/66.97	o 497
76.95/67.06	o 496
77.05/67.15	o 495
77.14/67.23	o 494
77.24/67.32	o 493
77.34/67.40	o 492
77.34/67.49	o 491
77.44/67.57	o 490
77.54/67.65	o 489
77.64/67.74	o 488
77.74/67.82	o 487
77.84/67.91	o 486
77.84/67.99	o 485
77.95/68.08	o 484
78.05/68.16	o 483
78.14/68.25	o 482
78.24/68.33	o 481
78.34/68.41	o 480
78.34/68.50	o 479
78.44/68.58	o 478
78.54/68.67	o 477
78.64/68.75	o 476
78.74/68.83	o 475
78.84/68.92	o 474
78.84/69.00	o 473
78.95/69.09	o 472
79.05/69.17	o 471
79.14/69.25	o 470
79.24/69.34	o 469
79.34/69.42	o 468
79.44/69.51	o 467
79.44/69.59	o 466
79.54/69.67	o 465
79.64/69.76	o 464
79.74/69.84	o 463
79.84/69.92	o 462
79.95/70.01	o 461
79.95/70.09	o 460
80.05/70.18	o 459
80.14/70.26	o 458
80.24/70.34	o 457
80.34/70.42	o 456
80.44/70.50	o 455
80.44/70.58	o 454
80.54/70.67	o 453
80.64/70.75	o 452
80.74/70.83	o 451
80.84/70.92	o 450
80.84/71.00	o 449
80.95/71.08	o 448
81.05/71.17	o 447
81.14/71.25	o 446
81.24/71.33	o 445
81.35/71.41	o 444
81.35/71.49	o 443
81.45/71.57	o 442
81.55/71.66	o 441
81.65/71.74	o 440
81.75/71.83	o 439
81.85/71.91	o 438
81.85/71.99	o 437
81.96/72.07	o 436
82.06/72.15	o 435
82.15/72.24	o 434
82.25/72.32	o 433
82.35/72.40	o 432
82.35/72.48	o 431
82.46/72.56	o 430
82.56/72.64	o 429
82.66/72.72	o 428
82.76/72.81	o 427
82.76/72.89	o 426
82.86/72.97	o 425
83.61/73.21	o 424
83.61/73.29	o 423
83.71/73.37	o 422
83.81/73.45	o 421
83.91/73.53	o 420
84.01/73.61	o 419
84.01/73.69	o 418
84.11/73.77	o 417
84.21/73.85	o 416
84.31/73.93	o 415
84.42/74.01	o 414
84.42/74.09	o 413
84.52/74.17	o 412
84.62/74.25	o 411
84.72/74.32	o 410
84.82/74.40	o 409
84.82/74.48	o 408
84.92/74.56	o 407
85.02/74.64	o 406
85.12/74.72	o 405
85.22/74.80	o 404
85.22/74.88	o 403
85.32/74.95	o 402
85.43/75.03	o 401
85.53/75.11	o 400
85.53/75.19	o 399
85.62/75.26	o 398
85.72/75.34	o 397
85.82/75.42	o 396
85.82/75.50	o 395
85.92/75.57	o 394
86.02/75.65	o 393
86.12/75.73	o 392
86.22/75.81	o 391
86.22/75.89	o 390
86.32/75.97	o 389
86.43/76.05	o 388
86.53/76.13	o 387
86.62/76.21	o 386
86.62/76.28	o 385
86.72/76.36	o 384
86.82/76.44	o 383
86.92/76.52	o 382
86.92/76.59	o 381
87.02/76.67	o 380
87.12/76.75	o 379
87.22/76.83	o 378
87.32/76.90	o 377
87.32/76.99	o 376
87.43/77.06	o 375
87.53/77.14	o 374
87.62/77.22	o 373
87.72/77.30	o 372
87.72/77.38	o 371
87.82/77.45	o 370
87.92/77.53	o 369
88.02/77.61	o 368
88.02/77.69	o 367
88.12/77.76	o 366
88.22/77.84	o 365
88.32/77.91	o 364
88.32/77.99	o 363
88.43/78.07	o 362
88.53/78.14	o 361
88.62/78.22	o 360
88.72/78.30	o 359
88.72/78.37	o 358
88.82/78.45	o 357
88.92/78.53	o 356
89.02/78.60	o 355
89.02/78.68	o 354
89.12/78.75	o 353
89.22/78.83	o 352
89.32/78.91	o 351
89.32/78.99	o 350
89.43/79.06	o 349
89.53/79.14	o 348
89.62/79.21	o 347
89.62/79.29	o 346
89.72/79.36	o 345
89.82/79.43	o 344
89.92/79.51	o 343
89.92/79.58	o 342
90.02/79.66	o 341
90.12/79.73	o 340
90.22/79.81	o 339
90.22/79.88	o 338
90.32/79.96	o 337
90.43/80.03	o 336
90.43/80.10	o 335
90.53/80.18	o 334
90.62/80.25	o 333
90.72/80.32	o 332
90.82/80.40	o 331
90.82/80.47	o 330
90.92/80.55	o 329
91.02/80.62	o 328
91.12/80.70	o 327
91.12/80.77	o 326
91.22/80.85	o 325
91.32/80.93	o 324
91.32/81.00	o 323
91.43/81.07	o 322
91.53/81.14	o 321
91.62/81.22	o 320
91.62/81.29	o 319
91.72/81.37	o 318
91.82/81.44	o 317
91.92/81.51	o 316
91.92/81.59	o 315
92.02/81.66	o 314
92.12/81.74	o 313
92.22/81.81	o 312
96.20/83.38	o 311
96.30/83.46	o 310
96.40/83.54	o 309
96.50/83.61	o 308
96.50/83.68	o 307
96.60/83.75	o 306
96.70/83.82	o 305
96.70/83.89	o 304
96.80/83.97	o 303
96.91/84.04	o 302
97.01/84.11	o 301
97.01/84.18	o 300
97.10/84.25	o 299
97.20/84.33	o 298
97.30/84.40	o 297
97.30/84.47	o 296
97.40/84.56	o 295
97.50/84.63	o 294
97.60/84.70	o 293
97.60/84.78	o 292
97.70/84.85	o 291
97.80/84.92	o 290
97.80/84.99	o 289
97.91/85.06	o 288
98.01/85.13	o 287
98.10/85.20	o 286
98.10/85.27	o 285
98.20/85.34	o 284
98.30/85.41	o 283
98.30/85.49	o 282
98.40/85.56	o 281
98.50/85.63	o 280
98.60/85.70	o 279
98.60/85.77	o 278
98.70/85.84	o 277
98.80/85.91	o 276
98.80/85.98	o 275
98.91/86.05	o 274
99.01/86.12	o 273
99.01/86.20	o 272
99.10/86.27	o 271
99.20/86.34	o 270
99.30/86.41	o 269
99.30/86.47	o 268
99.40/86.54	o 267
99.50/86.61	o 266
99.50/86.68	o 265
99.60/86.75	o 264
99.70/86.82	o 263
99.70/86.89	o 262
99.80/86.96	o 261
99.91/87.03	o 260
99.91/87.10	o 259
100.01/87.17	o 258
100.10/87.25	o 257
100.20/87.32	o 256
100.20/87.39	o 255
100.30/87.45	o 254
100.40/87.53	o 253
100.50/87.60	o 252
100.50/87.67	o 251
100.60/87.74	o 250
100.70/87.80	o 249
100.70/87.88	o 248
100.80/87.95	o 247
100.91/88.02	o 246
100.91/88.08	o 245
101.01/88.15	o 244
101.10/88.22	o 243
101.10/88.29	o 242
101.20/88.36	o 241
101.30/88.43	o 240
101.30/88.50	o 239
101.40/88.56	o 238
101.50/88.63	o 237
101.60/88.70	o 236
101.60/88.77	o 235
101.70/88.84	o 234
101.80/88.90	o 233
101.80/88.97	o 232
101.91/89.03	o 231
101.91/89.10	o 230
102.01/89.17	o 229
102.10/89.24	o 228
102.20/89.31	o 227
102.20/89.37	o 226
102.30/89.44	o 225
102.40/89.51	o 224
102.40/89.57	o 223
102.50/89.64	o 222
102.60/89.71	o 221
102.60/89.77	o 220
102.70/89.84	o 219
102.80/89.91	o 218
102.80/89.97	o 217
102.91/90.04	o 216
102.91/90.10	o 215
103.01/90.17	o 214
103.10/90.24	o 213
103.20/90.30	o 212
103.20/90.36	o 211
103.30/90.43	o 210
103.30/90.49	o 209
103.40/90.56	o 208
103.50/90.62	o 207
103.50/90.69	o 206
103.60/90.76	o 205
103.70/90.83	o 204
103.70/90.89	o 203
103.80/90.95	o 202
103.91/91.02	o 201
104.08/91.19	o 200
104.40/91.25	o 199
104.50/91.32	o 198
104.50/91.38	o 197
104.60/91.45	o 196
104.69/91.51	o 195
104.69/91.58	o 194
104.79/91.65	o 193
104.89/91.71	o 192
104.89/91.78	o 191
105.00/91.84	o 190
105.10/91.91	o 189
105.10/91.97	o 188
105.20/92.04	o 187
105.20/92.11	o 186
105.31/92.17	o 185
105.40/92.23	o 184
105.40/92.29	o 183
105.50/92.36	o 182
105.60/92.43	o 181
105.60/92.49	o 180
105.70/92.55	o 179
105.80/92.62	o 178
105.80/92.68	o 177
105.90/92.74	o 176
106.00/92.80	o 175
106.00/92.87	o 174
106.10/92.93	o 173
106.10/92.99	o 172
106.20/93.06	o 171
106.30/93.12	o 170
106.30/93.18	o 169
106.40/93.24	o 168
106.50/93.31	o 167
106.50/93.37	o 166
106.60/93.43	o 165
106.60/93.49	o 164
106.70/93.55	o 163
106.80/93.62	o 162
106.80/93.68	o 161
106.90/93.74	o 160
107.00/93.80	o 159
107.00/93.87	o 158
107.10/93.93	o 157
107.10/93.99	o 156
107.21/94.06	o 155
107.31/94.12	o 154
107.31/94.18	o 153
107.40/94.24	o 152
107.50/94.31	o 151
107.50/94.37	o 150
107.60/94.43	o 149
107.60/94.49	o 148
107.70/94.55	o 147
107.80/94.62	o 146
107.80/94.68	o 145
107.90/94.74	o 144
108.00/94.80	o 143
108.00/94.86	o 142
108.10/94.92	o 141
108.10/94.98	o 140
108.21/95.05	o 139
108.31/95.11	o 138
108.31/95.17	o 137
108.40/95.23	o 136
108.40/95.29	o 135
108.50/95.35	o 134
108.60/95.41	o 133
108.60/95.47	o 132
108.70/95.53	o 131
108.70/95.59	o 130
108.80/95.66	o 129
108.90/95.72	o 128
108.90/95.78	o 127
109.00/95.83	o 126
109.00/95.89	o 125
109.10/95.94	o 124
109.10/96.00	o 123
109.21/96.06	o 122
109.31/96.11	o 121
109.31/96.17	o 120
109.40/96.22	o 119
109.40/96.28	o 118
109.50/96.34	o 117
109.50/96.39	o 116
109.60/96.45	o 115
109.70/96.50	o 114
109.70/96.56	o 113
109.80/96.61	o 112
109.80/96.67	o 111
109.90/96.73	o 110
109.90/96.78	o 109
110.00/96.84	o 108
110.00/96.89	o 107
110.10/96.95	o 106
110.10/97.00	o 105
110.21/97.06	o 104
110.31/97.11	o 103
110.31/97.17	o 102
110.40/97.22	o 101
110.40/97.28	o 100
110.50/97.33	o 99
110.50/97.39	o 98
110.60/97.44	o 97
110.70/97.50	o 96
110.70/97.56	o 95
110.80/97.61	o 94
110.80/97.66	o 93
110.90/97.72	o 92
110.90/97.77	o 91
111.00/97.82	o 90
111.00/97.88	o 89
111.10/97.93	o 88
111.10/97.98	o 87
111.21/98.04	o 86
111.21/98.09	o 85
111.31/98.15	o 84
111.40/98.20	o 83
111.40/98.25	o 82
111.50/98.31	o 81
111.50/98.36	o 80
111.60/98.41	o 79
111.60/98.47	o 78
111.70/98.52	o 77
111.70/98.57	o 76
111.80/98.62	o 75
111.80/98.67	o 74
111.90/98.73	o 73
111.90/98.78	o 72
112.00/98.83	o 71
112.00/98.89	o 70
112.10/98.94	o 69
112.10/98.99	o 68
112.21/99.04	o 67
112.21/99.09	o 66
112.31/99.14	o 65
112.31/99.20	o 64
112.40/99.25	o 63
112.40/99.30	o 62
112.50/99.35	o 61
112.60/99.40	o 60
112.60/99.45	o 59
112.70/99.50	o 58
112.70/99.55	o 57
112.80/99.60	o 56
112.80/99.65	o 55
112.90/99.70	o 54
112.90/99.75	o 53
113.00/99.80	o 52
113.00/99.86	o 51
113.10/99.91	o 50
113.10/99.96	o 49
113.21/100.01	o 48
113.21/100.06	o 47
113.31/100.11	o 46
113.31/100.16	o 45
113.40/100.21	o 44
113.40/100.26	o 43
113.51/100.31	o 42
113.51/100.36	o 41
113.61/100.40	o 40
113.61/100.46	o 39
113.71/100.50	o 38
113.71/100.55	o 37
113.80/100.60	o 36
113.80/100.65	o 35
113.90/100.70	o 34
113.90/100.75	o 33
114.00/100.80	o 32
114.00/100.85	o 31
114.11/100.90	o 30
114.11/100.95	o 29
114.11/101.00	o 28
114.21/101.05	o 27
114.21/101.09	o 26
114.31/101.14	o 25
114.31/101.19	o 24
114.41/101.24	o 23
114.41/101.28	o 22
114.51/101.33	o 21
114.51/101.38	o 20
114.61/101.43	o 19
115.22/101.64	o 18
115.22/101.69	o 17
115.40/101.73	o 16
115.40/101.78	o 15
115.50/101.83	o 14
115.50/101.87	o 13
115.60/101.92	o 12
115.60/101.97	o 11
115.71/102.01	o 10
115.71/102.07	o 9
116.08/102.23	o 8
219.00/204.27	c First complete search done, starting ALNS search...
2520.09/2453.40	s SATISFIABLE
2520.09/2453.40	v <instantiation>
2520.09/2453.40	v 	<list>
2520.09/2453.40	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] x[947] x[948] x[949] x[950] x[951] x[952] x[953] x[954] x[955] x[956] x[957] x[958] x[959] x[960] x[961] x[962] x[963] x[964] x[965] x[966] x[967] x[968] x[969] x[970] x[971] x[972] x[973] x[974] x[975] x[976] x[977] x[978] x[979] x[980] x[981] x[982] x[983] x[984] x[985] x[986] x[987] x[988] x[989] x[990] x[991] x[992] x[993] x[994] x[995] x[996] x[997] x[998] x[999] x[1000] x[1001] x[1002] x[1003] x[1004] x[1005] x[1006] x[1007] x[1008] x[1009] x[1010] x[1011] x[1012] x[1013] x[1014] x[1015] x[1016] x[1017] x[1018] x[1019] x[1020] x[1021] x[1022] x[1023] x[1024] x[1025] x[1026] x[1027] x[1028] x[1029] x[1030] x[1031] x[1032] x[1033] x[1034] x[1035] x[1036] x[1037] x[1038] x[1039] x[1040] x[1041] x[1042] x[1043] x[1044] x[1045] x[1046] x[1047] x[1048] x[1049] x[1050] x[1051] x[1052] x[1053] x[1054] x[1055] x[1056] x[1057] x[1058] x[1059] x[1060] x[1061] x[1062] x[1063] x[1064] x[1065] x[1066] x[1067] x[1068] x[1069] x[1070] x[1071] x[1072] x[1073] x[1074] x[1075] x[1076] x[1077] x[1078] x[1079] x[1080] x[1081] x[1082] x[1083] x[1084]
2520.09/2453.40	v 	</list>
2520.09/2453.40	v 	<values>
2520.09/2453.40	v 		6 8 6 7 3 7 3 7 6 6 5 7 8 8 7 5 0 6 3 8 2 5 7 4 4 8 5 8 5 8 4 5 5 8 8 4 5 4 4 4 8 4 3 7 3 7 3 7 7 7 3 3 7 7 7 7 7 7 7 7 7 7 7 8 6 8 6 8 6 8 6 6 6 8 8 6 6 6 6 6 8 6 6 6 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 2 6 4 7 8 0 3 5 7 2 4 8 7 8 5 8 7 5 5 8 8 1 5 1 1 1 8 2 5 5 3 8 5 5 8 8 5 8 5 5 8 8 1 5 1 1 1 8 2 8 7 8 7 2 7 7 7 3 3 7 7 7 7 7 7 7 2 7 7 7 8 8 8 8 8 8 8 8 5 3 8 8 5 5 5 5 5 3 5 5 5 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 5 7 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 5 7 5 1 5 7 1 5 5 6 7 6 7 7 4 6 7 7 7 6 7 8 7 7 7 6 7 6 7 7 8 7 8 6 6 6 6 7 8 6 6 6 8 6 6 3 3 6 4 3 6 4 4 7 4 4 4 7 7 4 7 7 7 4 7 7 4 7 4 7 4 7 8 6 8 6 8 6 8 8 8 8 8 8 8 8 8 6 8 8 8 8 8 6 6 7 6 4 4 5 7 4 4 4 7 7 7 4 4 7 4 4 7 4 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 7 7 7 4 4 4 4 7 4 4 4 7 7 7 4 4 7 4 4 7 4 6 6 6 7 6 4 8 5 5 8 5 8 5 8 5 8 2 8 5 5 4 5 5 8 8 5 2 5 8 5 8 2 8 8 8 8 8 8 8 2 8 8 2 8 8 8 8 8 2 5 5 5 7 5 5 5 7 5 5 5 5 5 5 5 5 7 5 5 5 5 8 5 8 2 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 8 5 8 5 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 5 5 2 7 2 5 8 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 6 7 7 7 6 6 7 7 6 7 7 7 7 7 6 6 7 6 6 6 6 7 7 7 5 7 7 7 5 7 7 5 6 7 7 5 5 5 5 5 5 5 8 8 6 8 8 6 6 8 8 6 8 6 8 6 6 8 6 6 8 6 6 8 6 6 6 6 6 6 6 6 6 5 6 6 6 6 6 6 5 5 6 6 8 8 8 8 6 6 6 8 8 6 6 8 8 6 6 6 8 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 8 5 5 5 8 5 8 8 8 5 8 5 8 5 5 8 5 5 5 5 5 8 5 3 3 8 3 8 8 3 3 8 3 3 3 3 3 3 3 3 3 3 5 5 5 7 5 8 8 7 5 5 8 5 8 5 5 5 7 5 5 5 5 8 5 8 3 8 8 8 8 7 8 8 8 7 8 8 8 8 8 8 7 8 7 7 7 7 7 7 8 7 7 7 8 7 7 7 7 7 7 7 7 7 7 8 7 8 7 7 7 8 8 7 7 8 8 7 8 7 7 8 7 7 7 7 7 7 7 7 7 7 8 7 7 8 8 7 7 8 7 7 8 7 7 7 7 7 8 8 7 7 7 7 8 6 6 6 6 6 8 6 6 6 8 6 8 6 6 8 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 8 8 6 6 8 6 6 6 8 6 8 6 8 6 6 8 6 6 8 6 6 6 6 6 6 6 6 6 6 6 6 6 8 6 6 6 6 6 6 6 6 6 8 6 6 6 6 6 6 6 8 6 6 6 8 6 6 6 6 6 6 6 6 6 6 8 6 6 6 8 8 6 6 6 8 6 6 6 6 8 6 6 6 6 6 6 6 6 6 6 6 5 6 1 3 2 4 7 
2520.09/2453.40	v 	</values>
2520.09/2453.40	v </instantiation>

Verifier Data 

OK	8

Watcher Data 

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

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

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (12926 MiB free)
  memory of node 1: 16384 MiB (5503 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4308393-1534280800/watcher-4308393-1534280800 -o /tmp/evaluation-result-4308393-1534280800/solver-4308393-1534280800 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node148-1534270838-13462 --watchdog 2580 java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed 849262811 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4308393-1534280800.xml 

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

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

solver pid=14577, runsolver pid=14574

[startup+0.100093 s]*
/proc/loadavg: 1.82 1.68 1.60 3/215 14592
/proc/meminfo: memFree=18854880/32770624 swapFree=67108368/67108860
[pid=14577] ppid=14574 vsize=14082736 memory=33428 CPUtime=0.11 cores=0,2,4,6
/proc/14577/stat : 14577 (java) S 14574 14577 11932 0 -1 1077944320 7264 0 0 0 10 1 0 0 20 0 15 0 245643135 14420721664 8357 33554432000 4194304 4196468 140736153458832 140736153441376 139858753249015 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 9371648 140736153465941 140736153466121 140736153466121 140736153468879 0
/proc/14577/statm: 3520684 8357 3139 1 0 3482761 0
[pid=14577/tid=14579] ppid=14574 vsize=14082736 memory=-6966721798027829888 CPUtime=0.09 cores=0,2,4,6
/proc/14577/task/14579/stat : 14579 (java) R 14574 14577 11932 0 -1 4202560 5361 0 0 0 8 1 0 0 20 0 15 0 245643135 14420721664 8357 33554432000 4194304 4196468 140736153458832 139858757433696 139858737329502 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9371648 140736153465941 140736153466121 140736153466121 140736153468879 0
[pid=14577/tid=14580] ppid=14574 vsize=14082736 memory=5793855711904610745 CPUtime=0 cores=0,2,4,6
/proc/14577/task/14580/stat : 14580 (java) S 14574 14577 11932 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245643136 14420721664 8357 33554432000 4194304 4196468 140736153458832 139858705869840 139858753259221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9371648 140736153465941 140736153466121 140736153466121 140736153468879 0
[pid=14577/tid=14581] ppid=14574 vsize=14082736 memory=140460894717568 CPUtime=0 cores=0,2,4,6
/proc/14577/task/14581/stat : 14581 (java) S 14574 14577 11932 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245643136 14420721664 8357 33554432000 4194304 4196468 140736153458832 139858704817296 139858753259221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9371648 140736153465941 140736153466121 140736153466121 140736153468879 0
[pid=14577/tid=14582] ppid=14574 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14577/task/14582/stat : 14582 (java) S 14574 14577 11932 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245643136 14420721664 8357 33554432000 4194304 4196468 140736153458832 139858703764240 139858753259221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9371648 140736153465941 140736153466121 140736153466121 140736153468879 0
[pid=14577/tid=14583] ppid=14574 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14577/task/14583/stat : 14583 (java) S 14574 14577 11932 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245643136 14420721664 8357 33554432000 4194304 4196468 140736153458832 139858702711696 139858753259221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9371648 140736153465941 140736153466121 140736153466121 140736153468879 0
[pid=14577/tid=14584] ppid=14574 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14577/task/14584/stat : 14584 (java) S 14574 14577 11932 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245643138 14420721664 8357 33554432000 4194304 4196468 140736153458832 139858226960624 139858753260162 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9371648 140736153465941 140736153466121 140736153466121 140736153468879 0
[pid=14577/tid=14585] ppid=14574 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14577/task/14585/stat : 14585 (java) S 14574 14577 11932 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 245643138 14420721664 8357 33554432000 4194304 4196468 140736153458832 139858225906848 139858753259221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9371648 140736153465941 140736153466121 140736153466121 140736153468879 0
[pid=14577/tid=14586] ppid=14574 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14577/task/14586/stat : 14586 (java) S 14574 14577 11932 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 245643138 14420721664 8357 33554432000 4194304 4196468 140736153458832 139858224853744 139858753259221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9371648 140736153465941 140736153466121 140736153466121 140736153468879 0
[pid=14577/tid=14587] ppid=14574 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14577/task/14587/stat : 14587 (java) S 14574 14577 11932 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245643141 14420721664 8357 33554432000 4194304 4196468 140736153458832 139858223802320 139858753267611 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9371648 140736153465941 140736153466121 140736153466121 140736153468879 0
[pid=14577/tid=14588] ppid=14574 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14577/task/14588/stat : 14588 (java) S 14574 14577 11932 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 15 0 245643141 14420721664 8357 33554432000 4194304 4196468 140736153458832 139858222750448 139858753260162 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9371648 140736153465941 140736153466121 140736153466121 140736153468879 0
[pid=14577/tid=14589] ppid=14574 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14577/task/14589/stat : 14589 (java) S 14574 14577 11932 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245643141 14420721664 8357 33554432000 4194304 4196468 140736153458832 139858221697904 139858753260162 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9371648 140736153465941 140736153466121 140736153466121 140736153468879 0
[pid=14577/tid=14590] ppid=14574 vsize=14082736 memory=140460894717568 CPUtime=0 cores=0,2,4,6
/proc/14577/task/14590/stat : 14590 (java) S 14574 14577 11932 0 -1 1077944384 239 0 0 0 0 0 0 0 20 0 15 0 245643141 14420721664 8357 33554432000 4194304 4196468 140736153458832 139858220644848 139858753260162 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9371648 140736153465941 140736153466121 140736153466121 140736153468879 0
[pid=14577/tid=14591] ppid=14574 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14577/task/14591/stat : 14591 (java) S 14574 14577 11932 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245643141 14420721664 8357 33554432000 4194304 4196468 140736153458832 139858219592544 139858753259221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9371648 140736153465941 140736153466121 140736153466121 140736153468879 0
[pid=14577/tid=14592] ppid=14574 vsize=14082736 memory=140460894717568 CPUtime=0 cores=0,2,4,6
/proc/14577/task/14592/stat : 14592 (java) S 14574 14577 11932 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245643141 14420721664 8357 33554432000 4194304 4196468 140736153458832 139858218539568 139858753260162 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9371648 140736153465941 140736153466121 140736153466121 140736153468879 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 33428 KiB

[startup+0.210236 s]*
/proc/loadavg: 1.82 1.68 1.60 4/215 14592
/proc/meminfo: memFree=18839500/32770624 swapFree=67108368/67108860
[pid=14577] ppid=14574 vsize=14082736 memory=46820 CPUtime=0.3 cores=0,2,4,6
/proc/14577/stat : 14577 (java) S 14574 14577 11932 0 -1 1077944320 10311 0 0 0 28 2 0 0 20 0 15 0 245643135 14420721664 11705 33554432000 4194304 4196468 140736153458832 140736153441376 139858753249015 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 9371648 140736153465941 140736153466121 140736153466121 140736153468879 0
/proc/14577/statm: 3520684 11705 3377 1 0 3482761 0
[pid=14577/tid=14579] ppid=14574 vsize=14082736 memory=6735269665583770266 CPUtime=0.19 cores=0,2,4,6
/proc/14577/task/14579/stat : 14579 (java) S 14574 14577 11932 0 -1 1077944384 8054 0 0 0 18 1 0 0 20 0 15 0 245643135 14420721664 11705 33554432000 4194304 4196468 140736153458832 139858757476304 139858753259221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9371648 140736153465941 140736153466121 140736153466121 140736153468879 0
[pid=14577/tid=14580] ppid=14574 vsize=14082736 memory=4211974187099508106 CPUtime=0 cores=0,2,4,6
/proc/14577/task/14580/stat : 14580 (java) S 14574 14577 11932 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245643136 14420721664 11705 33554432000 4194304 4196468 140736153458832 139858705869840 139858753259221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9371648 140736153465941 140736153466121 140736153466121 140736153468879 0
[pid=14577/tid=14581] ppid=14574 vsize=14082736 memory=140460894717568 CPUtime=0 cores=0,2,4,6
/proc/14577/task/14581/stat : 14581 (java) S 14574 14577 11932 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245643136 14420721664 11705 33554432000 4194304 4196468 140736153458832 139858704817296 139858753259221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9371648 140736153465941 140736153466121 140736153466121 140736153468879 0
[pid=14577/tid=14582] ppid=14574 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14577/task/14582/stat : 14582 (java) S 14574 14577 11932 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245643136 14420721664 11705 33554432000 4194304 4196468 140736153458832 139858703764240 139858753259221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9371648 140736153465941 140736153466121 140736153466121 140736153468879 0
[pid=14577/tid=14583] ppid=14574 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14577/task/14583/stat : 14583 (java) S 14574 14577 11932 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245643136 14420721664 11705 33554432000 4194304 4196468 140736153458832 139858702711696 139858753259221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9371648 140736153465941 140736153466121 140736153466121 140736153468879 0
[pid=14577/tid=14584] ppid=14574 vsize=14082736 memory=140460894717568 CPUtime=0 cores=0,2,4,6
/proc/14577/task/14584/stat : 14584 (java) S 14574 14577 11932 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 245643138 14420721664 11705 33554432000 4194304 4196468 140736153458832 139858226960624 139858753260162 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9371648 140736153465941 140736153466121 140736153466121 140736153468879 0
[pid=14577/tid=14585] ppid=14574 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14577/task/14585/stat : 14585 (java) S 14574 14577 11932 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 245643138 14420721664 11705 33554432000 4194304 4196468 140736153458832 139858225906848 139858753259221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9371648 140736153465941 140736153466121 140736153466121 140736153468879 0
[pid=14577/tid=14586] ppid=14574 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14577/task/14586/stat : 14586 (java) S 14574 14577 11932 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 245643138 14420721664 11705 33554432000 4194304 4196468 140736153458832 139858224853744 139858753259221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9371648 140736153465941 140736153466121 140736153466121 140736153468879 0
[pid=14577/tid=14587] ppid=14574 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14577/task/14587/stat : 14587 (java) S 14574 14577 11932 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245643141 14420721664 11705 33554432000 4194304 4196468 140736153458832 139858223802320 139858753267611 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9371648 140736153465941 140736153466121 140736153466121 140736153468879 0
[pid=14577/tid=14588] ppid=14574 vsize=14082736 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/14577/task/14588/stat : 14588 (java) R 14574 14577 11932 0 -1 4202560 542 0 0 0 2 0 0 0 20 0 15 0 245643141 14420721664 11705 33554432000 4194304 4196468 140736153458832 139858222740560 139858734793262 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9371648 140736153465941 140736153466121 140736153466121 140736153468879 0
[pid=14577/tid=14589] ppid=14574 vsize=14082736 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/14577/task/14589/stat : 14589 (java) R 14574 14577 11932 0 -1 1077944384 56 0 0 0 1 0 0 0 20 0 15 0 245643141 14420721664 11705 33554432000 4194304 4196468 140736153458832 139858221697904 139858753260162 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9371648 140736153465941 140736153466121 140736153466121 140736153468879 0
[pid=14577/tid=14590] ppid=14574 vsize=14082736 memory=140460894717568 CPUtime=0.06 cores=0,2,4,6
/proc/14577/task/14590/stat : 14590 (java) R 14574 14577 11932 0 -1 4202560 278 0 0 0 6 0 0 0 20 0 15 0 245643141 14420721664 11705 33554432000 4194304 4196468 140736153458832 139858220641216 139858732372479 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9371648 140736153465941 140736153466121 140736153466121 140736153468879 0
[pid=14577/tid=14591] ppid=14574 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14577/task/14591/stat : 14591 (java) S 14574 14577 11932 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245643141 14420721664 11705 33554432000 4194304 4196468 140736153458832 139858219592544 139858753259221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9371648 140736153465941 140736153466121 140736153466121 140736153468879 0
[pid=14577/tid=14592] ppid=14574 vsize=14082736 memory=140460894717568 CPUtime=0 cores=0,2,4,6
/proc/14577/task/14592/stat : 14592 (java) S 14574 14577 11932 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245643141 14420721664 11705 33554432000 4194304 4196468 140736153458832 139858218539568 139858753260162 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9371648 140736153465941 140736153466121 140736153466121 140736153468879 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 46820 KiB

[startup+0.3107 s]*
/proc/loadavg: 1.82 1.68 1.60 4/215 14592
/proc/meminfo: memFree=18836076/32770624 swapFree=67108368/67108860
[pid=14577] ppid=14574 vsize=14082736 memory=50168 CPUtime=0.42 cores=0,2,4,6
/proc/14577/stat : 14577 (java) S 14574 14577 11932 0 -1 1077944320 10692 0 0 0 40 2 0 0 20 0 15 0 245643135 14420721664 12542 33554432000 4194304 4196468 140736153458832 140736153441376 139858753249015 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 9371648 140736153465941 140736153466121 140736153466121 140736153468879 0
/proc/14577/statm: 3520684 12542 3379 1 0 3482761 0
[pid=14577/tid=14579] ppid=14574 vsize=14082736 memory=4871374705135476842 CPUtime=0.28 cores=0,2,4,6
/proc/14577/task/14579/stat : 14579 (java) R 14574 14577 11932 0 -1 4202560 8401 0 0 0 27 1 0 0 20 0 15 0 245643135 14420721664 12542 33554432000 4194304 4196468 140736153458832 139858757428184 139858738414675 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9371648 140736153465941 140736153466121 140736153466121 140736153468879 0
[pid=14577/tid=14580] ppid=14574 vsize=14082736 memory=4211974187099508106 CPUtime=0 cores=0,2,4,6
/proc/14577/task/14580/stat : 14580 (java) S 14574 14577 11932 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245643136 14420721664 12542 33554432000 4194304 4196468 140736153458832 139858705869840 139858753259221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9371648 140736153465941 140736153466121 140736153466121 140736153468879 0
[pid=14577/tid=14581] ppid=14574 vsize=14082736 memory=140460894719919 CPUtime=0 cores=0,2,4,6
/proc/14577/task/14581/stat : 14581 (java) S 14574 14577 11932 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245643136 14420721664 12542 33554432000 4194304 4196468 140736153458832 139858704817296 139858753259221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9371648 140736153465941 140736153466121 140736153466121 140736153468879 0
[pid=14577/tid=14582] ppid=14574 vsize=14082736 memory=140460798630060 CPUtime=0 cores=0,2,4,6
/proc/14577/task/14582/stat : 14582 (java) S 14574 14577 11932 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245643136 14420721664 12542 33554432000 4194304 4196468 140736153458832 139858703764240 139858753259221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9371648 140736153465941 140736153466121 140736153466121 140736153468879 0
[pid=14577/tid=14583] ppid=14574 vsize=14082736 memory=140460798627279 CPUtime=0 cores=0,2,4,6
/proc/14577/task/14583/stat : 14583 (java) S 14574 14577 11932 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245643136 14420721664 12542 33554432000 4194304 4196468 140736153458832 139858702711696 139858753259221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9371648 140736153465941 140736153466121 140736153466121 140736153468879 0
[pid=14577/tid=14584] ppid=14574 vsize=14082736 memory=140460894729527 CPUtime=0 cores=0,2,4,6
/proc/14577/task/14584/stat : 14584 (java) S 14574 14577 11932 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 245643138 14420721664 12542 33554432000 4194304 4196468 140736153458832 139858226960624 139858753260162 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9371648 140736153465941 140736153466121 140736153466121 140736153468879 0
[pid=14577/tid=14585] ppid=14574 vsize=14082736 memory=140460798636463 CPUtime=0 cores=0,2,4,6
/proc/14577/task/14585/stat : 14585 (java) S 14574 14577 11932 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 245643138 14420721664 12542 33554432000 4194304 4196468 140736153458832 139858225906848 139858753259221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9371648 140736153465941 140736153466121 140736153466121 140736153468879 0
[pid=14577/tid=14586] ppid=14574 vsize=14082736 memory=280921597263760 CPUtime=0 cores=0,2,4,6
/proc/14577/task/14586/stat : 14586 (java) S 14574 14577 11932 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 245643138 14420721664 12542 33554432000 4194304 4196468 140736153458832 139858224853744 139858753259221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9371648 140736153465941 140736153466121 140736153466121 140736153468879 0
[pid=14577/tid=14587] ppid=14574 vsize=14082736 memory=280921597261456 CPUtime=0 cores=0,2,4,6
/proc/14577/task/14587/stat : 14587 (java) S 14574 14577 11932 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245643141 14420721664 12542 33554432000 4194304 4196468 140736153458832 139858223802320 139858753267611 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9371648 140736153465941 140736153466121 140736153466121 140736153468879 0
[pid=14577/tid=14588] ppid=14574 vsize=14082736 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/14577/task/14588/stat : 14588 (java) S 14574 14577 11932 0 -1 1077944384 555 0 0 0 2 0 0 0 20 0 15 0 245643141 14420721664 12542 33554432000 4194304 4196468 140736153458832 139858222750448 139858753260162 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9371648 140736153465941 140736153466121 140736153466121 140736153468879 0
[pid=14577/tid=14589] ppid=14574 vsize=14082736 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/14577/task/14589/stat : 14589 (java) S 14574 14577 11932 0 -1 1077944384 58 0 0 0 1 0 0 0 20 0 15 0 245643141 14420721664 12542 33554432000 4194304 4196468 140736153458832 139858221697904 139858753260162 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9371648 140736153465941 140736153466121 140736153466121 140736153468879 0
[pid=14577/tid=14590] ppid=14574 vsize=14082736 memory=140460894717568 CPUtime=0.08 cores=0,2,4,6
/proc/14577/task/14590/stat : 14590 (java) S 14574 14577 11932 0 -1 1077944384 297 0 0 0 8 0 0 0 20 0 15 0 245643141 14420721664 12542 33554432000 4194304 4196468 140736153458832 139858220644848 139858753260162 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9371648 140736153465941 140736153466121 140736153466121 140736153468879 0
[pid=14577/tid=14591] ppid=14574 vsize=14082736 memory=2208 CPUtime=0 cores=0,2,4,6
/proc/14577/task/14591/stat : 14591 (java) S 14574 14577 11932 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245643141 14420721664 12542 33554432000 4194304 4196468 140736153458832 139858219592544 139858753259221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9371648 140736153465941 140736153466121 140736153466121 140736153468879 0
[pid=14577/tid=14592] ppid=14574 vsize=14082736 memory=140460894717568 CPUtime=0 cores=0,2,4,6
/proc/14577/task/14592/stat : 14592 (java) S 14574 14577 11932 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245643141 14420721664 12542 33554432000 4194304 4196468 140736153458832 139858218539568 139858753260162 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9371648 140736153465941 140736153466121 140736153466121 140736153468879 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 50168 KiB

[startup+0.700701 s]
/proc/loadavg: 1.82 1.68 1.60 3/215 14592
/proc/meminfo: memFree=18817044/32770624 swapFree=67108368/67108860
[pid=14577] ppid=14574 vsize=14084804 memory=86500 CPUtime=0.97 cores=0,2,4,6
/proc/14577/stat : 14577 (java) S 14574 14577 11932 0 -1 1077944320 17518 0 0 0 93 4 0 0 20 0 15 0 245643135 14422839296 21625 33554432000 4194304 4196468 140736153458832 140736153441376 139858753249015 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 9371648 140736153465941 140736153466121 140736153466121 140736153468879 0
/proc/14577/statm: 3521201 21625 3493 1 0 3483273 0
[pid=14577/tid=14579] ppid=14574 vsize=14084804 memory=872 CPUtime=0.66 cores=0,2,4,6
/proc/14577/task/14579/stat : 14579 (java) R 14574 14577 11932 0 -1 4202560 14813 0 0 0 63 3 0 0 20 0 15 0 245643135 14422839296 21625 33554432000 4194304 4196468 140736153458832 139858757473120 139858737329502 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9371648 140736153465941 140736153466121 140736153466121 140736153468879 0
[pid=14577/tid=14580] ppid=14574 vsize=14084804 memory=1920 CPUtime=0 cores=0,2,4,6
/proc/14577/task/14580/stat : 14580 (java) S 14574 14577 11932 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245643136 14422839296 21625 33554432000 4194304 4196468 140736153458832 139858705869840 139858753259221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9371648 140736153465941 140736153466121 140736153466121 140736153468879 0
[pid=14577/tid=14581] ppid=14574 vsize=14084804 memory=6272 CPUtime=0 cores=0,2,4,6
/proc/14577/task/14581/stat : 14581 (java) S 14574 14577 11932 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245643136 14422839296 21625 33554432000 4194304 4196468 140736153458832 139858704817296 139858753259221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9371648 140736153465941 140736153466121 140736153466121 140736153468879 0
[pid=14577/tid=14582] ppid=14574 vsize=14084804 memory=7014751519600366929 CPUtime=0 cores=0,2,4,6
/proc/14577/task/14582/stat : 14582 (java) S 14574 14577 11932 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245643136 14422839296 21625 33554432000 4194304 4196468 140736153458832 139858703764240 139858753259221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9371648 140736153465941 140736153466121 140736153466121 140736153468879 0
[pid=14577/tid=14583] ppid=14574 vsize=14084804 memory=7019257425709197167 CPUtime=0 cores=0,2,4,6
/proc/14577/task/14583/stat : 14583 (java) S 14574 14577 11932 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245643136 14422839296 21625 33554432000 4194304 4196468 140736153458832 139858702711696 139858753259221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9371648 140736153465941 140736153466121 140736153466121 140736153468879 0
[pid=14577/tid=14584] ppid=14574 vsize=14084804 memory=5787213840016500561 CPUtime=0 cores=0,2,4,6
/proc/14577/task/14584/stat : 14584 (java) S 14574 14577 11932 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 245643138 14422839296 21625 33554432000 4194304 4196468 140736153458832 139858226960624 139858753260162 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9371648 140736153465941 140736153466121 140736153466121 140736153468879 0
[pid=14577/tid=14585] ppid=14574 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14577/task/14585/stat : 14585 (java) S 14574 14577 11932 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 245643138 14422839296 21625 33554432000 4194304 4196468 140736153458832 139858225906848 139858753259221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9371648 140736153465941 140736153466121 140736153466121 140736153468879 0
[pid=14577/tid=14586] ppid=14574 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14577/task/14586/stat : 14586 (java) S 14574 14577 11932 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 245643138 14422839296 21625 33554432000 4194304 4196468 140736153458832 139858224853744 139858753259221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9371648 140736153465941 140736153466121 140736153466121 140736153468879 0
[pid=14577/tid=14587] ppid=14574 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14577/task/14587/stat : 14587 (java) S 14574 14577 11932 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245643141 14422839296 21625 33554432000 4194304 4196468 140736153458832 139858223802320 139858753267611 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9371648 140736153465941 140736153466121 140736153466121 140736153468879 0
[pid=14577/tid=14588] ppid=14574 vsize=14084804 memory=219 CPUtime=0.08 cores=0,2,4,6
/proc/14577/task/14588/stat : 14588 (java) S 14574 14577 11932 0 -1 1077944384 710 0 0 0 8 0 0 0 20 0 15 0 245643141 14422839296 21625 33554432000 4194304 4196468 140736153458832 139858222750448 139858753260162 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9371648 140736153465941 140736153466121 140736153466121 140736153468879 0
[pid=14577/tid=14589] ppid=14574 vsize=14084804 memory=7 CPUtime=0.06 cores=0,2,4,6
/proc/14577/task/14589/stat : 14589 (java) S 14574 14577 11932 0 -1 1077944384 211 0 0 0 6 0 0 0 20 0 15 0 245643141 14422839296 21625 33554432000 4194304 4196468 140736153458832 139858221697904 139858753260162 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9371648 140736153465941 140736153466121 140736153466121 140736153468879 0
[pid=14577/tid=14590] ppid=14574 vsize=14084804 memory=0 CPUtime=0.15 cores=0,2,4,6
/proc/14577/task/14590/stat : 14590 (java) S 14574 14577 11932 0 -1 1077944384 403 0 0 0 15 0 0 0 20 0 15 0 245643141 14422839296 21625 33554432000 4194304 4196468 140736153458832 139858220644848 139858753260162 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9371648 140736153465941 140736153466121 140736153466121 140736153468879 0
[pid=14577/tid=14591] ppid=14574 vsize=14084804 memory=280921597447664 CPUtime=0 cores=0,2,4,6
/proc/14577/task/14591/stat : 14591 (java) S 14574 14577 11932 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245643141 14422839296 21625 33554432000 4194304 4196468 140736153458832 139858219592544 139858753259221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9371648 140736153465941 140736153466121 140736153466121 140736153468879 0
[pid=14577/tid=14592] ppid=14574 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14577/task/14592/stat : 14592 (java) S 14574 14577 11932 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245643141 14422839296 21625 33554432000 4194304 4196468 140736153458832 139858218539568 139858753260162 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9371648 140736153465941 140736153466121 140736153466121 140736153468879 0
Current children cumulated CPU time: 0.97 s
Current children cumulated vsize: 14084804 KiB
Current children cumulated memory: 86500 KiB

[startup+1.50072 s]
/proc/loadavg: 1.82 1.68 1.60 5/215 14592
/proc/meminfo: memFree=18764492/32770624 swapFree=67108368/67108860
[pid=14577] ppid=14574 vsize=14086852 memory=223936 CPUtime=3.29 cores=0,2,4,6
/proc/14577/stat : 14577 (java) S 14574 14577 11932 0 -1 1077944320 24427 0 0 0 320 9 0 0 20 0 15 0 245643135 14424936448 55984 33554432000 4194304 4196468 140736153458832 140736153441376 139858753249015 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 9371648 140736153465941 140736153466121 140736153466121 140736153468879 0
/proc/14577/statm: 3521713 55984 3561 1 0 3483785 0
[pid=14577/tid=14579] ppid=14574 vsize=14086852 memory=0 CPUtime=1.45 cores=0,2,4,6
/proc/14577/task/14579/stat : 14579 (java) R 14574 14577 11932 0 -1 4202560 17301 0 0 0 139 6 0 0 20 0 15 0 245643135 14424936448 55984 33554432000 4194304 4196468 140736153458832 139858757484784 139858384457534 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9371648 140736153465941 140736153466121 140736153466121 140736153468879 0
[pid=14577/tid=14580] ppid=14574 vsize=14086852 memory=-1088251628401078322 CPUtime=0 cores=0,2,4,6
/proc/14577/task/14580/stat : 14580 (java) S 14574 14577 11932 0 -1 1077944384 88 0 0 0 0 0 0 0 20 0 15 0 245643136 14424936448 55984 33554432000 4194304 4196468 140736153458832 139858705869840 139858753259221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9371648 140736153465941 140736153466121 140736153466121 140736153468879 0
[pid=14577/tid=14581] ppid=14574 vsize=14086852 memory=-3472574513799858009 CPUtime=0 cores=0,2,4,6
/proc/14577/task/14581/stat : 14581 (java) S 14574 14577 11932 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 15 0 245643136 14424936448 55984 33554432000 4194304 4196468 140736153458832 139858704817296 139858753259221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9371648 140736153465941 140736153466121 140736153466121 140736153468879 0
[pid=14577/tid=14582] ppid=14574 vsize=14086852 memory=-6585528546044026665 CPUtime=0 cores=0,2,4,6
/proc/14577/task/14582/stat : 14582 (java) S 14574 14577 11932 0 -1 1077944384 156 0 0 0 0 0 0 0 20 0 15 0 245643136 14424936448 55984 33554432000 4194304 4196468 140736153458832 139858703764240 139858753259221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9371648 140736153465941 140736153466121 140736153466121 140736153468879 0
[pid=14577/tid=14583] ppid=14574 vsize=14086852 memory=-7090182432460067374 CPUtime=0 cores=0,2,4,6
/proc/14577/task/14583/stat : 14583 (java) S 14574 14577 11932 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 245643136 14424936448 55984 33554432000 4194304 4196468 140736153458832 139858702711696 139858753259221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9371648 140736153465941 140736153466121 140736153466121 140736153468879 0
[pid=14577/tid=14584] ppid=14574 vsize=14086852 memory=-6079119013371668066 CPUtime=0 cores=0,2,4,6
/proc/14577/task/14584/stat : 14584 (java) S 14574 14577 11932 0 -1 1077944384 130 0 0 0 0 0 0 0 20 0 15 0 245643138 14424936448 55984 33554432000 4194304 4196468 140736153458832 139858226960624 139858753260162 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9371648 140736153465941 140736153466121 140736153466121 140736153468879 0

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

/proc/14577/task/14579/stat : 14579 (java) R 14574 14577 11932 0 -1 4202560 260835 0 0 0 230185 91 0 0 20 0 15 0 245643135 14431227904 1198754 33554432000 4194304 4196468 140736153458832 139858757486080 139858384380573 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9371648 140736153465941 140736153466121 140736153466121 140736153468879 0
[pid=14577/tid=14580] ppid=14574 vsize=14092996 memory=4795016 CPUtime=17.43 cores=0,2,4,6
/proc/14577/task/14580/stat : 14580 (java) S 14574 14577 11932 0 -1 1077944384 34975 0 0 0 1701 42 0 0 20 0 15 0 245643136 14431227904 1198754 33554432000 4194304 4196468 140736153458832 139858705869840 139858753259221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9371648 140736153465941 140736153466121 140736153466121 140736153468879 0
[pid=14577/tid=14581] ppid=14574 vsize=14092996 memory=4795016 CPUtime=17.44 cores=0,2,4,6
/proc/14577/task/14581/stat : 14581 (java) S 14574 14577 11932 0 -1 1077944384 31045 0 0 0 1706 38 0 0 20 0 15 0 245643136 14431227904 1198754 33554432000 4194304 4196468 140736153458832 139858704817296 139858753259221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9371648 140736153465941 140736153466121 140736153466121 140736153468879 0
[pid=14577/tid=14582] ppid=14574 vsize=14092996 memory=4795016 CPUtime=17.48 cores=0,2,4,6
/proc/14577/task/14582/stat : 14582 (java) S 14574 14577 11932 0 -1 1077944384 36841 0 0 0 1706 42 0 0 20 0 15 0 245643136 14431227904 1198754 33554432000 4194304 4196468 140736153458832 139858703764240 139858753259221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9371648 140736153465941 140736153466121 140736153466121 140736153468879 0
[pid=14577/tid=14583] ppid=14574 vsize=14092996 memory=4795016 CPUtime=17.44 cores=0,2,4,6
/proc/14577/task/14583/stat : 14583 (java) S 14574 14577 11932 0 -1 1077944384 38908 0 0 0 1704 40 0 0 20 0 15 0 245643136 14431227904 1198754 33554432000 4194304 4196468 140736153458832 139858702711696 139858753259221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9371648 140736153465941 140736153466121 140736153466121 140736153468879 0
[pid=14577/tid=14584] ppid=14574 vsize=14092996 memory=4795016 CPUtime=1.73 cores=0,2,4,6
/proc/14577/task/14584/stat : 14584 (java) S 14574 14577 11932 0 -1 1077944384 25601 0 0 0 166 7 0 0 20 0 15 0 245643138 14431227904 1198754 33554432000 4194304 4196468 140736153458832 139858226960624 139858753260162 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9371648 140736153465941 140736153466121 140736153466121 140736153468879 0
[pid=14577/tid=14585] ppid=14574 vsize=14092996 memory=4795016 CPUtime=0 cores=0,2,4,6
/proc/14577/task/14585/stat : 14585 (java) S 14574 14577 11932 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 15 0 245643138 14431227904 1198754 33554432000 4194304 4196468 140736153458832 139858225906912 139858753259221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9371648 140736153465941 140736153466121 140736153466121 140736153468879 0
[pid=14577/tid=14586] ppid=14574 vsize=14092996 memory=4795020 CPUtime=0 cores=0,2,4,6
/proc/14577/task/14586/stat : 14586 (java) S 14574 14577 11932 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 15 0 245643138 14431227904 1198754 33554432000 4194304 4196468 140736153458832 139858224853760 139858753259221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9371648 140736153465941 140736153466121 140736153466121 140736153468879 0
[pid=14577/tid=14587] ppid=14574 vsize=14092996 memory=7883102977897163372 CPUtime=0 cores=0,2,4,6
/proc/14577/task/14587/stat : 14587 (java) S 14574 14577 11932 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245643141 14431227904 1198754 33554432000 4194304 4196468 140736153458832 139858223802320 139858753267611 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9371648 140736153465941 140736153466121 140736153466121 140736153468879 0
[pid=14577/tid=14588] ppid=14574 vsize=14092996 memory=4795016 CPUtime=4.54 cores=0,2,4,6
/proc/14577/task/14588/stat : 14588 (java) S 14574 14577 11932 0 -1 1077944384 31175 0 0 0 450 4 0 0 20 0 15 0 245643141 14431227904 1198754 33554432000 4194304 4196468 140736153458832 139858222750448 139858753260162 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9371648 140736153465941 140736153466121 140736153466121 140736153468879 0
[pid=14577/tid=14589] ppid=14574 vsize=14092996 memory=1576 CPUtime=4.27 cores=0,2,4,6
/proc/14577/task/14589/stat : 14589 (java) S 14574 14577 11932 0 -1 1077944384 30513 0 0 0 424 3 0 0 20 0 15 0 245643141 14431227904 1198754 33554432000 4194304 4196468 140736153458832 139858221697904 139858753260162 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9371648 140736153465941 140736153466121 140736153466121 140736153468879 0
[pid=14577/tid=14590] ppid=14574 vsize=14092996 memory=756 CPUtime=1.55 cores=0,2,4,6
/proc/14577/task/14590/stat : 14590 (java) S 14574 14577 11932 0 -1 1077944384 44809 0 0 0 149 6 0 0 20 0 15 0 245643141 14431227904 1198754 33554432000 4194304 4196468 140736153458832 139858220644848 139858753260162 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9371648 140736153465941 140736153466121 140736153466121 140736153468879 0
[pid=14577/tid=14591] ppid=14574 vsize=14092996 memory=4639948313719891052 CPUtime=0 cores=0,2,4,6
/proc/14577/task/14591/stat : 14591 (java) S 14574 14577 11932 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245643141 14431227904 1198754 33554432000 4194304 4196468 140736153458832 139858219592544 139858753259221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9371648 140736153465941 140736153466121 140736153466121 140736153468879 0
[pid=14577/tid=14592] ppid=14574 vsize=14092996 memory=4795016 CPUtime=1.34 cores=0,2,4,6
/proc/14577/task/14592/stat : 14592 (java) S 14574 14577 11932 0 -1 1077944384 1503 0 0 0 67 67 0 0 20 0 15 0 245643141 14431227904 1198754 33554432000 4194304 4196468 140736153458832 139858218539568 139858753260162 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9371648 140736153465941 140736153466121 140736153466121 140736153468879 0
Current children cumulated CPU time: 2386.06 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 4795016 KiB

[startup+2382.3 s]
/proc/loadavg: 1.65 1.79 1.83 3/215 14819
/proc/meminfo: memFree=18779652/32770624 swapFree=67108368/67108860
[pid=14577] ppid=14574 vsize=14092996 memory=4793476 CPUtime=2447.2 cores=0,2,4,6
/proc/14577/stat : 14577 (java) S 14574 14577 11932 0 -1 1077944320 549406 0 0 0 244391 329 0 0 20 0 15 0 245643135 14431227904 1198369 33554432000 4194304 4196468 140736153458832 140736153441376 139858753249015 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 9371648 140736153465941 140736153466121 140736153466121 140736153468879 0
/proc/14577/statm: 3523249 1198369 3629 1 0 3485321 0
[pid=14577/tid=14579] ppid=14574 vsize=14092996 memory=4793476 CPUtime=2362.38 cores=0,2,4,6
/proc/14577/task/14579/stat : 14579 (java) R 14574 14577 11932 0 -1 4202560 267250 0 0 0 236146 92 0 0 20 0 15 0 245643135 14431227904 1198369 33554432000 4194304 4196468 140736153458832 139858757482320 139858384380623 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9371648 140736153465941 140736153466121 140736153466121 140736153468879 0
[pid=14577/tid=14580] ppid=14574 vsize=14092996 memory=4793476 CPUtime=17.79 cores=0,2,4,6
/proc/14577/task/14580/stat : 14580 (java) S 14574 14577 11932 0 -1 1077944384 36210 0 0 0 1737 42 0 0 20 0 15 0 245643136 14431227904 1198369 33554432000 4194304 4196468 140736153458832 139858705869840 139858753259221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9371648 140736153465941 140736153466121 140736153466121 140736153468879 0
[pid=14577/tid=14581] ppid=14574 vsize=14092996 memory=4793476 CPUtime=17.81 cores=0,2,4,6
/proc/14577/task/14581/stat : 14581 (java) S 14574 14577 11932 0 -1 1077944384 32017 0 0 0 1743 38 0 0 20 0 15 0 245643136 14431227904 1198369 33554432000 4194304 4196468 140736153458832 139858704817296 139858753259221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9371648 140736153465941 140736153466121 140736153466121 140736153468879 0
[pid=14577/tid=14582] ppid=14574 vsize=14092996 memory=4793476 CPUtime=17.84 cores=0,2,4,6
/proc/14577/task/14582/stat : 14582 (java) S 14574 14577 11932 0 -1 1077944384 37364 0 0 0 1742 42 0 0 20 0 15 0 245643136 14431227904 1198369 33554432000 4194304 4196468 140736153458832 139858703764240 139858753259221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9371648 140736153465941 140736153466121 140736153466121 140736153468879 0
[pid=14577/tid=14583] ppid=14574 vsize=14092996 memory=4793476 CPUtime=17.8 cores=0,2,4,6
/proc/14577/task/14583/stat : 14583 (java) S 14574 14577 11932 0 -1 1077944384 40274 0 0 0 1740 40 0 0 20 0 15 0 245643136 14431227904 1198369 33554432000 4194304 4196468 140736153458832 139858702711696 139858753259221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9371648 140736153465941 140736153466121 140736153466121 140736153468879 0
[pid=14577/tid=14584] ppid=14574 vsize=14092996 memory=4793476 CPUtime=1.74 cores=0,2,4,6
/proc/14577/task/14584/stat : 14584 (java) S 14574 14577 11932 0 -1 1077944384 25868 0 0 0 167 7 0 0 20 0 15 0 245643138 14431227904 1198369 33554432000 4194304 4196468 140736153458832 139858226960624 139858753260162 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9371648 140736153465941 140736153466121 140736153466121 140736153468879 0
[pid=14577/tid=14585] ppid=14574 vsize=14092996 memory=4793476 CPUtime=0 cores=0,2,4,6
/proc/14577/task/14585/stat : 14585 (java) S 14574 14577 11932 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 15 0 245643138 14431227904 1198369 33554432000 4194304 4196468 140736153458832 139858225906912 139858753259221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9371648 140736153465941 140736153466121 140736153466121 140736153468879 0
[pid=14577/tid=14586] ppid=14574 vsize=14092996 memory=4793476 CPUtime=0 cores=0,2,4,6
/proc/14577/task/14586/stat : 14586 (java) S 14574 14577 11932 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 15 0 245643138 14431227904 1198369 33554432000 4194304 4196468 140736153458832 139858224853760 139858753259221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9371648 140736153465941 140736153466121 140736153466121 140736153468879 0
[pid=14577/tid=14587] ppid=14574 vsize=14092996 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14577/task/14587/stat : 14587 (java) S 14574 14577 11932 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245643141 14431227904 1198369 33554432000 4194304 4196468 140736153458832 139858223802320 139858753267611 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9371648 140736153465941 140736153466121 140736153466121 140736153468879 0
[pid=14577/tid=14588] ppid=14574 vsize=14092996 memory=0 CPUtime=4.54 cores=0,2,4,6
/proc/14577/task/14588/stat : 14588 (java) S 14574 14577 11932 0 -1 1077944384 31396 0 0 0 450 4 0 0 20 0 15 0 245643141 14431227904 1198369 33554432000 4194304 4196468 140736153458832 139858222750448 139858753260162 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9371648 140736153465941 140736153466121 140736153466121 140736153468879 0
[pid=14577/tid=14589] ppid=14574 vsize=14092996 memory=138 CPUtime=4.27 cores=0,2,4,6
/proc/14577/task/14589/stat : 14589 (java) S 14574 14577 11932 0 -1 1077944384 30847 0 0 0 424 3 0 0 20 0 15 0 245643141 14431227904 1198369 33554432000 4194304 4196468 140736153458832 139858221697904 139858753260162 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9371648 140736153465941 140736153466121 140736153466121 140736153468879 0
[pid=14577/tid=14590] ppid=14574 vsize=14092996 memory=4793476 CPUtime=1.55 cores=0,2,4,6
/proc/14577/task/14590/stat : 14590 (java) S 14574 14577 11932 0 -1 1077944384 45189 0 0 0 149 6 0 0 20 0 15 0 245643141 14431227904 1198369 33554432000 4194304 4196468 140736153458832 139858220644848 139858753260162 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9371648 140736153465941 140736153466121 140736153466121 140736153468879 0
[pid=14577/tid=14591] ppid=14574 vsize=14092996 memory=-9001734013606258791 CPUtime=0 cores=0,2,4,6
/proc/14577/task/14591/stat : 14591 (java) S 14574 14577 11932 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245643141 14431227904 1198369 33554432000 4194304 4196468 140736153458832 139858219592544 139858753259221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9371648 140736153465941 140736153466121 140736153466121 140736153468879 0
[pid=14577/tid=14592] ppid=14574 vsize=14092996 memory=-7233780906022726806 CPUtime=1.38 cores=0,2,4,6
/proc/14577/task/14592/stat : 14592 (java) S 14574 14577 11932 0 -1 1077944384 1530 0 0 0 69 69 0 0 20 0 15 0 245643141 14431227904 1198369 33554432000 4194304 4196468 140736153458832 139858218539568 139858753260162 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9371648 140736153465941 140736153466121 140736153466121 140736153468879 0
Current children cumulated CPU time: 2447.2 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 4793476 KiB

[startup+2442.3 s]
/proc/loadavg: 1.78 1.80 1.83 3/215 14820
/proc/meminfo: memFree=18834756/32770624 swapFree=67108368/67108860
[pid=14577] ppid=14574 vsize=14092996 memory=4795532 CPUtime=2508.65 cores=0,2,4,6
/proc/14577/stat : 14577 (java) S 14574 14577 11932 0 -1 1077944320 561408 0 0 0 250534 331 0 0 20 0 15 0 245643135 14431227904 1198883 33554432000 4194304 4196468 140736153458832 140736153441376 139858753249015 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 9371648 140736153465941 140736153466121 140736153466121 140736153468879 0
/proc/14577/statm: 3523249 1198883 3629 1 0 3485321 0
[pid=14577/tid=14579] ppid=14574 vsize=14092996 memory=4795532 CPUtime=2421.88 cores=0,2,4,6
/proc/14577/task/14579/stat : 14579 (java) R 14574 14577 11932 0 -1 4202560 273595 0 0 0 242096 92 0 0 20 0 15 0 245643135 14431227904 1198883 33554432000 4194304 4196468 140736153458832 139858757486080 139858385627904 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9371648 140736153465941 140736153466121 140736153466121 140736153468879 0
[pid=14577/tid=14580] ppid=14574 vsize=14092996 memory=756 CPUtime=18.26 cores=0,2,4,6
/proc/14577/task/14580/stat : 14580 (java) S 14574 14577 11932 0 -1 1077944384 37033 0 0 0 1784 42 0 0 20 0 15 0 245643136 14431227904 1198883 33554432000 4194304 4196468 140736153458832 139858705869840 139858753259221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9371648 140736153465941 140736153466121 140736153466121 140736153468879 0
[pid=14577/tid=14581] ppid=14574 vsize=14092996 memory=4795532 CPUtime=18.28 cores=0,2,4,6
/proc/14577/task/14581/stat : 14581 (java) S 14574 14577 11932 0 -1 1077944384 33397 0 0 0 1790 38 0 0 20 0 15 0 245643136 14431227904 1198883 33554432000 4194304 4196468 140736153458832 139858704817296 139858753259221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9371648 140736153465941 140736153466121 140736153466121 140736153468879 0
[pid=14577/tid=14582] ppid=14574 vsize=14092996 memory=4795532 CPUtime=18.32 cores=0,2,4,6
/proc/14577/task/14582/stat : 14582 (java) S 14574 14577 11932 0 -1 1077944384 38639 0 0 0 1790 42 0 0 20 0 15 0 245643136 14431227904 1198883 33554432000 4194304 4196468 140736153458832 139858703764240 139858753259221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9371648 140736153465941 140736153466121 140736153466121 140736153468879 0
[pid=14577/tid=14583] ppid=14574 vsize=14092996 memory=4793476 CPUtime=18.28 cores=0,2,4,6
/proc/14577/task/14583/stat : 14583 (java) S 14574 14577 11932 0 -1 1077944384 41003 0 0 0 1788 40 0 0 20 0 15 0 245643136 14431227904 1198883 33554432000 4194304 4196468 140736153458832 139858702711696 139858753259221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9371648 140736153465941 140736153466121 140736153466121 140736153468879 0
[pid=14577/tid=14584] ppid=14574 vsize=14092996 memory=4795532 CPUtime=1.74 cores=0,2,4,6
/proc/14577/task/14584/stat : 14584 (java) S 14574 14577 11932 0 -1 1077944384 26109 0 0 0 167 7 0 0 20 0 15 0 245643138 14431227904 1198883 33554432000 4194304 4196468 140736153458832 139858226960624 139858753260162 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9371648 140736153465941 140736153466121 140736153466121 140736153468879 0
[pid=14577/tid=14585] ppid=14574 vsize=14092996 memory=4795532 CPUtime=0 cores=0,2,4,6
/proc/14577/task/14585/stat : 14585 (java) S 14574 14577 11932 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 15 0 245643138 14431227904 1198883 33554432000 4194304 4196468 140736153458832 139858225906912 139858753259221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9371648 140736153465941 140736153466121 140736153466121 140736153468879 0
[pid=14577/tid=14586] ppid=14574 vsize=14092996 memory=4795532 CPUtime=0 cores=0,2,4,6
/proc/14577/task/14586/stat : 14586 (java) S 14574 14577 11932 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 15 0 245643138 14431227904 1198883 33554432000 4194304 4196468 140736153458832 139858224853760 139858753259221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9371648 140736153465941 140736153466121 140736153466121 140736153468879 0
[pid=14577/tid=14587] ppid=14574 vsize=14092996 memory=4795532 CPUtime=0 cores=0,2,4,6
/proc/14577/task/14587/stat : 14587 (java) S 14574 14577 11932 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245643141 14431227904 1198883 33554432000 4194304 4196468 140736153458832 139858223802320 139858753267611 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9371648 140736153465941 140736153466121 140736153466121 140736153468879 0
[pid=14577/tid=14588] ppid=14574 vsize=14092996 memory=4795532 CPUtime=4.54 cores=0,2,4,6
/proc/14577/task/14588/stat : 14588 (java) S 14574 14577 11932 0 -1 1077944384 31707 0 0 0 450 4 0 0 20 0 15 0 245643141 14431227904 1198883 33554432000 4194304 4196468 140736153458832 139858222750448 139858753260162 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9371648 140736153465941 140736153466121 140736153466121 140736153468879 0
[pid=14577/tid=14589] ppid=14574 vsize=14092996 memory=4793476 CPUtime=4.28 cores=0,2,4,6
/proc/14577/task/14589/stat : 14589 (java) S 14574 14577 11932 0 -1 1077944384 31690 0 0 0 424 4 0 0 20 0 15 0 245643141 14431227904 1198883 33554432000 4194304 4196468 140736153458832 139858221697904 139858753260162 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9371648 140736153465941 140736153466121 140736153466121 140736153468879 0
[pid=14577/tid=14590] ppid=14574 vsize=14092996 memory=4793476 CPUtime=1.55 cores=0,2,4,6
/proc/14577/task/14590/stat : 14590 (java) S 14574 14577 11932 0 -1 1077944384 45194 0 0 0 149 6 0 0 20 0 15 0 245643141 14431227904 1198883 33554432000 4194304 4196468 140736153458832 139858220644848 139858753260162 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9371648 140736153465941 140736153466121 140736153466121 140736153468879 0
[pid=14577/tid=14591] ppid=14574 vsize=14092996 memory=4795532 CPUtime=0 cores=0,2,4,6
/proc/14577/task/14591/stat : 14591 (java) S 14574 14577 11932 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245643141 14431227904 1198883 33554432000 4194304 4196468 140736153458832 139858219592544 139858753259221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9371648 140736153465941 140736153466121 140736153466121 140736153468879 0
[pid=14577/tid=14592] ppid=14574 vsize=14092996 memory=4795532 CPUtime=1.4 cores=0,2,4,6
/proc/14577/task/14592/stat : 14592 (java) S 14574 14577 11932 0 -1 1077944384 1580 0 0 0 70 70 0 0 20 0 15 0 245643141 14431227904 1198883 33554432000 4194304 4196468 140736153458832 139858218539568 139858753260162 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9371648 140736153465941 140736153466121 140736153466121 140736153468879 0
Current children cumulated CPU time: 2508.65 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 4795532 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2453.4 s]
/proc/loadavg: 1.81 1.81 1.83 3/215 14820
/proc/meminfo: memFree=18839552/32770624 swapFree=67108368/67108860
[pid=14577] ppid=14574 vsize=14092996 memory=4795532 CPUtime=2520.09 cores=0,2,4,6
/proc/14577/stat : 14577 (java) S 14574 14577 11932 0 -1 1077944320 561938 0 0 0 251677 332 0 0 20 0 15 0 245643135 14431227904 1198883 33554432000 4194304 4196468 140736153458832 140736153441376 139858753249015 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 9371648 140736153465941 140736153466121 140736153466121 140736153468879 0
/proc/14577/statm: 3523249 1198883 3629 1 0 3485321 0
[pid=14577/tid=14579] ppid=14574 vsize=14092996 memory=1160 CPUtime=2432.88 cores=0,2,4,6
/proc/14577/task/14579/stat : 14579 (java) R 14574 14577 11932 0 -1 4202560 274107 0 0 0 243195 93 0 0 20 0 15 0 245643135 14431227904 1198883 33554432000 4194304 4196468 140736153458832 139858757486048 139858385627630 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9371648 140736153465941 140736153466121 140736153466121 140736153468879 0
[pid=14577/tid=14580] ppid=14574 vsize=14092996 memory=1764 CPUtime=18.37 cores=0,2,4,6
/proc/14577/task/14580/stat : 14580 (java) S 14574 14577 11932 0 -1 1077944384 37033 0 0 0 1795 42 0 0 20 0 15 0 245643136 14431227904 1198883 33554432000 4194304 4196468 140736153458832 139858705869840 139858753259221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9371648 140736153465941 140736153466121 140736153466121 140736153468879 0
[pid=14577/tid=14581] ppid=14574 vsize=14092996 memory=1616 CPUtime=18.38 cores=0,2,4,6
/proc/14577/task/14581/stat : 14581 (java) S 14574 14577 11932 0 -1 1077944384 33397 0 0 0 1800 38 0 0 20 0 15 0 245643136 14431227904 1198883 33554432000 4194304 4196468 140736153458832 139858704817296 139858753259221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9371648 140736153465941 140736153466121 140736153466121 140736153468879 0
[pid=14577/tid=14582] ppid=14574 vsize=14092996 memory=756 CPUtime=18.43 cores=0,2,4,6
/proc/14577/task/14582/stat : 14582 (java) S 14574 14577 11932 0 -1 1077944384 38639 0 0 0 1801 42 0 0 20 0 15 0 245643136 14431227904 1198883 33554432000 4194304 4196468 140736153458832 139858703764240 139858753259221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9371648 140736153465941 140736153466121 140736153466121 140736153468879 0
[pid=14577/tid=14583] ppid=14574 vsize=14092996 memory=9168 CPUtime=18.39 cores=0,2,4,6
/proc/14577/task/14583/stat : 14583 (java) S 14574 14577 11932 0 -1 1077944384 41020 0 0 0 1799 40 0 0 20 0 15 0 245643136 14431227904 1198883 33554432000 4194304 4196468 140736153458832 139858702711696 139858753259221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9371648 140736153465941 140736153466121 140736153466121 140736153468879 0
[pid=14577/tid=14584] ppid=14574 vsize=14092996 memory=872 CPUtime=1.74 cores=0,2,4,6
/proc/14577/task/14584/stat : 14584 (java) S 14574 14577 11932 0 -1 1077944384 26110 0 0 0 167 7 0 0 20 0 15 0 245643138 14431227904 1198883 33554432000 4194304 4196468 140736153458832 139858226960624 139858753260162 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9371648 140736153465941 140736153466121 140736153466121 140736153468879 0
[pid=14577/tid=14585] ppid=14574 vsize=14092996 memory=1920 CPUtime=0 cores=0,2,4,6
/proc/14577/task/14585/stat : 14585 (java) S 14574 14577 11932 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 15 0 245643138 14431227904 1198883 33554432000 4194304 4196468 140736153458832 139858225906912 139858753259221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9371648 140736153465941 140736153466121 140736153466121 140736153468879 0
[pid=14577/tid=14586] ppid=14574 vsize=14092996 memory=6272 CPUtime=0 cores=0,2,4,6
/proc/14577/task/14586/stat : 14586 (java) S 14574 14577 11932 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 15 0 245643138 14431227904 1198883 33554432000 4194304 4196468 140736153458832 139858224853760 139858753259221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9371648 140736153465941 140736153466121 140736153466121 140736153468879 0
[pid=14577/tid=14587] ppid=14574 vsize=14092996 memory=1224 CPUtime=0 cores=0,2,4,6
/proc/14577/task/14587/stat : 14587 (java) S 14574 14577 11932 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245643141 14431227904 1198883 33554432000 4194304 4196468 140736153458832 139858223802320 139858753267611 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9371648 140736153465941 140736153466121 140736153466121 140736153468879 0
[pid=14577/tid=14588] ppid=14574 vsize=14092996 memory=3920 CPUtime=4.54 cores=0,2,4,6
/proc/14577/task/14588/stat : 14588 (java) S 14574 14577 11932 0 -1 1077944384 31707 0 0 0 450 4 0 0 20 0 15 0 245643141 14431227904 1198883 33554432000 4194304 4196468 140736153458832 139858222750448 139858753260162 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9371648 140736153465941 140736153466121 140736153466121 140736153468879 0
[pid=14577/tid=14589] ppid=14574 vsize=14092996 memory=1288 CPUtime=4.28 cores=0,2,4,6
/proc/14577/task/14589/stat : 14589 (java) S 14574 14577 11932 0 -1 1077944384 31690 0 0 0 424 4 0 0 20 0 15 0 245643141 14431227904 1198883 33554432000 4194304 4196468 140736153458832 139858221697904 139858753260162 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9371648 140736153465941 140736153466121 140736153466121 140736153468879 0
[pid=14577/tid=14590] ppid=14574 vsize=14092996 memory=4795532 CPUtime=1.55 cores=0,2,4,6
/proc/14577/task/14590/stat : 14590 (java) S 14574 14577 11932 0 -1 1077944384 45194 0 0 0 149 6 0 0 20 0 15 0 245643141 14431227904 1198883 33554432000 4194304 4196468 140736153458832 139858220644848 139858753260162 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9371648 140736153465941 140736153466121 140736153466121 140736153468879 0
[pid=14577/tid=14591] ppid=14574 vsize=14092996 memory=3684 CPUtime=0 cores=0,2,4,6
/proc/14577/task/14591/stat : 14591 (java) S 14574 14577 11932 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245643141 14431227904 1198883 33554432000 4194304 4196468 140736153458832 139858219592544 139858753259221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9371648 140736153465941 140736153466121 140736153466121 140736153468879 0
[pid=14577/tid=14592] ppid=14574 vsize=14092996 memory=187 CPUtime=1.41 cores=0,2,4,6
/proc/14577/task/14592/stat : 14592 (java) S 14574 14577 11932 0 -1 1077944384 1580 0 0 0 71 70 0 0 20 0 15 0 245643141 14431227904 1198883 33554432000 4194304 4196468 140736153458832 139858218539568 139858753260162 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9371648 140736153465941 140736153466121 140736153466121 140736153468879 0
Current children cumulated CPU time: 2520.09 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 4795532 KiB

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

[startup+2453.44 s]
# the end of solver process 14577 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2516.78 s, system=3.34871 s

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

Child status: 143
Real time (s): 2453.44
CPU time (s): 2520.13
CPU user time (s): 2516.78
CPU system time (s): 3.34871
CPU usage (%): 102.719
Max. virtual memory (cumulated for all children) (KiB): 14092996
Max. memory (cumulated for all children) (KiB): 4795532

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.78
system time used= 3.34871
maximum resident set size= 4795812
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 562702
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3224
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 64442
involuntary context switches= 4416


# summary of solver processes directly reported to runsolver:
#   pid: 14577
#   total CPU time (s): 2520.13
#   total CPU user time (s): 2516.78
#   total CPU system time (s): 3.34871

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.9359 second user time and 22.8273 second system time

The end

Launcher Data 

Begin job on node148 at 2018-08-14 23:06:40
IDJOB=4308393
IDBENCH=141142
IDSOLVER=2792
FILE ID=node148/4308393-1534280800
RUNJOBID= node148-1534270838-13462
PBS_JOBID= 21038117
Free space on /tmp= 42612 MiB

SOLVER NAME= OscaR - Hybrid 2018-08-14
BENCH NAME= XCSP18/GraphColoring/GraphColoring-5-fullins-4_c18.xml
COMMAND LINE= java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 11000 --nbcore NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4308393-1534280800/watcher-4308393-1534280800 -o /tmp/evaluation-result-4308393-1534280800/solver-4308393-1534280800 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node148-1534270838-13462 --watchdog 2580  java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed 849262811 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4308393-1534280800.xml

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

MD5SUM BENCH= 9a110b3288dcdd83da8fcc132ac433c6
RANDOM SEED=849262811

node148.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.50
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.50
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.50
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.50
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:        18873420 kB
MemAvailable:   26977064 kB
Buffers:          160176 kB
Cached:          8149620 kB
SwapCached:            4 kB
Active:          9331056 kB
Inactive:        3952528 kB
Active(anon):    4927232 kB
Inactive(anon):    98752 kB
Active(file):    4403824 kB
Inactive(file):  3853776 kB
Unevictable:        7348 kB
Mlocked:            7348 kB
SwapTotal:      67108860 kB
SwapFree:       67108368 kB
Dirty:             36068 kB
Writeback:             0 kB
AnonPages:       5026160 kB
Mapped:            68068 kB
Shmem:             49588 kB
Slab:             303888 kB
SReclaimable:     274504 kB
SUnreclaim:        29384 kB
KernelStack:        3808 kB
PageTables:        15216 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    5958736 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   4823040 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= 42576 MiB
End job on node148 at 2018-08-14 23:47:33