Trace number 4308657

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-08-14SAT (TO)279879 2520.07 2469.95

General information on the benchmark

NameRlfap/Rlfap-opt/
Rlfap-graph-12-opt_c18.xml
MD5SUM6121a94880b1ccb1614ec86f716938fa
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark21762
Best CPU time to get the best result obtained on this benchmark2400.18
Satisfiable
(Un)Satisfiability was proved
Number of variables4691
Number of constraints4352
Number of domains11
Minimum domain size2
Maximum domain size44
Distribution of domain sizes[{"size":2,"count":4011},{"size":6,"count":48},{"size":22,"count":40},{"size":24,"count":24},{"size":36,"count":134},{"size":42,"count":50},{"size":44,"count":384}]
Minimum variable degree2
Maximum variable degree20
Distribution of variable degrees[{"degree":2,"count":4011},{"degree":5,"count":1},{"degree":6,"count":2},{"degree":7,"count":6},{"degree":8,"count":15},{"degree":9,"count":39},{"degree":10,"count":66},{"degree":11,"count":85},{"degree":12,"count":119},{"degree":13,"count":112},{"degree":14,"count":103},{"degree":15,"count":59},{"degree":16,"count":45},{"degree":17,"count":21},{"degree":18,"count":4},{"degree":19,"count":1},{"degree":20,"count":2}]
Minimum constraint arity2
Maximum constraint arity176
Distribution of constraint arities[{"arity":2,"count":674},{"arity":3,"count":3677},{"arity":176,"count":1}]
Number of extensional constraints0
Number of intensional constraints4351
Distribution of constraint types[{"type":"intension","count":4351},{"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.67/0.55	c version: 2018-08-14
0.67/0.55	c seed: 1326269152
0.67/0.55	c timeout: 2520
0.67/0.55	c memlimit: 11000
0.67/0.56	c nbcore: 4
0.67/0.58	c Parsing instance...
10.15/5.45	c Parsing done, starting first complete search...
169.41/161.86	o 448623
169.41/161.87	o 447623
169.41/161.87	o 447523
169.41/161.88	o 446523
169.41/161.89	o 446522
169.61/161.90	o 446521
169.61/161.91	o 446520
169.61/161.91	o 446420
169.61/161.92	o 446409
169.61/161.93	o 446310
169.61/161.93	o 446290
169.61/161.94	o 446289
169.61/161.95	o 446288
169.61/161.95	o 445288
169.61/161.96	o 445268
169.61/161.97	o 445267
169.61/161.98	o 445258
169.61/161.99	o 445257
169.61/162.00	o 445249
169.90/162.01	o 445248
169.90/162.02	o 445247
169.90/162.03	o 445168
169.90/162.04	o 445158
169.90/162.05	o 445144
169.90/162.05	o 445143
169.90/162.06	o 445142
169.90/162.06	o 445141
169.90/162.06	o 445140
169.90/162.07	o 445139
169.90/162.07	o 445138
169.90/162.08	o 445128
169.90/162.08	o 445108
169.90/162.09	o 445099
169.90/162.09	o 445010
169.90/162.10	o 444010
170.08/162.11	o 444001
170.08/162.11	o 444000
170.08/162.12	o 443777
170.08/162.13	o 443776
170.08/162.13	o 443775
170.08/162.13	o 443765
170.08/162.14	o 443665
170.08/162.14	o 443565
170.08/162.15	o 443554
170.08/162.15	o 443544
170.08/162.16	o 443524
170.08/162.16	o 443514
170.08/162.16	o 443414
170.08/162.17	o 443404
170.08/162.17	o 443323
170.08/162.18	o 443322
170.08/162.18	o 443222
170.08/162.19	o 443202
170.08/162.19	o 443201
170.08/162.20	o 443112
170.17/162.20	o 442911
170.17/162.21	o 442721
170.17/162.21	o 442720
170.17/162.22	o 442473
170.17/162.23	o 442464
170.17/162.23	o 442463
170.17/162.24	o 442453
170.17/162.25	o 441442
170.17/162.26	o 441441
170.17/162.26	o 441421
170.17/162.27	o 441401
170.17/162.29	o 441333
170.17/162.29	o 441323
170.36/162.30	o 441313
170.36/162.30	o 441312
170.36/162.31	o 441231
170.36/162.31	o 441230
170.36/162.32	o 441210
170.36/162.32	o 441110
170.36/162.33	o 441009
170.36/162.33	o 441008
170.36/162.35	o 440040
170.36/162.35	o 440039
170.36/162.35	o 440029
170.36/162.36	o 440009
170.36/162.38	o 440005
170.36/162.38	o 440004
170.36/162.39	o 440003
170.36/162.39	o 440002
170.36/162.40	o 440001
170.52/162.40	o 439902
170.52/162.41	o 439892
170.52/162.41	o 439793
170.52/162.42	o 439704
170.52/162.42	o 439623
170.52/162.43	o 439622
170.52/162.43	o 439421
170.52/162.44	o 439401
170.52/162.45	o 439210
170.52/162.45	o 439128
170.52/162.46	o 439108
170.52/162.47	o 438631
170.52/162.48	o 438630
170.52/162.48	o 438629
170.52/162.48	o 438529
170.52/162.49	o 438528
170.52/162.49	o 438427
170.64/162.50	o 438426
170.64/162.50	o 438425
170.64/162.51	o 438416
170.64/162.51	o 438415
170.64/162.52	o 438325
170.64/162.53	o 438317
170.64/162.53	o 438316
170.64/162.54	o 438306
170.64/162.54	o 438305
170.64/162.54	o 438296
170.64/162.55	o 438197
170.64/162.56	o 438187
170.64/162.56	o 438088
170.64/162.57	o 438068
170.64/162.58	o 437976
170.64/162.58	o 437975
170.64/162.59	o 437966
170.75/162.65	o 437700
170.75/162.65	o 437699
170.75/162.66	o 437698
170.75/162.66	o 437697
170.75/162.67	o 437686
170.75/162.67	o 437685
170.75/162.68	o 437586
170.75/162.68	o 437566
170.75/162.69	o 437467
170.75/162.69	o 437457
170.86/162.70	o 437358
170.86/162.70	o 437269
170.86/162.71	o 437260
170.86/162.72	o 437160
170.86/162.72	o 437067
170.86/162.73	o 437058
170.86/162.75	o 437057
170.86/162.75	o 437048
170.86/162.78	o 437028
170.86/162.79	o 436977
170.86/162.79	o 436976
170.96/162.80	o 436956
170.96/162.80	o 436955
170.96/162.81	o 436946
170.96/162.83	o 436886
170.96/162.83	o 436885
170.96/162.84	o 436865
170.96/162.85	o 436856
170.96/162.85	o 436756
170.96/162.86	o 436167
170.96/162.87	o 436147
170.96/162.87	o 435957
170.96/162.88	o 435855
171.05/162.90	o 435775
171.05/162.90	o 435774
171.05/162.91	o 435765
171.05/162.94	o 435508
171.05/162.94	o 435507
171.05/162.94	o 435506
171.05/162.95	o 435486
171.05/162.95	o 435485
171.05/162.96	o 435475
171.05/162.96	o 435474
171.05/162.97	o 435375
171.05/162.97	o 435355
171.05/162.98	o 435256
171.05/162.98	o 435246
171.05/162.99	o 435147
171.05/162.99	o 435058
171.05/163.00	o 435038
171.05/163.00	o 434957
171.16/163.01	o 434956
171.16/163.02	o 434775
171.16/163.02	o 434774
171.16/163.03	o 434765
171.65/163.56	o 434759
171.65/163.56	o 434758
171.65/163.57	o 434757
171.65/163.58	o 434657
171.65/163.59	o 434587
171.65/163.59	o 434567
171.65/163.60	o 434566
171.76/163.60	o 434557
171.76/163.62	o 434298
171.76/163.62	o 434198
171.76/163.62	o 434188
171.76/163.63	o 434087
171.76/163.63	o 434086
171.76/163.64	o 434085
171.76/163.64	o 434076
171.76/163.65	o 433977
171.76/163.65	o 433969
171.76/163.66	o 433968
171.76/163.66	o 433778
171.76/163.67	o 433676
171.76/163.68	o 433666
171.76/163.68	o 433665
171.76/163.69	o 433656
171.86/163.73	o 433649
171.86/163.73	o 433648
171.86/163.73	o 433647
171.86/163.74	o 433646
171.86/163.74	o 433636
171.86/163.75	o 433635
171.86/163.75	o 433615
171.86/163.76	o 433595
171.86/163.76	o 433594
171.86/163.76	o 433585
171.86/163.77	o 433575
171.86/163.79	o 433565
172.22/164.07	o 433274
172.22/164.07	o 433174
172.22/164.07	o 433173
172.22/164.08	o 433163
172.22/164.08	o 433162
172.22/164.08	o 433161
172.22/164.09	o 433160
172.22/164.09	o 433150
172.22/164.10	o 433140
172.22/164.10	o 433130
172.22/164.10	o 433120
172.32/164.11	o 433109
172.32/164.11	o 433089
172.32/164.12	o 433082
172.32/164.12	o 433081
172.32/164.13	o 433061
172.32/164.13	o 433060
172.32/164.14	o 433059
172.32/164.14	o 433049
172.32/164.15	o 433048
172.32/164.15	o 433028
172.32/164.16	o 433008
172.32/164.16	o 432909
172.32/164.17	o 432899
172.32/164.17	o 432806
172.32/164.18	o 432797
172.41/164.23	o 432718
172.41/164.23	o 432698
172.41/164.24	o 432687
172.41/164.24	o 432678
172.51/164.32	o 432668
172.51/164.39	o 432596
172.61/164.40	o 432595
172.61/164.40	o 432586
172.61/164.42	o 432585
172.61/164.42	o 432576
172.61/164.44	o 432566
172.82/164.69	o 432087
172.92/164.70	o 432067
172.92/164.70	o 432008
172.92/164.71	o 432007
172.92/164.71	o 431987
172.92/164.72	o 431967
172.92/164.73	o 431887
172.92/164.73	o 431886
172.92/164.73	o 431885
172.92/164.74	o 431786
172.92/164.75	o 431776
172.92/164.78	o 431775
172.92/164.79	o 431766
173.03/164.81	o 431708
173.03/164.81	o 431688
173.03/164.82	o 431588
173.03/164.83	o 430687
173.03/164.86	o 430686
173.03/164.86	o 430676
173.03/164.86	o 430667
173.13/165.00	o 430666
173.24/165.01	o 430657
173.43/165.20	o 430655
173.43/165.21	o 430584
173.43/165.25	o 430574
173.43/165.26	o 430564
173.43/165.29	o 430555
173.73/165.55	o 430500
173.73/165.56	o 430499
173.73/165.56	o 430498
173.73/165.56	o 430478
173.73/165.57	o 430477
173.73/165.57	o 430388
173.73/165.58	o 430289
173.73/165.58	o 430279
173.73/165.59	o 430218
173.73/165.59	o 430217
173.83/165.60	o 430197
173.83/165.60	o 430098
173.83/165.61	o 430088
173.83/165.62	o 429998
173.83/165.62	o 429997
173.83/165.63	o 429988
173.83/165.69	o 429868
173.83/165.69	o 429867
173.93/165.70	o 429857
174.43/166.20	o 429848
174.53/166.31	o 429768
174.53/166.31	o 429767
174.53/166.32	o 429757
177.47/169.24	o 429756
182.17/174.00	o 429708
182.17/174.01	o 429707
182.28/174.01	o 429706
182.28/174.01	o 429696
182.28/174.02	o 429676
182.28/174.02	o 429667
194.15/185.87	o 429658
195.95/187.68	o 429657
200.75/192.41	o 429655
217.87/209.58	o 429630
217.87/209.59	o 429624
217.87/209.59	o 429623
217.87/209.59	o 429622
217.97/209.60	o 429621
217.97/209.60	o 429620
217.97/209.61	o 429619
217.97/209.61	o 429599
217.97/209.62	o 429598
217.97/209.62	o 429578
217.97/209.63	o 429569
217.97/209.64	o 429568
218.07/209.71	o 429567
218.07/209.73	o 429557
218.07/209.79	o 429556
218.07/209.79	o 429555
218.27/209.91	o 429549
218.27/209.92	o 429548
218.27/209.93	o 429546
218.38/210.04	o 429508
218.38/210.04	o 429498
218.38/210.05	o 429497
218.38/210.05	o 429496
218.38/210.06	o 429495
218.38/210.06	o 429494
218.38/210.07	o 429474
218.38/210.07	o 429465
218.38/210.08	o 429455
246.90/238.56	o 429450
246.90/238.57	o 429449
246.90/238.58	o 429439
246.90/238.59	o 429438
246.90/238.59	o 429429
247.00/238.61	o 429418
247.00/238.62	o 429409
247.00/238.67	o 429380
247.00/238.68	o 429370
247.00/238.68	o 429360
247.00/238.69	o 429350
247.00/238.69	o 429349
247.10/238.70	o 429338
247.10/238.71	o 429329
247.10/238.71	o 429327
247.10/238.75	o 429307
247.30/239.00	o 429300
247.41/239.01	o 429289
247.41/239.01	o 429288
247.41/239.01	o 429287
247.41/239.02	o 429219
247.41/239.03	o 429199
247.41/239.03	o 429110
247.41/239.04	o 429011
247.41/239.05	o 429001
247.41/239.06	o 428990
247.41/239.07	o 428920
247.41/239.07	o 428919
247.41/239.08	o 428908
247.51/239.12	o 428839
247.51/239.12	o 428838
247.51/239.12	o 428837
247.51/239.13	o 428836
247.51/239.13	o 428835
247.51/239.14	o 428826
247.51/239.15	o 428816
247.51/239.15	o 428815
247.51/239.16	o 428806
247.51/239.16	o 428728
247.51/239.17	o 428717
247.60/239.22	o 428716
247.60/239.22	o 428715
247.70/239.31	o 428711
247.70/239.31	o 428710
247.70/239.32	o 428708
247.80/239.44	o 428660
247.80/239.45	o 428650
247.80/239.45	o 428649
247.80/239.46	o 428629
247.80/239.46	o 428628
247.80/239.47	o 428619
247.91/239.50	o 428616
247.91/239.50	o 428615
247.91/239.51	o 428606
248.11/239.70	o 428558
248.11/239.70	o 428548
248.11/239.71	o 428538
248.11/239.71	o 428537
248.11/239.72	o 428536
248.11/239.72	o 428527
248.11/239.74	o 428521
248.11/239.74	o 428520
248.11/239.75	o 428507
248.21/239.82	o 428506
250.03/241.66	o 428450
250.03/241.66	o 428449
250.03/241.66	o 428439
250.03/241.67	o 428339
250.03/241.67	o 428338
250.03/241.68	o 428337
250.03/241.68	o 428287
250.03/241.69	o 428267
250.03/241.69	o 428247
250.13/241.70	o 428147
250.13/241.71	o 428146
250.13/241.71	o 428137
250.13/241.72	o 428127
250.13/241.73	o 428126
250.13/241.73	o 428117
250.13/241.75	o 428035
250.13/241.76	o 428015
250.13/241.78	o 427936
250.13/241.79	o 427935
250.23/241.81	o 427915
251.44/243.08	o 427906
251.44/243.08	o 427905
251.44/243.09	o 427896
251.54/243.13	o 427828
251.54/243.14	o 427827
251.54/243.14	o 427817
251.54/243.15	o 427807
251.54/243.15	o 427806
251.54/243.16	o 427804
251.54/243.16	o 427795
251.63/243.21	o 427794
251.63/243.26	o 427707
251.63/243.26	o 427706
251.63/243.26	o 427696
251.73/243.31	o 427695
251.73/243.32	o 427694
251.83/243.46	o 427688
251.83/243.47	o 427687
251.83/243.47	o 427686
251.83/243.48	o 427684
256.33/248.00	o 427648
256.44/248.01	o 427647
256.44/248.01	o 427646
256.44/248.02	o 427636
256.44/248.03	o 427635
256.44/248.03	o 427615
256.44/248.04	o 427595
256.44/248.05	o 427594
264.07/255.65	o 427585
264.87/256.45	c First complete search done, starting ALNS search...
265.82/257.20	o 427485
265.82/257.21	o 427385
265.82/257.22	o 427375
265.82/257.22	o 427365
265.82/257.23	o 427355
265.82/257.24	o 427345
266.35/257.70	o 426617
266.35/257.71	o 426616
266.35/257.71	o 426607
266.35/257.72	o 426606
266.35/257.72	o 426605
266.35/257.73	o 426597
266.35/257.73	o 426596
266.35/257.74	o 426595
266.35/257.76	o 426517
266.35/257.77	o 426507
266.35/257.77	o 426506
266.35/257.78	o 426497
266.35/257.78	o 426496
266.35/257.79	o 426495
266.45/257.80	o 425617
266.45/257.80	o 425607
266.45/257.81	o 425597
266.45/257.81	o 425596
266.45/257.82	o 425517
266.45/257.83	o 425507
266.45/257.83	o 425506
266.45/257.84	o 425497
266.45/257.84	o 425496
266.45/257.85	o 425495
266.45/257.88	o 425487
266.45/257.89	o 425486
266.45/257.89	o 425485
266.56/257.90	o 425417
266.56/257.91	o 425407
266.56/257.92	o 425406
266.56/257.92	o 425397
266.56/257.93	o 425396
266.56/257.93	o 425387
266.56/257.94	o 425386
266.56/257.95	o 425385
269.26/259.47	o 424487
269.26/259.47	o 424486
269.26/259.47	o 424485
269.26/259.48	o 423487
269.26/259.48	o 423486
269.26/259.48	o 423485
269.26/259.48	o 423387
269.26/259.49	o 423386
269.26/259.49	o 423385
269.26/259.49	o 423384
269.26/259.50	o 423383
269.38/259.50	o 422487
269.38/259.50	o 422486
269.38/259.50	o 422485
269.38/259.51	o 422484
269.38/259.51	o 422387
269.38/259.51	o 422386
269.38/259.52	o 422385
269.38/259.52	o 422384
269.38/259.52	o 422383
269.38/259.53	o 422287
269.38/259.53	o 422286
269.38/259.53	o 422285
269.38/259.53	o 422284
269.38/259.54	o 422283
269.38/259.54	o 422277
269.38/259.54	o 422276
269.38/259.55	o 422275
269.38/259.55	o 422274
269.38/259.55	o 422273
269.38/259.56	o 421487
269.38/259.56	o 421486
269.38/259.56	o 421485
269.38/259.57	o 421484
269.38/259.57	o 421477
269.38/259.57	o 421476
269.38/259.58	o 421475
269.38/259.58	o 421474
269.38/259.58	o 421387
269.38/259.59	o 421386
269.38/259.59	o 421385
269.38/259.59	o 421384
269.38/259.60	o 421383
269.50/259.60	o 421377
269.50/259.60	o 421376
269.50/259.60	o 421375
269.50/259.61	o 421374
269.50/259.61	o 421373
269.50/259.61	o 421287
269.50/259.62	o 421277
269.50/259.62	o 421276
269.50/259.62	o 421275
269.50/259.63	o 421274
269.50/259.63	o 421273
269.50/259.64	o 421187
269.50/259.64	o 421186
269.50/259.64	o 421177
269.50/259.65	o 421176
269.50/259.65	o 421175
269.50/259.65	o 421174
269.50/259.66	o 421173
269.50/259.66	o 421087
269.50/259.66	o 421086
269.50/259.67	o 421085
269.50/259.67	o 421077
269.50/259.67	o 421076
269.50/259.68	o 421075
269.50/259.68	o 421074
269.50/259.68	o 421073
269.50/259.69	o 421072
269.50/259.69	o 420986
269.50/259.69	o 420985
269.50/259.70	o 420984
269.59/259.70	o 420976
269.59/259.70	o 420975
269.59/259.71	o 420974
269.59/259.71	o 420973
269.59/259.71	o 420972
269.59/259.72	o 420477
269.59/259.72	o 420377
269.59/259.72	o 420376
269.59/259.73	o 420367
269.59/259.73	o 420366
269.59/259.73	o 420365
269.59/259.74	o 420364
269.59/259.74	o 420277
269.59/259.74	o 420276
269.59/259.74	o 420267
269.59/259.75	o 420266
269.59/259.75	o 420265
269.59/259.75	o 420264
269.59/259.76	o 420177
269.59/259.76	o 420176
269.59/259.76	o 420175
269.59/259.77	o 420167
269.59/259.77	o 420166
269.59/259.77	o 420165
269.59/259.78	o 420164
269.59/259.78	o 420077
269.59/259.78	o 420076
269.59/259.79	o 420075
269.59/259.79	o 420067
269.59/259.79	o 420066
269.59/259.80	o 420065
269.70/259.80	o 420064
269.70/259.80	o 419976
269.70/259.81	o 419966
269.70/259.81	o 419965
269.70/259.81	o 419964
269.70/259.82	o 419963
269.70/259.82	o 419962
269.70/259.82	o 419961
269.70/259.83	o 419876
269.70/259.83	o 419866
269.70/259.84	o 419865
269.70/259.84	o 419864
269.70/259.84	o 419863
269.70/259.85	o 419862
269.70/259.85	o 419861
269.70/259.85	o 419856
269.70/259.86	o 419855
269.70/259.86	o 419854
269.70/259.86	o 419853
269.70/259.87	o 419852
269.70/259.87	o 419851
269.70/259.88	o 419846
269.70/259.88	o 419845
269.70/259.88	o 419844
269.70/259.89	o 419843
269.70/259.89	o 419842
269.70/259.89	o 419766
269.80/259.90	o 419756
269.80/259.90	o 419755
269.80/259.91	o 419754
269.80/259.91	o 419753
269.80/259.91	o 419752
269.80/259.92	o 419751
269.80/259.92	o 419746
269.80/259.93	o 419745
276.32/264.29	o 419743
276.44/264.31	o 419742
276.44/264.33	o 419741
276.44/264.35	o 419733
276.44/264.36	o 419732
276.44/264.38	o 419731
276.56/264.40	o 419730
276.56/264.42	o 419729
276.76/264.61	o 419728
276.76/264.68	o 419725
276.86/264.70	o 419724
276.86/264.72	o 419723
276.86/264.74	o 419722
276.86/264.76	o 419721
276.86/264.78	o 419720
276.96/264.82	o 419653
276.96/264.83	o 419652
276.96/264.85	o 419651
276.96/264.86	o 419650
276.96/264.88	o 419649
277.06/264.90	o 419643
277.06/264.91	o 419642
277.06/264.93	o 419641
277.06/264.95	o 419640
277.06/264.97	o 419639
277.06/264.98	o 419633
277.06/265.00	o 419632
277.17/265.02	o 419631
277.17/265.03	o 419630
277.17/265.05	o 419629
277.17/265.09	o 419628
277.36/265.22	o 419627
277.66/265.53	o 419055
277.66/265.55	o 419045
277.66/265.57	o 419044
277.66/265.60	o 418945
277.76/265.61	o 418935
277.76/265.63	o 418934
277.76/265.66	o 418933
277.76/265.69	o 418845
277.87/265.70	o 418844
277.87/265.73	o 418843
277.87/265.75	o 418835
277.87/265.77	o 418834
277.87/265.80	o 418833
277.96/265.82	o 418832
277.96/265.85	o 418745
277.96/265.87	o 418744
277.96/265.89	o 418735
278.07/265.91	o 418734
278.07/265.93	o 418733
278.07/265.95	o 418732
278.07/265.98	o 418731
278.26/266.01	o 418725
278.26/266.03	o 418724
278.26/266.05	o 418723
278.26/266.07	o 418722
278.26/266.09	o 418721
278.38/266.12	o 418720
278.38/266.14	o 418719
278.38/266.18	o 418653
278.47/266.20	o 418652
278.47/266.22	o 418643
278.47/266.23	o 418642
278.47/266.25	o 418641
278.47/266.26	o 418640
278.47/266.28	o 418639
278.57/266.30	o 418633
278.57/266.32	o 418632
278.57/266.33	o 418631
278.57/266.35	o 418630
278.57/266.37	o 418629
278.57/266.39	o 418628
278.68/266.46	o 418627
279.62/267.30	o 417627
279.62/267.35	o 416627
279.72/267.41	o 416617
279.72/267.46	o 416527
279.85/267.51	o 416517
279.85/267.57	o 416427
280.35/267.83	o 415827
280.35/267.84	o 415727
281.30/268.70	o 415708
281.30/268.76	o 415707
281.41/268.82	o 415706
281.41/268.88	o 415688
281.53/268.94	o 415687
287.55/274.77	o 415631
287.55/274.79	o 415630
287.67/274.81	o 415629
287.67/274.85	o 415531
287.67/274.87	o 415530
287.77/274.90	o 415529
287.77/274.97	o 415521
287.77/275.00	o 415520
297.31/284.39	o 415430
297.41/284.41	o 414430
297.41/284.42	o 414429
297.41/284.43	o 414419
297.54/284.51	o 414409
297.54/284.51	o 414408
297.54/284.52	o 414398
297.74/284.76	o 413830
297.74/284.79	o 413829
297.85/284.83	o 413828
297.85/284.86	o 413820
297.85/284.89	o 413819
297.95/284.93	o 413818
297.95/284.98	o 413817
298.06/285.01	o 412829
298.06/285.04	o 412828
298.06/285.08	o 412819
298.16/285.11	o 412818
298.16/285.14	o 412817
298.16/285.19	o 411829
298.25/285.22	o 411828
298.25/285.25	o 411819
298.25/285.28	o 411818
298.35/285.32	o 411817
298.46/285.41	o 411716
298.46/285.44	o 411715
298.46/285.46	o 411615
298.46/285.49	o 411605
298.65/285.52	o 410817
298.65/285.54	o 410807
298.65/285.57	o 410716
298.75/285.60	o 410706
298.75/285.63	o 410615
298.75/285.65	o 410605
298.75/285.68	o 410515
298.85/285.71	o 410505
299.49/286.36	o 410427
299.59/286.42	o 410417
300.12/286.68	o 410416
300.45/286.72	o 410415
300.45/286.78	o 410414
300.55/286.84	o 410413
300.65/286.90	o 410412
300.65/286.96	o 410411
300.76/287.04	o 410404
300.76/287.10	o 410403
300.86/287.16	o 410402
300.95/287.23	o 410401
300.95/287.29	o 410400
301.46/287.71	o 410321
301.46/287.74	o 410320
301.46/287.76	o 410220
301.46/287.78	o 410120
301.57/287.82	o 410119
301.57/287.88	o 410020
301.67/287.92	o 410019
301.67/287.98	o 410010
301.77/288.02	o 410009
301.77/288.07	o 409521
301.77/288.09	o 409421
301.87/288.12	o 409321
301.87/288.14	o 409311
301.87/288.17	o 409310
301.87/288.19	o 409220
301.96/288.21	o 409210
301.96/288.24	o 409120
301.96/288.26	o 409110
301.96/288.29	o 409020
302.07/288.32	o 409010
302.07/288.35	o 409009
302.17/288.48	o 409000
302.27/288.53	o 408999
302.37/288.62	o 408990
302.47/288.73	o 408989
302.47/288.80	o 408521
302.57/288.83	o 408511
302.57/288.87	o 408501
302.66/288.91	o 408491
302.66/288.95	o 408421
302.66/288.97	o 408411
302.66/289.00	o 408401
302.77/289.04	o 408391
302.77/289.08	o 408321
302.87/289.11	o 408311
302.87/289.15	o 408301
302.87/289.18	o 408291
302.96/289.22	o 408290
302.96/289.26	o 408220
303.06/289.30	o 408210
303.06/289.33	o 408200
303.06/289.37	o 408190
303.16/289.42	o 408120
303.16/289.46	o 408110
303.16/289.49	o 408100
303.26/289.52	o 408090
303.26/289.57	o 408020
303.36/289.60	o 408010
303.65/289.72	o 408000
303.65/289.75	o 407990
303.82/289.80	o 407989
303.82/289.89	o 407421
303.92/290.00	o 407320
304.03/290.04	o 407310
304.03/290.08	o 407300
304.13/290.12	o 407220
304.13/290.15	o 407210
304.13/290.19	o 407200
304.22/290.23	o 407120
304.22/290.26	o 407110
304.22/290.30	o 407100
304.32/290.33	o 407020
304.32/290.36	o 407010
304.32/290.39	o 407000
304.42/290.43	o 406990
304.72/290.74	o 406920
304.72/290.76	o 406910
304.82/290.80	o 406900
304.82/290.84	o 406890
304.82/290.89	o 406889
305.03/291.03	o 406828
305.03/291.05	o 406818
305.03/291.08	o 406808
305.13/291.12	o 406798
305.13/291.17	o 406728
305.22/291.20	o 406718
305.22/291.23	o 406708
305.22/291.25	o 406698
305.42/291.44	o 406697
306.53/292.55	o 406648
306.53/292.57	o 406638
306.63/292.60	o 406628
306.63/292.62	o 406618
307.30/293.01	o 406617
307.80/293.54	o 406616
308.09/293.86	o 406608
308.19/293.90	o 406607
308.49/294.21	o 406606
309.42/295.14	o 405606
309.42/295.16	o 405595
309.42/295.18	o 405594
309.51/295.21	o 405506
309.51/295.23	o 405495
309.51/295.26	o 405494
309.51/295.28	o 405486
309.61/295.30	o 405475
309.61/295.32	o 405474
310.05/295.80	o 405385
310.16/295.82	o 405384
310.16/295.84	o 405374
310.27/296.00	o 404474
310.74/296.12	o 404464
322.74/307.63	o 403661
322.84/307.70	o 403660
322.84/307.77	o 403659
322.94/307.84	o 403561
323.18/308.00	o 403560
323.42/308.07	o 403559
323.52/308.13	o 403551
323.61/308.20	o 403550
323.61/308.27	o 403549
323.81/308.42	o 403548
323.91/308.55	o 403547
324.11/308.72	o 403541
324.11/308.79	o 403540
324.21/308.87	o 403539
324.31/308.95	o 403538
324.61/309.22	o 403537
324.61/309.29	o 403536
324.71/309.40	o 403530
324.81/309.47	o 403529
324.91/309.53	o 403528
325.01/309.60	o 403527
325.11/309.72	o 403521
325.11/309.78	o 403520
325.21/309.85	o 403519
325.31/309.92	o 403518
325.81/310.45	o 402770
325.91/310.52	o 402769
325.91/310.59	o 402750
326.01/310.66	o 402749
326.11/310.72	o 402740
326.11/310.79	o 402739
326.21/310.86	o 402670
326.31/310.93	o 402669
326.31/311.00	o 402650
326.42/311.06	o 402649
326.52/311.13	o 402640
326.52/311.19	o 402639
326.61/311.28	o 402638
326.71/311.36	o 402637
326.81/311.45	o 402570
326.91/311.52	o 402550
327.01/311.60	o 402540
327.01/311.68	o 402539
327.47/311.84	o 402538
327.57/311.93	o 402537
327.67/312.02	o 402530
327.67/312.08	o 402529
327.77/312.15	o 402528
327.87/312.29	o 402521
327.97/312.36	o 402520
328.07/312.43	o 402519
328.17/312.58	o 402518
328.78/313.19	o 402481
328.87/313.26	o 402480
328.97/313.33	o 402471
329.07/313.40	o 402470
329.07/313.49	o 402469
329.17/313.57	o 402468
329.27/313.66	o 402461
329.37/313.72	o 402460
329.37/313.79	o 402459
329.57/313.91	o 402458
329.57/313.98	o 402457
329.68/314.08	o 402450
329.78/314.15	o 402449
329.87/314.23	o 402448
330.07/314.45	o 402447
330.27/314.62	o 402441
330.37/314.70	o 402440
330.37/314.77	o 402439
330.47/314.88	o 402438
331.27/315.64	o 401880
331.37/315.71	o 401879
331.37/315.79	o 401780
331.46/315.87	o 401779
331.56/315.94	o 401680
331.84/316.10	o 401679
332.02/316.18	o 401678
332.11/316.26	o 401670
332.21/316.32	o 401669
332.31/316.40	o 401668
332.31/316.48	o 401667
332.41/316.57	o 401580
332.51/316.65	o 401579
332.61/316.73	o 401578
332.71/316.80	o 401570
332.71/316.87	o 401569
332.81/316.94	o 401568
332.92/317.03	o 401567
333.02/317.12	o 401561
333.02/317.19	o 401560
333.11/317.26	o 401559
333.21/317.33	o 401558
333.31/317.42	o 401552
333.31/317.49	o 401551
333.41/317.56	o 401550
333.51/317.62	o 401549
333.61/317.72	o 401542
333.61/317.79	o 401541
333.71/317.85	o 401540
334.11/318.30	o 401330
334.32/318.46	o 401230
334.52/318.63	o 400330
334.62/318.79	o 400230
335.02/319.16	o 399330
335.97/319.92	o 398330
337.86/321.55	o 398320
337.86/321.58	o 398310
337.86/321.60	o 397330
337.96/321.62	o 397320
337.96/321.64	o 397310
338.56/322.22	o 396840
338.56/322.24	o 396830
338.56/322.26	o 396829
338.56/322.28	o 396730
338.66/322.30	o 396729
338.66/322.32	o 396720
338.66/322.34	o 396719
338.66/322.36	o 396620
338.66/322.38	o 396610
338.76/322.40	o 396609
338.76/322.42	o 396520
338.76/322.44	o 396519
338.76/322.46	o 396510
338.76/322.48	o 396509
338.86/322.50	o 396508
338.86/322.52	o 396499
338.86/322.54	o 396498
338.96/322.67	o 395831
338.96/322.69	o 395830
339.06/322.71	o 395821
339.06/322.73	o 395820
339.06/322.76	o 395721
339.06/322.78	o 395720
339.16/322.80	o 395711
339.16/322.82	o 395710
339.16/322.84	o 395621
339.16/322.86	o 395620
339.16/322.88	o 395611
339.26/322.90	o 395610
339.26/322.93	o 395609
339.26/322.96	o 395600
339.26/322.98	o 395599
339.37/323.07	o 395511
339.37/323.08	o 395501
339.47/323.11	o 395500
339.47/323.13	o 395499
339.47/323.16	o 395490
339.47/323.17	o 395489
340.47/324.16	o 395488
340.96/324.68	o 395479
341.06/324.71	o 395478
341.57/325.08	o 395390
341.57/325.10	o 395389
341.71/325.12	o 395388
341.71/325.19	o 395379
341.80/325.21	o 395378
341.80/325.25	o 394820
341.80/325.27	o 394819
341.80/325.29	o 394710
341.90/325.31	o 394709
341.90/325.33	o 394708
341.90/325.36	o 394600
341.90/325.38	o 394599
342.00/325.40	o 394598
342.00/325.43	o 394500
342.00/325.44	o 394499
342.00/325.46	o 394498
342.00/325.49	o 394497
342.10/325.52	o 394489
342.10/325.55	o 394488
342.10/325.57	o 394487
342.20/325.68	o 394478
342.30/325.70	o 394477
343.30/326.71	o 394411
343.30/326.72	o 394410
343.30/326.75	o 394409
343.30/326.79	o 394408
343.40/326.83	o 394400
343.40/326.84	o 394399
343.40/326.86	o 394398
343.50/326.95	o 394389
343.50/326.98	o 394388
344.30/327.72	o 394311
344.30/327.74	o 394310
344.30/327.76	o 394309
344.30/327.79	o 394300
344.40/327.81	o 394299
345.40/328.87	o 394298
345.61/329.07	o 394289
345.61/329.10	o 394288
346.92/330.19	o 394202
347.01/330.21	o 394201
347.01/330.23	o 394193
347.01/330.25	o 394192
347.01/330.27	o 394092
347.01/330.29	o 394091
347.11/330.31	o 394090
347.11/330.33	o 393711
347.11/330.35	o 393710
347.11/330.37	o 393611
347.11/330.38	o 393610
347.21/330.40	o 393601
347.21/330.42	o 393501
347.21/330.45	o 393500
347.21/330.47	o 393412
347.21/330.49	o 393411
347.31/330.51	o 393402
347.31/330.52	o 393401
347.31/330.54	o 393302
347.31/330.56	o 393301
347.31/330.59	o 393202
347.41/330.61	o 393201
347.41/330.65	o 393200
347.41/330.66	o 393191
347.41/330.69	o 393190
347.51/330.72	o 393189
348.21/331.48	o 393180
348.31/331.50	o 393179
349.01/332.21	o 393170
349.01/332.23	o 393169
349.01/332.25	o 393168
349.11/332.38	o 393159
349.21/332.40	o 393158
349.21/332.45	o 393081
349.21/332.46	o 393080
349.21/332.49	o 393079
349.31/332.57	o 393070
349.31/332.59	o 393069
350.82/334.06	o 392979
350.82/334.09	o 392969
350.95/334.12	o 392079
350.95/334.15	o 392069
350.95/334.17	o 391979
350.95/334.20	o 391969
351.04/334.23	o 391079
351.04/334.25	o 391069
351.25/334.34	o 390979
351.25/334.36	o 390969
351.44/334.40	o 390079
351.44/334.43	o 389979
351.44/334.47	o 389969
351.44/334.49	o 389959
351.54/334.52	o 389069
351.54/334.54	o 389059
351.54/334.57	o 388969
351.54/334.60	o 388959
351.75/334.75	o 388949
351.75/334.79	o 387959
351.88/334.83	o 387949
351.99/334.90	o 387940
351.99/334.94	o 387939
351.99/334.98	o 387850
352.09/335.01	o 387849
352.09/335.05	o 387840
352.09/335.08	o 387839
352.19/335.13	o 386950
352.19/335.17	o 386940
352.29/335.20	o 386850
352.29/335.24	o 386840
352.29/335.29	o 386839
352.39/335.33	o 386750
352.39/335.38	o 386749
352.49/335.42	o 386740
352.49/335.45	o 386739
352.59/335.50	o 385960
352.59/335.54	o 385950
352.59/335.58	o 385860
352.69/335.62	o 385850
352.69/335.67	o 384960
352.79/335.70	o 384950
352.79/335.74	o 384860
352.79/335.78	o 384850
352.89/335.83	o 384849
354.02/336.90	o 384799
354.02/336.93	o 384789
354.02/337.00	o 384787
354.13/337.06	o 384697
354.23/337.12	o 384687
354.23/337.19	o 383697
354.32/337.24	o 383677
354.32/337.28	o 383667
354.52/337.40	o 383666
354.83/337.80	o 381656
355.03/338.00	o 381556
355.24/338.19	o 380646
355.53/338.40	o 380546
356.25/339.17	o 380536
356.40/339.29	o 380245
356.65/339.32	o 379245
356.65/339.36	o 379235
356.75/339.40	o 379225
357.05/339.78	o 379125
357.35/340.01	o 378225
357.54/340.24	o 378125
357.85/340.52	o 378115
358.05/340.74	o 377215
358.25/340.96	o 377115
358.54/341.24	o 377114
358.54/341.27	o 377113
374.31/356.43	o 377015
374.31/356.47	o 376916
374.41/356.51	o 376897
374.41/356.55	o 376106
374.63/356.73	o 376096
374.63/356.77	o 376095
374.83/356.91	o 376094
374.83/356.93	o 376084
374.83/356.97	o 376083
375.79/357.81	o 376073
375.79/357.84	o 376063
375.79/357.89	o 375083
375.89/357.93	o 375063
375.89/357.97	o 374983
376.00/358.01	o 374963
376.00/358.04	o 373983
376.00/358.07	o 373963
376.10/358.13	o 372994
376.10/358.18	o 372984
376.19/358.23	o 372964
376.39/358.41	o 372963
376.82/358.89	o 372865
376.94/358.94	o 372774
376.94/358.98	o 372674
377.05/359.02	o 372575
377.05/359.07	o 372574
377.15/359.11	o 372475
377.15/359.16	o 372474
377.64/359.65	o 371494
377.74/359.72	o 371485
377.94/359.95	o 371395
377.94/360.00	o 371394
378.15/360.12	o 370505
378.24/360.20	o 370406
378.24/360.25	o 370405
378.34/360.35	o 370396
378.44/360.49	o 370388
378.54/360.53	o 370387
378.84/360.81	o 370386
378.84/360.88	o 370385
378.94/360.95	o 370377
379.05/361.01	o 370376
379.05/361.09	o 370368
379.15/361.15	o 370367
381.62/363.52	o 370267
381.82/363.74	o 370167
383.52/365.41	o 370157
386.37/368.26	o 369157
386.77/368.68	o 369057
387.47/369.31	o 368957
388.18/370.08	o 368147
388.37/370.28	o 368047
388.67/370.52	o 367947
388.87/370.76	o 367847
390.14/371.97	o 367747
390.53/372.39	o 367147
390.73/372.59	o 367047
391.03/372.82	o 366947
391.24/373.06	o 366847
391.53/373.31	o 366747
392.13/373.99	o 366737
392.63/374.48	o 366047
392.93/374.70	o 365947
393.13/374.93	o 365847
393.34/375.16	o 365837
393.53/375.39	o 365747
393.83/375.63	o 365737
394.13/375.95	o 365647
394.34/376.17	o 365637
394.99/376.77	o 365547
395.19/376.97	o 365537
397.59/379.30	o 365447
397.79/379.53	o 365437
398.30/380.01	o 365427
398.49/380.26	o 365337
398.79/380.50	o 365327
399.16/380.82	o 365237
399.37/381.06	o 365227
399.87/381.58	o 365219
399.97/381.61	o 365217
400.17/381.89	o 365216
400.27/381.92	o 365215
400.38/382.05	o 365205
400.48/382.12	o 365204
400.48/382.19	o 364514
400.58/382.26	o 364513
400.88/382.50	o 363714
400.88/382.55	o 363704
400.88/382.60	o 363614
400.98/382.63	o 363604
400.98/382.68	o 363603
401.08/382.74	o 363513
401.08/382.77	o 363503
401.18/382.87	o 363502
401.28/382.93	o 363403
401.28/382.96	o 363402
401.39/383.02	o 363401
419.33/400.79	o 363399
419.43/400.90	o 363398
419.93/401.39	o 363397
420.13/401.53	o 363396
420.23/401.68	o 363389
420.33/401.79	o 363379
420.43/401.87	o 363369
420.53/401.94	o 363289
420.64/402.01	o 363279
420.64/402.08	o 363269
421.03/402.50	o 363069
421.13/402.56	o 363059
421.86/403.23	o 363058
422.37/403.74	o 363057
423.22/404.53	o 362368
425.73/407.07	o 361790
425.83/407.16	o 361789
425.92/407.26	o 361780
426.02/407.34	o 361779
426.12/407.45	o 361690
426.22/407.55	o 361680
426.32/407.65	o 361679
426.42/407.76	o 361670
426.52/407.84	o 361669
426.62/407.96	o 361660
426.73/408.03	o 361659
426.83/408.15	o 361590
426.92/408.25	o 361580
427.02/408.36	o 361570
427.12/408.47	o 361560
427.22/408.58	o 361559
427.42/408.73	o 361558
427.55/408.89	o 361557
427.76/409.07	o 360690
427.86/409.15	o 360689
427.95/409.22	o 360680
428.05/409.30	o 360679
428.05/409.39	o 360670
428.15/409.48	o 360669
428.25/409.57	o 360668
428.35/409.67	o 360590
428.45/409.76	o 360589
428.55/409.84	o 360588
428.65/409.93	o 360580
428.76/410.01	o 360579
428.76/410.09	o 360578
428.86/410.17	o 360570
428.95/410.24	o 360569
429.05/410.33	o 360568
429.15/410.43	o 360560
429.25/410.51	o 360559
429.25/410.59	o 360558
429.45/410.74	o 360557
429.65/410.91	o 360490
429.65/410.99	o 360480
429.76/411.07	o 360479
429.86/411.16	o 360470
429.95/411.24	o 360469
430.05/411.33	o 360468
430.15/411.43	o 360460
430.25/411.50	o 360459
430.25/411.58	o 360458
430.45/411.71	o 360457
430.55/411.81	o 360449
430.55/411.88	o 360448
430.65/411.97	o 360447
430.86/412.16	o 360446
438.03/419.20	o 360390
438.03/419.29	o 360389
438.13/419.38	o 360380
438.23/419.45	o 360379
438.33/419.55	o 360370
438.43/419.65	o 360369
438.53/419.74	o 360368
438.63/419.85	o 360360
438.73/419.95	o 360359
438.83/420.04	o 360358
438.93/420.15	o 360357
439.03/420.28	o 360349
439.13/420.35	o 360348
439.23/420.42	o 360347
439.33/420.54	o 360346
443.48/424.66	o 360345
443.69/424.80	o 360344
443.69/424.86	o 360245
443.79/424.92	o 360244
443.90/425.08	o 360234
444.00/425.12	o 360233
444.09/425.20	o 360144
444.09/425.25	o 360134
444.19/425.30	o 360133
444.39/425.57	o 360132
444.49/425.67	o 360124
444.59/425.71	o 360123
446.30/427.31	o 359891
446.40/427.44	o 359791
446.50/427.57	o 359790
446.70/427.72	o 359691
446.81/427.86	o 359690
446.91/428.00	o 359671
447.12/428.13	o 359670
447.25/428.29	o 359651
447.45/428.41	o 359650
447.55/428.54	o 359641
447.65/428.66	o 359640
447.95/428.95	o 359630
449.32/430.21	o 358731
449.32/430.27	o 358631
449.42/430.33	o 358531
449.52/430.48	o 358441
449.62/430.54	o 358440
449.83/430.72	o 358439
449.83/430.79	o 358438
450.63/431.58	o 358437
453.69/434.44	o 358348
453.69/434.48	o 358338
453.79/434.52	o 358337
453.79/434.56	o 358336
453.89/434.62	o 358335
453.99/434.72	o 357636
453.99/434.75	o 357536
454.09/434.80	o 357535
454.49/435.28	o 356626
454.59/435.31	o 356526
454.59/435.36	o 356525
454.69/435.46	o 356425
454.79/435.50	o 355625
454.79/435.54	o 355525
454.99/435.75	o 355425
455.19/435.94	o 355346
455.19/435.98	o 355336
455.30/436.02	o 355326
455.30/436.07	o 355316
455.40/436.12	o 355247
477.12/457.65	o 355047
477.87/458.37	o 355038
477.97/458.41	o 355037
478.07/458.56	o 355036
485.95/466.39	o 354836
486.35/466.79	o 354826
488.58/468.96	o 354736
488.98/469.33	o 354726
489.38/469.75	o 354636
489.79/470.12	o 354626
490.18/470.51	o 354536
490.48/470.88	o 354526
498.75/479.07	o 354436
499.14/479.41	o 354426
499.34/479.61	o 354417
499.34/479.67	o 353626
499.44/479.73	o 353616
499.44/479.79	o 353527
499.54/479.84	o 353517
499.64/479.90	o 353427
499.64/479.97	o 353417
511.53/491.73	o 352317
516.15/496.36	o 351307
516.55/496.73	o 350207
517.37/497.55	o 350197
519.17/499.36	o 350097
519.57/499.79	o 350087
520.93/501.08	o 349974
521.03/501.14	o 349874
521.12/501.22	o 349873
521.43/501.53	o 348974
521.53/501.60	o 348874
521.53/501.67	o 348873
522.57/502.67	o 348782
522.67/502.72	o 348772
522.77/502.88	o 348771
522.97/503.10	o 347882
523.07/503.14	o 347782
523.17/503.20	o 347781
523.27/503.30	o 347773
523.27/503.33	o 347772
523.27/503.38	o 347771
523.47/503.52	o 347683
523.47/503.56	o 347682
523.57/503.64	o 347673
523.57/503.68	o 347672
523.87/503.94	o 347671
523.97/504.08	o 347670
524.48/504.53	o 347669
525.58/505.65	o 346699
525.68/505.74	o 346679
525.78/505.83	o 346669
526.18/506.22	o 346668
526.99/507.10	o 346658
527.28/507.33	o 346648
527.48/507.50	o 345968
527.59/507.61	o 345868
527.69/507.73	o 345848
527.82/507.86	o 345768
527.92/507.96	o 345748
528.02/508.09	o 345668
528.12/508.19	o 345648
528.42/508.40	o 345638
528.72/508.76	o 345628
529.52/509.52	o 345627
529.62/509.61	o 345530
529.62/509.64	o 345529
529.62/509.70	o 345528
531.72/511.73	o 345521
531.72/511.75	o 345520
531.72/511.78	o 345519
531.83/511.84	o 345512
531.83/511.86	o 345511
531.93/511.91	o 345510
531.93/511.96	o 345509
532.73/512.80	o 345439
532.83/512.84	o 345429
532.93/512.91	o 345419
532.93/512.99	o 345339
533.08/513.05	o 345329
533.08/513.10	o 345319
533.18/513.18	o 345239
533.27/513.22	o 345229
533.27/513.25	o 345219
533.37/513.32	o 345209
533.47/513.43	o 345208
550.42/530.29	o 345207
550.93/530.73	o 345206
551.43/531.22	o 345205
552.03/531.81	o 345204
552.53/532.37	o 345203
553.24/533.05	o 345202
557.01/534.69	o 344322
557.11/534.75	o 344222
557.42/535.08	o 344212
557.53/535.18	o 344202
557.72/535.30	o 344201
557.72/535.34	o 344191
560.92/538.51	o 344091
564.07/541.53	o 343412
564.17/541.61	o 343411
564.17/541.70	o 343402
564.27/541.78	o 343401
565.47/542.93	o 342609
566.58/544.10	o 342510
566.87/544.34	o 342509
566.97/544.45	o 342410
574.64/552.01	o 342409
574.93/552.33	o 342408
576.04/553.44	o 342318
576.24/553.67	o 342317
580.96/558.32	o 342316
581.16/558.54	o 342315
581.56/558.90	o 342309
581.77/559.11	o 342308
581.96/559.32	o 342307
582.16/559.53	o 342306
582.38/559.77	o 342299
582.58/559.96	o 342298
582.79/560.14	o 342297
582.98/560.35	o 342296
583.38/560.79	o 342288
583.58/561.00	o 342287
583.88/561.24	o 342286
584.38/561.77	o 342279
584.58/561.95	o 342278
584.79/562.16	o 342277
585.08/562.43	o 342268
586.19/563.53	o 342168
601.66/578.96	o 341168
607.93/585.17	o 341078
608.12/585.31	o 341068
608.62/585.84	o 340369
608.72/585.92	o 340269
608.83/586.03	o 340169
608.93/586.11	o 340069
611.52/588.71	o 339973
611.62/588.82	o 339972
611.72/588.93	o 339971
611.83/589.05	o 339970
613.34/590.55	o 339969
613.95/591.11	o 339879
614.14/591.34	o 339878
614.44/591.61	o 339877
615.64/592.88	o 339859
615.85/593.09	o 339858
616.14/593.38	o 339857
623.21/600.35	o 339850
623.31/600.40	o 339849
623.31/600.46	o 339848
623.41/600.52	o 339761
623.41/600.58	o 339760
623.51/600.63	o 339759
623.51/600.69	o 339750
623.61/600.74	o 339749
623.61/600.78	o 339748
623.71/600.89	o 339747
624.31/601.41	o 339660
624.31/601.47	o 339650
624.41/601.56	o 339649
624.51/601.68	o 339640
624.61/601.77	o 339639
624.81/601.93	o 339638
625.02/602.11	o 339637
625.11/602.27	o 339631
625.21/602.31	o 339630
625.21/602.38	o 339629
625.41/602.51	o 339560
625.41/602.58	o 339559
625.51/602.69	o 339550
625.71/602.82	o 339549
625.81/602.93	o 339540
625.81/602.99	o 339539
626.02/603.15	o 339538
626.21/603.30	o 339537
626.31/603.43	o 339529
626.41/603.55	o 339528
626.51/603.68	o 339527
626.61/603.80	o 339526
630.44/607.57	o 339492
630.64/607.73	o 339491
630.84/607.97	o 339482
631.05/608.13	o 339481
631.24/608.37	o 339480
631.44/608.56	o 339479
631.64/608.75	o 339470
631.84/608.92	o 339469
632.05/609.15	o 339468
632.24/609.39	o 339467
633.09/610.19	o 339459
633.20/610.28	o 339458
633.30/610.36	o 339457
633.50/610.51	o 339369
633.50/610.59	o 339368
633.70/610.71	o 337560
633.80/610.80	o 337460
633.90/610.90	o 337360
634.01/611.03	o 336457
634.11/611.12	o 336357
634.20/611.27	o 336257
637.20/614.25	o 336250
637.40/614.41	o 336249
637.50/614.59	o 336248
637.83/614.87	o 336237
638.04/615.09	o 336236
641.94/618.94	o 336226
643.42/620.35	o 336216
643.72/620.61	o 336215
646.52/623.45	o 336206
646.62/623.52	o 336196
646.72/623.69	o 336195
646.92/623.84	o 336194
648.56/625.48	o 336193
648.76/625.62	o 336192
648.86/625.74	o 336126
648.96/625.84	o 336125
649.06/625.93	o 336124
649.26/626.18	o 336106
649.36/626.28	o 336105
649.46/626.38	o 336104
649.66/626.50	o 336096
649.66/626.57	o 336095
649.76/626.68	o 336094
653.49/630.38	o 336085
653.69/630.57	o 336075
653.89/630.79	o 336074
655.90/632.70	o 335982
656.00/632.89	o 335882
656.22/633.09	o 335862
656.51/633.30	o 335852
657.01/633.85	o 335851
657.22/634.02	o 335850
657.41/634.22	o 335841
657.51/634.39	o 335840
658.11/634.96	o 335831
658.32/635.13	o 335830
666.49/643.27	o 335829
666.89/643.69	o 335820
667.40/644.16	o 335720
688.74/665.35	o 335332
688.84/665.44	o 335032
688.94/665.56	o 335031
689.14/665.75	o 335022
689.27/665.85	o 335021
689.37/665.98	o 334132
689.58/666.15	o 334131
689.77/666.31	o 334122
689.87/666.46	o 334121
690.07/666.65	o 334032
690.17/666.79	o 334031
690.37/666.94	o 334022
690.48/667.06	o 334021
690.87/667.49	o 333921
691.17/667.76	o 333920
710.12/686.42	o 333910
749.14/725.14	o 333841
749.43/725.42	o 333831
749.73/725.75	o 333821
749.93/725.99	o 333811
750.45/726.47	o 333810
752.26/728.28	o 333624
752.46/728.42	o 333623
752.56/728.55	o 333622
753.77/729.78	o 333534
754.08/730.01	o 333433
754.27/730.28	o 333432
759.99/735.90	o 333431
785.46/761.22	o 333430
785.56/761.33	o 333420
785.56/761.37	o 333419
787.85/763.58	o 333418
815.92/791.42	o 333408
837.85/813.29	o 333400
838.05/813.47	o 333390
838.25/813.64	o 333389
838.45/813.84	o 333388
839.35/814.76	o 332500
839.45/814.88	o 332499
839.55/815.00	o 332498
839.76/815.13	o 332400
839.85/815.20	o 332399
839.95/815.30	o 332398
839.95/815.39	o 332390
864.93/840.14	o 332273
865.02/840.21	o 332272
865.02/840.29	o 332271
867.35/842.56	o 332183
867.46/842.66	o 332173
867.56/842.76	o 332172
867.76/843.00	o 332083
867.87/843.09	o 332073
868.06/843.24	o 332072
868.26/843.45	o 332063
868.46/843.65	o 332062
868.87/844.01	o 331972
869.76/844.92	o 331971
870.46/845.60	o 331961
870.46/845.69	o 331960
870.76/845.95	o 331959
874.40/849.58	o 331951
874.60/849.77	o 331950
874.91/850.05	o 331949
875.40/850.54	o 331947
875.70/850.84	o 331946
876.01/851.15	o 331877
876.20/851.32	o 331867
876.40/851.59	o 331857
876.60/851.76	o 331847
877.05/852.11	o 331846
879.54/854.62	o 331058
879.74/854.88	o 331057
891.13/866.18	o 331047
892.55/867.54	o 331046
892.95/867.95	o 330951
893.06/868.07	o 330950
893.25/868.20	o 330949
893.35/868.39	o 330948
893.65/868.60	o 330947
927.97/902.71	o 330859
928.17/902.91	o 330858
928.57/903.38	o 330849
928.77/903.57	o 330848
931.00/905.72	o 330847
933.20/908.00	o 330846
933.90/908.60	o 330837
934.00/908.70	o 330836
934.10/908.87	o 329936
934.31/909.01	o 329847
934.41/909.13	o 329846
934.50/909.24	o 329837
934.60/909.30	o 329836
934.91/909.66	o 329028
935.15/909.84	o 329027
935.36/910.04	o 328028
935.46/910.15	o 328027
935.75/910.42	o 328026
937.56/912.25	o 327959
937.76/912.43	o 327958
938.06/912.70	o 327949
938.16/912.88	o 327948
938.47/913.17	o 327939
938.66/913.31	o 327938
938.96/913.62	o 327929
939.26/913.92	o 327928
939.96/914.65	o 327129
940.16/914.85	o 327029
940.51/915.13	o 326929
943.90/918.57	o 326928
945.51/920.18	o 326831
945.70/920.30	o 326830
945.94/920.59	o 326829
946.54/921.13	o 326029
946.83/921.50	o 325938
947.63/922.27	o 325929
948.03/922.66	o 325928
948.44/923.08	o 325916
948.93/923.50	o 325914
949.03/923.67	o 325824
949.23/923.81	o 325814
949.33/923.99	o 325804
967.31/941.72	o 325795
967.71/942.15	o 325794
968.21/942.61	o 324894
968.41/942.80	o 324794
971.31/945.70	o 324113
971.41/945.88	o 324013
971.62/946.08	o 324003
971.81/946.28	o 324002
972.11/946.50	o 323993
993.51/967.77	o 323894
993.82/968.07	o 323893
999.51/973.64	o 323892
1000.02/974.16	o 323697
1000.11/974.21	o 323696
1000.11/974.27	o 323695
1000.21/974.33	o 323694
1000.21/974.35	o 323693
1003.16/977.21	o 323683
1004.56/978.61	o 323583
1008.61/982.61	o 323573
1008.91/983.00	o 323564
1009.12/983.14	o 323563
1010.54/984.56	o 320562
1010.74/984.76	o 320462
1011.25/985.21	o 320461
1011.35/985.33	o 319561
1011.44/985.42	o 319461
1019.95/993.81	o 319460
1022.16/996.10	o 318460
1022.45/996.35	o 318459
1022.85/996.76	o 317470
1023.05/996.98	o 317460
1023.26/997.19	o 317459
1028.70/1002.52	o 317449
1028.80/1002.69	o 317448
1030.30/1004.02	o 317360
1030.59/1004.33	o 317359
1031.49/1005.24	o 317358
1031.89/1005.61	o 317357
1032.69/1006.49	o 316671
1032.99/1006.79	o 316661
1033.30/1007.07	o 316571
1033.60/1007.35	o 316561
1033.89/1007.61	o 316560
1034.19/1007.91	o 316551
1034.40/1008.17	o 316550
1035.36/1008.61	o 316541
1035.56/1008.82	o 316540
1035.77/1009.10	o 316539
1036.16/1009.42	o 316471
1036.46/1009.70	o 316470
1036.66/1010.00	o 316461
1036.96/1010.25	o 316460
1037.26/1010.55	o 316451
1037.56/1010.81	o 316450
1037.77/1011.09	o 316441
1038.06/1011.33	o 316440
1038.46/1011.80	o 316371
1038.77/1012.07	o 316361
1039.06/1012.37	o 316351
1039.36/1012.63	o 316341
1039.66/1012.95	o 316340
1040.12/1013.34	o 316339
1040.42/1013.68	o 316338
1040.93/1014.11	o 316337
1041.32/1014.56	o 316331
1041.52/1014.79	o 316330
1041.93/1015.14	o 316261
1042.22/1015.48	o 316251
1042.62/1015.84	o 316241
1042.93/1016.16	o 316231
1045.60/1018.76	o 316230
1048.21/1021.39	o 316229
1048.61/1021.70	o 316228
1049.61/1022.77	o 316227
1050.99/1024.01	o 316156
1051.09/1024.17	o 315156
1051.28/1024.35	o 315136
1051.58/1024.60	o 315116
1053.38/1026.41	o 315016
1053.78/1026.87	o 315015
1068.40/1041.23	o 315014
1068.90/1041.77	o 315013
1070.60/1043.40	o 314144
1070.80/1043.64	o 314134
1071.39/1044.11	o 314124
1071.48/1044.28	o 314114
1071.88/1044.68	o 314044
1072.18/1044.94	o 314034
1072.48/1045.25	o 314024
1072.78/1045.51	o 313934
1072.88/1045.63	o 313924
1075.78/1048.51	o 313333
1075.98/1048.70	o 313323
1076.29/1049.08	o 313123
1076.66/1049.30	o 313113
1076.86/1049.59	o 312924
1077.05/1049.76	o 312914
1077.36/1050.01	o 312824
1077.55/1050.20	o 312814
1077.75/1050.47	o 312223
1077.95/1050.64	o 312213
1078.25/1050.92	o 312013
1078.36/1051.07	o 312003
1078.65/1051.31	o 311814
1078.75/1051.46	o 311804
1078.95/1051.65	o 311714
1079.05/1051.80	o 311704
1084.64/1057.22	o 311695
1084.84/1057.45	o 311694
1085.84/1058.50	o 311604
1087.82/1060.32	o 311595
1089.12/1061.68	o 311594
1090.12/1062.68	o 311525
1090.63/1063.15	o 311505
1091.22/1063.74	o 311504
1091.99/1064.40	o 311495
1092.39/1064.80	o 311494
1092.99/1065.41	o 310725
1093.29/1065.77	o 310724
1093.79/1066.27	o 310625
1094.20/1066.61	o 310624
1094.60/1067.10	o 310605
1095.00/1067.45	o 310604
1095.50/1067.97	o 310525
1095.80/1068.29	o 310524
1096.30/1068.78	o 310505
1096.79/1069.13	o 310504
1097.58/1069.93	o 310495
1097.88/1070.23	o 310494
1103.26/1075.58	o 309496
1109.24/1081.42	o 309495
1111.25/1083.43	o 308705
1111.55/1083.71	o 308605
1151.41/1123.14	o 308505
1152.31/1124.02	o 308405
1154.94/1126.63	o 308404
1158.10/1129.76	o 307484
1158.40/1130.01	o 307483
1159.70/1131.34	o 307464
1159.80/1131.47	o 307463
1160.55/1132.11	o 307461
1161.34/1132.91	o 307391
1161.45/1133.04	o 307381
1161.84/1133.48	o 307371
1161.94/1133.59	o 307361
1162.34/1134.00	o 307351
1165.99/1137.53	o 306362
1166.29/1137.87	o 306262
1166.69/1138.21	o 306252
1167.73/1139.26	o 306251
1177.58/1149.06	o 306242
1177.88/1149.30	o 306241
1178.23/1149.70	o 306240
1233.91/1204.89	o 306155
1234.12/1205.05	o 306154
1234.32/1205.25	o 306153
1234.52/1205.44	o 306152
1234.72/1205.69	o 306145
1234.92/1205.85	o 306144
1235.12/1206.07	o 306143
1235.42/1206.32	o 306142
1235.62/1206.57	o 306141
1236.02/1206.95	o 306135
1236.22/1207.12	o 306134
1236.42/1207.34	o 306133
1236.62/1207.59	o 306132
1236.92/1207.83	o 306131
1237.52/1208.41	o 306130
1242.56/1213.45	o 305331
1242.86/1213.70	o 305330
1243.06/1213.95	o 305321
1243.27/1214.14	o 305320
1243.46/1214.34	o 305231
1243.66/1214.56	o 305226
1243.96/1214.88	o 305225
1244.32/1215.13	o 305224
1244.61/1215.41	o 305223
1245.11/1215.97	o 303535
1245.22/1216.08	o 303534
1245.41/1216.22	o 303435
1245.51/1216.33	o 303434
1245.61/1216.45	o 303425
1245.71/1216.56	o 303424
1245.81/1216.64	o 303423
1246.11/1216.98	o 303335
1246.32/1217.12	o 303325
1246.41/1217.23	o 303324
1246.61/1217.45	o 303323
1248.32/1219.19	o 303234
1248.51/1219.30	o 303224
1278.96/1249.45	o 303133
1279.29/1249.78	o 303033
1279.60/1250.04	o 303013
1283.94/1254.34	o 302525
1284.14/1254.51	o 302524
1293.24/1263.53	o 302523
1293.64/1263.90	o 302522
1293.85/1264.13	o 302423
1294.04/1264.30	o 302422
1294.44/1264.75	o 302421
1311.04/1281.15	o 302420
1324.62/1294.66	o 302368
1324.82/1294.84	o 302358
1325.03/1295.05	o 302357
1325.62/1295.68	o 302348
1325.97/1295.91	o 302347
1326.57/1296.52	o 302346
1326.77/1296.72	o 302345
1329.58/1299.56	o 302336
1329.78/1299.71	o 302335
1330.09/1300.07	o 302334
1330.58/1300.54	o 302333
1331.32/1301.29	o 302326
1331.62/1301.50	o 302325
1331.82/1301.74	o 302324
1331.92/1301.89	o 302323
1332.32/1302.28	o 302322
1332.82/1302.72	o 302321
1339.67/1309.54	o 302320
1343.42/1313.29	o 302244
1343.72/1313.56	o 302243
1344.12/1313.93	o 302234
1344.42/1314.29	o 302233
1344.92/1314.77	o 302232
1345.52/1315.38	o 302231
1346.27/1316.03	o 302224
1346.67/1316.48	o 302223
1347.17/1316.94	o 302222
1347.57/1317.39	o 302221
1377.98/1347.42	o 301331
1378.28/1347.72	o 301231
1410.41/1379.53	o 301042
1410.71/1379.80	o 301031
1412.71/1381.82	o 300953
1412.81/1381.97	o 300943
1413.07/1382.11	o 300933
1413.25/1382.39	o 300932
1413.55/1382.64	o 300931
1415.66/1384.75	o 300930
1418.07/1387.18	o 299942
1422.39/1389.70	o 299464
1422.59/1389.95	o 299463
1422.99/1390.39	o 299374
1423.29/1390.63	o 299373
1423.59/1390.94	o 299364
1425.39/1392.70	o 298484
1425.89/1393.25	o 298483
1437.53/1404.78	o 298383
1445.94/1413.09	o 298382
1446.94/1414.04	o 298306
1447.33/1414.48	o 298305
1447.63/1414.76	o 298304
1448.04/1415.11	o 298296
1448.23/1415.36	o 298295
1448.43/1415.58	o 298294
1448.83/1415.93	o 298293
1449.23/1416.34	o 298292
1449.53/1416.66	o 298287
1449.83/1416.91	o 298286
1450.13/1417.22	o 298285
1450.43/1417.54	o 298284
1450.88/1417.93	o 298283
1454.09/1421.14	o 298282
1459.23/1426.26	o 298212
1459.73/1426.77	o 298192
1461.08/1428.02	o 298191
1466.83/1433.72	o 298103
1467.02/1434.00	o 298102
1467.52/1434.45	o 298093
1468.02/1434.90	o 298092
1468.52/1435.41	o 298091
1469.92/1436.87	o 298081
1470.42/1437.33	o 297981
1473.38/1440.21	o 297972
1479.63/1446.41	o 296934
1480.13/1446.94	o 296933
1480.63/1447.44	o 296924
1480.93/1447.77	o 296923
1481.47/1448.28	o 296915
1481.87/1448.65	o 296914
1482.38/1449.14	o 296913
1483.17/1449.93	o 296904
1483.57/1450.36	o 296903
1484.07/1450.86	o 296894
1484.47/1451.26	o 296893
1486.52/1453.26	o 295914
1486.92/1453.66	o 295903
1487.33/1454.03	o 295894
1487.62/1454.36	o 295883
1488.33/1455.05	o 295882
1512.38/1478.89	o 295002
1512.98/1479.42	o 294902
1525.59/1491.97	o 294892
1526.54/1492.83	o 294891
1529.24/1495.58	o 294091
1529.44/1495.71	o 293991
1530.75/1497.02	o 293891
1532.80/1499.06	o 293882
1533.19/1499.48	o 293881
1534.80/1501.01	o 293880
1568.05/1533.99	o 293781
1568.95/1534.83	o 293780
1621.25/1586.67	o 293771
1621.55/1586.96	o 293770
1636.10/1601.33	o 293769
1641.76/1606.99	o 293720
1642.17/1607.38	o 293700
1642.73/1607.80	o 293699
1648.67/1613.70	o 293519
1648.87/1613.94	o 292519
1649.17/1614.21	o 291519
1649.68/1614.71	o 291507
1649.99/1615.05	o 291499
1650.38/1615.40	o 291487
1651.58/1616.61	o 291477
1660.92/1625.88	o 291470
1661.42/1626.38	o 291469
1661.92/1626.88	o 291468
1664.37/1629.28	o 291458
1664.67/1629.55	o 291457
1714.91/1679.28	o 291250
1715.41/1679.71	o 291249
1715.82/1680.18	o 291240
1716.21/1680.54	o 291239
1739.43/1703.51	o 291238
1752.16/1715.72	o 291237
1872.51/1834.23	o 290578
1872.96/1834.65	o 290577
1873.37/1835.06	o 290388
1873.76/1835.43	o 290387
1875.86/1837.55	o 290288
1876.16/1837.84	o 290287
1876.66/1838.37	o 290268
1876.96/1838.62	o 290267
1900.34/1861.79	o 290186
1900.94/1862.33	o 290166
1927.10/1888.11	o 290087
1927.39/1888.48	o 290077
1927.79/1888.86	o 290076
1928.19/1889.25	o 290075
1928.69/1889.73	o 290067
1929.19/1890.20	o 290066
1929.59/1890.67	o 290065
1933.35/1894.39	o 288993
1933.65/1894.65	o 288973
1933.95/1895.00	o 288953
1934.45/1895.43	o 288893
1934.75/1895.78	o 288873
1935.15/1896.17	o 288853
1945.60/1906.49	o 288852
1946.00/1906.88	o 287902
1946.40/1907.28	o 287892
1946.90/1907.76	o 287882
1947.37/1908.13	o 287872
1947.76/1908.57	o 287862
1948.06/1908.88	o 287852
2001.37/1961.56	o 287748
2001.56/1961.75	o 287747
2001.66/1961.88	o 287648
2001.87/1962.02	o 287647
2002.07/1962.25	o 287559
2020.42/1980.34	o 287339
2020.92/1980.85	o 287329
2040.66/2000.35	o 287319
2041.06/2000.73	o 287299
2050.78/2010.38	o 287251
2051.38/2010.94	o 287231
2051.98/2011.59	o 287230
2052.68/2012.20	o 287211
2053.24/2012.74	o 287210
2084.10/2042.52	o 287209
2090.21/2048.52	o 287188
2103.82/2061.88	o 287179
2133.98/2091.39	o 287099
2134.49/2091.82	o 287089
2134.99/2092.30	o 287088
2135.39/2092.78	o 287080
2135.89/2093.26	o 287079
2190.07/2146.64	o 286278
2190.58/2147.13	o 286178
2213.96/2170.12	o 286173
2214.45/2170.67	o 286172
2215.05/2171.22	o 286171
2216.05/2172.21	o 286163
2216.45/2172.65	o 286162
2216.96/2173.15	o 286161
2254.02/2209.68	o 285141
2257.32/2212.94	o 285071
2257.62/2213.22	o 285051
2258.21/2213.83	o 285041
2270.93/2226.39	o 284971
2294.80/2249.80	o 284082
2295.20/2250.25	o 283982
2297.11/2252.18	o 283981
2299.37/2254.36	o 283980
2336.38/2290.87	o 283089
2337.59/2292.07	o 282990
2343.95/2298.31	o 282982
2344.63/2298.97	o 282981
2345.33/2299.67	o 282980
2346.33/2300.64	o 282903
2346.84/2301.11	o 282893
2347.53/2301.81	o 282892
2348.84/2303.19	o 282004
2349.33/2303.60	o 281994
2349.81/2304.04	o 281993
2350.70/2304.91	o 281904
2351.10/2305.31	o 281903
2351.70/2305.96	o 281894
2352.40/2306.65	o 281893
2357.08/2311.27	o 281884
2358.08/2312.22	o 281883
2382.39/2336.19	o 281804
2382.98/2336.72	o 281794
2383.58/2337.32	o 281784
2384.48/2338.21	o 281714
2384.98/2338.74	o 281704
2385.66/2339.30	o 281694
2388.26/2341.95	o 281684
2389.06/2342.73	o 281683
2389.66/2343.32	o 281592
2390.06/2343.74	o 281582
2391.13/2344.78	o 281491
2391.54/2345.19	o 281481
2392.13/2345.79	o 281480
2392.73/2346.33	o 281390
2393.03/2346.69	o 281380
2395.13/2348.73	o 281281
2396.11/2349.66	o 281280
2397.01/2350.59	o 280791
2397.52/2351.07	o 280691
2398.11/2351.67	o 280591
2398.82/2352.33	o 280491
2399.12/2352.69	o 280391
2399.63/2353.11	o 280291
2408.71/2362.02	o 280282
2409.20/2362.56	o 280281
2409.90/2363.20	o 280279
2410.50/2363.81	o 280278
2411.58/2364.80	o 280179
2412.08/2365.35	o 280178
2412.79/2366.07	o 280172
2413.38/2366.62	o 280171
2414.08/2367.36	o 280081
2414.48/2367.78	o 280070
2415.38/2368.63	o 280060
2416.46/2369.62	o 279990
2459.90/2412.48	o 279989
2495.09/2445.48	o 279979
2495.49/2445.85	o 279879
2520.00/2469.90	s SATISFIABLE
2520.00/2469.91	v <instantiation>
2520.00/2469.91	v 	<list>
2520.00/2469.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] 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] 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] zb3[82] zb3[83] zb3[84] zb3[85] zb3[86] zb3[87] zb3[88] zb3[89] zb3[90] zb3[91] zb3[92] zb3[93] zb3[94] zb3[95] zb3[96] zb3[97] zb3[98] zb3[99] zb3[100] zb3[101] zb3[102] zb3[103] zb3[104] zb3[105] zb3[106] zb3[107] zb3[108] zb3[109] zb3[110] zb3[111] zb3[112] zb3[113] zb3[114] zb3[115] zb3[116] zb3[117] zb3[118] zb3[119] zb3[120] zb3[121] zb3[122] zb3[123] zb3[124] zb3[125] zb3[126] zb3[127] zb3[128] zb3[129] zb3[130] zb3[131] zb3[132] zb3[133] zb3[134] zb3[135] zb3[136] zb3[137] zb3[138] zb3[139] zb3[140] zb3[141] zb3[142] zb3[143] zb3[144] zb3[145] zb3[146] zb3[147] zb3[148] zb3[149] zb3[150] zb3[151] zb3[152] zb3[153] zb3[154] zb3[155] zb3[156] zb3[157] zb3[158] zb3[159] zb3[160] zb3[161] 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] za1[798] za1[799] za1[800] za1[801] za1[802] za1[803] za1[804] za1[805] za1[806] za1[807] 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] 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] za3[882] za3[883] za3[884] za3[885] za3[886] za3[887] za3[888] za3[889] za3[890] za3[891] za3[892] za3[893] za3[894] za3[895] za3[896] za3[897] za3[898] za3[899] za3[900] za3[901] za3[902] za3[903] za3[904] za3[905] za3[906] za3[907] za3[908] 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]
2520.00/2469.91	v 	</list>
2520.00/2469.91	v 	<values>
2520.00/2469.91	v 		16 254 282 44 296 58 72 310 694 456 708 470 414 652 170 408 792 554 128 366 156 394 86 324 16 254 708 470 128 366 58 296 324 86 484 722 526 764 86 324 268 30 778 540 30 268 254 16 16 254 778 540 240 478 694 456 414 652 792 554 268 30 156 394 694 456 254 16 456 694 86 324 442 680 680 442 44 282 72 310 540 778 680 442 142 380 366 128 240 478 268 30 526 764 778 540 58 296 792 554 170 408 792 554 512 750 484 722 512 750 44 282 792 554 268 30 792 554 792 554 380 142 764 526 652 414 540 778 512 750 16 254 554 792 240 478 680 442 16 254 554 792 792 554 72 310 708 470 680 442 156 394 778 540 352 114 58 296 268 30 554 792 540 778 16 254 792 554 156 394 156 394 30 268 554 792 16 254 792 554 498 736 554 792 680 442 380 142 296 58 708 470 722 484 778 540 442 680 736 498 16 254 16 254 72 310 254 16 156 394 352 114 170 408 526 764 526 764 736 498 156 394 16 254 100 338 282 44 16 254 254 16 750 512 72 310 722 484 338 100 428 666 554 792 128 366 666 428 652 414 778 540 778 540 58 296 394 156 792 554 296 58 554 792 764 526 310 72 128 366 254 16 708 470 414 652 792 554 792 554 72 310 484 722 540 778 778 540 100 338 156 394 156 394 128 366 408 170 16 254 100 338 72 310 792 554 764 526 792 554 792 554 652 414 750 512 156 394 16 254 792 554 254 16 240 478 268 30 456 694 792 554 240 478 44 282 170 408 86 324 268 30 498 736 254 16 268 30 778 540 268 30 254 16 156 394 408 170 380 142 792 554 540 778 526 764 512 750 792 554 750 512 324 86 554 792 366 128 540 778 268 30 750 512 30 268 16 254 324 86 666 428 30 268 764 526 240 478 86 324 44 282 16 254 792 554 58 296 792 554 526 764 282 44 792 554 750 512 324 86 554 792 366 128 554 792 268 30 736 498 736 498 324 86 792 554 352 114 142 380 380 142 114 352 254 16 16 254 478 240 750 512 380 142 442 680 764 526 156 394 408 170 554 792 736 498 792 554 408 170 680 442 708 470 156 394 478 240 736 498 16 254 156 394 792 554 254 16 128 366 526 764 666 428 156 394 792 554 722 484 792 554 254 16 694 456 16 254 254 16 750 512 282 44 16 254 428 666 764 526 156 394 750 512 366 128 268 30 310 72 792 554 722 484 240 478 338 100 442 680 792 554 792 554 778 540 666 428 666 428 338 100 268 30 428 666 16 254 282 44 338 100 722 484 554 792 16 254 268 30 170 408 554 792 58 296 128 366 540 778 708 470 240 478 792 554 128 366 792 554 456 694 792 554 540 778 792 554 268 30 792 554 296 58 268 30 352 114 792 554 736 498 666 428 16 254 478 240 778 540 254 16 170 408 736 498 778 540 778 540 652 414 722 484 792 554 170 408 778 540 114 352 736 498 268 30 114 352 58 296 694 456 86 324 282 44 114 352 498 736 792 554 16 254 58 296 16 254 142 380 16 254 554 792 478 240 512 750 694 456 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 0 0 1000 1000 0 0 1000 1000 1000 1000 0 0 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 0 0 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 0 0 1000 1000 1000 1000 1000 1000 1000 1000 0 0 1000 1000 1000 1000 1000 1000 1000 1000 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 0 0 100 100 100 100 100 100 100 100 100 100 0 0 100 100 0 0 0 0 100 100 0 0 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 0 0 100 100 100 100 100 100 0 0 100 100 100 100 0 0 100 100 100 100 100 100 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 0 10 10 0 0 10 10 10 10 0 0 10 10 0 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 0 10 10 10 10 10 10 10 10 0 0 10 10 10 10 0 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 0 10 10 10 10 10 10 0 0 10 10 10 10 10 10 10 10 0 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 1000 1000 0 0 0 0 1000 0 1000 0 0 0 0 0 0 0 1000 0 0 1000 0 1000 1000 0 0 1000 0 0 0 0 0 0 0 0 1000 0 0 1000 0 0 1000 0 0 1000 1000 0 0 0 0 1000 0 0 0 0 0 0 0 0 1000 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 1000 1000 0 0 0 1000 0 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 1000 0 1000 0 0 0 1000 1000 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 1000 0 1000 0 0 0 1000 0 1000 0 0 0 0 1000 0 0 0 0 0 0 0 1000 1000 1000 0 0 0 0 0 0 0 0 0 1000 0 0 1000 0 0 0 1000 0 0 1000 0 0 0 1000 0 1000 1000 0 1000 0 0 1000 0 0 0 0 0 1000 1000 1000 0 0 0 0 1000 0 0 0 0 0 0 1000 1000 0 0 0 0 0 0 0 0 0 1000 0 0 1000 0 1000 0 1000 0 0 1000 0 0 0 1000 1000 0 0 0 0 0 1000 0 0 0 0 0 1000 0 0 0 0 0 0 1000 0 0 1000 1000 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 1000 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 1000 0 0 0 0 0 1000 1000 0 1000 1000 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 1000 1000 1000 0 0 1000 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 1000 0 0 0 1000 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 1000 0 1000 0 0 1000 0 0 0 0 0 0 0 0 0 0 1000 0 0 1000 1000 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 1000 0 0 0 1000 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 1000 0 1000 1000 0 0 0 1000 0 0 0 1000 0 0 1000 1000 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 0 1000 1000 0 0 0 0 0 0 1000 0 0 0 1000 0 1000 0 0 0 1000 0 1000 0 0 0 0 0 0 0 0 1000 0 1000 0 0 0 0 0 1000 0 1000 0 0 1000 0 0 0 0 0 1000 0 0 0 0 0 0 0 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 1000 1000 0 0 0 1000 0 1000 0 1000 0 0 0 1000 0 0 0 0 0 1000 0 0 0 1000 0 0 0 1000 0 1000 0 0 1000 1000 0 0 1000 0 0 0 0 0 0 0 0 0 0 1000 1000 0 0 1000 1000 1000 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 0 0 1000 0 0 1000 1000 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 0 1000 1000 0 1000 0 0 0 1000 0 1000 1000 0 0 0 1000 0 0 0 0 0 0 1000 0 0 0 1000 0 0 1000 0 0 0 0 0 0 0 1000 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 1000 0 0 1000 1000 0 0 1000 0 0 0 0 0 0 0 0 1000 1000 1000 0 0 0 0 0 0 0 1000 1000 0 0 0 0 0 100 0 0 100 0 0 0 100 0 0 100 0 0 100 0 0 0 100 0 0 0 100 0 100 0 100 0 0 0 100 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 100 0 100 0 0 0 0 0 0 100 0 0 100 0 0 0 100 0 0 100 0 0 0 0 0 100 0 100 0 0 0 0 0 0 0 0 0 0 0 0 100 100 0 0 0 100 0 0 0 0 0 0 100 0 0 100 0 0 0 0 0 100 0 100 0 0 0 0 100 100 100 0 0 0 0 0 0 0 100 0 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 0 100 100 100 100 0 0 0 0 100 100 0 0 0 100 0 100 0 0 0 0 0 0 0 100 0 0 0 0 0 100 0 100 0 0 100 0 0 100 0 0 0 100 0 0 0 100 0 0 0 100 0 100 100 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 100 100 0 0 0 0 0 100 0 100 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 0 0 0 100 100 0 0 0 100 0 0 100 0 100 0 0 100 0 100 0 0 100 0 100 100 0 0 0 0 0 0 0 0 0 100 0 0 0 100 100 100 0 0 0 0 0 0 0 0 100 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 100 0 0 100 0 0 0 0 100 0 0 100 0 100 0 0 0 0 0 0 0 100 100 0 0 0 100 0 100 100 100 0 100 0 100 0 0 0 0 0 0 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 100 0 0 100 0 0 0 0 100 0 0 0 100 0 100 0 0 0 100 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 0 0 0 100 0 100 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 100 100 100 0 0 0 0 0 0 0 0 100 100 0 0 0 0 0 0 0 0 0 0 0 100 100 100 100 0 0 0 0 100 100 100 0 0 100 0 0 0 100 0 0 0 0 100 100 0 0 0 100 0 0 0 0 0 0 0 100 0 0 0 100 0 0 100 100 0 0 100 0 0 0 0 0 0 0 0 100 0 0 0 0 100 100 100 0 0 0 0 100 100 0 0 0 0 0 0 0 0 0 0 100 0 100 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 100 100 100 0 0 0 0 0 0 0 0 0 100 0 100 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 100 0 0 0 0 100 100 0 0 0 0 100 0 100 100 0 0 0 100 0 0 100 0 100 0 0 0 100 100 100 0 0 0 0 100 100 0 100 0 0 0 0 0 100 0 0 0 0 0 100 100 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 100 0 0 0 0 100 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 100 0 100 0 0 0 100 0 0 0 0 0 100 0 0 100 0 0 0 0 100 0 0 100 100 100 100 0 100 100 0 100 100 0 0 0 100 0 0 0 0 100 0 0 0 0 0 0 0 100 100 100 0 0 0 100 100 0 100 100 100 100 0 0 100 0 100 100 100 0 100 100 100 100 0 0 100 0 0 0 0 100 100 0 0 0 100 100 100 100 0 100 0 100 0 0 100 0 0 0 0 0 0 0 0 100 100 100 0 0 0 0 100 0 0 0 0 0 100 0 0 0 100 0 0 0 100 100 0 0 0 0 0 0 0 0 100 100 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 100 100 100 0 0 0 0 0 0 100 100 0 0 0 0 0 0 0 0 100 0 100 0 0 0 0 0 100 0 0 0 100 0 0 100 100 100 0 0 0 0 0 0 100 0 0 0 100 0 0 0 0 0 0 0 0 100 100 0 0 0 0 0 0 100 0 0 0 0 0 0 100 100 0 0 0 100 0 100 100 0 0 0 100 100 0 100 0 100 100 0 0 100 0 100 0 100 0 0 100 0 0 0 0 0 0 0 100 0 100 100 0 0 0 0 0 10 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 10 0 10 0 0 0 0 0 0 10 0 10 0 10 0 10 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 10 0 0 0 10 10 0 0 0 0 0 0 0 10 0 10 10 0 10 0 10 0 0 0 0 0 10 10 0 0 10 0 0 10 0 0 0 0 10 0 0 0 0 0 0 0 10 0 10 0 0 0 0 0 10 10 0 0 0 0 0 10 10 0 0 0 0 0 0 0 0 0 0 0 10 0 10 0 10 10 10 0 0 0 0 10 10 0 0 10 0 0 0 0 0 0 10 0 10 10 0 10 0 0 10 0 0 0 10 0 10 10 0 0 0 0 0 10 0 0 0 10 10 0 10 0 10 0 10 0 0 10 10 0 0 10 0 0 10 10 10 0 0 0 0 0 0 0 0 0 0 0 10 10 0 10 0 0 0 0 0 10 0 0 0 0 10 10 0 0 0 0 0 10 10 0 0 0 0 0 0 10 0 0 0 10 10 0 10 0 10 10 0 0 0 0 0 0 0 0 0 10 0 10 10 0 0 0 0 10 10 10 10 0 10 0 0 0 0 0 10 10 10 0 10 10 0 0 0 0 0 0 0 0 0 0 0 0 0 10 10 10 10 10 0 0 0 0 0 10 0 10 0 10 0 0 10 10 0 0 0 10 10 0 0 0 0 10 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 10 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 10 10 0 0 10 0 10 0 10 0 0 0 10 10 10 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 10 10 0 0 0 0 0 10 0 10 0 10 0 0 0 0 0 0 10 0 0 0 0 10 0 0 0 10 0 0 0 0 10 0 0 10 10 0 10 0 10 0 10 0 0 0 0 0 0 10 10 0 0 0 0 0 0 0 0 0 0 0 10 10 10 0 10 10 0 0 0 0 10 0 0 0 10 10 10 0 10 10 0 0 0 0 10 0 0 0 0 10 0 0 10 0 10 0 0 0 0 10 0 0 0 10 0 10 10 10 0 0 0 0 10 10 10 10 0 0 0 10 0 10 0 0 0 0 0 0 0 10 0 10 0 0 0 0 0 10 0 10 10 0 0 0 0 0 0 0 10 10 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 10 0 0 10 0 0 0 0 0 10 10 0 0 10 10 0 0 0 0 0 10 10 10 0 0 0 0 0 0 10 10 0 0 0 0 10 10 10 0 0 10 10 0 10 0 0 0 10 0 10 0 10 10 10 0 0 10 10 0 0 10 10 0 10 0 0 0 10 0 0 10 0 0 0 0 0 0 0 0 10 10 10 10 10 0 10 0 0 0 10 0 0 10 10 10 0 0 10 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 10 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 10 0 0 10 0 0 0 10 0 0 10 0 10 0 0 10 10 0 10 0 0 10 10 0 10 10 0 10 0 0 0 0 10 0 0 0 10 0 0 0 0 0 0 10 0 0 10 0 0 0 10 10 10 0 10 10 0 0 10 0 0 0 10 10 10 10 0 10 0 0 0 0 0 0 0 0 0 10 10 0 0 10 0 10 0 0 0 0 10 10 10 0 0 0 0 0 0 0 0 10 0 10 10 0 0 0 0 0 0 0 0 0 10 0 0 10 10 0 0 0 0 0 0 0 0 0 0 0 0 0 10 10 10 0 10 0 0 10 10 10 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 10 0 0 0 10 0 0 0 0 0 10 0 0 10 10 0 10 0 0 0 0 10 0 0 0 10 0 0 10 10 10 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 1 0 0 0 1 1 1 0 0 1 1 0 0 0 1 0 1 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 1 1 0 1 1 0 0 0 1 1 0 1 0 0 0 0 0 1 0 0 1 1 0 1 1 1 0 0 0 0 1 0 1 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 1 0 1 1 1 1 0 1 0 1 0 0 0 0 0 0 1 0 1 1 1 0 0 1 0 0 1 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 1 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 1 1 1 1 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 1 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 1 0 0 1 0 1 0 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 0 1 0 0 1 0 1 1 1 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 1 0 1 0 1 1 0 0 1 0 0 0 1 1 0 1 0 1 0 0 1 0 0 1 0 1 0 1 0 0 0 0 0 0 1 0 0 1 1 0 0 1 1 0 1 1 1 1 0 1 0 0 1 0 0 1 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 1 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 1 1 0 0 1 0 0 1 0 1 1 1 1 0 1 1 1 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 1 0 1 0 0 0 1 1 0 0 1 1 0 0 0 1 0 1 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 1 0 0 1 0 1 0 0 0 1 0 1 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 1 1 1 0 0 1 0 0 0 0 0 0 0 1 0 1 0 1 0 1 1 1 0 1 1 1 1 0 1 0 1 0 1 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 1 1 1 0 0 1 0 1 1 0 0 0 0 0 0 1 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 0 0 1 1 1 0 0 0 1 0 0 0 0 0 1 1 1 1 1 1 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 1 1 1 1 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 1 0 0 0 1 0 0 0 0 0 1 0 1 1 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 1 1 0 1 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 1 0 0 1 0 
2520.00/2469.91	v 	</values>
2520.00/2469.91	v </instantiation>

