Trace number 4273527

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
OscaR - Conflict Ordering 2017-07-26SAT (TO)1158 2520.1499 2414.28

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.26/0.38	c version: 2017-07-26
0.26/0.38	c seed: 661359935
0.26/0.38	c timeout: 2520
0.26/0.38	c memlimit: 11000
0.26/0.38	c nbcore: 4
0.26/0.41	c Parsing instance...
48.98/24.12	c Parsing done, starting search...
51.75/26.21	o 2367
56.01/29.19	o 2366
59.41/31.97	o 2365
62.09/34.58	o 2364
64.73/37.12	o 2363
67.24/39.63	o 2362
69.66/42.10	o 2361
72.15/44.58	o 2360
80.90/48.79	o 2359
83.41/51.28	o 2358
85.91/53.70	o 2357
88.32/56.11	o 2356
90.72/58.56	o 2355
93.12/61.00	o 2354
95.63/63.44	o 2353
98.03/65.85	o 2352
100.44/68.27	o 2351
102.84/70.67	o 2350
105.24/73.10	o 2349
107.81/75.51	o 2348
110.23/77.96	o 2347
112.73/80.45	o 2346
115.50/82.96	o 2345
117.90/85.36	o 2344
120.44/87.82	o 2343
122.84/90.20	o 2342
125.28/92.60	o 2341
127.59/94.98	o 2340
129.99/97.35	o 2339
132.39/99.74	o 2338
134.81/102.13	o 2337
137.10/104.48	o 2336
139.60/106.91	o 2335
142.00/109.30	o 2334
144.31/111.69	o 2333
146.83/114.16	o 2332
149.22/116.56	o 2331
151.98/119.06	o 2330
154.38/121.48	o 2329
156.89/123.90	o 2328
159.29/126.34	o 2327
161.69/128.77	o 2326
164.19/131.22	o 2325
166.59/133.65	o 2324
169.00/136.05	o 2323
171.40/138.45	o 2322
173.80/140.84	o 2321
176.20/143.21	o 2320
178.50/145.59	o 2319
180.90/147.98	o 2318
183.30/150.39	o 2317
185.70/152.76	o 2316
188.50/155.24	o 2315
190.80/157.58	o 2314
193.20/159.93	o 2313
195.60/162.33	o 2312
197.90/164.68	o 2311
200.31/167.06	o 2310
202.70/169.48	o 2309
205.10/171.87	o 2308
207.50/174.28	o 2307
209.91/176.68	o 2306
212.32/179.05	o 2305
214.71/181.41	o 2304
217.01/183.77	o 2303
219.42/186.11	o 2302
222.30/188.62	o 2301
224.61/190.98	o 2300
227.01/193.31	o 2299
229.61/195.92	o 2298
231.91/198.28	o 2297
234.31/200.63	o 2296
236.61/202.99	o 2295
239.01/205.32	o 2294
241.31/207.67	o 2293
243.72/210.02	o 2292
246.01/212.36	o 2291
248.41/214.70	o 2290
250.72/217.06	o 2289
253.12/219.43	o 2288
255.52/221.80	o 2287
258.32/224.29	o 2286
260.72/226.60	o 2285
263.12/229.04	o 2284
265.52/231.40	o 2283
267.82/233.74	o 2282
270.23/236.13	o 2281
272.52/238.48	o 2280
274.93/240.85	o 2279
277.33/243.20	o 2278
279.63/245.57	o 2277
282.03/247.95	o 2276
284.44/250.30	o 2275
286.74/252.67	o 2274
289.14/255.10	o 2273
291.54/257.45	o 2272
294.44/259.92	o 2271
296.73/262.29	o 2270
299.14/264.62	o 2269
301.45/266.96	o 2268
303.85/269.33	o 2267
306.15/271.66	o 2266
308.66/274.12	o 2265
310.95/276.47	o 2264
313.35/278.83	o 2263
315.66/281.16	o 2262
317.95/283.49	o 2261
320.36/285.84	o 2260
322.66/288.16	o 2259
324.95/290.47	o 2258
327.26/292.78	o 2257
329.57/295.09	o 2256
332.46/297.55	o 2255
334.77/299.86	o 2254
337.17/302.24	o 2253
339.48/304.57	o 2252
341.78/306.85	o 2251
344.09/309.18	o 2250
346.48/311.55	o 2249
348.78/313.84	o 2248
351.09/316.15	o 2247
353.38/318.44	o 2246
355.68/320.71	o 2245
357.99/323.03	o 2244
360.29/325.33	o 2243
362.60/327.64	o 2242
364.90/329.95	o 2241
367.20/332.24	o 2240
370.09/334.75	o 2239
372.40/337.04	o 2238
374.69/339.30	o 2237
377.00/341.62	o 2236
379.31/343.90	o 2235
381.60/346.22	o 2234
383.90/348.51	o 2233
386.11/350.79	o 2232
388.42/353.08	o 2231
390.71/355.36	o 2230
393.11/357.70	o 2229
395.42/360.02	o 2228
397.71/362.36	o 2227
400.11/364.70	o 2226
402.42/367.04	o 2225
404.71/369.35	o 2224
407.62/371.84	o 2223
409.93/374.15	o 2222
412.22/376.44	o 2221
414.73/378.92	o 2220
417.03/381.21	o 2219
419.33/383.53	o 2218
421.63/385.85	o 2217
424.03/388.20	o 2216
426.33/390.53	o 2215
428.63/392.81	o 2214
430.94/395.15	o 2213
433.24/397.45	o 2212
435.54/399.70	o 2211
437.74/401.98	o 2210
440.05/404.22	o 2209
442.25/406.49	o 2208
445.15/408.92	o 2207
447.45/411.20	o 2206
449.75/413.55	o 2205
452.05/415.87	o 2204
454.36/418.16	o 2203
456.66/420.48	o 2202
458.95/422.79	o 2201
461.36/425.12	o 2200
463.56/427.39	o 2199
465.86/429.68	o 2198
468.16/431.93	o 2197
470.46/434.20	o 2196
472.66/436.48	o 2195
474.96/438.78	o 2194
477.27/441.07	o 2193
479.56/443.35	o 2192
481.86/445.61	o 2191
484.68/448.02	o 2190
486.87/450.29	o 2189
489.17/452.58	o 2188
491.47/454.85	o 2187
493.78/457.12	o 2186
495.97/459.39	o 2185
498.27/461.63	o 2184
500.47/463.89	o 2183
502.79/466.16	o 2182
505.08/468.44	o 2181
507.48/470.82	o 2180
509.69/473.10	o 2179
511.99/475.37	o 2178
514.29/477.64	o 2177
516.58/479.94	o 2176
518.88/482.21	o 2175
521.73/484.61	o 2174
523.94/486.86	o 2173
526.25/489.16	o 2172
528.54/491.43	o 2171
530.78/493.68	o 2170
533.08/495.93	o 2169
535.29/498.17	o 2168
537.58/500.41	o 2167
539.88/502.72	o 2166
542.08/504.98	o 2165
544.38/507.23	o 2164
546.79/509.66	o 2163
549.00/511.89	o 2162
551.31/514.13	o 2161
553.50/516.39	o 2160
555.80/518.65	o 2159
558.10/520.91	o 2158
560.94/523.34	o 2157
563.14/525.58	o 2156
565.45/527.84	o 2155
567.66/530.09	o 2154
569.95/532.35	o 2153
572.15/534.59	o 2152
574.45/536.83	o 2151
576.65/539.08	o 2150
578.95/541.35	o 2149
581.25/543.60	o 2148
583.55/545.92	o 2147
585.76/548.18	o 2146
588.06/550.46	o 2145
590.36/552.75	o 2144
592.67/555.03	o 2143
594.96/557.31	o 2142
597.82/559.73	o 2141
600.02/561.98	o 2140
602.31/564.23	o 2139
604.52/566.48	o 2138
606.81/568.72	o 2137
609.01/570.96	o 2136
611.32/573.21	o 2135
613.52/575.45	o 2134
615.82/577.70	o 2133
618.02/579.93	o 2132
620.23/582.17	o 2131
622.42/584.39	o 2130
624.72/586.64	o 2129
626.92/588.85	o 2128
629.23/591.11	o 2127
631.42/593.34	o 2126
633.63/595.56	o 2125
636.48/597.95	o 2124
638.69/600.18	o 2123
640.98/602.42	o 2122
643.29/604.70	o 2121
645.49/606.97	o 2120
647.79/609.20	o 2119
650.00/611.44	o 2118
652.20/613.66	o 2117
654.40/615.86	o 2116
656.72/618.15	o 2115
658.91/620.37	o 2114
661.11/622.58	o 2113
663.41/624.82	o 2112
665.63/627.03	o 2111
667.82/629.24	o 2110
670.02/631.45	o 2109
672.22/633.64	o 2108
675.02/636.00	o 2107
677.32/638.21	o 2106
679.52/640.41	o 2105
681.72/642.62	o 2104
683.92/644.81	o 2103
686.03/647.00	o 2102
688.33/649.22	o 2101
690.53/651.42	o 2100
692.72/653.63	o 2099
694.92/655.86	o 2098
697.13/658.09	o 2097
699.53/660.43	o 2096
701.73/662.67	o 2095
704.02/664.92	o 2094
706.23/667.16	o 2093
708.53/669.40	o 2092
710.63/671.58	o 2091
713.48/673.96	o 2090
715.78/676.20	o 2089
717.98/678.42	o 2088
720.19/680.67	o 2087
722.39/682.88	o 2086
724.70/685.15	o 2085
726.89/687.39	o 2084
729.19/689.63	o 2083
731.39/691.87	o 2082
733.70/694.13	o 2081
735.89/696.35	o 2080
738.09/698.57	o 2079
740.29/700.78	o 2078
742.49/702.99	o 2077
744.79/705.21	o 2076
747.00/707.42	o 2075
749.20/709.66	o 2074
752.03/712.06	o 2073
754.22/714.26	o 2072
756.43/716.42	o 2071
758.63/718.60	o 2070
760.83/720.81	o 2069
763.04/723.04	o 2068
765.23/725.25	o 2067
767.43/727.42	o 2066
769.63/729.63	o 2065
771.84/731.82	o 2064
773.93/734.00	o 2063
776.14/736.18	o 2062
778.33/738.34	o 2061
780.53/740.50	o 2060
782.63/742.65	o 2059
784.84/744.81	o 2058
786.94/746.95	o 2057
790.09/749.36	o 2056
792.29/751.50	o 2055
794.39/753.65	o 2054
796.59/755.86	o 2053
798.80/758.05	o 2052
800.99/760.24	o 2051
803.30/762.53	o 2050
805.50/764.71	o 2049
807.70/766.91	o 2048
809.81/769.08	o 2047
812.01/771.26	o 2046
814.21/773.46	o 2045
816.41/775.67	o 2044
818.61/777.85	o 2043
820.82/780.02	o 2042
823.01/782.20	o 2041
825.11/784.39	o 2040
829.20/787.07	o 2039
831.39/789.25	o 2038
833.59/791.45	o 2037
835.79/793.61	o 2036
837.90/795.73	o 2035
840.00/797.87	o 2034
842.21/800.02	o 2033
844.31/802.15	o 2032
846.50/804.30	o 2031
848.60/806.45	o 2030
850.71/808.59	o 2029
852.91/810.78	o 2028
855.11/812.93	o 2027
857.22/815.10	o 2026
859.41/817.26	o 2025
861.51/819.38	o 2024
864.70/821.78	o 2023
866.90/823.93	o 2022
869.01/826.09	o 2021
871.20/828.26	o 2020
873.41/830.48	o 2019
875.61/832.62	o 2018
877.71/834.76	o 2017
879.90/836.92	o 2016
882.01/839.08	o 2015
884.20/841.26	o 2014
886.40/843.41	o 2013
888.61/845.62	o 2012
890.71/847.78	o 2011
892.81/849.90	o 2010
895.02/852.05	o 2009
897.21/854.20	o 2008
899.31/856.34	o 2007
901.61/858.65	o 2006
904.94/861.08	o 2005
907.13/863.21	o 2004
909.23/865.36	o 2003
911.43/867.53	o 2002
913.53/869.70	o 2001
915.74/871.86	o 2000
917.95/874.02	o 1999
920.05/876.17	o 1998
922.14/878.28	o 1997
924.34/880.43	o 1996
926.44/882.59	o 1995
928.64/884.73	o 1994
930.84/886.91	o 1993
932.95/889.06	o 1992
935.14/891.22	o 1991
937.25/893.37	o 1990
939.45/895.51	o 1989
942.53/897.89	o 1988
944.74/900.01	o 1987
946.76/902.10	o 1986
948.95/904.20	o 1985
951.05/906.32	o 1984
953.16/908.41	o 1983
955.26/910.55	o 1982
957.36/912.63	o 1981
959.47/914.73	o 1980
961.57/916.85	o 1979
963.67/918.93	o 1978
965.78/921.01	o 1977
967.88/923.16	o 1976
969.97/925.29	o 1975
972.17/927.41	o 1974
974.27/929.51	o 1973
976.37/931.60	o 1972
979.44/933.93	o 1971
981.55/936.01	o 1970
983.65/938.12	o 1969
985.65/940.19	o 1968
987.75/942.29	o 1967
989.94/944.40	o 1966
992.04/946.50	o 1965
994.04/948.59	o 1964
996.14/950.68	o 1963
998.26/952.76	o 1962
1000.36/954.81	o 1961
1002.46/956.92	o 1960
1004.46/958.98	o 1959
1006.57/961.07	o 1958
1008.67/963.14	o 1957
1010.76/965.23	o 1956
1012.86/967.34	o 1955
1016.03/969.70	o 1954
1018.03/971.76	o 1953
1020.12/973.83	o 1952
1022.12/975.89	o 1951
1024.23/977.96	o 1950
1026.34/980.02	o 1949
1028.44/982.11	o 1948
1030.53/984.20	o 1947
1032.53/986.29	o 1946
1034.64/988.37	o 1945
1036.74/990.47	o 1944
1038.84/992.58	o 1943
1040.94/994.69	o 1942
1043.04/996.79	o 1941
1045.24/998.94	o 1940
1047.35/1001.02	o 1939
1049.35/1003.10	o 1938
1051.45/1005.19	o 1937
1054.75/1007.57	o 1936
1057.16/1009.91	o 1935
1059.26/1012.01	o 1934
1061.26/1014.06	o 1933
1063.37/1016.12	o 1932
1065.37/1018.16	o 1931
1067.45/1020.21	o 1930
1069.46/1022.25	o 1929
1071.56/1024.32	o 1928
1073.66/1026.40	o 1927
1075.66/1028.44	o 1926
1077.76/1030.52	o 1925
1079.87/1032.61	o 1924
1081.97/1034.76	o 1923
1084.07/1036.81	o 1922
1086.07/1038.88	o 1921
1088.17/1040.96	o 1920
1091.25/1043.26	o 1919
1093.36/1045.34	o 1918
1095.46/1047.40	o 1917
1097.46/1049.46	o 1916
1099.56/1051.51	o 1915
1101.56/1053.57	o 1914
1103.66/1055.65	o 1913
1105.76/1057.76	o 1912
1107.86/1059.82	o 1911
1109.96/1061.90	o 1910
1111.97/1063.99	o 1909
1114.08/1066.08	o 1908
1116.18/1068.16	o 1907
1118.27/1070.23	o 1906
1120.37/1072.30	o 1905
1122.37/1074.37	o 1904
1124.47/1076.44	o 1903
1127.56/1078.79	o 1902
1129.66/1080.85	o 1901
1131.76/1082.92	o 1900
1133.76/1084.96	o 1899
1135.87/1087.05	o 1898
1137.87/1089.09	o 1897
1139.97/1091.11	o 1896
1141.98/1093.18	o 1895
1144.07/1095.25	o 1894
1146.17/1097.32	o 1893
1148.17/1099.36	o 1892
1150.27/1101.40	o 1891
1152.27/1103.43	o 1890
1154.28/1105.48	o 1889
1156.38/1107.52	o 1888
1158.48/1109.63	o 1887
1161.53/1111.93	o 1886
1163.53/1113.97	o 1885
1165.53/1116.00	o 1884
1167.64/1118.04	o 1883
1169.64/1120.08	o 1882
1171.64/1122.10	o 1881
1173.74/1124.14	o 1880
1175.74/1126.14	o 1879
1177.74/1128.16	o 1878
1179.84/1130.20	o 1877
1181.83/1132.23	o 1876
1183.83/1134.26	o 1875
1185.84/1136.29	o 1874
1188.04/1138.48	o 1873
1190.14/1140.53	o 1872
1192.14/1142.55	o 1871
1194.14/1144.56	o 1870
1197.20/1146.82	o 1869
1199.20/1148.84	o 1868
1201.20/1150.88	o 1867
1203.30/1152.92	o 1866
1205.30/1154.93	o 1865
1207.30/1156.91	o 1864
1209.31/1158.95	o 1863
1211.31/1160.96	o 1862
1213.31/1162.97	o 1861
1215.31/1164.97	o 1860
1217.31/1167.00	o 1859
1219.42/1169.02	o 1858
1221.42/1171.07	o 1857
1223.42/1173.09	o 1856
1225.43/1175.10	o 1855
1227.53/1177.16	o 1854
1229.53/1179.15	o 1853
1232.37/1181.39	o 1852
1234.47/1183.41	o 1851
1236.47/1185.48	o 1850
1238.47/1187.47	o 1849
1240.48/1189.46	o 1848
1242.47/1191.49	o 1847
1244.47/1193.48	o 1846
1246.57/1195.51	o 1845
1248.57/1197.51	o 1844
1250.57/1199.52	o 1843
1252.58/1201.53	o 1842
1254.68/1203.60	o 1841
1256.68/1205.61	o 1840
1258.68/1207.65	o 1839
1260.68/1209.68	o 1838
1262.68/1211.69	o 1837
1264.68/1213.69	o 1836
1267.60/1215.92	o 1835
1269.50/1217.89	o 1834
1271.50/1219.87	o 1833
1273.51/1221.85	o 1832
1275.51/1223.84	o 1831
1277.51/1225.82	o 1830
1279.51/1227.81	o 1829
1281.51/1229.80	o 1828
1283.51/1231.80	o 1827
1285.41/1233.78	o 1826
1287.51/1235.84	o 1825
1289.51/1237.82	o 1824
1291.51/1239.83	o 1823
1293.52/1241.83	o 1822
1295.52/1243.84	o 1821
1297.52/1245.84	o 1820
1300.32/1248.05	o 1819
1302.32/1250.02	o 1818
1304.21/1252.00	o 1817
1306.22/1253.97	o 1816
1308.22/1255.96	o 1815
1310.22/1257.94	o 1814
1312.22/1259.96	o 1813
1314.22/1261.96	o 1812
1316.22/1263.96	o 1811
1318.22/1265.95	o 1810
1320.22/1267.94	o 1809
1322.22/1269.96	o 1808
1324.23/1271.93	o 1807
1326.23/1273.92	o 1806
1328.23/1275.91	o 1805
1330.13/1277.89	o 1804
1332.14/1279.86	o 1803
1334.96/1282.09	o 1802
1336.96/1284.08	o 1801
1338.96/1286.06	o 1800
1340.96/1288.03	o 1799
1342.85/1289.99	o 1798
1344.85/1291.98	o 1797
1346.86/1293.94	o 1796
1348.85/1295.91	o 1795
1350.76/1297.86	o 1794
1352.76/1299.82	o 1793
1354.76/1301.85	o 1792
1356.76/1303.85	o 1791
1358.76/1305.83	o 1790
1360.76/1307.82	o 1789
1362.76/1309.87	o 1788
1364.76/1311.85	o 1787
1366.77/1313.82	o 1786
1369.51/1316.00	o 1785
1371.51/1317.96	o 1784
1373.41/1319.89	o 1783
1375.41/1321.84	o 1782
1377.41/1323.80	o 1781
1379.31/1325.75	o 1780
1381.31/1327.75	o 1779
1383.31/1329.71	o 1778
1385.21/1331.69	o 1777
1387.21/1333.66	o 1776
1389.21/1335.64	o 1775
1391.12/1337.59	o 1774
1393.12/1339.52	o 1773
1395.02/1341.49	o 1772
1397.02/1343.43	o 1771
1398.93/1345.37	o 1770
1400.83/1347.29	o 1769
1403.99/1349.54	o 1768
1405.89/1351.47	o 1767
1407.89/1353.41	o 1766
1409.79/1355.35	o 1765
1411.79/1357.31	o 1764
1413.69/1359.24	o 1763
1415.60/1361.15	o 1762
1417.70/1363.27	o 1761
1419.70/1365.22	o 1760
1421.61/1367.16	o 1759
1423.61/1369.12	o 1758
1425.51/1371.05	o 1757
1427.40/1372.97	o 1756
1429.30/1374.88	o 1755
1431.31/1376.82	o 1754
1433.21/1378.74	o 1753
1435.11/1380.68	o 1752
1438.90/1383.06	o 1751
1440.79/1384.99	o 1750
1442.79/1386.91	o 1749
1444.69/1388.82	o 1748
1446.59/1390.73	o 1747
1448.49/1392.63	o 1746
1450.40/1394.54	o 1745
1452.40/1396.50	o 1744
1454.30/1398.40	o 1743
1456.10/1400.28	o 1742
1458.01/1402.18	o 1741
1459.91/1404.10	o 1740
1461.91/1406.02	o 1739
1463.80/1407.93	o 1738
1465.70/1409.84	o 1737
1467.60/1411.79	o 1736
1469.60/1413.72	o 1735
1471.50/1415.68	o 1734
1475.17/1418.07	o 1733
1477.06/1420.00	o 1732
1479.06/1421.94	o 1731
1480.96/1423.86	o 1730
1482.96/1425.86	o 1729
1484.86/1427.77	o 1728
1486.76/1429.68	o 1727
1488.77/1431.65	o 1726
1490.67/1433.56	o 1725
1492.57/1435.48	o 1724
1494.57/1437.40	o 1723
1496.47/1439.33	o 1722
1498.37/1441.25	o 1721
1500.28/1443.17	o 1720
1502.28/1445.12	o 1719
1504.18/1447.04	o 1718
1506.07/1448.96	o 1717
1509.76/1451.35	o 1716
1511.86/1453.41	o 1715
1513.76/1455.32	o 1714
1515.67/1457.22	o 1713
1517.58/1459.14	o 1712
1519.58/1461.11	o 1711
1521.47/1463.04	o 1710
1523.36/1464.91	o 1709
1525.26/1466.80	o 1708
1527.06/1468.67	o 1707
1528.96/1470.57	o 1706
1530.87/1472.47	o 1705
1532.77/1474.37	o 1704
1534.67/1476.27	o 1703
1536.58/1478.17	o 1702
1538.48/1480.07	o 1701
1540.48/1482.05	o 1700
1544.12/1484.43	o 1699
1546.03/1486.33	o 1698
1547.93/1488.23	o 1697
1549.84/1490.13	o 1696
1551.63/1492.00	o 1695
1553.53/1493.87	o 1694
1555.43/1495.75	o 1693
1557.33/1497.62	o 1692
1559.22/1499.55	o 1691
1561.13/1501.47	o 1690
1563.03/1503.40	o 1689
1565.03/1505.30	o 1688
1566.84/1507.19	o 1687
1568.74/1509.07	o 1686
1570.63/1510.96	o 1685
1572.53/1512.85	o 1684
1574.43/1514.74	o 1683
1576.34/1516.65	o 1682
1580.14/1519.03	o 1681
1581.93/1520.89	o 1680
1583.94/1522.80	o 1679
1585.74/1524.65	o 1678
1587.64/1526.50	o 1677
1589.44/1528.37	o 1676
1591.34/1530.26	o 1675
1593.25/1532.15	o 1674
1595.16/1534.01	o 1673
1597.05/1535.90	o 1672
1598.95/1537.81	o 1671
1600.75/1539.69	o 1670
1602.65/1541.58	o 1669
1604.55/1543.45	o 1668
1606.45/1545.36	o 1667
1608.35/1547.23	o 1666
1610.16/1549.10	o 1665
1614.21/1551.50	o 1664
1616.01/1553.38	o 1663
1617.91/1555.22	o 1662
1619.72/1557.07	o 1661
1621.61/1558.96	o 1660
1623.51/1560.83	o 1659
1625.32/1562.69	o 1658
1627.22/1564.55	o 1657
1629.02/1566.39	o 1656
1630.92/1568.23	o 1655
1632.73/1570.09	o 1654
1634.62/1571.93	o 1653
1636.42/1573.79	o 1652
1638.32/1575.63	o 1651
1640.22/1577.59	o 1650
1642.12/1579.42	o 1649
1643.92/1581.25	o 1648
1645.83/1583.12	o 1647
1649.78/1585.50	o 1646
1651.58/1587.38	o 1645
1653.48/1589.24	o 1644
1655.29/1591.10	o 1643
1657.18/1592.95	o 1642
1659.08/1594.81	o 1641
1660.88/1596.65	o 1640
1662.79/1598.52	o 1639
1664.59/1600.35	o 1638
1666.40/1602.17	o 1637
1668.30/1604.01	o 1636
1670.09/1605.84	o 1635
1671.89/1607.67	o 1634
1673.69/1609.49	o 1633
1675.59/1611.32	o 1632
1677.40/1613.17	o 1631
1679.31/1615.01	o 1630
1683.15/1617.39	o 1629
1685.05/1619.22	o 1628
1686.85/1621.05	o 1627
1688.65/1622.88	o 1626
1690.54/1624.71	o 1625
1692.35/1626.56	o 1624
1694.25/1628.43	o 1623
1696.05/1630.27	o 1622
1697.96/1632.12	o 1621
1699.75/1633.96	o 1620
1701.55/1635.79	o 1619
1703.45/1637.62	o 1618
1705.26/1639.45	o 1617
1707.06/1641.25	o 1616
1708.86/1643.09	o 1615
1710.76/1644.94	o 1614
1712.56/1646.78	o 1613
1716.12/1649.08	o 1612
1718.01/1650.93	o 1611
1719.80/1652.76	o 1610
1721.71/1654.60	o 1609
1723.51/1656.45	o 1608
1725.31/1658.27	o 1607
1727.12/1660.10	o 1606
1729.02/1661.92	o 1605
1730.82/1663.75	o 1604
1732.62/1665.60	o 1603
1734.52/1667.40	o 1602
1736.32/1669.22	o 1601
1738.13/1671.06	o 1600
1739.92/1672.89	o 1599
1741.82/1674.71	o 1598
1743.62/1676.53	o 1597
1745.42/1678.35	o 1596
1747.23/1680.14	o 1595
1750.45/1682.33	o 1594
1752.26/1684.11	o 1593
1754.05/1685.91	o 1592
1755.85/1687.71	o 1591
1757.55/1689.49	o 1590
1759.45/1691.30	o 1589
1761.26/1693.12	o 1588
1763.06/1694.95	o 1587
1764.86/1696.76	o 1586
1766.65/1698.57	o 1585
1768.56/1700.44	o 1584
1770.36/1702.25	o 1583
1772.17/1704.04	o 1582
1773.96/1705.86	o 1581
1775.76/1707.66	o 1580
1777.56/1709.48	o 1579
1779.36/1711.25	o 1578
1782.45/1713.39	o 1577
1784.26/1715.17	o 1576
1786.05/1716.96	o 1575
1787.85/1718.74	o 1574
1789.65/1720.52	o 1573
1791.45/1722.35	o 1572
1793.26/1724.15	o 1571
1795.05/1725.92	o 1570
1796.85/1727.72	o 1569
1798.66/1729.52	o 1568
1800.46/1731.35	o 1567
1802.27/1733.14	o 1566
1804.06/1734.93	o 1565
1805.86/1736.72	o 1564
1807.66/1738.50	o 1563
1809.36/1740.28	o 1562
1811.27/1742.11	o 1561
1814.36/1744.23	o 1560
1816.07/1745.99	o 1559
1817.97/1747.80	o 1558
1819.67/1749.59	o 1557
1821.47/1751.37	o 1556
1823.28/1753.16	o 1555
1825.08/1754.92	o 1554
1826.88/1756.74	o 1553
1828.68/1758.52	o 1552
1830.38/1760.29	o 1551
1832.19/1762.07	o 1550
1833.98/1763.87	o 1549
1835.78/1765.63	o 1548
1837.58/1767.42	o 1547
1839.38/1769.20	o 1546
1841.08/1771.00	o 1545
1844.20/1773.09	o 1544
1845.99/1774.86	o 1543
1847.79/1776.61	o 1542
1849.49/1778.38	o 1541
1851.30/1780.13	o 1540
1852.99/1781.89	o 1539
1854.79/1783.67	o 1538
1856.59/1785.45	o 1537
1858.39/1787.23	o 1536
1860.10/1789.00	o 1535
1861.90/1790.75	o 1534
1863.70/1792.51	o 1533
1865.50/1794.33	o 1532
1867.21/1796.09	o 1531
1869.01/1797.83	o 1530
1870.71/1799.60	o 1529
1872.51/1801.37	o 1528
1875.61/1803.48	o 1527
1877.41/1805.26	o 1526
1879.21/1807.01	o 1525
1880.91/1808.78	o 1524
1882.71/1810.54	o 1523
1884.51/1812.36	o 1522
1886.32/1814.11	o 1521
1888.01/1815.88	o 1520
1889.81/1817.64	o 1519
1891.51/1819.38	o 1518
1893.32/1821.13	o 1517
1895.01/1822.86	o 1516
1896.82/1824.61	o 1515
1898.53/1826.33	o 1514
1900.33/1828.15	o 1513
1903.44/1830.24	o 1512
1905.15/1831.98	o 1511
1906.95/1833.74	o 1510
1908.65/1835.46	o 1509
1910.45/1837.21	o 1508
1912.15/1838.96	o 1507
1913.85/1840.68	o 1506
1915.65/1842.41	o 1505
1917.36/1844.16	o 1504
1919.05/1845.89	o 1503
1920.85/1847.64	o 1502
1922.56/1849.39	o 1501
1924.37/1851.14	o 1500
1926.06/1852.88	o 1499
1927.76/1854.59	o 1498
1929.56/1856.34	o 1497
1932.72/1858.48	o 1496
1934.52/1860.22	o 1495
1936.23/1861.96	o 1494
1938.03/1863.79	o 1493
1939.83/1865.51	o 1492
1941.53/1867.21	o 1491
1943.23/1868.93	o 1490
1944.93/1870.66	o 1489
1946.63/1872.38	o 1488
1948.44/1874.11	o 1487
1950.13/1875.84	o 1486
1951.83/1877.56	o 1485
1953.53/1879.25	o 1484
1955.23/1880.95	o 1483
1956.94/1882.63	o 1482
1959.93/1884.66	o 1481
1961.63/1886.39	o 1480
1963.44/1888.13	o 1479
1965.23/1889.94	o 1478
1966.93/1891.66	o 1477
1968.63/1893.38	o 1476
1970.34/1895.09	o 1475
1972.03/1896.78	o 1474
1973.73/1898.46	o 1473
1975.45/1900.15	o 1472
1977.14/1901.87	o 1471
1978.85/1903.57	o 1470
1980.55/1905.25	o 1469
1982.25/1906.94	o 1468
1983.95/1908.65	o 1467
1986.93/1910.69	o 1466
1988.73/1912.40	o 1465
1990.44/1914.13	o 1464
1992.13/1915.84	o 1463
1993.83/1917.59	o 1462
1995.64/1919.30	o 1461
1997.35/1921.02	o 1460
1999.04/1922.73	o 1459
2000.74/1924.45	o 1458
2002.45/1926.17	o 1457
2004.24/1927.90	o 1456
2005.94/1929.60	o 1455
2007.64/1931.31	o 1454
2009.24/1933.00	o 1453
2011.04/1934.72	o 1452
2014.08/1936.74	o 1451
2015.78/1938.43	o 1450
2017.49/1940.13	o 1449
2019.19/1941.82	o 1448
2020.88/1943.52	o 1447
2022.59/1945.24	o 1446
2024.29/1946.94	o 1445
2026.09/1948.74	o 1444
2027.79/1950.43	o 1443
2029.50/1952.12	o 1442
2031.19/1953.81	o 1441
2032.79/1955.49	o 1440
2034.50/1957.17	o 1439
2036.19/1958.87	o 1438
2039.34/1960.90	o 1437
2041.04/1962.64	o 1436
2042.74/1964.32	o 1435
2044.34/1966.00	o 1434
2046.04/1967.67	o 1433
2047.74/1969.34	o 1432
2049.45/1971.05	o 1431
2051.15/1972.73	o 1430
2052.85/1974.42	o 1429
2054.65/1976.23	o 1428
2056.25/1977.89	o 1427
2057.95/1979.58	o 1426
2059.65/1981.25	o 1425
2061.35/1982.91	o 1424
2063.05/1984.60	o 1423
2066.03/1986.61	o 1422
2067.64/1988.29	o 1421
2069.34/1989.96	o 1420
2071.04/1991.61	o 1419
2072.64/1993.27	o 1418
2074.34/1994.95	o 1417
2076.04/1996.64	o 1416
2077.85/1998.40	o 1415
2079.46/2000.10	o 1414
2081.25/2001.80	o 1413
2082.85/2003.50	o 1412
2084.56/2005.17	o 1411
2086.25/2006.85	o 1410
2087.95/2008.51	o 1409
2090.90/2010.50	o 1408
2092.52/2012.18	o 1407
2094.21/2013.85	o 1406
2095.91/2015.51	o 1405
2097.52/2017.17	o 1404
2099.21/2018.83	o 1403
2100.81/2020.49	o 1402
2102.52/2022.14	o 1401
2104.21/2023.80	o 1400
2105.81/2025.44	o 1399
2107.42/2027.09	o 1398
2109.12/2028.73	o 1397
2110.72/2030.39	o 1396
2112.53/2032.14	o 1395
2115.40/2034.10	o 1394
2117.09/2035.76	o 1393
2118.69/2037.39	o 1392
2120.40/2039.02	o 1391
2121.99/2040.66	o 1390
2123.59/2042.29	o 1389
2125.29/2043.99	o 1388
2127.00/2045.66	o 1387
2128.71/2047.31	o 1386
2130.30/2048.93	o 1385
2131.91/2050.56	o 1384
2133.60/2052.21	o 1383
2135.20/2053.84	o 1382
2136.80/2055.49	o 1381
2140.40/2057.60	o 1380
2142.00/2059.22	o 1379
2143.60/2060.84	o 1378
2145.20/2062.44	o 1377
2146.81/2064.06	o 1376
2148.50/2065.74	o 1375
2150.11/2067.37	o 1374
2151.71/2068.99	o 1373
2153.41/2070.61	o 1372
2155.01/2072.21	o 1371
2156.72/2073.94	o 1370
2158.31/2075.58	o 1369
2160.01/2077.20	o 1368
2161.61/2078.82	o 1367
2165.63/2081.06	o 1366
2167.22/2082.69	o 1365
2168.92/2084.30	o 1364
2170.52/2085.91	o 1363
2172.12/2087.50	o 1362
2173.73/2089.11	o 1361
2175.32/2090.75	o 1360
2177.02/2092.45	o 1359
2178.63/2094.07	o 1358
2180.32/2095.70	o 1357
2181.83/2097.29	o 1356
2183.53/2098.92	o 1355
2185.13/2100.55	o 1354
2186.74/2102.16	o 1353
2188.33/2103.76	o 1352
2192.26/2105.99	o 1351
2193.96/2107.66	o 1350
2195.56/2109.29	o 1349
2197.26/2110.93	o 1348
2198.86/2112.57	o 1347
2200.47/2114.19	o 1346
2202.16/2115.83	o 1345
2203.76/2117.48	o 1344
2205.47/2119.13	o 1343
2207.06/2120.79	o 1342
2208.66/2122.39	o 1341
2210.37/2124.01	o 1340
2211.96/2125.64	o 1339
2213.56/2127.28	o 1338
2217.39/2129.43	o 1337
2219.00/2131.02	o 1336
2220.60/2132.61	o 1335
2222.20/2134.21	o 1334
2223.80/2135.82	o 1333
2225.40/2137.43	o 1332
2227.00/2139.05	o 1331
2228.59/2140.67	o 1330
2230.19/2142.27	o 1329
2231.89/2143.90	o 1328
2233.49/2145.54	o 1327
2235.00/2147.10	o 1326
2236.59/2148.69	o 1325
2238.30/2150.37	o 1324
2239.90/2151.97	o 1323
2243.63/2154.10	o 1322
2245.22/2155.69	o 1321
2246.82/2157.29	o 1320
2248.42/2158.89	o 1319
2250.03/2160.49	o 1318
2251.64/2162.09	o 1317
2253.33/2163.71	o 1316
2254.93/2165.34	o 1315
2256.52/2166.94	o 1314
2258.13/2168.53	o 1313
2259.73/2170.13	o 1312
2261.33/2171.72	o 1311
2262.93/2173.31	o 1310
2264.53/2174.91	o 1309
2268.22/2177.07	o 1308
2269.81/2178.68	o 1307
2271.42/2180.28	o 1306
2273.02/2181.88	o 1305
2274.62/2183.46	o 1304
2276.23/2185.03	o 1303
2277.82/2186.62	o 1302
2279.33/2188.18	o 1301
2280.92/2189.75	o 1300
2282.52/2191.35	o 1299
2284.12/2192.93	o 1298
2285.72/2194.52	o 1297
2287.33/2196.11	o 1296
2288.92/2197.76	o 1295
2290.52/2199.32	o 1294
2294.24/2201.43	o 1293
2295.74/2202.99	o 1292
2297.34/2204.57	o 1291
2298.95/2206.15	o 1290
2300.54/2207.72	o 1289
2302.04/2209.28	o 1288
2303.65/2210.84	o 1287
2305.25/2212.44	o 1286
2306.86/2214.01	o 1285
2308.55/2215.70	o 1284
2310.05/2217.26	o 1283
2311.65/2218.83	o 1282
2313.15/2220.39	o 1281
2314.75/2221.96	o 1280
2318.43/2224.06	o 1279
2320.03/2225.65	o 1278
2321.64/2227.22	o 1277
2323.24/2228.80	o 1276
2324.74/2230.35	o 1275
2326.33/2231.91	o 1274
2327.83/2233.47	o 1273
2329.44/2235.05	o 1272
2331.03/2236.61	o 1271
2332.54/2238.17	o 1270
2334.03/2239.69	o 1269
2335.73/2241.35	o 1268
2337.34/2242.91	o 1267
2338.84/2244.46	o 1266
2340.44/2246.02	o 1265
2343.96/2248.09	o 1264
2345.55/2249.65	o 1263
2347.15/2251.22	o 1262
2348.75/2252.82	o 1261
2350.25/2254.38	o 1260
2351.85/2255.96	o 1259
2353.45/2257.54	o 1258
2355.06/2259.12	o 1257
2356.55/2260.68	o 1256
2358.15/2262.22	o 1255
2359.65/2263.74	o 1254
2361.15/2265.27	o 1253
2362.75/2266.83	o 1252
2364.25/2268.35	o 1251
2365.75/2269.86	o 1250
2369.23/2271.89	o 1249
2370.93/2273.51	o 1248
2372.44/2275.04	o 1247
2373.93/2276.58	o 1246
2375.54/2278.14	o 1245
2377.03/2279.68	o 1244
2378.63/2281.21	o 1243
2380.13/2282.75	o 1242
2381.63/2284.29	o 1241
2383.23/2285.83	o 1240
2384.73/2287.36	o 1239
2386.23/2288.87	o 1238
2387.73/2290.38	o 1237
2389.33/2291.90	o 1236
2390.83/2293.43	o 1235
2394.21/2295.43	o 1234
2395.71/2296.96	o 1233
2397.31/2298.50	o 1232
2398.82/2300.10	o 1231
2400.41/2301.63	o 1230
2401.92/2303.16	o 1229
2403.41/2304.68	o 1228
2404.92/2306.19	o 1227
2406.51/2307.70	o 1226
2408.01/2309.22	o 1225
2409.52/2310.72	o 1224
2411.02/2312.26	o 1223
2412.52/2313.79	o 1222
2414.12/2315.33	o 1221
2415.62/2316.88	o 1220
2419.08/2318.89	o 1219
2420.68/2320.41	o 1218
2422.18/2321.95	o 1217
2423.68/2323.46	o 1216
2425.39/2325.18	o 1215
2426.98/2326.70	o 1214
2428.48/2328.23	o 1213
2429.98/2329.74	o 1212
2431.48/2331.25	o 1211
2432.98/2332.76	o 1210
2434.49/2334.25	o 1209
2435.98/2335.76	o 1208
2437.49/2337.25	o 1207
2438.99/2338.77	o 1206
2440.49/2340.28	o 1205
2443.93/2342.27	o 1204
2445.43/2343.77	o 1203
2446.93/2345.28	o 1202
2448.53/2346.80	o 1201
2450.03/2348.30	o 1200
2451.53/2349.82	o 1199
2453.03/2351.33	o 1198
2454.54/2352.83	o 1197
2456.04/2354.33	o 1196
2457.53/2355.83	o 1195
2459.03/2357.37	o 1194
2460.53/2358.87	o 1193
2462.03/2360.38	o 1192
2463.53/2361.86	o 1191
2465.03/2363.36	o 1190
2466.54/2364.86	o 1189
2469.94/2366.83	o 1188
2471.54/2368.40	o 1187
2473.04/2369.93	o 1186
2474.54/2371.47	o 1185
2476.04/2372.97	o 1184
2477.54/2374.49	o 1183
2479.04/2375.97	o 1182
2480.54/2377.45	o 1181
2482.04/2378.95	o 1180
2483.55/2380.44	o 1179
2485.05/2381.94	o 1178
2486.55/2383.45	o 1177
2488.05/2384.96	o 1176
2489.65/2386.55	o 1175
2491.16/2388.03	o 1174
2494.35/2389.97	o 1173
2495.85/2391.48	o 1172
2497.35/2392.96	o 1171
2498.75/2394.39	o 1170
2500.25/2395.87	o 1169
2501.75/2397.36	o 1168
2503.26/2398.86	o 1167
2504.76/2400.36	o 1166
2506.26/2401.85	o 1165
2507.76/2403.36	o 1164
2509.26/2404.85	o 1163
2510.76/2406.33	o 1162
2512.25/2407.81	o 1161
2513.76/2409.35	o 1160
2515.25/2410.81	o 1159
2516.66/2412.28	o 1158
2520.04/2414.20	s SATISFIABLE
2520.04/2414.21	v <instantiation>
2520.04/2414.21	v 	<list>
2520.04/2414.21	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]
2520.04/2414.21	v 	</list>
2520.04/2414.21	v 	<values>
2520.04/2414.21	v 		1141 1134 1149 1123 1125 1145 1157 1144 1127 1158 1140 1150 1143 1139 1153 1147 1157 1122 1120 1132 1126 1133 1135 1128 1152 1151 1145 1157 1124 1146 1125 1141 1143 1138 1122 1152 1158 1156 1138 1132 1149 1151 1145 1128 1130 1150 1134 1157 1147 1155 1158 1140 1149 1153 1156 1153 1140 1146 1155 1151 1141 1138 1158 1157 1153 1150 1148 1151 1120 1148 1151 1128 1130 1153 1122 1123 1132 1141 1140 1151 1146 1135 1127 1131 1157 1158 1122 1125 1151 1156 1152 1140 1136 1142 1137 1141 1123 1154 1129 1137 1140 1121 1124 1158 1126 1156 1144 1133 1145 1153 1152 1143 1153 1136 1132 1145 1136 1135 1150 1138 1138 1130 1138 1146 1142 1144 1128 1134 1156 1149 1149 1157 1142 1148 1125 1154 1126 1145 1157 1139 1139 1147 1139 1141 1158 1151 1140 1158 1156 1147 1156 1155 1144 1157 1143 1150 1143 1141 1151 1157 1149 1153 1135 1156 1154 1140 1154 1155 1132 1157 1141 1156 1154 1156 1158 1157 1158 1150 1139 1158 1153 1126 1133 1157 1124 1158 1157 1155 1137 1127 1132 1138 1146 1145 1132 1134 1129 1156 1139 1142 1154 1152 1133 1128 1144 1147 1136 1130 1154 1151 1152 1153 1157 1158 1136 1121 1139 1156 1144 1123 1158 1147 1153 1123 1153 1154 1127 1143 1146 1147 1144 1142 1152 1141 1145 1141 1144 1137 1158 1157 1134 1152 1128 1149 1133 1153 1151 1138 1130 1127 1122 1128 1126 1143 1151 1130 1136 1142 1148 1146 1138 1128 1131 1139 1155 1123 1149 1141 1142 1134 1147 1150 1148 1145 1128 1140 1151 1142 1152 1157 1158 1127 1150 1158 1156 1157 1152 1157 1147 1144 1123 1150 1147 1128 1152 1133 1127 1154 1156 1152 1144 1156 1137 1148 1139 1132 1127 1145 1152 1153 1155 1147 1157 1142 1158 1132 1158 1157 1158 1153 1142 1148 1139 1156 1151 1155 1148 1125 1125 1158 1113 1122 1154 1145 1154 1130 1115 1122 1151 1149 1119 1131 1145 1132 1154 1136 1133 1147 1158 1140 1148 1133 1114 1116 1118 1134 1139 1158 1144 1142 1122 1134 1128 1121 1119 1124 1156 1158 1151 1147 1153 1131 1154 1156 1153 1136 1124 1156 1147 1142 1146 1138 1124 1154 1153 1157 1126 1130 1135 1153 1124 1141 1127 1128 1158 1150 1152 1132 1156 1143 1144 1134 1154 1154 1157 1156 1144 1158 1156 1151 1150 1158 1153 1157 1149 1152 1156 1141 1142 1144 1152 1146 1148 1157 1146 1158 1156 1156 1156 1157 1145 1153 1149 1156 1158 1156 1158 1132 1153 1153 1157 1153 1146 1148 1153 1154 1151 1144 1150 1156 1152 1155 1158 1143 1132 1128 1144 1145 1129 1131 1142 1143 1155 1146 1131 1121 1124 1122 1143 1153 1134 1125 1136 1120 1137 1135 1153 1158 1155 1133 1151 1142 1157 1143 1153 1132 1131 1128 1151 1136 1125 1156 1158 1147 1152 1149 1157 1148 1154 1157 1158 1152 1154 1157 1156 1150 1147 1140 1157 1136 1152 1152 1131 1154 1157 1158 1131 1128 1146 1144 1151 1147 1150 1149 1142 1128 1154 1134 1126 1155 1158 1130 1121 1145 1148 1139 1153 1122 1129 1118 1158 1147 1148 1143 1142 1140 1133 1139 1125 1121 1149 1120 1128 1121 1145 1125 1124 1149 1154 1123 1153 1133 1128 1150 1119 1124 1134 1130 1157 1146 1155 1132 1126 1129 1127 1132 1129 1155 1132 1128 1142 1155 1124 1143 1153 1138 1149 1148 1145 1156 1122 1122 1157 1135 1151 1156 1120 1146 1156 1129 1123 1130 1141 1135 1138 1151 1138 1127 1143 1157 1150 1144 1154 1133 1147 1143 1121 1149 1124 1140 1148 1130 1139 1128 1134 1154 1158 1150 1152 1146 1155 1152 1158 1146 1135 1158 1147 1153 1157 1157 1145 1150 1156 1155 1157 1151 1154 1148 1153 1128 1127 1156 1145 1130 1140 1123 1148 1156 1150 1149 1135 1145 1135 1125 1150 1144 1151 1143 1132 1154 1158 1128 1125 1154 1157 1156 1147 1138 1131 1153 1154 1151 1129 1158 1149 1134 1132 1130 1154 1140 1114 1142 1148 1137 1143 1156 1146 1140 1158 1150 1157 1147 1152 1158 1155 1139 1137 1143 1136 1155 1145 1119 1126 1157 1158 1132 1155 1139 1134 1139 1149 1147 1132 1156 1158 1145 1157 1154 1155 1152 1144 1146 1140 1126 1140 1151 1154 1150 1128 1126 1147 1157 1129 1157 1158 1143 1143 1143 1156 1157 1158 1143 1117 1118 1157 1147 1146 1151 1150 1144 1155 1146 1135 1150 1135 1125 1130 1150 1135 1137 1152 1158 1145 1132 1140 1117 1146 1152 1138 1148 1128 1157 1123 1143 1148 1121 1157 1144 1130 1141 1120 1139 1139 1132 1117 1116 1153 1126 1122 1135 1121 1147 1130 1116 1146 1134 1140 1142 1126 1145 1127 1147 1140 1136 1153 1129 1134 1137 1138 1123 1152 1153 1148 1158 1157 1154 1129 1143 1153 1129 1113 1140 1142 1125 1127 1131 1148 1137 1125 1143 1127 1138 1132 1136 1148 1138 1149 1140 1121 1138 1130 1139 1158 1155 1157 1133 1125 1143 1130 1158 1150 1157 1129 1137 1150 1137 1146 1129 1130 1138 1149 1125 1155 1150 1141 1142 1119 1127 1120 1127 1147 1137 1156 1131 1140 1130 1150 1157 1139 1148 1150 1148 1134 1136 1131 1120 1128 1131 1123 1156 1121 1144 1139 1124 1122 1133 1129 1152 1129 1158 1128 1120 1136 1121 1131 1144 1125 1124 1137 1137 1126 1156 1147 1140 1151 1119 1107 1130 1158 1110 1123 1152 1141 1129 1123 1139 1124 1135 1146 1155 1150 1143 1142 1129 1154 1133 1144 1142 1148 1126 1125 1119 1157 1155 1148 1129 1145 1141 1122 1143 1151 1130 1118 1121 1114 1120 1137 1134 1123 1144 1131 1132 1138 1145 1148 1142 1154 1142 1152 1150 1140 1157 1131 1154 1119 1156 1121 1127 1133 1119 1122 1137 1150 1148 1155 1129 1158 1125 1120 1124 1118 1124 1141 1127 1128 1142 1149 1149 1112 1145 1129 1155 1152 1138 1127 1124 1126 1145 1147 1155 1131 1151 1135 1157 1125 1136 1120 1145 1117 1115 1119 1114 1156 1157 1145 1136 1113 1149 1158 1138 1154 1147 1154 1150 1137 1145 1143 1153 1140 1144 1157 1150 1153 1124 1154 1150 1139 1150 1133 1145 1132 1117 1141 1138 1155 1146 1123 1128 1136 1154 1149 1126 1152 1127 1131 1155 1150 1125 1153 1130 1147 1129 1127 1148 1142 1126 1152 1130 1128 1151 1133 1126 1129 1157 1141 1141 1135 1112 1131 1133 1152 1146 1149 1125 1123 1130 1141 1154 1136 1139 1151 1150 1144 1138 1146 1129 1126 1135 1151 1140 1149 1136 1156 1152 1142 1150 1129 1157 1157 1155 1158 1137 1146 1149 1146 1118 1140 1126 1134 1129 1134 1146 1157 1133 1156 1158 1157 1157 1144 1118 1144 1157 1152 1154 1153 1124 1116 1153 1127 1126 1111 1155 1127 1129 1154 1148 1149 1149 1134 1122 1157 1123 1105 1134 1139 1126 1148 1143 1158 1122 1134 1136 1142 1157 1137 1138 1140 1127 1149 1150 1132 1152 1119 1117 1118 1158 1155 1127 1157 1148 1139 1145 1154 1136 1151 1137 1131 1129 1139 1126 1140 1109 1138 1137 1114 1142 1154 1143 1144 1155 1153 1151 1114 1121 1149 1132 1153 1141 1135 1146 1145 1149 1139 1152 1138 1133 1128 1147 1151 1149 1144 1123 1142 1122 1158 1154 1154 1156 1145 1134 1124 1156 1124 1150 1119 1115 1129 1112 1124 1134 1142 1157 1145 1141 1146 1142 1158 1149 1148 1152 1154 1155 1155 1113 1145 1132 1121 1146 1130 1147 1148 1130 1157 1127 1156 1147 1131 1124 1149 1148 1125 1147 1147 1124 1120 1121 1140 1116 1132 1138 1123 1128 1137 1118 1138 1129 1117 1152 1155 1146 1155 1126 1122 1138 1136 1150 1157 1123 1132 1152 1135 1156 1157 1133 1130 1123 1135 1121 1118 1150 1141 1149 1155 1146 1153 1139 1146 1146 1143 1144 1140 1107 1133 1148 1156 1123 1144 1146 1147 1123 1146 1113 1155 1136 1138 1113 1151 1152 1155 1132 1106 1151 1147 1155 1158 1137 1141 1141 1152 1135 1150 1116 1105 1157 1158 1157 1150 1124 1127 1155 1153 1137 1129 1141 1138 1107 1110 1113 1155 1147 1142 1127 1116 1149 1156 1147 1153 1143 1151 1156 1135 1120 1133 1125 1150 1147 1103 1125 1127 1134 1139 1133 1150 1152 1126 1140 1151 1129 1155 1131 1143 1134 1122 1136 1126 1141 1145 1143 1122 1145 1143 1116 1130 1152 1158 1152 1148 1134 1142 1115 1116 1145 1153 1121 1135 1130 1126 1146 1145 1149 1155 1149 1153 1149 1136 1151 1128 1125 1141 1150 1141 1132 1104 1147 1152 1106 1158 1152 1127 1153 1117 1124 1138 1131 1139 1131 1143 1134 1138 1149 1102 1137 1126 1126 1119 1133 1101 1144 1157 1146 1139 1139 1105 1122 1129 1148 1143 1119 1158 1145 1118 1132 1121 1108 1128 1124 1134 1132 1126 1148 1154 1142 1135 1131 1141 1120 1155 1143 1124 1148 1141 1115 1146 1153 1138 1146 1150 1115 1154 1133 1143 1149 1156 1138 1143 1112 1149 1154 1151 1135 1114 1158 1141 1158 1109 1125 1151 1129 1134 1142 1138 1133 1141 1132 1151 1152 1124 1120 1123 1144 1154 1157 1144 1116 1153 1155 1110 1136 1144 1158 1138 1141 1137 1139 1132 1125 1125 1120 1120 1127 1145 1142 1147 1123 1136 1146 1137 1142 1148 1124 1138 1155 1149 1129 1143 1145 1125 1121 1154 1116 1143 1130 1149 1157 1156 1117 1129 1118 1105 1151 1127 1131 1104 1119 1145 1129 1150 1158 1155 1128 1131 1156 1108 1153 1152 1156 1158 1110 1111 1144 1151 1151 1136 1154 1118 1127 1143 1118 1110 1137 1131 1131 1137 1149 1147 1144 1146 1143 1120 1153 1115 1142 1154 1131 1131 1155 1140 1145 1151 1143 1153 1148 1155 1145 1133 1145 1152 1113 1157 1130 1112 1152 1136 1126 1136 1153 1138 1143 1135 1137 1158 1139 1158 1120 1119 1154 1137 1131 1124 1144 1156 1141 1142 1140 1128 1142 1107 1126 1149 1155 1148 1146 1158 1147 1131 1149 1127 1139 1118 1145 1138 1143 1118 1135 1114 1140 1151 1136 1136 1142 1130 1148 1133 1148 1117 1141 1142 1116 1117 1127 1151 1138 1123 1130 1109 1127 1139 1133 1137 1136 1105 1148 1156 1145 1158 1153 1154 1125 1129 1129 1152 1115 1114 1136 1154 1156 1146 1135 1156 1131 1133 1141 1127 1141 1148 1138 1130 1129 1117 1118 1134 1124 1146 1154 1140 1156 1132 1143 1146 1126 1113 1155 1128 1119 1123 1136 1151 1113 1110 1119 1122 1118 1120 1127 1115 1126 1110 1117 1150 1129 1138 1136 1138 1134 1121 1119 1158 1138 1119 1141 1128 1099 1134 1118 1158 1155 1149 1124 1146 1157 1117 1138 1150 1144 1109 1148 1112 1143 1157 1123 1149 1129 1152 1118 1147 1115 1116 1120 1142 1155 1120 1132 1153 1109 1138 1115 1108 1126 1156 1157 1150 1118 1148 1135 1152 1142 1107 1114 1148 1110 1141 1150 1144 1142 1148 1119 1121 1138 1104 1121 1146 1115 1114 1128 1125 1149 1140 1139 1109 1118 1140 1147 1133 1121 1153 1106 1105 1106 1127 1150 1150 1127 1123 1127 1119 1129 1143 1136 1111 1151 1131 1139 1102 1113 1125 1151 1133 1155 1140 1122 1138 1133 1112 1129 1119 1111 1114 1155 1158 1153 1147 1133 1146 1130 1151 1141 1135 1133 1147 1114 1146 1153 1122 1102 1122 1111 1122 1118 1124 1144 1138 1124 1136 1146 1134 1116 1139 1107 1133 1137 1119 1135 1137 1146 1152 1123 1145 1111 1127 1140 1136 1144 1154 1147 1125 1112 1110 1113 1141 1122 1103 1135 1120 1134 1145 1153 1135 1123 1115 1111 1108 1150 1126 1128 1118 1113 1111 1125 1148 1136 1130 1114 1123 1142 1144 1128 1104 1127 1153 1120 1123 1108 1147 1123 1128 1137 1123 1119 1108 1152 1126 1132 1114 1133 1106 1132 1146 1130 1125 1135 1124 1155 1118 1104 1142 1117 1131 1118 1123 1150 1158 1152 1120 1123 1115 1145 1133 1111 1124 1125 1157 1157 1103 1144 1106 1112 1125 1156 1101 1147 1132 1108 1108 1149 1126 1121 1131 1140 1124 1122 1133 1132 1124 1156 1121 1139 1140 1149 1114 1153 1140 1121 1112 1147 1138 1110 1153 1121 1119 1124 1134 1139 1153 1142 1157 1154 1132 1104 1157 1116 1137 1134 1121 1107 1128 1114 1126 1106 1133 1130 1156 1127 1122 1100 1130 1126 1113 1137 1128 1129 1124 1134 1134 1116 1119 1131 1109 1158 1132 1124 1151 1117 1139 1144 1137 1128 1139 1151 1121 1152 1116 1122 1153 1154 1130 1122 1101 1110 1132 1122 1137 1120 1125 1115 1112 1150 1135 1117 1137 1151 1132 1121 1141 1126 1154 1129 1148 1144 1152 1117 1135 1117 1114 1153 1113 1122 1103 1106 1104 1132 1107 1156 1151 1156 1137 1136 1145 1144 1129 1100 1109 1129 1123 1106 1149 1126 1119 1108 1115 1123 1128 1110 1145 1126 1109 1153 1149 1135 1134 1120 1116 1156 1143 1116 1112 1133 1128 1136 1120 1142 1142 1107 1108 1116 1139 1110 1109 1116 1121 1150 1136 1140 1143 1111 1112 1111 1132 1117 1142 1124 1117 1157 1136 1102 1141 1146 1136 1141 1126 1157 1140 1130 1149 1148 1147 1120 1113 1115 1150 1116 1130 1135 1145 1155 1109 1114 1144 1147 1130 1120 1158 1147 1154 1120 1132 1125 1109 1111 1141 1143 1133 1115 1131 1144 1132 1131 1155 1127 1140 1151 1119 1121 1139 1153 1119 1120 1118 1105 1150 1121 1117 1122 1154 1152 1127 1115 1139 1154 1115 1144 1135 1134 1156 1148 1126 1119 1155 1128 1137 1124 1111 1147 1149 1127 1144 1122 1143 1135 1134 1122 1139 1148 1151 1150 1116 1116 1132 1118 1154 1146 1137 1140 1147 1133 1125 1130 1145 1122 1156 1136 1109 1106 1128 1128 1134 1128 1139 1143 1135 1138 1141 1158 1131 1151 1113 1145 1123 1125 1137 1108 1138 1112 1119 1152 1140 1131 1129 1131 
2520.04/2414.21	v 	</values>
2520.04/2414.21	v </instantiation>

