Trace number 4274332

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)946 2520.1201 2442.6399

General information on the benchmark

NameRamsey/Ramsey-int-s1/
Ramsey-int-47.xml
MD5SUMb40b46819fbd3a38fcaaee2fdd389509
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.0601
Satisfiable
(Un)Satisfiability was proved
Number of variables2209
Number of constraints16215
Number of domains1
Minimum domain size1081
Maximum domain size1081
Distribution of domain sizes[{"size":1081,"count":1081}]
Minimum variable degree0
Maximum variable degree46
Distribution of variable degrees[{"degree":0,"count":1128},{"degree":46,"count":1081}]
Minimum constraint arity3
Maximum constraint arity3
Distribution of constraint arities[{"arity":3,"count":16215}]
Number of extensional constraints0
Number of intensional constraints16215
Distribution of constraint types[{"type":"intension","count":16215}]
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.29/0.37	c version: 2017-07-26
0.29/0.37	c seed: 21523572
0.29/0.37	c timeout: 2520
0.29/0.37	c memlimit: 11000
0.29/0.37	c nbcore: 4
0.29/0.40	c Parsing instance...
6.91/2.48	c Parsing done, starting search...
27.23/20.68	o 1080
46.81/39.09	o 1079
66.26/57.89	o 1078
85.58/76.52	o 1077
104.78/95.22	o 1076
123.88/113.72	o 1075
143.23/132.54	o 1074
162.50/151.25	o 1073
181.62/169.86	o 1072
200.66/188.38	o 1071
219.81/206.91	o 1070
238.93/225.56	o 1069
257.88/243.99	o 1068
276.98/262.56	o 1067
296.05/281.09	o 1066
315.06/299.59	o 1065
334.91/318.44	o 1064
353.92/336.96	o 1063
373.17/355.67	o 1062
392.30/374.36	o 1061
411.36/392.83	o 1060
430.44/411.41	o 1059
449.41/429.90	o 1058
468.45/448.42	o 1057
487.50/467.01	o 1056
506.53/485.59	o 1055
525.60/504.12	o 1054
544.97/522.67	o 1053
564.11/541.26	o 1052
583.01/559.62	o 1051
601.78/578.00	o 1050
620.65/596.39	o 1049
639.71/614.89	o 1048
658.70/633.30	o 1047
677.58/651.70	o 1046
696.47/670.11	o 1045
715.30/688.41	o 1044
733.98/706.65	o 1043
753.68/725.22	o 1042
772.47/743.55	o 1041
791.02/761.67	o 1040
809.69/779.83	o 1039
828.26/797.94	o 1038
846.87/816.02	o 1037
865.44/834.11	o 1036
885.12/853.37	o 1035
904.99/872.65	o 1034
924.90/892.09	o 1033
945.50/911.69	o 1032
965.34/931.00	o 1031
985.34/950.43	o 1030
1005.22/969.75	o 1029
1025.02/989.09	o 1028
1044.92/1008.40	o 1027
1064.61/1027.65	o 1026
1084.29/1046.85	o 1025
1104.01/1066.05	o 1024
1123.69/1085.26	o 1023
1143.41/1104.46	o 1022
1162.91/1123.41	o 1021
1183.06/1142.50	o 1020
1202.52/1161.54	o 1019
1222.01/1180.50	o 1018
1241.35/1199.35	o 1017
1260.61/1218.16	o 1016
1279.94/1236.95	o 1015
1299.33/1255.81	o 1014
1318.63/1274.60	o 1013
1337.79/1293.32	o 1012
1356.90/1312.00	o 1011
1376.10/1330.68	o 1010
1395.28/1349.36	o 1009
1414.36/1367.95	o 1008
1434.04/1386.62	o 1007
1452.84/1404.98	o 1006
1471.60/1423.27	o 1005
1490.28/1441.49	o 1004
1509.05/1459.75	o 1003
1527.60/1477.82	o 1002
1546.23/1496.00	o 1001
1564.72/1514.00	o 1000
1583.26/1532.02	o 999
1601.67/1549.94	o 998
1620.06/1567.81	o 997
1638.44/1585.73	o 996
1656.77/1603.62	o 995
1675.51/1621.49	o 994
1693.71/1639.12	o 993
1711.81/1656.70	o 992
1729.86/1674.21	o 991
1747.79/1691.79	o 990
1765.77/1709.24	o 989
1783.70/1726.76	o 988
1801.57/1744.11	o 987
1819.43/1761.50	o 986
1837.15/1778.83	o 985
1855.04/1796.27	o 984
1872.82/1813.52	o 983
1890.47/1830.79	o 982
1908.94/1848.22	o 981
1926.68/1865.52	o 980
1944.04/1882.50	o 979
1961.65/1899.64	o 978
1979.36/1916.88	o 977
1996.87/1933.99	o 976
2014.40/1951.09	o 975
2032.01/1968.13	o 974
2049.46/1985.19	o 973
2066.91/2002.18	o 972
2084.13/2018.97	o 971
2101.40/2035.79	o 970
2118.61/2052.55	o 969
2135.90/2069.33	o 968
2153.70/2086.23	o 967
2170.98/2103.06	o 966
2188.08/2119.75	o 965
2205.11/2136.34	o 964
2222.17/2152.96	o 963
2239.20/2169.52	o 962
2256.06/2186.00	o 961
2273.00/2202.45	o 960
2289.78/2218.89	o 959
2306.64/2235.27	o 958
2323.35/2251.55	o 957
2340.10/2267.87	o 956
2356.67/2283.98	o 955
2373.31/2300.12	o 954
2389.84/2316.26	o 953
2406.93/2332.44	o 952
2423.24/2348.31	o 951
2439.55/2364.23	o 950
2455.71/2379.96	o 949
2471.94/2395.77	o 948
2488.26/2411.62	o 947
2504.25/2427.28	o 946
2520.07/2442.60	s SATISFIABLE
2520.07/2442.61	v <instantiation>
2520.07/2442.61	v 	<list>
2520.07/2442.61	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[0][46] 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[1][46] 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[2][46] 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[3][46] 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[4][46] 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[5][46] 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[6][46] 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[7][46] 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[8][46] 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[9][46] 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[10][46] 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[11][46] 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[12][46] 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[13][46] 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[14][46] 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[15][46] 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[16][46] 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[17][46] 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[18][46] 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[19][46] 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[20][46] 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[21][46] 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[22][46] 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[23][46] 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[24][46] 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[25][46] 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[26][46] 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[27][46] 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[28][46] 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[29][46] 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[30][46] 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[31][46] 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[32][46] 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[33][46] 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[34][46] 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[35][46] 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[36][46] 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[37][46] x[38][39] x[38][40] x[38][41] x[38][42] x[38][43] x[38][44] x[38][45] x[38][46] x[39][40] x[39][41] x[39][42] x[39][43] x[39][44] x[39][45] x[39][46] x[40][41] x[40][42] x[40][43] x[40][44] x[40][45] x[40][46] x[41][42] x[41][43] x[41][44] x[41][45] x[41][46] x[42][43] x[42][44] x[42][45] x[42][46] x[43][44] x[43][45] x[43][46] x[44][45] x[44][46] x[45][46]
2520.07/2442.61	v 	</list>
2520.07/2442.61	v 	<values>
2520.07/2442.61	v 		944 945 946 946 946 946 946 946 946 946 946 946 946 946 946 946 946 946 946 946 946 946 946 946 946 946 946 946 946 946 946 946 946 946 946 946 946 946 946 946 946 946 946 946 946 946 945 946 946 946 946 946 946 946 946 946 946 946 946 946 946 946 946 946 946 946 946 946 946 946 946 946 946 946 946 946 946 946 946 946 946 946 946 946 946 946 946 946 946 946 946 946 946 946 946 946 946 946 946 946 946 946 946 946 946 946 946 946 946 946 946 946 946 946 946 946 946 946 946 946 946 946 946 946 946 946 946 946 946 946 946 946 946 946 946 903 904 905 906 907 908 909 910 911 912 913 914 915 916 917 918 919 920 921 922 923 924 925 926 927 928 929 930 931 932 933 934 935 936 937 938 939 940 941 942 943 944 945 904 905 906 907 908 909 910 911 912 913 914 915 916 917 918 919 920 921 922 923 924 925 926 927 928 929 930 931 932 933 934 935 936 937 938 939 940 941 942 943 944 945 905 906 907 908 909 910 911 912 913 914 915 916 917 918 919 920 921 922 923 924 925 926 927 928 929 930 931 932 933 934 935 936 937 938 939 940 941 942 943 944 945 906 907 908 909 910 911 912 913 914 915 916 917 918 919 920 921 922 923 924 925 926 927 928 929 930 931 932 933 934 935 936 937 938 939 940 941 942 943 944 945 907 908 909 910 911 912 913 914 915 916 917 918 919 920 921 922 923 924 925 926 927 928 929 930 931 932 933 934 935 936 937 938 939 940 941 942 943 944 945 908 909 910 911 912 913 914 915 916 917 918 919 920 921 922 923 924 925 926 927 928 929 930 931 932 933 934 935 936 937 938 939 940 941 942 943 944 945 909 910 911 912 913 914 915 916 917 918 919 920 921 922 923 924 925 926 927 928 929 930 931 932 933 934 935 936 937 938 939 940 941 942 943 944 945 910 911 912 913 914 915 916 917 918 919 920 921 922 923 924 925 926 927 928 929 930 931 932 933 934 935 936 937 938 939 940 941 942 943 944 945 911 912 913 914 915 916 917 918 919 920 921 922 923 924 925 926 927 928 929 930 931 932 933 934 935 936 937 938 939 940 941 942 943 944 945 912 913 914 915 916 917 918 919 920 921 922 923 924 925 926 927 928 929 930 931 932 933 934 935 936 937 938 939 940 941 942 943 944 945 913 914 915 916 917 918 919 920 921 922 923 924 925 926 927 928 929 930 931 932 933 934 935 936 937 938 939 940 941 942 943 944 945 914 915 916 917 918 919 920 921 922 923 924 925 926 927 928 929 930 931 932 933 934 935 936 937 938 939 940 941 942 943 944 945 915 916 917 918 919 920 921 922 923 924 925 926 927 928 929 930 931 932 933 934 935 936 937 938 939 940 941 942 943 944 945 916 917 918 919 920 921 922 923 924 925 926 927 928 929 930 931 932 933 934 935 936 937 938 939 940 941 942 943 944 945 917 918 919 920 921 922 923 924 925 926 927 928 929 930 931 932 933 934 935 936 937 938 939 940 941 942 943 944 945 918 919 920 921 922 923 924 925 926 927 928 929 930 931 932 933 934 935 936 937 938 939 940 941 942 943 944 945 919 920 921 922 923 924 925 926 927 928 929 930 931 932 933 934 935 936 937 938 939 940 941 942 943 944 945 920 921 922 923 924 925 926 927 928 929 930 931 932 933 934 935 936 937 938 939 940 941 942 943 944 945 921 922 923 924 925 926 927 928 929 930 931 932 933 934 935 936 937 938 939 940 941 942 943 944 945 922 923 924 925 926 927 928 929 930 931 932 933 934 935 936 937 938 939 940 941 942 943 944 945 923 924 925 926 927 928 929 930 931 932 933 934 935 936 937 938 939 940 941 942 943 944 945 924 925 926 927 928 929 930 931 932 933 934 935 936 937 938 939 940 941 942 943 944 945 925 926 927 928 929 930 931 932 933 934 935 936 937 938 939 940 941 942 943 944 945 926 927 928 929 930 931 932 933 934 935 936 937 938 939 940 941 942 943 944 945 927 928 929 930 931 932 933 934 935 936 937 938 939 940 941 942 943 944 945 928 929 930 931 932 933 934 935 936 937 938 939 940 941 942 943 944 945 929 930 931 932 933 934 935 936 937 938 939 940 941 942 943 944 945 930 931 932 933 934 935 936 937 938 939 940 941 942 943 944 945 931 932 933 934 935 936 937 938 939 940 941 942 943 944 945 932 933 934 935 936 937 938 939 940 941 942 943 944 945 933 934 935 936 937 938 939 940 941 942 943 944 945 934 935 936 937 938 939 940 941 942 943 944 945 935 936 937 938 939 940 941 942 943 944 945 936 937 938 939 940 941 942 943 944 945 937 938 939 940 941 942 943 944 945 938 939 940 941 942 943 944 945 939 940 941 942 943 944 945 940 941 942 943 944 945 941 942 943 944 945 942 943 944 945 943 944 945 944 945 945 
2520.07/2442.61	v 	</values>
2520.07/2442.61	v </instantiation>

