Trace number 4274331

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
OscaR - Conflict Ordering 2017-07-26SAT (TO)876 2520.0901 2442.8401

General information on the benchmark

NameRamsey/Ramsey-int-s1/
Ramsey-int-46.xml
MD5SUM6af071621bab6d4e45a1e2acc37440b7
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 benchmark2400.1101
Satisfiable
(Un)Satisfiability was proved
Number of variables2116
Number of constraints15180
Number of domains1
Minimum domain size1035
Maximum domain size1035
Distribution of domain sizes[{"size":1035,"count":1035}]
Minimum variable degree0
Maximum variable degree45
Distribution of variable degrees[{"degree":0,"count":1081},{"degree":45,"count":1035}]
Minimum constraint arity3
Maximum constraint arity3
Distribution of constraint arities[{"arity":3,"count":15180}]
Number of extensional constraints0
Number of intensional constraints15180
Distribution of constraint types[{"type":"intension","count":15180}]
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.24/0.39	c version: 2017-07-26
0.24/0.39	c seed: 2138638049
0.24/0.39	c timeout: 2520
0.24/0.39	c memlimit: 11000
0.24/0.39	c nbcore: 4
0.24/0.41	c Parsing instance...
6.34/2.33	c Parsing done, starting search...
24.23/18.37	o 1034
41.57/34.46	o 1033
58.56/50.95	o 1032
75.42/67.29	o 1031
92.27/83.61	o 1030
109.05/99.92	o 1029
125.87/116.22	o 1028
142.55/132.41	o 1027
159.22/148.62	o 1026
175.90/164.83	o 1025
192.72/181.24	o 1024
209.54/197.56	o 1023
226.19/213.78	o 1022
242.87/229.99	o 1021
259.64/246.28	o 1020
276.34/262.47	o 1019
292.96/278.63	o 1018
309.74/294.94	o 1017
327.08/311.40	o 1016
343.76/327.57	o 1015
360.49/343.82	o 1014
377.02/359.98	o 1013
393.66/376.17	o 1012
410.15/392.30	o 1011
426.79/408.45	o 1010
443.25/424.44	o 1009
459.88/440.61	o 1008
476.41/456.75	o 1007
492.83/472.78	o 1006
509.35/488.85	o 1005
526.39/505.10	o 1004
543.12/521.30	o 1003
559.54/537.34	o 1002
576.06/553.41	o 1001
592.42/569.34	o 1000
608.84/585.36	o 999
625.27/601.32	o 998
641.59/617.24	o 997
657.94/633.13	o 996
674.48/649.20	o 995
690.90/665.23	o 994
707.21/681.13	o 993
724.51/697.47	o 992
740.92/713.45	o 991
758.28/730.30	o 990
775.65/747.26	o 989
793.11/764.27	o 988
810.64/781.33	o 987
828.02/798.29	o 986
845.43/815.20	o 985
862.94/832.20	o 984
880.27/849.11	o 983
897.60/866.02	o 982
914.85/882.82	o 981
932.13/899.63	o 980
949.87/916.52	o 979
967.16/933.39	o 978
984.29/950.10	o 977
1001.52/966.80	o 976
1018.69/983.51	o 975
1035.71/1000.11	o 974
1052.63/1016.68	o 973
1069.72/1033.21	o 972
1086.73/1049.81	o 971
1103.47/1066.19	o 970
1120.43/1082.68	o 969
1137.36/1099.12	o 968
1154.17/1115.54	o 967
1171.31/1131.85	o 966
1187.92/1148.07	o 965
1204.60/1164.28	o 964
1221.35/1180.52	o 963
1237.85/1196.64	o 962
1254.42/1212.80	o 961
1270.94/1228.84	o 960
1287.24/1244.77	o 959
1303.65/1260.73	o 958
1320.00/1276.66	o 957
1336.33/1292.51	o 956
1352.64/1308.40	o 955
1368.73/1324.17	o 954
1385.06/1340.02	o 953
1401.59/1355.75	o 952
1417.60/1371.34	o 951
1433.61/1386.93	o 950
1449.44/1402.38	o 949
1465.40/1417.85	o 948
1481.20/1433.13	o 947
1496.86/1448.49	o 946
1512.57/1463.79	o 945
1528.30/1479.03	o 944
1543.89/1494.26	o 943
1559.62/1509.56	o 942
1575.29/1524.80	o 941
1590.93/1540.09	o 940
1606.53/1555.25	o 939
1622.76/1570.60	o 938
1638.23/1585.78	o 937
1653.62/1600.79	o 936
1669.14/1615.87	o 935
1684.50/1630.88	o 934
1699.95/1645.88	o 933
1715.33/1660.87	o 932
1730.71/1675.86	o 931
1746.13/1690.82	o 930
1761.45/1705.77	o 929
1776.76/1720.64	o 928
1791.93/1735.43	o 927
1807.06/1750.11	o 926
1822.10/1764.80	o 925
1837.14/1779.48	o 924
1852.72/1794.21	o 923
1867.62/1808.70	o 922
1882.40/1823.19	o 921
1897.29/1837.67	o 920
1912.07/1852.06	o 919
1926.77/1866.33	o 918
1941.47/1880.67	o 917
1956.24/1895.06	o 916
1970.81/1909.25	o 915
1985.43/1923.43	o 914
2000.08/1937.73	o 913
2014.55/1951.85	o 912
2029.27/1966.15	o 911
2043.62/1980.20	o 910
2058.15/1994.24	o 909
2073.07/2008.44	o 908
2087.27/2022.29	o 907
2101.58/2036.11	o 906
2115.62/2049.87	o 905
2129.78/2063.64	o 904
2143.96/2077.47	o 903
2158.25/2091.32	o 902
2172.10/2104.82	o 901
2186.06/2118.40	o 900
2199.92/2131.97	o 899
2213.80/2145.47	o 898
2227.78/2159.01	o 897
2241.63/2172.50	o 896
2255.39/2185.97	o 895
2269.14/2199.35	o 894
2282.90/2212.78	o 893
2297.24/2226.27	o 892
2310.96/2239.67	o 891
2324.77/2253.02	o 890
2338.41/2266.35	o 889
2352.04/2279.69	o 888
2365.75/2292.90	o 887
2379.27/2306.18	o 886
2392.95/2319.49	o 885
2406.61/2332.70	o 884
2420.09/2345.88	o 883
2433.62/2359.04	o 882
2446.98/2372.10	o 881
2460.40/2385.14	o 880
2473.76/2398.18	o 879
2487.02/2411.04	o 878
2500.21/2423.98	o 877
2513.59/2436.91	o 876
2520.04/2442.80	s SATISFIABLE
2520.04/2442.81	v <instantiation>
2520.04/2442.81	v 	<list>
2520.04/2442.81	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[0][45] 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[1][45] 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[2][45] 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[3][45] 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[4][45] 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[5][45] 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[6][45] 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[7][45] 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[8][45] 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[9][45] 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[10][45] 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[11][45] 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[12][45] 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[13][45] 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[14][45] 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[15][45] 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[16][45] 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[17][45] 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[18][45] 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[19][45] 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[20][45] 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[21][45] 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[22][45] 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[23][45] 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[24][45] 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[25][45] 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[26][45] 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[27][45] 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[28][45] 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[29][45] 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[30][45] 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[31][45] 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[32][45] 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[33][45] 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[34][45] 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[35][45] 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[36][45] x[37][38] x[37][39] x[37][40] x[37][41] x[37][42] x[37][43] x[37][44] x[37][45] x[38][39] x[38][40] x[38][41] x[38][42] x[38][43] x[38][44] x[38][45] x[39][40] x[39][41] x[39][42] x[39][43] x[39][44] x[39][45] x[40][41] x[40][42] x[40][43] x[40][44] x[40][45] x[41][42] x[41][43] x[41][44] x[41][45] x[42][43] x[42][44] x[42][45] x[43][44] x[43][45] x[44][45]
2520.04/2442.81	v 	</list>
2520.04/2442.81	v 	<values>
2520.04/2442.81	v 		874 875 876 876 876 876 876 876 876 876 876 876 876 876 876 876 876 876 876 876 876 876 876 876 876 876 876 876 876 876 876 876 876 876 876 876 876 876 876 876 876 876 876 876 876 875 876 876 876 876 876 876 876 876 876 876 876 876 876 876 876 876 876 876 876 876 876 876 876 876 876 876 876 876 876 876 876 876 876 876 876 876 876 876 876 876 876 876 876 876 876 876 876 876 876 876 876 876 876 876 876 876 876 876 876 876 876 876 876 876 876 876 876 876 876 876 876 876 876 876 876 876 876 876 876 876 876 876 876 876 876 876 862 862 861 861 861 861 861 861 861 861 861 861 861 861 861 861 861 861 861 861 861 861 861 861 861 861 861 862 861 863 864 865 866 867 868 869 870 871 872 873 874 875 835 836 837 838 839 840 841 842 843 844 845 846 847 848 849 850 851 852 853 854 855 856 857 858 859 860 861 862 863 864 865 866 867 868 869 870 871 872 873 874 875 836 837 838 839 840 841 842 843 844 845 846 847 848 849 850 851 852 853 854 855 856 857 858 859 860 861 862 863 864 865 866 867 868 869 870 871 872 873 874 875 837 838 839 840 841 842 843 844 845 846 847 848 849 850 851 852 853 854 855 856 857 858 859 860 861 862 863 864 865 866 867 868 869 870 871 872 873 874 875 838 839 840 841 842 843 844 845 846 847 848 849 850 851 852 853 854 855 856 857 858 859 860 861 862 863 864 865 866 867 868 869 870 871 872 873 874 875 839 840 841 842 843 844 845 846 847 848 849 850 851 852 853 854 855 856 857 858 859 860 861 862 863 864 865 866 867 868 869 870 871 872 873 874 875 840 841 842 843 844 845 846 847 848 849 850 851 852 853 854 855 856 857 858 859 860 861 862 863 864 865 866 867 868 869 870 871 872 873 874 875 841 842 843 844 845 846 847 848 849 850 851 852 853 854 855 856 857 858 859 860 861 862 863 864 865 866 867 868 869 870 871 872 873 874 875 842 843 844 845 846 847 848 849 850 851 852 853 854 855 856 857 858 859 860 861 862 863 864 865 866 867 868 869 870 871 872 873 874 875 843 844 845 846 847 848 849 850 851 852 853 854 855 856 857 858 859 860 861 862 863 864 865 866 867 868 869 870 871 872 873 874 875 844 845 846 847 848 849 850 851 852 853 854 855 856 857 858 859 860 861 862 863 864 865 866 867 868 869 870 871 872 873 874 875 845 846 847 848 849 850 851 852 853 854 855 856 857 858 859 860 861 862 863 864 865 866 867 868 869 870 871 872 873 874 875 846 847 848 849 850 851 852 853 854 855 856 857 858 859 860 861 862 863 864 865 866 867 868 869 870 871 872 873 874 875 847 848 849 850 851 852 853 854 855 856 857 858 859 860 861 862 863 864 865 866 867 868 869 870 871 872 873 874 875 848 849 850 851 852 853 854 855 856 857 858 859 860 861 862 863 864 865 866 867 868 869 870 871 872 873 874 875 849 850 851 852 853 854 855 856 857 858 859 860 861 862 863 864 865 866 867 868 869 870 871 872 873 874 875 850 851 852 853 854 855 856 857 858 859 860 861 862 863 864 865 866 867 868 869 870 871 872 873 874 875 851 852 853 854 855 856 857 858 859 860 861 862 863 864 865 866 867 868 869 870 871 872 873 874 875 852 853 854 855 856 857 858 859 860 861 862 863 864 865 866 867 868 869 870 871 872 873 874 875 853 854 855 856 857 858 859 860 861 862 863 864 865 866 867 868 869 870 871 872 873 874 875 854 855 856 857 858 859 860 861 862 863 864 865 866 867 868 869 870 871 872 873 874 875 855 856 857 858 859 860 861 862 863 864 865 866 867 868 869 870 871 872 873 874 875 856 857 858 859 860 861 862 863 864 865 866 867 868 869 870 871 872 873 874 875 857 858 859 860 861 862 863 864 865 866 867 868 869 870 871 872 873 874 875 858 859 860 861 862 863 864 865 866 867 868 869 870 871 872 873 874 875 859 860 861 862 863 864 865 866 867 868 869 870 871 872 873 874 875 860 861 862 863 864 865 866 867 868 869 870 871 872 873 874 875 861 862 863 864 865 866 867 868 869 870 871 872 873 874 875 862 863 864 865 866 867 868 869 870 871 872 873 874 875 863 864 865 866 867 868 869 870 871 872 873 874 875 864 865 866 867 868 869 870 871 872 873 874 875 865 866 867 868 869 870 871 872 873 874 875 866 867 868 869 870 871 872 873 874 875 867 868 869 870 871 872 873 874 875 868 869 870 871 872 873 874 875 869 870 871 872 873 874 875 870 871 872 873 874 875 871 872 873 874 875 872 873 874 875 873 874 875 874 875 875 
2520.04/2442.81	v 	</values>
2520.04/2442.81	v </instantiation>

