Trace number 4310373

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
OscaR - Hybrid 2018-08-14SAT (TO)5 252.053 241.322

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 benchmark5
Best CPU time to get the best result obtained on this benchmark252.053
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: 196570930
0.68/0.55	c timeout: 252
0.68/0.55	c memlimit: 11000
0.68/0.55	c nbcore: 4
0.68/0.57	c Parsing instance...
2.59/1.45	c Parsing done, starting first complete search...
2.84/1.58	o 1179
2.84/1.58	o 1176
2.84/1.58	o 1174
2.84/1.58	o 1172
2.84/1.58	o 1171
2.84/1.58	o 1170
2.84/1.58	o 1168
2.84/1.58	o 1167
2.84/1.59	o 1166
2.84/1.59	o 1165
2.84/1.59	o 1164
2.84/1.59	o 1163
2.84/1.59	o 1162
2.84/1.59	o 1161
2.84/1.59	o 1160
2.84/1.59	o 1159
2.84/1.59	o 1158
2.84/1.59	o 1157
2.84/1.59	o 1156
2.84/1.59	o 1155
2.84/1.59	o 1154
2.84/1.59	o 1153
2.84/1.60	o 1152
2.84/1.60	o 1151
3.15/1.60	o 1150
3.15/1.60	o 1149
3.15/1.60	o 1148
3.15/1.60	o 1147
3.15/1.60	o 1146
3.15/1.60	o 1144
3.15/1.60	o 1143
3.15/1.60	o 1141
3.15/1.60	o 1140
3.15/1.60	o 1139
3.15/1.61	o 1138
3.15/1.61	o 1137
3.15/1.61	o 1136
3.15/1.61	o 1134
3.15/1.61	o 1133
3.15/1.62	o 1132
3.15/1.62	o 1131
3.15/1.62	o 1130
3.15/1.62	o 1129
3.15/1.62	o 1128
3.15/1.62	o 1127
3.15/1.62	o 1126
3.15/1.62	o 1125
3.15/1.62	o 1124
3.15/1.62	o 1123
3.15/1.62	o 1122
3.15/1.62	o 1121
3.15/1.62	o 1120
3.15/1.62	o 1119
3.15/1.62	o 1118
3.15/1.62	o 1117
3.15/1.62	o 1116
3.15/1.62	o 1115
3.15/1.62	o 1114
3.15/1.63	o 1113
3.15/1.63	o 1112
3.15/1.63	o 1111
3.15/1.63	o 1110
3.15/1.63	o 1109
3.15/1.63	o 1108
3.15/1.63	o 1107
3.15/1.63	o 1106
3.15/1.63	o 1105
3.15/1.63	o 1104
3.15/1.63	o 1103
3.15/1.63	o 1102
3.15/1.63	o 1101
3.15/1.63	o 1100
3.15/1.63	o 1099
3.15/1.63	o 1098
3.15/1.63	o 1097
3.15/1.63	o 1096
3.15/1.63	o 1095
3.15/1.64	o 1094
3.15/1.64	o 1093
3.15/1.64	o 1092
3.15/1.64	o 1091
3.15/1.64	o 1090
3.15/1.64	o 1089
3.15/1.64	o 1088
3.15/1.64	o 1087
3.15/1.64	o 1086
3.15/1.64	o 1085
3.15/1.64	o 1084
3.15/1.64	o 1083
3.15/1.64	o 1082
3.15/1.64	o 1081
3.15/1.64	o 1080
3.15/1.64	o 1079
3.15/1.64	o 1078
3.15/1.64	o 1077
3.15/1.65	o 1076
3.15/1.65	o 1075
3.15/1.65	o 1074
3.15/1.65	o 1073
3.15/1.65	o 1072
3.15/1.65	o 1071
3.15/1.65	o 1070
3.15/1.65	o 1069
3.15/1.65	o 1068
3.15/1.65	o 1067
3.15/1.65	o 1066
3.15/1.65	o 1065
3.15/1.65	o 1064
3.15/1.65	o 1063
3.15/1.65	o 1062
3.15/1.65	o 1061
3.15/1.65	o 1060
3.15/1.66	o 1059
3.15/1.66	o 1058
3.15/1.66	o 1057
3.15/1.66	o 1056
3.15/1.66	o 1055
3.15/1.66	o 1054
3.15/1.66	o 1053
3.15/1.66	o 1052
3.15/1.66	o 1051
3.15/1.66	o 1050
3.15/1.66	o 1049
3.15/1.67	o 1048
3.15/1.67	o 1047
3.15/1.67	o 1046
3.15/1.67	o 1045
3.15/1.67	o 1044
3.15/1.67	o 1043
3.15/1.67	o 1042
3.15/1.67	o 1041
3.15/1.67	o 1040
3.15/1.67	o 1039
3.15/1.67	o 1038
3.15/1.67	o 1037
3.15/1.67	o 1036
3.15/1.67	o 1035
3.15/1.67	o 1034
3.15/1.67	o 1033
3.15/1.67	o 1032
3.15/1.67	o 1031
3.15/1.67	o 1030
3.15/1.67	o 1029
3.15/1.67	o 1028
3.15/1.67	o 1027
3.15/1.67	o 1026
3.15/1.67	o 1025
3.15/1.68	o 1024
3.15/1.68	o 1023
3.15/1.68	o 1022
3.15/1.68	o 1021
3.15/1.68	o 1020
3.15/1.68	o 1019
3.15/1.68	o 1018
3.15/1.68	o 1017
3.15/1.68	o 1016
3.15/1.68	o 1015
3.15/1.68	o 1014
3.15/1.68	o 1013
3.15/1.68	o 1012
3.15/1.68	o 1011
3.15/1.68	o 1010
3.15/1.68	o 1009
3.15/1.69	o 1008
3.15/1.69	o 1007
3.15/1.69	o 1006
3.15/1.69	o 1005
3.15/1.69	o 1004
3.15/1.69	o 1003
3.15/1.69	o 1002
3.15/1.69	o 1001
3.15/1.69	o 1000
3.15/1.69	o 999
3.15/1.69	o 998
3.15/1.69	o 997
3.15/1.69	o 996
3.15/1.69	o 995
3.15/1.69	o 994
3.15/1.70	o 993
3.15/1.70	o 992
3.15/1.70	o 991
3.15/1.70	o 990
3.15/1.70	o 989
3.15/1.70	o 988
3.15/1.70	o 987
3.15/1.70	o 986
3.15/1.70	o 985
3.15/1.70	o 984
3.15/1.70	o 983
3.15/1.70	o 982
3.15/1.70	o 981
3.15/1.70	o 980
3.15/1.70	o 979
3.15/1.70	o 978
3.15/1.71	o 977
3.15/1.71	o 976
3.51/1.71	o 975
3.51/1.71	o 974
3.51/1.71	o 973
3.51/1.71	o 972
3.51/1.71	o 971
3.51/1.71	o 970
3.51/1.71	o 969
3.51/1.71	o 968
3.51/1.71	o 967
3.51/1.71	o 966
3.51/1.71	o 965
3.51/1.72	o 964
3.51/1.72	o 963
3.51/1.72	o 962
3.51/1.72	o 961
3.51/1.72	o 960
3.51/1.72	o 959
3.51/1.72	o 958
3.51/1.72	o 957
3.51/1.72	o 956
3.51/1.72	o 955
3.51/1.72	o 954
3.51/1.72	o 953
3.51/1.72	o 952
3.51/1.72	o 951
3.51/1.72	o 950
3.51/1.72	o 949
3.51/1.73	o 948
3.51/1.73	o 947
3.51/1.73	o 946
3.51/1.73	o 945
3.51/1.73	o 944
3.51/1.73	o 943
3.51/1.73	o 942
3.51/1.73	o 941
3.51/1.73	o 940
3.51/1.73	o 939
3.51/1.73	o 938
3.51/1.73	o 937
3.51/1.73	o 936
3.51/1.73	o 935
3.51/1.73	o 934
3.51/1.73	o 933
3.51/1.74	o 932
3.51/1.74	o 931
3.51/1.74	o 930
3.51/1.74	o 929
3.51/1.74	o 928
3.51/1.74	o 927
3.51/1.74	o 926
3.51/1.74	o 925
3.51/1.74	o 924
3.51/1.74	o 923
3.51/1.75	o 922
3.51/1.75	o 921
3.51/1.75	o 920
3.51/1.75	o 919
3.51/1.75	o 918
3.51/1.75	o 917
3.51/1.75	o 916
3.51/1.75	o 915
3.51/1.75	o 914
3.51/1.75	o 913
3.51/1.75	o 912
3.51/1.75	o 911
3.51/1.75	o 910
3.51/1.75	o 909
3.51/1.75	o 908
3.51/1.75	o 907
3.51/1.75	o 906
3.51/1.75	o 905
3.51/1.76	o 904
3.51/1.76	o 903
3.51/1.76	o 902
3.51/1.76	o 901
3.51/1.76	o 900
3.51/1.76	o 899
3.51/1.76	o 898
3.51/1.76	o 897
3.51/1.76	o 896
3.51/1.76	o 895
3.51/1.76	o 894
3.51/1.76	o 893
3.51/1.77	o 892
3.51/1.77	o 891
3.51/1.77	o 890
3.51/1.77	o 889
3.51/1.77	o 888
3.51/1.77	o 887
3.51/1.77	o 886
3.51/1.77	o 885
3.51/1.77	o 884
3.51/1.77	o 883
3.51/1.77	o 882
3.51/1.77	o 881
3.51/1.77	o 880
3.51/1.77	o 879
3.51/1.78	o 878
3.51/1.78	o 877
3.51/1.78	o 876
3.51/1.78	o 875
3.51/1.78	o 874
3.51/1.78	o 873
3.51/1.78	o 872
3.51/1.78	o 871
3.51/1.78	o 870
3.51/1.78	o 869
3.51/1.78	o 868
3.51/1.78	o 867
3.51/1.78	o 866
3.51/1.78	o 865
3.79/1.81	o 864
3.79/1.81	o 863
3.79/1.81	o 862
3.79/1.81	o 861
3.79/1.81	o 860
3.79/1.81	o 859
3.79/1.81	o 858
3.79/1.81	o 857
3.79/1.81	o 856
3.79/1.81	o 855
3.79/1.81	o 854
3.79/1.81	o 853
3.79/1.81	o 852
3.79/1.81	o 851
3.79/1.81	o 850
3.79/1.81	o 849
3.79/1.81	o 848
3.79/1.81	o 847
3.79/1.81	o 846
3.79/1.81	o 845
3.79/1.81	o 844
3.79/1.81	o 843
3.79/1.82	o 842
3.79/1.82	o 841
3.79/1.82	o 840
3.79/1.82	o 839
3.79/1.82	o 838
3.79/1.82	o 837
3.79/1.82	o 836
3.79/1.82	o 835
3.79/1.82	o 834
3.79/1.82	o 833
3.79/1.82	o 832
3.79/1.82	o 831
3.79/1.82	o 830
3.79/1.83	o 829
3.79/1.83	o 828
3.79/1.83	o 827
3.79/1.83	o 826
3.79/1.83	o 825
3.79/1.83	o 824
3.79/1.83	o 823
3.79/1.83	o 822
3.79/1.83	o 821
3.79/1.83	o 820
3.79/1.83	o 819
3.79/1.83	o 818
3.79/1.83	o 817
3.79/1.83	o 816
3.79/1.83	o 815
3.79/1.83	o 814
3.79/1.84	o 813
3.79/1.84	o 812
3.79/1.84	o 811
3.79/1.84	o 810
3.79/1.84	o 809
3.79/1.84	o 808
3.79/1.84	o 807
3.79/1.84	o 806
3.79/1.84	o 805
3.79/1.84	o 804
3.79/1.84	o 803
3.79/1.84	o 802
3.79/1.84	o 801
3.79/1.85	o 800
3.79/1.85	o 799
3.79/1.85	o 798
3.79/1.85	o 797
3.79/1.85	o 796
3.79/1.85	o 795
3.79/1.85	o 794
3.79/1.85	o 793
3.79/1.85	o 792
3.79/1.85	o 791
3.79/1.85	o 790
3.79/1.86	o 789
3.79/1.86	o 788
3.79/1.86	o 787
3.79/1.86	o 786
3.79/1.86	o 785
3.79/1.86	o 784
3.79/1.86	o 783
3.79/1.86	o 782
3.79/1.86	o 781
3.79/1.86	o 780
3.79/1.86	o 779
3.79/1.86	o 778
3.79/1.87	o 777
3.79/1.87	o 776
3.79/1.87	o 775
3.79/1.87	o 774
3.79/1.87	o 773
3.79/1.87	o 772
3.79/1.87	o 771
3.79/1.87	o 770
3.79/1.87	o 769
3.79/1.88	o 768
3.79/1.88	o 767
3.79/1.88	o 766
3.79/1.88	o 765
3.79/1.88	o 764
3.79/1.88	o 763
3.79/1.88	o 762
3.79/1.88	o 761
3.79/1.88	o 760
3.79/1.88	o 759
3.79/1.88	o 758
3.79/1.89	o 757
3.79/1.89	o 756
3.79/1.89	o 755
3.79/1.89	o 754
3.79/1.89	o 753
3.79/1.89	o 752
3.79/1.89	o 751
3.79/1.89	o 750
3.79/1.89	o 749
3.79/1.89	o 748
3.79/1.89	o 747
3.79/1.89	o 746
3.79/1.89	o 745
3.79/1.89	o 744
3.79/1.89	o 743
3.79/1.90	o 742
3.79/1.90	o 741
4.10/1.90	o 740
4.10/1.90	o 739
4.10/1.90	o 738
4.10/1.90	o 737
4.10/1.90	o 736
4.10/1.90	o 735
4.10/1.90	o 734
4.10/1.90	o 733
4.10/1.90	o 732
4.10/1.90	o 731
4.10/1.90	o 730
4.10/1.90	o 729
4.10/1.90	o 728
4.10/1.91	o 727
4.10/1.91	o 726
4.10/1.91	o 725
4.10/1.91	o 724
4.10/1.91	o 723
4.10/1.91	o 722
4.10/1.91	o 721
4.10/1.91	o 720
4.10/1.91	o 719
4.10/1.91	o 718
4.10/1.91	o 717
4.10/1.91	o 716
4.10/1.91	o 715
4.10/1.91	o 714
4.10/1.91	o 713
4.10/1.91	o 712
4.10/1.91	o 711
4.10/1.91	o 710
4.10/1.92	o 709
4.10/1.92	o 708
4.10/1.92	o 707
4.10/1.92	o 706
4.10/1.92	o 705
4.10/1.92	o 704
4.10/1.92	o 703
4.10/1.92	o 702
4.10/1.92	o 701
4.10/1.92	o 700
4.10/1.92	o 699
4.10/1.92	o 698
4.10/1.92	o 697
4.10/1.92	o 696
4.10/1.92	o 695
4.10/1.92	o 694
4.10/1.92	o 693
4.10/1.92	o 692
4.10/1.92	o 691
4.10/1.92	o 690
4.10/1.93	o 689
4.10/1.93	o 688
4.10/1.93	o 687
4.10/1.93	o 686
4.10/1.93	o 685
4.10/1.93	o 684
4.10/1.93	o 683
4.10/1.93	o 682
4.10/1.93	o 681
4.10/1.93	o 680
4.10/1.93	o 679
4.10/1.93	o 678
4.10/1.93	o 677
4.10/1.93	o 676
4.10/1.93	o 675
4.10/1.93	o 674
4.10/1.93	o 673
4.10/1.93	o 672
4.10/1.93	o 671
4.10/1.93	o 670
4.10/1.94	o 669
4.10/1.94	o 668
4.10/1.94	o 667
4.10/1.94	o 666
4.10/1.94	o 665
4.10/1.94	o 664
4.10/1.94	o 663
4.10/1.94	o 662
4.10/1.94	o 661
4.10/1.94	o 660
4.10/1.94	o 659
4.10/1.94	o 658
4.10/1.94	o 657
4.10/1.94	o 656
4.10/1.94	o 655
4.10/1.94	o 654
4.10/1.94	o 653
4.10/1.94	o 652
4.10/1.94	o 651
4.10/1.94	o 650
4.10/1.94	o 649
4.10/1.95	o 648
4.10/1.95	o 647
4.10/1.95	o 646
4.10/1.95	o 645
4.10/1.95	o 644
4.10/1.95	o 643
4.10/1.95	o 642
4.10/1.95	o 641
4.10/1.95	o 640
4.10/1.95	o 639
4.10/1.95	o 638
4.10/1.95	o 637
4.10/1.95	o 636
4.10/1.95	o 635
4.10/1.95	o 634
4.10/1.95	o 633
4.10/1.95	o 632
4.10/1.95	o 631
4.10/1.95	o 630
4.10/1.95	o 629
4.10/1.95	o 628
4.10/1.95	o 627
4.10/1.95	o 626
4.10/1.96	o 625
4.10/1.96	o 624
4.10/1.96	o 623
4.10/1.96	o 622
4.10/1.96	o 621
4.10/1.96	o 620
4.10/1.96	o 619
4.10/1.96	o 618
4.10/1.96	o 617
4.10/1.96	o 616
4.10/1.96	o 615
4.10/1.96	o 614
4.10/1.96	o 613
4.10/1.96	o 612
4.10/1.96	o 611
4.10/1.96	o 610
4.10/1.96	o 609
4.10/1.96	o 608
4.10/1.96	o 607
4.10/1.96	o 606
4.10/1.96	o 605
4.10/1.96	o 604
4.10/1.96	o 603
4.10/1.96	o 602
4.10/1.96	o 601
4.10/1.97	o 600
4.10/1.97	o 599
4.10/1.97	o 598
4.10/1.97	o 597
4.10/1.97	o 596
4.10/1.97	o 595
4.10/1.97	o 594
4.10/1.97	o 593
4.10/1.97	o 592
4.10/1.97	o 591
4.10/1.97	o 590
4.10/1.97	o 589
4.10/1.97	o 588
4.10/1.97	o 587
4.10/1.97	o 586
4.10/1.97	o 585
4.10/1.97	o 584
4.10/1.97	o 583
4.10/1.97	o 582
4.10/1.98	o 581
4.10/1.98	o 580
4.10/1.98	o 579
4.10/1.98	o 578
4.10/1.98	o 577
4.10/1.98	o 576
4.10/1.98	o 575
4.10/1.98	o 574
4.10/1.98	o 573
4.10/1.98	o 572
4.10/1.98	o 571
4.10/1.98	o 570
4.10/1.98	o 569
4.10/1.98	o 568
4.10/1.98	o 567
4.10/1.98	o 566
4.10/1.98	o 565
4.10/1.98	o 564
4.10/1.98	o 563
4.10/1.99	o 562
4.10/1.99	o 561
4.10/1.99	o 560
4.10/1.99	o 559
4.10/1.99	o 558
4.10/1.99	o 557
4.10/1.99	o 556
4.10/1.99	o 555
4.10/1.99	o 554
4.10/1.99	o 553
4.10/1.99	o 552
4.10/1.99	o 551
4.10/1.99	o 550
4.10/1.99	o 549
4.10/1.99	o 548
4.10/1.99	o 547
4.10/1.99	o 546
4.10/2.00	o 545
4.10/2.00	o 544
4.10/2.00	o 543
4.10/2.00	o 542
4.10/2.00	o 541
4.10/2.00	o 540
4.10/2.00	o 539
4.10/2.00	o 538
4.10/2.01	o 537
4.10/2.01	o 536
4.10/2.01	o 535
4.33/2.01	o 534
4.33/2.01	o 533
4.33/2.01	o 532
4.33/2.01	o 531
4.33/2.02	o 530
4.33/2.02	o 529
4.33/2.02	o 528
4.33/2.02	o 527
4.33/2.02	o 526
4.33/2.02	o 525
4.33/2.02	o 524
4.33/2.03	o 523
4.33/2.03	o 522
4.33/2.03	o 521
4.33/2.03	o 520
4.33/2.04	o 519
4.33/2.04	o 518
4.33/2.04	o 517
4.33/2.04	o 516
4.33/2.04	o 515
4.33/2.04	o 514
4.33/2.04	o 513
4.33/2.05	o 512
4.33/2.05	o 511
4.33/2.05	o 510
4.33/2.06	o 509
4.33/2.06	o 508
4.33/2.06	o 507
4.33/2.06	o 506
4.33/2.06	o 505
4.33/2.06	o 504
4.33/2.06	o 503
4.33/2.06	o 502
4.33/2.07	o 501
4.33/2.07	o 500
4.33/2.08	o 499
4.33/2.08	o 498
4.33/2.08	o 497
4.33/2.08	o 496
4.33/2.08	o 495
4.33/2.08	o 494
4.33/2.08	o 493
4.33/2.08	o 492
4.33/2.09	o 491
4.33/2.09	o 490
4.33/2.09	o 489
4.33/2.09	o 488
4.33/2.10	o 487
4.33/2.10	o 486
4.33/2.10	o 485
4.53/2.11	o 484
4.53/2.11	o 483
4.53/2.11	o 482
4.53/2.12	o 481
4.53/2.12	o 480
4.53/2.13	o 479
4.53/2.13	o 478
4.53/2.13	o 477
4.53/2.14	o 476
4.53/2.14	o 475
4.53/2.14	o 474
4.53/2.14	o 473
4.53/2.15	o 472
4.53/2.15	o 471
4.53/2.15	o 470
4.53/2.16	o 469
4.53/2.16	o 468
4.53/2.17	o 467
4.53/2.17	o 466
4.53/2.19	o 465
4.53/2.19	o 464
4.53/2.19	o 463
4.63/2.20	o 462
4.63/2.20	o 461
4.63/2.20	o 460
4.63/2.21	o 459
4.63/2.22	o 458
4.63/2.22	o 457
4.63/2.22	o 456
4.63/2.22	o 455
4.63/2.22	o 454
4.63/2.22	o 453
4.63/2.23	o 452
4.63/2.23	o 451
4.63/2.24	o 450
4.63/2.26	o 449
4.63/2.26	o 448
4.63/2.26	o 447
4.63/2.26	o 446
4.63/2.26	o 445
4.63/2.26	o 444
4.63/2.26	o 443
4.63/2.27	o 442
4.63/2.27	o 441
4.63/2.28	o 440
4.63/2.28	o 439
4.63/2.29	o 438
4.63/2.29	o 437
4.63/2.29	o 436
4.63/2.30	o 435
4.80/2.30	o 434
4.80/2.30	o 433
4.80/2.31	o 432
4.80/2.31	o 431
4.80/2.32	o 430
4.80/2.33	o 429
4.80/2.33	o 428
4.80/2.34	o 427
4.80/2.34	o 426
4.80/2.35	o 425
4.80/2.35	o 424
4.80/2.35	o 423
4.80/2.35	o 422
4.80/2.36	o 421
4.80/2.36	o 420
4.80/2.36	o 419
4.80/2.37	o 418
4.80/2.37	o 417
4.80/2.38	o 416
4.80/2.38	o 415
4.80/2.38	o 414
4.80/2.38	o 413
4.80/2.39	o 412
4.80/2.39	o 411
4.93/2.40	o 410
4.93/2.41	o 409
4.93/2.42	o 408
4.93/2.42	o 407
4.93/2.42	o 406
4.93/2.42	o 405
4.93/2.42	o 404
4.93/2.42	o 403
4.93/2.42	o 402
4.93/2.42	o 401
4.93/2.43	o 400
4.93/2.43	o 399
4.93/2.43	o 398
4.93/2.44	o 397
4.93/2.44	o 396
4.93/2.44	o 395
4.93/2.44	o 394
4.93/2.44	o 393
4.93/2.44	o 392
4.93/2.45	o 391
4.93/2.46	o 390
4.93/2.46	o 389
4.93/2.46	o 388
4.93/2.46	o 387
4.93/2.46	o 386
4.93/2.46	o 385
4.93/2.46	o 384
4.93/2.46	o 383
4.93/2.47	o 382
4.93/2.47	o 381
4.93/2.47	o 380
4.93/2.48	o 379
4.93/2.48	o 378
4.93/2.48	o 377
4.93/2.49	o 376
4.93/2.49	o 375
4.93/2.49	o 374
4.93/2.49	o 373
4.93/2.50	o 372
5.07/2.50	o 371
5.07/2.50	o 370
5.07/2.50	o 369
5.07/2.50	o 368
5.07/2.51	o 367
5.07/2.51	o 366
5.07/2.51	o 365
5.07/2.51	o 364
5.07/2.51	o 363
5.07/2.52	o 362
5.07/2.52	o 361
5.07/2.52	o 360
5.07/2.52	o 359
5.07/2.53	o 358
5.07/2.53	o 357
5.07/2.54	o 356
5.07/2.55	o 355
5.07/2.55	o 354
5.07/2.55	o 353
5.07/2.55	o 352
5.07/2.56	o 351
5.07/2.56	o 350
5.07/2.57	o 349
5.07/2.57	o 348
5.07/2.57	o 347
5.07/2.58	o 346
5.07/2.58	o 345
5.07/2.58	o 344
5.07/2.59	o 343
5.07/2.59	o 342
5.07/2.59	o 341
5.18/2.60	o 340
5.18/2.60	o 339
5.18/2.60	o 338
5.18/2.61	o 337
5.18/2.61	o 336
5.18/2.61	o 335
5.18/2.62	o 334
5.18/2.62	o 333
5.18/2.62	o 332
5.18/2.62	o 331
5.18/2.62	o 330
5.18/2.62	o 329
5.18/2.62	o 328
5.18/2.62	o 327
5.18/2.63	o 326
5.18/2.63	o 325
5.18/2.63	o 324
5.18/2.64	o 323
5.18/2.64	o 322
5.18/2.64	o 321
5.18/2.64	o 320
5.18/2.64	o 319
5.18/2.64	o 318
5.18/2.65	o 317
5.18/2.65	o 316
5.18/2.66	o 315
5.18/2.67	o 314
5.18/2.67	o 313
5.18/2.67	o 312
5.18/2.67	o 311
5.18/2.67	o 310
5.18/2.68	o 309
5.18/2.68	o 308
5.18/2.68	o 307
5.18/2.68	o 306
5.18/2.70	o 305
5.34/2.71	o 304
5.34/2.71	o 303
5.34/2.71	o 302
5.34/2.71	o 301
5.34/2.72	o 300
5.34/2.73	o 299
5.34/2.73	o 298
5.34/2.73	o 297
5.34/2.73	o 296
5.34/2.73	o 295
5.34/2.73	o 294
5.34/2.73	o 293
5.34/2.73	o 292
5.34/2.74	o 291
5.34/2.74	o 290
5.34/2.74	o 289
5.34/2.75	o 288
5.34/2.75	o 287
5.34/2.76	o 286
5.34/2.76	o 285
5.34/2.76	o 284
5.34/2.76	o 283
5.34/2.76	o 282
5.34/2.76	o 281
5.34/2.76	o 280
5.34/2.77	o 279
5.34/2.77	o 278
5.34/2.78	o 277
5.34/2.79	o 276
5.34/2.79	o 275
5.34/2.79	o 274
5.43/2.80	o 273
5.43/2.81	o 272
5.43/2.81	o 271
5.43/2.82	o 270
5.43/2.82	o 269
5.43/2.82	o 268
5.43/2.83	o 267
5.43/2.83	o 266
5.43/2.83	o 265
5.43/2.84	o 264
5.43/2.84	o 263
5.43/2.86	o 262
5.43/2.87	o 261
5.43/2.87	o 260
5.43/2.87	o 259
5.43/2.87	o 258
5.43/2.87	o 257
5.43/2.88	o 256
5.43/2.88	o 255
5.43/2.88	o 254
5.43/2.89	o 253
5.43/2.89	o 252
5.53/2.90	o 251
5.53/2.90	o 250
5.53/2.90	o 249
5.53/2.92	o 248
5.53/2.92	o 247
5.53/2.92	o 246
5.53/2.92	o 245
5.53/2.92	o 244
5.53/2.94	o 243
5.53/2.94	o 242
5.53/2.95	o 241
5.53/2.96	o 240
5.53/2.96	o 239
5.53/2.96	o 238
5.53/2.96	o 237
5.53/2.98	o 236
5.53/2.98	o 235
5.53/2.99	o 234
5.53/2.99	o 233
5.53/2.99	o 232
5.53/3.00	o 231
5.53/3.00	o 230
5.64/3.01	o 229
5.64/3.01	o 228
5.64/3.03	o 227
5.64/3.04	o 226
5.64/3.05	o 225
5.64/3.05	o 224
5.64/3.05	o 223
5.64/3.05	o 222
5.64/3.05	o 221
5.64/3.06	o 220
5.64/3.06	o 219
5.64/3.07	o 218
5.64/3.08	o 217
5.64/3.08	o 216
5.64/3.08	o 215
5.64/3.08	o 214
5.64/3.09	o 213
5.64/3.09	o 212
5.64/3.09	o 211
5.64/3.10	o 210
5.74/3.11	o 209
5.74/3.12	o 208
5.74/3.13	o 207
5.74/3.13	o 206
5.74/3.13	o 205
5.74/3.15	o 204
5.74/3.15	o 203
5.74/3.15	o 202
5.74/3.16	o 201
5.74/3.16	o 200
5.74/3.17	o 199
5.74/3.17	o 198
5.74/3.17	o 197
5.74/3.17	o 196
5.74/3.17	o 195
5.74/3.17	o 194
5.74/3.17	o 193
5.74/3.19	o 192
5.74/3.19	o 191
5.74/3.20	o 190
5.84/3.20	o 189
5.84/3.20	o 188
5.84/3.20	o 187
5.84/3.20	o 186
5.84/3.22	o 185
5.84/3.22	o 184
5.84/3.24	o 183
5.84/3.25	o 182
5.84/3.25	o 181
5.84/3.25	o 180
5.84/3.25	o 179
5.94/3.31	o 178
5.94/3.38	o 177
6.14/3.56	o 176
6.14/3.56	o 175
6.44/3.84	o 174
6.44/3.84	o 173
6.44/3.84	o 172
6.44/3.84	o 171
6.44/3.84	o 170
6.44/3.86	o 169
6.44/3.87	o 168
6.54/3.94	o 167
6.54/3.94	o 166
6.84/4.22	o 165
7.04/4.47	o 164
11.03/8.39	c First complete search done, starting ALNS search...
11.35/8.50	o 163
11.35/8.53	o 162
11.35/8.53	o 161
11.35/8.53	o 160
11.35/8.53	o 159
11.35/8.53	o 158
11.35/8.53	o 157
11.35/8.54	o 156
11.35/8.54	o 155
11.35/8.55	o 154
11.35/8.55	o 153
11.35/8.56	o 152
11.35/8.56	o 151
11.35/8.56	o 150
11.35/8.56	o 149
11.35/8.56	o 148
11.35/8.56	o 147
11.35/8.56	o 146
11.35/8.57	o 145
11.35/8.57	o 144
11.35/8.57	o 143
11.35/8.57	o 142
11.35/8.57	o 141
11.35/8.57	o 140
11.35/8.57	o 139
11.35/8.57	o 138
11.35/8.57	o 137
11.35/8.57	o 136
11.35/8.58	o 135
11.35/8.58	o 134
11.35/8.58	o 133
11.35/8.58	o 132
11.35/8.59	o 131
11.35/8.59	o 130
11.35/8.60	o 129
11.66/8.61	o 128
11.66/8.62	o 127
11.66/8.62	o 126
11.66/8.62	o 125
11.66/8.62	o 124
11.66/8.62	o 123
11.66/8.62	o 122
11.66/8.62	o 121
11.66/8.62	o 120
11.66/8.62	o 119
11.66/8.63	o 118
11.66/8.63	o 117
11.66/8.63	o 116
11.66/8.63	o 115
11.66/8.63	o 114
11.66/8.63	o 113
12.15/8.80	o 111
12.15/8.80	o 110
12.15/8.80	o 109
12.15/8.80	o 108
12.15/8.80	o 107
12.15/8.80	o 105
12.15/8.80	o 104
12.15/8.80	o 103
12.15/8.80	o 102
12.15/8.80	o 101
12.15/8.80	o 100
12.15/8.81	o 99
12.15/8.81	o 98
12.15/8.81	o 97
12.15/8.81	o 96
12.15/8.81	o 95
12.15/8.82	o 94
12.15/8.83	o 93
12.15/8.83	o 92
12.15/8.83	o 91
12.15/8.83	o 90
12.15/8.83	o 89
12.15/8.83	o 88
12.15/8.83	o 87
12.15/8.83	o 86
12.15/8.84	o 85
12.15/8.85	o 84
12.15/8.86	o 83
12.15/8.86	o 82
12.15/8.87	o 81
12.15/8.87	o 80
12.15/8.87	o 79
12.15/8.87	o 78
12.15/8.88	o 77
12.15/8.88	o 76
12.15/8.88	o 75
12.15/8.88	o 74
12.15/8.88	o 73
12.15/8.88	o 72
12.15/8.88	o 71
12.15/8.89	o 70
12.27/8.90	o 69
12.27/8.90	o 68
12.27/8.90	o 67
12.27/8.90	o 66
12.27/8.90	o 65
12.27/8.91	o 64
12.27/8.91	o 63
12.27/8.91	o 62
12.27/8.91	o 61
12.27/8.92	o 60
12.27/8.92	o 59
12.27/8.92	o 58
12.27/8.93	o 57
12.27/8.93	o 56
12.27/8.93	o 55
12.27/8.93	o 54
12.27/8.94	o 53
12.27/8.94	o 52
12.27/8.94	o 51
12.27/8.94	o 50
12.27/8.94	o 49
12.27/8.94	o 48
12.27/8.95	o 47
12.27/8.95	o 46
12.27/8.95	o 45
12.27/8.97	o 44
12.27/8.97	o 43
12.27/8.98	o 42
12.27/8.99	o 41
12.27/9.00	o 40
13.60/9.82	o 39
13.60/9.82	o 38
13.60/9.82	o 37
13.60/9.82	o 36
13.60/9.82	o 35
13.60/9.82	o 34
13.60/9.84	o 33
13.60/9.84	o 32
13.60/9.84	o 31
13.60/9.85	o 30
13.60/9.85	o 29
13.60/9.85	o 28
13.60/9.85	o 27
13.60/9.85	o 26
13.82/9.91	o 25
13.82/9.91	o 24
13.82/9.91	o 23
13.82/9.91	o 22
13.82/9.91	o 21
13.82/9.91	o 20
13.82/9.91	o 19
18.33/14.09	o 17
18.33/14.09	o 16
18.65/14.30	o 15
21.94/17.55	o 14
22.04/17.69	o 13
26.94/22.12	o 12
31.83/26.86	o 11
32.77/27.71	o 10
35.73/30.59	o 9
39.16/33.97	o 8
78.77/72.63	o 7
81.75/75.52	o 6
82.15/75.92	o 5
252.02/241.30	s SATISFIABLE
252.02/241.30	v <instantiation>
252.02/241.30	v 	<list>
252.02/241.30	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]
252.02/241.30	v 	</list>
252.02/241.30	v 	<values>
252.02/241.30	v 		1 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 1 1 0 0 1 1 0 0 0 1 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 0 1 0 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 1 1 0 0 0 0 1 0 1 1 1 1 1 1 1 1 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 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 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 0 1 0 1 1 0 0 1 1 1 1 1 1 0 0 0 0 1 1 1 1 1 0 1 1 1 0 0 0 0 1 1 1 1 1 0 1 1 0 0 0 0 1 1 1 1 1 1 1 1 0 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 0 0 0 1 0 0 1 1 0 0 1 1 1 0 0 0 1 1 1 1 0 1 1 1 0 1 1 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 0 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 1 0 1 1 1 0 1 1 1 1 1 1 1 0 1 1 1 0 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 1 1 0 1 1 1 0 1 1 1 1 1 0 0 1 1 1 1 1 1 1 0 1 1 1 1 0 1 1 
252.02/241.30	v 	</values>
252.02/241.30	v </instantiation>

