Trace number 4262772

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Concrete 3.4SAT (TO)731 2520.1299 2437.3601

General information on the benchmark

NameRamsey/Ramsey-int-s1/
Ramsey-int-49.xml
MD5SUMf189c1eeae9c695eff92bc09b1867153
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.1299
Satisfiable
(Un)Satisfiability was proved
Number of variables2401
Number of constraints18424
Number of domains1
Minimum domain size1176
Maximum domain size1176
Distribution of domain sizes[{"size":1176,"count":1176}]
Minimum variable degree0
Maximum variable degree48
Distribution of variable degrees[{"degree":0,"count":1225},{"degree":48,"count":1176}]
Minimum constraint arity3
Maximum constraint arity3
Distribution of constraint arities[{"arity":3,"count":18424}]
Number of extensional constraints0
Number of intensional constraints18424
Distribution of constraint types[{"type":"intension","count":18424}]
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 

3.20/2.18	c Concrete v3.4 running
80.22/49.02	o 1175
87.50/54.64	o 1174
93.16/60.06	o 1173
98.65/65.46	o 1172
104.43/70.93	o 1171
109.88/76.24	o 1170
115.22/81.56	o 1169
120.65/86.97	o 1168
126.09/92.27	o 1167
131.75/97.79	o 1166
137.26/103.25	o 1165
142.86/108.66	o 1164
148.77/114.53	o 1163
154.07/119.84	o 1162
159.55/125.22	o 1161
164.85/130.58	o 1160
170.26/135.95	o 1159
175.58/141.28	o 1158
181.26/146.87	o 1157
186.77/152.30	o 1156
192.07/157.66	o 1155
197.50/163.08	o 1154
203.08/168.58	o 1153
208.56/173.91	o 1152
213.86/179.24	o 1151
219.34/184.65	o 1150
224.65/189.98	o 1149
230.05/195.34	o 1148
234.85/200.19	o 1147
240.22/205.48	o 1146
245.63/210.85	o 1145
251.03/216.27	o 1144
256.51/221.62	o 1143
261.81/226.99	o 1142
267.21/232.32	o 1141
272.63/237.72	o 1140
277.98/243.06	o 1139
282.79/247.88	o 1138
288.20/253.20	o 1137
293.57/258.58	o 1136
298.97/263.97	o 1135
304.37/269.37	o 1134
309.79/274.72	o 1133
315.26/280.19	o 1132
320.66/285.56	o 1131
326.26/291.12	o 1130
331.18/296.03	o 1129
336.53/301.37	o 1128
341.93/306.73	o 1127
347.33/312.10	o 1126
352.70/317.48	o 1125
358.11/322.82	o 1124
363.41/328.19	o 1123
368.89/333.53	o 1122
374.20/338.86	o 1121
379.60/344.23	o 1120
385.05/349.63	o 1119
390.36/354.98	o 1118
395.87/360.40	o 1117
401.24/365.79	o 1116
406.64/371.17	o 1115
412.04/376.52	o 1114
417.52/381.97	o 1113
422.94/387.36	o 1112
428.34/392.71	o 1111
433.70/398.07	o 1110
439.11/403.44	o 1109
444.48/408.76	o 1108
449.78/414.04	o 1107
455.08/419.37	o 1106
460.47/424.70	o 1105
465.86/430.04	o 1104
471.34/435.42	o 1103
476.74/440.80	o 1102
482.09/446.20	o 1101
487.53/451.55	o 1100
492.83/456.86	o 1099
498.79/462.76	o 1098
504.20/468.10	o 1097
509.57/473.40	o 1096
514.87/478.78	o 1095
520.37/484.14	o 1094
525.87/489.59	o 1093
531.26/494.94	o 1092
536.75/500.34	o 1091
542.06/505.65	o 1090
547.54/511.01	o 1089
553.12/516.52	o 1088
558.45/521.82	o 1087
563.96/527.29	o 1086
569.37/532.62	o 1085
574.86/538.04	o 1084
580.25/543.39	o 1083
585.83/548.86	o 1082
591.14/554.16	o 1081
596.64/559.55	o 1080
602.04/564.89	o 1079
607.55/570.28	o 1078
613.07/575.63	o 1077
618.38/580.94	o 1076
624.00/586.41	o 1075
629.40/591.76	o 1074
634.91/597.17	o 1073
640.43/602.52	o 1072
645.87/607.89	o 1071
651.38/613.27	o 1070
656.39/618.20	o 1069
661.92/623.56	o 1068
667.40/628.89	o 1067
672.90/634.28	o 1066
678.42/639.65	o 1065
683.86/645.03	o 1064
689.24/650.38	o 1063
694.80/655.74	o 1062
700.23/661.09	o 1061
705.77/666.48	o 1060
711.39/671.93	o 1059
716.94/677.35	o 1058
722.46/682.79	o 1057
729.35/688.51	o 1056
734.65/693.87	o 1055
740.15/699.23	o 1054
745.53/704.59	o 1053
751.02/709.90	o 1052
756.43/715.22	o 1051
761.76/720.51	o 1050
767.27/725.92	o 1049
772.84/731.34	o 1048
778.24/736.70	o 1047
783.77/742.10	o 1046
789.08/747.44	o 1045
794.50/752.78	o 1044
800.63/758.73	o 1043
806.03/764.15	o 1042
811.13/769.06	o 1041
816.42/774.38	o 1040
821.96/779.77	o 1039
827.97/785.71	o 1038
833.52/791.12	o 1037
838.82/796.45	o 1036
844.37/801.85	o 1035
849.78/807.21	o 1034
855.38/812.64	o 1033
860.19/817.49	o 1032
865.59/822.85	o 1031
871.02/828.15	o 1030
876.33/833.46	o 1029
881.87/838.83	o 1028
887.27/844.23	o 1027
892.57/849.59	o 1026
898.25/855.03	o 1025
903.55/860.39	o 1024
909.32/865.82	o 1023
914.62/871.19	o 1022
920.12/876.60	o 1021
925.74/882.06	o 1020
931.14/887.41	o 1019
936.87/892.81	o 1018
942.18/898.15	o 1017
947.49/903.49	o 1016
953.25/908.91	o 1015
958.46/914.20	o 1014
963.86/919.52	o 1013
969.61/924.92	o 1012
974.92/930.26	o 1011
980.59/935.67	o 1010
985.99/941.00	o 1009
991.30/946.35	o 1008
997.20/951.84	o 1007
1002.51/957.17	o 1006
1007.92/962.56	o 1005
1013.74/968.02	o 1004
1019.04/973.37	o 1003
1024.34/978.69	o 1002
1030.38/984.15	o 1001
1035.67/989.47	o 1000
1041.08/994.85	o 999
1046.96/1000.34	o 998
1052.26/1005.65	o 997
1057.57/1010.96	o 996
1063.61/1016.48	o 995
1068.91/1021.79	o 994
1074.21/1027.08	o 993
1080.12/1032.55	o 992
1085.42/1037.89	o 991
1091.02/1043.41	o 990
1096.33/1048.76	o 989
1102.15/1054.19	o 988
1107.55/1059.51	o 987
1112.87/1064.83	o 986
1118.16/1069.75	o 985
1123.47/1075.08	o 984
1128.87/1080.41	o 983
1134.68/1085.87	o 982
1139.97/1091.18	o 981
1145.37/1096.53	o 980
1151.19/1101.96	o 979
1156.59/1107.32	o 978
1161.89/1112.60	o 977
1167.81/1118.14	o 976
1173.11/1123.48	o 975
1178.51/1128.86	o 974
1184.43/1134.34	o 973
1189.74/1139.69	o 972
1195.13/1145.02	o 971
1201.04/1150.53	o 970
1206.47/1155.94	o 969
1211.97/1161.40	o 968
1217.28/1166.79	o 967
1223.21/1172.20	o 966
1228.61/1177.64	o 965
1234.01/1183.02	o 964
1239.83/1188.48	o 963
1245.16/1193.78	o 962
1250.57/1199.13	o 961
1256.39/1204.60	o 960
1261.78/1209.95	o 959
1267.09/1215.28	o 958
1273.02/1220.77	o 957
1278.42/1226.12	o 956
1283.82/1231.56	o 955
1289.75/1237.09	o 954
1295.15/1242.43	o 953
1300.46/1247.73	o 952
1306.29/1253.14	o 951
1311.59/1258.47	o 950
1316.99/1263.85	o 949
1323.04/1269.40	o 948
1328.34/1274.71	o 947
1333.54/1279.97	o 946
1339.58/1285.53	o 945
1344.88/1290.89	o 944
1350.29/1296.28	o 943
1356.23/1301.78	o 942
1361.63/1307.14	o 941
1367.24/1312.54	o 940
1373.17/1318.06	o 939
1378.47/1323.37	o 938
1383.87/1328.72	o 937
1389.79/1334.22	o 936
1395.10/1339.57	o 935
1400.51/1344.90	o 934
1406.44/1350.43	o 933
1411.85/1355.81	o 932
1416.65/1360.61	o 931
1422.47/1366.01	o 930
1427.77/1371.33	o 929
1433.07/1376.69	o 928
1440.33/1382.55	o 927
1445.63/1387.89	o 926
1450.93/1393.19	o 925
1456.34/1398.53	o 924
1461.24/1403.36	o 923
1466.54/1408.66	o 922
1471.96/1414.01	o 921
1477.38/1419.38	o 920
1482.79/1424.71	o 919
1488.20/1430.11	o 918
1493.64/1435.47	o 917
1498.94/1440.78	o 916
1504.24/1446.10	o 915
1509.81/1451.47	o 914
1515.31/1456.90	o 913
1520.61/1462.22	o 912
1526.21/1467.65	o 911
1531.62/1473.02	o 910
1536.92/1478.35	o 909
1542.56/1483.71	o 908
1547.76/1488.99	o 907
1553.06/1494.29	o 906
1558.79/1499.71	o 905
1564.10/1505.06	o 904
1569.41/1510.40	o 903
1575.66/1516.39	o 902
1581.06/1521.72	o 901
1586.36/1527.03	o 900
1592.05/1532.46	o 899
1597.45/1537.85	o 898
1602.85/1543.23	o 897
1608.65/1548.72	o 896
1613.95/1554.08	o 895
1619.37/1559.46	o 894
1625.19/1564.93	o 893
1630.49/1570.24	o 892
1635.80/1575.56	o 891
1641.53/1580.97	o 890
1646.84/1586.25	o 889
1652.14/1591.56	o 888
1657.55/1596.99	o 887
1663.41/1602.40	o 886
1668.72/1607.76	o 885
1674.02/1613.08	o 884
1679.90/1618.50	o 883
1685.11/1623.80	o 882
1689.92/1628.57	o 881
1695.73/1633.97	o 880
1701.03/1639.25	o 879
1706.93/1645.10	o 878
1712.77/1650.54	o 877
1718.07/1655.81	o 876
1723.38/1661.15	o 875
1729.30/1666.61	o 874
1734.72/1672.01	o 873
1740.01/1677.34	o 872
1745.94/1682.81	o 871
1750.75/1687.62	o 870
1756.06/1692.95	o 869
1761.88/1698.39	o 868
1767.28/1703.71	o 867
1772.58/1709.05	o 866
1777.50/1713.92	o 865
1783.33/1719.34	o 864
1788.62/1724.68	o 863
1794.04/1730.02	o 862
1799.96/1735.52	o 861
1805.26/1740.84	o 860
1810.66/1746.21	o 859
1816.49/1751.68	o 858
1821.40/1756.51	o 857
1826.71/1761.85	o 856
1832.15/1766.84	o 855
1837.45/1772.15	o 854
1842.85/1777.50	o 853
1848.69/1782.98	o 852
1853.99/1788.28	o 851
1859.39/1793.67	o 850
1865.33/1799.18	o 849
1870.73/1804.59	o 848
1876.14/1809.93	o 847
1882.08/1815.45	o 846
1887.38/1820.78	o 845
1892.79/1826.15	o 844
1898.72/1831.65	o 843
1904.02/1836.97	o 842
1909.42/1842.32	o 841
1915.35/1847.83	o 840
1920.67/1853.18	o 839
1925.98/1858.47	o 838
1931.38/1863.83	o 837
1937.32/1869.36	o 836
1942.63/1874.67	o 835
1947.94/1879.96	o 834
1953.76/1885.38	o 833
1959.16/1890.75	o 832
1964.56/1896.15	o 831
1970.49/1901.69	o 830
1975.39/1906.51	o 829
1980.70/1911.81	o 828
1986.63/1917.31	o 827
1991.93/1922.67	o 826
1997.23/1927.95	o 825
2003.16/1933.44	o 824
2007.98/1938.25	o 823
2013.27/1943.58	o 822
2019.20/1949.09	o 821
2024.70/1954.52	o 820
2030.10/1959.94	o 819
2035.89/1965.47	o 818
2041.46/1970.82	o 817
2046.77/1976.14	o 816
2052.07/1981.49	o 815
2058.00/1986.93	o 814
2063.31/1992.24	o 813
2068.71/1997.63	o 812
2074.65/2003.11	o 811
2079.95/2008.47	o 810
2085.25/2013.77	o 809
2091.19/2019.22	o 808
2096.39/2024.50	o 807
2101.70/2029.80	o 806
2107.63/2035.26	o 805
2112.94/2040.60	o 804
2118.35/2045.96	o 803
2124.28/2051.46	o 802
2129.58/2056.73	o 801
2134.89/2062.03	o 800
2140.82/2067.56	o 799
2146.33/2073.03	o 798
2151.73/2078.47	o 797
2157.23/2083.96	o 796
2163.27/2089.56	o 795
2168.67/2094.91	o 794
2173.98/2100.22	o 793
2179.85/2105.62	o 792
2185.33/2110.98	o 791
2190.73/2116.35	o 790
2196.68/2121.80	o 789
2201.89/2127.09	o 788
2207.29/2132.46	o 787
2213.22/2137.99	o 786
2218.63/2143.34	o 785
2223.94/2148.69	o 784
2229.87/2154.17	o 783
2235.21/2159.48	o 782
2240.61/2164.82	o 781
2246.01/2170.20	o 780
2251.85/2175.69	o 779
2256.75/2180.53	o 778
2261.95/2185.79	o 777
2267.90/2191.28	o 776
2273.30/2196.67	o 775
2278.70/2202.00	o 774
2284.55/2207.49	o 773
2289.95/2212.82	o 772
2295.26/2218.14	o 771
2301.22/2223.66	o 770
2306.62/2229.01	o 769
2311.92/2234.37	o 768
2317.87/2239.86	o 767
2323.28/2245.24	o 766
2328.68/2250.61	o 765
2333.98/2255.96	o 764
2339.92/2261.46	o 763
2345.23/2266.79	o 762
2350.21/2271.62	o 761
2356.07/2277.03	o 760
2361.37/2282.36	o 759
2366.77/2287.72	o 758
2372.71/2293.22	o 757
2378.01/2298.56	o 756
2383.41/2303.95	o 755
2389.36/2309.43	o 754
2394.66/2314.79	o 753
2400.06/2320.11	o 752
2405.47/2325.51	o 751
2411.33/2330.96	o 750
2416.72/2336.38	o 749
2422.13/2341.75	o 748
2428.08/2347.27	o 747
2433.39/2352.59	o 746
2438.79/2357.96	o 745
2445.92/2363.73	o 744
2451.23/2369.08	o 743
2456.63/2374.43	o 742
2462.12/2379.81	o 741
2467.52/2385.22	o 740
2472.83/2390.54	o 739
2478.34/2395.91	o 738
2483.64/2401.24	o 737
2489.05/2406.62	o 736
2494.35/2411.97	o 735
2499.89/2417.31	o 734
2505.19/2422.69	o 733
2510.60/2428.05	o 732
2516.15/2433.44	o 731
2520.05/2437.30	java.util.concurrent.TimeoutException
2520.05/2437.30		at concrete.MAC.mac(MAC.scala:74)
2520.05/2437.30		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:145)
2520.05/2437.30		at scala.util.Try$.apply(Try.scala:209)
2520.05/2437.30		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
2520.05/2437.30		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
2520.05/2437.30		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
2520.05/2437.30		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
2520.05/2437.30		at org.scalameter.Measurer$Default.measure(Measurer.scala:131)
2520.05/2437.30		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
2520.05/2437.30		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
2520.05/2437.30		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
2520.05/2437.30		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
2520.05/2437.30		at concrete.MAC.oneRun(MAC.scala:146)
2520.05/2437.30		at concrete.MAC.nextSolution(MAC.scala:166)
2520.05/2437.30		at concrete.MAC.$anonfun$nextSolution$2(MAC.scala:196)
2520.05/2437.30		at concrete.ProblemState.map(ProblemState.scala:203)
2520.05/2437.30		at concrete.ProblemState.map(ProblemState.scala:188)
2520.05/2437.30		at concrete.MAC.nextSolution(MAC.scala:195)
2520.05/2437.30		at concrete.Solver.hasNext(Solver.scala:202)
2520.05/2437.30		at scala.collection.Iterator.toStream(Iterator.scala:1403)
2520.05/2437.30		at scala.collection.Iterator.toStream$(Iterator.scala:1402)
2520.05/2437.30		at concrete.Solver.toStream(Solver.scala:73)
2520.05/2437.30		at scala.collection.Iterator.$anonfun$toStream$1(Iterator.scala:1403)
2520.05/2437.30		at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1169)
2520.05/2437.30		at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1159)
2520.05/2437.30		at scala.collection.immutable.Stream.foreach(Stream.scala:531)
2520.05/2437.30		at concrete.runner.ConcreteRunner.$anonfun$run$10(ConcreteRunner.scala:157)
2520.05/2437.30		at scala.util.Success.$anonfun$map$1(Try.scala:251)
2520.05/2437.30		at scala.util.Success.map(Try.scala:209)
2520.05/2437.30		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:154)
2520.05/2437.30		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:72)
2520.05/2437.30		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:17)
2520.05/2437.30		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:119)
2520.05/2437.30		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:17)
2520.05/2437.30		at scala.Function0.apply$mcV$sp(Function0.scala:34)
2520.05/2437.31		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
2520.05/2437.31		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
2520.05/2437.31		at scala.App.$anonfun$main$1$adapted(App.scala:76)
2520.05/2437.31		at scala.collection.immutable.List.foreach(List.scala:389)
2520.05/2437.31		at scala.App.main(App.scala:76)
2520.05/2437.31		at scala.App.main$(App.scala:74)
2520.05/2437.31		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:17)
2520.05/2437.31		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2520.05/2437.31	v <instantiation cost="731">
2520.05/2437.31	v       <list>
2520.05/2437.31	v         x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[0][30] x[0][31] x[0][32] x[0][33] x[0][34] x[0][35] x[0][36] x[0][37] x[0][38] x[0][39] x[0][40] x[0][41] x[0][42] x[0][43] x[0][44] x[0][45] x[0][46] x[0][47] x[0][48] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[1][28] x[1][29] x[1][30] x[1][31] x[1][32] x[1][33] x[1][34] x[1][35] x[1][36] x[1][37] x[1][38] x[1][39] x[1][40] x[1][41] x[1][42] x[1][43] x[1][44] x[1][45] x[1][46] x[1][47] x[1][48] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[2][28] x[2][29] x[2][30] x[2][31] x[2][32] x[2][33] x[2][34] x[2][35] x[2][36] x[2][37] x[2][38] x[2][39] x[2][40] x[2][41] x[2][42] x[2][43] x[2][44] x[2][45] x[2][46] x[2][47] x[2][48] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[3][28] x[3][29] x[3][30] x[3][31] x[3][32] x[3][33] x[3][34] x[3][35] x[3][36] x[3][37] x[3][38] x[3][39] x[3][40] x[3][41] x[3][42] x[3][43] x[3][44] x[3][45] x[3][46] x[3][47] x[3][48] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[4][27] x[4][28] x[4][29] x[4][30] x[4][31] x[4][32] x[4][33] x[4][34] x[4][35] x[4][36] x[4][37] x[4][38] x[4][39] x[4][40] x[4][41] x[4][42] x[4][43] x[4][44] x[4][45] x[4][46] x[4][47] x[4][48] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[5][27] x[5][28] x[5][29] x[5][30] x[5][31] x[5][32] x[5][33] x[5][34] x[5][35] x[5][36] x[5][37] x[5][38] x[5][39] x[5][40] x[5][41] x[5][42] x[5][43] x[5][44] x[5][45] x[5][46] x[5][47] x[5][48] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[6][27] x[6][28] x[6][29] x[6][30] x[6][31] x[6][32] x[6][33] x[6][34] x[6][35] x[6][36] x[6][37] x[6][38] x[6][39] x[6][40] x[6][41] x[6][42] x[6][43] x[6][44] x[6][45] x[6][46] x[6][47] x[6][48] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[7][27] x[7][28] x[7][29] x[7][30] x[7][31] x[7][32] x[7][33] x[7][34] x[7][35] x[7][36] x[7][37] x[7][38] x[7][39] x[7][40] x[7][41] x[7][42] x[7][43] x[7][44] x[7][45] x[7][46] x[7][47] x[7][48] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[8][27] x[8][28] x[8][29] x[8][30] x[8][31] x[8][32] x[8][33] x[8][34] x[8][35] x[8][36] x[8][37] x[8][38] x[8][39] x[8][40] x[8][41] x[8][42] x[8][43] x[8][44] x[8][45] x[8][46] x[8][47] x[8][48] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[9][26] x[9][27] x[9][28] x[9][29] x[9][30] x[9][31] x[9][32] x[9][33] x[9][34] x[9][35] x[9][36] x[9][37] x[9][38] x[9][39] x[9][40] x[9][41] x[9][42] x[9][43] x[9][44] x[9][45] x[9][46] x[9][47] x[9][48] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][20] x[10][21] x[10][22] x[10][23] x[10][24] x[10][25] x[10][26] x[10][27] x[10][28] x[10][29] x[10][30] x[10][31] x[10][32] x[10][33] x[10][34] x[10][35] x[10][36] x[10][37] x[10][38] x[10][39] x[10][40] x[10][41] x[10][42] x[10][43] x[10][44] x[10][45] x[10][46] x[10][47] x[10][48] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][20] x[11][21] x[11][22] x[11][23] x[11][24] x[11][25] x[11][26] x[11][27] x[11][28] x[11][29] x[11][30] x[11][31] x[11][32] x[11][33] x[11][34] x[11][35] x[11][36] x[11][37] x[11][38] x[11][39] x[11][40] x[11][41] x[11][42] x[11][43] x[11][44] x[11][45] x[11][46] x[11][47] x[11][48] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][20] x[12][21] x[12][22] x[12][23] x[12][24] x[12][25] x[12][26] x[12][27] x[12][28] x[12][29] x[12][30] x[12][31] x[12][32] x[12][33] x[12][34] x[12][35] x[12][36] x[12][37] x[12][38] x[12][39] x[12][40] x[12][41] x[12][42] x[12][43] x[12][44] x[12][45] x[12][46] x[12][47] x[12][48] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][20] x[13][21] x[13][22] x[13][23] x[13][24] x[13][25] x[13][26] x[13][27] x[13][28] x[13][29] x[13][30] x[13][31] x[13][32] x[13][33] x[13][34] x[13][35] x[13][36] x[13][37] x[13][38] x[13][39] x[13][40] x[13][41] x[13][42] x[13][43] x[13][44] x[13][45] x[13][46] x[13][47] x[13][48] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][20] x[14][21] x[14][22] x[14][23] x[14][24] x[14][25] x[14][26] x[14][27] x[14][28] x[14][29] x[14][30] x[14][31] x[14][32] x[14][33] x[14][34] x[14][35] x[14][36] x[14][37] x[14][38] x[14][39] x[14][40] x[14][41] x[14][42] x[14][43] x[14][44] x[14][45] x[14][46] x[14][47] x[14][48] x[15][16] x[15][17] x[15][18] x[15][19] x[15][20] x[15][21] x[15][22] x[15][23] x[15][24] x[15][25] x[15][26] x[15][27] x[15][28] x[15][29] x[15][30] x[15][31] x[15][32] x[15][33] x[15][34] x[15][35] x[15][36] x[15][37] x[15][38] x[15][39] x[15][40] x[15][41] x[15][42] x[15][43] x[15][44] x[15][45] x[15][46] x[15][47] x[15][48] x[16][17] x[16][18] x[16][19] x[16][20] x[16][21] x[16][22] x[16][23] x[16][24] x[16][25] x[16][26] x[16][27] x[16][28] x[16][29] x[16][30] x[16][31] x[16][32] x[16][33] x[16][34] x[16][35] x[16][36] x[16][37] x[16][38] x[16][39] x[16][40] x[16][41] x[16][42] x[16][43] x[16][44] x[16][45] x[16][46] x[16][47] x[16][48] x[17][18] x[17][19] x[17][20] x[17][21] x[17][22] x[17][23] x[17][24] x[17][25] x[17][26] x[17][27] x[17][28] x[17][29] x[17][30] x[17][31] x[17][32] x[17][33] x[17][34] x[17][35] x[17][36] x[17][37] x[17][38] x[17][39] x[17][40] x[17][41] x[17][42] x[17][43] x[17][44] x[17][45] x[17][46] x[17][47] x[17][48] x[18][19] x[18][20] x[18][21] x[18][22] x[18][23] x[18][24] x[18][25] x[18][26] x[18][27] x[18][28] x[18][29] x[18][30] x[18][31] x[18][32] x[18][33] x[18][34] x[18][35] x[18][36] x[18][37] x[18][38] x[18][39] x[18][40] x[18][41] x[18][42] x[18][43] x[18][44] x[18][45] x[18][46] x[18][47] x[18][48] x[19][20] x[19][21] x[19][22] x[19][23] x[19][24] x[19][25] x[19][26] x[19][27] x[19][28] x[19][29] x[19][30] x[19][31] x[19][32] x[19][33] x[19][34] x[19][35] x[19][36] x[19][37] x[19][38] x[19][39] x[19][40] x[19][41] x[19][42] x[19][43] x[19][44] x[19][45] x[19][46] x[19][47] x[19][48] x[20][21] x[20][22] x[20][23] x[20][24] x[20][25] x[20][26] x[20][27] x[20][28] x[20][29] x[20][30] x[20][31] x[20][32] x[20][33] x[20][34] x[20][35] x[20][36] x[20][37] x[20][38] x[20][39] x[20][40] x[20][41] x[20][42] x[20][43] x[20][44] x[20][45] x[20][46] x[20][47] x[20][48] x[21][22] x[21][23] x[21][24] x[21][25] x[21][26] x[21][27] x[21][28] x[21][29] x[21][30] x[21][31] x[21][32] x[21][33] x[21][34] x[21][35] x[21][36] x[21][37] x[21][38] x[21][39] x[21][40] x[21][41] x[21][42] x[21][43] x[21][44] x[21][45] x[21][46] x[21][47] x[21][48] x[22][23] x[22][24] x[22][25] x[22][26] x[22][27] x[22][28] x[22][29] x[22][30] x[22][31] x[22][32] x[22][33] x[22][34] x[22][35] x[22][36] x[22][37] x[22][38] x[22][39] x[22][40] x[22][41] x[22][42] x[22][43] x[22][44] x[22][45] x[22][46] x[22][47] x[22][48] x[23][24] x[23][25] x[23][26] x[23][27] x[23][28] x[23][29] x[23][30] x[23][31] x[23][32] x[23][33] x[23][34] x[23][35] x[23][36] x[23][37] x[23][38] x[23][39] x[23][40] x[23][41] x[23][42] x[23][43] x[23][44] x[23][45] x[23][46] x[23][47] x[23][48] x[24][25] x[24][26] x[24][27] x[24][28] x[24][29] x[24][30] x[24][31] x[24][32] x[24][33] x[24][34] x[24][35] x[24][36] x[24][37] x[24][38] x[24][39] x[24][40] x[24][41] x[24][42] x[24][43] x[24][44] x[24][45] x[24][46] x[24][47] x[24][48] x[25][26] x[25][27] x[25][28] x[25][29] x[25][30] x[25][31] x[25][32] x[25][33] x[25][34] x[25][35] x[25][36] x[25][37] x[25][38] x[25][39] x[25][40] x[25][41] x[25][42] x[25][43] x[25][44] x[25][45] x[25][46] x[25][47] x[25][48] x[26][27] x[26][28] x[26][29] x[26][30] x[26][31] x[26][32] x[26][33] x[26][34] x[26][35] x[26][36] x[26][37] x[26][38] x[26][39] x[26][40] x[26][41] x[26][42] x[26][43] x[26][44] x[26][45] x[26][46] x[26][47] x[26][48] x[27][28] x[27][29] x[27][30] x[27][31] x[27][32] x[27][33] x[27][34] x[27][35] x[27][36] x[27][37] x[27][38] x[27][39] x[27][40] x[27][41] x[27][42] x[27][43] x[27][44] x[27][45] x[27][46] x[27][47] x[27][48] x[28][29] x[28][30] x[28][31] x[28][32] x[28][33] x[28][34] x[28][35] x[28][36] x[28][37] x[28][38] x[28][39] x[28][40] x[28][41] x[28][42] x[28][43] x[28][44] x[28][45] x[28][46] x[28][47] x[28][48] x[29][30] x[29][31] x[29][32] x[29][33] x[29][34] x[29][35] x[29][36] x[29][37] x[29][38] x[29][39] x[29][40] x[29][41] x[29][42] x[29][43] x[29][44] x[29][45] x[29][46] x[29][47] x[29][48] x[30][31] x[30][32] x[30][33] x[30][34] x[30][35] x[30][36] x[30][37] x[30][38] x[30][39] x[30][40] x[30][41] x[30][42] x[30][43] x[30][44] x[30][45] x[30][46] x[30][47] x[30][48] x[31][32] x[31][33] x[31][34] x[31][35] x[31][36] x[31][37] x[31][38] x[31][39] x[31][40] x[31][41] x[31][42] x[31][43] x[31][44] x[31][45] x[31][46] x[31][47] x[31][48] x[32][33] x[32][34] x[32][35] x[32][36] x[32][37] x[32][38] x[32][39] x[32][40] x[32][41] x[32][42] x[32][43] x[32][44] x[32][45] x[32][46] x[32][47] x[32][48] x[33][34] x[33][35] x[33][36] x[33][37] x[33][38] x[33][39] x[33][40] x[33][41] x[33][42] x[33][43] x[33][44] x[33][45] x[33][46] x[33][47] x[33][48] x[34][35] x[34][36] x[34][37] x[34][38] x[34][39] x[34][40] x[34][41] x[34][42] x[34][43] x[34][44] x[34][45] x[34][46] x[34][47] x[34][48] x[35][36] x[35][37] x[35][38] x[35][39] x[35][40] x[35][41] x[35][42] x[35][43] x[35][44] x[35][45] x[35][46] x[35][47] x[35][48] x[36][37] x[36][38] x[36][39] x[36][40] x[36][41] x[36][42] x[36][43] x[36][44] x[36][45] x[36][46] x[36][47] x[36][48] x[37][38] x[37][39] x[37][40] x[37][41] x[37][42] x[37][43] x[37][44] x[37][45] x[37][46] x[37][47] x[37][48] x[38][39] x[38][40] x[38][41] x[38][42] x[38][43] x[38][44] x[38][45] x[38][46] x[38][47] x[38][48] x[39][40] x[39][41] x[39][42] x[39][43] x[39][44] x[39][45] x[39][46] x[39][47] x[39][48] x[40][41] x[40][42] x[40][43] x[40][44] x[40][45] x[40][46] x[40][47] x[40][48] x[41][42] x[41][43] x[41][44] x[41][45] x[41][46] x[41][47] x[41][48] x[42][43] x[42][44] x[42][45] x[42][46] x[42][47] x[42][48] x[43][44] x[43][45] x[43][46] x[43][47] x[43][48] x[44][45] x[44][46] x[44][47] x[44][48] x[45][46] x[45][47] x[45][48] x[46][47] x[46][48] x[47][48]
2520.05/2437.31	v       </list>
2520.05/2437.31	v       <values>
2520.05/2437.31	v         727 730 728 730 730 730 728 727 730 728 730 730 729 731 731 731 729 728 728 728 730 731 729 727 731 731 729 727 727 731 729 731 730 729 728 727 729 731 730 730 727 728 731 729 728 731 730 730 731 729 730 731 730 731 731 730 730 731 727 729 730 731 730 730 726 729 728 728 728 729 729 728 729 727 729 731 727 727 729 731 730 728 729 728 728 730 731 728 731 730 728 731 730 731 730 731 729 728 731 730 727 727 730 728 728 728 731 730 731 730 730 729 730 731 729 730 730 731 728 727 729 730 729 730 726 726 729 731 727 731 729 727 727 728 729 731 730 729 731 729 728 729 731 727 731 730 728 729 730 728 731 729 730 727 726 731 731 726 729 730 728 728 730 731 730 730 729 731 729 731 730 730 727 727 729 728 731 728 729 729 728 729 730 727 729 727 731 731 731 731 729 726 731 729 731 728 730 729 729 730 727 731 728 730 731 728 728 728 730 728 731 730 728 730 729 727 729 730 730 730 727 731 730 731 727 728 730 728 731 729 727 729 729 727 728 725 729 730 727 727 728 728 730 729 729 731 726 730 729 731 729 727 729 730 728 727 730 728 730 731 731 729 730 729 728 726 728 729 731 730 731 728 729 730 730 731 731 729 729 730 726 730 728 728 730 728 729 727 727 726 731 730 730 726 731 729 731 730 729 728 728 726 731 730 730 729 728 730 728 729 731 730 729 728 728 726 730 729 729 730 729 731 729 727 731 727 727 727 731 726 728 728 728 728 730 731 728 727 729 729 730 730 727 731 728 727 730 730 731 729 730 729 729 727 730 730 730 729 728 730 728 728 729 731 731 727 730 728 730 729 730 726 728 728 731 726 729 730 729 730 729 729 730 730 728 728 731 730 729 729 731 731 729 728 730 731 728 728 727 727 731 730 728 725 731 729 730 728 731 729 730 730 730 728 729 729 727 730 729 726 727 731 729 730 730 729 726 730 731 729 728 731 731 727 727 730 730 726 728 731 731 731 731 730 729 730 730 729 729 728 731 731 729 728 730 728 730 726 727 731 730 730 730 731 729 730 727 729 727 730 729 731 727 731 730 731 727 731 730 730 729 730 725 729 730 729 731 726 727 729 728 728 730 728 728 729 728 731 731 729 731 728 726 730 730 730 727 727 729 729 730 730 730 730 730 729 731 730 731 729 729 727 730 727 729 726 730 731 731 727 728 725 731 728 728 727 727 729 729 730 731 728 731 731 726 731 731 731 731 731 729 730 729 731 730 728 730 731 727 730 728 729 730 728 727 730 731 726 731 727 729 729 728 729 727 731 728 731 730 726 729 728 729 727 729 730 729 730 730 731 731 729 730 730 727 731 730 726 730 729 728 728 730 730 730 728 729 730 728 729 731 730 727 731 731 729 728 729 729 731 730 726 726 729 729 727 726 728 727 728 731 728 728 727 729 729 731 729 730 730 727 727 730 727 728 730 728 731 727 730 731 728 730 728 730 731 728 729 727 729 731 730 731 730 731 729 730 730 729 730 729 730 731 727 728 729 730 729 726 725 729 730 729 729 730 731 728 729 728 728 730 728 729 728 726 726 727 730 730 731 730 729 729 730 731 728 728 730 731 727 727 730 731 728 727 728 728 728 729 727 731 728 726 729 729 730 729 726 731 728 731 728 731 731 729 731 729 729 730 729 730 730 729 731 731 728 731 726 729 727 730 726 729 727 729 731 726 728 728 728 730 731 729 730 730 731 727 728 731 727 731 730 728 728 731 731 730 728 728 730 729 730 731 731 729 729 727 726 728 728 727 729 727 729 731 730 729 727 731 727 729 730 729 727 730 730 728 727 729 728 730 729 729 727 731 731 731 726 731 729 726 728 729 731 728 730 728 727 729 731 731 730 728 731 729 728 728 729 731 731 727 730 730 727 728 730 730 728 729 730 730 727 730 731 730 730 727 731 731 731 729 728 729 731 730 731 731 727 730 729 731 727 728 730 729 728 727 726 729 730 729 729 729 728 729 730 731 730 731 726 730 726 729 730 730 729 731 731 730 730 729 731 729 731 730 731 730 728 729 730 730 729 726 727 730 731 729 727 729 729 727 730 731 729 727 729 729 727 728 729 730 730 728 731 729 728 731 729 731 730 730 728 727 730 731 729 730 731 730 731 728 731 730 729 728 731 729 726 728 730 729 730 729 731 728 729 731 730 729 730 729 728 729 728 728 728 731 730 729 731 728 730 731 726 731 731 730 727 731 730 728 731 731 731 728 727 729 730 728 731 726 728 728 728 728 728 729 731 730 729 729 728 728 730 731 728 731 729 728 727 729 731 730 728 730 730 728 727 726 729 730 730 727 731 729 731 728 730 731 730 730 727 727 727 729 728 730 729 729 731 730 728 731 728 731 731 727 730 730 730 730 729 727 727 727 731 731 726 731 726 731 731 729 731 727 731 729 730 731 729 728 727 727 726 731 728 729 731 730 731 731 727 728 727 729 730 728 730 729 727 726 728 729 731 727 727 727 730 731 731 729 730 728 731 730 730 730 728 727 731 730 730 729 726 730 730 730 731 729 730 731 726 731 729 728 728 730 731 729 727 728 730 727 729 729 731 729 729 730 729 730 728 729 730 730 731 728 730 730 727 729 729 730 728 729 728 731 730 728 728 729 730 730 730 729 726
2520.05/2437.31	v       </values>
2520.05/2437.31	v     </instantiation>
2520.05/2437.31	s SATISFIABLE