Verifier Data 

OK	876

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4274331-1502865640/watcher-4274331-1502865640 -o /tmp/evaluation-result-4274331-1502865640/solver-4274331-1502865640 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1502652501-6259 --watchdog 2580 java -Xmx11000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed 2138638049 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4274331-1502865640.xml 

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

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=9437, runsolver pid=9434
Current StackSize limit: 8192 KiB


[startup+0.100089 s]*
/proc/loadavg: 1.16 1.43 1.47 2/200 9439
/proc/meminfo: memFree=28345316/32770624 swapFree=67108860/67108860
[pid=9437] ppid=9434 vsize=13358552 memory=14404 CPUtime=0 cores=1,3,5,7
/proc/9437/stat : 9437 (java) S 9434 9437 8289 0 -1 1077944320 3413 0 0 0 0 0 0 0 20 0 6 0 134379171 13679157248 3601 18446744073709551615 4194304 4196468 140731881079488 140731881062032 139818693988087 0 0 1 16784584 18446744073709551615 0 0 17 7 0 0 9 0 0 6293624 6294260 17412096 140731881083246 140731881083433 140731881083433 140731881086927 0
/proc/9437/statm: 3339638 3601 1911 1 0 3329135 0
[pid=9437/tid=9439] ppid=9434 vsize=13358552 memory=-8035107114825123821 CPUtime=0 cores=1,3,5,7
/proc/9437/task/9439/stat : 9439 (java) R 9434 9437 8289 0 -1 4202560 2120 0 0 0 0 0 0 0 20 0 6 0 134379181 13679157248 3601 18446744073709551615 4194304 4196468 140731881079488 139818698224208 139818694010013 0 4 1 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17412096 140731881083246 140731881083433 140731881083433 140731881086927 0
[pid=9437/tid=9440] ppid=9434 vsize=13358552 memory=6735269665564437106 CPUtime=0 cores=1,3,5,7
/proc/9437/task/9440/stat : 9440 (java) S 9434 9437 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 134379181 13679157248 3601 18446744073709551615 4194304 4196468 140731881079488 139818635934224 139818693998293 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17412096 140731881083246 140731881083433 140731881083433 140731881086927 0
[pid=9437/tid=9441] ppid=9434 vsize=13358552 memory=139640475227776 CPUtime=0 cores=1,3,5,7
/proc/9437/task/9441/stat : 9441 (java) S 9434 9437 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 134379181 13679157248 3601 18446744073709551615 4194304 4196468 140731881079488 139818634881680 139818693998293 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17412096 140731881083246 140731881083433 140731881083433 140731881086927 0
[pid=9437/tid=9442] ppid=9434 vsize=13358552 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9437/task/9442/stat : 9442 (java) S 9434 9437 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 134379181 13679157248 3601 18446744073709551615 4194304 4196468 140731881079488 139818292484368 139818693998293 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17412096 140731881083246 140731881083433 140731881083433 140731881086927 0
[pid=9437/tid=9443] ppid=9434 vsize=13358552 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9437/task/9443/stat : 9443 (java) S 9434 9437 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 134379181 13679157248 3601 18446744073709551615 4194304 4196468 140731881079488 139818291431824 139818693998293 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17412096 140731881083246 140731881083433 140731881083433 140731881086927 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 13358552 KiB
Current children cumulated memory: 14404 KiB

