Trace number 4245179

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
R1: Concrete 3.4SAT (TO)513 2400.43 2277.98

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 

3.53/2.20	c Concrete v3.4 running
48.05/21.30	o 2367
49.87/22.70	o 2366
52.20/23.98	o 2365
53.57/25.18	o 2364
54.85/26.39	o 2363
56.09/27.59	o 2362
57.40/28.81	o 2361
58.50/29.99	o 2360
59.70/31.17	o 2359
61.32/32.42	o 2358
62.44/33.58	o 2357
63.64/34.73	o 2356
64.84/35.94	o 2355
66.07/37.18	o 2354
67.38/38.40	o 2353
68.48/39.55	o 2352
69.68/40.75	o 2351
70.89/41.93	o 2350
72.09/43.11	o 2349
73.42/44.31	o 2348
74.62/45.50	o 2347
75.72/46.68	o 2346
76.93/47.81	o 2345
78.13/49.01	o 2344
79.36/50.23	o 2343
80.48/51.38	o 2342
81.69/52.59	o 2341
82.89/53.79	o 2340
84.35/55.04	o 2339
85.55/56.22	o 2338
86.75/57.41	o 2337
87.98/58.60	o 2336
89.19/59.81	o 2335
90.41/61.03	o 2334
91.61/62.24	o 2333
92.80/63.42	o 2332
94.00/64.61	o 2331
95.33/65.88	o 2330
96.53/67.07	o 2329
97.73/68.25	o 2328
98.93/69.43	o 2327
100.13/70.64	o 2326
101.39/71.85	o 2325
102.60/73.00	o 2324
103.70/74.20	o 2323
105.01/75.43	o 2322
106.41/76.63	o 2321
107.61/77.83	o 2320
108.81/79.01	o 2319
110.01/80.22	o 2318
111.21/81.40	o 2317
112.31/82.57	o 2316
113.54/83.72	o 2315
114.66/84.88	o 2314
115.86/86.05	o 2313
117.22/87.29	o 2312
118.43/88.50	o 2311
119.74/89.75	o 2310
120.93/90.95	o 2309
122.13/92.11	o 2308
123.33/93.31	o 2307
124.43/94.44	o 2306
125.63/95.61	o 2305
126.84/96.81	o 2304
128.25/98.05	o 2303
129.45/99.24	o 2302
130.65/100.43	o 2301
131.85/101.60	o 2300
132.95/102.79	o 2299
134.16/103.99	o 2298
135.37/105.18	o 2297
136.57/106.38	o 2296
137.77/107.58	o 2295
139.21/108.82	o 2294
140.41/110.02	o 2293
141.61/111.24	o 2292
142.81/112.43	o 2291
144.01/113.60	o 2290
145.11/114.77	o 2289
146.31/115.98	o 2288
147.53/117.20	o 2287
148.82/118.44	o 2286
150.18/119.64	o 2285
151.28/120.79	o 2284
152.48/121.98	o 2283
153.68/123.17	o 2282
154.91/124.38	o 2281
156.22/125.60	o 2280
157.42/126.84	o 2279
158.62/128.02	o 2278
160.05/129.27	o 2277
161.25/130.47	o 2276
162.44/131.65	o 2275
163.64/132.86	o 2274
164.84/134.04	o 2273
166.04/135.22	o 2272
167.25/136.42	o 2271
168.45/137.61	o 2270
169.55/138.78	o 2269
171.06/140.06	o 2268
172.26/141.31	o 2267
173.47/142.49	o 2266
174.67/143.65	o 2265
175.86/144.81	o 2264
176.96/145.99	o 2263
178.23/147.20	o 2262
179.43/148.39	o 2261
180.63/149.53	o 2260
182.01/150.79	o 2259
183.31/152.00	o 2258
184.41/153.18	o 2257
185.61/154.38	o 2256
186.81/155.56	o 2255
188.02/156.72	o 2254
189.22/157.92	o 2253
190.41/159.13	o 2252
191.61/160.33	o 2251
192.99/161.55	o 2250
194.19/162.72	o 2249
195.39/163.93	o 2248
196.59/165.11	o 2247
197.79/166.31	o 2246
198.89/167.49	o 2245
200.09/168.66	o 2244
201.29/169.84	o 2243
202.39/170.99	o 2242
203.76/172.17	o 2241
204.96/173.35	o 2240
206.15/174.51	o 2239
207.35/175.70	o 2238
208.55/176.92	o 2237
209.76/178.13	o 2236
210.96/179.32	o 2235
212.16/180.51	o 2234
213.36/181.70	o 2233
214.70/182.92	o 2232
215.90/184.10	o 2231
217.11/185.32	o 2230
218.21/186.49	o 2229
219.41/187.67	o 2228
220.60/188.86	o 2227
221.80/190.06	o 2226
223.00/191.22	o 2225
224.45/192.43	o 2224
225.65/193.62	o 2223
226.85/194.82	o 2222
228.05/196.02	o 2221
229.25/197.23	o 2220
230.45/198.40	o 2219
231.55/199.56	o 2218
232.75/200.75	o 2217
233.96/201.91	o 2216
235.34/203.10	o 2215
236.44/204.26	o 2214
237.64/205.44	o 2213
238.84/206.61	o 2212
240.04/207.80	o 2211
241.14/208.99	o 2210
242.34/210.18	o 2209
243.54/211.39	o 2208
244.74/212.54	o 2207
246.10/213.75	o 2206
247.31/214.92	o 2205
248.41/216.10	o 2204
249.61/217.29	o 2203
250.83/218.47	o 2202
252.02/219.66	o 2201
253.22/220.85	o 2200
254.42/222.07	o 2199
255.81/223.25	o 2198
257.01/224.44	o 2197
258.22/225.62	o 2196
259.32/226.77	o 2195
260.53/227.95	o 2194
261.73/229.13	o 2193
262.83/230.29	o 2192
264.03/231.49	o 2191
265.55/232.72	o 2190
266.65/233.89	o 2189
267.84/235.07	o 2188
269.04/236.25	o 2187
270.24/237.42	o 2186
271.34/238.59	o 2185
272.54/239.79	o 2184
273.74/240.95	o 2183
275.12/242.12	o 2182
276.32/243.34	o 2181
277.42/244.49	o 2180
278.62/245.64	o 2179
279.82/246.81	o 2178
280.92/247.96	o 2177
282.03/249.09	o 2176
283.24/250.23	o 2175
284.50/251.40	o 2174
285.70/252.58	o 2173
286.89/253.76	o 2172
288.09/254.94	o 2171
289.29/256.14	o 2170
290.49/257.35	o 2169
291.69/258.52	o 2168
293.03/259.74	o 2167
294.23/260.94	o 2166
295.43/262.11	o 2165
296.53/263.27	o 2164
297.73/264.45	o 2163
298.83/265.59	o 2162
300.36/266.82	o 2161
301.47/267.97	o 2160
302.66/269.12	o 2159
303.86/270.30	o 2158
305.06/271.50	o 2157
306.16/272.70	o 2156
307.36/273.87	o 2155
308.81/275.12	o 2154
310.01/276.32	o 2153
311.21/277.52	o 2152
312.41/278.70	o 2151
313.51/279.88	o 2150
314.73/281.07	o 2149
316.09/282.29	o 2148
317.28/283.49	o 2147
318.48/284.66	o 2146
319.69/285.87	o 2145
320.89/287.04	o 2144
322.09/288.24	o 2143
323.43/289.48	o 2142
324.73/290.70	o 2141
325.83/291.89	o 2140
327.03/293.04	o 2139
328.24/294.21	o 2138
329.64/295.41	o 2137
330.74/296.58	o 2136
331.93/297.77	o 2135
333.14/298.97	o 2134
334.34/300.20	o 2133
335.64/301.43	o 2132
336.96/302.64	o 2131
338.06/303.80	o 2130
339.26/304.95	o 2129
340.47/306.14	o 2128
341.67/307.30	o 2127
343.03/308.52	o 2126
344.13/309.68	o 2125
345.33/310.87	o 2124
346.52/312.04	o 2123
347.72/313.22	o 2122
349.08/314.42	o 2121
350.28/315.60	o 2120
351.38/316.77	o 2119
352.58/317.95	o 2118
353.78/319.15	o 2117
355.13/320.33	o 2116
356.23/321.45	o 2115
357.43/322.61	o 2114
358.54/323.75	o 2113
359.99/324.93	o 2112
361.20/326.13	o 2111
362.31/327.28	o 2110
363.51/328.43	o 2109
364.70/329.64	o 2108
366.07/330.89	o 2107
367.27/332.08	o 2106
368.47/333.28	o 2105
369.67/334.47	o 2104
371.04/335.69	o 2103
372.25/336.90	o 2102
373.45/338.08	o 2101
374.65/339.26	o 2100
376.03/340.49	o 2099
377.23/341.66	o 2098
378.42/342.87	o 2097
379.62/344.04	o 2096
380.97/345.23	o 2095
382.07/346.39	o 2094
383.27/347.58	o 2093
384.71/348.79	o 2092
385.91/349.98	o 2091
387.11/351.15	o 2090
388.31/352.34	o 2089
389.68/353.59	o 2088
390.89/354.78	o 2087
392.18/356.00	o 2086
393.38/357.26	o 2085
394.73/358.44	o 2084
395.93/359.62	o 2083
397.13/360.81	o 2082
398.55/362.01	o 2081
399.75/363.25	o 2080
400.95/364.43	o 2079
402.15/365.65	o 2078
403.53/366.87	o 2077
404.73/368.05	o 2076
405.92/369.20	o 2075
407.02/370.37	o 2074
408.38/371.56	o 2073
409.58/372.75	o 2072
410.78/373.93	o 2071
412.31/375.25	o 2070
413.51/376.44	o 2069
414.71/377.62	o 2068
415.91/378.82	o 2067
417.32/380.04	o 2066
418.52/381.23	o 2065
419.71/382.43	o 2064
420.91/383.63	o 2063
422.33/384.82	o 2062
423.42/385.98	o 2061
424.63/387.17	o 2060
425.83/388.37	o 2059
427.26/389.58	o 2058
428.46/390.74	o 2057
429.66/391.95	o 2056
430.86/393.13	o 2055
432.08/394.31	o 2054
433.44/395.58	o 2053
434.64/396.78	o 2052
435.84/397.96	o 2051
436.94/399.09	o 2050
438.31/400.29	o 2049
439.51/401.46	o 2048
440.71/402.61	o 2047
441.81/403.79	o 2046
443.20/404.98	o 2045
444.40/406.13	o 2044
445.60/407.30	o 2043
446.70/408.49	o 2042
448.16/409.77	o 2041
449.36/410.92	o 2040
450.46/412.07	o 2039
451.96/413.34	o 2038
453.16/414.52	o 2037
454.36/415.70	o 2036
455.46/416.85	o 2035
456.83/418.07	o 2034
458.03/419.24	o 2033
459.23/420.42	o 2032
460.62/421.61	o 2031
461.72/422.77	o 2030
462.92/423.96	o 2029
464.13/425.13	o 2028
465.47/426.32	o 2027
466.67/427.50	o 2026
467.77/428.67	o 2025
469.14/429.89	o 2024
470.34/431.08	o 2023
471.54/432.28	o 2022
472.94/433.49	o 2021
474.24/434.71	o 2020
475.44/435.91	o 2019
476.87/437.12	o 2018
478.08/438.33	o 2017
479.29/439.53	o 2016
480.48/440.72	o 2015
481.85/441.96	o 2014
483.05/443.15	o 2013
484.25/444.33	o 2012
485.79/445.60	o 2011
486.99/446.81	o 2010
488.09/447.97	o 2009
489.29/449.13	o 2008
490.90/450.39	o 2007
492.11/451.60	o 2006
493.31/452.76	o 2005
494.50/453.94	o 2004
495.85/455.11	o 2003
497.06/456.31	o 2002
498.26/457.50	o 2001
499.36/458.69	o 2000
500.97/459.92	o 1999
502.17/461.10	o 1998
503.27/462.29	o 1997
504.57/463.50	o 1996
505.81/464.69	o 1995
507.01/465.89	o 1994
508.21/467.05	o 1993
509.42/468.20	o 1992
510.97/469.45	o 1991
512.17/470.63	o 1990
513.38/471.81	o 1989
514.48/472.95	o 1988
515.94/474.22	o 1987
517.04/475.39	o 1986
518.24/476.53	o 1985
519.35/477.68	o 1984
521.25/478.96	o 1983
522.47/480.15	o 1982
523.67/481.33	o 1981
524.85/482.54	o 1980
526.29/483.76	o 1979
527.49/484.97	o 1978
528.69/486.16	o 1977
529.89/487.37	o 1976
531.09/488.55	o 1975
532.77/489.84	o 1974
533.97/491.02	o 1973
535.07/492.19	o 1972
536.28/493.34	o 1971
537.69/494.53	o 1970
538.79/495.69	o 1969
539.98/496.85	o 1968
541.18/498.06	o 1967
542.39/499.24	o 1966
544.11/500.52	o 1965
545.21/501.70	o 1964
546.51/502.90	o 1963
547.61/504.06	o 1962
549.03/505.28	o 1961
550.23/506.44	o 1960
551.45/507.60	o 1959
552.55/508.80	o 1958
553.75/509.94	o 1957
555.62/511.21	o 1956
556.82/512.40	o 1955
557.92/513.56	o 1954
559.20/514.71	o 1953
560.30/515.85	o 1952
561.72/517.05	o 1951
562.92/518.21	o 1950
564.02/519.39	o 1949
565.23/520.56	o 1948
566.42/521.74	o 1947
568.26/523.01	o 1946
569.36/524.20	o 1945
570.55/525.36	o 1944
571.75/526.52	o 1943
572.85/527.69	o 1942
574.43/528.91	o 1941
575.53/530.04	o 1940
576.63/531.19	o 1939
577.83/532.38	o 1938
579.03/533.53	o 1937
580.23/534.71	o 1936
581.80/535.95	o 1935
583.00/537.13	o 1934
584.10/538.29	o 1933
585.30/539.44	o 1932
586.40/540.60	o 1931
587.81/541.80	o 1930
589.01/542.99	o 1929
590.20/544.18	o 1928
591.40/545.36	o 1927
592.60/546.53	o 1926
593.81/547.75	o 1925
595.46/548.98	o 1924
596.66/550.16	o 1923
597.86/551.30	o 1922
598.96/552.44	o 1921
600.06/553.58	o 1920
601.36/554.81	o 1919
602.64/556.00	o 1918
603.85/557.15	o 1917
605.05/558.35	o 1916
606.24/559.50	o 1915
607.34/560.68	o 1914
608.83/561.88	o 1913
610.03/563.01	o 1912
611.23/564.22	o 1911
612.43/565.42	o 1910
613.53/566.57	o 1909
614.73/567.75	o 1908
616.05/568.93	o 1907
617.25/570.12	o 1906
618.36/571.26	o 1905
619.56/572.41	o 1904
620.66/573.57	o 1903
622.01/574.80	o 1902
623.21/575.96	o 1901
624.40/577.17	o 1900
625.60/578.33	o 1899
626.93/579.52	o 1898
628.12/580.70	o 1897
629.22/581.83	o 1896
630.42/583.01	o 1895
631.52/584.18	o 1894
632.92/585.38	o 1893
634.13/586.55	o 1892
635.33/587.74	o 1891
636.53/588.91	o 1890
637.63/590.09	o 1889
638.97/591.27	o 1888
640.17/592.44	o 1887
641.36/593.64	o 1886
642.46/594.79	o 1885
643.81/595.97	o 1884
645.01/597.18	o 1883
646.21/598.35	o 1882
647.41/599.51	o 1881
648.77/600.70	o 1880
649.87/601.88	o 1879
651.07/603.05	o 1878
652.29/604.22	o 1877
653.63/605.46	o 1876
654.85/606.61	o 1875
655.95/607.78	o 1874
657.15/608.98	o 1873
658.47/610.14	o 1872
659.67/611.37	o 1871
660.87/612.55	o 1870
662.27/613.73	o 1869
663.47/614.92	o 1868
664.57/616.08	o 1867
665.77/617.27	o 1866
667.23/618.50	o 1865
668.33/619.66	o 1864
669.53/620.83	o 1863
670.93/622.04	o 1862
672.03/623.20	o 1861
673.23/624.38	o 1860
674.75/625.61	o 1859
675.85/626.78	o 1858
677.06/627.95	o 1857
678.16/629.07	o 1856
679.54/630.27	o 1855
680.74/631.46	o 1854
681.94/632.65	o 1853
683.31/633.85	o 1852
684.52/635.03	o 1851
685.62/636.17	o 1850
686.98/637.35	o 1849
688.18/638.52	o 1848
689.28/639.69	o 1847
690.62/640.85	o 1846
691.81/642.05	o 1845
693.23/643.22	o 1844
694.33/644.37	o 1843
695.53/645.52	o 1842
696.89/646.73	o 1841
697.99/647.86	o 1840
699.36/649.09	o 1839
700.74/650.27	o 1838
701.94/651.43	o 1837
703.39/652.61	o 1836
704.49/653.76	o 1835
705.69/654.96	o 1834
707.24/656.22	o 1833
708.34/657.38	o 1832
709.54/658.55	o 1831
710.96/659.75	o 1830
712.16/660.92	o 1829
713.37/662.14	o 1828
714.99/663.39	o 1827
716.29/664.61	o 1826
717.39/665.75	o 1825
718.82/666.96	o 1824
719.92/668.09	o 1823
721.12/669.26	o 1822
723.05/670.56	o 1821
724.25/671.72	o 1820
725.45/672.91	o 1819
726.55/674.07	o 1818
727.94/675.28	o 1817
729.14/676.47	o 1816
730.34/677.67	o 1815
732.06/678.90	o 1814
733.16/680.03	o 1813
734.36/681.20	o 1812
735.46/682.34	o 1811
736.83/683.56	o 1810
738.04/684.71	o 1809
739.14/685.88	o 1808
740.94/687.12	o 1807
742.14/688.31	o 1806
743.24/689.47	o 1805
744.44/690.63	o 1804
745.84/691.86	o 1803
747.04/693.00	o 1802
748.14/694.15	o 1801
749.34/695.33	o 1800
750.95/696.57	o 1799
752.15/697.73	o 1798
753.35/698.90	o 1797
754.45/700.09	o 1796
755.93/701.31	o 1795
757.03/702.40	o 1794
758.13/703.56	o 1793
759.32/704.70	o 1792
761.12/705.97	o 1791
762.32/707.14	o 1790
763.52/708.33	o 1789
764.62/709.47	o 1788
766.05/710.65	o 1787
767.15/711.79	o 1786
768.35/712.95	o 1785
769.55/714.11	o 1784
770.65/715.28	o 1783
772.22/716.48	o 1782
773.42/717.69	o 1781
774.63/718.89	o 1780
775.83/720.05	o 1779
777.17/721.28	o 1778
778.37/722.44	o 1777
779.57/723.66	o 1776
780.79/724.85	o 1775
782.69/726.15	o 1774
783.79/727.27	o 1773
784.99/728.46	o 1772
786.19/729.63	o 1771
787.39/730.82	o 1770
788.68/731.99	o 1769
789.99/733.22	o 1768
791.09/734.38	o 1767
792.28/735.59	o 1766
793.48/736.75	o 1765
795.00/737.98	o 1764
796.21/739.18	o 1763
797.41/740.38	o 1762
798.61/741.57	o 1761
799.81/742.76	o 1760
801.29/744.02	o 1759
802.39/745.18	o 1758
803.61/746.33	o 1757
804.81/747.54	o 1756
806.68/748.81	o 1755
807.88/750.02	o 1754
809.08/751.20	o 1753
810.18/752.37	o 1752
811.38/753.58	o 1751
812.82/754.78	o 1750
814.02/755.96	o 1749
815.22/757.16	o 1748
816.42/758.33	o 1747
817.52/759.48	o 1746
818.72/760.63	o 1745
820.20/761.84	o 1744
821.39/763.00	o 1743
822.49/764.17	o 1742
823.69/765.30	o 1741
824.79/766.43	o 1740
826.24/767.63	o 1739
827.34/768.78	o 1738
828.54/769.93	o 1737
829.74/771.10	o 1736
830.84/772.26	o 1735
832.40/773.51	o 1734
833.50/774.67	o 1733
834.71/775.81	o 1732
835.81/776.98	o 1731
837.01/778.16	o 1730
838.12/779.30	o 1729
839.46/780.44	o 1728
840.68/781.62	o 1727
841.87/782.83	o 1726
842.97/783.98	o 1725
844.40/785.19	o 1724
845.60/786.35	o 1723
846.80/787.53	o 1722
847.90/788.68	o 1721
849.10/789.86	o 1720
850.49/791.07	o 1719
851.69/792.23	o 1718
852.79/793.38	o 1717
853.99/794.56	o 1716
855.51/795.80	o 1715
856.72/796.94	o 1714
857.82/798.07	o 1713
859.02/799.25	o 1712
860.21/800.40	o 1711
861.57/801.61	o 1710
862.67/802.73	o 1709
863.87/803.91	o 1708
864.97/805.06	o 1707
866.31/806.25	o 1706
867.51/807.41	o 1705
868.61/808.56	o 1704
870.06/809.75	o 1703
871.26/810.91	o 1702
872.47/812.10	o 1701
873.57/813.26	o 1700
874.97/814.50	o 1699
876.18/815.65	o 1698
877.38/816.83	o 1697
878.57/818.01	o 1696
879.93/819.22	o 1695
881.13/820.43	o 1694
882.33/821.61	o 1693
883.73/822.80	o 1692
884.83/823.97	o 1691
886.03/825.15	o 1690
887.45/826.38	o 1689
888.65/827.58	o 1688
889.85/828.72	o 1687
890.95/829.88	o 1686
892.31/831.10	o 1685
893.52/832.25	o 1684
894.71/833.42	o 1683
896.05/834.63	o 1682
897.25/835.82	o 1681
898.35/836.99	o 1680
899.69/838.19	o 1679
900.89/839.36	o 1678
902.35/840.59	o 1677
903.55/841.77	o 1676
904.75/842.92	o 1675
906.13/844.12	o 1674
907.34/845.32	o 1673
908.44/846.49	o 1672
909.91/847.72	o 1671
911.01/848.87	o 1670
912.21/850.01	o 1669
913.51/851.16	o 1668
914.71/852.32	o 1667
915.81/853.43	o 1666
917.23/854.64	o 1665
918.33/855.77	o 1664
919.53/856.95	o 1663
920.85/858.12	o 1662
921.94/859.29	o 1661
923.14/860.49	o 1660
924.64/861.72	o 1659
925.74/862.88	o 1658
926.94/864.03	o 1657
928.32/865.21	o 1656
929.42/866.35	o 1655
930.52/867.49	o 1654
931.96/868.73	o 1653
933.16/869.91	o 1652
934.47/871.09	o 1651
935.67/872.25	o 1650
936.86/873.46	o 1649
938.21/874.65	o 1648
939.41/875.85	o 1647
940.98/877.09	o 1646
942.17/878.30	o 1645
943.38/879.50	o 1644
944.84/880.70	o 1643
945.94/881.86	o 1642
947.14/883.07	o 1641
948.53/884.29	o 1640
949.73/885.47	o 1639
950.93/886.65	o 1638
952.24/887.84	o 1637
953.34/888.99	o 1636
955.31/890.32	o 1635
956.41/891.48	o 1634
957.62/892.66	o 1633
959.12/893.94	o 1632
960.22/895.08	o 1631
961.42/896.28	o 1630
963.29/897.60	o 1629
964.39/898.78	o 1628
965.59/899.99	o 1627
967.11/901.27	o 1626
968.31/902.44	o 1625
969.52/903.62	o 1624
970.62/904.80	o 1623
972.04/905.96	o 1622
973.23/907.14	o 1621
974.43/908.33	o 1620
975.79/909.56	o 1619
977.00/910.74	o 1618
978.20/911.92	o 1617
979.98/913.18	o 1616
981.18/914.38	o 1615
982.38/915.54	o 1614
983.58/916.73	o 1613
984.94/917.99	o 1612
986.14/919.19	o 1611
987.33/920.34	o 1610
989.13/921.62	o 1609
990.23/922.76	o 1608
991.43/923.94	o 1607
992.63/925.11	o 1606
994.02/926.30	o 1605
995.22/927.52	o 1604
996.42/928.77	o 1603
997.52/929.89	o 1602
999.25/931.15	o 1601
1000.35/932.30	o 1600
1001.56/933.49	o 1599
1002.75/934.63	o 1598
1004.14/935.86	o 1597
1005.34/937.01	o 1596
1006.44/938.14	o 1595
1007.64/939.34	o 1594
1009.40/940.62	o 1593
1010.50/941.78	o 1592
1011.80/943.00	o 1591
1013.01/944.20	o 1590
1014.41/945.44	o 1589
1015.61/946.62	o 1588
1016.71/947.77	o 1587
1017.90/948.93	o 1586
1019.67/950.19	o 1585
1020.87/951.35	o 1584
1022.07/952.56	o 1583
1023.27/953.76	o 1582
1024.47/954.92	o 1581
1025.81/956.14	o 1580
1027.01/957.35	o 1579
1028.21/958.59	o 1578
1029.42/959.75	o 1577
1031.03/960.96	o 1576
1032.23/962.15	o 1575
1033.43/963.31	o 1574
1034.53/964.47	o 1573
1035.73/965.63	o 1572
1037.06/966.81	o 1571
1038.26/968.00	o 1570
1039.36/969.16	o 1569
1040.56/970.37	o 1568
1042.41/971.60	o 1567
1043.61/972.80	o 1566
1044.71/973.99	o 1565
1045.92/975.18	o 1564
1047.12/976.33	o 1563
1048.48/977.51	o 1562
1049.58/978.68	o 1561
1050.78/979.87	o 1560
1051.99/981.05	o 1559
1053.09/982.19	o 1558
1054.81/983.42	o 1557
1055.91/984.59	o 1556
1057.11/985.77	o 1555
1058.31/986.96	o 1554
1059.41/988.09	o 1553
1060.78/989.26	o 1552
1061.98/990.46	o 1551
1063.19/991.65	o 1550
1064.29/992.80	o 1549
1065.49/993.97	o 1548
1067.01/995.22	o 1547
1068.11/996.37	o 1546
1069.31/997.56	o 1545
1070.51/998.73	o 1544
1071.71/999.96	o 1543
1073.04/1001.15	o 1542
1074.24/1002.35	o 1541
1075.44/1003.50	o 1540
1076.54/1004.64	o 1539
1077.91/1005.86	o 1538
1079.02/1006.98	o 1537
1080.11/1008.07	o 1536
1081.32/1009.23	o 1535
1082.42/1010.38	o 1534
1083.76/1011.59	o 1533
1084.96/1012.79	o 1532
1086.16/1013.98	o 1531
1087.35/1015.14	o 1530
1088.69/1016.38	o 1529
1089.89/1017.54	o 1528
1091.09/1018.73	o 1527
1092.19/1019.88	o 1526
1093.53/1021.07	o 1525
1094.73/1022.26	o 1524
1095.93/1023.44	o 1523
1097.39/1024.68	o 1522
1098.59/1025.87	o 1521
1099.78/1027.06	o 1520
1100.98/1028.23	o 1519
1102.36/1029.45	o 1518
1103.56/1030.62	o 1517
1104.66/1031.78	o 1516
1106.38/1033.07	o 1515
1107.58/1034.24	o 1514
1108.78/1035.41	o 1513
1109.88/1036.57	o 1512
1111.27/1037.80	o 1511
1112.48/1038.96	o 1510
1113.68/1040.11	o 1509
1115.07/1041.36	o 1508
1116.27/1042.51	o 1507
1117.47/1043.71	o 1506
1118.82/1044.89	o 1505
1120.02/1046.05	o 1504
1121.22/1047.23	o 1503
1122.63/1048.47	o 1502
1124.13/1049.65	o 1501
1125.33/1050.84	o 1500
1126.53/1052.00	o 1499
1127.96/1053.22	o 1498
1129.06/1054.38	o 1497
1130.26/1055.55	o 1496
1131.88/1056.74	o 1495
1133.08/1057.95	o 1494
1134.28/1059.10	o 1493
1135.48/1060.32	o 1492
1136.91/1061.50	o 1491
1138.01/1062.70	o 1490
1139.21/1063.86	o 1489
1140.41/1065.02	o 1488
1141.90/1066.20	o 1487
1143.00/1067.39	o 1486
1144.20/1068.55	o 1485
1145.41/1069.75	o 1484
1146.79/1070.95	o 1483
1147.98/1072.14	o 1482
1149.18/1073.30	o 1481
1151.04/1074.56	o 1480
1152.24/1075.75	o 1479
1153.44/1076.92	o 1478
1154.54/1078.09	o 1477
1155.74/1079.25	o 1476
1157.11/1080.44	o 1475
1158.21/1081.58	o 1474
1159.41/1082.72	o 1473
1160.61/1083.92	o 1472
1162.24/1085.13	o 1471
1163.34/1086.30	o 1470
1164.55/1087.47	o 1469
1165.74/1088.66	o 1468
1167.26/1089.91	o 1467
1168.46/1091.11	o 1466
1169.57/1092.28	o 1465
1170.77/1093.47	o 1464
1172.65/1094.73	o 1463
1173.85/1095.91	o 1462
1174.95/1097.09	o 1461
1176.15/1098.24	o 1460
1177.36/1099.41	o 1459
1178.75/1100.65	o 1458
1179.94/1101.88	o 1457
1181.14/1103.09	o 1456
1182.44/1104.31	o 1455
1184.28/1105.62	o 1454
1185.48/1106.86	o 1453
1186.68/1108.08	o 1452
1187.99/1109.32	o 1451
1189.19/1110.54	o 1450
1190.70/1111.81	o 1449
1191.90/1113.05	o 1448
1193.10/1114.30	o 1447
1194.40/1115.52	o 1446
1195.60/1116.79	o 1445
1197.30/1118.09	o 1444
1198.60/1119.33	o 1443
1199.80/1120.58	o 1442
1201.10/1121.83	o 1441
1202.30/1123.07	o 1440
1203.75/1124.32	o 1439
1204.95/1125.58	o 1438
1206.25/1126.82	o 1437
1207.46/1128.06	o 1436
1208.96/1129.32	o 1435
1210.16/1130.56	o 1434
1211.46/1131.83	o 1433
1212.66/1133.07	o 1432
1213.86/1134.26	o 1431
1215.31/1135.51	o 1430
1216.51/1136.76	o 1429
1217.82/1138.07	o 1428
1219.11/1139.32	o 1427
1220.70/1140.63	o 1426
1221.90/1141.85	o 1425
1223.10/1143.05	o 1424
1224.30/1144.24	o 1423
1225.50/1145.49	o 1422
1226.95/1146.72	o 1421
1228.15/1147.95	o 1420
1229.34/1149.15	o 1419
1230.54/1150.36	o 1418
1231.99/1151.68	o 1417
1233.29/1152.91	o 1416
1234.49/1154.15	o 1415
1235.79/1155.41	o 1414
1237.16/1156.67	o 1413
1238.36/1157.86	o 1412
1239.55/1159.07	o 1411
1240.75/1160.25	o 1410
1242.19/1161.52	o 1409
1243.39/1162.71	o 1408
1244.59/1163.97	o 1407
1246.13/1165.27	o 1406
1247.44/1166.52	o 1405
1248.64/1167.77	o 1404
1249.93/1169.05	o 1403
1251.42/1170.33	o 1402
1252.62/1171.55	o 1401
1253.92/1172.81	o 1400
1255.32/1174.08	o 1399
1256.63/1175.33	o 1398
1257.83/1176.57	o 1397
1259.35/1177.85	o 1396
1260.65/1179.11	o 1395
1261.85/1180.31	o 1394
1263.38/1181.60	o 1393
1264.58/1182.86	o 1392
1265.78/1184.10	o 1391
1267.58/1185.40	o 1390
1268.78/1186.63	o 1389
1269.98/1187.88	o 1388
1271.54/1189.15	o 1387
1272.74/1190.35	o 1386
1273.94/1191.59	o 1385
1275.24/1192.83	o 1384
1276.62/1194.10	o 1383
1277.82/1195.28	o 1382
1279.11/1196.50	o 1381
1280.62/1197.86	o 1380
1281.92/1199.16	o 1379
1283.22/1200.42	o 1378
1284.76/1201.72	o 1377
1285.96/1202.95	o 1376
1287.25/1204.20	o 1375
1288.68/1205.44	o 1374
1289.88/1206.70	o 1373
1291.18/1207.94	o 1372
1292.75/1209.22	o 1371
1293.95/1210.41	o 1370
1295.16/1211.65	o 1369
1296.45/1212.90	o 1368
1297.81/1214.17	o 1367
1299.11/1215.43	o 1366
1300.41/1216.74	o 1365
1301.86/1218.02	o 1364
1303.07/1219.26	o 1363
1304.73/1220.60	o 1362
1305.93/1221.86	o 1361
1307.23/1223.11	o 1360
1308.77/1224.40	o 1359
1309.97/1225.63	o 1358
1311.17/1226.87	o 1357
1312.70/1228.14	o 1356
1313.90/1229.38	o 1355
1315.09/1230.58	o 1354
1316.84/1231.96	o 1353
1318.14/1233.20	o 1352
1319.34/1234.44	o 1351
1320.87/1235.78	o 1350
1322.08/1236.99	o 1349
1323.37/1238.24	o 1348
1324.57/1239.44	o 1347
1326.10/1240.72	o 1346
1327.30/1241.94	o 1345
1328.40/1243.09	o 1344
1329.92/1244.34	o 1343
1331.12/1245.58	o 1342
1332.43/1246.82	o 1341
1334.28/1248.14	o 1340
1335.48/1249.38	o 1339
1336.78/1250.63	o 1338
1337.98/1251.89	o 1337
1339.42/1253.15	o 1336
1340.72/1254.40	o 1335
1341.92/1255.63	o 1334
1343.59/1256.92	o 1333
1344.79/1258.18	o 1332
1346.09/1259.44	o 1331
1347.29/1260.67	o 1330
1348.72/1261.96	o 1329
1349.92/1263.15	o 1328
1351.23/1264.43	o 1327
1353.01/1265.75	o 1326
1354.21/1266.99	o 1325
1355.52/1268.24	o 1324
1356.72/1269.48	o 1323
1358.17/1270.75	o 1322
1359.38/1271.99	o 1321
1360.68/1273.23	o 1320
1361.88/1274.47	o 1319
1363.48/1275.74	o 1318
1364.68/1276.99	o 1317
1365.98/1278.27	o 1316
1367.18/1279.47	o 1315
1368.62/1280.73	o 1314
1369.82/1281.94	o 1313
1371.13/1283.20	o 1312
1372.53/1284.52	o 1311
1373.84/1285.77	o 1310
1375.14/1287.05	o 1309
1376.34/1288.29	o 1308
1377.82/1289.57	o 1307
1379.13/1290.81	o 1306
1380.33/1292.05	o 1305
1381.52/1293.28	o 1304
1382.95/1294.52	o 1303
1384.15/1295.72	o 1302
1385.35/1296.98	o 1301
1386.82/1298.28	o 1300
1388.15/1299.55	o 1299
1389.46/1300.82	o 1298
1390.93/1302.11	o 1297
1392.13/1303.33	o 1296
1393.33/1304.55	o 1295
1394.84/1305.83	o 1294
1396.04/1307.07	o 1293
1397.34/1308.30	o 1292
1400.32/1309.80	o 1291
1401.53/1311.03	o 1290
1402.73/1312.28	o 1289
1404.23/1313.53	o 1288
1405.43/1314.78	o 1287
1406.73/1316.02	o 1286
1407.94/1317.26	o 1285
1409.36/1318.50	o 1284
1410.55/1319.73	o 1283
1411.76/1320.93	o 1282
1413.12/1322.16	o 1281
1414.32/1323.33	o 1280
1415.52/1324.58	o 1279
1417.17/1325.86	o 1278
1418.48/1327.11	o 1277
1419.68/1328.39	o 1276
1421.19/1329.67	o 1275
1422.49/1330.90	o 1274
1423.69/1332.14	o 1273
1425.41/1333.49	o 1272
1426.92/1334.74	o 1271
1428.13/1335.99	o 1270
1429.42/1337.24	o 1269
1430.79/1338.48	o 1268
1432.09/1339.72	o 1267
1433.29/1340.97	o 1266
1435.13/1342.33	o 1265
1436.33/1343.61	o 1264
1437.73/1344.90	o 1263
1438.93/1346.14	o 1262
1440.43/1347.41	o 1261
1441.73/1348.70	o 1260
1442.93/1349.97	o 1259
1444.13/1351.19	o 1258
1445.83/1352.48	o 1257
1447.12/1353.73	o 1256
1448.32/1354.97	o 1255
1449.62/1356.20	o 1254
1450.97/1357.49	o 1253
1452.27/1358.72	o 1252
1453.57/1360.01	o 1251
1454.78/1361.29	o 1250
1456.60/1362.60	o 1249
1457.80/1363.83	o 1248
1459.00/1365.05	o 1247
1460.20/1366.26	o 1246
1461.70/1367.53	o 1245
1462.90/1368.79	o 1244
1464.20/1370.02	o 1243
1465.40/1371.27	o 1242
1467.37/1372.60	o 1241
1468.57/1373.83	o 1240
1469.77/1375.06	o 1239
1471.07/1376.30	o 1238
1472.28/1377.52	o 1237
1473.69/1378.79	o 1236
1475.00/1380.06	o 1235
1476.19/1381.29	o 1234
1477.49/1382.50	o 1233
1479.38/1383.83	o 1232
1480.58/1385.04	o 1231
1481.78/1386.26	o 1230
1482.99/1387.49	o 1229
1484.19/1388.70	o 1228
1485.82/1390.01	o 1227
1487.01/1391.26	o 1226
1488.21/1392.45	o 1225
1489.41/1393.68	o 1224
1490.61/1394.89	o 1223
1492.48/1396.21	o 1222
1493.58/1397.39	o 1221
1494.89/1398.64	o 1220
1496.09/1399.82	o 1219
1497.28/1401.01	o 1218
1498.48/1402.22	o 1217
1499.87/1403.41	o 1216
1501.07/1404.64	o 1215
1502.27/1405.87	o 1214
1503.47/1407.09	o 1213
1504.77/1408.33	o 1212
1506.61/1409.67	o 1211
1507.92/1410.91	o 1210
1509.12/1412.13	o 1209
1510.32/1413.33	o 1208
1511.52/1414.56	o 1207
1513.16/1415.84	o 1206
1514.49/1417.11	o 1205
1515.69/1418.34	o 1204
1516.90/1419.60	o 1203
1518.10/1420.79	o 1202
1519.39/1422.02	o 1201
1521.25/1423.38	o 1200
1522.55/1424.62	o 1199
1523.75/1425.88	o 1198
1525.05/1427.15	o 1197
1526.36/1428.41	o 1196
1527.55/1429.66	o 1195
1529.12/1430.96	o 1194
1530.42/1432.21	o 1193
1531.62/1433.48	o 1192
1532.92/1434.72	o 1191
1534.12/1435.96	o 1190
1535.42/1437.27	o 1189
1537.18/1438.58	o 1188
1538.48/1439.84	o 1187
1539.78/1441.13	o 1186
1540.98/1442.37	o 1185
1542.28/1443.63	o 1184
1543.49/1444.87	o 1183
1545.04/1446.18	o 1182
1546.24/1447.40	o 1181
1547.54/1448.61	o 1180
1548.74/1449.83	o 1179
1549.94/1451.10	o 1178
1551.24/1452.36	o 1177
1553.25/1453.73	o 1176
1554.44/1454.95	o 1175
1555.74/1456.21	o 1174
1556.94/1457.47	o 1173
1558.14/1458.69	o 1172
1559.44/1459.91	o 1171
1560.64/1461.14	o 1170
1562.22/1462.46	o 1169
1563.52/1463.72	o 1168
1564.72/1464.95	o 1167
1565.91/1466.17	o 1166
1567.22/1467.40	o 1165
1568.42/1468.62	o 1164
1570.48/1470.01	o 1163
1571.69/1471.23	o 1162
1572.89/1472.49	o 1161
1574.18/1473.73	o 1160
1575.39/1474.94	o 1159
1576.59/1476.14	o 1158
1577.88/1477.42	o 1157
1579.65/1478.72	o 1156
1580.85/1479.95	o 1155
1582.16/1481.23	o 1154
1583.35/1482.43	o 1153
1584.55/1483.63	o 1152
1585.75/1484.86	o 1151
1586.95/1486.10	o 1150
1588.25/1487.33	o 1149
1590.09/1488.62	o 1148
1591.29/1489.87	o 1147
1592.60/1491.11	o 1146
1593.79/1492.35	o 1145
1595.00/1493.59	o 1144
1596.30/1494.83	o 1143
1597.50/1496.08	o 1142
1599.16/1497.35	o 1141
1600.46/1498.64	o 1140
1601.77/1499.91	o 1139
1602.97/1501.16	o 1138
1604.27/1502.42	o 1137
1605.47/1503.66	o 1136
1606.67/1504.88	o 1135
1608.83/1506.24	o 1134
1610.03/1507.48	o 1133
1611.24/1508.70	o 1132
1612.53/1509.92	o 1131
1613.73/1511.15	o 1130
1614.93/1512.39	o 1129
1616.23/1513.63	o 1128
1617.43/1514.86	o 1127
1619.25/1516.16	o 1126
1620.45/1517.35	o 1125
1621.66/1518.59	o 1124
1622.95/1519.83	o 1123
1624.15/1521.02	o 1122
1625.35/1522.28	o 1121
1626.55/1523.47	o 1120
1627.85/1524.74	o 1119
1629.87/1526.06	o 1118
1631.18/1527.31	o 1117
1632.38/1528.54	o 1116
1633.57/1529.75	o 1115
1634.77/1530.98	o 1114
1636.07/1532.20	o 1113
1637.27/1533.42	o 1112
1638.47/1534.62	o 1111
1639.67/1535.88	o 1110
1641.29/1537.19	o 1109
1642.60/1538.44	o 1108
1643.79/1539.70	o 1107
1645.09/1540.95	o 1106
1646.39/1542.21	o 1105
1647.59/1543.43	o 1104
1648.79/1544.69	o 1103
1650.09/1545.91	o 1102
1652.02/1547.24	o 1101
1653.21/1548.43	o 1100
1654.41/1549.67	o 1099
1655.71/1550.92	o 1098
1656.91/1552.19	o 1097
1658.21/1553.47	o 1096
1659.51/1554.71	o 1095
1660.72/1555.95	o 1094
1661.92/1557.16	o 1093
1663.59/1558.44	o 1092
1664.79/1559.65	o 1091
1665.99/1560.83	o 1090
1667.19/1562.05	o 1089
1668.39/1563.24	o 1088
1669.59/1564.46	o 1087
1670.79/1565.68	o 1086
1672.10/1566.93	o 1085
1673.30/1568.18	o 1084
1675.34/1569.57	o 1083
1676.54/1570.79	o 1082
1677.84/1572.02	o 1081
1679.04/1573.23	o 1080
1680.24/1574.47	o 1079
1681.55/1575.71	o 1078
1682.75/1576.94	o 1077
1683.94/1578.16	o 1076
1685.24/1579.41	o 1075
1686.44/1580.61	o 1074
1688.02/1581.95	o 1073
1689.32/1583.20	o 1072
1690.52/1584.47	o 1071
1691.72/1585.70	o 1070
1693.02/1586.94	o 1069
1694.22/1588.14	o 1068
1695.42/1589.37	o 1067
1696.72/1590.60	o 1066
1697.92/1591.81	o 1065
1699.37/1593.08	o 1064
1700.68/1594.33	o 1063
1701.88/1595.54	o 1062
1703.08/1596.78	o 1061
1704.37/1598.01	o 1060
1705.57/1599.25	o 1059
1706.87/1600.51	o 1058
1708.07/1601.74	o 1057
1709.27/1602.97	o 1056
1711.12/1604.31	o 1055
1712.32/1605.57	o 1054
1713.51/1606.77	o 1053
1714.81/1608.00	o 1052
1716.01/1609.23	o 1051
1717.31/1610.50	o 1050
1718.51/1611.74	o 1049
1719.71/1612.96	o 1048
1721.01/1614.23	o 1047
1722.21/1615.45	o 1046
1723.72/1616.73	o 1045
1724.92/1617.94	o 1044
1726.12/1619.17	o 1043
1727.33/1620.39	o 1042
1728.63/1621.66	o 1041
1729.83/1622.89	o 1040
1731.03/1624.09	o 1039
1732.34/1625.33	o 1038
1733.63/1626.61	o 1037
1735.10/1627.89	o 1036
1736.40/1629.15	o 1035
1737.60/1630.38	o 1034
1738.90/1631.62	o 1033
1740.11/1632.86	o 1032
1741.41/1634.11	o 1031
1742.60/1635.36	o 1030
1743.80/1636.55	o 1029
1745.00/1637.78	o 1028
1746.30/1639.06	o 1027
1747.73/1640.25	o 1026
1749.03/1641.50	o 1025
1750.23/1642.73	o 1024
1751.45/1643.92	o 1023
1752.65/1645.16	o 1022
1753.94/1646.41	o 1021
1755.14/1647.65	o 1020
1756.44/1648.92	o 1019
1757.64/1650.14	o 1018
1759.21/1651.41	o 1017
1760.41/1652.64	o 1016
1761.72/1653.91	o 1015
1762.91/1655.15	o 1014
1764.21/1656.41	o 1013
1765.41/1657.65	o 1012
1766.62/1658.88	o 1011
1767.92/1660.10	o 1010
1769.12/1661.34	o 1009
1770.81/1662.65	o 1008
1772.01/1663.89	o 1007
1773.30/1665.15	o 1006
1774.60/1666.40	o 1005
1775.80/1667.60	o 1004
1777.00/1668.81	o 1003
1778.20/1670.05	o 1002
1779.40/1671.27	o 1001
1780.71/1672.51	o 1000
1781.91/1673.77	o 999
1783.44/1675.05	o 998
1784.64/1676.25	o 997
1785.84/1677.46	o 996
1787.14/1678.70	o 995
1788.34/1679.96	o 994
1789.64/1681.22	o 993
1790.85/1682.43	o 992
1792.05/1683.68	o 991
1793.34/1684.93	o 990
1794.81/1686.19	o 989
1796.11/1687.41	o 988
1797.31/1688.62	o 987
1798.51/1689.86	o 986
1799.71/1691.09	o 985
1801.02/1692.34	o 984
1802.22/1693.56	o 983
1803.41/1694.76	o 982
1804.61/1695.97	o 981
1805.91/1697.20	o 980
1807.35/1698.47	o 979
1808.55/1699.68	o 978
1809.85/1700.91	o 977
1811.05/1702.16	o 976
1812.36/1703.40	o 975
1813.55/1704.69	o 974
1814.85/1705.93	o 973
1816.06/1707.18	o 972
1817.36/1708.43	o 971
1818.83/1709.69	o 970
1820.13/1710.93	o 969
1821.33/1712.19	o 968
1822.63/1713.43	o 967
1823.83/1714.68	o 966
1825.13/1715.93	o 965
1826.33/1717.14	o 964
1827.53/1718.33	o 963
1828.73/1719.58	o 962
1829.93/1720.78	o 961
1831.37/1721.94	o 960
1832.58/1723.16	o 959
1833.87/1724.42	o 958
1835.07/1725.66	o 957
1836.37/1726.93	o 956
1837.67/1728.21	o 955
1838.87/1729.44	o 954
1840.17/1730.70	o 953
1841.38/1731.92	o 952
1842.86/1733.18	o 951
1844.05/1734.39	o 950
1845.35/1735.64	o 949
1846.55/1736.85	o 948
1847.75/1738.04	o 947
1849.06/1739.33	o 946
1850.26/1740.57	o 945
1851.46/1741.79	o 944
1852.77/1743.06	o 943
1853.96/1744.29	o 942
1855.49/1745.56	o 941
1856.79/1746.82	o 940
1857.99/1748.04	o 939
1859.19/1749.27	o 938
1860.39/1750.47	o 937
1861.59/1751.68	o 936
1862.90/1752.92	o 935
1864.09/1754.16	o 934
1865.39/1755.45	o 933
1866.95/1756.72	o 932
1868.15/1757.95	o 931
1869.35/1759.18	o 930
1870.65/1760.45	o 929
1871.86/1761.70	o 928
1873.16/1762.94	o 927
1874.35/1764.18	o 926
1875.55/1765.38	o 925
1876.86/1766.62	o 924
1878.39/1767.88	o 923
1879.69/1769.14	o 922
1880.89/1770.40	o 921
1882.20/1771.65	o 920
1883.39/1772.88	o 919
1884.59/1774.10	o 918
1885.89/1775.33	o 917
1887.09/1776.55	o 916
1888.29/1777.78	o 915
1889.59/1779.02	o 914
1891.13/1780.34	o 913
1892.33/1781.57	o 912
1893.63/1782.82	o 911
1894.83/1784.07	o 910
1896.03/1785.27	o 909
1897.33/1786.51	o 908
1898.53/1787.73	o 907
1899.73/1788.97	o 906
1900.93/1790.20	o 905
1902.62/1791.52	o 904
1903.82/1792.79	o 903
1905.13/1794.01	o 902
1906.33/1795.27	o 901
1907.53/1796.47	o 900
1908.83/1797.71	o 899
1910.03/1798.96	o 898
1911.23/1800.18	o 897
1912.44/1801.36	o 896
1913.73/1802.62	o 895
1915.19/1803.88	o 894
1916.49/1805.13	o 893
1917.69/1806.37	o 892
1918.99/1807.62	o 891
1920.19/1808.88	o 890
1921.50/1810.11	o 889
1922.69/1811.36	o 888
1923.99/1812.62	o 887
1925.19/1813.85	o 886
1926.81/1815.15	o 885
1928.01/1816.33	o 884
1929.21/1817.59	o 883
1930.41/1818.79	o 882
1931.72/1820.05	o 881
1932.91/1821.27	o 880
1934.11/1822.49	o 879
1935.41/1823.78	o 878
1936.71/1825.07	o 877
1938.01/1826.34	o 876
1939.59/1827.65	o 875
1940.79/1828.86	o 874
1942.08/1830.17	o 873
1943.38/1831.47	o 872
1944.68/1832.73	o 871
1945.88/1833.97	o 870
1947.18/1835.20	o 869
1948.38/1836.46	o 868
1949.68/1837.71	o 867
1951.28/1839.04	o 866
1952.58/1840.31	o 865
1953.78/1841.52	o 864
1954.98/1842.78	o 863
1956.28/1844.02	o 862
1957.59/1845.31	o 861
1958.78/1846.55	o 860
1959.98/1847.79	o 859
1961.29/1849.06	o 858
1962.59/1850.38	o 857
1964.10/1851.69	o 856
1965.41/1852.96	o 855
1966.70/1854.22	o 854
1967.90/1855.44	o 853
1969.10/1856.68	o 852
1970.40/1857.94	o 851
1971.60/1859.19	o 850
1972.90/1860.43	o 849
1974.21/1861.75	o 848
1975.77/1863.03	o 847
1976.97/1864.28	o 846
1978.28/1865.53	o 845
1979.48/1866.75	o 844
1980.68/1867.97	o 843
1981.98/1869.26	o 842
1983.18/1870.49	o 841
1984.49/1871.73	o 840
1985.68/1872.96	o 839
1987.38/1874.35	o 838
1988.69/1875.65	o 837
1989.99/1876.90	o 836
1991.30/1878.21	o 835
1992.40/1879.40	o 834
1993.60/1880.57	o 833
1994.80/1881.73	o 832
1996.10/1883.01	o 831
1997.30/1884.26	o 830
1998.50/1885.46	o 829
2000.09/1886.73	o 828
2001.29/1887.95	o 827
2002.48/1889.19	o 826
2003.79/1890.45	o 825
2004.98/1891.68	o 824
2006.28/1892.93	o 823
2007.48/1894.15	o 822
2008.68/1895.37	o 821
2009.89/1896.59	o 820
2011.19/1897.81	o 819
2012.62/1899.06	o 818
2013.83/1900.30	o 817
2015.12/1901.53	o 816
2016.32/1902.79	o 815
2017.52/1903.99	o 814
2018.82/1905.24	o 813
2020.02/1906.49	o 812
2021.32/1907.70	o 811
2022.52/1908.93	o 810
2024.10/1910.21	o 809
2025.30/1911.46	o 808
2026.50/1912.67	o 807
2027.80/1913.91	o 806
2028.99/1915.17	o 805
2030.30/1916.42	o 804
2031.50/1917.65	o 803
2032.70/1918.88	o 802
2034.01/1920.11	o 801
2035.20/1921.34	o 800
2036.74/1922.62	o 799
2037.94/1923.87	o 798
2039.24/1925.10	o 797
2040.44/1926.39	o 796
2041.64/1927.59	o 795
2042.95/1928.82	o 794
2044.15/1930.04	o 793
2045.34/1931.25	o 792
2046.64/1932.52	o 791
2048.20/1933.81	o 790
2049.40/1935.03	o 789
2050.60/1936.24	o 788
2051.80/1937.47	o 787
2053.00/1938.69	o 786
2054.32/1939.95	o 785
2055.51/1941.19	o 784
2056.71/1942.38	o 783
2058.02/1943.62	o 782
2059.63/1944.92	o 781
2060.83/1946.17	o 780
2062.03/1947.37	o 779
2063.34/1948.62	o 778
2064.54/1949.89	o 777
2065.83/1951.14	o 776
2067.13/1952.41	o 775
2068.33/1953.62	o 774
2069.53/1954.86	o 773
2070.73/1956.08	o 772
2072.31/1957.32	o 771
2073.52/1958.56	o 770
2074.81/1959.81	o 769
2076.01/1961.01	o 768
2077.21/1962.24	o 767
2078.41/1963.48	o 766
2079.71/1964.74	o 765
2080.91/1965.98	o 764
2082.21/1967.20	o 763
2083.42/1968.43	o 762
2084.87/1969.70	o 761
2086.16/1970.91	o 760
2087.36/1972.11	o 759
2088.56/1973.36	o 758
2089.87/1974.63	o 757
2091.07/1975.85	o 756
2092.37/1977.10	o 755
2093.58/1978.31	o 754
2094.78/1979.56	o 753
2096.37/1980.84	o 752
2097.57/1982.06	o 751
2098.87/1983.30	o 750
2100.07/1984.55	o 749
2101.37/1985.84	o 748
2102.57/1987.07	o 747
2103.88/1988.33	o 746
2105.07/1989.58	o 745
2106.27/1990.79	o 744
2107.57/1992.03	o 743
2109.10/1993.31	o 742
2110.30/1994.54	o 741
2111.60/1995.81	o 740
2112.81/1997.03	o 739
2114.01/1998.28	o 738
2115.30/1999.50	o 737
2116.40/2000.67	o 736
2117.70/2001.90	o 735
2118.90/2003.16	o 734
2120.47/2004.46	o 733
2121.67/2005.68	o 732
2122.99/2006.95	o 731
2124.28/2008.24	o 730
2125.48/2009.43	o 729
2126.68/2010.65	o 728
2127.98/2011.90	o 727
2129.18/2013.13	o 726
2130.38/2014.36	o 725
2131.68/2015.66	o 724
2133.21/2016.95	o 723
2134.41/2018.17	o 722
2135.61/2019.39	o 721
2136.91/2020.64	o 720
2138.11/2021.87	o 719
2139.41/2023.14	o 718
2140.61/2024.38	o 717
2141.81/2025.60	o 716
2143.11/2026.84	o 715
2144.69/2028.13	o 714
2145.89/2029.35	o 713
2147.09/2030.58	o 712
2148.39/2031.82	o 711
2149.59/2033.05	o 710
2150.89/2034.30	o 709
2151.99/2035.48	o 708
2153.29/2036.71	o 707
2154.49/2037.91	o 706
2155.69/2039.16	o 705
2157.14/2040.39	o 704
2158.44/2041.65	o 703
2159.64/2042.87	o 702
2160.94/2044.13	o 701
2162.14/2045.36	o 700
2163.34/2046.60	o 699
2164.54/2047.79	o 698
2165.84/2049.04	o 697
2167.04/2050.28	o 696
2168.75/2051.61	o 695
2169.95/2052.87	o 694
2171.25/2054.11	o 693
2172.47/2055.35	o 692
2173.67/2056.59	o 691
2174.96/2057.82	o 690
2176.16/2059.06	o 689
2177.36/2060.29	o 688
2178.66/2061.56	o 687
2179.96/2062.83	o 686
2181.53/2064.12	o 685
2182.73/2065.38	o 684
2183.92/2066.59	o 683
2185.23/2067.84	o 682
2186.43/2069.07	o 681
2187.63/2070.29	o 680
2188.93/2071.53	o 679
2190.13/2072.78	o 678
2191.44/2074.01	o 677
2193.03/2075.32	o 676
2194.24/2076.59	o 675
2195.54/2077.85	o 674
2196.74/2079.09	o 673
2198.04/2080.33	o 672
2199.24/2081.56	o 671
2200.55/2082.82	o 670
2201.75/2084.06	o 669
2203.04/2085.33	o 668
2204.24/2086.56	o 667
2205.79/2087.82	o 666
2206.99/2089.05	o 665
2208.19/2090.28	o 664
2209.45/2091.48	o 663
2210.76/2092.72	o 662
2211.96/2093.92	o 661
2213.15/2095.14	o 660
2214.35/2096.37	o 659
2215.55/2097.57	o 658
2216.75/2098.77	o 657
2218.29/2100.06	o 656
2219.49/2101.26	o 655
2220.79/2102.54	o 654
2221.99/2103.76	o 653
2223.29/2105.01	o 652
2224.49/2106.26	o 651
2225.79/2107.52	o 650
2226.99/2108.72	o 649
2228.19/2109.93	o 648
2229.68/2111.19	o 647
2230.98/2112.42	o 646
2232.18/2113.65	o 645
2233.38/2114.87	o 644
2234.58/2116.07	o 643
2235.77/2117.29	o 642
2236.97/2118.45	o 641
2238.17/2119.62	o 640
2239.37/2120.86	o 639
2240.57/2122.07	o 638
2242.17/2123.39	o 637
2243.48/2124.63	o 636
2244.68/2125.86	o 635
2245.98/2127.12	o 634
2247.18/2128.36	o 633
2248.38/2129.59	o 632
2249.58/2130.79	o 631
2250.88/2132.06	o 630
2252.08/2133.29	o 629
2253.28/2134.50	o 628
2254.84/2135.77	o 627
2256.03/2136.99	o 626
2257.33/2138.23	o 625
2258.53/2139.47	o 624
2259.73/2140.67	o 623
2261.03/2141.92	o 622
2262.23/2143.19	o 621
2263.54/2144.45	o 620
2264.74/2145.67	o 619
2266.32/2146.96	o 618
2267.52/2148.18	o 617
2268.82/2149.41	o 616
2270.02/2150.64	o 615
2271.32/2151.94	o 614
2272.52/2153.17	o 613
2273.83/2154.41	o 612
2275.02/2155.65	o 611
2276.22/2156.89	o 610
2277.52/2158.12	o 609
2279.05/2159.41	o 608
2280.25/2160.68	o 607
2281.55/2161.90	o 606
2282.76/2163.13	o 605
2283.96/2164.39	o 604
2285.25/2165.62	o 603
2286.45/2166.86	o 602
2287.75/2168.10	o 601
2288.96/2169.33	o 600
2290.53/2170.62	o 599
2291.73/2171.86	o 598
2293.04/2173.12	o 597
2294.23/2174.39	o 596
2295.54/2175.62	o 595
2296.74/2176.85	o 594
2297.94/2178.06	o 593
2299.14/2179.29	o 592
2300.44/2180.52	o 591
2301.64/2181.74	o 590
2303.21/2183.02	o 589
2304.40/2184.24	o 588
2305.60/2185.46	o 587
2306.90/2186.71	o 586
2308.10/2187.95	o 585
2309.30/2189.15	o 584
2310.50/2190.38	o 583
2311.80/2191.61	o 582
2313.00/2192.84	o 581
2314.21/2194.08	o 580
2315.73/2195.39	o 579
2317.03/2196.62	o 578
2318.23/2197.90	o 577
2319.53/2199.11	o 576
2320.75/2200.36	o 575
2322.06/2201.63	o 574
2323.35/2202.90	o 573
2324.55/2204.14	o 572
2325.75/2205.38	o 571
2327.35/2206.69	o 570
2328.65/2207.90	o 569
2329.95/2209.20	o 568
2331.16/2210.47	o 567
2332.36/2211.68	o 566
2333.65/2212.98	o 565
2334.95/2214.22	o 564
2336.16/2215.44	o 563
2337.36/2216.70	o 562
2338.66/2217.96	o 561
2340.22/2219.26	o 560
2341.42/2220.48	o 559
2342.61/2221.69	o 558
2343.91/2222.95	o 557
2345.21/2224.21	o 556
2346.41/2225.43	o 555
2347.71/2226.70	o 554
2348.91/2227.93	o 553
2350.12/2229.14	o 552
2351.72/2230.46	o 551
2352.92/2231.66	o 550
2354.22/2232.90	o 549
2355.42/2234.13	o 548
2356.62/2235.37	o 547
2357.92/2236.62	o 546
2359.12/2237.86	o 545
2360.32/2239.10	o 544
2361.62/2240.32	o 543
2362.82/2241.53	o 542
2364.38/2242.82	o 541
2365.58/2244.05	o 540
2366.88/2245.32	o 539
2368.09/2246.59	o 538
2369.39/2247.85	o 537
2370.59/2249.07	o 536
2371.89/2250.34	o 535
2373.09/2251.58	o 534
2374.29/2252.79	o 533
2375.89/2254.05	o 532
2377.09/2255.27	o 531
2378.39/2256.52	o 530
2379.59/2257.71	o 529
2380.80/2258.95	o 528
2381.99/2260.17	o 527
2383.29/2261.43	o 526
2384.49/2262.67	o 525
2385.79/2263.91	o 524
2386.99/2265.15	o 523
2388.57/2266.44	o 522
2389.78/2267.66	o 521
2391.07/2268.91	o 520
2392.27/2270.15	o 519
2393.57/2271.41	o 518
2394.77/2272.65	o 517
2395.97/2273.88	o 516
2397.27/2275.11	o 515
2398.47/2276.34	o 514
2399.68/2277.57	o 513
2400.07/2277.95	java.util.concurrent.TimeoutException
2400.07/2277.95		at concrete.MAC.mac(MAC.scala:74)
2400.07/2277.95		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:145)
2400.07/2277.95		at scala.util.Try$.apply(Try.scala:209)
2400.07/2277.95		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
2400.07/2277.95		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
2400.07/2277.95		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
2400.07/2277.95		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
2400.07/2277.95		at org.scalameter.Measurer$Default.measure(Measurer.scala:131)
2400.07/2277.95		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
2400.07/2277.95		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
2400.07/2277.95		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
2400.07/2277.95		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
2400.07/2277.95		at concrete.MAC.oneRun(MAC.scala:146)
2400.07/2277.95		at concrete.MAC.nextSolution(MAC.scala:166)
2400.07/2277.95		at concrete.MAC.$anonfun$nextSolution$2(MAC.scala:196)
2400.07/2277.95		at concrete.ProblemState.map(ProblemState.scala:203)
2400.07/2277.95		at concrete.ProblemState.map(ProblemState.scala:188)
2400.07/2277.95		at concrete.MAC.nextSolution(MAC.scala:195)
2400.07/2277.95		at concrete.Solver.hasNext(Solver.scala:202)
2400.07/2277.95		at scala.collection.Iterator.toStream(Iterator.scala:1403)
2400.07/2277.95		at scala.collection.Iterator.toStream$(Iterator.scala:1402)
2400.07/2277.95		at concrete.Solver.toStream(Solver.scala:73)
2400.07/2277.95		at scala.collection.Iterator.$anonfun$toStream$1(Iterator.scala:1403)
2400.07/2277.95		at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1169)
2400.07/2277.95		at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1159)
2400.07/2277.95		at scala.collection.immutable.Stream.foreach(Stream.scala:531)
2400.07/2277.95		at concrete.runner.ConcreteRunner.$anonfun$run$10(ConcreteRunner.scala:157)
2400.07/2277.95		at scala.util.Success.$anonfun$map$1(Try.scala:251)
2400.07/2277.95		at scala.util.Success.map(Try.scala:209)
2400.07/2277.95		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:154)
2400.07/2277.95		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:72)
2400.07/2277.95		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:17)
2400.07/2277.95		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:119)
2400.07/2277.95		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:17)
2400.07/2277.95		at scala.Function0.apply$mcV$sp(Function0.scala:34)
2400.07/2277.95		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
2400.07/2277.95		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
2400.07/2277.95		at scala.App.$anonfun$main$1$adapted(App.scala:76)
2400.07/2277.95		at scala.collection.immutable.List.foreach(List.scala:389)
2400.07/2277.95		at scala.App.main(App.scala:76)
2400.07/2277.95		at scala.App.main$(App.scala:74)
2400.07/2277.95		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:17)
2400.07/2277.95		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2400.07/2277.96	v <instantiation cost="513">
2400.07/2277.96	v       <list>
2400.07/2277.96	v         x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[80] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] x[90] x[91] x[92] x[93] x[94] x[95] x[96] x[97] x[98] x[99] x[100] x[101] x[102] x[103] x[104] x[105] x[106] x[107] x[108] x[109] x[110] x[111] x[112] x[113] x[114] x[115] x[116] x[117] x[118] x[119] x[120] x[121] x[122] x[123] x[124] x[125] x[126] x[127] x[128] x[129] x[130] x[131] x[132] x[133] x[134] x[135] x[136] x[137] x[138] x[139] x[140] x[141] x[142] x[143] x[144] x[145] x[146] x[147] x[148] x[149] x[150] x[151] x[152] x[153] x[154] x[155] x[156] x[157] x[158] x[159] x[160] x[161] x[162] x[163] x[164] x[165] x[166] x[167] x[168] x[169] x[170] x[171] x[172] x[173] x[174] x[175] x[176] x[177] x[178] x[179] x[180] x[181] x[182] x[183] x[184] x[185] x[186] x[187] x[188] x[189] x[190] x[191] x[192] x[193] x[194] x[195] x[196] x[197] x[198] x[199] x[200] x[201] x[202] x[203] x[204] x[205] x[206] x[207] x[208] x[209] x[210] x[211] x[212] x[213] x[214] x[215] x[216] x[217] x[218] x[219] x[220] x[221] x[222] x[223] x[224] x[225] x[226] x[227] x[228] x[229] x[230] x[231] x[232] x[233] x[234] x[235] x[236] x[237] x[238] x[239] x[240] x[241] x[242] x[243] x[244] x[245] x[246] x[247] x[248] x[249] x[250] x[251] x[252] x[253] x[254] x[255] x[256] x[257] x[258] x[259] x[260] x[261] x[262] x[263] x[264] x[265] x[266] x[267] x[268] x[269] x[270] x[271] x[272] x[273] x[274] x[275] x[276] x[277] x[278] x[279] x[280] x[281] x[282] x[283] x[284] x[285] x[286] x[287] x[288] x[289] x[290] x[291] x[292] x[293] x[294] x[295] x[296] x[297] x[298] x[299] x[300] x[301] x[302] x[303] x[304] x[305] x[306] x[307] x[308] x[309] x[310] x[311] x[312] x[313] x[314] x[315] x[316] x[317] x[318] x[319] x[320] x[321] x[322] x[323] x[324] x[325] x[326] x[327] x[328] x[329] x[330] x[331] x[332] x[333] x[334] x[335] x[336] x[337] x[338] x[339] x[340] x[341] x[342] x[343] x[344] x[345] x[346] x[347] x[348] x[349] x[350] x[351] x[352] x[353] x[354] x[355] x[356] x[357] x[358] x[359] x[360] x[361] x[362] x[363] x[364] x[365] x[366] x[367] x[368] x[369] x[370] x[371] x[372] x[373] x[374] x[375] x[376] x[377] x[378] x[379] x[380] x[381] x[382] x[383] x[384] x[385] x[386] x[387] x[388] x[389] x[390] x[391] x[392] x[393] x[394] x[395] x[396] x[397] x[398] x[399] x[400] x[401] x[402] x[403] x[404] x[405] x[406] x[407] x[408] x[409] x[410] x[411] x[412] x[413] x[414] x[415] x[416] x[417] x[418] x[419] x[420] x[421] x[422] x[423] x[424] x[425] x[426] x[427] x[428] x[429] x[430] x[431] x[432] x[433] x[434] x[435] x[436] x[437] x[438] x[439] x[440] x[441] x[442] x[443] x[444] x[445] x[446] x[447] x[448] x[449] x[450] x[451] x[452] x[453] x[454] x[455] x[456] x[457] x[458] x[459] x[460] x[461] x[462] x[463] x[464] x[465] x[466] x[467] x[468] x[469] x[470] x[471] x[472] x[473] x[474] x[475] x[476] x[477] x[478] x[479] x[480] x[481] x[482] x[483] x[484] x[485] x[486] x[487] x[488] x[489] x[490] x[491] x[492] x[493] x[494] x[495] x[496] x[497] x[498] x[499] x[500] x[501] x[502] x[503] x[504] x[505] x[506] x[507] x[508] x[509] x[510] x[511] x[512] x[513] x[514] x[515] x[516] x[517] x[518] x[519] x[520] x[521] x[522] x[523] x[524] x[525] x[526] x[527] x[528] x[529] x[530] x[531] x[532] x[533] x[534] x[535] x[536] x[537] x[538] x[539] x[540] x[541] x[542] x[543] x[544] x[545] x[546] x[547] x[548] x[549] x[550] x[551] x[552] x[553] x[554] x[555] x[556] x[557] x[558] x[559] x[560] x[561] x[562] x[563] x[564] x[565] x[566] x[567] x[568] x[569] x[570] x[571] x[572] x[573] x[574] x[575] x[576] x[577] x[578] x[579] x[580] x[581] x[582] x[583] x[584] x[585] x[586] x[587] x[588] x[589] x[590] x[591] x[592] x[593] x[594] x[595] x[596] x[597] x[598] x[599] x[600] x[601] x[602] x[603] x[604] x[605] x[606] x[607] x[608] x[609] x[610] x[611] x[612] x[613] x[614] x[615] x[616] x[617] x[618] x[619] x[620] x[621] x[622] x[623] x[624] x[625] x[626] x[627] x[628] x[629] x[630] x[631] x[632] x[633] x[634] x[635] x[636] x[637] x[638] x[639] x[640] x[641] x[642] x[643] x[644] x[645] x[646] x[647] x[648] x[649] x[650] x[651] x[652] x[653] x[654] x[655] x[656] x[657] x[658] x[659] x[660] x[661] x[662] x[663] x[664] x[665] x[666] x[667] x[668] x[669] x[670] x[671] x[672] x[673] x[674] x[675] x[676] x[677] x[678] x[679] x[680] x[681] x[682] x[683] x[684] x[685] x[686] x[687] x[688] x[689] x[690] x[691] x[692] x[693] x[694] x[695] x[696] x[697] x[698] x[699] x[700] x[701] x[702] x[703] x[704] x[705] x[706] x[707] x[708] x[709] x[710] x[711] x[712] x[713] x[714] x[715] x[716] x[717] x[718] x[719] x[720] x[721] x[722] x[723] x[724] x[725] x[726] x[727] x[728] x[729] x[730] x[731] x[732] x[733] x[734] x[735] x[736] x[737] x[738] x[739] x[740] x[741] x[742] x[743] x[744] x[745] x[746] x[747] x[748] x[749] x[750] x[751] x[752] x[753] x[754] x[755] x[756] x[757] x[758] x[759] x[760] x[761] x[762] x[763] x[764] x[765] x[766] x[767] x[768] x[769] x[770] x[771] x[772] x[773] x[774] x[775] x[776] x[777] x[778] x[779] x[780] x[781] x[782] x[783] x[784] x[785] x[786] x[787] x[788] x[789] x[790] x[791] x[792] x[793] x[794] x[795] x[796] x[797] x[798] x[799] x[800] x[801] x[802] x[803] x[804] x[805] x[806] x[807] x[808] x[809] x[810] x[811] x[812] x[813] x[814] x[815] x[816] x[817] x[818] x[819] x[820] x[821] x[822] x[823] x[824] x[825] x[826] x[827] x[828] x[829] x[830] x[831] x[832] x[833] x[834] x[835] x[836] x[837] x[838] x[839] x[840] x[841] x[842] x[843] x[844] x[845] x[846] x[847] x[848] x[849] x[850] x[851] x[852] x[853] x[854] x[855] x[856] x[857] x[858] x[859] x[860] x[861] x[862] x[863] x[864] x[865] x[866] x[867] x[868] x[869] x[870] x[871] x[872] x[873] x[874] x[875] x[876] x[877] x[878] x[879] x[880] x[881] x[882] x[883] x[884] x[885] x[886] x[887] x[888] x[889] x[890] x[891] x[892] x[893] x[894] x[895] x[896] x[897] x[898] x[899] x[900] x[901] x[902] x[903] x[904] x[905] x[906] x[907] x[908] x[909] x[910] x[911] x[912] x[913] x[914] x[915] x[916] x[917] x[918] x[919] x[920] x[921] x[922] x[923] x[924] x[925] x[926] x[927] x[928] x[929] x[930] x[931] x[932] x[933] x[934] x[935] x[936] x[937] x[938] x[939] x[940] x[941] x[942] x[943] x[944] x[945] x[946] x[947] x[948] x[949] x[950] x[951] x[952] x[953] x[954] x[955] x[956] x[957] x[958] x[959] x[960] x[961] x[962] x[963] x[964] x[965] x[966] x[967] x[968] x[969] x[970] x[971] x[972] x[973] x[974] x[975] x[976] x[977] x[978] x[979] x[980] x[981] x[982] x[983] x[984] x[985] x[986] x[987] x[988] x[989] x[990] x[991] x[992] x[993] x[994] x[995] x[996] x[997] x[998] x[999] x[1000] x[1001] x[1002] x[1003] x[1004] x[1005] x[1006] x[1007] x[1008] x[1009] x[1010] x[1011] x[1012] x[1013] x[1014] x[1015] x[1016] x[1017] x[1018] x[1019] x[1020] x[1021] x[1022] x[1023] x[1024] x[1025] x[1026] x[1027] x[1028] x[1029] x[1030] x[1031] x[1032] x[1033] x[1034] x[1035] x[1036] x[1037] x[1038] x[1039] x[1040] x[1041] x[1042] x[1043] x[1044] x[1045] x[1046] x[1047] x[1048] x[1049] x[1050] x[1051] x[1052] x[1053] x[1054] x[1055] x[1056] x[1057] x[1058] x[1059] x[1060] x[1061] x[1062] x[1063] x[1064] x[1065] x[1066] x[1067] x[1068] x[1069] x[1070] x[1071] x[1072] x[1073] x[1074] x[1075] x[1076] x[1077] x[1078] x[1079] x[1080] x[1081] x[1082] x[1083] x[1084] x[1085] x[1086] x[1087] x[1088] x[1089] x[1090] x[1091] x[1092] x[1093] x[1094] x[1095] x[1096] x[1097] x[1098] x[1099] x[1100] x[1101] x[1102] x[1103] x[1104] x[1105] x[1106] x[1107] x[1108] x[1109] x[1110] x[1111] x[1112] x[1113] x[1114] x[1115] x[1116] x[1117] x[1118] x[1119] x[1120] x[1121] x[1122] x[1123] x[1124] x[1125] x[1126] x[1127] x[1128] x[1129] x[1130] x[1131] x[1132] x[1133] x[1134] x[1135] x[1136] x[1137] x[1138] x[1139] x[1140] x[1141] x[1142] x[1143] x[1144] x[1145] x[1146] x[1147] x[1148] x[1149] x[1150] x[1151] x[1152] x[1153] x[1154] x[1155] x[1156] x[1157] x[1158] x[1159] x[1160] x[1161] x[1162] x[1163] x[1164] x[1165] x[1166] x[1167] x[1168] x[1169] x[1170] x[1171] x[1172] x[1173] x[1174] x[1175] x[1176] x[1177] x[1178] x[1179] x[1180] x[1181] x[1182] x[1183] x[1184] x[1185] x[1186] x[1187] x[1188] x[1189] x[1190] x[1191] x[1192] x[1193] x[1194] x[1195] x[1196] x[1197] x[1198] x[1199] x[1200] x[1201] x[1202] x[1203] x[1204] x[1205] x[1206] x[1207] x[1208] x[1209] x[1210] x[1211] x[1212] x[1213] x[1214] x[1215] x[1216] x[1217] x[1218] x[1219] x[1220] x[1221] x[1222] x[1223] x[1224] x[1225] x[1226] x[1227] x[1228] x[1229] x[1230] x[1231] x[1232] x[1233] x[1234] x[1235] x[1236] x[1237] x[1238] x[1239] x[1240] x[1241] x[1242] x[1243] x[1244] x[1245] x[1246] x[1247] x[1248] x[1249] x[1250] x[1251] x[1252] x[1253] x[1254] x[1255] x[1256] x[1257] x[1258] x[1259] x[1260] x[1261] x[1262] x[1263] x[1264] x[1265] x[1266] x[1267] x[1268] x[1269] x[1270] x[1271] x[1272] x[1273] x[1274] x[1275] x[1276] x[1277] x[1278] x[1279] x[1280] x[1281] x[1282] x[1283] x[1284] x[1285] x[1286] x[1287] x[1288] x[1289] x[1290] x[1291] x[1292] x[1293] x[1294] x[1295] x[1296] x[1297] x[1298] x[1299] x[1300] x[1301] x[1302] x[1303] x[1304] x[1305] x[1306] x[1307] x[1308] x[1309] x[1310] x[1311] x[1312] x[1313] x[1314] x[1315] x[1316] x[1317] x[1318] x[1319] x[1320] x[1321] x[1322] x[1323] x[1324] x[1325] x[1326] x[1327] x[1328] x[1329] x[1330] x[1331] x[1332] x[1333] x[1334] x[1335] x[1336] x[1337] x[1338] x[1339] x[1340] x[1341] x[1342] x[1343] x[1344] x[1345] x[1346] x[1347] x[1348] x[1349] x[1350] x[1351] x[1352] x[1353] x[1354] x[1355] x[1356] x[1357] x[1358] x[1359] x[1360] x[1361] x[1362] x[1363] x[1364] x[1365] x[1366] x[1367] x[1368] x[1369] x[1370] x[1371] x[1372] x[1373] x[1374] x[1375] x[1376] x[1377] x[1378] x[1379] x[1380] x[1381] x[1382] x[1383] x[1384] x[1385] x[1386] x[1387] x[1388] x[1389] x[1390] x[1391] x[1392] x[1393] x[1394] x[1395] x[1396] x[1397] x[1398] x[1399] x[1400] x[1401] x[1402] x[1403] x[1404] x[1405] x[1406] x[1407] x[1408] x[1409] x[1410] x[1411] x[1412] x[1413] x[1414] x[1415] x[1416] x[1417] x[1418] x[1419] x[1420] x[1421] x[1422] x[1423] x[1424] x[1425] x[1426] x[1427] x[1428] x[1429] x[1430] x[1431] x[1432] x[1433] x[1434] x[1435] x[1436] x[1437] x[1438] x[1439] x[1440] x[1441] x[1442] x[1443] x[1444] x[1445] x[1446] x[1447] x[1448] x[1449] x[1450] x[1451] x[1452] x[1453] x[1454] x[1455] x[1456] x[1457] x[1458] x[1459] x[1460] x[1461] x[1462] x[1463] x[1464] x[1465] x[1466] x[1467] x[1468] x[1469] x[1470] x[1471] x[1472] x[1473] x[1474] x[1475] x[1476] x[1477] x[1478] x[1479] x[1480] x[1481] x[1482] x[1483] x[1484] x[1485] x[1486] x[1487] x[1488] x[1489] x[1490] x[1491] x[1492] x[1493] x[1494] x[1495] x[1496] x[1497] x[1498] x[1499] x[1500] x[1501] x[1502] x[1503] x[1504] x[1505] x[1506] x[1507] x[1508] x[1509] x[1510] x[1511] x[1512] x[1513] x[1514] x[1515] x[1516] x[1517] x[1518] x[1519] x[1520] x[1521] x[1522] x[1523] x[1524] x[1525] x[1526] x[1527] x[1528] x[1529] x[1530] x[1531] x[1532] x[1533] x[1534] x[1535] x[1536] x[1537] x[1538] x[1539] x[1540] x[1541] x[1542] x[1543] x[1544] x[1545] x[1546] x[1547] x[1548] x[1549] x[1550] x[1551] x[1552] x[1553] x[1554] x[1555] x[1556] x[1557] x[1558] x[1559] x[1560] x[1561] x[1562] x[1563] x[1564] x[1565] x[1566] x[1567] x[1568] x[1569] x[1570] x[1571] x[1572] x[1573] x[1574] x[1575] x[1576] x[1577] x[1578] x[1579] x[1580] x[1581] x[1582] x[1583] x[1584] x[1585] x[1586] x[1587] x[1588] x[1589] x[1590] x[1591] x[1592] x[1593] x[1594] x[1595] x[1596] x[1597] x[1598] x[1599] x[1600] x[1601] x[1602] x[1603] x[1604] x[1605] x[1606] x[1607] x[1608] x[1609] x[1610] x[1611] x[1612] x[1613] x[1614] x[1615] x[1616] x[1617] x[1618] x[1619] x[1620] x[1621] x[1622] x[1623] x[1624] x[1625] x[1626] x[1627] x[1628] x[1629] x[1630] x[1631] x[1632] x[1633] x[1634] x[1635] x[1636] x[1637] x[1638] x[1639] x[1640] x[1641] x[1642] x[1643] x[1644] x[1645] x[1646] x[1647] x[1648] x[1649] x[1650] x[1651] x[1652] x[1653] x[1654] x[1655] x[1656] x[1657] x[1658] x[1659] x[1660] x[1661] x[1662] x[1663] x[1664] x[1665] x[1666] x[1667] x[1668] x[1669] x[1670] x[1671] x[1672] x[1673] x[1674] x[1675] x[1676] x[1677] x[1678] x[1679] x[1680] x[1681] x[1682] x[1683] x[1684] x[1685] x[1686] x[1687] x[1688] x[1689] x[1690] x[1691] x[1692] x[1693] x[1694] x[1695] x[1696] x[1697] x[1698] x[1699] x[1700] x[1701] x[1702] x[1703] x[1704] x[1705] x[1706] x[1707] x[1708] x[1709] x[1710] x[1711] x[1712] x[1713] x[1714] x[1715] x[1716] x[1717] x[1718] x[1719] x[1720] x[1721] x[1722] x[1723] x[1724] x[1725] x[1726] x[1727] x[1728] x[1729] x[1730] x[1731] x[1732] x[1733] x[1734] x[1735] x[1736] x[1737] x[1738] x[1739] x[1740] x[1741] x[1742] x[1743] x[1744] x[1745] x[1746] x[1747] x[1748] x[1749] x[1750] x[1751] x[1752] x[1753] x[1754] x[1755] x[1756] x[1757] x[1758] x[1759] x[1760] x[1761] x[1762] x[1763] x[1764] x[1765] x[1766] x[1767] x[1768] x[1769] x[1770] x[1771] x[1772] x[1773] x[1774] x[1775] x[1776] x[1777] x[1778] x[1779] x[1780] x[1781] x[1782] x[1783] x[1784] x[1785] x[1786] x[1787] x[1788] x[1789] x[1790] x[1791] x[1792] x[1793] x[1794] x[1795] x[1796] x[1797] x[1798] x[1799] x[1800] x[1801] x[1802] x[1803] x[1804] x[1805] x[1806] x[1807] x[1808] x[1809] x[1810] x[1811] x[1812] x[1813] x[1814] x[1815] x[1816] x[1817] x[1818] x[1819] x[1820] x[1821] x[1822] x[1823] x[1824] x[1825] x[1826] x[1827] x[1828] x[1829] x[1830] x[1831] x[1832] x[1833] x[1834] x[1835] x[1836] x[1837] x[1838] x[1839] x[1840] x[1841] x[1842] x[1843] x[1844] x[1845] x[1846] x[1847] x[1848] x[1849] x[1850] x[1851] x[1852] x[1853] x[1854] x[1855] x[1856] x[1857] x[1858] x[1859] x[1860] x[1861] x[1862] x[1863] x[1864] x[1865] x[1866] x[1867] x[1868] x[1869] x[1870] x[1871] x[1872] x[1873] x[1874] x[1875] x[1876] x[1877] x[1878] x[1879] x[1880] x[1881] x[1882] x[1883] x[1884] x[1885] x[1886] x[1887] x[1888] x[1889] x[1890] x[1891] x[1892] x[1893] x[1894] x[1895] x[1896] x[1897] x[1898] x[1899] x[1900] x[1901] x[1902] x[1903] x[1904] x[1905] x[1906] x[1907] x[1908] x[1909] x[1910] x[1911] x[1912] x[1913] x[1914] x[1915] x[1916] x[1917] x[1918] x[1919] x[1920] x[1921] x[1922] x[1923] x[1924] x[1925] x[1926] x[1927] x[1928] x[1929] x[1930] x[1931] x[1932] x[1933] x[1934] x[1935] x[1936] x[1937] x[1938] x[1939] x[1940] x[1941] x[1942] x[1943] x[1944] x[1945] x[1946] x[1947] x[1948] x[1949] x[1950] x[1951] x[1952] x[1953] x[1954] x[1955] x[1956] x[1957] x[1958] x[1959] x[1960] x[1961] x[1962] x[1963] x[1964] x[1965] x[1966] x[1967] x[1968] x[1969] x[1970] x[1971] x[1972] x[1973] x[1974] x[1975] x[1976] x[1977] x[1978] x[1979] x[1980] x[1981] x[1982] x[1983] x[1984] x[1985] x[1986] x[1987] x[1988] x[1989] x[1990] x[1991] x[1992] x[1993] x[1994] x[1995] x[1996] x[1997] x[1998] x[1999] x[2000] x[2001] x[2002] x[2003] x[2004] x[2005] x[2006] x[2007] x[2008] x[2009] x[2010] x[2011] x[2012] x[2013] x[2014] x[2015] x[2016] x[2017] x[2018] x[2019] x[2020] x[2021] x[2022] x[2023] x[2024] x[2025] x[2026] x[2027] x[2028] x[2029] x[2030] x[2031] x[2032] x[2033] x[2034] x[2035] x[2036] x[2037] x[2038] x[2039] x[2040] x[2041] x[2042] x[2043] x[2044] x[2045] x[2046] x[2047] x[2048] x[2049] x[2050] x[2051] x[2052] x[2053] x[2054] x[2055] x[2056] x[2057] x[2058] x[2059] x[2060] x[2061] x[2062] x[2063] x[2064] x[2065] x[2066] x[2067] x[2068] x[2069] x[2070] x[2071] x[2072] x[2073] x[2074] x[2075] x[2076] x[2077] x[2078] x[2079] x[2080] x[2081] x[2082] x[2083] x[2084] x[2085] x[2086] x[2087] x[2088] x[2089] x[2090] x[2091] x[2092] x[2093] x[2094] x[2095] x[2096] x[2097] x[2098] x[2099] x[2100] x[2101] x[2102] x[2103] x[2104] x[2105] x[2106] x[2107] x[2108] x[2109] x[2110] x[2111] x[2112] x[2113] x[2114] x[2115] x[2116] x[2117] x[2118] x[2119] x[2120] x[2121] x[2122] x[2123] x[2124] x[2125] x[2126] x[2127] x[2128] x[2129] x[2130] x[2131] x[2132] x[2133] x[2134] x[2135] x[2136] x[2137] x[2138] x[2139] x[2140] x[2141] x[2142] x[2143] x[2144] x[2145] x[2146] x[2147] x[2148] x[2149] x[2150] x[2151] x[2152] x[2153] x[2154] x[2155] x[2156] x[2157] x[2158] x[2159] x[2160] x[2161] x[2162] x[2163] x[2164] x[2165] x[2166] x[2167] x[2168] x[2169] x[2170] x[2171] x[2172] x[2173] x[2174] x[2175] x[2176] x[2177] x[2178] x[2179] x[2180] x[2181] x[2182] x[2183] x[2184] x[2185] x[2186] x[2187] x[2188] x[2189] x[2190] x[2191] x[2192] x[2193] x[2194] x[2195] x[2196] x[2197] x[2198] x[2199] x[2200] x[2201] x[2202] x[2203] x[2204] x[2205] x[2206] x[2207] x[2208] x[2209] x[2210] x[2211] x[2212] x[2213] x[2214] x[2215] x[2216] x[2217] x[2218] x[2219] x[2220] x[2221] x[2222] x[2223] x[2224] x[2225] x[2226] x[2227] x[2228] x[2229] x[2230] x[2231] x[2232] x[2233] x[2234] x[2235] x[2236] x[2237] x[2238] x[2239] x[2240] x[2241] x[2242] x[2243] x[2244] x[2245] x[2246] x[2247] x[2248] x[2249] x[2250] x[2251] x[2252] x[2253] x[2254] x[2255] x[2256] x[2257] x[2258] x[2259] x[2260] x[2261] x[2262] x[2263] x[2264] x[2265] x[2266] x[2267] x[2268] x[2269] x[2270] x[2271] x[2272] x[2273] x[2274] x[2275] x[2276] x[2277] x[2278] x[2279] x[2280] x[2281] x[2282] x[2283] x[2284] x[2285] x[2286] x[2287] x[2288] x[2289] x[2290] x[2291] x[2292] x[2293] x[2294] x[2295] x[2296] x[2297] x[2298] x[2299] x[2300] x[2301] x[2302] x[2303] x[2304] x[2305] x[2306] x[2307] x[2308] x[2309] x[2310] x[2311] x[2312] x[2313] x[2314] x[2315] x[2316] x[2317] x[2318] x[2319] x[2320] x[2321] x[2322] x[2323] x[2324] x[2325] x[2326] x[2327] x[2328] x[2329] x[2330] x[2331] x[2332] x[2333] x[2334] x[2335] x[2336] x[2337] x[2338] x[2339] x[2340] x[2341] x[2342] x[2343] x[2344] x[2345] x[2346] x[2347] x[2348] x[2349] x[2350] x[2351] x[2352] x[2353] x[2354] x[2355] x[2356] x[2357] x[2358] x[2359] x[2360] x[2361] x[2362] x[2363] x[2364] x[2365] x[2366] x[2367]
2400.07/2277.96	v       </list>
2400.07/2277.96	v       <values>
2400.07/2277.96	v         492 496 491 475 486 489 486 512 480 511 510 493 482 499 512 503 485 507 490 494 476 481 497 483 490 480 482 506 481 493 510 491 486 506 498 491 508 499 507 483 500 510 501 487 490 503 483 496 507 478 508 505 512 482 501 488 490 498 489 483 493 511 508 507 501 480 487 496 497 504 510 487 498 480 493 475 493 512 486 511 503 490 481 502 494 488 487 490 490 483 491 486 476 496 478 499 479 496 483 481 512 513 492 506 477 495 485 491 483 484 477 476 479 495 474 491 512 499 504 479 513 503 480 479 481 509 477 482 486 480 482 487 488 492 482 505 488 501 477 485 484 491 509 501 491 496 506 512 512 510 509 508 486 501 495 510 484 488 494 507 497 500 484 486 493 513 482 510 490 501 504 513 500 495 499 498 497 498 505 512 498 485 491 495 507 504 511 496 493 494 484 510 500 512 489 488 489 513 509 491 482 510 508 513 511 506 492 497 511 513 511 492 509 502 485 505 479 500 479 480 474 484 490 498 485 494 503 487 492 501 481 482 503 486 473 513 475 484 482 513 500 503 510 511 487 477 484 479 489 486 490 499 498 483 478 503 486 502 479 491 480 479 478 488 478 499 502 502 483 495 499 489 489 509 504 506 513 507 480 479 484 485 512 482 476 510 477 481 482 489 497 499 494 498 499 495 501 502 507 512 513 487 511 475 509 513 485 493 512 513 488 482 510 512 506 498 497 509 508 492 488 490 492 513 498 513 504 498 507 499 488 479 480 472 480 474 497 489 482 470 482 470 475 485 473 492 483 468 479 496 469 469 502 512 478 471 500 513 486 509 493 489 495 485 504 494 480 500 491 488 504 511 501 505 498 503 506 500 502 483 507 511 510 483 489 497 505 498 501 500 494 485 512 513 513 512 482 486 496 491 496 484 505 504 513 473 480 512 512 503 511 503 499 513 500 492 509 490 493 494 497 506 505 484 497 512 503 476 512 504 503 510 495 508 507 509 509 504 506 501 506 495 513 492 501 510 502 512 505 513 508 509 511 511 497 476 513 507 493 492 474 510 478 501 510 512 500 508 475 505 505 511 500 496 485 512 472 502 498 499 494 511 495 506 513 488 508 486 489 502 513 500 505 491 494 503 499 511 513 498 508 512 510 512 498 512 494 510 512 512 507 503 483 510 513 512 477 509 495 501 474 503 512 502 510 505 491 499 486 495 487 478 497 512 479 476 495 482 495 494 506 504 513 505 490 479 478 485 502 478 481 487 480 477 483 494 488 499 479 500 510 483 476 509 494 492 481 496 503 501 507 482 476 509 486 480 477 500 495 497 492 484 476 480 492 512 481 507 478 481 485 488 503 508 511 507 475 499 493 511 487 479 501 493 492 484 513 486 491 500 478 474 496 474 498 485 473 480 501 508 502 488 482 485 507 510 500 513 482 513 490 511 507 505 499 502 503 491 489 502 483 482 497 512 513 505 507 476 504 511 491 499 475 499 470 492 504 510 481 474 504 512 491 478 489 512 488 492 496 509 513 508 505 510 507 513 487 484 503 482 489 499 477 502 510 499 486 509 486 506 485 513 483 479 480 507 511 503 506 491 505 478 486 497 501 494 493 509 509 499 495 509 472 513 512 492 509 483 493 490 511 486 508 488 484 482 501 493 513 500 480 493 483 485 512 513 512 505 503 489 509 506 504 510 483 503 486 511 490 494 495 486 484 505 501 486 493 509 474 484 513 503 497 477 497 471 478 495 511 510 503 483 507 485 506 477 506 491 476 511 496 478 503 477 508 480 476 497 492 492 478 485 479 470 479 475 493 490 494 487 474 470 486 510 475 490 484 477 499 510 480 503 479 477 496 492 504 508 484 483 507 504 513 506 482 498 477 513 486 483 471 502 480 500 483 501 477 493 502 492 491 489 503 510 490 504 501 485 501 490 493 486 480 513 477 502 484 483 485 505 495 507 490 492 493 510 507 502 493 488 493 472 501 494 483 487 509 508 474 512 476 509 513 512 478 483 500 512 493 508 480 484 470 478 498 474 481 475 511 477 476 486 499 492 483 482 490 506 488 482 502 484 501 487 500 499 497 481 476 499 475 475 473 499 500 507 479 497 500 505 488 472 507 487 483 507 496 504 497 489 492 507 478 502 485 499 507 496 488 504 491 474 487 502 473 488 469 470 472 485 476 475 501 471 493 480 498 478 477 507 510 499 480 492 488 479 491 501 505 501 469 500 502 506 507 472 484 505 498 498 471 504 483 497 496 482 481 511 473 487 473 489 478 495 513 509 492 506 497 507 489 489 503 494 492 504 473 486 480 509 508 504 494 513 476 481 505 509 491 494 486 500 507 503 488 487 513 501 508 505 498 504 487 471 498 489 511 490 506 502 491 486 501 481 513 499 507 509 492 513 508 494 487 502 504 508 498 475 497 512 497 486 490 476 484 495 474 485 507 499 513 482 487 481 480 494 511 473 490 503 512 510 485 513 511 478 506 489 491 501 489 507 505 473 472 498 491 511 508 490 470 485 494 494 487 511 473 500 480 477 492 478 495 508 506 496 475 500 488 490 495 490 485 494 487 469 505 501 475 494 479 474 474 477 473 478 475 504 481 508 486 492 500 513 498 475 476 472 506 479 512 504 497 479 506 489 496 492 480 480 484 506 488 486 494 490 483 487 482 482 487 488 496 487 504 494 490 506 497 503 502 477 511 491 509 513 506 476 503 474 471 483 475 489 509 496 498 485 496 512 474 482 486 481 498 510 512 508 469 486 478 475 490 512 510 492 479 477 505 496 494 504 510 467 497 492 513 502 477 488 472 477 490 475 480 487 487 478 499 510 479 481 500 482 473 489 496 479 511 480 481 475 480 489 496 493 495 487 496 512 513 498 478 496 491 500 501 505 482 500 507 474 501 486 476 470 497 499 498 513 509 477 473 475 480 471 478 474 481 482 474 473 510 476 487 478 480 487 472 472 479 482 470 507 469 505 500 505 490 489 479 494 496 511 509 505 473 486 494 511 512 488 510 507 485 505 491 505 503 502 484 493 506 488 484 471 470 511 498 493 487 502 503 503 472 507 503 511 508 513 504 505 504 493 504 509 490 488 508 486 495 500 478 500 502 505 484 485 506 478 487 481 492 493 503 501 495 468 482 483 497 507 494 493 502 473 498 507 499 493 474 494 481 499 480 484 505 469 505 491 489 476 487 471 500 510 496 502 473 511 493 495 495 493 485 496 493 497 495 512 497 483 512 510 492 480 482 499 503 509 483 503 483 474 511 493 470 496 475 507 496 477 471 488 490 502 467 475 478 474 475 481 485 465 478 511 511 473 489 500 497 472 489 499 504 509 476 494 479 484 469 491 503 498 472 490 477 471 498 472 487 469 506 492 468 483 477 479 482 497 495 507 466 492 481 493 472 488 496 479 480 507 497 483 491 511 492 506 501 507 510 473 501 506 493 509 487 502 468 466 471 490 509 490 510 471 504 498 494 502 499 473 467 504 476 485 490 508 493 498 480 510 472 503 513 476 507 506 486 507 506 513 473 485 495 472 507 474 466 494 509 485 491 505 493 491 499 481 473 488 491 498 484 487 511 506 510 479 494 503 511 508 495 508 474 472 497 495 468 509 471 481 468 475 473 497 470 490 501 470 474 468 488 484 491 492 505 502 513 490 483 497 489 511 470 494 497 475 471 466 490 498 496 495 504 478 476 511 497 480 502 470 480 503 496 473 513 513 484 476 488 506 492 480 512 480 484 477 501 500 477 481 484 508 488 502 475 471 509 476 508 482 510 483 479 503 508 486 502 484 506 506 491 476 497 475 470 490 505 500 496 486 509 484 485 509 485 473 503 504 498 477 482 474 479 494 499 469 497 498 478 475 505 483 500 510 482 487 477 513 498 505 502 496 476 492 487 501 491 507 504 491 504 508 470 513 472 475 491 479 467 473 481 476 482 484 500 486 493 499 498 490 486 499 499 505 478 469 484 477 480 488 481 496 475 475 474 476 490 483 478 477 472 473 493 491 510 497 483 490 510 477 460 498 505 489 497 510 484 512 508 494 498 479 484 502 492 485 503 510 486 504 472 501 494 467 499 489 503 478 493 482 503 500 505 508 495 495 479 474 475 507 481 494 503 461 479 483 471 503 482 505 497 509 475 502 509 484 497 495 508 506 502 485 475 479 472 506 475 494 480 475 512 495 508 492 495 481 497 507 505 495 473 507 505 509 503 476 465 496 508 488 497 480 467 469 476 501 494 493 507 494 476 474 478 482 487 477 486 485 492 507 506 504 475 480 505 503 474 487 463 511 480 479 481 483 465 512 476 479 486 482 492 508 504 483 502 478 489 504 473 499 471 510 482 486 473 482 490 477 483 505 488 485 495 477 486 476 508 512 466 491 503 482 491 509 473 507 510 489 490 498 502 494 501 485 498 503 491 484 480 501 487 509 497 475 511 492 486 504 506 497 481 482 503 470 509 479 493 507 512 481 468 494 478 493 481 477 486 506 508 511 487 476 479 485 509 478 475 503 482 504 480 478 485 499 506 513 485 489 509 500 488 500 513 499 483 470 469 508 500 491 483 483 505 477 509 497 498 490 479 495 472 489 498 486 506 498 474 489 506 503 501 488 489 483 493 472 467 491 512 510 472 481 500 491 486 509 501 489 496 490 511 489 502 484 478 502 473 487 489 484 502 506 510 503 481 487 505 501 509 496 474 511 484 505 464 471 500 512 512 513 484 489 470 485 502 510 494 506 472 477 492 468 507 493 493 496 496 513 475 488 494 511 495 477 509 503 502 500 479 470 485 486 511 499 512 487 471 504 480 479 506 500 503 513 501 485 485 509 483 474 507 510 482 499 486 479 479 481 508 476 506 500 503 487 464 510 482 508 506 485 488 489 488 483 492 510 499 508 506 483 484 485 504 508 462 488 493 473 511 488 487 503 497 489 468 486 490 494 508 495 498 485 484 495 494 512 492 474 511 472 509 500 495 512 490 497 474 478 483 498 495 501 476 479 470 480 469 506 500 478 512 494 477 496 491 483 492 486 504 481 484 496 462 488 473 504 498 467 496 502 501 502 504 478 468 466 509 500 502 491 508 507 508 477 481 480 495 492 501 500 480 505 509 486 491 477 488 491 510 494 466 484 509 501 496 498 484 507 488 505 481 511 505 499 471 511 493 486 506 495 487 496 491 499 487 484 497 505 492 508 513 513 481 489 478 501 476 493 489 482 494 492 497 481 493 482 504 511 479 489 497 487 487 502 512 490 501 511 510 496 473 512 495 501 499 476 496 507 500 492 490 502 499 491 488 493 504 508 513 480 512 499 507 472 498 504 498 510 511 513 495 513 482 512 488 490
2400.07/2277.96	v       </values>
2400.07/2277.96	v     </instantiation>
2400.07/2277.96	s SATISFIABLE

