Trace number 4248630

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
R1: OscaR - Conflict Ordering 2017-06-30SAT (TO)741 2400.0701 2320.05

General information on the benchmark

NameRamsey/Ramsey-int-s1/
Ramsey-int-44.xml
MD5SUM0962135a9df7191e1203c0b83ceb0052
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.0901
Satisfiable
(Un)Satisfiability was proved
Number of variables1936
Number of constraints13244
Number of domains1
Minimum domain size946
Maximum domain size946
Distribution of domain sizes[{"size":946,"count":946}]
Minimum variable degree0
Maximum variable degree43
Distribution of variable degrees[{"degree":0,"count":990},{"degree":43,"count":946}]
Minimum constraint arity3
Maximum constraint arity3
Distribution of constraint arities[{"arity":3,"count":13244}]
Number of extensional constraints0
Number of intensional constraints13244
Distribution of constraint types[{"type":"intension","count":13244}]
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.21/0.39	c version: 2017-06-30
0.21/0.39	c seed: 821810094
0.21/0.39	c timeout: 2400
0.21/0.40	c memlimit: 15500
0.21/0.40	c nbcore: 4
0.38/0.42	c Parsing instance...
5.73/2.16	c Parsing done, starting search...
20.21/15.16	o 945
34.28/28.21	o 944
48.09/41.67	o 943
61.97/55.07	o 942
75.45/68.17	o 941
89.01/81.20	o 940
102.44/94.26	o 939
115.81/107.29	o 938
129.27/120.35	o 937
142.65/133.36	o 936
156.17/146.45	o 935
169.54/159.47	o 934
182.92/172.47	o 933
196.29/185.42	o 932
209.57/198.39	o 931
222.96/211.34	o 930
236.22/224.25	o 929
249.58/237.20	o 928
262.96/250.20	o 927
276.15/263.07	o 926
289.44/275.94	o 925
302.71/288.81	o 924
315.91/301.68	o 923
329.94/314.84	o 922
343.09/327.68	o 921
356.34/340.52	o 920
369.50/353.33	o 919
382.57/366.04	o 918
395.78/378.93	o 917
408.85/391.68	o 916
422.01/404.49	o 915
435.16/417.23	o 914
448.28/430.01	o 913
461.55/442.93	o 912
474.59/455.66	o 911
487.76/468.40	o 910
501.27/481.28	o 909
514.33/493.97	o 908
527.30/506.58	o 907
540.40/519.30	o 906
553.34/531.98	o 905
566.43/544.63	o 904
580.27/558.19	o 903
594.08/571.54	o 902
607.83/584.92	o 901
621.50/598.23	o 900
635.29/611.64	o 899
648.95/624.94	o 898
663.32/638.41	o 897
676.87/651.66	o 896
690.44/664.88	o 895
704.05/678.14	o 894
717.61/691.31	o 893
731.07/704.47	o 892
744.65/717.60	o 891
758.11/730.76	o 890
771.61/743.93	o 889
784.99/756.95	o 888
798.38/769.97	o 887
811.68/782.95	o 886
825.05/795.95	o 885
838.40/808.90	o 884
851.54/821.78	o 883
865.12/834.68	o 882
878.26/847.46	o 881
891.33/860.19	o 880
904.34/872.88	o 879
917.39/885.52	o 878
930.30/898.17	o 877
943.27/910.78	o 876
956.17/923.37	o 875
969.03/935.87	o 874
981.84/948.38	o 873
994.71/960.87	o 872
1007.41/973.27	o 871
1020.18/985.64	o 870
1032.89/998.05	o 869
1045.93/1010.49	o 868
1058.50/1022.67	o 867
1071.06/1034.86	o 866
1083.53/1046.98	o 865
1096.00/1059.09	o 864
1108.47/1071.14	o 863
1120.92/1083.19	o 862
1133.31/1095.17	o 861
1145.59/1107.07	o 860
1157.85/1118.90	o 859
1170.03/1130.79	o 858
1182.30/1142.67	o 857
1194.58/1154.56	o 856
1206.86/1166.44	o 855
1219.04/1178.27	o 854
1231.31/1190.12	o 853
1243.59/1202.00	o 852
1255.71/1213.85	o 851
1268.46/1225.82	o 850
1280.54/1237.53	o 849
1292.50/1249.15	o 848
1304.49/1260.78	o 847
1316.54/1272.41	o 846
1328.60/1284.10	o 845
1340.52/1295.75	o 844
1352.39/1307.29	o 843
1364.27/1318.75	o 842
1376.14/1330.23	o 841
1387.96/1341.73	o 840
1399.74/1353.10	o 839
1411.41/1364.49	o 838
1423.12/1375.86	o 837
1434.91/1387.23	o 836
1446.48/1398.48	o 835
1458.10/1409.73	o 834
1469.68/1420.96	o 833
1481.26/1432.13	o 832
1493.26/1443.42	o 831
1504.62/1454.41	o 830
1516.03/1465.53	o 829
1527.41/1476.52	o 828
1538.62/1487.49	o 827
1549.91/1498.39	o 826
1561.22/1509.33	o 825
1572.39/1520.16	o 824
1583.50/1530.98	o 823
1594.68/1541.74	o 822
1605.80/1552.56	o 821
1616.83/1563.23	o 820
1627.79/1573.81	o 819
1638.73/1584.42	o 818
1649.66/1595.00	o 817
1660.53/1605.57	o 816
1671.45/1616.16	o 815
1682.27/1626.67	o 814
1693.28/1637.20	o 813
1704.57/1647.85	o 812
1715.39/1658.30	o 811
1726.00/1668.69	o 810
1737.08/1679.30	o 809
1747.81/1689.73	o 808
1758.41/1700.08	o 807
1769.19/1710.42	o 806
1779.91/1720.87	o 805
1790.52/1731.19	o 804
1801.15/1741.43	o 803
1811.66/1751.66	o 802
1822.23/1761.85	o 801
1832.87/1772.19	o 800
1843.38/1782.36	o 799
1853.91/1792.53	o 798
1864.33/1802.63	o 797
1874.65/1812.66	o 796
1884.97/1822.69	o 795
1895.30/1832.68	o 794
1905.63/1842.65	o 793
1916.31/1852.65	o 792
1926.52/1862.53	o 791
1936.65/1872.39	o 790
1946.87/1882.25	o 789
1956.99/1892.03	o 788
1966.99/1901.79	o 787
1977.01/1911.47	o 786
1987.03/1921.10	o 785
1996.95/1930.72	o 784
2006.86/1940.30	o 783
2016.69/1949.84	o 782
2026.50/1959.36	o 781
2036.36/1968.93	o 780
2046.10/1978.36	o 779
2055.73/1987.67	o 778
2065.45/1997.06	o 777
2075.19/2006.45	o 776
2084.95/2015.95	o 775
2094.68/2025.31	o 774
2104.22/2034.59	o 773
2114.40/2044.04	o 772
2123.96/2053.34	o 771
2133.69/2062.71	o 770
2143.12/2071.85	o 769
2152.63/2081.04	o 768
2162.10/2090.26	o 767
2171.62/2099.43	o 766
2181.05/2108.50	o 765
2190.42/2117.68	o 764
2199.94/2126.89	o 763
2209.36/2135.90	o 762
2218.62/2144.95	o 761
2228.06/2154.04	o 760
2237.28/2162.96	o 759
2246.56/2171.96	o 758
2255.78/2180.86	o 757
2264.94/2189.76	o 756
2274.27/2198.78	o 755
2283.39/2207.59	o 754
2292.67/2216.52	o 753
2302.17/2225.35	o 752
2311.23/2234.19	o 751
2320.25/2242.82	o 750
2329.20/2251.59	o 749
2338.13/2260.15	o 748
2347.09/2268.84	o 747
2355.95/2277.40	o 746
2364.78/2285.98	o 745
2373.55/2294.48	o 744
2382.27/2302.89	o 743
2391.13/2311.40	o 742
2399.70/2319.76	o 741
2400.01/2320.01	s SATISFIABLE
2400.01/2320.01	v <instantiation>
2400.01/2320.01	v 	<list>
2400.01/2320.01	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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[35][36] x[35][37] x[35][38] x[35][39] x[35][40] x[35][41] x[35][42] x[35][43] x[36][37] x[36][38] x[36][39] x[36][40] x[36][41] x[36][42] x[36][43] x[37][38] x[37][39] x[37][40] x[37][41] x[37][42] x[37][43] x[38][39] x[38][40] x[38][41] x[38][42] x[38][43] x[39][40] x[39][41] x[39][42] x[39][43] x[40][41] x[40][42] x[40][43] x[41][42] x[41][43] x[42][43]
2400.01/2320.01	v 	</list>
2400.01/2320.01	v 	<values>
2400.01/2320.01	v 		738 740 739 740 741 741 741 741 741 741 741 741 741 741 741 741 741 741 741 741 741 741 741 741 741 741 741 741 741 741 741 741 741 741 741 741 741 741 741 741 741 741 741 740 739 740 741 741 741 741 741 741 741 741 741 741 741 741 741 741 741 741 741 741 741 741 741 741 741 741 741 741 741 741 741 741 741 741 741 741 741 741 741 741 741 740 739 740 740 741 741 741 741 741 741 741 741 741 741 741 741 741 741 741 741 741 741 741 741 741 741 741 741 741 741 741 741 741 741 741 741 741 741 741 741 741 740 741 741 741 741 741 741 741 741 741 741 741 741 741 741 741 741 741 741 741 741 741 741 741 741 741 741 741 741 741 741 741 741 741 741 741 741 741 741 741 741 741 741 741 741 741 741 741 741 741 741 741 741 741 741 741 741 741 741 741 741 741 741 741 741 741 741 741 741 741 741 741 741 741 741 741 741 741 741 703 704 705 706 707 708 709 710 711 712 713 714 715 716 717 718 719 720 721 722 723 724 725 726 727 728 729 730 731 732 733 734 735 736 737 738 739 740 704 705 706 707 708 709 710 711 712 713 714 715 716 717 718 719 720 721 722 723 724 725 726 727 728 729 730 731 732 733 734 735 736 737 738 739 740 705 706 707 708 709 710 711 712 713 714 715 716 717 718 719 720 721 722 723 724 725 726 727 728 729 730 731 732 733 734 735 736 737 738 739 740 706 707 708 709 710 711 712 713 714 715 716 717 718 719 720 721 722 723 724 725 726 727 728 729 730 731 732 733 734 735 736 737 738 739 740 707 708 709 710 711 712 713 714 715 716 717 718 719 720 721 722 723 724 725 726 727 728 729 730 731 732 733 734 735 736 737 738 739 740 708 709 710 711 712 713 714 715 716 717 718 719 720 721 722 723 724 725 726 727 728 729 730 731 732 733 734 735 736 737 738 739 740 709 710 711 712 713 714 715 716 717 718 719 720 721 722 723 724 725 726 727 728 729 730 731 732 733 734 735 736 737 738 739 740 710 711 712 713 714 715 716 717 718 719 720 721 722 723 724 725 726 727 728 729 730 731 732 733 734 735 736 737 738 739 740 711 712 713 714 715 716 717 718 719 720 721 722 723 724 725 726 727 728 729 730 731 732 733 734 735 736 737 738 739 740 712 713 714 715 716 717 718 719 720 721 722 723 724 725 726 727 728 729 730 731 732 733 734 735 736 737 738 739 740 713 714 715 716 717 718 719 720 721 722 723 724 725 726 727 728 729 730 731 732 733 734 735 736 737 738 739 740 714 715 716 717 718 719 720 721 722 723 724 725 726 727 728 729 730 731 732 733 734 735 736 737 738 739 740 715 716 717 718 719 720 721 722 723 724 725 726 727 728 729 730 731 732 733 734 735 736 737 738 739 740 716 717 718 719 720 721 722 723 724 725 726 727 728 729 730 731 732 733 734 735 736 737 738 739 740 717 718 719 720 721 722 723 724 725 726 727 728 729 730 731 732 733 734 735 736 737 738 739 740 718 719 720 721 722 723 724 725 726 727 728 729 730 731 732 733 734 735 736 737 738 739 740 719 720 721 722 723 724 725 726 727 728 729 730 731 732 733 734 735 736 737 738 739 740 720 721 722 723 724 725 726 727 728 729 730 731 732 733 734 735 736 737 738 739 740 721 722 723 724 725 726 727 728 729 730 731 732 733 734 735 736 737 738 739 740 722 723 724 725 726 727 728 729 730 731 732 733 734 735 736 737 738 739 740 723 724 725 726 727 728 729 730 731 732 733 734 735 736 737 738 739 740 724 725 726 727 728 729 730 731 732 733 734 735 736 737 738 739 740 725 726 727 728 729 730 731 732 733 734 735 736 737 738 739 740 726 727 728 729 730 731 732 733 734 735 736 737 738 739 740 727 728 729 730 731 732 733 734 735 736 737 738 739 740 728 729 730 731 732 733 734 735 736 737 738 739 740 729 730 731 732 733 734 735 736 737 738 739 740 730 731 732 733 734 735 736 737 738 739 740 731 732 733 734 735 736 737 738 739 740 732 733 734 735 736 737 738 739 740 733 734 735 736 737 738 739 740 734 735 736 737 738 739 740 735 736 737 738 739 740 736 737 738 739 740 737 738 739 740 738 739 740 739 740 740 
2400.01/2320.01	v 	</values>
2400.01/2320.01	v </instantiation>

