Trace number 4274330

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)723 2520.0601 2442.1499

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.24/0.39	c version: 2017-07-26
0.24/0.39	c seed: 521720261
0.24/0.40	c timeout: 2520
0.24/0.40	c memlimit: 11000
0.24/0.40	c nbcore: 4
0.42/0.42	c Parsing instance...
6.11/2.25	c Parsing done, starting search...
20.59/14.85	o 945
34.48/27.75	o 944
47.93/40.74	o 943
61.42/53.71	o 942
74.61/66.57	o 941
88.00/79.51	o 940
101.27/92.31	o 939
114.37/105.08	o 938
127.65/117.95	o 937
140.84/130.71	o 936
153.93/143.46	o 935
167.12/156.26	o 934
180.32/169.08	o 933
193.49/181.86	o 932
206.58/194.59	o 931
219.77/207.37	o 930
232.87/220.10	o 929
246.05/232.83	o 928
259.24/245.61	o 927
272.43/258.41	o 926
285.63/271.23	o 925
298.80/284.06	o 924
311.88/296.71	o 923
325.47/309.51	o 922
338.33/322.05	o 921
351.23/334.60	o 920
364.06/347.08	o 919
376.96/359.69	o 918
390.00/372.30	o 917
402.82/384.82	o 916
415.62/397.30	o 915
428.48/409.85	o 914
441.25/422.21	o 913
454.05/434.70	o 912
466.90/447.20	o 911
479.55/459.55	o 910
492.37/472.01	o 909
505.50/484.47	o 908
518.31/497.00	o 907
531.16/509.42	o 906
543.96/521.94	o 905
556.82/534.48	o 904
570.47/547.77	o 903
584.10/560.91	o 902
597.66/574.14	o 901
611.25/587.46	o 900
624.90/600.72	o 899
638.50/613.94	o 898
651.95/627.07	o 897
665.40/640.17	o 896
679.65/653.52	o 895
693.21/666.71	o 894
706.78/679.93	o 893
720.27/693.05	o 892
733.76/706.14	o 891
747.21/719.20	o 890
760.56/732.27	o 889
773.92/745.27	o 888
787.32/758.23	o 887
800.60/771.13	o 886
813.87/784.03	o 885
827.03/796.90	o 884
840.29/809.72	o 883
853.35/822.45	o 882
866.87/835.25	o 881
879.84/847.86	o 880
892.80/860.46	o 879
905.77/873.08	o 878
918.74/885.69	o 877
931.76/898.40	o 876
944.72/910.96	o 875
957.60/923.46	o 874
970.38/935.86	o 873
983.20/948.36	o 872
995.91/960.75	o 871
1008.54/973.06	o 870
1021.04/985.24	o 869
1033.95/997.55	o 868
1046.38/1009.67	o 867
1058.78/1021.73	o 866
1071.12/1033.77	o 865
1083.43/1045.74	o 864
1095.91/1057.81	o 863
1108.22/1069.73	o 862
1120.44/1081.67	o 861
1132.64/1093.54	o 860
1144.74/1105.32	o 859
1156.85/1117.12	o 858
1168.99/1128.91	o 857
1181.19/1140.80	o 856
1193.19/1152.56	o 855
1205.31/1164.40	o 854
1217.88/1176.29	o 853
1229.77/1187.90	o 852
1241.79/1199.54	o 851
1253.70/1211.16	o 850
1265.59/1222.76	o 849
1277.39/1234.26	o 848
1289.41/1245.98	o 847
1301.24/1257.44	o 846
1313.05/1268.97	o 845
1324.84/1280.41	o 844
1336.45/1291.77	o 843
1348.21/1303.28	o 842
1360.16/1314.81	o 841
1371.85/1326.27	o 840
1383.55/1337.64	o 839
1395.10/1348.96	o 838
1407.38/1360.55	o 837
1418.77/1371.68	o 836
1430.19/1382.80	o 835
1441.57/1393.86	o 834
1452.97/1404.93	o 833
1464.27/1415.98	o 832
1475.57/1426.97	o 831
1486.98/1438.02	o 830
1498.24/1449.01	o 829
1509.43/1459.90	o 828
1520.62/1470.81	o 827
1531.73/1481.67	o 826
1542.91/1492.59	o 825
1554.00/1503.35	o 824
1564.96/1514.09	o 823
1575.95/1524.72	o 822
1586.75/1535.29	o 821
1598.25/1546.02	o 820
1609.08/1556.62	o 819
1619.78/1567.06	o 818
1630.56/1577.55	o 817
1641.32/1588.03	o 816
1652.13/1598.57	o 815
1662.87/1609.03	o 814
1673.46/1619.39	o 813
1684.10/1629.76	o 812
1694.70/1640.09	o 811
1705.35/1650.45	o 810
1716.14/1660.90	o 809
1726.60/1671.15	o 808
1737.09/1681.40	o 807
1747.54/1691.57	o 806
1758.09/1701.82	o 805
1768.50/1711.97	o 804
1779.30/1722.17	o 803
1789.70/1732.25	o 802
1800.06/1742.36	o 801
1810.40/1752.42	o 800
1820.65/1762.42	o 799
1830.96/1772.45	o 798
1841.20/1782.42	o 797
1851.35/1792.38	o 796
1861.54/1802.26	o 795
1871.70/1812.11	o 794
1881.87/1822.01	o 793
1891.81/1831.79	o 792
1901.80/1841.48	o 791
1911.84/1851.26	o 790
1921.79/1860.98	o 789
1931.73/1870.63	o 788
1941.63/1880.22	o 787
1951.49/1889.89	o 786
1961.93/1899.67	o 785
1971.88/1909.33	o 784
1981.70/1918.98	o 783
1991.46/1928.43	o 782
2001.10/1937.85	o 781
2010.65/1947.17	o 780
2020.18/1956.40	o 779
2029.63/1965.67	o 778
2039.18/1974.93	o 777
2048.83/1984.30	o 776
2058.27/1993.53	o 775
2067.77/2002.72	o 774
2077.17/2011.98	o 773
2086.75/2021.29	o 772
2096.19/2030.45	o 771
2105.55/2039.56	o 770
2114.90/2048.62	o 769
2124.14/2057.69	o 768
2133.98/2066.94	o 767
2143.39/2076.03	o 766
2152.62/2085.10	o 765
2161.94/2094.20	o 764
2171.20/2103.14	o 763
2180.43/2112.14	o 762
2189.58/2121.07	o 761
2198.78/2130.06	o 760
2207.92/2138.95	o 759
2216.96/2147.73	o 758
2225.90/2156.49	o 757
2235.05/2165.33	o 756
2244.15/2174.21	o 755
2253.00/2182.89	o 754
2262.07/2191.64	o 753
2271.07/2200.45	o 752
2279.93/2209.08	o 751
2289.28/2217.89	o 750
2298.01/2226.34	o 749
2306.77/2234.87	o 748
2315.68/2243.51	o 747
2324.27/2251.98	o 746
2333.01/2260.49	o 745
2341.75/2268.91	o 744
2350.24/2277.29	o 743
2358.99/2285.72	o 742
2367.52/2294.05	o 741
2375.92/2302.28	o 740
2384.37/2310.45	o 739
2392.77/2318.68	o 738
2401.22/2326.87	o 737
2409.64/2335.07	o 736
2418.03/2343.25	o 735
2426.35/2351.38	o 734
2434.71/2359.49	o 733
2443.57/2367.75	o 732
2451.77/2375.78	o 731
2460.11/2383.86	o 730
2468.32/2391.89	o 729
2476.56/2399.86	o 728
2484.75/2407.88	o 727
2492.96/2415.85	o 726
2501.08/2423.79	o 725
2509.22/2431.62	o 724
2517.22/2439.48	o 723
2520.00/2442.11	s SATISFIABLE
2520.00/2442.12	v <instantiation>
2520.00/2442.12	v 	<list>
2520.00/2442.12	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]
2520.00/2442.12	v 	</list>
2520.00/2442.12	v 	<values>
2520.00/2442.12	v 		720 722 721 722 723 723 723 723 723 723 723 723 723 723 723 723 723 723 723 723 723 723 723 723 723 723 723 723 723 723 723 723 723 723 723 723 723 723 723 723 723 723 723 722 721 722 723 723 723 723 723 723 723 723 723 723 723 723 723 723 723 723 723 723 723 723 723 723 723 723 723 723 723 723 723 723 723 723 723 723 723 723 723 723 723 722 721 723 723 723 723 723 723 723 723 723 723 723 723 723 723 723 723 723 723 723 723 723 723 723 723 723 723 723 723 723 723 723 723 723 723 723 723 723 723 723 722 723 723 723 723 723 723 723 723 723 723 723 723 723 723 723 723 723 723 723 723 723 723 723 723 723 723 723 723 723 723 723 723 723 723 723 723 723 723 723 723 723 723 723 723 723 723 723 723 723 723 723 723 723 723 723 723 723 723 723 723 723 723 723 723 723 723 723 723 723 723 723 723 723 723 723 723 723 723 704 704 703 703 703 703 703 703 703 703 703 703 703 703 703 703 703 703 704 703 705 706 707 708 709 710 711 712 713 714 715 716 717 718 719 720 721 722 686 687 688 689 690 691 692 693 694 695 696 697 698 699 700 701 702 703 704 705 706 707 708 709 710 711 712 713 714 715 716 717 718 719 720 721 722 687 688 689 690 691 692 693 694 695 696 697 698 699 700 701 702 703 704 705 706 707 708 709 710 711 712 713 714 715 716 717 718 719 720 721 722 688 689 690 691 692 693 694 695 696 697 698 699 700 701 702 703 704 705 706 707 708 709 710 711 712 713 714 715 716 717 718 719 720 721 722 689 690 691 692 693 694 695 696 697 698 699 700 701 702 703 704 705 706 707 708 709 710 711 712 713 714 715 716 717 718 719 720 721 722 690 691 692 693 694 695 696 697 698 699 700 701 702 703 704 705 706 707 708 709 710 711 712 713 714 715 716 717 718 719 720 721 722 691 692 693 694 695 696 697 698 699 700 701 702 703 704 705 706 707 708 709 710 711 712 713 714 715 716 717 718 719 720 721 722 692 693 694 695 696 697 698 699 700 701 702 703 704 705 706 707 708 709 710 711 712 713 714 715 716 717 718 719 720 721 722 693 694 695 696 697 698 699 700 701 702 703 704 705 706 707 708 709 710 711 712 713 714 715 716 717 718 719 720 721 722 694 695 696 697 698 699 700 701 702 703 704 705 706 707 708 709 710 711 712 713 714 715 716 717 718 719 720 721 722 695 696 697 698 699 700 701 702 703 704 705 706 707 708 709 710 711 712 713 714 715 716 717 718 719 720 721 722 696 697 698 699 700 701 702 703 704 705 706 707 708 709 710 711 712 713 714 715 716 717 718 719 720 721 722 697 698 699 700 701 702 703 704 705 706 707 708 709 710 711 712 713 714 715 716 717 718 719 720 721 722 698 699 700 701 702 703 704 705 706 707 708 709 710 711 712 713 714 715 716 717 718 719 720 721 722 699 700 701 702 703 704 705 706 707 708 709 710 711 712 713 714 715 716 717 718 719 720 721 722 700 701 702 703 704 705 706 707 708 709 710 711 712 713 714 715 716 717 718 719 720 721 722 701 702 703 704 705 706 707 708 709 710 711 712 713 714 715 716 717 718 719 720 721 722 702 703 704 705 706 707 708 709 710 711 712 713 714 715 716 717 718 719 720 721 722 703 704 705 706 707 708 709 710 711 712 713 714 715 716 717 718 719 720 721 722 704 705 706 707 708 709 710 711 712 713 714 715 716 717 718 719 720 721 722 705 706 707 708 709 710 711 712 713 714 715 716 717 718 719 720 721 722 706 707 708 709 710 711 712 713 714 715 716 717 718 719 720 721 722 707 708 709 710 711 712 713 714 715 716 717 718 719 720 721 722 708 709 710 711 712 713 714 715 716 717 718 719 720 721 722 709 710 711 712 713 714 715 716 717 718 719 720 721 722 710 711 712 713 714 715 716 717 718 719 720 721 722 711 712 713 714 715 716 717 718 719 720 721 722 712 713 714 715 716 717 718 719 720 721 722 713 714 715 716 717 718 719 720 721 722 714 715 716 717 718 719 720 721 722 715 716 717 718 719 720 721 722 716 717 718 719 720 721 722 717 718 719 720 721 722 718 719 720 721 722 719 720 721 722 720 721 722 721 722 722 
2520.00/2442.12	v 	</values>
2520.00/2442.12	v </instantiation>

