Trace number 4291926

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
OscaR - Hybrid 2018-07-02SAT (TO)6695055 2400.06 2347.94

General information on the benchmark

NameRlfap/Rlfap-opt/
Rlfap-scen-10-opt_c18.xml
MD5SUM5aacc3d423af8ffef3990b4c8ed069d4
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark31516
Best CPU time to get the best result obtained on this benchmark654.472
Satisfiable
(Un)Satisfiability was proved
Number of variables4749
Number of constraints4410
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 arity2
Maximum constraint arity280
Distribution of constraint arities[{"arity":2,"count":646},{"arity":3,"count":3763},{"arity":280,"count":1}]
Number of extensional constraints0
Number of intensional constraints4409
Distribution of constraint types[{"type":"intension","count":4409},{"type":"instantiation","count":1}]
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.11/0.55	c version: 2018-07-02
0.11/0.55	c seed: 1109663851
0.11/0.55	c timeout: 2400
0.11/0.55	c memlimit: 11000
0.11/0.55	c nbcore: 4
0.11/0.57	c Parsing instance...
16.39/9.69	c Parsing done, starting first complete search...
83.49/74.44	o 12307690
83.49/74.44	o 12306690
83.49/74.45	o 12306590
83.49/74.46	o 12306490
83.49/74.46	o 12306488
83.49/74.47	o 12306387
83.49/74.47	o 12305387
83.49/74.48	o 12304387
83.49/74.48	o 12304287
83.49/74.49	o 12303287
83.49/74.50	o 12302286
83.49/74.50	o 12102286
83.72/74.51	o 12102284
83.72/74.51	o 12101284
83.72/74.52	o 12101184
83.72/74.53	o 12101183
83.72/74.55	o 12101182
84.16/74.80	o 12082284
84.16/74.81	o 12081284
84.16/74.82	o 12081283
84.16/74.82	o 12081282
84.16/74.83	o 12081182
84.43/75.03	o 12081179
84.43/75.07	o 12081178
84.63/75.27	o 12080179
84.63/75.27	o 12080178
84.63/75.28	o 12080177
84.63/75.28	o 12080077
85.53/76.10	o 12061078
85.53/76.11	o 12060077
85.63/76.20	o 12058077
85.63/76.28	o 11859181
85.63/76.29	o 11859180
85.63/76.29	o 11859080
85.63/76.29	o 11859078
85.73/76.30	o 11858077
85.73/76.37	o 11857978
85.73/76.37	o 11857977
85.73/76.38	o 11857877
86.13/76.79	o 11857783
86.13/76.79	o 11857782
86.23/76.80	o 11857781
86.23/76.80	o 11857780
86.23/76.81	o 11857681
86.23/76.82	o 11857680
86.53/77.19	o 11857586
86.53/77.19	o 11857585
86.53/77.19	o 11857584
86.63/77.20	o 11857583
86.63/77.20	o 11857582
86.94/77.58	o 11857580
86.94/77.59	o 11857579
86.94/77.59	o 11857479
88.44/79.08	o 11857178
88.44/79.08	o 11856177
88.44/79.09	o 11856077
88.44/79.09	o 11856076
88.54/79.10	o 11855976
88.54/79.10	o 11855779
88.74/79.37	o 11855679
89.44/80.05	o 11838880
89.44/80.05	o 11837879
89.44/80.06	o 11837877
89.44/80.07	o 11837874
89.44/80.07	o 11837774
89.44/80.10	o 11837681
89.54/80.10	o 11837680
89.54/80.11	o 11837677
89.54/80.12	o 11837577
91.24/81.83	o 11837576
96.10/86.47	o 11837575
98.49/88.84	o 11837574
102.89/93.29	o 11837373
103.00/93.30	o 11837273
103.00/93.30	o 11837272
103.00/93.31	o 11836273
103.00/93.31	o 11836173
103.00/93.32	o 11836171
103.00/93.33	o 11835974
103.29/93.68	o 11835875
103.29/93.68	o 11835874
105.20/95.58	o 11835873
105.20/95.59	o 11835872
105.30/95.60	o 11835774
105.30/95.61	o 11835773
105.30/95.62	o 11835772
115.30/105.69	o 11835771
117.60/107.95	o 11835770
137.01/127.35	o 11639972
137.01/127.36	o 11639872
137.01/127.36	o 11639871
137.01/127.37	o 11639870
137.01/127.38	o 11639868
137.01/127.39	o 11639866
137.01/127.40	o 11639669
137.12/127.41	o 11638769
137.12/127.41	o 11637768
137.12/127.43	o 11637065
137.12/127.43	o 11636066
137.12/127.44	o 11635966
137.12/127.45	o 11635866
137.12/127.47	o 11635865
137.61/127.92	o 11635767
137.61/127.92	o 11635766
138.41/128.73	o 11635765
151.11/140.84	o 11634868
151.11/140.84	o 11634867
151.11/140.85	o 11634767
151.11/140.85	o 11634766
151.11/140.87	o 11432665
151.21/140.93	o 11432664
151.31/141.03	o 11432566
151.31/141.04	o 11432565
151.61/141.30	o 11432564
180.84/170.51	o 11432467
180.84/170.51	o 11432466
180.84/170.52	o 11432465
180.94/170.63	o 11432464
197.45/187.16	o 11432456
197.45/187.16	o 11432455
197.45/187.17	o 11432454
197.45/187.18	o 11432154
201.35/191.05	o 11432054
216.66/206.35	o 11233962
216.66/206.35	o 11233961
216.66/206.36	o 11233960
216.66/206.36	o 11233959
216.66/206.37	o 11232960
216.66/206.37	o 11232860
216.66/206.38	o 11232760
216.66/206.40	o 11232660
216.77/206.42	o 11232564
216.77/206.43	o 11232563
216.77/206.44	o 11232464
216.77/206.44	o 11232463
216.77/206.47	o 11232454
216.77/206.47	o 11232154
218.37/208.07	o 11232055
218.37/208.07	o 11232054
226.89/216.52	o 11231455
226.89/216.53	o 11231355
226.89/216.53	o 11231354
226.89/216.54	o 11231352
226.89/216.54	o 11231156
226.89/216.57	o 11231056
227.18/216.89	o 11230956
236.08/225.78	o 11230857
236.08/225.78	o 11230856
236.18/225.84	o 11230757
236.18/225.84	o 11230756
236.38/226.04	o 11230455
236.38/226.04	o 11230355
236.38/226.04	o 11230354
236.38/226.05	o 11230254
236.38/226.05	o 11230252
236.38/226.06	o 11230056
236.38/226.08	o 11229054
236.58/226.26	o 11228955
236.58/226.26	o 11228954
258.60/248.26	c First complete search done, starting ALNS search...
259.23/248.58	o 11227154
259.23/248.59	o 11227054
259.23/248.60	o 11227052
259.35/248.60	o 11226154
259.35/248.61	o 11226152
259.35/248.62	o 11226054
259.35/248.62	o 11226052
259.35/248.63	o 11226051
259.35/248.64	o 11226050
259.35/248.64	o 11226049
259.35/248.65	o 11226048
259.35/248.65	o 11226047
259.35/248.66	o 11225154
259.35/248.67	o 11225152
259.35/248.67	o 11225150
259.35/248.68	o 11225148
259.35/248.68	o 11225054
259.35/248.69	o 11225052
259.35/248.69	o 11225050
259.45/248.70	o 11225048
259.45/248.70	o 11225047
259.45/248.71	o 11225046
259.45/248.73	o 11224954
259.45/248.73	o 11224952
259.45/248.74	o 11224950
259.45/248.74	o 11224949
259.45/248.75	o 11224948
259.45/248.75	o 11224947
259.45/248.76	o 11224946
259.45/248.77	o 11224945
259.56/248.84	o 11224153
259.56/248.84	o 11224053
259.56/248.85	o 11224051
259.56/248.85	o 11224050
259.56/248.86	o 11224049
259.56/248.86	o 11224048
259.56/248.87	o 11224047
259.56/248.87	o 11224046
259.56/248.88	o 11224045
259.56/248.89	o 11223153
259.56/248.89	o 11223152
259.56/248.89	o 11223053
259.56/248.90	o 11223052
259.68/248.90	o 11223051
259.68/248.91	o 11223050
259.68/248.91	o 11223049
259.68/248.92	o 11223048
259.68/248.92	o 11223047
259.68/248.93	o 11223046
259.82/249.06	o 11023846
259.82/249.06	o 11023845
261.74/250.32	o 11022847
261.74/250.33	o 11022747
262.21/250.68	o 10826750
262.37/250.72	o 10825750
262.37/250.75	o 10825650
262.37/250.77	o 10824650
262.47/250.89	o 10824646
262.59/250.92	o 10824645
262.59/250.96	o 10824550
262.59/250.98	o 10824546
262.69/251.00	o 10824545
262.69/251.02	o 10824446
262.69/251.04	o 10824442
262.69/251.06	o 10824441
262.69/251.08	o 10824346
262.69/251.09	o 10824345
262.80/251.11	o 10824342
262.80/251.12	o 10824341
262.80/251.15	o 10626647
262.80/251.17	o 10626643
262.80/251.19	o 10625647
262.92/251.21	o 10625643
262.92/251.22	o 10624647
262.92/251.24	o 10624643
262.92/251.27	o 10624642
262.92/251.29	o 10624343
263.03/251.30	o 10624339
263.03/251.32	o 10624338
263.03/251.34	o 10624243
263.03/251.36	o 10624242
263.03/251.38	o 10624239
263.03/251.39	o 10624238
263.14/251.42	o 10624237
263.14/251.43	o 10624236
263.14/251.46	o 10624144
263.14/251.47	o 10624140
263.14/251.49	o 10624138
263.24/251.51	o 10624137
263.24/251.54	o 10623647
263.24/251.55	o 10623643
263.24/251.57	o 10623548
263.24/251.59	o 10623544
263.34/251.61	o 10623542
263.34/251.63	o 10623541
263.34/251.65	o 10623343
263.34/251.66	o 10623342
263.34/251.68	o 10623339
263.34/251.70	o 10623338
263.45/251.71	o 10623244
263.45/251.73	o 10623243
263.45/251.75	o 10623240
263.45/251.76	o 10623239
263.45/251.78	o 10623238
263.55/251.80	o 10623237
263.55/251.82	o 10623236
263.55/251.84	o 10623144
263.55/251.85	o 10623142
263.55/251.87	o 10623141
263.55/251.88	o 10623140
263.55/251.90	o 10623139
263.66/251.91	o 10623138
263.66/251.93	o 10623137
263.66/251.97	o 10622647
263.66/251.98	o 10622645
263.66/252.00	o 10622644
263.76/252.01	o 10622643
263.76/252.03	o 10622642
263.76/252.05	o 10622641
263.76/252.06	o 10622640
263.76/252.08	o 10622548
263.76/252.10	o 10622546
263.86/252.11	o 10622544
263.86/252.13	o 10622542
263.86/252.15	o 10622541
263.86/252.17	o 10622343
263.86/252.19	o 10622341
263.96/252.21	o 10622340
263.96/252.23	o 10622339
263.96/252.24	o 10622337
263.96/252.26	o 10622336
263.96/252.28	o 10622244
263.96/252.29	o 10622243
264.06/252.31	o 10622242
264.06/252.32	o 10622241
264.06/252.34	o 10622240
264.06/252.36	o 10622238
264.06/252.38	o 10622237
264.06/252.40	o 10622236
264.16/252.42	o 10622144
264.16/252.44	o 10622140
264.16/252.46	o 10622138
264.16/252.47	o 10622137
264.27/252.55	o 10622136
264.27/252.58	o 10622135
264.36/252.60	o 10622044
264.36/252.62	o 10622040
264.36/252.63	o 10622039
264.36/252.65	o 10622038
264.36/252.67	o 10622037
264.36/252.69	o 10622036
264.66/252.98	o 10606642
264.66/252.99	o 10605642
264.76/253.01	o 10605641
264.76/253.02	o 10605543
264.76/253.04	o 10605542
264.76/253.06	o 10604642
264.76/253.08	o 10604641
264.76/253.09	o 10604543
264.86/253.11	o 10604542
267.02/254.03	o 10603838
267.02/254.05	o 10603836
267.02/254.08	o 10602838
267.13/254.11	o 10602836
267.13/254.16	o 10602738
267.13/254.18	o 10602736
267.63/254.61	o 10602734
269.48/256.50	o 10402724
269.58/256.55	o 10401724
270.91/257.81	o 10400724
276.22/262.58	o 10400638
276.31/262.65	o 10400637
276.41/262.72	o 10400636
276.41/262.78	o 10400635
277.96/264.24	o 10399745
277.96/264.26	o 10399645
277.96/264.30	o 10399644
278.06/264.35	o 10399643
278.17/264.44	o 10399642
278.17/264.51	o 10399545
278.27/264.55	o 10399544
278.27/264.59	o 10399543
278.36/264.64	o 10399542
278.48/264.78	o 10399540
278.68/264.99	o 10398644
278.78/265.01	o 10398544
278.78/265.02	o 10398542
278.99/265.21	o 10397742
278.99/265.22	o 10397642
278.99/265.24	o 10397640
279.09/265.40	o 10397542
279.19/265.41	o 10397442
279.79/266.10	o 10396740
279.89/266.11	o 10396640
279.89/266.20	o 10396636
280.39/266.69	o 10396540
280.49/266.71	o 10396440
280.99/267.23	o 10396340
281.39/267.63	o 10396240
282.76/268.80	o 10395843
282.76/268.81	o 10395743
282.76/268.83	o 10395643
282.76/268.85	o 10395543
282.76/268.87	o 10395443
282.96/269.09	o 10395344
283.07/269.10	o 10395343
283.07/269.12	o 10395244
298.08/282.73	o 10391242
307.95/292.58	o 10390344
308.04/292.63	o 10390244
308.14/292.75	o 10390242
310.04/294.24	o 10389342
310.25/294.45	o 10389242
310.35/294.55	o 10191340
310.35/294.58	o 10190340
310.44/294.62	o 10189340
310.44/294.68	o 10189240
310.54/294.73	o 10189238
310.74/294.91	o 10189237
313.19/297.33	o 10189139
313.30/297.43	o 10189138
313.40/297.54	o 10189137
313.49/297.62	o 10189038
313.59/297.72	o 10189037
313.69/297.84	o 10189036
313.80/297.92	o 10188937
313.90/298.02	o 10188936
314.00/298.16	o 10188935
316.08/299.70	o 10188839
316.08/299.78	o 10188838
316.28/299.93	o 10188837
316.48/300.11	o 10188836
316.68/300.34	o 10188835
317.28/300.98	o 10188834
317.48/301.12	o 10188833
326.83/310.33	o 10188740
326.83/310.39	o 10188739
326.93/310.46	o 10188738
327.03/310.52	o 10188737
327.03/310.58	o 10188736
327.14/310.65	o 10188735
327.24/310.71	o 10188734
327.24/310.78	o 10188733
327.34/310.86	o 10188732
327.44/310.93	o 10188642
327.54/311.00	o 10188641
327.54/311.07	o 10188640
327.64/311.14	o 10188639
327.74/311.21	o 10188638
327.74/311.28	o 10188637
327.84/311.35	o 10188636
327.94/311.42	o 10188635
327.94/311.49	o 10188634
344.54/328.00	o 10187323
346.05/329.46	o 10187322
348.84/332.27	o 9988524
348.95/332.32	o 9988424
349.05/332.42	o 9987424
349.16/332.52	o 9987324
349.25/332.60	o 9986422
349.25/332.67	o 9986322
349.35/332.76	o 9985421
349.45/332.82	o 9985321
351.37/334.74	o 9977028
353.37/336.79	o 9976028
353.98/337.38	o 9976026
354.19/337.58	o 9976025
354.48/337.87	o 9976024
354.68/338.06	o 9976023
355.08/338.46	o 9975928
355.28/338.60	o 9975926
355.38/338.77	o 9975925
355.63/338.96	o 9975924
355.83/339.14	o 9975923
356.03/339.36	o 9975828
356.23/339.51	o 9975827
356.33/339.67	o 9975826
356.53/339.82	o 9975825
356.73/340.02	o 9975824
356.83/340.19	o 9975823
357.73/341.01	o 9975822
357.93/341.21	o 9975820
358.13/341.46	o 9975819
358.33/341.67	o 9975818
358.53/341.86	o 9975816
358.73/342.05	o 9975815
359.13/342.47	o 9975814
359.33/342.67	o 9975813
359.73/343.07	o 9975728
359.93/343.23	o 9975727
360.03/343.39	o 9975726
360.24/343.53	o 9975725
360.43/343.76	o 9975724
360.63/343.93	o 9975723
360.83/344.17	o 9975722
361.03/344.33	o 9975721
361.28/344.57	o 9975628
361.48/344.73	o 9975626
361.68/344.95	o 9975624
361.88/345.17	o 9975623
362.08/345.39	o 9975622
362.28/345.55	o 9975621
362.47/345.79	o 9975620
362.77/346.02	o 9975618
362.97/346.22	o 9975616
363.18/346.44	o 9975614
363.38/346.69	o 9975613
365.29/348.53	o 9975612
365.48/348.70	o 9975611
366.38/349.64	o 9975610
366.99/350.21	o 9975510
366.99/350.27	o 9975509
367.24/350.46	o 9975505
367.34/350.51	o 9975503
367.34/350.56	o 9975502
367.57/350.72	o 9974603
367.67/350.84	o 9974602
367.77/350.90	o 9973602
368.47/351.67	o 9973502
369.18/352.37	o 9972602
369.29/352.51	o 9972601
369.48/352.61	o 9972502
369.48/352.67	o 9972501
372.71/355.83	o 9972401
373.07/356.17	o 9972400
373.17/356.26	o 9971403
373.27/356.34	o 9971401
373.38/356.44	o 9971400
373.49/356.58	o 9971399
373.58/356.63	o 9971398
373.68/356.70	o 9971397
373.78/356.82	o 9971298
374.18/357.24	o 9971297
374.28/357.36	o 9971296
374.38/357.44	o 9971295
374.58/357.60	o 9970296
374.58/357.67	o 9970295
374.98/358.00	o 9970096
374.98/358.04	o 9970095
375.18/358.28	o 9969997
375.28/358.38	o 9969995
375.49/358.51	o 9969092
375.58/358.62	o 9968992
375.68/358.74	o 9968990
377.10/360.12	o 9968891
377.10/360.17	o 9968890
378.80/361.85	o 9968888
379.75/362.75	o 9967988
379.75/362.79	o 9967888
379.85/362.85	o 9967886
380.16/363.11	o 9966886
380.16/363.16	o 9767886
380.16/363.19	o 9766886
380.27/363.24	o 9765886
380.27/363.29	o 9764886
380.48/363.47	o 9564888
380.58/363.54	o 9564886
380.68/363.64	o 9564884
381.08/364.01	o 9564784
381.18/364.11	o 9564184
381.18/364.15	o 9564084
381.28/364.20	o 9563984
381.28/364.27	o 9563884
381.38/364.33	o 9563784
381.49/364.47	o 9563284
381.59/364.51	o 9563184
381.59/364.56	o 9563084
381.68/364.61	o 9562984
381.78/364.73	o 9562884
382.68/365.60	o 9562784
427.88/410.44	o 9561984
427.88/410.48	o 9561884
427.99/410.53	o 9561784
428.08/410.61	o 9561684
428.18/410.71	o 9561683
428.68/411.25	o 9560685
428.78/411.35	o 9559685
428.88/411.48	o 9559683
429.08/411.62	o 9559681
432.72/415.20	o 9558883
433.12/415.70	o 9558881
433.22/415.79	o 9558783
433.32/415.85	o 9558781
434.12/416.61	o 9558779
436.20/418.70	o 9558679
439.52/421.96	o 9407797
439.82/422.29	o 9407795
441.52/423.94	o 9406795
441.72/424.15	o 9406695
441.82/424.29	o 9406596
442.18/424.51	o 9406594
442.77/425.16	o 9406593
442.87/425.26	o 9406495
442.97/425.30	o 9406493
443.08/425.44	o 9386696
443.08/425.48	o 9386694
443.18/425.52	o 9386595
443.18/425.56	o 9386593
443.27/425.66	o 9386495
443.37/425.70	o 9386493
443.57/425.90	o 9385495
443.67/426.03	o 9385493
443.78/426.16	o 9385491
444.68/427.05	o 9385393
444.68/427.09	o 9385391
445.98/428.32	o 9384693
445.98/428.37	o 9384593
446.08/428.41	o 9384591
446.08/428.45	o 9384493
446.08/428.48	o 9384491
446.19/428.58	o 9384393
446.28/428.61	o 9384391
446.58/428.92	o 9384390
447.09/429.47	o 9384389
447.78/430.10	o 9383390
447.78/430.16	o 9383389
451.04/433.36	o 9383388
451.16/433.41	o 9383386
451.16/433.46	o 9383385
451.35/433.68	o 9383292
451.55/433.83	o 9383288
451.65/433.98	o 9383287
451.95/434.22	o 9383286
452.16/434.43	o 9383285
452.75/435.03	o 9382394
452.85/435.18	o 9382390
453.05/435.33	o 9382294
453.16/435.48	o 9382290
453.35/435.66	o 9382289
453.65/435.98	o 9382288
453.85/436.13	o 9382287
454.19/436.48	o 9382286
454.38/436.60	o 9382285
454.48/436.70	o 9382190
454.58/436.83	o 9382188
454.68/436.95	o 9382186
454.78/437.09	o 9382185
454.88/437.19	o 9381390
454.98/437.26	o 9381290
455.08/437.34	o 9381288
455.08/437.40	o 9381190
455.19/437.48	o 9381188
455.29/437.55	o 9381187
455.38/437.68	o 9381186
455.58/437.80	o 9381185
456.58/438.83	o 9367600
456.89/439.12	o 9366600
457.19/439.47	o 9366598
458.19/440.44	o 9366502
464.24/446.47	o 9366500
464.73/446.90	o 9366498
464.93/447.19	o 9366402
466.67/448.89	o 9366401
479.32/461.16	o 9365702
479.52/461.30	o 9365700
479.63/461.43	o 9365699
479.73/461.56	o 9365602
479.82/461.68	o 9365601
480.02/461.80	o 9365600
480.12/461.92	o 9365599
480.22/462.06	o 9365504
480.32/462.18	o 9365502
480.52/462.32	o 9365501
480.63/462.50	o 9365500
480.82/462.62	o 9365499
480.92/462.75	o 9365404
481.02/462.87	o 9365402
481.22/463.00	o 9365401
481.32/463.16	o 9365400
481.42/463.28	o 9365399
481.52/463.40	o 9365304
481.73/463.52	o 9365302
481.82/463.65	o 9365301
482.02/463.82	o 9365300
482.02/463.87	o 9365201
482.02/463.89	o 9364201
482.12/463.95	o 9364200
482.22/464.04	o 9363201
482.22/464.09	o 9363200
482.52/464.34	o 9362201
482.52/464.37	o 9362200
484.42/466.22	o 9362199
484.75/466.44	o 9362100
484.86/466.53	o 9362099
485.05/466.75	o 9362000
485.15/466.83	o 9361999
485.88/467.54	o 9361097
486.17/467.84	o 9361095
486.37/468.01	o 9361093
486.56/468.21	o 9361091
486.77/468.45	o 9361089
487.47/469.15	o 9360997
487.67/469.38	o 9360995
487.77/469.50	o 9360993
487.97/469.61	o 9360991
488.06/469.78	o 9360989
488.37/470.09	o 9360901
488.57/470.21	o 9360899
488.67/470.33	o 9360897
488.77/470.44	o 9360895
488.87/470.55	o 9360893
489.47/471.19	o 9360892
489.57/471.24	o 9360891
489.77/471.42	o 9360890
489.77/471.51	o 9360889
490.17/471.82	o 9360792
490.27/471.96	o 9359793
490.47/472.13	o 9359791
490.57/472.27	o 9359595
490.77/472.42	o 9359593
490.88/472.59	o 9359591
491.37/472.92	o 9161595
491.37/472.98	o 9160595
491.47/473.08	o 9159595
491.58/473.19	o 9159593
491.78/473.31	o 9159591
492.99/474.52	o 9159590
499.51/480.90	o 9159587
499.61/481.04	o 9159586
499.71/481.17	o 9159585
500.01/481.47	o 9158691
500.12/481.53	o 9158690
500.21/481.61	o 9158687
500.21/481.68	o 9158686
500.31/481.75	o 9158685
500.41/481.89	o 9158591
500.51/481.96	o 9158590
500.61/482.04	o 9158587
500.71/482.10	o 9158586
500.71/482.18	o 9158585
500.81/482.26	o 9157691
500.91/482.32	o 9157690
500.91/482.39	o 9157687
501.01/482.44	o 9157686
501.12/482.51	o 9157685
505.23/486.60	o 9157683
505.32/486.65	o 9157485
505.32/486.69	o 9157483
566.64/546.85	o 9157481
567.74/547.95	o 9156483
567.94/548.11	o 9156481
568.14/548.33	o 9155483
568.25/548.49	o 9155481
568.44/548.63	o 9139483
568.54/548.72	o 9138483
568.64/548.87	o 9137483
568.84/549.03	o 9136483
569.14/549.21	o 9135483
569.35/549.44	o 9135482
569.45/549.52	o 9135481
569.54/549.62	o 9135382
569.64/549.70	o 9135381
569.64/549.79	o 9135380
569.74/549.89	o 9135379
573.78/553.74	o 9135378
573.98/553.91	o 9135377
574.20/554.13	o 9134477
574.20/554.16	o 9134377
574.30/554.26	o 9134376
574.89/554.89	o 9133380
574.99/554.92	o 9133378
574.99/554.95	o 9133376
575.09/555.09	o 9132380
575.19/555.12	o 9132378
575.29/555.22	o 9132376
575.60/555.52	o 9130378
576.00/555.96	o 9130376
576.30/556.24	o 9129379
576.90/556.89	o 9129377
577.10/557.08	o 9128379
577.30/557.26	o 9128377
577.50/557.48	o 9127379
577.70/557.64	o 9127377
580.66/560.58	o 9127376
580.85/560.77	o 9127375
581.15/561.08	o 9127374
581.66/561.55	o 9127373
583.15/563.09	o 9127372
584.05/563.92	o 9127371
587.55/566.16	o 9127277
587.65/566.24	o 9127275
587.75/566.34	o 9127273
588.85/567.41	o 9126377
588.85/567.49	o 9126375
588.96/567.57	o 9126373
589.05/567.65	o 9126277
589.15/567.71	o 9126275
589.15/567.79	o 9126273
589.45/568.05	o 9126271
589.65/568.24	o 9126177
589.75/568.35	o 9126175
589.85/568.45	o 9126173
589.96/568.55	o 9126171
591.75/570.38	o 9126076
594.00/572.40	o 9126075
641.74/618.45	o 8926075
680.21/656.70	o 8909176
681.11/657.68	o 8909074
681.31/657.89	o 8908974
681.92/658.50	o 8907176
682.02/658.56	o 8907076
682.33/658.87	o 8907074
682.43/658.94	o 8906974
683.04/659.54	o 8906275
683.13/659.61	o 8906176
683.13/659.68	o 8906076
683.53/660.01	o 8906075
684.34/660.85	o 8905077
684.44/660.95	o 8905075
684.95/661.48	o 8903079
685.05/661.55	o 8903075
688.14/664.53	o 8903074
689.25/665.61	o 8902974
689.76/666.13	o 8902174
689.96/666.33	o 8902074
690.17/666.53	o 8901974
692.26/668.64	o 8901972
695.58/671.99	o 8901072
696.38/672.72	o 8900972
696.48/672.88	o 8900872
696.58/672.96	o 8899972
696.68/673.02	o 8899872
698.98/675.36	o 8899672
705.43/681.73	o 8899574
705.53/681.89	o 8899572
706.33/682.63	o 8898574
706.33/682.69	o 8898572
706.63/682.97	o 8898570
706.73/683.08	o 8897674
706.83/683.15	o 8897672
706.93/683.24	o 8897670
710.26/686.57	o 8897669
710.45/686.73	o 8897668
713.65/689.98	o 8896670
713.75/690.05	o 8896668
715.08/691.31	o 8896667
715.38/691.67	o 8895769
715.68/691.98	o 8895669
715.98/692.27	o 8895667
716.38/692.61	o 8895666
717.98/694.22	o 8895664
718.50/694.71	o 8895564
725.92/702.19	o 8894567
726.15/702.37	o 8894565
726.36/702.58	o 8894563
728.56/704.71	o 8893664
728.56/704.78	o 8893564
728.66/704.86	o 8893563
728.86/705.00	o 8893464
728.96/705.11	o 8893463
733.29/709.44	o 8893362
735.76/711.80	o 8893360
736.26/712.31	o 8893359
738.58/714.62	o 8893161
738.78/714.82	o 8893160
738.98/715.04	o 8893159
739.18/715.24	o 8893158
739.39/715.49	o 8893157
739.68/715.72	o 8893156
742.81/718.86	o 8893060
743.01/719.01	o 8893058
743.11/719.13	o 8893057
745.34/721.34	o 8892856
746.14/722.12	o 8892061
747.47/723.48	o 8892059
747.76/723.75	o 8891961
747.86/723.86	o 8891959
748.16/724.13	o 8891958
748.66/724.70	o 8891860
748.86/724.82	o 8891858
748.96/724.95	o 8891857
749.48/725.44	o 8891856
779.57/755.06	o 8891058
779.67/755.19	o 8890958
779.97/755.46	o 8890957
780.27/755.72	o 8890956
780.37/755.85	o 8890955
780.57/756.10	o 8890858
780.77/756.22	o 8890857
780.87/756.34	o 8890856
780.97/756.46	o 8890855
788.72/764.12	o 8692955
788.98/764.38	o 8692855
789.38/764.74	o 8691955
789.68/765.02	o 8691855
790.19/765.55	o 8691055
790.48/765.84	o 8690955
790.88/766.21	o 8690855
792.38/767.78	o 8690755
792.78/768.14	o 8690655
794.17/769.45	o 8670658
794.27/769.57	o 8670657
794.46/769.73	o 8670656
794.56/769.81	o 8670655
794.76/770.05	o 8670555
794.86/770.10	o 8670553
795.06/770.30	o 8670456
795.06/770.36	o 8670454
795.17/770.42	o 8670453
795.46/770.80	o 8650653
795.76/771.09	o 8650553
796.06/771.35	o 8650453
796.36/771.62	o 8650353
796.36/771.70	o 8650253
799.46/774.64	o 8649553
799.56/774.74	o 8649551
800.04/775.13	o 8649457
800.14/775.27	o 8649453
800.35/775.41	o 8649357
800.45/775.54	o 8649353
800.54/775.67	o 8649351
801.05/776.16	o 8649254
801.25/776.34	o 8648254
809.13/784.18	o 8647355
809.43/784.49	o 8647255
809.73/784.78	o 8646255
810.13/785.11	o 8646254
814.74/789.51	o 8646170
814.83/789.60	o 8646169
814.93/789.73	o 8646168
815.23/790.03	o 8646167
815.33/790.14	o 8646166
816.93/791.80	o 8646165
817.81/792.45	o 8646164
818.51/793.15	o 8646163
819.11/793.74	o 8646162
820.31/794.92	o 8646073
820.61/795.21	o 8646072
820.82/795.50	o 8646071
821.21/795.83	o 8646070
821.41/796.08	o 8646069
822.01/796.66	o 8646068
822.61/797.28	o 8646067
823.31/797.94	o 8646066
824.18/798.64	o 8646065
824.69/799.13	o 8646064
825.39/799.86	o 8646063
825.89/800.36	o 8646062
826.69/801.13	o 8646061
827.10/801.56	o 8646060
827.99/802.50	o 8646059
828.49/802.99	o 8646058
830.66/804.93	o 8646057
832.06/806.34	o 8645955
832.27/806.55	o 8645057
859.35/833.01	o 8446157
859.45/833.18	o 8446057
860.05/833.75	o 8445157
860.25/833.90	o 8445057
860.75/834.42	o 8445056
861.75/835.46	o 8445054
862.55/836.23	o 8445053
862.75/836.44	o 8445052
863.15/836.82	o 8444955
863.35/837.01	o 8444954
863.55/837.23	o 8444953
863.65/837.40	o 8444952
878.37/851.85	o 8443056
878.67/852.12	o 8443055
878.97/852.49	o 8442956
879.27/852.76	o 8442955
880.11/853.54	o 8442953
880.50/853.92	o 8442952
889.14/862.57	o 8442946
889.83/863.27	o 8243950
889.93/863.36	o 8242952
890.14/863.52	o 8242946
890.73/864.19	o 8242846
890.93/864.34	o 8242845
892.63/866.05	o 8242844
892.93/866.35	o 8242745
893.03/866.48	o 8242744
897.67/871.02	o 8242743
903.59/876.98	o 8242741
910.24/883.55	o 8242740
911.83/885.19	o 8242739
912.43/885.77	o 8241742
912.63/885.98	o 8241741
915.65/888.95	o 8241641
916.16/889.43	o 8241640
918.55/891.82	o 8042842
918.55/891.86	o 8041842
918.65/891.95	o 8041840
918.98/892.23	o 8041642
918.98/892.29	o 8041640
919.18/892.42	o 8039841
919.58/892.84	o 8021944
919.68/892.98	o 8020944
919.88/893.15	o 8020943
920.08/893.40	o 8020942
920.29/893.55	o 8020941
920.48/893.76	o 8019944
920.68/893.91	o 8019943
920.88/894.13	o 8019942
920.98/894.25	o 8019941
921.18/894.44	o 8019940
921.38/894.63	o 8019843
921.58/894.80	o 8019841
921.68/894.96	o 8019840
965.66/938.65	o 8019745
965.76/938.79	o 8019645
965.99/938.93	o 8019643
966.79/939.70	o 8019642
968.89/941.85	o 8019641
969.92/942.85	o 8019640
970.12/943.01	o 8019639
971.42/944.34	o 8018845
971.53/944.50	o 8018844
971.72/944.66	o 8018843
971.92/944.87	o 8018645
972.12/945.03	o 8018644
972.22/945.18	o 8018643
972.42/945.38	o 8018642
972.65/945.53	o 8018641
972.84/945.70	o 8018640
972.94/945.87	o 8018639
977.59/950.49	o 8018541
977.78/950.68	o 8018539
978.48/951.41	o 8018538
993.16/965.81	o 8018438
998.01/970.67	o 8017541
998.21/970.87	o 8017540
998.41/971.05	o 8017441
998.61/971.20	o 8017440
998.71/971.38	o 8017439
998.92/971.52	o 8017438
1018.52/990.96	o 8017340
1018.62/991.07	o 8017339
1019.13/991.58	o 8017337
1019.35/991.77	o 8017239
1019.55/991.93	o 8017237
1025.92/998.24	o 8017235
1026.23/998.57	o 8017135
1032.88/1005.12	o 7817135
1035.90/1008.13	o 7816533
1036.10/1008.38	o 7816433
1036.40/1008.62	o 7816333
1036.73/1008.95	o 7816233
1036.93/1009.19	o 7816232
1037.13/1009.37	o 7816132
1037.53/1009.74	o 7816131
1045.80/1017.99	o 7816129
1045.93/1018.09	o 7816029
1074.32/1046.14	o 7816028
1074.52/1046.32	o 7815928
1074.62/1046.49	o 7815927
1077.15/1048.91	o 7815728
1077.25/1049.03	o 7815727
1105.75/1077.25	o 7814727
1105.85/1077.38	o 7814627
1105.96/1077.51	o 7813727
1106.06/1077.59	o 7813627
1128.51/1099.74	o 7813527
1128.81/1100.01	o 7813525
1132.46/1103.67	o 7613526
1132.56/1103.76	o 7613525
1204.46/1174.78	o 7613524
1208.49/1178.77	o 7613426
1246.41/1216.23	o 7613423
1246.72/1216.57	o 7612523
1247.01/1216.87	o 7612423
1249.87/1219.68	o 7612421
1250.57/1220.32	o 7612420
1250.80/1220.58	o 7612320
1251.09/1220.90	o 7611520
1251.29/1221.00	o 7611420
1251.39/1221.17	o 7611320
1264.74/1234.34	o 7413320
1264.84/1234.48	o 7412320
1265.04/1234.61	o 7411320
1265.14/1234.75	o 7411220
1266.37/1235.99	o 7410222
1266.47/1236.09	o 7410122
1269.31/1238.84	o 7409525
1269.41/1238.91	o 7409425
1269.41/1238.97	o 7409423
1269.51/1239.06	o 7409325
1269.61/1239.12	o 7409323
1269.91/1239.45	o 7409322
1270.02/1239.56	o 7409222
1270.11/1239.62	o 7409122
1271.94/1241.45	o 7408920
1272.54/1242.08	o 7408919
1272.94/1242.49	o 7408917
1273.54/1243.00	o 7407917
1278.19/1247.68	o 7389917
1278.29/1247.79	o 7388917
1278.49/1247.96	o 7387917
1283.38/1252.71	o 7383915
1293.98/1263.21	o 7383014
1294.29/1263.56	o 7382914
1296.29/1265.57	o 7382913
1296.61/1265.81	o 7382912
1296.81/1266.02	o 7382813
1297.01/1266.24	o 7382812
1309.24/1278.39	o 7182812
1315.19/1284.20	o 6982812
1318.45/1287.41	o 6980915
1319.05/1288.02	o 6980815
1320.25/1289.28	o 6980814
1324.61/1293.59	o 6980812
1389.85/1358.03	o 6979908
1389.95/1358.14	o 6979808
1390.05/1358.24	o 6979708
1526.44/1491.82	o 6961708
1526.54/1491.96	o 6960708
1526.84/1492.25	o 6959708
1535.77/1501.06	o 6959610
1557.68/1522.63	o 6959608
1585.59/1548.61	o 6959518
1585.79/1548.83	o 6959517
1586.40/1549.44	o 6959516
1587.09/1550.14	o 6959515
1588.19/1551.21	o 6959514
1588.89/1551.92	o 6959513
1589.90/1552.90	o 6959512
1590.92/1553.98	o 6959511
1592.12/1555.10	o 6959510
1593.12/1556.10	o 6959509
1594.22/1557.24	o 6959508
1595.65/1558.62	o 6959507
1596.85/1559.82	o 6959506
1598.15/1561.15	o 6959505
1599.85/1562.82	o 6959504
1661.61/1623.83	o 6959305
1661.81/1624.04	o 6959205
1667.97/1630.14	o 6958304
1668.17/1630.34	o 6958204
1668.38/1630.55	o 6958203
1668.67/1630.86	o 6957402
1668.87/1631.05	o 6957302
1669.07/1631.23	o 6957301
1669.17/1631.38	o 6957202
1669.38/1631.51	o 6957201
1674.70/1636.86	o 6956202
1675.00/1637.19	o 6956201
1675.43/1637.59	o 6955202
1675.83/1637.91	o 6955201
1676.23/1638.35	o 6955102
1676.63/1638.77	o 6955101
1684.49/1646.60	o 6955098
1684.68/1646.73	o 6955097
1684.88/1646.97	o 6954997
1685.08/1647.10	o 6954996
1685.52/1647.51	o 6954001
1685.61/1647.64	o 6954000
1685.71/1647.79	o 6953998
1685.91/1647.92	o 6953997
1686.11/1648.16	o 6953897
1686.21/1648.27	o 6953896
1698.81/1660.75	o 6953891
1698.93/1660.83	o 6953890
1702.87/1664.72	o 6953693
1702.97/1664.80	o 6952693
1703.07/1664.91	o 6952691
1706.62/1668.43	o 6952689
1712.70/1674.43	o 6951689
1717.31/1678.97	o 6951589
1727.45/1688.98	o 6951493
1727.75/1689.28	o 6951491
1728.19/1689.64	o 6951393
1728.39/1689.88	o 6951391
1728.79/1690.28	o 6951389
1742.05/1703.34	o 6949385
1742.18/1703.44	o 6949185
1742.77/1704.04	o 6949181
1742.97/1704.22	o 6949180
1763.43/1724.49	o 6948981
1763.62/1724.65	o 6948980
1775.02/1735.82	o 6948582
1775.55/1736.30	o 6948480
1776.05/1736.82	o 6948280
1776.45/1737.23	o 6948080
1781.12/1741.83	o 6946588
1784.27/1744.98	o 6946486
1784.88/1745.51	o 6946286
1785.57/1746.22	o 6946284
1786.70/1747.34	o 6946185
1787.00/1747.66	o 6946183
1788.10/1748.73	o 6946085
1788.42/1749.03	o 6946083
1789.52/1750.15	o 6946081
1839.41/1799.23	o 6945386
1840.15/1799.98	o 6945384
1840.95/1800.74	o 6945383
1841.76/1801.59	o 6945382
1842.57/1802.31	o 6945381
1843.38/1803.10	o 6945286
1843.98/1803.78	o 6945284
1844.82/1804.53	o 6945283
1845.61/1805.37	o 6945282
1846.31/1806.07	o 6945281
1857.52/1817.06	o 6945279
2064.65/2019.63	o 6945278
2065.28/2020.21	o 6945277
2094.18/2048.66	o 6927379
2094.18/2048.66	o 6927279
2094.28/2048.78	o 6926379
2094.38/2048.82	o 6926279
2094.38/2048.89	o 6925379
2094.48/2048.93	o 6925279
2094.68/2049.16	o 6925277
2097.89/2052.22	o 6925273
2113.53/2067.60	o 6925269
2113.53/2067.68	o 6925268
2113.63/2067.79	o 6925169
2113.98/2068.04	o 6925168
2116.52/2070.53	o 6925167
2117.81/2071.82	o 6924271
2118.11/2072.16	o 6924169
2123.07/2076.92	o 6924067
2123.27/2077.19	o 6924066
2165.05/2118.29	o 6924065
2167.22/2120.33	o 6923164
2186.31/2139.15	o 6923162
2187.31/2140.17	o 6923161
2198.99/2151.63	o 6922962
2199.53/2152.18	o 6922961
2212.04/2164.42	o 6922764
2212.04/2164.46	o 6922762
2212.15/2164.55	o 6922761
2220.89/2173.11	o 6922660
2240.23/2192.15	o 6922261
2241.27/2193.16	o 6922260
2242.87/2194.72	o 6902260
2243.27/2195.11	o 6902259
2281.51/2231.34	o 6900160
2281.61/2231.48	o 6899160
2281.81/2231.66	o 6899159
2282.51/2232.35	o 6899158
2283.21/2233.05	o 6899060
2283.41/2233.27	o 6899059
2284.01/2233.83	o 6899058
2307.25/2256.72	o 6700158
2307.75/2257.24	o 6699158
2308.34/2257.80	o 6699058
2309.98/2259.42	o 6698264
2310.18/2259.68	o 6698263
2310.48/2259.99	o 6698262
2313.93/2263.34	o 6698261
2314.73/2264.12	o 6698163
2315.04/2264.42	o 6698162
2315.33/2264.72	o 6698161
2360.83/2309.48	o 6697260
2363.56/2312.13	o 6696158
2364.49/2313.05	o 6696157
2374.77/2323.17	o 6695957
2382.82/2331.09	o 6695157
2383.16/2331.32	o 6695055
2400.01/2347.90	s SATISFIABLE
2400.01/2347.91	v <instantiation>
2400.01/2347.91	v 	<list>
2400.01/2347.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]
2400.01/2347.91	v 	</list>
2400.01/2347.91	v 	<values>
2400.01/2347.91	v 		442 680 554 792 694 456 484 722 554 792 268 30 512 750 680 442 310 72 554 792 414 652 16 254 16 254 470 708 142 380 100 338 484 722 414 652 540 778 394 156 442 680 792 554 554 792 366 128 554 792 722 484 44 282 338 100 16 254 722 484 338 100 16 254 44 282 394 156 324 86 750 512 58 296 16 254 750 512 142 380 156 394 366 128 44 282 380 142 470 708 366 128 156 394 498 736 254 16 526 764 296 58 16 254 428 666 414 652 282 44 778 540 750 512 792 554 456 694 44 282 30 268 16 254 282 44 652 414 254 16 428 666 296 58 512 750 442 680 156 394 442 680 442 680 58 296 58 296 394 156 282 44 750 512 44 282 792 554 170 408 254 16 428 666 366 128 268 30 254 16 282 44 792 554 352 114 128 366 128 366 128 366 470 708 296 58 526 764 554 792 394 156 142 380 792 554 792 554 352 114 792 554 142 380 338 100 268 30 72 310 142 380 526 764 666 428 778 540 282 44 722 484 142 380 142 380 778 540 456 694 380 142 268 30 554 792 86 324 484 722 428 666 142 380 540 778 778 540 310 72 512 750 778 540 708 470 778 540 30 268 86 324 282 44 30 268 778 540 380 142 778 540 380 142 442 680 694 456 44 282 694 456 30 268 86 324 722 484 282 44 442 680 540 778 792 554 778 540 268 30 128 366 540 778 142 380 526 764 428 666 366 128 456 694 540 778 512 750 296 58 708 470 666 428 142 380 666 428 30 268 100 338 338 100 58 296 428 666 540 778 44 282 540 778 540 778 142 380 470 708 254 16 338 100 750 512 764 526 72 310 142 380 156 394 792 554 470 708 512 750 540 778 380 142 310 72 456 694 282 44 380 142 470 708 540 778 338 100 666 428 254 16 282 44 254 16 44 282 736 498 414 652 380 142 680 442 72 310 778 540 282 44 750 512 540 778 736 498 736 498 428 666 30 268 44 282 72 310 498 736 142 380 44 282 680 442 352 114 540 778 708 470 282 44 86 324 30 268 778 540 128 366 736 498 498 736 456 694 142 380 156 394 268 30 352 114 414 652 254 16 16 254 156 394 750 512 128 366 778 540 338 100 456 694 268 30 722 484 30 268 484 722 352 114 792 554 526 764 442 680 750 512 114 352 526 764 554 792 484 722 254 16 142 380 128 366 708 470 268 30 526 764 268 30 484 722 296 58 380 142 352 114 268 30 268 30 540 778 694 456 456 694 456 694 366 128 58 296 694 456 470 708 128 366 30 268 652 414 394 156 540 778 778 540 142 380 142 380 268 30 366 128 352 114 708 470 380 142 442 680 114 352 282 44 764 526 324 86 268 30 680 442 58 296 484 722 338 100 540 778 680 442 366 128 764 526 554 792 792 554 666 428 352 114 778 540 310 72 512 750 58 296 736 498 114 352 156 394 526 764 254 16 156 394 778 540 30 268 792 554 30 268 324 86 540 778 540 778 442 680 778 540 86 324 540 778 484 722 764 526 142 380 86 324 30 268 366 128 44 282 254 16 792 554 554 792 72 310 100 338 100000 100000 100000 100000 0 0 100000 100000 100000 100000 100000 100000 0 0 0 0 0 0 0 0 100000 100000 100000 100000 0 0 100000 100000 0 0 100000 100000 100000 100000 100000 100000 0 0 100000 100000 100000 100000 100000 100000 100000 100000 100000 100000 0 0 100000 100000 0 0 100000 100000 0 0 100000 100000 100000 100000 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 100000 100000 100000 100000 100000 100000 100000 100000 100000 100000 0 0 100000 100000 0 0 0 0 0 0 100000 100000 0 0 0 0 10000 10000 10000 10000 0 0 10000 10000 10000 10000 10000 10000 0 0 0 0 10000 10000 0 0 0 0 10000 10000 10000 10000 10000 10000 10000 10000 10000 10000 10000 10000 0 0 0 0 0 0 0 0 10000 10000 10000 10000 0 0 10000 10000 10000 10000 10000 10000 10000 10000 10000 10000 10000 10000 10000 10000 0 0 10000 10000 10000 10000 10000 10000 10000 10000 10000 10000 0 0 0 0 0 0 10000 10000 10000 10000 10000 10000 0 0 0 0 10000 10000 10000 10000 10000 10000 0 0 10000 10000 10000 10000 10000 10000 10000 10000 0 0 100 100 100 100 100 100 100 100 0 0 100 100 100 100 0 0 100 100 100 100 100 100 100 100 100 100 100 100 100 100 0 0 100 100 100 100 0 0 100 100 0 0 100 100 100 100 100 100 100 100 0 0 100 100 100 100 0 0 0 0 0 0 0 0 0 0 100 100 100 100 100 100 100 100 0 0 100 100 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 1000 0 0 1000 0 1000 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 1000 1000 0 0 1000 0 0 1000 1000 1000 0 0 0 0 0 0 0 1000 0 1000 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 1000 1000 0 0 0 0 0 0 0 0 0 0 1000 0 0 1000 0 0 0 0 0 0 1000 1000 0 0 1000 0 1000 0 0 0 0 0 0 1000 1000 0 1000 0 1000 1000 0 0 0 0 0 0 0 0 0 0 1000 0 1000 1000 1000 0 1000 0 0 0 0 0 0 1000 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 1000 0 0 0 0 0 1000 1000 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 1000 0 0 1000 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 1000 0 0 0 1000 1000 1000 0 1000 0 0 0 0 0 0 1000 1000 1000 0 1000 0 0 0 0 0 0 0 1000 0 0 0 1000 0 1000 1000 0 0 0 0 1000 1000 1000 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 1000 0 0 0 1000 0 1000 1000 0 1000 0 1000 1000 1000 1000 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 1000 1000 0 0 1000 1000 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 1000 0 0 0 0 1000 0 0 0 0 0 0 0 1000 1000 0 0 0 0 0 0 0 0 0 1000 0 1000 0 0 0 1000 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 1000 0 0 0 0 0 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 1000 0 0 0 0 1000 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 1000 0 0 0 0 0 0 0 0 1000 0 0 1000 1000 0 1000 1000 1000 1000 0 1000 1000 1000 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 1000 1000 0 1000 1000 0 1000 1000 0 0 0 0 0 0 1000 1000 0 0 0 0 0 0 0 1000 0 1000 0 0 1000 0 0 0 0 0 0 0 1000 0 1000 0 1000 0 0 1000 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 1000 0 0 0 0 0 0 0 1000 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 1000 0 0 0 0 1000 0 0 0 0 0 0 0 0 1000 1000 0 0 0 0 0 0 0 0 1000 0 1000 0 0 1000 0 0 0 0 1000 0 0 0 0 0 0 0 0 1000 0 0 0 1000 0 0 0 0 1000 0 1000 0 0 0 0 0 0 0 0 0 0 100 0 100 0 0 100 100 0 0 0 100 0 0 0 100 100 0 100 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 100 0 100 0 0 100 0 0 0 0 0 0 100 0 100 0 0 0 100 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 100 0 100 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 100 0 0 0 0 100 0 0 0 0 0 0 0 100 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 100 0 100 100 0 0 0 0 100 0 0 100 0 0 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 100 100 0 100 100 100 0 0 0 0 0 100 0 0 0 100 0 0 0 0 0 0 0 0 100 0 0 0 0 100 0 100 0 0 0 0 0 0 0 0 0 0 100 0 100 0 100 0 100 0 0 0 0 0 0 0 100 0 100 0 0 0 0 0 0 0 0 0 0 100 100 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 100 0 100 0 0 0 0 0 0 0 0 0 0 100 100 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 100 100 0 0 0 100 100 0 0 100 100 0 100 0 0 0 0 0 0 100 100 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 100 0 100 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 100 100 100 0 100 0 0 100 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 100 0 0 0 0 0 100 0 0 0 100 0 100 0 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 0 0 0 0 0 100 0 100 0 0 100 100 100 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 100 0 0 0 100 0 100 100 0 0 0 0 100 0 0 100 100 100 0 100 0 100 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 0 0 0 100 100 0 0 0 100 100 0 0 0 0 0 0 0 0 0 100 0 100 0 0 0 0 0 0 0 100 0 0 0 0 0 0 100 0 0 0 100 0 0 0 0 0 0 0 0 100 0 100 0 0 100 0 0 0 100 100 0 0 100 0 100 0 0 0 0 0 0 0 100 0 0 0 0 0 0 100 0 0 100 100 0 0 0 0 0 0 0 0 0 100 0 0 100 100 0 0 100 100 0 0 0 100 0 0 0 0 100 0 100 0 0 0 100 0 0 0 0 0 100 100 100 0 0 0 0 0 0 0 100 0 100 0 0 0 100 0 0 0 100 0 100 0 0 100 0 100 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 0 100 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 100 0 0 100 0 0 0 0 100 100 100 0 0 100 100 0 0 100 0 0 0 0 0 0 0 0 100 0 100 0 0 0 0 0 0 100 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 100 0 0 0 0 0 100 0 0 100 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 100 100 0 100 100 100 100 100 0 100 0 100 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 100 0 0 0 100 0 0 0 0 0 100 100 0 0 0 100 100 0 0 100 100 0 0 0 100 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 100 0 100 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 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 100 100 100 0 100 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 2 2 0 0 2 2 2 2 0 0 2 2 2 0 0 0 0 0 0 0 0 0 2 2 0 0 0 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 2 2 0 0 2 2 0 2 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 2 0 0 2 0 0 0 2 0 0 0 0 0 2 0 0 0 0 2 0 0 0 0 0 2 2 0 2 2 0 0 0 2 2 2 2 0 0 2 2 0 0 0 2 0 2 0 0 0 2 0 2 0 0 0 2 0 2 0 0 2 2 2 2 0 0 2 2 0 0 0 0 0 0 0 0 0 0 2 2 0 2 0 0 2 2 0 0 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 2 2 0 0 0 2 2 2 0 0 0 0 0 0 0 0 0 0 0 0 2 0 2 0 2 0 2 2 2 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 2 0 2 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 2 2 0 2 2 0 0 0 0 2 0 0 0 0 0 0 0 0 2 2 0 0 0 0 0 0 0 0 2 0 0 2 2 0 0 0 2 0 0 2 0 0 2 2 0 0 2 2 0 0 0 0 0 2 0 2 0 2 2 2 0 2 2 2 0 0 2 0 0 0 0 0 0 2 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 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 2 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 2 0 0 2 0 0 2 0 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 2 2 2 2 2 0 0 0 0 0 0 0 0 0 0 2 0 0 0 2 0 0 0 0 2 0 0 0 0 0 2 2 0 2 0 0 0 0 2 0 2 0 2 0 2 0 0 0 0 0 2 2 0 2 0 2 0 2 2 2 0 0 0 0 2 0 2 2 0 0 2 2 0 0 2 2 0 0 0 0 0 0 2 0 0 2 0 2 2 0 2 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 2 0 0 2 0 2 2 2 2 0 0 2 0 2 2 0 0 0 2 0 0 0 0 0 2 2 2 2 2 0 0 0 0 0 0 0 2 0 0 2 0 2 2 2 2 2 2 2 2 0 2 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 2 2 0 2 2 0 0 2 2 2 2 2 0 0 0 0 0 0 0 0 0 2 0 2 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 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 2 0 2 0 0 0 0 0 2 0 2 2 0 0 2 2 2 0 2 0 0 0 0 0 2 0 2 0 0 2 0 0 2 0 2 0 0 0 0 2 2 0 0 2 0 0 2 0 0 0 0 0 2 0 0 2 2 0 0 0 0 0 0 0 2 2 0 0 0 0 0 0 0 2 0 0 0 2 2 2 2 0 0 0 0 2 0 2 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 2 0 0 0 2 2 0 2 0 0 0 0 0 0 0 2 2 0 2 0 2 0 0 0 0 0 2 0 2 2 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 1 0 0 1 1 1 0 1 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 1 1 0 1 0 0 0 0 0 0 1 1 0 0 0 1 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 0 0 0 0 1 1 1 1 1 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 1 0 0 0 1 1 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 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 1 0 0 0 1 1 0 0 1 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 1 1 0 1 1 1 0 1 0 0 0 0 0 0 1 0 1 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 1 1 1 0 0 0 1 1 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 1 1 0 0 0 1 1 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 1 1 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 1 1 1 1 1 0 1 0 1 0 1 0 1 1 0 0 0 0 0 1 1 0 1 0 0 1 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 1 1 0 0 0 0 1 0 0 1 0 0 0 0 1 1 0 0 1 0 1 1 0 0 1 0 0 0 0 0 1 1 1 0 0 0 0 1 0 1 0 0 1 0 0 0 0 1 0 0 1 1 0 0 1 1 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 1 0 0 1 0 1 1 0 1 0 1 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 1 0 0 0 0 1 0 0 1 1 0 1 1 0 0 0 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 1 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 1 0 1 1 0 0 1 1 1 1 0 0 1 1 1 0 0 1 0 0 0 0 1 1 0 1 0 0 0 0 0 1 0 0 0 1 1 0 1 1 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 0 0 1 1 0 0 0 0 0 1 0 1 1 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 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 1 0 0 0 1 0 0 1 0 1 0 0 0 0 1 0 0 0 0 1 0 1 0 1 1 1 0 0 0 0 0 0 1 0 1 0 1 0 0 0 1 1 0 0 
2400.01/2347.91	v 	</values>
2400.01/2347.91	v </instantiation>