Verifier Data 

OK	741

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4248630-1502124464/watcher-4248630-1502124464 -o /tmp/evaluation-result-4248630-1502124464/solver-4248630-1502124464 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node133-1502065585-15257 --watchdog 2560 java -Xmx10000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed 821810094 --timelimit 2400 --memlimit 15500 --nbcore 4 HOME/instance-4248630-1502124464.xml 

pid=25635
running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 1.59 1.57 1.54 2/200 25638
/proc/meminfo: memFree=28890212/32770624 swapFree=0/351960
[pid=25638] ppid=25635 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/25638/stat : 25638 (runsolver) D 25635 25638 25100 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 60261729 24240128 107 18446744073709551615 4194304 4338465 140736329552768 140736329550408 139661295104727 0 0 1 24578 18446744071580418449 0 0 17 3 0 0 0 0 0 6438912 6441760 17600512 140736329560166 140736329560649 140736329560649 140736329564106 0
/proc/25638/statm: 5918 107 54 36 0 2156 0

[startup+0.100061 s]
/proc/loadavg: 1.59 1.57 1.54 2/200 25638
/proc/meminfo: memFree=28890212/32770624 swapFree=0/351960
[pid=25638] ppid=25635 vsize=10634404 CPUtime=0 cores=1,3,5,7
/proc/25638/stat : 25638 (java) S 25635 25638 25100 0 -1 1077944320 2262 0 0 0 0 0 0 0 20 0 6 0 60261729 10889629696 2462 18446744073709551615 4194304 4196468 140727277050160 140727277032704 140684696121079 0 0 1 16784584 18446744073709551615 0 0 17 5 0 0 9 0 0 6293624 6294260 29495296 140727277052308 140727277052494 140727277052494 140727277055951 0
/proc/25638/statm: 2658601 2462 1169 1 0 2648571 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 10634404

[startup+0.200292 s]
/proc/loadavg: 1.59 1.57 1.54 2/200 25638
/proc/meminfo: memFree=28890212/32770624 swapFree=0/351960
[pid=25638] ppid=25635 vsize=12911640 CPUtime=0.05 cores=1,3,5,7
/proc/25638/stat : 25638 (java) S 25635 25638 25100 0 -1 1077944320 4629 0 0 0 4 1 0 0 20 0 15 0 60261729 13221519360 5169 18446744073709551615 4194304 4196468 140727277050160 140727277032704 140684696121079 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 9 0 0 6293624 6294260 29495296 140727277052308 140727277052494 140727277052494 140727277055951 0
/proc/25638/statm: 3227910 5169 2584 1 0 3217407 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 12911640

[startup+0.300192 s]
/proc/loadavg: 1.59 1.57 1.54 2/200 25638
/proc/meminfo: memFree=28890212/32770624 swapFree=0/351960
[pid=25638] ppid=25635 vsize=12915536 CPUtime=0.21 cores=1,3,5,7
/proc/25638/stat : 25638 (java) S 25635 25638 25100 0 -1 1077944320 9865 0 0 0 18 3 0 0 20 0 15 0 60261729 13225508864 9089 18446744073709551615 4194304 4196468 140727277050160 140727277032704 140684696121079 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 9 0 0 6293624 6294260 29495296 140727277052308 140727277052494 140727277052494 140727277055951 0
/proc/25638/statm: 3228884 9089 3511 1 0 3217663 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 12915536

[startup+0.700784 s]
/proc/loadavg: 1.59 1.57 1.54 2/200 25638
/proc/meminfo: memFree=28890212/32770624 swapFree=0/351960
[pid=25638] ppid=25635 vsize=12916580 CPUtime=1.13 cores=1,3,5,7
/proc/25638/stat : 25638 (java) S 25635 25638 25100 0 -1 1077944320 15661 0 0 0 108 5 0 0 20 0 15 0 60261729 13226577920 22043 18446744073709551615 4194304 4196468 140727277050160 140727277032704 140684696121079 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 9 0 0 6293624 6294260 29495296 140727277052308 140727277052494 140727277052494 140727277055951 0
/proc/25638/statm: 3229145 22043 3724 1 0 3217919 0
Current children cumulated CPU time (s) 1.13
Current children cumulated vsize (KiB) 12916580

