Trace number 4291170

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
OscaR - Parallel with EPS 2018-07-02SAT (TO)11198 20041.5 2520.45

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-07-02
0.67/0.55	c seed: 992886414
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.69/1.06	c Parsing done, starting search...
6.63/2.76	o 15199
6.63/2.76	o 15194
6.63/2.76	o 15193
6.63/2.76	o 15185
6.63/2.76	o 15183
6.63/2.77	o 15181
6.63/2.77	o 15178
6.63/2.77	o 15177
6.63/2.77	o 15176
6.63/2.77	o 15175
6.63/2.77	o 15174
6.63/2.77	o 15173
6.63/2.77	o 15172
6.63/2.77	o 15171
6.63/2.77	o 15170
6.63/2.77	o 15169
6.63/2.77	o 15168
6.63/2.77	o 15167
6.63/2.77	o 15166
6.63/2.77	o 15165
6.63/2.77	o 15164
6.63/2.77	o 15163
6.63/2.77	o 15162
6.63/2.78	o 15161
6.63/2.78	o 15160
6.63/2.78	o 15159
6.63/2.78	o 15158
6.63/2.78	o 15157
6.63/2.78	o 15156
6.63/2.78	o 15155
6.63/2.78	o 15154
6.63/2.78	o 15153
6.63/2.78	o 15152
6.63/2.78	o 15151
6.63/2.78	o 15150
6.63/2.78	o 15149
6.63/2.78	o 15148
6.63/2.78	o 15147
6.63/2.78	o 15146
6.63/2.78	o 15145
6.63/2.78	o 15144
6.63/2.78	o 15143
6.63/2.78	o 15142
6.63/2.78	o 15141
6.63/2.79	o 15140
6.63/2.79	o 15139
6.63/2.79	o 15138
6.63/2.79	o 15137
6.63/2.79	o 15136
6.63/2.79	o 15135
6.63/2.79	o 15134
6.63/2.79	o 15133
6.63/2.79	o 15132
6.63/2.79	o 15131
6.63/2.79	o 15130
6.63/2.79	o 15129
6.63/2.79	o 15128
6.63/2.79	o 15127
6.63/2.79	o 15126
6.63/2.79	o 15125
6.63/2.79	o 15124
6.63/2.79	o 15123
6.63/2.79	o 15122
6.63/2.79	o 15121
6.63/2.79	o 15120
6.63/2.79	o 15119
6.63/2.79	o 15118
6.63/2.79	o 15117
6.63/2.79	o 15116
6.63/2.79	o 15115
6.63/2.79	o 15114
6.63/2.79	o 15113
6.63/2.79	o 15112
6.63/2.79	o 15111
7.38/2.80	o 15110
7.38/2.80	o 15109
7.38/2.80	o 15108
7.38/2.80	o 15107
7.38/2.80	o 15106
7.38/2.80	o 15105
7.38/2.80	o 15104
7.38/2.80	o 15103
7.38/2.80	o 15102
7.38/2.80	o 15101
7.38/2.80	o 15100
7.38/2.80	o 15099
7.38/2.80	o 15098
7.38/2.80	o 15097
7.38/2.80	o 15096
7.38/2.80	o 15095
7.38/2.80	o 15094
7.38/2.80	o 15093
7.38/2.80	o 15092
7.38/2.81	o 15091
7.38/2.81	o 15090
7.38/2.81	o 15089
7.38/2.81	o 15088
7.38/2.81	o 15087
7.38/2.81	o 15086
7.38/2.81	o 15085
7.38/2.81	o 15084
7.38/2.81	o 15083
7.38/2.81	o 15082
7.38/2.81	o 15081
7.38/2.81	o 15080
7.38/2.81	o 15079
7.38/2.81	o 15078
7.38/2.81	o 15077
7.38/2.81	o 15076
7.38/2.81	o 15075
7.38/2.81	o 15074
7.38/2.81	o 15073
7.38/2.81	o 15072
7.38/2.81	o 15071
7.38/2.81	o 15070
7.38/2.81	o 15069
7.38/2.81	o 15068
7.38/2.81	o 15067
7.38/2.81	o 15066
7.38/2.81	o 15065
7.38/2.81	o 15064
7.38/2.81	o 15063
7.38/2.81	o 15062
7.38/2.81	o 15061
7.38/2.81	o 15060
7.38/2.81	o 15059
7.38/2.81	o 15058
7.38/2.82	o 15057
7.38/2.83	o 15056
7.38/2.83	o 15055
7.38/2.83	o 15054
7.38/2.83	o 15053
7.38/2.83	o 15052
7.38/2.83	o 15051
7.38/2.83	o 15050
7.38/2.83	o 15049
7.38/2.83	o 15048
7.38/2.83	o 15047
7.38/2.83	o 15046
7.38/2.83	o 15045
7.38/2.83	o 15044
7.38/2.83	o 15043
7.38/2.83	o 15042
7.38/2.83	o 15041
7.38/2.83	o 15040
7.38/2.83	o 15039
7.38/2.83	o 15038
7.38/2.83	o 15037
7.38/2.83	o 15036
7.38/2.83	o 15035
7.38/2.83	o 15034
7.38/2.83	o 15033
7.38/2.83	o 15032
7.38/2.83	o 15031
7.38/2.83	o 15030
7.38/2.83	o 15029
7.38/2.83	o 15028
7.38/2.83	o 15027
7.38/2.83	o 15026
7.38/2.83	o 15025
7.38/2.83	o 15024
7.38/2.83	o 15023
7.38/2.83	o 15022
7.38/2.83	o 15021
7.38/2.83	o 15020
7.38/2.83	o 15019
7.38/2.83	o 15018
7.38/2.83	o 15017
7.38/2.83	o 15016
7.38/2.83	o 15015
7.38/2.83	o 15014
7.38/2.83	o 15013
7.38/2.83	o 15012
7.38/2.83	o 15011
7.38/2.83	o 15010
7.38/2.83	o 15009
7.38/2.83	o 15008
7.38/2.83	o 15007
7.38/2.85	o 15006
7.38/2.85	o 15005
7.38/2.85	o 15004
7.38/2.85	o 15003
7.38/2.85	o 15002
7.38/2.85	o 15001
7.38/2.85	o 15000
7.38/2.85	o 14999
7.38/2.85	o 14998
7.38/2.85	o 14997
7.38/2.85	o 14996
7.38/2.85	o 14995
7.38/2.85	o 14994
7.38/2.85	o 14993
7.38/2.85	o 14992
7.38/2.85	o 14991
7.38/2.85	o 14990
7.38/2.85	o 14989
7.38/2.85	o 14988
7.38/2.85	o 14987
7.38/2.85	o 14986
7.38/2.85	o 14985
7.38/2.85	o 14984
7.38/2.85	o 14983
7.38/2.85	o 14982
7.38/2.85	o 14981
7.38/2.85	o 14980
7.38/2.85	o 14979
7.38/2.85	o 14978
7.38/2.85	o 14977
7.38/2.85	o 14976
7.38/2.85	o 14975
7.38/2.85	o 14974
7.38/2.85	o 14973
7.38/2.85	o 14972
7.38/2.85	o 14971
7.38/2.85	o 14970
7.38/2.85	o 14969
7.38/2.85	o 14968
7.38/2.85	o 14967
7.38/2.85	o 14966
7.38/2.85	o 14965
7.38/2.85	o 14964
7.38/2.85	o 14963
7.38/2.85	o 14962
7.38/2.85	o 14961
7.38/2.85	o 14960
7.38/2.85	o 14959
7.38/2.85	o 14958
7.38/2.85	o 14957
7.38/2.85	o 14956
7.38/2.85	o 14955
7.38/2.85	o 14954
7.38/2.85	o 14953
7.38/2.85	o 14952
7.38/2.85	o 14951
7.38/2.85	o 14950
7.38/2.85	o 14949
7.38/2.85	o 14948
7.38/2.85	o 14947
7.38/2.85	o 14946
7.38/2.85	o 14945
7.38/2.85	o 14944
7.38/2.85	o 14943
7.38/2.85	o 14942
7.38/2.85	o 14941
7.38/2.85	o 14940
7.38/2.85	o 14939
7.38/2.85	o 14938
7.38/2.85	o 14937
7.38/2.86	o 14936
7.38/2.86	o 14935
7.38/2.86	o 14934
7.38/2.86	o 14933
7.38/2.86	o 14932
7.38/2.86	o 14931
7.38/2.86	o 14930
7.38/2.86	o 14929
7.38/2.86	o 14928
7.38/2.86	o 14927
7.38/2.86	o 14926
7.38/2.86	o 14925
7.38/2.86	o 14924
7.38/2.86	o 14923
7.38/2.86	o 14922
7.38/2.86	o 14921
7.38/2.86	o 14920
7.38/2.86	o 14919
7.38/2.86	o 14918
7.38/2.86	o 14917
7.38/2.86	o 14916
7.38/2.86	o 14915
7.38/2.86	o 14914
7.38/2.86	o 14913
7.38/2.86	o 14912
7.38/2.86	o 14911
7.38/2.86	o 14910
7.38/2.86	o 14909
7.38/2.86	o 14908
7.38/2.86	o 14907
7.38/2.86	o 14906
7.38/2.86	o 14905
7.38/2.87	o 14904
7.38/2.87	o 14903
7.38/2.87	o 14902
7.38/2.87	o 14901
7.38/2.87	o 14900
7.38/2.87	o 14899
7.38/2.87	o 14898
7.38/2.87	o 14897
7.38/2.87	o 14896
7.38/2.87	o 14895
7.38/2.87	o 14894
7.38/2.87	o 14893
7.38/2.87	o 14892
7.38/2.87	o 14891
7.38/2.87	o 14890
7.38/2.87	o 14889
7.38/2.87	o 14888
7.38/2.87	o 14887
7.38/2.87	o 14886
7.38/2.87	o 14885
7.38/2.87	o 14884
7.38/2.87	o 14883
7.38/2.87	o 14882
7.38/2.87	o 14881
7.38/2.87	o 14880
7.38/2.87	o 14879
7.38/2.87	o 14878
7.38/2.87	o 14877
7.38/2.87	o 14876
7.38/2.87	o 14875
7.38/2.87	o 14874
7.38/2.87	o 14873
7.38/2.88	o 14872
7.38/2.88	o 14871
7.38/2.88	o 14870
7.38/2.88	o 14869
7.38/2.88	o 14868
7.38/2.88	o 14867
7.38/2.88	o 14866
7.38/2.88	o 14865
7.38/2.88	o 14864
7.38/2.88	o 14863
7.38/2.88	o 14862
7.38/2.88	o 14861
7.38/2.88	o 14860
7.38/2.88	o 14859
7.38/2.88	o 14858
7.38/2.88	o 14857
7.38/2.88	o 14856
7.38/2.88	o 14855
7.38/2.88	o 14854
7.38/2.88	o 14853
7.38/2.88	o 14852
7.38/2.88	o 14851
7.38/2.88	o 14850
7.38/2.88	o 14849
7.38/2.88	o 14848
7.38/2.88	o 14847
7.38/2.88	o 14846
7.38/2.88	o 14845
7.38/2.88	o 14844
7.38/2.88	o 14843
7.38/2.88	o 14842
7.38/2.88	o 14841
7.38/2.89	o 14840
7.38/2.89	o 14839
7.38/2.89	o 14838
7.38/2.89	o 14837
7.38/2.89	o 14836
7.38/2.89	o 14835
7.38/2.89	o 14834
7.38/2.89	o 14833
7.38/2.89	o 14832
7.38/2.89	o 14831
7.38/2.89	o 14830
7.38/2.89	o 14829
7.38/2.89	o 14828
7.38/2.89	o 14827
7.38/2.89	o 14826
7.38/2.89	o 14825
7.38/2.89	o 14824
7.38/2.89	o 14823
7.38/2.89	o 14822
7.38/2.89	o 14821
7.38/2.89	o 14820
7.38/2.89	o 14819
7.38/2.89	o 14818
7.38/2.89	o 14817
7.38/2.89	o 14816
7.38/2.89	o 14815
7.38/2.89	o 14814
7.38/2.89	o 14813
7.38/2.89	o 14812
7.38/2.89	o 14811
7.38/2.89	o 14810
7.38/2.89	o 14809
7.38/2.89	o 14808
7.38/2.89	o 14807
7.38/2.89	o 14806
7.38/2.89	o 14805
7.38/2.89	o 14804
7.38/2.89	o 14803
7.38/2.89	o 14802
7.38/2.89	o 14801
7.38/2.89	o 14800
7.38/2.89	o 14799
7.38/2.89	o 14798
7.38/2.89	o 14797
7.38/2.90	o 14796
7.38/2.90	o 14795
7.38/2.90	o 14794
7.38/2.90	o 14793
7.38/2.90	o 14792
7.38/2.90	o 14791
7.38/2.90	o 14790
7.38/2.90	o 14789
7.38/2.90	o 14788
7.38/2.90	o 14787
7.38/2.90	o 14786
7.38/2.90	o 14785
7.38/2.90	o 14784
7.38/2.90	o 14783
7.38/2.90	o 14782
7.38/2.90	o 14781
7.38/2.90	o 14780
7.38/2.90	o 14779
7.38/2.90	o 14778
7.38/2.90	o 14777
7.38/2.90	o 14776
7.38/2.90	o 14775
7.38/2.90	o 14774
7.38/2.90	o 14773
7.38/2.90	o 14772
7.38/2.90	o 14771
7.38/2.90	o 14770
7.38/2.90	o 14769
7.38/2.90	o 14768
7.38/2.90	o 14767
7.38/2.90	o 14766
7.38/2.90	o 14765
7.38/2.90	o 14764
7.38/2.90	o 14763
7.38/2.90	o 14762
7.38/2.90	o 14761
7.38/2.90	o 14760
7.38/2.90	o 14759
8.22/2.91	o 14758
8.22/2.92	o 14757
8.22/2.92	o 14756
8.22/2.92	o 14755
8.22/2.92	o 14754
8.22/2.92	o 14753
8.22/2.92	o 14752
8.22/2.92	o 14751
8.22/2.92	o 14750
8.22/2.92	o 14749
8.22/2.92	o 14748
8.22/2.92	o 14747
8.22/2.92	o 14746
8.22/2.92	o 14745
8.22/2.92	o 14744
8.22/2.92	o 14743
8.22/2.92	o 14742
8.22/2.92	o 14741
8.22/2.92	o 14740
8.22/2.92	o 14739
8.22/2.92	o 14738
8.22/2.92	o 14737
8.22/2.92	o 14736
8.22/2.92	o 14735
8.22/2.92	o 14734
8.22/2.92	o 14733
8.22/2.92	o 14732
8.22/2.92	o 14731
8.22/2.92	o 14730
8.22/2.92	o 14729
8.22/2.92	o 14728
8.22/2.92	o 14727
8.22/2.92	o 14726
8.22/2.92	o 14725
8.22/2.92	o 14724
8.22/2.92	o 14723
8.22/2.92	o 14722
8.22/2.92	o 14721
8.22/2.92	o 14720
8.22/2.92	o 14719
8.22/2.92	o 14718
8.22/2.92	o 14717
8.22/2.93	o 14716
8.22/2.93	o 14715
8.22/2.93	o 14714
8.22/2.93	o 14713
8.22/2.93	o 14712
8.22/2.93	o 14711
8.22/2.93	o 14710
8.22/2.93	o 14709
8.22/2.93	o 14708
8.22/2.93	o 14707
8.22/2.93	o 14706
8.22/2.93	o 14705
8.22/2.93	o 14704
8.22/2.93	o 14703
8.22/2.93	o 14702
8.22/2.93	o 14701
8.22/2.93	o 14700
8.22/2.93	o 14699
8.22/2.93	o 14698
8.22/2.93	o 14697
8.22/2.93	o 14696
8.22/2.93	o 14695
8.22/2.93	o 14694
8.22/2.93	o 14693
8.22/2.93	o 14692
8.22/2.93	o 14691
8.22/2.93	o 14690
8.22/2.93	o 14689
8.22/2.93	o 14688
8.22/2.93	o 14687
8.22/2.93	o 14686
8.22/2.93	o 14685
8.22/2.93	o 14684
8.22/2.93	o 14683
8.22/2.93	o 14682
8.22/2.93	o 14681
8.22/2.93	o 14680
8.22/2.93	o 14679
8.22/2.93	o 14678
8.22/2.93	o 14677
8.22/2.93	o 14676
8.22/2.93	o 14675
8.22/2.93	o 14674
8.22/2.93	o 14673
8.22/2.93	o 14672
8.22/2.93	o 14671
8.22/2.93	o 14670
8.22/2.94	o 14669
8.22/2.94	o 14668
8.22/2.94	o 14667
8.22/2.94	o 14666
8.22/2.94	o 14665
8.22/2.94	o 14664
8.22/2.94	o 14663
8.22/2.94	o 14662
8.22/2.94	o 14661
8.22/2.94	o 14660
8.22/2.94	o 14659
8.22/2.94	o 14658
8.22/2.94	o 14657
8.22/2.94	o 14656
8.22/2.94	o 14655
8.22/2.94	o 14654
8.22/2.94	o 14653
8.22/2.94	o 14652
8.22/2.94	o 14651
8.22/2.94	o 14650
8.22/2.94	o 14649
8.22/2.94	o 14648
8.22/2.94	o 14647
8.22/2.94	o 14646
8.22/2.94	o 14645
8.22/2.94	o 14644
8.22/2.94	o 14643
8.22/2.94	o 14642
8.22/2.94	o 14641
8.22/2.94	o 14640
8.22/2.94	o 14639
8.22/2.94	o 14638
8.22/2.94	o 14637
8.22/2.94	o 14636
8.22/2.94	o 14635
8.22/2.94	o 14634
8.22/2.94	o 14633
8.22/2.94	o 14632
8.22/2.95	o 14631
8.22/2.95	o 14630
8.22/2.95	o 14629
8.22/2.95	o 14628
8.22/2.95	o 14627
8.22/2.95	o 14626
8.22/2.95	o 14625
8.22/2.95	o 14624
8.22/2.95	o 14623
8.22/2.95	o 14622
8.22/2.95	o 14621
8.22/2.95	o 14620
8.22/2.95	o 14619
8.22/2.95	o 14618
8.22/2.95	o 14617
8.22/2.95	o 14616
8.22/2.95	o 14615
8.22/2.95	o 14614
8.22/2.95	o 14613
8.22/2.95	o 14612
8.22/2.95	o 14611
8.22/2.95	o 14610
8.22/2.95	o 14609
8.22/2.95	o 14608
8.22/2.95	o 14607
8.22/2.95	o 14606
8.22/2.95	o 14605
8.22/2.95	o 14604
8.22/2.95	o 14603
8.22/2.95	o 14602
8.22/2.95	o 14601
8.22/2.95	o 14600
8.22/2.95	o 14599
8.22/2.95	o 14598
8.22/2.95	o 14597
8.22/2.95	o 14596
8.22/2.95	o 14595
8.22/2.95	o 14594
8.22/2.95	o 14593
8.22/2.95	o 14592
8.22/2.96	o 14591
8.22/2.96	o 14590
8.22/2.96	o 14589
8.22/2.96	o 14588
8.22/2.96	o 14587
8.22/2.96	o 14586
8.22/2.96	o 14585
8.22/2.96	o 14584
8.22/2.96	o 14583
8.22/2.96	o 14582
8.22/2.96	o 14581
8.22/2.96	o 14580
8.22/2.96	o 14579
8.22/2.96	o 14578
8.22/2.96	o 14577
8.22/2.96	o 14576
8.22/2.96	o 14575
8.22/2.96	o 14574
8.22/2.96	o 14573
8.22/2.96	o 14572
8.22/2.96	o 14571
8.22/2.96	o 14570
8.22/2.96	o 14569
8.22/2.96	o 14568
8.22/2.96	o 14567
8.22/2.96	o 14566
8.22/2.98	o 14565
8.22/2.98	o 14564
8.22/2.98	o 14563
8.22/2.98	o 14562
8.22/2.98	o 14561
8.22/2.98	o 14560
8.22/2.98	o 14559
8.22/2.98	o 14558
8.22/2.98	o 14557
8.22/2.98	o 14556
8.22/2.98	o 14555
8.22/2.98	o 14554
8.22/2.98	o 14553
8.22/2.98	o 14552
8.22/2.98	o 14551
8.22/2.98	o 14550
8.22/2.98	o 14549
8.22/2.98	o 14548
8.22/2.98	o 14547
8.22/2.98	o 14546
8.22/2.98	o 14545
8.22/2.98	o 14544
8.22/2.98	o 14543
8.22/2.98	o 14542
8.22/2.98	o 14541
8.22/2.98	o 14540
8.22/2.98	o 14539
8.22/2.98	o 14538
8.22/2.98	o 14537
8.22/2.98	o 14536
8.22/2.98	o 14535
8.22/2.98	o 14534
8.22/2.98	o 14533
8.22/2.98	o 14532
8.22/2.98	o 14531
8.22/2.98	o 14530
8.22/2.98	o 14529
8.22/2.98	o 14528
8.22/2.98	o 14527
8.22/2.98	o 14526
8.22/2.98	o 14525
8.22/2.98	o 14524
8.22/2.98	o 14523
8.22/2.98	o 14522
8.22/2.98	o 14521
8.22/2.98	o 14520
8.22/2.98	o 14519
8.22/2.98	o 14518
8.22/2.98	o 14517
8.22/2.98	o 14516
8.22/2.98	o 14515
8.22/2.98	o 14514
8.22/2.98	o 14513
8.22/2.98	o 14512
8.22/2.98	o 14511
8.22/2.98	o 14510
8.22/2.98	o 14509
8.22/2.98	o 14508
8.22/2.98	o 14507
8.22/2.98	o 14506
8.22/2.98	o 14505
8.22/2.98	o 14504
8.22/2.98	o 14503
8.22/2.98	o 14502
8.22/2.98	o 14501
8.22/2.98	o 14500
8.22/2.98	o 14499
8.22/2.98	o 14498
8.22/2.98	o 14497
8.22/2.98	o 14496
8.22/2.98	o 14495
8.22/2.98	o 14494
8.22/2.98	o 14493
8.22/2.98	o 14492
8.22/2.99	o 14491
8.22/2.99	o 14490
8.22/2.99	o 14489
8.22/2.99	o 14488
8.22/2.99	o 14487
8.22/2.99	o 14486
8.22/2.99	o 14485
8.22/2.99	o 14484
8.22/2.99	o 14483
8.22/2.99	o 14482
8.22/2.99	o 14481
8.22/2.99	o 14480
8.22/2.99	o 14479
8.22/2.99	o 14478
8.22/2.99	o 14477
8.22/2.99	o 14476
8.22/2.99	o 14475
8.22/2.99	o 14474
8.22/2.99	o 14473
8.22/2.99	o 14472
8.22/2.99	o 14471
8.22/2.99	o 14470
8.22/2.99	o 14469
8.22/2.99	o 14468
8.22/2.99	o 14467
8.22/2.99	o 14466
8.22/2.99	o 14465
8.22/2.99	o 14464
8.22/3.00	o 14463
8.22/3.00	o 14462
8.22/3.00	o 14461
8.22/3.00	o 14460
8.22/3.00	o 14459
8.22/3.00	o 14458
8.22/3.00	o 14457
8.22/3.00	o 14456
8.22/3.00	o 14455
8.22/3.00	o 14454
8.22/3.00	o 14453
8.22/3.00	o 14452
8.22/3.00	o 14451
8.22/3.00	o 14450
8.22/3.00	o 14449
8.22/3.00	o 14448
8.22/3.00	o 14447
8.22/3.00	o 14446
8.22/3.00	o 14445
8.22/3.00	o 14444
8.22/3.00	o 14443
8.22/3.00	o 14442
8.22/3.00	o 14441
8.22/3.00	o 14440
8.22/3.00	o 14439
8.22/3.00	o 14438
8.22/3.01	o 14437
8.22/3.01	o 14436
8.22/3.01	o 14435
8.22/3.01	o 14434
8.22/3.01	o 14433
8.22/3.01	o 14432
8.22/3.01	o 14431
8.22/3.01	o 14430
9.00/3.01	o 14429
9.00/3.01	o 14428
9.00/3.01	o 14427
9.00/3.01	o 14426
9.00/3.01	o 14425
9.00/3.03	o 14424
9.00/3.03	o 14423
9.00/3.03	o 14422
9.00/3.03	o 14421
9.00/3.03	o 14420
9.00/3.03	o 14419
9.00/3.03	o 14418
9.00/3.03	o 14417
9.00/3.03	o 14416
9.00/3.03	o 14415
9.00/3.03	o 14414
9.00/3.03	o 14413
9.00/3.03	o 14412
9.00/3.03	o 14411
9.00/3.03	o 14410
9.00/3.03	o 14409
9.00/3.03	o 14408
9.00/3.03	o 14407
9.00/3.03	o 14406
9.00/3.03	o 14405
9.00/3.03	o 14404
9.00/3.03	o 14403
9.00/3.03	o 14402
9.00/3.03	o 14401
9.00/3.03	o 14400
9.00/3.03	o 14399
9.00/3.03	o 14398
9.00/3.03	o 14397
9.00/3.03	o 14396
9.00/3.04	o 14395
9.00/3.04	o 14394
9.00/3.04	o 14393
9.00/3.04	o 14392
9.00/3.04	o 14391
9.00/3.04	o 14390
9.00/3.04	o 14389
9.00/3.04	o 14388
9.00/3.04	o 14387
9.00/3.04	o 14386
9.00/3.04	o 14385
9.00/3.04	o 14384
9.00/3.04	o 14383
9.00/3.04	o 14382
9.00/3.04	o 14381
9.00/3.04	o 14380
9.00/3.04	o 14379
9.00/3.04	o 14378
9.00/3.04	o 14377
9.00/3.04	o 14376
9.00/3.04	o 14375
9.00/3.04	o 14374
9.00/3.04	o 14373
9.00/3.04	o 14372
9.00/3.04	o 14371
9.00/3.04	o 14370
9.00/3.04	o 14369
9.00/3.04	o 14368
9.00/3.04	o 14367
9.00/3.04	o 14366
9.00/3.04	o 14365
9.00/3.04	o 14364
9.00/3.04	o 14363
9.00/3.04	o 14362
9.00/3.04	o 14361
9.00/3.05	o 14360
9.00/3.05	o 14359
9.00/3.05	o 14358
9.00/3.05	o 14357
9.00/3.05	o 14356
9.00/3.05	o 14355
9.00/3.05	o 14354
9.00/3.05	o 14353
9.00/3.05	o 14352
9.00/3.05	o 14351
9.00/3.05	o 14350
9.00/3.05	o 14349
9.00/3.05	o 14348
9.00/3.06	o 14347
9.00/3.06	o 14346
9.00/3.06	o 14345
9.00/3.06	o 14344
9.00/3.06	o 14343
9.00/3.06	o 14342
9.00/3.06	o 14341
9.00/3.06	o 14340
9.00/3.06	o 14339
9.00/3.06	o 14338
9.00/3.06	o 14337
9.00/3.06	o 14336
9.00/3.06	o 14335
9.00/3.06	o 14334
9.00/3.06	o 14333
9.00/3.06	o 14332
9.00/3.06	o 14331
9.00/3.06	o 14330
9.00/3.06	o 14329
9.00/3.06	o 14328
9.00/3.06	o 14327
9.00/3.06	o 14326
9.00/3.06	o 14325
9.00/3.06	o 14324
9.00/3.06	o 14323
9.00/3.06	o 14322
9.00/3.06	o 14321
9.00/3.06	o 14320
9.00/3.06	o 14319
9.00/3.06	o 14318
9.00/3.06	o 14317
9.00/3.06	o 14316
9.00/3.06	o 14315
9.00/3.06	o 14314
9.00/3.06	o 14313
9.00/3.06	o 14312
9.00/3.07	o 14311
9.00/3.07	o 14310
9.00/3.07	o 14309
9.00/3.07	o 14308
9.00/3.07	o 14307
9.00/3.07	o 14306
9.00/3.07	o 14305
9.00/3.07	o 14304
9.00/3.07	o 14303
9.00/3.07	o 14302
9.00/3.07	o 14301
9.00/3.07	o 14300
9.00/3.07	o 14299
9.00/3.07	o 14298
9.00/3.07	o 14297
9.00/3.07	o 14296
9.00/3.07	o 14295
9.00/3.07	o 14294
9.00/3.07	o 14293
9.00/3.07	o 14292
9.00/3.07	o 14291
9.00/3.07	o 14290
9.00/3.07	o 14289
9.00/3.07	o 14288
9.00/3.07	o 14287
9.00/3.07	o 14286
9.00/3.07	o 14285
9.00/3.07	o 14284
9.00/3.07	o 14283
9.00/3.07	o 14282
9.00/3.07	o 14281
9.00/3.07	o 14280
9.00/3.07	o 14279
9.00/3.07	o 14278
9.00/3.07	o 14277
9.00/3.07	o 14276
9.00/3.07	o 14275
9.00/3.07	o 14274
9.00/3.07	o 14273
9.00/3.07	o 14272
9.00/3.07	o 14271
9.00/3.07	o 14270
9.00/3.07	o 14269
9.00/3.07	o 14268
9.00/3.07	o 14267
9.00/3.07	o 14266
9.00/3.07	o 14265
9.00/3.07	o 14264
9.00/3.07	o 14263
9.00/3.07	o 14262
9.00/3.07	o 14261
9.00/3.07	o 14260
9.00/3.07	o 14259
9.00/3.07	o 14258
9.00/3.07	o 14257
9.00/3.07	o 14256
9.00/3.08	o 14255
9.00/3.08	o 14254
9.00/3.08	o 14253
9.00/3.08	o 14252
9.00/3.08	o 14251
9.00/3.08	o 14250
9.00/3.08	o 14249
9.00/3.08	o 14248
9.00/3.08	o 14247
9.00/3.08	o 14246
9.00/3.08	o 14245
9.00/3.08	o 14244
9.00/3.08	o 14243
9.00/3.08	o 14242
9.00/3.08	o 14241
9.00/3.08	o 14240
9.00/3.08	o 14239
9.00/3.08	o 14238
9.00/3.08	o 14237
9.00/3.08	o 14236
9.00/3.08	o 14235
9.00/3.08	o 14234
9.00/3.08	o 14233
9.00/3.08	o 14232
9.00/3.08	o 14231
9.00/3.08	o 14230
9.00/3.08	o 14229
9.00/3.08	o 14228
9.00/3.08	o 14227
9.00/3.08	o 14226
9.00/3.08	o 14225
9.00/3.08	o 14224
9.00/3.08	o 14223
9.00/3.08	o 14222
9.00/3.08	o 14221
9.00/3.08	o 14220
9.00/3.08	o 14219
9.00/3.08	o 14218
9.00/3.08	o 14217
9.00/3.08	o 14216
9.00/3.08	o 14215
9.00/3.09	o 14214
9.00/3.09	o 14213
9.00/3.09	o 14212
9.00/3.09	o 14211
9.00/3.09	o 14210
9.00/3.09	o 14209
9.00/3.09	o 14208
9.00/3.09	o 14207
9.00/3.09	o 14206
9.00/3.09	o 14205
9.00/3.09	o 14204
9.00/3.09	o 14203
9.00/3.09	o 14202
9.00/3.09	o 14201
9.00/3.09	o 14200
9.00/3.09	o 14199
9.00/3.09	o 14198
9.00/3.09	o 14197
9.00/3.09	o 14196
9.00/3.09	o 14195
9.00/3.09	o 14194
9.00/3.09	o 14193
9.00/3.09	o 14192
9.00/3.09	o 14191
9.00/3.09	o 14190
9.00/3.09	o 14189
9.00/3.09	o 14188
9.00/3.09	o 14187
9.00/3.09	o 14186
9.00/3.09	o 14185
9.00/3.09	o 14184
9.00/3.09	o 14183
9.00/3.09	o 14182
9.00/3.09	o 14181
9.00/3.09	o 14180
9.00/3.09	o 14179
9.00/3.09	o 14178
9.00/3.09	o 14177
9.00/3.09	o 14176
9.00/3.09	o 14175
9.00/3.09	o 14174
9.00/3.09	o 14173
9.00/3.09	o 14172
9.00/3.09	o 14171
9.00/3.09	o 14170
9.00/3.09	o 14169
9.00/3.09	o 14168
9.00/3.09	o 14167
9.00/3.09	o 14166
9.00/3.10	o 14165
9.00/3.10	o 14164
9.00/3.10	o 14163
9.00/3.10	o 14162
9.00/3.10	o 14161
9.00/3.10	o 14160
9.00/3.10	o 14159
9.00/3.10	o 14158
9.00/3.10	o 14157
9.00/3.10	o 14156
9.00/3.10	o 14155
9.00/3.10	o 14154
9.00/3.10	o 14153
9.00/3.10	o 14152
9.00/3.10	o 14151
9.00/3.10	o 14150
9.00/3.10	o 14149
9.00/3.10	o 14148
9.00/3.10	o 14147
9.00/3.10	o 14146
9.00/3.10	o 14145
9.00/3.10	o 14144
9.00/3.10	o 14143
9.00/3.10	o 14142
9.00/3.11	o 14141
9.00/3.11	o 14140
9.00/3.11	o 14139
9.00/3.11	o 14138
9.00/3.11	o 14137
9.00/3.11	o 14136
9.00/3.11	o 14135
9.00/3.11	o 14134
9.78/3.12	o 14133
9.78/3.12	o 14132
9.78/3.12	o 14131
9.78/3.12	o 14130
9.78/3.12	o 14129
9.78/3.12	o 14128
9.78/3.12	o 14127
9.78/3.12	o 14126
9.78/3.12	o 14125
9.78/3.12	o 14124
9.78/3.12	o 14123
9.78/3.12	o 14122
9.78/3.12	o 14121
9.78/3.12	o 14120
9.78/3.12	o 14119
9.78/3.12	o 14118
9.78/3.12	o 14117
9.78/3.12	o 14116
9.78/3.12	o 14115
9.78/3.12	o 14114
9.78/3.12	o 14113
9.78/3.12	o 14112
9.78/3.12	o 14111
9.78/3.12	o 14110
9.78/3.12	o 14109
9.78/3.12	o 14108
9.78/3.12	o 14107
9.78/3.12	o 14106
9.78/3.12	o 14105
9.78/3.12	o 14104
9.78/3.12	o 14103
9.78/3.12	o 14102
9.78/3.12	o 14101
9.78/3.12	o 14100
9.78/3.12	o 14099
9.78/3.12	o 14098
9.78/3.12	o 14097
9.78/3.12	o 14096
9.78/3.12	o 14095
9.78/3.12	o 14094
9.78/3.12	o 14093
9.78/3.12	o 14092
9.78/3.12	o 14091
9.78/3.12	o 14090
9.78/3.12	o 14089
9.78/3.12	o 14088
9.78/3.12	o 14087
9.78/3.12	o 14086
9.78/3.12	o 14085
9.78/3.12	o 14084
9.78/3.12	o 14083
9.78/3.12	o 14082
9.78/3.12	o 14081
9.78/3.12	o 14080
9.78/3.12	o 14079
9.78/3.12	o 14078
9.78/3.12	o 14077
9.78/3.12	o 14076
9.78/3.12	o 14075
9.78/3.12	o 14074
9.78/3.12	o 14073
9.78/3.12	o 14072
9.78/3.12	o 14071
9.78/3.12	o 14070
9.78/3.12	o 14069
9.78/3.12	o 14068
9.78/3.12	o 14067
9.78/3.12	o 14066
9.78/3.12	o 14065
9.78/3.12	o 14064
9.78/3.13	o 14063
9.78/3.13	o 14062
9.78/3.13	o 14061
9.78/3.13	o 14060
9.78/3.13	o 14059
9.78/3.13	o 14058
9.78/3.13	o 14057
9.78/3.13	o 14056
9.78/3.13	o 14055
9.78/3.13	o 14054
9.78/3.13	o 14053
9.78/3.13	o 14052
9.78/3.13	o 14051
9.78/3.13	o 14050
9.78/3.13	o 14049
9.78/3.13	o 14048
9.78/3.13	o 14047
9.78/3.13	o 14046
9.78/3.14	o 14045
9.78/3.14	o 14044
9.78/3.14	o 14043
9.78/3.14	o 14042
9.78/3.14	o 14041
9.78/3.14	o 14040
9.78/3.14	o 14039
9.78/3.14	o 14038
9.78/3.14	o 14037
9.78/3.14	o 14036
9.78/3.14	o 14035
9.78/3.14	o 14034
9.78/3.14	o 14033
9.78/3.14	o 14032
9.78/3.14	o 14031
9.78/3.14	o 14030
9.78/3.14	o 14029
9.78/3.14	o 14028
9.78/3.14	o 14027
9.78/3.14	o 14026
9.78/3.14	o 14025
9.78/3.14	o 14024
9.78/3.14	o 14023
9.78/3.14	o 14022
9.78/3.14	o 14021
9.78/3.15	o 14020
9.78/3.15	o 14019
9.78/3.15	o 14018
9.78/3.15	o 14017
9.78/3.15	o 14016
9.78/3.16	o 14015
9.78/3.16	o 14014
9.78/3.16	o 14013
9.78/3.16	o 14012
9.78/3.16	o 14011
9.78/3.16	o 14010
9.78/3.16	o 14009
9.78/3.16	o 14008
9.78/3.16	o 14007
9.78/3.16	o 14006
9.78/3.16	o 14005
9.78/3.16	o 14004
9.78/3.16	o 14003
9.78/3.16	o 14002
9.78/3.16	o 14001
9.78/3.16	o 14000
9.78/3.16	o 13999
9.78/3.16	o 13998
9.78/3.16	o 13997
9.78/3.16	o 13996
9.78/3.16	o 13995
9.78/3.16	o 13994
9.78/3.16	o 13993
9.78/3.16	o 13992
9.78/3.16	o 13991
9.78/3.16	o 13990
9.78/3.16	o 13989
9.78/3.17	o 13988
9.78/3.17	o 13987
9.78/3.17	o 13986
9.78/3.17	o 13985
9.78/3.17	o 13984
9.78/3.17	o 13983
9.78/3.17	o 13982
9.78/3.17	o 13981
9.78/3.17	o 13980
9.78/3.17	o 13979
9.78/3.17	o 13978
9.78/3.17	o 13977
9.78/3.17	o 13976
9.78/3.17	o 13975
9.78/3.17	o 13974
9.78/3.17	o 13973
9.78/3.17	o 13972
9.78/3.17	o 13971
9.78/3.17	o 13970
9.78/3.17	o 13969
9.78/3.17	o 13968
9.78/3.17	o 13967
9.78/3.17	o 13966
9.78/3.17	o 13965
9.78/3.17	o 13964
9.78/3.18	o 13963
9.78/3.18	o 13962
9.78/3.18	o 13961
9.78/3.18	o 13960
9.78/3.18	o 13959
9.78/3.18	o 13958
9.78/3.18	o 13957
9.78/3.18	o 13956
9.78/3.18	o 13955
9.78/3.18	o 13954
9.78/3.18	o 13953
9.78/3.18	o 13952
9.78/3.19	o 13951
9.78/3.19	o 13950
9.78/3.19	o 13949
9.78/3.19	o 13948
9.78/3.19	o 13947
9.78/3.19	o 13946
9.78/3.19	o 13945
9.78/3.19	o 13944
9.78/3.19	o 13943
9.78/3.19	o 13942
9.78/3.19	o 13941
9.78/3.19	o 13940
9.78/3.19	o 13939
9.78/3.19	o 13938
9.78/3.19	o 13937
9.78/3.19	o 13936
9.78/3.19	o 13935
10.51/3.20	o 13934
10.51/3.20	o 13933
10.51/3.20	o 13932
10.51/3.20	o 13931
10.51/3.20	o 13930
10.51/3.20	o 13929
10.51/3.20	o 13928
10.51/3.20	o 13927
10.51/3.20	o 13926
10.51/3.20	o 13925
10.51/3.20	o 13924
10.51/3.20	o 13923
10.51/3.20	o 13922
10.51/3.20	o 13921
10.51/3.20	o 13920
10.51/3.20	o 13919
10.51/3.20	o 13918
10.51/3.20	o 13917
10.51/3.20	o 13916
10.51/3.21	o 13915
10.51/3.21	o 13914
10.51/3.21	o 13913
10.51/3.21	o 13912
10.51/3.21	o 13911
10.51/3.21	o 13910
10.51/3.21	o 13909
10.51/3.21	o 13908
10.51/3.21	o 13907
10.51/3.21	o 13906
10.51/3.21	o 13905
10.51/3.21	o 13904
10.51/3.21	o 13903
10.51/3.21	o 13902
10.51/3.21	o 13901
10.51/3.21	o 13900
10.51/3.21	o 13899
10.51/3.21	o 13898
10.51/3.21	o 13897
10.51/3.21	o 13896
10.51/3.21	o 13895
10.51/3.21	o 13894
10.51/3.21	o 13893
10.51/3.21	o 13892
10.51/3.21	o 13891
10.51/3.21	o 13890
10.51/3.21	o 13889
10.51/3.21	o 13888
10.51/3.21	o 13887
10.51/3.21	o 13886
10.51/3.21	o 13885
10.51/3.21	o 13884
10.51/3.21	o 13883
10.51/3.21	o 13882
10.51/3.21	o 13881
10.51/3.21	o 13880
10.51/3.21	o 13879
10.51/3.21	o 13878
10.51/3.22	o 13877
10.51/3.22	o 13876
10.51/3.22	o 13875
10.51/3.22	o 13874
10.51/3.22	o 13873
10.51/3.22	o 13872
10.51/3.22	o 13871
10.51/3.22	o 13870
10.51/3.22	o 13869
10.51/3.22	o 13868
10.51/3.22	o 13867
10.51/3.22	o 13866
10.51/3.22	o 13865
10.51/3.22	o 13864
10.51/3.22	o 13863
10.51/3.22	o 13862
10.51/3.22	o 13861
10.51/3.22	o 13860
10.51/3.22	o 13859
10.51/3.22	o 13858
10.51/3.22	o 13857
10.51/3.22	o 13856
10.51/3.22	o 13855
10.51/3.22	o 13854
10.51/3.22	o 13853
10.51/3.22	o 13852
10.51/3.22	o 13851
10.51/3.22	o 13850
10.51/3.23	o 13849
10.51/3.23	o 13848
10.51/3.23	o 13847
10.51/3.23	o 13846
10.51/3.23	o 13845
10.51/3.23	o 13844
10.51/3.23	o 13843
10.51/3.23	o 13842
10.51/3.23	o 13841
10.51/3.23	o 13840
10.51/3.24	o 13839
10.51/3.24	o 13838
10.51/3.24	o 13837
10.51/3.24	o 13836
10.51/3.24	o 13835
10.51/3.24	o 13834
10.51/3.24	o 13833
10.51/3.24	o 13832
10.51/3.24	o 13831
10.51/3.24	o 13830
10.51/3.24	o 13829
10.51/3.24	o 13828
10.51/3.24	o 13827
10.51/3.24	o 13826
10.51/3.24	o 13825
10.51/3.24	o 13824
10.51/3.24	o 13823
10.51/3.24	o 13822
10.51/3.25	o 13821
10.51/3.25	o 13820
10.51/3.25	o 13819
10.51/3.25	o 13818
10.51/3.25	o 13817
10.51/3.25	o 13816
10.51/3.25	o 13815
10.51/3.25	o 13814
10.51/3.26	o 13813
10.51/3.26	o 13812
10.51/3.26	o 13811
10.51/3.26	o 13810
10.51/3.26	o 13809
10.51/3.26	o 13808
10.51/3.27	o 13807
10.51/3.27	o 13806
10.51/3.27	o 13805
10.51/3.27	o 13804
10.51/3.27	o 13803
10.51/3.27	o 13802
10.51/3.28	o 13801
10.51/3.28	o 13800
10.51/3.28	o 13799
10.51/3.28	o 13798
10.51/3.28	o 13797
10.51/3.28	o 13796
10.51/3.28	o 13795
10.51/3.28	o 13794
10.51/3.28	o 13793
10.51/3.28	o 13792
10.51/3.29	o 13791
10.51/3.29	o 13790
10.51/3.29	o 13789
10.51/3.29	o 13788
10.51/3.30	o 13787
10.51/3.30	o 13786
10.51/3.30	o 13785
10.51/3.30	o 13784
10.51/3.30	o 13783
10.51/3.30	o 13782
10.51/3.30	o 13781
10.51/3.30	o 13780
10.51/3.30	o 13779
11.35/3.31	o 13778
11.35/3.31	o 13777
11.35/3.31	o 13776
11.35/3.31	o 13775
11.35/3.31	o 13774
11.35/3.31	o 13773
11.35/3.31	o 13772
11.35/3.31	o 13771
11.35/3.31	o 13770
11.35/3.31	o 13769
11.35/3.32	o 13768
11.35/3.32	o 13767
11.35/3.32	o 13766
11.35/3.32	o 13765
11.35/3.32	o 13764
11.35/3.33	o 13763
11.35/3.33	o 13762
11.35/3.33	o 13761
11.35/3.33	o 13760
11.35/3.33	o 13759
11.35/3.33	o 13758
11.35/3.33	o 13757
11.35/3.33	o 13756
11.35/3.33	o 13755
11.35/3.35	o 13754
11.35/3.35	o 13753
11.35/3.35	o 13752
11.35/3.35	o 13751
11.35/3.35	o 13750
11.35/3.35	o 13749
11.35/3.35	o 13748
11.35/3.36	o 13747
11.35/3.36	o 13746
11.35/3.36	o 13745
11.35/3.36	o 13744
11.35/3.36	o 13743
11.35/3.36	o 13742
11.35/3.36	o 13741
11.35/3.36	o 13740
11.35/3.36	o 13739
11.35/3.36	o 13738
11.35/3.36	o 13737
11.35/3.36	o 13736
11.35/3.36	o 13735
11.35/3.37	o 13734
11.35/3.37	o 13733
11.35/3.37	o 13732
11.35/3.37	o 13731
11.35/3.37	o 13730
11.35/3.37	o 13729
11.35/3.38	o 13728
11.35/3.38	o 13727
11.35/3.38	o 13726
11.35/3.39	o 13725
11.35/3.39	o 13724
11.35/3.39	o 13723
11.35/3.39	o 13722
11.35/3.39	o 13721
11.35/3.39	o 13720
11.35/3.39	o 13719
11.35/3.39	o 13718
11.35/3.39	o 13717
11.35/3.39	o 13716
12.13/3.41	o 13715
12.13/3.41	o 13714
12.13/3.41	o 13713
12.13/3.41	o 13712
12.13/3.41	o 13711
12.13/3.41	o 13710
12.13/3.41	o 13709
12.13/3.41	o 13708
12.13/3.41	o 13707
12.13/3.41	o 13706
12.13/3.41	o 13705
12.13/3.41	o 13704
12.13/3.41	o 13703
12.13/3.42	o 13702
12.13/3.42	o 13701
12.13/3.42	o 13700
12.13/3.43	o 13699
12.13/3.43	o 13698
12.13/3.43	o 13697
12.13/3.43	o 13696
12.13/3.43	o 13695
12.13/3.43	o 13694
12.13/3.43	o 13693
12.13/3.43	o 13692
12.13/3.44	o 13691
12.13/3.44	o 13690
12.13/3.44	o 13689
12.13/3.44	o 13688
12.13/3.44	o 13687
12.13/3.44	o 13686
12.13/3.44	o 13685
12.13/3.44	o 13684
12.13/3.44	o 13683
12.13/3.44	o 13682
12.13/3.44	o 13681
12.13/3.44	o 13680
12.13/3.44	o 13679
12.13/3.44	o 13678
12.13/3.44	o 13677
12.13/3.44	o 13676
12.13/3.44	o 13675
12.13/3.44	o 13674
12.13/3.45	o 13673
12.13/3.45	o 13672
12.13/3.45	o 13671
12.13/3.45	o 13670
12.13/3.45	o 13669
12.13/3.45	o 13668
12.13/3.46	o 13667
12.13/3.46	o 13666
12.13/3.46	o 13665
12.13/3.46	o 13664
12.13/3.46	o 13663
12.13/3.46	o 13662
12.13/3.46	o 13661
12.13/3.46	o 13660
12.13/3.47	o 13659
12.13/3.47	o 13658
12.13/3.47	o 13657
12.13/3.47	o 13656
12.13/3.47	o 13655
12.13/3.47	o 13654
12.13/3.47	o 13653
12.13/3.47	o 13652
12.13/3.47	o 13651
12.13/3.48	o 13650
12.13/3.48	o 13649
12.13/3.48	o 13648
12.13/3.48	o 13647
12.13/3.48	o 13646
12.13/3.49	o 13645
12.13/3.49	o 13644
12.13/3.49	o 13643
12.13/3.49	o 13642
12.13/3.49	o 13641
12.13/3.49	o 13640
12.13/3.49	o 13639
12.13/3.50	o 13638
12.13/3.50	o 13637
12.13/3.50	o 13636
12.13/3.50	o 13635
12.13/3.50	o 13634
12.13/3.50	o 13633
12.13/3.50	o 13632
12.93/3.51	o 13631
12.93/3.51	o 13630
12.93/3.51	o 13629
12.93/3.51	o 13628
12.93/3.51	o 13627
12.93/3.51	o 13626
12.93/3.52	o 13625
12.93/3.52	o 13624
12.93/3.53	o 13623
12.93/3.54	o 13622
12.93/3.54	o 13621
12.93/3.55	o 13620
12.93/3.55	o 13619
12.93/3.55	o 13618
12.93/3.55	o 13617
12.93/3.55	o 13616
12.93/3.55	o 13615
12.93/3.55	o 13614
12.93/3.55	o 13613
12.93/3.55	o 13612
12.93/3.55	o 13611
12.93/3.56	o 13610
12.93/3.56	o 13609
12.93/3.56	o 13608
12.93/3.56	o 13607
12.93/3.56	o 13606
12.93/3.56	o 13605
12.93/3.56	o 13604
12.93/3.56	o 13603
12.93/3.56	o 13602
12.93/3.56	o 13601
12.93/3.56	o 13600
12.93/3.56	o 13599
12.93/3.56	o 13598
12.93/3.56	o 13597
12.93/3.56	o 13596
12.93/3.56	o 13595
12.93/3.56	o 13594
12.93/3.56	o 13593
12.93/3.56	o 13592
12.93/3.57	o 13591
12.93/3.57	o 13590
12.93/3.57	o 13589
12.93/3.57	o 13588
12.93/3.58	o 13587
12.93/3.58	o 13586
12.93/3.58	o 13585
12.93/3.58	o 13584
12.93/3.58	o 13583
12.93/3.58	o 13582
12.93/3.58	o 13581
12.93/3.58	o 13580
12.93/3.58	o 13579
12.93/3.58	o 13578
12.93/3.58	o 13577
12.93/3.58	o 13576
12.93/3.58	o 13575
12.93/3.58	o 13574
12.93/3.59	o 13573
12.93/3.59	o 13572
12.93/3.59	o 13571
12.93/3.59	o 13570
12.93/3.59	o 13569
12.93/3.59	o 13568
12.93/3.59	o 13567
12.93/3.59	o 13566
12.93/3.60	o 13565
12.93/3.60	o 13564
12.93/3.60	o 13563
12.93/3.60	o 13562
12.93/3.60	o 13561
12.93/3.60	o 13560
12.93/3.60	o 13559
12.93/3.60	o 13558
13.67/3.60	o 13557
13.67/3.60	o 13556
13.67/3.60	o 13555
13.67/3.60	o 13554
13.67/3.60	o 13553
13.67/3.61	o 13552
13.67/3.61	o 13551
13.67/3.61	o 13550
13.67/3.61	o 13549
13.67/3.61	o 13548
13.67/3.61	o 13547
13.67/3.61	o 13546
13.67/3.61	o 13545
13.67/3.61	o 13544
13.67/3.61	o 13543
13.67/3.61	o 13542
13.67/3.61	o 13541
13.67/3.61	o 13540
13.67/3.62	o 13539
13.67/3.62	o 13538
13.67/3.62	o 13537
13.67/3.62	o 13536
13.67/3.62	o 13535
13.67/3.62	o 13534
13.67/3.62	o 13533
13.67/3.62	o 13532
13.67/3.62	o 13531
13.67/3.62	o 13530
13.67/3.62	o 13529
13.67/3.62	o 13528
13.67/3.63	o 13527
13.67/3.63	o 13526
13.67/3.64	o 13525
13.67/3.64	o 13524
13.67/3.64	o 13523
13.67/3.65	o 13522
13.67/3.65	o 13521
13.67/3.65	o 13520
13.67/3.65	o 13519
13.67/3.66	o 13518
13.67/3.66	o 13517
13.67/3.66	o 13516
13.67/3.66	o 13515
13.67/3.66	o 13514
13.67/3.66	o 13513
13.67/3.66	o 13512
13.67/3.66	o 13511
13.67/3.66	o 13510
13.67/3.66	o 13509
13.67/3.66	o 13508
13.67/3.66	o 13507
13.67/3.66	o 13506
13.67/3.66	o 13505
13.67/3.66	o 13504
13.67/3.66	o 13503
13.67/3.66	o 13502
13.67/3.66	o 13501
13.67/3.66	o 13500
13.67/3.66	o 13499
13.67/3.66	o 13498
13.67/3.67	o 13497
13.67/3.67	o 13496
13.67/3.67	o 13495
13.67/3.67	o 13494
13.67/3.67	o 13493
13.67/3.68	o 13492
13.67/3.68	o 13491
13.67/3.68	o 13490
13.67/3.68	o 13489
13.67/3.68	o 13488
13.67/3.68	o 13487
13.67/3.68	o 13486
13.67/3.68	o 13485
13.67/3.68	o 13484
13.67/3.68	o 13483
13.67/3.68	o 13482
13.67/3.69	o 13481
13.67/3.69	o 13480
13.67/3.69	o 13479
13.67/3.69	o 13478
13.67/3.69	o 13477
13.67/3.69	o 13476
13.67/3.69	o 13475
14.43/3.70	o 13474
14.43/3.70	o 13473
14.43/3.70	o 13472
14.43/3.70	o 13471
14.43/3.70	o 13470
14.43/3.70	o 13469
14.43/3.70	o 13468
14.43/3.72	o 13467
14.43/3.72	o 13466
14.43/3.72	o 13465
14.43/3.72	o 13464
14.43/3.72	o 13463
14.43/3.72	o 13462
14.43/3.72	o 13461
14.43/3.72	o 13460
14.43/3.72	o 13459
14.43/3.72	o 13458
14.43/3.72	o 13457
14.43/3.72	o 13456
14.43/3.72	o 13455
14.43/3.72	o 13454
14.43/3.72	o 13453
14.43/3.72	o 13452
14.43/3.72	o 13451
14.43/3.72	o 13450
14.43/3.73	o 13449
14.43/3.73	o 13448
14.43/3.73	o 13447
14.43/3.73	o 13446
14.43/3.73	o 13445
14.43/3.73	o 13444
14.43/3.73	o 13443
14.43/3.73	o 13442
14.43/3.73	o 13441
14.43/3.73	o 13440
14.43/3.73	o 13439
14.43/3.73	o 13438
14.43/3.73	o 13437
14.43/3.74	o 13436
14.43/3.74	o 13435
14.43/3.74	o 13434
14.43/3.74	o 13433
14.43/3.74	o 13432
14.43/3.74	o 13431
14.43/3.74	o 13430
14.43/3.74	o 13429
14.43/3.74	o 13428
14.43/3.74	o 13427
14.43/3.74	o 13426
14.43/3.74	o 13425
14.43/3.75	o 13424
14.43/3.75	o 13423
14.43/3.75	o 13422
14.43/3.75	o 13421
14.43/3.75	o 13420
14.43/3.75	o 13419
14.43/3.75	o 13418
14.43/3.75	o 13417
14.43/3.75	o 13416
14.43/3.75	o 13415
14.43/3.75	o 13414
14.43/3.75	o 13413
14.43/3.75	o 13412
14.43/3.75	o 13411
14.43/3.75	o 13410
14.43/3.76	o 13409
14.43/3.76	o 13408
14.43/3.76	o 13407
14.43/3.76	o 13406
14.43/3.76	o 13405
14.43/3.76	o 13404
14.43/3.76	o 13403
14.43/3.76	o 13402
14.43/3.76	o 13401
14.43/3.76	o 13400
14.43/3.76	o 13399
14.43/3.76	o 13398
14.43/3.76	o 13397
14.43/3.76	o 13396
14.43/3.77	o 13395
14.43/3.77	o 13394
14.43/3.77	o 13393
14.43/3.77	o 13392
14.43/3.77	o 13391
14.43/3.77	o 13390
14.43/3.77	o 13389
14.43/3.77	o 13388
14.43/3.77	o 13387
14.43/3.77	o 13386
14.43/3.77	o 13385
14.43/3.77	o 13384
14.43/3.77	o 13383
14.43/3.78	o 13382
14.43/3.78	o 13381
14.43/3.78	o 13380
14.43/3.78	o 13379
14.43/3.78	o 13378
14.43/3.78	o 13377
14.43/3.78	o 13376
14.43/3.78	o 13375
14.43/3.78	o 13374
14.43/3.78	o 13373
14.43/3.79	o 13372
14.43/3.79	o 13371
14.43/3.79	o 13370
14.43/3.79	o 13369
14.43/3.79	o 13368
14.43/3.79	o 13367
14.43/3.79	o 13366
14.43/3.79	o 13365
14.43/3.79	o 13364
15.19/3.81	o 13363
15.19/3.81	o 13362
15.19/3.81	o 13361
15.19/3.81	o 13360
15.19/3.81	o 13359
15.19/3.81	o 13358
15.19/3.81	o 13357
15.19/3.81	o 13356
15.19/3.81	o 13355
15.19/3.81	o 13354
15.19/3.81	o 13353
15.19/3.82	o 13352
15.19/3.82	o 13351
15.19/3.82	o 13350
15.19/3.82	o 13349
15.19/3.83	o 13348
15.19/3.83	o 13347
15.19/3.83	o 13346
15.19/3.83	o 13345
15.19/3.83	o 13344
15.19/3.83	o 13343
15.19/3.83	o 13342
15.19/3.83	o 13341
15.19/3.83	o 13340
15.19/3.83	o 13339
15.19/3.83	o 13338
15.19/3.83	o 13337
15.19/3.84	o 13336
15.19/3.84	o 13335
15.19/3.84	o 13334
15.19/3.84	o 13333
15.19/3.84	o 13332
15.19/3.84	o 13331
15.19/3.84	o 13330
15.19/3.84	o 13329
15.19/3.85	o 13328
15.19/3.85	o 13327
15.19/3.85	o 13326
15.19/3.85	o 13325
15.19/3.85	o 13324
15.19/3.85	o 13323
15.19/3.85	o 13322
15.19/3.86	o 13321
15.19/3.86	o 13320
15.19/3.86	o 13319
15.19/3.86	o 13318
15.19/3.88	o 13317
15.19/3.88	o 13316
15.19/3.88	o 13315
15.19/3.88	o 13314
15.19/3.88	o 13313
15.19/3.88	o 13312
15.19/3.88	o 13311
15.19/3.88	o 13310
15.19/3.88	o 13309
15.19/3.88	o 13308
15.19/3.89	o 13307
15.19/3.89	o 13306
15.19/3.89	o 13305
15.19/3.89	o 13304
15.19/3.89	o 13303
15.19/3.89	o 13302
15.19/3.89	o 13301
15.19/3.89	o 13300
15.19/3.89	o 13299
15.19/3.89	o 13298
15.19/3.89	o 13297
15.19/3.89	o 13296
15.19/3.90	o 13295
15.19/3.90	o 13294
15.19/3.90	o 13293
15.19/3.90	o 13292
15.19/3.90	o 13291
15.19/3.90	o 13290
15.19/3.90	o 13289
16.05/3.92	o 13288
16.05/3.92	o 13287
16.05/3.92	o 13286
16.05/3.92	o 13285
16.05/3.92	o 13284
16.05/3.92	o 13283
16.05/3.92	o 13282
16.05/3.92	o 13281
16.05/3.92	o 13280
16.05/3.93	o 13279
16.05/3.93	o 13278
16.05/3.93	o 13277
16.05/3.93	o 13276
16.05/3.93	o 13275
16.05/3.93	o 13274
16.05/3.93	o 13273
16.05/3.93	o 13272
16.05/3.93	o 13271
16.05/3.93	o 13270
16.05/3.94	o 13269
16.05/3.94	o 13268
16.05/3.94	o 13267
16.05/3.94	o 13266
16.05/3.94	o 13265
16.05/3.94	o 13264
16.05/3.94	o 13263
16.05/3.94	o 13262
16.05/3.94	o 13261
16.05/3.95	o 13260
16.05/3.95	o 13259
16.05/3.95	o 13258
16.05/3.95	o 13257
16.05/3.95	o 13256
16.05/3.95	o 13255
16.05/3.95	o 13254
16.05/3.95	o 13253
16.05/3.95	o 13252
16.05/3.95	o 13251
16.05/3.96	o 13250
16.05/3.96	o 13249
16.05/3.96	o 13248
16.05/3.96	o 13247
16.05/3.96	o 13246
16.05/3.96	o 13245
16.05/3.96	o 13244
16.05/3.96	o 13243
16.05/3.96	o 13242
16.05/3.97	o 13241
16.05/3.97	o 13240
16.05/3.97	o 13239
16.05/3.97	o 13238
16.05/3.97	o 13237
16.05/3.97	o 13236
16.05/3.97	o 13235
16.05/3.97	o 13234
16.05/3.97	o 13233
16.05/3.97	o 13232
16.05/3.97	o 13231
16.05/3.98	o 13230
16.05/3.98	o 13229
16.05/3.98	o 13228
16.05/3.98	o 13227
16.05/3.98	o 13226
16.05/3.98	o 13225
16.05/3.98	o 13224
16.05/3.98	o 13223
16.05/3.98	o 13222
16.05/3.98	o 13221
16.05/3.98	o 13220
16.05/3.98	o 13219
16.05/3.98	o 13218
16.05/3.98	o 13217
16.05/3.99	o 13216
16.05/3.99	o 13215
16.05/3.99	o 13214
16.05/3.99	o 13213
16.05/3.99	o 13212
16.05/3.99	o 13211
16.05/3.99	o 13210
16.05/4.01	o 13209
16.05/4.01	o 13208
16.05/4.01	o 13207
16.05/4.01	o 13206
16.05/4.01	o 13205
16.05/4.01	o 13204
16.05/4.01	o 13203
16.05/4.01	o 13202
16.05/4.01	o 13201
16.05/4.01	o 13200
16.05/4.01	o 13199
16.05/4.01	o 13198
16.05/4.01	o 13197
16.05/4.01	o 13196
16.05/4.01	o 13195
16.05/4.01	o 13194
16.90/4.03	o 13193
16.90/4.03	o 13192
16.90/4.03	o 13191
16.90/4.03	o 13190
16.90/4.04	o 13189
16.90/4.04	o 13188
16.90/4.04	o 13187
16.90/4.04	o 13186
16.90/4.04	o 13185
16.90/4.04	o 13184
16.90/4.04	o 13183
16.90/4.05	o 13182
16.90/4.05	o 13181
16.90/4.05	o 13180
16.90/4.05	o 13179
16.90/4.05	o 13178
16.90/4.05	o 13177
16.90/4.05	o 13176
16.90/4.05	o 13175
16.90/4.05	o 13174
16.90/4.05	o 13173
16.90/4.05	o 13172
16.90/4.05	o 13171
16.90/4.06	o 13170
16.90/4.06	o 13169
16.90/4.06	o 13168
16.90/4.06	o 13167
16.90/4.06	o 13166
16.90/4.06	o 13165
16.90/4.06	o 13164
16.90/4.06	o 13163
16.90/4.06	o 13162
16.90/4.06	o 13161
16.90/4.06	o 13160
16.90/4.06	o 13159
16.90/4.06	o 13158
16.90/4.07	o 13157
16.90/4.07	o 13156
16.90/4.07	o 13155
16.90/4.07	o 13154
16.90/4.07	o 13153
16.90/4.07	o 13152
16.90/4.07	o 13151
16.90/4.07	o 13150
16.90/4.07	o 13149
16.90/4.07	o 13148
16.90/4.07	o 13147
16.90/4.07	o 13146
16.90/4.08	o 13145
16.90/4.08	o 13144
16.90/4.08	o 13143
16.90/4.08	o 13142
16.90/4.08	o 13141
16.90/4.08	o 13140
16.90/4.08	o 13139
16.90/4.08	o 13138
16.90/4.08	o 13137
16.90/4.08	o 13136
16.90/4.08	o 13135
16.90/4.09	o 13134
16.90/4.09	o 13133
16.90/4.09	o 13132
16.90/4.09	o 13131
16.90/4.09	o 13130
16.90/4.09	o 13129
16.90/4.10	o 13128
16.90/4.10	o 13127
16.90/4.10	o 13126
16.90/4.10	o 13125
16.90/4.10	o 13124
16.90/4.10	o 13123
16.90/4.10	o 13122
16.90/4.10	o 13121
17.55/4.11	o 13120
17.55/4.11	o 13119
17.55/4.11	o 13118
17.55/4.11	o 13117
17.55/4.11	o 13116
17.55/4.12	o 13115
17.55/4.12	o 13114
17.55/4.13	o 13113
17.55/4.13	o 13112
17.55/4.13	o 13111
17.55/4.13	o 13110
17.55/4.13	o 13109
17.55/4.13	o 13108
17.55/4.13	o 13107
17.55/4.13	o 13106
17.55/4.13	o 13105
17.55/4.14	o 13104
17.55/4.14	o 13103
17.55/4.14	o 13102
17.55/4.14	o 13101
17.55/4.14	o 13100
17.55/4.14	o 13099
17.55/4.14	o 13098
17.55/4.14	o 13097
17.55/4.14	o 13096
17.55/4.14	o 13095
17.55/4.14	o 13094
17.55/4.14	o 13093
17.55/4.14	o 13092
17.55/4.16	o 13091
17.55/4.16	o 13090
17.55/4.16	o 13089
17.55/4.16	o 13088
17.55/4.16	o 13087
17.55/4.16	o 13086
17.55/4.16	o 13085
17.55/4.16	o 13084
17.55/4.16	o 13083
17.55/4.17	o 13082
17.55/4.17	o 13081
17.55/4.17	o 13080
17.55/4.17	o 13079
17.55/4.17	o 13078
17.55/4.17	o 13077
17.55/4.17	o 13076
17.55/4.17	o 13075
17.55/4.17	o 13074
17.55/4.17	o 13073
17.55/4.17	o 13072
17.55/4.17	o 13071
17.55/4.17	o 13070
17.55/4.18	o 13069
17.55/4.18	o 13068
17.55/4.18	o 13067
17.55/4.18	o 13066
17.55/4.18	o 13065
17.55/4.18	o 13064
17.55/4.18	o 13063
17.55/4.18	o 13062
17.55/4.18	o 13061
17.55/4.19	o 13060
17.55/4.19	o 13059
17.55/4.19	o 13058
17.55/4.19	o 13057
17.55/4.19	o 13056
17.55/4.19	o 13055
17.55/4.19	o 13054
17.55/4.19	o 13053
17.55/4.19	o 13052
17.55/4.20	o 13051
17.55/4.20	o 13050
17.55/4.20	o 13049
17.55/4.20	o 13048
17.55/4.20	o 13047
17.55/4.20	o 13046
17.55/4.20	o 13045
17.55/4.20	o 13044
17.55/4.20	o 13043
18.32/4.21	o 13042
18.32/4.21	o 13041
18.32/4.21	o 13040
18.32/4.21	o 13039
18.32/4.21	o 13038
18.32/4.21	o 13037
18.32/4.21	o 13036
18.32/4.21	o 13035
18.32/4.21	o 13034
18.32/4.23	o 13033
18.32/4.23	o 13032
18.32/4.23	o 13031
18.32/4.23	o 13030
18.32/4.23	o 13029
18.32/4.23	o 13028
18.32/4.23	o 13027
18.32/4.23	o 13026
18.32/4.23	o 13025
18.32/4.23	o 13024
18.32/4.24	o 13023
18.32/4.24	o 13022
18.32/4.24	o 13021
18.32/4.24	o 13020
18.32/4.24	o 13019
18.32/4.24	o 13018
18.32/4.24	o 13017
18.32/4.24	o 13016
18.32/4.24	o 13015
18.32/4.25	o 13014
18.32/4.25	o 13013
18.32/4.25	o 13012
18.32/4.25	o 13011
18.32/4.25	o 13010
18.32/4.25	o 13009
18.32/4.25	o 13008
18.32/4.28	o 13007
18.32/4.28	o 13006
18.32/4.28	o 13005
18.32/4.28	o 13004
18.32/4.28	o 13003
18.32/4.29	o 13002
18.32/4.29	o 13001
18.32/4.29	o 13000
18.32/4.29	o 12999
18.32/4.30	o 12998
18.32/4.30	o 12997
18.32/4.30	o 12996
19.10/4.31	o 12995
19.10/4.31	o 12994
19.10/4.32	o 12993
19.10/4.32	o 12992
19.10/4.33	o 12991
19.10/4.33	o 12990
19.10/4.33	o 12989
19.10/4.34	o 12988
19.10/4.34	o 12987
19.10/4.34	o 12986
19.10/4.35	o 12985
19.10/4.35	o 12984
19.10/4.35	o 12983
19.10/4.36	o 12982
19.10/4.36	o 12981
19.10/4.36	o 12980
19.10/4.36	o 12979
19.10/4.37	o 12978
19.10/4.37	o 12977
19.10/4.38	o 12976
19.10/4.38	o 12975
19.10/4.38	o 12974
19.10/4.40	o 12973
19.10/4.40	o 12972
19.10/4.40	o 12971
19.10/4.41	o 12970
19.10/4.41	o 12969
19.10/4.41	o 12968
19.92/4.42	o 12967
19.92/4.42	o 12966
19.92/4.42	o 12965
19.92/4.42	o 12964
19.92/4.42	o 12963
19.92/4.42	o 12962
19.92/4.43	o 12961
19.92/4.43	o 12960
19.92/4.43	o 12959
19.92/4.45	o 12958
19.92/4.45	o 12957
19.92/4.45	o 12956
19.92/4.46	o 12955
19.92/4.46	o 12954
19.92/4.46	o 12953
19.92/4.47	o 12952
19.92/4.47	o 12951
19.92/4.47	o 12950
19.92/4.47	o 12949
19.92/4.50	o 12948
19.92/4.50	o 12947
19.92/4.50	o 12946
19.92/4.51	o 12945
19.92/4.51	o 12944
19.92/4.51	o 12943
20.69/4.52	o 12942
20.69/4.52	o 12941
20.69/4.52	o 12940
20.69/4.53	o 12939
20.69/4.53	o 12938
20.69/4.53	o 12937
20.69/4.54	o 12936
20.69/4.54	o 12935
20.69/4.54	o 12934
20.69/4.55	o 12933
20.69/4.55	o 12932
20.69/4.55	o 12931
20.69/4.55	o 12930
20.69/4.56	o 12929
20.69/4.56	o 12928
20.69/4.56	o 12927
20.69/4.57	o 12926
20.69/4.57	o 12925
20.69/4.57	o 12924
20.69/4.57	o 12923
20.69/4.58	o 12922
20.69/4.58	o 12921
20.69/4.58	o 12920
20.69/4.59	o 12919
20.69/4.59	o 12918
20.69/4.59	o 12917
21.42/4.60	o 12916
21.42/4.60	o 12915
21.42/4.60	o 12914
21.42/4.60	o 12913
21.42/4.61	o 12912
21.42/4.61	o 12911
21.42/4.62	o 12910
21.42/4.62	o 12909
21.42/4.62	o 12908
21.42/4.62	o 12907
21.42/4.64	o 12906
21.42/4.64	o 12905
21.42/4.64	o 12904
21.42/4.65	o 12903
21.42/4.65	o 12902
21.42/4.65	o 12901
21.42/4.65	o 12900
21.42/4.66	o 12899
21.42/4.66	o 12898
21.42/4.66	o 12897
21.42/4.66	o 12896
21.42/4.66	o 12895
21.42/4.67	o 12894
21.42/4.67	o 12893
21.42/4.67	o 12892
21.42/4.69	o 12891
21.42/4.69	o 12890
21.42/4.69	o 12889
22.21/4.70	o 12888
22.21/4.71	o 12887
22.21/4.71	o 12886
22.21/4.71	o 12885
22.21/4.72	o 12884
22.21/4.72	o 12883
22.21/4.74	o 12882
22.21/4.74	o 12881
22.21/4.74	o 12880
22.21/4.74	o 12879
22.21/4.75	o 12878
22.21/4.75	o 12877
22.21/4.76	o 12876
22.21/4.76	o 12875
22.21/4.77	o 12874
22.21/4.77	o 12873
22.21/4.78	o 12872
22.21/4.78	o 12871
22.21/4.79	o 12870
22.21/4.79	o 12869
23.01/4.80	o 12868
23.01/4.80	o 12867
23.01/4.81	o 12866
23.01/4.81	o 12865
23.01/4.82	o 12864
23.01/4.82	o 12863
23.01/4.83	o 12862
23.01/4.83	o 12861
23.01/4.84	o 12860
23.01/4.84	o 12859
23.01/4.86	o 12858
23.01/4.86	o 12857
23.01/4.87	o 12856
23.01/4.87	o 12855
23.01/4.87	o 12854
23.01/4.87	o 12853
23.01/4.88	o 12852
23.01/4.89	o 12851
23.80/4.90	o 12850
23.80/4.90	o 12849
23.80/4.91	o 12848
23.80/4.91	o 12847
23.80/4.91	o 12846
23.80/4.92	o 12845
23.80/4.92	o 12844
23.80/4.93	o 12843
23.80/4.93	o 12842
23.80/4.94	o 12841
23.80/4.94	o 12840
23.80/4.94	o 12839
23.80/4.95	o 12838
23.80/4.95	o 12837
23.80/4.96	o 12836
23.80/4.96	o 12835
23.80/4.97	o 12834
23.80/4.97	o 12833
23.80/4.98	o 12832
23.80/4.98	o 12831
23.80/4.99	o 12830
23.80/4.99	o 12829
23.80/4.99	o 12828
23.80/5.01	o 12827
23.80/5.01	o 12826
23.80/5.01	o 12825
23.80/5.02	o 12824
23.80/5.02	o 12823
24.65/5.03	o 12822
24.65/5.03	o 12821
24.65/5.03	o 12820
24.65/5.04	o 12819
24.65/5.04	o 12818
24.65/5.04	o 12817
24.65/5.05	o 12816
24.65/5.05	o 12815
24.65/5.06	o 12814
24.65/5.06	o 12813
24.65/5.06	o 12812
24.65/5.07	o 12811
24.65/5.07	o 12810
24.65/5.08	o 12809
24.65/5.08	o 12808
24.65/5.09	o 12807
24.65/5.09	o 12806
24.65/5.09	o 12805
24.65/5.10	o 12804
24.65/5.10	o 12803
24.65/5.10	o 12802
24.65/5.10	o 12801
24.65/5.10	o 12800
24.65/5.11	o 12799
24.65/5.11	o 12798
24.65/5.11	o 12797
25.59/5.12	o 12796
25.59/5.12	o 12795
25.59/5.12	o 12794
25.59/5.13	o 12793
25.59/5.13	o 12792
25.59/5.13	o 12791
25.59/5.14	o 12790
25.59/5.14	o 12789
25.59/5.14	o 12788
25.59/5.15	o 12787
25.59/5.15	o 12786
25.59/5.15	o 12785
25.59/5.15	o 12784
25.59/5.16	o 12783
25.59/5.16	o 12782
25.59/5.17	o 12781
25.59/5.17	o 12780
25.59/5.19	o 12779
25.59/5.19	o 12778
25.59/5.19	o 12777
25.59/5.19	o 12776
25.59/5.21	o 12775
26.22/5.22	o 12774
26.22/5.22	o 12773
26.22/5.23	o 12772
26.22/5.23	o 12771
26.22/5.24	o 12770
26.22/5.25	o 12769
26.22/5.25	o 12768
26.22/5.25	o 12767
26.22/5.25	o 12766
26.22/5.27	o 12765
26.22/5.28	o 12764
26.22/5.28	o 12763
26.22/5.29	o 12762
26.94/5.30	o 12761
26.94/5.30	o 12760
26.94/5.31	o 12759
26.94/5.32	o 12758
26.94/5.33	o 12757
26.94/5.34	o 12756
26.94/5.34	o 12755
26.94/5.35	o 12754
26.94/5.36	o 12753
26.94/5.36	o 12752
26.94/5.37	o 12751
26.94/5.38	o 12750
26.94/5.38	o 12749
26.94/5.39	o 12748
26.94/5.40	o 12747
27.74/5.40	o 12746
27.74/5.42	o 12745
27.74/5.42	o 12744
27.74/5.43	o 12743
27.74/5.43	o 12742
27.74/5.43	o 12741
27.74/5.44	o 12740
27.74/5.46	o 12739
27.74/5.46	o 12738
27.74/5.47	o 12737
27.74/5.48	o 12736
27.74/5.48	o 12735
27.74/5.49	o 12734
27.74/5.49	o 12733
28.53/5.50	o 12732
28.53/5.50	o 12731
28.53/5.51	o 12730
28.53/5.52	o 12729
28.53/5.52	o 12728
28.53/5.53	o 12727
28.53/5.55	o 12726
28.53/5.55	o 12725
28.53/5.56	o 12724
28.53/5.57	o 12723
28.53/5.57	o 12722
28.53/5.58	o 12721
28.53/5.59	o 12720
28.53/5.59	o 12719
29.33/5.60	o 12718
29.33/5.61	o 12717
29.33/5.61	o 12716
29.33/5.62	o 12715
29.33/5.63	o 12714
29.33/5.64	o 12713
29.33/5.64	o 12712
29.33/5.64	o 12711
29.33/5.65	o 12710
29.33/5.66	o 12709
29.33/5.67	o 12708
29.33/5.68	o 12707
29.33/5.68	o 12706
29.33/5.69	o 12705
30.17/5.70	o 12704
30.17/5.70	o 12703
30.17/5.73	o 12702
30.17/5.74	o 12701
30.17/5.74	o 12700
30.17/5.75	o 12699
30.17/5.75	o 12698
30.17/5.76	o 12697
30.17/5.77	o 12696
30.17/5.77	o 12695
30.17/5.79	o 12694
30.17/5.79	o 12693
30.17/5.79	o 12692
30.94/5.81	o 12691
30.94/5.81	o 12690
30.94/5.82	o 12689
30.94/5.83	o 12688
30.94/5.83	o 12687
30.94/5.84	o 12686
30.94/5.85	o 12685
30.94/5.85	o 12684
30.94/5.86	o 12683
30.94/5.87	o 12682
30.94/5.87	o 12681
30.94/5.87	o 12680
30.94/5.88	o 12679
30.94/5.89	o 12678
31.75/5.91	o 12677
31.75/5.91	o 12676
31.75/5.91	o 12675
31.75/5.93	o 12674
31.75/5.93	o 12673
31.75/5.94	o 12672
31.75/5.94	o 12671
31.75/5.94	o 12670
31.75/5.95	o 12669
31.75/5.96	o 12668
31.75/5.97	o 12667
31.75/5.97	o 12666
31.75/5.98	o 12665
31.75/5.99	o 12664
31.75/5.99	o 12663
31.75/6.01	o 12662
31.75/6.01	o 12661
31.75/6.01	o 12660
32.62/6.02	o 12659
32.62/6.03	o 12658
32.62/6.04	o 12657
32.62/6.04	o 12656
32.62/6.05	o 12655
32.62/6.06	o 12654
32.62/6.06	o 12653
32.62/6.07	o 12652
32.62/6.07	o 12651
32.62/6.08	o 12650
32.62/6.08	o 12649
32.62/6.09	o 12648
32.62/6.10	o 12647
32.62/6.11	o 12646
32.62/6.11	o 12645
32.62/6.11	o 12644
33.41/6.12	o 12643
33.41/6.13	o 12642
33.41/6.15	o 12641
33.41/6.17	o 12640
33.41/6.17	o 12639
33.41/6.18	o 12638
33.41/6.19	o 12637
33.41/6.20	o 12636
33.41/6.20	o 12635
33.41/6.20	o 12634
34.13/6.22	o 12633
34.13/6.23	o 12632
34.13/6.23	o 12631
34.13/6.25	o 12630
34.13/6.25	o 12629
34.13/6.25	o 12628
34.13/6.26	o 12627
34.13/6.27	o 12626
34.13/6.27	o 12625
34.13/6.28	o 12624
34.13/6.29	o 12623
34.13/6.29	o 12622
34.13/6.30	o 12621
34.13/6.30	o 12620
34.94/6.32	o 12619
34.94/6.33	o 12618
34.94/6.33	o 12617
34.94/6.34	o 12616
34.94/6.34	o 12615
34.94/6.35	o 12614
34.94/6.36	o 12613
34.94/6.36	o 12612
34.94/6.37	o 12611
34.94/6.37	o 12610
34.94/6.38	o 12609
34.94/6.39	o 12608
34.94/6.39	o 12607
34.94/6.40	o 12606
35.71/6.41	o 12605
35.71/6.41	o 12604
35.71/6.42	o 12603
35.71/6.42	o 12602
35.71/6.43	o 12601
35.71/6.44	o 12600
35.71/6.44	o 12599
35.71/6.46	o 12598
35.71/6.46	o 12597
35.71/6.46	o 12596
35.71/6.47	o 12595
35.71/6.48	o 12594
35.71/6.48	o 12593
35.71/6.49	o 12592
35.71/6.49	o 12591
36.46/6.50	o 12590
36.46/6.51	o 12589
36.46/6.52	o 12588
36.46/6.52	o 12587
36.46/6.52	o 12586
36.46/6.53	o 12585
36.46/6.54	o 12584
36.46/6.54	o 12583
36.46/6.55	o 12582
36.46/6.56	o 12581
36.46/6.57	o 12580
36.46/6.58	o 12579
36.46/6.58	o 12578
36.46/6.59	o 12577
36.46/6.59	o 12576
36.46/6.60	o 12575
37.28/6.61	o 12574
37.28/6.61	o 12573
37.28/6.62	o 12572
37.28/6.63	o 12571
37.28/6.63	o 12570
37.28/6.64	o 12569
37.28/6.64	o 12568
37.28/6.65	o 12567
37.28/6.65	o 12566
37.28/6.66	o 12565
37.28/6.68	o 12564
37.28/6.68	o 12563
37.28/6.69	o 12562
37.28/6.69	o 12561
37.28/6.70	o 12560
37.28/6.70	o 12559
38.10/6.71	o 12558
38.10/6.72	o 12557
38.10/6.72	o 12556
38.10/6.73	o 12555
38.10/6.73	o 12554
38.10/6.74	o 12553
38.10/6.75	o 12552
38.10/6.75	o 12551
38.10/6.76	o 12550
38.10/6.77	o 12549
38.10/6.77	o 12548
38.10/6.78	o 12547
38.10/6.79	o 12546
38.10/6.79	o 12545
38.10/6.80	o 12544
38.89/6.81	o 12543
38.89/6.81	o 12542
38.89/6.82	o 12541
38.89/6.83	o 12540
38.89/6.84	o 12539
38.89/6.84	o 12538
38.89/6.85	o 12537
38.89/6.86	o 12536
38.89/6.86	o 12535
38.89/6.87	o 12534
38.89/6.88	o 12533
38.89/6.88	o 12532
38.89/6.89	o 12531
38.89/6.89	o 12530
38.89/6.90	o 12529
38.89/6.90	o 12528
39.70/6.93	o 12527
39.70/6.95	o 12526
39.70/6.96	o 12525
39.70/7.00	o 12524
40.46/7.03	o 12523
40.46/7.09	o 12522
41.27/7.12	o 12521
41.27/7.14	o 12520
41.27/7.16	o 12519
42.00/7.21	o 12518
42.00/7.25	o 12517
42.00/7.27	o 12516
42.00/7.30	o 12515
42.79/7.31	o 12514
42.79/7.34	o 12513
42.79/7.35	o 12512
42.79/7.37	o 12511
42.79/7.39	o 12510
43.59/7.40	o 12509
43.59/7.42	o 12508
43.59/7.44	o 12507
43.59/7.48	o 12506
44.39/7.51	o 12505
44.39/7.55	o 12504
44.39/7.59	o 12503
45.25/7.65	o 12502
45.25/7.67	o 12501
45.98/7.71	o 12500
45.98/7.73	o 12499
45.98/7.75	o 12498
45.98/7.78	o 12497
46.80/7.80	o 12496
46.80/7.83	o 12495
46.80/7.85	o 12494
46.80/7.88	o 12493
46.80/7.90	o 12492
47.60/7.93	o 12491
47.60/7.95	o 12490
47.60/7.97	o 12489
47.60/8.00	o 12488
48.49/8.02	o 12487
48.49/8.05	o 12486
48.49/8.07	o 12485
48.49/8.10	o 12484
49.24/8.12	o 12483
49.24/8.15	o 12482
49.24/8.17	o 12481
49.24/8.19	o 12480
49.96/8.22	o 12479
49.96/8.24	o 12478
49.96/8.27	o 12477
49.96/8.29	o 12476
50.76/8.32	o 12475
50.76/8.34	o 12474
50.76/8.37	o 12473
50.76/8.39	o 12472
51.55/8.42	o 12471
51.55/8.44	o 12470
51.55/8.47	o 12469
51.55/8.49	o 12468
52.35/8.52	o 12467
52.35/8.55	o 12466
52.35/8.58	o 12465
53.18/8.60	o 12464
53.18/8.63	o 12463
53.18/8.65	o 12462
53.18/8.68	o 12461
53.94/8.70	o 12460
53.94/8.72	o 12459
53.94/8.75	o 12458
53.94/8.78	o 12457
53.94/8.80	o 12456
54.76/8.82	o 12455
54.76/8.85	o 12454
54.76/8.87	o 12453
54.76/8.90	o 12452
55.54/8.92	o 12451
55.54/8.94	o 12450
55.54/8.97	o 12449
55.54/8.99	o 12448
56.43/9.02	o 12447
56.43/9.04	o 12446
56.43/9.07	o 12445
56.43/9.09	o 12444
57.18/9.11	o 12443
57.18/9.14	o 12442
57.18/9.16	o 12441
57.18/9.19	o 12440
57.91/9.21	o 12439
57.91/9.24	o 12438
57.91/9.26	o 12437
57.91/9.28	o 12436
58.73/9.31	o 12435
58.73/9.33	o 12434
58.73/9.36	o 12433
58.73/9.38	o 12432
59.51/9.40	o 12431
59.51/9.43	o 12430
59.51/9.47	o 12429
59.51/9.50	o 12428
60.29/9.52	o 12427
60.29/9.54	o 12426
60.29/9.56	o 12425
60.29/9.59	o 12424
61.09/9.62	o 12423
61.09/9.64	o 12422
61.09/9.66	o 12421
61.09/9.69	o 12420
61.89/9.71	o 12419
61.89/9.73	o 12418
61.89/9.76	o 12417
61.89/9.78	o 12416
61.89/9.80	o 12415
62.71/9.82	o 12414
62.71/9.86	o 12413
62.71/9.88	o 12412
63.49/9.91	o 12411
63.49/9.93	o 12410
63.49/9.95	o 12409
63.49/9.96	o 12408
63.49/10.00	o 12407
63.49/10.00	o 12406
64.34/10.03	o 12405
64.34/10.03	o 12404
64.34/10.04	o 12403
64.34/10.05	o 12402
64.34/10.06	o 12401
64.34/10.11	o 12400
65.15/10.12	o 12399
65.15/10.17	o 12398
65.93/10.22	o 12397
65.93/10.24	o 12396
65.93/10.29	o 12395
66.67/10.32	o 12394
66.67/10.34	o 12393
66.67/10.38	o 12392
67.47/10.42	o 12391
67.47/10.43	o 12390
67.47/10.47	o 12389
68.26/10.51	o 12388
68.26/10.55	o 12387
68.26/10.58	o 12386
69.06/10.61	o 12385
69.06/10.63	o 12384
69.06/10.67	o 12383
69.06/10.69	o 12382
69.85/10.73	o 12381
69.85/10.75	o 12380
69.85/10.77	o 12379
69.85/10.80	o 12378
70.62/10.82	o 12377
70.62/10.84	o 12376
70.62/10.87	o 12375
70.62/10.89	o 12374
71.42/10.91	o 12373
71.42/10.93	o 12372
71.42/10.96	o 12371
71.42/10.98	o 12370
71.42/11.00	o 12369
72.27/11.02	o 12368
72.27/11.05	o 12367
72.27/11.07	o 12366
72.27/11.09	o 12365
73.08/11.12	o 12364
73.08/11.14	o 12363
73.08/11.16	o 12362
73.08/11.19	o 12361
73.80/11.21	o 12360
73.80/11.23	o 12359
73.80/11.26	o 12358
73.80/11.28	o 12357
74.61/11.30	o 12356
74.61/11.32	o 12355
74.61/11.35	o 12354
74.61/11.37	o 12353
74.61/11.40	o 12352
75.40/11.42	o 12351
75.40/11.44	o 12350
75.40/11.46	o 12349
75.40/11.48	o 12348
76.20/11.51	o 12347
76.20/11.53	o 12346
76.20/11.55	o 12345
76.20/11.58	o 12344
76.20/11.60	o 12343
77.00/11.62	o 12342
77.00/11.64	o 12341
77.00/11.67	o 12340
77.00/11.69	o 12339
77.80/11.71	o 12338
77.80/11.73	o 12337
77.80/11.76	o 12336
77.80/11.78	o 12335
77.80/11.80	o 12334
78.59/11.83	o 12333
78.59/11.85	o 12332
78.59/11.87	o 12331
78.59/11.90	o 12330
79.40/11.92	o 12329
79.40/11.94	o 12328
79.40/11.98	o 12327
79.40/12.00	o 12326
80.23/12.02	o 12325
80.23/12.04	o 12324
80.23/12.07	o 12323
80.23/12.09	o 12322
81.03/12.11	o 12321
81.03/12.14	o 12320
81.03/12.16	o 12319
81.03/12.18	o 12318
81.03/12.20	o 12317
81.84/12.22	o 12316
81.84/12.25	o 12315
81.84/12.27	o 12314
81.84/12.29	o 12313
82.55/12.31	o 12312
82.55/12.34	o 12311
82.55/12.36	o 12310
82.55/12.38	o 12309
83.35/12.40	o 12308
83.35/12.43	o 12307
83.35/12.45	o 12306
83.35/12.47	o 12305
83.35/12.49	o 12304
84.15/12.52	o 12303
84.15/12.54	o 12302
84.15/12.56	o 12301
84.15/12.58	o 12300
84.95/12.61	o 12299
84.95/12.63	o 12298
84.95/12.65	o 12297
84.95/12.68	o 12296
84.95/12.70	o 12295
85.75/12.72	o 12294
85.75/12.74	o 12293
85.75/12.77	o 12292
85.75/12.78	o 12291
86.55/12.81	o 12290
86.55/12.83	o 12289
86.55/12.86	o 12288
86.55/12.87	o 12287
86.55/12.90	o 12286
87.34/12.91	o 12285
87.34/12.93	o 12284
87.34/12.95	o 12283
87.34/12.97	o 12282
87.34/12.97	o 12281
87.34/12.99	o 12280
87.34/12.99	o 12279
87.34/13.01	o 12278
88.19/13.02	o 12277
88.19/13.04	o 12276
88.19/13.07	o 12275
88.19/13.09	o 12274
88.19/13.11	o 12273
89.00/13.14	o 12272
89.00/13.18	o 12271
89.00/13.20	o 12270
89.72/13.22	o 12269
89.72/13.27	o 12268
89.72/13.30	o 12267
90.53/13.32	o 12266
90.53/13.37	o 12265
90.53/13.39	o 12264
91.32/13.42	o 12263
91.32/13.45	o 12262
92.10/13.51	o 12261
92.10/13.53	o 12260
92.10/13.56	o 12259
92.94/13.60	o 12258
92.94/13.63	o 12257
92.94/13.68	o 12256
93.76/13.72	o 12255
93.76/13.76	o 12254
93.76/13.77	o 12253
94.49/13.81	o 12252
94.49/13.83	o 12251
94.49/13.86	o 12250
94.49/13.88	o 12249
95.29/13.91	o 12248
95.29/13.93	o 12247
95.29/13.96	o 12246
95.29/13.98	o 12245
96.14/14.02	o 12244
96.14/14.04	o 12243
96.14/14.07	o 12242
96.14/14.09	o 12241
96.95/14.12	o 12240
96.95/14.13	o 12239
96.95/14.16	o 12238
96.95/14.18	o 12237
97.66/14.21	o 12236
97.66/14.23	o 12235
97.66/14.25	o 12234
97.66/14.28	o 12233
98.46/14.31	o 12232
98.46/14.33	o 12231
98.46/14.35	o 12230
98.46/14.38	o 12229
98.46/14.40	o 12228
99.34/14.43	o 12227
99.34/14.45	o 12226
99.34/14.47	o 12225
99.34/14.49	o 12224
100.11/14.52	o 12223
100.11/14.54	o 12222
100.11/14.57	o 12221
100.11/14.59	o 12220
100.93/14.62	o 12219
100.93/14.65	o 12218
100.93/14.66	o 12217
100.93/14.68	o 12216
101.73/14.72	o 12215
101.73/14.73	o 12214
101.73/14.76	o 12213
101.73/14.78	o 12212
102.46/14.81	o 12211
102.46/14.83	o 12210
102.46/14.85	o 12209
102.46/14.87	o 12208
103.26/14.91	o 12207
103.26/14.93	o 12206
103.26/14.98	o 12205
103.26/14.99	o 12204
104.13/15.04	o 12203
104.13/15.05	o 12202
104.13/15.08	o 12201
104.13/15.10	o 12200
104.92/15.13	o 12199
104.92/15.15	o 12198
104.92/15.17	o 12197
104.92/15.19	o 12196
105.68/15.22	o 12195
105.68/15.24	o 12194
105.68/15.27	o 12193
105.68/15.29	o 12192
106.45/15.32	o 12191
106.45/15.34	o 12190
106.45/15.36	o 12189
106.45/15.38	o 12188
107.23/15.41	o 12187
107.23/15.44	o 12186
107.23/15.46	o 12185
107.23/15.49	o 12184
108.03/15.51	o 12183
108.03/15.53	o 12182
108.03/15.55	o 12181
108.03/15.57	o 12180
108.82/15.61	o 12179
108.82/15.62	o 12178
108.82/15.65	o 12177
108.82/15.67	o 12176
109.62/15.70	o 12175
109.62/15.72	o 12174
109.62/15.75	o 12173
109.62/15.76	o 12172
109.62/15.79	o 12171
110.41/15.81	o 12170
110.41/15.83	o 12169
110.41/15.86	o 12168
110.41/15.88	o 12167
111.21/15.91	o 12166
111.21/15.93	o 12165
111.21/15.96	o 12164
111.21/15.98	o 12163
112.05/16.02	o 12162
112.87/16.14	o 12161
113.59/16.23	o 12160
114.39/16.39	o 12159
115.99/16.51	o 12158
115.99/16.58	o 12157
116.79/16.70	o 12156
117.66/16.77	o 12155
118.36/16.82	o 12154
119.16/16.91	o 12153
119.16/16.96	o 12152
120.02/17.04	o 12151
120.02/17.10	o 12150
120.87/17.17	o 12149
121.62/17.23	o 12148
122.34/17.31	o 12147
122.34/17.36	o 12146
123.14/17.43	o 12145
123.14/17.48	o 12144
123.94/17.56	o 12143
124.74/17.61	o 12142
124.74/17.69	o 12141
125.54/17.75	o 12140
126.33/17.82	o 12139
126.33/17.87	o 12138
127.13/17.95	o 12137
127.98/18.02	o 12136
127.98/18.08	o 12135
128.79/18.14	o 12134
129.52/18.22	o 12133
129.52/18.27	o 12132
130.32/18.34	o 12131
130.32/18.39	o 12130
131.18/18.47	o 12129
131.98/18.54	o 12128
132.70/18.61	o 12127
132.70/18.67	o 12126
133.49/18.74	o 12125
133.49/18.80	o 12124
134.37/18.87	o 12123
135.09/18.93	o 12122
135.94/19.01	o 12121
135.94/19.06	o 12120
136.76/19.15	o 12119
136.76/19.19	o 12118
137.52/19.28	o 12117
138.27/19.33	o 12116
138.27/19.40	o 12115
139.14/19.45	o 12114
139.87/19.53	o 12113
139.87/19.59	o 12112
140.66/19.66	o 12111
141.45/19.71	o 12110
141.45/19.79	o 12109
142.26/19.84	o 12108
143.05/19.92	o 12107
143.05/19.97	o 12106
143.90/20.05	o 12105
144.72/20.12	o 12104
144.72/20.18	o 12103
145.50/20.24	o 12102
146.24/20.32	o 12101
146.24/20.37	o 12100
147.04/20.45	o 12099
147.83/20.51	o 12098
147.83/20.60	o 12097
148.67/20.66	o 12096
149.42/20.73	o 12095
149.42/20.78	o 12094
150.22/20.86	o 12093
151.01/20.91	o 12092
151.01/20.98	o 12091
151.86/21.04	o 12090
152.67/21.11	o 12089
152.67/21.16	o 12088
153.48/21.23	o 12087
153.48/21.29	o 12086
154.20/21.36	o 12085
155.00/21.42	o 12084
155.00/21.49	o 12083
155.79/21.55	o 12082
156.58/21.61	o 12081
156.58/21.67	o 12080
157.37/21.74	o 12079
157.37/21.79	o 12078
158.17/21.87	o 12077
158.96/21.92	o 12076
158.96/21.99	o 12075
159.87/22.05	o 12074
160.62/22.12	o 12073
160.62/22.17	o 12072
161.42/22.24	o 12071
161.42/22.30	o 12070
162.14/22.37	o 12069
162.94/22.42	o 12068
162.94/22.50	o 12067
163.81/22.55	o 12066
164.54/22.62	o 12065
165.30/22.71	o 12064
165.30/22.78	o 12063
166.10/22.83	o 12062
166.89/22.90	o 12061
166.89/22.96	o 12060
167.74/23.03	o 12059
167.74/23.08	o 12058
168.55/23.15	o 12057
168.55/23.21	o 12056
169.35/23.28	o 12055
170.09/23.33	o 12054
170.89/23.40	o 12053
170.89/23.46	o 12052
171.70/23.53	o 12051
171.70/23.58	o 12050
172.48/23.65	o 12049
173.27/23.71	o 12048
173.27/23.78	o 12047
174.11/23.84	o 12046
174.87/23.91	o 12045
174.87/23.95	o 12044
175.71/24.03	o 12043
175.71/24.08	o 12042
178.05/24.32	o 12041
179.65/24.52	o 12040
181.27/24.80	o 12039
183.68/25.03	o 12038
185.21/25.21	o 12037
186.01/25.37	o 12036
187.61/25.55	o 12035
189.21/25.74	o 12034
190.86/25.93	o 12033
192.45/26.14	o 12032
193.98/26.32	o 12031
195.58/26.51	o 12030
196.37/26.68	o 12029
197.97/26.84	o 12028
199.62/27.03	o 12027
200.43/27.19	o 12026
201.95/27.39	o 12025
204.33/27.61	o 12024
205.13/27.77	o 12023
208.39/28.15	o 12022
210.71/28.45	o 12021
213.11/28.70	o 12020
214.70/28.91	o 12019
216.36/29.16	o 12018
217.89/29.39	o 12017
220.28/29.68	o 12016
223.52/30.05	o 12015
225.04/30.27	o 12014
226.64/30.47	o 12013
228.24/30.68	o 12012
229.83/30.89	o 12011
231.49/31.09	o 12010
233.03/31.30	o 12009
234.62/31.50	o 12008
236.22/31.69	o 12007
238.61/31.95	o 12006
240.28/32.15	o 12005
242.60/32.41	o 12004
245.78/32.83	o 12003
248.23/33.16	o 12002
251.36/33.55	o 12001
252.95/33.79	o 12000
256.21/34.19	o 11999
259.34/34.54	o 11998
261.74/34.84	o 11997
264.19/35.13	o 11996
265.72/35.35	o 11995
267.31/35.53	o 11994
268.90/35.77	o 11993
272.88/36.21	o 11992
274.48/36.47	o 11991
277.67/36.86	o 11990
279.31/37.07	o 11989
280.86/37.29	o 11988
284.05/37.62	o 11987
286.44/37.93	o 11986
289.63/38.35	o 11985
292.01/38.66	o 11984
294.41/38.94	o 11983
297.59/39.34	o 11982
300.78/39.73	o 11981
302.38/39.94	o 11980
305.56/40.36	o 11979
309.56/40.87	o 11978
311.20/41.05	o 11977
315.13/41.54	o 11976
316.72/41.75	o 11975
319.97/42.17	o 11974
321.50/42.37	o 11973
323.10/42.57	o 11972
325.49/42.81	o 11971
327.14/43.02	o 11970
328.68/43.21	o 11969
330.27/43.41	o 11968
331.87/43.68	o 11967
335.93/44.14	o 11966
338.25/44.42	o 11965
341.43/44.81	o 11964
343.88/45.18	o 11963
345.41/45.40	o 11962
348.60/45.75	o 11961
355.78/46.61	o 11960
359.84/47.14	o 11959
364.56/47.75	o 11958
369.32/48.31	o 11957
371.72/48.62	o 11956
374.96/49.05	o 11955
378.89/49.53	o 11954
381.29/49.81	o 11953
384.47/50.29	o 11952
387.67/50.67	o 11951
390.91/51.04	o 11950
392.45/51.30	o 11949
394.04/51.49	o 11948
395.63/51.69	o 11947
397.23/51.88	o 11946
398.88/52.05	o 11945
400.42/52.26	o 11944
402.01/52.46	o 11943
403.61/52.65	o 11942
405.21/52.87	o 11941
406.85/53.06	o 11940
408.39/53.24	o 11939
409.99/53.42	o 11938
412.38/53.71	o 11937
413.18/53.88	o 11936
414.83/54.07	o 11935
416.36/54.26	o 11934
417.96/54.44	o 11933
419.56/54.61	o 11932
420.36/54.80	o 11931
421.96/55.00	o 11930
423.59/55.18	o 11929
425.12/55.40	o 11928
428.31/55.71	o 11927
430.76/56.05	o 11926
433.10/56.38	o 11925
438.73/57.07	o 11924
443.47/57.64	o 11923
449.85/58.50	o 11922
453.82/58.92	o 11921
460.20/59.72	o 11920
464.18/60.29	o 11919
472.96/61.33	o 11918
476.15/61.79	o 11917
478.60/62.05	o 11916
480.13/62.25	o 11915
483.31/62.62	o 11914
484.91/62.81	o 11913
486.56/63.05	o 11912
488.89/63.34	o 11911
490.49/63.57	o 11910
493.69/63.96	o 11909
496.94/64.38	o 11908
499.26/64.69	o 11907
502.52/65.06	o 11906
510.48/66.08	o 11905
514.39/66.56	o 11904
517.58/66.99	o 11903
520.77/67.33	o 11902
523.17/67.66	o 11901
525.57/67.94	o 11900
527.96/68.21	o 11899
530.35/68.55	o 11898
532.74/68.85	o 11897
534.39/69.07	o 11896
537.52/69.41	o 11895
539.12/69.61	o 11894
542.36/70.02	o 11893
543.90/70.27	o 11892
547.08/70.65	o 11891
550.31/71.10	o 11890
553.45/71.47	o 11889
555.85/71.78	o 11888
561.43/72.49	o 11887
563.83/72.75	o 11886
565.42/72.97	o 11885
567.81/73.22	o 11884
569.41/73.41	o 11883
571.00/73.61	o 11882
572.60/73.82	o 11881
574.25/74.03	o 11880
575.79/74.22	o 11879
577.38/74.42	o 11878
578.97/74.61	o 11877
579.77/74.79	o 11876
581.37/74.97	o 11875
583.02/75.15	o 11874
584.55/75.34	o 11873
586.15/75.52	o 11872
587.74/75.70	o 11871
588.54/75.89	o 11870
590.19/76.07	o 11869
591.73/76.25	o 11868
593.32/76.44	o 11867
594.92/76.62	o 11866
596.52/76.80	o 11865
597.32/76.99	o 11864
598.98/77.17	o 11863
600.50/77.35	o 11862
602.10/77.54	o 11861
603.69/77.72	o 11860
605.29/77.90	o 11859
606.14/78.09	o 11858
607.68/78.27	o 11857
609.27/78.45	o 11856
610.87/78.65	o 11855
612.39/78.87	o 11854
614.04/79.07	o 11853
615.58/79.26	o 11852
617.18/79.45	o 11851
618.77/79.64	o 11850
620.37/79.82	o 11849
622.02/80.02	o 11848
623.55/80.21	o 11847
624.35/80.39	o 11846
625.95/80.58	o 11845
627.54/80.77	o 11844
629.14/80.96	o 11843
630.80/81.15	o 11842
632.32/81.34	o 11841
633.92/81.53	o 11840
635.52/81.72	o 11839
637.11/81.91	o 11838
637.96/82.10	o 11837
639.50/82.28	o 11836
641.10/82.47	o 11835
642.69/82.66	o 11834
644.29/82.85	o 11833
645.89/83.07	o 11832
647.43/83.25	o 11831
649.03/83.44	o 11830
650.62/83.62	o 11829
652.22/83.81	o 11828
653.02/83.99	o 11827
654.68/84.19	o 11826
656.20/84.37	o 11825
657.80/84.56	o 11824
659.40/84.74	o 11823
660.99/84.93	o 11822
662.66/85.13	o 11821
664.18/85.31	o 11820
664.98/85.49	o 11819
666.58/85.68	o 11818
668.17/85.86	o 11817
669.82/86.06	o 11816
671.36/86.24	o 11815
672.95/86.44	o 11814
674.55/86.63	o 11813
676.15/86.81	o 11812
677.73/87.04	o 11811
679.27/87.24	o 11810
682.46/87.63	o 11809
685.71/88.02	o 11808
686.52/88.18	o 11807
700.81/90.01	o 11806
704.82/90.43	o 11805
707.18/90.79	o 11804
709.62/91.04	o 11803
712.75/91.47	o 11802
714.35/91.70	o 11801
725.57/93.03	o 11800
739.87/94.88	o 11799
754.22/96.60	o 11798
758.28/97.19	o 11797
765.41/98.06	o 11796
768.55/98.46	o 11795
780.52/99.96	o 11794
787.70/100.85	o 11793
794.06/101.68	o 11792
809.21/103.51	o 11791
825.16/105.51	o 11790
833.93/106.68	o 11789
845.95/108.13	o 11788
854.65/109.23	o 11787
867.40/110.87	o 11786
876.18/111.96	o 11785
896.89/114.52	o 11784
907.25/115.82	o 11783
916.87/117.06	o 11782
925.66/118.17	o 11781
932.76/119.07	o 11780
937.49/119.63	o 11779
946.25/120.76	o 11778
958.22/122.28	o 11777
966.18/123.30	o 11776
974.15/124.30	o 11775
983.71/125.44	o 11774
991.69/126.46	o 11773
998.85/127.35	o 11772
1006.03/128.29	o 11771
1011.61/128.92	o 11770
1019.59/129.92	o 11769
1028.40/131.03	o 11768
1034.73/131.83	o 11767
1040.27/132.55	o 11766
1046.63/133.30	o 11765
1051.39/133.99	o 11764
1057.77/134.72	o 11763
1064.92/135.67	o 11762
1070.50/136.39	o 11761
1076.15/137.04	o 11760
1082.46/137.85	o 11759
1089.62/138.73	o 11758
1094.40/139.35	o 11757
1099.18/140.00	o 11756
1106.41/140.82	o 11755
1118.27/142.34	o 11754
1124.70/143.20	o 11753
1131.91/144.04	o 11752
1135.77/144.58	o 11751
1143.79/145.52	o 11750
1147.76/146.03	o 11749
1153.29/146.78	o 11748
1158.06/147.36	o 11747
1166.02/148.32	o 11746
1172.46/149.12	o 11745
1177.19/149.76	o 11744
1185.08/150.80	o 11743
1190.66/151.46	o 11742
1196.24/152.13	o 11741
1200.94/152.79	o 11740
1207.30/153.54	o 11739
1212.86/154.23	o 11738
1218.44/154.93	o 11737
1224.01/155.66	o 11736
1228.78/156.26	o 11735
1234.35/156.97	o 11734
1239.88/157.66	o 11733
1245.45/158.31	o 11732
1250.22/158.97	o 11731
1256.59/159.71	o 11730
1261.35/160.34	o 11729
1266.97/161.04	o 11728
1272.47/161.77	o 11727
1278.03/162.47	o 11726
1285.97/163.47	o 11725
1291.61/164.17	o 11724
1297.88/164.96	o 11723
1303.42/165.67	o 11722
1308.98/166.35	o 11721
1315.41/167.11	o 11720
1320.90/167.87	o 11719
1327.27/168.62	o 11718
1332.04/169.27	o 11717
1338.45/170.03	o 11716
1342.33/170.59	o 11715
1348.70/171.37	o 11714
1354.25/172.03	o 11713
1358.97/172.67	o 11712
1365.33/173.41	o 11711
1371.68/174.29	o 11710
1377.24/174.97	o 11709
1382.82/175.68	o 11708
1387.59/176.29	o 11707
1397.14/177.44	o 11706
1402.79/178.12	o 11705
1405.90/178.58	o 11704
1409.92/179.05	o 11703
1413.85/179.51	o 11702
1417.87/180.05	o 11701
1421.81/180.58	o 11700
1427.32/181.21	o 11699
1430.50/181.63	o 11698
1435.26/182.22	o 11697
1439.24/182.76	o 11696
1442.48/183.13	o 11695
1446.38/183.68	o 11694
1451.01/184.29	o 11693
1455.78/184.83	o 11692
1458.95/185.25	o 11691
1463.71/185.88	o 11690
1468.49/186.41	o 11689
1473.29/187.05	o 11688
1479.59/187.85	o 11687
1490.68/189.27	o 11686
1496.26/189.91	o 11685
1515.22/192.34	o 11684
1526.35/193.79	o 11683
1531.10/194.38	o 11682
1552.54/197.09	o 11681
1576.24/200.11	o 11680
1597.62/202.76	o 11679
1609.48/204.21	o 11678
1635.61/207.50	o 11677
1647.59/209.04	o 11676
1661.80/210.87	o 11675
1684.01/213.60	o 11674
1698.96/215.52	o 11673
1710.82/217.02	o 11672
1724.19/218.74	o 11671
1735.98/220.22	o 11670
1776.42/225.31	o 11669
1808.94/229.43	o 11668
1820.80/230.97	o 11667
1839.04/233.22	o 11666
1854.84/235.28	o 11665
1871.50/237.36	o 11664
1899.26/240.84	o 11663
1929.43/244.64	o 11662
1965.87/249.21	o 11661
1999.07/253.43	o 11660
2025.19/256.76	o 11659
2062.39/261.47	o 11658
2082.21/263.92	o 11657
2102.07/266.44	o 11656
2130.64/270.06	o 11655
2155.90/273.21	o 11654
2170.27/275.11	o 11653
2197.16/278.45	o 11652
2215.40/280.72	o 11651
2233.66/283.04	o 11650
2247.88/284.88	o 11649
2264.54/286.92	o 11648
2288.30/289.97	o 11647
2327.91/295.01	o 11646
2353.23/298.13	o 11645
2372.18/300.56	o 11644
2399.17/303.97	o 11643
2414.23/305.89	o 11642
2428.49/307.62	o 11641
2455.36/311.09	o 11640
2473.43/313.38	o 11639
2492.41/315.79	o 11638
2509.66/317.94	o 11637
2530.27/320.59	o 11636
2550.96/323.16	o 11635
2568.35/325.31	o 11634
2580.16/326.82	o 11633
2600.76/329.49	o 11632
2618.18/331.70	o 11631
2634.07/333.63	o 11630
2653.18/336.10	o 11629
2672.99/338.56	o 11628
2691.19/340.87	o 11627
2711.03/343.35	o 11626
2726.90/345.39	o 11625
2741.30/347.14	o 11624
2762.62/349.82	o 11623
2780.12/352.02	o 11622
2794.36/353.82	o 11621
2811.06/355.91	o 11620
2827.74/358.09	o 11619
2845.95/360.33	o 11618
2863.41/362.60	o 11617
2881.63/364.88	o 11616
2899.79/367.13	o 11615
2917.90/369.47	o 11614
2933.76/371.41	o 11613
2948.04/373.26	o 11612
2964.54/375.33	o 11611
2977.94/377.08	o 11610
2992.94/379.00	o 11609
3007.17/380.71	o 11608
3029.41/383.54	o 11607
3041.37/385.07	o 11606
3061.98/387.69	o 11605
3081.83/390.12	o 11604
3098.34/392.25	o 11603
3112.71/394.10	o 11602
3130.93/396.34	o 11601
3146.00/398.21	o 11600
3165.06/400.66	o 11599
3179.28/402.50	o 11598
3197.43/404.76	o 11597
3214.87/406.90	o 11596
3231.60/409.08	o 11595
3251.33/411.59	o 11594
3263.27/413.08	o 11593
3281.46/415.39	o 11592
3299.67/417.68	o 11591
3317.87/419.91	o 11590
3328.98/421.33	o 11589
3347.18/423.62	o 11588
3363.90/425.77	o 11587
3382.64/428.13	o 11586
3399.15/430.27	o 11585
3418.86/432.70	o 11584
3433.94/434.67	o 11583
3449.05/436.58	o 11582
3468.95/439.11	o 11581
3483.15/440.87	o 11580
3504.56/443.53	o 11579
3521.95/445.79	o 11578
3538.54/447.81	o 11577
3559.13/450.42	o 11576
3573.40/452.22	o 11575
3592.44/454.61	o 11574
3608.36/456.65	o 11573
3627.38/459.02	o 11572
3643.98/461.11	o 11571
3660.56/463.23	o 11570
3678.06/465.43	o 11569
3695.50/467.64	o 11568
3715.42/470.14	o 11567
3717.73/470.43	o 11566
3739.92/473.22	o 11565
3780.20/478.36	o 11564
3795.99/480.35	o 11563
3818.98/483.21	o 11562
3826.88/484.22	o 11561
3840.41/485.92	o 11560
3854.65/487.74	o 11559
3898.21/493.26	o 11558
3921.95/496.21	o 11557
3953.63/500.21	o 11556
4029.63/509.89	o 11555
4138.15/523.52	o 11554
4271.31/540.40	o 11553
4332.22/548.05	o 11552
4392.50/555.61	o 11551
4454.61/563.41	o 11550
4484.16/567.17	o 11549
4508.07/570.18	o 11548
4539.95/574.12	o 11547
4572.49/578.25	o 11546
4599.58/581.63	o 11545
4634.72/586.06	o 11544
4673.72/590.96	o 11543
4706.44/595.08	o 11542
4737.47/599.00	o 11541
4768.54/602.81	o 11540
4805.20/607.41	o 11539
4833.95/611.01	o 11538
4860.19/614.40	o 11537
4884.07/617.35	o 11536
4915.16/621.26	o 11535
4946.23/625.15	o 11534
4977.30/629.09	o 11533
5045.74/637.69	o 11532
5067.23/640.33	o 11531
5095.13/643.88	o 11530
5115.04/646.35	o 11529
5142.94/649.85	o 11528
5166.05/652.79	o 11527
5197.13/656.61	o 11526
5221.87/659.75	o 11525
5246.51/662.86	o 11524
5264.09/665.02	o 11523
5291.91/668.53	o 11522
5316.59/671.68	o 11521
5337.31/674.28	o 11520
5362.01/677.35	o 11519
5388.32/680.69	o 11518
5418.61/684.44	o 11517
5442.53/687.46	o 11516
5464.85/690.24	o 11515
5487.20/693.03	o 11514
5511.11/696.04	o 11513
5536.57/699.26	o 11512
5558.93/702.07	o 11511
5585.23/705.31	o 11510
5609.88/708.46	o 11509
5632.90/711.40	o 11508
5660.73/714.81	o 11507
5685.44/717.92	o 11506
5705.32/720.41	o 11505
5729.21/723.43	o 11504
5751.51/726.24	o 11503
5771.49/728.74	o 11502
5796.95/731.91	o 11501
5816.81/734.42	o 11500
5839.11/737.28	o 11499
5862.24/740.14	o 11498
5892.44/743.92	o 11497
5914.74/746.75	o 11496
5943.40/750.37	o 11495
5960.93/752.55	o 11494
5988.85/756.04	o 11493
6014.30/759.30	o 11492
6037.47/762.17	o 11491
6059.71/764.96	o 11490
6080.42/767.58	o 11489
6110.68/771.34	o 11488
6133.08/774.12	o 11487
6153.71/776.76	o 11486
6183.19/780.47	o 11485
6206.31/783.31	o 11484
6227.86/786.07	o 11483
6258.12/789.89	o 11482
6285.19/793.27	o 11481
6312.24/796.67	o 11480
6336.08/799.60	o 11479
6359.99/802.68	o 11478
6379.13/805.08	o 11477
6403.86/808.18	o 11476
6429.26/811.39	o 11475
6449.95/813.93	o 11474
6474.71/817.08	o 11473
6497.67/819.92	o 11472
6521.58/822.91	o 11471
6551.82/826.72	o 11470
6574.13/829.57	o 11469
6597.24/832.42	o 11468
6621.12/835.44	o 11467
6648.21/838.83	o 11466
6671.32/841.74	o 11465
6701.56/845.54	o 11464
6724.68/848.45	o 11463
6748.56/851.47	o 11462
6771.62/854.35	o 11461
6798.71/857.72	o 11460
6822.63/860.78	o 11459
6852.07/864.43	o 11458
6871.16/866.81	o 11457
6900.64/870.51	o 11456
6922.95/873.37	o 11455
6952.48/877.11	o 11454
6973.15/879.61	o 11453
6992.40/882.11	o 11452
7017.05/885.18	o 11451
7040.99/888.15	o 11450
7068.86/891.65	o 11449
7091.14/894.45	o 11448
7113.43/897.23	o 11447
7135.81/900.06	o 11446
7170.02/904.37	o 11445
7234.65/912.45	o 11444
7244.16/913.65	o 11443
7343.85/926.15	o 11442
7373.28/929.87	o 11441
7469.63/941.94	o 11440
7520.57/948.40	o 11439
7802.62/983.75	o 11438
7876.03/992.95	o 11437
7951.52/1002.44	o 11436
7968.23/1004.58	o 11435
7980.24/1006.02	o 11434
8063.67/1016.52	o 11433
8206.17/1034.40	o 11432
8319.36/1048.61	o 11431
8493.69/1070.50	o 11430
8634.77/1088.21	o 11429
8766.13/1104.71	o 11428
8811.26/1110.44	o 11427
8857.45/1116.26	o 11426
8922.74/1124.42	o 11425
8968.20/1130.15	o 11424
9016.70/1136.27	o 11423
9058.13/1141.48	o 11422
9204.62/1159.82	o 11421
9306.52/1172.63	o 11420
9464.84/1192.56	o 11419
9590.63/1208.36	o 11418
9674.25/1218.88	o 11417
9782.52/1232.49	o 11416
9882.13/1244.93	o 11415
9933.93/1251.41	o 11414
10036.73/1264.38	o 11413
10102.89/1272.66	o 11412
10166.56/1280.68	o 11411
10234.35/1289.13	o 11410
10291.63/1296.32	o 11409
10357.78/1304.68	o 11408
10416.79/1312.04	o 11407
10474.03/1319.27	o 11406
10531.98/1326.60	o 11405
10596.49/1334.64	o 11404
10658.53/1342.48	o 11403
10728.66/1351.25	o 11402
10786.80/1358.51	o 11401
10847.44/1366.19	o 11400
10920.64/1375.33	o 11399
10982.05/1383.08	o 11398
11037.83/1390.07	o 11397
11103.86/1398.36	o 11396
11165.22/1406.04	o 11395
11230.48/1414.24	o 11394
11308.59/1424.08	o 11393
11400.95/1435.61	o 11392
11457.40/1442.72	o 11391
11550.64/1454.49	o 11390
11632.67/1464.77	o 11389
11689.99/1471.99	o 11388
11771.32/1482.14	o 11387
11849.34/1491.90	o 11386
11927.40/1501.72	o 11385
12015.00/1512.76	o 11384
12123.36/1526.33	o 11383
12199.78/1535.96	o 11382
12272.30/1545.03	o 11381
12302.55/1548.82	o 11380
12327.26/1551.93	o 11379
12360.75/1556.14	o 11378
12424.50/1564.12	o 11377
12467.44/1569.51	o 11376
12497.72/1573.33	o 11375
12524.62/1576.80	o 11374
12576.42/1583.27	o 11373
12611.49/1587.65	o 11372
12640.94/1591.37	o 11371
12682.37/1596.55	o 11370
12715.05/1600.65	o 11369
12746.12/1604.58	o 11368
12777.21/1608.40	o 11367
12807.41/1612.23	o 11366
12840.88/1616.44	o 11365
12872.64/1620.46	o 11364
12902.84/1624.24	o 11363
12933.97/1628.12	o 11362
12974.61/1633.25	o 11361
13013.64/1638.12	o 11360
13044.62/1642.08	o 11359
13075.65/1645.96	o 11358
13104.34/1649.56	o 11357
13151.35/1655.44	o 11356
13186.42/1659.86	o 11355
13227.91/1665.10	o 11354
13263.73/1669.56	o 11353
13290.02/1672.86	o 11352
13325.82/1677.37	o 11351
13359.28/1681.51	o 11350
13396.72/1686.23	o 11349
13426.20/1689.99	o 11348
13453.30/1693.34	o 11347
13490.79/1698.03	o 11346
13524.17/1702.23	o 11345
13560.84/1706.89	o 11344
13603.88/1712.28	o 11343
13638.91/1716.69	o 11342
13668.36/1720.32	o 11341
13716.12/1726.30	o 11340
13748.00/1730.32	o 11339
13786.29/1735.12	o 11338
13829.22/1740.53	o 11337
13872.29/1745.95	o 11336
13922.44/1752.24	o 11335
13955.92/1756.47	o 11334
13990.98/1760.87	o 11333
14019.64/1764.45	o 11332
14054.67/1768.84	o 11331
14085.75/1772.74	o 11330
14124.02/1777.59	o 11329
14211.63/1788.57	o 11328
14261.03/1794.74	o 11327
14312.17/1801.14	o 11326
14342.33/1805.00	o 11325
14373.35/1808.82	o 11324
14421.11/1814.86	o 11323
14473.68/1821.43	o 11322
14500.79/1824.87	o 11321
14546.22/1830.57	o 11320
14574.18/1834.01	o 11319
14609.18/1838.48	o 11318
14690.40/1848.65	o 11317
14696.78/1849.51	o 11316
14750.96/1856.27	o 11315
14752.51/1856.49	o 11314
14820.27/1864.96	o 11313
14872.86/1871.58	o 11312
14918.30/1877.27	o 11311
14951.77/1881.45	o 11310
14997.15/1887.15	o 11309
15034.40/1891.89	o 11308
15069.46/1896.29	o 11307
15110.08/1901.38	o 11306
15148.40/1906.16	o 11305
15193.79/1911.89	o 11304
15242.21/1917.98	o 11303
15297.19/1924.85	o 11302
15328.26/1928.79	o 11301
15470.87/1946.68	o 11300
15509.91/1951.56	o 11299
15540.99/1955.44	o 11298
15585.66/1961.03	o 11297
15631.01/1966.71	o 11296
15666.12/1971.12	o 11295
15700.30/1975.43	o 11294
15738.53/1980.23	o 11293
15773.59/1984.62	o 11292
15811.06/1989.35	o 11291
15846.90/1993.85	o 11290
15881.91/1998.28	o 11289
15916.97/2002.66	o 11288
15953.61/2007.28	o 11287
15989.46/2011.72	o 11286
16022.08/2015.81	o 11285
16054.01/2019.87	o 11284
16090.61/2024.49	o 11283
16127.33/2029.06	o 11282
16164.73/2033.79	o 11281
16204.55/2038.77	o 11280
16245.26/2043.89	o 11279
16281.07/2048.36	o 11278
16320.12/2053.27	o 11277
16358.43/2058.07	o 11276
16395.83/2062.74	o 11275
16432.51/2067.40	o 11274
16463.58/2071.27	o 11273
16502.67/2076.16	o 11272
16538.47/2080.63	o 11271
16574.38/2085.17	o 11270
16613.42/2090.06	o 11269
16646.11/2094.18	o 11268
16681.92/2098.65	o 11267
16717.86/2103.18	o 11266
16756.85/2108.10	o 11265
16794.24/2112.71	o 11264
16830.09/2117.26	o 11263
16861.24/2121.13	o 11262
16899.37/2125.91	o 11261
16938.45/2130.85	o 11260
16978.23/2135.82	o 11259
17015.68/2140.56	o 11258
17050.65/2144.95	o 11257
17084.16/2149.16	o 11256
17120.76/2153.75	o 11255
17152.63/2157.73	o 11254
17188.30/2162.25	o 11253
17222.58/2166.55	o 11252
17257.59/2170.94	o 11251
17293.44/2175.40	o 11250
17331.71/2180.24	o 11249
17371.53/2185.26	o 11248
17405.72/2189.53	o 11247
17439.08/2193.79	o 11246
17484.47/2199.41	o 11245
17518.65/2203.78	o 11244
17552.95/2208.08	o 11243
17591.15/2212.81	o 11242
17628.60/2217.59	o 11241
17659.64/2221.49	o 11240
17697.89/2226.22	o 11239
17732.93/2230.70	o 11238
17763.21/2234.49	o 11237
17804.65/2239.63	o 11236
17840.57/2244.20	o 11235
17877.94/2248.84	o 11234
17912.98/2253.22	o 11233
17948.02/2257.65	o 11232
17980.70/2261.74	o 11231
18022.09/2266.92	o 11230
18054.80/2271.02	o 11229
18092.99/2275.87	o 11228
18131.14/2280.69	o 11227
18167.03/2285.14	o 11226
18199.63/2289.23	o 11225
18230.78/2293.19	o 11224
18268.93/2297.97	o 11223
18302.47/2302.13	o 11222
18338.21/2306.62	o 11221
18376.44/2311.44	o 11220
18409.89/2315.67	o 11219
18445.80/2320.17	o 11218
18483.20/2324.87	o 11217
18521.44/2329.60	o 11216
18558.10/2334.29	o 11215
18589.99/2338.22	o 11214
18632.08/2343.57	o 11213
18665.55/2347.72	o 11212
18699.03/2351.95	o 11211
18735.67/2356.58	o 11210
18778.71/2362.00	o 11209
18813.76/2366.30	o 11208
18850.44/2370.96	o 11207
18887.83/2375.66	o 11206
18923.76/2380.17	o 11205
18960.34/2384.79	o 11204
19001.80/2390.01	o 11203
19038.43/2394.57	o 11202
19074.31/2399.05	o 11201
19108.51/2403.39	o 11200
19139.61/2407.28	o 11199
19393.79/2439.18	o 11198
20038.26/2520.09	s SATISFIABLE
20038.26/2520.10	v <instantiation>
20038.26/2520.10	v 	<list>
20038.26/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]
20038.26/2520.10	v 	</list>
20038.26/2520.10	v 	<values>
20038.26/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 0 123 0 0 2 122 120 123 1 119 0 122 120 123 123 124 1 122 0 119 1 121 0 121 0 2 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 117 123 119 124 121 1 123 121 122 118 122 122 124 123 122 120 0 124 123 122 122 2 120 122 120 120 0 124 122 118 0 1 122 120 122 123 123 119 120 0 123 124 124 123 
20038.26/2520.10	v 	</values>
20038.26/2520.10	v </instantiation>