Verifier Data 

OK	279879

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4308657-1534285549/watcher-4308657-1534285549 -o /tmp/evaluation-result-4308657-1534285549/solver-4308657-1534285549 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node148-1534270838-13463 --watchdog 2580 java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed 1326269152 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4308657-1534285549.xml 

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

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


[startup+0.10009 s]*
/proc/loadavg: 1.64 1.58 1.59 4/215 15086
/proc/meminfo: memFree=21000308/32770624 swapFree=67108368/67108860
[pid=15071] ppid=15068 vsize=14082736 memory=32664 CPUtime=0.11 cores=1,3,5,7
/proc/15071/stat : 15071 (java) S 15068 15071 11932 0 -1 1077944320 7116 0 0 0 10 1 0 0 20 0 15 0 246118064 14420721664 8166 33554432000 4194304 4196468 140730266661328 140730266643872 140396156129015 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 30543872 140730266670164 140730266670345 140730266670345 140730266673103 0
/proc/15071/statm: 3520684 8166 3133 1 0 3482761 0
[pid=15071/tid=15073] ppid=15068 vsize=14082736 memory=-6966721798027829888 CPUtime=0.09 cores=1,3,5,7
/proc/15071/task/15073/stat : 15073 (java) R 15068 15071 11932 0 -1 4202560 5180 0 0 0 8 1 0 0 20 0 15 0 246118064 14420721664 8166 33554432000 4194304 4196468 140730266661328 140396160353784 140396156150941 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30543872 140730266670164 140730266670345 140730266670345 140730266673103 0
[pid=15071/tid=15074] ppid=15068 vsize=14082736 memory=5793855107056818617 CPUtime=0 cores=1,3,5,7
/proc/15071/task/15074/stat : 15074 (java) S 15068 15071 11932 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246118065 14420721664 8166 33554432000 4194304 4196468 140730266661328 140396108749072 140396156139221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30543872 140730266670164 140730266670345 140730266670345 140730266673103 0
[pid=15071/tid=15075] ppid=15068 vsize=14082736 memory=139856046925440 CPUtime=0 cores=1,3,5,7
/proc/15071/task/15075/stat : 15075 (java) S 15068 15071 11932 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246118065 14420721664 8166 33554432000 4194304 4196468 140730266661328 140396107696528 140396156139221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30543872 140730266670164 140730266670345 140730266670345 140730266673103 0
[pid=15071/tid=15076] ppid=15068 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15071/task/15076/stat : 15076 (java) S 15068 15071 11932 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246118065 14420721664 8166 33554432000 4194304 4196468 140730266661328 140396106643984 140396156139221 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30543872 140730266670164 140730266670345 140730266670345 140730266673103 0
[pid=15071/tid=15077] ppid=15068 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15071/task/15077/stat : 15077 (java) S 15068 15071 11932 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 246118065 14420721664 8166 33554432000 4194304 4196468 140730266661328 140395749239440 140396156139221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30543872 140730266670164 140730266670345 140730266670345 140730266673103 0
[pid=15071/tid=15078] ppid=15068 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15071/task/15078/stat : 15078 (java) S 15068 15071 11932 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 246118066 14420721664 8166 33554432000 4194304 4196468 140730266661328 140395630533104 140396156140162 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30543872 140730266670164 140730266670345 140730266670345 140730266673103 0
[pid=15071/tid=15079] ppid=15068 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15071/task/15079/stat : 15079 (java) S 15068 15071 11932 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 246118066 14420721664 8166 33554432000 4194304 4196468 140730266661328 140395629479328 140396156139221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30543872 140730266670164 140730266670345 140730266670345 140730266673103 0
[pid=15071/tid=15080] ppid=15068 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15071/task/15080/stat : 15080 (java) S 15068 15071 11932 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 246118067 14420721664 8166 33554432000 4194304 4196468 140730266661328 140395628426736 140396156139221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30543872 140730266670164 140730266670345 140730266670345 140730266673103 0
[pid=15071/tid=15081] ppid=15068 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15071/task/15081/stat : 15081 (java) S 15068 15071 11932 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246118069 14420721664 8166 33554432000 4194304 4196468 140730266661328 140395627375312 140396156147611 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30543872 140730266670164 140730266670345 140730266670345 140730266673103 0
[pid=15071/tid=15082] ppid=15068 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15071/task/15082/stat : 15082 (java) S 15068 15071 11932 0 -1 1077944384 299 0 0 0 0 0 0 0 20 0 15 0 246118069 14420721664 8166 33554432000 4194304 4196468 140730266661328 140395626321904 140396156140162 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30543872 140730266670164 140730266670345 140730266670345 140730266673103 0
[pid=15071/tid=15083] ppid=15068 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15071/task/15083/stat : 15083 (java) S 15068 15071 11932 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246118069 14420721664 8166 33554432000 4194304 4196468 140730266661328 140395625269360 140396156140162 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30543872 140730266670164 140730266670345 140730266670345 140730266673103 0
[pid=15071/tid=15084] ppid=15068 vsize=14082736 memory=139856046925440 CPUtime=0.01 cores=1,3,5,7
/proc/15071/task/15084/stat : 15084 (java) R 15068 15071 11932 0 -1 4202560 258 0 0 0 1 0 0 0 20 0 15 0 246118069 14420721664 8166 33554432000 4194304 4196468 140730266661328 140395624216816 140396148366142 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30543872 140730266670164 140730266670345 140730266670345 140730266673103 0
[pid=15071/tid=15085] ppid=15068 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15071/task/15085/stat : 15085 (java) S 15068 15071 11932 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246118069 14420721664 8166 33554432000 4194304 4196468 140730266661328 140395623164512 140396156139221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30543872 140730266670164 140730266670345 140730266670345 140730266673103 0
[pid=15071/tid=15086] ppid=15068 vsize=14082736 memory=139856046925440 CPUtime=0 cores=1,3,5,7
/proc/15071/task/15086/stat : 15086 (java) S 15068 15071 11932 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246118069 14420721664 8166 33554432000 4194304 4196468 140730266661328 140395622112048 140396156140162 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30543872 140730266670164 140730266670345 140730266670345 140730266673103 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 32664 KiB