Verifier Data 

OK	5

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4310373-1534328332/watcher-4310373-1534328332 -o /tmp/evaluation-result-4310373-1534328332/solver-4310373-1534328332 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node137-1534326868-25908 --watchdog 312 java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed 196570930 --timelimit 252 --memlimit 11000 --nbcore 4 HOME/instance-4310373-1534328332.xml 

running on 4 cores: 1,3,5,7

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


[startup+0.100095 s]*
/proc/loadavg: 1.82 1.76 1.49 7/214 27118
/proc/meminfo: memFree=17482780/32770624 swapFree=67108372/67108860
[pid=27103] ppid=27100 vsize=14082736 memory=33368 CPUtime=0.12 cores=1,3,5,7
/proc/27103/stat : 27103 (java) S 27100 27103 21941 0 -1 1077944320 7285 0 0 0 11 1 0 0 20 0 15 0 250396406 14420721664 8342 33554432000 4194304 4196468 140723996413920 140723996396464 139627750866679 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 18939904 140723996419163 140723996419342 140723996419342 140723996422095 0
/proc/27103/statm: 3520684 8342 3142 1 0 3482761 0
[pid=27103/tid=27105] ppid=27100 vsize=14082736 memory=-6966717417093883519 CPUtime=0.09 cores=1,3,5,7
/proc/27103/task/27105/stat : 27105 (java) R 27100 27103 21941 0 -1 4202560 5353 0 0 0 9 0 0 0 20 0 15 0 250396406 14420721664 8342 33554432000 4194304 4196468 140723996413920 139627755092368 139627750888605 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18939904 140723996419163 140723996419342 140723996419342 140723996422095 0
[pid=27103/tid=27106] ppid=27100 vsize=14082736 memory=5793855512115071417 CPUtime=0 cores=1,3,5,7
/proc/27103/task/27106/stat : 27106 (java) S 27100 27103 21941 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250396407 14420721664 8342 33554432000 4194304 4196468 140723996413920 139627346606352 139627750876885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18939904 140723996419163 140723996419342 140723996419342 140723996422095 0
[pid=27103/tid=27107] ppid=27100 vsize=14082736 memory=140261105178240 CPUtime=0 cores=1,3,5,7
/proc/27103/task/27107/stat : 27107 (java) S 27100 27103 21941 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250396407 14420721664 8342 33554432000 4194304 4196468 140723996413920 139627345553808 139627750876885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18939904 140723996419163 140723996419342 140723996419342 140723996422095 0
[pid=27103/tid=27108] ppid=27100 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27103/task/27108/stat : 27108 (java) S 27100 27103 21941 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250396407 14420721664 8342 33554432000 4194304 4196468 140723996413920 139627344501264 139627750876885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18939904 140723996419163 140723996419342 140723996419342 140723996422095 0
[pid=27103/tid=27109] ppid=27100 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27103/task/27109/stat : 27109 (java) S 27100 27103 21941 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250396407 14420721664 8342 33554432000 4194304 4196468 140723996413920 139627343448720 139627750876885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18939904 140723996419163 140723996419342 140723996419342 140723996422095 0
[pid=27103/tid=27110] ppid=27100 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27103/task/27110/stat : 27110 (java) S 27100 27103 21941 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250396408 14420721664 8342 33554432000 4194304 4196468 140723996413920 139626663844336 139627750877826 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18939904 140723996419163 140723996419342 140723996419342 140723996422095 0
[pid=27103/tid=27111] ppid=27100 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27103/task/27111/stat : 27111 (java) S 27100 27103 21941 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250396409 14420721664 8342 33554432000 4194304 4196468 140723996413920 139626662790560 139627750876885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18939904 140723996419163 140723996419342 140723996419342 140723996422095 0
[pid=27103/tid=27112] ppid=27100 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27103/task/27112/stat : 27112 (java) S 27100 27103 21941 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250396409 14420721664 8342 33554432000 4194304 4196468 140723996413920 139626661737968 139627750876885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18939904 140723996419163 140723996419342 140723996419342 140723996422095 0
[pid=27103/tid=27113] ppid=27100 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27103/task/27113/stat : 27113 (java) S 27100 27103 21941 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250396411 14420721664 8342 33554432000 4194304 4196468 140723996413920 139626660686544 139627750885275 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18939904 140723996419163 140723996419342 140723996419342 140723996422095 0
[pid=27103/tid=27114] ppid=27100 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27103/task/27114/stat : 27114 (java) S 27100 27103 21941 0 -1 1077944384 308 0 0 0 0 0 0 0 20 0 15 0 250396411 14420721664 8342 33554432000 4194304 4196468 140723996413920 139626659633136 139627750877826 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18939904 140723996419163 140723996419342 140723996419342 140723996422095 0
[pid=27103/tid=27115] ppid=27100 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27103/task/27115/stat : 27115 (java) S 27100 27103 21941 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250396411 14420721664 8342 33554432000 4194304 4196468 140723996413920 139626658580592 139627750877826 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18939904 140723996419163 140723996419342 140723996419342 140723996422095 0
[pid=27103/tid=27116] ppid=27100 vsize=14082736 memory=140261105178240 CPUtime=0.01 cores=1,3,5,7
/proc/27103/task/27116/stat : 27116 (java) R 27100 27103 21941 0 -1 4202560 245 0 0 0 1 0 0 0 20 0 15 0 250396411 14420721664 8342 33554432000 4194304 4196468 140723996413920 139626657528048 139627729566880 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18939904 140723996419163 140723996419342 140723996419342 140723996422095 0
[pid=27103/tid=27117] ppid=27100 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27103/task/27117/stat : 27117 (java) S 27100 27103 21941 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250396411 14420721664 8342 33554432000 4194304 4196468 140723996413920 139626656475744 139627750876885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18939904 140723996419163 140723996419342 140723996419342 140723996422095 0
[pid=27103/tid=27118] ppid=27100 vsize=14082736 memory=140261105178240 CPUtime=0 cores=1,3,5,7
/proc/27103/task/27118/stat : 27118 (java) S 27100 27103 21941 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250396411 14420721664 8342 33554432000 4194304 4196468 140723996413920 139626655423280 139627750877826 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18939904 140723996419163 140723996419342 140723996419342 140723996422095 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 33368 KiB