Verifier Data 

OK	731

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4262772-1502491841/watcher-4262772-1502491841 -o /tmp/evaluation-result-4262772-1502491841/solver-4262772-1502491841 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1502411438-1523 --watchdog 2580 bin/concrete HOME/instance-4262772-1502491841.xml 

pid=23830
running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 1.63 1.62 1.64 3/198 23833
/proc/meminfo: memFree=27178224/32770624 swapFree=0/580460
[pid=23833] ppid=23830 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/23833/stat : 23833 (runsolver) D 23830 23833 1460 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 96690433 24240128 107 18446744073709551615 4194304 4338465 140722841788816 140722841786456 140303789220567 0 0 1 24578 18446744071580418449 0 0 17 2 0 0 0 0 0 6438912 6441760 24166400 140722841796817 140722841797193 140722841797193 140722841800650 0
/proc/23833/statm: 5918 107 54 36 0 2156 0

[startup+0.100133 s]
/proc/loadavg: 1.63 1.62 1.64 3/198 23833
/proc/meminfo: memFree=27178224/32770624 swapFree=0/580460
[pid=23833] ppid=23830 vsize=9636 CPUtime=0.01 cores=0,2,4,6
/proc/23833/stat : 23833 (bash) S 23830 23833 1460 0 -1 4202496 889 6488 0 0 0 0 0 1 20 0 1 0 96690433 9867264 376 18446744073709551615 4194304 5098028 140735850048272 140735850042280 139863667174400 0 0 5 65536 18446744071580971376 0 0 17 6 0 0 6 0 0 7196144 7232144 39456768 140735850054164 140735850054249 140735850054249 140735850057706 0
/proc/23833/statm: 2409 376 296 221 0 118 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9636

