Trace number 4401178

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
Concrete 3.12.2SAT (TO)4 2520.12 2461.53

General information on the benchmark

NameRamsey/Ramsey-m1-s1/
Ramsey-45.xml
MD5SUM1426235d943c6b8ba94de7087c35e664
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark4
Best CPU time to get the best result obtained on this benchmark2520
Satisfiable
(Un)Satisfiability was proved
Number of variables2025
Number of constraints14190
Number of domains1
Minimum domain size990
Maximum domain size990
Distribution of domain sizes[{"size":990,"count":990}]
Minimum variable degree0
Maximum variable degree44
Distribution of variable degrees[{"degree":0,"count":1035},{"degree":44,"count":990}]
Minimum constraint arity3
Maximum constraint arity3
Distribution of constraint arities[{"arity":3,"count":14190}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"nValues","count":14190}]
Optimization problemYES
Type of objectivemin MAXIMUM

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.73/0.55	c Concrete v3.12.2.1568631193530 running
26.56/11.72	o 989
28.22/12.59	o 988
29.26/13.27	o 987
30.56/13.92	o 986
31.23/14.53	o 985
31.99/15.12	o 984
32.64/15.69	o 983
33.38/16.23	o 982
33.92/16.77	o 981
34.66/17.33	o 980
35.17/17.85	o 979
35.82/18.43	o 978
36.33/19.00	o 977
36.98/19.56	o 976
37.49/20.09	o 975
38.09/20.63	o 974
38.60/21.19	o 973
39.30/21.79	o 972
39.90/22.32	o 971
40.40/22.89	o 970
40.90/23.38	o 969
41.52/23.93	o 968
42.02/24.45	o 967
42.52/24.98	o 966
43.21/25.55	o 965
43.72/26.07	o 964
44.22/26.57	o 963
44.86/27.12	o 962
45.35/27.65	o 961
45.86/28.17	o 960
46.40/28.66	o 959
47.05/29.24	o 958
47.68/29.79	o 957
48.19/30.26	o 956
48.69/30.72	o 955
49.10/31.17	o 954
49.69/31.70	o 953
50.19/32.23	o 952
50.69/32.71	o 951
51.10/33.19	o 950
51.81/33.70	o 949
52.41/34.25	o 948
52.92/34.77	o 947
53.44/35.29	o 946
54.05/35.80	o 945
54.55/36.32	o 944
55.05/36.80	o 943
55.55/37.34	o 942
56.06/37.88	o 941
56.65/38.44	o 940
57.28/38.93	o 939
57.78/39.41	o 938
58.19/39.89	o 937
58.86/40.31	o 936
59.26/40.72	o 935
59.76/41.26	o 934
60.26/41.73	o 933
60.72/42.19	o 932
61.28/42.64	o 931
61.69/43.08	o 930
62.27/43.54	o 929
62.67/43.98	o 928
63.18/44.41	o 927
63.58/44.84	o 926
64.08/45.37	o 925
64.58/45.88	o 924
65.18/46.40	o 923
65.68/46.92	o 922
66.18/47.42	o 921
66.68/47.91	o 920
67.19/48.40	o 919
67.81/48.95	o 918
68.31/49.42	o 917
68.71/49.89	o 916
69.31/50.43	o 915
69.81/50.96	o 914
70.31/51.48	o 913
70.81/51.99	o 912
71.31/52.49	o 911
71.81/53.00	o 910
72.42/53.50	o 909
72.82/53.98	o 908
73.32/54.47	o 907
73.91/54.95	o 906
74.31/55.38	o 905
74.81/55.81	o 904
75.21/56.24	o 903
75.71/56.76	o 902
76.21/57.26	o 901
76.71/57.76	o 900
77.21/58.26	o 899
77.71/58.71	o 898
78.12/59.16	o 897
78.61/59.60	o 896
79.02/60.05	o 895
79.41/60.49	o 894
80.00/60.94	o 893
80.40/61.35	o 892
80.80/61.75	o 891
81.21/62.15	o 890
81.61/62.54	o 889
82.01/62.92	o 888
82.31/63.25	o 887
82.81/63.76	o 886
83.31/64.27	o 885
83.81/64.78	o 884
84.31/65.29	o 883
84.91/65.81	o 882
85.41/66.31	o 881
86.01/66.85	o 880
86.51/67.35	o 879
87.01/67.85	o 878
87.51/68.35	o 877
88.02/68.82	o 876
88.42/69.24	o 875
88.82/69.65	o 874
89.23/70.04	o 873
89.62/70.43	o 872
90.02/70.81	o 871
90.33/71.17	o 870
90.72/71.53	o 869
91.02/71.88	o 868
91.63/72.40	o 867
92.13/72.92	o 866
92.71/73.45	o 865
93.21/73.94	o 864
93.72/74.44	o 863
94.22/74.92	o 862
94.72/75.40	o 861
95.12/75.87	o 860
95.62/76.33	o 859
96.02/76.78	o 858
96.52/77.23	o 857
96.92/77.69	o 856
97.43/78.15	o 855
97.92/78.61	o 854
98.35/79.06	o 853
98.84/79.51	o 852
99.32/79.99	o 851
99.82/80.43	o 850
100.23/80.86	o 849
100.63/81.28	o 848
101.03/81.65	o 847
101.45/82.07	o 846
102.04/82.60	o 845
102.45/83.08	o 844
102.94/83.53	o 843
103.35/83.97	o 842
103.85/84.40	o 841
104.25/84.80	o 840
104.56/85.11	o 839
104.85/85.41	o 838
105.05/85.67	o 837
105.35/85.93	o 836
105.56/86.18	o 835
105.86/86.43	o 834
106.15/86.64	o 833
106.35/86.82	o 832
106.45/87.00	o 831
106.66/87.17	o 830
106.85/87.34	o 829
106.95/87.48	o 828
107.15/87.63	o 827
107.25/87.76	o 826
107.35/87.89	o 825
107.45/88.00	o 824
107.56/88.11	o 823
107.75/88.21	o 822
107.85/88.31	o 821
107.85/88.40	o 820
107.95/88.48	o 819
108.05/88.55	o 818
108.15/88.63	o 817
108.15/88.69	o 816
108.25/88.74	o 815
108.25/88.79	o 814
108.35/88.84	o 813
108.35/88.88	o 812
108.45/88.92	o 811
108.45/88.96	o 810
108.45/89.00	o 809
108.56/89.04	o 808
108.56/89.08	o 807
108.66/89.12	o 806
108.66/89.15	o 805
108.66/89.18	o 804
108.75/89.21	o 803
108.75/89.25	o 802
108.75/89.28	o 801
108.86/89.31	o 800
108.86/89.33	o 7
108.86/89.37	o 6
109.20/89.52	o 5
132.55/110.91	o 4
2520.07/2461.50	Exception in thread "main" java.util.concurrent.TimeoutException
2520.07/2461.50		at concrete.MAC.mac(MAC.scala:192)
2520.07/2461.50		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:265)
2520.07/2461.50		at scala.util.Try$.apply(Try.scala:212)
2520.07/2461.50		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:179)
2520.07/2461.50		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:183)
2520.07/2461.50		at cspom.StatisticsManager$.measure(StatisticsManager.scala:179)
2520.07/2461.50		at concrete.MAC.oneRun(MAC.scala:265)
2520.07/2461.50		at concrete.MAC.nextSolution(MAC.scala:284)
2520.07/2461.50		at concrete.MAC.nextSolution(MAC.scala:369)
2520.07/2461.50		at concrete.Solver.hasNext(Solver.scala:160)
2520.07/2461.50		at scala.collection.IterableOnceOps.foreach(IterableOnce.scala:576)
2520.07/2461.50		at scala.collection.IterableOnceOps.foreach$(IterableOnce.scala:574)
2520.07/2461.50		at concrete.Solver.foreach(Solver.scala:67)
2520.07/2461.50		at concrete.runner.ConcreteRunner.$anonfun$run$3(ConcreteRunner.scala:73)
2520.07/2461.50		at scala.util.Success.map(Try.scala:264)
2520.07/2461.50		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68)
2520.07/2461.50		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:32)
2520.07/2461.50		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:17)
2520.07/2461.50		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
2520.07/2461.50		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:17)
2520.07/2461.50		at scala.Function0.apply$mcV$sp(Function0.scala:39)
2520.07/2461.50		at scala.Function0.apply$mcV$sp$(Function0.scala:39)
2520.07/2461.50		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:17)
2520.07/2461.50		at scala.App.$anonfun$main$1(App.scala:75)
2520.07/2461.50		at scala.App.$anonfun$main$1$adapted(App.scala:75)
2520.07/2461.50		at scala.collection.IterableOnceOps.foreach(IterableOnce.scala:576)
2520.07/2461.50		at scala.collection.IterableOnceOps.foreach$(IterableOnce.scala:574)
2520.07/2461.50		at scala.collection.AbstractIterable.foreach(Iterable.scala:904)
2520.07/2461.50		at scala.App.main(App.scala:75)
2520.07/2461.50		at scala.App.main$(App.scala:73)
2520.07/2461.50		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:17)
2520.07/2461.50		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2520.07/2461.51	v <instantiation
2520.07/2461.51	v         cost = '4'>
2520.07/2461.51	v       <list>
2520.07/2461.51	v         x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[0][30] x[0][31] x[0][32] x[0][33] x[0][34] x[0][35] x[0][36] x[0][37] x[0][38] x[0][39] x[0][40] x[0][41] x[0][42] x[0][43] x[0][44] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[1][28] x[1][29] x[1][30] x[1][31] x[1][32] x[1][33] x[1][34] x[1][35] x[1][36] x[1][37] x[1][38] x[1][39] x[1][40] x[1][41] x[1][42] x[1][43] x[1][44] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[2][28] x[2][29] x[2][30] x[2][31] x[2][32] x[2][33] x[2][34] x[2][35] x[2][36] x[2][37] x[2][38] x[2][39] x[2][40] x[2][41] x[2][42] x[2][43] x[2][44] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[3][28] x[3][29] x[3][30] x[3][31] x[3][32] x[3][33] x[3][34] x[3][35] x[3][36] x[3][37] x[3][38] x[3][39] x[3][40] x[3][41] x[3][42] x[3][43] x[3][44] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[4][27] x[4][28] x[4][29] x[4][30] x[4][31] x[4][32] x[4][33] x[4][34] x[4][35] x[4][36] x[4][37] x[4][38] x[4][39] x[4][40] x[4][41] x[4][42] x[4][43] x[4][44] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[5][27] x[5][28] x[5][29] x[5][30] x[5][31] x[5][32] x[5][33] x[5][34] x[5][35] x[5][36] x[5][37] x[5][38] x[5][39] x[5][40] x[5][41] x[5][42] x[5][43] x[5][44] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[6][27] x[6][28] x[6][29] x[6][30] x[6][31] x[6][32] x[6][33] x[6][34] x[6][35] x[6][36] x[6][37] x[6][38] x[6][39] x[6][40] x[6][41] x[6][42] x[6][43] x[6][44] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[7][27] x[7][28] x[7][29] x[7][30] x[7][31] x[7][32] x[7][33] x[7][34] x[7][35] x[7][36] x[7][37] x[7][38] x[7][39] x[7][40] x[7][41] x[7][42] x[7][43] x[7][44] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[8][27] x[8][28] x[8][29] x[8][30] x[8][31] x[8][32] x[8][33] x[8][34] x[8][35] x[8][36] x[8][37] x[8][38] x[8][39] x[8][40] x[8][41] x[8][42] x[8][43] x[8][44] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[9][26] x[9][27] x[9][28] x[9][29] x[9][30] x[9][31] x[9][32] x[9][33] x[9][34] x[9][35] x[9][36] x[9][37] x[9][38] x[9][39] x[9][40] x[9][41] x[9][42] x[9][43] x[9][44] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][20] x[10][21] x[10][22] x[10][23] x[10][24] x[10][25] x[10][26] x[10][27] x[10][28] x[10][29] x[10][30] x[10][31] x[10][32] x[10][33] x[10][34] x[10][35] x[10][36] x[10][37] x[10][38] x[10][39] x[10][40] x[10][41] x[10][42] x[10][43] x[10][44] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][20] x[11][21] x[11][22] x[11][23] x[11][24] x[11][25] x[11][26] x[11][27] x[11][28] x[11][29] x[11][30] x[11][31] x[11][32] x[11][33] x[11][34] x[11][35] x[11][36] x[11][37] x[11][38] x[11][39] x[11][40] x[11][41] x[11][42] x[11][43] x[11][44] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][20] x[12][21] x[12][22] x[12][23] x[12][24] x[12][25] x[12][26] x[12][27] x[12][28] x[12][29] x[12][30] x[12][31] x[12][32] x[12][33] x[12][34] x[12][35] x[12][36] x[12][37] x[12][38] x[12][39] x[12][40] x[12][41] x[12][42] x[12][43] x[12][44] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][20] x[13][21] x[13][22] x[13][23] x[13][24] x[13][25] x[13][26] x[13][27] x[13][28] x[13][29] x[13][30] x[13][31] x[13][32] x[13][33] x[13][34] x[13][35] x[13][36] x[13][37] x[13][38] x[13][39] x[13][40] x[13][41] x[13][42] x[13][43] x[13][44] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][20] x[14][21] x[14][22] x[14][23] x[14][24] x[14][25] x[14][26] x[14][27] x[14][28] x[14][29] x[14][30] x[14][31] x[14][32] x[14][33] x[14][34] x[14][35] x[14][36] x[14][37] x[14][38] x[14][39] x[14][40] x[14][41] x[14][42] x[14][43] x[14][44] x[15][16] x[15][17] x[15][18] x[15][19] x[15][20] x[15][21] x[15][22] x[15][23] x[15][24] x[15][25] x[15][26] x[15][27] x[15][28] x[15][29] x[15][30] x[15][31] x[15][32] x[15][33] x[15][34] x[15][35] x[15][36] x[15][37] x[15][38] x[15][39] x[15][40] x[15][41] x[15][42] x[15][43] x[15][44] x[16][17] x[16][18] x[16][19] x[16][20] x[16][21] x[16][22] x[16][23] x[16][24] x[16][25] x[16][26] x[16][27] x[16][28] x[16][29] x[16][30] x[16][31] x[16][32] x[16][33] x[16][34] x[16][35] x[16][36] x[16][37] x[16][38] x[16][39] x[16][40] x[16][41] x[16][42] x[16][43] x[16][44] x[17][18] x[17][19] x[17][20] x[17][21] x[17][22] x[17][23] x[17][24] x[17][25] x[17][26] x[17][27] x[17][28] x[17][29] x[17][30] x[17][31] x[17][32] x[17][33] x[17][34] x[17][35] x[17][36] x[17][37] x[17][38] x[17][39] x[17][40] x[17][41] x[17][42] x[17][43] x[17][44] x[18][19] x[18][20] x[18][21] x[18][22] x[18][23] x[18][24] x[18][25] x[18][26] x[18][27] x[18][28] x[18][29] x[18][30] x[18][31] x[18][32] x[18][33] x[18][34] x[18][35] x[18][36] x[18][37] x[18][38] x[18][39] x[18][40] x[18][41] x[18][42] x[18][43] x[18][44] x[19][20] x[19][21] x[19][22] x[19][23] x[19][24] x[19][25] x[19][26] x[19][27] x[19][28] x[19][29] x[19][30] x[19][31] x[19][32] x[19][33] x[19][34] x[19][35] x[19][36] x[19][37] x[19][38] x[19][39] x[19][40] x[19][41] x[19][42] x[19][43] x[19][44] x[20][21] x[20][22] x[20][23] x[20][24] x[20][25] x[20][26] x[20][27] x[20][28] x[20][29] x[20][30] x[20][31] x[20][32] x[20][33] x[20][34] x[20][35] x[20][36] x[20][37] x[20][38] x[20][39] x[20][40] x[20][41] x[20][42] x[20][43] x[20][44] x[21][22] x[21][23] x[21][24] x[21][25] x[21][26] x[21][27] x[21][28] x[21][29] x[21][30] x[21][31] x[21][32] x[21][33] x[21][34] x[21][35] x[21][36] x[21][37] x[21][38] x[21][39] x[21][40] x[21][41] x[21][42] x[21][43] x[21][44] x[22][23] x[22][24] x[22][25] x[22][26] x[22][27] x[22][28] x[22][29] x[22][30] x[22][31] x[22][32] x[22][33] x[22][34] x[22][35] x[22][36] x[22][37] x[22][38] x[22][39] x[22][40] x[22][41] x[22][42] x[22][43] x[22][44] x[23][24] x[23][25] x[23][26] x[23][27] x[23][28] x[23][29] x[23][30] x[23][31] x[23][32] x[23][33] x[23][34] x[23][35] x[23][36] x[23][37] x[23][38] x[23][39] x[23][40] x[23][41] x[23][42] x[23][43] x[23][44] x[24][25] x[24][26] x[24][27] x[24][28] x[24][29] x[24][30] x[24][31] x[24][32] x[24][33] x[24][34] x[24][35] x[24][36] x[24][37] x[24][38] x[24][39] x[24][40] x[24][41] x[24][42] x[24][43] x[24][44] x[25][26] x[25][27] x[25][28] x[25][29] x[25][30] x[25][31] x[25][32] x[25][33] x[25][34] x[25][35] x[25][36] x[25][37] x[25][38] x[25][39] x[25][40] x[25][41] x[25][42] x[25][43] x[25][44] x[26][27] x[26][28] x[26][29] x[26][30] x[26][31] x[26][32] x[26][33] x[26][34] x[26][35] x[26][36] x[26][37] x[26][38] x[26][39] x[26][40] x[26][41] x[26][42] x[26][43] x[26][44] x[27][28] x[27][29] x[27][30] x[27][31] x[27][32] x[27][33] x[27][34] x[27][35] x[27][36] x[27][37] x[27][38] x[27][39] x[27][40] x[27][41] x[27][42] x[27][43] x[27][44] x[28][29] x[28][30] x[28][31] x[28][32] x[28][33] x[28][34] x[28][35] x[28][36] x[28][37] x[28][38] x[28][39] x[28][40] x[28][41] x[28][42] x[28][43] x[28][44] x[29][30] x[29][31] x[29][32] x[29][33] x[29][34] x[29][35] x[29][36] x[29][37] x[29][38] x[29][39] x[29][40] x[29][41] x[29][42] x[29][43] x[29][44] x[30][31] x[30][32] x[30][33] x[30][34] x[30][35] x[30][36] x[30][37] x[30][38] x[30][39] x[30][40] x[30][41] x[30][42] x[30][43] x[30][44] x[31][32] x[31][33] x[31][34] x[31][35] x[31][36] x[31][37] x[31][38] x[31][39] x[31][40] x[31][41] x[31][42] x[31][43] x[31][44] x[32][33] x[32][34] x[32][35] x[32][36] x[32][37] x[32][38] x[32][39] x[32][40] x[32][41] x[32][42] x[32][43] x[32][44] x[33][34] x[33][35] x[33][36] x[33][37] x[33][38] x[33][39] x[33][40] x[33][41] x[33][42] x[33][43] x[33][44] x[34][35] x[34][36] x[34][37] x[34][38] x[34][39] x[34][40] x[34][41] x[34][42] x[34][43] x[34][44] x[35][36] x[35][37] x[35][38] x[35][39] x[35][40] x[35][41] x[35][42] x[35][43] x[35][44] x[36][37] x[36][38] x[36][39] x[36][40] x[36][41] x[36][42] x[36][43] x[36][44] x[37][38] x[37][39] x[37][40] x[37][41] x[37][42] x[37][43] x[37][44] x[38][39] x[38][40] x[38][41] x[38][42] x[38][43] x[38][44] x[39][40] x[39][41] x[39][42] x[39][43] x[39][44] x[40][41] x[40][42] x[40][43] x[40][44] x[41][42] x[41][43] x[41][44] x[42][43] x[42][44] x[43][44]
2520.07/2461.51	v       </list>
2520.07/2461.51	v       <values>
2520.07/2461.51	v         4 4 3 3 2 4 3 2 2 2 1 1 1 1 1 1 1 1 1 1 1 0 0 1 0 0 0 0 0 0 0 0 4 0 0 0 0 0 0 0 0 0 0 0 2 4 4 2 2 3 4 4 3 1 1 1 1 1 1 1 1 4 1 1 0 0 4 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 4 4 3 1 3 4 2 1 1 1 1 1 1 1 1 1 1 1 0 0 1 0 4 0 0 4 0 0 4 0 4 0 0 0 0 0 0 0 0 0 0 2 4 2 2 3 2 3 1 1 1 1 1 1 1 1 1 1 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 4 0 0 0 0 0 0 0 0 2 1 1 3 1 1 1 1 1 4 4 1 1 1 1 0 1 4 2 0 3 2 4 1 1 4 0 1 1 1 0 1 1 1 1 4 1 1 1 1 3 1 3 1 4 4 3 1 1 3 1 2 2 4 1 2 0 0 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 2 4 4 3 2 3 1 1 3 4 4 4 1 2 0 0 0 0 0 0 0 0 0 4 0 0 0 0 0 4 0 0 0 0 0 0 0 2 3 2 4 3 4 2 3 2 4 3 4 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 4 1 1 1 1 1 1 1 1 1 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 4 0 3 4 4 4 3 1 2 2 2 3 4 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 4 0 3 2 4 1 1 3 3 2 2 4 4 0 0 0 0 0 0 0 0 0 0 0 0 4 0 0 0 0 0 0 0 0 0 0 3 2 4 4 4 2 2 3 3 2 4 0 0 0 0 0 0 0 0 0 0 0 4 0 0 0 0 0 0 0 0 0 0 3 3 4 2 2 4 4 2 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 4 2 3 4 2 2 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 3 2 2 4 3 4 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 4 0 0 0 0 0 0 0 2 3 2 3 4 3 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 4 0 0 0 4 4 3 4 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 2 3 4 0 0 0 0 0 0 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 2 3 0 0 4 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 4 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 0 3 0 0 0 0 0 0 2 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 2 3 2 3 1 1 1 2 1 2 1 4 1 4 3 1 1 3 1 1 4 3 3 4 2 1 1 3 4 1 1 1 4 1 1 1 1 2 1 1 1 1 2 4 3 1 3 4 4 1 1 1 4 1 1 2 1 1 1 1 2 4 4 4 1 1 1 3 1 1 1 1 2 2 4 1 2 2 1 1 1 3 1 1 1 3 1 1 1 1 2 2 2 1 2 1 1 1 1 1 1 1 4 1 1 1 2 1 2 2 1 1 1 1 1 3 3 4 4 4 3 4 3 3 3 4 2 2 2 2 3 2 2 4 3 4 3 2 2 2 2 4 3 3 4 4 3 3 3 4 3 3 3 1 1 2 2 2 4 2 2 2 3 1 1 4 2 2 1 2 4 1 3 1 3 2 4 2 3 3 3 4 2 4 2 4 3 4 2 4 2 2 2 3 3 2 4 4 4 3 3 2 2 4 2 3 2 1 1 4 2 2 2 3 2 2 4 3 4 3 3 4 4 2 4 2 4 3 3 2 2 4 1 2 2 4 3 4 3 3 3 4 4 3 3 1 4 4 4 2 3 3
2520.07/2461.51	v       </values>
2520.07/2461.51	v     </instantiation>
2520.07/2461.51	s SATISFIABLE

