Trace number 4308680

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)2494709 2520.12 2449.55

General information on the benchmark

NameAuction/Auction-cnt/
Auction-cnt-decay400_c18.xml
MD5SUMef5bf96e0ba9cc2c7a758eef92479658
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark2494709
Best CPU time to get the best result obtained on this benchmark2520.12
Satisfiable
(Un)Satisfiability was proved
Number of variables2000
Number of constraints400
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":2000}]
Minimum variable degree2
Maximum variable degree40
Distribution of variable degrees[{"degree":2,"count":289},{"degree":3,"count":388},{"degree":4,"count":306},{"degree":5,"count":228},{"degree":6,"count":177},{"degree":7,"count":144},{"degree":8,"count":94},{"degree":9,"count":75},{"degree":10,"count":72},{"degree":11,"count":50},{"degree":12,"count":41},{"degree":13,"count":35},{"degree":14,"count":25},{"degree":15,"count":25},{"degree":16,"count":8},{"degree":17,"count":7},{"degree":18,"count":9},{"degree":19,"count":3},{"degree":20,"count":7},{"degree":21,"count":5},{"degree":22,"count":3},{"degree":23,"count":2},{"degree":24,"count":2},{"degree":25,"count":2},{"degree":29,"count":1},{"degree":32,"count":1},{"degree":40,"count":1}]
Minimum constraint arity12
Maximum constraint arity37
Distribution of constraint arities[{"arity":12,"count":1},{"arity":13,"count":2},{"arity":14,"count":5},{"arity":15,"count":4},{"arity":16,"count":5},{"arity":17,"count":17},{"arity":18,"count":18},{"arity":19,"count":18},{"arity":20,"count":18},{"arity":21,"count":33},{"arity":22,"count":38},{"arity":23,"count":36},{"arity":24,"count":35},{"arity":25,"count":32},{"arity":26,"count":31},{"arity":27,"count":21},{"arity":28,"count":23},{"arity":29,"count":10},{"arity":30,"count":16},{"arity":31,"count":8},{"arity":32,"count":12},{"arity":33,"count":4},{"arity":34,"count":4},{"arity":35,"count":5},{"arity":36,"count":3},{"arity":37,"count":1}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"count","count":400}]
Optimization problemYES
Type of objectivemax 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.31/0.55	c version: 2018-08-14
0.31/0.71	c seed: 699460458
0.31/0.71	c timeout: 2520
0.31/0.71	c memlimit: 11000
0.31/0.71	c nbcore: 4
0.31/0.71	c Parsing instance...
3.79/2.05	c Parsing done, starting first complete search...
4.67/2.33	o 0
4.67/2.33	o 19026
4.67/2.33	o 27190
4.67/2.33	o 46216
4.67/2.34	o 46287
4.67/2.34	o 60652
4.67/2.34	o 63660
4.67/2.35	o 66969
4.67/2.35	o 71630
4.67/2.35	o 74813
4.67/2.35	o 77821
4.67/2.35	o 85995
4.67/2.35	o 89003
4.67/2.36	o 95443
4.67/2.36	o 98451
4.67/2.37	o 103873
4.67/2.37	o 106881
4.67/2.37	o 109561
4.67/2.37	o 117877
4.67/2.37	o 134332
4.67/2.37	o 152232
4.67/2.37	o 155826
4.67/2.38	o 158834
4.67/2.38	o 167150
4.67/2.38	o 170602
4.67/2.38	o 180837
4.67/2.38	o 188813
4.67/2.39	o 190358
4.67/2.39	o 192857
4.67/2.39	o 193801
4.67/2.40	o 204929
4.96/2.40	o 207705
4.96/2.40	o 213032
4.96/2.40	o 215697
4.96/2.40	o 216218
4.96/2.40	o 217763
4.96/2.40	o 224648
4.96/2.41	o 226193
4.96/2.41	o 227425
4.96/2.41	o 227549
4.96/2.41	o 234310
4.96/2.41	o 235855
4.96/2.41	o 239637
4.96/2.41	o 241182
4.96/2.42	o 246670
4.96/2.42	o 248215
4.96/2.42	o 255100
4.96/2.42	o 256645
4.96/2.42	o 257371
4.96/2.42	o 260310
4.96/2.43	o 266266
4.96/2.43	o 266874
4.96/2.43	o 272927
4.96/2.44	o 279688
4.96/2.44	o 281233
4.96/2.44	o 284172
4.96/2.44	o 284734
4.96/2.45	o 284800
4.96/2.45	o 287739
4.96/2.46	o 290340
4.96/2.46	o 293279
4.96/2.46	o 296924
4.96/2.46	o 301784
4.96/2.47	o 311750
4.96/2.47	o 314689
4.96/2.48	o 315705
4.96/2.48	o 316692
4.96/2.48	o 318237
4.96/2.48	o 321245
4.96/2.49	o 323696
5.35/2.52	o 325241
5.35/2.53	o 328655
5.35/2.53	o 331594
5.35/2.53	o 354206
5.35/2.55	o 356231
5.35/2.55	o 356793
5.35/2.55	o 358580
5.35/2.55	o 359142
5.35/2.55	o 360125
5.35/2.56	o 360687
5.35/2.56	o 363137
5.35/2.56	o 363699
5.35/2.56	o 366076
5.35/2.56	o 366638
5.35/2.58	o 367110
5.35/2.60	o 367883
5.35/2.60	o 368445
5.35/2.60	o 370822
5.35/2.60	o 371384
5.61/2.61	o 371641
5.61/2.63	o 372055
5.61/2.63	o 372527
5.61/2.63	o 372784
5.61/2.64	o 374584
5.61/2.64	o 375056
5.61/2.66	o 375949
5.61/2.66	o 376421
5.61/2.66	o 376678
5.61/2.68	o 378073
5.61/2.68	o 378545
5.61/2.68	o 378802
5.61/2.69	o 379741
5.61/2.69	o 380213
5.61/2.69	o 382269
5.61/2.69	o 382741
5.61/2.69	o 385281
5.61/2.69	o 385753
5.88/2.70	o 385828
5.88/2.70	o 387427
5.88/2.70	o 387899
5.88/2.71	o 389685
5.88/2.71	o 390157
5.88/2.71	o 392693
5.88/2.71	o 393165
5.88/2.71	o 395705
5.88/2.71	o 396177
5.88/2.72	o 396255
5.88/2.72	o 396727
5.88/2.72	o 399263
5.88/2.72	o 399735
5.88/2.72	o 399926
5.88/2.73	o 400398
5.88/2.73	o 402275
5.88/2.73	o 402747
5.88/2.74	o 403187
5.88/2.74	o 407269
5.88/2.74	o 407741
5.88/2.74	o 407831
5.88/2.74	o 408303
5.88/2.74	o 409206
5.88/2.74	o 409678
5.88/2.74	o 409914
5.88/2.75	o 410386
5.88/2.75	o 410588
5.88/2.75	o 410695
5.88/2.75	o 417251
5.88/2.75	o 417723
5.88/2.75	o 420263
5.88/2.75	o 420735
5.88/2.77	o 421421
5.88/2.78	o 421893
5.88/2.79	o 423176
5.88/2.79	o 423648
5.88/2.79	o 428292
5.88/2.79	o 428764
6.18/2.80	o 429550
6.18/2.80	o 430022
6.18/2.80	o 430693
6.18/2.80	o 431165
6.18/2.80	o 433042
6.18/2.80	o 433514
6.18/2.81	o 434438
6.18/2.81	o 434910
6.18/2.81	o 437450
6.18/2.81	o 437922
6.18/2.82	o 438158
6.18/2.82	o 438630
6.18/2.84	o 440567
6.18/2.85	o 441039
6.18/2.88	o 441290
6.18/2.88	o 442085
6.18/2.88	o 442557
6.18/2.88	o 443373
6.18/2.88	o 446381
6.18/2.88	o 446853
6.18/2.88	o 451763
6.18/2.88	o 452906
6.18/2.89	o 454766
6.18/2.89	o 461336
6.18/2.89	o 463541
6.18/2.89	o 464249
6.18/2.90	o 468657
6.18/2.90	o 469365
6.39/2.95	o 471461
6.39/2.95	o 472169
6.39/2.95	o 475181
6.50/3.04	o 477322
6.50/3.04	o 479671
6.50/3.04	o 480379
6.50/3.05	o 482683
6.50/3.05	o 483391
6.61/3.10	o 484064
6.61/3.12	o 484724
6.61/3.13	o 487133
6.61/3.13	o 489482
6.61/3.13	o 491786
6.61/3.13	o 492494
6.61/3.16	o 493112
6.61/3.16	o 495461
6.61/3.16	o 497870
6.61/3.16	o 498578
6.61/3.17	o 498594
6.61/3.17	o 501003
6.61/3.17	o 503352
6.61/3.17	o 505255
6.61/3.20	o 505926
6.72/3.20	o 508901
6.72/3.21	o 509047
6.72/3.21	o 509137
6.72/3.21	o 509609
6.72/3.21	o 509926
6.72/3.21	o 510117
6.72/3.21	o 512466
6.72/3.21	o 512938
6.72/3.21	o 513174
6.72/3.21	o 513646
6.72/3.22	o 514228
6.72/3.22	o 514700
6.72/3.22	o 514936
6.72/3.22	o 515408
6.72/3.22	o 517948
6.72/3.22	o 518420
6.72/3.23	o 518948
6.72/3.23	o 519420
6.72/3.23	o 519656
6.72/3.23	o 520128
6.72/3.23	o 526226
6.72/3.23	o 526698
6.72/3.27	o 527415
6.72/3.27	o 527887
6.72/3.27	o 527977
6.72/3.27	o 528449
6.72/3.27	o 528685
6.72/3.27	o 529157
6.92/3.49	o 529428
6.92/3.49	o 529900
6.92/3.49	o 529990
6.92/3.49	o 530462
7.03/3.51	o 532337
7.03/3.51	o 532809
7.03/3.51	o 537620
7.03/3.51	o 538182
7.03/3.51	o 538816
7.03/3.51	o 541821
7.03/3.51	o 542383
7.03/3.52	o 542529
7.03/3.52	o 543091
7.03/3.52	o 547865
7.43/3.92	o 549566
7.43/3.92	o 550128
8.00/4.47	o 550961
8.00/4.47	o 551669
8.50/4.96	o 552139
8.60/5.03	o 552856
8.60/5.03	o 553328
8.60/5.03	o 555868
8.60/5.03	o 556340
9.14/5.55	o 556576
9.14/5.55	o 557048
9.73/6.14	o 558999
9.73/6.14	o 559471
9.73/6.15	o 562011
9.73/6.15	o 562483
10.03/6.44	o 563037
10.03/6.44	o 563509
10.03/6.45	o 563745
10.03/6.45	o 564217
10.03/6.49	o 564965
10.03/6.49	o 565437
10.15/6.52	o 566157
10.15/6.52	o 566629
10.15/6.52	o 566719
10.15/6.52	o 567191
10.15/6.52	o 569731
10.15/6.52	o 570203
10.15/6.58	o 570621
10.34/6.70	o 571810
10.34/6.70	o 572282
10.69/7.01	o 572999
10.69/7.01	o 573471
10.69/7.02	o 573707
10.69/7.02	o 574179
10.99/7.32	o 576011
10.99/7.33	o 576483
10.99/7.33	o 576719
10.99/7.33	o 577191
10.99/7.35	o 577212
10.99/7.36	o 577684
10.99/7.36	o 580224
10.99/7.36	o 580696
11.09/7.50	o 581978
11.09/7.50	o 582450
11.20/7.51	o 582581
11.20/7.51	o 583053
11.20/7.51	o 584990
11.20/7.51	o 585462
13.39/9.73	o 585870
13.39/9.73	o 586342
13.39/9.74	o 586423
13.39/9.74	o 588866
13.39/9.74	o 589428
13.39/9.74	o 589900
13.39/9.74	o 591878
13.39/9.74	o 592350
13.39/9.74	o 592440
13.39/9.74	o 592912
15.59/11.84	o 593062
15.59/11.84	o 593534
18.74/14.97	o 595272
18.84/15.07	o 595894
20.45/16.68	o 597195
20.45/16.68	o 604516
20.54/16.73	o 604545
20.54/16.73	o 604595
20.54/16.73	o 607004
36.85/32.91	c First complete search done, starting ALNS search...
37.35/33.12	o 607578
37.35/33.12	o 608272
37.35/33.12	o 609110
37.35/33.12	o 611068
37.35/33.12	o 613308
37.35/33.13	o 615663
37.35/33.13	o 615847
37.35/33.13	o 617149
37.35/33.13	o 617843
37.35/33.13	o 618681
37.35/33.13	o 622879
37.35/33.13	o 625119
37.35/33.13	o 626252
37.35/33.13	o 628492
37.35/33.13	o 630450
37.35/33.13	o 632690
37.35/33.13	o 635975
37.35/33.14	o 638155
37.35/33.14	o 638993
37.35/33.14	o 643191
37.35/33.14	o 645431
37.35/33.14	o 646111
37.35/33.14	o 648069
37.35/33.14	o 650309
37.35/33.14	o 654112
37.35/33.14	o 654400
37.35/33.14	o 655042
37.35/33.14	o 656044
37.35/33.14	o 659282
37.35/33.14	o 659637
37.35/33.15	o 661123
37.35/33.15	o 661817
37.35/33.15	o 662655
37.35/33.15	o 666853
37.35/33.15	o 669093
37.35/33.15	o 670007
37.35/33.15	o 670060
37.35/33.15	o 670218
37.35/33.15	o 675096
37.35/33.15	o 677336
37.35/33.15	o 678250
37.35/33.15	o 679294
37.35/33.15	o 680208
37.35/33.15	o 681534
37.35/33.16	o 682448
37.35/33.16	o 682476
37.35/33.16	o 683390
37.35/33.16	o 684075
37.35/33.16	o 686315
37.35/33.16	o 688273
37.35/33.16	o 690513
37.35/33.16	o 691455
37.35/33.16	o 692369
37.35/33.16	o 693731
37.35/33.16	o 694673
37.35/33.16	o 695587
37.35/33.16	o 698601
37.35/33.16	o 699515
37.35/33.17	o 701294
37.35/33.17	o 701974
37.35/33.17	o 706172
37.35/33.17	o 707086
37.35/33.17	o 707114
37.35/33.17	o 708028
37.35/33.17	o 710115
37.35/33.17	o 710273
37.35/33.17	o 710953
37.35/33.17	o 715151
37.35/33.17	o 716093
37.35/33.17	o 717007
37.35/33.17	o 717391
37.35/33.17	o 718333
37.35/33.18	o 719247
37.35/33.18	o 719317
37.35/33.18	o 722601
37.35/33.18	o 723515
37.35/33.18	o 724841
37.35/33.18	o 725755
37.35/33.18	o 725783
37.35/33.18	o 726697
37.35/33.18	o 727064
37.35/33.18	o 728006
37.35/33.18	o 728078
37.35/33.18	o 730318
37.35/33.18	o 730374
37.35/33.18	o 731212
37.35/33.19	o 735410
37.35/33.19	o 737923
37.35/33.19	o 738617
37.35/33.19	o 741318
37.35/33.19	o 743653
37.35/33.19	o 747851
37.35/33.19	o 750091
37.35/33.19	o 751033
37.35/33.19	o 751947
37.35/33.19	o 752930
37.35/33.19	o 753824
37.35/33.19	o 755687
37.35/33.19	o 758022
37.35/33.20	o 759149
37.35/33.20	o 760557
37.52/33.20	o 760912
37.52/33.20	o 761229
37.52/33.20	o 763930
37.52/33.20	o 765427
37.52/33.20	o 768128
37.52/33.20	o 770463
37.52/33.20	o 772703
37.52/33.20	o 773645
37.52/33.20	o 774559
37.52/33.20	o 775095
37.52/33.20	o 775123
37.52/33.20	o 776037
37.52/33.21	o 777020
37.52/33.21	o 777962
37.52/33.21	o 778009
37.52/33.21	o 779316
37.52/33.21	o 780154
37.52/33.21	o 782112
37.52/33.21	o 784352
37.52/33.21	o 786982
37.52/33.21	o 787103
37.52/33.21	o 788823
37.52/33.21	o 790355
37.52/33.21	o 794553
37.52/33.21	o 796793
37.52/33.21	o 797735
37.52/33.22	o 798649
37.52/33.22	o 799801
37.52/33.22	o 800743
37.52/33.22	o 801657
37.52/33.22	o 801833
37.52/33.22	o 803791
37.52/33.22	o 806031
37.52/33.22	o 806973
37.52/33.22	o 807009
37.52/33.22	o 807509
37.52/33.22	o 809041
37.52/33.22	o 810231
37.52/33.23	o 813239
37.52/33.23	o 815479
37.52/33.23	o 816421
37.52/33.23	o 817888
37.52/33.23	o 818830
37.52/33.24	o 819671
37.52/33.24	o 819903
37.52/33.24	o 820845
37.52/33.25	o 821686
38.28/33.63	o 822438
38.28/33.63	o 823647
38.28/33.63	o 824897
38.28/33.64	o 826106
38.28/33.64	o 826299
38.28/33.64	o 828515
38.28/33.64	o 829718
38.28/33.64	o 831934
38.28/33.64	o 833143
38.28/33.64	o 834838
38.28/33.64	o 837054
38.28/33.64	o 838263
39.20/34.39	o 838868
39.20/34.39	o 839151
39.20/34.39	o 839344
39.20/34.39	o 840351
39.20/34.39	o 841560
39.20/34.39	o 842240
39.20/34.39	o 842713
39.20/34.39	o 843242
39.20/34.40	o 843922
39.30/34.40	o 844136
39.30/34.40	o 845619
39.30/34.40	o 846828
39.30/34.40	o 847508
39.30/34.42	o 847572
39.30/34.42	o 848101
39.30/34.42	o 848781
39.30/34.44	o 849701
39.30/34.44	o 850910
39.30/34.44	o 851590
39.30/34.44	o 851804
39.30/34.44	o 853287
39.30/34.44	o 853967
39.30/34.45	o 854496
39.30/34.45	o 855176
40.03/35.14	o 855837
40.03/35.14	o 856869
40.03/35.14	o 858595
40.03/35.14	o 859181
40.03/35.15	o 860907
40.03/35.15	o 861961
40.03/35.15	o 863687
40.03/35.15	o 863796
40.03/35.15	o 864065
40.03/35.15	o 865028
40.03/35.15	o 865951
40.03/35.15	o 867031
40.03/35.15	o 868263
40.03/35.16	o 868757
40.03/35.16	o 869665
40.03/35.16	o 871391
40.03/35.16	o 872222
40.03/35.16	o 872716
40.03/35.16	o 873563
40.03/35.16	o 874056
40.03/35.17	o 875565
40.03/35.17	o 877291
40.03/35.17	o 878199
40.03/35.17	o 879925
40.03/35.18	o 881192
40.03/35.18	o 882424
40.03/35.18	o 882918
40.03/35.18	o 883098
40.03/35.18	o 884824
40.03/35.18	o 885732
40.03/35.18	o 887458
40.03/35.18	o 887833
40.03/35.18	o 888126
40.03/35.18	o 889358
40.03/35.18	o 889852
40.03/35.19	o 890068
40.03/35.19	o 890664
40.03/35.19	o 891758
40.03/35.19	o 892080
40.03/35.19	o 892666
40.03/35.19	o 894392
40.03/35.19	o 894767
40.03/35.19	o 895224
40.03/35.19	o 895718
40.03/35.20	o 896036
40.03/35.20	o 896529
40.14/35.20	o 897130
40.14/35.20	o 897452
40.14/35.20	o 898532
40.14/35.20	o 899764
40.14/35.20	o 900258
40.14/35.22	o 901356
40.14/35.22	o 901717
40.14/35.22	o 903173
40.14/35.22	o 903254
40.14/35.22	o 904980
40.14/35.22	o 905740
40.14/35.22	o 906062
40.14/35.22	o 908374
40.14/35.22	o 910100
40.14/35.22	o 911556
40.14/35.22	o 912328
40.14/35.22	o 913784
40.14/35.23	o 914640
40.14/35.23	o 916096
40.14/35.23	o 916471
40.14/35.23	o 917422
40.14/35.23	o 918194
40.14/35.23	o 919650
40.14/35.23	o 920506
40.14/35.23	o 921962
40.14/35.23	o 922101
40.14/35.24	o 922702
40.14/35.24	o 923024
40.14/35.24	o 923610
40.14/35.24	o 925336
40.14/35.24	o 925685
40.14/35.24	o 926179
40.14/35.25	o 927245
40.14/35.25	o 928477
40.14/35.25	o 928971
40.14/35.27	o 929731
40.14/35.27	o 931187
40.14/35.27	o 931959
40.14/35.27	o 932545
40.14/35.27	o 934271
40.14/35.27	o 935727
40.14/35.27	o 937375
40.14/35.28	o 939101
40.14/35.29	o 940066
40.14/35.29	o 941522
40.14/35.29	o 942338
40.14/35.30	o 943174
40.14/35.30	o 944148
40.25/35.30	o 944373
40.25/35.30	o 945465
40.25/35.30	o 946121
40.25/35.30	o 946722
40.25/35.30	o 947044
40.25/35.30	o 949356
40.25/35.30	o 951082
40.25/35.30	o 952538
40.25/35.31	o 953040
40.25/35.31	o 953310
40.25/35.31	o 954766
40.25/35.31	o 955622
40.25/35.31	o 957078
40.25/35.32	o 957084
40.25/35.32	o 957406
40.25/35.32	o 957992
40.25/35.32	o 959718
40.25/35.32	o 959740
40.25/35.32	o 959898
40.25/35.32	o 960220
40.25/35.32	o 962532
40.25/35.32	o 964258
40.25/35.33	o 965880
40.25/35.33	o 967606
40.25/35.33	o 968192
40.25/35.33	o 969918
40.25/35.33	o 970420
40.25/35.33	o 972732
40.25/35.33	o 974458
40.92/35.96	o 974511
40.92/35.96	o 974606
40.92/35.96	o 975142
40.92/35.96	o 975822
40.92/35.97	o 975917
40.92/35.97	o 977881
40.92/35.97	o 977976
40.92/35.97	o 979939
40.92/35.97	o 980034
40.92/35.97	o 980108
40.92/35.97	o 980290
40.92/35.97	o 982348
40.92/35.97	o 982443
40.92/35.97	o 983028
40.92/35.97	o 983123
40.92/35.97	o 983166
40.92/35.97	o 983261
40.92/35.98	o 983713
40.92/35.98	o 984393
40.92/35.98	o 984447
40.92/35.98	o 986505
40.92/35.98	o 987185
40.92/35.98	o 987280
40.92/35.98	o 987441
40.92/35.98	o 987536
41.07/36.00	o 988029
41.07/36.00	o 988709
41.07/36.00	o 988804
41.07/36.01	o 988965
41.07/36.01	o 989060
41.07/36.02	o 989401
41.07/36.03	o 989496
41.07/36.03	o 989657
41.07/36.03	o 989752
41.07/36.05	o 990260
41.07/36.05	o 990940
41.07/36.05	o 991025
41.07/36.05	o 991207
41.07/36.05	o 991741
41.07/36.05	o 993265
41.07/36.05	o 993945
41.07/36.05	o 993957
41.07/36.06	o 994637
41.07/36.06	o 995109
41.07/36.06	o 995322
41.07/36.06	o 995705
41.07/36.06	o 995898
41.07/36.06	o 997422
41.07/36.06	o 998114
41.07/36.06	o 998794
41.07/36.07	o 999050
41.07/36.08	o 999614
41.07/36.08	o 1000090
41.07/36.08	o 1000922
41.07/36.08	o 1001614
41.07/36.08	o 1002294
41.07/36.08	o 1002980
41.07/36.09	o 1003660
41.07/36.09	o 1003672
41.07/36.09	o 1004352
41.07/36.09	o 1004490
41.17/36.10	o 1005037
41.17/36.10	o 1005079
41.17/36.11	o 1005771
41.17/36.11	o 1007137
41.17/36.11	o 1007829
41.17/36.11	o 1008509
41.17/36.11	o 1008765
41.49/36.30	o 1008938
41.49/36.31	o 1009438
41.49/36.31	o 1009631
41.49/36.31	o 1011943
41.49/36.31	o 1012443
41.49/36.31	o 1014001
41.49/36.31	o 1014501
41.49/36.31	o 1015251
41.49/36.31	o 1017309
41.49/36.31	o 1017809
41.49/36.31	o 1017967
41.49/36.31	o 1019525
41.49/36.31	o 1020025
41.49/36.31	o 1021251
41.49/36.31	o 1021751
41.49/36.32	o 1022767
41.49/36.32	o 1024192
41.49/36.32	o 1024217
41.49/36.32	o 1025254
41.49/36.32	o 1025594
41.49/36.32	o 1025691
41.49/36.32	o 1025945
41.49/36.32	o 1028003
41.49/36.32	o 1030042
41.49/36.32	o 1032100
41.49/36.32	o 1033826
41.49/36.32	o 1033984
41.49/36.32	o 1034316
41.49/36.32	o 1036042
41.49/36.32	o 1036542
41.49/36.33	o 1037624
41.49/36.33	o 1038124
41.49/36.33	o 1039350
41.49/36.33	o 1039850
41.49/36.33	o 1040159
41.49/36.33	o 1040256
41.49/36.33	o 1040510
41.49/36.33	o 1040842
41.49/36.33	o 1042568
41.49/36.33	o 1043058
41.49/36.33	o 1044784
41.49/36.33	o 1045284
41.49/36.33	o 1046366
41.49/36.33	o 1046866
41.49/36.33	o 1048092
41.49/36.33	o 1048592
41.49/36.34	o 1049006
41.49/36.34	o 1049383
41.49/36.34	o 1050170
41.49/36.34	o 1050234
41.49/36.34	o 1051262
41.49/36.34	o 1052051
41.49/36.34	o 1052209
41.49/36.34	o 1052541
41.49/36.34	o 1054267
41.49/36.34	o 1056117
41.49/36.34	o 1056951
41.49/36.34	o 1056976
41.49/36.34	o 1058013
41.49/36.34	o 1059598
41.49/36.34	o 1059975
41.49/36.35	o 1060762
41.49/36.35	o 1060826
41.49/36.35	o 1061131
41.49/36.35	o 1061854
41.49/36.35	o 1062450
41.49/36.35	o 1062547
41.49/36.35	o 1062643
41.49/36.35	o 1062801
41.49/36.35	o 1064859
41.49/36.35	o 1066585
41.49/36.35	o 1067085
41.49/36.35	o 1067835
41.49/36.35	o 1068335
41.49/36.35	o 1069893
41.49/36.35	o 1070393
41.49/36.36	o 1070614
41.49/36.36	o 1070991
41.49/36.36	o 1071778
41.49/36.36	o 1071842
41.49/36.36	o 1072147
41.49/36.36	o 1072870
41.49/36.36	o 1073466
41.49/36.36	o 1073563
41.49/36.36	o 1073659
41.49/36.36	o 1073817
41.49/36.36	o 1074149
41.49/36.36	o 1075875
41.49/36.36	o 1076375
41.49/36.36	o 1077457
41.49/36.36	o 1077957
41.49/36.37	o 1079183
41.49/36.37	o 1079683
41.49/36.37	o 1080136
41.49/36.37	o 1080636
41.49/36.37	o 1081683
41.49/36.37	o 1082636
41.49/36.37	o 1083136
41.49/36.37	o 1083179
41.49/36.37	o 1083275
41.49/36.37	o 1083433
41.49/36.37	o 1084991
41.49/36.37	o 1085491
41.49/36.37	o 1085944
41.49/36.37	o 1086444
41.49/36.37	o 1087197
41.49/36.38	o 1088150
41.49/36.38	o 1088650
41.49/36.38	o 1089724
41.49/36.38	o 1090224
41.49/36.38	o 1090677
41.49/36.38	o 1091177
41.49/36.38	o 1091817
41.49/36.38	o 1092413
41.49/36.38	o 1092510
41.49/36.38	o 1092606
41.49/36.38	o 1092764
41.49/36.38	o 1093096
41.49/36.38	o 1093869
41.49/36.38	o 1094822
41.49/36.38	o 1095644
41.49/36.39	o 1095949
41.49/36.39	o 1096672
41.49/36.39	o 1097268
41.49/36.39	o 1097365
41.49/36.39	o 1097461
41.49/36.39	o 1097619
41.49/36.39	o 1097951
41.49/36.39	o 1099677
41.49/36.39	o 1100630
41.49/36.39	o 1101110
41.49/36.39	o 1101883
41.49/36.39	o 1102836
41.49/36.39	o 1104410
41.49/36.39	o 1105363
41.49/36.39	o 1105863
41.49/36.40	o 1105992
41.49/36.40	o 1107718
41.60/36.40	o 1108218
41.60/36.40	o 1108671
41.60/36.40	o 1109171
41.60/36.40	o 1109264
41.60/36.40	o 1110051
41.60/36.40	o 1110115
41.60/36.40	o 1110420
41.60/36.40	o 1111143
41.60/36.40	o 1111739
41.60/36.40	o 1113195
41.60/36.40	o 1114148
41.60/36.40	o 1115722
41.60/36.40	o 1116675
41.60/36.41	o 1116813
41.60/36.41	o 1117145
41.60/36.41	o 1118871
41.60/36.41	o 1119672
41.60/36.41	o 1121398
41.60/36.41	o 1121555
41.60/36.41	o 1121580
41.60/36.41	o 1121996
41.60/36.41	o 1122144
41.60/36.41	o 1124202
41.60/36.41	o 1124400
41.60/36.41	o 1125093
41.60/36.41	o 1125189
41.60/36.41	o 1125199
41.60/36.41	o 1127405
41.60/36.42	o 1129463
41.60/36.42	o 1129784
41.60/36.42	o 1129932
41.60/36.42	o 1131990
41.60/36.42	o 1133716
41.60/36.42	o 1134669
41.60/36.42	o 1135169
41.60/36.42	o 1135919
41.60/36.42	o 1136419
41.60/36.42	o 1137024
41.60/36.42	o 1137977
41.60/36.42	o 1138477
41.60/36.42	o 1139390
41.60/36.42	o 1139890
41.60/36.42	o 1140343
41.60/36.43	o 1140843
41.60/36.43	o 1140869
41.60/36.43	o 1141174
41.60/36.43	o 1141897
41.60/36.43	o 1142493
41.60/36.43	o 1142590
41.60/36.43	o 1142686
41.60/36.43	o 1142696
41.60/36.43	o 1142844
41.60/36.43	o 1143176
41.60/36.43	o 1143949
41.60/36.43	o 1144902
41.60/36.43	o 1146476
41.60/36.43	o 1147429
41.60/36.43	o 1148359
41.60/36.44	o 1148384
41.60/36.44	o 1148401
41.60/36.44	o 1148733
41.60/36.44	o 1150459
41.60/36.44	o 1150813
41.60/36.44	o 1152132
41.60/36.44	o 1152325
41.60/36.44	o 1152335
41.60/36.44	o 1152483
41.60/36.44	o 1154541
41.60/36.44	o 1156267
41.60/36.44	o 1156736
41.60/36.44	o 1157068
41.60/36.44	o 1158794
41.60/36.44	o 1159747
41.60/36.45	o 1160247
41.60/36.45	o 1160376
41.60/36.45	o 1161329
41.60/36.45	o 1161829
41.60/36.45	o 1162102
41.60/36.45	o 1162602
41.60/36.45	o 1163055
41.60/36.45	o 1163555
41.60/36.45	o 1163695
41.60/36.45	o 1164468
41.60/36.45	o 1165421
41.60/36.45	o 1165921
41.60/36.46	o 1166029
41.60/36.46	o 1166469
41.60/36.46	o 1167382
41.60/36.46	o 1167882
41.60/36.46	o 1168335
41.60/36.46	o 1168835
41.60/36.46	o 1169683
41.60/36.46	o 1170183
41.60/36.46	o 1170785
41.60/36.46	o 1171025
41.60/36.46	o 1171978
41.60/36.46	o 1172234
41.60/36.46	o 1172373
41.60/36.46	o 1173162
41.60/36.46	o 1173320
41.60/36.47	o 1173652
41.60/36.47	o 1175378
41.60/36.47	o 1176075
41.60/36.47	o 1176331
41.60/36.47	o 1177280
41.60/36.47	o 1178053
41.60/36.47	o 1179006
41.60/36.47	o 1179145
41.60/36.47	o 1179838
41.60/36.47	o 1179934
41.60/36.47	o 1180092
41.60/36.47	o 1180424
41.60/36.47	o 1182150
41.60/36.47	o 1183103
41.60/36.47	o 1183603
41.60/36.48	o 1184656
41.60/36.48	o 1185156
41.60/36.48	o 1185609
41.60/36.48	o 1186109
41.60/36.48	o 1186689
41.60/36.48	o 1187462
41.60/36.48	o 1188415
41.60/36.48	o 1188915
41.60/36.48	o 1190228
41.60/36.48	o 1190728
41.60/36.48	o 1191181
41.60/36.48	o 1191681
42.62/37.18	o 1191981
42.62/37.18	o 1193039
42.62/37.18	o 1193940
42.62/37.18	o 1194878
42.62/37.18	o 1195779
42.62/37.18	o 1196499
42.62/37.18	o 1196521
42.62/37.18	o 1198062
42.62/37.18	o 1198480
42.62/37.18	o 1200319
42.62/37.19	o 1201860
42.62/37.19	o 1202761
42.62/37.19	o 1202958
42.62/37.19	o 1203896
42.62/37.19	o 1204797
42.62/37.19	o 1205351
42.62/37.19	o 1205548
42.62/37.19	o 1205846
42.62/37.19	o 1207387
42.62/37.19	o 1208288
42.62/37.19	o 1208855
42.62/37.19	o 1209061
42.62/37.19	o 1209258
42.62/37.19	o 1211097
42.62/37.20	o 1211998
42.62/37.20	o 1212749
42.82/37.20	o 1213650
42.82/37.20	o 1214588
42.82/37.20	o 1215489
42.82/37.20	o 1216129
42.82/37.20	o 1217030
42.82/37.20	o 1218140
42.82/37.20	o 1219681
42.82/37.20	o 1220582
42.82/37.20	o 1221336
42.82/37.20	o 1221972
42.82/37.21	o 1222193
42.82/37.21	o 1222791
44.44/38.64	o 1223049
44.44/38.64	o 1223533
44.44/38.64	o 1223687
44.44/38.64	o 1224460
44.44/38.64	o 1224944
44.44/38.64	o 1225423
44.44/38.64	o 1225852
44.44/38.64	o 1226311
44.44/38.64	o 1226795
44.44/38.65	o 1227722
44.44/38.65	o 1228206
44.44/38.65	o 1228495
44.44/38.65	o 1228979
44.44/38.65	o 1229248
44.44/38.65	o 1229271
44.44/38.65	o 1229309
44.44/38.65	o 1230659
44.44/38.65	o 1231432
44.44/38.65	o 1231933
44.44/38.66	o 1231956
44.44/38.66	o 1233344
44.44/38.66	o 1234117
44.44/38.66	o 1234694
44.44/38.66	o 1235467
44.44/38.66	o 1235951
44.44/38.66	o 1236193
44.44/38.66	o 1237059
44.44/38.66	o 1237543
44.44/38.66	o 1237832
44.44/38.66	o 1238316
44.44/38.67	o 1238939
44.44/38.67	o 1239712
44.44/38.67	o 1239882
44.44/38.67	o 1239905
44.44/38.67	o 1239943
44.44/38.67	o 1241293
44.44/38.67	o 1242066
44.44/38.67	o 1242726
44.44/38.67	o 1243499
44.44/38.67	o 1244076
44.44/38.67	o 1244849
44.44/38.68	o 1245328
44.44/38.68	o 1245350
44.44/38.68	o 1245373
44.44/38.68	o 1246761
44.44/38.68	o 1248111
44.44/38.68	o 1248884
44.44/38.68	o 1249088
44.44/38.68	o 1249861
44.44/38.68	o 1250476
44.44/38.68	o 1251249
44.44/38.68	o 1251741
44.44/38.68	o 1252514
44.44/38.69	o 1252998
44.44/38.69	o 1253672
44.44/38.69	o 1253695
44.44/38.69	o 1253733
44.44/38.69	o 1255083
44.44/38.69	o 1255567
44.44/38.69	o 1256098
44.44/38.69	o 1256582
44.44/38.69	o 1257448
44.44/38.69	o 1257932
44.44/38.69	o 1258221
44.44/38.69	o 1258705
44.44/38.69	o 1258713
44.44/38.70	o 1259486
44.44/38.70	o 1259970
44.44/38.70	o 1259986
44.58/38.70	o 1260470
44.58/38.70	o 1260963
44.58/38.70	o 1261001
44.58/38.70	o 1262351
44.58/38.70	o 1262835
44.58/38.70	o 1263124
44.58/38.70	o 1263608
44.58/38.70	o 1264604
44.58/38.70	o 1265547
44.58/38.71	o 1265570
44.58/38.71	o 1265608
44.58/38.71	o 1266958
44.58/38.71	o 1267973
44.58/38.71	o 1269323
44.58/38.71	o 1270096
44.58/38.71	o 1270580
44.58/38.71	o 1270588
44.58/38.71	o 1271072
44.58/38.71	o 1271361
44.58/38.71	o 1271845
44.58/38.72	o 1271866
44.58/38.72	o 1271904
44.58/38.72	o 1272481
44.58/38.72	o 1273254
44.58/38.72	o 1273892
44.58/38.72	o 1274665
44.58/38.72	o 1274846
44.58/38.72	o 1274869
44.58/38.72	o 1274907
44.58/38.72	o 1276257
44.58/38.72	o 1277030
44.58/38.73	o 1277514
44.58/38.73	o 1277522
44.58/38.73	o 1278295
44.58/38.73	o 1278779
44.58/38.73	o 1279102
44.58/38.73	o 1279391
44.58/38.73	o 1279875
44.58/38.74	o 1280464
44.58/38.74	o 1280487
44.58/38.74	o 1281875
44.58/38.74	o 1282852
44.58/38.74	o 1284240
44.58/38.74	o 1285590
44.58/38.75	o 1286363
44.58/38.75	o 1286847
44.58/38.75	o 1286855
44.58/38.75	o 1287339
44.58/38.75	o 1287628
44.58/38.75	o 1288112
44.58/38.75	o 1288171
44.58/38.76	o 1288786
44.58/38.76	o 1289559
44.58/38.76	o 1289763
44.58/38.76	o 1291151
44.58/38.76	o 1291924
44.58/38.76	o 1292501
44.58/38.76	o 1293274
44.58/38.77	o 1293758
44.58/38.77	o 1293766
44.58/38.77	o 1294539
44.58/38.77	o 1295023
44.58/38.78	o 1295165
44.58/38.78	o 1295649
44.58/38.79	o 1295938
44.58/38.79	o 1296422
44.58/38.79	o 1297011
44.58/38.79	o 1297034
44.58/38.79	o 1298422
44.58/38.79	o 1299399
44.58/38.79	o 1300787
44.58/38.79	o 1302137
44.58/38.79	o 1302621
44.58/38.80	o 1302910
44.58/38.80	o 1303394
44.74/38.80	o 1303402
44.74/38.80	o 1304175
44.74/38.80	o 1304659
44.74/38.80	o 1304702
44.74/38.80	o 1304991
44.74/38.80	o 1305475
44.74/38.81	o 1305819
44.74/38.81	o 1305827
44.74/38.81	o 1306600
44.74/38.81	o 1307084
44.74/38.82	o 1307357
44.74/38.82	o 1307841
44.74/38.82	o 1307954
44.74/38.82	o 1307970
44.74/38.82	o 1308727
44.74/38.82	o 1309211
44.74/38.82	o 1309235
44.74/38.82	o 1309719
44.74/38.82	o 1309992
44.74/38.82	o 1310476
44.74/38.83	o 1311081
44.74/38.83	o 1311565
44.74/38.83	o 1311573
44.74/38.83	o 1311589
44.74/38.83	o 1312346
44.74/38.83	o 1312830
44.74/38.83	o 1313023
44.74/38.83	o 1313507
44.74/38.83	o 1313661
44.74/38.83	o 1314434
44.74/38.83	o 1314918
44.74/38.83	o 1315270
44.74/38.83	o 1315754
44.74/38.83	o 1316043
44.74/38.83	o 1316527
44.74/38.83	o 1316800
44.74/38.84	o 1317284
44.74/38.84	o 1317292
44.74/38.84	o 1317308
44.74/38.84	o 1318065
44.74/38.84	o 1318549
44.74/38.84	o 1318673
44.74/38.84	o 1318980
44.74/38.84	o 1319464
44.74/38.84	o 1320056
44.74/38.84	o 1320590
44.74/38.84	o 1320633
44.74/38.84	o 1321406
44.74/38.84	o 1321426
44.74/38.84	o 1322242
44.74/38.84	o 1323015
44.74/38.85	o 1323499
44.74/38.85	o 1323772
44.74/38.85	o 1324256
44.74/38.85	o 1324264
44.74/38.85	o 1324280
44.74/38.85	o 1325037
44.74/38.85	o 1325521
44.74/38.85	o 1325853
44.74/38.85	o 1326126
44.74/38.85	o 1326610
44.74/38.85	o 1326618
44.74/38.85	o 1326634
44.74/38.85	o 1327391
44.74/38.85	o 1327875
44.74/38.85	o 1328299
44.74/38.86	o 1328323
44.74/38.86	o 1328807
44.74/38.86	o 1329080
44.74/38.86	o 1329564
44.74/38.86	o 1329798
44.74/38.86	o 1329961
44.74/38.86	o 1329979
44.74/38.86	o 1329995
44.74/38.86	o 1330752
44.74/38.86	o 1330849
44.74/38.86	o 1330892
44.74/38.86	o 1331665
44.74/38.86	o 1331907
44.74/38.86	o 1332441
44.74/38.86	o 1333257
44.74/38.86	o 1334030
44.74/38.87	o 1334787
44.74/38.87	o 1335271
44.74/38.87	o 1335720
45.92/39.93	o 1336258
45.92/39.93	o 1336449
45.92/39.93	o 1336944
45.92/39.93	o 1338150
45.92/39.93	o 1338830
45.92/39.93	o 1340462
45.92/39.93	o 1341142
45.92/39.93	o 1341333
45.92/39.93	o 1341737
45.92/39.94	o 1341790
45.92/39.94	o 1343422
45.92/39.94	o 1344102
45.92/39.94	o 1344293
45.92/39.94	o 1345026
45.92/39.95	o 1345217
45.92/39.95	o 1345364
45.92/39.95	o 1347676
45.92/39.95	o 1347729
45.92/39.95	o 1350041
45.92/39.95	o 1350232
45.92/39.95	o 1350248
45.92/39.95	o 1350379
45.92/39.95	o 1350874
45.92/39.95	o 1352707
45.92/39.95	o 1355072
45.92/39.95	o 1355263
45.92/39.95	o 1357384
45.92/39.96	o 1357575
45.92/39.96	o 1358064
45.92/39.96	o 1358255
45.92/39.97	o 1358963
45.92/39.97	o 1359643
45.92/39.97	o 1361275
45.92/39.97	o 1361955
45.92/39.97	o 1362146
45.92/40.00	o 1362534
45.92/40.00	o 1362587
46.02/40.00	o 1364219
46.02/40.00	o 1364899
46.02/40.00	o 1365090
46.02/40.00	o 1365129
46.02/40.00	o 1365320
46.02/40.00	o 1367337
46.02/40.00	o 1368154
46.02/40.00	o 1369987
46.02/40.00	o 1370040
46.02/40.00	o 1372352
46.02/40.00	o 1372543
46.02/40.01	o 1373032
46.02/40.01	o 1373223
46.02/40.02	o 1373848
46.02/40.03	o 1374039
46.02/40.06	o 1374122
46.02/40.06	o 1374503
46.02/40.06	o 1374746
46.02/40.06	o 1374996
46.02/40.06	o 1375536
46.02/40.07	o 1375656
46.02/40.07	o 1375891
46.02/40.07	o 1377184
46.02/40.07	o 1377864
46.02/40.07	o 1378308
46.02/40.07	o 1379887
46.02/40.07	o 1382199
46.02/40.07	o 1382879
46.02/40.07	o 1383015
46.02/40.07	o 1383695
46.02/40.07	o 1383886
46.15/40.10	o 1383959
46.15/40.10	o 1385485
46.15/40.10	o 1385538
46.15/40.10	o 1387850
46.15/40.10	o 1388666
46.15/40.10	o 1388857
46.15/40.10	o 1389346
46.15/40.10	o 1389537
46.15/40.12	o 1389573
46.15/40.12	o 1391885
46.15/40.12	o 1392565
46.15/40.12	o 1392701
46.15/40.12	o 1393381
46.15/40.12	o 1393572
46.15/40.17	o 1393927
46.15/40.17	o 1394118
46.15/40.17	o 1394781
46.15/40.17	o 1395597
46.15/40.17	o 1397146
46.15/40.17	o 1397962
46.15/40.18	o 1398153
46.15/40.18	o 1398642
46.15/40.18	o 1398833
46.25/40.22	o 1399478
46.25/40.22	o 1400294
46.25/40.22	o 1401843
46.25/40.22	o 1402659
46.25/40.22	o 1403339
46.25/40.22	o 1403530
46.25/40.27	o 1404168
46.25/40.27	o 1404359
46.25/40.27	o 1404848
46.25/40.27	o 1405039
46.25/40.28	o 1405510
46.25/40.28	o 1406500
46.25/40.28	o 1407180
46.25/40.28	o 1408865
46.25/40.28	o 1409545
46.25/40.28	o 1409736
46.25/40.28	o 1410361
46.25/40.28	o 1410552
46.35/40.30	o 1411545
46.35/40.30	o 1412225
46.35/40.30	o 1412361
46.35/40.30	o 1413041
46.35/40.30	o 1413232
46.35/40.30	o 1413850
46.35/40.30	o 1413903
46.35/40.31	o 1415399
46.35/40.31	o 1416215
46.35/40.31	o 1416406
46.35/40.31	o 1417607
46.35/40.31	o 1418423
46.35/40.31	o 1418614
46.35/40.31	o 1418778
46.35/40.31	o 1420257
46.35/40.31	o 1420448
46.35/40.31	o 1422622
46.35/40.31	o 1422813
46.35/40.31	o 1423438
46.35/40.31	o 1423629
46.35/40.32	o 1424118
46.35/40.32	o 1424309
46.35/40.33	o 1424508
46.35/40.33	o 1425908
46.35/40.33	o 1425961
46.35/40.33	o 1428273
46.35/40.33	o 1429089
46.35/40.33	o 1429769
46.35/40.33	o 1429960
46.35/40.35	o 1431715
46.35/40.36	o 1432531
46.35/40.36	o 1433211
46.35/40.36	o 1433402
46.35/40.36	o 1434027
46.35/40.36	o 1434218
46.35/40.36	o 1434707
46.35/40.36	o 1434898
46.35/40.36	o 1435523
46.35/40.36	o 1435714
46.35/40.36	o 1436171
46.35/40.36	o 1436987
46.35/40.36	o 1437667
46.35/40.36	o 1437803
46.35/40.37	o 1438483
46.35/40.37	o 1438674
46.35/40.38	o 1439453
46.35/40.38	o 1440269
46.35/40.38	o 1440460
46.35/40.38	o 1440949
46.35/40.38	o 1441140
46.35/40.39	o 1441339
46.35/40.39	o 1441585
46.35/40.39	o 1441903
46.35/40.39	o 1442565
46.35/40.39	o 1442709
46.35/40.39	o 1442739
46.35/40.39	o 1443555
46.35/40.39	o 1444235
46.35/40.39	o 1445104
46.35/40.39	o 1445784
46.35/40.39	o 1445920
46.35/40.40	o 1446600
46.45/40.40	o 1446791
46.45/40.45	o 1448109
46.45/40.45	o 1448925
46.45/40.46	o 1449116
46.45/40.46	o 1449605
46.45/40.46	o 1449796
46.45/40.48	o 1450043
46.45/40.48	o 1450912
46.45/40.48	o 1451728
46.45/40.48	o 1452408
46.45/40.48	o 1453917
46.45/40.48	o 1454597
46.45/40.48	o 1454733
46.45/40.48	o 1455413
46.45/40.48	o 1455604
46.56/40.52	o 1455998
46.56/40.52	o 1456638
46.56/40.52	o 1456691
46.56/40.52	o 1458187
46.56/40.52	o 1459003
46.56/40.53	o 1459194
46.56/40.53	o 1459683
46.56/40.53	o 1459874
46.56/40.53	o 1461147
46.56/40.53	o 1461963
46.56/40.53	o 1462643
46.56/40.53	o 1462834
46.56/40.54	o 1462928
46.56/40.54	o 1463417
46.56/40.54	o 1463608
46.56/40.54	o 1463738
46.56/40.54	o 1463772
46.56/40.54	o 1464003
46.56/40.54	o 1464683
46.56/40.54	o 1464819
46.56/40.54	o 1465499
46.56/40.54	o 1466259
46.56/40.54	o 1467075
46.56/40.55	o 1469264
46.56/40.55	o 1470080
46.56/40.55	o 1470760
46.56/40.55	o 1470951
46.56/40.59	o 1471727
46.56/40.59	o 1472407
46.56/40.59	o 1472598
46.56/40.59	o 1472606
46.56/40.59	o 1472797
46.56/40.59	o 1472987
46.56/40.59	o 1474341
46.56/40.59	o 1474354
46.56/40.59	o 1476666
46.56/40.60	o 1476686
46.56/40.60	o 1479051
46.56/40.60	o 1481363
46.56/40.60	o 1481554
46.56/40.60	o 1482043
46.56/40.60	o 1482234
46.56/40.60	o 1482249
46.56/40.60	o 1482942
46.56/40.60	o 1485254
46.56/40.60	o 1485934
46.56/40.60	o 1486125
46.66/40.61	o 1486750
46.66/40.61	o 1486941
46.66/40.61	o 1488214
46.66/40.61	o 1488894
46.66/40.61	o 1489030
46.66/40.61	o 1489710
46.66/40.61	o 1489901
46.66/40.68	o 1490075
46.66/40.68	o 1490128
46.66/40.68	o 1492440
46.66/40.68	o 1493326
46.66/40.68	o 1493966
46.66/40.68	o 1494019
46.66/40.68	o 1496331
46.66/40.68	o 1497147
46.66/40.68	o 1497338
46.66/40.69	o 1497827
46.66/40.69	o 1498018
46.75/40.73	o 1499183
46.75/40.73	o 1500397
46.75/40.73	o 1501508
46.75/40.73	o 1502170
46.75/40.73	o 1503200
46.75/40.74	o 1503840
46.75/40.74	o 1503893
46.75/40.74	o 1506205
46.75/40.74	o 1507784
46.75/40.74	o 1510096
46.75/40.74	o 1510912
46.75/40.74	o 1511592
46.75/40.74	o 1511783
46.85/40.82	o 1513950
46.85/40.82	o 1514141
46.85/40.82	o 1514766
46.85/40.82	o 1514957
46.85/40.82	o 1515446
46.85/40.82	o 1515637
46.85/40.83	o 1517282
46.85/40.83	o 1518808
46.85/40.83	o 1518861
46.85/40.83	o 1521173
46.85/40.83	o 1521989
46.85/40.83	o 1522669
46.85/40.83	o 1522860
49.30/43.17	o 1522985
49.30/43.17	o 1523473
49.30/43.17	o 1524165
49.30/43.17	o 1524604
49.30/43.17	o 1525296
49.30/43.17	o 1525773
49.30/43.17	o 1526953
49.30/43.17	o 1528084
49.30/43.17	o 1528776
49.30/43.18	o 1529169
49.30/43.18	o 1529608
49.30/43.18	o 1530300
49.30/43.18	o 1531650
49.30/43.18	o 1532781
49.30/43.18	o 1533174
49.30/43.18	o 1534305
49.30/43.19	o 1534997
49.30/43.19	o 1535221
49.30/43.19	o 1535660
49.30/43.19	o 1536352
49.30/43.19	o 1536583
49.30/43.19	o 1537280
49.30/43.19	o 1537673
49.30/43.19	o 1538804
49.30/43.19	o 1539984
49.30/43.19	o 1541115
49.30/43.19	o 1541807
49.30/43.19	o 1542603
49.30/43.19	o 1543390
49.30/43.20	o 1544914
49.30/43.20	o 1545606
49.30/43.20	o 1546045
49.44/43.20	o 1546737
49.44/43.20	o 1547410
49.44/43.20	o 1548197
49.44/43.20	o 1549721
49.44/43.20	o 1550852
49.44/43.20	o 1551544
49.44/43.20	o 1551547
49.44/43.20	o 1551940
49.44/43.21	o 1552379
49.44/43.21	o 1553071
49.44/43.21	o 1553302
49.44/43.21	o 1554354
49.44/43.21	o 1554392
49.44/43.21	o 1555523
49.44/43.21	o 1556703
49.44/43.21	o 1557834
49.44/43.22	o 1558526
49.44/43.22	o 1558928
49.44/43.22	o 1559367
49.44/43.22	o 1560059
49.44/43.23	o 1560290
49.44/43.23	o 1560987
49.44/43.23	o 1561380
49.44/43.23	o 1562511
49.44/43.23	o 1563691
49.44/43.23	o 1564822
49.44/43.23	o 1565514
54.68/48.00	o 1566699
54.68/48.00	o 1568223
54.68/48.01	o 1569748
54.68/48.01	o 1572344
54.68/48.01	o 1574280
54.68/48.01	o 1575804
54.68/48.01	o 1575975
54.68/48.01	o 1577499
54.68/48.01	o 1579376
54.68/48.01	o 1581312
54.68/48.01	o 1582836
54.68/48.01	o 1583007
54.68/48.01	o 1584531
54.68/48.01	o 1584803
54.68/48.02	o 1586327
54.68/48.02	o 1586498
54.68/48.02	o 1588022
54.68/48.02	o 1589907
54.68/48.02	o 1591843
54.68/48.03	o 1592407
54.68/48.03	o 1596939
54.68/48.03	o 1598875
54.68/48.03	o 1600430
54.68/48.03	o 1602366
54.68/48.03	o 1603890
54.68/48.03	o 1604061
54.68/48.03	o 1605585
54.68/48.04	o 1605675
54.68/48.04	o 1607434
54.68/48.04	o 1608958
54.68/48.04	o 1609242
54.68/48.05	o 1611178
54.68/48.05	o 1612733
54.68/48.05	o 1614669
54.68/48.05	o 1616193
54.68/48.05	o 1616364
54.68/48.05	o 1617888
54.68/48.05	o 1617903
54.68/48.05	o 1617947
54.68/48.05	o 1619883
54.68/48.05	o 1620588
54.68/48.06	o 1622524
54.68/48.06	o 1624048
54.68/48.06	o 1624063
54.68/48.06	o 1625842
54.68/48.06	o 1627366
54.68/48.06	o 1627778
54.68/48.07	o 1629302
54.68/48.07	o 1629317
54.68/48.07	o 1629769
54.68/48.08	o 1631293
54.68/48.08	o 1631308
54.68/48.08	o 1631573
54.68/48.08	o 1632054
54.68/48.08	o 1632521
54.68/48.08	o 1634045
54.68/48.09	o 1635263
54.68/48.09	o 1635913
54.68/48.09	o 1635968
54.68/48.09	o 1637904
54.68/48.09	o 1639428
54.68/48.09	o 1639443
54.68/48.10	o 1640644
54.68/48.10	o 1642168
54.78/48.10	o 1642580
54.78/48.10	o 1644104
54.78/48.11	o 1644275
54.78/48.11	o 1645799
54.78/48.11	o 1646576
54.78/48.11	o 1647794
54.78/48.11	o 1648444
54.78/48.11	o 1648499
54.78/48.11	o 1650435
54.78/48.11	o 1651959
54.78/48.12	o 1653370
65.85/59.08	o 1654898
65.85/59.08	o 1657307
65.85/59.08	o 1659080
65.85/59.08	o 1659780
65.85/59.08	o 1662189
65.85/59.08	o 1663877
65.85/59.08	o 1666286
65.85/59.08	o 1668125
65.85/59.09	o 1670207
65.85/59.09	o 1671895
65.85/59.09	o 1674304
65.85/59.09	o 1676143
65.85/59.09	o 1677684
65.85/59.09	o 1679069
65.85/59.09	o 1680055
65.85/59.09	o 1680211
65.85/59.09	o 1681596
65.85/59.10	o 1682047
65.85/59.10	o 1682735
65.85/59.10	o 1683033
65.95/59.10	o 1684574
65.95/59.10	o 1685962
65.95/59.10	o 1687347
65.95/59.10	o 1687404
65.95/59.10	o 1687673
65.95/59.10	o 1687855
65.95/59.10	o 1687973
65.95/59.10	o 1688543
65.95/59.10	o 1688841
65.95/59.10	o 1690382
65.95/59.11	o 1691770
65.95/59.11	o 1693155
65.95/59.14	o 1696320
65.95/59.14	o 1697670
65.95/59.15	o 1699872
65.95/59.15	o 1701222
65.95/59.15	o 1702631
65.95/59.15	o 1703981
65.95/59.15	o 1707146
65.95/59.15	o 1708496
65.95/59.15	o 1709135
65.95/59.15	o 1710957
65.95/59.15	o 1713503
65.95/59.15	o 1717225
65.95/59.15	o 1720777
65.95/59.16	o 1722127
65.95/59.16	o 1722975
65.95/59.16	o 1726527
65.95/59.16	o 1727877
66.26/59.34	o 1728066
66.26/59.34	o 1728788
66.26/59.34	o 1728977
66.26/59.34	o 1733621
66.26/59.34	o 1734532
66.26/59.34	o 1734721
66.26/59.34	o 1734754
66.26/59.34	o 1734943
66.26/59.34	o 1735055
66.26/59.34	o 1735966
66.26/59.34	o 1736188
66.26/59.34	o 1736377
66.26/59.40	o 1737035
66.26/59.40	o 1737727
66.26/59.40	o 1738211
66.37/59.40	o 1738969
66.37/59.40	o 1739453
66.37/59.40	o 1739661
66.37/59.40	o 1740145
66.37/59.40	o 1740725
66.37/59.41	o 1741390
66.37/59.41	o 1742632
66.37/59.41	o 1743324
66.37/59.41	o 1745048
66.37/59.41	o 1745740
66.37/59.41	o 1746224
66.37/59.41	o 1746579
66.37/59.41	o 1747063
66.37/59.41	o 1747643
66.37/59.42	o 1747851
66.37/59.42	o 1748308
66.37/59.42	o 1750724
66.37/59.42	o 1752658
66.37/59.42	o 1753142
66.37/59.42	o 1753350
66.37/59.42	o 1753834
67.70/60.77	o 1754613
67.70/60.77	o 1754802
67.70/60.77	o 1755370
67.70/60.77	o 1755559
67.70/60.77	o 1756024
67.70/60.77	o 1756781
67.70/60.77	o 1756970
67.70/60.77	o 1757003
67.70/60.77	o 1757192
67.80/60.85	o 1757506
67.80/60.85	o 1758263
67.80/60.85	o 1758485
67.80/60.85	o 1759612
67.80/60.85	o 1759834
67.80/60.85	o 1760215
67.80/60.85	o 1761603
67.80/60.85	o 1761825
67.80/60.85	o 1762360
67.80/60.85	o 1762582
67.80/60.85	o 1762771
67.90/60.93	o 1762795
67.90/60.93	o 1763001
67.90/60.93	o 1763340
67.90/60.93	o 1763676
67.90/60.93	o 1763770
67.90/60.93	o 1764144
67.90/60.93	o 1764199
67.90/60.94	o 1764594
67.90/60.94	o 1764724
67.90/60.94	o 1764747
67.90/60.94	o 1766135
67.90/60.94	o 1766892
67.90/60.94	o 1767114
67.90/60.94	o 1767303
68.10/61.14	o 1767941
68.10/61.14	o 1768374
68.10/61.14	o 1769215
68.10/61.14	o 1771269
68.10/61.14	o 1774124
68.10/61.14	o 1774965
68.31/61.31	o 1775242
68.31/61.36	o 1775337
68.31/61.37	o 1776094
68.31/61.38	o 1776290
68.31/61.38	o 1777047
68.41/61.41	o 1777240
68.41/61.41	o 1777997
68.41/61.41	o 1778193
68.41/61.41	o 1778950
68.41/61.41	o 1779368
68.41/61.42	o 1779746
68.41/61.42	o 1780059
68.41/61.43	o 1781131
68.41/61.44	o 1782084
68.41/61.44	o 1782841
68.41/61.45	o 1782936
68.41/61.45	o 1783889
68.41/61.45	o 1784646
68.41/61.48	o 1785193
68.41/61.48	o 1785950
68.41/61.50	o 1786353
68.41/61.50	o 1787738
68.52/61.53	o 1789069
68.52/61.54	o 1790454
68.52/61.54	o 1791211
68.52/61.54	o 1791526
68.52/61.54	o 1792283
68.52/61.54	o 1792479
68.52/61.55	o 1793236
68.52/61.55	o 1793331
68.52/61.55	o 1794088
68.52/61.55	o 1794284
68.52/61.55	o 1795041
68.62/61.65	o 1795880
68.62/61.66	o 1796637
68.91/61.96	o 1796696
68.91/61.96	o 1797453
85.63/78.58	o 1798912
85.63/78.59	o 1799192
85.63/78.59	o 1801408
85.63/78.59	o 1801711
85.63/78.59	o 1801895
85.63/78.59	o 1804207
85.63/78.59	o 1806423
85.63/78.59	o 1807212
85.63/78.59	o 1809428
85.63/78.60	o 1810969
85.63/78.60	o 1812201
85.63/78.60	o 1812203
85.63/78.60	o 1812532
85.63/78.60	o 1812781
85.63/78.60	o 1812965
85.63/78.60	o 1813061
85.63/78.60	o 1815277
85.63/78.60	o 1816066
85.63/78.60	o 1818282
85.63/78.60	o 1819823
85.63/78.61	o 1820600
85.74/78.61	o 1821275
85.74/78.61	o 1822816
85.74/78.62	o 1823854
85.74/78.62	o 1823978
85.74/78.62	o 1824883
85.74/78.62	o 1825517
85.74/78.62	o 1825797
85.74/78.62	o 1828013
85.74/78.63	o 1828073
85.74/78.63	o 1830385
85.74/78.63	o 1831066
85.74/78.63	o 1833378
85.74/78.63	o 1835594
85.74/78.65	o 1836084
85.74/78.65	o 1836915
85.74/78.65	o 1837424
85.74/78.65	o 1839920
85.74/78.65	o 1842136
85.74/78.66	o 1842232
85.74/78.66	o 1844448
85.74/78.66	o 1845989
86.14/79.07	o 1847895
86.14/79.07	o 1850900
86.14/79.07	o 1851091
86.14/79.07	o 1852410
86.14/79.07	o 1852601
86.14/79.07	o 1855415
86.14/79.07	o 1855606
86.14/79.08	o 1855843
86.14/79.08	o 1857353
86.14/79.08	o 1860358
86.14/79.08	o 1860856
86.14/79.08	o 1862553
86.14/79.08	o 1867068
86.14/79.08	o 1870073
86.14/79.09	o 1870264
86.14/79.10	o 1870688
86.24/79.10	o 1870879
86.24/79.10	o 1873693
86.24/79.10	o 1873884
86.24/79.10	o 1875203
86.24/79.10	o 1878208
86.24/79.10	o 1878399
86.24/79.12	o 1880520
86.24/79.12	o 1880711
86.36/79.24	o 1881611
86.36/79.24	o 1882111
86.36/79.26	o 1883545
86.36/79.26	o 1884045
86.36/79.27	o 1884234
86.36/79.27	o 1886102
86.36/79.27	o 1886291
86.36/79.28	o 1886764
86.36/79.28	o 1890725
86.36/79.28	o 1893134
86.36/79.29	o 1893323
86.36/79.29	o 1893634
86.36/79.29	o 1893823
86.47/79.30	o 1895068
86.47/79.31	o 1895568
86.47/79.31	o 1895757
86.47/79.34	o 1897314
86.47/79.34	o 1899248
86.47/79.38	o 1899264
86.47/79.38	o 1900395
86.47/79.38	o 1901255
86.47/79.38	o 1902386
86.47/79.38	o 1903297
86.47/79.38	o 1904699
86.47/79.38	o 1905610
86.47/79.38	o 1906580
86.47/79.38	o 1907491
86.47/79.39	o 1909214
86.47/79.39	o 1910125
86.47/79.39	o 1910345
86.47/79.39	o 1911256
86.47/79.39	o 1911779
86.47/79.39	o 1912690
86.47/79.39	o 1913320
86.47/79.39	o 1914231
86.47/79.39	o 1914608
86.47/79.39	o 1914911
86.47/79.39	o 1916042
86.47/79.39	o 1916556
86.47/79.39	o 1917990
86.58/79.40	o 1918547
86.58/79.40	o 1919981
86.58/79.40	o 1921112
86.58/79.40	o 1921219
86.58/79.40	o 1921522
86.58/79.40	o 1922653
86.58/79.40	o 1923564
86.58/79.40	o 1923884
86.58/79.40	o 1924044
86.58/79.41	o 1924278
86.58/79.41	o 1924883
86.58/79.41	o 1925438
86.58/79.41	o 1925885
86.58/79.41	o 1927319
86.58/79.41	o 1927962
86.58/79.41	o 1928519
86.58/79.41	o 1929953
86.58/79.41	o 1930060
86.58/79.41	o 1931494
86.58/79.42	o 1932405
86.58/79.43	o 1932625
86.58/79.43	o 1933536
86.58/79.44	o 1934546
86.58/79.44	o 1935980
86.58/79.44	o 1936537
86.58/79.44	o 1937971
86.58/79.44	o 1938078
86.58/79.44	o 1939512
86.58/79.47	o 1940643
86.58/79.48	o 1941554
86.58/79.48	o 1941735
86.69/79.51	o 1942444
86.69/79.51	o 1943627
86.69/79.51	o 1944853
86.69/79.51	o 1945016
86.69/79.51	o 1947425
86.69/79.51	o 1948651
87.79/80.55	o 1948741
87.79/80.55	o 1948963
87.79/80.55	o 1949514
87.79/80.55	o 1949736
87.79/80.56	o 1949871
87.79/80.56	o 1950644
87.79/80.56	o 1950785
87.79/80.56	o 1951558
87.79/80.56	o 1951862
87.79/80.56	o 1952776
87.79/80.56	o 1953549
87.79/80.57	o 1953771
87.79/80.57	o 1953899
87.79/80.57	o 1954209
87.79/80.58	o 1954982
87.79/80.58	o 1956200
87.79/80.58	o 1956973
87.79/80.58	o 1957214
87.79/80.58	o 1959205
87.79/80.58	o 1959978
87.79/80.59	o 1960200
87.79/80.59	o 1960892
87.79/80.59	o 1961114
88.01/80.74	o 1961249
88.01/80.74	o 1961440
88.01/80.74	o 1962162
88.01/80.74	o 1962452
88.01/80.75	o 1963293
88.01/80.75	o 1963363
88.01/80.75	o 1964204
88.01/80.75	o 1964291
88.01/80.75	o 1965202
88.01/80.75	o 1966043
88.01/80.75	o 1966234
88.11/80.80	o 1966957
88.11/80.80	o 1967049
88.11/80.80	o 1967367
88.11/80.80	o 1968183
88.11/80.80	o 1968275
88.11/80.81	o 1968979
88.11/80.81	o 1969488
88.11/80.81	o 1969803
88.11/80.81	o 1970180
88.11/80.82	o 1971406
88.11/80.82	o 1972754
88.11/80.82	o 1975250
88.11/80.82	o 1976476
88.11/80.82	o 1977292
88.11/80.83	o 1978095
88.11/80.84	o 1979321
88.11/80.84	o 1980124
88.11/80.84	o 1980439
88.11/80.84	o 1982042
88.11/80.84	o 1982222
88.11/80.84	o 1984471
88.11/80.84	o 1984616
88.11/80.84	o 1987112
88.11/80.84	o 1988338
88.11/80.84	o 1989154
88.11/80.89	o 1991009
88.22/80.94	o 1992319
88.22/80.94	o 1992766
88.22/80.95	o 1993996
88.22/80.95	o 1994777
88.22/80.95	o 1995135
88.22/80.95	o 1997126
88.22/80.95	o 1997573
88.22/80.97	o 1997938
88.22/80.97	o 1998385
88.22/80.97	o 1999255
88.22/80.97	o 1999702
88.22/80.97	o 2000065
88.22/80.97	o 2002745
88.22/80.98	o 2003192
88.22/80.98	o 2004736
88.22/80.98	o 2005183
88.53/81.20	o 2005699
88.53/81.20	o 2005880
88.53/81.21	o 2006391
88.53/81.21	o 2006572
88.53/81.21	o 2007133
88.53/81.22	o 2007314
88.63/81.32	o 2007955
88.63/81.32	o 2008365
88.63/81.32	o 2009181
88.63/81.33	o 2009211
88.63/81.33	o 2010164
88.63/81.33	o 2010437
88.63/81.33	o 2011390
88.63/81.35	o 2012091
88.63/81.35	o 2012216
88.63/81.35	o 2013442
88.63/81.35	o 2014395
88.63/81.35	o 2015211
88.90/81.53	o 2015542
88.90/81.53	o 2015620
88.90/81.54	o 2015649
88.90/81.54	o 2018036
88.90/81.55	o 2019577
88.90/81.55	o 2019730
88.90/81.56	o 2019983
88.90/81.56	o 2021524
88.90/81.56	o 2022451
88.90/81.56	o 2024867
88.90/81.56	o 2026408
88.90/81.56	o 2027254
88.90/81.56	o 2028795
88.90/81.56	o 2028948
89.00/81.61	o 2030301
89.00/81.61	o 2031058
89.00/81.61	o 2031150
89.11/81.72	o 2032077
89.11/81.72	o 2032268
89.11/81.72	o 2033462
89.11/81.72	o 2033653
105.21/97.66	o 2034345
105.61/98.00	o 2034855
105.61/98.02	o 2036169
105.61/98.02	o 2037300
105.61/98.02	o 2037978
105.61/98.02	o 2038486
105.61/98.02	o 2039897
105.61/98.02	o 2040575
105.61/98.03	o 2041028
105.61/98.03	o 2041706
105.61/98.03	o 2042100
105.61/98.03	o 2042778
113.20/105.39	o 2042949
113.20/105.40	o 2043260
113.20/105.40	o 2043706
113.20/105.40	o 2044017
113.30/105.46	o 2044185
113.30/105.48	o 2044473
113.30/105.48	o 2044679
113.30/105.48	o 2044959
113.30/105.48	o 2045333
113.30/105.48	o 2046090
113.30/105.49	o 2046401
113.30/105.50	o 2046803
113.30/105.50	o 2047114
113.30/105.50	o 2047560
113.30/105.50	o 2047871
117.83/109.94	o 2047980
117.83/109.94	o 2048012
117.83/109.94	o 2048386
117.83/109.94	o 2049143
117.83/109.94	o 2049159
117.83/109.95	o 2049916
117.83/109.95	o 2050227
118.23/110.37	o 2050328
118.23/110.37	o 2050370
118.23/110.37	o 2050576
118.23/110.37	o 2051214
118.23/110.37	o 2051987
118.23/110.37	o 2052744
118.53/110.64	o 2052753
118.53/110.64	o 2053064
118.53/110.64	o 2053526
118.53/110.65	o 2053837
118.53/110.65	o 2054129
118.53/110.65	o 2054532
118.53/110.65	o 2054843
118.53/110.67	o 2055004
118.53/110.67	o 2055331
118.53/110.67	o 2055537
118.53/110.67	o 2055817
118.53/110.67	o 2056175
118.53/110.67	o 2056191
118.53/110.67	o 2056948
118.53/110.68	o 2057259
119.63/111.75	o 2057829
119.63/111.75	o 2058140
119.63/111.75	o 2058586
119.63/111.75	o 2058897
119.63/111.76	o 2059185
119.63/111.76	o 2059391
119.63/111.76	o 2059671
119.63/111.76	o 2060045
119.63/111.76	o 2060802
119.63/111.77	o 2061113
120.65/112.74	o 2061515
120.65/112.74	o 2061826
120.65/112.74	o 2062272
120.65/112.74	o 2062583
123.06/115.18	o 2063266
123.06/115.18	o 2066410
123.06/115.18	o 2068869
123.06/115.18	o 2070303
123.06/115.18	o 2071375
124.59/116.68	o 2074700
124.59/116.68	o 2075541
124.59/116.68	o 2076219
124.59/116.68	o 2076719
124.88/116.97	o 2076860
124.88/116.97	o 2077229
124.88/116.97	o 2077676
124.88/116.98	o 2077987
124.98/117.03	o 2078252
124.98/117.03	o 2079068
124.98/117.03	o 2079379
124.98/117.04	o 2079515
124.98/117.04	o 2079826
125.08/117.14	o 2079934
125.08/117.14	o 2080445
125.08/117.14	o 2081044
125.08/117.15	o 2081845
125.08/117.15	o 2082661
125.08/117.15	o 2083161
125.08/117.15	o 2084191
125.08/117.15	o 2084691
125.08/117.15	o 2085007
125.08/117.15	o 2085507
125.08/117.15	o 2085809
125.08/117.15	o 2086031
125.08/117.15	o 2086832
125.08/117.15	o 2087648
125.08/117.17	o 2088148
125.08/117.19	o 2088459
125.29/117.30	o 2088662
125.29/117.30	o 2089404
125.29/117.30	o 2090096
125.29/117.37	o 2090594
125.29/117.37	o 2092028
125.29/117.37	o 2093379
125.29/117.37	o 2094071
125.63/117.57	o 2094423
125.63/117.57	o 2095180
125.63/117.57	o 2096109
125.63/117.57	o 2096882
125.63/117.57	o 2097639
125.63/117.57	o 2098317
129.34/120.63	o 2098519
129.34/120.63	o 2098638
129.34/120.63	o 2098680
129.34/120.63	o 2099591
129.34/120.63	o 2100348
129.34/120.63	o 2101040
129.34/120.63	o 2101132
129.34/120.64	o 2101691
129.34/120.64	o 2102448
129.34/120.64	o 2103140
129.34/120.64	o 2103294
129.34/120.64	o 2103359
129.34/120.65	o 2104051
129.34/120.65	o 2104143
129.34/120.65	o 2104369
129.34/120.65	o 2104488
129.34/120.65	o 2104684
129.34/120.65	o 2105441
129.34/120.66	o 2105595
129.34/120.66	o 2106352
129.34/120.66	o 2107044
129.34/120.67	o 2107136
129.84/121.17	o 2107989
129.84/121.17	o 2108681
129.84/121.17	o 2109128
129.84/121.18	o 2109215
129.84/121.18	o 2109662
129.84/121.18	o 2109907
129.84/121.18	o 2110354
129.84/121.18	o 2110545
129.84/121.19	o 2110647
129.84/121.19	o 2110838
129.94/121.23	o 2111147
129.94/121.23	o 2112764
129.94/121.23	o 2113456
129.94/121.24	o 2113990
129.94/121.24	o 2114682
129.94/121.25	o 2114873
130.04/121.32	o 2115871
130.04/121.32	o 2117279
130.04/121.32	o 2118505
130.04/121.32	o 2118696
130.04/121.33	o 2119197
130.04/121.33	o 2119388
130.04/121.33	o 2119644
130.04/121.33	o 2119835
151.37/142.57	o 2120197
151.37/142.57	o 2122656
151.37/142.57	o 2123241
151.37/142.57	o 2125700
155.74/146.73	o 2126462
155.74/146.73	o 2129142
155.74/146.74	o 2131776
156.05/147.02	o 2131989
156.05/147.02	o 2132900
156.05/147.03	o 2133578
156.05/147.03	o 2133716
156.05/147.03	o 2134394
158.96/149.93	o 2135854
158.96/149.93	o 2137709
158.96/149.93	o 2139250
159.27/150.27	o 2139440
159.27/150.27	o 2139456
159.27/150.27	o 2141295
159.27/150.28	o 2141476
180.96/171.64	o 2142068
181.05/171.71	o 2142179
181.05/171.71	o 2142857
181.05/171.74	o 2144031
181.05/171.75	o 2144709
181.05/171.78	o 2145034
181.05/171.79	o 2145712
181.15/171.81	o 2146886
181.15/171.81	o 2147564
181.69/172.35	o 2148011
183.42/173.90	o 2148620
183.42/173.90	o 2149436
183.42/173.90	o 2150193
183.42/173.90	o 2150504
183.42/173.90	o 2151156
183.42/173.91	o 2151913
183.42/173.91	o 2152224
183.42/173.91	o 2152283
183.42/173.91	o 2152729
183.42/173.91	o 2153040
183.42/173.96	o 2153174
186.70/177.16	o 2153933
186.70/177.19	o 2155562
186.70/177.19	o 2157356
186.70/177.19	o 2159053
193.28/183.63	o 2160061
193.28/183.65	o 2162209
193.28/183.65	o 2164889
193.28/183.66	o 2167523
193.28/183.68	o 2167692
193.28/183.68	o 2168017
193.28/183.69	o 2170697
193.28/183.69	o 2173331
193.37/183.73	o 2174176
193.37/183.76	o 2174623
193.37/183.76	o 2177350
193.37/183.76	o 2179984
193.37/183.77	o 2180030
193.37/183.78	o 2182664
225.55/215.41	o 2182683
225.85/215.77	o 2182747
225.85/215.77	o 2182750
225.85/215.77	o 2183161
225.85/215.77	o 2183661
225.95/215.81	o 2183737
225.95/215.81	o 2184128
225.95/215.81	o 2185039
225.95/215.81	o 2185042
225.95/215.81	o 2185953
225.95/215.87	o 2186453
227.07/216.91	o 2186904
227.07/216.91	o 2187085
227.07/216.91	o 2187179
227.07/216.92	o 2187857
227.07/216.92	o 2188038
227.07/216.92	o 2188304
227.07/216.92	o 2188485
227.27/217.14	o 2188678
227.27/217.15	o 2189435
227.27/217.15	o 2189592
227.27/217.15	o 2190349
227.27/217.15	o 2190942
227.27/217.15	o 2191699
227.27/217.15	o 2192439
227.27/217.15	o 2193222
227.27/217.15	o 2193290
227.27/217.15	o 2193485
227.27/217.15	o 2194399
227.27/217.15	o 2194835
227.27/217.15	o 2195749
227.27/217.15	o 2196506
227.27/217.15	o 2196632
227.27/217.15	o 2196700
227.27/217.15	o 2197542
227.27/217.16	o 2197809
227.27/217.16	o 2199159
227.27/217.16	o 2199916
227.27/217.16	o 2200073
227.27/217.16	o 2200830
227.57/217.42	o 2201397
227.57/217.42	o 2201815
227.57/217.42	o 2202192
227.57/217.42	o 2202834
227.57/217.42	o 2204031
227.57/217.44	o 2204709
227.57/217.45	o 2204897
227.57/217.45	o 2205416
227.57/217.45	o 2206094
227.57/217.48	o 2206541
227.68/217.55	o 2206935
227.68/217.55	o 2207382
250.26/239.14	o 2207631
250.26/239.14	o 2208388
250.26/239.14	o 2208888
250.37/239.20	o 2208918
250.37/239.20	o 2209418
250.37/239.22	o 2211445
250.37/239.23	o 2211945
250.37/239.26	o 2213661
250.37/239.26	o 2214161
250.37/239.27	o 2214418
250.47/239.30	o 2214918
250.57/239.49	o 2216325
250.57/239.49	o 2216636
250.57/239.49	o 2219455
250.57/239.49	o 2219766
250.68/239.51	o 2220255
250.68/239.51	o 2221779
250.68/239.51	o 2222073
250.68/239.51	o 2222384
250.68/239.55	o 2223034
250.68/239.55	o 2226164
250.68/239.56	o 2226475
250.68/239.59	o 2226964
250.68/239.59	o 2228782
250.68/239.60	o 2229093
251.39/240.25	o 2229511
251.39/240.25	o 2229692
251.60/240.44	o 2229964
251.60/240.44	o 2230017
251.60/240.45	o 2230464
251.60/240.47	o 2230645
251.71/240.51	o 2230672
251.71/240.51	o 2231014
251.71/240.51	o 2231514
251.71/240.51	o 2231678
251.71/240.51	o 2231717
251.71/240.51	o 2232631
251.71/240.51	o 2233131
251.71/240.51	o 2233312
251.71/240.55	o 2233578
251.71/240.55	o 2233759
251.81/240.68	o 2234008
251.81/240.68	o 2234302
251.81/240.69	o 2234330
251.81/240.69	o 2234552
251.81/240.69	o 2235052
251.81/240.69	o 2235216
251.81/240.69	o 2236169
251.81/240.69	o 2236669
251.81/240.69	o 2237675
251.81/240.69	o 2238175
251.81/240.69	o 2238628
251.81/240.69	o 2239128
251.90/240.70	o 2239575
251.90/240.70	o 2239989
251.90/240.70	o 2240042
251.90/240.70	o 2240489
251.90/240.70	o 2240670
252.86/241.66	o 2240749
252.86/241.66	o 2241565
252.86/241.66	o 2241746
252.86/241.66	o 2242012
252.86/241.66	o 2242193
252.86/241.67	o 2242415
252.86/241.67	o 2242581
252.86/241.67	o 2243028
252.86/241.67	o 2243807
252.86/241.67	o 2244254
252.86/241.67	o 2244436
252.86/241.67	o 2244846
252.86/241.67	o 2245662
252.86/241.68	o 2246109
252.86/241.68	o 2246290
253.05/241.83	o 2247270
253.05/241.84	o 2247439
253.05/241.84	o 2250080
253.05/241.86	o 2250761
253.05/241.86	o 2250930
253.05/241.86	o 2253571
253.16/241.95	o 2256259
253.16/241.97	o 2259750
253.16/241.99	o 2260126
253.16/241.99	o 2261555
253.16/241.99	o 2265046
253.16/241.99	o 2265652
253.16/241.99	o 2269143
253.26/242.02	o 2271784
254.28/243.06	o 2272393
254.28/243.07	o 2272768
254.28/243.07	o 2274248
254.38/243.16	o 2275566
254.38/243.16	o 2276352
254.38/243.16	o 2278207
260.61/249.29	o 2278297
260.61/249.29	o 2278478
260.61/249.29	o 2278613
260.61/249.29	o 2279113
260.61/249.29	o 2279294
260.61/249.29	o 2279304
260.61/249.29	o 2279485
260.61/249.29	o 2279527
260.61/249.29	o 2280027
260.61/249.29	o 2280218
260.61/249.29	o 2280399
260.61/249.30	o 2280499
260.61/249.30	o 2280680
260.61/249.30	o 2280799
260.71/249.30	o 2280990
260.71/249.30	o 2281615
260.71/249.30	o 2281806
260.71/249.30	o 2281901
260.71/249.30	o 2282337
260.71/249.30	o 2282435
260.71/249.30	o 2283251
260.71/249.30	o 2283376
260.71/249.30	o 2284290
260.71/249.30	o 2285106
260.71/249.30	o 2285297
260.71/249.30	o 2285478
260.71/249.30	o 2285606
260.71/249.31	o 2285787
260.71/249.38	o 2286994
260.71/249.38	o 2287686
260.81/249.47	o 2288833
260.92/249.53	o 2289525
261.32/249.92	o 2290574
261.32/249.92	o 2290765
261.32/249.92	o 2290946
261.32/249.92	o 2291066
261.32/249.92	o 2291076
261.32/249.92	o 2291257
261.95/250.59	o 2292421
261.95/250.59	o 2295465
261.95/250.59	o 2297968
284.20/272.43	o 2298226
284.20/272.43	o 2299179
284.20/272.44	o 2304912
284.20/272.46	o 2305865
284.20/272.47	o 2307825
284.20/272.47	o 2308778
284.42/272.66	o 2309201
284.42/272.66	o 2309392
284.42/272.66	o 2309792
284.42/272.66	o 2310703
284.42/272.66	o 2310706
284.42/272.66	o 2311617
284.42/272.66	o 2311808
284.42/272.66	o 2312797
284.42/272.66	o 2313711
284.42/272.66	o 2313902
284.42/272.66	o 2314622
284.42/272.66	o 2314813
286.18/274.28	o 2314953
286.18/274.28	o 2315144
286.18/274.28	o 2315325
286.38/274.46	o 2315905
286.38/274.46	o 2316086
286.38/274.46	o 2316352
286.38/274.46	o 2316533
286.38/274.46	o 2316721
286.38/274.46	o 2317168
286.38/274.46	o 2317349
286.38/274.46	o 2317947
286.38/274.46	o 2318128
286.38/274.46	o 2318394
286.38/274.46	o 2318575
286.38/274.47	o 2318669
286.38/274.47	o 2319038
286.38/274.47	o 2319485
286.49/274.56	o 2319666
301.07/288.84	o 2319795
301.07/288.86	o 2319983
301.07/288.86	o 2320266
301.07/288.86	o 2320364
301.07/288.86	o 2321180
301.17/288.97	o 2321987
301.17/288.97	o 2322270
301.17/288.97	o 2323184
301.28/289.08	o 2323655
308.33/295.92	o 2324331
308.33/295.93	o 2324557
308.33/295.93	o 2326125
308.33/295.93	o 2326805
308.33/295.93	o 2327822
308.33/295.95	o 2329109
308.33/295.96	o 2330677
313.64/301.15	o 2331591
313.76/301.22	o 2332407
313.85/301.36	o 2333213
313.85/301.36	o 2333739
313.85/301.36	o 2334830
313.95/301.49	o 2335495
313.95/301.49	o 2336929
313.95/301.49	o 2337112
313.95/301.50	o 2338546
314.16/301.69	o 2339637
314.50/301.94	o 2339828
316.63/304.07	o 2340659
316.63/304.07	o 2341750
316.63/304.07	o 2344618
316.63/304.07	o 2345709
316.63/304.08	o 2346279
316.63/304.08	o 2350238
316.63/304.08	o 2351329
316.73/304.10	o 2351599
316.73/304.10	o 2352690
316.73/304.18	o 2354031
316.84/304.26	o 2355122
333.41/320.25	o 2356221
333.41/320.25	o 2356668
333.51/320.30	o 2357188
333.51/320.30	o 2360318
333.51/320.31	o 2360765
333.61/320.42	o 2362996
333.61/320.42	o 2363443
333.61/320.43	o 2366126
333.61/320.43	o 2366573
335.04/321.86	o 2368097
335.64/322.42	o 2368147
336.36/323.16	o 2368361
336.36/323.16	o 2368722
336.36/323.16	o 2370200
336.36/323.17	o 2370561
336.46/323.21	o 2370700
336.46/323.21	o 2371061
338.90/325.63	o 2371852
338.90/325.64	o 2372037
338.90/325.64	o 2372349
338.90/325.64	o 2373263
356.98/343.28	o 2374399
356.98/343.29	o 2375596
373.47/359.39	o 2375628
373.57/359.44	o 2380989
373.57/359.48	o 2381170
375.72/361.55	o 2382434
375.72/361.55	o 2383207
376.42/362.25	o 2383274
376.42/362.25	o 2383465
378.07/363.82	o 2384731
393.35/378.56	o 2384818
393.35/378.57	o 2384975
393.35/378.57	o 2385732
393.54/378.78	o 2386320
393.54/378.78	o 2387234
393.54/378.79	o 2387284
393.54/378.79	o 2389811
393.54/378.79	o 2390725
393.64/378.81	o 2391482
394.96/380.18	o 2392308
394.96/380.18	o 2393219
394.96/380.18	o 2393410
395.78/380.92	o 2395317
395.78/380.92	o 2395412
395.88/381.02	o 2400109
395.88/381.06	o 2400204
395.88/381.06	o 2400798
395.88/381.06	o 2400893
396.18/381.36	o 2401120
396.18/381.36	o 2401987
396.18/381.36	o 2402676
397.21/382.33	o 2402968
397.21/382.33	o 2403159
397.21/382.33	o 2403251
397.21/382.33	o 2404165
397.21/382.33	o 2404356
397.21/382.34	o 2404815
397.21/382.34	o 2405006
397.21/382.34	o 2406145
397.21/382.34	o 2407342
397.21/382.34	o 2407533
397.21/382.34	o 2408409
397.21/382.34	o 2409635
397.21/382.34	o 2409826
397.21/382.34	o 2410832
397.21/382.34	o 2411023
397.21/382.34	o 2411746
397.21/382.34	o 2411937
397.42/382.54	o 2413251
397.52/382.67	o 2413393
397.52/382.67	o 2413410
397.52/382.67	o 2414023
397.52/382.67	o 2414161
397.52/382.67	o 2414934
397.71/382.81	o 2415628
397.71/382.81	o 2416241
397.71/382.81	o 2417152
397.71/382.81	o 2417782
397.71/382.81	o 2418693
397.91/383.04	o 2419466
406.82/391.87	o 2419632
406.82/391.87	o 2422125
406.82/391.87	o 2422625
406.82/391.87	o 2423742
406.82/391.87	o 2424242
407.65/392.64	o 2425221
462.07/444.80	o 2425270
467.58/450.28	o 2425753
467.58/450.28	o 2426253
472.16/454.73	o 2426540
472.16/454.73	o 2426904
472.16/454.73	o 2427351
472.16/454.73	o 2427661
472.16/454.73	o 2428108
527.25/508.53	o 2428233
527.25/508.53	o 2428328
527.44/508.79	o 2429252
527.44/508.79	o 2430449
527.77/509.06	o 2430544
527.87/509.10	o 2430896
527.87/509.10	o 2430991
528.38/509.62	o 2431723
528.38/509.67	o 2432742
528.38/509.67	o 2433939
528.89/510.16	o 2434386
528.89/510.19	o 2434481
594.41/574.23	o 2435667
594.41/574.23	o 2438301
594.41/574.23	o 2439058
594.41/574.24	o 2439239
614.35/593.75	o 2439998
614.35/593.76	o 2440445
717.18/693.76	o 2441206
717.18/693.76	o 2442117
717.28/693.80	o 2442298
738.66/714.62	o 2442973
738.66/714.62	o 2443603
738.66/714.62	o 2444514
1366.89/1326.01	o 2445900
1366.89/1326.01	o 2446347
1366.89/1326.01	o 2446811
1366.89/1326.01	o 2447258
1367.09/1326.23	o 2448008
1367.09/1326.30	o 2448455
1369.06/1328.14	o 2448989
1369.06/1328.14	o 2449762
1369.06/1328.14	o 2450519
1390.24/1348.80	o 2451303
1390.44/1349.07	o 2452737
1432.86/1390.45	o 2453013
1432.86/1390.45	o 2453108
1432.86/1390.45	o 2453724
1432.86/1390.45	o 2454540
1432.86/1390.45	o 2455229
1432.86/1390.45	o 2455324
1432.86/1390.45	o 2455507
1432.86/1390.45	o 2455602
1432.86/1390.45	o 2455656
1432.86/1390.45	o 2455808
1432.86/1390.45	o 2456497
1432.86/1390.46	o 2457034
1432.86/1390.46	o 2457723
1432.86/1390.46	o 2457818
1432.86/1390.46	o 2457850
1432.86/1390.46	o 2457945
1432.86/1390.46	o 2458539
1432.86/1390.46	o 2458634
1436.93/1394.49	o 2459244
1436.93/1394.49	o 2459435
1437.53/1395.01	o 2460056
1437.53/1395.01	o 2460970
1438.23/1395.72	o 2463186
1438.43/1395.96	o 2464100
1438.54/1396.01	o 2464291
1438.64/1396.12	o 2465312
1438.64/1396.12	o 2466226
1438.64/1396.12	o 2466678
1438.64/1396.12	o 2467038
1438.64/1396.12	o 2470168
1438.64/1396.13	o 2471082
1438.64/1396.13	o 2471273
1440.50/1397.94	o 2472908
1440.50/1397.94	o 2473099
1440.50/1397.94	o 2473822
1440.50/1397.94	o 2474013
1440.70/1398.16	o 2474031
1440.90/1398.40	o 2476247
1441.00/1398.40	o 2477161
1441.00/1398.45	o 2477352
1448.41/1405.63	o 2478032
1448.41/1405.64	o 2478943
1556.10/1510.36	o 2479273
1556.20/1510.41	o 2479962
1556.31/1510.57	o 2480059
1556.31/1510.57	o 2480816
1556.31/1510.57	o 2481505
1985.50/1928.96	o 2481860
1985.50/1928.96	o 2481955
1985.50/1928.96	o 2482307
1985.50/1928.96	o 2482402
1985.50/1928.96	o 2482709
1985.50/1928.97	o 2483156
1985.80/1929.23	o 2484439
1985.80/1929.24	o 2485350
1985.80/1929.24	o 2485797
1985.80/1929.24	o 2485892
1988.37/1931.79	o 2486975
1988.57/1931.92	o 2487422
1988.57/1931.92	o 2487517
1988.57/1931.92	o 2487886
1988.57/1931.93	o 2488333
1988.57/1931.93	o 2488428
2048.25/1989.59	o 2489402
2048.25/1989.59	o 2490218
2048.25/1989.59	o 2490752
2048.25/1989.59	o 2491568
2048.25/1989.59	o 2492043
2048.25/1989.59	o 2493393
2048.25/1989.59	o 2494209
2053.60/1994.82	o 2494709
2520.07/2449.51	s SATISFIABLE
2520.07/2449.51	v <instantiation>
2520.07/2449.51	v 	<list>
2520.07/2449.51	v 		b[0] b[1] b[2] b[3] b[4] b[5] b[6] b[7] b[8] b[9] b[10] b[11] b[12] b[13] b[14] b[15] b[16] b[17] b[18] b[19] b[20] b[21] b[22] b[23] b[24] b[25] b[26] b[27] b[28] b[29] b[30] b[31] b[32] b[33] b[34] b[35] b[36] b[37] b[38] b[39] b[40] b[41] b[42] b[43] b[44] b[45] b[46] b[47] b[48] b[49] b[50] b[51] b[52] b[53] b[54] b[55] b[56] b[57] b[58] b[59] b[60] b[61] b[62] b[63] b[64] b[65] b[66] b[67] b[68] b[69] b[70] b[71] b[72] b[73] b[74] b[75] b[76] b[77] b[78] b[79] b[80] b[81] b[82] b[83] b[84] b[85] b[86] b[87] b[88] b[89] b[90] b[91] b[92] b[93] b[94] b[95] b[96] b[97] b[98] b[99] b[100] b[101] b[102] b[103] b[104] b[105] b[106] b[107] b[108] b[109] b[110] b[111] b[112] b[113] b[114] b[115] b[116] b[117] b[118] b[119] b[120] b[121] b[122] b[123] b[124] b[125] b[126] b[127] b[128] b[129] b[130] b[131] b[132] b[133] b[134] b[135] b[136] b[137] b[138] b[139] b[140] b[141] b[142] b[143] b[144] b[145] b[146] b[147] b[148] b[149] b[150] b[151] b[152] b[153] b[154] b[155] b[156] b[157] b[158] b[159] b[160] b[161] b[162] b[163] b[164] b[165] b[166] b[167] b[168] b[169] b[170] b[171] b[172] b[173] b[174] b[175] b[176] b[177] b[178] b[179] b[180] b[181] b[182] b[183] b[184] b[185] b[186] b[187] b[188] b[189] b[190] b[191] b[192] b[193] b[194] b[195] b[196] b[197] b[198] b[199] b[200] b[201] b[202] b[203] b[204] b[205] b[206] b[207] b[208] b[209] b[210] b[211] b[212] b[213] b[214] b[215] b[216] b[217] b[218] b[219] b[220] b[221] b[222] b[223] b[224] b[225] b[226] b[227] b[228] b[229] b[230] b[231] b[232] b[233] b[234] b[235] b[236] b[237] b[238] b[239] b[240] b[241] b[242] b[243] b[244] b[245] b[246] b[247] b[248] b[249] b[250] b[251] b[252] b[253] b[254] b[255] b[256] b[257] b[258] b[259] b[260] b[261] b[262] b[263] b[264] b[265] b[266] b[267] b[268] b[269] b[270] b[271] b[272] b[273] b[274] b[275] b[276] b[277] b[278] b[279] b[280] b[281] b[282] b[283] b[284] b[285] b[286] b[287] b[288] b[289] b[290] b[291] b[292] b[293] b[294] b[295] b[296] b[297] b[298] b[299] b[300] b[301] b[302] b[303] b[304] b[305] b[306] b[307] b[308] b[309] b[310] b[311] b[312] b[313] b[314] b[315] b[316] b[317] b[318] b[319] b[320] b[321] b[322] b[323] b[324] b[325] b[326] b[327] b[328] b[329] b[330] b[331] b[332] b[333] b[334] b[335] b[336] b[337] b[338] b[339] b[340] b[341] b[342] b[343] b[344] b[345] b[346] b[347] b[348] b[349] b[350] b[351] b[352] b[353] b[354] b[355] b[356] b[357] b[358] b[359] b[360] b[361] b[362] b[363] b[364] b[365] b[366] b[367] b[368] b[369] b[370] b[371] b[372] b[373] b[374] b[375] b[376] b[377] b[378] b[379] b[380] b[381] b[382] b[383] b[384] b[385] b[386] b[387] b[388] b[389] b[390] b[391] b[392] b[393] b[394] b[395] b[396] b[397] b[398] b[399] b[400] b[401] b[402] b[403] b[404] b[405] b[406] b[407] b[408] b[409] b[410] b[411] b[412] b[413] b[414] b[415] b[416] b[417] b[418] b[419] b[420] b[421] b[422] b[423] b[424] b[425] b[426] b[427] b[428] b[429] b[430] b[431] b[432] b[433] b[434] b[435] b[436] b[437] b[438] b[439] b[440] b[441] b[442] b[443] b[444] b[445] b[446] b[447] b[448] b[449] b[450] b[451] b[452] b[453] b[454] b[455] b[456] b[457] b[458] b[459] b[460] b[461] b[462] b[463] b[464] b[465] b[466] b[467] b[468] b[469] b[470] b[471] b[472] b[473] b[474] b[475] b[476] b[477] b[478] b[479] b[480] b[481] b[482] b[483] b[484] b[485] b[486] b[487] b[488] b[489] b[490] b[491] b[492] b[493] b[494] b[495] b[496] b[497] b[498] b[499] b[500] b[501] b[502] b[503] b[504] b[505] b[506] b[507] b[508] b[509] b[510] b[511] b[512] b[513] b[514] b[515] b[516] b[517] b[518] b[519] b[520] b[521] b[522] b[523] b[524] b[525] b[526] b[527] b[528] b[529] b[530] b[531] b[532] b[533] b[534] b[535] b[536] b[537] b[538] b[539] b[540] b[541] b[542] b[543] b[544] b[545] b[546] b[547] b[548] b[549] b[550] b[551] b[552] b[553] b[554] b[555] b[556] b[557] b[558] b[559] b[560] b[561] b[562] b[563] b[564] b[565] b[566] b[567] b[568] b[569] b[570] b[571] b[572] b[573] b[574] b[575] b[576] b[577] b[578] b[579] b[580] b[581] b[582] b[583] b[584] b[585] b[586] b[587] b[588] b[589] b[590] b[591] b[592] b[593] b[594] b[595] b[596] b[597] b[598] b[599] b[600] b[601] b[602] b[603] b[604] b[605] b[606] b[607] b[608] b[609] b[610] b[611] b[612] b[613] b[614] b[615] b[616] b[617] b[618] b[619] b[620] b[621] b[622] b[623] b[624] b[625] b[626] b[627] b[628] b[629] b[630] b[631] b[632] b[633] b[634] b[635] b[636] b[637] b[638] b[639] b[640] b[641] b[642] b[643] b[644] b[645] b[646] b[647] b[648] b[649] b[650] b[651] b[652] b[653] b[654] b[655] b[656] b[657] b[658] b[659] b[660] b[661] b[662] b[663] b[664] b[665] b[666] b[667] b[668] b[669] b[670] b[671] b[672] b[673] b[674] b[675] b[676] b[677] b[678] b[679] b[680] b[681] b[682] b[683] b[684] b[685] b[686] b[687] b[688] b[689] b[690] b[691] b[692] b[693] b[694] b[695] b[696] b[697] b[698] b[699] b[700] b[701] b[702] b[703] b[704] b[705] b[706] b[707] b[708] b[709] b[710] b[711] b[712] b[713] b[714] b[715] b[716] b[717] b[718] b[719] b[720] b[721] b[722] b[723] b[724] b[725] b[726] b[727] b[728] b[729] b[730] b[731] b[732] b[733] b[734] b[735] b[736] b[737] b[738] b[739] b[740] b[741] b[742] b[743] b[744] b[745] b[746] b[747] b[748] b[749] b[750] b[751] b[752] b[753] b[754] b[755] b[756] b[757] b[758] b[759] b[760] b[761] b[762] b[763] b[764] b[765] b[766] b[767] b[768] b[769] b[770] b[771] b[772] b[773] b[774] b[775] b[776] b[777] b[778] b[779] b[780] b[781] b[782] b[783] b[784] b[785] b[786] b[787] b[788] b[789] b[790] b[791] b[792] b[793] b[794] b[795] b[796] b[797] b[798] b[799] b[800] b[801] b[802] b[803] b[804] b[805] b[806] b[807] b[808] b[809] b[810] b[811] b[812] b[813] b[814] b[815] b[816] b[817] b[818] b[819] b[820] b[821] b[822] b[823] b[824] b[825] b[826] b[827] b[828] b[829] b[830] b[831] b[832] b[833] b[834] b[835] b[836] b[837] b[838] b[839] b[840] b[841] b[842] b[843] b[844] b[845] b[846] b[847] b[848] b[849] b[850] b[851] b[852] b[853] b[854] b[855] b[856] b[857] b[858] b[859] b[860] b[861] b[862] b[863] b[864] b[865] b[866] b[867] b[868] b[869] b[870] b[871] b[872] b[873] b[874] b[875] b[876] b[877] b[878] b[879] b[880] b[881] b[882] b[883] b[884] b[885] b[886] b[887] b[888] b[889] b[890] b[891] b[892] b[893] b[894] b[895] b[896] b[897] b[898] b[899] b[900] b[901] b[902] b[903] b[904] b[905] b[906] b[907] b[908] b[909] b[910] b[911] b[912] b[913] b[914] b[915] b[916] b[917] b[918] b[919] b[920] b[921] b[922] b[923] b[924] b[925] b[926] b[927] b[928] b[929] b[930] b[931] b[932] b[933] b[934] b[935] b[936] b[937] b[938] b[939] b[940] b[941] b[942] b[943] b[944] b[945] b[946] b[947] b[948] b[949] b[950] b[951] b[952] b[953] b[954] b[955] b[956] b[957] b[958] b[959] b[960] b[961] b[962] b[963] b[964] b[965] b[966] b[967] b[968] b[969] b[970] b[971] b[972] b[973] b[974] b[975] b[976] b[977] b[978] b[979] b[980] b[981] b[982] b[983] b[984] b[985] b[986] b[987] b[988] b[989] b[990] b[991] b[992] b[993] b[994] b[995] b[996] b[997] b[998] b[999] b[1000] b[1001] b[1002] b[1003] b[1004] b[1005] b[1006] b[1007] b[1008] b[1009] b[1010] b[1011] b[1012] b[1013] b[1014] b[1015] b[1016] b[1017] b[1018] b[1019] b[1020] b[1021] b[1022] b[1023] b[1024] b[1025] b[1026] b[1027] b[1028] b[1029] b[1030] b[1031] b[1032] b[1033] b[1034] b[1035] b[1036] b[1037] b[1038] b[1039] b[1040] b[1041] b[1042] b[1043] b[1044] b[1045] b[1046] b[1047] b[1048] b[1049] b[1050] b[1051] b[1052] b[1053] b[1054] b[1055] b[1056] b[1057] b[1058] b[1059] b[1060] b[1061] b[1062] b[1063] b[1064] b[1065] b[1066] b[1067] b[1068] b[1069] b[1070] b[1071] b[1072] b[1073] b[1074] b[1075] b[1076] b[1077] b[1078] b[1079] b[1080] b[1081] b[1082] b[1083] b[1084] b[1085] b[1086] b[1087] b[1088] b[1089] b[1090] b[1091] b[1092] b[1093] b[1094] b[1095] b[1096] b[1097] b[1098] b[1099] b[1100] b[1101] b[1102] b[1103] b[1104] b[1105] b[1106] b[1107] b[1108] b[1109] b[1110] b[1111] b[1112] b[1113] b[1114] b[1115] b[1116] b[1117] b[1118] b[1119] b[1120] b[1121] b[1122] b[1123] b[1124] b[1125] b[1126] b[1127] b[1128] b[1129] b[1130] b[1131] b[1132] b[1133] b[1134] b[1135] b[1136] b[1137] b[1138] b[1139] b[1140] b[1141] b[1142] b[1143] b[1144] b[1145] b[1146] b[1147] b[1148] b[1149] b[1150] b[1151] b[1152] b[1153] b[1154] b[1155] b[1156] b[1157] b[1158] b[1159] b[1160] b[1161] b[1162] b[1163] b[1164] b[1165] b[1166] b[1167] b[1168] b[1169] b[1170] b[1171] b[1172] b[1173] b[1174] b[1175] b[1176] b[1177] b[1178] b[1179] b[1180] b[1181] b[1182] b[1183] b[1184] b[1185] b[1186] b[1187] b[1188] b[1189] b[1190] b[1191] b[1192] b[1193] b[1194] b[1195] b[1196] b[1197] b[1198] b[1199] b[1200] b[1201] b[1202] b[1203] b[1204] b[1205] b[1206] b[1207] b[1208] b[1209] b[1210] b[1211] b[1212] b[1213] b[1214] b[1215] b[1216] b[1217] b[1218] b[1219] b[1220] b[1221] b[1222] b[1223] b[1224] b[1225] b[1226] b[1227] b[1228] b[1229] b[1230] b[1231] b[1232] b[1233] b[1234] b[1235] b[1236] b[1237] b[1238] b[1239] b[1240] b[1241] b[1242] b[1243] b[1244] b[1245] b[1246] b[1247] b[1248] b[1249] b[1250] b[1251] b[1252] b[1253] b[1254] b[1255] b[1256] b[1257] b[1258] b[1259] b[1260] b[1261] b[1262] b[1263] b[1264] b[1265] b[1266] b[1267] b[1268] b[1269] b[1270] b[1271] b[1272] b[1273] b[1274] b[1275] b[1276] b[1277] b[1278] b[1279] b[1280] b[1281] b[1282] b[1283] b[1284] b[1285] b[1286] b[1287] b[1288] b[1289] b[1290] b[1291] b[1292] b[1293] b[1294] b[1295] b[1296] b[1297] b[1298] b[1299] b[1300] b[1301] b[1302] b[1303] b[1304] b[1305] b[1306] b[1307] b[1308] b[1309] b[1310] b[1311] b[1312] b[1313] b[1314] b[1315] b[1316] b[1317] b[1318] b[1319] b[1320] b[1321] b[1322] b[1323] b[1324] b[1325] b[1326] b[1327] b[1328] b[1329] b[1330] b[1331] b[1332] b[1333] b[1334] b[1335] b[1336] b[1337] b[1338] b[1339] b[1340] b[1341] b[1342] b[1343] b[1344] b[1345] b[1346] b[1347] b[1348] b[1349] b[1350] b[1351] b[1352] b[1353] b[1354] b[1355] b[1356] b[1357] b[1358] b[1359] b[1360] b[1361] b[1362] b[1363] b[1364] b[1365] b[1366] b[1367] b[1368] b[1369] b[1370] b[1371] b[1372] b[1373] b[1374] b[1375] b[1376] b[1377] b[1378] b[1379] b[1380] b[1381] b[1382] b[1383] b[1384] b[1385] b[1386] b[1387] b[1388] b[1389] b[1390] b[1391] b[1392] b[1393] b[1394] b[1395] b[1396] b[1397] b[1398] b[1399] b[1400] b[1401] b[1402] b[1403] b[1404] b[1405] b[1406] b[1407] b[1408] b[1409] b[1410] b[1411] b[1412] b[1413] b[1414] b[1415] b[1416] b[1417] b[1418] b[1419] b[1420] b[1421] b[1422] b[1423] b[1424] b[1425] b[1426] b[1427] b[1428] b[1429] b[1430] b[1431] b[1432] b[1433] b[1434] b[1435] b[1436] b[1437] b[1438] b[1439] b[1440] b[1441] b[1442] b[1443] b[1444] b[1445] b[1446] b[1447] b[1448] b[1449] b[1450] b[1451] b[1452] b[1453] b[1454] b[1455] b[1456] b[1457] b[1458] b[1459] b[1460] b[1461] b[1462] b[1463] b[1464] b[1465] b[1466] b[1467] b[1468] b[1469] b[1470] b[1471] b[1472] b[1473] b[1474] b[1475] b[1476] b[1477] b[1478] b[1479] b[1480] b[1481] b[1482] b[1483] b[1484] b[1485] b[1486] b[1487] b[1488] b[1489] b[1490] b[1491] b[1492] b[1493] b[1494] b[1495] b[1496] b[1497] b[1498] b[1499] b[1500] b[1501] b[1502] b[1503] b[1504] b[1505] b[1506] b[1507] b[1508] b[1509] b[1510] b[1511] b[1512] b[1513] b[1514] b[1515] b[1516] b[1517] b[1518] b[1519] b[1520] b[1521] b[1522] b[1523] b[1524] b[1525] b[1526] b[1527] b[1528] b[1529] b[1530] b[1531] b[1532] b[1533] b[1534] b[1535] b[1536] b[1537] b[1538] b[1539] b[1540] b[1541] b[1542] b[1543] b[1544] b[1545] b[1546] b[1547] b[1548] b[1549] b[1550] b[1551] b[1552] b[1553] b[1554] b[1555] b[1556] b[1557] b[1558] b[1559] b[1560] b[1561] b[1562] b[1563] b[1564] b[1565] b[1566] b[1567] b[1568] b[1569] b[1570] b[1571] b[1572] b[1573] b[1574] b[1575] b[1576] b[1577] b[1578] b[1579] b[1580] b[1581] b[1582] b[1583] b[1584] b[1585] b[1586] b[1587] b[1588] b[1589] b[1590] b[1591] b[1592] b[1593] b[1594] b[1595] b[1596] b[1597] b[1598] b[1599] b[1600] b[1601] b[1602] b[1603] b[1604] b[1605] b[1606] b[1607] b[1608] b[1609] b[1610] b[1611] b[1612] b[1613] b[1614] b[1615] b[1616] b[1617] b[1618] b[1619] b[1620] b[1621] b[1622] b[1623] b[1624] b[1625] b[1626] b[1627] b[1628] b[1629] b[1630] b[1631] b[1632] b[1633] b[1634] b[1635] b[1636] b[1637] b[1638] b[1639] b[1640] b[1641] b[1642] b[1643] b[1644] b[1645] b[1646] b[1647] b[1648] b[1649] b[1650] b[1651] b[1652] b[1653] b[1654] b[1655] b[1656] b[1657] b[1658] b[1659] b[1660] b[1661] b[1662] b[1663] b[1664] b[1665] b[1666] b[1667] b[1668] b[1669] b[1670] b[1671] b[1672] b[1673] b[1674] b[1675] b[1676] b[1677] b[1678] b[1679] b[1680] b[1681] b[1682] b[1683] b[1684] b[1685] b[1686] b[1687] b[1688] b[1689] b[1690] b[1691] b[1692] b[1693] b[1694] b[1695] b[1696] b[1697] b[1698] b[1699] b[1700] b[1701] b[1702] b[1703] b[1704] b[1705] b[1706] b[1707] b[1708] b[1709] b[1710] b[1711] b[1712] b[1713] b[1714] b[1715] b[1716] b[1717] b[1718] b[1719] b[1720] b[1721] b[1722] b[1723] b[1724] b[1725] b[1726] b[1727] b[1728] b[1729] b[1730] b[1731] b[1732] b[1733] b[1734] b[1735] b[1736] b[1737] b[1738] b[1739] b[1740] b[1741] b[1742] b[1743] b[1744] b[1745] b[1746] b[1747] b[1748] b[1749] b[1750] b[1751] b[1752] b[1753] b[1754] b[1755] b[1756] b[1757] b[1758] b[1759] b[1760] b[1761] b[1762] b[1763] b[1764] b[1765] b[1766] b[1767] b[1768] b[1769] b[1770] b[1771] b[1772] b[1773] b[1774] b[1775] b[1776] b[1777] b[1778] b[1779] b[1780] b[1781] b[1782] b[1783] b[1784] b[1785] b[1786] b[1787] b[1788] b[1789] b[1790] b[1791] b[1792] b[1793] b[1794] b[1795] b[1796] b[1797] b[1798] b[1799] b[1800] b[1801] b[1802] b[1803] b[1804] b[1805] b[1806] b[1807] b[1808] b[1809] b[1810] b[1811] b[1812] b[1813] b[1814] b[1815] b[1816] b[1817] b[1818] b[1819] b[1820] b[1821] b[1822] b[1823] b[1824] b[1825] b[1826] b[1827] b[1828] b[1829] b[1830] b[1831] b[1832] b[1833] b[1834] b[1835] b[1836] b[1837] b[1838] b[1839] b[1840] b[1841] b[1842] b[1843] b[1844] b[1845] b[1846] b[1847] b[1848] b[1849] b[1850] b[1851] b[1852] b[1853] b[1854] b[1855] b[1856] b[1857] b[1858] b[1859] b[1860] b[1861] b[1862] b[1863] b[1864] b[1865] b[1866] b[1867] b[1868] b[1869] b[1870] b[1871] b[1872] b[1873] b[1874] b[1875] b[1876] b[1877] b[1878] b[1879] b[1880] b[1881] b[1882] b[1883] b[1884] b[1885] b[1886] b[1887] b[1888] b[1889] b[1890] b[1891] b[1892] b[1893] b[1894] b[1895] b[1896] b[1897] b[1898] b[1899] b[1900] b[1901] b[1902] b[1903] b[1904] b[1905] b[1906] b[1907] b[1908] b[1909] b[1910] b[1911] b[1912] b[1913] b[1914] b[1915] b[1916] b[1917] b[1918] b[1919] b[1920] b[1921] b[1922] b[1923] b[1924] b[1925] b[1926] b[1927] b[1928] b[1929] b[1930] b[1931] b[1932] b[1933] b[1934] b[1935] b[1936] b[1937] b[1938] b[1939] b[1940] b[1941] b[1942] b[1943] b[1944] b[1945] b[1946] b[1947] b[1948] b[1949] b[1950] b[1951] b[1952] b[1953] b[1954] b[1955] b[1956] b[1957] b[1958] b[1959] b[1960] b[1961] b[1962] b[1963] b[1964] b[1965] b[1966] b[1967] b[1968] b[1969] b[1970] b[1971] b[1972] b[1973] b[1974] b[1975] b[1976] b[1977] b[1978] b[1979] b[1980] b[1981] b[1982] b[1983] b[1984] b[1985] b[1986] b[1987] b[1988] b[1989] b[1990] b[1991] b[1992] b[1993] b[1994] b[1995] b[1996] b[1997] b[1998] b[1999]
2520.07/2449.51	v 	</list>
2520.07/2449.51	v 	<values>
2520.07/2449.51	v 		0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 1 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 1 0 0 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 1 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 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 
2520.07/2449.51	v 	</values>
2520.07/2449.51	v </instantiation>