Verifier Data 

OK	946

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4274332-1502865777/watcher-4274332-1502865777 -o /tmp/evaluation-result-4274332-1502865777/solver-4274332-1502865777 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node129-1502746532-7259 --watchdog 2580 java -Xmx11000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed 21523572 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4274332-1502865777.xml 

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

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


[startup+0.100162 s]*
/proc/loadavg: 1.27 1.33 1.45 3/201 31450
/proc/meminfo: memFree=27774996/32770624 swapFree=67108860/67108860
[pid=31444] ppid=31441 vsize=13358552 memory=16804 CPUtime=0.01 cores=0,2,4,6
/proc/31444/stat : 31444 (java) S 31441 31444 2357 0 -1 1077944320 3509 0 0 0 1 0 0 0 20 0 6 0 14192829 13679157248 4201 18446744073709551615 4194304 4196468 140724880547632 140724880530176 140675384446711 0 0 1 16784584 18446744073709551615 0 0 17 2 0 0 8 0 0 6293624 6294260 37359616 140724880552307 140724880552492 140724880552492 140724880555983 0
/proc/31444/statm: 3339638 4201 1932 1 0 3329135 0
[pid=31444/tid=31446] ppid=31441 vsize=13358552 memory=-6439968830534014599 CPUtime=0.01 cores=0,2,4,6
/proc/31444/task/31446/stat : 31446 (java) R 31441 31444 2357 0 -1 4202560 2193 0 0 0 1 0 0 0 20 0 6 0 14192838 13679157248 4201 18446744073709551615 4194304 4196468 140724880547632 140675388682832 140675369719315 0 4 1 16784584 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37359616 140724880552307 140724880552492 140724880552492 140724880555983 0
[pid=31444/tid=31447] ppid=31441 vsize=13358552 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31444/task/31447/stat : 31447 (java) S 31441 31444 2357 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 14192838 13679157248 4201 18446744073709551615 4194304 4196468 140724880547632 140675347552912 140675384456917 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37359616 140724880552307 140724880552492 140724880552492 140724880555983 0
[pid=31444/tid=31448] ppid=31441 vsize=13358552 memory=140156900902528 CPUtime=0 cores=0,2,4,6
/proc/31444/task/31448/stat : 31448 (java) S 31441 31444 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 14192838 13679157248 4201 18446744073709551615 4194304 4196468 140724880547632 140674983082512 140675384456917 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37359616 140724880552307 140724880552492 140724880552492 140724880555983 0
[pid=31444/tid=31449] ppid=31441 vsize=13358552 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31444/task/31449/stat : 31449 (java) S 31441 31444 2357 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 14192838 13679157248 4201 18446744073709551615 4194304 4196468 140724880547632 140674982029712 140675384456917 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37359616 140724880552307 140724880552492 140724880552492 140724880555983 0
[pid=31444/tid=31450] ppid=31441 vsize=13358552 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31444/task/31450/stat : 31450 (java) S 31441 31444 2357 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 14192838 13679157248 4201 18446744073709551615 4194304 4196468 140724880547632 140674980976912 140675384456917 0 4 1 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37359616 140724880552307 140724880552492 140724880552492 140724880555983 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 13358552 KiB
Current children cumulated memory: 16804 KiB

