Trace number 4261966

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Concrete 3.4SAT (TO)288 2520.1399 2457.6599

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.30/2.22	c Concrete v3.4 running
38.21/20.77	o 2367
40.11/22.18	o 2366
42.16/23.47	o 2365
43.60/24.68	o 2364
44.87/25.87	o 2363
46.17/27.06	o 2362
47.41/28.27	o 2361
48.62/29.44	o 2360
49.82/30.61	o 2359
51.02/31.80	o 2358
52.13/32.96	o 2357
53.24/34.10	o 2356
54.56/35.32	o 2355
55.94/36.64	o 2354
57.21/37.86	o 2353
58.43/39.01	o 2352
59.63/40.20	o 2351
60.74/41.38	o 2350
61.95/42.55	o 2349
63.15/43.74	o 2348
64.36/44.92	o 2347
65.46/46.09	o 2346
66.65/47.22	o 2345
67.86/48.41	o 2344
69.10/49.64	o 2343
70.22/50.78	o 2342
71.43/51.98	o 2341
72.81/53.20	o 2340
74.01/54.43	o 2339
75.22/55.63	o 2338
76.42/56.81	o 2337
77.52/57.99	o 2336
78.72/59.19	o 2335
80.03/60.42	o 2334
81.23/61.62	o 2333
82.34/62.79	o 2332
83.55/63.97	o 2331
84.74/65.17	o 2330
85.94/66.35	o 2329
87.22/67.56	o 2328
88.49/68.73	o 2327
89.69/69.93	o 2326
90.96/71.13	o 2325
92.06/72.26	o 2324
93.26/73.44	o 2323
94.46/74.66	o 2322
95.71/75.82	o 2321
96.92/77.00	o 2320
98.02/78.17	o 2319
99.23/79.33	o 2318
100.43/80.51	o 2317
101.52/81.67	o 2316
102.75/82.81	o 2315
104.02/84.00	o 2314
105.12/85.16	o 2313
106.33/86.33	o 2312
107.53/87.52	o 2311
108.74/88.76	o 2310
109.94/89.95	o 2309
111.04/91.09	o 2308
112.24/92.28	o 2307
113.44/93.41	o 2306
114.54/94.56	o 2305
115.75/95.73	o 2304
116.96/96.94	o 2303
118.15/98.11	o 2302
119.44/99.33	o 2301
120.54/100.49	o 2300
121.75/101.67	o 2299
122.95/102.86	o 2298
124.15/104.05	o 2297
125.35/105.24	o 2296
126.55/106.43	o 2295
127.75/107.65	o 2294
128.95/108.83	o 2293
130.16/110.06	o 2292
131.38/111.24	o 2291
132.57/112.40	o 2290
133.67/113.56	o 2289
134.95/114.79	o 2288
136.25/116.00	o 2287
137.45/117.24	o 2286
138.65/118.41	o 2285
139.75/119.54	o 2284
140.96/120.73	o 2283
142.16/121.92	o 2282
143.36/123.13	o 2281
144.57/124.34	o 2280
145.77/125.56	o 2279
146.97/126.73	o 2278
148.17/127.93	o 2277
149.49/129.18	o 2276
150.69/130.37	o 2275
151.89/131.58	o 2274
153.09/132.76	o 2273
154.29/133.94	o 2272
155.49/135.14	o 2271
156.69/136.33	o 2270
157.79/137.49	o 2269
159.00/138.69	o 2268
160.30/139.94	o 2267
161.49/141.12	o 2266
162.60/142.27	o 2265
163.80/143.43	o 2264
165.11/144.65	o 2263
166.31/145.85	o 2262
167.51/147.04	o 2261
168.61/148.17	o 2260
169.81/149.37	o 2259
171.01/150.58	o 2258
172.21/151.75	o 2257
173.42/152.94	o 2256
174.63/154.11	o 2255
175.73/155.26	o 2254
176.94/156.45	o 2253
178.14/157.64	o 2252
179.34/158.84	o 2251
180.64/160.05	o 2250
181.84/161.21	o 2249
183.04/162.41	o 2248
184.14/163.58	o 2247
185.34/164.77	o 2246
186.54/165.94	o 2245
187.74/167.10	o 2244
188.85/168.27	o 2243
190.05/169.41	o 2242
191.16/170.57	o 2241
192.36/171.75	o 2240
193.57/172.91	o 2239
194.67/174.09	o 2238
196.07/175.35	o 2237
197.27/176.55	o 2236
198.47/177.74	o 2235
199.67/178.92	o 2234
200.87/180.11	o 2233
202.07/181.30	o 2232
203.17/182.47	o 2231
204.38/183.69	o 2230
205.58/184.84	o 2229
206.78/186.01	o 2228
207.88/187.19	o 2227
209.08/188.38	o 2226
210.28/189.53	o 2225
211.56/190.72	o 2224
212.76/191.90	o 2223
213.96/193.10	o 2222
215.16/194.31	o 2221
216.36/195.51	o 2220
217.46/196.68	o 2219
218.66/197.84	o 2218
219.86/199.02	o 2217
220.96/200.17	o 2216
222.17/201.33	o 2215
223.27/202.49	o 2214
224.47/203.66	o 2213
225.78/204.86	o 2212
226.98/206.04	o 2211
228.18/207.22	o 2210
229.38/208.40	o 2209
230.59/209.60	o 2208
231.69/210.74	o 2207
232.89/211.92	o 2206
233.99/213.09	o 2205
235.19/214.27	o 2204
236.39/215.45	o 2203
237.59/216.63	o 2202
238.80/217.81	o 2201
239.90/219.00	o 2200
241.29/220.24	o 2199
242.49/221.40	o 2198
243.59/222.58	o 2197
244.79/223.76	o 2196
245.99/224.91	o 2195
247.19/226.10	o 2194
248.29/227.28	o 2193
249.49/228.44	o 2192
250.69/229.64	o 2191
251.89/230.84	o 2190
253.09/232.01	o 2189
254.19/233.19	o 2188
255.40/234.37	o 2187
256.68/235.56	o 2186
257.87/236.73	o 2185
259.07/237.94	o 2184
260.27/239.10	o 2183
261.37/240.25	o 2182
262.57/241.47	o 2181
263.77/242.63	o 2180
264.87/243.78	o 2179
266.07/244.95	o 2178
267.27/246.12	o 2177
268.38/247.25	o 2176
269.49/248.38	o 2175
270.80/249.55	o 2174
272.00/250.72	o 2173
273.10/251.89	o 2172
274.31/253.07	o 2171
275.51/254.25	o 2170
276.70/255.46	o 2169
277.90/256.62	o 2168
279.00/257.79	o 2167
280.21/258.97	o 2166
281.41/260.13	o 2165
282.51/261.29	o 2164
283.71/262.46	o 2163
284.99/263.63	o 2162
286.19/264.82	o 2161
287.29/265.96	o 2160
288.49/267.11	o 2159
289.59/268.29	o 2158
290.79/269.48	o 2157
292.00/270.68	o 2156
293.20/271.85	o 2155
294.40/273.02	o 2154
295.60/274.21	o 2153
296.80/275.40	o 2152
297.99/276.59	o 2151
299.19/277.77	o 2150
300.39/278.94	o 2149
301.59/280.13	o 2148
302.79/281.31	o 2147
303.89/282.47	o 2146
305.09/283.66	o 2145
306.29/284.81	o 2144
307.39/286.00	o 2143
308.60/287.19	o 2142
310.00/288.44	o 2141
311.21/289.62	o 2140
312.31/290.75	o 2139
313.51/291.91	o 2138
314.61/293.06	o 2137
315.81/294.21	o 2136
316.92/295.39	o 2135
318.12/296.57	o 2134
319.32/297.78	o 2133
320.52/298.97	o 2132
321.82/300.18	o 2131
323.02/301.33	o 2130
324.12/302.48	o 2129
325.33/303.67	o 2128
326.53/304.82	o 2127
327.73/306.01	o 2126
328.83/307.16	o 2125
330.04/308.35	o 2124
331.24/309.51	o 2123
332.34/310.69	o 2122
333.63/311.89	o 2121
334.83/313.06	o 2120
336.03/314.22	o 2119
337.14/315.39	o 2118
338.34/316.58	o 2117
339.55/317.73	o 2116
340.65/318.85	o 2115
341.85/320.01	o 2114
342.95/321.16	o 2113
344.06/322.27	o 2112
345.34/323.50	o 2111
346.54/324.65	o 2110
347.73/325.81	o 2109
348.93/327.02	o 2108
350.13/328.25	o 2107
351.34/329.45	o 2106
352.54/330.64	o 2105
353.74/331.83	o 2104
355.06/333.07	o 2103
356.36/334.30	o 2102
357.46/335.48	o 2101
358.66/336.66	o 2100
359.86/337.86	o 2099
361.06/339.03	o 2098
362.26/340.23	o 2097
363.37/341.39	o 2096
364.57/342.55	o 2095
365.84/343.72	o 2094
367.04/344.90	o 2093
368.15/346.07	o 2092
369.35/347.25	o 2091
370.55/348.42	o 2090
371.65/349.59	o 2089
372.85/350.73	o 2088
374.05/351.90	o 2087
375.33/353.13	o 2086
376.53/354.34	o 2085
377.63/355.49	o 2084
378.82/356.65	o 2083
380.02/357.84	o 2082
381.13/358.99	o 2081
382.33/360.17	o 2080
383.64/361.39	o 2079
384.94/362.60	o 2078
386.04/363.74	o 2077
387.24/364.92	o 2076
388.34/366.06	o 2075
389.54/367.22	o 2074
390.64/368.38	o 2073
391.84/369.56	o 2072
393.12/370.76	o 2071
394.32/371.95	o 2070
395.51/373.13	o 2069
396.61/374.29	o 2068
397.81/375.48	o 2067
399.01/376.64	o 2066
400.21/377.83	o 2065
401.49/379.03	o 2064
402.69/380.20	o 2063
403.79/381.35	o 2062
404.90/382.49	o 2061
406.10/383.67	o 2060
407.30/384.85	o 2059
408.62/386.05	o 2058
409.83/387.20	o 2057
410.93/388.40	o 2056
412.13/389.57	o 2055
413.32/390.73	o 2054
414.52/391.92	o 2053
415.72/393.12	o 2052
417.01/394.32	o 2051
418.11/395.45	o 2050
419.21/396.59	o 2049
420.42/397.75	o 2048
421.53/398.89	o 2047
422.73/400.06	o 2046
424.05/401.26	o 2045
425.25/402.40	o 2044
426.35/403.57	o 2043
427.55/404.75	o 2042
428.76/405.97	o 2041
429.96/407.12	o 2040
431.27/408.31	o 2039
432.37/409.49	o 2038
433.57/410.66	o 2037
434.77/411.86	o 2036
435.97/413.00	o 2035
437.08/414.18	o 2034
438.37/415.38	o 2033
439.57/416.56	o 2032
440.77/417.70	o 2031
441.87/418.85	o 2030
443.07/420.04	o 2029
444.40/421.25	o 2028
445.61/422.41	o 2027
446.70/423.58	o 2026
447.91/424.75	o 2025
449.10/425.94	o 2024
450.30/427.15	o 2023
451.58/428.34	o 2022
452.78/429.52	o 2021
453.98/430.74	o 2020
455.18/431.93	o 2019
456.52/433.15	o 2018
457.72/434.36	o 2017
458.92/435.56	o 2016
460.12/436.75	o 2015
461.32/437.97	o 2014
462.62/439.19	o 2013
463.82/440.37	o 2012
465.02/441.57	o 2011
466.23/442.78	o 2010
467.43/443.93	o 2009
468.71/445.13	o 2008
469.92/446.30	o 2007
471.02/447.49	o 2006
472.22/448.65	o 2005
473.52/449.85	o 2004
474.62/450.99	o 2003
475.83/452.18	o 2002
477.03/453.37	o 2001
478.35/454.59	o 2000
479.55/455.77	o 1999
480.75/456.94	o 1998
481.95/458.12	o 1997
483.28/459.37	o 1996
484.48/460.53	o 1995
485.68/461.73	o 1994
486.78/462.88	o 1993
487.98/464.06	o 1992
489.28/465.24	o 1991
490.49/466.42	o 1990
491.60/467.60	o 1989
492.80/468.73	o 1988
494.11/469.98	o 1987
495.31/471.14	o 1986
496.41/472.27	o 1985
497.63/473.41	o 1984
498.83/474.61	o 1983
500.13/475.82	o 1982
501.24/476.99	o 1981
502.44/478.19	o 1980
503.65/479.37	o 1979
505.08/480.62	o 1978
506.29/481.81	o 1977
507.49/483.02	o 1976
508.59/484.19	o 1975
509.78/485.37	o 1974
511.12/486.59	o 1973
512.32/487.76	o 1972
513.52/488.90	o 1971
514.62/490.06	o 1970
515.82/491.22	o 1969
517.15/492.42	o 1968
518.35/493.62	o 1967
519.46/494.79	o 1966
520.66/495.99	o 1965
521.86/497.16	o 1964
523.32/498.41	o 1963
524.42/499.58	o 1962
525.61/500.76	o 1961
526.81/501.93	o 1960
528.01/503.10	o 1959
529.21/504.30	o 1958
530.43/505.47	o 1957
531.63/506.65	o 1956
532.83/507.84	o 1955
534.03/509.00	o 1954
535.24/510.14	o 1953
536.34/511.27	o 1952
537.64/512.48	o 1951
538.84/513.64	o 1950
540.04/514.82	o 1949
541.15/515.99	o 1948
542.35/517.18	o 1947
543.66/518.39	o 1946
544.86/519.57	o 1945
546.06/520.74	o 1944
547.26/521.90	o 1943
548.36/523.06	o 1942
549.70/524.25	o 1941
550.80/525.37	o 1940
552.00/526.52	o 1939
553.20/527.71	o 1938
554.31/528.86	o 1937
555.65/530.09	o 1936
556.85/531.27	o 1935
558.06/532.45	o 1934
559.16/533.60	o 1933
560.36/534.75	o 1932
561.56/535.94	o 1931
562.87/537.11	o 1930
564.06/538.30	o 1929
565.17/539.49	o 1928
566.37/540.66	o 1927
567.57/541.84	o 1926
568.97/543.11	o 1925
570.07/544.27	o 1924
571.27/545.46	o 1923
572.48/546.61	o 1922
573.72/547.80	o 1921
574.95/548.94	o 1920
576.15/550.17	o 1919
577.35/551.34	o 1918
578.45/552.49	o 1917
579.92/553.75	o 1916
581.03/554.89	o 1915
582.23/556.06	o 1914
583.43/557.22	o 1913
584.53/558.34	o 1912
585.73/559.54	o 1911
587.04/560.78	o 1910
588.24/561.92	o 1909
589.44/563.10	o 1908
590.55/564.25	o 1907
591.75/565.44	o 1906
593.09/566.62	o 1905
594.19/567.77	o 1904
595.38/568.92	o 1903
596.58/570.12	o 1902
597.68/571.28	o 1901
599.02/572.53	o 1900
600.20/573.69	o 1899
601.40/574.84	o 1898
602.60/576.02	o 1897
603.70/577.14	o 1896
604.90/578.32	o 1895
606.23/579.52	o 1894
607.33/580.69	o 1893
608.53/581.85	o 1892
609.74/583.04	o 1891
610.94/584.20	o 1890
612.28/585.42	o 1889
613.39/586.57	o 1888
614.59/587.74	o 1887
615.79/588.94	o 1886
616.89/590.08	o 1885
618.21/591.27	o 1884
619.41/592.48	o 1883
620.61/593.64	o 1882
621.71/594.79	o 1881
622.91/595.95	o 1880
624.21/597.15	o 1879
625.41/598.32	o 1878
626.52/599.49	o 1877
627.73/600.65	o 1876
629.05/601.83	o 1875
630.16/602.99	o 1874
631.35/604.17	o 1873
632.45/605.29	o 1872
633.90/606.56	o 1871
635.09/607.73	o 1870
636.19/608.86	o 1869
637.39/610.05	o 1868
638.50/611.20	o 1867
639.94/612.42	o 1866
641.14/613.62	o 1865
642.24/614.76	o 1864
643.44/615.91	o 1863
644.54/617.07	o 1862
645.88/618.26	o 1861
647.09/619.43	o 1860
648.29/620.61	o 1859
649.39/621.77	o 1858
650.59/622.94	o 1857
651.80/624.09	o 1856
653.00/625.27	o 1855
654.20/626.45	o 1854
655.40/627.64	o 1853
656.50/628.79	o 1852
657.90/630.00	o 1851
659.00/631.13	o 1850
660.10/632.28	o 1849
661.30/633.45	o 1848
662.62/634.63	o 1847
663.72/635.79	o 1846
664.92/636.98	o 1845
666.13/638.11	o 1844
667.47/639.31	o 1843
668.57/640.46	o 1842
669.77/641.64	o 1841
670.87/642.77	o 1840
672.07/643.94	o 1839
673.39/645.16	o 1838
674.59/646.31	o 1837
675.69/647.46	o 1836
676.79/648.59	o 1835
677.99/649.79	o 1834
679.39/651.00	o 1833
680.49/652.16	o 1832
681.69/653.32	o 1831
682.79/654.50	o 1830
684.11/655.69	o 1829
685.40/656.91	o 1828
686.50/658.09	o 1827
687.80/659.30	o 1826
689.03/660.48	o 1825
690.23/661.64	o 1824
691.33/662.77	o 1823
692.53/663.94	o 1822
693.91/665.19	o 1821
695.11/666.35	o 1820
696.32/667.54	o 1819
697.42/668.69	o 1818
698.62/669.86	o 1817
699.93/671.09	o 1816
701.13/672.28	o 1815
702.33/673.44	o 1814
703.43/674.56	o 1813
704.76/675.77	o 1812
705.96/676.90	o 1811
707.06/678.09	o 1810
708.26/679.24	o 1809
709.36/680.39	o 1808
710.67/681.59	o 1807
711.87/682.77	o 1806
713.07/683.93	o 1805
714.17/685.08	o 1804
715.67/686.33	o 1803
716.77/687.47	o 1802
717.98/688.61	o 1801
719.08/689.79	o 1800
720.28/690.96	o 1799
721.59/692.16	o 1798
722.79/693.32	o 1797
723.99/694.50	o 1796
725.10/695.68	o 1795
726.20/696.77	o 1794
727.54/697.98	o 1793
728.73/699.12	o 1792
729.93/700.30	o 1791
731.03/701.48	o 1790
732.23/702.68	o 1789
733.54/703.84	o 1788
734.64/704.98	o 1787
735.84/706.12	o 1786
736.94/707.27	o 1785
738.15/708.43	o 1784
739.51/709.65	o 1783
740.62/710.79	o 1782
741.82/711.99	o 1781
743.02/713.19	o 1780
744.22/714.35	o 1779
745.52/715.53	o 1778
746.62/716.68	o 1777
747.82/717.89	o 1776
749.03/719.06	o 1775
750.23/720.25	o 1774
751.42/721.38	o 1773
752.63/722.56	o 1772
753.83/723.72	o 1771
754.93/724.88	o 1770
756.27/726.07	o 1769
757.47/727.27	o 1768
758.67/728.43	o 1767
759.87/729.62	o 1766
760.97/730.77	o 1765
762.29/731.98	o 1764
763.49/733.16	o 1763
764.69/734.35	o 1762
765.89/735.53	o 1761
767.21/736.74	o 1760
768.42/737.95	o 1759
769.62/739.10	o 1758
770.72/740.23	o 1757
772.05/741.48	o 1756
773.26/742.65	o 1755
774.45/743.86	o 1754
775.65/745.05	o 1753
776.99/746.28	o 1752
778.20/747.48	o 1751
779.40/748.64	o 1750
780.60/749.81	o 1749
781.80/751.00	o 1748
783.10/752.20	o 1747
784.20/753.35	o 1746
785.40/754.50	o 1745
786.50/755.64	o 1744
787.83/756.84	o 1743
789.03/758.01	o 1742
790.13/759.14	o 1741
791.23/760.27	o 1740
792.43/761.43	o 1739
793.73/762.61	o 1738
794.83/763.74	o 1737
796.03/764.90	o 1736
797.13/766.05	o 1735
798.45/767.25	o 1734
799.65/768.41	o 1733
800.76/769.54	o 1732
801.96/770.71	o 1731
803.31/771.94	o 1730
804.42/773.08	o 1729
805.52/774.19	o 1728
806.72/775.36	o 1727
807.92/776.56	o 1726
809.23/777.74	o 1725
810.43/778.91	o 1724
811.53/780.06	o 1723
812.73/781.24	o 1722
814.04/782.42	o 1721
815.14/783.58	o 1720
816.34/784.76	o 1719
817.54/785.91	o 1718
818.74/787.10	o 1717
819.94/788.27	o 1716
821.14/789.43	o 1715
822.24/790.54	o 1714
823.43/791.69	o 1713
824.63/792.88	o 1712
825.83/794.02	o 1711
827.15/795.24	o 1710
828.25/796.37	o 1709
829.46/797.55	o 1708
830.56/798.69	o 1707
831.87/799.89	o 1706
833.06/801.05	o 1705
834.26/802.20	o 1704
835.36/803.36	o 1703
836.66/804.55	o 1702
837.86/805.73	o 1701
838.96/806.90	o 1700
840.38/808.14	o 1699
841.48/809.29	o 1698
842.68/810.45	o 1697
843.88/811.62	o 1696
845.19/812.80	o 1695
846.29/813.99	o 1694
847.50/815.16	o 1693
848.70/816.34	o 1692
849.97/817.50	o 1691
851.07/818.67	o 1690
852.27/819.86	o 1689
853.58/821.07	o 1688
854.78/822.20	o 1687
855.88/823.34	o 1686
857.21/824.57	o 1685
858.41/825.70	o 1684
859.51/826.85	o 1683
860.61/827.99	o 1682
862.01/829.20	o 1681
863.11/830.36	o 1680
864.21/831.49	o 1679
865.70/832.71	o 1678
866.80/833.89	o 1677
868.00/835.06	o 1676
869.20/836.21	o 1675
870.51/837.40	o 1674
871.61/838.59	o 1673
872.81/839.77	o 1672
874.01/840.96	o 1671
875.32/842.14	o 1670
876.42/843.27	o 1669
877.52/844.38	o 1668
878.72/845.53	o 1667
879.91/846.67	o 1666
881.11/847.84	o 1665
882.21/848.97	o 1664
883.41/850.14	o 1663
884.74/851.33	o 1662
885.95/852.51	o 1661
887.05/853.70	o 1660
888.25/854.87	o 1659
889.53/856.05	o 1658
890.74/857.20	o 1657
891.84/858.34	o 1656
892.94/859.48	o 1655
894.27/860.66	o 1654
895.47/861.85	o 1653
896.67/863.03	o 1652
897.77/864.17	o 1651
899.07/865.36	o 1650
900.27/866.57	o 1649
901.47/867.73	o 1648
902.67/868.93	o 1647
903.96/870.14	o 1646
905.16/871.35	o 1645
906.36/872.54	o 1644
907.56/873.71	o 1643
908.73/874.89	o 1642
910.03/876.10	o 1641
911.23/877.30	o 1640
912.54/878.50	o 1639
913.64/879.69	o 1638
914.84/880.85	o 1637
916.04/882.00	o 1636
917.33/883.26	o 1635
918.53/884.44	o 1634
919.73/885.61	o 1633
921.06/886.86	o 1632
922.26/888.00	o 1631
923.46/889.21	o 1630
924.89/890.51	o 1629
925.99/891.69	o 1628
927.19/892.89	o 1627
928.49/894.10	o 1626
929.78/895.31	o 1625
930.88/896.49	o 1624
932.08/897.67	o 1623
933.40/898.83	o 1622
934.60/900.01	o 1621
935.80/901.20	o 1620
937.00/902.40	o 1619
938.32/903.62	o 1618
939.42/904.78	o 1617
940.62/905.96	o 1616
942.04/907.20	o 1615
943.14/908.35	o 1614
944.35/909.54	o 1613
945.55/910.75	o 1612
946.91/912.00	o 1611
948.12/913.14	o 1610
949.31/914.35	o 1609
950.41/915.48	o 1608
951.71/916.69	o 1607
952.91/917.85	o 1606
954.11/919.02	o 1605
955.31/920.24	o 1604
956.75/921.55	o 1603
957.85/922.66	o 1602
959.05/923.83	o 1601
960.15/924.97	o 1600
961.46/926.18	o 1599
962.67/927.31	o 1598
963.77/928.46	o 1597
964.97/929.60	o 1596
966.23/930.78	o 1595
967.43/931.98	o 1594
968.63/933.16	o 1593
969.83/934.31	o 1592
971.15/935.57	o 1591
972.35/936.76	o 1590
973.55/937.96	o 1589
974.75/939.14	o 1588
976.14/940.34	o 1587
977.24/941.48	o 1586
978.44/942.66	o 1585
979.65/943.80	o 1584
980.75/945.00	o 1583
982.13/946.21	o 1582
983.23/947.35	o 1581
984.44/948.55	o 1580
985.64/949.75	o 1579
986.99/950.98	o 1578
988.19/952.14	o 1577
989.29/953.28	o 1576
990.49/954.47	o 1575
991.69/955.62	o 1574
992.97/956.81	o 1573
994.07/957.96	o 1572
995.27/959.11	o 1571
996.37/960.30	o 1570
997.68/961.49	o 1569
998.89/962.69	o 1568
1000.08/963.84	o 1567
1001.28/965.04	o 1566
1002.59/966.26	o 1565
1003.79/967.45	o 1564
1004.99/968.61	o 1563
1006.09/969.77	o 1562
1007.44/970.98	o 1561
1008.64/972.18	o 1560
1009.84/973.34	o 1559
1010.94/974.48	o 1558
1012.26/975.66	o 1557
1013.46/976.83	o 1556
1014.56/978.00	o 1555
1015.77/979.19	o 1554
1017.09/980.36	o 1553
1018.19/981.50	o 1552
1019.39/982.69	o 1551
1020.59/983.87	o 1550
1021.92/985.06	o 1549
1023.12/986.22	o 1548
1024.32/987.40	o 1547
1025.42/988.55	o 1546
1026.92/989.80	o 1545
1028.02/990.96	o 1544
1029.22/992.16	o 1543
1030.44/993.35	o 1542
1031.64/994.54	o 1541
1032.92/995.72	o 1540
1034.02/996.85	o 1539
1035.22/998.00	o 1538
1036.32/999.11	o 1537
1037.59/1000.26	o 1536
1038.79/1001.41	o 1535
1039.89/1002.56	o 1534
1041.09/1003.74	o 1533
1042.29/1004.93	o 1532
1043.59/1006.15	o 1531
1044.79/1007.31	o 1530
1045.89/1008.48	o 1529
1047.09/1009.64	o 1528
1048.46/1010.87	o 1527
1049.67/1012.01	o 1526
1050.77/1013.17	o 1525
1051.97/1014.36	o 1524
1053.17/1015.54	o 1523
1054.46/1016.76	o 1522
1055.67/1017.95	o 1521
1056.86/1019.13	o 1520
1058.06/1020.31	o 1519
1059.38/1021.54	o 1518
1060.59/1022.71	o 1517
1061.69/1023.87	o 1516
1062.89/1025.08	o 1515
1064.09/1026.28	o 1514
1065.38/1027.45	o 1513
1066.58/1028.61	o 1512
1067.77/1029.80	o 1511
1068.87/1030.96	o 1510
1070.16/1032.12	o 1509
1071.36/1033.31	o 1508
1072.46/1034.45	o 1507
1073.66/1035.62	o 1506
1074.94/1036.80	o 1505
1076.04/1037.95	o 1504
1077.24/1039.13	o 1503
1078.58/1040.33	o 1502
1079.78/1041.50	o 1501
1080.88/1042.68	o 1500
1082.08/1043.84	o 1499
1083.40/1045.07	o 1498
1084.60/1046.22	o 1497
1085.70/1047.39	o 1496
1086.90/1048.51	o 1495
1088.17/1049.74	o 1494
1089.27/1050.87	o 1493
1090.47/1052.08	o 1492
1091.76/1053.25	o 1491
1092.96/1054.44	o 1490
1094.16/1055.60	o 1489
1095.37/1056.80	o 1488
1096.57/1057.91	o 1487
1097.67/1059.09	o 1486
1099.00/1060.29	o 1485
1100.20/1061.49	o 1484
1101.41/1062.66	o 1483
1102.61/1063.84	o 1482
1103.88/1065.03	o 1481
1104.98/1066.18	o 1480
1106.18/1067.37	o 1479
1107.47/1068.56	o 1478
1108.67/1069.72	o 1477
1109.77/1070.85	o 1476
1111.06/1072.03	o 1475
1112.16/1073.16	o 1474
1113.37/1074.30	o 1473
1114.67/1075.52	o 1472
1115.78/1076.66	o 1471
1116.98/1077.83	o 1470
1118.30/1079.03	o 1469
1119.50/1080.21	o 1468
1120.60/1081.40	o 1467
1122.00/1082.61	o 1466
1123.10/1083.78	o 1465
1124.30/1084.96	o 1464
1125.62/1086.16	o 1463
1126.82/1087.33	o 1462
1128.02/1088.50	o 1461
1129.24/1089.68	o 1460
1130.44/1090.84	o 1459
1131.54/1092.00	o 1458
1132.74/1093.15	o 1457
1134.03/1094.33	o 1456
1135.13/1095.48	o 1455
1136.33/1096.63	o 1454
1137.63/1097.83	o 1453
1138.73/1098.99	o 1452
1139.93/1100.16	o 1451
1141.30/1101.36	o 1450
1142.50/1102.54	o 1449
1143.71/1103.71	o 1448
1144.81/1104.89	o 1447
1146.09/1106.08	o 1446
1147.29/1107.27	o 1445
1148.49/1108.45	o 1444
1149.85/1109.66	o 1443
1151.05/1110.85	o 1442
1152.25/1112.03	o 1441
1153.45/1113.21	o 1440
1154.74/1114.41	o 1439
1155.84/1115.59	o 1438
1157.04/1116.77	o 1437
1158.24/1117.97	o 1436
1159.53/1119.12	o 1435
1160.63/1120.28	o 1434
1161.83/1121.46	o 1433
1163.15/1122.67	o 1432
1164.25/1123.79	o 1431
1165.45/1124.94	o 1430
1166.65/1126.12	o 1429
1168.12/1127.41	o 1428
1169.22/1128.58	o 1427
1170.43/1129.76	o 1426
1171.63/1130.91	o 1425
1172.84/1132.06	o 1424
1173.94/1133.18	o 1423
1175.13/1134.35	o 1422
1176.23/1135.48	o 1421
1177.71/1136.70	o 1420
1178.80/1137.82	o 1419
1179.91/1138.96	o 1418
1181.11/1140.17	o 1417
1182.31/1141.33	o 1416
1183.59/1142.53	o 1415
1184.79/1143.71	o 1414
1185.90/1144.88	o 1413
1187.00/1145.99	o 1412
1188.32/1147.18	o 1411
1189.42/1148.28	o 1410
1190.62/1149.42	o 1409
1191.72/1150.54	o 1408
1192.92/1151.72	o 1407
1194.10/1152.89	o 1406
1195.30/1154.07	o 1405
1196.50/1155.24	o 1404
1197.70/1156.44	o 1403
1198.98/1157.64	o 1402
1200.09/1158.79	o 1401
1201.29/1159.97	o 1400
1202.49/1161.12	o 1399
1203.77/1162.31	o 1398
1204.87/1163.49	o 1397
1206.07/1164.66	o 1396
1207.27/1165.84	o 1395
1208.54/1167.00	o 1394
1209.64/1168.18	o 1393
1210.85/1169.38	o 1392
1212.17/1170.58	o 1391
1213.36/1171.76	o 1390
1214.56/1172.92	o 1389
1215.66/1174.09	o 1388
1216.94/1175.28	o 1387
1218.15/1176.42	o 1386
1219.25/1177.58	o 1385
1220.57/1178.79	o 1384
1221.77/1179.93	o 1383
1222.87/1181.05	o 1382
1223.97/1182.19	o 1381
1225.36/1183.40	o 1380
1226.56/1184.63	o 1379
1227.77/1185.82	o 1378
1228.97/1187.00	o 1377
1230.17/1188.16	o 1376
1231.36/1189.33	o 1375
1232.56/1190.50	o 1374
1233.76/1191.68	o 1373
1234.96/1192.85	o 1372
1236.25/1194.04	o 1371
1237.35/1195.17	o 1370
1238.55/1196.33	o 1369
1239.84/1197.53	o 1368
1241.04/1198.70	o 1367
1242.37/1199.93	o 1366
1243.57/1201.16	o 1365
1244.78/1202.34	o 1364
1246.86/1203.76	o 1363
1248.06/1204.99	o 1362
1249.27/1206.18	o 1361
1250.69/1207.40	o 1360
1251.79/1208.55	o 1359
1252.99/1209.70	o 1358
1254.39/1210.94	o 1357
1255.59/1212.11	o 1356
1256.69/1213.29	o 1355
1257.90/1214.45	o 1354
1259.19/1215.64	o 1353
1260.38/1216.80	o 1352
1261.48/1217.95	o 1351
1262.83/1219.18	o 1350
1264.03/1220.32	o 1349
1265.13/1221.49	o 1348
1266.47/1222.67	o 1347
1267.67/1223.84	o 1346
1268.77/1224.99	o 1345
1269.87/1226.08	o 1344
1271.29/1227.29	o 1343
1272.49/1228.47	o 1342
1273.69/1229.63	o 1341
1274.89/1230.80	o 1340
1276.21/1232.01	o 1339
1277.31/1233.19	o 1338
1278.51/1234.37	o 1337
1279.70/1235.53	o 1336
1281.05/1236.76	o 1335
1282.25/1237.92	o 1334
1283.35/1239.07	o 1333
1284.55/1240.30	o 1332
1285.87/1241.48	o 1331
1287.07/1242.63	o 1330
1288.27/1243.81	o 1329
1289.37/1244.99	o 1328
1290.72/1246.19	o 1327
1291.92/1247.35	o 1326
1293.13/1248.52	o 1325
1294.23/1249.68	o 1324
1295.54/1250.89	o 1323
1296.73/1252.05	o 1322
1297.93/1253.21	o 1321
1299.04/1254.37	o 1320
1300.54/1255.60	o 1319
1301.64/1256.75	o 1318
1302.84/1257.92	o 1317
1304.04/1259.12	o 1316
1305.14/1260.29	o 1315
1306.45/1261.44	o 1314
1307.55/1262.58	o 1313
1308.75/1263.77	o 1312
1309.95/1264.97	o 1311
1311.48/1266.21	o 1310
1312.68/1267.41	o 1309
1313.78/1268.57	o 1308
1314.98/1269.75	o 1307
1316.18/1270.90	o 1306
1317.52/1272.12	o 1305
1318.62/1273.28	o 1304
1319.82/1274.44	o 1303
1320.92/1275.57	o 1302
1322.12/1276.75	o 1301
1323.59/1278.01	o 1300
1324.81/1279.20	o 1299
1325.91/1280.40	o 1298
1327.12/1281.58	o 1297
1328.32/1282.73	o 1296
1329.62/1283.91	o 1295
1330.72/1285.08	o 1294
1331.92/1286.24	o 1293
1333.12/1287.40	o 1292
1334.22/1288.57	o 1291
1335.60/1289.78	o 1290
1336.80/1290.95	o 1289
1337.90/1292.09	o 1288
1339.10/1293.25	o 1287
1340.30/1294.42	o 1286
1341.69/1295.62	o 1285
1342.79/1296.79	o 1284
1343.99/1297.95	o 1283
1345.09/1299.09	o 1282
1346.29/1300.23	o 1281
1347.39/1301.33	o 1280
1348.82/1302.57	o 1279
1350.01/1303.73	o 1278
1351.21/1304.90	o 1277
1352.42/1306.10	o 1276
1353.51/1307.26	o 1275
1354.72/1308.42	o 1274
1356.05/1309.62	o 1273
1357.15/1310.79	o 1272
1358.35/1311.97	o 1271
1359.56/1313.14	o 1270
1360.76/1314.32	o 1269
1361.86/1315.45	o 1268
1363.23/1316.67	o 1267
1364.43/1317.84	o 1266
1365.63/1319.02	o 1265
1366.83/1320.21	o 1264
1368.03/1321.41	o 1263
1369.13/1322.57	o 1262
1370.44/1323.76	o 1261
1371.64/1324.96	o 1260
1372.84/1326.14	o 1259
1373.94/1327.27	o 1258
1375.14/1328.43	o 1257
1376.24/1329.59	o 1256
1377.73/1330.81	o 1255
1378.83/1331.96	o 1254
1380.04/1333.13	o 1253
1381.14/1334.28	o 1252
1382.35/1335.44	o 1251
1383.45/1336.60	o 1250
1384.92/1337.84	o 1249
1386.02/1338.99	o 1248
1387.22/1340.13	o 1247
1388.32/1341.27	o 1246
1389.52/1342.43	o 1245
1390.72/1343.61	o 1244
1391.83/1344.76	o 1243
1393.32/1346.00	o 1242
1394.42/1347.17	o 1241
1395.62/1348.34	o 1240
1396.82/1349.50	o 1239
1397.92/1350.67	o 1238
1399.12/1351.83	o 1237
1400.22/1352.98	o 1236
1401.64/1354.21	o 1235
1402.74/1355.36	o 1234
1403.95/1356.50	o 1233
1405.05/1357.66	o 1232
1406.25/1358.80	o 1231
1407.35/1359.95	o 1230
1408.55/1361.11	o 1229
1409.94/1362.31	o 1228
1411.04/1363.48	o 1227
1412.25/1364.65	o 1226
1413.35/1365.77	o 1225
1414.55/1366.94	o 1224
1415.65/1368.07	o 1223
1416.85/1369.24	o 1222
1418.24/1370.41	o 1221
1419.34/1371.59	o 1220
1420.54/1372.70	o 1219
1421.64/1373.82	o 1218
1422.74/1374.96	o 1217
1423.84/1376.05	o 1216
1425.04/1377.21	o 1215
1426.14/1378.37	o 1214
1427.56/1379.59	o 1213
1428.75/1380.73	o 1212
1429.95/1381.92	o 1211
1431.07/1383.07	o 1210
1432.27/1384.21	o 1209
1433.37/1385.35	o 1208
1434.47/1386.49	o 1207
1435.67/1387.64	o 1206
1437.01/1388.88	o 1205
1438.21/1390.03	o 1204
1439.41/1391.21	o 1203
1440.51/1392.33	o 1202
1441.61/1393.49	o 1201
1442.81/1394.67	o 1200
1444.01/1395.82	o 1199
1445.47/1397.08	o 1198
1446.67/1398.27	o 1197
1447.87/1399.45	o 1196
1449.07/1400.62	o 1195
1450.27/1401.83	o 1194
1451.47/1403.00	o 1193
1452.57/1404.18	o 1192
1453.77/1405.34	o 1191
1455.15/1406.56	o 1190
1456.35/1407.74	o 1189
1457.55/1408.91	o 1188
1458.65/1410.08	o 1187
1459.85/1411.29	o 1186
1461.07/1412.45	o 1185
1462.27/1413.64	o 1184
1463.46/1414.80	o 1183
1464.90/1416.05	o 1182
1466.11/1417.20	o 1181
1467.20/1418.36	o 1180
1468.40/1419.52	o 1179
1469.60/1420.71	o 1178
1470.80/1421.90	o 1177
1471.90/1423.09	o 1176
1473.10/1424.25	o 1175
1474.30/1425.42	o 1174
1475.64/1426.65	o 1173
1476.74/1427.78	o 1172
1477.95/1428.93	o 1171
1479.05/1430.08	o 1170
1480.25/1431.24	o 1169
1481.44/1432.42	o 1168
1482.54/1433.57	o 1167
1483.74/1434.72	o 1166
1485.18/1435.95	o 1165
1486.28/1437.09	o 1164
1487.58/1438.30	o 1163
1488.68/1439.44	o 1162
1489.88/1440.62	o 1161
1490.98/1441.78	o 1160
1492.18/1442.91	o 1159
1493.28/1444.04	o 1158
1494.48/1445.24	o 1157
1495.86/1446.44	o 1156
1496.96/1447.60	o 1155
1498.27/1448.81	o 1154
1499.37/1449.94	o 1153
1500.47/1451.07	o 1152
1501.66/1452.22	o 1151
1502.76/1453.37	o 1150
1503.96/1454.54	o 1149
1505.07/1455.67	o 1148
1506.55/1456.90	o 1147
1507.65/1458.07	o 1146
1508.85/1459.23	o 1145
1510.05/1460.40	o 1144
1511.15/1461.56	o 1143
1512.35/1462.75	o 1142
1513.55/1463.90	o 1141
1514.75/1465.10	o 1140
1515.85/1466.30	o 1139
1517.06/1467.47	o 1138
1518.48/1468.72	o 1137
1519.58/1469.88	o 1136
1520.79/1471.03	o 1135
1521.99/1472.21	o 1134
1523.09/1473.37	o 1133
1524.29/1474.52	o 1132
1525.39/1475.67	o 1131
1526.59/1476.83	o 1130
1527.79/1478.00	o 1129
1529.21/1479.25	o 1128
1530.40/1480.41	o 1127
1531.50/1481.56	o 1126
1532.60/1482.68	o 1125
1533.80/1483.85	o 1124
1535.01/1485.03	o 1123
1536.11/1486.15	o 1122
1537.31/1487.33	o 1121
1538.42/1488.46	o 1120
1539.62/1489.64	o 1119
1540.97/1490.84	o 1118
1542.17/1492.02	o 1117
1543.27/1493.19	o 1116
1544.47/1494.32	o 1115
1545.57/1495.47	o 1114
1546.77/1496.62	o 1113
1547.87/1497.76	o 1112
1548.97/1498.89	o 1111
1550.17/1500.07	o 1110
1551.38/1501.26	o 1109
1552.87/1502.50	o 1108
1553.97/1503.68	o 1107
1555.18/1504.86	o 1106
1556.38/1506.04	o 1105
1557.48/1507.18	o 1104
1558.68/1508.37	o 1103
1559.88/1509.52	o 1102
1560.98/1510.68	o 1101
1562.18/1511.80	o 1100
1563.29/1512.97	o 1099
1564.74/1514.20	o 1098
1565.84/1515.39	o 1097
1567.04/1516.59	o 1096
1568.24/1517.75	o 1095
1569.44/1518.92	o 1094
1570.55/1520.05	o 1093
1571.75/1521.20	o 1092
1572.85/1522.33	o 1091
1573.95/1523.45	o 1090
1575.15/1524.60	o 1089
1576.63/1525.82	o 1088
1577.72/1526.98	o 1087
1578.92/1528.12	o 1086
1580.12/1529.30	o 1085
1581.22/1530.48	o 1084
1582.42/1531.68	o 1083
1583.62/1532.84	o 1082
1584.82/1534.00	o 1081
1585.92/1535.14	o 1080
1587.12/1536.32	o 1079
1588.22/1537.48	o 1078
1589.70/1538.71	o 1077
1590.80/1539.86	o 1076
1592.00/1541.05	o 1075
1593.10/1542.18	o 1074
1594.31/1543.37	o 1073
1595.51/1544.55	o 1072
1596.70/1545.73	o 1071
1597.80/1546.89	o 1070
1599.00/1548.06	o 1069
1600.10/1549.20	o 1068
1601.31/1550.35	o 1067
1602.71/1551.57	o 1066
1603.91/1552.71	o 1065
1605.01/1553.86	o 1064
1606.21/1555.03	o 1063
1607.31/1556.16	o 1062
1608.51/1557.32	o 1061
1609.61/1558.48	o 1060
1610.81/1559.64	o 1059
1612.01/1560.83	o 1058
1613.11/1561.99	o 1057
1614.32/1563.14	o 1056
1615.66/1564.39	o 1055
1616.86/1565.59	o 1054
1618.06/1566.72	o 1053
1619.16/1567.87	o 1052
1620.36/1569.03	o 1051
1621.56/1570.21	o 1050
1622.66/1571.38	o 1049
1623.86/1572.52	o 1048
1625.06/1573.72	o 1047
1626.17/1574.87	o 1046
1627.37/1576.04	o 1045
1628.79/1577.26	o 1044
1629.99/1578.42	o 1043
1631.08/1579.56	o 1042
1632.29/1580.75	o 1041
1633.49/1581.90	o 1040
1634.59/1583.04	o 1039
1635.80/1584.20	o 1038
1637.00/1585.40	o 1037
1638.10/1586.57	o 1036
1639.30/1587.76	o 1035
1640.50/1588.92	o 1034
1641.92/1590.17	o 1033
1643.12/1591.33	o 1032
1644.32/1592.51	o 1031
1645.42/1593.68	o 1030
1646.62/1594.81	o 1029
1647.72/1595.96	o 1028
1648.92/1597.13	o 1027
1650.02/1598.25	o 1026
1651.23/1599.43	o 1025
1652.33/1600.58	o 1024
1653.44/1601.70	o 1023
1654.64/1602.86	o 1022
1656.20/1604.12	o 1021
1657.30/1605.29	o 1020
1658.50/1606.47	o 1019
1659.70/1607.62	o 1018
1660.80/1608.78	o 1017
1662.00/1609.94	o 1016
1663.20/1611.13	o 1015
1664.40/1612.30	o 1014
1665.50/1613.48	o 1013
1666.70/1614.66	o 1012
1667.90/1615.81	o 1011
1669.00/1616.96	o 1010
1670.43/1618.20	o 1009
1671.63/1619.37	o 1008
1672.82/1620.54	o 1007
1674.02/1621.73	o 1006
1675.22/1622.90	o 1005
1676.32/1624.03	o 1004
1677.42/1625.16	o 1003
1678.63/1626.32	o 1002
1679.73/1627.47	o 1001
1680.93/1628.63	o 1000
1682.13/1629.82	o 999
1683.23/1630.98	o 998
1684.68/1632.19	o 997
1685.88/1633.33	o 996
1686.98/1634.49	o 995
1688.18/1635.67	o 994
1689.39/1636.85	o 993
1690.49/1637.99	o 992
1691.69/1639.16	o 991
1692.88/1640.33	o 990
1693.98/1641.47	o 989
1695.18/1642.62	o 988
1696.28/1643.75	o 987
1697.48/1644.93	o 986
1698.59/1646.08	o 985
1700.06/1647.31	o 984
1701.16/1648.45	o 983
1702.26/1649.59	o 982
1703.46/1650.73	o 981
1704.56/1651.88	o 980
1705.76/1653.06	o 979
1706.87/1654.19	o 978
1708.07/1655.35	o 977
1709.27/1656.52	o 976
1710.37/1657.68	o 975
1711.57/1658.88	o 974
1712.77/1660.05	o 973
1714.34/1661.32	o 972
1715.44/1662.49	o 971
1716.64/1663.64	o 970
1717.84/1664.80	o 969
1718.94/1665.98	o 968
1720.14/1667.14	o 967
1721.34/1668.32	o 966
1722.44/1669.49	o 965
1723.64/1670.63	o 964
1724.74/1671.75	o 963
1725.94/1672.92	o 962
1727.04/1674.05	o 961
1728.16/1675.11	o 960
1729.26/1676.26	o 959
1730.74/1677.51	o 958
1731.84/1678.68	o 957
1733.04/1679.88	o 956
1734.24/1681.08	o 955
1735.44/1682.24	o 954
1736.64/1683.43	o 953
1737.74/1684.58	o 952
1738.94/1685.72	o 951
1740.04/1686.87	o 950
1741.24/1688.05	o 949
1742.34/1689.18	o 948
1743.54/1690.30	o 947
1744.74/1691.51	o 946
1746.17/1692.76	o 945
1747.37/1693.90	o 944
1748.47/1695.10	o 943
1749.68/1696.22	o 942
1750.88/1697.42	o 941
1752.07/1698.60	o 940
1753.17/1699.76	o 939
1754.37/1700.92	o 938
1755.47/1702.04	o 937
1756.57/1703.19	o 936
1757.77/1704.35	o 935
1758.98/1705.52	o 934
1760.18/1706.74	o 933
1761.58/1707.98	o 932
1762.78/1709.15	o 931
1763.98/1710.32	o 930
1765.18/1711.52	o 929
1766.39/1712.71	o 928
1767.49/1713.88	o 927
1768.70/1715.04	o 926
1769.79/1716.17	o 925
1770.99/1717.34	o 924
1772.09/1718.48	o 923
1773.29/1719.67	o 922
1774.49/1720.86	o 921
1775.69/1722.03	o 920
1776.79/1723.19	o 919
1778.26/1724.40	o 918
1779.35/1725.56	o 917
1780.56/1726.71	o 916
1781.66/1727.86	o 915
1782.86/1729.02	o 914
1783.96/1730.19	o 913
1785.16/1731.35	o 912
1786.36/1732.52	o 911
1787.46/1733.70	o 910
1788.66/1734.83	o 909
1789.76/1735.99	o 908
1790.96/1737.14	o 907
1792.16/1738.31	o 906
1793.56/1739.54	o 905
1794.77/1740.70	o 904
1795.86/1741.89	o 903
1797.07/1743.05	o 902
1798.27/1744.23	o 901
1799.37/1745.36	o 900
1800.57/1746.52	o 899
1801.77/1747.70	o 898
1802.87/1748.85	o 897
1803.97/1749.96	o 896
1805.17/1751.16	o 895
1806.27/1752.30	o 894
1807.48/1753.46	o 893
1808.69/1754.63	o 892
1810.08/1755.87	o 891
1811.28/1757.05	o 890
1812.48/1758.21	o 889
1813.58/1759.38	o 888
1814.78/1760.57	o 887
1815.98/1761.72	o 886
1817.08/1762.89	o 885
1818.28/1764.01	o 884
1819.38/1765.19	o 883
1820.58/1766.32	o 882
1821.78/1767.50	o 881
1822.88/1768.65	o 880
1824.08/1769.80	o 879
1825.29/1771.01	o 878
1826.67/1772.29	o 877
1827.86/1773.48	o 876
1829.06/1774.67	o 875
1830.26/1775.81	o 874
1831.46/1777.03	o 873
1832.67/1778.26	o 872
1833.86/1779.44	o 871
1835.06/1780.61	o 870
1836.16/1781.76	o 869
1837.36/1782.94	o 868
1838.57/1784.12	o 867
1839.66/1785.30	o 866
1840.87/1786.49	o 865
1842.36/1787.70	o 864
1843.56/1788.90	o 863
1844.66/1790.08	o 862
1845.96/1791.30	o 861
1847.06/1792.48	o 860
1848.26/1793.64	o 859
1849.46/1794.85	o 858
1850.77/1796.10	o 857
1851.87/1797.26	o 856
1853.07/1798.46	o 855
1854.27/1799.65	o 854
1855.47/1800.81	o 853
1856.57/1801.98	o 852
1857.77/1803.18	o 851
1859.23/1804.41	o 850
1860.33/1805.58	o 849
1861.63/1806.83	o 848
1862.73/1807.99	o 847
1863.93/1809.18	o 846
1865.14/1810.36	o 845
1866.34/1811.51	o 844
1867.44/1812.67	o 843
1868.64/1813.89	o 842
1869.84/1815.05	o 841
1871.05/1816.21	o 840
1872.15/1817.37	o 839
1873.44/1818.60	o 838
1874.85/1819.88	o 837
1876.05/1821.06	o 836
1877.25/1822.24	o 835
1878.35/1823.36	o 834
1879.45/1824.47	o 833
1880.55/1825.56	o 832
1881.75/1826.76	o 831
1882.95/1827.94	o 830
1884.05/1829.07	o 829
1885.25/1830.21	o 828
1886.35/1831.36	o 827
1887.55/1832.53	o 826
1888.76/1833.72	o 825
1889.86/1834.88	o 824
1891.35/1836.12	o 823
1892.45/1837.26	o 822
1893.65/1838.42	o 821
1894.75/1839.56	o 820
1895.95/1840.71	o 819
1897.05/1841.85	o 818
1898.25/1843.01	o 817
1899.35/1844.16	o 816
1900.55/1845.33	o 815
1901.65/1846.46	o 814
1902.85/1847.63	o 813
1904.06/1848.81	o 812
1905.16/1849.94	o 811
1906.27/1851.09	o 810
1907.74/1852.31	o 809
1908.84/1853.50	o 808
1910.04/1854.64	o 807
1911.25/1855.81	o 806
1912.35/1856.99	o 805
1913.54/1858.17	o 804
1914.74/1859.33	o 803
1915.84/1860.49	o 802
1917.04/1861.65	o 801
1918.24/1862.81	o 800
1919.34/1863.98	o 799
1920.54/1865.15	o 798
1921.74/1866.31	o 797
1923.15/1867.59	o 796
1924.35/1868.72	o 795
1925.45/1869.86	o 794
1926.65/1871.00	o 793
1927.75/1872.14	o 792
1928.96/1873.33	o 791
1930.06/1874.50	o 790
1931.26/1875.65	o 789
1932.36/1876.79	o 788
1933.55/1877.95	o 787
1934.65/1879.09	o 786
1935.85/1880.28	o 785
1937.05/1881.45	o 784
1938.15/1882.57	o 783
1939.55/1883.79	o 782
1940.75/1884.94	o 781
1941.95/1886.12	o 780
1943.05/1887.25	o 779
1944.25/1888.42	o 778
1945.35/1889.58	o 777
1946.55/1890.77	o 776
1947.75/1891.95	o 775
1948.85/1893.09	o 774
1950.06/1894.25	o 773
1951.16/1895.39	o 772
1952.36/1896.52	o 771
1953.46/1897.69	o 770
1954.65/1898.86	o 769
1956.03/1900.05	o 768
1957.24/1901.20	o 767
1958.34/1902.36	o 766
1959.54/1903.54	o 765
1960.74/1904.70	o 764
1961.84/1905.84	o 763
1962.94/1906.99	o 762
1964.14/1908.14	o 761
1965.24/1909.28	o 760
1966.44/1910.41	o 759
1967.54/1911.58	o 758
1968.74/1912.77	o 757
1969.94/1913.92	o 756
1971.04/1915.09	o 755
1972.40/1916.28	o 754
1973.61/1917.46	o 753
1974.80/1918.63	o 752
1975.90/1919.78	o 751
1977.10/1920.95	o 750
1978.30/1922.14	o 749
1979.50/1923.35	o 748
1980.70/1924.52	o 747
1981.90/1925.70	o 746
1983.00/1926.88	o 745
1984.20/1928.02	o 744
1985.30/1929.20	o 743
1986.50/1930.36	o 742
1987.89/1931.58	o 741
1989.09/1932.78	o 740
1990.30/1933.92	o 739
1991.41/1935.09	o 738
1992.60/1936.24	o 737
1993.70/1937.34	o 736
1994.80/1938.50	o 735
1996.00/1939.68	o 734
1997.20/1940.86	o 733
1998.40/1942.00	o 732
1999.60/1943.20	o 731
2000.80/1944.40	o 730
2001.90/1945.52	o 729
2003.00/1946.67	o 728
2004.37/1947.90	o 727
2005.57/1949.03	o 726
2006.67/1950.18	o 725
2007.87/1951.37	o 724
2009.07/1952.54	o 723
2010.17/1953.69	o 722
2011.37/1954.83	o 721
2012.57/1956.01	o 720
2013.67/1957.15	o 719
2014.87/1958.35	o 718
2016.07/1959.51	o 717
2017.17/1960.66	o 716
2018.37/1961.82	o 715
2019.78/1963.06	o 714
2020.98/1964.21	o 713
2022.08/1965.36	o 712
2023.28/1966.52	o 711
2024.38/1967.68	o 710
2025.58/1968.86	o 709
2026.68/1969.96	o 708
2027.88/1971.12	o 707
2028.98/1972.25	o 706
2030.19/1973.43	o 705
2031.29/1974.54	o 704
2032.49/1975.72	o 703
2033.59/1976.87	o 702
2034.78/1978.04	o 701
2036.18/1979.27	o 700
2037.39/1980.43	o 699
2038.48/1981.54	o 698
2039.69/1982.73	o 697
2040.79/1983.89	o 696
2041.99/1985.05	o 695
2043.19/1986.21	o 694
2044.29/1987.37	o 693
2045.50/1988.52	o 692
2046.60/1989.68	o 691
2047.80/1990.83	o 690
2048.90/1991.99	o 689
2050.10/1993.15	o 688
2051.30/1994.33	o 687
2052.69/1995.54	o 686
2053.79/1996.69	o 685
2054.98/1997.86	o 684
2056.18/1999.01	o 683
2057.28/2000.18	o 682
2058.49/2001.33	o 681
2059.58/2002.47	o 680
2060.79/2003.64	o 679
2061.99/2004.82	o 678
2063.14/2005.97	o 677
2064.34/2007.15	o 676
2065.54/2008.33	o 675
2066.74/2009.51	o 674
2068.04/2010.72	o 673
2069.20/2011.88	o 672
2070.40/2013.04	o 671
2071.60/2014.22	o 670
2072.70/2015.38	o 669
2073.90/2016.57	o 668
2075.10/2017.72	o 667
2076.21/2018.87	o 666
2077.41/2020.02	o 665
2078.51/2021.17	o 664
2079.61/2022.29	o 663
2080.81/2023.46	o 662
2081.91/2024.59	o 661
2083.11/2025.74	o 660
2084.51/2026.97	o 659
2085.70/2028.10	o 658
2086.80/2029.24	o 657
2088.00/2030.42	o 656
2089.10/2031.56	o 655
2090.30/2032.77	o 654
2091.51/2033.91	o 653
2092.71/2035.10	o 652
2093.81/2036.29	o 651
2095.00/2037.47	o 650
2096.20/2038.61	o 649
2097.30/2039.76	o 648
2098.51/2040.90	o 647
2099.61/2042.05	o 646
2101.00/2043.27	o 645
2102.20/2044.43	o 644
2103.30/2045.56	o 643
2104.50/2046.70	o 642
2105.60/2047.80	o 641
2106.71/2048.91	o 640
2107.81/2050.08	o 639
2109.00/2051.23	o 638
2110.20/2052.40	o 637
2111.30/2053.56	o 636
2112.50/2054.73	o 635
2113.71/2055.91	o 634
2114.81/2057.08	o 633
2116.01/2058.24	o 632
2117.40/2059.44	o 631
2118.60/2060.63	o 630
2119.70/2061.78	o 629
2120.90/2062.92	o 628
2122.00/2064.07	o 627
2123.21/2065.22	o 626
2124.31/2066.38	o 625
2125.52/2067.55	o 624
2126.62/2068.68	o 623
2127.82/2069.85	o 622
2129.02/2071.05	o 621
2130.22/2072.23	o 620
2131.31/2073.38	o 619
2132.51/2074.55	o 618
2133.90/2075.75	o 617
2135.10/2076.91	o 616
2136.20/2078.07	o 615
2137.40/2079.28	o 614
2138.60/2080.44	o 613
2139.80/2081.62	o 612
2140.90/2082.77	o 611
2142.10/2083.93	o 610
2143.20/2085.09	o 609
2144.40/2086.26	o 608
2145.60/2087.45	o 607
2146.80/2088.61	o 606
2147.90/2089.77	o 605
2149.34/2091.01	o 604
2150.45/2092.16	o 603
2151.66/2093.32	o 602
2152.76/2094.49	o 601
2153.96/2095.64	o 600
2155.16/2096.81	o 599
2156.26/2097.97	o 598
2157.46/2099.15	o 597
2158.66/2100.33	o 596
2159.76/2101.48	o 595
2160.96/2102.63	o 594
2162.06/2103.77	o 593
2163.26/2104.92	o 592
2164.36/2106.06	o 591
2165.76/2107.27	o 590
2166.96/2108.43	o 589
2168.06/2109.58	o 588
2169.26/2110.72	o 587
2170.36/2111.89	o 586
2171.56/2113.05	o 585
2172.66/2114.19	o 584
2173.87/2115.33	o 583
2174.97/2116.49	o 582
2176.17/2117.64	o 581
2177.37/2118.81	o 580
2178.47/2119.93	o 579
2179.57/2121.08	o 578
2180.77/2122.26	o 577
2182.17/2123.47	o 576
2183.38/2124.63	o 575
2184.59/2125.80	o 574
2185.69/2126.98	o 573
2186.89/2128.12	o 572
2187.99/2129.28	o 571
2189.20/2130.42	o 570
2190.30/2131.55	o 569
2191.50/2132.76	o 568
2192.70/2133.94	o 567
2193.80/2135.07	o 566
2195.01/2136.27	o 565
2196.21/2137.43	o 564
2197.31/2138.56	o 563
2198.78/2139.80	o 562
2199.88/2140.98	o 561
2201.08/2142.12	o 560
2202.19/2143.28	o 559
2203.39/2144.41	o 558
2204.49/2145.59	o 557
2205.69/2146.76	o 556
2206.89/2147.90	o 555
2207.99/2149.09	o 554
2209.19/2150.24	o 553
2210.29/2151.37	o 552
2211.49/2152.57	o 551
2212.59/2153.69	o 550
2213.79/2154.86	o 549
2215.16/2156.06	o 548
2216.36/2157.23	o 547
2217.55/2158.40	o 546
2218.65/2159.57	o 545
2219.85/2160.74	o 544
2220.95/2161.88	o 543
2222.15/2163.02	o 542
2223.25/2164.18	o 541
2224.45/2165.34	o 540
2225.65/2166.52	o 539
2226.85/2167.70	o 538
2227.95/2168.88	o 537
2229.16/2170.03	o 536
2230.55/2171.28	o 535
2231.75/2172.44	o 534
2232.85/2173.56	o 533
2233.95/2174.70	o 532
2235.16/2175.84	o 531
2236.36/2177.02	o 530
2237.46/2178.14	o 529
2238.65/2179.31	o 528
2239.75/2180.45	o 527
2240.95/2181.62	o 526
2242.05/2182.79	o 525
2243.25/2183.96	o 524
2244.46/2185.12	o 523
2245.56/2186.29	o 522
2247.05/2187.50	o 521
2248.15/2188.67	o 520
2249.35/2189.84	o 519
2250.55/2191.02	o 518
2251.65/2192.17	o 517
2252.85/2193.33	o 516
2253.95/2194.48	o 515
2255.16/2195.64	o 514
2256.26/2196.80	o 513
2257.46/2197.93	o 512
2258.66/2199.10	o 511
2259.75/2200.24	o 510
2260.86/2201.39	o 509
2262.06/2202.54	o 508
2263.45/2203.78	o 507
2264.65/2204.96	o 506
2265.85/2206.14	o 505
2267.05/2207.32	o 504
2268.15/2208.49	o 503
2269.35/2209.64	o 502
2270.55/2210.80	o 501
2271.66/2211.94	o 500
2272.86/2213.11	o 499
2273.96/2214.25	o 498
2275.17/2215.40	o 497
2276.27/2216.55	o 496
2277.47/2217.72	o 495
2278.57/2218.89	o 494
2280.04/2220.10	o 493
2281.14/2221.26	o 492
2282.34/2222.45	o 491
2283.55/2223.61	o 490
2284.65/2224.76	o 489
2285.85/2225.91	o 488
2286.95/2227.05	o 487
2288.15/2228.20	o 486
2289.25/2229.37	o 485
2290.45/2230.54	o 484
2291.55/2231.66	o 483
2292.75/2232.81	o 482
2293.85/2233.95	o 481
2295.05/2235.11	o 480
2296.42/2236.31	o 479
2297.52/2237.41	o 478
2298.62/2238.53	o 477
2299.82/2239.71	o 476
2300.92/2240.89	o 475
2302.12/2242.04	o 474
2303.22/2243.18	o 473
2304.42/2244.30	o 472
2305.52/2245.47	o 471
2306.72/2246.67	o 470
2307.92/2247.81	o 469
2309.12/2249.00	o 468
2310.22/2250.17	o 467
2311.42/2251.32	o 466
2312.77/2252.51	o 465
2313.90/2253.67	o 464
2315.10/2254.83	o 463
2316.20/2255.98	o 462
2317.40/2257.12	o 461
2318.50/2258.29	o 460
2319.60/2259.39	o 459
2320.81/2260.55	o 458
2322.01/2261.71	o 457
2323.11/2262.88	o 456
2324.30/2264.05	o 455
2325.40/2265.19	o 454
2326.60/2266.36	o 453
2327.80/2267.57	o 452
2329.17/2268.73	o 451
2330.27/2269.86	o 450
2331.37/2270.99	o 449
2332.57/2272.11	o 448
2333.77/2273.30	o 447
2334.87/2274.49	o 446
2336.07/2275.63	o 445
2337.17/2276.74	o 444
2338.37/2277.90	o 443
2339.47/2279.06	o 442
2340.57/2280.18	o 441
2341.77/2281.36	o 440
2342.98/2282.50	o 439
2344.08/2283.65	o 438
2345.44/2284.87	o 437
2346.63/2286.03	o 436
2347.73/2287.19	o 435
2348.93/2288.36	o 434
2350.13/2289.53	o 433
2351.33/2290.73	o 432
2352.43/2291.87	o 431
2353.63/2293.06	o 430
2354.83/2294.25	o 429
2356.03/2295.44	o 428
2357.23/2296.62	o 427
2358.33/2297.77	o 426
2359.53/2298.97	o 425
2360.94/2300.19	o 424
2362.14/2301.35	o 423
2363.24/2302.48	o 422
2364.34/2303.59	o 421
2365.53/2304.76	o 420
2366.73/2305.94	o 419
2367.93/2307.11	o 418
2369.03/2308.27	o 417
2370.24/2309.42	o 416
2371.44/2310.60	o 415
2372.54/2311.78	o 414
2373.74/2312.94	o 413
2374.84/2314.07	o 412
2376.04/2315.23	o 411
2377.41/2316.45	o 410
2378.61/2317.61	o 409
2379.71/2318.78	o 408
2380.92/2319.95	o 407
2382.12/2321.12	o 406
2383.31/2322.30	o 405
2384.41/2323.48	o 404
2385.61/2324.65	o 403
2386.82/2325.83	o 402
2387.92/2327.00	o 401
2389.12/2328.16	o 400
2390.32/2329.34	o 399
2391.52/2330.52	o 398
2392.72/2331.70	o 397
2394.08/2332.93	o 396
2395.18/2334.09	o 395
2396.38/2335.25	o 394
2397.58/2336.43	o 393
2398.68/2337.56	o 392
2399.78/2338.70	o 391
2400.99/2339.84	o 390
2402.18/2341.00	o 389
2403.28/2342.16	o 388
2404.48/2343.31	o 387
2405.58/2344.45	o 386
2406.68/2345.58	o 385
2407.88/2346.72	o 384
2408.98/2347.86	o 383
2410.45/2349.10	o 382
2411.55/2350.27	o 381
2412.76/2351.47	o 380
2413.96/2352.62	o 379
2415.06/2353.78	o 378
2416.26/2354.92	o 377
2417.36/2356.05	o 376
2418.56/2357.21	o 375
2419.66/2358.34	o 374
2420.87/2359.51	o 373
2421.97/2360.66	o 372
2423.17/2361.81	o 371
2424.27/2362.96	o 370
2425.46/2364.10	o 369
2426.73/2365.29	o 368
2427.92/2366.42	o 367
2429.12/2367.63	o 366
2430.33/2368.81	o 365
2431.43/2369.95	o 364
2432.63/2371.12	o 363
2433.73/2372.23	o 362
2434.93/2373.40	o 361
2436.03/2374.56	o 360
2437.23/2375.71	o 359
2438.33/2376.85	o 358
2439.43/2377.98	o 357
2440.63/2379.12	o 356
2441.93/2380.35	o 355
2443.20/2381.52	o 354
2444.30/2382.66	o 353
2445.40/2383.80	o 352
2446.60/2384.96	o 351
2447.70/2386.09	o 350
2448.89/2387.26	o 349
2450.10/2388.40	o 348
2451.20/2389.57	o 347
2452.40/2390.76	o 346
2453.61/2391.90	o 345
2454.71/2393.05	o 344
2455.91/2394.20	o 343
2457.01/2395.37	o 342
2458.50/2396.61	o 341
2459.60/2397.78	o 340
2460.80/2398.94	o 339
2461.91/2400.07	o 338
2463.11/2401.23	o 337
2464.31/2402.40	o 336
2465.41/2403.56	o 335
2466.61/2404.71	o 334
2467.71/2405.84	o 333
2468.81/2406.96	o 332
2470.01/2408.13	o 331
2471.11/2409.26	o 330
2472.31/2410.40	o 329
2473.41/2411.54	o 328
2474.81/2412.73	o 327
2475.91/2413.89	o 326
2477.11/2415.04	o 325
2478.31/2416.20	o 324
2479.41/2417.36	o 323
2480.51/2418.47	o 322
2481.71/2419.61	o 321
2482.81/2420.74	o 320
2483.91/2421.89	o 319
2485.11/2423.06	o 318
2486.21/2424.19	o 317
2487.41/2425.35	o 316
2488.51/2426.49	o 315
2489.71/2427.64	o 314
2490.81/2428.75	o 313
2492.18/2429.99	o 312
2493.38/2431.16	o 311
2494.58/2432.31	o 310
2495.68/2433.46	o 309
2496.88/2434.60	o 308
2497.98/2435.73	o 307
2499.08/2436.84	o 306
2500.18/2437.97	o 305
2501.39/2439.11	o 304
2502.49/2440.26	o 303
2503.59/2441.38	o 302
2504.79/2442.51	o 301
2505.89/2443.63	o 300
2507.09/2444.81	o 299
2508.45/2446.01	o 298
2509.56/2447.18	o 297
2510.78/2448.33	o 296
2511.88/2449.47	o 295
2513.08/2450.62	o 294
2514.18/2451.77	o 293
2515.38/2452.91	o 292
2516.48/2454.08	o 291
2517.68/2455.22	o 290
2518.78/2456.40	o 289
2519.98/2457.56	o 288
2520.08/2457.60	java.util.concurrent.TimeoutException
2520.08/2457.60		at concrete.MAC.mac(MAC.scala:74)
2520.08/2457.60		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:145)
2520.08/2457.60		at scala.util.Try$.apply(Try.scala:209)
2520.08/2457.60		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
2520.08/2457.60		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
2520.08/2457.60		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
2520.08/2457.60		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
2520.08/2457.60		at org.scalameter.Measurer$Default.measure(Measurer.scala:131)
2520.08/2457.60		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
2520.08/2457.60		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
2520.08/2457.60		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
2520.08/2457.60		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
2520.08/2457.60		at concrete.MAC.oneRun(MAC.scala:146)
2520.08/2457.60		at concrete.MAC.nextSolution(MAC.scala:166)
2520.08/2457.60		at concrete.MAC.$anonfun$nextSolution$2(MAC.scala:196)
2520.08/2457.60		at concrete.ProblemState.map(ProblemState.scala:203)
2520.08/2457.60		at concrete.ProblemState.map(ProblemState.scala:188)
2520.08/2457.60		at concrete.MAC.nextSolution(MAC.scala:195)
2520.08/2457.60		at concrete.Solver.hasNext(Solver.scala:202)
2520.08/2457.60		at scala.collection.Iterator.toStream(Iterator.scala:1403)
2520.08/2457.60		at scala.collection.Iterator.toStream$(Iterator.scala:1402)
2520.08/2457.60		at concrete.Solver.toStream(Solver.scala:73)
2520.08/2457.60		at scala.collection.Iterator.$anonfun$toStream$1(Iterator.scala:1403)
2520.08/2457.60		at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1169)
2520.08/2457.60		at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1159)
2520.08/2457.60		at scala.collection.immutable.Stream.foreach(Stream.scala:531)
2520.08/2457.60		at concrete.runner.ConcreteRunner.$anonfun$run$10(ConcreteRunner.scala:157)
2520.08/2457.60		at scala.util.Success.$anonfun$map$1(Try.scala:251)
2520.08/2457.60		at scala.util.Success.map(Try.scala:209)
2520.08/2457.60		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:154)
2520.08/2457.60		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:72)
2520.08/2457.60		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:17)
2520.08/2457.60		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:119)
2520.08/2457.60		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:17)
2520.08/2457.60		at scala.Function0.apply$mcV$sp(Function0.scala:34)
2520.08/2457.60		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
2520.08/2457.60		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
2520.08/2457.60		at scala.App.$anonfun$main$1$adapted(App.scala:76)
2520.08/2457.60		at scala.collection.immutable.List.foreach(List.scala:389)
2520.08/2457.60		at scala.App.main(App.scala:76)
2520.08/2457.60		at scala.App.main$(App.scala:74)
2520.08/2457.60		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:17)
2520.08/2457.60		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2520.08/2457.61	v <instantiation cost="288">
2520.08/2457.61	v       <list>
2520.08/2457.61	v         x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[80] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] x[90] x[91] x[92] x[93] x[94] x[95] x[96] x[97] x[98] x[99] x[100] x[101] x[102] x[103] x[104] x[105] x[106] x[107] x[108] x[109] x[110] x[111] x[112] x[113] x[114] x[115] x[116] x[117] x[118] x[119] x[120] x[121] x[122] x[123] x[124] x[125] x[126] x[127] x[128] x[129] x[130] x[131] x[132] x[133] x[134] x[135] x[136] x[137] x[138] x[139] x[140] x[141] x[142] x[143] x[144] x[145] x[146] x[147] x[148] x[149] x[150] x[151] x[152] x[153] x[154] x[155] x[156] x[157] x[158] x[159] x[160] x[161] x[162] x[163] x[164] x[165] x[166] x[167] x[168] x[169] x[170] x[171] x[172] x[173] x[174] x[175] x[176] x[177] x[178] x[179] x[180] x[181] x[182] x[183] x[184] x[185] x[186] x[187] x[188] x[189] x[190] x[191] x[192] x[193] x[194] x[195] x[196] x[197] x[198] x[199] x[200] x[201] x[202] x[203] x[204] x[205] x[206] x[207] x[208] x[209] x[210] x[211] x[212] x[213] x[214] x[215] x[216] x[217] x[218] x[219] x[220] x[221] x[222] x[223] x[224] x[225] x[226] x[227] x[228] x[229] x[230] x[231] x[232] x[233] x[234] x[235] x[236] x[237] x[238] x[239] x[240] x[241] x[242] x[243] x[244] x[245] x[246] x[247] x[248] x[249] x[250] x[251] x[252] x[253] x[254] x[255] x[256] x[257] x[258] x[259] x[260] x[261] x[262] x[263] x[264] x[265] x[266] x[267] x[268] x[269] x[270] x[271] x[272] x[273] x[274] x[275] x[276] x[277] x[278] x[279] x[280] x[281] x[282] x[283] x[284] x[285] x[286] x[287] x[288] x[289] x[290] x[291] x[292] x[293] x[294] x[295] x[296] x[297] x[298] x[299] x[300] x[301] x[302] x[303] x[304] x[305] x[306] x[307] x[308] x[309] x[310] x[311] x[312] x[313] x[314] x[315] x[316] x[317] x[318] x[319] x[320] x[321] x[322] x[323] x[324] x[325] x[326] x[327] x[328] x[329] x[330] x[331] x[332] x[333] x[334] x[335] x[336] x[337] x[338] x[339] x[340] x[341] x[342] x[343] x[344] x[345] x[346] x[347] x[348] x[349] x[350] x[351] x[352] x[353] x[354] x[355] x[356] x[357] x[358] x[359] x[360] x[361] x[362] x[363] x[364] x[365] x[366] x[367] x[368] x[369] x[370] x[371] x[372] x[373] x[374] x[375] x[376] x[377] x[378] x[379] x[380] x[381] x[382] x[383] x[384] x[385] x[386] x[387] x[388] x[389] x[390] x[391] x[392] x[393] x[394] x[395] x[396] x[397] x[398] x[399] x[400] x[401] x[402] x[403] x[404] x[405] x[406] x[407] x[408] x[409] x[410] x[411] x[412] x[413] x[414] x[415] x[416] x[417] x[418] x[419] x[420] x[421] x[422] x[423] x[424] x[425] x[426] x[427] x[428] x[429] x[430] x[431] x[432] x[433] x[434] x[435] x[436] x[437] x[438] x[439] x[440] x[441] x[442] x[443] x[444] x[445] x[446] x[447] x[448] x[449] x[450] x[451] x[452] x[453] x[454] x[455] x[456] x[457] x[458] x[459] x[460] x[461] x[462] x[463] x[464] x[465] x[466] x[467] x[468] x[469] x[470] x[471] x[472] x[473] x[474] x[475] x[476] x[477] x[478] x[479] x[480] x[481] x[482] x[483] x[484] x[485] x[486] x[487] x[488] x[489] x[490] x[491] x[492] x[493] x[494] x[495] x[496] x[497] x[498] x[499] x[500] x[501] x[502] x[503] x[504] x[505] x[506] x[507] x[508] x[509] x[510] x[511] x[512] x[513] x[514] x[515] x[516] x[517] x[518] x[519] x[520] x[521] x[522] x[523] x[524] x[525] x[526] x[527] x[528] x[529] x[530] x[531] x[532] x[533] x[534] x[535] x[536] x[537] x[538] x[539] x[540] x[541] x[542] x[543] x[544] x[545] x[546] x[547] x[548] x[549] x[550] x[551] x[552] x[553] x[554] x[555] x[556] x[557] x[558] x[559] x[560] x[561] x[562] x[563] x[564] x[565] x[566] x[567] x[568] x[569] x[570] x[571] x[572] x[573] x[574] x[575] x[576] x[577] x[578] x[579] x[580] x[581] x[582] x[583] x[584] x[585] x[586] x[587] x[588] x[589] x[590] x[591] x[592] x[593] x[594] x[595] x[596] x[597] x[598] x[599] x[600] x[601] x[602] x[603] x[604] x[605] x[606] x[607] x[608] x[609] x[610] x[611] x[612] x[613] x[614] x[615] x[616] x[617] x[618] x[619] x[620] x[621] x[622] x[623] x[624] x[625] x[626] x[627] x[628] x[629] x[630] x[631] x[632] x[633] x[634] x[635] x[636] x[637] x[638] x[639] x[640] x[641] x[642] x[643] x[644] x[645] x[646] x[647] x[648] x[649] x[650] x[651] x[652] x[653] x[654] x[655] x[656] x[657] x[658] x[659] x[660] x[661] x[662] x[663] x[664] x[665] x[666] x[667] x[668] x[669] x[670] x[671] x[672] x[673] x[674] x[675] x[676] x[677] x[678] x[679] x[680] x[681] x[682] x[683] x[684] x[685] x[686] x[687] x[688] x[689] x[690] x[691] x[692] x[693] x[694] x[695] x[696] x[697] x[698] x[699] x[700] x[701] x[702] x[703] x[704] x[705] x[706] x[707] x[708] x[709] x[710] x[711] x[712] x[713] x[714] x[715] x[716] x[717] x[718] x[719] x[720] x[721] x[722] x[723] x[724] x[725] x[726] x[727] x[728] x[729] x[730] x[731] x[732] x[733] x[734] x[735] x[736] x[737] x[738] x[739] x[740] x[741] x[742] x[743] x[744] x[745] x[746] x[747] x[748] x[749] x[750] x[751] x[752] x[753] x[754] x[755] x[756] x[757] x[758] x[759] x[760] x[761] x[762] x[763] x[764] x[765] x[766] x[767] x[768] x[769] x[770] x[771] x[772] x[773] x[774] x[775] x[776] x[777] x[778] x[779] x[780] x[781] x[782] x[783] x[784] x[785] x[786] x[787] x[788] x[789] x[790] x[791] x[792] x[793] x[794] x[795] x[796] x[797] x[798] x[799] x[800] x[801] x[802] x[803] x[804] x[805] x[806] x[807] x[808] x[809] x[810] x[811] x[812] x[813] x[814] x[815] x[816] x[817] x[818] x[819] x[820] x[821] x[822] x[823] x[824] x[825] x[826] x[827] x[828] x[829] x[830] x[831] x[832] x[833] x[834] x[835] x[836] x[837] x[838] x[839] x[840] x[841] x[842] x[843] x[844] x[845] x[846] x[847] x[848] x[849] x[850] x[851] x[852] x[853] x[854] x[855] x[856] x[857] x[858] x[859] x[860] x[861] x[862] x[863] x[864] x[865] x[866] x[867] x[868] x[869] x[870] x[871] x[872] x[873] x[874] x[875] x[876] x[877] x[878] x[879] x[880] x[881] x[882] x[883] x[884] x[885] x[886] x[887] x[888] x[889] x[890] x[891] x[892] x[893] x[894] x[895] x[896] x[897] x[898] x[899] x[900] x[901] x[902] x[903] x[904] x[905] x[906] x[907] x[908] x[909] x[910] x[911] x[912] x[913] x[914] x[915] x[916] x[917] x[918] x[919] x[920] x[921] x[922] x[923] x[924] x[925] x[926] x[927] x[928] x[929] x[930] x[931] x[932] x[933] x[934] x[935] x[936] x[937] x[938] x[939] x[940] x[941] x[942] x[943] x[944] x[945] x[946] x[947] x[948] x[949] x[950] x[951] x[952] x[953] x[954] x[955] x[956] x[957] x[958] x[959] x[960] x[961] x[962] x[963] x[964] x[965] x[966] x[967] x[968] x[969] x[970] x[971] x[972] x[973] x[974] x[975] x[976] x[977] x[978] x[979] x[980] x[981] x[982] x[983] x[984] x[985] x[986] x[987] x[988] x[989] x[990] x[991] x[992] x[993] x[994] x[995] x[996] x[997] x[998] x[999] x[1000] x[1001] x[1002] x[1003] x[1004] x[1005] x[1006] x[1007] x[1008] x[1009] x[1010] x[1011] x[1012] x[1013] x[1014] x[1015] x[1016] x[1017] x[1018] x[1019] x[1020] x[1021] x[1022] x[1023] x[1024] x[1025] x[1026] x[1027] x[1028] x[1029] x[1030] x[1031] x[1032] x[1033] x[1034] x[1035] x[1036] x[1037] x[1038] x[1039] x[1040] x[1041] x[1042] x[1043] x[1044] x[1045] x[1046] x[1047] x[1048] x[1049] x[1050] x[1051] x[1052] x[1053] x[1054] x[1055] x[1056] x[1057] x[1058] x[1059] x[1060] x[1061] x[1062] x[1063] x[1064] x[1065] x[1066] x[1067] x[1068] x[1069] x[1070] x[1071] x[1072] x[1073] x[1074] x[1075] x[1076] x[1077] x[1078] x[1079] x[1080] x[1081] x[1082] x[1083] x[1084] x[1085] x[1086] x[1087] x[1088] x[1089] x[1090] x[1091] x[1092] x[1093] x[1094] x[1095] x[1096] x[1097] x[1098] x[1099] x[1100] x[1101] x[1102] x[1103] x[1104] x[1105] x[1106] x[1107] x[1108] x[1109] x[1110] x[1111] x[1112] x[1113] x[1114] x[1115] x[1116] x[1117] x[1118] x[1119] x[1120] x[1121] x[1122] x[1123] x[1124] x[1125] x[1126] x[1127] x[1128] x[1129] x[1130] x[1131] x[1132] x[1133] x[1134] x[1135] x[1136] x[1137] x[1138] x[1139] x[1140] x[1141] x[1142] x[1143] x[1144] x[1145] x[1146] x[1147] x[1148] x[1149] x[1150] x[1151] x[1152] x[1153] x[1154] x[1155] x[1156] x[1157] x[1158] x[1159] x[1160] x[1161] x[1162] x[1163] x[1164] x[1165] x[1166] x[1167] x[1168] x[1169] x[1170] x[1171] x[1172] x[1173] x[1174] x[1175] x[1176] x[1177] x[1178] x[1179] x[1180] x[1181] x[1182] x[1183] x[1184] x[1185] x[1186] x[1187] x[1188] x[1189] x[1190] x[1191] x[1192] x[1193] x[1194] x[1195] x[1196] x[1197] x[1198] x[1199] x[1200] x[1201] x[1202] x[1203] x[1204] x[1205] x[1206] x[1207] x[1208] x[1209] x[1210] x[1211] x[1212] x[1213] x[1214] x[1215] x[1216] x[1217] x[1218] x[1219] x[1220] x[1221] x[1222] x[1223] x[1224] x[1225] x[1226] x[1227] x[1228] x[1229] x[1230] x[1231] x[1232] x[1233] x[1234] x[1235] x[1236] x[1237] x[1238] x[1239] x[1240] x[1241] x[1242] x[1243] x[1244] x[1245] x[1246] x[1247] x[1248] x[1249] x[1250] x[1251] x[1252] x[1253] x[1254] x[1255] x[1256] x[1257] x[1258] x[1259] x[1260] x[1261] x[1262] x[1263] x[1264] x[1265] x[1266] x[1267] x[1268] x[1269] x[1270] x[1271] x[1272] x[1273] x[1274] x[1275] x[1276] x[1277] x[1278] x[1279] x[1280] x[1281] x[1282] x[1283] x[1284] x[1285] x[1286] x[1287] x[1288] x[1289] x[1290] x[1291] x[1292] x[1293] x[1294] x[1295] x[1296] x[1297] x[1298] x[1299] x[1300] x[1301] x[1302] x[1303] x[1304] x[1305] x[1306] x[1307] x[1308] x[1309] x[1310] x[1311] x[1312] x[1313] x[1314] x[1315] x[1316] x[1317] x[1318] x[1319] x[1320] x[1321] x[1322] x[1323] x[1324] x[1325] x[1326] x[1327] x[1328] x[1329] x[1330] x[1331] x[1332] x[1333] x[1334] x[1335] x[1336] x[1337] x[1338] x[1339] x[1340] x[1341] x[1342] x[1343] x[1344] x[1345] x[1346] x[1347] x[1348] x[1349] x[1350] x[1351] x[1352] x[1353] x[1354] x[1355] x[1356] x[1357] x[1358] x[1359] x[1360] x[1361] x[1362] x[1363] x[1364] x[1365] x[1366] x[1367] x[1368] x[1369] x[1370] x[1371] x[1372] x[1373] x[1374] x[1375] x[1376] x[1377] x[1378] x[1379] x[1380] x[1381] x[1382] x[1383] x[1384] x[1385] x[1386] x[1387] x[1388] x[1389] x[1390] x[1391] x[1392] x[1393] x[1394] x[1395] x[1396] x[1397] x[1398] x[1399] x[1400] x[1401] x[1402] x[1403] x[1404] x[1405] x[1406] x[1407] x[1408] x[1409] x[1410] x[1411] x[1412] x[1413] x[1414] x[1415] x[1416] x[1417] x[1418] x[1419] x[1420] x[1421] x[1422] x[1423] x[1424] x[1425] x[1426] x[1427] x[1428] x[1429] x[1430] x[1431] x[1432] x[1433] x[1434] x[1435] x[1436] x[1437] x[1438] x[1439] x[1440] x[1441] x[1442] x[1443] x[1444] x[1445] x[1446] x[1447] x[1448] x[1449] x[1450] x[1451] x[1452] x[1453] x[1454] x[1455] x[1456] x[1457] x[1458] x[1459] x[1460] x[1461] x[1462] x[1463] x[1464] x[1465] x[1466] x[1467] x[1468] x[1469] x[1470] x[1471] x[1472] x[1473] x[1474] x[1475] x[1476] x[1477] x[1478] x[1479] x[1480] x[1481] x[1482] x[1483] x[1484] x[1485] x[1486] x[1487] x[1488] x[1489] x[1490] x[1491] x[1492] x[1493] x[1494] x[1495] x[1496] x[1497] x[1498] x[1499] x[1500] x[1501] x[1502] x[1503] x[1504] x[1505] x[1506] x[1507] x[1508] x[1509] x[1510] x[1511] x[1512] x[1513] x[1514] x[1515] x[1516] x[1517] x[1518] x[1519] x[1520] x[1521] x[1522] x[1523] x[1524] x[1525] x[1526] x[1527] x[1528] x[1529] x[1530] x[1531] x[1532] x[1533] x[1534] x[1535] x[1536] x[1537] x[1538] x[1539] x[1540] x[1541] x[1542] x[1543] x[1544] x[1545] x[1546] x[1547] x[1548] x[1549] x[1550] x[1551] x[1552] x[1553] x[1554] x[1555] x[1556] x[1557] x[1558] x[1559] x[1560] x[1561] x[1562] x[1563] x[1564] x[1565] x[1566] x[1567] x[1568] x[1569] x[1570] x[1571] x[1572] x[1573] x[1574] x[1575] x[1576] x[1577] x[1578] x[1579] x[1580] x[1581] x[1582] x[1583] x[1584] x[1585] x[1586] x[1587] x[1588] x[1589] x[1590] x[1591] x[1592] x[1593] x[1594] x[1595] x[1596] x[1597] x[1598] x[1599] x[1600] x[1601] x[1602] x[1603] x[1604] x[1605] x[1606] x[1607] x[1608] x[1609] x[1610] x[1611] x[1612] x[1613] x[1614] x[1615] x[1616] x[1617] x[1618] x[1619] x[1620] x[1621] x[1622] x[1623] x[1624] x[1625] x[1626] x[1627] x[1628] x[1629] x[1630] x[1631] x[1632] x[1633] x[1634] x[1635] x[1636] x[1637] x[1638] x[1639] x[1640] x[1641] x[1642] x[1643] x[1644] x[1645] x[1646] x[1647] x[1648] x[1649] x[1650] x[1651] x[1652] x[1653] x[1654] x[1655] x[1656] x[1657] x[1658] x[1659] x[1660] x[1661] x[1662] x[1663] x[1664] x[1665] x[1666] x[1667] x[1668] x[1669] x[1670] x[1671] x[1672] x[1673] x[1674] x[1675] x[1676] x[1677] x[1678] x[1679] x[1680] x[1681] x[1682] x[1683] x[1684] x[1685] x[1686] x[1687] x[1688] x[1689] x[1690] x[1691] x[1692] x[1693] x[1694] x[1695] x[1696] x[1697] x[1698] x[1699] x[1700] x[1701] x[1702] x[1703] x[1704] x[1705] x[1706] x[1707] x[1708] x[1709] x[1710] x[1711] x[1712] x[1713] x[1714] x[1715] x[1716] x[1717] x[1718] x[1719] x[1720] x[1721] x[1722] x[1723] x[1724] x[1725] x[1726] x[1727] x[1728] x[1729] x[1730] x[1731] x[1732] x[1733] x[1734] x[1735] x[1736] x[1737] x[1738] x[1739] x[1740] x[1741] x[1742] x[1743] x[1744] x[1745] x[1746] x[1747] x[1748] x[1749] x[1750] x[1751] x[1752] x[1753] x[1754] x[1755] x[1756] x[1757] x[1758] x[1759] x[1760] x[1761] x[1762] x[1763] x[1764] x[1765] x[1766] x[1767] x[1768] x[1769] x[1770] x[1771] x[1772] x[1773] x[1774] x[1775] x[1776] x[1777] x[1778] x[1779] x[1780] x[1781] x[1782] x[1783] x[1784] x[1785] x[1786] x[1787] x[1788] x[1789] x[1790] x[1791] x[1792] x[1793] x[1794] x[1795] x[1796] x[1797] x[1798] x[1799] x[1800] x[1801] x[1802] x[1803] x[1804] x[1805] x[1806] x[1807] x[1808] x[1809] x[1810] x[1811] x[1812] x[1813] x[1814] x[1815] x[1816] x[1817] x[1818] x[1819] x[1820] x[1821] x[1822] x[1823] x[1824] x[1825] x[1826] x[1827] x[1828] x[1829] x[1830] x[1831] x[1832] x[1833] x[1834] x[1835] x[1836] x[1837] x[1838] x[1839] x[1840] x[1841] x[1842] x[1843] x[1844] x[1845] x[1846] x[1847] x[1848] x[1849] x[1850] x[1851] x[1852] x[1853] x[1854] x[1855] x[1856] x[1857] x[1858] x[1859] x[1860] x[1861] x[1862] x[1863] x[1864] x[1865] x[1866] x[1867] x[1868] x[1869] x[1870] x[1871] x[1872] x[1873] x[1874] x[1875] x[1876] x[1877] x[1878] x[1879] x[1880] x[1881] x[1882] x[1883] x[1884] x[1885] x[1886] x[1887] x[1888] x[1889] x[1890] x[1891] x[1892] x[1893] x[1894] x[1895] x[1896] x[1897] x[1898] x[1899] x[1900] x[1901] x[1902] x[1903] x[1904] x[1905] x[1906] x[1907] x[1908] x[1909] x[1910] x[1911] x[1912] x[1913] x[1914] x[1915] x[1916] x[1917] x[1918] x[1919] x[1920] x[1921] x[1922] x[1923] x[1924] x[1925] x[1926] x[1927] x[1928] x[1929] x[1930] x[1931] x[1932] x[1933] x[1934] x[1935] x[1936] x[1937] x[1938] x[1939] x[1940] x[1941] x[1942] x[1943] x[1944] x[1945] x[1946] x[1947] x[1948] x[1949] x[1950] x[1951] x[1952] x[1953] x[1954] x[1955] x[1956] x[1957] x[1958] x[1959] x[1960] x[1961] x[1962] x[1963] x[1964] x[1965] x[1966] x[1967] x[1968] x[1969] x[1970] x[1971] x[1972] x[1973] x[1974] x[1975] x[1976] x[1977] x[1978] x[1979] x[1980] x[1981] x[1982] x[1983] x[1984] x[1985] x[1986] x[1987] x[1988] x[1989] x[1990] x[1991] x[1992] x[1993] x[1994] x[1995] x[1996] x[1997] x[1998] x[1999] x[2000] x[2001] x[2002] x[2003] x[2004] x[2005] x[2006] x[2007] x[2008] x[2009] x[2010] x[2011] x[2012] x[2013] x[2014] x[2015] x[2016] x[2017] x[2018] x[2019] x[2020] x[2021] x[2022] x[2023] x[2024] x[2025] x[2026] x[2027] x[2028] x[2029] x[2030] x[2031] x[2032] x[2033] x[2034] x[2035] x[2036] x[2037] x[2038] x[2039] x[2040] x[2041] x[2042] x[2043] x[2044] x[2045] x[2046] x[2047] x[2048] x[2049] x[2050] x[2051] x[2052] x[2053] x[2054] x[2055] x[2056] x[2057] x[2058] x[2059] x[2060] x[2061] x[2062] x[2063] x[2064] x[2065] x[2066] x[2067] x[2068] x[2069] x[2070] x[2071] x[2072] x[2073] x[2074] x[2075] x[2076] x[2077] x[2078] x[2079] x[2080] x[2081] x[2082] x[2083] x[2084] x[2085] x[2086] x[2087] x[2088] x[2089] x[2090] x[2091] x[2092] x[2093] x[2094] x[2095] x[2096] x[2097] x[2098] x[2099] x[2100] x[2101] x[2102] x[2103] x[2104] x[2105] x[2106] x[2107] x[2108] x[2109] x[2110] x[2111] x[2112] x[2113] x[2114] x[2115] x[2116] x[2117] x[2118] x[2119] x[2120] x[2121] x[2122] x[2123] x[2124] x[2125] x[2126] x[2127] x[2128] x[2129] x[2130] x[2131] x[2132] x[2133] x[2134] x[2135] x[2136] x[2137] x[2138] x[2139] x[2140] x[2141] x[2142] x[2143] x[2144] x[2145] x[2146] x[2147] x[2148] x[2149] x[2150] x[2151] x[2152] x[2153] x[2154] x[2155] x[2156] x[2157] x[2158] x[2159] x[2160] x[2161] x[2162] x[2163] x[2164] x[2165] x[2166] x[2167] x[2168] x[2169] x[2170] x[2171] x[2172] x[2173] x[2174] x[2175] x[2176] x[2177] x[2178] x[2179] x[2180] x[2181] x[2182] x[2183] x[2184] x[2185] x[2186] x[2187] x[2188] x[2189] x[2190] x[2191] x[2192] x[2193] x[2194] x[2195] x[2196] x[2197] x[2198] x[2199] x[2200] x[2201] x[2202] x[2203] x[2204] x[2205] x[2206] x[2207] x[2208] x[2209] x[2210] x[2211] x[2212] x[2213] x[2214] x[2215] x[2216] x[2217] x[2218] x[2219] x[2220] x[2221] x[2222] x[2223] x[2224] x[2225] x[2226] x[2227] x[2228] x[2229] x[2230] x[2231] x[2232] x[2233] x[2234] x[2235] x[2236] x[2237] x[2238] x[2239] x[2240] x[2241] x[2242] x[2243] x[2244] x[2245] x[2246] x[2247] x[2248] x[2249] x[2250] x[2251] x[2252] x[2253] x[2254] x[2255] x[2256] x[2257] x[2258] x[2259] x[2260] x[2261] x[2262] x[2263] x[2264] x[2265] x[2266] x[2267] x[2268] x[2269] x[2270] x[2271] x[2272] x[2273] x[2274] x[2275] x[2276] x[2277] x[2278] x[2279] x[2280] x[2281] x[2282] x[2283] x[2284] x[2285] x[2286] x[2287] x[2288] x[2289] x[2290] x[2291] x[2292] x[2293] x[2294] x[2295] x[2296] x[2297] x[2298] x[2299] x[2300] x[2301] x[2302] x[2303] x[2304] x[2305] x[2306] x[2307] x[2308] x[2309] x[2310] x[2311] x[2312] x[2313] x[2314] x[2315] x[2316] x[2317] x[2318] x[2319] x[2320] x[2321] x[2322] x[2323] x[2324] x[2325] x[2326] x[2327] x[2328] x[2329] x[2330] x[2331] x[2332] x[2333] x[2334] x[2335] x[2336] x[2337] x[2338] x[2339] x[2340] x[2341] x[2342] x[2343] x[2344] x[2345] x[2346] x[2347] x[2348] x[2349] x[2350] x[2351] x[2352] x[2353] x[2354] x[2355] x[2356] x[2357] x[2358] x[2359] x[2360] x[2361] x[2362] x[2363] x[2364] x[2365] x[2366] x[2367]
2520.08/2457.61	v       </list>
2520.08/2457.61	v       <values>
2520.08/2457.61	v         286 282 264 272 252 265 288 270 266 260 267 281 256 288 256 261 268 279 253 251 260 254 276 262 284 269 280 278 254 279 259 261 266 264 272 277 271 284 267 271 262 267 288 257 260 284 285 268 275 253 273 263 265 278 283 255 281 255 287 267 269 266 279 272 259 284 271 284 261 270 258 264 269 288 254 252 251 256 269 259 273 255 267 268 257 287 265 266 280 275 253 250 278 277 262 255 269 285 270 253 272 267 277 279 288 256 281 271 283 249 275 264 282 254 266 254 252 264 261 251 271 255 274 287 273 268 249 288 265 260 253 258 256 264 265 262 250 255 271 254 278 272 275 267 256 283 275 281 282 274 287 281 258 288 282 284 287 255 264 274 279 283 268 259 272 284 275 271 265 272 285 272 257 275 287 279 286 256 252 258 287 263 272 264 254 255 281 253 255 257 260 285 264 288 287 269 254 273 261 273 272 277 267 287 278 277 283 270 284 284 283 288 274 288 262 258 263 288 253 257 265 261 279 278 248 252 252 259 254 254 272 256 255 250 287 253 250 255 273 265 288 269 285 267 258 260 250 256 266 273 255 254 288 267 262 255 267 251 268 261 288 268 272 270 287 252 257 286 275 256 282 287 274 267 273 263 280 274 286 254 251 279 260 262 256 253 276 258 257 271 287 279 276 286 285 286 274 256 264 288 287 272 275 244 270 251 280 263 274 275 286 260 278 285 282 280 274 286 273 263 274 268 262 259 255 286 263 285 268 250 247 249 249 251 246 265 279 254 246 247 283 245 250 249 262 244 264 248 246 252 254 245 270 279 261 266 264 278 257 276 263 260 256 288 284 258 274 285 270 288 277 288 273 287 283 280 277 278 279 286 271 268 278 272 262 272 268 283 262 275 281 273 266 274 283 261 266 279 263 271 287 270 274 278 286 270 267 288 285 288 271 286 270 285 277 267 277 284 283 287 276 274 281 288 288 288 287 267 282 284 270 277 274 276 286 285 288 287 282 280 285 283 266 274 281 284 280 288 279 283 275 277 288 252 273 264 267 257 258 263 273 272 274 286 270 280 284 283 247 257 280 281 268 266 275 256 270 258 284 285 283 281 277 266 284 286 277 263 270 288 282 258 287 281 259 280 288 284 283 284 288 287 283 288 255 268 269 288 266 279 281 270 282 282 284 281 280 269 287 280 282 284 287 288 263 265 288 260 279 288 251 252 280 249 276 286 262 250 273 278 276 287 253 269 249 251 275 268 279 278 262 258 254 282 261 266 265 257 272 250 268 262 284 264 269 270 252 285 284 262 255 280 263 267 287 282 261 254 251 287 288 271 257 249 272 273 284 253 281 253 265 261 272 260 259 283 256 282 270 256 263 287 275 266 265 285 287 255 255 277 258 278 275 251 280 272 257 269 284 273 274 288 251 276 263 274 271 284 271 271 247 287 283 285 279 269 261 268 270 261 283 271 262 266 282 269 287 274 288 260 273 270 248 268 265 284 283 272 258 274 278 284 262 255 253 283 266 281 248 278 274 256 279 279 280 275 274 262 261 286 273 256 258 279 281 274 267 262 261 277 264 268 286 253 267 285 287 279 264 255 284 264 282 261 270 277 279 269 275 257 273 281 249 282 281 260 285 286 260 283 262 255 267 255 285 262 260 266 272 284 288 268 272 277 266 267 278 281 288 264 287 267 259 269 271 279 279 281 263 281 268 271 284 275 257 288 264 260 258 263 275 282 287 245 252 277 273 279 280 277 274 281 278 287 276 268 285 246 257 250 273 286 260 258 280 251 286 256 288 275 259 254 246 255 278 274 271 248 249 253 259 255 267 272 277 273 269 267 276 281 277 260 262 258 260 281 283 263 253 288 282 266 272 265 271 275 259 276 265 261 279 281 254 282 257 276 260 279 283 251 268 252 266 287 261 283 264 285 249 258 276 269 268 280 251 266 265 262 282 277 283 287 288 276 261 269 282 287 287 280 272 286 268 285 257 270 265 260 256 259 277 264 263 285 261 265 260 273 268 269 273 266 255 252 253 285 276 288 258 253 250 250 252 263 270 267 254 276 256 272 280 282 257 250 271 259 254 276 255 266 248 277 256 268 252 255 266 259 267 285 275 247 288 255 252 273 261 278 264 266 263 288 267 272 249 259 267 266 274 268 250 266 265 282 286 244 247 248 246 263 249 254 251 245 256 255 249 278 281 270 254 283 248 262 276 260 264 254 276 264 271 263 270 241 283 266 260 245 268 268 244 285 261 250 278 281 277 262 247 259 252 261 279 260 285 249 288 267 273 262 252 263 254 283 269 272 253 275 284 286 277 286 265 258 280 286 276 274 270 272 283 287 284 280 274 284 288 284 269 281 273 280 275 288 274 272 279 275 278 258 254 247 274 256 274 257 269 265 285 280 259 257 288 281 283 273 270 253 260 256 284 259 251 269 280 265 288 257 258 285 250 259 255 287 266 286 277 284 256 277 287 267 267 274 255 250 257 261 258 270 261 279 285 249 245 285 270 258 272 278 276 247 249 253 286 262 253 276 282 276 252 274 273 270 281 262 253 271 278 288 266 264 270 285 257 282 266 279 254 253 256 250 260 271 265 247 255 275 272 265 270 264 265 282 283 260 258 247 280 280 271 261 274 271 261 253 273 268 255 244 251 251 251 258 264 271 278 279 252 256 267 267 264 256 275 286 269 271 268 262 261 268 259 246 283 269 284 255 254 284 246 248 259 257 268 256 271 269 262 253 245 285 267 254 262 284 277 258 263 284 262 268 272 268 253 276 285 283 265 265 267 271 272 284 288 257 257 262 280 250 263 244 279 277 255 275 287 257 275 278 260 268 252 260 267 253 288 286 271 256 248 255 275 276 258 275 251 262 264 254 267 269 279 264 279 252 281 267 254 275 264 283 272 261 259 285 288 283 255 273 264 254 287 253 247 252 287 256 283 261 248 248 250 250 251 249 248 250 286 244 279 273 273 282 276 261 279 281 275 251 278 270 264 280 278 260 275 255 246 284 262 279 276 286 276 286 271 271 285 282 278 274 271 267 269 248 245 272 274 261 247 264 261 285 249 284 260 257 288 252 266 272 282 241 252 278 286 259 253 270 280 249 262 284 276 247 277 283 248 268 264 256 250 262 260 284 285 249 266 267 260 281 269 257 248 244 272 288 272 261 266 254 283 278 274 279 287 286 286 277 263 275 260 288 277 280 255 267 280 288 274 251 249 271 252 266 276 284 284 284 272 260 288 282 252 270 280 255 265 246 265 247 286 273 246 280 275 274 256 282 279 245 288 267 251 262 246 248 257 284 241 253 243 241 285 244 252 269 276 273 274 255 280 282 258 288 260 252 251 256 256 280 264 288 282 243 265 264 251 263 246 250 247 249 242 250 250 247 254 263 258 270 270 275 246 260 286 280 247 279 274 272 255 254 250 270 277 264 284 260 279 248 242 273 272 252 266 279 254 240 282 249 261 265 253 249 272 274 263 257 264 281 241 283 265 272 277 266 262 286 273 287 285 284 247 269 258 288 263 276 248 261 249 265 262 252 265 250 288 278 263 263 256 258 284 256 287 242 267 246 268 267 288 259 286 274 252 259 285 263 253 283 258 277 263 272 259 253 249 266 249 273 245 242 263 259 243 248 247 264 246 244 242 249 275 263 255 272 275 275 288 287 264 269 246 257 286 262 249 286 244 286 263 264 259 283 243 284 276 259 274 248 260 266 250 276 275 277 246 261 245 269 249 271 286 269 283 273 257 282 267 248 251 264 258 275 253 253 287 256 250 267 285 278 282 259 260 249 273 269 264 264 288 284 269 277 277 257 258 260 252 263 255 267 267 261 265 248 268 280 258 247 255 254 283 259 274 262 251 273 269 250 277 281 285 273 257 265 271 268 251 247 268 279 251 269 247 279 271 268 255 267 287 275 283 276 248 270 243 269 278 279 248 250 276 279 283 253 244 251 269 252 257 287 288 256 246 243 251 253 258 262 245 275 248 247 253 247 247 262 246 268 255 285 279 266 287 261 265 283 273 287 252 277 264 276 260 278 269 285 268 273 271 278 261 249 281 275 253 284 264 269 243 256 255 249 281 253 251 258 257 268 281 264 278 285 281 283 266 272 266 245 256 263 267 281 279 267 269 286 249 281 255 265 260 285 261 281 246 278 253 266 273 272 280 253 271 275 288 266 265 256 267 281 271 275 253 285 250 258 280 286 252 278 281 282 287 244 262 268 257 267 259 255 254 257 242 253 274 265 251 253 245 256 268 269 246 247 250 284 251 262 280 269 252 266 279 257 248 268 270 285 241 269 272 277 270 256 276 249 280 270 250 276 268 247 257 252 236 256 261 278 277 266 254 276 259 275 259 279 271 273 258 261 270 278 263 288 276 281 282 256 262 265 249 249 281 283 276 259 273 279 287 259 250 250 287 286 279 282 260 273 262 275 256 256 255 274 265 264 258 270 271 277 268 243 279 265 254 286 267 248 251 266 273 278 251 284 276 282 285 252 272 286 272 278 272 280 241 251 278 288 253 248 269 268 262 243 275 284 282 278 288 245 272 269 274 282 288 287 288 255 270 263 258 255 258 273 249 254 245 254 263 270 267 261 258 279 286 254 256 273 259 251 272 257 265 271 275 243 283 254 288 252 286 267 262 257 248 277 247 281 286 251 278 259 261 277 257 267 285 259 264 288 280 284 276 255 285 264 278 271 262 246 270 277 273 254 268 262 281 279 287 250 257 280 276 255 273 251 287 246 277 261 285 261 282 281 275 280 273 260 274 277 283 258 264 286 287 258 256 271 244 260 283 282 285 273 247 283 261 253 282 278 272 282 263 247 249 244 253 237 266 265 251 254 250 270 264 269 287 260 275 279 250 254 245 252 250 283 269 280 260 255 265 258 288 254 270 280 284 254 254 270 251 287 238 263 274 277 246 252 240 264 284 274 250 235 280 263 272 270 276 288 264 266 269 266 275 271 282 262 264 270 276 268 266 234 255 252 256 259 271 270 259 284 252 282 256 287 267 248 263 261 245 277 276 255 273 279 272 268 258 244 285 254 270 266 245 278 266 272 274 262 249 271 253 246 264 284 252 263 266 270 257 279 286 272 257 277 284 282 239 260 278 271 273 257 286 287 256 284 239 248 287 275 262 280 242 265 260 281 285 271 267 269 271 260 254 260 274 279 261 287 282 278 261 258 276 281 281 244 281 277 288 260 250 262 245 264 272 282 284 277 272 256 244 259 286 265 268 267 259 280 285 280 285 280 281 274 287 267 265 281 269 285 265 274 266 259 275 283 278 280 278 271 263 274 286 274 282 286 279 282 268 275 263 276 269 283 273 277 258 268 261 283 257 283
2520.08/2457.61	v       </values>
2520.08/2457.61	v     </instantiation>
2520.08/2457.61	s SATISFIABLE