[startup+0.213218 s]*
/proc/loadavg: 1.82 1.76 1.49 9/214 27118
/proc/meminfo: memFree=17373192/32770624 swapFree=67108372/67108860
[pid=27103] ppid=27100 vsize=14082736 memory=47272 CPUtime=0.32 cores=1,3,5,7
/proc/27103/stat : 27103 (java) S 27100 27103 21941 0 -1 1077944320 10397 0 0 0 30 2 0 0 20 0 15 0 250396406 14420721664 11818 33554432000 4194304 4196468 140723996413920 140723996396464 139627750866679 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 18939904 140723996419163 140723996419342 140723996419342 140723996422095 0
/proc/27103/statm: 3520684 11818 3411 1 0 3482761 0
[pid=27103/tid=27105] ppid=27100 vsize=14082736 memory=6735269665583770266 CPUtime=0.2 cores=1,3,5,7
/proc/27103/task/27105/stat : 27105 (java) R 27100 27103 21941 0 -1 4202560 8121 0 0 0 19 1 0 0 20 0 15 0 250396406 14420721664 11818 33554432000 4194304 4196468 140723996413920 139627755089728 139627734947166 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18939904 140723996419163 140723996419342 140723996419342 140723996422095 0
[pid=27103/tid=27106] ppid=27100 vsize=14082736 memory=4211973987309968778 CPUtime=0 cores=1,3,5,7
/proc/27103/task/27106/stat : 27106 (java) S 27100 27103 21941 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250396407 14420721664 11818 33554432000 4194304 4196468 140723996413920 139627346606352 139627750876885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18939904 140723996419163 140723996419342 140723996419342 140723996422095 0
[pid=27103/tid=27107] ppid=27100 vsize=14082736 memory=140261105178240 CPUtime=0 cores=1,3,5,7
/proc/27103/task/27107/stat : 27107 (java) S 27100 27103 21941 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250396407 14420721664 11818 33554432000 4194304 4196468 140723996413920 139627345553808 139627750876885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18939904 140723996419163 140723996419342 140723996419342 140723996422095 0
[pid=27103/tid=27108] ppid=27100 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27103/task/27108/stat : 27108 (java) S 27100 27103 21941 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250396407 14420721664 11818 33554432000 4194304 4196468 140723996413920 139627344501264 139627750876885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18939904 140723996419163 140723996419342 140723996419342 140723996422095 0
[pid=27103/tid=27109] ppid=27100 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27103/task/27109/stat : 27109 (java) S 27100 27103 21941 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250396407 14420721664 11818 33554432000 4194304 4196468 140723996413920 139627343448720 139627750876885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18939904 140723996419163 140723996419342 140723996419342 140723996422095 0
[pid=27103/tid=27110] ppid=27100 vsize=14082736 memory=140261105178240 CPUtime=0 cores=1,3,5,7
/proc/27103/task/27110/stat : 27110 (java) S 27100 27103 21941 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 250396408 14420721664 11880 33554432000 4194304 4196468 140723996413920 139626663844336 139627750877826 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18939904 140723996419163 140723996419342 140723996419342 140723996422095 0
[pid=27103/tid=27111] ppid=27100 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27103/task/27111/stat : 27111 (java) S 27100 27103 21941 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250396409 14420721664 11880 33554432000 4194304 4196468 140723996413920 139626662790560 139627750876885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18939904 140723996419163 140723996419342 140723996419342 140723996422095 0
[pid=27103/tid=27112] ppid=27100 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27103/task/27112/stat : 27112 (java) S 27100 27103 21941 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250396409 14420721664 11880 33554432000 4194304 4196468 140723996413920 139626661737968 139627750876885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18939904 140723996419163 140723996419342 140723996419342 140723996422095 0
[pid=27103/tid=27113] ppid=27100 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27103/task/27113/stat : 27113 (java) S 27100 27103 21941 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250396411 14420721664 11880 33554432000 4194304 4196468 140723996413920 139626660686544 139627750885275 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18939904 140723996419163 140723996419342 140723996419342 140723996422095 0
[pid=27103/tid=27114] ppid=27100 vsize=14082736 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/27103/task/27114/stat : 27114 (java) S 27100 27103 21941 0 -1 1077944384 352 0 0 0 1 0 0 0 20 0 15 0 250396411 14420721664 11880 33554432000 4194304 4196468 140723996413920 139626659633136 139627750877826 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18939904 140723996419163 140723996419342 140723996419342 140723996422095 0
[pid=27103/tid=27115] ppid=27100 vsize=14082736 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/27103/task/27115/stat : 27115 (java) S 27100 27103 21941 0 -1 1077944384 268 0 0 0 2 0 0 0 20 0 15 0 250396411 14420721664 11880 33554432000 4194304 4196468 140723996413920 139626658580592 139627750877826 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18939904 140723996419163 140723996419342 140723996419342 140723996422095 0
[pid=27103/tid=27116] ppid=27100 vsize=14082736 memory=140261105178240 CPUtime=0.06 cores=1,3,5,7
/proc/27103/task/27116/stat : 27116 (java) S 27100 27103 21941 0 -1 1077944384 280 0 0 0 6 0 0 0 20 0 15 0 250396411 14420721664 11880 33554432000 4194304 4196468 140723996413920 139626657528048 139627750877826 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18939904 140723996419163 140723996419342 140723996419342 140723996422095 0
[pid=27103/tid=27117] ppid=27100 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27103/task/27117/stat : 27117 (java) S 27100 27103 21941 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250396411 14420721664 11880 33554432000 4194304 4196468 140723996413920 139626656475744 139627750876885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18939904 140723996419163 140723996419342 140723996419342 140723996422095 0
[pid=27103/tid=27118] ppid=27100 vsize=14082736 memory=140261105178240 CPUtime=0 cores=1,3,5,7
/proc/27103/task/27118/stat : 27118 (java) S 27100 27103 21941 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250396411 14420721664 11880 33554432000 4194304 4196468 140723996413920 139626655423280 139627750877826 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18939904 140723996419163 140723996419342 140723996419342 140723996422095 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 47272 KiB