Verifier Data 

OK	1158

Watcher Data 

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

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

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (15305 MiB free)
  memory of node 1: 16384 MiB (15269 MiB free)
  node distances:
     10  21
     21  10

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

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

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

solver pid=19531, runsolver pid=19528

[startup+0.100095 s]*
/proc/loadavg: 1.20 1.44 1.59 3/200 19537
/proc/meminfo: memFree=31302060/32770624 swapFree=67105588/67108860
[pid=19531] ppid=19528 vsize=13573664 memory=16444 CPUtime=0.02 cores=0,2,4,6
/proc/19531/stat : 19531 (java) S 19528 19531 12560 0 -1 1077944320 4030 0 0 0 2 0 0 0 20 0 9 0 73827405 13899431936 4111 18446744073709551615 4194304 4196468 140732520250544 140732520233088 140122108514039 0 0 1 16784584 18446744073709551615 0 0 17 6 0 0 7 0 0 6293624 6294260 11665408 140732520251759 140732520251945 140732520251945 140732520255439 0
/proc/19531/statm: 3393416 4111 2074 1 0 3382913 0
[pid=19531/tid=19533] ppid=19528 vsize=13573664 memory=-6439968830534014599 CPUtime=0.02 cores=0,2,4,6
/proc/19531/task/19533/stat : 19533 (java) R 19528 19531 12560 0 -1 4202560 2669 0 0 0 2 0 0 0 20 0 9 0 73827413 13899431936 4176 18446744073709551615 4194304 4196468 140732520250544 140122112749800 140122100751166 0 4 1 16784584 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11665408 140732520251759 140732520251945 140732520251945 140732520255439 0
[pid=19531/tid=19534] ppid=19528 vsize=13573664 memory=6735269665564437106 CPUtime=0 cores=0,2,4,6
/proc/19531/task/19534/stat : 19534 (java) S 19528 19531 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 73827414 13899431936 4176 18446744073709551615 4194304 4196468 140732520250544 140122042948368 140122108524245 0 4 1 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11665408 140732520251759 140732520251945 140732520251945 140732520255439 0
[pid=19531/tid=19535] ppid=19528 vsize=13573664 memory=140030628324992 CPUtime=0 cores=0,2,4,6
/proc/19531/task/19535/stat : 19535 (java) S 19528 19531 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 73827414 13899431936 4176 18446744073709551615 4194304 4196468 140732520250544 140122041895824 140122108524245 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11665408 140732520251759 140732520251945 140732520251945 140732520255439 0
[pid=19531/tid=19536] ppid=19528 vsize=13573664 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19531/task/19536/stat : 19536 (java) S 19528 19531 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 73827414 13899431936 4176 18446744073709551615 4194304 4196468 140732520250544 140122040843280 140122108524245 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11665408 140732520251759 140732520251945 140732520251945 140732520255439 0
[pid=19531/tid=19537] ppid=19528 vsize=13573664 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19531/task/19537/stat : 19537 (java) S 19528 19531 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 73827414 13899431936 4176 18446744073709551615 4194304 4196468 140732520250544 140122039790736 140122108524245 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11665408 140732520251759 140732520251945 140732520251945 140732520255439 0
[pid=19531/tid=19538] ppid=19528 vsize=13573664 memory=140030628324992 CPUtime=0 cores=0,2,4,6
/proc/19531/task/19538/stat : 19538 (java) S 19528 19531 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 73827415 13899431936 4176 18446744073709551615 4194304 4196468 140732520250544 140121586755568 140122108525186 0 0 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11665408 140732520251759 140732520251945 140732520251945 140732520255439 0
[pid=19531/tid=19539] ppid=19528 vsize=13573664 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19531/task/19539/stat : 19539 (java) S 19528 19531 12560 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 73827416 13899431936 4176 18446744073709551615 4194304 4196468 140732520250544 140121585701792 140122108524245 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11665408 140732520251759 140732520251945 140732520251945 140732520255439 0
[pid=19531/tid=19540] ppid=19528 vsize=13573664 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19531/task/19540/stat : 19540 (java) S 19528 19531 12560 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 9 0 73827416 13899431936 4176 18446744073709551615 4194304 4196468 140732520250544 140121584649264 140122108524245 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11665408 140732520251759 140732520251945 140732520251945 140732520255439 0
Current children cumulated CPU time: 0.02 s
Current children cumulated vsize: 13573664 KiB
Current children cumulated memory: 16444 KiB