Verifier Data 

OK	288

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-4261966-1502424619/watcher-4261966-1502424619 -o /tmp/evaluation-result-4261966-1502424619/solver-4261966-1502424619 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1502411438-1523 --watchdog 2580 bin/concrete HOME/instance-4261966-1502424619.xml 

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

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


[startup+0 s]
/proc/loadavg: 1.33 1.46 1.54 3/199 5900
/proc/meminfo: memFree=29960980/32770624 swapFree=0/563772
[pid=5900] ppid=5897 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/5900/stat : 5900 (runsolver) D 5897 5900 1460 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 89968139 24240128 107 18446744073709551615 4194304 4338465 140731511801008 140731511798648 139854982595287 0 0 1 24578 18446744071580418449 0 0 17 4 0 0 0 0 0 6438912 6441760 37306368 140731511804113 140731511804489 140731511804489 140731511807946 0
/proc/5900/statm: 5918 107 54 36 0 2156 0

[startup+0.100161 s]
/proc/loadavg: 1.33 1.46 1.54 3/199 5900
/proc/meminfo: memFree=29960980/32770624 swapFree=0/563772
[pid=5900] ppid=5897 vsize=9636 CPUtime=0.01 cores=0,2,4,6
/proc/5900/stat : 5900 (bash) S 5897 5900 1460 0 -1 4202496 892 6490 0 0 0 0 0 1 20 0 1 0 89968139 9867264 377 18446744073709551615 4194304 5098028 140728806764560 140728806758568 140485449575424 0 0 5 65536 18446744071580971376 0 0 17 0 0 0 6 0 0 7196144 7232144 7581696 140728806773268 140728806773353 140728806773353 140728806776810 0
/proc/5900/statm: 2409 377 296 221 0 118 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9636