Verifier Data 

OK	2494709

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4308680-1534283418/watcher-4308680-1534283418 -o /tmp/evaluation-result-4308680-1534283418/solver-4308680-1534283418 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node149-1534271020-14113 --watchdog 2580 java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed 699460458 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4308680-1534283418.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
Current StackSize limit: 8192 KiB

solver pid=15853, runsolver pid=15850

[startup+0.101004 s]*
/proc/loadavg: 1.88 1.70 1.71 4/217 15868
/proc/meminfo: memFree=20588528/32770624 swapFree=67105356/67108860
[pid=15853] ppid=15850 vsize=14082736 memory=34156 CPUtime=0.11 cores=1,3,5,7
/proc/15853/stat : 15853 (java) S 15850 15853 12124 0 -1 1077944320 7472 0 0 0 10 1 0 0 20 0 15 0 245905050 14420721664 8539 33554432000 4194304 4196468 140736820976896 140736820959440 140506362240759 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13725696 140736820978773 140736820978953 140736820978953 140736820981711 0
/proc/15853/statm: 3520684 8539 3134 1 0 3482761 0
[pid=15853/tid=15855] ppid=15850 vsize=14082736 memory=-6966717417093883519 CPUtime=0.09 cores=1,3,5,7
/proc/15853/task/15855/stat : 15855 (java) R 15850 15853 12124 0 -1 4202560 5547 0 0 0 8 1 0 0 20 0 15 0 245905051 14420721664 8539 33554432000 4194304 4196468 140736820976896 140506366442424 140506343634490 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13725696 140736820978773 140736820978953 140736820978953 140736820981711 0
[pid=15853/tid=15856] ppid=15850 vsize=14082736 memory=5793855969070897593 CPUtime=0 cores=1,3,5,7
/proc/15853/task/15856/stat : 15856 (java) S 15850 15853 12124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245905051 14420721664 8539 33554432000 4194304 4196468 140736820976896 140506299841040 140506362250965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13725696 140736820978773 140736820978953 140736820978953 140736820981711 0
[pid=15853/tid=15857] ppid=15850 vsize=14082736 memory=140718061004416 CPUtime=0 cores=1,3,5,7
/proc/15853/task/15857/stat : 15857 (java) S 15850 15853 12124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245905051 14420721664 8539 33554432000 4194304 4196468 140736820976896 140505957014160 140506362250965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13725696 140736820978773 140736820978953 140736820978953 140736820981711 0
[pid=15853/tid=15858] ppid=15850 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15853/task/15858/stat : 15858 (java) S 15850 15853 12124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245905051 14420721664 8539 33554432000 4194304 4196468 140736820976896 140505955961104 140506362250965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13725696 140736820978773 140736820978953 140736820978953 140736820981711 0
[pid=15853/tid=15859] ppid=15850 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15853/task/15859/stat : 15859 (java) S 15850 15853 12124 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245905051 14420721664 8539 33554432000 4194304 4196468 140736820976896 140505954908560 140506362250965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13725696 140736820978773 140736820978953 140736820978953 140736820981711 0
[pid=15853/tid=15860] ppid=15850 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15853/task/15860/stat : 15860 (java) S 15850 15853 12124 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245905053 14420721664 8539 33554432000 4194304 4196468 140736820976896 140505904405232 140506362251906 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13725696 140736820978773 140736820978953 140736820978953 140736820981711 0
[pid=15853/tid=15861] ppid=15850 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15853/task/15861/stat : 15861 (java) S 15850 15853 12124 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 245905053 14420721664 8539 33554432000 4194304 4196468 140736820976896 140505903351456 140506362250965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13725696 140736820978773 140736820978953 140736820978953 140736820981711 0
[pid=15853/tid=15862] ppid=15850 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15853/task/15862/stat : 15862 (java) S 15850 15853 12124 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 245905053 14420721664 8539 33554432000 4194304 4196468 140736820976896 140505902298352 140506362250965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13725696 140736820978773 140736820978953 140736820978953 140736820981711 0
[pid=15853/tid=15863] ppid=15850 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15853/task/15863/stat : 15863 (java) S 15850 15853 12124 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245905056 14420721664 8539 33554432000 4194304 4196468 140736820976896 140505901246928 140506362259355 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13725696 140736820978773 140736820978953 140736820978953 140736820981711 0
[pid=15853/tid=15864] ppid=15850 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15853/task/15864/stat : 15864 (java) S 15850 15853 12124 0 -1 1077944384 287 0 0 0 0 0 0 0 20 0 15 0 245905056 14420721664 8539 33554432000 4194304 4196468 140736820976896 140505900194032 140506362251906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13725696 140736820978773 140736820978953 140736820978953 140736820981711 0
[pid=15853/tid=15865] ppid=15850 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15853/task/15865/stat : 15865 (java) S 15850 15853 12124 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245905056 14420721664 8539 33554432000 4194304 4196468 140736820976896 140505899141488 140506362251906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13725696 140736820978773 140736820978953 140736820978953 140736820981711 0
[pid=15853/tid=15866] ppid=15850 vsize=14082736 memory=140718061004416 CPUtime=0.01 cores=1,3,5,7
/proc/15853/task/15866/stat : 15866 (java) R 15850 15853 12124 0 -1 4202560 256 0 0 0 1 0 0 0 20 0 15 0 245905056 14420721664 8539 33554432000 4194304 4196468 140736820976896 140505898088432 140506340882619 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13725696 140736820978773 140736820978953 140736820978953 140736820981711 0
[pid=15853/tid=15867] ppid=15850 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15853/task/15867/stat : 15867 (java) S 15850 15853 12124 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245905056 14420721664 8539 33554432000 4194304 4196468 140736820976896 140505897036128 140506362250965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13725696 140736820978773 140736820978953 140736820978953 140736820981711 0
[pid=15853/tid=15868] ppid=15850 vsize=14082736 memory=140718061004416 CPUtime=0 cores=1,3,5,7
/proc/15853/task/15868/stat : 15868 (java) S 15850 15853 12124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245905056 14420721664 8539 33554432000 4194304 4196468 140736820976896 140505828551728 140506362251906 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13725696 140736820978773 140736820978953 140736820978953 140736820981711 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 34156 KiB