Verifier Data 

OK	723

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4274330-1502865639/watcher-4274330-1502865639 -o /tmp/evaluation-result-4274330-1502865639/solver-4274330-1502865639 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node126-1502662832-10388 --watchdog 2580 java -Xmx11000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed 521720261 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4274330-1502865639.xml 

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

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

solver pid=18667, runsolver pid=18664

[startup+0.100135 s]*
/proc/loadavg: 1.61 1.52 1.47 2/196 18669
/proc/meminfo: memFree=27588044/32770624 swapFree=67105588/67108860
[pid=18667] ppid=18664 vsize=13358552 memory=13348 CPUtime=0 cores=1,3,5,7
/proc/18667/stat : 18667 (java) S 18664 18667 12560 0 -1 1077944320 3153 0 0 0 0 0 0 0 20 0 6 0 88759185 13679157248 3337 18446744073709551615 4194304 4196468 140734251343696 140734251326240 139744087400183 0 0 1 16784584 18446744073709551615 0 0 17 1 0 0 9 0 0 6293624 6294260 12369920 140734251348335 140734251348521 140734251348521 140734251352015 0
/proc/18667/statm: 3339638 3337 1756 1 0 3329135 0
[pid=18667/tid=18669] ppid=18664 vsize=13358552 memory=-6439968830534014599 CPUtime=0 cores=1,3,5,7
/proc/18667/task/18669/stat : 18669 (java) R 18664 18667 12560 0 -1 4202560 1923 0 0 0 0 0 0 0 20 0 6 0 88759194 13679157248 3403 18446744073709551615 4194304 4196468 140734251343696 139744091636304 139744067584416 0 4 1 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12369920 140734251348335 140734251348521 140734251348521 140734251352015 0
[pid=18667/tid=18670] ppid=18664 vsize=13358552 memory=6735269665564437106 CPUtime=0 cores=1,3,5,7
/proc/18667/task/18670/stat : 18670 (java) S 18664 18667 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 88759195 13679157248 3403 18446744073709551615 4194304 4196468 140734251343696 139744021834512 139744087410389 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12369920 140734251348335 140734251348521 140734251348521 140734251352015 0
[pid=18667/tid=18671] ppid=18664 vsize=13358552 memory=140293897938560 CPUtime=0 cores=1,3,5,7
/proc/18667/task/18671/stat : 18671 (java) S 18664 18667 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 88759195 13679157248 3403 18446744073709551615 4194304 4196468 140734251343696 139744020781968 139744087410389 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12369920 140734251348335 140734251348521 140734251348521 140734251352015 0
[pid=18667/tid=18672] ppid=18664 vsize=13358552 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18667/task/18672/stat : 18672 (java) S 18664 18667 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 88759195 13679157248 3469 18446744073709551615 4194304 4196468 140734251343696 139744019729424 139744087410389 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12369920 140734251348335 140734251348521 140734251348521 140734251352015 0
[pid=18667/tid=18673] ppid=18664 vsize=13358552 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18667/task/18673/stat : 18673 (java) S 18664 18667 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 88759195 13679157248 3469 18446744073709551615 4194304 4196468 140734251343696 139744018676880 139744087410389 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12369920 140734251348335 140734251348521 140734251348521 140734251352015 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 13358552 KiB
Current children cumulated memory: 13348 KiB

