Trace number 4308685

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)2501073 2520.03 2450.13

General information on the benchmark

NameAuction/Auction-sum/
Auction-sum-decay400_c18.xml
MD5SUMb20be86eed1a54c36d145f853cc0c945
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark2501073
Best CPU time to get the best result obtained on this benchmark2520.03
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":"sum","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.68/0.54	c version: 2018-08-14
0.68/0.54	c seed: 143288657
0.68/0.55	c timeout: 2520
0.68/0.55	c memlimit: 11000
0.68/0.55	c nbcore: 4
0.68/0.57	c Parsing instance...
3.38/1.89	c Parsing done, starting first complete search...
4.03/2.12	o 0
4.03/2.13	o 19026
4.03/2.13	o 27190
4.03/2.13	o 46216
4.03/2.14	o 46287
4.03/2.14	o 60652
4.03/2.14	o 63660
4.03/2.14	o 66969
4.03/2.14	o 71630
4.03/2.15	o 74813
4.03/2.15	o 77821
4.03/2.15	o 85995
4.03/2.15	o 89003
4.03/2.15	o 95443
4.03/2.16	o 98451
4.03/2.16	o 103873
4.03/2.16	o 106881
4.03/2.17	o 109561
4.03/2.17	o 117877
4.03/2.17	o 134332
4.03/2.17	o 152232
4.03/2.17	o 155826
4.03/2.17	o 158834
4.03/2.17	o 167150
4.03/2.18	o 170602
4.03/2.18	o 180837
4.03/2.18	o 188813
4.03/2.18	o 190358
4.03/2.19	o 192857
4.03/2.19	o 193801
4.03/2.19	o 204929
4.03/2.19	o 207705
4.03/2.19	o 213032
4.03/2.19	o 215697
4.03/2.20	o 216218
4.03/2.20	o 217763
4.32/2.20	o 224648
4.32/2.20	o 226193
4.32/2.20	o 227425
4.32/2.20	o 227549
4.32/2.20	o 234310
4.32/2.20	o 235855
4.32/2.20	o 239637
4.32/2.21	o 241182
4.32/2.21	o 246670
4.32/2.21	o 248215
4.32/2.21	o 255100
4.32/2.21	o 256645
4.32/2.21	o 257371
4.32/2.22	o 260310
4.32/2.22	o 266266
4.32/2.22	o 266874
4.32/2.22	o 272927
4.32/2.23	o 279688
4.32/2.23	o 281233
4.32/2.23	o 284172
4.32/2.23	o 284734
4.32/2.24	o 284800
4.32/2.24	o 287739
4.32/2.24	o 290340
4.32/2.24	o 293279
4.32/2.25	o 296924
4.32/2.25	o 301784
4.32/2.25	o 311750
4.32/2.25	o 314689
4.32/2.26	o 315705
4.32/2.26	o 316692
4.32/2.27	o 318237
4.32/2.27	o 321245
4.32/2.27	o 323696
4.32/2.27	o 325241
4.32/2.27	o 328655
4.32/2.28	o 331594
4.32/2.28	o 354206
4.32/2.30	o 356231
4.62/2.30	o 356793
4.62/2.30	o 358580
4.62/2.30	o 359142
4.62/2.30	o 360125
4.62/2.30	o 360687
4.62/2.30	o 363137
4.62/2.31	o 363699
4.62/2.31	o 366076
4.62/2.31	o 366638
4.62/2.32	o 367110
4.62/2.34	o 367883
4.62/2.34	o 368445
4.62/2.34	o 370822
4.62/2.34	o 371384
4.62/2.35	o 371641
4.62/2.37	o 372055
4.62/2.37	o 372527
4.62/2.37	o 372784
4.62/2.38	o 374584
4.62/2.38	o 375056
4.92/2.40	o 375949
4.92/2.40	o 376421
4.92/2.40	o 376678
4.92/2.41	o 378073
4.92/2.41	o 378545
4.92/2.41	o 378802
4.92/2.41	o 379741
4.92/2.42	o 380213
4.92/2.42	o 382269
4.92/2.42	o 382741
4.92/2.42	o 385281
4.92/2.42	o 385753
4.92/2.42	o 385828
4.92/2.43	o 387427
4.92/2.43	o 387899
4.92/2.43	o 389685
4.92/2.43	o 390157
4.92/2.43	o 392693
4.92/2.43	o 393165
4.92/2.43	o 395705
4.92/2.43	o 396177
4.92/2.44	o 396255
4.92/2.44	o 396727
4.92/2.45	o 399263
4.92/2.45	o 399735
4.92/2.45	o 399926
4.92/2.45	o 400398
4.92/2.46	o 402275
4.92/2.46	o 402747
4.92/2.47	o 403187
4.92/2.47	o 407269
4.92/2.47	o 407741
4.92/2.47	o 407831
4.92/2.47	o 408303
4.92/2.47	o 409206
4.92/2.48	o 409678
4.92/2.48	o 409914
4.92/2.48	o 410386
4.92/2.48	o 410588
4.92/2.48	o 410695
4.92/2.48	o 417251
4.92/2.48	o 417723
4.92/2.48	o 420263
4.92/2.48	o 420735
4.92/2.50	o 421421
4.92/2.50	o 421893
5.26/2.51	o 423176
5.26/2.51	o 423648
5.26/2.51	o 428292
5.26/2.51	o 428764
5.26/2.52	o 429550
5.26/2.52	o 430022
5.26/2.52	o 430693
5.26/2.52	o 431165
5.26/2.52	o 433042
5.26/2.52	o 433514
5.26/2.53	o 434438
5.26/2.53	o 434910
5.26/2.53	o 437450
5.26/2.53	o 437922
5.26/2.53	o 438158
5.26/2.53	o 438630
5.26/2.55	o 440567
5.26/2.55	o 441039
5.26/2.58	o 441290
5.26/2.58	o 442085
5.26/2.58	o 442557
5.26/2.58	o 443373
5.26/2.58	o 446381
5.26/2.58	o 446853
5.26/2.58	o 451763
5.26/2.58	o 452906
5.26/2.58	o 454766
5.26/2.58	o 461336
5.26/2.59	o 463541
5.26/2.59	o 464249
5.26/2.59	o 468657
5.26/2.59	o 469365
5.45/2.63	o 471461
5.45/2.63	o 472169
5.45/2.63	o 475181
5.45/2.69	o 477322
5.45/2.69	o 479671
5.45/2.70	o 480379
5.56/2.70	o 482683
5.56/2.70	o 483391
5.56/2.74	o 484064
5.56/2.76	o 484724
5.56/2.76	o 487133
5.56/2.76	o 489482
5.56/2.76	o 491786
5.56/2.76	o 492494
5.56/2.78	o 493112
5.56/2.78	o 495461
5.56/2.78	o 497870
5.56/2.78	o 498578
5.56/2.79	o 498594
5.56/2.79	o 501003
5.56/2.79	o 503352
5.56/2.79	o 505255
5.67/2.81	o 505926
5.67/2.82	o 508901
5.67/2.82	o 509047
5.67/2.82	o 509137
5.67/2.82	o 509609
5.67/2.82	o 509926
5.67/2.82	o 510117
5.67/2.82	o 512466
5.67/2.82	o 512938
5.67/2.82	o 513174
5.67/2.82	o 513646
5.67/2.83	o 514228
5.67/2.83	o 514700
5.67/2.83	o 514936
5.67/2.83	o 515408
5.67/2.83	o 517948
5.67/2.83	o 518420
5.67/2.84	o 518948
5.67/2.84	o 519420
5.67/2.84	o 519656
5.67/2.84	o 520128
5.67/2.84	o 526226
5.67/2.84	o 526698
5.67/2.87	o 527415
5.67/2.87	o 527887
5.67/2.87	o 527977
5.67/2.87	o 528449
5.67/2.87	o 528685
5.67/2.87	o 529157
5.87/3.03	o 529428
5.87/3.03	o 529900
5.87/3.03	o 529990
5.87/3.03	o 530462
5.87/3.04	o 532337
5.87/3.04	o 532809
5.87/3.04	o 537620
5.87/3.04	o 538182
5.87/3.04	o 538816
5.87/3.04	o 541821
5.87/3.05	o 542383
5.87/3.05	o 542529
5.87/3.05	o 543091
5.87/3.05	o 547865
6.17/3.33	o 549566
6.17/3.33	o 550128
6.59/3.71	o 550961
6.59/3.71	o 551669
6.92/4.06	o 552139
7.02/4.12	o 552856
7.02/4.12	o 553328
7.02/4.12	o 555868
7.02/4.12	o 556340
7.35/4.48	o 556576
7.35/4.48	o 557048
7.85/4.90	o 558999
7.85/4.90	o 559471
7.85/4.91	o 562011
7.85/4.91	o 562483
8.06/5.13	o 563037
8.06/5.13	o 563509
8.06/5.13	o 563745
8.06/5.13	o 564217
8.06/5.16	o 564965
8.06/5.16	o 565437
8.06/5.18	o 566157
8.06/5.18	o 566629
8.06/5.18	o 566719
8.06/5.18	o 567191
8.06/5.18	o 569731
8.06/5.18	o 570203
8.16/5.23	o 570621
8.26/5.31	o 571810
8.26/5.31	o 572282
8.46/5.51	o 572999
8.46/5.51	o 573471
8.46/5.52	o 573707
8.46/5.52	o 574179
8.66/5.74	o 576011
8.66/5.74	o 576483
8.66/5.74	o 576719
8.66/5.74	o 577191
8.66/5.76	o 577212
8.66/5.76	o 577684
8.66/5.76	o 580224
8.66/5.76	o 580696
8.76/5.86	o 581978
8.76/5.86	o 582450
8.76/5.87	o 582581
8.76/5.87	o 583053
8.76/5.87	o 584990
8.76/5.87	o 585462
10.38/7.46	o 585870
10.38/7.46	o 586342
10.38/7.46	o 586423
10.38/7.46	o 588866
10.38/7.46	o 589428
10.38/7.46	o 589900
10.38/7.47	o 591878
10.38/7.47	o 592350
10.38/7.47	o 592440
10.38/7.47	o 592912
11.91/8.92	o 593062
11.91/8.92	o 593534
14.15/11.12	o 595272
14.15/11.19	o 595894
15.34/12.32	o 597195
15.34/12.32	o 604516
15.34/12.36	o 604545
15.34/12.36	o 604595
15.34/12.36	o 607004
27.20/24.18	c First complete search done, starting ALNS search...
28.39/24.88	o 607366
28.39/24.88	o 609825
28.39/24.89	o 612234
28.39/24.89	o 614583
28.56/24.92	o 616765
28.56/24.93	o 619114
28.56/24.95	o 620426
28.56/24.95	o 620972
28.56/24.95	o 621022
28.56/24.95	o 623431
28.56/24.96	o 625780
28.56/24.97	o 627493
28.56/24.98	o 627542
28.56/24.98	o 627974
28.56/24.98	o 629999
28.56/24.98	o 631525
28.56/24.99	o 632071
28.56/24.99	o 632121
28.56/24.99	o 634530
28.56/25.00	o 636879
28.80/25.02	o 637043
28.80/25.02	o 637475
28.80/25.02	o 639500
28.80/25.02	o 641026
28.80/25.02	o 644031
28.80/25.03	o 646490
28.80/25.03	o 646771
28.80/25.04	o 648899
28.80/25.04	o 649180
28.80/25.04	o 651248
28.80/25.04	o 651529
28.80/25.06	o 653527
28.80/25.07	o 655936
28.80/25.08	o 658285
29.33/25.44	o 658693
29.33/25.44	o 658743
29.33/25.44	o 661152
29.33/25.44	o 663064
29.33/25.44	o 663610
29.33/25.44	o 666069
29.33/25.44	o 668478
29.83/25.72	o 669448
29.83/25.73	o 688644
29.83/25.73	o 707428
29.83/25.73	o 713460
29.83/25.73	o 717890
29.83/25.73	o 723922
29.83/25.73	o 726418
29.83/25.73	o 727074
29.83/25.73	o 733106
29.83/25.73	o 735602
29.83/25.73	o 736449
29.83/25.74	o 738945
29.83/25.74	o 742481
29.83/25.74	o 744977
29.83/25.74	o 747359
29.83/25.74	o 747550
29.83/25.74	o 748206
29.83/25.74	o 750702
29.83/25.74	o 754238
29.83/25.74	o 756734
29.83/25.74	o 758074
29.83/25.74	o 760570
29.83/25.74	o 761481
29.83/25.74	o 763764
29.83/25.75	o 764675
29.83/25.75	o 766260
29.83/25.75	o 767171
29.83/25.75	o 767725
29.83/25.75	o 769065
29.83/25.75	o 771561
29.83/25.75	o 774755
29.83/25.75	o 777251
29.83/25.75	o 778162
29.83/25.75	o 778442
29.83/25.75	o 778784
29.83/25.75	o 780638
29.83/25.75	o 781978
29.83/25.75	o 784474
29.83/25.76	o 785385
29.83/25.76	o 786885
29.83/25.76	o 790721
29.83/25.76	o 791632
29.83/25.76	o 793217
29.83/25.76	o 794128
29.83/25.76	o 796704
29.83/25.76	o 799200
29.83/25.77	o 800111
29.83/25.77	o 802011
29.83/25.77	o 802922
29.83/25.77	o 804659
29.83/25.77	o 805779
29.83/25.77	o 806970
29.83/25.77	o 807312
29.83/25.77	o 809166
29.83/25.77	o 810506
29.83/25.77	o 813002
29.83/25.77	o 813913
29.83/25.77	o 814768
29.83/25.77	o 818604
29.83/25.77	o 819515
29.83/25.78	o 821100
29.83/25.78	o 822011
29.83/25.78	o 822159
29.83/25.78	o 823034
29.83/25.78	o 824225
29.83/25.78	o 824274
29.83/25.78	o 824567
29.83/25.78	o 826421
29.83/25.78	o 827761
29.83/25.78	o 830257
29.83/25.78	o 831168
29.83/25.79	o 834783
29.83/25.79	o 835694
29.83/25.79	o 837279
29.83/25.79	o 838190
29.83/25.79	o 838565
29.83/25.79	o 839476
29.83/25.79	o 840292
29.83/25.79	o 840644
29.83/25.79	o 840693
29.83/25.79	o 840986
29.83/25.79	o 844180
29.98/25.80	o 846676
29.98/25.80	o 847492
29.98/25.80	o 847962
29.98/25.81	o 848778
29.98/25.82	o 848873
29.98/25.82	o 849689
29.98/25.82	o 849960
29.98/25.82	o 852456
29.98/25.82	o 853742
29.98/25.82	o 854653
29.98/25.82	o 855469
29.98/25.82	o 857292
29.98/25.82	o 858578
29.98/25.82	o 859489
29.98/25.82	o 860305
29.98/25.82	o 860318
29.98/25.82	o 860377
29.98/25.82	o 861193
29.98/25.83	o 861617
29.98/25.83	o 861820
29.98/25.83	o 862853
29.98/25.83	o 863764
29.98/25.83	o 866689
29.98/25.83	o 867600
29.98/25.83	o 868416
29.98/25.83	o 868886
29.98/25.83	o 869702
29.98/25.83	o 870096
29.98/25.83	o 870471
29.98/25.83	o 871382
29.98/25.83	o 872198
29.98/25.84	o 872998
29.98/25.84	o 873057
29.98/25.84	o 873873
29.98/25.84	o 874297
29.98/25.84	o 874590
29.98/25.84	o 875158
29.98/25.84	o 878994
29.98/25.84	o 880280
29.98/25.84	o 881096
29.98/25.84	o 881490
29.98/25.84	o 882776
29.98/25.84	o 883592
29.98/25.84	o 883687
29.98/25.84	o 884503
29.98/25.85	o 885135
29.98/25.85	o 886345
29.98/25.85	o 887631
29.98/25.85	o 888542
29.98/25.85	o 889312
29.98/25.85	o 889687
29.98/25.85	o 890598
29.98/25.85	o 891414
29.98/25.85	o 891612
29.98/25.85	o 892428
29.98/25.85	o 892523
29.98/25.85	o 893339
29.98/25.86	o 893343
29.98/25.86	o 893546
29.98/25.86	o 893636
29.98/25.86	o 893863
29.98/25.86	o 894774
29.98/25.86	o 895073
29.98/25.86	o 896359
29.98/25.86	o 897270
29.98/25.87	o 898040
29.98/25.87	o 898415
29.98/25.87	o 899326
29.98/25.87	o 900142
29.98/25.87	o 901164
29.98/25.87	o 902450
29.98/25.87	o 903361
29.98/25.87	o 904177
29.98/25.88	o 904857
29.98/25.88	o 905768
29.98/25.88	o 906584
29.98/25.88	o 906836
29.98/25.88	o 907652
29.98/25.88	o 908892
29.98/25.88	o 909708
29.98/25.88	o 909803
29.98/25.88	o 910619
29.98/25.89	o 911540
29.98/25.89	o 912451
29.98/25.89	o 912780
29.98/25.89	o 912983
29.98/25.89	o 913073
29.98/25.89	o 914927
29.98/25.89	o 916267
29.98/25.89	o 918763
29.98/25.90	o 919674
30.13/25.90	o 919873
30.13/25.90	o 920302
30.13/25.90	o 921213
30.13/25.90	o 922798
30.13/25.90	o 923709
30.13/25.90	o 925566
30.13/25.90	o 927545
30.13/25.90	o 929601
30.13/25.90	o 930512
30.13/25.91	o 931328
30.13/25.91	o 931798
30.13/25.91	o 932614
30.13/25.91	o 934004
30.13/25.91	o 934915
30.13/25.91	o 935543
30.13/25.91	o 935983
30.13/25.91	o 938039
30.13/25.92	o 938950
30.13/25.92	o 939325
30.13/25.92	o 940236
30.13/25.92	o 941052
30.13/25.92	o 941175
30.13/25.92	o 941374
30.13/25.92	o 942714
30.13/25.92	o 945210
30.13/25.93	o 946496
30.13/25.93	o 947312
30.13/25.93	o 947407
30.13/25.93	o 948223
30.13/25.93	o 948323
30.13/25.93	o 950379
30.13/25.93	o 951665
30.13/25.94	o 952576
30.13/25.94	o 953392
30.13/25.94	o 954158
30.13/25.94	o 954812
30.13/25.94	o 956098
30.13/25.94	o 957485
30.13/25.95	o 959981
30.13/25.95	o 961267
30.13/25.95	o 961520
30.13/25.95	o 962806
30.13/25.95	o 964016
30.13/25.95	o 965302
30.13/25.95	o 966213
30.13/25.95	o 967029
30.13/25.95	o 967874
30.13/25.95	o 968690
30.13/25.95	o 969160
30.13/25.95	o 969976
30.13/25.95	o 969977
30.13/25.95	o 970888
30.13/25.95	o 971187
30.13/25.96	o 972473
30.13/25.96	o 973384
30.13/25.96	o 974200
30.13/25.96	o 974970
30.13/25.96	o 975440
30.13/25.96	o 976256
30.13/25.97	o 976694
30.13/25.97	o 977322
30.13/25.97	o 978233
30.13/25.97	o 979818
30.13/25.97	o 980729
30.13/25.97	o 981545
30.13/25.97	o 981920
30.13/25.97	o 982015
30.13/25.97	o 982831
30.13/25.98	o 983049
30.13/25.98	o 984028
30.13/25.98	o 984549
30.13/25.98	o 985683
30.13/25.98	o 985882
30.13/25.98	o 985936
30.13/25.98	o 987222
30.13/25.98	o 988432
30.13/25.99	o 989718
30.13/25.99	o 989749
30.13/25.99	o 989839
30.13/25.99	o 990360
30.13/25.99	o 991494
30.13/25.99	o 991693
30.13/25.99	o 993033
30.13/25.99	o 995529
30.13/25.99	o 996815
30.13/25.99	o 997726
30.13/26.00	o 999065
30.13/26.00	o 1000351
30.13/26.00	o 1001262
30.13/26.00	o 1001561
30.13/26.00	o 1002472
30.13/26.00	o 1002847
30.13/26.00	o 1003758
30.13/26.00	o 1004574
30.24/26.01	o 1004601
30.24/26.01	o 1004800
30.24/26.01	o 1004854
30.24/26.02	o 1006140
30.24/26.02	o 1007350
30.24/26.02	o 1008636
30.24/26.02	o 1009452
30.24/26.02	o 1009547
30.24/26.02	o 1010363
30.24/26.03	o 1010617
30.24/26.03	o 1010840
30.24/26.03	o 1011039
30.24/26.03	o 1011093
30.24/26.03	o 1012379
30.24/26.03	o 1013589
30.24/26.03	o 1014875
30.24/26.03	o 1015786
30.24/26.04	o 1015916
30.24/26.04	o 1016027
30.24/26.04	o 1016044
30.24/26.04	o 1016955
30.24/26.04	o 1018191
30.24/26.04	o 1019531
30.24/26.04	o 1022027
30.24/26.04	o 1022938
30.24/26.04	o 1023313
30.24/26.04	o 1024224
30.24/26.05	o 1025563
30.24/26.05	o 1028059
30.24/26.05	o 1029345
30.24/26.05	o 1030256
30.24/26.05	o 1031072
30.24/26.05	o 1031492
30.24/26.05	o 1032308
30.24/26.07	o 1032734
30.24/26.07	o 1032765
30.24/26.07	o 1033376
30.24/26.07	o 1033694
30.24/26.07	o 1034510
30.24/26.07	o 1035233
30.24/26.07	o 1036818
30.24/26.07	o 1037729
30.24/26.07	o 1038545
30.24/26.08	o 1038920
30.24/26.08	o 1039015
30.24/26.08	o 1039831
30.24/26.08	o 1040251
30.24/26.08	o 1041067
30.24/26.09	o 1041229
30.24/26.09	o 1042140
30.24/26.09	o 1042765
30.24/26.09	o 1042928
30.24/26.09	o 1044214
30.24/26.09	o 1044866
30.24/26.09	o 1046206
30.24/26.10	o 1048702
30.24/26.10	o 1049988
30.24/26.10	o 1050899
30.24/26.10	o 1051715
30.35/26.11	o 1053303
30.35/26.12	o 1054589
30.35/26.12	o 1055405
30.35/26.12	o 1055799
30.35/26.12	o 1056615
30.35/26.12	o 1057085
30.35/26.12	o 1057901
30.35/26.12	o 1057996
30.35/26.12	o 1058812
30.35/26.12	o 1059232
30.35/26.12	o 1060048
30.35/26.13	o 1060162
30.35/26.13	o 1061073
30.35/26.13	o 1061372
30.35/26.13	o 1062658
30.35/26.13	o 1063569
30.35/26.14	o 1064385
30.35/26.14	o 1064805
30.35/26.14	o 1065621
30.35/26.15	o 1066187
30.35/26.15	o 1067003
30.35/26.16	o 1067189
30.35/26.16	o 1067301
30.35/26.16	o 1068117
30.35/26.16	o 1068338
30.35/26.16	o 1069249
30.35/26.16	o 1071087
30.35/26.16	o 1072373
30.35/26.16	o 1073284
30.35/26.16	o 1074100
30.35/26.17	o 1074520
30.35/26.17	o 1075336
30.35/26.18	o 1075362
30.35/26.18	o 1075585
30.35/26.18	o 1076496
30.35/26.18	o 1077124
30.35/26.18	o 1078334
30.35/26.18	o 1079620
30.35/26.18	o 1080531
30.35/26.18	o 1081347
30.35/26.18	o 1081767
30.35/26.18	o 1082583
30.46/26.20	o 1082608
30.46/26.20	o 1083519
30.46/26.22	o 1083894
30.46/26.22	o 1084805
30.46/26.22	o 1085621
30.46/26.22	o 1085946
30.46/26.22	o 1086041
30.46/26.22	o 1086857
30.46/26.24	o 1087210
30.46/26.24	o 1087585
30.46/26.24	o 1088496
30.46/26.24	o 1089124
30.46/26.24	o 1090334
30.46/26.24	o 1091620
30.46/26.24	o 1092531
30.46/26.25	o 1093347
30.46/26.25	o 1093767
30.46/26.25	o 1094583
30.46/26.27	o 1095267
30.46/26.27	o 1095687
30.46/26.27	o 1096503
30.46/26.29	o 1096855
30.46/26.29	o 1097766
30.46/26.29	o 1099351
30.46/26.29	o 1100262
30.46/26.29	o 1100637
30.46/26.30	o 1101548
30.61/26.30	o 1102364
30.61/26.30	o 1102784
30.61/26.30	o 1103600
30.61/26.31	o 1103658
30.61/26.32	o 1104033
30.61/26.32	o 1104944
30.61/26.33	o 1105760
30.61/26.34	o 1106180
30.61/26.34	o 1106996
30.61/26.36	o 1107426
30.61/26.37	o 1107886
30.61/26.37	o 1108280
30.61/26.37	o 1108655
30.61/26.37	o 1109566
30.61/26.37	o 1110382
30.61/26.37	o 1110765
30.61/26.37	o 1112051
30.61/26.37	o 1112867
30.61/26.38	o 1112962
30.61/26.38	o 1113778
30.61/26.40	o 1114327
30.71/26.40	o 1114626
30.71/26.40	o 1115912
30.71/26.40	o 1116823
30.71/26.40	o 1117639
30.71/26.41	o 1118022
30.71/26.41	o 1118933
30.71/26.41	o 1119749
30.71/26.41	o 1120124
30.71/26.41	o 1120219
30.71/26.41	o 1121035
30.71/26.49	o 1121406
30.71/26.49	o 1121595
30.71/26.49	o 1121798
30.71/26.49	o 1121987
30.71/26.49	o 1122462
30.71/26.49	o 1122578
30.71/26.49	o 1123157
30.71/26.49	o 1123346
30.88/26.50	o 1123349
30.88/26.50	o 1124044
30.88/26.50	o 1124436
30.88/26.50	o 1124625
30.88/26.50	o 1125015
30.88/26.50	o 1125204
30.88/26.51	o 1125878
30.88/26.51	o 1126457
30.88/26.51	o 1126646
30.88/26.52	o 1126760
30.88/26.52	o 1126949
30.88/26.52	o 1127455
30.88/26.52	o 1127644
30.88/26.54	o 1127766
30.88/26.54	o 1127818
30.88/26.54	o 1128235
30.88/26.54	o 1128266
30.88/26.54	o 1128482
30.88/26.54	o 1128598
30.88/26.54	o 1129177
30.88/26.55	o 1129411
30.88/26.55	o 1129828
30.88/26.55	o 1129880
30.88/26.55	o 1130297
30.88/26.55	o 1130328
30.88/26.55	o 1130544
30.88/26.55	o 1131239
30.88/26.56	o 1131818
30.88/26.56	o 1132007
30.88/26.56	o 1132681
30.88/26.56	o 1133260
30.88/26.56	o 1133449
30.88/26.57	o 1133827
30.88/26.57	o 1134522
30.88/26.57	o 1134711
30.88/26.57	o 1135101
30.88/26.57	o 1135290
30.88/26.57	o 1135964
30.88/26.57	o 1136543
30.88/26.57	o 1136732
30.88/26.58	o 1137190
30.88/26.58	o 1137379
30.88/26.58	o 1137769
30.88/26.58	o 1137958
31.00/26.61	o 1138188
31.00/26.61	o 1138219
31.00/26.61	o 1138435
31.00/26.61	o 1138551
31.00/26.61	o 1139130
31.00/26.61	o 1139215
31.00/26.61	o 1139910
31.00/26.62	o 1140489
31.00/26.63	o 1140678
31.00/26.63	o 1141236
31.00/26.63	o 1141352
31.00/26.63	o 1141931
31.00/26.63	o 1142120
31.00/26.69	o 1142299
31.00/26.69	o 1142942
31.00/26.69	o 1143131
31.00/26.69	o 1143521
31.00/26.69	o 1143710
31.00/26.69	o 1143938
31.00/26.69	o 1143969
31.00/26.69	o 1144301
31.00/26.69	o 1144880
31.14/26.70	o 1145069
31.14/26.70	o 1145114
31.14/26.70	o 1145693
31.14/26.70	o 1145882
31.14/26.70	o 1146000
31.14/26.70	o 1146189
31.14/26.70	o 1146247
31.14/26.70	o 1146942
31.14/26.70	o 1147131
31.14/26.70	o 1147521
31.14/26.70	o 1147710
31.14/26.73	o 1148384
31.14/26.73	o 1148963
31.14/26.73	o 1149152
31.24/26.83	o 1149714
31.24/26.83	o 1149903
31.24/26.84	o 1149986
31.24/26.84	o 1150245
31.24/26.84	o 1150577
31.24/26.84	o 1151156
31.24/26.84	o 1151345
31.24/26.87	o 1151968
31.24/26.87	o 1152157
31.24/26.87	o 1152547
31.24/26.87	o 1152736
31.24/26.88	o 1152811
31.24/26.88	o 1153045
31.24/26.88	o 1153624
31.24/26.88	o 1153931
31.24/26.89	o 1153962
31.24/26.89	o 1154178
31.24/26.89	o 1154873
31.24/26.89	o 1155452
31.24/26.89	o 1155641
31.24/26.89	o 1156232
31.24/26.90	o 1156811
31.24/26.90	o 1157000
31.34/26.90	o 1157083
31.34/26.90	o 1157674
31.34/26.90	o 1157863
31.34/26.90	o 1158253
31.34/26.90	o 1158442
31.34/26.94	o 1158691
31.34/26.94	o 1159270
31.34/26.95	o 1159459
31.34/26.96	o 1159542
31.34/26.96	o 1159770
31.34/26.96	o 1159801
31.34/26.96	o 1160133
31.34/26.96	o 1160712
31.34/26.96	o 1160901
31.45/27.03	o 1160988
31.45/27.03	o 1161177
31.45/27.03	o 1161567
31.45/27.03	o 1161756
31.45/27.04	o 1161757
31.45/27.04	o 1161788
31.45/27.04	o 1162004
31.45/27.04	o 1162120
31.45/27.04	o 1162699
31.45/27.04	o 1162888
31.45/27.04	o 1162911
31.45/27.04	o 1163006
31.45/27.04	o 1163037
31.45/27.04	o 1163253
31.45/27.04	o 1163948
31.45/27.04	o 1164137
31.45/27.04	o 1164527
31.45/27.04	o 1164716
31.45/27.05	o 1165307
31.45/27.05	o 1165886
31.45/27.06	o 1166075
31.45/27.06	o 1166158
31.45/27.07	o 1166749
31.45/27.07	o 1167328
31.45/27.07	o 1167517
31.45/27.09	o 1167827
31.45/27.09	o 1168016
31.45/27.09	o 1168496
31.45/27.09	o 1168943
31.45/27.09	o 1169412
31.45/27.09	o 1169659
31.45/27.09	o 1170354
31.45/27.09	o 1170543
31.45/27.10	o 1170933
31.45/27.10	o 1171122
31.45/27.11	o 1171232
31.57/27.11	o 1171927
31.57/27.11	o 1172056
31.57/27.11	o 1172687
31.57/27.11	o 1173104
31.57/27.11	o 1173573
31.57/27.11	o 1173604
31.57/27.11	o 1174515
31.57/27.11	o 1175210
31.57/27.11	o 1175789
31.57/27.11	o 1175978
31.57/27.13	o 1176065
31.57/27.13	o 1176095
31.57/27.13	o 1176512
31.57/27.13	o 1176697
31.57/27.13	o 1176981
31.57/27.13	o 1177923
31.57/27.13	o 1178618
31.57/27.13	o 1178807
31.57/27.13	o 1179197
31.57/27.13	o 1179386
31.57/27.14	o 1179529
31.57/27.14	o 1180108
31.57/27.14	o 1180297
31.57/27.15	o 1180325
31.57/27.15	o 1180916
31.57/27.15	o 1181105
31.57/27.15	o 1181495
31.57/27.15	o 1181684
31.57/27.16	o 1181996
31.57/27.16	o 1182048
31.57/27.16	o 1182627
31.57/27.16	o 1182650
31.57/27.16	o 1182934
31.57/27.16	o 1183181
31.57/27.16	o 1183876
31.57/27.16	o 1184455
31.57/27.16	o 1184644
31.57/27.16	o 1184729
31.57/27.16	o 1185119
31.57/27.16	o 1185308
31.57/27.16	o 1185814
31.57/27.17	o 1186003
31.71/27.20	o 1186185
31.71/27.20	o 1186301
31.71/27.20	o 1186880
31.71/27.22	o 1186883
31.71/27.22	o 1187321
31.71/27.22	o 1187332
31.71/27.22	o 1188027
31.71/27.22	o 1188109
31.71/27.22	o 1188140
31.71/27.22	o 1189051
31.71/27.22	o 1189551
31.71/27.22	o 1190462
31.71/27.22	o 1191157
31.71/27.22	o 1191736
31.71/27.24	o 1192140
31.71/27.24	o 1192719
31.71/27.24	o 1192835
31.71/27.24	o 1193414
31.71/27.24	o 1193648
31.71/27.24	o 1194065
31.71/27.24	o 1194781
31.71/27.24	o 1195476
31.71/27.24	o 1196055
31.71/27.26	o 1196210
31.71/27.26	o 1196326
31.71/27.26	o 1196905
31.71/27.26	o 1197442
31.71/27.26	o 1197965
31.71/27.27	o 1197995
31.71/27.27	o 1198412
31.71/27.27	o 1198912
31.71/27.27	o 1199128
31.71/27.27	o 1199823
31.71/27.27	o 1200402
31.71/27.27	o 1200487
31.71/27.27	o 1201066
31.71/27.27	o 1201182
31.71/27.27	o 1201761
31.94/27.44	o 1202302
32.48/28.00	o 1202854
32.48/28.00	o 1203395
32.48/28.00	o 1203433
32.48/28.00	o 1203974
32.70/28.19	o 1204125
32.70/28.19	o 1204594
32.70/28.19	o 1204625
32.70/28.19	o 1204841
32.70/28.19	o 1205536
32.70/28.19	o 1206115
32.79/28.22	o 1206656
33.08/28.53	o 1207009
33.08/28.53	o 1207547
33.08/28.53	o 1207812
33.08/28.53	o 1207843
33.08/28.53	o 1208754
33.08/28.53	o 1209609
33.08/28.54	o 1210188
33.08/28.54	o 1210304
33.08/28.54	o 1210883
33.08/28.54	o 1211424
33.08/28.55	o 1212291
33.08/28.55	o 1212986
33.08/28.55	o 1213565
33.08/28.55	o 1214106
35.95/31.23	o 1214920
35.95/31.23	o 1215390
35.95/31.23	o 1216206
35.95/31.23	o 1216574
35.95/31.23	o 1217415
35.95/31.24	o 1218231
35.95/31.24	o 1218519
35.95/31.24	o 1219335
35.95/31.24	o 1220006
35.95/31.24	o 1221292
35.95/31.24	o 1221653
35.95/31.24	o 1222939
35.95/31.24	o 1223725
35.95/31.24	o 1225750
35.95/31.24	o 1227036
35.95/31.24	o 1227852
35.95/31.25	o 1227877
35.95/31.25	o 1228693
35.95/31.25	o 1229664
35.95/31.25	o 1229921
35.95/31.25	o 1230596
35.95/31.25	o 1230696
35.95/31.25	o 1230707
35.95/31.25	o 1232732
35.95/31.25	o 1234018
35.95/31.25	o 1234859
35.95/31.26	o 1235675
35.95/31.26	o 1236506
35.95/31.26	o 1237347
35.95/31.26	o 1238104
35.95/31.26	o 1238308
35.95/31.26	o 1239058
35.95/31.26	o 1240344
35.95/31.27	o 1240705
35.95/31.27	o 1241991
35.95/31.27	o 1242393
35.95/31.27	o 1242562
35.95/31.27	o 1242766
35.95/31.27	o 1244802
35.95/31.27	o 1246088
35.95/31.27	o 1246825
35.95/31.28	o 1246996
35.95/31.28	o 1248215
35.95/31.28	o 1248472
35.95/31.28	o 1249147
35.95/31.28	o 1251283
35.95/31.28	o 1252569
35.95/31.29	o 1253319
35.95/31.29	o 1254605
35.95/31.29	o 1255446
35.95/31.29	o 1256262
35.95/31.29	o 1256630
35.95/31.29	o 1257446
35.95/31.29	o 1257471
35.95/31.29	o 1258287
35.95/31.29	o 1258962
35.95/31.30	o 1259701
35.95/31.30	o 1260146
35.95/31.30	o 1260987
35.95/31.30	o 1261803
36.06/31.30	o 1261950
36.06/31.30	o 1263236
36.06/31.30	o 1264052
36.06/31.30	o 1264156
36.06/31.31	o 1264413
36.06/31.31	o 1265088
36.06/31.31	o 1265383
36.06/31.31	o 1266199
36.06/31.31	o 1267694
36.06/31.31	o 1268510
36.06/31.31	o 1268980
36.06/31.31	o 1269796
36.06/31.31	o 1269821
36.06/31.31	o 1270637
36.06/31.33	o 1271138
36.06/31.34	o 1271240
36.06/31.34	o 1271431
36.06/31.34	o 1273456
36.06/31.34	o 1274742
36.06/31.34	o 1275583
36.06/31.34	o 1276399
36.06/31.35	o 1276498
36.06/31.35	o 1276523
36.06/31.35	o 1277339
36.06/31.35	o 1278113
36.06/31.36	o 1278596
36.06/31.36	o 1278919
36.06/31.36	o 1279760
36.06/31.36	o 1280705
36.06/31.36	o 1280800
36.06/31.36	o 1280991
36.06/31.36	o 1281730
36.06/31.36	o 1283016
36.06/31.36	o 1283857
36.06/31.36	o 1284673
36.06/31.37	o 1284820
36.06/31.37	o 1285661
36.06/31.37	o 1286467
36.06/31.37	o 1288155
36.06/31.37	o 1288348
36.06/31.37	o 1288528
36.06/31.37	o 1288539
36.06/31.37	o 1290564
36.06/31.37	o 1291405
36.06/31.37	o 1292221
36.06/31.38	o 1292691
36.06/31.38	o 1293507
36.06/31.39	o 1293690
36.16/31.40	o 1294355
36.16/31.40	o 1295171
36.16/31.40	o 1295964
36.16/31.40	o 1296447
36.16/31.40	o 1296770
36.16/31.40	o 1297611
36.16/31.40	o 1298627
36.16/31.40	o 1298842
36.16/31.40	o 1299581
36.16/31.40	o 1300867
36.16/31.40	o 1301708
36.16/31.40	o 1302524
36.16/31.42	o 1302830
36.16/31.42	o 1302901
36.16/31.42	o 1302925
36.16/31.42	o 1303105
36.16/31.42	o 1303116
36.16/31.42	o 1303855
36.16/31.42	o 1305141
36.16/31.42	o 1305982
36.16/31.42	o 1306798
36.16/31.44	o 1306803
36.16/31.44	o 1308662
36.16/31.44	o 1309503
36.16/31.44	o 1310319
36.16/31.45	o 1310789
36.16/31.45	o 1311605
36.26/31.51	o 1311659
36.26/31.51	o 1312500
36.26/31.51	o 1313316
36.26/31.51	o 1313761
36.26/31.51	o 1313786
36.26/31.51	o 1314602
36.26/31.51	o 1314810
36.26/31.51	o 1315651
36.26/31.52	o 1315933
36.26/31.52	o 1317219
36.26/31.52	o 1318060
36.26/31.52	o 1318876
36.26/31.54	o 1319613
36.26/31.54	o 1319865
36.26/31.54	o 1320310
36.26/31.54	o 1321151
36.26/31.54	o 1321967
36.26/31.55	o 1322234
36.26/31.55	o 1322744
36.26/31.55	o 1322913
36.26/31.55	o 1323117
36.26/31.55	o 1323128
36.26/31.55	o 1324337
36.26/31.55	o 1325153
36.26/31.56	o 1325863
36.26/31.56	o 1326444
36.26/31.56	o 1326735
36.26/31.56	o 1327551
36.26/31.56	o 1327858
36.26/31.56	o 1329144
36.26/31.56	o 1329960
36.26/31.56	o 1329985
36.26/31.56	o 1330801
36.36/31.65	o 1331480
36.36/31.65	o 1332296
36.36/31.65	o 1333878
36.36/31.65	o 1334251
36.36/31.66	o 1334262
36.36/31.66	o 1336287
36.36/31.66	o 1337103
36.36/31.66	o 1337128
36.36/31.66	o 1337944
36.36/31.66	o 1338414
36.36/31.66	o 1339230
36.46/31.73	o 1340012
36.46/31.73	o 1340465
36.46/31.73	o 1340545
36.46/31.73	o 1341303
36.46/31.73	o 1341569
36.46/31.73	o 1342410
36.46/31.73	o 1343978
36.46/31.74	o 1344819
36.46/31.74	o 1345264
36.46/31.74	o 1346105
36.46/31.74	o 1346921
36.56/31.89	o 1347496
36.56/31.89	o 1347594
36.56/31.89	o 1347665
36.56/31.89	o 1347689
36.56/31.89	o 1347869
36.56/31.89	o 1347880
36.56/31.89	o 1349905
36.56/31.89	o 1351191
36.56/31.89	o 1352007
36.56/31.89	o 1352032
36.56/31.89	o 1352848
36.66/32.00	o 1353503
36.66/32.00	o 1354789
36.66/32.00	o 1355630
36.79/32.01	o 1356446
36.79/32.07	o 1357554
36.79/32.07	o 1358395
36.79/32.07	o 1359770
36.79/32.07	o 1360611
36.79/32.07	o 1361427
36.79/32.07	o 1361897
36.79/32.07	o 1362713
36.90/32.11	o 1362851
36.90/32.11	o 1362965
36.90/32.11	o 1363781
36.90/32.11	o 1364251
36.90/32.11	o 1365067
36.99/32.24	o 1365229
36.99/32.24	o 1365309
36.99/32.25	o 1365985
36.99/32.25	o 1366502
36.99/32.25	o 1367343
36.99/32.25	o 1368742
36.99/32.25	o 1369583
36.99/32.26	o 1369763
36.99/32.26	o 1369774
36.99/32.26	o 1370958
36.99/32.26	o 1371799
36.99/32.26	o 1372244
36.99/32.27	o 1373085
36.99/32.27	o 1373901
37.29/32.51	o 1374874
37.29/32.51	o 1375690
37.29/32.51	o 1375715
37.29/32.51	o 1376531
37.49/32.77	o 1376556
37.49/32.78	o 1378345
37.49/32.78	o 1379186
37.49/32.78	o 1380561
37.49/32.78	o 1381402
37.49/32.79	o 1381847
37.49/32.79	o 1382688
37.49/32.80	o 1383504
38.71/33.94	o 1383705
38.71/33.94	o 1384546
38.71/33.94	o 1384730
38.71/33.94	o 1386016
38.71/33.95	o 1386857
38.71/33.95	o 1387673
38.71/33.95	o 1387955
38.71/33.95	o 1387980
38.71/33.95	o 1388796
38.71/33.95	o 1389266
38.71/33.95	o 1390082
38.71/33.96	o 1390334
38.71/33.97	o 1390779
38.71/33.97	o 1391620
38.71/33.97	o 1392436
38.82/34.01	o 1393702
38.82/34.01	o 1394518
38.82/34.01	o 1394988
38.82/34.02	o 1395804
38.82/34.02	o 1395918
38.82/34.02	o 1397204
38.82/34.03	o 1398020
38.82/34.03	o 1398045
38.82/34.03	o 1398861
38.82/34.03	o 1399613
38.82/34.03	o 1400454
38.82/34.03	o 1401270
54.73/49.38	o 1401364
54.73/49.39	o 1402953
54.73/49.39	o 1404219
54.73/49.39	o 1405808
54.73/49.39	o 1405958
54.73/49.39	o 1407547
54.73/49.39	o 1407862
54.73/49.39	o 1409451
54.73/49.39	o 1409963
54.73/49.39	o 1411702
54.73/49.39	o 1411867
54.73/49.39	o 1413606
54.73/49.39	o 1415195
54.73/49.39	o 1415272
54.73/49.39	o 1417176
54.73/49.39	o 1418127
54.73/49.39	o 1420031
54.73/49.40	o 1421620
54.73/49.40	o 1423871
54.86/49.40	o 1425460
54.86/49.40	o 1425775
54.86/49.40	o 1427364
54.86/49.40	o 1427514
54.86/49.40	o 1429103
54.86/49.40	o 1429261
54.86/49.40	o 1431000
54.86/49.40	o 1432666
54.86/49.40	o 1438410
54.86/49.40	o 1441265
54.86/49.40	o 1443169
54.86/49.40	o 1444908
54.86/49.41	o 1446497
54.86/49.41	o 1446517
54.86/49.41	o 1448106
54.86/49.41	o 1448828
54.86/49.41	o 1450567
54.86/49.41	o 1450732
54.86/49.41	o 1452471
54.86/49.41	o 1454080
54.86/49.41	o 1455669
54.86/49.41	o 1456749
54.86/49.41	o 1457700
54.86/49.41	o 1459604
54.86/49.41	o 1461213
54.86/49.41	o 1462802
54.86/49.41	o 1462952
54.86/49.41	o 1464541
55.08/49.64	o 1466940
55.08/49.64	o 1468549
55.08/49.64	o 1469658
55.08/49.64	o 1470600
55.08/49.64	o 1471779
55.08/49.64	o 1472888
55.08/49.64	o 1473830
55.08/49.64	o 1474330
55.08/49.64	o 1474497
55.08/49.64	o 1475439
55.08/49.64	o 1475548
55.08/49.64	o 1476657
55.08/49.64	o 1477599
55.08/49.65	o 1478135
55.08/49.65	o 1478802
55.08/49.65	o 1479744
55.08/49.65	o 1479911
55.08/49.65	o 1480853
55.08/49.65	o 1481000
55.08/49.65	o 1482109
55.08/49.65	o 1483160
55.08/49.65	o 1484269
55.08/49.65	o 1484481
55.08/49.65	o 1484928
55.08/49.65	o 1486537
55.08/49.65	o 1487337
55.08/49.65	o 1488946
55.08/49.65	o 1489767
55.08/49.65	o 1490016
55.08/49.65	o 1492176
55.08/49.66	o 1493785
55.08/49.66	o 1494894
55.08/49.66	o 1495988
55.08/49.66	o 1496539
55.08/49.66	o 1497039
55.08/49.66	o 1498148
55.08/49.66	o 1499090
55.08/49.66	o 1500637
55.08/49.66	o 1500886
55.08/49.66	o 1501437
55.08/49.66	o 1503046
55.08/49.66	o 1503988
55.08/49.66	o 1504691
55.08/49.66	o 1505633
55.08/49.66	o 1506300
55.08/49.66	o 1507242
55.08/49.66	o 1507409
55.08/49.67	o 1508351
55.08/49.67	o 1508529
55.29/49.88	o 1508648
55.29/49.89	o 1510888
55.29/49.89	o 1513090
55.50/50.09	o 1513221
55.50/50.09	o 1513679
55.50/50.09	o 1515801
55.50/50.09	o 1516008
55.50/50.09	o 1518210
55.69/50.24	o 1520114
55.69/50.25	o 1520623
55.69/50.25	o 1520792
55.69/50.25	o 1523032
55.69/50.25	o 1525234
55.79/50.36	o 1525235
55.79/50.36	o 1527475
55.79/50.36	o 1529677
55.89/50.40	o 1530388
55.89/50.41	o 1531072
55.89/50.41	o 1531408
55.89/50.41	o 1531434
55.89/50.41	o 1531812
55.89/50.41	o 1534014
55.89/50.41	o 1534221
55.89/50.41	o 1536423
55.89/50.41	o 1536461
55.89/50.42	o 1538663
55.99/50.57	o 1540169
55.99/50.57	o 1540376
55.99/50.57	o 1542578
55.99/50.57	o 1542616
55.99/50.57	o 1544818
56.09/50.65	o 1546386
56.41/50.99	o 1551531
56.41/51.00	o 1552731
56.41/51.00	o 1554536
56.56/51.01	o 1555736
56.56/51.01	o 1557166
56.56/51.01	o 1558366
56.56/51.01	o 1559178
56.56/51.01	o 1559736
56.56/51.01	o 1560658
56.56/51.01	o 1564690
56.56/51.01	o 1567695
56.56/51.01	o 1570325
56.56/51.01	o 1571525
56.56/51.01	o 1571616
56.56/51.01	o 1572816
56.56/51.01	o 1573628
56.56/51.01	o 1576258
56.56/51.01	o 1582145
56.56/51.01	o 1584775
56.56/51.01	o 1585975
56.56/51.01	o 1586350
56.56/51.01	o 1587780
56.56/51.01	o 1588980
56.56/51.01	o 1589106
56.56/51.01	o 1593513
56.56/51.01	o 1596143
56.56/51.01	o 1596518
56.56/51.01	o 1599148
56.56/51.01	o 1600348
56.56/51.02	o 1600637
56.56/51.02	o 1602961
56.56/51.02	o 1605591
56.56/51.02	o 1605966
56.56/51.02	o 1608596
56.56/51.02	o 1609796
56.56/51.05	o 1610746
56.56/51.05	o 1611246
56.56/51.05	o 1612157
56.56/51.05	o 1612657
56.56/51.05	o 1613531
56.56/51.05	o 1614942
56.56/51.05	o 1615522
56.56/51.05	o 1616933
56.56/51.06	o 1617433
56.56/51.06	o 1618828
56.56/51.06	o 1620045
56.56/51.06	o 1621613
56.56/51.06	o 1622036
56.56/51.06	o 1623604
56.56/51.06	o 1623682
56.56/51.07	o 1624603
56.56/51.07	o 1626594
56.56/51.07	o 1628162
56.56/51.07	o 1628662
56.56/51.07	o 1629573
56.56/51.07	o 1630073
56.56/51.07	o 1631401
56.56/51.07	o 1632969
56.56/51.07	o 1634380
56.56/51.08	o 1634880
56.56/51.08	o 1636320
56.56/51.08	o 1637731
56.56/51.08	o 1638840
56.56/51.09	o 1639864
56.56/51.09	o 1640879
56.56/51.09	o 1643446
56.56/51.09	o 1645437
56.56/51.09	o 1646848
56.56/51.10	o 1647005
56.56/51.10	o 1648416
56.56/51.10	o 1648916
56.56/51.10	o 1650244
56.56/51.11	o 1651812
56.56/51.11	o 1652312
56.72/51.11	o 1653223
56.72/51.11	o 1653723
56.72/51.11	o 1654919
56.72/51.11	o 1655419
56.72/51.12	o 1655719
56.72/51.13	o 1656004
56.72/51.13	o 1657415
56.72/51.13	o 1657915
56.72/51.14	o 1658352
56.72/51.14	o 1658775
56.72/51.14	o 1660343
56.72/51.14	o 1660471
56.72/51.14	o 1662039
56.72/51.14	o 1662539
56.72/51.15	o 1663450
56.72/51.15	o 1663950
56.72/51.16	o 1664762
56.72/51.16	o 1665178
56.72/51.16	o 1665978
56.72/51.16	o 1666106
56.72/51.17	o 1667674
56.72/51.17	o 1669085
56.72/51.17	o 1669585
56.72/51.18	o 1670319
56.72/51.18	o 1670824
56.72/51.18	o 1671119
56.72/51.18	o 1672815
56.72/51.18	o 1674226
56.72/51.18	o 1674726
56.72/51.18	o 1674883
56.72/51.18	o 1675794
56.72/51.18	o 1676294
76.68/70.60	o 1676608
76.68/70.60	o 1682491
76.68/70.60	o 1685651
76.68/70.60	o 1691534
76.68/70.60	o 1697206
76.68/70.60	o 1699644
76.68/70.60	o 1703089
76.68/70.61	o 1705585
76.68/70.61	o 1708574
76.68/70.61	o 1714457
76.68/70.61	o 1716953
76.68/70.61	o 1719264
87.87/81.73	o 1719957
87.87/81.73	o 1725101
87.87/81.73	o 1727911
87.87/81.76	o 1727988
87.87/81.76	o 1728816
87.87/81.76	o 1729065
87.87/81.76	o 1731056
87.87/81.77	o 1732795
87.87/81.77	o 1733105
87.87/81.77	o 1733117
87.87/81.77	o 1733162
87.87/81.77	o 1735153
87.87/81.77	o 1736892
87.87/81.78	o 1737117
87.87/81.79	o 1737369
87.87/81.79	o 1739108
87.87/81.79	o 1740322
87.98/81.80	o 1742203
87.98/81.81	o 1742383
87.98/81.81	o 1742428
87.98/81.81	o 1744419
87.98/81.83	o 1746158
87.98/81.84	o 1747537
87.98/81.85	o 1749014
87.98/81.85	o 1749780
87.98/81.85	o 1749952
87.98/81.85	o 1750800
87.98/81.85	o 1752249
87.98/81.85	o 1752347
87.98/81.85	o 1752596
87.98/81.85	o 1752848
87.98/81.85	o 1754587
87.98/81.86	o 1754784
87.98/81.86	o 1754882
87.98/81.86	o 1754906
87.98/81.87	o 1755086
87.98/81.87	o 1755131
87.98/81.87	o 1757122
87.98/81.88	o 1758861
88.08/81.92	o 1759476
88.08/81.92	o 1760625
88.08/81.92	o 1761567
88.08/81.92	o 1762314
88.08/81.94	o 1766552
88.08/81.94	o 1767299
88.08/81.95	o 1767494
88.08/81.95	o 1768241
88.08/81.95	o 1768570
88.08/81.95	o 1771408
88.08/81.96	o 1772350
88.08/81.96	o 1773097
88.08/81.99	o 1773208
88.08/81.99	o 1775278
88.08/81.99	o 1775973
88.08/82.00	o 1777763
88.08/82.00	o 1778645
88.08/82.00	o 1781261
88.08/82.00	o 1781956
88.08/82.00	o 1782374
88.08/82.00	o 1782784
88.08/82.00	o 1784164
88.08/82.00	o 1785422
88.08/82.00	o 1787662
88.08/82.00	o 1788357
88.08/82.00	o 1790278
88.08/82.01	o 1790973
88.21/82.01	o 1791363
88.21/82.01	o 1792131
88.21/82.01	o 1794371
88.21/82.01	o 1796987
88.21/82.02	o 1797682
88.21/82.02	o 1799189
88.21/82.02	o 1799884
88.21/82.02	o 1801171
88.21/82.02	o 1801987
88.21/82.02	o 1802682
88.21/82.07	o 1805840
88.21/82.07	o 1806340
88.21/82.07	o 1808376
88.21/82.07	o 1808876
88.21/82.07	o 1809338
88.21/82.07	o 1811874
88.21/82.07	o 1812374
88.21/82.08	o 1812621
88.21/82.08	o 1813121
88.32/82.13	o 1813559
88.32/82.13	o 1814051
88.32/82.13	o 1814993
88.32/82.13	o 1815026
88.32/82.13	o 1816460
88.32/82.13	o 1817402
88.32/82.14	o 1818243
88.32/82.19	o 1819014
88.32/82.19	o 1820041
88.32/82.20	o 1820983
88.41/82.20	o 1821824
88.41/82.20	o 1822316
88.41/82.20	o 1822417
88.41/82.21	o 1823258
88.41/82.24	o 1823543
88.41/82.25	o 1824485
88.41/82.25	o 1824977
88.41/82.25	o 1825919
88.41/82.26	o 1826760
88.41/82.29	o 1827137
88.41/82.29	o 1827182
88.41/82.29	o 1827583
88.41/82.29	o 1827956
88.41/82.29	o 1828001
88.41/82.29	o 1828558
88.41/82.29	o 1829992
88.51/82.30	o 1830934
88.51/82.30	o 1831775
88.51/82.33	o 1832275
88.51/82.38	o 1832940
88.51/82.38	o 1834636
88.51/82.38	o 1836438
88.51/82.38	o 1838134
88.51/82.38	o 1838374
88.51/82.38	o 1840070
88.51/82.38	o 1843475
88.51/82.38	o 1845411
88.51/82.38	o 1847107
104.64/98.28	o 1847698
104.64/98.28	o 1847805
104.64/98.28	o 1849394
104.74/98.30	o 1849981
104.74/98.30	o 1850661
104.74/98.30	o 1850674
104.74/98.30	o 1850771
104.74/98.30	o 1852573
104.74/98.30	o 1854269
104.74/98.31	o 1857399
104.74/98.31	o 1859095
104.74/98.31	o 1862193
104.74/98.31	o 1863889
104.74/98.31	o 1864569
104.74/98.32	o 1865478
104.74/98.32	o 1866158
104.74/98.32	o 1867264
104.74/98.32	o 1868960
104.74/98.32	o 1872058
104.74/98.33	o 1873754
104.74/98.33	o 1875343
104.74/98.33	o 1876023
104.74/98.34	o 1877460
104.74/98.34	o 1879049
104.74/98.34	o 1879140
104.74/98.34	o 1879237
104.74/98.34	o 1882735
104.74/98.34	o 1884324
104.74/98.34	o 1884764
104.74/98.34	o 1885865
104.74/98.34	o 1885897
104.74/98.34	o 1889102
104.74/98.34	o 1890691
104.74/98.35	o 1892600
104.74/98.35	o 1894189
104.74/98.35	o 1894296
104.74/98.35	o 1895885
104.74/98.35	o 1896565
104.74/98.38	o 1900889
104.86/98.44	o 1901513
104.86/98.44	o 1902092
104.86/98.44	o 1902260
104.86/98.44	o 1902839
104.86/98.44	o 1903101
104.86/98.45	o 1903680
104.86/98.45	o 1903956
104.86/98.45	o 1904050
104.86/98.45	o 1904797
104.86/98.45	o 1905376
104.86/98.45	o 1905398
104.86/98.45	o 1905977
104.86/98.45	o 1906253
104.86/98.45	o 1907094
104.86/98.45	o 1907673
104.86/98.45	o 1907841
104.86/98.45	o 1908420
104.86/98.45	o 1908608
104.86/98.45	o 1909355
104.86/98.45	o 1909436
104.86/98.45	o 1909616
104.86/98.46	o 1909956
104.86/98.46	o 1910043
104.86/98.46	o 1910811
104.86/98.46	o 1911652
104.86/98.46	o 1912399
104.86/98.46	o 1912978
104.86/98.46	o 1913536
104.86/98.46	o 1913630
104.86/98.46	o 1913798
104.86/98.46	o 1914377
104.86/98.46	o 1914471
104.86/98.46	o 1914565
104.86/98.47	o 1915312
104.86/98.47	o 1915407
104.86/98.47	o 1915673
104.86/98.47	o 1916000
104.86/98.47	o 1916768
104.86/98.47	o 1917609
104.86/98.47	o 1918356
104.86/98.47	o 1918935
104.86/98.49	o 1919497
104.86/98.49	o 1919591
104.86/98.49	o 1919672
104.86/98.49	o 1919686
104.86/98.50	o 1919852
104.86/98.50	o 1919952
104.97/98.50	o 1920192
104.97/98.50	o 1920279
104.97/98.50	o 1921888
104.97/98.50	o 1922635
104.97/98.50	o 1923214
104.97/98.50	o 1923476
104.97/98.50	o 1924055
104.97/98.54	o 1925213
104.97/98.54	o 1926155
104.97/98.54	o 1927249
104.97/98.54	o 1928191
104.97/98.58	o 1929383
104.97/98.58	o 1932451
104.97/98.58	o 1934190
104.97/98.58	o 1934690
104.97/98.58	o 1935015
104.97/98.59	o 1936254
104.97/98.59	o 1936754
105.07/98.61	o 1937712
105.07/98.62	o 1938212
105.07/98.67	o 1941522
105.18/98.72	o 1943002
105.18/98.76	o 1943434
105.18/98.76	o 1943572
105.18/98.76	o 1945636
118.64/111.99	o 1947740
119.77/113.01	o 1953619
119.77/113.04	o 1953720
119.77/113.04	o 1955006
119.77/113.04	o 1956129
119.77/113.04	o 1957415
119.77/113.04	o 1957510
119.77/113.04	o 1958251
119.77/113.04	o 1959092
119.77/113.05	o 1960660
119.77/113.05	o 1960996
119.77/113.05	o 1963707
119.77/113.05	o 1966116
119.77/113.05	o 1967684
119.77/113.05	o 1968970
119.77/113.05	o 1972145
119.77/113.05	o 1973713
119.77/113.05	o 1974999
119.77/113.06	o 1975840
119.77/113.06	o 1976122
119.77/113.06	o 1977408
119.77/113.08	o 1980860
119.90/113.12	o 1981298
119.90/113.12	o 1982375
119.90/113.12	o 1983289
119.90/113.13	o 1984450
119.90/113.13	o 1985551
119.90/113.13	o 1986271
119.90/113.13	o 1986848
119.90/113.13	o 1988416
119.90/113.13	o 1988839
119.90/113.13	o 1990407
119.90/113.13	o 1992330
119.90/113.13	o 1993898
119.90/113.14	o 1994812
119.90/113.20	o 1996197
134.38/127.36	o 1996413
134.38/127.36	o 1996776
134.38/127.36	o 1997355
134.38/127.36	o 1997471
134.38/127.36	o 1998050
134.38/127.37	o 1998545
134.38/127.37	o 1998767
134.38/127.37	o 1998840
134.38/127.37	o 1999535
134.38/127.37	o 2000274
134.38/127.37	o 2000969
134.38/127.37	o 2001548
134.50/127.43	o 2001841
134.50/127.43	o 2002570
134.50/127.43	o 2003775
134.50/127.43	o 2005977
134.50/127.43	o 2006244
134.50/127.44	o 2007681
134.50/127.44	o 2011817
134.50/127.45	o 2014019
134.61/127.58	o 2014669
134.61/127.58	o 2017979
134.61/127.58	o 2020289
134.61/127.58	o 2023599
134.73/127.63	o 2024677
134.73/127.63	o 2024684
134.73/127.64	o 2027318
134.73/127.64	o 2028820
134.73/127.64	o 2031454
135.05/127.91	o 2031855
135.05/127.92	o 2032142
135.05/127.92	o 2032249
135.05/127.92	o 2033683
135.05/127.95	o 2034265
135.05/127.95	o 2034552
135.05/127.95	o 2036093
135.05/127.95	o 2037912
135.05/127.95	o 2038508
135.05/127.95	o 2040336
135.05/127.95	o 2041516
135.05/127.95	o 2043344
135.05/127.95	o 2044885
135.05/127.96	o 2046319
135.05/127.96	o 2047092
135.05/127.97	o 2048070
135.05/127.97	o 2048177
135.05/127.97	o 2049611
135.05/127.97	o 2050005
135.05/127.97	o 2051439
135.05/127.97	o 2052212
135.16/128.09	o 2053146
135.16/128.09	o 2054557
135.16/128.09	o 2055757
135.36/128.28	o 2055909
135.36/128.28	o 2056682
135.36/128.28	o 2057294
135.36/128.28	o 2058067
135.36/128.29	o 2059230
135.36/128.30	o 2060003
135.47/128.33	o 2060405
135.47/128.33	o 2061600
135.47/128.33	o 2062441
135.60/128.49	o 2062602
135.60/128.49	o 2063172
135.60/128.49	o 2064013
135.71/128.55	o 2064292
135.71/128.55	o 2064422
135.71/128.55	o 2064633
135.71/128.55	o 2065833
135.71/128.55	o 2066669
135.71/128.55	o 2067869
135.71/128.59	o 2068710
135.82/128.65	o 2069421
135.82/128.65	o 2069984
135.82/128.65	o 2070479
135.82/128.65	o 2070609
135.82/128.65	o 2072020
135.82/128.66	o 2073220
135.82/128.66	o 2074061
136.02/128.85	o 2074720
136.02/128.85	o 2074856
136.02/128.89	o 2074914
136.02/128.90	o 2075050
136.13/128.90	o 2075193
136.13/128.90	o 2075329
136.13/128.91	o 2075497
136.13/128.91	o 2075525
136.13/128.91	o 2076439
136.13/128.91	o 2077134
136.13/128.91	o 2078048
136.13/128.91	o 2078184
136.13/128.91	o 2078192
136.13/128.91	o 2078791
136.13/128.91	o 2079733
136.13/128.91	o 2079869
136.13/128.91	o 2080647
136.13/128.91	o 2080783
136.13/128.91	o 2080841
136.13/128.91	o 2080977
136.13/128.92	o 2081110
136.13/128.92	o 2082052
136.13/128.92	o 2082966
136.13/128.92	o 2083102
136.13/128.92	o 2083160
136.13/128.92	o 2083296
136.24/129.01	o 2084871
136.24/129.01	o 2085118
136.24/129.01	o 2087182
136.24/129.01	o 2087759
136.24/129.01	o 2089823
136.24/129.03	o 2090997
136.24/129.04	o 2093061
136.24/129.05	o 2093638
136.24/129.05	o 2095702
136.24/129.06	o 2097546
136.24/129.07	o 2097641
136.24/129.10	o 2097678
136.24/129.10	o 2099894
136.24/129.10	o 2099989
136.24/129.10	o 2100224
136.24/129.10	o 2102535
136.24/129.10	o 2102630
136.35/129.20	o 2102677
136.35/129.20	o 2103991
136.45/129.20	o 2104807
136.45/129.20	o 2105307
136.45/129.20	o 2105362
136.45/129.20	o 2105862
136.45/129.20	o 2106625
136.45/129.20	o 2106926
136.45/129.20	o 2107061
136.45/129.20	o 2108800
136.45/129.20	o 2109702
136.45/129.20	o 2111441
136.45/129.20	o 2111941
136.45/129.20	o 2112257
136.45/129.20	o 2112757
136.45/129.21	o 2113752
136.45/129.21	o 2114568
136.45/129.21	o 2115068
136.57/129.31	o 2115331
136.57/129.31	o 2115345
136.57/129.31	o 2115778
136.57/129.31	o 2117769
136.67/129.46	o 2117848
136.88/129.69	o 2117993
136.88/129.69	o 2120940
136.88/129.69	o 2122508
136.88/129.70	o 2123203
137.09/129.81	o 2124881
137.09/129.81	o 2126266
137.09/129.81	o 2127039
137.09/129.87	o 2127109
137.09/129.87	o 2130600
137.09/129.88	o 2132034
141.09/133.71	o 2132242
141.09/133.74	o 2133507
141.09/133.76	o 2133570
141.09/133.76	o 2134249
141.09/133.76	o 2134947
141.09/133.76	o 2135858
141.09/133.77	o 2135994
141.09/133.77	o 2137258
141.09/133.77	o 2137394
141.09/133.77	o 2138169
141.09/133.77	o 2138305
162.81/155.01	o 2138636
162.81/155.01	o 2138817
162.81/155.01	o 2139215
162.81/155.01	o 2139396
163.01/155.24	o 2139533
163.01/155.28	o 2141598
163.01/155.28	o 2143294
163.01/155.28	o 2144385
163.47/155.56	o 2145102
163.78/155.86	o 2145121
163.78/155.86	o 2145216
163.78/155.86	o 2145962
163.78/155.86	o 2146057
163.78/155.87	o 2146321
163.78/155.87	o 2147162
163.78/155.87	o 2147257
163.78/155.88	o 2147914
163.78/155.88	o 2148009
163.78/155.88	o 2148386
163.78/155.88	o 2149586
163.78/155.88	o 2149866
163.78/155.89	o 2151066
163.78/155.89	o 2152222
163.78/155.89	o 2153702
163.78/155.89	o 2154902
163.78/155.89	o 2154997
163.88/155.90	o 2155743
163.88/155.90	o 2155838
169.39/161.39	o 2156436
169.39/161.39	o 2156531
169.96/161.80	o 2157277
170.06/162.00	o 2157399
170.06/162.01	o 2157594
170.06/162.01	o 2158094
170.17/162.01	o 2159234
170.17/162.01	o 2159929
170.17/162.01	o 2160075
170.17/162.01	o 2160770
170.17/162.01	o 2162044
170.17/162.01	o 2162885
170.17/162.01	o 2163580
170.17/162.01	o 2164080
170.17/162.07	o 2164209
170.17/162.07	o 2164766
170.17/162.07	o 2166200
170.17/162.08	o 2167658
170.17/162.08	o 2167834
170.17/162.08	o 2167926
170.17/162.09	o 2169406
170.17/162.09	o 2170736
170.17/162.09	o 2172216
170.17/162.10	o 2173650
177.54/169.20	o 2178923
177.54/169.22	o 2180308
178.61/170.27	o 2184353
178.61/170.27	o 2185811
178.71/170.32	o 2185965
178.71/170.32	o 2186465
178.71/170.32	o 2186781
178.71/170.32	o 2187281
178.81/170.40	o 2187487
178.81/170.40	o 2187578
178.81/170.41	o 2187962
178.81/170.41	o 2188778
178.81/170.41	o 2189801
178.81/170.41	o 2190617
178.81/170.48	o 2191117
179.02/170.65	o 2191187
179.02/170.65	o 2191687
179.14/170.73	o 2192350
179.14/170.74	o 2193123
179.14/170.75	o 2193623
179.24/170.80	o 2194522
179.24/170.80	o 2195513
179.24/170.80	o 2196924
179.24/170.80	o 2198147
179.24/170.80	o 2199558
210.55/201.56	o 2200088
210.55/201.56	o 2200436
210.55/201.56	o 2201916
210.55/201.57	o 2202372
210.55/201.57	o 2203852
210.55/201.58	o 2204363
210.55/201.58	o 2205843
216.70/207.53	o 2206175
216.70/207.53	o 2207117
216.79/207.64	o 2207721
216.79/207.64	o 2209330
216.79/207.64	o 2210486
216.79/207.64	o 2213341
216.79/207.64	o 2214950
216.79/207.64	o 2215892
217.51/208.31	o 2216331
217.51/208.31	o 2216831
217.51/208.31	o 2217217
217.51/208.31	o 2218628
217.51/208.31	o 2219128
217.62/208.41	o 2219545
217.62/208.41	o 2220045
217.62/208.41	o 2220703
217.62/208.41	o 2221135
217.62/208.41	o 2222546
217.62/208.48	o 2222635
217.62/208.48	o 2224046
217.62/208.48	o 2225171
217.62/208.49	o 2226582
217.62/208.49	o 2227082
257.73/247.63	o 2227771
261.88/251.63	o 2228392
261.99/251.72	o 2228604
261.99/251.72	o 2229548
261.99/251.72	o 2231028
261.99/251.72	o 2231209
261.99/251.72	o 2231939
261.99/251.72	o 2232120
293.65/282.52	o 2234963
293.65/282.52	o 2237387
293.65/282.52	o 2238587
293.65/282.54	o 2241943
293.65/282.54	o 2243143
293.65/282.54	o 2244367
293.65/282.54	o 2245567
296.15/285.00	o 2245987
296.15/285.00	o 2246150
296.15/285.00	o 2246176
296.15/285.01	o 2246676
326.23/314.44	o 2246892
326.23/314.49	o 2247526
326.33/314.50	o 2247660
326.33/314.50	o 2247894
326.33/314.50	o 2249094
326.44/314.67	o 2249500
326.44/314.67	o 2249772
326.95/315.12	o 2250368
326.95/315.12	o 2251063
328.48/316.68	o 2251695
328.48/316.68	o 2252511
328.48/316.68	o 2252884
328.48/316.68	o 2254712
328.48/316.68	o 2254723
328.48/316.69	o 2256551
328.48/316.69	o 2257367
329.72/317.82	o 2257827
329.72/317.82	o 2258522
329.82/317.91	o 2258549
330.57/318.29	o 2260765
331.10/318.79	o 2260792
331.20/318.84	o 2261734
331.30/318.95	o 2264288
331.30/318.95	o 2265199
331.30/318.95	o 2266922
331.30/318.95	o 2267833
331.30/318.98	o 2268528
333.27/320.82	o 2268751
333.27/320.82	o 2269440
333.27/320.82	o 2269940
333.27/320.82	o 2270189
333.27/320.82	o 2270603
333.27/320.82	o 2271103
333.27/320.82	o 2271169
333.27/320.82	o 2272083
333.27/320.83	o 2272583
333.27/320.83	o 2272693
333.27/320.83	o 2273193
333.27/320.83	o 2273607
333.27/320.83	o 2274107
333.27/320.83	o 2274296
333.27/320.83	o 2274796
336.14/323.60	o 2275059
340.26/327.69	o 2277225
340.26/327.69	o 2278167
342.73/330.01	o 2278230
342.73/330.01	o 2279003
344.89/332.15	o 2279161
344.98/332.21	o 2280047
344.98/332.21	o 2280547
344.98/332.21	o 2280863
344.98/332.21	o 2281363
344.98/332.29	o 2281588
344.98/332.29	o 2281951
344.98/332.29	o 2281962
344.98/332.29	o 2282063
344.98/332.29	o 2282974
344.98/332.30	o 2283790
345.10/332.31	o 2284290
345.69/332.90	o 2292388
346.90/334.08	o 2292524
348.83/335.97	o 2293279
348.83/335.97	o 2293329
348.83/335.97	o 2293460
348.83/335.97	o 2293510
348.83/335.98	o 2293575
348.83/335.98	o 2294336
348.83/335.98	o 2294517
348.83/335.98	o 2294655
348.83/335.98	o 2295597
348.83/335.99	o 2295778
348.93/336.07	o 2296104
348.93/336.07	o 2296285
349.14/336.26	o 2297046
349.14/336.28	o 2297227
349.24/336.34	o 2298113
349.24/336.34	o 2299067
349.24/336.34	o 2299662
349.24/336.34	o 2300923
349.24/336.34	o 2301865
349.24/336.34	o 2302046
349.24/336.34	o 2302053
349.24/336.34	o 2302234
349.24/336.34	o 2302372
349.24/336.34	o 2303314
349.24/336.34	o 2303495
349.45/336.59	o 2304698
349.45/336.59	o 2304879
349.45/336.59	o 2305959
349.45/336.59	o 2306140
349.55/336.60	o 2306147
349.55/336.60	o 2307408
349.55/336.60	o 2307589
349.55/336.61	o 2308350
349.55/336.61	o 2308531
355.60/342.56	o 2308826
355.60/342.56	o 2309521
355.60/342.57	o 2310654
355.60/342.57	o 2311349
358.05/344.98	o 2311373
358.05/344.98	o 2312406
358.05/344.98	o 2313317
358.05/344.98	o 2314133
358.05/344.98	o 2314434
358.05/344.99	o 2315250
358.05/344.99	o 2315528
358.05/344.99	o 2317744
358.05/345.00	o 2318560
358.16/345.01	o 2318655
358.16/345.01	o 2319471
361.55/348.36	o 2319493
361.55/348.36	o 2319629
361.55/348.36	o 2319758
361.55/348.36	o 2320672
361.55/348.36	o 2320700
361.55/348.36	o 2321614
361.55/348.36	o 2322303
361.55/348.36	o 2322439
368.97/355.51	o 2322583
368.97/355.51	o 2324799
375.28/361.78	o 2325382
375.28/361.78	o 2325943
375.28/361.78	o 2330189
376.20/362.62	o 2330415
376.20/362.62	o 2331188
376.82/363.29	o 2331739
376.82/363.29	o 2332274
376.82/363.29	o 2333188
377.02/363.42	o 2334490
377.02/363.42	o 2335404
377.12/363.56	o 2336177
377.64/364.07	o 2336410
377.64/364.07	o 2337183
377.64/364.07	o 2338626
377.64/364.07	o 2339399
377.64/364.10	o 2339540
377.64/364.10	o 2340313
442.53/427.21	o 2340738
442.53/427.22	o 2342306
442.53/427.24	o 2342995
442.63/427.32	o 2344105
442.63/427.32	o 2345545
442.63/427.32	o 2347113
442.63/427.32	o 2347802
443.13/427.85	o 2348371
443.13/427.85	o 2349187
445.29/429.97	o 2350532
445.29/429.97	o 2351227
449.30/433.88	o 2351826
449.30/433.88	o 2351830
449.30/433.88	o 2352519
449.51/434.10	o 2353557
449.51/434.10	o 2354471
450.02/434.50	o 2355160
450.91/435.10	o 2355188
450.91/435.10	o 2359434
458.20/442.11	o 2360256
458.20/442.11	o 2361845
458.20/442.11	o 2363386
458.20/442.11	o 2364975
586.04/566.95	o 2365484
586.04/566.95	o 2366162
586.04/566.95	o 2367686
586.04/566.95	o 2369097
586.04/566.97	o 2369913
641.55/620.43	o 2370037
641.55/620.43	o 2370878
641.55/620.43	o 2371128
641.55/620.43	o 2372717
641.55/620.43	o 2373558
641.55/620.45	o 2373808
641.55/620.45	o 2376314
641.55/620.45	o 2379428
641.55/620.45	o 2381934
674.37/652.53	o 2382737
674.37/652.53	o 2382918
674.37/652.55	o 2383794
674.37/652.55	o 2383858
674.37/652.55	o 2385243
674.37/652.57	o 2385424
762.16/738.03	o 2387355
812.25/787.02	o 2388658
812.25/787.02	o 2388839
812.25/787.02	o 2389703
812.25/787.02	o 2391292
812.25/787.02	o 2391473
821.64/796.25	o 2391693
821.64/796.25	o 2392385
821.64/796.25	o 2393909
821.64/796.25	o 2395393
821.64/796.26	o 2396917
821.64/796.26	o 2396982
821.64/796.26	o 2398506
824.70/799.20	o 2399100
827.55/802.04	o 2404212
827.75/802.25	o 2404965
827.85/802.30	o 2405208
827.85/802.31	o 2406619
827.85/802.31	o 2407392
842.17/816.37	o 2407495
842.27/816.47	o 2409431
854.86/828.35	o 2410312
854.86/828.35	o 2412173
854.86/828.35	o 2415663
918.07/890.21	o 2417700
919.10/891.28	o 2417951
919.10/891.28	o 2418461
919.10/891.29	o 2420997
919.69/891.84	o 2422693
920.32/892.45	o 2423269
920.32/892.45	o 2423450
920.82/892.95	o 2424070
920.82/892.95	o 2424911
921.86/893.99	o 2426097
921.96/894.04	o 2427184
921.96/894.04	o 2429825
922.16/894.26	o 2430666
922.76/894.86	o 2433616
946.81/918.34	o 2433805
962.15/933.38	o 2434190
962.15/933.38	o 2435031
998.61/968.69	o 2435227
1004.77/974.69	o 2435275
1004.77/974.69	o 2435464
1004.77/974.69	o 2435964
1004.87/974.75	o 2439308
1004.87/974.76	o 2439497
1004.87/974.76	o 2439808
1004.87/974.76	o 2439997
1010.32/980.09	o 2440503
1010.42/980.11	o 2441073
1010.42/980.11	o 2441441
1010.42/980.11	o 2443009
1010.51/980.29	o 2443742
1010.61/980.40	o 2444032
1010.61/980.40	o 2444312
1010.61/980.40	o 2446248
1011.15/980.85	o 2447816
1074.96/1042.87	o 2447912
1074.96/1042.87	o 2448192
1074.96/1042.87	o 2449134
1074.96/1042.87	o 2449323
1075.17/1043.05	o 2449864
1086.09/1053.73	o 2454707
1094.69/1062.19	o 2457566
1094.69/1062.19	o 2458283
1097.07/1064.40	o 2458470
1097.07/1064.40	o 2458659
1097.07/1064.40	o 2458889
1097.07/1064.40	o 2459142
1097.07/1064.40	o 2459831
1097.07/1064.40	o 2459983
1097.07/1064.40	o 2460672
1097.07/1064.40	o 2460861
1097.07/1064.40	o 2461172
1097.07/1064.40	o 2461361
1124.38/1091.19	o 2464071
1124.38/1091.19	o 2466712
1171.08/1136.78	o 2466894
1171.08/1136.78	o 2467394
1171.49/1137.12	o 2467989
1171.49/1137.12	o 2468830
1171.49/1137.15	o 2469330
1214.69/1178.94	o 2470159
1214.69/1178.94	o 2471101
1214.69/1178.94	o 2471942
1214.69/1178.94	o 2472524
1214.69/1178.94	o 2472625
1214.69/1178.94	o 2473466
1214.79/1179.07	o 2473851
1214.79/1179.07	o 2474692
1524.23/1480.21	o 2477968
1524.23/1480.21	o 2478879
1524.23/1480.21	o 2481444
1524.23/1480.21	o 2482355
1900.64/1847.02	o 2484368
1900.64/1847.02	o 2491392
1900.64/1847.02	o 2494049
1900.64/1847.02	o 2501073
2520.00/2450.11	s SATISFIABLE
2520.00/2450.12	v <instantiation>
2520.00/2450.12	v 	<list>
2520.00/2450.12	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.00/2450.12	v 	</list>
2520.00/2450.12	v 	<values>
2520.00/2450.12	v 		0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 1 0 0 0 0 0 0 1 1 1 0 0 1 1 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 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 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 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 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 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 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 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 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 1 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 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 0 0 0 0 0 0 1 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 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 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 0 0 1 1 1 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 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 1 1 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 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 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 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 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 0 1 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 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 0 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 0 1 0 0 0 1 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 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 1 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 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 1 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 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 1 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 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 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 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 1 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 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 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 
2520.00/2450.12	v 	</values>
2520.00/2450.12	v </instantiation>