[startup+0.209816 s]*
/proc/loadavg: 1.27 1.33 1.45 3/210 31459
/proc/meminfo: memFree=27763924/32770624 swapFree=67108860/67108860
[pid=31444] ppid=31441 vsize=13976944 memory=33772 CPUtime=0.12 cores=0,2,4,6
/proc/31444/stat : 31444 (java) S 31441 31444 2357 0 -1 1077944320 8945 0 0 0 10 2 0 0 20 0 15 0 14192829 14312390656 8443 18446744073709551615 4194304 4196468 140724880547632 140724880530176 140675384446711 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 8 0 0 6293624 6294260 37359616 140724880552307 140724880552492 140724880552492 140724880555983 0
/proc/31444/statm: 3494236 8443 3386 1 0 3483015 0
[pid=31444/tid=31446] ppid=31441 vsize=13976944 memory=7077796292425249400 CPUtime=0.09 cores=0,2,4,6
/proc/31444/task/31446/stat : 31446 (java) R 31441 31444 2357 0 -1 4202560 6889 0 0 0 7 2 0 0 20 0 15 0 14192838 14312390656 8443 18446744073709551615 4194304 4196468 140724880547632 140675388636160 140675377126429 0 4 1 16800974 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 37359616 140724880552307 140724880552492 140724880552492 140724880555983 0
[pid=31444/tid=31447] ppid=31441 vsize=13976944 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31444/task/31447/stat : 31447 (java) S 31441 31444 2357 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 14192838 14312390656 8443 18446744073709551615 4194304 4196468 140724880547632 140675347552912 140675384456917 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37359616 140724880552307 140724880552492 140724880552492 140724880555983 0
[pid=31444/tid=31448] ppid=31441 vsize=13976944 memory=140156900902528 CPUtime=0 cores=0,2,4,6
/proc/31444/task/31448/stat : 31448 (java) S 31441 31444 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 14192838 14312390656 8443 18446744073709551615 4194304 4196468 140724880547632 140674983082512 140675384456917 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37359616 140724880552307 140724880552492 140724880552492 140724880555983 0
[pid=31444/tid=31449] ppid=31441 vsize=13976944 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31444/task/31449/stat : 31449 (java) S 31441 31444 2357 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 14192838 14312390656 8443 18446744073709551615 4194304 4196468 140724880547632 140674982029712 140675384456917 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37359616 140724880552307 140724880552492 140724880552492 140724880555983 0
[pid=31444/tid=31450] ppid=31441 vsize=13976944 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31444/task/31450/stat : 31450 (java) S 31441 31444 2357 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 14192838 14312390656 8443 18446744073709551615 4194304 4196468 140724880547632 140674980976912 140675384456917 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37359616 140724880552307 140724880552492 140724880552492 140724880555983 0
[pid=31444/tid=31451] ppid=31441 vsize=13976944 memory=140156900902528 CPUtime=0 cores=0,2,4,6
/proc/31444/task/31451/stat : 31451 (java) S 31441 31444 2357 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 14192840 14312390656 8443 18446744073709551615 4194304 4196468 140724880547632 140674863147888 140675384457858 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37359616 140724880552307 140724880552492 140724880552492 140724880555983 0
[pid=31444/tid=31452] ppid=31441 vsize=13976944 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31444/task/31452/stat : 31452 (java) S 31441 31444 2357 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 14192840 14312390656 8443 18446744073709551615 4194304 4196468 140724880547632 140674862093856 140675384456917 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37359616 140724880552307 140724880552492 140724880552492 140724880555983 0
[pid=31444/tid=31453] ppid=31441 vsize=13976944 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31444/task/31453/stat : 31453 (java) S 31441 31444 2357 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 14192840 14312390656 8443 18446744073709551615 4194304 4196468 140724880547632 140674861041008 140675384456917 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37359616 140724880552307 140724880552492 140724880552492 140724880555983 0
[pid=31444/tid=31454] ppid=31441 vsize=13976944 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31444/task/31454/stat : 31454 (java) S 31441 31444 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 14192843 14312390656 8443 18446744073709551615 4194304 4196468 140724880547632 140674859989328 140675384465307 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37359616 140724880552307 140724880552492 140724880552492 140724880555983 0
[pid=31444/tid=31455] ppid=31441 vsize=13976944 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31444/task/31455/stat : 31455 (java) S 31441 31444 2357 0 -1 1077944384 298 0 0 0 0 0 0 0 20 0 15 0 14192843 14312390656 8443 18446744073709551615 4194304 4196468 140724880547632 140674858936688 140675384457858 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37359616 140724880552307 140724880552492 140724880552492 140724880555983 0
[pid=31444/tid=31456] ppid=31441 vsize=13976944 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31444/task/31456/stat : 31456 (java) S 31441 31444 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 14192843 14312390656 8443 18446744073709551615 4194304 4196468 140724880547632 140674857883888 140675384457858 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37359616 140724880552307 140724880552492 140724880552492 140724880555983 0
[pid=31444/tid=31457] ppid=31441 vsize=13976944 memory=140156900902528 CPUtime=0.01 cores=0,2,4,6
/proc/31444/task/31457/stat : 31457 (java) S 31441 31444 2357 0 -1 1077944384 376 0 0 0 1 0 0 0 20 0 15 0 14192843 14312390656 8443 18446744073709551615 4194304 4196468 140724880547632 140674856831088 140675384457858 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37359616 140724880552307 140724880552492 140724880552492 140724880555983 0
[pid=31444/tid=31458] ppid=31441 vsize=13976944 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31444/task/31458/stat : 31458 (java) S 31441 31444 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 14192843 14312390656 8443 18446744073709551615 4194304 4196468 140724880547632 140674855778528 140675384456917 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37359616 140724880552307 140724880552492 140724880552492 140724880555983 0
[pid=31444/tid=31459] ppid=31441 vsize=13976944 memory=140156900902528 CPUtime=0 cores=0,2,4,6
/proc/31444/task/31459/stat : 31459 (java) S 31441 31444 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 14192846 14312390656 8246 18446744073709551615 4194304 4196468 140724880547632 140674854726832 140675384457858 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37359616 140724880552307 140724880552492 140724880552492 140724880555983 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13976944 KiB
Current children cumulated memory: 33772 KiB

[startup+0.310398 s]*
/proc/loadavg: 1.27 1.33 1.45 3/210 31459
/proc/meminfo: memFree=27754604/32770624 swapFree=67108860/67108860
[pid=31444] ppid=31441 vsize=13975920 memory=42200 CPUtime=0.29 cores=0,2,4,6
/proc/31444/stat : 31444 (java) S 31441 31444 2357 0 -1 1077944320 10741 0 0 0 25 4 0 0 20 0 15 0 14192829 14311342080 10550 18446744073709551615 4194304 4196468 140724880547632 140724880530176 140675384446711 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 8 0 0 6293624 6294260 37359616 140724880552307 140724880552492 140724880552492 140724880555983 0
/proc/31444/statm: 3493980 10550 3585 1 0 3482759 0
[pid=31444/tid=31446] ppid=31441 vsize=13975920 memory=-8774313645642428999 CPUtime=0.19 cores=0,2,4,6
/proc/31444/task/31446/stat : 31446 (java) R 31441 31444 2357 0 -1 4202560 8296 0 0 0 16 3 0 0 20 0 15 0 14192838 14311342080 10550 18446744073709551615 4194304 4196468 140724880547632 140675388668640 140675276274163 0 4 1 16800974 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 37359616 140724880552307 140724880552492 140724880552492 140724880555983 0
[pid=31444/tid=31447] ppid=31441 vsize=13975920 memory=7077796292425249400 CPUtime=0 cores=0,2,4,6
/proc/31444/task/31447/stat : 31447 (java) S 31441 31444 2357 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 14192838 14311342080 10550 18446744073709551615 4194304 4196468 140724880547632 140675347552912 140675384456917 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37359616 140724880552307 140724880552492 140724880552492 140724880555983 0
[pid=31444/tid=31448] ppid=31441 vsize=13975920 memory=140156900909521 CPUtime=0 cores=0,2,4,6
/proc/31444/task/31448/stat : 31448 (java) S 31441 31444 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 14192838 14311342080 10550 18446744073709551615 4194304 4196468 140724880547632 140674983082512 140675384456917 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37359616 140724880552307 140724880552492 140724880552492 140724880555983 0
[pid=31444/tid=31449] ppid=31441 vsize=13975920 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31444/task/31449/stat : 31449 (java) S 31441 31444 2357 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 14192838 14311342080 10550 18446744073709551615 4194304 4196468 140724880547632 140674982029712 140675384456917 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37359616 140724880552307 140724880552492 140724880552492 140724880555983 0
[pid=31444/tid=31450] ppid=31441 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31444/task/31450/stat : 31450 (java) S 31441 31444 2357 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 14192838 14311342080 10550 18446744073709551615 4194304 4196468 140724880547632 140674980976912 140675384456917 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37359616 140724880552307 140724880552492 140724880552492 140724880555983 0
[pid=31444/tid=31451] ppid=31441 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31444/task/31451/stat : 31451 (java) S 31441 31444 2357 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 14192840 14311342080 10550 18446744073709551615 4194304 4196468 140724880547632 140674863147888 140675384457858 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37359616 140724880552307 140724880552492 140724880552492 140724880555983 0
[pid=31444/tid=31452] ppid=31441 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31444/task/31452/stat : 31452 (java) S 31441 31444 2357 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 14192840 14311342080 10550 18446744073709551615 4194304 4196468 140724880547632 140674862093856 140675384456917 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37359616 140724880552307 140724880552492 140724880552492 140724880555983 0
[pid=31444/tid=31453] ppid=31441 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31444/task/31453/stat : 31453 (java) S 31441 31444 2357 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 14192840 14311342080 10550 18446744073709551615 4194304 4196468 140724880547632 140674861041008 140675384456917 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37359616 140724880552307 140724880552492 140724880552492 140724880555983 0
[pid=31444/tid=31454] ppid=31441 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31444/task/31454/stat : 31454 (java) S 31441 31444 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 14192843 14311342080 10550 18446744073709551615 4194304 4196468 140724880547632 140674859989328 140675384465307 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37359616 140724880552307 140724880552492 140724880552492 140724880555983 0
[pid=31444/tid=31455] ppid=31441 vsize=13975920 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/31444/task/31455/stat : 31455 (java) S 31441 31444 2357 0 -1 1077944384 347 0 0 0 1 0 0 0 20 0 15 0 14192843 14311342080 10550 18446744073709551615 4194304 4196468 140724880547632 140674858936688 140675384457858 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37359616 140724880552307 140724880552492 140724880552492 140724880555983 0
[pid=31444/tid=31456] ppid=31441 vsize=13975920 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/31444/task/31456/stat : 31456 (java) S 31441 31444 2357 0 -1 1077944384 240 0 0 0 2 0 0 0 20 0 15 0 14192843 14311342080 10550 18446744073709551615 4194304 4196468 140724880547632 140674857883888 140675384457858 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37359616 140724880552307 140724880552492 140724880552492 140724880555983 0
[pid=31444/tid=31457] ppid=31441 vsize=13975920 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/31444/task/31457/stat : 31457 (java) S 31441 31444 2357 0 -1 1077944384 474 0 0 0 5 0 0 0 20 0 15 0 14192843 14311342080 10550 18446744073709551615 4194304 4196468 140724880547632 140674856831088 140675384457858 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37359616 140724880552307 140724880552492 140724880552492 140724880555983 0
[pid=31444/tid=31458] ppid=31441 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31444/task/31458/stat : 31458 (java) S 31441 31444 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 14192843 14311342080 10550 18446744073709551615 4194304 4196468 140724880547632 140674855778528 140675384456917 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37359616 140724880552307 140724880552492 140724880552492 140724880555983 0
[pid=31444/tid=31459] ppid=31441 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31444/task/31459/stat : 31459 (java) S 31441 31444 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 14192846 14311342080 10550 18446744073709551615 4194304 4196468 140724880547632 140674854726832 140675384457858 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37359616 140724880552307 140724880552492 140724880552492 140724880555983 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 13975920 KiB
Current children cumulated memory: 42200 KiB