[startup+0.200266 s]
/proc/loadavg: 1.63 1.62 1.64 3/198 23833
/proc/meminfo: memFree=27178224/32770624 swapFree=0/580460
[pid=23833] ppid=23830 vsize=30192 CPUtime=0.07 cores=0,2,4,6
/proc/23833/stat : 23833 (java) R 23830 23833 1460 0 -1 4202496 1387 12758 0 0 0 0 5 2 20 0 1 0 96690433 30916608 331 18446744073709551615 4194304 4196468 140729760179824 140729760160520 140049501644425 0 0 1 0 0 0 0 17 0 0 0 6 0 0 6293624 6294260 39743488 140729760188368 140729760191153 140729760191153 140729760194511 0
/proc/23833/statm: 7548 397 308 1 0 160 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 30192

[startup+0.300217 s]
/proc/loadavg: 1.63 1.62 1.64 3/198 23833
/proc/meminfo: memFree=27178224/32770624 swapFree=0/580460
[pid=23833] ppid=23830 vsize=13973936 CPUtime=0.14 cores=0,2,4,6
/proc/23833/stat : 23833 (java) S 23830 23833 1460 0 -1 1077944320 6188 12758 0 0 5 2 5 2 20 0 15 0 96690433 14309310464 6313 18446744073709551615 4194304 4196468 140729760179824 140729760162368 140049499422455 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 6 0 0 6293624 6294260 39743488 140729760188368 140729760191153 140729760191153 140729760194511 0
/proc/23833/statm: 3493484 6313 2653 1 0 3482965 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 13973936