[startup+0.214426 s]*
/proc/loadavg: 1.88 1.70 1.71 6/217 15868
/proc/meminfo: memFree=20554972/32770624 swapFree=67105356/67108860
[pid=15853] ppid=15850 vsize=14082736 memory=47540 CPUtime=0.31 cores=1,3,5,7
/proc/15853/stat : 15853 (java) S 15850 15853 12124 0 -1 1077944320 10516 0 0 0 29 2 0 0 20 0 15 0 245905050 14420721664 11885 33554432000 4194304 4196468 140736820976896 140736820959440 140506362240759 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13725696 140736820978773 140736820978953 140736820978953 140736820981711 0
/proc/15853/statm: 3520684 11885 3379 1 0 3482761 0
[pid=15853/tid=15855] ppid=15850 vsize=14082736 memory=6735269665583770266 CPUtime=0.2 cores=1,3,5,7
/proc/15853/task/15855/stat : 15855 (java) R 15850 15853 12124 0 -1 4202560 8246 0 0 0 18 2 0 0 20 0 15 0 245905051 14420721664 11885 33554432000 4194304 4196468 140736820976896 140506366459136 140506362252694 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13725696 140736820978773 140736820978953 140736820978953 140736820981711 0
[pid=15853/tid=15856] ppid=15850 vsize=14082736 memory=4211974444265794954 CPUtime=0 cores=1,3,5,7
/proc/15853/task/15856/stat : 15856 (java) S 15850 15853 12124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245905051 14420721664 11885 33554432000 4194304 4196468 140736820976896 140506299841040 140506362250965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13725696 140736820978773 140736820978953 140736820978953 140736820981711 0
[pid=15853/tid=15857] ppid=15850 vsize=14082736 memory=140718061004416 CPUtime=0 cores=1,3,5,7
/proc/15853/task/15857/stat : 15857 (java) S 15850 15853 12124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245905051 14420721664 11885 33554432000 4194304 4196468 140736820976896 140505957014160 140506362250965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13725696 140736820978773 140736820978953 140736820978953 140736820981711 0
[pid=15853/tid=15858] ppid=15850 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15853/task/15858/stat : 15858 (java) S 15850 15853 12124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245905051 14420721664 11885 33554432000 4194304 4196468 140736820976896 140505955961104 140506362250965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13725696 140736820978773 140736820978953 140736820978953 140736820981711 0
[pid=15853/tid=15859] ppid=15850 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15853/task/15859/stat : 15859 (java) S 15850 15853 12124 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245905051 14420721664 11885 33554432000 4194304 4196468 140736820976896 140505954908560 140506362250965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13725696 140736820978773 140736820978953 140736820978953 140736820981711 0
[pid=15853/tid=15860] ppid=15850 vsize=14082736 memory=140718061004416 CPUtime=0 cores=1,3,5,7
/proc/15853/task/15860/stat : 15860 (java) S 15850 15853 12124 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 245905053 14420721664 11885 33554432000 4194304 4196468 140736820976896 140505904405232 140506362251906 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13725696 140736820978773 140736820978953 140736820978953 140736820981711 0
[pid=15853/tid=15861] ppid=15850 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15853/task/15861/stat : 15861 (java) S 15850 15853 12124 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 245905053 14420721664 11885 33554432000 4194304 4196468 140736820976896 140505903351456 140506362250965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13725696 140736820978773 140736820978953 140736820978953 140736820981711 0
[pid=15853/tid=15862] ppid=15850 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15853/task/15862/stat : 15862 (java) S 15850 15853 12124 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 245905053 14420721664 11885 33554432000 4194304 4196468 140736820976896 140505902298352 140506362250965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13725696 140736820978773 140736820978953 140736820978953 140736820981711 0
[pid=15853/tid=15863] ppid=15850 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15853/task/15863/stat : 15863 (java) S 15850 15853 12124 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245905056 14420721664 11885 33554432000 4194304 4196468 140736820976896 140505901246928 140506362259355 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13725696 140736820978773 140736820978953 140736820978953 140736820981711 0
[pid=15853/tid=15864] ppid=15850 vsize=14082736 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/15853/task/15864/stat : 15864 (java) S 15850 15853 12124 0 -1 1077944384 513 0 0 0 2 0 0 0 20 0 15 0 245905056 14420721664 11885 33554432000 4194304 4196468 140736820976896 140505900194032 140506362251906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13725696 140736820978773 140736820978953 140736820978953 140736820981711 0
[pid=15853/tid=15865] ppid=15850 vsize=14082736 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/15853/task/15865/stat : 15865 (java) S 15850 15853 12124 0 -1 1077944384 85 0 0 0 1 0 0 0 20 0 15 0 245905056 14420721664 11885 33554432000 4194304 4196468 140736820976896 140505899141488 140506362251906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13725696 140736820978773 140736820978953 140736820978953 140736820981711 0
[pid=15853/tid=15866] ppid=15850 vsize=14082736 memory=140718061004416 CPUtime=0.06 cores=1,3,5,7
/proc/15853/task/15866/stat : 15866 (java) R 15850 15853 12124 0 -1 4202560 288 0 0 0 6 0 0 0 20 0 15 0 245905056 14420721664 11885 33554432000 4194304 4196468 140736820976896 140505898088432 140506340809904 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13725696 140736820978773 140736820978953 140736820978953 140736820981711 0
[pid=15853/tid=15867] ppid=15850 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15853/task/15867/stat : 15867 (java) S 15850 15853 12124 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245905056 14420721664 11885 33554432000 4194304 4196468 140736820976896 140505897036128 140506362250965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13725696 140736820978773 140736820978953 140736820978953 140736820981711 0
[pid=15853/tid=15868] ppid=15850 vsize=14082736 memory=140718061004416 CPUtime=0 cores=1,3,5,7
/proc/15853/task/15868/stat : 15868 (java) S 15850 15853 12124 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245905056 14420721664 11885 33554432000 4194304 4196468 140736820976896 140505828551728 140506362251906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13725696 140736820978773 140736820978953 140736820978953 140736820981711 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 47540 KiB

