Trace number 4245177

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
R1: OscaR - Conflict Ordering 2017-06-30SAT (TO)1327 2400.15 2073.18

General information on the benchmark

NameGraphColoring/GraphColoring-m1-mono/
GraphColoring-wap01a.xml
MD5SUM1f75bed7d5113015eb943bda0c7ab47c
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark41
Best CPU time to get the best result obtained on this benchmark2401.06
Satisfiable
(Un)Satisfiability was proved
Number of variables2368
Number of constraints110871
Number of domains1
Minimum domain size2368
Maximum domain size2368
Distribution of domain sizes[{"size":2368,"count":2368}]
Minimum variable degree15
Maximum variable degree289
Distribution of variable degrees[{"degree":15,"count":1},{"degree":19,"count":4},{"degree":20,"count":8},{"degree":21,"count":2},{"degree":25,"count":4},{"degree":26,"count":15},{"degree":27,"count":2},{"degree":28,"count":7},{"degree":30,"count":9},{"degree":32,"count":9},{"degree":33,"count":4},{"degree":34,"count":7},{"degree":35,"count":4},{"degree":36,"count":4},{"degree":37,"count":5},{"degree":38,"count":113},{"degree":39,"count":59},{"degree":40,"count":326},{"degree":42,"count":4},{"degree":43,"count":5},{"degree":45,"count":5},{"degree":46,"count":1},{"degree":47,"count":2},{"degree":49,"count":2},{"degree":50,"count":2},"...",{"degree":202,"count":5}, {"degree":203,"count":10}, {"degree":204,"count":3}, {"degree":205,"count":5}, {"degree":206,"count":2}, {"degree":207,"count":1}, {"degree":208,"count":3}, {"degree":209,"count":3}, {"degree":210,"count":4}, {"degree":211,"count":2}, {"degree":216,"count":1}, {"degree":217,"count":2}, {"degree":220,"count":2}, {"degree":223,"count":1}, {"degree":226,"count":1}, {"degree":227,"count":1}, {"degree":228,"count":1}, {"degree":231,"count":1}, {"degree":232,"count":1}, {"degree":244,"count":1}, {"degree":249,"count":1}, {"degree":254,"count":1}, {"degree":258,"count":1}, {"degree":268,"count":1}, {"degree":289,"count":1}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":110871}]
Number of extensional constraints0
Number of intensional constraints110871
Distribution of constraint types[{"type":"intension","count":110871}]
Optimization problemYES
Type of objectivemin MAXIMUM

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.27/0.26	c version: 2017-06-30
0.27/0.26	c seed: 2076753538
0.27/0.26	c timeout: 2400
0.27/0.26	c memlimit: 15500
0.27/0.26	c nbcore: 8
0.27/0.29	c Parsing instance...
99.11/26.77	c Parsing done, starting search...
102.78/29.14	o 2367
106.05/31.66	o 2366
109.26/34.31	o 2365
111.72/36.80	o 2364
114.24/39.21	o 2363
116.56/41.59	o 2362
118.96/43.93	o 2361
121.26/46.26	o 2360
124.59/48.72	o 2359
126.89/51.08	o 2358
129.18/53.39	o 2357
131.49/55.67	o 2356
133.79/57.99	o 2355
136.19/60.32	o 2354
138.50/62.65	o 2353
140.81/64.95	o 2352
143.11/67.25	o 2351
145.41/69.53	o 2350
147.71/71.83	o 2349
149.99/74.10	o 2348
152.40/76.44	o 2347
155.85/78.95	o 2346
158.17/81.25	o 2345
160.47/83.55	o 2344
162.81/85.88	o 2343
165.11/88.14	o 2342
167.46/90.43	o 2341
169.66/92.70	o 2340
171.97/94.97	o 2339
174.27/97.23	o 2338
176.56/99.50	o 2337
178.76/101.74	o 2336
181.06/104.06	o 2335
183.36/106.34	o 2334
185.67/108.62	o 2333
189.15/111.11	o 2332
191.45/113.40	o 2331
193.65/115.69	o 2330
195.95/117.97	o 2329
198.26/120.26	o 2328
200.56/122.56	o 2327
202.85/124.85	o 2326
205.16/127.16	o 2325
207.46/129.45	o 2324
209.76/131.73	o 2323
212.06/134.00	o 2322
214.26/136.26	o 2321
216.56/138.51	o 2320
220.09/140.92	o 2319
222.29/143.18	o 2318
224.59/145.47	o 2317
226.90/147.72	o 2316
229.10/149.98	o 2315
231.30/152.20	o 2314
233.60/154.44	o 2313
235.89/156.72	o 2312
238.09/158.96	o 2311
240.40/161.22	o 2310
242.69/163.53	o 2309
245.00/165.81	o 2308
247.20/168.09	o 2307
249.50/170.37	o 2306
253.23/172.81	o 2305
255.43/175.05	o 2304
257.63/177.29	o 2303
259.94/179.53	o 2302
262.14/181.79	o 2301
264.45/184.03	o 2300
266.65/186.25	o 2299
269.15/188.74	o 2298
271.45/191.00	o 2297
273.64/193.23	o 2296
275.84/195.49	o 2295
278.15/197.70	o 2294
280.35/199.95	o 2293
284.06/202.38	o 2292
286.36/204.62	o 2291
288.56/206.85	o 2290
290.87/209.10	o 2289
293.07/211.36	o 2288
295.37/213.63	o 2287
297.57/215.87	o 2286
299.77/218.07	o 2285
302.17/220.41	o 2284
304.37/222.67	o 2283
306.58/224.90	o 2282
308.87/227.18	o 2281
311.17/229.41	o 2280
314.88/231.87	o 2279
317.18/234.11	o 2278
319.38/236.36	o 2277
321.68/238.62	o 2276
323.88/240.87	o 2275
326.18/243.14	o 2274
328.48/245.46	o 2273
330.78/247.71	o 2272
332.98/249.94	o 2271
335.18/252.20	o 2270
337.49/254.43	o 2269
339.70/256.66	o 2268
343.49/259.12	o 2267
345.69/261.34	o 2266
348.09/263.70	o 2265
350.29/265.96	o 2264
352.60/268.20	o 2263
354.80/270.43	o 2262
357.00/272.66	o 2261
359.30/274.92	o 2260
361.50/277.14	o 2259
363.70/279.35	o 2258
365.90/281.57	o 2257
368.10/283.77	o 2256
371.96/286.22	o 2255
374.17/288.41	o 2254
376.37/290.69	o 2253
378.68/292.92	o 2252
380.87/295.11	o 2251
383.08/297.35	o 2250
385.38/299.62	o 2249
387.58/301.81	o 2248
389.79/304.02	o 2247
391.98/306.21	o 2246
394.09/308.38	o 2245
396.28/310.60	o 2244
398.48/312.79	o 2243
402.31/315.20	o 2242
404.52/317.40	o 2241
406.72/319.60	o 2240
408.92/321.87	o 2239
411.12/324.04	o 2238
413.22/326.19	o 2237
415.43/328.39	o 2236
417.63/330.57	o 2235
419.83/332.78	o 2234
422.02/334.96	o 2233
424.22/337.13	o 2232
426.42/339.31	o 2231
430.04/341.67	o 2230
432.34/343.91	o 2229
434.54/346.10	o 2228
436.74/348.32	o 2227
438.94/350.54	o 2226
441.14/352.78	o 2225
443.34/354.98	o 2224
445.64/357.22	o 2223
447.84/359.42	o 2222
450.05/361.60	o 2221
452.35/363.97	o 2220
454.55/366.16	o 2219
458.26/368.56	o 2218
460.46/370.77	o 2217
462.76/373.00	o 2216
464.96/375.23	o 2215
467.16/377.40	o 2214
469.36/379.63	o 2213
471.56/381.82	o 2212
473.66/383.96	o 2211
475.86/386.13	o 2210
477.96/388.26	o 2209
480.16/390.43	o 2208
483.92/392.81	o 2207
486.02/394.98	o 2206
488.32/397.22	o 2205
490.52/399.43	o 2204
492.72/401.61	o 2203
494.92/403.81	o 2202
497.12/406.00	o 2201
499.32/408.22	o 2200
501.41/410.39	o 2199
503.61/412.58	o 2198
505.81/414.71	o 2197
507.92/416.88	o 2196
511.65/419.25	o 2195
513.85/421.43	o 2194
516.05/423.62	o 2193
518.25/425.80	o 2192
520.35/427.95	o 2191
522.56/430.12	o 2190
524.65/432.29	o 2189
526.85/434.48	o 2188
529.05/436.65	o 2187
531.25/438.82	o 2186
533.36/440.98	o 2185
535.56/443.10	o 2184
540.60/445.63	o 2183
542.80/447.81	o 2182
544.90/449.99	o 2181
547.20/452.25	o 2180
549.40/454.43	o 2179
551.50/456.59	o 2178
553.70/458.75	o 2177
555.90/460.94	o 2176
558.00/463.09	o 2175
560.20/465.22	o 2174
562.30/467.37	o 2173
564.50/469.57	o 2172
568.08/471.91	o 2171
570.18/474.04	o 2170
572.28/476.18	o 2169
574.48/478.32	o 2168
576.58/480.45	o 2167
578.78/482.65	o 2166
580.98/484.80	o 2165
583.08/486.95	o 2164
585.42/489.28	o 2163
587.52/491.39	o 2162
589.72/493.53	o 2161
591.82/495.69	o 2160
595.14/497.99	o 2159
597.34/500.14	o 2158
599.53/502.30	o 2157
601.63/504.42	o 2156
603.73/506.56	o 2155
605.85/508.69	o 2154
608.05/510.83	o 2153
610.15/512.95	o 2152
612.24/515.08	o 2151
614.44/517.21	o 2150
616.53/519.34	o 2149
618.64/521.47	o 2148
621.97/523.82	o 2147
624.07/525.98	o 2146
626.26/528.17	o 2145
628.56/530.41	o 2144
630.66/532.58	o 2143
632.86/534.76	o 2142
635.07/536.91	o 2141
637.17/539.06	o 2140
639.37/541.20	o 2139
641.47/543.34	o 2138
643.57/545.47	o 2137
645.77/547.61	o 2136
648.84/549.90	o 2135
651.04/552.02	o 2134
653.14/554.15	o 2133
655.24/556.26	o 2132
657.34/558.39	o 2131
659.54/560.51	o 2130
661.64/562.65	o 2129
663.75/564.75	o 2128
665.85/566.90	o 2127
668.05/569.02	o 2126
670.15/571.12	o 2125
672.25/573.24	o 2124
675.57/575.52	o 2123
677.67/577.65	o 2122
679.87/579.82	o 2121
681.98/581.98	o 2120
684.18/584.11	o 2119
686.28/586.24	o 2118
688.38/588.35	o 2117
690.48/590.44	o 2116
692.69/592.63	o 2115
694.79/594.75	o 2114
696.89/596.86	o 2113
703.11/599.52	o 2112
705.21/601.63	o 2111
707.31/603.74	o 2110
709.42/605.85	o 2109
711.51/607.94	o 2108
713.61/610.04	o 2107
715.71/612.12	o 2106
717.82/614.21	o 2105
719.81/616.30	o 2104
721.91/618.37	o 2103
724.02/620.45	o 2102
726.12/622.55	o 2101
732.37/625.17	o 2100
734.46/627.27	o 2099
736.56/629.39	o 2098
738.75/631.50	o 2097
740.95/633.73	o 2096
743.06/635.83	o 2095
745.16/637.96	o 2094
747.26/640.08	o 2093
749.46/642.20	o 2092
751.46/644.26	o 2091
753.56/646.38	o 2090
755.66/648.49	o 2089
762.18/651.16	o 2088
764.28/653.29	o 2087
766.38/655.39	o 2086
768.58/657.53	o 2085
770.68/659.66	o 2084
772.78/661.79	o 2083
774.99/663.91	o 2082
777.09/666.05	o 2081
779.20/668.15	o 2080
781.29/670.26	o 2079
783.39/672.35	o 2078
785.48/674.44	o 2077
787.58/676.54	o 2076
794.22/679.22	o 2075
796.32/681.34	o 2074
798.42/683.48	o 2073
800.51/685.59	o 2072
802.61/687.64	o 2071
804.71/689.71	o 2070
806.81/691.82	o 2069
808.91/693.92	o 2068
811.01/696.03	o 2067
813.01/698.09	o 2066
815.11/700.20	o 2065
817.22/702.28	o 2064
823.65/704.91	o 2063
825.75/707.01	o 2062
827.75/709.09	o 2061
829.85/711.18	o 2060
831.96/713.23	o 2059
833.95/715.29	o 2058
836.05/717.33	o 2057
838.06/719.38	o 2056
840.16/721.42	o 2055
842.16/723.46	o 2054
844.26/725.57	o 2053
846.35/727.66	o 2052
853.45/730.39	o 2051
855.65/732.59	o 2050
857.85/734.71	o 2049
859.94/736.80	o 2048
861.94/738.87	o 2047
864.05/740.94	o 2046
866.15/743.03	o 2045
868.25/745.13	o 2044
870.25/747.19	o 2043
872.34/749.26	o 2042
874.44/751.32	o 2041
876.55/753.40	o 2040
883.47/756.11	o 2039
885.47/758.19	o 2038
887.57/760.28	o 2037
889.67/762.33	o 2036
891.66/764.36	o 2035
893.77/766.40	o 2034
895.77/768.46	o 2033
897.87/770.50	o 2032
899.88/772.55	o 2031
901.97/774.60	o 2030
903.96/776.65	o 2029
906.07/778.73	o 2028
910.12/781.04	o 2027
912.22/783.12	o 2026
914.23/785.17	o 2025
916.23/787.19	o 2024
918.33/789.23	o 2023
920.34/791.28	o 2022
922.43/793.33	o 2021
924.43/795.38	o 2020
926.53/797.49	o 2019
928.63/799.53	o 2018
930.63/801.56	o 2017
932.73/803.61	o 2016
934.74/805.67	o 2015
938.94/808.00	o 2014
940.95/810.04	o 2013
943.06/812.14	o 2012
945.05/814.18	o 2011
947.05/816.20	o 2010
949.15/818.25	o 2009
951.15/820.28	o 2008
953.25/822.32	o 2007
955.45/824.52	o 2006
957.45/826.55	o 2005
959.45/828.59	o 2004
961.55/830.65	o 2003
963.65/832.72	o 2002
968.17/835.11	o 2001
970.17/837.18	o 2000
972.27/839.24	o 1999
974.36/841.30	o 1998
976.36/843.32	o 1997
978.36/845.37	o 1996
980.47/847.46	o 1995
982.57/849.51	o 1994
984.66/851.60	o 1993
986.66/853.66	o 1992
988.77/855.75	o 1991
990.87/857.81	o 1990
995.22/860.16	o 1989
997.32/862.20	o 1988
999.32/864.24	o 1987
1001.32/866.24	o 1986
1003.33/868.25	o 1985
1005.33/870.27	o 1984
1007.33/872.26	o 1983
1009.44/874.30	o 1982
1011.34/876.28	o 1981
1013.35/878.29	o 1980
1015.45/880.31	o 1979
1017.44/882.30	o 1978
1019.34/884.29	o 1977
1023.86/886.66	o 1976
1025.86/888.70	o 1975
1027.96/890.71	o 1974
1029.96/892.72	o 1973
1031.97/894.72	o 1972
1033.86/896.69	o 1971
1035.86/898.67	o 1970
1037.86/900.70	o 1969
1039.87/902.67	o 1968
1041.87/904.68	o 1967
1043.86/906.70	o 1966
1045.96/908.71	o 1965
1047.96/910.70	o 1964
1052.14/912.99	o 1963
1054.15/914.97	o 1962
1056.15/916.93	o 1961
1058.16/918.95	o 1960
1060.15/920.91	o 1959
1062.15/922.90	o 1958
1064.05/924.89	o 1957
1066.05/926.88	o 1956
1068.15/928.90	o 1955
1070.05/930.90	o 1954
1072.05/932.86	o 1953
1074.05/934.82	o 1952
1075.95/936.79	o 1951
1080.30/939.06	o 1950
1082.30/941.02	o 1949
1084.31/943.02	o 1948
1086.30/945.01	o 1947
1088.30/947.01	o 1946
1090.20/948.99	o 1945
1092.30/951.00	o 1944
1094.30/953.02	o 1943
1096.30/955.03	o 1942
1098.30/957.04	o 1941
1100.30/959.09	o 1940
1102.30/961.09	o 1939
1104.30/963.07	o 1938
1106.31/965.08	o 1937
1110.59/967.35	o 1936
1112.78/969.59	o 1935
1114.78/971.60	o 1934
1116.78/973.55	o 1933
1118.78/975.53	o 1932
1120.67/977.47	o 1931
1122.68/979.43	o 1930
1124.57/981.39	o 1929
1126.57/983.36	o 1928
1128.57/985.35	o 1927
1130.57/987.31	o 1926
1132.49/989.29	o 1925
1134.48/991.28	o 1924
1138.55/993.58	o 1923
1140.55/995.54	o 1922
1142.55/997.51	o 1921
1144.55/999.50	o 1920
1146.45/1001.46	o 1919
1148.45/1003.45	o 1918
1150.45/1005.43	o 1917
1152.35/1007.39	o 1916
1154.35/1009.36	o 1915
1156.36/1011.33	o 1914
1158.35/1013.33	o 1913
1160.35/1015.34	o 1912
1162.35/1017.32	o 1911
1166.22/1019.55	o 1910
1168.23/1021.56	o 1909
1170.22/1023.55	o 1908
1172.23/1025.55	o 1907
1174.22/1027.52	o 1906
1176.22/1029.50	o 1905
1178.12/1031.48	o 1904
1180.12/1033.46	o 1903
1182.13/1035.43	o 1902
1184.03/1037.39	o 1901
1186.03/1039.36	o 1900
1188.03/1041.30	o 1899
1189.94/1043.30	o 1898
1193.98/1045.50	o 1897
1195.88/1047.44	o 1896
1197.88/1049.40	o 1895
1199.78/1051.37	o 1894
1201.78/1053.34	o 1893
1203.68/1055.30	o 1892
1205.68/1057.24	o 1891
1207.58/1059.18	o 1890
1209.58/1061.15	o 1889
1211.58/1063.10	o 1888
1213.59/1065.13	o 1887
1215.48/1067.09	o 1886
1217.48/1069.05	o 1885
1221.41/1071.23	o 1884
1223.31/1073.18	o 1883
1225.31/1075.14	o 1882
1227.21/1077.07	o 1881
1229.21/1079.02	o 1880
1231.10/1080.94	o 1879
1233.01/1082.88	o 1878
1235.00/1084.84	o 1877
1236.90/1086.79	o 1876
1238.90/1088.73	o 1875
1240.80/1090.68	o 1874
1242.91/1092.79	o 1873
1244.90/1094.76	o 1872
1246.90/1096.70	o 1871
1250.71/1098.88	o 1870
1252.71/1100.80	o 1869
1254.61/1102.74	o 1868
1256.51/1104.69	o 1867
1258.51/1106.64	o 1866
1260.41/1108.55	o 1865
1262.31/1110.44	o 1864
1264.21/1112.40	o 1863
1266.22/1114.33	o 1862
1268.12/1116.26	o 1861
1270.02/1118.17	o 1860
1272.03/1120.12	o 1859
1273.92/1122.06	o 1858
1277.58/1124.23	o 1857
1279.47/1126.17	o 1856
1281.48/1128.11	o 1855
1283.39/1130.08	o 1854
1285.28/1131.99	o 1853
1287.28/1133.92	o 1852
1289.18/1135.83	o 1851
1291.09/1137.80	o 1850
1292.98/1139.69	o 1849
1294.88/1141.59	o 1848
1296.88/1143.52	o 1847
1298.68/1145.40	o 1846
1300.69/1147.33	o 1845
1302.59/1149.22	o 1844
1306.18/1151.36	o 1843
1308.09/1153.27	o 1842
1310.08/1155.24	o 1841
1311.98/1157.16	o 1840
1313.88/1159.09	o 1839
1315.88/1161.02	o 1838
1317.78/1162.92	o 1837
1319.68/1164.82	o 1836
1321.58/1166.73	o 1835
1323.39/1168.60	o 1834
1325.28/1170.50	o 1833
1327.18/1172.37	o 1832
1329.08/1174.27	o 1831
1332.67/1176.37	o 1830
1334.56/1178.27	o 1829
1336.46/1180.18	o 1828
1338.36/1182.08	o 1827
1340.28/1183.98	o 1826
1342.27/1185.94	o 1825
1344.17/1187.84	o 1824
1346.06/1189.77	o 1823
1347.97/1191.67	o 1822
1349.96/1193.60	o 1821
1351.86/1195.51	o 1820
1353.77/1197.42	o 1819
1355.57/1199.30	o 1818
1357.47/1201.20	o 1817
1363.03/1203.54	o 1816
1364.94/1205.43	o 1815
1366.84/1207.33	o 1814
1368.74/1209.25	o 1813
1370.63/1211.16	o 1812
1372.54/1213.07	o 1811
1374.44/1214.97	o 1810
1376.34/1216.87	o 1809
1378.24/1218.79	o 1808
1380.14/1220.67	o 1807
1382.05/1222.57	o 1806
1383.94/1224.46	o 1805
1385.84/1226.34	o 1804
1387.74/1228.23	o 1803
1393.69/1230.67	o 1802
1395.59/1232.57	o 1801
1397.49/1234.47	o 1800
1399.39/1236.35	o 1799
1401.29/1238.22	o 1798
1403.20/1240.13	o 1797
1405.09/1242.00	o 1796
1406.90/1243.88	o 1795
1408.79/1245.74	o 1794
1410.69/1247.62	o 1793
1412.59/1249.57	o 1792
1414.49/1251.49	o 1791
1416.40/1253.37	o 1790
1422.83/1255.86	o 1789
1424.83/1257.83	o 1788
1426.73/1259.72	o 1787
1428.64/1261.60	o 1786
1430.44/1263.48	o 1785
1432.34/1265.35	o 1784
1434.13/1267.19	o 1783
1436.03/1269.06	o 1782
1437.94/1270.94	o 1781
1439.83/1272.80	o 1780
1441.73/1274.71	o 1779
1443.53/1276.58	o 1778
1445.43/1278.47	o 1777
1447.33/1280.36	o 1776
1453.17/1282.73	o 1775
1454.97/1284.59	o 1774
1456.87/1286.43	o 1773
1458.77/1288.31	o 1772
1460.57/1290.16	o 1771
1462.47/1292.02	o 1770
1464.27/1293.85	o 1769
1466.17/1295.70	o 1768
1467.97/1297.54	o 1767
1469.77/1299.40	o 1766
1471.67/1301.25	o 1765
1473.57/1303.13	o 1764
1475.38/1304.98	o 1763
1477.27/1306.81	o 1762
1484.24/1309.48	o 1761
1486.13/1311.36	o 1760
1488.03/1313.21	o 1759
1489.93/1315.10	o 1758
1491.73/1316.95	o 1757
1493.63/1318.81	o 1756
1495.43/1320.64	o 1755
1497.23/1322.50	o 1754
1499.13/1324.34	o 1753
1500.93/1326.19	o 1752
1502.84/1328.02	o 1751
1504.63/1329.85	o 1750
1506.43/1331.68	o 1749
1508.23/1333.49	o 1748
1515.18/1335.95	o 1747
1516.99/1337.77	o 1746
1518.79/1339.58	o 1745
1520.69/1341.43	o 1744
1522.49/1343.24	o 1743
1524.29/1345.02	o 1742
1526.10/1346.83	o 1741
1527.89/1348.66	o 1740
1529.69/1350.49	o 1739
1531.50/1352.30	o 1738
1533.39/1354.12	o 1737
1535.19/1355.98	o 1736
1537.10/1357.81	o 1735
1538.89/1359.68	o 1734
1545.62/1362.16	o 1733
1547.41/1363.99	o 1732
1549.31/1365.84	o 1731
1551.12/1367.67	o 1730
1553.01/1369.58	o 1729
1554.91/1371.40	o 1728
1556.73/1373.21	o 1727
1558.52/1375.09	o 1726
1560.42/1376.91	o 1725
1562.23/1378.73	o 1724
1564.02/1380.56	o 1723
1565.83/1382.39	o 1722
1567.73/1384.22	o 1721
1569.52/1386.05	o 1720
1576.42/1388.54	o 1719
1578.22/1390.36	o 1718
1580.02/1392.19	o 1717
1581.93/1394.05	o 1716
1583.92/1396.01	o 1715
1585.72/1397.83	o 1714
1587.53/1399.64	o 1713
1589.32/1401.46	o 1712
1591.22/1403.32	o 1711
1593.02/1405.16	o 1710
1594.81/1406.94	o 1709
1596.62/1408.73	o 1708
1598.43/1410.51	o 1707
1600.22/1412.31	o 1706
1602.02/1414.12	o 1705
1608.84/1416.57	o 1704
1610.65/1418.38	o 1703
1612.44/1420.18	o 1702
1614.34/1422.00	o 1701
1616.15/1423.88	o 1700
1618.04/1425.74	o 1699
1619.85/1427.55	o 1698
1621.66/1429.35	o 1697
1623.45/1431.15	o 1696
1625.24/1432.93	o 1695
1626.95/1434.70	o 1694
1628.74/1436.48	o 1693
1630.54/1438.26	o 1692
1632.34/1440.09	o 1691
1638.92/1442.52	o 1690
1640.72/1444.35	o 1689
1642.52/1446.16	o 1688
1644.33/1447.95	o 1687
1646.12/1449.74	o 1686
1647.92/1451.54	o 1685
1649.72/1453.33	o 1684
1651.52/1455.13	o 1683
1653.32/1456.95	o 1682
1655.12/1458.76	o 1681
1656.92/1460.53	o 1680
1658.74/1462.35	o 1679
1660.53/1464.11	o 1678
1662.22/1465.89	o 1677
1664.02/1467.69	o 1676
1670.66/1470.10	o 1675
1672.47/1471.91	o 1674
1674.17/1473.70	o 1673
1675.97/1475.50	o 1672
1677.87/1477.33	o 1671
1679.67/1479.14	o 1670
1681.47/1480.94	o 1669
1683.27/1482.73	o 1668
1685.07/1484.55	o 1667
1686.87/1486.33	o 1666
1688.67/1488.12	o 1665
1690.47/1489.91	o 1664
1692.27/1491.71	o 1663
1693.97/1493.47	o 1662
1695.78/1495.26	o 1661
1703.03/1497.75	o 1660
1704.83/1499.54	o 1659
1706.63/1501.32	o 1658
1708.43/1503.11	o 1657
1710.13/1504.87	o 1656
1711.93/1506.63	o 1655
1713.63/1508.40	o 1654
1715.43/1510.17	o 1653
1717.23/1511.95	o 1652
1719.04/1513.71	o 1651
1720.84/1515.58	o 1650
1722.64/1517.34	o 1649
1724.33/1519.08	o 1648
1726.13/1520.88	o 1647
1734.09/1523.44	o 1646
1735.88/1525.24	o 1645
1737.68/1527.02	o 1644
1739.48/1528.80	o 1643
1741.19/1530.58	o 1642
1742.98/1532.37	o 1641
1744.78/1534.13	o 1640
1746.59/1535.94	o 1639
1748.28/1537.69	o 1638
1750.08/1539.44	o 1637
1751.88/1541.21	o 1636
1753.58/1542.95	o 1635
1755.28/1544.70	o 1634
1757.08/1546.45	o 1633
1758.88/1548.21	o 1632
1766.11/1550.69	o 1631
1767.92/1552.47	o 1630
1769.71/1554.25	o 1629
1771.51/1556.00	o 1628
1773.21/1557.75	o 1627
1775.01/1559.51	o 1626
1776.72/1561.26	o 1625
1778.52/1563.03	o 1624
1780.32/1564.83	o 1623
1782.12/1566.61	o 1622
1783.82/1568.39	o 1621
1785.62/1570.16	o 1620
1787.42/1571.92	o 1619
1789.12/1573.68	o 1618
1790.92/1575.45	o 1617
1796.57/1577.67	o 1616
1798.36/1579.44	o 1615
1800.16/1581.21	o 1614
1801.87/1582.97	o 1613
1803.67/1584.79	o 1612
1805.47/1586.55	o 1611
1807.16/1588.30	o 1610
1808.96/1590.05	o 1609
1810.77/1591.83	o 1608
1812.47/1593.59	o 1607
1814.28/1595.35	o 1606
1816.07/1597.10	o 1605
1817.77/1598.86	o 1604
1819.57/1600.64	o 1603
1821.27/1602.37	o 1602
1825.36/1604.42	o 1601
1827.06/1606.18	o 1600
1828.86/1607.94	o 1599
1830.57/1609.70	o 1598
1832.36/1611.44	o 1597
1834.06/1613.18	o 1596
1835.86/1614.90	o 1595
1837.57/1616.68	o 1594
1839.27/1618.38	o 1593
1841.06/1620.11	o 1592
1842.77/1621.82	o 1591
1844.46/1623.53	o 1590
1846.16/1625.27	o 1589
1847.96/1627.01	o 1588
1852.35/1629.13	o 1587
1854.26/1630.86	o 1586
1856.06/1632.60	o 1585
1857.77/1634.40	o 1584
1859.57/1636.13	o 1583
1861.26/1637.86	o 1582
1862.96/1639.58	o 1581
1864.76/1641.30	o 1580
1866.46/1643.05	o 1579
1868.17/1644.75	o 1578
1869.87/1646.49	o 1577
1871.57/1648.20	o 1576
1873.37/1649.92	o 1575
1875.07/1651.63	o 1574
1876.77/1653.34	o 1573
1878.56/1655.10	o 1572
1882.70/1657.13	o 1571
1884.40/1658.83	o 1570
1886.09/1660.55	o 1569
1887.79/1662.29	o 1568
1889.59/1664.04	o 1567
1891.30/1665.76	o 1566
1892.99/1667.47	o 1565
1894.70/1669.19	o 1564
1896.39/1670.89	o 1563
1898.19/1672.60	o 1562
1899.89/1674.35	o 1561
1901.60/1676.06	o 1560
1903.30/1677.74	o 1559
1905.00/1679.48	o 1558
1906.70/1681.20	o 1557
1911.34/1683.28	o 1556
1913.14/1685.01	o 1555
1914.75/1686.69	o 1554
1916.54/1688.43	o 1553
1918.24/1690.14	o 1552
1919.94/1691.84	o 1551
1921.64/1693.55	o 1550
1923.34/1695.28	o 1549
1925.04/1696.96	o 1548
1926.75/1698.68	o 1547
1928.45/1700.38	o 1546
1930.26/1702.12	o 1545
1931.95/1703.80	o 1544
1933.55/1705.50	o 1543
1937.96/1707.51	o 1542
1939.65/1709.20	o 1541
1941.26/1710.88	o 1540
1942.95/1712.58	o 1539
1944.75/1714.30	o 1538
1946.45/1716.01	o 1537
1948.16/1717.73	o 1536
1949.85/1719.42	o 1535
1951.55/1721.11	o 1534
1953.16/1722.79	o 1533
1954.95/1724.54	o 1532
1956.66/1726.23	o 1531
1958.36/1727.90	o 1530
1959.96/1729.60	o 1529
1961.76/1731.30	o 1528
1966.03/1733.34	o 1527
1967.74/1735.04	o 1526
1969.43/1736.72	o 1525
1971.13/1738.41	o 1524
1972.83/1740.10	o 1523
1974.53/1741.85	o 1522
1976.23/1743.53	o 1521
1977.93/1745.23	o 1520
1979.63/1746.91	o 1519
1981.23/1748.59	o 1518
1982.93/1750.26	o 1517
1984.63/1751.92	o 1516
1986.33/1753.61	o 1515
1987.93/1755.25	o 1514
1992.38/1757.33	o 1513
1994.07/1759.00	o 1512
1995.68/1760.67	o 1511
1997.38/1762.37	o 1510
1999.08/1764.03	o 1509
2000.78/1765.70	o 1508
2002.38/1767.38	o 1507
2004.08/1769.04	o 1506
2005.77/1770.70	o 1505
2007.37/1772.38	o 1504
2009.08/1774.05	o 1503
2010.79/1775.74	o 1502
2012.48/1777.42	o 1501
2014.19/1779.11	o 1500
2018.59/1781.14	o 1499
2020.19/1782.78	o 1498
2021.89/1784.47	o 1497
2023.58/1786.19	o 1496
2025.29/1787.88	o 1495
2026.98/1789.56	o 1494
2028.78/1791.32	o 1493
2030.38/1792.98	o 1492
2032.08/1794.62	o 1491
2033.68/1796.27	o 1490
2035.38/1797.94	o 1489
2036.98/1799.59	o 1488
2038.68/1801.26	o 1487
2040.38/1802.92	o 1486
2044.77/1804.92	o 1485
2046.38/1806.54	o 1484
2047.98/1808.17	o 1483
2049.58/1809.78	o 1482
2051.28/1811.42	o 1481
2052.88/1813.08	o 1480
2054.58/1814.75	o 1479
2056.28/1816.48	o 1478
2057.97/1818.14	o 1477
2059.58/1819.80	o 1476
2061.28/1821.43	o 1475
2062.88/1823.06	o 1474
2064.47/1824.67	o 1473
2066.07/1826.30	o 1472
2070.80/1828.32	o 1471
2072.40/1829.96	o 1470
2074.00/1831.58	o 1469
2075.60/1833.19	o 1468
2077.31/1834.84	o 1467
2078.91/1836.47	o 1466
2080.51/1838.10	o 1465
2082.21/1839.75	o 1464
2083.80/1841.38	o 1463
2085.50/1843.05	o 1462
2087.10/1844.68	o 1461
2088.80/1846.32	o 1460
2090.40/1847.94	o 1459
2094.80/1849.92	o 1458
2096.40/1851.57	o 1457
2098.10/1853.22	o 1456
2099.70/1854.84	o 1455
2101.30/1856.47	o 1454
2102.90/1858.09	o 1453
2104.60/1859.72	o 1452
2106.20/1861.33	o 1451
2107.80/1862.95	o 1450
2109.40/1864.58	o 1449
2111.10/1866.21	o 1448
2112.70/1867.85	o 1447
2114.30/1869.50	o 1446
2151.71/1878.01	o 1445
2153.40/1879.73	o 1444
2155.01/1881.34	o 1443
2156.60/1882.96	o 1442
2158.20/1884.58	o 1441
2159.91/1886.20	o 1440
2161.51/1887.82	o 1439
2163.11/1889.44	o 1438
2164.71/1891.06	o 1437
2166.41/1892.73	o 1436
2168.00/1894.35	o 1435
2169.60/1895.96	o 1434
2171.20/1897.58	o 1433
2181.31/1900.25	o 1432
2183.01/1901.90	o 1431
2184.62/1903.52	o 1430
2186.22/1905.13	o 1429
2187.92/1906.88	o 1428
2189.52/1908.47	o 1427
2191.22/1910.10	o 1426
2192.82/1911.70	o 1425
2194.32/1913.29	o 1424
2196.02/1914.91	o 1423
2197.62/1916.53	o 1422
2199.22/1918.14	o 1421
2200.82/1919.74	o 1420
2210.45/1922.34	o 1419
2212.04/1923.94	o 1418
2213.64/1925.56	o 1417
2215.24/1927.18	o 1416
2216.94/1928.88	o 1415
2218.64/1930.51	o 1414
2220.25/1932.15	o 1413
2221.85/1933.78	o 1412
2223.46/1935.39	o 1411
2225.15/1937.00	o 1410
2226.65/1938.59	o 1409
2228.35/1940.20	o 1408
2229.95/1941.81	o 1407
2238.96/1944.35	o 1406
2240.56/1945.95	o 1405
2242.16/1947.54	o 1404
2243.76/1949.14	o 1403
2245.36/1950.74	o 1402
2246.95/1952.32	o 1401
2248.56/1953.91	o 1400
2250.15/1955.50	o 1399
2251.65/1957.08	o 1398
2253.25/1958.66	o 1397
2254.85/1960.25	o 1396
2256.56/1961.93	o 1395
2258.16/1963.51	o 1394
2266.45/1965.96	o 1393
2268.05/1967.53	o 1392
2269.65/1969.10	o 1391
2271.15/1970.67	o 1390
2272.75/1972.24	o 1389
2274.36/1973.88	o 1388
2275.95/1975.49	o 1387
2277.56/1977.07	o 1386
2279.15/1978.63	o 1385
2280.75/1980.20	o 1384
2282.25/1981.79	o 1383
2283.85/1983.36	o 1382
2285.45/1984.95	o 1381
2293.51/1987.35	o 1380
2295.11/1988.92	o 1379
2296.62/1990.47	o 1378
2298.22/1992.02	o 1377
2299.73/1993.58	o 1376
2301.32/1995.20	o 1375
2302.92/1996.76	o 1374
2304.52/1998.32	o 1373
2306.02/1999.87	o 1372
2307.62/2001.42	o 1371
2309.21/2003.08	o 1370
2310.82/2004.64	o 1369
2312.42/2006.21	o 1368
2320.27/2008.58	o 1367
2321.88/2010.14	o 1366
2323.47/2011.71	o 1365
2324.97/2013.25	o 1364
2326.58/2014.80	o 1363
2328.08/2016.33	o 1362
2329.59/2017.88	o 1361
2331.18/2019.46	o 1360
2332.78/2021.09	o 1359
2334.38/2022.65	o 1358
2335.98/2024.21	o 1357
2337.48/2025.74	o 1356
2339.08/2027.31	o 1355
2340.58/2028.88	o 1354
2348.08/2031.19	o 1353
2349.68/2032.73	o 1352
2351.29/2034.31	o 1351
2352.88/2035.90	o 1350
2354.38/2037.46	o 1349
2355.98/2039.03	o 1348
2357.48/2040.59	o 1347
2359.08/2042.14	o 1346
2360.68/2043.70	o 1345
2362.19/2045.28	o 1344
2363.78/2046.86	o 1343
2365.38/2048.45	o 1342
2366.88/2049.98	o 1341
2373.88/2052.22	o 1340
2375.38/2053.78	o 1339
2376.98/2055.34	o 1338
2378.48/2056.87	o 1337
2379.98/2058.40	o 1336
2381.58/2059.92	o 1335
2383.08/2061.45	o 1334
2384.67/2063.01	o 1333
2386.18/2064.54	o 1332
2387.68/2066.09	o 1331
2389.28/2067.64	o 1330
2390.78/2069.18	o 1329
2392.37/2070.75	o 1328
2399.96/2073.10	o 1327
2400.06/2073.10	s SATISFIABLE
2400.06/2073.11	v <instantiation>
2400.06/2073.11	v 	<list>
2400.06/2073.11	v 		x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[80] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] x[90] x[91] x[92] x[93] x[94] x[95] x[96] x[97] x[98] x[99] x[100] x[101] x[102] x[103] x[104] x[105] x[106] x[107] x[108] x[109] x[110] x[111] x[112] x[113] x[114] x[115] x[116] x[117] x[118] x[119] x[120] x[121] x[122] x[123] x[124] x[125] x[126] x[127] x[128] x[129] x[130] x[131] x[132] x[133] x[134] x[135] x[136] x[137] x[138] x[139] x[140] x[141] x[142] x[143] x[144] x[145] x[146] x[147] x[148] x[149] x[150] x[151] x[152] x[153] x[154] x[155] x[156] x[157] x[158] x[159] x[160] x[161] x[162] x[163] x[164] x[165] x[166] x[167] x[168] x[169] x[170] x[171] x[172] x[173] x[174] x[175] x[176] x[177] x[178] x[179] x[180] x[181] x[182] x[183] x[184] x[185] x[186] x[187] x[188] x[189] x[190] x[191] x[192] x[193] x[194] x[195] x[196] x[197] x[198] x[199] x[200] x[201] x[202] x[203] x[204] x[205] x[206] x[207] x[208] x[209] x[210] x[211] x[212] x[213] x[214] x[215] x[216] x[217] x[218] x[219] x[220] x[221] x[222] x[223] x[224] x[225] x[226] x[227] x[228] x[229] x[230] x[231] x[232] x[233] x[234] x[235] x[236] x[237] x[238] x[239] x[240] x[241] x[242] x[243] x[244] x[245] x[246] x[247] x[248] x[249] x[250] x[251] x[252] x[253] x[254] x[255] x[256] x[257] x[258] x[259] x[260] x[261] x[262] x[263] x[264] x[265] x[266] x[267] x[268] x[269] x[270] x[271] x[272] x[273] x[274] x[275] x[276] x[277] x[278] x[279] x[280] x[281] x[282] x[283] x[284] x[285] x[286] x[287] x[288] x[289] x[290] x[291] x[292] x[293] x[294] x[295] x[296] x[297] x[298] x[299] x[300] x[301] x[302] x[303] x[304] x[305] x[306] x[307] x[308] x[309] x[310] x[311] x[312] x[313] x[314] x[315] x[316] x[317] x[318] x[319] x[320] x[321] x[322] x[323] x[324] x[325] x[326] x[327] x[328] x[329] x[330] x[331] x[332] x[333] x[334] x[335] x[336] x[337] x[338] x[339] x[340] x[341] x[342] x[343] x[344] x[345] x[346] x[347] x[348] x[349] x[350] x[351] x[352] x[353] x[354] x[355] x[356] x[357] x[358] x[359] x[360] x[361] x[362] x[363] x[364] x[365] x[366] x[367] x[368] x[369] x[370] x[371] x[372] x[373] x[374] x[375] x[376] x[377] x[378] x[379] x[380] x[381] x[382] x[383] x[384] x[385] x[386] x[387] x[388] x[389] x[390] x[391] x[392] x[393] x[394] x[395] x[396] x[397] x[398] x[399] x[400] x[401] x[402] x[403] x[404] x[405] x[406] x[407] x[408] x[409] x[410] x[411] x[412] x[413] x[414] x[415] x[416] x[417] x[418] x[419] x[420] x[421] x[422] x[423] x[424] x[425] x[426] x[427] x[428] x[429] x[430] x[431] x[432] x[433] x[434] x[435] x[436] x[437] x[438] x[439] x[440] x[441] x[442] x[443] x[444] x[445] x[446] x[447] x[448] x[449] x[450] x[451] x[452] x[453] x[454] x[455] x[456] x[457] x[458] x[459] x[460] x[461] x[462] x[463] x[464] x[465] x[466] x[467] x[468] x[469] x[470] x[471] x[472] x[473] x[474] x[475] x[476] x[477] x[478] x[479] x[480] x[481] x[482] x[483] x[484] x[485] x[486] x[487] x[488] x[489] x[490] x[491] x[492] x[493] x[494] x[495] x[496] x[497] x[498] x[499] x[500] x[501] x[502] x[503] x[504] x[505] x[506] x[507] x[508] x[509] x[510] x[511] x[512] x[513] x[514] x[515] x[516] x[517] x[518] x[519] x[520] x[521] x[522] x[523] x[524] x[525] x[526] x[527] x[528] x[529] x[530] x[531] x[532] x[533] x[534] x[535] x[536] x[537] x[538] x[539] x[540] x[541] x[542] x[543] x[544] x[545] x[546] x[547] x[548] x[549] x[550] x[551] x[552] x[553] x[554] x[555] x[556] x[557] x[558] x[559] x[560] x[561] x[562] x[563] x[564] x[565] x[566] x[567] x[568] x[569] x[570] x[571] x[572] x[573] x[574] x[575] x[576] x[577] x[578] x[579] x[580] x[581] x[582] x[583] x[584] x[585] x[586] x[587] x[588] x[589] x[590] x[591] x[592] x[593] x[594] x[595] x[596] x[597] x[598] x[599] x[600] x[601] x[602] x[603] x[604] x[605] x[606] x[607] x[608] x[609] x[610] x[611] x[612] x[613] x[614] x[615] x[616] x[617] x[618] x[619] x[620] x[621] x[622] x[623] x[624] x[625] x[626] x[627] x[628] x[629] x[630] x[631] x[632] x[633] x[634] x[635] x[636] x[637] x[638] x[639] x[640] x[641] x[642] x[643] x[644] x[645] x[646] x[647] x[648] x[649] x[650] x[651] x[652] x[653] x[654] x[655] x[656] x[657] x[658] x[659] x[660] x[661] x[662] x[663] x[664] x[665] x[666] x[667] x[668] x[669] x[670] x[671] x[672] x[673] x[674] x[675] x[676] x[677] x[678] x[679] x[680] x[681] x[682] x[683] x[684] x[685] x[686] x[687] x[688] x[689] x[690] x[691] x[692] x[693] x[694] x[695] x[696] x[697] x[698] x[699] x[700] x[701] x[702] x[703] x[704] x[705] x[706] x[707] x[708] x[709] x[710] x[711] x[712] x[713] x[714] x[715] x[716] x[717] x[718] x[719] x[720] x[721] x[722] x[723] x[724] x[725] x[726] x[727] x[728] x[729] x[730] x[731] x[732] x[733] x[734] x[735] x[736] x[737] x[738] x[739] x[740] x[741] x[742] x[743] x[744] x[745] x[746] x[747] x[748] x[749] x[750] x[751] x[752] x[753] x[754] x[755] x[756] x[757] x[758] x[759] x[760] x[761] x[762] x[763] x[764] x[765] x[766] x[767] x[768] x[769] x[770] x[771] x[772] x[773] x[774] x[775] x[776] x[777] x[778] x[779] x[780] x[781] x[782] x[783] x[784] x[785] x[786] x[787] x[788] x[789] x[790] x[791] x[792] x[793] x[794] x[795] x[796] x[797] x[798] x[799] x[800] x[801] x[802] x[803] x[804] x[805] x[806] x[807] x[808] x[809] x[810] x[811] x[812] x[813] x[814] x[815] x[816] x[817] x[818] x[819] x[820] x[821] x[822] x[823] x[824] x[825] x[826] x[827] x[828] x[829] x[830] x[831] x[832] x[833] x[834] x[835] x[836] x[837] x[838] x[839] x[840] x[841] x[842] x[843] x[844] x[845] x[846] x[847] x[848] x[849] x[850] x[851] x[852] x[853] x[854] x[855] x[856] x[857] x[858] x[859] x[860] x[861] x[862] x[863] x[864] x[865] x[866] x[867] x[868] x[869] x[870] x[871] x[872] x[873] x[874] x[875] x[876] x[877] x[878] x[879] x[880] x[881] x[882] x[883] x[884] x[885] x[886] x[887] x[888] x[889] x[890] x[891] x[892] x[893] x[894] x[895] x[896] x[897] x[898] x[899] x[900] x[901] x[902] x[903] x[904] x[905] x[906] x[907] x[908] x[909] x[910] x[911] x[912] x[913] x[914] x[915] x[916] x[917] x[918] x[919] x[920] x[921] x[922] x[923] x[924] x[925] x[926] x[927] x[928] x[929] x[930] x[931] x[932] x[933] x[934] x[935] x[936] x[937] x[938] x[939] x[940] x[941] x[942] x[943] x[944] x[945] x[946] x[947] x[948] x[949] x[950] x[951] x[952] x[953] x[954] x[955] x[956] x[957] x[958] x[959] x[960] x[961] x[962] x[963] x[964] x[965] x[966] x[967] x[968] x[969] x[970] x[971] x[972] x[973] x[974] x[975] x[976] x[977] x[978] x[979] x[980] x[981] x[982] x[983] x[984] x[985] x[986] x[987] x[988] x[989] x[990] x[991] x[992] x[993] x[994] x[995] x[996] x[997] x[998] x[999] x[1000] x[1001] x[1002] x[1003] x[1004] x[1005] x[1006] x[1007] x[1008] x[1009] x[1010] x[1011] x[1012] x[1013] x[1014] x[1015] x[1016] x[1017] x[1018] x[1019] x[1020] x[1021] x[1022] x[1023] x[1024] x[1025] x[1026] x[1027] x[1028] x[1029] x[1030] x[1031] x[1032] x[1033] x[1034] x[1035] x[1036] x[1037] x[1038] x[1039] x[1040] x[1041] x[1042] x[1043] x[1044] x[1045] x[1046] x[1047] x[1048] x[1049] x[1050] x[1051] x[1052] x[1053] x[1054] x[1055] x[1056] x[1057] x[1058] x[1059] x[1060] x[1061] x[1062] x[1063] x[1064] x[1065] x[1066] x[1067] x[1068] x[1069] x[1070] x[1071] x[1072] x[1073] x[1074] x[1075] x[1076] x[1077] x[1078] x[1079] x[1080] x[1081] x[1082] x[1083] x[1084] x[1085] x[1086] x[1087] x[1088] x[1089] x[1090] x[1091] x[1092] x[1093] x[1094] x[1095] x[1096] x[1097] x[1098] x[1099] x[1100] x[1101] x[1102] x[1103] x[1104] x[1105] x[1106] x[1107] x[1108] x[1109] x[1110] x[1111] x[1112] x[1113] x[1114] x[1115] x[1116] x[1117] x[1118] x[1119] x[1120] x[1121] x[1122] x[1123] x[1124] x[1125] x[1126] x[1127] x[1128] x[1129] x[1130] x[1131] x[1132] x[1133] x[1134] x[1135] x[1136] x[1137] x[1138] x[1139] x[1140] x[1141] x[1142] x[1143] x[1144] x[1145] x[1146] x[1147] x[1148] x[1149] x[1150] x[1151] x[1152] x[1153] x[1154] x[1155] x[1156] x[1157] x[1158] x[1159] x[1160] x[1161] x[1162] x[1163] x[1164] x[1165] x[1166] x[1167] x[1168] x[1169] x[1170] x[1171] x[1172] x[1173] x[1174] x[1175] x[1176] x[1177] x[1178] x[1179] x[1180] x[1181] x[1182] x[1183] x[1184] x[1185] x[1186] x[1187] x[1188] x[1189] x[1190] x[1191] x[1192] x[1193] x[1194] x[1195] x[1196] x[1197] x[1198] x[1199] x[1200] x[1201] x[1202] x[1203] x[1204] x[1205] x[1206] x[1207] x[1208] x[1209] x[1210] x[1211] x[1212] x[1213] x[1214] x[1215] x[1216] x[1217] x[1218] x[1219] x[1220] x[1221] x[1222] x[1223] x[1224] x[1225] x[1226] x[1227] x[1228] x[1229] x[1230] x[1231] x[1232] x[1233] x[1234] x[1235] x[1236] x[1237] x[1238] x[1239] x[1240] x[1241] x[1242] x[1243] x[1244] x[1245] x[1246] x[1247] x[1248] x[1249] x[1250] x[1251] x[1252] x[1253] x[1254] x[1255] x[1256] x[1257] x[1258] x[1259] x[1260] x[1261] x[1262] x[1263] x[1264] x[1265] x[1266] x[1267] x[1268] x[1269] x[1270] x[1271] x[1272] x[1273] x[1274] x[1275] x[1276] x[1277] x[1278] x[1279] x[1280] x[1281] x[1282] x[1283] x[1284] x[1285] x[1286] x[1287] x[1288] x[1289] x[1290] x[1291] x[1292] x[1293] x[1294] x[1295] x[1296] x[1297] x[1298] x[1299] x[1300] x[1301] x[1302] x[1303] x[1304] x[1305] x[1306] x[1307] x[1308] x[1309] x[1310] x[1311] x[1312] x[1313] x[1314] x[1315] x[1316] x[1317] x[1318] x[1319] x[1320] x[1321] x[1322] x[1323] x[1324] x[1325] x[1326] x[1327] x[1328] x[1329] x[1330] x[1331] x[1332] x[1333] x[1334] x[1335] x[1336] x[1337] x[1338] x[1339] x[1340] x[1341] x[1342] x[1343] x[1344] x[1345] x[1346] x[1347] x[1348] x[1349] x[1350] x[1351] x[1352] x[1353] x[1354] x[1355] x[1356] x[1357] x[1358] x[1359] x[1360] x[1361] x[1362] x[1363] x[1364] x[1365] x[1366] x[1367] x[1368] x[1369] x[1370] x[1371] x[1372] x[1373] x[1374] x[1375] x[1376] x[1377] x[1378] x[1379] x[1380] x[1381] x[1382] x[1383] x[1384] x[1385] x[1386] x[1387] x[1388] x[1389] x[1390] x[1391] x[1392] x[1393] x[1394] x[1395] x[1396] x[1397] x[1398] x[1399] x[1400] x[1401] x[1402] x[1403] x[1404] x[1405] x[1406] x[1407] x[1408] x[1409] x[1410] x[1411] x[1412] x[1413] x[1414] x[1415] x[1416] x[1417] x[1418] x[1419] x[1420] x[1421] x[1422] x[1423] x[1424] x[1425] x[1426] x[1427] x[1428] x[1429] x[1430] x[1431] x[1432] x[1433] x[1434] x[1435] x[1436] x[1437] x[1438] x[1439] x[1440] x[1441] x[1442] x[1443] x[1444] x[1445] x[1446] x[1447] x[1448] x[1449] x[1450] x[1451] x[1452] x[1453] x[1454] x[1455] x[1456] x[1457] x[1458] x[1459] x[1460] x[1461] x[1462] x[1463] x[1464] x[1465] x[1466] x[1467] x[1468] x[1469] x[1470] x[1471] x[1472] x[1473] x[1474] x[1475] x[1476] x[1477] x[1478] x[1479] x[1480] x[1481] x[1482] x[1483] x[1484] x[1485] x[1486] x[1487] x[1488] x[1489] x[1490] x[1491] x[1492] x[1493] x[1494] x[1495] x[1496] x[1497] x[1498] x[1499] x[1500] x[1501] x[1502] x[1503] x[1504] x[1505] x[1506] x[1507] x[1508] x[1509] x[1510] x[1511] x[1512] x[1513] x[1514] x[1515] x[1516] x[1517] x[1518] x[1519] x[1520] x[1521] x[1522] x[1523] x[1524] x[1525] x[1526] x[1527] x[1528] x[1529] x[1530] x[1531] x[1532] x[1533] x[1534] x[1535] x[1536] x[1537] x[1538] x[1539] x[1540] x[1541] x[1542] x[1543] x[1544] x[1545] x[1546] x[1547] x[1548] x[1549] x[1550] x[1551] x[1552] x[1553] x[1554] x[1555] x[1556] x[1557] x[1558] x[1559] x[1560] x[1561] x[1562] x[1563] x[1564] x[1565] x[1566] x[1567] x[1568] x[1569] x[1570] x[1571] x[1572] x[1573] x[1574] x[1575] x[1576] x[1577] x[1578] x[1579] x[1580] x[1581] x[1582] x[1583] x[1584] x[1585] x[1586] x[1587] x[1588] x[1589] x[1590] x[1591] x[1592] x[1593] x[1594] x[1595] x[1596] x[1597] x[1598] x[1599] x[1600] x[1601] x[1602] x[1603] x[1604] x[1605] x[1606] x[1607] x[1608] x[1609] x[1610] x[1611] x[1612] x[1613] x[1614] x[1615] x[1616] x[1617] x[1618] x[1619] x[1620] x[1621] x[1622] x[1623] x[1624] x[1625] x[1626] x[1627] x[1628] x[1629] x[1630] x[1631] x[1632] x[1633] x[1634] x[1635] x[1636] x[1637] x[1638] x[1639] x[1640] x[1641] x[1642] x[1643] x[1644] x[1645] x[1646] x[1647] x[1648] x[1649] x[1650] x[1651] x[1652] x[1653] x[1654] x[1655] x[1656] x[1657] x[1658] x[1659] x[1660] x[1661] x[1662] x[1663] x[1664] x[1665] x[1666] x[1667] x[1668] x[1669] x[1670] x[1671] x[1672] x[1673] x[1674] x[1675] x[1676] x[1677] x[1678] x[1679] x[1680] x[1681] x[1682] x[1683] x[1684] x[1685] x[1686] x[1687] x[1688] x[1689] x[1690] x[1691] x[1692] x[1693] x[1694] x[1695] x[1696] x[1697] x[1698] x[1699] x[1700] x[1701] x[1702] x[1703] x[1704] x[1705] x[1706] x[1707] x[1708] x[1709] x[1710] x[1711] x[1712] x[1713] x[1714] x[1715] x[1716] x[1717] x[1718] x[1719] x[1720] x[1721] x[1722] x[1723] x[1724] x[1725] x[1726] x[1727] x[1728] x[1729] x[1730] x[1731] x[1732] x[1733] x[1734] x[1735] x[1736] x[1737] x[1738] x[1739] x[1740] x[1741] x[1742] x[1743] x[1744] x[1745] x[1746] x[1747] x[1748] x[1749] x[1750] x[1751] x[1752] x[1753] x[1754] x[1755] x[1756] x[1757] x[1758] x[1759] x[1760] x[1761] x[1762] x[1763] x[1764] x[1765] x[1766] x[1767] x[1768] x[1769] x[1770] x[1771] x[1772] x[1773] x[1774] x[1775] x[1776] x[1777] x[1778] x[1779] x[1780] x[1781] x[1782] x[1783] x[1784] x[1785] x[1786] x[1787] x[1788] x[1789] x[1790] x[1791] x[1792] x[1793] x[1794] x[1795] x[1796] x[1797] x[1798] x[1799] x[1800] x[1801] x[1802] x[1803] x[1804] x[1805] x[1806] x[1807] x[1808] x[1809] x[1810] x[1811] x[1812] x[1813] x[1814] x[1815] x[1816] x[1817] x[1818] x[1819] x[1820] x[1821] x[1822] x[1823] x[1824] x[1825] x[1826] x[1827] x[1828] x[1829] x[1830] x[1831] x[1832] x[1833] x[1834] x[1835] x[1836] x[1837] x[1838] x[1839] x[1840] x[1841] x[1842] x[1843] x[1844] x[1845] x[1846] x[1847] x[1848] x[1849] x[1850] x[1851] x[1852] x[1853] x[1854] x[1855] x[1856] x[1857] x[1858] x[1859] x[1860] x[1861] x[1862] x[1863] x[1864] x[1865] x[1866] x[1867] x[1868] x[1869] x[1870] x[1871] x[1872] x[1873] x[1874] x[1875] x[1876] x[1877] x[1878] x[1879] x[1880] x[1881] x[1882] x[1883] x[1884] x[1885] x[1886] x[1887] x[1888] x[1889] x[1890] x[1891] x[1892] x[1893] x[1894] x[1895] x[1896] x[1897] x[1898] x[1899] x[1900] x[1901] x[1902] x[1903] x[1904] x[1905] x[1906] x[1907] x[1908] x[1909] x[1910] x[1911] x[1912] x[1913] x[1914] x[1915] x[1916] x[1917] x[1918] x[1919] x[1920] x[1921] x[1922] x[1923] x[1924] x[1925] x[1926] x[1927] x[1928] x[1929] x[1930] x[1931] x[1932] x[1933] x[1934] x[1935] x[1936] x[1937] x[1938] x[1939] x[1940] x[1941] x[1942] x[1943] x[1944] x[1945] x[1946] x[1947] x[1948] x[1949] x[1950] x[1951] x[1952] x[1953] x[1954] x[1955] x[1956] x[1957] x[1958] x[1959] x[1960] x[1961] x[1962] x[1963] x[1964] x[1965] x[1966] x[1967] x[1968] x[1969] x[1970] x[1971] x[1972] x[1973] x[1974] x[1975] x[1976] x[1977] x[1978] x[1979] x[1980] x[1981] x[1982] x[1983] x[1984] x[1985] x[1986] x[1987] x[1988] x[1989] x[1990] x[1991] x[1992] x[1993] x[1994] x[1995] x[1996] x[1997] x[1998] x[1999] x[2000] x[2001] x[2002] x[2003] x[2004] x[2005] x[2006] x[2007] x[2008] x[2009] x[2010] x[2011] x[2012] x[2013] x[2014] x[2015] x[2016] x[2017] x[2018] x[2019] x[2020] x[2021] x[2022] x[2023] x[2024] x[2025] x[2026] x[2027] x[2028] x[2029] x[2030] x[2031] x[2032] x[2033] x[2034] x[2035] x[2036] x[2037] x[2038] x[2039] x[2040] x[2041] x[2042] x[2043] x[2044] x[2045] x[2046] x[2047] x[2048] x[2049] x[2050] x[2051] x[2052] x[2053] x[2054] x[2055] x[2056] x[2057] x[2058] x[2059] x[2060] x[2061] x[2062] x[2063] x[2064] x[2065] x[2066] x[2067] x[2068] x[2069] x[2070] x[2071] x[2072] x[2073] x[2074] x[2075] x[2076] x[2077] x[2078] x[2079] x[2080] x[2081] x[2082] x[2083] x[2084] x[2085] x[2086] x[2087] x[2088] x[2089] x[2090] x[2091] x[2092] x[2093] x[2094] x[2095] x[2096] x[2097] x[2098] x[2099] x[2100] x[2101] x[2102] x[2103] x[2104] x[2105] x[2106] x[2107] x[2108] x[2109] x[2110] x[2111] x[2112] x[2113] x[2114] x[2115] x[2116] x[2117] x[2118] x[2119] x[2120] x[2121] x[2122] x[2123] x[2124] x[2125] x[2126] x[2127] x[2128] x[2129] x[2130] x[2131] x[2132] x[2133] x[2134] x[2135] x[2136] x[2137] x[2138] x[2139] x[2140] x[2141] x[2142] x[2143] x[2144] x[2145] x[2146] x[2147] x[2148] x[2149] x[2150] x[2151] x[2152] x[2153] x[2154] x[2155] x[2156] x[2157] x[2158] x[2159] x[2160] x[2161] x[2162] x[2163] x[2164] x[2165] x[2166] x[2167] x[2168] x[2169] x[2170] x[2171] x[2172] x[2173] x[2174] x[2175] x[2176] x[2177] x[2178] x[2179] x[2180] x[2181] x[2182] x[2183] x[2184] x[2185] x[2186] x[2187] x[2188] x[2189] x[2190] x[2191] x[2192] x[2193] x[2194] x[2195] x[2196] x[2197] x[2198] x[2199] x[2200] x[2201] x[2202] x[2203] x[2204] x[2205] x[2206] x[2207] x[2208] x[2209] x[2210] x[2211] x[2212] x[2213] x[2214] x[2215] x[2216] x[2217] x[2218] x[2219] x[2220] x[2221] x[2222] x[2223] x[2224] x[2225] x[2226] x[2227] x[2228] x[2229] x[2230] x[2231] x[2232] x[2233] x[2234] x[2235] x[2236] x[2237] x[2238] x[2239] x[2240] x[2241] x[2242] x[2243] x[2244] x[2245] x[2246] x[2247] x[2248] x[2249] x[2250] x[2251] x[2252] x[2253] x[2254] x[2255] x[2256] x[2257] x[2258] x[2259] x[2260] x[2261] x[2262] x[2263] x[2264] x[2265] x[2266] x[2267] x[2268] x[2269] x[2270] x[2271] x[2272] x[2273] x[2274] x[2275] x[2276] x[2277] x[2278] x[2279] x[2280] x[2281] x[2282] x[2283] x[2284] x[2285] x[2286] x[2287] x[2288] x[2289] x[2290] x[2291] x[2292] x[2293] x[2294] x[2295] x[2296] x[2297] x[2298] x[2299] x[2300] x[2301] x[2302] x[2303] x[2304] x[2305] x[2306] x[2307] x[2308] x[2309] x[2310] x[2311] x[2312] x[2313] x[2314] x[2315] x[2316] x[2317] x[2318] x[2319] x[2320] x[2321] x[2322] x[2323] x[2324] x[2325] x[2326] x[2327] x[2328] x[2329] x[2330] x[2331] x[2332] x[2333] x[2334] x[2335] x[2336] x[2337] x[2338] x[2339] x[2340] x[2341] x[2342] x[2343] x[2344] x[2345] x[2346] x[2347] x[2348] x[2349] x[2350] x[2351] x[2352] x[2353] x[2354] x[2355] x[2356] x[2357] x[2358] x[2359] x[2360] x[2361] x[2362] x[2363] x[2364] x[2365] x[2366] x[2367]
2400.06/2073.11	v 	</list>
2400.06/2073.11	v 	<values>
2400.06/2073.11	v 		1300 1316 1292 1322 1310 1293 1325 1327 1321 1327 1288 1326 1291 1299 1324 1315 1311 1303 1320 1305 1318 1313 1298 1295 1301 1323 1295 1308 1312 1308 1319 1297 1311 1327 1319 1323 1325 1314 1300 1312 1314 1316 1327 1302 1320 1317 1303 1310 1318 1296 1314 1305 1304 1302 1324 1293 1318 1307 1326 1321 1312 1318 1324 1327 1324 1298 1313 1325 1293 1303 1301 1312 1295 1326 1302 1292 1292 1327 1300 1300 1303 1297 1308 1324 1325 1323 1319 1313 1326 1301 1299 1307 1314 1311 1288 1289 1306 1296 1307 1293 1298 1326 1294 1304 1305 1320 1308 1291 1320 1302 1293 1327 1321 1322 1309 1314 1316 1301 1313 1289 1295 1312 1323 1326 1308 1315 1301 1292 1318 1291 1323 1296 1304 1325 1321 1313 1295 1293 1305 1318 1298 1315 1314 1323 1325 1327 1318 1316 1326 1323 1327 1327 1318 1327 1317 1323 1294 1310 1297 1325 1327 1326 1307 1315 1314 1292 1300 1321 1301 1299 1325 1317 1293 1318 1317 1303 1326 1308 1321 1322 1325 1301 1320 1321 1317 1326 1313 1316 1311 1309 1305 1294 1304 1308 1324 1302 1292 1325 1306 1291 1320 1327 1303 1301 1307 1322 1313 1327 1319 1326 1312 1317 1324 1316 1294 1307 1322 1326 1314 1321 1323 1322 1323 1302 1323 1313 1305 1312 1304 1305 1298 1313 1320 1301 1316 1315 1326 1325 1308 1311 1315 1316 1298 1309 1291 1295 1312 1297 1308 1310 1320 1299 1309 1321 1311 1306 1310 1309 1323 1308 1292 1302 1315 1309 1318 1313 1299 1300 1306 1312 1321 1314 1300 1319 1321 1312 1314 1317 1301 1304 1326 1299 1320 1310 1318 1313 1306 1315 1326 1298 1316 1313 1317 1296 1311 1306 1290 1321 1312 1322 1317 1326 1301 1326 1321 1324 1322 1327 1323 1308 1292 1304 1326 1321 1326 1312 1326 1326 1317 1318 1315 1323 1291 1323 1302 1316 1308 1318 1316 1315 1311 1298 1325 1303 1313 1320 1297 1299 1326 1326 1314 1301 1324 1304 1319 1306 1288 1286 1305 1300 1307 1327 1290 1309 1309 1293 1300 1327 1321 1320 1299 1316 1326 1306 1315 1319 1318 1324 1323 1327 1314 1314 1322 1323 1321 1294 1296 1321 1317 1320 1321 1308 1304 1296 1314 1318 1326 1302 1314 1308 1312 1307 1327 1303 1321 1313 1295 1311 1319 1316 1322 1300 1313 1309 1320 1322 1311 1326 1327 1323 1309 1323 1322 1314 1321 1319 1321 1324 1315 1325 1326 1312 1315 1327 1325 1320 1324 1321 1327 1319 1299 1325 1327 1322 1326 1323 1325 1326 1324 1322 1326 1325 1318 1326 1327 1322 1321 1320 1319 1323 1326 1312 1324 1309 1308 1315 1327 1311 1315 1324 1297 1319 1317 1324 1318 1297 1314 1320 1310 1282 1304 1306 1319 1325 1319 1289 1322 1327 1325 1313 1322 1298 1324 1326 1323 1312 1311 1306 1295 1323 1290 1300 1292 1303 1307 1319 1322 1319 1324 1327 1318 1327 1326 1326 1314 1322 1318 1326 1320 1324 1316 1327 1288 1326 1323 1324 1287 1312 1306 1289 1323 1293 1327 1326 1279 1327 1311 1287 1309 1289 1327 1293 1317 1292 1301 1321 1318 1313 1290 1304 1320 1317 1322 1291 1292 1289 1310 1325 1297 1292 1326 1296 1311 1320 1300 1311 1301 1323 1326 1309 1319 1321 1320 1313 1288 1299 1312 1318 1307 1304 1305 1299 1302 1317 1294 1326 1322 1323 1316 1293 1303 1308 1310 1298 1309 1291 1298 1316 1320 1311 1290 1296 1297 1319 1326 1298 1295 1291 1322 1314 1290 1289 1303 1317 1300 1313 1305 1313 1295 1299 1306 1310 1316 1315 1321 1307 1316 1325 1323 1314 1314 1323 1320 1323 1316 1302 1310 1327 1314 1315 1321 1326 1327 1322 1314 1304 1298 1310 1312 1327 1319 1320 1309 1325 1309 1317 1326 1307 1281 1295 1297 1296 1306 1316 1286 1327 1292 1327 1320 1306 1302 1327 1323 1322 1318 1323 1313 1324 1293 1317 1311 1319 1323 1322 1318 1295 1298 1308 1302 1316 1323 1319 1297 1318 1326 1306 1304 1305 1306 1308 1306 1311 1307 1316 1318 1322 1315 1315 1325 1304 1321 1321 1327 1327 1327 1316 1304 1300 1308 1297 1299 1316 1291 1327 1314 1304 1326 1316 1322 1322 1325 1305 1318 1326 1309 1311 1327 1322 1323 1317 1309 1314 1325 1296 1297 1327 1326 1323 1320 1302 1313 1327 1295 1323 1325 1326 1324 1315 1321 1314 1313 1315 1294 1324 1327 1327 1327 1293 1326 1305 1302 1325 1322 1307 1299 1299 1288 1309 1311 1312 1319 1321 1307 1325 1320 1291 1317 1318 1293 1291 1324 1313 1311 1290 1320 1301 1287 1284 1303 1306 1303 1286 1300 1304 1297 1290 1313 1307 1289 1308 1310 1315 1285 1295 1319 1322 1298 1304 1285 1305 1297 1318 1306 1317 1314 1299 1296 1303 1313 1294 1304 1304 1307 1313 1315 1323 1324 1302 1326 1325 1327 1292 1311 1310 1291 1318 1309 1325 1326 1319 1304 1305 1311 1317 1320 1319 1312 1324 1325 1307 1322 1322 1284 1294 1304 1299 1325 1296 1302 1315 1321 1315 1312 1303 1322 1322 1291 1280 1309 1317 1313 1300 1316 1321 1306 1320 1300 1318 1307 1303 1324 1323 1317 1316 1300 1318 1327 1300 1299 1318 1299 1311 1286 1316 1283 1289 1290 1312 1284 1304 1285 1308 1279 1302 1277 1295 1282 1309 1323 1319 1316 1315 1284 1293 1326 1295 1304 1310 1305 1320 1296 1327 1318 1296 1314 1321 1315 1312 1306 1283 1313 1314 1294 1310 1294 1311 1322 1318 1327 1313 1315 1302 1327 1308 1327 1306 1289 1305 1312 1300 1307 1288 1323 1297 1296 1298 1281 1310 1315 1318 1286 1317 1290 1292 1309 1287 1299 1292 1302 1300 1291 1305 1319 1307 1294 1303 1315 1321 1310 1321 1323 1310 1298 1304 1312 1320 1317 1308 1319 1298 1322 1309 1307 1300 1305 1295 1315 1308 1302 1327 1290 1327 1299 1317 1324 1311 1325 1316 1285 1326 1305 1302 1313 1322 1321 1299 1305 1315 1308 1310 1324 1324 1315 1325 1323 1317 1325 1314 1300 1303 1285 1318 1319 1318 1323 1295 1319 1325 1317 1306 1307 1327 1310 1315 1325 1302 1286 1310 1289 1294 1312 1320 1322 1321 1314 1316 1305 1326 1298 1297 1307 1303 1300 1311 1310 1306 1324 1322 1317 1322 1316 1296 1317 1308 1297 1320 1320 1305 1320 1322 1298 1307 1309 1294 1296 1302 1313 1316 1300 1325 1304 1319 1299 1308 1286 1321 1293 1324 1313 1325 1324 1310 1306 1296 1283 1284 1326 1297 1322 1326 1320 1318 1305 1283 1311 1303 1313 1294 1303 1324 1316 1306 1321 1292 1282 1308 1299 1311 1316 1320 1323 1312 1295 1316 1301 1287 1310 1290 1311 1305 1309 1325 1290 1299 1327 1304 1316 1319 1312 1300 1318 1305 1314 1318 1325 1303 1317 1315 1303 1297 1296 1308 1327 1290 1312 1322 1317 1313 1295 1322 1318 1294 1316 1305 1310 1314 1320 1314 1315 1314 1280 1315 1309 1308 1290 1326 1321 1295 1281 1318 1300 1307 1293 1296 1320 1304 1322 1309 1299 1318 1289 1281 1320 1312 1304 1296 1295 1298 1318 1312 1326 1315 1301 1318 1326 1327 1301 1300 1324 1323 1315 1302 1297 1287 1322 1296 1325 1312 1302 1325 1320 1317 1305 1303 1308 1301 1281 1307 1295 1294 1289 1302 1291 1309 1327 1316 1284 1319 1323 1323 1295 1286 1315 1319 1301 1317 1312 1325 1303 1313 1291 1308 1315 1311 1304 1308 1309 1327 1288 1320 1306 1321 1314 1324 1326 1304 1289 1306 1297 1318 1311 1308 1278 1290 1306 1294 1295 1313 1317 1303 1320 1291 1318 1291 1295 1291 1311 1294 1282 1305 1292 1288 1287 1289 1288 1320 1314 1321 1300 1316 1322 1324 1321 1317 1324 1284 1321 1302 1319 1319 1322 1326 1323 1324 1325 1306 1318 1317 1286 1275 1276 1314 1282 1310 1321 1303 1327 1314 1288 1295 1303 1315 1288 1310 1316 1296 1283 1309 1303 1290 1325 1288 1287 1313 1305 1327 1319 1324 1314 1319 1307 1323 1324 1277 1307 1319 1312 1293 1312 1301 1323 1308 1311 1321 1319 1321 1311 1314 1291 1319 1310 1321 1302 1316 1296 1294 1289 1293 1317 1325 1318 1325 1321 1313 1291 1298 1326 1326 1324 1310 1283 1294 1314 1322 1303 1287 1318 1327 1321 1316 1293 1303 1311 1316 1307 1283 1325 1290 1295 1298 1308 1327 1323 1303 1304 1319 1286 1324 1323 1305 1295 1311 1286 1326 1303 1314 1318 1327 1310 1306 1304 1309 1325 1324 1320 1297 1280 1306 1327 1296 1326 1321 1320 1321 1307 1327 1305 1286 1292 1326 1301 1319 1293 1277 1324 1314 1325 1282 1308 1285 1276 1287 1281 1282 1312 1326 1278 1325 1297 1320 1302 1289 1295 1284 1323 1281 1300 1288 1280 1283 1327 1309 1307 1293 1290 1279 1290 1315 1280 1302 1316 1303 1310 1297 1326 1305 1299 1316 1309 1313 1296 1294 1306 1286 1324 1277 1297 1317 1320 1280 1283 1312 1315 1326 1305 1314 1312 1325 1321 1315 1309 1319 1322 1325 1278 1293 1292 1297 1325 1291 1292 1321 1319 1292 1299 1305 1325 1297 1309 1312 1287 1313 1309 1300 1324 1300 1280 1313 1286 1318 1314 1323 1304 1308 1291 1318 1317 1312 1301 1303 1319 1280 1276 1288 1316 1287 1293 1314 1323 1297 1308 1302 1322 1286 1301 1304 1316 1314 1292 1306 1327 1312 1317 1305 1319 1308 1292 1299 1301 1302 1311 1279 1277 1274 1322 1310 1324 1293 1280 1323 1278 1276 1326 1282 1289 1319 1327 1322 1321 1305 1311 1322 1291 1313 1322 1314 1286 1288 1299 1288 1305 1320 1288 1312 1289 1314 1277 1301 1284 1322 1290 1319 1326 1326 1294 1306 1271 1300 1290 1295 1316 1291 1302 1281 1297 1324 1303 1292 1316 1292 1321 1303 1320 1292 1314 1302 1311 1302 1288 1298 1275 1306 1304 1290 1299 1303 1300 1321 1308 1296 1314 1315 1279 1290 1327 1313 1289 1293 1318 1327 1316 1311 1294 1302 1306 1310 1309 1317 1307 1302 1318 1296 1325 1322 1321 1318 1287 1300 1318 1326 1301 1315 1295 1307 1323 1318 1308 1304 1282 1279 1295 1321 1311 1313 1316 1313 1298 1287 1321 1281 1292 1320 1298 1285 1313 1308 1294 1305 1287 1288 1297 1318 1326 1283 1313 1325 1317 1310 1324 1312 1283 1297 1296 1297 1288 1321 1322 1312 1286 1286 1312 1310 1326 1316 1309 1297 1305 1287 1307 1285 1323 1298 1306 1326 1321 1286 1293 1327 1326 1315 1298 1272 1326 1324 1306 1315 1305 1299 1314 1323 1298 1282 1285 1274 1327 1299 1317 1294 1300 1288 1301 1316 1270 1294 1324 1289 1279 1290 1327 1289 1276 1293 1324 1324 1325 1290 1278 1312 1306 1312 1300 1320 1312 1285 1308 1323 1306 1304 1315 1325 1322 1314 1305 1270 1318 1284 1304 1322 1284 1323 1320 1325 1313 1283 1310 1275 1280 1327 1293 1318 1294 1297 1300 1317 1298 1300 1290 1283 1302 1298 1326 1289 1288 1310 1324 1301 1318 1321 1322 1298 1286 1304 1309 1313 1286 1311 1291 1271 1310 1322 1325 1284 1286 1303 1321 1308 1273 1277 1316 1308 1279 1287 1296 1279 1292 1313 1310 1293 1309 1280 1279 1318 1319 1271 1309 1300 1303 1305 1303 1327 1303 1293 1280 1285 1291 1299 1324 1291 1303 1322 1317 1319 1315 1315 1285 1313 1320 1285 1305 1304 1302 1316 1312 1296 1305 1282 1317 1307 1301 1279 1327 1288 1322 1317 1282 1307 1303 1273 1285 1310 1272 1292 1310 1303 1324 1290 1286 1288 1274 1293 1282 1299 1270 1307 1323 1296 1304 1285 1277 1327 1326 1291 1303 1307 1288 1288 1297 1299 1308 1313 1298 1314 1326 1311 1282 1293 1301 1326 1304 1320 1276 1294 1317 1317 1289 1297 1287 1304 1274 1314 1304 1293 1318 1323 1325 1314 1285 1297 1315 1310 1308 1308 1290 1298 1296 1320 1311 1318 1313 1312 1324 1292 1305 1292 1287 1295 1309 1311 1316 1286 1290 1322 1286 1297 1282 1289 1273 1326 1298 1305 1314 1283 1316 1304 1301 1325 1325 1326 1295 1307 1319 1316 1279 1281 1310 1304 1317 1293 1305 1302 1311 1299 1284 1309 1290 1310 1308 1326 1313 1304 1282 1278 1295 1321 1281 1285 1273 1304 1287 1294 1299 1304 1322 1303 1299 1314 1277 1290 1287 1300 1320 1306 1296 1281 1321 1307 1281 1295 1285 1325 1322 1289 1295 1287 1290 1295 1281 1306 1272 1294 1294 1284 1288 1283 1312 1317 1286 1318 1301 1319 1314 1287 1289 1320 1294 1319 1302 1284 1278 1307 1317 1316 1326 1309 1303 1327 1277 1319 1302 1322 1275 1280 1323 1302 1320 1301 1310 1322 1282 1302 1325 1310 1303 1286 1316 1311 1300 1319 1324 1327 1311 1276 1297 1283 1279 1298 1294 1297 1299 1306 1322 1321 1320 1321 1281 1309 1286 1283 1283 1310 1313 1315 1276 1284 1298 1312 1299 1299 1297 1306 1280 1306 1317 1290 1312 1297 1298 1299 1315 1279 1298 1307 1320 1327 1292 1295 1285 1288 1303 1300 1295 1315 1293 1298 1296 1311 1317 1278 1324 1313 1289 1323 1313 1279 1320 1310 1285 1271 1325 1311 1314 1323 1302 1281 1292 1288 1312 1272 1323 1295 1292 1312 1301 1291 1305 1293 1285 1294 1284 1283 1300 1291 1325 1324 1292 1309 1284 1294 1299 1291 1290 1294 1295 1278 1304 1289 1312 1305 1321 1293 1300 1296 1269 1268 1288 1305 1270 1283 1302 1316 1296 1291 1301 1302 1311 1301 1308 1278 1284 1301 1282 1309 1323 1278 1317 1309 1289 1284 1296 1293 1275 1307 1293 1312 1301 1292 1305 1320 1307 1297 1288 1287 1319 1281 1307 1309 1298 1319 1307 1281 1301 1311 1293 1285 1318 1301 1299 1299 1294 1317 1300 1324 1306 1296 1298 1306 1289 1294 1295 1318 1289 1282 1320 1283 1292 1314 1296 1287 1280 1297 1323 1295 1286 1284 1279 1315 1308 1291 1324 1300 1323 1308 1298 1319 1306 1313 1293 1315 
2400.06/2073.11	v 	</values>
2400.06/2073.11	v </instantiation>