Verifier Data 

OK	6695055

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 (10707 MiB free)
  memory of node 1: 16384 MiB (12118 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4291926-1532266866/watcher-4291926-1532266866 -o /tmp/evaluation-result-4291926-1532266866/solver-4291926-1532266866 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node135-1532262189-32666 --watchdog 2560 java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed 1109663851 --timelimit 2400 --memlimit 11000 --nbcore 4 HOME/instance-4291926-1532266866.xml 

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

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


[startup+0.100142 s]*
/proc/loadavg: 1.36 1.55 1.54 5/201 910
/proc/meminfo: memFree=23354832/32770624 swapFree=67108860/67108860
[pid=883] ppid=880 vsize=14082740 memory=31336 CPUtime=0.11 cores=1,3,5,7
/proc/883/stat : 883 (java) S 880 883 32634 0 -1 1077944320 6734 0 0 0 10 1 0 0 20 0 15 0 44249826 14420725760 7768 33554432000 4194304 4196468 140722092537536 140722092520080 139978605006583 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29696000 140722092545108 140722092545289 140722092545289 140722092548047 0
/proc/883/statm: 3520685 7834 3139 1 0 3482761 0
[pid=883/tid=885] ppid=880 vsize=14082740 memory=8390339637985935414 CPUtime=0.09 cores=1,3,5,7
/proc/883/task/885/stat : 885 (java) R 880 883 32634 0 -1 4202560 5173 0 0 0 8 1 0 0 20 0 15 0 44249826 14420725760 8164 33554432000 4194304 4196468 140722092537536 139978609201392 139978586400317 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29696000 140722092545108 140722092545289 140722092545289 140722092548047 0
[pid=883/tid=886] ppid=880 vsize=14082740 memory=4294967638 CPUtime=0 cores=1,3,5,7
/proc/883/task/886/stat : 886 (java) S 880 883 32634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44249827 14420725760 8164 33554432000 4194304 4196468 140722092537536 139978557627152 139978605016789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29696000 140722092545108 140722092545289 140722092545289 140722092548047 0
[pid=883/tid=887] ppid=880 vsize=14082740 memory=4123246346806519456 CPUtime=0 cores=1,3,5,7
/proc/883/task/887/stat : 887 (java) S 880 883 32634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44249827 14420725760 8164 33554432000 4194304 4196468 140722092537536 139978556574608 139978605016789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29696000 140722092545108 140722092545289 140722092545289 140722092548047 0
[pid=883/tid=888] ppid=880 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/883/task/888/stat : 888 (java) S 880 883 32634 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 44249827 14420725760 8164 33554432000 4194304 4196468 140722092537536 139978555522064 139978605016789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29696000 140722092545108 140722092545289 140722092545289 140722092548047 0
[pid=883/tid=889] ppid=880 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/883/task/889/stat : 889 (java) S 880 883 32634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44249827 14420725760 8164 33554432000 4194304 4196468 140722092537536 139978197888144 139978605016789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29696000 140722092545108 140722092545289 140722092545289 140722092548047 0
[pid=883/tid=893] ppid=880 vsize=14082740 memory=140207811749504 CPUtime=0 cores=1,3,5,7
/proc/883/task/893/stat : 893 (java) S 880 883 32634 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 44249829 14420725760 8164 33554432000 4194304 4196468 140722092537536 139977786562544 139978605017730 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29696000 140722092545108 140722092545289 140722092545289 140722092548047 0
[pid=883/tid=894] ppid=880 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/883/task/894/stat : 894 (java) S 880 883 32634 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 44249829 14420725760 8164 33554432000 4194304 4196468 140722092537536 139977785508768 139978605016789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29696000 140722092545108 140722092545289 140722092545289 140722092548047 0
[pid=883/tid=895] ppid=880 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/883/task/895/stat : 895 (java) S 880 883 32634 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 44249829 14420725760 8164 33554432000 4194304 4196468 140722092537536 139977784456176 139978605016789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29696000 140722092545108 140722092545289 140722092545289 140722092548047 0
[pid=883/tid=896] ppid=880 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/883/task/896/stat : 896 (java) S 880 883 32634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44249832 14420725760 8164 33554432000 4194304 4196468 140722092537536 139977783404752 139978605025179 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29696000 140722092545108 140722092545289 140722092545289 140722092548047 0
[pid=883/tid=897] ppid=880 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/883/task/897/stat : 897 (java) S 880 883 32634 0 -1 1077944384 293 0 0 0 0 0 0 0 20 0 15 0 44249832 14420725760 8164 33554432000 4194304 4196468 140722092537536 139977782352368 139978605017730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29696000 140722092545108 140722092545289 140722092545289 140722092548047 0
[pid=883/tid=898] ppid=880 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/883/task/898/stat : 898 (java) S 880 883 32634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44249832 14420725760 8164 33554432000 4194304 4196468 140722092537536 139977781299824 139978605017730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29696000 140722092545108 140722092545289 140722092545289 140722092548047 0
[pid=883/tid=900] ppid=880 vsize=14082740 memory=140207811749504 CPUtime=0.01 cores=1,3,5,7
/proc/883/task/900/stat : 900 (java) R 880 883 32634 0 -1 4202560 263 0 0 0 1 0 0 0 20 0 15 0 44249832 14420725760 8164 33554432000 4194304 4196468 140722092537536 139977780247280 139978584479353 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29696000 140722092545108 140722092545289 140722092545289 140722092548047 0
[pid=883/tid=901] ppid=880 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/883/task/901/stat : 901 (java) S 880 883 32634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44249832 14420725760 8164 33554432000 4194304 4196468 140722092537536 139977779194976 139978605016789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29696000 140722092545108 140722092545289 140722092545289 140722092548047 0
[pid=883/tid=902] ppid=880 vsize=14082740 memory=140207811749504 CPUtime=0 cores=1,3,5,7
/proc/883/task/902/stat : 902 (java) S 880 883 32634 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 44249832 14420725760 8164 33554432000 4194304 4196468 140722092537536 139977778141488 139978605017730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29696000 140722092545108 140722092545289 140722092545289 140722092548047 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 31336 KiB

[startup+0.668956 s]*
/proc/loadavg: 1.81 1.64 1.57 3/199 922
/proc/meminfo: memFree=23337532/32770624 swapFree=67108860/67108860
[pid=883] ppid=880 vsize=14084808 memory=86352 CPUtime=0.97 cores=1,3,5,7
/proc/883/stat : 883 (java) S 880 883 32634 0 -1 1077944320 17515 0 0 0 92 5 0 0 20 0 15 0 44249826 14422843392 21588 33554432000 4194304 4196468 140722092537536 140722092520080 139978605006583 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29696000 140722092545108 140722092545289 140722092545289 140722092548047 0
/proc/883/statm: 3521202 21588 3498 1 0 3483273 0
[pid=883/tid=885] ppid=880 vsize=14084808 memory=8390339637985935414 CPUtime=0.65 cores=1,3,5,7
/proc/883/task/885/stat : 885 (java) R 880 883 32634 0 -1 4202560 14764 0 0 0 61 4 0 0 20 0 15 0 44249826 14422843392 21588 33554432000 4194304 4196468 140722092537536 139978609240896 139978589087070 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29696000 140722092545108 140722092545289 140722092545289 140722092548047 0
[pid=883/tid=886] ppid=880 vsize=14084808 memory=4294967638 CPUtime=0 cores=1,3,5,7
/proc/883/task/886/stat : 886 (java) S 880 883 32634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44249827 14422843392 21588 33554432000 4194304 4196468 140722092537536 139978557627152 139978605016789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29696000 140722092545108 140722092545289 140722092545289 140722092548047 0
[pid=883/tid=887] ppid=880 vsize=14084808 memory=140207811919901 CPUtime=0 cores=1,3,5,7
/proc/883/task/887/stat : 887 (java) S 880 883 32634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44249827 14422843392 21588 33554432000 4194304 4196468 140722092537536 139978556574608 139978605016789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29696000 140722092545108 140722092545289 140722092545289 140722092548047 0
[pid=883/tid=888] ppid=880 vsize=14084808 memory=0 CPUtime=0 cores=1,3,5,7
/proc/883/task/888/stat : 888 (java) S 880 883 32634 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 44249827 14422843392 21588 33554432000 4194304 4196468 140722092537536 139978555522064 139978605016789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29696000 140722092545108 140722092545289 140722092545289 140722092548047 0
[pid=883/tid=889] ppid=880 vsize=14084808 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/883/task/889/stat : 889 (java) S 880 883 32634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44249827 14422843392 21588 33554432000 4194304 4196468 140722092537536 139978197888144 139978605016789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29696000 140722092545108 140722092545289 140722092545289 140722092548047 0
[pid=883/tid=893] ppid=880 vsize=14084808 memory=140207811749504 CPUtime=0 cores=1,3,5,7
/proc/883/task/893/stat : 893 (java) S 880 883 32634 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 15 0 44249829 14422843392 21588 33554432000 4194304 4196468 140722092537536 139977786562544 139978605017730 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29696000 140722092545108 140722092545289 140722092545289 140722092548047 0
[pid=883/tid=894] ppid=880 vsize=14084808 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/883/task/894/stat : 894 (java) S 880 883 32634 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 44249829 14422843392 21588 33554432000 4194304 4196468 140722092537536 139977785508768 139978605016789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29696000 140722092545108 140722092545289 140722092545289 140722092548047 0
[pid=883/tid=895] ppid=880 vsize=14084808 memory=0 CPUtime=0 cores=1,3,5,7
/proc/883/task/895/stat : 895 (java) S 880 883 32634 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 44249829 14422843392 21588 33554432000 4194304 4196468 140722092537536 139977784456176 139978605016789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29696000 140722092545108 140722092545289 140722092545289 140722092548047 0
[pid=883/tid=896] ppid=880 vsize=14084808 memory=0 CPUtime=0 cores=1,3,5,7
/proc/883/task/896/stat : 896 (java) S 880 883 32634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44249832 14422843392 21588 33554432000 4194304 4196468 140722092537536 139977783404752 139978605025179 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29696000 140722092545108 140722092545289 140722092545289 140722092548047 0
[pid=883/tid=897] ppid=880 vsize=14084808 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/883/task/897/stat : 897 (java) S 880 883 32634 0 -1 1077944384 542 0 0 0 8 0 0 0 20 0 15 0 44249832 14422843392 21588 33554432000 4194304 4196468 140722092537536 139977782352368 139978605017730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29696000 140722092545108 140722092545289 140722092545289 140722092548047 0
[pid=883/tid=898] ppid=880 vsize=14084808 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/883/task/898/stat : 898 (java) S 880 883 32634 0 -1 1077944384 390 0 0 0 7 0 0 0 20 0 15 0 44249832 14422843392 21588 33554432000 4194304 4196468 140722092537536 139977781299824 139978605017730 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29696000 140722092545108 140722092545289 140722092545289 140722092548047 0
[pid=883/tid=900] ppid=880 vsize=14084808 memory=140207811749504 CPUtime=0.15 cores=1,3,5,7
/proc/883/task/900/stat : 900 (java) R 880 883 32634 0 -1 1077944384 443 0 0 0 15 0 0 0 20 0 15 0 44249832 14422843392 21588 33554432000 4194304 4196468 140722092537536 139977780247280 139978605017730 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 29696000 140722092545108 140722092545289 140722092545289 140722092548047 0
[pid=883/tid=901] ppid=880 vsize=14084808 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/883/task/901/stat : 901 (java) S 880 883 32634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44249832 14422843392 21588 33554432000 4194304 4196468 140722092537536 139977779194976 139978605016789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29696000 140722092545108 140722092545289 140722092545289 140722092548047 0
[pid=883/tid=902] ppid=880 vsize=14084808 memory=140207811749504 CPUtime=0 cores=1,3,5,7
/proc/883/task/902/stat : 902 (java) S 880 883 32634 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 44249832 14422843392 21588 33554432000 4194304 4196468 140722092537536 139977778141488 139978605017730 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29696000 140722092545108 140722092545289 140722092545289 140722092548047 0
Current children cumulated CPU time: 0.97 s
Current children cumulated vsize: 14084808 KiB
Current children cumulated memory: 86352 KiB

[startup+0.710345 s]*
/proc/loadavg: 1.81 1.64 1.57 4/200 925
/proc/meminfo: memFree=23318836/32770624 swapFree=67108860/67108860
[pid=883] ppid=880 vsize=14084808 memory=89320 CPUtime=1.02 cores=1,3,5,7
/proc/883/stat : 883 (java) S 880 883 32634 0 -1 1077944320 17691 0 0 0 97 5 0 0 20 0 15 0 44249826 14422843392 22330 33554432000 4194304 4196468 140722092537536 140722092520080 139978605006583 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29696000 140722092545108 140722092545289 140722092545289 140722092548047 0
/proc/883/statm: 3521202 22330 3507 1 0 3483273 0
[pid=883/tid=885] ppid=880 vsize=14084808 memory=6935054825532540783 CPUtime=0.69 cores=1,3,5,7
/proc/883/task/885/stat : 885 (java) R 880 883 32634 0 -1 4202560 14921 0 0 0 65 4 0 0 20 0 15 0 44249826 14422843392 22330 33554432000 4194304 4196468 140722092537536 139978609231792 139978589087070 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29696000 140722092545108 140722092545289 140722092545289 140722092548047 0
[pid=883/tid=886] ppid=880 vsize=14084808 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/883/task/886/stat : 886 (java) S 880 883 32634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44249827 14422843392 22330 33554432000 4194304 4196468 140722092537536 139978557627152 139978605016789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29696000 140722092545108 140722092545289 140722092545289 140722092548047 0
[pid=883/tid=887] ppid=880 vsize=14084808 memory=0 CPUtime=0 cores=1,3,5,7
/proc/883/task/887/stat : 887 (java) S 880 883 32634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44249827 14422843392 22330 33554432000 4194304 4196468 140722092537536 139978556574608 139978605016789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29696000 140722092545108 140722092545289 140722092545289 140722092548047 0
[pid=883/tid=888] ppid=880 vsize=14084808 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/883/task/888/stat : 888 (java) S 880 883 32634 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 44249827 14422843392 22330 33554432000 4194304 4196468 140722092537536 139978555522064 139978605016789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29696000 140722092545108 140722092545289 140722092545289 140722092548047 0
[pid=883/tid=889] ppid=880 vsize=14084808 memory=0 CPUtime=0 cores=1,3,5,7
/proc/883/task/889/stat : 889 (java) S 880 883 32634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44249827 14422843392 22330 33554432000 4194304 4196468 140722092537536 139978197888144 139978605016789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29696000 140722092545108 140722092545289 140722092545289 140722092548047 0
[pid=883/tid=893] ppid=880 vsize=14084808 memory=0 CPUtime=0 cores=1,3,5,7
/proc/883/task/893/stat : 893 (java) S 880 883 32634 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 15 0 44249829 14422843392 22330 33554432000 4194304 4196468 140722092537536 139977786562544 139978605017730 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29696000 140722092545108 140722092545289 140722092545289 140722092548047 0
[pid=883/tid=894] ppid=880 vsize=14084808 memory=0 CPUtime=0 cores=1,3,5,7
/proc/883/task/894/stat : 894 (java) S 880 883 32634 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 44249829 14422843392 22330 33554432000 4194304 4196468 140722092537536 139977785508768 139978605016789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29696000 140722092545108 140722092545289 140722092545289 140722092548047 0
[pid=883/tid=895] ppid=880 vsize=14084808 memory=0 CPUtime=0 cores=1,3,5,7
/proc/883/task/895/stat : 895 (java) S 880 883 32634 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 44249829 14422843392 22330 33554432000 4194304 4196468 140722092537536 139977784456176 139978605016789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29696000 140722092545108 140722092545289 140722092545289 140722092548047 0
[pid=883/tid=896] ppid=880 vsize=14084808 memory=0 CPUtime=0 cores=1,3,5,7
/proc/883/task/896/stat : 896 (java) S 880 883 32634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44249832 14422843392 22330 33554432000 4194304 4196468 140722092537536 139977783404752 139978605025179 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29696000 140722092545108 140722092545289 140722092545289 140722092548047 0
[pid=883/tid=897] ppid=880 vsize=14084808 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/883/task/897/stat : 897 (java) R 880 883 32634 0 -1 1077944384 544 0 0 0 9 0 0 0 20 0 15 0 44249832 14422843392 22330 33554432000 4194304 4196468 140722092537536 139977782352368 139978605017730 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29696000 140722092545108 140722092545289 140722092545289 140722092548047 0
[pid=883/tid=898] ppid=880 vsize=14084808 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/883/task/898/stat : 898 (java) S 880 883 32634 0 -1 1077944384 398 0 0 0 7 0 0 0 20 0 15 0 44249832 14422843392 22330 33554432000 4194304 4196468 140722092537536 139977781299824 139978605017730 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29696000 140722092545108 140722092545289 140722092545289 140722092548047 0
[pid=883/tid=900] ppid=880 vsize=14084808 memory=0 CPUtime=0.15 cores=1,3,5,7
/proc/883/task/900/stat : 900 (java) R 880 883 32634 0 -1 4202560 452 0 0 0 15 0 0 0 20 0 15 0 44249832 14422843392 22330 33554432000 4194304 4196468 140722092537536 139977780247280 139978583683760 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29696000 140722092545108 140722092545289 140722092545289 140722092548047 0
[pid=883/tid=901] ppid=880 vsize=14084808 memory=0 CPUtime=0 cores=1,3,5,7
/proc/883/task/901/stat : 901 (java) S 880 883 32634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44249832 14422843392 22330 33554432000 4194304 4196468 140722092537536 139977779194976 139978605016789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29696000 140722092545108 140722092545289 140722092545289 140722092548047 0
[pid=883/tid=902] ppid=880 vsize=14084808 memory=0 CPUtime=0 cores=1,3,5,7
/proc/883/task/902/stat : 902 (java) S 880 883 32634 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 44249832 14422843392 22330 33554432000 4194304 4196468 140722092537536 139977778141488 139978605017730 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29696000 140722092545108 140722092545289 140722092545289 140722092548047 0
Current children cumulated CPU time: 1.02 s
Current children cumulated vsize: 14084808 KiB
Current children cumulated memory: 89320 KiB

[startup+0.815377 s]*
/proc/loadavg: 1.81 1.64 1.57 7/202 930
/proc/meminfo: memFree=23290700/32770624 swapFree=67108860/67108860
[pid=883] ppid=880 vsize=14086856 memory=99092 CPUtime=1.31 cores=1,3,5,7
/proc/883/stat : 883 (java) S 880 883 32634 0 -1 1077944320 18142 0 0 0 126 5 0 0 20 0 15 0 44249826 14424940544 24773 33554432000 4194304 4196468 140722092537536 140722092520080 139978605006583 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29696000 140722092545108 140722092545289 140722092545289 140722092548047 0
/proc/883/statm: 3521714 24773 3510 1 0 3483785 0
[pid=883/tid=885] ppid=880 vsize=14086856 memory=8389772277269004345 CPUtime=0.8 cores=1,3,5,7
/proc/883/task/885/stat : 885 (java) R 880 883 32634 0 -1 4202560 15165 0 0 0 76 4 0 0 20 0 15 0 44249826 14424940544 24881 33554432000 4194304 4196468 140722092537536 139978609239104 139978589050213 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29696000 140722092545108 140722092545289 140722092545289 140722092548047 0
[pid=883/tid=886] ppid=880 vsize=14086856 memory=4294967661 CPUtime=0 cores=1,3,5,7
/proc/883/task/886/stat : 886 (java) S 880 883 32634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44249827 14424940544 24881 33554432000 4194304 4196468 140722092537536 139978557627152 139978605016789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29696000 140722092545108 140722092545289 140722092545289 140722092548047 0
[pid=883/tid=887] ppid=880 vsize=14086856 memory=288370583963461248 CPUtime=0 cores=1,3,5,7
/proc/883/task/887/stat : 887 (java) S 880 883 32634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44249827 14424940544 24881 33554432000 4194304 4196468 140722092537536 139978556574608 139978605016789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29696000 140722092545108 140722092545289 140722092545289 140722092548047 0
[pid=883/tid=888] ppid=880 vsize=14086856 memory=0 CPUtime=0 cores=1,3,5,7
/proc/883/task/888/stat : 888 (java) S 880 883 32634 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 44249827 14424940544 24881 33554432000 4194304 4196468 140722092537536 139978555522064 139978605016789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29696000 140722092545108 140722092545289 140722092545289 140722092548047 0
[pid=883/tid=889] ppid=880 vsize=14086856 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/883/task/889/stat : 889 (java) S 880 883 32634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44249827 14424940544 24881 33554432000 4194304 4196468 140722092537536 139978197888144 139978605016789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29696000 140722092545108 140722092545289 140722092545289 140722092548047 0
[pid=883/tid=893] ppid=880 vsize=14086856 memory=140207811749504 CPUtime=0 cores=1,3,5,7
/proc/883/task/893/stat : 893 (java) S 880 883 32634 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 15 0 44249829 14424940544 24881 33554432000 4194304 4196468 140722092537536 139977786562544 139978605017730 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29696000 140722092545108 140722092545289 140722092545289 140722092548047 0
[pid=883/tid=894] ppid=880 vsize=14086856 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/883/task/894/stat : 894 (java) S 880 883 32634 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 44249829 14424940544 24881 33554432000 4194304 4196468 140722092537536 139977785508768 139978605016789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29696000 140722092545108 140722092545289 140722092545289 140722092548047 0
[pid=883/tid=895] ppid=880 vsize=14086856 memory=0 CPUtime=0 cores=1,3,5,7
/proc/883/task/895/stat : 895 (java) S 880 883 32634 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 44249829 14424940544 24881 33554432000 4194304 4196468 140722092537536 139977784456176 139978605016789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29696000 140722092545108 140722092545289 140722092545289 140722092548047 0
[pid=883/tid=896] ppid=880 vsize=14086856 memory=0 CPUtime=0 cores=1,3,5,7
/proc/883/task/896/stat : 896 (java) S 880 883 32634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44249832 14424940544 24881 33554432000 4194304 4196468 140722092537536 139977783404752 139978605025179 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29696000 140722092545108 140722092545289 140722092545289 140722092548047 0
[pid=883/tid=897] ppid=880 vsize=14086856 memory=0 CPUtime=0.15 cores=1,3,5,7
/proc/883/task/897/stat : 897 (java) R 880 883 32634 0 -1 4202560 585 0 0 0 15 0 0 0 20 0 15 0 44249832 14424940544 24881 33554432000 4194304 4196468 140722092537536 139977782342752 139978584245041 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29696000 140722092545108 140722092545289 140722092545289 140722092548047 0
[pid=883/tid=898] ppid=880 vsize=14086856 memory=-1 CPUtime=0.13 cores=1,3,5,7
/proc/883/task/898/stat : 898 (java) R 880 883 32634 0 -1 1077944384 414 0 0 0 13 0 0 0 20 0 15 0 44249832 14424940544 24881 33554432000 4194304 4196468 140722092537536 139977781299920 139978605016789 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29696000 140722092545108 140722092545289 140722092545289 140722092548047 0
[pid=883/tid=900] ppid=880 vsize=14086856 memory=140207811749504 CPUtime=0.22 cores=1,3,5,7
/proc/883/task/900/stat : 900 (java) R 880 883 32634 0 -1 4202560 624 0 0 0 22 0 0 0 20 0 15 0 44249832 14424940544 24881 33554432000 4194304 4196468 140722092537536 139977780243232 139978589087070 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29696000 140722092545108 140722092545289 140722092545289 140722092548047 0
[pid=883/tid=901] ppid=880 vsize=14086856 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/883/task/901/stat : 901 (java) S 880 883 32634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44249832 14424940544 24881 33554432000 4194304 4196468 140722092537536 139977779194976 139978605016789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29696000 140722092545108 140722092545289 140722092545289 140722092548047 0
[pid=883/tid=902] ppid=880 vsize=14086856 memory=140207811749504 CPUtime=0 cores=1,3,5,7
/proc/883/task/902/stat : 902 (java) S 880 883 32634 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 44249832 14424940544 24881 33554432000 4194304 4196468 140722092537536 139977778141488 139978605017730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29696000 140722092545108 140722092545289 140722092545289 140722092548047 0
Current children cumulated CPU time: 1.31 s
Current children cumulated vsize: 14086856 KiB
Current children cumulated memory: 99092 KiB

[startup+1.51074 s]
/proc/loadavg: 1.81 1.64 1.57 6/219 950
/proc/meminfo: memFree=23138952/32770624 swapFree=67108860/67108860
[pid=883] ppid=880 vsize=14086856 memory=227436 CPUtime=3.45 cores=1,3,5,7
/proc/883/stat : 883 (java) S 880 883 32634 0 -1 1077944320 24759 0 0 0 336 9 0 0 20 0 15 0 44249826 14424940544 56859 33554432000 4194304 4196468 140722092537536 140722092520080 139978605006583 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29696000 140722092545108 140722092545289 140722092545289 140722092548047 0
/proc/883/statm: 3521714 56859 3565 1 0 3483785 0
[pid=883/tid=885] ppid=880 vsize=14086856 memory=168072 CPUtime=1.46 cores=1,3,5,7
/proc/883/task/885/stat : 885 (java) R 880 883 32634 0 -1 4202560 16933 0 0 0 140 6 0 0 20 0 15 0 44249826 14424940544 56859 33554432000 4194304 4196468 140722092537536 139978609241536 139978236785981 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29696000 140722092545108 140722092545289 140722092545289 140722092548047 0
[pid=883/tid=886] ppid=880 vsize=14086856 memory=280415328600384 CPUtime=0 cores=1,3,5,7
/proc/883/task/886/stat : 886 (java) S 880 883 32634 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 15 0 44249827 14424940544 56859 33554432000 4194304 4196468 140722092537536 139978557627152 139978605016789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29696000 140722092545108 140722092545289 140722092545289 140722092548047 0
[pid=883/tid=887] ppid=880 vsize=14086856 memory=0 CPUtime=0 cores=1,3,5,7
/proc/883/task/887/stat : 887 (java) S 880 883 32634 0 -1 1077944384 134 0 0 0 0 0 0 0 20 0 15 0 44249827 14424940544 56859 33554432000 4194304 4196468 140722092537536 139978556574608 139978605016789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29696000 140722092545108 140722092545289 140722092545289 140722092548047 0
[pid=883/tid=888] ppid=880 vsize=14086856 memory=1572 CPUtime=0.01 cores=1,3,5,7
/proc/883/task/888/stat : 888 (java) S 880 883 32634 0 -1 1077944384 24 0 0 0 1 0 0 0 20 0 15 0 44249827 14424940544 56859 33554432000 4194304 4196468 140722092537536 139978555522064 139978605016789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29696000 140722092545108 140722092545289 140722092545289 140722092548047 0
[pid=883/tid=889] ppid=880 vsize=14086856 memory=928 CPUtime=0 cores=1,3,5,7
/proc/883/task/889/stat : 889 (java) S 880 883 32634 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 44249827 14424940544 56859 33554432000 4194304 4196468 140722092537536 139978197888144 139978605016789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29696000 140722092545108 140722092545289 140722092545289 140722092548047 0
[pid=883/tid=893] ppid=880 vsize=14086856 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/883/task/893/stat : 893 (java) S 880 883 32634 0 -1 1077944384 153 0 0 0 0 0 0 0 20 0 15 0 44249829 14424940544 56859 33554432000 4194304 4196468 140722092537536 139977786562544 139978605017730 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29696000 140722092545108 140722092545289 140722092545289 140722092548047 0

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

/proc/883/task/885/stat : 885 (java) R 880 883 32634 0 -1 4202560 188172 0 0 0 224767 92 0 0 20 0 15 0 44249826 14431232000 834910 33554432000 4194304 4196468 140722092537536 139978609235104 139978249861508 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29696000 140722092545108 140722092545289 140722092545289 140722092548047 0
[pid=883/tid=886] ppid=880 vsize=14093000 memory=3341204 CPUtime=12.39 cores=1,3,5,7
/proc/883/task/886/stat : 886 (java) S 880 883 32634 0 -1 1077944384 34876 0 0 0 1163 76 0 0 20 0 15 0 44249827 14431232000 834910 33554432000 4194304 4196468 140722092537536 139978557627152 139978605016789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29696000 140722092545108 140722092545289 140722092545289 140722092548047 0
[pid=883/tid=887] ppid=880 vsize=14093000 memory=3341776 CPUtime=12.37 cores=1,3,5,7
/proc/883/task/887/stat : 887 (java) S 880 883 32634 0 -1 1077944384 37096 0 0 0 1162 75 0 0 20 0 15 0 44249827 14431232000 834910 33554432000 4194304 4196468 140722092537536 139978556574608 139978605016789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29696000 140722092545108 140722092545289 140722092545289 140722092548047 0
[pid=883/tid=888] ppid=880 vsize=14093000 memory=280415329505152 CPUtime=12.41 cores=1,3,5,7
/proc/883/task/888/stat : 888 (java) S 880 883 32634 0 -1 1077944384 33028 0 0 0 1167 74 0 0 20 0 15 0 44249827 14431232000 834910 33554432000 4194304 4196468 140722092537536 139978555522064 139978605016789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29696000 140722092545108 140722092545289 140722092545289 140722092548047 0
[pid=883/tid=889] ppid=880 vsize=14093000 memory=3341776 CPUtime=12.39 cores=1,3,5,7
/proc/883/task/889/stat : 889 (java) S 880 883 32634 0 -1 1077944384 33141 0 0 0 1162 77 0 0 20 0 15 0 44249827 14431232000 834910 33554432000 4194304 4196468 140722092537536 139978197888144 139978605016789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29696000 140722092545108 140722092545289 140722092545289 140722092548047 0
[pid=883/tid=893] ppid=880 vsize=14093000 memory=3339176 CPUtime=0.93 cores=1,3,5,7
/proc/883/task/893/stat : 893 (java) S 880 883 32634 0 -1 1077944384 40919 0 0 0 77 16 0 0 20 0 15 0 44249829 14431232000 834910 33554432000 4194304 4196468 140722092537536 139977786562544 139978605017730 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29696000 140722092545108 140722092545289 140722092545289 140722092548047 0
[pid=883/tid=894] ppid=880 vsize=14093000 memory=3339176 CPUtime=0 cores=1,3,5,7
/proc/883/task/894/stat : 894 (java) S 880 883 32634 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 44249829 14431232000 834910 33554432000 4194304 4196468 140722092537536 139977785508832 139978605016789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29696000 140722092545108 140722092545289 140722092545289 140722092548047 0
[pid=883/tid=895] ppid=880 vsize=14093000 memory=3339176 CPUtime=0 cores=1,3,5,7
/proc/883/task/895/stat : 895 (java) S 880 883 32634 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 15 0 44249829 14431232000 834910 33554432000 4194304 4196468 140722092537536 139977784456192 139978605016789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29696000 140722092545108 140722092545289 140722092545289 140722092548047 0
[pid=883/tid=896] ppid=880 vsize=14093000 memory=3341204 CPUtime=0 cores=1,3,5,7
/proc/883/task/896/stat : 896 (java) S 880 883 32634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44249832 14431232000 834910 33554432000 4194304 4196468 140722092537536 139977783404752 139978605025179 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29696000 140722092545108 140722092545289 140722092545289 140722092548047 0
[pid=883/tid=897] ppid=880 vsize=14093000 memory=3341204 CPUtime=5.13 cores=1,3,5,7
/proc/883/task/897/stat : 897 (java) S 880 883 32634 0 -1 1077944384 35931 0 0 0 509 4 0 0 20 0 15 0 44249832 14431232000 834910 33554432000 4194304 4196468 140722092537536 139977782352368 139978605017730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29696000 140722092545108 140722092545289 140722092545289 140722092548047 0
[pid=883/tid=898] ppid=880 vsize=14093000 memory=3339640 CPUtime=5.44 cores=1,3,5,7
/proc/883/task/898/stat : 898 (java) S 880 883 32634 0 -1 1077944384 43113 0 0 0 539 5 0 0 20 0 15 0 44249832 14431232000 834910 33554432000 4194304 4196468 140722092537536 139977781299824 139978605017730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29696000 140722092545108 140722092545289 140722092545289 140722092548047 0
[pid=883/tid=900] ppid=880 vsize=14093000 memory=3339640 CPUtime=1.85 cores=1,3,5,7
/proc/883/task/900/stat : 900 (java) S 880 883 32634 0 -1 1077944384 52158 0 0 0 179 6 0 0 20 0 15 0 44249832 14431232000 834910 33554432000 4194304 4196468 140722092537536 139977780247280 139978605017730 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29696000 140722092545108 140722092545289 140722092545289 140722092548047 0
[pid=883/tid=901] ppid=880 vsize=14093000 memory=3341204 CPUtime=0 cores=1,3,5,7
/proc/883/task/901/stat : 901 (java) S 880 883 32634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44249832 14431232000 834910 33554432000 4194304 4196468 140722092537536 139977779194976 139978605016789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29696000 140722092545108 140722092545289 140722092545289 140722092548047 0
[pid=883/tid=902] ppid=880 vsize=14093000 memory=3341204 CPUtime=1.3 cores=1,3,5,7
/proc/883/task/902/stat : 902 (java) S 880 883 32634 0 -1 1077944384 2292 0 0 0 55 75 0 0 20 0 15 0 44249832 14431232000 834910 33554432000 4194304 4196468 140722092537536 139977778141488 139978605017730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29696000 140722092545108 140722092545289 140722092545289 140722092548047 0
Current children cumulated CPU time: 2312.88 s
Current children cumulated vsize: 14093000 KiB
Current children cumulated memory: 3339640 KiB

[startup+2322.3 s]
/proc/loadavg: 1.40 1.37 1.46 3/218 1121
/proc/meminfo: memFree=19443560/32770624 swapFree=67108860/67108860
[pid=883] ppid=880 vsize=14093000 memory=3281848 CPUtime=2373.93 cores=1,3,5,7
/proc/883/stat : 883 (java) S 880 883 32634 0 -1 1077944320 505808 0 0 0 236894 499 0 0 20 0 15 0 44249826 14431232000 820462 33554432000 4194304 4196468 140722092537536 140722092520080 139978605006583 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29696000 140722092545108 140722092545289 140722092545289 140722092548047 0
/proc/883/statm: 3523250 820462 3625 1 0 3485321 0
[pid=883/tid=885] ppid=880 vsize=14093000 memory=3291084 CPUtime=2308.22 cores=1,3,5,7
/proc/883/task/885/stat : 885 (java) R 880 883 32634 0 -1 4202560 189826 0 0 0 230730 92 0 0 20 0 15 0 44249826 14431232000 820462 33554432000 4194304 4196468 140722092537536 139978609243632 139978249862233 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29696000 140722092545108 140722092545289 140722092545289 140722092548047 0
[pid=883/tid=886] ppid=880 vsize=14093000 memory=3281848 CPUtime=12.72 cores=1,3,5,7
/proc/883/task/886/stat : 886 (java) S 880 883 32634 0 -1 1077944384 35219 0 0 0 1192 80 0 0 20 0 15 0 44249827 14431232000 820462 33554432000 4194304 4196468 140722092537536 139978557627152 139978605016789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29696000 140722092545108 140722092545289 140722092545289 140722092548047 0
[pid=883/tid=887] ppid=880 vsize=14093000 memory=3299804 CPUtime=12.7 cores=1,3,5,7
/proc/883/task/887/stat : 887 (java) S 880 883 32634 0 -1 1077944384 37400 0 0 0 1191 79 0 0 20 0 15 0 44249827 14431232000 820462 33554432000 4194304 4196468 140722092537536 139978556574608 139978605016789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29696000 140722092545108 140722092545289 140722092545289 140722092548047 0
[pid=883/tid=888] ppid=880 vsize=14093000 memory=0 CPUtime=12.75 cores=1,3,5,7
/proc/883/task/888/stat : 888 (java) S 880 883 32634 0 -1 1077944384 33160 0 0 0 1198 77 0 0 20 0 15 0 44249827 14431232000 820462 33554432000 4194304 4196468 140722092537536 139978555522064 139978605016789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29696000 140722092545108 140722092545289 140722092545289 140722092548047 0
[pid=883/tid=889] ppid=880 vsize=14093000 memory=3310576 CPUtime=12.71 cores=1,3,5,7
/proc/883/task/889/stat : 889 (java) S 880 883 32634 0 -1 1077944384 33548 0 0 0 1191 80 0 0 20 0 15 0 44249827 14431232000 820462 33554432000 4194304 4196468 140722092537536 139978197888144 139978605016789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29696000 140722092545108 140722092545289 140722092545289 140722092548047 0
[pid=883/tid=893] ppid=880 vsize=14093000 memory=3299804 CPUtime=0.96 cores=1,3,5,7
/proc/883/task/893/stat : 893 (java) S 880 883 32634 0 -1 1077944384 41085 0 0 0 79 17 0 0 20 0 15 0 44249829 14431232000 820462 33554432000 4194304 4196468 140722092537536 139977786562544 139978605017730 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29696000 140722092545108 140722092545289 140722092545289 140722092548047 0
[pid=883/tid=894] ppid=880 vsize=14093000 memory=3291084 CPUtime=0 cores=1,3,5,7
/proc/883/task/894/stat : 894 (java) S 880 883 32634 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 44249829 14431232000 820462 33554432000 4194304 4196468 140722092537536 139977785508832 139978605016789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29696000 140722092545108 140722092545289 140722092545289 140722092548047 0
[pid=883/tid=895] ppid=880 vsize=14093000 memory=3281848 CPUtime=0 cores=1,3,5,7
/proc/883/task/895/stat : 895 (java) S 880 883 32634 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 15 0 44249829 14431232000 820462 33554432000 4194304 4196468 140722092537536 139977784456192 139978605016789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29696000 140722092545108 140722092545289 140722092545289 140722092548047 0
[pid=883/tid=896] ppid=880 vsize=14093000 memory=3291084 CPUtime=0 cores=1,3,5,7
/proc/883/task/896/stat : 896 (java) S 880 883 32634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44249832 14431232000 820462 33554432000 4194304 4196468 140722092537536 139977783404752 139978605025179 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29696000 140722092545108 140722092545289 140722092545289 140722092548047 0
[pid=883/tid=897] ppid=880 vsize=14093000 memory=3232 CPUtime=5.13 cores=1,3,5,7
/proc/883/task/897/stat : 897 (java) S 880 883 32634 0 -1 1077944384 36143 0 0 0 509 4 0 0 20 0 15 0 44249832 14431232000 820462 33554432000 4194304 4196468 140722092537536 139977782352368 139978605017730 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29696000 140722092545108 140722092545289 140722092545289 140722092548047 0
[pid=883/tid=898] ppid=880 vsize=14093000 memory=15868 CPUtime=5.45 cores=1,3,5,7
/proc/883/task/898/stat : 898 (java) S 880 883 32634 0 -1 1077944384 43305 0 0 0 540 5 0 0 20 0 15 0 44249832 14431232000 820462 33554432000 4194304 4196468 140722092537536 139977781299824 139978605017730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29696000 140722092545108 140722092545289 140722092545289 140722092548047 0
[pid=883/tid=900] ppid=880 vsize=14093000 memory=1408 CPUtime=1.85 cores=1,3,5,7
/proc/883/task/900/stat : 900 (java) S 880 883 32634 0 -1 1077944384 52337 0 0 0 179 6 0 0 20 0 15 0 44249832 14431232000 820462 33554432000 4194304 4196468 140722092537536 139977780247280 139978605017730 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29696000 140722092545108 140722092545289 140722092545289 140722092548047 0
[pid=883/tid=901] ppid=880 vsize=14093000 memory=3310064 CPUtime=0 cores=1,3,5,7
/proc/883/task/901/stat : 901 (java) S 880 883 32634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44249832 14431232000 820462 33554432000 4194304 4196468 140722092537536 139977779194976 139978605016789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29696000 140722092545108 140722092545289 140722092545289 140722092548047 0
[pid=883/tid=902] ppid=880 vsize=14093000 memory=3310576 CPUtime=1.33 cores=1,3,5,7
/proc/883/task/902/stat : 902 (java) S 880 883 32634 0 -1 1077944384 2314 0 0 0 57 76 0 0 20 0 15 0 44249832 14431232000 820462 33554432000 4194304 4196468 140722092537536 139977778141488 139978605017730 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29696000 140722092545108 140722092545289 140722092545289 140722092548047 0
Current children cumulated CPU time: 2373.93 s
Current children cumulated vsize: 14093000 KiB
Current children cumulated memory: 3281848 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2347.9 s]
/proc/loadavg: 1.41 1.37 1.46 3/219 1207
/proc/meminfo: memFree=19777248/32770624 swapFree=67108860/67108860
[pid=883] ppid=880 vsize=14093000 memory=3239268 CPUtime=2400.01 cores=1,3,5,7
/proc/883/stat : 883 (java) S 880 883 32634 0 -1 1077944320 508349 0 0 0 239501 500 0 0 20 0 15 0 44249826 14431232000 809817 33554432000 4194304 4196468 140722092537536 140722092520080 139978605006583 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29696000 140722092545108 140722092545289 140722092545289 140722092548047 0
/proc/883/statm: 3523250 809817 3625 1 0 3485321 0
[pid=883/tid=885] ppid=880 vsize=14093000 memory=3239268 CPUtime=2333.64 cores=1,3,5,7
/proc/883/task/885/stat : 885 (java) R 880 883 32634 0 -1 4202560 190514 0 0 0 233272 92 0 0 20 0 15 0 44249826 14431232000 809817 33554432000 4194304 4196468 140722092537536 139978609243744 139978249811488 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29696000 140722092545108 140722092545289 140722092545289 140722092548047 0
[pid=883/tid=886] ppid=880 vsize=14093000 memory=3291084 CPUtime=12.88 cores=1,3,5,7
/proc/883/task/886/stat : 886 (java) S 880 883 32634 0 -1 1077944384 35602 0 0 0 1208 80 0 0 20 0 15 0 44249827 14431232000 809817 33554432000 4194304 4196468 140722092537536 139978557627152 139978605016789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29696000 140722092545108 140722092545289 140722092545289 140722092548047 0
[pid=883/tid=887] ppid=880 vsize=14093000 memory=3299804 CPUtime=12.86 cores=1,3,5,7
/proc/883/task/887/stat : 887 (java) S 880 883 32634 0 -1 1077944384 37744 0 0 0 1207 79 0 0 20 0 15 0 44249827 14431232000 809817 33554432000 4194304 4196468 140722092537536 139978556574608 139978605016789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29696000 140722092545108 140722092545289 140722092545289 140722092548047 0
[pid=883/tid=888] ppid=880 vsize=14093000 memory=3266460 CPUtime=12.9 cores=1,3,5,7
/proc/883/task/888/stat : 888 (java) S 880 883 32634 0 -1 1077944384 33536 0 0 0 1213 77 0 0 20 0 15 0 44249827 14431232000 809817 33554432000 4194304 4196468 140722092537536 139978555522064 139978605016789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29696000 140722092545108 140722092545289 140722092545289 140722092548047 0
[pid=883/tid=889] ppid=880 vsize=14093000 memory=3253120 CPUtime=12.86 cores=1,3,5,7
/proc/883/task/889/stat : 889 (java) S 880 883 32634 0 -1 1077944384 34077 0 0 0 1206 80 0 0 20 0 15 0 44249827 14431232000 809817 33554432000 4194304 4196468 140722092537536 139978197888144 139978605016789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29696000 140722092545108 140722092545289 140722092545289 140722092548047 0
[pid=883/tid=893] ppid=880 vsize=14093000 memory=3245424 CPUtime=0.97 cores=1,3,5,7
/proc/883/task/893/stat : 893 (java) S 880 883 32634 0 -1 1077944384 41257 0 0 0 80 17 0 0 20 0 15 0 44249829 14431232000 809817 33554432000 4194304 4196468 140722092537536 139977786562544 139978605017730 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29696000 140722092545108 140722092545289 140722092545289 140722092548047 0
[pid=883/tid=894] ppid=880 vsize=14093000 memory=3245424 CPUtime=0 cores=1,3,5,7
/proc/883/task/894/stat : 894 (java) S 880 883 32634 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 44249829 14431232000 809817 33554432000 4194304 4196468 140722092537536 139977785508832 139978605016789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29696000 140722092545108 140722092545289 140722092545289 140722092548047 0
[pid=883/tid=895] ppid=880 vsize=14093000 memory=3253120 CPUtime=0 cores=1,3,5,7
/proc/883/task/895/stat : 895 (java) S 880 883 32634 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 15 0 44249829 14431232000 809817 33554432000 4194304 4196468 140722092537536 139977784456192 139978605016789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29696000 140722092545108 140722092545289 140722092545289 140722092548047 0
[pid=883/tid=896] ppid=880 vsize=14093000 memory=3239268 CPUtime=0 cores=1,3,5,7
/proc/883/task/896/stat : 896 (java) S 880 883 32634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44249832 14431232000 809817 33554432000 4194304 4196468 140722092537536 139977783404752 139978605025179 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29696000 140722092545108 140722092545289 140722092545289 140722092548047 0
[pid=883/tid=897] ppid=880 vsize=14093000 memory=3239268 CPUtime=5.13 cores=1,3,5,7
/proc/883/task/897/stat : 897 (java) S 880 883 32634 0 -1 1077944384 36143 0 0 0 509 4 0 0 20 0 15 0 44249832 14431232000 809817 33554432000 4194304 4196468 140722092537536 139977782352368 139978605017730 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29696000 140722092545108 140722092545289 140722092545289 140722092548047 0
[pid=883/tid=898] ppid=880 vsize=14093000 memory=3239268 CPUtime=5.45 cores=1,3,5,7
/proc/883/task/898/stat : 898 (java) S 880 883 32634 0 -1 1077944384 43305 0 0 0 540 5 0 0 20 0 15 0 44249832 14431232000 809817 33554432000 4194304 4196468 140722092537536 139977781299824 139978605017730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29696000 140722092545108 140722092545289 140722092545289 140722092548047 0
[pid=883/tid=900] ppid=880 vsize=14093000 memory=3259276 CPUtime=1.85 cores=1,3,5,7
/proc/883/task/900/stat : 900 (java) S 880 883 32634 0 -1 1077944384 52363 0 0 0 179 6 0 0 20 0 15 0 44249832 14431232000 809817 33554432000 4194304 4196468 140722092537536 139977780247280 139978605017730 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29696000 140722092545108 140722092545289 140722092545289 140722092548047 0
[pid=883/tid=901] ppid=880 vsize=14093000 memory=3245424 CPUtime=0 cores=1,3,5,7
/proc/883/task/901/stat : 901 (java) S 880 883 32634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44249832 14431232000 809817 33554432000 4194304 4196468 140722092537536 139977779194976 139978605016789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29696000 140722092545108 140722092545289 140722092545289 140722092548047 0
[pid=883/tid=902] ppid=880 vsize=14093000 memory=3245424 CPUtime=1.35 cores=1,3,5,7
/proc/883/task/902/stat : 902 (java) S 880 883 32634 0 -1 1077944384 2337 0 0 0 58 77 0 0 20 0 15 0 44249832 14431232000 809817 33554432000 4194304 4196468 140722092537536 139977778141488 139978605017730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29696000 140722092545108 140722092545289 140722092545289 140722092548047 0
Current children cumulated CPU time: 2400.01 s
Current children cumulated vsize: 14093000 KiB
Current children cumulated memory: 3239268 KiB

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