Verifier Data 

OK	2501073

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4308685-1534282801/watcher-4308685-1534282801 -o /tmp/evaluation-result-4308685-1534282801/solver-4308685-1534282801 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1534270607-2650 --watchdog 2580 java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed 143288657 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4308685-1534282801.xml 

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

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


[startup+0.100139 s]*
/proc/loadavg: 1.90 1.88 1.86 3/216 4170
/proc/meminfo: memFree=14140716/32770624 swapFree=67108504/67108860
[pid=4155] ppid=4152 vsize=14082736 memory=32652 CPUtime=0.12 cores=1,3,5,7
/proc/4155/stat : 4155 (java) S 4152 4155 875 0 -1 1077944320 7106 0 0 0 11 1 0 0 20 0 15 0 245843329 14420721664 8163 33554432000 4194304 4196468 140731054844736 140731054827280 140468064648951 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29110272 140731054851157 140731054851337 140731054851337 140731054854095 0
/proc/4155/statm: 3520684 8163 3138 1 0 3482761 0
[pid=4155/tid=4157] ppid=4152 vsize=14082736 memory=8389772277269004345 CPUtime=0.09 cores=1,3,5,7
/proc/4155/task/4157/stat : 4157 (java) R 4152 4155 875 0 -1 4202560 5179 0 0 0 8 1 0 0 20 0 15 0 245843329 14420721664 8163 33554432000 4194304 4196468 140731054844736 140468068880144 140468048729438 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29110272 140731054851157 140731054851337 140731054851337 140731054854095 0
[pid=4155/tid=4158] ppid=4152 vsize=14082736 memory=288293255295270935 CPUtime=0 cores=1,3,5,7
/proc/4155/task/4158/stat : 4158 (java) S 4152 4155 875 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245843330 14420721664 8163 33554432000 4194304 4196468 140731054844736 140467660385040 140468064659157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29110272 140731054851157 140731054851337 140731054851337 140731054854095 0
[pid=4155/tid=4159] ppid=4152 vsize=14082736 memory=4122678002669794976 CPUtime=0 cores=1,3,5,7
/proc/4155/task/4159/stat : 4159 (java) S 4152 4155 875 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245843330 14420721664 8163 33554432000 4194304 4196468 140731054844736 140467659332496 140468064659157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29110272 140731054851157 140731054851337 140731054851337 140731054854095 0
[pid=4155/tid=4160] ppid=4152 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4155/task/4160/stat : 4160 (java) S 4152 4155 875 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245843330 14420721664 8163 33554432000 4194304 4196468 140731054844736 140467658279952 140468064659157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29110272 140731054851157 140731054851337 140731054851337 140731054854095 0
[pid=4155/tid=4161] ppid=4152 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4155/task/4161/stat : 4161 (java) S 4152 4155 875 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245843330 14420721664 8163 33554432000 4194304 4196468 140731054844736 140467657227408 140468064659157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29110272 140731054851157 140731054851337 140731054851337 140731054854095 0
[pid=4155/tid=4162] ppid=4152 vsize=14082736 memory=140289711748736 CPUtime=0 cores=1,3,5,7
/proc/4155/task/4162/stat : 4162 (java) S 4152 4155 875 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245843331 14420721664 8163 33554432000 4194304 4196468 140731054844736 140467539232752 140468064660098 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29110272 140731054851157 140731054851337 140731054851337 140731054854095 0
[pid=4155/tid=4163] ppid=4152 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4155/task/4163/stat : 4163 (java) S 4152 4155 875 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 245843332 14420721664 8163 33554432000 4194304 4196468 140731054844736 140467538178976 140468064659157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29110272 140731054851157 140731054851337 140731054851337 140731054854095 0
[pid=4155/tid=4164] ppid=4152 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4155/task/4164/stat : 4164 (java) S 4152 4155 875 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 245843332 14420721664 8163 33554432000 4194304 4196468 140731054844736 140467537126384 140468064659157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29110272 140731054851157 140731054851337 140731054851337 140731054854095 0
[pid=4155/tid=4165] ppid=4152 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4155/task/4165/stat : 4165 (java) S 4152 4155 875 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245843334 14420721664 8163 33554432000 4194304 4196468 140731054844736 140467536074960 140468064667547 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29110272 140731054851157 140731054851337 140731054851337 140731054854095 0
[pid=4155/tid=4166] ppid=4152 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4155/task/4166/stat : 4166 (java) S 4152 4155 875 0 -1 1077944384 296 0 0 0 0 0 0 0 20 0 15 0 245843334 14420721664 8163 33554432000 4194304 4196468 140731054844736 140467535022576 140468064660098 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29110272 140731054851157 140731054851337 140731054851337 140731054854095 0
[pid=4155/tid=4167] ppid=4152 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4155/task/4167/stat : 4167 (java) S 4152 4155 875 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245843334 14420721664 8163 33554432000 4194304 4196468 140731054844736 140467533970032 140468064660098 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29110272 140731054851157 140731054851337 140731054851337 140731054854095 0
[pid=4155/tid=4168] ppid=4152 vsize=14082736 memory=140289711748736 CPUtime=0.01 cores=1,3,5,7
/proc/4155/task/4168/stat : 4168 (java) R 4152 4155 875 0 -1 4202560 262 0 0 0 1 0 0 0 20 0 15 0 245843334 14420721664 8163 33554432000 4194304 4196468 140731054844736 140467532917488 140468048729438 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29110272 140731054851157 140731054851337 140731054851337 140731054854095 0
[pid=4155/tid=4169] ppid=4152 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4155/task/4169/stat : 4169 (java) S 4152 4155 875 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245843334 14420721664 8163 33554432000 4194304 4196468 140731054844736 140467531865184 140468064659157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29110272 140731054851157 140731054851337 140731054851337 140731054854095 0
[pid=4155/tid=4170] ppid=4152 vsize=14082736 memory=140289711748736 CPUtime=0 cores=1,3,5,7
/proc/4155/task/4170/stat : 4170 (java) S 4152 4155 875 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245843335 14420721664 8163 33554432000 4194304 4196468 140731054844736 140467530811696 140468064660098 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29110272 140731054851157 140731054851337 140731054851337 140731054854095 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 32652 KiB