Verifier Data 

OK	4

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4401178-1568686362/watcher-4401178-1568686362 -o /tmp/evaluation-result-4401178-1568686362/solver-4401178-1568686362 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1568669613-18172 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=498798302 HOME/instance-4401178-1568686362.xml 

running on 4 cores: 0,2,4,6

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


[startup+0.101481 s]*
/proc/loadavg: 1.60 1.44 1.37 3/218 22583
/proc/meminfo: memFree=29894540/32770624 swapFree=66926544/67108860
[pid=22526] ppid=22523 vsize=9972712 memory=17080 CPUtime=0.09 cores=0,2,4,6
/proc/22526/stat : 22526 (java) S 22523 22526 18141 0 -1 1077944320 4512 13021 0 0 1 1 5 2 20 0 6 0 444892042 10212057088 4270 33554432000 4194304 4196468 140730873400608 140730873383152 140705440935671 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 33632256 140730873404144 140730873406661 140730873406661 140730873409487 0
/proc/22526/statm: 2493178 4270 1935 1 0 2481616 0
[pid=22526/tid=22579] ppid=22523 vsize=9972712 memory=720575944405811505 CPUtime=0.08 cores=0,2,4,6
/proc/22526/task/22579/stat : 22579 (java) R 22523 22526 18141 0 -1 4202560 2309 13021 0 0 1 0 5 2 20 0 6 0 444892051 10212057088 4270 33554432000 4194304 4196468 140730873400608 140705412772432 140705440957597 0 4 0 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33632256 140730873404144 140730873406661 140730873406661 140730873409487 0
[pid=22526/tid=22580] ppid=22523 vsize=9972712 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/22526/task/22580/stat : 22580 (java) S 22523 22526 18141 0 -1 1077944384 1 13021 0 0 0 0 5 2 20 0 6 0 444892052 10212057088 4270 33554432000 4194304 4196468 140730873400608 140705445177744 140705440945877 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33632256 140730873404144 140730873406661 140730873406661 140730873409487 0
[pid=22526/tid=22581] ppid=22523 vsize=9972712 memory=140246120732025 CPUtime=0.07 cores=0,2,4,6
/proc/22526/task/22581/stat : 22581 (java) S 22523 22526 18141 0 -1 1077944384 1 13021 0 0 0 0 5 2 20 0 6 0 444892052 10212057088 4270 33554432000 4194304 4196468 140730873400608 140705013819664 140705440945877 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33632256 140730873404144 140730873406661 140730873406661 140730873409487 0
[pid=22526/tid=22582] ppid=22523 vsize=9972712 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/22526/task/22582/stat : 22582 (java) S 22523 22526 18141 0 -1 1077944384 1 13021 0 0 0 0 5 2 20 0 6 0 444892052 10212057088 4270 33554432000 4194304 4196468 140730873400608 140705012767376 140705440945877 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33632256 140730873404144 140730873406661 140730873406661 140730873409487 0
[pid=22526/tid=22583] ppid=22523 vsize=9972712 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/22526/task/22583/stat : 22583 (java) S 22523 22526 18141 0 -1 1077944384 2 13021 0 0 0 0 5 2 20 0 6 0 444892052 10212057088 4270 33554432000 4194304 4196468 140730873400608 140705011714576 140705440945877 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33632256 140730873404144 140730873406661 140730873406661 140730873409487 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 17080 KiB