[startup+0.310452 s]*
/proc/loadavg: 1.82 1.76 1.49 6/214 27118
/proc/meminfo: memFree=17293260/32770624 swapFree=67108372/67108860
[pid=27103] ppid=27100 vsize=14082736 memory=50736 CPUtime=0.43 cores=1,3,5,7
/proc/27103/stat : 27103 (java) S 27100 27103 21941 0 -1 1077944320 10754 0 0 0 41 2 0 0 20 0 15 0 250396406 14420721664 12684 33554432000 4194304 4196468 140723996413920 140723996396464 139627750866679 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 18939904 140723996419163 140723996419342 140723996419342 140723996422095 0
/proc/27103/statm: 3520684 12684 3413 1 0 3482761 0
[pid=27103/tid=27105] ppid=27100 vsize=14082736 memory=280521896624368 CPUtime=0.3 cores=1,3,5,7
/proc/27103/task/27105/stat : 27105 (java) R 27100 27103 21941 0 -1 4202560 8456 0 0 0 29 1 0 0 20 0 15 0 250396406 14420721664 12684 33554432000 4194304 4196468 140723996413920 139627755066112 139627734947166 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18939904 140723996419163 140723996419342 140723996419342 140723996422095 0
[pid=27103/tid=27106] ppid=27100 vsize=14082736 memory=4211973987309968778 CPUtime=0 cores=1,3,5,7
/proc/27103/task/27106/stat : 27106 (java) S 27100 27103 21941 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250396407 14420721664 12684 33554432000 4194304 4196468 140723996413920 139627346606352 139627750876885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18939904 140723996419163 140723996419342 140723996419342 140723996422095 0
[pid=27103/tid=27107] ppid=27100 vsize=14082736 memory=140261105180589 CPUtime=0 cores=1,3,5,7
/proc/27103/task/27107/stat : 27107 (java) S 27100 27103 21941 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250396407 14420721664 12684 33554432000 4194304 4196468 140723996413920 139627345553808 139627750876885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18939904 140723996419163 140723996419342 140723996419342 140723996422095 0
[pid=27103/tid=27108] ppid=27100 vsize=14082736 memory=140260948421189 CPUtime=0 cores=1,3,5,7
/proc/27103/task/27108/stat : 27108 (java) S 27100 27103 21941 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250396407 14420721664 12684 33554432000 4194304 4196468 140723996413920 139627344501264 139627750876885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18939904 140723996419163 140723996419342 140723996419342 140723996422095 0
[pid=27103/tid=27109] ppid=27100 vsize=14082736 memory=140260948425679 CPUtime=0 cores=1,3,5,7
/proc/27103/task/27109/stat : 27109 (java) S 27100 27103 21941 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250396407 14420721664 12684 33554432000 4194304 4196468 140723996413920 139627343448720 139627750876885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18939904 140723996419163 140723996419342 140723996419342 140723996422095 0
[pid=27103/tid=27110] ppid=27100 vsize=14082736 memory=140261105200207 CPUtime=0 cores=1,3,5,7
/proc/27103/task/27110/stat : 27110 (java) S 27100 27103 21941 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 250396408 14420721664 12684 33554432000 4194304 4196468 140723996413920 139626663844336 139627750877826 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18939904 140723996419163 140723996419342 140723996419342 140723996422095 0
[pid=27103/tid=27111] ppid=27100 vsize=14082736 memory=140260948425679 CPUtime=0 cores=1,3,5,7
/proc/27103/task/27111/stat : 27111 (java) S 27100 27103 21941 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250396409 14420721664 12684 33554432000 4194304 4196468 140723996413920 139626662790560 139627750876885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18939904 140723996419163 140723996419342 140723996419342 140723996422095 0
[pid=27103/tid=27112] ppid=27100 vsize=14082736 memory=280521896872080 CPUtime=0 cores=1,3,5,7
/proc/27103/task/27112/stat : 27112 (java) S 27100 27103 21941 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250396409 14420721664 12684 33554432000 4194304 4196468 140723996413920 139626661737968 139627750876885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18939904 140723996419163 140723996419342 140723996419342 140723996422095 0
[pid=27103/tid=27113] ppid=27100 vsize=14082736 memory=280521896869776 CPUtime=0 cores=1,3,5,7
/proc/27103/task/27113/stat : 27113 (java) S 27100 27103 21941 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250396411 14420721664 12684 33554432000 4194304 4196468 140723996413920 139626660686544 139627750885275 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18939904 140723996419163 140723996419342 140723996419342 140723996422095 0
[pid=27103/tid=27114] ppid=27100 vsize=14082736 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/27103/task/27114/stat : 27114 (java) S 27100 27103 21941 0 -1 1077944384 357 0 0 0 1 0 0 0 20 0 15 0 250396411 14420721664 12684 33554432000 4194304 4196468 140723996413920 139626659633136 139627750877826 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18939904 140723996419163 140723996419342 140723996419342 140723996422095 0
[pid=27103/tid=27115] ppid=27100 vsize=14082736 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/27103/task/27115/stat : 27115 (java) S 27100 27103 21941 0 -1 1077944384 268 0 0 0 2 0 0 0 20 0 15 0 250396411 14420721664 12684 33554432000 4194304 4196468 140723996413920 139626658580592 139627750877826 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18939904 140723996419163 140723996419342 140723996419342 140723996422095 0
[pid=27103/tid=27116] ppid=27100 vsize=14082736 memory=140261105178240 CPUtime=0.07 cores=1,3,5,7
/proc/27103/task/27116/stat : 27116 (java) R 27100 27103 21941 0 -1 4202560 295 0 0 0 7 0 0 0 20 0 15 0 250396411 14420721664 12684 33554432000 4194304 4196468 140723996413920 139626657528048 139627729822293 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18939904 140723996419163 140723996419342 140723996419342 140723996422095 0
[pid=27103/tid=27117] ppid=27100 vsize=14082736 memory=2208 CPUtime=0 cores=1,3,5,7
/proc/27103/task/27117/stat : 27117 (java) S 27100 27103 21941 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250396411 14420721664 12684 33554432000 4194304 4196468 140723996413920 139626656475744 139627750876885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18939904 140723996419163 140723996419342 140723996419342 140723996422095 0
[pid=27103/tid=27118] ppid=27100 vsize=14082736 memory=140261105178240 CPUtime=0 cores=1,3,5,7
/proc/27103/task/27118/stat : 27118 (java) S 27100 27103 21941 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250396411 14420721664 12684 33554432000 4194304 4196468 140723996413920 139626655423280 139627750877826 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18939904 140723996419163 140723996419342 140723996419342 140723996422095 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 50736 KiB