[startup+0.212472 s]*
/proc/loadavg: 1.16 1.43 1.47 6/213 9452
/proc/meminfo: memFree=28334596/32770624 swapFree=67108860/67108860
[pid=9437] ppid=9434 vsize=13975920 memory=29928 CPUtime=0.09 cores=1,3,5,7
/proc/9437/stat : 9437 (java) S 9434 9437 8289 0 -1 1077944320 6794 0 0 0 8 1 0 0 20 0 15 0 134379171 14311342080 7482 18446744073709551615 4194304 4196468 140731881079488 140731881062032 139818693988087 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 9 0 0 6293624 6294260 17412096 140731881083246 140731881083433 140731881083433 140731881086927 0
/proc/9437/statm: 3493980 7482 3350 1 0 3482759 0
[pid=9437/tid=9439] ppid=9434 vsize=13975920 memory=7078076838863583850 CPUtime=0.06 cores=1,3,5,7
/proc/9437/task/9439/stat : 9439 (java) R 9434 9437 8289 0 -1 4202560 4872 0 0 0 6 0 0 0 20 0 15 0 134379181 14311342080 7482 18446744073709551615 4194304 4196468 140731881079488 139818698191216 139818694010013 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 17412096 140731881083246 140731881083433 140731881083433 140731881086927 0
[pid=9437/tid=9440] ppid=9434 vsize=13975920 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/9437/task/9440/stat : 9440 (java) S 9434 9437 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 134379181 14311342080 7482 18446744073709551615 4194304 4196468 140731881079488 139818635934224 139818693998293 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17412096 140731881083246 140731881083433 140731881083433 140731881086927 0
[pid=9437/tid=9441] ppid=9434 vsize=13975920 memory=139640475227776 CPUtime=0 cores=1,3,5,7
/proc/9437/task/9441/stat : 9441 (java) S 9434 9437 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 134379181 14311342080 7482 18446744073709551615 4194304 4196468 140731881079488 139818634881680 139818693998293 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17412096 140731881083246 140731881083433 140731881083433 140731881086927 0
[pid=9437/tid=9442] ppid=9434 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9437/task/9442/stat : 9442 (java) S 9434 9437 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 134379181 14311342080 7482 18446744073709551615 4194304 4196468 140731881079488 139818292484368 139818693998293 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17412096 140731881083246 140731881083433 140731881083433 140731881086927 0
[pid=9437/tid=9443] ppid=9434 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9437/task/9443/stat : 9443 (java) S 9434 9437 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 134379181 14311342080 7482 18446744073709551615 4194304 4196468 140731881079488 139818291431824 139818693998293 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17412096 140731881083246 140731881083433 140731881083433 140731881086927 0
[pid=9437/tid=9444] ppid=9434 vsize=13975920 memory=139640475227776 CPUtime=0 cores=1,3,5,7
/proc/9437/task/9444/stat : 9444 (java) S 9434 9437 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 134379183 14311342080 7482 18446744073709551615 4194304 4196468 140731881079488 139818240555760 139818693999234 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17412096 140731881083246 140731881083433 140731881083433 140731881086927 0
[pid=9437/tid=9445] ppid=9434 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9437/task/9445/stat : 9445 (java) S 9434 9437 8289 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 134379183 14311342080 7482 18446744073709551615 4194304 4196468 140731881079488 139818239501984 139818693998293 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17412096 140731881083246 140731881083433 140731881083433 140731881086927 0
[pid=9437/tid=9446] ppid=9434 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9437/task/9446/stat : 9446 (java) S 9434 9437 8289 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 134379183 14311342080 7482 18446744073709551615 4194304 4196468 140731881079488 139818238448880 139818693998293 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17412096 140731881083246 140731881083433 140731881083433 140731881086927 0
[pid=9437/tid=9447] ppid=9434 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9437/task/9447/stat : 9447 (java) S 9434 9437 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 134379186 14311342080 7482 18446744073709551615 4194304 4196468 140731881079488 139818237397456 139818694006683 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17412096 140731881083246 140731881083433 140731881083433 140731881086927 0
[pid=9437/tid=9448] ppid=9434 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9437/task/9448/stat : 9448 (java) S 9434 9437 8289 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 15 0 134379186 14311342080 7482 18446744073709551615 4194304 4196468 140731881079488 139818236344560 139818693999234 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17412096 140731881083246 140731881083433 140731881083433 140731881086927 0
[pid=9437/tid=9449] ppid=9434 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9437/task/9449/stat : 9449 (java) S 9434 9437 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 134379186 14311342080 7482 18446744073709551615 4194304 4196468 140731881079488 139818235292016 139818693999234 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17412096 140731881083246 140731881083433 140731881083433 140731881086927 0
[pid=9437/tid=9450] ppid=9434 vsize=13975920 memory=139640475227776 CPUtime=0 cores=1,3,5,7
/proc/9437/task/9450/stat : 9450 (java) R 9434 9437 8289 0 -1 4202560 239 0 0 0 0 0 0 0 20 0 15 0 134379186 14311342080 7482 18446744073709551615 4194304 4196468 140731881079488 139818234238960 139818674314912 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17412096 140731881083246 140731881083433 140731881083433 140731881086927 0
[pid=9437/tid=9451] ppid=9434 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9437/task/9451/stat : 9451 (java) S 9434 9437 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 134379186 14311342080 7482 18446744073709551615 4194304 4196468 140731881079488 139818233186656 139818693998293 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17412096 140731881083246 140731881083433 140731881083433 140731881086927 0
[pid=9437/tid=9452] ppid=9434 vsize=13975920 memory=139640475227776 CPUtime=0 cores=1,3,5,7
/proc/9437/task/9452/stat : 9452 (java) S 9434 9437 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 134379190 14311342080 7482 18446744073709551615 4194304 4196468 140731881079488 139818164022320 139818693999234 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17412096 140731881083246 140731881083433 140731881083433 140731881086927 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 13975920 KiB
Current children cumulated memory: 29928 KiB

[startup+0.310514 s]*
/proc/loadavg: 1.16 1.43 1.47 4/213 9452
/proc/meminfo: memFree=28322040/32770624 swapFree=67108860/67108860
[pid=9437] ppid=9434 vsize=13975920 memory=39240 CPUtime=0.24 cores=1,3,5,7
/proc/9437/stat : 9437 (java) S 9434 9437 8289 0 -1 1077944320 10111 0 0 0 22 2 0 0 20 0 15 0 134379171 14311342080 9810 18446744073709551615 4194304 4196468 140731881079488 140731881062032 139818693988087 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 9 0 0 6293624 6294260 17412096 140731881083246 140731881083433 140731881083433 140731881086927 0
/proc/9437/statm: 3493980 9810 3483 1 0 3482759 0
[pid=9437/tid=9439] ppid=9434 vsize=13975920 memory=7680170660397595203 CPUtime=0.17 cores=1,3,5,7
/proc/9437/task/9439/stat : 9439 (java) R 9434 9437 8289 0 -1 1077944384 7843 0 0 0 15 2 0 0 20 0 15 0 134379181 14311342080 9810 18446744073709551615 4194304 4196468 140731881079488 139818698202304 139818686667309 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 17412096 140731881083246 140731881083433 140731881083433 140731881086927 0
[pid=9437/tid=9440] ppid=9434 vsize=13975920 memory=7078076838863583850 CPUtime=0 cores=1,3,5,7
/proc/9437/task/9440/stat : 9440 (java) S 9434 9437 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 134379181 14311342080 9810 18446744073709551615 4194304 4196468 140731881079488 139818635934224 139818693998293 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17412096 140731881083246 140731881083433 140731881083433 140731881086927 0
[pid=9437/tid=9441] ppid=9434 vsize=13975920 memory=139640475234769 CPUtime=0 cores=1,3,5,7
/proc/9437/task/9441/stat : 9441 (java) S 9434 9437 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 134379181 14311342080 9810 18446744073709551615 4194304 4196468 140731881079488 139818634881680 139818693998293 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17412096 140731881083246 140731881083433 140731881083433 140731881086927 0
[pid=9437/tid=9442] ppid=9434 vsize=13976944 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/9437/task/9442/stat : 9442 (java) S 9434 9437 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 134379181 14312390656 9810 18446744073709551615 4194304 4196468 140731881079488 139818292484368 139818693998293 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17412096 140731881083246 140731881083433 140731881083433 140731881086927 0
[pid=9437/tid=9443] ppid=9434 vsize=13976944 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9437/task/9443/stat : 9443 (java) S 9434 9437 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 134379181 14312390656 9810 18446744073709551615 4194304 4196468 140731881079488 139818291431824 139818693998293 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17412096 140731881083246 140731881083433 140731881083433 140731881086927 0
[pid=9437/tid=9444] ppid=9434 vsize=13976944 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9437/task/9444/stat : 9444 (java) S 9434 9437 8289 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 134379183 14312390656 9875 18446744073709551615 4194304 4196468 140731881079488 139818240555760 139818693999234 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17412096 140731881083246 140731881083433 140731881083433 140731881086927 0
[pid=9437/tid=9445] ppid=9434 vsize=13976944 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9437/task/9445/stat : 9445 (java) S 9434 9437 8289 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 134379183 14312390656 9875 18446744073709551615 4194304 4196468 140731881079488 139818239501984 139818693998293 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17412096 140731881083246 140731881083433 140731881083433 140731881086927 0
[pid=9437/tid=9446] ppid=9434 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9437/task/9446/stat : 9446 (java) S 9434 9437 8289 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 134379183 14311342080 9850 18446744073709551615 4194304 4196468 140731881079488 139818238448880 139818693998293 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17412096 140731881083246 140731881083433 140731881083433 140731881086927 0
[pid=9437/tid=9447] ppid=9434 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9437/task/9447/stat : 9447 (java) S 9434 9437 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 134379186 14311342080 9850 18446744073709551615 4194304 4196468 140731881079488 139818237397456 139818694006683 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17412096 140731881083246 140731881083433 140731881083433 140731881086927 0
[pid=9437/tid=9448] ppid=9434 vsize=13975920 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/9437/task/9448/stat : 9448 (java) S 9434 9437 8289 0 -1 1077944384 452 0 0 0 1 0 0 0 20 0 15 0 134379186 14311342080 9850 18446744073709551615 4194304 4196468 140731881079488 139818236344560 139818693999234 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17412096 140731881083246 140731881083433 140731881083433 140731881086927 0
[pid=9437/tid=9449] ppid=9434 vsize=13976944 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/9437/task/9449/stat : 9449 (java) S 9434 9437 8289 0 -1 1077944384 61 0 0 0 1 0 0 0 20 0 15 0 134379186 14312390656 9850 18446744073709551615 4194304 4196468 140731881079488 139818235292016 139818693999234 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17412096 140731881083246 140731881083433 140731881083433 140731881086927 0
[pid=9437/tid=9450] ppid=9434 vsize=13976944 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/9437/task/9450/stat : 9450 (java) S 9434 9437 8289 0 -1 1077944384 376 0 0 0 4 0 0 0 20 0 15 0 134379186 14312390656 9850 18446744073709551615 4194304 4196468 140731881079488 139818234238960 139818693999234 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17412096 140731881083246 140731881083433 140731881083433 140731881086927 0
[pid=9437/tid=9451] ppid=9434 vsize=13976944 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9437/task/9451/stat : 9451 (java) S 9434 9437 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 134379186 14312390656 9850 18446744073709551615 4194304 4196468 140731881079488 139818233186656 139818693998293 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17412096 140731881083246 140731881083433 140731881083433 140731881086927 0
[pid=9437/tid=9452] ppid=9434 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9437/task/9452/stat : 9452 (java) S 9434 9437 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 134379190 14311342080 9850 18446744073709551615 4194304 4196468 140731881079488 139818164022320 139818693999234 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17412096 140731881083246 140731881083433 140731881083433 140731881086927 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 13975920 KiB
Current children cumulated memory: 39240 KiB

