Trace number 4291175

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)49202 20001.5 2520.55

General information on the benchmark

NameSumColoring/
SumColoring-dsjc-250-9_c18.xml
MD5SUM15c7aefb85365a32de6dc875f5012851
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark10183
Best CPU time to get the best result obtained on this benchmark20067.3
Satisfiable
(Un)Satisfiability was proved
Number of variables250
Number of constraints27897
Number of domains1
Minimum domain size250
Maximum domain size250
Distribution of domain sizes[{"size":250,"count":250}]
Minimum variable degree208
Maximum variable degree235
Distribution of variable degrees[{"degree":208,"count":1},{"degree":213,"count":1},{"degree":214,"count":3},{"degree":215,"count":5},{"degree":216,"count":4},{"degree":217,"count":8},{"degree":218,"count":9},{"degree":219,"count":11},{"degree":220,"count":9},{"degree":221,"count":15},{"degree":222,"count":19},{"degree":223,"count":19},{"degree":224,"count":26},{"degree":225,"count":23},{"degree":226,"count":10},{"degree":227,"count":22},{"degree":228,"count":17},{"degree":229,"count":21},{"degree":230,"count":10},{"degree":231,"count":6},{"degree":232,"count":7},{"degree":233,"count":1},{"degree":234,"count":1},{"degree":235,"count":2}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":27897}]
Number of extensional constraints0
Number of intensional constraints27897
Distribution of constraint types[{"type":"intension","count":27897}]
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: 1893626518
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...
6.94/2.21	c Parsing done, starting search...
46.06/16.02	o 51099
46.06/16.02	o 51098
46.06/16.02	o 51091
46.06/16.02	o 51088
46.06/16.02	o 51086
46.06/16.06	o 51085
46.06/16.06	o 51084
46.06/16.06	o 51083
46.06/16.06	o 51082
46.06/16.06	o 51081
46.06/16.06	o 51080
46.06/16.06	o 51079
46.06/16.06	o 51078
46.06/16.06	o 51077
46.06/16.06	o 51076
46.06/16.06	o 51075
46.06/16.06	o 51074
46.06/16.06	o 51073
46.06/16.06	o 51072
46.06/16.06	o 51071
46.06/16.07	o 51070
46.06/16.09	o 51069
46.06/16.09	o 51068
46.06/16.09	o 51067
46.06/16.09	o 51066
46.06/16.09	o 51065
46.06/16.09	o 51064
46.06/16.09	o 51063
46.06/16.09	o 51062
46.06/16.09	o 51061
46.06/16.09	o 51060
46.06/16.09	o 51059
46.06/16.09	o 51058
46.06/16.09	o 51057
46.06/16.09	o 51056
46.06/16.09	o 51055
46.06/16.10	o 51054
46.06/16.10	o 51053
46.06/16.10	o 51052
46.06/16.11	o 51029
46.06/16.11	o 51025
46.06/16.11	o 51021
46.06/16.11	o 51020
46.06/16.11	o 51019
46.06/16.11	o 51018
46.06/16.11	o 51017
46.06/16.11	o 51016
46.06/16.11	o 51015
46.06/16.11	o 51014
46.06/16.11	o 51013
46.06/16.11	o 51012
46.06/16.11	o 51011
46.06/16.11	o 51010
46.06/16.11	o 51009
46.06/16.11	o 51008
46.06/16.11	o 51007
46.06/16.11	o 51006
46.06/16.12	o 51005
46.06/16.12	o 51004
46.06/16.12	o 51003
46.06/16.12	o 51002
46.06/16.12	o 51001
46.06/16.12	o 51000
46.06/16.12	o 50999
46.06/16.12	o 50998
46.06/16.12	o 50997
46.06/16.12	o 50996
46.06/16.12	o 50995
46.06/16.12	o 50994
46.06/16.12	o 50993
46.06/16.12	o 50992
46.06/16.12	o 50991
46.91/16.12	o 50990
46.91/16.12	o 50989
46.91/16.12	o 50988
46.91/16.12	o 50987
46.91/16.12	o 50986
46.91/16.12	o 50985
46.91/16.12	o 50984
46.91/16.12	o 50983
46.91/16.12	o 50982
46.91/16.12	o 50981
46.91/16.12	o 50980
46.91/16.12	o 50979
46.91/16.12	o 50978
46.91/16.12	o 50977
46.91/16.12	o 50976
46.91/16.12	o 50975
46.91/16.13	o 50974
46.91/16.13	o 50973
46.91/16.13	o 50972
46.91/16.14	o 50971
46.91/16.14	o 50970
46.91/16.14	o 50969
46.91/16.14	o 50968
46.91/16.14	o 50967
46.91/16.14	o 50966
46.91/16.14	o 50965
46.91/16.15	o 50964
46.91/16.15	o 50963
46.91/16.15	o 50962
46.91/16.15	o 50961
46.91/16.15	o 50960
46.91/16.15	o 50959
46.91/16.15	o 50958
46.91/16.15	o 50957
46.91/16.15	o 50956
46.91/16.15	o 50955
46.91/16.15	o 50954
46.91/16.16	o 50953
46.91/16.16	o 50952
46.91/16.16	o 50951
46.91/16.16	o 50950
46.91/16.16	o 50949
46.91/16.16	o 50948
46.91/16.16	o 50947
46.91/16.16	o 50946
46.91/16.16	o 50945
46.91/16.16	o 50944
46.91/16.16	o 50943
46.91/16.16	o 50942
46.91/16.16	o 50941
46.91/16.16	o 50940
46.91/16.16	o 50939
46.91/16.16	o 50938
46.91/16.17	o 50937
46.91/16.17	o 50936
46.91/16.17	o 50935
46.91/16.17	o 50934
46.91/16.17	o 50933
46.91/16.17	o 50932
46.91/16.17	o 50931
46.91/16.17	o 50930
46.91/16.17	o 50929
46.91/16.17	o 50928
46.91/16.17	o 50927
46.91/16.17	o 50926
46.91/16.17	o 50925
46.91/16.17	o 50924
46.91/16.17	o 50923
46.91/16.17	o 50922
46.91/16.17	o 50921
46.91/16.17	o 50920
46.91/16.17	o 50919
46.91/16.17	o 50918
46.91/16.17	o 50917
46.91/16.18	o 50916
46.91/16.18	o 50915
46.91/16.18	o 50914
46.91/16.18	o 50913
46.91/16.18	o 50912
46.91/16.18	o 50911
46.91/16.18	o 50910
46.91/16.18	o 50909
46.91/16.18	o 50908
46.91/16.19	o 50907
46.91/16.19	o 50906
46.91/16.19	o 50905
46.91/16.19	o 50904
46.91/16.19	o 50903
46.91/16.19	o 50902
46.91/16.19	o 50901
46.91/16.19	o 50900
46.91/16.19	o 50899
46.91/16.20	o 50898
46.91/16.20	o 50897
46.91/16.20	o 50896
46.91/16.20	o 50895
46.91/16.20	o 50894
46.91/16.20	o 50893
46.91/16.20	o 50892
46.91/16.20	o 50891
46.91/16.20	o 50890
46.91/16.20	o 50889
46.91/16.20	o 50888
46.91/16.20	o 50887
46.91/16.20	o 50886
46.91/16.20	o 50885
46.91/16.20	o 50884
46.91/16.20	o 50883
46.91/16.20	o 50882
46.91/16.20	o 50881
46.91/16.20	o 50880
46.91/16.20	o 50879
46.91/16.20	o 50878
46.91/16.20	o 50877
46.91/16.20	o 50876
46.91/16.20	o 50875
46.91/16.20	o 50874
46.91/16.20	o 50873
46.91/16.20	o 50872
46.91/16.20	o 50871
46.91/16.20	o 50870
46.91/16.20	o 50869
46.91/16.20	o 50868
47.54/16.21	o 50867
47.54/16.21	o 50866
47.54/16.21	o 50865
47.54/16.21	o 50864
47.54/16.21	o 50863
47.54/16.21	o 50862
47.54/16.21	o 50861
47.54/16.21	o 50860
47.54/16.21	o 50859
47.54/16.21	o 50858
47.54/16.21	o 50857
47.54/16.21	o 50856
47.54/16.21	o 50855
47.54/16.21	o 50854
47.54/16.21	o 50853
47.54/16.21	o 50852
47.54/16.21	o 50851
47.54/16.21	o 50850
47.54/16.21	o 50849
47.54/16.21	o 50848
47.54/16.21	o 50847
47.54/16.21	o 50846
47.54/16.21	o 50845
47.54/16.21	o 50844
47.54/16.22	o 50843
47.54/16.22	o 50842
47.54/16.22	o 50841
47.54/16.22	o 50840
47.54/16.22	o 50839
47.54/16.22	o 50838
47.54/16.22	o 50837
47.54/16.22	o 50836
47.54/16.22	o 50835
47.54/16.22	o 50834
47.54/16.22	o 50833
47.54/16.22	o 50832
47.54/16.22	o 50831
47.54/16.22	o 50830
47.54/16.22	o 50829
47.54/16.22	o 50828
47.54/16.22	o 50827
47.54/16.22	o 50826
47.54/16.22	o 50825
47.54/16.22	o 50824
47.54/16.22	o 50823
47.54/16.22	o 50822
47.54/16.22	o 50821
47.54/16.22	o 50820
47.54/16.23	o 50819
47.54/16.23	o 50818
47.54/16.23	o 50817
47.54/16.23	o 50816
47.54/16.23	o 50815
47.54/16.23	o 50814
47.54/16.23	o 50813
47.54/16.23	o 50812
47.54/16.23	o 50811
47.54/16.23	o 50810
47.54/16.23	o 50809
47.54/16.23	o 50808
47.54/16.23	o 50807
47.54/16.23	o 50806
47.54/16.24	o 50805
47.54/16.24	o 50804
47.54/16.24	o 50803
47.54/16.24	o 50802
47.54/16.25	o 50801
47.54/16.25	o 50800
47.54/16.25	o 50799
47.54/16.25	o 50798
47.54/16.25	o 50797
47.54/16.26	o 50796
47.54/16.26	o 50795
47.54/16.26	o 50794
47.54/16.27	o 50793
47.54/16.27	o 50792
47.54/16.27	o 50791
47.54/16.27	o 50790
47.54/16.27	o 50789
47.54/16.28	o 50788
47.54/16.28	o 50787
47.54/16.28	o 50786
47.54/16.28	o 50785
47.54/16.29	o 50784
47.54/16.29	o 50783
47.54/16.29	o 50782
48.25/16.30	o 50781
48.25/16.30	o 50780
48.25/16.30	o 50779
48.25/16.30	o 50778
48.25/16.31	o 50777
48.25/16.31	o 50776
48.25/16.31	o 50775
48.25/16.31	o 50774
48.25/16.31	o 50773
48.25/16.31	o 50772
48.25/16.31	o 50771
48.25/16.31	o 50770
48.25/16.31	o 50769
48.25/16.31	o 50768
48.25/16.31	o 50767
48.25/16.31	o 50766
48.25/16.31	o 50765
48.25/16.31	o 50764
48.25/16.31	o 50763
48.25/16.32	o 50762
48.25/16.32	o 50761
48.25/16.32	o 50760
48.25/16.32	o 50759
48.25/16.32	o 50758
48.25/16.32	o 50757
48.25/16.32	o 50756
48.25/16.32	o 50755
48.25/16.32	o 50754
48.25/16.32	o 50753
48.25/16.32	o 50752
48.25/16.32	o 50751
48.25/16.32	o 50750
48.25/16.33	o 50749
48.25/16.33	o 50748
48.25/16.33	o 50747
48.25/16.33	o 50746
48.25/16.33	o 50745
48.25/16.33	o 50744
48.25/16.33	o 50743
48.25/16.33	o 50742
48.25/16.33	o 50741
48.25/16.33	o 50740
48.25/16.33	o 50739
48.25/16.33	o 50738
48.25/16.33	o 50737
48.25/16.34	o 50736
48.25/16.34	o 50735
48.25/16.34	o 50734
48.25/16.34	o 50733
48.25/16.34	o 50732
48.25/16.34	o 50731
48.25/16.34	o 50730
48.25/16.34	o 50729
48.25/16.34	o 50728
48.25/16.34	o 50727
48.25/16.34	o 50726
48.25/16.34	o 50725
48.25/16.34	o 50724
48.25/16.34	o 50723
48.25/16.34	o 50722
48.25/16.34	o 50721
48.25/16.34	o 50720
48.25/16.34	o 50719
48.25/16.35	o 50718
48.25/16.35	o 50717
48.25/16.35	o 50716
48.25/16.35	o 50715
48.25/16.35	o 50714
48.25/16.35	o 50713
48.25/16.35	o 50712
48.25/16.35	o 50711
48.25/16.35	o 50710
48.25/16.35	o 50709
48.25/16.35	o 50708
48.25/16.36	o 50707
48.25/16.36	o 50706
48.25/16.36	o 50705
48.25/16.36	o 50704
48.25/16.36	o 50703
48.25/16.36	o 50702
48.25/16.36	o 50701
48.25/16.36	o 50700
48.25/16.36	o 50699
48.25/16.36	o 50698
48.25/16.36	o 50697
48.25/16.36	o 50696
48.25/16.36	o 50695
48.25/16.36	o 50694
48.25/16.36	o 50693
48.25/16.36	o 50692
48.25/16.36	o 50691
48.25/16.36	o 50690
48.25/16.36	o 50689
48.25/16.36	o 50688
48.25/16.36	o 50687
48.25/16.36	o 50686
48.25/16.36	o 50685
48.25/16.36	o 50684
48.25/16.36	o 50683
48.25/16.37	o 50682
48.25/16.37	o 50681
48.25/16.37	o 50680
48.25/16.37	o 50679
48.25/16.37	o 50678
48.25/16.37	o 50677
48.25/16.37	o 50676
48.25/16.37	o 50675
48.25/16.37	o 50674
48.25/16.37	o 50673
48.25/16.37	o 50672
48.25/16.37	o 50671
48.25/16.37	o 50670
48.25/16.37	o 50669
48.25/16.37	o 50668
48.25/16.37	o 50667
48.25/16.37	o 50666
48.25/16.37	o 50665
48.25/16.37	o 50664
48.25/16.37	o 50663
48.25/16.37	o 50662
48.25/16.37	o 50661
48.25/16.37	o 50660
48.25/16.37	o 50659
48.25/16.37	o 50658
48.25/16.37	o 50657
48.25/16.37	o 50656
48.25/16.37	o 50655
48.25/16.37	o 50654
48.25/16.38	o 50653
48.25/16.38	o 50652
48.25/16.38	o 50651
48.25/16.38	o 50650
48.25/16.38	o 50649
48.25/16.38	o 50648
48.25/16.38	o 50647
48.25/16.38	o 50646
48.25/16.38	o 50645
48.25/16.38	o 50644
48.25/16.38	o 50643
48.25/16.38	o 50642
48.25/16.38	o 50641
48.25/16.38	o 50640
48.25/16.38	o 50639
48.25/16.39	o 50638
48.25/16.39	o 50637
48.25/16.39	o 50636
48.25/16.39	o 50635
48.25/16.39	o 50634
48.25/16.39	o 50633
48.25/16.39	o 50632
48.25/16.39	o 50631
48.25/16.39	o 50630
48.25/16.39	o 50629
48.25/16.39	o 50628
48.25/16.39	o 50627
48.25/16.39	o 50626
48.25/16.40	o 50625
48.25/16.40	o 50624
48.88/16.41	o 50623
48.88/16.41	o 50622
48.88/16.41	o 50621
48.88/16.41	o 50620
48.88/16.41	o 50619
48.88/16.41	o 50618
48.88/16.41	o 50617
48.88/16.41	o 50616
48.88/16.41	o 50615
48.88/16.41	o 50614
48.88/16.41	o 50613
48.88/16.41	o 50612
48.88/16.41	o 50611
48.88/16.41	o 50610
48.88/16.41	o 50609
48.88/16.41	o 50608
48.88/16.41	o 50607
48.88/16.41	o 50606
48.88/16.41	o 50605
48.88/16.41	o 50604
48.88/16.41	o 50603
48.88/16.41	o 50602
48.88/16.41	o 50601
48.88/16.41	o 50600
48.88/16.41	o 50599
48.88/16.41	o 50598
48.88/16.41	o 50597
48.88/16.41	o 50596
48.88/16.41	o 50595
48.88/16.41	o 50594
48.88/16.41	o 50593
48.88/16.41	o 50592
48.88/16.41	o 50591
48.88/16.41	o 50590
48.88/16.41	o 50589
48.88/16.41	o 50588
48.88/16.41	o 50587
48.88/16.41	o 50586
48.88/16.41	o 50585
48.88/16.42	o 50584
48.88/16.42	o 50583
48.88/16.42	o 50582
48.88/16.42	o 50581
48.88/16.42	o 50580
48.88/16.42	o 50579
48.88/16.42	o 50578
48.88/16.42	o 50577
48.88/16.42	o 50576
48.88/16.42	o 50575
48.88/16.42	o 50574
48.88/16.42	o 50573
48.88/16.42	o 50572
48.88/16.42	o 50571
48.88/16.42	o 50570
48.88/16.42	o 50569
48.88/16.43	o 50568
48.88/16.43	o 50567
48.88/16.43	o 50566
48.88/16.43	o 50565
48.88/16.43	o 50564
48.88/16.43	o 50563
48.88/16.43	o 50562
48.88/16.43	o 50561
48.88/16.43	o 50560
48.88/16.43	o 50559
48.88/16.43	o 50558
48.88/16.44	o 50557
48.88/16.44	o 50556
48.88/16.44	o 50555
48.88/16.44	o 50554
48.88/16.44	o 50553
48.88/16.44	o 50552
48.88/16.44	o 50551
48.88/16.44	o 50550
48.88/16.44	o 50549
48.88/16.45	o 50548
48.88/16.45	o 50547
48.88/16.46	o 50546
48.88/16.46	o 50545
48.88/16.46	o 50544
48.88/16.46	o 50543
48.88/16.46	o 50542
48.88/16.46	o 50541
48.88/16.46	o 50540
48.88/16.46	o 50539
48.88/16.46	o 50538
48.88/16.46	o 50537
48.88/16.46	o 50536
48.88/16.46	o 50535
48.88/16.46	o 50534
48.88/16.46	o 50533
48.88/16.46	o 50532
48.88/16.46	o 50531
48.88/16.46	o 50530
48.88/16.46	o 50529
48.88/16.46	o 50528
48.88/16.46	o 50527
48.88/16.46	o 50526
48.88/16.46	o 50525
48.88/16.46	o 50524
48.88/16.46	o 50523
48.88/16.46	o 50522
48.88/16.46	o 50521
48.88/16.46	o 50520
48.88/16.47	o 50519
48.88/16.47	o 50518
48.88/16.47	o 50517
48.88/16.47	o 50516
48.88/16.47	o 50515
48.88/16.47	o 50514
48.88/16.47	o 50513
48.88/16.47	o 50512
48.88/16.47	o 50511
48.88/16.47	o 50510
48.88/16.47	o 50509
48.88/16.47	o 50508
48.88/16.47	o 50507
48.88/16.47	o 50506
48.88/16.48	o 50505
48.88/16.48	o 50504
48.88/16.48	o 50503
48.88/16.48	o 50502
48.88/16.48	o 50501
48.88/16.48	o 50500
48.88/16.48	o 50499
48.88/16.48	o 50498
48.88/16.49	o 50497
48.88/16.49	o 50496
48.88/16.49	o 50495
48.88/16.49	o 50494
48.88/16.49	o 50493
48.88/16.49	o 50492
48.88/16.49	o 50491
48.88/16.49	o 50490
48.88/16.49	o 50489
49.56/16.50	o 50488
49.56/16.50	o 50487
49.56/16.50	o 50486
49.56/16.50	o 50485
49.56/16.50	o 50484
49.56/16.50	o 50483
49.56/16.50	o 50482
49.56/16.50	o 50481
49.56/16.51	o 50480
49.56/16.51	o 50479
49.56/16.51	o 50478
49.56/16.51	o 50477
49.56/16.51	o 50476
49.56/16.52	o 50475
49.56/16.52	o 50474
49.56/16.52	o 50473
49.56/16.52	o 50472
49.56/16.52	o 50471
49.56/16.52	o 50470
49.56/16.52	o 50469
49.56/16.52	o 50468
49.56/16.52	o 50467
49.56/16.52	o 50466
49.56/16.52	o 50465
49.56/16.53	o 50464
49.56/16.53	o 50463
49.56/16.53	o 50462
49.56/16.53	o 50461
49.56/16.53	o 50460
49.56/16.53	o 50459
49.56/16.53	o 50458
49.56/16.53	o 50457
49.56/16.53	o 50456
49.56/16.53	o 50455
49.56/16.53	o 50454
49.56/16.53	o 50453
49.56/16.53	o 50452
49.56/16.54	o 50451
49.56/16.54	o 50450
49.56/16.54	o 50449
49.56/16.54	o 50448
49.56/16.54	o 50447
49.56/16.54	o 50446
49.56/16.54	o 50445
49.56/16.54	o 50444
49.56/16.54	o 50443
49.56/16.55	o 50442
49.56/16.55	o 50441
49.56/16.55	o 50440
49.56/16.55	o 50439
49.56/16.55	o 50438
49.56/16.55	o 50437
49.56/16.55	o 50436
49.56/16.55	o 50435
49.56/16.55	o 50434
49.56/16.55	o 50433
49.56/16.55	o 50432
49.56/16.55	o 50431
49.56/16.56	o 50430
49.56/16.56	o 50429
49.56/16.56	o 50428
49.56/16.56	o 50427
49.56/16.56	o 50426
49.56/16.56	o 50425
49.56/16.56	o 50424
49.56/16.56	o 50423
49.56/16.56	o 50422
49.56/16.56	o 50421
49.56/16.57	o 50420
49.56/16.57	o 50419
49.56/16.57	o 50418
49.56/16.57	o 50417
49.56/16.57	o 50416
49.56/16.57	o 50415
49.56/16.57	o 50414
49.56/16.57	o 50413
49.56/16.57	o 50412
49.56/16.57	o 50411
49.56/16.57	o 50410
49.56/16.57	o 50409
49.56/16.58	o 50408
49.56/16.58	o 50407
49.56/16.58	o 50406
49.56/16.58	o 50405
49.56/16.58	o 50404
49.56/16.58	o 50403
49.56/16.58	o 50402
49.56/16.58	o 50401
49.56/16.58	o 50400
49.56/16.58	o 50399
49.56/16.58	o 50398
49.56/16.58	o 50397
49.56/16.58	o 50396
49.56/16.58	o 50395
49.56/16.59	o 50394
49.56/16.59	o 50393
49.56/16.59	o 50392
49.56/16.59	o 50391
49.56/16.59	o 50390
49.56/16.59	o 50389
49.56/16.59	o 50388
49.56/16.59	o 50387
49.56/16.59	o 50386
49.56/16.59	o 50385
49.56/16.60	o 50384
50.30/16.60	o 50383
50.30/16.60	o 50382
50.30/16.60	o 50381
50.30/16.60	o 50380
50.30/16.60	o 50379
50.30/16.60	o 50378
50.30/16.60	o 50377
50.30/16.60	o 50376
50.30/16.60	o 50375
50.30/16.60	o 50374
50.30/16.60	o 50373
50.30/16.60	o 50372
50.30/16.60	o 50371
50.30/16.60	o 50370
50.30/16.60	o 50369
50.30/16.61	o 50368
50.30/16.61	o 50367
50.30/16.61	o 50366
50.30/16.61	o 50365
50.30/16.61	o 50364
50.30/16.61	o 50363
50.30/16.61	o 50362
50.30/16.61	o 50361
50.30/16.61	o 50360
50.30/16.62	o 50359
50.30/16.62	o 50358
50.30/16.62	o 50357
50.30/16.62	o 50356
50.30/16.63	o 50355
50.30/16.63	o 50354
50.30/16.63	o 50353
50.30/16.64	o 50352
50.30/16.64	o 50351
50.30/16.64	o 50350
50.30/16.64	o 50349
50.30/16.64	o 50348
50.30/16.65	o 50347
50.30/16.65	o 50346
50.30/16.65	o 50345
50.30/16.65	o 50344
50.30/16.65	o 50343
50.30/16.65	o 50342
50.30/16.65	o 50341
50.30/16.66	o 50340
50.30/16.66	o 50339
50.30/16.66	o 50338
50.30/16.66	o 50337
50.30/16.66	o 50336
50.30/16.66	o 50335
50.30/16.66	o 50334
50.30/16.66	o 50333
50.30/16.66	o 50332
50.30/16.67	o 50331
50.30/16.67	o 50330
50.30/16.67	o 50329
50.30/16.67	o 50328
50.30/16.67	o 50327
50.30/16.67	o 50326
50.30/16.67	o 50325
50.30/16.68	o 50324
50.30/16.68	o 50323
50.30/16.68	o 50322
50.30/16.68	o 50321
50.30/16.68	o 50320
50.30/16.69	o 50319
50.30/16.69	o 50318
50.30/16.69	o 50317
50.30/16.69	o 50316
51.07/16.70	o 50315
51.07/16.70	o 50314
51.07/16.70	o 50313
51.07/16.70	o 50312
51.07/16.70	o 50311
51.07/16.71	o 50310
51.07/16.71	o 50309
51.07/16.71	o 50308
51.07/16.71	o 50307
51.07/16.72	o 50306
51.07/16.72	o 50305
51.07/16.72	o 50304
51.07/16.72	o 50303
51.07/16.72	o 50302
51.07/16.73	o 50301
51.07/16.73	o 50300
51.07/16.73	o 50299
51.07/16.73	o 50298
51.07/16.74	o 50297
51.07/16.74	o 50296
51.07/16.74	o 50295
51.07/16.74	o 50294
51.07/16.75	o 50293
51.07/16.75	o 50292
51.07/16.75	o 50291
51.07/16.75	o 50290
51.07/16.75	o 50289
51.07/16.75	o 50288
51.07/16.75	o 50287
51.07/16.76	o 50286
51.07/16.76	o 50285
51.07/16.76	o 50284
51.07/16.76	o 50283
51.07/16.77	o 50282
51.07/16.77	o 50281
51.07/16.77	o 50280
51.07/16.78	o 50279
51.07/16.78	o 50278
51.07/16.78	o 50277
51.07/16.78	o 50276
51.07/16.78	o 50275
51.07/16.79	o 50274
51.07/16.79	o 50273
51.07/16.79	o 50272
51.07/16.79	o 50271
51.07/16.79	o 50270
51.07/16.79	o 50269
51.86/16.80	o 50268
51.86/16.80	o 50267
51.86/16.80	o 50266
51.86/16.80	o 50265
51.86/16.80	o 50264
51.86/16.80	o 50263
51.86/16.81	o 50262
51.86/16.81	o 50261
51.86/16.81	o 50260
51.86/16.81	o 50259
51.86/16.81	o 50258
51.86/16.82	o 50257
51.86/16.82	o 50256
51.86/16.82	o 50255
51.86/16.82	o 50254
51.86/16.82	o 50253
51.86/16.82	o 50252
51.86/16.83	o 50251
51.86/16.83	o 50250
51.86/16.83	o 50249
51.86/16.83	o 50248
51.86/16.83	o 50247
51.86/16.83	o 50246
51.86/16.83	o 50245
51.86/16.83	o 50244
51.86/16.84	o 50243
51.86/16.84	o 50242
51.86/16.84	o 50241
51.86/16.84	o 50240
51.86/16.84	o 50239
51.86/16.84	o 50238
51.86/16.84	o 50237
51.86/16.84	o 50236
51.86/16.84	o 50235
51.86/16.84	o 50234
51.86/16.85	o 50233
51.86/16.85	o 50232
51.86/16.85	o 50231
51.86/16.85	o 50230
51.86/16.85	o 50229
51.86/16.85	o 50228
51.86/16.85	o 50227
51.86/16.85	o 50226
51.86/16.85	o 50225
51.86/16.85	o 50224
51.86/16.85	o 50223
51.86/16.85	o 50222
51.86/16.85	o 50221
51.86/16.85	o 50220
51.86/16.86	o 50219
51.86/16.86	o 50218
51.86/16.86	o 50217
51.86/16.86	o 50216
51.86/16.86	o 50215
51.86/16.86	o 50214
51.86/16.86	o 50213
51.86/16.86	o 50212
51.86/16.86	o 50211
51.86/16.87	o 50210
51.86/16.87	o 50209
51.86/16.87	o 50208
51.86/16.87	o 50207
51.86/16.87	o 50206
51.86/16.87	o 50205
51.86/16.87	o 50204
51.86/16.87	o 50203
51.86/16.87	o 50202
51.86/16.87	o 50201
51.86/16.88	o 50200
51.86/16.88	o 50199
51.86/16.88	o 50198
51.86/16.88	o 50197
51.86/16.88	o 50196
51.86/16.88	o 50195
51.86/16.88	o 50194
51.86/16.89	o 50193
51.86/16.89	o 50192
51.86/16.89	o 50191
51.86/16.89	o 50190
51.86/16.89	o 50189
51.86/16.89	o 50188
51.86/16.89	o 50187
52.65/16.91	o 50186
52.65/16.91	o 50185
52.65/16.91	o 50184
52.65/16.91	o 50183
52.65/16.91	o 50182
52.65/16.91	o 50181
52.65/16.91	o 50180
52.65/16.91	o 50179
52.65/16.91	o 50178
52.65/16.91	o 50177
52.65/16.91	o 50176
52.65/16.91	o 50175
52.65/16.91	o 50174
52.65/16.91	o 50173
52.65/16.91	o 50172
52.65/16.91	o 50171
52.65/16.93	o 50170
52.65/16.93	o 50169
52.65/16.93	o 50168
52.65/16.93	o 50167
52.65/16.93	o 50166
52.65/16.93	o 50165
52.65/16.93	o 50164
52.65/16.93	o 50163
52.65/16.93	o 50162
52.65/16.94	o 50161
52.65/16.94	o 50160
52.65/16.94	o 50159
52.65/16.95	o 50158
52.65/16.95	o 50157
52.65/16.96	o 50156
52.65/16.96	o 50155
52.65/16.96	o 50154
52.65/16.98	o 50153
52.65/16.98	o 50152
52.65/16.98	o 50151
52.65/16.98	o 50150
52.65/16.99	o 50149
52.65/16.99	o 50148
52.65/16.99	o 50147
52.65/16.99	o 50146
52.65/17.00	o 50145
52.65/17.00	o 50144
52.65/17.00	o 50143
52.65/17.00	o 50142
52.65/17.01	o 50141
52.65/17.01	o 50140
52.65/17.01	o 50139
52.65/17.01	o 50138
52.65/17.01	o 50137
53.52/17.02	o 50136
53.52/17.02	o 50135
53.52/17.02	o 50134
53.52/17.02	o 50133
53.52/17.02	o 50132
53.52/17.03	o 50131
53.52/17.03	o 50130
53.52/17.03	o 50129
53.52/17.03	o 50128
53.52/17.03	o 50127
53.52/17.04	o 50126
53.52/17.05	o 50125
53.52/17.05	o 50124
53.52/17.05	o 50123
53.52/17.06	o 50122
53.52/17.06	o 50121
53.52/17.07	o 50120
53.52/17.07	o 50119
53.52/17.07	o 50118
53.52/17.07	o 50117
53.52/17.08	o 50116
53.52/17.08	o 50115
53.52/17.09	o 50114
53.52/17.09	o 50113
53.52/17.09	o 50112
53.52/17.10	o 50111
53.52/17.10	o 50110
53.52/17.10	o 50109
53.52/17.11	o 50108
53.52/17.11	o 50107
53.52/17.11	o 50106
54.31/17.12	o 50105
54.31/17.12	o 50104
54.31/17.12	o 50103
54.31/17.13	o 50102
54.31/17.13	o 50101
54.31/17.13	o 50100
54.31/17.13	o 50099
54.31/17.14	o 50098
54.31/17.14	o 50097
54.31/17.15	o 50096
54.31/17.15	o 50095
54.31/17.15	o 50094
54.31/17.15	o 50093
54.31/17.16	o 50092
54.31/17.16	o 50091
54.31/17.16	o 50090
54.31/17.16	o 50089
54.31/17.16	o 50088
54.31/17.18	o 50087
54.31/17.18	o 50086
54.31/17.18	o 50085
54.31/17.18	o 50084
54.31/17.19	o 50083
54.31/17.19	o 50082
54.31/17.19	o 50081
54.31/17.19	o 50080
54.31/17.20	o 50079
54.31/17.20	o 50078
54.31/17.20	o 50077
55.02/17.20	o 50076
55.02/17.21	o 50075
55.02/17.21	o 50074
55.02/17.21	o 50073
55.02/17.22	o 50072
55.02/17.22	o 50071
55.02/17.22	o 50070
55.02/17.22	o 50069
55.02/17.23	o 50068
55.02/17.23	o 50067
55.02/17.23	o 50066
55.02/17.23	o 50065
55.02/17.24	o 50064
55.02/17.24	o 50063
55.02/17.24	o 50062
55.02/17.24	o 50061
55.02/17.25	o 50060
55.02/17.25	o 50059
55.02/17.25	o 50058
55.02/17.25	o 50057
55.02/17.26	o 50056
55.02/17.26	o 50055
55.02/17.26	o 50054
55.02/17.26	o 50053
55.02/17.27	o 50052
55.02/17.27	o 50051
55.02/17.27	o 50050
55.02/17.27	o 50049
55.02/17.27	o 50048
55.02/17.28	o 50047
55.02/17.29	o 50046
55.02/17.29	o 50045
55.83/17.30	o 50044
55.83/17.30	o 50043
55.83/17.31	o 50042
55.83/17.31	o 50041
55.83/17.31	o 50040
55.83/17.32	o 50039
55.83/17.32	o 50038
55.83/17.32	o 50037
55.83/17.33	o 50036
55.83/17.33	o 50035
55.83/17.33	o 50034
55.83/17.33	o 50033
55.83/17.34	o 50032
55.83/17.34	o 50031
55.83/17.34	o 50030
55.83/17.34	o 50029
55.83/17.35	o 50028
55.83/17.35	o 50027
55.83/17.35	o 50026
55.83/17.35	o 50025
55.83/17.36	o 50024
55.83/17.36	o 50023
55.83/17.36	o 50022
55.83/17.36	o 50021
55.83/17.36	o 50020
55.83/17.37	o 50019
55.83/17.37	o 50018
55.83/17.37	o 50017
55.83/17.39	o 50016
55.83/17.39	o 50015
55.83/17.40	o 50014
55.83/17.40	o 50013
55.83/17.40	o 50012
56.61/17.40	o 50011
56.61/17.42	o 50010
56.61/17.44	o 50009
56.61/17.45	o 50008
56.61/17.46	o 50007
56.61/17.47	o 50006
56.61/17.48	o 50005
56.61/17.49	o 50004
56.61/17.50	o 50003
57.41/17.51	o 50002
57.41/17.52	o 50001
57.41/17.53	o 50000
57.41/17.53	o 49999
57.41/17.54	o 49998
57.41/17.56	o 49997
57.41/17.57	o 49996
57.41/17.58	o 49995
57.41/17.58	o 49994
57.41/17.59	o 49993
58.20/17.60	o 49992
58.20/17.61	o 49991
58.20/17.62	o 49990
58.20/17.62	o 49989
58.20/17.63	o 49988
58.20/17.64	o 49987
58.20/17.65	o 49986
58.20/17.66	o 49985
58.20/17.67	o 49984
58.20/17.67	o 49983
58.20/17.68	o 49982
58.20/17.69	o 49981
58.20/17.69	o 49980
59.00/17.70	o 49979
59.00/17.72	o 49978
59.00/17.74	o 49977
59.00/17.76	o 49976
59.00/17.78	o 49975
59.83/17.80	o 49974
59.83/17.82	o 49973
59.83/17.85	o 49972
59.83/17.86	o 49971
59.83/17.88	o 49970
59.83/17.90	o 49969
60.59/17.91	o 49968
60.59/17.92	o 49967
60.59/17.94	o 49966
60.59/17.96	o 49965
60.59/17.97	o 49964
60.59/17.99	o 49963
60.59/18.00	o 49962
61.45/18.03	o 49961
61.45/18.05	o 49960
61.45/18.06	o 49959
61.45/18.08	o 49958
61.45/18.10	o 49957
61.45/18.11	o 49956
62.24/18.13	o 49955
62.24/18.14	o 49954
62.24/18.16	o 49953
62.24/18.17	o 49952
62.24/18.19	o 49951
62.96/18.22	o 49950
62.96/18.24	o 49949
62.96/18.25	o 49948
73.34/20.05	o 49947
73.34/20.05	o 49946
73.34/20.07	o 49945
73.34/20.08	o 49944
73.34/20.09	o 49943
73.93/20.11	o 49942
73.93/20.12	o 49941
73.93/20.13	o 49940
73.93/20.15	o 49939
73.93/20.16	o 49938
73.93/20.17	o 49937
73.93/20.18	o 49936
74.66/20.20	o 49935
74.66/20.21	o 49934
74.66/20.22	o 49933
74.66/20.24	o 49932
74.66/20.25	o 49931
74.66/20.26	o 49930
74.66/20.27	o 49929
74.66/20.29	o 49928
75.46/20.30	o 49927
75.46/20.31	o 49926
75.46/20.32	o 49925
75.46/20.33	o 49924
75.46/20.35	o 49923
75.46/20.36	o 49922
75.46/20.38	o 49921
75.46/20.39	o 49920
76.26/20.41	o 49919
76.26/20.42	o 49918
76.26/20.44	o 49917
76.26/20.45	o 49916
76.26/20.47	o 49915
76.26/20.48	o 49914
76.26/20.49	o 49913
76.26/20.50	o 49912
77.10/20.51	o 49911
77.10/20.53	o 49910
77.10/20.54	o 49909
77.10/20.55	o 49908
77.10/20.57	o 49907
77.10/20.59	o 49906
77.10/20.60	o 49905
77.92/20.61	o 49904
77.92/20.62	o 49903
77.92/20.63	o 49902
77.92/20.64	o 49901
77.92/20.66	o 49900
77.92/20.68	o 49899
77.92/20.68	o 49898
78.66/20.70	o 49897
78.66/20.71	o 49896
78.66/20.72	o 49895
78.66/20.74	o 49894
78.66/20.75	o 49893
78.66/20.76	o 49892
78.66/20.77	o 49891
78.66/20.79	o 49890
78.66/20.80	o 49889
79.47/20.81	o 49888
79.47/20.82	o 49887
79.47/20.84	o 49886
79.47/20.85	o 49885
79.47/20.86	o 49884
79.47/20.87	o 49883
79.47/20.88	o 49882
79.47/20.89	o 49881
80.26/20.90	o 49880
80.26/20.91	o 49879
80.26/20.93	o 49878
80.26/20.94	o 49877
80.26/20.95	o 49876
80.26/20.96	o 49875
80.26/20.97	o 49874
80.26/20.98	o 49873
80.26/21.01	o 49872
81.12/21.02	o 49871
81.12/21.03	o 49870
81.12/21.04	o 49869
81.12/21.05	o 49868
81.12/21.06	o 49867
81.12/21.07	o 49866
81.12/21.08	o 49865
81.88/21.11	o 49864
81.88/21.13	o 49863
81.88/21.14	o 49862
81.88/21.16	o 49861
81.88/21.17	o 49860
81.88/21.19	o 49859
81.88/21.20	o 49858
82.62/21.21	o 49857
82.62/21.22	o 49856
82.62/21.23	o 49855
82.62/21.25	o 49854
82.62/21.26	o 49853
82.62/21.27	o 49852
82.62/21.29	o 49851
82.62/21.30	o 49850
83.42/21.31	o 49849
83.42/21.32	o 49848
83.42/21.33	o 49847
83.42/21.34	o 49846
83.42/21.35	o 49845
83.42/21.37	o 49844
83.42/21.38	o 49843
83.42/21.39	o 49842
84.19/21.41	o 49841
84.19/21.43	o 49840
84.19/21.44	o 49839
84.19/21.46	o 49838
84.19/21.48	o 49837
84.19/21.49	o 49836
85.03/21.51	o 49835
85.03/21.52	o 49834
85.03/21.53	o 49833
85.03/21.55	o 49832
85.03/21.56	o 49831
85.03/21.56	o 49830
85.03/21.58	o 49829
85.79/21.63	o 49828
85.79/21.69	o 49827
86.61/21.71	o 49826
86.61/21.75	o 49825
86.61/21.76	o 49824
87.39/21.80	o 49823
87.39/21.82	o 49822
87.39/21.86	o 49821
87.39/21.88	o 49820
88.27/21.92	o 49819
88.27/21.94	o 49818
88.27/21.98	o 49817
88.27/22.00	o 49816
89.04/22.03	o 49815
89.04/22.05	o 49814
89.04/22.09	o 49813
89.85/22.11	o 49812
89.85/22.14	o 49811
89.85/22.17	o 49810
90.57/22.20	o 49809
90.57/22.22	o 49808
90.57/22.26	o 49807
90.57/22.28	o 49806
91.37/22.31	o 49805
91.37/22.33	o 49804
91.37/22.35	o 49803
92.97/22.53	o 49802
92.97/22.55	o 49801
96.00/22.97	o 49800
96.85/23.08	o 49799
97.66/23.19	o 49798
98.40/23.29	o 49797
99.20/23.39	o 49796
99.99/23.48	o 49795
100.80/23.57	o 49794
101.55/23.66	o 49793
102.34/23.76	o 49792
103.14/23.84	o 49791
103.94/23.93	o 49790
104.80/24.03	o 49789
105.60/24.12	o 49788
105.60/24.19	o 49787
106.39/24.28	o 49786
107.12/24.36	o 49785
107.93/24.45	o 49784
108.72/24.53	o 49783
109.52/24.61	o 49782
109.52/24.69	o 49781
110.34/24.78	o 49780
111.13/24.85	o 49779
111.92/24.98	o 49778
112.77/25.07	o 49777
113.59/25.16	o 49776
114.30/25.26	o 49775
115.11/25.36	o 49774
115.90/25.46	o 49773
116.70/25.56	o 49772
117.52/25.66	o 49771
119.88/25.97	o 49770
120.76/26.07	o 49769
121.68/26.16	o 49768
122.28/26.26	o 49767
123.05/26.36	o 49766
123.85/26.46	o 49765
124.64/26.55	o 49764
125.45/26.64	o 49763
126.25/26.74	o 49762
127.04/26.83	o 49761
127.84/26.93	o 49760
128.69/27.04	o 49759
129.50/27.13	o 49758
130.21/27.23	o 49757
131.02/27.33	o 49756
131.82/27.43	o 49755
132.61/27.52	o 49754
133.41/27.62	o 49753
134.21/27.71	o 49752
135.00/27.81	o 49751
135.00/27.90	o 49750
135.80/27.99	o 49749
136.68/28.08	o 49748
137.46/28.18	o 49747
138.18/28.27	o 49746
138.98/28.36	o 49745
139.78/28.45	o 49744
140.58/28.55	o 49743
141.37/28.64	o 49742
142.18/28.73	o 49741
143.76/28.98	o 49740
144.61/29.08	o 49739
145.42/29.18	o 49738
146.14/29.27	o 49737
146.95/29.37	o 49736
147.73/29.46	o 49735
148.54/29.55	o 49734
149.33/29.64	o 49733
150.12/29.74	o 49732
150.92/29.83	o 49731
151.72/29.92	o 49730
152.58/30.01	o 49729
152.58/30.11	o 49728
154.11/30.20	o 49727
154.11/30.29	o 49726
154.90/30.39	o 49725
155.74/30.48	o 49724
156.50/30.57	o 49723
157.30/30.67	o 49722
158.10/30.76	o 49721
158.90/30.86	o 49720
159.69/30.95	o 49719
160.54/31.04	o 49718
161.35/31.14	o 49717
162.07/31.23	o 49716
162.86/31.32	o 49715
163.66/31.41	o 49714
164.46/31.50	o 49713
164.46/31.59	o 49712
165.33/31.69	o 49711
166.06/31.78	o 49710
166.85/31.87	o 49709
167.66/31.96	o 49708
168.51/32.05	o 49707
169.31/32.15	o 49706
170.04/32.24	o 49705
170.83/32.34	o 49704
171.63/32.44	o 49703
173.22/32.69	o 49702
174.01/32.79	o 49701
174.81/32.88	o 49700
175.60/32.97	o 49699
176.46/33.06	o 49698
177.27/33.15	o 49697
177.99/33.24	o 49696
178.81/33.33	o 49695
179.59/33.42	o 49694
180.42/33.51	o 49693
180.42/33.60	o 49692
181.18/33.65	o 49691
182.01/33.80	o 49690
183.58/33.91	o 49689
183.58/34.01	o 49688
184.47/34.11	o 49687
185.33/34.19	o 49686
186.76/34.32	o 49685
187.60/34.43	o 49684
188.40/34.53	o 49683
189.16/34.64	o 49682
189.99/34.74	o 49681
190.78/34.85	o 49680
191.54/34.96	o 49679
192.44/35.06	o 49678
193.35/35.16	o 49677
193.92/35.27	o 49676
194.73/35.38	o 49675
195.52/35.48	o 49674
196.32/35.59	o 49673
197.15/35.70	o 49672
198.71/35.80	o 49671
199.54/35.91	o 49670
199.54/36.01	o 49669
201.89/36.28	o 49668
202.68/36.39	o 49667
204.31/36.50	o 49666
205.07/36.62	o 49665
205.91/36.72	o 49664
206.67/36.83	o 49663
207.50/36.94	o 49662
208.38/37.03	o 49661
209.21/37.14	o 49660
209.88/37.24	o 49659
210.64/37.35	o 49658
211.47/37.45	o 49657
212.24/37.56	o 49656
213.04/37.65	o 49655
213.83/37.73	o 49654
213.83/37.79	o 49653
217.10/38.17	o 49652
217.82/38.27	o 49651
218.63/38.38	o 49650
219.42/38.48	o 49649
220.21/38.59	o 49648
221.01/38.69	o 49647
222.61/38.80	o 49646
223.41/38.91	o 49645
224.27/39.01	o 49644
225.07/39.12	o 49643
225.80/39.22	o 49642
226.60/39.33	o 49641
227.39/39.43	o 49640
228.19/39.53	o 49639
228.99/39.63	o 49638
229.78/39.74	o 49637
230.59/39.84	o 49636
231.39/39.95	o 49635
232.24/40.06	o 49634
233.05/40.17	o 49633
233.76/40.25	o 49632
234.56/40.36	o 49631
235.35/40.44	o 49630
235.35/40.48	o 49629
237.74/40.75	o 49628
241.70/41.28	o 49627
245.69/41.74	o 49626
248.15/42.02	o 49625
259.24/43.42	o 49624
263.22/44.00	o 49623
267.99/44.58	o 49622
272.76/45.16	o 49621
275.88/45.59	o 49620
279.07/45.91	o 49619
281.45/46.30	o 49618
284.65/46.69	o 49617
288.70/47.16	o 49616
291.81/47.54	o 49615
295.01/47.90	o 49614
298.18/48.33	o 49613
300.57/48.65	o 49612
303.82/49.04	o 49611
306.17/49.39	o 49610
310.94/49.98	o 49609
314.11/50.34	o 49608
317.31/50.75	o 49607
319.76/51.07	o 49606
322.89/51.46	o 49605
325.28/51.79	o 49604
328.55/52.18	o 49603
331.66/52.50	o 49602
334.85/52.90	o 49601
337.24/53.23	o 49600
340.43/53.62	o 49599
342.82/53.94	o 49598
346.02/54.33	o 49597
350.00/54.81	o 49596
352.46/55.20	o 49595
355.58/55.52	o 49594
358.77/55.91	o 49593
361.15/56.23	o 49592
364.35/56.62	o 49591
366.74/56.94	o 49590
369.93/57.33	o 49589
372.31/57.65	o 49588
375.55/58.05	o 49587
377.89/58.37	o 49586
381.07/58.76	o 49585
383.53/59.09	o 49584
386.65/59.48	o 49583
390.61/59.96	o 49582
393.80/60.37	o 49581
396.19/60.70	o 49580
399.44/61.09	o 49579
402.57/61.41	o 49578
405.77/61.81	o 49577
408.23/62.13	o 49576
411.34/62.52	o 49575
413.74/62.84	o 49574
416.92/63.23	o 49573
419.31/63.55	o 49572
422.52/63.95	o 49571
424.90/64.27	o 49570
428.09/64.66	o 49569
432.82/65.20	o 49568
436.01/65.61	o 49567
438.41/65.93	o 49566
441.58/66.33	o 49565
443.98/66.65	o 49564
447.22/67.05	o 49563
449.55/67.40	o 49562
452.74/67.80	o 49561
456.00/68.12	o 49560
459.11/68.51	o 49559
461.51/68.84	o 49558
464.68/69.23	o 49557
467.09/69.56	o 49556
470.28/69.96	o 49555
474.25/70.43	o 49554
477.44/70.85	o 49553
479.90/71.17	o 49552
483.02/71.57	o 49551
486.21/71.90	o 49550
488.59/72.29	o 49549
491.79/72.62	o 49548
495.05/73.01	o 49547
497.39/73.34	o 49546
500.57/73.73	o 49545
503.02/74.06	o 49544
506.15/74.45	o 49543
508.54/74.77	o 49542
511.81/75.17	o 49541
514.12/75.49	o 49540
518.96/76.05	o 49539
521.28/76.37	o 49538
524.48/76.77	o 49537
526.93/77.09	o 49536
530.05/77.48	o 49535
533.25/77.81	o 49534
536.43/78.21	o 49533
538.83/78.53	o 49532
542.02/78.93	o 49531
544.40/79.26	o 49530
547.60/79.65	o 49529
550.00/79.98	o 49528
553.18/80.37	o 49527
555.57/80.70	o 49526
558.82/81.09	o 49525
561.94/81.42	o 49524
566.77/82.02	o 49523
569.10/82.34	o 49522
572.29/82.74	o 49521
574.74/83.06	o 49520
577.87/83.46	o 49519
580.27/83.78	o 49518
583.52/84.18	o 49517
586.64/84.50	o 49516
589.84/84.90	o 49515
592.24/85.22	o 49514
595.40/85.62	o 49513
597.83/85.95	o 49512
600.98/86.35	o 49511
603.37/86.67	o 49510
606.67/87.07	o 49509
609.75/87.40	o 49508
613.73/87.99	o 49507
616.90/88.32	o 49506
620.10/88.72	o 49505
622.56/89.05	o 49504
625.68/89.45	o 49503
628.07/89.78	o 49502
631.34/90.17	o 49501
633.65/90.50	o 49500
636.85/90.89	o 49499
640.03/91.21	o 49498
643.22/91.61	o 49497
645.62/91.93	o 49496
648.80/92.33	o 49495
651.20/92.65	o 49494
654.45/93.05	o 49493
656.79/93.37	o 49492
661.55/93.96	o 49491
663.93/94.28	o 49490
667.12/94.68	o 49489
669.52/95.00	o 49488
672.71/95.39	o 49487
675.90/95.71	o 49486
678.36/96.09	o 49485
681.48/96.43	o 49484
684.67/96.80	o 49483
687.14/97.12	o 49482
689.45/97.48	o 49481
691.84/97.70	o 49480
693.44/97.99	o 49479
724.51/101.82	o 49478
725.31/101.99	o 49477
738.86/103.67	o 49476
741.26/103.98	o 49475
745.23/104.41	o 49474
757.19/105.96	o 49473
760.39/106.30	o 49472
784.29/109.31	o 49471
789.06/109.95	o 49470
796.24/110.86	o 49469
802.62/111.67	o 49468
808.19/112.33	o 49467
813.84/113.08	o 49466
820.95/113.97	o 49465
827.32/114.75	o 49464
833.70/115.54	o 49463
841.68/116.53	o 49462
844.86/117.00	o 49461
856.82/118.45	o 49460
865.59/119.55	o 49459
868.79/119.95	o 49458
880.73/121.41	o 49457
884.72/121.90	o 49456
950.17/130.16	o 49455
964.44/131.92	o 49454
968.43/132.42	o 49453
970.83/132.76	o 49452
1029.88/140.16	o 49451
1056.86/143.51	o 49450
1078.39/146.27	o 49449
1103.87/149.49	o 49448
1127.00/152.36	o 49447
1154.10/155.76	o 49446
1178.01/158.80	o 49445
1201.11/161.61	o 49444
1229.09/165.18	o 49443
1255.32/168.49	o 49442
1280.83/171.67	o 49441
1306.36/174.83	o 49440
1332.74/178.14	o 49439
1358.20/181.32	o 49438
1383.69/184.56	o 49437
1409.20/187.72	o 49436
1435.55/191.07	o 49435
1460.99/194.27	o 49434
1487.29/197.51	o 49433
1512.00/200.65	o 49432
1537.51/203.85	o 49431
1562.23/206.99	o 49430
1587.80/210.19	o 49429
1613.26/213.35	o 49428
1638.70/216.54	o 49427
1665.02/219.86	o 49426
1691.40/223.19	o 49425
1718.44/226.53	o 49424
1744.76/229.86	o 49423
1771.84/233.25	o 49422
1798.15/236.56	o 49421
1825.25/239.93	o 49420
1851.55/243.21	o 49419
1878.66/246.64	o 49418
1904.98/249.99	o 49417
1917.67/251.51	o 49416
1938.49/254.19	o 49415
1951.97/255.83	o 49414
1967.12/257.74	o 49413
1977.52/259.02	o 49412
2026.17/265.20	o 49411
2048.41/267.99	o 49410
2073.24/271.09	o 49409
2098.61/274.22	o 49408
2128.12/277.92	o 49407
2152.02/280.91	o 49406
2171.95/283.45	o 49405
2199.04/286.89	o 49404
2225.42/290.15	o 49403
2250.87/293.39	o 49402
2277.16/296.62	o 49401
2305.14/300.14	o 49400
2333.71/303.73	o 49399
2354.43/306.38	o 49398
2383.11/309.95	o 49397
2411.02/313.41	o 49396
2432.61/316.11	o 49395
2454.07/318.89	o 49394
2483.54/322.55	o 49393
2509.86/325.83	o 49392
2531.38/328.51	o 49391
2558.44/331.95	o 49390
2586.34/335.47	o 49389
2613.42/338.84	o 49388
2635.73/341.61	o 49387
2662.01/344.92	o 49386
2686.81/348.07	o 49385
2711.47/351.14	o 49384
2736.89/354.30	o 49383
2764.80/357.80	o 49382
2788.71/360.83	o 49381
2813.42/363.92	o 49380
2838.19/367.02	o 49379
2867.62/370.79	o 49378
2893.98/374.07	o 49377
2921.03/377.44	o 49376
2946.55/380.61	o 49375
2976.03/384.39	o 49374
3003.94/387.81	o 49373
3027.05/390.71	o 49372
3052.56/393.91	o 49371
3078.78/397.24	o 49370
3105.09/400.52	o 49369
3131.38/403.86	o 49368
3157.77/407.15	o 49367
3184.01/410.41	o 49366
3210.30/413.79	o 49365
3236.68/417.08	o 49364
3263.70/420.43	o 49363
3290.01/423.70	o 49362
3316.37/427.05	o 49361
3341.81/430.27	o 49360
3368.09/433.59	o 49359
3394.40/436.80	o 49358
3419.97/440.03	o 49357
3446.22/443.37	o 49356
3472.53/446.61	o 49355
3498.84/449.93	o 49354
3524.45/453.18	o 49353
3553.82/456.85	o 49352
3582.52/460.44	o 49351
3610.45/464.02	o 49350
3640.68/467.72	o 49349
3670.16/471.42	o 49348
3700.43/475.24	o 49347
3729.14/478.89	o 49346
3759.39/482.68	o 49345
3788.89/486.36	o 49344
3819.97/490.20	o 49343
3845.47/493.49	o 49342
3873.38/496.91	o 49341
3899.69/500.26	o 49340
3926.00/503.59	o 49339
3953.10/507.00	o 49338
3981.79/510.55	o 49337
4008.88/513.96	o 49336
4035.18/517.24	o 49335
4061.42/520.50	o 49334
4086.14/523.66	o 49333
4115.61/527.36	o 49332
4141.92/530.64	o 49331
4164.23/533.46	o 49330
4183.35/535.82	o 49329
4208.93/539.05	o 49328
4223.23/540.87	o 49327
4306.91/551.37	o 49326
4345.26/556.17	o 49325
4391.43/561.99	o 49324
4413.75/564.79	o 49323
4438.47/567.87	o 49322
4470.40/571.84	o 49321
4490.28/574.31	o 49320
4511.87/577.08	o 49319
4537.26/580.26	o 49318
4554.81/582.42	o 49317
4624.26/591.12	o 49316
4664.24/596.17	o 49315
4705.48/601.37	o 49314
4744.54/606.29	o 49313
4782.02/611.00	o 49312
4822.76/616.04	o 49311
4852.98/619.81	o 49310
4894.54/625.02	o 49309
4926.37/629.05	o 49308
4951.10/632.13	o 49307
5119.21/653.21	o 49306
5143.12/656.20	o 49305
5293.02/675.05	o 49304
5334.35/680.22	o 49303
5787.91/737.15	o 49302
5916.17/753.21	o 49301
6033.35/767.92	o 49300
6191.99/787.83	o 49299
6292.41/800.45	o 49298
6372.12/810.48	o 49297
6498.03/826.27	o 49296
6627.96/842.58	o 49295
6743.67/857.09	o 49294
6859.91/871.67	o 49293
6975.54/886.12	o 49292
7087.11/900.14	o 49291
7207.35/915.25	o 49290
7329.30/930.56	o 49289
7452.07/945.92	o 49288
7566.05/960.30	o 49287
7680.03/974.55	o 49286
7794.05/988.81	o 49285
7909.66/1003.35	o 49284
8026.05/1017.90	o 49283
8144.83/1032.83	o 49282
8262.80/1047.70	o 49281
8380.79/1062.46	o 49280
8498.03/1077.12	o 49279
8614.36/1091.79	o 49278
8732.34/1106.53	o 49277
8849.54/1121.23	o 49276
8976.33/1137.20	o 49275
9103.06/1153.09	o 49274
9222.62/1168.06	o 49273
9338.97/1182.66	o 49272
9456.15/1197.33	o 49271
9569.34/1211.52	o 49270
9678.53/1225.29	o 49269
9791.76/1239.44	o 49268
9908.93/1254.14	o 49267
10026.70/1268.92	o 49266
10144.65/1283.74	o 49265
10262.62/1298.56	o 49264
10379.01/1313.15	o 49263
10489.78/1327.06	o 49262
10598.94/1340.76	o 49261
10708.15/1354.43	o 49260
10823.74/1368.91	o 49259
10944.14/1384.09	o 49258
11061.23/1398.72	o 49257
11169.63/1412.31	o 49256
11277.21/1425.89	o 49255
11386.42/1439.53	o 49254
11490.05/1452.56	o 49253
11660.59/1473.99	o 49252
11796.97/1491.06	o 49251
11899.73/1503.97	o 49250
12013.71/1518.21	o 49249
12207.39/1542.55	o 49248
12359.67/1561.69	o 49247
12514.32/1581.05	o 49246
12618.73/1594.11	o 49245
12754.22/1611.15	o 49244
12935.83/1633.91	o 49243
13029.05/1645.63	o 49242
13119.09/1656.94	o 49241
13206.79/1667.97	o 49240
13294.43/1678.95	o 49239
13575.76/1714.26	o 49238
13754.32/1736.67	o 49237
13901.03/1755.09	o 49236
14058.77/1774.81	o 49235
14263.60/1800.56	o 49234
14493.15/1829.33	o 49233
14640.61/1847.84	o 49232
14805.61/1868.51	o 49231
14996.09/1892.48	o 49230
15261.47/1925.73	o 49229
15387.41/1941.54	o 49228
15688.68/1979.34	o 49227
15847.19/1999.28	o 49226
16082.27/2028.72	o 49225
16425.76/2071.85	o 49224
16589.91/2092.49	o 49223
16782.00/2116.57	o 49222
16945.45/2137.02	o 49221
17273.05/2178.18	o 49220
17427.60/2197.56	o 49219
17586.21/2217.42	o 49218
17728.07/2235.30	o 49217
17864.35/2252.31	o 49216
18038.18/2274.19	o 49215
18198.31/2294.29	o 49214
18323.39/2309.92	o 49213
18509.08/2333.23	o 49212
18663.62/2352.68	o 49211
18818.99/2372.12	o 49210
18974.34/2391.67	o 49209
19124.92/2410.52	o 49208
19243.69/2425.40	o 49207
19432.63/2449.16	o 49206
19534.59/2462.00	o 49205
19675.67/2479.68	o 49204
19819.04/2497.67	o 49203
19990.46/2519.16	o 49202
19997.63/2520.10	s SATISFIABLE
19997.63/2520.11	v <instantiation>
19997.63/2520.11	v 	<list>
19997.63/2520.11	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] c[125] c[126] c[127] c[128] c[129] c[130] c[131] c[132] c[133] c[134] c[135] c[136] c[137] c[138] c[139] c[140] c[141] c[142] c[143] c[144] c[145] c[146] c[147] c[148] c[149] c[150] c[151] c[152] c[153] c[154] c[155] c[156] c[157] c[158] c[159] c[160] c[161] c[162] c[163] c[164] c[165] c[166] c[167] c[168] c[169] c[170] c[171] c[172] c[173] c[174] c[175] c[176] c[177] c[178] c[179] c[180] c[181] c[182] c[183] c[184] c[185] c[186] c[187] c[188] c[189] c[190] c[191] c[192] c[193] c[194] c[195] c[196] c[197] c[198] c[199] c[200] c[201] c[202] c[203] c[204] c[205] c[206] c[207] c[208] c[209] c[210] c[211] c[212] c[213] c[214] c[215] c[216] c[217] c[218] c[219] c[220] c[221] c[222] c[223] c[224] c[225] c[226] c[227] c[228] c[229] c[230] c[231] c[232] c[233] c[234] c[235] c[236] c[237] c[238] c[239] c[240] c[241] c[242] c[243] c[244] c[245] c[246] c[247] c[248] c[249]
19997.63/2520.11	v 	</list>
19997.63/2520.11	v 	<values>
19997.63/2520.11	v 		248 201 224 245 241 174 2 242 241 196 245 240 161 239 237 206 178 164 236 195 235 236 166 243 240 201 162 232 222 183 184 203 238 235 4 190 220 43 173 247 164 188 171 173 231 196 166 201 237 238 204 220 188 241 164 189 230 217 207 235 3 236 204 229 244 239 229 0 228 170 230 248 211 189 203 173 184 232 212 233 214 229 198 227 226 193 215 209 200 163 225 228 211 181 192 246 180 176 179 158 200 234 223 197 175 185 231 192 180 215 187 3 231 153 213 193 225 159 199 205 182 192 165 185 221 228 208 191 191 159 179 179 156 204 207 219 245 154 168 222 225 188 199 233 219 197 212 178 218 244 187 208 221 224 242 161 216 198 200 175 196 219 162 190 212 1 181 191 217 222 216 208 217 248 2 197 209 182 205 213 169 239 171 224 211 206 157 177 167 227 1 172 221 237 168 202 214 247 223 214 232 230 215 218 249 226 162 169 228 174 214 186 210 177 155 198 220 160 227 165 210 218 183 194 165 224 170 240 202 169 176 4 194 0 233 234 186 181 172 238 195 202 166 242 243 244 246 246 247 249 
19997.63/2520.11	v 	</values>
19997.63/2520.11	v </instantiation>