[startup+0.211846 s]*
/proc/loadavg: 1.64 1.58 1.59 6/215 15086
/proc/meminfo: memFree=20985052/32770624 swapFree=67108368/67108860
[pid=15071] ppid=15068 vsize=14082736 memory=46816 CPUtime=0.31 cores=1,3,5,7
/proc/15071/stat : 15071 (java) S 15068 15071 11932 0 -1 1077944320 10325 0 0 0 28 3 0 0 20 0 15 0 246118064 14420721664 11704 33554432000 4194304 4196468 140730266661328 140730266643872 140396156129015 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 30543872 140730266670164 140730266670345 140730266670345 140730266673103 0
/proc/15071/statm: 3520684 11704 3383 1 0 3482761 0
[pid=15071/tid=15073] ppid=15068 vsize=14082736 memory=6735269665583770266 CPUtime=0.2 cores=1,3,5,7
/proc/15071/task/15073/stat : 15073 (java) R 15068 15071 11932 0 -1 4202560 8030 0 0 0 18 2 0 0 20 0 15 0 246118064 14420721664 11704 33554432000 4194304 4196468 140730266661328 140396160346592 140396137536369 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30543872 140730266670164 140730266670345 140730266670345 140730266673103 0
[pid=15071/tid=15074] ppid=15068 vsize=14082736 memory=4211973582251715978 CPUtime=0 cores=1,3,5,7
/proc/15071/task/15074/stat : 15074 (java) S 15068 15071 11932 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246118065 14420721664 11704 33554432000 4194304 4196468 140730266661328 140396108749072 140396156139221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30543872 140730266670164 140730266670345 140730266670345 140730266673103 0
[pid=15071/tid=15075] ppid=15068 vsize=14082736 memory=139856046925440 CPUtime=0 cores=1,3,5,7
/proc/15071/task/15075/stat : 15075 (java) S 15068 15071 11932 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246118065 14420721664 11704 33554432000 4194304 4196468 140730266661328 140396107696528 140396156139221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30543872 140730266670164 140730266670345 140730266670345 140730266673103 0
[pid=15071/tid=15076] ppid=15068 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15071/task/15076/stat : 15076 (java) S 15068 15071 11932 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246118065 14420721664 11704 33554432000 4194304 4196468 140730266661328 140396106643984 140396156139221 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30543872 140730266670164 140730266670345 140730266670345 140730266673103 0
[pid=15071/tid=15077] ppid=15068 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15071/task/15077/stat : 15077 (java) S 15068 15071 11932 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 246118065 14420721664 11704 33554432000 4194304 4196468 140730266661328 140395749239440 140396156139221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30543872 140730266670164 140730266670345 140730266670345 140730266673103 0
[pid=15071/tid=15078] ppid=15068 vsize=14082736 memory=139856046925440 CPUtime=0 cores=1,3,5,7
/proc/15071/task/15078/stat : 15078 (java) S 15068 15071 11932 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 246118066 14420721664 11704 33554432000 4194304 4196468 140730266661328 140395630533104 140396156140162 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30543872 140730266670164 140730266670345 140730266670345 140730266673103 0
[pid=15071/tid=15079] ppid=15068 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15071/task/15079/stat : 15079 (java) S 15068 15071 11932 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 246118066 14420721664 11704 33554432000 4194304 4196468 140730266661328 140395629479328 140396156139221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30543872 140730266670164 140730266670345 140730266670345 140730266673103 0
[pid=15071/tid=15080] ppid=15068 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15071/task/15080/stat : 15080 (java) S 15068 15071 11932 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 246118067 14420721664 11704 33554432000 4194304 4196468 140730266661328 140395628426736 140396156139221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30543872 140730266670164 140730266670345 140730266670345 140730266673103 0
[pid=15071/tid=15081] ppid=15068 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15071/task/15081/stat : 15081 (java) S 15068 15071 11932 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246118069 14420721664 11704 33554432000 4194304 4196468 140730266661328 140395627375312 140396156147611 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30543872 140730266670164 140730266670345 140730266670345 140730266673103 0
[pid=15071/tid=15082] ppid=15068 vsize=14082736 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/15071/task/15082/stat : 15082 (java) R 15068 15071 11932 0 -1 4202560 442 0 0 0 2 0 0 0 20 0 15 0 246118069 14420721664 11704 33554432000 4194304 4196468 140730266661328 140395626302920 140396148366142 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30543872 140730266670164 140730266670345 140730266670345 140730266673103 0
[pid=15071/tid=15083] ppid=15068 vsize=14082736 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/15071/task/15083/stat : 15083 (java) R 15068 15071 11932 0 -1 4202560 158 0 0 0 1 0 0 0 20 0 15 0 246118069 14420721664 11704 33554432000 4194304 4196468 140730266661328 140395625269360 140396136860912 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30543872 140730266670164 140730266670345 140730266670345 140730266673103 0
[pid=15071/tid=15084] ppid=15068 vsize=14082736 memory=139856046925440 CPUtime=0.06 cores=1,3,5,7
/proc/15071/task/15084/stat : 15084 (java) R 15068 15071 11932 0 -1 1077944384 315 0 0 0 6 0 0 0 20 0 15 0 246118069 14420721664 11704 33554432000 4194304 4196468 140730266661328 140395624216816 140396156140162 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30543872 140730266670164 140730266670345 140730266670345 140730266673103 0
[pid=15071/tid=15085] ppid=15068 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15071/task/15085/stat : 15085 (java) S 15068 15071 11932 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246118069 14420721664 11704 33554432000 4194304 4196468 140730266661328 140395623164512 140396156139221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30543872 140730266670164 140730266670345 140730266670345 140730266673103 0
[pid=15071/tid=15086] ppid=15068 vsize=14082736 memory=139856046925440 CPUtime=0 cores=1,3,5,7
/proc/15071/task/15086/stat : 15086 (java) S 15068 15071 11932 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246118069 14420721664 11704 33554432000 4194304 4196468 140730266661328 140395622112048 140396156140162 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30543872 140730266670164 140730266670345 140730266670345 140730266673103 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 46816 KiB