[startup+0.210342 s]*
/proc/loadavg: 1.20 1.44 1.59 3/209 19546
/proc/meminfo: memFree=31292128/32770624 swapFree=67105588/67108860
[pid=19531] ppid=19528 vsize=13975920 memory=31256 CPUtime=0.1 cores=0,2,4,6
/proc/19531/stat : 19531 (java) S 19528 19531 12560 0 -1 1077944320 7078 0 0 0 9 1 0 0 20 0 15 0 73827405 14311342080 7814 18446744073709551615 4194304 4196468 140732520250544 140732520233088 140122108514039 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 7 0 0 6293624 6294260 11665408 140732520251759 140732520251945 140732520251945 140732520255439 0
/proc/19531/statm: 3493980 7814 3382 1 0 3482759 0
[pid=19531/tid=19533] ppid=19528 vsize=13975920 memory=8318255677412212789 CPUtime=0.08 cores=0,2,4,6
/proc/19531/task/19533/stat : 19533 (java) R 19528 19531 12560 0 -1 4202560 5044 0 0 0 7 1 0 0 20 0 15 0 73827413 14311342080 7814 18446744073709551615 4194304 4196468 140732520250544 140122112734664 140122094196569 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 11665408 140732520251759 140732520251945 140732520251945 140732520255439 0
[pid=19531/tid=19534] ppid=19528 vsize=13975920 memory=328 CPUtime=0 cores=0,2,4,6
/proc/19531/task/19534/stat : 19534 (java) S 19528 19531 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73827414 14311342080 7814 18446744073709551615 4194304 4196468 140732520250544 140122042948368 140122108524245 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11665408 140732520251759 140732520251945 140732520251945 140732520255439 0
[pid=19531/tid=19535] ppid=19528 vsize=13975920 memory=140030628342585 CPUtime=0 cores=0,2,4,6
/proc/19531/task/19535/stat : 19535 (java) S 19528 19531 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73827414 14311342080 7814 18446744073709551615 4194304 4196468 140732520250544 140122041895824 140122108524245 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11665408 140732520251759 140732520251945 140732520251945 140732520255439 0
[pid=19531/tid=19536] ppid=19528 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19531/task/19536/stat : 19536 (java) S 19528 19531 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73827414 14311342080 7814 18446744073709551615 4194304 4196468 140732520250544 140122040843280 140122108524245 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11665408 140732520251759 140732520251945 140732520251945 140732520255439 0
[pid=19531/tid=19537] ppid=19528 vsize=13975920 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19531/task/19537/stat : 19537 (java) S 19528 19531 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73827414 14311342080 7814 18446744073709551615 4194304 4196468 140732520250544 140122039790736 140122108524245 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11665408 140732520251759 140732520251945 140732520251945 140732520255439 0
[pid=19531/tid=19538] ppid=19528 vsize=13975920 memory=140030628324992 CPUtime=0 cores=0,2,4,6
/proc/19531/task/19538/stat : 19538 (java) S 19528 19531 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73827415 14311342080 7814 18446744073709551615 4194304 4196468 140732520250544 140121586755568 140122108525186 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11665408 140732520251759 140732520251945 140732520251945 140732520255439 0
[pid=19531/tid=19539] ppid=19528 vsize=13975920 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19531/task/19539/stat : 19539 (java) S 19528 19531 12560 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 73827416 14311342080 7814 18446744073709551615 4194304 4196468 140732520250544 140121585701792 140122108524245 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11665408 140732520251759 140732520251945 140732520251945 140732520255439 0
[pid=19531/tid=19540] ppid=19528 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19531/task/19540/stat : 19540 (java) S 19528 19531 12560 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 73827416 14311342080 7814 18446744073709551615 4194304 4196468 140732520250544 140121584649200 140122108524245 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11665408 140732520251759 140732520251945 140732520251945 140732520255439 0
[pid=19531/tid=19541] ppid=19528 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19531/task/19541/stat : 19541 (java) S 19528 19531 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73827419 14311342080 7814 18446744073709551615 4194304 4196468 140732520250544 140121583597776 140122108532635 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11665408 140732520251759 140732520251945 140732520251945 140732520255439 0
[pid=19531/tid=19542] ppid=19528 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19531/task/19542/stat : 19542 (java) S 19528 19531 12560 0 -1 1077944384 306 0 0 0 0 0 0 0 20 0 15 0 73827419 14311342080 7814 18446744073709551615 4194304 4196468 140732520250544 140121582545392 140122108525186 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11665408 140732520251759 140732520251945 140732520251945 140732520255439 0
[pid=19531/tid=19543] ppid=19528 vsize=13975920 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19531/task/19543/stat : 19543 (java) S 19528 19531 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73827419 14311342080 7814 18446744073709551615 4194304 4196468 140732520250544 140121581492848 140122108525186 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11665408 140732520251759 140732520251945 140732520251945 140732520255439 0
[pid=19531/tid=19544] ppid=19528 vsize=13975920 memory=140030628324992 CPUtime=0.01 cores=0,2,4,6
/proc/19531/task/19544/stat : 19544 (java) R 19528 19531 12560 0 -1 4202560 355 0 0 0 1 0 0 0 20 0 15 0 73827419 14311342080 7814 18446744073709551615 4194304 4196468 140732520250544 140121580440304 140122087471125 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11665408 140732520251759 140732520251945 140732520251945 140732520255439 0
[pid=19531/tid=19545] ppid=19528 vsize=13975920 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19531/task/19545/stat : 19545 (java) S 19528 19531 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73827419 14311342080 7814 18446744073709551615 4194304 4196468 140732520250544 140121579388000 140122108524245 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11665408 140732520251759 140732520251945 140732520251945 140732520255439 0
[pid=19531/tid=19546] ppid=19528 vsize=13975920 memory=140030628324992 CPUtime=0 cores=0,2,4,6
/proc/19531/task/19546/stat : 19546 (java) S 19528 19531 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73827424 14311342080 7814 18446744073709551615 4194304 4196468 140732520250544 140121578334512 140122108525186 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11665408 140732520251759 140732520251945 140732520251945 140732520255439 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 13975920 KiB
Current children cumulated memory: 31256 KiB