[startup+0.216778 s]*
/proc/loadavg: 1.90 1.88 1.86 4/216 4170
/proc/meminfo: memFree=14125088/32770624 swapFree=67108504/67108860
[pid=4155] ppid=4152 vsize=14082736 memory=47056 CPUtime=0.33 cores=1,3,5,7
/proc/4155/stat : 4155 (java) S 4152 4155 875 0 -1 1077944320 10393 0 0 0 31 2 0 0 20 0 15 0 245843329 14420721664 11764 33554432000 4194304 4196468 140731054844736 140731054827280 140468064648951 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29110272 140731054851157 140731054851337 140731054851337 140731054854095 0
/proc/4155/statm: 3520684 11764 3379 1 0 3482761 0
[pid=4155/tid=4157] ppid=4152 vsize=14082736 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/4155/task/4157/stat : 4157 (java) R 4152 4155 875 0 -1 4202560 8097 0 0 0 19 1 0 0 20 0 15 0 245843329 14420721664 11764 33554432000 4194304 4196468 140731054844736 140468068878928 140468064670877 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29110272 140731054851157 140731054851337 140731054851337 140731054854095 0
[pid=4155/tid=4158] ppid=4152 vsize=14082736 memory=365 CPUtime=0 cores=1,3,5,7
/proc/4155/task/4158/stat : 4158 (java) S 4152 4155 875 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245843330 14420721664 11764 33554432000 4194304 4196468 140731054844736 140467660385040 140468064659157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29110272 140731054851157 140731054851337 140731054851337 140731054854095 0
[pid=4155/tid=4159] ppid=4152 vsize=14082736 memory=3905944461035910816 CPUtime=0 cores=1,3,5,7
/proc/4155/task/4159/stat : 4159 (java) S 4152 4155 875 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245843330 14420721664 11764 33554432000 4194304 4196468 140731054844736 140467659332496 140468064659157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29110272 140731054851157 140731054851337 140731054851337 140731054854095 0
[pid=4155/tid=4160] ppid=4152 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4155/task/4160/stat : 4160 (java) S 4152 4155 875 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245843330 14420721664 11764 33554432000 4194304 4196468 140731054844736 140467658279952 140468064659157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29110272 140731054851157 140731054851337 140731054851337 140731054854095 0
[pid=4155/tid=4161] ppid=4152 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4155/task/4161/stat : 4161 (java) S 4152 4155 875 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245843330 14420721664 11764 33554432000 4194304 4196468 140731054844736 140467657227408 140468064659157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29110272 140731054851157 140731054851337 140731054851337 140731054854095 0
[pid=4155/tid=4162] ppid=4152 vsize=14082736 memory=140289711748736 CPUtime=0 cores=1,3,5,7
/proc/4155/task/4162/stat : 4162 (java) S 4152 4155 875 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 245843331 14420721664 11764 33554432000 4194304 4196468 140731054844736 140467539232752 140468064660098 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29110272 140731054851157 140731054851337 140731054851337 140731054854095 0
[pid=4155/tid=4163] ppid=4152 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4155/task/4163/stat : 4163 (java) S 4152 4155 875 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 245843332 14420721664 11764 33554432000 4194304 4196468 140731054844736 140467538178976 140468064659157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29110272 140731054851157 140731054851337 140731054851337 140731054854095 0
[pid=4155/tid=4164] ppid=4152 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4155/task/4164/stat : 4164 (java) S 4152 4155 875 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 245843332 14420721664 11764 33554432000 4194304 4196468 140731054844736 140467537126384 140468064659157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29110272 140731054851157 140731054851337 140731054851337 140731054854095 0
[pid=4155/tid=4165] ppid=4152 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4155/task/4165/stat : 4165 (java) S 4152 4155 875 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245843334 14420721664 11764 33554432000 4194304 4196468 140731054844736 140467536074960 140468064667547 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29110272 140731054851157 140731054851337 140731054851337 140731054854095 0
[pid=4155/tid=4166] ppid=4152 vsize=14082736 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/4155/task/4166/stat : 4166 (java) S 4152 4155 875 0 -1 1077944384 490 0 0 0 2 0 0 0 20 0 15 0 245843334 14420721664 11764 33554432000 4194304 4196468 140731054844736 140467535022576 140468064660098 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29110272 140731054851157 140731054851337 140731054851337 140731054854095 0
[pid=4155/tid=4167] ppid=4152 vsize=14082736 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/4155/task/4167/stat : 4167 (java) S 4152 4155 875 0 -1 1077944384 116 0 0 0 2 0 0 0 20 0 15 0 245843334 14420721664 11764 33554432000 4194304 4196468 140731054844736 140467533970032 140468064660098 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29110272 140731054851157 140731054851337 140731054851337 140731054854095 0
[pid=4155/tid=4168] ppid=4152 vsize=14082736 memory=140289711748736 CPUtime=0.07 cores=1,3,5,7
/proc/4155/task/4168/stat : 4168 (java) S 4152 4155 875 0 -1 1077944384 327 0 0 0 7 0 0 0 20 0 15 0 245843334 14420721664 11764 33554432000 4194304 4196468 140731054844736 140467532917488 140468064660098 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29110272 140731054851157 140731054851337 140731054851337 140731054854095 0
[pid=4155/tid=4169] ppid=4152 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4155/task/4169/stat : 4169 (java) S 4152 4155 875 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245843334 14420721664 11764 33554432000 4194304 4196468 140731054844736 140467531865184 140468064659157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29110272 140731054851157 140731054851337 140731054851337 140731054854095 0
[pid=4155/tid=4170] ppid=4152 vsize=14082736 memory=140289711748736 CPUtime=0 cores=1,3,5,7
/proc/4155/task/4170/stat : 4170 (java) S 4152 4155 875 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245843335 14420721664 11764 33554432000 4194304 4196468 140731054844736 140467530811696 140468064660098 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29110272 140731054851157 140731054851337 140731054851337 140731054854095 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 47056 KiB