Verifier Data 

OK	49202

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4291175-1532641587/watcher-4291175-1532641587 -o /tmp/evaluation-result-4291175-1532641587/solver-4291175-1532641587 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node138-1532633938-8345 --watchdog 2580 java -Xmx22000m -jar oscarCPXcsp3-parallel.jar --randomseed 1893626518 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4291175-1532641587.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=9559, runsolver pid=9556

[startup+0.100161 s]*
/proc/loadavg: 8.94 8.88 8.80 3/198 9579
/proc/meminfo: memFree=17493352/32770624 swapFree=67108796/67108860
[pid=9559] ppid=9556 vsize=26103424 memory=30288 CPUtime=0.11 cores=0-7
/proc/9559/stat : 9559 (java) S 9556 9559 8318 0 -1 1077944320 7014 0 0 0 9 2 0 0 20 0 20 0 81721881 26729906176 7572 33554432000 4194304 4196468 140722492293088 140722492275632 140472877924087 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 19066880 140722492298317 140722492298501 140722492298501 140722492301263 0
/proc/9559/statm: 6525856 7572 3145 1 0 6487932 0
[pid=9559/tid=9561] ppid=9556 vsize=26103424 memory=4498987668431074208 CPUtime=0.08 cores=0-7
/proc/9559/task/9561/stat : 9561 (java) R 9556 9559 8318 0 -1 4202560 5249 0 0 0 7 1 0 0 20 0 20 0 81721882 26729906176 7704 33554432000 4194304 4196468 140722492293088 140472882118880 140472858199808 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19066880 140722492298317 140722492298501 140722492298501 140722492301263 0
[pid=9559/tid=9562] ppid=9556 vsize=26103424 memory=732370083243609061 CPUtime=0 cores=0-7
/proc/9559/task/9562/stat : 9562 (java) S 9556 9559 8318 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81721883 26729906176 7704 33554432000 4194304 4196468 140722492293088 140472830544144 140472877934293 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19066880 140722492298317 140722492298501 140722492298501 140722492301263 0
[pid=9559/tid=9563] ppid=9556 vsize=26103424 memory=139944906155648 CPUtime=0 cores=0-7
/proc/9559/task/9563/stat : 9563 (java) S 9556 9559 8318 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81721883 26729906176 7770 33554432000 4194304 4196468 140722492293088 140472829491600 140472877934293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19066880 140722492298317 140722492298501 140722492298501 140722492301263 0
[pid=9559/tid=9564] ppid=9556 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/9559/task/9564/stat : 9564 (java) S 9556 9559 8318 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81721883 26729906176 7770 33554432000 4194304 4196468 140722492293088 140472828439056 140472877934293 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19066880 140722492298317 140722492298501 140722492298501 140722492301263 0
[pid=9559/tid=9565] ppid=9556 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/9559/task/9565/stat : 9565 (java) S 9556 9559 8318 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81721883 26729906176 7770 33554432000 4194304 4196468 140722492293088 140472827386512 140472877934293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19066880 140722492298317 140722492298501 140722492298501 140722492301263 0
[pid=9559/tid=9566] ppid=9556 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/9559/task/9566/stat : 9566 (java) S 9556 9559 8318 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81721883 26729906176 7770 33554432000 4194304 4196468 140722492293088 140472826333968 140472877934293 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19066880 140722492298317 140722492298501 140722492298501 140722492301263 0
[pid=9559/tid=9567] ppid=9556 vsize=26103424 memory=-1 CPUtime=0 cores=0-7
/proc/9559/task/9567/stat : 9567 (java) S 9556 9559 8318 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81721883 26729906176 7770 33554432000 4194304 4196468 140722492293088 140472825281424 140472877934293 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19066880 140722492298317 140722492298501 140722492298501 140722492301263 0
[pid=9559/tid=9568] ppid=9556 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/9559/task/9568/stat : 9568 (java) S 9556 9559 8318 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81721883 26729906176 7770 33554432000 4194304 4196468 140722492293088 140472824228880 140472877934293 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19066880 140722492298317 140722492298501 140722492298501 140722492301263 0
[pid=9559/tid=9569] ppid=9556 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/9559/task/9569/stat : 9569 (java) S 9556 9559 8318 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 81721883 26729906176 7770 33554432000 4194304 4196468 140722492293088 140472823176336 140472877934293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19066880 140722492298317 140722492298501 140722492298501 140722492301263 0
[pid=9559/tid=9570] ppid=9556 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/9559/task/9570/stat : 9570 (java) S 9556 9559 8318 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81721884 26729906176 7770 33554432000 4194304 4196468 140722492293088 140471552710640 140472877935234 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19066880 140722492298317 140722492298501 140722492298501 140722492301263 0
[pid=9559/tid=9571] ppid=9556 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/9559/task/9571/stat : 9571 (java) S 9556 9559 8318 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 81721885 26729906176 7770 33554432000 4194304 4196468 140722492293088 140471551656864 140472877934293 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19066880 140722492298317 140722492298501 140722492298501 140722492301263 0
[pid=9559/tid=9572] ppid=9556 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/9559/task/9572/stat : 9572 (java) S 9556 9559 8318 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 81721885 26729906176 7770 33554432000 4194304 4196468 140722492293088 140471550604272 140472877934293 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19066880 140722492298317 140722492298501 140722492298501 140722492301263 0
[pid=9559/tid=9573] ppid=9556 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/9559/task/9573/stat : 9573 (java) S 9556 9559 8318 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81721887 26729906176 7770 33554432000 4194304 4196468 140722492293088 140471549552848 140472877942683 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19066880 140722492298317 140722492298501 140722492298501 140722492301263 0
[pid=9559/tid=9574] ppid=9556 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/9559/task/9574/stat : 9574 (java) S 9556 9559 8318 0 -1 1077944384 292 0 0 0 0 0 0 0 20 0 20 0 81721887 26729906176 7836 33554432000 4194304 4196468 140722492293088 140471548500464 140472877935234 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19066880 140722492298317 140722492298501 140722492298501 140722492301263 0
[pid=9559/tid=9575] ppid=9556 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/9559/task/9575/stat : 9575 (java) S 9556 9559 8318 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 81721887 26729906176 7836 33554432000 4194304 4196468 140722492293088 140471547447920 140472877935234 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19066880 140722492298317 140722492298501 140722492298501 140722492301263 0
[pid=9559/tid=9576] ppid=9556 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/9559/task/9576/stat : 9576 (java) S 9556 9559 8318 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 81721887 26729906176 7836 33554432000 4194304 4196468 140722492293088 140471546395376 140472877935234 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19066880 140722492298317 140722492298501 140722492298501 140722492301263 0
[pid=9559/tid=9577] ppid=9556 vsize=26103424 memory=0 CPUtime=0.01 cores=0-7
/proc/9559/task/9577/stat : 9577 (java) S 9556 9559 8318 0 -1 1077944384 244 0 0 0 1 0 0 0 20 0 20 0 81721887 26729906176 7836 33554432000 4194304 4196468 140722492293088 140471545342832 140472877935234 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19066880 140722492298317 140722492298501 140722492298501 140722492301263 0
[pid=9559/tid=9578] ppid=9556 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/9559/task/9578/stat : 9578 (java) S 9556 9559 8318 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 81721887 26729906176 7836 33554432000 4194304 4196468 140722492293088 140471544289504 140472877934293 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19066880 140722492298317 140722492298501 140722492298501 140722492301263 0
[pid=9559/tid=9579] ppid=9556 vsize=26103424 memory=-1 CPUtime=0 cores=0-7
/proc/9559/task/9579/stat : 9579 (java) S 9556 9559 8318 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81721888 26729906176 7836 33554432000 4194304 4196468 140722492293088 140471543237040 140472877935234 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19066880 140722492298317 140722492298501 140722492298501 140722492301263 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26103424 KiB
Current children cumulated memory: 30288 KiB