[startup+0.310862 s]*
/proc/loadavg: 1.64 1.58 1.59 3/215 15086
/proc/meminfo: memFree=20981152/32770624 swapFree=67108368/67108860
[pid=15071] ppid=15068 vsize=14082736 memory=50524 CPUtime=0.43 cores=1,3,5,7
/proc/15071/stat : 15071 (java) S 15068 15071 11932 0 -1 1077944320 10730 0 0 0 40 3 0 0 20 0 15 0 246118064 14420721664 12631 33554432000 4194304 4196468 140730266661328 140730266643872 140396156129015 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 30543872 140730266670164 140730266670345 140730266670345 140730266673103 0
/proc/15071/statm: 3520684 12631 3388 1 0 3482761 0
[pid=15071/tid=15073] ppid=15068 vsize=14082736 memory=4871374705135476842 CPUtime=0.29 cores=1,3,5,7
/proc/15071/task/15073/stat : 15073 (java) R 15068 15071 11932 0 -1 4202560 8403 0 0 0 27 2 0 0 20 0 15 0 246118064 14420721664 12631 33554432000 4194304 4196468 140730266661328 140396160311312 140396141294654 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30543872 140730266670164 140730266670345 140730266670345 140730266673103 0
[pid=15071/tid=15074] ppid=15068 vsize=14082736 memory=4211973582251715978 CPUtime=0 cores=1,3,5,7
/proc/15071/task/15074/stat : 15074 (java) S 15068 15071 11932 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246118065 14420721664 12631 33554432000 4194304 4196468 140730266661328 140396108749072 140396156139221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30543872 140730266670164 140730266670345 140730266670345 140730266673103 0
[pid=15071/tid=15075] ppid=15068 vsize=14082736 memory=139856046927791 CPUtime=0 cores=1,3,5,7
/proc/15071/task/15075/stat : 15075 (java) S 15068 15071 11932 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246118065 14420721664 12631 33554432000 4194304 4196468 140730266661328 140396107696528 140396156139221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30543872 140730266670164 140730266670345 140730266670345 140730266673103 0
[pid=15071/tid=15076] ppid=15068 vsize=14082736 memory=139855946438828 CPUtime=0 cores=1,3,5,7
/proc/15071/task/15076/stat : 15076 (java) S 15068 15071 11932 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246118065 14420721664 12631 33554432000 4194304 4196468 140730266661328 140396106643984 140396156139221 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30543872 140730266670164 140730266670345 140730266670345 140730266673103 0
[pid=15071/tid=15077] ppid=15068 vsize=14082736 memory=139855946436047 CPUtime=0 cores=1,3,5,7
/proc/15071/task/15077/stat : 15077 (java) S 15068 15071 11932 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 246118065 14420721664 12631 33554432000 4194304 4196468 140730266661328 140395749239440 140396156139221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30543872 140730266670164 140730266670345 140730266670345 140730266673103 0
[pid=15071/tid=15078] ppid=15068 vsize=14082736 memory=139856046937399 CPUtime=0 cores=1,3,5,7
/proc/15071/task/15078/stat : 15078 (java) S 15068 15071 11932 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 246118066 14420721664 12631 33554432000 4194304 4196468 140730266661328 140395630533104 140396156140162 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30543872 140730266670164 140730266670345 140730266670345 140730266673103 0
[pid=15071/tid=15079] ppid=15068 vsize=14082736 memory=139855946445231 CPUtime=0 cores=1,3,5,7
/proc/15071/task/15079/stat : 15079 (java) S 15068 15071 11932 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 246118066 14420721664 12631 33554432000 4194304 4196468 140730266661328 140395629479328 140396156139221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30543872 140730266670164 140730266670345 140730266670345 140730266673103 0
[pid=15071/tid=15080] ppid=15068 vsize=14082736 memory=279711892881296 CPUtime=0 cores=1,3,5,7
/proc/15071/task/15080/stat : 15080 (java) S 15068 15071 11932 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 246118067 14420721664 12631 33554432000 4194304 4196468 140730266661328 140395628426736 140396156139221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30543872 140730266670164 140730266670345 140730266670345 140730266673103 0
[pid=15071/tid=15081] ppid=15068 vsize=14082736 memory=279711892878992 CPUtime=0 cores=1,3,5,7
/proc/15071/task/15081/stat : 15081 (java) S 15068 15071 11932 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246118069 14420721664 12631 33554432000 4194304 4196468 140730266661328 140395627375312 140396156147611 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30543872 140730266670164 140730266670345 140730266670345 140730266673103 0
[pid=15071/tid=15082] ppid=15068 vsize=14082736 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/15071/task/15082/stat : 15082 (java) S 15068 15071 11932 0 -1 1077944384 454 0 0 0 2 0 0 0 20 0 15 0 246118069 14420721664 12631 33554432000 4194304 4196468 140730266661328 140395626321904 140396156140162 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30543872 140730266670164 140730266670345 140730266670345 140730266673103 0
[pid=15071/tid=15083] ppid=15068 vsize=14082736 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/15071/task/15083/stat : 15083 (java) S 15068 15071 11932 0 -1 1077944384 159 0 0 0 1 0 0 0 20 0 15 0 246118069 14420721664 12631 33554432000 4194304 4196468 140730266661328 140395625269360 140396156140162 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30543872 140730266670164 140730266670345 140730266670345 140730266673103 0
[pid=15071/tid=15084] ppid=15068 vsize=14082736 memory=139856046925440 CPUtime=0.08 cores=1,3,5,7
/proc/15071/task/15084/stat : 15084 (java) S 15068 15071 11932 0 -1 1077944384 332 0 0 0 8 0 0 0 20 0 15 0 246118069 14420721664 12631 33554432000 4194304 4196468 140730266661328 140395624216816 140396156140162 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30543872 140730266670164 140730266670345 140730266670345 140730266673103 0
[pid=15071/tid=15085] ppid=15068 vsize=14082736 memory=2208 CPUtime=0 cores=1,3,5,7
/proc/15071/task/15085/stat : 15085 (java) S 15068 15071 11932 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246118069 14420721664 12631 33554432000 4194304 4196468 140730266661328 140395623164512 140396156139221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30543872 140730266670164 140730266670345 140730266670345 140730266673103 0
[pid=15071/tid=15086] ppid=15068 vsize=14082736 memory=139856046925440 CPUtime=0 cores=1,3,5,7
/proc/15071/task/15086/stat : 15086 (java) S 15068 15071 11932 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246118069 14420721664 12631 33554432000 4194304 4196468 140730266661328 140395622112048 140396156140162 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30543872 140730266670164 140730266670345 140730266670345 140730266673103 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 50524 KiB

