Trace number 4308939

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
OscaR - Parallel with EPS 2018-08-14SAT (TO)11356 20035.9 2520.25

General information on the benchmark

NameSumColoring/
SumColoring-dsjc-125-1_c18.xml
MD5SUMe8035d4b0abecbc1a78dd1ff35d13fe4
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark231
Best CPU time to get the best result obtained on this benchmark19964
Satisfiable
(Un)Satisfiability was proved
Number of variables125
Number of constraints736
Number of domains1
Minimum domain size125
Maximum domain size125
Distribution of domain sizes[{"size":125,"count":125}]
Minimum variable degree6
Maximum variable degree24
Distribution of variable degrees[{"degree":6,"count":1},{"degree":7,"count":3},{"degree":8,"count":5},{"degree":9,"count":12},{"degree":10,"count":12},{"degree":11,"count":16},{"degree":12,"count":12},{"degree":13,"count":16},{"degree":14,"count":15},{"degree":15,"count":7},{"degree":16,"count":8},{"degree":17,"count":9},{"degree":18,"count":1},{"degree":19,"count":4},{"degree":20,"count":3},{"degree":24,"count":1}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":736}]
Number of extensional constraints0
Number of intensional constraints736
Distribution of constraint types[{"type":"intension","count":736}]
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.67/0.55	c version: 2018-08-14
0.67/0.55	c seed: 907777779
0.67/0.55	c timeout: 20160
0.67/0.55	c memlimit: 22000
0.67/0.55	c nbcore: 8
0.67/0.58	c Parsing instance...
1.71/1.04	c Parsing done, starting search...
6.25/2.65	o 15211
6.25/2.65	o 15206
6.25/2.65	o 15204
6.25/2.65	o 15203
6.25/2.65	o 15202
6.25/2.65	o 15201
6.25/2.65	o 15200
6.25/2.65	o 15199
6.25/2.65	o 15198
6.25/2.65	o 15197
6.25/2.65	o 15196
6.25/2.65	o 15195
6.25/2.65	o 15194
6.25/2.65	o 15193
6.25/2.66	o 15192
6.25/2.66	o 15191
6.25/2.66	o 15190
6.25/2.66	o 15185
6.25/2.67	o 15184
6.25/2.67	o 15183
6.25/2.67	o 15182
6.25/2.67	o 15181
6.25/2.67	o 15180
6.25/2.67	o 15179
6.25/2.67	o 15178
6.25/2.67	o 15177
6.25/2.68	o 15176
6.25/2.68	o 15175
6.25/2.68	o 15174
6.25/2.68	o 15173
6.25/2.68	o 15172
6.25/2.68	o 15171
6.25/2.68	o 15170
6.25/2.68	o 15169
6.25/2.68	o 15168
6.25/2.68	o 15167
6.25/2.68	o 15166
6.25/2.68	o 15165
6.25/2.68	o 15164
6.25/2.68	o 15163
6.25/2.68	o 15162
6.25/2.68	o 15161
6.25/2.68	o 15160
6.25/2.68	o 15159
6.25/2.68	o 15158
6.25/2.70	o 15157
6.25/2.70	o 15156
6.25/2.70	o 15155
6.25/2.70	o 15154
6.25/2.70	o 15153
6.25/2.70	o 15152
6.25/2.70	o 15151
6.25/2.70	o 15150
6.25/2.70	o 15149
6.25/2.70	o 15148
6.25/2.70	o 15147
6.25/2.70	o 15146
6.25/2.70	o 15145
6.25/2.70	o 15144
6.25/2.70	o 15143
6.25/2.70	o 15142
6.25/2.70	o 15141
6.25/2.70	o 15140
6.25/2.70	o 15139
6.25/2.70	o 15138
6.25/2.70	o 15137
6.25/2.70	o 15136
6.25/2.70	o 15135
6.25/2.70	o 15134
6.25/2.70	o 15133
6.25/2.70	o 15132
6.25/2.70	o 15131
6.25/2.70	o 15130
6.25/2.70	o 15129
6.25/2.70	o 15128
6.25/2.70	o 15127
6.25/2.70	o 15126
6.25/2.70	o 15125
6.25/2.70	o 15124
6.25/2.70	o 15123
6.95/2.71	o 15122
6.95/2.71	o 15121
6.95/2.71	o 15120
6.95/2.71	o 15119
6.95/2.71	o 15118
6.95/2.71	o 15117
6.95/2.71	o 15116
6.95/2.71	o 15115
6.95/2.71	o 15114
6.95/2.71	o 15113
6.95/2.71	o 15112
6.95/2.71	o 15111
6.95/2.71	o 15110
6.95/2.71	o 15109
6.95/2.71	o 15108
6.95/2.71	o 15107
6.95/2.71	o 15106
6.95/2.71	o 15105
6.95/2.71	o 15104
6.95/2.71	o 15103
6.95/2.71	o 15102
6.95/2.71	o 15101
6.95/2.71	o 15100
6.95/2.71	o 15099
6.95/2.71	o 15098
6.95/2.71	o 15097
6.95/2.71	o 15096
6.95/2.71	o 15095
6.95/2.71	o 15094
6.95/2.71	o 15093
6.95/2.71	o 15092
6.95/2.71	o 15091
6.95/2.71	o 15090
6.95/2.71	o 15089
6.95/2.71	o 15088
6.95/2.71	o 15087
6.95/2.71	o 15086
6.95/2.71	o 15085
6.95/2.71	o 15084
6.95/2.71	o 15083
6.95/2.71	o 15082
6.95/2.71	o 15081
6.95/2.71	o 15080
6.95/2.71	o 15079
6.95/2.71	o 15078
6.95/2.71	o 15077
6.95/2.71	o 15076
6.95/2.71	o 15075
6.95/2.71	o 15074
6.95/2.71	o 15073
6.95/2.71	o 15072
6.95/2.72	o 15071
6.95/2.72	o 15070
6.95/2.72	o 15069
6.95/2.72	o 15068
6.95/2.72	o 15067
6.95/2.73	o 15066
6.95/2.73	o 15065
6.95/2.73	o 15064
6.95/2.73	o 15063
6.95/2.73	o 15062
6.95/2.73	o 15061
6.95/2.73	o 15060
6.95/2.73	o 15059
6.95/2.73	o 15058
6.95/2.73	o 15057
6.95/2.73	o 15056
6.95/2.73	o 15055
6.95/2.73	o 15054
6.95/2.73	o 15053
6.95/2.73	o 15052
6.95/2.73	o 15051
6.95/2.73	o 15050
6.95/2.73	o 15049
6.95/2.73	o 15048
6.95/2.73	o 15047
6.95/2.73	o 15046
6.95/2.73	o 15045
6.95/2.73	o 15044
6.95/2.73	o 15043
6.95/2.73	o 15042
6.95/2.73	o 15041
6.95/2.73	o 15040
6.95/2.73	o 15039
6.95/2.73	o 15038
6.95/2.73	o 15037
6.95/2.73	o 15036
6.95/2.73	o 15035
6.95/2.73	o 15034
6.95/2.73	o 15033
6.95/2.73	o 15032
6.95/2.73	o 15031
6.95/2.73	o 15030
6.95/2.73	o 15029
6.95/2.73	o 15028
6.95/2.73	o 15027
6.95/2.73	o 15026
6.95/2.73	o 15025
6.95/2.73	o 15024
6.95/2.73	o 15023
6.95/2.73	o 15022
6.95/2.73	o 15021
6.95/2.73	o 15020
6.95/2.73	o 15019
6.95/2.73	o 15018
6.95/2.73	o 15017
6.95/2.74	o 15016
6.95/2.74	o 15015
6.95/2.74	o 15014
6.95/2.74	o 15013
6.95/2.74	o 15012
6.95/2.74	o 15011
6.95/2.74	o 15010
6.95/2.74	o 15009
6.95/2.74	o 15008
6.95/2.74	o 15007
6.95/2.74	o 15006
6.95/2.74	o 15005
6.95/2.74	o 15004
6.95/2.74	o 15003
6.95/2.74	o 15002
6.95/2.74	o 15001
6.95/2.74	o 15000
6.95/2.75	o 14999
6.95/2.75	o 14998
6.95/2.75	o 14997
6.95/2.75	o 14996
6.95/2.75	o 14995
6.95/2.75	o 14994
6.95/2.75	o 14993
6.95/2.75	o 14992
6.95/2.75	o 14991
6.95/2.75	o 14990
6.95/2.75	o 14989
6.95/2.75	o 14988
6.95/2.75	o 14987
6.95/2.75	o 14986
6.95/2.75	o 14985
6.95/2.76	o 14984
6.95/2.76	o 14983
6.95/2.76	o 14982
6.95/2.76	o 14981
6.95/2.76	o 14980
6.95/2.76	o 14979
6.95/2.76	o 14978
6.95/2.76	o 14977
6.95/2.76	o 14976
6.95/2.76	o 14975
6.95/2.76	o 14974
6.95/2.76	o 14973
6.95/2.76	o 14972
6.95/2.76	o 14971
6.95/2.76	o 14970
6.95/2.76	o 14969
6.95/2.76	o 14968
6.95/2.76	o 14967
6.95/2.76	o 14966
6.95/2.76	o 14965
6.95/2.76	o 14964
6.95/2.76	o 14963
6.95/2.76	o 14962
6.95/2.77	o 14961
6.95/2.77	o 14960
6.95/2.77	o 14959
6.95/2.77	o 14958
6.95/2.77	o 14957
6.95/2.77	o 14956
6.95/2.77	o 14955
6.95/2.77	o 14954
6.95/2.77	o 14953
6.95/2.77	o 14952
6.95/2.77	o 14951
6.95/2.77	o 14950
6.95/2.77	o 14949
6.95/2.77	o 14948
6.95/2.77	o 14947
6.95/2.77	o 14946
6.95/2.77	o 14945
6.95/2.77	o 14944
6.95/2.77	o 14943
6.95/2.77	o 14942
6.95/2.77	o 14941
6.95/2.77	o 14940
6.95/2.77	o 14939
6.95/2.77	o 14938
6.95/2.77	o 14937
6.95/2.78	o 14936
6.95/2.78	o 14935
6.95/2.78	o 14934
6.95/2.78	o 14933
6.95/2.78	o 14932
6.95/2.78	o 14931
6.95/2.78	o 14930
6.95/2.78	o 14929
6.95/2.78	o 14928
6.95/2.78	o 14927
6.95/2.78	o 14926
6.95/2.78	o 14925
6.95/2.78	o 14924
6.95/2.78	o 14923
6.95/2.78	o 14922
6.95/2.78	o 14921
6.95/2.78	o 14920
6.95/2.78	o 14919
6.95/2.78	o 14918
6.95/2.78	o 14917
6.95/2.78	o 14916
6.95/2.78	o 14915
6.95/2.78	o 14914
6.95/2.78	o 14913
6.95/2.78	o 14912
6.95/2.78	o 14911
6.95/2.78	o 14910
6.95/2.78	o 14909
6.95/2.78	o 14908
6.95/2.78	o 14907
6.95/2.78	o 14906
6.95/2.78	o 14905
6.95/2.78	o 14904
6.95/2.78	o 14903
6.95/2.78	o 14902
6.95/2.78	o 14901
6.95/2.79	o 14900
6.95/2.79	o 14899
6.95/2.79	o 14898
6.95/2.79	o 14897
6.95/2.79	o 14896
6.95/2.79	o 14895
6.95/2.79	o 14894
6.95/2.79	o 14893
6.95/2.79	o 14892
6.95/2.79	o 14891
6.95/2.79	o 14890
6.95/2.79	o 14889
6.95/2.79	o 14888
6.95/2.79	o 14887
6.95/2.79	o 14886
6.95/2.79	o 14885
6.95/2.79	o 14884
6.95/2.79	o 14883
6.95/2.79	o 14882
6.95/2.79	o 14881
6.95/2.79	o 14880
6.95/2.79	o 14879
6.95/2.80	o 14878
6.95/2.80	o 14877
6.95/2.80	o 14876
6.95/2.80	o 14875
6.95/2.80	o 14874
6.95/2.80	o 14873
6.95/2.80	o 14872
6.95/2.80	o 14871
6.95/2.80	o 14870
6.95/2.80	o 14869
6.95/2.80	o 14868
6.95/2.80	o 14867
6.95/2.80	o 14866
6.95/2.80	o 14865
6.95/2.80	o 14864
6.95/2.80	o 14863
6.95/2.80	o 14862
6.95/2.80	o 14861
6.95/2.80	o 14860
7.64/2.80	o 14859
7.64/2.80	o 14858
7.64/2.80	o 14857
7.64/2.80	o 14856
7.64/2.80	o 14855
7.64/2.80	o 14854
7.64/2.80	o 14853
7.64/2.80	o 14852
7.64/2.80	o 14851
7.64/2.80	o 14850
7.64/2.80	o 14849
7.64/2.80	o 14848
7.64/2.80	o 14847
7.64/2.80	o 14846
7.64/2.80	o 14845
7.64/2.80	o 14844
7.64/2.80	o 14843
7.64/2.80	o 14842
7.64/2.81	o 14841
7.64/2.81	o 14840
7.64/2.81	o 14839
7.64/2.81	o 14838
7.64/2.81	o 14837
7.64/2.81	o 14836
7.64/2.81	o 14835
7.64/2.81	o 14834
7.64/2.81	o 14833
7.64/2.81	o 14832
7.64/2.81	o 14831
7.64/2.81	o 14830
7.64/2.81	o 14829
7.64/2.81	o 14828
7.64/2.81	o 14827
7.64/2.81	o 14826
7.64/2.82	o 14825
7.64/2.82	o 14824
7.64/2.82	o 14823
7.64/2.82	o 14822
7.64/2.82	o 14821
7.64/2.82	o 14820
7.64/2.82	o 14819
7.64/2.82	o 14818
7.64/2.82	o 14817
7.64/2.82	o 14816
7.64/2.82	o 14815
7.64/2.82	o 14814
7.64/2.82	o 14813
7.64/2.82	o 14812
7.64/2.82	o 14811
7.64/2.82	o 14810
7.64/2.82	o 14809
7.64/2.82	o 14808
7.64/2.82	o 14807
7.64/2.82	o 14806
7.64/2.82	o 14805
7.64/2.82	o 14804
7.64/2.82	o 14803
7.64/2.82	o 14802
7.64/2.82	o 14801
7.64/2.84	o 14800
7.64/2.84	o 14799
7.64/2.84	o 14798
7.64/2.84	o 14797
7.64/2.84	o 14796
7.64/2.84	o 14795
7.64/2.84	o 14794
7.64/2.84	o 14793
7.64/2.84	o 14792
7.64/2.84	o 14791
7.64/2.84	o 14790
7.64/2.84	o 14789
7.64/2.84	o 14788
7.64/2.84	o 14787
7.64/2.84	o 14786
7.64/2.84	o 14785
7.64/2.84	o 14784
7.64/2.84	o 14783
7.64/2.84	o 14782
7.64/2.84	o 14781
7.64/2.84	o 14780
7.64/2.84	o 14779
7.64/2.84	o 14778
7.64/2.84	o 14777
7.64/2.84	o 14776
7.64/2.84	o 14775
7.64/2.84	o 14774
7.64/2.84	o 14773
7.64/2.84	o 14772
7.64/2.84	o 14771
7.64/2.84	o 14770
7.64/2.84	o 14769
7.64/2.84	o 14768
7.64/2.84	o 14767
7.64/2.84	o 14766
7.64/2.84	o 14765
7.64/2.84	o 14764
7.64/2.84	o 14763
7.64/2.84	o 14762
7.64/2.84	o 14761
7.64/2.84	o 14760
7.64/2.84	o 14759
7.64/2.84	o 14758
7.64/2.84	o 14757
7.64/2.84	o 14756
7.64/2.84	o 14755
7.64/2.84	o 14754
7.64/2.84	o 14753
7.64/2.84	o 14752
7.64/2.84	o 14751
7.64/2.84	o 14750
7.64/2.84	o 14749
7.64/2.84	o 14748
7.64/2.84	o 14747
7.64/2.84	o 14746
7.64/2.84	o 14745
7.64/2.84	o 14744
7.64/2.84	o 14743
7.64/2.84	o 14742
7.64/2.84	o 14741
7.64/2.84	o 14740
7.64/2.84	o 14739
7.64/2.84	o 14738
7.64/2.84	o 14737
7.64/2.84	o 14736
7.64/2.84	o 14735
7.64/2.84	o 14734
7.64/2.84	o 14733
7.64/2.84	o 14732
7.64/2.84	o 14731
7.64/2.84	o 14730
7.64/2.84	o 14729
7.64/2.84	o 14728
7.64/2.84	o 14727
7.64/2.84	o 14726
7.64/2.86	o 14725
7.64/2.86	o 14724
7.64/2.86	o 14723
7.64/2.86	o 14722
7.64/2.86	o 14721
7.64/2.86	o 14720
7.64/2.86	o 14719
7.64/2.86	o 14718
7.64/2.86	o 14717
7.64/2.86	o 14716
7.64/2.86	o 14715
7.64/2.86	o 14714
7.64/2.86	o 14713
7.64/2.86	o 14712
7.64/2.86	o 14711
7.64/2.86	o 14710
7.64/2.86	o 14709
7.64/2.86	o 14708
7.64/2.86	o 14707
7.64/2.86	o 14706
7.64/2.86	o 14705
7.64/2.86	o 14704
7.64/2.86	o 14703
7.64/2.86	o 14702
7.64/2.86	o 14701
7.64/2.86	o 14700
7.64/2.86	o 14699
7.64/2.86	o 14698
7.64/2.86	o 14697
7.64/2.86	o 14696
7.64/2.86	o 14695
7.64/2.86	o 14694
7.64/2.86	o 14693
7.64/2.86	o 14692
7.64/2.86	o 14691
7.64/2.86	o 14690
7.64/2.86	o 14689
7.64/2.86	o 14688
7.64/2.86	o 14687
7.64/2.86	o 14686
7.64/2.86	o 14685
7.64/2.86	o 14684
7.64/2.86	o 14683
7.64/2.86	o 14682
7.64/2.86	o 14681
7.64/2.86	o 14680
7.64/2.86	o 14679
7.64/2.86	o 14678
7.64/2.86	o 14677
7.64/2.86	o 14676
7.64/2.86	o 14675
7.64/2.86	o 14674
7.64/2.86	o 14673
7.64/2.86	o 14672
7.64/2.86	o 14671
7.64/2.86	o 14670
7.64/2.86	o 14669
7.64/2.86	o 14668
7.64/2.86	o 14667
7.64/2.86	o 14666
7.64/2.86	o 14665
7.64/2.86	o 14664
7.64/2.86	o 14663
7.64/2.86	o 14662
7.64/2.86	o 14661
7.64/2.86	o 14660
7.64/2.86	o 14659
7.64/2.86	o 14658
7.64/2.86	o 14657
7.64/2.86	o 14656
7.64/2.86	o 14655
7.64/2.86	o 14654
7.64/2.86	o 14653
7.64/2.86	o 14652
7.64/2.86	o 14651
7.64/2.86	o 14650
7.64/2.86	o 14649
7.64/2.86	o 14648
7.64/2.86	o 14647
7.64/2.86	o 14646
7.64/2.86	o 14645
7.64/2.86	o 14644
7.64/2.86	o 14643
7.64/2.86	o 14642
7.64/2.86	o 14641
7.64/2.86	o 14640
7.64/2.86	o 14639
7.64/2.86	o 14638
7.64/2.86	o 14637
7.64/2.86	o 14636
7.64/2.86	o 14635
7.64/2.86	o 14634
7.64/2.86	o 14633
7.64/2.86	o 14632
7.64/2.86	o 14631
7.64/2.86	o 14630
7.64/2.86	o 14629
7.64/2.86	o 14628
7.64/2.86	o 14627
7.64/2.86	o 14626
7.64/2.86	o 14625
7.64/2.86	o 14624
7.64/2.86	o 14623
7.64/2.86	o 14622
7.64/2.86	o 14621
7.64/2.86	o 14620
7.64/2.86	o 14619
7.64/2.86	o 14618
7.64/2.86	o 14617
7.64/2.86	o 14616
7.64/2.86	o 14615
7.64/2.86	o 14614
7.64/2.86	o 14613
7.64/2.87	o 14612
7.64/2.87	o 14611
7.64/2.87	o 14610
7.64/2.87	o 14609
7.64/2.87	o 14608
7.64/2.87	o 14607
7.64/2.87	o 14606
7.64/2.87	o 14605
7.64/2.87	o 14604
7.64/2.87	o 14603
7.64/2.87	o 14602
7.64/2.87	o 14601
7.64/2.87	o 14600
7.64/2.87	o 14599
7.64/2.87	o 14598
7.64/2.87	o 14597
7.64/2.87	o 14596
7.64/2.87	o 14595
7.64/2.87	o 14594
7.64/2.87	o 14593
7.64/2.87	o 14592
7.64/2.87	o 14591
7.64/2.87	o 14590
7.64/2.87	o 14589
7.64/2.87	o 14588
7.64/2.87	o 14587
7.64/2.87	o 14586
7.64/2.87	o 14585
7.64/2.87	o 14584
7.64/2.87	o 14583
7.64/2.87	o 14582
7.64/2.87	o 14581
7.64/2.87	o 14580
7.64/2.87	o 14579
7.64/2.87	o 14578
7.64/2.87	o 14577
7.64/2.87	o 14576
7.64/2.87	o 14575
7.64/2.87	o 14574
7.64/2.87	o 14573
7.64/2.87	o 14572
7.64/2.87	o 14571
7.64/2.88	o 14570
7.64/2.88	o 14569
7.64/2.88	o 14568
7.64/2.88	o 14567
7.64/2.88	o 14566
7.64/2.88	o 14565
7.64/2.88	o 14564
7.64/2.88	o 14563
7.64/2.88	o 14562
7.64/2.88	o 14561
7.64/2.89	o 14560
7.64/2.89	o 14559
7.64/2.89	o 14558
7.64/2.89	o 14557
7.64/2.89	o 14556
7.64/2.89	o 14555
7.64/2.89	o 14554
7.64/2.89	o 14553
7.64/2.89	o 14552
7.64/2.89	o 14551
7.64/2.89	o 14550
7.64/2.89	o 14549
7.64/2.89	o 14548
7.64/2.89	o 14547
7.64/2.89	o 14546
7.64/2.89	o 14545
7.64/2.89	o 14544
7.64/2.89	o 14543
7.64/2.89	o 14542
7.64/2.89	o 14541
7.64/2.89	o 14540
7.64/2.89	o 14539
7.64/2.89	o 14538
7.64/2.89	o 14537
7.64/2.89	o 14536
7.64/2.89	o 14535
7.64/2.89	o 14534
7.64/2.89	o 14533
7.64/2.89	o 14532
7.64/2.89	o 14531
7.64/2.89	o 14530
7.64/2.89	o 14529
7.64/2.89	o 14528
7.64/2.89	o 14527
7.64/2.89	o 14526
7.64/2.89	o 14525
7.64/2.89	o 14524
7.64/2.89	o 14523
7.64/2.89	o 14522
7.64/2.89	o 14521
7.64/2.89	o 14520
7.64/2.89	o 14519
7.64/2.89	o 14518
7.64/2.89	o 14517
7.64/2.89	o 14516
7.64/2.89	o 14515
7.64/2.89	o 14514
7.64/2.89	o 14513
7.64/2.89	o 14512
7.64/2.89	o 14511
7.64/2.90	o 14510
7.64/2.90	o 14509
7.64/2.90	o 14508
7.64/2.90	o 14507
7.64/2.90	o 14506
7.64/2.90	o 14505
7.64/2.90	o 14504
7.64/2.90	o 14503
7.64/2.90	o 14502
7.64/2.90	o 14501
7.64/2.90	o 14500
7.64/2.90	o 14499
7.64/2.90	o 14498
7.64/2.90	o 14497
7.64/2.90	o 14496
7.64/2.90	o 14495
7.64/2.90	o 14494
7.64/2.90	o 14493
7.64/2.90	o 14492
7.64/2.90	o 14491
7.64/2.90	o 14490
7.64/2.90	o 14489
7.64/2.90	o 14488
7.64/2.90	o 14487
7.64/2.90	o 14486
7.64/2.90	o 14485
7.64/2.90	o 14484
7.64/2.90	o 14483
7.64/2.90	o 14482
7.64/2.90	o 14481
7.64/2.90	o 14480
7.64/2.90	o 14479
7.64/2.90	o 14478
7.64/2.90	o 14477
7.64/2.90	o 14476
7.64/2.90	o 14475
7.64/2.90	o 14474
7.64/2.90	o 14473
7.64/2.90	o 14472
7.64/2.90	o 14471
7.64/2.90	o 14470
7.64/2.90	o 14469
7.64/2.90	o 14468
7.64/2.90	o 14467
8.38/2.90	o 14466
8.38/2.90	o 14465
8.38/2.90	o 14464
8.38/2.90	o 14463
8.38/2.90	o 14462
8.38/2.90	o 14461
8.38/2.90	o 14460
8.38/2.90	o 14459
8.38/2.90	o 14458
8.38/2.90	o 14457
8.38/2.90	o 14456
8.38/2.90	o 14455
8.38/2.90	o 14454
8.38/2.90	o 14453
8.38/2.90	o 14452
8.38/2.90	o 14451
8.38/2.90	o 14450
8.38/2.90	o 14449
8.38/2.90	o 14448
8.38/2.90	o 14447
8.38/2.90	o 14446
8.38/2.90	o 14445
8.38/2.90	o 14444
8.38/2.90	o 14443
8.38/2.90	o 14442
8.38/2.90	o 14441
8.38/2.90	o 14440
8.38/2.90	o 14439
8.38/2.90	o 14438
8.38/2.90	o 14437
8.38/2.91	o 14436
8.38/2.91	o 14435
8.38/2.91	o 14434
8.38/2.91	o 14433
8.38/2.91	o 14432
8.38/2.91	o 14431
8.38/2.91	o 14430
8.38/2.91	o 14429
8.38/2.91	o 14428
8.38/2.91	o 14427
8.38/2.91	o 14426
8.38/2.91	o 14425
8.38/2.91	o 14424
8.38/2.91	o 14423
8.38/2.91	o 14422
8.38/2.91	o 14421
8.38/2.91	o 14420
8.38/2.91	o 14419
8.38/2.91	o 14418
8.38/2.91	o 14417
8.38/2.91	o 14416
8.38/2.91	o 14415
8.38/2.91	o 14414
8.38/2.91	o 14413
8.38/2.91	o 14412
8.38/2.91	o 14411
8.38/2.91	o 14410
8.38/2.91	o 14409
8.38/2.91	o 14408
8.38/2.91	o 14407
8.38/2.91	o 14406
8.38/2.91	o 14405
8.38/2.91	o 14404
8.38/2.91	o 14403
8.38/2.91	o 14402
8.38/2.91	o 14401
8.38/2.91	o 14400
8.38/2.92	o 14399
8.38/2.92	o 14398
8.38/2.92	o 14397
8.38/2.92	o 14396
8.38/2.92	o 14395
8.38/2.92	o 14394
8.38/2.92	o 14393
8.38/2.92	o 14392
8.38/2.92	o 14391
8.38/2.92	o 14390
8.38/2.92	o 14389
8.38/2.92	o 14388
8.38/2.92	o 14387
8.38/2.92	o 14386
8.38/2.92	o 14385
8.38/2.92	o 14384
8.38/2.93	o 14383
8.38/2.93	o 14382
8.38/2.93	o 14381
8.38/2.93	o 14380
8.38/2.93	o 14379
8.38/2.93	o 14378
8.38/2.93	o 14377
8.38/2.93	o 14376
8.38/2.93	o 14375
8.38/2.93	o 14374
8.38/2.93	o 14373
8.38/2.93	o 14372
8.38/2.93	o 14371
8.38/2.93	o 14370
8.38/2.93	o 14369
8.38/2.93	o 14368
8.38/2.93	o 14367
8.38/2.93	o 14366
8.38/2.93	o 14365
8.38/2.93	o 14364
8.38/2.93	o 14363
8.38/2.93	o 14362
8.38/2.93	o 14361
8.38/2.93	o 14360
8.38/2.93	o 14359
8.38/2.93	o 14358
8.38/2.93	o 14357
8.38/2.93	o 14356
8.38/2.93	o 14355
8.38/2.93	o 14354
8.38/2.93	o 14353
8.38/2.93	o 14352
8.38/2.93	o 14351
8.38/2.93	o 14350
8.38/2.93	o 14349
8.38/2.95	o 14348
8.38/2.95	o 14347
8.38/2.95	o 14346
8.38/2.96	o 14345
8.38/2.96	o 14344
8.38/2.96	o 14343
8.38/2.96	o 14342
8.38/2.96	o 14341
8.38/2.96	o 14340
8.38/2.96	o 14339
8.38/2.96	o 14338
8.38/2.96	o 14337
8.38/2.96	o 14336
8.38/2.96	o 14335
8.38/2.96	o 14334
8.38/2.96	o 14333
8.38/2.97	o 14332
8.38/2.97	o 14331
8.38/2.97	o 14330
8.38/2.97	o 14329
8.38/2.97	o 14328
8.38/2.97	o 14327
8.38/2.97	o 14326
8.38/2.97	o 14325
8.38/2.97	o 14324
8.38/2.97	o 14323
8.38/2.97	o 14322
8.38/2.97	o 14321
8.38/2.97	o 14320
8.38/2.97	o 14319
8.38/2.97	o 14318
8.38/2.98	o 14317
8.38/2.98	o 14316
8.38/2.98	o 14315
8.38/2.98	o 14314
8.38/2.98	o 14313
8.38/2.98	o 14312
8.38/2.98	o 14311
8.38/2.98	o 14310
8.38/2.98	o 14309
8.38/2.98	o 14308
8.38/2.98	o 14307
8.38/2.98	o 14306
8.38/2.98	o 14305
8.38/2.98	o 14304
8.38/2.98	o 14303
8.38/2.98	o 14302
8.38/2.98	o 14301
8.38/2.98	o 14300
8.38/2.98	o 14299
8.38/2.98	o 14298
8.38/2.98	o 14297
8.38/2.98	o 14296
8.38/2.98	o 14295
8.38/2.99	o 14294
8.38/2.99	o 14293
8.38/2.99	o 14292
8.38/2.99	o 14291
8.38/2.99	o 14290
8.38/2.99	o 14289
8.38/2.99	o 14288
8.38/2.99	o 14287
8.38/2.99	o 14286
8.38/2.99	o 14285
8.38/2.99	o 14284
8.38/2.99	o 14283
8.38/2.99	o 14282
8.38/2.99	o 14281
8.38/2.99	o 14280
8.38/2.99	o 14279
8.38/2.99	o 14278
8.38/2.99	o 14277
8.38/2.99	o 14276
8.38/2.99	o 14275
8.38/2.99	o 14274
8.38/2.99	o 14273
8.38/2.99	o 14272
8.38/2.99	o 14271
8.38/2.99	o 14270
8.38/2.99	o 14269
8.38/2.99	o 14268
8.38/2.99	o 14267
8.38/2.99	o 14266
8.38/2.99	o 14265
8.38/3.00	o 14264
8.38/3.00	o 14263
8.38/3.00	o 14262
8.38/3.00	o 14261
8.38/3.00	o 14260
8.38/3.00	o 14259
8.38/3.00	o 14258
8.38/3.00	o 14257
8.38/3.00	o 14256
8.38/3.00	o 14255
8.38/3.00	o 14254
8.38/3.00	o 14253
8.38/3.00	o 14252
8.38/3.00	o 14251
8.38/3.00	o 14250
8.38/3.00	o 14249
8.38/3.00	o 14248
8.38/3.00	o 14247
8.38/3.00	o 14246
8.38/3.00	o 14245
8.38/3.00	o 14244
8.38/3.00	o 14243
8.38/3.00	o 14242
8.38/3.00	o 14241
8.38/3.01	o 14240
8.38/3.01	o 14239
8.38/3.01	o 14238
8.38/3.01	o 14237
8.38/3.01	o 14236
8.38/3.01	o 14235
8.38/3.01	o 14234
9.14/3.01	o 14233
9.14/3.01	o 14232
9.14/3.01	o 14231
9.14/3.01	o 14230
9.14/3.01	o 14229
9.14/3.02	o 14228
9.14/3.02	o 14227
9.14/3.02	o 14226
9.14/3.02	o 14225
9.14/3.02	o 14224
9.14/3.02	o 14223
9.14/3.02	o 14222
9.14/3.02	o 14221
9.14/3.02	o 14220
9.14/3.02	o 14219
9.14/3.02	o 14218
9.14/3.02	o 14217
9.14/3.02	o 14216
9.14/3.02	o 14215
9.14/3.02	o 14214
9.14/3.02	o 14213
9.14/3.02	o 14212
9.14/3.02	o 14211
9.14/3.02	o 14210
9.14/3.02	o 14209
9.14/3.02	o 14208
9.14/3.02	o 14207
9.14/3.02	o 14206
9.14/3.02	o 14205
9.14/3.02	o 14204
9.14/3.02	o 14203
9.14/3.02	o 14202
9.14/3.02	o 14201
9.14/3.02	o 14200
9.14/3.02	o 14199
9.14/3.03	o 14198
9.14/3.03	o 14197
9.14/3.03	o 14196
9.14/3.03	o 14195
9.14/3.03	o 14194
9.14/3.03	o 14193
9.14/3.03	o 14192
9.14/3.03	o 14191
9.14/3.03	o 14190
9.14/3.03	o 14189
9.14/3.03	o 14188
9.14/3.03	o 14187
9.14/3.03	o 14186
9.14/3.03	o 14185
9.14/3.03	o 14184
9.14/3.03	o 14183
9.14/3.04	o 14182
9.14/3.04	o 14181
9.14/3.04	o 14180
9.14/3.04	o 14179
9.14/3.04	o 14178
9.14/3.04	o 14177
9.14/3.04	o 14176
9.14/3.04	o 14175
9.14/3.04	o 14174
9.14/3.04	o 14173
9.14/3.04	o 14172
9.14/3.04	o 14171
9.14/3.04	o 14170
9.14/3.04	o 14169
9.14/3.04	o 14168
9.14/3.04	o 14167
9.14/3.04	o 14166
9.14/3.04	o 14165
9.14/3.04	o 14164
9.14/3.04	o 14163
9.14/3.04	o 14162
9.14/3.04	o 14161
9.14/3.04	o 14160
9.14/3.04	o 14159
9.14/3.04	o 14158
9.14/3.04	o 14157
9.14/3.04	o 14156
9.14/3.04	o 14155
9.14/3.04	o 14154
9.14/3.04	o 14153
9.14/3.04	o 14152
9.14/3.04	o 14151
9.14/3.04	o 14150
9.14/3.04	o 14149
9.14/3.04	o 14148
9.14/3.04	o 14147
9.14/3.04	o 14146
9.14/3.04	o 14145
9.14/3.04	o 14144
9.14/3.04	o 14143
9.14/3.04	o 14142
9.14/3.05	o 14141
9.14/3.05	o 14140
9.14/3.05	o 14139
9.14/3.05	o 14138
9.14/3.05	o 14137
9.14/3.05	o 14136
9.14/3.05	o 14135
9.14/3.05	o 14134
9.14/3.05	o 14133
9.14/3.05	o 14132
9.14/3.05	o 14131
9.14/3.05	o 14130
9.14/3.05	o 14129
9.14/3.05	o 14128
9.14/3.05	o 14127
9.14/3.05	o 14126
9.14/3.05	o 14125
9.14/3.05	o 14124
9.14/3.05	o 14123
9.14/3.05	o 14122
9.14/3.05	o 14121
9.14/3.05	o 14120
9.14/3.05	o 14119
9.14/3.05	o 14118
9.14/3.05	o 14117
9.14/3.05	o 14116
9.14/3.05	o 14115
9.14/3.05	o 14114
9.14/3.05	o 14113
9.14/3.05	o 14112
9.14/3.05	o 14111
9.14/3.05	o 14110
9.14/3.05	o 14109
9.14/3.05	o 14108
9.14/3.05	o 14107
9.14/3.06	o 14106
9.14/3.06	o 14105
9.14/3.06	o 14104
9.14/3.06	o 14103
9.14/3.07	o 14102
9.14/3.07	o 14101
9.14/3.07	o 14100
9.14/3.07	o 14099
9.14/3.07	o 14098
9.14/3.07	o 14097
9.14/3.07	o 14096
9.14/3.07	o 14095
9.14/3.07	o 14094
9.14/3.07	o 14093
9.14/3.07	o 14092
9.14/3.07	o 14091
9.14/3.07	o 14090
9.14/3.07	o 14089
9.14/3.07	o 14088
9.14/3.07	o 14087
9.14/3.07	o 14086
9.14/3.07	o 14085
9.14/3.07	o 14084
9.14/3.07	o 14083
9.14/3.07	o 14082
9.14/3.07	o 14081
9.14/3.07	o 14080
9.14/3.07	o 14079
9.14/3.07	o 14078
9.14/3.07	o 14077
9.14/3.07	o 14076
9.14/3.07	o 14075
9.14/3.07	o 14074
9.14/3.07	o 14073
9.14/3.07	o 14072
9.14/3.07	o 14071
9.14/3.08	o 14070
9.14/3.08	o 14069
9.14/3.08	o 14068
9.14/3.08	o 14067
9.14/3.08	o 14066
9.14/3.08	o 14065
9.14/3.08	o 14064
9.14/3.08	o 14063
9.14/3.08	o 14062
9.14/3.08	o 14061
9.14/3.08	o 14060
9.14/3.08	o 14059
9.14/3.08	o 14058
9.14/3.08	o 14057
9.14/3.08	o 14056
9.14/3.08	o 14055
9.14/3.08	o 14054
9.14/3.08	o 14053
9.14/3.09	o 14052
9.14/3.09	o 14051
9.14/3.09	o 14050
9.14/3.09	o 14049
9.14/3.09	o 14048
9.14/3.09	o 14047
9.14/3.09	o 14046
9.14/3.09	o 14045
9.14/3.09	o 14044
9.14/3.09	o 14043
9.14/3.09	o 14042
9.14/3.09	o 14041
9.14/3.09	o 14040
9.14/3.09	o 14039
9.14/3.09	o 14038
9.14/3.09	o 14037
9.14/3.10	o 14036
9.14/3.10	o 14035
9.14/3.10	o 14034
9.14/3.10	o 14033
9.14/3.10	o 14032
9.14/3.10	o 14031
9.14/3.11	o 14030
9.14/3.11	o 14029
9.14/3.11	o 14028
9.14/3.11	o 14027
9.14/3.11	o 14026
9.14/3.11	o 14025
9.14/3.11	o 14024
9.14/3.11	o 14023
9.14/3.11	o 14022
9.14/3.11	o 14021
9.14/3.11	o 14020
9.14/3.11	o 14019
9.14/3.11	o 14018
9.14/3.11	o 14017
9.14/3.11	o 14016
9.14/3.11	o 14015
9.14/3.11	o 14014
9.14/3.11	o 14013
9.85/3.11	o 14012
9.85/3.11	o 14011
9.85/3.12	o 14010
9.85/3.12	o 14009
9.85/3.12	o 14008
9.85/3.12	o 14007
9.85/3.12	o 14006
9.85/3.12	o 14005
9.85/3.12	o 14004
9.85/3.12	o 14003
9.85/3.12	o 14002
9.85/3.12	o 14001
9.85/3.12	o 14000
9.85/3.12	o 13999
9.85/3.12	o 13998
9.85/3.12	o 13997
9.85/3.12	o 13996
9.85/3.12	o 13995
9.85/3.12	o 13994
9.85/3.12	o 13993
9.85/3.13	o 13992
9.85/3.13	o 13991
9.85/3.13	o 13990
9.85/3.13	o 13989
9.85/3.13	o 13988
9.85/3.13	o 13987
9.85/3.13	o 13986
9.85/3.13	o 13985
9.85/3.13	o 13984
9.85/3.13	o 13983
9.85/3.13	o 13982
9.85/3.13	o 13981
9.85/3.13	o 13980
9.85/3.13	o 13979
9.85/3.13	o 13978
9.85/3.13	o 13977
9.85/3.13	o 13976
9.85/3.13	o 13975
9.85/3.13	o 13974
9.85/3.13	o 13973
9.85/3.13	o 13972
9.85/3.13	o 13971
9.85/3.13	o 13970
9.85/3.13	o 13969
9.85/3.13	o 13968
9.85/3.13	o 13967
9.85/3.13	o 13966
9.85/3.13	o 13965
9.85/3.13	o 13964
9.85/3.13	o 13963
9.85/3.13	o 13962
9.85/3.13	o 13961
9.85/3.13	o 13960
9.85/3.13	o 13959
9.85/3.13	o 13958
9.85/3.13	o 13957
9.85/3.13	o 13956
9.85/3.13	o 13955
9.85/3.13	o 13954
9.85/3.13	o 13953
9.85/3.13	o 13952
9.85/3.13	o 13951
9.85/3.13	o 13950
9.85/3.13	o 13949
9.85/3.13	o 13948
9.85/3.13	o 13947
9.85/3.13	o 13946
9.85/3.13	o 13945
9.85/3.13	o 13944
9.85/3.13	o 13943
9.85/3.13	o 13942
9.85/3.13	o 13941
9.85/3.13	o 13940
9.85/3.13	o 13939
9.85/3.13	o 13938
9.85/3.13	o 13937
9.85/3.13	o 13936
9.85/3.13	o 13935
9.85/3.13	o 13934
9.85/3.13	o 13933
9.85/3.13	o 13932
9.85/3.13	o 13931
9.85/3.13	o 13930
9.85/3.14	o 13929
9.85/3.14	o 13928
9.85/3.14	o 13927
9.85/3.14	o 13926
9.85/3.14	o 13925
9.85/3.14	o 13924
9.85/3.14	o 13923
9.85/3.14	o 13922
9.85/3.14	o 13921
9.85/3.14	o 13920
9.85/3.14	o 13919
9.85/3.14	o 13918
9.85/3.15	o 13917
9.85/3.15	o 13916
9.85/3.15	o 13915
9.85/3.15	o 13914
9.85/3.15	o 13913
9.85/3.15	o 13912
9.85/3.15	o 13911
9.85/3.15	o 13910
9.85/3.15	o 13909
9.85/3.15	o 13908
9.85/3.15	o 13907
9.85/3.15	o 13906
9.85/3.15	o 13905
9.85/3.15	o 13904
9.85/3.15	o 13903
9.85/3.15	o 13902
9.85/3.15	o 13901
9.85/3.15	o 13900
9.85/3.15	o 13899
9.85/3.15	o 13898
9.85/3.15	o 13897
9.85/3.15	o 13896
9.85/3.15	o 13895
9.85/3.15	o 13894
9.85/3.15	o 13893
9.85/3.15	o 13892
9.85/3.15	o 13891
9.85/3.15	o 13890
9.85/3.15	o 13889
9.85/3.15	o 13888
9.85/3.15	o 13887
9.85/3.15	o 13886
9.85/3.15	o 13885
9.85/3.15	o 13884
9.85/3.15	o 13883
9.85/3.15	o 13882
9.85/3.15	o 13881
9.85/3.15	o 13880
9.85/3.15	o 13879
9.85/3.15	o 13878
9.85/3.15	o 13877
9.85/3.15	o 13876
9.85/3.15	o 13875
9.85/3.15	o 13874
9.85/3.15	o 13873
9.85/3.15	o 13872
9.85/3.15	o 13871
9.85/3.15	o 13870
9.85/3.15	o 13869
9.85/3.15	o 13868
9.85/3.15	o 13867
9.85/3.15	o 13866
9.85/3.15	o 13865
9.85/3.15	o 13864
9.85/3.15	o 13863
9.85/3.16	o 13862
9.85/3.16	o 13861
9.85/3.16	o 13860
9.85/3.16	o 13859
9.85/3.16	o 13858
9.85/3.16	o 13857
9.85/3.16	o 13856
9.85/3.16	o 13855
9.85/3.16	o 13854
9.85/3.16	o 13853
9.85/3.16	o 13852
9.85/3.16	o 13851
9.85/3.16	o 13850
9.85/3.16	o 13849
9.85/3.16	o 13848
9.85/3.16	o 13847
9.85/3.16	o 13846
9.85/3.16	o 13845
9.85/3.16	o 13844
9.85/3.16	o 13843
9.85/3.16	o 13842
9.85/3.16	o 13841
9.85/3.16	o 13840
9.85/3.16	o 13839
9.85/3.16	o 13838
9.85/3.16	o 13837
9.85/3.16	o 13836
9.85/3.16	o 13835
9.85/3.16	o 13834
9.85/3.16	o 13833
9.85/3.16	o 13832
9.85/3.16	o 13831
9.85/3.16	o 13830
9.85/3.16	o 13829
9.85/3.16	o 13828
9.85/3.16	o 13827
9.85/3.16	o 13826
9.85/3.16	o 13825
9.85/3.16	o 13824
9.85/3.16	o 13823
9.85/3.16	o 13822
9.85/3.17	o 13821
9.85/3.17	o 13820
9.85/3.17	o 13819
9.85/3.17	o 13818
9.85/3.17	o 13817
9.85/3.17	o 13816
9.85/3.17	o 13815
9.85/3.17	o 13814
9.85/3.17	o 13813
9.85/3.17	o 13812
9.85/3.17	o 13811
9.85/3.17	o 13810
9.85/3.17	o 13809
9.85/3.17	o 13808
9.85/3.17	o 13807
9.85/3.17	o 13806
9.85/3.17	o 13805
9.85/3.17	o 13804
9.85/3.17	o 13803
9.85/3.17	o 13802
9.85/3.17	o 13801
9.85/3.17	o 13800
9.85/3.17	o 13799
9.85/3.17	o 13798
9.85/3.17	o 13797
9.85/3.17	o 13796
9.85/3.17	o 13795
9.85/3.18	o 13794
9.85/3.18	o 13793
9.85/3.18	o 13792
9.85/3.18	o 13791
9.85/3.18	o 13790
9.85/3.18	o 13789
9.85/3.18	o 13788
9.85/3.18	o 13787
9.85/3.18	o 13786
9.85/3.18	o 13785
9.85/3.18	o 13784
9.85/3.18	o 13783
9.85/3.18	o 13782
9.85/3.18	o 13781
9.85/3.18	o 13780
9.85/3.18	o 13779
9.85/3.19	o 13778
9.85/3.19	o 13777
9.85/3.19	o 13776
9.85/3.19	o 13775
9.85/3.19	o 13774
9.85/3.19	o 13773
9.85/3.19	o 13772
9.85/3.19	o 13771
9.85/3.19	o 13770
9.85/3.19	o 13769
9.85/3.19	o 13768
9.85/3.19	o 13767
9.85/3.19	o 13766
9.85/3.19	o 13765
9.85/3.19	o 13764
9.85/3.19	o 13763
9.85/3.19	o 13762
9.85/3.19	o 13761
9.85/3.19	o 13760
9.85/3.19	o 13759
9.85/3.19	o 13758
9.85/3.19	o 13757
9.85/3.20	o 13756
9.85/3.20	o 13755
9.85/3.20	o 13754
9.85/3.20	o 13753
9.85/3.20	o 13752
9.85/3.20	o 13751
9.85/3.20	o 13750
9.85/3.20	o 13749
9.85/3.20	o 13748
9.85/3.20	o 13747
9.85/3.20	o 13746
9.85/3.20	o 13745
9.85/3.20	o 13744
9.85/3.20	o 13743
9.85/3.20	o 13742
9.85/3.20	o 13741
9.85/3.20	o 13740
9.85/3.20	o 13739
10.39/3.20	o 13738
10.39/3.20	o 13737
10.39/3.20	o 13736
10.39/3.20	o 13735
10.39/3.20	o 13734
10.39/3.21	o 13733
10.39/3.21	o 13732
10.39/3.21	o 13731
10.39/3.21	o 13730
10.39/3.21	o 13729
10.39/3.21	o 13728
10.39/3.21	o 13727
10.39/3.21	o 13726
10.39/3.21	o 13725
10.39/3.21	o 13724
10.39/3.21	o 13723
10.39/3.21	o 13722
10.39/3.21	o 13721
10.39/3.21	o 13720
10.39/3.21	o 13719
10.39/3.21	o 13718
10.39/3.21	o 13717
10.39/3.21	o 13716
10.39/3.21	o 13715
10.39/3.21	o 13714
10.39/3.21	o 13713
10.39/3.21	o 13712
10.39/3.21	o 13711
10.39/3.21	o 13710
10.39/3.21	o 13709
10.39/3.21	o 13708
10.39/3.21	o 13707
10.39/3.22	o 13706
10.39/3.22	o 13705
10.39/3.22	o 13704
10.39/3.22	o 13703
10.39/3.22	o 13702
10.39/3.22	o 13701
10.39/3.22	o 13700
10.39/3.22	o 13699
10.39/3.22	o 13698
10.39/3.22	o 13697
10.39/3.22	o 13696
10.39/3.22	o 13695
10.39/3.22	o 13694
10.39/3.22	o 13693
10.39/3.22	o 13692
10.39/3.22	o 13691
10.39/3.22	o 13690
10.39/3.22	o 13689
10.39/3.22	o 13688
10.39/3.22	o 13687
10.39/3.22	o 13686
10.39/3.22	o 13685
10.39/3.22	o 13684
10.39/3.22	o 13683
10.39/3.22	o 13682
10.39/3.23	o 13681
10.39/3.23	o 13680
10.39/3.23	o 13679
10.39/3.23	o 13678
10.39/3.23	o 13677
10.39/3.23	o 13676
10.39/3.23	o 13675
10.39/3.23	o 13674
10.39/3.23	o 13673
10.39/3.23	o 13672
10.39/3.23	o 13671
10.39/3.23	o 13670
10.39/3.23	o 13669
10.39/3.23	o 13668
10.39/3.23	o 13667
10.39/3.23	o 13666
10.39/3.23	o 13665
10.39/3.23	o 13664
10.39/3.23	o 13663
10.39/3.23	o 13662
10.39/3.23	o 13661
10.39/3.23	o 13660
10.39/3.23	o 13659
10.39/3.23	o 13658
10.39/3.23	o 13657
10.39/3.23	o 13656
10.39/3.23	o 13655
10.39/3.23	o 13654
10.39/3.23	o 13653
10.39/3.23	o 13652
10.39/3.23	o 13651
10.39/3.23	o 13650
10.39/3.24	o 13649
10.39/3.24	o 13648
10.39/3.24	o 13647
10.39/3.24	o 13646
10.39/3.24	o 13645
10.39/3.24	o 13644
10.39/3.24	o 13643
10.39/3.24	o 13642
10.39/3.24	o 13641
10.39/3.24	o 13640
10.39/3.24	o 13639
10.39/3.24	o 13638
10.39/3.24	o 13637
10.39/3.24	o 13636
10.39/3.24	o 13635
10.39/3.24	o 13634
10.39/3.24	o 13633
10.39/3.24	o 13632
10.39/3.24	o 13631
10.39/3.24	o 13630
10.39/3.24	o 13629
10.39/3.24	o 13628
10.39/3.24	o 13627
10.39/3.24	o 13626
10.39/3.24	o 13625
10.39/3.24	o 13624
10.39/3.24	o 13623
10.39/3.24	o 13622
10.39/3.24	o 13621
10.39/3.24	o 13620
10.39/3.24	o 13619
10.39/3.24	o 13618
10.39/3.24	o 13617
10.39/3.25	o 13616
10.39/3.25	o 13615
10.39/3.25	o 13614
10.39/3.25	o 13613
10.39/3.25	o 13612
10.39/3.25	o 13611
10.39/3.25	o 13610
10.39/3.25	o 13609
10.39/3.25	o 13608
10.39/3.25	o 13607
10.39/3.25	o 13606
10.39/3.25	o 13605
10.39/3.25	o 13604
10.39/3.25	o 13603
10.39/3.25	o 13602
10.39/3.25	o 13601
10.39/3.25	o 13600
10.39/3.25	o 13599
10.39/3.25	o 13598
10.39/3.25	o 13597
10.39/3.26	o 13596
10.39/3.26	o 13595
10.39/3.26	o 13594
10.39/3.26	o 13593
10.39/3.26	o 13592
10.39/3.27	o 13591
10.39/3.27	o 13590
10.39/3.27	o 13589
10.39/3.27	o 13588
10.39/3.27	o 13587
10.39/3.27	o 13586
10.39/3.27	o 13585
10.39/3.27	o 13584
10.39/3.27	o 13583
10.39/3.27	o 13582
10.39/3.27	o 13581
10.39/3.27	o 13580
10.39/3.27	o 13579
10.39/3.27	o 13578
10.39/3.27	o 13577
10.39/3.27	o 13576
10.39/3.27	o 13575
10.39/3.28	o 13574
10.39/3.28	o 13573
10.39/3.28	o 13572
10.39/3.28	o 13571
10.39/3.28	o 13570
10.39/3.28	o 13569
10.39/3.28	o 13568
10.39/3.28	o 13567
10.39/3.28	o 13566
10.39/3.28	o 13565
10.39/3.28	o 13564
10.39/3.28	o 13563
10.39/3.29	o 13562
10.39/3.29	o 13561
10.39/3.29	o 13560
10.39/3.29	o 13559
10.39/3.29	o 13558
10.39/3.29	o 13557
10.39/3.29	o 13556
10.39/3.29	o 13555
10.39/3.29	o 13554
10.39/3.29	o 13553
10.39/3.29	o 13552
10.39/3.29	o 13551
10.39/3.30	o 13550
10.39/3.30	o 13549
10.39/3.30	o 13548
10.39/3.30	o 13547
10.39/3.30	o 13546
10.39/3.30	o 13545
10.39/3.30	o 13544
11.12/3.32	o 13543
11.12/3.32	o 13542
11.12/3.32	o 13541
11.12/3.32	o 13540
11.12/3.32	o 13539
11.12/3.32	o 13538
11.12/3.32	o 13537
11.12/3.32	o 13536
11.12/3.32	o 13535
11.12/3.32	o 13534
11.12/3.32	o 13533
11.12/3.32	o 13532
11.12/3.32	o 13531
11.12/3.33	o 13530
11.12/3.33	o 13529
11.12/3.33	o 13528
11.12/3.33	o 13527
11.12/3.33	o 13526
11.12/3.33	o 13525
11.12/3.33	o 13524
11.12/3.33	o 13523
11.12/3.33	o 13522
11.12/3.33	o 13521
11.12/3.33	o 13520
11.12/3.33	o 13519
11.12/3.33	o 13518
11.12/3.33	o 13517
11.12/3.34	o 13516
11.12/3.34	o 13515
11.12/3.34	o 13514
11.12/3.34	o 13513
11.12/3.34	o 13512
11.12/3.34	o 13511
11.12/3.34	o 13510
11.12/3.34	o 13509
11.12/3.34	o 13508
11.12/3.34	o 13507
11.12/3.34	o 13506
11.12/3.34	o 13505
11.12/3.34	o 13504
11.12/3.34	o 13503
11.12/3.34	o 13502
11.12/3.34	o 13501
11.12/3.34	o 13500
11.12/3.34	o 13499
11.12/3.34	o 13498
11.12/3.34	o 13497
11.12/3.35	o 13496
11.12/3.35	o 13495
11.12/3.35	o 13494
11.12/3.35	o 13493
11.12/3.35	o 13492
11.12/3.35	o 13491
11.12/3.35	o 13490
11.12/3.35	o 13489
11.12/3.35	o 13488
11.12/3.35	o 13487
11.12/3.36	o 13486
11.12/3.36	o 13485
11.12/3.36	o 13484
11.12/3.36	o 13483
11.12/3.36	o 13482
11.12/3.36	o 13481
11.12/3.36	o 13480
11.12/3.36	o 13479
11.12/3.36	o 13478
11.12/3.36	o 13477
11.12/3.36	o 13476
11.12/3.36	o 13475
11.12/3.36	o 13474
11.12/3.37	o 13473
11.12/3.37	o 13472
11.12/3.37	o 13471
11.12/3.37	o 13470
11.12/3.37	o 13469
11.12/3.37	o 13468
11.12/3.37	o 13467
11.12/3.37	o 13466
11.12/3.37	o 13465
11.12/3.38	o 13464
11.12/3.38	o 13463
11.12/3.38	o 13462
11.12/3.38	o 13461
11.12/3.38	o 13460
11.12/3.38	o 13459
11.12/3.39	o 13458
11.12/3.39	o 13457
11.12/3.39	o 13456
11.12/3.39	o 13455
11.12/3.39	o 13454
11.12/3.39	o 13453
11.12/3.39	o 13452
11.12/3.39	o 13451
11.12/3.39	o 13450
11.12/3.40	o 13449
11.12/3.40	o 13448
11.12/3.40	o 13447
11.12/3.40	o 13446
11.12/3.40	o 13445
11.12/3.40	o 13444
11.12/3.40	o 13443
11.12/3.40	o 13442
11.12/3.40	o 13441
11.80/3.40	o 13440
11.80/3.40	o 13439
11.80/3.40	o 13438
11.80/3.40	o 13437
11.80/3.40	o 13436
11.80/3.41	o 13435
11.80/3.41	o 13434
11.80/3.41	o 13433
11.80/3.41	o 13432
11.80/3.41	o 13431
11.80/3.41	o 13430
11.80/3.41	o 13429
11.80/3.41	o 13428
11.80/3.41	o 13427
11.80/3.41	o 13426
11.80/3.41	o 13425
11.80/3.41	o 13424
11.80/3.41	o 13423
11.80/3.41	o 13422
11.80/3.41	o 13421
11.80/3.41	o 13420
11.80/3.41	o 13419
11.80/3.41	o 13418
11.80/3.42	o 13417
11.80/3.42	o 13416
11.80/3.42	o 13415
11.80/3.42	o 13414
11.80/3.42	o 13413
11.80/3.42	o 13412
11.80/3.42	o 13411
11.80/3.42	o 13410
11.80/3.42	o 13409
11.80/3.42	o 13408
11.80/3.42	o 13407
11.80/3.42	o 13406
11.80/3.42	o 13405
11.80/3.42	o 13404
11.80/3.42	o 13403
11.80/3.42	o 13402
11.80/3.43	o 13401
11.80/3.43	o 13400
11.80/3.43	o 13399
11.80/3.43	o 13398
11.80/3.43	o 13397
11.80/3.43	o 13396
11.80/3.44	o 13395
11.80/3.44	o 13394
11.80/3.44	o 13393
11.80/3.44	o 13392
11.80/3.44	o 13391
11.80/3.44	o 13390
11.80/3.44	o 13389
11.80/3.44	o 13388
11.80/3.44	o 13387
11.80/3.44	o 13386
11.80/3.44	o 13385
11.80/3.44	o 13384
11.80/3.44	o 13383
11.80/3.44	o 13382
11.80/3.45	o 13381
11.80/3.45	o 13380
11.80/3.45	o 13379
11.80/3.45	o 13378
11.80/3.45	o 13377
11.80/3.45	o 13376
11.80/3.45	o 13375
11.80/3.45	o 13374
11.80/3.45	o 13373
11.80/3.45	o 13372
11.80/3.46	o 13371
11.80/3.46	o 13370
11.80/3.46	o 13369
11.80/3.46	o 13368
11.80/3.46	o 13367
11.80/3.46	o 13366
11.80/3.46	o 13365
11.80/3.46	o 13364
11.80/3.47	o 13363
11.80/3.47	o 13362
11.80/3.47	o 13361
11.80/3.47	o 13360
11.80/3.47	o 13359
11.80/3.47	o 13358
11.80/3.48	o 13357
11.80/3.48	o 13356
11.80/3.48	o 13355
11.80/3.49	o 13354
11.80/3.49	o 13353
11.80/3.49	o 13352
11.80/3.49	o 13351
11.80/3.49	o 13350
11.80/3.49	o 13349
11.80/3.49	o 13348
11.80/3.49	o 13347
11.80/3.49	o 13346
11.80/3.49	o 13345
11.80/3.49	o 13344
11.80/3.49	o 13343
11.80/3.49	o 13342
12.61/3.51	o 13341
12.61/3.52	o 13340
12.61/3.52	o 13339
12.61/3.52	o 13338
12.61/3.52	o 13337
12.61/3.52	o 13336
12.61/3.52	o 13335
12.61/3.53	o 13334
12.61/3.53	o 13333
12.61/3.53	o 13332
12.61/3.53	o 13331
12.61/3.53	o 13330
12.61/3.53	o 13329
12.61/3.53	o 13328
12.61/3.54	o 13327
12.61/3.54	o 13326
12.61/3.54	o 13325
12.61/3.54	o 13324
12.61/3.54	o 13323
12.61/3.54	o 13322
12.61/3.54	o 13321
12.61/3.54	o 13320
12.61/3.54	o 13319
12.61/3.54	o 13318
12.61/3.54	o 13317
12.61/3.55	o 13316
12.61/3.55	o 13315
12.61/3.55	o 13314
12.61/3.55	o 13313
12.61/3.55	o 13312
12.61/3.55	o 13311
12.61/3.55	o 13310
12.61/3.55	o 13309
12.61/3.55	o 13308
12.61/3.56	o 13307
12.61/3.56	o 13306
12.61/3.56	o 13305
12.61/3.56	o 13304
12.61/3.56	o 13303
12.61/3.56	o 13302
12.61/3.56	o 13301
12.61/3.56	o 13300
12.61/3.57	o 13299
12.61/3.58	o 13298
12.61/3.58	o 13297
12.61/3.58	o 13296
12.61/3.58	o 13295
12.61/3.58	o 13294
12.61/3.58	o 13293
12.61/3.58	o 13292
12.61/3.58	o 13291
12.61/3.58	o 13290
12.61/3.58	o 13289
12.61/3.58	o 13288
12.61/3.58	o 13287
12.61/3.58	o 13286
12.61/3.58	o 13285
12.61/3.58	o 13284
12.61/3.59	o 13283
12.61/3.59	o 13282
12.61/3.59	o 13281
12.61/3.59	o 13280
12.61/3.59	o 13279
12.61/3.59	o 13278
12.61/3.59	o 13277
12.61/3.59	o 13276
12.61/3.60	o 13275
12.61/3.60	o 13274
12.61/3.60	o 13273
13.33/3.60	o 13272
13.33/3.60	o 13271
13.33/3.60	o 13270
13.33/3.61	o 13269
13.33/3.61	o 13268
13.33/3.61	o 13267
13.33/3.61	o 13266
13.33/3.61	o 13265
13.33/3.61	o 13264
13.33/3.61	o 13263
13.33/3.62	o 13262
13.33/3.62	o 13261
13.33/3.62	o 13260
13.33/3.62	o 13259
13.33/3.62	o 13258
13.33/3.62	o 13257
13.33/3.62	o 13256
13.33/3.62	o 13255
13.33/3.62	o 13254
13.33/3.62	o 13253
13.33/3.62	o 13252
13.33/3.62	o 13251
13.33/3.62	o 13250
13.33/3.62	o 13249
13.33/3.62	o 13248
13.33/3.64	o 13247
13.33/3.64	o 13246
13.33/3.64	o 13245
13.33/3.64	o 13244
13.33/3.64	o 13243
13.33/3.64	o 13242
13.33/3.64	o 13241
13.33/3.64	o 13240
13.33/3.64	o 13239
13.33/3.64	o 13238
13.33/3.64	o 13237
13.33/3.64	o 13236
13.33/3.64	o 13235
13.33/3.64	o 13234
13.33/3.64	o 13233
13.33/3.64	o 13232
13.33/3.64	o 13231
13.33/3.64	o 13230
13.33/3.67	o 13229
13.33/3.67	o 13228
13.33/3.67	o 13227
13.33/3.67	o 13226
13.33/3.67	o 13225
13.33/3.67	o 13224
13.33/3.67	o 13223
13.33/3.67	o 13222
13.33/3.68	o 13221
13.33/3.68	o 13220
13.33/3.68	o 13219
13.33/3.68	o 13218
13.33/3.69	o 13217
13.33/3.69	o 13216
13.33/3.69	o 13215
13.33/3.69	o 13214
13.33/3.69	o 13213
13.33/3.69	o 13212
13.33/3.69	o 13211
13.33/3.69	o 13210
13.33/3.70	o 13209
13.33/3.70	o 13208
13.33/3.70	o 13207
13.33/3.70	o 13206
13.33/3.70	o 13205
13.33/3.70	o 13204
13.33/3.70	o 13203
14.15/3.71	o 13202
14.15/3.71	o 13201
14.15/3.71	o 13200
14.15/3.71	o 13199
14.15/3.71	o 13198
14.15/3.71	o 13197
14.15/3.71	o 13196
14.15/3.71	o 13195
14.15/3.71	o 13194
14.15/3.71	o 13193
14.15/3.71	o 13192
14.15/3.71	o 13191
14.15/3.71	o 13190
14.15/3.72	o 13189
14.15/3.72	o 13188
14.15/3.72	o 13187
14.15/3.72	o 13186
14.15/3.72	o 13185
14.15/3.72	o 13184
14.15/3.72	o 13183
14.15/3.72	o 13182
14.15/3.73	o 13181
14.15/3.73	o 13180
14.15/3.73	o 13179
14.15/3.73	o 13178
14.15/3.73	o 13177
14.15/3.73	o 13176
14.15/3.73	o 13175
14.15/3.74	o 13174
14.15/3.74	o 13173
14.15/3.74	o 13172
14.15/3.74	o 13171
14.15/3.74	o 13170
14.15/3.74	o 13169
14.15/3.74	o 13168
14.15/3.74	o 13167
14.15/3.75	o 13166
14.15/3.75	o 13165
14.15/3.75	o 13164
14.15/3.75	o 13163
14.15/3.75	o 13162
14.15/3.76	o 13161
14.15/3.76	o 13160
14.15/3.76	o 13159
14.15/3.76	o 13158
14.15/3.76	o 13157
14.15/3.76	o 13156
14.15/3.76	o 13155
14.15/3.77	o 13154
14.15/3.77	o 13153
14.15/3.77	o 13152
14.15/3.77	o 13151
14.15/3.77	o 13150
14.15/3.77	o 13149
14.15/3.77	o 13148
14.15/3.77	o 13147
14.15/3.77	o 13146
14.15/3.77	o 13145
14.15/3.77	o 13144
14.15/3.77	o 13143
14.15/3.78	o 13142
14.15/3.78	o 13141
14.15/3.78	o 13140
14.15/3.78	o 13139
14.15/3.78	o 13138
14.15/3.79	o 13137
14.15/3.79	o 13136
14.15/3.79	o 13135
14.15/3.79	o 13134
14.15/3.79	o 13133
14.15/3.79	o 13132
14.15/3.79	o 13131
14.15/3.79	o 13130
14.15/3.79	o 13129
14.15/3.79	o 13128
14.15/3.79	o 13127
14.15/3.79	o 13126
14.15/3.79	o 13125
14.15/3.79	o 13124
14.15/3.79	o 13123
14.15/3.79	o 13122
14.89/3.80	o 13121
14.89/3.80	o 13120
14.89/3.80	o 13119
14.89/3.80	o 13118
14.89/3.80	o 13117
14.89/3.80	o 13116
14.89/3.81	o 13115
14.89/3.81	o 13114
14.89/3.81	o 13113
14.89/3.81	o 13112
14.89/3.81	o 13111
14.89/3.82	o 13110
14.89/3.82	o 13109
14.89/3.82	o 13108
14.89/3.82	o 13107
14.89/3.82	o 13106
14.89/3.82	o 13105
14.89/3.82	o 13104
14.89/3.82	o 13103
14.89/3.83	o 13102
14.89/3.83	o 13101
14.89/3.83	o 13100
14.89/3.83	o 13099
14.89/3.83	o 13098
14.89/3.83	o 13097
14.89/3.83	o 13096
14.89/3.83	o 13095
14.89/3.84	o 13094
14.89/3.84	o 13093
14.89/3.84	o 13092
14.89/3.84	o 13091
14.89/3.84	o 13090
14.89/3.84	o 13089
14.89/3.84	o 13088
14.89/3.85	o 13087
14.89/3.85	o 13086
14.89/3.85	o 13085
14.89/3.85	o 13084
14.89/3.85	o 13083
14.89/3.85	o 13082
14.89/3.85	o 13081
14.89/3.85	o 13080
14.89/3.85	o 13079
14.89/3.85	o 13078
14.89/3.85	o 13077
14.89/3.85	o 13076
14.89/3.85	o 13075
14.89/3.86	o 13074
14.89/3.86	o 13073
14.89/3.86	o 13072
14.89/3.87	o 13071
14.89/3.87	o 13070
14.89/3.87	o 13069
14.89/3.87	o 13068
14.89/3.87	o 13067
14.89/3.87	o 13066
14.89/3.87	o 13065
14.89/3.88	o 13064
14.89/3.88	o 13063
14.89/3.88	o 13062
14.89/3.88	o 13061
14.89/3.88	o 13060
14.89/3.88	o 13059
14.89/3.88	o 13058
14.89/3.88	o 13057
14.89/3.88	o 13056
14.89/3.88	o 13055
14.89/3.88	o 13054
14.89/3.88	o 13053
14.89/3.91	o 13052
14.89/3.91	o 13051
14.89/3.91	o 13050
14.89/3.91	o 13049
14.89/3.91	o 13048
14.89/3.91	o 13047
14.89/3.91	o 13046
14.89/3.91	o 13045
14.89/3.91	o 13044
15.75/3.92	o 13043
15.75/3.92	o 13042
15.75/3.92	o 13041
15.75/3.92	o 13040
15.75/3.92	o 13039
15.75/3.92	o 13038
15.75/3.92	o 13037
15.75/3.92	o 13036
15.75/3.92	o 13035
15.75/3.92	o 13034
15.75/3.92	o 13033
15.75/3.92	o 13032
15.75/3.92	o 13031
15.75/3.92	o 13030
15.75/3.92	o 13029
15.75/3.92	o 13028
15.75/3.92	o 13027
15.75/3.93	o 13026
15.75/3.93	o 13025
15.75/3.93	o 13024
15.75/3.93	o 13023
15.75/3.93	o 13022
15.75/3.93	o 13021
15.75/3.94	o 13020
15.75/3.94	o 13019
15.75/3.94	o 13018
15.75/3.94	o 13017
15.75/3.94	o 13016
15.75/3.94	o 13015
15.75/3.94	o 13014
15.75/3.94	o 13013
15.75/3.94	o 13012
15.75/3.95	o 13011
15.75/3.95	o 13010
15.75/3.95	o 13009
15.75/3.96	o 13008
15.75/3.96	o 13007
15.75/3.96	o 13006
15.75/3.97	o 13005
15.75/3.97	o 13004
15.75/3.97	o 13003
15.75/3.97	o 13002
15.75/3.98	o 13001
15.75/3.98	o 13000
15.75/3.98	o 12999
15.75/4.00	o 12998
15.75/4.00	o 12997
15.75/4.01	o 12996
15.75/4.01	o 12995
15.75/4.01	o 12994
15.75/4.01	o 12993
15.75/4.01	o 12992
15.75/4.02	o 12991
15.75/4.02	o 12990
16.59/4.03	o 12989
16.59/4.03	o 12988
16.59/4.03	o 12987
16.59/4.04	o 12986
16.59/4.04	o 12985
16.59/4.04	o 12984
16.59/4.05	o 12983
16.59/4.05	o 12982
16.59/4.06	o 12981
16.59/4.06	o 12980
16.59/4.07	o 12979
16.59/4.07	o 12978
16.59/4.07	o 12977
16.59/4.08	o 12976
16.59/4.08	o 12975
16.59/4.08	o 12974
16.59/4.09	o 12973
16.59/4.09	o 12972
16.59/4.09	o 12971
16.59/4.10	o 12970
16.59/4.10	o 12969
16.59/4.10	o 12968
16.59/4.10	o 12967
16.59/4.11	o 12966
16.59/4.11	o 12965
17.43/4.14	o 12964
17.43/4.14	o 12963
17.43/4.14	o 12962
17.43/4.14	o 12961
17.43/4.14	o 12960
17.43/4.14	o 12959
17.43/4.14	o 12958
17.43/4.16	o 12957
17.43/4.16	o 12956
17.43/4.16	o 12955
17.43/4.16	o 12954
17.43/4.16	o 12953
17.43/4.16	o 12952
17.43/4.16	o 12951
17.43/4.18	o 12950
17.43/4.18	o 12949
17.43/4.18	o 12948
17.43/4.18	o 12947
17.43/4.19	o 12946
17.43/4.19	o 12945
17.43/4.19	o 12944
17.43/4.19	o 12943
17.43/4.20	o 12942
17.43/4.20	o 12941
17.43/4.20	o 12940
17.43/4.20	o 12939
18.02/4.20	o 12938
18.02/4.20	o 12937
18.02/4.21	o 12936
18.02/4.21	o 12935
18.02/4.21	o 12934
18.02/4.21	o 12933
18.02/4.22	o 12932
18.02/4.22	o 12931
18.02/4.22	o 12930
18.02/4.23	o 12929
18.02/4.23	o 12928
18.02/4.23	o 12927
18.02/4.23	o 12926
18.02/4.24	o 12925
18.02/4.24	o 12924
18.02/4.24	o 12923
18.02/4.24	o 12922
18.02/4.25	o 12921
18.02/4.25	o 12920
18.02/4.25	o 12919
18.02/4.25	o 12918
18.02/4.27	o 12917
18.02/4.27	o 12916
18.02/4.27	o 12915
18.02/4.27	o 12914
18.02/4.28	o 12913
18.02/4.28	o 12912
18.02/4.28	o 12911
18.02/4.28	o 12910
18.02/4.29	o 12909
18.02/4.29	o 12908
18.02/4.29	o 12907
18.02/4.29	o 12906
18.02/4.29	o 12905
18.02/4.29	o 12904
18.02/4.29	o 12903
18.82/4.30	o 12902
18.82/4.30	o 12901
18.82/4.30	o 12900
18.82/4.30	o 12899
18.82/4.32	o 12898
18.82/4.32	o 12897
18.82/4.32	o 12896
18.82/4.32	o 12895
18.82/4.33	o 12894
18.82/4.33	o 12893
18.82/4.33	o 12892
18.82/4.34	o 12891
18.82/4.34	o 12890
18.82/4.34	o 12889
18.82/4.35	o 12888
18.82/4.35	o 12887
18.82/4.35	o 12886
18.82/4.36	o 12885
18.82/4.36	o 12884
18.82/4.37	o 12883
18.82/4.37	o 12882
18.82/4.38	o 12881
18.82/4.38	o 12880
18.82/4.38	o 12879
18.82/4.39	o 12878
18.82/4.39	o 12877
18.82/4.39	o 12876
18.82/4.41	o 12875
18.82/4.41	o 12874
18.82/4.41	o 12873
19.68/4.41	o 12872
19.68/4.42	o 12871
19.68/4.43	o 12870
19.68/4.43	o 12869
19.68/4.44	o 12868
19.68/4.44	o 12867
19.68/4.44	o 12866
19.68/4.45	o 12865
19.68/4.45	o 12864
19.68/4.46	o 12863
19.68/4.46	o 12862
19.68/4.47	o 12861
19.68/4.47	o 12860
19.68/4.47	o 12859
19.68/4.47	o 12858
19.68/4.47	o 12857
19.68/4.48	o 12856
19.68/4.48	o 12855
19.68/4.49	o 12854
19.68/4.49	o 12853
19.68/4.50	o 12852
20.43/4.51	o 12851
20.43/4.51	o 12850
20.43/4.52	o 12849
20.43/4.52	o 12848
20.43/4.53	o 12847
20.43/4.53	o 12846
20.43/4.54	o 12845
20.43/4.54	o 12844
20.43/4.54	o 12843
20.43/4.55	o 12842
20.43/4.55	o 12841
20.43/4.56	o 12840
20.43/4.56	o 12839
20.43/4.57	o 12838
20.43/4.57	o 12837
20.43/4.58	o 12836
20.43/4.58	o 12835
20.43/4.58	o 12834
20.43/4.59	o 12833
20.43/4.59	o 12832
20.43/4.59	o 12831
20.43/4.60	o 12830
20.43/4.60	o 12829
21.23/4.61	o 12828
21.23/4.61	o 12827
21.23/4.61	o 12826
21.23/4.62	o 12825
21.23/4.62	o 12824
21.23/4.62	o 12823
21.23/4.63	o 12822
21.23/4.63	o 12821
21.23/4.63	o 12820
21.23/4.64	o 12819
21.23/4.65	o 12818
21.23/4.65	o 12817
21.23/4.65	o 12816
21.23/4.66	o 12815
21.23/4.66	o 12814
21.23/4.66	o 12813
21.23/4.67	o 12812
21.23/4.67	o 12811
21.23/4.68	o 12810
21.23/4.68	o 12809
21.23/4.68	o 12808
21.23/4.69	o 12807
21.23/4.69	o 12806
21.23/4.69	o 12805
22.01/4.70	o 12804
22.01/4.70	o 12803
22.01/4.70	o 12802
22.01/4.71	o 12801
22.01/4.71	o 12800
22.01/4.71	o 12799
22.01/4.73	o 12798
22.01/4.73	o 12797
22.01/4.73	o 12796
22.01/4.74	o 12795
22.01/4.74	o 12794
22.01/4.74	o 12793
22.01/4.75	o 12792
22.01/4.75	o 12791
22.01/4.75	o 12790
22.01/4.75	o 12789
22.01/4.75	o 12788
22.01/4.77	o 12787
22.01/4.77	o 12786
22.01/4.77	o 12785
22.01/4.78	o 12784
22.01/4.78	o 12783
22.01/4.79	o 12782
22.01/4.79	o 12781
22.01/4.79	o 12780
22.01/4.80	o 12779
22.01/4.80	o 12778
22.01/4.80	o 12777
22.79/4.81	o 12776
22.79/4.81	o 12775
22.79/4.81	o 12774
22.79/4.81	o 12773
22.79/4.83	o 12772
22.79/4.84	o 12771
22.79/4.84	o 12770
22.79/4.85	o 12769
22.79/4.85	o 12768
22.79/4.85	o 12767
22.79/4.86	o 12766
22.79/4.87	o 12765
22.79/4.88	o 12764
22.79/4.89	o 12763
23.56/4.92	o 12762
23.56/4.93	o 12761
23.56/4.95	o 12760
23.56/4.96	o 12759
23.56/4.97	o 12758
23.56/4.98	o 12757
23.56/4.99	o 12756
23.56/5.00	o 12755
23.56/5.01	o 12754
24.42/5.02	o 12753
24.42/5.03	o 12752
24.42/5.03	o 12751
24.42/5.05	o 12750
24.42/5.06	o 12749
24.42/5.07	o 12748
24.42/5.08	o 12747
24.42/5.09	o 12746
24.42/5.10	o 12745
24.42/5.11	o 12744
25.31/5.12	o 12743
25.31/5.13	o 12742
25.31/5.14	o 12741
25.31/5.16	o 12740
25.31/5.16	o 12739
25.31/5.18	o 12738
25.31/5.19	o 12737
25.31/5.19	o 12736
25.97/5.21	o 12735
25.97/5.21	o 12734
25.97/5.23	o 12733
25.97/5.24	o 12732
25.97/5.25	o 12731
25.97/5.26	o 12730
25.97/5.27	o 12729
25.97/5.28	o 12728
25.97/5.29	o 12727
26.74/5.30	o 12726
26.74/5.31	o 12725
26.74/5.33	o 12724
26.74/5.34	o 12723
26.74/5.35	o 12722
26.74/5.36	o 12721
26.74/5.37	o 12720
26.74/5.38	o 12719
26.74/5.39	o 12718
27.53/5.40	o 12717
27.53/5.41	o 12716
27.53/5.42	o 12715
27.53/5.44	o 12714
27.53/5.44	o 12713
27.53/5.48	o 12712
27.53/5.49	o 12711
28.30/5.51	o 12710
28.30/5.52	o 12709
28.30/5.53	o 12708
28.30/5.54	o 12707
28.30/5.55	o 12706
28.30/5.56	o 12705
28.30/5.56	o 12704
28.30/5.58	o 12703
28.30/5.59	o 12702
28.30/5.60	o 12701
29.12/5.61	o 12700
29.12/5.62	o 12699
29.12/5.63	o 12698
29.12/5.64	o 12697
29.12/5.66	o 12696
29.12/5.67	o 12695
29.12/5.68	o 12694
29.12/5.69	o 12693
29.12/5.70	o 12692
29.96/5.71	o 12691
29.96/5.72	o 12690
29.96/5.73	o 12689
29.96/5.74	o 12688
29.96/5.76	o 12687
29.96/5.78	o 12686
29.96/5.79	o 12685
29.96/5.80	o 12684
30.75/5.81	o 12683
30.75/5.81	o 12682
30.75/5.82	o 12681
30.75/5.84	o 12680
30.75/5.84	o 12679
30.75/5.86	o 12678
30.75/5.87	o 12677
30.75/5.88	o 12676
30.75/5.89	o 12675
31.49/5.90	o 12674
31.49/5.91	o 12673
31.49/5.92	o 12672
31.49/5.92	o 12671
31.49/5.94	o 12670
31.49/5.95	o 12669
31.49/5.96	o 12668
31.49/5.97	o 12667
31.49/5.98	o 12666
31.49/6.01	o 12665
31.49/6.01	o 12664
32.38/6.03	o 12663
32.38/6.04	o 12662
32.38/6.05	o 12661
32.38/6.06	o 12660
32.38/6.07	o 12659
32.38/6.08	o 12658
32.38/6.08	o 12657
32.38/6.09	o 12656
32.38/6.10	o 12655
33.11/6.12	o 12654
33.11/6.12	o 12653
33.11/6.13	o 12652
33.11/6.14	o 12651
33.11/6.15	o 12650
33.11/6.16	o 12649
33.11/6.18	o 12648
33.11/6.19	o 12647
33.84/6.20	o 12646
33.84/6.21	o 12645
33.84/6.22	o 12644
33.84/6.23	o 12643
33.84/6.23	o 12642
33.84/6.24	o 12641
33.84/6.26	o 12640
33.84/6.27	o 12639
33.84/6.28	o 12638
33.84/6.30	o 12637
34.64/6.30	o 12636
34.64/6.31	o 12635
34.64/6.33	o 12634
34.64/6.33	o 12633
34.64/6.34	o 12632
34.64/6.35	o 12631
34.64/6.36	o 12630
34.64/6.37	o 12629
34.64/6.38	o 12628
34.64/6.40	o 12627
35.46/6.41	o 12626
35.46/6.42	o 12625
35.46/6.43	o 12624
35.46/6.44	o 12623
35.46/6.44	o 12622
35.46/6.46	o 12621
35.46/6.47	o 12620
35.46/6.48	o 12619
35.46/6.49	o 12618
35.46/6.50	o 12617
35.46/6.50	o 12616
36.25/6.51	o 12615
36.25/6.52	o 12614
36.25/6.53	o 12613
36.25/6.54	o 12612
36.25/6.55	o 12611
36.25/6.56	o 12610
36.25/6.58	o 12609
36.25/6.59	o 12608
36.25/6.60	o 12607
37.06/6.61	o 12606
37.06/6.61	o 12605
37.06/6.62	o 12604
37.06/6.63	o 12603
37.06/6.64	o 12602
37.06/6.66	o 12601
37.06/6.67	o 12600
37.06/6.68	o 12599
37.06/6.69	o 12598
37.06/6.70	o 12597
37.06/6.70	o 12596
37.90/6.71	o 12595
37.90/6.72	o 12594
37.90/6.73	o 12593
37.90/6.74	o 12592
37.90/6.76	o 12591
37.90/6.77	o 12590
37.90/6.79	o 12589
37.90/6.79	o 12588
38.63/6.80	o 12587
38.63/6.81	o 12586
38.63/6.82	o 12585
38.63/6.83	o 12584
38.63/6.84	o 12583
38.63/6.85	o 12582
38.63/6.86	o 12581
38.63/6.87	o 12580
38.63/6.88	o 12579
38.63/6.89	o 12578
39.40/6.90	o 12577
39.40/6.91	o 12576
39.40/6.92	o 12575
39.40/6.93	o 12574
39.40/6.94	o 12573
39.40/6.95	o 12572
39.40/6.96	o 12571
39.40/6.97	o 12570
39.40/6.97	o 12569
39.40/6.98	o 12568
39.40/6.99	o 12567
39.40/7.00	o 12566
40.30/7.02	o 12565
40.30/7.02	o 12564
40.30/7.03	o 12563
40.30/7.04	o 12562
40.30/7.05	o 12561
40.30/7.06	o 12560
40.30/7.07	o 12559
40.30/7.07	o 12558
40.30/7.08	o 12557
40.30/7.10	o 12556
40.30/7.11	o 12555
41.12/7.12	o 12554
41.12/7.13	o 12553
41.12/7.14	o 12552
41.12/7.15	o 12551
41.12/7.16	o 12550
41.12/7.18	o 12549
41.12/7.18	o 12548
41.12/7.20	o 12547
41.12/7.20	o 12546
41.78/7.21	o 12545
41.78/7.22	o 12544
41.78/7.23	o 12543
41.78/7.24	o 12542
41.78/7.24	o 12541
41.78/7.25	o 12540
41.78/7.26	o 12539
41.78/7.26	o 12538
41.78/7.27	o 12537
41.78/7.28	o 12536
41.78/7.30	o 12535
41.78/7.30	o 12534
42.61/7.31	o 12533
42.61/7.32	o 12532
42.61/7.32	o 12531
42.61/7.33	o 12530
42.61/7.34	o 12529
42.61/7.35	o 12528
42.61/7.35	o 12527
42.61/7.37	o 12526
42.61/7.40	o 12525
43.46/7.43	o 12524
44.17/7.51	o 12523
44.17/7.53	o 12522
44.17/7.59	o 12521
45.00/7.62	o 12520
45.00/7.65	o 12519
45.00/7.68	o 12518
45.77/7.72	o 12517
45.77/7.75	o 12516
45.77/7.78	o 12515
46.56/7.84	o 12514
46.56/7.87	o 12513
47.36/7.91	o 12512
47.36/7.94	o 12511
47.36/7.97	o 12510
47.36/8.00	o 12509
48.22/8.03	o 12508
48.22/8.05	o 12507
48.22/8.08	o 12506
49.03/8.11	o 12505
49.03/8.14	o 12504
49.03/8.18	o 12503
49.03/8.20	o 12502
49.75/8.23	o 12501
49.75/8.26	o 12500
49.75/8.28	o 12499
50.54/8.31	o 12498
50.54/8.34	o 12497
50.54/8.37	o 12496
50.54/8.40	o 12495
51.34/8.43	o 12494
51.34/8.46	o 12493
51.34/8.49	o 12492
52.14/8.54	o 12491
52.14/8.56	o 12490
52.14/8.59	o 12489
52.97/8.62	o 12488
52.97/8.65	o 12487
52.97/8.67	o 12486
53.72/8.70	o 12485
53.72/8.73	o 12484
53.72/8.76	o 12483
53.72/8.78	o 12482
54.54/8.81	o 12481
54.54/8.84	o 12480
54.54/8.87	o 12479
54.54/8.90	o 12478
55.34/8.92	o 12477
55.34/8.95	o 12476
55.34/8.98	o 12475
56.18/9.01	o 12474
56.18/9.03	o 12473
56.18/9.06	o 12472
56.18/9.09	o 12471
56.99/9.12	o 12470
56.99/9.14	o 12469
56.99/9.17	o 12468
56.99/9.20	o 12467
57.71/9.23	o 12466
57.71/9.26	o 12465
57.71/9.28	o 12464
58.50/9.31	o 12463
58.50/9.34	o 12462
58.50/9.36	o 12461
58.50/9.39	o 12460
59.30/9.42	o 12459
59.30/9.45	o 12458
59.30/9.47	o 12457
60.10/9.53	o 12456
60.10/9.55	o 12455
60.10/9.58	o 12454
60.86/9.60	o 12453
60.86/9.63	o 12452
60.86/9.66	o 12451
60.86/9.69	o 12450
61.66/9.71	o 12449
61.66/9.74	o 12448
61.66/9.77	o 12447
61.66/9.80	o 12446
62.53/9.82	o 12445
62.53/9.85	o 12444
62.53/9.88	o 12443
63.25/9.90	o 12442
63.25/9.93	o 12441
63.25/9.96	o 12440
63.25/9.99	o 12439
64.12/10.01	o 12438
64.12/10.04	o 12437
64.12/10.07	o 12436
64.12/10.10	o 12435
64.92/10.12	o 12434
64.92/10.15	o 12433
64.92/10.18	o 12432
65.63/10.20	o 12431
65.63/10.23	o 12430
65.63/10.26	o 12429
65.63/10.29	o 12428
66.50/10.31	o 12427
66.50/10.34	o 12426
66.50/10.37	o 12425
66.50/10.40	o 12424
67.32/10.42	o 12423
67.32/10.45	o 12422
67.32/10.48	o 12421
68.04/10.50	o 12420
68.04/10.53	o 12419
68.04/10.56	o 12418
68.04/10.59	o 12417
68.86/10.62	o 12416
68.86/10.64	o 12415
68.86/10.67	o 12414
69.63/10.70	o 12413
69.63/10.72	o 12412
69.63/10.79	o 12411
70.51/10.81	o 12410
70.51/10.82	o 12409
70.51/10.85	o 12408
70.51/10.89	o 12407
70.51/10.90	o 12406
71.26/10.91	o 12405
71.26/10.95	o 12404
71.26/10.96	o 12403
71.26/10.97	o 12402
71.26/10.99	o 12401
72.09/11.02	o 12400
72.09/11.06	o 12399
72.09/11.10	o 12398
72.89/11.13	o 12397
72.89/11.17	o 12396
72.89/11.20	o 12395
73.59/11.23	o 12394
73.59/11.28	o 12393
74.44/11.31	o 12392
74.44/11.34	o 12391
74.44/11.38	o 12390
75.20/11.42	o 12389
75.20/11.46	o 12388
75.20/11.49	o 12387
76.05/11.53	o 12386
76.05/11.56	o 12385
76.78/11.60	o 12384
76.78/11.64	o 12383
76.78/11.66	o 12382
77.58/11.70	o 12381
77.58/11.74	o 12380
77.58/11.77	o 12379
78.42/11.84	o 12378
78.42/11.86	o 12377
79.17/11.92	o 12376
79.17/11.94	o 12375
79.17/11.98	o 12374
80.03/12.04	o 12373
80.03/12.08	o 12372
80.83/12.11	o 12371
80.83/12.15	o 12370
80.83/12.20	o 12369
81.55/12.25	o 12368
81.55/12.28	o 12367
82.32/12.32	o 12366
82.32/12.36	o 12365
82.32/12.40	o 12364
83.14/12.44	o 12363
83.14/12.48	o 12362
83.92/12.52	o 12361
83.92/12.56	o 12360
83.92/12.59	o 12359
84.76/12.63	o 12358
84.76/12.67	o 12357
85.51/12.71	o 12356
85.51/12.74	o 12355
85.51/12.76	o 12354
85.51/12.80	o 12353
86.38/12.83	o 12352
86.38/12.86	o 12351
86.38/12.89	o 12350
87.11/12.93	o 12349
87.11/12.96	o 12348
87.11/13.01	o 12347
87.97/13.04	o 12346
87.97/13.07	o 12345
87.97/13.10	o 12344
88.78/13.13	o 12343
88.78/13.15	o 12342
88.78/13.18	o 12341
89.49/13.21	o 12340
89.49/13.25	o 12339
89.49/13.28	o 12338
90.29/13.31	o 12337
90.29/13.34	o 12336
90.29/13.37	o 12335
90.29/13.39	o 12334
91.16/13.42	o 12333
91.16/13.45	o 12332
91.16/13.48	o 12331
91.96/13.51	o 12330
91.96/13.54	o 12329
91.96/13.57	o 12328
92.68/13.60	o 12327
92.68/13.63	o 12326
92.68/13.67	o 12325
92.68/13.70	o 12324
93.55/13.73	o 12323
93.55/13.77	o 12322
93.55/13.79	o 12321
94.29/13.82	o 12320
94.29/13.85	o 12319
95.08/13.91	o 12318
95.08/13.93	o 12317
95.08/13.96	o 12316
95.08/13.99	o 12315
95.96/14.02	o 12314
95.96/14.05	o 12313
95.96/14.08	o 12312
96.71/14.11	o 12311
96.71/14.14	o 12310
96.71/14.17	o 12309
97.43/14.20	o 12308
97.43/14.23	o 12307
97.43/14.26	o 12306
97.43/14.29	o 12305
98.25/14.32	o 12304
98.25/14.35	o 12303
98.25/14.38	o 12302
99.02/14.41	o 12301
99.02/14.44	o 12300
99.02/14.47	o 12299
99.02/14.50	o 12298
99.82/14.53	o 12297
99.82/14.56	o 12296
99.82/14.59	o 12295
100.62/14.61	o 12294
100.62/14.64	o 12293
100.62/14.67	o 12292
101.42/14.70	o 12291
101.42/14.73	o 12290
101.42/14.77	o 12289
102.21/14.81	o 12288
102.21/14.85	o 12287
102.21/14.87	o 12286
102.21/14.89	o 12285
103.08/14.93	o 12284
103.08/14.96	o 12283
103.08/14.98	o 12282
103.08/15.00	o 12281
103.08/15.01	o 12280
103.87/15.02	o 12279
103.87/15.06	o 12278
103.87/15.11	o 12277
104.75/15.14	o 12276
104.75/15.18	o 12275
105.39/15.22	o 12274
105.39/15.27	o 12273
106.19/15.32	o 12272
106.19/15.38	o 12271
106.99/15.40	o 12270
106.99/15.45	o 12269
106.99/15.49	o 12268
107.83/15.55	o 12267
107.83/15.59	o 12266
108.58/15.62	o 12265
108.58/15.65	o 12264
108.58/15.69	o 12263
109.39/15.72	o 12262
109.39/15.75	o 12261
109.39/15.78	o 12260
110.17/15.83	o 12259
110.17/15.88	o 12258
110.96/15.92	o 12257
110.96/15.94	o 12256
110.96/15.98	o 12255
111.83/16.01	o 12254
111.83/16.05	o 12253
111.83/16.08	o 12252
112.63/16.12	o 12251
112.63/16.15	o 12250
112.63/16.18	o 12249
113.38/16.22	o 12248
113.38/16.25	o 12247
113.38/16.28	o 12246
114.14/16.32	o 12245
114.14/16.35	o 12244
114.14/16.39	o 12243
115.01/16.42	o 12242
115.01/16.46	o 12241
115.01/16.49	o 12240
115.74/16.53	o 12239
115.74/16.56	o 12238
115.74/16.59	o 12237
116.62/16.63	o 12236
116.62/16.66	o 12235
116.62/16.70	o 12234
117.34/16.73	o 12233
117.34/16.77	o 12232
118.14/16.80	o 12231
118.14/16.84	o 12230
118.14/16.87	o 12229
118.94/16.90	o 12228
118.94/16.94	o 12227
118.94/16.97	o 12226
118.94/17.00	o 12225
119.80/17.04	o 12224
119.80/17.07	o 12223
119.80/17.11	o 12222
120.69/17.14	o 12221
120.69/17.17	o 12220
121.32/17.21	o 12219
121.32/17.24	o 12218
121.32/17.28	o 12217
122.14/17.31	o 12216
122.14/17.35	o 12215
122.14/17.38	o 12214
122.91/17.42	o 12213
122.91/17.45	o 12212
122.91/17.49	o 12211
123.72/17.54	o 12210
123.72/17.58	o 12209
124.49/17.61	o 12208
124.49/17.65	o 12207
124.49/17.68	o 12206
125.29/17.72	o 12205
125.29/17.75	o 12204
125.29/17.78	o 12203
126.13/17.82	o 12202
126.13/17.85	o 12201
126.13/17.89	o 12200
126.89/17.92	o 12199
126.89/17.96	o 12198
126.89/17.99	o 12197
127.75/18.03	o 12196
127.75/18.07	o 12195
127.75/18.10	o 12194
128.61/18.14	o 12193
128.61/18.17	o 12192
129.27/18.21	o 12191
129.27/18.24	o 12190
129.27/18.27	o 12189
130.07/18.31	o 12188
130.07/18.34	o 12187
130.07/18.38	o 12186
130.87/18.41	o 12185
130.87/18.44	o 12184
130.87/18.48	o 12183
131.67/18.51	o 12182
131.67/18.55	o 12181
131.67/18.58	o 12180
132.50/18.62	o 12179
132.50/18.65	o 12178
132.50/18.68	o 12177
133.27/18.72	o 12176
133.27/18.75	o 12175
133.27/18.78	o 12174
134.07/18.82	o 12173
134.07/18.85	o 12172
134.07/18.89	o 12171
134.87/18.92	o 12170
134.87/18.95	o 12169
134.87/18.99	o 12168
135.75/19.03	o 12167
135.75/19.08	o 12166
135.75/19.10	o 12165
136.58/19.13	o 12164
136.58/19.15	o 12163
136.58/19.18	o 12162
137.25/19.26	o 12161
138.05/19.32	o 12160
138.05/19.34	o 12159
138.85/19.50	o 12158
140.43/19.66	o 12157
141.23/19.78	o 12156
142.82/19.92	o 12155
143.69/20.05	o 12154
144.49/20.15	o 12153
146.01/20.33	o 12152
146.81/20.49	o 12151
148.40/20.64	o 12150
150.00/20.82	o 12149
152.47/21.16	o 12148
153.19/21.28	o 12147
154.78/21.45	o 12146
156.42/21.67	o 12145
157.90/21.84	o 12144
159.50/22.02	o 12143
160.30/22.18	o 12142
161.82/22.35	o 12141
162.61/22.44	o 12140
163.41/22.56	o 12139
164.21/22.66	o 12138
165.81/22.84	o 12137
166.61/22.96	o 12136
167.47/23.08	o 12135
168.99/23.21	o 12134
169.79/23.32	o 12133
170.59/23.43	o 12132
171.39/23.54	o 12131
172.18/23.69	o 12130
173.78/23.85	o 12129
174.58/23.98	o 12128
176.24/24.14	o 12127
176.95/24.28	o 12126
178.54/24.41	o 12125
179.35/24.53	o 12124
180.15/24.65	o 12123
180.95/24.74	o 12122
181.74/24.85	o 12121
182.54/24.97	o 12120
183.41/25.09	o 12119
184.21/25.17	o 12118
184.93/25.25	o 12117
185.73/25.32	o 12116
186.52/25.40	o 12115
186.52/25.47	o 12114
187.32/25.55	o 12113
188.13/25.61	o 12112
188.13/25.68	o 12111
188.92/25.75	o 12110
189.72/25.83	o 12109
189.72/25.89	o 12108
190.55/25.96	o 12107
191.38/26.05	o 12106
192.18/26.12	o 12105
192.90/26.21	o 12104
192.90/26.28	o 12103
193.69/26.35	o 12102
194.49/26.43	o 12101
195.29/26.51	o 12100
195.29/26.59	o 12099
196.13/26.66	o 12098
196.88/26.79	o 12097
197.71/26.87	o 12096
198.47/26.94	o 12095
199.33/27.05	o 12094
200.13/27.12	o 12093
200.13/27.19	o 12092
201.65/27.34	o 12091
202.45/27.42	o 12090
202.45/27.49	o 12089
203.29/27.57	o 12088
204.04/27.65	o 12087
204.84/27.72	o 12086
204.84/27.80	o 12085
205.72/27.86	o 12084
206.44/27.93	o 12083
207.31/28.02	o 12082
207.31/28.08	o 12081
208.11/28.15	o 12080
208.83/28.22	o 12079
208.83/28.30	o 12078
209.70/28.37	o 12077
210.42/28.45	o 12076
211.22/28.52	o 12075
211.22/28.59	o 12074
212.02/28.66	o 12073
212.81/28.74	o 12072
213.61/28.81	o 12071
213.61/28.89	o 12070
214.48/28.96	o 12069
215.27/29.05	o 12068
216.08/29.13	o 12067
216.80/29.21	o 12066
216.80/29.28	o 12065
217.60/29.36	o 12064
218.39/29.43	o 12063
218.39/29.50	o 12062
219.27/29.58	o 12061
219.99/29.66	o 12060
220.79/29.76	o 12059
221.58/29.84	o 12058
222.38/29.91	o 12057
222.38/29.99	o 12056
223.24/30.06	o 12055
224.04/30.13	o 12054
224.76/30.21	o 12053
225.56/30.37	o 12052
226.36/30.44	o 12051
227.15/30.52	o 12050
227.95/30.62	o 12049
228.75/30.70	o 12048
228.75/30.78	o 12047
230.38/30.95	o 12046
231.21/31.03	o 12045
232.01/31.13	o 12044
232.73/31.23	o 12043
232.73/31.28	o 12042
238.39/31.95	o 12041
240.71/32.24	o 12040
243.10/32.55	o 12039
245.53/32.88	o 12038
247.89/33.18	o 12037
250.20/33.43	o 12036
251.79/33.65	o 12035
254.19/33.90	o 12034
255.86/34.15	o 12033
258.17/34.48	o 12032
260.57/34.76	o 12031
263.03/35.01	o 12030
265.35/35.30	o 12029
266.95/35.51	o 12028
268.54/35.77	o 12027
271.00/36.03	o 12026
272.52/36.27	o 12025
274.11/36.49	o 12024
276.50/36.71	o 12023
278.11/36.92	o 12022
279.77/37.13	o 12021
281.28/37.36	o 12020
282.88/37.59	o 12019
285.27/37.82	o 12018
286.94/38.07	o 12017
289.26/38.31	o 12016
290.06/38.45	o 12015
293.25/38.84	o 12014
297.22/39.31	o 12013
298.82/39.59	o 12012
300.42/39.77	o 12011
303.68/40.15	o 12010
305.20/40.32	o 12009
306.79/40.53	o 12008
308.39/40.74	o 12007
309.99/40.94	o 12006
311.65/41.12	o 12005
313.17/41.33	o 12004
314.77/41.54	o 12003
316.36/41.76	o 12002
317.96/41.95	o 12001
319.62/42.15	o 12000
321.14/42.35	o 11999
322.72/42.55	o 11998
324.33/42.74	o 11997
325.92/42.92	o 11996
327.59/43.13	o 11995
329.10/43.33	o 11994
330.71/43.53	o 11993
332.30/43.72	o 11992
333.89/43.92	o 11991
334.76/44.10	o 11990
336.28/44.28	o 11989
337.88/44.46	o 11988
339.48/44.64	o 11987
341.08/44.85	o 11986
342.73/45.07	o 11985
344.26/45.26	o 11984
345.85/45.41	o 11983
347.45/45.66	o 11982
350.70/46.09	o 11981
352.19/46.30	o 11980
355.39/46.69	o 11979
356.98/46.85	o 11978
359.45/47.18	o 11977
360.97/47.37	o 11976
364.16/47.74	o 11975
366.62/48.07	o 11974
368.94/48.33	o 11973
371.33/48.66	o 11972
372.93/48.90	o 11971
375.39/49.12	o 11970
376.91/49.34	o 11969
378.51/49.54	o 11968
380.15/49.78	o 11967
383.35/50.17	o 11966
384.87/50.39	o 11965
386.46/50.57	o 11964
388.86/50.85	o 11963
389.66/51.01	o 11962
391.33/51.19	o 11961
392.85/51.34	o 11960
396.03/51.72	o 11959
396.83/51.87	o 11958
398.50/52.06	o 11957
400.02/52.22	o 11956
400.81/52.40	o 11955
407.99/53.22	o 11954
411.18/53.62	o 11953
414.44/54.05	o 11952
417.55/54.48	o 11951
420.74/54.88	o 11950
423.93/55.22	o 11949
425.57/55.45	o 11948
427.93/55.79	o 11947
430.42/56.08	o 11946
431.92/56.28	o 11945
434.35/56.58	o 11944
436.70/56.85	o 11943
439.21/57.15	o 11942
440.69/57.36	o 11941
443.09/57.68	o 11940
445.44/57.91	o 11939
447.12/58.16	o 11938
449.43/58.46	o 11937
450.23/58.59	o 11936
452.62/58.85	o 11935
455.09/59.17	o 11934
457.40/59.42	o 11933
459.80/59.73	o 11932
462.25/60.02	o 11931
463.77/60.29	o 11930
466.17/60.54	o 11929
467.77/60.76	o 11928
471.75/61.29	o 11927
474.15/61.58	o 11926
475.73/61.75	o 11925
478.98/62.15	o 11924
480.49/62.31	o 11923
483.69/62.71	o 11922
485.28/62.96	o 11921
487.66/63.22	o 11920
489.27/63.42	o 11919
491.69/63.74	o 11918
498.83/64.61	o 11917
501.23/64.95	o 11916
507.59/65.77	o 11915
511.56/66.20	o 11914
516.35/66.83	o 11913
518.81/67.19	o 11912
521.93/67.53	o 11911
525.13/67.93	o 11910
526.79/68.15	o 11909
530.70/68.60	o 11908
532.30/68.81	o 11907
533.96/69.07	o 11906
535.48/69.26	o 11905
537.08/69.44	o 11904
539.47/69.70	o 11903
541.07/69.90	o 11902
542.73/70.12	o 11901
544.25/70.34	o 11900
546.64/70.63	o 11899
548.24/70.81	o 11898
549.04/71.00	o 11897
550.70/71.15	o 11896
551.42/71.29	o 11895
553.02/71.45	o 11894
554.62/71.61	o 11893
555.42/71.77	o 11892
557.00/71.98	o 11891
558.67/72.14	o 11890
559.38/72.29	o 11889
560.99/72.47	o 11888
562.58/72.64	o 11887
564.17/72.82	o 11886
566.64/73.17	o 11885
568.16/73.38	o 11884
569.75/73.53	o 11883
572.95/73.93	o 11882
574.62/74.14	o 11881
576.13/74.37	o 11880
578.53/74.63	o 11879
580.12/74.87	o 11878
582.59/75.11	o 11877
584.11/75.37	o 11876
585.69/75.59	o 11875
588.88/75.96	o 11874
590.56/76.20	o 11873
592.92/76.41	o 11872
593.66/76.57	o 11871
595.25/76.76	o 11870
596.85/76.91	o 11869
597.71/77.06	o 11868
599.23/77.21	o 11867
600.04/77.38	o 11866
601.63/77.55	o 11865
603.23/77.75	o 11864
604.83/77.93	o 11863
605.69/78.09	o 11862
607.24/78.24	o 11861
608.81/78.45	o 11860
610.40/78.61	o 11859
612.00/78.81	o 11858
615.19/79.21	o 11857
616.78/79.49	o 11856
619.18/79.72	o 11855
620.77/79.97	o 11854
623.13/80.25	o 11853
624.73/80.46	o 11852
626.33/80.70	o 11851
628.72/80.93	o 11850
631.11/81.25	o 11849
632.71/81.45	o 11848
634.30/81.68	o 11847
635.90/81.89	o 11846
637.56/82.10	o 11845
639.88/82.32	o 11844
641.48/82.53	o 11843
643.07/82.74	o 11842
645.53/83.04	o 11841
647.05/83.27	o 11840
648.65/83.49	o 11839
651.04/83.74	o 11838
652.64/83.94	o 11837
654.30/84.15	o 11836
655.83/84.36	o 11835
657.43/84.58	o 11834
659.85/84.90	o 11833
662.25/85.13	o 11832
663.77/85.34	o 11831
665.37/85.58	o 11830
666.96/85.79	o 11829
668.56/86.00	o 11828
670.95/86.20	o 11827
672.55/86.46	o 11826
674.94/86.71	o 11825
676.54/86.93	o 11824
680.52/87.42	o 11823
682.12/87.67	o 11822
683.72/87.87	o 11821
686.18/88.11	o 11820
687.70/88.33	o 11819
690.14/88.68	o 11818
696.40/89.45	o 11817
703.56/90.36	o 11816
708.36/90.95	o 11815
713.93/91.63	o 11814
718.08/92.19	o 11813
720.31/92.44	o 11812
723.49/92.86	o 11811
726.68/93.25	o 11810
731.46/93.88	o 11809
735.45/94.38	o 11808
736.25/94.48	o 11807
749.88/96.16	o 11806
752.99/96.60	o 11805
757.03/97.06	o 11804
762.61/97.76	o 11803
767.33/98.34	o 11802
772.12/98.91	o 11801
779.29/99.86	o 11800
786.45/100.77	o 11799
811.17/103.86	o 11798
830.29/106.24	o 11797
839.06/107.39	o 11796
862.97/110.33	o 11795
873.39/111.66	o 11794
884.57/113.04	o 11793
890.07/113.78	o 11792
898.84/114.83	o 11791
904.42/115.55	o 11790
914.78/116.85	o 11789
925.21/118.12	o 11788
931.52/118.99	o 11787
942.67/120.33	o 11786
954.61/121.89	o 11785
960.99/122.65	o 11784
967.37/123.46	o 11783
974.53/124.35	o 11782
981.71/125.30	o 11781
988.16/126.11	o 11780
994.44/126.88	o 11779
1000.82/127.64	o 11778
1008.80/128.61	o 11777
1014.36/129.38	o 11776
1020.82/130.19	o 11775
1027.13/130.94	o 11774
1032.77/131.65	o 11773
1039.07/132.43	o 11772
1045.44/133.28	o 11771
1051.89/134.04	o 11770
1057.43/134.80	o 11769
1063.77/135.58	o 11768
1070.14/136.40	o 11767
1076.60/137.14	o 11766
1082.89/137.93	o 11765
1089.27/138.78	o 11764
1095.64/139.60	o 11763
1102.01/140.34	o 11762
1107.65/141.08	o 11761
1114.76/141.91	o 11760
1123.61/143.05	o 11759
1130.64/144.00	o 11758
1137.81/144.88	o 11757
1143.39/145.53	o 11756
1149.76/146.30	o 11755
1155.41/147.09	o 11754
1161.73/147.89	o 11753
1168.89/148.73	o 11752
1174.46/149.47	o 11751
1180.11/150.17	o 11750
1185.61/150.85	o 11749
1191.19/151.56	o 11748
1196.75/152.30	o 11747
1203.21/153.05	o 11746
1209.50/153.89	o 11745
1215.87/154.69	o 11744
1222.25/155.45	o 11743
1228.63/156.27	o 11742
1236.58/157.30	o 11741
1243.02/158.04	o 11740
1250.12/158.91	o 11739
1256.47/159.72	o 11738
1262.87/160.58	o 11737
1270.01/161.42	o 11736
1275.60/162.18	o 11735
1281.90/163.00	o 11734
1289.87/163.91	o 11733
1295.44/164.70	o 11732
1301.01/165.38	o 11731
1307.46/166.17	o 11730
1313.76/166.96	o 11729
1320.14/167.72	o 11728
1328.90/168.83	o 11727
1339.33/170.14	o 11726
1346.52/171.06	o 11725
1354.44/172.11	o 11724
1363.19/173.14	o 11723
1372.62/174.37	o 11722
1382.17/175.50	o 11721
1392.51/176.89	o 11720
1398.94/177.68	o 11719
1405.25/178.46	o 11718
1412.40/179.34	o 11717
1418.79/180.15	o 11716
1428.16/181.39	o 11715
1439.30/182.72	o 11714
1449.72/184.09	o 11713
1459.18/185.28	o 11712
1469.47/186.58	o 11711
1476.58/187.50	o 11710
1490.15/189.18	o 11709
1501.14/190.55	o 11708
1509.89/191.68	o 11707
1527.36/193.80	o 11706
1536.13/194.91	o 11705
1555.02/197.30	o 11704
1565.27/198.63	o 11703
1576.45/200.05	o 11702
1593.10/202.20	o 11701
1601.06/203.12	o 11700
1606.54/203.85	o 11699
1613.70/204.78	o 11698
1620.83/205.65	o 11697
1627.20/206.48	o 11696
1635.15/207.46	o 11695
1641.49/208.25	o 11694
1653.50/209.78	o 11693
1665.35/211.21	o 11692
1671.79/212.11	o 11691
1681.27/213.29	o 11690
1693.18/214.72	o 11689
1702.71/216.00	o 11688
1717.82/217.88	o 11687
1736.17/220.18	o 11686
1738.49/220.49	o 11685
1759.06/223.04	o 11684
1771.72/224.66	o 11683
1772.51/224.73	o 11682
1816.16/230.21	o 11681
1841.60/233.41	o 11680
1889.16/239.41	o 11679
1915.36/242.71	o 11678
1942.43/246.18	o 11677
1968.52/249.45	o 11676
2001.82/253.66	o 11675
2022.43/256.30	o 11674
2043.77/258.94	o 11673
2074.79/262.89	o 11672
2111.32/267.43	o 11671
2127.90/269.52	o 11670
2163.68/274.04	o 11669
2181.05/276.22	o 11668
2211.29/280.08	o 11667
2231.01/282.57	o 11666
2242.14/283.91	o 11665
2265.14/286.84	o 11664
2275.54/288.14	o 11663
2289.76/289.99	o 11662
2309.61/292.43	o 11661
2324.68/294.32	o 11660
2335.75/295.79	o 11659
2346.93/297.14	o 11658
2371.47/300.23	o 11657
2388.07/302.32	o 11656
2398.38/303.69	o 11655
2418.32/306.17	o 11654
2438.15/308.65	o 11653
2454.79/310.75	o 11652
2470.71/312.80	o 11651
2494.52/315.78	o 11650
2511.20/317.83	o 11649
2549.25/322.69	o 11648
2573.05/325.67	o 11647
2587.40/327.50	o 11646
2601.65/329.28	o 11645
2616.80/331.17	o 11644
2634.20/333.31	o 11643
2647.76/335.02	o 11642
2660.38/336.62	o 11641
2673.06/338.28	o 11640
2709.43/342.88	o 11639
2752.10/348.30	o 11638
2786.12/352.57	o 11637
2809.18/355.43	o 11636
2831.35/358.21	o 11635
2851.20/360.78	o 11634
2881.41/364.54	o 11633
2913.93/368.60	o 11632
2944.85/372.54	o 11631
2964.79/375.03	o 11630
2991.66/378.48	o 11629
3036.94/384.12	o 11628
3071.00/388.48	o 11627
3112.29/393.62	o 11626
3148.05/398.18	o 11625
3187.74/403.19	o 11624
3227.47/408.14	o 11623
3253.60/411.43	o 11622
3288.38/415.89	o 11621
3323.29/420.28	o 11620
3357.86/424.60	o 11619
3376.07/426.98	o 11618
3400.74/430.02	o 11617
3418.95/432.30	o 11616
3434.81/434.39	o 11615
3453.04/436.70	o 11614
3472.19/439.05	o 11613
3493.54/441.80	o 11612
3511.85/444.05	o 11611
3529.17/446.28	o 11610
3548.20/448.64	o 11609
3566.40/450.98	o 11608
3585.46/453.34	o 11607
3601.24/455.37	o 11606
3625.05/458.31	o 11605
3642.55/460.58	o 11604
3659.24/462.70	o 11603
3678.33/465.01	o 11602
3698.06/467.53	o 11601
3728.17/471.37	o 11600
3748.84/473.96	o 11599
3791.69/479.32	o 11598
3814.03/482.16	o 11597
3837.83/485.16	o 11596
3889.27/491.61	o 11595
3937.65/497.73	o 11594
3952.75/499.68	o 11593
3978.15/502.85	o 11592
4008.19/506.62	o 11591
4026.30/508.97	o 11590
4057.15/512.82	o 11589
4099.79/518.28	o 11588
4115.67/520.27	o 11587
4131.56/522.29	o 11586
4153.83/525.09	o 11585
4173.61/527.56	o 11584
4189.49/529.50	o 11583
4201.45/531.11	o 11582
4218.14/533.16	o 11581
4231.55/534.85	o 11580
4249.10/537.11	o 11579
4264.88/539.03	o 11578
4277.46/540.63	o 11577
4290.13/542.21	o 11576
4300.47/543.58	o 11575
4312.47/545.03	o 11574
4321.93/546.27	o 11573
4336.28/548.05	o 11572
4346.44/549.36	o 11571
4359.12/550.98	o 11570
4370.23/552.39	o 11569
4381.35/553.74	o 11568
4394.03/555.33	o 11567
4416.99/558.29	o 11566
4470.14/564.96	o 11565
4485.94/566.94	o 11564
4497.85/568.49	o 11563
4541.51/573.94	o 11562
4552.59/575.34	o 11561
4562.92/576.68	o 11560
4574.92/578.19	o 11559
4622.41/584.14	o 11558
4671.34/590.35	o 11557
4762.44/601.82	o 11556
4800.26/606.62	o 11555
4893.86/618.41	o 11554
4934.28/623.53	o 11553
4981.80/629.56	o 11552
5025.52/635.02	o 11551
5108.73/645.52	o 11550
5172.11/653.59	o 11549
5204.69/657.67	o 11548
5340.46/674.77	o 11547
5371.40/678.66	o 11546
5411.63/683.78	o 11545
5449.83/688.51	o 11544
5548.54/700.96	o 11543
5621.97/710.19	o 11542
5680.74/717.60	o 11541
5740.41/725.08	o 11540
5773.05/729.18	o 11539
5821.60/735.26	o 11538
5873.39/741.73	o 11537
5917.20/747.26	o 11536
5957.86/752.35	o 11535
6005.66/758.40	o 11534
6049.47/763.83	o 11533
6116.40/772.21	o 11532
6140.30/775.28	o 11531
6178.60/780.08	o 11530
6198.46/782.54	o 11529
6223.96/785.80	o 11528
6247.86/788.78	o 11527
6271.77/791.79	o 11526
6294.09/794.57	o 11525
6317.19/797.46	o 11524
6345.07/801.00	o 11523
6363.40/803.24	o 11522
6393.76/807.02	o 11521
6417.66/810.03	o 11520
6438.31/812.61	o 11519
6466.99/816.28	o 11518
6493.29/819.51	o 11517
6509.22/821.57	o 11516
6540.27/825.47	o 11515
6561.05/828.10	o 11514
6584.94/831.06	o 11513
6615.95/834.93	o 11512
6639.85/837.99	o 11511
6665.39/841.16	o 11510
6690.82/844.36	o 11509
6718.65/847.83	o 11508
6736.32/850.06	o 11507
6769.61/854.25	o 11506
6809.42/859.28	o 11505
6842.77/863.41	o 11504
6881.71/868.32	o 11503
6962.16/878.49	o 11502
6993.19/882.36	o 11501
7090.31/894.58	o 11500
7138.05/900.57	o 11499
7216.11/910.38	o 11498
7243.98/913.87	o 11497
7290.98/919.73	o 11496
7335.57/925.38	o 11495
7361.08/928.51	o 11494
7454.21/940.26	o 11493
7513.94/947.70	o 11492
7550.56/952.30	o 11491
7607.10/959.41	o 11490
7671.66/967.55	o 11489
7713.10/972.76	o 11488
7740.97/976.23	o 11487
7777.62/980.89	o 11486
7821.38/986.38	o 11485
7850.08/989.98	o 11484
7896.28/995.73	o 11483
7935.32/1000.66	o 11482
7975.93/1005.76	o 11481
8007.80/1009.70	o 11480
8030.12/1012.58	o 11479
8053.21/1015.41	o 11478
8088.27/1019.86	o 11477
8103.41/1021.74	o 11476
8128.12/1024.86	o 11475
8187.11/1032.22	o 11474
8215.77/1035.89	o 11473
8253.19/1040.50	o 11472
8298.56/1046.26	o 11471
8410.87/1060.35	o 11470
8487.16/1069.97	o 11469
8538.95/1076.41	o 11468
8566.85/1080.00	o 11467
8637.80/1088.88	o 11466
8680.78/1094.23	o 11465
8723.81/1099.61	o 11464
8763.67/1104.67	o 11463
8841.72/1114.44	o 11462
8913.41/1123.45	o 11461
8965.21/1129.98	o 11460
9028.88/1137.96	o 11459
9075.87/1143.84	o 11458
9138.80/1151.78	o 11457
9180.22/1156.91	o 11456
9221.69/1162.17	o 11455
9277.42/1169.16	o 11454
9313.98/1173.73	o 11453
9364.19/1180.03	o 11452
9396.05/1184.09	o 11451
9448.56/1190.67	o 11450
9503.49/1197.58	o 11449
9532.99/1201.27	o 11448
9555.35/1204.04	o 11447
9576.80/1206.74	o 11446
9604.68/1210.27	o 11445
9626.20/1212.94	o 11444
9649.31/1215.81	o 11443
9752.87/1228.81	o 11442
9827.60/1238.26	o 11441
9929.38/1251.09	o 11440
10084.73/1270.60	o 11439
10192.25/1284.06	o 11438
10353.90/1304.37	o 11437
10583.30/1333.12	o 11436
10643.70/1340.77	o 11435
10669.20/1343.95	o 11434
10893.83/1372.14	o 11433
11033.89/1389.77	o 11432
11180.58/1408.18	o 11431
11292.68/1422.24	o 11430
11358.00/1430.48	o 11429
11448.62/1441.81	o 11428
11527.42/1451.78	o 11427
11607.06/1461.75	o 11426
11674.75/1470.27	o 11425
11790.26/1484.75	o 11424
11896.22/1498.06	o 11423
11967.02/1506.94	o 11422
12104.12/1524.13	o 11421
12216.37/1538.26	o 11420
12288.88/1547.32	o 11419
12388.44/1559.85	o 11418
12463.95/1569.35	o 11417
12555.50/1580.89	o 11416
12667.88/1595.00	o 11415
12792.04/1610.52	o 11414
12977.56/1633.84	o 11413
13200.51/1661.88	o 11412
13310.44/1675.63	o 11411
13471.80/1695.99	o 11410
13587.26/1710.49	o 11409
13692.45/1723.65	o 11408
13850.14/1743.49	o 11407
13932.96/1753.89	o 11406
14081.15/1772.46	o 11405
14164.78/1782.97	o 11404
14290.44/1798.76	o 11403
14402.60/1812.83	o 11402
14514.85/1826.92	o 11401
14627.07/1841.09	o 11400
14744.11/1855.77	o 11399
14811.11/1864.13	o 11398
14933.76/1879.51	o 11397
15066.84/1896.21	o 11396
15164.01/1908.44	o 11395
15316.02/1927.60	o 11394
15450.41/1944.47	o 11393
15564.23/1958.72	o 11392
15695.58/1975.28	o 11391
15815.12/1990.20	o 11390
15921.05/2003.57	o 11389
16020.71/2016.08	o 11388
16134.56/2030.32	o 11387
16261.28/2046.27	o 11386
16370.41/2059.95	o 11385
16457.96/2070.93	o 11384
16583.02/2086.68	o 11383
16687.34/2099.77	o 11382
16786.79/2112.22	o 11381
16980.35/2136.51	o 11380
17094.27/2150.88	o 11379
17195.41/2163.51	o 11378
17301.34/2176.86	o 11377
17419.18/2191.67	o 11376
17559.35/2209.23	o 11375
17613.55/2216.03	o 11374
17681.21/2224.58	o 11373
17755.29/2233.86	o 11372
17868.35/2248.09	o 11371
18028.43/2268.15	o 11370
18126.99/2280.52	o 11369
18238.48/2294.51	o 11368
18345.19/2308.00	o 11367
18493.34/2326.56	o 11366
18625.48/2343.18	o 11365
18774.25/2361.81	o 11364
18896.92/2377.30	o 11363
19019.63/2392.64	o 11362
19100.10/2402.71	o 11361
19272.75/2424.49	o 11360
19486.31/2451.24	o 11359
19629.70/2469.24	o 11358
19753.87/2484.86	o 11357
19865.36/2498.82	o 11356
20034.28/2520.09	s SATISFIABLE
20034.28/2520.10	v <instantiation>
20034.28/2520.10	v 	<list>
20034.28/2520.10	v 		c[0] c[1] c[2] c[3] c[4] c[5] c[6] c[7] c[8] c[9] c[10] c[11] c[12] c[13] c[14] c[15] c[16] c[17] c[18] c[19] c[20] c[21] c[22] c[23] c[24] c[25] c[26] c[27] c[28] c[29] c[30] c[31] c[32] c[33] c[34] c[35] c[36] c[37] c[38] c[39] c[40] c[41] c[42] c[43] c[44] c[45] c[46] c[47] c[48] c[49] c[50] c[51] c[52] c[53] c[54] c[55] c[56] c[57] c[58] c[59] c[60] c[61] c[62] c[63] c[64] c[65] c[66] c[67] c[68] c[69] c[70] c[71] c[72] c[73] c[74] c[75] c[76] c[77] c[78] c[79] c[80] c[81] c[82] c[83] c[84] c[85] c[86] c[87] c[88] c[89] c[90] c[91] c[92] c[93] c[94] c[95] c[96] c[97] c[98] c[99] c[100] c[101] c[102] c[103] c[104] c[105] c[106] c[107] c[108] c[109] c[110] c[111] c[112] c[113] c[114] c[115] c[116] c[117] c[118] c[119] c[120] c[121] c[122] c[123] c[124]
20034.28/2520.10	v 	</list>
20034.28/2520.10	v 	<values>
20034.28/2520.10	v 		123 0 118 123 120 122 123 121 120 121 121 0 121 0 0 123 121 123 2 123 0 123 123 117 0 2 123 0 0 40 122 120 123 2 119 0 122 120 123 123 124 1 122 0 119 1 121 0 121 119 118 1 121 122 123 121 1 118 0 120 119 124 122 122 123 119 0 124 121 121 120 122 1 1 121 121 124 1 122 119 122 0 123 119 124 121 1 123 121 122 118 122 122 124 123 122 120 0 124 123 122 122 1 120 122 120 120 0 124 122 118 0 1 122 120 122 123 123 119 120 0 123 124 124 123 
20034.28/2520.10	v 	</values>
20034.28/2520.10	v </instantiation>

Verifier Data 

OK	11356

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4308939-1534367132/watcher-4308939-1534367132 -o /tmp/evaluation-result-4308939-1534367132/solver-4308939-1534367132 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node139-1534362087-28106 --watchdog 2580 java -Xmx22000m -jar oscarCPXcsp3-parallel.jar --randomseed 907777779 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4308939-1534367132.xml 

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

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

solver pid=28466, runsolver pid=28463

[startup+0.10015 s]*
/proc/loadavg: 8.47 8.84 8.90 3/199 28486
/proc/meminfo: memFree=19338136/32770624 swapFree=67108860/67108860
[pid=28466] ppid=28463 vsize=26103420 memory=32784 CPUtime=0.11 cores=0-7
/proc/28466/stat : 28466 (java) S 28463 28466 28079 0 -1 1077944320 7105 0 0 0 10 1 0 0 20 0 20 0 254276393 26729902080 8196 33554432000 4194304 4196468 140736756218464 140736756201008 140392283578103 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26038272 140736756225102 140736756225285 140736756225285 140736756228047 0
/proc/28466/statm: 6525855 8196 3140 1 0 6487932 0
[pid=28466/tid=28468] ppid=28463 vsize=26103420 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/28466/task/28468/stat : 28468 (java) R 28463 28466 28079 0 -1 4202560 5219 0 0 0 8 1 0 0 20 0 20 0 254276393 26729902080 8196 33554432000 4194304 4196468 140736756218464 140392287811776 140392263853917 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26038272 140736756225102 140736756225285 140736756225285 140736756228047 0
[pid=28466/tid=28469] ppid=28463 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/28466/task/28469/stat : 28469 (java) S 28463 28466 28079 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 254276394 26729902080 8196 33554432000 4194304 4196468 140736756218464 140392236198800 140392283588309 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26038272 140736756225102 140736756225285 140736756225285 140736756228047 0
[pid=28466/tid=28470] ppid=28463 vsize=26103420 memory=140122487559808 CPUtime=0 cores=0-7
/proc/28466/task/28470/stat : 28470 (java) S 28463 28466 28079 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 254276394 26729902080 8196 33554432000 4194304 4196468 140736756218464 140392235146000 140392283588309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26038272 140736756225102 140736756225285 140736756225285 140736756228047 0
[pid=28466/tid=28471] ppid=28463 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/28466/task/28471/stat : 28471 (java) S 28463 28466 28079 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 254276394 26729902080 8196 33554432000 4194304 4196468 140736756218464 140392234093712 140392283588309 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26038272 140736756225102 140736756225285 140736756225285 140736756228047 0
[pid=28466/tid=28472] ppid=28463 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/28466/task/28472/stat : 28472 (java) S 28463 28466 28079 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 254276394 26729902080 8262 33554432000 4194304 4196468 140736756218464 140392233040912 140392283588309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26038272 140736756225102 140736756225285 140736756225285 140736756228047 0
[pid=28466/tid=28473] ppid=28463 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/28466/task/28473/stat : 28473 (java) S 28463 28466 28079 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 254276394 26729902080 8262 33554432000 4194304 4196468 140736756218464 140392231987600 140392283588309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26038272 140736756225102 140736756225285 140736756225285 140736756228047 0
[pid=28466/tid=28474] ppid=28463 vsize=26103420 memory=-1 CPUtime=0 cores=0-7
/proc/28466/task/28474/stat : 28474 (java) S 28463 28466 28079 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 254276394 26729902080 8262 33554432000 4194304 4196468 140736756218464 140392230934800 140392283588309 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26038272 140736756225102 140736756225285 140736756225285 140736756228047 0
[pid=28466/tid=28475] ppid=28463 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/28466/task/28475/stat : 28475 (java) S 28463 28466 28079 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 254276394 26729902080 8262 33554432000 4194304 4196468 140736756218464 140392229882512 140392283588309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26038272 140736756225102 140736756225285 140736756225285 140736756228047 0
[pid=28466/tid=28476] ppid=28463 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/28466/task/28476/stat : 28476 (java) S 28463 28466 28079 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 254276394 26729902080 8262 33554432000 4194304 4196468 140736756218464 140392228829712 140392283588309 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26038272 140736756225102 140736756225285 140736756225285 140736756228047 0
[pid=28466/tid=28477] ppid=28463 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/28466/task/28477/stat : 28477 (java) S 28463 28466 28079 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 254276396 26729902080 8262 33554432000 4194304 4196468 140736756218464 140391412095600 140392283589250 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26038272 140736756225102 140736756225285 140736756225285 140736756228047 0
[pid=28466/tid=28478] ppid=28463 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/28466/task/28478/stat : 28478 (java) S 28463 28466 28079 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 254276396 26729902080 8262 33554432000 4194304 4196468 140736756218464 140391411041568 140392283588309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26038272 140736756225102 140736756225285 140736756225285 140736756228047 0
[pid=28466/tid=28479] ppid=28463 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/28466/task/28479/stat : 28479 (java) S 28463 28466 28079 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 254276396 26729902080 8262 33554432000 4194304 4196468 140736756218464 140391409989232 140392283588309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26038272 140736756225102 140736756225285 140736756225285 140736756228047 0
[pid=28466/tid=28480] ppid=28463 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/28466/task/28480/stat : 28480 (java) S 28463 28466 28079 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 254276399 26729902080 8262 33554432000 4194304 4196468 140736756218464 140390418606672 140392283596699 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26038272 140736756225102 140736756225285 140736756225285 140736756228047 0
[pid=28466/tid=28481] ppid=28463 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/28466/task/28481/stat : 28481 (java) S 28463 28466 28079 0 -1 1077944384 298 0 0 0 0 0 0 0 20 0 20 0 254276399 26729902080 8262 33554432000 4194304 4196468 140736756218464 140390417553520 140392283589250 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26038272 140736756225102 140736756225285 140736756225285 140736756228047 0
[pid=28466/tid=28482] ppid=28463 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/28466/task/28482/stat : 28482 (java) S 28463 28466 28079 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 254276399 26729902080 8328 33554432000 4194304 4196468 140736756218464 140390416500720 140392283589250 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26038272 140736756225102 140736756225285 140736756225285 140736756228047 0
[pid=28466/tid=28483] ppid=28463 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/28466/task/28483/stat : 28483 (java) S 28463 28466 28079 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 254276399 26729902080 8328 33554432000 4194304 4196468 140736756218464 140390415448432 140392283589250 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26038272 140736756225102 140736756225285 140736756225285 140736756228047 0
[pid=28466/tid=28484] ppid=28463 vsize=26103420 memory=0 CPUtime=0.01 cores=0-7
/proc/28466/task/28484/stat : 28484 (java) S 28463 28466 28079 0 -1 1077944384 229 0 0 0 1 0 0 0 20 0 20 0 254276399 26729902080 8328 33554432000 4194304 4196468 140736756218464 140390414395632 140392283589250 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26038272 140736756225102 140736756225285 140736756225285 140736756228047 0
[pid=28466/tid=28485] ppid=28463 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/28466/task/28485/stat : 28485 (java) S 28463 28466 28079 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 254276399 26729902080 8328 33554432000 4194304 4196468 140736756218464 140390413343584 140392283588309 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26038272 140736756225102 140736756225285 140736756225285 140736756228047 0
[pid=28466/tid=28486] ppid=28463 vsize=26103420 memory=-1 CPUtime=0 cores=0-7
/proc/28466/task/28486/stat : 28486 (java) S 28463 28466 28079 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 254276399 26729902080 8328 33554432000 4194304 4196468 140736756218464 140390412290864 140392283589250 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26038272 140736756225102 140736756225285 140736756225285 140736756228047 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26103420 KiB
Current children cumulated memory: 32784 KiB

[startup+0.210222 s]*
/proc/loadavg: 8.47 8.84 8.90 4/199 28486
/proc/meminfo: memFree=19324308/32770624 swapFree=67108860/67108860
[pid=28466] ppid=28463 vsize=26103420 memory=45380 CPUtime=0.3 cores=0-7
/proc/28466/stat : 28466 (java) S 28463 28466 28079 0 -1 1077944320 10551 0 0 0 27 3 0 0 20 0 20 0 254276393 26729902080 11345 33554432000 4194304 4196468 140736756218464 140736756201008 140392283578103 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26038272 140736756225102 140736756225285 140736756225285 140736756228047 0
/proc/28466/statm: 6525855 11345 3307 1 0 6487932 0
[pid=28466/tid=28468] ppid=28463 vsize=26103420 memory=4026531975 CPUtime=0.2 cores=0-7
/proc/28466/task/28468/stat : 28468 (java) R 28463 28466 28079 0 -1 4202560 8345 0 0 0 18 2 0 0 20 0 20 0 254276393 26729902080 11345 33554432000 4194304 4196468 140736756218464 140392287804784 140392283599450 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26038272 140736756225102 140736756225285 140736756225285 140736756228047 0
[pid=28466/tid=28469] ppid=28463 vsize=26103420 memory=12881 CPUtime=0 cores=0-7
/proc/28466/task/28469/stat : 28469 (java) S 28463 28466 28079 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 254276394 26729902080 11345 33554432000 4194304 4196468 140736756218464 140392236198800 140392283588309 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26038272 140736756225102 140736756225285 140736756225285 140736756228047 0
[pid=28466/tid=28470] ppid=28463 vsize=26103420 memory=3689488950094501536 CPUtime=0 cores=0-7
/proc/28466/task/28470/stat : 28470 (java) S 28463 28466 28079 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 254276394 26729902080 11345 33554432000 4194304 4196468 140736756218464 140392235146000 140392283588309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26038272 140736756225102 140736756225285 140736756225285 140736756228047 0
[pid=28466/tid=28471] ppid=28463 vsize=26103420 memory=-1 CPUtime=0 cores=0-7
/proc/28466/task/28471/stat : 28471 (java) S 28463 28466 28079 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 254276394 26729902080 11345 33554432000 4194304 4196468 140736756218464 140392234093712 140392283588309 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26038272 140736756225102 140736756225285 140736756225285 140736756228047 0
[pid=28466/tid=28472] ppid=28463 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/28466/task/28472/stat : 28472 (java) S 28463 28466 28079 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 254276394 26729902080 11345 33554432000 4194304 4196468 140736756218464 140392233040912 140392283588309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26038272 140736756225102 140736756225285 140736756225285 140736756228047 0
[pid=28466/tid=28473] ppid=28463 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/28466/task/28473/stat : 28473 (java) S 28463 28466 28079 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 254276394 26729902080 11345 33554432000 4194304 4196468 140736756218464 140392231987600 140392283588309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26038272 140736756225102 140736756225285 140736756225285 140736756228047 0
[pid=28466/tid=28474] ppid=28463 vsize=26103420 memory=-1 CPUtime=0 cores=0-7
/proc/28466/task/28474/stat : 28474 (java) S 28463 28466 28079 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 254276394 26729902080 11345 33554432000 4194304 4196468 140736756218464 140392230934800 140392283588309 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26038272 140736756225102 140736756225285 140736756225285 140736756228047 0
[pid=28466/tid=28475] ppid=28463 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/28466/task/28475/stat : 28475 (java) S 28463 28466 28079 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 254276394 26729902080 11345 33554432000 4194304 4196468 140736756218464 140392229882512 140392283588309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26038272 140736756225102 140736756225285 140736756225285 140736756228047 0
[pid=28466/tid=28476] ppid=28463 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/28466/task/28476/stat : 28476 (java) S 28463 28466 28079 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 254276394 26729902080 11345 33554432000 4194304 4196468 140736756218464 140392228829712 140392283588309 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26038272 140736756225102 140736756225285 140736756225285 140736756228047 0
[pid=28466/tid=28477] ppid=28463 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/28466/task/28477/stat : 28477 (java) S 28463 28466 28079 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 254276396 26729902080 11345 33554432000 4194304 4196468 140736756218464 140391412095600 140392283589250 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26038272 140736756225102 140736756225285 140736756225285 140736756228047 0
[pid=28466/tid=28478] ppid=28463 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/28466/task/28478/stat : 28478 (java) S 28463 28466 28079 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 254276396 26729902080 11345 33554432000 4194304 4196468 140736756218464 140391411041568 140392283588309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26038272 140736756225102 140736756225285 140736756225285 140736756228047 0
[pid=28466/tid=28479] ppid=28463 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/28466/task/28479/stat : 28479 (java) S 28463 28466 28079 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 254276396 26729902080 11345 33554432000 4194304 4196468 140736756218464 140391409989232 140392283588309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26038272 140736756225102 140736756225285 140736756225285 140736756228047 0
[pid=28466/tid=28480] ppid=28463 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/28466/task/28480/stat : 28480 (java) S 28463 28466 28079 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 254276399 26729902080 11345 33554432000 4194304 4196468 140736756218464 140390418606672 140392283596699 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26038272 140736756225102 140736756225285 140736756225285 140736756228047 0
[pid=28466/tid=28481] ppid=28463 vsize=26103420 memory=0 CPUtime=0.01 cores=0-7
/proc/28466/task/28481/stat : 28481 (java) S 28463 28466 28079 0 -1 1077944384 330 0 0 0 1 0 0 0 20 0 20 0 254276399 26729902080 11345 33554432000 4194304 4196468 140736756218464 140390417553520 140392283589250 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26038272 140736756225102 140736756225285 140736756225285 140736756228047 0
[pid=28466/tid=28482] ppid=28463 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/28466/task/28482/stat : 28482 (java) S 28463 28466 28079 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 20 0 254276399 26729902080 11345 33554432000 4194304 4196468 140736756218464 140390416500720 140392283589250 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26038272 140736756225102 140736756225285 140736756225285 140736756228047 0
[pid=28466/tid=28483] ppid=28463 vsize=26103420 memory=0 CPUtime=0.01 cores=0-7
/proc/28466/task/28483/stat : 28483 (java) S 28463 28466 28079 0 -1 1077944384 165 0 0 0 1 0 0 0 20 0 20 0 254276399 26729902080 11345 33554432000 4194304 4196468 140736756218464 140390415448432 140392283589250 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26038272 140736756225102 140736756225285 140736756225285 140736756228047 0
[pid=28466/tid=28484] ppid=28463 vsize=26103420 memory=0 CPUtime=0.06 cores=0-7
/proc/28466/task/28484/stat : 28484 (java) R 28463 28466 28079 0 -1 4202560 273 0 0 0 6 0 0 0 20 0 20 0 254276399 26729902080 11345 33554432000 4194304 4196468 140736756218464 140390414393440 140392267739168 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26038272 140736756225102 140736756225285 140736756225285 140736756228047 0
[pid=28466/tid=28485] ppid=28463 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/28466/task/28485/stat : 28485 (java) S 28463 28466 28079 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 254276399 26729902080 11345 33554432000 4194304 4196468 140736756218464 140390413343584 140392283588309 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26038272 140736756225102 140736756225285 140736756225285 140736756228047 0
[pid=28466/tid=28486] ppid=28463 vsize=26103420 memory=-1 CPUtime=0 cores=0-7
/proc/28466/task/28486/stat : 28486 (java) S 28463 28466 28079 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 254276399 26729902080 11345 33554432000 4194304 4196468 140736756218464 140390412290864 140392283589250 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26038272 140736756225102 140736756225285 140736756225285 140736756228047 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 26103420 KiB
Current children cumulated memory: 45380 KiB

[startup+0.310473 s]*
/proc/loadavg: 8.47 8.84 8.90 2/199 28486
/proc/meminfo: memFree=19320896/32770624 swapFree=67108860/67108860
[pid=28466] ppid=28463 vsize=26103420 memory=49196 CPUtime=0.43 cores=0-7
/proc/28466/stat : 28466 (java) S 28463 28466 28079 0 -1 1077944320 10973 0 0 0 40 3 0 0 20 0 20 0 254276393 26729902080 12299 33554432000 4194304 4196468 140736756218464 140736756201008 140392283578103 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26038272 140736756225102 140736756225285 140736756225285 140736756228047 0
/proc/28466/statm: 6525855 12299 3371 1 0 6487932 0
[pid=28466/tid=28468] ppid=28463 vsize=26103420 memory=6791534058613427641 CPUtime=0.3 cores=0-7
/proc/28466/task/28468/stat : 28468 (java) R 28463 28466 28079 0 -1 4202560 8671 0 0 0 28 2 0 0 20 0 20 0 254276393 26729902080 12299 33554432000 4194304 4196468 140736756218464 140392287739840 140392283592007 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26038272 140736756225102 140736756225285 140736756225285 140736756228047 0
[pid=28466/tid=28469] ppid=28463 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/28466/task/28469/stat : 28469 (java) S 28463 28466 28079 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 254276394 26729902080 12299 33554432000 4194304 4196468 140736756218464 140392236198800 140392283588309 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26038272 140736756225102 140736756225285 140736756225285 140736756228047 0
[pid=28466/tid=28470] ppid=28463 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/28466/task/28470/stat : 28470 (java) S 28463 28466 28079 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 254276394 26729902080 12299 33554432000 4194304 4196468 140736756218464 140392235146000 140392283588309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26038272 140736756225102 140736756225285 140736756225285 140736756228047 0
[pid=28466/tid=28471] ppid=28463 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/28466/task/28471/stat : 28471 (java) S 28463 28466 28079 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 254276394 26729902080 12299 33554432000 4194304 4196468 140736756218464 140392234093712 140392283588309 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26038272 140736756225102 140736756225285 140736756225285 140736756228047 0
[pid=28466/tid=28472] ppid=28463 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/28466/task/28472/stat : 28472 (java) S 28463 28466 28079 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 254276394 26729902080 12299 33554432000 4194304 4196468 140736756218464 140392233040912 140392283588309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26038272 140736756225102 140736756225285 140736756225285 140736756228047 0
[pid=28466/tid=28473] ppid=28463 vsize=26103420 memory=2244 CPUtime=0 cores=0-7
/proc/28466/task/28473/stat : 28473 (java) S 28463 28466 28079 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 254276394 26729902080 12299 33554432000 4194304 4196468 140736756218464 140392231987600 140392283588309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26038272 140736756225102 140736756225285 140736756225285 140736756228047 0
[pid=28466/tid=28474] ppid=28463 vsize=26103420 memory=140122368603055 CPUtime=0 cores=0-7
/proc/28466/task/28474/stat : 28474 (java) S 28463 28466 28079 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 254276394 26729902080 12299 33554432000 4194304 4196468 140736756218464 140392230934800 140392283588309 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26038272 140736756225102 140736756225285 140736756225285 140736756228047 0
[pid=28466/tid=28475] ppid=28463 vsize=26103420 memory=140122368605360 CPUtime=0 cores=0-7
/proc/28466/task/28475/stat : 28475 (java) S 28463 28466 28079 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 254276394 26729902080 12299 33554432000 4194304 4196468 140736756218464 140392229882512 140392283588309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26038272 140736756225102 140736756225285 140736756225285 140736756228047 0
[pid=28466/tid=28476] ppid=28463 vsize=26103420 memory=140122368607664 CPUtime=0 cores=0-7
/proc/28466/task/28476/stat : 28476 (java) S 28463 28466 28079 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 254276394 26729902080 12299 33554432000 4194304 4196468 140736756218464 140392228829712 140392283588309 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26038272 140736756225102 140736756225285 140736756225285 140736756228047 0
[pid=28466/tid=28477] ppid=28463 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/28466/task/28477/stat : 28477 (java) S 28463 28466 28079 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 254276396 26729902080 12299 33554432000 4194304 4196468 140736756218464 140391412095600 140392283589250 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26038272 140736756225102 140736756225285 140736756225285 140736756228047 0
[pid=28466/tid=28478] ppid=28463 vsize=26103420 memory=280244737222288 CPUtime=0 cores=0-7
/proc/28466/task/28478/stat : 28478 (java) S 28463 28466 28079 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 254276396 26729902080 12299 33554432000 4194304 4196468 140736756218464 140391411041568 140392283588309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26038272 140736756225102 140736756225285 140736756225285 140736756228047 0
[pid=28466/tid=28479] ppid=28463 vsize=26103420 memory=280244737229200 CPUtime=0 cores=0-7
/proc/28466/task/28479/stat : 28479 (java) S 28463 28466 28079 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 254276396 26729902080 12299 33554432000 4194304 4196468 140736756218464 140391409989232 140392283588309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26038272 140736756225102 140736756225285 140736756225285 140736756228047 0
[pid=28466/tid=28480] ppid=28463 vsize=26103420 memory=280244737170480 CPUtime=0 cores=0-7
/proc/28466/task/28480/stat : 28480 (java) S 28463 28466 28079 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 254276399 26729902080 12299 33554432000 4194304 4196468 140736756218464 140390418606672 140392283596699 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26038272 140736756225102 140736756225285 140736756225285 140736756228047 0
[pid=28466/tid=28481] ppid=28463 vsize=26103420 memory=280244737243024 CPUtime=0.01 cores=0-7
/proc/28466/task/28481/stat : 28481 (java) S 28463 28466 28079 0 -1 1077944384 339 0 0 0 1 0 0 0 20 0 20 0 254276399 26729902080 12299 33554432000 4194304 4196468 140736756218464 140390417553520 140392283589250 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26038272 140736756225102 140736756225285 140736756225285 140736756228047 0
[pid=28466/tid=28482] ppid=28463 vsize=26103420 memory=280244737249936 CPUtime=0.01 cores=0-7
/proc/28466/task/28482/stat : 28482 (java) S 28463 28466 28079 0 -1 1077944384 130 0 0 0 1 0 0 0 20 0 20 0 254276399 26729902080 12299 33554432000 4194304 4196468 140736756218464 140390416500720 140392283589250 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26038272 140736756225102 140736756225285 140736756225285 140736756228047 0
[pid=28466/tid=28483] ppid=28463 vsize=26103420 memory=280244737247632 CPUtime=0.01 cores=0-7
/proc/28466/task/28483/stat : 28483 (java) S 28463 28466 28079 0 -1 1077944384 165 0 0 0 1 0 0 0 20 0 20 0 254276399 26729902080 12299 33554432000 4194304 4196468 140736756218464 140390415448432 140392283589250 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26038272 140736756225102 140736756225285 140736756225285 140736756228047 0
[pid=28466/tid=28484] ppid=28463 vsize=26103420 memory=280244737264240 CPUtime=0.08 cores=0-7
/proc/28466/task/28484/stat : 28484 (java) S 28463 28466 28079 0 -1 1077944384 281 0 0 0 8 0 0 0 20 0 20 0 254276399 26729902080 12299 33554432000 4194304 4196468 140736756218464 140390414395632 140392283589250 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26038272 140736756225102 140736756225285 140736756225285 140736756228047 0
[pid=28466/tid=28485] ppid=28463 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/28466/task/28485/stat : 28485 (java) S 28463 28466 28079 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 254276399 26729902080 12299 33554432000 4194304 4196468 140736756218464 140390413343584 140392283588309 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26038272 140736756225102 140736756225285 140736756225285 140736756228047 0
[pid=28466/tid=28486] ppid=28463 vsize=26103420 memory=-1 CPUtime=0 cores=0-7
/proc/28466/task/28486/stat : 28486 (java) S 28463 28466 28079 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 254276399 26729902080 12299 33554432000 4194304 4196468 140736756218464 140390412290864 140392283589250 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26038272 140736756225102 140736756225285 140736756225285 140736756228047 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 26103420 KiB
Current children cumulated memory: 49196 KiB

[startup+0.700912 s]
/proc/loadavg: 8.47 8.84 8.90 3/199 28486
/proc/meminfo: memFree=19296704/32770624 swapFree=67108860/67108860
[pid=28466] ppid=28463 vsize=26105488 memory=89812 CPUtime=0.99 cores=0-7
/proc/28466/stat : 28466 (java) S 28463 28466 28079 0 -1 1077944320 17882 0 0 0 93 6 0 0 20 0 20 0 254276393 26732019712 22453 33554432000 4194304 4196468 140736756218464 140736756201008 140392283578103 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26038272 140736756225102 140736756225285 140736756225285 140736756228047 0
/proc/28466/statm: 6526372 22453 3501 1 0 6488444 0
[pid=28466/tid=28468] ppid=28463 vsize=26105488 memory=0 CPUtime=0.67 cores=0-7
/proc/28466/task/28468/stat : 28468 (java) R 28463 28466 28079 0 -1 4202560 15096 0 0 0 63 4 0 0 20 0 20 0 254276393 26732019712 22453 33554432000 4194304 4196468 140736756218464 140392287797984 140392283600029 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26038272 140736756225102 140736756225285 140736756225285 140736756228047 0
[pid=28466/tid=28469] ppid=28463 vsize=26105488 memory=0 CPUtime=0 cores=0-7
/proc/28466/task/28469/stat : 28469 (java) S 28463 28466 28079 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 254276394 26732019712 22453 33554432000 4194304 4196468 140736756218464 140392236198800 140392283588309 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26038272 140736756225102 140736756225285 140736756225285 140736756228047 0
[pid=28466/tid=28470] ppid=28463 vsize=26105488 memory=0 CPUtime=0 cores=0-7
/proc/28466/task/28470/stat : 28470 (java) S 28463 28466 28079 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 254276394 26732019712 22453 33554432000 4194304 4196468 140736756218464 140392235146000 140392283588309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26038272 140736756225102 140736756225285 140736756225285 140736756228047 0
[pid=28466/tid=28471] ppid=28463 vsize=26105488 memory=0 CPUtime=0 cores=0-7
/proc/28466/task/28471/stat : 28471 (java) S 28463 28466 28079 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 254276394 26732019712 22453 33554432000 4194304 4196468 140736756218464 140392234093712 140392283588309 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26038272 140736756225102 140736756225285 140736756225285 140736756228047 0
[pid=28466/tid=28472] ppid=28463 vsize=26105488 memory=1160 CPUtime=0 cores=0-7
/proc/28466/task/28472/stat : 28472 (java) S 28463 28466 28079 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 254276394 26732019712 22453 33554432000 4194304 4196468 140736756218464 140392233040912 140392283588309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26038272 140736756225102 140736756225285 140736756225285 140736756228047 0
[pid=28466/tid=28473] ppid=28463 vsize=26105488 memory=10860 CPUtime=0 cores=0-7
/proc/28466/task/28473/stat : 28473 (java) S 28463 28466 28079 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 254276394 26732019712 22453 33554432000 4194304 4196468 140736756218464 140392231987600 140392283588309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26038272 140736756225102 140736756225285 140736756225285 140736756228047 0
[pid=28466/tid=28474] ppid=28463 vsize=26105488 memory=4616 CPUtime=0 cores=0-7
/proc/28466/task/28474/stat : 28474 (java) S 28463 28466 28079 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 254276394 26732019712 22453 33554432000 4194304 4196468 140736756218464 140392230934800 140392283588309 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26038272 140736756225102 140736756225285 140736756225285 140736756228047 0
[pid=28466/tid=28475] ppid=28463 vsize=26105488 memory=1428 CPUtime=0 cores=0-7
/proc/28466/task/28475/stat : 28475 (java) S 28463 28466 28079 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 254276394 26732019712 22453 33554432000 4194304 4196468 140736756218464 140392229882512 140392283588309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26038272 140736756225102 140736756225285 140736756225285 140736756228047 0
[pid=28466/tid=28476] ppid=28463 vsize=26105488 memory=15880 CPUtime=0 cores=0-7
/proc/28466/task/28476/stat : 28476 (java) S 28463 28466 28079 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 254276394 26732019712 22453 33554432000 4194304 4196468 140736756218464 140392228829712 140392283588309 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26038272 140736756225102 140736756225285 140736756225285 140736756228047 0
[pid=28466/tid=28477] ppid=28463 vsize=26105488 memory=16228 CPUtime=0 cores=0-7
/proc/28466/task/28477/stat : 28477 (java) S 28463 28466 28079 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 254276396 26732019712 22453 33554432000 4194304 4196468 140736756218464 140391412095600 140392283589250 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26038272 140736756225102 140736756225285 140736756225285 140736756228047 0

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

/proc/28466/task/28489/stat : 28489 (java) R 28463 28466 28079 0 -1 4202560 97180 0 0 0 249392 140 0 0 20 0 46 0 254276636 28518936576 1750288 33554432000 4194304 4196468 140736756218464 140390086551176 140391906392927 0 4 0 16800975 0 0 0 -1 5 0 0 15 0 0 6293624 6294260 26038272 140736756225102 140736756225285 140736756225285 140736756228047 0
[pid=28466/tid=28490] ppid=28463 vsize=27850524 memory=2460 CPUtime=0.12 cores=0-7
/proc/28466/task/28490/stat : 28490 (java) S 28463 28466 28079 0 -1 1077944384 124 0 0 0 12 0 0 0 20 0 46 0 254276637 28518936576 1750288 33554432000 4194304 4196468 140736756218464 140390085505936 140392283588309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26038272 140736756225102 140736756225285 140736756225285 140736756228047 0
[pid=28466/tid=28491] ppid=28463 vsize=27850524 memory=932 CPUtime=2499.2 cores=0-7
/proc/28466/task/28491/stat : 28491 (java) R 28463 28466 28079 0 -1 4202560 100359 0 0 0 249779 141 0 0 20 0 46 0 254276640 28518936576 1750288 33554432000 4194304 4196468 140736756218464 140390084448016 140391906394133 0 4 0 16800975 0 0 0 -1 6 0 0 10 0 0 6293624 6294260 26038272 140736756225102 140736756225285 140736756225285 140736756228047 0
[pid=28466/tid=28492] ppid=28463 vsize=27850524 memory=1580 CPUtime=0.1 cores=0-7
/proc/28466/task/28492/stat : 28492 (java) S 28463 28466 28079 0 -1 1077944384 61 0 0 0 10 0 0 0 20 0 46 0 254276644 28518936576 1750288 33554432000 4194304 4196468 140736756218464 140390081303696 140392283588309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26038272 140736756225102 140736756225285 140736756225285 140736756228047 0
[pid=28466/tid=28493] ppid=28463 vsize=27850524 memory=4126316290023845779 CPUtime=2497.31 cores=0-7
/proc/28466/task/28493/stat : 28493 (java) R 28463 28466 28079 0 -1 4202560 95515 0 0 0 249584 147 0 0 20 0 46 0 254276644 28518936576 1750288 33554432000 4194304 4196468 140736756218464 140390080243208 140391906392945 0 4 0 16800975 0 0 0 -1 0 0 0 14 0 0 6293624 6294260 26038272 140736756225102 140736756225285 140736756225285 140736756228047 0
[pid=28466/tid=28494] ppid=28463 vsize=27850524 memory=636 CPUtime=0.12 cores=0-7
/proc/28466/task/28494/stat : 28494 (java) S 28463 28466 28079 0 -1 1077944384 1423 0 0 0 12 0 0 0 20 0 46 0 254276644 28518936576 1750288 33554432000 4194304 4196468 140736756218464 140390079198608 140392283588309 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26038272 140736756225102 140736756225285 140736756225285 140736756228047 0
[pid=28466/tid=28495] ppid=28463 vsize=27850524 memory=960 CPUtime=2494.14 cores=0-7
/proc/28466/task/28495/stat : 28495 (java) R 28463 28466 28079 0 -1 4202560 92916 0 0 0 249290 124 0 0 20 0 46 0 254276644 28518936576 1750288 33554432000 4194304 4196468 140736756218464 140390078138120 140391906367188 0 4 0 16800975 0 0 0 -1 4 0 0 17 0 0 6293624 6294260 26038272 140736756225102 140736756225285 140736756225285 140736756228047 0
[pid=28466/tid=28496] ppid=28463 vsize=27850524 memory=1232 CPUtime=2497.28 cores=0-7
/proc/28466/task/28496/stat : 28496 (java) R 28463 28466 28079 0 -1 4202560 96868 0 0 0 249588 140 0 0 20 0 46 0 254276644 28518936576 1750288 33554432000 4194304 4196468 140736756218464 140390077085320 140391906529473 0 4 0 16800975 0 0 0 -1 7 0 0 9 0 0 6293624 6294260 26038272 140736756225102 140736756225285 140736756225285 140736756228047 0
[pid=28466/tid=28497] ppid=28463 vsize=27850524 memory=2460 CPUtime=2493.43 cores=0-7
/proc/28466/task/28497/stat : 28497 (java) R 28463 28466 28079 0 -1 4202560 90956 0 0 0 249207 136 0 0 20 0 46 0 254276645 28518936576 1750288 33554432000 4194304 4196468 140736756218464 140390076032968 140391906392941 0 4 0 16800975 0 0 0 -1 1 0 0 11 0 0 6293624 6294260 26038272 140736756225102 140736756225285 140736756225285 140736756228047 0
[pid=28466/tid=28498] ppid=28463 vsize=27850524 memory=932 CPUtime=0.07 cores=0-7
/proc/28466/task/28498/stat : 28498 (java) S 28463 28466 28079 0 -1 1077944384 69 0 0 0 7 0 0 0 20 0 46 0 254276651 28518936576 1750288 33554432000 4194304 4196468 140736756218464 140390074987408 140392283588309 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26038272 140736756225102 140736756225285 140736756225285 140736756228047 0
[pid=28466/tid=28499] ppid=28463 vsize=27850524 memory=1580 CPUtime=2496.84 cores=0-7
/proc/28466/task/28499/stat : 28499 (java) R 28463 28466 28079 0 -1 4202560 120571 0 0 0 249524 160 0 0 20 0 46 0 254276652 28518936576 1750288 33554432000 4194304 4196468 140736756218464 140390073926840 140391904876288 0 4 0 16800975 0 0 0 -1 3 0 0 13 0 0 6293624 6294260 26038272 140736756225102 140736756225285 140736756225285 140736756228047 0
[pid=28466/tid=28500] ppid=28463 vsize=27850524 memory=2240 CPUtime=2491.67 cores=0-7
/proc/28466/task/28500/stat : 28500 (java) R 28463 28466 28079 0 -1 4202560 96700 0 0 0 249022 145 0 0 20 0 46 0 254276652 28518936576 1750288 33554432000 4194304 4196468 140736756218464 140390072874632 140391906477763 0 4 0 16800975 0 0 0 -1 2 0 0 10 0 0 6293624 6294260 26038272 140736756225102 140736756225285 140736756225285 140736756228047 0
[pid=28466/tid=28501] ppid=28463 vsize=27850524 memory=4124 CPUtime=0.08 cores=0-7
/proc/28466/task/28501/stat : 28501 (java) S 28463 28466 28079 0 -1 1077944384 1604 0 0 0 8 0 0 0 20 0 46 0 254276652 28518936576 1750288 33554432000 4194304 4196468 140736756218464 140390071830032 140392283588309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26038272 140736756225102 140736756225285 140736756225285 140736756228047 0
[pid=28466/tid=28502] ppid=28463 vsize=27850524 memory=2100 CPUtime=0.1 cores=0-7
/proc/28466/task/28502/stat : 28502 (java) S 28463 28466 28079 0 -1 1077944384 1735 0 0 0 10 0 0 0 20 0 46 0 254276652 28518936576 1750288 33554432000 4194304 4196468 140736756218464 140390070777232 140392283588309 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26038272 140736756225102 140736756225285 140736756225285 140736756228047 0
[pid=28466/tid=28503] ppid=28463 vsize=27850524 memory=7528 CPUtime=0.06 cores=0-7
/proc/28466/task/28503/stat : 28503 (java) S 28463 28466 28079 0 -1 1077944384 93 0 0 0 6 0 0 0 20 0 46 0 254276652 28518936576 1750288 33554432000 4194304 4196468 140736756218464 140390069724944 140392283588309 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26038272 140736756225102 140736756225285 140736756225285 140736756228047 0
[pid=28466/tid=28504] ppid=28463 vsize=27850524 memory=6791534058613427641 CPUtime=0.07 cores=0-7
/proc/28466/task/28504/stat : 28504 (java) S 28463 28466 28079 0 -1 1077944384 1477 0 0 0 7 0 0 0 20 0 46 0 254276652 28518936576 1750288 33554432000 4194304 4196468 140736756218464 140390068672144 140392283588309 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26038272 140736756225102 140736756225285 140736756225285 140736756228047 0
[pid=28466/tid=28505] ppid=28463 vsize=27850524 memory=7000132 CPUtime=0.08 cores=0-7
/proc/28466/task/28505/stat : 28505 (java) S 28463 28466 28079 0 -1 1077944384 1842 0 0 0 8 0 0 0 20 0 46 0 254276659 28518936576 1750288 33554432000 4194304 4196468 140736756218464 140390067618832 140392283588309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26038272 140736756225102 140736756225285 140736756225285 140736756228047 0
[pid=28466/tid=28506] ppid=28463 vsize=27850524 memory=6791534058613427641 CPUtime=0.07 cores=0-7
/proc/28466/task/28506/stat : 28506 (java) S 28463 28466 28079 0 -1 1077944384 1786 0 0 0 7 0 0 0 20 0 46 0 254276659 28518936576 1750288 33554432000 4194304 4196468 140736756218464 140388520121232 140392283588309 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26038272 140736756225102 140736756225285 140736756225285 140736756228047 0
[pid=28466/tid=28507] ppid=28463 vsize=27850524 memory=4126316290023845779 CPUtime=0.09 cores=0-7
/proc/28466/task/28507/stat : 28507 (java) S 28463 28466 28079 0 -1 1077944384 2008 0 0 0 9 0 0 0 20 0 46 0 254276659 28518936576 1750288 33554432000 4194304 4196468 140736756218464 140388519068944 140392283588309 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26038272 140736756225102 140736756225285 140736756225285 140736756228047 0
[pid=28466/tid=28508] ppid=28463 vsize=27850524 memory=1160 CPUtime=0.06 cores=0-7
/proc/28466/task/28508/stat : 28508 (java) S 28463 28466 28079 0 -1 1077944384 51 0 0 0 6 0 0 0 20 0 46 0 254276659 28518936576 1750288 33554432000 4194304 4196468 140736756218464 140388518016144 140392283588309 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26038272 140736756225102 140736756225285 140736756225285 140736756228047 0
[pid=28466/tid=28509] ppid=28463 vsize=27850524 memory=10860 CPUtime=0.08 cores=0-7
/proc/28466/task/28509/stat : 28509 (java) S 28463 28466 28079 0 -1 1077944384 1782 0 0 0 8 0 0 0 20 0 46 0 254276660 28518936576 1750288 33554432000 4194304 4196468 140736756218464 140388516963856 140392283588309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 26038272 140736756225102 140736756225285 140736756225285 140736756228047 0
[pid=28466/tid=28510] ppid=28463 vsize=27850524 memory=4616 CPUtime=0.05 cores=0-7
/proc/28466/task/28510/stat : 28510 (java) S 28463 28466 28079 0 -1 1077944384 44 0 0 0 5 0 0 0 20 0 46 0 254276661 28518936576 1750288 33554432000 4194304 4196468 140736756218464 140388515911056 140392283588309 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26038272 140736756225102 140736756225285 140736756225285 140736756228047 0
[pid=28466/tid=28511] ppid=28463 vsize=27850524 memory=1428 CPUtime=0.08 cores=0-7
/proc/28466/task/28511/stat : 28511 (java) S 28463 28466 28079 0 -1 1077944384 1679 0 0 0 8 0 0 0 20 0 46 0 254276661 28518936576 1750288 33554432000 4194304 4196468 140736756218464 140388514858768 140392283588309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26038272 140736756225102 140736756225285 140736756225285 140736756228047 0
[pid=28466/tid=28512] ppid=28463 vsize=27850524 memory=15880 CPUtime=0.08 cores=0-7
/proc/28466/task/28512/stat : 28512 (java) S 28463 28466 28079 0 -1 1077944384 1398 0 0 0 8 0 0 0 20 0 46 0 254276661 28518936576 1750288 33554432000 4194304 4196468 140736756218464 140388513805968 140392283588309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26038272 140736756225102 140736756225285 140736756225285 140736756228047 0
Current children cumulated CPU time: 20034.3 s
Current children cumulated vsize: 27850524 KiB
Current children cumulated memory: 7001152 KiB

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

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

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

[startup+2520.21 s]
/proc/loadavg: 9.45 8.90 8.81 9/224 28544
/proc/meminfo: memFree=12352656/32770624 swapFree=67108860/67108860
[pid=28466] ppid=28463 vsize=27984680 memory=7002744 CPUtime=20035.8 cores=0-7
/proc/28466/stat : 28466 (java) S 28463 28466 28079 0 -1 1077944320 1551399 0 0 0 2002126 1457 0 0 20 0 47 0 254276393 28656312320 1750686 33554432000 4194304 4196468 140736756218464 140736756201008 140392283578103 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26038272 140736756225102 140736756225285 140736756225285 140736756228047 0
/proc/28466/statm: 6996170 1750686 3617 1 0 6957721 0
[pid=28466/tid=28468] ppid=28463 vsize=27984680 memory=7002200 CPUtime=2.41 cores=0-7
/proc/28466/task/28468/stat : 28468 (java) S 28463 28466 28079 0 -1 1077944384 25064 0 0 0 232 9 0 0 20 0 47 0 254276393 28656312320 1750686 33554432000 4194304 4196468 140736756218464 140392287815568 140392283588309 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26038272 140736756225102 140736756225285 140736756225285 140736756228047 0
[pid=28466/tid=28469] ppid=28463 vsize=27984680 memory=38376 CPUtime=6.43 cores=0-7
/proc/28466/task/28469/stat : 28469 (java) S 28463 28466 28079 0 -1 1077944384 63307 0 0 0 612 31 0 0 20 0 47 0 254276394 28656312320 1750686 33554432000 4194304 4196468 140736756218464 140392236198800 140392283588309 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 11 0 0 6293624 6294260 26038272 140736756225102 140736756225285 140736756225285 140736756228047 0
[pid=28466/tid=28470] ppid=28463 vsize=27984680 memory=4048 CPUtime=6.41 cores=0-7
/proc/28466/task/28470/stat : 28470 (java) S 28463 28466 28079 0 -1 1077944384 65792 0 0 0 609 32 0 0 20 0 47 0 254276394 28656312320 1750686 33554432000 4194304 4196468 140736756218464 140392235146000 140392283588309 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 11 0 0 6293624 6294260 26038272 140736756225102 140736756225285 140736756225285 140736756228047 0
[pid=28466/tid=28471] ppid=28463 vsize=27984680 memory=1796 CPUtime=6.41 cores=0-7
/proc/28466/task/28471/stat : 28471 (java) S 28463 28466 28079 0 -1 1077944384 73178 0 0 0 608 33 0 0 20 0 47 0 254276394 28656312320 1750686 33554432000 4194304 4196468 140736756218464 140392234093712 140392283588309 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 12 0 0 6293624 6294260 26038272 140736756225102 140736756225285 140736756225285 140736756228047 0
[pid=28466/tid=28472] ppid=28463 vsize=27984680 memory=636 CPUtime=6.4 cores=0-7
/proc/28466/task/28472/stat : 28472 (java) S 28463 28466 28079 0 -1 1077944384 65642 0 0 0 605 35 0 0 20 0 47 0 254276394 28656312320 1750686 33554432000 4194304 4196468 140736756218464 140392233040912 140392283588309 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 11 0 0 6293624 6294260 26038272 140736756225102 140736756225285 140736756225285 140736756228047 0
[pid=28466/tid=28473] ppid=28463 vsize=27984680 memory=960 CPUtime=6.36 cores=0-7
/proc/28466/task/28473/stat : 28473 (java) S 28463 28466 28079 0 -1 1077944384 67826 0 0 0 603 33 0 0 20 0 47 0 254276394 28656312320 1750686 33554432000 4194304 4196468 140736756218464 140392231987600 140392283588309 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 10 0 0 6293624 6294260 26038272 140736756225102 140736756225285 140736756225285 140736756228047 0
[pid=28466/tid=28474] ppid=28463 vsize=27984680 memory=1232 CPUtime=6.4 cores=0-7
/proc/28466/task/28474/stat : 28474 (java) S 28463 28466 28079 0 -1 1077944384 62719 0 0 0 608 32 0 0 20 0 47 0 254276394 28656312320 1750686 33554432000 4194304 4196468 140736756218464 140392230934800 140392283588309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 11 0 0 6293624 6294260 26038272 140736756225102 140736756225285 140736756225285 140736756228047 0
[pid=28466/tid=28475] ppid=28463 vsize=27984680 memory=2460 CPUtime=6.46 cores=0-7
/proc/28466/task/28475/stat : 28475 (java) S 28463 28466 28079 0 -1 1077944384 67633 0 0 0 611 35 0 0 20 0 47 0 254276394 28656312320 1750686 33554432000 4194304 4196468 140736756218464 140392229882512 140392283588309 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 10 0 0 6293624 6294260 26038272 140736756225102 140736756225285 140736756225285 140736756228047 0
[pid=28466/tid=28476] ppid=28463 vsize=27984680 memory=932 CPUtime=6.38 cores=0-7
/proc/28466/task/28476/stat : 28476 (java) S 28463 28466 28079 0 -1 1077944384 71693 0 0 0 603 35 0 0 20 0 47 0 254276394 28656312320 1750686 33554432000 4194304 4196468 140736756218464 140392228829712 140392283588309 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 11 0 0 6293624 6294260 26038272 140736756225102 140736756225285 140736756225285 140736756228047 0
[pid=28466/tid=28477] ppid=28463 vsize=27984680 memory=1580 CPUtime=2.72 cores=0-7
/proc/28466/task/28477/stat : 28477 (java) S 28463 28466 28079 0 -1 1077944384 108291 0 0 0 234 38 0 0 20 0 47 0 254276396 28656312320 1750686 33554432000 4194304 4196468 140736756218464 140391412095600 140392283589250 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26038272 140736756225102 140736756225285 140736756225285 140736756228047 0
[pid=28466/tid=28478] ppid=28463 vsize=27984680 memory=2240 CPUtime=0 cores=0-7
/proc/28466/task/28478/stat : 28478 (java) S 28463 28466 28079 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 47 0 254276396 28656312320 1750686 33554432000 4194304 4196468 140736756218464 140391411041632 140392283588309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26038272 140736756225102 140736756225285 140736756225285 140736756228047 0
[pid=28466/tid=28479] ppid=28463 vsize=27984680 memory=4124 CPUtime=0 cores=0-7
/proc/28466/task/28479/stat : 28479 (java) S 28463 28466 28079 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 47 0 254276396 28656312320 1750686 33554432000 4194304 4196468 140736756218464 140391409989248 140392283588309 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26038272 140736756225102 140736756225285 140736756225285 140736756228047 0
[pid=28466/tid=28480] ppid=28463 vsize=27984680 memory=2100 CPUtime=0 cores=0-7
/proc/28466/task/28480/stat : 28480 (java) S 28463 28466 28079 0 -1 1077944384 248 0 0 0 0 0 0 0 20 0 47 0 254276399 28656312320 1750686 33554432000 4194304 4196468 140736756218464 140390418606672 140392283596699 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26038272 140736756225102 140736756225285 140736756225285 140736756228047 0
[pid=28466/tid=28481] ppid=28463 vsize=27984680 memory=7528 CPUtime=1.49 cores=0-7
/proc/28466/task/28481/stat : 28481 (java) S 28463 28466 28079 0 -1 1077944384 6332 0 0 0 146 3 0 0 20 0 47 0 254276399 28656312320 1750686 33554432000 4194304 4196468 140736756218464 140390417553520 140392283589250 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26038272 140736756225102 140736756225285 140736756225285 140736756228047 0
[pid=28466/tid=28482] ppid=28463 vsize=27984680 memory=840 CPUtime=1.5 cores=0-7
/proc/28466/task/28482/stat : 28482 (java) S 28463 28466 28079 0 -1 1077944384 6777 0 0 0 150 0 0 0 20 0 47 0 254276399 28656312320 1750686 33554432000 4194304 4196468 140736756218464 140390416500720 140392283589250 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26038272 140736756225102 140736756225285 140736756225285 140736756228047 0
[pid=28466/tid=28483] ppid=28463 vsize=27984680 memory=6999104 CPUtime=1.48 cores=0-7
/proc/28466/task/28483/stat : 28483 (java) R 28463 28466 28079 0 -1 4202560 5858 0 0 0 147 1 0 0 20 0 47 0 254276399 28656312320 1750686 33554432000 4194304 4196468 140736756218464 140390415434976 140392262816561 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26038272 140736756225102 140736756225285 140736756225285 140736756228047 0
[pid=28466/tid=28484] ppid=28463 vsize=27984680 memory=288230621803970871 CPUtime=1.15 cores=0-7
/proc/28466/task/28484/stat : 28484 (java) R 28463 28466 28079 0 -1 4202560 19002 0 0 0 112 3 0 0 20 0 47 0 254276399 28656312320 1750686 33554432000 4194304 4196468 140736756218464 140390414395632 140392275818971 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26038272 140736756225102 140736756225285 140736756225285 140736756228047 0
[pid=28466/tid=28485] ppid=28463 vsize=27984680 memory=13567093857585738 CPUtime=0 cores=0-7
/proc/28466/task/28485/stat : 28485 (java) S 28463 28466 28079 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 47 0 254276399 28656312320 1750686 33554432000 4194304 4196468 140736756218464 140390413343584 140392283588309 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26038272 140736756225102 140736756225285 140736756225285 140736756228047 0
[pid=28466/tid=28486] ppid=28463 vsize=27984680 memory=1796 CPUtime=0.85 cores=0-7
/proc/28466/task/28486/stat : 28486 (java) S 28463 28466 28079 0 -1 1077944384 5200 0 0 0 36 49 0 0 20 0 47 0 254276399 28656312320 1750686 33554432000 4194304 4196468 140736756218464 140390412290864 140392283589250 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26038272 140736756225102 140736756225285 140736756225285 140736756228047 0
[pid=28466/tid=28487] ppid=28463 vsize=27984680 memory=636 CPUtime=0.11 cores=0-7
/proc/28466/task/28487/stat : 28487 (java) S 28463 28466 28079 0 -1 1077944384 9151 0 0 0 10 1 0 0 20 0 47 0 254276598 28656312320 1750686 33554432000 4194304 4196468 140736756218464 140390403044688 140392283588309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26038272 140736756225102 140736756225285 140736756225285 140736756228047 0
[pid=28466/tid=28489] ppid=28463 vsize=27984680 memory=1232 CPUtime=2495.51 cores=0-7
/proc/28466/task/28489/stat : 28489 (java) R 28463 28466 28079 0 -1 4202560 97202 0 0 0 249411 140 0 0 20 0 47 0 254276636 28656312320 1750686 33554432000 4194304 4196468 140736756218464 140390086551048 140391906394591 0 4 0 16800975 0 0 0 -1 5 0 0 15 0 0 6293624 6294260 26038272 140736756225102 140736756225285 140736756225285 140736756228047 0
[pid=28466/tid=28490] ppid=28463 vsize=27984680 memory=2460 CPUtime=0.12 cores=0-7
/proc/28466/task/28490/stat : 28490 (java) S 28463 28466 28079 0 -1 1077944384 124 0 0 0 12 0 0 0 20 0 47 0 254276637 28656312320 1750686 33554432000 4194304 4196468 140736756218464 140390085505936 140392283588309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26038272 140736756225102 140736756225285 140736756225285 140736756228047 0
[pid=28466/tid=28491] ppid=28463 vsize=27984680 memory=932 CPUtime=2499.38 cores=0-7
/proc/28466/task/28491/stat : 28491 (java) R 28463 28466 28079 0 -1 4202560 100378 0 0 0 249797 141 0 0 20 0 47 0 254276640 28656312320 1750686 33554432000 4194304 4196468 140736756218464 140390084445840 140391895618472 0 4 0 16800975 0 0 0 -1 0 0 0 10 0 0 6293624 6294260 26038272 140736756225102 140736756225285 140736756225285 140736756228047 0
[pid=28466/tid=28492] ppid=28463 vsize=27984680 memory=1580 CPUtime=0.1 cores=0-7
/proc/28466/task/28492/stat : 28492 (java) S 28463 28466 28079 0 -1 1077944384 61 0 0 0 10 0 0 0 20 0 47 0 254276644 28656312320 1750686 33554432000 4194304 4196468 140736756218464 140390081303696 140392283588309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26038272 140736756225102 140736756225285 140736756225285 140736756228047 0
[pid=28466/tid=28493] ppid=28463 vsize=27984680 memory=0 CPUtime=2497.49 cores=0-7
/proc/28466/task/28493/stat : 28493 (java) R 28463 28466 28079 0 -1 4202560 95531 0 0 0 249602 147 0 0 20 0 47 0 254276644 28656312320 1750686 33554432000 4194304 4196468 140736756218464 140390080243720 140391905857256 0 4 0 16800975 0 0 0 -1 6 0 0 14 0 0 6293624 6294260 26038272 140736756225102 140736756225285 140736756225285 140736756228047 0
[pid=28466/tid=28494] ppid=28463 vsize=27984680 memory=280244738867296 CPUtime=0.12 cores=0-7
/proc/28466/task/28494/stat : 28494 (java) R 28463 28466 28079 0 -1 1077944384 1470 0 0 0 12 0 0 0 20 0 47 0 254276644 28656312320 1750686 33554432000 4194304 4196468 140736756218464 140390079194592 140392283589250 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26038272 140736756225102 140736756225285 140736756225285 140736756228047 0
[pid=28466/tid=28495] ppid=28463 vsize=27984680 memory=3184238042446076096 CPUtime=2494.33 cores=0-7
/proc/28466/task/28495/stat : 28495 (java) R 28463 28466 28079 0 -1 4202560 92935 0 0 0 249309 124 0 0 20 0 47 0 254276644 28656312320 1750686 33554432000 4194304 4196468 140736756218464 140390078138760 140391906392911 0 4 0 16800975 0 0 0 -1 4 0 0 17 0 0 6293624 6294260 26038272 140736756225102 140736756225285 140736756225285 140736756228047 0
[pid=28466/tid=28496] ppid=28463 vsize=27984680 memory=7528 CPUtime=2497.43 cores=0-7
/proc/28466/task/28496/stat : 28496 (java) R 28463 28466 28079 0 -1 4202560 96882 0 0 0 249603 140 0 0 20 0 47 0 254276644 28656312320 1750686 33554432000 4194304 4196468 140736756218464 140390077085832 140391906367069 0 4 0 16800975 0 0 0 -1 1 0 0 9 0 0 6293624 6294260 26038272 140736756225102 140736756225285 140736756225285 140736756228047 0
[pid=28466/tid=28497] ppid=28463 vsize=27984680 memory=4872558044660077418 CPUtime=2493.58 cores=0-7
/proc/28466/task/28497/stat : 28497 (java) R 28463 28466 28079 0 -1 4202560 90972 0 0 0 249222 136 0 0 20 0 47 0 254276645 28656312320 1750686 33554432000 4194304 4196468 140736756218464 140390076032024 140391906394568 0 4 0 16800975 0 0 0 -1 3 0 0 11 0 0 6293624 6294260 26038272 140736756225102 140736756225285 140736756225285 140736756228047 0
[pid=28466/tid=28498] ppid=28463 vsize=27984680 memory=38376 CPUtime=0.07 cores=0-7
/proc/28466/task/28498/stat : 28498 (java) S 28463 28466 28079 0 -1 1077944384 91 0 0 0 7 0 0 0 20 0 47 0 254276651 28656312320 1750686 33554432000 4194304 4196468 140736756218464 140390074987408 140392283588309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26038272 140736756225102 140736756225285 140736756225285 140736756228047 0
[pid=28466/tid=28499] ppid=28463 vsize=27984680 memory=4048 CPUtime=2497.01 cores=0-7
/proc/28466/task/28499/stat : 28499 (java) R 28463 28466 28079 0 -1 4202560 120591 0 0 0 249541 160 0 0 20 0 47 0 254276652 28656312320 1750686 33554432000 4194304 4196468 140736756218464 140390073927560 140391906367188 0 4 0 16800975 0 0 0 -1 7 0 0 13 0 0 6293624 6294260 26038272 140736756225102 140736756225285 140736756225285 140736756228047 0
[pid=28466/tid=28500] ppid=28463 vsize=27984680 memory=1796 CPUtime=2491.86 cores=0-7
/proc/28466/task/28500/stat : 28500 (java) R 28463 28466 28079 0 -1 4202560 96720 0 0 0 249041 145 0 0 20 0 47 0 254276652 28656312320 1750686 33554432000 4194304 4196468 140736756218464 140390072874760 140391906392756 0 4 0 16800975 0 0 0 -1 2 0 0 10 0 0 6293624 6294260 26038272 140736756225102 140736756225285 140736756225285 140736756228047 0
[pid=28466/tid=28501] ppid=28463 vsize=27984680 memory=636 CPUtime=0.09 cores=0-7
/proc/28466/task/28501/stat : 28501 (java) S 28463 28466 28079 0 -1 1077944384 2374 0 0 0 9 0 0 0 20 0 47 0 254276652 28656312320 1750686 33554432000 4194304 4196468 140736756218464 140390071830032 140392283588309 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26038272 140736756225102 140736756225285 140736756225285 140736756228047 0
[pid=28466/tid=28502] ppid=28463 vsize=27984680 memory=960 CPUtime=0.1 cores=0-7
/proc/28466/task/28502/stat : 28502 (java) S 28463 28466 28079 0 -1 1077944384 1785 0 0 0 10 0 0 0 20 0 47 0 254276652 28656312320 1750686 33554432000 4194304 4196468 140736756218464 140390070777232 140392283588309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26038272 140736756225102 140736756225285 140736756225285 140736756228047 0
[pid=28466/tid=28503] ppid=28463 vsize=27984680 memory=1232 CPUtime=0.06 cores=0-7
/proc/28466/task/28503/stat : 28503 (java) S 28463 28466 28079 0 -1 1077944384 93 0 0 0 6 0 0 0 20 0 47 0 254276652 28656312320 1750686 33554432000 4194304 4196468 140736756218464 140390069724944 140392283588309 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26038272 140736756225102 140736756225285 140736756225285 140736756228047 0
[pid=28466/tid=28504] ppid=28463 vsize=27984680 memory=2460 CPUtime=0.07 cores=0-7
/proc/28466/task/28504/stat : 28504 (java) S 28463 28466 28079 0 -1 1077944384 1508 0 0 0 7 0 0 0 20 0 47 0 254276652 28656312320 1750686 33554432000 4194304 4196468 140736756218464 140390068672144 140392283588309 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26038272 140736756225102 140736756225285 140736756225285 140736756228047 0
[pid=28466/tid=28505] ppid=28463 vsize=27984680 memory=932 CPUtime=0.09 cores=0-7
/proc/28466/task/28505/stat : 28505 (java) S 28463 28466 28079 0 -1 1077944384 2333 0 0 0 9 0 0 0 20 0 47 0 254276659 28656312320 1750686 33554432000 4194304 4196468 140736756218464 140390067618832 140392283588309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26038272 140736756225102 140736756225285 140736756225285 140736756228047 0
[pid=28466/tid=28506] ppid=28463 vsize=27984680 memory=1580 CPUtime=0.07 cores=0-7
/proc/28466/task/28506/stat : 28506 (java) S 28463 28466 28079 0 -1 1077944384 1809 0 0 0 7 0 0 0 20 0 47 0 254276659 28656312320 1750686 33554432000 4194304 4196468 140736756218464 140388520121232 140392283588309 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26038272 140736756225102 140736756225285 140736756225285 140736756228047 0
[pid=28466/tid=28507] ppid=28463 vsize=27984680 memory=2240 CPUtime=0.09 cores=0-7
/proc/28466/task/28507/stat : 28507 (java) S 28463 28466 28079 0 -1 1077944384 2030 0 0 0 9 0 0 0 20 0 47 0 254276659 28656312320 1750686 33554432000 4194304 4196468 140736756218464 140388519068944 140392283588309 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26038272 140736756225102 140736756225285 140736756225285 140736756228047 0
[pid=28466/tid=28508] ppid=28463 vsize=27984680 memory=6791534058613427641 CPUtime=0.07 cores=0-7
/proc/28466/task/28508/stat : 28508 (java) S 28463 28466 28079 0 -1 1077944384 300 0 0 0 7 0 0 0 20 0 47 0 254276659 28656312320 1750686 33554432000 4194304 4196468 140736756218464 140388518016144 140392283588309 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26038272 140736756225102 140736756225285 140736756225285 140736756228047 0
[pid=28466/tid=28509] ppid=28463 vsize=27984680 memory=2100 CPUtime=0.08 cores=0-7
/proc/28466/task/28509/stat : 28509 (java) S 28463 28466 28079 0 -1 1077944384 1823 0 0 0 8 0 0 0 20 0 47 0 254276660 28656312320 1750686 33554432000 4194304 4196468 140736756218464 140388516963856 140392283588309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 26038272 140736756225102 140736756225285 140736756225285 140736756228047 0
[pid=28466/tid=28510] ppid=28463 vsize=27984680 memory=7528 CPUtime=0.05 cores=0-7
/proc/28466/task/28510/stat : 28510 (java) S 28463 28466 28079 0 -1 1077944384 44 0 0 0 5 0 0 0 20 0 47 0 254276661 28656312320 1750686 33554432000 4194304 4196468 140736756218464 140388515911056 140392283588309 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26038272 140736756225102 140736756225285 140736756225285 140736756228047 0
[pid=28466/tid=28511] ppid=28463 vsize=27984680 memory=303430223234596890 CPUtime=0.08 cores=0-7
/proc/28466/task/28511/stat : 28511 (java) S 28463 28466 28079 0 -1 1077944384 1809 0 0 0 8 0 0 0 20 0 47 0 254276661 28656312320 1750686 33554432000 4194304 4196468 140736756218464 140388514858768 140392283588309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26038272 140736756225102 140736756225285 140736756225285 140736756228047 0
[pid=28466/tid=28512] ppid=28463 vsize=27984680 memory=301741420686082359 CPUtime=0.08 cores=0-7
/proc/28466/task/28512/stat : 28512 (java) S 28463 28466 28079 0 -1 1077944384 1421 0 0 0 8 0 0 0 20 0 47 0 254276661 28656312320 1750686 33554432000 4194304 4196468 140736756218464 140388513805968 140392283588309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26038272 140736756225102 140736756225285 140736756225285 140736756228047 0
Current children cumulated CPU time: 20035.8 s
Current children cumulated vsize: 27984680 KiB
Current children cumulated memory: 7002744 KiB

Child status: 143
Real time (s): 2520.25
CPU time (s): 20035.9
CPU user time (s): 20021.3
CPU system time (s): 14.6101
CPU usage (%): 794.997
Max. virtual memory (cumulated for all children) (KiB): 27984680
Max. memory (cumulated for all children) (KiB): 7694044

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20021.3
system time used= 14.6101
maximum resident set size= 7694044
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1551503
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3432
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 457378
involuntary context switches= 434044


# summary of solver processes directly reported to runsolver:
#   pid: 28466
#   total CPU time (s): 20035.9
#   total CPU user time (s): 20021.3
#   total CPU system time (s): 14.6101

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 28.6284 second user time and 34.0069 second system time

The end

Launcher Data 

Begin job on node139 at 2018-08-15 23:05:32
IDJOB=4308939
IDBENCH=141215
IDSOLVER=2793
FILE ID=node139/4308939-1534367132
RUNJOBID= node139-1534362087-28106
PBS_JOBID= 21038267
Free space on /tmp= 39472 MiB

SOLVER NAME= OscaR - Parallel with EPS 2018-08-14
BENCH NAME= XCSP18/SumColoring/SumColoring-dsjc-125-1_c18.xml
COMMAND LINE= java -Xmx22000m -jar oscarCPXcsp3-parallel.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 22000 --nbcore NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4308939-1534367132/watcher-4308939-1534367132 -o /tmp/evaluation-result-4308939-1534367132/solver-4308939-1534367132 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node139-1534362087-28106 --watchdog 2580  java -Xmx22000m -jar oscarCPXcsp3-parallel.jar --randomseed 907777779 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4308939-1534367132.xml

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

MD5SUM BENCH= e8035d4b0abecbc1a78dd1ff35d13fe4
RANDOM SEED=907777779

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        19357988 kB
MemAvailable:   31897816 kB
Buffers:          276540 kB
Cached:         12377268 kB
SwapCached:            0 kB
Active:          6100100 kB
Inactive:        6605580 kB
Active(anon):       5640 kB
Inactive(anon):   106800 kB
Active(file):    6094460 kB
Inactive(file):  6498780 kB
Unevictable:        7192 kB
Mlocked:            7192 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             35872 kB
Writeback:             0 kB
AnonPages:         58808 kB
Mapped:            65804 kB
Shmem:             57996 kB
Slab:             402752 kB
SReclaimable:     375048 kB
SUnreclaim:        27704 kB
KernelStack:        3152 kB
PageTables:         4484 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     357164 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      6144 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      107904 kB
DirectMap2M:    33437696 kB

Free space on /tmp at the end= 39432 MiB
End job on node139 at 2018-08-15 23:47:33