[startup+0.700715 s]
/proc/loadavg: 1.82 1.76 1.49 6/214 27118
/proc/meminfo: memFree=17246796/32770624 swapFree=67108372/67108860
[pid=27103] ppid=27100 vsize=14084804 memory=88720 CPUtime=0.99 cores=1,3,5,7
/proc/27103/stat : 27103 (java) S 27100 27103 21941 0 -1 1077944320 17607 0 0 0 96 3 0 0 20 0 15 0 250396406 14422839296 22180 33554432000 4194304 4196468 140723996413920 140723996396464 139627750866679 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 18939904 140723996419163 140723996419342 140723996419342 140723996422095 0
/proc/27103/statm: 3521201 22180 3498 1 0 3483273 0
[pid=27103/tid=27105] ppid=27100 vsize=14084804 memory=1220 CPUtime=0.67 cores=1,3,5,7
/proc/27103/task/27105/stat : 27105 (java) R 27100 27103 21941 0 -1 4202560 14900 0 0 0 65 2 0 0 20 0 15 0 250396406 14422839296 22180 33554432000 4194304 4196468 140723996413920 139627755090672 139627750888605 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18939904 140723996419163 140723996419342 140723996419342 140723996422095 0
[pid=27103/tid=27106] ppid=27100 vsize=14084804 memory=1800 CPUtime=0 cores=1,3,5,7
/proc/27103/task/27106/stat : 27106 (java) S 27100 27103 21941 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250396407 14422839296 22180 33554432000 4194304 4196468 140723996413920 139627346606352 139627750876885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18939904 140723996419163 140723996419342 140723996419342 140723996422095 0
[pid=27103/tid=27107] ppid=27100 vsize=14084804 memory=868 CPUtime=0 cores=1,3,5,7
/proc/27103/task/27107/stat : 27107 (java) S 27100 27103 21941 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250396407 14422839296 22180 33554432000 4194304 4196468 140723996413920 139627345553808 139627750876885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18939904 140723996419163 140723996419342 140723996419342 140723996422095 0
[pid=27103/tid=27108] ppid=27100 vsize=14084804 memory=7307747153392788800 CPUtime=0 cores=1,3,5,7
/proc/27103/task/27108/stat : 27108 (java) S 27100 27103 21941 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250396407 14422839296 22180 33554432000 4194304 4196468 140723996413920 139627344501264 139627750876885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18939904 140723996419163 140723996419342 140723996419342 140723996422095 0
[pid=27103/tid=27109] ppid=27100 vsize=14084804 memory=8025788831224522324 CPUtime=0 cores=1,3,5,7
/proc/27103/task/27109/stat : 27109 (java) S 27100 27103 21941 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250396407 14422839296 22180 33554432000 4194304 4196468 140723996413920 139627343448720 139627750876885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18939904 140723996419163 140723996419342 140723996419342 140723996422095 0
[pid=27103/tid=27110] ppid=27100 vsize=14084804 memory=6370994028255662164 CPUtime=0 cores=1,3,5,7
/proc/27103/task/27110/stat : 27110 (java) S 27100 27103 21941 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 250396408 14422839296 22180 33554432000 4194304 4196468 140723996413920 139626663844336 139627750877826 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18939904 140723996419163 140723996419342 140723996419342 140723996422095 0
[pid=27103/tid=27111] ppid=27100 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27103/task/27111/stat : 27111 (java) S 27100 27103 21941 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250396409 14422839296 22180 33554432000 4194304 4196468 140723996413920 139626662790560 139627750876885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18939904 140723996419163 140723996419342 140723996419342 140723996422095 0
[pid=27103/tid=27112] ppid=27100 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27103/task/27112/stat : 27112 (java) S 27100 27103 21941 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250396409 14422839296 22180 33554432000 4194304 4196468 140723996413920 139626661737968 139627750876885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18939904 140723996419163 140723996419342 140723996419342 140723996422095 0
[pid=27103/tid=27113] ppid=27100 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27103/task/27113/stat : 27113 (java) S 27100 27103 21941 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250396411 14422839296 22180 33554432000 4194304 4196468 140723996413920 139626660686544 139627750885275 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18939904 140723996419163 140723996419342 140723996419342 140723996422095 0
[pid=27103/tid=27114] ppid=27100 vsize=14084804 memory=233 CPUtime=0.06 cores=1,3,5,7
/proc/27103/task/27114/stat : 27114 (java) S 27100 27103 21941 0 -1 1077944384 514 0 0 0 6 0 0 0 20 0 15 0 250396411 14422839296 22180 33554432000 4194304 4196468 140723996413920 139626659633136 139627750877826 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18939904 140723996419163 140723996419342 140723996419342 140723996422095 0
[pid=27103/tid=27115] ppid=27100 vsize=14084804 memory=7 CPUtime=0.08 cores=1,3,5,7
/proc/27103/task/27115/stat : 27115 (java) S 27100 27103 21941 0 -1 1077944384 426 0 0 0 8 0 0 0 20 0 15 0 250396411 14422839296 22180 33554432000 4194304 4196468 140723996413920 139626658580592 139627750877826 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18939904 140723996419163 140723996419342 140723996419342 140723996422095 0
[pid=27103/tid=27116] ppid=27100 vsize=14084804 memory=713 CPUtime=0.15 cores=1,3,5,7
/proc/27103/task/27116/stat : 27116 (java) S 27100 27103 21941 0 -1 1077944384 387 0 0 0 15 0 0 0 20 0 15 0 250396411 14422839296 22180 33554432000 4194304 4196468 140723996413920 139626657528048 139627750877826 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18939904 140723996419163 140723996419342 140723996419342 140723996422095 0
[pid=27103/tid=27117] ppid=27100 vsize=14084804 memory=280521897049072 CPUtime=0 cores=1,3,5,7
/proc/27103/task/27117/stat : 27117 (java) S 27100 27103 21941 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250396411 14422839296 22180 33554432000 4194304 4196468 140723996413920 139626656475744 139627750876885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18939904 140723996419163 140723996419342 140723996419342 140723996422095 0
[pid=27103/tid=27118] ppid=27100 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27103/task/27118/stat : 27118 (java) S 27100 27103 21941 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250396411 14422839296 22180 33554432000 4194304 4196468 140723996413920 139626655423280 139627750877826 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18939904 140723996419163 140723996419342 140723996419342 140723996422095 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 14084804 KiB
Current children cumulated memory: 88720 KiB