[startup+0.700726 s]
/proc/loadavg: 1.64 1.58 1.59 3/215 15086
/proc/meminfo: memFree=20959388/32770624 swapFree=67108368/67108860
[pid=15071] ppid=15068 vsize=14084804 memory=89076 CPUtime=0.99 cores=1,3,5,7
/proc/15071/stat : 15071 (java) S 15068 15071 11932 0 -1 1077944320 17579 0 0 0 93 6 0 0 20 0 15 0 246118064 14422839296 22269 33554432000 4194304 4196468 140730266661328 140730266643872 140396156129015 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 30543872 140730266670164 140730266670345 140730266670345 140730266673103 0
/proc/15071/statm: 3521201 22269 3505 1 0 3483273 0
[pid=15071/tid=15073] ppid=15068 vsize=14084804 memory=872 CPUtime=0.66 cores=1,3,5,7
/proc/15071/task/15073/stat : 15073 (java) R 15068 15071 11932 0 -1 4202560 14830 0 0 0 62 4 0 0 20 0 15 0 246118064 14422839296 22269 33554432000 4194304 4196468 140730266661328 140396160348240 140396140209502 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30543872 140730266670164 140730266670345 140730266670345 140730266673103 0
[pid=15071/tid=15074] ppid=15068 vsize=14084804 memory=1920 CPUtime=0 cores=1,3,5,7
/proc/15071/task/15074/stat : 15074 (java) S 15068 15071 11932 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246118065 14422839296 22269 33554432000 4194304 4196468 140730266661328 140396108749072 140396156139221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30543872 140730266670164 140730266670345 140730266670345 140730266673103 0
[pid=15071/tid=15075] ppid=15068 vsize=14084804 memory=6272 CPUtime=0 cores=1,3,5,7
/proc/15071/task/15075/stat : 15075 (java) S 15068 15071 11932 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246118065 14422839296 22269 33554432000 4194304 4196468 140730266661328 140396107696528 140396156139221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30543872 140730266670164 140730266670345 140730266670345 140730266673103 0
[pid=15071/tid=15076] ppid=15068 vsize=14084804 memory=7014751519600366929 CPUtime=0 cores=1,3,5,7
/proc/15071/task/15076/stat : 15076 (java) S 15068 15071 11932 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246118065 14422839296 22269 33554432000 4194304 4196468 140730266661328 140396106643984 140396156139221 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30543872 140730266670164 140730266670345 140730266670345 140730266673103 0
[pid=15071/tid=15077] ppid=15068 vsize=14084804 memory=7019257425709197167 CPUtime=0 cores=1,3,5,7
/proc/15071/task/15077/stat : 15077 (java) S 15068 15071 11932 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 246118065 14422839296 22269 33554432000 4194304 4196468 140730266661328 140395749239440 140396156139221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30543872 140730266670164 140730266670345 140730266670345 140730266673103 0
[pid=15071/tid=15078] ppid=15068 vsize=14084804 memory=5787213848606435153 CPUtime=0 cores=1,3,5,7
/proc/15071/task/15078/stat : 15078 (java) S 15068 15071 11932 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 246118066 14422839296 22269 33554432000 4194304 4196468 140730266661328 140395630533104 140396156140162 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30543872 140730266670164 140730266670345 140730266670345 140730266673103 0
[pid=15071/tid=15079] ppid=15068 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15071/task/15079/stat : 15079 (java) S 15068 15071 11932 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 246118066 14422839296 22269 33554432000 4194304 4196468 140730266661328 140395629479328 140396156139221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30543872 140730266670164 140730266670345 140730266670345 140730266673103 0
[pid=15071/tid=15080] ppid=15068 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15071/task/15080/stat : 15080 (java) S 15068 15071 11932 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 246118067 14422839296 22269 33554432000 4194304 4196468 140730266661328 140395628426736 140396156139221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30543872 140730266670164 140730266670345 140730266670345 140730266673103 0
[pid=15071/tid=15081] ppid=15068 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15071/task/15081/stat : 15081 (java) S 15068 15071 11932 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246118069 14422839296 22269 33554432000 4194304 4196468 140730266661328 140395627375312 140396156147611 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30543872 140730266670164 140730266670345 140730266670345 140730266673103 0
[pid=15071/tid=15082] ppid=15068 vsize=14084804 memory=219 CPUtime=0.07 cores=1,3,5,7
/proc/15071/task/15082/stat : 15082 (java) S 15068 15071 11932 0 -1 1077944384 594 0 0 0 7 0 0 0 20 0 15 0 246118069 14422839296 22269 33554432000 4194304 4196468 140730266661328 140395626321904 140396156140162 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30543872 140730266670164 140730266670345 140730266670345 140730266673103 0
[pid=15071/tid=15083] ppid=15068 vsize=14084804 memory=7 CPUtime=0.07 cores=1,3,5,7
/proc/15071/task/15083/stat : 15083 (java) S 15068 15071 11932 0 -1 1077944384 333 0 0 0 7 0 0 0 20 0 15 0 246118069 14422839296 22269 33554432000 4194304 4196468 140730266661328 140395625269360 140396156140162 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30543872 140730266670164 140730266670345 140730266670345 140730266673103 0
[pid=15071/tid=15084] ppid=15068 vsize=14084804 memory=0 CPUtime=0.15 cores=1,3,5,7
/proc/15071/task/15084/stat : 15084 (java) S 15068 15071 11932 0 -1 1077944384 441 0 0 0 15 0 0 0 20 0 15 0 246118069 14422839296 22269 33554432000 4194304 4196468 140730266661328 140395624216816 140396156140162 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30543872 140730266670164 140730266670345 140730266670345 140730266673103 0
[pid=15071/tid=15085] ppid=15068 vsize=14084804 memory=279711893065200 CPUtime=0 cores=1,3,5,7
/proc/15071/task/15085/stat : 15085 (java) S 15068 15071 11932 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246118069 14422839296 22269 33554432000 4194304 4196468 140730266661328 140395623164512 140396156139221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30543872 140730266670164 140730266670345 140730266670345 140730266673103 0
[pid=15071/tid=15086] ppid=15068 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15071/task/15086/stat : 15086 (java) S 15068 15071 11932 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246118069 14422839296 22269 33554432000 4194304 4196468 140730266661328 140395622112048 140396156140162 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30543872 140730266670164 140730266670345 140730266670345 140730266673103 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 14084804 KiB
Current children cumulated memory: 89076 KiB