[startup+0.700693 s]
/proc/loadavg: 1.16 1.43 1.47 4/213 9452
/proc/meminfo: memFree=28307176/32770624 swapFree=67108860/67108860
[pid=9437] ppid=9434 vsize=13977988 memory=91396 CPUtime=1.14 cores=1,3,5,7
/proc/9437/stat : 9437 (java) S 9434 9437 8289 0 -1 1077944320 16047 0 0 0 109 5 0 0 20 0 15 0 134379171 14313459712 22849 18446744073709551615 4194304 4196468 140731881079488 140731881062032 139818693988087 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 9 0 0 6293624 6294260 17412096 140731881083246 140731881083433 140731881083433 140731881086927 0
/proc/9437/statm: 3494497 22849 3733 1 0 3483271 0
[pid=9437/tid=9439] ppid=9434 vsize=13977988 memory=0 CPUtime=0.55 cores=1,3,5,7
/proc/9437/task/9439/stat : 9439 (java) R 9434 9437 8289 0 -1 4202560 10431 0 0 0 51 4 0 0 20 0 15 0 134379181 14313459712 22849 18446744073709551615 4194304 4196468 140731881079488 139818698223264 139818694010013 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 17412096 140731881083246 140731881083433 140731881083433 140731881086927 0
[pid=9437/tid=9440] ppid=9434 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9437/task/9440/stat : 9440 (java) S 9434 9437 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 134379181 14313459712 22849 18446744073709551615 4194304 4196468 140731881079488 139818635934224 139818693998293 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17412096 140731881083246 140731881083433 140731881083433 140731881086927 0
[pid=9437/tid=9441] ppid=9434 vsize=13977988 memory=4168 CPUtime=0 cores=1,3,5,7
/proc/9437/task/9441/stat : 9441 (java) S 9434 9437 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 134379181 14313459712 22849 18446744073709551615 4194304 4196468 140731881079488 139818634881680 139818693998293 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17412096 140731881083246 140731881083433 140731881083433 140731881086927 0
[pid=9437/tid=9442] ppid=9434 vsize=13977988 memory=2241 CPUtime=0 cores=1,3,5,7
/proc/9437/task/9442/stat : 9442 (java) S 9434 9437 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 134379181 14313459712 22849 18446744073709551615 4194304 4196468 140731881079488 139818292484368 139818693998293 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17412096 140731881083246 140731881083433 140731881083433 140731881086927 0
[pid=9437/tid=9443] ppid=9434 vsize=13977988 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/9437/task/9443/stat : 9443 (java) S 9434 9437 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 134379181 14313459712 22849 18446744073709551615 4194304 4196468 140731881079488 139818291431824 139818693998293 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17412096 140731881083246 140731881083433 140731881083433 140731881086927 0
[pid=9437/tid=9444] ppid=9434 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9437/task/9444/stat : 9444 (java) S 9434 9437 8289 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 134379183 14313459712 22849 18446744073709551615 4194304 4196468 140731881079488 139818240555760 139818693999234 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17412096 140731881083246 140731881083433 140731881083433 140731881086927 0
[pid=9437/tid=9445] ppid=9434 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9437/task/9445/stat : 9445 (java) S 9434 9437 8289 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 134379183 14313459712 22849 18446744073709551615 4194304 4196468 140731881079488 139818239501984 139818693998293 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17412096 140731881083246 140731881083433 140731881083433 140731881086927 0
[pid=9437/tid=9446] ppid=9434 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9437/task/9446/stat : 9446 (java) S 9434 9437 8289 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 134379183 14313459712 22849 18446744073709551615 4194304 4196468 140731881079488 139818238448880 139818693998293 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17412096 140731881083246 140731881083433 140731881083433 140731881086927 0
[pid=9437/tid=9447] ppid=9434 vsize=13977988 memory=19265 CPUtime=0 cores=1,3,5,7
/proc/9437/task/9447/stat : 9447 (java) S 9434 9437 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 134379186 14313459712 22849 18446744073709551615 4194304 4196468 140731881079488 139818237397456 139818694006683 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17412096 140731881083246 140731881083433 140731881083433 140731881086927 0
[pid=9437/tid=9448] ppid=9434 vsize=13977988 memory=0 CPUtime=0.19 cores=1,3,5,7
/proc/9437/task/9448/stat : 9448 (java) R 9434 9437 8289 0 -1 4202560 2038 0 0 0 19 0 0 0 20 0 15 0 134379186 14313459712 22849 18446744073709551615 4194304 4196468 140731881079488 139818236323184 139818677502124 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17412096 140731881083246 140731881083433 140731881083433 140731881086927 0
[pid=9437/tid=9449] ppid=9434 vsize=13977988 memory=7524860340579717849 CPUtime=0.19 cores=1,3,5,7
/proc/9437/task/9449/stat : 9449 (java) R 9434 9437 8289 0 -1 4202560 1011 0 0 0 19 0 0 0 20 0 15 0 134379186 14313459712 22849 18446744073709551615 4194304 4196468 140731881079488 139818235292144 139818694009434 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17412096 140731881083246 140731881083433 140731881083433 140731881086927 0
[pid=9437/tid=9450] ppid=9434 vsize=13977988 memory=6944656592387989600 CPUtime=0.19 cores=1,3,5,7
/proc/9437/task/9450/stat : 9450 (java) S 9434 9437 8289 0 -1 1077944384 1188 0 0 0 19 0 0 0 20 0 15 0 134379186 14313459712 22849 18446744073709551615 4194304 4196468 140731881079488 139818234238960 139818693999234 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17412096 140731881083246 140731881083433 140731881083433 140731881086927 0
[pid=9437/tid=9451] ppid=9434 vsize=13977988 memory=6944656592455359580 CPUtime=0 cores=1,3,5,7
/proc/9437/task/9451/stat : 9451 (java) S 9434 9437 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 134379186 14313459712 22849 18446744073709551615 4194304 4196468 140731881079488 139818233186656 139818693998293 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17412096 140731881083246 140731881083433 140731881083433 140731881086927 0
[pid=9437/tid=9452] ppid=9434 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9437/task/9452/stat : 9452 (java) S 9434 9437 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 134379190 14313459712 22849 18446744073709551615 4194304 4196468 140731881079488 139818164022320 139818693999234 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17412096 140731881083246 140731881083433 140731881083433 140731881086927 0
Current children cumulated CPU time: 1.14 s
Current children cumulated vsize: 13977988 KiB
Current children cumulated memory: 91396 KiB