[startup+0.211837 s]*
/proc/loadavg: 1.60 1.44 1.37 3/227 22592
/proc/meminfo: memFree=29875880/32770624 swapFree=66926544/67108860
[pid=22526] ppid=22523 vsize=10820196 memory=42276 CPUtime=0.26 cores=0,2,4,6
/proc/22526/stat : 22526 (java) S 22523 22526 18141 0 -1 1077944320 7447 13021 0 0 17 2 5 2 20 0 15 0 444892042 11079880704 10569 33554432000 4194304 4196468 140730873400608 140730873383152 140705440935671 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 33632256 140730873404144 140730873406661 140730873406661 140730873409487 0
/proc/22526/statm: 2705049 10569 3255 1 0 2667149 0
[pid=22526/tid=22579] ppid=22523 vsize=10820196 memory=729618466009055537 CPUtime=0.18 cores=0,2,4,6
/proc/22526/task/22579/stat : 22579 (java) R 22523 22526 18141 0 -1 4202560 3943 13021 0 0 10 1 5 2 20 0 15 0 444892051 11079880704 10569 33554432000 4194304 4196468 140730873400608 140705412768720 140705440957597 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33632256 140730873404144 140730873406661 140730873406661 140730873409487 0
[pid=22526/tid=22580] ppid=22523 vsize=10820196 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/22526/task/22580/stat : 22580 (java) S 22523 22526 18141 0 -1 1077944384 1 13021 0 0 0 0 5 2 20 0 15 0 444892052 11079880704 10569 33554432000 4194304 4196468 140730873400608 140705445177744 140705440945877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33632256 140730873404144 140730873406661 140730873406661 140730873409487 0
[pid=22526/tid=22581] ppid=22523 vsize=10820196 memory=140246120732025 CPUtime=0.07 cores=0,2,4,6
/proc/22526/task/22581/stat : 22581 (java) S 22523 22526 18141 0 -1 1077944384 1 13021 0 0 0 0 5 2 20 0 15 0 444892052 11079880704 10569 33554432000 4194304 4196468 140730873400608 140705013819664 140705440945877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33632256 140730873404144 140730873406661 140730873406661 140730873409487 0
[pid=22526/tid=22582] ppid=22523 vsize=10820196 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/22526/task/22582/stat : 22582 (java) S 22523 22526 18141 0 -1 1077944384 1 13021 0 0 0 0 5 2 20 0 15 0 444892052 11079880704 10569 33554432000 4194304 4196468 140730873400608 140705012767376 140705440945877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33632256 140730873404144 140730873406661 140730873406661 140730873409487 0
[pid=22526/tid=22583] ppid=22523 vsize=10820196 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/22526/task/22583/stat : 22583 (java) S 22523 22526 18141 0 -1 1077944384 2 13021 0 0 0 0 5 2 20 0 15 0 444892052 11079880704 10569 33554432000 4194304 4196468 140730873400608 140705011714576 140705440945877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33632256 140730873404144 140730873406661 140730873406661 140730873409487 0
[pid=22526/tid=22584] ppid=22523 vsize=10820196 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/22526/task/22584/stat : 22584 (java) S 22523 22526 18141 0 -1 1077944384 2 13021 0 0 0 0 5 2 20 0 15 0 444892053 11079880704 10569 33554432000 4194304 4196468 140730873400608 140704900446832 140705440946818 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33632256 140730873404144 140730873406661 140730873406661 140730873409487 0
[pid=22526/tid=22585] ppid=22523 vsize=10820196 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/22526/task/22585/stat : 22585 (java) S 22523 22526 18141 0 -1 1077944384 13 13021 0 0 0 0 5 2 20 0 15 0 444892054 11079880704 10569 33554432000 4194304 4196468 140730873400608 140704336569632 140705440945877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33632256 140730873404144 140730873406661 140730873406661 140730873409487 0
[pid=22526/tid=22586] ppid=22523 vsize=10820196 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/22526/task/22586/stat : 22586 (java) S 22523 22526 18141 0 -1 1077944384 1 13021 0 0 0 0 5 2 20 0 15 0 444892054 11079880704 10569 33554432000 4194304 4196468 140730873400608 140704202352240 140705440945877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33632256 140730873404144 140730873406661 140730873406661 140730873409487 0
[pid=22526/tid=22587] ppid=22523 vsize=10820196 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/22526/task/22587/stat : 22587 (java) S 22523 22526 18141 0 -1 1077944384 3 13021 0 0 0 0 5 2 20 0 15 0 444892057 11079880704 10635 33554432000 4194304 4196468 140730873400608 140703962061392 140705440954267 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33632256 140730873404144 140730873406661 140730873406661 140730873409487 0
[pid=22526/tid=22588] ppid=22523 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/22526/task/22588/stat : 22588 (java) R 22523 22526 18141 0 -1 4202560 464 13021 0 0 1 0 5 2 20 0 15 0 444892057 11079880704 10635 33554432000 4194304 4196468 140730873400608 140704899393648 140705418585856 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33632256 140730873404144 140730873406661 140730873406661 140730873409487 0
[pid=22526/tid=22589] ppid=22523 vsize=10820196 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/22526/task/22589/stat : 22589 (java) S 22523 22526 18141 0 -1 1077944384 182 13021 0 0 0 0 5 2 20 0 15 0 444892057 11079880704 10635 33554432000 4194304 4196468 140730873400608 140704898340848 140705440946818 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33632256 140730873404144 140730873406661 140730873406661 140730873409487 0
[pid=22526/tid=22590] ppid=22523 vsize=10820196 memory=140246120711808 CPUtime=0.1 cores=0,2,4,6
/proc/22526/task/22590/stat : 22590 (java) S 22523 22526 18141 0 -1 1077944384 624 13021 0 0 3 0 5 2 20 0 15 0 444892057 11079880704 10635 33554432000 4194304 4196468 140730873400608 140704897288560 140705440946818 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33632256 140730873404144 140730873406661 140730873406661 140730873409487 0
[pid=22526/tid=22591] ppid=22523 vsize=10820196 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/22526/task/22591/stat : 22591 (java) S 22523 22526 18141 0 -1 1077944384 3 13021 0 0 0 0 5 2 20 0 15 0 444892057 11079880704 10635 33554432000 4194304 4196468 140730873400608 140703928502752 140705440945877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33632256 140730873404144 140730873406661 140730873406661 140730873409487 0
[pid=22526/tid=22592] ppid=22523 vsize=10820196 memory=140246120711808 CPUtime=0.07 cores=0,2,4,6
/proc/22526/task/22592/stat : 22592 (java) S 22523 22526 18141 0 -1 1077944384 1 13021 0 0 0 0 5 2 20 0 15 0 444892057 11079880704 10635 33554432000 4194304 4196468 140730873400608 140704896236464 140705440946818 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33632256 140730873404144 140730873406661 140730873406661 140730873409487 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 42276 KiB