[startup+0.700934 s]
/proc/loadavg: 1.63 1.62 1.64 3/198 23833
/proc/meminfo: memFree=27178224/32770624 swapFree=0/580460
[pid=23833] ppid=23830 vsize=13974784 CPUtime=0.7 cores=0,2,4,6
/proc/23833/stat : 23833 (java) S 23830 23833 1460 0 -1 1077944320 14104 12758 0 0 58 5 5 2 20 0 15 0 96690433 14310178816 14947 18446744073709551615 4194304 4196468 140729760179824 140729760162368 140049499422455 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 6 0 0 6293624 6294260 39743488 140729760188368 140729760191153 140729760191153 140729760194511 0
/proc/23833/statm: 3493696 14947 3088 1 0 3482965 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 13974784

[startup+1.50496 s]
/proc/loadavg: 1.63 1.62 1.64 7/213 23896
/proc/meminfo: memFree=26998956/32770624 swapFree=0/580744
[pid=23833] ppid=23830 vsize=13985408 CPUtime=1.93 cores=0,2,4,6
/proc/23833/stat : 23833 (java) S 23830 23833 1460 0 -1 1077944320 32468 12758 0 0 175 11 5 2 20 0 15 0 96690433 14321057792 43293 18446744073709551615 4194304 4196468 140729760179824 140729760162368 140049499422455 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 6 0 0 6293624 6294260 39743488 140729760188368 140729760191153 140729760191153 140729760194511 0
/proc/23833/statm: 3496352 43293 3378 1 0 3485525 0
[pid=23833/tid=23883] ppid=23830 vsize=13985408 CPUtime=1.3 cores=0,2,4,6
/proc/23833/task/23883/stat : 23883 (java) S 23830 23833 1460 0 -1 1077944384 25201 12758 0 0 116 7 5 2 20 0 15 0 96690453 14321057792 43293 18446744073709551615 4194304 4196468 140729760179824 140049503641168 140049499432661 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 3 0 0 6293624 6294260 39743488 140729760188368 140729760191153 140729760191153 140729760194511 0
[pid=23833/tid=23884] ppid=23830 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/23833/task/23884/stat : 23884 (java) S 23830 23833 1460 0 -1 1077944384 56 12758 0 0 0 0 5 2 20 0 15 0 96690454 14321057792 43293 18446744073709551615 4194304 4196468 140729760179824 140049433857040 140049499432661 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39743488 140729760188368 140729760191153 140729760191153 140729760194511 0
[pid=23833/tid=23885] ppid=23830 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/23833/task/23885/stat : 23885 (java) S 23830 23833 1460 0 -1 1077944384 70 12758 0 0 1 0 5 2 20 0 15 0 96690454 14321057792 43293 18446744073709551615 4194304 4196468 140729760179824 140049432804496 140049499432661 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39743488 140729760188368 140729760191153 140729760191153 140729760194511 0
[pid=23833/tid=23886] ppid=23830 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/23833/task/23886/stat : 23886 (java) S 23830 23833 1460 0 -1 1077944384 43 12758 0 0 1 0 5 2 20 0 15 0 96690454 14321057792 43293 18446744073709551615 4194304 4196468 140729760179824 140049431751440 140049499432661 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39743488 140729760188368 140729760191153 140729760191153 140729760194511 0
[pid=23833/tid=23887] ppid=23830 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/23833/task/23887/stat : 23887 (java) R 23830 23833 1460 0 -1 1077944384 193 12758 0 0 1 0 5 2 20 0 15 0 96690454 14321057792 43293 18446744073709551615 4194304 4196468 140729760179824 140049430698912 140049499432661 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 39743488 140729760188368 140729760191153 140729760191153 140729760194511 0
[pid=23833/tid=23888] ppid=23830 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/23833/task/23888/stat : 23888 (java) S 23830 23833 1460 0 -1 1077944384 1600 12758 0 0 1 0 5 2 20 0 15 0 96690455 14321057792 43293 18446744073709551615 4194304 4196468 140729760179824 140048977986336 140049499432661 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39743488 140729760188368 140729760191153 140729760191153 140729760194511 0
[pid=23833/tid=23889] ppid=23830 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/23833/task/23889/stat : 23889 (java) S 23830 23833 1460 0 -1 1077944384 33 12758 0 0 0 0 5 2 20 0 15 0 96690455 14321057792 43293 18446744073709551615 4194304 4196468 140729760179824 140048976934048 140049499432661 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39743488 140729760188368 140729760191153 140729760191153 140729760194511 0
[pid=23833/tid=23890] ppid=23830 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/23833/task/23890/stat : 23890 (java) S 23830 23833 1460 0 -1 1077944384 21 12758 0 0 0 0 5 2 20 0 15 0 96690456 14321057792 43293 18446744073709551615 4194304 4196468 140729760179824 140048975880944 140049499432661 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39743488 140729760188368 140729760191153 140729760191153 140729760194511 0
[pid=23833/tid=23891] ppid=23830 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/23833/task/23891/stat : 23891 (java) S 23830 23833 1460 0 -1 1077944384 3 12758 0 0 0 0 5 2 20 0 15 0 96690458 14321057792 43293 18446744073709551615 4194304 4196468 140729760179824 140048974829520 140049499441051 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39743488 140729760188368 140729760191153 140729760191153 140729760194511 0
[pid=23833/tid=23892] ppid=23830 vsize=13985408 CPUtime=0.23 cores=0,2,4,6
/proc/23833/task/23892/stat : 23892 (java) S 23830 23833 1460 0 -1 1077944384 1014 12758 0 0 16 0 5 2 20 0 15 0 96690458 14321057792 43293 18446744073709551615 4194304 4196468 140729760179824 140048973777648 140049499433602 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39743488 140729760188368 140729760191153 140729760191153 140729760194511 0
[pid=23833/tid=23893] ppid=23830 vsize=13985408 CPUtime=0.2 cores=0,2,4,6
/proc/23833/task/23893/stat : 23893 (java) S 23830 23833 1460 0 -1 1077944384 628 12758 0 0 13 0 5 2 20 0 15 0 96690458 14321057792 43293 18446744073709551615 4194304 4196468 140729760179824 140048972725104 140049499433602 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39743488 140729760188368 140729760191153 140729760191153 140729760194511 0
[pid=23833/tid=23894] ppid=23830 vsize=13985408 CPUtime=0.3 cores=0,2,4,6
/proc/23833/task/23894/stat : 23894 (java) S 23830 23833 1460 0 -1 1077944384 1444 12758 0 0 23 0 5 2 20 0 15 0 96690458 14321057792 43293 18446744073709551615 4194304 4196468 140729760179824 140048971672048 140049499433602 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39743488 140729760188368 140729760191153 140729760191153 140729760194511 0
[pid=23833/tid=23895] ppid=23830 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/23833/task/23895/stat : 23895 (java) S 23830 23833 1460 0 -1 1077944384 3 12758 0 0 0 0 5 2 20 0 15 0 96690459 14321057792 43293 18446744073709551615 4194304 4196468 140729760179824 140048970619744 140049499432661 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39743488 140729760188368 140729760191153 140729760191153 140729760194511 0
[pid=23833/tid=23896] ppid=23830 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/23833/task/23896/stat : 23896 (java) S 23830 23833 1460 0 -1 1077944384 10 12758 0 0 0 0 5 2 20 0 15 0 96690462 14321057792 43293 18446744073709551615 4194304 4196468 140729760179824 140048969566768 140049499433602 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39743488 140729760188368 140729760191153 140729760191153 140729760194511 0
Current children cumulated CPU time (s) 1.93
Current children cumulated vsize (KiB) 13985408