[startup+0.20035 s]
/proc/loadavg: 1.33 1.46 1.54 3/199 5900
/proc/meminfo: memFree=29960980/32770624 swapFree=0/563772
[pid=5900] ppid=5897 vsize=9636 CPUtime=0.01 cores=0,2,4,6
/proc/5900/stat : 5900 (bash) S 5897 5900 1460 0 -1 4202496 892 6490 0 0 0 0 0 1 20 0 1 0 89968139 9867264 377 18446744073709551615 4194304 5098028 140728806764560 140728806758568 140485449575424 0 0 5 65536 18446744071580971376 0 0 17 0 0 0 6 0 0 7196144 7232144 7581696 140728806773268 140728806773353 140728806773353 140728806776810 0
/proc/5900/statm: 2409 377 296 221 0 118 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9636

[startup+0.300324 s]
/proc/loadavg: 1.33 1.46 1.54 3/199 5900
/proc/meminfo: memFree=29960980/32770624 swapFree=0/563772
[pid=5900] ppid=5897 vsize=13907308 CPUtime=0.14 cores=0,2,4,6
/proc/5900/stat : 5900 (java) S 5897 5900 1460 0 -1 1077944320 5490 12621 0 0 5 1 5 3 20 0 14 0 89968139 14241083392 5168 18446744073709551615 4194304 4196468 140729722437856 140729722420400 139935560912631 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 6 0 0 6293624 6294260 11096064 140729722439632 140729722442417 140729722442417 140729722445775 0
/proc/5900/statm: 3476827 5168 2558 1 0 3466324 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 13907308

