Trace number 4291461

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-07-02SAT (TO)8 2400.11 2325.93

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.56	c version: 2018-07-02
0.66/0.56	c seed: 1982879828
0.66/0.56	c timeout: 2400
0.66/0.56	c memlimit: 11000
0.66/0.56	c nbcore: 4
0.66/0.59	c Parsing instance...
8.15/3.28	c Parsing done, starting first complete search...
8.83/3.55	o 1084
9.41/3.74	o 1083
9.88/3.93	o 1082
10.11/4.08	o 1081
10.36/4.22	o 1080
10.55/4.35	o 1079
10.71/4.48	o 1078
10.92/4.61	o 1077
11.06/4.74	o 1076
11.16/4.86	o 1075
11.26/4.99	o 1074
11.52/5.11	o 1073
11.61/5.24	o 1072
11.71/5.37	o 1071
11.91/5.51	o 1070
12.01/5.64	o 1069
12.11/5.78	o 1068
12.31/5.94	o 1067
12.42/6.08	o 1066
12.61/6.23	o 1065
12.71/6.37	o 1064
12.91/6.50	o 1063
13.01/6.62	o 1062
13.11/6.75	o 1061
13.22/6.88	o 1060
13.49/7.10	o 1059
13.86/7.23	o 1058
13.98/7.35	o 1057
14.08/7.47	o 1056
14.28/7.60	o 1055
14.39/7.73	o 1054
14.49/7.87	o 1053
14.70/8.01	o 1052
14.80/8.14	o 1051
14.89/8.28	o 1050
15.09/8.42	o 1049
15.19/8.55	o 1048
15.29/8.67	o 1047
15.39/8.79	o 1046
15.61/8.92	o 1045
15.74/9.04	o 1044
15.84/9.17	o 1043
15.93/9.28	o 1042
16.18/9.41	o 1041
16.30/9.53	o 1040
16.40/9.66	o 1039
16.50/9.78	o 1038
16.72/9.92	o 1037
16.83/10.05	o 1036
16.93/10.18	o 1035
17.12/10.32	o 1034
17.27/10.45	o 1033
17.37/10.58	o 1032
17.57/10.71	o 1031
17.67/10.83	o 1030
17.77/10.95	o 1029
17.88/11.07	o 1028
17.99/11.19	o 1027
18.56/11.40	o 1026
18.66/11.53	o 1025
18.76/11.65	o 1024
18.86/11.76	o 1023
18.96/11.89	o 1022
19.17/12.01	o 1021
19.27/12.14	o 1020
19.36/12.27	o 1019
19.56/12.40	o 1018
19.67/12.53	o 1017
19.77/12.67	o 1016
19.87/12.79	o 1015
20.07/12.91	o 1014
20.18/13.03	o 1013
20.28/13.14	o 1012
20.37/13.26	o 1011
20.48/13.38	o 1010
20.58/13.49	o 1009
20.78/13.61	o 1008
20.88/13.73	o 1007
20.98/13.85	o 1006
21.08/13.97	o 1005
21.19/14.09	o 1004
21.38/14.21	o 1003
21.48/14.34	o 1002
21.58/14.47	o 1001
21.78/14.61	o 1000
21.89/14.75	o 999
22.02/14.88	o 998
22.23/15.01	o 997
22.34/15.12	o 996
22.43/15.24	o 995
22.53/15.36	o 994
22.63/15.48	o 993
22.73/15.59	o 992
22.93/15.71	o 991
23.06/15.83	o 990
23.16/15.95	o 989
23.27/16.07	o 988
23.37/16.18	o 987
23.56/16.31	o 986
23.66/16.45	o 985
23.75/16.58	o 984
23.96/16.72	o 983
24.05/16.85	o 982
24.16/16.99	o 981
24.37/17.13	o 980
24.46/17.25	o 979
24.55/17.37	o 978
24.76/17.50	o 977
24.86/17.62	o 976
24.96/17.75	o 975
25.06/17.86	o 974
25.16/17.98	o 973
25.27/18.10	o 972
25.46/18.22	o 971
25.56/18.34	o 970
25.66/18.47	o 969
25.86/18.61	o 968
25.97/18.74	o 967
26.07/18.88	o 966
26.27/19.02	o 965
26.38/19.15	o 964
26.47/19.28	o 963
26.81/19.49	o 962
27.16/19.61	o 961
27.26/19.72	o 960
27.36/19.84	o 959
27.46/19.95	o 958
27.57/20.07	o 957
27.68/20.18	o 956
27.87/20.30	o 955
27.97/20.41	o 954
28.07/20.53	o 953
28.17/20.65	o 952
28.27/20.77	o 951
28.47/20.90	o 950
28.58/21.03	o 949
28.68/21.15	o 948
28.77/21.28	o 947
28.97/21.40	o 946
29.07/21.53	o 945
29.17/21.64	o 944
29.27/21.75	o 943
29.37/21.86	o 942
29.47/21.97	o 941
29.58/22.09	o 940
29.77/22.20	o 939
29.87/22.32	o 938
29.97/22.43	o 937
30.07/22.54	o 936
30.17/22.66	o 935
30.27/22.78	o 934
30.47/22.90	o 933
30.58/23.02	o 932
30.68/23.15	o 931
30.77/23.28	o 930
30.87/23.39	o 929
31.07/23.51	o 928
31.17/23.63	o 927
31.27/23.74	o 926
31.37/23.85	o 925
31.47/23.96	o 924
31.58/24.08	o 923
31.68/24.19	o 922
31.87/24.30	o 921
31.98/24.41	o 920
32.08/24.53	o 919
32.18/24.64	o 918
32.28/24.75	o 917
32.38/24.87	o 916
32.48/25.00	o 915
32.69/25.12	o 914
32.78/25.25	o 913
32.88/25.38	o 912
33.08/25.50	o 911
33.18/25.63	o 910
33.28/25.74	o 909
33.38/25.86	o 908
33.48/25.97	o 907
33.59/26.08	o 906
33.69/26.18	o 905
33.88/26.30	o 904
33.98/26.41	o 903
34.08/26.52	o 902
34.18/26.63	o 901
34.28/26.74	o 900
34.38/26.85	o 899
34.48/26.97	o 898
34.84/27.19	o 897
35.14/27.32	o 896
35.24/27.44	o 895
35.34/27.56	o 894
35.44/27.70	o 893
35.64/27.82	o 892
35.74/27.93	o 891
35.85/28.04	o 890
35.95/28.16	o 889
36.04/28.27	o 888
36.14/28.38	o 887
36.24/28.49	o 886
36.44/28.60	o 885
36.54/28.71	o 884
36.64/28.82	o 883
36.74/28.93	o 882
36.85/29.04	o 881
36.95/29.15	o 880
37.04/29.26	o 879
37.14/29.38	o 878
37.24/29.49	o 877
37.44/29.60	o 876
37.54/29.71	o 875
37.64/29.82	o 874
37.74/29.94	o 873
37.85/30.06	o 872
37.95/30.19	o 871
38.14/30.31	o 870
38.24/30.43	o 869
38.34/30.55	o 868
38.44/30.66	o 867
38.54/30.76	o 866
38.64/30.87	o 865
38.74/30.99	o 864
38.85/31.10	o 863
39.04/31.20	o 862
39.14/31.32	o 861
39.24/31.44	o 860
39.34/31.55	o 859
39.44/31.66	o 858
39.54/31.77	o 857
39.64/31.88	o 856
39.74/31.98	o 855
39.85/32.09	o 854
40.05/32.20	o 853
40.15/32.31	o 852
40.25/32.43	o 851
40.35/32.54	o 850
40.45/32.65	o 849
40.55/32.77	o 848
40.65/32.89	o 847
40.86/33.01	o 846
40.96/33.14	o 845
41.05/33.26	o 844
41.15/33.38	o 843
41.25/33.49	o 842
41.35/33.59	o 841
41.55/33.70	o 840
41.65/33.81	o 839
41.75/33.92	o 838
41.86/34.03	o 837
41.96/34.13	o 836
42.06/34.24	o 835
42.16/34.34	o 834
42.26/34.45	o 833
42.36/34.56	o 832
42.46/34.67	o 831
42.56/34.78	o 830
42.67/34.89	o 829
42.88/35.01	o 828
42.99/35.12	o 827
43.08/35.23	o 826
43.18/35.34	o 825
43.27/35.44	o 824
43.38/35.57	o 823
43.47/35.69	o 822
43.67/35.81	o 821
43.77/35.94	o 820
43.88/36.07	o 819
43.98/36.19	o 818
44.17/36.31	o 817
44.28/36.42	o 816
44.37/36.53	o 815
44.48/36.63	o 814
44.57/36.75	o 813
44.67/36.86	o 812
44.78/36.96	o 811
44.88/37.08	o 810
45.08/37.20	o 809
45.17/37.31	o 808
45.28/37.42	o 807
45.38/37.52	o 806
45.47/37.63	o 805
45.57/37.75	o 804
45.67/37.86	o 803
45.78/37.97	o 802
45.89/38.08	o 801
45.98/38.19	o 800
46.07/38.30	o 799
46.27/38.41	o 798
46.38/38.51	o 797
46.47/38.62	o 796
46.58/38.73	o 795
46.68/38.84	o 794
49.35/39.88	o 793
49.45/39.98	o 792
49.56/40.09	o 791
49.75/40.20	o 790
49.85/40.31	o 789
49.95/40.41	o 788
50.05/40.52	o 787
50.15/40.62	o 786
50.25/40.73	o 785
50.35/40.84	o 784
50.45/40.94	o 783
50.56/41.05	o 782
50.66/41.15	o 781
50.75/41.26	o 780
50.85/41.36	o 779
50.95/41.47	o 778
51.05/41.57	o 777
51.15/41.68	o 776
51.25/41.78	o 775
51.35/41.88	o 774
51.45/41.99	o 773
51.56/42.10	o 772
51.75/42.20	o 771
51.85/42.30	o 770
51.95/42.40	o 769
52.05/42.50	o 768
52.15/42.60	o 767
52.25/42.71	o 766
52.35/42.81	o 765
52.45/42.92	o 764
52.56/43.02	o 763
52.66/43.13	o 762
52.75/43.23	o 761
52.85/43.33	o 760
52.95/43.44	o 759
53.05/43.54	o 758
53.15/43.65	o 757
53.25/43.75	o 756
53.35/43.85	o 755
53.45/43.95	o 754
53.56/44.05	o 753
53.66/44.15	o 752
53.75/44.25	o 751
53.85/44.35	o 750
53.95/44.45	o 749
54.05/44.55	o 748
54.15/44.66	o 747
54.25/44.78	o 746
54.35/44.89	o 745
54.56/45.01	o 744
54.66/45.13	o 743
54.75/45.24	o 742
54.85/45.35	o 741
54.95/45.46	o 740
55.05/45.57	o 739
55.15/45.67	o 738
55.25/45.78	o 737
55.35/45.88	o 736
55.45/45.98	o 735
55.56/46.09	o 734
55.66/46.19	o 733
55.75/46.29	o 732
55.85/46.39	o 731
55.95/46.49	o 730
56.05/46.59	o 729
56.15/46.70	o 728
56.25/46.79	o 727
56.35/46.89	o 726
56.45/47.00	o 725
56.56/47.10	o 724
56.66/47.19	o 723
56.75/47.30	o 722
56.85/47.40	o 721
56.95/47.50	o 720
57.15/47.60	o 719
57.25/47.70	o 718
57.35/47.80	o 717
57.45/47.90	o 716
57.45/48.00	o 715
57.56/48.10	o 714
57.75/48.20	o 713
57.85/48.30	o 712
57.95/48.40	o 711
58.05/48.50	o 710
58.05/48.60	o 709
58.15/48.69	o 708
58.25/48.79	o 707
58.35/48.89	o 706
58.45/48.99	o 705
58.56/49.10	o 704
58.66/49.20	o 703
58.85/49.30	o 702
58.95/49.40	o 701
59.06/49.51	o 700
59.16/49.61	o 699
59.26/49.71	o 698
59.36/49.81	o 697
59.46/49.91	o 696
59.57/50.01	o 695
59.67/50.11	o 694
59.76/50.20	o 693
59.86/50.30	o 692
60.00/50.49	o 691
60.32/50.59	o 690
60.42/50.68	o 689
60.52/50.78	o 688
60.62/50.88	o 687
60.72/50.98	o 686
60.83/51.07	o 685
60.93/51.17	o 684
61.02/51.27	o 683
61.12/51.37	o 682
61.22/51.46	o 681
61.32/51.56	o 680
61.42/51.66	o 679
61.52/51.75	o 678
61.62/51.85	o 677
61.72/51.95	o 676
61.83/52.05	o 675
61.93/52.15	o 674
62.02/52.24	o 673
62.12/52.34	o 672
62.22/52.44	o 671
62.32/52.53	o 670
62.42/52.63	o 669
62.52/52.73	o 668
62.62/52.83	o 667
62.72/52.92	o 666
62.83/53.02	o 665
62.93/53.11	o 664
63.02/53.21	o 663
63.12/53.31	o 662
63.23/53.41	o 661
63.33/53.50	o 660
63.33/53.59	o 659
63.43/53.69	o 658
63.53/53.79	o 657
63.63/53.88	o 656
63.73/53.98	o 655
63.83/54.08	o 654
63.93/54.17	o 653
64.03/54.27	o 652
64.13/54.36	o 651
64.23/54.46	o 650
64.33/54.56	o 649
64.43/54.65	o 648
64.53/54.75	o 647
64.63/54.85	o 646
64.73/54.94	o 645
64.84/55.04	o 644
64.94/55.13	o 643
65.03/55.23	o 642
65.13/55.32	o 641
65.23/55.42	o 640
65.33/55.51	o 639
65.43/55.61	o 638
65.53/55.70	o 637
65.63/55.80	o 636
65.63/55.89	o 635
65.73/55.98	o 634
65.84/56.08	o 633
65.94/56.17	o 632
66.03/56.27	o 631
66.13/56.37	o 630
66.23/56.46	o 629
66.33/56.55	o 628
66.43/56.64	o 627
66.53/56.74	o 626
66.63/56.83	o 625
66.73/56.93	o 624
66.84/57.02	o 623
66.94/57.12	o 622
67.03/57.21	o 621
67.13/57.30	o 620
67.13/57.40	o 619
67.23/57.49	o 618
67.33/57.58	o 617
67.43/57.67	o 616
67.53/57.76	o 615
67.63/57.85	o 614
67.73/57.94	o 613
67.83/58.04	o 612
67.94/58.13	o 611
68.03/58.22	o 610
68.13/58.32	o 609
68.23/58.41	o 608
68.33/58.51	o 607
68.43/58.60	o 606
68.43/58.69	o 605
68.53/58.78	o 604
68.63/58.87	o 603
68.73/58.97	o 602
68.84/59.06	o 601
68.94/59.16	o 600
69.03/59.25	o 599
69.13/59.34	o 598
69.23/59.43	o 597
69.33/59.52	o 596
69.43/59.62	o 595
69.53/59.71	o 594
69.63/59.81	o 593
69.73/59.90	o 592
69.73/59.99	o 591
69.84/60.09	o 590
69.94/60.18	o 589
70.03/60.27	o 588
70.13/60.36	o 587
70.23/60.45	o 586
70.33/60.55	o 585
70.43/60.64	o 584
70.53/60.74	o 583
70.63/60.83	o 582
70.74/60.92	o 581
70.85/61.02	o 580
70.94/61.12	o 579
71.42/61.31	o 578
71.52/61.41	o 577
71.52/61.50	o 576
71.62/61.58	o 575
71.72/61.68	o 574
71.82/61.77	o 573
71.93/61.86	o 572
72.03/61.95	o 571
72.14/62.05	o 570
72.24/62.13	o 569
72.33/62.22	o 568
72.43/62.32	o 567
72.53/62.41	o 566
72.53/62.50	o 565
72.63/62.58	o 564
72.73/62.67	o 563
72.83/62.77	o 562
72.93/62.86	o 561
73.03/62.95	o 560
73.14/63.04	o 559
73.24/63.13	o 558
73.33/63.22	o 557
73.43/63.31	o 556
73.53/63.41	o 555
73.53/63.50	o 554
73.63/63.58	o 553
73.73/63.67	o 552
73.83/63.76	o 551
73.93/63.85	o 550
74.03/63.94	o 549
74.14/64.03	o 548
74.24/64.12	o 547
74.33/64.22	o 546
74.43/64.30	o 545
74.43/64.40	o 544
74.53/64.49	o 543
74.63/64.57	o 542
74.73/64.66	o 541
74.83/64.75	o 540
74.93/64.84	o 539
75.03/64.93	o 538
75.14/65.02	o 537
75.14/65.10	o 536
75.24/65.19	o 535
75.33/65.28	o 534
75.43/65.37	o 533
75.53/65.46	o 532
75.63/65.55	o 531
75.73/65.64	o 530
75.83/65.73	o 529
75.93/65.81	o 528
76.03/65.90	o 527
76.03/65.99	o 526
76.15/66.08	o 525
76.25/66.17	o 524
76.34/66.26	o 523
76.44/66.35	o 522
76.54/66.44	o 521
76.64/66.52	o 520
76.74/66.61	o 519
76.84/66.70	o 518
76.84/66.78	o 517
76.94/66.87	o 516
77.04/66.95	o 515
77.15/67.04	o 514
77.25/67.13	o 513
77.34/67.22	o 512
77.44/67.31	o 511
77.44/67.39	o 510
77.54/67.48	o 509
77.64/67.57	o 508
77.74/67.65	o 507
77.84/67.74	o 506
77.94/67.83	o 505
78.04/67.91	o 504
78.04/67.99	o 503
78.15/68.08	o 502
78.25/68.17	o 501
78.34/68.26	o 500
78.44/68.34	o 499
78.54/68.44	o 498
78.64/68.52	o 497
78.74/68.61	o 496
78.74/68.69	o 495
78.84/68.78	o 494
78.94/68.86	o 493
79.04/68.95	o 492
79.15/69.03	o 491
79.25/69.12	o 490
79.34/69.20	o 489
79.34/69.28	o 488
79.44/69.37	o 487
79.54/69.45	o 486
79.64/69.54	o 485
79.74/69.62	o 484
79.84/69.70	o 483
79.84/69.79	o 482
79.94/69.87	o 481
80.04/69.96	o 480
80.15/70.04	o 479
80.25/70.12	o 478
80.34/70.21	o 477
80.34/70.29	o 476
80.44/70.37	o 475
80.54/70.46	o 474
80.64/70.54	o 473
80.74/70.63	o 472
80.84/70.71	o 471
80.84/70.79	o 470
80.94/70.88	o 469
81.04/70.96	o 468
81.15/71.05	o 467
81.93/71.30	o 466
81.93/71.38	o 465
82.03/71.47	o 464
82.13/71.55	o 463
82.23/71.63	o 462
82.33/71.71	o 461
82.43/71.80	o 460
82.43/71.88	o 459
82.53/71.97	o 458
82.64/72.05	o 457
82.74/72.13	o 456
82.83/72.21	o 455
82.83/72.29	o 454
82.93/72.37	o 453
83.03/72.46	o 452
83.13/72.54	o 451
83.23/72.62	o 450
83.33/72.71	o 449
83.33/72.79	o 448
83.43/72.87	o 447
83.53/72.95	o 446
83.64/73.03	o 445
83.75/73.12	o 444
83.84/73.20	o 443
83.84/73.28	o 442
83.94/73.36	o 441
84.04/73.45	o 440
84.14/73.53	o 439
84.24/73.61	o 438
84.24/73.69	o 437
84.34/73.77	o 436
84.44/73.86	o 435
84.54/73.94	o 434
84.65/74.02	o 433
84.65/74.10	o 432
84.75/74.19	o 431
84.84/74.27	o 430
84.94/74.35	o 429
85.04/74.43	o 428
85.14/74.51	o 427
85.14/74.60	o 426
85.24/74.67	o 425
85.34/74.76	o 424
85.44/74.84	o 423
85.54/74.92	o 422
85.54/75.00	o 421
85.65/75.08	o 420
85.75/75.15	o 419
85.84/75.23	o 418
85.94/75.31	o 417
85.94/75.39	o 416
86.04/75.47	o 415
86.14/75.55	o 414
86.24/75.63	o 413
86.34/75.71	o 412
86.34/75.79	o 411
86.44/75.87	o 410
86.54/75.95	o 409
86.65/76.02	o 408
86.65/76.10	o 407
86.75/76.18	o 406
86.84/76.26	o 405
86.94/76.34	o 404
87.04/76.42	o 403
87.04/76.50	o 402
87.14/76.57	o 401
87.24/76.65	o 400
87.34/76.72	o 399
87.44/76.80	o 398
87.44/76.88	o 397
87.54/76.95	o 396
87.65/77.04	o 395
87.75/77.11	o 394
87.75/77.19	o 393
87.84/77.27	o 392
87.94/77.35	o 391
88.04/77.43	o 390
88.14/77.50	o 389
88.14/77.58	o 388
88.24/77.66	o 387
88.34/77.74	o 386
88.44/77.82	o 385
88.54/77.90	o 384
88.54/77.98	o 383
88.65/78.05	o 382
88.75/78.13	o 381
88.84/78.20	o 380
88.84/78.28	o 379
88.94/78.36	o 378
89.04/78.44	o 377
89.14/78.52	o 376
89.24/78.60	o 375
89.24/78.68	o 374
89.34/78.75	o 373
89.44/78.83	o 372
89.54/78.91	o 371
89.54/78.99	o 370
89.65/79.06	o 369
89.75/79.14	o 368
89.84/79.22	o 367
89.94/79.30	o 366
89.94/79.37	o 365
90.04/79.45	o 364
90.14/79.52	o 363
90.24/79.60	o 362
90.24/79.67	o 361
90.34/79.75	o 360
90.44/79.83	o 359
90.54/79.91	o 358
90.54/79.98	o 357
90.65/80.06	o 356
90.75/80.13	o 355
91.20/80.38	o 354
91.54/80.45	o 353
91.64/80.53	o 352
91.74/80.61	o 351
91.74/80.69	o 350
91.84/80.76	o 349
91.94/80.84	o 348
92.04/80.91	o 347
92.04/80.99	o 346
92.15/81.06	o 345
92.25/81.13	o 344
92.34/81.21	o 343
92.34/81.29	o 342
92.44/81.36	o 341
92.54/81.43	o 340
92.64/81.51	o 339
92.64/81.58	o 338
92.74/81.66	o 337
92.84/81.73	o 336
92.94/81.80	o 335
92.94/81.87	o 334
93.04/81.95	o 333
93.15/82.02	o 332
93.15/82.10	o 331
93.25/82.17	o 330
93.34/82.25	o 329
93.44/82.32	o 328
93.54/82.40	o 327
93.54/82.47	o 326
93.64/82.54	o 325
93.74/82.62	o 324
93.84/82.70	o 323
93.84/82.77	o 322
93.94/82.84	o 321
94.04/82.91	o 320
94.04/82.99	o 319
94.15/83.06	o 318
94.25/83.13	o 317
94.34/83.21	o 316
94.34/83.28	o 315
94.44/83.35	o 314
94.54/83.43	o 313
94.64/83.50	o 312
94.64/83.58	o 311
94.74/83.65	o 310
94.84/83.72	o 309
94.94/83.80	o 308
94.94/83.87	o 307
95.04/83.94	o 306
95.15/84.01	o 305
95.15/84.08	o 304
95.25/84.16	o 303
95.34/84.23	o 302
95.44/84.30	o 301
95.44/84.37	o 300
95.54/84.44	o 299
95.64/84.51	o 298
95.64/84.58	o 297
95.74/84.66	o 296
95.84/84.75	o 295
95.94/84.82	o 294
95.94/84.89	o 293
96.04/84.96	o 292
96.15/85.03	o 291
96.15/85.10	o 290
96.25/85.17	o 289
96.34/85.25	o 288
96.44/85.32	o 287
96.44/85.39	o 286
96.54/85.46	o 285
96.64/85.53	o 284
96.74/85.60	o 283
96.74/85.67	o 282
96.84/85.74	o 281
96.94/85.81	o 280
96.94/85.88	o 279
97.04/85.95	o 278
97.15/86.02	o 277
97.15/86.09	o 276
97.25/86.16	o 275
97.34/86.23	o 274
97.44/86.30	o 273
97.44/86.37	o 272
97.54/86.44	o 271
97.64/86.51	o 270
97.64/86.58	o 269
97.74/86.65	o 268
97.84/86.71	o 267
97.84/86.78	o 266
97.94/86.85	o 265
98.04/86.92	o 264
98.04/86.99	o 263
98.15/87.06	o 262
98.25/87.13	o 261
98.34/87.20	o 260
98.34/87.27	o 259
98.44/87.34	o 258
98.54/87.41	o 257
98.54/87.49	o 256
98.64/87.56	o 255
98.74/87.64	o 254
98.84/87.72	o 253
98.84/87.80	o 252
98.94/87.87	o 251
99.04/87.95	o 250
99.15/88.02	o 249
99.15/88.10	o 248
99.25/88.18	o 247
99.34/88.25	o 246
99.44/88.32	o 245
99.44/88.39	o 244
103.90/90.07	o 243
104.00/90.14	o 242
104.09/90.21	o 241
104.09/90.28	o 240
104.19/90.34	o 239
104.29/90.42	o 238
104.29/90.48	o 237
104.39/90.55	o 236
104.49/90.62	o 235
104.49/90.69	o 234
104.59/90.75	o 233
104.69/90.82	o 232
104.69/90.88	o 231
104.79/90.95	o 230
104.90/91.02	o 229
104.90/91.09	o 228
105.00/91.16	o 227
105.09/91.23	o 226
105.09/91.29	o 225
105.19/91.36	o 224
105.29/91.43	o 223
105.29/91.49	o 222
105.39/91.56	o 221
105.49/91.63	o 220
105.49/91.69	o 219
105.59/91.76	o 218
105.69/91.83	o 217
105.69/91.89	o 216
105.79/91.96	o 215
105.89/92.03	o 214
105.89/92.09	o 213
105.99/92.15	o 212
106.09/92.22	o 211
106.09/92.28	o 210
106.19/92.35	o 209
106.29/92.41	o 208
106.29/92.48	o 207
106.39/92.55	o 206
106.49/92.62	o 205
106.49/92.68	o 204
106.59/92.75	o 203
106.69/92.81	o 202
106.69/92.88	o 201
106.79/92.94	o 200
106.90/93.01	o 199
106.90/93.07	o 198
107.00/93.14	o 197
107.09/93.20	o 196
107.09/93.27	o 195
107.19/93.34	o 194
107.29/93.41	o 193
107.29/93.47	o 192
107.39/93.54	o 191
107.49/93.60	o 190
107.49/93.67	o 189
107.59/93.73	o 188
107.69/93.80	o 187
107.69/93.86	o 186
107.79/93.93	o 185
107.79/93.99	o 184
107.90/94.06	o 183
108.00/94.12	o 182
108.00/94.19	o 181
108.09/94.25	o 180
108.19/94.32	o 179
108.19/94.38	o 178
108.29/94.44	o 177
108.39/94.50	o 176
108.39/94.56	o 175
108.49/94.63	o 174
108.49/94.69	o 173
108.59/94.76	o 172
108.69/94.82	o 171
108.69/94.88	o 170
108.79/94.94	o 169
108.90/95.01	o 168
108.90/95.07	o 167
109.00/95.13	o 166
109.00/95.19	o 165
109.09/95.25	o 164
109.19/95.31	o 163
109.19/95.38	o 162
109.29/95.45	o 161
109.39/95.51	o 160
109.39/95.57	o 159
109.49/95.63	o 158
109.59/95.70	o 157
109.59/95.76	o 156
109.69/95.82	o 155
109.69/95.89	o 154
109.79/95.95	o 153
109.90/96.01	o 152
109.90/96.08	o 151
110.00/96.14	o 150
110.09/96.20	o 149
110.09/96.26	o 148
110.19/96.32	o 147
110.19/96.38	o 146
110.29/96.45	o 145
110.39/96.51	o 144
110.39/96.57	o 143
110.49/96.63	o 142
110.49/96.69	o 141
110.59/96.75	o 140
110.69/96.82	o 139
110.69/96.88	o 138
110.79/96.94	o 137
110.79/97.00	o 136
110.90/97.06	o 135
111.00/97.12	o 134
111.00/97.18	o 133
111.09/97.24	o 132
111.19/97.31	o 131
111.79/97.51	o 130
111.79/97.57	o 129
111.89/97.63	o 128
111.89/97.69	o 127
111.99/97.74	o 126
111.99/97.80	o 125
112.09/97.85	o 124
112.19/97.91	o 123
112.19/97.97	o 122
112.30/98.02	o 121
112.30/98.08	o 120
112.40/98.13	o 119
112.40/98.19	o 118
112.49/98.25	o 117
112.59/98.31	o 116
112.59/98.36	o 115
112.69/98.42	o 114
112.69/98.47	o 113
112.79/98.53	o 112
112.79/98.58	o 111
112.89/98.64	o 110
112.89/98.69	o 109
112.99/98.74	o 108
113.09/98.80	o 107
113.09/98.86	o 106
113.19/98.92	o 105
113.19/98.97	o 104
113.31/99.02	o 103
113.31/99.08	o 102
113.41/99.14	o 101
113.41/99.19	o 100
113.50/99.24	o 99
113.60/99.30	o 98
113.60/99.35	o 97
113.70/99.41	o 96
113.70/99.46	o 95
113.80/99.52	o 94
113.80/99.57	o 93
113.90/99.63	o 92
113.90/99.68	o 91
114.00/99.73	o 90
114.00/99.79	o 89
114.10/99.84	o 88
114.10/99.89	o 87
114.20/99.94	o 86
114.20/100.00	o 85
114.31/100.05	o 84
114.41/100.11	o 83
114.41/100.16	o 82
114.50/100.21	o 81
114.50/100.27	o 80
114.60/100.32	o 79
114.60/100.37	o 78
114.70/100.42	o 77
114.70/100.48	o 76
114.80/100.53	o 75
114.80/100.58	o 74
114.90/100.63	o 73
114.90/100.69	o 72
115.00/100.74	o 71
115.00/100.79	o 70
115.10/100.84	o 69
115.10/100.89	o 68
115.20/100.94	o 67
115.20/100.99	o 66
115.31/101.05	o 65
115.31/101.10	o 64
115.41/101.15	o 63
115.50/101.20	o 62
115.50/101.25	o 61
115.61/101.31	o 60
115.61/101.36	o 59
115.71/101.41	o 58
115.71/101.46	o 57
115.81/101.51	o 56
115.81/101.56	o 55
115.91/101.61	o 54
115.91/101.66	o 53
116.01/101.71	o 52
116.01/101.76	o 51
116.11/101.81	o 50
116.11/101.87	o 49
116.21/101.92	o 48
116.21/101.97	o 47
116.32/102.01	o 46
116.32/102.07	o 45
116.42/102.11	o 44
116.42/102.17	o 43
116.51/102.21	o 42
116.51/102.26	o 41
116.61/102.31	o 40
116.61/102.36	o 39
116.71/102.41	o 38
116.71/102.46	o 37
116.81/102.51	o 36
116.81/102.56	o 35
116.91/102.61	o 34
116.91/102.66	o 33
117.01/102.71	o 32
117.01/102.75	o 31
117.11/102.80	o 30
117.11/102.85	o 29
117.21/102.90	o 28
117.21/102.95	o 27
117.21/103.00	o 26
117.32/103.04	o 25
117.32/103.09	o 24
117.42/103.14	o 23
117.42/103.19	o 22
117.51/103.24	o 21
117.51/103.28	o 20
117.61/103.33	o 19
117.61/103.38	o 18
117.71/103.42	o 17
117.71/103.47	o 16
117.81/103.52	o 15
117.81/103.56	o 14
117.91/103.61	o 13
117.91/103.66	o 12
118.01/103.71	o 11
118.01/103.75	o 10
118.19/103.81	o 9
118.44/104.01	o 8
224.88/207.81	c First complete search done, starting ALNS search...
2400.07/2325.90	s SATISFIABLE
2400.07/2325.90	v <instantiation>
2400.07/2325.90	v 	<list>
2400.07/2325.90	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]
2400.07/2325.90	v 	</list>
2400.07/2325.90	v 	<values>
2400.07/2325.90	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 
2400.07/2325.90	v 	</values>
2400.07/2325.90	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 (7878 MiB free)
  memory of node 1: 16384 MiB (855 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4291461-1532236061/watcher-4291461-1532236061 -o /tmp/evaluation-result-4291461-1532236061/solver-4291461-1532236061 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node151-1532226532-29116 --watchdog 2560 java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed 1982879828 --timelimit 2400 --memlimit 11000 --nbcore 4 HOME/instance-4291461-1532236061.xml 

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

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

solver pid=30297, runsolver pid=30294

[startup+0.100916 s]*
/proc/loadavg: 3.37 2.12 1.83 6/215 30312
/proc/meminfo: memFree=8926416/32770624 swapFree=67108860/67108860
[pid=30297] ppid=30294 vsize=14082740 memory=32372 CPUtime=0.11 cores=0,2,4,6
/proc/30297/stat : 30297 (java) S 30294 30297 29085 0 -1 1077944320 7503 0 0 0 11 0 0 0 20 0 15 0 41169272 14420725760 8093 33554432000 4194304 4196468 140736920410448 140736920392992 140539547188983 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 14643200 140736920417364 140736920417545 140736920417545 140736920420303 0
/proc/30297/statm: 3520685 8093 3159 1 0 3482761 0
[pid=30297/tid=30299] ppid=30294 vsize=14082740 memory=-8629632960754388608 CPUtime=0.09 cores=0,2,4,6
/proc/30297/task/30299/stat : 30299 (java) R 30294 30297 29085 0 -1 4202560 5542 0 0 0 9 0 0 0 20 0 15 0 41169272 14420725760 8093 33554432000 4194304 4196468 140736920410448 140539551388104 140539547210909 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14643200 140736920417364 140736920417545 140736920417545 140736920420303 0
[pid=30297/tid=30300] ppid=30294 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30297/task/30300/stat : 30300 (java) S 30294 30297 29085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41169273 14420725760 8093 33554432000 4194304 4196468 140736920410448 140539519032336 140539547199189 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14643200 140736920417364 140736920417545 140736920417545 140736920420303 0
[pid=30297/tid=30301] ppid=30294 vsize=14082740 memory=140330954323584 CPUtime=0 cores=0,2,4,6
/proc/30297/task/30301/stat : 30301 (java) S 30294 30297 29085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41169273 14420725760 8093 33554432000 4194304 4196468 140736920410448 140539141659792 140539547199189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14643200 140736920417364 140736920417545 140736920417545 140736920420303 0
[pid=30297/tid=30302] ppid=30294 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30297/task/30302/stat : 30302 (java) S 30294 30297 29085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41169273 14420725760 8093 33554432000 4194304 4196468 140736920410448 140539140606736 140539547199189 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14643200 140736920417364 140736920417545 140736920417545 140736920420303 0
[pid=30297/tid=30303] ppid=30294 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30297/task/30303/stat : 30303 (java) S 30294 30297 29085 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 41169273 14420725760 8093 33554432000 4194304 4196468 140736920410448 140539139554192 140539547199189 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14643200 140736920417364 140736920417545 140736920417545 140736920420303 0
[pid=30297/tid=30304] ppid=30294 vsize=14082740 memory=140330954323584 CPUtime=0 cores=0,2,4,6
/proc/30297/task/30304/stat : 30304 (java) S 30294 30297 29085 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 41169274 14420725760 8093 33554432000 4194304 4196468 140736920410448 140538459547888 140539547200130 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14643200 140736920417364 140736920417545 140736920417545 140736920420303 0
[pid=30297/tid=30305] ppid=30294 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30297/task/30305/stat : 30305 (java) S 30294 30297 29085 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 41169275 14420725760 8093 33554432000 4194304 4196468 140736920410448 140538458494112 140539547199189 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14643200 140736920417364 140736920417545 140736920417545 140736920420303 0
[pid=30297/tid=30306] ppid=30294 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30297/task/30306/stat : 30306 (java) S 30294 30297 29085 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 41169275 14420725760 8093 33554432000 4194304 4196468 140736920410448 140538457441008 140539547199189 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14643200 140736920417364 140736920417545 140736920417545 140736920420303 0
[pid=30297/tid=30307] ppid=30294 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30297/task/30307/stat : 30307 (java) S 30294 30297 29085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41169277 14420725760 8093 33554432000 4194304 4196468 140736920410448 140538456389584 140539547207579 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14643200 140736920417364 140736920417545 140736920417545 140736920420303 0
[pid=30297/tid=30308] ppid=30294 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30297/task/30308/stat : 30308 (java) S 30294 30297 29085 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 15 0 41169277 14420725760 8093 33554432000 4194304 4196468 140736920410448 140538455337712 140539547200130 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14643200 140736920417364 140736920417545 140736920417545 140736920420303 0
[pid=30297/tid=30309] ppid=30294 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30297/task/30309/stat : 30309 (java) S 30294 30297 29085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41169277 14420725760 8093 33554432000 4194304 4196468 140736920410448 140538454285168 140539547200130 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14643200 140736920417364 140736920417545 140736920417545 140736920420303 0
[pid=30297/tid=30310] ppid=30294 vsize=14082740 memory=140330954323584 CPUtime=0.01 cores=0,2,4,6
/proc/30297/task/30310/stat : 30310 (java) R 30294 30297 29085 0 -1 4202560 277 0 0 0 1 0 0 0 20 0 15 0 41169277 14420725760 8093 33554432000 4194304 4196468 140736920410448 140538453232112 140539526490731 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14643200 140736920417364 140736920417545 140736920417545 140736920420303 0
[pid=30297/tid=30311] ppid=30294 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30297/task/30311/stat : 30311 (java) S 30294 30297 29085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41169277 14420725760 8093 33554432000 4194304 4196468 140736920410448 140538452179808 140539547199189 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14643200 140736920417364 140736920417545 140736920417545 140736920420303 0
[pid=30297/tid=30312] ppid=30294 vsize=14082740 memory=140330954323584 CPUtime=0 cores=0,2,4,6
/proc/30297/task/30312/stat : 30312 (java) S 30294 30297 29085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41169278 14420725760 8093 33554432000 4194304 4196468 140736920410448 140538451126832 140539547200130 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14643200 140736920417364 140736920417545 140736920417545 140736920420303 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 32372 KiB

[startup+0.210196 s]*
/proc/loadavg: 3.37 2.12 1.83 7/215 30312
/proc/meminfo: memFree=8911904/32770624 swapFree=67108860/67108860
[pid=30297] ppid=30294 vsize=14082740 memory=46020 CPUtime=0.29 cores=0,2,4,6
/proc/30297/stat : 30297 (java) S 30294 30297 29085 0 -1 1077944320 10630 0 0 0 28 1 0 0 20 0 15 0 41169272 14420725760 11505 33554432000 4194304 4196468 140736920410448 140736920392992 140539547188983 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 14643200 140736920417364 140736920417545 140736920417545 140736920420303 0
/proc/30297/statm: 3520685 11505 3360 1 0 3482761 0
[pid=30297/tid=30299] ppid=30294 vsize=14082740 memory=7022364594140610616 CPUtime=0.19 cores=0,2,4,6
/proc/30297/task/30299/stat : 30299 (java) S 30294 30297 29085 0 -1 1077944384 8236 0 0 0 18 1 0 0 20 0 15 0 41169272 14420725760 11505 33554432000 4194304 4196468 140736920410448 140539551415552 140539547199189 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14643200 140736920417364 140736920417545 140736920417545 140736920420303 0
[pid=30297/tid=30300] ppid=30294 vsize=14082740 memory=343 CPUtime=0 cores=0,2,4,6
/proc/30297/task/30300/stat : 30300 (java) S 30294 30297 29085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41169273 14420725760 11505 33554432000 4194304 4196468 140736920410448 140539519032336 140539547199189 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14643200 140736920417364 140736920417545 140736920417545 140736920420303 0
[pid=30297/tid=30301] ppid=30294 vsize=14082740 memory=288370707106035328 CPUtime=0 cores=0,2,4,6
/proc/30297/task/30301/stat : 30301 (java) S 30294 30297 29085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41169273 14420725760 11505 33554432000 4194304 4196468 140736920410448 140539141659792 140539547199189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14643200 140736920417364 140736920417545 140736920417545 140736920420303 0
[pid=30297/tid=30302] ppid=30294 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30297/task/30302/stat : 30302 (java) S 30294 30297 29085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41169273 14420725760 11505 33554432000 4194304 4196468 140736920410448 140539140606736 140539547199189 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14643200 140736920417364 140736920417545 140736920417545 140736920420303 0
[pid=30297/tid=30303] ppid=30294 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30297/task/30303/stat : 30303 (java) S 30294 30297 29085 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 41169273 14420725760 11505 33554432000 4194304 4196468 140736920410448 140539139554192 140539547199189 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14643200 140736920417364 140736920417545 140736920417545 140736920420303 0
[pid=30297/tid=30304] ppid=30294 vsize=14082740 memory=140330954323584 CPUtime=0 cores=0,2,4,6
/proc/30297/task/30304/stat : 30304 (java) S 30294 30297 29085 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 41169274 14420725760 11505 33554432000 4194304 4196468 140736920410448 140538459547888 140539547200130 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14643200 140736920417364 140736920417545 140736920417545 140736920420303 0
[pid=30297/tid=30305] ppid=30294 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30297/task/30305/stat : 30305 (java) S 30294 30297 29085 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 41169275 14420725760 11505 33554432000 4194304 4196468 140736920410448 140538458494112 140539547199189 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14643200 140736920417364 140736920417545 140736920417545 140736920420303 0
[pid=30297/tid=30306] ppid=30294 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30297/task/30306/stat : 30306 (java) S 30294 30297 29085 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 41169275 14420725760 11505 33554432000 4194304 4196468 140736920410448 140538457441008 140539547199189 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14643200 140736920417364 140736920417545 140736920417545 140736920420303 0
[pid=30297/tid=30307] ppid=30294 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30297/task/30307/stat : 30307 (java) S 30294 30297 29085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41169277 14420725760 11505 33554432000 4194304 4196468 140736920410448 140538456389584 140539547207579 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14643200 140736920417364 140736920417545 140736920417545 140736920420303 0
[pid=30297/tid=30308] ppid=30294 vsize=14082740 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/30297/task/30308/stat : 30308 (java) R 30294 30297 29085 0 -1 1077944384 393 0 0 0 1 0 0 0 20 0 15 0 41169277 14420725760 11505 33554432000 4194304 4196468 140736920410448 140538455337712 140539547200130 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14643200 140736920417364 140736920417545 140736920417545 140736920420303 0
[pid=30297/tid=30309] ppid=30294 vsize=14082740 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/30297/task/30309/stat : 30309 (java) R 30294 30297 29085 0 -1 4202560 221 0 0 0 1 0 0 0 20 0 15 0 41169277 14420725760 11505 33554432000 4194304 4196468 140736920410448 140538454285168 140539532117280 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14643200 140736920417364 140736920417545 140736920417545 140736920420303 0
[pid=30297/tid=30310] ppid=30294 vsize=14082740 memory=140330954323584 CPUtime=0.06 cores=0,2,4,6
/proc/30297/task/30310/stat : 30310 (java) S 30294 30297 29085 0 -1 1077944384 398 0 0 0 6 0 0 0 20 0 15 0 41169277 14420725760 11505 33554432000 4194304 4196468 140736920410448 140538453232112 140539547200130 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14643200 140736920417364 140736920417545 140736920417545 140736920420303 0
[pid=30297/tid=30311] ppid=30294 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30297/task/30311/stat : 30311 (java) S 30294 30297 29085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41169277 14420725760 11505 33554432000 4194304 4196468 140736920410448 140538452179808 140539547199189 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14643200 140736920417364 140736920417545 140736920417545 140736920420303 0
[pid=30297/tid=30312] ppid=30294 vsize=14082740 memory=140330954323584 CPUtime=0 cores=0,2,4,6
/proc/30297/task/30312/stat : 30312 (java) S 30294 30297 29085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41169278 14420725760 11505 33554432000 4194304 4196468 140736920410448 140538451126832 140539547200130 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14643200 140736920417364 140736920417545 140736920417545 140736920420303 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 46020 KiB

[startup+0.310331 s]*
/proc/loadavg: 3.37 2.12 1.83 7/215 30312
/proc/meminfo: memFree=8907872/32770624 swapFree=67108860/67108860
[pid=30297] ppid=30294 vsize=14082740 memory=49552 CPUtime=0.43 cores=0,2,4,6
/proc/30297/stat : 30297 (java) S 30294 30297 29085 0 -1 1077944320 11028 0 0 0 41 2 0 0 20 0 15 0 41169272 14420725760 12388 33554432000 4194304 4196468 140736920410448 140736920392992 140539547188983 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 14643200 140736920417364 140736920417545 140736920417545 140736920420303 0
/proc/30297/statm: 3520685 12388 3404 1 0 3482761 0
[pid=30297/tid=30299] ppid=30294 vsize=14082740 memory=7311146985107750967 CPUtime=0.29 cores=0,2,4,6
/proc/30297/task/30299/stat : 30299 (java) R 30294 30297 29085 0 -1 4202560 8570 0 0 0 28 1 0 0 20 0 15 0 41169272 14420725760 12388 33554432000 4194304 4196468 140736920410448 140539551350720 140539528753953 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14643200 140736920417364 140736920417545 140736920417545 140736920420303 0
[pid=30297/tid=30300] ppid=30294 vsize=14082740 memory=288230609002954775 CPUtime=0 cores=0,2,4,6
/proc/30297/task/30300/stat : 30300 (java) S 30294 30297 29085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41169273 14420725760 12388 33554432000 4194304 4196468 140736920410448 140539519032336 140539547199189 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14643200 140736920417364 140736920417545 140736920417545 140736920420303 0
[pid=30297/tid=30301] ppid=30294 vsize=14082740 memory=288370707106035328 CPUtime=0 cores=0,2,4,6
/proc/30297/task/30301/stat : 30301 (java) S 30294 30297 29085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41169273 14420725760 12388 33554432000 4194304 4196468 140736920410448 140539141659792 140539547199189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14643200 140736920417364 140736920417545 140736920417545 140736920420303 0
[pid=30297/tid=30302] ppid=30294 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30297/task/30302/stat : 30302 (java) S 30294 30297 29085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41169273 14420725760 12388 33554432000 4194304 4196468 140736920410448 140539140606736 140539547199189 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14643200 140736920417364 140736920417545 140736920417545 140736920420303 0
[pid=30297/tid=30303] ppid=30294 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30297/task/30303/stat : 30303 (java) S 30294 30297 29085 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 41169273 14420725760 12388 33554432000 4194304 4196468 140736920410448 140539139554192 140539547199189 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14643200 140736920417364 140736920417545 140736920417545 140736920420303 0
[pid=30297/tid=30304] ppid=30294 vsize=14082740 memory=140330954323584 CPUtime=0 cores=0,2,4,6
/proc/30297/task/30304/stat : 30304 (java) S 30294 30297 29085 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 41169274 14420725760 12388 33554432000 4194304 4196468 140736920410448 140538459547888 140539547200130 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14643200 140736920417364 140736920417545 140736920417545 140736920420303 0
[pid=30297/tid=30305] ppid=30294 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30297/task/30305/stat : 30305 (java) S 30294 30297 29085 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 41169275 14420725760 12388 33554432000 4194304 4196468 140736920410448 140538458494112 140539547199189 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14643200 140736920417364 140736920417545 140736920417545 140736920420303 0
[pid=30297/tid=30306] ppid=30294 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30297/task/30306/stat : 30306 (java) S 30294 30297 29085 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 41169275 14420725760 12388 33554432000 4194304 4196468 140736920410448 140538457441008 140539547199189 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14643200 140736920417364 140736920417545 140736920417545 140736920420303 0
[pid=30297/tid=30307] ppid=30294 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30297/task/30307/stat : 30307 (java) S 30294 30297 29085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41169277 14420725760 12388 33554432000 4194304 4196468 140736920410448 140538456389584 140539547207579 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14643200 140736920417364 140736920417545 140736920417545 140736920420303 0
[pid=30297/tid=30308] ppid=30294 vsize=14082740 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/30297/task/30308/stat : 30308 (java) S 30294 30297 29085 0 -1 1077944384 401 0 0 0 1 0 0 0 20 0 15 0 41169277 14420725760 12388 33554432000 4194304 4196468 140736920410448 140538455337712 140539547200130 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14643200 140736920417364 140736920417545 140736920417545 140736920420303 0
[pid=30297/tid=30309] ppid=30294 vsize=14082740 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/30297/task/30309/stat : 30309 (java) S 30294 30297 29085 0 -1 1077944384 240 0 0 0 2 0 0 0 20 0 15 0 41169277 14420725760 12388 33554432000 4194304 4196468 140736920410448 140538454285168 140539547200130 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14643200 140736920417364 140736920417545 140736920417545 140736920420303 0
[pid=30297/tid=30310] ppid=30294 vsize=14082740 memory=140330954323584 CPUtime=0.08 cores=0,2,4,6
/proc/30297/task/30310/stat : 30310 (java) S 30294 30297 29085 0 -1 1077944384 435 0 0 0 8 0 0 0 20 0 15 0 41169277 14420725760 12388 33554432000 4194304 4196468 140736920410448 140538453232112 140539547200130 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14643200 140736920417364 140736920417545 140736920417545 140736920420303 0
[pid=30297/tid=30311] ppid=30294 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30297/task/30311/stat : 30311 (java) S 30294 30297 29085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41169277 14420725760 12388 33554432000 4194304 4196468 140736920410448 140538452179808 140539547199189 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14643200 140736920417364 140736920417545 140736920417545 140736920420303 0
[pid=30297/tid=30312] ppid=30294 vsize=14082740 memory=140330954323584 CPUtime=0 cores=0,2,4,6
/proc/30297/task/30312/stat : 30312 (java) S 30294 30297 29085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41169278 14420725760 12388 33554432000 4194304 4196468 140736920410448 140538451126832 140539547200130 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14643200 140736920417364 140736920417545 140736920417545 140736920420303 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 49552 KiB

[startup+0.700698 s]
/proc/loadavg: 3.37 2.12 1.83 6/215 30312
/proc/meminfo: memFree=8886108/32770624 swapFree=67108860/67108860
[pid=30297] ppid=30294 vsize=14084808 memory=87716 CPUtime=0.98 cores=0,2,4,6
/proc/30297/stat : 30297 (java) S 30294 30297 29085 0 -1 1077944320 17792 0 0 0 95 3 0 0 20 0 15 0 41169272 14422843392 21929 33554432000 4194304 4196468 140736920410448 140736920392992 140539547188983 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 14643200 140736920417364 140736920417545 140736920417545 140736920420303 0
/proc/30297/statm: 3521202 21929 3499 1 0 3483273 0
[pid=30297/tid=30299] ppid=30294 vsize=14084808 memory=1728 CPUtime=0.67 cores=0,2,4,6
/proc/30297/task/30299/stat : 30299 (java) R 30294 30297 29085 0 -1 4202560 14872 0 0 0 65 2 0 0 20 0 15 0 41169272 14422843392 21929 33554432000 4194304 4196468 140736920410448 140539551414288 140539445850657 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14643200 140736920417364 140736920417545 140736920417545 140736920420303 0
[pid=30297/tid=30300] ppid=30294 vsize=14084808 memory=1004 CPUtime=0 cores=0,2,4,6
/proc/30297/task/30300/stat : 30300 (java) S 30294 30297 29085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41169273 14422843392 21929 33554432000 4194304 4196468 140736920410448 140539519032336 140539547199189 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14643200 140736920417364 140736920417545 140736920417545 140736920420303 0
[pid=30297/tid=30301] ppid=30294 vsize=14084808 memory=11956 CPUtime=0 cores=0,2,4,6
/proc/30297/task/30301/stat : 30301 (java) S 30294 30297 29085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41169273 14422843392 21929 33554432000 4194304 4196468 140736920410448 140539141659792 140539547199189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14643200 140736920417364 140736920417545 140736920417545 140736920420303 0
[pid=30297/tid=30302] ppid=30294 vsize=14084808 memory=5520 CPUtime=0 cores=0,2,4,6
/proc/30297/task/30302/stat : 30302 (java) S 30294 30297 29085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41169273 14422843392 21929 33554432000 4194304 4196468 140736920410448 140539140606736 140539547199189 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14643200 140736920417364 140736920417545 140736920417545 140736920420303 0
[pid=30297/tid=30303] ppid=30294 vsize=14084808 memory=792 CPUtime=0 cores=0,2,4,6
/proc/30297/task/30303/stat : 30303 (java) S 30294 30297 29085 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 41169273 14422843392 21929 33554432000 4194304 4196468 140736920410448 140539139554192 140539547199189 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14643200 140736920417364 140736920417545 140736920417545 140736920420303 0
[pid=30297/tid=30304] ppid=30294 vsize=14084808 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/30297/task/30304/stat : 30304 (java) S 30294 30297 29085 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 41169274 14422843392 21929 33554432000 4194304 4196468 140736920410448 140538459547888 140539547200130 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14643200 140736920417364 140736920417545 140736920417545 140736920420303 0
[pid=30297/tid=30305] ppid=30294 vsize=14084808 memory=1944 CPUtime=0 cores=0,2,4,6
/proc/30297/task/30305/stat : 30305 (java) S 30294 30297 29085 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 41169275 14422843392 21929 33554432000 4194304 4196468 140736920410448 140538458494112 140539547199189 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14643200 140736920417364 140736920417545 140736920417545 140736920420303 0
[pid=30297/tid=30306] ppid=30294 vsize=14084808 memory=1424 CPUtime=0 cores=0,2,4,6
/proc/30297/task/30306/stat : 30306 (java) S 30294 30297 29085 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 41169275 14422843392 21929 33554432000 4194304 4196468 140736920410448 140538457441008 140539547199189 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14643200 140736920417364 140736920417545 140736920417545 140736920420303 0
[pid=30297/tid=30307] ppid=30294 vsize=14084808 memory=4612 CPUtime=0 cores=0,2,4,6
/proc/30297/task/30307/stat : 30307 (java) S 30294 30297 29085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41169277 14422843392 21929 33554432000 4194304 4196468 140736920410448 140538456389584 140539547207579 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14643200 140736920417364 140736920417545 140736920417545 140736920420303 0
[pid=30297/tid=30308] ppid=30294 vsize=14084808 memory=7163631965283378496 CPUtime=0.06 cores=0,2,4,6
/proc/30297/task/30308/stat : 30308 (java) S 30294 30297 29085 0 -1 1077944384 572 0 0 0 6 0 0 0 20 0 15 0 41169277 14422843392 21929 33554432000 4194304 4196468 140736920410448 140538455337712 140539547200130 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14643200 140736920417364 140736920417545 140736920417545 140736920420303 0
[pid=30297/tid=30309] ppid=30294 vsize=14084808 memory=6083353102074538087 CPUtime=0.08 cores=0,2,4,6
/proc/30297/task/30309/stat : 30309 (java) S 30294 30297 29085 0 -1 1077944384 404 0 0 0 8 0 0 0 20 0 15 0 41169277 14422843392 21929 33554432000 4194304 4196468 140736920410448 140538454285168 140539547200130 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14643200 140736920417364 140736920417545 140736920417545 140736920420303 0
[pid=30297/tid=30310] ppid=30294 vsize=14084808 memory=6935658124599644240 CPUtime=0.15 cores=0,2,4,6
/proc/30297/task/30310/stat : 30310 (java) S 30294 30297 29085 0 -1 1077944384 568 0 0 0 15 0 0 0 20 0 15 0 41169277 14422843392 21929 33554432000 4194304 4196468 140736920410448 140538453232112 140539547200130 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14643200 140736920417364 140736920417545 140736920417545 140736920420303 0
[pid=30297/tid=30311] ppid=30294 vsize=14084808 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30297/task/30311/stat : 30311 (java) S 30294 30297 29085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41169277 14422843392 21929 33554432000 4194304 4196468 140736920410448 140538452179808 140539547199189 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14643200 140736920417364 140736920417545 140736920417545 140736920420303 0
[pid=30297/tid=30312] ppid=30294 vsize=14084808 memory=31396 CPUtime=0 cores=0,2,4,6
/proc/30297/task/30312/stat : 30312 (java) S 30294 30297 29085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41169278 14422843392 21929 33554432000 4194304 4196468 140736920410448 140538451126832 140539547200130 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14643200 140736920417364 140736920417545 140736920417545 140736920420303 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 14084808 KiB
Current children cumulated memory: 87716 KiB

[startup+1.50154 s]
/proc/loadavg: 3.37 2.12 1.83 8/215 30312
/proc/meminfo: memFree=8835932/32770624 swapFree=67108860/67108860
[pid=30297] ppid=30294 vsize=14086856 memory=224616 CPUtime=3.28 cores=0,2,4,6
/proc/30297/stat : 30297 (java) S 30294 30297 29085 0 -1 1077944320 23446 0 0 0 319 9 0 0 20 0 15 0 41169272 14424940544 56154 33554432000 4194304 4196468 140736920410448 140736920392992 140539547188983 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 14643200 140736920417364 140736920417545 140736920417545 140736920420303 0
/proc/30297/statm: 3521714 56154 3566 1 0 3483785 0
[pid=30297/tid=30299] ppid=30294 vsize=14086856 memory=0 CPUtime=1.44 cores=0,2,4,6
/proc/30297/task/30299/stat : 30299 (java) R 30294 30297 29085 0 -1 4202560 16582 0 0 0 140 4 0 0 20 0 15 0 41169272 14424940544 56154 33554432000 4194304 4196468 140736920410448 140539551424960 140539188760016 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14643200 140736920417364 140736920417545 140736920417545 140736920420303 0
[pid=30297/tid=30300] ppid=30294 vsize=14086856 memory=-6951259422114956437 CPUtime=0 cores=0,2,4,6
/proc/30297/task/30300/stat : 30300 (java) S 30294 30297 29085 0 -1 1077944384 144 0 0 0 0 0 0 0 20 0 15 0 41169273 14424940544 56154 33554432000 4194304 4196468 140736920410448 140539519032336 140539547199189 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14643200 140736920417364 140736920417545 140736920417545 140736920420303 0
[pid=30297/tid=30301] ppid=30294 vsize=14086856 memory=-6509546260019855295 CPUtime=0 cores=0,2,4,6
/proc/30297/task/30301/stat : 30301 (java) S 30294 30297 29085 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 15 0 41169273 14424940544 56154 33554432000 4194304 4196468 140736920410448 140539141659792 140539547199189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14643200 140736920417364 140736920417545 140736920417545 140736920420303 0
[pid=30297/tid=30302] ppid=30294 vsize=14086856 memory=-7390251449858225344 CPUtime=0 cores=0,2,4,6
/proc/30297/task/30302/stat : 30302 (java) S 30294 30297 29085 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 15 0 41169273 14424940544 56154 33554432000 4194304 4196468 140736920410448 140539140606736 140539547199189 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14643200 140736920417364 140736920417545 140736920417545 140736920420303 0
[pid=30297/tid=30303] ppid=30294 vsize=14086856 memory=4134692831991786133 CPUtime=0 cores=0,2,4,6
/proc/30297/task/30303/stat : 30303 (java) S 30294 30297 29085 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 15 0 41169273 14424940544 56154 33554432000 4194304 4196468 140736920410448 140539139554192 140539547199189 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14643200 140736920417364 140736920417545 140736920417545 140736920420303 0
[pid=30297/tid=30304] ppid=30294 vsize=14086856 memory=-7165351541977658656 CPUtime=0 cores=0,2,4,6
/proc/30297/task/30304/stat : 30304 (java) S 30294 30297 29085 0 -1 1077944384 101 0 0 0 0 0 0 0 20 0 15 0 41169274 14424940544 56154 33554432000 4194304 4196468 140736920410448 140538459547888 140539547200130 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14643200 140736920417364 140736920417545 140736920417545 140736920420303 0

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

/proc/30297/task/30299/stat : 30299 (java) R 30294 30297 29085 0 -1 4202560 228683 0 0 0 223884 83 0 0 20 0 15 0 41169272 14431232000 1216357 33554432000 4194304 4196468 140736920410448 140539551425952 140539187986939 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14643200 140736920417364 140736920417545 140736920417545 140736920420303 0
[pid=30297/tid=30300] ppid=30294 vsize=14093000 memory=4865428 CPUtime=20.32 cores=0,2,4,6
/proc/30297/task/30300/stat : 30300 (java) S 30294 30297 29085 0 -1 1077944384 48097 0 0 0 1985 47 0 0 20 0 15 0 41169273 14431232000 1216357 33554432000 4194304 4196468 140736920410448 140539519032336 140539547199189 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14643200 140736920417364 140736920417545 140736920417545 140736920420303 0
[pid=30297/tid=30301] ppid=30294 vsize=14093000 memory=4865428 CPUtime=20.32 cores=0,2,4,6
/proc/30297/task/30301/stat : 30301 (java) S 30294 30297 29085 0 -1 1077944384 50899 0 0 0 1984 48 0 0 20 0 15 0 41169273 14431232000 1216357 33554432000 4194304 4196468 140736920410448 140539141659792 140539547199189 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14643200 140736920417364 140736920417545 140736920417545 140736920420303 0
[pid=30297/tid=30302] ppid=30294 vsize=14093000 memory=4865428 CPUtime=20.21 cores=0,2,4,6
/proc/30297/task/30302/stat : 30302 (java) S 30294 30297 29085 0 -1 1077944384 47185 0 0 0 1975 46 0 0 20 0 15 0 41169273 14431232000 1216357 33554432000 4194304 4196468 140736920410448 140539140606736 140539547199189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14643200 140736920417364 140736920417545 140736920417545 140736920420303 0
[pid=30297/tid=30303] ppid=30294 vsize=14093000 memory=4865428 CPUtime=20.26 cores=0,2,4,6
/proc/30297/task/30303/stat : 30303 (java) S 30294 30297 29085 0 -1 1077944384 48396 0 0 0 1981 45 0 0 20 0 15 0 41169273 14431232000 1216357 33554432000 4194304 4196468 140736920410448 140539139554192 140539547199189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14643200 140736920417364 140736920417545 140736920417545 140736920420303 0
[pid=30297/tid=30304] ppid=30294 vsize=14093000 memory=280661619322304 CPUtime=1.77 cores=0,2,4,6
/proc/30297/task/30304/stat : 30304 (java) S 30294 30297 29085 0 -1 1077944384 24631 0 0 0 171 6 0 0 20 0 15 0 41169274 14431232000 1216357 33554432000 4194304 4196468 140736920410448 140538459547888 140539547200130 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14643200 140736920417364 140736920417545 140736920417545 140736920420303 0
[pid=30297/tid=30305] ppid=30294 vsize=14093000 memory=4028 CPUtime=0 cores=0,2,4,6
/proc/30297/task/30305/stat : 30305 (java) S 30294 30297 29085 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 41169275 14431232000 1216357 33554432000 4194304 4196468 140736920410448 140538458494176 140539547199189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14643200 140736920417364 140736920417545 140736920417545 140736920420303 0
[pid=30297/tid=30306] ppid=30294 vsize=14093000 memory=4865428 CPUtime=0 cores=0,2,4,6
/proc/30297/task/30306/stat : 30306 (java) S 30294 30297 29085 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 41169275 14431232000 1216357 33554432000 4194304 4196468 140736920410448 140538457441024 140539547199189 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14643200 140736920417364 140736920417545 140736920417545 140736920420303 0
[pid=30297/tid=30307] ppid=30294 vsize=14093000 memory=4865428 CPUtime=0 cores=0,2,4,6
/proc/30297/task/30307/stat : 30307 (java) S 30294 30297 29085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41169277 14431232000 1216357 33554432000 4194304 4196468 140736920410448 140538456389584 140539547207579 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14643200 140736920417364 140736920417545 140736920417545 140736920420303 0
[pid=30297/tid=30308] ppid=30294 vsize=14093000 memory=4865428 CPUtime=4.92 cores=0,2,4,6
/proc/30297/task/30308/stat : 30308 (java) S 30294 30297 29085 0 -1 1077944384 34232 0 0 0 487 5 0 0 20 0 15 0 41169277 14431232000 1216357 33554432000 4194304 4196468 140736920410448 140538455337712 140539547200130 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14643200 140736920417364 140736920417545 140736920417545 140736920420303 0
[pid=30297/tid=30309] ppid=30294 vsize=14093000 memory=14264 CPUtime=4.23 cores=0,2,4,6
/proc/30297/task/30309/stat : 30309 (java) S 30294 30297 29085 0 -1 1077944384 27263 0 0 0 419 4 0 0 20 0 15 0 41169277 14431232000 1216357 33554432000 4194304 4196468 140736920410448 140538454285168 140539547200130 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14643200 140736920417364 140736920417545 140736920417545 140736920420303 0
[pid=30297/tid=30310] ppid=30294 vsize=14093000 memory=4865428 CPUtime=1.63 cores=0,2,4,6
/proc/30297/task/30310/stat : 30310 (java) S 30294 30297 29085 0 -1 1077944384 51793 0 0 0 156 7 0 0 20 0 15 0 41169277 14431232000 1216357 33554432000 4194304 4196468 140736920410448 140538453232112 140539547200130 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14643200 140736920417364 140736920417545 140736920417545 140736920420303 0
[pid=30297/tid=30311] ppid=30294 vsize=14093000 memory=4865428 CPUtime=0 cores=0,2,4,6
/proc/30297/task/30311/stat : 30311 (java) S 30294 30297 29085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41169277 14431232000 1216357 33554432000 4194304 4196468 140736920410448 140538452179808 140539547199189 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14643200 140736920417364 140736920417545 140736920417545 140736920420303 0
[pid=30297/tid=30312] ppid=30294 vsize=14093000 memory=4865428 CPUtime=1.31 cores=0,2,4,6
/proc/30297/task/30312/stat : 30312 (java) S 30294 30297 29085 0 -1 1077944384 1756 0 0 0 67 64 0 0 20 0 15 0 41169278 14431232000 1216357 33554432000 4194304 4196468 140736920410448 140538451126832 140539547200130 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 39 0 0 6293624 6294260 14643200 140736920417364 140736920417545 140736920417545 140736920420303 0
Current children cumulated CPU time: 2334.73 s
Current children cumulated vsize: 14093000 KiB
Current children cumulated memory: 4865428 KiB

[startup+2322.3 s]
/proc/loadavg: 1.84 2.05 2.03 5/215 30457
/proc/meminfo: memFree=10341076/32770624 swapFree=67108860/67108860
[pid=30297] ppid=30294 vsize=14093000 memory=4862356 CPUtime=2396.47 cores=0,2,4,6
/proc/30297/stat : 30297 (java) S 30294 30297 29085 0 -1 1077944320 575750 0 0 0 239305 342 0 0 20 0 15 0 41169272 14431232000 1215589 33554432000 4194304 4196468 140736920410448 140736920392992 140539547188983 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 14643200 140736920417364 140736920417545 140736920417545 140736920420303 0
/proc/30297/statm: 3523250 1215589 3627 1 0 3485321 0
[pid=30297/tid=30299] ppid=30294 vsize=14093000 memory=66508686 CPUtime=2299.09 cores=0,2,4,6
/proc/30297/task/30299/stat : 30299 (java) R 30294 30297 29085 0 -1 4202560 233137 0 0 0 229825 84 0 0 20 0 15 0 41169272 14431232000 1215589 33554432000 4194304 4196468 140736920410448 140539551425952 140539190018981 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14643200 140736920417364 140736920417545 140736920417545 140736920420303 0
[pid=30297/tid=30300] ppid=30294 vsize=14093000 memory=4862356 CPUtime=20.89 cores=0,2,4,6
/proc/30297/task/30300/stat : 30300 (java) S 30294 30297 29085 0 -1 1077944384 49465 0 0 0 2042 47 0 0 20 0 15 0 41169273 14431232000 1215589 33554432000 4194304 4196468 140736920410448 140539519032336 140539547199189 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14643200 140736920417364 140736920417545 140736920417545 140736920420303 0
[pid=30297/tid=30301] ppid=30294 vsize=14093000 memory=4862352 CPUtime=20.89 cores=0,2,4,6
/proc/30297/task/30301/stat : 30301 (java) S 30294 30297 29085 0 -1 1077944384 51775 0 0 0 2041 48 0 0 20 0 15 0 41169273 14431232000 1215589 33554432000 4194304 4196468 140736920410448 140539141659792 140539547199189 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14643200 140736920417364 140736920417545 140736920417545 140736920420303 0
[pid=30297/tid=30302] ppid=30294 vsize=14093000 memory=4862356 CPUtime=20.78 cores=0,2,4,6
/proc/30297/task/30302/stat : 30302 (java) S 30294 30297 29085 0 -1 1077944384 48655 0 0 0 2032 46 0 0 20 0 15 0 41169273 14431232000 1215589 33554432000 4194304 4196468 140736920410448 140539140606736 140539547199189 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14643200 140736920417364 140736920417545 140736920417545 140736920420303 0
[pid=30297/tid=30303] ppid=30294 vsize=14093000 memory=4862356 CPUtime=20.83 cores=0,2,4,6
/proc/30297/task/30303/stat : 30303 (java) S 30294 30297 29085 0 -1 1077944384 49871 0 0 0 2038 45 0 0 20 0 15 0 41169273 14431232000 1215589 33554432000 4194304 4196468 140736920410448 140539139554192 140539547199189 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14643200 140736920417364 140736920417545 140736920417545 140736920420303 0
[pid=30297/tid=30304] ppid=30294 vsize=14093000 memory=4862356 CPUtime=1.78 cores=0,2,4,6
/proc/30297/task/30304/stat : 30304 (java) S 30294 30297 29085 0 -1 1077944384 24901 0 0 0 172 6 0 0 20 0 15 0 41169274 14431232000 1215589 33554432000 4194304 4196468 140736920410448 140538459547888 140539547200130 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14643200 140736920417364 140736920417545 140736920417545 140736920420303 0
[pid=30297/tid=30305] ppid=30294 vsize=14093000 memory=4028 CPUtime=0 cores=0,2,4,6
/proc/30297/task/30305/stat : 30305 (java) S 30294 30297 29085 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 41169275 14431232000 1215589 33554432000 4194304 4196468 140736920410448 140538458494176 140539547199189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14643200 140736920417364 140736920417545 140736920417545 140736920420303 0
[pid=30297/tid=30306] ppid=30294 vsize=14093000 memory=4862356 CPUtime=0 cores=0,2,4,6
/proc/30297/task/30306/stat : 30306 (java) S 30294 30297 29085 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 41169275 14431232000 1215589 33554432000 4194304 4196468 140736920410448 140538457441024 140539547199189 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14643200 140736920417364 140736920417545 140736920417545 140736920420303 0
[pid=30297/tid=30307] ppid=30294 vsize=14093000 memory=4862356 CPUtime=0 cores=0,2,4,6
/proc/30297/task/30307/stat : 30307 (java) S 30294 30297 29085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41169277 14431232000 1215589 33554432000 4194304 4196468 140736920410448 140538456389584 140539547207579 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14643200 140736920417364 140736920417545 140736920417545 140736920420303 0
[pid=30297/tid=30308] ppid=30294 vsize=14093000 memory=4862356 CPUtime=4.92 cores=0,2,4,6
/proc/30297/task/30308/stat : 30308 (java) S 30294 30297 29085 0 -1 1077944384 34239 0 0 0 487 5 0 0 20 0 15 0 41169277 14431232000 1215589 33554432000 4194304 4196468 140736920410448 140538455337712 140539547200130 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14643200 140736920417364 140736920417545 140736920417545 140736920420303 0
[pid=30297/tid=30309] ppid=30294 vsize=14093000 memory=4862356 CPUtime=4.23 cores=0,2,4,6
/proc/30297/task/30309/stat : 30309 (java) S 30294 30297 29085 0 -1 1077944384 27850 0 0 0 419 4 0 0 20 0 15 0 41169277 14431232000 1215589 33554432000 4194304 4196468 140736920410448 140538454285168 140539547200130 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14643200 140736920417364 140736920417545 140736920417545 140736920420303 0
[pid=30297/tid=30310] ppid=30294 vsize=14093000 memory=4206468019014099040 CPUtime=1.63 cores=0,2,4,6
/proc/30297/task/30310/stat : 30310 (java) S 30294 30297 29085 0 -1 1077944384 52625 0 0 0 156 7 0 0 20 0 15 0 41169277 14431232000 1215589 33554432000 4194304 4196468 140736920410448 140538453232112 140539547200130 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14643200 140736920417364 140736920417545 140736920417545 140736920420303 0
[pid=30297/tid=30311] ppid=30294 vsize=14093000 memory=916 CPUtime=0 cores=0,2,4,6
/proc/30297/task/30311/stat : 30311 (java) S 30294 30297 29085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41169277 14431232000 1215589 33554432000 4194304 4196468 140736920410448 140538452179808 140539547199189 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14643200 140736920417364 140736920417545 140736920417545 140736920420303 0
[pid=30297/tid=30312] ppid=30294 vsize=14093000 memory=-8412652177879177843 CPUtime=1.35 cores=0,2,4,6
/proc/30297/task/30312/stat : 30312 (java) S 30294 30297 29085 0 -1 1077944384 1789 0 0 0 69 66 0 0 20 0 15 0 41169278 14431232000 1215589 33554432000 4194304 4196468 140736920410448 140538451126832 140539547200130 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 39 0 0 6293624 6294260 14643200 140736920417364 140736920417545 140736920417545 140736920420303 0
Current children cumulated CPU time: 2396.47 s
Current children cumulated vsize: 14093000 KiB
Current children cumulated memory: 4862356 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2325.9 s]
/proc/loadavg: 1.84 2.05 2.03 5/215 30457
/proc/meminfo: memFree=10341076/32770624 swapFree=67108860/67108860
[pid=30297] ppid=30294 vsize=14093000 memory=4862356 CPUtime=2400.07 cores=0,2,4,6
/proc/30297/stat : 30297 (java) S 30294 30297 29085 0 -1 1077944320 576876 0 0 0 239665 342 0 0 20 0 15 0 41169272 14431232000 1215589 33554432000 4194304 4196468 140736920410448 140736920392992 140539547188983 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 14643200 140736920417364 140736920417545 140736920417545 140736920420303 0
/proc/30297/statm: 3523250 1215589 3627 1 0 3485321 0
[pid=30297/tid=30299] ppid=30294 vsize=14093000 memory=4862352 CPUtime=2302.69 cores=0,2,4,6
/proc/30297/task/30299/stat : 30299 (java) R 30294 30297 29085 0 -1 4202560 234261 0 0 0 230185 84 0 0 20 0 15 0 41169272 14431232000 1215589 33554432000 4194304 4196468 140736920410448 140539551425952 140539190019564 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14643200 140736920417364 140736920417545 140736920417545 140736920420303 0
[pid=30297/tid=30300] ppid=30294 vsize=14093000 memory=4862356 CPUtime=20.89 cores=0,2,4,6
/proc/30297/task/30300/stat : 30300 (java) S 30294 30297 29085 0 -1 1077944384 49465 0 0 0 2042 47 0 0 20 0 15 0 41169273 14431232000 1215589 33554432000 4194304 4196468 140736920410448 140539519032336 140539547199189 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14643200 140736920417364 140736920417545 140736920417545 140736920420303 0
[pid=30297/tid=30301] ppid=30294 vsize=14093000 memory=4862356 CPUtime=20.89 cores=0,2,4,6
/proc/30297/task/30301/stat : 30301 (java) S 30294 30297 29085 0 -1 1077944384 51775 0 0 0 2041 48 0 0 20 0 15 0 41169273 14431232000 1215589 33554432000 4194304 4196468 140736920410448 140539141659792 140539547199189 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14643200 140736920417364 140736920417545 140736920417545 140736920420303 0
[pid=30297/tid=30302] ppid=30294 vsize=14093000 memory=4862356 CPUtime=20.78 cores=0,2,4,6
/proc/30297/task/30302/stat : 30302 (java) S 30294 30297 29085 0 -1 1077944384 48655 0 0 0 2032 46 0 0 20 0 15 0 41169273 14431232000 1215589 33554432000 4194304 4196468 140736920410448 140539140606736 140539547199189 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14643200 140736920417364 140736920417545 140736920417545 140736920420303 0
[pid=30297/tid=30303] ppid=30294 vsize=14093000 memory=4862356 CPUtime=20.83 cores=0,2,4,6
/proc/30297/task/30303/stat : 30303 (java) S 30294 30297 29085 0 -1 1077944384 49871 0 0 0 2038 45 0 0 20 0 15 0 41169273 14431232000 1215589 33554432000 4194304 4196468 140736920410448 140539139554192 140539547199189 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14643200 140736920417364 140736920417545 140736920417545 140736920420303 0
[pid=30297/tid=30304] ppid=30294 vsize=14093000 memory=4862356 CPUtime=1.78 cores=0,2,4,6
/proc/30297/task/30304/stat : 30304 (java) S 30294 30297 29085 0 -1 1077944384 24901 0 0 0 172 6 0 0 20 0 15 0 41169274 14431232000 1215589 33554432000 4194304 4196468 140736920410448 140538459547888 140539547200130 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14643200 140736920417364 140736920417545 140736920417545 140736920420303 0
[pid=30297/tid=30305] ppid=30294 vsize=14093000 memory=4028 CPUtime=0 cores=0,2,4,6
/proc/30297/task/30305/stat : 30305 (java) S 30294 30297 29085 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 41169275 14431232000 1215589 33554432000 4194304 4196468 140736920410448 140538458494176 140539547199189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14643200 140736920417364 140736920417545 140736920417545 140736920420303 0
[pid=30297/tid=30306] ppid=30294 vsize=14093000 memory=4862356 CPUtime=0 cores=0,2,4,6
/proc/30297/task/30306/stat : 30306 (java) S 30294 30297 29085 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 41169275 14431232000 1215589 33554432000 4194304 4196468 140736920410448 140538457441024 140539547199189 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14643200 140736920417364 140736920417545 140736920417545 140736920420303 0
[pid=30297/tid=30307] ppid=30294 vsize=14093000 memory=4862352 CPUtime=0 cores=0,2,4,6
/proc/30297/task/30307/stat : 30307 (java) S 30294 30297 29085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41169277 14431232000 1215589 33554432000 4194304 4196468 140736920410448 140538456389584 140539547207579 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14643200 140736920417364 140736920417545 140736920417545 140736920420303 0
[pid=30297/tid=30308] ppid=30294 vsize=14093000 memory=4863376 CPUtime=4.92 cores=0,2,4,6
/proc/30297/task/30308/stat : 30308 (java) S 30294 30297 29085 0 -1 1077944384 34239 0 0 0 487 5 0 0 20 0 15 0 41169277 14431232000 1215589 33554432000 4194304 4196468 140736920410448 140538455337712 140539547200130 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14643200 140736920417364 140736920417545 140736920417545 140736920420303 0
[pid=30297/tid=30309] ppid=30294 vsize=14093000 memory=4862356 CPUtime=4.23 cores=0,2,4,6
/proc/30297/task/30309/stat : 30309 (java) S 30294 30297 29085 0 -1 1077944384 27850 0 0 0 419 4 0 0 20 0 15 0 41169277 14431232000 1215589 33554432000 4194304 4196468 140736920410448 140538454285168 140539547200130 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14643200 140736920417364 140736920417545 140736920417545 140736920420303 0
[pid=30297/tid=30310] ppid=30294 vsize=14093000 memory=4862356 CPUtime=1.63 cores=0,2,4,6
/proc/30297/task/30310/stat : 30310 (java) S 30294 30297 29085 0 -1 1077944384 52625 0 0 0 156 7 0 0 20 0 15 0 41169277 14431232000 1215589 33554432000 4194304 4196468 140736920410448 140538453232112 140539547200130 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14643200 140736920417364 140736920417545 140736920417545 140736920420303 0
[pid=30297/tid=30311] ppid=30294 vsize=14093000 memory=4028 CPUtime=0 cores=0,2,4,6
/proc/30297/task/30311/stat : 30311 (java) S 30294 30297 29085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41169277 14431232000 1215589 33554432000 4194304 4196468 140736920410448 140538452179808 140539547199189 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14643200 140736920417364 140736920417545 140736920417545 140736920420303 0
[pid=30297/tid=30312] ppid=30294 vsize=14093000 memory=14264 CPUtime=1.35 cores=0,2,4,6
/proc/30297/task/30312/stat : 30312 (java) S 30294 30297 29085 0 -1 1077944384 1791 0 0 0 69 66 0 0 20 0 15 0 41169278 14431232000 1215589 33554432000 4194304 4196468 140736920410448 140538451126832 140539547200130 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 39 0 0 6293624 6294260 14643200 140736920417364 140736920417545 140736920417545 140736920420303 0
Current children cumulated CPU time: 2400.07 s
Current children cumulated vsize: 14093000 KiB
Current children cumulated memory: 4862356 KiB

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

