Trace number 4298307

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
The dodo solver 2018-04-29SAT (TO)1851143 2520.08 2485.94

General information on the benchmark

NameRlfap_mini/Rlfap-opt_mini/
Rlfap-ext-scen-10-opt_c18.xml
MD5SUMd97bf760713e7741c92fd1268dd09e15
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark647980
Best CPU time to get the best result obtained on this benchmark2520.14
Satisfiable
(Un)Satisfiability was proved
Number of variables4749
Number of constraints4689
Number of domains11
Minimum domain size2
Maximum domain size44
Distribution of domain sizes[{"size":2,"count":4069},{"size":6,"count":2},{"size":22,"count":10},{"size":24,"count":4},{"size":36,"count":336},{"size":44,"count":328}]
Minimum variable degree2
Maximum variable degree63
Distribution of variable degrees[{"degree":2,"count":4070},{"degree":3,"count":1},{"degree":4,"count":27},{"degree":5,"count":22},{"degree":6,"count":78},{"degree":7,"count":29},{"degree":8,"count":79},{"degree":9,"count":23},{"degree":10,"count":77},{"degree":11,"count":29},{"degree":12,"count":39},{"degree":13,"count":29},{"degree":14,"count":40},{"degree":15,"count":18},{"degree":16,"count":32},{"degree":17,"count":15},{"degree":18,"count":21},{"degree":19,"count":8},{"degree":20,"count":16},{"degree":21,"count":14},{"degree":22,"count":10},{"degree":23,"count":9},{"degree":24,"count":6},{"degree":25,"count":9},{"degree":26,"count":6},{"degree":27,"count":3},{"degree":28,"count":8},{"degree":29,"count":6},{"degree":30,"count":3},{"degree":31,"count":5},{"degree":32,"count":1},{"degree":36,"count":3},{"degree":37,"count":3},{"degree":39,"count":2},{"degree":40,"count":2},{"degree":43,"count":1},{"degree":44,"count":1},{"degree":45,"count":1},{"degree":48,"count":1},{"degree":56,"count":1},{"degree":63,"count":1}]
Minimum constraint arity1
Maximum constraint arity3
Distribution of constraint arities[{"arity":1,"count":280},{"arity":2,"count":646},{"arity":3,"count":3763}]
Number of extensional constraints4409
Number of intensional constraints280
Distribution of constraint types[{"type":"extension","count":4409},{"type":"intension","count":280}]
Optimization problemYES
Type of objectivemin SUM

Quality of the solution as a function of time


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

Solver Data 