[startup+2347.94 s]
# the end of solver process 883 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2395.04 s, system=5.01823 s

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

[startup+2347.9 s]
/proc/loadavg: 1.41 1.37 1.46 3/219 1207
/proc/meminfo: memFree=19777248/32770624 swapFree=67108860/67108860
[pid=883] ppid=880 vsize=14093000 memory=3239268 CPUtime=2400.01 cores=1,3,5,7
/proc/883/stat : 883 (java) S 880 883 32634 0 -1 1077944320 508349 0 0 0 239501 500 0 0 20 0 15 0 44249826 14431232000 809817 33554432000 4194304 4196468 140722092537536 140722092520080 139978605006583 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29696000 140722092545108 140722092545289 140722092545289 140722092548047 0
/proc/883/statm: 3523250 809817 3625 1 0 3485321 0
[pid=883/tid=885] ppid=880 vsize=14093000 memory=3239268 CPUtime=2333.64 cores=1,3,5,7
/proc/883/task/885/stat : 885 (java) R 880 883 32634 0 -1 4202560 190514 0 0 0 233272 92 0 0 20 0 15 0 44249826 14431232000 809817 33554432000 4194304 4196468 140722092537536 139978609243744 139978249811488 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29696000 140722092545108 140722092545289 140722092545289 140722092548047 0
[pid=883/tid=886] ppid=880 vsize=14093000 memory=3291084 CPUtime=12.88 cores=1,3,5,7
/proc/883/task/886/stat : 886 (java) S 880 883 32634 0 -1 1077944384 35602 0 0 0 1208 80 0 0 20 0 15 0 44249827 14431232000 809817 33554432000 4194304 4196468 140722092537536 139978557627152 139978605016789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29696000 140722092545108 140722092545289 140722092545289 140722092548047 0
[pid=883/tid=887] ppid=880 vsize=14093000 memory=3299804 CPUtime=12.86 cores=1,3,5,7
/proc/883/task/887/stat : 887 (java) S 880 883 32634 0 -1 1077944384 37744 0 0 0 1207 79 0 0 20 0 15 0 44249827 14431232000 809817 33554432000 4194304 4196468 140722092537536 139978556574608 139978605016789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29696000 140722092545108 140722092545289 140722092545289 140722092548047 0
[pid=883/tid=888] ppid=880 vsize=14093000 memory=3266460 CPUtime=12.9 cores=1,3,5,7
/proc/883/task/888/stat : 888 (java) S 880 883 32634 0 -1 1077944384 33536 0 0 0 1213 77 0 0 20 0 15 0 44249827 14431232000 809817 33554432000 4194304 4196468 140722092537536 139978555522064 139978605016789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29696000 140722092545108 140722092545289 140722092545289 140722092548047 0
[pid=883/tid=889] ppid=880 vsize=14093000 memory=3253120 CPUtime=12.86 cores=1,3,5,7
/proc/883/task/889/stat : 889 (java) S 880 883 32634 0 -1 1077944384 34077 0 0 0 1206 80 0 0 20 0 15 0 44249827 14431232000 809817 33554432000 4194304 4196468 140722092537536 139978197888144 139978605016789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29696000 140722092545108 140722092545289 140722092545289 140722092548047 0
[pid=883/tid=893] ppid=880 vsize=14093000 memory=3245424 CPUtime=0.97 cores=1,3,5,7
/proc/883/task/893/stat : 893 (java) S 880 883 32634 0 -1 1077944384 41257 0 0 0 80 17 0 0 20 0 15 0 44249829 14431232000 809817 33554432000 4194304 4196468 140722092537536 139977786562544 139978605017730 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29696000 140722092545108 140722092545289 140722092545289 140722092548047 0
[pid=883/tid=894] ppid=880 vsize=14093000 memory=3245424 CPUtime=0 cores=1,3,5,7
/proc/883/task/894/stat : 894 (java) S 880 883 32634 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 44249829 14431232000 809817 33554432000 4194304 4196468 140722092537536 139977785508832 139978605016789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29696000 140722092545108 140722092545289 140722092545289 140722092548047 0
[pid=883/tid=895] ppid=880 vsize=14093000 memory=3253120 CPUtime=0 cores=1,3,5,7
/proc/883/task/895/stat : 895 (java) S 880 883 32634 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 15 0 44249829 14431232000 809817 33554432000 4194304 4196468 140722092537536 139977784456192 139978605016789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29696000 140722092545108 140722092545289 140722092545289 140722092548047 0
[pid=883/tid=896] ppid=880 vsize=14093000 memory=3239268 CPUtime=0 cores=1,3,5,7
/proc/883/task/896/stat : 896 (java) S 880 883 32634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44249832 14431232000 809817 33554432000 4194304 4196468 140722092537536 139977783404752 139978605025179 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29696000 140722092545108 140722092545289 140722092545289 140722092548047 0
[pid=883/tid=897] ppid=880 vsize=14093000 memory=3239268 CPUtime=5.13 cores=1,3,5,7
/proc/883/task/897/stat : 897 (java) S 880 883 32634 0 -1 1077944384 36143 0 0 0 509 4 0 0 20 0 15 0 44249832 14431232000 809817 33554432000 4194304 4196468 140722092537536 139977782352368 139978605017730 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29696000 140722092545108 140722092545289 140722092545289 140722092548047 0
[pid=883/tid=898] ppid=880 vsize=14093000 memory=3239268 CPUtime=5.45 cores=1,3,5,7
/proc/883/task/898/stat : 898 (java) S 880 883 32634 0 -1 1077944384 43305 0 0 0 540 5 0 0 20 0 15 0 44249832 14431232000 809817 33554432000 4194304 4196468 140722092537536 139977781299824 139978605017730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29696000 140722092545108 140722092545289 140722092545289 140722092548047 0
[pid=883/tid=900] ppid=880 vsize=14093000 memory=3259276 CPUtime=1.85 cores=1,3,5,7
/proc/883/task/900/stat : 900 (java) S 880 883 32634 0 -1 1077944384 52363 0 0 0 179 6 0 0 20 0 15 0 44249832 14431232000 809817 33554432000 4194304 4196468 140722092537536 139977780247280 139978605017730 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29696000 140722092545108 140722092545289 140722092545289 140722092548047 0
[pid=883/tid=901] ppid=880 vsize=14093000 memory=3245424 CPUtime=0 cores=1,3,5,7
/proc/883/task/901/stat : 901 (java) S 880 883 32634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44249832 14431232000 809817 33554432000 4194304 4196468 140722092537536 139977779194976 139978605016789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29696000 140722092545108 140722092545289 140722092545289 140722092548047 0
[pid=883/tid=902] ppid=880 vsize=14093000 memory=3245424 CPUtime=1.35 cores=1,3,5,7
/proc/883/task/902/stat : 902 (java) S 880 883 32634 0 -1 1077944384 2337 0 0 0 58 77 0 0 20 0 15 0 44249832 14431232000 809817 33554432000 4194304 4196468 140722092537536 139977778141488 139978605017730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29696000 140722092545108 140722092545289 140722092545289 140722092548047 0
Current children cumulated CPU time: 2400.01 s
Current children cumulated vsize: 14093000 KiB
Current children cumulated memory: 3239268 KiB