[startup+1.50142 s]
/proc/loadavg: 1.64 1.58 1.59 5/215 15086
/proc/meminfo: memFree=20898580/32770624 swapFree=67108368/67108860
[pid=15071] ppid=15068 vsize=14086852 memory=226468 CPUtime=3.37 cores=1,3,5,7
/proc/15071/stat : 15071 (java) S 15068 15071 11932 0 -1 1077944320 25736 0 0 0 326 11 0 0 20 0 15 0 246118064 14424936448 56617 33554432000 4194304 4196468 140730266661328 140730266643872 140396156129015 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 30543872 140730266670164 140730266670345 140730266670345 140730266673103 0
/proc/15071/statm: 3521713 56617 3563 1 0 3483785 0
[pid=15071/tid=15073] ppid=15068 vsize=14086852 memory=0 CPUtime=1.45 cores=1,3,5,7
/proc/15071/task/15073/stat : 15073 (java) R 15068 15071 11932 0 -1 4202560 17533 0 0 0 138 7 0 0 20 0 15 0 246118064 14424936448 56617 33554432000 4194304 4196468 140730266661328 140396160365016 140395787819296 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30543872 140730266670164 140730266670345 140730266670345 140730266673103 0
[pid=15071/tid=15074] ppid=15068 vsize=14086852 memory=-1088251628401078322 CPUtime=0 cores=1,3,5,7
/proc/15071/task/15074/stat : 15074 (java) S 15068 15071 11932 0 -1 1077944384 91 0 0 0 0 0 0 0 20 0 15 0 246118065 14424936448 56617 33554432000 4194304 4196468 140730266661328 140396108749072 140396156139221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30543872 140730266670164 140730266670345 140730266670345 140730266673103 0
[pid=15071/tid=15075] ppid=15068 vsize=14086852 memory=-3472574513799858009 CPUtime=0 cores=1,3,5,7
/proc/15071/task/15075/stat : 15075 (java) S 15068 15071 11932 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 15 0 246118065 14424936448 56617 33554432000 4194304 4196468 140730266661328 140396107696528 140396156139221 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30543872 140730266670164 140730266670345 140730266670345 140730266673103 0
[pid=15071/tid=15076] ppid=15068 vsize=14086852 memory=-6585528546044026665 CPUtime=0 cores=1,3,5,7
/proc/15071/task/15076/stat : 15076 (java) S 15068 15071 11932 0 -1 1077944384 133 0 0 0 0 0 0 0 20 0 15 0 246118065 14424936448 56617 33554432000 4194304 4196468 140730266661328 140396106643984 140396156139221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30543872 140730266670164 140730266670345 140730266670345 140730266673103 0
[pid=15071/tid=15077] ppid=15068 vsize=14086852 memory=-7665245701189620270 CPUtime=0 cores=1,3,5,7
/proc/15071/task/15077/stat : 15077 (java) S 15068 15071 11932 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 246118065 14424936448 56617 33554432000 4194304 4196468 140730266661328 140395749239440 140396156139221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30543872 140730266670164 140730266670345 140730266670345 140730266673103 0
[pid=15071/tid=15078] ppid=15068 vsize=14086852 memory=-6007061419334068327 CPUtime=0 cores=1,3,5,7
/proc/15071/task/15078/stat : 15078 (java) S 15068 15071 11932 0 -1 1077944384 212 0 0 0 0 0 0 0 20 0 15 0 246118066 14424936448 56617 33554432000 4194304 4196468 140730266661328 140395630533104 140396156140162 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30543872 140730266670164 140730266670345 140730266670345 140730266673103 0

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