Verifier Data

OK	11198

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4291170-1532641607/watcher-4291170-1532641607 -o /tmp/evaluation-result-4291170-1532641607/solver-4291170-1532641607 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node104-1532633882-32505 --watchdog 2580 java -Xmx22000m -jar oscarCPXcsp3-parallel.jar --randomseed 992886414 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4291170-1532641607.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=1196, runsolver pid=1193

[startup+0.100137 s]*
/proc/loadavg: 8.52 8.82 8.76 2/198 1216
/proc/meminfo: memFree=11048860/32770624 swapFree=67108860/67108860
[pid=1196] ppid=1193 vsize=26103424 memory=28568 CPUtime=0.11 cores=0-7
/proc/1196/stat : 1196 (java) S 1193 1196 32478 0 -1 1077944320 7089 0 0 0 10 1 0 0 20 0 20 0 81723856 26729906176 7142 33554432000 4194304 4196468 140728002216112 140728002198656 139997374639863 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36270080 140728002225230 140728002225413 140728002225413 140728002228175 0
/proc/1196/statm: 6525856 7142 3154 1 0 6487932 0
[pid=1196/tid=1198] ppid=1193 vsize=26103424 memory=7970949400211768222 CPUtime=0.09 cores=0-7
/proc/1196/task/1198/stat : 1198 (java) R 1193 1196 32478 0 -1 4202560 5605 0 0 0 9 0 0 0 20 0 20 0 81723856 26729906176 7604 33554432000 4194304 4196468 140728002216112 139997378838488 139997353065000 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36270080 140728002225230 140728002225413 140728002225413 140728002228175 0
[pid=1196/tid=1199] ppid=1193 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/1196/task/1199/stat : 1199 (java) S 1193 1196 32478 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81723857 26729906176 7670 33554432000 4194304 4196468 140728002216112 139997346482832 139997374650069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36270080 140728002225230 140728002225413 140728002225413 140728002228175 0
[pid=1196/tid=1200] ppid=1193 vsize=26103424 memory=140562901141120 CPUtime=0 cores=0-7
/proc/1196/task/1200/stat : 1200 (java) S 1193 1196 32478 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81723857 26729906176 7670 33554432000 4194304 4196468 140728002216112 139996931598864 139997374650069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36270080 140728002225230 140728002225413 140728002225413 140728002228175 0
[pid=1196/tid=1201] ppid=1193 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/1196/task/1201/stat : 1201 (java) S 1193 1196 32478 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 81723857 26729906176 7670 33554432000 4194304 4196468 140728002216112 139996930546064 139997374650069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36270080 140728002225230 140728002225413 140728002225413 140728002228175 0
[pid=1196/tid=1202] ppid=1193 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/1196/task/1202/stat : 1202 (java) S 1193 1196 32478 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81723857 26729906176 7670 33554432000 4194304 4196468 140728002216112 139996929493264 139997374650069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36270080 140728002225230 140728002225413 140728002225413 140728002228175 0
[pid=1196/tid=1203] ppid=1193 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/1196/task/1203/stat : 1203 (java) S 1193 1196 32478 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81723857 26729906176 7670 33554432000 4194304 4196468 140728002216112 139996928441488 139997374650069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36270080 140728002225230 140728002225413 140728002225413 140728002228175 0
[pid=1196/tid=1204] ppid=1193 vsize=26103424 memory=-1 CPUtime=0 cores=0-7
/proc/1196/task/1204/stat : 1204 (java) S 1193 1196 32478 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81723857 26729906176 7670 33554432000 4194304 4196468 140728002216112 139996927388688 139997374650069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36270080 140728002225230 140728002225413 140728002225413 140728002228175 0
[pid=1196/tid=1205] ppid=1193 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/1196/task/1205/stat : 1205 (java) S 1193 1196 32478 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81723857 26729906176 7670 33554432000 4194304 4196468 140728002216112 139996926335888 139997374650069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36270080 140728002225230 140728002225413 140728002225413 140728002228175 0
[pid=1196/tid=1206] ppid=1193 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/1196/task/1206/stat : 1206 (java) S 1193 1196 32478 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81723857 26729906176 7670 33554432000 4194304 4196468 140728002216112 139996925283088 139997374650069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36270080 140728002225230 140728002225413 140728002225413 140728002228175 0
[pid=1196/tid=1207] ppid=1193 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/1196/task/1207/stat : 1207 (java) S 1193 1196 32478 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81723858 26729906176 7674 33554432000 4194304 4196468 140728002216112 139996049459568 139997374651010 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36270080 140728002225230 140728002225413 140728002225413 140728002228175 0
[pid=1196/tid=1208] ppid=1193 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/1196/task/1208/stat : 1208 (java) S 1193 1196 32478 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 81723859 26729906176 7674 33554432000 4194304 4196468 140728002216112 139996048405536 139997374650069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36270080 140728002225230 140728002225413 140728002225413 140728002228175 0
[pid=1196/tid=1209] ppid=1193 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/1196/task/1209/stat : 1209 (java) S 1193 1196 32478 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 81723859 26729906176 7674 33554432000 4194304 4196468 140728002216112 139996047352688 139997374650069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36270080 140728002225230 140728002225413 140728002225413 140728002228175 0
[pid=1196/tid=1210] ppid=1193 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/1196/task/1210/stat : 1210 (java) S 1193 1196 32478 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81723861 26729906176 7674 33554432000 4194304 4196468 140728002216112 139996046301008 139997374658459 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36270080 140728002225230 140728002225413 140728002225413 140728002228175 0
[pid=1196/tid=1211] ppid=1193 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/1196/task/1211/stat : 1211 (java) S 1193 1196 32478 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 20 0 81723861 26729906176 7674 33554432000 4194304 4196468 140728002216112 139996045249392 139997374651010 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36270080 140728002225230 140728002225413 140728002225413 140728002228175 0
[pid=1196/tid=1212] ppid=1193 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/1196/task/1212/stat : 1212 (java) S 1193 1196 32478 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 81723861 26729906176 7674 33554432000 4194304 4196468 140728002216112 139996044196592 139997374651010 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36270080 140728002225230 140728002225413 140728002225413 140728002228175 0
[pid=1196/tid=1213] ppid=1193 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/1196/task/1213/stat : 1213 (java) S 1193 1196 32478 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81723861 26729906176 7674 33554432000 4194304 4196468 140728002216112 139996043143792 139997374651010 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36270080 140728002225230 140728002225413 140728002225413 140728002228175 0
[pid=1196/tid=1214] ppid=1193 vsize=26103424 memory=0 CPUtime=0.01 cores=0-7
/proc/1196/task/1214/stat : 1214 (java) S 1193 1196 32478 0 -1 1077944384 276 0 0 0 1 0 0 0 20 0 20 0 81723861 26729906176 7674 33554432000 4194304 4196468 140728002216112 139996042090992 139997374651010 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36270080 140728002225230 140728002225413 140728002225413 140728002228175 0
[pid=1196/tid=1215] ppid=1193 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/1196/task/1215/stat : 1215 (java) S 1193 1196 32478 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 81723862 26729906176 7674 33554432000 4194304 4196468 140728002216112 139996041038432 139997374650069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36270080 140728002225230 140728002225413 140728002225413 140728002228175 0
[pid=1196/tid=1216] ppid=1193 vsize=26103424 memory=-1 CPUtime=0 cores=0-7
/proc/1196/task/1216/stat : 1216 (java) S 1193 1196 32478 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81723862 26729906176 7674 33554432000 4194304 4196468 140728002216112 139996039985712 139997374651010 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36270080 140728002225230 140728002225413 140728002225413 140728002228175 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26103424 KiB
Current children cumulated memory: 28568 KiB