[startup+3.10289 s]
/proc/loadavg: 1.63 1.62 1.64 4/213 23896
/proc/meminfo: memFree=26902164/32770624 swapFree=0/580740
[pid=23833] ppid=23830 vsize=13995836 CPUtime=6.3 cores=0,2,4,6
/proc/23833/stat : 23833 (java) S 23830 23833 1460 0 -1 1077944320 43716 12758 0 0 606 17 5 2 20 0 15 0 96690433 14331736064 71499 18446744073709551615 4194304 4196468 140729760179824 140729760162368 140049499422455 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 6 0 0 6293624 6294260 39743488 140729760188368 140729760191153 140729760191153 140729760194511 0
/proc/23833/statm: 3498959 71499 3466 1 0 3487573 0
[pid=23833/tid=23883] ppid=23830 vsize=13995836 CPUtime=2.86 cores=0,2,4,6
/proc/23833/task/23883/stat : 23883 (java) R 23830 23833 1460 0 -1 4202560 30975 12758 0 0 270 9 5 2 20 0 15 0 96690453 14331736064 71499 18446744073709551615 4194304 4196468 140729760179824 140049503655360 140049499434390 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 39743488 140729760188368 140729760191153 140729760191153 140729760194511 0
[pid=23833/tid=23884] ppid=23830 vsize=13995836 CPUtime=0.08 cores=0,2,4,6
/proc/23833/task/23884/stat : 23884 (java) S 23830 23833 1460 0 -1 1077944384 73 12758 0 0 1 0 5 2 20 0 15 0 96690454 14331736064 71499 18446744073709551615 4194304 4196468 140729760179824 140049433857040 140049499432661 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39743488 140729760188368 140729760191153 140729760191153 140729760194511 0
[pid=23833/tid=23885] ppid=23830 vsize=13995836 CPUtime=0.09 cores=0,2,4,6
/proc/23833/task/23885/stat : 23885 (java) S 23830 23833 1460 0 -1 1077944384 91 12758 0 0 2 0 5 2 20 0 15 0 96690454 14331736064 71499 18446744073709551615 4194304 4196468 140729760179824 140049432804496 140049499432661 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39743488 140729760188368 140729760191153 140729760191153 140729760194511 0
[pid=23833/tid=23886] ppid=23830 vsize=13995836 CPUtime=0.08 cores=0,2,4,6
/proc/23833/task/23886/stat : 23886 (java) S 23830 23833 1460 0 -1 1077944384 51 12758 0 0 1 0 5 2 20 0 15 0 96690454 14331736064 71499 18446744073709551615 4194304 4196468 140729760179824 140049431751440 140049499432661 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39743488 140729760188368 140729760191153 140729760191153 140729760194511 0
[pid=23833/tid=23887] ppid=23830 vsize=13995836 CPUtime=0.09 cores=0,2,4,6
/proc/23833/task/23887/stat : 23887 (java) S 23830 23833 1460 0 -1 1077944384 213 12758 0 0 2 0 5 2 20 0 15 0 96690454 14331736064 71499 18446744073709551615 4194304 4196468 140729760179824 140049430698896 140049499432661 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39743488 140729760188368 140729760191153 140729760191153 140729760194511 0
[pid=23833/tid=23888] ppid=23830 vsize=13995836 CPUtime=0.08 cores=0,2,4,6
/proc/23833/task/23888/stat : 23888 (java) S 23830 23833 1460 0 -1 1077944384 1830 12758 0 0 1 0 5 2 20 0 15 0 96690455 14331736064 71499 18446744073709551615 4194304 4196468 140729760179824 140048977987824 140049499433602 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39743488 140729760188368 140729760191153 140729760191153 140729760194511 0
[pid=23833/tid=23889] ppid=23830 vsize=13995836 CPUtime=0.07 cores=0,2,4,6
/proc/23833/task/23889/stat : 23889 (java) S 23830 23833 1460 0 -1 1077944384 56 12758 0 0 0 0 5 2 20 0 15 0 96690455 14331736064 71499 18446744073709551615 4194304 4196468 140729760179824 140048976934112 140049499432661 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39743488 140729760188368 140729760191153 140729760191153 140729760194511 0
[pid=23833/tid=23890] ppid=23830 vsize=13995836 CPUtime=0.07 cores=0,2,4,6
/proc/23833/task/23890/stat : 23890 (java) S 23830 23833 1460 0 -1 1077944384 43 12758 0 0 0 0 5 2 20 0 15 0 96690456 14331736064 71499 18446744073709551615 4194304 4196468 140729760179824 140048975880960 140049499432661 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39743488 140729760188368 140729760191153 140729760191153 140729760194511 0
[pid=23833/tid=23891] ppid=23830 vsize=13995836 CPUtime=0.07 cores=0,2,4,6
/proc/23833/task/23891/stat : 23891 (java) S 23830 23833 1460 0 -1 1077944384 3 12758 0 0 0 0 5 2 20 0 15 0 96690458 14331736064 71499 18446744073709551615 4194304 4196468 140729760179824 140048974829520 140049499441051 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39743488 140729760188368 140729760191153 140729760191153 140729760194511 0
[pid=23833/tid=23892] ppid=23830 vsize=13995836 CPUtime=1.3 cores=0,2,4,6
/proc/23833/task/23892/stat : 23892 (java) S 23830 23833 1460 0 -1 1077944384 3403 12758 0 0 122 1 5 2 20 0 15 0 96690458 14331736064 71499 18446744073709551615 4194304 4196468 140729760179824 140048973777648 140049499433602 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39743488 140729760188368 140729760191153 140729760191153 140729760194511 0
[pid=23833/tid=23893] ppid=23830 vsize=13995836 CPUtime=1.16 cores=0,2,4,6
/proc/23833/task/23893/stat : 23893 (java) R 23830 23833 1460 0 -1 4202560 1659 12758 0 0 108 1 5 2 20 0 15 0 96690458 14331736064 71499 18446744073709551615 4194304 4196468 140729760179824 140048972708216 140049478689923 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 39743488 140729760188368 140729760191153 140729760191153 140729760194511 0
[pid=23833/tid=23894] ppid=23830 vsize=13995836 CPUtime=1.02 cores=0,2,4,6
/proc/23833/task/23894/stat : 23894 (java) R 23830 23833 1460 0 -1 4202560 3154 12758 0 0 95 0 5 2 20 0 15 0 96690458 14331736064 71499 18446744073709551615 4194304 4196468 140729760179824 140048971672048 140049478390594 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39743488 140729760188368 140729760191153 140729760191153 140729760194511 0
[pid=23833/tid=23895] ppid=23830 vsize=13995836 CPUtime=0.07 cores=0,2,4,6
/proc/23833/task/23895/stat : 23895 (java) S 23830 23833 1460 0 -1 1077944384 3 12758 0 0 0 0 5 2 20 0 15 0 96690459 14331736064 71499 18446744073709551615 4194304 4196468 140729760179824 140048970619744 140049499432661 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39743488 140729760188368 140729760191153 140729760191153 140729760194511 0
[pid=23833/tid=23896] ppid=23830 vsize=13995836 CPUtime=0.07 cores=0,2,4,6
/proc/23833/task/23896/stat : 23896 (java) S 23830 23833 1460 0 -1 1077944384 13 12758 0 0 0 0 5 2 20 0 15 0 96690462 14331736064 71499 18446744073709551615 4194304 4196468 140729760179824 140048969566768 140049499433602 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39743488 140729760188368 140729760191153 140729760191153 140729760194511 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 13995836

[startup+6.30094 s]
/proc/loadavg: 1.82 1.66 1.65 5/213 23896
/proc/meminfo: memFree=26658888/32770624 swapFree=0/580740
[pid=23833] ppid=23830 vsize=13997884 CPUtime=16.52 cores=0,2,4,6
/proc/23833/stat : 23833 (java) S 23830 23833 1460 0 -1 1077944320 64416 12758 0 0 1614 31 5 2 20 0 15 0 96690433 14333833216 149900 18446744073709551615 4194304 4196468 140729760179824 140729760162368 140049499422455 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 6 0 0 6293624 6294260 39743488 140729760188368 140729760191153 140729760191153 140729760194511 0
/proc/23833/statm: 3499471 149966 3485 1 0 3488085 0
[pid=23833/tid=23883] ppid=23830 vsize=13997884 CPUtime=5.83 cores=0,2,4,6
/proc/23833/task/23883/stat : 23883 (java) R 23830 23833 1460 0 -1 4202560 33184 12758 0 0 564 12 5 2 20 0 15 0 96690453 14333833216 149966 18446744073709551615 4194304 4196468 140729760179824 140049503654136 140049116659719 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 39743488 140729760188368 140729760191153 140729760191153 140729760194511 0
[pid=23833/tid=23884] ppid=23830 vsize=13997884 CPUtime=0.19 cores=0,2,4,6
/proc/23833/task/23884/stat : 23884 (java) S 23830 23833 1460 0 -1 1077944384 209 12758 0 0 10 2 5 2 20 0 15 0 96690454 14333833216 149966 18446744073709551615 4194304 4196468 140729760179824 140049433857040 140049499432661 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39743488 140729760188368 140729760191153 140729760191153 140729760194511 0
[pid=23833/tid=23885] ppid=23830 vsize=13997884 CPUtime=0.23 cores=0,2,4,6
/proc/23833/task/23885/stat : 23885 (java) S 23830 23833 1460 0 -1 1077944384 1326 12758 0 0 14 2 5 2 20 0 15 0 96690454 14333833216 149966 18446744073709551615 4194304 4196468 140729760179824 140049432804496 140049499432661 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39743488 140729760188368 140729760191153 140729760191153 140729760194511 0
[pid=23833/tid=23886] ppid=23830 vsize=13997884 CPUtime=0.3 cores=0,2,4,6
/proc/23833/task/23886/stat : 23886 (java) S 23830 23833 1460 0 -1 1077944384 503 12758 0 0 20 3 5 2 20 0 15 0 96690454 14333833216 149966 18446744073709551615 4194304 4196468 140729760179824 140049431751440 140049499432661 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39743488 140729760188368 140729760191153 140729760191153 140729760194511 0
[pid=23833/tid=23887] ppid=23830 vsize=13997884 CPUtime=0.24 cores=0,2,4,6
/proc/23833/task/23887/stat : 23887 (java) S 23830 23833 1460 0 -1 1077944384 636 12758 0 0 15 2 5 2 20 0 15 0 96690454 14333833216 149966 18446744073709551615 4194304 4196468 140729760179824 140049430698896 140049499432661 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39743488 140729760188368 140729760191153 140729760191153 140729760194511 0
[pid=23833/tid=23888] ppid=23830 vsize=13997884 CPUtime=0.09 cores=0,2,4,6
/proc/23833/task/23888/stat : 23888 (java) S 23830 23833 1460 0 -1 1077944384 2918 12758 0 0 2 0 5 2 20 0 15 0 96690455 14333833216 149966 18446744073709551615 4194304 4196468 140729760179824 140048977987824 140049499433602 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39743488 140729760188368 140729760191153 140729760191153 140729760194511 0
[pid=23833/tid=23889] ppid=23830 vsize=13997884 CPUtime=0.07 cores=0,2,4,6
/proc/23833/task/23889/stat : 23889 (java) S 23830 23833 1460 0 -1 1077944384 75 12758 0 0 0 0 5 2 20 0 15 0 96690455 14333833216 149966 18446744073709551615 4194304 4196468 140729760179824 140048976934112 140049499432661 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39743488 140729760188368 140729760191153 140729760191153 140729760194511 0
[pid=23833/tid=23890] ppid=23830 vsize=13997884 CPUtime=0.07 cores=0,2,4,6
/proc/23833/task/23890/stat : 23890 (java) S 23830 23833 1460 0 -1 1077944384 57 12758 0 0 0 0 5 2 20 0 15 0 96690456 14333833216 149966 18446744073709551615 4194304 4196468 140729760179824 140048975880960 140049499432661 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39743488 140729760188368 140729760191153 140729760191153 140729760194511 0
[pid=23833/tid=23891] ppid=23830 vsize=13997884 CPUtime=0.07 cores=0,2,4,6
/proc/23833/task/23891/stat : 23891 (java) S 23830 23833 1460 0 -1 1077944384 3 12758 0 0 0 0 5 2 20 0 15 0 96690458 14333833216 149966 18446744073709551615 4194304 4196468 140729760179824 140048974829520 140049499441051 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39743488 140729760188368 140729760191153 140729760191153 140729760194511 0
[pid=23833/tid=23892] ppid=23830 vsize=13997884 CPUtime=4.26 cores=0,2,4,6
/proc/23833/task/23892/stat : 23892 (java) R 23830 23833 1460 0 -1 4202560 12489 12758 0 0 416 3 5 2 20 0 15 0 96690458 14333833216 149966 18446744073709551615 4194304 4196468 140729760179824 140048973777648 140049480966178 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39743488 140729760188368 140729760191153 140729760191153 140729760194511 0
[pid=23833/tid=23893] ppid=23830 vsize=13997884 CPUtime=4.34 cores=0,2,4,6
/proc/23833/task/23893/stat : 23893 (java) R 23830 23833 1460 0 -1 4202560 2349 12758 0 0 426 1 5 2 20 0 15 0 96690458 14333833216 149966 18446744073709551615 4194304 4196468 140729760179824 140048972704224 140049480166957 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39743488 140729760188368 140729760191153 140729760191153 140729760194511 0
[pid=23833/tid=23894] ppid=23830 vsize=13997884 CPUtime=1.5 cores=0,2,4,6
/proc/23833/task/23894/stat : 23894 (java) S 23830 23833 1460 0 -1 1077944384 8009 12758 0 0 142 1 5 2 20 0 15 0 96690458 14333833216 149966 18446744073709551615 4194304 4196468 140729760179824 140048971672048 140049499433602 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39743488 140729760188368 140729760191153 140729760191153 140729760194511 0
[pid=23833/tid=23895] ppid=23830 vsize=13997884 CPUtime=0.07 cores=0,2,4,6
/proc/23833/task/23895/stat : 23895 (java) S 23830 23833 1460 0 -1 1077944384 3 12758 0 0 0 0 5 2 20 0 15 0 96690459 14333833216 149966 18446744073709551615 4194304 4196468 140729760179824 140048970619744 140049499432661 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39743488 140729760188368 140729760191153 140729760191153 140729760194511 0
[pid=23833/tid=23896] ppid=23830 vsize=13997884 CPUtime=0.07 cores=0,2,4,6
/proc/23833/task/23896/stat : 23896 (java) S 23830 23833 1460 0 -1 1077944384 569 12758 0 0 0 0 5 2 20 0 15 0 96690462 14333833216 149966 18446744073709551615 4194304 4196468 140729760179824 140048969566768 140049499433602 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39743488 140729760188368 140729760191153 140729760191153 140729760194511 0
Current children cumulated CPU time (s) 16.52
Current children cumulated vsize (KiB) 13997884