Child status: 143
Real time (s): 2347.94
CPU time (s): 2400.06
CPU user time (s): 2395.04
CPU system time (s): 5.01823
CPU usage (%): 102.22
Max. virtual memory (cumulated for all children) (KiB): 14093000
Max. memory (cumulated for all children) (KiB): 4879024

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2395.04
system time used= 5.01823
maximum resident set size= 4879024
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 508646
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3064
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 69295
involuntary context switches= 3188


# summary of solver processes directly reported to runsolver:
#   pid: 883
#   total CPU time (s): 2400.06
#   total CPU user time (s): 2395.04
#   total CPU system time (s): 5.01823

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.5615 second user time and 19.7152 second system time

The end

Launcher Data 

Begin job on node135 at 2018-07-22 15:41:06
IDJOB=4291926
IDBENCH=141202
IDSOLVER=2746
FILE ID=node135/4291926-1532266866
RUNJOBID= node135-1532262189-32666
PBS_JOBID= 21018977
Free space on /tmp= 52900 MiB

SOLVER NAME= OscaR - Hybrid 2018-07-02
BENCH NAME= XCSP18/Rlfap/Rlfap-opt/Rlfap-scen-10-opt_c18.xml
COMMAND LINE= java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 11000 --nbcore NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4291926-1532266866/watcher-4291926-1532266866 -o /tmp/evaluation-result-4291926-1532266866/solver-4291926-1532266866 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node135-1532262189-32666 --watchdog 2560  java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed 1109663851 --timelimit 2400 --memlimit 11000 --nbcore 4 HOME/instance-4291926-1532266866.xml

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

MD5SUM BENCH= 5aacc3d423af8ffef3990b4c8ed069d4
RANDOM SEED=1109663851

node135.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.50
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.50
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.50
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.50
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:        23373892 kB
MemAvailable:   31939580 kB
Buffers:          160912 kB
Cached:          8608776 kB
SwapCached:            0 kB
Active:          1441156 kB
Inactive:        7384044 kB
Active(anon):       4964 kB
Inactive(anon):    69912 kB
Active(file):    1436192 kB
Inactive(file):  7314132 kB
Unevictable:        7188 kB
Mlocked:            7188 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             35776 kB
Writeback:             0 kB
AnonPages:        231636 kB
Mapped:            36040 kB
Shmem:             17056 kB
Slab:             271220 kB
SReclaimable:     243824 kB
SUnreclaim:        27396 kB
KernelStack:        3840 kB
PageTables:         4956 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     328064 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    178176 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:       93568 kB
DirectMap2M:    33452032 kB

Free space on /tmp at the end= 52864 MiB
End job on node135 at 2018-07-22 16:20:15