[startup+0.209659 s]*
/proc/loadavg: 8.52 8.82 8.76 3/198 1216
/proc/meminfo: memFree=11035576/32770624 swapFree=67108860/67108860
[pid=1196] ppid=1193 vsize=26103424 memory=41896 CPUtime=0.3 cores=0-7
/proc/1196/stat : 1196 (java) S 1193 1196 32478 0 -1 1077944320 10638 0 0 0 28 2 0 0 20 0 20 0 81723856 26729906176 10474 33554432000 4194304 4196468 140728002216112 140728002198656 139997374639863 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36270080 140728002225230 140728002225413 140728002225413 140728002228175 0
/proc/1196/statm: 6525856 10474 3335 1 0 6487932 0
[pid=1196/tid=1198] ppid=1193 vsize=26103424 memory=4026531975 CPUtime=0.19 cores=0-7
/proc/1196/task/1198/stat : 1198 (java) R 1193 1196 32478 0 -1 4202560 8304 0 0 0 18 1 0 0 20 0 20 0 81723856 26729906176 10474 33554432000 4194304 4196468 140728002216112 139997378858240 139997374651798 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36270080 140728002225230 140728002225413 140728002225413 140728002228175 0
[pid=1196/tid=1199] ppid=1193 vsize=26103424 memory=11921 CPUtime=0 cores=0-7
/proc/1196/task/1199/stat : 1199 (java) S 1193 1196 32478 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81723857 26729906176 10474 33554432000 4194304 4196468 140728002216112 139997346482832 139997374650069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36270080 140728002225230 140728002225413 140728002225413 140728002228175 0
[pid=1196/tid=1200] ppid=1193 vsize=26103424 memory=140562901166645 CPUtime=0 cores=0-7
/proc/1196/task/1200/stat : 1200 (java) S 1193 1196 32478 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81723857 26729906176 10474 33554432000 4194304 4196468 140728002216112 139996931598864 139997374650069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36270080 140728002225230 140728002225413 140728002225413 140728002228175 0
[pid=1196/tid=1201] ppid=1193 vsize=26103424 memory=-1 CPUtime=0 cores=0-7
/proc/1196/task/1201/stat : 1201 (java) S 1193 1196 32478 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 81723857 26729906176 10474 33554432000 4194304 4196468 140728002216112 139996930546064 139997374650069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36270080 140728002225230 140728002225413 140728002225413 140728002228175 0
[pid=1196/tid=1202] ppid=1193 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/1196/task/1202/stat : 1202 (java) S 1193 1196 32478 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81723857 26729906176 10474 33554432000 4194304 4196468 140728002216112 139996929493264 139997374650069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36270080 140728002225230 140728002225413 140728002225413 140728002228175 0
[pid=1196/tid=1203] ppid=1193 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/1196/task/1203/stat : 1203 (java) S 1193 1196 32478 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81723857 26729906176 10474 33554432000 4194304 4196468 140728002216112 139996928441488 139997374650069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36270080 140728002225230 140728002225413 140728002225413 140728002228175 0
[pid=1196/tid=1204] ppid=1193 vsize=26103424 memory=-1 CPUtime=0 cores=0-7
/proc/1196/task/1204/stat : 1204 (java) S 1193 1196 32478 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81723857 26729906176 10474 33554432000 4194304 4196468 140728002216112 139996927388688 139997374650069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36270080 140728002225230 140728002225413 140728002225413 140728002228175 0
[pid=1196/tid=1205] ppid=1193 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/1196/task/1205/stat : 1205 (java) S 1193 1196 32478 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81723857 26729906176 10474 33554432000 4194304 4196468 140728002216112 139996926335888 139997374650069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36270080 140728002225230 140728002225413 140728002225413 140728002228175 0
[pid=1196/tid=1206] ppid=1193 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/1196/task/1206/stat : 1206 (java) S 1193 1196 32478 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81723857 26729906176 10474 33554432000 4194304 4196468 140728002216112 139996925283088 139997374650069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36270080 140728002225230 140728002225413 140728002225413 140728002228175 0
[pid=1196/tid=1207] ppid=1193 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/1196/task/1207/stat : 1207 (java) S 1193 1196 32478 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81723858 26729906176 10474 33554432000 4194304 4196468 140728002216112 139996049459568 139997374651010 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36270080 140728002225230 140728002225413 140728002225413 140728002228175 0
[pid=1196/tid=1208] ppid=1193 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/1196/task/1208/stat : 1208 (java) S 1193 1196 32478 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 81723859 26729906176 10474 33554432000 4194304 4196468 140728002216112 139996048405536 139997374650069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36270080 140728002225230 140728002225413 140728002225413 140728002228175 0
[pid=1196/tid=1209] ppid=1193 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/1196/task/1209/stat : 1209 (java) S 1193 1196 32478 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 81723859 26729906176 10474 33554432000 4194304 4196468 140728002216112 139996047352688 139997374650069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36270080 140728002225230 140728002225413 140728002225413 140728002228175 0
[pid=1196/tid=1210] ppid=1193 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/1196/task/1210/stat : 1210 (java) S 1193 1196 32478 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81723861 26729906176 10474 33554432000 4194304 4196468 140728002216112 139996046301008 139997374658459 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36270080 140728002225230 140728002225413 140728002225413 140728002228175 0
[pid=1196/tid=1211] ppid=1193 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/1196/task/1211/stat : 1211 (java) S 1193 1196 32478 0 -1 1077944384 351 0 0 0 0 0 0 0 20 0 20 0 81723861 26729906176 10474 33554432000 4194304 4196468 140728002216112 139996045249392 139997374651010 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36270080 140728002225230 140728002225413 140728002225413 140728002228175 0
[pid=1196/tid=1212] ppid=1193 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/1196/task/1212/stat : 1212 (java) S 1193 1196 32478 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 20 0 81723861 26729906176 10474 33554432000 4194304 4196468 140728002216112 139996044196592 139997374651010 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36270080 140728002225230 140728002225413 140728002225413 140728002228175 0
[pid=1196/tid=1213] ppid=1193 vsize=26103424 memory=0 CPUtime=0.01 cores=0-7
/proc/1196/task/1213/stat : 1213 (java) S 1193 1196 32478 0 -1 1077944384 182 0 0 0 1 0 0 0 20 0 20 0 81723861 26729906176 10474 33554432000 4194304 4196468 140728002216112 139996043143792 139997374651010 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36270080 140728002225230 140728002225413 140728002225413 140728002228175 0
[pid=1196/tid=1214] ppid=1193 vsize=26103424 memory=0 CPUtime=0.06 cores=0-7
/proc/1196/task/1214/stat : 1214 (java) R 1193 1196 32478 0 -1 4202560 406 0 0 0 6 0 0 0 20 0 20 0 81723861 26729906176 10474 33554432000 4194304 4196468 140728002216112 139996042090992 139997353321600 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36270080 140728002225230 140728002225413 140728002225413 140728002228175 0
[pid=1196/tid=1215] ppid=1193 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/1196/task/1215/stat : 1215 (java) S 1193 1196 32478 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 81723862 26729906176 10474 33554432000 4194304 4196468 140728002216112 139996041038432 139997374650069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36270080 140728002225230 140728002225413 140728002225413 140728002228175 0
[pid=1196/tid=1216] ppid=1193 vsize=26103424 memory=-1 CPUtime=0 cores=0-7
/proc/1196/task/1216/stat : 1216 (java) S 1193 1196 32478 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81723862 26729906176 10474 33554432000 4194304 4196468 140728002216112 139996039985712 139997374651010 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36270080 140728002225230 140728002225413 140728002225413 140728002228175 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 26103424 KiB
Current children cumulated memory: 41896 KiB