[startup+1.50082 s]
/proc/loadavg: 1.59 1.57 1.54 5/215 25653
/proc/meminfo: memFree=28694284/32770624 swapFree=0/352252
[pid=25638] ppid=25635 vsize=12916580 CPUtime=3.78 cores=1,3,5,7
/proc/25638/stat : 25638 (java) S 25635 25638 25100 0 -1 1077944320 19038 0 0 0 367 11 0 0 20 0 15 0 60261729 13226577920 54415 18446744073709551615 4194304 4196468 140727277050160 140727277032704 140684696121079 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 9 0 0 6293624 6294260 29495296 140727277052308 140727277052494 140727277052494 140727277055951 0
/proc/25638/statm: 3229145 54415 3780 1 0 3217919 0
[pid=25638/tid=25640] ppid=25635 vsize=12916580 CPUtime=1.32 cores=1,3,5,7
/proc/25638/task/25640/stat : 25640 (java) R 25635 25638 25100 0 -1 4202560 10363 0 0 0 126 6 0 0 20 0 15 0 60261739 13226577920 54415 18446744073709551615 4194304 4196468 140727277050160 140684700354376 140684293233238 0 4 1 16800974 0 0 0 -1 5 0 0 5 0 0 6293624 6294260 29495296 140727277052308 140727277052494 140727277052494 140727277055951 0
[pid=25638/tid=25641] ppid=25635 vsize=12916580 CPUtime=0 cores=1,3,5,7
/proc/25638/task/25641/stat : 25641 (java) S 25635 25638 25100 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 15 0 60261740 13226577920 54415 18446744073709551615 4194304 4196468 140727277050160 140684618946960 140684696131285 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29495296 140727277052308 140727277052494 140727277052494 140727277055951 0
[pid=25638/tid=25642] ppid=25635 vsize=12916580 CPUtime=0 cores=1,3,5,7
/proc/25638/task/25642/stat : 25642 (java) S 25635 25638 25100 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 60261740 13226577920 54415 18446744073709551615 4194304 4196468 140727277050160 140684617894160 140684696131285 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29495296 140727277052308 140727277052494 140727277052494 140727277055951 0
[pid=25638/tid=25643] ppid=25635 vsize=12916580 CPUtime=0 cores=1,3,5,7
/proc/25638/task/25643/stat : 25643 (java) S 25635 25638 25100 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 60261740 13226577920 54415 18446744073709551615 4194304 4196468 140727277050160 140684616841872 140684696131285 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29495296 140727277052308 140727277052494 140727277052494 140727277055951 0
[pid=25638/tid=25644] ppid=25635 vsize=12916580 CPUtime=0 cores=1,3,5,7
/proc/25638/task/25644/stat : 25644 (java) S 25635 25638 25100 0 -1 1077944384 31 0 0 0 0 0 0 0 20 0 15 0 60261740 13226577920 54415 18446744073709551615 4194304 4196468 140727277050160 140684615789072 140684696131285 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29495296 140727277052308 140727277052494 140727277052494 140727277055951 0
[pid=25638/tid=25645] ppid=25635 vsize=12916580 CPUtime=0 cores=1,3,5,7
/proc/25638/task/25645/stat : 25645 (java) S 25635 25638 25100 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 15 0 60261741 13226577920 54415 18446744073709551615 4194304 4196468 140727277050160 140683851557488 140684696132226 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29495296 140727277052308 140727277052494 140727277052494 140727277055951 0
[pid=25638/tid=25646] ppid=25635 vsize=12916580 CPUtime=0 cores=1,3,5,7
/proc/25638/task/25646/stat : 25646 (java) S 25635 25638 25100 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 60261741 13226577920 54415 18446744073709551615 4194304 4196468 140727277050160 140683850503456 140684696131285 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29495296 140727277052308 140727277052494 140727277052494 140727277055951 0
[pid=25638/tid=25647] ppid=25635 vsize=12916580 CPUtime=0 cores=1,3,5,7
/proc/25638/task/25647/stat : 25647 (java) S 25635 25638 25100 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 60261741 13226577920 54415 18446744073709551615 4194304 4196468 140727277050160 140683849451120 140684696131285 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29495296 140727277052308 140727277052494 140727277052494 140727277055951 0
[pid=25638/tid=25648] ppid=25635 vsize=12916580 CPUtime=0 cores=1,3,5,7
/proc/25638/task/25648/stat : 25648 (java) S 25635 25638 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 60261744 13226577920 54415 18446744073709551615 4194304 4196468 140727277050160 140683848399440 140684696139675 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29495296 140727277052308 140727277052494 140727277052494 140727277055951 0
[pid=25638/tid=25649] ppid=25635 vsize=12916580 CPUtime=0.93 cores=1,3,5,7
/proc/25638/task/25649/stat : 25649 (java) R 25635 25638 25100 0 -1 4202560 2588 0 0 0 93 0 0 0 20 0 15 0 60261744 13226577920 54415 18446744073709551615 4194304 4196468 140727277050160 140683847332832 140684675944656 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29495296 140727277052308 140727277052494 140727277052494 140727277055951 0
[pid=25638/tid=25650] ppid=25635 vsize=12916580 CPUtime=0.92 cores=1,3,5,7
/proc/25638/task/25650/stat : 25650 (java) R 25635 25638 25100 0 -1 4202560 2326 0 0 0 92 0 0 0 20 0 15 0 60261744 13226577920 54415 18446744073709551615 4194304 4196468 140727277050160 140683846280272 140684677300733 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29495296 140727277052308 140727277052494 140727277052494 140727277055951 0
[pid=25638/tid=25651] ppid=25635 vsize=12916580 CPUtime=0.51 cores=1,3,5,7
/proc/25638/task/25651/stat : 25651 (java) S 25635 25638 25100 0 -1 1077944384 2217 0 0 0 51 0 0 0 20 0 15 0 60261744 13226577920 54415 18446744073709551615 4194304 4196468 140727277050160 140683845241200 140684696132226 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29495296 140727277052308 140727277052494 140727277052494 140727277055951 0
[pid=25638/tid=25652] ppid=25635 vsize=12916580 CPUtime=0 cores=1,3,5,7
/proc/25638/task/25652/stat : 25652 (java) S 25635 25638 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 60261744 13226577920 54415 18446744073709551615 4194304 4196468 140727277050160 140683844188640 140684696131285 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29495296 140727277052308 140727277052494 140727277052494 140727277055951 0
[pid=25638/tid=25653] ppid=25635 vsize=12916580 CPUtime=0 cores=1,3,5,7
/proc/25638/task/25653/stat : 25653 (java) S 25635 25638 25100 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 60261749 13226577920 54415 18446744073709551615 4194304 4196468 140727277050160 140683843136432 140684696132226 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29495296 140727277052308 140727277052494 140727277052494 140727277055951 0
Current children cumulated CPU time (s) 3.78
Current children cumulated vsize (KiB) 12916580

[startup+3.10071 s]
/proc/loadavg: 1.59 1.57 1.54 5/214 25653
/proc/meminfo: memFree=28579820/32770624 swapFree=0/352252
[pid=25638] ppid=25635 vsize=12920676 CPUtime=7.88 cores=1,3,5,7
/proc/25638/stat : 25638 (java) S 25635 25638 25100 0 -1 1077944320 26482 0 0 0 758 30 0 0 20 0 15 0 60261729 13230772224 177875 18446744073709551615 4194304 4196468 140727277050160 140727277032704 140684696121079 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 9 0 0 6293624 6294260 29495296 140727277052308 140727277052494 140727277052494 140727277055951 0
/proc/25638/statm: 3230169 177875 3801 1 0 3218943 0
[pid=25638/tid=25640] ppid=25635 vsize=12920676 CPUtime=2.74 cores=1,3,5,7
/proc/25638/task/25640/stat : 25640 (java) R 25635 25638 25100 0 -1 4202560 13270 0 0 0 263 11 0 0 20 0 15 0 60261739 13230772224 177875 18446744073709551615 4194304 4196468 140727277050160 140684700359312 140684297124825 0 4 1 16800974 0 0 0 -1 3 0 0 5 0 0 6293624 6294260 29495296 140727277052308 140727277052494 140727277052494 140727277055951 0
[pid=25638/tid=25641] ppid=25635 vsize=12920676 CPUtime=0.15 cores=1,3,5,7
/proc/25638/task/25641/stat : 25641 (java) S 25635 25638 25100 0 -1 1077944384 203 0 0 0 12 3 0 0 20 0 15 0 60261740 13230772224 177875 18446744073709551615 4194304 4196468 140727277050160 140684618946960 140684696131285 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29495296 140727277052308 140727277052494 140727277052494 140727277055951 0
[pid=25638/tid=25642] ppid=25635 vsize=12920676 CPUtime=0.15 cores=1,3,5,7
/proc/25638/task/25642/stat : 25642 (java) S 25635 25638 25100 0 -1 1077944384 129 0 0 0 12 3 0 0 20 0 15 0 60261740 13230772224 177875 18446744073709551615 4194304 4196468 140727277050160 140684617894160 140684696131285 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29495296 140727277052308 140727277052494 140727277052494 140727277055951 0
[pid=25638/tid=25643] ppid=25635 vsize=12920676 CPUtime=0.16 cores=1,3,5,7
/proc/25638/task/25643/stat : 25643 (java) S 25635 25638 25100 0 -1 1077944384 152 0 0 0 12 4 0 0 20 0 15 0 60261740 13230772224 177875 18446744073709551615 4194304 4196468 140727277050160 140684616841872 140684696131285 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29495296 140727277052308 140727277052494 140727277052494 140727277055951 0
[pid=25638/tid=25644] ppid=25635 vsize=12920676 CPUtime=0.16 cores=1,3,5,7
/proc/25638/task/25644/stat : 25644 (java) S 25635 25638 25100 0 -1 1077944384 245 0 0 0 13 3 0 0 20 0 15 0 60261740 13230772224 177875 18446744073709551615 4194304 4196468 140727277050160 140684615789072 140684696131285 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29495296 140727277052308 140727277052494 140727277052494 140727277055951 0
[pid=25638/tid=25645] ppid=25635 vsize=12920676 CPUtime=0.01 cores=1,3,5,7
/proc/25638/task/25645/stat : 25645 (java) S 25635 25638 25100 0 -1 1077944384 510 0 0 0 1 0 0 0 20 0 15 0 60261741 13230772224 177875 18446744073709551615 4194304 4196468 140727277050160 140683851557488 140684696132226 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29495296 140727277052308 140727277052494 140727277052494 140727277055951 0
[pid=25638/tid=25646] ppid=25635 vsize=12920676 CPUtime=0 cores=1,3,5,7
/proc/25638/task/25646/stat : 25646 (java) S 25635 25638 25100 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 60261741 13230772224 177875 18446744073709551615 4194304 4196468 140727277050160 140683850503520 140684696131285 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29495296 140727277052308 140727277052494 140727277052494 140727277055951 0
[pid=25638/tid=25647] ppid=25635 vsize=12920676 CPUtime=0 cores=1,3,5,7
/proc/25638/task/25647/stat : 25647 (java) S 25635 25638 25100 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 60261741 13230772224 177875 18446744073709551615 4194304 4196468 140727277050160 140683849451136 140684696131285 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29495296 140727277052308 140727277052494 140727277052494 140727277055951 0
[pid=25638/tid=25648] ppid=25635 vsize=12920676 CPUtime=0 cores=1,3,5,7
/proc/25638/task/25648/stat : 25648 (java) S 25635 25638 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 60261744 13230772224 177875 18446744073709551615 4194304 4196468 140727277050160 140683848399440 140684696139675 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29495296 140727277052308 140727277052494 140727277052494 140727277055951 0
[pid=25638/tid=25649] ppid=25635 vsize=12920676 CPUtime=1.85 cores=1,3,5,7
/proc/25638/task/25649/stat : 25649 (java) S 25635 25638 25100 0 -1 1077944384 2964 0 0 0 185 0 0 0 20 0 15 0 60261744 13230772224 177875 18446744073709551615 4194304 4196468 140727277050160 140683847346288 140684696132226 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29495296 140727277052308 140727277052494 140727277052494 140727277055951 0
[pid=25638/tid=25650] ppid=25635 vsize=12920676 CPUtime=1.8 cores=1,3,5,7
/proc/25638/task/25650/stat : 25650 (java) S 25635 25638 25100 0 -1 1077944384 3472 0 0 0 179 1 0 0 20 0 15 0 60261744 13230772224 177875 18446744073709551615 4194304 4196468 140727277050160 140683846293488 140684696132226 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29495296 140727277052308 140727277052494 140727277052494 140727277055951 0
[pid=25638/tid=25651] ppid=25635 vsize=12920676 CPUtime=0.77 cores=1,3,5,7
/proc/25638/task/25651/stat : 25651 (java) S 25635 25638 25100 0 -1 1077944384 4170 0 0 0 76 1 0 0 20 0 15 0 60261744 13230772224 177875 18446744073709551615 4194304 4196468 140727277050160 140683845241200 140684696132226 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29495296 140727277052308 140727277052494 140727277052494 140727277055951 0
[pid=25638/tid=25652] ppid=25635 vsize=12920676 CPUtime=0 cores=1,3,5,7
/proc/25638/task/25652/stat : 25652 (java) S 25635 25638 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 60261744 13230772224 177875 18446744073709551615 4194304 4196468 140727277050160 140683844188640 140684696131285 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29495296 140727277052308 140727277052494 140727277052494 140727277055951 0
[pid=25638/tid=25653] ppid=25635 vsize=12920676 CPUtime=0 cores=1,3,5,7
/proc/25638/task/25653/stat : 25653 (java) S 25635 25638 25100 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 60261749 13230772224 177875 18446744073709551615 4194304 4196468 140727277050160 140683843136432 140684696132226 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29495296 140727277052308 140727277052494 140727277052494 140727277055951 0
Current children cumulated CPU time (s) 7.88
Current children cumulated vsize (KiB) 12920676