[startup+0.700178 s]
/proc/loadavg: 1.33 1.46 1.54 3/199 5900
/proc/meminfo: memFree=29960980/32770624 swapFree=0/563772
[pid=5900] ppid=5897 vsize=13974784 CPUtime=0.62 cores=0,2,4,6
/proc/5900/stat : 5900 (java) S 5897 5900 1460 0 -1 1077944320 13425 12621 0 0 50 4 5 3 20 0 15 0 89968139 14310178816 14403 18446744073709551615 4194304 4196468 140729722437856 140729722420400 139935560912631 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 6 0 0 6293624 6294260 11096064 140729722439632 140729722442417 140729722442417 140729722445775 0
/proc/5900/statm: 3493696 14403 3093 1 0 3482965 0
Current children cumulated CPU time (s) 0.62
Current children cumulated vsize (KiB) 13974784

[startup+1.50064 s]
/proc/loadavg: 1.33 1.46 1.54 3/214 5963
/proc/meminfo: memFree=29869144/32770624 swapFree=0/563960
[pid=5900] ppid=5897 vsize=13985408 CPUtime=1.82 cores=0,2,4,6
/proc/5900/stat : 5900 (java) S 5897 5900 1460 0 -1 1077944320 27486 12621 0 0 167 7 5 3 20 0 15 0 89968139 14321057792 33911 18446744073709551615 4194304 4196468 140729722437856 140729722420400 139935560912631 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 6 0 0 6293624 6294260 11096064 140729722439632 140729722442417 140729722442417 140729722445775 0
/proc/5900/statm: 3496352 33911 3339 1 0 3485525 0
[pid=5900/tid=5950] ppid=5897 vsize=13985408 CPUtime=1.29 cores=0,2,4,6
/proc/5900/task/5950/stat : 5950 (java) R 5897 5900 1460 0 -1 4202560 22329 12621 0 0 115 6 5 3 20 0 15 0 89968162 14321057792 33911 18446744073709551615 4194304 4196468 140729722437856 139935565134688 139935544956261 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 11096064 140729722439632 140729722442417 140729722442417 140729722445775 0
[pid=5900/tid=5951] ppid=5897 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/5900/task/5951/stat : 5951 (java) S 5897 5900 1460 0 -1 1077944384 1 12621 0 0 0 0 5 3 20 0 15 0 89968163 14321057792 33911 18446744073709551615 4194304 4196468 140729722437856 139935480326800 139935560922837 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11096064 140729722439632 140729722442417 140729722442417 140729722445775 0
[pid=5900/tid=5952] ppid=5897 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/5900/task/5952/stat : 5952 (java) S 5897 5900 1460 0 -1 1077944384 2 12621 0 0 0 0 5 3 20 0 15 0 89968163 14321057792 33911 18446744073709551615 4194304 4196468 140729722437856 139935479274000 139935560922837 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11096064 140729722439632 140729722442417 140729722442417 140729722445775 0
[pid=5900/tid=5953] ppid=5897 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/5900/task/5953/stat : 5953 (java) S 5897 5900 1460 0 -1 1077944384 1 12621 0 0 0 0 5 3 20 0 15 0 89968163 14321057792 33911 18446744073709551615 4194304 4196468 140729722437856 139935478221200 139935560922837 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11096064 140729722439632 140729722442417 140729722442417 140729722445775 0
[pid=5900/tid=5954] ppid=5897 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/5900/task/5954/stat : 5954 (java) S 5897 5900 1460 0 -1 1077944384 2 12621 0 0 0 0 5 3 20 0 15 0 89968163 14321057792 33911 18446744073709551615 4194304 4196468 140729722437856 139935477168400 139935560922837 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11096064 140729722439632 140729722442417 140729722442417 140729722445775 0
[pid=5900/tid=5955] ppid=5897 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/5900/task/5955/stat : 5955 (java) S 5897 5900 1460 0 -1 1077944384 5 12621 0 0 0 0 5 3 20 0 15 0 89968164 14321057792 33911 18446744073709551615 4194304 4196468 140729722437856 139935038819184 139935560923778 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11096064 140729722439632 140729722442417 140729722442417 140729722445775 0
[pid=5900/tid=5956] ppid=5897 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/5900/task/5956/stat : 5956 (java) S 5897 5900 1460 0 -1 1077944384 33 12621 0 0 0 0 5 3 20 0 15 0 89968165 14321057792 33911 18446744073709551615 4194304 4196468 140729722437856 139935037765152 139935560922837 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11096064 140729722439632 140729722442417 140729722442417 140729722445775 0
[pid=5900/tid=5957] ppid=5897 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/5900/task/5957/stat : 5957 (java) S 5897 5900 1460 0 -1 1077944384 21 12621 0 0 0 0 5 3 20 0 15 0 89968165 14321057792 33911 18446744073709551615 4194304 4196468 140729722437856 139935036712304 139935560922837 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11096064 140729722439632 140729722442417 140729722442417 140729722445775 0
[pid=5900/tid=5958] ppid=5897 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/5900/task/5958/stat : 5958 (java) S 5897 5900 1460 0 -1 1077944384 3 12621 0 0 0 0 5 3 20 0 15 0 89968168 14321057792 33911 18446744073709551615 4194304 4196468 140729722437856 139935035660624 139935560931227 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11096064 140729722439632 140729722442417 140729722442417 140729722445775 0
[pid=5900/tid=5959] ppid=5897 vsize=13985408 CPUtime=0.21 cores=0,2,4,6
/proc/5900/task/5959/stat : 5959 (java) S 5897 5900 1460 0 -1 1077944384 795 12621 0 0 13 0 5 3 20 0 15 0 89968168 14321057792 33911 18446744073709551615 4194304 4196468 140729722437856 139935034607984 139935560923778 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11096064 140729722439632 140729722442417 140729722442417 140729722445775 0
[pid=5900/tid=5960] ppid=5897 vsize=13985408 CPUtime=0.24 cores=0,2,4,6
/proc/5900/task/5960/stat : 5960 (java) R 5897 5900 1460 0 -1 4202560 860 12621 0 0 16 0 5 3 20 0 15 0 89968168 14321057792 33911 18446744073709551615 4194304 4196468 140729722437856 139935033555184 139935553897673 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11096064 140729722439632 140729722442417 140729722442417 140729722445775 0
[pid=5900/tid=5961] ppid=5897 vsize=13985408 CPUtime=0.3 cores=0,2,4,6
/proc/5900/task/5961/stat : 5961 (java) R 5897 5900 1460 0 -1 1077944384 1269 12621 0 0 22 0 5 3 20 0 15 0 89968168 14321057792 33911 18446744073709551615 4194304 4196468 140729722437856 139935032502384 139935560923778 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11096064 140729722439632 140729722442417 140729722442417 140729722445775 0
[pid=5900/tid=5962] ppid=5897 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/5900/task/5962/stat : 5962 (java) S 5897 5900 1460 0 -1 1077944384 3 12621 0 0 0 0 5 3 20 0 15 0 89968168 14321057792 33911 18446744073709551615 4194304 4196468 140729722437856 139935031449824 139935560922837 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11096064 140729722439632 140729722442417 140729722442417 140729722445775 0
[pid=5900/tid=5963] ppid=5897 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/5900/task/5963/stat : 5963 (java) S 5897 5900 1460 0 -1 1077944384 10 12621 0 0 0 0 5 3 20 0 15 0 89968173 14321057792 33911 18446744073709551615 4194304 4196468 140729722437856 139935030398128 139935560923778 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11096064 140729722439632 140729722442417 140729722442417 140729722445775 0
Current children cumulated CPU time (s) 1.82
Current children cumulated vsize (KiB) 13985408