[startup+0.703659 s]
/proc/loadavg: 1.27 1.33 1.45 3/210 31459
/proc/meminfo: memFree=27739892/32770624 swapFree=67108860/67108860
[pid=31444] ppid=31441 vsize=13977988 memory=97472 CPUtime=1.23 cores=0,2,4,6
/proc/31444/stat : 31444 (java) S 31441 31444 2357 0 -1 1077944320 17051 0 0 0 117 6 0 0 20 0 15 0 14192829 14313459712 24368 18446744073709551615 4194304 4196468 140724880547632 140724880530176 140675384446711 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 8 0 0 6293624 6294260 37359616 140724880552307 140724880552492 140724880552492 140724880555983 0
/proc/31444/statm: 3494497 24368 3726 1 0 3483271 0
[pid=31444/tid=31446] ppid=31441 vsize=13977988 memory=0 CPUtime=0.58 cores=0,2,4,6
/proc/31444/task/31446/stat : 31446 (java) R 31441 31444 2357 0 -1 4202560 10430 0 0 0 53 5 0 0 20 0 15 0 14192838 14313459712 24368 18446744073709551615 4194304 4196468 140724880547632 140675388682240 140675368490341 0 4 1 16800974 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 37359616 140724880552307 140724880552492 140724880552492 140724880555983 0
[pid=31444/tid=31447] ppid=31441 vsize=13977988 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31444/task/31447/stat : 31447 (java) S 31441 31444 2357 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 14192838 14313459712 24368 18446744073709551615 4194304 4196468 140724880547632 140675347552912 140675384456917 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37359616 140724880552307 140724880552492 140724880552492 140724880555983 0
[pid=31444/tid=31448] ppid=31441 vsize=13977988 memory=4104 CPUtime=0 cores=0,2,4,6
/proc/31444/task/31448/stat : 31448 (java) S 31441 31444 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 14192838 14313459712 24368 18446744073709551615 4194304 4196468 140724880547632 140674983082512 140675384456917 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37359616 140724880552307 140724880552492 140724880552492 140724880555983 0
[pid=31444/tid=31449] ppid=31441 vsize=13977988 memory=2241 CPUtime=0 cores=0,2,4,6
/proc/31444/task/31449/stat : 31449 (java) S 31441 31444 2357 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 14192838 14313459712 24368 18446744073709551615 4194304 4196468 140724880547632 140674982029712 140675384456917 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37359616 140724880552307 140724880552492 140724880552492 140724880555983 0
[pid=31444/tid=31450] ppid=31441 vsize=13977988 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/31444/task/31450/stat : 31450 (java) S 31441 31444 2357 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 14192838 14313459712 24368 18446744073709551615 4194304 4196468 140724880547632 140674980976912 140675384456917 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37359616 140724880552307 140724880552492 140724880552492 140724880555983 0
[pid=31444/tid=31451] ppid=31441 vsize=13977988 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31444/task/31451/stat : 31451 (java) S 31441 31444 2357 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 14192840 14313459712 24368 18446744073709551615 4194304 4196468 140724880547632 140674863147888 140675384457858 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37359616 140724880552307 140724880552492 140724880552492 140724880555983 0
[pid=31444/tid=31452] ppid=31441 vsize=13977988 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31444/task/31452/stat : 31452 (java) S 31441 31444 2357 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 14192840 14313459712 24368 18446744073709551615 4194304 4196468 140724880547632 140674862093856 140675384456917 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37359616 140724880552307 140724880552492 140724880552492 140724880555983 0
[pid=31444/tid=31453] ppid=31441 vsize=13977988 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31444/task/31453/stat : 31453 (java) S 31441 31444 2357 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 14192840 14313459712 24368 18446744073709551615 4194304 4196468 140724880547632 140674861041008 140675384456917 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37359616 140724880552307 140724880552492 140724880552492 140724880555983 0
[pid=31444/tid=31454] ppid=31441 vsize=13977988 memory=30305 CPUtime=0 cores=0,2,4,6
/proc/31444/task/31454/stat : 31454 (java) S 31441 31444 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 14192843 14313459712 24368 18446744073709551615 4194304 4196468 140724880547632 140674859989328 140675384465307 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37359616 140724880552307 140724880552492 140724880552492 140724880555983 0
[pid=31444/tid=31455] ppid=31441 vsize=13977988 memory=0 CPUtime=0.22 cores=0,2,4,6
/proc/31444/task/31455/stat : 31455 (java) R 31441 31444 2357 0 -1 4202560 1771 0 0 0 22 0 0 0 20 0 15 0 14192843 14313459712 24368 18446744073709551615 4194304 4196468 140724880547632 140674858922712 140675363692640 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37359616 140724880552307 140724880552492 140724880552492 140724880555983 0
[pid=31444/tid=31456] ppid=31441 vsize=13977988 memory=3893707620135494526 CPUtime=0.2 cores=0,2,4,6
/proc/31444/task/31456/stat : 31456 (java) D 31441 31444 2357 0 -1 4202560 2041 0 0 0 20 0 0 0 20 0 15 0 14192843 14313459712 24368 18446744073709551615 4194304 4196468 140724880547632 140674857864904 140675365147008 0 4 1 16800974 18446744071582151416 0 0 -1 2 0 0 0 0 0 6293624 6294260 37359616 140724880552307 140724880552492 140724880552492 140724880555983 0
[pid=31444/tid=31457] ppid=31441 vsize=13977988 memory=6944656592455097440 CPUtime=0.21 cores=0,2,4,6
/proc/31444/task/31457/stat : 31457 (java) R 31441 31444 2357 0 -1 4202560 1425 0 0 0 21 0 0 0 20 0 15 0 14192843 14313459712 24368 18446744073709551615 4194304 4196468 140724880547632 140674856828024 140675377163863 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37359616 140724880552307 140724880552492 140724880552492 140724880555983 0
[pid=31444/tid=31458] ppid=31441 vsize=13977988 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31444/task/31458/stat : 31458 (java) S 31441 31444 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 14192843 14313459712 24368 18446744073709551615 4194304 4196468 140724880547632 140674855778528 140675384456917 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37359616 140724880552307 140724880552492 140724880552492 140724880555983 0
[pid=31444/tid=31459] ppid=31441 vsize=13977988 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31444/task/31459/stat : 31459 (java) S 31441 31444 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 14192846 14313459712 24368 18446744073709551615 4194304 4196468 140724880547632 140674854726832 140675384457858 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37359616 140724880552307 140724880552492 140724880552492 140724880555983 0
Current children cumulated CPU time: 1.23 s
Current children cumulated vsize: 13977988 KiB
Current children cumulated memory: 97472 KiB