[startup+0.210148 s]*
/proc/loadavg: 8.94 8.88 8.80 4/198 9579
/proc/meminfo: memFree=17480144/32770624 swapFree=67108796/67108860
[pid=9559] ppid=9556 vsize=26103424 memory=43096 CPUtime=0.3 cores=0-7
/proc/9559/stat : 9559 (java) S 9556 9559 8318 0 -1 1077944320 10415 0 0 0 27 3 0 0 20 0 20 0 81721881 26729906176 10774 33554432000 4194304 4196468 140722492293088 140722492275632 140472877924087 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 19066880 140722492298317 140722492298501 140722492298501 140722492301263 0
/proc/9559/statm: 6525856 10774 3328 1 0 6487932 0
[pid=9559/tid=9561] ppid=9556 vsize=26103424 memory=32758254098972862 CPUtime=0.2 cores=0-7
/proc/9559/task/9561/stat : 9561 (java) R 9556 9559 8318 0 -1 4202560 8196 0 0 0 18 2 0 0 20 0 20 0 81721882 26729906176 10774 33554432000 4194304 4196468 140722492293088 140472882141664 140472862004574 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19066880 140722492298317 140722492298501 140722492298501 140722492301263 0
[pid=9559/tid=9562] ppid=9556 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/9559/task/9562/stat : 9562 (java) S 9556 9559 8318 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81721883 26729906176 10774 33554432000 4194304 4196468 140722492293088 140472830544144 140472877934293 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19066880 140722492298317 140722492298501 140722492298501 140722492301263 0
[pid=9559/tid=9563] ppid=9556 vsize=26103424 memory=139944906620965 CPUtime=0 cores=0-7
/proc/9559/task/9563/stat : 9563 (java) S 9556 9559 8318 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81721883 26729906176 10774 33554432000 4194304 4196468 140722492293088 140472829491600 140472877934293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19066880 140722492298317 140722492298501 140722492298501 140722492301263 0
[pid=9559/tid=9564] ppid=9556 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/9559/task/9564/stat : 9564 (java) S 9556 9559 8318 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81721883 26729906176 10774 33554432000 4194304 4196468 140722492293088 140472828439056 140472877934293 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19066880 140722492298317 140722492298501 140722492298501 140722492301263 0
[pid=9559/tid=9565] ppid=9556 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/9559/task/9565/stat : 9565 (java) S 9556 9559 8318 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81721883 26729906176 10774 33554432000 4194304 4196468 140722492293088 140472827386512 140472877934293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19066880 140722492298317 140722492298501 140722492298501 140722492301263 0
[pid=9559/tid=9566] ppid=9556 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/9559/task/9566/stat : 9566 (java) S 9556 9559 8318 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81721883 26729906176 10774 33554432000 4194304 4196468 140722492293088 140472826333968 140472877934293 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19066880 140722492298317 140722492298501 140722492298501 140722492301263 0
[pid=9559/tid=9567] ppid=9556 vsize=26103424 memory=-1 CPUtime=0 cores=0-7
/proc/9559/task/9567/stat : 9567 (java) S 9556 9559 8318 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81721883 26729906176 10774 33554432000 4194304 4196468 140722492293088 140472825281424 140472877934293 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19066880 140722492298317 140722492298501 140722492298501 140722492301263 0
[pid=9559/tid=9568] ppid=9556 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/9559/task/9568/stat : 9568 (java) S 9556 9559 8318 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81721883 26729906176 10774 33554432000 4194304 4196468 140722492293088 140472824228880 140472877934293 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19066880 140722492298317 140722492298501 140722492298501 140722492301263 0
[pid=9559/tid=9569] ppid=9556 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/9559/task/9569/stat : 9569 (java) S 9556 9559 8318 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 81721883 26729906176 10774 33554432000 4194304 4196468 140722492293088 140472823176336 140472877934293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19066880 140722492298317 140722492298501 140722492298501 140722492301263 0
[pid=9559/tid=9570] ppid=9556 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/9559/task/9570/stat : 9570 (java) S 9556 9559 8318 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81721884 26729906176 10774 33554432000 4194304 4196468 140722492293088 140471552710640 140472877935234 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19066880 140722492298317 140722492298501 140722492298501 140722492301263 0
[pid=9559/tid=9571] ppid=9556 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/9559/task/9571/stat : 9571 (java) S 9556 9559 8318 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 81721885 26729906176 10774 33554432000 4194304 4196468 140722492293088 140471551656864 140472877934293 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19066880 140722492298317 140722492298501 140722492298501 140722492301263 0
[pid=9559/tid=9572] ppid=9556 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/9559/task/9572/stat : 9572 (java) S 9556 9559 8318 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 81721885 26729906176 10774 33554432000 4194304 4196468 140722492293088 140471550604272 140472877934293 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19066880 140722492298317 140722492298501 140722492298501 140722492301263 0
[pid=9559/tid=9573] ppid=9556 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/9559/task/9573/stat : 9573 (java) S 9556 9559 8318 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81721887 26729906176 10774 33554432000 4194304 4196468 140722492293088 140471549552848 140472877942683 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19066880 140722492298317 140722492298501 140722492298501 140722492301263 0
[pid=9559/tid=9574] ppid=9556 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/9559/task/9574/stat : 9574 (java) S 9556 9559 8318 0 -1 1077944384 332 0 0 0 0 0 0 0 20 0 20 0 81721887 26729906176 10774 33554432000 4194304 4196468 140722492293088 140471548500464 140472877935234 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19066880 140722492298317 140722492298501 140722492298501 140722492301263 0
[pid=9559/tid=9575] ppid=9556 vsize=26103424 memory=0 CPUtime=0.01 cores=0-7
/proc/9559/task/9575/stat : 9575 (java) S 9556 9559 8318 0 -1 1077944384 180 0 0 0 1 0 0 0 20 0 20 0 81721887 26729906176 10774 33554432000 4194304 4196468 140722492293088 140471547447920 140472877935234 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19066880 140722492298317 140722492298501 140722492298501 140722492301263 0
[pid=9559/tid=9576] ppid=9556 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/9559/task/9576/stat : 9576 (java) S 9556 9559 8318 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 20 0 81721887 26729906176 10774 33554432000 4194304 4196468 140722492293088 140471546395376 140472877935234 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19066880 140722492298317 140722492298501 140722492298501 140722492301263 0
[pid=9559/tid=9577] ppid=9556 vsize=26103424 memory=0 CPUtime=0.06 cores=0-7
/proc/9559/task/9577/stat : 9577 (java) R 9556 9559 8318 0 -1 4202560 305 0 0 0 6 0 0 0 20 0 20 0 81721887 26729906176 10774 33554432000 4194304 4196468 140722492293088 140471545338784 140472877936022 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19066880 140722492298317 140722492298501 140722492298501 140722492301263 0
[pid=9559/tid=9578] ppid=9556 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/9559/task/9578/stat : 9578 (java) S 9556 9559 8318 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 81721887 26729906176 10774 33554432000 4194304 4196468 140722492293088 140471544289504 140472877934293 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19066880 140722492298317 140722492298501 140722492298501 140722492301263 0
[pid=9559/tid=9579] ppid=9556 vsize=26103424 memory=-1 CPUtime=0 cores=0-7
/proc/9559/task/9579/stat : 9579 (java) S 9556 9559 8318 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81721888 26729906176 10774 33554432000 4194304 4196468 140722492293088 140471543237040 140472877935234 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19066880 140722492298317 140722492298501 140722492298501 140722492301263 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 26103424 KiB
Current children cumulated memory: 43096 KiB