[startup+3.11322 s]
/proc/loadavg: 1.33 1.46 1.54 3/214 5963
/proc/meminfo: memFree=29792968/32770624 swapFree=0/563960
[pid=5900] ppid=5897 vsize=13993788 CPUtime=5.93 cores=0,2,4,6
/proc/5900/stat : 5900 (java) S 5897 5900 1460 0 -1 1077944320 40298 12621 0 0 564 21 5 3 20 0 15 0 89968139 14329638912 83862 18446744073709551615 4194304 4196468 140729722437856 140729722420400 139935560912631 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 6 0 0 6293624 6294260 11096064 140729722439632 140729722442417 140729722442417 140729722445775 0
/proc/5900/statm: 3498447 83862 3464 1 0 3487061 0
[pid=5900/tid=5950] ppid=5897 vsize=13993788 CPUtime=2.78 cores=0,2,4,6
/proc/5900/task/5950/stat : 5950 (java) R 5897 5900 1460 0 -1 4202560 26091 12621 0 0 260 10 5 3 20 0 15 0 89968162 14329638912 83862 18446744073709551615 4194304 4196468 140729722437856 139935565144328 139935159856439 0 4 1 16800974 0 0 0 -1 6 0 0 4 0 0 6293624 6294260 11096064 140729722439632 140729722442417 140729722442417 140729722445775 0
[pid=5900/tid=5951] ppid=5897 vsize=13993788 CPUtime=0.14 cores=0,2,4,6
/proc/5900/task/5951/stat : 5951 (java) S 5897 5900 1460 0 -1 1077944384 297 12621 0 0 4 2 5 3 20 0 15 0 89968163 14329638912 83862 18446744073709551615 4194304 4196468 140729722437856 139935480326800 139935560922837 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11096064 140729722439632 140729722442417 140729722442417 140729722445775 0
[pid=5900/tid=5952] ppid=5897 vsize=13993788 CPUtime=0.13 cores=0,2,4,6
/proc/5900/task/5952/stat : 5952 (java) S 5897 5900 1460 0 -1 1077944384 117 12621 0 0 4 1 5 3 20 0 15 0 89968163 14329638912 83862 18446744073709551615 4194304 4196468 140729722437856 139935479274000 139935560922837 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11096064 140729722439632 140729722442417 140729722442417 140729722445775 0
[pid=5900/tid=5953] ppid=5897 vsize=13993788 CPUtime=0.13 cores=0,2,4,6
/proc/5900/task/5953/stat : 5953 (java) S 5897 5900 1460 0 -1 1077944384 208 12621 0 0 4 1 5 3 20 0 15 0 89968163 14329638912 83862 18446744073709551615 4194304 4196468 140729722437856 139935478221200 139935560922837 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11096064 140729722439632 140729722442417 140729722442417 140729722445775 0
[pid=5900/tid=5954] ppid=5897 vsize=13993788 CPUtime=0.16 cores=0,2,4,6
/proc/5900/task/5954/stat : 5954 (java) S 5897 5900 1460 0 -1 1077944384 196 12621 0 0 6 2 5 3 20 0 15 0 89968163 14329638912 83862 18446744073709551615 4194304 4196468 140729722437856 139935477168400 139935560922837 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11096064 140729722439632 140729722442417 140729722442417 140729722445775 0
[pid=5900/tid=5955] ppid=5897 vsize=13993788 CPUtime=0.09 cores=0,2,4,6
/proc/5900/task/5955/stat : 5955 (java) S 5897 5900 1460 0 -1 1077944384 1249 12621 0 0 1 0 5 3 20 0 15 0 89968164 14329638912 83862 18446744073709551615 4194304 4196468 140729722437856 139935038819184 139935560923778 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11096064 140729722439632 140729722442417 140729722442417 140729722445775 0
[pid=5900/tid=5956] ppid=5897 vsize=13993788 CPUtime=0.08 cores=0,2,4,6
/proc/5900/task/5956/stat : 5956 (java) S 5897 5900 1460 0 -1 1077944384 54 12621 0 0 0 0 5 3 20 0 15 0 89968165 14329638912 83862 18446744073709551615 4194304 4196468 140729722437856 139935037765216 139935560922837 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11096064 140729722439632 140729722442417 140729722442417 140729722445775 0
[pid=5900/tid=5957] ppid=5897 vsize=13993788 CPUtime=0.08 cores=0,2,4,6
/proc/5900/task/5957/stat : 5957 (java) S 5897 5900 1460 0 -1 1077944384 44 12621 0 0 0 0 5 3 20 0 15 0 89968165 14329638912 83862 18446744073709551615 4194304 4196468 140729722437856 139935036712320 139935560922837 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11096064 140729722439632 140729722442417 140729722442417 140729722445775 0
[pid=5900/tid=5958] ppid=5897 vsize=13993788 CPUtime=0.08 cores=0,2,4,6
/proc/5900/task/5958/stat : 5958 (java) S 5897 5900 1460 0 -1 1077944384 3 12621 0 0 0 0 5 3 20 0 15 0 89968168 14329638912 83862 18446744073709551615 4194304 4196468 140729722437856 139935035660624 139935560931227 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11096064 140729722439632 140729722442417 140729722442417 140729722445775 0
[pid=5900/tid=5959] ppid=5897 vsize=13993788 CPUtime=1.07 cores=0,2,4,6
/proc/5900/task/5959/stat : 5959 (java) R 5897 5900 1460 0 -1 4202560 2920 12621 0 0 99 0 5 3 20 0 15 0 89968168 14329638912 83862 18446744073709551615 4194304 4196468 140729722437856 139935034592976 139935545226229 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11096064 140729722439632 140729722442417 140729722442417 140729722445775 0
[pid=5900/tid=5960] ppid=5897 vsize=13993788 CPUtime=1.11 cores=0,2,4,6
/proc/5900/task/5960/stat : 5960 (java) R 5897 5900 1460 0 -1 4202560 3420 12621 0 0 102 1 5 3 20 0 15 0 89968168 14329638912 83862 18446744073709551615 4194304 4196468 140729722437856 139935033534288 139935545831677 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11096064 140729722439632 140729722442417 140729722442417 140729722445775 0
[pid=5900/tid=5961] ppid=5897 vsize=13993788 CPUtime=0.87 cores=0,2,4,6
/proc/5900/task/5961/stat : 5961 (java) S 5897 5900 1460 0 -1 1077944384 3531 12621 0 0 79 0 5 3 20 0 15 0 89968168 14329638912 83862 18446744073709551615 4194304 4196468 140729722437856 139935032502384 139935560923778 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11096064 140729722439632 140729722442417 140729722442417 140729722445775 0
[pid=5900/tid=5962] ppid=5897 vsize=13993788 CPUtime=0.08 cores=0,2,4,6
/proc/5900/task/5962/stat : 5962 (java) S 5897 5900 1460 0 -1 1077944384 3 12621 0 0 0 0 5 3 20 0 15 0 89968168 14329638912 83862 18446744073709551615 4194304 4196468 140729722437856 139935031449824 139935560922837 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11096064 140729722439632 140729722442417 140729722442417 140729722445775 0
[pid=5900/tid=5963] ppid=5897 vsize=13993788 CPUtime=0.08 cores=0,2,4,6
/proc/5900/task/5963/stat : 5963 (java) S 5897 5900 1460 0 -1 1077944384 13 12621 0 0 0 0 5 3 20 0 15 0 89968173 14329638912 83862 18446744073709551615 4194304 4196468 140729722437856 139935030398128 139935560923778 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11096064 140729722439632 140729722442417 140729722442417 140729722445775 0
Current children cumulated CPU time (s) 5.93
Current children cumulated vsize (KiB) 13993788