/proc/15071/task/15073/stat : 15073 (java) R 15068 15071 11932 0 -1 4202560 226854 0 0 0 236928 82 0 0 20 0 15 0 246118064 14431227904 1258406 33554432000 4194304 4196468 140730266661328 140396160366080 140395792160098 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30543872 140730266670164 140730266670345 140730266670345 140730266673103 0
[pid=15071/tid=15074] ppid=15068 vsize=14092996 memory=5033624 CPUtime=11.19 cores=1,3,5,7
/proc/15071/task/15074/stat : 15074 (java) S 15068 15071 11932 0 -1 1077944384 36560 0 0 0 1050 69 0 0 20 0 15 0 246118065 14431227904 1258406 33554432000 4194304 4196468 140730266661328 140396108749072 140396156139221 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30543872 140730266670164 140730266670345 140730266670345 140730266673103 0
[pid=15071/tid=15075] ppid=15068 vsize=14092996 memory=5031576 CPUtime=11.2 cores=1,3,5,7
/proc/15071/task/15075/stat : 15075 (java) S 15068 15071 11932 0 -1 1077944384 36024 0 0 0 1049 71 0 0 20 0 15 0 246118065 14431227904 1258406 33554432000 4194304 4196468 140730266661328 140396107696528 140396156139221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30543872 140730266670164 140730266670345 140730266670345 140730266673103 0
[pid=15071/tid=15076] ppid=15068 vsize=14092996 memory=279711893961952 CPUtime=11.19 cores=1,3,5,7
/proc/15071/task/15076/stat : 15076 (java) S 15068 15071 11932 0 -1 1077944384 40554 0 0 0 1047 72 0 0 20 0 15 0 246118065 14431227904 1258406 33554432000 4194304 4196468 140730266661328 140396106643984 140396156139221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30543872 140730266670164 140730266670345 140730266670345 140730266673103 0
[pid=15071/tid=15077] ppid=15068 vsize=14092996 memory=5031576 CPUtime=11.21 cores=1,3,5,7
/proc/15071/task/15077/stat : 15077 (java) S 15068 15071 11932 0 -1 1077944384 38864 0 0 0 1051 70 0 0 20 0 15 0 246118065 14431227904 1258406 33554432000 4194304 4196468 140730266661328 140395749239440 140396156139221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30543872 140730266670164 140730266670345 140730266670345 140730266673103 0
[pid=15071/tid=15078] ppid=15068 vsize=14092996 memory=5033624 CPUtime=0.65 cores=1,3,5,7
/proc/15071/task/15078/stat : 15078 (java) S 15068 15071 11932 0 -1 1077944384 22608 0 0 0 56 9 0 0 20 0 15 0 246118066 14431227904 1258406 33554432000 4194304 4196468 140730266661328 140395630533104 140396156140162 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 43 0 0 6293624 6294260 30543872 140730266670164 140730266670345 140730266670345 140730266673103 0
[pid=15071/tid=15079] ppid=15068 vsize=14092996 memory=5033624 CPUtime=0 cores=1,3,5,7
/proc/15071/task/15079/stat : 15079 (java) S 15068 15071 11932 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 15 0 246118066 14431227904 1258406 33554432000 4194304 4196468 140730266661328 140395629479392 140396156139221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30543872 140730266670164 140730266670345 140730266670345 140730266673103 0
[pid=15071/tid=15080] ppid=15068 vsize=14092996 memory=5031576 CPUtime=0 cores=1,3,5,7
/proc/15071/task/15080/stat : 15080 (java) S 15068 15071 11932 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 246118067 14431227904 1258406 33554432000 4194304 4196468 140730266661328 140395628426752 140396156139221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30543872 140730266670164 140730266670345 140730266670345 140730266673103 0
[pid=15071/tid=15081] ppid=15068 vsize=14092996 memory=5033624 CPUtime=0 cores=1,3,5,7
/proc/15071/task/15081/stat : 15081 (java) S 15068 15071 11932 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246118069 14431227904 1258406 33554432000 4194304 4196468 140730266661328 140395627375312 140396156147611 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30543872 140730266670164 140730266670345 140730266670345 140730266673103 0
[pid=15071/tid=15082] ppid=15068 vsize=14092996 memory=5033624 CPUtime=5.45 cores=1,3,5,7
/proc/15071/task/15082/stat : 15082 (java) S 15068 15071 11932 0 -1 1077944384 36752 0 0 0 541 4 0 0 20 0 15 0 246118069 14431227904 1258406 33554432000 4194304 4196468 140730266661328 140395626321904 140396156140162 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30543872 140730266670164 140730266670345 140730266670345 140730266673103 0
[pid=15071/tid=15083] ppid=15068 vsize=14092996 memory=3684 CPUtime=5.13 cores=1,3,5,7
/proc/15071/task/15083/stat : 15083 (java) S 15068 15071 11932 0 -1 1077944384 34871 0 0 0 509 4 0 0 20 0 15 0 246118069 14431227904 1258406 33554432000 4194304 4196468 140730266661328 140395625269360 140396156140162 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30543872 140730266670164 140730266670345 140730266670345 140730266673103 0
[pid=15071/tid=15084] ppid=15068 vsize=14092996 memory=5031576 CPUtime=1.7 cores=1,3,5,7
/proc/15071/task/15084/stat : 15084 (java) S 15068 15071 11932 0 -1 1077944384 42990 0 0 0 166 4 0 0 20 0 15 0 246118069 14431227904 1258406 33554432000 4194304 4196468 140730266661328 140395624216816 140396156140162 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30543872 140730266670164 140730266670345 140730266670345 140730266673103 0
[pid=15071/tid=15085] ppid=15068 vsize=14092996 memory=5031576 CPUtime=0 cores=1,3,5,7
/proc/15071/task/15085/stat : 15085 (java) S 15068 15071 11932 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246118069 14431227904 1258406 33554432000 4194304 4196468 140730266661328 140395623164512 140396156139221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30543872 140730266670164 140730266670345 140730266670345 140730266673103 0
[pid=15071/tid=15086] ppid=15068 vsize=14092996 memory=5033624 CPUtime=1.41 cores=1,3,5,7
/proc/15071/task/15086/stat : 15086 (java) S 15068 15071 11932 0 -1 1077944384 2381 0 0 0 62 79 0 0 20 0 15 0 246118069 14431227904 1258406 33554432000 4194304 4196468 140730266661328 140395622112048 140396156140162 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 42 0 0 6293624 6294260 30543872 140730266670164 140730266670345 140730266670345 140730266673103 0
Current children cumulated CPU time: 2429.33 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 5033624 KiB