[startup+0.217701 s]*
/proc/loadavg: 1.61 1.52 1.47 3/209 18682
/proc/meminfo: memFree=27574200/32770624 swapFree=67105588/67108860
[pid=18667] ppid=18664 vsize=13975920 memory=30772 CPUtime=0.1 cores=1,3,5,7
/proc/18667/stat : 18667 (java) S 18664 18667 12560 0 -1 1077944320 6998 0 0 0 8 2 0 0 20 0 15 0 88759185 14311342080 7693 18446744073709551615 4194304 4196468 140734251343696 140734251326240 139744087400183 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 9 0 0 6293624 6294260 12369920 140734251348335 140734251348521 140734251348521 140734251352015 0
/proc/18667/statm: 3493980 7693 3369 1 0 3482759 0
[pid=18667/tid=18669] ppid=18664 vsize=13975920 memory=8318255677412212789 CPUtime=0.07 cores=1,3,5,7
/proc/18667/task/18669/stat : 18669 (java) R 18664 18667 12560 0 -1 4202560 5025 0 0 0 6 1 0 0 20 0 15 0 88759194 14311342080 7693 18446744073709551615 4194304 4196468 140734251343696 139744091585552 139744087412118 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 12369920 140734251348335 140734251348521 140734251348521 140734251352015 0
[pid=18667/tid=18670] ppid=18664 vsize=13975920 memory=328 CPUtime=0 cores=1,3,5,7
/proc/18667/task/18670/stat : 18670 (java) S 18664 18667 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 88759195 14311342080 7693 18446744073709551615 4194304 4196468 140734251343696 139744021834512 139744087410389 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12369920 140734251348335 140734251348521 140734251348521 140734251352015 0
[pid=18667/tid=18671] ppid=18664 vsize=13975920 memory=288370670049650304 CPUtime=0 cores=1,3,5,7
/proc/18667/task/18671/stat : 18671 (java) S 18664 18667 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 88759195 14311342080 7693 18446744073709551615 4194304 4196468 140734251343696 139744020781968 139744087410389 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12369920 140734251348335 140734251348521 140734251348521 140734251352015 0
[pid=18667/tid=18672] ppid=18664 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18667/task/18672/stat : 18672 (java) S 18664 18667 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 88759195 14311342080 7693 18446744073709551615 4194304 4196468 140734251343696 139744019729424 139744087410389 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12369920 140734251348335 140734251348521 140734251348521 140734251352015 0
[pid=18667/tid=18673] ppid=18664 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18667/task/18673/stat : 18673 (java) S 18664 18667 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 88759195 14311342080 7693 18446744073709551615 4194304 4196468 140734251343696 139744018676880 139744087410389 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12369920 140734251348335 140734251348521 140734251348521 140734251352015 0
[pid=18667/tid=18674] ppid=18664 vsize=13975920 memory=140293897938560 CPUtime=0 cores=1,3,5,7
/proc/18667/task/18674/stat : 18674 (java) S 18664 18667 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 88759196 14311342080 7693 18446744073709551615 4194304 4196468 140734251343696 139743565817840 139744087411330 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12369920 140734251348335 140734251348521 140734251348521 140734251352015 0
[pid=18667/tid=18675] ppid=18664 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18667/task/18675/stat : 18675 (java) S 18664 18667 12560 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 88759197 14311342080 7693 18446744073709551615 4194304 4196468 140734251343696 139743564764064 139744087410389 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12369920 140734251348335 140734251348521 140734251348521 140734251352015 0
[pid=18667/tid=18676] ppid=18664 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18667/task/18676/stat : 18676 (java) S 18664 18667 12560 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 88759197 14311342080 7693 18446744073709551615 4194304 4196468 140734251343696 139743563711472 139744087410389 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12369920 140734251348335 140734251348521 140734251348521 140734251352015 0
[pid=18667/tid=18677] ppid=18664 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18667/task/18677/stat : 18677 (java) S 18664 18667 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 88759199 14311342080 7693 18446744073709551615 4194304 4196468 140734251343696 139743562660048 139744087418779 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12369920 140734251348335 140734251348521 140734251348521 140734251352015 0
[pid=18667/tid=18678] ppid=18664 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18667/task/18678/stat : 18678 (java) S 18664 18667 12560 0 -1 1077944384 298 0 0 0 0 0 0 0 20 0 15 0 88759199 14311342080 7693 18446744073709551615 4194304 4196468 140734251343696 139743561607664 139744087411330 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12369920 140734251348335 140734251348521 140734251348521 140734251352015 0
[pid=18667/tid=18679] ppid=18664 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18667/task/18679/stat : 18679 (java) S 18664 18667 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 88759199 14311342080 7693 18446744073709551615 4194304 4196468 140734251343696 139743560555120 139744087411330 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12369920 140734251348335 140734251348521 140734251348521 140734251352015 0
[pid=18667/tid=18680] ppid=18664 vsize=13975920 memory=140293897938560 CPUtime=0.01 cores=1,3,5,7
/proc/18667/task/18680/stat : 18680 (java) R 18664 18667 12560 0 -1 4202560 291 0 0 0 1 0 0 0 20 0 15 0 88759199 14311342080 7693 18446744073709551615 4194304 4196468 140734251343696 139743559502576 139744087412118 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12369920 140734251348335 140734251348521 140734251348521 140734251352015 0
[pid=18667/tid=18681] ppid=18664 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18667/task/18681/stat : 18681 (java) S 18664 18667 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 88759200 14311342080 7693 18446744073709551615 4194304 4196468 140734251343696 139743558450272 139744087410389 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12369920 140734251348335 140734251348521 140734251348521 140734251352015 0
[pid=18667/tid=18682] ppid=18664 vsize=13975920 memory=140293897938560 CPUtime=0 cores=1,3,5,7
/proc/18667/task/18682/stat : 18682 (java) S 18664 18667 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 88759204 14311342080 7693 18446744073709551615 4194304 4196468 140734251343696 139743557396784 139744087411330 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12369920 140734251348335 140734251348521 140734251348521 140734251352015 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 13975920 KiB
Current children cumulated memory: 30772 KiB

[startup+0.313649 s]*
/proc/loadavg: 1.61 1.52 1.47 3/209 18682
/proc/meminfo: memFree=27564052/32770624 swapFree=67105588/67108860
[pid=18667] ppid=18664 vsize=13975920 memory=39808 CPUtime=0.24 cores=1,3,5,7
/proc/18667/stat : 18667 (java) S 18664 18667 12560 0 -1 1077944320 10241 0 0 0 20 4 0 0 20 0 15 0 88759185 14311342080 9952 18446744073709551615 4194304 4196468 140734251343696 140734251326240 139744087400183 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 9 0 0 6293624 6294260 12369920 140734251348335 140734251348521 140734251348521 140734251352015 0
/proc/18667/statm: 3493980 9952 3490 1 0 3482759 0
[pid=18667/tid=18669] ppid=18664 vsize=13975920 memory=-8774313645642428999 CPUtime=0.17 cores=1,3,5,7
/proc/18667/task/18669/stat : 18669 (java) R 18664 18667 12560 0 -1 4202560 7986 0 0 0 14 3 0 0 20 0 15 0 88759194 14311342080 9952 18446744073709551615 4194304 4196468 140734251343696 139744091622032 139744071480670 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 12369920 140734251348335 140734251348521 140734251348521 140734251352015 0
[pid=18667/tid=18670] ppid=18664 vsize=13975920 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/18667/task/18670/stat : 18670 (java) S 18664 18667 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 88759195 14311342080 9952 18446744073709551615 4194304 4196468 140734251343696 139744021834512 139744087410389 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12369920 140734251348335 140734251348521 140734251348521 140734251352015 0
[pid=18667/tid=18671] ppid=18664 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18667/task/18671/stat : 18671 (java) S 18664 18667 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 88759195 14311342080 9952 18446744073709551615 4194304 4196468 140734251343696 139744020781968 139744087410389 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12369920 140734251348335 140734251348521 140734251348521 140734251352015 0
[pid=18667/tid=18672] ppid=18664 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18667/task/18672/stat : 18672 (java) S 18664 18667 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 88759195 14311342080 9952 18446744073709551615 4194304 4196468 140734251343696 139744019729424 139744087410389 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12369920 140734251348335 140734251348521 140734251348521 140734251352015 0
[pid=18667/tid=18673] ppid=18664 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18667/task/18673/stat : 18673 (java) S 18664 18667 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 88759195 14311342080 9952 18446744073709551615 4194304 4196468 140734251343696 139744018676880 139744087410389 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12369920 140734251348335 140734251348521 140734251348521 140734251352015 0
[pid=18667/tid=18674] ppid=18664 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18667/task/18674/stat : 18674 (java) S 18664 18667 12560 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 88759196 14311342080 9952 18446744073709551615 4194304 4196468 140734251343696 139743565817840 139744087411330 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12369920 140734251348335 140734251348521 140734251348521 140734251352015 0
[pid=18667/tid=18675] ppid=18664 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18667/task/18675/stat : 18675 (java) S 18664 18667 12560 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 88759197 14311342080 9952 18446744073709551615 4194304 4196468 140734251343696 139743564764064 139744087410389 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12369920 140734251348335 140734251348521 140734251348521 140734251352015 0
[pid=18667/tid=18676] ppid=18664 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18667/task/18676/stat : 18676 (java) S 18664 18667 12560 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 88759197 14311342080 9952 18446744073709551615 4194304 4196468 140734251343696 139743563711472 139744087410389 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12369920 140734251348335 140734251348521 140734251348521 140734251352015 0
[pid=18667/tid=18677] ppid=18664 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18667/task/18677/stat : 18677 (java) S 18664 18667 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 88759199 14311342080 9952 18446744073709551615 4194304 4196468 140734251343696 139743562660048 139744087418779 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12369920 140734251348335 140734251348521 140734251348521 140734251352015 0
[pid=18667/tid=18678] ppid=18664 vsize=13975920 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/18667/task/18678/stat : 18678 (java) S 18664 18667 12560 0 -1 1077944384 462 0 0 0 1 0 0 0 20 0 15 0 88759199 14311342080 9952 18446744073709551615 4194304 4196468 140734251343696 139743561607664 139744087411330 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12369920 140734251348335 140734251348521 140734251348521 140734251352015 0
[pid=18667/tid=18679] ppid=18664 vsize=13975920 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/18667/task/18679/stat : 18679 (java) S 18664 18667 12560 0 -1 1077944384 44 0 0 0 1 0 0 0 20 0 15 0 88759199 14311342080 9952 18446744073709551615 4194304 4196468 140734251343696 139743560555120 139744087411330 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12369920 140734251348335 140734251348521 140734251348521 140734251352015 0
[pid=18667/tid=18680] ppid=18664 vsize=13975920 memory=-1 CPUtime=0.04 cores=1,3,5,7
/proc/18667/task/18680/stat : 18680 (java) S 18664 18667 12560 0 -1 1077944384 368 0 0 0 4 0 0 0 20 0 15 0 88759199 14311342080 9952 18446744073709551615 4194304 4196468 140734251343696 139743559502576 139744087411330 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12369920 140734251348335 140734251348521 140734251348521 140734251352015 0
[pid=18667/tid=18681] ppid=18664 vsize=13975920 memory=140293897938560 CPUtime=0 cores=1,3,5,7
/proc/18667/task/18681/stat : 18681 (java) S 18664 18667 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 88759200 14311342080 9952 18446744073709551615 4194304 4196468 140734251343696 139743558450272 139744087410389 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12369920 140734251348335 140734251348521 140734251348521 140734251352015 0
[pid=18667/tid=18682] ppid=18664 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18667/task/18682/stat : 18682 (java) S 18664 18667 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 88759204 14311342080 9952 18446744073709551615 4194304 4196468 140734251343696 139743557396784 139744087411330 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12369920 140734251348335 140734251348521 140734251348521 140734251352015 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 13975920 KiB
Current children cumulated memory: 39808 KiB