[startup+0.309259 s]*
/proc/loadavg: 8.52 8.82 8.76 3/198 1216
/proc/meminfo: memFree=11032852/32770624 swapFree=67108860/67108860
[pid=1196] ppid=1193 vsize=26103424 memory=45480 CPUtime=0.43 cores=0-7
/proc/1196/stat : 1196 (java) S 1193 1196 32478 0 -1 1077944320 11084 0 0 0 41 2 0 0 20 0 20 0 81723856 26729906176 11370 33554432000 4194304 4196468 140728002216112 140728002198656 139997374639863 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36270080 140728002225230 140728002225413 140728002225413 140728002228175 0
/proc/1196/statm: 6525856 11370 3371 1 0 6487932 0
[pid=1196/tid=1198] ppid=1193 vsize=26103424 memory=6935054825532540783 CPUtime=0.29 cores=0-7
/proc/1196/task/1198/stat : 1198 (java) R 1193 1196 32478 0 -1 4202560 8631 0 0 0 28 1 0 0 20 0 20 0 81723856 26729906176 11370 33554432000 4194304 4196468 140728002216112 139997378849200 139997356203459 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36270080 140728002225230 140728002225413 140728002225413 140728002228175 0
[pid=1196/tid=1199] ppid=1193 vsize=26103424 memory=12036 CPUtime=0 cores=0-7
/proc/1196/task/1199/stat : 1199 (java) S 1193 1196 32478 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81723857 26729906176 11370 33554432000 4194304 4196468 140728002216112 139997346482832 139997374650069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36270080 140728002225230 140728002225413 140728002225413 140728002228175 0
[pid=1196/tid=1200] ppid=1193 vsize=26103424 memory=1724 CPUtime=0 cores=0-7
/proc/1196/task/1200/stat : 1200 (java) S 1193 1196 32478 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81723857 26729906176 11370 33554432000 4194304 4196468 140728002216112 139996931598864 139997374650069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36270080 140728002225230 140728002225413 140728002225413 140728002228175 0
[pid=1196/tid=1201] ppid=1193 vsize=26103424 memory=8560 CPUtime=0 cores=0-7
/proc/1196/task/1201/stat : 1201 (java) S 1193 1196 32478 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 81723857 26729906176 11370 33554432000 4194304 4196468 140728002216112 139996930546064 139997374650069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36270080 140728002225230 140728002225413 140728002225413 140728002228175 0
[pid=1196/tid=1202] ppid=1193 vsize=26103424 memory=1012 CPUtime=0 cores=0-7
/proc/1196/task/1202/stat : 1202 (java) S 1193 1196 32478 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81723857 26729906176 11370 33554432000 4194304 4196468 140728002216112 139996929493264 139997374650069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36270080 140728002225230 140728002225413 140728002225413 140728002228175 0
[pid=1196/tid=1203] ppid=1193 vsize=26103424 memory=1444 CPUtime=0 cores=0-7
/proc/1196/task/1203/stat : 1203 (java) S 1193 1196 32478 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81723857 26729906176 11370 33554432000 4194304 4196468 140728002216112 139996928441488 139997374650069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36270080 140728002225230 140728002225413 140728002225413 140728002228175 0
[pid=1196/tid=1204] ppid=1193 vsize=26103424 memory=1200 CPUtime=0 cores=0-7
/proc/1196/task/1204/stat : 1204 (java) S 1193 1196 32478 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81723857 26729906176 11370 33554432000 4194304 4196468 140728002216112 139996927388688 139997374650069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36270080 140728002225230 140728002225413 140728002225413 140728002228175 0
[pid=1196/tid=1205] ppid=1193 vsize=26103424 memory=15872 CPUtime=0 cores=0-7
/proc/1196/task/1205/stat : 1205 (java) S 1193 1196 32478 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81723857 26729906176 11370 33554432000 4194304 4196468 140728002216112 139996926335888 139997374650069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36270080 140728002225230 140728002225413 140728002225413 140728002228175 0
[pid=1196/tid=1206] ppid=1193 vsize=26103424 memory=14732 CPUtime=0 cores=0-7
/proc/1196/task/1206/stat : 1206 (java) S 1193 1196 32478 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81723857 26729906176 11370 33554432000 4194304 4196468 140728002216112 139996925283088 139997374650069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36270080 140728002225230 140728002225413 140728002225413 140728002228175 0
[pid=1196/tid=1207] ppid=1193 vsize=26103424 memory=16436 CPUtime=0 cores=0-7
/proc/1196/task/1207/stat : 1207 (java) S 1193 1196 32478 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81723858 26729906176 11370 33554432000 4194304 4196468 140728002216112 139996049459568 139997374651010 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36270080 140728002225230 140728002225413 140728002225413 140728002228175 0
[pid=1196/tid=1208] ppid=1193 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/1196/task/1208/stat : 1208 (java) S 1193 1196 32478 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 81723859 26729906176 11370 33554432000 4194304 4196468 140728002216112 139996048405536 139997374650069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36270080 140728002225230 140728002225413 140728002225413 140728002228175 0
[pid=1196/tid=1209] ppid=1193 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/1196/task/1209/stat : 1209 (java) S 1193 1196 32478 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 81723859 26729906176 11370 33554432000 4194304 4196468 140728002216112 139996047352688 139997374650069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36270080 140728002225230 140728002225413 140728002225413 140728002228175 0
[pid=1196/tid=1210] ppid=1193 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/1196/task/1210/stat : 1210 (java) S 1193 1196 32478 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81723861 26729906176 11370 33554432000 4194304 4196468 140728002216112 139996046301008 139997374658459 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36270080 140728002225230 140728002225413 140728002225413 140728002228175 0
[pid=1196/tid=1211] ppid=1193 vsize=26103424 memory=0 CPUtime=0.01 cores=0-7
/proc/1196/task/1211/stat : 1211 (java) S 1193 1196 32478 0 -1 1077944384 354 0 0 0 1 0 0 0 20 0 20 0 81723861 26729906176 11370 33554432000 4194304 4196468 140728002216112 139996045249392 139997374651010 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36270080 140728002225230 140728002225413 140728002225413 140728002228175 0
[pid=1196/tid=1212] ppid=1193 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/1196/task/1212/stat : 1212 (java) S 1193 1196 32478 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 20 0 81723861 26729906176 11370 33554432000 4194304 4196468 140728002216112 139996044196592 139997374651010 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36270080 140728002225230 140728002225413 140728002225413 140728002228175 0
[pid=1196/tid=1213] ppid=1193 vsize=26103424 memory=140562804082127 CPUtime=0.02 cores=0-7
/proc/1196/task/1213/stat : 1213 (java) S 1193 1196 32478 0 -1 1077944384 245 0 0 0 2 0 0 0 20 0 20 0 81723861 26729906176 11370 33554432000 4194304 4196468 140728002216112 139996043143792 139997374651010 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36270080 140728002225230 140728002225413 140728002225413 140728002228175 0
[pid=1196/tid=1214] ppid=1193 vsize=26103424 memory=0 CPUtime=0.08 cores=0-7
/proc/1196/task/1214/stat : 1214 (java) S 1193 1196 32478 0 -1 1077944384 438 0 0 0 8 0 0 0 20 0 20 0 81723861 26729906176 11370 33554432000 4194304 4196468 140728002216112 139996042090992 139997374651010 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36270080 140728002225230 140728002225413 140728002225413 140728002228175 0
[pid=1196/tid=1215] ppid=1193 vsize=26103424 memory=140562804107892 CPUtime=0 cores=0-7
/proc/1196/task/1215/stat : 1215 (java) S 1193 1196 32478 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 81723862 26729906176 11370 33554432000 4194304 4196468 140728002216112 139996041038432 139997374650069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36270080 140728002225230 140728002225413 140728002225413 140728002228175 0
[pid=1196/tid=1216] ppid=1193 vsize=26103424 memory=-1 CPUtime=0 cores=0-7
/proc/1196/task/1216/stat : 1216 (java) S 1193 1196 32478 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81723862 26729906176 11370 33554432000 4194304 4196468 140728002216112 139996039985712 139997374651010 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36270080 140728002225230 140728002225413 140728002225413 140728002228175 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 26103424 KiB
Current children cumulated memory: 45480 KiB