Verifier Data 

OK	1327

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-4245177-1500697911/watcher-4245177-1500697911 -o /tmp/evaluation-result-4245177-1500697911/solver-4245177-1500697911 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node120-1500683657-8762 --watchdog 2560 java -Xmx10000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed 2076753538 --timelimit 2400 --memlimit 15500 --nbcore 8 HOME/instance-4245177-1500697911.xml 

pid=12248
running on 8 cores: 1,3,5,7,9,11,13,15

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


[startup+0 s]
/proc/loadavg: 2.01 1.76 1.60 3/261 12251
/proc/meminfo: memFree=28157652/32770624 swapFree=5804/272336
[pid=12251] ppid=12248 vsize=10634536 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12251/stat : 12251 (java) S 12248 12251 8730 0 -1 1077944320 2036 0 0 0 0 0 0 0 20 0 2 0 5059365 10889764864 1790 33554432000 4194304 4196468 140725126002848 140725125985392 140589278740215 0 0 0 16784584 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 32501760 140725126009993 140725126010180 140725126010180 140725126012879 0
/proc/12251/statm: 2658634 1790 1188 1 0 2647545 0
[pid=12251/tid=12252] ppid=12248 vsize=10634536 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12251/task/12252/stat : 12252 (java) R 12248 12251 8730 0 -1 4202560 817 0 0 0 0 0 0 0 20 0 2 0 5059366 10889764864 1856 33554432000 4194304 4196468 140725126002848 140589282982304 140589271029664 0 4 0 16784584 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 32501760 140725126009993 140725126010180 140725126010180 140725126012879 0