[startup+0.702598 s]
/proc/loadavg: 1.61 1.52 1.47 4/209 18682
/proc/meminfo: memFree=27551868/32770624 swapFree=67105588/67108860
[pid=18667] ppid=18664 vsize=13977988 memory=86668 CPUtime=1.11 cores=1,3,5,7
/proc/18667/stat : 18667 (java) S 18664 18667 12560 0 -1 1077944320 15318 0 0 0 104 7 0 0 20 0 15 0 88759185 14313459712 21667 18446744073709551615 4194304 4196468 140734251343696 140734251326240 139744087400183 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 9 0 0 6293624 6294260 12369920 140734251348335 140734251348521 140734251348521 140734251352015 0
/proc/18667/statm: 3494497 21667 3726 1 0 3483271 0
[pid=18667/tid=18669] ppid=18664 vsize=13977988 memory=53 CPUtime=0.54 cores=1,3,5,7
/proc/18667/task/18669/stat : 18669 (java) R 18664 18667 12560 0 -1 4202560 10362 0 0 0 49 5 0 0 20 0 15 0 88759194 14313459712 21667 18446744073709551615 4194304 4196468 140734251343696 139744091634288 139744073090825 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 12369920 140734251348335 140734251348521 140734251348521 140734251352015 0
[pid=18667/tid=18670] ppid=18664 vsize=13977988 memory=2209 CPUtime=0 cores=1,3,5,7
/proc/18667/task/18670/stat : 18670 (java) S 18664 18667 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 88759195 14313459712 21667 18446744073709551615 4194304 4196468 140734251343696 139744021834512 139744087410389 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12369920 140734251348335 140734251348521 140734251348521 140734251352015 0
[pid=18667/tid=18671] ppid=18664 vsize=13977988 memory=4580 CPUtime=0 cores=1,3,5,7
/proc/18667/task/18671/stat : 18671 (java) S 18664 18667 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 88759195 14313459712 21667 18446744073709551615 4194304 4196468 140734251343696 139744020781968 139744087410389 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12369920 140734251348335 140734251348521 140734251348521 140734251352015 0
[pid=18667/tid=18672] ppid=18664 vsize=13977988 memory=33 CPUtime=0 cores=1,3,5,7
/proc/18667/task/18672/stat : 18672 (java) S 18664 18667 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 88759195 14313459712 21667 18446744073709551615 4194304 4196468 140734251343696 139744019729424 139744087410389 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12369920 140734251348335 140734251348521 140734251348521 140734251352015 0
[pid=18667/tid=18673] ppid=18664 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18667/task/18673/stat : 18673 (java) S 18664 18667 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 88759195 14313459712 21667 18446744073709551615 4194304 4196468 140734251343696 139744018676880 139744087410389 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12369920 140734251348335 140734251348521 140734251348521 140734251352015 0
[pid=18667/tid=18674] ppid=18664 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18667/task/18674/stat : 18674 (java) S 18664 18667 12560 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 88759196 14313459712 21667 18446744073709551615 4194304 4196468 140734251343696 139743565817840 139744087411330 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12369920 140734251348335 140734251348521 140734251348521 140734251352015 0
[pid=18667/tid=18675] ppid=18664 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18667/task/18675/stat : 18675 (java) S 18664 18667 12560 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 88759197 14313459712 21667 18446744073709551615 4194304 4196468 140734251343696 139743564764064 139744087410389 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12369920 140734251348335 140734251348521 140734251348521 140734251352015 0
[pid=18667/tid=18676] ppid=18664 vsize=13977988 memory=280587529180816 CPUtime=0 cores=1,3,5,7
/proc/18667/task/18676/stat : 18676 (java) S 18664 18667 12560 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 88759197 14313459712 21667 18446744073709551615 4194304 4196468 140734251343696 139743563711472 139744087410389 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12369920 140734251348335 140734251348521 140734251348521 140734251352015 0
[pid=18667/tid=18677] ppid=18664 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18667/task/18677/stat : 18677 (java) S 18664 18667 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 88759199 14313459712 21667 18446744073709551615 4194304 4196468 140734251343696 139743562660048 139744087418779 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12369920 140734251348335 140734251348521 140734251348521 140734251352015 0
[pid=18667/tid=18678] ppid=18664 vsize=13977988 memory=0 CPUtime=0.16 cores=1,3,5,7
/proc/18667/task/18678/stat : 18678 (java) R 18664 18667 12560 0 -1 1077944384 1008 0 0 0 16 0 0 0 20 0 15 0 88759199 14313459712 21667 18446744073709551615 4194304 4196468 140734251343696 139743561607792 139744087410389 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12369920 140734251348335 140734251348521 140734251348521 140734251352015 0
[pid=18667/tid=18679] ppid=18664 vsize=13977988 memory=0 CPUtime=0.18 cores=1,3,5,7
/proc/18667/task/18679/stat : 18679 (java) R 18664 18667 12560 0 -1 4202560 1472 0 0 0 18 0 0 0 20 0 15 0 88759199 14313459712 21667 18446744073709551615 4194304 4196468 140734251343696 139743560536136 139744070896709 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12369920 140734251348335 140734251348521 140734251348521 140734251352015 0
[pid=18667/tid=18680] ppid=18664 vsize=13977988 memory=0 CPUtime=0.19 cores=1,3,5,7
/proc/18667/task/18680/stat : 18680 (java) S 18664 18667 12560 0 -1 1077944384 1091 0 0 0 19 0 0 0 20 0 15 0 88759199 14313459712 21667 18446744073709551615 4194304 4196468 140734251343696 139743559502576 139744087411330 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12369920 140734251348335 140734251348521 140734251348521 140734251352015 0
[pid=18667/tid=18681] ppid=18664 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18667/task/18681/stat : 18681 (java) S 18664 18667 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 88759200 14313459712 21667 18446744073709551615 4194304 4196468 140734251343696 139743558450272 139744087410389 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12369920 140734251348335 140734251348521 140734251348521 140734251352015 0
[pid=18667/tid=18682] ppid=18664 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18667/task/18682/stat : 18682 (java) S 18664 18667 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 88759204 14313459712 21667 18446744073709551615 4194304 4196468 140734251343696 139743557396784 139744087411330 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12369920 140734251348335 140734251348521 140734251348521 140734251352015 0
Current children cumulated CPU time: 1.11 s
Current children cumulated vsize: 13977988 KiB
Current children cumulated memory: 86668 KiB