[startup+1.50113 s]
/proc/loadavg: 1.27 1.33 1.45 5/210 31459
/proc/meminfo: memFree=27612996/32770624 swapFree=67108860/67108860
[pid=31444] ppid=31441 vsize=13977988 memory=223292 CPUtime=3.95 cores=0,2,4,6
/proc/31444/stat : 31444 (java) S 31441 31444 2357 0 -1 1077944320 19952 0 0 0 383 12 0 0 20 0 15 0 14192829 14313459712 55823 18446744073709551615 4194304 4196468 140724880547632 140724880530176 140675384446711 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 8 0 0 6293624 6294260 37359616 140724880552307 140724880552492 140724880552492 140724880555983 0
/proc/31444/statm: 3494497 55823 3779 1 0 3483271 0
[pid=31444/tid=31446] ppid=31441 vsize=13977988 memory=7020104019698346304 CPUtime=1.34 cores=0,2,4,6
/proc/31444/task/31446/stat : 31446 (java) S 31441 31444 2357 0 -1 1077944384 10712 0 0 0 128 6 0 0 20 0 15 0 14192838 14313459712 55823 18446744073709551615 4194304 4196468 140724880547632 140675388682768 140675384456917 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 2 0 0 6293624 6294260 37359616 140724880552307 140724880552492 140724880552492 140724880555983 0
[pid=31444/tid=31447] ppid=31441 vsize=13977988 memory=7020104019698346304 CPUtime=0.01 cores=0,2,4,6
/proc/31444/task/31447/stat : 31447 (java) R 31441 31444 2357 0 -1 1077944384 27 0 0 0 1 0 0 0 20 0 15 0 14192838 14313459712 55823 18446744073709551615 4194304 4196468 140724880547632 140675347552912 140675384456917 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37359616 140724880552307 140724880552492 140724880552492 140724880555983 0
[pid=31444/tid=31448] ppid=31441 vsize=13977988 memory=280313590962176 CPUtime=0.01 cores=0,2,4,6
/proc/31444/task/31448/stat : 31448 (java) R 31441 31444 2357 0 -1 4202560 16 0 0 0 1 0 0 0 20 0 15 0 14192838 14313459712 55823 18446744073709551615 4194304 4196468 140724880547632 140674983082512 140675369474567 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37359616 140724880552307 140724880552492 140724880552492 140724880555983 0
[pid=31444/tid=31449] ppid=31441 vsize=13977988 memory=7307478902755911273 CPUtime=0.01 cores=0,2,4,6
/proc/31444/task/31449/stat : 31449 (java) R 31441 31444 2357 0 -1 4202560 25 0 0 0 1 0 0 0 20 0 15 0 14192838 14313459712 55823 18446744073709551615 4194304 4196468 140724880547632 140674982029712 140675369474549 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37359616 140724880552307 140724880552492 140724880552492 140724880555983 0
[pid=31444/tid=31450] ppid=31441 vsize=13977988 memory=7800344859672537426 CPUtime=0.01 cores=0,2,4,6
/proc/31444/task/31450/stat : 31450 (java) S 31441 31444 2357 0 -1 1077944384 28 0 0 0 1 0 0 0 20 0 15 0 14192838 14313459712 55823 18446744073709551615 4194304 4196468 140724880547632 140674980976912 140675384456917 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37359616 140724880552307 140724880552492 140724880552492 140724880555983 0
[pid=31444/tid=31451] ppid=31441 vsize=13977988 memory=4104 CPUtime=0 cores=0,2,4,6
/proc/31444/task/31451/stat : 31451 (java) S 31441 31444 2357 0 -1 1077944384 85 0 0 0 0 0 0 0 20 0 15 0 14192840 14313459712 55823 18446744073709551615 4194304 4196468 140724880547632 140674863146400 140675384456917 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37359616 140724880552307 140724880552492 140724880552492 140724880555983 0
[pid=31444/tid=31452] ppid=31441 vsize=13977988 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31444/task/31452/stat : 31452 (java) S 31441 31444 2357 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 14192840 14313459712 55823 18446744073709551615 4194304 4196468 140724880547632 140674862093856 140675384456917 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37359616 140724880552307 140724880552492 140724880552492 140724880555983 0
[pid=31444/tid=31453] ppid=31441 vsize=13977988 memory=140156795591744 CPUtime=0 cores=0,2,4,6
/proc/31444/task/31453/stat : 31453 (java) S 31441 31444 2357 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 14192840 14313459712 55823 18446744073709551615 4194304 4196468 140724880547632 140674861041008 140675384456917 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37359616 140724880552307 140724880552492 140724880552492 140724880555983 0
[pid=31444/tid=31454] ppid=31441 vsize=13977988 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31444/task/31454/stat : 31454 (java) S 31441 31444 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 14192843 14313459712 55823 18446744073709551615 4194304 4196468 140724880547632 140674859989328 140675384465307 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37359616 140724880552307 140724880552492 140724880552492 140724880555983 0
[pid=31444/tid=31455] ppid=31441 vsize=13977988 memory=-8774313645642428999 CPUtime=0.95 cores=0,2,4,6
/proc/31444/task/31455/stat : 31455 (java) S 31441 31444 2357 0 -1 1077944384 2291 0 0 0 95 0 0 0 20 0 15 0 14192843 14313459712 55823 18446744073709551615 4194304 4196468 140724880547632 140674858927792 140675384456917 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37359616 140724880552307 140724880552492 140724880552492 140724880555983 0
[pid=31444/tid=31456] ppid=31441 vsize=13977988 memory=0 CPUtime=0.95 cores=0,2,4,6
/proc/31444/task/31456/stat : 31456 (java) R 31441 31444 2357 0 -1 4202560 2335 0 0 0 95 0 0 0 20 0 15 0 14192843 14313459712 55823 18446744073709551615 4194304 4196468 140724880547632 140674857872240 140675365990003 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37359616 140724880552307 140724880552492 140724880552492 140724880555983 0
[pid=31444/tid=31457] ppid=31441 vsize=13977988 memory=0 CPUtime=0.6 cores=0,2,4,6
/proc/31444/task/31457/stat : 31457 (java) S 31441 31444 2357 0 -1 1077944384 3063 0 0 0 59 1 0 0 20 0 15 0 14192843 14313459712 55823 18446744073709551615 4194304 4196468 140724880547632 140674856826960 140675384456917 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37359616 140724880552307 140724880552492 140724880552492 140724880555983 0
[pid=31444/tid=31458] ppid=31441 vsize=13977988 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31444/task/31458/stat : 31458 (java) S 31441 31444 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 14192843 14313459712 55823 18446744073709551615 4194304 4196468 140724880547632 140674855778528 140675384456917 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37359616 140724880552307 140724880552492 140724880552492 140724880555983 0
[pid=31444/tid=31459] ppid=31441 vsize=13977988 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31444/task/31459/stat : 31459 (java) S 31441 31444 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 14192846 14313459712 56335 18446744073709551615 4194304 4196468 140724880547632 140674854726832 140675384457858 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37359616 140724880552307 140724880552492 140724880552492 140724880555983 0
Current children cumulated CPU time: 3.95 s
Current children cumulated vsize: 13977988 KiB

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

/proc/31444/task/31446/stat : 31446 (java) R 31441 31444 2357 0 -1 4202560 244547 0 0 0 229694 113 0 0 20 0 15 0 14192838 14317654016 1032844 18446744073709551615 4194304 4196468 140724880547632 140675388685264 140675034096235 0 4 1 16800974 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 37359616 140724880552307 140724880552492 140724880552492 140724880555983 0
[pid=31444/tid=31447] ppid=31441 vsize=13982084 memory=4133824 CPUtime=22.23 cores=0,2,4,6
/proc/31444/task/31447/stat : 31447 (java) S 31441 31444 2357 0 -1 1077944384 31081 0 0 0 2153 70 0 0 20 0 15 0 14192838 14317654016 1032844 18446744073709551615 4194304 4196468 140724880547632 140675347552912 140675384456917 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37359616 140724880552307 140724880552492 140724880552492 140724880555983 0
[pid=31444/tid=31448] ppid=31441 vsize=13982084 memory=4143164 CPUtime=22.24 cores=0,2,4,6
/proc/31444/task/31448/stat : 31448 (java) S 31441 31444 2357 0 -1 1077944384 30287 0 0 0 2154 70 0 0 20 0 15 0 14192838 14317654016 1032844 18446744073709551615 4194304 4196468 140724880547632 140674983082512 140675384456917 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37359616 140724880552307 140724880552492 140724880552492 140724880555983 0
[pid=31444/tid=31449] ppid=31441 vsize=13982084 memory=4136496 CPUtime=22.29 cores=0,2,4,6
/proc/31444/task/31449/stat : 31449 (java) S 31441 31444 2357 0 -1 1077944384 33551 0 0 0 2159 70 0 0 20 0 15 0 14192838 14317654016 1032844 18446744073709551615 4194304 4196468 140724880547632 140674982029712 140675384456917 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37359616 140724880552307 140724880552492 140724880552492 140724880555983 0
[pid=31444/tid=31450] ppid=31441 vsize=13982084 memory=4131376 CPUtime=22.24 cores=0,2,4,6
/proc/31444/task/31450/stat : 31450 (java) S 31441 31444 2357 0 -1 1077944384 34250 0 0 0 2152 72 0 0 20 0 15 0 14192838 14317654016 1032844 18446744073709551615 4194304 4196468 140724880547632 140674980976912 140675384456917 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37359616 140724880552307 140724880552492 140724880552492 140724880555983 0
[pid=31444/tid=31451] ppid=31441 vsize=13982084 memory=4131376 CPUtime=1.09 cores=0,2,4,6
/proc/31444/task/31451/stat : 31451 (java) S 31441 31444 2357 0 -1 1077944384 54429 0 0 0 88 21 0 0 20 0 15 0 14192840 14317654016 1032844 18446744073709551615 4194304 4196468 140724880547632 140674863147888 140675384457858 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37359616 140724880552307 140724880552492 140724880552492 140724880555983 0
[pid=31444/tid=31452] ppid=31441 vsize=13982084 memory=310 CPUtime=0 cores=0,2,4,6
/proc/31444/task/31452/stat : 31452 (java) S 31441 31444 2357 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 15 0 14192840 14317654016 1032844 18446744073709551615 4194304 4196468 140724880547632 140674862093920 140675384456917 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37359616 140724880552307 140724880552492 140724880552492 140724880555983 0
[pid=31444/tid=31453] ppid=31441 vsize=13982084 memory=4131376 CPUtime=0 cores=0,2,4,6
/proc/31444/task/31453/stat : 31453 (java) S 31441 31444 2357 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 14192840 14317654016 1032844 18446744073709551615 4194304 4196468 140724880547632 140674861041024 140675384456917 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37359616 140724880552307 140724880552492 140724880552492 140724880555983 0
[pid=31444/tid=31454] ppid=31441 vsize=13982084 memory=4138028 CPUtime=0 cores=0,2,4,6
/proc/31444/task/31454/stat : 31454 (java) S 31441 31444 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 14192843 14317654016 1032844 18446744073709551615 4194304 4196468 140724880547632 140674859989328 140675384465307 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37359616 140724880552307 140724880552492 140724880552492 140724880555983 0
[pid=31444/tid=31455] ppid=31441 vsize=13982084 memory=4138028 CPUtime=2.79 cores=0,2,4,6
/proc/31444/task/31455/stat : 31455 (java) S 31441 31444 2357 0 -1 1077944384 16240 0 0 0 276 3 0 0 20 0 15 0 14192843 14317654016 1032844 18446744073709551615 4194304 4196468 140724880547632 140674858936688 140675384457858 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37359616 140724880552307 140724880552492 140724880552492 140724880555983 0
[pid=31444/tid=31456] ppid=31441 vsize=13982084 memory=4131376 CPUtime=3.1 cores=0,2,4,6
/proc/31444/task/31456/stat : 31456 (java) S 31441 31444 2357 0 -1 1077944384 18001 0 0 0 307 3 0 0 20 0 15 0 14192843 14317654016 1032844 18446744073709551615 4194304 4196468 140724880547632 140674857883888 140675384457858 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 57 0 0 6293624 6294260 37359616 140724880552307 140724880552492 140724880552492 140724880555983 0
[pid=31444/tid=31457] ppid=31441 vsize=13982084 memory=4149728 CPUtime=0.99 cores=0,2,4,6
/proc/31444/task/31457/stat : 31457 (java) S 31441 31444 2357 0 -1 1077944384 21505 0 0 0 95 4 0 0 20 0 15 0 14192843 14317654016 1032844 18446744073709551615 4194304 4196468 140724880547632 140674856831088 140675384457858 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37359616 140724880552307 140724880552492 140724880552492 140724880555983 0
[pid=31444/tid=31458] ppid=31441 vsize=13982084 memory=1732 CPUtime=0 cores=0,2,4,6
/proc/31444/task/31458/stat : 31458 (java) S 31441 31444 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 14192843 14317654016 1032844 18446744073709551615 4194304 4196468 140724880547632 140674855778528 140675384456917 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37359616 140724880552307 140724880552492 140724880552492 140724880555983 0
[pid=31444/tid=31459] ppid=31441 vsize=13982084 memory=1008 CPUtime=1.45 cores=0,2,4,6
/proc/31444/task/31459/stat : 31459 (java) S 31441 31444 2357 0 -1 1077944384 1063 0 0 0 78 67 0 0 20 0 15 0 14192846 14317654016 1032844 18446744073709551615 4194304 4196468 140724880547632 140674854726832 140675384457858 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 56 0 0 6293624 6294260 37359616 140724880552307 140724880552492 140724880552492 140724880555983 0
Current children cumulated CPU time: 2396.57 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 4131376 KiB