[startup+0.310366 s]*
/proc/loadavg: 8.94 8.88 8.80 3/198 9579
/proc/meminfo: memFree=17476484/32770624 swapFree=67108796/67108860
[pid=9559] ppid=9556 vsize=26103424 memory=46616 CPUtime=0.43 cores=0-7
/proc/9559/stat : 9559 (java) S 9556 9559 8318 0 -1 1077944320 10869 0 0 0 40 3 0 0 20 0 20 0 81721881 26729906176 11654 33554432000 4194304 4196468 140722492293088 140722492275632 140472877924087 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 19066880 140722492298317 140722492298501 140722492298501 140722492301263 0
/proc/9559/statm: 6525856 11654 3384 1 0 6487932 0
[pid=9559/tid=9561] ppid=9556 vsize=26103424 memory=8112282956445269571 CPUtime=0.29 cores=0-7
/proc/9559/task/9561/stat : 9561 (java) R 9556 9559 8318 0 -1 4202560 8539 0 0 0 27 2 0 0 20 0 20 0 81721882 26729906176 11654 33554432000 4194304 4196468 140722492293088 140472882085824 140472862004574 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19066880 140722492298317 140722492298501 140722492298501 140722492301263 0
[pid=9559/tid=9562] ppid=9556 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/9559/task/9562/stat : 9562 (java) S 9556 9559 8318 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81721883 26729906176 11654 33554432000 4194304 4196468 140722492293088 140472830544144 140472877934293 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19066880 140722492298317 140722492298501 140722492298501 140722492301263 0
[pid=9559/tid=9563] ppid=9556 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/9559/task/9563/stat : 9563 (java) S 9556 9559 8318 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81721883 26729906176 11654 33554432000 4194304 4196468 140722492293088 140472829491600 140472877934293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19066880 140722492298317 140722492298501 140722492298501 140722492301263 0
[pid=9559/tid=9564] ppid=9556 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/9559/task/9564/stat : 9564 (java) S 9556 9559 8318 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81721883 26729906176 11654 33554432000 4194304 4196468 140722492293088 140472828439056 140472877934293 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19066880 140722492298317 140722492298501 140722492298501 140722492301263 0
[pid=9559/tid=9565] ppid=9556 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/9559/task/9565/stat : 9565 (java) S 9556 9559 8318 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81721883 26729906176 11654 33554432000 4194304 4196468 140722492293088 140472827386512 140472877934293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19066880 140722492298317 140722492298501 140722492298501 140722492301263 0
[pid=9559/tid=9566] ppid=9556 vsize=26103424 memory=2244 CPUtime=0 cores=0-7
/proc/9559/task/9566/stat : 9566 (java) S 9556 9559 8318 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81721883 26729906176 11654 33554432000 4194304 4196468 140722492293088 140472826333968 140472877934293 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19066880 140722492298317 140722492298501 140722492298501 140722492301263 0
[pid=9559/tid=9567] ppid=9556 vsize=26103424 memory=139944798548911 CPUtime=0 cores=0-7
/proc/9559/task/9567/stat : 9567 (java) S 9556 9559 8318 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81721883 26729906176 11654 33554432000 4194304 4196468 140722492293088 140472825281424 140472877934293 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19066880 140722492298317 140722492298501 140722492298501 140722492301263 0
[pid=9559/tid=9568] ppid=9556 vsize=26103424 memory=139944798551216 CPUtime=0 cores=0-7
/proc/9559/task/9568/stat : 9568 (java) S 9556 9559 8318 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81721883 26729906176 11654 33554432000 4194304 4196468 140722492293088 140472824228880 140472877934293 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19066880 140722492298317 140722492298501 140722492298501 140722492301263 0
[pid=9559/tid=9569] ppid=9556 vsize=26103424 memory=139944798553520 CPUtime=0 cores=0-7
/proc/9559/task/9569/stat : 9569 (java) S 9556 9559 8318 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 81721883 26729906176 11654 33554432000 4194304 4196468 140722492293088 140472823176336 140472877934293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19066880 140722492298317 140722492298501 140722492298501 140722492301263 0
[pid=9559/tid=9570] ppid=9556 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/9559/task/9570/stat : 9570 (java) S 9556 9559 8318 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81721884 26729906176 11654 33554432000 4194304 4196468 140722492293088 140471552710640 140472877935234 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19066880 140722492298317 140722492298501 140722492298501 140722492301263 0
[pid=9559/tid=9571] ppid=9556 vsize=26103424 memory=279889597114000 CPUtime=0 cores=0-7
/proc/9559/task/9571/stat : 9571 (java) S 9556 9559 8318 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 81721885 26729906176 11654 33554432000 4194304 4196468 140722492293088 140471551656864 140472877934293 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19066880 140722492298317 140722492298501 140722492298501 140722492301263 0
[pid=9559/tid=9572] ppid=9556 vsize=26103424 memory=279889597120912 CPUtime=0 cores=0-7
/proc/9559/task/9572/stat : 9572 (java) S 9556 9559 8318 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 81721885 26729906176 11654 33554432000 4194304 4196468 140722492293088 140471550604272 140472877934293 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19066880 140722492298317 140722492298501 140722492298501 140722492301263 0
[pid=9559/tid=9573] ppid=9556 vsize=26103424 memory=279889597062192 CPUtime=0 cores=0-7
/proc/9559/task/9573/stat : 9573 (java) S 9556 9559 8318 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81721887 26729906176 11654 33554432000 4194304 4196468 140722492293088 140471549552848 140472877942683 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19066880 140722492298317 140722492298501 140722492298501 140722492301263 0
[pid=9559/tid=9574] ppid=9556 vsize=26103424 memory=279889597134736 CPUtime=0.01 cores=0-7
/proc/9559/task/9574/stat : 9574 (java) S 9556 9559 8318 0 -1 1077944384 332 0 0 0 1 0 0 0 20 0 20 0 81721887 26729906176 11654 33554432000 4194304 4196468 140722492293088 140471548500464 140472877935234 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19066880 140722492298317 140722492298501 140722492298501 140722492301263 0
[pid=9559/tid=9575] ppid=9556 vsize=26103424 memory=279889597141648 CPUtime=0.02 cores=0-7
/proc/9559/task/9575/stat : 9575 (java) S 9556 9559 8318 0 -1 1077944384 259 0 0 0 2 0 0 0 20 0 20 0 81721887 26729906176 11654 33554432000 4194304 4196468 140722492293088 140471547447920 140472877935234 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19066880 140722492298317 140722492298501 140722492298501 140722492301263 0
[pid=9559/tid=9576] ppid=9556 vsize=26103424 memory=279889597139344 CPUtime=0 cores=0-7
/proc/9559/task/9576/stat : 9576 (java) S 9556 9559 8318 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 20 0 81721887 26729906176 11654 33554432000 4194304 4196468 140722492293088 140471546395376 140472877935234 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19066880 140722492298317 140722492298501 140722492298501 140722492301263 0
[pid=9559/tid=9577] ppid=9556 vsize=26103424 memory=279889597155904 CPUtime=0.07 cores=0-7
/proc/9559/task/9577/stat : 9577 (java) S 9556 9559 8318 0 -1 1077944384 321 0 0 0 7 0 0 0 20 0 20 0 81721887 26729906176 11654 33554432000 4194304 4196468 140722492293088 140471545342832 140472877935234 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19066880 140722492298317 140722492298501 140722492298501 140722492301263 0
[pid=9559/tid=9578] ppid=9556 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/9559/task/9578/stat : 9578 (java) S 9556 9559 8318 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 81721887 26729906176 11654 33554432000 4194304 4196468 140722492293088 140471544289504 140472877934293 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19066880 140722492298317 140722492298501 140722492298501 140722492301263 0
[pid=9559/tid=9579] ppid=9556 vsize=26103424 memory=-1 CPUtime=0 cores=0-7
/proc/9559/task/9579/stat : 9579 (java) S 9556 9559 8318 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81721888 26729906176 11654 33554432000 4194304 4196468 140722492293088 140471543237040 140472877935234 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19066880 140722492298317 140722492298501 140722492298501 140722492301263 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 26103424 KiB
Current children cumulated memory: 46616 KiB