[startup+0.310453 s]*
/proc/loadavg: 1.90 1.88 1.86 3/216 4170
/proc/meminfo: memFree=14129444/32770624 swapFree=67108504/67108860
[pid=4155] ppid=4152 vsize=14082736 memory=50504 CPUtime=0.44 cores=1,3,5,7
/proc/4155/stat : 4155 (java) S 4152 4155 875 0 -1 1077944320 10722 0 0 0 42 2 0 0 20 0 15 0 245843329 14420721664 12626 33554432000 4194304 4196468 140731054844736 140731054827280 140468064648951 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29110272 140731054851157 140731054851337 140731054851337 140731054854095 0
/proc/4155/statm: 3520684 12626 3384 1 0 3482761 0
[pid=4155/tid=4157] ppid=4152 vsize=14082736 memory=7022364594140610616 CPUtime=0.3 cores=1,3,5,7
/proc/4155/task/4157/stat : 4157 (java) R 4152 4155 875 0 -1 4202560 8402 0 0 0 29 1 0 0 20 0 15 0 245843329 14420721664 12626 33554432000 4194304 4196468 140731054844736 140468068868184 140468064660886 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29110272 140731054851157 140731054851337 140731054851337 140731054854095 0
[pid=4155/tid=4158] ppid=4152 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4155/task/4158/stat : 4158 (java) S 4152 4155 875 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245843330 14420721664 12626 33554432000 4194304 4196468 140731054844736 140467660385040 140468064659157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29110272 140731054851157 140731054851337 140731054851337 140731054854095 0
[pid=4155/tid=4159] ppid=4152 vsize=14082736 memory=3546777996984792736 CPUtime=0 cores=1,3,5,7
/proc/4155/task/4159/stat : 4159 (java) S 4152 4155 875 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245843330 14420721664 12626 33554432000 4194304 4196468 140731054844736 140467659332496 140468064659157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29110272 140731054851157 140731054851337 140731054851337 140731054854095 0
[pid=4155/tid=4160] ppid=4152 vsize=14082736 memory=9796 CPUtime=0 cores=1,3,5,7
/proc/4155/task/4160/stat : 4160 (java) S 4152 4155 875 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245843330 14420721664 12626 33554432000 4194304 4196468 140731054844736 140467658279952 140468064659157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29110272 140731054851157 140731054851337 140731054851337 140731054854095 0
[pid=4155/tid=4161] ppid=4152 vsize=14082736 memory=35 CPUtime=0 cores=1,3,5,7
/proc/4155/task/4161/stat : 4161 (java) S 4152 4155 875 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245843330 14420721664 12626 33554432000 4194304 4196468 140731054844736 140467657227408 140468064659157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29110272 140731054851157 140731054851337 140731054851337 140731054854095 0
[pid=4155/tid=4162] ppid=4152 vsize=14082736 memory=140289711763072 CPUtime=0 cores=1,3,5,7
/proc/4155/task/4162/stat : 4162 (java) S 4152 4155 875 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 245843331 14420721664 12626 33554432000 4194304 4196468 140731054844736 140467539232752 140468064660098 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29110272 140731054851157 140731054851337 140731054851337 140731054854095 0
[pid=4155/tid=4163] ppid=4152 vsize=14082736 memory=35 CPUtime=0 cores=1,3,5,7
/proc/4155/task/4163/stat : 4163 (java) S 4152 4155 875 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 245843332 14420721664 12626 33554432000 4194304 4196468 140731054844736 140467538178976 140468064659157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29110272 140731054851157 140731054851337 140731054851337 140731054854095 0
[pid=4155/tid=4164] ppid=4152 vsize=14082736 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/4155/task/4164/stat : 4164 (java) S 4152 4155 875 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 245843332 14420721664 12626 33554432000 4194304 4196468 140731054844736 140467537126384 140468064659157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29110272 140731054851157 140731054851337 140731054851337 140731054854095 0
[pid=4155/tid=4165] ppid=4152 vsize=14082736 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/4155/task/4165/stat : 4165 (java) S 4152 4155 875 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245843334 14420721664 12626 33554432000 4194304 4196468 140731054844736 140467536074960 140468064667547 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29110272 140731054851157 140731054851337 140731054851337 140731054854095 0
[pid=4155/tid=4166] ppid=4152 vsize=14082736 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/4155/task/4166/stat : 4166 (java) S 4152 4155 875 0 -1 1077944384 490 0 0 0 2 0 0 0 20 0 15 0 245843334 14420721664 12626 33554432000 4194304 4196468 140731054844736 140467535022576 140468064660098 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29110272 140731054851157 140731054851337 140731054851337 140731054854095 0
[pid=4155/tid=4167] ppid=4152 vsize=14082736 memory=35 CPUtime=0.02 cores=1,3,5,7
/proc/4155/task/4167/stat : 4167 (java) S 4152 4155 875 0 -1 1077944384 116 0 0 0 2 0 0 0 20 0 15 0 245843334 14420721664 12626 33554432000 4194304 4196468 140731054844736 140467533970032 140468064660098 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29110272 140731054851157 140731054851337 140731054851337 140731054854095 0
[pid=4155/tid=4168] ppid=4152 vsize=14082736 memory=140289711755552 CPUtime=0.08 cores=1,3,5,7
/proc/4155/task/4168/stat : 4168 (java) R 4152 4155 875 0 -1 4202560 335 0 0 0 8 0 0 0 20 0 15 0 245843334 14420721664 12626 33554432000 4194304 4196468 140731054844736 140467532917488 140468048729438 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29110272 140731054851157 140731054851337 140731054851337 140731054854095 0
[pid=4155/tid=4169] ppid=4152 vsize=14082736 memory=35 CPUtime=0 cores=1,3,5,7
/proc/4155/task/4169/stat : 4169 (java) S 4152 4155 875 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245843334 14420721664 12626 33554432000 4194304 4196468 140731054844736 140467531865184 140468064659157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29110272 140731054851157 140731054851337 140731054851337 140731054854095 0
[pid=4155/tid=4170] ppid=4152 vsize=14082736 memory=140289711748736 CPUtime=0 cores=1,3,5,7
/proc/4155/task/4170/stat : 4170 (java) S 4152 4155 875 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245843335 14420721664 12626 33554432000 4194304 4196468 140731054844736 140467530811696 140468064660098 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29110272 140731054851157 140731054851337 140731054851337 140731054854095 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 50504 KiB