[startup+2382.3 s]
/proc/loadavg: 0.78 1.15 1.35 2/188 31906
/proc/meminfo: memFree=27545108/32770624 swapFree=67108860/67108860
[pid=31444] ppid=31441 vsize=13982084 memory=4000596 CPUtime=2458.18 cores=0,2,4,6
/proc/31444/stat : 31444 (java) S 31441 31444 2357 0 -1 1077944320 495131 0 0 0 245342 476 0 0 20 0 15 0 14192829 14317654016 1000149 18446744073709551615 4194304 4196468 140724880547632 140724880530176 140675384446711 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 8 0 0 6293624 6294260 37359616 140724880552307 140724880552492 140724880552492 140724880555983 0
/proc/31444/statm: 3495521 1000149 3821 1 0 3484295 0
[pid=31444/tid=31446] ppid=31441 vsize=13982084 memory=956 CPUtime=2357.51 cores=0,2,4,6
/proc/31444/task/31446/stat : 31446 (java) R 31441 31444 2357 0 -1 4202560 250600 0 0 0 235638 113 0 0 20 0 15 0 14192838 14317654016 1000149 18446744073709551615 4194304 4196468 140724880547632 140675388685376 140675034096230 0 4 1 16800974 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 37359616 140724880552307 140724880552492 140724880552492 140724880555983 0
[pid=31444/tid=31447] ppid=31441 vsize=13982084 memory=4018036 CPUtime=22.76 cores=0,2,4,6
/proc/31444/task/31447/stat : 31447 (java) S 31441 31444 2357 0 -1 1077944384 32042 0 0 0 2206 70 0 0 20 0 15 0 14192838 14317654016 1000149 18446744073709551615 4194304 4196468 140724880547632 140675347552912 140675384456917 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37359616 140724880552307 140724880552492 140724880552492 140724880555983 0
[pid=31444/tid=31448] ppid=31441 vsize=13982084 memory=4022140 CPUtime=22.76 cores=0,2,4,6
/proc/31444/task/31448/stat : 31448 (java) S 31441 31444 2357 0 -1 1077944384 30701 0 0 0 2206 70 0 0 20 0 15 0 14192838 14317654016 1000149 18446744073709551615 4194304 4196468 140724880547632 140674983082512 140675384456917 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37359616 140724880552307 140724880552492 140724880552492 140724880555983 0
[pid=31444/tid=31449] ppid=31441 vsize=13982084 memory=4011368 CPUtime=22.81 cores=0,2,4,6
/proc/31444/task/31449/stat : 31449 (java) S 31441 31444 2357 0 -1 1077944384 33946 0 0 0 2211 70 0 0 20 0 15 0 14192838 14317654016 1000149 18446744073709551615 4194304 4196468 140724880547632 140674982029712 140675384456917 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37359616 140724880552307 140724880552492 140724880552492 140724880555983 0
[pid=31444/tid=31450] ppid=31441 vsize=13982084 memory=4006752 CPUtime=22.76 cores=0,2,4,6
/proc/31444/task/31450/stat : 31450 (java) S 31441 31444 2357 0 -1 1077944384 34835 0 0 0 2204 72 0 0 20 0 15 0 14192838 14317654016 1000149 18446744073709551615 4194304 4196468 140724880547632 140674980976912 140675384456917 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37359616 140724880552307 140724880552492 140724880552492 140724880555983 0
[pid=31444/tid=31451] ppid=31441 vsize=13982084 memory=4006752 CPUtime=1.11 cores=0,2,4,6
/proc/31444/task/31451/stat : 31451 (java) S 31441 31444 2357 0 -1 1077944384 54759 0 0 0 90 21 0 0 20 0 15 0 14192840 14317654016 1000149 18446744073709551615 4194304 4196468 140724880547632 140674863147888 140675384457858 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37359616 140724880552307 140724880552492 140724880552492 140724880555983 0
[pid=31444/tid=31452] ppid=31441 vsize=13982084 memory=4006752 CPUtime=0 cores=0,2,4,6
/proc/31444/task/31452/stat : 31452 (java) S 31441 31444 2357 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 15 0 14192840 14317654016 1000149 18446744073709551615 4194304 4196468 140724880547632 140674862093920 140675384456917 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37359616 140724880552307 140724880552492 140724880552492 140724880555983 0
[pid=31444/tid=31453] ppid=31441 vsize=13982084 memory=4000596 CPUtime=0 cores=0,2,4,6
/proc/31444/task/31453/stat : 31453 (java) S 31441 31444 2357 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 14192840 14317654016 1000149 18446744073709551615 4194304 4196468 140724880547632 140674861041024 140675384456917 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37359616 140724880552307 140724880552492 140724880552492 140724880555983 0
[pid=31444/tid=31454] ppid=31441 vsize=13982084 memory=4000596 CPUtime=0 cores=0,2,4,6
/proc/31444/task/31454/stat : 31454 (java) S 31441 31444 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 14192843 14317654016 1000149 18446744073709551615 4194304 4196468 140724880547632 140674859989328 140675384465307 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37359616 140724880552307 140724880552492 140724880552492 140724880555983 0
[pid=31444/tid=31455] ppid=31441 vsize=13982084 memory=4620 CPUtime=2.79 cores=0,2,4,6
/proc/31444/task/31455/stat : 31455 (java) S 31441 31444 2357 0 -1 1077944384 16242 0 0 0 276 3 0 0 20 0 15 0 14192843 14317654016 1000149 18446744073709551615 4194304 4196468 140724880547632 140674858936688 140675384457858 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37359616 140724880552307 140724880552492 140724880552492 140724880555983 0
[pid=31444/tid=31456] ppid=31441 vsize=13982084 memory=2251 CPUtime=3.1 cores=0,2,4,6
/proc/31444/task/31456/stat : 31456 (java) S 31441 31444 2357 0 -1 1077944384 18003 0 0 0 307 3 0 0 20 0 15 0 14192843 14317654016 1000149 18446744073709551615 4194304 4196468 140724880547632 140674857883888 140675384457858 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 57 0 0 6293624 6294260 37359616 140724880552307 140724880552492 140724880552492 140724880555983 0
[pid=31444/tid=31457] ppid=31441 vsize=13982084 memory=4006752 CPUtime=0.99 cores=0,2,4,6
/proc/31444/task/31457/stat : 31457 (java) S 31441 31444 2357 0 -1 1077944384 21507 0 0 0 95 4 0 0 20 0 15 0 14192843 14317654016 1000149 18446744073709551615 4194304 4196468 140724880547632 140674856831088 140675384457858 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37359616 140724880552307 140724880552492 140724880552492 140724880555983 0
[pid=31444/tid=31458] ppid=31441 vsize=13982084 memory=3900 CPUtime=0 cores=0,2,4,6
/proc/31444/task/31458/stat : 31458 (java) S 31441 31444 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 14192843 14317654016 1000149 18446744073709551615 4194304 4196468 140724880547632 140674855778528 140675384456917 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37359616 140724880552307 140724880552492 140724880552492 140724880555983 0
[pid=31444/tid=31459] ppid=31441 vsize=13982084 memory=2836 CPUtime=1.49 cores=0,2,4,6
/proc/31444/task/31459/stat : 31459 (java) S 31441 31444 2357 0 -1 1077944384 1088 0 0 0 80 69 0 0 20 0 15 0 14192846 14317654016 1000149 18446744073709551615 4194304 4196468 140724880547632 140674854726832 140675384457858 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 56 0 0 6293624 6294260 37359616 140724880552307 140724880552492 140724880552492 140724880555983 0
Current children cumulated CPU time: 2458.18 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 4000596 KiB