Verifier Data 

OK	513

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4245179-1500701436/watcher-4245179-1500701436 -o /tmp/evaluation-result-4245179-1500701436/solver-4245179-1500701436 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node125-1500682887-8969 --watchdog 2560 bin/concrete HOME/instance-4245179-1500701436.xml 

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

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


[startup+0 s]
/proc/loadavg: 1.26 1.43 1.45 3/261 12924
/proc/meminfo: memFree=30474940/32770624 swapFree=5780/387952
[pid=12924] ppid=12921 vsize=9508 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12924/stat : 12924 (bash) S 12921 12924 7912 0 -1 4202496 686 1531 0 0 0 0 0 0 20 0 1 0 5411327 9736192 350 33554432000 4194304 5098028 140726829687488 140726829685128 140289160076288 0 0 4100 65536 18446744071580971376 0 0 17 9 0 0 0 0 0 7196144 7232144 15859712 140726829696270 140726829696355 140726829696355 140726829699054 0
/proc/12924/statm: 2377 350 277 221 0 86 0

[startup+0.10017 s]
/proc/loadavg: 1.26 1.43 1.45 3/261 12924
/proc/meminfo: memFree=30474940/32770624 swapFree=5780/387952
[pid=12924] ppid=12921 vsize=9640 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/12924/stat : 12924 (bash) S 12921 12924 7912 0 -1 4202496 884 6412 0 0 0 0 0 1 20 0 1 0 5411327 9871360 378 33554432000 4194304 5098028 140726829687488 140726829681496 140289160076288 0 0 4100 65536 18446744071580971376 0 0 17 9 0 0 0 0 0 7196144 7232144 15859712 140726829696270 140726829696355 140726829696355 140726829699054 0
/proc/12924/statm: 2410 378 296 221 0 119 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9640