0.12/0.13	c version: 2018-04-11
0.12/0.13	c seed: 1811631
0.12/0.13	c timeout: 2520
0.12/0.13	c memlimit: -1
0.12/0.13	c nbcore: -1
79.30/52.92	o 3693052
79.30/52.93	o 3692852
79.30/52.96	o 3692652
79.77/53.11	o 3493252
79.77/53.15	o 3493052
79.77/53.17	o 3492852
79.77/53.18	o 3492652
81.23/54.54	o 3473252
81.23/54.57	o 3473052
81.23/54.58	o 3472852
81.23/54.59	o 3472652
81.53/54.73	o 3453253
81.53/54.76	o 3453053
81.53/54.77	o 3452853
81.53/54.77	o 3452653
83.18/56.33	o 3433254
83.18/56.37	o 3433054
83.18/56.39	o 3432854
83.33/56.40	o 3432654
84.04/57.13	o 3432454
84.04/57.16	o 3293253
85.04/58.11	o 3273254
85.13/58.27	o 3273253
85.13/58.28	o 3253254
85.23/58.35	o 3233255
85.34/58.46	o 3233055
85.44/58.51	o 3232855
85.44/58.56	o 3232854
85.44/58.56	o 3232654
86.24/59.35	o 3232455
86.35/59.41	o 3093254
87.55/60.65	o 3073254
87.65/60.71	o 3053255
87.65/60.77	o 3033256
87.75/60.84	o 3033255
87.75/60.85	o 3033055
87.85/60.94	o 3032855
87.85/60.95	o 3032655
88.06/61.13	o 3013257
88.06/61.16	o 3013057
88.06/61.17	o 3012857
88.06/61.19	o 3012856
88.06/61.20	o 3012656
88.45/61.53	o 3012457
89.75/62.86	o 3012456
89.75/62.86	o 3012257
89.85/62.96	o 2893254
91.66/64.35	o 2873255
91.76/64.45	o 2873056
92.16/64.89	o 2853255
92.26/64.92	o 2853056
92.37/65.02	o 2833256
92.37/65.04	o 2833057
92.47/65.12	o 2813257
92.47/65.15	o 2813058
92.56/65.26	o 2813057
92.56/65.27	o 2812858
92.56/65.28	o 2812857
92.56/65.28	o 2812658
92.66/65.33	o 2812657
92.66/65.34	o 2812656
92.66/65.35	o 2812457
92.96/65.69	o 2793258
93.06/65.72	o 2793059
93.06/65.75	o 2793058
93.06/65.75	o 2793057
93.06/65.76	o 2792858
93.06/65.78	o 2792857
93.06/65.78	o 2792658
93.06/65.79	o 2792657
93.17/65.80	o 2792458
93.48/66.15	o 2773259
93.48/66.18	o 2773060
93.57/66.21	o 2773059
93.57/66.22	o 2772860
93.57/66.23	o 2772859
93.57/66.24	o 2772660
93.57/66.25	o 2772659
93.57/66.26	o 2772658
93.57/66.26	o 2772459
93.77/66.45	o 2772261
93.97/66.66	o 2753061
94.07/66.70	o 2752862
94.07/66.72	o 2752861
94.07/66.73	o 2752860
94.07/66.73	o 2752661
94.07/66.75	o 2752660
94.07/66.75	o 2752461
94.07/66.76	o 2752460
94.07/66.77	o 2752261
94.48/67.11	o 2752062
96.17/68.84	o 2733059
96.17/68.88	o 2732860
96.27/68.91	o 2732661
96.27/68.93	o 2732660
96.27/68.94	o 2732461
96.27/68.95	o 2732460
96.27/68.96	o 2732261
96.27/68.97	o 2732260
96.27/68.98	o 2732259
96.27/68.98	o 2732060
99.08/71.76	o 2732059
99.08/71.77	o 2731860
99.28/71.96	o 2731859
99.28/71.97	o 2731660
99.48/72.15	o 2731659
99.48/72.16	o 2731460
101.78/74.42	o 2693262
101.78/74.44	o 2693063
101.78/74.46	o 2673260
101.78/74.49	o 2673061
101.88/74.51	o 2653262
101.88/74.54	o 2653063
101.98/74.64	o 2653062
101.98/74.65	o 2652863
101.98/74.66	o 2652862
101.98/74.68	o 2652662
101.98/74.69	o 2652661
102.08/74.71	o 2652463
102.08/74.72	o 2652462
102.08/74.73	o 2652461
102.08/74.73	o 2652460
102.08/74.76	o 2633265
102.18/74.84	o 2633264
102.18/74.85	o 2633065
102.18/74.86	o 2633064
102.18/74.88	o 2632865
102.18/74.89	o 2632864
102.28/74.91	o 2632666
102.28/74.92	o 2632665
102.28/74.93	o 2632664
102.28/74.94	o 2632663
102.28/74.95	o 2632662
102.28/74.96	o 2632661
102.28/74.96	o 2632660
102.28/74.97	o 2632659
102.28/74.98	o 2632462
102.28/74.99	o 2632461
102.28/75.00	o 2632460
102.28/75.00	o 2632459
102.39/75.06	o 2613265
102.49/75.13	o 2613065
102.49/75.15	o 2612865
102.49/75.17	o 2612666
102.49/75.19	o 2612665
102.58/75.20	o 2612664
102.58/75.20	o 2612663
102.58/75.22	o 2612662
102.58/75.23	o 2612661
102.58/75.23	o 2612660
102.58/75.24	o 2612659
102.58/75.25	o 2612462
102.58/75.26	o 2612461
102.58/75.27	o 2612460
102.58/75.27	o 2612459
102.69/75.33	o 2612263
102.69/75.34	o 2612262
102.69/75.35	o 2612261
102.69/75.35	o 2612260
102.79/75.43	o 2593064
102.79/75.49	o 2592864
102.89/75.52	o 2592664
102.89/75.54	o 2592663
102.89/75.55	o 2592662
102.89/75.55	o 2592661
102.89/75.57	o 2592465
102.89/75.58	o 2592464
102.89/75.59	o 2592463
102.89/75.59	o 2592462
102.99/75.61	o 2592461
102.99/75.62	o 2592460
102.99/75.62	o 2592459
102.99/75.63	o 2592458
102.99/75.64	o 2592261
102.99/75.65	o 2592259
102.99/75.66	o 2592258
103.09/75.72	o 2592061
103.09/75.74	o 2592059
103.19/75.82	o 2573063
103.19/75.88	o 2572863
103.29/75.91	o 2572663
103.29/75.93	o 2572662
103.29/75.94	o 2572463
103.29/75.97	o 2572264
103.29/75.99	o 2572263
103.29/76.00	o 2572260
103.40/76.01	o 2572259
103.40/76.02	o 2572060
103.51/76.11	o 2553064
103.51/76.17	o 2552864
103.60/76.20	o 2552664
103.60/76.23	o 2552465
103.60/76.24	o 2552464
103.60/76.25	o 2552265
103.60/76.27	o 2552264
103.60/76.28	o 2552261
103.60/76.29	o 2552260
103.70/76.30	o 2552061
103.80/76.40	o 2533065
103.80/76.47	o 2532865
103.90/76.50	o 2532665
103.90/76.52	o 2532466
103.90/76.54	o 2532465
103.90/76.54	o 2532462
103.90/76.55	o 2532461
103.90/76.56	o 2532262
103.90/76.58	o 2532261
103.90/76.59	o 2532062
104.00/76.67	o 2532061
104.00/76.68	o 2531862
104.10/76.70	o 2531861
104.10/76.71	o 2531662
104.10/76.77	o 2531661
104.10/76.78	o 2531660
104.10/76.79	o 2531461
105.60/78.20	o 2493266
105.60/78.25	o 2493066
105.60/78.28	o 2473268
105.70/78.36	o 2473068
105.70/78.38	o 2472869
105.80/78.40	o 2472867
105.80/78.42	o 2453266
105.90/78.50	o 2453066
105.90/78.52	o 2452867
105.90/78.54	o 2452865
105.90/78.57	o 2433266
106.00/78.65	o 2433066
106.00/78.67	o 2432867
106.00/78.69	o 2432865
106.10/78.77	o 2413267
106.20/78.85	o 2413067
106.20/78.87	o 2412868
106.20/78.89	o 2412866
106.30/78.96	o 2412668
106.30/78.97	o 2412666
106.41/79.05	o 2393266
108.00/79.50	o 2393066
108.00/79.52	o 2392867
108.00/79.54	o 2392866
108.00/79.55	o 2392667
108.10/79.61	o 2392666
108.10/79.65	o 2373068
108.20/79.74	o 2372868
108.20/79.76	o 2372668
108.20/79.79	o 2372666
108.30/79.80	o 2372665
108.30/79.83	o 2353066
108.40/79.91	o 2352866
108.40/79.93	o 2352666
108.51/80.01	o 2352467
108.51/80.08	o 2352466
108.51/80.09	o 2352267
108.61/80.15	o 2352266
108.61/80.19	o 2333065
108.71/80.27	o 2332865
108.81/80.30	o 2332665
108.81/80.32	o 2332664
108.81/80.33	o 2332465
108.81/80.36	o 2332266
108.91/80.48	o 2332265
108.91/80.49	o 2332262
108.91/80.50	o 2332261
109.01/80.51	o 2332062
109.01/80.58	o 2332061
109.01/80.59	o 2331862
109.11/80.61	o 2331861
109.11/80.62	o 2331662
109.21/80.74	o 2331661
109.21/80.75	o 2331660
109.21/80.76	o 2331461
110.62/82.18	o 2313269
110.71/82.26	o 2313067
110.81/82.31	o 2312867
110.81/82.34	o 2312667
110.81/82.37	o 2312468
110.81/82.39	o 2312467
110.91/82.40	o 2312268
110.91/82.42	o 2312267
110.91/82.43	o 2312264
110.91/82.44	o 2312263
110.91/82.45	o 2312064
110.91/82.48	o 2312063
110.91/82.49	o 2311864
111.01/82.51	o 2311863
111.01/82.53	o 2311664
111.01/82.56	o 2311663
111.01/82.57	o 2311662
111.01/82.58	o 2311463
111.41/83.00	o 2311455
111.71/83.20	o 2311450
112.01/83.59	o 2311448
112.81/84.39	o 2311447
112.92/84.43	o 2311268
112.92/84.45	o 2311255
112.92/84.46	o 2311248
112.92/84.47	o 2311247
113.42/84.90	o 2293276
113.42/84.99	o 2293073
113.53/85.06	o 2292873
113.53/85.08	o 2292871
113.53/85.10	o 2292671
113.63/85.13	o 2292471
113.63/85.17	o 2292272
113.63/85.19	o 2292271
113.72/85.21	o 2292072
113.72/85.23	o 2292071
113.72/85.24	o 2292068
113.72/85.25	o 2292067
113.72/85.27	o 2291868
113.82/85.30	o 2291867
113.82/85.31	o 2291668
113.82/85.34	o 2291667
113.82/85.35	o 2291468
113.82/85.38	o 2291460
113.91/85.40	o 2291455
113.91/85.42	o 2291448
113.91/85.43	o 2291447
113.91/85.46	o 2291446
113.91/85.49	o 2291267
114.01/85.51	o 2291259
114.01/85.52	o 2291254
114.01/85.54	o 2291252
114.01/85.55	o 2291247
114.01/85.56	o 2291246
114.21/85.76	o 2273280
114.31/85.88	o 2273276
114.41/85.90	o 2253480
114.41/86.00	o 2253281
114.52/86.03	o 2253280
114.52/86.04	o 2253081
114.52/86.07	o 2233482
114.62/86.18	o 2233283
114.71/86.20	o 2233282
114.71/86.21	o 2233083
114.71/86.24	o 2233081
114.71/86.28	o 2213486
114.81/86.39	o 2213287
114.91/86.41	o 2213286
114.91/86.42	o 2213087
114.91/86.44	o 2213085
114.91/86.46	o 2213082
114.91/86.48	o 2212886
115.01/86.51	o 2212882
115.01/86.53	o 2193485
115.11/86.64	o 2193286
115.11/86.66	o 2193285
115.11/86.68	o 2193086
115.21/86.74	o 2193085
115.21/86.75	o 2193083
115.21/86.76	o 2193082
115.21/86.77	o 2193080
115.21/86.79	o 2192886
115.31/86.81	o 2192884
115.31/86.83	o 2192882
115.31/86.84	o 2192880
115.31/86.86	o 2173485
115.41/86.97	o 2173286
115.41/86.99	o 2173284
115.52/87.01	o 2173283
115.52/87.02	o 2173084
115.52/87.10	o 2173083
115.62/87.12	o 2173080
115.62/87.14	o 2172884
115.62/87.16	o 2172880
115.62/87.19	o 2153483
115.82/87.30	o 2153284
115.82/87.33	o 2153086
115.82/87.35	o 2153084
115.92/87.43	o 2153081
115.92/87.45	o 2152885
115.92/87.48	o 2152881
116.02/87.50	o 2133484
116.12/87.62	o 2133284
116.12/87.64	o 2133085
116.22/87.72	o 2133083
116.22/87.73	o 2133082
116.22/87.74	o 2132883
116.32/87.81	o 2132882
116.32/87.82	o 2132683
116.42/87.92	o 2113280
116.53/88.03	o 2113080
116.53/88.07	o 2112880
116.53/88.10	o 2112878
116.63/88.11	o 2112678
116.63/88.18	o 2112676
116.63/88.19	o 2112675
116.72/88.20	o 2112673
116.72/88.21	o 2112473
116.72/88.28	o 2112472
116.82/88.33	o 2093279
116.92/88.45	o 2093079
116.92/88.49	o 2092879
117.02/88.51	o 2092877
117.02/88.53	o 2092677
117.02/88.55	o 2092675
117.02/88.56	o 2092674
117.02/88.57	o 2092672
117.02/88.58	o 2092472
117.13/88.67	o 2092273
117.23/88.79	o 2092272
117.33/88.80	o 2092073
117.33/88.88	o 2092072
117.33/88.89	o 2091873
117.82/89.09	o 2091872
117.82/89.11	o 2091673
118.15/89.18	o 2091672
118.15/89.19	o 2091669
118.24/89.20	o 2091668
118.24/89.21	o 2091469
118.24/89.29	o 2091462
118.24/89.30	o 2091461
118.44/89.42	o 2091454
118.44/89.43	o 2091453
118.44/89.50	o 2091449
118.54/89.51	o 2091448
118.64/89.64	o 2091447
118.64/89.66	o 2091268
118.64/89.68	o 2091260
118.64/89.69	o 2091253
118.74/89.70	o 2091252
118.74/89.72	o 2091248
118.74/89.73	o 2091247
119.94/90.92	o 2073076
120.05/91.05	o 2053078
120.15/91.18	o 2053076
120.24/91.20	o 2052879
120.24/91.22	o 2052877
120.24/91.24	o 2052876
120.24/91.25	o 2052679
120.24/91.27	o 2052677
120.24/91.29	o 2033082
120.44/91.41	o 2033080
120.44/91.43	o 2032883
120.44/91.45	o 2032881
120.44/91.46	o 2032880
120.44/91.47	o 2032683
120.44/91.49	o 2032681
120.54/91.51	o 2032680
120.54/91.52	o 2032678
120.54/91.54	o 2013083
120.64/91.66	o 2012884
120.64/91.68	o 2012882
120.74/91.71	o 2012684
120.74/91.73	o 2012682
120.74/91.75	o 2012681
120.74/91.76	o 2012680
120.74/91.77	o 2012678
120.74/91.79	o 1993083
120.95/91.91	o 1992883
120.95/91.94	o 1992684
120.95/91.96	o 1992682
121.05/92.05	o 1992679
121.05/92.07	o 1973082
121.15/92.19	o 1972883
121.25/92.22	o 1972882
121.25/92.23	o 1972683
121.34/92.31	o 1972681
121.34/92.33	o 1972680
121.34/92.35	o 1972677
121.34/92.38	o 1953080
121.44/92.50	o 1952881
121.54/92.52	o 1952880
121.54/92.53	o 1952681
121.64/92.63	o 1952677
121.64/92.66	o 1933280
121.74/92.78	o 1933081
121.84/92.81	o 1933080
121.84/92.82	o 1932881
121.94/92.90	o 1932876
121.94/92.91	o 1932676
121.94/92.95	o 1932672
121.94/92.98	o 1913076
122.05/93.10	o 1912876
122.15/93.20	o 1912676
122.24/93.27	o 1912674
122.24/93.29	o 1912474
122.34/93.36	o 1912473
122.44/93.42	o 1893075
122.54/93.54	o 1892875
122.54/93.58	o 1892675
122.64/93.61	o 1892673
122.64/93.62	o 1892473
122.74/93.70	o 1892274
122.74/93.78	o 1892272
122.74/93.79	o 1892268
122.84/93.80	o 1892069
122.84/93.88	o 1892068
122.84/93.89	o 1891869
122.94/93.97	o 1891868
122.94/93.99	o 1891669
123.05/94.01	o 1891668
123.05/94.03	o 1891469
123.15/94.16	o 1891468
123.15/94.17	o 1891465
123.15/94.19	o 1891464
123.24/94.20	o 1891265
123.24/94.28	o 1891252
123.44/94.47	o 1891245
123.44/94.48	o 1891244
123.64/94.61	o 1891243
123.64/94.65	o 1891064
123.64/94.67	o 1891056
123.64/94.68	o 1891051
123.74/94.71	o 1891044
123.74/94.73	o 1891043
564.75/534.66	o 1871143
2189.55/2156.16	o 1851143
2520.02/2485.90	s SATISFIABLE
2520.02/2485.91	v <instantiation>
2520.02/2485.91	v 	<list>
2520.02/2485.91	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] zb1[0] zb1[1] zb1[2] zb1[3] zb1[4] zb1[5] zb1[6] zb1[7] zb1[8] zb1[9] zb1[10] zb1[11] zb1[12] zb1[13] zb1[14] zb1[15] zb1[16] zb1[17] zb1[18] zb1[19] zb1[20] zb1[21] zb1[22] zb1[23] zb1[24] zb1[25] zb1[26] zb1[27] zb1[28] zb1[29] zb1[30] zb1[31] zb1[32] zb1[33] zb1[34] zb1[35] zb1[36] zb1[37] zb1[38] zb1[39] zb1[40] zb1[41] zb1[42] zb1[43] zb1[44] zb1[45] zb1[46] zb1[47] zb1[48] zb1[49] zb1[50] zb1[51] zb1[52] zb1[53] zb1[54] zb1[55] zb1[56] zb1[57] zb1[58] zb1[59] zb1[60] zb1[61] zb1[62] zb1[63] zb1[64] zb1[65] zb1[66] zb1[67] zb1[68] zb1[69] zb1[70] zb1[71] zb1[72] zb1[73] zb1[74] zb1[75] zb1[76] zb1[77] zb1[78] zb1[79] zb1[80] zb1[81] zb1[82] zb1[83] zb1[84] zb1[85] zb1[86] zb1[87] zb1[88] zb1[89] zb1[90] zb1[91] zb1[92] zb1[93] zb1[94] zb1[95] zb1[96] zb1[97] zb1[98] zb1[99] zb1[100] zb1[101] zb1[102] zb1[103] zb1[104] zb1[105] zb1[106] zb1[107] zb1[108] zb1[109] zb1[110] zb1[111] zb1[112] zb1[113] zb1[114] zb1[115] zb1[116] zb1[117] zb2[0] zb2[1] zb2[2] zb2[3] zb2[4] zb2[5] zb2[6] zb2[7] zb2[8] zb2[9] zb2[10] zb2[11] zb2[12] zb2[13] zb2[14] zb2[15] zb2[16] zb2[17] zb2[18] zb2[19] zb2[20] zb2[21] zb2[22] zb2[23] zb2[24] zb2[25] zb2[26] zb2[27] zb2[28] zb2[29] zb2[30] zb2[31] zb2[32] zb2[33] zb2[34] zb2[35] zb2[36] zb2[37] zb2[38] zb2[39] zb2[40] zb2[41] zb2[42] zb2[43] zb2[44] zb2[45] zb2[46] zb2[47] zb2[48] zb2[49] zb2[50] zb2[51] zb2[52] zb2[53] zb2[54] zb2[55] zb2[56] zb2[57] zb2[58] zb2[59] zb2[60] zb2[61] zb2[62] zb2[63] zb2[64] zb2[65] zb2[66] zb2[67] zb2[68] zb2[69] zb2[70] zb2[71] zb2[72] zb2[73] zb2[74] zb2[75] zb2[76] zb2[77] zb2[78] zb2[79] zb2[80] zb2[81] zb2[82] zb2[83] zb2[84] zb2[85] zb2[86] zb2[87] zb2[88] zb2[89] zb2[90] zb2[91] zb2[92] zb2[93] zb2[94] zb2[95] zb2[96] zb2[97] zb2[98] zb2[99] zb2[100] zb2[101] zb2[102] zb2[103] zb2[104] zb2[105] zb3[0] zb3[1] zb3[2] zb3[3] zb3[4] zb3[5] zb3[6] zb3[7] zb3[8] zb3[9] zb3[10] zb3[11] zb3[12] zb3[13] zb3[14] zb3[15] zb3[16] zb3[17] zb3[18] zb3[19] zb3[20] zb3[21] zb3[22] zb3[23] zb3[24] zb3[25] zb3[26] zb3[27] zb3[28] zb3[29] zb3[30] zb3[31] zb3[32] zb3[33] zb3[34] zb3[35] zb3[36] zb3[37] zb3[38] zb3[39] zb3[40] zb3[41] zb3[42] zb3[43] zb3[44] zb3[45] zb3[46] zb3[47] zb3[48] zb3[49] zb3[50] zb3[51] zb3[52] zb3[53] zb3[54] zb3[55] zb3[56] zb3[57] zb3[58] zb3[59] zb3[60] zb3[61] zb3[62] zb3[63] zb3[64] zb3[65] zb3[66] zb3[67] zb3[68] zb3[69] zb3[70] zb3[71] zb3[72] zb3[73] zb3[74] zb3[75] zb3[76] zb3[77] zb3[78] zb3[79] zb3[80] zb3[81] za1[0] za1[1] za1[2] za1[3] za1[4] za1[5] za1[6] za1[7] za1[8] za1[9] za1[10] za1[11] za1[12] za1[13] za1[14] za1[15] za1[16] za1[17] za1[18] za1[19] za1[20] za1[21] za1[22] za1[23] za1[24] za1[25] za1[26] za1[27] za1[28] za1[29] za1[30] za1[31] za1[32] za1[33] za1[34] za1[35] za1[36] za1[37] za1[38] za1[39] za1[40] za1[41] za1[42] za1[43] za1[44] za1[45] za1[46] za1[47] za1[48] za1[49] za1[50] za1[51] za1[52] za1[53] za1[54] za1[55] za1[56] za1[57] za1[58] za1[59] za1[60] za1[61] za1[62] za1[63] za1[64] za1[65] za1[66] za1[67] za1[68] za1[69] za1[70] za1[71] za1[72] za1[73] za1[74] za1[75] za1[76] za1[77] za1[78] za1[79] za1[80] za1[81] za1[82] za1[83] za1[84] za1[85] za1[86] za1[87] za1[88] za1[89] za1[90] za1[91] za1[92] za1[93] za1[94] za1[95] za1[96] za1[97] za1[98] za1[99] za1[100] za1[101] za1[102] za1[103] za1[104] za1[105] za1[106] za1[107] za1[108] za1[109] za1[110] za1[111] za1[112] za1[113] za1[114] za1[115] za1[116] za1[117] za1[118] za1[119] za1[120] za1[121] za1[122] za1[123] za1[124] za1[125] za1[126] za1[127] za1[128] za1[129] za1[130] za1[131] za1[132] za1[133] za1[134] za1[135] za1[136] za1[137] za1[138] za1[139] za1[140] za1[141] za1[142] za1[143] za1[144] za1[145] za1[146] za1[147] za1[148] za1[149] za1[150] za1[151] za1[152] za1[153] za1[154] za1[155] za1[156] za1[157] za1[158] za1[159] za1[160] za1[161] za1[162] za1[163] za1[164] za1[165] za1[166] za1[167] za1[168] za1[169] za1[170] za1[171] za1[172] za1[173] za1[174] za1[175] za1[176] za1[177] za1[178] za1[179] za1[180] za1[181] za1[182] za1[183] za1[184] za1[185] za1[186] za1[187] za1[188] za1[189] za1[190] za1[191] za1[192] za1[193] za1[194] za1[195] za1[196] za1[197] za1[198] za1[199] za1[200] za1[201] za1[202] za1[203] za1[204] za1[205] za1[206] za1[207] za1[208] za1[209] za1[210] za1[211] za1[212] za1[213] za1[214] za1[215] za1[216] za1[217] za1[218] za1[219] za1[220] za1[221] za1[222] za1[223] za1[224] za1[225] za1[226] za1[227] za1[228] za1[229] za1[230] za1[231] za1[232] za1[233] za1[234] za1[235] za1[236] za1[237] za1[238] za1[239] za1[240] za1[241] za1[242] za1[243] za1[244] za1[245] za1[246] za1[247] za1[248] za1[249] za1[250] za1[251] za1[252] za1[253] za1[254] za1[255] za1[256] za1[257] za1[258] za1[259] za1[260] za1[261] za1[262] za1[263] za1[264] za1[265] za1[266] za1[267] za1[268] za1[269] za1[270] za1[271] za1[272] za1[273] za1[274] za1[275] za1[276] za1[277] za1[278] za1[279] za1[280] za1[281] za1[282] za1[283] za1[284] za1[285] za1[286] za1[287] za1[288] za1[289] za1[290] za1[291] za1[292] za1[293] za1[294] za1[295] za1[296] za1[297] za1[298] za1[299] za1[300] za1[301] za1[302] za1[303] za1[304] za1[305] za1[306] za1[307] za1[308] za1[309] za1[310] za1[311] za1[312] za1[313] za1[314] za1[315] za1[316] za1[317] za1[318] za1[319] za1[320] za1[321] za1[322] za1[323] za1[324] za1[325] za1[326] za1[327] za1[328] za1[329] za1[330] za1[331] za1[332] za1[333] za1[334] za1[335] za1[336] za1[337] za1[338] za1[339] za1[340] za1[341] za1[342] za1[343] za1[344] za1[345] za1[346] za1[347] za1[348] za1[349] za1[350] za1[351] za1[352] za1[353] za1[354] za1[355] za1[356] za1[357] za1[358] za1[359] za1[360] za1[361] za1[362] za1[363] za1[364] za1[365] za1[366] za1[367] za1[368] za1[369] za1[370] za1[371] za1[372] za1[373] za1[374] za1[375] za1[376] za1[377] za1[378] za1[379] za1[380] za1[381] za1[382] za1[383] za1[384] za1[385] za1[386] za1[387] za1[388] za1[389] za1[390] za1[391] za1[392] za1[393] za1[394] za1[395] za1[396] za1[397] za1[398] za1[399] za1[400] za1[401] za1[402] za1[403] za1[404] za1[405] za1[406] za1[407] za1[408] za1[409] za1[410] za1[411] za1[412] za1[413] za1[414] za1[415] za1[416] za1[417] za1[418] za1[419] za1[420] za1[421] za1[422] za1[423] za1[424] za1[425] za1[426] za1[427] za1[428] za1[429] za1[430] za1[431] za1[432] za1[433] za1[434] za1[435] za1[436] za1[437] za1[438] za1[439] za1[440] za1[441] za1[442] za1[443] za1[444] za1[445] za1[446] za1[447] za1[448] za1[449] za1[450] za1[451] za1[452] za1[453] za1[454] za1[455] za1[456] za1[457] za1[458] za1[459] za1[460] za1[461] za1[462] za1[463] za1[464] za1[465] za1[466] za1[467] za1[468] za1[469] za1[470] za1[471] za1[472] za1[473] za1[474] za1[475] za1[476] za1[477] za1[478] za1[479] za1[480] za1[481] za1[482] za1[483] za1[484] za1[485] za1[486] za1[487] za1[488] za1[489] za1[490] za1[491] za1[492] za1[493] za1[494] za1[495] za1[496] za1[497] za1[498] za1[499] za1[500] za1[501] za1[502] za1[503] za1[504] za1[505] za1[506] za1[507] za1[508] za1[509] za1[510] za1[511] za1[512] za1[513] za1[514] za1[515] za1[516] za1[517] za1[518] za1[519] za1[520] za1[521] za1[522] za1[523] za1[524] za1[525] za1[526] za1[527] za1[528] za1[529] za1[530] za1[531] za1[532] za1[533] za1[534] za1[535] za1[536] za1[537] za1[538] za1[539] za1[540] za1[541] za1[542] za1[543] za1[544] za1[545] za1[546] za1[547] za1[548] za1[549] za1[550] za1[551] za1[552] za1[553] za1[554] za1[555] za1[556] za1[557] za1[558] za1[559] za1[560] za1[561] za1[562] za1[563] za1[564] za1[565] za1[566] za1[567] za1[568] za1[569] za1[570] za1[571] za1[572] za1[573] za1[574] za1[575] za1[576] za1[577] za1[578] za1[579] za1[580] za1[581] za1[582] za1[583] za1[584] za1[585] za1[586] za1[587] za1[588] za1[589] za1[590] za1[591] za1[592] za1[593] za1[594] za1[595] za1[596] za1[597] za1[598] za1[599] za1[600] za1[601] za1[602] za1[603] za1[604] za1[605] za1[606] za1[607] za1[608] za1[609] za1[610] za1[611] za1[612] za1[613] za1[614] za1[615] za1[616] za1[617] za1[618] za1[619] za1[620] za1[621] za1[622] za1[623] za1[624] za1[625] za1[626] za1[627] za1[628] za1[629] za1[630] za1[631] za1[632] za1[633] za1[634] za1[635] za1[636] za1[637] za1[638] za1[639] za1[640] za1[641] za1[642] za1[643] za1[644] za1[645] za1[646] za1[647] za1[648] za1[649] za1[650] za1[651] za1[652] za1[653] za1[654] za1[655] za1[656] za1[657] za1[658] za1[659] za1[660] za1[661] za1[662] za1[663] za1[664] za1[665] za1[666] za1[667] za1[668] za1[669] za1[670] za1[671] za1[672] za1[673] za1[674] za1[675] za1[676] za1[677] za1[678] za1[679] za1[680] za1[681] za1[682] za1[683] za1[684] za1[685] za1[686] za1[687] za1[688] za1[689] za1[690] za1[691] za1[692] za1[693] za1[694] za1[695] za1[696] za1[697] za1[698] za1[699] za1[700] za1[701] za1[702] za1[703] za1[704] za1[705] za1[706] za1[707] za1[708] za1[709] za1[710] za1[711] za1[712] za1[713] za1[714] za1[715] za1[716] za1[717] za1[718] za1[719] za1[720] za1[721] za1[722] za1[723] za1[724] za1[725] za1[726] za1[727] za1[728] za1[729] za1[730] za1[731] za1[732] za1[733] za1[734] za1[735] za1[736] za1[737] za1[738] za1[739] za1[740] za1[741] za1[742] za1[743] za1[744] za1[745] za1[746] za1[747] za1[748] za1[749] za1[750] za1[751] za1[752] za1[753] za1[754] za1[755] za1[756] za1[757] za1[758] za1[759] za1[760] za1[761] za1[762] za1[763] za1[764] za1[765] za1[766] za1[767] za1[768] za1[769] za1[770] za1[771] za1[772] za1[773] za1[774] za1[775] za1[776] za1[777] za1[778] za1[779] za1[780] za1[781] za1[782] za1[783] za1[784] za1[785] za1[786] za1[787] za1[788] za1[789] za1[790] za1[791] za1[792] za1[793] za1[794] za1[795] za1[796] za1[797] za2[0] za2[1] za2[2] za2[3] za2[4] za2[5] za2[6] za2[7] za2[8] za2[9] za2[10] za2[11] za2[12] za2[13] za2[14] za2[15] za2[16] za2[17] za2[18] za2[19] za2[20] za2[21] za2[22] za2[23] za2[24] za2[25] za2[26] za2[27] za2[28] za2[29] za2[30] za2[31] za2[32] za2[33] za2[34] za2[35] za2[36] za2[37] za2[38] za2[39] za2[40] za2[41] za2[42] za2[43] za2[44] za2[45] za2[46] za2[47] za2[48] za2[49] za2[50] za2[51] za2[52] za2[53] za2[54] za2[55] za2[56] za2[57] za2[58] za2[59] za2[60] za2[61] za2[62] za2[63] za2[64] za2[65] za2[66] za2[67] za2[68] za2[69] za2[70] za2[71] za2[72] za2[73] za2[74] za2[75] za2[76] za2[77] za2[78] za2[79] za2[80] za2[81] za2[82] za2[83] za2[84] za2[85] za2[86] za2[87] za2[88] za2[89] za2[90] za2[91] za2[92] za2[93] za2[94] za2[95] za2[96] za2[97] za2[98] za2[99] za2[100] za2[101] za2[102] za2[103] za2[104] za2[105] za2[106] za2[107] za2[108] za2[109] za2[110] za2[111] za2[112] za2[113] za2[114] za2[115] za2[116] za2[117] za2[118] za2[119] za2[120] za2[121] za2[122] za2[123] za2[124] za2[125] za2[126] za2[127] za2[128] za2[129] za2[130] za2[131] za2[132] za2[133] za2[134] za2[135] za2[136] za2[137] za2[138] za2[139] za2[140] za2[141] za2[142] za2[143] za2[144] za2[145] za2[146] za2[147] za2[148] za2[149] za2[150] za2[151] za2[152] za2[153] za2[154] za2[155] za2[156] za2[157] za2[158] za2[159] za2[160] za2[161] za2[162] za2[163] za2[164] za2[165] za2[166] za2[167] za2[168] za2[169] za2[170] za2[171] za2[172] za2[173] za2[174] za2[175] za2[176] za2[177] za2[178] za2[179] za2[180] za2[181] za2[182] za2[183] za2[184] za2[185] za2[186] za2[187] za2[188] za2[189] za2[190] za2[191] za2[192] za2[193] za2[194] za2[195] za2[196] za2[197] za2[198] za2[199] za2[200] za2[201] za2[202] za2[203] za2[204] za2[205] za2[206] za2[207] za2[208] za2[209] za2[210] za2[211] za2[212] za2[213] za2[214] za2[215] za2[216] za2[217] za2[218] za2[219] za2[220] za2[221] za2[222] za2[223] za2[224] za2[225] za2[226] za2[227] za2[228] za2[229] za2[230] za2[231] za2[232] za2[233] za2[234] za2[235] za2[236] za2[237] za2[238] za2[239] za2[240] za2[241] za2[242] za2[243] za2[244] za2[245] za2[246] za2[247] za2[248] za2[249] za2[250] za2[251] za2[252] za2[253] za2[254] za2[255] za2[256] za2[257] za2[258] za2[259] za2[260] za2[261] za2[262] za2[263] za2[264] za2[265] za2[266] za2[267] za2[268] za2[269] za2[270] za2[271] za2[272] za2[273] za2[274] za2[275] za2[276] za2[277] za2[278] za2[279] za2[280] za2[281] za2[282] za2[283] za2[284] za2[285] za2[286] za2[287] za2[288] za2[289] za2[290] za2[291] za2[292] za2[293] za2[294] za2[295] za2[296] za2[297] za2[298] za2[299] za2[300] za2[301] za2[302] za2[303] za2[304] za2[305] za2[306] za2[307] za2[308] za2[309] za2[310] za2[311] za2[312] za2[313] za2[314] za2[315] za2[316] za2[317] za2[318] za2[319] za2[320] za2[321] za2[322] za2[323] za2[324] za2[325] za2[326] za2[327] za2[328] za2[329] za2[330] za2[331] za2[332] za2[333] za2[334] za2[335] za2[336] za2[337] za2[338] za2[339] za2[340] za2[341] za2[342] za2[343] za2[344] za2[345] za2[346] za2[347] za2[348] za2[349] za2[350] za2[351] za2[352] za2[353] za2[354] za2[355] za2[356] za2[357] za2[358] za2[359] za2[360] za2[361] za2[362] za2[363] za2[364] za2[365] za2[366] za2[367] za2[368] za2[369] za2[370] za2[371] za2[372] za2[373] za2[374] za2[375] za2[376] za2[377] za2[378] za2[379] za2[380] za2[381] za2[382] za2[383] za2[384] za2[385] za2[386] za2[387] za2[388] za2[389] za2[390] za2[391] za2[392] za2[393] za2[394] za2[395] za2[396] za2[397] za2[398] za2[399] za2[400] za2[401] za2[402] za2[403] za2[404] za2[405] za2[406] za2[407] za2[408] za2[409] za2[410] za2[411] za2[412] za2[413] za2[414] za2[415] za2[416] za2[417] za2[418] za2[419] za2[420] za2[421] za2[422] za2[423] za2[424] za2[425] za2[426] za2[427] za2[428] za2[429] za2[430] za2[431] za2[432] za2[433] za2[434] za2[435] za2[436] za2[437] za2[438] za2[439] za2[440] za2[441] za2[442] za2[443] za2[444] za2[445] za2[446] za2[447] za2[448] za2[449] za2[450] za2[451] za2[452] za2[453] za2[454] za2[455] za2[456] za2[457] za2[458] za2[459] za2[460] za2[461] za2[462] za2[463] za2[464] za2[465] za2[466] za2[467] za2[468] za2[469] za2[470] za2[471] za2[472] za2[473] za2[474] za2[475] za2[476] za2[477] za2[478] za2[479] za2[480] za2[481] za2[482] za2[483] za2[484] za2[485] za2[486] za2[487] za2[488] za2[489] za2[490] za2[491] za2[492] za2[493] za2[494] za2[495] za2[496] za2[497] za2[498] za2[499] za2[500] za2[501] za2[502] za2[503] za2[504] za2[505] za2[506] za2[507] za2[508] za2[509] za2[510] za2[511] za2[512] za2[513] za2[514] za2[515] za2[516] za2[517] za2[518] za2[519] za2[520] za2[521] za2[522] za2[523] za2[524] za2[525] za2[526] za2[527] za2[528] za2[529] za2[530] za2[531] za2[532] za2[533] za2[534] za2[535] za2[536] za2[537] za2[538] za2[539] za2[540] za2[541] za2[542] za2[543] za2[544] za2[545] za2[546] za2[547] za2[548] za2[549] za2[550] za2[551] za2[552] za2[553] za2[554] za2[555] za2[556] za2[557] za2[558] za2[559] za2[560] za2[561] za2[562] za2[563] za2[564] za2[565] za2[566] za2[567] za2[568] za2[569] za2[570] za2[571] za2[572] za2[573] za2[574] za2[575] za2[576] za2[577] za2[578] za2[579] za2[580] za2[581] za2[582] za2[583] za2[584] za2[585] za2[586] za2[587] za2[588] za2[589] za2[590] za2[591] za2[592] za2[593] za2[594] za2[595] za2[596] za2[597] za2[598] za2[599] za2[600] za2[601] za2[602] za2[603] za2[604] za2[605] za2[606] za2[607] za2[608] za2[609] za2[610] za2[611] za2[612] za2[613] za2[614] za2[615] za2[616] za2[617] za2[618] za2[619] za2[620] za2[621] za2[622] za2[623] za2[624] za2[625] za2[626] za2[627] za2[628] za2[629] za2[630] za2[631] za2[632] za2[633] za2[634] za2[635] za2[636] za2[637] za2[638] za2[639] za2[640] za2[641] za2[642] za2[643] za2[644] za2[645] za2[646] za2[647] za2[648] za2[649] za2[650] za2[651] za2[652] za2[653] za2[654] za2[655] za2[656] za2[657] za2[658] za2[659] za2[660] za2[661] za2[662] za2[663] za2[664] za2[665] za2[666] za2[667] za2[668] za2[669] za2[670] za2[671] za2[672] za2[673] za2[674] za2[675] za2[676] za2[677] za2[678] za2[679] za2[680] za2[681] za2[682] za2[683] za2[684] za2[685] za2[686] za2[687] za2[688] za2[689] za2[690] za2[691] za2[692] za2[693] za2[694] za2[695] za2[696] za2[697] za2[698] za2[699] za2[700] za2[701] za2[702] za2[703] za2[704] za2[705] za2[706] za2[707] za2[708] za2[709] za2[710] za2[711] za2[712] za2[713] za2[714] za2[715] za2[716] za2[717] za2[718] za2[719] za2[720] za2[721] za2[722] za2[723] za2[724] za2[725] za2[726] za2[727] za2[728] za2[729] za2[730] za2[731] za2[732] za2[733] za2[734] za2[735] za2[736] za2[737] za2[738] za2[739] za2[740] za2[741] za2[742] za2[743] za2[744] za2[745] za2[746] za2[747] za2[748] za2[749] za2[750] za2[751] za2[752] za2[753] za2[754] za2[755] za2[756] za2[757] za2[758] za2[759] za2[760] za2[761] za2[762] za2[763] za2[764] za2[765] za2[766] za2[767] za2[768] za2[769] za2[770] za2[771] za2[772] za2[773] za2[774] za2[775] za2[776] za2[777] za2[778] za2[779] za2[780] za2[781] za2[782] za2[783] za2[784] za2[785] za2[786] za2[787] za2[788] za2[789] za2[790] za2[791] za2[792] za2[793] za2[794] za2[795] za2[796] za2[797] za2[798] za2[799] za2[800] za2[801] za2[802] za2[803] za2[804] za2[805] za2[806] za2[807] za2[808] za2[809] za2[810] za2[811] za2[812] za2[813] za2[814] za2[815] za2[816] za2[817] za2[818] za2[819] za2[820] za2[821] za2[822] za2[823] za2[824] za2[825] za2[826] za2[827] za2[828] za2[829] za2[830] za2[831] za2[832] za2[833] za2[834] za2[835] za2[836] za2[837] za2[838] za2[839] za2[840] za2[841] za2[842] za2[843] za2[844] za2[845] za2[846] za2[847] za2[848] za2[849] za2[850] za2[851] za2[852] za2[853] za2[854] za2[855] za2[856] za2[857] za2[858] za2[859] za2[860] za2[861] za2[862] za2[863] za2[864] za2[865] za2[866] za2[867] za2[868] za2[869] za2[870] za2[871] za2[872] za2[873] za2[874] za2[875] za2[876] za2[877] za2[878] za2[879] za2[880] za2[881] za2[882] za2[883] za2[884] za2[885] za2[886] za2[887] za2[888] za2[889] za2[890] za2[891] za2[892] za2[893] za2[894] za2[895] za2[896] za2[897] za2[898] za2[899] za2[900] za2[901] za2[902] za2[903] za2[904] za2[905] za2[906] za2[907] za2[908] za2[909] za2[910] za2[911] za2[912] za2[913] za2[914] za2[915] za2[916] za2[917] za2[918] za2[919] za2[920] za2[921] za2[922] za2[923] za2[924] za2[925] za2[926] za2[927] za2[928] za2[929] za2[930] za2[931] za2[932] za2[933] za2[934] za2[935] za2[936] za2[937] za2[938] za2[939] za2[940] za2[941] za2[942] za2[943] za2[944] za2[945] za2[946] za2[947] za2[948] za2[949] za2[950] za2[951] za2[952] za2[953] za2[954] za2[955] za2[956] za2[957] za2[958] za2[959] za2[960] za2[961] za2[962] za2[963] za2[964] za2[965] za2[966] za2[967] za2[968] za2[969] za2[970] za2[971] za2[972] za2[973] za2[974] za2[975] za2[976] za2[977] za2[978] za2[979] za2[980] za2[981] za2[982] za2[983] za2[984] za2[985] za2[986] za2[987] za2[988] za2[989] za2[990] za2[991] za2[992] za2[993] za2[994] za2[995] za2[996] za2[997] za2[998] za2[999] za2[1000] za2[1001] za2[1002] za2[1003] za2[1004] za2[1005] za2[1006] za2[1007] za2[1008] za2[1009] za2[1010] za2[1011] za2[1012] za2[1013] za2[1014] za2[1015] za2[1016] za2[1017] za2[1018] za2[1019] za2[1020] za2[1021] za2[1022] za2[1023] za2[1024] za2[1025] za2[1026] za3[0] za3[1] za3[2] za3[3] za3[4] za3[5] za3[6] za3[7] za3[8] za3[9] za3[10] za3[11] za3[12] za3[13] za3[14] za3[15] za3[16] za3[17] za3[18] za3[19] za3[20] za3[21] za3[22] za3[23] za3[24] za3[25] za3[26] za3[27] za3[28] za3[29] za3[30] za3[31] za3[32] za3[33] za3[34] za3[35] za3[36] za3[37] za3[38] za3[39] za3[40] za3[41] za3[42] za3[43] za3[44] za3[45] za3[46] za3[47] za3[48] za3[49] za3[50] za3[51] za3[52] za3[53] za3[54] za3[55] za3[56] za3[57] za3[58] za3[59] za3[60] za3[61] za3[62] za3[63] za3[64] za3[65] za3[66] za3[67] za3[68] za3[69] za3[70] za3[71] za3[72] za3[73] za3[74] za3[75] za3[76] za3[77] za3[78] za3[79] za3[80] za3[81] za3[82] za3[83] za3[84] za3[85] za3[86] za3[87] za3[88] za3[89] za3[90] za3[91] za3[92] za3[93] za3[94] za3[95] za3[96] za3[97] za3[98] za3[99] za3[100] za3[101] za3[102] za3[103] za3[104] za3[105] za3[106] za3[107] za3[108] za3[109] za3[110] za3[111] za3[112] za3[113] za3[114] za3[115] za3[116] za3[117] za3[118] za3[119] za3[120] za3[121] za3[122] za3[123] za3[124] za3[125] za3[126] za3[127] za3[128] za3[129] za3[130] za3[131] za3[132] za3[133] za3[134] za3[135] za3[136] za3[137] za3[138] za3[139] za3[140] za3[141] za3[142] za3[143] za3[144] za3[145] za3[146] za3[147] za3[148] za3[149] za3[150] za3[151] za3[152] za3[153] za3[154] za3[155] za3[156] za3[157] za3[158] za3[159] za3[160] za3[161] za3[162] za3[163] za3[164] za3[165] za3[166] za3[167] za3[168] za3[169] za3[170] za3[171] za3[172] za3[173] za3[174] za3[175] za3[176] za3[177] za3[178] za3[179] za3[180] za3[181] za3[182] za3[183] za3[184] za3[185] za3[186] za3[187] za3[188] za3[189] za3[190] za3[191] za3[192] za3[193] za3[194] za3[195] za3[196] za3[197] za3[198] za3[199] za3[200] za3[201] za3[202] za3[203] za3[204] za3[205] za3[206] za3[207] za3[208] za3[209] za3[210] za3[211] za3[212] za3[213] za3[214] za3[215] za3[216] za3[217] za3[218] za3[219] za3[220] za3[221] za3[222] za3[223] za3[224] za3[225] za3[226] za3[227] za3[228] za3[229] za3[230] za3[231] za3[232] za3[233] za3[234] za3[235] za3[236] za3[237] za3[238] za3[239] za3[240] za3[241] za3[242] za3[243] za3[244] za3[245] za3[246] za3[247] za3[248] za3[249] za3[250] za3[251] za3[252] za3[253] za3[254] za3[255] za3[256] za3[257] za3[258] za3[259] za3[260] za3[261] za3[262] za3[263] za3[264] za3[265] za3[266] za3[267] za3[268] za3[269] za3[270] za3[271] za3[272] za3[273] za3[274] za3[275] za3[276] za3[277] za3[278] za3[279] za3[280] za3[281] za3[282] za3[283] za3[284] za3[285] za3[286] za3[287] za3[288] za3[289] za3[290] za3[291] za3[292] za3[293] za3[294] za3[295] za3[296] za3[297] za3[298] za3[299] za3[300] za3[301] za3[302] za3[303] za3[304] za3[305] za3[306] za3[307] za3[308] za3[309] za3[310] za3[311] za3[312] za3[313] za3[314] za3[315] za3[316] za3[317] za3[318] za3[319] za3[320] za3[321] za3[322] za3[323] za3[324] za3[325] za3[326] za3[327] za3[328] za3[329] za3[330] za3[331] za3[332] za3[333] za3[334] za3[335] za3[336] za3[337] za3[338] za3[339] za3[340] za3[341] za3[342] za3[343] za3[344] za3[345] za3[346] za3[347] za3[348] za3[349] za3[350] za3[351] za3[352] za3[353] za3[354] za3[355] za3[356] za3[357] za3[358] za3[359] za3[360] za3[361] za3[362] za3[363] za3[364] za3[365] za3[366] za3[367] za3[368] za3[369] za3[370] za3[371] za3[372] za3[373] za3[374] za3[375] za3[376] za3[377] za3[378] za3[379] za3[380] za3[381] za3[382] za3[383] za3[384] za3[385] za3[386] za3[387] za3[388] za3[389] za3[390] za3[391] za3[392] za3[393] za3[394] za3[395] za3[396] za3[397] za3[398] za3[399] za3[400] za3[401] za3[402] za3[403] za3[404] za3[405] za3[406] za3[407] za3[408] za3[409] za3[410] za3[411] za3[412] za3[413] za3[414] za3[415] za3[416] za3[417] za3[418] za3[419] za3[420] za3[421] za3[422] za3[423] za3[424] za3[425] za3[426] za3[427] za3[428] za3[429] za3[430] za3[431] za3[432] za3[433] za3[434] za3[435] za3[436] za3[437] za3[438] za3[439] za3[440] za3[441] za3[442] za3[443] za3[444] za3[445] za3[446] za3[447] za3[448] za3[449] za3[450] za3[451] za3[452] za3[453] za3[454] za3[455] za3[456] za3[457] za3[458] za3[459] za3[460] za3[461] za3[462] za3[463] za3[464] za3[465] za3[466] za3[467] za3[468] za3[469] za3[470] za3[471] za3[472] za3[473] za3[474] za3[475] za3[476] za3[477] za3[478] za3[479] za3[480] za3[481] za3[482] za3[483] za3[484] za3[485] za3[486] za3[487] za3[488] za3[489] za3[490] za3[491] za3[492] za3[493] za3[494] za3[495] za3[496] za3[497] za3[498] za3[499] za3[500] za3[501] za3[502] za3[503] za3[504] za3[505] za3[506] za3[507] za3[508] za3[509] za3[510] za3[511] za3[512] za3[513] za3[514] za3[515] za3[516] za3[517] za3[518] za3[519] za3[520] za3[521] za3[522] za3[523] za3[524] za3[525] za3[526] za3[527] za3[528] za3[529] za3[530] za3[531] za3[532] za3[533] za3[534] za3[535] za3[536] za3[537] za3[538] za3[539] za3[540] za3[541] za3[542] za3[543] za3[544] za3[545] za3[546] za3[547] za3[548] za3[549] za3[550] za3[551] za3[552] za3[553] za3[554] za3[555] za3[556] za3[557] za3[558] za3[559] za3[560] za3[561] za3[562] za3[563] za3[564] za3[565] za3[566] za3[567] za3[568] za3[569] za3[570] za3[571] za3[572] za3[573] za3[574] za3[575] za3[576] za3[577] za3[578] za3[579] za3[580] za3[581] za3[582] za3[583] za3[584] za3[585] za3[586] za3[587] za3[588] za3[589] za3[590] za3[591] za3[592] za3[593] za3[594] za3[595] za3[596] za3[597] za3[598] za3[599] za3[600] za3[601] za3[602] za3[603] za3[604] za3[605] za3[606] za3[607] za3[608] za3[609] za3[610] za3[611] za3[612] za3[613] za3[614] za3[615] za3[616] za3[617] za3[618] za3[619] za3[620] za3[621] za3[622] za3[623] za3[624] za3[625] za3[626] za3[627] za3[628] za3[629] za3[630] za3[631] za3[632] za3[633] za3[634] za3[635] za3[636] za3[637] za3[638] za3[639] za3[640] za3[641] za3[642] za3[643] za3[644] za3[645] za3[646] za3[647] za3[648] za3[649] za3[650] za3[651] za3[652] za3[653] za3[654] za3[655] za3[656] za3[657] za3[658] za3[659] za3[660] za3[661] za3[662] za3[663] za3[664] za3[665] za3[666] za3[667] za3[668] za3[669] za3[670] za3[671] za3[672] za3[673] za3[674] za3[675] za3[676] za3[677] za3[678] za3[679] za3[680] za3[681] za3[682] za3[683] za3[684] za3[685] za3[686] za3[687] za3[688] za3[689] za3[690] za3[691] za3[692] za3[693] za3[694] za3[695] za3[696] za3[697] za3[698] za3[699] za3[700] za3[701] za3[702] za3[703] za3[704] za3[705] za3[706] za3[707] za3[708] za3[709] za3[710] za3[711] za3[712] za3[713] za3[714] za3[715] za3[716] za3[717] za3[718] za3[719] za3[720] za3[721] za3[722] za3[723] za3[724] za3[725] za3[726] za3[727] za3[728] za3[729] za3[730] za3[731] za3[732] za3[733] za3[734] za3[735] za3[736] za3[737] za3[738] za3[739] za3[740] za3[741] za3[742] za3[743] za3[744] za3[745] za3[746] za3[747] za3[748] za3[749] za3[750] za3[751] za3[752] za3[753] za3[754] za3[755] za3[756] za3[757] za3[758] za3[759] za3[760] za3[761] za3[762] za3[763] za3[764] za3[765] za3[766] za3[767] za3[768] za3[769] za3[770] za3[771] za3[772] za3[773] za3[774] za3[775] za3[776] za3[777] za3[778] za3[779] za3[780] za3[781] za3[782] za3[783] za3[784] za3[785] za3[786] za3[787] za3[788] za3[789] za3[790] za3[791] za3[792] za3[793] za3[794] za3[795] za3[796] za3[797] za3[798] za3[799] za3[800] za3[801] za3[802] za3[803] za3[804] za3[805] za3[806] za3[807] za3[808] za3[809] za3[810] za3[811] za3[812] za3[813] za3[814] za3[815] za3[816] za3[817] za3[818] za3[819] za3[820] za3[821] za3[822] za3[823] za3[824] za3[825] za3[826] za3[827] za3[828] za3[829] za3[830] za3[831] za3[832] za3[833] za3[834] za3[835] za3[836] za3[837] za3[838] za3[839] za3[840] za3[841] za3[842] za3[843] za3[844] za3[845] za3[846] za3[847] za3[848] za3[849] za3[850] za3[851] za3[852] za3[853] za3[854] za3[855] za3[856] za3[857] za3[858] za3[859] za3[860] za3[861] za3[862] za3[863] za3[864] za3[865] za3[866] za3[867] za3[868] za3[869] za3[870] za3[871] za3[872] za3[873] za3[874] za3[875] za3[876] za3[877] za3[878] za3[879] za3[880] za3[881] za4[0] za4[1] za4[2] za4[3] za4[4] za4[5] za4[6] za4[7] za4[8] za4[9] za4[10] za4[11] za4[12] za4[13] za4[14] za4[15] za4[16] za4[17] za4[18] za4[19] za4[20] za4[21] za4[22] za4[23] za4[24] za4[25] za4[26] za4[27] za4[28] za4[29] za4[30] za4[31] za4[32] za4[33] za4[34] za4[35] za4[36] za4[37] za4[38] za4[39] za4[40] za4[41] za4[42] za4[43] za4[44] za4[45] za4[46] za4[47] za4[48] za4[49] za4[50] za4[51] za4[52] za4[53] za4[54] za4[55] za4[56] za4[57] za4[58] za4[59] za4[60] za4[61] za4[62] za4[63] za4[64] za4[65] za4[66] za4[67] za4[68] za4[69] za4[70] za4[71] za4[72] za4[73] za4[74] za4[75] za4[76] za4[77] za4[78] za4[79] za4[80] za4[81] za4[82] za4[83] za4[84] za4[85] za4[86] za4[87] za4[88] za4[89] za4[90] za4[91] za4[92] za4[93] za4[94] za4[95] za4[96] za4[97] za4[98] za4[99] za4[100] za4[101] za4[102] za4[103] za4[104] za4[105] za4[106] za4[107] za4[108] za4[109] za4[110] za4[111] za4[112] za4[113] za4[114] za4[115] za4[116] za4[117] za4[118] za4[119] za4[120] za4[121] za4[122] za4[123] za4[124] za4[125] za4[126] za4[127] za4[128] za4[129] za4[130] za4[131] za4[132] za4[133] za4[134] za4[135] za4[136] za4[137] za4[138] za4[139] za4[140] za4[141] za4[142] za4[143] za4[144] za4[145] za4[146] za4[147] za4[148] za4[149] za4[150] za4[151] za4[152] za4[153] za4[154] za4[155] za4[156] za4[157] za4[158] za4[159] za4[160] za4[161] za4[162] za4[163] za4[164] za4[165] za4[166] za4[167] za4[168] za4[169] za4[170] za4[171] za4[172] za4[173] za4[174] za4[175] za4[176] za4[177] za4[178] za4[179] za4[180] za4[181] za4[182] za4[183] za4[184] za4[185] za4[186] za4[187] za4[188] za4[189] za4[190] za4[191] za4[192] za4[193] za4[194] za4[195] za4[196] za4[197] za4[198] za4[199] za4[200] za4[201] za4[202] za4[203] za4[204] za4[205] za4[206] za4[207] za4[208] za4[209] za4[210] za4[211] za4[212] za4[213] za4[214] za4[215] za4[216] za4[217] za4[218] za4[219] za4[220] za4[221] za4[222] za4[223] za4[224] za4[225] za4[226] za4[227] za4[228] za4[229] za4[230] za4[231] za4[232] za4[233] za4[234] za4[235] za4[236] za4[237] za4[238] za4[239] za4[240] za4[241] za4[242] za4[243] za4[244] za4[245] za4[246] za4[247] za4[248] za4[249] za4[250] za4[251] za4[252] za4[253] za4[254] za4[255] za4[256] za4[257] za4[258] za4[259] za4[260] za4[261] za4[262] za4[263] za4[264] za4[265] za4[266] za4[267] za4[268] za4[269] za4[270] za4[271] za4[272] za4[273] za4[274] za4[275] za4[276] za4[277] za4[278] za4[279] za4[280] za4[281] za4[282] za4[283] za4[284] za4[285] za4[286] za4[287] za4[288] za4[289] za4[290] za4[291] za4[292] za4[293] za4[294] za4[295] za4[296] za4[297] za4[298] za4[299] za4[300] za4[301] za4[302] za4[303] za4[304] za4[305] za4[306] za4[307] za4[308] za4[309] za4[310] za4[311] za4[312] za4[313] za4[314] za4[315] za4[316] za4[317] za4[318] za4[319] za4[320] za4[321] za4[322] za4[323] za4[324] za4[325] za4[326] za4[327] za4[328] za4[329] za4[330] za4[331] za4[332] za4[333] za4[334] za4[335] za4[336] za4[337] za4[338] za4[339] za4[340] za4[341] za4[342] za4[343] za4[344] za4[345] za4[346] za4[347] za4[348] za4[349] za4[350] za4[351] za4[352] za4[353] za4[354] za4[355] za4[356] za4[357] za4[358] za4[359] za4[360] za4[361] za4[362] za4[363] za4[364] za4[365] za4[366] za4[367] za4[368] za4[369] za4[370] za4[371] za4[372] za4[373] za4[374] za4[375] za4[376] za4[377] za4[378] za4[379] za4[380] za4[381] za4[382] za4[383] za4[384] za4[385] za4[386] za4[387] za4[388] za4[389] za4[390] za4[391] za4[392] za4[393] za4[394] za4[395] za4[396] za4[397] za4[398] za4[399] za4[400] za4[401] za4[402] za4[403] za4[404] za4[405] za4[406] za4[407] za4[408] za4[409] za4[410] za4[411] za4[412] za4[413] za4[414] za4[415] za4[416] za4[417] za4[418] za4[419] za4[420] za4[421] za4[422] za4[423] za4[424] za4[425] za4[426] za4[427] za4[428] za4[429] za4[430] za4[431] za4[432] za4[433] za4[434] za4[435] za4[436] za4[437] za4[438] za4[439] za4[440] za4[441] za4[442] za4[443] za4[444] za4[445] za4[446] za4[447] za4[448] za4[449] za4[450] za4[451] za4[452] za4[453] za4[454] za4[455] za4[456] za4[457] za4[458] za4[459] za4[460] za4[461] za4[462] za4[463] za4[464] za4[465] za4[466] za4[467] za4[468] za4[469] za4[470] za4[471] za4[472] za4[473] za4[474] za4[475] za4[476] za4[477] za4[478] za4[479] za4[480] za4[481] za4[482] za4[483] za4[484] za4[485] za4[486] za4[487] za4[488] za4[489] za4[490] za4[491] za4[492] za4[493] za4[494] za4[495] za4[496] za4[497] za4[498] za4[499] za4[500] za4[501] za4[502] za4[503] za4[504] za4[505] za4[506] za4[507] za4[508] za4[509] za4[510] za4[511] za4[512] za4[513] za4[514] za4[515] za4[516] za4[517] za4[518] za4[519] za4[520] za4[521] za4[522] za4[523] za4[524] za4[525] za4[526] za4[527] za4[528] za4[529] za4[530] za4[531] za4[532] za4[533] za4[534] za4[535] za4[536] za4[537] za4[538] za4[539] za4[540] za4[541] za4[542] za4[543] za4[544] za4[545] za4[546] za4[547] za4[548] za4[549] za4[550] za4[551] za4[552] za4[553] za4[554] za4[555] za4[556] za4[557] za4[558] za4[559] za4[560] za4[561] za4[562] za4[563] za4[564] za4[565] za4[566] za4[567] za4[568] za4[569] za4[570] za4[571] za4[572] za4[573] za4[574] za4[575] za4[576] za4[577] za4[578] za4[579] za4[580] za4[581] za4[582] za4[583] za4[584] za4[585] za4[586] za4[587] za4[588] za4[589] za4[590] za4[591] za4[592] za4[593] za4[594] za4[595] za4[596] za4[597] za4[598] za4[599] za4[600] za4[601] za4[602] za4[603] za4[604] za4[605] za4[606] za4[607] za4[608] za4[609] za4[610] za4[611] za4[612] za4[613] za4[614] za4[615] za4[616] za4[617] za4[618] za4[619] za4[620] za4[621] za4[622] za4[623] za4[624] za4[625] za4[626] za4[627] za4[628] za4[629] za4[630] za4[631] za4[632] za4[633] za4[634] za4[635] za4[636] za4[637] za4[638] za4[639] za4[640] za4[641] za4[642] za4[643] za4[644] za4[645] za4[646] za4[647] za4[648] za4[649] za4[650] za4[651] za4[652] za4[653] za4[654] za4[655] za4[656] za4[657] za4[658] za4[659] za4[660] za4[661] za4[662] za4[663] za4[664] za4[665] za4[666] za4[667] za4[668] za4[669] za4[670] za4[671] za4[672] za4[673] za4[674] za4[675] za4[676] za4[677] za4[678] za4[679] za4[680] za4[681] za4[682] za4[683] za4[684] za4[685] za4[686] za4[687] za4[688] za4[689] za4[690] za4[691] za4[692] za4[693] za4[694] za4[695] za4[696] za4[697] za4[698] za4[699] za4[700] za4[701] za4[702] za4[703] za4[704] za4[705] za4[706] za4[707] za4[708] za4[709] za4[710] za4[711] za4[712] za4[713] za4[714] za4[715] za4[716] za4[717] za4[718] za4[719] za4[720] za4[721] za4[722] za4[723] za4[724] za4[725] za4[726] za4[727] za4[728] za4[729] za4[730] za4[731] za4[732] za4[733] za4[734] za4[735] za4[736] za4[737] za4[738] za4[739] za4[740] za4[741] za4[742] za4[743] za4[744] za4[745] za4[746] za4[747] za4[748] za4[749] za4[750] za4[751] za4[752] za4[753] za4[754] za4[755] za4[756] za4[757] za4[758] za4[759] za4[760] za4[761] za4[762] za4[763] za4[764] za4[765] za4[766] za4[767] za4[768] za4[769] za4[770] za4[771] za4[772] za4[773] za4[774] za4[775] za4[776] za4[777] za4[778] za4[779] za4[780] za4[781] za4[782] za4[783] za4[784] za4[785] za4[786] za4[787] za4[788] za4[789] za4[790] za4[791] za4[792] za4[793] za4[794] za4[795] za4[796] za4[797] za4[798] za4[799] za4[800] za4[801] za4[802] za4[803] za4[804] za4[805] za4[806] za4[807] za4[808] za4[809] za4[810] za4[811] za4[812] za4[813] za4[814] za4[815] za4[816] za4[817] za4[818] za4[819] za4[820] za4[821] za4[822] za4[823] za4[824] za4[825] za4[826] za4[827] za4[828] za4[829] za4[830] za4[831] za4[832] za4[833] za4[834] za4[835] za4[836] za4[837] za4[838] za4[839] za4[840] za4[841] za4[842] za4[843] za4[844] za4[845] za4[846] za4[847] za4[848] za4[849] za4[850] za4[851] za4[852] za4[853] za4[854] za4[855] za4[856] za4[857] za4[858] za4[859] za4[860] za4[861] za4[862] za4[863] za4[864] za4[865] za4[866] za4[867] za4[868] za4[869] za4[870] za4[871] za4[872] za4[873] za4[874] za4[875] za4[876] za4[877] za4[878] za4[879] za4[880] za4[881] za4[882] za4[883] za4[884] za4[885] za4[886] za4[887] za4[888] za4[889] za4[890] za4[891] za4[892] za4[893] za4[894] za4[895] za4[896] za4[897] za4[898] za4[899] za4[900] za4[901] za4[902] za4[903] za4[904] za4[905] za4[906] za4[907] za4[908] za4[909] za4[910] za4[911] za4[912] za4[913] za4[914] za4[915] za4[916] za4[917] za4[918] za4[919] za4[920] za4[921] za4[922] za4[923] za4[924] za4[925] za4[926] za4[927] za4[928] za4[929] za4[930] za4[931] za4[932] za4[933] za4[934] za4[935] za4[936] za4[937] za4[938] za4[939] za4[940] za4[941] za4[942] za4[943] za4[944] za4[945] za4[946] za4[947] za4[948] za4[949] za4[950] za4[951] za4[952] za4[953] za4[954] za4[955] za4[956] za4[957] za4[958] za4[959] za4[960] za4[961] za4[962] za4[963] za4[964] za4[965] za4[966] za4[967] za4[968] za4[969] za4[970] za4[971] za4[972] za4[973] za4[974] za4[975] za4[976] za4[977] za4[978] za4[979] za4[980] za4[981] za4[982] za4[983] za4[984] za4[985] za4[986] za4[987] za4[988] za4[989] za4[990] za4[991] za4[992] za4[993] za4[994] za4[995] za4[996] za4[997] za4[998] za4[999] za4[1000] za4[1001] za4[1002] za4[1003] za4[1004] za4[1005] za4[1006] za4[1007] za4[1008] za4[1009] za4[1010] za4[1011] za4[1012] za4[1013] za4[1014] za4[1015] za4[1016] za4[1017] za4[1018] za4[1019] za4[1020] za4[1021] za4[1022] za4[1023] za4[1024] za4[1025] za4[1026] za4[1027] za4[1028] za4[1029] za4[1030] za4[1031] za4[1032] za4[1033] za4[1034] za4[1035] za4[1036] za4[1037] za4[1038] za4[1039] za4[1040] za4[1041] za4[1042] za4[1043] za4[1044] za4[1045] za4[1046] za4[1047] za4[1048] za4[1049] za4[1050] za4[1051] za4[1052] za4[1053] za4[1054] za4[1055] 
2520.02/2485.91	v 	</list>
2520.02/2485.91	v 	<values>
2520.02/2485.91	v 		442 680 554 792 694 456 254 16 324 86 512 750 512 750 680 442 310 72 540 778 414 652 16 254 254 16 666 428 86 324 100 338 484 722 414 652 540 778 414 652 442 680 352 114 554 792 498 736 156 394 722 484 44 282 338 100 16 254 722 484 338 100 792 554 44 282 414 652 324 86 750 512 58 296 526 764 296 58 142 380 156 394 352 114 44 282 380 142 470 708 366 128 764 526 498 736 114 352 526 764 324 86 722 484 554 792 414 652 778 540 366 128 750 512 764 526 456 694 44 282 30 268 16 254 282 44 652 414 254 16 428 666 296 58 352 114 442 680 156 394 442 680 442 680 58 296 100 338 394 156 44 282 750 512 44 282 792 554 170 408 58 296 428 666 414 652 268 30 540 778 442 680 44 282 352 114 652 414 86 324 128 366 470 708 296 58 736 498 352 114 428 666 142 380 16 254 792 554 352 114 352 114 778 540 428 666 366 128 100 338 428 666 526 764 526 764 142 380 30 268 722 484 142 380 30 268 680 442 456 694 764 526 268 30 764 526 86 324 680 442 428 666 694 456 540 778 296 58 540 778 526 764 778 540 380 142 30 268 442 680 16 254 282 44 30 268 268 30 282 44 680 442 380 142 442 680 764 526 44 282 694 456 30 268 86 324 722 484 282 44 526 764 540 778 470 708 114 352 268 30 694 456 100 338 30 268 268 30 764 526 254 16 442 680 540 778 512 750 296 58 708 470 156 394 680 442 666 428 30 268 456 694 338 100 30 268 428 666 540 778 44 282 694 456 540 778 142 380 470 708 736 498 352 114 750 512 764 526 72 310 142 380 156 394 792 554 470 708 512 750 694 456 380 142 310 72 456 694 282 44 268 30 442 680 540 778 338 100 666 428 254 16 282 44 16 254 44 282 736 498 414 652 380 142 680 442 778 540 86 324 58 296 750 512 708 470 736 498 736 498 428 666 394 156 296 58 114 352 366 128 750 512 540 778 680 442 352 114 778 540 708 470 666 428 86 324 268 30 778 540 128 366 736 498 498 736 540 778 142 380 526 764 268 30 352 114 414 652 44 282 16 254 156 394 750 512 128 366 736 498 338 100 456 694 268 30 722 484 30 268 484 722 352 114 792 554 526 764 442 680 394 156 512 750 380 142 722 484 554 792 58 296 142 380 722 484 128 366 442 680 526 764 268 30 484 722 296 58 540 778 352 114 268 30 268 30 526 764 694 456 456 694 456 694 366 128 58 296 694 456 470 708 128 366 30 268 652 414 394 156 540 778 366 128 100 338 142 380 268 30 428 666 352 114 708 470 380 142 442 680 128 366 72 310 764 526 324 86 268 30 666 428 58 296 484 722 338 100 540 778 680 442 366 128 764 526 414 652 30 268 666 428 114 352 512 750 310 72 512 750 254 16 736 498 114 352 156 394 666 428 254 16 156 394 30 268 30 268 414 652 30 268 324 86 428 666 750 512 778 540 86 324 666 428 268 30 268 30 666 428 128 366 86 324 512 750 366 128 722 484 254 16 100 338 254 16 72 310 100 338 100000 100000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100000 100000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100000 100000 0 0 100000 100000 0 0 100000 100000 100000 100000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100000 100000 100000 100000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10000 10000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10000 10000 0 0 10000 10000 10000 10000 0 0 0 0 0 0 10000 10000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10000 10000 0 0 0 0 0 0 0 0 10000 10000 10000 10000 10000 10000 10000 10000 10000 10000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10000 10000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 100 0 0 100 100 0 0 100 100 0 0 0 0 0 0 0 0 0 0 100 100 0 0 0 0 100 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 100 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 100 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 100 0 0 0 0 0 0 0 0 0 0 0 100 100 100 0 0 0 0 0 100 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 100 100 0 0 0 100 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 100 0 0 100 0 0 0 0 100 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 100 0 0 100 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 100 0 100 100 0 0 0 100 0 0 0 0 100 100 100 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 2 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 2 2 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 2 0 0 0 2 0 0 0 0 0 0 0 0 2 0 0 0 0 0 2 2 0 0 0 0 0 0 0 0 0 0 0 0 2 2 2 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 2 0 0 0 0 0 0 0 0 0 0 0 0 2 2 0 0 0 0 0 0 2 0 0 0 0 2 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 2 0 0 0 0 2 0 0 0 0 0 2 2 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 2 2 0 0 0 0 0 0 0 0 0 0 2 0 2 0 0 0 2 2 2 0 0 0 0 0 0 2 2 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 2 2 0 0 0 2 2 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 2 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 2 0 0 2 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 0 1 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 1 1 0 0 0 1 0 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 0 1 0 1 0 0 1 1 1 0 0 0 1 1 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 1 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 1 0 0 1 1 1 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 
2520.02/2485.91	v 	</values>
2520.02/2485.91	v </instantiation>