[startup+0.310992 s]*
/proc/loadavg: 1.20 1.44 1.59 3/209 19546
/proc/meminfo: memFree=31281472/32770624 swapFree=67105588/67108860
[pid=19531] ppid=19528 vsize=13975920 memory=40476 CPUtime=0.26 cores=0,2,4,6
/proc/19531/stat : 19531 (java) S 19528 19531 12560 0 -1 1077944320 10808 0 0 0 23 3 0 0 20 0 15 0 73827405 14311342080 10119 18446744073709551615 4194304 4196468 140732520250544 140732520233088 140122108514039 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 7 0 0 6293624 6294260 11665408 140732520251759 140732520251945 140732520251945 140732520255439 0
/proc/19531/statm: 3493980 10119 3551 1 0 3482759 0
[pid=19531/tid=19533] ppid=19528 vsize=13975920 memory=-8774313645642428999 CPUtime=0.17 cores=0,2,4,6
/proc/19531/task/19533/stat : 19533 (java) R 19528 19531 12560 0 -1 4202560 8486 0 0 0 15 2 0 0 20 0 15 0 73827413 14311342080 10119 18446744073709551615 4194304 4196468 140732520250544 140122112713824 140122092594526 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 11665408 140732520251759 140732520251945 140732520251945 140732520255439 0
[pid=19531/tid=19534] ppid=19528 vsize=13975920 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/19531/task/19534/stat : 19534 (java) S 19528 19531 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73827414 14311342080 10119 18446744073709551615 4194304 4196468 140732520250544 140122042948368 140122108524245 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11665408 140732520251759 140732520251945 140732520251945 140732520255439 0
[pid=19531/tid=19535] ppid=19528 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19531/task/19535/stat : 19535 (java) S 19528 19531 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73827414 14311342080 10119 18446744073709551615 4194304 4196468 140732520250544 140122041895824 140122108524245 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11665408 140732520251759 140732520251945 140732520251945 140732520255439 0
[pid=19531/tid=19536] ppid=19528 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19531/task/19536/stat : 19536 (java) S 19528 19531 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73827414 14311342080 10119 18446744073709551615 4194304 4196468 140732520250544 140122040843280 140122108524245 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11665408 140732520251759 140732520251945 140732520251945 140732520255439 0
[pid=19531/tid=19537] ppid=19528 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19531/task/19537/stat : 19537 (java) S 19528 19531 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73827414 14311342080 10119 18446744073709551615 4194304 4196468 140732520250544 140122039790736 140122108524245 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11665408 140732520251759 140732520251945 140732520251945 140732520255439 0
[pid=19531/tid=19538] ppid=19528 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19531/task/19538/stat : 19538 (java) S 19528 19531 12560 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 73827415 14311342080 10119 18446744073709551615 4194304 4196468 140732520250544 140121586755568 140122108525186 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11665408 140732520251759 140732520251945 140732520251945 140732520255439 0
[pid=19531/tid=19539] ppid=19528 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19531/task/19539/stat : 19539 (java) S 19528 19531 12560 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 73827416 14311342080 10119 18446744073709551615 4194304 4196468 140732520250544 140121585701792 140122108524245 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11665408 140732520251759 140732520251945 140732520251945 140732520255439 0
[pid=19531/tid=19540] ppid=19528 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19531/task/19540/stat : 19540 (java) S 19528 19531 12560 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 73827416 14311342080 10119 18446744073709551615 4194304 4196468 140732520250544 140121584649200 140122108524245 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11665408 140732520251759 140732520251945 140732520251945 140732520255439 0
[pid=19531/tid=19541] ppid=19528 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19531/task/19541/stat : 19541 (java) S 19528 19531 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73827419 14311342080 10119 18446744073709551615 4194304 4196468 140732520250544 140121583597776 140122108532635 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11665408 140732520251759 140732520251945 140732520251945 140732520255439 0
[pid=19531/tid=19542] ppid=19528 vsize=13975920 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/19531/task/19542/stat : 19542 (java) S 19528 19531 12560 0 -1 1077944384 474 0 0 0 1 0 0 0 20 0 15 0 73827419 14311342080 10119 18446744073709551615 4194304 4196468 140732520250544 140121582545392 140122108525186 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11665408 140732520251759 140732520251945 140732520251945 140732520255439 0
[pid=19531/tid=19543] ppid=19528 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19531/task/19543/stat : 19543 (java) S 19528 19531 12560 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 15 0 73827419 14311342080 10119 18446744073709551615 4194304 4196468 140732520250544 140121581492848 140122108525186 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11665408 140732520251759 140732520251945 140732520251945 140732520255439 0
[pid=19531/tid=19544] ppid=19528 vsize=13975920 memory=-1 CPUtime=0.05 cores=0,2,4,6
/proc/19531/task/19544/stat : 19544 (java) R 19528 19531 12560 0 -1 4202560 433 0 0 0 5 0 0 0 20 0 15 0 73827419 14311342080 10119 18446744073709551615 4194304 4196468 140732520250544 140121580440304 140122087813071 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11665408 140732520251759 140732520251945 140732520251945 140732520255439 0
[pid=19531/tid=19545] ppid=19528 vsize=13975920 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19531/task/19545/stat : 19545 (java) S 19528 19531 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73827419 14311342080 10119 18446744073709551615 4194304 4196468 140732520250544 140121579388000 140122108524245 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11665408 140732520251759 140732520251945 140732520251945 140732520255439 0
[pid=19531/tid=19546] ppid=19528 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19531/task/19546/stat : 19546 (java) S 19528 19531 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73827424 14311342080 10119 18446744073709551615 4194304 4196468 140732520250544 140121578334512 140122108525186 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11665408 140732520251759 140732520251945 140732520251945 140732520255439 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 13975920 KiB
Current children cumulated memory: 40476 KiB