[startup+0.700846 s]
/proc/loadavg: 8.52 8.82 8.76 3/198 1216
/proc/meminfo: memFree=11008296/32770624 swapFree=67108860/67108860
[pid=1196] ppid=1193 vsize=26105492 memory=84884 CPUtime=0.99 cores=0-7
/proc/1196/stat : 1196 (java) S 1193 1196 32478 0 -1 1077944320 18133 0 0 0 94 5 0 0 20 0 20 0 81723856 26732023808 21221 33554432000 4194304 4196468 140728002216112 140728002198656 139997374639863 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36270080 140728002225230 140728002225413 140728002225413 140728002228175 0
/proc/1196/statm: 6526373 21221 3505 1 0 6488444 0
[pid=1196/tid=1198] ppid=1193 vsize=26105492 memory=0 CPUtime=0.67 cores=0-7
/proc/1196/task/1198/stat : 1198 (java) R 1193 1196 32478 0 -1 4202560 15124 0 0 0 63 4 0 0 20 0 20 0 81723856 26732023808 21221 33554432000 4194304 4196468 140728002216112 139997378854976 139997358720350 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36270080 140728002225230 140728002225413 140728002225413 140728002228175 0
[pid=1196/tid=1199] ppid=1193 vsize=26105492 memory=0 CPUtime=0 cores=0-7
/proc/1196/task/1199/stat : 1199 (java) S 1193 1196 32478 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81723857 26732023808 21221 33554432000 4194304 4196468 140728002216112 139997346482832 139997374650069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36270080 140728002225230 140728002225413 140728002225413 140728002228175 0
[pid=1196/tid=1200] ppid=1193 vsize=26105492 memory=0 CPUtime=0 cores=0-7
/proc/1196/task/1200/stat : 1200 (java) S 1193 1196 32478 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81723857 26732023808 21221 33554432000 4194304 4196468 140728002216112 139996931598864 139997374650069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36270080 140728002225230 140728002225413 140728002225413 140728002228175 0
[pid=1196/tid=1201] ppid=1193 vsize=26105492 memory=0 CPUtime=0 cores=0-7
/proc/1196/task/1201/stat : 1201 (java) S 1193 1196 32478 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 81723857 26732023808 21221 33554432000 4194304 4196468 140728002216112 139996930546064 139997374650069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36270080 140728002225230 140728002225413 140728002225413 140728002228175 0
[pid=1196/tid=1202] ppid=1193 vsize=26105492 memory=0 CPUtime=0 cores=0-7
/proc/1196/task/1202/stat : 1202 (java) S 1193 1196 32478 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81723857 26732023808 21221 33554432000 4194304 4196468 140728002216112 139996929493264 139997374650069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36270080 140728002225230 140728002225413 140728002225413 140728002228175 0
[pid=1196/tid=1203] ppid=1193 vsize=26105492 memory=1836 CPUtime=0 cores=0-7
/proc/1196/task/1203/stat : 1203 (java) S 1193 1196 32478 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81723857 26732023808 21221 33554432000 4194304 4196468 140728002216112 139996928441488 139997374650069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36270080 140728002225230 140728002225413 140728002225413 140728002228175 0
[pid=1196/tid=1204] ppid=1193 vsize=26105492 memory=792 CPUtime=0 cores=0-7
/proc/1196/task/1204/stat : 1204 (java) S 1193 1196 32478 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81723857 26732023808 21221 33554432000 4194304 4196468 140728002216112 139996927388688 139997374650069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36270080 140728002225230 140728002225413 140728002225413 140728002228175 0
[pid=1196/tid=1205] ppid=1193 vsize=26105492 memory=1960 CPUtime=0 cores=0-7
/proc/1196/task/1205/stat : 1205 (java) S 1193 1196 32478 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81723857 26732023808 21221 33554432000 4194304 4196468 140728002216112 139996926335888 139997374650069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36270080 140728002225230 140728002225413 140728002225413 140728002228175 0
[pid=1196/tid=1206] ppid=1193 vsize=26105492 memory=5672 CPUtime=0 cores=0-7
/proc/1196/task/1206/stat : 1206 (java) S 1193 1196 32478 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81723857 26732023808 21221 33554432000 4194304 4196468 140728002216112 139996925283088 139997374650069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36270080 140728002225230 140728002225413 140728002225413 140728002228175 0
[pid=1196/tid=1207] ppid=1193 vsize=26105492 memory=4616 CPUtime=0 cores=0-7
/proc/1196/task/1207/stat : 1207 (java) S 1193 1196 32478 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81723858 26732023808 21221 33554432000 4194304 4196468 140728002216112 139996049459568 139997374651010 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36270080 140728002225230 140728002225413 140728002225413 140728002228175 0

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