[startup+0.10006 s]
/proc/loadavg: 2.01 1.76 1.60 3/261 12251
/proc/meminfo: memFree=28157652/32770624 swapFree=5804/272336
[pid=12251] ppid=12248 vsize=13263912 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/12251/stat : 12251 (java) S 12248 12251 8730 0 -1 1077944320 6801 0 0 0 9 1 0 0 20 0 20 0 5059365 13582245888 7057 33554432000 4194304 4196468 140725126002848 140725125985392 140589278740215 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 32501760 140725126009993 140725126010180 140725126010180 140725126012879 0
/proc/12251/statm: 3315978 7057 3390 1 0 3303698 0
[pid=12251/tid=12252] ppid=12248 vsize=13263912 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/12251/task/12252/stat : 12252 (java) R 12248 12251 8730 0 -1 4202560 4790 0 0 0 7 1 0 0 20 0 20 0 5059366 13582245888 7057 33554432000 4194304 4196468 140725126002848 140589282952384 140589261927024 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 32501760 140725126009993 140725126010180 140725126010180 140725126012879 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13263912

[startup+0.20042 s]
/proc/loadavg: 2.01 1.76 1.60 3/261 12251
/proc/meminfo: memFree=28157652/32770624 swapFree=5804/272336
[pid=12251] ppid=12248 vsize=13263912 CPUtime=0.27 cores=1,3,5,7,9,11,13,15
/proc/12251/stat : 12251 (java) S 12248 12251 8730 0 -1 1077944320 9265 0 0 0 24 3 0 0 20 0 20 0 5059365 13582245888 9619 33554432000 4194304 4196468 140725126002848 140725125985392 140589278740215 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 32501760 140725126009993 140725126010180 140725126010180 140725126012879 0
/proc/12251/statm: 3315978 9619 3559 1 0 3303698 0
[pid=12251/tid=12252] ppid=12248 vsize=13263912 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/12251/task/12252/stat : 12252 (java) R 12248 12251 8730 0 -1 4202560 6753 0 0 0 16 2 0 0 20 0 20 0 5059366 13582245888 9619 33554432000 4194304 4196468 140725126002848 140589282952944 140589262820702 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 32501760 140725126009993 140725126010180 140725126010180 140725126012879 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 13263912