[startup+0.700785 s]
/proc/loadavg: 1.20 1.44 1.59 5/209 19546
/proc/meminfo: memFree=31266880/32770624 swapFree=67105588/67108860
[pid=19531] ppid=19528 vsize=13975940 memory=114268 CPUtime=1.12 cores=0,2,4,6
/proc/19531/stat : 19531 (java) S 19528 19531 12560 0 -1 1077944320 14612 0 0 0 106 6 0 0 20 0 15 0 73827405 14311362560 28567 18446744073709551615 4194304 4196468 140732520250544 140732520233088 140122108514039 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 7 0 0 6293624 6294260 11665408 140732520251759 140732520251945 140732520251945 140732520255439 0
/proc/19531/statm: 3493985 28567 3725 1 0 3482759 0
[pid=19531/tid=19533] ppid=19528 vsize=13975940 memory=93 CPUtime=0.56 cores=0,2,4,6
/proc/19531/task/19533/stat : 19533 (java) R 19528 19531 12560 0 -1 4202560 10095 0 0 0 52 4 0 0 20 0 15 0 73827413 14311362560 28567 18446744073709551615 4194304 4196468 140732520250544 140122112744016 140122108535965 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 11665408 140732520251759 140732520251945 140732520251945 140732520255439 0
[pid=19531/tid=19534] ppid=19528 vsize=13975940 memory=28 CPUtime=0 cores=0,2,4,6
/proc/19531/task/19534/stat : 19534 (java) S 19528 19531 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73827414 14311362560 28567 18446744073709551615 4194304 4196468 140732520250544 140122042948368 140122108524245 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11665408 140732520251759 140732520251945 140732520251945 140732520255439 0
[pid=19531/tid=19535] ppid=19528 vsize=13975940 memory=33 CPUtime=0 cores=0,2,4,6
/proc/19531/task/19535/stat : 19535 (java) S 19528 19531 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73827414 14311362560 28567 18446744073709551615 4194304 4196468 140732520250544 140122041895824 140122108524245 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11665408 140732520251759 140732520251945 140732520251945 140732520255439 0
[pid=19531/tid=19536] ppid=19528 vsize=13975940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19531/task/19536/stat : 19536 (java) S 19528 19531 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73827414 14311362560 28567 18446744073709551615 4194304 4196468 140732520250544 140122040843280 140122108524245 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11665408 140732520251759 140732520251945 140732520251945 140732520255439 0
[pid=19531/tid=19537] ppid=19528 vsize=13975940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19531/task/19537/stat : 19537 (java) S 19528 19531 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73827414 14311362560 28567 18446744073709551615 4194304 4196468 140732520250544 140122039790736 140122108524245 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11665408 140732520251759 140732520251945 140732520251945 140732520255439 0
[pid=19531/tid=19538] ppid=19528 vsize=13975940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19531/task/19538/stat : 19538 (java) S 19528 19531 12560 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 73827415 14311362560 28567 18446744073709551615 4194304 4196468 140732520250544 140121586755568 140122108525186 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11665408 140732520251759 140732520251945 140732520251945 140732520255439 0
[pid=19531/tid=19539] ppid=19528 vsize=13975940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19531/task/19539/stat : 19539 (java) S 19528 19531 12560 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 73827416 14311362560 28567 18446744073709551615 4194304 4196468 140732520250544 140121585701792 140122108524245 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11665408 140732520251759 140732520251945 140732520251945 140732520255439 0
[pid=19531/tid=19540] ppid=19528 vsize=13975940 memory=947 CPUtime=0 cores=0,2,4,6
/proc/19531/task/19540/stat : 19540 (java) S 19528 19531 12560 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 73827416 14311362560 28567 18446744073709551615 4194304 4196468 140732520250544 140121584649200 140122108524245 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11665408 140732520251759 140732520251945 140732520251945 140732520255439 0
[pid=19531/tid=19541] ppid=19528 vsize=13975940 memory=66 CPUtime=0 cores=0,2,4,6
/proc/19531/task/19541/stat : 19541 (java) S 19528 19531 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73827419 14311362560 28567 18446744073709551615 4194304 4196468 140732520250544 140121583597776 140122108532635 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11665408 140732520251759 140732520251945 140732520251945 140732520255439 0
[pid=19531/tid=19542] ppid=19528 vsize=13975940 memory=248 CPUtime=0.16 cores=0,2,4,6
/proc/19531/task/19542/stat : 19542 (java) S 19528 19531 12560 0 -1 1077944384 1271 0 0 0 16 0 0 0 20 0 15 0 73827419 14311362560 28567 18446744073709551615 4194304 4196468 140732520250544 140121582545392 140122108525186 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11665408 140732520251759 140732520251945 140732520251945 140732520255439 0
[pid=19531/tid=19543] ppid=19528 vsize=13975940 memory=280060992950032 CPUtime=0.19 cores=0,2,4,6
/proc/19531/task/19543/stat : 19543 (java) R 19528 19531 12560 0 -1 4202560 1103 0 0 0 19 0 0 0 20 0 15 0 73827419 14311362560 28567 18446744073709551615 4194304 4196468 140732520250544 140121581478728 140122088345043 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11665408 140732520251759 140732520251945 140732520251945 140732520255439 0
[pid=19531/tid=19544] ppid=19528 vsize=13975940 memory=2509938624257 CPUtime=0.17 cores=0,2,4,6
/proc/19531/task/19544/stat : 19544 (java) S 19528 19531 12560 0 -1 1077944384 760 0 0 0 17 0 0 0 20 0 15 0 73827419 14311362560 28567 18446744073709551615 4194304 4196468 140732520250544 140121580440304 140122108525186 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11665408 140732520251759 140732520251945 140732520251945 140732520255439 0
[pid=19531/tid=19545] ppid=19528 vsize=13975940 memory=2518528558849 CPUtime=0 cores=0,2,4,6
/proc/19531/task/19545/stat : 19545 (java) S 19528 19531 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73827419 14311362560 28567 18446744073709551615 4194304 4196468 140732520250544 140121579388000 140122108524245 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11665408 140732520251759 140732520251945 140732520251945 140732520255439 0
[pid=19531/tid=19546] ppid=19528 vsize=13975940 memory=2561478231809 CPUtime=0 cores=0,2,4,6
/proc/19531/task/19546/stat : 19546 (java) S 19528 19531 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73827424 14311362560 28567 18446744073709551615 4194304 4196468 140732520250544 140121578334512 140122108525186 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11665408 140732520251759 140732520251945 140732520251945 140732520255439 0
Current children cumulated CPU time: 1.12 s
Current children cumulated vsize: 13975940 KiB
Current children cumulated memory: 114268 KiB