[startup+0.700877 s]
/proc/loadavg: 8.94 8.88 8.80 2/198 9579
/proc/meminfo: memFree=17452672/32770624 swapFree=67108796/67108860
[pid=9559] ppid=9556 vsize=26105492 memory=87532 CPUtime=0.99 cores=0-7
/proc/9559/stat : 9559 (java) S 9556 9559 8318 0 -1 1077944320 17809 0 0 0 93 6 0 0 20 0 20 0 81721881 26732023808 21883 33554432000 4194304 4196468 140722492293088 140722492275632 140472877924087 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 19066880 140722492298317 140722492298501 140722492298501 140722492301263 0
/proc/9559/statm: 6526373 21883 3491 1 0 6488444 0
[pid=9559/tid=9561] ppid=9556 vsize=26105492 memory=7517742806200771412 CPUtime=0.67 cores=0-7
/proc/9559/task/9561/stat : 9561 (java) R 9556 9559 8318 0 -1 4202560 15038 0 0 0 63 4 0 0 20 0 20 0 81721882 26732023808 21883 33554432000 4194304 4196468 140722492293088 140472882147408 140472862004574 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19066880 140722492298317 140722492298501 140722492298501 140722492301263 0
[pid=9559/tid=9562] ppid=9556 vsize=26105492 memory=41137196780244 CPUtime=0 cores=0-7
/proc/9559/task/9562/stat : 9562 (java) S 9556 9559 8318 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81721883 26732023808 21883 33554432000 4194304 4196468 140722492293088 140472830544144 140472877934293 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19066880 140722492298317 140722492298501 140722492298501 140722492301263 0
[pid=9559/tid=9563] ppid=9556 vsize=26105492 memory=139944798560656 CPUtime=0 cores=0-7
/proc/9559/task/9563/stat : 9563 (java) S 9556 9559 8318 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81721883 26732023808 21883 33554432000 4194304 4196468 140722492293088 140472829491600 140472877934293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19066880 140722492298317 140722492298501 140722492298501 140722492301263 0
[pid=9559/tid=9564] ppid=9556 vsize=26105492 memory=0 CPUtime=0 cores=0-7
/proc/9559/task/9564/stat : 9564 (java) S 9556 9559 8318 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81721883 26732023808 21883 33554432000 4194304 4196468 140722492293088 140472828439056 140472877934293 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19066880 140722492298317 140722492298501 140722492298501 140722492301263 0
[pid=9559/tid=9565] ppid=9556 vsize=26105492 memory=0 CPUtime=0 cores=0-7
/proc/9559/task/9565/stat : 9565 (java) S 9556 9559 8318 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81721883 26732023808 21883 33554432000 4194304 4196468 140722492293088 140472827386512 140472877934293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19066880 140722492298317 140722492298501 140722492298501 140722492301263 0
[pid=9559/tid=9566] ppid=9556 vsize=26105492 memory=0 CPUtime=0 cores=0-7
/proc/9559/task/9566/stat : 9566 (java) S 9556 9559 8318 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81721883 26732023808 21883 33554432000 4194304 4196468 140722492293088 140472826333968 140472877934293 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19066880 140722492298317 140722492298501 140722492298501 140722492301263 0
[pid=9559/tid=9567] ppid=9556 vsize=26105492 memory=0 CPUtime=0 cores=0-7
/proc/9559/task/9567/stat : 9567 (java) S 9556 9559 8318 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81721883 26732023808 21883 33554432000 4194304 4196468 140722492293088 140472825281424 140472877934293 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19066880 140722492298317 140722492298501 140722492298501 140722492301263 0
[pid=9559/tid=9568] ppid=9556 vsize=26105492 memory=0 CPUtime=0 cores=0-7
/proc/9559/task/9568/stat : 9568 (java) S 9556 9559 8318 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81721883 26732023808 21883 33554432000 4194304 4196468 140722492293088 140472824228880 140472877934293 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19066880 140722492298317 140722492298501 140722492298501 140722492301263 0
[pid=9559/tid=9569] ppid=9556 vsize=26105492 memory=1628 CPUtime=0 cores=0-7
/proc/9559/task/9569/stat : 9569 (java) S 9556 9559 8318 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 81721883 26732023808 21883 33554432000 4194304 4196468 140722492293088 140472823176336 140472877934293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19066880 140722492298317 140722492298501 140722492298501 140722492301263 0
[pid=9559/tid=9570] ppid=9556 vsize=26105492 memory=8876 CPUtime=0 cores=0-7
/proc/9559/task/9570/stat : 9570 (java) S 9556 9559 8318 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81721884 26732023808 21883 33554432000 4194304 4196468 140722492293088 140471552710640 140472877935234 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19066880 140722492298317 140722492298501 140722492298501 140722492301263 0

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