[startup+2442.3 s]
/proc/loadavg: 1.67 1.56 1.58 3/215 15284
/proc/meminfo: memFree=18374648/32770624 swapFree=67108368/67108860
[pid=15071] ppid=15068 vsize=14092996 memory=5150832 CPUtime=2491.91 cores=1,3,5,7
/proc/15071/stat : 15071 (java) S 15068 15071 11932 0 -1 1077944320 545682 0 0 0 248724 467 0 0 20 0 15 0 246118064 14431227904 1287708 33554432000 4194304 4196468 140730266661328 140730266643872 140396156129015 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 30543872 140730266670164 140730266670345 140730266670345 140730266673103 0
/proc/15071/statm: 3523249 1287708 3627 1 0 3485321 0
[pid=15071/tid=15073] ppid=15068 vsize=14092996 memory=5150832 CPUtime=2429.2 cores=1,3,5,7
/proc/15071/task/15073/stat : 15073 (java) R 15068 15071 11932 0 -1 4202560 232308 0 0 0 242837 83 0 0 20 0 15 0 246118064 14431227904 1287708 33554432000 4194304 4196468 140730266661328 140396160366080 140395792160239 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30543872 140730266670164 140730266670345 140730266670345 140730266673103 0
[pid=15071/tid=15074] ppid=15068 vsize=14092996 memory=5152672 CPUtime=12.04 cores=1,3,5,7
/proc/15071/task/15074/stat : 15074 (java) S 15068 15071 11932 0 -1 1077944384 39835 0 0 0 1132 72 0 0 20 0 15 0 246118065 14431227904 1287708 33554432000 4194304 4196468 140730266661328 140396108749072 140396156139221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30543872 140730266670164 140730266670345 140730266670345 140730266673103 0
[pid=15071/tid=15075] ppid=15068 vsize=14092996 memory=5152668 CPUtime=12.05 cores=1,3,5,7
/proc/15071/task/15075/stat : 15075 (java) S 15068 15071 11932 0 -1 1077944384 41949 0 0 0 1130 75 0 0 20 0 15 0 246118065 14431227904 1287708 33554432000 4194304 4196468 140730266661328 140396107696528 140396156139221 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30543872 140730266670164 140730266670345 140730266670345 140730266673103 0
[pid=15071/tid=15076] ppid=15068 vsize=14092996 memory=5152668 CPUtime=12.04 cores=1,3,5,7
/proc/15071/task/15076/stat : 15076 (java) S 15068 15071 11932 0 -1 1077944384 43105 0 0 0 1130 74 0 0 20 0 15 0 246118065 14431227904 1287708 33554432000 4194304 4196468 140730266661328 140396106643984 140396156139221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30543872 140730266670164 140730266670345 140730266670345 140730266673103 0
[pid=15071/tid=15077] ppid=15068 vsize=14092996 memory=5152672 CPUtime=12.06 cores=1,3,5,7
/proc/15071/task/15077/stat : 15077 (java) S 15068 15071 11932 0 -1 1077944384 41307 0 0 0 1134 72 0 0 20 0 15 0 246118065 14431227904 1287708 33554432000 4194304 4196468 140730266661328 140395749239440 140396156139221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30543872 140730266670164 140730266670345 140730266670345 140730266673103 0
[pid=15071/tid=15078] ppid=15068 vsize=14092996 memory=5150832 CPUtime=0.68 cores=1,3,5,7
/proc/15071/task/15078/stat : 15078 (java) S 15068 15071 11932 0 -1 1077944384 28164 0 0 0 59 9 0 0 20 0 15 0 246118066 14431227904 1287708 33554432000 4194304 4196468 140730266661328 140395630533104 140396156140162 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 43 0 0 6293624 6294260 30543872 140730266670164 140730266670345 140730266670345 140730266673103 0
[pid=15071/tid=15079] ppid=15068 vsize=14092996 memory=5150832 CPUtime=0 cores=1,3,5,7
/proc/15071/task/15079/stat : 15079 (java) S 15068 15071 11932 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 15 0 246118066 14431227904 1287708 33554432000 4194304 4196468 140730266661328 140395629479392 140396156139221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30543872 140730266670164 140730266670345 140730266670345 140730266673103 0
[pid=15071/tid=15080] ppid=15068 vsize=14092996 memory=5150832 CPUtime=0 cores=1,3,5,7
/proc/15071/task/15080/stat : 15080 (java) S 15068 15071 11932 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 246118067 14431227904 1287708 33554432000 4194304 4196468 140730266661328 140395628426752 140396156139221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30543872 140730266670164 140730266670345 140730266670345 140730266673103 0
[pid=15071/tid=15081] ppid=15068 vsize=14092996 memory=5152672 CPUtime=0 cores=1,3,5,7
/proc/15071/task/15081/stat : 15081 (java) S 15068 15071 11932 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246118069 14431227904 1287708 33554432000 4194304 4196468 140730266661328 140395627375312 140396156147611 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30543872 140730266670164 140730266670345 140730266670345 140730266673103 0
[pid=15071/tid=15082] ppid=15068 vsize=14092996 memory=3684 CPUtime=5.45 cores=1,3,5,7
/proc/15071/task/15082/stat : 15082 (java) S 15068 15071 11932 0 -1 1077944384 36754 0 0 0 541 4 0 0 20 0 15 0 246118069 14431227904 1287708 33554432000 4194304 4196468 140730266661328 140395626321904 140396156140162 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30543872 140730266670164 140730266670345 140730266670345 140730266673103 0
[pid=15071/tid=15083] ppid=15068 vsize=14092996 memory=5150832 CPUtime=5.13 cores=1,3,5,7
/proc/15071/task/15083/stat : 15083 (java) S 15068 15071 11932 0 -1 1077944384 34875 0 0 0 509 4 0 0 20 0 15 0 246118069 14431227904 1287708 33554432000 4194304 4196468 140730266661328 140395625269360 140396156140162 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30543872 140730266670164 140730266670345 140730266670345 140730266673103 0
[pid=15071/tid=15084] ppid=15068 vsize=14092996 memory=5150832 CPUtime=1.7 cores=1,3,5,7
/proc/15071/task/15084/stat : 15084 (java) S 15068 15071 11932 0 -1 1077944384 43510 0 0 0 166 4 0 0 20 0 15 0 246118069 14431227904 1287708 33554432000 4194304 4196468 140730266661328 140395624216816 140396156140162 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30543872 140730266670164 140730266670345 140730266670345 140730266673103 0
[pid=15071/tid=15085] ppid=15068 vsize=14092996 memory=5150832 CPUtime=0 cores=1,3,5,7
/proc/15071/task/15085/stat : 15085 (java) S 15068 15071 11932 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246118069 14431227904 1287708 33554432000 4194304 4196468 140730266661328 140395623164512 140396156139221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30543872 140730266670164 140730266670345 140730266670345 140730266673103 0
[pid=15071/tid=15086] ppid=15068 vsize=14092996 memory=9168 CPUtime=1.45 cores=1,3,5,7
/proc/15071/task/15086/stat : 15086 (java) S 15068 15071 11932 0 -1 1077944384 2423 0 0 0 64 81 0 0 20 0 15 0 246118069 14431227904 1287708 33554432000 4194304 4196468 140730266661328 140395622112048 140396156140162 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 42 0 0 6293624 6294260 30543872 140730266670164 140730266670345 140730266670345 140730266673103 0
Current children cumulated CPU time: 2491.91 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 5150832 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2469.9 s]
/proc/loadavg: 1.78 1.60 1.59 3/215 15284
/proc/meminfo: memFree=18374940/32770624 swapFree=67108368/67108860
[pid=15071] ppid=15068 vsize=14092996 memory=5148364 CPUtime=2520 cores=1,3,5,7
/proc/15071/stat : 15071 (java) S 15068 15071 11932 0 -1 1077944320 551655 0 0 0 251530 470 0 0 20 0 15 0 246118064 14431227904 1287091 33554432000 4194304 4196468 140730266661328 140730266643872 140396156129015 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 30543872 140730266670164 140730266670345 140730266670345 140730266673103 0
/proc/15071/statm: 3523249 1287091 3627 1 0 3485321 0
[pid=15071/tid=15073] ppid=15068 vsize=14092996 memory=5149816 CPUtime=2456.64 cores=1,3,5,7
/proc/15071/task/15073/stat : 15073 (java) R 15068 15071 11932 0 -1 4202560 235669 0 0 0 245580 84 0 0 20 0 15 0 246118064 14431227904 1287091 33554432000 4194304 4196468 140730266661328 140396160366112 140395792160098 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30543872 140730266670164 140730266670345 140730266670345 140730266673103 0
[pid=15071/tid=15074] ppid=15068 vsize=14092996 memory=5148364 CPUtime=12.2 cores=1,3,5,7
/proc/15071/task/15074/stat : 15074 (java) S 15068 15071 11932 0 -1 1077944384 40126 0 0 0 1148 72 0 0 20 0 15 0 246118065 14431227904 1287091 33554432000 4194304 4196468 140730266661328 140396108749072 140396156139221 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30543872 140730266670164 140730266670345 140730266670345 140730266673103 0
[pid=15071/tid=15075] ppid=15068 vsize=14092996 memory=5148364 CPUtime=12.21 cores=1,3,5,7
/proc/15071/task/15075/stat : 15075 (java) S 15068 15071 11932 0 -1 1077944384 42638 0 0 0 1146 75 0 0 20 0 15 0 246118065 14431227904 1287091 33554432000 4194304 4196468 140730266661328 140396107696528 140396156139221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30543872 140730266670164 140730266670345 140730266670345 140730266673103 0
[pid=15071/tid=15076] ppid=15068 vsize=14092996 memory=5148364 CPUtime=12.18 cores=1,3,5,7
/proc/15071/task/15076/stat : 15076 (java) S 15068 15071 11932 0 -1 1077944384 43703 0 0 0 1144 74 0 0 20 0 15 0 246118065 14431227904 1287091 33554432000 4194304 4196468 140730266661328 140396106643984 140396156139221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30543872 140730266670164 140730266670345 140730266670345 140730266673103 0
[pid=15071/tid=15077] ppid=15068 vsize=14092996 memory=5148364 CPUtime=12.22 cores=1,3,5,7
/proc/15071/task/15077/stat : 15077 (java) S 15068 15071 11932 0 -1 1077944384 42047 0 0 0 1150 72 0 0 20 0 15 0 246118065 14431227904 1287091 33554432000 4194304 4196468 140730266661328 140395749239440 140396156139221 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30543872 140730266670164 140730266670345 140730266670345 140730266673103 0
[pid=15071/tid=15078] ppid=15068 vsize=14092996 memory=5148364 CPUtime=0.69 cores=1,3,5,7
/proc/15071/task/15078/stat : 15078 (java) S 15068 15071 11932 0 -1 1077944384 28427 0 0 0 60 9 0 0 20 0 15 0 246118066 14431227904 1287091 33554432000 4194304 4196468 140730266661328 140395630533104 140396156140162 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 43 0 0 6293624 6294260 30543872 140730266670164 140730266670345 140730266670345 140730266673103 0
[pid=15071/tid=15079] ppid=15068 vsize=14092996 memory=1764 CPUtime=0 cores=1,3,5,7
/proc/15071/task/15079/stat : 15079 (java) S 15068 15071 11932 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 15 0 246118066 14431227904 1287091 33554432000 4194304 4196468 140730266661328 140395629479392 140396156139221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30543872 140730266670164 140730266670345 140730266670345 140730266673103 0
[pid=15071/tid=15080] ppid=15068 vsize=14092996 memory=5148364 CPUtime=0 cores=1,3,5,7
/proc/15071/task/15080/stat : 15080 (java) S 15068 15071 11932 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 246118067 14431227904 1287091 33554432000 4194304 4196468 140730266661328 140395628426752 140396156139221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30543872 140730266670164 140730266670345 140730266670345 140730266673103 0
[pid=15071/tid=15081] ppid=15068 vsize=14092996 memory=5148364 CPUtime=0 cores=1,3,5,7
/proc/15071/task/15081/stat : 15081 (java) S 15068 15071 11932 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246118069 14431227904 1287091 33554432000 4194304 4196468 140730266661328 140395627375312 140396156147611 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30543872 140730266670164 140730266670345 140730266670345 140730266673103 0
[pid=15071/tid=15082] ppid=15068 vsize=14092996 memory=5148364 CPUtime=5.46 cores=1,3,5,7
/proc/15071/task/15082/stat : 15082 (java) S 15068 15071 11932 0 -1 1077944384 36757 0 0 0 542 4 0 0 20 0 15 0 246118069 14431227904 1287091 33554432000 4194304 4196468 140730266661328 140395626321904 140396156140162 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30543872 140730266670164 140730266670345 140730266670345 140730266673103 0
[pid=15071/tid=15083] ppid=15068 vsize=14092996 memory=5148364 CPUtime=5.13 cores=1,3,5,7
/proc/15071/task/15083/stat : 15083 (java) S 15068 15071 11932 0 -1 1077944384 34877 0 0 0 509 4 0 0 20 0 15 0 246118069 14431227904 1287091 33554432000 4194304 4196468 140730266661328 140395625269360 140396156140162 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30543872 140730266670164 140730266670345 140730266670345 140730266673103 0
[pid=15071/tid=15084] ppid=15068 vsize=14092996 memory=5148364 CPUtime=1.7 cores=1,3,5,7
/proc/15071/task/15084/stat : 15084 (java) S 15068 15071 11932 0 -1 1077944384 43513 0 0 0 166 4 0 0 20 0 15 0 246118069 14431227904 1287091 33554432000 4194304 4196468 140730266661328 140395624216816 140396156140162 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30543872 140730266670164 140730266670345 140730266670345 140730266673103 0
[pid=15071/tid=15085] ppid=15068 vsize=14092996 memory=5148364 CPUtime=0 cores=1,3,5,7
/proc/15071/task/15085/stat : 15085 (java) S 15068 15071 11932 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246118069 14431227904 1287091 33554432000 4194304 4196468 140730266661328 140395623164512 140396156139221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30543872 140730266670164 140730266670345 140730266670345 140730266673103 0
[pid=15071/tid=15086] ppid=15068 vsize=14092996 memory=5148364 CPUtime=1.47 cores=1,3,5,7
/proc/15071/task/15086/stat : 15086 (java) S 15068 15071 11932 0 -1 1077944384 2446 0 0 0 65 82 0 0 20 0 15 0 246118069 14431227904 1287091 33554432000 4194304 4196468 140730266661328 140395622112048 140396156140162 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 42 0 0 6293624 6294260 30543872 140730266670164 140730266670345 140730266670345 140730266673103 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 5148364 KiB

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

[startup+2469.95 s]
# the end of solver process 15071 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2515.34 s, system=4.73405 s

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

[startup+2469.9 s]
/proc/loadavg: 1.78 1.60 1.59 3/215 15284
/proc/meminfo: memFree=18374940/32770624 swapFree=67108368/67108860
[pid=15071] ppid=15068 vsize=14092996 memory=5148364 CPUtime=2520 cores=1,3,5,7
/proc/15071/stat : 15071 (java) S 15068 15071 11932 0 -1 1077944320 551655 0 0 0 251530 470 0 0 20 0 15 0 246118064 14431227904 1287091 33554432000 4194304 4196468 140730266661328 140730266643872 140396156129015 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 30543872 140730266670164 140730266670345 140730266670345 140730266673103 0
/proc/15071/statm: 3523249 1287091 3627 1 0 3485321 0
[pid=15071/tid=15073] ppid=15068 vsize=14092996 memory=5149816 CPUtime=2456.64 cores=1,3,5,7
/proc/15071/task/15073/stat : 15073 (java) R 15068 15071 11932 0 -1 4202560 235669 0 0 0 245580 84 0 0 20 0 15 0 246118064 14431227904 1287091 33554432000 4194304 4196468 140730266661328 140396160366112 140395792160098 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30543872 140730266670164 140730266670345 140730266670345 140730266673103 0
[pid=15071/tid=15074] ppid=15068 vsize=14092996 memory=5148364 CPUtime=12.2 cores=1,3,5,7
/proc/15071/task/15074/stat : 15074 (java) S 15068 15071 11932 0 -1 1077944384 40126 0 0 0 1148 72 0 0 20 0 15 0 246118065 14431227904 1287091 33554432000 4194304 4196468 140730266661328 140396108749072 140396156139221 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30543872 140730266670164 140730266670345 140730266670345 140730266673103 0
[pid=15071/tid=15075] ppid=15068 vsize=14092996 memory=5148364 CPUtime=12.21 cores=1,3,5,7
/proc/15071/task/15075/stat : 15075 (java) S 15068 15071 11932 0 -1 1077944384 42638 0 0 0 1146 75 0 0 20 0 15 0 246118065 14431227904 1287091 33554432000 4194304 4196468 140730266661328 140396107696528 140396156139221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30543872 140730266670164 140730266670345 140730266670345 140730266673103 0
[pid=15071/tid=15076] ppid=15068 vsize=14092996 memory=5148364 CPUtime=12.18 cores=1,3,5,7
/proc/15071/task/15076/stat : 15076 (java) S 15068 15071 11932 0 -1 1077944384 43703 0 0 0 1144 74 0 0 20 0 15 0 246118065 14431227904 1287091 33554432000 4194304 4196468 140730266661328 140396106643984 140396156139221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30543872 140730266670164 140730266670345 140730266670345 140730266673103 0
[pid=15071/tid=15077] ppid=15068 vsize=14092996 memory=5148364 CPUtime=12.22 cores=1,3,5,7
/proc/15071/task/15077/stat : 15077 (java) S 15068 15071 11932 0 -1 1077944384 42047 0 0 0 1150 72 0 0 20 0 15 0 246118065 14431227904 1287091 33554432000 4194304 4196468 140730266661328 140395749239440 140396156139221 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30543872 140730266670164 140730266670345 140730266670345 140730266673103 0
[pid=15071/tid=15078] ppid=15068 vsize=14092996 memory=5148364 CPUtime=0.69 cores=1,3,5,7
/proc/15071/task/15078/stat : 15078 (java) S 15068 15071 11932 0 -1 1077944384 28427 0 0 0 60 9 0 0 20 0 15 0 246118066 14431227904 1287091 33554432000 4194304 4196468 140730266661328 140395630533104 140396156140162 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 43 0 0 6293624 6294260 30543872 140730266670164 140730266670345 140730266670345 140730266673103 0
[pid=15071/tid=15079] ppid=15068 vsize=14092996 memory=1764 CPUtime=0 cores=1,3,5,7
/proc/15071/task/15079/stat : 15079 (java) S 15068 15071 11932 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 15 0 246118066 14431227904 1287091 33554432000 4194304 4196468 140730266661328 140395629479392 140396156139221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30543872 140730266670164 140730266670345 140730266670345 140730266673103 0
[pid=15071/tid=15080] ppid=15068 vsize=14092996 memory=5148364 CPUtime=0 cores=1,3,5,7
/proc/15071/task/15080/stat : 15080 (java) S 15068 15071 11932 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 246118067 14431227904 1287091 33554432000 4194304 4196468 140730266661328 140395628426752 140396156139221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30543872 140730266670164 140730266670345 140730266670345 140730266673103 0
[pid=15071/tid=15081] ppid=15068 vsize=14092996 memory=5148364 CPUtime=0 cores=1,3,5,7
/proc/15071/task/15081/stat : 15081 (java) S 15068 15071 11932 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246118069 14431227904 1287091 33554432000 4194304 4196468 140730266661328 140395627375312 140396156147611 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30543872 140730266670164 140730266670345 140730266670345 140730266673103 0
[pid=15071/tid=15082] ppid=15068 vsize=14092996 memory=5148364 CPUtime=5.46 cores=1,3,5,7
/proc/15071/task/15082/stat : 15082 (java) S 15068 15071 11932 0 -1 1077944384 36757 0 0 0 542 4 0 0 20 0 15 0 246118069 14431227904 1287091 33554432000 4194304 4196468 140730266661328 140395626321904 140396156140162 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30543872 140730266670164 140730266670345 140730266670345 140730266673103 0
[pid=15071/tid=15083] ppid=15068 vsize=14092996 memory=5148364 CPUtime=5.13 cores=1,3,5,7
/proc/15071/task/15083/stat : 15083 (java) S 15068 15071 11932 0 -1 1077944384 34877 0 0 0 509 4 0 0 20 0 15 0 246118069 14431227904 1287091 33554432000 4194304 4196468 140730266661328 140395625269360 140396156140162 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30543872 140730266670164 140730266670345 140730266670345 140730266673103 0
[pid=15071/tid=15084] ppid=15068 vsize=14092996 memory=5148364 CPUtime=1.7 cores=1,3,5,7
/proc/15071/task/15084/stat : 15084 (java) S 15068 15071 11932 0 -1 1077944384 43513 0 0 0 166 4 0 0 20 0 15 0 246118069 14431227904 1287091 33554432000 4194304 4196468 140730266661328 140395624216816 140396156140162 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30543872 140730266670164 140730266670345 140730266670345 140730266673103 0
[pid=15071/tid=15085] ppid=15068 vsize=14092996 memory=5148364 CPUtime=0 cores=1,3,5,7
/proc/15071/task/15085/stat : 15085 (java) S 15068 15071 11932 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246118069 14431227904 1287091 33554432000 4194304 4196468 140730266661328 140395623164512 140396156139221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30543872 140730266670164 140730266670345 140730266670345 140730266673103 0
[pid=15071/tid=15086] ppid=15068 vsize=14092996 memory=5148364 CPUtime=1.47 cores=1,3,5,7
/proc/15071/task/15086/stat : 15086 (java) S 15068 15071 11932 0 -1 1077944384 2446 0 0 0 65 82 0 0 20 0 15 0 246118069 14431227904 1287091 33554432000 4194304 4196468 140730266661328 140395622112048 140396156140162 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 42 0 0 6293624 6294260 30543872 140730266670164 140730266670345 140730266670345 140730266673103 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 5148364 KiB

Child status: 143
Real time (s): 2469.95
CPU time (s): 2520.07
CPU user time (s): 2515.34
CPU system time (s): 4.73405
CPU usage (%): 102.029
Max. virtual memory (cumulated for all children) (KiB): 14092996
Max. memory (cumulated for all children) (KiB): 5152672

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.34
system time used= 4.73405
maximum resident set size= 5152672
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 553486
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3176
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 68154
involuntary context switches= 2145


# summary of solver processes directly reported to runsolver:
#   pid: 15071
#   total CPU time (s): 2520.07
#   total CPU user time (s): 2515.34
#   total CPU system time (s): 4.73405

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.0764 second user time and 20.8089 second system time

The end

Launcher Data 

Begin job on node148 at 2018-08-15 00:25:49
IDJOB=4308657
IDBENCH=141195
IDSOLVER=2792
FILE ID=node148/4308657-1534285549
RUNJOBID= node148-1534270838-13463
PBS_JOBID= 21038117
Free space on /tmp= 42612 MiB

SOLVER NAME= OscaR - Hybrid 2018-08-14
BENCH NAME= XCSP18/Rlfap/Rlfap-opt/Rlfap-graph-12-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-4308657-1534285549/watcher-4308657-1534285549 -o /tmp/evaluation-result-4308657-1534285549/solver-4308657-1534285549 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node148-1534270838-13463 --watchdog 2580  java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed 1326269152 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4308657-1534285549.xml

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

MD5SUM BENCH= 6121a94880b1ccb1614ec86f716938fa
RANDOM SEED=1326269152

node148.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:        21018412 kB
MemAvailable:   29126180 kB
Buffers:          163404 kB
Cached:          8150460 kB
SwapCached:            4 kB
Active:          7184696 kB
Inactive:        3956004 kB
Active(anon):    2780240 kB
Inactive(anon):    98752 kB
Active(file):    4404456 kB
Inactive(file):  3857252 kB
Unevictable:        7348 kB
Mlocked:            7348 kB
SwapTotal:      67108860 kB
SwapFree:       67108368 kB
Dirty:             35832 kB
Writeback:             0 kB
AnonPages:       2842080 kB
Mapped:            68304 kB
Shmem:             49588 kB
Slab:             303488 kB
SReclaimable:     274520 kB
SUnreclaim:        28968 kB
KernelStack:        3792 kB
PageTables:        11044 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    3451744 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2670592 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      116096 kB
DirectMap2M:    33429504 kB

Free space on /tmp at the end= 42576 MiB
End job on node148 at 2018-08-15 01:06:59