[startup+2442.3 s]
/proc/loadavg: 0.66 1.06 1.31 2/188 31908
/proc/meminfo: memFree=27430496/32770624 swapFree=67108860/67108860
[pid=31444] ppid=31441 vsize=13982084 memory=4115512 CPUtime=2519.77 cores=0,2,4,6
/proc/31444/stat : 31444 (java) S 31441 31444 2357 0 -1 1077944320 504962 0 0 0 251489 488 0 0 20 0 15 0 14192829 14317654016 1028878 18446744073709551615 4194304 4196468 140724880547632 140724880530176 140675384446711 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 8 0 0 6293624 6294260 37359616 140724880552307 140724880552492 140724880552492 140724880555983 0
/proc/31444/statm: 3495521 1028878 3821 1 0 3484295 0
[pid=31444/tid=31446] ppid=31441 vsize=13982084 memory=4120124 CPUtime=2416.96 cores=0,2,4,6
/proc/31444/task/31446/stat : 31446 (java) R 31441 31444 2357 0 -1 4202560 256289 0 0 0 241580 116 0 0 20 0 15 0 14192838 14317654016 1028878 18446744073709551615 4194304 4196468 140724880547632 140675388685376 140675034096166 0 4 1 16800974 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 37359616 140724880552307 140724880552492 140724880552492 140724880555983 0
[pid=31444/tid=31447] ppid=31441 vsize=13982084 memory=4154500 CPUtime=23.26 cores=0,2,4,6
/proc/31444/task/31447/stat : 31447 (java) S 31441 31444 2357 0 -1 1077944384 32499 0 0 0 2255 71 0 0 20 0 15 0 14192838 14317654016 1028878 18446744073709551615 4194304 4196468 140724880547632 140675347552912 140675384456917 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37359616 140724880552307 140724880552492 140724880552492 140724880555983 0
[pid=31444/tid=31448] ppid=31441 vsize=13982084 memory=4154500 CPUtime=23.28 cores=0,2,4,6
/proc/31444/task/31448/stat : 31448 (java) S 31441 31444 2357 0 -1 1077944384 31060 0 0 0 2257 71 0 0 20 0 15 0 14192838 14317654016 1028878 18446744073709551615 4194304 4196468 140724880547632 140674983082512 140675384456917 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37359616 140724880552307 140724880552492 140724880552492 140724880555983 0
[pid=31444/tid=31449] ppid=31441 vsize=13982084 memory=4137572 CPUtime=23.33 cores=0,2,4,6
/proc/31444/task/31449/stat : 31449 (java) S 31441 31444 2357 0 -1 1077944384 35123 0 0 0 2261 72 0 0 20 0 15 0 14192838 14317654016 1028878 18446744073709551615 4194304 4196468 140724880547632 140674982029712 140675384456917 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37359616 140724880552307 140724880552492 140724880552492 140724880555983 0
[pid=31444/tid=31450] ppid=31441 vsize=13982084 memory=4127312 CPUtime=23.28 cores=0,2,4,6
/proc/31444/task/31450/stat : 31450 (java) S 31441 31444 2357 0 -1 1077944384 35691 0 0 0 2255 73 0 0 20 0 15 0 14192838 14317654016 1028878 18446744073709551615 4194304 4196468 140724880547632 140674980976912 140675384456917 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37359616 140724880552307 140724880552492 140724880552492 140724880555983 0
[pid=31444/tid=31451] ppid=31441 vsize=13982084 memory=4137572 CPUtime=1.14 cores=0,2,4,6
/proc/31444/task/31451/stat : 31451 (java) S 31441 31444 2357 0 -1 1077944384 55114 0 0 0 92 22 0 0 20 0 15 0 14192840 14317654016 1028878 18446744073709551615 4194304 4196468 140724880547632 140674863147888 140675384457858 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37359616 140724880552307 140724880552492 140724880552492 140724880555983 0
[pid=31444/tid=31452] ppid=31441 vsize=13982084 memory=4115512 CPUtime=0 cores=0,2,4,6
/proc/31444/task/31452/stat : 31452 (java) S 31441 31444 2357 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 15 0 14192840 14317654016 1028878 18446744073709551615 4194304 4196468 140724880547632 140674862093920 140675384456917 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37359616 140724880552307 140724880552492 140724880552492 140724880555983 0
[pid=31444/tid=31453] ppid=31441 vsize=13982084 memory=4147832 CPUtime=0 cores=0,2,4,6
/proc/31444/task/31453/stat : 31453 (java) S 31441 31444 2357 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 14192840 14317654016 1028878 18446744073709551615 4194304 4196468 140724880547632 140674861041024 140675384456917 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37359616 140724880552307 140724880552492 140724880552492 140724880555983 0
[pid=31444/tid=31454] ppid=31441 vsize=13982084 memory=4134492 CPUtime=0 cores=0,2,4,6
/proc/31444/task/31454/stat : 31454 (java) S 31441 31444 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 14192843 14317654016 1028878 18446744073709551615 4194304 4196468 140724880547632 140674859989328 140675384465307 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37359616 140724880552307 140724880552492 140724880552492 140724880555983 0
[pid=31444/tid=31455] ppid=31441 vsize=13982084 memory=2012 CPUtime=2.8 cores=0,2,4,6
/proc/31444/task/31455/stat : 31455 (java) S 31441 31444 2357 0 -1 1077944384 16246 0 0 0 277 3 0 0 20 0 15 0 14192843 14317654016 1028878 18446744073709551615 4194304 4196468 140724880547632 140674858936688 140675384457858 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37359616 140724880552307 140724880552492 140724880552492 140724880555983 0
[pid=31444/tid=31456] ppid=31441 vsize=13982084 memory=4122180 CPUtime=3.1 cores=0,2,4,6
/proc/31444/task/31456/stat : 31456 (java) S 31441 31444 2357 0 -1 1077944384 18010 0 0 0 307 3 0 0 20 0 15 0 14192843 14317654016 1028878 18446744073709551615 4194304 4196468 140724880547632 140674857883888 140675384457858 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 57 0 0 6293624 6294260 37359616 140724880552307 140724880552492 140724880552492 140724880555983 0
[pid=31444/tid=31457] ppid=31441 vsize=13982084 memory=4122180 CPUtime=1 cores=0,2,4,6
/proc/31444/task/31457/stat : 31457 (java) S 31441 31444 2357 0 -1 1077944384 22393 0 0 0 96 4 0 0 20 0 15 0 14192843 14317654016 1028878 18446744073709551615 4194304 4196468 140724880547632 140674856831088 140675384457858 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37359616 140724880552307 140724880552492 140724880552492 140724880555983 0
[pid=31444/tid=31458] ppid=31441 vsize=13982084 memory=4122180 CPUtime=0 cores=0,2,4,6
/proc/31444/task/31458/stat : 31458 (java) S 31441 31444 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 14192843 14317654016 1028878 18446744073709551615 4194304 4196468 140724880547632 140674855778528 140675384456917 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37359616 140724880552307 140724880552492 140724880552492 140724880555983 0
[pid=31444/tid=31459] ppid=31441 vsize=13982084 memory=1692 CPUtime=1.53 cores=0,2,4,6
/proc/31444/task/31459/stat : 31459 (java) S 31441 31444 2357 0 -1 1077944384 1129 0 0 0 82 71 0 0 20 0 15 0 14192846 14317654016 1028878 18446744073709551615 4194304 4196468 140724880547632 140674854726832 140675384457858 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 56 0 0 6293624 6294260 37359616 140724880552307 140724880552492 140724880552492 140724880555983 0
Current children cumulated CPU time: 2519.77 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 4115512 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2442.6 s]
/proc/loadavg: 0.66 1.06 1.31 2/188 31908
/proc/meminfo: memFree=27430496/32770624 swapFree=67108860/67108860
[pid=31444] ppid=31441 vsize=13982084 memory=4115512 CPUtime=2520.07 cores=0,2,4,6
/proc/31444/stat : 31444 (java) S 31441 31444 2357 0 -1 1077944320 504962 0 0 0 251519 488 0 0 20 0 15 0 14192829 14317654016 1028878 18446744073709551615 4194304 4196468 140724880547632 140724880530176 140675384446711 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 8 0 0 6293624 6294260 37359616 140724880552307 140724880552492 140724880552492 140724880555983 0
/proc/31444/statm: 3495521 1028878 3821 1 0 3484295 0
[pid=31444/tid=31446] ppid=31441 vsize=13982084 memory=1732 CPUtime=2417.26 cores=0,2,4,6
/proc/31444/task/31446/stat : 31446 (java) R 31441 31444 2357 0 -1 4202560 256289 0 0 0 241610 116 0 0 20 0 15 0 14192838 14317654016 1028878 18446744073709551615 4194304 4196468 140724880547632 140675388685264 140675034096161 0 4 1 16800974 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 37359616 140724880552307 140724880552492 140724880552492 140724880555983 0
[pid=31444/tid=31447] ppid=31441 vsize=13982084 memory=1008 CPUtime=23.26 cores=0,2,4,6
/proc/31444/task/31447/stat : 31447 (java) S 31441 31444 2357 0 -1 1077944384 32499 0 0 0 2255 71 0 0 20 0 15 0 14192838 14317654016 1028878 18446744073709551615 4194304 4196468 140724880547632 140675347552912 140675384456917 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37359616 140724880552307 140724880552492 140724880552492 140724880555983 0
[pid=31444/tid=31448] ppid=31441 vsize=13982084 memory=1228 CPUtime=23.28 cores=0,2,4,6
/proc/31444/task/31448/stat : 31448 (java) S 31441 31444 2357 0 -1 1077944384 31060 0 0 0 2257 71 0 0 20 0 15 0 14192838 14317654016 1028878 18446744073709551615 4194304 4196468 140724880547632 140674983082512 140675384456917 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37359616 140724880552307 140724880552492 140724880552492 140724880555983 0
[pid=31444/tid=31449] ppid=31441 vsize=13982084 memory=4122180 CPUtime=23.33 cores=0,2,4,6
/proc/31444/task/31449/stat : 31449 (java) S 31441 31444 2357 0 -1 1077944384 35123 0 0 0 2261 72 0 0 20 0 15 0 14192838 14317654016 1028878 18446744073709551615 4194304 4196468 140724880547632 140674982029712 140675384456917 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37359616 140724880552307 140724880552492 140724880552492 140724880555983 0
[pid=31444/tid=31450] ppid=31441 vsize=13982084 memory=844 CPUtime=23.28 cores=0,2,4,6
/proc/31444/task/31450/stat : 31450 (java) S 31441 31444 2357 0 -1 1077944384 35691 0 0 0 2255 73 0 0 20 0 15 0 14192838 14317654016 1028878 18446744073709551615 4194304 4196468 140724880547632 140674980976912 140675384456917 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37359616 140724880552307 140724880552492 140724880552492 140724880555983 0
[pid=31444/tid=31451] ppid=31441 vsize=13982084 memory=3900 CPUtime=1.14 cores=0,2,4,6
/proc/31444/task/31451/stat : 31451 (java) S 31441 31444 2357 0 -1 1077944384 55114 0 0 0 92 22 0 0 20 0 15 0 14192840 14317654016 1028878 18446744073709551615 4194304 4196468 140724880547632 140674863147888 140675384457858 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37359616 140724880552307 140724880552492 140724880552492 140724880555983 0
[pid=31444/tid=31452] ppid=31441 vsize=13982084 memory=2836 CPUtime=0 cores=0,2,4,6
/proc/31444/task/31452/stat : 31452 (java) S 31441 31444 2357 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 15 0 14192840 14317654016 1028878 18446744073709551615 4194304 4196468 140724880547632 140674862093920 140675384456917 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37359616 140724880552307 140724880552492 140724880552492 140724880555983 0
[pid=31444/tid=31453] ppid=31441 vsize=13982084 memory=4068 CPUtime=0 cores=0,2,4,6
/proc/31444/task/31453/stat : 31453 (java) S 31441 31444 2357 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 14192840 14317654016 1028878 18446744073709551615 4194304 4196468 140724880547632 140674861041024 140675384456917 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37359616 140724880552307 140724880552492 140724880552492 140724880555983 0
[pid=31444/tid=31454] ppid=31441 vsize=13982084 memory=1152 CPUtime=0 cores=0,2,4,6
/proc/31444/task/31454/stat : 31454 (java) S 31441 31444 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 14192843 14317654016 1028878 18446744073709551615 4194304 4196468 140724880547632 140674859989328 140675384465307 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37359616 140724880552307 140724880552492 140724880552492 140724880555983 0
[pid=31444/tid=31455] ppid=31441 vsize=13982084 memory=0 CPUtime=2.8 cores=0,2,4,6
/proc/31444/task/31455/stat : 31455 (java) S 31441 31444 2357 0 -1 1077944384 16246 0 0 0 277 3 0 0 20 0 15 0 14192843 14317654016 1028878 18446744073709551615 4194304 4196468 140724880547632 140674858936688 140675384457858 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37359616 140724880552307 140724880552492 140724880552492 140724880555983 0
[pid=31444/tid=31456] ppid=31441 vsize=13982084 memory=0 CPUtime=3.1 cores=0,2,4,6
/proc/31444/task/31456/stat : 31456 (java) S 31441 31444 2357 0 -1 1077944384 18010 0 0 0 307 3 0 0 20 0 15 0 14192843 14317654016 1028878 18446744073709551615 4194304 4196468 140724880547632 140674857883888 140675384457858 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 57 0 0 6293624 6294260 37359616 140724880552307 140724880552492 140724880552492 140724880555983 0
[pid=31444/tid=31457] ppid=31441 vsize=13982084 memory=6127903215979056464 CPUtime=1 cores=0,2,4,6
/proc/31444/task/31457/stat : 31457 (java) S 31441 31444 2357 0 -1 1077944384 22393 0 0 0 96 4 0 0 20 0 15 0 14192843 14317654016 1028878 18446744073709551615 4194304 4196468 140724880547632 140674856831088 140675384457858 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37359616 140724880552307 140724880552492 140724880552492 140724880555983 0
[pid=31444/tid=31458] ppid=31441 vsize=13982084 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/31444/task/31458/stat : 31458 (java) S 31441 31444 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 14192843 14317654016 1028878 18446744073709551615 4194304 4196468 140724880547632 140674855778528 140675384456917 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37359616 140724880552307 140724880552492 140724880552492 140724880555983 0
[pid=31444/tid=31459] ppid=31441 vsize=13982084 memory=0 CPUtime=1.53 cores=0,2,4,6
/proc/31444/task/31459/stat : 31459 (java) S 31441 31444 2357 0 -1 1077944384 1129 0 0 0 82 71 0 0 20 0 15 0 14192846 14317654016 1028878 18446744073709551615 4194304 4196468 140724880547632 140674854726832 140675384457858 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 56 0 0 6293624 6294260 37359616 140724880552307 140724880552492 140724880552492 140724880555983 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 4115512 KiB

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