[startup+1.50158 s]
/proc/loadavg: 1.20 1.44 1.59 5/209 19546
/proc/meminfo: memFree=31148768/32770624 swapFree=67105588/67108860
[pid=19531] ppid=19528 vsize=13977988 memory=304892 CPUtime=3.46 cores=0,2,4,6
/proc/19531/stat : 19531 (java) S 19528 19531 12560 0 -1 1077944320 20544 0 0 0 331 15 0 0 20 0 15 0 73827405 14313459712 76223 18446744073709551615 4194304 4196468 140732520250544 140732520233088 140122108514039 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 7 0 0 6293624 6294260 11665408 140732520251759 140732520251945 140732520251945 140732520255439 0
/proc/19531/statm: 3494497 76223 3781 1 0 3483271 0
[pid=19531/tid=19533] ppid=19528 vsize=13977988 memory=0 CPUtime=1.24 cores=0,2,4,6
/proc/19531/task/19533/stat : 19533 (java) R 19528 19531 12560 0 -1 4202560 10400 0 0 0 120 4 0 0 20 0 15 0 73827413 14313459712 76223 18446744073709551615 4194304 4196468 140732520250544 140122112748472 140121717972453 0 4 1 16800974 0 0 0 -1 6 0 0 4 0 0 6293624 6294260 11665408 140732520251759 140732520251945 140732520251945 140732520255439 0
[pid=19531/tid=19534] ppid=19528 vsize=13977988 memory=0 CPUtime=0.06 cores=0,2,4,6
/proc/19531/task/19534/stat : 19534 (java) S 19528 19531 12560 0 -1 1077944384 61 0 0 0 5 1 0 0 20 0 15 0 73827414 14313459712 76223 18446744073709551615 4194304 4196468 140732520250544 140122042948368 140122108524245 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11665408 140732520251759 140732520251945 140732520251945 140732520255439 0
[pid=19531/tid=19535] ppid=19528 vsize=13977988 memory=280060993182080 CPUtime=0.03 cores=0,2,4,6
/proc/19531/task/19535/stat : 19535 (java) S 19528 19531 12560 0 -1 1077944384 44 0 0 0 2 1 0 0 20 0 15 0 73827414 14313459712 76223 18446744073709551615 4194304 4196468 140732520250544 140122041895824 140122108524245 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11665408 140732520251759 140732520251945 140732520251945 140732520255439 0
[pid=19531/tid=19536] ppid=19528 vsize=13977988 memory=9132 CPUtime=0.05 cores=0,2,4,6
/proc/19531/task/19536/stat : 19536 (java) S 19528 19531 12560 0 -1 1077944384 140 0 0 0 4 1 0 0 20 0 15 0 73827414 14313459712 76223 18446744073709551615 4194304 4196468 140732520250544 140122040843280 140122108524245 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11665408 140732520251759 140732520251945 140732520251945 140732520255439 0
[pid=19531/tid=19537] ppid=19528 vsize=13977988 memory=19658 CPUtime=0.07 cores=0,2,4,6
/proc/19531/task/19537/stat : 19537 (java) S 19528 19531 12560 0 -1 1077944384 83 0 0 0 5 2 0 0 20 0 15 0 73827414 14313459712 76223 18446744073709551615 4194304 4196468 140732520250544 140122039790736 140122108524245 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11665408 140732520251759 140732520251945 140732520251945 140732520255439 0
[pid=19531/tid=19538] ppid=19528 vsize=13977988 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19531/task/19538/stat : 19538 (java) S 19528 19531 12560 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 15 0 73827415 14313459712 76223 18446744073709551615 4194304 4196468 140732520250544 140121586755568 140122108525186 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11665408 140732520251759 140732520251945 140732520251945 140732520255439 0
[pid=19531/tid=19539] ppid=19528 vsize=13977988 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19531/task/19539/stat : 19539 (java) S 19528 19531 12560 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 73827416 14313459712 76223 18446744073709551615 4194304 4196468 140732520250544 140121585701792 140122108524245 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11665408 140732520251759 140732520251945 140732520251945 140732520255439 0
[pid=19531/tid=19540] ppid=19528 vsize=13977988 memory=33 CPUtime=0 cores=0,2,4,6
/proc/19531/task/19540/stat : 19540 (java) S 19528 19531 12560 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 73827416 14313459712 76223 18446744073709551615 4194304 4196468 140732520250544 140121584649200 140122108524245 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11665408 140732520251759 140732520251945 140732520251945 140732520255439 0
[pid=19531/tid=19541] ppid=19528 vsize=13977988 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19531/task/19541/stat : 19541 (java) S 19528 19531 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73827419 14313459712 76223 18446744073709551615 4194304 4196468 140732520250544 140121583597776 140122108532635 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11665408 140732520251759 140732520251945 140732520251945 140732520255439 0
[pid=19531/tid=19542] ppid=19528 vsize=13977988 memory=0 CPUtime=0.83 cores=0,2,4,6
/proc/19531/task/19542/stat : 19542 (java) R 19528 19531 12560 0 -1 4202560 4201 0 0 0 83 0 0 0 20 0 15 0 73827419 14313459712 76223 18446744073709551615 4194304 4196468 140732520250544 140121582524064 140122092902088 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11665408 140732520251759 140732520251945 140732520251945 140732520255439 0
[pid=19531/tid=19543] ppid=19528 vsize=13977988 memory=0 CPUtime=0.79 cores=0,2,4,6
/proc/19531/task/19543/stat : 19543 (java) S 19528 19531 12560 0 -1 1077944384 3118 0 0 0 78 1 0 0 20 0 15 0 73827419 14313459712 76223 18446744073709551615 4194304 4196468 140732520250544 140121581492848 140122108525186 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11665408 140732520251759 140732520251945 140732520251945 140732520255439 0
[pid=19531/tid=19544] ppid=19528 vsize=13977988 memory=0 CPUtime=0.29 cores=0,2,4,6
/proc/19531/task/19544/stat : 19544 (java) S 19528 19531 12560 0 -1 1077944384 1041 0 0 0 29 0 0 0 20 0 15 0 73827419 14313459712 76223 18446744073709551615 4194304 4196468 140732520250544 140121580440304 140122108525186 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11665408 140732520251759 140732520251945 140732520251945 140732520255439 0

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