[startup+0.31119 s]*
/proc/loadavg: 1.60 1.44 1.37 4/227 22592
/proc/meminfo: memFree=29863428/32770624 swapFree=66926544/67108860
[pid=22526] ppid=22523 vsize=10820196 memory=50732 CPUtime=0.39 cores=0,2,4,6
/proc/22526/stat : 22526 (java) S 22523 22526 18141 0 -1 1077944320 10916 13021 0 0 28 4 5 2 20 0 15 0 444892042 11079880704 12683 33554432000 4194304 4196468 140730873400608 140730873383152 140705440935671 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 33632256 140730873404144 140730873406661 140730873406661 140730873409487 0
/proc/22526/statm: 2705049 12683 3313 1 0 2667149 0
[pid=22526/tid=22579] ppid=22523 vsize=10820196 memory=8317482817917895235 CPUtime=0.28 cores=0,2,4,6
/proc/22526/task/22579/stat : 22579 (java) R 22523 22526 18141 0 -1 4202560 7394 13021 0 0 18 3 5 2 20 0 15 0 444892051 11079880704 12683 33554432000 4194304 4196468 140730873400608 140705412740672 140705425016158 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33632256 140730873404144 140730873406661 140730873406661 140730873409487 0
[pid=22526/tid=22580] ppid=22523 vsize=10820196 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/22526/task/22580/stat : 22580 (java) S 22523 22526 18141 0 -1 1077944384 1 13021 0 0 0 0 5 2 20 0 15 0 444892052 11079880704 12683 33554432000 4194304 4196468 140730873400608 140705445177744 140705440945877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33632256 140730873404144 140730873406661 140730873406661 140730873409487 0
[pid=22526/tid=22581] ppid=22523 vsize=10820196 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/22526/task/22581/stat : 22581 (java) S 22523 22526 18141 0 -1 1077944384 1 13021 0 0 0 0 5 2 20 0 15 0 444892052 11079880704 12683 33554432000 4194304 4196468 140730873400608 140705013819664 140705440945877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33632256 140730873404144 140730873406661 140730873406661 140730873409487 0
[pid=22526/tid=22582] ppid=22523 vsize=10820196 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/22526/task/22582/stat : 22582 (java) S 22523 22526 18141 0 -1 1077944384 1 13021 0 0 0 0 5 2 20 0 15 0 444892052 11079880704 12683 33554432000 4194304 4196468 140730873400608 140705012767376 140705440945877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33632256 140730873404144 140730873406661 140730873406661 140730873409487 0
[pid=22526/tid=22583] ppid=22523 vsize=10820196 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/22526/task/22583/stat : 22583 (java) S 22523 22526 18141 0 -1 1077944384 2 13021 0 0 0 0 5 2 20 0 15 0 444892052 11079880704 12683 33554432000 4194304 4196468 140730873400608 140705011714576 140705440945877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33632256 140730873404144 140730873406661 140730873406661 140730873409487 0
[pid=22526/tid=22584] ppid=22523 vsize=10820196 memory=140246120711807 CPUtime=0.07 cores=0,2,4,6
/proc/22526/task/22584/stat : 22584 (java) S 22523 22526 18141 0 -1 1077944384 2 13021 0 0 0 0 5 2 20 0 15 0 444892053 11079880704 12683 33554432000 4194304 4196468 140730873400608 140704900446832 140705440946818 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33632256 140730873404144 140730873406661 140730873406661 140730873409487 0
[pid=22526/tid=22585] ppid=22523 vsize=10820196 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/22526/task/22585/stat : 22585 (java) S 22523 22526 18141 0 -1 1077944384 13 13021 0 0 0 0 5 2 20 0 15 0 444892054 11079880704 12683 33554432000 4194304 4196468 140730873400608 140704336569632 140705440945877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33632256 140730873404144 140730873406661 140730873406661 140730873409487 0
[pid=22526/tid=22586] ppid=22523 vsize=10820196 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/22526/task/22586/stat : 22586 (java) S 22523 22526 18141 0 -1 1077944384 1 13021 0 0 0 0 5 2 20 0 15 0 444892054 11079880704 12683 33554432000 4194304 4196468 140730873400608 140704202352240 140705440945877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33632256 140730873404144 140730873406661 140730873406661 140730873409487 0
[pid=22526/tid=22587] ppid=22523 vsize=10820196 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/22526/task/22587/stat : 22587 (java) S 22523 22526 18141 0 -1 1077944384 3 13021 0 0 0 0 5 2 20 0 15 0 444892057 11079880704 12683 33554432000 4194304 4196468 140730873400608 140703962061392 140705440954267 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33632256 140730873404144 140730873406661 140730873406661 140730873409487 0
[pid=22526/tid=22588] ppid=22523 vsize=10820196 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/22526/task/22588/stat : 22588 (java) S 22523 22526 18141 0 -1 1077944384 470 13021 0 0 2 0 5 2 20 0 15 0 444892057 11079880704 12683 33554432000 4194304 4196468 140730873400608 140704899393648 140705440946818 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33632256 140730873404144 140730873406661 140730873406661 140730873409487 0
[pid=22526/tid=22589] ppid=22523 vsize=10820196 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/22526/task/22589/stat : 22589 (java) S 22523 22526 18141 0 -1 1077944384 183 13021 0 0 1 0 5 2 20 0 15 0 444892057 11079880704 12683 33554432000 4194304 4196468 140730873400608 140704898340848 140705440946818 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33632256 140730873404144 140730873406661 140730873406661 140730873409487 0
[pid=22526/tid=22590] ppid=22523 vsize=10820196 memory=140246120711808 CPUtime=0.12 cores=0,2,4,6
/proc/22526/task/22590/stat : 22590 (java) S 22523 22526 18141 0 -1 1077944384 631 13021 0 0 5 0 5 2 20 0 15 0 444892057 11079880704 12683 33554432000 4194304 4196468 140730873400608 140704897288560 140705440946818 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33632256 140730873404144 140730873406661 140730873406661 140730873409487 0
[pid=22526/tid=22591] ppid=22523 vsize=10820196 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/22526/task/22591/stat : 22591 (java) S 22523 22526 18141 0 -1 1077944384 3 13021 0 0 0 0 5 2 20 0 15 0 444892057 11079880704 12683 33554432000 4194304 4196468 140730873400608 140703928502752 140705440945877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33632256 140730873404144 140730873406661 140730873406661 140730873409487 0
[pid=22526/tid=22592] ppid=22523 vsize=10820196 memory=140246120711808 CPUtime=0.07 cores=0,2,4,6
/proc/22526/task/22592/stat : 22592 (java) S 22523 22526 18141 0 -1 1077944384 1 13021 0 0 0 0 5 2 20 0 15 0 444892057 11079880704 12683 33554432000 4194304 4196468 140730873400608 140704896236464 140705440946818 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33632256 140730873404144 140730873406661 140730873406661 140730873409487 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 50732 KiB