[startup+12.7008 s]
/proc/loadavg: 1.84 1.67 1.65 3/213 23896
/proc/meminfo: memFree=25339200/32770624 swapFree=0/580740
[pid=23833] ppid=23830 vsize=13997884 CPUtime=27.58 cores=0,2,4,6
/proc/23833/stat : 23833 (java) S 23830 23833 1460 0 -1 1077944320 74287 12758 0 0 2678 73 5 2 20 0 15 0 96690433 14333833216 436492 18446744073709551615 4194304 4196468 140729760179824 140729760162368 140049499422455 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 6 0 0 6293624 6294260 39743488 140729760188368 140729760191153 140729760191153 140729760194511 0
/proc/23833/statm: 3499471 436492 3487 1 0 3488085 0
[pid=23833/tid=23883] ppid=23830 vsize=13997884 CPUtime=11.81 cores=0,2,4,6
/proc/23833/task/23883/stat : 23883 (java) R 23830 23833 1460 0 -1 4202560 35592 12758 0 0 1150 24 5 2 20 0 15 0 96690453 14333833216 436492 18446744073709551615 4194304 4196468 140729760179824 140049503655096 140049105272448 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 39743488 140729760188368 140729760191153 140729760191153 140729760194511 0
[pid=23833/tid=23884] ppid=23830 vsize=13997884 CPUtime=0.56 cores=0,2,4,6
/proc/23833/task/23884/stat : 23884 (java) S 23830 23833 1460 0 -1 1077944384 423 12758 0 0 39 10 5 2 20 0 15 0 96690454 14333833216 436492 18446744073709551615 4194304 4196468 140729760179824 140049433857040 140049499432661 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39743488 140729760188368 140729760191153 140729760191153 140729760194511 0
[pid=23833/tid=23885] ppid=23830 vsize=13997884 CPUtime=0.6 cores=0,2,4,6
/proc/23833/task/23885/stat : 23885 (java) S 23830 23833 1460 0 -1 1077944384 1694 12758 0 0 43 10 5 2 20 0 15 0 96690454 14333833216 436492 18446744073709551615 4194304 4196468 140729760179824 140049432804496 140049499432661 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39743488 140729760188368 140729760191153 140729760191153 140729760194511 0
[pid=23833/tid=23886] ppid=23830 vsize=13997884 CPUtime=0.69 cores=0,2,4,6
/proc/23833/task/23886/stat : 23886 (java) S 23830 23833 1460 0 -1 1077944384 936 12758 0 0 52 10 5 2 20 0 15 0 96690454 14333833216 436492 18446744073709551615 4194304 4196468 140729760179824 140049431751440 140049499432661 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39743488 140729760188368 140729760191153 140729760191153 140729760194511 0
[pid=23833/tid=23887] ppid=23830 vsize=13997884 CPUtime=0.62 cores=0,2,4,6
/proc/23833/task/23887/stat : 23887 (java) S 23830 23833 1460 0 -1 1077944384 997 12758 0 0 46 9 5 2 20 0 15 0 96690454 14333833216 436492 18446744073709551615 4194304 4196468 140729760179824 140049430698896 140049499432661 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39743488 140729760188368 140729760191153 140729760191153 140729760194511 0
[pid=23833/tid=23888] ppid=23830 vsize=13997884 CPUtime=0.1 cores=0,2,4,6
/proc/23833/task/23888/stat : 23888 (java) S 23830 23833 1460 0 -1 1077944384 3655 12758 0 0 3 0 5 2 20 0 15 0 96690455 14333833216 436492 18446744073709551615 4194304 4196468 140729760179824 140048977987824 140049499433602 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39743488 140729760188368 140729760191153 140729760191153 140729760194511 0
[pid=23833/tid=23889] ppid=23830 vsize=13997884 CPUtime=0.07 cores=0,2,4,6
/proc/23833/task/23889/stat : 23889 (java) S 23830 23833 1460 0 -1 1077944384 75 12758 0 0 0 0 5 2 20 0 15 0 96690455 14333833216 436492 18446744073709551615 4194304 4196468 140729760179824 140048976934112 140049499432661 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39743488 140729760188368 140729760191153 140729760191153 140729760194511 0
[pid=23833/tid=23890] ppid=23830 vsize=13997884 CPUtime=0.07 cores=0,2,4,6
/proc/23833/task/23890/stat : 23890 (java) S 23830 23833 1460 0 -1 1077944384 57 12758 0 0 0 0 5 2 20 0 15 0 96690456 14333833216 436492 18446744073709551615 4194304 4196468 140729760179824 140048975880960 140049499432661 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39743488 140729760188368 140729760191153 140729760191153 140729760194511 0
[pid=23833/tid=23891] ppid=23830 vsize=13997884 CPUtime=0.07 cores=0,2,4,6
/proc/23833/task/23891/stat : 23891 (java) S 23830 23833 1460 0 -1 1077944384 3 12758 0 0 0 0 5 2 20 0 15 0 96690458 14333833216 436492 18446744073709551615 4194304 4196468 140729760179824 140048974829520 140049499441051 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39743488 140729760188368 140729760191153 140729760191153 140729760194511 0

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

/proc/23833/task/23895/stat : 23895 (java) S 23830 23833 1460 0 -1 1077944384 3 12758 0 0 0 0 5 2 20 0 15 0 96690459 14407233536 1182158 18446744073709551615 4194304 4196468 140729760179824 140048970619744 140049499432661 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39743488 140729760188368 140729760191153 140729760191153 140729760194511 0
[pid=23833/tid=23896] ppid=23830 vsize=14069564 CPUtime=1.37 cores=0,2,4,6
/proc/23833/task/23896/stat : 23896 (java) S 23830 23833 1460 0 -1 1077944384 2218 12758 0 0 60 70 5 2 20 0 15 0 96690462 14407233536 1182158 18446744073709551615 4194304 4196468 140729760179824 140048969566768 140049499433602 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39743488 140729760188368 140729760191153 140729760191153 140729760194511 0
Current children cumulated CPU time (s) 2340.82
Current children cumulated vsize (KiB) 14069564

[startup+2322.3 s]
/proc/loadavg: 1.08 1.11 1.39 2/193 24118
/proc/meminfo: memFree=26236724/32770624 swapFree=0/580868
[pid=23833] ppid=23830 vsize=14069564 CPUtime=2402.26 cores=0,2,4,6
/proc/23833/stat : 23833 (java) S 23830 23833 1460 0 -1 1077944320 621905 12758 0 0 239802 417 5 2 20 0 15 0 96690433 14407233536 1191374 18446744073709551615 4194304 4196468 140729760179824 140729760162368 140049499422455 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 6 0 0 6293624 6294260 39743488 140729760188368 140729760191153 140729760191153 140729760194511 0
/proc/23833/statm: 3517391 1191374 3506 1 0 3506005 0
[pid=23833/tid=23883] ppid=23830 vsize=14069564 CPUtime=2303.68 cores=0,2,4,6
/proc/23833/task/23883/stat : 23883 (java) R 23830 23833 1460 0 -1 4202560 287942 12758 0 0 230275 86 5 2 20 0 15 0 96690453 14407233536 1191374 18446744073709551615 4194304 4196468 140729760179824 140049503651824 140049119477448 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 39743488 140729760188368 140729760191153 140729760191153 140729760194511 0
[pid=23833/tid=23884] ppid=23830 vsize=14069564 CPUtime=17.61 cores=0,2,4,6
/proc/23833/task/23884/stat : 23884 (java) S 23830 23833 1460 0 -1 1077944384 38125 12758 0 0 1692 62 5 2 20 0 15 0 96690454 14407233536 1191374 18446744073709551615 4194304 4196468 140729760179824 140049433857040 140049499432661 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39743488 140729760188368 140729760191153 140729760191153 140729760194511 0
[pid=23833/tid=23885] ppid=23830 vsize=14069564 CPUtime=17.65 cores=0,2,4,6
/proc/23833/task/23885/stat : 23885 (java) S 23830 23833 1460 0 -1 1077944384 34112 12758 0 0 1696 62 5 2 20 0 15 0 96690454 14407233536 1191374 18446744073709551615 4194304 4196468 140729760179824 140049432804496 140049499432661 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39743488 140729760188368 140729760191153 140729760191153 140729760194511 0
[pid=23833/tid=23886] ppid=23830 vsize=14069564 CPUtime=17.74 cores=0,2,4,6
/proc/23833/task/23886/stat : 23886 (java) S 23830 23833 1460 0 -1 1077944384 36311 12758 0 0 1706 61 5 2 20 0 15 0 96690454 14407233536 1191374 18446744073709551615 4194304 4196468 140729760179824 140049431751440 140049499432661 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39743488 140729760188368 140729760191153 140729760191153 140729760194511 0
[pid=23833/tid=23887] ppid=23830 vsize=14069564 CPUtime=17.65 cores=0,2,4,6
/proc/23833/task/23887/stat : 23887 (java) S 23830 23833 1460 0 -1 1077944384 34919 12758 0 0 1698 60 5 2 20 0 15 0 96690454 14407233536 1191374 18446744073709551615 4194304 4196468 140729760179824 140049430698896 140049499432661 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39743488 140729760188368 140729760191153 140729760191153 140729760194511 0
[pid=23833/tid=23888] ppid=23830 vsize=14069564 CPUtime=0.66 cores=0,2,4,6
/proc/23833/task/23888/stat : 23888 (java) S 23830 23833 1460 0 -1 1077944384 53366 12758 0 0 52 7 5 2 20 0 15 0 96690455 14407233536 1191374 18446744073709551615 4194304 4196468 140729760179824 140048977987824 140049499433602 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39743488 140729760188368 140729760191153 140729760191153 140729760194511 0
[pid=23833/tid=23889] ppid=23830 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/23833/task/23889/stat : 23889 (java) S 23830 23833 1460 0 -1 1077944384 193 12758 0 0 1 0 5 2 20 0 15 0 96690455 14407233536 1191374 18446744073709551615 4194304 4196468 140729760179824 140048976934176 140049499432661 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39743488 140729760188368 140729760191153 140729760191153 140729760194511 0
[pid=23833/tid=23890] ppid=23830 vsize=14069564 CPUtime=0.07 cores=0,2,4,6
/proc/23833/task/23890/stat : 23890 (java) S 23830 23833 1460 0 -1 1077944384 63 12758 0 0 0 0 5 2 20 0 15 0 96690456 14407233536 1191374 18446744073709551615 4194304 4196468 140729760179824 140048975880960 140049499432661 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39743488 140729760188368 140729760191153 140729760191153 140729760194511 0
[pid=23833/tid=23891] ppid=23830 vsize=14069564 CPUtime=0.07 cores=0,2,4,6
/proc/23833/task/23891/stat : 23891 (java) S 23830 23833 1460 0 -1 1077944384 3 12758 0 0 0 0 5 2 20 0 15 0 96690458 14407233536 1191374 18446744073709551615 4194304 4196468 140729760179824 140048974829520 140049499441051 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39743488 140729760188368 140729760191153 140729760191153 140729760194511 0
[pid=23833/tid=23892] ppid=23830 vsize=14069564 CPUtime=11.4 cores=0,2,4,6
/proc/23833/task/23892/stat : 23892 (java) S 23830 23833 1460 0 -1 1077944384 40661 12758 0 0 1126 7 5 2 20 0 15 0 96690458 14407233536 1191374 18446744073709551615 4194304 4196468 140729760179824 140048973777648 140049499433602 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39743488 140729760188368 140729760191153 140729760191153 140729760194511 0
[pid=23833/tid=23893] ppid=23830 vsize=14069564 CPUtime=11.95 cores=0,2,4,6
/proc/23833/task/23893/stat : 23893 (java) S 23830 23833 1460 0 -1 1077944384 31338 12758 0 0 1183 5 5 2 20 0 15 0 96690458 14407233536 1191374 18446744073709551615 4194304 4196468 140729760179824 140048972725104 140049499433602 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39743488 140729760188368 140729760191153 140729760191153 140729760194511 0
[pid=23833/tid=23894] ppid=23830 vsize=14069564 CPUtime=3.01 cores=0,2,4,6
/proc/23833/task/23894/stat : 23894 (java) S 23830 23833 1460 0 -1 1077944384 60458 12758 0 0 288 6 5 2 20 0 15 0 96690458 14407233536 1191374 18446744073709551615 4194304 4196468 140729760179824 140048971672048 140049499433602 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39743488 140729760188368 140729760191153 140729760191153 140729760194511 0
[pid=23833/tid=23895] ppid=23830 vsize=14069564 CPUtime=0.07 cores=0,2,4,6
/proc/23833/task/23895/stat : 23895 (java) S 23830 23833 1460 0 -1 1077944384 3 12758 0 0 0 0 5 2 20 0 15 0 96690459 14407233536 1191374 18446744073709551615 4194304 4196468 140729760179824 140048970619744 140049499432661 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39743488 140729760188368 140729760191153 140729760191153 140729760194511 0
[pid=23833/tid=23896] ppid=23830 vsize=14069564 CPUtime=1.4 cores=0,2,4,6
/proc/23833/task/23896/stat : 23896 (java) S 23830 23833 1460 0 -1 1077944384 2262 12758 0 0 62 71 5 2 20 0 15 0 96690462 14407233536 1191374 18446744073709551615 4194304 4196468 140729760179824 140048969566768 140049499433602 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39743488 140729760188368 140729760191153 140729760191153 140729760194511 0
Current children cumulated CPU time (s) 2402.26
Current children cumulated vsize (KiB) 14069564