[startup+0.3004 s]
/proc/loadavg: 2.01 1.76 1.60 3/261 12251
/proc/meminfo: memFree=28157652/32770624 swapFree=5804/272336
[pid=12251] ppid=12248 vsize=13263932 CPUtime=0.46 cores=1,3,5,7,9,11,13,15
/proc/12251/stat : 12251 (java) S 12248 12251 8730 0 -1 1077944320 10351 0 0 0 43 3 0 0 20 0 20 0 5059365 13582266368 12117 33554432000 4194304 4196468 140725126002848 140725125985392 140589278740215 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 32501760 140725126009993 140725126010180 140725126010180 140725126012879 0
/proc/12251/statm: 3315983 12117 3692 1 0 3303698 0
[pid=12251/tid=12252] ppid=12248 vsize=13263932 CPUtime=0.27 cores=1,3,5,7,9,11,13,15
/proc/12251/task/12252/stat : 12252 (java) R 12248 12251 8730 0 -1 4202560 7316 0 0 0 25 2 0 0 20 0 20 0 5059366 13582266368 12117 33554432000 4194304 4196468 140725126002848 140589282962624 140589264420381 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 32501760 140725126009993 140725126010180 140725126010180 140725126012879 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 13263932

[startup+0.700211 s]
/proc/loadavg: 2.01 1.76 1.60 3/261 12251
/proc/meminfo: memFree=28157652/32770624 swapFree=5804/272336
[pid=12251] ppid=12248 vsize=13265980 CPUtime=1.51 cores=1,3,5,7,9,11,13,15
/proc/12251/stat : 12251 (java) S 12248 12251 8730 0 -1 1077944320 13326 0 0 0 145 6 0 0 20 0 20 0 5059365 13584363520 34580 33554432000 4194304 4196468 140725126002848 140725125985392 140589278740215 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 32501760 140725126009993 140725126010180 140725126010180 140725126012879 0
/proc/12251/statm: 3316495 34580 3753 1 0 3304210 0
[pid=12251/tid=12252] ppid=12248 vsize=13265980 CPUtime=0.67 cores=1,3,5,7,9,11,13,15
/proc/12251/task/12252/stat : 12252 (java) R 12248 12251 8730 0 -1 4202560 8032 0 0 0 63 4 0 0 20 0 20 0 5059366 13584363520 34580 33554432000 4194304 4196468 140725126002848 140589282975728 140589278752150 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 32501760 140725126009993 140725126010180 140725126010180 140725126012879 0
Current children cumulated CPU time (s) 1.51
Current children cumulated vsize (KiB) 13265980