[startup+0.702726 s]
/proc/loadavg: 1.60 1.44 1.37 3/227 22592
/proc/meminfo: memFree=29849580/32770624 swapFree=66926544/67108860
[pid=22526] ppid=22523 vsize=10824364 memory=83496 CPUtime=1.09 cores=0,2,4,6
/proc/22526/stat : 22526 (java) S 22523 22526 18141 0 -1 1077944320 15093 13021 0 0 96 6 5 2 20 0 15 0 444892042 11084148736 20874 33554432000 4194304 4196468 140730873400608 140730873383152 140705440935671 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 33632256 140730873404144 140730873406661 140730873406661 140730873409487 0
/proc/22526/statm: 2706091 20874 3510 1 0 2668173 0
[pid=22526/tid=22579] ppid=22523 vsize=10824364 memory=5795117241467496816 CPUtime=0.66 cores=0,2,4,6
/proc/22526/task/22579/stat : 22579 (java) R 22523 22526 18141 0 -1 4202560 10477 13021 0 0 54 5 5 2 20 0 15 0 444892051 11084148736 20874 33554432000 4194304 4196468 140730873400608 140705412757776 140705425016158 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33632256 140730873404144 140730873406661 140730873406661 140730873409487 0
[pid=22526/tid=22580] ppid=22523 vsize=10824364 memory=1284 CPUtime=0.07 cores=0,2,4,6
/proc/22526/task/22580/stat : 22580 (java) S 22523 22526 18141 0 -1 1077944384 1 13021 0 0 0 0 5 2 20 0 15 0 444892052 11084148736 20874 33554432000 4194304 4196468 140730873400608 140705445177744 140705440945877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33632256 140730873404144 140730873406661 140730873406661 140730873409487 0
[pid=22526/tid=22581] ppid=22523 vsize=10824364 memory=1044 CPUtime=0.07 cores=0,2,4,6
/proc/22526/task/22581/stat : 22581 (java) S 22523 22526 18141 0 -1 1077944384 1 13021 0 0 0 0 5 2 20 0 15 0 444892052 11084148736 20874 33554432000 4194304 4196468 140730873400608 140705013819664 140705440945877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33632256 140730873404144 140730873406661 140730873406661 140730873409487 0
[pid=22526/tid=22582] ppid=22523 vsize=10824364 memory=140245983044577 CPUtime=0.07 cores=0,2,4,6
/proc/22526/task/22582/stat : 22582 (java) S 22523 22526 18141 0 -1 1077944384 1 13021 0 0 0 0 5 2 20 0 15 0 444892052 11084148736 20874 33554432000 4194304 4196468 140730873400608 140705012767376 140705440945877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33632256 140730873404144 140730873406661 140730873406661 140730873409487 0
[pid=22526/tid=22583] ppid=22523 vsize=10824364 memory=140246120710641 CPUtime=0.07 cores=0,2,4,6
/proc/22526/task/22583/stat : 22583 (java) S 22523 22526 18141 0 -1 1077944384 2 13021 0 0 0 0 5 2 20 0 15 0 444892052 11084148736 20874 33554432000 4194304 4196468 140730873400608 140705011714576 140705440945877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33632256 140730873404144 140730873406661 140730873406661 140730873409487 0
[pid=22526/tid=22584] ppid=22523 vsize=10824364 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/22526/task/22584/stat : 22584 (java) S 22523 22526 18141 0 -1 1077944384 5 13021 0 0 0 0 5 2 20 0 15 0 444892053 11084148736 20874 33554432000 4194304 4196468 140730873400608 140704900446832 140705440946818 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33632256 140730873404144 140730873406661 140730873406661 140730873409487 0
[pid=22526/tid=22585] ppid=22523 vsize=10824364 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/22526/task/22585/stat : 22585 (java) S 22523 22526 18141 0 -1 1077944384 13 13021 0 0 0 0 5 2 20 0 15 0 444892054 11084148736 20874 33554432000 4194304 4196468 140730873400608 140704336569632 140705440945877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33632256 140730873404144 140730873406661 140730873406661 140730873409487 0
[pid=22526/tid=22586] ppid=22523 vsize=10824364 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/22526/task/22586/stat : 22586 (java) S 22523 22526 18141 0 -1 1077944384 1 13021 0 0 0 0 5 2 20 0 15 0 444892054 11084148736 20874 33554432000 4194304 4196468 140730873400608 140704202352240 140705440945877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33632256 140730873404144 140730873406661 140730873406661 140730873409487 0
[pid=22526/tid=22587] ppid=22523 vsize=10824364 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/22526/task/22587/stat : 22587 (java) S 22523 22526 18141 0 -1 1077944384 3 13021 0 0 0 0 5 2 20 0 15 0 444892057 11084148736 20874 33554432000 4194304 4196468 140730873400608 140703962061392 140705440954267 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33632256 140730873404144 140730873406661 140730873406661 140730873409487 0
[pid=22526/tid=22588] ppid=22523 vsize=10824364 memory=0 CPUtime=0.19 cores=0,2,4,6
/proc/22526/task/22588/stat : 22588 (java) R 22523 22526 18141 0 -1 4202560 927 13021 0 0 12 0 5 2 20 0 15 0 444892057 11084148736 20874 33554432000 4194304 4196468 140730873400608 140704899393648 140705421682443 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33632256 140730873404144 140730873406661 140730873406661 140730873409487 0
[pid=22526/tid=22589] ppid=22523 vsize=10824364 memory=0 CPUtime=0.18 cores=0,2,4,6
/proc/22526/task/22589/stat : 22589 (java) R 22523 22526 18141 0 -1 4202560 563 13021 0 0 11 0 5 2 20 0 15 0 444892057 11084148736 20874 33554432000 4194304 4196468 140730873400608 140704898328160 140705420424271 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33632256 140730873404144 140730873406661 140730873406661 140730873409487 0
[pid=22526/tid=22590] ppid=22523 vsize=10824364 memory=0 CPUtime=0.24 cores=0,2,4,6
/proc/22526/task/22590/stat : 22590 (java) S 22523 22526 18141 0 -1 1077944384 885 13021 0 0 17 0 5 2 20 0 15 0 444892057 11084148736 20874 33554432000 4194304 4196468 140730873400608 140704897288560 140705440946818 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33632256 140730873404144 140730873406661 140730873406661 140730873409487 0
[pid=22526/tid=22591] ppid=22523 vsize=10824364 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/22526/task/22591/stat : 22591 (java) S 22523 22526 18141 0 -1 1077944384 3 13021 0 0 0 0 5 2 20 0 15 0 444892057 11084148736 20874 33554432000 4194304 4196468 140730873400608 140703928502752 140705440945877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33632256 140730873404144 140730873406661 140730873406661 140730873409487 0
[pid=22526/tid=22592] ppid=22523 vsize=10824364 memory=3580 CPUtime=0.07 cores=0,2,4,6
/proc/22526/task/22592/stat : 22592 (java) S 22523 22526 18141 0 -1 1077944384 1 13021 0 0 0 0 5 2 20 0 15 0 444892057 11084148736 20874 33554432000 4194304 4196468 140730873400608 140704896236464 140705440946818 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33632256 140730873404144 140730873406661 140730873406661 140730873409487 0
Current children cumulated CPU time: 1.09 s
Current children cumulated vsize: 10824364 KiB
Current children cumulated memory: 83496 KiB

[startup+1.50072 s]
/proc/loadavg: 1.60 1.44 1.37 6/227 22592
/proc/meminfo: memFree=29802860/32770624 swapFree=66926544/67108860
[pid=22526] ppid=22523 vsize=10829404 memory=251648 CPUtime=3.61 cores=0,2,4,6
/proc/22526/stat : 22526 (java) S 22523 22526 18141 0 -1 1077944320 34195 13021 0 0 343 11 5 2 20 0 15 0 444892042 11089309696 62912 33554432000 4194304 4196468 140730873400608 140730873383152 140705440935671 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 33632256 140730873404144 140730873406661 140730873406661 140730873409487 0
/proc/22526/statm: 2707351 62912 3587 1 0 2669414 0
[pid=22526/tid=22579] ppid=22523 vsize=10829404 memory=6791534058613427641 CPUtime=1.44 cores=0,2,4,6
/proc/22526/task/22579/stat : 22579 (java) R 22523 22526 18141 0 -1 4202560 12662 13021 0 0 131 6 5 2 20 0 15 0 444892051 11089309696 62912 33554432000 4194304 4196468 140730873400608 140705412766752 140705425016158 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33632256 140730873404144 140730873406661 140730873406661 140730873409487 0
[pid=22526/tid=22580] ppid=22523 vsize=10829404 memory=6944656592455359580 CPUtime=0.07 cores=0,2,4,6
/proc/22526/task/22580/stat : 22580 (java) S 22523 22526 18141 0 -1 1077944384 73 13021 0 0 0 0 5 2 20 0 15 0 444892052 11089309696 62912 33554432000 4194304 4196468 140730873400608 140705445177744 140705440945877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33632256 140730873404144 140730873406661 140730873406661 140730873409487 0
[pid=22526/tid=22581] ppid=22523 vsize=10829404 memory=6944656592455359580 CPUtime=0.07 cores=0,2,4,6
/proc/22526/task/22581/stat : 22581 (java) S 22523 22526 18141 0 -1 1077944384 241 13021 0 0 0 0 5 2 20 0 15 0 444892052 11089309696 62912 33554432000 4194304 4196468 140730873400608 140705013819664 140705440945877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33632256 140730873404144 140730873406661 140730873406661 140730873409487 0
[pid=22526/tid=22582] ppid=22523 vsize=10829404 memory=6944652177228980320 CPUtime=0.07 cores=0,2,4,6
/proc/22526/task/22582/stat : 22582 (java) S 22523 22526 18141 0 -1 1077944384 5 13021 0 0 0 0 5 2 20 0 15 0 444892052 11089309696 62912 33554432000 4194304 4196468 140730873400608 140705012767376 140705440945877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33632256 140730873404144 140730873406661 140730873406661 140730873409487 0
[pid=22526/tid=22583] ppid=22523 vsize=10829404 memory=7681421203011431829 CPUtime=0.07 cores=0,2,4,6
/proc/22526/task/22583/stat : 22583 (java) S 22523 22526 18141 0 -1 1077944384 153 13021 0 0 0 0 5 2 20 0 15 0 444892052 11089309696 62912 33554432000 4194304 4196468 140730873400608 140705011714576 140705440945877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33632256 140730873404144 140730873406661 140730873406661 140730873409487 0
[pid=22526/tid=22584] ppid=22523 vsize=10829404 memory=1284 CPUtime=0.07 cores=0,2,4,6
/proc/22526/task/22584/stat : 22584 (java) S 22523 22526 18141 0 -1 1077944384 90 13021 0 0 0 0 5 2 20 0 15 0 444892053 11089309696 62912 33554432000 4194304 4196468 140730873400608 140704900446832 140705440946818 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33632256 140730873404144 140730873406661 140730873406661 140730873409487 0
[pid=22526/tid=22585] ppid=22523 vsize=10829404 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/22526/task/22585/stat : 22585 (java) S 22523 22526 18141 0 -1 1077944384 13 13021 0 0 0 0 5 2 20 0 15 0 444892054 11089309696 62912 33554432000 4194304 4196468 140730873400608 140704336569632 140705440945877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33632256 140730873404144 140730873406661 140730873406661 140730873409487 0
[pid=22526/tid=22586] ppid=22523 vsize=10829404 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/22526/task/22586/stat : 22586 (java) S 22523 22526 18141 0 -1 1077944384 2 13021 0 0 0 0 5 2 20 0 15 0 444892054 11089309696 62912 33554432000 4194304 4196468 140730873400608 140704202352240 140705440945877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33632256 140730873404144 140730873406661 140730873406661 140730873409487 0
[pid=22526/tid=22587] ppid=22523 vsize=10829404 memory=140245983045152 CPUtime=0.07 cores=0,2,4,6
/proc/22526/task/22587/stat : 22587 (java) S 22523 22526 18141 0 -1 1077944384 3 13021 0 0 0 0 5 2 20 0 15 0 444892057 11089309696 62912 33554432000 4194304 4196468 140730873400608 140703962061392 140705440954267 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33632256 140730873404144 140730873406661 140730873406661 140730873409487 0
[pid=22526/tid=22588] ppid=22523 vsize=10829404 memory=0 CPUtime=0.91 cores=0,2,4,6
/proc/22526/task/22588/stat : 22588 (java) R 22523 22526 18141 0 -1 4202560 10673 13021 0 0 83 1 5 2 20 0 15 0 444892057 11089309696 62912 33554432000 4194304 4196468 140730873400608 140704899379808 140705422479871 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33632256 140730873404144 140730873406661 140730873406661 140730873409487 0
[pid=22526/tid=22589] ppid=22523 vsize=10829404 memory=6791534058613427641 CPUtime=0.9 cores=0,2,4,6
/proc/22526/task/22589/stat : 22589 (java) R 22523 22526 18141 0 -1 4202560 5845 13021 0 0 83 0 5 2 20 0 15 0 444892057 11089309696 62912 33554432000 4194304 4196468 140730873400608 140704898326872 140705426043624 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33632256 140730873404144 140730873406661 140730873406661 140730873409487 0
[pid=22526/tid=22590] ppid=22523 vsize=10829404 memory=0 CPUtime=0.49 cores=0,2,4,6
/proc/22526/task/22590/stat : 22590 (java) S 22523 22526 18141 0 -1 1077944384 2220 13021 0 0 41 1 5 2 20 0 15 0 444892057 11089309696 62912 33554432000 4194304 4196468 140730873400608 140704897288560 140705440946818 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33632256 140730873404144 140730873406661 140730873406661 140730873409487 0
[pid=22526/tid=22591] ppid=22523 vsize=10829404 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/22526/task/22591/stat : 22591 (java) S 22523 22526 18141 0 -1 1077944384 3 13021 0 0 0 0 5 2 20 0 15 0 444892057 11089309696 62912 33554432000 4194304 4196468 140730873400608 140703928502752 140705440945877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33632256 140730873404144 140730873406661 140730873406661 140730873409487 0
[pid=22526/tid=22592] ppid=22523 vsize=10829404 memory=65 CPUtime=0.07 cores=0,2,4,6
/proc/22526/task/22592/stat : 22592 (java) S 22523 22526 18141 0 -1 1077944384 1 13021 0 0 0 0 5 2 20 0 15 0 444892057 11089309696 62912 33554432000 4194304 4196468 140730873400608 140704896236464 140705440946818 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33632256 140730873404144 140730873406661 140730873406661 140730873409487 0
Current children cumulated CPU time: 3.61 s
Current children cumulated vsize: 10829404 KiB

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