[startup+0.801798 s]*
/proc/loadavg: 1.88 1.70 1.71 4/217 15868
/proc/meminfo: memFree=20524292/32770624 swapFree=67105356/67108860
[pid=15853] ppid=15850 vsize=14086852 memory=97236 CPUtime=1.21 cores=1,3,5,7
/proc/15853/stat : 15853 (java) S 15850 15853 12124 0 -1 1077944320 18095 0 0 0 117 4 0 0 20 0 15 0 245905050 14424936448 24309 33554432000 4194304 4196468 140736820976896 140736820959440 140506362240759 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13725696 140736820978773 140736820978953 140736820978953 140736820981711 0
/proc/15853/statm: 3521713 24309 3512 1 0 3483785 0
[pid=15853/tid=15855] ppid=15850 vsize=14086852 memory=4871374705135476842 CPUtime=0.76 cores=1,3,5,7
/proc/15853/task/15855/stat : 15855 (java) R 15850 15853 12124 0 -1 4202560 15233 0 0 0 73 3 0 0 20 0 15 0 245905051 14424936448 24309 33554432000 4194304 4196468 140736820976896 140506366475328 140506362252694 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 13725696 140736820978773 140736820978953 140736820978953 140736820981711 0
[pid=15853/tid=15856] ppid=15850 vsize=14086852 memory=4211974444265794954 CPUtime=0 cores=1,3,5,7
/proc/15853/task/15856/stat : 15856 (java) S 15850 15853 12124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245905051 14424936448 24309 33554432000 4194304 4196468 140736820976896 140506299841040 140506362250965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13725696 140736820978773 140736820978953 140736820978953 140736820981711 0
[pid=15853/tid=15857] ppid=15850 vsize=14086852 memory=140718061006760 CPUtime=0 cores=1,3,5,7
/proc/15853/task/15857/stat : 15857 (java) S 15850 15853 12124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245905051 14424936448 24309 33554432000 4194304 4196468 140736820976896 140505957014160 140506362250965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13725696 140736820978773 140736820978953 140736820978953 140736820981711 0
[pid=15853/tid=15858] ppid=15850 vsize=14086852 memory=140717959797100 CPUtime=0 cores=1,3,5,7
/proc/15853/task/15858/stat : 15858 (java) S 15850 15853 12124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245905051 14424936448 24309 33554432000 4194304 4196468 140736820976896 140505955961104 140506362250965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13725696 140736820978773 140736820978953 140736820978953 140736820981711 0
[pid=15853/tid=15859] ppid=15850 vsize=14086852 memory=140717959794127 CPUtime=0 cores=1,3,5,7
/proc/15853/task/15859/stat : 15859 (java) S 15850 15853 12124 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245905051 14424936448 24309 33554432000 4194304 4196468 140736820976896 140505954908560 140506362250965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13725696 140736820978773 140736820978953 140736820978953 140736820981711 0
[pid=15853/tid=15860] ppid=15850 vsize=14086852 memory=140718061016567 CPUtime=0 cores=1,3,5,7
/proc/15853/task/15860/stat : 15860 (java) S 15850 15853 12124 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 245905053 14424936448 24309 33554432000 4194304 4196468 140736820976896 140505904405232 140506362251906 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13725696 140736820978773 140736820978953 140736820978953 140736820981711 0
[pid=15853/tid=15861] ppid=15850 vsize=14086852 memory=140717959803311 CPUtime=0 cores=1,3,5,7
/proc/15853/task/15861/stat : 15861 (java) S 15850 15853 12124 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 245905053 14424936448 24309 33554432000 4194304 4196468 140736820976896 140505903351456 140506362250965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13725696 140736820978773 140736820978953 140736820978953 140736820981711 0
[pid=15853/tid=15862] ppid=15850 vsize=14086852 memory=281435919597456 CPUtime=0 cores=1,3,5,7
/proc/15853/task/15862/stat : 15862 (java) S 15850 15853 12124 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 245905053 14424936448 24309 33554432000 4194304 4196468 140736820976896 140505902298352 140506362250965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13725696 140736820978773 140736820978953 140736820978953 140736820981711 0
[pid=15853/tid=15863] ppid=15850 vsize=14086852 memory=281435919595152 CPUtime=0 cores=1,3,5,7
/proc/15853/task/15863/stat : 15863 (java) S 15850 15853 12124 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245905056 14424936448 24309 33554432000 4194304 4196468 140736820976896 140505901246928 140506362259355 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13725696 140736820978773 140736820978953 140736820978953 140736820981711 0
[pid=15853/tid=15864] ppid=15850 vsize=14086852 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/15853/task/15864/stat : 15864 (java) S 15850 15853 12124 0 -1 1077944384 698 0 0 0 11 0 0 0 20 0 15 0 245905056 14424936448 24309 33554432000 4194304 4196468 140736820976896 140505900194032 140506362251906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13725696 140736820978773 140736820978953 140736820978953 140736820981711 0
[pid=15853/tid=15865] ppid=15850 vsize=14086852 memory=-1 CPUtime=0.12 cores=1,3,5,7
/proc/15853/task/15865/stat : 15865 (java) R 15850 15853 12124 0 -1 1077944384 295 0 0 0 12 0 0 0 20 0 15 0 245905056 14424936448 24309 33554432000 4194304 4196468 140736820976896 140505899141584 140506362250965 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13725696 140736820978773 140736820978953 140736820978953 140736820981711 0
[pid=15853/tid=15866] ppid=15850 vsize=14086852 memory=140718061004416 CPUtime=0.2 cores=1,3,5,7
/proc/15853/task/15866/stat : 15866 (java) R 15850 15853 12124 0 -1 4202560 487 0 0 0 20 0 0 0 20 0 15 0 245905056 14424936448 24309 33554432000 4194304 4196468 140736820976896 140505898088432 140506362252694 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13725696 140736820978773 140736820978953 140736820978953 140736820981711 0
[pid=15853/tid=15867] ppid=15850 vsize=14086852 memory=2208 CPUtime=0 cores=1,3,5,7
/proc/15853/task/15867/stat : 15867 (java) S 15850 15853 12124 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245905056 14424936448 24309 33554432000 4194304 4196468 140736820976896 140505897036128 140506362250965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13725696 140736820978773 140736820978953 140736820978953 140736820981711 0
[pid=15853/tid=15868] ppid=15850 vsize=14086852 memory=140718061004416 CPUtime=0 cores=1,3,5,7
/proc/15853/task/15868/stat : 15868 (java) S 15850 15853 12124 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245905056 14424936448 24309 33554432000 4194304 4196468 140736820976896 140505828551728 140506362251906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13725696 140736820978773 140736820978953 140736820978953 140736820981711 0
Current children cumulated CPU time: 1.21 s
Current children cumulated vsize: 14086852 KiB
Current children cumulated memory: 97236 KiB