[startup+2325.93 s]
# the end of solver process 30297 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2396.67 s, system=3.44557 s

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

[startup+2325.9 s]
/proc/loadavg: 1.84 2.05 2.03 5/215 30457
/proc/meminfo: memFree=10341076/32770624 swapFree=67108860/67108860
[pid=30297] ppid=30294 vsize=14093000 memory=4862356 CPUtime=2400.07 cores=0,2,4,6
/proc/30297/stat : 30297 (java) S 30294 30297 29085 0 -1 1077944320 576876 0 0 0 239665 342 0 0 20 0 15 0 41169272 14431232000 1215589 33554432000 4194304 4196468 140736920410448 140736920392992 140539547188983 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 14643200 140736920417364 140736920417545 140736920417545 140736920420303 0
/proc/30297/statm: 3523250 1215589 3627 1 0 3485321 0
[pid=30297/tid=30299] ppid=30294 vsize=14093000 memory=4862352 CPUtime=2302.69 cores=0,2,4,6
/proc/30297/task/30299/stat : 30299 (java) R 30294 30297 29085 0 -1 4202560 234261 0 0 0 230185 84 0 0 20 0 15 0 41169272 14431232000 1215589 33554432000 4194304 4196468 140736920410448 140539551425952 140539190019564 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14643200 140736920417364 140736920417545 140736920417545 140736920420303 0
[pid=30297/tid=30300] ppid=30294 vsize=14093000 memory=4862356 CPUtime=20.89 cores=0,2,4,6
/proc/30297/task/30300/stat : 30300 (java) S 30294 30297 29085 0 -1 1077944384 49465 0 0 0 2042 47 0 0 20 0 15 0 41169273 14431232000 1215589 33554432000 4194304 4196468 140736920410448 140539519032336 140539547199189 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14643200 140736920417364 140736920417545 140736920417545 140736920420303 0
[pid=30297/tid=30301] ppid=30294 vsize=14093000 memory=4862356 CPUtime=20.89 cores=0,2,4,6
/proc/30297/task/30301/stat : 30301 (java) S 30294 30297 29085 0 -1 1077944384 51775 0 0 0 2041 48 0 0 20 0 15 0 41169273 14431232000 1215589 33554432000 4194304 4196468 140736920410448 140539141659792 140539547199189 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14643200 140736920417364 140736920417545 140736920417545 140736920420303 0
[pid=30297/tid=30302] ppid=30294 vsize=14093000 memory=4862356 CPUtime=20.78 cores=0,2,4,6
/proc/30297/task/30302/stat : 30302 (java) S 30294 30297 29085 0 -1 1077944384 48655 0 0 0 2032 46 0 0 20 0 15 0 41169273 14431232000 1215589 33554432000 4194304 4196468 140736920410448 140539140606736 140539547199189 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14643200 140736920417364 140736920417545 140736920417545 140736920420303 0
[pid=30297/tid=30303] ppid=30294 vsize=14093000 memory=4862356 CPUtime=20.83 cores=0,2,4,6
/proc/30297/task/30303/stat : 30303 (java) S 30294 30297 29085 0 -1 1077944384 49871 0 0 0 2038 45 0 0 20 0 15 0 41169273 14431232000 1215589 33554432000 4194304 4196468 140736920410448 140539139554192 140539547199189 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14643200 140736920417364 140736920417545 140736920417545 140736920420303 0
[pid=30297/tid=30304] ppid=30294 vsize=14093000 memory=4862356 CPUtime=1.78 cores=0,2,4,6
/proc/30297/task/30304/stat : 30304 (java) S 30294 30297 29085 0 -1 1077944384 24901 0 0 0 172 6 0 0 20 0 15 0 41169274 14431232000 1215589 33554432000 4194304 4196468 140736920410448 140538459547888 140539547200130 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14643200 140736920417364 140736920417545 140736920417545 140736920420303 0
[pid=30297/tid=30305] ppid=30294 vsize=14093000 memory=4028 CPUtime=0 cores=0,2,4,6
/proc/30297/task/30305/stat : 30305 (java) S 30294 30297 29085 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 41169275 14431232000 1215589 33554432000 4194304 4196468 140736920410448 140538458494176 140539547199189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14643200 140736920417364 140736920417545 140736920417545 140736920420303 0
[pid=30297/tid=30306] ppid=30294 vsize=14093000 memory=4862356 CPUtime=0 cores=0,2,4,6
/proc/30297/task/30306/stat : 30306 (java) S 30294 30297 29085 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 41169275 14431232000 1215589 33554432000 4194304 4196468 140736920410448 140538457441024 140539547199189 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14643200 140736920417364 140736920417545 140736920417545 140736920420303 0
[pid=30297/tid=30307] ppid=30294 vsize=14093000 memory=4862352 CPUtime=0 cores=0,2,4,6
/proc/30297/task/30307/stat : 30307 (java) S 30294 30297 29085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41169277 14431232000 1215589 33554432000 4194304 4196468 140736920410448 140538456389584 140539547207579 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14643200 140736920417364 140736920417545 140736920417545 140736920420303 0
[pid=30297/tid=30308] ppid=30294 vsize=14093000 memory=4863376 CPUtime=4.92 cores=0,2,4,6
/proc/30297/task/30308/stat : 30308 (java) S 30294 30297 29085 0 -1 1077944384 34239 0 0 0 487 5 0 0 20 0 15 0 41169277 14431232000 1215589 33554432000 4194304 4196468 140736920410448 140538455337712 140539547200130 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14643200 140736920417364 140736920417545 140736920417545 140736920420303 0
[pid=30297/tid=30309] ppid=30294 vsize=14093000 memory=4862356 CPUtime=4.23 cores=0,2,4,6
/proc/30297/task/30309/stat : 30309 (java) S 30294 30297 29085 0 -1 1077944384 27850 0 0 0 419 4 0 0 20 0 15 0 41169277 14431232000 1215589 33554432000 4194304 4196468 140736920410448 140538454285168 140539547200130 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14643200 140736920417364 140736920417545 140736920417545 140736920420303 0
[pid=30297/tid=30310] ppid=30294 vsize=14093000 memory=4862356 CPUtime=1.63 cores=0,2,4,6
/proc/30297/task/30310/stat : 30310 (java) S 30294 30297 29085 0 -1 1077944384 52625 0 0 0 156 7 0 0 20 0 15 0 41169277 14431232000 1215589 33554432000 4194304 4196468 140736920410448 140538453232112 140539547200130 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14643200 140736920417364 140736920417545 140736920417545 140736920420303 0
[pid=30297/tid=30311] ppid=30294 vsize=14093000 memory=4028 CPUtime=0 cores=0,2,4,6
/proc/30297/task/30311/stat : 30311 (java) S 30294 30297 29085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41169277 14431232000 1215589 33554432000 4194304 4196468 140736920410448 140538452179808 140539547199189 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14643200 140736920417364 140736920417545 140736920417545 140736920420303 0
[pid=30297/tid=30312] ppid=30294 vsize=14093000 memory=14264 CPUtime=1.35 cores=0,2,4,6
/proc/30297/task/30312/stat : 30312 (java) S 30294 30297 29085 0 -1 1077944384 1791 0 0 0 69 66 0 0 20 0 15 0 41169278 14431232000 1215589 33554432000 4194304 4196468 140736920410448 140538451126832 140539547200130 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 39 0 0 6293624 6294260 14643200 140736920417364 140736920417545 140736920417545 140736920420303 0
Current children cumulated CPU time: 2400.07 s
Current children cumulated vsize: 14093000 KiB
Current children cumulated memory: 4862356 KiB