/proc/19531/task/19533/stat : 19533 (java) R 19528 19531 12560 0 -1 4202560 1405956 0 0 0 223039 153 0 0 20 0 15 0 73827413 14315556864 2390066 18446744073709551615 4194304 4196468 140732520250544 140122112744080 140121724122912 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 11665408 140732520251759 140732520251945 140732520251945 140732520255439 0
[pid=19531/tid=19534] ppid=19528 vsize=13980036 memory=9560264 CPUtime=29.05 cores=0,2,4,6
/proc/19531/task/19534/stat : 19534 (java) S 19528 19531 12560 0 -1 1077944384 189653 0 0 0 2718 187 0 0 20 0 15 0 73827414 14315556864 2390066 18446744073709551615 4194304 4196468 140732520250544 140122042948368 140122108524245 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11665408 140732520251759 140732520251945 140732520251945 140732520255439 0
[pid=19531/tid=19535] ppid=19528 vsize=13980036 memory=9560264 CPUtime=28.98 cores=0,2,4,6
/proc/19531/task/19535/stat : 19535 (java) S 19528 19531 12560 0 -1 1077944384 212300 0 0 0 2697 201 0 0 20 0 15 0 73827414 14315556864 2390066 18446744073709551615 4194304 4196468 140732520250544 140122041895824 140122108524245 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11665408 140732520251759 140732520251945 140732520251945 140732520255439 0
[pid=19531/tid=19536] ppid=19528 vsize=13980036 memory=9560264 CPUtime=29.06 cores=0,2,4,6
/proc/19531/task/19536/stat : 19536 (java) S 19528 19531 12560 0 -1 1077944384 270253 0 0 0 2726 180 0 0 20 0 15 0 73827414 14315556864 2390066 18446744073709551615 4194304 4196468 140732520250544 140122040843280 140122108524245 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11665408 140732520251759 140732520251945 140732520251945 140732520255439 0
[pid=19531/tid=19537] ppid=19528 vsize=13980036 memory=0 CPUtime=28.96 cores=0,2,4,6
/proc/19531/task/19537/stat : 19537 (java) S 19528 19531 12560 0 -1 1077944384 210905 0 0 0 2694 202 0 0 20 0 15 0 73827414 14315556864 2390066 18446744073709551615 4194304 4196468 140732520250544 140122039790736 140122108524245 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11665408 140732520251759 140732520251945 140732520251945 140732520255439 0
[pid=19531/tid=19538] ppid=19528 vsize=13980036 memory=9560264 CPUtime=0.61 cores=0,2,4,6
/proc/19531/task/19538/stat : 19538 (java) S 19528 19531 12560 0 -1 1077944384 22558 0 0 0 56 5 0 0 20 0 15 0 73827415 14315556864 2390066 18446744073709551615 4194304 4196468 140732520250544 140121586755568 140122108525186 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11665408 140732520251759 140732520251945 140732520251945 140732520255439 0
[pid=19531/tid=19539] ppid=19528 vsize=13980036 memory=14260 CPUtime=0 cores=0,2,4,6
/proc/19531/task/19539/stat : 19539 (java) S 19528 19531 12560 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 73827416 14315556864 2390066 18446744073709551615 4194304 4196468 140732520250544 140121585701856 140122108524245 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11665408 140732520251759 140732520251945 140732520251945 140732520255439 0
[pid=19531/tid=19540] ppid=19528 vsize=13980036 memory=796 CPUtime=0 cores=0,2,4,6
/proc/19531/task/19540/stat : 19540 (java) S 19528 19531 12560 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 73827416 14315556864 2390066 18446744073709551615 4194304 4196468 140732520250544 140121584649216 140122108524245 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11665408 140732520251759 140732520251945 140732520251945 140732520255439 0
[pid=19531/tid=19541] ppid=19528 vsize=13980036 memory=4048 CPUtime=0 cores=0,2,4,6
/proc/19531/task/19541/stat : 19541 (java) S 19528 19531 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73827419 14315556864 2390066 18446744073709551615 4194304 4196468 140732520250544 140121583597776 140122108532635 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11665408 140732520251759 140732520251945 140732520251945 140732520255439 0
[pid=19531/tid=19542] ppid=19528 vsize=13980036 memory=644 CPUtime=3.76 cores=0,2,4,6
/proc/19531/task/19542/stat : 19542 (java) S 19528 19531 12560 0 -1 1077944384 16219 0 0 0 373 3 0 0 20 0 15 0 73827419 14315556864 2390066 18446744073709551615 4194304 4196468 140732520250544 140121582545392 140122108525186 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11665408 140732520251759 140732520251945 140732520251945 140732520255439 0
[pid=19531/tid=19543] ppid=19528 vsize=13980036 memory=9560264 CPUtime=3.6 cores=0,2,4,6
/proc/19531/task/19543/stat : 19543 (java) S 19528 19531 12560 0 -1 1077944384 16829 0 0 0 356 4 0 0 20 0 15 0 73827419 14315556864 2390066 18446744073709551615 4194304 4196468 140732520250544 140121581492848 140122108525186 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11665408 140732520251759 140732520251945 140732520251945 140732520255439 0
[pid=19531/tid=19544] ppid=19528 vsize=13980036 memory=1292 CPUtime=0.86 cores=0,2,4,6
/proc/19531/task/19544/stat : 19544 (java) S 19528 19531 12560 0 -1 1077944384 24538 0 0 0 83 3 0 0 20 0 15 0 73827419 14315556864 2390066 18446744073709551615 4194304 4196468 140732520250544 140121580440304 140122108525186 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11665408 140732520251759 140732520251945 140732520251945 140732520255439 0
[pid=19531/tid=19545] ppid=19528 vsize=13980036 memory=2384 CPUtime=0 cores=0,2,4,6
/proc/19531/task/19545/stat : 19545 (java) S 19528 19531 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73827419 14315556864 2390066 18446744073709551615 4194304 4196468 140732520250544 140121579388000 140122108524245 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11665408 140732520251759 140732520251945 140732520251945 140732520255439 0
[pid=19531/tid=19546] ppid=19528 vsize=13980036 memory=1292 CPUtime=1.35 cores=0,2,4,6
/proc/19531/task/19546/stat : 19546 (java) S 19528 19531 12560 0 -1 1077944384 1316 0 0 0 64 71 0 0 20 0 15 0 73827424 14315556864 2390066 18446744073709551615 4194304 4196468 140732520250544 140121578334512 140122108525186 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11665408 140732520251759 140732520251945 140732520251945 140732520255439 0
Current children cumulated CPU time: 2358.25 s
Current children cumulated vsize: 13980036 KiB
Current children cumulated memory: 9560264 KiB

[startup+2322.3 s]
/proc/loadavg: 2.20 1.96 1.83 3/209 19784
/proc/meminfo: memFree=21176020/32770624 swapFree=67105588/67108860
[pid=19531] ppid=19528 vsize=13980036 memory=9599744 CPUtime=2422.58 cores=0,2,4,6
/proc/19531/stat : 19531 (java) S 19528 19531 12560 0 -1 1077944320 2400696 0 0 0 241255 1003 0 0 20 0 15 0 73827405 14315556864 2399936 18446744073709551615 4194304 4196468 140732520250544 140732520233088 140122108514039 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 7 0 0 6293624 6294260 11665408 140732520251759 140732520251945 140732520251945 140732520255439 0
/proc/19531/statm: 3495009 2399936 3822 1 0 3483783 0
[pid=19531/tid=19533] ppid=19528 vsize=13980036 memory=9599744 CPUtime=2290.45 cores=0,2,4,6
/proc/19531/task/19533/stat : 19533 (java) R 19528 19531 12560 0 -1 4202560 1412610 0 0 0 228891 154 0 0 20 0 15 0 73827413 14315556864 2399936 18446744073709551615 4194304 4196468 140732520250544 140122112744080 140121724122676 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 11665408 140732520251759 140732520251945 140732520251945 140732520255439 0
[pid=19531/tid=19534] ppid=19528 vsize=13980036 memory=9596136 CPUtime=30.49 cores=0,2,4,6
/proc/19531/task/19534/stat : 19534 (java) S 19528 19531 12560 0 -1 1077944384 192643 0 0 0 2861 188 0 0 20 0 15 0 73827414 14315556864 2399936 18446744073709551615 4194304 4196468 140732520250544 140122042948368 140122108524245 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11665408 140732520251759 140732520251945 140732520251945 140732520255439 0
[pid=19531/tid=19535] ppid=19528 vsize=13980036 memory=9596136 CPUtime=30.41 cores=0,2,4,6
/proc/19531/task/19535/stat : 19535 (java) S 19528 19531 12560 0 -1 1077944384 214555 0 0 0 2840 201 0 0 20 0 15 0 73827414 14315556864 2399936 18446744073709551615 4194304 4196468 140732520250544 140122041895824 140122108524245 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11665408 140732520251759 140732520251945 140732520251945 140732520255439 0
[pid=19531/tid=19536] ppid=19528 vsize=13980036 memory=0 CPUtime=30.52 cores=0,2,4,6
/proc/19531/task/19536/stat : 19536 (java) S 19528 19531 12560 0 -1 1077944384 284009 0 0 0 2870 182 0 0 20 0 15 0 73827414 14315556864 2399936 18446744073709551615 4194304 4196468 140732520250544 140122040843280 140122108524245 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11665408 140732520251759 140732520251945 140732520251945 140732520255439 0
[pid=19531/tid=19537] ppid=19528 vsize=13980036 memory=9599744 CPUtime=30.39 cores=0,2,4,6
/proc/19531/task/19537/stat : 19537 (java) S 19528 19531 12560 0 -1 1077944384 213714 0 0 0 2836 203 0 0 20 0 15 0 73827414 14315556864 2399936 18446744073709551615 4194304 4196468 140732520250544 140122039790736 140122108524245 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11665408 140732520251759 140732520251945 140732520251945 140732520255439 0
[pid=19531/tid=19538] ppid=19528 vsize=13980036 memory=9599744 CPUtime=0.61 cores=0,2,4,6
/proc/19531/task/19538/stat : 19538 (java) S 19528 19531 12560 0 -1 1077944384 22811 0 0 0 56 5 0 0 20 0 15 0 73827415 14315556864 2399936 18446744073709551615 4194304 4196468 140732520250544 140121586755568 140122108525186 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11665408 140732520251759 140732520251945 140732520251945 140732520255439 0
[pid=19531/tid=19539] ppid=19528 vsize=13980036 memory=9599744 CPUtime=0 cores=0,2,4,6
/proc/19531/task/19539/stat : 19539 (java) S 19528 19531 12560 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 73827416 14315556864 2399936 18446744073709551615 4194304 4196468 140732520250544 140121585701856 140122108524245 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11665408 140732520251759 140732520251945 140732520251945 140732520255439 0
[pid=19531/tid=19540] ppid=19528 vsize=13980036 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19531/task/19540/stat : 19540 (java) S 19528 19531 12560 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 73827416 14315556864 2399936 18446744073709551615 4194304 4196468 140732520250544 140121584649216 140122108524245 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11665408 140732520251759 140732520251945 140732520251945 140732520255439 0
[pid=19531/tid=19541] ppid=19528 vsize=13980036 memory=4612 CPUtime=0 cores=0,2,4,6
/proc/19531/task/19541/stat : 19541 (java) S 19528 19531 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73827419 14315556864 2399936 18446744073709551615 4194304 4196468 140732520250544 140121583597776 140122108532635 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11665408 140732520251759 140732520251945 140732520251945 140732520255439 0
[pid=19531/tid=19542] ppid=19528 vsize=13980036 memory=360 CPUtime=3.76 cores=0,2,4,6
/proc/19531/task/19542/stat : 19542 (java) S 19528 19531 12560 0 -1 1077944384 16227 0 0 0 373 3 0 0 20 0 15 0 73827419 14315556864 2399936 18446744073709551615 4194304 4196468 140732520250544 140121582545392 140122108525186 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11665408 140732520251759 140732520251945 140732520251945 140732520255439 0
[pid=19531/tid=19543] ppid=19528 vsize=13980036 memory=9596136 CPUtime=3.6 cores=0,2,4,6
/proc/19531/task/19543/stat : 19543 (java) S 19528 19531 12560 0 -1 1077944384 16832 0 0 0 356 4 0 0 20 0 15 0 73827419 14315556864 2399936 18446744073709551615 4194304 4196468 140732520250544 140121581492848 140122108525186 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11665408 140732520251759 140732520251945 140732520251945 140732520255439 0
[pid=19531/tid=19544] ppid=19528 vsize=13980036 memory=9599744 CPUtime=0.86 cores=0,2,4,6
/proc/19531/task/19544/stat : 19544 (java) S 19528 19531 12560 0 -1 1077944384 24541 0 0 0 83 3 0 0 20 0 15 0 73827419 14315556864 2399936 18446744073709551615 4194304 4196468 140732520250544 140121580440304 140122108525186 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11665408 140732520251759 140732520251945 140732520251945 140732520255439 0
[pid=19531/tid=19545] ppid=19528 vsize=13980036 memory=9599744 CPUtime=0 cores=0,2,4,6
/proc/19531/task/19545/stat : 19545 (java) S 19528 19531 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73827419 14315556864 2399936 18446744073709551615 4194304 4196468 140732520250544 140121579388000 140122108524245 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11665408 140732520251759 140732520251945 140732520251945 140732520255439 0
[pid=19531/tid=19546] ppid=19528 vsize=13980036 memory=9599744 CPUtime=1.39 cores=0,2,4,6
/proc/19531/task/19546/stat : 19546 (java) S 19528 19531 12560 0 -1 1077944384 1345 0 0 0 66 73 0 0 20 0 15 0 73827424 14315556864 2399936 18446744073709551615 4194304 4196468 140732520250544 140121578334512 140122108525186 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11665408 140732520251759 140732520251945 140732520251945 140732520255439 0
Current children cumulated CPU time: 2422.58 s
Current children cumulated vsize: 13980036 KiB
Current children cumulated memory: 9599744 KiB