[startup+1.5008 s]
/proc/loadavg: 2.01 1.76 1.60 6/281 12271
/proc/meminfo: memFree=27898096/32770624 swapFree=5804/272828
[pid=12251] ppid=12248 vsize=13265980 CPUtime=4.58 cores=1,3,5,7,9,11,13,15
/proc/12251/stat : 12251 (java) S 12248 12251 8730 0 -1 1077944320 19788 0 0 0 407 51 0 0 20 0 20 0 5059365 13584363520 99911 33554432000 4194304 4196468 140725126002848 140725125985392 140589278740215 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 32501760 140725126009993 140725126010180 140725126010180 140725126012879 0
/proc/12251/statm: 3316495 99911 3804 1 0 3304210 0
[pid=12251/tid=12252] ppid=12248 vsize=13265980 CPUtime=1.35 cores=1,3,5,7,9,11,13,15
/proc/12251/task/12252/stat : 12252 (java) R 12248 12251 8730 0 -1 4202560 8194 0 0 0 128 7 0 0 20 0 20 0 5059366 13584363520 99911 33554432000 4194304 4196468 140725126002848 140589282973536 140588918396682 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32501760 140725126009993 140725126010180 140725126010180 140725126012879 0
[pid=12251/tid=12254] ppid=12248 vsize=13265980 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/12251/task/12254/stat : 12254 (java) S 12248 12251 8730 0 -1 1077944384 70 0 0 0 3 5 0 0 20 0 20 0 5059367 13584363520 99911 33554432000 4194304 4196468 140725126002848 140589246298896 140589278750421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32501760 140725126009993 140725126010180 140725126010180 140725126012879 0
[pid=12251/tid=12255] ppid=12248 vsize=13265980 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/12251/task/12255/stat : 12255 (java) S 12248 12251 8730 0 -1 1077944384 44 0 0 0 5 4 0 0 20 0 20 0 5059367 13584363520 99911 33554432000 4194304 4196468 140725126002848 140588877024144 140589278750421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32501760 140725126009993 140725126010180 140725126010180 140725126012879 0
[pid=12251/tid=12256] ppid=12248 vsize=13265980 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/12251/task/12256/stat : 12256 (java) S 12248 12251 8730 0 -1 1077944384 53 0 0 0 6 5 0 0 20 0 20 0 5059367 13584363520 99911 33554432000 4194304 4196468 140725126002848 140588875971600 140589278750421 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 32501760 140725126009993 140725126010180 140725126010180 140725126012879 0
[pid=12251/tid=12257] ppid=12248 vsize=13265980 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/12251/task/12257/stat : 12257 (java) S 12248 12251 8730 0 -1 1077944384 56 0 0 0 5 5 0 0 20 0 20 0 5059367 13584363520 99911 33554432000 4194304 4196468 140725126002848 140588874919056 140589278750421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32501760 140725126009993 140725126010180 140725126010180 140725126012879 0
[pid=12251/tid=12258] ppid=12248 vsize=13265980 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/12251/task/12258/stat : 12258 (java) S 12248 12251 8730 0 -1 1077944384 42 0 0 0 5 5 0 0 20 0 20 0 5059367 13584363520 99911 33554432000 4194304 4196468 140725126002848 140588873865488 140589278750421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32501760 140725126009993 140725126010180 140725126010180 140725126012879 0
[pid=12251/tid=12259] ppid=12248 vsize=13265980 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/12251/task/12259/stat : 12259 (java) S 12248 12251 8730 0 -1 1077944384 52 0 0 0 7 4 0 0 20 0 20 0 5059367 13584363520 99911 33554432000 4194304 4196468 140725126002848 140588872812944 140589278750421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32501760 140725126009993 140725126010180 140725126010180 140725126012879 0
[pid=12251/tid=12260] ppid=12248 vsize=13265980 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/12251/task/12260/stat : 12260 (java) S 12248 12251 8730 0 -1 1077944384 58 0 0 0 4 6 0 0 20 0 20 0 5059367 13584363520 99911 33554432000 4194304 4196468 140725126002848 140588871760400 140589278750421 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 32501760 140725126009993 140725126010180 140725126010180 140725126012879 0
[pid=12251/tid=12261] ppid=12248 vsize=13265980 CPUtime=0.06 cores=1,3,5,7,9,11,13,15
/proc/12251/task/12261/stat : 12261 (java) S 12248 12251 8730 0 -1 1077944384 31 0 0 0 3 3 0 0 20 0 20 0 5059367 13584363520 99911 33554432000 4194304 4196468 140725126002848 140588870707856 140589278750421 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 32501760 140725126009993 140725126010180 140725126010180 140725126012879 0
[pid=12251/tid=12262] ppid=12248 vsize=13265980 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12251/task/12262/stat : 12262 (java) S 12248 12251 8730 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 20 0 5059368 13584363520 99911 33554432000 4194304 4196468 140725126002848 140588608289264 140589278751362 0 0 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 32501760 140725126009993 140725126010180 140725126010180 140725126012879 0
[pid=12251/tid=12263] ppid=12248 vsize=13265980 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12251/task/12263/stat : 12263 (java) S 12248 12251 8730 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 5059369 13584363520 99911 33554432000 4194304 4196468 140725126002848 140588607235552 140589278750421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32501760 140725126009993 140725126010180 140725126010180 140725126012879 0
[pid=12251/tid=12264] ppid=12248 vsize=13265980 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12251/task/12264/stat : 12264 (java) S 12248 12251 8730 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 20 0 5059369 13584363520 99911 33554432000 4194304 4196468 140725126002848 140588606182912 140589278750421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32501760 140725126009993 140725126010180 140725126010180 140725126012879 0
[pid=12251/tid=12265] ppid=12248 vsize=13265980 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12251/task/12265/stat : 12265 (java) S 12248 12251 8730 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5059372 13584363520 99911 33554432000 4194304 4196468 140725126002848 140588605131472 140589278758811 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 32501760 140725126009993 140725126010180 140725126010180 140725126012879 0
[pid=12251/tid=12266] ppid=12248 vsize=13265980 CPUtime=0.64 cores=1,3,5,7,9,11,13,15
/proc/12251/task/12266/stat : 12266 (java) R 12248 12251 8730 0 -1 4202560 2364 0 0 0 64 0 0 0 20 0 20 0 5059372 13584363520 99911 33554432000 4194304 4196468 140725126002848 140588604078360 140589263866570 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 32501760 140725126009993 140725126010180 140725126010180 140725126012879 0
[pid=12251/tid=12267] ppid=12248 vsize=13265980 CPUtime=0.71 cores=1,3,5,7,9,11,13,15
/proc/12251/task/12267/stat : 12267 (java) R 12248 12251 8730 0 -1 4202560 2774 0 0 0 71 0 0 0 20 0 20 0 5059372 13584363520 99911 33554432000 4194304 4196468 140725126002848 140588603013760 140589263650326 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 32501760 140725126009993 140725126010180 140725126010180 140725126012879 0
[pid=12251/tid=12268] ppid=12248 vsize=13265980 CPUtime=0.65 cores=1,3,5,7,9,11,13,15
/proc/12251/task/12268/stat : 12268 (java) R 12248 12251 8730 0 -1 4202560 3349 0 0 0 65 0 0 0 20 0 20 0 5059372 13584363520 99911 33554432000 4194304 4196468 140725126002848 140588601972976 140589256906696 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 32501760 140725126009993 140725126010180 140725126010180 140725126012879 0
[pid=12251/tid=12269] ppid=12248 vsize=13265980 CPUtime=0.34 cores=1,3,5,7,9,11,13,15
/proc/12251/task/12269/stat : 12269 (java) R 12248 12251 8730 0 -1 4202560 1244 0 0 0 34 0 0 0 20 0 20 0 5059372 13584363520 99911 33554432000 4194304 4196468 140725126002848 140588600920432 140589257678534 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 32501760 140725126009993 140725126010180 140725126010180 140725126012879 0
[pid=12251/tid=12270] ppid=12248 vsize=13265980 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12251/task/12270/stat : 12270 (java) S 12248 12251 8730 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 5059372 13584363520 99911 33554432000 4194304 4196468 140725126002848 140588599868128 140589278750421 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 32501760 140725126009993 140725126010180 140725126010180 140725126012879 0
[pid=12251/tid=12271] ppid=12248 vsize=13265980 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12251/task/12271/stat : 12271 (java) S 12248 12251 8730 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5059372 13584363520 99911 33554432000 4194304 4196468 140725126002848 140588598815664 140589278751362 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 32501760 140725126009993 140725126010180 140725126010180 140725126012879 0
Current children cumulated CPU time (s) 4.58
Current children cumulated vsize (KiB) 13265980