[startup+0.200794 s]
/proc/loadavg: 1.26 1.43 1.45 3/261 12924
/proc/meminfo: memFree=30474940/32770624 swapFree=5780/387952
[pid=12924] ppid=12921 vsize=10435860 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/12924/stat : 12924 (java) S 12921 12924 7912 0 -1 1077944320 4907 12835 0 0 6 1 8 3 20 0 13 0 5411327 10686320640 5244 33554432000 4194304 4196468 140732287969008 140732287951552 140009526214391 0 0 0 16800971 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 7442432 140732287974081 140732287976855 140732287976855 140732287979471 0
/proc/12924/statm: 2608965 5244 2138 1 0 2597403 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 10435860

[startup+0.3004 s]
/proc/loadavg: 1.26 1.43 1.45 3/261 12924
/proc/meminfo: memFree=30474940/32770624 swapFree=5780/387952
[pid=12924] ppid=12921 vsize=10902292 CPUtime=0.35 cores=1,3,5,7,9,11,13,15
/proc/12924/stat : 12924 (java) S 12921 12924 7912 0 -1 1077944320 6832 12835 0 0 22 2 8 3 20 0 20 0 5411327 11163947008 8579 33554432000 4194304 4196468 140732287969008 140732287951552 140009526214391 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 7442432 140732287974081 140732287976855 140732287976855 140732287979471 0
/proc/12924/statm: 2725573 8579 2969 1 0 2713890 0
Current children cumulated CPU time (s) 0.35
Current children cumulated vsize (KiB) 10902292