[startup+1.50169 s]
/proc/loadavg: 1.64 1.53 1.47 5/209 18682
/proc/meminfo: memFree=27416076/32770624 swapFree=67105588/67108860
[pid=18667] ppid=18664 vsize=13977988 memory=216500 CPUtime=3.81 cores=1,3,5,7
/proc/18667/stat : 18667 (java) S 18664 18667 12560 0 -1 1077944320 19255 0 0 0 368 13 0 0 20 0 15 0 88759185 14313459712 54125 18446744073709551615 4194304 4196468 140734251343696 140734251326240 139744087400183 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 9 0 0 6293624 6294260 12369920 140734251348335 140734251348521 140734251348521 140734251352015 0
/proc/18667/statm: 3494497 54125 3781 1 0 3483271 0
[pid=18667/tid=18669] ppid=18664 vsize=13977988 memory=-8774313645642428999 CPUtime=1.31 cores=1,3,5,7
/proc/18667/task/18669/stat : 18669 (java) R 18664 18667 12560 0 -1 4202560 10718 0 0 0 125 6 0 0 20 0 15 0 88759194 14313459712 54125 18446744073709551615 4194304 4196468 140734251343696 139744091634056 139744069859824 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 12369920 140734251348335 140734251348521 140734251348521 140734251352015 0
[pid=18667/tid=18670] ppid=18664 vsize=13977988 memory=3054156605368933524 CPUtime=0 cores=1,3,5,7
/proc/18667/task/18670/stat : 18670 (java) S 18664 18667 12560 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 15 0 88759195 14313459712 54125 18446744073709551615 4194304 4196468 140734251343696 139744021834512 139744087410389 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12369920 140734251348335 140734251348521 140734251348521 140734251352015 0
[pid=18667/tid=18671] ppid=18664 vsize=13977988 memory=8514726395715218844 CPUtime=0 cores=1,3,5,7
/proc/18667/task/18671/stat : 18671 (java) S 18664 18667 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 88759195 14313459712 54125 18446744073709551615 4194304 4196468 140734251343696 139744020781968 139744087410389 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12369920 140734251348335 140734251348521 140734251348521 140734251352015 0
[pid=18667/tid=18672] ppid=18664 vsize=13977988 memory=8514726395715218844 CPUtime=0.01 cores=1,3,5,7
/proc/18667/task/18672/stat : 18672 (java) S 18664 18667 12560 0 -1 1077944384 31 0 0 0 1 0 0 0 20 0 15 0 88759195 14313459712 54125 18446744073709551615 4194304 4196468 140734251343696 139744019729424 139744087410389 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12369920 140734251348335 140734251348521 140734251348521 140734251352015 0
[pid=18667/tid=18673] ppid=18664 vsize=13977988 memory=5450916488555034154 CPUtime=0 cores=1,3,5,7
/proc/18667/task/18673/stat : 18673 (java) S 18664 18667 12560 0 -1 1077944384 31 0 0 0 0 0 0 0 20 0 15 0 88759195 14313459712 54125 18446744073709551615 4194304 4196468 140734251343696 139744018676880 139744087410389 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12369920 140734251348335 140734251348521 140734251348521 140734251352015 0
[pid=18667/tid=18674] ppid=18664 vsize=13977988 memory=-8815660332880338293 CPUtime=0 cores=1,3,5,7
/proc/18667/task/18674/stat : 18674 (java) S 18664 18667 12560 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 15 0 88759196 14313459712 54125 18446744073709551615 4194304 4196468 140734251343696 139743565817840 139744087411330 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12369920 140734251348335 140734251348521 140734251348521 140734251352015 0
[pid=18667/tid=18675] ppid=18664 vsize=13977988 memory=5450909908396308010 CPUtime=0 cores=1,3,5,7
/proc/18667/task/18675/stat : 18675 (java) S 18664 18667 12560 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 88759197 14313459712 54125 18446744073709551615 4194304 4196468 140734251343696 139743564764064 139744087410389 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12369920 140734251348335 140734251348521 140734251348521 140734251352015 0
[pid=18667/tid=18676] ppid=18664 vsize=13977988 memory=7898351070516488779 CPUtime=0 cores=1,3,5,7
/proc/18667/task/18676/stat : 18676 (java) S 18664 18667 12560 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 88759197 14313459712 54125 18446744073709551615 4194304 4196468 140734251343696 139743563711472 139744087410389 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12369920 140734251348335 140734251348521 140734251348521 140734251352015 0
[pid=18667/tid=18677] ppid=18664 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18667/task/18677/stat : 18677 (java) S 18664 18667 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 88759199 14313459712 54125 18446744073709551615 4194304 4196468 140734251343696 139743562660048 139744087418779 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12369920 140734251348335 140734251348521 140734251348521 140734251352015 0
[pid=18667/tid=18678] ppid=18664 vsize=13977988 memory=4051023312919347051 CPUtime=0.91 cores=1,3,5,7
/proc/18667/task/18678/stat : 18678 (java) R 18664 18667 12560 0 -1 4202560 2284 0 0 0 91 0 0 0 20 0 15 0 88759199 14313459712 54125 18446744073709551615 4194304 4196468 140734251343696 139743561597216 139744065376737 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12369920 140734251348335 140734251348521 140734251348521 140734251352015 0
[pid=18667/tid=18679] ppid=18664 vsize=13977988 memory=7684697299877988411 CPUtime=0.97 cores=1,3,5,7
/proc/18667/task/18679/stat : 18679 (java) R 18664 18667 12560 0 -1 4202560 2121 0 0 0 95 2 0 0 20 0 15 0 88759199 14313459712 54125 18446744073709551615 4194304 4196468 140734251343696 139743560554224 139744068576138 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12369920 140734251348335 140734251348521 140734251348521 140734251352015 0
[pid=18667/tid=18680] ppid=18664 vsize=13977988 memory=8189663425209665595 CPUtime=0.52 cores=1,3,5,7
/proc/18667/task/18680/stat : 18680 (java) S 18664 18667 12560 0 -1 1077944384 2591 0 0 0 51 1 0 0 20 0 15 0 88759199 14313459712 54125 18446744073709551615 4194304 4196468 140734251343696 139743559502576 139744087411330 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12369920 140734251348335 140734251348521 140734251348521 140734251352015 0
[pid=18667/tid=18681] ppid=18664 vsize=13977988 memory=7595386032072064153 CPUtime=0 cores=1,3,5,7
/proc/18667/task/18681/stat : 18681 (java) S 18664 18667 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 88759200 14313459712 54125 18446744073709551615 4194304 4196468 140734251343696 139743558450272 139744087410389 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12369920 140734251348335 140734251348521 140734251348521 140734251352015 0
[pid=18667/tid=18682] ppid=18664 vsize=13977988 memory=7595127534214684027 CPUtime=0 cores=1,3,5,7
/proc/18667/task/18682/stat : 18682 (java) S 18664 18667 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 88759204 14313459712 54125 18446744073709551615 4194304 4196468 140734251343696 139743557396784 139744087411330 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12369920 140734251348335 140734251348521 140734251348521 140734251352015 0
Current children cumulated CPU time: 3.81 s
Current children cumulated vsize: 13977988 KiB

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

/proc/18667/task/18669/stat : 18669 (java) R 18664 18667 12560 0 -1 4202560 227531 0 0 0 229638 108 0 0 20 0 15 0 88759194 14317654016 1022213 18446744073709551615 4194304 4196468 140734251343696 139744091638848 139743694540304 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 12369920 140734251348335 140734251348521 140734251348521 140734251352015 0
[pid=18667/tid=18670] ppid=18664 vsize=13982084 memory=4102292 CPUtime=22.62 cores=1,3,5,7
/proc/18667/task/18670/stat : 18670 (java) S 18664 18667 12560 0 -1 1077944384 35570 0 0 0 2204 58 0 0 20 0 15 0 88759195 14317654016 1022213 18446744073709551615 4194304 4196468 140734251343696 139744021834512 139744087410389 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12369920 140734251348335 140734251348521 140734251348521 140734251352015 0
[pid=18667/tid=18671] ppid=18664 vsize=13982084 memory=4125276 CPUtime=22.59 cores=1,3,5,7
/proc/18667/task/18671/stat : 18671 (java) S 18664 18667 12560 0 -1 1077944384 32206 0 0 0 2201 58 0 0 20 0 15 0 88759195 14317654016 1022213 18446744073709551615 4194304 4196468 140734251343696 139744020781968 139744087410389 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12369920 140734251348335 140734251348521 140734251348521 140734251352015 0
[pid=18667/tid=18672] ppid=18664 vsize=13982084 memory=4133484 CPUtime=22.61 cores=1,3,5,7
/proc/18667/task/18672/stat : 18672 (java) S 18664 18667 12560 0 -1 1077944384 31733 0 0 0 2205 56 0 0 20 0 15 0 88759195 14317654016 1022213 18446744073709551615 4194304 4196468 140734251343696 139744019729424 139744087410389 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12369920 140734251348335 140734251348521 140734251348521 140734251352015 0
[pid=18667/tid=18673] ppid=18664 vsize=13982084 memory=4104756 CPUtime=22.64 cores=1,3,5,7
/proc/18667/task/18673/stat : 18673 (java) S 18664 18667 12560 0 -1 1077944384 36468 0 0 0 2208 56 0 0 20 0 15 0 88759195 14317654016 1022213 18446744073709551615 4194304 4196468 140734251343696 139744018676880 139744087410389 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12369920 140734251348335 140734251348521 140734251348521 140734251352015 0
[pid=18667/tid=18674] ppid=18664 vsize=13982084 memory=4095520 CPUtime=1.05 cores=1,3,5,7
/proc/18667/task/18674/stat : 18674 (java) S 18664 18667 12560 0 -1 1077944384 63037 0 0 0 83 22 0 0 20 0 15 0 88759196 14317654016 1022213 18446744073709551615 4194304 4196468 140734251343696 139743565817840 139744087411330 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12369920 140734251348335 140734251348521 140734251348521 140734251352015 0
[pid=18667/tid=18675] ppid=18664 vsize=13982084 memory=4095520 CPUtime=0 cores=1,3,5,7
/proc/18667/task/18675/stat : 18675 (java) S 18664 18667 12560 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 88759197 14317654016 1022213 18446744073709551615 4194304 4196468 140734251343696 139743564764128 139744087410389 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12369920 140734251348335 140734251348521 140734251348521 140734251352015 0
[pid=18667/tid=18676] ppid=18664 vsize=13982084 memory=4095520 CPUtime=0 cores=1,3,5,7
/proc/18667/task/18676/stat : 18676 (java) S 18664 18667 12560 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 15 0 88759197 14317654016 1022213 18446744073709551615 4194304 4196468 140734251343696 139743563711488 139744087410389 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12369920 140734251348335 140734251348521 140734251348521 140734251352015 0
[pid=18667/tid=18677] ppid=18664 vsize=13982084 memory=4095520 CPUtime=0 cores=1,3,5,7
/proc/18667/task/18677/stat : 18677 (java) S 18664 18667 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 88759199 14317654016 1022213 18446744073709551615 4194304 4196468 140734251343696 139743562660048 139744087418779 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12369920 140734251348335 140734251348521 140734251348521 140734251352015 0
[pid=18667/tid=18678] ppid=18664 vsize=13982084 memory=4088852 CPUtime=2.63 cores=1,3,5,7
/proc/18667/task/18678/stat : 18678 (java) S 18664 18667 12560 0 -1 1077944384 15587 0 0 0 261 2 0 0 20 0 15 0 88759199 14317654016 1022213 18446744073709551615 4194304 4196468 140734251343696 139743561607664 139744087411330 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12369920 140734251348335 140734251348521 140734251348521 140734251352015 0
[pid=18667/tid=18679] ppid=18664 vsize=13982084 memory=4095520 CPUtime=2.59 cores=1,3,5,7
/proc/18667/task/18679/stat : 18679 (java) S 18664 18667 12560 0 -1 1077944384 13435 0 0 0 255 4 0 0 20 0 15 0 88759199 14317654016 1022213 18446744073709551615 4194304 4196468 140734251343696 139743560555120 139744087411330 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12369920 140734251348335 140734251348521 140734251348521 140734251352015 0
[pid=18667/tid=18680] ppid=18664 vsize=13982084 memory=4095520 CPUtime=0.97 cores=1,3,5,7
/proc/18667/task/18680/stat : 18680 (java) S 18664 18667 12560 0 -1 1077944384 23749 0 0 0 94 3 0 0 20 0 15 0 88759199 14317654016 1022213 18446744073709551615 4194304 4196468 140734251343696 139743559502576 139744087411330 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12369920 140734251348335 140734251348521 140734251348521 140734251352015 0
[pid=18667/tid=18681] ppid=18664 vsize=13982084 memory=4095520 CPUtime=0 cores=1,3,5,7
/proc/18667/task/18681/stat : 18681 (java) S 18664 18667 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 88759200 14317654016 1022213 18446744073709551615 4194304 4196468 140734251343696 139743558450272 139744087410389 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12369920 140734251348335 140734251348521 140734251348521 140734251352015 0
[pid=18667/tid=18682] ppid=18664 vsize=13982084 memory=1240 CPUtime=1.36 cores=1,3,5,7
/proc/18667/task/18682/stat : 18682 (java) S 18664 18667 12560 0 -1 1077944384 1084 0 0 0 56 80 0 0 20 0 15 0 88759204 14317654016 1022213 18446744073709551615 4194304 4196468 140734251343696 139743557396784 139744087411330 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12369920 140734251348335 140734251348521 140734251348521 140734251352015 0
Current children cumulated CPU time: 2396.61 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 4088852 KiB