[startup+6.30068 s]
/proc/loadavg: 1.70 1.59 1.55 3/214 25653
/proc/meminfo: memFree=27648688/32770624 swapFree=0/352248
[pid=25638] ppid=25635 vsize=12920676 CPUtime=11.05 cores=1,3,5,7
/proc/25638/stat : 25638 (java) S 25635 25638 25100 0 -1 1077944320 27998 0 0 0 1052 53 0 0 20 0 15 0 60261729 13230772224 450819 18446744073709551615 4194304 4196468 140727277050160 140727277032704 140684696121079 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 9 0 0 6293624 6294260 29495296 140727277052308 140727277052494 140727277052494 140727277055951 0
/proc/25638/statm: 3230169 450819 3801 1 0 3218943 0
[pid=25638/tid=25640] ppid=25635 vsize=12920676 CPUtime=5.53 cores=1,3,5,7
/proc/25638/task/25640/stat : 25640 (java) R 25635 25638 25100 0 -1 4202560 14093 0 0 0 526 27 0 0 20 0 15 0 60261739 13230772224 450819 18446744073709551615 4194304 4196468 140727277050160 140684700356320 140684297381524 0 4 1 16800974 0 0 0 -1 1 0 0 5 0 0 6293624 6294260 29495296 140727277052308 140727277052494 140727277052494 140727277055951 0
[pid=25638/tid=25641] ppid=25635 vsize=12920676 CPUtime=0.24 cores=1,3,5,7
/proc/25638/task/25641/stat : 25641 (java) S 25635 25638 25100 0 -1 1077944384 266 0 0 0 19 5 0 0 20 0 15 0 60261740 13230772224 450819 18446744073709551615 4194304 4196468 140727277050160 140684618946960 140684696131285 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29495296 140727277052308 140727277052494 140727277052494 140727277055951 0
[pid=25638/tid=25642] ppid=25635 vsize=12920676 CPUtime=0.24 cores=1,3,5,7
/proc/25638/task/25642/stat : 25642 (java) S 25635 25638 25100 0 -1 1077944384 155 0 0 0 19 5 0 0 20 0 15 0 60261740 13230772224 450819 18446744073709551615 4194304 4196468 140727277050160 140684617894160 140684696131285 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29495296 140727277052308 140727277052494 140727277052494 140727277055951 0
[pid=25638/tid=25643] ppid=25635 vsize=12920676 CPUtime=0.25 cores=1,3,5,7
/proc/25638/task/25643/stat : 25643 (java) S 25635 25638 25100 0 -1 1077944384 195 0 0 0 19 6 0 0 20 0 15 0 60261740 13230772224 450819 18446744073709551615 4194304 4196468 140727277050160 140684616841872 140684696131285 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29495296 140727277052308 140727277052494 140727277052494 140727277055951 0
[pid=25638/tid=25644] ppid=25635 vsize=12920676 CPUtime=0.24 cores=1,3,5,7
/proc/25638/task/25644/stat : 25644 (java) S 25635 25638 25100 0 -1 1077944384 286 0 0 0 19 5 0 0 20 0 15 0 60261740 13230772224 450819 18446744073709551615 4194304 4196468 140727277050160 140684615789072 140684696131285 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29495296 140727277052308 140727277052494 140727277052494 140727277055951 0
[pid=25638/tid=25645] ppid=25635 vsize=12920676 CPUtime=0.02 cores=1,3,5,7
/proc/25638/task/25645/stat : 25645 (java) S 25635 25638 25100 0 -1 1077944384 1015 0 0 0 2 0 0 0 20 0 15 0 60261741 13230772224 450819 18446744073709551615 4194304 4196468 140727277050160 140683851557488 140684696132226 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 32 0 0 6293624 6294260 29495296 140727277052308 140727277052494 140727277052494 140727277055951 0
[pid=25638/tid=25646] ppid=25635 vsize=12920676 CPUtime=0 cores=1,3,5,7
/proc/25638/task/25646/stat : 25646 (java) S 25635 25638 25100 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 60261741 13230772224 450819 18446744073709551615 4194304 4196468 140727277050160 140683850503520 140684696131285 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29495296 140727277052308 140727277052494 140727277052494 140727277055951 0
[pid=25638/tid=25647] ppid=25635 vsize=12920676 CPUtime=0 cores=1,3,5,7
/proc/25638/task/25647/stat : 25647 (java) S 25635 25638 25100 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 60261741 13230772224 450819 18446744073709551615 4194304 4196468 140727277050160 140683849451136 140684696131285 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29495296 140727277052308 140727277052494 140727277052494 140727277055951 0
[pid=25638/tid=25648] ppid=25635 vsize=12920676 CPUtime=0 cores=1,3,5,7
/proc/25638/task/25648/stat : 25648 (java) S 25635 25638 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 60261744 13230772224 450819 18446744073709551615 4194304 4196468 140727277050160 140683848399440 140684696139675 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29495296 140727277052308 140727277052494 140727277052494 140727277055951 0
[pid=25638/tid=25649] ppid=25635 vsize=12920676 CPUtime=1.87 cores=1,3,5,7
/proc/25638/task/25649/stat : 25649 (java) S 25635 25638 25100 0 -1 1077944384 2969 0 0 0 187 0 0 0 20 0 15 0 60261744 13230772224 450819 18446744073709551615 4194304 4196468 140727277050160 140683847346288 140684696132226 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 43 0 0 6293624 6294260 29495296 140727277052308 140727277052494 140727277052494 140727277055951 0
[pid=25638/tid=25650] ppid=25635 vsize=12920676 CPUtime=1.82 cores=1,3,5,7
/proc/25638/task/25650/stat : 25650 (java) S 25635 25638 25100 0 -1 1077944384 3478 0 0 0 181 1 0 0 20 0 15 0 60261744 13230772224 450819 18446744073709551615 4194304 4196468 140727277050160 140683846293488 140684696132226 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29495296 140727277052308 140727277052494 140727277052494 140727277055951 0
[pid=25638/tid=25651] ppid=25635 vsize=12920676 CPUtime=0.77 cores=1,3,5,7
/proc/25638/task/25651/stat : 25651 (java) S 25635 25638 25100 0 -1 1077944384 4172 0 0 0 76 1 0 0 20 0 15 0 60261744 13230772224 450819 18446744073709551615 4194304 4196468 140727277050160 140683845241200 140684696132226 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 45 0 0 6293624 6294260 29495296 140727277052308 140727277052494 140727277052494 140727277055951 0
[pid=25638/tid=25652] ppid=25635 vsize=12920676 CPUtime=0 cores=1,3,5,7
/proc/25638/task/25652/stat : 25652 (java) S 25635 25638 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 60261744 13230772224 450819 18446744073709551615 4194304 4196468 140727277050160 140683844188640 140684696131285 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29495296 140727277052308 140727277052494 140727277052494 140727277055951 0
[pid=25638/tid=25653] ppid=25635 vsize=12920676 CPUtime=0 cores=1,3,5,7
/proc/25638/task/25653/stat : 25653 (java) S 25635 25638 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 60261749 13230772224 450819 18446744073709551615 4194304 4196468 140727277050160 140683843136432 140684696132226 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 52 0 0 6293624 6294260 29495296 140727277052308 140727277052494 140727277052494 140727277055951 0
Current children cumulated CPU time (s) 11.05
Current children cumulated vsize (KiB) 12920676