[startup+1.50072 s]
/proc/loadavg: 1.16 1.43 1.47 5/213 9452
/proc/meminfo: memFree=28183012/32770624 swapFree=67108860/67108860
[pid=9437] ppid=9434 vsize=13977988 memory=220212 CPUtime=3.75 cores=1,3,5,7
/proc/9437/stat : 9437 (java) S 9434 9437 8289 0 -1 1077944320 19174 0 0 0 364 11 0 0 20 0 15 0 134379171 14313459712 55053 18446744073709551615 4194304 4196468 140731881079488 140731881062032 139818693988087 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 9 0 0 6293624 6294260 17412096 140731881083246 140731881083433 140731881083433 140731881086927 0
/proc/9437/statm: 3494497 55053 3780 1 0 3483271 0
[pid=9437/tid=9439] ppid=9434 vsize=13977988 memory=5860987853561228649 CPUtime=1.32 cores=1,3,5,7
/proc/9437/task/9439/stat : 9439 (java) R 9434 9437 8289 0 -1 4202560 10744 0 0 0 126 6 0 0 20 0 15 0 134379181 14313459712 55053 18446744073709551615 4194304 4196468 140731881079488 139818698223840 139818316150142 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 17412096 140731881083246 140731881083433 140731881083433 140731881086927 0
[pid=9437/tid=9440] ppid=9434 vsize=13977988 memory=5860987853561228649 CPUtime=0 cores=1,3,5,7
/proc/9437/task/9440/stat : 9440 (java) S 9434 9437 8289 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 134379181 14313459712 55053 18446744073709551615 4194304 4196468 140731881079488 139818635934224 139818693998293 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17412096 140731881083246 140731881083433 140731881083433 140731881086927 0
[pid=9437/tid=9441] ppid=9434 vsize=13977988 memory=279280651327488 CPUtime=0.01 cores=1,3,5,7
/proc/9437/task/9441/stat : 9441 (java) S 9434 9437 8289 0 -1 1077944384 24 0 0 0 1 0 0 0 20 0 15 0 134379181 14313459712 55053 18446744073709551615 4194304 4196468 140731881079488 139818634881680 139818693998293 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17412096 140731881083246 140731881083433 140731881083433 140731881086927 0
[pid=9437/tid=9442] ppid=9434 vsize=13977988 memory=7451883313793887076 CPUtime=0.01 cores=1,3,5,7
/proc/9437/task/9442/stat : 9442 (java) S 9434 9437 8289 0 -1 1077944384 32 0 0 0 1 0 0 0 20 0 15 0 134379181 14313459712 55053 18446744073709551615 4194304 4196468 140731881079488 139818292484368 139818693998293 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17412096 140731881083246 140731881083433 140731881083433 140731881086927 0
[pid=9437/tid=9443] ppid=9434 vsize=13977988 memory=8242832241811678803 CPUtime=0 cores=1,3,5,7
/proc/9437/task/9443/stat : 9443 (java) S 9434 9437 8289 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 134379181 14313459712 55053 18446744073709551615 4194304 4196468 140731881079488 139818291431824 139818693998293 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17412096 140731881083246 140731881083433 140731881083433 140731881086927 0
[pid=9437/tid=9444] ppid=9434 vsize=13977988 memory=4168 CPUtime=0 cores=1,3,5,7
/proc/9437/task/9444/stat : 9444 (java) S 9434 9437 8289 0 -1 1077944384 85 0 0 0 0 0 0 0 20 0 15 0 134379183 14313459712 55053 18446744073709551615 4194304 4196468 140731881079488 139818240555760 139818693999234 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17412096 140731881083246 140731881083433 140731881083433 140731881086927 0
[pid=9437/tid=9445] ppid=9434 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9437/task/9445/stat : 9445 (java) S 9434 9437 8289 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 134379183 14313459712 55053 18446744073709551615 4194304 4196468 140731881079488 139818239501984 139818693998293 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17412096 140731881083246 140731881083433 140731881083433 140731881086927 0
[pid=9437/tid=9446] ppid=9434 vsize=13977988 memory=139640325774400 CPUtime=0 cores=1,3,5,7
/proc/9437/task/9446/stat : 9446 (java) S 9434 9437 8289 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 134379183 14313459712 55053 18446744073709551615 4194304 4196468 140731881079488 139818238448880 139818693998293 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17412096 140731881083246 140731881083433 140731881083433 140731881086927 0
[pid=9437/tid=9447] ppid=9434 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9437/task/9447/stat : 9447 (java) S 9434 9437 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 134379186 14313459712 55053 18446744073709551615 4194304 4196468 140731881079488 139818237397456 139818694006683 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17412096 140731881083246 140731881083433 140731881083433 140731881086927 0
[pid=9437/tid=9448] ppid=9434 vsize=13977988 memory=7680170660397595203 CPUtime=0.92 cores=1,3,5,7
/proc/9437/task/9448/stat : 9448 (java) R 9434 9437 8289 0 -1 4202560 2766 0 0 0 92 0 0 0 20 0 15 0 134379186 14313459712 55053 18446744073709551615 4194304 4196468 140731881079488 139818236331616 139818678276944 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17412096 140731881083246 140731881083433 140731881083433 140731881086927 0
[pid=9437/tid=9449] ppid=9434 vsize=13977988 memory=0 CPUtime=0.88 cores=1,3,5,7
/proc/9437/task/9449/stat : 9449 (java) R 9434 9437 8289 0 -1 4202560 1895 0 0 0 88 0 0 0 20 0 15 0 134379186 14313459712 55053 18446744073709551615 4194304 4196468 140731881079488 139818235273824 139818678380511 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17412096 140731881083246 140731881083433 140731881083433 140731881086927 0
[pid=9437/tid=9450] ppid=9434 vsize=13977988 memory=0 CPUtime=0.51 cores=1,3,5,7
/proc/9437/task/9450/stat : 9450 (java) S 9434 9437 8289 0 -1 1077944384 2211 0 0 0 51 0 0 0 20 0 15 0 134379186 14313459712 55053 18446744073709551615 4194304 4196468 140731881079488 139818234238960 139818693999234 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17412096 140731881083246 140731881083433 140731881083433 140731881086927 0
[pid=9437/tid=9451] ppid=9434 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9437/task/9451/stat : 9451 (java) S 9434 9437 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 134379186 14313459712 55053 18446744073709551615 4194304 4196468 140731881079488 139818233186656 139818693998293 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17412096 140731881083246 140731881083433 140731881083433 140731881086927 0
[pid=9437/tid=9452] ppid=9434 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9437/task/9452/stat : 9452 (java) S 9434 9437 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 134379190 14313459712 55053 18446744073709551615 4194304 4196468 140731881079488 139818164022320 139818693999234 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17412096 140731881083246 140731881083433 140731881083433 140731881086927 0
Current children cumulated CPU time: 3.75 s
Current children cumulated vsize: 13977988 KiB

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

/proc/9437/task/9439/stat : 9439 (java) R 9434 9437 8289 0 -1 4202560 259798 0 0 0 229750 117 0 0 20 0 15 0 134379181 14317654016 1031701 18446744073709551615 4194304 4196468 140731881079488 139818698226752 139818317205887 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 17412096 140731881083246 140731881083433 140731881083433 140731881086927 0
[pid=9437/tid=9440] ppid=9434 vsize=13982084 memory=4132960 CPUtime=22.07 cores=1,3,5,7
/proc/9437/task/9440/stat : 9440 (java) S 9434 9437 8289 0 -1 1077944384 32494 0 0 0 2140 67 0 0 20 0 15 0 134379181 14317654016 1031701 18446744073709551615 4194304 4196468 140731881079488 139818635934224 139818693998293 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17412096 140731881083246 140731881083433 140731881083433 140731881086927 0
[pid=9437/tid=9441] ppid=9434 vsize=13982084 memory=4126804 CPUtime=22.12 cores=1,3,5,7
/proc/9437/task/9441/stat : 9441 (java) S 9434 9437 8289 0 -1 1077944384 30879 0 0 0 2144 68 0 0 20 0 15 0 134379181 14317654016 1031701 18446744073709551615 4194304 4196468 140731881079488 139818634881680 139818693998293 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17412096 140731881083246 140731881083433 140731881083433 140731881086927 0
[pid=9437/tid=9442] ppid=9434 vsize=13982084 memory=4138600 CPUtime=22.05 cores=1,3,5,7
/proc/9437/task/9442/stat : 9442 (java) S 9434 9437 8289 0 -1 1077944384 31714 0 0 0 2137 68 0 0 20 0 15 0 134379181 14317654016 1031701 18446744073709551615 4194304 4196468 140731881079488 139818292484368 139818693998293 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17412096 140731881083246 140731881083433 140731881083433 140731881086927 0
[pid=9437/tid=9443] ppid=9434 vsize=13982084 memory=4132960 CPUtime=22.13 cores=1,3,5,7
/proc/9437/task/9443/stat : 9443 (java) S 9434 9437 8289 0 -1 1077944384 31889 0 0 0 2146 67 0 0 20 0 15 0 134379181 14317654016 1031701 18446744073709551615 4194304 4196468 140731881079488 139818291431824 139818693998293 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17412096 140731881083246 140731881083433 140731881083433 140731881086927 0
[pid=9437/tid=9444] ppid=9434 vsize=13982084 memory=1296 CPUtime=1.08 cores=1,3,5,7
/proc/9437/task/9444/stat : 9444 (java) S 9434 9437 8289 0 -1 1077944384 54927 0 0 0 88 20 0 0 20 0 15 0 134379183 14317654016 1031701 18446744073709551615 4194304 4196468 140731881079488 139818240555760 139818693999234 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17412096 140731881083246 140731881083433 140731881083433 140731881086927 0
[pid=9437/tid=9445] ppid=9434 vsize=13982084 memory=1296 CPUtime=0 cores=1,3,5,7
/proc/9437/task/9445/stat : 9445 (java) S 9434 9437 8289 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 134379183 14317654016 1031701 18446744073709551615 4194304 4196468 140731881079488 139818239502048 139818693998293 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17412096 140731881083246 140731881083433 140731881083433 140731881086927 0
[pid=9437/tid=9446] ppid=9434 vsize=13982084 memory=2440 CPUtime=0 cores=1,3,5,7
/proc/9437/task/9446/stat : 9446 (java) S 9434 9437 8289 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 134379183 14317654016 1031701 18446744073709551615 4194304 4196468 140731881079488 139818238448896 139818693998293 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17412096 140731881083246 140731881083433 140731881083433 140731881086927 0
[pid=9437/tid=9447] ppid=9434 vsize=13982084 memory=4168 CPUtime=0 cores=1,3,5,7
/proc/9437/task/9447/stat : 9447 (java) S 9434 9437 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 134379186 14317654016 1031701 18446744073709551615 4194304 4196468 140731881079488 139818237397456 139818694006683 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17412096 140731881083246 140731881083433 140731881083433 140731881086927 0
[pid=9437/tid=9448] ppid=9434 vsize=13982084 memory=65652 CPUtime=2.7 cores=1,3,5,7
/proc/9437/task/9448/stat : 9448 (java) S 9434 9437 8289 0 -1 1077944384 18234 0 0 0 267 3 0 0 20 0 15 0 134379186 14317654016 1031701 18446744073709551615 4194304 4196468 140731881079488 139818236344560 139818693999234 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 30 0 0 6293624 6294260 17412096 140731881083246 140731881083433 140731881083433 140731881086927 0
[pid=9437/tid=9449] ppid=9434 vsize=13982084 memory=4168 CPUtime=2.78 cores=1,3,5,7
/proc/9437/task/9449/stat : 9449 (java) S 9434 9437 8289 0 -1 1077944384 17233 0 0 0 276 2 0 0 20 0 15 0 134379186 14317654016 1031701 18446744073709551615 4194304 4196468 140731881079488 139818235292016 139818693999234 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17412096 140731881083246 140731881083433 140731881083433 140731881086927 0
[pid=9437/tid=9450] ppid=9434 vsize=13982084 memory=65652 CPUtime=0.89 cores=1,3,5,7
/proc/9437/task/9450/stat : 9450 (java) S 9434 9437 8289 0 -1 1077944384 20361 0 0 0 87 2 0 0 20 0 15 0 134379186 14317654016 1031701 18446744073709551615 4194304 4196468 140731881079488 139818234238960 139818693999234 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17412096 140731881083246 140731881083433 140731881083433 140731881086927 0
[pid=9437/tid=9451] ppid=9434 vsize=13982084 memory=4140108 CPUtime=0 cores=1,3,5,7
/proc/9437/task/9451/stat : 9451 (java) S 9434 9437 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 134379186 14317654016 1031701 18446744073709551615 4194304 4196468 140731881079488 139818233186656 139818693998293 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17412096 140731881083246 140731881083433 140731881083433 140731881086927 0
[pid=9437/tid=9452] ppid=9434 vsize=13982084 memory=4140108 CPUtime=1.33 cores=1,3,5,7
/proc/9437/task/9452/stat : 9452 (java) S 9434 9437 8289 0 -1 1077944384 1139 0 0 0 54 79 0 0 20 0 15 0 134379190 14317654016 1031701 18446744073709551615 4194304 4196468 140731881079488 139818164022320 139818693999234 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 48 0 0 6293624 6294260 17412096 140731881083246 140731881083433 140731881083433 140731881086927 0
Current children cumulated CPU time: 2395.91 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 4126804 KiB

