Trace number 4291082

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 - Parallel with EPS 2018-07-02SAT (TO)116 19935.1 2520.29

General information on the benchmark

NamePseudoBoolean-opt/
Pb-radar-10-20-45-050-100_c18.xml
MD5SUM6059cce927de517ef09e7ab17e66c3d6
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark10
Best CPU time to get the best result obtained on this benchmark20007.7
Satisfiable
(Un)Satisfiability was proved
Number of variables776
Number of constraints867
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":776}]
Minimum variable degree2
Maximum variable degree8
Distribution of variable degrees[{"degree":2,"count":3},{"degree":3,"count":81},{"degree":4,"count":204},{"degree":5,"count":222},{"degree":6,"count":243},{"degree":7,"count":6},{"degree":8,"count":17}]
Minimum constraint arity1
Maximum constraint arity20
Distribution of constraint arities[{"arity":1,"count":1},{"arity":2,"count":697},{"arity":3,"count":12},{"arity":4,"count":15},{"arity":5,"count":16},{"arity":6,"count":18},{"arity":7,"count":10},{"arity":8,"count":8},{"arity":9,"count":14},{"arity":10,"count":11},{"arity":11,"count":5},{"arity":12,"count":11},{"arity":13,"count":8},{"arity":14,"count":5},{"arity":15,"count":4},{"arity":16,"count":8},{"arity":17,"count":6},{"arity":18,"count":10},{"arity":19,"count":5},{"arity":20,"count":3}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"sum","count":867}]
Optimization problemYES
Type of objectivemin SUM

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.55	c version: 2018-07-02
0.66/0.55	c seed: 83928903
0.66/0.55	c timeout: 20160
0.66/0.55	c memlimit: 22000
0.66/0.55	c nbcore: 8
0.66/0.58	c Parsing instance...
1.83/1.09	c Parsing done, starting search...
9.95/4.23	o 1178
9.95/4.26	o 1175
10.76/4.31	o 1174
10.76/4.31	o 1172
10.76/4.31	o 1170
10.76/4.31	o 1169
10.76/4.35	o 1168
10.76/4.35	o 1167
10.76/4.36	o 1165
10.76/4.36	o 1164
10.76/4.36	o 1163
10.76/4.36	o 1162
10.76/4.36	o 1161
10.76/4.36	o 1160
10.76/4.36	o 1159
10.76/4.37	o 1158
10.76/4.37	o 1157
10.76/4.37	o 1156
10.76/4.37	o 1155
10.76/4.37	o 1154
10.76/4.37	o 1153
10.76/4.37	o 1152
10.76/4.37	o 1151
10.76/4.38	o 1150
10.76/4.38	o 1149
10.76/4.39	o 1148
10.76/4.39	o 1147
10.76/4.39	o 1146
10.76/4.39	o 1145
10.76/4.39	o 1144
10.76/4.39	o 1143
10.76/4.39	o 1142
10.76/4.39	o 1141
10.76/4.39	o 1140
10.76/4.40	o 1139
11.42/4.41	o 1138
11.42/4.41	o 1137
11.42/4.41	o 1136
11.42/4.41	o 1135
11.42/4.41	o 1134
11.42/4.41	o 1133
11.42/4.41	o 1132
11.42/4.42	o 1131
11.42/4.42	o 1130
11.42/4.42	o 1129
11.42/4.42	o 1128
11.42/4.42	o 1127
11.42/4.42	o 1126
11.42/4.42	o 1125
11.42/4.42	o 1124
11.42/4.43	o 1123
11.42/4.43	o 1122
11.42/4.43	o 1121
11.42/4.43	o 1120
11.42/4.43	o 1119
11.42/4.43	o 1118
11.42/4.43	o 1117
11.42/4.44	o 1116
11.42/4.44	o 1115
11.42/4.44	o 1114
11.42/4.44	o 1113
11.42/4.44	o 1112
11.42/4.45	o 1111
11.42/4.45	o 1110
11.42/4.45	o 1109
11.42/4.45	o 1108
11.42/4.45	o 1107
11.42/4.45	o 1106
11.42/4.45	o 1105
11.42/4.46	o 1104
11.42/4.46	o 1103
11.42/4.46	o 1102
11.42/4.46	o 1101
11.42/4.46	o 1100
11.42/4.46	o 1099
11.42/4.46	o 1098
11.42/4.46	o 1097
11.42/4.47	o 1096
11.42/4.47	o 1095
11.42/4.47	o 1094
11.42/4.47	o 1093
11.42/4.47	o 1092
11.42/4.47	o 1091
11.42/4.47	o 1090
11.42/4.48	o 1089
11.42/4.48	o 1088
11.42/4.48	o 1087
11.42/4.48	o 1086
11.42/4.48	o 1085
11.42/4.49	o 1084
11.42/4.49	o 1083
11.42/4.49	o 1082
11.42/4.49	o 1081
11.42/4.49	o 1080
11.42/4.49	o 1079
11.42/4.50	o 1078
11.42/4.50	o 1077
12.23/4.50	o 1076
12.23/4.50	o 1075
12.23/4.50	o 1074
12.23/4.50	o 1073
12.23/4.51	o 1072
12.23/4.51	o 1071
12.23/4.51	o 1070
12.23/4.51	o 1069
12.23/4.51	o 1068
12.23/4.51	o 1067
12.23/4.51	o 1066
12.23/4.52	o 1065
12.23/4.52	o 1064
12.23/4.52	o 1063
12.23/4.52	o 1062
12.23/4.52	o 1061
12.23/4.52	o 1060
12.23/4.52	o 1059
12.23/4.53	o 1058
12.23/4.53	o 1057
12.23/4.53	o 1056
12.23/4.53	o 1055
12.23/4.54	o 1054
12.23/4.54	o 1053
12.23/4.54	o 1052
12.23/4.54	o 1051
12.23/4.54	o 1050
12.23/4.55	o 1049
12.23/4.55	o 1048
12.23/4.55	o 1047
12.23/4.55	o 1046
12.23/4.55	o 1045
12.23/4.55	o 1044
12.23/4.55	o 1043
12.23/4.55	o 1042
12.23/4.55	o 1041
12.23/4.56	o 1040
12.23/4.56	o 1039
12.23/4.56	o 1038
12.23/4.56	o 1037
12.23/4.57	o 1036
12.23/4.57	o 1035
12.23/4.57	o 1034
12.23/4.58	o 1033
12.23/4.58	o 1032
12.23/4.58	o 1031
12.23/4.58	o 1030
12.23/4.58	o 1029
12.23/4.58	o 1028
12.23/4.58	o 1027
12.23/4.58	o 1026
12.23/4.58	o 1025
12.23/4.58	o 1024
12.23/4.59	o 1023
12.23/4.59	o 1022
12.23/4.59	o 1021
12.23/4.59	o 1020
12.23/4.59	o 1019
12.23/4.59	o 1018
12.23/4.59	o 1017
12.23/4.59	o 1016
12.23/4.59	o 1015
12.23/4.59	o 1014
12.23/4.59	o 1013
12.23/4.59	o 1012
12.23/4.59	o 1011
12.23/4.59	o 1010
12.23/4.59	o 1009
12.23/4.59	o 1008
12.23/4.59	o 1007
12.23/4.59	o 1006
12.23/4.60	o 1005
12.97/4.60	o 1004
12.97/4.60	o 1003
12.97/4.60	o 1002
12.97/4.60	o 1001
12.97/4.61	o 1000
12.97/4.61	o 999
12.97/4.61	o 998
12.97/4.62	o 997
12.97/4.62	o 996
12.97/4.62	o 995
12.97/4.62	o 994
12.97/4.63	o 993
12.97/4.63	o 992
12.97/4.63	o 991
12.97/4.63	o 990
12.97/4.63	o 989
12.97/4.63	o 988
12.97/4.63	o 987
12.97/4.63	o 986
12.97/4.63	o 985
12.97/4.63	o 984
12.97/4.63	o 983
12.97/4.63	o 982
12.97/4.63	o 981
12.97/4.63	o 980
12.97/4.63	o 979
12.97/4.64	o 978
12.97/4.64	o 977
12.97/4.64	o 976
12.97/4.64	o 975
12.97/4.65	o 974
12.97/4.65	o 973
12.97/4.65	o 972
12.97/4.66	o 971
12.97/4.66	o 970
12.97/4.66	o 969
12.97/4.66	o 968
12.97/4.66	o 967
12.97/4.66	o 966
12.97/4.66	o 965
12.97/4.66	o 964
12.97/4.66	o 963
12.97/4.66	o 962
12.97/4.66	o 961
12.97/4.66	o 960
12.97/4.66	o 959
12.97/4.66	o 958
12.97/4.67	o 957
12.97/4.67	o 956
12.97/4.67	o 955
12.97/4.67	o 954
12.97/4.67	o 953
12.97/4.67	o 952
12.97/4.67	o 951
12.97/4.67	o 950
12.97/4.67	o 949
12.97/4.67	o 948
12.97/4.67	o 947
12.97/4.67	o 946
12.97/4.67	o 945
12.97/4.67	o 944
12.97/4.68	o 943
12.97/4.68	o 942
12.97/4.68	o 941
12.97/4.68	o 940
12.97/4.68	o 939
12.97/4.68	o 938
12.97/4.68	o 937
12.97/4.69	o 936
12.97/4.69	o 935
12.97/4.69	o 934
12.97/4.69	o 933
12.97/4.69	o 932
13.60/4.70	o 931
13.60/4.70	o 930
13.60/4.70	o 929
13.60/4.73	o 928
13.60/4.73	o 927
13.60/4.73	o 926
13.60/4.74	o 925
13.60/4.74	o 924
13.60/4.74	o 923
13.60/4.74	o 922
13.60/4.74	o 921
13.60/4.74	o 920
13.60/4.75	o 919
13.60/4.75	o 918
13.60/4.75	o 917
13.60/4.75	o 916
13.60/4.75	o 915
13.60/4.75	o 914
13.60/4.75	o 913
13.60/4.75	o 912
13.60/4.76	o 911
13.60/4.76	o 910
13.60/4.76	o 909
13.60/4.76	o 908
13.60/4.76	o 907
13.60/4.76	o 906
13.60/4.76	o 905
13.60/4.76	o 904
13.60/4.76	o 903
13.60/4.76	o 902
13.60/4.76	o 901
13.60/4.76	o 900
13.60/4.76	o 899
13.60/4.76	o 898
13.60/4.76	o 897
13.60/4.76	o 896
13.60/4.76	o 895
13.60/4.76	o 894
13.60/4.77	o 893
13.60/4.77	o 892
13.60/4.77	o 891
13.60/4.77	o 890
13.60/4.77	o 889
13.60/4.77	o 888
13.60/4.77	o 887
13.60/4.77	o 886
13.60/4.77	o 885
13.60/4.77	o 884
13.60/4.77	o 883
13.60/4.77	o 882
13.60/4.77	o 881
13.60/4.77	o 880
13.60/4.77	o 879
13.60/4.77	o 878
13.60/4.77	o 877
13.60/4.77	o 876
13.60/4.77	o 875
13.60/4.77	o 874
13.60/4.77	o 873
13.60/4.77	o 872
13.60/4.77	o 871
13.60/4.77	o 870
13.60/4.77	o 869
13.60/4.77	o 868
13.60/4.77	o 867
13.60/4.77	o 866
13.60/4.77	o 865
13.60/4.77	o 864
13.60/4.77	o 863
13.60/4.77	o 862
13.60/4.77	o 861
13.60/4.77	o 860
13.60/4.77	o 859
13.60/4.77	o 858
13.60/4.77	o 857
13.60/4.77	o 856
13.60/4.77	o 855
13.60/4.78	o 854
13.60/4.78	o 853
13.60/4.78	o 852
13.60/4.78	o 851
13.60/4.78	o 850
13.60/4.78	o 849
13.60/4.78	o 848
13.60/4.78	o 847
13.60/4.78	o 846
13.60/4.78	o 845
13.60/4.78	o 844
13.60/4.78	o 843
13.60/4.78	o 842
13.60/4.78	o 841
13.60/4.78	o 840
13.60/4.78	o 839
13.60/4.78	o 838
13.60/4.78	o 837
13.60/4.78	o 836
13.60/4.78	o 835
13.60/4.79	o 834
13.60/4.79	o 833
13.60/4.79	o 832
13.60/4.79	o 831
13.60/4.79	o 830
13.60/4.79	o 829
13.60/4.79	o 828
13.60/4.79	o 827
13.60/4.79	o 826
13.60/4.79	o 825
13.60/4.80	o 824
13.60/4.80	o 823
13.60/4.80	o 822
13.60/4.80	o 821
13.60/4.80	o 820
13.60/4.80	o 819
13.60/4.80	o 818
13.60/4.80	o 817
13.60/4.80	o 816
13.60/4.80	o 815
13.60/4.80	o 814
13.60/4.80	o 813
13.60/4.80	o 812
13.60/4.80	o 811
13.60/4.80	o 810
13.60/4.80	o 809
13.60/4.80	o 808
13.60/4.80	o 807
13.60/4.80	o 806
13.60/4.80	o 805
13.60/4.80	o 804
13.60/4.80	o 803
13.60/4.80	o 802
13.60/4.80	o 801
13.60/4.80	o 800
13.60/4.80	o 799
14.37/4.80	o 798
14.37/4.81	o 797
14.37/4.81	o 796
14.37/4.81	o 795
14.37/4.81	o 794
14.37/4.81	o 793
14.37/4.81	o 792
14.37/4.81	o 791
14.37/4.81	o 790
14.37/4.81	o 789
14.37/4.81	o 788
14.37/4.81	o 787
14.37/4.81	o 786
14.37/4.81	o 785
14.37/4.81	o 784
14.37/4.82	o 783
14.37/4.82	o 782
14.37/4.82	o 781
14.37/4.82	o 780
14.37/4.82	o 779
14.37/4.82	o 778
14.37/4.82	o 777
14.37/4.82	o 776
14.37/4.82	o 775
14.37/4.82	o 774
14.37/4.82	o 773
14.37/4.82	o 772
14.37/4.82	o 771
14.37/4.82	o 770
14.37/4.83	o 769
14.37/4.83	o 768
14.37/4.83	o 767
14.37/4.83	o 766
14.37/4.83	o 765
14.37/4.83	o 764
14.37/4.83	o 763
14.37/4.83	o 762
14.37/4.84	o 761
14.37/4.84	o 760
14.37/4.84	o 759
14.37/4.84	o 758
14.37/4.84	o 757
14.37/4.84	o 756
14.37/4.85	o 755
14.37/4.85	o 754
14.37/4.85	o 753
14.37/4.85	o 752
14.37/4.85	o 751
14.37/4.85	o 750
14.37/4.86	o 749
14.37/4.86	o 748
14.37/4.86	o 747
14.37/4.86	o 746
14.37/4.86	o 745
14.37/4.86	o 744
14.37/4.87	o 743
14.37/4.87	o 742
14.37/4.87	o 741
14.37/4.87	o 740
14.37/4.87	o 739
14.37/4.87	o 738
14.37/4.87	o 737
14.37/4.87	o 736
14.37/4.87	o 735
14.37/4.87	o 734
14.37/4.88	o 733
14.37/4.88	o 732
14.37/4.88	o 731
14.37/4.88	o 730
14.37/4.88	o 729
14.37/4.88	o 728
14.37/4.88	o 727
14.37/4.88	o 726
14.37/4.88	o 725
14.37/4.88	o 724
14.37/4.88	o 723
14.37/4.88	o 722
14.37/4.88	o 721
14.37/4.88	o 720
14.37/4.88	o 719
14.37/4.88	o 718
14.37/4.88	o 717
14.37/4.88	o 716
14.37/4.88	o 715
14.37/4.89	o 714
14.37/4.89	o 713
14.37/4.89	o 712
14.37/4.89	o 711
14.37/4.89	o 710
14.37/4.89	o 709
14.37/4.89	o 708
14.37/4.90	o 707
14.81/4.90	o 706
14.81/4.90	o 705
14.81/4.90	o 704
14.81/4.90	o 703
14.81/4.90	o 702
14.81/4.91	o 701
14.81/4.91	o 700
14.81/4.91	o 699
14.81/4.91	o 698
14.81/4.91	o 697
14.81/4.91	o 696
14.81/4.91	o 695
14.81/4.92	o 694
14.81/4.92	o 693
14.81/4.92	o 692
14.81/4.92	o 691
14.81/4.92	o 690
14.81/4.92	o 689
14.81/4.93	o 688
14.81/4.93	o 687
14.81/4.93	o 686
14.81/4.93	o 685
14.81/4.93	o 684
14.81/4.94	o 683
14.81/4.94	o 682
14.81/4.94	o 681
14.81/4.94	o 680
14.81/4.94	o 679
14.81/4.94	o 678
14.81/4.94	o 677
14.81/4.95	o 676
14.81/4.95	o 675
14.81/4.95	o 674
14.81/4.95	o 673
14.81/4.95	o 672
14.81/4.96	o 671
14.81/4.96	o 670
14.81/4.96	o 669
14.81/4.96	o 668
14.81/4.96	o 667
14.81/4.97	o 666
14.81/4.97	o 665
14.81/4.97	o 664
14.81/4.97	o 663
14.81/4.97	o 662
14.81/4.97	o 661
14.81/4.97	o 660
14.81/4.98	o 659
14.81/4.98	o 658
14.81/4.98	o 657
14.81/4.98	o 656
14.81/4.98	o 655
14.81/4.98	o 654
14.81/4.99	o 653
14.81/4.99	o 652
14.81/4.99	o 651
14.81/4.99	o 650
14.81/4.99	o 649
14.81/4.99	o 648
14.81/5.00	o 647
14.81/5.00	o 646
14.81/5.00	o 645
14.81/5.00	o 644
14.81/5.00	o 643
14.81/5.00	o 642
14.81/5.00	o 641
14.81/5.00	o 640
14.81/5.01	o 639
14.81/5.01	o 638
14.81/5.01	o 637
15.12/5.01	o 636
15.12/5.01	o 635
15.12/5.01	o 634
15.12/5.02	o 633
15.12/5.02	o 632
15.12/5.02	o 631
15.12/5.02	o 630
15.12/5.02	o 629
15.12/5.02	o 628
15.12/5.02	o 627
15.12/5.02	o 626
15.12/5.03	o 625
15.12/5.03	o 624
15.12/5.03	o 623
15.12/5.03	o 622
15.12/5.03	o 621
15.12/5.04	o 620
15.12/5.04	o 619
15.12/5.04	o 618
15.12/5.04	o 617
15.12/5.04	o 616
15.12/5.04	o 615
15.12/5.04	o 614
15.12/5.05	o 613
15.12/5.05	o 612
15.12/5.05	o 611
15.12/5.05	o 610
15.12/5.05	o 609
15.12/5.05	o 608
15.12/5.05	o 607
15.12/5.06	o 606
15.12/5.06	o 605
15.12/5.06	o 604
15.12/5.06	o 603
15.12/5.06	o 602
15.12/5.06	o 601
15.12/5.07	o 600
15.12/5.07	o 599
15.12/5.07	o 598
15.12/5.07	o 597
15.12/5.07	o 596
15.12/5.07	o 595
15.12/5.07	o 594
15.12/5.07	o 593
15.12/5.07	o 592
15.12/5.08	o 591
15.12/5.08	o 590
15.12/5.08	o 589
15.12/5.08	o 588
15.12/5.08	o 587
15.12/5.08	o 586
15.12/5.08	o 585
15.12/5.09	o 584
15.12/5.09	o 583
15.12/5.09	o 582
15.12/5.09	o 581
15.12/5.09	o 580
15.12/5.09	o 579
15.12/5.09	o 578
15.12/5.09	o 577
15.12/5.09	o 576
15.12/5.10	o 575
15.12/5.10	o 574
15.12/5.10	o 573
15.12/5.10	o 572
15.12/5.10	o 571
15.12/5.10	o 570
15.12/5.10	o 569
15.12/5.10	o 568
15.12/5.11	o 567
15.39/5.11	o 566
15.39/5.11	o 565
15.39/5.11	o 564
15.39/5.11	o 563
15.39/5.12	o 562
15.39/5.12	o 561
15.39/5.12	o 560
15.39/5.12	o 559
15.39/5.12	o 558
15.39/5.12	o 557
15.39/5.12	o 556
15.39/5.13	o 555
15.39/5.13	o 554
15.39/5.13	o 553
15.39/5.13	o 552
15.39/5.13	o 551
15.39/5.13	o 550
15.39/5.13	o 549
15.39/5.14	o 548
15.39/5.14	o 547
15.39/5.16	o 546
15.39/5.16	o 545
15.39/5.16	o 544
15.39/5.16	o 543
15.39/5.16	o 542
15.39/5.16	o 541
15.39/5.16	o 540
15.39/5.16	o 539
15.39/5.17	o 538
15.39/5.17	o 537
15.39/5.17	o 536
15.39/5.17	o 535
15.39/5.17	o 534
15.39/5.17	o 533
15.39/5.17	o 532
15.39/5.18	o 531
15.39/5.18	o 530
15.39/5.18	o 529
15.39/5.18	o 528
15.39/5.18	o 527
15.39/5.18	o 526
15.39/5.18	o 525
15.39/5.18	o 524
15.39/5.18	o 523
15.39/5.18	o 522
15.39/5.19	o 521
15.39/5.19	o 520
15.39/5.19	o 519
15.39/5.19	o 518
15.39/5.19	o 517
15.39/5.19	o 516
15.39/5.19	o 515
15.39/5.19	o 514
15.39/5.20	o 513
15.39/5.20	o 512
15.39/5.20	o 511
15.91/5.20	o 510
15.91/5.20	o 509
15.91/5.20	o 508
15.91/5.20	o 507
15.91/5.21	o 506
15.91/5.21	o 505
15.91/5.21	o 504
15.91/5.21	o 503
15.91/5.21	o 502
15.91/5.21	o 501
15.91/5.21	o 500
15.91/5.22	o 499
15.91/5.22	o 498
15.91/5.22	o 497
15.91/5.22	o 496
15.91/5.22	o 495
15.91/5.22	o 494
15.91/5.22	o 493
15.91/5.22	o 492
15.91/5.24	o 491
15.91/5.24	o 490
15.91/5.24	o 489
15.91/5.24	o 488
15.91/5.24	o 487
15.91/5.24	o 486
15.91/5.25	o 485
15.91/5.25	o 484
15.91/5.26	o 483
15.91/5.26	o 482
15.91/5.26	o 481
15.91/5.27	o 480
15.91/5.28	o 479
15.91/5.28	o 478
15.91/5.28	o 477
15.91/5.29	o 476
15.91/5.29	o 475
15.91/5.29	o 474
15.91/5.30	o 473
15.91/5.30	o 472
15.91/5.30	o 471
16.67/5.30	o 470
16.67/5.30	o 469
16.67/5.30	o 468
16.67/5.30	o 467
16.67/5.31	o 466
16.67/5.31	o 465
16.67/5.31	o 464
16.67/5.32	o 463
16.67/5.32	o 462
16.67/5.33	o 461
16.67/5.33	o 460
16.67/5.34	o 459
16.67/5.34	o 458
16.67/5.35	o 457
16.67/5.35	o 456
16.67/5.36	o 455
16.67/5.37	o 454
16.67/5.37	o 453
16.67/5.37	o 452
16.67/5.37	o 451
16.67/5.38	o 450
16.67/5.38	o 449
16.67/5.39	o 448
16.67/5.40	o 447
16.67/5.40	o 446
16.67/5.40	o 445
17.52/5.41	o 444
17.52/5.41	o 443
17.52/5.42	o 442
17.52/5.42	o 441
17.52/5.43	o 440
17.52/5.43	o 439
17.52/5.43	o 438
17.52/5.43	o 437
17.52/5.45	o 436
17.52/5.46	o 435
17.52/5.47	o 434
17.52/5.47	o 433
17.52/5.48	o 432
17.52/5.48	o 431
17.52/5.49	o 430
17.52/5.50	o 429
17.52/5.50	o 428
18.26/5.51	o 427
18.26/5.51	o 426
18.26/5.52	o 425
18.26/5.53	o 424
18.26/5.54	o 423
18.26/5.54	o 422
18.26/5.54	o 421
18.26/5.54	o 420
18.26/5.54	o 419
18.26/5.55	o 418
18.26/5.56	o 417
18.26/5.57	o 416
18.26/5.57	o 415
18.26/5.58	o 414
18.26/5.59	o 413
18.26/5.59	o 412
18.26/5.59	o 411
18.26/5.60	o 410
19.11/5.61	o 409
19.11/5.63	o 408
19.11/5.63	o 407
19.11/5.63	o 406
19.11/5.64	o 405
19.11/5.64	o 404
19.11/5.64	o 403
19.11/5.64	o 402
19.11/5.65	o 401
19.11/5.65	o 400
19.11/5.65	o 399
19.11/5.66	o 398
19.11/5.66	o 397
19.11/5.67	o 396
19.11/5.67	o 395
19.11/5.67	o 394
19.11/5.67	o 393
19.11/5.67	o 392
19.11/5.69	o 391
19.85/5.72	o 390
19.85/5.72	o 389
19.85/5.72	o 388
19.85/5.73	o 387
19.85/5.73	o 386
19.85/5.75	o 385
19.85/5.75	o 384
19.85/5.75	o 383
19.85/5.77	o 382
19.85/5.78	o 381
19.85/5.78	o 380
19.85/5.78	o 379
19.85/5.80	o 378
19.85/5.80	o 377
19.85/5.80	o 376
20.68/5.81	o 375
20.68/5.81	o 374
20.68/5.81	o 373
20.68/5.82	o 372
20.68/5.82	o 371
20.68/5.82	o 370
20.68/5.82	o 369
20.68/5.82	o 368
20.68/5.82	o 367
20.68/5.83	o 366
20.68/5.83	o 365
20.68/5.83	o 364
20.68/5.83	o 363
20.68/5.84	o 362
20.68/5.84	o 361
20.68/5.84	o 360
20.68/5.85	o 359
20.68/5.87	o 358
20.68/5.87	o 357
20.68/5.87	o 356
20.68/5.87	o 355
20.68/5.87	o 354
20.68/5.88	o 353
20.68/5.88	o 352
20.68/5.88	o 351
21.43/5.90	o 350
21.43/5.91	o 349
21.43/5.91	o 348
21.43/5.93	o 347
21.43/5.94	o 346
21.43/5.95	o 345
21.43/5.95	o 344
21.43/5.96	o 343
21.43/5.96	o 342
21.43/5.99	o 341
21.43/6.00	o 340
22.28/6.01	o 339
22.28/6.01	o 338
22.28/6.02	o 337
22.28/6.03	o 336
22.28/6.04	o 335
22.28/6.04	o 334
22.28/6.05	o 333
22.28/6.06	o 332
22.28/6.07	o 331
22.28/6.07	o 330
22.28/6.07	o 329
22.28/6.07	o 328
22.28/6.07	o 327
22.28/6.07	o 326
22.28/6.07	o 325
22.28/6.09	o 324
22.28/6.09	o 323
22.28/6.09	o 322
22.28/6.09	o 321
22.28/6.10	o 320
22.28/6.11	o 319
22.28/6.11	o 318
23.13/6.12	o 317
23.13/6.12	o 316
23.13/6.13	o 315
23.13/6.14	o 314
23.13/6.14	o 313
23.13/6.14	o 312
23.13/6.15	o 311
23.13/6.16	o 310
23.13/6.17	o 309
23.13/6.17	o 308
23.13/6.19	o 307
23.13/6.20	o 306
23.85/6.21	o 305
23.85/6.21	o 304
23.85/6.21	o 303
23.85/6.23	o 302
23.85/6.24	o 301
23.85/6.24	o 300
23.85/6.24	o 299
23.85/6.25	o 298
23.85/6.26	o 297
23.85/6.27	o 296
23.85/6.29	o 295
23.85/6.29	o 294
23.85/6.29	o 293
23.85/6.29	o 292
23.85/6.29	o 291
23.85/6.30	o 290
23.85/6.30	o 289
23.85/6.30	o 288
23.85/6.31	o 287
23.85/6.31	o 286
24.69/6.32	o 285
24.69/6.33	o 284
24.69/6.33	o 283
24.69/6.33	o 282
24.69/6.33	o 281
24.69/6.33	o 280
24.69/6.35	o 279
24.69/6.35	o 278
24.69/6.35	o 277
24.69/6.35	o 276
24.69/6.37	o 275
24.69/6.37	o 274
24.69/6.37	o 273
24.69/6.38	o 272
24.69/6.39	o 271
24.69/6.40	o 270
25.40/6.41	o 269
25.40/6.44	o 268
25.40/6.45	o 267
25.40/6.45	o 266
25.40/6.46	o 265
25.40/6.48	o 264
25.40/6.49	o 263
26.20/6.51	o 262
26.20/6.53	o 261
26.20/6.53	o 260
26.20/6.54	o 259
26.20/6.55	o 258
26.20/6.55	o 257
26.20/6.57	o 256
26.20/6.58	o 255
27.00/6.60	o 254
27.00/6.62	o 253
27.00/6.62	o 252
27.00/6.62	o 251
27.00/6.66	o 250
27.00/6.66	o 249
27.00/6.66	o 248
27.00/6.67	o 247
27.00/6.67	o 246
27.80/6.72	o 245
27.80/6.76	o 244
27.80/6.76	o 243
27.80/6.77	o 242
27.80/6.77	o 241
27.80/6.77	o 240
27.80/6.77	o 239
28.59/6.87	o 238
28.59/6.88	o 237
29.36/6.90	o 236
29.36/6.91	o 235
29.36/6.93	o 234
29.36/6.93	o 233
29.36/6.93	o 232
29.36/6.96	o 231
29.36/7.00	o 230
30.22/7.09	o 229
30.22/7.10	o 228
30.22/7.10	o 227
30.22/7.10	o 226
31.03/7.11	o 225
31.03/7.11	o 224
31.03/7.11	o 223
31.03/7.18	o 222
31.75/7.23	o 221
31.75/7.27	o 220
31.75/7.29	o 219
32.62/7.33	o 218
32.62/7.33	o 217
32.62/7.34	o 216
32.62/7.34	o 215
32.62/7.34	o 214
32.62/7.38	o 213
32.62/7.38	o 212
33.35/7.48	o 211
34.14/7.51	o 210
34.14/7.54	o 209
34.14/7.55	o 208
34.14/7.55	o 207
34.14/7.55	o 206
34.94/7.61	o 205
34.94/7.61	o 204
34.94/7.68	o 203
35.75/7.71	o 202
35.75/7.71	o 201
35.75/7.71	o 200
35.75/7.71	o 199
35.75/7.72	o 198
35.75/7.72	o 197
35.75/7.74	o 196
35.75/7.76	o 195
35.75/7.78	o 194
35.75/7.79	o 193
36.55/7.81	o 192
36.55/7.81	o 191
36.55/7.84	o 190
36.55/7.85	o 189
36.55/7.85	o 188
36.55/7.87	o 187
36.55/7.87	o 186
38.21/8.03	o 185
38.21/8.03	o 184
38.21/8.03	o 183
38.21/8.03	o 182
39.73/8.24	o 181
41.33/8.43	o 180
41.33/8.47	o 179
42.12/8.51	o 178
42.12/8.51	o 177
46.94/9.16	o 176
53.25/9.95	o 175
54.11/10.04	o 174
54.11/10.05	o 173
58.83/10.69	o 172
70.03/12.02	o 171
70.03/12.02	o 170
78.82/13.13	o 169
79.54/13.29	o 168
82.73/13.65	o 167
114.62/17.64	o 166
158.51/23.16	o 165
168.77/24.42	o 164
185.51/26.51	o 163
746.66/96.93	o 162
752.24/97.63	o 161
828.76/107.26	o 160
847.87/109.60	o 159
876.58/113.28	o 158
1455.11/185.82	o 157
1463.10/186.87	o 156
2086.26/265.26	o 155
2323.91/295.34	o 154
2727.44/346.46	o 153
2798.49/355.46	o 152
2812.04/357.17	o 151
3580.09/454.37	o 150
3580.09/454.38	o 149
3761.06/477.22	o 148
4515.48/572.72	o 147
5022.06/636.84	o 146
5032.43/638.11	o 145
5457.35/691.98	o 144
5458.19/692.06	o 143
5458.19/692.07	o 142
8435.38/1068.60	o 141
8548.57/1082.88	o 140
11384.40/1441.60	o 139
12792.63/1619.60	o 138
12806.76/1621.31	o 137
12949.51/1639.39	o 136
14723.94/1863.40	o 135
14724.73/1863.41	o 134
15040.21/1903.21	o 133
16136.56/2041.60	o 132
16137.37/2041.69	o 131
16348.76/2068.37	o 130
16357.51/2069.49	o 129
16579.95/2097.47	o 128
16591.09/2098.89	o 127
16778.62/2122.43	o 126
16780.99/2122.77	o 125
17299.37/2188.02	o 124
17905.86/2264.47	o 123
18472.21/2335.88	o 122
18539.57/2344.32	o 121
18553.93/2346.19	o 120
18702.45/2364.87	o 119
19381.72/2450.52	o 118
19665.06/2486.24	o 117
19756.39/2497.73	o 116
19933.05/2520.10	s SATISFIABLE
19933.05/2520.11	v <instantiation>
19933.05/2520.11	v 	<list>
19933.05/2520.11	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]
19933.05/2520.11	v 	</list>
19933.05/2520.11	v 	<values>
19933.05/2520.11	v 		1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 1 0 0 1 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 
19933.05/2520.11	v 	</values>
19933.05/2520.11	v </instantiation>