[startup+0.914583 s]*
/proc/loadavg: 1.88 1.70 1.71 6/217 15868
/proc/meminfo: memFree=20510640/32770624 swapFree=67105356/67108860
[pid=15853] ppid=15850 vsize=14086852 memory=111008 CPUtime=1.59 cores=1,3,5,7
/proc/15853/stat : 15853 (java) S 15850 15853 12124 0 -1 1077944320 18470 0 0 0 154 5 0 0 20 0 15 0 245905050 14424936448 27752 33554432000 4194304 4196468 140736820976896 140736820959440 140506362240759 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13725696 140736820978773 140736820978953 140736820978953 140736820981711 0
/proc/15853/statm: 3521713 27752 3532 1 0 3483785 0
[pid=15853/tid=15855] ppid=15850 vsize=14086852 memory=6735269665583770266 CPUtime=0.87 cores=1,3,5,7
/proc/15853/task/15855/stat : 15855 (java) R 15850 15853 12124 0 -1 1077944384 15293 0 0 0 83 4 0 0 20 0 15 0 245905051 14424936448 27752 33554432000 4194304 4196468 140736820976896 140506366475216 140506362250965 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 13725696 140736820978773 140736820978953 140736820978953 140736820981711 0
[pid=15853/tid=15856] ppid=15850 vsize=14086852 memory=4211974444265794954 CPUtime=0 cores=1,3,5,7
/proc/15853/task/15856/stat : 15856 (java) S 15850 15853 12124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245905051 14424936448 27752 33554432000 4194304 4196468 140736820976896 140506299841040 140506362250965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13725696 140736820978773 140736820978953 140736820978953 140736820981711 0
[pid=15853/tid=15857] ppid=15850 vsize=14086852 memory=140718061004416 CPUtime=0 cores=1,3,5,7
/proc/15853/task/15857/stat : 15857 (java) S 15850 15853 12124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245905051 14424936448 27752 33554432000 4194304 4196468 140736820976896 140505957014160 140506362250965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13725696 140736820978773 140736820978953 140736820978953 140736820981711 0
[pid=15853/tid=15858] ppid=15850 vsize=14086852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15853/task/15858/stat : 15858 (java) S 15850 15853 12124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245905051 14424936448 27752 33554432000 4194304 4196468 140736820976896 140505955961104 140506362250965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13725696 140736820978773 140736820978953 140736820978953 140736820981711 0
[pid=15853/tid=15859] ppid=15850 vsize=14086852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15853/task/15859/stat : 15859 (java) S 15850 15853 12124 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245905051 14424936448 27752 33554432000 4194304 4196468 140736820976896 140505954908560 140506362250965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13725696 140736820978773 140736820978953 140736820978953 140736820981711 0
[pid=15853/tid=15860] ppid=15850 vsize=14086852 memory=140718061004416 CPUtime=0 cores=1,3,5,7
/proc/15853/task/15860/stat : 15860 (java) S 15850 15853 12124 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 245905053 14424936448 27752 33554432000 4194304 4196468 140736820976896 140505904405232 140506362251906 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13725696 140736820978773 140736820978953 140736820978953 140736820981711 0
[pid=15853/tid=15861] ppid=15850 vsize=14086852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15853/task/15861/stat : 15861 (java) S 15850 15853 12124 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 245905053 14424936448 27752 33554432000 4194304 4196468 140736820976896 140505903351456 140506362250965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13725696 140736820978773 140736820978953 140736820978953 140736820981711 0
[pid=15853/tid=15862] ppid=15850 vsize=14086852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15853/task/15862/stat : 15862 (java) S 15850 15853 12124 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 245905053 14424936448 27752 33554432000 4194304 4196468 140736820976896 140505902298352 140506362250965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13725696 140736820978773 140736820978953 140736820978953 140736820981711 0
[pid=15853/tid=15863] ppid=15850 vsize=14086852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15853/task/15863/stat : 15863 (java) S 15850 15853 12124 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245905056 14424936448 27752 33554432000 4194304 4196468 140736820976896 140505901246928 140506362259355 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13725696 140736820978773 140736820978953 140736820978953 140736820981711 0
[pid=15853/tid=15864] ppid=15850 vsize=14086852 memory=0 CPUtime=0.2 cores=1,3,5,7
/proc/15853/task/15864/stat : 15864 (java) R 15850 15853 12124 0 -1 4202560 750 0 0 0 20 0 0 0 20 0 15 0 245905056 14424936448 27752 33554432000 4194304 4196468 140736820976896 140505900183056 140506347139084 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13725696 140736820978773 140736820978953 140736820978953 140736820981711 0
[pid=15853/tid=15865] ppid=15850 vsize=14086852 memory=-1 CPUtime=0.21 cores=1,3,5,7
/proc/15853/task/15865/stat : 15865 (java) S 15850 15853 12124 0 -1 1077944384 359 0 0 0 21 0 0 0 20 0 15 0 245905056 14424936448 27752 33554432000 4194304 4196468 140736820976896 140505899128272 140506362250965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13725696 140736820978773 140736820978953 140736820978953 140736820981711 0
[pid=15853/tid=15866] ppid=15850 vsize=14086852 memory=140718061004416 CPUtime=0.28 cores=1,3,5,7
/proc/15853/task/15866/stat : 15866 (java) S 15850 15853 12124 0 -1 1077944384 684 0 0 0 28 0 0 0 20 0 15 0 245905056 14424936448 27752 33554432000 4194304 4196468 140736820976896 140505898088432 140506362251906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13725696 140736820978773 140736820978953 140736820978953 140736820981711 0
[pid=15853/tid=15867] ppid=15850 vsize=14086852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15853/task/15867/stat : 15867 (java) S 15850 15853 12124 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245905056 14424936448 27752 33554432000 4194304 4196468 140736820976896 140505897036128 140506362250965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13725696 140736820978773 140736820978953 140736820978953 140736820981711 0
[pid=15853/tid=15868] ppid=15850 vsize=14086852 memory=140718061004416 CPUtime=0 cores=1,3,5,7
/proc/15853/task/15868/stat : 15868 (java) R 15850 15853 12124 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245905056 14424936448 27752 33554432000 4194304 4196468 140736820976896 140505828551728 140506362251906 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 13725696 140736820978773 140736820978953 140736820978953 140736820981711 0
Current children cumulated CPU time: 1.59 s
Current children cumulated vsize: 14086852 KiB
Current children cumulated memory: 111008 KiB