[pid=9559/tid=9587] ppid=9556 vsize=27850528 memory=916 CPUtime=2477.55 cores=0-7
/proc/9559/task/9587/stat : 9587 (java) R 9556 9559 8318 0 -1 4202560 147562 0 0 0 247470 285 0 0 20 0 46 0 81723158 28518940672 2277796 33554432000 4194304 4196468 140722492293088 140471450950736 140472502312019 0 4 0 16800975 0 0 0 -1 7 0 0 21 0 0 6293624 6294260 19066880 140722492298317 140722492298501 140722492298501 140722492301263 0
[pid=9559/tid=9588] ppid=9556 vsize=27850528 memory=5720 CPUtime=0.78 cores=0-7
/proc/9559/task/9588/stat : 9588 (java) S 9556 9559 8318 0 -1 1077944384 1495 0 0 0 73 5 0 0 20 0 46 0 81723159 28518940672 2277796 33554432000 4194304 4196468 140722492293088 140471449904272 140472877934293 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19066880 140722492298317 140722492298501 140722492298501 140722492301263 0
[pid=9559/tid=9589] ppid=9556 vsize=27850528 memory=4104 CPUtime=2482.02 cores=0-7
/proc/9559/task/9589/stat : 9589 (java) R 9556 9559 8318 0 -1 4202560 140974 0 0 0 247921 281 0 0 20 0 46 0 81723159 28518940672 2277796 33554432000 4194304 4196468 140722492293088 140471448847976 140472499883701 0 4 0 16800975 0 0 0 -1 5 0 0 28 0 0 6293624 6294260 19066880 140722492298317 140722492298501 140722492298501 140722492301263 0
[pid=9559/tid=9590] ppid=9556 vsize=27850528 memory=1408 CPUtime=2471.04 cores=0-7
/proc/9559/task/9590/stat : 9590 (java) R 9556 9559 8318 0 -1 4202560 135909 0 0 0 246842 262 0 0 20 0 46 0 81723159 28518940672 2277796 33554432000 4194304 4196468 140722492293088 140471447791832 140472495585133 0 4 0 16800975 0 0 0 -1 3 0 0 30 0 0 6293624 6294260 19066880 140722492298317 140722492298501 140722492298501 140722492301263 0
[pid=9559/tid=9591] ppid=9556 vsize=27850528 memory=4552 CPUtime=0.03 cores=0-7
/proc/9559/task/9591/stat : 9591 (java) S 9556 9559 8318 0 -1 1077944384 82 0 0 0 3 0 0 0 20 0 46 0 81723159 28518940672 2277796 33554432000 4194304 4196468 140722492293088 140471446746640 140472877934293 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19066880 140722492298317 140722492298501 140722492298501 140722492301263 0
[pid=9559/tid=9592] ppid=9556 vsize=27850528 memory=9102992 CPUtime=0.02 cores=0-7
/proc/9559/task/9592/stat : 9592 (java) S 9556 9559 8318 0 -1 1077944384 43 0 0 0 2 0 0 0 20 0 46 0 81723397 28518940672 2277796 33554432000 4194304 4196468 140722492293088 140471445694096 140472877934293 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19066880 140722492298317 140722492298501 140722492298501 140722492301263 0
[pid=9559/tid=9593] ppid=9556 vsize=27850528 memory=301741373374332954 CPUtime=2469.93 cores=0-7
/proc/9559/task/9593/stat : 9593 (java) R 9556 9559 8318 0 -1 4202560 143578 0 0 0 246730 263 0 0 20 0 46 0 81723397 28518940672 2277796 33554432000 4194304 4196468 140722492293088 140471444633368 140472495585179 0 4 0 16800975 0 0 0 -1 4 0 0 24 0 0 6293624 6294260 19066880 140722492298317 140722492298501 140722492298501 140722492301263 0
[pid=9559/tid=9594] ppid=9556 vsize=27850528 memory=-7003737579269690708 CPUtime=0.02 cores=0-7
/proc/9559/task/9594/stat : 9594 (java) S 9556 9559 8318 0 -1 1077944384 46 0 0 0 2 0 0 0 20 0 46 0 81723484 28518940672 2277796 33554432000 4194304 4196468 140722492293088 140471441453968 140472877934293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19066880 140722492298317 140722492298501 140722492298501 140722492301263 0
[pid=9559/tid=9595] ppid=9556 vsize=27850528 memory=6943487855420614559 CPUtime=0.03 cores=0-7
/proc/9559/task/9595/stat : 9595 (java) S 9556 9559 8318 0 -1 1077944384 1165 0 0 0 3 0 0 0 20 0 46 0 81723484 28518940672 2277796 33554432000 4194304 4196468 140722492293088 140471440401424 140472877934293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19066880 140722492298317 140722492298501 140722492298501 140722492301263 0
[pid=9559/tid=9596] ppid=9556 vsize=27850528 memory=9111184 CPUtime=0.02 cores=0-7
/proc/9559/task/9596/stat : 9596 (java) S 9556 9559 8318 0 -1 1077944384 46 0 0 0 2 0 0 0 20 0 46 0 81723485 28518940672 2277796 33554432000 4194304 4196468 140722492293088 140471439348880 140472877934293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19066880 140722492298317 140722492298501 140722492298501 140722492301263 0
[pid=9559/tid=9597] ppid=9556 vsize=27850528 memory=2244 CPUtime=0.05 cores=0-7
/proc/9559/task/9597/stat : 9597 (java) S 9556 9559 8318 0 -1 1077944384 1702 0 0 0 5 0 0 0 20 0 46 0 81723486 28518940672 2277796 33554432000 4194304 4196468 140722492293088 140471438296336 140472877934293 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19066880 140722492298317 140722492298501 140722492298501 140722492301263 0
[pid=9559/tid=9598] ppid=9556 vsize=27850528 memory=4124 CPUtime=0.03 cores=0-7
/proc/9559/task/9598/stat : 9598 (java) S 9556 9559 8318 0 -1 1077944384 994 0 0 0 3 0 0 0 20 0 46 0 81723487 28518940672 2277796 33554432000 4194304 4196468 140722492293088 140471437243792 140472877934293 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19066880 140722492298317 140722492298501 140722492298501 140722492301263 0
[pid=9559/tid=9599] ppid=9556 vsize=27850528 memory=924 CPUtime=0.03 cores=0-7
/proc/9559/task/9599/stat : 9599 (java) S 9556 9559 8318 0 -1 1077944384 1130 0 0 0 3 0 0 0 20 0 46 0 81723488 28518940672 2277796 33554432000 4194304 4196468 140722492293088 140471436191248 140472877934293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19066880 140722492298317 140722492298501 140722492298501 140722492301263 0
[pid=9559/tid=9600] ppid=9556 vsize=27850528 memory=1572 CPUtime=0.04 cores=0-7
/proc/9559/task/9600/stat : 9600 (java) S 9556 9559 8318 0 -1 1077944384 825 0 0 0 4 0 0 0 20 0 46 0 81723489 28518940672 2277796 33554432000 4194304 4196468 140722492293088 140471435138704 140472877934293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19066880 140722492298317 140722492298501 140722492298501 140722492301263 0
[pid=9559/tid=9601] ppid=9556 vsize=27850528 memory=2092 CPUtime=0.01 cores=0-7
/proc/9559/task/9601/stat : 9601 (java) S 9556 9559 8318 0 -1 1077944384 40 0 0 0 1 0 0 0 20 0 46 0 81723489 28518940672 2277796 33554432000 4194304 4196468 140722492293088 140471434086160 140472877934293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19066880 140722492298317 140722492298501 140722492298501 140722492301263 0
[pid=9559/tid=9602] ppid=9556 vsize=27850528 memory=7524 CPUtime=0.02 cores=0-7
/proc/9559/task/9602/stat : 9602 (java) S 9556 9559 8318 0 -1 1077944384 939 0 0 0 2 0 0 0 20 0 46 0 81723489 28518940672 2277796 33554432000 4194304 4196468 140722492293088 140471433032592 140472877934293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19066880 140722492298317 140722492298501 140722492298501 140722492301263 0
[pid=9559/tid=9603] ppid=9556 vsize=27850528 memory=840 CPUtime=0.02 cores=0-7
/proc/9559/task/9603/stat : 9603 (java) S 9556 9559 8318 0 -1 1077944384 101 0 0 0 2 0 0 0 20 0 46 0 81723489 28518940672 2277796 33554432000 4194304 4196468 140722492293088 140471431980048 140472877934293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19066880 140722492298317 140722492298501 140722492298501 140722492301263 0
[pid=9559/tid=9604] ppid=9556 vsize=27850528 memory=1796 CPUtime=0.03 cores=0-7
/proc/9559/task/9604/stat : 9604 (java) S 9556 9559 8318 0 -1 1077944384 981 0 0 0 3 0 0 0 20 0 46 0 81723491 28518940672 2277796 33554432000 4194304 4196468 140722492293088 140471430927504 140472877934293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19066880 140722492298317 140722492298501 140722492298501 140722492301263 0
[pid=9559/tid=9605] ppid=9556 vsize=27850528 memory=916 CPUtime=0.02 cores=0-7
/proc/9559/task/9605/stat : 9605 (java) S 9556 9559 8318 0 -1 1077944384 894 0 0 0 2 0 0 0 20 0 46 0 81723492 28518940672 2277796 33554432000 4194304 4196468 140722492293088 140471429874960 140472877934293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19066880 140722492298317 140722492298501 140722492298501 140722492301263 0
Current children cumulated CPU time: 19997.6 s
Current children cumulated vsize: 27850528 KiB
Current children cumulated memory: 9111184 KiB

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