[startup+2382.3 s]
/proc/loadavg: 1.88 1.92 1.82 3/209 19786
/proc/meminfo: memFree=21144600/32770624 swapFree=67105588/67108860
[pid=19531] ppid=19528 vsize=13980036 memory=9626640 CPUtime=2485.45 cores=0,2,4,6
/proc/19531/stat : 19531 (java) S 19528 19531 12560 0 -1 1077944320 2429359 0 0 0 247536 1009 0 0 20 0 15 0 73827405 14315556864 2406660 18446744073709551615 4194304 4196468 140732520250544 140732520233088 140122108514039 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 7 0 0 6293624 6294260 11665408 140732520251759 140732520251945 140732520251945 140732520255439 0
/proc/19531/statm: 3495009 2406660 3822 1 0 3483783 0
[pid=19531/tid=19533] ppid=19528 vsize=13980036 memory=9626640 CPUtime=2349.46 cores=0,2,4,6
/proc/19531/task/19533/stat : 19533 (java) R 19528 19531 12560 0 -1 4202560 1419273 0 0 0 234791 155 0 0 20 0 15 0 73827413 14315556864 2406660 18446744073709551615 4194304 4196468 140732520250544 140122112744080 140121724122676 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 11665408 140732520251759 140732520251945 140732520251945 140732520255439 0
[pid=19531/tid=19534] ppid=19528 vsize=13980036 memory=9599924 CPUtime=31.44 cores=0,2,4,6
/proc/19531/task/19534/stat : 19534 (java) S 19528 19531 12560 0 -1 1077944384 195713 0 0 0 2955 189 0 0 20 0 15 0 73827414 14315556864 2406660 18446744073709551615 4194304 4196468 140732520250544 140122042948368 140122108524245 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11665408 140732520251759 140732520251945 140732520251945 140732520255439 0
[pid=19531/tid=19535] ppid=19528 vsize=13980036 memory=9626640 CPUtime=31.36 cores=0,2,4,6
/proc/19531/task/19535/stat : 19535 (java) S 19528 19531 12560 0 -1 1077944384 217348 0 0 0 2934 202 0 0 20 0 15 0 73827414 14315556864 2406660 18446744073709551615 4194304 4196468 140732520250544 140122041895824 140122108524245 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11665408 140732520251759 140732520251945 140732520251945 140732520255439 0
[pid=19531/tid=19536] ppid=19528 vsize=13980036 memory=9626640 CPUtime=31.49 cores=0,2,4,6
/proc/19531/task/19536/stat : 19536 (java) S 19528 19531 12560 0 -1 1077944384 297594 0 0 0 2966 183 0 0 20 0 15 0 73827414 14315556864 2406660 18446744073709551615 4194304 4196468 140732520250544 140122040843280 140122108524245 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11665408 140732520251759 140732520251945 140732520251945 140732520255439 0
[pid=19531/tid=19537] ppid=19528 vsize=13980036 memory=9626640 CPUtime=31.34 cores=0,2,4,6
/proc/19531/task/19537/stat : 19537 (java) S 19528 19531 12560 0 -1 1077944384 215968 0 0 0 2930 204 0 0 20 0 15 0 73827414 14315556864 2406660 18446744073709551615 4194304 4196468 140732520250544 140122039790736 140122108524245 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11665408 140732520251759 140732520251945 140732520251945 140732520255439 0
[pid=19531/tid=19538] ppid=19528 vsize=13980036 memory=9626640 CPUtime=0.61 cores=0,2,4,6
/proc/19531/task/19538/stat : 19538 (java) S 19528 19531 12560 0 -1 1077944384 23065 0 0 0 56 5 0 0 20 0 15 0 73827415 14315556864 2406660 18446744073709551615 4194304 4196468 140732520250544 140121586755568 140122108525186 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11665408 140732520251759 140732520251945 140732520251945 140732520255439 0
[pid=19531/tid=19539] ppid=19528 vsize=13980036 memory=360 CPUtime=0 cores=0,2,4,6
/proc/19531/task/19539/stat : 19539 (java) S 19528 19531 12560 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 73827416 14315556864 2406660 18446744073709551615 4194304 4196468 140732520250544 140121585701856 140122108524245 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11665408 140732520251759 140732520251945 140732520251945 140732520255439 0
[pid=19531/tid=19540] ppid=19528 vsize=13980036 memory=9626640 CPUtime=0 cores=0,2,4,6
/proc/19531/task/19540/stat : 19540 (java) S 19528 19531 12560 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 73827416 14315556864 2406660 18446744073709551615 4194304 4196468 140732520250544 140121584649216 140122108524245 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11665408 140732520251759 140732520251945 140732520251945 140732520255439 0
[pid=19531/tid=19541] ppid=19528 vsize=13980036 memory=4144 CPUtime=0 cores=0,2,4,6
/proc/19531/task/19541/stat : 19541 (java) S 19528 19531 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73827419 14315556864 2406660 18446744073709551615 4194304 4196468 140732520250544 140121583597776 140122108532635 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11665408 140732520251759 140732520251945 140732520251945 140732520255439 0
[pid=19531/tid=19542] ppid=19528 vsize=13980036 memory=9626640 CPUtime=3.76 cores=0,2,4,6
/proc/19531/task/19542/stat : 19542 (java) S 19528 19531 12560 0 -1 1077944384 16237 0 0 0 373 3 0 0 20 0 15 0 73827419 14315556864 2406660 18446744073709551615 4194304 4196468 140732520250544 140121582545392 140122108525186 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11665408 140732520251759 140732520251945 140732520251945 140732520255439 0
[pid=19531/tid=19543] ppid=19528 vsize=13980036 memory=9626640 CPUtime=3.6 cores=0,2,4,6
/proc/19531/task/19543/stat : 19543 (java) S 19528 19531 12560 0 -1 1077944384 16835 0 0 0 356 4 0 0 20 0 15 0 73827419 14315556864 2406660 18446744073709551615 4194304 4196468 140732520250544 140121581492848 140122108525186 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11665408 140732520251759 140732520251945 140732520251945 140732520255439 0
[pid=19531/tid=19544] ppid=19528 vsize=13980036 memory=9626640 CPUtime=0.86 cores=0,2,4,6
/proc/19531/task/19544/stat : 19544 (java) S 19528 19531 12560 0 -1 1077944384 24544 0 0 0 83 3 0 0 20 0 15 0 73827419 14315556864 2406660 18446744073709551615 4194304 4196468 140732520250544 140121580440304 140122108525186 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11665408 140732520251759 140732520251945 140732520251945 140732520255439 0
[pid=19531/tid=19545] ppid=19528 vsize=13980036 memory=9626640 CPUtime=0 cores=0,2,4,6
/proc/19531/task/19545/stat : 19545 (java) S 19528 19531 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73827419 14315556864 2406660 18446744073709551615 4194304 4196468 140732520250544 140121579388000 140122108524245 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11665408 140732520251759 140732520251945 140732520251945 140732520255439 0
[pid=19531/tid=19546] ppid=19528 vsize=13980036 memory=1716 CPUtime=1.42 cores=0,2,4,6
/proc/19531/task/19546/stat : 19546 (java) S 19528 19531 12560 0 -1 1077944384 1373 0 0 0 68 74 0 0 20 0 15 0 73827424 14315556864 2406660 18446744073709551615 4194304 4196468 140732520250544 140121578334512 140122108525186 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11665408 140732520251759 140732520251945 140732520251945 140732520255439 0
Current children cumulated CPU time: 2485.45 s
Current children cumulated vsize: 13980036 KiB
Current children cumulated memory: 9626640 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2414.2 s]
/proc/loadavg: 1.99 1.94 1.84 3/209 19788
/proc/meminfo: memFree=21139192/32770624 swapFree=67105588/67108860
[pid=19531] ppid=19528 vsize=13980036 memory=9631032 CPUtime=2520.04 cores=0,2,4,6
/proc/19531/stat : 19531 (java) S 19528 19531 12560 0 -1 1077944320 2436707 0 0 0 250993 1011 0 0 20 0 15 0 73827405 14315556864 2407758 18446744073709551615 4194304 4196468 140732520250544 140732520233088 140122108514039 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 7 0 0 6293624 6294260 11665408 140732520251759 140732520251945 140732520251945 140732520255439 0
/proc/19531/statm: 3495009 2407758 3822 1 0 3483783 0
[pid=19531/tid=19533] ppid=19528 vsize=13980036 memory=2768 CPUtime=2380.43 cores=0,2,4,6
/proc/19531/task/19533/stat : 19533 (java) R 19528 19531 12560 0 -1 4202560 1421110 0 0 0 237887 156 0 0 20 0 15 0 73827413 14315556864 2407758 18446744073709551615 4194304 4196468 140732520250544 140122112752624 140121724122676 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 11665408 140732520251759 140732520251945 140732520251945 140732520255439 0
[pid=19531/tid=19534] ppid=19528 vsize=13980036 memory=-8774313645642428999 CPUtime=32.35 cores=0,2,4,6
/proc/19531/task/19534/stat : 19534 (java) S 19528 19531 12560 0 -1 1077944384 195850 0 0 0 3046 189 0 0 20 0 15 0 73827414 14315556864 2407758 18446744073709551615 4194304 4196468 140732520250544 140122042948368 140122108524245 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11665408 140732520251759 140732520251945 140732520251945 140732520255439 0
[pid=19531/tid=19535] ppid=19528 vsize=13980036 memory=288230617509003574 CPUtime=32.25 cores=0,2,4,6
/proc/19531/task/19535/stat : 19535 (java) S 19528 19531 12560 0 -1 1077944384 217656 0 0 0 3023 202 0 0 20 0 15 0 73827414 14315556864 2407758 18446744073709551615 4194304 4196468 140732520250544 140122041895824 140122108524245 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11665408 140732520251759 140732520251945 140732520251945 140732520255439 0
[pid=19531/tid=19536] ppid=19528 vsize=13980036 memory=15540738687502695 CPUtime=32.41 cores=0,2,4,6
/proc/19531/task/19536/stat : 19536 (java) S 19528 19531 12560 0 -1 1077944384 302280 0 0 0 3058 183 0 0 20 0 15 0 73827414 14315556864 2407758 18446744073709551615 4194304 4196468 140732520250544 140122040843280 140122108524245 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11665408 140732520251759 140732520251945 140732520251945 140732520255439 0
[pid=19531/tid=19537] ppid=19528 vsize=13980036 memory=-8774313645642428999 CPUtime=32.24 cores=0,2,4,6
/proc/19531/task/19537/stat : 19537 (java) S 19528 19531 12560 0 -1 1077944384 216325 0 0 0 3019 205 0 0 20 0 15 0 73827414 14315556864 2407758 18446744073709551615 4194304 4196468 140732520250544 140122039790736 140122108524245 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11665408 140732520251759 140732520251945 140732520251945 140732520255439 0
[pid=19531/tid=19538] ppid=19528 vsize=13980036 memory=3908 CPUtime=0.62 cores=0,2,4,6
/proc/19531/task/19538/stat : 19538 (java) S 19528 19531 12560 0 -1 1077944384 23084 0 0 0 56 6 0 0 20 0 15 0 73827415 14315556864 2407758 18446744073709551615 4194304 4196468 140732520250544 140121586755568 140122108525186 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11665408 140732520251759 140732520251945 140732520251945 140732520255439 0
[pid=19531/tid=19539] ppid=19528 vsize=13980036 memory=4068 CPUtime=0 cores=0,2,4,6
/proc/19531/task/19539/stat : 19539 (java) S 19528 19531 12560 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 73827416 14315556864 2407758 18446744073709551615 4194304 4196468 140732520250544 140121585701856 140122108524245 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11665408 140732520251759 140732520251945 140732520251945 140732520255439 0
[pid=19531/tid=19540] ppid=19528 vsize=13980036 memory=1152 CPUtime=0 cores=0,2,4,6
/proc/19531/task/19540/stat : 19540 (java) S 19528 19531 12560 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 73827416 14315556864 2407758 18446744073709551615 4194304 4196468 140732520250544 140121584649216 140122108524245 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11665408 140732520251759 140732520251945 140732520251945 140732520255439 0
[pid=19531/tid=19541] ppid=19528 vsize=13980036 memory=3104 CPUtime=0 cores=0,2,4,6
/proc/19531/task/19541/stat : 19541 (java) S 19528 19531 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73827419 14315556864 2407758 18446744073709551615 4194304 4196468 140732520250544 140121583597776 140122108532635 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11665408 140732520251759 140732520251945 140732520251945 140732520255439 0
[pid=19531/tid=19542] ppid=19528 vsize=13980036 memory=9626916 CPUtime=3.76 cores=0,2,4,6
/proc/19531/task/19542/stat : 19542 (java) S 19528 19531 12560 0 -1 1077944384 16237 0 0 0 373 3 0 0 20 0 15 0 73827419 14315556864 2407758 18446744073709551615 4194304 4196468 140732520250544 140121582545392 140122108525186 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11665408 140732520251759 140732520251945 140732520251945 140732520255439 0
[pid=19531/tid=19543] ppid=19528 vsize=13980036 memory=-8774313645642428999 CPUtime=3.6 cores=0,2,4,6
/proc/19531/task/19543/stat : 19543 (java) S 19528 19531 12560 0 -1 1077944384 16835 0 0 0 356 4 0 0 20 0 15 0 73827419 14315556864 2407758 18446744073709551615 4194304 4196468 140732520250544 140121581492848 140122108525186 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11665408 140732520251759 140732520251945 140732520251945 140732520255439 0
[pid=19531/tid=19544] ppid=19528 vsize=13980036 memory=3216 CPUtime=0.86 cores=0,2,4,6
/proc/19531/task/19544/stat : 19544 (java) S 19528 19531 12560 0 -1 1077944384 24544 0 0 0 83 3 0 0 20 0 15 0 73827419 14315556864 2407758 18446744073709551615 4194304 4196468 140732520250544 140121580440304 140122108525186 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11665408 140732520251759 140732520251945 140732520251945 140732520255439 0
[pid=19531/tid=19545] ppid=19528 vsize=13980036 memory=725096 CPUtime=0 cores=0,2,4,6
/proc/19531/task/19545/stat : 19545 (java) S 19528 19531 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73827419 14315556864 2407758 18446744073709551615 4194304 4196468 140732520250544 140121579388000 140122108524245 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11665408 140732520251759 140732520251945 140732520251945 140732520255439 0
[pid=19531/tid=19546] ppid=19528 vsize=13980036 memory=9626916 CPUtime=1.43 cores=0,2,4,6
/proc/19531/task/19546/stat : 19546 (java) S 19528 19531 12560 0 -1 1077944384 1377 0 0 0 69 74 0 0 20 0 15 0 73827424 14315556864 2407758 18446744073709551615 4194304 4196468 140732520250544 140121578334512 140122108525186 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11665408 140732520251759 140732520251945 140732520251945 140732520255439 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 13980036 KiB
Current children cumulated memory: 9631032 KiB

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

[startup+2414.28 s]
# the end of solver process 19531 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2509.98 s, system=10.1624 s

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

Child status: 143
Real time (s): 2414.28
CPU time (s): 2520.15
CPU user time (s): 2509.98
CPU system time (s): 10.1624
CPU usage (%): 104.385
Max. virtual memory (cumulated for all children) (KiB): 13980036
Max. memory (cumulated for all children) (KiB): 9631032

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2509.98
system time used= 10.1624
maximum resident set size= 9631636
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2439241
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2768
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 60028
involuntary context switches= 4555


# summary of solver processes directly reported to runsolver:
#   pid: 19531
#   total CPU time (s): 2520.15
#   total CPU user time (s): 2509.98
#   total CPU system time (s): 10.1624

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.4924 second user time and 23.2676 second system time

The end

Launcher Data 

Begin job on node126 at 2017-08-14 14:57:58
IDJOB=4273527
IDBENCH=120625
IDSOLVER=2666
FILE ID=node126/4273527-1502716320
RUNJOBID= node126-1502662832-10387
PBS_JOBID= 
Free space on /tmp= 61984 MiB

SOLVER NAME= OscaR - Conflict Ordering 2017-07-26
BENCH NAME= XCSP17/GraphColoring/GraphColoring-m1-mono/GraphColoring-wap01a.xml
COMMAND LINE= java -Xmx11000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 11000 --nbcore NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4273527-1502716320/watcher-4273527-1502716320 -o /tmp/evaluation-result-4273527-1502716320/solver-4273527-1502716320 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node126-1502662832-10387 --watchdog 2580  java -Xmx11000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed 661359935 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4273527-1502716320.xml

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

MD5SUM BENCH= 1f75bed7d5113015eb943bda0c7ab47c
RANDOM SEED=661359935

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        31308536 kB
MemAvailable:   31781872 kB
Buffers:          302760 kB
Cached:           438904 kB
SwapCached:          524 kB
Active:           752424 kB
Inactive:         227684 kB
Active(anon):     186232 kB
Inactive(anon):    85396 kB
Active(file):     566192 kB
Inactive(file):   142288 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67105588 kB
Dirty:             45564 kB
Writeback:             4 kB
AnonPages:        237868 kB
Mapped:            62932 kB
Shmem:             33440 kB
Slab:             188160 kB
SReclaimable:     161380 kB
SUnreclaim:        26780 kB
KernelStack:        3408 kB
PageTables:         5420 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1172116 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    135168 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      101760 kB
DirectMap2M:    33443840 kB

Free space on /tmp at the end= 61944 MiB
End job on node126 at 2017-08-14 15:38:13