[startup+2382.3 s]
/proc/loadavg: 1.72 1.66 1.60 3/214 9852
/proc/meminfo: memFree=26738340/32770624 swapFree=67108860/67108860
[pid=9437] ppid=9434 vsize=13982084 memory=4086276 CPUtime=2457.53 cores=1,3,5,7
/proc/9437/stat : 9437 (java) S 9434 9437 8289 0 -1 1077944320 508590 0 0 0 245269 484 0 0 20 0 15 0 134379171 14317654016 1021569 18446744073709551615 4194304 4196468 140731881079488 140731881062032 139818693988087 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 9 0 0 6293624 6294260 17412096 140731881083246 140731881083433 140731881083433 140731881086927 0
/proc/9437/statm: 3495521 1021569 3821 1 0 3484295 0
[pid=9437/tid=9439] ppid=9434 vsize=13982084 memory=0 CPUtime=2358.12 cores=1,3,5,7
/proc/9437/task/9439/stat : 9439 (java) R 9434 9437 8289 0 -1 4202560 264651 0 0 0 235693 119 0 0 20 0 15 0 134379181 14317654016 1021569 18446744073709551615 4194304 4196468 140731881079488 139818698226640 139818317205755 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 17412096 140731881083246 140731881083433 140731881083433 140731881086927 0
[pid=9437/tid=9440] ppid=9434 vsize=13982084 memory=279280651910576 CPUtime=22.6 cores=1,3,5,7
/proc/9437/task/9440/stat : 9440 (java) S 9434 9437 8289 0 -1 1077944384 33218 0 0 0 2191 69 0 0 20 0 15 0 134379181 14317654016 1021569 18446744073709551615 4194304 4196468 140731881079488 139818635934224 139818693998293 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17412096 140731881083246 140731881083433 140731881083433 140731881086927 0
[pid=9437/tid=9441] ppid=9434 vsize=13982084 memory=4105256 CPUtime=22.65 cores=1,3,5,7
/proc/9437/task/9441/stat : 9441 (java) S 9434 9437 8289 0 -1 1077944384 31484 0 0 0 2196 69 0 0 20 0 15 0 134379181 14317654016 1021569 18446744073709551615 4194304 4196468 140731881079488 139818634881680 139818693998293 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17412096 140731881083246 140731881083433 140731881083433 140731881086927 0
[pid=9437/tid=9442] ppid=9434 vsize=13982084 memory=4093972 CPUtime=22.58 cores=1,3,5,7
/proc/9437/task/9442/stat : 9442 (java) S 9434 9437 8289 0 -1 1077944384 32566 0 0 0 2188 70 0 0 20 0 15 0 134379181 14317654016 1021569 18446744073709551615 4194304 4196468 140731881079488 139818292484368 139818693998293 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17412096 140731881083246 140731881083433 140731881083433 140731881086927 0
[pid=9437/tid=9443] ppid=9434 vsize=13982084 memory=4093972 CPUtime=22.66 cores=1,3,5,7
/proc/9437/task/9443/stat : 9443 (java) S 9434 9437 8289 0 -1 1077944384 33021 0 0 0 2197 69 0 0 20 0 15 0 134379181 14317654016 1021569 18446744073709551615 4194304 4196468 140731881079488 139818291431824 139818693998293 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17412096 140731881083246 140731881083433 140731881083433 140731881086927 0
[pid=9437/tid=9444] ppid=9434 vsize=13982084 memory=4086276 CPUtime=1.1 cores=1,3,5,7
/proc/9437/task/9444/stat : 9444 (java) S 9434 9437 8289 0 -1 1077944384 55232 0 0 0 89 21 0 0 20 0 15 0 134379183 14317654016 1021569 18446744073709551615 4194304 4196468 140731881079488 139818240555760 139818693999234 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17412096 140731881083246 140731881083433 140731881083433 140731881086927 0
[pid=9437/tid=9445] ppid=9434 vsize=13982084 memory=4086276 CPUtime=0 cores=1,3,5,7
/proc/9437/task/9445/stat : 9445 (java) S 9434 9437 8289 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 134379183 14317654016 1021569 18446744073709551615 4194304 4196468 140731881079488 139818239502048 139818693998293 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17412096 140731881083246 140731881083433 140731881083433 140731881086927 0
[pid=9437/tid=9446] ppid=9434 vsize=13982084 memory=4093972 CPUtime=0 cores=1,3,5,7
/proc/9437/task/9446/stat : 9446 (java) S 9434 9437 8289 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 134379183 14317654016 1021569 18446744073709551615 4194304 4196468 140731881079488 139818238448896 139818693998293 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17412096 140731881083246 140731881083433 140731881083433 140731881086927 0
[pid=9437/tid=9447] ppid=9434 vsize=13982084 memory=4093972 CPUtime=0 cores=1,3,5,7
/proc/9437/task/9447/stat : 9447 (java) S 9434 9437 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 134379186 14317654016 1021569 18446744073709551615 4194304 4196468 140731881079488 139818237397456 139818694006683 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17412096 140731881083246 140731881083433 140731881083433 140731881086927 0
[pid=9437/tid=9448] ppid=9434 vsize=13982084 memory=4093972 CPUtime=2.7 cores=1,3,5,7
/proc/9437/task/9448/stat : 9448 (java) S 9434 9437 8289 0 -1 1077944384 18242 0 0 0 267 3 0 0 20 0 15 0 134379186 14317654016 1021569 18446744073709551615 4194304 4196468 140731881079488 139818236344560 139818693999234 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 30 0 0 6293624 6294260 17412096 140731881083246 140731881083433 140731881083433 140731881086927 0
[pid=9437/tid=9449] ppid=9434 vsize=13982084 memory=4093972 CPUtime=2.78 cores=1,3,5,7
/proc/9437/task/9449/stat : 9449 (java) S 9434 9437 8289 0 -1 1077944384 17236 0 0 0 276 2 0 0 20 0 15 0 134379186 14317654016 1021569 18446744073709551615 4194304 4196468 140731881079488 139818235292016 139818693999234 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17412096 140731881083246 140731881083433 140731881083433 140731881086927 0
[pid=9437/tid=9450] ppid=9434 vsize=13982084 memory=4086276 CPUtime=0.89 cores=1,3,5,7
/proc/9437/task/9450/stat : 9450 (java) S 9434 9437 8289 0 -1 1077944384 20364 0 0 0 87 2 0 0 20 0 15 0 134379186 14317654016 1021569 18446744073709551615 4194304 4196468 140731881079488 139818234238960 139818693999234 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17412096 140731881083246 140731881083433 140731881083433 140731881086927 0
[pid=9437/tid=9451] ppid=9434 vsize=13982084 memory=1296 CPUtime=0 cores=1,3,5,7
/proc/9437/task/9451/stat : 9451 (java) S 9434 9437 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 134379186 14317654016 1021569 18446744073709551615 4194304 4196468 140731881079488 139818233186656 139818693998293 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17412096 140731881083246 140731881083433 140731881083433 140731881086927 0
[pid=9437/tid=9452] ppid=9434 vsize=13982084 memory=4086276 CPUtime=1.36 cores=1,3,5,7
/proc/9437/task/9452/stat : 9452 (java) S 9434 9437 8289 0 -1 1077944384 1161 0 0 0 55 81 0 0 20 0 15 0 134379190 14317654016 1021569 18446744073709551615 4194304 4196468 140731881079488 139818164022320 139818693999234 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 48 0 0 6293624 6294260 17412096 140731881083246 140731881083433 140731881083433 140731881086927 0
Current children cumulated CPU time: 2457.53 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 4086276 KiB