Verifier Data 

OK	1851143

Watcher Data 

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

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

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4298307-1532752472/watcher-4298307-1532752472 -o /tmp/evaluation-result-4298307-1532752472/solver-4298307-1532752472 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node138-1532740019-20129 --watchdog 2580 java -jar HOME/dodo_solver.jar HOME/instance-4298307-1532752472.xml --timelimit 2520 

running on 4 cores: 1,3,5,7

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


[startup+0.100059 s]*
/proc/loadavg: 1.61 1.70 1.79 3/216 21784
/proc/meminfo: memFree=19139420/32770624 swapFree=67108796/67108860
[pid=21769] ppid=21766 vsize=10658972 memory=25688 CPUtime=0.12 cores=1,3,5,7
/proc/21769/stat : 21769 (java) S 21766 21769 25017 0 -1 1077944320 5345 0 0 0 11 1 0 0 20 0 15 0 92810360 10914787328 6422 33554432000 4194304 4196468 140729403262352 140729403244896 139866583166711 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 27480064 140729403270264 140729403270409 140729403270409 140729403273167 0
/proc/21769/statm: 2664743 6422 2855 1 0 2627263 0
[pid=21769/tid=21771] ppid=21766 vsize=10658972 memory=8326441112148417179 CPUtime=0.09 cores=1,3,5,7
/proc/21769/task/21771/stat : 21771 (java) R 21766 21769 25017 0 -1 4202560 3171 0 0 0 8 1 0 0 20 0 15 0 92810360 10914787328 6422 33554432000 4194304 4196468 140729403262352 139866587397120 139866583178646 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27480064 140729403270264 140729403270409 140729403270409 140729403273167 0
[pid=21769/tid=21772] ppid=21766 vsize=10658972 memory=-9181546050914066336 CPUtime=0 cores=1,3,5,7
/proc/21769/task/21772/stat : 21772 (java) S 21766 21769 25017 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92810361 10914787328 6422 33554432000 4194304 4196468 140729403262352 139866550725648 139866583176917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27480064 140729403270264 140729403270409 140729403270409 140729403273167 0
[pid=21769/tid=21773] ppid=21766 vsize=10658972 memory=140588689716864 CPUtime=0 cores=1,3,5,7
/proc/21769/task/21773/stat : 21773 (java) S 21766 21769 25017 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92810361 10914787328 6422 33554432000 4194304 4196468 140729403262352 139866189261968 139866583176917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27480064 140729403270264 140729403270409 140729403270409 140729403273167 0
[pid=21769/tid=21774] ppid=21766 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21769/task/21774/stat : 21774 (java) S 21766 21769 25017 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92810361 10914787328 6422 33554432000 4194304 4196468 140729403262352 139866188208912 139866583176917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27480064 140729403270264 140729403270409 140729403270409 140729403273167 0
[pid=21769/tid=21775] ppid=21766 vsize=10658972 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21769/task/21775/stat : 21775 (java) S 21766 21769 25017 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 92810361 10914787328 6422 33554432000 4194304 4196468 140729403262352 139866187156368 139866583176917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27480064 140729403270264 140729403270409 140729403270409 140729403273167 0
[pid=21769/tid=21776] ppid=21766 vsize=10658972 memory=140588689716864 CPUtime=0 cores=1,3,5,7
/proc/21769/task/21776/stat : 21776 (java) S 21766 21769 25017 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 92810363 10914787328 6422 33554432000 4194304 4196468 140729403262352 139865888078064 139866583177858 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27480064 140729403270264 140729403270409 140729403270409 140729403273167 0
[pid=21769/tid=21777] ppid=21766 vsize=10658972 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21769/task/21777/stat : 21777 (java) S 21766 21769 25017 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 92810363 10914787328 6422 33554432000 4194304 4196468 140729403262352 139865887024288 139866583176917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27480064 140729403270264 140729403270409 140729403270409 140729403273167 0
[pid=21769/tid=21778] ppid=21766 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21769/task/21778/stat : 21778 (java) S 21766 21769 25017 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 92810363 10914787328 6422 33554432000 4194304 4196468 140729403262352 139865885971184 139866583176917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27480064 140729403270264 140729403270409 140729403270409 140729403273167 0
[pid=21769/tid=21779] ppid=21766 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21769/task/21779/stat : 21779 (java) S 21766 21769 25017 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92810366 10914787328 6422 33554432000 4194304 4196468 140729403262352 139865884919760 139866583185307 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27480064 140729403270264 140729403270409 140729403270409 140729403273167 0
[pid=21769/tid=21780] ppid=21766 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21769/task/21780/stat : 21780 (java) S 21766 21769 25017 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 15 0 92810366 10914787328 6422 33554432000 4194304 4196468 140729403262352 139865883867888 139866583177858 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27480064 140729403270264 140729403270409 140729403270409 140729403273167 0
[pid=21769/tid=21781] ppid=21766 vsize=10658972 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21769/task/21781/stat : 21781 (java) S 21766 21769 25017 0 -1 1077944384 132 0 0 0 0 0 0 0 20 0 15 0 92810366 10914787328 6422 33554432000 4194304 4196468 140729403262352 139865882815344 139866583177858 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27480064 140729403270264 140729403270409 140729403270409 140729403273167 0
[pid=21769/tid=21782] ppid=21766 vsize=10658972 memory=140588689716864 CPUtime=0.01 cores=1,3,5,7
/proc/21769/task/21782/stat : 21782 (java) R 21766 21769 25017 0 -1 4202560 373 0 0 0 1 0 0 0 20 0 15 0 92810366 10914787328 6422 33554432000 4194304 4196468 140729403262352 139865881762288 139866567247198 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27480064 140729403270264 140729403270409 140729403270409 140729403273167 0
[pid=21769/tid=21783] ppid=21766 vsize=10658972 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21769/task/21783/stat : 21783 (java) S 21766 21769 25017 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92810366 10914787328 6422 33554432000 4194304 4196468 140729403262352 139865880709984 139866583176917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27480064 140729403270264 140729403270409 140729403270409 140729403273167 0
[pid=21769/tid=21784] ppid=21766 vsize=10658972 memory=140588689716864 CPUtime=0 cores=1,3,5,7
/proc/21769/task/21784/stat : 21784 (java) S 21766 21769 25017 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92810366 10914787328 6422 33554432000 4194304 4196468 140729403262352 139865879657008 139866583177858 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27480064 140729403270264 140729403270409 140729403270409 140729403273167 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 10658972 KiB
Current children cumulated memory: 25688 KiB