/proc/22526/task/22579/stat : 22579 (java) R 22523 22526 18141 0 -1 4202560 97880 13021 0 0 236045 54 5 2 20 0 15 0 444892051 11107315712 124827 33554432000 4194304 4196468 140730873400608 140705412771472 140705043140285 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33632256 140730873404144 140730873406661 140730873406661 140730873409487 0
[pid=22526/tid=22580] ppid=22523 vsize=10846988 memory=499116 CPUtime=13.09 cores=0,2,4,6
/proc/22526/task/22580/stat : 22580 (java) S 22523 22526 18141 0 -1 1077944384 17871 13021 0 0 1253 49 5 2 20 0 15 0 444892052 11107315712 124827 33554432000 4194304 4196468 140730873400608 140705445177744 140705440945877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33632256 140730873404144 140730873406661 140730873406661 140730873409487 0
[pid=22526/tid=22581] ppid=22523 vsize=10846988 memory=500024 CPUtime=13.04 cores=0,2,4,6
/proc/22526/task/22581/stat : 22581 (java) S 22523 22526 18141 0 -1 1077944384 24996 13021 0 0 1247 50 5 2 20 0 15 0 444892052 11107315712 124827 33554432000 4194304 4196468 140730873400608 140705013819664 140705440945877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33632256 140730873404144 140730873406661 140730873406661 140730873409487 0
[pid=22526/tid=22582] ppid=22523 vsize=10846988 memory=499116 CPUtime=13.08 cores=0,2,4,6
/proc/22526/task/22582/stat : 22582 (java) S 22523 22526 18141 0 -1 1077944384 25211 13021 0 0 1251 50 5 2 20 0 15 0 444892052 11107315712 124827 33554432000 4194304 4196468 140730873400608 140705012767376 140705440945877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33632256 140730873404144 140730873406661 140730873406661 140730873409487 0
[pid=22526/tid=22583] ppid=22523 vsize=10846988 memory=501560 CPUtime=13.05 cores=0,2,4,6
/proc/22526/task/22583/stat : 22583 (java) S 22523 22526 18141 0 -1 1077944384 23422 13021 0 0 1247 51 5 2 20 0 15 0 444892052 11107315712 124827 33554432000 4194304 4196468 140730873400608 140705011714576 140705440945877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33632256 140730873404144 140730873406661 140730873406661 140730873409487 0
[pid=22526/tid=22584] ppid=22523 vsize=10846988 memory=499116 CPUtime=5.12 cores=0,2,4,6
/proc/22526/task/22584/stat : 22584 (java) S 22523 22526 18141 0 -1 1077944384 20483 13021 0 0 453 52 5 2 20 0 15 0 444892053 11107315712 124827 33554432000 4194304 4196468 140730873400608 140704900446832 140705440946818 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33632256 140730873404144 140730873406661 140730873406661 140730873409487 0
[pid=22526/tid=22585] ppid=22523 vsize=10846988 memory=499308 CPUtime=0.07 cores=0,2,4,6
/proc/22526/task/22585/stat : 22585 (java) S 22523 22526 18141 0 -1 1077944384 22 13021 0 0 0 0 5 2 20 0 15 0 444892054 11107315712 124827 33554432000 4194304 4196468 140730873400608 140704336569696 140705440945877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33632256 140730873404144 140730873406661 140730873406661 140730873409487 0
[pid=22526/tid=22586] ppid=22523 vsize=10846988 memory=499116 CPUtime=0.07 cores=0,2,4,6
/proc/22526/task/22586/stat : 22586 (java) S 22523 22526 18141 0 -1 1077944384 3 13021 0 0 0 0 5 2 20 0 15 0 444892054 11107315712 124827 33554432000 4194304 4196468 140730873400608 140704202352256 140705440945877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33632256 140730873404144 140730873406661 140730873406661 140730873409487 0
[pid=22526/tid=22587] ppid=22523 vsize=10846988 memory=499308 CPUtime=0.07 cores=0,2,4,6
/proc/22526/task/22587/stat : 22587 (java) S 22523 22526 18141 0 -1 1077944384 3 13021 0 0 0 0 5 2 20 0 15 0 444892057 11107315712 124827 33554432000 4194304 4196468 140730873400608 140703962061392 140705440954267 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33632256 140730873404144 140730873406661 140730873406661 140730873409487 0
[pid=22526/tid=22588] ppid=22523 vsize=10846988 memory=1297 CPUtime=8.77 cores=0,2,4,6
/proc/22526/task/22588/stat : 22588 (java) S 22523 22526 18141 0 -1 1077944384 26484 13021 0 0 865 5 5 2 20 0 15 0 444892057 11107315712 124827 33554432000 4194304 4196468 140730873400608 140704899393648 140705440946818 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33632256 140730873404144 140730873406661 140730873406661 140730873409487 0
[pid=22526/tid=22589] ppid=22523 vsize=10846988 memory=499116 CPUtime=8.81 cores=0,2,4,6
/proc/22526/task/22589/stat : 22589 (java) S 22523 22526 18141 0 -1 1077944384 26079 13021 0 0 870 4 5 2 20 0 15 0 444892057 11107315712 124827 33554432000 4194304 4196468 140730873400608 140704898340848 140705440946818 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33632256 140730873404144 140730873406661 140730873406661 140730873409487 0
[pid=22526/tid=22590] ppid=22523 vsize=10846988 memory=4008 CPUtime=2.53 cores=0,2,4,6
/proc/22526/task/22590/stat : 22590 (java) S 22523 22526 18141 0 -1 1077944384 16704 13021 0 0 241 5 5 2 20 0 15 0 444892057 11107315712 124827 33554432000 4194304 4196468 140730873400608 140704897288560 140705440946818 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 78 0 0 6293624 6294260 33632256 140730873404144 140730873406661 140730873406661 140730873409487 0
[pid=22526/tid=22591] ppid=22523 vsize=10846988 memory=499308 CPUtime=0.07 cores=0,2,4,6
/proc/22526/task/22591/stat : 22591 (java) S 22523 22526 18141 0 -1 1077944384 3 13021 0 0 0 0 5 2 20 0 15 0 444892057 11107315712 124827 33554432000 4194304 4196468 140730873400608 140703928502752 140705440945877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33632256 140730873404144 140730873406661 140730873406661 140730873409487 0
[pid=22526/tid=22592] ppid=22523 vsize=10846988 memory=10924 CPUtime=1.41 cores=0,2,4,6
/proc/22526/task/22592/stat : 22592 (java) S 22523 22526 18141 0 -1 1077944384 1819 13021 0 0 64 70 5 2 20 0 15 0 444892057 11107315712 124827 33554432000 4194304 4196468 140730873400608 140704896236464 140705440946818 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 79 0 0 6293624 6294260 33632256 140730873404144 140730873406661 140730873406661 140730873409487 0
Current children cumulated CPU time: 2439.42 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 499308 KiB