/proc/1196/task/1219/stat : 1219 (java) R 1193 1196 32478 0 -1 4202560 99704 0 0 0 249698 109 0 0 20 0 46 0 81724103 28518940672 1688203 33554432000 4194304 4196468 140728002216112 139996022331848 139997023295556 0 4 0 16800975 0 0 0 -1 6 0 0 10 0 0 6293624 6294260 36270080 140728002225230 140728002225413 140728002225413 140728002228175 0
[pid=1196/tid=1220] ppid=1193 vsize=27850528 memory=7222483652687470737 CPUtime=2499.35 cores=0-7
/proc/1196/task/1220/stat : 1220 (java) R 1193 1196 32478 0 -1 4202560 81487 0 0 0 249816 119 0 0 20 0 46 0 81724104 28518940672 1688203 33554432000 4194304 4196468 140728002216112 139996021279104 139997023899948 0 4 0 16800975 0 0 0 -1 0 0 0 10 0 0 6293624 6294260 36270080 140728002225230 140728002225413 140728002225413 140728002228175 0
[pid=1196/tid=1221] ppid=1193 vsize=27850528 memory=7077805514658193553 CPUtime=2501.22 cores=0-7
/proc/1196/task/1221/stat : 1221 (java) R 1193 1196 32478 0 -1 4202560 83426 0 0 0 249994 128 0 0 20 0 46 0 81724104 28518940672 1688203 33554432000 4194304 4196468 140728002216112 139996020226304 139997023816726 0 4 0 16800975 0 0 0 -1 2 0 0 8 0 0 6293624 6294260 36270080 140728002225230 140728002225413 140728002225413 140728002228175 0
[pid=1196/tid=1222] ppid=1193 vsize=27850528 memory=140562806315921 CPUtime=2492.53 cores=0-7
/proc/1196/task/1222/stat : 1222 (java) R 1193 1196 32478 0 -1 4202560 73411 0 0 0 249149 104 0 0 20 0 46 0 81724111 28518940672 1688203 33554432000 4194304 4196468 140728002216112 139996017075440 139997023519369 0 4 0 16800975 0 0 0 -1 4 0 0 9 0 0 6293624 6294260 36270080 140728002225230 140728002225413 140728002225413 140728002228175 0
[pid=1196/tid=1223] ppid=1193 vsize=27850528 memory=31356350842106267 CPUtime=2493.62 cores=0-7
/proc/1196/task/1223/stat : 1223 (java) R 1193 1196 32478 0 -1 4202560 95538 0 0 0 249235 127 0 0 20 0 46 0 81724111 28518940672 1688203 33554432000 4194304 4196468 140728002216112 139996016025712 139997023594084 0 4 0 16800975 0 0 0 -1 1 0 0 10 0 0 6293624 6294260 36270080 140728002225230 140728002225413 140728002225413 140728002228175 0
[pid=1196/tid=1224] ppid=1193 vsize=27850528 memory=239495 CPUtime=2496.4 cores=0-7
/proc/1196/task/1224/stat : 1224 (java) R 1193 1196 32478 0 -1 4202560 76290 0 0 0 249544 96 0 0 20 0 46 0 81724111 28518940672 1688203 33554432000 4194304 4196468 140728002216112 139996014969976 139997024434643 0 4 0 16800975 0 0 0 -1 7 0 0 9 0 0 6293624 6294260 36270080 140728002225230 140728002225413 140728002225413 140728002228175 0
[pid=1196/tid=1225] ppid=1193 vsize=27850528 memory=28600664529 CPUtime=2500.42 cores=0-7
/proc/1196/task/1225/stat : 1225 (java) R 1193 1196 32478 0 -1 4202560 81827 0 0 0 249916 126 0 0 20 0 46 0 81724111 28518940672 1688203 33554432000 4194304 4196468 140728002216112 139996013917896 139997024433247 0 4 0 16800975 0 0 0 -1 5 0 0 8 0 0 6293624 6294260 36270080 140728002225230 140728002225413 140728002225413 140728002228175 0
[pid=1196/tid=1226] ppid=1193 vsize=27850528 memory=28600664529 CPUtime=0.19 cores=0-7
/proc/1196/task/1226/stat : 1226 (java) S 1193 1196 32478 0 -1 1077944384 109 0 0 0 19 0 0 0 20 0 46 0 81724111 28518940672 1688203 33554432000 4194304 4196468 140728002216112 139996012872592 139997374650069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36270080 140728002225230 140728002225413 140728002225413 140728002228175 0
[pid=1196/tid=1227] ppid=1193 vsize=27850528 memory=28600664529 CPUtime=0.23 cores=0-7
/proc/1196/task/1227/stat : 1227 (java) S 1193 1196 32478 0 -1 1077944384 1796 0 0 0 23 0 0 0 20 0 46 0 81724111 28518940672 1688203 33554432000 4194304 4196468 140728002216112 139996011820816 139997374650069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36270080 140728002225230 140728002225413 140728002225413 140728002228175 0
[pid=1196/tid=1228] ppid=1193 vsize=27850528 memory=10479720204678 CPUtime=2491.82 cores=0-7
/proc/1196/task/1228/stat : 1228 (java) R 1193 1196 32478 0 -1 4202560 78954 0 0 0 249067 115 0 0 20 0 46 0 81724111 28518940672 1688203 33554432000 4194304 4196468 140728002216112 139996010760576 139997023519467 0 4 0 16800975 0 0 0 -1 3 0 0 9 0 0 6293624 6294260 36270080 140728002225230 140728002225413 140728002225413 140728002228175 0
[pid=1196/tid=1229] ppid=1193 vsize=27850528 memory=8112282956445269571 CPUtime=0.22 cores=0-7
/proc/1196/task/1229/stat : 1229 (java) S 1193 1196 32478 0 -1 1077944384 1219 0 0 0 22 0 0 0 20 0 46 0 81724112 28518940672 1688203 33554432000 4194304 4196468 140728002216112 139996009715216 139997374650069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36270080 140728002225230 140728002225413 140728002225413 140728002228175 0
[pid=1196/tid=1230] ppid=1193 vsize=27850528 memory=928 CPUtime=0.18 cores=0-7
/proc/1196/task/1230/stat : 1230 (java) S 1193 1196 32478 0 -1 1077944384 1594 0 0 0 18 0 0 0 20 0 46 0 81724119 28518940672 1688203 33554432000 4194304 4196468 140728002216112 139996008662416 139997374650069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36270080 140728002225230 140728002225413 140728002225413 140728002228175 0
[pid=1196/tid=1231] ppid=1193 vsize=27850528 memory=1580 CPUtime=0.16 cores=0-7
/proc/1196/task/1231/stat : 1231 (java) S 1193 1196 32478 0 -1 1077944384 42 0 0 0 16 0 0 0 20 0 46 0 81724119 28518940672 1688203 33554432000 4194304 4196468 140728002216112 139996007609616 139997374650069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36270080 140728002225230 140728002225413 140728002225413 140728002228175 0
[pid=1196/tid=1232] ppid=1193 vsize=27850528 memory=2244 CPUtime=0.2 cores=0-7
/proc/1196/task/1232/stat : 1232 (java) S 1193 1196 32478 0 -1 1077944384 1526 0 0 0 20 0 0 0 20 0 46 0 81724119 28518940672 1688203 33554432000 4194304 4196468 140728002216112 139996006556816 139997374650069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36270080 140728002225230 140728002225413 140728002225413 140728002228175 0
[pid=1196/tid=1233] ppid=1193 vsize=27850528 memory=4136 CPUtime=0.21 cores=0-7
/proc/1196/task/1233/stat : 1233 (java) S 1193 1196 32478 0 -1 1077944384 2058 0 0 0 21 0 0 0 20 0 46 0 81724119 28518940672 1688203 33554432000 4194304 4196468 140728002216112 139996005504016 139997374650069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36270080 140728002225230 140728002225413 140728002225413 140728002228175 0
[pid=1196/tid=1234] ppid=1193 vsize=27850528 memory=2204 CPUtime=0.2 cores=0-7
/proc/1196/task/1234/stat : 1234 (java) S 1193 1196 32478 0 -1 1077944384 2143 0 0 0 20 0 0 0 20 0 46 0 81724120 28518940672 1688203 33554432000 4194304 4196468 140728002216112 139996004451216 139997374650069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36270080 140728002225230 140728002225413 140728002225413 140728002228175 0
[pid=1196/tid=1235] ppid=1193 vsize=27850528 memory=7532 CPUtime=0.13 cores=0-7
/proc/1196/task/1235/stat : 1235 (java) S 1193 1196 32478 0 -1 1077944384 89 0 0 0 13 0 0 0 20 0 46 0 81724132 28518940672 1688203 33554432000 4194304 4196468 140728002216112 139995664832272 139997374650069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36270080 140728002225230 140728002225413 140728002225413 140728002228175 0
[pid=1196/tid=1236] ppid=1193 vsize=27850528 memory=844 CPUtime=0.14 cores=0-7
/proc/1196/task/1236/stat : 1236 (java) S 1193 1196 32478 0 -1 1077944384 40 0 0 0 14 0 0 0 20 0 46 0 81724132 28518940672 1688203 33554432000 4194304 4196468 140728002216112 139995663779472 139997374650069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36270080 140728002225230 140728002225413 140728002225413 140728002228175 0
[pid=1196/tid=1237] ppid=1193 vsize=27850528 memory=1796 CPUtime=0.17 cores=0-7
/proc/1196/task/1237/stat : 1237 (java) S 1193 1196 32478 0 -1 1077944384 45 0 0 0 17 0 0 0 20 0 46 0 81724132 28518940672 1688203 33554432000 4194304 4196468 140728002216112 139995662726672 139997374650069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36270080 140728002225230 140728002225413 140728002225413 140728002228175 0
[pid=1196/tid=1238] ppid=1193 vsize=27850528 memory=916 CPUtime=0.15 cores=0-7
/proc/1196/task/1238/stat : 1238 (java) S 1193 1196 32478 0 -1 1077944384 1758 0 0 0 15 0 0 0 20 0 46 0 81724132 28518940672 1688203 33554432000 4194304 4196468 140728002216112 139995661673872 139997374650069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36270080 140728002225230 140728002225413 140728002225413 140728002228175 0
[pid=1196/tid=1239] ppid=1193 vsize=27850528 memory=5720 CPUtime=0.18 cores=0-7
/proc/1196/task/1239/stat : 1239 (java) S 1193 1196 32478 0 -1 1077944384 2513 0 0 0 18 0 0 0 20 0 46 0 81724132 28518940672 1688203 33554432000 4194304 4196468 140728002216112 139995660621072 139997374650069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 36270080 140728002225230 140728002225413 140728002225413 140728002228175 0
[pid=1196/tid=1240] ppid=1193 vsize=27850528 memory=4629771062077588875 CPUtime=0.18 cores=0-7
/proc/1196/task/1240/stat : 1240 (java) S 1193 1196 32478 0 -1 1077944384 1713 0 0 0 18 0 0 0 20 0 46 0 81724132 28518940672 1688203 33554432000 4194304 4196468 140728002216112 139995659568272 139997374650069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36270080 140728002225230 140728002225413 140728002225413 140728002228175 0
[pid=1196/tid=1241] ppid=1193 vsize=27850528 memory=-8961168018402230209 CPUtime=0.15 cores=0-7
/proc/1196/task/1241/stat : 1241 (java) S 1193 1196 32478 0 -1 1077944384 100 0 0 0 15 0 0 0 20 0 46 0 81724132 28518940672 1688203 33554432000 4194304 4196468 140728002216112 139995658515472 139997374650069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36270080 140728002225230 140728002225413 140728002225413 140728002228175 0
[pid=1196/tid=1242] ppid=1193 vsize=27850528 memory=4140 CPUtime=0.17 cores=0-7
/proc/1196/task/1242/stat : 1242 (java) S 1193 1196 32478 0 -1 1077944384 2110 0 0 0 17 0 0 0 20 0 46 0 81724132 28518940672 1688203 33554432000 4194304 4196468 140728002216112 139995657462672 139997374650069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36270080 140728002225230 140728002225413 140728002225413 140728002228175 0
Current children cumulated CPU time: 20038.3 s
Current children cumulated vsize: 27850528 KiB
Current children cumulated memory: 6752812 KiB

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