[startup+1.50072 s]*
/proc/loadavg: 1.97 1.72 1.71 3/217 15868
/proc/meminfo: memFree=20444976/32770624 swapFree=67105356/67108860
[pid=15853] ppid=15850 vsize=14086852 memory=177640 CPUtime=2.94 cores=1,3,5,7
/proc/15853/stat : 15853 (java) S 15850 15853 12124 0 -1 1077944320 24290 0 0 0 287 7 0 0 20 0 15 0 245905050 14424936448 44410 33554432000 4194304 4196468 140736820976896 140736820959440 140506362240759 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13725696 140736820978773 140736820978953 140736820978953 140736820981711 0
/proc/15853/statm: 3521713 44410 3555 1 0 3483785 0
[pid=15853/tid=15855] ppid=15850 vsize=14086852 memory=6735269665583770266 CPUtime=1.44 cores=1,3,5,7
/proc/15853/task/15855/stat : 15855 (java) R 15850 15853 12124 0 -1 4202560 17257 0 0 0 139 5 0 0 20 0 15 0 245905051 14424936448 44410 33554432000 4194304 4196468 140736820976896 140506366476736 140505984530484 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 13725696 140736820978773 140736820978953 140736820978953 140736820981711 0
[pid=15853/tid=15856] ppid=15850 vsize=14086852 memory=4211974444265794954 CPUtime=0 cores=1,3,5,7
/proc/15853/task/15856/stat : 15856 (java) S 15850 15853 12124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245905051 14424936448 44410 33554432000 4194304 4196468 140736820976896 140506299841040 140506362250965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13725696 140736820978773 140736820978953 140736820978953 140736820981711 0
[pid=15853/tid=15857] ppid=15850 vsize=14086852 memory=3472469014288684716 CPUtime=0 cores=1,3,5,7
/proc/15853/task/15857/stat : 15857 (java) S 15850 15853 12124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245905051 14424936448 44410 33554432000 4194304 4196468 140736820976896 140505957014160 140506362250965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13725696 140736820978773 140736820978953 140736820978953 140736820981711 0
[pid=15853/tid=15858] ppid=15850 vsize=14086852 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/15853/task/15858/stat : 15858 (java) S 15850 15853 12124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245905051 14424936448 44410 33554432000 4194304 4196468 140736820976896 140505955961104 140506362250965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13725696 140736820978773 140736820978953 140736820978953 140736820981711 0
[pid=15853/tid=15859] ppid=15850 vsize=14086852 memory=4137290303932963203 CPUtime=0 cores=1,3,5,7
/proc/15853/task/15859/stat : 15859 (java) S 15850 15853 12124 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245905051 14424936448 44410 33554432000 4194304 4196468 140736820976896 140505954908560 140506362250965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13725696 140736820978773 140736820978953 140736820978953 140736820981711 0
[pid=15853/tid=15860] ppid=15850 vsize=14086852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15853/task/15860/stat : 15860 (java) S 15850 15853 12124 0 -1 1077944384 207 0 0 0 0 0 0 0 20 0 15 0 245905053 14424936448 44410 33554432000 4194304 4196468 140736820976896 140505904405232 140506362251906 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13725696 140736820978773 140736820978953 140736820978953 140736820981711 0

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