[startup+1.50073 s]
/proc/loadavg: 1.82 1.76 1.49 7/214 27118
/proc/meminfo: memFree=17215048/32770624 swapFree=67108372/67108860
[pid=27103] ppid=27100 vsize=14090948 memory=154584 CPUtime=2.84 cores=1,3,5,7
/proc/27103/stat : 27103 (java) S 27100 27103 21941 0 -1 1077944320 24169 0 0 0 278 6 0 0 20 0 15 0 250396406 14429130752 38646 33554432000 4194304 4196468 140723996413920 140723996396464 139627750866679 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 18939904 140723996419163 140723996419342 140723996419342 140723996422095 0
/proc/27103/statm: 3522737 38646 3546 1 0 3484809 0
[pid=27103/tid=27105] ppid=27100 vsize=14090948 memory=138264 CPUtime=1.47 cores=1,3,5,7
/proc/27103/task/27105/stat : 27105 (java) R 27100 27103 21941 0 -1 4202560 17810 0 0 0 144 3 0 0 20 0 15 0 250396406 14429130752 38646 33554432000 4194304 4196468 140723996413920 139627755100944 139627735181916 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18939904 140723996419163 140723996419342 140723996419342 140723996422095 0
[pid=27103/tid=27106] ppid=27100 vsize=14090948 memory=280521896935168 CPUtime=0 cores=1,3,5,7
/proc/27103/task/27106/stat : 27106 (java) S 27100 27103 21941 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250396407 14429130752 38646 33554432000 4194304 4196468 140723996413920 139627346606352 139627750876885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18939904 140723996419163 140723996419342 140723996419342 140723996422095 0
[pid=27103/tid=27107] ppid=27100 vsize=14090948 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27103/task/27107/stat : 27107 (java) S 27100 27103 21941 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250396407 14429130752 38646 33554432000 4194304 4196468 140723996413920 139627345553808 139627750876885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18939904 140723996419163 140723996419342 140723996419342 140723996422095 0
[pid=27103/tid=27108] ppid=27100 vsize=14090948 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27103/task/27108/stat : 27108 (java) S 27100 27103 21941 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250396407 14429130752 38646 33554432000 4194304 4196468 140723996413920 139627344501264 139627750876885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18939904 140723996419163 140723996419342 140723996419342 140723996422095 0
[pid=27103/tid=27109] ppid=27100 vsize=14090948 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27103/task/27109/stat : 27109 (java) S 27100 27103 21941 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250396407 14429130752 38646 33554432000 4194304 4196468 140723996413920 139627343448720 139627750876885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18939904 140723996419163 140723996419342 140723996419342 140723996422095 0
[pid=27103/tid=27110] ppid=27100 vsize=14090948 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27103/task/27110/stat : 27110 (java) S 27100 27103 21941 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250396408 14429130752 38646 33554432000 4194304 4196468 140723996413920 139626663844336 139627750877826 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18939904 140723996419163 140723996419342 140723996419342 140723996422095 0

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

/proc/27103/task/27105/stat : 27105 (java) R 27100 27103 21941 0 -1 4202560 33993 0 0 0 16050 16 0 0 20 0 15 0 250396406 14431227904 268212 33554432000 4194304 4196468 140723996413920 139627755104304 139627398048271 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18939904 140723996419163 140723996419342 140723996419342 140723996422095 0
[pid=27103/tid=27106] ppid=27100 vsize=14092996 memory=1076448 CPUtime=1.1 cores=1,3,5,7
/proc/27103/task/27106/stat : 27106 (java) S 27100 27103 21941 0 -1 1077944384 2704 0 0 0 96 14 0 0 20 0 15 0 250396407 14431227904 268212 33554432000 4194304 4196468 140723996413920 139627346606352 139627750876885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18939904 140723996419163 140723996419342 140723996419342 140723996422095 0
[pid=27103/tid=27107] ppid=27100 vsize=14092996 memory=1078508 CPUtime=1.1 cores=1,3,5,7
/proc/27103/task/27107/stat : 27107 (java) S 27100 27103 21941 0 -1 1077944384 2313 0 0 0 97 13 0 0 20 0 15 0 250396407 14431227904 268212 33554432000 4194304 4196468 140723996413920 139627345553808 139627750876885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18939904 140723996419163 140723996419342 140723996419342 140723996422095 0
[pid=27103/tid=27108] ppid=27100 vsize=14092996 memory=1076020 CPUtime=1.12 cores=1,3,5,7
/proc/27103/task/27108/stat : 27108 (java) S 27100 27103 21941 0 -1 1077944384 3110 0 0 0 97 15 0 0 20 0 15 0 250396407 14431227904 268212 33554432000 4194304 4196468 140723996413920 139627344501264 139627750876885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18939904 140723996419163 140723996419342 140723996419342 140723996422095 0
[pid=27103/tid=27109] ppid=27100 vsize=14092996 memory=1074480 CPUtime=1.12 cores=1,3,5,7
/proc/27103/task/27109/stat : 27109 (java) S 27100 27103 21941 0 -1 1077944384 1338 0 0 0 98 14 0 0 20 0 15 0 250396407 14431227904 268212 33554432000 4194304 4196468 140723996413920 139627343448720 139627750876885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18939904 140723996419163 140723996419342 140723996419342 140723996422095 0
[pid=27103/tid=27110] ppid=27100 vsize=14092996 memory=1074744 CPUtime=0.29 cores=1,3,5,7
/proc/27103/task/27110/stat : 27110 (java) S 27100 27103 21941 0 -1 1077944384 2056 0 0 0 25 4 0 0 20 0 15 0 250396408 14431227904 268212 33554432000 4194304 4196468 140723996413920 139626663844336 139627750877826 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18939904 140723996419163 140723996419342 140723996419342 140723996422095 0
[pid=27103/tid=27111] ppid=27100 vsize=14092996 memory=1074232 CPUtime=0 cores=1,3,5,7
/proc/27103/task/27111/stat : 27111 (java) S 27100 27103 21941 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 250396409 14431227904 268212 33554432000 4194304 4196468 140723996413920 139626662790624 139627750876885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18939904 140723996419163 140723996419342 140723996419342 140723996422095 0
[pid=27103/tid=27112] ppid=27100 vsize=14092996 memory=1073360 CPUtime=0 cores=1,3,5,7
/proc/27103/task/27112/stat : 27112 (java) S 27100 27103 21941 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 250396409 14431227904 268212 33554432000 4194304 4196468 140723996413920 139626661737984 139627750876885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18939904 140723996419163 140723996419342 140723996419342 140723996422095 0
[pid=27103/tid=27113] ppid=27100 vsize=14092996 memory=1073360 CPUtime=0 cores=1,3,5,7
/proc/27103/task/27113/stat : 27113 (java) S 27100 27103 21941 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250396411 14431227904 268212 33554432000 4194304 4196468 140723996413920 139626660686544 139627750885275 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18939904 140723996419163 140723996419342 140723996419342 140723996422095 0
[pid=27103/tid=27114] ppid=27100 vsize=14092996 memory=1083372 CPUtime=2.25 cores=1,3,5,7
/proc/27103/task/27114/stat : 27114 (java) S 27100 27103 21941 0 -1 1077944384 11817 0 0 0 223 2 0 0 20 0 15 0 250396411 14431227904 268212 33554432000 4194304 4196468 140723996413920 139626659633136 139627750877826 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18939904 140723996419163 140723996419342 140723996419342 140723996422095 0
[pid=27103/tid=27115] ppid=27100 vsize=14092996 memory=1073360 CPUtime=1.96 cores=1,3,5,7
/proc/27103/task/27115/stat : 27115 (java) S 27100 27103 21941 0 -1 1077944384 8383 0 0 0 195 1 0 0 20 0 15 0 250396411 14431227904 268212 33554432000 4194304 4196468 140723996413920 139626658580592 139627750877826 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18939904 140723996419163 140723996419342 140723996419342 140723996422095 0
[pid=27103/tid=27116] ppid=27100 vsize=14092996 memory=1073452 CPUtime=1.14 cores=1,3,5,7
/proc/27103/task/27116/stat : 27116 (java) S 27100 27103 21941 0 -1 1077944384 13622 0 0 0 112 2 0 0 20 0 15 0 250396411 14431227904 268212 33554432000 4194304 4196468 140723996413920 139626657528048 139627750877826 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18939904 140723996419163 140723996419342 140723996419342 140723996422095 0
[pid=27103/tid=27117] ppid=27100 vsize=14092996 memory=1074228 CPUtime=0 cores=1,3,5,7
/proc/27103/task/27117/stat : 27117 (java) S 27100 27103 21941 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250396411 14431227904 268212 33554432000 4194304 4196468 140723996413920 139626656475744 139627750876885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18939904 140723996419163 140723996419342 140723996419342 140723996422095 0
[pid=27103/tid=27118] ppid=27100 vsize=14092996 memory=1074228 CPUtime=0.08 cores=1,3,5,7
/proc/27103/task/27118/stat : 27118 (java) S 27100 27103 21941 0 -1 1077944384 1333 0 0 0 4 4 0 0 20 0 15 0 250396411 14431227904 268212 33554432000 4194304 4196468 140723996413920 139626655423280 139627750877826 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 36 0 0 6293624 6294260 18939904 140723996419163 140723996419342 140723996419342 140723996422095 0
Current children cumulated CPU time: 170.94 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 1072848 KiB