[startup+0.700676 s]
/proc/loadavg: 1.90 1.88 1.86 4/216 4170
/proc/meminfo: memFree=14105256/32770624 swapFree=67108504/67108860
[pid=4155] ppid=4152 vsize=14084804 memory=89076 CPUtime=1.01 cores=1,3,5,7
/proc/4155/stat : 4155 (java) S 4152 4155 875 0 -1 1077944320 17635 0 0 0 96 5 0 0 20 0 15 0 245843329 14422839296 22269 33554432000 4194304 4196468 140731054844736 140731054827280 140468064648951 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29110272 140731054851157 140731054851337 140731054851337 140731054854095 0
/proc/4155/statm: 3521201 22269 3505 1 0 3483273 0
[pid=4155/tid=4157] ppid=4152 vsize=14084804 memory=0 CPUtime=0.68 cores=1,3,5,7
/proc/4155/task/4157/stat : 4157 (java) R 4152 4155 875 0 -1 4202560 14864 0 0 0 64 4 0 0 20 0 15 0 245843329 14422839296 22269 33554432000 4194304 4196468 140731054844736 140468068872944 140467660527780 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29110272 140731054851157 140731054851337 140731054851337 140731054854095 0
[pid=4155/tid=4158] ppid=4152 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4155/task/4158/stat : 4158 (java) S 4152 4155 875 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245843330 14422839296 22269 33554432000 4194304 4196468 140731054844736 140467660385040 140468064659157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29110272 140731054851157 140731054851337 140731054851337 140731054854095 0
[pid=4155/tid=4159] ppid=4152 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4155/task/4159/stat : 4159 (java) S 4152 4155 875 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245843330 14422839296 22269 33554432000 4194304 4196468 140731054844736 140467659332496 140468064659157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29110272 140731054851157 140731054851337 140731054851337 140731054854095 0
[pid=4155/tid=4160] ppid=4152 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4155/task/4160/stat : 4160 (java) S 4152 4155 875 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245843330 14422839296 22269 33554432000 4194304 4196468 140731054844736 140467658279952 140468064659157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29110272 140731054851157 140731054851337 140731054851337 140731054854095 0
[pid=4155/tid=4161] ppid=4152 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4155/task/4161/stat : 4161 (java) S 4152 4155 875 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245843330 14422839296 22269 33554432000 4194304 4196468 140731054844736 140467657227408 140468064659157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29110272 140731054851157 140731054851337 140731054851337 140731054854095 0
[pid=4155/tid=4162] ppid=4152 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4155/task/4162/stat : 4162 (java) S 4152 4155 875 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 245843331 14422839296 22269 33554432000 4194304 4196468 140731054844736 140467539232752 140468064660098 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29110272 140731054851157 140731054851337 140731054851337 140731054854095 0
[pid=4155/tid=4163] ppid=4152 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4155/task/4163/stat : 4163 (java) S 4152 4155 875 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 245843332 14422839296 22269 33554432000 4194304 4196468 140731054844736 140467538178976 140468064659157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29110272 140731054851157 140731054851337 140731054851337 140731054854095 0
[pid=4155/tid=4164] ppid=4152 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4155/task/4164/stat : 4164 (java) S 4152 4155 875 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 245843332 14422839296 22269 33554432000 4194304 4196468 140731054844736 140467537126384 140468064659157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29110272 140731054851157 140731054851337 140731054851337 140731054854095 0
[pid=4155/tid=4165] ppid=4152 vsize=14084804 memory=280579208471152 CPUtime=0 cores=1,3,5,7
/proc/4155/task/4165/stat : 4165 (java) S 4152 4155 875 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245843334 14422839296 22269 33554432000 4194304 4196468 140731054844736 140467536074960 140468064667547 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29110272 140731054851157 140731054851337 140731054851337 140731054854095 0
[pid=4155/tid=4166] ppid=4152 vsize=14084804 memory=280579208471216 CPUtime=0.07 cores=1,3,5,7
/proc/4155/task/4166/stat : 4166 (java) S 4152 4155 875 0 -1 1077944384 664 0 0 0 7 0 0 0 20 0 15 0 245843334 14422839296 22269 33554432000 4194304 4196468 140731054844736 140467535022576 140468064660098 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29110272 140731054851157 140731054851337 140731054851337 140731054854095 0
[pid=4155/tid=4167] ppid=4152 vsize=14084804 memory=280579208471268 CPUtime=0.08 cores=1,3,5,7
/proc/4155/task/4167/stat : 4167 (java) R 4152 4155 875 0 -1 4202560 269 0 0 0 8 0 0 0 20 0 15 0 245843334 14422839296 22269 33554432000 4194304 4196468 140731054844736 140467533970032 140468064660886 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29110272 140731054851157 140731054851337 140731054851337 140731054854095 0
[pid=4155/tid=4168] ppid=4152 vsize=14084804 memory=0 CPUtime=0.15 cores=1,3,5,7
/proc/4155/task/4168/stat : 4168 (java) R 4152 4155 875 0 -1 1077944384 456 0 0 0 15 0 0 0 20 0 15 0 245843334 14422839296 22269 33554432000 4194304 4196468 140731054844736 140467532917488 140468064660098 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 29110272 140731054851157 140731054851337 140731054851337 140731054854095 0
[pid=4155/tid=4169] ppid=4152 vsize=14084804 memory=158165257826401 CPUtime=0 cores=1,3,5,7
/proc/4155/task/4169/stat : 4169 (java) S 4152 4155 875 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245843334 14422839296 22269 33554432000 4194304 4196468 140731054844736 140467531865184 140468064659157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29110272 140731054851157 140731054851337 140731054851337 140731054854095 0
[pid=4155/tid=4170] ppid=4152 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4155/task/4170/stat : 4170 (java) S 4152 4155 875 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245843335 14422839296 22269 33554432000 4194304 4196468 140731054844736 140467530811696 140468064660098 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29110272 140731054851157 140731054851337 140731054851337 140731054854095 0
Current children cumulated CPU time: 1.01 s
Current children cumulated vsize: 14084804 KiB
Current children cumulated memory: 89076 KiB