[startup+2520.55 s]
# the end of solver process 9559 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=19967.5 s, system=33.9518 s

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

[startup+2520.4 s]
/proc/loadavg: 8.56 8.80 8.84 9/224 9681
/proc/meminfo: memFree=8389908/32770624 swapFree=67108796/67108860
[pid=9559] ppid=9556 vsize=28050220 memory=9100296 CPUtime=20000.7 cores=0-7
/proc/9559/stat : 9559 (java) S 9556 9559 8318 0 -1 1077944320 2352370 0 0 0 1996680 3389 0 0 20 0 48 0 81721881 28723425280 2275074 33554432000 4194304 4196468 140722492293088 140722492275632 140472877924087 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 19066880 140722492298317 140722492298501 140722492298501 140722492301263 0
/proc/9559/statm: 7012555 2275074 3627 1 0 6974105 0
[pid=9559/tid=9561] ppid=9556 vsize=28050220 memory=9111184 CPUtime=12.44 cores=0-7
/proc/9559/task/9561/stat : 9561 (java) S 9556 9559 8318 0 -1 1077944384 26336 0 0 0 1229 15 0 0 20 0 48 0 81721882 28723425280 2275074 33554432000 4194304 4196468 140722492293088 140472882161552 140472877934293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19066880 140722492298317 140722492298501 140722492298501 140722492301263 0
[pid=9559/tid=9562] ppid=9556 vsize=28050220 memory=8112282956445269571 CPUtime=21.05 cores=0-7
/proc/9559/task/9562/stat : 9562 (java) S 9556 9559 8318 0 -1 1077944384 135611 0 0 0 1955 150 0 0 20 0 48 0 81721883 28723425280 2275074 33554432000 4194304 4196468 140722492293088 140472830544144 140472877934293 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 19 0 0 6293624 6294260 19066880 140722492298317 140722492298501 140722492298501 140722492301263 0
[pid=9559/tid=9563] ppid=9556 vsize=28050220 memory=-7003737579269690708 CPUtime=20.97 cores=0-7
/proc/9559/task/9563/stat : 9563 (java) S 9556 9559 8318 0 -1 1077944384 134858 0 0 0 1952 145 0 0 20 0 48 0 81721883 28723425280 2275074 33554432000 4194304 4196468 140722492293088 140472829491600 140472877934293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 20 0 0 6293624 6294260 19066880 140722492298317 140722492298501 140722492298501 140722492301263 0
[pid=9559/tid=9564] ppid=9556 vsize=28050220 memory=15044 CPUtime=21.06 cores=0-7
/proc/9559/task/9564/stat : 9564 (java) S 9556 9559 8318 0 -1 1077944384 131377 0 0 0 1965 141 0 0 20 0 48 0 81721883 28723425280 2275074 33554432000 4194304 4196468 140722492293088 140472828439056 140472877934293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 17 0 0 6293624 6294260 19066880 140722492298317 140722492298501 140722492298501 140722492301263 0
[pid=9559/tid=9565] ppid=9556 vsize=28050220 memory=18804 CPUtime=21.08 cores=0-7
/proc/9559/task/9565/stat : 9565 (java) S 9556 9559 8318 0 -1 1077944384 121206 0 0 0 1969 139 0 0 20 0 48 0 81721883 28723425280 2275074 33554432000 4194304 4196468 140722492293088 140472827386512 140472877934293 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 16 0 0 6293624 6294260 19066880 140722492298317 140722492298501 140722492298501 140722492301263 0
[pid=9559/tid=9566] ppid=9556 vsize=28050220 memory=916 CPUtime=21.03 cores=0-7
/proc/9559/task/9566/stat : 9566 (java) S 9556 9559 8318 0 -1 1077944384 138576 0 0 0 1954 149 0 0 20 0 48 0 81721883 28723425280 2275074 33554432000 4194304 4196468 140722492293088 140472826333968 140472877934293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 17 0 0 6293624 6294260 19066880 140722492298317 140722492298501 140722492298501 140722492301263 0
[pid=9559/tid=9567] ppid=9556 vsize=28050220 memory=5720 CPUtime=20.99 cores=0-7
/proc/9559/task/9567/stat : 9567 (java) S 9556 9559 8318 0 -1 1077944384 132812 0 0 0 1962 137 0 0 20 0 48 0 81721883 28723425280 2275074 33554432000 4194304 4196468 140722492293088 140472825281424 140472877934293 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 16 0 0 6293624 6294260 19066880 140722492298317 140722492298501 140722492298501 140722492301263 0
[pid=9559/tid=9568] ppid=9556 vsize=28050220 memory=4104 CPUtime=21.04 cores=0-7
/proc/9559/task/9568/stat : 9568 (java) S 9556 9559 8318 0 -1 1077944384 131550 0 0 0 1962 142 0 0 20 0 48 0 81721883 28723425280 2275074 33554432000 4194304 4196468 140722492293088 140472824228880 140472877934293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 19 0 0 6293624 6294260 19066880 140722492298317 140722492298501 140722492298501 140722492301263 0
[pid=9559/tid=9569] ppid=9556 vsize=28050220 memory=1408 CPUtime=20.98 cores=0-7
/proc/9559/task/9569/stat : 9569 (java) S 9556 9559 8318 0 -1 1077944384 129741 0 0 0 1955 143 0 0 20 0 48 0 81721883 28723425280 2275074 33554432000 4194304 4196468 140722492293088 140472823176336 140472877934293 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 23 0 0 6293624 6294260 19066880 140722492298317 140722492298501 140722492298501 140722492301263 0
[pid=9559/tid=9570] ppid=9556 vsize=28050220 memory=4552 CPUtime=1.18 cores=0-7
/proc/9559/task/9570/stat : 9570 (java) S 9556 9559 8318 0 -1 1077944384 57665 0 0 0 108 10 0 0 20 0 48 0 81721884 28723425280 2275074 33554432000 4194304 4196468 140722492293088 140471552710640 140472877935234 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19066880 140722492298317 140722492298501 140722492298501 140722492301263 0
[pid=9559/tid=9571] ppid=9556 vsize=28050220 memory=9111184 CPUtime=0 cores=0-7
/proc/9559/task/9571/stat : 9571 (java) S 9556 9559 8318 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 48 0 81721885 28723425280 2275074 33554432000 4194304 4196468 140722492293088 140471551656928 140472877934293 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19066880 140722492298317 140722492298501 140722492298501 140722492301263 0
[pid=9559/tid=9572] ppid=9556 vsize=28050220 memory=8112282956445269571 CPUtime=0 cores=0-7
/proc/9559/task/9572/stat : 9572 (java) S 9556 9559 8318 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 48 0 81721885 28723425280 2275074 33554432000 4194304 4196468 140722492293088 140471550604288 140472877934293 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19066880 140722492298317 140722492298501 140722492298501 140722492301263 0
[pid=9559/tid=9573] ppid=9556 vsize=28050220 memory=-7003737579269690708 CPUtime=0 cores=0-7
/proc/9559/task/9573/stat : 9573 (java) S 9556 9559 8318 0 -1 1077944384 189 0 0 0 0 0 0 0 20 0 48 0 81721887 28723425280 2275074 33554432000 4194304 4196468 140722492293088 140471549552848 140472877942683 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19066880 140722492298317 140722492298501 140722492298501 140722492301263 0
[pid=9559/tid=9574] ppid=9556 vsize=28050220 memory=1284 CPUtime=2.79 cores=0-7
/proc/9559/task/9574/stat : 9574 (java) S 9556 9559 8318 0 -1 1077944384 13970 0 0 0 275 4 0 0 20 0 48 0 81721887 28723425280 2275074 33554432000 4194304 4196468 140722492293088 140471548500464 140472877935234 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19066880 140722492298317 140722492298501 140722492298501 140722492301263 0
[pid=9559/tid=9575] ppid=9556 vsize=28050220 memory=9117884 CPUtime=2.75 cores=0-7
/proc/9559/task/9575/stat : 9575 (java) S 9556 9559 8318 0 -1 1077944384 9274 0 0 0 273 2 0 0 20 0 48 0 81721887 28723425280 2275074 33554432000 4194304 4196468 140722492293088 140471547447920 140472877935234 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19066880 140722492298317 140722492298501 140722492298501 140722492301263 0
[pid=9559/tid=9576] ppid=9556 vsize=28050220 memory=8112282956445269571 CPUtime=2.96 cores=0-7
/proc/9559/task/9576/stat : 9576 (java) S 9556 9559 8318 0 -1 1077944384 13455 0 0 0 294 2 0 0 20 0 48 0 81721887 28723425280 2275074 33554432000 4194304 4196468 140722492293088 140471546395376 140472877935234 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19066880 140722492298317 140722492298501 140722492298501 140722492301263 0
[pid=9559/tid=9577] ppid=9556 vsize=28050220 memory=3708 CPUtime=1.46 cores=0-7
/proc/9559/task/9577/stat : 9577 (java) S 9556 9559 8318 0 -1 1077944384 18685 0 0 0 142 4 0 0 20 0 48 0 81721887 28723425280 2275074 33554432000 4194304 4196468 140722492293088 140471545342832 140472877935234 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19066880 140722492298317 140722492298501 140722492298501 140722492301263 0
[pid=9559/tid=9578] ppid=9556 vsize=28050220 memory=24000 CPUtime=0 cores=0-7
/proc/9559/task/9578/stat : 9578 (java) S 9556 9559 8318 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 48 0 81721887 28723425280 2275074 33554432000 4194304 4196468 140722492293088 140471544289504 140472877934293 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19066880 140722492298317 140722492298501 140722492298501 140722492301263 0
[pid=9559/tid=9579] ppid=9556 vsize=28050220 memory=9102992 CPUtime=1.05 cores=0-7
/proc/9559/task/9579/stat : 9579 (java) S 9556 9559 8318 0 -1 1077944384 3536 0 0 0 59 46 0 0 20 0 48 0 81721888 28723425280 2275074 33554432000 4194304 4196468 140722492293088 140471543237040 140472877935234 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19066880 140722492298317 140722492298501 140722492298501 140722492301263 0
[pid=9559/tid=9580] ppid=9556 vsize=28050220 memory=7306359659961542000 CPUtime=0.07 cores=0-7
/proc/9559/task/9580/stat : 9580 (java) S 9556 9559 8318 0 -1 1077944384 6179 0 0 0 6 1 0 0 20 0 48 0 81723108 28723425280 2275074 33554432000 4194304 4196468 140722492293088 140471462519504 140472877934293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19066880 140722492298317 140722492298501 140722492298501 140722492301263 0
[pid=9559/tid=9581] ppid=9556 vsize=28050220 memory=-2746958450906831424 CPUtime=5.15 cores=0-7
/proc/9559/task/9581/stat : 9581 (java) S 9556 9559 8318 0 -1 1077944384 10542 0 0 0 220 295 0 0 20 0 48 0 81723133 28723425280 2275074 33554432000 4194304 4196468 140722492293088 140471461467184 140472877935234 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 19066880 140722492298317 140722492298501 140722492298501 140722492301263 0
[pid=9559/tid=9582] ppid=9556 vsize=28050220 memory=8112282956445269571 CPUtime=2474.13 cores=0-7
/proc/9559/task/9582/stat : 9582 (java) R 9556 9559 8318 0 -1 4202560 135300 0 0 0 247150 263 0 0 20 0 48 0 81723150 28723425280 2275074 33554432000 4194304 4196468 140722492293088 140471458310168 140472495585431 0 4 0 16800975 0 0 0 -1 3 0 0 19 0 0 6293624 6294260 19066880 140722492298317 140722492298501 140722492298501 140722492301263 0
[pid=9559/tid=9583] ppid=9556 vsize=28050220 memory=8693818240194803880 CPUtime=2476.48 cores=0-7
/proc/9559/task/9583/stat : 9583 (java) R 9556 9559 8318 0 -1 4202560 144752 0 0 0 247380 268 0 0 20 0 48 0 81723151 28723425280 2275074 33554432000 4194304 4196468 140722492293088 140471457259336 140472495585112 0 4 0 16800975 0 0 0 -1 6 0 0 24 0 0 6293624 6294260 19066880 140722492298317 140722492298501 140722492298501 140722492301263 0
[pid=9559/tid=9584] ppid=9556 vsize=28050220 memory=7161658432324724071 CPUtime=0.77 cores=0-7
/proc/9559/task/9584/stat : 9584 (java) S 9556 9559 8318 0 -1 1077944384 1737 0 0 0 71 6 0 0 20 0 48 0 81723151 28723425280 2275074 33554432000 4194304 4196468 140722492293088 140471456212624 140472877934293 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19066880 140722492298317 140722492298501 140722492298501 140722492301263 0
[pid=9559/tid=9585] ppid=9556 vsize=28050220 memory=139944906156177 CPUtime=2478.97 cores=0-7
/proc/9559/task/9585/stat : 9585 (java) R 9556 9559 8318 0 -1 4202560 131159 0 0 0 247615 282 0 0 20 0 48 0 81723158 28723425280 2275074 33554432000 4194304 4196468 140722492293088 140471453056888 140472497825626 0 4 0 16800975 0 0 0 -1 0 0 0 15 0 0 6293624 6294260 19066880 140722492298317 140722492298501 140722492298501 140722492301263 0
[pid=9559/tid=9586] ppid=9556 vsize=28050220 memory=8112282956445269571 CPUtime=2468.74 cores=0-7
/proc/9559/task/9586/stat : 9586 (java) R 9556 9559 8318 0 -1 4202560 140889 0 0 0 246600 274 0 0 20 0 48 0 81723158 28723425280 2275074 33554432000 4194304 4196468 140722492293088 140471452002008 140472499883310 0 4 0 16800975 0 0 0 -1 2 0 0 10 0 0 6293624 6294260 19066880 140722492298317 140722492298501 140722492298501 140722492301263 0
[pid=9559/tid=9587] ppid=9556 vsize=28050220 memory=4016 CPUtime=2477.92 cores=0-7
/proc/9559/task/9587/stat : 9587 (java) R 9556 9559 8318 0 -1 4202560 147563 0 0 0 247507 285 0 0 20 0 48 0 81723158 28723425280 2275074 33554432000 4194304 4196468 140722492293088 140471450950776 140472503467813 0 4 0 16800975 0 0 0 -1 1 0 0 21 0 0 6293624 6294260 19066880 140722492298317 140722492298501 140722492298501 140722492301263 0
[pid=9559/tid=9588] ppid=9556 vsize=28050220 memory=644 CPUtime=0.79 cores=0-7
/proc/9559/task/9588/stat : 9588 (java) S 9556 9559 8318 0 -1 1077944384 1533 0 0 0 74 5 0 0 20 0 48 0 81723159 28723425280 2275074 33554432000 4194304 4196468 140722492293088 140471449904272 140472877934293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19066880 140722492298317 140722492298501 140722492298501 140722492301263 0
[pid=9559/tid=9589] ppid=9556 vsize=28050220 memory=1676 CPUtime=2482.4 cores=0-7
/proc/9559/task/9589/stat : 9589 (java) R 9556 9559 8318 0 -1 4202560 140974 0 0 0 247959 281 0 0 20 0 48 0 81723159 28723425280 2275074 33554432000 4194304 4196468 140722492293088 140471448845688 140472496234052 0 4 0 16800975 0 0 0 -1 7 0 0 28 0 0 6293624 6294260 19066880 140722492298317 140722492298501 140722492298501 140722492301263 0
[pid=9559/tid=9590] ppid=9556 vsize=28050220 memory=960 CPUtime=2471.43 cores=0-7
/proc/9559/task/9590/stat : 9590 (java) R 9556 9559 8318 0 -1 4202560 135909 0 0 0 246881 262 0 0 20 0 48 0 81723159 28723425280 2275074 33554432000 4194304 4196468 140722492293088 140471447791640 140472503111755 0 4 0 16800975 0 0 0 -1 5 0 0 30 0 0 6293624 6294260 19066880 140722492298317 140722492298501 140722492298501 140722492301263 0
[pid=9559/tid=9591] ppid=9556 vsize=28050220 memory=1232 CPUtime=0.03 cores=0-7
/proc/9559/task/9591/stat : 9591 (java) S 9556 9559 8318 0 -1 1077944384 82 0 0 0 3 0 0 0 20 0 48 0 81723159 28723425280 2275074 33554432000 4194304 4196468 140722492293088 140471446746640 140472877934293 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19066880 140722492298317 140722492298501 140722492298501 140722492301263 0
[pid=9559/tid=9592] ppid=9556 vsize=28050220 memory=4072 CPUtime=0.02 cores=0-7
/proc/9559/task/9592/stat : 9592 (java) S 9556 9559 8318 0 -1 1077944384 43 0 0 0 2 0 0 0 20 0 48 0 81723397 28723425280 2275074 33554432000 4194304 4196468 140722492293088 140471445694096 140472877934293 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19066880 140722492298317 140722492298501 140722492298501 140722492301263 0
[pid=9559/tid=9593] ppid=9556 vsize=28050220 memory=2244 CPUtime=2470.26 cores=0-7
/proc/9559/task/9593/stat : 9593 (java) R 9556 9559 8318 0 -1 4202560 143580 0 0 0 246763 263 0 0 20 0 48 0 81723397 28723425280 2275074 33554432000 4194304 4196468 140722492293088 140471444635720 140472499883310 0 4 0 16800975 0 0 0 -1 4 0 0 24 0 0 6293624 6294260 19066880 140722492298317 140722492298501 140722492298501 140722492301263 0
[pid=9559/tid=9594] ppid=9556 vsize=28050220 memory=4124 CPUtime=0.02 cores=0-7
/proc/9559/task/9594/stat : 9594 (java) S 9556 9559 8318 0 -1 1077944384 46 0 0 0 2 0 0 0 20 0 48 0 81723484 28723425280 2275074 33554432000 4194304 4196468 140722492293088 140471441453968 140472877934293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19066880 140722492298317 140722492298501 140722492298501 140722492301263 0
[pid=9559/tid=9595] ppid=9556 vsize=28050220 memory=924 CPUtime=0.03 cores=0-7
/proc/9559/task/9595/stat : 9595 (java) S 9556 9559 8318 0 -1 1077944384 1185 0 0 0 3 0 0 0 20 0 48 0 81723484 28723425280 2275074 33554432000 4194304 4196468 140722492293088 140471440401424 140472877934293 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19066880 140722492298317 140722492298501 140722492298501 140722492301263 0
[pid=9559/tid=9596] ppid=9556 vsize=28050220 memory=1572 CPUtime=0.02 cores=0-7
/proc/9559/task/9596/stat : 9596 (java) S 9556 9559 8318 0 -1 1077944384 46 0 0 0 2 0 0 0 20 0 48 0 81723485 28723425280 2275074 33554432000 4194304 4196468 140722492293088 140471439348880 140472877934293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19066880 140722492298317 140722492298501 140722492298501 140722492301263 0
[pid=9559/tid=9597] ppid=9556 vsize=28050220 memory=2092 CPUtime=0.05 cores=0-7
/proc/9559/task/9597/stat : 9597 (java) S 9556 9559 8318 0 -1 1077944384 1739 0 0 0 5 0 0 0 20 0 48 0 81723486 28723425280 2275074 33554432000 4194304 4196468 140722492293088 140471438296336 140472877934293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19066880 140722492298317 140722492298501 140722492298501 140722492301263 0
[pid=9559/tid=9598] ppid=9556 vsize=28050220 memory=7524 CPUtime=0.03 cores=0-7
/proc/9559/task/9598/stat : 9598 (java) S 9556 9559 8318 0 -1 1077944384 1013 0 0 0 3 0 0 0 20 0 48 0 81723487 28723425280 2275074 33554432000 4194304 4196468 140722492293088 140471437243792 140472877934293 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19066880 140722492298317 140722492298501 140722492298501 140722492301263 0
[pid=9559/tid=9599] ppid=9556 vsize=28050220 memory=840 CPUtime=0.04 cores=0-7
/proc/9559/task/9599/stat : 9599 (java) S 9556 9559 8318 0 -1 1077944384 1164 0 0 0 4 0 0 0 20 0 48 0 81723488 28723425280 2275074 33554432000 4194304 4196468 140722492293088 140471436191248 140472877934293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19066880 140722492298317 140722492298501 140722492298501 140722492301263 0
[pid=9559/tid=9600] ppid=9556 vsize=28050220 memory=1796 CPUtime=0.06 cores=0-7
/proc/9559/task/9600/stat : 9600 (java) S 9556 9559 8318 0 -1 1077944384 1211 0 0 0 5 1 0 0 20 0 48 0 81723489 28723425280 2275074 33554432000 4194304 4196468 140722492293088 140471435138704 140472877934293 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19066880 140722492298317 140722492298501 140722492298501 140722492301263 0
[pid=9559/tid=9601] ppid=9556 vsize=28050220 memory=916 CPUtime=0.01 cores=0-7
/proc/9559/task/9601/stat : 9601 (java) S 9556 9559 8318 0 -1 1077944384 40 0 0 0 1 0 0 0 20 0 48 0 81723489 28723425280 2275074 33554432000 4194304 4196468 140722492293088 140471434086160 140472877934293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19066880 140722492298317 140722492298501 140722492298501 140722492301263 0
[pid=9559/tid=9602] ppid=9556 vsize=28050220 memory=5720 CPUtime=0.03 cores=0-7
/proc/9559/task/9602/stat : 9602 (java) S 9556 9559 8318 0 -1 1077944384 1051 0 0 0 3 0 0 0 20 0 48 0 81723489 28723425280 2275074 33554432000 4194304 4196468 140722492293088 140471433032592 140472877934293 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19066880 140722492298317 140722492298501 140722492298501 140722492301263 0
[pid=9559/tid=9603] ppid=9556 vsize=28050220 memory=4104 CPUtime=0.03 cores=0-7
/proc/9559/task/9603/stat : 9603 (java) R 9556 9559 8318 0 -1 4202560 174 0 0 0 3 0 0 0 20 0 48 0 81723489 28723425280 2275074 33554432000 4194304 4196468 140722492293088 140471431968464 140472871023948 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19066880 140722492298317 140722492298501 140722492298501 140722492301263 0
[pid=9559/tid=9604] ppid=9556 vsize=28050220 memory=1408 CPUtime=0.03 cores=0-7
/proc/9559/task/9604/stat : 9604 (java) S 9556 9559 8318 0 -1 1077944384 1000 0 0 0 3 0 0 0 20 0 48 0 81723491 28723425280 2275074 33554432000 4194304 4196468 140722492293088 140471430927504 140472877934293 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19066880 140722492298317 140722492298501 140722492298501 140722492301263 0
[pid=9559/tid=9605] ppid=9556 vsize=28050220 memory=4552 CPUtime=0.04 cores=0-7
/proc/9559/task/9605/stat : 9605 (java) S 9556 9559 8318 0 -1 1077944384 1436 0 0 0 4 0 0 0 20 0 48 0 81723492 28723425280 2275074 33554432000 4194304 4196468 140722492293088 140471429874960 140472877934293 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19066880 140722492298317 140722492298501 140722492298501 140722492301263 0
Current children cumulated CPU time: 20000.7 s
Current children cumulated vsize: 28050220 KiB
Current children cumulated memory: 9100296 KiB