[startup+3.10298 s]
/proc/loadavg: 2.01 1.77 1.61 3/281 12271
/proc/meminfo: memFree=27692412/32770624 swapFree=5804/272796
[pid=12251] ppid=12248 vsize=13268028 CPUtime=9.79 cores=1,3,5,7,9,11,13,15
/proc/12251/stat : 12251 (java) S 12248 12251 8730 0 -1 1077944320 25776 0 0 0 823 156 0 0 20 0 20 0 5059365 13586460672 216311 33554432000 4194304 4196468 140725126002848 140725125985392 140589278740215 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 32501760 140725126009993 140725126010180 140725126010180 140725126012879 0
/proc/12251/statm: 3317007 216311 3827 1 0 3304722 0
[pid=12251/tid=12252] ppid=12248 vsize=13268028 CPUtime=2.65 cores=1,3,5,7,9,11,13,15
/proc/12251/task/12252/stat : 12252 (java) R 12248 12251 8730 0 -1 4202560 10004 0 0 0 254 11 0 0 20 0 20 0 5059366 13586460672 216311 33554432000 4194304 4196468 140725126002848 140589282971032 140589278752150 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 32501760 140725126009993 140725126010180 140725126010180 140725126012879 0
[pid=12251/tid=12254] ppid=12248 vsize=13268028 CPUtime=0.34 cores=1,3,5,7,9,11,13,15
/proc/12251/task/12254/stat : 12254 (java) S 12248 12251 8730 0 -1 1077944384 225 0 0 0 16 18 0 0 20 0 20 0 5059367 13586460672 216311 33554432000 4194304 4196468 140725126002848 140589246298896 140589278750421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32501760 140725126009993 140725126010180 140725126010180 140725126012879 0
[pid=12251/tid=12255] ppid=12248 vsize=13268028 CPUtime=0.35 cores=1,3,5,7,9,11,13,15
/proc/12251/task/12255/stat : 12255 (java) S 12248 12251 8730 0 -1 1077944384 210 0 0 0 19 16 0 0 20 0 20 0 5059367 13586460672 216311 33554432000 4194304 4196468 140725126002848 140588877024144 140589278750421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32501760 140725126009993 140725126010180 140725126010180 140725126012879 0
[pid=12251/tid=12256] ppid=12248 vsize=13268028 CPUtime=0.37 cores=1,3,5,7,9,11,13,15
/proc/12251/task/12256/stat : 12256 (java) S 12248 12251 8730 0 -1 1077944384 217 0 0 0 20 17 0 0 20 0 20 0 5059367 13586460672 216311 33554432000 4194304 4196468 140725126002848 140588875971600 140589278750421 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 32501760 140725126009993 140725126010180 140725126010180 140725126012879 0
[pid=12251/tid=12257] ppid=12248 vsize=13268028 CPUtime=0.36 cores=1,3,5,7,9,11,13,15
/proc/12251/task/12257/stat : 12257 (java) S 12248 12251 8730 0 -1 1077944384 237 0 0 0 20 16 0 0 20 0 20 0 5059367 13586460672 216311 33554432000 4194304 4196468 140725126002848 140588874919056 140589278750421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32501760 140725126009993 140725126010180 140725126010180 140725126012879 0
[pid=12251/tid=12258] ppid=12248 vsize=13268028 CPUtime=0.37 cores=1,3,5,7,9,11,13,15
/proc/12251/task/12258/stat : 12258 (java) S 12248 12251 8730 0 -1 1077944384 218 0 0 0 19 18 0 0 20 0 20 0 5059367 13586460672 216311 33554432000 4194304 4196468 140725126002848 140588873865488 140589278750421 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 32501760 140725126009993 140725126010180 140725126010180 140725126012879 0
[pid=12251/tid=12259] ppid=12248 vsize=13268028 CPUtime=0.37 cores=1,3,5,7,9,11,13,15
/proc/12251/task/12259/stat : 12259 (java) S 12248 12251 8730 0 -1 1077944384 236 0 0 0 21 16 0 0 20 0 20 0 5059367 13586460672 216311 33554432000 4194304 4196468 140725126002848 140588872812944 140589278750421 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 32501760 140725126009993 140725126010180 140725126010180 140725126012879 0
[pid=12251/tid=12260] ppid=12248 vsize=13268028 CPUtime=0.37 cores=1,3,5,7,9,11,13,15
/proc/12251/task/12260/stat : 12260 (java) S 12248 12251 8730 0 -1 1077944384 227 0 0 0 19 18 0 0 20 0 20 0 5059367 13586460672 216311 33554432000 4194304 4196468 140725126002848 140588871760400 140589278750421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32501760 140725126009993 140725126010180 140725126010180 140725126012879 0
[pid=12251/tid=12261] ppid=12248 vsize=13268028 CPUtime=0.33 cores=1,3,5,7,9,11,13,15
/proc/12251/task/12261/stat : 12261 (java) S 12248 12251 8730 0 -1 1077944384 213 0 0 0 17 16 0 0 20 0 20 0 5059367 13586460672 216311 33554432000 4194304 4196468 140725126002848 140588870707856 140589278750421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32501760 140725126009993 140725126010180 140725126010180 140725126012879 0
[pid=12251/tid=12262] ppid=12248 vsize=13268028 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/12251/task/12262/stat : 12262 (java) S 12248 12251 8730 0 -1 1077944384 550 0 0 0 1 0 0 0 20 0 20 0 5059368 13586460672 216311 33554432000 4194304 4196468 140725126002848 140588608289264 140589278751362 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32501760 140725126009993 140725126010180 140725126010180 140725126012879 0
[pid=12251/tid=12263] ppid=12248 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12251/task/12263/stat : 12263 (java) S 12248 12251 8730 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 5059369 13586460672 216311 33554432000 4194304 4196468 140725126002848 140588607235552 140589278750421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32501760 140725126009993 140725126010180 140725126010180 140725126012879 0
[pid=12251/tid=12264] ppid=12248 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12251/task/12264/stat : 12264 (java) S 12248 12251 8730 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 20 0 5059369 13586460672 216311 33554432000 4194304 4196468 140725126002848 140588606182912 140589278750421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32501760 140725126009993 140725126010180 140725126010180 140725126012879 0
[pid=12251/tid=12265] ppid=12248 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12251/task/12265/stat : 12265 (java) S 12248 12251 8730 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5059372 13586460672 216311 33554432000 4194304 4196468 140725126002848 140588605131472 140589278758811 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 32501760 140725126009993 140725126010180 140725126010180 140725126012879 0
[pid=12251/tid=12266] ppid=12248 vsize=13268028 CPUtime=1.13 cores=1,3,5,7,9,11,13,15
/proc/12251/task/12266/stat : 12266 (java) R 12248 12251 8730 0 -1 4202560 2615 0 0 0 113 0 0 0 20 0 20 0 5059372 13586460672 216311 33554432000 4194304 4196468 140725126002848 140588604078064 140589271725257 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32501760 140725126009993 140725126010180 140725126010180 140725126012879 0
[pid=12251/tid=12267] ppid=12248 vsize=13268028 CPUtime=1.14 cores=1,3,5,7,9,11,13,15
/proc/12251/task/12267/stat : 12267 (java) S 12248 12251 8730 0 -1 1077944384 2928 0 0 0 114 0 0 0 20 0 20 0 5059372 13586460672 216311 33554432000 4194304 4196468 140725126002848 140588603025520 140589278751362 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32501760 140725126009993 140725126010180 140725126010180 140725126012879 0
[pid=12251/tid=12268] ppid=12248 vsize=13268028 CPUtime=1.17 cores=1,3,5,7,9,11,13,15
/proc/12251/task/12268/stat : 12268 (java) R 12248 12251 8730 0 -1 4202560 3459 0 0 0 116 1 0 0 20 0 20 0 5059372 13586460672 216311 33554432000 4194304 4196468 140725126002848 140588601972976 140589278752150 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 32501760 140725126009993 140725126010180 140725126010180 140725126012879 0
[pid=12251/tid=12269] ppid=12248 vsize=13268028 CPUtime=0.7 cores=1,3,5,7,9,11,13,15
/proc/12251/task/12269/stat : 12269 (java) S 12248 12251 8730 0 -1 1077944384 3057 0 0 0 69 1 0 0 20 0 20 0 5059372 13586460672 216311 33554432000 4194304 4196468 140725126002848 140588600920432 140589278751362 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32501760 140725126009993 140725126010180 140725126010180 140725126012879 0
[pid=12251/tid=12270] ppid=12248 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12251/task/12270/stat : 12270 (java) S 12248 12251 8730 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 5059372 13586460672 216311 33554432000 4194304 4196468 140725126002848 140588599868128 140589278750421 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 32501760 140725126009993 140725126010180 140725126010180 140725126012879 0
[pid=12251/tid=12271] ppid=12248 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12251/task/12271/stat : 12271 (java) S 12248 12251 8730 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 5059372 13586460672 216311 33554432000 4194304 4196468 140725126002848 140588598815664 140589278751362 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 32501760 140725126009993 140725126010180 140725126010180 140725126012879 0
Current children cumulated CPU time (s) 9.79
Current children cumulated vsize (KiB) 13268028

[startup+6.30086 s]
/proc/loadavg: 2.01 1.77 1.61 10/281 12271
/proc/meminfo: memFree=25291940/32770624 swapFree=5804/272808
[pid=12251] ppid=12248 vsize=13268028 CPUtime=19.44 cores=1,3,5,7,9,11,13,15
/proc/12251/stat : 12251 (java) S 12248 12251 8730 0 -1 1077944320 32043 0 0 0 1387 557 0 0 20 0 20 0 5059365 13586460672 719676 33554432000 4194304 4196468 140725126002848 140725125985392 140589278740215 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 32501760 140725126009993 140725126010180 140725126010180 140725126012879 0
/proc/12251/statm: 3317007 719676 3844 1 0 3304722 0
[pid=12251/tid=12252] ppid=12248 vsize=13268028 CPUtime=4.89 cores=1,3,5,7,9,11,13,15
/proc/12251/task/12252/stat : 12252 (java) R 12248 12251 8730 0 -1 4202560 10786 0 0 0 460 29 0 0 20 0 20 0 5059366 13586460672 719676 33554432000 4194304 4196468 140725126002848 140589282978672 140588921586704 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 32501760 140725126009993 140725126010180 140725126010180 140725126012879 0
[pid=12251/tid=12254] ppid=12248 vsize=13268028 CPUtime=1.25 cores=1,3,5,7,9,11,13,15
/proc/12251/task/12254/stat : 12254 (java) S 12248 12251 8730 0 -1 1077944384 695 0 0 0 58 67 0 0 20 0 20 0 5059367 13586460672 719676 33554432000 4194304 4196468 140725126002848 140589246298896 140589278750421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32501760 140725126009993 140725126010180 140725126010180 140725126012879 0
[pid=12251/tid=12255] ppid=12248 vsize=13268028 CPUtime=1.25 cores=1,3,5,7,9,11,13,15
/proc/12251/task/12255/stat : 12255 (java) S 12248 12251 8730 0 -1 1077944384 672 0 0 0 62 63 0 0 20 0 20 0 5059367 13586460672 719676 33554432000 4194304 4196468 140725126002848 140588877024144 140589278750421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32501760 140725126009993 140725126010180 140725126010180 140725126012879 0
[pid=12251/tid=12256] ppid=12248 vsize=13268028 CPUtime=1.21 cores=1,3,5,7,9,11,13,15
/proc/12251/task/12256/stat : 12256 (java) S 12248 12251 8730 0 -1 1077944384 895 0 0 0 61 60 0 0 20 0 20 0 5059367 13586460672 719676 33554432000 4194304 4196468 140725126002848 140588875971600 140589278750421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32501760 140725126009993 140725126010180 140725126010180 140725126012879 0
[pid=12251/tid=12257] ppid=12248 vsize=13268028 CPUtime=1.26 cores=1,3,5,7,9,11,13,15
/proc/12251/task/12257/stat : 12257 (java) S 12248 12251 8730 0 -1 1077944384 589 0 0 0 62 64 0 0 20 0 20 0 5059367 13586460672 719676 33554432000 4194304 4196468 140725126002848 140588874919056 140589278750421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32501760 140725126009993 140725126010180 140725126010180 140725126012879 0
[pid=12251/tid=12258] ppid=12248 vsize=13268028 CPUtime=1.28 cores=1,3,5,7,9,11,13,15
/proc/12251/task/12258/stat : 12258 (java) S 12248 12251 8730 0 -1 1077944384 561 0 0 0 62 66 0 0 20 0 20 0 5059367 13586460672 719676 33554432000 4194304 4196468 140725126002848 140588873865488 140589278750421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32501760 140725126009993 140725126010180 140725126010180 140725126012879 0
[pid=12251/tid=12259] ppid=12248 vsize=13268028 CPUtime=1.27 cores=1,3,5,7,9,11,13,15
/proc/12251/task/12259/stat : 12259 (java) S 12248 12251 8730 0 -1 1077944384 619 0 0 0 62 65 0 0 20 0 20 0 5059367 13586460672 719676 33554432000 4194304 4196468 140725126002848 140588872812944 140589278750421 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 32501760 140725126009993 140725126010180 140725126010180 140725126012879 0
[pid=12251/tid=12260] ppid=12248 vsize=13268028 CPUtime=1.27 cores=1,3,5,7,9,11,13,15
/proc/12251/task/12260/stat : 12260 (java) S 12248 12251 8730 0 -1 1077944384 797 0 0 0 60 67 0 0 20 0 20 0 5059367 13586460672 719676 33554432000 4194304 4196468 140725126002848 140588871760400 140589278750421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32501760 140725126009993 140725126010180 140725126010180 140725126012879 0
[pid=12251/tid=12261] ppid=12248 vsize=13268028 CPUtime=1.22 cores=1,3,5,7,9,11,13,15
/proc/12251/task/12261/stat : 12261 (java) S 12248 12251 8730 0 -1 1077944384 751 0 0 0 58 64 0 0 20 0 20 0 5059367 13586460672 719676 33554432000 4194304 4196468 140725126002848 140588870707856 140589278750421 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 32501760 140725126009993 140725126010180 140725126010180 140725126012879 0
[pid=12251/tid=12262] ppid=12248 vsize=13268028 CPUtime=0.04 cores=1,3,5,7,9,11,13,15
/proc/12251/task/12262/stat : 12262 (java) S 12248 12251 8730 0 -1 1077944384 2077 0 0 0 4 0 0 0 20 0 20 0 5059368 13586460672 719676 33554432000 4194304 4196468 140725126002848 140588608289264 140589278751362 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32501760 140725126009993 140725126010180 140725126010180 140725126012879 0
[pid=12251/tid=12263] ppid=12248 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12251/task/12263/stat : 12263 (java) S 12248 12251 8730 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 5059369 13586460672 719676 33554432000 4194304 4196468 140725126002848 140588607235552 140589278750421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32501760 140725126009993 140725126010180 140725126010180 140725126012879 0
[pid=12251/tid=12264] ppid=12248 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12251/task/12264/stat : 12264 (java) S 12248 12251 8730 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 20 0 5059369 13586460672 719676 33554432000 4194304 4196468 140725126002848 140588606182912 140589278750421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32501760 140725126009993 140725126010180 140725126010180 140725126012879 0
[pid=12251/tid=12265] ppid=12248 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15

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