[startup+1.50078 s]
/proc/loadavg: 1.90 1.88 1.86 4/216 4170
/proc/meminfo: memFree=14064308/32770624 swapFree=67108504/67108860
[pid=4155] ppid=4152 vsize=14086852 memory=189816 CPUtime=2.89 cores=1,3,5,7
/proc/4155/stat : 4155 (java) S 4152 4155 875 0 -1 1077944320 22980 0 0 0 282 7 0 0 20 0 15 0 245843329 14424936448 47454 33554432000 4194304 4196468 140731054844736 140731054827280 140468064648951 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29110272 140731054851157 140731054851337 140731054851337 140731054854095 0
/proc/4155/statm: 3521713 47454 3553 1 0 3483785 0
[pid=4155/tid=4157] ppid=4152 vsize=14086852 memory=0 CPUtime=1.47 cores=1,3,5,7
/proc/4155/task/4157/stat : 4157 (java) R 4152 4155 875 0 -1 4202560 17169 0 0 0 142 5 0 0 20 0 15 0 245843329 14424936448 47454 33554432000 4194304 4196468 140731054844736 140468068883544 140467665475180 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29110272 140731054851157 140731054851337 140731054851337 140731054854095 0
[pid=4155/tid=4158] ppid=4152 vsize=14086852 memory=170926128 CPUtime=0 cores=1,3,5,7
/proc/4155/task/4158/stat : 4158 (java) S 4152 4155 875 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245843330 14424936448 47454 33554432000 4194304 4196468 140731054844736 140467660385040 140468064659157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29110272 140731054851157 140731054851337 140731054851337 140731054854095 0
[pid=4155/tid=4159] ppid=4152 vsize=14086852 memory=6011581402601046114 CPUtime=0 cores=1,3,5,7
/proc/4155/task/4159/stat : 4159 (java) S 4152 4155 875 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245843330 14424936448 47454 33554432000 4194304 4196468 140731054844736 140467659332496 140468064659157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29110272 140731054851157 140731054851337 140731054851337 140731054854095 0
[pid=4155/tid=4160] ppid=4152 vsize=14086852 memory=7014751519734585681 CPUtime=0 cores=1,3,5,7
/proc/4155/task/4160/stat : 4160 (java) S 4152 4155 875 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245843330 14424936448 47454 33554432000 4194304 4196468 140731054844736 140467658279952 140468064659157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29110272 140731054851157 140731054851337 140731054851337 140731054854095 0
[pid=4155/tid=4161] ppid=4152 vsize=14086852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4155/task/4161/stat : 4161 (java) S 4152 4155 875 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245843330 14424936448 47454 33554432000 4194304 4196468 140731054844736 140467657227408 140468064659157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29110272 140731054851157 140731054851337 140731054851337 140731054854095 0
[pid=4155/tid=4162] ppid=4152 vsize=14086852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4155/task/4162/stat : 4162 (java) S 4152 4155 875 0 -1 1077944384 231 0 0 0 0 0 0 0 20 0 15 0 245843331 14424936448 47454 33554432000 4194304 4196468 140731054844736 140467539232752 140468064660098 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29110272 140731054851157 140731054851337 140731054851337 140731054854095 0

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