[startup+0.210533 s]*
/proc/loadavg: 1.61 1.70 1.79 3/216 21784
/proc/meminfo: memFree=19126380/32770624 swapFree=67108796/67108860
[pid=21769] ppid=21766 vsize=10661056 memory=38716 CPUtime=0.33 cores=1,3,5,7
/proc/21769/stat : 21769 (java) S 21766 21769 25017 0 -1 1077944320 8280 0 0 0 31 2 0 0 20 0 15 0 92810360 10916921344 9679 33554432000 4194304 4196468 140729403262352 140729403244896 139866583166711 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 27480064 140729403270264 140729403270409 140729403270409 140729403273167 0
/proc/21769/statm: 2665264 9679 2990 1 0 2627263 0
[pid=21769/tid=21771] ppid=21766 vsize=10661056 memory=7022364594140610616 CPUtime=0.19 cores=1,3,5,7
/proc/21769/task/21771/stat : 21771 (java) R 21766 21769 25017 0 -1 4202560 5181 0 0 0 18 1 0 0 20 0 15 0 92810360 10916921344 9679 33554432000 4194304 4196468 140729403262352 139866587403136 139866583188637 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27480064 140729403270264 140729403270409 140729403270409 140729403273167 0
[pid=21769/tid=21772] ppid=21766 vsize=10661056 memory=345 CPUtime=0 cores=1,3,5,7
/proc/21769/task/21772/stat : 21772 (java) S 21766 21769 25017 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92810361 10916921344 9679 33554432000 4194304 4196468 140729403262352 139866550725648 139866583176917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27480064 140729403270264 140729403270409 140729403270409 140729403273167 0
[pid=21769/tid=21773] ppid=21766 vsize=10661056 memory=140588690291898 CPUtime=0 cores=1,3,5,7
/proc/21769/task/21773/stat : 21773 (java) S 21766 21769 25017 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92810361 10916921344 9679 33554432000 4194304 4196468 140729403262352 139866189261968 139866583176917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27480064 140729403270264 140729403270409 140729403270409 140729403273167 0
[pid=21769/tid=21774] ppid=21766 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21769/task/21774/stat : 21774 (java) S 21766 21769 25017 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92810361 10916921344 9679 33554432000 4194304 4196468 140729403262352 139866188208912 139866583176917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27480064 140729403270264 140729403270409 140729403270409 140729403273167 0
[pid=21769/tid=21775] ppid=21766 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21769/task/21775/stat : 21775 (java) S 21766 21769 25017 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 92810361 10916921344 9679 33554432000 4194304 4196468 140729403262352 139866187156368 139866583176917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27480064 140729403270264 140729403270409 140729403270409 140729403273167 0
[pid=21769/tid=21776] ppid=21766 vsize=10661056 memory=140588689716864 CPUtime=0 cores=1,3,5,7
/proc/21769/task/21776/stat : 21776 (java) S 21766 21769 25017 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 92810363 10916921344 9679 33554432000 4194304 4196468 140729403262352 139865888078064 139866583177858 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27480064 140729403270264 140729403270409 140729403270409 140729403273167 0
[pid=21769/tid=21777] ppid=21766 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21769/task/21777/stat : 21777 (java) S 21766 21769 25017 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 92810363 10916921344 9679 33554432000 4194304 4196468 140729403262352 139865887024288 139866583176917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27480064 140729403270264 140729403270409 140729403270409 140729403273167 0
[pid=21769/tid=21778] ppid=21766 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21769/task/21778/stat : 21778 (java) S 21766 21769 25017 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 92810363 10916921344 9679 33554432000 4194304 4196468 140729403262352 139865885971184 139866583176917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27480064 140729403270264 140729403270409 140729403270409 140729403273167 0
[pid=21769/tid=21779] ppid=21766 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21769/task/21779/stat : 21779 (java) S 21766 21769 25017 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92810366 10916921344 9679 33554432000 4194304 4196468 140729403262352 139865884919760 139866583185307 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27480064 140729403270264 140729403270409 140729403270409 140729403273167 0
[pid=21769/tid=21780] ppid=21766 vsize=10661056 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/21769/task/21780/stat : 21780 (java) R 21766 21769 25017 0 -1 4202560 365 0 0 0 2 0 0 0 20 0 15 0 92810366 10916921344 9679 33554432000 4194304 4196468 140729403262352 139865883867888 139866568292111 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27480064 140729403270264 140729403270409 140729403270409 140729403273167 0
[pid=21769/tid=21781] ppid=21766 vsize=10661056 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/21769/task/21781/stat : 21781 (java) R 21766 21769 25017 0 -1 1077944384 406 0 0 0 2 0 0 0 20 0 15 0 92810366 10916921344 9679 33554432000 4194304 4196468 140729403262352 139865882815344 139866583177858 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27480064 140729403270264 140729403270409 140729403270409 140729403273167 0
[pid=21769/tid=21782] ppid=21766 vsize=10661056 memory=140588689716864 CPUtime=0.07 cores=1,3,5,7
/proc/21769/task/21782/stat : 21782 (java) R 21766 21769 25017 0 -1 4202560 964 0 0 0 7 0 0 0 20 0 15 0 92810366 10916921344 9679 33554432000 4194304 4196468 140729403262352 139865881759224 139866567247198 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27480064 140729403270264 140729403270409 140729403270409 140729403273167 0
[pid=21769/tid=21783] ppid=21766 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21769/task/21783/stat : 21783 (java) S 21766 21769 25017 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92810366 10916921344 9679 33554432000 4194304 4196468 140729403262352 139865880709984 139866583176917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27480064 140729403270264 140729403270409 140729403270409 140729403273167 0
[pid=21769/tid=21784] ppid=21766 vsize=10661056 memory=140588689716864 CPUtime=0 cores=1,3,5,7
/proc/21769/task/21784/stat : 21784 (java) S 21766 21769 25017 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92810366 10916921344 9679 33554432000 4194304 4196468 140729403262352 139865879657008 139866583177858 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27480064 140729403270264 140729403270409 140729403270409 140729403273167 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10661056 KiB
Current children cumulated memory: 38716 KiB

