Trace number 4308851

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-08-14SAT (TO)116 19936.5 2520.25

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.68/0.55	c version: 2018-08-14
0.68/0.55	c seed: 1351229940
0.68/0.55	c timeout: 20160
0.68/0.55	c memlimit: 22000
0.68/0.55	c nbcore: 8
0.68/0.58	c Parsing instance...
1.84/1.09	c Parsing done, starting search...
10.99/4.35	o 1177
10.99/4.35	o 1174
10.99/4.35	o 1172
10.99/4.35	o 1170
10.99/4.36	o 1169
10.99/4.37	o 1168
10.99/4.37	o 1166
10.99/4.37	o 1165
10.99/4.37	o 1164
10.99/4.37	o 1163
10.99/4.38	o 1162
10.99/4.38	o 1161
10.99/4.38	o 1160
10.99/4.38	o 1159
10.99/4.38	o 1158
10.99/4.38	o 1157
10.99/4.38	o 1156
10.99/4.39	o 1155
10.99/4.39	o 1154
10.99/4.39	o 1153
10.99/4.39	o 1152
10.99/4.39	o 1151
11.69/4.40	o 1150
11.69/4.40	o 1149
11.69/4.40	o 1148
11.69/4.41	o 1147
11.69/4.41	o 1146
11.69/4.41	o 1145
11.69/4.41	o 1144
11.69/4.42	o 1143
11.69/4.42	o 1142
11.69/4.42	o 1141
11.69/4.42	o 1140
11.69/4.42	o 1139
11.69/4.42	o 1138
11.69/4.42	o 1137
11.69/4.42	o 1136
11.69/4.43	o 1135
11.69/4.43	o 1134
11.69/4.43	o 1133
11.69/4.44	o 1132
11.69/4.44	o 1131
11.69/4.45	o 1130
11.69/4.45	o 1129
11.69/4.46	o 1128
11.69/4.46	o 1127
11.69/4.46	o 1126
11.69/4.46	o 1125
11.69/4.47	o 1124
11.69/4.47	o 1123
11.69/4.47	o 1122
11.69/4.47	o 1121
11.69/4.47	o 1120
11.69/4.48	o 1119
11.69/4.48	o 1118
11.69/4.49	o 1117
11.69/4.49	o 1116
11.69/4.50	o 1115
12.46/4.50	o 1114
12.46/4.50	o 1113
12.46/4.51	o 1112
12.46/4.52	o 1111
12.46/4.53	o 1110
12.46/4.53	o 1109
12.46/4.53	o 1108
12.46/4.53	o 1107
12.46/4.54	o 1106
12.46/4.54	o 1105
12.46/4.55	o 1104
12.46/4.56	o 1103
12.46/4.56	o 1102
12.46/4.56	o 1101
12.46/4.56	o 1100
12.46/4.57	o 1099
12.46/4.57	o 1098
12.46/4.58	o 1097
12.46/4.58	o 1096
12.46/4.59	o 1095
12.46/4.59	o 1094
12.46/4.59	o 1093
12.46/4.59	o 1092
12.46/4.60	o 1091
13.08/4.60	o 1090
13.08/4.60	o 1089
13.08/4.60	o 1088
13.08/4.60	o 1087
13.08/4.60	o 1086
13.08/4.61	o 1085
13.08/4.61	o 1084
13.08/4.61	o 1083
13.08/4.62	o 1082
13.08/4.62	o 1081
13.08/4.62	o 1080
13.08/4.62	o 1079
13.08/4.62	o 1078
13.08/4.62	o 1077
13.08/4.62	o 1076
13.08/4.62	o 1075
13.08/4.62	o 1074
13.08/4.62	o 1073
13.08/4.62	o 1072
13.08/4.62	o 1071
13.08/4.62	o 1070
13.08/4.62	o 1069
13.08/4.63	o 1068
13.08/4.63	o 1067
13.08/4.63	o 1066
13.08/4.63	o 1065
13.08/4.63	o 1064
13.08/4.63	o 1063
13.08/4.63	o 1062
13.08/4.64	o 1061
13.08/4.64	o 1060
13.08/4.64	o 1059
13.08/4.64	o 1058
13.08/4.64	o 1057
13.08/4.64	o 1056
13.08/4.64	o 1055
13.08/4.64	o 1054
13.08/4.64	o 1053
13.08/4.64	o 1052
13.08/4.64	o 1051
13.08/4.64	o 1050
13.08/4.64	o 1049
13.08/4.64	o 1048
13.08/4.64	o 1047
13.08/4.64	o 1046
13.08/4.65	o 1045
13.08/4.65	o 1044
13.08/4.65	o 1043
13.08/4.65	o 1042
13.08/4.65	o 1041
13.08/4.65	o 1040
13.08/4.65	o 1039
13.08/4.65	o 1038
13.08/4.65	o 1037
13.08/4.65	o 1036
13.08/4.65	o 1035
13.08/4.65	o 1034
13.08/4.66	o 1033
13.08/4.66	o 1032
13.08/4.66	o 1031
13.08/4.66	o 1030
13.08/4.68	o 1029
13.08/4.69	o 1028
13.08/4.69	o 1027
13.08/4.69	o 1026
13.08/4.69	o 1025
13.08/4.69	o 1024
13.08/4.69	o 1023
13.08/4.69	o 1022
13.08/4.69	o 1021
13.08/4.69	o 1020
13.08/4.69	o 1019
13.08/4.69	o 1018
13.08/4.69	o 1017
13.08/4.69	o 1016
13.08/4.69	o 1015
13.08/4.69	o 1014
13.08/4.69	o 1013
13.08/4.69	o 1012
13.08/4.69	o 1011
13.08/4.69	o 1010
13.08/4.69	o 1009
13.08/4.69	o 1008
13.08/4.70	o 1007
13.79/4.70	o 1006
13.79/4.70	o 1005
13.79/4.70	o 1004
13.79/4.71	o 1003
13.79/4.71	o 1002
13.79/4.71	o 1001
13.79/4.71	o 1000
13.79/4.71	o 999
13.79/4.71	o 998
13.79/4.71	o 997
13.79/4.71	o 996
13.79/4.71	o 995
13.79/4.71	o 994
13.79/4.71	o 993
13.79/4.71	o 992
13.79/4.71	o 991
13.79/4.71	o 990
13.79/4.72	o 989
13.79/4.72	o 988
13.79/4.72	o 987
13.79/4.72	o 986
13.79/4.72	o 985
13.79/4.72	o 984
13.79/4.72	o 983
13.79/4.72	o 982
13.79/4.72	o 981
13.79/4.72	o 980
13.79/4.72	o 979
13.79/4.72	o 978
13.79/4.72	o 977
13.79/4.72	o 976
13.79/4.72	o 975
13.79/4.72	o 974
13.79/4.72	o 973
13.79/4.73	o 972
13.79/4.73	o 971
13.79/4.73	o 970
13.79/4.73	o 969
13.79/4.73	o 968
13.79/4.73	o 967
13.79/4.73	o 966
13.79/4.73	o 965
13.79/4.73	o 964
13.79/4.73	o 963
13.79/4.73	o 962
13.79/4.73	o 961
13.79/4.73	o 960
13.79/4.73	o 959
13.79/4.73	o 958
13.79/4.74	o 957
13.79/4.74	o 956
13.79/4.74	o 955
13.79/4.74	o 954
13.79/4.74	o 953
13.79/4.74	o 952
13.79/4.74	o 951
13.79/4.74	o 950
13.79/4.74	o 949
13.79/4.74	o 948
13.79/4.74	o 947
13.79/4.74	o 946
13.79/4.74	o 945
13.79/4.74	o 944
13.79/4.74	o 943
13.79/4.74	o 942
13.79/4.74	o 941
13.79/4.74	o 940
13.79/4.79	o 939
13.79/4.79	o 938
13.79/4.79	o 937
13.79/4.79	o 936
13.79/4.79	o 935
13.79/4.79	o 934
13.79/4.79	o 933
13.79/4.79	o 932
13.79/4.79	o 931
13.79/4.79	o 930
13.79/4.79	o 929
13.79/4.79	o 928
13.79/4.79	o 927
13.79/4.79	o 926
13.79/4.79	o 925
13.79/4.79	o 924
13.79/4.79	o 923
13.79/4.79	o 922
13.79/4.79	o 921
13.79/4.79	o 920
13.79/4.79	o 919
13.79/4.79	o 918
13.79/4.79	o 917
13.79/4.79	o 916
13.79/4.79	o 915
13.79/4.79	o 914
13.79/4.79	o 913
13.79/4.79	o 912
13.79/4.79	o 911
13.79/4.79	o 910
13.79/4.79	o 909
13.79/4.79	o 908
13.79/4.79	o 907
13.79/4.79	o 906
13.79/4.79	o 905
13.79/4.79	o 904
13.79/4.79	o 903
13.79/4.79	o 902
13.79/4.79	o 901
13.79/4.79	o 900
13.79/4.79	o 899
13.79/4.79	o 898
13.79/4.79	o 897
13.79/4.79	o 896
13.79/4.79	o 895
13.79/4.79	o 894
13.79/4.79	o 893
13.79/4.79	o 892
13.79/4.79	o 891
13.79/4.79	o 890
13.79/4.79	o 889
13.79/4.79	o 888
13.79/4.79	o 887
13.79/4.79	o 886
13.79/4.79	o 885
13.79/4.79	o 884
13.79/4.79	o 883
13.79/4.79	o 882
13.79/4.79	o 881
13.79/4.79	o 880
13.79/4.79	o 879
13.79/4.79	o 878
13.79/4.79	o 877
13.79/4.79	o 876
13.79/4.79	o 875
13.79/4.79	o 874
13.79/4.79	o 873
13.79/4.79	o 872
13.79/4.79	o 871
13.79/4.79	o 870
13.79/4.79	o 869
13.79/4.79	o 868
13.79/4.79	o 867
13.79/4.79	o 866
13.79/4.79	o 865
13.79/4.79	o 864
13.79/4.79	o 863
13.79/4.79	o 862
13.79/4.79	o 861
13.79/4.79	o 860
13.79/4.79	o 859
13.79/4.79	o 858
13.79/4.80	o 857
13.79/4.80	o 856
13.79/4.80	o 855
13.79/4.80	o 854
14.57/4.80	o 853
14.57/4.80	o 852
14.57/4.80	o 851
14.57/4.80	o 850
14.57/4.80	o 849
14.57/4.80	o 848
14.57/4.80	o 847
14.57/4.80	o 846
14.57/4.80	o 845
14.57/4.80	o 844
14.57/4.80	o 843
14.57/4.80	o 842
14.57/4.80	o 841
14.57/4.80	o 840
14.57/4.81	o 839
14.57/4.81	o 838
14.57/4.81	o 837
14.57/4.81	o 836
14.57/4.81	o 835
14.57/4.81	o 834
14.57/4.81	o 833
14.57/4.81	o 832
14.57/4.81	o 831
14.57/4.81	o 830
14.57/4.81	o 829
14.57/4.81	o 828
14.57/4.82	o 827
14.57/4.82	o 826
14.57/4.82	o 825
14.57/4.82	o 824
14.57/4.82	o 823
14.57/4.82	o 822
14.57/4.82	o 821
14.57/4.83	o 820
14.57/4.83	o 819
14.57/4.83	o 818
14.57/4.83	o 817
14.57/4.83	o 816
14.57/4.84	o 815
14.57/4.84	o 814
14.57/4.84	o 813
14.57/4.84	o 812
14.57/4.84	o 811
14.57/4.85	o 810
14.57/4.85	o 809
14.57/4.85	o 808
14.57/4.85	o 807
14.57/4.85	o 806
14.57/4.85	o 805
14.57/4.86	o 804
14.57/4.86	o 803
14.57/4.86	o 802
14.57/4.86	o 801
14.57/4.86	o 800
14.57/4.87	o 799
14.57/4.87	o 798
14.57/4.87	o 797
14.57/4.87	o 796
14.57/4.87	o 795
14.57/4.88	o 794
14.57/4.88	o 793
14.57/4.88	o 792
14.57/4.88	o 791
14.57/4.88	o 790
14.57/4.88	o 789
14.57/4.89	o 788
14.57/4.89	o 787
14.57/4.89	o 786
14.57/4.89	o 785
14.57/4.89	o 784
14.57/4.89	o 783
14.57/4.89	o 782
14.57/4.90	o 781
14.57/4.90	o 780
14.57/4.90	o 779
15.04/4.90	o 778
15.04/4.90	o 777
15.04/4.90	o 776
15.04/4.90	o 775
15.04/4.91	o 774
15.04/4.91	o 773
15.04/4.91	o 772
15.04/4.91	o 771
15.04/4.91	o 770
15.04/4.92	o 769
15.04/4.92	o 768
15.04/4.92	o 767
15.04/4.92	o 766
15.04/4.92	o 765
15.04/4.92	o 764
15.04/4.93	o 763
15.04/4.93	o 762
15.04/4.93	o 761
15.04/4.93	o 760
15.04/4.93	o 759
15.04/4.93	o 758
15.04/4.93	o 757
15.04/4.94	o 756
15.04/4.94	o 755
15.04/4.94	o 754
15.04/4.94	o 753
15.04/4.94	o 752
15.04/4.94	o 751
15.04/4.94	o 750
15.04/4.94	o 749
15.04/4.94	o 748
15.04/4.94	o 747
15.04/4.94	o 746
15.04/4.95	o 745
15.04/4.95	o 744
15.04/4.95	o 743
15.04/4.95	o 742
15.04/4.95	o 741
15.04/4.95	o 740
15.04/4.95	o 739
15.04/4.96	o 738
15.04/4.96	o 737
15.04/4.96	o 736
15.04/4.96	o 735
15.04/4.96	o 734
15.04/4.96	o 733
15.04/4.96	o 732
15.04/4.96	o 731
15.04/4.97	o 730
15.04/4.97	o 729
15.04/4.97	o 728
15.04/4.97	o 727
15.04/4.97	o 726
15.04/4.97	o 725
15.04/4.97	o 724
15.04/4.98	o 723
15.04/4.98	o 722
15.04/4.98	o 721
15.04/4.98	o 720
15.04/4.98	o 719
15.04/4.98	o 718
15.04/4.98	o 717
15.04/4.98	o 716
15.04/4.98	o 715
15.04/4.98	o 714
15.04/4.99	o 713
15.04/4.99	o 712
15.04/4.99	o 711
15.04/4.99	o 710
15.04/4.99	o 709
15.04/4.99	o 708
15.04/4.99	o 707
15.04/5.00	o 706
15.04/5.00	o 705
15.04/5.00	o 704
15.04/5.00	o 703
15.04/5.00	o 702
15.04/5.00	o 701
15.04/5.00	o 700
15.04/5.00	o 699
15.04/5.00	o 698
15.04/5.01	o 697
15.04/5.01	o 696
15.50/5.01	o 695
15.50/5.01	o 694
15.50/5.01	o 693
15.50/5.01	o 692
15.50/5.01	o 691
15.50/5.01	o 690
15.50/5.01	o 689
15.50/5.02	o 688
15.50/5.02	o 687
15.50/5.02	o 686
15.50/5.02	o 685
15.50/5.02	o 684
15.50/5.02	o 683
15.50/5.02	o 682
15.50/5.02	o 681
15.50/5.03	o 680
15.50/5.03	o 679
15.50/5.03	o 678
15.50/5.03	o 677
15.50/5.03	o 676
15.50/5.03	o 675
15.50/5.03	o 674
15.50/5.03	o 673
15.50/5.04	o 672
15.50/5.04	o 671
15.50/5.04	o 670
15.50/5.04	o 669
15.50/5.04	o 668
15.50/5.04	o 667
15.50/5.04	o 666
15.50/5.04	o 665
15.50/5.05	o 664
15.50/5.05	o 663
15.50/5.05	o 662
15.50/5.05	o 661
15.50/5.05	o 660
15.50/5.05	o 659
15.50/5.05	o 658
15.50/5.06	o 657
15.50/5.06	o 656
15.50/5.06	o 655
15.50/5.06	o 654
15.50/5.06	o 653
15.50/5.06	o 652
15.50/5.06	o 651
15.50/5.06	o 650
15.50/5.06	o 649
15.50/5.07	o 648
15.50/5.07	o 647
15.50/5.07	o 646
15.50/5.07	o 645
15.50/5.07	o 644
15.50/5.07	o 643
15.50/5.07	o 642
15.50/5.07	o 641
15.50/5.08	o 640
15.50/5.08	o 639
15.50/5.08	o 638
15.50/5.08	o 637
15.50/5.08	o 636
15.50/5.08	o 635
15.50/5.08	o 634
15.50/5.09	o 633
15.50/5.09	o 632
15.50/5.09	o 631
15.50/5.09	o 630
15.50/5.09	o 629
15.50/5.09	o 628
15.50/5.09	o 627
15.50/5.10	o 626
15.50/5.10	o 625
15.50/5.10	o 624
15.50/5.10	o 623
15.50/5.10	o 622
15.50/5.10	o 621
15.50/5.10	o 620
15.50/5.11	o 619
15.50/5.11	o 618
15.50/5.11	o 617
15.78/5.11	o 616
15.78/5.11	o 615
15.78/5.11	o 614
15.78/5.11	o 613
15.78/5.12	o 612
15.78/5.12	o 611
15.78/5.12	o 610
15.78/5.12	o 609
15.78/5.12	o 608
15.78/5.13	o 607
15.78/5.13	o 606
15.78/5.13	o 605
15.78/5.13	o 604
15.78/5.13	o 603
15.78/5.13	o 602
15.78/5.14	o 601
15.78/5.14	o 600
15.78/5.16	o 599
15.78/5.16	o 598
15.78/5.16	o 597
15.78/5.16	o 596
15.78/5.16	o 595
15.78/5.16	o 594
15.78/5.17	o 593
15.78/5.17	o 592
15.78/5.17	o 591
15.78/5.17	o 590
15.78/5.17	o 589
15.78/5.18	o 588
15.78/5.18	o 587
15.78/5.18	o 586
15.78/5.18	o 585
15.78/5.18	o 584
15.78/5.18	o 583
15.78/5.18	o 582
15.78/5.19	o 581
15.78/5.19	o 580
15.78/5.19	o 579
15.78/5.19	o 578
15.78/5.19	o 577
15.78/5.19	o 576
15.78/5.19	o 575
15.78/5.19	o 574
15.78/5.20	o 573
15.78/5.20	o 572
16.10/5.20	o 571
16.10/5.20	o 570
16.10/5.20	o 569
16.10/5.20	o 568
16.10/5.20	o 567
16.10/5.20	o 566
16.10/5.21	o 565
16.10/5.21	o 564
16.10/5.21	o 563
16.10/5.21	o 562
16.10/5.21	o 561
16.10/5.21	o 560
16.10/5.21	o 559
16.10/5.21	o 558
16.10/5.21	o 557
16.10/5.22	o 556
16.10/5.22	o 555
16.10/5.22	o 554
16.10/5.22	o 553
16.10/5.22	o 552
16.10/5.22	o 551
16.10/5.22	o 550
16.10/5.22	o 549
16.10/5.23	o 548
16.10/5.23	o 547
16.10/5.23	o 546
16.10/5.23	o 545
16.10/5.23	o 544
16.10/5.23	o 543
16.10/5.23	o 542
16.10/5.23	o 541
16.10/5.23	o 540
16.10/5.23	o 539
16.10/5.24	o 538
16.10/5.24	o 537
16.10/5.24	o 536
16.10/5.24	o 535
16.10/5.24	o 534
16.10/5.24	o 533
16.10/5.25	o 532
16.10/5.25	o 531
16.10/5.25	o 530
16.10/5.25	o 529
16.10/5.25	o 528
16.10/5.25	o 527
16.10/5.25	o 526
16.10/5.25	o 525
16.10/5.25	o 524
16.10/5.25	o 523
16.10/5.25	o 522
16.10/5.25	o 521
16.10/5.25	o 520
16.10/5.25	o 519
16.10/5.25	o 518
16.10/5.25	o 517
16.10/5.25	o 516
16.10/5.25	o 515
16.10/5.25	o 514
16.10/5.26	o 513
16.10/5.26	o 512
16.10/5.26	o 511
16.10/5.26	o 510
16.10/5.26	o 509
16.10/5.26	o 508
16.10/5.26	o 507
16.10/5.26	o 506
16.10/5.26	o 505
16.10/5.26	o 504
16.10/5.27	o 503
16.10/5.27	o 502
16.10/5.27	o 501
16.10/5.27	o 500
16.10/5.27	o 499
16.10/5.27	o 498
16.10/5.27	o 497
16.10/5.27	o 496
16.10/5.27	o 495
16.10/5.27	o 494
16.10/5.27	o 493
16.10/5.28	o 492
16.10/5.29	o 491
16.10/5.29	o 490
16.10/5.30	o 489
16.10/5.30	o 488
16.10/5.30	o 487
16.10/5.30	o 486
16.10/5.30	o 485
16.10/5.30	o 484
16.77/5.31	o 483
16.77/5.31	o 482
16.77/5.32	o 481
16.77/5.32	o 480
16.77/5.33	o 479
16.77/5.33	o 478
16.77/5.33	o 477
16.77/5.33	o 476
16.77/5.33	o 475
16.77/5.34	o 474
16.77/5.34	o 473
16.77/5.34	o 472
16.77/5.35	o 471
16.77/5.35	o 470
16.77/5.35	o 469
16.77/5.35	o 468
16.77/5.35	o 467
16.77/5.35	o 466
16.77/5.36	o 465
16.77/5.36	o 464
16.77/5.37	o 463
16.77/5.37	o 462
16.77/5.38	o 461
16.77/5.38	o 460
17.49/5.40	o 459
17.49/5.40	o 458
17.49/5.41	o 457
17.49/5.41	o 456
17.49/5.43	o 455
17.49/5.43	o 454
17.49/5.44	o 453
17.49/5.44	o 452
17.49/5.45	o 451
17.49/5.45	o 450
17.49/5.45	o 449
17.49/5.45	o 448
17.49/5.45	o 447
17.49/5.45	o 446
17.49/5.47	o 445
17.49/5.47	o 444
17.49/5.48	o 443
17.49/5.48	o 442
17.49/5.49	o 441
17.49/5.49	o 440
17.49/5.49	o 439
17.49/5.50	o 438
17.49/5.50	o 437
17.49/5.50	o 436
17.49/5.50	o 435
18.33/5.51	o 434
18.33/5.52	o 433
18.33/5.53	o 432
18.33/5.54	o 431
18.33/5.54	o 430
18.33/5.55	o 429
18.33/5.56	o 428
18.33/5.56	o 427
18.33/5.57	o 426
18.33/5.57	o 425
18.33/5.57	o 424
18.33/5.57	o 423
18.33/5.60	o 422
18.33/5.60	o 421
18.33/5.60	o 420
18.33/5.60	o 419
18.33/5.60	o 418
19.09/5.61	o 417
19.09/5.62	o 416
19.09/5.62	o 415
19.09/5.62	o 414
19.09/5.62	o 413
19.09/5.62	o 412
19.09/5.62	o 411
19.09/5.63	o 410
19.09/5.63	o 409
19.09/5.64	o 408
19.09/5.65	o 407
19.09/5.66	o 406
19.09/5.66	o 405
19.09/5.66	o 404
19.09/5.66	o 403
19.09/5.67	o 402
19.09/5.67	o 401
19.09/5.68	o 400
19.09/5.68	o 399
19.09/5.68	o 398
19.09/5.68	o 397
19.09/5.69	o 396
19.09/5.69	o 395
19.09/5.70	o 394
19.09/5.70	o 393
19.95/5.71	o 392
19.95/5.71	o 391
19.95/5.72	o 390
19.95/5.72	o 389
19.95/5.72	o 388
19.95/5.72	o 387
19.95/5.72	o 386
19.95/5.77	o 385
19.95/5.77	o 384
19.95/5.78	o 383
19.95/5.79	o 382
20.64/5.80	o 381
20.64/5.80	o 380
20.64/5.81	o 379
20.64/5.81	o 378
20.64/5.81	o 377
20.64/5.83	o 376
20.64/5.83	o 375
20.64/5.84	o 374
20.64/5.84	o 373
20.64/5.84	o 372
20.64/5.84	o 371
20.64/5.84	o 370
20.64/5.84	o 369
20.64/5.85	o 368
20.64/5.86	o 367
20.64/5.86	o 366
20.64/5.86	o 365
20.64/5.86	o 364
20.64/5.86	o 363
20.64/5.86	o 362
20.64/5.87	o 361
20.64/5.87	o 360
20.64/5.88	o 359
20.64/5.88	o 358
20.64/5.89	o 357
20.64/5.89	o 356
21.47/5.90	o 355
21.47/5.90	o 354
21.47/5.90	o 353
21.47/5.90	o 352
21.47/5.90	o 351
21.47/5.92	o 350
21.47/5.92	o 349
21.47/5.93	o 348
21.47/5.94	o 347
21.47/5.95	o 346
21.47/5.95	o 345
21.47/5.96	o 344
21.47/5.96	o 343
21.47/5.97	o 342
21.47/5.98	o 341
21.47/5.99	o 340
21.47/5.99	o 339
21.47/5.99	o 338
21.47/6.01	o 337
21.47/6.01	o 336
21.47/6.02	o 335
21.47/6.02	o 334
22.30/6.03	o 333
22.30/6.04	o 332
22.30/6.05	o 331
22.30/6.05	o 330
22.30/6.06	o 329
22.30/6.06	o 328
22.30/6.07	o 327
22.30/6.07	o 326
22.30/6.07	o 325
22.30/6.08	o 324
22.30/6.08	o 323
22.30/6.09	o 322
22.30/6.09	o 321
22.30/6.09	o 320
22.30/6.10	o 319
22.30/6.10	o 318
22.30/6.10	o 317
22.30/6.11	o 316
23.20/6.12	o 315
23.20/6.12	o 314
23.20/6.12	o 313
23.20/6.13	o 312
23.20/6.13	o 311
23.20/6.13	o 310
23.20/6.15	o 309
23.20/6.15	o 308
23.20/6.16	o 307
23.20/6.17	o 306
23.20/6.18	o 305
23.20/6.18	o 304
23.20/6.18	o 303
23.20/6.19	o 302
23.82/6.20	o 301
23.82/6.21	o 300
23.82/6.21	o 299
23.82/6.21	o 298
23.82/6.23	o 297
23.82/6.24	o 296
23.82/6.25	o 295
23.82/6.26	o 294
23.82/6.26	o 293
23.82/6.26	o 292
23.82/6.26	o 291
23.82/6.27	o 290
23.82/6.27	o 289
23.82/6.27	o 288
23.82/6.28	o 287
23.82/6.28	o 286
23.82/6.28	o 285
23.82/6.28	o 284
23.82/6.28	o 283
23.82/6.29	o 282
23.82/6.29	o 281
23.82/6.30	o 280
24.65/6.31	o 279
24.65/6.31	o 278
24.65/6.32	o 277
24.65/6.32	o 276
24.65/6.32	o 275
24.65/6.32	o 274
24.65/6.34	o 273
24.65/6.34	o 272
24.65/6.35	o 271
24.65/6.35	o 270
24.65/6.36	o 269
24.65/6.39	o 268
24.65/6.39	o 267
25.41/6.40	o 266
25.41/6.41	o 265
25.41/6.42	o 264
25.41/6.43	o 263
25.41/6.44	o 262
25.41/6.44	o 261
25.41/6.44	o 260
25.41/6.45	o 259
25.41/6.45	o 258
25.41/6.45	o 257
25.41/6.48	o 256
25.41/6.48	o 255
26.22/6.50	o 254
26.22/6.52	o 253
26.22/6.52	o 252
26.22/6.53	o 251
26.22/6.55	o 250
26.22/6.55	o 249
26.22/6.55	o 248
26.22/6.56	o 247
26.22/6.56	o 246
27.01/6.65	o 245
27.01/6.65	o 244
27.01/6.68	o 243
27.01/6.69	o 242
27.01/6.69	o 241
27.85/6.73	o 240
27.85/6.74	o 239
27.85/6.76	o 238
27.85/6.77	o 237
28.61/6.84	o 236
28.61/6.84	o 235
28.61/6.85	o 234
28.61/6.86	o 233
28.61/6.86	o 232
29.44/6.93	o 231
29.44/6.94	o 230
29.44/6.96	o 229
29.44/6.96	o 228
29.44/6.96	o 227
29.44/6.96	o 226
29.44/6.98	o 225
30.30/7.03	o 224
30.30/7.03	o 223
30.30/7.10	o 222
31.09/7.12	o 221
31.09/7.13	o 220
31.09/7.14	o 219
31.09/7.14	o 218
31.09/7.18	o 217
31.09/7.19	o 216
31.09/7.20	o 215
31.09/7.20	o 214
31.09/7.20	o 213
32.56/7.31	o 212
32.56/7.31	o 211
32.56/7.33	o 210
32.56/7.35	o 209
32.56/7.35	o 208
32.56/7.37	o 207
32.56/7.37	o 206
33.36/7.41	o 205
33.36/7.41	o 204
33.36/7.48	o 203
33.36/7.49	o 202
34.16/7.52	o 201
34.16/7.52	o 200
34.16/7.53	o 199
34.16/7.54	o 198
34.16/7.54	o 197
34.16/7.56	o 196
34.16/7.57	o 195
34.16/7.58	o 194
34.16/7.58	o 193
34.16/7.60	o 192
34.95/7.60	o 191
34.95/7.60	o 190
34.95/7.63	o 189
34.95/7.65	o 188
34.95/7.70	o 187
35.83/7.73	o 186
35.83/7.74	o 185
35.83/7.75	o 184
35.83/7.76	o 183
36.55/7.81	o 182
37.35/7.92	o 181
37.35/7.98	o 180
37.35/7.99	o 179
38.22/8.03	o 178
38.22/8.04	o 177
39.74/8.29	o 176
45.37/8.92	o 175
53.29/9.98	o 174
58.13/10.57	o 173
60.46/10.82	o 172
68.42/11.87	o 171
68.42/11.89	o 170
82.77/13.68	o 169
85.25/13.92	o 168
100.31/15.87	o 167
103.49/16.23	o 166
103.49/16.24	o 165
133.03/19.95	o 164
163.27/23.75	o 163
498.87/65.88	o 162
498.87/65.89	o 161
506.00/66.75	o 160
506.00/66.76	o 159
517.95/68.24	o 158
1304.57/166.90	o 157
1328.47/170.00	o 156
1805.93/229.96	o 155
1805.93/229.97	o 154
2048.01/260.50	o 153
2084.44/265.09	o 152
2092.34/266.08	o 151
2363.19/300.33	o 150
2529.40/321.34	o 149
2576.75/327.36	o 148
3120.21/396.20	o 147
3487.25/442.58	o 146
3591.54/455.73	o 145
4120.80/522.68	o 144
4120.80/522.68	o 143
4134.25/524.36	o 142
5113.10/648.13	o 141
5191.30/658.03	o 140
7022.95/889.84	o 139
8218.07/1040.96	o 138
9006.29/1140.70	o 137
9310.47/1179.04	o 136
11251.69/1424.59	o 135
12071.29/1528.24	o 134
12073.67/1528.60	o 133
12864.29/1628.46	o 132
12957.06/1640.14	o 131
12963.33/1640.97	o 130
12963.33/1640.98	o 129
13013.21/1647.25	o 128
13412.05/1697.58	o 127
13449.33/1702.26	o 126
13468.36/1704.70	o 125
14289.86/1808.22	o 124
15452.05/1954.71	o 123
16108.98/2037.51	o 122
17117.09/2164.62	o 121
17565.53/2221.30	o 120
17606.64/2226.42	o 119
17621.71/2228.35	o 118
17635.34/2230.03	o 117
19293.06/2439.15	o 116
19934.83/2520.09	s SATISFIABLE
19934.83/2520.10	v <instantiation>
19934.83/2520.10	v 	<list>
19934.83/2520.10	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]
19934.83/2520.10	v 	</list>
19934.83/2520.10	v 	<values>
19934.83/2520.10	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 1 1 1 1 0 0 0 0 0 0 0 0 1 0 0 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 1 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 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 0 0 0 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 1 1 0 0 0 0 1 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 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 1 1 0 0 1 1 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 1 1 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 0 1 1 1 0 1 1 1 1 1 1 1 
19934.83/2520.10	v 	</values>
19934.83/2520.10	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 (13597 MiB free)
  memory of node 1: 16384 MiB (10711 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4308851-1534357851/watcher-4308851-1534357851 -o /tmp/evaluation-result-4308851-1534357851/solver-4308851-1534357851 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node135-1534352793-26274 --watchdog 2580 java -Xmx22000m -jar oscarCPXcsp3-parallel.jar --randomseed 1351229940 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4308851-1534357851.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
Current StackSize limit: 8192 KiB

solver pid=26759, runsolver pid=26756

[startup+0.100186 s]*
/proc/loadavg: 9.10 8.94 8.90 3/202 26779
/proc/meminfo: memFree=24875948/32770624 swapFree=67108840/67108860
[pid=26759] ppid=26756 vsize=26103420 memory=31400 CPUtime=0.11 cores=0-7
/proc/26759/stat : 26759 (java) S 26756 26759 26247 0 -1 1077944320 7299 0 0 0 10 1 0 0 20 0 20 0 253348315 26729902080 7850 33554432000 4194304 4196468 140730487855360 140730487837904 140213839425271 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 32944128 140730487862349 140730487862533 140730487862533 140730487865295 0
/proc/26759/statm: 6525855 7850 3136 1 0 6487932 0
[pid=26759/tid=26761] ppid=26756 vsize=26103420 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/26759/task/26761/stat : 26761 (java) R 26756 26759 26247 0 -1 4202560 5398 0 0 0 8 1 0 0 20 0 20 0 253348315 26729902080 7850 33554432000 4194304 4196468 140730487855360 140213843610224 140213819700978 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32944128 140730487862349 140730487862533 140730487862533 140730487865295 0
[pid=26759/tid=26762] ppid=26756 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/26759/task/26762/stat : 26762 (java) S 26756 26759 26247 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253348316 26729902080 7850 33554432000 4194304 4196468 140730487855360 140213792045328 140213839435477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32944128 140730487862349 140730487862533 140730487862533 140730487865295 0
[pid=26759/tid=26763] ppid=26756 vsize=26103420 memory=140094717380224 CPUtime=0 cores=0-7
/proc/26759/task/26763/stat : 26763 (java) S 26756 26759 26247 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253348316 26729902080 7916 33554432000 4194304 4196468 140730487855360 140213790992784 140213839435477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32944128 140730487862349 140730487862533 140730487862533 140730487865295 0
[pid=26759/tid=26764] ppid=26756 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/26759/task/26764/stat : 26764 (java) S 26756 26759 26247 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253348316 26729902080 7916 33554432000 4194304 4196468 140730487855360 140213789940240 140213839435477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32944128 140730487862349 140730487862533 140730487862533 140730487865295 0
[pid=26759/tid=26765] ppid=26756 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/26759/task/26765/stat : 26765 (java) S 26756 26759 26247 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253348316 26729902080 7916 33554432000 4194304 4196468 140730487855360 140213788887696 140213839435477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32944128 140730487862349 140730487862533 140730487862533 140730487865295 0
[pid=26759/tid=26766] ppid=26756 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/26759/task/26766/stat : 26766 (java) S 26756 26759 26247 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253348316 26729902080 7916 33554432000 4194304 4196468 140730487855360 140213787835152 140213839435477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32944128 140730487862349 140730487862533 140730487862533 140730487865295 0
[pid=26759/tid=26767] ppid=26756 vsize=26103420 memory=-1 CPUtime=0 cores=0-7
/proc/26759/task/26767/stat : 26767 (java) S 26756 26759 26247 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253348316 26729902080 7916 33554432000 4194304 4196468 140730487855360 140213786782608 140213839435477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32944128 140730487862349 140730487862533 140730487862533 140730487865295 0
[pid=26759/tid=26768] ppid=26756 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/26759/task/26768/stat : 26768 (java) S 26756 26759 26247 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253348316 26729902080 7916 33554432000 4194304 4196468 140730487855360 140213785730064 140213839435477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32944128 140730487862349 140730487862533 140730487862533 140730487865295 0
[pid=26759/tid=26769] ppid=26756 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/26759/task/26769/stat : 26769 (java) S 26756 26759 26247 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 253348316 26729902080 7916 33554432000 4194304 4196468 140730487855360 140213784677520 140213839435477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32944128 140730487862349 140730487862533 140730487862533 140730487865295 0
[pid=26759/tid=26770] ppid=26756 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/26759/task/26770/stat : 26770 (java) S 26756 26759 26247 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253348318 26729902080 7916 33554432000 4194304 4196468 140730487855360 140212582533104 140213839436418 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32944128 140730487862349 140730487862533 140730487862533 140730487865295 0
[pid=26759/tid=26771] ppid=26756 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/26759/task/26771/stat : 26771 (java) S 26756 26759 26247 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 253348318 26729902080 7916 33554432000 4194304 4196468 140730487855360 140212581479328 140213839435477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32944128 140730487862349 140730487862533 140730487862533 140730487865295 0
[pid=26759/tid=26772] ppid=26756 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/26759/task/26772/stat : 26772 (java) S 26756 26759 26247 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 253348318 26729902080 7916 33554432000 4194304 4196468 140730487855360 140212580426736 140213839435477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32944128 140730487862349 140730487862533 140730487862533 140730487865295 0
[pid=26759/tid=26773] ppid=26756 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/26759/task/26773/stat : 26773 (java) S 26756 26759 26247 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253348321 26729902080 7916 33554432000 4194304 4196468 140730487855360 140212579375312 140213839443867 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32944128 140730487862349 140730487862533 140730487862533 140730487865295 0
[pid=26759/tid=26774] ppid=26756 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/26759/task/26774/stat : 26774 (java) S 26756 26759 26247 0 -1 1077944384 300 0 0 0 0 0 0 0 20 0 20 0 253348321 26729902080 7982 33554432000 4194304 4196468 140730487855360 140212578322928 140213839436418 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32944128 140730487862349 140730487862533 140730487862533 140730487865295 0
[pid=26759/tid=26775] ppid=26756 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/26759/task/26775/stat : 26775 (java) S 26756 26759 26247 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 253348321 26729902080 7982 33554432000 4194304 4196468 140730487855360 140212577270384 140213839436418 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32944128 140730487862349 140730487862533 140730487862533 140730487865295 0
[pid=26759/tid=26776] ppid=26756 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/26759/task/26776/stat : 26776 (java) S 26756 26759 26247 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253348321 26729902080 7982 33554432000 4194304 4196468 140730487855360 140212576217840 140213839436418 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32944128 140730487862349 140730487862533 140730487862533 140730487865295 0
[pid=26759/tid=26777] ppid=26756 vsize=26103420 memory=0 CPUtime=0.01 cores=0-7
/proc/26759/task/26777/stat : 26777 (java) S 26756 26759 26247 0 -1 1077944384 243 0 0 0 1 0 0 0 20 0 20 0 253348321 26729902080 7982 33554432000 4194304 4196468 140730487855360 140212575165296 140213839436418 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32944128 140730487862349 140730487862533 140730487862533 140730487865295 0
[pid=26759/tid=26778] ppid=26756 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/26759/task/26778/stat : 26778 (java) S 26756 26759 26247 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 253348321 26729902080 7982 33554432000 4194304 4196468 140730487855360 140212574111968 140213839435477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32944128 140730487862349 140730487862533 140730487862533 140730487865295 0
[pid=26759/tid=26779] ppid=26756 vsize=26103420 memory=-1 CPUtime=0 cores=0-7
/proc/26759/task/26779/stat : 26779 (java) S 26756 26759 26247 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253348321 26729902080 7982 33554432000 4194304 4196468 140730487855360 140212573059504 140213839436418 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32944128 140730487862349 140730487862533 140730487862533 140730487865295 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26103420 KiB
Current children cumulated memory: 31400 KiB

[startup+0.210336 s]*
/proc/loadavg: 9.10 8.94 8.90 3/202 26779
/proc/meminfo: memFree=24862740/32770624 swapFree=67108840/67108860
[pid=26759] ppid=26756 vsize=26103420 memory=43140 CPUtime=0.3 cores=0-7
/proc/26759/stat : 26759 (java) S 26756 26759 26247 0 -1 1077944320 10454 0 0 0 28 2 0 0 20 0 20 0 253348315 26729902080 10785 33554432000 4194304 4196468 140730487855360 140730487837904 140213839425271 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 32944128 140730487862349 140730487862533 140730487862533 140730487865295 0
/proc/26759/statm: 6525855 10785 3319 1 0 6487932 0
[pid=26759/tid=26761] ppid=26756 vsize=26103420 memory=4026531975 CPUtime=0.2 cores=0-7
/proc/26759/task/26761/stat : 26761 (java) R 26756 26759 26247 0 -1 4202560 8236 0 0 0 18 2 0 0 20 0 20 0 253348315 26729902080 10785 33554432000 4194304 4196468 140730487855360 140213843652576 140213823505758 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32944128 140730487862349 140730487862533 140730487862533 140730487865295 0
[pid=26759/tid=26762] ppid=26756 vsize=26103420 memory=14961 CPUtime=0 cores=0-7
/proc/26759/task/26762/stat : 26762 (java) S 26756 26759 26247 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253348316 26729902080 10785 33554432000 4194304 4196468 140730487855360 140213792045328 140213839435477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32944128 140730487862349 140730487862533 140730487862533 140730487865295 0
[pid=26759/tid=26763] ppid=26756 vsize=26103420 memory=288370470869091968 CPUtime=0 cores=0-7
/proc/26759/task/26763/stat : 26763 (java) S 26756 26759 26247 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253348316 26729902080 10785 33554432000 4194304 4196468 140730487855360 140213790992784 140213839435477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32944128 140730487862349 140730487862533 140730487862533 140730487865295 0
[pid=26759/tid=26764] ppid=26756 vsize=26103420 memory=-1 CPUtime=0 cores=0-7
/proc/26759/task/26764/stat : 26764 (java) S 26756 26759 26247 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253348316 26729902080 10785 33554432000 4194304 4196468 140730487855360 140213789940240 140213839435477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32944128 140730487862349 140730487862533 140730487862533 140730487865295 0
[pid=26759/tid=26765] ppid=26756 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/26759/task/26765/stat : 26765 (java) S 26756 26759 26247 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253348316 26729902080 10785 33554432000 4194304 4196468 140730487855360 140213788887696 140213839435477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32944128 140730487862349 140730487862533 140730487862533 140730487865295 0
[pid=26759/tid=26766] ppid=26756 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/26759/task/26766/stat : 26766 (java) S 26756 26759 26247 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253348316 26729902080 10785 33554432000 4194304 4196468 140730487855360 140213787835152 140213839435477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32944128 140730487862349 140730487862533 140730487862533 140730487865295 0
[pid=26759/tid=26767] ppid=26756 vsize=26103420 memory=-1 CPUtime=0 cores=0-7
/proc/26759/task/26767/stat : 26767 (java) S 26756 26759 26247 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253348316 26729902080 10785 33554432000 4194304 4196468 140730487855360 140213786782608 140213839435477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32944128 140730487862349 140730487862533 140730487862533 140730487865295 0
[pid=26759/tid=26768] ppid=26756 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/26759/task/26768/stat : 26768 (java) S 26756 26759 26247 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253348316 26729902080 10785 33554432000 4194304 4196468 140730487855360 140213785730064 140213839435477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32944128 140730487862349 140730487862533 140730487862533 140730487865295 0
[pid=26759/tid=26769] ppid=26756 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/26759/task/26769/stat : 26769 (java) S 26756 26759 26247 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 253348316 26729902080 10785 33554432000 4194304 4196468 140730487855360 140213784677520 140213839435477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32944128 140730487862349 140730487862533 140730487862533 140730487865295 0
[pid=26759/tid=26770] ppid=26756 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/26759/task/26770/stat : 26770 (java) S 26756 26759 26247 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253348318 26729902080 10785 33554432000 4194304 4196468 140730487855360 140212582533104 140213839436418 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32944128 140730487862349 140730487862533 140730487862533 140730487865295 0
[pid=26759/tid=26771] ppid=26756 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/26759/task/26771/stat : 26771 (java) S 26756 26759 26247 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 253348318 26729902080 10785 33554432000 4194304 4196468 140730487855360 140212581479328 140213839435477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32944128 140730487862349 140730487862533 140730487862533 140730487865295 0
[pid=26759/tid=26772] ppid=26756 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/26759/task/26772/stat : 26772 (java) S 26756 26759 26247 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 253348318 26729902080 10785 33554432000 4194304 4196468 140730487855360 140212580426736 140213839435477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32944128 140730487862349 140730487862533 140730487862533 140730487865295 0
[pid=26759/tid=26773] ppid=26756 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/26759/task/26773/stat : 26773 (java) S 26756 26759 26247 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253348321 26729902080 10785 33554432000 4194304 4196468 140730487855360 140212579375312 140213839443867 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32944128 140730487862349 140730487862533 140730487862533 140730487865295 0
[pid=26759/tid=26774] ppid=26756 vsize=26103420 memory=0 CPUtime=0.01 cores=0-7
/proc/26759/task/26774/stat : 26774 (java) S 26756 26759 26247 0 -1 1077944384 331 0 0 0 1 0 0 0 20 0 20 0 253348321 26729902080 10785 33554432000 4194304 4196468 140730487855360 140212578322928 140213839436418 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32944128 140730487862349 140730487862533 140730487862533 140730487865295 0
[pid=26759/tid=26775] ppid=26756 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/26759/task/26775/stat : 26775 (java) S 26756 26759 26247 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 20 0 253348321 26729902080 10785 33554432000 4194304 4196468 140730487855360 140212577270384 140213839436418 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32944128 140730487862349 140730487862533 140730487862533 140730487865295 0
[pid=26759/tid=26776] ppid=26756 vsize=26103420 memory=0 CPUtime=0.01 cores=0-7
/proc/26759/task/26776/stat : 26776 (java) S 26756 26759 26247 0 -1 1077944384 178 0 0 0 1 0 0 0 20 0 20 0 253348321 26729902080 10785 33554432000 4194304 4196468 140730487855360 140212576217840 140213839436418 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32944128 140730487862349 140730487862533 140730487862533 140730487865295 0
[pid=26759/tid=26777] ppid=26756 vsize=26103420 memory=0 CPUtime=0.06 cores=0-7
/proc/26759/task/26777/stat : 26777 (java) S 26756 26759 26247 0 -1 1077944384 287 0 0 0 6 0 0 0 20 0 20 0 253348321 26729902080 10785 33554432000 4194304 4196468 140730487855360 140212575165296 140213839436418 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32944128 140730487862349 140730487862533 140730487862533 140730487865295 0
[pid=26759/tid=26778] ppid=26756 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/26759/task/26778/stat : 26778 (java) S 26756 26759 26247 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 253348321 26729902080 10785 33554432000 4194304 4196468 140730487855360 140212574111968 140213839435477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32944128 140730487862349 140730487862533 140730487862533 140730487865295 0
[pid=26759/tid=26779] ppid=26756 vsize=26103420 memory=-1 CPUtime=0 cores=0-7
/proc/26759/task/26779/stat : 26779 (java) S 26756 26759 26247 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253348321 26729902080 10785 33554432000 4194304 4196468 140730487855360 140212573059504 140213839436418 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32944128 140730487862349 140730487862533 140730487862533 140730487865295 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 26103420 KiB
Current children cumulated memory: 43140 KiB

[startup+0.309716 s]*
/proc/loadavg: 9.10 8.94 8.90 3/202 26779
/proc/meminfo: memFree=24859204/32770624 swapFree=67108840/67108860
[pid=26759] ppid=26756 vsize=26103420 memory=46692 CPUtime=0.43 cores=0-7
/proc/26759/stat : 26759 (java) S 26756 26759 26247 0 -1 1077944320 10855 0 0 0 40 3 0 0 20 0 20 0 253348315 26729902080 11673 33554432000 4194304 4196468 140730487855360 140730487837904 140213839425271 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 32944128 140730487862349 140730487862533 140730487862533 140730487865295 0
/proc/26759/statm: 6525855 11673 3346 1 0 6487932 0
[pid=26759/tid=26761] ppid=26756 vsize=26103420 memory=6791534058613427641 CPUtime=0.3 cores=0-7
/proc/26759/task/26761/stat : 26761 (java) R 26756 26759 26247 0 -1 4202560 8555 0 0 0 28 2 0 0 20 0 20 0 253348315 26729902080 11673 33554432000 4194304 4196468 140730487855360 140213843587008 140213820988846 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32944128 140730487862349 140730487862533 140730487862533 140730487865295 0
[pid=26759/tid=26762] ppid=26756 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/26759/task/26762/stat : 26762 (java) S 26756 26759 26247 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253348316 26729902080 11673 33554432000 4194304 4196468 140730487855360 140213792045328 140213839435477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32944128 140730487862349 140730487862533 140730487862533 140730487865295 0
[pid=26759/tid=26763] ppid=26756 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/26759/task/26763/stat : 26763 (java) S 26756 26759 26247 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253348316 26729902080 11673 33554432000 4194304 4196468 140730487855360 140213790992784 140213839435477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32944128 140730487862349 140730487862533 140730487862533 140730487865295 0
[pid=26759/tid=26764] ppid=26756 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/26759/task/26764/stat : 26764 (java) S 26756 26759 26247 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253348316 26729902080 11673 33554432000 4194304 4196468 140730487855360 140213789940240 140213839435477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32944128 140730487862349 140730487862533 140730487862533 140730487865295 0
[pid=26759/tid=26765] ppid=26756 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/26759/task/26765/stat : 26765 (java) S 26756 26759 26247 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253348316 26729902080 11673 33554432000 4194304 4196468 140730487855360 140213788887696 140213839435477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32944128 140730487862349 140730487862533 140730487862533 140730487865295 0
[pid=26759/tid=26766] ppid=26756 vsize=26103420 memory=2244 CPUtime=0 cores=0-7
/proc/26759/task/26766/stat : 26766 (java) S 26756 26759 26247 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253348316 26729902080 11673 33554432000 4194304 4196468 140730487855360 140213787835152 140213839435477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32944128 140730487862349 140730487862533 140730487862533 140730487865295 0
[pid=26759/tid=26767] ppid=26756 vsize=26103420 memory=140094585533359 CPUtime=0 cores=0-7
/proc/26759/task/26767/stat : 26767 (java) S 26756 26759 26247 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253348316 26729902080 11673 33554432000 4194304 4196468 140730487855360 140213786782608 140213839435477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32944128 140730487862349 140730487862533 140730487862533 140730487865295 0
[pid=26759/tid=26768] ppid=26756 vsize=26103420 memory=140094585535664 CPUtime=0 cores=0-7
/proc/26759/task/26768/stat : 26768 (java) S 26756 26759 26247 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253348316 26729902080 11673 33554432000 4194304 4196468 140730487855360 140213785730064 140213839435477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32944128 140730487862349 140730487862533 140730487862533 140730487865295 0
[pid=26759/tid=26769] ppid=26756 vsize=26103420 memory=140094585537968 CPUtime=0 cores=0-7
/proc/26759/task/26769/stat : 26769 (java) S 26756 26759 26247 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 253348316 26729902080 11673 33554432000 4194304 4196468 140730487855360 140213784677520 140213839435477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32944128 140730487862349 140730487862533 140730487862533 140730487865295 0
[pid=26759/tid=26770] ppid=26756 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/26759/task/26770/stat : 26770 (java) S 26756 26759 26247 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253348318 26729902080 11673 33554432000 4194304 4196468 140730487855360 140212582533104 140213839436418 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32944128 140730487862349 140730487862533 140730487862533 140730487865295 0
[pid=26759/tid=26771] ppid=26756 vsize=26103420 memory=280189171082896 CPUtime=0 cores=0-7
/proc/26759/task/26771/stat : 26771 (java) S 26756 26759 26247 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 253348318 26729902080 11673 33554432000 4194304 4196468 140730487855360 140212581479328 140213839435477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32944128 140730487862349 140730487862533 140730487862533 140730487865295 0
[pid=26759/tid=26772] ppid=26756 vsize=26103420 memory=280189171089808 CPUtime=0 cores=0-7
/proc/26759/task/26772/stat : 26772 (java) S 26756 26759 26247 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 253348318 26729902080 11673 33554432000 4194304 4196468 140730487855360 140212580426736 140213839435477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32944128 140730487862349 140730487862533 140730487862533 140730487865295 0
[pid=26759/tid=26773] ppid=26756 vsize=26103420 memory=280189171031088 CPUtime=0 cores=0-7
/proc/26759/task/26773/stat : 26773 (java) S 26756 26759 26247 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253348321 26729902080 11673 33554432000 4194304 4196468 140730487855360 140212579375312 140213839443867 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32944128 140730487862349 140730487862533 140730487862533 140730487865295 0
[pid=26759/tid=26774] ppid=26756 vsize=26103420 memory=280189171103632 CPUtime=0.01 cores=0-7
/proc/26759/task/26774/stat : 26774 (java) S 26756 26759 26247 0 -1 1077944384 331 0 0 0 1 0 0 0 20 0 20 0 253348321 26729902080 11673 33554432000 4194304 4196468 140730487855360 140212578322928 140213839436418 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32944128 140730487862349 140730487862533 140730487862533 140730487865295 0
[pid=26759/tid=26775] ppid=26756 vsize=26103420 memory=280189171110544 CPUtime=0.01 cores=0-7
/proc/26759/task/26775/stat : 26775 (java) S 26756 26759 26247 0 -1 1077944384 102 0 0 0 1 0 0 0 20 0 20 0 253348321 26729902080 11673 33554432000 4194304 4196468 140730487855360 140212577270384 140213839436418 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32944128 140730487862349 140730487862533 140730487862533 140730487865295 0
[pid=26759/tid=26776] ppid=26756 vsize=26103420 memory=280189171108240 CPUtime=0.01 cores=0-7
/proc/26759/task/26776/stat : 26776 (java) S 26756 26759 26247 0 -1 1077944384 187 0 0 0 1 0 0 0 20 0 20 0 253348321 26729902080 11673 33554432000 4194304 4196468 140730487855360 140212576217840 140213839436418 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32944128 140730487862349 140730487862533 140730487862533 140730487865295 0
[pid=26759/tid=26777] ppid=26756 vsize=26103420 memory=280189171124848 CPUtime=0.07 cores=0-7
/proc/26759/task/26777/stat : 26777 (java) S 26756 26759 26247 0 -1 1077944384 294 0 0 0 7 0 0 0 20 0 20 0 253348321 26729902080 11673 33554432000 4194304 4196468 140730487855360 140212575165296 140213839436418 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32944128 140730487862349 140730487862533 140730487862533 140730487865295 0
[pid=26759/tid=26778] ppid=26756 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/26759/task/26778/stat : 26778 (java) S 26756 26759 26247 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 253348321 26729902080 11673 33554432000 4194304 4196468 140730487855360 140212574111968 140213839435477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32944128 140730487862349 140730487862533 140730487862533 140730487865295 0
[pid=26759/tid=26779] ppid=26756 vsize=26103420 memory=-1 CPUtime=0 cores=0-7
/proc/26759/task/26779/stat : 26779 (java) S 26756 26759 26247 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253348321 26729902080 11673 33554432000 4194304 4196468 140730487855360 140212573059504 140213839436418 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32944128 140730487862349 140730487862533 140730487862533 140730487865295 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 26103420 KiB
Current children cumulated memory: 46692 KiB

[startup+0.700849 s]
/proc/loadavg: 9.10 8.94 8.90 3/202 26779
/proc/meminfo: memFree=24835516/32770624 swapFree=67108840/67108860
[pid=26759] ppid=26756 vsize=26105488 memory=85832 CPUtime=1 cores=0-7
/proc/26759/stat : 26759 (java) S 26756 26759 26247 0 -1 1077944320 17873 0 0 0 95 5 0 0 20 0 20 0 253348315 26732019712 21458 33554432000 4194304 4196468 140730487855360 140730487837904 140213839425271 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 32944128 140730487862349 140730487862533 140730487862533 140730487865295 0
/proc/26759/statm: 6526372 21458 3495 1 0 6488444 0
[pid=26759/tid=26761] ppid=26756 vsize=26105488 memory=0 CPUtime=0.67 cores=0-7
/proc/26759/task/26761/stat : 26761 (java) R 26756 26759 26247 0 -1 4202560 15050 0 0 0 63 4 0 0 20 0 20 0 253348315 26732019712 21458 33554432000 4194304 4196468 140730487855360 140213843640384 140213839447197 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32944128 140730487862349 140730487862533 140730487862533 140730487865295 0
[pid=26759/tid=26762] ppid=26756 vsize=26105488 memory=0 CPUtime=0 cores=0-7
/proc/26759/task/26762/stat : 26762 (java) S 26756 26759 26247 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253348316 26732019712 21458 33554432000 4194304 4196468 140730487855360 140213792045328 140213839435477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32944128 140730487862349 140730487862533 140730487862533 140730487865295 0
[pid=26759/tid=26763] ppid=26756 vsize=26105488 memory=0 CPUtime=0 cores=0-7
/proc/26759/task/26763/stat : 26763 (java) S 26756 26759 26247 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253348316 26732019712 21458 33554432000 4194304 4196468 140730487855360 140213790992784 140213839435477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32944128 140730487862349 140730487862533 140730487862533 140730487865295 0
[pid=26759/tid=26764] ppid=26756 vsize=26105488 memory=0 CPUtime=0 cores=0-7
/proc/26759/task/26764/stat : 26764 (java) S 26756 26759 26247 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253348316 26732019712 21458 33554432000 4194304 4196468 140730487855360 140213789940240 140213839435477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32944128 140730487862349 140730487862533 140730487862533 140730487865295 0
[pid=26759/tid=26765] ppid=26756 vsize=26105488 memory=10692 CPUtime=0 cores=0-7
/proc/26759/task/26765/stat : 26765 (java) S 26756 26759 26247 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253348316 26732019712 21458 33554432000 4194304 4196468 140730487855360 140213788887696 140213839435477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32944128 140730487862349 140730487862533 140730487862533 140730487865295 0
[pid=26759/tid=26766] ppid=26756 vsize=26105488 memory=1620 CPUtime=0 cores=0-7
/proc/26759/task/26766/stat : 26766 (java) S 26756 26759 26247 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253348316 26732019712 21458 33554432000 4194304 4196468 140730487855360 140213787835152 140213839435477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32944128 140730487862349 140730487862533 140730487862533 140730487865295 0
[pid=26759/tid=26767] ppid=26756 vsize=26105488 memory=6864 CPUtime=0 cores=0-7
/proc/26759/task/26767/stat : 26767 (java) S 26756 26759 26247 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253348316 26732019712 21458 33554432000 4194304 4196468 140730487855360 140213786782608 140213839435477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32944128 140730487862349 140730487862533 140730487862533 140730487865295 0
[pid=26759/tid=26768] ppid=26756 vsize=26105488 memory=4548 CPUtime=0 cores=0-7
/proc/26759/task/26768/stat : 26768 (java) S 26756 26759 26247 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253348316 26732019712 21458 33554432000 4194304 4196468 140730487855360 140213785730064 140213839435477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32944128 140730487862349 140730487862533 140730487862533 140730487865295 0
[pid=26759/tid=26769] ppid=26756 vsize=26105488 memory=15188 CPUtime=0 cores=0-7
/proc/26759/task/26769/stat : 26769 (java) S 26756 26759 26247 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 253348316 26732019712 21458 33554432000 4194304 4196468 140730487855360 140213784677520 140213839435477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32944128 140730487862349 140730487862533 140730487862533 140730487865295 0
[pid=26759/tid=26770] ppid=26756 vsize=26105488 memory=4008 CPUtime=0 cores=0-7
/proc/26759/task/26770/stat : 26770 (java) S 26756 26759 26247 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253348318 26732019712 21458 33554432000 4194304 4196468 140730487855360 140212582533104 140213839436418 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32944128 140730487862349 140730487862533 140730487862533 140730487865295 0

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

/proc/26759/task/26781/stat : 26781 (java) R 26756 26759 26247 0 -1 1077944384 21343 0 0 0 50 128 0 0 20 0 46 0 253348663 28518936576 467629 33554432000 4194304 4196468 140730487855360 140212490458272 140213839436418 0 4 0 16800975 0 0 0 -1 3 0 0 8 0 0 6293624 6294260 32944128 140730487862349 140730487862533 140730487862533 140730487865295 0
[pid=26759/tid=26782] ppid=26756 vsize=27850524 memory=33 CPUtime=2480.22 cores=0-7
/proc/26759/task/26782/stat : 26782 (java) R 26756 26759 26247 0 -1 4202560 71386 0 0 0 247985 37 0 0 20 0 46 0 253348683 28518936576 467629 33554432000 4194304 4196468 140730487855360 140212487304032 140213460197998 0 4 0 16800975 0 0 0 -1 6 0 0 45 0 0 6293624 6294260 32944128 140730487862349 140730487862533 140730487862533 140730487865295 0
[pid=26759/tid=26783] ppid=26756 vsize=27850524 memory=6368766512591955049 CPUtime=2479.6 cores=0-7
/proc/26759/task/26783/stat : 26783 (java) R 26756 26759 26247 0 -1 4202560 71157 0 0 0 247926 34 0 0 20 0 46 0 253348684 28518936576 467629 33554432000 4194304 4196468 140730487855360 140212486247992 140213464618246 0 4 0 16800975 0 0 0 -1 4 0 0 41 0 0 6293624 6294260 32944128 140730487862349 140730487862533 140730487862533 140730487865295 0
[pid=26759/tid=26784] ppid=26756 vsize=27850524 memory=7090748737099950400 CPUtime=2479.7 cores=0-7
/proc/26759/task/26784/stat : 26784 (java) R 26756 26759 26247 0 -1 4202560 71341 0 0 0 247936 34 0 0 20 0 46 0 253348684 28518936576 467629 33554432000 4194304 4196468 140730487855360 140212485197328 140213464021741 0 4 0 16800975 0 0 0 -1 0 0 0 45 0 0 6293624 6294260 32944128 140730487862349 140730487862533 140730487862533 140730487865295 0
[pid=26759/tid=26785] ppid=26756 vsize=27850524 memory=7738430333096845927 CPUtime=0.12 cores=0-7
/proc/26759/task/26785/stat : 26785 (java) S 26756 26759 26247 0 -1 1077944384 98 0 0 0 12 0 0 0 20 0 46 0 253348691 28518936576 467629 33554432000 4194304 4196468 140730487855360 140212482053904 140213839435477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 32944128 140730487862349 140730487862533 140730487862533 140730487865295 0
[pid=26759/tid=26786] ppid=26756 vsize=27850524 memory=7090748737099950400 CPUtime=2479.91 cores=0-7
/proc/26759/task/26786/stat : 26786 (java) R 26756 26759 26247 0 -1 4202560 71074 0 0 0 247957 34 0 0 20 0 46 0 253348691 28518936576 467629 33554432000 4194304 4196468 140730487855360 140212480992712 140213463934931 0 4 0 16800975 0 0 0 -1 3 0 0 46 0 0 6293624 6294260 32944128 140730487862349 140730487862533 140730487862533 140730487865295 0
[pid=26759/tid=26787] ppid=26756 vsize=27850524 memory=7157161412486654066 CPUtime=0.11 cores=0-7
/proc/26759/task/26787/stat : 26787 (java) S 26756 26759 26247 0 -1 1077944384 142 0 0 0 11 0 0 0 20 0 46 0 253348691 28518936576 467629 33554432000 4194304 4196468 140730487855360 140212479947792 140213839435477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32944128 140730487862349 140730487862533 140730487862533 140730487865295 0
[pid=26759/tid=26788] ppid=26756 vsize=27850524 memory=7450757474051244132 CPUtime=2480.01 cores=0-7
/proc/26759/task/26788/stat : 26788 (java) R 26756 26759 26247 0 -1 4202560 71919 0 0 0 247964 37 0 0 20 0 46 0 253348691 28518936576 467629 33554432000 4194304 4196468 140730487855360 140212478890296 140213460197848 0 4 0 16800975 0 0 0 -1 7 0 0 38 0 0 6293624 6294260 32944128 140730487862349 140730487862533 140730487862533 140730487865295 0
[pid=26759/tid=26789] ppid=26756 vsize=27850524 memory=7882537850681190488 CPUtime=2478.87 cores=0-7
/proc/26759/task/26789/stat : 26789 (java) R 26756 26759 26247 0 -1 4202560 70602 0 0 0 247853 34 0 0 20 0 46 0 253348691 28518936576 467629 33554432000 4194304 4196468 140730487855360 140212477834944 140213464618110 0 4 0 16800975 0 0 0 -1 1 0 0 39 0 0 6293624 6294260 32944128 140730487862349 140730487862533 140730487862533 140730487865295 0
[pid=26759/tid=26790] ppid=26756 vsize=27850524 memory=7882537850681190488 CPUtime=0.05 cores=0-7
/proc/26759/task/26790/stat : 26790 (java) S 26756 26759 26247 0 -1 1077944384 498 0 0 0 5 0 0 0 20 0 46 0 253348692 28518936576 467629 33554432000 4194304 4196468 140730487855360 140212476790160 140213839435477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32944128 140730487862349 140730487862533 140730487862533 140730487865295 0
[pid=26759/tid=26791] ppid=26756 vsize=27850524 memory=7882537850681190488 CPUtime=2482.96 cores=0-7
/proc/26759/task/26791/stat : 26791 (java) R 26756 26759 26247 0 -1 4202560 73999 0 0 0 248258 38 0 0 20 0 46 0 253348692 28518936576 467629 33554432000 4194304 4196468 140730487855360 140212475733552 140213463932724 0 4 0 16800975 0 0 0 -1 2 0 0 36 0 0 6293624 6294260 32944128 140730487862349 140730487862533 140730487862533 140730487865295 0
[pid=26759/tid=26792] ppid=26756 vsize=27850524 memory=7882235411901671016 CPUtime=0.05 cores=0-7
/proc/26759/task/26792/stat : 26792 (java) S 26756 26759 26247 0 -1 1077944384 318 0 0 0 5 0 0 0 20 0 46 0 253348693 28518936576 467629 33554432000 4194304 4196468 140730487855360 140212474685072 140213839435477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32944128 140730487862349 140730487862533 140730487862533 140730487865295 0
[pid=26759/tid=26793] ppid=26756 vsize=27850524 memory=7882537850681190488 CPUtime=2481.08 cores=0-7
/proc/26759/task/26793/stat : 26793 (java) R 26756 26759 26247 0 -1 4202560 74884 0 0 0 248077 31 0 0 20 0 46 0 253348703 28518936576 467629 33554432000 4194304 4196468 140730487855360 140212473626760 140213460198084 0 4 0 16800975 0 0 0 -1 5 0 0 38 0 0 6293624 6294260 32944128 140730487862349 140730487862533 140730487862533 140730487865295 0
[pid=26759/tid=26794] ppid=26756 vsize=27850524 memory=303430223234596890 CPUtime=0.05 cores=0-7
/proc/26759/task/26794/stat : 26794 (java) S 26756 26759 26247 0 -1 1077944384 148 0 0 0 5 0 0 0 20 0 46 0 253348703 28518936576 467629 33554432000 4194304 4196468 140730487855360 140212472578960 140213839435477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32944128 140730487862349 140730487862533 140730487862533 140730487865295 0
[pid=26759/tid=26795] ppid=26756 vsize=27850524 memory=288230596050944315 CPUtime=0.04 cores=0-7
/proc/26759/task/26795/stat : 26795 (java) S 26756 26759 26247 0 -1 1077944384 66 0 0 0 4 0 0 0 20 0 46 0 253348703 28518936576 467629 33554432000 4194304 4196468 140730487855360 140212471526416 140213839435477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32944128 140730487862349 140730487862533 140730487862533 140730487865295 0
[pid=26759/tid=26796] ppid=26756 vsize=27850524 memory=16101468159609437 CPUtime=0.04 cores=0-7
/proc/26759/task/26796/stat : 26796 (java) S 26756 26759 26247 0 -1 1077944384 101 0 0 0 4 0 0 0 20 0 46 0 253348703 28518936576 467629 33554432000 4194304 4196468 140730487855360 140212470473872 140213839435477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32944128 140730487862349 140730487862533 140730487862533 140730487865295 0
[pid=26759/tid=26797] ppid=26756 vsize=27850524 memory=3500 CPUtime=0.05 cores=0-7
/proc/26759/task/26797/stat : 26797 (java) S 26756 26759 26247 0 -1 1077944384 207 0 0 0 5 0 0 0 20 0 46 0 253348703 28518936576 467629 33554432000 4194304 4196468 140730487855360 140212469421328 140213839435477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32944128 140730487862349 140730487862533 140730487862533 140730487865295 0
[pid=26759/tid=26798] ppid=26756 vsize=27850524 memory=69060 CPUtime=0.04 cores=0-7
/proc/26759/task/26798/stat : 26798 (java) S 26756 26759 26247 0 -1 1077944384 67 0 0 0 4 0 0 0 20 0 46 0 253348750 28518936576 467629 33554432000 4194304 4196468 140730487855360 140212466234768 140213839435477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32944128 140730487862349 140730487862533 140730487862533 140730487865295 0
[pid=26759/tid=26799] ppid=26756 vsize=27850524 memory=288230574492221466 CPUtime=0.07 cores=0-7
/proc/26759/task/26799/stat : 26799 (java) S 26756 26759 26247 0 -1 1077944384 339 0 0 0 7 0 0 0 20 0 46 0 253348751 28518936576 467629 33554432000 4194304 4196468 140730487855360 140212465182224 140213839435477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32944128 140730487862349 140730487862533 140730487862533 140730487865295 0
[pid=26759/tid=26800] ppid=26756 vsize=27850524 memory=288230596050944315 CPUtime=0.06 cores=0-7
/proc/26759/task/26800/stat : 26800 (java) S 26756 26759 26247 0 -1 1077944384 573 0 0 0 6 0 0 0 20 0 46 0 253348751 28518936576 467629 33554432000 4194304 4196468 140730487855360 140212464129680 140213839435477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32944128 140730487862349 140730487862533 140730487862533 140730487865295 0
[pid=26759/tid=26801] ppid=26756 vsize=27850524 memory=16101468159609437 CPUtime=0.06 cores=0-7
/proc/26759/task/26801/stat : 26801 (java) S 26756 26759 26247 0 -1 1077944384 592 0 0 0 6 0 0 0 20 0 46 0 253348751 28518936576 467629 33554432000 4194304 4196468 140730487855360 140212463077136 140213839435477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32944128 140730487862349 140730487862533 140730487862533 140730487865295 0
[pid=26759/tid=26802] ppid=26756 vsize=27850524 memory=1224 CPUtime=0.04 cores=0-7
/proc/26759/task/26802/stat : 26802 (java) S 26756 26759 26247 0 -1 1077944384 510 0 0 0 4 0 0 0 20 0 46 0 253348751 28518936576 467629 33554432000 4194304 4196468 140730487855360 140212462023568 140213839435477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32944128 140730487862349 140730487862533 140730487862533 140730487865295 0
[pid=26759/tid=26803] ppid=26756 vsize=27850524 memory=1828 CPUtime=0.05 cores=0-7
/proc/26759/task/26803/stat : 26803 (java) S 26756 26759 26247 0 -1 1077944384 115 0 0 0 5 0 0 0 20 0 46 0 253348753 28518936576 467629 33554432000 4194304 4196468 140730487855360 140212460971024 140213839435477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32944128 140730487862349 140730487862533 140730487862533 140730487865295 0
[pid=26759/tid=26804] ppid=26756 vsize=27850524 memory=5728 CPUtime=0.04 cores=0-7
/proc/26759/task/26804/stat : 26804 (java) S 26756 26759 26247 0 -1 1077944384 358 0 0 0 4 0 0 0 20 0 46 0 253348755 28518936576 467629 33554432000 4194304 4196468 140730487855360 140212459918480 140213839435477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32944128 140730487862349 140730487862533 140730487862533 140730487865295 0
[pid=26759/tid=26805] ppid=26756 vsize=27850524 memory=1408 CPUtime=0.05 cores=0-7
/proc/26759/task/26805/stat : 26805 (java) S 26756 26759 26247 0 -1 1077944384 195 0 0 0 5 0 0 0 20 0 46 0 253348756 28518936576 467629 33554432000 4194304 4196468 140730487855360 140212458865936 140213839435477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32944128 140730487862349 140730487862533 140730487862533 140730487865295 0
Current children cumulated CPU time: 19934.8 s
Current children cumulated vsize: 27850524 KiB
Current children cumulated memory: 1870516 KiB

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

[startup+2520.25 s]
# the end of solver process 26759 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=19928.2 s, system=8.32092 s

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

[startup+2520.21 s]
/proc/loadavg: 8.79 8.88 8.83 10/229 26873
/proc/meminfo: memFree=23031444/32770624 swapFree=67108840/67108860
[pid=26759] ppid=26756 vsize=27984680 memory=1872900 CPUtime=19936.4 cores=0-7
/proc/26759/stat : 26759 (java) S 26756 26759 26247 0 -1 1077944320 2188903 0 0 0 1992810 830 0 0 20 0 45 0 253348315 28656312320 468225 33554432000 4194304 4196468 140730487855360 140730487837904 140213839425271 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 32944128 140730487862349 140730487862533 140730487862533 140730487865295 0
/proc/26759/statm: 6996170 468225 3627 1 0 6957721 0
[pid=26759/tid=26761] ppid=26756 vsize=27984680 memory=882 CPUtime=3.66 cores=0-7
/proc/26759/task/26761/stat : 26761 (java) S 26756 26759 26247 0 -1 1077944384 22143 0 0 0 358 8 0 0 20 0 45 0 253348315 28656312320 468225 33554432000 4194304 4196468 140730487855360 140213843663952 140213839435477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32944128 140730487862349 140730487862533 140730487862533 140730487865295 0
[pid=26759/tid=26762] ppid=26756 vsize=27984680 memory=4872558044660077418 CPUtime=8.92 cores=0-7
/proc/26759/task/26762/stat : 26762 (java) S 26756 26759 26247 0 -1 1077944384 157862 0 0 0 834 58 0 0 20 0 45 0 253348316 28656312320 468225 33554432000 4194304 4196468 140730487855360 140213792045328 140213839435477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 40 0 0 6293624 6294260 32944128 140730487862349 140730487862533 140730487862533 140730487865295 0
[pid=26759/tid=26763] ppid=26756 vsize=27984680 memory=288230596050944315 CPUtime=8.87 cores=0-7
/proc/26759/task/26763/stat : 26763 (java) S 26756 26759 26247 0 -1 1077944384 157300 0 0 0 825 62 0 0 20 0 45 0 253348316 28656312320 468225 33554432000 4194304 4196468 140730487855360 140213790992784 140213839435477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 42 0 0 6293624 6294260 32944128 140730487862349 140730487862533 140730487862533 140730487865295 0
[pid=26759/tid=26764] ppid=26756 vsize=27984680 memory=16101468159609437 CPUtime=8.9 cores=0-7
/proc/26759/task/26764/stat : 26764 (java) S 26756 26759 26247 0 -1 1077944384 166861 0 0 0 829 61 0 0 20 0 45 0 253348316 28656312320 468225 33554432000 4194304 4196468 140730487855360 140213789940240 140213839435477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 42 0 0 6293624 6294260 32944128 140730487862349 140730487862533 140730487862533 140730487865295 0
[pid=26759/tid=26765] ppid=26756 vsize=27984680 memory=1870516 CPUtime=8.88 cores=0-7
/proc/26759/task/26765/stat : 26765 (java) S 26756 26759 26247 0 -1 1077944384 147573 0 0 0 833 55 0 0 20 0 45 0 253348316 28656312320 468225 33554432000 4194304 4196468 140730487855360 140213788887696 140213839435477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 44 0 0 6293624 6294260 32944128 140730487862349 140730487862533 140730487862533 140730487865295 0
[pid=26759/tid=26766] ppid=26756 vsize=27984680 memory=3988 CPUtime=8.85 cores=0-7
/proc/26759/task/26766/stat : 26766 (java) S 26756 26759 26247 0 -1 1077944384 151685 0 0 0 825 60 0 0 20 0 45 0 253348316 28656312320 468225 33554432000 4194304 4196468 140730487855360 140213787835152 140213839435477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 42 0 0 6293624 6294260 32944128 140730487862349 140730487862533 140730487862533 140730487865295 0
[pid=26759/tid=26767] ppid=26756 vsize=27984680 memory=2036 CPUtime=8.86 cores=0-7
/proc/26759/task/26767/stat : 26767 (java) S 26756 26759 26247 0 -1 1077944384 155075 0 0 0 829 57 0 0 20 0 45 0 253348316 28656312320 468225 33554432000 4194304 4196468 140730487855360 140213786782608 140213839435477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 43 0 0 6293624 6294260 32944128 140730487862349 140730487862533 140730487862533 140730487865295 0
[pid=26759/tid=26768] ppid=26756 vsize=27984680 memory=288230574492221466 CPUtime=8.84 cores=0-7
/proc/26759/task/26768/stat : 26768 (java) S 26756 26759 26247 0 -1 1077944384 169644 0 0 0 825 59 0 0 20 0 45 0 253348316 28656312320 468225 33554432000 4194304 4196468 140730487855360 140213785730064 140213839435477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 42 0 0 6293624 6294260 32944128 140730487862349 140730487862533 140730487862533 140730487865295 0
[pid=26759/tid=26769] ppid=26756 vsize=27984680 memory=288230596050944315 CPUtime=8.85 cores=0-7
/proc/26759/task/26769/stat : 26769 (java) S 26756 26759 26247 0 -1 1077944384 152643 0 0 0 830 55 0 0 20 0 45 0 253348316 28656312320 468225 33554432000 4194304 4196468 140730487855360 140213784677520 140213839435477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 44 0 0 6293624 6294260 32944128 140730487862349 140730487862533 140730487862533 140730487865295 0
[pid=26759/tid=26770] ppid=26756 vsize=27984680 memory=16101468159609437 CPUtime=7.66 cores=0-7
/proc/26759/task/26770/stat : 26770 (java) S 26756 26759 26247 0 -1 1077944384 252825 0 0 0 676 90 0 0 20 0 45 0 253348318 28656312320 468225 33554432000 4194304 4196468 140730487855360 140212582533104 140213839436418 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32944128 140730487862349 140730487862533 140730487862533 140730487865295 0
[pid=26759/tid=26771] ppid=26756 vsize=27984680 memory=7528 CPUtime=0 cores=0-7
/proc/26759/task/26771/stat : 26771 (java) S 26756 26759 26247 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 45 0 253348318 28656312320 468225 33554432000 4194304 4196468 140730487855360 140212581479392 140213839435477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32944128 140730487862349 140730487862533 140730487862533 140730487865295 0
[pid=26759/tid=26772] ppid=26756 vsize=27984680 memory=800 CPUtime=0 cores=0-7
/proc/26759/task/26772/stat : 26772 (java) S 26756 26759 26247 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 45 0 253348318 28656312320 468225 33554432000 4194304 4196468 140730487855360 140212580426752 140213839435477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32944128 140730487862349 140730487862533 140730487862533 140730487865295 0
[pid=26759/tid=26773] ppid=26756 vsize=27984680 memory=1800 CPUtime=0 cores=0-7
/proc/26759/task/26773/stat : 26773 (java) S 26756 26759 26247 0 -1 1077944384 131 0 0 0 0 0 0 0 20 0 45 0 253348321 28656312320 468225 33554432000 4194304 4196468 140730487855360 140212579375312 140213839443867 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32944128 140730487862349 140730487862533 140730487862533 140730487865295 0
[pid=26759/tid=26774] ppid=26756 vsize=27984680 memory=916 CPUtime=1.65 cores=0-7
/proc/26759/task/26774/stat : 26774 (java) R 26756 26759 26247 0 -1 4202560 7189 0 0 0 162 3 0 0 20 0 45 0 253348321 28656312320 468225 33554432000 4194304 4196468 140730487855360 140212578311728 140213817872571 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32944128 140730487862349 140730487862533 140730487862533 140730487865295 0
[pid=26759/tid=26775] ppid=26756 vsize=27984680 memory=4136 CPUtime=1.91 cores=0-7
/proc/26759/task/26775/stat : 26775 (java) R 26756 26759 26247 0 -1 4202560 6220 0 0 0 188 3 0 0 20 0 45 0 253348321 28656312320 468225 33554432000 4194304 4196468 140730487855360 140212577260976 140213823817471 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32944128 140730487862349 140730487862533 140730487862533 140730487865295 0
[pid=26759/tid=26776] ppid=26756 vsize=27984680 memory=6791534058613427641 CPUtime=1.81 cores=0-7
/proc/26759/task/26776/stat : 26776 (java) R 26756 26759 26247 0 -1 4202560 7209 0 0 0 180 1 0 0 20 0 45 0 253348321 28656312320 468225 33554432000 4194304 4196468 140730487855360 140212576218136 140213822637544 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32944128 140730487862349 140730487862533 140730487862533 140730487865295 0
[pid=26759/tid=26777] ppid=26756 vsize=27984680 memory=2036 CPUtime=1.2 cores=0-7
/proc/26759/task/26777/stat : 26777 (java) S 26756 26759 26247 0 -1 1077944384 15845 0 0 0 117 3 0 0 20 0 45 0 253348321 28656312320 468225 33554432000 4194304 4196468 140730487855360 140212575165296 140213839436418 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32944128 140730487862349 140730487862533 140730487862533 140730487865295 0
[pid=26759/tid=26778] ppid=26756 vsize=27984680 memory=7528 CPUtime=0 cores=0-7
/proc/26759/task/26778/stat : 26778 (java) S 26756 26759 26247 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 45 0 253348321 28656312320 468225 33554432000 4194304 4196468 140730487855360 140212574111968 140213839435477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32944128 140730487862349 140730487862533 140730487862533 140730487865295 0
[pid=26759/tid=26780] ppid=26756 vsize=27984680 memory=1800 CPUtime=0.03 cores=0-7
/proc/26759/task/26780/stat : 26780 (java) S 26756 26759 26247 0 -1 1077944384 1428 0 0 0 3 0 0 0 20 0 45 0 253348646 28656312320 468225 33554432000 4194304 4196468 140730487855360 140212493607632 140213839435477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32944128 140730487862349 140730487862533 140730487862533 140730487865295 0
[pid=26759/tid=26782] ppid=26756 vsize=27984680 memory=4136 CPUtime=2480.35 cores=0-7
/proc/26759/task/26782/stat : 26782 (java) R 26756 26759 26247 0 -1 4202560 71386 0 0 0 247998 37 0 0 20 0 45 0 253348683 28656312320 468225 33554432000 4194304 4196468 140730487855360 140212487303920 140213465466330 0 4 0 16800975 0 0 0 -1 6 0 0 45 0 0 6293624 6294260 32944128 140730487862349 140730487862533 140730487862533 140730487865295 0
[pid=26759/tid=26783] ppid=26756 vsize=27984680 memory=1408 CPUtime=2479.79 cores=0-7
/proc/26759/task/26783/stat : 26783 (java) R 26756 26759 26247 0 -1 4202560 71157 0 0 0 247945 34 0 0 20 0 45 0 253348684 28656312320 468225 33554432000 4194304 4196468 140730487855360 140212486247992 140213463934873 0 4 0 16800975 0 0 0 -1 4 0 0 41 0 0 6293624 6294260 32944128 140730487862349 140730487862533 140730487862533 140730487865295 0
[pid=26759/tid=26784] ppid=26756 vsize=27984680 memory=4640 CPUtime=2479.89 cores=0-7
/proc/26759/task/26784/stat : 26784 (java) R 26756 26759 26247 0 -1 4202560 71341 0 0 0 247955 34 0 0 20 0 45 0 253348684 28656312320 468290 33554432000 4194304 4196468 140730487855360 140212485197328 140213464030814 0 4 0 16800975 0 0 0 -1 0 0 0 45 0 0 6293624 6294260 32944128 140730487862349 140730487862533 140730487862533 140730487865295 0
[pid=26759/tid=26785] ppid=26756 vsize=27984680 memory=1870516 CPUtime=0.12 cores=0-7
/proc/26759/task/26785/stat : 26785 (java) S 26756 26759 26247 0 -1 1077944384 98 0 0 0 12 0 0 0 20 0 45 0 253348691 28656312320 468290 33554432000 4194304 4196468 140730487855360 140212482053904 140213839435477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 32944128 140730487862349 140730487862533 140730487862533 140730487865295 0
[pid=26759/tid=26786] ppid=26756 vsize=27984680 memory=4104 CPUtime=2480.09 cores=0-7
/proc/26759/task/26786/stat : 26786 (java) R 26756 26759 26247 0 -1 4202560 71074 0 0 0 247975 34 0 0 20 0 45 0 253348691 28656312320 468290 33554432000 4194304 4196468 140730487855360 140212480992712 140213459421138 0 4 0 16800975 0 0 0 -1 3 0 0 46 0 0 6293624 6294260 32944128 140730487862349 140730487862533 140730487862533 140730487865295 0
[pid=26759/tid=26787] ppid=26756 vsize=27984680 memory=1398720917958146503 CPUtime=0.11 cores=0-7
/proc/26759/task/26787/stat : 26787 (java) S 26756 26759 26247 0 -1 1077944384 164 0 0 0 11 0 0 0 20 0 45 0 253348691 28656312320 468290 33554432000 4194304 4196468 140730487855360 140212479947792 140213839435477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32944128 140730487862349 140730487862533 140730487862533 140730487865295 0
[pid=26759/tid=26788] ppid=26756 vsize=27984680 memory=4126316290023845779 CPUtime=2480.21 cores=0-7
/proc/26759/task/26788/stat : 26788 (java) R 26756 26759 26247 0 -1 4202560 71919 0 0 0 247984 37 0 0 20 0 45 0 253348691 28656312320 468290 33554432000 4194304 4196468 140730487855360 140212478890296 140213464021939 0 4 0 16800975 0 0 0 -1 7 0 0 38 0 0 6293624 6294260 32944128 140730487862349 140730487862533 140730487862533 140730487865295 0
[pid=26759/tid=26789] ppid=26756 vsize=27984680 memory=5728 CPUtime=2479.07 cores=0-7
/proc/26759/task/26789/stat : 26789 (java) R 26756 26759 26247 0 -1 4202560 70602 0 0 0 247873 34 0 0 20 0 45 0 253348691 28656312320 468290 33554432000 4194304 4196468 140730487855360 140212477835080 140213459421133 0 4 0 16800975 0 0 0 -1 1 0 0 39 0 0 6293624 6294260 32944128 140730487862349 140730487862533 140730487862533 140730487865295 0
[pid=26759/tid=26790] ppid=26756 vsize=27984680 memory=1408 CPUtime=0.05 cores=0-7
/proc/26759/task/26790/stat : 26790 (java) S 26756 26759 26247 0 -1 1077944384 521 0 0 0 5 0 0 0 20 0 45 0 253348692 28656312320 468290 33554432000 4194304 4196468 140730487855360 140212476790160 140213839435477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32944128 140730487862349 140730487862533 140730487862533 140730487865295 0
[pid=26759/tid=26791] ppid=26756 vsize=27984680 memory=4629771062077588875 CPUtime=2483.13 cores=0-7
/proc/26759/task/26791/stat : 26791 (java) R 26756 26759 26247 0 -1 4202560 73999 0 0 0 248275 38 0 0 20 0 45 0 253348692 28656312320 468290 33554432000 4194304 4196468 140730487855360 140212475733720 140213459421171 0 4 0 16800975 0 0 0 -1 2 0 0 36 0 0 6293624 6294260 32944128 140730487862349 140730487862533 140730487862533 140730487865295 0
[pid=26759/tid=26792] ppid=26756 vsize=27984680 memory=-8961168018402230209 CPUtime=0.05 cores=0-7
/proc/26759/task/26792/stat : 26792 (java) S 26756 26759 26247 0 -1 1077944384 377 0 0 0 5 0 0 0 20 0 45 0 253348693 28656312320 468290 33554432000 4194304 4196468 140730487855360 140212474685072 140213839435477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32944128 140730487862349 140730487862533 140730487862533 140730487865295 0
[pid=26759/tid=26793] ppid=26756 vsize=27984680 memory=-8253362762722141311 CPUtime=2481.28 cores=0-7
/proc/26759/task/26793/stat : 26793 (java) R 26756 26759 26247 0 -1 4202560 74884 0 0 0 248097 31 0 0 20 0 45 0 253348703 28656312320 468290 33554432000 4194304 4196468 140730487855360 140212473626760 140213459421237 0 4 0 16800975 0 0 0 -1 5 0 0 38 0 0 6293624 6294260 32944128 140730487862349 140730487862533 140730487862533 140730487865295 0
[pid=26759/tid=26794] ppid=26756 vsize=27984680 memory=7100839861465685612 CPUtime=0.05 cores=0-7
/proc/26759/task/26794/stat : 26794 (java) S 26756 26759 26247 0 -1 1077944384 148 0 0 0 5 0 0 0 20 0 45 0 253348703 28656312320 468290 33554432000 4194304 4196468 140730487855360 140212472578960 140213839435477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32944128 140730487862349 140730487862533 140730487862533 140730487865295 0
[pid=26759/tid=26795] ppid=26756 vsize=27984680 memory=6791534058613427641 CPUtime=0.04 cores=0-7
/proc/26759/task/26795/stat : 26795 (java) S 26756 26759 26247 0 -1 1077944384 66 0 0 0 4 0 0 0 20 0 45 0 253348703 28656312320 468290 33554432000 4194304 4196468 140730487855360 140212471526416 140213839435477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32944128 140730487862349 140730487862533 140730487862533 140730487865295 0
[pid=26759/tid=26796] ppid=26756 vsize=27984680 memory=4548 CPUtime=0.05 cores=0-7
/proc/26759/task/26796/stat : 26796 (java) S 26756 26759 26247 0 -1 1077944384 202 0 0 0 5 0 0 0 20 0 45 0 253348703 28656312320 468290 33554432000 4194304 4196468 140730487855360 140212470473872 140213839435477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32944128 140730487862349 140730487862533 140730487862533 140730487865295 0
[pid=26759/tid=26797] ppid=26756 vsize=27984680 memory=15188 CPUtime=0.07 cores=0-7
/proc/26759/task/26797/stat : 26797 (java) S 26756 26759 26247 0 -1 1077944384 541 0 0 0 7 0 0 0 20 0 45 0 253348703 28656312320 468290 33554432000 4194304 4196468 140730487855360 140212469421328 140213839435477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32944128 140730487862349 140730487862533 140730487862533 140730487865295 0
[pid=26759/tid=26798] ppid=26756 vsize=27984680 memory=48740 CPUtime=0.04 cores=0-7
/proc/26759/task/26798/stat : 26798 (java) S 26756 26759 26247 0 -1 1077944384 67 0 0 0 4 0 0 0 20 0 45 0 253348750 28656312320 468290 33554432000 4194304 4196468 140730487855360 140212466234768 140213839435477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32944128 140730487862349 140730487862533 140730487862533 140730487865295 0
[pid=26759/tid=26799] ppid=26756 vsize=27984680 memory=6791534058613427641 CPUtime=0.07 cores=0-7
/proc/26759/task/26799/stat : 26799 (java) S 26756 26759 26247 0 -1 1077944384 363 0 0 0 7 0 0 0 20 0 45 0 253348751 28656312320 468290 33554432000 4194304 4196468 140730487855360 140212465182224 140213839435477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32944128 140730487862349 140730487862533 140730487862533 140730487865295 0
[pid=26759/tid=26800] ppid=26756 vsize=27984680 memory=1870516 CPUtime=0.07 cores=0-7
/proc/26759/task/26800/stat : 26800 (java) S 26756 26759 26247 0 -1 1077944384 741 0 0 0 7 0 0 0 20 0 45 0 253348751 28656312320 468290 33554432000 4194304 4196468 140730487855360 140212464129680 140213839435477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32944128 140730487862349 140730487862533 140730487862533 140730487865295 0
[pid=26759/tid=26801] ppid=26756 vsize=27984680 memory=6791534058613427641 CPUtime=0.06 cores=0-7
/proc/26759/task/26801/stat : 26801 (java) S 26756 26759 26247 0 -1 1077944384 624 0 0 0 6 0 0 0 20 0 45 0 253348751 28656312320 468290 33554432000 4194304 4196468 140730487855360 140212463077136 140213839435477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32944128 140730487862349 140730487862533 140730487862533 140730487865295 0
[pid=26759/tid=26802] ppid=26756 vsize=27984680 memory=1870516 CPUtime=0.05 cores=0-7
/proc/26759/task/26802/stat : 26802 (java) S 26756 26759 26247 0 -1 1077944384 692 0 0 0 5 0 0 0 20 0 45 0 253348751 28656312320 468290 33554432000 4194304 4196468 140730487855360 140212462023568 140213839435477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32944128 140730487862349 140730487862533 140730487862533 140730487865295 0
[pid=26759/tid=26803] ppid=26756 vsize=27984680 memory=928 CPUtime=0.05 cores=0-7
/proc/26759/task/26803/stat : 26803 (java) S 26756 26759 26247 0 -1 1077944384 117 0 0 0 5 0 0 0 20 0 45 0 253348753 28656312320 468290 33554432000 4194304 4196468 140730487855360 140212460971024 140213839435477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32944128 140730487862349 140730487862533 140730487862533 140730487865295 0
[pid=26759/tid=26804] ppid=26756 vsize=27984680 memory=2216 CPUtime=0.04 cores=0-7
/proc/26759/task/26804/stat : 26804 (java) S 26756 26759 26247 0 -1 1077944384 382 0 0 0 4 0 0 0 20 0 45 0 253348755 28656312320 468290 33554432000 4194304 4196468 140730487855360 140212459918480 140213839435477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32944128 140730487862349 140730487862533 140730487862533 140730487865295 0
[pid=26759/tid=26805] ppid=26756 vsize=27984680 memory=3988 CPUtime=0.05 cores=0-7
/proc/26759/task/26805/stat : 26805 (java) S 26756 26759 26247 0 -1 1077944384 196 0 0 0 5 0 0 0 20 0 45 0 253348756 28656312320 468290 33554432000 4194304 4196468 140730487855360 140212458865936 140213839435477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32944128 140730487862349 140730487862533 140730487862533 140730487865295 0
Current children cumulated CPU time: 19936.4 s
Current children cumulated vsize: 27984680 KiB
Current children cumulated memory: 1872900 KiB

Child status: 143
Real time (s): 2520.25
CPU time (s): 19936.5
CPU user time (s): 19928.2
CPU system time (s): 8.32092
CPU usage (%): 791.055
Max. virtual memory (cumulated for all children) (KiB): 27984680
Max. memory (cumulated for all children) (KiB): 1907860

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19928.2
system time used= 8.32091
maximum resident set size= 1909464
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2189119
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4648
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 761904
involuntary context switches= 445171


# summary of solver processes directly reported to runsolver:
#   pid: 26759
#   total CPU time (s): 19936.5
#   total CPU user time (s): 19928.2
#   total CPU system time (s): 8.32092

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 25.6865 second user time and 37.2961 second system time

The end

Launcher Data 

Begin job on node135 at 2018-08-15 20:30:51
IDJOB=4308851
IDBENCH=141121
IDSOLVER=2793
FILE ID=node135/4308851-1534357851
RUNJOBID= node135-1534352793-26274
PBS_JOBID= 21038254
Free space on /tmp= 49628 MiB

SOLVER NAME= OscaR - Parallel with EPS 2018-08-14
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-4308851-1534357851/watcher-4308851-1534357851 -o /tmp/evaluation-result-4308851-1534357851/solver-4308851-1534357851 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node135-1534352793-26274 --watchdog 2580  java -Xmx22000m -jar oscarCPXcsp3-parallel.jar --randomseed 1351229940 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4308851-1534357851.xml

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

MD5SUM BENCH= 6059cce927de517ef09e7ab17e66c3d6
RANDOM SEED=1351229940

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        24893712 kB
MemAvailable:   31894220 kB
Buffers:          171524 kB
Cached:          7073824 kB
SwapCached:           20 kB
Active:          3945744 kB
Inactive:        3355180 kB
Active(anon):       4424 kB
Inactive(anon):   111460 kB
Active(file):    3941320 kB
Inactive(file):  3243720 kB
Unevictable:        7240 kB
Mlocked:            7240 kB
SwapTotal:      67108860 kB
SwapFree:       67108840 kB
Dirty:             35764 kB
Writeback:             4 kB
AnonPages:         61792 kB
Mapped:            58204 kB
Shmem:             57996 kB
Slab:             271572 kB
SReclaimable:     243928 kB
SUnreclaim:        27644 kB
KernelStack:        3264 kB
PageTables:         5404 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     356836 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      8192 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:       93568 kB
DirectMap2M:    33452032 kB

Free space on /tmp at the end= 49592 MiB
End job on node135 at 2018-08-15 21:12:52