[startup+2382.3 s]
/proc/loadavg: 0.97 1.08 1.36 2/193 24120
/proc/meminfo: memFree=26176520/32770624 swapFree=0/580860
[pid=23833] ppid=23830 vsize=14069564 CPUtime=2464.62 cores=0,2,4,6
/proc/23833/stat : 23833 (java) S 23830 23833 1460 0 -1 1077944320 645297 12758 0 0 246031 424 5 2 20 0 15 0 96690433 14407233536 1206404 18446744073709551615 4194304 4196468 140729760179824 140729760162368 140049499422455 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 6 0 0 6293624 6294260 39743488 140729760188368 140729760191153 140729760191153 140729760194511 0
/proc/23833/statm: 3517391 1206404 3506 1 0 3506005 0
[pid=23833/tid=23883] ppid=23830 vsize=14069564 CPUtime=2362.87 cores=0,2,4,6
/proc/23833/task/23883/stat : 23883 (java) R 23830 23833 1460 0 -1 4202560 293746 12758 0 0 236193 87 5 2 20 0 15 0 96690453 14407233536 1206404 18446744073709551615 4194304 4196468 140729760179824 140049503658168 140049113182928 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 39743488 140729760188368 140729760191153 140729760191153 140729760194511 0
[pid=23833/tid=23884] ppid=23830 vsize=14069564 CPUtime=18.39 cores=0,2,4,6
/proc/23833/task/23884/stat : 23884 (java) S 23830 23833 1460 0 -1 1077944384 40494 12758 0 0 1769 63 5 2 20 0 15 0 96690454 14407233536 1206404 18446744073709551615 4194304 4196468 140729760179824 140049433857040 140049499432661 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39743488 140729760188368 140729760191153 140729760191153 140729760194511 0
[pid=23833/tid=23885] ppid=23830 vsize=14069564 CPUtime=18.43 cores=0,2,4,6
/proc/23833/task/23885/stat : 23885 (java) S 23830 23833 1460 0 -1 1077944384 34672 12758 0 0 1772 64 5 2 20 0 15 0 96690454 14407233536 1206404 18446744073709551615 4194304 4196468 140729760179824 140049432804496 140049499432661 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39743488 140729760188368 140729760191153 140729760191153 140729760194511 0
[pid=23833/tid=23886] ppid=23830 vsize=14069564 CPUtime=18.52 cores=0,2,4,6
/proc/23833/task/23886/stat : 23886 (java) S 23830 23833 1460 0 -1 1077944384 37282 12758 0 0 1783 62 5 2 20 0 15 0 96690454 14407233536 1206404 18446744073709551615 4194304 4196468 140729760179824 140049431751440 140049499432661 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39743488 140729760188368 140729760191153 140729760191153 140729760194511 0
[pid=23833/tid=23887] ppid=23830 vsize=14069564 CPUtime=18.43 cores=0,2,4,6
/proc/23833/task/23887/stat : 23887 (java) S 23830 23833 1460 0 -1 1077944384 35840 12758 0 0 1775 61 5 2 20 0 15 0 96690454 14407233536 1206404 18446744073709551615 4194304 4196468 140729760179824 140049430698896 140049499432661 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39743488 140729760188368 140729760191153 140729760191153 140729760194511 0
[pid=23833/tid=23888] ppid=23830 vsize=14069564 CPUtime=0.7 cores=0,2,4,6
/proc/23833/task/23888/stat : 23888 (java) S 23830 23833 1460 0 -1 1077944384 66065 12758 0 0 54 9 5 2 20 0 15 0 96690455 14407233536 1206404 18446744073709551615 4194304 4196468 140729760179824 140048977987824 140049499433602 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39743488 140729760188368 140729760191153 140729760191153 140729760194511 0
[pid=23833/tid=23889] ppid=23830 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/23833/task/23889/stat : 23889 (java) S 23830 23833 1460 0 -1 1077944384 197 12758 0 0 1 0 5 2 20 0 15 0 96690455 14407233536 1206404 18446744073709551615 4194304 4196468 140729760179824 140048976934176 140049499432661 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39743488 140729760188368 140729760191153 140729760191153 140729760194511 0
[pid=23833/tid=23890] ppid=23830 vsize=14069564 CPUtime=0.07 cores=0,2,4,6
/proc/23833/task/23890/stat : 23890 (java) S 23830 23833 1460 0 -1 1077944384 63 12758 0 0 0 0 5 2 20 0 15 0 96690456 14407233536 1206404 18446744073709551615 4194304 4196468 140729760179824 140048975880960 140049499432661 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39743488 140729760188368 140729760191153 140729760191153 140729760194511 0
[pid=23833/tid=23891] ppid=23830 vsize=14069564 CPUtime=0.07 cores=0,2,4,6
/proc/23833/task/23891/stat : 23891 (java) S 23830 23833 1460 0 -1 1077944384 3 12758 0 0 0 0 5 2 20 0 15 0 96690458 14407233536 1206404 18446744073709551615 4194304 4196468 140729760179824 140048974829520 140049499441051 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39743488 140729760188368 140729760191153 140729760191153 140729760194511 0
[pid=23833/tid=23892] ppid=23830 vsize=14069564 CPUtime=11.4 cores=0,2,4,6
/proc/23833/task/23892/stat : 23892 (java) S 23830 23833 1460 0 -1 1077944384 40667 12758 0 0 1126 7 5 2 20 0 15 0 96690458 14407233536 1206404 18446744073709551615 4194304 4196468 140729760179824 140048973777648 140049499433602 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39743488 140729760188368 140729760191153 140729760191153 140729760194511 0
[pid=23833/tid=23893] ppid=23830 vsize=14069564 CPUtime=11.95 cores=0,2,4,6
/proc/23833/task/23893/stat : 23893 (java) S 23830 23833 1460 0 -1 1077944384 31342 12758 0 0 1183 5 5 2 20 0 15 0 96690458 14407233536 1206404 18446744073709551615 4194304 4196468 140729760179824 140048972725104 140049499433602 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39743488 140729760188368 140729760191153 140729760191153 140729760194511 0
[pid=23833/tid=23894] ppid=23830 vsize=14069564 CPUtime=3.01 cores=0,2,4,6
/proc/23833/task/23894/stat : 23894 (java) S 23830 23833 1460 0 -1 1077944384 60462 12758 0 0 288 6 5 2 20 0 15 0 96690458 14407233536 1206404 18446744073709551615 4194304 4196468 140729760179824 140048971672048 140049499433602 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39743488 140729760188368 140729760191153 140729760191153 140729760194511 0
[pid=23833/tid=23895] ppid=23830 vsize=14069564 CPUtime=0.07 cores=0,2,4,6
/proc/23833/task/23895/stat : 23895 (java) S 23830 23833 1460 0 -1 1077944384 3 12758 0 0 0 0 5 2 20 0 15 0 96690459 14407233536 1206404 18446744073709551615 4194304 4196468 140729760179824 140048970619744 140049499432661 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39743488 140729760188368 140729760191153 140729760191153 140729760194511 0
[pid=23833/tid=23896] ppid=23830 vsize=14069564 CPUtime=1.43 cores=0,2,4,6
/proc/23833/task/23896/stat : 23896 (java) S 23830 23833 1460 0 -1 1077944384 2312 12758 0 0 63 73 5 2 20 0 15 0 96690462 14407233536 1206404 18446744073709551615 4194304 4196468 140729760179824 140048969566768 140049499433602 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39743488 140729760188368 140729760191153 140729760191153 140729760194511 0
Current children cumulated CPU time (s) 2464.62
Current children cumulated vsize (KiB) 14069564



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2437.3 s]
/proc/loadavg: 0.86 1.03 1.33 2/193 24122
/proc/meminfo: memFree=26176748/32770624 swapFree=0/580872
[pid=23833] ppid=23830 vsize=14069564 CPUtime=2520.05 cores=0,2,4,6
/proc/23833/stat : 23833 (java) S 23830 23833 1460 0 -1 1077944320 652737 12758 0 0 251571 427 5 2 20 0 15 0 96690433 14407233536 1206404 18446744073709551615 4194304 4196468 140729760179824 140729760162368 140049499422455 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 6 0 0 6293624 6294260 39743488 140729760188368 140729760191153 140729760191153 140729760194511 0
/proc/23833/statm: 3517391 1206404 3506 1 0 3506005 0
[pid=23833/tid=23883] ppid=23830 vsize=14069564 CPUtime=2417.74 cores=0,2,4,6
/proc/23833/task/23883/stat : 23883 (java) R 23830 23833 1460 0 -1 4202560 299495 12758 0 0 241679 88 5 2 20 0 15 0 96690453 14407233536 1206404 18446744073709551615 4194304 4196468 140729760179824 140049503651824 140049120452646 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 39743488 140729760188368 140729760191153 140729760191153 140729760194511 0
[pid=23833/tid=23884] ppid=23830 vsize=14069564 CPUtime=18.52 cores=0,2,4,6
/proc/23833/task/23884/stat : 23884 (java) S 23830 23833 1460 0 -1 1077944384 40659 12758 0 0 1782 63 5 2 20 0 15 0 96690454 14407233536 1206404 18446744073709551615 4194304 4196468 140729760179824 140049433857040 140049499432661 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39743488 140729760188368 140729760191153 140729760191153 140729760194511 0
[pid=23833/tid=23885] ppid=23830 vsize=14069564 CPUtime=18.56 cores=0,2,4,6
/proc/23833/task/23885/stat : 23885 (java) S 23830 23833 1460 0 -1 1077944384 35711 12758 0 0 1785 64 5 2 20 0 15 0 96690454 14407233536 1206404 18446744073709551615 4194304 4196468 140729760179824 140049432804496 140049499432661 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39743488 140729760188368 140729760191153 140729760191153 140729760194511 0
[pid=23833/tid=23886] ppid=23830 vsize=14069564 CPUtime=18.66 cores=0,2,4,6
/proc/23833/task/23886/stat : 23886 (java) S 23830 23833 1460 0 -1 1077944384 37483 12758 0 0 1796 63 5 2 20 0 15 0 96690454 14407233536 1206404 18446744073709551615 4194304 4196468 140729760179824 140049431751440 140049499432661 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39743488 140729760188368 140729760191153 140729760191153 140729760194511 0
[pid=23833/tid=23887] ppid=23830 vsize=14069564 CPUtime=18.56 cores=0,2,4,6
/proc/23833/task/23887/stat : 23887 (java) S 23830 23833 1460 0 -1 1077944384 36027 12758 0 0 1788 61 5 2 20 0 15 0 96690454 14407233536 1206404 18446744073709551615 4194304 4196468 140729760179824 140049430698896 140049499432661 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39743488 140729760188368 140729760191153 140729760191153 140729760194511 0
[pid=23833/tid=23888] ppid=23830 vsize=14069564 CPUtime=0.7 cores=0,2,4,6
/proc/23833/task/23888/stat : 23888 (java) S 23830 23833 1460 0 -1 1077944384 66114 12758 0 0 54 9 5 2 20 0 15 0 96690455 14407233536 1206404 18446744073709551615 4194304 4196468 140729760179824 140048977987824 140049499433602 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39743488 140729760188368 140729760191153 140729760191153 140729760194511 0
[pid=23833/tid=23889] ppid=23830 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/23833/task/23889/stat : 23889 (java) S 23830 23833 1460 0 -1 1077944384 197 12758 0 0 1 0 5 2 20 0 15 0 96690455 14407233536 1206404 18446744073709551615 4194304 4196468 140729760179824 140048976934176 140049499432661 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39743488 140729760188368 140729760191153 140729760191153 140729760194511 0
[pid=23833/tid=23890] ppid=23830 vsize=14069564 CPUtime=0.07 cores=0,2,4,6
/proc/23833/task/23890/stat : 23890 (java) S 23830 23833 1460 0 -1 1077944384 63 12758 0 0 0 0 5 2 20 0 15 0 96690456 14407233536 1206404 18446744073709551615 4194304 4196468 140729760179824 140048975880960 140049499432661 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39743488 140729760188368 140729760191153 140729760191153 140729760194511 0
[pid=23833/tid=23891] ppid=23830 vsize=14069564 CPUtime=0.07 cores=0,2,4,6
/proc/23833/task/23891/stat : 23891 (java) S 23830 23833 1460 0 -1 1077944384 3 12758 0 0 0 0 5 2 20 0 15 0 96690458 14407233536 1206404 18446744073709551615 4194304 4196468 140729760179824 140048974829520 140049499441051 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39743488 140729760188368 140729760191153 140729760191153 140729760194511 0
[pid=23833/tid=23892] ppid=23830 vsize=14069564 CPUtime=11.4 cores=0,2,4,6
/proc/23833/task/23892/stat : 23892 (java) S 23830 23833 1460 0 -1 1077944384 40673 12758 0 0 1126 7 5 2 20 0 15 0 96690458 14407233536 1206404 18446744073709551615 4194304 4196468 140729760179824 140048973777648 140049499433602 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39743488 140729760188368 140729760191153 140729760191153 140729760194511 0
[pid=23833/tid=23893] ppid=23830 vsize=14069564 CPUtime=11.95 cores=0,2,4,6
/proc/23833/task/23893/stat : 23893 (java) S 23830 23833 1460 0 -1 1077944384 31346 12758 0 0 1183 5 5 2 20 0 15 0 96690458 14407233536 1206404 18446744073709551615 4194304 4196468 140729760179824 140048972725104 140049499433602 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39743488 140729760188368 140729760191153 140729760191153 140729760194511 0
[pid=23833/tid=23894] ppid=23830 vsize=14069564 CPUtime=3.01 cores=0,2,4,6
/proc/23833/task/23894/stat : 23894 (java) S 23830 23833 1460 0 -1 1077944384 60466 12758 0 0 288 6 5 2 20 0 15 0 96690458 14407233536 1206404 18446744073709551615 4194304 4196468 140729760179824 140048971672048 140049499433602 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39743488 140729760188368 140729760191153 140729760191153 140729760194511 0
[pid=23833/tid=23895] ppid=23830 vsize=14069564 CPUtime=0.07 cores=0,2,4,6
/proc/23833/task/23895/stat : 23895 (java) S 23830 23833 1460 0 -1 1077944384 3 12758 0 0 0 0 5 2 20 0 15 0 96690459 14407233536 1206404 18446744073709551615 4194304 4196468 140729760179824 140048970619744 140049499432661 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39743488 140729760188368 140729760191153 140729760191153 140729760194511 0
[pid=23833/tid=23896] ppid=23830 vsize=14069564 CPUtime=1.46 cores=0,2,4,6
/proc/23833/task/23896/stat : 23896 (java) S 23830 23833 1460 0 -1 1077944384 2348 12758 0 0 64 75 5 2 20 0 15 0 96690462 14407233536 1206404 18446744073709551615 4194304 4196468 140729760179824 140048969566768 140049499433602 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39743488 140729760188368 140729760191153 140729760191153 140729760194511 0
Current children cumulated CPU time (s) 2520.05
Current children cumulated vsize (KiB) 14069564

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

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