[startup+2442.3 s]
/proc/loadavg: 1.60 1.50 1.42 3/227 22984
/proc/meminfo: memFree=29200184/32770624 swapFree=66926592/67108860
[pid=22526] ppid=22523 vsize=10846988 memory=513644 CPUtime=2500.51 cores=0,2,4,6
/proc/22526/stat : 22526 (java) S 22523 22526 18141 0 -1 1077944320 289595 13021 0 0 249677 367 5 2 20 0 15 0 444892042 11107315712 128411 33554432000 4194304 4196468 140730873400608 140730873383152 140705440935671 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 33632256 140730873404144 140730873406661 140730873406661 140730873409487 0
/proc/22526/statm: 2711747 128411 3643 1 0 2673805 0
[pid=22526/tid=22579] ppid=22523 vsize=10846988 memory=500024 CPUtime=2420.45 cores=0,2,4,6
/proc/22526/task/22579/stat : 22579 (java) R 22523 22526 18141 0 -1 4202560 103120 13021 0 0 241984 54 5 2 20 0 15 0 444892051 11107315712 128411 33554432000 4194304 4196468 140730873400608 140705412772048 140705039256553 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33632256 140730873404144 140730873406661 140730873406661 140730873409487 0
[pid=22526/tid=22580] ppid=22523 vsize=10846988 memory=506320 CPUtime=13.47 cores=0,2,4,6
/proc/22526/task/22580/stat : 22580 (java) S 22523 22526 18141 0 -1 1077944384 18097 13021 0 0 1290 50 5 2 20 0 15 0 444892052 11107315712 128411 33554432000 4194304 4196468 140730873400608 140705445177744 140705440945877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33632256 140730873404144 140730873406661 140730873406661 140730873409487 0
[pid=22526/tid=22581] ppid=22523 vsize=10846988 memory=501560 CPUtime=13.43 cores=0,2,4,6
/proc/22526/task/22581/stat : 22581 (java) S 22523 22526 18141 0 -1 1077944384 25255 13021 0 0 1285 51 5 2 20 0 15 0 444892052 11107315712 128411 33554432000 4194304 4196468 140730873400608 140705013819664 140705440945877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33632256 140730873404144 140730873406661 140730873406661 140730873409487 0
[pid=22526/tid=22582] ppid=22523 vsize=10846988 memory=502912 CPUtime=13.46 cores=0,2,4,6
/proc/22526/task/22582/stat : 22582 (java) S 22523 22526 18141 0 -1 1077944384 25507 13021 0 0 1287 52 5 2 20 0 15 0 444892052 11107315712 128411 33554432000 4194304 4196468 140730873400608 140705012767376 140705440945877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33632256 140730873404144 140730873406661 140730873406661 140730873409487 0
[pid=22526/tid=22583] ppid=22523 vsize=10846988 memory=508996 CPUtime=13.42 cores=0,2,4,6
/proc/22526/task/22583/stat : 22583 (java) S 22523 22526 18141 0 -1 1077944384 23737 13021 0 0 1284 51 5 2 20 0 15 0 444892052 11107315712 128411 33554432000 4194304 4196468 140730873400608 140705011714576 140705440945877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33632256 140730873404144 140730873406661 140730873406661 140730873409487 0
[pid=22526/tid=22584] ppid=22523 vsize=10846988 memory=515696 CPUtime=5.27 cores=0,2,4,6
/proc/22526/task/22584/stat : 22584 (java) S 22523 22526 18141 0 -1 1077944384 20539 13021 0 0 467 53 5 2 20 0 15 0 444892053 11107315712 128411 33554432000 4194304 4196468 140730873400608 140704900446832 140705440946818 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33632256 140730873404144 140730873406661 140730873406661 140730873409487 0
[pid=22526/tid=22585] ppid=22523 vsize=10846988 memory=501888 CPUtime=0.07 cores=0,2,4,6
/proc/22526/task/22585/stat : 22585 (java) S 22523 22526 18141 0 -1 1077944384 22 13021 0 0 0 0 5 2 20 0 15 0 444892054 11107315712 128411 33554432000 4194304 4196468 140730873400608 140704336569696 140705440945877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33632256 140730873404144 140730873406661 140730873406661 140730873409487 0
[pid=22526/tid=22586] ppid=22523 vsize=10846988 memory=515184 CPUtime=0.07 cores=0,2,4,6
/proc/22526/task/22586/stat : 22586 (java) S 22523 22526 18141 0 -1 1077944384 3 13021 0 0 0 0 5 2 20 0 15 0 444892054 11107315712 128411 33554432000 4194304 4196468 140730873400608 140704202352256 140705440945877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33632256 140730873404144 140730873406661 140730873406661 140730873409487 0
[pid=22526/tid=22587] ppid=22523 vsize=10846988 memory=514160 CPUtime=0.07 cores=0,2,4,6
/proc/22526/task/22587/stat : 22587 (java) S 22523 22526 18141 0 -1 1077944384 3 13021 0 0 0 0 5 2 20 0 15 0 444892057 11107315712 128411 33554432000 4194304 4196468 140730873400608 140703962061392 140705440954267 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33632256 140730873404144 140730873406661 140730873406661 140730873409487 0
[pid=22526/tid=22588] ppid=22523 vsize=10846988 memory=513644 CPUtime=8.77 cores=0,2,4,6
/proc/22526/task/22588/stat : 22588 (java) S 22523 22526 18141 0 -1 1077944384 26486 13021 0 0 865 5 5 2 20 0 15 0 444892057 11107315712 128411 33554432000 4194304 4196468 140730873400608 140704899393648 140705440946818 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33632256 140730873404144 140730873406661 140730873406661 140730873409487 0
[pid=22526/tid=22589] ppid=22523 vsize=10846988 memory=514160 CPUtime=8.81 cores=0,2,4,6
/proc/22526/task/22589/stat : 22589 (java) S 22523 22526 18141 0 -1 1077944384 26081 13021 0 0 870 4 5 2 20 0 15 0 444892057 11107315712 128411 33554432000 4194304 4196468 140730873400608 140704898340848 140705440946818 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33632256 140730873404144 140730873406661 140730873406661 140730873409487 0
[pid=22526/tid=22590] ppid=22523 vsize=10846988 memory=3580 CPUtime=2.53 cores=0,2,4,6
/proc/22526/task/22590/stat : 22590 (java) S 22523 22526 18141 0 -1 1077944384 16706 13021 0 0 241 5 5 2 20 0 15 0 444892057 11107315712 128411 33554432000 4194304 4196468 140730873400608 140704897288560 140705440946818 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 78 0 0 6293624 6294260 33632256 140730873404144 140730873406661 140730873406661 140730873409487 0
[pid=22526/tid=22591] ppid=22523 vsize=10846988 memory=514672 CPUtime=0.07 cores=0,2,4,6
/proc/22526/task/22591/stat : 22591 (java) S 22523 22526 18141 0 -1 1077944384 3 13021 0 0 0 0 5 2 20 0 15 0 444892057 11107315712 128411 33554432000 4194304 4196468 140730873400608 140703928502752 140705440945877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33632256 140730873404144 140730873406661 140730873406661 140730873409487 0
[pid=22526/tid=22592] ppid=22523 vsize=10846988 memory=515184 CPUtime=1.44 cores=0,2,4,6
/proc/22526/task/22592/stat : 22592 (java) S 22523 22526 18141 0 -1 1077944384 1825 13021 0 0 66 71 5 2 20 0 15 0 444892057 11107315712 128411 33554432000 4194304 4196468 140730873400608 140704896236464 140705440946818 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 79 0 0 6293624 6294260 33632256 140730873404144 140730873406661 140730873406661 140730873409487 0
Current children cumulated CPU time: 2500.51 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 513644 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2461.5 s]
/proc/loadavg: 1.42 1.46 1.41 3/227 22986
/proc/meminfo: memFree=29209692/32770624 swapFree=66926592/67108860
[pid=22526] ppid=22523 vsize=10846988 memory=501992 CPUtime=2520.07 cores=0,2,4,6
/proc/22526/stat : 22526 (java) S 22523 22526 18141 0 -1 1077944320 289727 13021 0 0 251631 369 5 2 20 0 15 0 444892042 11107315712 125498 33554432000 4194304 4196468 140730873400608 140730873383152 140705440935671 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 33632256 140730873404144 140730873406661 140730873406661 140730873409487 0
/proc/22526/statm: 2711747 125498 3643 1 0 2673805 0
[pid=22526/tid=22579] ppid=22523 vsize=10846988 memory=503016 CPUtime=2439.46 cores=0,2,4,6
/proc/22526/task/22579/stat : 22579 (java) R 22523 22526 18141 0 -1 4202560 103176 13021 0 0 243884 55 5 2 20 0 15 0 444892051 11107315712 125498 33554432000 4194304 4196468 140730873400608 140705412771632 140705042779670 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33632256 140730873404144 140730873406661 140730873406661 140730873409487 0
[pid=22526/tid=22580] ppid=22523 vsize=10846988 memory=501992 CPUtime=13.6 cores=0,2,4,6
/proc/22526/task/22580/stat : 22580 (java) S 22523 22526 18141 0 -1 1077944384 18117 13021 0 0 1302 51 5 2 20 0 15 0 444892052 11107315712 125498 33554432000 4194304 4196468 140730873400608 140705445177744 140705440945877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33632256 140730873404144 140730873406661 140730873406661 140730873409487 0
[pid=22526/tid=22581] ppid=22523 vsize=10846988 memory=501992 CPUtime=13.55 cores=0,2,4,6
/proc/22526/task/22581/stat : 22581 (java) S 22523 22526 18141 0 -1 1077944384 25277 13021 0 0 1297 51 5 2 20 0 15 0 444892052 11107315712 125498 33554432000 4194304 4196468 140730873400608 140705013819664 140705440945877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33632256 140730873404144 140730873406661 140730873406661 140730873409487 0
[pid=22526/tid=22582] ppid=22523 vsize=10846988 memory=501992 CPUtime=13.58 cores=0,2,4,6
/proc/22526/task/22582/stat : 22582 (java) S 22523 22526 18141 0 -1 1077944384 25519 13021 0 0 1299 52 5 2 20 0 15 0 444892052 11107315712 125498 33554432000 4194304 4196468 140730873400608 140705012767376 140705440945877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33632256 140730873404144 140730873406661 140730873406661 140730873409487 0
[pid=22526/tid=22583] ppid=22523 vsize=10846988 memory=515696 CPUtime=13.55 cores=0,2,4,6
/proc/22526/task/22583/stat : 22583 (java) S 22523 22526 18141 0 -1 1077944384 23758 13021 0 0 1296 52 5 2 20 0 15 0 444892052 11107315712 125498 33554432000 4194304 4196468 140730873400608 140705011714576 140705440945877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33632256 140730873404144 140730873406661 140730873406661 140730873409487 0
[pid=22526/tid=22584] ppid=22523 vsize=10846988 memory=2257 CPUtime=5.31 cores=0,2,4,6
/proc/22526/task/22584/stat : 22584 (java) S 22523 22526 18141 0 -1 1077944384 20540 13021 0 0 471 53 5 2 20 0 15 0 444892053 11107315712 125498 33554432000 4194304 4196468 140730873400608 140704900446832 140705440946818 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33632256 140730873404144 140730873406661 140730873406661 140730873409487 0
[pid=22526/tid=22585] ppid=22523 vsize=10846988 memory=501992 CPUtime=0.07 cores=0,2,4,6
/proc/22526/task/22585/stat : 22585 (java) S 22523 22526 18141 0 -1 1077944384 22 13021 0 0 0 0 5 2 20 0 15 0 444892054 11107315712 125498 33554432000 4194304 4196468 140730873400608 140704336569696 140705440945877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33632256 140730873404144 140730873406661 140730873406661 140730873409487 0
[pid=22526/tid=22586] ppid=22523 vsize=10846988 memory=280491967386816 CPUtime=0.07 cores=0,2,4,6
/proc/22526/task/22586/stat : 22586 (java) S 22523 22526 18141 0 -1 1077944384 3 13021 0 0 0 0 5 2 20 0 15 0 444892054 11107315712 125498 33554432000 4194304 4196468 140730873400608 140704202352256 140705440945877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33632256 140730873404144 140730873406661 140730873406661 140730873409487 0
[pid=22526/tid=22587] ppid=22523 vsize=10846988 memory=115 CPUtime=0.07 cores=0,2,4,6
/proc/22526/task/22587/stat : 22587 (java) S 22523 22526 18141 0 -1 1077944384 3 13021 0 0 0 0 5 2 20 0 15 0 444892057 11107315712 125498 33554432000 4194304 4196468 140730873400608 140703962061392 140705440954267 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33632256 140730873404144 140730873406661 140730873406661 140730873409487 0
[pid=22526/tid=22588] ppid=22523 vsize=10846988 memory=592 CPUtime=8.77 cores=0,2,4,6
/proc/22526/task/22588/stat : 22588 (java) S 22523 22526 18141 0 -1 1077944384 26486 13021 0 0 865 5 5 2 20 0 15 0 444892057 11107315712 125498 33554432000 4194304 4196468 140730873400608 140704899393648 140705440946818 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33632256 140730873404144 140730873406661 140730873406661 140730873409487 0
[pid=22526/tid=22589] ppid=22523 vsize=10846988 memory=164 CPUtime=8.81 cores=0,2,4,6
/proc/22526/task/22589/stat : 22589 (java) S 22523 22526 18141 0 -1 1077944384 26081 13021 0 0 870 4 5 2 20 0 15 0 444892057 11107315712 125498 33554432000 4194304 4196468 140730873400608 140704898340848 140705440946818 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33632256 140730873404144 140730873406661 140730873406661 140730873409487 0
[pid=22526/tid=22590] ppid=22523 vsize=10846988 memory=603764329223384323 CPUtime=2.53 cores=0,2,4,6
/proc/22526/task/22590/stat : 22590 (java) S 22523 22526 18141 0 -1 1077944384 16706 13021 0 0 241 5 5 2 20 0 15 0 444892057 11107315712 125498 33554432000 4194304 4196468 140730873400608 140704897288560 140705440946818 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 78 0 0 6293624 6294260 33632256 140730873404144 140730873406661 140730873406661 140730873409487 0
[pid=22526/tid=22591] ppid=22523 vsize=10846988 memory=503016 CPUtime=0.07 cores=0,2,4,6
/proc/22526/task/22591/stat : 22591 (java) S 22523 22526 18141 0 -1 1077944384 3 13021 0 0 0 0 5 2 20 0 15 0 444892057 11107315712 125498 33554432000 4194304 4196468 140730873400608 140703928502752 140705440945877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33632256 140730873404144 140730873406661 140730873406661 140730873409487 0
[pid=22526/tid=22592] ppid=22523 vsize=10846988 memory=503016 CPUtime=1.45 cores=0,2,4,6
/proc/22526/task/22592/stat : 22592 (java) S 22523 22526 18141 0 -1 1077944384 1825 13021 0 0 67 71 5 2 20 0 15 0 444892057 11107315712 125498 33554432000 4194304 4196468 140730873400608 140704896236464 140705440946818 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 79 0 0 6293624 6294260 33632256 140730873404144 140730873406661 140730873406661 140730873409487 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 501992 KiB

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