[startup+2382.3 s]
/proc/loadavg: 1.56 1.43 1.48 3/209 18947
/proc/meminfo: memFree=27177600/32770624 swapFree=67105588/67108860
[pid=18667] ppid=18664 vsize=13982084 memory=4081268 CPUtime=2458.56 cores=1,3,5,7
/proc/18667/stat : 18667 (java) S 18664 18667 12560 0 -1 1077944320 496894 0 0 0 245421 435 0 0 20 0 15 0 88759185 14317654016 1020317 18446744073709551615 4194304 4196468 140734251343696 140734251326240 139744087400183 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 9 0 0 6293624 6294260 12369920 140734251348335 140734251348521 140734251348521 140734251352015 0
/proc/18667/statm: 3495521 1020317 3819 1 0 3484295 0
[pid=18667/tid=18669] ppid=18664 vsize=13982084 memory=1992 CPUtime=2356.76 cores=1,3,5,7
/proc/18667/task/18669/stat : 18669 (java) R 18664 18667 12560 0 -1 4202560 233700 0 0 0 235567 109 0 0 20 0 15 0 88759194 14317654016 1020317 18446744073709551615 4194304 4196468 140734251343696 139744091638736 139743693329384 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 12369920 140734251348335 140734251348521 140734251348521 140734251352015 0
[pid=18667/tid=18670] ppid=18664 vsize=13982084 memory=4102292 CPUtime=23.25 cores=1,3,5,7
/proc/18667/task/18670/stat : 18670 (java) S 18664 18667 12560 0 -1 1077944384 36851 0 0 0 2266 59 0 0 20 0 15 0 88759195 14317654016 1020317 18446744073709551615 4194304 4196468 140734251343696 139744021834512 139744087410389 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12369920 140734251348335 140734251348521 140734251348521 140734251352015 0
[pid=18667/tid=18671] ppid=18664 vsize=13982084 memory=4140672 CPUtime=23.24 cores=1,3,5,7
/proc/18667/task/18671/stat : 18671 (java) S 18664 18667 12560 0 -1 1077944384 32928 0 0 0 2265 59 0 0 20 0 15 0 88759195 14317654016 1020317 18446744073709551615 4194304 4196468 140734251343696 139744020781968 139744087410389 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12369920 140734251348335 140734251348521 140734251348521 140734251352015 0
[pid=18667/tid=18672] ppid=18664 vsize=13982084 memory=4116568 CPUtime=23.26 cores=1,3,5,7
/proc/18667/task/18672/stat : 18672 (java) S 18664 18667 12560 0 -1 1077944384 32515 0 0 0 2268 58 0 0 20 0 15 0 88759195 14317654016 1020317 18446744073709551615 4194304 4196468 140734251343696 139744019729424 139744087410389 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12369920 140734251348335 140734251348521 140734251348521 140734251352015 0
[pid=18667/tid=18673] ppid=18664 vsize=13982084 memory=4116568 CPUtime=23.3 cores=1,3,5,7
/proc/18667/task/18673/stat : 18673 (java) S 18664 18667 12560 0 -1 1077944384 37185 0 0 0 2272 58 0 0 20 0 15 0 88759195 14317654016 1020317 18446744073709551615 4194304 4196468 140734251343696 139744018676880 139744087410389 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12369920 140734251348335 140734251348521 140734251348521 140734251352015 0
[pid=18667/tid=18674] ppid=18664 vsize=13982084 memory=4102300 CPUtime=1.09 cores=1,3,5,7
/proc/18667/task/18674/stat : 18674 (java) S 18664 18667 12560 0 -1 1077944384 67777 0 0 0 86 23 0 0 20 0 15 0 88759196 14317654016 1020317 18446744073709551615 4194304 4196468 140734251343696 139743565817840 139744087411330 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12369920 140734251348335 140734251348521 140734251348521 140734251352015 0
[pid=18667/tid=18675] ppid=18664 vsize=13982084 memory=4081268 CPUtime=0 cores=1,3,5,7
/proc/18667/task/18675/stat : 18675 (java) S 18664 18667 12560 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 88759197 14317654016 1020317 18446744073709551615 4194304 4196468 140734251343696 139743564764128 139744087410389 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12369920 140734251348335 140734251348521 140734251348521 140734251352015 0
[pid=18667/tid=18676] ppid=18664 vsize=13982084 memory=4081268 CPUtime=0 cores=1,3,5,7
/proc/18667/task/18676/stat : 18676 (java) S 18664 18667 12560 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 15 0 88759197 14317654016 1020317 18446744073709551615 4194304 4196468 140734251343696 139743563711488 139744087410389 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12369920 140734251348335 140734251348521 140734251348521 140734251352015 0
[pid=18667/tid=18677] ppid=18664 vsize=13982084 memory=4081268 CPUtime=0 cores=1,3,5,7
/proc/18667/task/18677/stat : 18677 (java) S 18664 18667 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 88759199 14317654016 1020317 18446744073709551615 4194304 4196468 140734251343696 139743562660048 139744087418779 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12369920 140734251348335 140734251348521 140734251348521 140734251352015 0
[pid=18667/tid=18678] ppid=18664 vsize=13982084 memory=4144 CPUtime=2.63 cores=1,3,5,7
/proc/18667/task/18678/stat : 18678 (java) S 18664 18667 12560 0 -1 1077944384 15589 0 0 0 261 2 0 0 20 0 15 0 88759199 14317654016 1020317 18446744073709551615 4194304 4196468 140734251343696 139743561607664 139744087411330 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12369920 140734251348335 140734251348521 140734251348521 140734251352015 0
[pid=18667/tid=18679] ppid=18664 vsize=13982084 memory=4095120 CPUtime=2.59 cores=1,3,5,7
/proc/18667/task/18679/stat : 18679 (java) S 18664 18667 12560 0 -1 1077944384 13439 0 0 0 255 4 0 0 20 0 15 0 88759199 14317654016 1020317 18446744073709551615 4194304 4196468 140734251343696 139743560555120 139744087411330 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12369920 140734251348335 140734251348521 140734251348521 140734251352015 0
[pid=18667/tid=18680] ppid=18664 vsize=13982084 memory=4081268 CPUtime=0.98 cores=1,3,5,7
/proc/18667/task/18680/stat : 18680 (java) S 18664 18667 12560 0 -1 1077944384 24388 0 0 0 94 4 0 0 20 0 15 0 88759199 14317654016 1020317 18446744073709551615 4194304 4196468 140734251343696 139743559502576 139744087411330 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12369920 140734251348335 140734251348521 140734251348521 140734251352015 0
[pid=18667/tid=18681] ppid=18664 vsize=13982084 memory=4120152 CPUtime=0 cores=1,3,5,7
/proc/18667/task/18681/stat : 18681 (java) S 18664 18667 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 88759200 14317654016 1020317 18446744073709551615 4194304 4196468 140734251343696 139743558450272 139744087410389 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12369920 140734251348335 140734251348521 140734251348521 140734251352015 0
[pid=18667/tid=18682] ppid=18664 vsize=13982084 memory=4120152 CPUtime=1.4 cores=1,3,5,7
/proc/18667/task/18682/stat : 18682 (java) S 18664 18667 12560 0 -1 1077944384 1112 0 0 0 58 82 0 0 20 0 15 0 88759204 14317654016 1020317 18446744073709551615 4194304 4196468 140734251343696 139743557396784 139744087411330 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12369920 140734251348335 140734251348521 140734251348521 140734251352015 0
Current children cumulated CPU time: 2458.56 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 4081268 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2442.11 s]
/proc/loadavg: 1.46 1.44 1.48 3/209 18949
/proc/meminfo: memFree=27164212/32770624 swapFree=67105588/67108860
[pid=18667] ppid=18664 vsize=13982084 memory=4092556 CPUtime=2520 cores=1,3,5,7
/proc/18667/stat : 18667 (java) S 18664 18667 12560 0 -1 1077944320 505411 0 0 0 251558 442 0 0 20 0 15 0 88759185 14317654016 1023139 18446744073709551615 4194304 4196468 140734251343696 140734251326240 139744087400183 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 9 0 0 6293624 6294260 12369920 140734251348335 140734251348521 140734251348521 140734251352015 0
/proc/18667/statm: 3495521 1023139 3819 1 0 3484295 0
[pid=18667/tid=18669] ppid=18664 vsize=13982084 memory=-8774313645642428999 CPUtime=2415.99 cores=1,3,5,7
/proc/18667/task/18669/stat : 18669 (java) R 18664 18667 12560 0 -1 4202560 239211 0 0 0 241488 111 0 0 20 0 15 0 88759194 14317654016 1023139 18446744073709551615 4194304 4196468 140734251343696 139744091638848 139743694540116 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 12369920 140734251348335 140734251348521 140734251348521 140734251352015 0
[pid=18667/tid=18670] ppid=18664 vsize=13982084 memory=4092556 CPUtime=23.79 cores=1,3,5,7
/proc/18667/task/18670/stat : 18670 (java) S 18664 18667 12560 0 -1 1077944384 37520 0 0 0 2319 60 0 0 20 0 15 0 88759195 14317654016 1023139 18446744073709551615 4194304 4196468 140734251343696 139744021834512 139744087410389 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12369920 140734251348335 140734251348521 140734251348521 140734251352015 0
[pid=18667/tid=18671] ppid=18664 vsize=13982084 memory=4092556 CPUtime=23.77 cores=1,3,5,7
/proc/18667/task/18671/stat : 18671 (java) S 18664 18667 12560 0 -1 1077944384 33394 0 0 0 2318 59 0 0 20 0 15 0 88759195 14317654016 1023139 18446744073709551615 4194304 4196468 140734251343696 139744020781968 139744087410389 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12369920 140734251348335 140734251348521 140734251348521 140734251352015 0
[pid=18667/tid=18672] ppid=18664 vsize=13982084 memory=4102300 CPUtime=23.79 cores=1,3,5,7
/proc/18667/task/18672/stat : 18672 (java) S 18664 18667 12560 0 -1 1077944384 33139 0 0 0 2321 58 0 0 20 0 15 0 88759195 14317654016 1023139 18446744073709551615 4194304 4196468 140734251343696 139744019729424 139744087410389 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12369920 140734251348335 140734251348521 140734251348521 140734251352015 0
[pid=18667/tid=18673] ppid=18664 vsize=13982084 memory=4102300 CPUtime=23.84 cores=1,3,5,7
/proc/18667/task/18673/stat : 18673 (java) S 18664 18667 12560 0 -1 1077944384 37976 0 0 0 2325 59 0 0 20 0 15 0 88759195 14317654016 1023139 18446744073709551615 4194304 4196468 140734251343696 139744018676880 139744087410389 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12369920 140734251348335 140734251348521 140734251348521 140734251352015 0
[pid=18667/tid=18674] ppid=18664 vsize=13982084 memory=4135648 CPUtime=1.1 cores=1,3,5,7
/proc/18667/task/18674/stat : 18674 (java) S 18664 18667 12560 0 -1 1077944384 68200 0 0 0 87 23 0 0 20 0 15 0 88759196 14317654016 1023139 18446744073709551615 4194304 4196468 140734251343696 139743565817840 139744087411330 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12369920 140734251348335 140734251348521 140734251348521 140734251352015 0
[pid=18667/tid=18675] ppid=18664 vsize=13982084 memory=4039436 CPUtime=0 cores=1,3,5,7
/proc/18667/task/18675/stat : 18675 (java) S 18664 18667 12560 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 88759197 14317654016 1023139 18446744073709551615 4194304 4196468 140734251343696 139743564764128 139744087410389 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12369920 140734251348335 140734251348521 140734251348521 140734251352015 0
[pid=18667/tid=18676] ppid=18664 vsize=13982084 memory=4028944 CPUtime=0 cores=1,3,5,7
/proc/18667/task/18676/stat : 18676 (java) S 18664 18667 12560 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 15 0 88759197 14317654016 1023139 18446744073709551615 4194304 4196468 140734251343696 139743563711488 139744087410389 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12369920 140734251348335 140734251348521 140734251348521 140734251352015 0
[pid=18667/tid=18677] ppid=18664 vsize=13982084 memory=4092556 CPUtime=0 cores=1,3,5,7
/proc/18667/task/18677/stat : 18677 (java) S 18664 18667 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 88759199 14317654016 1023139 18446744073709551615 4194304 4196468 140734251343696 139743562660048 139744087418779 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12369920 140734251348335 140734251348521 140734251348521 140734251352015 0
[pid=18667/tid=18678] ppid=18664 vsize=13982084 memory=920 CPUtime=2.63 cores=1,3,5,7
/proc/18667/task/18678/stat : 18678 (java) S 18664 18667 12560 0 -1 1077944384 15592 0 0 0 261 2 0 0 20 0 15 0 88759199 14317654016 1023139 18446744073709551615 4194304 4196468 140734251343696 139743561607664 139744087411330 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12369920 140734251348335 140734251348521 140734251348521 140734251352015 0
[pid=18667/tid=18679] ppid=18664 vsize=13982084 memory=4092556 CPUtime=2.59 cores=1,3,5,7
/proc/18667/task/18679/stat : 18679 (java) S 18664 18667 12560 0 -1 1077944384 13441 0 0 0 255 4 0 0 20 0 15 0 88759199 14317654016 1023139 18446744073709551615 4194304 4196468 140734251343696 139743560555120 139744087411330 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12369920 140734251348335 140734251348521 140734251348521 140734251352015 0
[pid=18667/tid=18680] ppid=18664 vsize=13982084 memory=4073976 CPUtime=0.98 cores=1,3,5,7
/proc/18667/task/18680/stat : 18680 (java) S 18664 18667 12560 0 -1 1077944384 24390 0 0 0 94 4 0 0 20 0 15 0 88759199 14317654016 1023139 18446744073709551615 4194304 4196468 140734251343696 139743559502576 139744087411330 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12369920 140734251348335 140734251348521 140734251348521 140734251352015 0
[pid=18667/tid=18681] ppid=18664 vsize=13982084 memory=4116664 CPUtime=0 cores=1,3,5,7
/proc/18667/task/18681/stat : 18681 (java) S 18664 18667 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 88759200 14317654016 1023139 18446744073709551615 4194304 4196468 140734251343696 139743558450272 139744087410389 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12369920 140734251348335 140734251348521 140734251348521 140734251352015 0
[pid=18667/tid=18682] ppid=18664 vsize=13982084 memory=4092556 CPUtime=1.43 cores=1,3,5,7
/proc/18667/task/18682/stat : 18682 (java) S 18664 18667 12560 0 -1 1077944384 1138 0 0 0 59 84 0 0 20 0 15 0 88759204 14317654016 1023139 18446744073709551615 4194304 4196468 140734251343696 139743557396784 139744087411330 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12369920 140734251348335 140734251348521 140734251348521 140734251352015 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 4092556 KiB

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