/proc/4155/task/4157/stat : 4157 (java) R 4152 4155 875 0 -1 4202560 168895 0 0 0 235913 73 0 0 20 0 15 0 245843329 14431227904 394966 33554432000 4194304 4196468 140731054844736 140468068886016 140467668801671 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29110272 140731054851157 140731054851337 140731054851337 140731054854095 0
[pid=4155/tid=4158] ppid=4152 vsize=14092996 memory=1576016 CPUtime=20.08 cores=1,3,5,7
/proc/4155/task/4158/stat : 4158 (java) S 4152 4155 875 0 -1 1077944384 18927 0 0 0 1943 65 0 0 20 0 15 0 245843330 14431227904 394966 33554432000 4194304 4196468 140731054844736 140467660385040 140468064659157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29110272 140731054851157 140731054851337 140731054851337 140731054854095 0
[pid=4155/tid=4159] ppid=4152 vsize=14092996 memory=1588672 CPUtime=20.07 cores=1,3,5,7
/proc/4155/task/4159/stat : 4159 (java) S 4152 4155 875 0 -1 1077944384 17071 0 0 0 1944 63 0 0 20 0 15 0 245843330 14431227904 394966 33554432000 4194304 4196468 140731054844736 140467659332496 140468064659157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29110272 140731054851157 140731054851337 140731054851337 140731054854095 0
[pid=4155/tid=4160] ppid=4152 vsize=14092996 memory=1580940 CPUtime=20.09 cores=1,3,5,7
/proc/4155/task/4160/stat : 4160 (java) S 4152 4155 875 0 -1 1077944384 17481 0 0 0 1944 65 0 0 20 0 15 0 245843330 14431227904 394966 33554432000 4194304 4196468 140731054844736 140467658279952 140468064659157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29110272 140731054851157 140731054851337 140731054851337 140731054854095 0
[pid=4155/tid=4161] ppid=4152 vsize=14092996 memory=1589616 CPUtime=20.05 cores=1,3,5,7
/proc/4155/task/4161/stat : 4161 (java) S 4152 4155 875 0 -1 1077944384 19598 0 0 0 1940 65 0 0 20 0 15 0 245843330 14431227904 394966 33554432000 4194304 4196468 140731054844736 140467657227408 140468064659157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29110272 140731054851157 140731054851337 140731054851337 140731054854095 0
[pid=4155/tid=4162] ppid=4152 vsize=14092996 memory=1580020 CPUtime=1.78 cores=1,3,5,7
/proc/4155/task/4162/stat : 4162 (java) S 4152 4155 875 0 -1 1077944384 62823 0 0 0 150 28 0 0 20 0 15 0 245843331 14431227904 394966 33554432000 4194304 4196468 140731054844736 140467539232752 140468064660098 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29110272 140731054851157 140731054851337 140731054851337 140731054854095 0
[pid=4155/tid=4163] ppid=4152 vsize=14092996 memory=1579864 CPUtime=0 cores=1,3,5,7
/proc/4155/task/4163/stat : 4163 (java) S 4152 4155 875 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 245843332 14431227904 394966 33554432000 4194304 4196468 140731054844736 140467538179040 140468064659157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29110272 140731054851157 140731054851337 140731054851337 140731054854095 0
[pid=4155/tid=4164] ppid=4152 vsize=14092996 memory=1579864 CPUtime=0 cores=1,3,5,7
/proc/4155/task/4164/stat : 4164 (java) S 4152 4155 875 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 245843332 14431227904 394966 33554432000 4194304 4196468 140731054844736 140467537126400 140468064659157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29110272 140731054851157 140731054851337 140731054851337 140731054854095 0
[pid=4155/tid=4165] ppid=4152 vsize=14092996 memory=1589616 CPUtime=0 cores=1,3,5,7
/proc/4155/task/4165/stat : 4165 (java) S 4152 4155 875 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245843334 14431227904 394966 33554432000 4194304 4196468 140731054844736 140467536074960 140468064667547 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29110272 140731054851157 140731054851337 140731054851337 140731054854095 0
[pid=4155/tid=4166] ppid=4152 vsize=14092996 memory=1579864 CPUtime=3.05 cores=1,3,5,7
/proc/4155/task/4166/stat : 4166 (java) S 4152 4155 875 0 -1 1077944384 22107 0 0 0 302 3 0 0 20 0 15 0 245843334 14431227904 394966 33554432000 4194304 4196468 140731054844736 140467535022576 140468064660098 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29110272 140731054851157 140731054851337 140731054851337 140731054854095 0
[pid=4155/tid=4167] ppid=4152 vsize=14092996 memory=280579208332160 CPUtime=3.02 cores=1,3,5,7
/proc/4155/task/4167/stat : 4167 (java) S 4152 4155 875 0 -1 1077944384 19882 0 0 0 299 3 0 0 20 0 15 0 245843334 14431227904 394966 33554432000 4194304 4196468 140731054844736 140467533970032 140468064660098 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29110272 140731054851157 140731054851337 140731054851337 140731054854095 0
[pid=4155/tid=4168] ppid=4152 vsize=14092996 memory=8112282956445269571 CPUtime=1.23 cores=1,3,5,7
/proc/4155/task/4168/stat : 4168 (java) S 4152 4155 875 0 -1 1077944384 22405 0 0 0 120 3 0 0 20 0 15 0 245843334 14431227904 394966 33554432000 4194304 4196468 140731054844736 140467532917488 140468064660098 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29110272 140731054851157 140731054851337 140731054851337 140731054854095 0
[pid=4155/tid=4169] ppid=4152 vsize=14092996 memory=924 CPUtime=0 cores=1,3,5,7
/proc/4155/task/4169/stat : 4169 (java) S 4152 4155 875 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245843334 14431227904 394966 33554432000 4194304 4196468 140731054844736 140467531865184 140468064659157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29110272 140731054851157 140731054851337 140731054851337 140731054854095 0
[pid=4155/tid=4170] ppid=4152 vsize=14092996 memory=1579864 CPUtime=1.29 cores=1,3,5,7
/proc/4155/task/4170/stat : 4170 (java) S 4152 4155 875 0 -1 1077944384 1737 0 0 0 57 72 0 0 20 0 15 0 245843335 14431227904 394966 33554432000 4194304 4196468 140731054844736 140467530811696 140468064660098 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29110272 140731054851157 140731054851337 140731054851337 140731054854095 0
Current children cumulated CPU time: 2450.61 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 1579864 KiB