[startup+0.952905 s]
/proc/loadavg: 1.26 1.43 1.45 3/261 12924
/proc/meminfo: memFree=30474940/32770624 swapFree=5780/387952
[pid=12924] ppid=12921 vsize=10905152 CPUtime=1.4 cores=1,3,5,7,9,11,13,15
/proc/12924/stat : 12924 (java) S 12921 12924 7912 0 -1 1077944320 18663 12835 0 0 122 7 8 3 20 0 20 0 5411327 11166875648 24000 33554432000 4194304 4196468 140732287969008 140732287951552 140009526214391 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 7442432 140732287974081 140732287976855 140732287976855 140732287979471 0
/proc/12924/statm: 2726288 24000 3354 1 0 2714402 0
Current children cumulated CPU time (s) 1.4
Current children cumulated vsize (KiB) 10905152

[startup+1.50023 s]
/proc/loadavg: 1.26 1.43 1.45 3/261 12924
/proc/meminfo: memFree=30474940/32770624 swapFree=5780/387952
[pid=12924] ppid=12921 vsize=10913344 CPUtime=2.22 cores=1,3,5,7,9,11,13,15
/proc/12924/stat : 12924 (java) S 12921 12924 7912 0 -1 1077944320 25375 12835 0 0 198 13 8 3 20 0 20 0 5411327 11175264256 44992 33554432000 4194304 4196468 140732287969008 140732287951552 140009526214391 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 7442432 140732287974081 140732287976855 140732287976855 140732287979471 0
/proc/12924/statm: 2728336 44992 3402 1 0 2716450 0
Current children cumulated CPU time (s) 2.22
Current children cumulated vsize (KiB) 10913344