[startup+222.301 s]
/proc/loadavg: 1.70 1.92 1.63 3/215 27206
/proc/meminfo: memFree=17823816/32770624 swapFree=67108372/67108860
[pid=27103] ppid=27100 vsize=14092996 memory=1056952 CPUtime=232.45 cores=1,3,5,7
/proc/27103/stat : 27103 (java) S 27100 27103 21941 0 -1 1077944320 89343 0 0 0 23144 101 0 0 20 0 15 0 250396406 14431227904 264238 33554432000 4194304 4196468 140723996413920 140723996396464 139627750866679 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 18939904 140723996419163 140723996419342 140723996419342 140723996422095 0
/proc/27103/statm: 3523249 264238 3605 1 0 3485321 0
[pid=27103/tid=27105] ppid=27100 vsize=14092996 memory=1056960 CPUtime=220 cores=1,3,5,7
/proc/27103/task/27105/stat : 27105 (java) R 27100 27103 21941 0 -1 4202560 36273 0 0 0 21983 17 0 0 20 0 15 0 250396406 14431227904 264238 33554432000 4194304 4196468 140723996413920 139627755104192 139627393305696 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 18939904 140723996419163 140723996419342 140723996419342 140723996422095 0
[pid=27103/tid=27106] ppid=27100 vsize=14092996 memory=1057480 CPUtime=1.59 cores=1,3,5,7
/proc/27103/task/27106/stat : 27106 (java) S 27100 27103 21941 0 -1 1077944384 3371 0 0 0 142 17 0 0 20 0 15 0 250396407 14431227904 264238 33554432000 4194304 4196468 140723996413920 139627346606352 139627750876885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18939904 140723996419163 140723996419342 140723996419342 140723996422095 0
[pid=27103/tid=27107] ppid=27100 vsize=14092996 memory=1056956 CPUtime=1.59 cores=1,3,5,7
/proc/27103/task/27107/stat : 27107 (java) S 27100 27103 21941 0 -1 1077944384 2624 0 0 0 143 16 0 0 20 0 15 0 250396407 14431227904 264238 33554432000 4194304 4196468 140723996413920 139627345553808 139627750876885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18939904 140723996419163 140723996419342 140723996419342 140723996422095 0
[pid=27103/tid=27108] ppid=27100 vsize=14092996 memory=1055416 CPUtime=1.6 cores=1,3,5,7
/proc/27103/task/27108/stat : 27108 (java) S 27100 27103 21941 0 -1 1077944384 3915 0 0 0 143 17 0 0 20 0 15 0 250396407 14431227904 264238 33554432000 4194304 4196468 140723996413920 139627344501264 139627750876885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18939904 140723996419163 140723996419342 140723996419342 140723996422095 0
[pid=27103/tid=27109] ppid=27100 vsize=14092996 memory=1056952 CPUtime=1.61 cores=1,3,5,7
/proc/27103/task/27109/stat : 27109 (java) S 27100 27103 21941 0 -1 1077944384 1641 0 0 0 144 17 0 0 20 0 15 0 250396407 14431227904 264238 33554432000 4194304 4196468 140723996413920 139627343448720 139627750876885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18939904 140723996419163 140723996419342 140723996419342 140723996422095 0
[pid=27103/tid=27110] ppid=27100 vsize=14092996 memory=5683 CPUtime=0.41 cores=1,3,5,7
/proc/27103/task/27110/stat : 27110 (java) S 27100 27103 21941 0 -1 1077944384 2324 0 0 0 34 7 0 0 20 0 15 0 250396408 14431227904 264238 33554432000 4194304 4196468 140723996413920 139626663844336 139627750877826 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18939904 140723996419163 140723996419342 140723996419342 140723996422095 0
[pid=27103/tid=27111] ppid=27100 vsize=14092996 memory=1056952 CPUtime=0 cores=1,3,5,7
/proc/27103/task/27111/stat : 27111 (java) S 27100 27103 21941 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 250396409 14431227904 264238 33554432000 4194304 4196468 140723996413920 139626662790624 139627750876885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18939904 140723996419163 140723996419342 140723996419342 140723996422095 0
[pid=27103/tid=27112] ppid=27100 vsize=14092996 memory=3812 CPUtime=0 cores=1,3,5,7
/proc/27103/task/27112/stat : 27112 (java) S 27100 27103 21941 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 250396409 14431227904 264238 33554432000 4194304 4196468 140723996413920 139626661737984 139627750876885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18939904 140723996419163 140723996419342 140723996419342 140723996422095 0
[pid=27103/tid=27113] ppid=27100 vsize=14092996 memory=68132 CPUtime=0 cores=1,3,5,7
/proc/27103/task/27113/stat : 27113 (java) S 27100 27103 21941 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250396411 14431227904 264238 33554432000 4194304 4196468 140723996413920 139626660686544 139627750885275 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18939904 140723996419163 140723996419342 140723996419342 140723996422095 0
[pid=27103/tid=27114] ppid=27100 vsize=14092996 memory=1056956 CPUtime=2.26 cores=1,3,5,7
/proc/27103/task/27114/stat : 27114 (java) S 27100 27103 21941 0 -1 1077944384 11954 0 0 0 224 2 0 0 20 0 15 0 250396411 14431227904 264238 33554432000 4194304 4196468 140723996413920 139626659633136 139627750877826 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18939904 140723996419163 140723996419342 140723996419342 140723996422095 0
[pid=27103/tid=27115] ppid=27100 vsize=14092996 memory=0 CPUtime=1.99 cores=1,3,5,7
/proc/27103/task/27115/stat : 27115 (java) S 27100 27103 21941 0 -1 1077944384 9017 0 0 0 198 1 0 0 20 0 15 0 250396411 14431227904 264238 33554432000 4194304 4196468 140723996413920 139626658580592 139627750877826 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18939904 140723996419163 140723996419342 140723996419342 140723996422095 0
[pid=27103/tid=27116] ppid=27100 vsize=14092996 memory=1100 CPUtime=1.16 cores=1,3,5,7
/proc/27103/task/27116/stat : 27116 (java) S 27100 27103 21941 0 -1 1077944384 15433 0 0 0 114 2 0 0 20 0 15 0 250396411 14431227904 264238 33554432000 4194304 4196468 140723996413920 139626657528048 139627750877826 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18939904 140723996419163 140723996419342 140723996419342 140723996422095 0
[pid=27103/tid=27117] ppid=27100 vsize=14092996 memory=2144 CPUtime=0 cores=1,3,5,7
/proc/27103/task/27117/stat : 27117 (java) S 27100 27103 21941 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250396411 14431227904 264238 33554432000 4194304 4196468 140723996413920 139626656475744 139627750876885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18939904 140723996419163 140723996419342 140723996419342 140723996422095 0
[pid=27103/tid=27118] ppid=27100 vsize=14092996 memory=1752 CPUtime=0.12 cores=1,3,5,7
/proc/27103/task/27118/stat : 27118 (java) S 27100 27103 21941 0 -1 1077944384 1355 0 0 0 6 6 0 0 20 0 15 0 250396411 14431227904 264238 33554432000 4194304 4196468 140723996413920 139626655423280 139627750877826 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 36 0 0 6293624 6294260 18939904 140723996419163 140723996419342 140723996419342 140723996422095 0
Current children cumulated CPU time: 232.45 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 1056952 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+241.301 s]
/proc/loadavg: 1.68 1.91 1.63 3/215 27206
/proc/meminfo: memFree=17831240/32770624 swapFree=67108372/67108860
[pid=27103] ppid=27100 vsize=14092996 memory=1049232 CPUtime=252.02 cores=1,3,5,7
/proc/27103/stat : 27103 (java) S 27100 27103 21941 0 -1 1077944320 93666 0 0 0 25097 105 0 0 20 0 15 0 250396406 14431227904 262308 33554432000 4194304 4196468 140723996413920 140723996396464 139627750866679 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 18939904 140723996419163 140723996419342 140723996419342 140723996422095 0
/proc/27103/statm: 3523249 262308 3605 1 0 3485321 0
[pid=27103/tid=27105] ppid=27100 vsize=14092996 memory=1050772 CPUtime=238.8 cores=1,3,5,7
/proc/27103/task/27105/stat : 27105 (java) R 27100 27103 21941 0 -1 4202560 36587 0 0 0 23863 17 0 0 20 0 15 0 250396406 14431227904 262308 33554432000 4194304 4196468 140723996413920 139627755104304 139627398100764 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18939904 140723996419163 140723996419342 140723996419342 140723996422095 0
[pid=27103/tid=27106] ppid=27100 vsize=14092996 memory=1051796 CPUtime=1.75 cores=1,3,5,7
/proc/27103/task/27106/stat : 27106 (java) S 27100 27103 21941 0 -1 1077944384 3432 0 0 0 157 18 0 0 20 0 15 0 250396407 14431227904 262308 33554432000 4194304 4196468 140723996413920 139627346606352 139627750876885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18939904 140723996419163 140723996419342 140723996419342 140723996422095 0
[pid=27103/tid=27107] ppid=27100 vsize=14092996 memory=1054360 CPUtime=1.74 cores=1,3,5,7
/proc/27103/task/27107/stat : 27107 (java) S 27100 27103 21941 0 -1 1077944384 2689 0 0 0 157 17 0 0 20 0 15 0 250396407 14431227904 262308 33554432000 4194304 4196468 140723996413920 139627345553808 139627750876885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18939904 140723996419163 140723996419342 140723996419342 140723996422095 0
[pid=27103/tid=27108] ppid=27100 vsize=14092996 memory=1054376 CPUtime=1.75 cores=1,3,5,7
/proc/27103/task/27108/stat : 27108 (java) S 27100 27103 21941 0 -1 1077944384 3960 0 0 0 157 18 0 0 20 0 15 0 250396407 14431227904 262308 33554432000 4194304 4196468 140723996413920 139627344501264 139627750876885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18939904 140723996419163 140723996419342 140723996419342 140723996422095 0
[pid=27103/tid=27109] ppid=27100 vsize=14092996 memory=1053336 CPUtime=1.76 cores=1,3,5,7
/proc/27103/task/27109/stat : 27109 (java) S 27100 27103 21941 0 -1 1077944384 1749 0 0 0 158 18 0 0 20 0 15 0 250396407 14431227904 262308 33554432000 4194304 4196468 140723996413920 139627343448720 139627750876885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18939904 140723996419163 140723996419342 140723996419342 140723996422095 0
[pid=27103/tid=27110] ppid=27100 vsize=14092996 memory=1050772 CPUtime=0.45 cores=1,3,5,7
/proc/27103/task/27110/stat : 27110 (java) S 27100 27103 21941 0 -1 1077944384 2328 0 0 0 38 7 0 0 20 0 15 0 250396408 14431227904 262308 33554432000 4194304 4196468 140723996413920 139626663844336 139627750877826 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18939904 140723996419163 140723996419342 140723996419342 140723996422095 0
[pid=27103/tid=27111] ppid=27100 vsize=14092996 memory=1049232 CPUtime=0 cores=1,3,5,7
/proc/27103/task/27111/stat : 27111 (java) S 27100 27103 21941 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 250396409 14431227904 262308 33554432000 4194304 4196468 140723996413920 139626662790624 139627750876885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18939904 140723996419163 140723996419342 140723996419342 140723996422095 0
[pid=27103/tid=27112] ppid=27100 vsize=14092996 memory=1054888 CPUtime=0 cores=1,3,5,7
/proc/27103/task/27112/stat : 27112 (java) S 27100 27103 21941 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 250396409 14431227904 262308 33554432000 4194304 4196468 140723996413920 139626661737984 139627750876885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18939904 140723996419163 140723996419342 140723996419342 140723996422095 0
[pid=27103/tid=27113] ppid=27100 vsize=14092996 memory=1056424 CPUtime=0 cores=1,3,5,7
/proc/27103/task/27113/stat : 27113 (java) S 27100 27103 21941 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250396411 14431227904 262308 33554432000 4194304 4196468 140723996413920 139626660686544 139627750885275 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18939904 140723996419163 140723996419342 140723996419342 140723996422095 0
[pid=27103/tid=27114] ppid=27100 vsize=14092996 memory=1055904 CPUtime=2.36 cores=1,3,5,7
/proc/27103/task/27114/stat : 27114 (java) S 27100 27103 21941 0 -1 1077944384 14392 0 0 0 234 2 0 0 20 0 15 0 250396411 14431227904 262308 33554432000 4194304 4196468 140723996413920 139626659633136 139627750877826 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18939904 140723996419163 140723996419342 140723996419342 140723996422095 0
[pid=27103/tid=27115] ppid=27100 vsize=14092996 memory=1054376 CPUtime=2 cores=1,3,5,7
/proc/27103/task/27115/stat : 27115 (java) S 27100 27103 21941 0 -1 1077944384 9738 0 0 0 199 1 0 0 20 0 15 0 250396411 14431227904 262308 33554432000 4194304 4196468 140723996413920 139626658580592 139627750877826 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18939904 140723996419163 140723996419342 140723996419342 140723996422095 0
[pid=27103/tid=27116] ppid=27100 vsize=14092996 memory=1100 CPUtime=1.16 cores=1,3,5,7
/proc/27103/task/27116/stat : 27116 (java) S 27100 27103 21941 0 -1 1077944384 15994 0 0 0 114 2 0 0 20 0 15 0 250396411 14431227904 262308 33554432000 4194304 4196468 140723996413920 139626657528048 139627750877826 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18939904 140723996419163 140723996419342 140723996419342 140723996422095 0
[pid=27103/tid=27117] ppid=27100 vsize=14092996 memory=3812 CPUtime=0 cores=1,3,5,7
/proc/27103/task/27117/stat : 27117 (java) S 27100 27103 21941 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250396411 14431227904 262308 33554432000 4194304 4196468 140723996413920 139626656475744 139627750876885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18939904 140723996419163 140723996419342 140723996419342 140723996422095 0
[pid=27103/tid=27118] ppid=27100 vsize=14092996 memory=68132 CPUtime=0.14 cores=1,3,5,7
/proc/27103/task/27118/stat : 27118 (java) S 27100 27103 21941 0 -1 1077944384 1361 0 0 0 7 7 0 0 20 0 15 0 250396411 14431227904 262308 33554432000 4194304 4196468 140723996413920 139626655423280 139627750877826 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 36 0 0 6293624 6294260 18939904 140723996419163 140723996419342 140723996419342 140723996422095 0
Current children cumulated CPU time: 252.02 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 1049232 KiB

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