[startup+0.311073 s]*
/proc/loadavg: 1.61 1.70 1.79 5/216 21784
/proc/meminfo: memFree=19083476/32770624 swapFree=67108796/67108860
[pid=21769] ppid=21766 vsize=10661056 memory=82484 CPUtime=0.65 cores=1,3,5,7
/proc/21769/stat : 21769 (java) S 21766 21769 25017 0 -1 1077944320 10521 0 0 0 61 4 0 0 20 0 15 0 92810360 10916921344 20621 33554432000 4194304 4196468 140729403262352 140729403244896 139866583166711 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 27480064 140729403270264 140729403270409 140729403270409 140729403273167 0
/proc/21769/statm: 2665264 20621 3047 1 0 2627263 0
[pid=21769/tid=21771] ppid=21766 vsize=10661056 memory=53476 CPUtime=0.3 cores=1,3,5,7
/proc/21769/task/21771/stat : 21771 (java) R 21766 21769 25017 0 -1 4202560 5244 0 0 0 27 3 0 0 20 0 15 0 92810360 10916921344 20621 33554432000 4194304 4196468 140729403262352 139866587398048 139866567247198 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27480064 140729403270264 140729403270409 140729403270409 140729403273167 0
[pid=21769/tid=21772] ppid=21766 vsize=10661056 memory=35 CPUtime=0 cores=1,3,5,7
/proc/21769/task/21772/stat : 21772 (java) S 21766 21769 25017 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92810361 10916921344 20621 33554432000 4194304 4196468 140729403262352 139866550725648 139866583176917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27480064 140729403270264 140729403270409 140729403270409 140729403273167 0
[pid=21769/tid=21773] ppid=21766 vsize=10661056 memory=140588689774880 CPUtime=0 cores=1,3,5,7
/proc/21769/task/21773/stat : 21773 (java) S 21766 21769 25017 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92810361 10916921344 20621 33554432000 4194304 4196468 140729403262352 139866189261968 139866583176917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27480064 140729403270264 140729403270409 140729403270409 140729403273167 0
[pid=21769/tid=21774] ppid=21766 vsize=10661056 memory=60388 CPUtime=0 cores=1,3,5,7
/proc/21769/task/21774/stat : 21774 (java) S 21766 21769 25017 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92810361 10916921344 20621 33554432000 4194304 4196468 140729403262352 139866188208912 139866583176917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27480064 140729403270264 140729403270409 140729403270409 140729403273167 0
[pid=21769/tid=21775] ppid=21766 vsize=10661056 memory=35 CPUtime=0 cores=1,3,5,7
/proc/21769/task/21775/stat : 21775 (java) S 21766 21769 25017 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 92810361 10916921344 20621 33554432000 4194304 4196468 140729403262352 139866187156368 139866583176917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27480064 140729403270264 140729403270409 140729403270409 140729403273167 0
[pid=21769/tid=21776] ppid=21766 vsize=10661056 memory=140588689781792 CPUtime=0 cores=1,3,5,7
/proc/21769/task/21776/stat : 21776 (java) S 21766 21769 25017 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 92810363 10916921344 20621 33554432000 4194304 4196468 140729403262352 139865888078064 139866583177858 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27480064 140729403270264 140729403270409 140729403270409 140729403273167 0
[pid=21769/tid=21777] ppid=21766 vsize=10661056 memory=35 CPUtime=0 cores=1,3,5,7
/proc/21769/task/21777/stat : 21777 (java) S 21766 21769 25017 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 92810363 10916921344 20621 33554432000 4194304 4196468 140729403262352 139865887024288 139866583176917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27480064 140729403270264 140729403270409 140729403270409 140729403273167 0
[pid=21769/tid=21778] ppid=21766 vsize=10661056 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/21769/task/21778/stat : 21778 (java) S 21766 21769 25017 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 92810363 10916921344 20621 33554432000 4194304 4196468 140729403262352 139865885971184 139866583176917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27480064 140729403270264 140729403270409 140729403270409 140729403273167 0
[pid=21769/tid=21779] ppid=21766 vsize=10661056 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/21769/task/21779/stat : 21779 (java) S 21766 21769 25017 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92810366 10916921344 20621 33554432000 4194304 4196468 140729403262352 139865884919760 139866583185307 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27480064 140729403270264 140729403270409 140729403270409 140729403273167 0
[pid=21769/tid=21780] ppid=21766 vsize=10661056 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/21769/task/21780/stat : 21780 (java) R 21766 21769 25017 0 -1 4202560 1487 0 0 0 11 0 0 0 20 0 15 0 92810366 10916921344 20621 33554432000 4194304 4196468 140729403262352 139865883849000 139866569190511 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27480064 140729403270264 140729403270409 140729403270409 140729403273167 0
[pid=21769/tid=21781] ppid=21766 vsize=10661056 memory=140588573904399 CPUtime=0.1 cores=1,3,5,7
/proc/21769/task/21781/stat : 21781 (java) R 21766 21769 25017 0 -1 4202560 1085 0 0 0 10 0 0 0 20 0 15 0 92810366 10916921344 20621 33554432000 4194304 4196468 140729403262352 139865882801224 139866575403838 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27480064 140729403270264 140729403270409 140729403270409 140729403273167 0
[pid=21769/tid=21782] ppid=21766 vsize=10661056 memory=140588689738502 CPUtime=0.12 cores=1,3,5,7
/proc/21769/task/21782/stat : 21782 (java) R 21766 21769 25017 0 -1 1077944384 1343 0 0 0 12 0 0 0 20 0 15 0 92810366 10916921344 20621 33554432000 4194304 4196468 140729403262352 139865881762288 139866583177858 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27480064 140729403270264 140729403270409 140729403270409 140729403273167 0
[pid=21769/tid=21783] ppid=21766 vsize=10661056 memory=140588573908943 CPUtime=0 cores=1,3,5,7
/proc/21769/task/21783/stat : 21783 (java) S 21766 21769 25017 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92810366 10916921344 20621 33554432000 4194304 4196468 140729403262352 139865880709984 139866583176917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27480064 140729403270264 140729403270409 140729403270409 140729403273167 0
[pid=21769/tid=21784] ppid=21766 vsize=10661056 memory=281177263642560 CPUtime=0 cores=1,3,5,7
/proc/21769/task/21784/stat : 21784 (java) S 21766 21769 25017 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92810366 10916921344 20621 33554432000 4194304 4196468 140729403262352 139865879657008 139866583177858 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27480064 140729403270264 140729403270409 140729403270409 140729403273167 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 10661056 KiB
Current children cumulated memory: 82484 KiB