[pid=12251/tid=12267] ppid=12248 vsize=13268028 CPUtime=1.82 cores=1,3,5,7,9,11,13,15
/proc/12251/task/12267/stat : 12267 (java) S 12248 12251 8730 0 -1 1077944384 6759 0 0 0 181 1 0 0 20 0 20 0 5059372 13586460672 2234751 33554432000 4194304 4196468 140725126002848 140588603025520 140589278751362 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 32501760 140725126009993 140725126010180 140725126010180 140725126012879 0
[pid=12251/tid=12268] ppid=12248 vsize=13268028 CPUtime=2.01 cores=1,3,5,7,9,11,13,15
/proc/12251/task/12268/stat : 12268 (java) S 12248 12251 8730 0 -1 1077944384 10582 0 0 0 199 2 0 0 20 0 20 0 5059372 13586460672 2234751 33554432000 4194304 4196468 140725126002848 140588601972976 140589278751362 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32501760 140725126009993 140725126010180 140725126010180 140725126012879 0
[pid=12251/tid=12269] ppid=12248 vsize=13268028 CPUtime=0.93 cores=1,3,5,7,9,11,13,15
/proc/12251/task/12269/stat : 12269 (java) S 12248 12251 8730 0 -1 1077944384 20905 0 0 0 90 3 0 0 20 0 20 0 5059372 13586460672 2234751 33554432000 4194304 4196468 140725126002848 140588600920432 140589278751362 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 32501760 140725126009993 140725126010180 140725126010180 140725126012879 0
[pid=12251/tid=12270] ppid=12248 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12251/task/12270/stat : 12270 (java) S 12248 12251 8730 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 5059372 13586460672 2234751 33554432000 4194304 4196468 140725126002848 140588599868128 140589278750421 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 32501760 140725126009993 140725126010180 140725126010180 140725126012879 0
[pid=12251/tid=12271] ppid=12248 vsize=13268028 CPUtime=1.14 cores=1,3,5,7,9,11,13,15
/proc/12251/task/12271/stat : 12271 (java) S 12248 12251 8730 0 -1 1077944384 1182 0 0 0 52 62 0 0 20 0 20 0 5059372 13586460672 2234751 33554432000 4194304 4196468 140725126002848 140588598815664 140589278751362 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 32501760 140725126009993 140725126010180 140725126010180 140725126012879 0
Current children cumulated CPU time (s) 2183.42
Current children cumulated vsize (KiB) 13268028

[startup+1962.3 s]
/proc/loadavg: 2.02 2.12 2.03 3/283 12437
/proc/meminfo: memFree=21532940/32770624 swapFree=5804/276004
[pid=12251] ppid=12248 vsize=13268028 CPUtime=2256.96 cores=1,3,5,7,9,11,13,15
/proc/12251/stat : 12251 (java) S 12248 12251 8730 0 -1 1077944320 1140678 0 0 0 222747 2949 0 0 20 0 20 0 5059365 13586460672 2256418 33554432000 4194304 4196468 140725126002848 140725125985392 140589278740215 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 32501760 140725126009993 140725126010180 140725126010180 140725126012879 0
/proc/12251/statm: 3317007 2256418 3846 1 0 3304722 0
[pid=12251/tid=12252] ppid=12248 vsize=13268028 CPUtime=1916.35 cores=1,3,5,7,9,11,13,15
/proc/12251/task/12252/stat : 12252 (java) R 12248 12251 8730 0 -1 4202560 241873 0 0 0 191552 83 0 0 20 0 20 0 5059366 13586460672 2256418 33554432000 4194304 4196468 140725126002848 140589282970256 140588924591655 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 32501760 140725126009993 140725126010180 140725126010180 140725126012879 0
[pid=12251/tid=12254] ppid=12248 vsize=13268028 CPUtime=41.29 cores=1,3,5,7,9,11,13,15
/proc/12251/task/12254/stat : 12254 (java) S 12248 12251 8730 0 -1 1077944384 92301 0 0 0 3799 330 0 0 20 0 20 0 5059367 13586460672 2256418 33554432000 4194304 4196468 140725126002848 140589246298896 140589278750421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32501760 140725126009993 140725126010180 140725126010180 140725126012879 0
[pid=12251/tid=12255] ppid=12248 vsize=13268028 CPUtime=41.29 cores=1,3,5,7,9,11,13,15
/proc/12251/task/12255/stat : 12255 (java) S 12248 12251 8730 0 -1 1077944384 113706 0 0 0 3759 370 0 0 20 0 20 0 5059367 13586460672 2256418 33554432000 4194304 4196468 140725126002848 140588877024144 140589278750421 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 32501760 140725126009993 140725126010180 140725126010180 140725126012879 0
[pid=12251/tid=12256] ppid=12248 vsize=13268028 CPUtime=41.26 cores=1,3,5,7,9,11,13,15
/proc/12251/task/12256/stat : 12256 (java) S 12248 12251 8730 0 -1 1077944384 101535 0 0 0 3796 330 0 0 20 0 20 0 5059367 13586460672 2256418 33554432000 4194304 4196468 140725126002848 140588875971600 140589278750421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32501760 140725126009993 140725126010180 140725126010180 140725126012879 0
[pid=12251/tid=12257] ppid=12248 vsize=13268028 CPUtime=40.8 cores=1,3,5,7,9,11,13,15
/proc/12251/task/12257/stat : 12257 (java) S 12248 12251 8730 0 -1 1077944384 117401 0 0 0 3740 340 0 0 20 0 20 0 5059367 13586460672 2256418 33554432000 4194304 4196468 140725126002848 140588874919056 140589278750421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32501760 140725126009993 140725126010180 140725126010180 140725126012879 0
[pid=12251/tid=12258] ppid=12248 vsize=13268028 CPUtime=41.28 cores=1,3,5,7,9,11,13,15
/proc/12251/task/12258/stat : 12258 (java) S 12248 12251 8730 0 -1 1077944384 81632 0 0 0 3778 350 0 0 20 0 20 0 5059367 13586460672 2256418 33554432000 4194304 4196468 140725126002848 140588873865488 140589278750421 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 32501760 140725126009993 140725126010180 140725126010180 140725126012879 0
[pid=12251/tid=12259] ppid=12248 vsize=13268028 CPUtime=41.22 cores=1,3,5,7,9,11,13,15
/proc/12251/task/12259/stat : 12259 (java) S 12248 12251 8730 0 -1 1077944384 86982 0 0 0 3766 356 0 0 20 0 20 0 5059367 13586460672 2256418 33554432000 4194304 4196468 140725126002848 140588872812944 140589278750421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32501760 140725126009993 140725126010180 140725126010180 140725126012879 0
[pid=12251/tid=12260] ppid=12248 vsize=13268028 CPUtime=41.33 cores=1,3,5,7,9,11,13,15
/proc/12251/task/12260/stat : 12260 (java) S 12248 12251 8730 0 -1 1077944384 111386 0 0 0 3782 351 0 0 20 0 20 0 5059367 13586460672 2256418 33554432000 4194304 4196468 140725126002848 140588871760400 140589278750421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32501760 140725126009993 140725126010180 140725126010180 140725126012879 0
[pid=12251/tid=12261] ppid=12248 vsize=13268028 CPUtime=41.14 cores=1,3,5,7,9,11,13,15
/proc/12251/task/12261/stat : 12261 (java) S 12248 12251 8730 0 -1 1077944384 111282 0 0 0 3745 369 0 0 20 0 20 0 5059367 13586460672 2256418 33554432000 4194304 4196468 140725126002848 140588870707856 140589278750421 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 32501760 140725126009993 140725126010180 140725126010180 140725126012879 0
[pid=12251/tid=12262] ppid=12248 vsize=13268028 CPUtime=3.08 cores=1,3,5,7,9,11,13,15
/proc/12251/task/12262/stat : 12262 (java) S 12248 12251 8730 0 -1 1077944384 34084 0 0 0 302 6 0 0 20 0 20 0 5059368 13586460672 2256418 33554432000 4194304 4196468 140725126002848 140588608289264 140589278751362 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32501760 140725126009993 140725126010180 140725126010180 140725126012879 0
[pid=12251/tid=12263] ppid=12248 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12251/task/12263/stat : 12263 (java) S 12248 12251 8730 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 20 0 5059369 13586460672 2256418 33554432000 4194304 4196468 140725126002848 140588607235552 140589278750421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32501760 140725126009993 140725126010180 140725126010180 140725126012879 0
[pid=12251/tid=12264] ppid=12248 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12251/task/12264/stat : 12264 (java) S 12248 12251 8730 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 20 0 5059369 13586460672 2256418 33554432000 4194304 4196468 140725126002848 140588606182912 140589278750421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32501760 140725126009993 140725126010180 140725126010180 140725126012879 0
[pid=12251/tid=12265] ppid=12248 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12251/task/12265/stat : 12265 (java) S 12248 12251 8730 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5059372 13586460672 2256418 33554432000 4194304 4196468 140725126002848 140588605131472 140589278758811 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 32501760 140725126009993 140725126010180 140725126010180 140725126012879 0
[pid=12251/tid=12266] ppid=12248 vsize=13268028 CPUtime=1.84 cores=1,3,5,7,9,11,13,15
/proc/12251/task/12266/stat : 12266 (java) S 12248 12251 8730 0 -1 1077944384 7639 0 0 0 183 1 0 0 20 0 20 0 5059372 13586460672 2256418 33554432000 4194304 4196468 140725126002848 140588604078064 140589278751362 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32501760 140725126009993 140725126010180 140725126010180 140725126012879 0
[pid=12251/tid=12267] ppid=12248 vsize=13268028 CPUtime=1.82 cores=1,3,5,7,9,11,13,15
/proc/12251/task/12267/stat : 12267 (java) S 12248 12251 8730 0 -1 1077944384 6762 0 0 0 181 1 0 0 20 0 20 0 5059372 13586460672 2256418 33554432000 4194304 4196468 140725126002848 140588603025520 140589278751362 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 32501760 140725126009993 140725126010180 140725126010180 140725126012879 0
[pid=12251/tid=12268] ppid=12248 vsize=13268028 CPUtime=2.01 cores=1,3,5,7,9,11,13,15
/proc/12251/task/12268/stat : 12268 (java) S 12248 12251 8730 0 -1 1077944384 10591 0 0 0 199 2 0 0 20 0 20 0 5059372 13586460672 2256418 33554432000 4194304 4196468 140725126002848 140588601972976 140589278751362 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32501760 140725126009993 140725126010180 140725126010180 140725126012879 0
[pid=12251/tid=12269] ppid=12248 vsize=13268028 CPUtime=0.93 cores=1,3,5,7,9,11,13,15
/proc/12251/task/12269/stat : 12269 (java) S 12248 12251 8730 0 -1 1077944384 20910 0 0 0 90 3 0 0 20 0 20 0 5059372 13586460672 2256418 33554432000 4194304 4196468 140725126002848 140588600920432 140589278751362 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 32501760 140725126009993 140725126010180 140725126010180 140725126012879 0
[pid=12251/tid=12270] ppid=12248 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12251/task/12270/stat : 12270 (java) S 12248 12251 8730 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 5059372 13586460672 2256418 33554432000 4194304 4196468 140725126002848 140588599868128 140589278750421 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 32501760 140725126009993 140725126010180 140725126010180 140725126012879 0
[pid=12251/tid=12271] ppid=12248 vsize=13268028 CPUtime=1.18 cores=1,3,5,7,9,11,13,15
/proc/12251/task/12271/stat : 12271 (java) S 12248 12251 8730 0 -1 1077944384 1210 0 0 0 54 64 0 0 20 0 20 0 5059372 13586460672 2256418 33554432000 4194304 4196468 140725126002848 140588598815664 140589278751362 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 32501760 140725126009993 140725126010180 140725126010180 140725126012879 0
Current children cumulated CPU time (s) 2256.96
Current children cumulated vsize (KiB) 13268028