[startup+3.10115 s]
/proc/loadavg: 1.56 1.49 1.47 6/281 12997
/proc/meminfo: memFree=30248824/32770624 swapFree=5780/387880
[pid=12924] ppid=12921 vsize=10923772 CPUtime=7.54 cores=1,3,5,7,9,11,13,15
/proc/12924/stat : 12924 (java) S 12921 12924 7912 0 -1 1077944320 37265 12835 0 0 699 44 8 3 20 0 20 0 5411327 11185942528 84775 33554432000 4194304 4196468 140732287969008 140732287951552 140009526214391 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 7442432 140732287974081 140732287976855 140732287976855 140732287979471 0
/proc/12924/statm: 2730943 84775 3497 1 0 2718498 0
[pid=12924/tid=12979] ppid=12921 vsize=10923772 CPUtime=2.92 cores=1,3,5,7,9,11,13,15
/proc/12924/task/12979/stat : 12979 (java) R 12921 12924 7912 0 -1 4202560 23471 12835 0 0 271 10 8 3 20 0 20 0 5411340 11185942528 84775 33554432000 4194304 4196468 140732287969008 140009530447952 140009164041005 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7442432 140732287974081 140732287976855 140732287976855 140732287979471 0
[pid=12924/tid=12980] ppid=12921 vsize=10923772 CPUtime=0.2 cores=1,3,5,7,9,11,13,15
/proc/12924/task/12980/stat : 12980 (java) S 12921 12924 7912 0 -1 1077944384 112 12835 0 0 5 4 8 3 20 0 20 0 5411341 11185942528 84775 33554432000 4194304 4196468 140732287969008 140009133419152 140009526224597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7442432 140732287974081 140732287976855 140732287976855 140732287979471 0
[pid=12924/tid=12981] ppid=12921 vsize=10923772 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/12924/task/12981/stat : 12981 (java) S 12921 12924 7912 0 -1 1077944384 243 12835 0 0 7 3 8 3 20 0 20 0 5411341 11185942528 84775 33554432000 4194304 4196468 140732287969008 140009132366352 140009526224597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7442432 140732287974081 140732287976855 140732287976855 140732287979471 0
[pid=12924/tid=12982] ppid=12921 vsize=10923772 CPUtime=0.2 cores=1,3,5,7,9,11,13,15
/proc/12924/task/12982/stat : 12982 (java) S 12921 12924 7912 0 -1 1077944384 178 12835 0 0 5 4 8 3 20 0 20 0 5411341 11185942528 84775 33554432000 4194304 4196468 140732287969008 140009131313552 140009526224597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7442432 140732287974081 140732287976855 140732287976855 140732287979471 0
[pid=12924/tid=12983] ppid=12921 vsize=10923772 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/12924/task/12983/stat : 12983 (java) S 12921 12924 7912 0 -1 1077944384 35 12835 0 0 2 2 8 3 20 0 20 0 5411341 11185942528 84775 33554432000 4194304 4196468 140732287969008 140009130260752 140009526224597 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 7442432 140732287974081 140732287976855 140732287976855 140732287979471 0
[pid=12924/tid=12984] ppid=12921 vsize=10923772 CPUtime=0.17 cores=1,3,5,7,9,11,13,15
/proc/12924/task/12984/stat : 12984 (java) S 12921 12924 7912 0 -1 1077944384 71 12835 0 0 3 3 8 3 20 0 20 0 5411341 11185942528 84775 33554432000 4194304 4196468 140732287969008 140009129208976 140009526224597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7442432 140732287974081 140732287976855 140732287976855 140732287979471 0
[pid=12924/tid=12985] ppid=12921 vsize=10923772 CPUtime=0.2 cores=1,3,5,7,9,11,13,15
/proc/12924/task/12985/stat : 12985 (java) S 12921 12924 7912 0 -1 1077944384 116 12835 0 0 5 4 8 3 20 0 20 0 5411341 11185942528 84775 33554432000 4194304 4196468 140732287969008 140009128156176 140009526224597 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 7442432 140732287974081 140732287976855 140732287976855 140732287979471 0
[pid=12924/tid=12986] ppid=12921 vsize=10923772 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/12924/task/12986/stat : 12986 (java) S 12921 12924 7912 0 -1 1077944384 108 12835 0 0 4 3 8 3 20 0 20 0 5411341 11185942528 84775 33554432000 4194304 4196468 140732287969008 140009127103376 140009526224597 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 7442432 140732287974081 140732287976855 140732287976855 140732287979471 0
[pid=12924/tid=12987] ppid=12921 vsize=10923772 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/12924/task/12987/stat : 12987 (java) S 12921 12924 7912 0 -1 1077944384 79 12835 0 0 5 3 8 3 20 0 20 0 5411341 11185942528 84775 33554432000 4194304 4196468 140732287969008 140009126050576 140009526224597 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 7442432 140732287974081 140732287976855 140732287976855 140732287979471 0
[pid=12924/tid=12988] ppid=12921 vsize=10923772 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/12924/task/12988/stat : 12988 (java) S 12921 12924 7912 0 -1 1077944384 867 12835 0 0 2 0 8 3 20 0 20 0 5411344 11185942528 84775 33554432000 4194304 4196468 140732287969008 140008276064624 140009526225538 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7442432 140732287974081 140732287976855 140732287976855 140732287979471 0
[pid=12924/tid=12989] ppid=12921 vsize=10923772 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/12924/task/12989/stat : 12989 (java) S 12921 12924 7912 0 -1 1077944384 55 12835 0 0 0 0 8 3 20 0 20 0 5411345 11185942528 84775 33554432000 4194304 4196468 140732287969008 140008275010656 140009526224597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7442432 140732287974081 140732287976855 140732287976855 140732287979471 0
[pid=12924/tid=12990] ppid=12921 vsize=10923772 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/12924/task/12990/stat : 12990 (java) S 12921 12924 7912 0 -1 1077944384 45 12835 0 0 0 0 8 3 20 0 20 0 5411345 11185942528 84775 33554432000 4194304 4196468 140732287969008 140008273957760 140009526224597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7442432 140732287974081 140732287976855 140732287976855 140732287979471 0
[pid=12924/tid=12991] ppid=12921 vsize=10923772 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/12924/task/12991/stat : 12991 (java) S 12921 12924 7912 0 -1 1077944384 1 12835 0 0 0 0 8 3 20 0 20 0 5411349 11185942528 84775 33554432000 4194304 4196468 140732287969008 140008272906064 140009526232987 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 7442432 140732287974081 140732287976855 140732287976855 140732287979471 0
[pid=12924/tid=12992] ppid=12921 vsize=10923772 CPUtime=1.06 cores=1,3,5,7,9,11,13,15
/proc/12924/task/12992/stat : 12992 (java) R 12921 12924 7912 0 -1 4202560 2810 12835 0 0 94 1 8 3 20 0 20 0 5411349 11185942528 84775 33554432000 4194304 4196468 140732287969008 140008271838560 140009507735647 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7442432 140732287974081 140732287976855 140732287976855 140732287979471 0
[pid=12924/tid=12993] ppid=12921 vsize=10923772 CPUtime=0.96 cores=1,3,5,7,9,11,13,15
/proc/12924/task/12993/stat : 12993 (java) R 12921 12924 7912 0 -1 4202560 1174 12835 0 0 85 0 8 3 20 0 20 0 5411349 11185942528 84775 33554432000 4194304 4196468 140732287969008 140008270800576 140009511340201 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 7442432 140732287974081 140732287976855 140732287976855 140732287979471 0
[pid=12924/tid=12994] ppid=12921 vsize=10923772 CPUtime=1.29 cores=1,3,5,7,9,11,13,15
/proc/12924/task/12994/stat : 12994 (java) R 12921 12924 7912 0 -1 4202560 2916 12835 0 0 117 1 8 3 20 0 20 0 5411349 11185942528 84775 33554432000 4194304 4196468 140732287969008 140008269741872 140009505870801 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7442432 140732287974081 140732287976855 140732287976855 140732287979471 0
[pid=12924/tid=12995] ppid=12921 vsize=10923772 CPUtime=0.97 cores=1,3,5,7,9,11,13,15
/proc/12924/task/12995/stat : 12995 (java) S 12921 12924 7912 0 -1 1077944384 2841 12835 0 0 85 1 8 3 20 0 20 0 5411349 11185942528 84775 33554432000 4194304 4196468 140732287969008 140008268696048 140009526225538 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 7442432 140732287974081 140732287976855 140732287976855 140732287979471 0
[pid=12924/tid=12996] ppid=12921 vsize=10923772 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/12924/task/12996/stat : 12996 (java) S 12921 12924 7912 0 -1 1077944384 3 12835 0 0 0 0 8 3 20 0 20 0 5411350 11185942528 84775 33554432000 4194304 4196468 140732287969008 140008267643488 140009526224597 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 7442432 140732287974081 140732287976855 140732287976855 140732287979471 0
[pid=12924/tid=12997] ppid=12921 vsize=10923772 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/12924/task/12997/stat : 12997 (java) S 12921 12924 7912 0 -1 1077944384 7 12835 0 0 0 0 8 3 20 0 20 0 5411350 11185942528 84775 33554432000 4194304 4196468 140732287969008 140008266590768 140009526225538 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 7442432 140732287974081 140732287976855 140732287976855 140732287979471 0
Current children cumulated CPU time (s) 7.54
Current children cumulated vsize (KiB) 10923772