[startup+0.701048 s]
/proc/loadavg: 1.61 1.70 1.79 5/216 21784
/proc/meminfo: memFree=19052452/32770624 swapFree=67108796/67108860
[pid=21769] ppid=21766 vsize=10661132 memory=216176 CPUtime=1.95 cores=1,3,5,7
/proc/21769/stat : 21769 (java) S 21766 21769 25017 0 -1 1077944320 12311 0 0 0 186 9 0 0 20 0 15 0 92810360 10916999168 54044 33554432000 4194304 4196468 140729403262352 140729403244896 139866583166711 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 27480064 140729403270264 140729403270409 140729403270409 140729403273167 0
/proc/21769/statm: 2665283 54044 3112 1 0 2627263 0
[pid=21769/tid=21771] ppid=21766 vsize=10661132 memory=2372 CPUtime=0.65 cores=1,3,5,7
/proc/21769/task/21771/stat : 21771 (java) R 21766 21769 25017 0 -1 4202560 5575 0 0 0 61 4 0 0 20 0 15 0 92810360 10916999168 54044 33554432000 4194304 4196468 140729403262352 139866587403592 139866222693574 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27480064 140729403270264 140729403270409 140729403270409 140729403273167 0
[pid=21769/tid=21772] ppid=21766 vsize=10661132 memory=6872598998417432672 CPUtime=0 cores=1,3,5,7
/proc/21769/task/21772/stat : 21772 (java) S 21766 21769 25017 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 15 0 92810361 10916999168 54044 33554432000 4194304 4196468 140729403262352 139866550725648 139866583176917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27480064 140729403270264 140729403270409 140729403270409 140729403273167 0
[pid=21769/tid=21773] ppid=21766 vsize=10661132 memory=7024 CPUtime=0 cores=1,3,5,7
/proc/21769/task/21773/stat : 21773 (java) S 21766 21769 25017 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 15 0 92810361 10916999168 54044 33554432000 4194304 4196468 140729403262352 139866189261968 139866583176917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27480064 140729403270264 140729403270409 140729403270409 140729403273167 0
[pid=21769/tid=21774] ppid=21766 vsize=10661132 memory=15044 CPUtime=0 cores=1,3,5,7
/proc/21769/task/21774/stat : 21774 (java) S 21766 21769 25017 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 15 0 92810361 10916999168 54044 33554432000 4194304 4196468 140729403262352 139866188208912 139866583176917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27480064 140729403270264 140729403270409 140729403270409 140729403273167 0
[pid=21769/tid=21775] ppid=21766 vsize=10661132 memory=20236 CPUtime=0.02 cores=1,3,5,7
/proc/21769/task/21775/stat : 21775 (java) S 21766 21769 25017 0 -1 1077944384 30 0 0 0 1 1 0 0 20 0 15 0 92810361 10916999168 54044 33554432000 4194304 4196468 140729403262352 139866187156368 139866583176917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27480064 140729403270264 140729403270409 140729403270409 140729403273167 0
[pid=21769/tid=21776] ppid=21766 vsize=10661132 memory=2241 CPUtime=0 cores=1,3,5,7
/proc/21769/task/21776/stat : 21776 (java) S 21766 21769 25017 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 92810363 10916999168 54044 33554432000 4194304 4196468 140729403262352 139865888078064 139866583177858 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27480064 140729403270264 140729403270409 140729403270409 140729403273167 0
[pid=21769/tid=21777] ppid=21766 vsize=10661132 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/21769/task/21777/stat : 21777 (java) S 21766 21769 25017 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 92810363 10916999168 54044 33554432000 4194304 4196468 140729403262352 139865887024288 139866583176917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27480064 140729403270264 140729403270409 140729403270409 140729403273167 0
[pid=21769/tid=21778] ppid=21766 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21769/task/21778/stat : 21778 (java) S 21766 21769 25017 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 92810363 10916999168 54044 33554432000 4194304 4196468 140729403262352 139865885971184 139866583176917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27480064 140729403270264 140729403270409 140729403270409 140729403273167 0
[pid=21769/tid=21779] ppid=21766 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21769/task/21779/stat : 21779 (java) S 21766 21769 25017 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92810366 10916999168 54044 33554432000 4194304 4196468 140729403262352 139865884919760 139866583185307 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27480064 140729403270264 140729403270409 140729403270409 140729403273167 0
[pid=21769/tid=21780] ppid=21766 vsize=10661132 memory=0 CPUtime=0.47 cores=1,3,5,7
/proc/21769/task/21780/stat : 21780 (java) R 21766 21769 25017 0 -1 4202560 1955 0 0 0 47 0 0 0 20 0 15 0 92810366 10916999168 54044 33554432000 4194304 4196468 140729403262352 139865883842096 139866564687893 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 27480064 140729403270264 140729403270409 140729403270409 140729403273167 0
[pid=21769/tid=21781] ppid=21766 vsize=10661132 memory=0 CPUtime=0.48 cores=1,3,5,7
/proc/21769/task/21781/stat : 21781 (java) R 21766 21769 25017 0 -1 4202560 1567 0 0 0 48 0 0 0 20 0 15 0 92810366 10916999168 54044 33554432000 4194304 4196468 140729403262352 139865882804608 139866564711919 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27480064 140729403270264 140729403270409 140729403270409 140729403273167 0
[pid=21769/tid=21782] ppid=21766 vsize=10661132 memory=0 CPUtime=0.26 cores=1,3,5,7
/proc/21769/task/21782/stat : 21782 (java) S 21766 21769 25017 0 -1 1077944384 1693 0 0 0 26 0 0 0 20 0 15 0 92810366 10916999168 54044 33554432000 4194304 4196468 140729403262352 139865881762288 139866583177858 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27480064 140729403270264 140729403270409 140729403270409 140729403273167 0
[pid=21769/tid=21783] ppid=21766 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21769/task/21783/stat : 21783 (java) S 21766 21769 25017 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92810366 10916999168 54044 33554432000 4194304 4196468 140729403262352 139865880709984 139866583176917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27480064 140729403270264 140729403270409 140729403270409 140729403273167 0
[pid=21769/tid=21784] ppid=21766 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21769/task/21784/stat : 21784 (java) S 21766 21769 25017 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92810366 10916999168 54044 33554432000 4194304 4196468 140729403262352 139865879657008 139866583177858 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27480064 140729403270264 140729403270409 140729403270409 140729403273167 0
Current children cumulated CPU time: 1.95 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 216176 KiB