[startup+2520.45 s]
# the end of solver process 1196 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=20029 s, system=12.4522 s

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

[startup+2520.4 s]
/proc/loadavg: 8.93 8.87 8.84 10/224 1320
/proc/meminfo: memFree=4308640/32770624 swapFree=67108860/67108860
[pid=1196] ppid=1193 vsize=27984684 memory=6754672 CPUtime=20041.3 cores=0-7
/proc/1196/stat : 1196 (java) S 1193 1196 32478 0 -1 1077944320 1301038 0 0 0 2002893 1241 0 0 20 0 47 0 81723856 28656316416 1688668 33554432000 4194304 4196468 140728002216112 140728002198656 139997374639863 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36270080 140728002225230 140728002225413 140728002225413 140728002228175 0
/proc/1196/statm: 6996171 1688668 3620 1 0 6957721 0
[pid=1196/tid=1198] ppid=1193 vsize=27984684 memory=6758960 CPUtime=2.45 cores=0-7
/proc/1196/task/1198/stat : 1198 (java) S 1193 1196 32478 0 -1 1077944384 24222 0 0 0 236 9 0 0 20 0 47 0 81723856 28656316416 1688668 33554432000 4194304 4196468 140728002216112 139997378878544 139997374650069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36270080 140728002225230 140728002225413 140728002225413 140728002228175 0
[pid=1196/tid=1199] ppid=1193 vsize=27984684 memory=6754864 CPUtime=5.63 cores=0-7
/proc/1196/task/1199/stat : 1199 (java) S 1193 1196 32478 0 -1 1077944384 50731 0 0 0 528 35 0 0 20 0 47 0 81723857 28656316416 1688668 33554432000 4194304 4196468 140728002216112 139997346482832 139997374650069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 6 0 0 6293624 6294260 36270080 140728002225230 140728002225413 140728002225413 140728002228175 0
[pid=1196/tid=1200] ppid=1193 vsize=27984684 memory=6754864 CPUtime=5.61 cores=0-7
/proc/1196/task/1200/stat : 1200 (java) S 1193 1196 32478 0 -1 1077944384 50673 0 0 0 530 31 0 0 20 0 47 0 81723857 28656316416 1688668 33554432000 4194304 4196468 140728002216112 139996931598864 139997374650069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 6 0 0 6293624 6294260 36270080 140728002225230 140728002225413 140728002225413 140728002228175 0
[pid=1196/tid=1201] ppid=1193 vsize=27984684 memory=6752812 CPUtime=5.63 cores=0-7
/proc/1196/task/1201/stat : 1201 (java) S 1193 1196 32478 0 -1 1077944384 54608 0 0 0 529 34 0 0 20 0 47 0 81723857 28656316416 1688668 33554432000 4194304 4196468 140728002216112 139996930546064 139997374650069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 5 0 0 6293624 6294260 36270080 140728002225230 140728002225413 140728002225413 140728002228175 0
[pid=1196/tid=1202] ppid=1193 vsize=27984684 memory=4136 CPUtime=5.67 cores=0-7
/proc/1196/task/1202/stat : 1202 (java) S 1193 1196 32478 0 -1 1077944384 55222 0 0 0 534 33 0 0 20 0 47 0 81723857 28656316416 1688668 33554432000 4194304 4196468 140728002216112 139996929493264 139997374650069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 5 0 0 6293624 6294260 36270080 140728002225230 140728002225413 140728002225413 140728002228175 0
[pid=1196/tid=1203] ppid=1193 vsize=27984684 memory=2204 CPUtime=5.59 cores=0-7
/proc/1196/task/1203/stat : 1203 (java) S 1193 1196 32478 0 -1 1077944384 49833 0 0 0 530 29 0 0 20 0 47 0 81723857 28656316416 1688668 33554432000 4194304 4196468 140728002216112 139996928441488 139997374650069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 6 0 0 6293624 6294260 36270080 140728002225230 140728002225413 140728002225413 140728002228175 0
[pid=1196/tid=1204] ppid=1193 vsize=27984684 memory=7532 CPUtime=5.68 cores=0-7
/proc/1196/task/1204/stat : 1204 (java) S 1193 1196 32478 0 -1 1077944384 54857 0 0 0 533 35 0 0 20 0 47 0 81723857 28656316416 1688668 33554432000 4194304 4196468 140728002216112 139996927388688 139997374650069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 6 0 0 6293624 6294260 36270080 140728002225230 140728002225413 140728002225413 140728002228175 0
[pid=1196/tid=1205] ppid=1193 vsize=27984684 memory=844 CPUtime=5.67 cores=0-7
/proc/1196/task/1205/stat : 1205 (java) S 1193 1196 32478 0 -1 1077944384 48278 0 0 0 536 31 0 0 20 0 47 0 81723857 28656316416 1688668 33554432000 4194304 4196468 140728002216112 139996926335888 139997374650069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 6 0 0 6293624 6294260 36270080 140728002225230 140728002225413 140728002225413 140728002228175 0
[pid=1196/tid=1206] ppid=1193 vsize=27984684 memory=6791534058613427641 CPUtime=5.6 cores=0-7
/proc/1196/task/1206/stat : 1206 (java) S 1193 1196 32478 0 -1 1077944384 53176 0 0 0 527 33 0 0 20 0 47 0 81723857 28656316416 1688668 33554432000 4194304 4196468 140728002216112 139996925283088 139997374650069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 6 0 0 6293624 6294260 36270080 140728002225230 140728002225413 140728002225413 140728002228175 0
[pid=1196/tid=1207] ppid=1193 vsize=27984684 memory=8112282956445269571 CPUtime=2.62 cores=0-7
/proc/1196/task/1207/stat : 1207 (java) S 1193 1196 32478 0 -1 1077944384 87392 0 0 0 226 36 0 0 20 0 47 0 81723858 28656316416 1688668 33554432000 4194304 4196468 140728002216112 139996049459568 139997374651010 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36270080 140728002225230 140728002225413 140728002225413 140728002228175 0
[pid=1196/tid=1208] ppid=1193 vsize=27984684 memory=0 CPUtime=0 cores=0-7
/proc/1196/task/1208/stat : 1208 (java) S 1193 1196 32478 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 47 0 81723859 28656316416 1688668 33554432000 4194304 4196468 140728002216112 139996048405600 139997374650069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36270080 140728002225230 140728002225413 140728002225413 140728002228175 0
[pid=1196/tid=1209] ppid=1193 vsize=27984684 memory=6003413092232031080 CPUtime=0 cores=0-7
/proc/1196/task/1209/stat : 1209 (java) S 1193 1196 32478 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 47 0 81723859 28656316416 1688668 33554432000 4194304 4196468 140728002216112 139996047352704 139997374650069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36270080 140728002225230 140728002225413 140728002225413 140728002228175 0
[pid=1196/tid=1210] ppid=1193 vsize=27984684 memory=6003413092232031080 CPUtime=0 cores=0-7
/proc/1196/task/1210/stat : 1210 (java) S 1193 1196 32478 0 -1 1077944384 231 0 0 0 0 0 0 0 20 0 47 0 81723861 28656316416 1688668 33554432000 4194304 4196468 140728002216112 139996046301008 139997374658459 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36270080 140728002225230 140728002225413 140728002225413 140728002228175 0
[pid=1196/tid=1211] ppid=1193 vsize=27984684 memory=6003413092232031080 CPUtime=1.53 cores=0-7
/proc/1196/task/1211/stat : 1211 (java) R 1193 1196 32478 0 -1 1077944384 7222 0 0 0 150 3 0 0 20 0 47 0 81723861 28656316416 1688668 33554432000 4194304 4196468 140728002216112 139996045249392 139997374651010 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36270080 140728002225230 140728002225413 140728002225413 140728002228175 0
[pid=1196/tid=1212] ppid=1193 vsize=27984684 memory=6003413092232031080 CPUtime=1.64 cores=0-7
/proc/1196/task/1212/stat : 1212 (java) S 1193 1196 32478 0 -1 1077944384 9846 0 0 0 163 1 0 0 20 0 47 0 81723861 28656316416 1688668 33554432000 4194304 4196468 140728002216112 139996044196592 139997374651010 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36270080 140728002225230 140728002225413 140728002225413 140728002228175 0
[pid=1196/tid=1213] ppid=1193 vsize=27984684 memory=6003413092232031080 CPUtime=1.5 cores=0-7
/proc/1196/task/1213/stat : 1213 (java) R 1193 1196 32478 0 -1 4202560 5860 0 0 0 149 1 0 0 20 0 47 0 81723861 28656316416 1688668 33554432000 4194304 4196468 140728002216112 139996043143792 139997359747767 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36270080 140728002225230 140728002225413 140728002225413 140728002228175 0
[pid=1196/tid=1214] ppid=1193 vsize=27984684 memory=8098148773762913104 CPUtime=1.3 cores=0-7
/proc/1196/task/1214/stat : 1214 (java) S 1193 1196 32478 0 -1 1077944384 26680 0 0 0 126 4 0 0 20 0 47 0 81723861 28656316416 1688668 33554432000 4194304 4196468 140728002216112 139996042090992 139997374651010 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36270080 140728002225230 140728002225413 140728002225413 140728002228175 0
[pid=1196/tid=1215] ppid=1193 vsize=27984684 memory=8098148773762913104 CPUtime=0 cores=0-7
/proc/1196/task/1215/stat : 1215 (java) S 1193 1196 32478 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 47 0 81723862 28656316416 1688668 33554432000 4194304 4196468 140728002216112 139996041038432 139997374650069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36270080 140728002225230 140728002225413 140728002225413 140728002228175 0
[pid=1196/tid=1216] ppid=1193 vsize=27984684 memory=6949162421288593235 CPUtime=0.84 cores=0-7
/proc/1196/task/1216/stat : 1216 (java) S 1193 1196 32478 0 -1 1077944384 3962 0 0 0 44 40 0 0 20 0 47 0 81723862 28656316416 1688668 33554432000 4194304 4196468 140728002216112 139996039985712 139997374651010 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36270080 140728002225230 140728002225413 140728002225413 140728002228175 0
[pid=1196/tid=1217] ppid=1193 vsize=27984684 memory=1796 CPUtime=0.13 cores=0-7
/proc/1196/task/1217/stat : 1217 (java) S 1193 1196 32478 0 -1 1077944384 9433 0 0 0 12 1 0 0 20 0 47 0 81724065 28656316416 1688668 33554432000 4194304 4196468 140728002216112 139996028637776 139997374650069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 36270080 140728002225230 140728002225413 140728002225413 140728002228175 0
[pid=1196/tid=1219] ppid=1193 vsize=27984684 memory=5720 CPUtime=2498.45 cores=0-7
/proc/1196/task/1219/stat : 1219 (java) R 1193 1196 32478 0 -1 4202560 99714 0 0 0 249736 109 0 0 20 0 47 0 81724103 28656316416 1688668 33554432000 4194304 4196468 140728002216112 139996022331848 139997024434679 0 4 0 16800975 0 0 0 -1 2 0 0 10 0 0 6293624 6294260 36270080 140728002225230 140728002225413 140728002225413 140728002228175 0
[pid=1196/tid=1220] ppid=1193 vsize=27984684 memory=6935054825532540783 CPUtime=2499.73 cores=0-7
/proc/1196/task/1220/stat : 1220 (java) R 1193 1196 32478 0 -1 4202560 81501 0 0 0 249854 119 0 0 20 0 47 0 81724104 28656316416 1688668 33554432000 4194304 4196468 140728002216112 139996021279048 139997023295221 0 4 0 16800975 0 0 0 -1 0 0 0 10 0 0 6293624 6294260 36270080 140728002225230 140728002225413 140728002225413 140728002228175 0
[pid=1196/tid=1221] ppid=1193 vsize=27984684 memory=0 CPUtime=2501.58 cores=0-7
/proc/1196/task/1221/stat : 1221 (java) R 1193 1196 32478 0 -1 4202560 83440 0 0 0 250030 128 0 0 20 0 47 0 81724104 28656316416 1688668 33554432000 4194304 4196468 140728002216112 139996020226248 139997023816975 0 4 0 16800975 0 0 0 -1 4 0 0 8 0 0 6293624 6294260 36270080 140728002225230 140728002225413 140728002225413 140728002228175 0
[pid=1196/tid=1222] ppid=1193 vsize=27984684 memory=0 CPUtime=2492.91 cores=0-7
/proc/1196/task/1222/stat : 1222 (java) R 1193 1196 32478 0 -1 4202560 73425 0 0 0 249187 104 0 0 20 0 47 0 81724111 28656316416 1688668 33554432000 4194304 4196468 140728002216112 139996017076296 139997023295312 0 4 0 16800975 0 0 0 -1 6 0 0 9 0 0 6293624 6294260 36270080 140728002225230 140728002225413 140728002225413 140728002228175 0
[pid=1196/tid=1223] ppid=1193 vsize=27984684 memory=0 CPUtime=2493.99 cores=0-7
/proc/1196/task/1223/stat : 1223 (java) R 1193 1196 32478 0 -1 4202560 95549 0 0 0 249272 127 0 0 20 0 47 0 81724111 28656316416 1688668 33554432000 4194304 4196468 140728002216112 139996016023688 139997011766952 0 4 0 16800975 0 0 0 -1 3 0 0 10 0 0 6293624 6294260 36270080 140728002225230 140728002225413 140728002225413 140728002228175 0
[pid=1196/tid=1224] ppid=1193 vsize=27984684 memory=0 CPUtime=2496.75 cores=0-7
/proc/1196/task/1224/stat : 1224 (java) R 1193 1196 32478 0 -1 4202560 76298 0 0 0 249579 96 0 0 20 0 47 0 81724111 28656316416 1688668 33554432000 4194304 4196468 140728002216112 139996014969976 139997023551503 0 4 0 16800975 0 0 0 -1 7 0 0 9 0 0 6293624 6294260 36270080 140728002225230 140728002225413 140728002225413 140728002228175 0
[pid=1196/tid=1225] ppid=1193 vsize=27984684 memory=0 CPUtime=2500.78 cores=0-7
/proc/1196/task/1225/stat : 1225 (java) R 1193 1196 32478 0 -1 4202560 81837 0 0 0 249952 126 0 0 20 0 47 0 81724111 28656316416 1688668 33554432000 4194304 4196468 140728002216112 139996013917896 139997023551621 0 4 0 16800975 0 0 0 -1 1 0 0 8 0 0 6293624 6294260 36270080 140728002225230 140728002225413 140728002225413 140728002228175 0
[pid=1196/tid=1226] ppid=1193 vsize=27984684 memory=0 CPUtime=0.19 cores=0-7
/proc/1196/task/1226/stat : 1226 (java) S 1193 1196 32478 0 -1 1077944384 111 0 0 0 19 0 0 0 20 0 47 0 81724111 28656316416 1688668 33554432000 4194304 4196468 140728002216112 139996012872592 139997374650069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36270080 140728002225230 140728002225413 140728002225413 140728002228175 0
[pid=1196/tid=1227] ppid=1193 vsize=27984684 memory=0 CPUtime=0.23 cores=0-7
/proc/1196/task/1227/stat : 1227 (java) S 1193 1196 32478 0 -1 1077944384 1832 0 0 0 23 0 0 0 20 0 47 0 81724111 28656316416 1688668 33554432000 4194304 4196468 140728002216112 139996011820816 139997374650069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36270080 140728002225230 140728002225413 140728002225413 140728002228175 0
[pid=1196/tid=1228] ppid=1193 vsize=27984684 memory=0 CPUtime=2492.18 cores=0-7
/proc/1196/task/1228/stat : 1228 (java) R 1193 1196 32478 0 -1 4202560 78968 0 0 0 249103 115 0 0 20 0 47 0 81724111 28656316416 1688668 33554432000 4194304 4196468 140728002216112 139996010760520 139997023899940 0 4 0 16800975 0 0 0 -1 5 0 0 9 0 0 6293624 6294260 36270080 140728002225230 140728002225413 140728002225413 140728002228175 0
[pid=1196/tid=1229] ppid=1193 vsize=27984684 memory=0 CPUtime=0.23 cores=0-7
/proc/1196/task/1229/stat : 1229 (java) S 1193 1196 32478 0 -1 1077944384 1346 0 0 0 23 0 0 0 20 0 47 0 81724112 28656316416 1688668 33554432000 4194304 4196468 140728002216112 139996009715216 139997374650069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36270080 140728002225230 140728002225413 140728002225413 140728002228175 0
[pid=1196/tid=1230] ppid=1193 vsize=27984684 memory=0 CPUtime=0.19 cores=0-7
/proc/1196/task/1230/stat : 1230 (java) R 1193 1196 32478 0 -1 1077944384 1623 0 0 0 19 0 0 0 20 0 47 0 81724119 28656316416 1688668 33554432000 4194304 4196468 140728002216112 139996008662416 139997374650069 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36270080 140728002225230 140728002225413 140728002225413 140728002228175 0
[pid=1196/tid=1231] ppid=1193 vsize=27984684 memory=0 CPUtime=0.16 cores=0-7
/proc/1196/task/1231/stat : 1231 (java) S 1193 1196 32478 0 -1 1077944384 42 0 0 0 16 0 0 0 20 0 47 0 81724119 28656316416 1688668 33554432000 4194304 4196468 140728002216112 139996007609616 139997374650069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36270080 140728002225230 140728002225413 140728002225413 140728002228175 0
[pid=1196/tid=1232] ppid=1193 vsize=27984684 memory=0 CPUtime=0.21 cores=0-7
/proc/1196/task/1232/stat : 1232 (java) S 1193 1196 32478 0 -1 1077944384 1797 0 0 0 21 0 0 0 20 0 47 0 81724119 28656316416 1688676 33554432000 4194304 4196468 140728002216112 139996006556816 139997374650069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36270080 140728002225230 140728002225413 140728002225413 140728002228175 0
[pid=1196/tid=1233] ppid=1193 vsize=27984684 memory=0 CPUtime=0.21 cores=0-7
/proc/1196/task/1233/stat : 1233 (java) S 1193 1196 32478 0 -1 1077944384 2060 0 0 0 21 0 0 0 20 0 47 0 81724119 28656316416 1688655 33554432000 4194304 4196468 140728002216112 139996005504016 139997374650069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36270080 140728002225230 140728002225413 140728002225413 140728002228175 0
[pid=1196/tid=1234] ppid=1193 vsize=27984684 memory=8112282956445269571 CPUtime=0.2 cores=0-7
/proc/1196/task/1234/stat : 1234 (java) S 1193 1196 32478 0 -1 1077944384 2166 0 0 0 20 0 0 0 20 0 46 0 81724120 28656316416 1688655 33554432000 4194304 4196468 140728002216112 139996004451216 139997374650069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36270080 140728002225230 140728002225413 140728002225413 140728002228175 0
[pid=1196/tid=1235] ppid=1193 vsize=27984684 memory=0 CPUtime=0.13 cores=0-7
/proc/1196/task/1235/stat : 1235 (java) S 1193 1196 32478 0 -1 1077944384 131 0 0 0 13 0 0 0 20 0 46 0 81724132 28656316416 1688655 33554432000 4194304 4196468 140728002216112 139995664832272 139997374650069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36270080 140728002225230 140728002225413 140728002225413 140728002228175 0
[pid=1196/tid=1236] ppid=1193 vsize=27984684 memory=7378958119283876459 CPUtime=0.15 cores=0-7
/proc/1196/task/1236/stat : 1236 (java) S 1193 1196 32478 0 -1 1077944384 216 0 0 0 15 0 0 0 20 0 46 0 81724132 28656316416 1688655 33554432000 4194304 4196468 140728002216112 139995663779472 139997374650069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36270080 140728002225230 140728002225413 140728002225413 140728002228175 0
[pid=1196/tid=1237] ppid=1193 vsize=27984684 memory=7378958119283876459 CPUtime=0.17 cores=0-7
/proc/1196/task/1237/stat : 1237 (java) S 1193 1196 32478 0 -1 1077944384 45 0 0 0 17 0 0 0 20 0 46 0 81724132 28656316416 1688655 33554432000 4194304 4196468 140728002216112 139995662726672 139997374650069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36270080 140728002225230 140728002225413 140728002225413 140728002228175 0
[pid=1196/tid=1238] ppid=1193 vsize=27984684 memory=7378958119283876459 CPUtime=0.16 cores=0-7
/proc/1196/task/1238/stat : 1238 (java) S 1193 1196 32478 0 -1 1077944384 2222 0 0 0 16 0 0 0 20 0 46 0 81724132 28656316416 1688655 33554432000 4194304 4196468 140728002216112 139995661673872 139997374650069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36270080 140728002225230 140728002225413 140728002225413 140728002228175 0
[pid=1196/tid=1239] ppid=1193 vsize=27984684 memory=7445383018298108779 CPUtime=0.18 cores=0-7
/proc/1196/task/1239/stat : 1239 (java) S 1193 1196 32478 0 -1 1077944384 2539 0 0 0 18 0 0 0 20 0 46 0 81724132 28656316416 1688655 33554432000 4194304 4196468 140728002216112 139995660621072 139997374650069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 36270080 140728002225230 140728002225413 140728002225413 140728002228175 0
[pid=1196/tid=1240] ppid=1193 vsize=27984684 memory=6949162421288593235 CPUtime=0.19 cores=0-7
/proc/1196/task/1240/stat : 1240 (java) S 1193 1196 32478 0 -1 1077944384 2142 0 0 0 19 0 0 0 20 0 46 0 81724132 28656316416 1688655 33554432000 4194304 4196468 140728002216112 139995659568272 139997374650069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36270080 140728002225230 140728002225413 140728002225413 140728002228175 0
[pid=1196/tid=1241] ppid=1193 vsize=27984684 memory=7378958119283876459 CPUtime=0.15 cores=0-7
/proc/1196/task/1241/stat : 1241 (java) S 1193 1196 32478 0 -1 1077944384 100 0 0 0 15 0 0 0 20 0 46 0 81724132 28656316416 1688655 33554432000 4194304 4196468 140728002216112 139995658515472 139997374650069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36270080 140728002225230 140728002225413 140728002225413 140728002228175 0
[pid=1196/tid=1242] ppid=1193 vsize=27984684 memory=7450756241060030050 CPUtime=0.18 cores=0-7
/proc/1196/task/1242/stat : 1242 (java) S 1193 1196 32478 0 -1 1077944384 2167 0 0 0 18 0 0 0 20 0 46 0 81724132 28656316416 1688655 33554432000 4194304 4196468 140728002216112 139995657462672 139997374650069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36270080 140728002225230 140728002225413 140728002225413 140728002228175 0
Current children cumulated CPU time: 20041.3 s
Current children cumulated vsize: 27984684 KiB
Current children cumulated memory: 6754672 KiB