[startup+2442.15 s]
# the end of solver process 18667 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2515.62 s, system=4.44386 s

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

[startup+2442.11 s]
/proc/loadavg: 1.46 1.44 1.48 3/209 18949
/proc/meminfo: memFree=27164212/32770624 swapFree=67105588/67108860
[pid=18667] ppid=18664 vsize=13982084 memory=4092556 CPUtime=2520 cores=1,3,5,7
/proc/18667/stat : 18667 (java) S 18664 18667 12560 0 -1 1077944320 505411 0 0 0 251558 442 0 0 20 0 15 0 88759185 14317654016 1023139 18446744073709551615 4194304 4196468 140734251343696 140734251326240 139744087400183 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 9 0 0 6293624 6294260 12369920 140734251348335 140734251348521 140734251348521 140734251352015 0
/proc/18667/statm: 3495521 1023139 3819 1 0 3484295 0
[pid=18667/tid=18669] ppid=18664 vsize=13982084 memory=-8774313645642428999 CPUtime=2415.99 cores=1,3,5,7
/proc/18667/task/18669/stat : 18669 (java) R 18664 18667 12560 0 -1 4202560 239211 0 0 0 241488 111 0 0 20 0 15 0 88759194 14317654016 1023139 18446744073709551615 4194304 4196468 140734251343696 139744091638848 139743694540116 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 12369920 140734251348335 140734251348521 140734251348521 140734251352015 0
[pid=18667/tid=18670] ppid=18664 vsize=13982084 memory=4092556 CPUtime=23.79 cores=1,3,5,7
/proc/18667/task/18670/stat : 18670 (java) S 18664 18667 12560 0 -1 1077944384 37520 0 0 0 2319 60 0 0 20 0 15 0 88759195 14317654016 1023139 18446744073709551615 4194304 4196468 140734251343696 139744021834512 139744087410389 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12369920 140734251348335 140734251348521 140734251348521 140734251352015 0
[pid=18667/tid=18671] ppid=18664 vsize=13982084 memory=4092556 CPUtime=23.77 cores=1,3,5,7
/proc/18667/task/18671/stat : 18671 (java) S 18664 18667 12560 0 -1 1077944384 33394 0 0 0 2318 59 0 0 20 0 15 0 88759195 14317654016 1023139 18446744073709551615 4194304 4196468 140734251343696 139744020781968 139744087410389 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12369920 140734251348335 140734251348521 140734251348521 140734251352015 0
[pid=18667/tid=18672] ppid=18664 vsize=13982084 memory=4102300 CPUtime=23.79 cores=1,3,5,7
/proc/18667/task/18672/stat : 18672 (java) S 18664 18667 12560 0 -1 1077944384 33139 0 0 0 2321 58 0 0 20 0 15 0 88759195 14317654016 1023139 18446744073709551615 4194304 4196468 140734251343696 139744019729424 139744087410389 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12369920 140734251348335 140734251348521 140734251348521 140734251352015 0
[pid=18667/tid=18673] ppid=18664 vsize=13982084 memory=4102300 CPUtime=23.84 cores=1,3,5,7
/proc/18667/task/18673/stat : 18673 (java) S 18664 18667 12560 0 -1 1077944384 37976 0 0 0 2325 59 0 0 20 0 15 0 88759195 14317654016 1023139 18446744073709551615 4194304 4196468 140734251343696 139744018676880 139744087410389 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12369920 140734251348335 140734251348521 140734251348521 140734251352015 0
[pid=18667/tid=18674] ppid=18664 vsize=13982084 memory=4135648 CPUtime=1.1 cores=1,3,5,7
/proc/18667/task/18674/stat : 18674 (java) S 18664 18667 12560 0 -1 1077944384 68200 0 0 0 87 23 0 0 20 0 15 0 88759196 14317654016 1023139 18446744073709551615 4194304 4196468 140734251343696 139743565817840 139744087411330 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12369920 140734251348335 140734251348521 140734251348521 140734251352015 0
[pid=18667/tid=18675] ppid=18664 vsize=13982084 memory=4039436 CPUtime=0 cores=1,3,5,7
/proc/18667/task/18675/stat : 18675 (java) S 18664 18667 12560 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 88759197 14317654016 1023139 18446744073709551615 4194304 4196468 140734251343696 139743564764128 139744087410389 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12369920 140734251348335 140734251348521 140734251348521 140734251352015 0
[pid=18667/tid=18676] ppid=18664 vsize=13982084 memory=4028944 CPUtime=0 cores=1,3,5,7
/proc/18667/task/18676/stat : 18676 (java) S 18664 18667 12560 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 15 0 88759197 14317654016 1023139 18446744073709551615 4194304 4196468 140734251343696 139743563711488 139744087410389 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12369920 140734251348335 140734251348521 140734251348521 140734251352015 0
[pid=18667/tid=18677] ppid=18664 vsize=13982084 memory=4092556 CPUtime=0 cores=1,3,5,7
/proc/18667/task/18677/stat : 18677 (java) S 18664 18667 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 88759199 14317654016 1023139 18446744073709551615 4194304 4196468 140734251343696 139743562660048 139744087418779 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12369920 140734251348335 140734251348521 140734251348521 140734251352015 0
[pid=18667/tid=18678] ppid=18664 vsize=13982084 memory=920 CPUtime=2.63 cores=1,3,5,7
/proc/18667/task/18678/stat : 18678 (java) S 18664 18667 12560 0 -1 1077944384 15592 0 0 0 261 2 0 0 20 0 15 0 88759199 14317654016 1023139 18446744073709551615 4194304 4196468 140734251343696 139743561607664 139744087411330 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12369920 140734251348335 140734251348521 140734251348521 140734251352015 0
[pid=18667/tid=18679] ppid=18664 vsize=13982084 memory=4092556 CPUtime=2.59 cores=1,3,5,7
/proc/18667/task/18679/stat : 18679 (java) S 18664 18667 12560 0 -1 1077944384 13441 0 0 0 255 4 0 0 20 0 15 0 88759199 14317654016 1023139 18446744073709551615 4194304 4196468 140734251343696 139743560555120 139744087411330 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12369920 140734251348335 140734251348521 140734251348521 140734251352015 0
[pid=18667/tid=18680] ppid=18664 vsize=13982084 memory=4073976 CPUtime=0.98 cores=1,3,5,7
/proc/18667/task/18680/stat : 18680 (java) S 18664 18667 12560 0 -1 1077944384 24390 0 0 0 94 4 0 0 20 0 15 0 88759199 14317654016 1023139 18446744073709551615 4194304 4196468 140734251343696 139743559502576 139744087411330 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12369920 140734251348335 140734251348521 140734251348521 140734251352015 0
[pid=18667/tid=18681] ppid=18664 vsize=13982084 memory=4116664 CPUtime=0 cores=1,3,5,7
/proc/18667/task/18681/stat : 18681 (java) S 18664 18667 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 88759200 14317654016 1023139 18446744073709551615 4194304 4196468 140734251343696 139743558450272 139744087410389 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12369920 140734251348335 140734251348521 140734251348521 140734251352015 0
[pid=18667/tid=18682] ppid=18664 vsize=13982084 memory=4092556 CPUtime=1.43 cores=1,3,5,7
/proc/18667/task/18682/stat : 18682 (java) S 18664 18667 12560 0 -1 1077944384 1138 0 0 0 59 84 0 0 20 0 15 0 88759204 14317654016 1023139 18446744073709551615 4194304 4196468 140734251343696 139743557396784 139744087411330 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12369920 140734251348335 140734251348521 140734251348521 140734251352015 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 4092556 KiB