[startup+12.7007 s]
/proc/loadavg: 1.81 1.62 1.56 7/214 25653
/proc/meminfo: memFree=25412208/32770624 swapFree=0/352256
[pid=25638] ppid=25635 vsize=12920676 CPUtime=17.76 cores=1,3,5,7
/proc/25638/stat : 25638 (java) S 25635 25638 25100 0 -1 1077944320 30608 0 0 0 1694 82 0 0 20 0 15 0 60261729 13230772224 874641 18446744073709551615 4194304 4196468 140727277050160 140727277032704 140684696121079 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 9 0 0 6293624 6294260 29495296 140727277052308 140727277052494 140727277052494 140727277055951 0
/proc/25638/statm: 3230169 874641 3801 1 0 3218943 0
[pid=25638/tid=25640] ppid=25635 vsize=12920676 CPUtime=11.87 cores=1,3,5,7
/proc/25638/task/25640/stat : 25640 (java) R 25635 25638 25100 0 -1 4202560 15422 0 0 0 1136 51 0 0 20 0 15 0 60261739 13230772224 874641 18446744073709551615 4194304 4196468 140727277050160 140684700359664 140684297380962 0 4 1 16800974 0 0 0 -1 5 0 0 5 0 0 6293624 6294260 29495296 140727277052308 140727277052494 140727277052494 140727277055951 0
[pid=25638/tid=25641] ppid=25635 vsize=12920676 CPUtime=0.29 cores=1,3,5,7
/proc/25638/task/25641/stat : 25641 (java) S 25635 25638 25100 0 -1 1077944384 454 0 0 0 23 6 0 0 20 0 15 0 60261740 13230772224 874641 18446744073709551615 4194304 4196468 140727277050160 140684618946960 140684696131285 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29495296 140727277052308 140727277052494 140727277052494 140727277055951 0
[pid=25638/tid=25642] ppid=25635 vsize=12920676 CPUtime=0.3 cores=1,3,5,7
/proc/25638/task/25642/stat : 25642 (java) S 25635 25638 25100 0 -1 1077944384 426 0 0 0 24 6 0 0 20 0 15 0 60261740 13230772224 874641 18446744073709551615 4194304 4196468 140727277050160 140684617894160 140684696131285 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29495296 140727277052308 140727277052494 140727277052494 140727277055951 0
[pid=25638/tid=25643] ppid=25635 vsize=12920676 CPUtime=0.31 cores=1,3,5,7
/proc/25638/task/25643/stat : 25643 (java) S 25635 25638 25100 0 -1 1077944384 354 0 0 0 24 7 0 0 20 0 15 0 60261740 13230772224 874641 18446744073709551615 4194304 4196468 140727277050160 140684616841872 140684696131285 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29495296 140727277052308 140727277052494 140727277052494 140727277055951 0
[pid=25638/tid=25644] ppid=25635 vsize=12920676 CPUtime=0.31 cores=1,3,5,7
/proc/25638/task/25644/stat : 25644 (java) S 25635 25638 25100 0 -1 1077944384 337 0 0 0 24 7 0 0 20 0 15 0 60261740 13230772224 874641 18446744073709551615 4194304 4196468 140727277050160 140684615789072 140684696131285 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29495296 140727277052308 140727277052494 140727277052494 140727277055951 0
[pid=25638/tid=25645] ppid=25635 vsize=12920676 CPUtime=0.02 cores=1,3,5,7
/proc/25638/task/25645/stat : 25645 (java) S 25635 25638 25100 0 -1 1077944384 1610 0 0 0 2 0 0 0 20 0 15 0 60261741 13230772224 874641 18446744073709551615 4194304 4196468 140727277050160 140683851557488 140684696132226 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 32 0 0 6293624 6294260 29495296 140727277052308 140727277052494 140727277052494 140727277055951 0
[pid=25638/tid=25646] ppid=25635 vsize=12920676 CPUtime=0 cores=1,3,5,7
/proc/25638/task/25646/stat : 25646 (java) S 25635 25638 25100 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 60261741 13230772224 874641 18446744073709551615 4194304 4196468 140727277050160 140683850503520 140684696131285 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29495296 140727277052308 140727277052494 140727277052494 140727277055951 0
[pid=25638/tid=25647] ppid=25635 vsize=12920676 CPUtime=0 cores=1,3,5,7
/proc/25638/task/25647/stat : 25647 (java) S 25635 25638 25100 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 60261741 13230772224 874641 18446744073709551615 4194304 4196468 140727277050160 140683849451136 140684696131285 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29495296 140727277052308 140727277052494 140727277052494 140727277055951 0
[pid=25638/tid=25648] ppid=25635 vsize=12920676 CPUtime=0 cores=1,3,5,7
/proc/25638/task/25648/stat : 25648 (java) S 25635 25638 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 60261744 13230772224 874641 18446744073709551615 4194304 4196468 140727277050160 140683848399440 140684696139675 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29495296 140727277052308 140727277052494 140727277052494 140727277055951 0

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

/proc/25638/task/25652/stat : 25652 (java) S 25635 25638 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 60261744 13230772224 952915 18446744073709551615 4194304 4196468 140727277050160 140683844188640 140684696131285 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29495296 140727277052308 140727277052494 140727277052494 140727277055951 0
[pid=25638/tid=25653] ppid=25635 vsize=12920676 CPUtime=1.25 cores=1,3,5,7
/proc/25638/task/25653/stat : 25653 (java) S 25635 25638 25100 0 -1 1077944384 1215 0 0 0 52 73 0 0 20 0 15 0 60261749 13230772224 952915 18446744073709551615 4194304 4196468 140727277050160 140683843136432 140684696132226 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 52 0 0 6293624 6294260 29495296 140727277052308 140727277052494 140727277052494 140727277055951 0
Current children cumulated CPU time (s) 2153.94
Current children cumulated vsize (KiB) 12920676