[startup+6.30066 s]
/proc/loadavg: 1.47 1.49 1.55 2/214 5963
/proc/meminfo: memFree=29267904/32770624 swapFree=0/563960
[pid=5900] ppid=5897 vsize=13997884 CPUtime=13.06 cores=0,2,4,6
/proc/5900/stat : 5900 (java) S 5897 5900 1460 0 -1 1077944320 52279 12621 0 0 1243 55 5 3 20 0 15 0 89968139 14333833216 193461 18446744073709551615 4194304 4196468 140729722437856 140729722420400 139935560912631 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 6 0 0 6293624 6294260 11096064 140729722439632 140729722442417 140729722442417 140729722445775 0
/proc/5900/statm: 3499471 193461 3478 1 0 3488085 0
[pid=5900/tid=5950] ppid=5897 vsize=13997884 CPUtime=5.59 cores=0,2,4,6
/proc/5900/task/5950/stat : 5950 (java) R 5897 5900 1460 0 -1 4202560 27839 12621 0 0 536 15 5 3 20 0 15 0 89968162 14333833216 193461 18446744073709551615 4194304 4196468 140729722437856 139935565145120 139935154921682 0 4 1 16800974 0 0 0 -1 0 0 0 19 0 0 6293624 6294260 11096064 140729722439632 140729722442417 140729722442417 140729722445775 0
[pid=5900/tid=5951] ppid=5897 vsize=13997884 CPUtime=0.35 cores=0,2,4,6
/proc/5900/task/5951/stat : 5951 (java) S 5897 5900 1460 0 -1 1077944384 1061 12621 0 0 19 8 5 3 20 0 15 0 89968163 14333833216 193461 18446744073709551615 4194304 4196468 140729722437856 139935480326800 139935560922837 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11096064 140729722439632 140729722442417 140729722442417 140729722445775 0
[pid=5900/tid=5952] ppid=5897 vsize=13997884 CPUtime=0.33 cores=0,2,4,6
/proc/5900/task/5952/stat : 5952 (java) S 5897 5900 1460 0 -1 1077944384 829 12621 0 0 18 7 5 3 20 0 15 0 89968163 14333833216 193461 18446744073709551615 4194304 4196468 140729722437856 139935479274000 139935560922837 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11096064 140729722439632 140729722442417 140729722442417 140729722445775 0
[pid=5900/tid=5953] ppid=5897 vsize=13997884 CPUtime=0.32 cores=0,2,4,6
/proc/5900/task/5953/stat : 5953 (java) S 5897 5900 1460 0 -1 1077944384 635 12621 0 0 17 7 5 3 20 0 15 0 89968163 14333833216 193461 18446744073709551615 4194304 4196468 140729722437856 139935478221200 139935560922837 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11096064 140729722439632 140729722442417 140729722442417 140729722445775 0
[pid=5900/tid=5954] ppid=5897 vsize=13997884 CPUtime=0.37 cores=0,2,4,6
/proc/5900/task/5954/stat : 5954 (java) S 5897 5900 1460 0 -1 1077944384 582 12621 0 0 21 8 5 3 20 0 15 0 89968163 14333833216 193461 18446744073709551615 4194304 4196468 140729722437856 139935477168400 139935560922837 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11096064 140729722439632 140729722442417 140729722442417 140729722445775 0
[pid=5900/tid=5955] ppid=5897 vsize=13997884 CPUtime=0.1 cores=0,2,4,6
/proc/5900/task/5955/stat : 5955 (java) S 5897 5900 1460 0 -1 1077944384 1558 12621 0 0 2 0 5 3 20 0 15 0 89968164 14333833216 193461 18446744073709551615 4194304 4196468 140729722437856 139935038819184 139935560923778 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11096064 140729722439632 140729722442417 140729722442417 140729722445775 0
[pid=5900/tid=5956] ppid=5897 vsize=13997884 CPUtime=0.08 cores=0,2,4,6
/proc/5900/task/5956/stat : 5956 (java) S 5897 5900 1460 0 -1 1077944384 54 12621 0 0 0 0 5 3 20 0 15 0 89968165 14333833216 193461 18446744073709551615 4194304 4196468 140729722437856 139935037765216 139935560922837 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11096064 140729722439632 140729722442417 140729722442417 140729722445775 0
[pid=5900/tid=5957] ppid=5897 vsize=13997884 CPUtime=0.08 cores=0,2,4,6
/proc/5900/task/5957/stat : 5957 (java) S 5897 5900 1460 0 -1 1077944384 44 12621 0 0 0 0 5 3 20 0 15 0 89968165 14333833216 193461 18446744073709551615 4194304 4196468 140729722437856 139935036712320 139935560922837 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11096064 140729722439632 140729722442417 140729722442417 140729722445775 0
[pid=5900/tid=5958] ppid=5897 vsize=13997884 CPUtime=0.08 cores=0,2,4,6
/proc/5900/task/5958/stat : 5958 (java) S 5897 5900 1460 0 -1 1077944384 3 12621 0 0 0 0 5 3 20 0 15 0 89968168 14333833216 193461 18446744073709551615 4194304 4196468 140729722437856 139935035660624 139935560931227 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11096064 140729722439632 140729722442417 140729722442417 140729722445775 0
[pid=5900/tid=5959] ppid=5897 vsize=13997884 CPUtime=2.55 cores=0,2,4,6
/proc/5900/task/5959/stat : 5959 (java) R 5897 5900 1460 0 -1 4202560 4623 12621 0 0 246 1 5 3 20 0 15 0 89968168 14333833216 193461 18446744073709551615 4194304 4196468 140729722437856 139935034589216 139935540756225 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11096064 140729722439632 140729722442417 140729722442417 140729722445775 0
[pid=5900/tid=5960] ppid=5897 vsize=13997884 CPUtime=2.61 cores=0,2,4,6
/proc/5900/task/5960/stat : 5960 (java) R 5897 5900 1460 0 -1 4202560 5319 12621 0 0 251 2 5 3 20 0 15 0 89968168 14333833216 193461 18446744073709551615 4194304 4196468 140729722437856 139935033536784 139935545306511 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11096064 140729722439632 140729722442417 140729722442417 140729722445775 0
[pid=5900/tid=5961] ppid=5897 vsize=13997884 CPUtime=1.36 cores=0,2,4,6
/proc/5900/task/5961/stat : 5961 (java) S 5897 5900 1460 0 -1 1077944384 7300 12621 0 0 127 1 5 3 20 0 15 0 89968168 14333833216 193461 18446744073709551615 4194304 4196468 140729722437856 139935032502384 139935560923778 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11096064 140729722439632 140729722442417 140729722442417 140729722445775 0
[pid=5900/tid=5962] ppid=5897 vsize=13997884 CPUtime=0.08 cores=0,2,4,6
/proc/5900/task/5962/stat : 5962 (java) S 5897 5900 1460 0 -1 1077944384 3 12621 0 0 0 0 5 3 20 0 15 0 89968168 14333833216 193461 18446744073709551615 4194304 4196468 140729722437856 139935031449824 139935560922837 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11096064 140729722439632 140729722442417 140729722442417 140729722445775 0
[pid=5900/tid=5963] ppid=5897 vsize=13997884 CPUtime=0.08 cores=0,2,4,6
/proc/5900/task/5963/stat : 5963 (java) S 5897 5900 1460 0 -1 1077944384 277 12621 0 0 0 0 5 3 20 0 15 0 89968173 14333833216 193461 18446744073709551615 4194304 4196468 140729722437856 139935030398128 139935560923778 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 29 0 0 6293624 6294260 11096064 140729722439632 140729722442417 140729722442417 140729722445775 0
Current children cumulated CPU time (s) 13.06
Current children cumulated vsize (KiB) 13997884