[startup+6.30125 s]
/proc/loadavg: 1.56 1.49 1.47 10/281 12997
/proc/meminfo: memFree=29758944/32770624 swapFree=5780/387884
[pid=12924] ppid=12921 vsize=10925820 CPUtime=16.86 cores=1,3,5,7,9,11,13,15
/proc/12924/stat : 12924 (java) S 12921 12924 7912 0 -1 1077944320 50269 12835 0 0 1542 133 8 3 20 0 20 0 5411327 11188039680 193435 33554432000 4194304 4196468 140732287969008 140732287951552 140009526214391 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 7442432 140732287974081 140732287976855 140732287976855 140732287979471 0
/proc/12924/statm: 2731455 193435 3511 1 0 2719010 0
[pid=12924/tid=12979] ppid=12921 vsize=10925820 CPUtime=5.84 cores=1,3,5,7,9,11,13,15
/proc/12924/task/12979/stat : 12979 (java) R 12921 12924 7912 0 -1 4202560 26378 12835 0 0 560 13 8 3 20 0 20 0 5411340 11188039680 193435 33554432000 4194304 4196468 140732287969008 140009530442312 140009170551104 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7442432 140732287974081 140732287976855 140732287976855 140732287979471 0
[pid=12924/tid=12980] ppid=12921 vsize=10925820 CPUtime=0.42 cores=1,3,5,7,9,11,13,15
/proc/12924/task/12980/stat : 12980 (java) S 12921 12924 7912 0 -1 1077944384 354 12835 0 0 18 13 8 3 20 0 20 0 5411341 11188039680 193435 33554432000 4194304 4196468 140732287969008 140009133419152 140009526224597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7442432 140732287974081 140732287976855 140732287976855 140732287979471 0
[pid=12924/tid=12981] ppid=12921 vsize=10925820 CPUtime=0.44 cores=1,3,5,7,9,11,13,15
/proc/12924/task/12981/stat : 12981 (java) S 12921 12924 7912 0 -1 1077944384 375 12835 0 0 21 12 8 3 20 0 20 0 5411341 11188039680 193435 33554432000 4194304 4196468 140732287969008 140009132366352 140009526224597 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 7442432 140732287974081 140732287976855 140732287976855 140732287979471 0
[pid=12924/tid=12982] ppid=12921 vsize=10925820 CPUtime=0.45 cores=1,3,5,7,9,11,13,15
/proc/12924/task/12982/stat : 12982 (java) S 12921 12924 7912 0 -1 1077944384 316 12835 0 0 19 15 8 3 20 0 20 0 5411341 11188039680 193435 33554432000 4194304 4196468 140732287969008 140009131313552 140009526224597 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 7442432 140732287974081 140732287976855 140732287976855 140732287979471 0
[pid=12924/tid=12983] ppid=12921 vsize=10925820 CPUtime=0.39 cores=1,3,5,7,9,11,13,15
/proc/12924/task/12983/stat : 12983 (java) S 12921 12924 7912 0 -1 1077944384 170 12835 0 0 16 12 8 3 20 0 20 0 5411341 11188039680 193435 33554432000 4194304 4196468 140732287969008 140009130260752 140009526224597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7442432 140732287974081 140732287976855 140732287976855 140732287979471 0
[pid=12924/tid=12984] ppid=12921 vsize=10925820 CPUtime=0.41 cores=1,3,5,7,9,11,13,15
/proc/12924/task/12984/stat : 12984 (java) S 12921 12924 7912 0 -1 1077944384 242 12835 0 0 17 13 8 3 20 0 20 0 5411341 11188039680 193435 33554432000 4194304 4196468 140732287969008 140009129208976 140009526224597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7442432 140732287974081 140732287976855 140732287976855 140732287979471 0
[pid=12924/tid=12985] ppid=12921 vsize=10925820 CPUtime=0.42 cores=1,3,5,7,9,11,13,15
/proc/12924/task/12985/stat : 12985 (java) S 12921 12924 7912 0 -1 1077944384 276 12835 0 0 17 14 8 3 20 0 20 0 5411341 11188039680 193435 33554432000 4194304 4196468 140732287969008 140009128156176 140009526224597 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 7442432 140732287974081 140732287976855 140732287976855 140732287979471 0
[pid=12924/tid=12986] ppid=12921 vsize=10925820 CPUtime=0.43 cores=1,3,5,7,9,11,13,15
/proc/12924/task/12986/stat : 12986 (java) S 12921 12924 7912 0 -1 1077944384 276 12835 0 0 18 14 8 3 20 0 20 0 5411341 11188039680 193435 33554432000 4194304 4196468 140732287969008 140009127103376 140009526224597 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 7442432 140732287974081 140732287976855 140732287976855 140732287979471 0
[pid=12924/tid=12987] ppid=12921 vsize=10925820 CPUtime=0.42 cores=1,3,5,7,9,11,13,15
/proc/12924/task/12987/stat : 12987 (java) S 12921 12924 7912 0 -1 1077944384 233 12835 0 0 18 13 8 3 20 0 20 0 5411341 11188039680 193435 33554432000 4194304 4196468 140732287969008 140009126050576 140009526224597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7442432 140732287974081 140732287976855 140732287976855 140732287979471 0
[pid=12924/tid=12988] ppid=12921 vsize=10925820 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/12924/task/12988/stat : 12988 (java) S 12921 12924 7912 0 -1 1077944384 1203 12835 0 0 3 0 8 3 20 0 20 0 5411344 11188039680 193435 33554432000 4194304 4196468 140732287969008 140008276064624 140009526225538 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7442432 140732287974081 140732287976855 140732287976855 140732287979471 0
[pid=12924/tid=12989] ppid=12921 vsize=10925820 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/12924/task/12989/stat : 12989 (java) S 12921 12924 7912 0 -1 1077944384 55 12835 0 0 0 0 8 3 20 0 20 0 5411345 11188039680 193435 33554432000 4194304 4196468 140732287969008 140008275010656 140009526224597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7442432 140732287974081 140732287976855 140732287976855 140732287979471 0
[pid=12924/tid=12990] ppid=12921 vsize=10925820 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/12924/task/12990/stat : 12990 (java) S 12921 12924 7912 0 -1 1077944384 45 12835 0 0 0 0 8 3 20 0 20 0 5411345 11188039680 193435 33554432000 4194304 4196468 140732287969008 140008273957760 140009526224597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7442432 140732287974081 140732287976855 140732287976855 140732287979471 0
[pid=12924/tid=12991] ppid=12921 vsize=10925820 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/12924/task/12991/stat : 12991 (java) S 12921 12924 7912 0 -1 1077944384 1 12835 0 0 0 0 8 3 20 0 20 0 5411349 11188039680 193435 33554432000 4194304 4196468 140732287969008 140008272906064 140009526232987 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 7442432 140732287974081 140732287976855 140732287976855 140732287979471 0
[pid=12924/tid=12992] ppid=12921 vsize=10925820 CPUtime=2.39 cores=1,3,5,7,9,11,13,15
/proc/12924/task/12992/stat : 12992 (java) R 12921 12924 7912 0 -1 4202560 4038 12835 0 0 226 2 8 3 20 0 20 0 5411349 11188039680 193435 33554432000 4194304 4196468 140732287969008 140008271854448 140009511136194 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 7442432 140732287974081 140732287976855 140732287976855 140732287979471 0
[pid=12924/tid=12993] ppid=12921 vsize=10925820 CPUtime=2.19 cores=1,3,5,7,9,11,13,15
/proc/12924/task/12993/stat : 12993 (java) R 12921 12924 7912 0 -1 4202560 3035 12835 0 0 207 1 8 3 20 0 20 0 5411349 11188039680 193435 33554432000 4194304 4196468 140732287969008 140008270801568 140009509714920 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 7442432 140732287974081 140732287976855 140732287976855 140732287979471 0
[pid=12924/tid=12994] ppid=12921 vsize=10925820 CPUtime=2.65 cores=1,3,5,7,9,11,13,15
/proc/12924/task/12994/stat : 12994 (java) R 12921 12924 7912 0 -1 4202560 4916 12835 0 0 253 1 8 3 20 0 20 0 5411349 11188039680 193435 33554432000 4194304 4196468 140732287969008 140008269748848 140009505549728 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 7442432 140732287974081 140732287976855 140732287976855 140732287979471 0
[pid=12924/tid=12995] ppid=12921 vsize=10925820 CPUtime=1.54 cores=1,3,5,7,9,11,13,15
/proc/12924/task/12995/stat : 12995 (java) S 12921 12924 7912 0 -1 1077944384 5905 12835 0 0 141 2 8 3 20 0 20 0 5411349 11188039680 193435 33554432000 4194304 4196468 140732287969008 140008268696048 140009526225538 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7442432 140732287974081 140732287976855 140732287976855 140732287979471 0
[pid=12924/tid=12996] ppid=12921 vsize=10925820 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/12924/task/12996/stat : 12996 (java) S 12921 12924 7912 0 -1 1077944384 3 12835 0 0 0 0 8 3 20 0 20 0 5411350 11188039680 193435 33554432000 4194304 4196468 140732287969008 140008267643488 140009526224597 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 7442432 140732287974081 140732287976855 140732287976855 140732287979471 0
[pid=12924/tid=12997] ppid=12921 vsize=10925820 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/12924/task/12997/stat : 12997 (java) S 12921 12924 7912 0 -1 1077944384 315 12835 0 0 0 0 8 3 20 0 20 0 5411350 11188039680 193435 33554432000 4194304 4196468 140732287969008 140008266590768 140009526225538 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7442432 140732287974081 140732287976855 140732287976855 140732287979471 0
Current children cumulated CPU time (s) 16.86
Current children cumulated vsize (KiB) 10925820