[startup+2142.3 s]
/proc/loadavg: 1.67 1.62 1.60 3/214 25900
/proc/meminfo: memFree=23778056/32770624 swapFree=0/353060
[pid=25638] ppid=25635 vsize=12920676 CPUtime=2215.96 cores=1,3,5,7
/proc/25638/stat : 25638 (java) S 25635 25638 25100 0 -1 1077944320 481749 0 0 0 221272 324 0 0 20 0 15 0 60261729 13230772224 952915 18446744073709551615 4194304 4196468 140727277050160 140727277032704 140684696121079 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 9 0 0 6293624 6294260 29495296 140727277052308 140727277052494 140727277052494 140727277055951 0
/proc/25638/statm: 3230169 952915 3819 1 0 3218943 0
[pid=25638/tid=25640] ppid=25635 vsize=12920676 CPUtime=2117.85 cores=1,3,5,7
/proc/25638/task/25640/stat : 25640 (java) R 25635 25638 25100 0 -1 4202560 228556 0 0 0 211704 81 0 0 20 0 15 0 60261739 13230772224 952915 18446744073709551615 4194304 4196468 140727277050160 140684700359632 140684292732872 0 4 1 16800974 0 0 0 -1 1 0 0 5 0 0 6293624 6294260 29495296 140727277052308 140727277052494 140727277052494 140727277055951 0
[pid=25638/tid=25641] ppid=25635 vsize=12920676 CPUtime=22.45 cores=1,3,5,7
/proc/25638/task/25641/stat : 25641 (java) S 25635 25638 25100 0 -1 1077944384 40056 0 0 0 2203 42 0 0 20 0 15 0 60261740 13230772224 952915 18446744073709551615 4194304 4196468 140727277050160 140684618946960 140684696131285 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29495296 140727277052308 140727277052494 140727277052494 140727277055951 0
[pid=25638/tid=25642] ppid=25635 vsize=12920676 CPUtime=22.48 cores=1,3,5,7
/proc/25638/task/25642/stat : 25642 (java) S 25635 25638 25100 0 -1 1077944384 35845 0 0 0 2206 42 0 0 20 0 15 0 60261740 13230772224 952915 18446744073709551615 4194304 4196468 140727277050160 140684617894160 140684696131285 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29495296 140727277052308 140727277052494 140727277052494 140727277055951 0
[pid=25638/tid=25643] ppid=25635 vsize=12920676 CPUtime=22.49 cores=1,3,5,7
/proc/25638/task/25643/stat : 25643 (java) S 25635 25638 25100 0 -1 1077944384 38106 0 0 0 2207 42 0 0 20 0 15 0 60261740 13230772224 952915 18446744073709551615 4194304 4196468 140727277050160 140684616841872 140684696131285 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29495296 140727277052308 140727277052494 140727277052494 140727277055951 0
[pid=25638/tid=25644] ppid=25635 vsize=12920676 CPUtime=22.49 cores=1,3,5,7
/proc/25638/task/25644/stat : 25644 (java) S 25635 25638 25100 0 -1 1077944384 39912 0 0 0 2206 43 0 0 20 0 15 0 60261740 13230772224 952915 18446744073709551615 4194304 4196468 140727277050160 140684615789072 140684696131285 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29495296 140727277052308 140727277052494 140727277052494 140727277055951 0
[pid=25638/tid=25645] ppid=25635 vsize=12920676 CPUtime=0.99 cores=1,3,5,7
/proc/25638/task/25645/stat : 25645 (java) S 25635 25638 25100 0 -1 1077944384 46607 0 0 0 85 14 0 0 20 0 15 0 60261741 13230772224 952915 18446744073709551615 4194304 4196468 140727277050160 140683851557488 140684696132226 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 32 0 0 6293624 6294260 29495296 140727277052308 140727277052494 140727277052494 140727277055951 0
[pid=25638/tid=25646] ppid=25635 vsize=12920676 CPUtime=0 cores=1,3,5,7
/proc/25638/task/25646/stat : 25646 (java) S 25635 25638 25100 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 60261741 13230772224 952915 18446744073709551615 4194304 4196468 140727277050160 140683850503520 140684696131285 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29495296 140727277052308 140727277052494 140727277052494 140727277055951 0
[pid=25638/tid=25647] ppid=25635 vsize=12920676 CPUtime=0 cores=1,3,5,7
/proc/25638/task/25647/stat : 25647 (java) S 25635 25638 25100 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 60261741 13230772224 952915 18446744073709551615 4194304 4196468 140727277050160 140683849451136 140684696131285 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29495296 140727277052308 140727277052494 140727277052494 140727277055951 0
[pid=25638/tid=25648] ppid=25635 vsize=12920676 CPUtime=0 cores=1,3,5,7
/proc/25638/task/25648/stat : 25648 (java) S 25635 25638 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 60261744 13230772224 952915 18446744073709551615 4194304 4196468 140727277050160 140683848399440 140684696139675 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29495296 140727277052308 140727277052494 140727277052494 140727277055951 0
[pid=25638/tid=25649] ppid=25635 vsize=12920676 CPUtime=2.56 cores=1,3,5,7
/proc/25638/task/25649/stat : 25649 (java) S 25635 25638 25100 0 -1 1077944384 15128 0 0 0 255 1 0 0 20 0 15 0 60261744 13230772224 952915 18446744073709551615 4194304 4196468 140727277050160 140683847346288 140684696132226 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 43 0 0 6293624 6294260 29495296 140727277052308 140727277052494 140727277052494 140727277055951 0
[pid=25638/tid=25650] ppid=25635 vsize=12920676 CPUtime=2.38 cores=1,3,5,7
/proc/25638/task/25650/stat : 25650 (java) S 25635 25638 25100 0 -1 1077944384 15110 0 0 0 236 2 0 0 20 0 15 0 60261744 13230772224 952915 18446744073709551615 4194304 4196468 140727277050160 140683846293488 140684696132226 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29495296 140727277052308 140727277052494 140727277052494 140727277055951 0
[pid=25638/tid=25651] ppid=25635 vsize=12920676 CPUtime=0.87 cores=1,3,5,7
/proc/25638/task/25651/stat : 25651 (java) S 25635 25638 25100 0 -1 1077944384 19782 0 0 0 85 2 0 0 20 0 15 0 60261744 13230772224 952915 18446744073709551615 4194304 4196468 140727277050160 140683845241200 140684696132226 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 45 0 0 6293624 6294260 29495296 140727277052308 140727277052494 140727277052494 140727277055951 0
[pid=25638/tid=25652] ppid=25635 vsize=12920676 CPUtime=0 cores=1,3,5,7
/proc/25638/task/25652/stat : 25652 (java) S 25635 25638 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 60261744 13230772224 952915 18446744073709551615 4194304 4196468 140727277050160 140683844188640 140684696131285 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29495296 140727277052308 140727277052494 140727277052494 140727277055951 0
[pid=25638/tid=25653] ppid=25635 vsize=12920676 CPUtime=1.29 cores=1,3,5,7
/proc/25638/task/25653/stat : 25653 (java) S 25635 25638 25100 0 -1 1077944384 1237 0 0 0 54 75 0 0 20 0 15 0 60261749 13230772224 952915 18446744073709551615 4194304 4196468 140727277050160 140683843136432 140684696132226 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 52 0 0 6293624 6294260 29495296 140727277052308 140727277052494 140727277052494 140727277055951 0
Current children cumulated CPU time (s) 2215.96
Current children cumulated vsize (KiB) 12920676

[startup+2202.31 s]
/proc/loadavg: 1.64 1.62 1.60 3/218 25918
/proc/meminfo: memFree=23750828/32770624 swapFree=0/353156
[pid=25638] ppid=25635 vsize=12920676 CPUtime=2277.97 cores=1,3,5,7
/proc/25638/stat : 25638 (java) S 25635 25638 25100 0 -1 1077944320 494736 0 0 0 227469 328 0 0 20 0 15 0 60261729 13230772224 952846 18446744073709551615 4194304 4196468 140727277050160 140727277032704 140684696121079 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 9 0 0 6293624 6294260 29495296 140727277052308 140727277052494 140727277052494 140727277055951 0
/proc/25638/statm: 3230169 952846 3819 1 0 3218943 0
[pid=25638/tid=25640] ppid=25635 vsize=12920676 CPUtime=2177.18 cores=1,3,5,7
/proc/25638/task/25640/stat : 25640 (java) R 25635 25638 25100 0 -1 4202560 235802 0 0 0 217636 82 0 0 20 0 15 0 60261739 13230772224 952846 18446744073709551615 4194304 4196468 140727277050160 140684700359632 140684292732825 0 4 1 16800974 0 0 0 -1 5 0 0 5 0 0 6293624 6294260 29495296 140727277052308 140727277052494 140727277052494 140727277055951 0
[pid=25638/tid=25641] ppid=25635 vsize=12920676 CPUtime=23.11 cores=1,3,5,7
/proc/25638/task/25641/stat : 25641 (java) S 25635 25638 25100 0 -1 1077944384 41135 0 0 0 2269 42 0 0 20 0 15 0 60261740 13230772224 952846 18446744073709551615 4194304 4196468 140727277050160 140684618946960 140684696131285 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29495296 140727277052308 140727277052494 140727277052494 140727277055951 0
[pid=25638/tid=25642] ppid=25635 vsize=12920676 CPUtime=23.14 cores=1,3,5,7
/proc/25638/task/25642/stat : 25642 (java) S 25635 25638 25100 0 -1 1077944384 36784 0 0 0 2272 42 0 0 20 0 15 0 60261740 13230772224 952846 18446744073709551615 4194304 4196468 140727277050160 140684617894160 140684696131285 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29495296 140727277052308 140727277052494 140727277052494 140727277055951 0
[pid=25638/tid=25643] ppid=25635 vsize=12920676 CPUtime=23.15 cores=1,3,5,7
/proc/25638/task/25643/stat : 25643 (java) S 25635 25638 25100 0 -1 1077944384 38671 0 0 0 2272 43 0 0 20 0 15 0 60261740 13230772224 952846 18446744073709551615 4194304 4196468 140727277050160 140684616841872 140684696131285 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29495296 140727277052308 140727277052494 140727277052494 140727277055951 0
[pid=25638/tid=25644] ppid=25635 vsize=12920676 CPUtime=23.14 cores=1,3,5,7
/proc/25638/task/25644/stat : 25644 (java) S 25635 25638 25100 0 -1 1077944384 41691 0 0 0 2271 43 0 0 20 0 15 0 60261740 13230772224 952846 18446744073709551615 4194304 4196468 140727277050160 140684615789072 140684696131285 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29495296 140727277052308 140727277052494 140727277052494 140727277055951 0
[pid=25638/tid=25645] ppid=25635 vsize=12920676 CPUtime=1 cores=1,3,5,7
/proc/25638/task/25645/stat : 25645 (java) S 25635 25638 25100 0 -1 1077944384 46848 0 0 0 86 14 0 0 20 0 15 0 60261741 13230772224 952846 18446744073709551615 4194304 4196468 140727277050160 140683851557488 140684696132226 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 32 0 0 6293624 6294260 29495296 140727277052308 140727277052494 140727277052494 140727277055951 0
[pid=25638/tid=25646] ppid=25635 vsize=12920676 CPUtime=0 cores=1,3,5,7
/proc/25638/task/25646/stat : 25646 (java) S 25635 25638 25100 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 60261741 13230772224 952846 18446744073709551615 4194304 4196468 140727277050160 140683850503520 140684696131285 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29495296 140727277052308 140727277052494 140727277052494 140727277055951 0
[pid=25638/tid=25647] ppid=25635 vsize=12920676 CPUtime=0 cores=1,3,5,7
/proc/25638/task/25647/stat : 25647 (java) S 25635 25638 25100 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 60261741 13230772224 952846 18446744073709551615 4194304 4196468 140727277050160 140683849451136 140684696131285 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29495296 140727277052308 140727277052494 140727277052494 140727277055951 0
[pid=25638/tid=25648] ppid=25635 vsize=12920676 CPUtime=0 cores=1,3,5,7
/proc/25638/task/25648/stat : 25648 (java) S 25635 25638 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 60261744 13230772224 952846 18446744073709551615 4194304 4196468 140727277050160 140683848399440 140684696139675 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29495296 140727277052308 140727277052494 140727277052494 140727277055951 0
[pid=25638/tid=25649] ppid=25635 vsize=12920676 CPUtime=2.56 cores=1,3,5,7
/proc/25638/task/25649/stat : 25649 (java) S 25635 25638 25100 0 -1 1077944384 15136 0 0 0 255 1 0 0 20 0 15 0 60261744 13230772224 952846 18446744073709551615 4194304 4196468 140727277050160 140683847346288 140684696132226 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 43 0 0 6293624 6294260 29495296 140727277052308 140727277052494 140727277052494 140727277055951 0
[pid=25638/tid=25650] ppid=25635 vsize=12920676 CPUtime=2.38 cores=1,3,5,7
/proc/25638/task/25650/stat : 25650 (java) S 25635 25638 25100 0 -1 1077944384 15113 0 0 0 236 2 0 0 20 0 15 0 60261744 13230772224 952846 18446744073709551615 4194304 4196468 140727277050160 140683846293488 140684696132226 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29495296 140727277052308 140727277052494 140727277052494 140727277055951 0
[pid=25638/tid=25651] ppid=25635 vsize=12920676 CPUtime=0.88 cores=1,3,5,7
/proc/25638/task/25651/stat : 25651 (java) S 25635 25638 25100 0 -1 1077944384 20880 0 0 0 86 2 0 0 20 0 15 0 60261744 13230772224 952846 18446744073709551615 4194304 4196468 140727277050160 140683845241200 140684696132226 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 45 0 0 6293624 6294260 29495296 140727277052308 140727277052494 140727277052494 140727277055951 0
[pid=25638/tid=25652] ppid=25635 vsize=12920676 CPUtime=0 cores=1,3,5,7
/proc/25638/task/25652/stat : 25652 (java) S 25635 25638 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 60261744 13230772224 952846 18446744073709551615 4194304 4196468 140727277050160 140683844188640 140684696131285 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29495296 140727277052308 140727277052494 140727277052494 140727277055951 0
[pid=25638/tid=25653] ppid=25635 vsize=12920676 CPUtime=1.32 cores=1,3,5,7
/proc/25638/task/25653/stat : 25653 (java) S 25635 25638 25100 0 -1 1077944384 1266 0 0 0 55 77 0 0 20 0 15 0 60261749 13230772224 952846 18446744073709551615 4194304 4196468 140727277050160 140683843136432 140684696132226 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 52 0 0 6293624 6294260 29495296 140727277052308 140727277052494 140727277052494 140727277055951 0
Current children cumulated CPU time (s) 2277.97
Current children cumulated vsize (KiB) 12920676