[startup+241.322 s]
# the end of solver process 27103 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=250.988 s, system=1.06533 s

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

[startup+241.301 s]
/proc/loadavg: 1.68 1.91 1.63 3/215 27206
/proc/meminfo: memFree=17831240/32770624 swapFree=67108372/67108860
[pid=27103] ppid=27100 vsize=14092996 memory=1049232 CPUtime=252.02 cores=1,3,5,7
/proc/27103/stat : 27103 (java) S 27100 27103 21941 0 -1 1077944320 93666 0 0 0 25097 105 0 0 20 0 15 0 250396406 14431227904 262308 33554432000 4194304 4196468 140723996413920 140723996396464 139627750866679 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 18939904 140723996419163 140723996419342 140723996419342 140723996422095 0
/proc/27103/statm: 3523249 262308 3605 1 0 3485321 0
[pid=27103/tid=27105] ppid=27100 vsize=14092996 memory=1050772 CPUtime=238.8 cores=1,3,5,7
/proc/27103/task/27105/stat : 27105 (java) R 27100 27103 21941 0 -1 4202560 36587 0 0 0 23863 17 0 0 20 0 15 0 250396406 14431227904 262308 33554432000 4194304 4196468 140723996413920 139627755104304 139627398100764 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18939904 140723996419163 140723996419342 140723996419342 140723996422095 0
[pid=27103/tid=27106] ppid=27100 vsize=14092996 memory=1051796 CPUtime=1.75 cores=1,3,5,7
/proc/27103/task/27106/stat : 27106 (java) S 27100 27103 21941 0 -1 1077944384 3432 0 0 0 157 18 0 0 20 0 15 0 250396407 14431227904 262308 33554432000 4194304 4196468 140723996413920 139627346606352 139627750876885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18939904 140723996419163 140723996419342 140723996419342 140723996422095 0
[pid=27103/tid=27107] ppid=27100 vsize=14092996 memory=1054360 CPUtime=1.74 cores=1,3,5,7
/proc/27103/task/27107/stat : 27107 (java) S 27100 27103 21941 0 -1 1077944384 2689 0 0 0 157 17 0 0 20 0 15 0 250396407 14431227904 262308 33554432000 4194304 4196468 140723996413920 139627345553808 139627750876885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18939904 140723996419163 140723996419342 140723996419342 140723996422095 0
[pid=27103/tid=27108] ppid=27100 vsize=14092996 memory=1054376 CPUtime=1.75 cores=1,3,5,7
/proc/27103/task/27108/stat : 27108 (java) S 27100 27103 21941 0 -1 1077944384 3960 0 0 0 157 18 0 0 20 0 15 0 250396407 14431227904 262308 33554432000 4194304 4196468 140723996413920 139627344501264 139627750876885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18939904 140723996419163 140723996419342 140723996419342 140723996422095 0
[pid=27103/tid=27109] ppid=27100 vsize=14092996 memory=1053336 CPUtime=1.76 cores=1,3,5,7
/proc/27103/task/27109/stat : 27109 (java) S 27100 27103 21941 0 -1 1077944384 1749 0 0 0 158 18 0 0 20 0 15 0 250396407 14431227904 262308 33554432000 4194304 4196468 140723996413920 139627343448720 139627750876885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18939904 140723996419163 140723996419342 140723996419342 140723996422095 0
[pid=27103/tid=27110] ppid=27100 vsize=14092996 memory=1050772 CPUtime=0.45 cores=1,3,5,7
/proc/27103/task/27110/stat : 27110 (java) S 27100 27103 21941 0 -1 1077944384 2328 0 0 0 38 7 0 0 20 0 15 0 250396408 14431227904 262308 33554432000 4194304 4196468 140723996413920 139626663844336 139627750877826 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18939904 140723996419163 140723996419342 140723996419342 140723996422095 0
[pid=27103/tid=27111] ppid=27100 vsize=14092996 memory=1049232 CPUtime=0 cores=1,3,5,7
/proc/27103/task/27111/stat : 27111 (java) S 27100 27103 21941 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 250396409 14431227904 262308 33554432000 4194304 4196468 140723996413920 139626662790624 139627750876885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18939904 140723996419163 140723996419342 140723996419342 140723996422095 0
[pid=27103/tid=27112] ppid=27100 vsize=14092996 memory=1054888 CPUtime=0 cores=1,3,5,7
/proc/27103/task/27112/stat : 27112 (java) S 27100 27103 21941 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 250396409 14431227904 262308 33554432000 4194304 4196468 140723996413920 139626661737984 139627750876885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18939904 140723996419163 140723996419342 140723996419342 140723996422095 0
[pid=27103/tid=27113] ppid=27100 vsize=14092996 memory=1056424 CPUtime=0 cores=1,3,5,7
/proc/27103/task/27113/stat : 27113 (java) S 27100 27103 21941 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250396411 14431227904 262308 33554432000 4194304 4196468 140723996413920 139626660686544 139627750885275 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18939904 140723996419163 140723996419342 140723996419342 140723996422095 0
[pid=27103/tid=27114] ppid=27100 vsize=14092996 memory=1055904 CPUtime=2.36 cores=1,3,5,7
/proc/27103/task/27114/stat : 27114 (java) S 27100 27103 21941 0 -1 1077944384 14392 0 0 0 234 2 0 0 20 0 15 0 250396411 14431227904 262308 33554432000 4194304 4196468 140723996413920 139626659633136 139627750877826 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18939904 140723996419163 140723996419342 140723996419342 140723996422095 0
[pid=27103/tid=27115] ppid=27100 vsize=14092996 memory=1054376 CPUtime=2 cores=1,3,5,7
/proc/27103/task/27115/stat : 27115 (java) S 27100 27103 21941 0 -1 1077944384 9738 0 0 0 199 1 0 0 20 0 15 0 250396411 14431227904 262308 33554432000 4194304 4196468 140723996413920 139626658580592 139627750877826 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18939904 140723996419163 140723996419342 140723996419342 140723996422095 0
[pid=27103/tid=27116] ppid=27100 vsize=14092996 memory=1100 CPUtime=1.16 cores=1,3,5,7
/proc/27103/task/27116/stat : 27116 (java) S 27100 27103 21941 0 -1 1077944384 15994 0 0 0 114 2 0 0 20 0 15 0 250396411 14431227904 262308 33554432000 4194304 4196468 140723996413920 139626657528048 139627750877826 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18939904 140723996419163 140723996419342 140723996419342 140723996422095 0
[pid=27103/tid=27117] ppid=27100 vsize=14092996 memory=3812 CPUtime=0 cores=1,3,5,7
/proc/27103/task/27117/stat : 27117 (java) S 27100 27103 21941 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250396411 14431227904 262308 33554432000 4194304 4196468 140723996413920 139626656475744 139627750876885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18939904 140723996419163 140723996419342 140723996419342 140723996422095 0
[pid=27103/tid=27118] ppid=27100 vsize=14092996 memory=68132 CPUtime=0.14 cores=1,3,5,7
/proc/27103/task/27118/stat : 27118 (java) S 27100 27103 21941 0 -1 1077944384 1361 0 0 0 7 7 0 0 20 0 15 0 250396411 14431227904 262308 33554432000 4194304 4196468 140723996413920 139626655423280 139627750877826 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 36 0 0 6293624 6294260 18939904 140723996419163 140723996419342 140723996419342 140723996422095 0
Current children cumulated CPU time: 252.02 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 1049232 KiB

Child status: 143
Real time (s): 241.322
CPU time (s): 252.053
CPU user time (s): 250.988
CPU system time (s): 1.06533
CPU usage (%): 104.447
Max. virtual memory (cumulated for all children) (KiB): 14092996
Max. memory (cumulated for all children) (KiB): 1087052

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 250.988
system time used= 1.06533
maximum resident set size= 1087060
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 94126
page faults= 0
swaps= 0
block input operations= 0
block output operations= 432
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 20148
involuntary context switches= 639


# summary of solver processes directly reported to runsolver:
#   pid: 27103
#   total CPU time (s): 252.053
#   total CPU user time (s): 250.988
#   total CPU system time (s): 1.06533

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.57148 second user time and 2.32479 second system time

The end

Launcher Data 

Begin job on node137 at 2018-08-15 12:18:52
IDJOB=4310373
IDBENCH=141121
IDSOLVER=2796
FILE ID=node137/4310373-1534328332
RUNJOBID= node137-1534326868-25908
PBS_JOBID= 21038143
Free space on /tmp= 29252 MiB

SOLVER NAME= OscaR - Hybrid 2018-08-14
BENCH NAME= XCSP18/PseudoBoolean-opt/Pb-radar-10-20-45-050-100_c18.xml
COMMAND LINE= java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 11000 --nbcore NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4310373-1534328332/watcher-4310373-1534328332 -o /tmp/evaluation-result-4310373-1534328332/solver-4310373-1534328332 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node137-1534326868-25908 --watchdog 312  java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed 196570930 --timelimit 252 --memlimit 11000 --nbcore 4 HOME/instance-4310373-1534328332.xml

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

MD5SUM BENCH= 6059cce927de517ef09e7ab17e66c3d6
RANDOM SEED=196570930

node137.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.54
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.56
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.54
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.56
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.54
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.56
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.54
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        17554960 kB
MemAvailable:   25074632 kB
Buffers:          167276 kB
Cached:          7569924 kB
SwapCached:            8 kB
Active:         10822116 kB
Inactive:        3781636 kB
Active(anon):    6813536 kB
Inactive(anon):   113400 kB
Active(file):    4008580 kB
Inactive(file):  3668236 kB
Unevictable:        7388 kB
Mlocked:            7388 kB
SwapTotal:      67108860 kB
SwapFree:       67108372 kB
Dirty:             35848 kB
Writeback:             0 kB
AnonPages:       6888456 kB
Mapped:            69596 kB
Shmem:             57816 kB
Slab:             300296 kB
SReclaimable:     271316 kB
SUnreclaim:        28980 kB
KernelStack:        3776 kB
PageTables:        18684 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    7828756 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   6563840 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      114048 kB
DirectMap2M:    33431552 kB

Free space on /tmp at the end= 29216 MiB
End job on node137 at 2018-08-15 12:22:54