Child status: 143
Real time (s): 2325.93
CPU time (s): 2400.11
CPU user time (s): 2396.67
CPU system time (s): 3.44557
CPU usage (%): 103.189
Max. virtual memory (cumulated for all children) (KiB): 14093000
Max. memory (cumulated for all children) (KiB): 4865428

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2396.67
system time used= 3.44557
maximum resident set size= 4865428
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 578178
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3072
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 62458
involuntary context switches= 3770


# summary of solver processes directly reported to runsolver:
#   pid: 30297
#   total CPU time (s): 2400.11
#   total CPU user time (s): 2396.67
#   total CPU system time (s): 3.44557

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.2126 second user time and 22.2417 second system time

The end

Launcher Data 

Begin job on node151 at 2018-07-22 07:07:41
IDJOB=4291461
IDBENCH=141142
IDSOLVER=2746
FILE ID=node151/4291461-1532236061
RUNJOBID= node151-1532226532-29116
PBS_JOBID= 21018950
Free space on /tmp= 55004 MiB

SOLVER NAME= OscaR - Hybrid 2018-07-02
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-4291461-1532236061/watcher-4291461-1532236061 -o /tmp/evaluation-result-4291461-1532236061/solver-4291461-1532236061 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node151-1532226532-29116 --watchdog 2560  java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed 1982879828 --timelimit 2400 --memlimit 11000 --nbcore 4 HOME/instance-4291461-1532236061.xml

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

MD5SUM BENCH= 9a110b3288dcdd83da8fcc132ac433c6
RANDOM SEED=1982879828

node151.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.87
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.87
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.87
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.87
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:         8943280 kB
MemAvailable:   20324448 kB
Buffers:          230532 kB
Cached:         11298272 kB
SwapCached:            0 kB
Active:         12677704 kB
Inactive:       10497716 kB
Active(anon):   11649288 kB
Inactive(anon):    16936 kB
Active(file):    1028416 kB
Inactive(file): 10480780 kB
Unevictable:        7940 kB
Mlocked:            7940 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             36372 kB
Writeback:             8 kB
AnonPages:      11713856 kB
Mapped:            48992 kB
Shmem:             17032 kB
Slab:             328008 kB
SReclaimable:     300432 kB
SUnreclaim:        27576 kB
KernelStack:        3776 kB
PageTables:        28008 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:   11968652 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:  11505664 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      118144 kB
DirectMap2M:    33427456 kB

Free space on /tmp at the end= 55000 MiB
End job on node151 at 2018-07-22 07:46:27