[startup+12.7013 s]
/proc/loadavg: 1.51 1.50 1.55 3/214 5963
/proc/meminfo: memFree=27775652/32770624 swapFree=0/563960
[pid=5900] ppid=5897 vsize=13997884 CPUtime=23.17 cores=0,2,4,6
/proc/5900/stat : 5900 (java) S 5897 5900 1460 0 -1 1077944320 59302 12621 0 0 2191 118 5 3 20 0 15 0 89968139 14333833216 686639 18446744073709551615 4194304 4196468 140729722437856 140729722420400 139935560912631 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 6 0 0 6293624 6294260 11096064 140729722439632 140729722442417 140729722442417 140729722445775 0
/proc/5900/statm: 3499471 686639 3479 1 0 3488085 0
[pid=5900/tid=5950] ppid=5897 vsize=13997884 CPUtime=11.18 cores=0,2,4,6
/proc/5900/task/5950/stat : 5950 (java) R 5897 5900 1460 0 -1 4202560 29838 12621 0 0 1071 39 5 3 20 0 15 0 89968162 14333833216 686639 18446744073709551615 4194304 4196468 140729722437856 139935565146616 139935163187151 0 4 1 16800974 0 0 0 -1 6 0 0 19 0 0 6293624 6294260 11096064 140729722439632 140729722442417 140729722442417 140729722445775 0
[pid=5900/tid=5951] ppid=5897 vsize=13997884 CPUtime=1.08 cores=0,2,4,6
/proc/5900/task/5951/stat : 5951 (java) S 5897 5900 1460 0 -1 1077944384 1334 12621 0 0 82 18 5 3 20 0 15 0 89968163 14333833216 686639 18446744073709551615 4194304 4196468 140729722437856 139935480326800 139935560922837 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11096064 140729722439632 140729722442417 140729722442417 140729722445775 0
[pid=5900/tid=5952] ppid=5897 vsize=13997884 CPUtime=1.06 cores=0,2,4,6
/proc/5900/task/5952/stat : 5952 (java) S 5897 5900 1460 0 -1 1077944384 1214 12621 0 0 83 15 5 3 20 0 15 0 89968163 14333833216 686639 18446744073709551615 4194304 4196468 140729722437856 139935479274000 139935560922837 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11096064 140729722439632 140729722442417 140729722442417 140729722445775 0
[pid=5900/tid=5953] ppid=5897 vsize=13997884 CPUtime=1.06 cores=0,2,4,6
/proc/5900/task/5953/stat : 5953 (java) S 5897 5900 1460 0 -1 1077944384 1012 12621 0 0 81 17 5 3 20 0 15 0 89968163 14333833216 686639 18446744073709551615 4194304 4196468 140729722437856 139935478221200 139935560922837 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11096064 140729722439632 140729722442417 140729722442417 140729722445775 0
[pid=5900/tid=5954] ppid=5897 vsize=13997884 CPUtime=1.1 cores=0,2,4,6
/proc/5900/task/5954/stat : 5954 (java) S 5897 5900 1460 0 -1 1077944384 1010 12621 0 0 85 17 5 3 20 0 15 0 89968163 14333833216 686639 18446744073709551615 4194304 4196468 140729722437856 139935477168400 139935560922837 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11096064 140729722439632 140729722442417 140729722442417 140729722445775 0
[pid=5900/tid=5955] ppid=5897 vsize=13997884 CPUtime=0.16 cores=0,2,4,6
/proc/5900/task/5955/stat : 5955 (java) S 5897 5900 1460 0 -1 1077944384 3870 12621 0 0 8 0 5 3 20 0 15 0 89968164 14333833216 686639 18446744073709551615 4194304 4196468 140729722437856 139935038819184 139935560923778 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11096064 140729722439632 140729722442417 140729722442417 140729722445775 0
[pid=5900/tid=5956] ppid=5897 vsize=13997884 CPUtime=0.08 cores=0,2,4,6
/proc/5900/task/5956/stat : 5956 (java) S 5897 5900 1460 0 -1 1077944384 54 12621 0 0 0 0 5 3 20 0 15 0 89968165 14333833216 686639 18446744073709551615 4194304 4196468 140729722437856 139935037765216 139935560922837 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11096064 140729722439632 140729722442417 140729722442417 140729722445775 0
[pid=5900/tid=5957] ppid=5897 vsize=13997884 CPUtime=0.08 cores=0,2,4,6
/proc/5900/task/5957/stat : 5957 (java) S 5897 5900 1460 0 -1 1077944384 44 12621 0 0 0 0 5 3 20 0 15 0 89968165 14333833216 686639 18446744073709551615 4194304 4196468 140729722437856 139935036712320 139935560922837 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11096064 140729722439632 140729722442417 140729722442417 140729722445775 0
[pid=5900/tid=5958] ppid=5897 vsize=13997884 CPUtime=0.08 cores=0,2,4,6
/proc/5900/task/5958/stat : 5958 (java) S 5897 5900 1460 0 -1 1077944384 3 12621 0 0 0 0 5 3 20 0 15 0 89968168 14333833216 686639 18446744073709551615 4194304 4196468 140729722437856 139935035660624 139935560931227 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11096064 140729722439632 140729722442417 140729722442417 140729722445775 0

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

/proc/5900/task/5962/stat : 5962 (java) S 5897 5900 1460 0 -1 1077944384 3 12621 0 0 0 0 5 3 20 0 15 0 89968168 14405136384 1112820 18446744073709551615 4194304 4196468 140729722437856 139935031449824 139935560922837 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11096064 140729722439632 140729722442417 140729722442417 140729722445775 0
[pid=5900/tid=5963] ppid=5897 vsize=14067516 CPUtime=1.34 cores=0,2,4,6
/proc/5900/task/5963/stat : 5963 (java) S 5897 5900 1460 0 -1 1077944384 1997 12621 0 0 62 64 5 3 20 0 15 0 89968173 14405136384 1112820 18446744073709551615 4194304 4196468 140729722437856 139935030398128 139935560923778 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 29 0 0 6293624 6294260 11096064 140729722439632 140729722442417 140729722442417 140729722445775 0
Current children cumulated CPU time (s) 2322.6
Current children cumulated vsize (KiB) 14067516

[startup+2322.3 s]
/proc/loadavg: 1.44 1.56 1.52 3/213 6258
/proc/meminfo: memFree=25304264/32770624 swapFree=0/563856
[pid=5900] ppid=5897 vsize=14067516 CPUtime=2383.31 cores=0,2,4,6
/proc/5900/stat : 5900 (java) S 5897 5900 1460 0 -1 1077944320 482969 12621 0 0 237555 768 5 3 20 0 15 0 89968139 14405136384 1112825 18446744073709551615 4194304 4196468 140729722437856 140729722420400 139935560912631 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 6 0 0 6293624 6294260 11096064 140729722439632 140729722442417 140729722442417 140729722445775 0
/proc/5900/statm: 3516879 1112825 3497 1 0 3505493 0
[pid=5900/tid=5950] ppid=5897 vsize=14067516 CPUtime=2306.6 cores=0,2,4,6
/proc/5900/task/5950/stat : 5950 (java) R 5897 5900 1460 0 -1 4202560 245182 12621 0 0 230563 89 5 3 20 0 15 0 89968162 14405136384 1112825 18446744073709551615 4194304 4196468 140729722437856 139935565142224 139935168947306 0 4 1 16800974 0 0 0 -1 4 0 0 19 0 0 6293624 6294260 11096064 140729722439632 140729722442417 140729722442417 140729722445775 0
[pid=5900/tid=5951] ppid=5897 vsize=14067516 CPUtime=14.69 cores=0,2,4,6
/proc/5900/task/5951/stat : 5951 (java) S 5897 5900 1460 0 -1 1077944384 26285 12621 0 0 1309 152 5 3 20 0 15 0 89968163 14405136384 1112825 18446744073709551615 4194304 4196468 140729722437856 139935480326800 139935560922837 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11096064 140729722439632 140729722442417 140729722442417 140729722445775 0
[pid=5900/tid=5952] ppid=5897 vsize=14067516 CPUtime=14.65 cores=0,2,4,6
/proc/5900/task/5952/stat : 5952 (java) S 5897 5900 1460 0 -1 1077944384 23837 12621 0 0 1306 151 5 3 20 0 15 0 89968163 14405136384 1112825 18446744073709551615 4194304 4196468 140729722437856 139935479274000 139935560922837 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11096064 140729722439632 140729722442417 140729722442417 140729722445775 0
[pid=5900/tid=5953] ppid=5897 vsize=14067516 CPUtime=14.63 cores=0,2,4,6
/proc/5900/task/5953/stat : 5953 (java) S 5897 5900 1460 0 -1 1077944384 18177 12621 0 0 1304 151 5 3 20 0 15 0 89968163 14405136384 1112825 18446744073709551615 4194304 4196468 140729722437856 139935478221200 139935560922837 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11096064 140729722439632 140729722442417 140729722442417 140729722445775 0
[pid=5900/tid=5954] ppid=5897 vsize=14067516 CPUtime=14.71 cores=0,2,4,6
/proc/5900/task/5954/stat : 5954 (java) S 5897 5900 1460 0 -1 1077944384 30387 12621 0 0 1310 153 5 3 20 0 15 0 89968163 14405136384 1112825 18446744073709551615 4194304 4196468 140729722437856 139935477168400 139935560922837 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11096064 140729722439632 140729722442417 140729722442417 140729722445775 0
[pid=5900/tid=5955] ppid=5897 vsize=14067516 CPUtime=0.61 cores=0,2,4,6
/proc/5900/task/5955/stat : 5955 (java) S 5897 5900 1460 0 -1 1077944384 29270 12621 0 0 46 7 5 3 20 0 15 0 89968164 14405136384 1112825 18446744073709551615 4194304 4196468 140729722437856 139935038819184 139935560923778 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11096064 140729722439632 140729722442417 140729722442417 140729722445775 0
[pid=5900/tid=5956] ppid=5897 vsize=14067516 CPUtime=0.09 cores=0,2,4,6
/proc/5900/task/5956/stat : 5956 (java) S 5897 5900 1460 0 -1 1077944384 474 12621 0 0 1 0 5 3 20 0 15 0 89968165 14405136384 1112825 18446744073709551615 4194304 4196468 140729722437856 139935037765344 139935560922837 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11096064 140729722439632 140729722442417 140729722442417 140729722445775 0
[pid=5900/tid=5957] ppid=5897 vsize=14067516 CPUtime=0.08 cores=0,2,4,6
/proc/5900/task/5957/stat : 5957 (java) S 5897 5900 1460 0 -1 1077944384 56 12621 0 0 0 0 5 3 20 0 15 0 89968165 14405136384 1112825 18446744073709551615 4194304 4196468 140729722437856 139935036712320 139935560922837 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11096064 140729722439632 140729722442417 140729722442417 140729722445775 0
[pid=5900/tid=5958] ppid=5897 vsize=14067516 CPUtime=0.08 cores=0,2,4,6
/proc/5900/task/5958/stat : 5958 (java) S 5897 5900 1460 0 -1 1077944384 3 12621 0 0 0 0 5 3 20 0 15 0 89968168 14405136384 1112825 18446744073709551615 4194304 4196468 140729722437856 139935035660624 139935560931227 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11096064 140729722439632 140729722442417 140729722442417 140729722445775 0
[pid=5900/tid=5959] ppid=5897 vsize=14067516 CPUtime=6.63 cores=0,2,4,6
/proc/5900/task/5959/stat : 5959 (java) S 5897 5900 1460 0 -1 1077944384 28249 12621 0 0 651 4 5 3 20 0 15 0 89968168 14405136384 1112825 18446744073709551615 4194304 4196468 140729722437856 139935034607984 139935560923778 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11096064 140729722439632 140729722442417 140729722442417 140729722445775 0
[pid=5900/tid=5960] ppid=5897 vsize=14067516 CPUtime=7.41 cores=0,2,4,6
/proc/5900/task/5960/stat : 5960 (java) S 5897 5900 1460 0 -1 1077944384 28412 12621 0 0 728 5 5 3 20 0 15 0 89968168 14405136384 1112825 18446744073709551615 4194304 4196468 140729722437856 139935033555184 139935560923778 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11096064 140729722439632 140729722442417 140729722442417 140729722445775 0
[pid=5900/tid=5961] ppid=5897 vsize=14067516 CPUtime=2.6 cores=0,2,4,6
/proc/5900/task/5961/stat : 5961 (java) S 5897 5900 1460 0 -1 1077944384 48447 12621 0 0 247 5 5 3 20 0 15 0 89968168 14405136384 1112825 18446744073709551615 4194304 4196468 140729722437856 139935032502384 139935560923778 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11096064 140729722439632 140729722442417 140729722442417 140729722445775 0
[pid=5900/tid=5962] ppid=5897 vsize=14067516 CPUtime=0.08 cores=0,2,4,6
/proc/5900/task/5962/stat : 5962 (java) S 5897 5900 1460 0 -1 1077944384 3 12621 0 0 0 0 5 3 20 0 15 0 89968168 14405136384 1112825 18446744073709551615 4194304 4196468 140729722437856 139935031449824 139935560922837 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11096064 140729722439632 140729722442417 140729722442417 140729722445775 0
[pid=5900/tid=5963] ppid=5897 vsize=14067516 CPUtime=1.37 cores=0,2,4,6
/proc/5900/task/5963/stat : 5963 (java) S 5897 5900 1460 0 -1 1077944384 2035 12621 0 0 64 65 5 3 20 0 15 0 89968173 14405136384 1112825 18446744073709551615 4194304 4196468 140729722437856 139935030398128 139935560923778 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 29 0 0 6293624 6294260 11096064 140729722439632 140729722442417 140729722442417 140729722445775 0
Current children cumulated CPU time (s) 2383.31
Current children cumulated vsize (KiB) 14067516