/proc/15853/task/15855/stat : 15855 (java) R 15850 15853 12124 0 -1 4202560 242484 0 0 0 229991 127 0 0 20 0 15 0 245905051 14431227904 957258 33554432000 4194304 4196468 140736820976896 140506366477792 140505990489308 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 13725696 140736820978773 140736820978953 140736820978953 140736820981711 0
[pid=15853/tid=15856] ppid=15850 vsize=14092996 memory=6791534058613427641 CPUtime=19.3 cores=1,3,5,7
/proc/15853/task/15856/stat : 15856 (java) S 15850 15853 12124 0 -1 1077944384 42058 0 0 0 1834 96 0 0 20 0 15 0 245905051 14431227904 957258 33554432000 4194304 4196468 140736820976896 140506299841040 140506362250965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13725696 140736820978773 140736820978953 140736820978953 140736820981711 0
[pid=15853/tid=15857] ppid=15850 vsize=14092996 memory=1928 CPUtime=19.29 cores=1,3,5,7
/proc/15853/task/15857/stat : 15857 (java) S 15850 15853 12124 0 -1 1077944384 42927 0 0 0 1832 97 0 0 20 0 15 0 245905051 14431227904 957258 33554432000 4194304 4196468 140736820976896 140505957014160 140506362250965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13725696 140736820978773 140736820978953 140736820978953 140736820981711 0
[pid=15853/tid=15858] ppid=15850 vsize=14092996 memory=7888 CPUtime=19.31 cores=1,3,5,7
/proc/15853/task/15858/stat : 15858 (java) S 15850 15853 12124 0 -1 1077944384 42066 0 0 0 1833 98 0 0 20 0 15 0 245905051 14431227904 957258 33554432000 4194304 4196468 140736820976896 140505955961104 140506362250965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13725696 140736820978773 140736820978953 140736820978953 140736820981711 0
[pid=15853/tid=15859] ppid=15850 vsize=14092996 memory=804 CPUtime=19.34 cores=1,3,5,7
/proc/15853/task/15859/stat : 15859 (java) S 15850 15853 12124 0 -1 1077944384 43315 0 0 0 1835 99 0 0 20 0 15 0 245905051 14431227904 957258 33554432000 4194304 4196468 140736820976896 140505954908560 140506362250965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13725696 140736820978773 140736820978953 140736820978953 140736820981711 0
[pid=15853/tid=15860] ppid=15850 vsize=14092996 memory=1796 CPUtime=1.24 cores=1,3,5,7
/proc/15853/task/15860/stat : 15860 (java) S 15850 15853 12124 0 -1 1077944384 71847 0 0 0 99 25 0 0 20 0 15 0 245905053 14431227904 957258 33554432000 4194304 4196468 140736820976896 140505904405232 140506362251906 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13725696 140736820978773 140736820978953 140736820978953 140736820981711 0
[pid=15853/tid=15861] ppid=15850 vsize=14092996 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/15853/task/15861/stat : 15861 (java) S 15850 15853 12124 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 245905053 14431227904 957258 33554432000 4194304 4196468 140736820976896 140505903351520 140506362250965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13725696 140736820978773 140736820978953 140736820978953 140736820981711 0
[pid=15853/tid=15862] ppid=15850 vsize=14092996 memory=3984 CPUtime=0 cores=1,3,5,7
/proc/15853/task/15862/stat : 15862 (java) S 15850 15853 12124 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 15 0 245905053 14431227904 957258 33554432000 4194304 4196468 140736820976896 140505902298368 140506362250965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13725696 140736820978773 140736820978953 140736820978953 140736820981711 0
[pid=15853/tid=15863] ppid=15850 vsize=14092996 memory=1928 CPUtime=0 cores=1,3,5,7
/proc/15853/task/15863/stat : 15863 (java) S 15850 15853 12124 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245905056 14431227904 957258 33554432000 4194304 4196468 140736820976896 140505901246928 140506362259355 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13725696 140736820978773 140736820978953 140736820978953 140736820981711 0
[pid=15853/tid=15864] ppid=15850 vsize=14092996 memory=7888 CPUtime=2.95 cores=1,3,5,7
/proc/15853/task/15864/stat : 15864 (java) S 15850 15853 12124 0 -1 1077944384 25472 0 0 0 292 3 0 0 20 0 15 0 245905056 14431227904 957258 33554432000 4194304 4196468 140736820976896 140505900194032 140506362251906 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13725696 140736820978773 140736820978953 140736820978953 140736820981711 0
[pid=15853/tid=15865] ppid=15850 vsize=14092996 memory=804 CPUtime=3.93 cores=1,3,5,7
/proc/15853/task/15865/stat : 15865 (java) S 15850 15853 12124 0 -1 1077944384 36662 0 0 0 389 4 0 0 20 0 15 0 245905056 14431227904 957258 33554432000 4194304 4196468 140736820976896 140505899141488 140506362251906 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13725696 140736820978773 140736820978953 140736820978953 140736820981711 0
[pid=15853/tid=15866] ppid=15850 vsize=14092996 memory=1796 CPUtime=1.3 cores=1,3,5,7
/proc/15853/task/15866/stat : 15866 (java) S 15850 15853 12124 0 -1 1077944384 24635 0 0 0 126 4 0 0 20 0 15 0 245905056 14431227904 957258 33554432000 4194304 4196468 140736820976896 140505898088432 140506362251906 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13725696 140736820978773 140736820978953 140736820978953 140736820981711 0
[pid=15853/tid=15867] ppid=15850 vsize=14092996 memory=912 CPUtime=0 cores=1,3,5,7
/proc/15853/task/15867/stat : 15867 (java) S 15850 15853 12124 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245905056 14431227904 957258 33554432000 4194304 4196468 140736820976896 140505897036128 140506362250965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13725696 140736820978773 140736820978953 140736820978953 140736820981711 0
[pid=15853/tid=15868] ppid=15850 vsize=14092996 memory=6791534058613427641 CPUtime=1.41 cores=1,3,5,7
/proc/15853/task/15868/stat : 15868 (java) S 15850 15853 12124 0 -1 1077944384 1781 0 0 0 57 84 0 0 20 0 15 0 245905056 14431227904 957258 33554432000 4194304 4196468 140736820976896 140505828551728 140506362251906 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13725696 140736820978773 140736820978953 140736820978953 140736820981711 0
Current children cumulated CPU time: 2389.33 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 3829032 KiB