[startup+1.50083 s]
/proc/loadavg: 1.61 1.70 1.79 3/216 21784
/proc/meminfo: memFree=18878864/32770624 swapFree=67108796/67108860
[pid=21769] ppid=21766 vsize=10661132 memory=416832 CPUtime=3.55 cores=1,3,5,7
/proc/21769/stat : 21769 (java) S 21766 21769 25017 0 -1 1077944320 13645 0 0 0 332 23 0 0 20 0 15 0 92810360 10916999168 104208 33554432000 4194304 4196468 140729403262352 140729403244896 139866583166711 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 27480064 140729403270264 140729403270409 140729403270409 140729403273167 0
/proc/21769/statm: 2665283 104208 3131 1 0 2627263 0
[pid=21769/tid=21771] ppid=21766 vsize=10661132 memory=3904958664236290155 CPUtime=1.38 cores=1,3,5,7
/proc/21769/task/21771/stat : 21771 (java) R 21766 21769 25017 0 -1 4202560 5638 0 0 0 132 6 0 0 20 0 15 0 92810360 10916999168 104208 33554432000 4194304 4196468 140729403262352 139866587401616 139866219884262 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27480064 140729403270264 140729403270409 140729403270409 140729403273167 0
[pid=21769/tid=21772] ppid=21766 vsize=10661132 memory=244180 CPUtime=0.08 cores=1,3,5,7
/proc/21769/task/21772/stat : 21772 (java) S 21766 21769 25017 0 -1 1077944384 137 0 0 0 4 4 0 0 20 0 15 0 92810361 10916999168 104208 33554432000 4194304 4196468 140729403262352 139866550725648 139866583176917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27480064 140729403270264 140729403270409 140729403270409 140729403273167 0
[pid=21769/tid=21773] ppid=21766 vsize=10661132 memory=2241 CPUtime=0.07 cores=1,3,5,7
/proc/21769/task/21773/stat : 21773 (java) S 21766 21769 25017 0 -1 1077944384 119 0 0 0 4 3 0 0 20 0 15 0 92810361 10916999168 104208 33554432000 4194304 4196468 140729403262352 139866189261968 139866583176917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27480064 140729403270264 140729403270409 140729403270409 140729403273167 0
[pid=21769/tid=21774] ppid=21766 vsize=10661132 memory=7024 CPUtime=0.07 cores=1,3,5,7
/proc/21769/task/21774/stat : 21774 (java) S 21766 21769 25017 0 -1 1077944384 164 0 0 0 4 3 0 0 20 0 15 0 92810361 10916999168 104208 33554432000 4194304 4196468 140729403262352 139866188208912 139866583176917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27480064 140729403270264 140729403270409 140729403270409 140729403273167 0
[pid=21769/tid=21775] ppid=21766 vsize=10661132 memory=15044 CPUtime=0.08 cores=1,3,5,7
/proc/21769/task/21775/stat : 21775 (java) S 21766 21769 25017 0 -1 1077944384 354 0 0 0 5 3 0 0 20 0 15 0 92810361 10916999168 104208 33554432000 4194304 4196468 140729403262352 139866187156368 139866583176917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27480064 140729403270264 140729403270409 140729403270409 140729403273167 0
[pid=21769/tid=21776] ppid=21766 vsize=10661132 memory=20236 CPUtime=0 cores=1,3,5,7
/proc/21769/task/21776/stat : 21776 (java) S 21766 21769 25017 0 -1 1077944384 210 0 0 0 0 0 0 0 20 0 15 0 92810363 10916999168 104208 33554432000 4194304 4196468 140729403262352 139865888078064 139866583177858 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27480064 140729403270264 140729403270409 140729403270409 140729403273167 0

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

/proc/21769/task/21771/stat : 21771 (java) R 21766 21769 25017 0 -1 4202560 1336698 0 0 0 237031 101 0 0 20 0 15 0 92810360 10916999168 965606 33554432000 4194304 4196468 140729403262352 139866587408032 139866227920142 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27480064 140729403270264 140729403270409 140729403270409 140729403273167 0
[pid=21769/tid=21772] ppid=21766 vsize=10661132 memory=3862424 CPUtime=8.84 cores=1,3,5,7
/proc/21769/task/21772/stat : 21772 (java) S 21766 21769 25017 0 -1 1077944384 167620 0 0 0 774 110 0 0 20 0 15 0 92810361 10916999168 965606 33554432000 4194304 4196468 140729403262352 139866550725648 139866583176917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27480064 140729403270264 140729403270409 140729403270409 140729403273167 0
[pid=21769/tid=21773] ppid=21766 vsize=10661132 memory=3862424 CPUtime=8.86 cores=1,3,5,7
/proc/21769/task/21773/stat : 21773 (java) S 21766 21769 25017 0 -1 1077944384 151990 0 0 0 783 103 0 0 20 0 15 0 92810361 10916999168 965606 33554432000 4194304 4196468 140729403262352 139866189261968 139866583176917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27480064 140729403270264 140729403270409 140729403270409 140729403273167 0
[pid=21769/tid=21774] ppid=21766 vsize=10661132 memory=3862424 CPUtime=8.81 cores=1,3,5,7
/proc/21769/task/21774/stat : 21774 (java) S 21766 21769 25017 0 -1 1077944384 172197 0 0 0 780 101 0 0 20 0 15 0 92810361 10916999168 965606 33554432000 4194304 4196468 140729403262352 139866188208912 139866583176917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27480064 140729403270264 140729403270409 140729403270409 140729403273167 0
[pid=21769/tid=21775] ppid=21766 vsize=10661132 memory=3708 CPUtime=8.85 cores=1,3,5,7
/proc/21769/task/21775/stat : 21775 (java) S 21766 21769 25017 0 -1 1077944384 153676 0 0 0 782 103 0 0 20 0 15 0 92810361 10916999168 965606 33554432000 4194304 4196468 140729403262352 139866187156368 139866583176917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27480064 140729403270264 140729403270409 140729403270409 140729403273167 0
[pid=21769/tid=21776] ppid=21766 vsize=10661132 memory=3862424 CPUtime=1.73 cores=1,3,5,7
/proc/21769/task/21776/stat : 21776 (java) S 21766 21769 25017 0 -1 1077944384 19093 0 0 0 166 7 0 0 20 0 15 0 92810363 10916999168 965606 33554432000 4194304 4196468 140729403262352 139865888078064 139866583177858 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27480064 140729403270264 140729403270409 140729403270409 140729403273167 0
[pid=21769/tid=21777] ppid=21766 vsize=10661132 memory=4124 CPUtime=0 cores=1,3,5,7
/proc/21769/task/21777/stat : 21777 (java) S 21766 21769 25017 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 15 0 92810363 10916999168 965606 33554432000 4194304 4196468 140729403262352 139865887024352 139866583176917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27480064 140729403270264 140729403270409 140729403270409 140729403273167 0
[pid=21769/tid=21778] ppid=21766 vsize=10661132 memory=924 CPUtime=0 cores=1,3,5,7
/proc/21769/task/21778/stat : 21778 (java) S 21766 21769 25017 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 92810363 10916999168 965606 33554432000 4194304 4196468 140729403262352 139865885971184 139866583176917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27480064 140729403270264 140729403270409 140729403270409 140729403273167 0
[pid=21769/tid=21779] ppid=21766 vsize=10661132 memory=3862424 CPUtime=0 cores=1,3,5,7
/proc/21769/task/21779/stat : 21779 (java) S 21766 21769 25017 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92810366 10916999168 965606 33554432000 4194304 4196468 140729403262352 139865884919760 139866583185307 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27480064 140729403270264 140729403270409 140729403270409 140729403273167 0
[pid=21769/tid=21780] ppid=21766 vsize=10661132 memory=3862424 CPUtime=3.17 cores=1,3,5,7
/proc/21769/task/21780/stat : 21780 (java) S 21766 21769 25017 0 -1 1077944384 15922 0 0 0 315 2 0 0 20 0 15 0 92810366 10916999168 965606 33554432000 4194304 4196468 140729403262352 139865883867888 139866583177858 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27480064 140729403270264 140729403270409 140729403270409 140729403273167 0
[pid=21769/tid=21781] ppid=21766 vsize=10661132 memory=3862424 CPUtime=2.54 cores=1,3,5,7
/proc/21769/task/21781/stat : 21781 (java) S 21766 21769 25017 0 -1 1077944384 9656 0 0 0 253 1 0 0 20 0 15 0 92810366 10916999168 965606 33554432000 4194304 4196468 140729403262352 139865882815344 139866583177858 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27480064 140729403270264 140729403270409 140729403270409 140729403273167 0
[pid=21769/tid=21782] ppid=21766 vsize=10661132 memory=1572 CPUtime=0.78 cores=1,3,5,7
/proc/21769/task/21782/stat : 21782 (java) S 21766 21769 25017 0 -1 1077944384 10372 0 0 0 76 2 0 0 20 0 15 0 92810366 10916999168 965606 33554432000 4194304 4196468 140729403262352 139865881762288 139866583177858 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27480064 140729403270264 140729403270409 140729403270409 140729403273167 0
[pid=21769/tid=21783] ppid=21766 vsize=10661132 memory=2092 CPUtime=0 cores=1,3,5,7
/proc/21769/task/21783/stat : 21783 (java) S 21766 21769 25017 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92810366 10916999168 965606 33554432000 4194304 4196468 140729403262352 139865880709984 139866583176917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27480064 140729403270264 140729403270409 140729403270409 140729403273167 0
[pid=21769/tid=21784] ppid=21766 vsize=10661132 memory=7524 CPUtime=1.21 cores=1,3,5,7
/proc/21769/task/21784/stat : 21784 (java) S 21766 21769 25017 0 -1 1077944384 1811 0 0 0 50 71 0 0 20 0 15 0 92810366 10916999168 965606 33554432000 4194304 4196468 140729403262352 139865879657008 139866583177858 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27480064 140729403270264 140729403270409 140729403270409 140729403273167 0
Current children cumulated CPU time: 2416.19 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 3862424 KiB

[startup+2442.3 s]
/proc/loadavg: 1.74 1.70 1.79 3/215 21959
/proc/meminfo: memFree=16844032/32770624 swapFree=67108796/67108860
[pid=21769] ppid=21766 vsize=10661132 memory=3859344 CPUtime=2476.33 cores=1,3,5,7
/proc/21769/stat : 21769 (java) S 21766 21769 25017 0 -1 1077944320 2046893 0 0 0 247046 587 0 0 20 0 15 0 92810360 10916999168 964836 33554432000 4194304 4196468 140729403262352 140729403244896 139866583166711 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 27480064 140729403270264 140729403270409 140729403270409 140729403273167 0
/proc/21769/statm: 2665283 964836 3200 1 0 2627263 0
[pid=21769/tid=21771] ppid=21766 vsize=10661132 memory=3860372 CPUtime=2431.26 cores=1,3,5,7
/proc/21769/task/21771/stat : 21771 (java) R 21766 21769 25017 0 -1 4202560 1340460 0 0 0 243025 101 0 0 20 0 15 0 92810360 10916999168 964836 33554432000 4194304 4196468 140729403262352 139866587408032 139866227920142 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27480064 140729403270264 140729403270409 140729403270409 140729403273167 0
[pid=21769/tid=21772] ppid=21766 vsize=10661132 memory=3860372 CPUtime=8.88 cores=1,3,5,7
/proc/21769/task/21772/stat : 21772 (java) S 21766 21769 25017 0 -1 1077944384 168210 0 0 0 778 110 0 0 20 0 15 0 92810361 10916999168 964836 33554432000 4194304 4196468 140729403262352 139866550725648 139866583176917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27480064 140729403270264 140729403270409 140729403270409 140729403273167 0
[pid=21769/tid=21773] ppid=21766 vsize=10661132 memory=3859344 CPUtime=8.9 cores=1,3,5,7
/proc/21769/task/21773/stat : 21773 (java) S 21766 21769 25017 0 -1 1077944384 153153 0 0 0 787 103 0 0 20 0 15 0 92810361 10916999168 964836 33554432000 4194304 4196468 140729403262352 139866189261968 139866583176917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27480064 140729403270264 140729403270409 140729403270409 140729403273167 0
[pid=21769/tid=21774] ppid=21766 vsize=10661132 memory=3859344 CPUtime=8.85 cores=1,3,5,7
/proc/21769/task/21774/stat : 21774 (java) S 21766 21769 25017 0 -1 1077944384 172535 0 0 0 784 101 0 0 20 0 15 0 92810361 10916999168 964836 33554432000 4194304 4196468 140729403262352 139866188208912 139866583176917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27480064 140729403270264 140729403270409 140729403270409 140729403273167 0
[pid=21769/tid=21775] ppid=21766 vsize=10661132 memory=3859344 CPUtime=8.89 cores=1,3,5,7
/proc/21769/task/21775/stat : 21775 (java) S 21766 21769 25017 0 -1 1077944384 154006 0 0 0 786 103 0 0 20 0 15 0 92810361 10916999168 964836 33554432000 4194304 4196468 140729403262352 139866187156368 139866583176917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27480064 140729403270264 140729403270409 140729403270409 140729403273167 0
[pid=21769/tid=21776] ppid=21766 vsize=10661132 memory=3859344 CPUtime=1.73 cores=1,3,5,7
/proc/21769/task/21776/stat : 21776 (java) S 21766 21769 25017 0 -1 1077944384 19329 0 0 0 166 7 0 0 20 0 15 0 92810363 10916999168 964836 33554432000 4194304 4196468 140729403262352 139865888078064 139866583177858 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27480064 140729403270264 140729403270409 140729403270409 140729403273167 0
[pid=21769/tid=21777] ppid=21766 vsize=10661132 memory=3708 CPUtime=0 cores=1,3,5,7
/proc/21769/task/21777/stat : 21777 (java) S 21766 21769 25017 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 15 0 92810363 10916999168 964836 33554432000 4194304 4196468 140729403262352 139865887024352 139866583176917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27480064 140729403270264 140729403270409 140729403270409 140729403273167 0
[pid=21769/tid=21778] ppid=21766 vsize=10661132 memory=3859344 CPUtime=0 cores=1,3,5,7
/proc/21769/task/21778/stat : 21778 (java) S 21766 21769 25017 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 92810363 10916999168 964836 33554432000 4194304 4196468 140729403262352 139865885971184 139866583176917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27480064 140729403270264 140729403270409 140729403270409 140729403273167 0
[pid=21769/tid=21779] ppid=21766 vsize=10661132 memory=4032 CPUtime=0 cores=1,3,5,7
/proc/21769/task/21779/stat : 21779 (java) S 21766 21769 25017 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92810366 10916999168 964836 33554432000 4194304 4196468 140729403262352 139865884919760 139866583185307 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27480064 140729403270264 140729403270409 140729403270409 140729403273167 0
[pid=21769/tid=21780] ppid=21766 vsize=10661132 memory=3859344 CPUtime=3.17 cores=1,3,5,7
/proc/21769/task/21780/stat : 21780 (java) S 21766 21769 25017 0 -1 1077944384 15926 0 0 0 315 2 0 0 20 0 15 0 92810366 10916999168 964836 33554432000 4194304 4196468 140729403262352 139865883867888 139866583177858 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27480064 140729403270264 140729403270409 140729403270409 140729403273167 0
[pid=21769/tid=21781] ppid=21766 vsize=10661132 memory=3859344 CPUtime=2.54 cores=1,3,5,7
/proc/21769/task/21781/stat : 21781 (java) S 21766 21769 25017 0 -1 1077944384 9659 0 0 0 253 1 0 0 20 0 15 0 92810366 10916999168 964836 33554432000 4194304 4196468 140729403262352 139865882815344 139866583177858 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27480064 140729403270264 140729403270409 140729403270409 140729403273167 0
[pid=21769/tid=21782] ppid=21766 vsize=10661132 memory=3859344 CPUtime=0.78 cores=1,3,5,7
/proc/21769/task/21782/stat : 21782 (java) S 21766 21769 25017 0 -1 1077944384 10380 0 0 0 76 2 0 0 20 0 15 0 92810366 10916999168 964836 33554432000 4194304 4196468 140729403262352 139865881762288 139866583177858 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27480064 140729403270264 140729403270409 140729403270409 140729403273167 0
[pid=21769/tid=21783] ppid=21766 vsize=10661132 memory=3859344 CPUtime=0 cores=1,3,5,7
/proc/21769/task/21783/stat : 21783 (java) S 21766 21769 25017 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92810366 10916999168 964836 33554432000 4194304 4196468 140729403262352 139865880709984 139866583176917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27480064 140729403270264 140729403270409 140729403270409 140729403273167 0
[pid=21769/tid=21784] ppid=21766 vsize=10661132 memory=3859344 CPUtime=1.24 cores=1,3,5,7
/proc/21769/task/21784/stat : 21784 (java) S 21766 21769 25017 0 -1 1077944384 1850 0 0 0 52 72 0 0 20 0 15 0 92810366 10916999168 964836 33554432000 4194304 4196468 140729403262352 139865879657008 139866583177858 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27480064 140729403270264 140729403270409 140729403270409 140729403273167 0
Current children cumulated CPU time: 2476.33 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 3859344 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2485.9 s]
/proc/loadavg: 1.71 1.69 1.78 3/215 21959
/proc/meminfo: memFree=16892008/32770624 swapFree=67108796/67108860
[pid=21769] ppid=21766 vsize=10661132 memory=3857292 CPUtime=2520.02 cores=1,3,5,7
/proc/21769/stat : 21769 (java) S 21766 21769 25017 0 -1 1077944320 2050284 0 0 0 251414 588 0 0 20 0 15 0 92810360 10916999168 964323 33554432000 4194304 4196468 140729403262352 140729403244896 139866583166711 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 27480064 140729403270264 140729403270409 140729403270409 140729403273167 0
/proc/21769/statm: 2665283 964323 3200 1 0 2627263 0
[pid=21769/tid=21771] ppid=21766 vsize=10661132 memory=6791534058613427641 CPUtime=2474.84 cores=1,3,5,7
/proc/21769/task/21771/stat : 21771 (java) R 21766 21769 25017 0 -1 4202560 1343601 0 0 0 247382 102 0 0 20 0 15 0 92810360 10916999168 964323 33554432000 4194304 4196468 140729403262352 139866587408032 139866227606720 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27480064 140729403270264 140729403270409 140729403270409 140729403273167 0
[pid=21769/tid=21772] ppid=21766 vsize=10661132 memory=3857292 CPUtime=8.9 cores=1,3,5,7
/proc/21769/task/21772/stat : 21772 (java) S 21766 21769 25017 0 -1 1077944384 168216 0 0 0 780 110 0 0 20 0 15 0 92810361 10916999168 964323 33554432000 4194304 4196468 140729403262352 139866550725648 139866583176917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27480064 140729403270264 140729403270409 140729403270409 140729403273167 0
[pid=21769/tid=21773] ppid=21766 vsize=10661132 memory=3857292 CPUtime=8.92 cores=1,3,5,7
/proc/21769/task/21773/stat : 21773 (java) S 21766 21769 25017 0 -1 1077944384 153282 0 0 0 789 103 0 0 20 0 15 0 92810361 10916999168 964323 33554432000 4194304 4196468 140729403262352 139866189261968 139866583176917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27480064 140729403270264 140729403270409 140729403270409 140729403273167 0
[pid=21769/tid=21774] ppid=21766 vsize=10661132 memory=3857292 CPUtime=8.87 cores=1,3,5,7
/proc/21769/task/21774/stat : 21774 (java) S 21766 21769 25017 0 -1 1077944384 172562 0 0 0 786 101 0 0 20 0 15 0 92810361 10916999168 964323 33554432000 4194304 4196468 140729403262352 139866188208912 139866583176917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27480064 140729403270264 140729403270409 140729403270409 140729403273167 0
[pid=21769/tid=21775] ppid=21766 vsize=10661132 memory=3857292 CPUtime=8.91 cores=1,3,5,7
/proc/21769/task/21775/stat : 21775 (java) S 21766 21769 25017 0 -1 1077944384 154028 0 0 0 788 103 0 0 20 0 15 0 92810361 10916999168 964323 33554432000 4194304 4196468 140729403262352 139866187156368 139866583176917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27480064 140729403270264 140729403270409 140729403270409 140729403273167 0
[pid=21769/tid=21776] ppid=21766 vsize=10661132 memory=3857292 CPUtime=1.73 cores=1,3,5,7
/proc/21769/task/21776/stat : 21776 (java) S 21766 21769 25017 0 -1 1077944384 19341 0 0 0 166 7 0 0 20 0 15 0 92810363 10916999168 964323 33554432000 4194304 4196468 140729403262352 139865888078064 139866583177858 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27480064 140729403270264 140729403270409 140729403270409 140729403273167 0
[pid=21769/tid=21777] ppid=21766 vsize=10661132 memory=3857292 CPUtime=0 cores=1,3,5,7
/proc/21769/task/21777/stat : 21777 (java) S 21766 21769 25017 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 15 0 92810363 10916999168 964323 33554432000 4194304 4196468 140729403262352 139865887024352 139866583176917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27480064 140729403270264 140729403270409 140729403270409 140729403273167 0
[pid=21769/tid=21778] ppid=21766 vsize=10661132 memory=3857292 CPUtime=0 cores=1,3,5,7
/proc/21769/task/21778/stat : 21778 (java) S 21766 21769 25017 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 92810363 10916999168 964323 33554432000 4194304 4196468 140729403262352 139865885971184 139866583176917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27480064 140729403270264 140729403270409 140729403270409 140729403273167 0
[pid=21769/tid=21779] ppid=21766 vsize=10661132 memory=3857292 CPUtime=0 cores=1,3,5,7
/proc/21769/task/21779/stat : 21779 (java) S 21766 21769 25017 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92810366 10916999168 964323 33554432000 4194304 4196468 140729403262352 139865884919760 139866583185307 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27480064 140729403270264 140729403270409 140729403270409 140729403273167 0
[pid=21769/tid=21780] ppid=21766 vsize=10661132 memory=2088 CPUtime=3.17 cores=1,3,5,7
/proc/21769/task/21780/stat : 21780 (java) S 21766 21769 25017 0 -1 1077944384 15930 0 0 0 315 2 0 0 20 0 15 0 92810366 10916999168 964323 33554432000 4194304 4196468 140729403262352 139865883867888 139866583177858 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27480064 140729403270264 140729403270409 140729403270409 140729403273167 0
[pid=21769/tid=21781] ppid=21766 vsize=10661132 memory=1040 CPUtime=2.54 cores=1,3,5,7
/proc/21769/task/21781/stat : 21781 (java) S 21766 21769 25017 0 -1 1077944384 9662 0 0 0 253 1 0 0 20 0 15 0 92810366 10916999168 964323 33554432000 4194304 4196468 140729403262352 139865882815344 139866583177858 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27480064 140729403270264 140729403270409 140729403270409 140729403273167 0
[pid=21769/tid=21782] ppid=21766 vsize=10661132 memory=3857292 CPUtime=0.78 cores=1,3,5,7
/proc/21769/task/21782/stat : 21782 (java) S 21766 21769 25017 0 -1 1077944384 10388 0 0 0 76 2 0 0 20 0 15 0 92810366 10916999168 964323 33554432000 4194304 4196468 140729403262352 139865881762288 139866583177858 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27480064 140729403270264 140729403270409 140729403270409 140729403273167 0
[pid=21769/tid=21783] ppid=21766 vsize=10661132 memory=3857292 CPUtime=0 cores=1,3,5,7
/proc/21769/task/21783/stat : 21783 (java) S 21766 21769 25017 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92810366 10916999168 964323 33554432000 4194304 4196468 140729403262352 139865880709984 139866583176917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27480064 140729403270264 140729403270409 140729403270409 140729403273167 0
[pid=21769/tid=21784] ppid=21766 vsize=10661132 memory=3857292 CPUtime=1.27 cores=1,3,5,7
/proc/21769/task/21784/stat : 21784 (java) S 21766 21769 25017 0 -1 1077944384 1889 0 0 0 54 73 0 0 20 0 15 0 92810366 10916999168 964323 33554432000 4194304 4196468 140729403262352 139865879657008 139866583177858 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27480064 140729403270264 140729403270409 140729403270409 140729403273167 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 3857292 KiB

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