[startup+2022.3 s]
/proc/loadavg: 1.94 2.08 2.02 3/282 12438
/proc/meminfo: memFree=21425072/32770624 swapFree=5804/276100
[pid=12251] ppid=12248 vsize=13268028 CPUtime=2334.08 cores=1,3,5,7,9,11,13,15
/proc/12251/stat : 12251 (java) S 12248 12251 8730 0 -1 1077944320 1191681 0 0 0 230436 2972 0 0 20 0 20 0 5059365 13586460672 2281587 33554432000 4194304 4196468 140725126002848 140725125985392 140589278740215 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 32501760 140725126009993 140725126010180 140725126010180 140725126012879 0
/proc/12251/statm: 3317007 2281587 3846 1 0 3304722 0
[pid=12251/tid=12252] ppid=12248 vsize=13268028 CPUtime=1973.82 cores=1,3,5,7,9,11,13,15
/proc/12251/task/12252/stat : 12252 (java) R 12248 12251 8730 0 -1 4202560 248044 0 0 0 197297 85 0 0 20 0 20 0 5059366 13586460672 2281587 33554432000 4194304 4196468 140725126002848 140589282970256 140588924591632 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32501760 140725126009993 140725126010180 140725126010180 140725126012879 0
[pid=12251/tid=12254] ppid=12248 vsize=13268028 CPUtime=43.74 cores=1,3,5,7,9,11,13,15
/proc/12251/task/12254/stat : 12254 (java) S 12248 12251 8730 0 -1 1077944384 103912 0 0 0 4041 333 0 0 20 0 20 0 5059367 13586460672 2281587 33554432000 4194304 4196468 140725126002848 140589246298896 140589278750421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32501760 140725126009993 140725126010180 140725126010180 140725126012879 0
[pid=12251/tid=12255] ppid=12248 vsize=13268028 CPUtime=43.75 cores=1,3,5,7,9,11,13,15
/proc/12251/task/12255/stat : 12255 (java) S 12248 12251 8730 0 -1 1077944384 124059 0 0 0 4003 372 0 0 20 0 20 0 5059367 13586460672 2281587 33554432000 4194304 4196468 140725126002848 140588877024144 140589278750421 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 32501760 140725126009993 140725126010180 140725126010180 140725126012879 0
[pid=12251/tid=12256] ppid=12248 vsize=13268028 CPUtime=43.69 cores=1,3,5,7,9,11,13,15
/proc/12251/task/12256/stat : 12256 (java) S 12248 12251 8730 0 -1 1077944384 101571 0 0 0 4036 333 0 0 20 0 20 0 5059367 13586460672 2281587 33554432000 4194304 4196468 140725126002848 140588875971600 140589278750421 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 32501760 140725126009993 140725126010180 140725126010180 140725126012879 0
[pid=12251/tid=12257] ppid=12248 vsize=13268028 CPUtime=43.27 cores=1,3,5,7,9,11,13,15
/proc/12251/task/12257/stat : 12257 (java) S 12248 12251 8730 0 -1 1077944384 121737 0 0 0 3985 342 0 0 20 0 20 0 5059367 13586460672 2281587 33554432000 4194304 4196468 140725126002848 140588874919056 140589278750421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32501760 140725126009993 140725126010180 140725126010180 140725126012879 0
[pid=12251/tid=12258] ppid=12248 vsize=13268028 CPUtime=43.75 cores=1,3,5,7,9,11,13,15
/proc/12251/task/12258/stat : 12258 (java) S 12248 12251 8730 0 -1 1077944384 82818 0 0 0 4022 353 0 0 20 0 20 0 5059367 13586460672 2281587 33554432000 4194304 4196468 140725126002848 140588873865488 140589278750421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32501760 140725126009993 140725126010180 140725126010180 140725126012879 0
[pid=12251/tid=12259] ppid=12248 vsize=13268028 CPUtime=43.67 cores=1,3,5,7,9,11,13,15
/proc/12251/task/12259/stat : 12259 (java) S 12248 12251 8730 0 -1 1077944384 88966 0 0 0 4009 358 0 0 20 0 20 0 5059367 13586460672 2281587 33554432000 4194304 4196468 140725126002848 140588872812944 140589278750421 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 32501760 140725126009993 140725126010180 140725126010180 140725126012879 0
[pid=12251/tid=12260] ppid=12248 vsize=13268028 CPUtime=43.78 cores=1,3,5,7,9,11,13,15
/proc/12251/task/12260/stat : 12260 (java) S 12248 12251 8730 0 -1 1077944384 124486 0 0 0 4024 354 0 0 20 0 20 0 5059367 13586460672 2281587 33554432000 4194304 4196468 140725126002848 140588871760400 140589278750421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32501760 140725126009993 140725126010180 140725126010180 140725126012879 0
[pid=12251/tid=12261] ppid=12248 vsize=13268028 CPUtime=43.58 cores=1,3,5,7,9,11,13,15
/proc/12251/task/12261/stat : 12261 (java) S 12248 12251 8730 0 -1 1077944384 113222 0 0 0 3986 372 0 0 20 0 20 0 5059367 13586460672 2281587 33554432000 4194304 4196468 140725126002848 140588870707856 140589278750421 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 32501760 140725126009993 140725126010180 140725126010180 140725126012879 0
[pid=12251/tid=12262] ppid=12248 vsize=13268028 CPUtime=3.08 cores=1,3,5,7,9,11,13,15
/proc/12251/task/12262/stat : 12262 (java) S 12248 12251 8730 0 -1 1077944384 34321 0 0 0 302 6 0 0 20 0 20 0 5059368 13586460672 2281587 33554432000 4194304 4196468 140725126002848 140588608289264 140589278751362 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32501760 140725126009993 140725126010180 140725126010180 140725126012879 0
[pid=12251/tid=12263] ppid=12248 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12251/task/12263/stat : 12263 (java) S 12248 12251 8730 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 20 0 5059369 13586460672 2281587 33554432000 4194304 4196468 140725126002848 140588607235552 140589278750421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32501760 140725126009993 140725126010180 140725126010180 140725126012879 0
[pid=12251/tid=12264] ppid=12248 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12251/task/12264/stat : 12264 (java) S 12248 12251 8730 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 20 0 5059369 13586460672 2281587 33554432000 4194304 4196468 140725126002848 140588606182912 140589278750421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32501760 140725126009993 140725126010180 140725126010180 140725126012879 0
[pid=12251/tid=12265] ppid=12248 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12251/task/12265/stat : 12265 (java) S 12248 12251 8730 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5059372 13586460672 2281587 33554432000 4194304 4196468 140725126002848 140588605131472 140589278758811 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 32501760 140725126009993 140725126010180 140725126010180 140725126012879 0
[pid=12251/tid=12266] ppid=12248 vsize=13268028 CPUtime=1.84 cores=1,3,5,7,9,11,13,15
/proc/12251/task/12266/stat : 12266 (java) S 12248 12251 8730 0 -1 1077944384 7645 0 0 0 183 1 0 0 20 0 20 0 5059372 13586460672 2281587 33554432000 4194304 4196468 140725126002848 140588604078064 140589278751362 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32501760 140725126009993 140725126010180 140725126010180 140725126012879 0
[pid=12251/tid=12267] ppid=12248 vsize=13268028 CPUtime=1.82 cores=1,3,5,7,9,11,13,15
/proc/12251/task/12267/stat : 12267 (java) S 12248 12251 8730 0 -1 1077944384 6765 0 0 0 181 1 0 0 20 0 20 0 5059372 13586460672 2281587 33554432000 4194304 4196468 140725126002848 140588603025520 140589278751362 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 32501760 140725126009993 140725126010180 140725126010180 140725126012879 0
[pid=12251/tid=12268] ppid=12248 vsize=13268028 CPUtime=2.01 cores=1,3,5,7,9,11,13,15
/proc/12251/task/12268/stat : 12268 (java) S 12248 12251 8730 0 -1 1077944384 10595 0 0 0 199 2 0 0 20 0 20 0 5059372 13586460672 2281587 33554432000 4194304 4196468 140725126002848 140588601972976 140589278751362 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32501760 140725126009993 140725126010180 140725126010180 140725126012879 0
[pid=12251/tid=12269] ppid=12248 vsize=13268028 CPUtime=0.93 cores=1,3,5,7,9,11,13,15
/proc/12251/task/12269/stat : 12269 (java) S 12248 12251 8730 0 -1 1077944384 20918 0 0 0 90 3 0 0 20 0 20 0 5059372 13586460672 2281587 33554432000 4194304 4196468 140725126002848 140588600920432 140589278751362 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 32501760 140725126009993 140725126010180 140725126010180 140725126012879 0
[pid=12251/tid=12270] ppid=12248 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12251/task/12270/stat : 12270 (java) S 12248 12251 8730 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 5059372 13586460672 2281587 33554432000 4194304 4196468 140725126002848 140588599868128 140589278750421 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 32501760 140725126009993 140725126010180 140725126010180 140725126012879 0
[pid=12251/tid=12271] ppid=12248 vsize=13268028 CPUtime=1.21 cores=1,3,5,7,9,11,13,15
/proc/12251/task/12271/stat : 12271 (java) S 12248 12251 8730 0 -1 1077944384 1238 0 0 0 55 66 0 0 20 0 20 0 5059372 13586460672 2281587 33554432000 4194304 4196468 140725126002848 140588598815664 140589278751362 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 32501760 140725126009993 140725126010180 140725126010180 140725126012879 0
Current children cumulated CPU time (s) 2334.08
Current children cumulated vsize (KiB) 13268028



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2073.1 s]
/proc/loadavg: 1.62 1.97 1.99 10/281 12439
/proc/meminfo: memFree=21408372/32770624 swapFree=5804/276184
[pid=12251] ppid=12248 vsize=13268028 CPUtime=2400.06 cores=1,3,5,7,9,11,13,15
/proc/12251/stat : 12251 (java) S 12248 12251 8730 0 -1 1077944320 1235510 0 0 0 237013 2993 0 0 20 0 20 0 5059365 13586460672 2286064 33554432000 4194304 4196468 140725126002848 140725125985392 140589278740215 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 32501760 140725126009993 140725126010180 140725126010180 140725126012879 0
/proc/12251/statm: 3317007 2286064 3846 1 0 3304722 0
[pid=12251/tid=12252] ppid=12248 vsize=13268028 CPUtime=2022.37 cores=1,3,5,7,9,11,13,15
/proc/12251/task/12252/stat : 12252 (java) R 12248 12251 8730 0 -1 4202560 253314 0 0 0 202151 86 0 0 20 0 20 0 5059366 13586460672 2286064 33554432000 4194304 4196468 140725126002848 140589282978208 140589278762045 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32501760 140725126009993 140725126010180 140725126010180 140725126012879 0
[pid=12251/tid=12254] ppid=12248 vsize=13268028 CPUtime=45.9 cores=1,3,5,7,9,11,13,15
/proc/12251/task/12254/stat : 12254 (java) S 12248 12251 8730 0 -1 1077944384 104763 0 0 0 4255 335 0 0 20 0 20 0 5059367 13586460672 2286064 33554432000 4194304 4196468 140725126002848 140589246298896 140589278750421 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 32501760 140725126009993 140725126010180 140725126010180 140725126012879 0
[pid=12251/tid=12255] ppid=12248 vsize=13268028 CPUtime=45.94 cores=1,3,5,7,9,11,13,15
/proc/12251/task/12255/stat : 12255 (java) S 12248 12251 8730 0 -1 1077944384 133851 0 0 0 4219 375 0 0 20 0 20 0 5059367 13586460672 2286064 33554432000 4194304 4196468 140725126002848 140588877024144 140589278750421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32501760 140725126009993 140725126010180 140725126010180 140725126012879 0
[pid=12251/tid=12256] ppid=12248 vsize=13268028 CPUtime=45.87 cores=1,3,5,7,9,11,13,15
/proc/12251/task/12256/stat : 12256 (java) S 12248 12251 8730 0 -1 1077944384 103297 0 0 0 4252 335 0 0 20 0 20 0 5059367 13586460672 2286064 33554432000 4194304 4196468 140725126002848 140588875971600 140589278750421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32501760 140725126009993 140725126010180 140725126010180 140725126012879 0
[pid=12251/tid=12257] ppid=12248 vsize=13268028 CPUtime=45.44 cores=1,3,5,7,9,11,13,15
/proc/12251/task/12257/stat : 12257 (java) S 12248 12251 8730 0 -1 1077944384 130460 0 0 0 4200 344 0 0 20 0 20 0 5059367 13586460672 2286064 33554432000 4194304 4196468 140725126002848 140588874919056 140589278750421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32501760 140725126009993 140725126010180 140725126010180 140725126012879 0
[pid=12251/tid=12258] ppid=12248 vsize=13268028 CPUtime=45.91 cores=1,3,5,7,9,11,13,15
/proc/12251/task/12258/stat : 12258 (java) S 12248 12251 8730 0 -1 1077944384 83884 0 0 0 4237 354 0 0 20 0 20 0 5059367 13586460672 2286064 33554432000 4194304 4196468 140725126002848 140588873865488 140589278750421 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 32501760 140725126009993 140725126010180 140725126010180 140725126012879 0
[pid=12251/tid=12259] ppid=12248 vsize=13268028 CPUtime=45.84 cores=1,3,5,7,9,11,13,15
/proc/12251/task/12259/stat : 12259 (java) S 12248 12251 8730 0 -1 1077944384 90161 0 0 0 4225 359 0 0 20 0 20 0 5059367 13586460672 2286064 33554432000 4194304 4196468 140725126002848 140588872812944 140589278750421 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 32501760 140725126009993 140725126010180 140725126010180 140725126012879 0
[pid=12251/tid=12260] ppid=12248 vsize=13268028 CPUtime=45.96 cores=1,3,5,7,9,11,13,15
/proc/12251/task/12260/stat : 12260 (java) S 12248 12251 8730 0 -1 1077944384 137290 0 0 0 4238 358 0 0 20 0 20 0 5059367 13586460672 2286064 33554432000 4194304 4196468 140725126002848 140588871760400 140589278750421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32501760 140725126009993 140725126010180 140725126010180 140725126012879 0
[pid=12251/tid=12261] ppid=12248 vsize=13268028 CPUtime=45.71 cores=1,3,5,7,9,11,13,15
/proc/12251/task/12261/stat : 12261 (java) S 12248 12251 8730 0 -1 1077944384 115327 0 0 0 4197 374 0 0 20 0 20 0 5059367 13586460672 2286064 33554432000 4194304 4196468 140725126002848 140588870707856 140589278750421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32501760 140725126009993 140725126010180 140725126010180 140725126012879 0
[pid=12251/tid=12262] ppid=12248 vsize=13268028 CPUtime=3.08 cores=1,3,5,7,9,11,13,15
/proc/12251/task/12262/stat : 12262 (java) S 12248 12251 8730 0 -1 1077944384 34569 0 0 0 302 6 0 0 20 0 20 0 5059368 13586460672 2286064 33554432000 4194304 4196468 140725126002848 140588608289264 140589278751362 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32501760 140725126009993 140725126010180 140725126010180 140725126012879 0
[pid=12251/tid=12263] ppid=12248 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12251/task/12263/stat : 12263 (java) S 12248 12251 8730 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 20 0 5059369 13586460672 2286064 33554432000 4194304 4196468 140725126002848 140588607235552 140589278750421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32501760 140725126009993 140725126010180 140725126010180 140725126012879 0
[pid=12251/tid=12264] ppid=12248 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12251/task/12264/stat : 12264 (java) S 12248 12251 8730 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 20 0 5059369 13586460672 2286064 33554432000 4194304 4196468 140725126002848 140588606182912 140589278750421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32501760 140725126009993 140725126010180 140725126010180 140725126012879 0
[pid=12251/tid=12265] ppid=12248 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12251/task/12265/stat : 12265 (java) S 12248 12251 8730 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5059372 13586460672 2286064 33554432000 4194304 4196468 140725126002848 140588605131472 140589278758811 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 32501760 140725126009993 140725126010180 140725126010180 140725126012879 0
[pid=12251/tid=12266] ppid=12248 vsize=13268028 CPUtime=1.84 cores=1,3,5,7,9,11,13,15
/proc/12251/task/12266/stat : 12266 (java) S 12248 12251 8730 0 -1 1077944384 7650 0 0 0 183 1 0 0 20 0 20 0 5059372 13586460672 2286064 33554432000 4194304 4196468 140725126002848 140588604078064 140589278751362 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32501760 140725126009993 140725126010180 140725126010180 140725126012879 0
[pid=12251/tid=12267] ppid=12248 vsize=13268028 CPUtime=1.82 cores=1,3,5,7,9,11,13,15
/proc/12251/task/12267/stat : 12267 (java) S 12248 12251 8730 0 -1 1077944384 6770 0 0 0 181 1 0 0 20 0 20 0 5059372 13586460672 2286064 33554432000 4194304 4196468 140725126002848 140588603025520 140589278751362 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32501760 140725126009993 140725126010180 140725126010180 140725126012879 0
[pid=12251/tid=12268] ppid=12248 vsize=13268028 CPUtime=2.01 cores=1,3,5,7,9,11,13,15
/proc/12251/task/12268/stat : 12268 (java) S 12248 12251 8730 0 -1 1077944384 10598 0 0 0 199 2 0 0 20 0 20 0 5059372 13586460672 2286064 33554432000 4194304 4196468 140725126002848 140588601972976 140589278751362 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 32501760 140725126009993 140725126010180 140725126010180 140725126012879 0
[pid=12251/tid=12269] ppid=12248 vsize=13268028 CPUtime=0.93 cores=1,3,5,7,9,11,13,15
/proc/12251/task/12269/stat : 12269 (java) S 12248 12251 8730 0 -1 1077944384 20926 0 0 0 90 3 0 0 20 0 20 0 5059372 13586460672 2286064 33554432000 4194304 4196468 140725126002848 140588600920432 140589278751362 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 32501760 140725126009993 140725126010180 140725126010180 140725126012879 0
[pid=12251/tid=12270] ppid=12248 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12251/task/12270/stat : 12270 (java) S 12248 12251 8730 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 5059372 13586460672 2286064 33554432000 4194304 4196468 140725126002848 140588599868128 140589278750421 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 32501760 140725126009993 140725126010180 140725126010180 140725126012879 0
[pid=12251/tid=12271] ppid=12248 vsize=13268028 CPUtime=1.24 cores=1,3,5,7,9,11,13,15
/proc/12251/task/12271/stat : 12271 (java) S 12248 12251 8730 0 -1 1077944384 1266 0 0 0 57 67 0 0 20 0 20 0 5059372 13586460672 2286064 33554432000 4194304 4196468 140725126002848 140588598815664 140589278751362 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 32501760 140725126009993 140725126010180 140725126010180 140725126012879 0
Current children cumulated CPU time (s) 2400.06
Current children cumulated vsize (KiB) 13268028

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 12251 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143
Real time (s): 2073.18
CPU time (s): 2400.15
CPU user time (s): 2370.16
CPU system time (s): 29.9949
CPU usage (%): 115.771
Max. virtual memory (cumulated for all children) (KiB): 13268060

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2370.16
system time used= 29.9949
maximum resident set size= 9144760
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1237262
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2536
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 56793
involuntary context switches= 129284

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.0439 second user time and 17.0525 second system time

The end

Launcher Data 

Begin job on node120 at 2017-07-22 06:31:51
IDJOB=4245177
IDBENCH=120625
IDSOLVER=2628
FILE ID=node120/4245177-1500697911
RUNJOBID= node120-1500683657-8762
PBS_JOBID= 20623341
Free space on /tmp= 61952 MiB

SOLVER NAME= OscaR - Conflict Ordering 2017-06-30
BENCH NAME= XCSP17/GraphColoring/GraphColoring-m1-mono/GraphColoring-wap01a.xml
COMMAND LINE= java -Xmx10000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit MEMLIMIT --nbcore NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4245177-1500697911/watcher-4245177-1500697911 -o /tmp/evaluation-result-4245177-1500697911/solver-4245177-1500697911 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node120-1500683657-8762 --watchdog 2560  java -Xmx10000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed 2076753538 --timelimit 2400 --memlimit 15500 --nbcore 8 HOME/instance-4245177-1500697911.xml

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

MD5SUM BENCH= 1f75bed7d5113015eb943bda0c7ab47c
RANDOM SEED=2076753538

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

/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		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.45
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		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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	: 8
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.45
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		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.45
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		: 2400.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.45
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		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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:

processor	: 8
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 1
initial apicid	: 1
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.45
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 9
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 17
initial apicid	: 17
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	: 10
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2400.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 3
initial apicid	: 3
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.45
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 11
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2400.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 19
initial apicid	: 19
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	: 12
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 5
initial apicid	: 5
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.45
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 13
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2400.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 21
initial apicid	: 21
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	: 14
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 7
initial apicid	: 7
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.45
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 15
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 23
initial apicid	: 23
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:        28158332 kB
MemAvailable:   28420012 kB
Buffers:          107712 kB
Cached:           436504 kB
SwapCached:            0 kB
Active:          3894288 kB
Inactive:         281076 kB
Active(anon):    3634248 kB
Inactive(anon):     8740 kB
Active(file):     260040 kB
Inactive(file):   272336 kB
Unevictable:        5804 kB
Mlocked:            5804 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             46288 kB
Writeback:             0 kB
AnonPages:       3651016 kB
Mapped:            45068 kB
Shmem:              8840 kB
Slab:             124012 kB
SReclaimable:      90280 kB
SUnreclaim:        33732 kB
KernelStack:        4848 kB
PageTables:        11252 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    4608512 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3504128 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /tmp at the end= 61912 MiB
End job on node120 at 2017-07-22 07:06:25