[startup+2382.3 s]
/proc/loadavg: 1.65 1.58 1.53 3/213 6260
/proc/meminfo: memFree=25297588/32770624 swapFree=0/563852
[pid=5900] ppid=5897 vsize=14067516 CPUtime=2443.99 cores=0,2,4,6
/proc/5900/stat : 5900 (java) S 5897 5900 1460 0 -1 1077944320 492907 12621 0 0 243620 771 5 3 20 0 15 0 89968139 14405136384 1112830 18446744073709551615 4194304 4196468 140729722437856 140729722420400 139935560912631 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 6 0 0 6293624 6294260 11096064 140729722439632 140729722442417 140729722442417 140729722445775 0
/proc/5900/statm: 3516879 1112830 3497 1 0 3505493 0
[pid=5900/tid=5950] ppid=5897 vsize=14067516 CPUtime=2366.38 cores=0,2,4,6
/proc/5900/task/5950/stat : 5950 (java) R 5897 5900 1460 0 -1 4202560 250971 12621 0 0 236540 90 5 3 20 0 15 0 89968162 14405136384 1112830 18446744073709551615 4194304 4196468 140729722437856 139935565142224 139935163825167 0 4 1 16800974 0 0 0 -1 2 0 0 19 0 0 6293624 6294260 11096064 140729722439632 140729722442417 140729722442417 140729722445775 0
[pid=5900/tid=5951] ppid=5897 vsize=14067516 CPUtime=14.91 cores=0,2,4,6
/proc/5900/task/5951/stat : 5951 (java) S 5897 5900 1460 0 -1 1077944384 26563 12621 0 0 1331 152 5 3 20 0 15 0 89968163 14405136384 1112830 18446744073709551615 4194304 4196468 140729722437856 139935480326800 139935560922837 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11096064 140729722439632 140729722442417 140729722442417 140729722445775 0
[pid=5900/tid=5952] ppid=5897 vsize=14067516 CPUtime=14.86 cores=0,2,4,6
/proc/5900/task/5952/stat : 5952 (java) S 5897 5900 1460 0 -1 1077944384 24623 12621 0 0 1327 151 5 3 20 0 15 0 89968163 14405136384 1112830 18446744073709551615 4194304 4196468 140729722437856 139935479274000 139935560922837 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11096064 140729722439632 140729722442417 140729722442417 140729722445775 0
[pid=5900/tid=5953] ppid=5897 vsize=14067516 CPUtime=14.85 cores=0,2,4,6
/proc/5900/task/5953/stat : 5953 (java) S 5897 5900 1460 0 -1 1077944384 20048 12621 0 0 1326 151 5 3 20 0 15 0 89968163 14405136384 1112830 18446744073709551615 4194304 4196468 140729722437856 139935478221200 139935560922837 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11096064 140729722439632 140729722442417 140729722442417 140729722445775 0
[pid=5900/tid=5954] ppid=5897 vsize=14067516 CPUtime=14.93 cores=0,2,4,6
/proc/5900/task/5954/stat : 5954 (java) S 5897 5900 1460 0 -1 1077944384 31035 12621 0 0 1332 153 5 3 20 0 15 0 89968163 14405136384 1112830 18446744073709551615 4194304 4196468 140729722437856 139935477168400 139935560922837 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11096064 140729722439632 140729722442417 140729722442417 140729722445775 0
[pid=5900/tid=5955] ppid=5897 vsize=14067516 CPUtime=0.63 cores=0,2,4,6
/proc/5900/task/5955/stat : 5955 (java) S 5897 5900 1460 0 -1 1077944384 29782 12621 0 0 47 8 5 3 20 0 15 0 89968164 14405136384 1112830 18446744073709551615 4194304 4196468 140729722437856 139935038819184 139935560923778 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11096064 140729722439632 140729722442417 140729722442417 140729722445775 0
[pid=5900/tid=5956] ppid=5897 vsize=14067516 CPUtime=0.09 cores=0,2,4,6
/proc/5900/task/5956/stat : 5956 (java) S 5897 5900 1460 0 -1 1077944384 476 12621 0 0 1 0 5 3 20 0 15 0 89968165 14405136384 1112830 18446744073709551615 4194304 4196468 140729722437856 139935037765344 139935560922837 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11096064 140729722439632 140729722442417 140729722442417 140729722445775 0
[pid=5900/tid=5957] ppid=5897 vsize=14067516 CPUtime=0.08 cores=0,2,4,6
/proc/5900/task/5957/stat : 5957 (java) S 5897 5900 1460 0 -1 1077944384 56 12621 0 0 0 0 5 3 20 0 15 0 89968165 14405136384 1112830 18446744073709551615 4194304 4196468 140729722437856 139935036712320 139935560922837 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11096064 140729722439632 140729722442417 140729722442417 140729722445775 0
[pid=5900/tid=5958] ppid=5897 vsize=14067516 CPUtime=0.08 cores=0,2,4,6
/proc/5900/task/5958/stat : 5958 (java) S 5897 5900 1460 0 -1 1077944384 3 12621 0 0 0 0 5 3 20 0 15 0 89968168 14405136384 1112830 18446744073709551615 4194304 4196468 140729722437856 139935035660624 139935560931227 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11096064 140729722439632 140729722442417 140729722442417 140729722445775 0
[pid=5900/tid=5959] ppid=5897 vsize=14067516 CPUtime=6.63 cores=0,2,4,6
/proc/5900/task/5959/stat : 5959 (java) S 5897 5900 1460 0 -1 1077944384 28252 12621 0 0 651 4 5 3 20 0 15 0 89968168 14405136384 1112830 18446744073709551615 4194304 4196468 140729722437856 139935034607984 139935560923778 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11096064 140729722439632 140729722442417 140729722442417 140729722445775 0
[pid=5900/tid=5960] ppid=5897 vsize=14067516 CPUtime=7.41 cores=0,2,4,6
/proc/5900/task/5960/stat : 5960 (java) S 5897 5900 1460 0 -1 1077944384 28420 12621 0 0 728 5 5 3 20 0 15 0 89968168 14405136384 1112830 18446744073709551615 4194304 4196468 140729722437856 139935033555184 139935560923778 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11096064 140729722439632 140729722442417 140729722442417 140729722445775 0
[pid=5900/tid=5961] ppid=5897 vsize=14067516 CPUtime=2.6 cores=0,2,4,6
/proc/5900/task/5961/stat : 5961 (java) S 5897 5900 1460 0 -1 1077944384 48451 12621 0 0 247 5 5 3 20 0 15 0 89968168 14405136384 1112830 18446744073709551615 4194304 4196468 140729722437856 139935032502384 139935560923778 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11096064 140729722439632 140729722442417 140729722442417 140729722445775 0
[pid=5900/tid=5962] ppid=5897 vsize=14067516 CPUtime=0.08 cores=0,2,4,6
/proc/5900/task/5962/stat : 5962 (java) S 5897 5900 1460 0 -1 1077944384 3 12621 0 0 0 0 5 3 20 0 15 0 89968168 14405136384 1112830 18446744073709551615 4194304 4196468 140729722437856 139935031449824 139935560922837 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11096064 140729722439632 140729722442417 140729722442417 140729722445775 0
[pid=5900/tid=5963] ppid=5897 vsize=14067516 CPUtime=1.4 cores=0,2,4,6
/proc/5900/task/5963/stat : 5963 (java) S 5897 5900 1460 0 -1 1077944384 2072 12621 0 0 65 67 5 3 20 0 15 0 89968173 14405136384 1112830 18446744073709551615 4194304 4196468 140729722437856 139935030398128 139935560923778 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 29 0 0 6293624 6294260 11096064 140729722439632 140729722442417 140729722442417 140729722445775 0
Current children cumulated CPU time (s) 2443.99
Current children cumulated vsize (KiB) 14067516

[startup+2442.3 s]
/proc/loadavg: 1.88 1.66 1.56 3/213 6263
/proc/meminfo: memFree=25289548/32770624 swapFree=0/563868
[pid=5900] ppid=5897 vsize=14067516 CPUtime=2504.59 cores=0,2,4,6
/proc/5900/stat : 5900 (java) S 5897 5900 1460 0 -1 1077944320 499000 12621 0 0 249678 773 5 3 20 0 15 0 89968139 14405136384 1112830 18446744073709551615 4194304 4196468 140729722437856 140729722420400 139935560912631 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 6 0 0 6293624 6294260 11096064 140729722439632 140729722442417 140729722442417 140729722445775 0
/proc/5900/statm: 3516879 1112830 3497 1 0 3505493 0
[pid=5900/tid=5950] ppid=5897 vsize=14067516 CPUtime=2426.18 cores=0,2,4,6
/proc/5900/task/5950/stat : 5950 (java) R 5897 5900 1460 0 -1 4202560 256126 12621 0 0 242519 91 5 3 20 0 15 0 89968162 14405136384 1112830 18446744073709551615 4194304 4196468 140729722437856 139935565142224 139935163824948 0 4 1 16800974 0 0 0 -1 4 0 0 19 0 0 6293624 6294260 11096064 140729722439632 140729722442417 140729722442417 140729722445775 0
[pid=5900/tid=5951] ppid=5897 vsize=14067516 CPUtime=15.09 cores=0,2,4,6
/proc/5900/task/5951/stat : 5951 (java) S 5897 5900 1460 0 -1 1077944384 26603 12621 0 0 1349 152 5 3 20 0 15 0 89968163 14405136384 1112830 18446744073709551615 4194304 4196468 140729722437856 139935480326800 139935560922837 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11096064 140729722439632 140729722442417 140729722442417 140729722445775 0
[pid=5900/tid=5952] ppid=5897 vsize=14067516 CPUtime=15.05 cores=0,2,4,6
/proc/5900/task/5952/stat : 5952 (java) S 5897 5900 1460 0 -1 1077944384 24644 12621 0 0 1346 151 5 3 20 0 15 0 89968163 14405136384 1112830 18446744073709551615 4194304 4196468 140729722437856 139935479274000 139935560922837 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11096064 140729722439632 140729722442417 140729722442417 140729722445775 0
[pid=5900/tid=5953] ppid=5897 vsize=14067516 CPUtime=15.03 cores=0,2,4,6
/proc/5900/task/5953/stat : 5953 (java) S 5897 5900 1460 0 -1 1077944384 20083 12621 0 0 1344 151 5 3 20 0 15 0 89968163 14405136384 1112830 18446744073709551615 4194304 4196468 140729722437856 139935478221200 139935560922837 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11096064 140729722439632 140729722442417 140729722442417 140729722445775 0
[pid=5900/tid=5954] ppid=5897 vsize=14067516 CPUtime=15.12 cores=0,2,4,6
/proc/5900/task/5954/stat : 5954 (java) S 5897 5900 1460 0 -1 1077944384 31059 12621 0 0 1351 153 5 3 20 0 15 0 89968163 14405136384 1112830 18446744073709551615 4194304 4196468 140729722437856 139935477168400 139935560922837 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11096064 140729722439632 140729722442417 140729722442417 140729722445775 0
[pid=5900/tid=5955] ppid=5897 vsize=14067516 CPUtime=0.63 cores=0,2,4,6
/proc/5900/task/5955/stat : 5955 (java) S 5897 5900 1460 0 -1 1077944384 29837 12621 0 0 47 8 5 3 20 0 15 0 89968164 14405136384 1112830 18446744073709551615 4194304 4196468 140729722437856 139935038819184 139935560923778 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11096064 140729722439632 140729722442417 140729722442417 140729722445775 0
[pid=5900/tid=5956] ppid=5897 vsize=14067516 CPUtime=0.09 cores=0,2,4,6
/proc/5900/task/5956/stat : 5956 (java) S 5897 5900 1460 0 -1 1077944384 476 12621 0 0 1 0 5 3 20 0 15 0 89968165 14405136384 1112830 18446744073709551615 4194304 4196468 140729722437856 139935037765344 139935560922837 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11096064 140729722439632 140729722442417 140729722442417 140729722445775 0
[pid=5900/tid=5957] ppid=5897 vsize=14067516 CPUtime=0.08 cores=0,2,4,6
/proc/5900/task/5957/stat : 5957 (java) S 5897 5900 1460 0 -1 1077944384 56 12621 0 0 0 0 5 3 20 0 15 0 89968165 14405136384 1112830 18446744073709551615 4194304 4196468 140729722437856 139935036712320 139935560922837 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11096064 140729722439632 140729722442417 140729722442417 140729722445775 0
[pid=5900/tid=5958] ppid=5897 vsize=14067516 CPUtime=0.08 cores=0,2,4,6
/proc/5900/task/5958/stat : 5958 (java) S 5897 5900 1460 0 -1 1077944384 3 12621 0 0 0 0 5 3 20 0 15 0 89968168 14405136384 1112830 18446744073709551615 4194304 4196468 140729722437856 139935035660624 139935560931227 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11096064 140729722439632 140729722442417 140729722442417 140729722445775 0
[pid=5900/tid=5959] ppid=5897 vsize=14067516 CPUtime=6.64 cores=0,2,4,6
/proc/5900/task/5959/stat : 5959 (java) S 5897 5900 1460 0 -1 1077944384 28960 12621 0 0 652 4 5 3 20 0 15 0 89968168 14405136384 1112830 18446744073709551615 4194304 4196468 140729722437856 139935034607984 139935560923778 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11096064 140729722439632 140729722442417 140729722442417 140729722445775 0
[pid=5900/tid=5960] ppid=5897 vsize=14067516 CPUtime=7.41 cores=0,2,4,6
/proc/5900/task/5960/stat : 5960 (java) S 5897 5900 1460 0 -1 1077944384 28424 12621 0 0 728 5 5 3 20 0 15 0 89968168 14405136384 1112830 18446744073709551615 4194304 4196468 140729722437856 139935033555184 139935560923778 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11096064 140729722439632 140729722442417 140729722442417 140729722445775 0
[pid=5900/tid=5961] ppid=5897 vsize=14067516 CPUtime=2.6 cores=0,2,4,6
/proc/5900/task/5961/stat : 5961 (java) S 5897 5900 1460 0 -1 1077944384 48460 12621 0 0 247 5 5 3 20 0 15 0 89968168 14405136384 1112830 18446744073709551615 4194304 4196468 140729722437856 139935032502384 139935560923778 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11096064 140729722439632 140729722442417 140729722442417 140729722445775 0
[pid=5900/tid=5962] ppid=5897 vsize=14067516 CPUtime=0.08 cores=0,2,4,6
/proc/5900/task/5962/stat : 5962 (java) S 5897 5900 1460 0 -1 1077944384 3 12621 0 0 0 0 5 3 20 0 15 0 89968168 14405136384 1112830 18446744073709551615 4194304 4196468 140729722437856 139935031449824 139935560922837 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11096064 140729722439632 140729722442417 140729722442417 140729722445775 0
[pid=5900/tid=5963] ppid=5897 vsize=14067516 CPUtime=1.43 cores=0,2,4,6
/proc/5900/task/5963/stat : 5963 (java) S 5897 5900 1460 0 -1 1077944384 2114 12621 0 0 67 68 5 3 20 0 15 0 89968173 14405136384 1112830 18446744073709551615 4194304 4196468 140729722437856 139935030398128 139935560923778 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 29 0 0 6293624 6294260 11096064 140729722439632 140729722442417 140729722442417 140729722445775 0
Current children cumulated CPU time (s) 2504.59
Current children cumulated vsize (KiB) 14067516



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2457.6 s]
/proc/loadavg: 1.91 1.67 1.57 3/213 6263
/proc/meminfo: memFree=25287660/32770624 swapFree=0/563872
[pid=5900] ppid=5897 vsize=14067516 CPUtime=2520.08 cores=0,2,4,6
/proc/5900/stat : 5900 (java) S 5897 5900 1460 0 -1 1077944320 505109 12621 0 0 251227 773 5 3 20 0 15 0 89968139 14405136384 1112838 18446744073709551615 4194304 4196468 140729722437856 140729722420400 139935560912631 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 6 0 0 6293624 6294260 11096064 140729722439632 140729722442417 140729722442417 140729722445775 0
/proc/5900/statm: 3516879 1112838 3503 1 0 3505493 0
[pid=5900/tid=5950] ppid=5897 vsize=14067516 CPUtime=2441.43 cores=0,2,4,6
/proc/5900/task/5950/stat : 5950 (java) R 5897 5900 1460 0 -1 4202560 257848 12621 0 0 244044 91 5 3 20 0 15 0 89968162 14405136384 1112838 18446744073709551615 4194304 4196468 140729722437856 139935565142224 139935170744246 0 4 1 16800974 0 0 0 -1 4 0 0 19 0 0 6293624 6294260 11096064 140729722439632 140729722442417 140729722442417 140729722445775 0
[pid=5900/tid=5951] ppid=5897 vsize=14067516 CPUtime=15.15 cores=0,2,4,6
/proc/5900/task/5951/stat : 5951 (java) S 5897 5900 1460 0 -1 1077944384 26636 12621 0 0 1355 152 5 3 20 0 15 0 89968163 14405136384 1112838 18446744073709551615 4194304 4196468 140729722437856 139935480326800 139935560922837 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11096064 140729722439632 140729722442417 140729722442417 140729722445775 0
[pid=5900/tid=5952] ppid=5897 vsize=14067516 CPUtime=15.1 cores=0,2,4,6
/proc/5900/task/5952/stat : 5952 (java) S 5897 5900 1460 0 -1 1077944384 26262 12621 0 0 1351 151 5 3 20 0 15 0 89968163 14405136384 1112838 18446744073709551615 4194304 4196468 140729722437856 139935479274000 139935560922837 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11096064 140729722439632 140729722442417 140729722442417 140729722445775 0
[pid=5900/tid=5953] ppid=5897 vsize=14067516 CPUtime=15.09 cores=0,2,4,6
/proc/5900/task/5953/stat : 5953 (java) S 5897 5900 1460 0 -1 1077944384 20499 12621 0 0 1350 151 5 3 20 0 15 0 89968163 14405136384 1112838 18446744073709551615 4194304 4196468 140729722437856 139935478221200 139935560922837 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11096064 140729722439632 140729722442417 140729722442417 140729722445775 0
[pid=5900/tid=5954] ppid=5897 vsize=14067516 CPUtime=15.17 cores=0,2,4,6
/proc/5900/task/5954/stat : 5954 (java) S 5897 5900 1460 0 -1 1077944384 31498 12621 0 0 1356 153 5 3 20 0 15 0 89968163 14405136384 1112838 18446744073709551615 4194304 4196468 140729722437856 139935477168400 139935560922837 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11096064 140729722439632 140729722442417 140729722442417 140729722445775 0
[pid=5900/tid=5955] ppid=5897 vsize=14067516 CPUtime=0.63 cores=0,2,4,6
/proc/5900/task/5955/stat : 5955 (java) S 5897 5900 1460 0 -1 1077944384 30135 12621 0 0 47 8 5 3 20 0 15 0 89968164 14405136384 1112838 18446744073709551615 4194304 4196468 140729722437856 139935038819184 139935560923778 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11096064 140729722439632 140729722442417 140729722442417 140729722445775 0
[pid=5900/tid=5956] ppid=5897 vsize=14067516 CPUtime=0.09 cores=0,2,4,6
/proc/5900/task/5956/stat : 5956 (java) S 5897 5900 1460 0 -1 1077944384 478 12621 0 0 1 0 5 3 20 0 15 0 89968165 14405136384 1112838 18446744073709551615 4194304 4196468 140729722437856 139935037765344 139935560922837 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11096064 140729722439632 140729722442417 140729722442417 140729722445775 0
[pid=5900/tid=5957] ppid=5897 vsize=14067516 CPUtime=0.08 cores=0,2,4,6
/proc/5900/task/5957/stat : 5957 (java) S 5897 5900 1460 0 -1 1077944384 56 12621 0 0 0 0 5 3 20 0 15 0 89968165 14405136384 1112838 18446744073709551615 4194304 4196468 140729722437856 139935036712320 139935560922837 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11096064 140729722439632 140729722442417 140729722442417 140729722445775 0
[pid=5900/tid=5958] ppid=5897 vsize=14067516 CPUtime=0.08 cores=0,2,4,6
/proc/5900/task/5958/stat : 5958 (java) S 5897 5900 1460 0 -1 1077944384 3 12621 0 0 0 0 5 3 20 0 15 0 89968168 14405136384 1112838 18446744073709551615 4194304 4196468 140729722437856 139935035660624 139935560931227 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11096064 140729722439632 140729722442417 140729722442417 140729722445775 0
[pid=5900/tid=5959] ppid=5897 vsize=14067516 CPUtime=6.64 cores=0,2,4,6
/proc/5900/task/5959/stat : 5959 (java) S 5897 5900 1460 0 -1 1077944384 28960 12621 0 0 652 4 5 3 20 0 15 0 89968168 14405136384 1112838 18446744073709551615 4194304 4196468 140729722437856 139935034607984 139935560923778 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11096064 140729722439632 140729722442417 140729722442417 140729722445775 0
[pid=5900/tid=5960] ppid=5897 vsize=14067516 CPUtime=7.43 cores=0,2,4,6
/proc/5900/task/5960/stat : 5960 (java) S 5897 5900 1460 0 -1 1077944384 29996 12621 0 0 730 5 5 3 20 0 15 0 89968168 14405136384 1112838 18446744073709551615 4194304 4196468 140729722437856 139935033555184 139935560923778 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11096064 140729722439632 140729722442417 140729722442417 140729722445775 0
[pid=5900/tid=5961] ppid=5897 vsize=14067516 CPUtime=2.6 cores=0,2,4,6
/proc/5900/task/5961/stat : 5961 (java) S 5897 5900 1460 0 -1 1077944384 48460 12621 0 0 247 5 5 3 20 0 15 0 89968168 14405136384 1112838 18446744073709551615 4194304 4196468 140729722437856 139935032502384 139935560923778 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11096064 140729722439632 140729722442417 140729722442417 140729722445775 0
[pid=5900/tid=5962] ppid=5897 vsize=14067516 CPUtime=0.08 cores=0,2,4,6
/proc/5900/task/5962/stat : 5962 (java) S 5897 5900 1460 0 -1 1077944384 3 12621 0 0 0 0 5 3 20 0 15 0 89968168 14405136384 1112838 18446744073709551615 4194304 4196468 140729722437856 139935031449824 139935560922837 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11096064 140729722439632 140729722442417 140729722442417 140729722445775 0
[pid=5900/tid=5963] ppid=5897 vsize=14067516 CPUtime=1.44 cores=0,2,4,6
/proc/5900/task/5963/stat : 5963 (java) S 5897 5900 1460 0 -1 1077944384 2123 12621 0 0 67 69 5 3 20 0 15 0 89968173 14405136384 1112838 18446744073709551615 4194304 4196468 140729722437856 139935030398128 139935560923778 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 29 0 0 6293624 6294260 11096064 140729722439632 140729722442417 140729722442417 140729722445775 0
Current children cumulated CPU time (s) 2520.08
Current children cumulated vsize (KiB) 14067516

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

Child status: 143
Real time (s): 2457.66
CPU time (s): 2520.14
CPU user time (s): 2512.34
CPU system time (s): 7.80144
CPU usage (%): 102.543
Max. virtual memory (cumulated for all children) (KiB): 14067516

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2512.34
system time used= 7.80144
maximum resident set size= 4451988
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 519812
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3144
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 68528
involuntary context switches= 2848

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.6799 second user time and 10.8698 second system time

The end

Launcher Data 

Begin job on node134 at 2017-08-11 05:56:23
IDJOB=4261966
IDBENCH=120625
IDSOLVER=2650
FILE ID=node134/4261966-1502424619
RUNJOBID= node134-1502411438-1523
PBS_JOBID= 
Free space on /tmp= 62004 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-4261966-1502424619/watcher-4261966-1502424619 -o /tmp/evaluation-result-4261966-1502424619/solver-4261966-1502424619 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1502411438-1523 --watchdog 2580  bin/concrete HOME/instance-4261966-1502424619.xml

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

MD5SUM BENCH= 1f75bed7d5113015eb943bda0c7ab47c
RANDOM SEED=1750670325

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        29961420 kB
MemAvailable:   30926792 kB
Buffers:          280792 kB
Cached:           978924 kB
SwapCached:            0 kB
Active:          1777304 kB
Inactive:         594988 kB
Active(anon):    1115384 kB
Inactive(anon):    31216 kB
Active(file):     661920 kB
Inactive(file):   563772 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             28392 kB
Writeback:             4 kB
AnonPages:       1112992 kB
Mapped:            63244 kB
Shmem:             33468 kB
Slab:             137836 kB
SReclaimable:     111032 kB
SUnreclaim:        26804 kB
KernelStack:        3504 kB
PageTables:         7608 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2045516 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      354332 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    903168 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      101760 kB
DirectMap2M:    33443840 kB

Free space on /tmp at the end= 61980 MiB
End job on node134 at 2017-08-11 06:37:20