[startup+2461.53 s]
# the end of solver process 22526 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2516.39 s, system=3.72659 s

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

[startup+2461.5 s]
/proc/loadavg: 1.42 1.46 1.41 3/227 22986
/proc/meminfo: memFree=29209692/32770624 swapFree=66926592/67108860
[pid=22526] ppid=22523 vsize=10846988 memory=501992 CPUtime=2520.07 cores=0,2,4,6
/proc/22526/stat : 22526 (java) S 22523 22526 18141 0 -1 1077944320 289727 13021 0 0 251631 369 5 2 20 0 15 0 444892042 11107315712 125498 33554432000 4194304 4196468 140730873400608 140730873383152 140705440935671 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 33632256 140730873404144 140730873406661 140730873406661 140730873409487 0
/proc/22526/statm: 2711747 125498 3643 1 0 2673805 0
[pid=22526/tid=22579] ppid=22523 vsize=10846988 memory=503016 CPUtime=2439.46 cores=0,2,4,6
/proc/22526/task/22579/stat : 22579 (java) R 22523 22526 18141 0 -1 4202560 103176 13021 0 0 243884 55 5 2 20 0 15 0 444892051 11107315712 125498 33554432000 4194304 4196468 140730873400608 140705412771632 140705042779670 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33632256 140730873404144 140730873406661 140730873406661 140730873409487 0
[pid=22526/tid=22580] ppid=22523 vsize=10846988 memory=501992 CPUtime=13.6 cores=0,2,4,6
/proc/22526/task/22580/stat : 22580 (java) S 22523 22526 18141 0 -1 1077944384 18117 13021 0 0 1302 51 5 2 20 0 15 0 444892052 11107315712 125498 33554432000 4194304 4196468 140730873400608 140705445177744 140705440945877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33632256 140730873404144 140730873406661 140730873406661 140730873409487 0
[pid=22526/tid=22581] ppid=22523 vsize=10846988 memory=501992 CPUtime=13.55 cores=0,2,4,6
/proc/22526/task/22581/stat : 22581 (java) S 22523 22526 18141 0 -1 1077944384 25277 13021 0 0 1297 51 5 2 20 0 15 0 444892052 11107315712 125498 33554432000 4194304 4196468 140730873400608 140705013819664 140705440945877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33632256 140730873404144 140730873406661 140730873406661 140730873409487 0
[pid=22526/tid=22582] ppid=22523 vsize=10846988 memory=501992 CPUtime=13.58 cores=0,2,4,6
/proc/22526/task/22582/stat : 22582 (java) S 22523 22526 18141 0 -1 1077944384 25519 13021 0 0 1299 52 5 2 20 0 15 0 444892052 11107315712 125498 33554432000 4194304 4196468 140730873400608 140705012767376 140705440945877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33632256 140730873404144 140730873406661 140730873406661 140730873409487 0
[pid=22526/tid=22583] ppid=22523 vsize=10846988 memory=515696 CPUtime=13.55 cores=0,2,4,6
/proc/22526/task/22583/stat : 22583 (java) S 22523 22526 18141 0 -1 1077944384 23758 13021 0 0 1296 52 5 2 20 0 15 0 444892052 11107315712 125498 33554432000 4194304 4196468 140730873400608 140705011714576 140705440945877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33632256 140730873404144 140730873406661 140730873406661 140730873409487 0
[pid=22526/tid=22584] ppid=22523 vsize=10846988 memory=2257 CPUtime=5.31 cores=0,2,4,6
/proc/22526/task/22584/stat : 22584 (java) S 22523 22526 18141 0 -1 1077944384 20540 13021 0 0 471 53 5 2 20 0 15 0 444892053 11107315712 125498 33554432000 4194304 4196468 140730873400608 140704900446832 140705440946818 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33632256 140730873404144 140730873406661 140730873406661 140730873409487 0
[pid=22526/tid=22585] ppid=22523 vsize=10846988 memory=501992 CPUtime=0.07 cores=0,2,4,6
/proc/22526/task/22585/stat : 22585 (java) S 22523 22526 18141 0 -1 1077944384 22 13021 0 0 0 0 5 2 20 0 15 0 444892054 11107315712 125498 33554432000 4194304 4196468 140730873400608 140704336569696 140705440945877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33632256 140730873404144 140730873406661 140730873406661 140730873409487 0
[pid=22526/tid=22586] ppid=22523 vsize=10846988 memory=280491967386816 CPUtime=0.07 cores=0,2,4,6
/proc/22526/task/22586/stat : 22586 (java) S 22523 22526 18141 0 -1 1077944384 3 13021 0 0 0 0 5 2 20 0 15 0 444892054 11107315712 125498 33554432000 4194304 4196468 140730873400608 140704202352256 140705440945877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33632256 140730873404144 140730873406661 140730873406661 140730873409487 0
[pid=22526/tid=22587] ppid=22523 vsize=10846988 memory=115 CPUtime=0.07 cores=0,2,4,6
/proc/22526/task/22587/stat : 22587 (java) S 22523 22526 18141 0 -1 1077944384 3 13021 0 0 0 0 5 2 20 0 15 0 444892057 11107315712 125498 33554432000 4194304 4196468 140730873400608 140703962061392 140705440954267 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33632256 140730873404144 140730873406661 140730873406661 140730873409487 0
[pid=22526/tid=22588] ppid=22523 vsize=10846988 memory=592 CPUtime=8.77 cores=0,2,4,6
/proc/22526/task/22588/stat : 22588 (java) S 22523 22526 18141 0 -1 1077944384 26486 13021 0 0 865 5 5 2 20 0 15 0 444892057 11107315712 125498 33554432000 4194304 4196468 140730873400608 140704899393648 140705440946818 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33632256 140730873404144 140730873406661 140730873406661 140730873409487 0
[pid=22526/tid=22589] ppid=22523 vsize=10846988 memory=164 CPUtime=8.81 cores=0,2,4,6
/proc/22526/task/22589/stat : 22589 (java) S 22523 22526 18141 0 -1 1077944384 26081 13021 0 0 870 4 5 2 20 0 15 0 444892057 11107315712 125498 33554432000 4194304 4196468 140730873400608 140704898340848 140705440946818 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33632256 140730873404144 140730873406661 140730873406661 140730873409487 0
[pid=22526/tid=22590] ppid=22523 vsize=10846988 memory=603764329223384323 CPUtime=2.53 cores=0,2,4,6
/proc/22526/task/22590/stat : 22590 (java) S 22523 22526 18141 0 -1 1077944384 16706 13021 0 0 241 5 5 2 20 0 15 0 444892057 11107315712 125498 33554432000 4194304 4196468 140730873400608 140704897288560 140705440946818 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 78 0 0 6293624 6294260 33632256 140730873404144 140730873406661 140730873406661 140730873409487 0
[pid=22526/tid=22591] ppid=22523 vsize=10846988 memory=503016 CPUtime=0.07 cores=0,2,4,6
/proc/22526/task/22591/stat : 22591 (java) S 22523 22526 18141 0 -1 1077944384 3 13021 0 0 0 0 5 2 20 0 15 0 444892057 11107315712 125498 33554432000 4194304 4196468 140730873400608 140703928502752 140705440945877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33632256 140730873404144 140730873406661 140730873406661 140730873409487 0
[pid=22526/tid=22592] ppid=22523 vsize=10846988 memory=503016 CPUtime=1.45 cores=0,2,4,6
/proc/22526/task/22592/stat : 22592 (java) S 22523 22526 18141 0 -1 1077944384 1825 13021 0 0 67 71 5 2 20 0 15 0 444892057 11107315712 125498 33554432000 4194304 4196468 140730873400608 140704896236464 140705440946818 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 79 0 0 6293624 6294260 33632256 140730873404144 140730873406661 140730873406661 140730873409487 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 501992 KiB

Child status: 143
Real time (s): 2461.53
CPU time (s): 2520.12
CPU user time (s): 2516.39
CPU system time (s): 3.72659
CPU usage (%): 102.38
Max. virtual memory (cumulated for all children) (KiB): 10846988
Max. memory (cumulated for all children) (KiB): 2881128

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.39
system time used= 3.72659
maximum resident set size= 2881136
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 303725
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2840
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 153293
involuntary context switches= 6563


# summary of solver processes directly reported to runsolver:
#   pid: 22526
#   total CPU time (s): 2520.12
#   total CPU user time (s): 2516.39
#   total CPU system time (s): 3.72659

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.8842 second user time and 22.5252 second system time

The end

Launcher Data 

Begin job on node107 at 2019-09-17 03:10:44
IDJOB=4401178
IDBENCH=133905
IDSOLVER=2857
FILE ID=node107/4401178-1568686362
RUNJOBID= node107-1568669613-18172
PBS_JOBID= 21703793
Free space on /tmp= 59004 MiB

SOLVER NAME= Concrete 3.12.2
BENCH NAME= XCSP17/Ramsey/Ramsey-m1-s1/Ramsey-45.xml
COMMAND LINE= bin/xcsp-3-concrete -J-Xss32M -randomseed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4401178-1568686362/watcher-4401178-1568686362 -o /tmp/evaluation-result-4401178-1568686362/solver-4401178-1568686362 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1568669613-18172 --watchdog 2580  bin/xcsp-3-concrete -J-Xss32M -randomseed=498798302 HOME/instance-4401178-1568686362.xml

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

MD5SUM BENCH= 1426235d943c6b8ba94de7087c35e664
RANDOM SEED=498798302

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        29904464 kB
MemAvailable:   31039076 kB
Buffers:          217360 kB
Cached:          1199260 kB
SwapCached:        76480 kB
Active:          1474320 kB
Inactive:         800988 kB
Active(anon):     793308 kB
Inactive(anon):   109028 kB
Active(file):     681012 kB
Inactive(file):   691960 kB
Unevictable:      111204 kB
Mlocked:          111204 kB
SwapTotal:      67108860 kB
SwapFree:       66926544 kB
Dirty:             36720 kB
Writeback:             0 kB
AnonPages:        905664 kB
Mapped:            55936 kB
Shmem:             34192 kB
Slab:             184536 kB
SReclaimable:     154948 kB
SUnreclaim:        29588 kB
KernelStack:        3984 kB
PageTables:         7356 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2051404 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    739328 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      101760 kB
DirectMap2M:    33443840 kB

Free space on /tmp at the end= 58968 MiB
End job on node107 at 2019-09-17 03:51:45