[startup+2485.94 s]
# the end of solver process 21769 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2514.17 s, system=5.90862 s

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

[startup+2485.9 s]
/proc/loadavg: 1.71 1.69 1.78 3/215 21959
/proc/meminfo: memFree=16892008/32770624 swapFree=67108796/67108860
[pid=21769] ppid=21766 vsize=10661132 memory=3857292 CPUtime=2520.02 cores=1,3,5,7
/proc/21769/stat : 21769 (java) S 21766 21769 25017 0 -1 1077944320 2050284 0 0 0 251414 588 0 0 20 0 15 0 92810360 10916999168 964323 33554432000 4194304 4196468 140729403262352 140729403244896 139866583166711 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 27480064 140729403270264 140729403270409 140729403270409 140729403273167 0
/proc/21769/statm: 2665283 964323 3200 1 0 2627263 0
[pid=21769/tid=21771] ppid=21766 vsize=10661132 memory=6791534058613427641 CPUtime=2474.84 cores=1,3,5,7
/proc/21769/task/21771/stat : 21771 (java) R 21766 21769 25017 0 -1 4202560 1343601 0 0 0 247382 102 0 0 20 0 15 0 92810360 10916999168 964323 33554432000 4194304 4196468 140729403262352 139866587408032 139866227606720 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27480064 140729403270264 140729403270409 140729403270409 140729403273167 0
[pid=21769/tid=21772] ppid=21766 vsize=10661132 memory=3857292 CPUtime=8.9 cores=1,3,5,7
/proc/21769/task/21772/stat : 21772 (java) S 21766 21769 25017 0 -1 1077944384 168216 0 0 0 780 110 0 0 20 0 15 0 92810361 10916999168 964323 33554432000 4194304 4196468 140729403262352 139866550725648 139866583176917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27480064 140729403270264 140729403270409 140729403270409 140729403273167 0
[pid=21769/tid=21773] ppid=21766 vsize=10661132 memory=3857292 CPUtime=8.92 cores=1,3,5,7
/proc/21769/task/21773/stat : 21773 (java) S 21766 21769 25017 0 -1 1077944384 153282 0 0 0 789 103 0 0 20 0 15 0 92810361 10916999168 964323 33554432000 4194304 4196468 140729403262352 139866189261968 139866583176917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27480064 140729403270264 140729403270409 140729403270409 140729403273167 0
[pid=21769/tid=21774] ppid=21766 vsize=10661132 memory=3857292 CPUtime=8.87 cores=1,3,5,7
/proc/21769/task/21774/stat : 21774 (java) S 21766 21769 25017 0 -1 1077944384 172562 0 0 0 786 101 0 0 20 0 15 0 92810361 10916999168 964323 33554432000 4194304 4196468 140729403262352 139866188208912 139866583176917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27480064 140729403270264 140729403270409 140729403270409 140729403273167 0
[pid=21769/tid=21775] ppid=21766 vsize=10661132 memory=3857292 CPUtime=8.91 cores=1,3,5,7
/proc/21769/task/21775/stat : 21775 (java) S 21766 21769 25017 0 -1 1077944384 154028 0 0 0 788 103 0 0 20 0 15 0 92810361 10916999168 964323 33554432000 4194304 4196468 140729403262352 139866187156368 139866583176917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27480064 140729403270264 140729403270409 140729403270409 140729403273167 0
[pid=21769/tid=21776] ppid=21766 vsize=10661132 memory=3857292 CPUtime=1.73 cores=1,3,5,7
/proc/21769/task/21776/stat : 21776 (java) S 21766 21769 25017 0 -1 1077944384 19341 0 0 0 166 7 0 0 20 0 15 0 92810363 10916999168 964323 33554432000 4194304 4196468 140729403262352 139865888078064 139866583177858 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27480064 140729403270264 140729403270409 140729403270409 140729403273167 0
[pid=21769/tid=21777] ppid=21766 vsize=10661132 memory=3857292 CPUtime=0 cores=1,3,5,7
/proc/21769/task/21777/stat : 21777 (java) S 21766 21769 25017 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 15 0 92810363 10916999168 964323 33554432000 4194304 4196468 140729403262352 139865887024352 139866583176917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27480064 140729403270264 140729403270409 140729403270409 140729403273167 0
[pid=21769/tid=21778] ppid=21766 vsize=10661132 memory=3857292 CPUtime=0 cores=1,3,5,7
/proc/21769/task/21778/stat : 21778 (java) S 21766 21769 25017 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 92810363 10916999168 964323 33554432000 4194304 4196468 140729403262352 139865885971184 139866583176917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27480064 140729403270264 140729403270409 140729403270409 140729403273167 0
[pid=21769/tid=21779] ppid=21766 vsize=10661132 memory=3857292 CPUtime=0 cores=1,3,5,7
/proc/21769/task/21779/stat : 21779 (java) S 21766 21769 25017 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92810366 10916999168 964323 33554432000 4194304 4196468 140729403262352 139865884919760 139866583185307 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27480064 140729403270264 140729403270409 140729403270409 140729403273167 0
[pid=21769/tid=21780] ppid=21766 vsize=10661132 memory=2088 CPUtime=3.17 cores=1,3,5,7
/proc/21769/task/21780/stat : 21780 (java) S 21766 21769 25017 0 -1 1077944384 15930 0 0 0 315 2 0 0 20 0 15 0 92810366 10916999168 964323 33554432000 4194304 4196468 140729403262352 139865883867888 139866583177858 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27480064 140729403270264 140729403270409 140729403270409 140729403273167 0
[pid=21769/tid=21781] ppid=21766 vsize=10661132 memory=1040 CPUtime=2.54 cores=1,3,5,7
/proc/21769/task/21781/stat : 21781 (java) S 21766 21769 25017 0 -1 1077944384 9662 0 0 0 253 1 0 0 20 0 15 0 92810366 10916999168 964323 33554432000 4194304 4196468 140729403262352 139865882815344 139866583177858 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27480064 140729403270264 140729403270409 140729403270409 140729403273167 0
[pid=21769/tid=21782] ppid=21766 vsize=10661132 memory=3857292 CPUtime=0.78 cores=1,3,5,7
/proc/21769/task/21782/stat : 21782 (java) S 21766 21769 25017 0 -1 1077944384 10388 0 0 0 76 2 0 0 20 0 15 0 92810366 10916999168 964323 33554432000 4194304 4196468 140729403262352 139865881762288 139866583177858 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27480064 140729403270264 140729403270409 140729403270409 140729403273167 0
[pid=21769/tid=21783] ppid=21766 vsize=10661132 memory=3857292 CPUtime=0 cores=1,3,5,7
/proc/21769/task/21783/stat : 21783 (java) S 21766 21769 25017 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92810366 10916999168 964323 33554432000 4194304 4196468 140729403262352 139865880709984 139866583176917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27480064 140729403270264 140729403270409 140729403270409 140729403273167 0
[pid=21769/tid=21784] ppid=21766 vsize=10661132 memory=3857292 CPUtime=1.27 cores=1,3,5,7
/proc/21769/task/21784/stat : 21784 (java) S 21766 21769 25017 0 -1 1077944384 1889 0 0 0 54 73 0 0 20 0 15 0 92810366 10916999168 964323 33554432000 4194304 4196468 140729403262352 139865879657008 139866583177858 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27480064 140729403270264 140729403270409 140729403270409 140729403273167 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 3857292 KiB

Child status: 143
Real time (s): 2485.94
CPU time (s): 2520.08
CPU user time (s): 2514.17
CPU system time (s): 5.90862
CPU usage (%): 101.373
Max. virtual memory (cumulated for all children) (KiB): 10661132
Max. memory (cumulated for all children) (KiB): 5494380

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2514.17
system time used= 5.90862
maximum resident set size= 5494532
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2051961
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2568
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 61346
involuntary context switches= 1712


# summary of solver processes directly reported to runsolver:
#   pid: 21769
#   total CPU time (s): 2520.08
#   total CPU user time (s): 2514.17
#   total CPU system time (s): 5.90862

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.677 second user time and 22.9871 second system time

The end

Launcher Data 

Begin job on node138 at 2018-07-28 06:34:32
IDJOB=4298307
IDBENCH=141098
IDSOLVER=2768
FILE ID=node138/4298307-1532752472
RUNJOBID= node138-1532740019-20129
PBS_JOBID= 21022442
Free space on /tmp= 53764 MiB

SOLVER NAME= The dodo solver 2018-04-29
BENCH NAME= XCSP18/Rlfap_mini/Rlfap-opt_mini/Rlfap-ext-scen-10-opt_c18.xml
COMMAND LINE= java -jar DIR/dodo_solver.jar BENCHNAME --timelimit TIMEOUT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4298307-1532752472/watcher-4298307-1532752472 -o /tmp/evaluation-result-4298307-1532752472/solver-4298307-1532752472 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node138-1532740019-20129 --watchdog 2580  java -jar HOME/dodo_solver.jar HOME/instance-4298307-1532752472.xml --timelimit 2520

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

MD5SUM BENCH= d97bf760713e7741c92fd1268dd09e15
RANDOM SEED=1398093994

node138.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.71
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.71
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.71
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.71
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:        19153880 kB
MemAvailable:   28818400 kB
Buffers:          202908 kB
Cached:          9669384 kB
SwapCached:           44 kB
Active:          5617288 kB
Inactive:        7415764 kB
Active(anon):    3105108 kB
Inactive(anon):    83516 kB
Active(file):    2512180 kB
Inactive(file):  7332248 kB
Unevictable:        7280 kB
Mlocked:            7280 kB
SwapTotal:      67108860 kB
SwapFree:       67108796 kB
Dirty:             16456 kB
Writeback:             0 kB
AnonPages:       2913812 kB
Mapped:            49400 kB
Shmem:             25164 kB
Slab:             276596 kB
SReclaimable:     248552 kB
SUnreclaim:        28044 kB
KernelStack:        3808 kB
PageTables:        11428 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    4297796 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2578432 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      112000 kB
DirectMap2M:    33433600 kB

Free space on /tmp at the end= 53780 MiB
End job on node138 at 2018-07-28 07:15:58