[startup+2520.53 s]*
/proc/loadavg: 8.75 8.84 8.85 2/180 9684
/proc/meminfo: memFree=17275280/32770624 swapFree=67108796/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143
Real time (s): 2520.55
CPU time (s): 20001.5
CPU user time (s): 19967.5
CPU system time (s): 33.9518
CPU usage (%): 793.537
Max. virtual memory (cumulated for all children) (KiB): 28050220
Max. memory (cumulated for all children) (KiB): 9284868

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19967.5
system time used= 33.9518
maximum resident set size= 9284868
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2352709
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 359519
involuntary context switches= 427077


# summary of solver processes directly reported to runsolver:
#   pid: 9559
#   total CPU time (s): 20001.5
#   total CPU user time (s): 19967.5
#   total CPU system time (s): 33.9518

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 28.6845 second user time and 34.5316 second system time

The end

Launcher Data 

Begin job on node138 at 2018-07-26 23:46:27
IDJOB=4291175
IDBENCH=141214
IDSOLVER=2745
FILE ID=node138/4291175-1532641587
RUNJOBID= node138-1532633938-8345
PBS_JOBID= 21022187
Free space on /tmp= 53800 MiB

SOLVER NAME= OscaR - Parallel with EPS 2018-07-02
BENCH NAME= XCSP18/SumColoring/SumColoring-dsjc-250-9_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-4291175-1532641587/watcher-4291175-1532641587 -o /tmp/evaluation-result-4291175-1532641587/solver-4291175-1532641587 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node138-1532633938-8345 --watchdog 2580  java -Xmx22000m -jar oscarCPXcsp3-parallel.jar --randomseed 1893626518 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4291175-1532641587.xml

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

MD5SUM BENCH= 15c7aefb85365a32de6dc875f5012851
RANDOM SEED=1893626518

node138.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.71
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.71
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.71
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.71
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:        17510212 kB
MemAvailable:   31922008 kB
Buffers:          203200 kB
Cached:         14352136 kB
SwapCached:           44 kB
Active:          2459480 kB
Inactive:       12156240 kB
Active(anon):      10948 kB
Inactive(anon):    77300 kB
Active(file):    2448532 kB
Inactive(file): 12078940 kB
Unevictable:        7280 kB
Mlocked:            7280 kB
SwapTotal:      67108860 kB
SwapFree:       67108796 kB
Dirty:             36784 kB
Writeback:             0 kB
AnonPages:         67524 kB
Mapped:            35888 kB
Shmem:             25164 kB
Slab:             340420 kB
SReclaimable:     312784 kB
SUnreclaim:        27636 kB
KernelStack:        3344 kB
PageTables:         4672 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     326200 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     12288 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      112000 kB
DirectMap2M:    33433600 kB

Free space on /tmp at the end= 53764 MiB
End job on node138 at 2018-07-27 00:28:28