[startup+12.7147 s]
/proc/loadavg: 1.62 1.51 1.47 3/281 12997
/proc/meminfo: memFree=27742472/32770624 swapFree=5780/387892
[pid=12924] ppid=12921 vsize=10925820 CPUtime=29.53 cores=1,3,5,7,9,11,13,15
/proc/12924/stat : 12924 (java) S 12921 12924 7912 0 -1 1077944320 59508 12835 0 0 2644 298 8 3 20 0 20 0 5411327 11188039680 710952 33554432000 4194304 4196468 140732287969008 140732287951552 140009526214391 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 7442432 140732287974081 140732287976855 140732287976855 140732287979471 0
/proc/12924/statm: 2731455 710952 3512 1 0 2719010 0
[pid=12924/tid=12979] ppid=12921 vsize=10925820 CPUtime=11.47 cores=1,3,5,7,9,11,13,15
/proc/12924/task/12979/stat : 12979 (java) R 12921 12924 7912 0 -1 4202560 28830 12835 0 0 1097 39 8 3 20 0 20 0 5411340 11188039680 710952 33554432000 4194304 4196468 140732287969008 140009530435888 140009510294878 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7442432 140732287974081 140732287976855 140732287976855 140732287979471 0
[pid=12924/tid=12980] ppid=12921 vsize=10925820 CPUtime=1.12 cores=1,3,5,7,9,11,13,15
/proc/12924/task/12980/stat : 12980 (java) S 12921 12924 7912 0 -1 1077944384 625 12835 0 0 69 32 8 3 20 0 20 0 5411341 11188039680 710952 33554432000 4194304 4196468 140732287969008 140009133419152 140009526224597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7442432 140732287974081 140732287976855 140732287976855 140732287979471 0
[pid=12924/tid=12981] ppid=12921 vsize=10925820 CPUtime=1.14 cores=1,3,5,7,9,11,13,15
/proc/12924/task/12981/stat : 12981 (java) S 12921 12924 7912 0 -1 1077944384 639 12835 0 0 73 30 8 3 20 0 20 0 5411341 11188039680 710952 33554432000 4194304 4196468 140732287969008 140009132366352 140009526224597 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 7442432 140732287974081 140732287976855 140732287976855 140732287979471 0
[pid=12924/tid=12982] ppid=12921 vsize=10925820 CPUtime=1.15 cores=1,3,5,7,9,11,13,15
/proc/12924/task/12982/stat : 12982 (java) S 12921 12924 7912 0 -1 1077944384 678 12835 0 0 71 33 8 3 20 0 20 0 5411341 11188039680 710952 33554432000 4194304 4196468 140732287969008 140009131313552 140009526224597 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 7442432 140732287974081 140732287976855 140732287976855 140732287979471 0
[pid=12924/tid=12983] ppid=12921 vsize=10925820 CPUtime=1.07 cores=1,3,5,7,9,11,13,15
/proc/12924/task/12983/stat : 12983 (java) S 12921 12924 7912 0 -1 1077944384 374 12835 0 0 69 27 8 3 20 0 20 0 5411341 11188039680 710952 33554432000 4194304 4196468 140732287969008 140009130260752 140009526224597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7442432 140732287974081 140732287976855 140732287976855 140732287979471 0
[pid=12924/tid=12984] ppid=12921 vsize=10925820 CPUtime=1.1 cores=1,3,5,7,9,11,13,15
/proc/12924/task/12984/stat : 12984 (java) S 12921 12924 7912 0 -1 1077944384 432 12835 0 0 68 31 8 3 20 0 20 0 5411341 11188039680 710952 33554432000 4194304 4196468 140732287969008 140009129208976 140009526224597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7442432 140732287974081 140732287976855 140732287976855 140732287979471 0
[pid=12924/tid=12985] ppid=12921 vsize=10925820 CPUtime=1.09 cores=1,3,5,7,9,11,13,15
/proc/12924/task/12985/stat : 12985 (java) S 12921 12924 7912 0 -1 1077944384 443 12835 0 0 70 28 8 3 20 0 20 0 5411341 11188039680 710952 33554432000 4194304 4196468 140732287969008 140009128156176 140009526224597 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 7442432 140732287974081 140732287976855 140732287976855 140732287979471 0
[pid=12924/tid=12986] ppid=12921 vsize=10925820 CPUtime=1.13 cores=1,3,5,7,9,11,13,15
/proc/12924/task/12986/stat : 12986 (java) S 12921 12924 7912 0 -1 1077944384 551 12835 0 0 69 33 8 3 20 0 20 0 5411341 11188039680 710952 33554432000 4194304 4196468 140732287969008 140009127103376 140009526224597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7442432 140732287974081 140732287976855 140732287976855 140732287979471 0
[pid=12924/tid=12987] ppid=12921 vsize=10925820 CPUtime=1.11 cores=1,3,5,7,9,11,13,15
/proc/12924/task/12987/stat : 12987 (java) S 12921 12924 7912 0 -1 1077944384 489 12835 0 0 70 30 8 3 20 0 20 0 5411341 11188039680 710952 33554432000 4194304 4196468 140732287969008 140009126050576 140009526224597 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 7442432 140732287974081 140732287976855 140732287976855 140732287979471 0
[pid=12924/tid=12988] ppid=12921 vsize=10925820 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/12924/task/12988/stat : 12988 (java) S 12921 12924 7912 0 -1 1077944384 3261 12835 0 0 9 1 8 3 20 0 20 0 5411344 11188039680 710952 33554432000 4194304 4196468 140732287969008 140008276064624 140009526225538 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7442432 140732287974081 140732287976855 140732287976855 140732287979471 0
[pid=12924/tid=12989] ppid=12921 vsize=10925820 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/12924/task/12989/stat : 12989 (java) S 12921 12924 7912 0 -1 1077944384 55 12835 0 0 0 0 8 3 20 0 20 0 5411345 11188039680 710952 33554432000 4194304 4196468 140732287969008 140008275010656 140009526224597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7442432 140732287974081 140732287976855 140732287976855 140732287979471 0
[pid=12924/tid=12990] ppid=12921 vsize=10925820 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/12924/task/12990/stat : 12990 (java) S 12921 12924 7912 0 -1 1077944384 45 12835 0 0 0 0 8 3 20 0 20 0 5411345 11188039680 710952 33554432000 4194304 4196468 140732287969008 140008273957760 140009526224597 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 7442432 140732287974081 140732287976855 140732287976855 140732287979471 0
[pid=12924/tid=12991] ppid=12921 vsize=10925820 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/12924/task/12991/stat : 12991 (java) S 12921 12924 7912 0 -1 1077944384 1 12835 0 0 0 0 8 3 20 0 20 0 5411349 11188039680 710952 33554432000 4194304 4196468 140732287969008 140008272906064 140009526232987 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 7442432 140732287974081 140732287976855 140732287976855 140732287979471 0

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

[pid=12924/tid=12993] ppid=12921 vsize=10995452 CPUtime=5.59 cores=1,3,5,7,9,11,13,15
/proc/12924/task/12993/stat : 12993 (java) S 12921 12924 7912 0 -1 1077944384 20002 12835 0 0 544 4 8 3 20 0 20 0 5411349 11259342848 851816 33554432000 4194304 4196468 140732287969008 140008270801648 140009526225538 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7442432 140732287974081 140732287976855 140732287976855 140732287979471 0
[pid=12924/tid=12994] ppid=12921 vsize=10995452 CPUtime=5.83 cores=1,3,5,7,9,11,13,15
/proc/12924/task/12994/stat : 12994 (java) S 12921 12924 7912 0 -1 1077944384 17455 12835 0 0 568 4 8 3 20 0 20 0 5411349 11259342848 851816 33554432000 4194304 4196468 140732287969008 140008269748848 140009526225538 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 7442432 140732287974081 140732287976855 140732287976855 140732287979471 0
[pid=12924/tid=12995] ppid=12921 vsize=10995452 CPUtime=2.9 cores=1,3,5,7,9,11,13,15
/proc/12924/task/12995/stat : 12995 (java) S 12921 12924 7912 0 -1 1077944384 52688 12835 0 0 273 6 8 3 20 0 20 0 5411349 11259342848 851816 33554432000 4194304 4196468 140732287969008 140008268696048 140009526225538 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7442432 140732287974081 140732287976855 140732287976855 140732287979471 0
[pid=12924/tid=12996] ppid=12921 vsize=10995452 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/12924/task/12996/stat : 12996 (java) S 12921 12924 7912 0 -1 1077944384 3 12835 0 0 0 0 8 3 20 0 20 0 5411350 11259342848 851816 33554432000 4194304 4196468 140732287969008 140008267643488 140009526224597 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 7442432 140732287974081 140732287976855 140732287976855 140732287979471 0
[pid=12924/tid=12997] ppid=12921 vsize=10995452 CPUtime=1.04 cores=1,3,5,7,9,11,13,15
/proc/12924/task/12997/stat : 12997 (java) S 12921 12924 7912 0 -1 1077944384 1507 12835 0 0 50 43 8 3 20 0 20 0 5411350 11259342848 851816 33554432000 4194304 4196468 140732287969008 140008266590768 140009526225538 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7442432 140732287974081 140732287976855 140732287976855 140732287979471 0
Current children cumulated CPU time (s) 2261.44
Current children cumulated vsize (KiB) 10995452

[startup+2202.3 s]
/proc/loadavg: 1.57 1.64 1.67 3/281 13226
/proc/meminfo: memFree=27287236/32770624 swapFree=5780/391732
[pid=12924] ppid=12921 vsize=10995452 CPUtime=2322.75 cores=1,3,5,7,9,11,13,15
/proc/12924/stat : 12924 (java) S 12921 12924 7912 0 -1 1077944320 397580 12835 0 0 229557 2707 8 3 20 0 20 0 5411327 11259342848 851815 33554432000 4194304 4196468 140732287969008 140732287951552 140009526214391 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 7442432 140732287974081 140732287976855 140732287976855 140732287979471 0
/proc/12924/statm: 2748863 851815 3531 1 0 2736418 0
[pid=12924/tid=12979] ppid=12921 vsize=10995452 CPUtime=2185.94 cores=1,3,5,7,9,11,13,15
/proc/12924/task/12979/stat : 12979 (java) R 12921 12924 7912 0 -1 4202560 179644 12835 0 0 218525 58 8 3 20 0 20 0 5411340 11259342848 851815 33554432000 4194304 4196468 140732287969008 140009530443984 140009176529500 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7442432 140732287974081 140732287976855 140732287976855 140732287979471 0
[pid=12924/tid=12980] ppid=12921 vsize=10995452 CPUtime=14.52 cores=1,3,5,7,9,11,13,15
/proc/12924/task/12980/stat : 12980 (java) S 12921 12924 7912 0 -1 1077944384 11261 12835 0 0 1116 325 8 3 20 0 20 0 5411341 11259342848 851815 33554432000 4194304 4196468 140732287969008 140009133419152 140009526224597 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 7442432 140732287974081 140732287976855 140732287976855 140732287979471 0
[pid=12924/tid=12981] ppid=12921 vsize=10995452 CPUtime=14.42 cores=1,3,5,7,9,11,13,15
/proc/12924/task/12981/stat : 12981 (java) S 12921 12924 7912 0 -1 1077944384 13007 12835 0 0 1109 322 8 3 20 0 20 0 5411341 11259342848 851815 33554432000 4194304 4196468 140732287969008 140009132366352 140009526224597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7442432 140732287974081 140732287976855 140732287976855 140732287979471 0
[pid=12924/tid=12982] ppid=12921 vsize=10995452 CPUtime=14.54 cores=1,3,5,7,9,11,13,15
/proc/12924/task/12982/stat : 12982 (java) S 12921 12924 7912 0 -1 1077944384 12876 12835 0 0 1116 327 8 3 20 0 20 0 5411341 11259342848 851815 33554432000 4194304 4196468 140732287969008 140009131313552 140009526224597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7442432 140732287974081 140732287976855 140732287976855 140732287979471 0
[pid=12924/tid=12983] ppid=12921 vsize=10995452 CPUtime=14.46 cores=1,3,5,7,9,11,13,15
/proc/12924/task/12983/stat : 12983 (java) S 12921 12924 7912 0 -1 1077944384 9474 12835 0 0 1118 317 8 3 20 0 20 0 5411341 11259342848 851815 33554432000 4194304 4196468 140732287969008 140009130260752 140009526224597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7442432 140732287974081 140732287976855 140732287976855 140732287979471 0
[pid=12924/tid=12984] ppid=12921 vsize=10995452 CPUtime=14.46 cores=1,3,5,7,9,11,13,15
/proc/12924/task/12984/stat : 12984 (java) S 12921 12924 7912 0 -1 1077944384 8345 12835 0 0 1114 321 8 3 20 0 20 0 5411341 11259342848 851815 33554432000 4194304 4196468 140732287969008 140009129208976 140009526224597 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 7442432 140732287974081 140732287976855 140732287976855 140732287979471 0
[pid=12924/tid=12985] ppid=12921 vsize=10995452 CPUtime=14.47 cores=1,3,5,7,9,11,13,15
/proc/12924/task/12985/stat : 12985 (java) S 12921 12924 7912 0 -1 1077944384 9980 12835 0 0 1118 318 8 3 20 0 20 0 5411341 11259342848 851815 33554432000 4194304 4196468 140732287969008 140009128156176 140009526224597 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 7442432 140732287974081 140732287976855 140732287976855 140732287979471 0
[pid=12924/tid=12986] ppid=12921 vsize=10995452 CPUtime=14.57 cores=1,3,5,7,9,11,13,15
/proc/12924/task/12986/stat : 12986 (java) S 12921 12924 7912 0 -1 1077944384 9225 12835 0 0 1115 331 8 3 20 0 20 0 5411341 11259342848 851815 33554432000 4194304 4196468 140732287969008 140009127103376 140009526224597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7442432 140732287974081 140732287976855 140732287976855 140732287979471 0
[pid=12924/tid=12987] ppid=12921 vsize=10995452 CPUtime=14.48 cores=1,3,5,7,9,11,13,15
/proc/12924/task/12987/stat : 12987 (java) S 12921 12924 7912 0 -1 1077944384 11107 12835 0 0 1116 321 8 3 20 0 20 0 5411341 11259342848 851815 33554432000 4194304 4196468 140732287969008 140009126050576 140009526224597 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 7442432 140732287974081 140732287976855 140732287976855 140732287979471 0
[pid=12924/tid=12988] ppid=12921 vsize=10995452 CPUtime=0.78 cores=1,3,5,7,9,11,13,15
/proc/12924/task/12988/stat : 12988 (java) S 12921 12924 7912 0 -1 1077944384 19149 12835 0 0 56 11 8 3 20 0 20 0 5411344 11259342848 851815 33554432000 4194304 4196468 140732287969008 140008276064624 140009526225538 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7442432 140732287974081 140732287976855 140732287976855 140732287979471 0
[pid=12924/tid=12989] ppid=12921 vsize=10995452 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/12924/task/12989/stat : 12989 (java) S 12921 12924 7912 0 -1 1077944384 290 12835 0 0 2 0 8 3 20 0 20 0 5411345 11259342848 851815 33554432000 4194304 4196468 140732287969008 140008275010784 140009526224597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7442432 140732287974081 140732287976855 140732287976855 140732287979471 0
[pid=12924/tid=12990] ppid=12921 vsize=10995452 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/12924/task/12990/stat : 12990 (java) S 12921 12924 7912 0 -1 1077944384 60 12835 0 0 0 0 8 3 20 0 20 0 5411345 11259342848 851815 33554432000 4194304 4196468 140732287969008 140008273957760 140009526224597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7442432 140732287974081 140732287976855 140732287976855 140732287979471 0
[pid=12924/tid=12991] ppid=12921 vsize=10995452 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/12924/task/12991/stat : 12991 (java) S 12921 12924 7912 0 -1 1077944384 1 12835 0 0 0 0 8 3 20 0 20 0 5411349 11259342848 851815 33554432000 4194304 4196468 140732287969008 140008272906064 140009526232987 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 7442432 140732287974081 140732287976855 140732287976855 140732287979471 0
[pid=12924/tid=12992] ppid=12921 vsize=10995452 CPUtime=6.04 cores=1,3,5,7,9,11,13,15
/proc/12924/task/12992/stat : 12992 (java) S 12921 12924 7912 0 -1 1077944384 19052 12835 0 0 589 4 8 3 20 0 20 0 5411349 11259342848 851815 33554432000 4194304 4196468 140732287969008 140008271854448 140009526225538 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7442432 140732287974081 140732287976855 140732287976855 140732287979471 0
[pid=12924/tid=12993] ppid=12921 vsize=10995452 CPUtime=5.59 cores=1,3,5,7,9,11,13,15
/proc/12924/task/12993/stat : 12993 (java) S 12921 12924 7912 0 -1 1077944384 20206 12835 0 0 544 4 8 3 20 0 20 0 5411349 11259342848 851815 33554432000 4194304 4196468 140732287969008 140008270801648 140009526225538 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 7442432 140732287974081 140732287976855 140732287976855 140732287979471 0
[pid=12924/tid=12994] ppid=12921 vsize=10995452 CPUtime=5.84 cores=1,3,5,7,9,11,13,15
/proc/12924/task/12994/stat : 12994 (java) S 12921 12924 7912 0 -1 1077944384 17539 12835 0 0 569 4 8 3 20 0 20 0 5411349 11259342848 851815 33554432000 4194304 4196468 140732287969008 140008269748848 140009526225538 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 7442432 140732287974081 140732287976855 140732287976855 140732287979471 0
[pid=12924/tid=12995] ppid=12921 vsize=10995452 CPUtime=2.9 cores=1,3,5,7,9,11,13,15
/proc/12924/task/12995/stat : 12995 (java) S 12921 12924 7912 0 -1 1077944384 52690 12835 0 0 273 6 8 3 20 0 20 0 5411349 11259342848 851815 33554432000 4194304 4196468 140732287969008 140008268696048 140009526225538 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7442432 140732287974081 140732287976855 140732287976855 140732287979471 0
[pid=12924/tid=12996] ppid=12921 vsize=10995452 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/12924/task/12996/stat : 12996 (java) S 12921 12924 7912 0 -1 1077944384 3 12835 0 0 0 0 8 3 20 0 20 0 5411350 11259342848 851815 33554432000 4194304 4196468 140732287969008 140008267643488 140009526224597 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 7442432 140732287974081 140732287976855 140732287976855 140732287979471 0
[pid=12924/tid=12997] ppid=12921 vsize=10995452 CPUtime=1.07 cores=1,3,5,7,9,11,13,15
/proc/12924/task/12997/stat : 12997 (java) S 12921 12924 7912 0 -1 1077944384 1538 12835 0 0 51 45 8 3 20 0 20 0 5411350 11259342848 851815 33554432000 4194304 4196468 140732287969008 140008266590768 140009526225538 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 7442432 140732287974081 140732287976855 140732287976855 140732287979471 0
Current children cumulated CPU time (s) 2322.75
Current children cumulated vsize (KiB) 10995452