[startup+2262.3 s]
/proc/loadavg: 1.49 1.58 1.58 3/218 25920
/proc/meminfo: memFree=23772044/32770624 swapFree=0/353144
[pid=25638] ppid=25635 vsize=12920676 CPUtime=2340.33 cores=1,3,5,7
/proc/25638/stat : 25638 (java) S 25635 25638 25100 0 -1 1077944320 507037 0 0 0 233701 332 0 0 20 0 15 0 60261729 13230772224 953333 18446744073709551615 4194304 4196468 140727277050160 140727277032704 140684696121079 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 9 0 0 6293624 6294260 29495296 140727277052308 140727277052494 140727277052494 140727277055951 0
/proc/25638/statm: 3230169 953333 3819 1 0 3218943 0
[pid=25638/tid=25640] ppid=25635 vsize=12920676 CPUtime=2236.35 cores=1,3,5,7
/proc/25638/task/25640/stat : 25640 (java) R 25635 25638 25100 0 -1 4202560 240354 0 0 0 223552 83 0 0 20 0 15 0 60261739 13230772224 953333 18446744073709551615 4194304 4196468 140727277050160 140684700359744 140684297313631 0 4 1 16800974 0 0 0 -1 5 0 0 5 0 0 6293624 6294260 29495296 140727277052308 140727277052494 140727277052494 140727277055951 0
[pid=25638/tid=25641] ppid=25635 vsize=12920676 CPUtime=23.89 cores=1,3,5,7
/proc/25638/task/25641/stat : 25641 (java) S 25635 25638 25100 0 -1 1077944384 41878 0 0 0 2346 43 0 0 20 0 15 0 60261740 13230772224 953333 18446744073709551615 4194304 4196468 140727277050160 140684618946960 140684696131285 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29495296 140727277052308 140727277052494 140727277052494 140727277055951 0
[pid=25638/tid=25642] ppid=25635 vsize=12920676 CPUtime=23.92 cores=1,3,5,7
/proc/25638/task/25642/stat : 25642 (java) S 25635 25638 25100 0 -1 1077944384 37429 0 0 0 2350 42 0 0 20 0 15 0 60261740 13230772224 953333 18446744073709551615 4194304 4196468 140727277050160 140684617894160 140684696131285 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29495296 140727277052308 140727277052494 140727277052494 140727277055951 0
[pid=25638/tid=25643] ppid=25635 vsize=12920676 CPUtime=23.92 cores=1,3,5,7
/proc/25638/task/25643/stat : 25643 (java) S 25635 25638 25100 0 -1 1077944384 39746 0 0 0 2349 43 0 0 20 0 15 0 60261740 13230772224 953333 18446744073709551615 4194304 4196468 140727277050160 140684616841872 140684696131285 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29495296 140727277052308 140727277052494 140727277052494 140727277055951 0
[pid=25638/tid=25644] ppid=25635 vsize=12920676 CPUtime=23.92 cores=1,3,5,7
/proc/25638/task/25644/stat : 25644 (java) S 25635 25638 25100 0 -1 1077944384 43043 0 0 0 2349 43 0 0 20 0 15 0 60261740 13230772224 953333 18446744073709551615 4194304 4196468 140727277050160 140684615789072 140684696131285 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29495296 140727277052308 140727277052494 140727277052494 140727277055951 0
[pid=25638/tid=25645] ppid=25635 vsize=12920676 CPUtime=1.04 cores=1,3,5,7
/proc/25638/task/25645/stat : 25645 (java) S 25635 25638 25100 0 -1 1077944384 50323 0 0 0 89 15 0 0 20 0 15 0 60261741 13230772224 953333 18446744073709551615 4194304 4196468 140727277050160 140683851557488 140684696132226 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 32 0 0 6293624 6294260 29495296 140727277052308 140727277052494 140727277052494 140727277055951 0
[pid=25638/tid=25646] ppid=25635 vsize=12920676 CPUtime=0 cores=1,3,5,7
/proc/25638/task/25646/stat : 25646 (java) S 25635 25638 25100 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 60261741 13230772224 953333 18446744073709551615 4194304 4196468 140727277050160 140683850503520 140684696131285 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29495296 140727277052308 140727277052494 140727277052494 140727277055951 0
[pid=25638/tid=25647] ppid=25635 vsize=12920676 CPUtime=0 cores=1,3,5,7
/proc/25638/task/25647/stat : 25647 (java) S 25635 25638 25100 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 60261741 13230772224 953333 18446744073709551615 4194304 4196468 140727277050160 140683849451136 140684696131285 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29495296 140727277052308 140727277052494 140727277052494 140727277055951 0
[pid=25638/tid=25648] ppid=25635 vsize=12920676 CPUtime=0 cores=1,3,5,7
/proc/25638/task/25648/stat : 25648 (java) S 25635 25638 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 60261744 13230772224 953333 18446744073709551615 4194304 4196468 140727277050160 140683848399440 140684696139675 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29495296 140727277052308 140727277052494 140727277052494 140727277055951 0
[pid=25638/tid=25649] ppid=25635 vsize=12920676 CPUtime=2.57 cores=1,3,5,7
/proc/25638/task/25649/stat : 25649 (java) S 25635 25638 25100 0 -1 1077944384 15136 0 0 0 256 1 0 0 20 0 15 0 60261744 13230772224 953333 18446744073709551615 4194304 4196468 140727277050160 140683847346288 140684696132226 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 43 0 0 6293624 6294260 29495296 140727277052308 140727277052494 140727277052494 140727277055951 0
[pid=25638/tid=25650] ppid=25635 vsize=12920676 CPUtime=2.38 cores=1,3,5,7
/proc/25638/task/25650/stat : 25650 (java) S 25635 25638 25100 0 -1 1077944384 15113 0 0 0 236 2 0 0 20 0 15 0 60261744 13230772224 953333 18446744073709551615 4194304 4196468 140727277050160 140683846293488 140684696132226 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29495296 140727277052308 140727277052494 140727277052494 140727277055951 0
[pid=25638/tid=25651] ppid=25635 vsize=12920676 CPUtime=0.88 cores=1,3,5,7
/proc/25638/task/25651/stat : 25651 (java) S 25635 25638 25100 0 -1 1077944384 21331 0 0 0 86 2 0 0 20 0 15 0 60261744 13230772224 953333 18446744073709551615 4194304 4196468 140727277050160 140683845241200 140684696132226 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 45 0 0 6293624 6294260 29495296 140727277052308 140727277052494 140727277052494 140727277055951 0
[pid=25638/tid=25652] ppid=25635 vsize=12920676 CPUtime=0 cores=1,3,5,7
/proc/25638/task/25652/stat : 25652 (java) S 25635 25638 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 60261744 13230772224 953333 18446744073709551615 4194304 4196468 140727277050160 140683844188640 140684696131285 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29495296 140727277052308 140727277052494 140727277052494 140727277055951 0
[pid=25638/tid=25653] ppid=25635 vsize=12920676 CPUtime=1.35 cores=1,3,5,7
/proc/25638/task/25653/stat : 25653 (java) S 25635 25638 25100 0 -1 1077944384 1274 0 0 0 57 78 0 0 20 0 15 0 60261749 13230772224 953333 18446744073709551615 4194304 4196468 140727277050160 140683843136432 140684696132226 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 52 0 0 6293624 6294260 29495296 140727277052308 140727277052494 140727277052494 140727277055951 0
Current children cumulated CPU time (s) 2340.33
Current children cumulated vsize (KiB) 12920676



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2320.01 s]
/proc/loadavg: 1.63 1.61 1.59 3/215 25923
/proc/meminfo: memFree=23776208/32770624 swapFree=0/353156
[pid=25638] ppid=25635 vsize=12920676 CPUtime=2400.01 cores=1,3,5,7
/proc/25638/stat : 25638 (java) S 25635 25638 25100 0 -1 1077944320 514955 0 0 0 239666 335 0 0 20 0 15 0 60261729 13230772224 953395 18446744073709551615 4194304 4196468 140727277050160 140727277032704 140684696121079 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 9 0 0 6293624 6294260 29495296 140727277052308 140727277052494 140727277052494 140727277055951 0
/proc/25638/statm: 3230169 953395 3819 1 0 3218943 0
[pid=25638/tid=25640] ppid=25635 vsize=12920676 CPUtime=2293.39 cores=1,3,5,7
/proc/25638/task/25640/stat : 25640 (java) R 25635 25638 25100 0 -1 4202560 243443 0 0 0 229256 83 0 0 20 0 15 0 60261739 13230772224 953395 18446744073709551615 4194304 4196468 140727277050160 140684700359632 140684292732743 0 4 1 16800974 0 0 0 -1 1 0 0 5 0 0 6293624 6294260 29495296 140727277052308 140727277052494 140727277052494 140727277055951 0
[pid=25638/tid=25641] ppid=25635 vsize=12920676 CPUtime=24.54 cores=1,3,5,7
/proc/25638/task/25641/stat : 25641 (java) S 25635 25638 25100 0 -1 1077944384 42832 0 0 0 2411 43 0 0 20 0 15 0 60261740 13230772224 953395 18446744073709551615 4194304 4196468 140727277050160 140684618946960 140684696131285 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29495296 140727277052308 140727277052494 140727277052494 140727277055951 0
[pid=25638/tid=25642] ppid=25635 vsize=12920676 CPUtime=24.56 cores=1,3,5,7
/proc/25638/task/25642/stat : 25642 (java) S 25635 25638 25100 0 -1 1077944384 38513 0 0 0 2414 42 0 0 20 0 15 0 60261740 13230772224 953395 18446744073709551615 4194304 4196468 140727277050160 140684617894160 140684696131285 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29495296 140727277052308 140727277052494 140727277052494 140727277055951 0
[pid=25638/tid=25643] ppid=25635 vsize=12920676 CPUtime=24.57 cores=1,3,5,7
/proc/25638/task/25643/stat : 25643 (java) S 25635 25638 25100 0 -1 1077944384 40766 0 0 0 2414 43 0 0 20 0 15 0 60261740 13230772224 953395 18446744073709551615 4194304 4196468 140727277050160 140684616841872 140684696131285 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29495296 140727277052308 140727277052494 140727277052494 140727277055951 0
[pid=25638/tid=25644] ppid=25635 vsize=12920676 CPUtime=24.56 cores=1,3,5,7
/proc/25638/task/25644/stat : 25644 (java) S 25635 25638 25100 0 -1 1077944384 43972 0 0 0 2413 43 0 0 20 0 15 0 60261740 13230772224 953395 18446744073709551615 4194304 4196468 140727277050160 140684615789072 140684696131285 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29495296 140727277052308 140727277052494 140727277052494 140727277055951 0
[pid=25638/tid=25645] ppid=25635 vsize=12920676 CPUtime=1.05 cores=1,3,5,7
/proc/25638/task/25645/stat : 25645 (java) S 25635 25638 25100 0 -1 1077944384 50543 0 0 0 90 15 0 0 20 0 15 0 60261741 13230772224 953395 18446744073709551615 4194304 4196468 140727277050160 140683851557488 140684696132226 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 32 0 0 6293624 6294260 29495296 140727277052308 140727277052494 140727277052494 140727277055951 0
[pid=25638/tid=25646] ppid=25635 vsize=12920676 CPUtime=0 cores=1,3,5,7
/proc/25638/task/25646/stat : 25646 (java) S 25635 25638 25100 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 60261741 13230772224 953395 18446744073709551615 4194304 4196468 140727277050160 140683850503520 140684696131285 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29495296 140727277052308 140727277052494 140727277052494 140727277055951 0
[pid=25638/tid=25647] ppid=25635 vsize=12920676 CPUtime=0 cores=1,3,5,7
/proc/25638/task/25647/stat : 25647 (java) S 25635 25638 25100 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 60261741 13230772224 953395 18446744073709551615 4194304 4196468 140727277050160 140683849451136 140684696131285 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29495296 140727277052308 140727277052494 140727277052494 140727277055951 0
[pid=25638/tid=25648] ppid=25635 vsize=12920676 CPUtime=0 cores=1,3,5,7
/proc/25638/task/25648/stat : 25648 (java) S 25635 25638 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 60261744 13230772224 953395 18446744073709551615 4194304 4196468 140727277050160 140683848399440 140684696139675 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29495296 140727277052308 140727277052494 140727277052494 140727277055951 0
[pid=25638/tid=25649] ppid=25635 vsize=12920676 CPUtime=2.57 cores=1,3,5,7
/proc/25638/task/25649/stat : 25649 (java) S 25635 25638 25100 0 -1 1077944384 15144 0 0 0 256 1 0 0 20 0 15 0 60261744 13230772224 953395 18446744073709551615 4194304 4196468 140727277050160 140683847346288 140684696132226 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 43 0 0 6293624 6294260 29495296 140727277052308 140727277052494 140727277052494 140727277055951 0
[pid=25638/tid=25650] ppid=25635 vsize=12920676 CPUtime=2.38 cores=1,3,5,7
/proc/25638/task/25650/stat : 25650 (java) S 25635 25638 25100 0 -1 1077944384 15702 0 0 0 236 2 0 0 20 0 15 0 60261744 13230772224 953395 18446744073709551615 4194304 4196468 140727277050160 140683846293488 140684696132226 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29495296 140727277052308 140727277052494 140727277052494 140727277055951 0
[pid=25638/tid=25651] ppid=25635 vsize=12920676 CPUtime=0.88 cores=1,3,5,7
/proc/25638/task/25651/stat : 25651 (java) S 25635 25638 25100 0 -1 1077944384 21334 0 0 0 86 2 0 0 20 0 15 0 60261744 13230772224 953395 18446744073709551615 4194304 4196468 140727277050160 140683845241200 140684696132226 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 45 0 0 6293624 6294260 29495296 140727277052308 140727277052494 140727277052494 140727277055951 0
[pid=25638/tid=25652] ppid=25635 vsize=12920676 CPUtime=0 cores=1,3,5,7
/proc/25638/task/25652/stat : 25652 (java) S 25635 25638 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 60261744 13230772224 953395 18446744073709551615 4194304 4196468 140727277050160 140683844188640 140684696131285 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29495296 140727277052308 140727277052494 140727277052494 140727277055951 0
[pid=25638/tid=25653] ppid=25635 vsize=12920676 CPUtime=1.39 cores=1,3,5,7
/proc/25638/task/25653/stat : 25653 (java) S 25635 25638 25100 0 -1 1077944384 1296 0 0 0 58 81 0 0 20 0 15 0 60261749 13230772224 953395 18446744073709551615 4194304 4196468 140727277050160 140683843136432 140684696132226 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 52 0 0 6293624 6294260 29495296 140727277052308 140727277052494 140727277052494 140727277055951 0
Current children cumulated CPU time (s) 2400.01
Current children cumulated vsize (KiB) 12920676

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

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 25638 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143
Real time (s): 2320.05
CPU time (s): 2400.07
CPU user time (s): 2396.69
CPU system time (s): 3.37518
CPU usage (%): 103.449
Max. virtual memory (cumulated for all children) (KiB): 12920676

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2396.69
system time used= 3.37518
maximum resident set size= 3865016
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 516172
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2896
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 68444
involuntary context switches= 5165

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.83872 second user time and 16.9166 second system time