[startup+2442.3 s]
/proc/loadavg: 1.71 1.67 1.60 3/214 9854
/proc/meminfo: memFree=26682996/32770624 swapFree=67108860/67108860
[pid=9437] ppid=9434 vsize=13982084 memory=4137264 CPUtime=2519.54 cores=1,3,5,7
/proc/9437/stat : 9437 (java) S 9434 9437 8289 0 -1 1077944320 521072 0 0 0 251461 493 0 0 20 0 15 0 134379171 14317654016 1034316 18446744073709551615 4194304 4196468 140731881079488 140731881062032 139818693988087 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 9 0 0 6293624 6294260 17412096 140731881083246 140731881083433 140731881083433 140731881086927 0
/proc/9437/statm: 3495521 1034316 3821 1 0 3484295 0
[pid=9437/tid=9439] ppid=9434 vsize=13982084 memory=4137264 CPUtime=2417.42 cores=1,3,5,7
/proc/9437/task/9439/stat : 9439 (java) R 9434 9437 8289 0 -1 4202560 269009 0 0 0 241621 121 0 0 20 0 15 0 134379181 14317654016 1034316 18446744073709551615 4194304 4196468 140731881079488 139818698226640 139818317205390 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 17412096 140731881083246 140731881083433 140731881083433 140731881086927 0
[pid=9437/tid=9440] ppid=9434 vsize=13982084 memory=4137264 CPUtime=23.26 cores=1,3,5,7
/proc/9437/task/9440/stat : 9440 (java) S 9434 9437 8289 0 -1 1077944384 34484 0 0 0 2256 70 0 0 20 0 15 0 134379181 14317654016 1034316 18446744073709551615 4194304 4196468 140731881079488 139818635934224 139818693998293 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17412096 140731881083246 140731881083433 140731881083433 140731881086927 0
[pid=9437/tid=9441] ppid=9434 vsize=13982084 memory=4015960 CPUtime=23.31 cores=1,3,5,7
/proc/9437/task/9441/stat : 9441 (java) S 9434 9437 8289 0 -1 1077944384 32007 0 0 0 2261 70 0 0 20 0 15 0 134379181 14317654016 1034316 18446744073709551615 4194304 4196468 140731881079488 139818634881680 139818693998293 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17412096 140731881083246 140731881083433 140731881083433 140731881086927 0
[pid=9437/tid=9442] ppid=9434 vsize=13982084 memory=7680170660397595203 CPUtime=23.24 cores=1,3,5,7
/proc/9437/task/9442/stat : 9442 (java) S 9434 9437 8289 0 -1 1077944384 33285 0 0 0 2253 71 0 0 20 0 15 0 134379181 14317654016 1034316 18446744073709551615 4194304 4196468 140731881079488 139818292484368 139818693998293 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17412096 140731881083246 140731881083433 140731881083433 140731881086927 0
[pid=9437/tid=9443] ppid=9434 vsize=13982084 memory=3992136 CPUtime=23.32 cores=1,3,5,7
/proc/9437/task/9443/stat : 9443 (java) S 9434 9437 8289 0 -1 1077944384 33814 0 0 0 2262 70 0 0 20 0 15 0 134379181 14317654016 1034316 18446744073709551615 4194304 4196468 140731881079488 139818291431824 139818693998293 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17412096 140731881083246 140731881083433 140731881083433 140731881086927 0
[pid=9437/tid=9444] ppid=9434 vsize=13982084 memory=4006248 CPUtime=1.13 cores=1,3,5,7
/proc/9437/task/9444/stat : 9444 (java) S 9434 9437 8289 0 -1 1077944384 60023 0 0 0 91 22 0 0 20 0 15 0 134379183 14317654016 1034316 18446744073709551615 4194304 4196468 140731881079488 139818240555760 139818693999234 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17412096 140731881083246 140731881083433 140731881083433 140731881086927 0
[pid=9437/tid=9445] ppid=9434 vsize=13982084 memory=3987780 CPUtime=0 cores=1,3,5,7
/proc/9437/task/9445/stat : 9445 (java) S 9434 9437 8289 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 134379183 14317654016 1034316 18446744073709551615 4194304 4196468 140731881079488 139818239502048 139818693998293 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17412096 140731881083246 140731881083433 140731881083433 140731881086927 0
[pid=9437/tid=9446] ppid=9434 vsize=13982084 memory=3992136 CPUtime=0 cores=1,3,5,7
/proc/9437/task/9446/stat : 9446 (java) S 9434 9437 8289 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 134379183 14317654016 1034316 18446744073709551615 4194304 4196468 140731881079488 139818238448896 139818693998293 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17412096 140731881083246 140731881083433 140731881083433 140731881086927 0
[pid=9437/tid=9447] ppid=9434 vsize=13982084 memory=3992136 CPUtime=0 cores=1,3,5,7
/proc/9437/task/9447/stat : 9447 (java) S 9434 9437 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 134379186 14317654016 1034316 18446744073709551615 4194304 4196468 140731881079488 139818237397456 139818694006683 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17412096 140731881083246 140731881083433 140731881083433 140731881086927 0
[pid=9437/tid=9448] ppid=9434 vsize=13982084 memory=3989828 CPUtime=2.7 cores=1,3,5,7
/proc/9437/task/9448/stat : 9448 (java) S 9434 9437 8289 0 -1 1077944384 18244 0 0 0 267 3 0 0 20 0 15 0 134379186 14317654016 1034316 18446744073709551615 4194304 4196468 140731881079488 139818236344560 139818693999234 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 30 0 0 6293624 6294260 17412096 140731881083246 140731881083433 140731881083433 140731881086927 0
[pid=9437/tid=9449] ppid=9434 vsize=13982084 memory=3999872 CPUtime=2.78 cores=1,3,5,7
/proc/9437/task/9449/stat : 9449 (java) S 9434 9437 8289 0 -1 1077944384 17238 0 0 0 276 2 0 0 20 0 15 0 134379186 14317654016 1034316 18446744073709551615 4194304 4196468 140731881079488 139818235292016 139818693999234 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17412096 140731881083246 140731881083433 140731881083433 140731881086927 0
[pid=9437/tid=9450] ppid=9434 vsize=13982084 memory=4137264 CPUtime=0.89 cores=1,3,5,7
/proc/9437/task/9450/stat : 9450 (java) S 9434 9437 8289 0 -1 1077944384 20366 0 0 0 87 2 0 0 20 0 15 0 134379186 14317654016 1034316 18446744073709551615 4194304 4196468 140731881079488 139818234238960 139818693999234 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17412096 140731881083246 140731881083433 140731881083433 140731881086927 0
[pid=9437/tid=9451] ppid=9434 vsize=13982084 memory=4137264 CPUtime=0 cores=1,3,5,7
/proc/9437/task/9451/stat : 9451 (java) S 9434 9437 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 134379186 14317654016 1034316 18446744073709551615 4194304 4196468 140731881079488 139818233186656 139818693998293 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17412096 140731881083246 140731881083433 140731881083433 140731881086927 0
[pid=9437/tid=9452] ppid=9434 vsize=13982084 memory=3992136 CPUtime=1.39 cores=1,3,5,7
/proc/9437/task/9452/stat : 9452 (java) S 9434 9437 8289 0 -1 1077944384 1187 0 0 0 57 82 0 0 20 0 15 0 134379190 14317654016 1034316 18446744073709551615 4194304 4196468 140731881079488 139818164022320 139818693999234 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 48 0 0 6293624 6294260 17412096 140731881083246 140731881083433 140731881083433 140731881086927 0
Current children cumulated CPU time: 2519.54 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 4137264 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2442.8 s]
/proc/loadavg: 1.71 1.67 1.60 3/214 9854
/proc/meminfo: memFree=26682996/32770624 swapFree=67108860/67108860
[pid=9437] ppid=9434 vsize=13982084 memory=4137264 CPUtime=2520.04 cores=1,3,5,7
/proc/9437/stat : 9437 (java) S 9434 9437 8289 0 -1 1077944320 521179 0 0 0 251511 493 0 0 20 0 15 0 134379171 14317654016 1034316 18446744073709551615 4194304 4196468 140731881079488 140731881062032 139818693988087 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 9 0 0 6293624 6294260 17412096 140731881083246 140731881083433 140731881083433 140731881086927 0
/proc/9437/statm: 3495521 1034316 3821 1 0 3484295 0
[pid=9437/tid=9439] ppid=9434 vsize=13982084 memory=288230617509003574 CPUtime=2417.92 cores=1,3,5,7
/proc/9437/task/9439/stat : 9439 (java) R 9434 9437 8289 0 -1 4202560 269116 0 0 0 241671 121 0 0 20 0 15 0 134379181 14317654016 1034316 18446744073709551615 4194304 4196468 140731881079488 139818698226640 139818317207434 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 17412096 140731881083246 140731881083433 140731881083433 140731881086927 0
[pid=9437/tid=9440] ppid=9434 vsize=13982084 memory=15825482134324680 CPUtime=23.26 cores=1,3,5,7
/proc/9437/task/9440/stat : 9440 (java) S 9434 9437 8289 0 -1 1077944384 34484 0 0 0 2256 70 0 0 20 0 15 0 134379181 14317654016 1034316 18446744073709551615 4194304 4196468 140731881079488 139818635934224 139818693998293 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17412096 140731881083246 140731881083433 140731881083433 140731881086927 0
[pid=9437/tid=9441] ppid=9434 vsize=13982084 memory=4612 CPUtime=23.31 cores=1,3,5,7
/proc/9437/task/9441/stat : 9441 (java) S 9434 9437 8289 0 -1 1077944384 32007 0 0 0 2261 70 0 0 20 0 15 0 134379181 14317654016 1034316 18446744073709551615 4194304 4196468 140731881079488 139818634881680 139818693998293 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17412096 140731881083246 140731881083433 140731881083433 140731881086927 0
[pid=9437/tid=9442] ppid=9434 vsize=13982084 memory=1436 CPUtime=23.24 cores=1,3,5,7
/proc/9437/task/9442/stat : 9442 (java) S 9434 9437 8289 0 -1 1077944384 33285 0 0 0 2253 71 0 0 20 0 15 0 134379181 14317654016 1034316 18446744073709551615 4194304 4196468 140731881079488 139818292484368 139818693998293 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17412096 140731881083246 140731881083433 140731881083433 140731881086927 0
[pid=9437/tid=9443] ppid=9434 vsize=13982084 memory=1200 CPUtime=23.32 cores=1,3,5,7
/proc/9437/task/9443/stat : 9443 (java) S 9434 9437 8289 0 -1 1077944384 33814 0 0 0 2262 70 0 0 20 0 15 0 134379181 14317654016 1034316 18446744073709551615 4194304 4196468 140731881079488 139818291431824 139818693998293 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17412096 140731881083246 140731881083433 140731881083433 140731881086927 0
[pid=9437/tid=9444] ppid=9434 vsize=13982084 memory=15880 CPUtime=1.13 cores=1,3,5,7
/proc/9437/task/9444/stat : 9444 (java) S 9434 9437 8289 0 -1 1077944384 60023 0 0 0 91 22 0 0 20 0 15 0 134379183 14317654016 1034316 18446744073709551615 4194304 4196468 140731881079488 139818240555760 139818693999234 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17412096 140731881083246 140731881083433 140731881083433 140731881086927 0
[pid=9437/tid=9445] ppid=9434 vsize=13982084 memory=4040 CPUtime=0 cores=1,3,5,7
/proc/9437/task/9445/stat : 9445 (java) S 9434 9437 8289 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 134379183 14317654016 1034316 18446744073709551615 4194304 4196468 140731881079488 139818239502048 139818693998293 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17412096 140731881083246 140731881083433 140731881083433 140731881086927 0
[pid=9437/tid=9446] ppid=9434 vsize=13982084 memory=40036 CPUtime=0 cores=1,3,5,7
/proc/9437/task/9446/stat : 9446 (java) S 9434 9437 8289 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 134379183 14317654016 1034316 18446744073709551615 4194304 4196468 140731881079488 139818238448896 139818693998293 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17412096 140731881083246 140731881083433 140731881083433 140731881086927 0
[pid=9437/tid=9447] ppid=9434 vsize=13982084 memory=1232 CPUtime=0 cores=1,3,5,7
/proc/9437/task/9447/stat : 9447 (java) S 9434 9437 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 134379186 14317654016 1034316 18446744073709551615 4194304 4196468 140731881079488 139818237397456 139818694006683 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17412096 140731881083246 140731881083433 140731881083433 140731881086927 0
[pid=9437/tid=9448] ppid=9434 vsize=13982084 memory=640 CPUtime=2.7 cores=1,3,5,7
/proc/9437/task/9448/stat : 9448 (java) S 9434 9437 8289 0 -1 1077944384 18244 0 0 0 267 3 0 0 20 0 15 0 134379186 14317654016 1034316 18446744073709551615 4194304 4196468 140731881079488 139818236344560 139818693999234 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 30 0 0 6293624 6294260 17412096 140731881083246 140731881083433 140731881083433 140731881086927 0
[pid=9437/tid=9449] ppid=9434 vsize=13982084 memory=1792 CPUtime=2.78 cores=1,3,5,7
/proc/9437/task/9449/stat : 9449 (java) S 9434 9437 8289 0 -1 1077944384 17238 0 0 0 276 2 0 0 20 0 15 0 134379186 14317654016 1034316 18446744073709551615 4194304 4196468 140731881079488 139818235292016 139818693999234 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17412096 140731881083246 140731881083433 140731881083433 140731881086927 0
[pid=9437/tid=9450] ppid=9434 vsize=13982084 memory=956 CPUtime=0.89 cores=1,3,5,7
/proc/9437/task/9450/stat : 9450 (java) S 9434 9437 8289 0 -1 1077944384 20366 0 0 0 87 2 0 0 20 0 15 0 134379186 14317654016 1034316 18446744073709551615 4194304 4196468 140731881079488 139818234238960 139818693999234 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17412096 140731881083246 140731881083433 140731881083433 140731881086927 0
[pid=9437/tid=9451] ppid=9434 vsize=13982084 memory=2248 CPUtime=0 cores=1,3,5,7
/proc/9437/task/9451/stat : 9451 (java) S 9434 9437 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 134379186 14317654016 1034316 18446744073709551615 4194304 4196468 140731881079488 139818233186656 139818693998293 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17412096 140731881083246 140731881083433 140731881083433 140731881086927 0
[pid=9437/tid=9452] ppid=9434 vsize=13982084 memory=3104 CPUtime=1.4 cores=1,3,5,7
/proc/9437/task/9452/stat : 9452 (java) S 9434 9437 8289 0 -1 1077944384 1187 0 0 0 57 83 0 0 20 0 15 0 134379190 14317654016 1034316 18446744073709551615 4194304 4196468 140731881079488 139818164022320 139818693999234 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 48 0 0 6293624 6294260 17412096 140731881083246 140731881083433 140731881083433 140731881086927 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 4137264 KiB

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