[startup+2262.3 s]
/proc/loadavg: 1.72 1.67 1.68 3/281 13227
/proc/meminfo: memFree=27285312/32770624 swapFree=5780/391832
[pid=12924] ppid=12921 vsize=10995452 CPUtime=2384.19 cores=1,3,5,7,9,11,13,15
/proc/12924/stat : 12924 (java) S 12921 12924 7912 0 -1 1077944320 403587 12835 0 0 235699 2709 8 3 20 0 20 0 5411327 11259342848 851816 33554432000 4194304 4196468 140732287969008 140732287951552 140009526214391 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 7442432 140732287974081 140732287976855 140732287976855 140732287979471 0
/proc/12924/statm: 2748863 851816 3531 1 0 2736418 0
[pid=12924/tid=12979] ppid=12921 vsize=10995452 CPUtime=2245.7 cores=1,3,5,7,9,11,13,15
/proc/12924/task/12979/stat : 12979 (java) R 12921 12924 7912 0 -1 4202560 184035 12835 0 0 224500 59 8 3 20 0 20 0 5411340 11259342848 851816 33554432000 4194304 4196468 140732287969008 140009530443984 140009176458601 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7442432 140732287974081 140732287976855 140732287976855 140732287979471 0
[pid=12924/tid=12980] ppid=12921 vsize=10995452 CPUtime=14.73 cores=1,3,5,7,9,11,13,15
/proc/12924/task/12980/stat : 12980 (java) S 12921 12924 7912 0 -1 1077944384 11357 12835 0 0 1137 325 8 3 20 0 20 0 5411341 11259342848 851816 33554432000 4194304 4196468 140732287969008 140009133419152 140009526224597 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 7442432 140732287974081 140732287976855 140732287976855 140732287979471 0
[pid=12924/tid=12981] ppid=12921 vsize=10995452 CPUtime=14.62 cores=1,3,5,7,9,11,13,15
/proc/12924/task/12981/stat : 12981 (java) S 12921 12924 7912 0 -1 1077944384 13044 12835 0 0 1129 322 8 3 20 0 20 0 5411341 11259342848 851816 33554432000 4194304 4196468 140732287969008 140009132366352 140009526224597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7442432 140732287974081 140732287976855 140732287976855 140732287979471 0
[pid=12924/tid=12982] ppid=12921 vsize=10995452 CPUtime=14.74 cores=1,3,5,7,9,11,13,15
/proc/12924/task/12982/stat : 12982 (java) S 12921 12924 7912 0 -1 1077944384 13079 12835 0 0 1136 327 8 3 20 0 20 0 5411341 11259342848 851816 33554432000 4194304 4196468 140732287969008 140009131313552 140009526224597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7442432 140732287974081 140732287976855 140732287976855 140732287979471 0
[pid=12924/tid=12983] ppid=12921 vsize=10995452 CPUtime=14.67 cores=1,3,5,7,9,11,13,15
/proc/12924/task/12983/stat : 12983 (java) S 12921 12924 7912 0 -1 1077944384 9596 12835 0 0 1139 317 8 3 20 0 20 0 5411341 11259342848 851816 33554432000 4194304 4196468 140732287969008 140009130260752 140009526224597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7442432 140732287974081 140732287976855 140732287976855 140732287979471 0
[pid=12924/tid=12984] ppid=12921 vsize=10995452 CPUtime=14.67 cores=1,3,5,7,9,11,13,15
/proc/12924/task/12984/stat : 12984 (java) S 12921 12924 7912 0 -1 1077944384 8454 12835 0 0 1135 321 8 3 20 0 20 0 5411341 11259342848 851816 33554432000 4194304 4196468 140732287969008 140009129208976 140009526224597 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 7442432 140732287974081 140732287976855 140732287976855 140732287979471 0
[pid=12924/tid=12985] ppid=12921 vsize=10995452 CPUtime=14.68 cores=1,3,5,7,9,11,13,15
/proc/12924/task/12985/stat : 12985 (java) S 12921 12924 7912 0 -1 1077944384 10263 12835 0 0 1139 318 8 3 20 0 20 0 5411341 11259342848 851816 33554432000 4194304 4196468 140732287969008 140009128156176 140009526224597 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 7442432 140732287974081 140732287976855 140732287976855 140732287979471 0
[pid=12924/tid=12986] ppid=12921 vsize=10995452 CPUtime=14.77 cores=1,3,5,7,9,11,13,15
/proc/12924/task/12986/stat : 12986 (java) S 12921 12924 7912 0 -1 1077944384 9420 12835 0 0 1135 331 8 3 20 0 20 0 5411341 11259342848 851816 33554432000 4194304 4196468 140732287969008 140009127103376 140009526224597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7442432 140732287974081 140732287976855 140732287976855 140732287979471 0
[pid=12924/tid=12987] ppid=12921 vsize=10995452 CPUtime=14.7 cores=1,3,5,7,9,11,13,15
/proc/12924/task/12987/stat : 12987 (java) S 12921 12924 7912 0 -1 1077944384 11457 12835 0 0 1138 321 8 3 20 0 20 0 5411341 11259342848 851816 33554432000 4194304 4196468 140732287969008 140009126050576 140009526224597 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 7442432 140732287974081 140732287976855 140732287976855 140732287979471 0
[pid=12924/tid=12988] ppid=12921 vsize=10995452 CPUtime=0.79 cores=1,3,5,7,9,11,13,15
/proc/12924/task/12988/stat : 12988 (java) S 12921 12924 7912 0 -1 1077944384 19326 12835 0 0 57 11 8 3 20 0 20 0 5411344 11259342848 851816 33554432000 4194304 4196468 140732287969008 140008276064624 140009526225538 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7442432 140732287974081 140732287976855 140732287976855 140732287979471 0
[pid=12924/tid=12989] ppid=12921 vsize=10995452 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/12924/task/12989/stat : 12989 (java) S 12921 12924 7912 0 -1 1077944384 295 12835 0 0 2 0 8 3 20 0 20 0 5411345 11259342848 851816 33554432000 4194304 4196468 140732287969008 140008275010784 140009526224597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7442432 140732287974081 140732287976855 140732287976855 140732287979471 0
[pid=12924/tid=12990] ppid=12921 vsize=10995452 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/12924/task/12990/stat : 12990 (java) S 12921 12924 7912 0 -1 1077944384 60 12835 0 0 0 0 8 3 20 0 20 0 5411345 11259342848 851816 33554432000 4194304 4196468 140732287969008 140008273957760 140009526224597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7442432 140732287974081 140732287976855 140732287976855 140732287979471 0
[pid=12924/tid=12991] ppid=12921 vsize=10995452 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/12924/task/12991/stat : 12991 (java) S 12921 12924 7912 0 -1 1077944384 1 12835 0 0 0 0 8 3 20 0 20 0 5411349 11259342848 851816 33554432000 4194304 4196468 140732287969008 140008272906064 140009526232987 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 7442432 140732287974081 140732287976855 140732287976855 140732287979471 0
[pid=12924/tid=12992] ppid=12921 vsize=10995452 CPUtime=6.04 cores=1,3,5,7,9,11,13,15
/proc/12924/task/12992/stat : 12992 (java) S 12921 12924 7912 0 -1 1077944384 19054 12835 0 0 589 4 8 3 20 0 20 0 5411349 11259342848 851816 33554432000 4194304 4196468 140732287969008 140008271854448 140009526225538 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7442432 140732287974081 140732287976855 140732287976855 140732287979471 0
[pid=12924/tid=12993] ppid=12921 vsize=10995452 CPUtime=5.59 cores=1,3,5,7,9,11,13,15
/proc/12924/task/12993/stat : 12993 (java) S 12921 12924 7912 0 -1 1077944384 20208 12835 0 0 544 4 8 3 20 0 20 0 5411349 11259342848 851816 33554432000 4194304 4196468 140732287969008 140008270801648 140009526225538 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 7442432 140732287974081 140732287976855 140732287976855 140732287979471 0
[pid=12924/tid=12994] ppid=12921 vsize=10995452 CPUtime=5.84 cores=1,3,5,7,9,11,13,15
/proc/12924/task/12994/stat : 12994 (java) S 12921 12924 7912 0 -1 1077944384 17541 12835 0 0 569 4 8 3 20 0 20 0 5411349 11259342848 851816 33554432000 4194304 4196468 140732287969008 140008269748848 140009526225538 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 7442432 140732287974081 140732287976855 140732287976855 140732287979471 0
[pid=12924/tid=12995] ppid=12921 vsize=10995452 CPUtime=2.9 cores=1,3,5,7,9,11,13,15
/proc/12924/task/12995/stat : 12995 (java) S 12921 12924 7912 0 -1 1077944384 52692 12835 0 0 273 6 8 3 20 0 20 0 5411349 11259342848 851816 33554432000 4194304 4196468 140732287969008 140008268696048 140009526225538 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7442432 140732287974081 140732287976855 140732287976855 140732287979471 0
[pid=12924/tid=12996] ppid=12921 vsize=10995452 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/12924/task/12996/stat : 12996 (java) S 12921 12924 7912 0 -1 1077944384 3 12835 0 0 0 0 8 3 20 0 20 0 5411350 11259342848 851816 33554432000 4194304 4196468 140732287969008 140008267643488 140009526224597 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 7442432 140732287974081 140732287976855 140732287976855 140732287979471 0
[pid=12924/tid=12997] ppid=12921 vsize=10995452 CPUtime=1.1 cores=1,3,5,7,9,11,13,15
/proc/12924/task/12997/stat : 12997 (java) S 12921 12924 7912 0 -1 1077944384 1569 12835 0 0 53 46 8 3 20 0 20 0 5411350 11259342848 851816 33554432000 4194304 4196468 140732287969008 140008266590768 140009526225538 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 7442432 140732287974081 140732287976855 140732287976855 140732287979471 0
Current children cumulated CPU time (s) 2384.19
Current children cumulated vsize (KiB) 10995452



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2277.9 s]
/proc/loadavg: 1.70 1.67 1.68 3/281 13227
/proc/meminfo: memFree=27285560/32770624 swapFree=5780/391856
[pid=12924] ppid=12921 vsize=10995452 CPUtime=2400.07 cores=1,3,5,7,9,11,13,15
/proc/12924/stat : 12924 (java) S 12921 12924 7912 0 -1 1077944320 405678 12835 0 0 237287 2709 8 3 20 0 20 0 5411327 11259342848 851816 33554432000 4194304 4196468 140732287969008 140732287951552 140009526214391 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 7442432 140732287974081 140732287976855 140732287976855 140732287979471 0
/proc/12924/statm: 2748863 851816 3531 1 0 2736418 0
[pid=12924/tid=12979] ppid=12921 vsize=10995452 CPUtime=2261.25 cores=1,3,5,7,9,11,13,15
/proc/12924/task/12979/stat : 12979 (java) R 12921 12924 7912 0 -1 4202560 186079 12835 0 0 226055 59 8 3 20 0 20 0 5411340 11259342848 851816 33554432000 4194304 4196468 140732287969008 140009530443984 140009181430469 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7442432 140732287974081 140732287976855 140732287976855 140732287979471 0
[pid=12924/tid=12980] ppid=12921 vsize=10995452 CPUtime=14.77 cores=1,3,5,7,9,11,13,15
/proc/12924/task/12980/stat : 12980 (java) S 12921 12924 7912 0 -1 1077944384 11363 12835 0 0 1141 325 8 3 20 0 20 0 5411341 11259342848 851816 33554432000 4194304 4196468 140732287969008 140009133419152 140009526224597 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 7442432 140732287974081 140732287976855 140732287976855 140732287979471 0
[pid=12924/tid=12981] ppid=12921 vsize=10995452 CPUtime=14.67 cores=1,3,5,7,9,11,13,15
/proc/12924/task/12981/stat : 12981 (java) S 12921 12924 7912 0 -1 1077944384 13052 12835 0 0 1134 322 8 3 20 0 20 0 5411341 11259342848 851816 33554432000 4194304 4196468 140732287969008 140009132366352 140009526224597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7442432 140732287974081 140732287976855 140732287976855 140732287979471 0
[pid=12924/tid=12982] ppid=12921 vsize=10995452 CPUtime=14.78 cores=1,3,5,7,9,11,13,15
/proc/12924/task/12982/stat : 12982 (java) S 12921 12924 7912 0 -1 1077944384 13085 12835 0 0 1140 327 8 3 20 0 20 0 5411341 11259342848 851816 33554432000 4194304 4196468 140732287969008 140009131313552 140009526224597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7442432 140732287974081 140732287976855 140732287976855 140732287979471 0
[pid=12924/tid=12983] ppid=12921 vsize=10995452 CPUtime=14.71 cores=1,3,5,7,9,11,13,15
/proc/12924/task/12983/stat : 12983 (java) S 12921 12924 7912 0 -1 1077944384 9601 12835 0 0 1143 317 8 3 20 0 20 0 5411341 11259342848 851816 33554432000 4194304 4196468 140732287969008 140009130260752 140009526224597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7442432 140732287974081 140732287976855 140732287976855 140732287979471 0
[pid=12924/tid=12984] ppid=12921 vsize=10995452 CPUtime=14.71 cores=1,3,5,7,9,11,13,15
/proc/12924/task/12984/stat : 12984 (java) S 12921 12924 7912 0 -1 1077944384 8462 12835 0 0 1139 321 8 3 20 0 20 0 5411341 11259342848 851816 33554432000 4194304 4196468 140732287969008 140009129208976 140009526224597 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 7442432 140732287974081 140732287976855 140732287976855 140732287979471 0
[pid=12924/tid=12985] ppid=12921 vsize=10995452 CPUtime=14.72 cores=1,3,5,7,9,11,13,15
/proc/12924/task/12985/stat : 12985 (java) S 12921 12924 7912 0 -1 1077944384 10267 12835 0 0 1143 318 8 3 20 0 20 0 5411341 11259342848 851816 33554432000 4194304 4196468 140732287969008 140009128156176 140009526224597 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 7442432 140732287974081 140732287976855 140732287976855 140732287979471 0
[pid=12924/tid=12986] ppid=12921 vsize=10995452 CPUtime=14.81 cores=1,3,5,7,9,11,13,15
/proc/12924/task/12986/stat : 12986 (java) S 12921 12924 7912 0 -1 1077944384 9422 12835 0 0 1139 331 8 3 20 0 20 0 5411341 11259342848 851816 33554432000 4194304 4196468 140732287969008 140009127103376 140009526224597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7442432 140732287974081 140732287976855 140732287976855 140732287979471 0
[pid=12924/tid=12987] ppid=12921 vsize=10995452 CPUtime=14.74 cores=1,3,5,7,9,11,13,15
/proc/12924/task/12987/stat : 12987 (java) S 12921 12924 7912 0 -1 1077944384 11460 12835 0 0 1142 321 8 3 20 0 20 0 5411341 11259342848 851816 33554432000 4194304 4196468 140732287969008 140009126050576 140009526224597 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 7442432 140732287974081 140732287976855 140732287976855 140732287979471 0
[pid=12924/tid=12988] ppid=12921 vsize=10995452 CPUtime=0.79 cores=1,3,5,7,9,11,13,15
/proc/12924/task/12988/stat : 12988 (java) S 12921 12924 7912 0 -1 1077944384 19329 12835 0 0 57 11 8 3 20 0 20 0 5411344 11259342848 851816 33554432000 4194304 4196468 140732287969008 140008276064624 140009526225538 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7442432 140732287974081 140732287976855 140732287976855 140732287979471 0
[pid=12924/tid=12989] ppid=12921 vsize=10995452 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/12924/task/12989/stat : 12989 (java) S 12921 12924 7912 0 -1 1077944384 295 12835 0 0 2 0 8 3 20 0 20 0 5411345 11259342848 851816 33554432000 4194304 4196468 140732287969008 140008275010784 140009526224597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7442432 140732287974081 140732287976855 140732287976855 140732287979471 0
[pid=12924/tid=12990] ppid=12921 vsize=10995452 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/12924/task/12990/stat : 12990 (java) S 12921 12924 7912 0 -1 1077944384 60 12835 0 0 0 0 8 3 20 0 20 0 5411345 11259342848 851816 33554432000 4194304 4196468 140732287969008 140008273957760 140009526224597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7442432 140732287974081 140732287976855 140732287976855 140732287979471 0
[pid=12924/tid=12991] ppid=12921 vsize=10995452 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/12924/task/12991/stat : 12991 (java) S 12921 12924 7912 0 -1 1077944384 1 12835 0 0 0 0 8 3 20 0 20 0 5411349 11259342848 851816 33554432000 4194304 4196468 140732287969008 140008272906064 140009526232987 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 7442432 140732287974081 140732287976855 140732287976855 140732287979471 0
[pid=12924/tid=12992] ppid=12921 vsize=10995452 CPUtime=6.04 cores=1,3,5,7,9,11,13,15
/proc/12924/task/12992/stat : 12992 (java) S 12921 12924 7912 0 -1 1077944384 19054 12835 0 0 589 4 8 3 20 0 20 0 5411349 11259342848 851816 33554432000 4194304 4196468 140732287969008 140008271854448 140009526225538 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7442432 140732287974081 140732287976855 140732287976855 140732287979471 0
[pid=12924/tid=12993] ppid=12921 vsize=10995452 CPUtime=5.59 cores=1,3,5,7,9,11,13,15
/proc/12924/task/12993/stat : 12993 (java) S 12921 12924 7912 0 -1 1077944384 20208 12835 0 0 544 4 8 3 20 0 20 0 5411349 11259342848 851816 33554432000 4194304 4196468 140732287969008 140008270801648 140009526225538 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 7442432 140732287974081 140732287976855 140732287976855 140732287979471 0
[pid=12924/tid=12994] ppid=12921 vsize=10995452 CPUtime=5.84 cores=1,3,5,7,9,11,13,15
/proc/12924/task/12994/stat : 12994 (java) S 12921 12924 7912 0 -1 1077944384 17541 12835 0 0 569 4 8 3 20 0 20 0 5411349 11259342848 851816 33554432000 4194304 4196468 140732287969008 140008269748848 140009526225538 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 7442432 140732287974081 140732287976855 140732287976855 140732287979471 0
[pid=12924/tid=12995] ppid=12921 vsize=10995452 CPUtime=2.9 cores=1,3,5,7,9,11,13,15
/proc/12924/task/12995/stat : 12995 (java) S 12921 12924 7912 0 -1 1077944384 52692 12835 0 0 273 6 8 3 20 0 20 0 5411349 11259342848 851816 33554432000 4194304 4196468 140732287969008 140008268696048 140009526225538 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7442432 140732287974081 140732287976855 140732287976855 140732287979471 0
[pid=12924/tid=12996] ppid=12921 vsize=10995452 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/12924/task/12996/stat : 12996 (java) S 12921 12924 7912 0 -1 1077944384 3 12835 0 0 0 0 8 3 20 0 20 0 5411350 11259342848 851816 33554432000 4194304 4196468 140732287969008 140008267643488 140009526224597 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 7442432 140732287974081 140732287976855 140732287976855 140732287979471 0
[pid=12924/tid=12997] ppid=12921 vsize=10995452 CPUtime=1.1 cores=1,3,5,7,9,11,13,15
/proc/12924/task/12997/stat : 12997 (java) S 12921 12924 7912 0 -1 1077944384 1571 12835 0 0 53 46 8 3 20 0 20 0 5411350 11259342848 851816 33554432000 4194304 4196468 140732287969008 140008266590768 140009526225538 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 7442432 140732287974081 140732287976855 140732287976855 140732287979471 0
Current children cumulated CPU time (s) 2400.07
Current children cumulated vsize (KiB) 10995452

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

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

Child status: 143
Real time (s): 2277.98
CPU time (s): 2400.43
CPU user time (s): 2373.27
CPU system time (s): 27.1606
CPU usage (%): 105.375
Max. virtual memory (cumulated for all children) (KiB): 10995452

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2373.27
system time used= 27.1606
maximum resident set size= 3407772
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 419414
page faults= 0
swaps= 0
block input operations= 8
block output operations= 2912
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 77239
involuntary context switches= 125986

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.3571 second user time and 19.3934 second system time

The end

Launcher Data 

Begin job on node125 at 2017-07-22 07:30:37
IDJOB=4245179
IDBENCH=120625
IDSOLVER=2630
FILE ID=node125/4245179-1500701436
RUNJOBID= node125-1500682887-8969
PBS_JOBID= 20623328
Free space on /tmp= 61948 MiB

SOLVER NAME= Concrete 3.4
BENCH NAME= XCSP17/GraphColoring/GraphColoring-m1-mono/GraphColoring-wap01a.xml
COMMAND LINE= bin/concrete BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4245179-1500701436/watcher-4245179-1500701436 -o /tmp/evaluation-result-4245179-1500701436/solver-4245179-1500701436 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node125-1500682887-8969 --watchdog 2560  bin/concrete HOME/instance-4245179-1500701436.xml

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

MD5SUM BENCH= 1f75bed7d5113015eb943bda0c7ab47c
RANDOM SEED=779165879

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        30475368 kB
MemAvailable:   30912716 kB
Buffers:          175092 kB
Cached:           538896 kB
SwapCached:            0 kB
Active:          1454596 kB
Inactive:         396716 kB
Active(anon):    1139928 kB
Inactive(anon):     8764 kB
Active(file):     314668 kB
Inactive(file):   387952 kB
Unevictable:        5780 kB
Mlocked:            5780 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             28220 kB
Writeback:             0 kB
AnonPages:       1157500 kB
Mapped:            43644 kB
Shmem:              8840 kB
Slab:             134172 kB
SReclaimable:     101124 kB
SUnreclaim:        33048 kB
KernelStack:        4848 kB
PageTables:         7340 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1953208 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1067008 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /tmp at the end= 61924 MiB
End job on node125 at 2017-07-22 08:08:35