Child status: 143
Real time (s): 2520.45
CPU time (s): 20041.5
CPU user time (s): 20029
CPU system time (s): 12.4522
CPU usage (%): 795.155
Max. virtual memory (cumulated for all children) (KiB): 27984684
Max. memory (cumulated for all children) (KiB): 7559720

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20029
system time used= 12.4522
maximum resident set size= 7566428
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1301076
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3424
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 447431
involuntary context switches= 431760


# summary of solver processes directly reported to runsolver:
#   pid: 1196
#   total CPU time (s): 20041.5
#   total CPU user time (s): 20029
#   total CPU system time (s): 12.4522

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 25.9371 second user time and 36.1707 second system time

The end

Launcher Data

Begin job on node104 at 2018-07-26 23:46:47
IDJOB=4291170
IDBENCH=141215
IDSOLVER=2745
FILE ID=node104/4291170-1532641607
RUNJOBID= node104-1532633882-32505
PBS_JOBID= 21022178
Free space on /tmp= 48344 MiB

SOLVER NAME= OscaR - Parallel with EPS 2018-07-02
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-4291170-1532641607/watcher-4291170-1532641607 -o /tmp/evaluation-result-4291170-1532641607/solver-4291170-1532641607 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node104-1532633882-32505 --watchdog 2580  java -Xmx22000m -jar oscarCPXcsp3-parallel.jar --randomseed 992886414 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4291170-1532641607.xml

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

MD5SUM BENCH= e8035d4b0abecbc1a78dd1ff35d13fe4
RANDOM SEED=992886414

node104.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.11
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.11
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.11
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.11
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:        11063684 kB
MemAvailable:   31926232 kB
Buffers:          229576 kB
Cached:         20623916 kB
SwapCached:            0 kB
Active:          4229080 kB
Inactive:       16679200 kB
Active(anon):       6316 kB
Inactive(anon):    76236 kB
Active(file):    4222764 kB
Inactive(file): 16602964 kB
Unevictable:        7168 kB
Mlocked:            7168 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             35884 kB
Writeback:             0 kB
AnonPages:         60568 kB
Mapped:            41280 kB
Shmem:             25228 kB
Slab:             492896 kB
SReclaimable:     465280 kB
SUnreclaim:        27616 kB
KernelStack:        3184 kB
PageTables:         4748 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     326092 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:      116096 kB
DirectMap2M:    33429504 kB

Free space on /tmp at the end= 48308 MiB
End job on node104 at 2018-07-27 00:28:47