[startup+2382.3 s]
/proc/loadavg: 1.82 1.69 1.67 3/215 16076
/proc/meminfo: memFree=15248252/32770624 swapFree=67105356/67108860
[pid=15853] ppid=15850 vsize=14092996 memory=3613060 CPUtime=2450.5 cores=1,3,5,7
/proc/15853/stat : 15853 (java) S 15850 15853 12124 0 -1 1077944320 580900 0 0 0 244430 620 0 0 20 0 15 0 245905050 14431227904 903265 33554432000 4194304 4196468 140736820976896 140736820959440 140506362240759 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13725696 140736820978773 140736820978953 140736820978953 140736820981711 0
/proc/15853/statm: 3523249 903265 3626 1 0 3485321 0
[pid=15853/tid=15855] ppid=15850 vsize=14092996 memory=6400 CPUtime=2360.78 cores=1,3,5,7
/proc/15853/task/15855/stat : 15855 (java) R 15850 15853 12124 0 -1 4202560 246067 0 0 0 235950 128 0 0 20 0 15 0 245905051 14431227904 903265 33554432000 4194304 4196468 140736820976896 140506366477792 140505986425220 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 13725696 140736820978773 140736820978953 140736820978953 140736820981711 0
[pid=15853/tid=15856] ppid=15850 vsize=14092996 memory=6791534058613427641 CPUtime=19.68 cores=1,3,5,7
/proc/15853/task/15856/stat : 15856 (java) S 15850 15853 12124 0 -1 1077944384 42980 0 0 0 1872 96 0 0 20 0 15 0 245905051 14431227904 903265 33554432000 4194304 4196468 140736820976896 140506299841040 140506362250965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13725696 140736820978773 140736820978953 140736820978953 140736820981711 0
[pid=15853/tid=15857] ppid=15850 vsize=14092996 memory=3644 CPUtime=19.67 cores=1,3,5,7
/proc/15853/task/15857/stat : 15857 (java) S 15850 15853 12124 0 -1 1077944384 43293 0 0 0 1870 97 0 0 20 0 15 0 245905051 14431227904 903265 33554432000 4194304 4196468 140736820976896 140505957014160 140506362250965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13725696 140736820978773 140736820978953 140736820978953 140736820981711 0
[pid=15853/tid=15858] ppid=15850 vsize=14092996 memory=1268 CPUtime=19.69 cores=1,3,5,7
/proc/15853/task/15858/stat : 15858 (java) S 15850 15853 12124 0 -1 1077944384 42641 0 0 0 1871 98 0 0 20 0 15 0 245905051 14431227904 903265 33554432000 4194304 4196468 140736820976896 140505955961104 140506362250965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13725696 140736820978773 140736820978953 140736820978953 140736820981711 0
[pid=15853/tid=15859] ppid=15850 vsize=14092996 memory=1124 CPUtime=19.72 cores=1,3,5,7
/proc/15853/task/15859/stat : 15859 (java) S 15850 15853 12124 0 -1 1077944384 43765 0 0 0 1873 99 0 0 20 0 15 0 245905051 14431227904 903265 33554432000 4194304 4196468 140736820976896 140505954908560 140506362250965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13725696 140736820978773 140736820978953 140736820978953 140736820981711 0
[pid=15853/tid=15860] ppid=15850 vsize=14092996 memory=14884 CPUtime=1.25 cores=1,3,5,7
/proc/15853/task/15860/stat : 15860 (java) S 15850 15853 12124 0 -1 1077944384 72114 0 0 0 100 25 0 0 20 0 15 0 245905053 14431227904 903265 33554432000 4194304 4196468 140736820976896 140505904405232 140506362251906 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13725696 140736820978773 140736820978953 140736820978953 140736820981711 0
[pid=15853/tid=15861] ppid=15850 vsize=14092996 memory=3316 CPUtime=0 cores=1,3,5,7
/proc/15853/task/15861/stat : 15861 (java) S 15850 15853 12124 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 245905053 14431227904 903265 33554432000 4194304 4196468 140736820976896 140505903351520 140506362250965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13725696 140736820978773 140736820978953 140736820978953 140736820981711 0
[pid=15853/tid=15862] ppid=15850 vsize=14092996 memory=13636 CPUtime=0 cores=1,3,5,7
/proc/15853/task/15862/stat : 15862 (java) S 15850 15853 12124 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 15 0 245905053 14431227904 903265 33554432000 4194304 4196468 140736820976896 140505902298368 140506362250965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13725696 140736820978773 140736820978953 140736820978953 140736820981711 0
[pid=15853/tid=15863] ppid=15850 vsize=14092996 memory=37432 CPUtime=0 cores=1,3,5,7
/proc/15853/task/15863/stat : 15863 (java) S 15850 15853 12124 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245905056 14431227904 903265 33554432000 4194304 4196468 140736820976896 140505901246928 140506362259355 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13725696 140736820978773 140736820978953 140736820978953 140736820981711 0
[pid=15853/tid=15864] ppid=15850 vsize=14092996 memory=1176 CPUtime=2.95 cores=1,3,5,7
/proc/15853/task/15864/stat : 15864 (java) S 15850 15853 12124 0 -1 1077944384 25475 0 0 0 292 3 0 0 20 0 15 0 245905056 14431227904 903265 33554432000 4194304 4196468 140736820976896 140505900194032 140506362251906 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13725696 140736820978773 140736820978953 140736820978953 140736820981711 0
[pid=15853/tid=15865] ppid=15850 vsize=14092996 memory=492 CPUtime=3.93 cores=1,3,5,7
/proc/15853/task/15865/stat : 15865 (java) S 15850 15853 12124 0 -1 1077944384 36664 0 0 0 389 4 0 0 20 0 15 0 245905056 14431227904 903265 33554432000 4194304 4196468 140736820976896 140505899141488 140506362251906 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13725696 140736820978773 140736820978953 140736820978953 140736820981711 0
[pid=15853/tid=15866] ppid=15850 vsize=14092996 memory=1616 CPUtime=1.3 cores=1,3,5,7
/proc/15853/task/15866/stat : 15866 (java) S 15850 15853 12124 0 -1 1077944384 24638 0 0 0 126 4 0 0 20 0 15 0 245905056 14431227904 903265 33554432000 4194304 4196468 140736820976896 140505898088432 140506362251906 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13725696 140736820978773 140736820978953 140736820978953 140736820981711 0
[pid=15853/tid=15867] ppid=15850 vsize=14092996 memory=928 CPUtime=0 cores=1,3,5,7
/proc/15853/task/15867/stat : 15867 (java) S 15850 15853 12124 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245905056 14431227904 903265 33554432000 4194304 4196468 140736820976896 140505897036128 140506362250965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13725696 140736820978773 140736820978953 140736820978953 140736820981711 0
[pid=15853/tid=15868] ppid=15850 vsize=14092996 memory=1928 CPUtime=1.43 cores=1,3,5,7
/proc/15853/task/15868/stat : 15868 (java) S 15850 15853 12124 0 -1 1077944384 1805 0 0 0 57 86 0 0 20 0 15 0 245905056 14431227904 903265 33554432000 4194304 4196468 140736820976896 140505828551728 140506362251906 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13725696 140736820978773 140736820978953 140736820978953 140736820981711 0
Current children cumulated CPU time: 2450.5 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 3613060 KiB

[startup+2442.3 s]
/proc/loadavg: 1.58 1.65 1.67 3/216 16085
/proc/meminfo: memFree=15265372/32770624 swapFree=67105356/67108860
[pid=15853] ppid=15850 vsize=14092996 memory=3502684 CPUtime=2512.69 cores=1,3,5,7
/proc/15853/stat : 15853 (java) S 15850 15853 12124 0 -1 1077944320 592765 0 0 0 250642 627 0 0 20 0 15 0 245905050 14431227904 875671 33554432000 4194304 4196468 140736820976896 140736820959440 140506362240759 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13725696 140736820978773 140736820978953 140736820978953 140736820981711 0
/proc/15853/statm: 3523249 875671 3626 1 0 3485321 0
[pid=15853/tid=15855] ppid=15850 vsize=14092996 memory=6791534058613427641 CPUtime=2420.03 cores=1,3,5,7
/proc/15853/task/15855/stat : 15855 (java) R 15850 15853 12124 0 -1 4202560 249348 0 0 0 241874 129 0 0 20 0 15 0 245905051 14431227904 875671 33554432000 4194304 4196468 140736820976896 140506366477840 140505985255537 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 13725696 140736820978773 140736820978953 140736820978953 140736820981711 0
[pid=15853/tid=15856] ppid=15850 vsize=14092996 memory=66592 CPUtime=20.4 cores=1,3,5,7
/proc/15853/task/15856/stat : 15856 (java) S 15850 15853 12124 0 -1 1077944384 43419 0 0 0 1943 97 0 0 20 0 15 0 245905051 14431227904 875671 33554432000 4194304 4196468 140736820976896 140506299841040 140506362250965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13725696 140736820978773 140736820978953 140736820978953 140736820981711 0
[pid=15853/tid=15857] ppid=15850 vsize=14092996 memory=1100 CPUtime=20.39 cores=1,3,5,7
/proc/15853/task/15857/stat : 15857 (java) S 15850 15853 12124 0 -1 1077944384 44145 0 0 0 1941 98 0 0 20 0 15 0 245905051 14431227904 875671 33554432000 4194304 4196468 140736820976896 140505957014160 140506362250965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13725696 140736820978773 140736820978953 140736820978953 140736820981711 0
[pid=15853/tid=15858] ppid=15850 vsize=14092996 memory=2064 CPUtime=20.41 cores=1,3,5,7
/proc/15853/task/15858/stat : 15858 (java) S 15850 15853 12124 0 -1 1077944384 43355 0 0 0 1942 99 0 0 20 0 15 0 245905051 14431227904 875671 33554432000 4194304 4196468 140736820976896 140505955961104 140506362250965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13725696 140736820978773 140736820978953 140736820978953 140736820981711 0
[pid=15853/tid=15859] ppid=15850 vsize=14092996 memory=3644 CPUtime=20.44 cores=1,3,5,7
/proc/15853/task/15859/stat : 15859 (java) S 15850 15853 12124 0 -1 1077944384 44454 0 0 0 1944 100 0 0 20 0 15 0 245905051 14431227904 875671 33554432000 4194304 4196468 140736820976896 140505954908560 140506362250965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13725696 140736820978773 140736820978953 140736820978953 140736820981711 0
[pid=15853/tid=15860] ppid=15850 vsize=14092996 memory=6791534058613427641 CPUtime=1.29 cores=1,3,5,7
/proc/15853/task/15860/stat : 15860 (java) S 15850 15853 12124 0 -1 1077944384 77962 0 0 0 103 26 0 0 20 0 15 0 245905053 14431227904 875671 33554432000 4194304 4196468 140736820976896 140505904405232 140506362251906 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13725696 140736820978773 140736820978953 140736820978953 140736820981711 0
[pid=15853/tid=15861] ppid=15850 vsize=14092996 memory=3533980 CPUtime=0 cores=1,3,5,7
/proc/15853/task/15861/stat : 15861 (java) S 15850 15853 12124 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 245905053 14431227904 875671 33554432000 4194304 4196468 140736820976896 140505903351520 140506362250965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13725696 140736820978773 140736820978953 140736820978953 140736820981711 0
[pid=15853/tid=15862] ppid=15850 vsize=14092996 memory=14884 CPUtime=0 cores=1,3,5,7
/proc/15853/task/15862/stat : 15862 (java) S 15850 15853 12124 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 15 0 245905053 14431227904 875671 33554432000 4194304 4196468 140736820976896 140505902298368 140506362250965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13725696 140736820978773 140736820978953 140736820978953 140736820981711 0
[pid=15853/tid=15863] ppid=15850 vsize=14092996 memory=3316 CPUtime=0 cores=1,3,5,7
/proc/15853/task/15863/stat : 15863 (java) S 15850 15853 12124 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245905056 14431227904 875671 33554432000 4194304 4196468 140736820976896 140505901246928 140506362259355 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13725696 140736820978773 140736820978953 140736820978953 140736820981711 0
[pid=15853/tid=15864] ppid=15850 vsize=14092996 memory=6791534058613427641 CPUtime=2.95 cores=1,3,5,7
/proc/15853/task/15864/stat : 15864 (java) S 15850 15853 12124 0 -1 1077944384 25483 0 0 0 292 3 0 0 20 0 15 0 245905056 14431227904 875671 33554432000 4194304 4196468 140736820976896 140505900194032 140506362251906 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13725696 140736820978773 140736820978953 140736820978953 140736820981711 0
[pid=15853/tid=15865] ppid=15850 vsize=14092996 memory=7302695997110053741 CPUtime=3.93 cores=1,3,5,7
/proc/15853/task/15865/stat : 15865 (java) S 15850 15853 12124 0 -1 1077944384 36667 0 0 0 389 4 0 0 20 0 15 0 245905056 14431227904 875671 33554432000 4194304 4196468 140736820976896 140505899141488 140506362251906 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13725696 140736820978773 140736820978953 140736820978953 140736820981711 0
[pid=15853/tid=15866] ppid=15850 vsize=14092996 memory=7451039979215610734 CPUtime=1.3 cores=1,3,5,7
/proc/15853/task/15866/stat : 15866 (java) S 15850 15853 12124 0 -1 1077944384 24642 0 0 0 126 4 0 0 20 0 15 0 245905056 14431227904 875671 33554432000 4194304 4196468 140736820976896 140505898088432 140506362251906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13725696 140736820978773 140736820978953 140736820978953 140736820981711 0
[pid=15853/tid=15867] ppid=15850 vsize=14092996 memory=7595725831727968097 CPUtime=0 cores=1,3,5,7
/proc/15853/task/15867/stat : 15867 (java) S 15850 15853 12124 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245905056 14431227904 875671 33554432000 4194304 4196468 140736820976896 140505897036128 140506362250965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13725696 140736820978773 140736820978953 140736820978953 140736820981711 0
[pid=15853/tid=15868] ppid=15850 vsize=14092996 memory=281435920409600 CPUtime=1.47 cores=1,3,5,7
/proc/15853/task/15868/stat : 15868 (java) S 15850 15853 12124 0 -1 1077944384 1832 0 0 0 59 88 0 0 20 0 15 0 245905056 14431227904 875671 33554432000 4194304 4196468 140736820976896 140505828551728 140506362251906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13725696 140736820978773 140736820978953 140736820978953 140736820981711 0
Current children cumulated CPU time: 2512.69 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 3502684 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2449.5 s]*
/proc/loadavg: 1.57 1.65 1.66 3/216 16085
/proc/meminfo: memFree=15236192/32770624 swapFree=67105356/67108860
[pid=15853] ppid=15850 vsize=14092996 memory=3482692 CPUtime=2520.07 cores=1,3,5,7
/proc/15853/stat : 15853 (java) S 15850 15853 12124 0 -1 1077944320 593076 0 0 0 251380 627 0 0 20 0 15 0 245905050 14431227904 870673 33554432000 4194304 4196468 140736820976896 140736820959440 140506362240759 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13725696 140736820978773 140736820978953 140736820978953 140736820981711 0
/proc/15853/statm: 3523249 870673 3626 1 0 3485321 0
[pid=15853/tid=15855] ppid=15850 vsize=14092996 memory=6791534058613427641 CPUtime=2427.17 cores=1,3,5,7
/proc/15853/task/15855/stat : 15855 (java) R 15850 15853 12124 0 -1 4202560 249607 0 0 0 242588 129 0 0 20 0 15 0 245905051 14431227904 870673 33554432000 4194304 4196468 140736820976896 140506366477792 140505986425220 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 13725696 140736820978773 140736820978953 140736820978953 140736820981711 0
[pid=15853/tid=15856] ppid=15850 vsize=14092996 memory=-7003737579269690708 CPUtime=20.46 cores=1,3,5,7
/proc/15853/task/15856/stat : 15856 (java) S 15850 15853 12124 0 -1 1077944384 43439 0 0 0 1949 97 0 0 20 0 15 0 245905051 14431227904 870673 33554432000 4194304 4196468 140736820976896 140506299841040 140506362250965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13725696 140736820978773 140736820978953 140736820978953 140736820981711 0
[pid=15853/tid=15857] ppid=15850 vsize=14092996 memory=1100 CPUtime=20.45 cores=1,3,5,7
/proc/15853/task/15857/stat : 15857 (java) S 15850 15853 12124 0 -1 1077944384 44157 0 0 0 1947 98 0 0 20 0 15 0 245905051 14431227904 870673 33554432000 4194304 4196468 140736820976896 140505957014160 140506362250965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13725696 140736820978773 140736820978953 140736820978953 140736820981711 0
[pid=15853/tid=15858] ppid=15850 vsize=14092996 memory=2064 CPUtime=20.46 cores=1,3,5,7
/proc/15853/task/15858/stat : 15858 (java) S 15850 15853 12124 0 -1 1077944384 43364 0 0 0 1947 99 0 0 20 0 15 0 245905051 14431227904 870673 33554432000 4194304 4196468 140736820976896 140505955961104 140506362250965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13725696 140736820978773 140736820978953 140736820978953 140736820981711 0
[pid=15853/tid=15859] ppid=15850 vsize=14092996 memory=1752 CPUtime=20.49 cores=1,3,5,7
/proc/15853/task/15859/stat : 15859 (java) S 15850 15853 12124 0 -1 1077944384 44461 0 0 0 1949 100 0 0 20 0 15 0 245905051 14431227904 870673 33554432000 4194304 4196468 140736820976896 140505954908560 140506362250965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13725696 140736820978773 140736820978953 140736820978953 140736820981711 0
[pid=15853/tid=15860] ppid=15850 vsize=14092996 memory=856 CPUtime=1.29 cores=1,3,5,7
/proc/15853/task/15860/stat : 15860 (java) S 15850 15853 12124 0 -1 1077944384 77964 0 0 0 103 26 0 0 20 0 15 0 245905053 14431227904 870673 33554432000 4194304 4196468 140736820976896 140505904405232 140506362251906 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13725696 140736820978773 140736820978953 140736820978953 140736820981711 0
[pid=15853/tid=15861] ppid=15850 vsize=14092996 memory=12468 CPUtime=0 cores=1,3,5,7
/proc/15853/task/15861/stat : 15861 (java) S 15850 15853 12124 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 245905053 14431227904 870673 33554432000 4194304 4196468 140736820976896 140505903351520 140506362250965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13725696 140736820978773 140736820978953 140736820978953 140736820981711 0
[pid=15853/tid=15862] ppid=15850 vsize=14092996 memory=752 CPUtime=0 cores=1,3,5,7
/proc/15853/task/15862/stat : 15862 (java) S 15850 15853 12124 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 15 0 245905053 14431227904 870673 33554432000 4194304 4196468 140736820976896 140505902298368 140506362250965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13725696 140736820978773 140736820978953 140736820978953 140736820981711 0
[pid=15853/tid=15863] ppid=15850 vsize=14092996 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15853/task/15863/stat : 15863 (java) S 15850 15853 12124 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245905056 14431227904 870673 33554432000 4194304 4196468 140736820976896 140505901246928 140506362259355 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13725696 140736820978773 140736820978953 140736820978953 140736820981711 0
[pid=15853/tid=15864] ppid=15850 vsize=14092996 memory=0 CPUtime=2.95 cores=1,3,5,7
/proc/15853/task/15864/stat : 15864 (java) S 15850 15853 12124 0 -1 1077944384 25483 0 0 0 292 3 0 0 20 0 15 0 245905056 14431227904 870673 33554432000 4194304 4196468 140736820976896 140505900194032 140506362251906 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13725696 140736820978773 140736820978953 140736820978953 140736820981711 0
[pid=15853/tid=15865] ppid=15850 vsize=14092996 memory=0 CPUtime=3.93 cores=1,3,5,7
/proc/15853/task/15865/stat : 15865 (java) S 15850 15853 12124 0 -1 1077944384 36667 0 0 0 389 4 0 0 20 0 15 0 245905056 14431227904 870673 33554432000 4194304 4196468 140736820976896 140505899141488 140506362251906 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13725696 140736820978773 140736820978953 140736820978953 140736820981711 0
[pid=15853/tid=15866] ppid=15850 vsize=14092996 memory=0 CPUtime=1.3 cores=1,3,5,7
/proc/15853/task/15866/stat : 15866 (java) S 15850 15853 12124 0 -1 1077944384 24642 0 0 0 126 4 0 0 20 0 15 0 245905056 14431227904 870673 33554432000 4194304 4196468 140736820976896 140505898088432 140506362251906 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13725696 140736820978773 140736820978953 140736820978953 140736820981711 0
[pid=15853/tid=15867] ppid=15850 vsize=14092996 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15853/task/15867/stat : 15867 (java) S 15850 15853 12124 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245905056 14431227904 870673 33554432000 4194304 4196468 140736820976896 140505897036128 140506362250965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13725696 140736820978773 140736820978953 140736820978953 140736820981711 0
[pid=15853/tid=15868] ppid=15850 vsize=14092996 memory=3602890903711199542 CPUtime=1.48 cores=1,3,5,7
/proc/15853/task/15868/stat : 15868 (java) S 15850 15853 12124 0 -1 1077944384 1834 0 0 0 59 89 0 0 20 0 15 0 245905056 14431227904 870673 33554432000 4194304 4196468 140736820976896 140505828551728 140506362251906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13725696 140736820978773 140736820978953 140736820978953 140736820981711 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 3482692 KiB

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

[startup+2449.55 s]
# the end of solver process 15853 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2513.82 s, system=6.29607 s

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

Child status: 143
Real time (s): 2449.55
CPU time (s): 2520.12
CPU user time (s): 2513.82
CPU system time (s): 6.29607
CPU usage (%): 102.881
Max. virtual memory (cumulated for all children) (KiB): 14092996
Max. memory (cumulated for all children) (KiB): 4001244

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2513.82
system time used= 6.29608
maximum resident set size= 4004424
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 593746
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3104
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 77211
involuntary context switches= 2717


# summary of solver processes directly reported to runsolver:
#   pid: 15853
#   total CPU time (s): 2520.12
#   total CPU user time (s): 2513.82
#   total CPU system time (s): 6.29607

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.5118 second user time and 23.0136 second system time

The end

Launcher Data 

Begin job on node149 at 2018-08-14 23:50:18
IDJOB=4308680
IDBENCH=141160
IDSOLVER=2792
FILE ID=node149/4308680-1534283418
RUNJOBID= node149-1534271020-14113
PBS_JOBID= 21038116
Free space on /tmp= 41752 MiB

SOLVER NAME= OscaR - Hybrid 2018-08-14
BENCH NAME= XCSP18/Auction/Auction-cnt/Auction-cnt-decay400_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-4308680-1534283418/watcher-4308680-1534283418 -o /tmp/evaluation-result-4308680-1534283418/solver-4308680-1534283418 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node149-1534271020-14113 --watchdog 2580  java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed 699460458 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4308680-1534283418.xml

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

MD5SUM BENCH= ef5bf96e0ba9cc2c7a758eef92479658
RANDOM SEED=699460458

node149.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.60
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.60
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.60
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.60
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:        20608264 kB
MemAvailable:   30356300 kB
Buffers:          176748 kB
Cached:          9744676 kB
SwapCached:         1704 kB
Active:          5772700 kB
Inactive:        5746640 kB
Active(anon):    1548704 kB
Inactive(anon):   101568 kB
Active(file):    4223996 kB
Inactive(file):  5645072 kB
Unevictable:        7608 kB
Mlocked:            7608 kB
SwapTotal:      67108860 kB
SwapFree:       67105356 kB
Dirty:             35756 kB
Writeback:             0 kB
AnonPages:       1558760 kB
Mapped:            67860 kB
Shmem:             49568 kB
Slab:             335624 kB
SReclaimable:     307428 kB
SUnreclaim:        28196 kB
KernelStack:        3840 kB
PageTables:         9240 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2398472 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1394688 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      118144 kB
DirectMap2M:    33427456 kB

Free space on /tmp at the end= 41716 MiB
End job on node149 at 2018-08-15 00:31:08