[startup+2442.84 s]
# the end of solver process 9437 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2515.14 s, system=4.95308 s

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

Child status: 143
Real time (s): 2442.84
CPU time (s): 2520.09
CPU user time (s): 2515.14
CPU system time (s): 4.95308
CPU usage (%): 103.163
Max. virtual memory (cumulated for all children) (KiB): 13982084
Max. memory (cumulated for all children) (KiB): 4150848

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.14
system time used= 4.95308
maximum resident set size= 4150848
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 521801
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3008
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 72874
involuntary context switches= 4831


# summary of solver processes directly reported to runsolver:
#   pid: 9437
#   total CPU time (s): 2520.09
#   total CPU user time (s): 2515.14
#   total CPU system time (s): 4.95308

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.4239 second user time and 23.3985 second system time

The end

Launcher Data 

Begin job on node133 at 2017-08-16 08:26:32
IDJOB=4274331
IDBENCH=140591
IDSOLVER=2666
FILE ID=node133/4274331-1502865640
RUNJOBID= node133-1502652501-6259
PBS_JOBID= 
Free space on /tmp= 61988 MiB

SOLVER NAME= OscaR - Conflict Ordering 2017-07-26
BENCH NAME= XCSP17/Ramsey/Ramsey-int-s1/Ramsey-int-46.xml
COMMAND LINE= java -Xmx11000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 11000 --nbcore NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4274331-1502865640/watcher-4274331-1502865640 -o /tmp/evaluation-result-4274331-1502865640/solver-4274331-1502865640 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1502652501-6259 --watchdog 2580  java -Xmx11000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed 2138638049 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4274331-1502865640.xml

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

MD5SUM BENCH= 6af071621bab6d4e45a1e2acc37440b7
RANDOM SEED=2138638049

node133.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

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

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

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

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

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.17
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:        28348280 kB
MemAvailable:   29159732 kB
Buffers:          283188 kB
Cached:           828988 kB
SwapCached:            0 kB
Active:          3668924 kB
Inactive:         290620 kB
Active(anon):    2788664 kB
Inactive(anon):   108944 kB
Active(file):     880260 kB
Inactive(file):   181676 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             43180 kB
Writeback:             0 kB
AnonPages:       2924780 kB
Mapped:            77440 kB
Shmem:             49852 kB
Slab:             158192 kB
SReclaimable:     130704 kB
SUnreclaim:        27488 kB
KernelStack:        3760 kB
PageTables:        11764 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    3452732 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      354332 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2781184 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      132480 kB
DirectMap2M:    33413120 kB

Free space on /tmp at the end= 61948 MiB
End job on node133 at 2017-08-16 09:07:15