The end

Launcher Data 

Begin job on node133 at 2017-08-07 18:33:37
IDJOB=4248630
IDBENCH=140589
IDSOLVER=2628
FILE ID=node133/4248630-1502124464
RUNJOBID= node133-1502065585-15257
PBS_JOBID= 
Free space on /tmp= 61988 MiB

SOLVER NAME= OscaR - Conflict Ordering 2017-06-30
BENCH NAME= XCSP17/Ramsey/Ramsey-int-s1/Ramsey-int-44.xml
COMMAND LINE= java -Xmx10000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit MEMLIMIT --nbcore NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4248630-1502124464/watcher-4248630-1502124464 -o /tmp/evaluation-result-4248630-1502124464/solver-4248630-1502124464 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node133-1502065585-15257 --watchdog 2560  java -Xmx10000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed 821810094 --timelimit 2400 --memlimit 15500 --nbcore 4 HOME/instance-4248630-1502124464.xml

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

MD5SUM BENCH= 0962135a9df7191e1203c0b83ceb0052
RANDOM SEED=821810094

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        28890588 kB
MemAvailable:   29507884 kB
Buffers:          233768 kB
Cached:           673448 kB
SwapCached:            0 kB
Active:          3069824 kB
Inactive:         376880 kB
Active(anon):    2540096 kB
Inactive(anon):    24920 kB
Active(file):     529728 kB
Inactive(file):   351960 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             42776 kB
Writeback:             0 kB
AnonPages:       2484808 kB
Mapped:            56476 kB
Shmem:             25276 kB
Slab:             129384 kB
SReclaimable:     102888 kB
SUnreclaim:        26496 kB
KernelStack:        3792 kB
PageTables:        10944 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    3067068 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      354332 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2349056 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      132480 kB
DirectMap2M:    33413120 kB

Free space on /tmp at the end= 61948 MiB
End job on node133 at 2017-08-07 19:12:18