Child status: 143
Real time (s): 2442.15
CPU time (s): 2520.06
CPU user time (s): 2515.62
CPU system time (s): 4.44386
CPU usage (%): 103.19
Max. virtual memory (cumulated for all children) (KiB): 13982084
Max. memory (cumulated for all children) (KiB): 4210516

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.62
system time used= 4.44386
maximum resident set size= 4211148
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 507018
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3032
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 71591
involuntary context switches= 5687


# summary of solver processes directly reported to runsolver:
#   pid: 18667
#   total CPU time (s): 2520.06
#   total CPU user time (s): 2515.62
#   total CPU system time (s): 4.44386

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.3434 second user time and 24.5768 second system time

The end

Launcher Data 

Begin job on node126 at 2017-08-16 08:26:36
IDJOB=4274330
IDBENCH=140589
IDSOLVER=2666
FILE ID=node126/4274330-1502865639
RUNJOBID= node126-1502662832-10388
PBS_JOBID= 
Free space on /tmp= 61988 MiB

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

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

MD5SUM BENCH= 0962135a9df7191e1203c0b83ceb0052
RANDOM SEED=521720261

node126.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.81
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.81
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.81
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.81
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:        27591276 kB
MemAvailable:   28011900 kB
Buffers:          249900 kB
Cached:           452116 kB
SwapCached:          524 kB
Active:          4408528 kB
Inactive:         289176 kB
Active(anon):    3948328 kB
Inactive(anon):    89000 kB
Active(file):     460200 kB
Inactive(file):   200176 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67105588 kB
Dirty:             42912 kB
Writeback:             0 kB
AnonPages:       4003280 kB
Mapped:            65180 kB
Shmem:             41632 kB
Slab:             178684 kB
SReclaimable:     152168 kB
SUnreclaim:        26516 kB
KernelStack:        3392 kB
PageTables:        12768 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    4613168 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3868672 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      101760 kB
DirectMap2M:    33443840 kB

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