[startup+2442.64 s]
# the end of solver process 31444 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2515.22 s, system=4.90161 s

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

Child status: 143
Real time (s): 2442.64
CPU time (s): 2520.12
CPU user time (s): 2515.22
CPU system time (s): 4.90161
CPU usage (%): 103.172
Max. virtual memory (cumulated for all children) (KiB): 13982084
Max. memory (cumulated for all children) (KiB): 4177588

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.22
system time used= 4.90161
maximum resident set size= 4177880
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 506326
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3040
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 72559
involuntary context switches= 5174


# summary of solver processes directly reported to runsolver:
#   pid: 31444
#   total CPU time (s): 2520.12
#   total CPU user time (s): 2515.22
#   total CPU system time (s): 4.90161

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.9327 second user time and 23.706 second system time

The end

Launcher Data 

Begin job on node129 at 2017-08-16 08:29:01
IDJOB=4274332
IDBENCH=140592
IDSOLVER=2666
FILE ID=node129/4274332-1502865777
RUNJOBID= node129-1502746532-7259
PBS_JOBID= 
Free space on /tmp= 61972 MiB

SOLVER NAME= OscaR - Conflict Ordering 2017-07-26
BENCH NAME= XCSP17/Ramsey/Ramsey-int-s1/Ramsey-int-47.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-4274332-1502865777/watcher-4274332-1502865777 -o /tmp/evaluation-result-4274332-1502865777/solver-4274332-1502865777 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node129-1502746532-7259 --watchdog 2580  java -Xmx11000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed 21523572 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4274332-1502865777.xml

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

MD5SUM BENCH= b40b46819fbd3a38fcaaee2fdd389509
RANDOM SEED=21523572

node129.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.61
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.61
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.61
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.61
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:        27781676 kB
MemAvailable:   28298412 kB
Buffers:          182688 kB
Cached:           620876 kB
SwapCached:            0 kB
Active:          4127616 kB
Inactive:         443028 kB
Active(anon):    3767812 kB
Inactive(anon):    16744 kB
Active(file):     359804 kB
Inactive(file):   426284 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             42608 kB
Writeback:             0 kB
AnonPages:       3769144 kB
Mapped:            46584 kB
Shmem:             17060 kB
Slab:             117860 kB
SReclaimable:      92964 kB
SUnreclaim:        24896 kB
KernelStack:        3488 kB
PageTables:        12260 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    4351320 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3622912 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      114048 kB
DirectMap2M:    33431552 kB

Free space on /tmp at the end= 61972 MiB
End job on node129 at 2017-08-16 09:09:44