Verifier Data 

OK	116

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 (11517 MiB free)
  memory of node 1: 16384 MiB (9651 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4291082-1532631373/watcher-4291082-1532631373 -o /tmp/evaluation-result-4291082-1532631373/solver-4291082-1532631373 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node149-1532623783-7624 --watchdog 2580 java -Xmx22000m -jar oscarCPXcsp3-parallel.jar --randomseed 83928903 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4291082-1532631373.xml 

running on 8 cores: 0,2,4,6,1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=8360, runsolver pid=8357
Current StackSize limit: 8192 KiB


[startup+0.100153 s]*
/proc/loadavg: 8.78 8.70 8.72 2/198 8380
/proc/meminfo: memFree=21661064/32770624 swapFree=67108860/67108860
[pid=8360] ppid=8357 vsize=26103424 memory=30000 CPUtime=0.11 cores=0-7
/proc/8360/stat : 8360 (java) S 8357 8360 7597 0 -1 1077944320 6975 0 0 0 9 2 0 0 20 0 20 0 80700496 26729906176 7500 33554432000 4194304 4196468 140722043593536 140722043576080 140434420264695 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23441408 140722043601999 140722043602181 140722043602181 140722043604943 0
/proc/8360/statm: 6525856 7500 3144 1 0 6487932 0
[pid=8360/tid=8362] ppid=8357 vsize=26103424 memory=4570481213003953047 CPUtime=0.09 cores=0-7
/proc/8360/task/8362/stat : 8362 (java) R 8357 8360 7597 0 -1 4202560 5246 0 0 0 8 1 0 0 20 0 20 0 80700497 26729906176 7698 33554432000 4194304 4196468 140722043593536 140434424467824 140434400541520 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23441408 140722043601999 140722043602181 140722043602181 140722043604943 0
[pid=8360/tid=8363] ppid=8357 vsize=26103424 memory=732370007804001253 CPUtime=0 cores=0-7
/proc/8360/task/8363/stat : 8363 (java) S 8357 8360 7597 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80700498 26729906176 7698 33554432000 4194304 4196468 140722043593536 140434372885648 140434420274901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23441408 140722043601999 140722043602181 140722043602181 140722043604943 0
[pid=8360/tid=8364] ppid=8357 vsize=26103424 memory=139869466547840 CPUtime=0 cores=0-7
/proc/8360/task/8364/stat : 8364 (java) S 8357 8360 7597 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80700498 26729906176 7764 33554432000 4194304 4196468 140722043593536 140434371832848 140434420274901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23441408 140722043601999 140722043602181 140722043602181 140722043604943 0
[pid=8360/tid=8365] ppid=8357 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/8360/task/8365/stat : 8365 (java) S 8357 8360 7597 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80700498 26729906176 7764 33554432000 4194304 4196468 140722043593536 140434370780048 140434420274901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23441408 140722043601999 140722043602181 140722043602181 140722043604943 0
[pid=8360/tid=8366] ppid=8357 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/8360/task/8366/stat : 8366 (java) S 8357 8360 7597 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80700498 26729906176 7764 33554432000 4194304 4196468 140722043593536 140434369727248 140434420274901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23441408 140722043601999 140722043602181 140722043602181 140722043604943 0
[pid=8360/tid=8367] ppid=8357 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/8360/task/8367/stat : 8367 (java) S 8357 8360 7597 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80700498 26729906176 7764 33554432000 4194304 4196468 140722043593536 140434368674448 140434420274901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23441408 140722043601999 140722043602181 140722043602181 140722043604943 0
[pid=8360/tid=8368] ppid=8357 vsize=26103424 memory=-1 CPUtime=0 cores=0-7
/proc/8360/task/8368/stat : 8368 (java) S 8357 8360 7597 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80700498 26729906176 7764 33554432000 4194304 4196468 140722043593536 140434367621648 140434420274901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23441408 140722043601999 140722043602181 140722043602181 140722043604943 0
[pid=8360/tid=8369] ppid=8357 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/8360/task/8369/stat : 8369 (java) S 8357 8360 7597 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80700498 26729906176 7764 33554432000 4194304 4196468 140722043593536 140434366568848 140434420274901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23441408 140722043601999 140722043602181 140722043602181 140722043604943 0
[pid=8360/tid=8370] ppid=8357 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/8360/task/8370/stat : 8370 (java) S 8357 8360 7597 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80700498 26729906176 7764 33554432000 4194304 4196468 140722043593536 140434365516048 140434420274901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23441408 140722043601999 140722043602181 140722043602181 140722043604943 0
[pid=8360/tid=8371] ppid=8357 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/8360/task/8371/stat : 8371 (java) S 8357 8360 7597 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80700499 26729906176 7764 33554432000 4194304 4196468 140722043593536 140433479932784 140434420275842 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23441408 140722043601999 140722043602181 140722043602181 140722043604943 0
[pid=8360/tid=8372] ppid=8357 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/8360/task/8372/stat : 8372 (java) S 8357 8360 7597 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 80700500 26729906176 7764 33554432000 4194304 4196468 140722043593536 140433478878752 140434420274901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23441408 140722043601999 140722043602181 140722043602181 140722043604943 0
[pid=8360/tid=8373] ppid=8357 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/8360/task/8373/stat : 8373 (java) S 8357 8360 7597 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 80700500 26729906176 7764 33554432000 4194304 4196468 140722043593536 140433477825904 140434420274901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23441408 140722043601999 140722043602181 140722043602181 140722043604943 0
[pid=8360/tid=8374] ppid=8357 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/8360/task/8374/stat : 8374 (java) S 8357 8360 7597 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80700502 26729906176 7830 33554432000 4194304 4196468 140722043593536 140433476774224 140434420283291 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23441408 140722043601999 140722043602181 140722043602181 140722043604943 0
[pid=8360/tid=8375] ppid=8357 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/8360/task/8375/stat : 8375 (java) S 8357 8360 7597 0 -1 1077944384 298 0 0 0 0 0 0 0 20 0 20 0 80700502 26729906176 7830 33554432000 4194304 4196468 140722043593536 140433475721584 140434420275842 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23441408 140722043601999 140722043602181 140722043602181 140722043604943 0
[pid=8360/tid=8376] ppid=8357 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/8360/task/8376/stat : 8376 (java) S 8357 8360 7597 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80700502 26729906176 7830 33554432000 4194304 4196468 140722043593536 140433474668784 140434420275842 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23441408 140722043601999 140722043602181 140722043602181 140722043604943 0
[pid=8360/tid=8377] ppid=8357 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/8360/task/8377/stat : 8377 (java) S 8357 8360 7597 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 80700502 26729906176 7830 33554432000 4194304 4196468 140722043593536 140433473615984 140434420275842 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23441408 140722043601999 140722043602181 140722043602181 140722043604943 0
[pid=8360/tid=8378] ppid=8357 vsize=26103424 memory=0 CPUtime=0.01 cores=0-7
/proc/8360/task/8378/stat : 8378 (java) S 8357 8360 7597 0 -1 1077944384 254 0 0 0 1 0 0 0 20 0 20 0 80700502 26729906176 7830 33554432000 4194304 4196468 140722043593536 140433472563184 140434420275842 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23441408 140722043601999 140722043602181 140722043602181 140722043604943 0
[pid=8360/tid=8379] ppid=8357 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/8360/task/8379/stat : 8379 (java) S 8357 8360 7597 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80700503 26729906176 7830 33554432000 4194304 4196468 140722043593536 140433471511648 140434420274901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23441408 140722043601999 140722043602181 140722043602181 140722043604943 0
[pid=8360/tid=8380] ppid=8357 vsize=26103424 memory=-1 CPUtime=0 cores=0-7
/proc/8360/task/8380/stat : 8380 (java) S 8357 8360 7597 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80700503 26729906176 7830 33554432000 4194304 4196468 140722043593536 140433470458928 140434420275842 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23441408 140722043601999 140722043602181 140722043602181 140722043604943 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26103424 KiB
Current children cumulated memory: 30000 KiB

[startup+0.210571 s]*
/proc/loadavg: 8.78 8.70 8.72 3/198 8380
/proc/meminfo: memFree=21647344/32770624 swapFree=67108860/67108860
[pid=8360] ppid=8357 vsize=26103424 memory=43308 CPUtime=0.3 cores=0-7
/proc/8360/stat : 8360 (java) S 8357 8360 7597 0 -1 1077944320 10503 0 0 0 27 3 0 0 20 0 20 0 80700496 26729906176 10827 33554432000 4194304 4196468 140722043593536 140722043576080 140434420264695 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23441408 140722043601999 140722043602181 140722043602181 140722043604943 0
/proc/8360/statm: 6525856 10827 3347 1 0 6487932 0
[pid=8360/tid=8362] ppid=8357 vsize=26103424 memory=32758254098972862 CPUtime=0.2 cores=0-7
/proc/8360/task/8362/stat : 8362 (java) R 8357 8360 7597 0 -1 4202560 8277 0 0 0 18 2 0 0 20 0 20 0 80700497 26729906176 10827 33554432000 4194304 4196468 140722043593536 140434424492352 140434420286621 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23441408 140722043601999 140722043602181 140722043602181 140722043604943 0
[pid=8360/tid=8363] ppid=8357 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/8360/task/8363/stat : 8363 (java) S 8357 8360 7597 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80700498 26729906176 10827 33554432000 4194304 4196468 140722043593536 140434372885648 140434420274901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23441408 140722043601999 140722043602181 140722043602181 140722043604943 0
[pid=8360/tid=8364] ppid=8357 vsize=26103424 memory=139869467016376 CPUtime=0 cores=0-7
/proc/8360/task/8364/stat : 8364 (java) S 8357 8360 7597 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80700498 26729906176 10827 33554432000 4194304 4196468 140722043593536 140434371832848 140434420274901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23441408 140722043601999 140722043602181 140722043602181 140722043604943 0
[pid=8360/tid=8365] ppid=8357 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/8360/task/8365/stat : 8365 (java) S 8357 8360 7597 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80700498 26729906176 10827 33554432000 4194304 4196468 140722043593536 140434370780048 140434420274901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23441408 140722043601999 140722043602181 140722043602181 140722043604943 0
[pid=8360/tid=8366] ppid=8357 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/8360/task/8366/stat : 8366 (java) S 8357 8360 7597 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80700498 26729906176 10827 33554432000 4194304 4196468 140722043593536 140434369727248 140434420274901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23441408 140722043601999 140722043602181 140722043602181 140722043604943 0
[pid=8360/tid=8367] ppid=8357 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/8360/task/8367/stat : 8367 (java) S 8357 8360 7597 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80700498 26729906176 10827 33554432000 4194304 4196468 140722043593536 140434368674448 140434420274901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23441408 140722043601999 140722043602181 140722043602181 140722043604943 0
[pid=8360/tid=8368] ppid=8357 vsize=26103424 memory=-1 CPUtime=0 cores=0-7
/proc/8360/task/8368/stat : 8368 (java) S 8357 8360 7597 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80700498 26729906176 10827 33554432000 4194304 4196468 140722043593536 140434367621648 140434420274901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23441408 140722043601999 140722043602181 140722043602181 140722043604943 0
[pid=8360/tid=8369] ppid=8357 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/8360/task/8369/stat : 8369 (java) S 8357 8360 7597 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80700498 26729906176 10827 33554432000 4194304 4196468 140722043593536 140434366568848 140434420274901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23441408 140722043601999 140722043602181 140722043602181 140722043604943 0
[pid=8360/tid=8370] ppid=8357 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/8360/task/8370/stat : 8370 (java) S 8357 8360 7597 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80700498 26729906176 10827 33554432000 4194304 4196468 140722043593536 140434365516048 140434420274901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23441408 140722043601999 140722043602181 140722043602181 140722043604943 0
[pid=8360/tid=8371] ppid=8357 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/8360/task/8371/stat : 8371 (java) S 8357 8360 7597 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80700499 26729906176 10827 33554432000 4194304 4196468 140722043593536 140433479932784 140434420275842 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23441408 140722043601999 140722043602181 140722043602181 140722043604943 0
[pid=8360/tid=8372] ppid=8357 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/8360/task/8372/stat : 8372 (java) S 8357 8360 7597 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 80700500 26729906176 10827 33554432000 4194304 4196468 140722043593536 140433478878752 140434420274901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23441408 140722043601999 140722043602181 140722043602181 140722043604943 0
[pid=8360/tid=8373] ppid=8357 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/8360/task/8373/stat : 8373 (java) S 8357 8360 7597 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 80700500 26729906176 10827 33554432000 4194304 4196468 140722043593536 140433477825904 140434420274901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23441408 140722043601999 140722043602181 140722043602181 140722043604943 0
[pid=8360/tid=8374] ppid=8357 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/8360/task/8374/stat : 8374 (java) S 8357 8360 7597 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80700502 26729906176 10827 33554432000 4194304 4196468 140722043593536 140433476774224 140434420283291 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23441408 140722043601999 140722043602181 140722043602181 140722043604943 0
[pid=8360/tid=8375] ppid=8357 vsize=26103424 memory=0 CPUtime=0.01 cores=0-7
/proc/8360/task/8375/stat : 8375 (java) S 8357 8360 7597 0 -1 1077944384 479 0 0 0 1 0 0 0 20 0 20 0 80700502 26729906176 10827 33554432000 4194304 4196468 140722043593536 140433475721584 140434420275842 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23441408 140722043601999 140722043602181 140722043602181 140722043604943 0
[pid=8360/tid=8376] ppid=8357 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/8360/task/8376/stat : 8376 (java) S 8357 8360 7597 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 20 0 80700502 26729906176 10827 33554432000 4194304 4196468 140722043593536 140433474668784 140434420275842 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23441408 140722043601999 140722043602181 140722043602181 140722043604943 0
[pid=8360/tid=8377] ppid=8357 vsize=26103424 memory=0 CPUtime=0.01 cores=0-7
/proc/8360/task/8377/stat : 8377 (java) S 8357 8360 7597 0 -1 1077944384 42 0 0 0 1 0 0 0 20 0 20 0 80700502 26729906176 10827 33554432000 4194304 4196468 140722043593536 140433473615984 140434420275842 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23441408 140722043601999 140722043602181 140722043602181 140722043604943 0
[pid=8360/tid=8378] ppid=8357 vsize=26103424 memory=0 CPUtime=0.06 cores=0-7
/proc/8360/task/8378/stat : 8378 (java) S 8357 8360 7597 0 -1 1077944384 297 0 0 0 6 0 0 0 20 0 20 0 80700502 26729906176 10827 33554432000 4194304 4196468 140722043593536 140433472563184 140434420275842 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23441408 140722043601999 140722043602181 140722043602181 140722043604943 0
[pid=8360/tid=8379] ppid=8357 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/8360/task/8379/stat : 8379 (java) S 8357 8360 7597 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80700503 26729906176 10827 33554432000 4194304 4196468 140722043593536 140433471511648 140434420274901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23441408 140722043601999 140722043602181 140722043602181 140722043604943 0
[pid=8360/tid=8380] ppid=8357 vsize=26103424 memory=-1 CPUtime=0 cores=0-7
/proc/8360/task/8380/stat : 8380 (java) S 8357 8360 7597 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80700503 26729906176 10827 33554432000 4194304 4196468 140722043593536 140433470458928 140434420275842 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23441408 140722043601999 140722043602181 140722043602181 140722043604943 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 26103424 KiB
Current children cumulated memory: 43308 KiB

[startup+0.310626 s]*
/proc/loadavg: 8.78 8.70 8.72 3/198 8380
/proc/meminfo: memFree=21643932/32770624 swapFree=67108860/67108860
[pid=8360] ppid=8357 vsize=26103424 memory=46852 CPUtime=0.42 cores=0-7
/proc/8360/stat : 8360 (java) S 8357 8360 7597 0 -1 1077944320 10905 0 0 0 39 3 0 0 20 0 20 0 80700496 26729906176 11713 33554432000 4194304 4196468 140722043593536 140722043576080 140434420264695 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23441408 140722043601999 140722043602181 140722043602181 140722043604943 0
/proc/8360/statm: 6525856 11713 3371 1 0 6487932 0
[pid=8360/tid=8362] ppid=8357 vsize=26103424 memory=8112282956445269571 CPUtime=0.29 cores=0-7
/proc/8360/task/8362/stat : 8362 (java) R 8357 8360 7597 0 -1 4202560 8613 0 0 0 27 2 0 0 20 0 20 0 80700497 26729906176 11713 33554432000 4194304 4196468 140722043593536 140434424426432 140434400540523 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23441408 140722043601999 140722043602181 140722043602181 140722043604943 0
[pid=8360/tid=8363] ppid=8357 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/8360/task/8363/stat : 8363 (java) S 8357 8360 7597 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80700498 26729906176 11713 33554432000 4194304 4196468 140722043593536 140434372885648 140434420274901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23441408 140722043601999 140722043602181 140722043602181 140722043604943 0
[pid=8360/tid=8364] ppid=8357 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/8360/task/8364/stat : 8364 (java) S 8357 8360 7597 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80700498 26729906176 11713 33554432000 4194304 4196468 140722043593536 140434371832848 140434420274901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23441408 140722043601999 140722043602181 140722043602181 140722043604943 0
[pid=8360/tid=8365] ppid=8357 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/8360/task/8365/stat : 8365 (java) S 8357 8360 7597 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80700498 26729906176 11713 33554432000 4194304 4196468 140722043593536 140434370780048 140434420274901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23441408 140722043601999 140722043602181 140722043602181 140722043604943 0
[pid=8360/tid=8366] ppid=8357 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/8360/task/8366/stat : 8366 (java) S 8357 8360 7597 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80700498 26729906176 11713 33554432000 4194304 4196468 140722043593536 140434369727248 140434420274901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23441408 140722043601999 140722043602181 140722043602181 140722043604943 0
[pid=8360/tid=8367] ppid=8357 vsize=26103424 memory=2244 CPUtime=0 cores=0-7
/proc/8360/task/8367/stat : 8367 (java) S 8357 8360 7597 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80700498 26729906176 11713 33554432000 4194304 4196468 140722043593536 140434368674448 140434420274901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23441408 140722043601999 140722043602181 140722043602181 140722043604943 0
[pid=8360/tid=8368] ppid=8357 vsize=26103424 memory=139869368185775 CPUtime=0 cores=0-7
/proc/8360/task/8368/stat : 8368 (java) S 8357 8360 7597 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80700498 26729906176 11713 33554432000 4194304 4196468 140722043593536 140434367621648 140434420274901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23441408 140722043601999 140722043602181 140722043602181 140722043604943 0
[pid=8360/tid=8369] ppid=8357 vsize=26103424 memory=139869368188080 CPUtime=0 cores=0-7
/proc/8360/task/8369/stat : 8369 (java) S 8357 8360 7597 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80700498 26729906176 11713 33554432000 4194304 4196468 140722043593536 140434366568848 140434420274901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23441408 140722043601999 140722043602181 140722043602181 140722043604943 0
[pid=8360/tid=8370] ppid=8357 vsize=26103424 memory=139869368190384 CPUtime=0 cores=0-7
/proc/8360/task/8370/stat : 8370 (java) S 8357 8360 7597 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80700498 26729906176 11713 33554432000 4194304 4196468 140722043593536 140434365516048 140434420274901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23441408 140722043601999 140722043602181 140722043602181 140722043604943 0
[pid=8360/tid=8371] ppid=8357 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/8360/task/8371/stat : 8371 (java) S 8357 8360 7597 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80700499 26729906176 11713 33554432000 4194304 4196468 140722043593536 140433479932784 140434420275842 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23441408 140722043601999 140722043602181 140722043602181 140722043604943 0
[pid=8360/tid=8372] ppid=8357 vsize=26103424 memory=279738736387728 CPUtime=0 cores=0-7
/proc/8360/task/8372/stat : 8372 (java) S 8357 8360 7597 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 80700500 26729906176 11713 33554432000 4194304 4196468 140722043593536 140433478878752 140434420274901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23441408 140722043601999 140722043602181 140722043602181 140722043604943 0
[pid=8360/tid=8373] ppid=8357 vsize=26103424 memory=279738736394640 CPUtime=0 cores=0-7
/proc/8360/task/8373/stat : 8373 (java) S 8357 8360 7597 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 80700500 26729906176 11713 33554432000 4194304 4196468 140722043593536 140433477825904 140434420274901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23441408 140722043601999 140722043602181 140722043602181 140722043604943 0
[pid=8360/tid=8374] ppid=8357 vsize=26103424 memory=279738736335920 CPUtime=0 cores=0-7
/proc/8360/task/8374/stat : 8374 (java) S 8357 8360 7597 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80700502 26729906176 11713 33554432000 4194304 4196468 140722043593536 140433476774224 140434420283291 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23441408 140722043601999 140722043602181 140722043602181 140722043604943 0
[pid=8360/tid=8375] ppid=8357 vsize=26103424 memory=279738736408464 CPUtime=0.01 cores=0-7
/proc/8360/task/8375/stat : 8375 (java) S 8357 8360 7597 0 -1 1077944384 479 0 0 0 1 0 0 0 20 0 20 0 80700502 26729906176 11713 33554432000 4194304 4196468 140722043593536 140433475721584 140434420275842 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23441408 140722043601999 140722043602181 140722043602181 140722043604943 0
[pid=8360/tid=8376] ppid=8357 vsize=26103424 memory=279738736415376 CPUtime=0 cores=0-7
/proc/8360/task/8376/stat : 8376 (java) S 8357 8360 7597 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 20 0 80700502 26729906176 11713 33554432000 4194304 4196468 140722043593536 140433474668784 140434420275842 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23441408 140722043601999 140722043602181 140722043602181 140722043604943 0
[pid=8360/tid=8377] ppid=8357 vsize=26103424 memory=279738736413072 CPUtime=0.01 cores=0-7
/proc/8360/task/8377/stat : 8377 (java) S 8357 8360 7597 0 -1 1077944384 102 0 0 0 1 0 0 0 20 0 20 0 80700502 26729906176 11713 33554432000 4194304 4196468 140722043593536 140433473615984 140434420275842 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23441408 140722043601999 140722043602181 140722043602181 140722043604943 0
[pid=8360/tid=8378] ppid=8357 vsize=26103424 memory=279738736429632 CPUtime=0.07 cores=0-7
/proc/8360/task/8378/stat : 8378 (java) S 8357 8360 7597 0 -1 1077944384 302 0 0 0 7 0 0 0 20 0 20 0 80700502 26729906176 11713 33554432000 4194304 4196468 140722043593536 140433472563184 140434420275842 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23441408 140722043601999 140722043602181 140722043602181 140722043604943 0
[pid=8360/tid=8379] ppid=8357 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/8360/task/8379/stat : 8379 (java) S 8357 8360 7597 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80700503 26729906176 11713 33554432000 4194304 4196468 140722043593536 140433471511648 140434420274901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23441408 140722043601999 140722043602181 140722043602181 140722043604943 0
[pid=8360/tid=8380] ppid=8357 vsize=26103424 memory=-1 CPUtime=0 cores=0-7
/proc/8360/task/8380/stat : 8380 (java) S 8357 8360 7597 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80700503 26729906176 11713 33554432000 4194304 4196468 140722043593536 140433470458928 140434420275842 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23441408 140722043601999 140722043602181 140722043602181 140722043604943 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 26103424 KiB
Current children cumulated memory: 46852 KiB

[startup+0.700913 s]
/proc/loadavg: 8.78 8.70 8.72 3/198 8380
/proc/meminfo: memFree=21620120/32770624 swapFree=67108860/67108860
[pid=8360] ppid=8357 vsize=26105492 memory=85576 CPUtime=0.98 cores=0-7
/proc/8360/stat : 8360 (java) S 8357 8360 7597 0 -1 1077944320 17841 0 0 0 92 6 0 0 20 0 20 0 80700496 26732023808 21394 33554432000 4194304 4196468 140722043593536 140722043576080 140434420264695 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23441408 140722043601999 140722043602181 140722043602181 140722043604943 0
/proc/8360/statm: 6526373 21394 3500 1 0 6488444 0
[pid=8360/tid=8362] ppid=8357 vsize=26105492 memory=7444840787232711508 CPUtime=0.67 cores=0-7
/proc/8360/task/8362/stat : 8362 (java) R 8357 8360 7597 0 -1 4202560 15059 0 0 0 62 5 0 0 20 0 20 0 80700497 26732023808 21394 33554432000 4194304 4196468 140722043593536 140434424489280 140434404701550 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23441408 140722043601999 140722043602181 140722043602181 140722043604943 0
[pid=8360/tid=8363] ppid=8357 vsize=26105492 memory=35987530989942 CPUtime=0 cores=0-7
/proc/8360/task/8363/stat : 8363 (java) S 8357 8360 7597 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80700498 26732023808 21394 33554432000 4194304 4196468 140722043593536 140434372885648 140434420274901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23441408 140722043601999 140722043602181 140722043602181 140722043604943 0
[pid=8360/tid=8364] ppid=8357 vsize=26105492 memory=139869368196321 CPUtime=0 cores=0-7
/proc/8360/task/8364/stat : 8364 (java) S 8357 8360 7597 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80700498 26732023808 21394 33554432000 4194304 4196468 140722043593536 140434371832848 140434420274901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23441408 140722043601999 140722043602181 140722043602181 140722043604943 0
[pid=8360/tid=8365] ppid=8357 vsize=26105492 memory=0 CPUtime=0 cores=0-7
/proc/8360/task/8365/stat : 8365 (java) S 8357 8360 7597 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80700498 26732023808 21394 33554432000 4194304 4196468 140722043593536 140434370780048 140434420274901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23441408 140722043601999 140722043602181 140722043602181 140722043604943 0
[pid=8360/tid=8366] ppid=8357 vsize=26105492 memory=0 CPUtime=0 cores=0-7
/proc/8360/task/8366/stat : 8366 (java) S 8357 8360 7597 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80700498 26732023808 21394 33554432000 4194304 4196468 140722043593536 140434369727248 140434420274901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23441408 140722043601999 140722043602181 140722043602181 140722043604943 0
[pid=8360/tid=8367] ppid=8357 vsize=26105492 memory=0 CPUtime=0 cores=0-7
/proc/8360/task/8367/stat : 8367 (java) S 8357 8360 7597 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80700498 26732023808 21394 33554432000 4194304 4196468 140722043593536 140434368674448 140434420274901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23441408 140722043601999 140722043602181 140722043602181 140722043604943 0
[pid=8360/tid=8368] ppid=8357 vsize=26105492 memory=0 CPUtime=0 cores=0-7
/proc/8360/task/8368/stat : 8368 (java) S 8357 8360 7597 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80700498 26732023808 21906 33554432000 4194304 4196468 140722043593536 140434367621648 140434420274901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23441408 140722043601999 140722043602181 140722043602181 140722043604943 0
[pid=8360/tid=8369] ppid=8357 vsize=26105492 memory=0 CPUtime=0 cores=0-7
/proc/8360/task/8369/stat : 8369 (java) S 8357 8360 7597 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80700498 26732023808 21906 33554432000 4194304 4196468 140722043593536 140434366568848 140434420274901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23441408 140722043601999 140722043602181 140722043602181 140722043604943 0
[pid=8360/tid=8370] ppid=8357 vsize=26105492 memory=1840 CPUtime=0 cores=0-7
/proc/8360/task/8370/stat : 8370 (java) S 8357 8360 7597 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80700498 26732023808 21906 33554432000 4194304 4196468 140722043593536 140434365516048 140434420274901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23441408 140722043601999 140722043602181 140722043602181 140722043604943 0
[pid=8360/tid=8371] ppid=8357 vsize=26105492 memory=1004 CPUtime=0 cores=0-7
/proc/8360/task/8371/stat : 8371 (java) S 8357 8360 7597 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80700499 26732023808 21906 33554432000 4194304 4196468 140722043593536 140433479932784 140434420275842 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23441408 140722043601999 140722043602181 140722043602181 140722043604943 0

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

/proc/8360/task/8384/stat : 8384 (java) R 8357 8360 7597 0 -1 4202560 71403 0 0 0 247913 44 0 0 20 0 46 0 80700869 28518940672 482097 33554432000 4194304 4196468 140722043593536 140433451750824 140434052058594 0 4 0 16800975 0 0 0 -1 1 0 0 32 0 0 6293624 6294260 23441408 140722043601999 140722043602181 140722043602181 140722043604943 0
[pid=8360/tid=8385] ppid=8357 vsize=27850528 memory=1712 CPUtime=0.11 cores=0-7
/proc/8360/task/8385/stat : 8385 (java) S 8357 8360 7597 0 -1 1077944384 226 0 0 0 11 0 0 0 20 0 46 0 80700869 28518940672 482097 33554432000 4194304 4196468 140722043593536 140433450705936 140434420274901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23441408 140722043601999 140722043602181 140722043602181 140722043604943 0
[pid=8360/tid=8386] ppid=8357 vsize=27850528 memory=1956 CPUtime=2478.91 cores=0-7
/proc/8360/task/8386/stat : 8386 (java) R 8357 8360 7597 0 -1 4202560 70061 0 0 0 247848 43 0 0 20 0 46 0 80700876 28518940672 482097 33554432000 4194304 4196468 140722043593536 140433447549856 140434046359634 0 4 0 16800975 0 0 0 -1 6 0 0 33 0 0 6293624 6294260 23441408 140722043601999 140722043602181 140722043602181 140722043604943 0
[pid=8360/tid=8387] ppid=8357 vsize=27850528 memory=1196 CPUtime=2482.18 cores=0-7
/proc/8360/task/8387/stat : 8387 (java) R 8357 8360 7597 0 -1 4202560 73577 0 0 0 248172 46 0 0 20 0 46 0 80700876 28518940672 482097 33554432000 4194304 4196468 140722043593536 140433446496872 140434052645620 0 4 0 16800975 0 0 0 -1 4 0 0 41 0 0 6293624 6294260 23441408 140722043601999 140722043602181 140722043602181 140722043604943 0
[pid=8360/tid=8388] ppid=8357 vsize=27850528 memory=8432 CPUtime=0.1 cores=0-7
/proc/8360/task/8388/stat : 8388 (java) S 8357 8360 7597 0 -1 1077944384 589 0 0 0 10 0 0 0 20 0 46 0 80700876 28518940672 482097 33554432000 4194304 4196468 140722043593536 140433445451408 140434420274901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23441408 140722043601999 140722043602181 140722043602181 140722043604943 0
[pid=8360/tid=8389] ppid=8357 vsize=27850528 memory=5644 CPUtime=2477.83 cores=0-7
/proc/8360/task/8389/stat : 8389 (java) R 8357 8360 7597 0 -1 4202560 70682 0 0 0 247745 38 0 0 20 0 46 0 80700876 28518940672 482097 33554432000 4194304 4196468 140722043593536 140433444392480 140434052056533 0 4 0 16800975 0 0 0 -1 5 0 0 43 0 0 6293624 6294260 23441408 140722043601999 140722043602181 140722043602181 140722043604943 0
[pid=8360/tid=8390] ppid=8357 vsize=27850528 memory=4592 CPUtime=0.04 cores=0-7
/proc/8360/task/8390/stat : 8390 (java) S 8357 8360 7597 0 -1 1077944384 459 0 0 0 4 0 0 0 20 0 46 0 80700876 28518940672 482097 33554432000 4194304 4196468 140722043593536 140433443345808 140434420274901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23441408 140722043601999 140722043602181 140722043602181 140722043604943 0
[pid=8360/tid=8391] ppid=8357 vsize=27850528 memory=1424 CPUtime=2480.84 cores=0-7
/proc/8360/task/8391/stat : 8391 (java) R 8357 8360 7597 0 -1 4202560 68205 0 0 0 248044 40 0 0 20 0 46 0 80700877 28518940672 482097 33554432000 4194304 4196468 140722043593536 140433442286960 140434046359594 0 4 0 16800975 0 0 0 -1 7 0 0 32 0 0 6293624 6294260 23441408 140722043601999 140722043602181 140722043602181 140722043604943 0
[pid=8360/tid=8392] ppid=8357 vsize=27850528 memory=1228 CPUtime=2481.37 cores=0-7
/proc/8360/task/8392/stat : 8392 (java) R 8357 8360 7597 0 -1 4202560 70267 0 0 0 248090 47 0 0 20 0 46 0 80700877 28518940672 482097 33554432000 4194304 4196468 140722043593536 140433441231968 140434039980519 0 4 0 16800975 0 0 0 -1 3 0 0 34 0 0 6293624 6294260 23441408 140722043601999 140722043602181 140722043602181 140722043604943 0
[pid=8360/tid=8393] ppid=8357 vsize=27850528 memory=15872 CPUtime=0.04 cores=0-7
/proc/8360/task/8393/stat : 8393 (java) S 8357 8360 7597 0 -1 1077944384 684 0 0 0 4 0 0 0 20 0 46 0 80700888 28518940672 482097 33554432000 4194304 4196468 140722043593536 140433440187408 140434420274901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23441408 140722043601999 140722043602181 140722043602181 140722043604943 0
[pid=8360/tid=8394] ppid=8357 vsize=27850528 memory=4052 CPUtime=2479 cores=0-7
/proc/8360/task/8394/stat : 8394 (java) R 8357 8360 7597 0 -1 4202560 68253 0 0 0 247861 39 0 0 20 0 46 0 80700888 28518940672 482097 33554432000 4194304 4196468 140722043593536 140433439127096 140434046359607 0 4 0 16800975 0 0 0 -1 2 0 0 41 0 0 6293624 6294260 23441408 140722043601999 140722043602181 140722043602181 140722043604943 0
[pid=8360/tid=8395] ppid=8357 vsize=27850528 memory=16248 CPUtime=0.05 cores=0-7
/proc/8360/task/8395/stat : 8395 (java) S 8357 8360 7597 0 -1 1077944384 292 0 0 0 5 0 0 0 20 0 46 0 80700888 28518940672 482097 33554432000 4194304 4196468 140722043593536 140433438082832 140434420274901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23441408 140722043601999 140722043602181 140722043602181 140722043604943 0
[pid=8360/tid=8396] ppid=8357 vsize=27850528 memory=14736 CPUtime=0.04 cores=0-7
/proc/8360/task/8396/stat : 8396 (java) S 8357 8360 7597 0 -1 1077944384 129 0 0 0 4 0 0 0 20 0 46 0 80700920 28518940672 482097 33554432000 4194304 4196468 140722043593536 140433434896016 140434420274901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23441408 140722043601999 140722043602181 140722043602181 140722043604943 0
[pid=8360/tid=8397] ppid=8357 vsize=27850528 memory=1240 CPUtime=0.05 cores=0-7
/proc/8360/task/8397/stat : 8397 (java) S 8357 8360 7597 0 -1 1077944384 31 0 0 0 5 0 0 0 20 0 46 0 80700922 28518940672 482097 33554432000 4194304 4196468 140722043593536 140433433843216 140434420274901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23441408 140722043601999 140722043602181 140722043602181 140722043604943 0
[pid=8360/tid=8398] ppid=8357 vsize=27850528 memory=640 CPUtime=0.04 cores=0-7
/proc/8360/task/8398/stat : 8398 (java) S 8357 8360 7597 0 -1 1077944384 338 0 0 0 4 0 0 0 20 0 46 0 80700924 28518940672 482097 33554432000 4194304 4196468 140722043593536 140433432790416 140434420274901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23441408 140722043601999 140722043602181 140722043602181 140722043604943 0
[pid=8360/tid=8399] ppid=8357 vsize=27850528 memory=1792 CPUtime=0.04 cores=0-7
/proc/8360/task/8399/stat : 8399 (java) S 8357 8360 7597 0 -1 1077944384 34 0 0 0 4 0 0 0 20 0 46 0 80700925 28518940672 482097 33554432000 4194304 4196468 140722043593536 140433431737616 140434420274901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23441408 140722043601999 140722043602181 140722043602181 140722043604943 0
[pid=8360/tid=8400] ppid=8357 vsize=27850528 memory=956 CPUtime=0.04 cores=0-7
/proc/8360/task/8400/stat : 8400 (java) S 8357 8360 7597 0 -1 1077944384 422 0 0 0 4 0 0 0 20 0 46 0 80700927 28518940672 482097 33554432000 4194304 4196468 140722043593536 140433430684816 140434420274901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23441408 140722043601999 140722043602181 140722043602181 140722043604943 0
[pid=8360/tid=8401] ppid=8357 vsize=27850528 memory=2424 CPUtime=0.05 cores=0-7
/proc/8360/task/8401/stat : 8401 (java) S 8357 8360 7597 0 -1 1077944384 531 0 0 0 5 0 0 0 20 0 46 0 80700929 28518940672 482097 33554432000 4194304 4196468 140722043593536 140433429632016 140434420274901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23441408 140722043601999 140722043602181 140722043602181 140722043604943 0
[pid=8360/tid=8402] ppid=8357 vsize=27850528 memory=932 CPUtime=0.04 cores=0-7
/proc/8360/task/8402/stat : 8402 (java) S 8357 8360 7597 0 -1 1077944384 15 0 0 0 4 0 0 0 20 0 46 0 80700932 28518940672 482097 33554432000 4194304 4196468 140722043593536 140433428579216 140434420274901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23441408 140722043601999 140722043602181 140722043602181 140722043604943 0
[pid=8360/tid=8403] ppid=8357 vsize=27850528 memory=1928388 CPUtime=0.03 cores=0-7
/proc/8360/task/8403/stat : 8403 (java) S 8357 8360 7597 0 -1 1077944384 19 0 0 0 3 0 0 0 20 0 46 0 80700932 28518940672 482097 33554432000 4194304 4196468 140722043593536 140433427527440 140434420274901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23441408 140722043601999 140722043602181 140722043602181 140722043604943 0
[pid=8360/tid=8404] ppid=8357 vsize=27850528 memory=8112282956445269571 CPUtime=0.03 cores=0-7
/proc/8360/task/8404/stat : 8404 (java) S 8357 8360 7597 0 -1 1077944384 412 0 0 0 3 0 0 0 20 0 46 0 80700932 28518940672 482097 33554432000 4194304 4196468 140722043593536 140433426474640 140434420274901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23441408 140722043601999 140722043602181 140722043602181 140722043604943 0
[pid=8360/tid=8405] ppid=8357 vsize=27850528 memory=-7003737579269690708 CPUtime=0.04 cores=0-7
/proc/8360/task/8405/stat : 8405 (java) S 8357 8360 7597 0 -1 1077944384 54 0 0 0 4 0 0 0 20 0 46 0 80700932 28518940672 482097 33554432000 4194304 4196468 140722043593536 140433425421840 140434420274901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23441408 140722043601999 140722043602181 140722043602181 140722043604943 0
[pid=8360/tid=8406] ppid=8357 vsize=27850528 memory=8432 CPUtime=0.05 cores=0-7
/proc/8360/task/8406/stat : 8406 (java) S 8357 8360 7597 0 -1 1077944384 376 0 0 0 5 0 0 0 20 0 46 0 80700932 28518940672 482097 33554432000 4194304 4196468 140722043593536 140433424369040 140434420274901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23441408 140722043601999 140722043602181 140722043602181 140722043604943 0
Current children cumulated CPU time: 19933.1 s
Current children cumulated vsize: 27850528 KiB
Current children cumulated memory: 1928388 KiB

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

[startup+2520.29 s]
# the end of solver process 8360 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=19926.1 s, system=9.0057 s

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

[startup+2520.2 s]
/proc/loadavg: 8.70 8.69 8.73 10/224 8461
/proc/meminfo: memFree=19757932/32770624 swapFree=67108860/67108860
[pid=8360] ppid=8357 vsize=27984684 memory=1929180 CPUtime=19934.5 cores=0-7
/proc/8360/stat : 8360 (java) S 8357 8360 7597 0 -1 1077944320 2094580 0 0 0 1992556 898 0 0 20 0 48 0 80700496 28656316416 482295 33554432000 4194304 4196468 140722043593536 140722043576080 140434420264695 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23441408 140722043601999 140722043602181 140722043602181 140722043604943 0
/proc/8360/statm: 6996171 482295 3626 1 0 6957721 0
[pid=8360/tid=8362] ppid=8357 vsize=27984684 memory=4592 CPUtime=3.7 cores=0-7
/proc/8360/task/8362/stat : 8362 (java) S 8357 8360 7597 0 -1 1077944384 22087 0 0 0 361 9 0 0 20 0 48 0 80700497 28656316416 482295 33554432000 4194304 4196468 140722043593536 140434424502160 140434420274901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23441408 140722043601999 140722043602181 140722043602181 140722043604943 0
[pid=8360/tid=8363] ppid=8357 vsize=27984684 memory=1424 CPUtime=8.98 cores=0-7
/proc/8360/task/8363/stat : 8363 (java) S 8357 8360 7597 0 -1 1077944384 140335 0 0 0 838 60 0 0 20 0 48 0 80700498 28656316416 482295 33554432000 4194304 4196468 140722043593536 140434372885648 140434420274901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 33 0 0 6293624 6294260 23441408 140722043601999 140722043602181 140722043602181 140722043604943 0
[pid=8360/tid=8364] ppid=8357 vsize=27984684 memory=1228 CPUtime=8.93 cores=0-7
/proc/8360/task/8364/stat : 8364 (java) S 8357 8360 7597 0 -1 1077944384 156901 0 0 0 837 56 0 0 20 0 48 0 80700498 28656316416 482295 33554432000 4194304 4196468 140722043593536 140434371832848 140434420274901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 34 0 0 6293624 6294260 23441408 140722043601999 140722043602181 140722043602181 140722043604943 0
[pid=8360/tid=8365] ppid=8357 vsize=27984684 memory=15872 CPUtime=8.87 cores=0-7
/proc/8360/task/8365/stat : 8365 (java) S 8357 8360 7597 0 -1 1077944384 146324 0 0 0 832 55 0 0 20 0 48 0 80700498 28656316416 482295 33554432000 4194304 4196468 140722043593536 140434370780048 140434420274901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 32 0 0 6293624 6294260 23441408 140722043601999 140722043602181 140722043602181 140722043604943 0
[pid=8360/tid=8366] ppid=8357 vsize=27984684 memory=1928388 CPUtime=8.96 cores=0-7
/proc/8360/task/8366/stat : 8366 (java) S 8357 8360 7597 0 -1 1077944384 147502 0 0 0 839 57 0 0 20 0 48 0 80700498 28656316416 482295 33554432000 4194304 4196468 140722043593536 140434369727248 140434420274901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 34 0 0 6293624 6294260 23441408 140722043601999 140722043602181 140722043602181 140722043604943 0
[pid=8360/tid=8367] ppid=8357 vsize=27984684 memory=16248 CPUtime=8.95 cores=0-7
/proc/8360/task/8367/stat : 8367 (java) S 8357 8360 7597 0 -1 1077944384 153770 0 0 0 842 53 0 0 20 0 48 0 80700498 28656316416 482295 33554432000 4194304 4196468 140722043593536 140434368674448 140434420274901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 34 0 0 6293624 6294260 23441408 140722043601999 140722043602181 140722043602181 140722043604943 0
[pid=8360/tid=8368] ppid=8357 vsize=27984684 memory=14736 CPUtime=8.97 cores=0-7
/proc/8360/task/8368/stat : 8368 (java) S 8357 8360 7597 0 -1 1077944384 145252 0 0 0 840 57 0 0 20 0 48 0 80700498 28656316416 482295 33554432000 4194304 4196468 140722043593536 140434367621648 140434420274901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 33 0 0 6293624 6294260 23441408 140722043601999 140722043602181 140722043602181 140722043604943 0
[pid=8360/tid=8369] ppid=8357 vsize=27984684 memory=1240 CPUtime=8.89 cores=0-7
/proc/8360/task/8369/stat : 8369 (java) S 8357 8360 7597 0 -1 1077944384 150124 0 0 0 835 54 0 0 20 0 48 0 80700498 28656316416 482295 33554432000 4194304 4196468 140722043593536 140434366568848 140434420274901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 34 0 0 6293624 6294260 23441408 140722043601999 140722043602181 140722043602181 140722043604943 0
[pid=8360/tid=8370] ppid=8357 vsize=27984684 memory=301741373374332954 CPUtime=8.94 cores=0-7
/proc/8360/task/8370/stat : 8370 (java) S 8357 8360 7597 0 -1 1077944384 144423 0 0 0 838 56 0 0 20 0 48 0 80700498 28656316416 482295 33554432000 4194304 4196468 140722043593536 140434365516048 140434420274901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 33 0 0 6293624 6294260 23441408 140722043601999 140722043602181 140722043602181 140722043604943 0
[pid=8360/tid=8371] ppid=8357 vsize=27984684 memory=288230583166042426 CPUtime=7.79 cores=0-7
/proc/8360/task/8371/stat : 8371 (java) S 8357 8360 7597 0 -1 1077944384 238660 0 0 0 665 114 0 0 20 0 48 0 80700499 28656316416 482295 33554432000 4194304 4196468 140722043593536 140433479932784 140434420275842 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23441408 140722043601999 140722043602181 140722043602181 140722043604943 0
[pid=8360/tid=8372] ppid=8357 vsize=27984684 memory=15255943717849665 CPUtime=0 cores=0-7
/proc/8360/task/8372/stat : 8372 (java) S 8357 8360 7597 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 48 0 80700500 28656316416 482295 33554432000 4194304 4196468 140722043593536 140433478878816 140434420274901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23441408 140722043601999 140722043602181 140722043602181 140722043604943 0
[pid=8360/tid=8373] ppid=8357 vsize=27984684 memory=956 CPUtime=0 cores=0-7
/proc/8360/task/8373/stat : 8373 (java) S 8357 8360 7597 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 48 0 80700500 28656316416 482295 33554432000 4194304 4196468 140722043593536 140433477825920 140434420274901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23441408 140722043601999 140722043602181 140722043602181 140722043604943 0
[pid=8360/tid=8374] ppid=8357 vsize=27984684 memory=2424 CPUtime=0 cores=0-7
/proc/8360/task/8374/stat : 8374 (java) S 8357 8360 7597 0 -1 1077944384 93 0 0 0 0 0 0 0 20 0 48 0 80700502 28656316416 482295 33554432000 4194304 4196468 140722043593536 140433476774224 140434420283291 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23441408 140722043601999 140722043602181 140722043602181 140722043604943 0
[pid=8360/tid=8375] ppid=8357 vsize=27984684 memory=932 CPUtime=1.55 cores=0-7
/proc/8360/task/8375/stat : 8375 (java) S 8357 8360 7597 0 -1 1077944384 4448 0 0 0 152 3 0 0 20 0 48 0 80700502 28656316416 482295 33554432000 4194304 4196468 140722043593536 140433475714608 140434420274901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23441408 140722043601999 140722043602181 140722043602181 140722043604943 0
[pid=8360/tid=8376] ppid=8357 vsize=27984684 memory=1568 CPUtime=1.55 cores=0-7
/proc/8360/task/8376/stat : 8376 (java) R 8357 8360 7597 0 -1 1077944384 7543 0 0 0 154 1 0 0 20 0 48 0 80700502 28656316416 482295 33554432000 4194304 4196468 140722043593536 140433474668912 140434420274901 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23441408 140722043601999 140722043602181 140722043602181 140722043604943 0
[pid=8360/tid=8377] ppid=8357 vsize=27984684 memory=2240 CPUtime=1.73 cores=0-7
/proc/8360/task/8377/stat : 8377 (java) S 8357 8360 7597 0 -1 1077944384 12116 0 0 0 171 2 0 0 20 0 48 0 80700502 28656316416 482295 33554432000 4194304 4196468 140722043593536 140433473615984 140434420275842 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23441408 140722043601999 140722043602181 140722043602181 140722043604943 0
[pid=8360/tid=8378] ppid=8357 vsize=27984684 memory=4128 CPUtime=1.29 cores=0-7
/proc/8360/task/8378/stat : 8378 (java) S 8357 8360 7597 0 -1 1077944384 17907 0 0 0 125 4 0 0 20 0 48 0 80700502 28656316416 482295 33554432000 4194304 4196468 140722043593536 140433472563184 140434420275842 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23441408 140722043601999 140722043602181 140722043602181 140722043604943 0
[pid=8360/tid=8379] ppid=8357 vsize=27984684 memory=2204 CPUtime=0 cores=0-7
/proc/8360/task/8379/stat : 8379 (java) S 8357 8360 7597 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 48 0 80700503 28656316416 482295 33554432000 4194304 4196468 140722043593536 140433471511648 140434420274901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23441408 140722043601999 140722043602181 140722043602181 140722043604943 0
[pid=8360/tid=8380] ppid=8357 vsize=27984684 memory=7888 CPUtime=0.62 cores=0-7
/proc/8360/task/8380/stat : 8380 (java) S 8357 8360 7597 0 -1 1077944384 10591 0 0 0 39 23 0 0 20 0 48 0 80700503 28656316416 482295 33554432000 4194304 4196468 140722043593536 140433470458928 140434420275842 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23441408 140722043601999 140722043602181 140722043602181 140722043604943 0
[pid=8360/tid=8381] ppid=8357 vsize=27984684 memory=836 CPUtime=0.02 cores=0-7
/proc/8360/task/8381/stat : 8381 (java) S 8357 8360 7597 0 -1 1077944384 1751 0 0 0 2 0 0 0 20 0 48 0 80700831 28656316416 482295 33554432000 4194304 4196468 140722043593536 140433459110992 140434420274901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23441408 140722043601999 140722043602181 140722043602181 140722043604943 0
[pid=8360/tid=8382] ppid=8357 vsize=27984684 memory=1796 CPUtime=1.81 cores=0-7
/proc/8360/task/8382/stat : 8382 (java) S 8357 8360 7597 0 -1 1077944384 23603 0 0 0 62 119 0 0 20 0 48 0 80700852 28656316416 482295 33554432000 4194304 4196468 140722043593536 140433455961264 140434420275842 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 18 0 0 6293624 6294260 23441408 140722043601999 140722043602181 140722043602181 140722043604943 0
[pid=8360/tid=8383] ppid=8357 vsize=27984684 memory=912 CPUtime=2480.96 cores=0-7
/proc/8360/task/8383/stat : 8383 (java) R 8357 8360 7597 0 -1 4202560 70979 0 0 0 248052 44 0 0 20 0 48 0 80700868 28656316416 482295 33554432000 4194304 4196468 140722043593536 140433452805600 140434041296424 0 4 0 16800975 0 0 0 -1 6 0 0 39 0 0 6293624 6294260 23441408 140722043601999 140722043602181 140722043602181 140722043604943 0
[pid=8360/tid=8384] ppid=8357 vsize=27984684 memory=8112282956445269571 CPUtime=2479.74 cores=0-7
/proc/8360/task/8384/stat : 8384 (java) R 8357 8360 7597 0 -1 4202560 71403 0 0 0 247930 44 0 0 20 0 48 0 80700869 28656316416 482295 33554432000 4194304 4196468 140722043593536 140433451750496 140434046359736 0 4 0 16800975 0 0 0 -1 3 0 0 32 0 0 6293624 6294260 23441408 140722043601999 140722043602181 140722043602181 140722043604943 0
[pid=8360/tid=8385] ppid=8357 vsize=27984684 memory=-7003737579269690708 CPUtime=0.12 cores=0-7
/proc/8360/task/8385/stat : 8385 (java) S 8357 8360 7597 0 -1 1077944384 277 0 0 0 12 0 0 0 20 0 48 0 80700869 28656316416 482295 33554432000 4194304 4196468 140722043593536 140433450705936 140434420274901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23441408 140722043601999 140722043602181 140722043602181 140722043604943 0
[pid=8360/tid=8386] ppid=8357 vsize=27984684 memory=4128 CPUtime=2479.06 cores=0-7
/proc/8360/task/8386/stat : 8386 (java) R 8357 8360 7597 0 -1 4202560 70061 0 0 0 247863 43 0 0 20 0 48 0 80700876 28656316416 482295 33554432000 4194304 4196468 140722043593536 140433447548336 140434052031931 0 4 0 16800975 0 0 0 -1 0 0 0 33 0 0 6293624 6294260 23441408 140722043601999 140722043602181 140722043602181 140722043604943 0
[pid=8360/tid=8387] ppid=8357 vsize=27984684 memory=2204 CPUtime=2482.35 cores=0-7
/proc/8360/task/8387/stat : 8387 (java) R 8357 8360 7597 0 -1 4202560 73577 0 0 0 248189 46 0 0 20 0 48 0 80700876 28656316416 482295 33554432000 4194304 4196468 140722043593536 140433446498272 140434052125103 0 4 0 16800975 0 0 0 -1 4 0 0 41 0 0 6293624 6294260 23441408 140722043601999 140722043602181 140722043602181 140722043604943 0
[pid=8360/tid=8388] ppid=8357 vsize=27984684 memory=7888 CPUtime=0.1 cores=0-7
/proc/8360/task/8388/stat : 8388 (java) S 8357 8360 7597 0 -1 1077944384 646 0 0 0 10 0 0 0 20 0 48 0 80700876 28656316416 482295 33554432000 4194304 4196468 140722043593536 140433445451408 140434420274901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23441408 140722043601999 140722043602181 140722043602181 140722043604943 0
[pid=8360/tid=8389] ppid=8357 vsize=27984684 memory=836 CPUtime=2477.98 cores=0-7
/proc/8360/task/8389/stat : 8389 (java) R 8357 8360 7597 0 -1 4202560 70682 0 0 0 247760 38 0 0 20 0 48 0 80700876 28656316416 482295 33554432000 4194304 4196468 140722043593536 140433444390504 140434046359648 0 4 0 16800975 0 0 0 -1 7 0 0 43 0 0 6293624 6294260 23441408 140722043601999 140722043602181 140722043602181 140722043604943 0
[pid=8360/tid=8390] ppid=8357 vsize=27984684 memory=1796 CPUtime=0.04 cores=0-7
/proc/8360/task/8390/stat : 8390 (java) S 8357 8360 7597 0 -1 1077944384 462 0 0 0 4 0 0 0 20 0 48 0 80700876 28656316416 482295 33554432000 4194304 4196468 140722043593536 140433443345808 140434420274901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23441408 140722043601999 140722043602181 140722043602181 140722043604943 0
[pid=8360/tid=8391] ppid=8357 vsize=27984684 memory=912 CPUtime=2480.99 cores=0-7
/proc/8360/task/8391/stat : 8391 (java) R 8357 8360 7597 0 -1 1077944384 68205 0 0 0 248059 40 0 0 20 0 48 0 80700877 28656316416 482295 33554432000 4194304 4196468 140722043593536 140433442286880 140434420274901 0 4 0 16800975 0 0 0 -1 3 0 0 32 0 0 6293624 6294260 23441408 140722043601999 140722043602181 140722043602181 140722043604943 0
[pid=8360/tid=8392] ppid=8357 vsize=27984684 memory=5832 CPUtime=2481.54 cores=0-7
/proc/8360/task/8392/stat : 8392 (java) R 8357 8360 7597 0 -1 4202560 70267 0 0 0 248107 47 0 0 20 0 48 0 80700877 28656316416 482295 33554432000 4194304 4196468 140722043593536 140433441234272 140434046359634 0 4 0 16800975 0 0 0 -1 5 0 0 34 0 0 6293624 6294260 23441408 140722043601999 140722043602181 140722043602181 140722043604943 0
[pid=8360/tid=8393] ppid=8357 vsize=27984684 memory=4104 CPUtime=0.05 cores=0-7
/proc/8360/task/8393/stat : 8393 (java) S 8357 8360 7597 0 -1 1077944384 944 0 0 0 5 0 0 0 20 0 48 0 80700888 28656316416 482295 33554432000 4194304 4196468 140722043593536 140433440187408 140434420274901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23441408 140722043601999 140722043602181 140722043602181 140722043604943 0
[pid=8360/tid=8394] ppid=8357 vsize=27984684 memory=1404 CPUtime=2479.16 cores=0-7
/proc/8360/task/8394/stat : 8394 (java) R 8357 8360 7597 0 -1 4202560 68253 0 0 0 247877 39 0 0 20 0 48 0 80700888 28656316416 482295 33554432000 4194304 4196468 140722043593536 140433439127208 140434052058406 0 4 0 16800975 0 0 0 -1 1 0 0 41 0 0 6293624 6294260 23441408 140722043601999 140722043602181 140722043602181 140722043604943 0
[pid=8360/tid=8395] ppid=8357 vsize=27984684 memory=4484 CPUtime=0.05 cores=0-7
/proc/8360/task/8395/stat : 8395 (java) S 8357 8360 7597 0 -1 1077944384 347 0 0 0 5 0 0 0 20 0 48 0 80700888 28656316416 482295 33554432000 4194304 4196468 140722043593536 140433438082832 140434420274901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23441408 140722043601999 140722043602181 140722043602181 140722043604943 0
[pid=8360/tid=8396] ppid=8357 vsize=27984684 memory=8112282956445269571 CPUtime=0.04 cores=0-7
/proc/8360/task/8396/stat : 8396 (java) S 8357 8360 7597 0 -1 1077944384 151 0 0 0 4 0 0 0 20 0 48 0 80700920 28656316416 482295 33554432000 4194304 4196468 140722043593536 140433434892080 140434420274901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23441408 140722043601999 140722043602181 140722043602181 140722043604943 0
[pid=8360/tid=8397] ppid=8357 vsize=27984684 memory=139869371028932 CPUtime=0.05 cores=0-7
/proc/8360/task/8397/stat : 8397 (java) S 8357 8360 7597 0 -1 1077944384 31 0 0 0 5 0 0 0 20 0 48 0 80700922 28656316416 482295 33554432000 4194304 4196468 140722043593536 140433433843216 140434420274901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23441408 140722043601999 140722043602181 140722043602181 140722043604943 0
[pid=8360/tid=8398] ppid=8357 vsize=27984684 memory=8112282956445269571 CPUtime=0.05 cores=0-7
/proc/8360/task/8398/stat : 8398 (java) S 8357 8360 7597 0 -1 1077944384 431 0 0 0 5 0 0 0 20 0 48 0 80700924 28656316416 482295 33554432000 4194304 4196468 140722043593536 140433432783248 140434420274901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23441408 140722043601999 140722043602181 140722043602181 140722043604943 0
[pid=8360/tid=8399] ppid=8357 vsize=27984684 memory=-7003737579269690708 CPUtime=0.04 cores=0-7
/proc/8360/task/8399/stat : 8399 (java) S 8357 8360 7597 0 -1 1077944384 34 0 0 0 4 0 0 0 20 0 48 0 80700925 28656316416 482295 33554432000 4194304 4196468 140722043593536 140433431737616 140434420274901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23441408 140722043601999 140722043602181 140722043602181 140722043604943 0
[pid=8360/tid=8400] ppid=8357 vsize=27984684 memory=6080257947129113188 CPUtime=0.04 cores=0-7
/proc/8360/task/8400/stat : 8400 (java) S 8357 8360 7597 0 -1 1077944384 459 0 0 0 4 0 0 0 20 0 48 0 80700927 28656316416 482295 33554432000 4194304 4196468 140722043593536 140433430676768 140434420274901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23441408 140722043601999 140722043602181 140722043602181 140722043604943 0
[pid=8360/tid=8401] ppid=8357 vsize=27984684 memory=7800344859672538469 CPUtime=0.06 cores=0-7
/proc/8360/task/8401/stat : 8401 (java) S 8357 8360 7597 0 -1 1077944384 747 0 0 0 6 0 0 0 20 0 48 0 80700929 28656316416 482295 33554432000 4194304 4196468 140722043593536 140433429632016 140434420274901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23441408 140722043601999 140722043602181 140722043602181 140722043604943 0
[pid=8360/tid=8402] ppid=8357 vsize=27984684 memory=6940721457721272166 CPUtime=0.04 cores=0-7
/proc/8360/task/8402/stat : 8402 (java) S 8357 8360 7597 0 -1 1077944384 48 0 0 0 4 0 0 0 20 0 48 0 80700932 28656316416 482295 33554432000 4194304 4196468 140722043593536 140433428579216 140434420274901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23441408 140722043601999 140722043602181 140722043602181 140722043604943 0
[pid=8360/tid=8403] ppid=8357 vsize=27984684 memory=6153433744107269476 CPUtime=0.03 cores=0-7
/proc/8360/task/8403/stat : 8403 (java) S 8357 8360 7597 0 -1 1077944384 50 0 0 0 3 0 0 0 20 0 48 0 80700932 28656316416 482295 33554432000 4194304 4196468 140722043593536 140433427527440 140434420274901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23441408 140722043601999 140722043602181 140722043602181 140722043604943 0
[pid=8360/tid=8404] ppid=8357 vsize=27984684 memory=4638802519205106532 CPUtime=0.03 cores=0-7
/proc/8360/task/8404/stat : 8404 (java) S 8357 8360 7597 0 -1 1077944384 443 0 0 0 3 0 0 0 20 0 48 0 80700932 28656316416 482295 33554432000 4194304 4196468 140722043593536 140433426474640 140434420274901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23441408 140722043601999 140722043602181 140722043602181 140722043604943 0
[pid=8360/tid=8405] ppid=8357 vsize=27984684 memory=0 CPUtime=0.04 cores=0-7
/proc/8360/task/8405/stat : 8405 (java) S 8357 8360 7597 0 -1 1077944384 54 0 0 0 4 0 0 0 20 0 48 0 80700932 28656316416 482295 33554432000 4194304 4196468 140722043593536 140433425421840 140434420274901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23441408 140722043601999 140722043602181 140722043602181 140722043604943 0
[pid=8360/tid=8406] ppid=8357 vsize=27984684 memory=0 CPUtime=0.05 cores=0-7
/proc/8360/task/8406/stat : 8406 (java) S 8357 8360 7597 0 -1 1077944384 399 0 0 0 5 0 0 0 20 0 48 0 80700932 28656316416 482295 33554432000 4194304 4196468 140722043593536 140433424369040 140434420274901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23441408 140722043601999 140722043602181 140722043602181 140722043604943 0
Current children cumulated CPU time: 19934.5 s
Current children cumulated vsize: 27984684 KiB
Current children cumulated memory: 1929180 KiB

Child status: 143
Real time (s): 2520.29
CPU time (s): 19935.1
CPU user time (s): 19926.1
CPU system time (s): 9.0057
CPU usage (%): 790.984
Max. virtual memory (cumulated for all children) (KiB): 27984684
Max. memory (cumulated for all children) (KiB): 1959204

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19926.1
system time used= 9.0057
maximum resident set size= 1961252
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2095103
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4696
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 754912
involuntary context switches= 425490


# summary of solver processes directly reported to runsolver:
#   pid: 8360
#   total CPU time (s): 19935.1
#   total CPU user time (s): 19926.1
#   total CPU system time (s): 9.0057

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 27.1185 second user time and 37.0263 second system time

The end

Launcher Data 

Begin job on node149 at 2018-07-26 20:56:13
IDJOB=4291082
IDBENCH=141121
IDSOLVER=2745
FILE ID=node149/4291082-1532631373
RUNJOBID= node149-1532623783-7624
PBS_JOBID= 21022020
Free space on /tmp= 43260 MiB

SOLVER NAME= OscaR - Parallel with EPS 2018-07-02
BENCH NAME= XCSP18/PseudoBoolean-opt/Pb-radar-10-20-45-050-100_c18.xml
COMMAND LINE= java -Xmx22000m -jar oscarCPXcsp3-parallel.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 22000 --nbcore NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4291082-1532631373/watcher-4291082-1532631373 -o /tmp/evaluation-result-4291082-1532631373/solver-4291082-1532631373 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node149-1532623783-7624 --watchdog 2580  java -Xmx22000m -jar oscarCPXcsp3-parallel.jar --randomseed 83928903 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4291082-1532631373.xml

TIME LIMIT= 20160 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8

MD5SUM BENCH= 6059cce927de517ef09e7ab17e66c3d6
RANDOM SEED=83928903

node149.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.60
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.60
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.60
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.60
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:        21678068 kB
MemAvailable:   31924072 kB
Buffers:          162048 kB
Cached:         10226160 kB
SwapCached:            0 kB
Active:          2430596 kB
Inactive:        8013628 kB
Active(anon):       5396 kB
Inactive(anon):    78408 kB
Active(file):    2425200 kB
Inactive(file):  7935220 kB
Unevictable:        7608 kB
Mlocked:            7608 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             36116 kB
Writeback:             0 kB
AnonPages:         73284 kB
Mapped:            40620 kB
Shmem:             25224 kB
Slab:             342468 kB
SReclaimable:     314044 kB
SUnreclaim:        28424 kB
KernelStack:        3264 kB
PageTables:         4580 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     326552 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     18432 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= 43224 MiB
End job on node149 at 2018-07-26 21:38:13