[startup+2437.3 s]
/proc/loadavg: 0.86 1.03 1.33 2/193 24122
/proc/meminfo: memFree=26176748/32770624 swapFree=0/580872
[pid=23833] ppid=23830 vsize=14069564 CPUtime=2520.05 cores=0,2,4,6
/proc/23833/stat : 23833 (java) S 23830 23833 1460 0 -1 1077944320 652737 12758 0 0 251571 427 5 2 20 0 15 0 96690433 14407233536 1206404 18446744073709551615 4194304 4196468 140729760179824 140729760162368 140049499422455 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 6 0 0 6293624 6294260 39743488 140729760188368 140729760191153 140729760191153 140729760194511 0
/proc/23833/statm: 3517391 1206404 3506 1 0 3506005 0
[pid=23833/tid=23883] ppid=23830 vsize=14069564 CPUtime=2417.74 cores=0,2,4,6
/proc/23833/task/23883/stat : 23883 (java) R 23830 23833 1460 0 -1 4202560 299495 12758 0 0 241679 88 5 2 20 0 15 0 96690453 14407233536 1206404 18446744073709551615 4194304 4196468 140729760179824 140049503651824 140049120452646 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 39743488 140729760188368 140729760191153 140729760191153 140729760194511 0
[pid=23833/tid=23884] ppid=23830 vsize=14069564 CPUtime=18.52 cores=0,2,4,6
/proc/23833/task/23884/stat : 23884 (java) S 23830 23833 1460 0 -1 1077944384 40659 12758 0 0 1782 63 5 2 20 0 15 0 96690454 14407233536 1206404 18446744073709551615 4194304 4196468 140729760179824 140049433857040 140049499432661 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39743488 140729760188368 140729760191153 140729760191153 140729760194511 0
[pid=23833/tid=23885] ppid=23830 vsize=14069564 CPUtime=18.56 cores=0,2,4,6
/proc/23833/task/23885/stat : 23885 (java) S 23830 23833 1460 0 -1 1077944384 35711 12758 0 0 1785 64 5 2 20 0 15 0 96690454 14407233536 1206404 18446744073709551615 4194304 4196468 140729760179824 140049432804496 140049499432661 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39743488 140729760188368 140729760191153 140729760191153 140729760194511 0
[pid=23833/tid=23886] ppid=23830 vsize=14069564 CPUtime=18.66 cores=0,2,4,6
/proc/23833/task/23886/stat : 23886 (java) S 23830 23833 1460 0 -1 1077944384 37483 12758 0 0 1796 63 5 2 20 0 15 0 96690454 14407233536 1206404 18446744073709551615 4194304 4196468 140729760179824 140049431751440 140049499432661 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39743488 140729760188368 140729760191153 140729760191153 140729760194511 0
[pid=23833/tid=23887] ppid=23830 vsize=14069564 CPUtime=18.56 cores=0,2,4,6
/proc/23833/task/23887/stat : 23887 (java) S 23830 23833 1460 0 -1 1077944384 36027 12758 0 0 1788 61 5 2 20 0 15 0 96690454 14407233536 1206404 18446744073709551615 4194304 4196468 140729760179824 140049430698896 140049499432661 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39743488 140729760188368 140729760191153 140729760191153 140729760194511 0
[pid=23833/tid=23888] ppid=23830 vsize=14069564 CPUtime=0.7 cores=0,2,4,6
/proc/23833/task/23888/stat : 23888 (java) S 23830 23833 1460 0 -1 1077944384 66114 12758 0 0 54 9 5 2 20 0 15 0 96690455 14407233536 1206404 18446744073709551615 4194304 4196468 140729760179824 140048977987824 140049499433602 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39743488 140729760188368 140729760191153 140729760191153 140729760194511 0
[pid=23833/tid=23889] ppid=23830 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/23833/task/23889/stat : 23889 (java) S 23830 23833 1460 0 -1 1077944384 197 12758 0 0 1 0 5 2 20 0 15 0 96690455 14407233536 1206404 18446744073709551615 4194304 4196468 140729760179824 140048976934176 140049499432661 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39743488 140729760188368 140729760191153 140729760191153 140729760194511 0
[pid=23833/tid=23890] ppid=23830 vsize=14069564 CPUtime=0.07 cores=0,2,4,6
/proc/23833/task/23890/stat : 23890 (java) S 23830 23833 1460 0 -1 1077944384 63 12758 0 0 0 0 5 2 20 0 15 0 96690456 14407233536 1206404 18446744073709551615 4194304 4196468 140729760179824 140048975880960 140049499432661 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39743488 140729760188368 140729760191153 140729760191153 140729760194511 0
[pid=23833/tid=23891] ppid=23830 vsize=14069564 CPUtime=0.07 cores=0,2,4,6
/proc/23833/task/23891/stat : 23891 (java) S 23830 23833 1460 0 -1 1077944384 3 12758 0 0 0 0 5 2 20 0 15 0 96690458 14407233536 1206404 18446744073709551615 4194304 4196468 140729760179824 140048974829520 140049499441051 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39743488 140729760188368 140729760191153 140729760191153 140729760194511 0
[pid=23833/tid=23892] ppid=23830 vsize=14069564 CPUtime=11.4 cores=0,2,4,6
/proc/23833/task/23892/stat : 23892 (java) S 23830 23833 1460 0 -1 1077944384 40673 12758 0 0 1126 7 5 2 20 0 15 0 96690458 14407233536 1206404 18446744073709551615 4194304 4196468 140729760179824 140048973777648 140049499433602 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39743488 140729760188368 140729760191153 140729760191153 140729760194511 0
[pid=23833/tid=23893] ppid=23830 vsize=14069564 CPUtime=11.95 cores=0,2,4,6
/proc/23833/task/23893/stat : 23893 (java) S 23830 23833 1460 0 -1 1077944384 31346 12758 0 0 1183 5 5 2 20 0 15 0 96690458 14407233536 1206404 18446744073709551615 4194304 4196468 140729760179824 140048972725104 140049499433602 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39743488 140729760188368 140729760191153 140729760191153 140729760194511 0
[pid=23833/tid=23894] ppid=23830 vsize=14069564 CPUtime=3.01 cores=0,2,4,6
/proc/23833/task/23894/stat : 23894 (java) S 23830 23833 1460 0 -1 1077944384 60466 12758 0 0 288 6 5 2 20 0 15 0 96690458 14407233536 1206404 18446744073709551615 4194304 4196468 140729760179824 140048971672048 140049499433602 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39743488 140729760188368 140729760191153 140729760191153 140729760194511 0
[pid=23833/tid=23895] ppid=23830 vsize=14069564 CPUtime=0.07 cores=0,2,4,6
/proc/23833/task/23895/stat : 23895 (java) S 23830 23833 1460 0 -1 1077944384 3 12758 0 0 0 0 5 2 20 0 15 0 96690459 14407233536 1206404 18446744073709551615 4194304 4196468 140729760179824 140048970619744 140049499432661 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39743488 140729760188368 140729760191153 140729760191153 140729760194511 0
[pid=23833/tid=23896] ppid=23830 vsize=14069564 CPUtime=1.46 cores=0,2,4,6
/proc/23833/task/23896/stat : 23896 (java) S 23830 23833 1460 0 -1 1077944384 2348 12758 0 0 64 75 5 2 20 0 15 0 96690462 14407233536 1206404 18446744073709551615 4194304 4196468 140729760179824 140048969566768 140049499433602 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39743488 140729760188368 140729760191153 140729760191153 140729760194511 0
Current children cumulated CPU time (s) 2520.05
Current children cumulated vsize (KiB) 14069564

Child status: 143
Real time (s): 2437.36
CPU time (s): 2520.13
CPU user time (s): 2515.79
CPU system time (s): 4.33781
CPU usage (%): 103.396
Max. virtual memory (cumulated for all children) (KiB): 14069952

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.79
system time used= 4.33781
maximum resident set size= 4826120
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 669135
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3168
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 67099
involuntary context switches= 2736

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.8164 second user time and 15.2042 second system time

The end

Launcher Data 

Begin job on node134 at 2017-08-12 00:36:45
IDJOB=4262772
IDBENCH=140594
IDSOLVER=2650
FILE ID=node134/4262772-1502491841
RUNJOBID= node134-1502411438-1523
PBS_JOBID= 
Free space on /tmp= 62004 MiB

SOLVER NAME= Concrete 3.4
BENCH NAME= XCSP17/Ramsey/Ramsey-int-s1/Ramsey-int-49.xml
COMMAND LINE= bin/concrete BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4262772-1502491841/watcher-4262772-1502491841 -o /tmp/evaluation-result-4262772-1502491841/solver-4262772-1502491841 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1502411438-1523 --watchdog 2580  bin/concrete HOME/instance-4262772-1502491841.xml

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

MD5SUM BENCH= f189c1eeae9c695eff92bc09b1867153
RANDOM SEED=316115865

node134.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.43
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.43
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.43
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.43
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:        27178212 kB
MemAvailable:   28189176 kB
Buffers:          297120 kB
Cached:          1006600 kB
SwapCached:            0 kB
Active:          4538804 kB
Inactive:         611676 kB
Active(anon):    3849032 kB
Inactive(anon):    31216 kB
Active(file):     689772 kB
Inactive(file):   580460 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             24952 kB
Writeback:             4 kB
AnonPages:       3845800 kB
Mapped:            65312 kB
Shmem:             33468 kB
Slab:             139892 kB
SReclaimable:     113136 kB
SUnreclaim:        26756 kB
KernelStack:        3488 kB
PageTables:        12936 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    4695920 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      354332 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3606528 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= 62008 MiB
End job on node134 at 2017-08-12 01:17:23