[startup+2442.3 s]
/proc/loadavg: 1.55 1.55 1.58 3/215 4359
/proc/meminfo: memFree=12939196/32770624 swapFree=67108504/67108860
[pid=4155] ppid=4152 vsize=14092996 memory=1567996 CPUtime=2512 cores=1,3,5,7
/proc/4155/stat : 4155 (java) S 4152 4155 875 0 -1 1077944320 375779 0 0 0 250773 427 0 0 20 0 15 0 245843329 14431227904 391999 33554432000 4194304 4196468 140731054844736 140731054827280 140468064648951 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29110272 140731054851157 140731054851337 140731054851337 140731054854095 0
/proc/4155/statm: 3523249 391999 3617 1 0 3485321 0
[pid=4155/tid=4157] ppid=4152 vsize=14092996 memory=1553660 CPUtime=2419.37 cores=1,3,5,7
/proc/4155/task/4157/stat : 4157 (java) R 4152 4155 875 0 -1 4202560 170664 0 0 0 241863 74 0 0 20 0 15 0 245843329 14431227904 391999 33554432000 4194304 4196468 140731054844736 140468068885904 140467664697031 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29110272 140731054851157 140731054851337 140731054851337 140731054854095 0
[pid=4155/tid=4158] ppid=4152 vsize=14092996 memory=1576016 CPUtime=20.54 cores=1,3,5,7
/proc/4155/task/4158/stat : 4158 (java) S 4152 4155 875 0 -1 1077944384 19418 0 0 0 1987 67 0 0 20 0 15 0 245843330 14431227904 391999 33554432000 4194304 4196468 140731054844736 140467660385040 140468064659157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29110272 140731054851157 140731054851337 140731054851337 140731054854095 0
[pid=4155/tid=4159] ppid=4152 vsize=14092996 memory=1588672 CPUtime=20.52 cores=1,3,5,7
/proc/4155/task/4159/stat : 4159 (java) S 4152 4155 875 0 -1 1077944384 17348 0 0 0 1987 65 0 0 20 0 15 0 245843330 14431227904 391999 33554432000 4194304 4196468 140731054844736 140467659332496 140468064659157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29110272 140731054851157 140731054851337 140731054851337 140731054854095 0
[pid=4155/tid=4160] ppid=4152 vsize=14092996 memory=1580020 CPUtime=20.55 cores=1,3,5,7
/proc/4155/task/4160/stat : 4160 (java) S 4152 4155 875 0 -1 1077944384 17747 0 0 0 1988 67 0 0 20 0 15 0 245843330 14431227904 391999 33554432000 4194304 4196468 140731054844736 140467658279952 140468064659157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29110272 140731054851157 140731054851337 140731054851337 140731054854095 0
[pid=4155/tid=4161] ppid=4152 vsize=14092996 memory=1579864 CPUtime=20.5 cores=1,3,5,7
/proc/4155/task/4161/stat : 4161 (java) S 4152 4155 875 0 -1 1077944384 19890 0 0 0 1984 66 0 0 20 0 15 0 245843330 14431227904 391999 33554432000 4194304 4196468 140731054844736 140467657227408 140468064659157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29110272 140731054851157 140731054851337 140731054851337 140731054854095 0
[pid=4155/tid=4162] ppid=4152 vsize=14092996 memory=1593500 CPUtime=1.79 cores=1,3,5,7
/proc/4155/task/4162/stat : 4162 (java) S 4152 4155 875 0 -1 1077944384 63099 0 0 0 151 28 0 0 20 0 15 0 245843331 14431227904 391999 33554432000 4194304 4196468 140731054844736 140467539232752 140468064660098 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29110272 140731054851157 140731054851337 140731054851337 140731054854095 0
[pid=4155/tid=4163] ppid=4152 vsize=14092996 memory=1593500 CPUtime=0 cores=1,3,5,7
/proc/4155/task/4163/stat : 4163 (java) S 4152 4155 875 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 245843332 14431227904 391999 33554432000 4194304 4196468 140731054844736 140467538179040 140468064659157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29110272 140731054851157 140731054851337 140731054851337 140731054854095 0
[pid=4155/tid=4164] ppid=4152 vsize=14092996 memory=1566960 CPUtime=0 cores=1,3,5,7
/proc/4155/task/4164/stat : 4164 (java) S 4152 4155 875 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 245843332 14431227904 391999 33554432000 4194304 4196468 140731054844736 140467537126400 140468064659157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29110272 140731054851157 140731054851337 140731054851337 140731054854095 0
[pid=4155/tid=4165] ppid=4152 vsize=14092996 memory=1553660 CPUtime=0 cores=1,3,5,7
/proc/4155/task/4165/stat : 4165 (java) S 4152 4155 875 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245843334 14431227904 391999 33554432000 4194304 4196468 140731054844736 140467536074960 140468064667547 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29110272 140731054851157 140731054851337 140731054851337 140731054854095 0
[pid=4155/tid=4166] ppid=4152 vsize=14092996 memory=1553660 CPUtime=3.05 cores=1,3,5,7
/proc/4155/task/4166/stat : 4166 (java) S 4152 4155 875 0 -1 1077944384 22109 0 0 0 302 3 0 0 20 0 15 0 245843334 14431227904 391999 33554432000 4194304 4196468 140731054844736 140467535022576 140468064660098 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29110272 140731054851157 140731054851337 140731054851337 140731054854095 0
[pid=4155/tid=4167] ppid=4152 vsize=14092996 memory=1553660 CPUtime=3.02 cores=1,3,5,7
/proc/4155/task/4167/stat : 4167 (java) S 4152 4155 875 0 -1 1077944384 19884 0 0 0 299 3 0 0 20 0 15 0 245843334 14431227904 391999 33554432000 4194304 4196468 140731054844736 140467533970032 140468064660098 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29110272 140731054851157 140731054851337 140731054851337 140731054854095 0
[pid=4155/tid=4168] ppid=4152 vsize=14092996 memory=1567996 CPUtime=1.23 cores=1,3,5,7
/proc/4155/task/4168/stat : 4168 (java) S 4152 4155 875 0 -1 1077944384 22407 0 0 0 120 3 0 0 20 0 15 0 245843334 14431227904 391999 33554432000 4194304 4196468 140731054844736 140467532917488 140468064660098 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29110272 140731054851157 140731054851337 140731054851337 140731054854095 0
[pid=4155/tid=4169] ppid=4152 vsize=14092996 memory=302 CPUtime=0 cores=1,3,5,7
/proc/4155/task/4169/stat : 4169 (java) S 4152 4155 875 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245843334 14431227904 391999 33554432000 4194304 4196468 140731054844736 140467531865184 140468064659157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29110272 140731054851157 140731054851337 140731054851337 140731054854095 0
[pid=4155/tid=4170] ppid=4152 vsize=14092996 memory=3816 CPUtime=1.33 cores=1,3,5,7
/proc/4155/task/4170/stat : 4170 (java) S 4152 4155 875 0 -1 1077944384 1764 0 0 0 59 74 0 0 20 0 15 0 245843335 14431227904 391999 33554432000 4194304 4196468 140731054844736 140467530811696 140468064660098 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29110272 140731054851157 140731054851337 140731054851337 140731054854095 0
Current children cumulated CPU time: 2512 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 1567996 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2450.11 s]
/proc/loadavg: 1.47 1.54 1.58 3/215 4359
/proc/meminfo: memFree=12904976/32770624 swapFree=67108504/67108860
[pid=4155] ppid=4152 vsize=14092996 memory=1604632 CPUtime=2520 cores=1,3,5,7
/proc/4155/stat : 4155 (java) S 4152 4155 875 0 -1 1077944320 376453 0 0 0 251567 433 0 0 20 0 15 0 245843329 14431227904 401158 33554432000 4194304 4196468 140731054844736 140731054827280 140468064648951 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29110272 140731054851157 140731054851337 140731054851337 140731054854095 0
/proc/4155/statm: 3523249 401158 3617 1 0 3485321 0
[pid=4155/tid=4157] ppid=4152 vsize=14092996 memory=1604632 CPUtime=2427.12 cores=1,3,5,7
/proc/4155/task/4157/stat : 4157 (java) R 4152 4155 875 0 -1 4202560 171018 0 0 0 242638 74 0 0 20 0 15 0 245843329 14431227904 401158 33554432000 4194304 4196468 140731054844736 140468068883040 140467661524072 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29110272 140731054851157 140731054851337 140731054851337 140731054854095 0
[pid=4155/tid=4158] ppid=4152 vsize=14092996 memory=1603492 CPUtime=20.6 cores=1,3,5,7
/proc/4155/task/4158/stat : 4158 (java) S 4152 4155 875 0 -1 1077944384 19439 0 0 0 1992 68 0 0 20 0 15 0 245843330 14431227904 401158 33554432000 4194304 4196468 140731054844736 140467660385040 140468064659157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29110272 140731054851157 140731054851337 140731054851337 140731054854095 0
[pid=4155/tid=4159] ppid=4152 vsize=14092996 memory=1553660 CPUtime=20.58 cores=1,3,5,7
/proc/4155/task/4159/stat : 4159 (java) S 4152 4155 875 0 -1 1077944384 17369 0 0 0 1992 66 0 0 20 0 15 0 245843330 14431227904 401158 33554432000 4194304 4196468 140731054844736 140467659332496 140468064659157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29110272 140731054851157 140731054851337 140731054851337 140731054854095 0
[pid=4155/tid=4160] ppid=4152 vsize=14092996 memory=1593500 CPUtime=20.6 cores=1,3,5,7
/proc/4155/task/4160/stat : 4160 (java) S 4152 4155 875 0 -1 1077944384 17768 0 0 0 1992 68 0 0 20 0 15 0 245843330 14431227904 401158 33554432000 4194304 4196468 140731054844736 140467658279952 140468064659157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29110272 140731054851157 140731054851337 140731054851337 140731054854095 0
[pid=4155/tid=4161] ppid=4152 vsize=14092996 memory=1593500 CPUtime=20.57 cores=1,3,5,7
/proc/4155/task/4161/stat : 4161 (java) S 4152 4155 875 0 -1 1077944384 19911 0 0 0 1989 68 0 0 20 0 15 0 245843330 14431227904 401158 33554432000 4194304 4196468 140731054844736 140467657227408 140468064659157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29110272 140731054851157 140731054851337 140731054851337 140731054854095 0
[pid=4155/tid=4162] ppid=4152 vsize=14092996 memory=1579864 CPUtime=1.8 cores=1,3,5,7
/proc/4155/task/4162/stat : 4162 (java) S 4152 4155 875 0 -1 1077944384 63134 0 0 0 152 28 0 0 20 0 15 0 245843331 14431227904 401158 33554432000 4194304 4196468 140731054844736 140467539232752 140468064660098 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29110272 140731054851157 140731054851337 140731054851337 140731054854095 0
[pid=4155/tid=4163] ppid=4152 vsize=14092996 memory=1580020 CPUtime=0 cores=1,3,5,7
/proc/4155/task/4163/stat : 4163 (java) S 4152 4155 875 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 245843332 14431227904 401158 33554432000 4194304 4196468 140731054844736 140467538179040 140468064659157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29110272 140731054851157 140731054851337 140731054851337 140731054854095 0
[pid=4155/tid=4164] ppid=4152 vsize=14092996 memory=1588672 CPUtime=0 cores=1,3,5,7
/proc/4155/task/4164/stat : 4164 (java) S 4152 4155 875 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 245843332 14431227904 401158 33554432000 4194304 4196468 140731054844736 140467537126400 140468064659157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29110272 140731054851157 140731054851337 140731054851337 140731054854095 0
[pid=4155/tid=4165] ppid=4152 vsize=14092996 memory=1576016 CPUtime=0 cores=1,3,5,7
/proc/4155/task/4165/stat : 4165 (java) S 4152 4155 875 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245843334 14431227904 401158 33554432000 4194304 4196468 140731054844736 140467536074960 140468064667547 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29110272 140731054851157 140731054851337 140731054851337 140731054854095 0
[pid=4155/tid=4166] ppid=4152 vsize=14092996 memory=1553660 CPUtime=3.05 cores=1,3,5,7
/proc/4155/task/4166/stat : 4166 (java) S 4152 4155 875 0 -1 1077944384 22109 0 0 0 302 3 0 0 20 0 15 0 245843334 14431227904 401158 33554432000 4194304 4196468 140731054844736 140467535022576 140468064660098 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29110272 140731054851157 140731054851337 140731054851337 140731054854095 0
[pid=4155/tid=4167] ppid=4152 vsize=14092996 memory=1582452 CPUtime=3.02 cores=1,3,5,7
/proc/4155/task/4167/stat : 4167 (java) S 4152 4155 875 0 -1 1077944384 20085 0 0 0 299 3 0 0 20 0 15 0 245843334 14431227904 401158 33554432000 4194304 4196468 140731054844736 140467533970032 140468064660098 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29110272 140731054851157 140731054851337 140731054851337 140731054854095 0
[pid=4155/tid=4168] ppid=4152 vsize=14092996 memory=1604632 CPUtime=1.23 cores=1,3,5,7
/proc/4155/task/4168/stat : 4168 (java) S 4152 4155 875 0 -1 1077944384 22407 0 0 0 120 3 0 0 20 0 15 0 245843334 14431227904 401158 33554432000 4194304 4196468 140731054844736 140467532917488 140468064660098 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29110272 140731054851157 140731054851337 140731054851337 140731054854095 0
[pid=4155/tid=4169] ppid=4152 vsize=14092996 memory=3816 CPUtime=0 cores=1,3,5,7
/proc/4155/task/4169/stat : 4169 (java) S 4152 4155 875 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245843334 14431227904 401158 33554432000 4194304 4196468 140731054844736 140467531865184 140468064659157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29110272 140731054851157 140731054851337 140731054851337 140731054854095 0
[pid=4155/tid=4170] ppid=4152 vsize=14092996 memory=1603244 CPUtime=1.34 cores=1,3,5,7
/proc/4155/task/4170/stat : 4170 (java) S 4152 4155 875 0 -1 1077944384 1764 0 0 0 59 75 0 0 20 0 15 0 245843335 14431227904 401158 33554432000 4194304 4196468 140731054844736 140467530811696 140468064660098 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29110272 140731054851157 140731054851337 140731054851337 140731054854095 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 1604632 KiB

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

[startup+2450.13 s]
# the end of solver process 4155 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2515.69 s, system=4.33963 s

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

[startup+2450.11 s]
/proc/loadavg: 1.47 1.54 1.58 3/215 4359
/proc/meminfo: memFree=12904976/32770624 swapFree=67108504/67108860
[pid=4155] ppid=4152 vsize=14092996 memory=1604632 CPUtime=2520 cores=1,3,5,7
/proc/4155/stat : 4155 (java) S 4152 4155 875 0 -1 1077944320 376453 0 0 0 251567 433 0 0 20 0 15 0 245843329 14431227904 401158 33554432000 4194304 4196468 140731054844736 140731054827280 140468064648951 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29110272 140731054851157 140731054851337 140731054851337 140731054854095 0
/proc/4155/statm: 3523249 401158 3617 1 0 3485321 0
[pid=4155/tid=4157] ppid=4152 vsize=14092996 memory=1604632 CPUtime=2427.12 cores=1,3,5,7
/proc/4155/task/4157/stat : 4157 (java) R 4152 4155 875 0 -1 4202560 171018 0 0 0 242638 74 0 0 20 0 15 0 245843329 14431227904 401158 33554432000 4194304 4196468 140731054844736 140468068883040 140467661524072 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29110272 140731054851157 140731054851337 140731054851337 140731054854095 0
[pid=4155/tid=4158] ppid=4152 vsize=14092996 memory=1603492 CPUtime=20.6 cores=1,3,5,7
/proc/4155/task/4158/stat : 4158 (java) S 4152 4155 875 0 -1 1077944384 19439 0 0 0 1992 68 0 0 20 0 15 0 245843330 14431227904 401158 33554432000 4194304 4196468 140731054844736 140467660385040 140468064659157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29110272 140731054851157 140731054851337 140731054851337 140731054854095 0
[pid=4155/tid=4159] ppid=4152 vsize=14092996 memory=1553660 CPUtime=20.58 cores=1,3,5,7
/proc/4155/task/4159/stat : 4159 (java) S 4152 4155 875 0 -1 1077944384 17369 0 0 0 1992 66 0 0 20 0 15 0 245843330 14431227904 401158 33554432000 4194304 4196468 140731054844736 140467659332496 140468064659157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29110272 140731054851157 140731054851337 140731054851337 140731054854095 0
[pid=4155/tid=4160] ppid=4152 vsize=14092996 memory=1593500 CPUtime=20.6 cores=1,3,5,7
/proc/4155/task/4160/stat : 4160 (java) S 4152 4155 875 0 -1 1077944384 17768 0 0 0 1992 68 0 0 20 0 15 0 245843330 14431227904 401158 33554432000 4194304 4196468 140731054844736 140467658279952 140468064659157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29110272 140731054851157 140731054851337 140731054851337 140731054854095 0
[pid=4155/tid=4161] ppid=4152 vsize=14092996 memory=1593500 CPUtime=20.57 cores=1,3,5,7
/proc/4155/task/4161/stat : 4161 (java) S 4152 4155 875 0 -1 1077944384 19911 0 0 0 1989 68 0 0 20 0 15 0 245843330 14431227904 401158 33554432000 4194304 4196468 140731054844736 140467657227408 140468064659157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29110272 140731054851157 140731054851337 140731054851337 140731054854095 0
[pid=4155/tid=4162] ppid=4152 vsize=14092996 memory=1579864 CPUtime=1.8 cores=1,3,5,7
/proc/4155/task/4162/stat : 4162 (java) S 4152 4155 875 0 -1 1077944384 63134 0 0 0 152 28 0 0 20 0 15 0 245843331 14431227904 401158 33554432000 4194304 4196468 140731054844736 140467539232752 140468064660098 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29110272 140731054851157 140731054851337 140731054851337 140731054854095 0
[pid=4155/tid=4163] ppid=4152 vsize=14092996 memory=1580020 CPUtime=0 cores=1,3,5,7
/proc/4155/task/4163/stat : 4163 (java) S 4152 4155 875 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 245843332 14431227904 401158 33554432000 4194304 4196468 140731054844736 140467538179040 140468064659157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29110272 140731054851157 140731054851337 140731054851337 140731054854095 0
[pid=4155/tid=4164] ppid=4152 vsize=14092996 memory=1588672 CPUtime=0 cores=1,3,5,7
/proc/4155/task/4164/stat : 4164 (java) S 4152 4155 875 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 245843332 14431227904 401158 33554432000 4194304 4196468 140731054844736 140467537126400 140468064659157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29110272 140731054851157 140731054851337 140731054851337 140731054854095 0
[pid=4155/tid=4165] ppid=4152 vsize=14092996 memory=1576016 CPUtime=0 cores=1,3,5,7
/proc/4155/task/4165/stat : 4165 (java) S 4152 4155 875 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245843334 14431227904 401158 33554432000 4194304 4196468 140731054844736 140467536074960 140468064667547 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29110272 140731054851157 140731054851337 140731054851337 140731054854095 0
[pid=4155/tid=4166] ppid=4152 vsize=14092996 memory=1553660 CPUtime=3.05 cores=1,3,5,7
/proc/4155/task/4166/stat : 4166 (java) S 4152 4155 875 0 -1 1077944384 22109 0 0 0 302 3 0 0 20 0 15 0 245843334 14431227904 401158 33554432000 4194304 4196468 140731054844736 140467535022576 140468064660098 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29110272 140731054851157 140731054851337 140731054851337 140731054854095 0
[pid=4155/tid=4167] ppid=4152 vsize=14092996 memory=1582452 CPUtime=3.02 cores=1,3,5,7
/proc/4155/task/4167/stat : 4167 (java) S 4152 4155 875 0 -1 1077944384 20085 0 0 0 299 3 0 0 20 0 15 0 245843334 14431227904 401158 33554432000 4194304 4196468 140731054844736 140467533970032 140468064660098 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29110272 140731054851157 140731054851337 140731054851337 140731054854095 0
[pid=4155/tid=4168] ppid=4152 vsize=14092996 memory=1604632 CPUtime=1.23 cores=1,3,5,7
/proc/4155/task/4168/stat : 4168 (java) S 4152 4155 875 0 -1 1077944384 22407 0 0 0 120 3 0 0 20 0 15 0 245843334 14431227904 401158 33554432000 4194304 4196468 140731054844736 140467532917488 140468064660098 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29110272 140731054851157 140731054851337 140731054851337 140731054854095 0
[pid=4155/tid=4169] ppid=4152 vsize=14092996 memory=3816 CPUtime=0 cores=1,3,5,7
/proc/4155/task/4169/stat : 4169 (java) S 4152 4155 875 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245843334 14431227904 401158 33554432000 4194304 4196468 140731054844736 140467531865184 140468064659157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29110272 140731054851157 140731054851337 140731054851337 140731054854095 0
[pid=4155/tid=4170] ppid=4152 vsize=14092996 memory=1603244 CPUtime=1.34 cores=1,3,5,7
/proc/4155/task/4170/stat : 4170 (java) S 4152 4155 875 0 -1 1077944384 1764 0 0 0 59 75 0 0 20 0 15 0 245843335 14431227904 401158 33554432000 4194304 4196468 140731054844736 140467530811696 140468064660098 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29110272 140731054851157 140731054851337 140731054851337 140731054854095 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 1604632 KiB

Child status: 143
Real time (s): 2450.13
CPU time (s): 2520.03
CPU user time (s): 2515.69
CPU system time (s): 4.33963
CPU usage (%): 102.853
Max. virtual memory (cumulated for all children) (KiB): 14092996
Max. memory (cumulated for all children) (KiB): 1689620

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.69
system time used= 4.33963
maximum resident set size= 1690136
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 376914
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3064
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 89093
involuntary context switches= 2865


# summary of solver processes directly reported to runsolver:
#   pid: 4155
#   total CPU time (s): 2520.03
#   total CPU user time (s): 2515.69
#   total CPU system time (s): 4.33963

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.4481 second user time and 22.1286 second system time

The end

Launcher Data 

Begin job on node104 at 2018-08-14 23:40:01
IDJOB=4308685
IDBENCH=141152
IDSOLVER=2792
FILE ID=node104/4308685-1534282801
RUNJOBID= node104-1534270607-2650
PBS_JOBID= 21038129
Free space on /tmp= 40048 MiB

SOLVER NAME= OscaR - Hybrid 2018-08-14
BENCH NAME= XCSP18/Auction/Auction-sum/Auction-sum-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-4308685-1534282801/watcher-4308685-1534282801 -o /tmp/evaluation-result-4308685-1534282801/solver-4308685-1534282801 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1534270607-2650 --watchdog 2580  java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed 143288657 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4308685-1534282801.xml

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

MD5SUM BENCH= b20be86eed1a54c36d145f853cc0c945
RANDOM SEED=143288657

node104.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.11
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.11
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.11
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.11
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:        14159008 kB
MemAvailable:   30383212 kB
Buffers:          239464 kB
Cached:         16031160 kB
SwapCached:            8 kB
Active:          9297400 kB
Inactive:        8544756 kB
Active(anon):    1521100 kB
Inactive(anon):   102520 kB
Active(file):    7776300 kB
Inactive(file):  8442236 kB
Unevictable:        7304 kB
Mlocked:            7304 kB
SwapTotal:      67108860 kB
SwapFree:       67108504 kB
Dirty:             35844 kB
Writeback:             0 kB
AnonPages:       1578120 kB
Mapped:            68296 kB
Shmem:             49636 kB
Slab:             462864 kB
SReclaimable:     434128 kB
SUnreclaim:        28736 kB
KernelStack:        3792 kB
PageTables:        10768 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2165028 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1486848 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      116096 kB
DirectMap2M:    33429504 kB

Free space on /tmp at the end= 40016 MiB
End job on node104 at 2018-08-15 00:20:52