Trace number 4310557

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)2380118 252.088 239.233

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 benchmark2380118
Best CPU time to get the best result obtained on this benchmark252.088
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.67/0.55	c version: 2018-08-14
0.67/0.55	c seed: 1624004344
0.67/0.56	c timeout: 252
0.67/0.56	c memlimit: 11000
0.67/0.56	c nbcore: 4
0.67/0.58	c Parsing instance...
3.64/1.94	c Parsing done, starting first complete search...
4.11/2.17	o 0
4.11/2.17	o 19026
4.11/2.18	o 27190
4.11/2.18	o 46216
4.11/2.18	o 46287
4.11/2.18	o 60652
4.11/2.19	o 63660
4.11/2.19	o 66969
4.11/2.19	o 71630
4.11/2.19	o 74813
4.11/2.19	o 77821
4.11/2.20	o 85995
4.31/2.20	o 89003
4.31/2.20	o 95443
4.31/2.20	o 98451
4.31/2.21	o 103873
4.31/2.21	o 106881
4.31/2.21	o 109561
4.31/2.21	o 117877
4.31/2.21	o 134332
4.31/2.21	o 152232
4.31/2.22	o 155826
4.31/2.22	o 158834
4.31/2.22	o 167150
4.31/2.22	o 170602
4.31/2.22	o 180837
4.31/2.22	o 188813
4.31/2.23	o 190358
4.31/2.23	o 192857
4.31/2.23	o 193801
4.31/2.23	o 204929
4.31/2.24	o 207705
4.31/2.24	o 213032
4.31/2.24	o 215697
4.31/2.24	o 216218
4.31/2.24	o 217763
4.31/2.24	o 224648
4.31/2.24	o 226193
4.31/2.25	o 227425
4.31/2.25	o 227549
4.31/2.25	o 234310
4.31/2.25	o 235855
4.31/2.25	o 239637
4.31/2.25	o 241182
4.31/2.25	o 246670
4.31/2.25	o 248215
4.31/2.26	o 255100
4.31/2.26	o 256645
4.31/2.26	o 257371
4.31/2.26	o 260310
4.31/2.26	o 266266
4.31/2.28	o 266874
4.31/2.28	o 272927
4.31/2.28	o 279688
4.31/2.28	o 281233
4.31/2.28	o 284172
4.31/2.28	o 284734
4.31/2.28	o 284800
4.31/2.29	o 287739
4.31/2.29	o 290340
4.31/2.29	o 293279
4.31/2.29	o 296924
4.31/2.29	o 301784
4.63/2.30	o 311750
4.63/2.30	o 314689
4.63/2.31	o 315705
4.63/2.31	o 316692
4.63/2.31	o 318237
4.63/2.31	o 321245
4.63/2.32	o 323696
4.63/2.32	o 325241
4.63/2.32	o 328655
4.63/2.32	o 331594
4.63/2.33	o 354206
4.63/2.34	o 356231
4.63/2.34	o 356793
4.63/2.35	o 358580
4.63/2.35	o 359142
4.63/2.35	o 360125
4.63/2.35	o 360687
4.63/2.35	o 363137
4.63/2.35	o 363699
4.63/2.35	o 366076
4.63/2.36	o 366638
4.63/2.37	o 367110
4.63/2.39	o 367883
4.63/2.39	o 368445
4.63/2.39	o 370822
4.63/2.39	o 371384
4.63/2.39	o 371641
4.93/2.41	o 372055
4.93/2.41	o 372527
4.93/2.42	o 372784
4.93/2.43	o 374584
4.93/2.43	o 375056
4.93/2.44	o 375949
4.93/2.44	o 376421
4.93/2.44	o 376678
4.93/2.46	o 378073
4.93/2.46	o 378545
4.93/2.46	o 378802
4.93/2.46	o 379741
4.93/2.46	o 380213
4.93/2.47	o 382269
4.93/2.47	o 382741
4.93/2.47	o 385281
4.93/2.47	o 385753
4.93/2.47	o 385828
4.93/2.48	o 387427
4.93/2.48	o 387899
4.93/2.48	o 389685
4.93/2.48	o 390157
4.93/2.48	o 392693
4.93/2.48	o 393165
4.93/2.48	o 395705
4.93/2.48	o 396177
4.93/2.49	o 396255
4.93/2.49	o 396727
4.93/2.49	o 399263
4.93/2.49	o 399735
5.24/2.50	o 399926
5.24/2.51	o 400398
5.24/2.51	o 402275
5.24/2.51	o 402747
5.24/2.52	o 403187
5.24/2.52	o 407269
5.24/2.52	o 407741
5.24/2.52	o 407831
5.24/2.52	o 408303
5.24/2.53	o 409206
5.24/2.53	o 409678
5.24/2.53	o 409914
5.24/2.53	o 410386
5.24/2.53	o 410588
5.24/2.53	o 410695
5.24/2.53	o 417251
5.24/2.53	o 417723
5.24/2.53	o 420263
5.24/2.53	o 420735
5.24/2.55	o 421421
5.24/2.55	o 421893
5.24/2.56	o 423176
5.24/2.56	o 423648
5.24/2.56	o 428292
5.24/2.56	o 428764
5.24/2.57	o 429550
5.24/2.57	o 430022
5.24/2.57	o 430693
5.24/2.57	o 431165
5.24/2.57	o 433042
5.24/2.57	o 433514
5.24/2.58	o 434438
5.24/2.58	o 434910
5.24/2.58	o 437450
5.24/2.58	o 437922
5.24/2.59	o 438158
5.24/2.59	o 438630
5.51/2.60	o 440567
5.51/2.61	o 441039
5.51/2.63	o 441290
5.51/2.63	o 442085
5.51/2.63	o 442557
5.51/2.63	o 443373
5.51/2.63	o 446381
5.51/2.63	o 446853
5.51/2.63	o 451763
5.51/2.63	o 452906
5.51/2.64	o 454766
5.51/2.64	o 461336
5.51/2.64	o 463541
5.51/2.64	o 464249
5.51/2.64	o 468657
5.51/2.64	o 469365
5.51/2.68	o 471461
5.51/2.68	o 472169
5.51/2.68	o 475181
5.69/2.74	o 477322
5.69/2.74	o 479671
5.69/2.74	o 480379
5.69/2.75	o 482683
5.69/2.75	o 483391
5.69/2.79	o 484064
5.79/2.80	o 484724
5.79/2.80	o 487133
5.79/2.80	o 489482
5.79/2.81	o 491786
5.79/2.81	o 492494
5.79/2.83	o 493112
5.79/2.83	o 495461
5.79/2.83	o 497870
5.79/2.83	o 498578
5.79/2.83	o 498594
5.79/2.83	o 501003
5.79/2.84	o 503352
5.79/2.84	o 505255
5.79/2.85	o 505926
5.79/2.86	o 508901
5.79/2.86	o 509047
5.79/2.86	o 509137
5.79/2.86	o 509609
5.79/2.86	o 509926
5.79/2.86	o 510117
5.79/2.87	o 512466
5.79/2.87	o 512938
5.79/2.87	o 513174
5.79/2.87	o 513646
5.79/2.87	o 514228
5.79/2.87	o 514700
5.79/2.87	o 514936
5.79/2.87	o 515408
5.79/2.87	o 517948
5.79/2.87	o 518420
5.79/2.88	o 518948
5.79/2.88	o 519420
5.79/2.88	o 519656
5.79/2.88	o 520128
5.79/2.88	o 526226
5.79/2.88	o 526698
5.89/2.91	o 527415
5.89/2.91	o 527887
5.89/2.91	o 527977
5.89/2.91	o 528449
5.89/2.91	o 528685
5.89/2.91	o 529157
6.00/3.06	o 529428
6.00/3.06	o 529900
6.00/3.06	o 529990
6.00/3.06	o 530462
6.00/3.07	o 532337
6.00/3.07	o 532809
6.00/3.08	o 537620
6.00/3.08	o 538182
6.00/3.08	o 538816
6.00/3.08	o 541821
6.00/3.08	o 542383
6.00/3.08	o 542529
6.00/3.08	o 543091
6.00/3.08	o 547865
6.31/3.36	o 549566
6.31/3.36	o 550128
6.73/3.73	o 550961
6.73/3.73	o 551669
7.05/4.08	o 552139
7.16/4.13	o 552856
7.16/4.13	o 553328
7.16/4.13	o 555868
7.16/4.13	o 556340
7.51/4.49	o 556576
7.51/4.49	o 557048
8.01/4.90	o 558999
8.01/4.90	o 559471
8.01/4.90	o 562011
8.01/4.90	o 562483
8.22/5.11	o 563037
8.22/5.11	o 563509
8.22/5.12	o 563745
8.22/5.12	o 564217
8.22/5.15	o 564965
8.22/5.15	o 565437
8.22/5.17	o 566157
8.22/5.17	o 566629
8.22/5.17	o 566719
8.22/5.17	o 567191
8.22/5.17	o 569731
8.22/5.17	o 570203
8.32/5.21	o 570621
8.42/5.30	o 571810
8.42/5.30	o 572282
8.62/5.50	o 572999
8.62/5.50	o 573471
8.62/5.51	o 573707
8.62/5.51	o 574179
8.82/5.72	o 576011
8.82/5.72	o 576483
8.82/5.72	o 576719
8.82/5.72	o 577191
8.82/5.74	o 577212
8.82/5.74	o 577684
8.82/5.75	o 580224
8.82/5.75	o 580696
8.92/5.85	o 581978
8.92/5.85	o 582450
8.92/5.86	o 582581
8.92/5.86	o 583053
8.92/5.86	o 584990
8.92/5.86	o 585462
10.54/7.43	o 585870
10.54/7.43	o 586342
10.54/7.43	o 586423
10.54/7.43	o 588866
10.54/7.43	o 589428
10.54/7.43	o 589900
10.54/7.44	o 591878
10.54/7.44	o 592350
10.54/7.44	o 592440
10.54/7.44	o 592912
11.96/8.87	o 593062
11.96/8.88	o 593534
14.19/11.05	o 595272
14.29/11.13	o 595894
15.39/12.25	o 597195
15.39/12.25	o 604516
15.39/12.29	o 604545
15.39/12.29	o 604595
15.39/12.29	o 607004
27.25/24.03	c First complete search done, starting ALNS search...
27.71/24.34	o 607157
27.71/24.34	o 607423
27.71/24.34	o 608485
27.71/24.35	o 608537
27.71/24.35	o 608611
27.71/24.35	o 609673
27.71/24.35	o 610469
27.71/24.35	o 611531
27.71/24.38	o 612337
27.71/24.38	o 612568
27.71/24.40	o 612711
27.84/24.40	o 613729
27.84/24.40	o 613855
27.84/24.40	o 614917
27.84/24.40	o 615148
27.84/24.40	o 615197
27.84/24.40	o 616259
27.84/24.40	o 617102
27.84/24.40	o 618123
27.84/24.41	o 618263
27.84/24.41	o 618389
27.84/24.41	o 619451
27.84/24.41	o 620066
27.84/24.41	o 620206
27.84/24.41	o 620258
27.84/24.41	o 621394
27.84/24.41	o 622456
27.84/24.41	o 622687
27.84/24.43	o 623392
27.84/24.43	o 623433
27.84/24.43	o 623832
27.84/24.44	o 624296
27.84/24.44	o 625358
27.84/24.44	o 626014
27.84/24.44	o 626157
27.84/24.44	o 627035
27.84/24.44	o 627175
27.84/24.44	o 627227
27.84/24.44	o 627301
27.84/24.44	o 628363
27.84/24.44	o 629359
27.84/24.44	o 630421
27.84/24.44	o 630652
27.84/24.49	o 630943
27.84/24.49	o 631083
27.84/24.49	o 631135
27.84/24.49	o 631209
27.84/24.49	o 632271
27.84/24.49	o 632502
27.95/24.50	o 633527
27.95/24.50	o 634321
27.95/24.50	o 634461
27.95/24.51	o 634513
27.95/24.51	o 635649
27.95/24.51	o 635734
27.95/24.51	o 636922
27.95/24.51	o 638058
27.95/24.51	o 639120
27.95/24.51	o 639351
28.12/24.64	o 639516
28.12/24.64	o 639975
28.12/24.64	o 640095
28.12/24.64	o 640554
28.12/24.64	o 640617
28.12/24.65	o 641196
28.12/24.65	o 642073
28.12/24.65	o 642652
28.12/24.65	o 642749
28.12/24.65	o 643328
28.12/24.65	o 643499
28.12/24.65	o 644955
28.12/24.65	o 645534
28.12/24.66	o 645993
28.12/24.66	o 646486
28.12/24.66	o 647363
28.12/24.66	o 647942
28.12/24.66	o 648401
28.12/24.67	o 648498
28.12/24.67	o 648789
28.12/24.67	o 650245
28.12/24.67	o 650704
28.12/24.67	o 650824
28.12/24.67	o 651283
28.12/24.67	o 652739
28.12/24.67	o 653318
28.12/24.67	o 653777
28.12/24.68	o 655202
28.12/24.68	o 655661
28.12/24.68	o 656153
28.12/24.68	o 656576
28.12/24.68	o 656903
28.12/24.68	o 658359
28.12/24.68	o 658818
28.12/24.69	o 658938
28.12/24.69	o 659397
28.12/24.69	o 659443
28.12/24.69	o 660899
28.12/24.69	o 661478
28.12/24.70	o 661937
28.42/24.70	o 662016
28.42/24.70	o 662439
28.42/24.70	o 663763
28.42/24.70	o 664222
28.42/24.70	o 665219
28.42/24.70	o 665678
28.42/24.70	o 665963
28.42/24.70	o 666542
28.42/24.70	o 667375
28.42/24.70	o 667954
28.42/24.71	o 669201
28.42/24.71	o 669286
28.42/24.71	o 670239
28.42/24.71	o 670283
28.42/24.71	o 671695
28.42/24.71	o 672154
28.42/24.71	o 672383
28.42/24.72	o 672699
28.42/24.72	o 672771
28.42/24.72	o 672916
28.42/24.72	o 673339
28.42/24.72	o 673666
28.42/24.72	o 675122
28.42/24.72	o 675581
28.42/24.72	o 675810
28.42/24.73	o 676534
28.42/24.73	o 676993
28.42/24.73	o 677222
28.42/24.74	o 677613
28.42/24.74	o 679039
28.42/24.74	o 680495
28.42/24.74	o 681907
28.42/24.75	o 682136
28.42/24.76	o 683266
28.42/24.76	o 684678
28.42/24.76	o 684722
28.42/24.76	o 686134
28.42/24.76	o 686363
28.42/24.77	o 686541
28.42/24.77	o 687117
28.42/24.77	o 687161
28.42/24.77	o 688573
28.42/24.77	o 688587
28.42/24.77	o 690043
28.42/24.77	o 691455
28.42/24.78	o 691684
28.42/24.79	o 691695
28.42/24.79	o 691739
28.42/24.79	o 693151
28.42/24.79	o 693380
28.42/24.79	o 693920
28.42/24.79	o 694379
28.42/24.79	o 694583
28.42/24.79	o 694871
28.42/24.79	o 695294
28.42/24.80	o 695621
28.42/24.80	o 697077
28.58/24.80	o 697536
28.58/24.80	o 697770
28.58/24.80	o 697857
28.58/24.80	o 699553
28.58/24.80	o 700012
28.58/24.80	o 701014
28.58/24.80	o 701473
28.58/24.80	o 702710
28.58/24.80	o 703169
28.58/24.81	o 704166
28.58/24.81	o 704625
28.58/24.81	o 704892
28.58/24.81	o 705365
28.58/24.81	o 705568
28.58/24.81	o 705991
28.58/24.81	o 706078
28.58/24.81	o 707774
28.58/24.81	o 709230
28.58/24.81	o 710642
28.58/24.81	o 711101
28.58/24.82	o 711330
28.58/24.82	o 711451
28.58/24.82	o 712863
28.58/24.82	o 712907
28.58/24.82	o 714319
28.58/24.82	o 714603
28.58/24.82	o 716015
28.58/24.82	o 716244
28.58/24.83	o 716692
28.58/24.83	o 716872
28.58/24.83	o 717331
28.58/24.84	o 717806
28.58/24.84	o 718784
28.58/24.84	o 720240
28.58/24.84	o 720480
28.58/24.84	o 721936
28.58/24.84	o 723348
28.58/24.84	o 723807
28.58/24.84	o 724025
28.58/24.84	o 724484
28.58/24.85	o 725713
28.58/24.85	o 725839
28.58/24.85	o 726287
28.58/24.85	o 726515
28.58/24.85	o 726938
28.58/24.85	o 727309
28.58/24.85	o 728721
28.58/24.85	o 728950
28.58/24.85	o 729398
28.58/24.86	o 729625
28.58/24.87	o 729854
28.58/24.87	o 730302
28.58/24.89	o 730380
28.58/24.89	o 730839
28.58/24.89	o 731281
28.58/24.89	o 731789
28.58/24.89	o 732693
28.58/24.89	o 733014
28.58/24.89	o 733101
28.58/24.89	o 733341
28.58/24.89	o 733385
28.58/24.89	o 734797
28.58/24.89	o 735701
28.58/24.89	o 736160
28.58/24.90	o 736378
28.70/24.90	o 736389
28.70/24.90	o 736837
28.70/24.90	o 737122
28.70/24.90	o 737581
28.70/24.90	o 738026
28.70/24.90	o 738485
28.70/24.90	o 738703
28.70/24.90	o 738714
28.70/24.90	o 739162
28.70/24.90	o 739691
28.70/24.90	o 740150
28.70/24.90	o 740308
28.70/24.91	o 740548
28.70/24.91	o 740592
28.70/24.91	o 741100
28.70/24.91	o 742004
28.70/24.91	o 742325
28.70/24.91	o 742412
28.70/24.91	o 742652
28.70/24.91	o 742696
28.70/24.91	o 744108
28.70/24.91	o 745012
28.70/24.91	o 745471
28.70/24.91	o 745528
28.70/24.91	o 745827
28.70/24.91	o 746628
28.70/24.91	o 747532
28.70/24.92	o 748002
28.70/24.92	o 748089
28.70/24.92	o 748329
28.70/24.92	o 749785
28.70/24.92	o 750689
28.70/24.92	o 751148
28.70/24.92	o 751197
28.70/24.92	o 751656
28.70/24.92	o 752101
28.70/24.92	o 752560
28.70/24.92	o 752778
28.70/24.92	o 752789
28.70/24.92	o 753237
28.70/24.93	o 753388
28.70/24.93	o 753847
28.70/24.93	o 754108
28.70/24.93	o 754857
28.70/24.93	o 755156
28.70/24.93	o 755638
28.70/24.93	o 755864
28.70/24.93	o 756416
28.70/24.94	o 757320
28.70/24.94	o 757367
28.70/24.95	o 757790
28.70/24.95	o 757877
28.70/24.95	o 758117
28.70/24.95	o 758161
28.70/24.95	o 759573
28.70/24.95	o 760477
28.70/24.95	o 760936
28.70/24.95	o 761154
28.70/24.95	o 761165
28.70/24.95	o 761613
28.70/25.00	o 762032
28.70/25.00	o 762366
28.70/25.00	o 762701
28.70/25.00	o 763209
28.70/25.00	o 764113
28.70/25.00	o 764572
28.83/25.01	o 764990
28.83/25.01	o 765042
28.83/25.01	o 765282
28.83/25.01	o 765326
28.83/25.01	o 766738
28.83/25.01	o 767197
28.83/25.01	o 767642
28.83/25.02	o 768101
28.83/25.02	o 769244
28.83/25.02	o 770148
28.83/25.02	o 770607
28.83/25.02	o 771494
28.83/25.02	o 771953
28.83/25.02	o 773325
28.83/25.02	o 773924
28.83/25.02	o 774550
28.83/25.02	o 774877
28.83/25.02	o 774921
28.83/25.02	o 776333
28.83/25.02	o 776792
28.83/25.03	o 777237
28.83/25.03	o 777696
28.83/25.03	o 777748
28.83/25.03	o 777988
28.83/25.03	o 778032
28.83/25.03	o 779444
28.83/25.03	o 780348
28.83/25.03	o 780807
28.83/25.07	o 780870
28.83/25.07	o 781329
28.83/25.07	o 781378
28.83/25.08	o 782282
28.83/25.08	o 782741
28.83/25.10	o 782917
28.83/25.10	o 783318
28.83/25.10	o 783521
28.83/25.10	o 783793
28.83/25.10	o 783944
28.83/25.10	o 784031
28.83/25.10	o 784271
28.83/25.10	o 784315
28.83/25.10	o 784823
28.83/25.10	o 785727
28.83/25.10	o 786186
28.83/25.10	o 786238
28.83/25.10	o 786478
28.83/25.10	o 786522
28.83/25.11	o 787934
28.93/25.11	o 788393
28.93/25.11	o 788838
28.93/25.11	o 789297
28.93/25.16	o 789739
28.93/25.16	o 790198
28.93/25.16	o 790643
28.93/25.16	o 791102
28.93/25.16	o 791548
28.93/25.16	o 791820
28.93/25.16	o 791971
28.93/25.16	o 792058
28.93/25.16	o 792298
28.93/25.16	o 792342
28.93/25.16	o 792850
28.93/25.17	o 793754
28.93/25.17	o 794213
29.05/25.24	o 794487
29.05/25.24	o 794498
29.05/25.24	o 794585
29.05/25.24	o 794825
29.05/25.24	o 794869
29.05/25.24	o 796281
29.05/25.25	o 797185
29.05/25.25	o 797644
29.05/25.25	o 797980
29.05/25.25	o 798439
29.05/25.25	o 798884
29.05/25.25	o 799343
29.05/25.25	o 799392
29.05/25.25	o 800296
29.05/25.25	o 800755
29.05/25.25	o 800887
29.05/25.25	o 801090
29.05/25.25	o 801362
29.05/25.25	o 801513
29.05/25.25	o 801884
29.05/25.25	o 802837
29.05/25.26	o 803296
29.05/25.26	o 803741
29.05/25.26	o 804200
29.05/25.26	o 804252
29.05/25.26	o 804492
29.05/25.26	o 804536
29.05/25.26	o 805948
29.05/25.26	o 806852
29.05/25.26	o 807311
29.05/25.26	o 807980
29.05/25.26	o 808439
29.05/25.26	o 808488
29.05/25.26	o 809392
29.05/25.27	o 809851
29.38/25.53	o 809941
29.38/25.53	o 810144
29.38/25.53	o 810416
29.38/25.53	o 810435
29.38/25.53	o 810479
29.38/25.53	o 810987
29.38/25.53	o 811891
29.38/25.53	o 812350
29.38/25.53	o 812770
29.38/25.53	o 813229
29.38/25.53	o 813674
29.38/25.53	o 814133
29.38/25.53	o 815002
29.38/25.54	o 815089
29.38/25.54	o 815329
29.38/25.54	o 815373
29.38/25.54	o 815881
29.38/25.54	o 816785
29.38/25.54	o 817244
29.38/25.54	o 817311
29.38/25.54	o 817770
29.51/25.60	o 818421
29.51/25.60	o 818880
29.51/25.60	o 819325
29.51/25.60	o 819784
29.51/25.60	o 819851
29.51/25.60	o 820310
29.81/25.97	o 820855
29.81/25.97	o 821314
29.81/25.97	o 821381
29.81/25.97	o 821840
30.44/26.30	o 822838
30.44/26.30	o 823417
30.44/26.30	o 824081
30.44/26.30	o 824660
30.44/26.30	o 825160
30.44/26.31	o 825726
30.44/26.31	o 828246
30.44/26.31	o 829489
30.44/26.31	o 829989
30.44/26.31	o 830937
30.44/26.31	o 832666
30.44/26.31	o 836429
30.44/26.31	o 836929
30.44/26.31	o 837672
30.44/26.31	o 838172
30.44/26.31	o 838251
30.44/26.32	o 838751
30.44/26.32	o 839289
30.44/26.32	o 839868
30.44/26.32	o 840368
30.44/26.32	o 840631
30.44/26.32	o 843894
30.44/26.32	o 844394
30.44/26.32	o 845137
30.44/26.32	o 845637
30.44/26.33	o 846585
30.44/26.33	o 848314
30.44/26.33	o 852077
30.44/26.33	o 853320
30.44/26.33	o 853820
30.44/26.33	o 854937
30.44/26.33	o 855437
30.44/26.34	o 855516
30.44/26.34	o 856016
30.44/26.34	o 856540
30.44/26.34	o 857578
30.44/26.34	o 858157
30.44/26.34	o 858657
30.44/26.34	o 858825
30.44/26.34	o 858904
30.44/26.34	o 859404
30.44/26.35	o 859469
30.44/26.35	o 860212
30.44/26.35	o 860712
30.44/26.35	o 860791
30.44/26.35	o 861291
30.44/26.35	o 861690
30.44/26.35	o 861726
30.44/26.35	o 862473
30.44/26.35	o 863052
30.44/26.35	o 863167
30.44/26.35	o 863746
30.44/26.35	o 864784
30.44/26.35	o 865363
30.44/26.35	o 865906
30.44/26.36	o 866930
30.44/26.36	o 867304
30.44/26.36	o 868547
30.44/26.36	o 869126
30.44/26.36	o 869294
30.44/26.36	o 869873
30.44/26.36	o 870373
30.44/26.36	o 870841
30.44/26.36	o 871963
30.44/26.36	o 872987
30.44/26.36	o 873361
30.44/26.36	o 874604
30.44/26.36	o 875351
30.44/26.37	o 875851
30.44/26.37	o 875892
30.44/26.37	o 877509
30.44/26.37	o 878256
30.44/26.37	o 878756
30.44/26.37	o 878950
30.44/26.37	o 879697
30.44/26.37	o 880197
30.44/26.37	o 880572
30.44/26.37	o 882713
30.44/26.37	o 883213
30.44/26.37	o 883460
30.44/26.37	o 883960
30.44/26.37	o 884330
30.44/26.37	o 885077
30.44/26.38	o 885577
30.44/26.38	o 886073
30.44/26.38	o 886320
30.44/26.38	o 886820
30.44/26.38	o 887094
30.44/26.38	o 887590
30.44/26.39	o 888337
30.44/26.39	o 888837
30.44/26.39	o 888895
30.44/26.39	o 889142
30.44/26.39	o 889642
30.44/26.39	o 889851
30.44/26.39	o 890598
30.44/26.39	o 890897
30.44/26.40	o 892140
30.44/26.40	o 892788
30.54/26.40	o 893812
30.54/26.40	o 895429
30.54/26.40	o 896672
30.54/26.40	o 897419
30.54/26.40	o 897919
30.54/26.40	o 898801
30.54/26.40	o 899301
30.54/26.40	o 900044
30.54/26.40	o 900544
30.54/26.41	o 900791
30.54/26.41	o 901291
30.54/26.41	o 901661
30.54/26.41	o 902161
30.54/26.41	o 902408
30.54/26.41	o 902908
30.54/26.42	o 903249
30.54/26.42	o 903996
30.54/26.42	o 904152
30.54/26.42	o 905395
30.54/26.42	o 905769
30.54/26.42	o 907012
30.54/26.42	o 907759
30.54/26.42	o 908259
30.54/26.43	o 908290
30.54/26.43	o 909033
30.54/26.43	o 909533
30.54/26.43	o 910135
30.54/26.43	o 910635
30.54/26.43	o 911289
30.54/26.43	o 911566
30.54/26.43	o 912313
30.54/26.43	o 913183
30.54/26.44	o 913930
30.54/26.44	o 914430
30.54/26.44	o 914754
30.54/26.44	o 915997
30.54/26.44	o 916497
30.54/26.44	o 916802
30.54/26.44	o 917302
30.54/26.44	o 917617
30.54/26.44	o 918860
30.54/26.44	o 919578
30.54/26.44	o 921195
30.54/26.44	o 922219
30.54/26.44	o 923836
30.54/26.44	o 925079
30.54/26.44	o 925579
30.54/26.45	o 925826
30.54/26.45	o 926326
30.54/26.46	o 926622
30.65/26.52	o 927969
30.65/26.52	o 929170
30.65/26.52	o 932827
30.65/26.53	o 933284
30.65/26.53	o 937816
30.65/26.53	o 939017
30.65/26.53	o 939286
30.65/26.53	o 944275
30.65/26.53	o 945476
30.65/26.53	o 948807
30.65/26.53	o 950008
30.65/26.53	o 952437
30.65/26.53	o 953638
30.65/26.53	o 956969
30.65/26.54	o 958170
30.65/26.54	o 960706
30.65/26.54	o 960981
30.65/26.54	o 961776
30.65/26.54	o 965513
30.65/26.54	o 968955
30.65/26.54	o 970156
30.65/26.54	o 972692
30.65/26.58	o 990086
30.65/26.58	o 993970
30.65/26.58	o 1011364
30.65/26.58	o 1019235
30.65/26.59	o 1036629
30.65/26.59	o 1046185
30.65/26.59	o 1049229
30.65/26.59	o 1050168
30.65/26.59	o 1054962
30.65/26.59	o 1058006
30.65/26.59	o 1064518
30.65/26.59	o 1067562
30.65/26.59	o 1070448
30.65/26.59	o 1071387
30.65/26.59	o 1079225
30.65/26.59	o 1088781
30.65/26.59	o 1091825
30.65/26.59	o 1097760
30.65/26.59	o 1100804
30.65/26.59	o 1103493
30.65/26.60	o 1106537
30.65/26.60	o 1106613
30.65/26.60	o 1112346
30.86/26.60	o 1115390
30.86/26.60	o 1117218
30.86/26.60	o 1118507
30.86/26.60	o 1119368
30.86/26.60	o 1122412
30.86/26.60	o 1124240
30.86/26.60	o 1125351
30.86/26.60	o 1127179
30.86/26.60	o 1128395
30.86/26.60	o 1130223
30.86/26.60	o 1130430
30.86/26.60	o 1130680
30.86/26.60	o 1133369
30.86/26.61	o 1136413
30.86/26.61	o 1138241
30.86/26.61	o 1138579
30.86/26.61	o 1139795
30.86/26.61	o 1141623
30.86/26.61	o 1142292
30.86/26.61	o 1142630
30.86/26.61	o 1145674
30.86/26.61	o 1147502
30.86/26.61	o 1149858
30.86/26.61	o 1151686
30.86/26.61	o 1151689
30.86/26.61	o 1152728
30.86/26.65	o 1163208
30.86/26.65	o 1172512
30.86/26.65	o 1180075
30.86/26.65	o 1180753
30.86/26.65	o 1189057
30.86/26.65	o 1189735
30.86/26.65	o 1196620
30.86/26.65	o 1197298
30.86/26.65	o 1198361
30.86/26.65	o 1205924
30.86/26.65	o 1206602
30.86/26.65	o 1209564
30.86/26.65	o 1210242
30.86/26.66	o 1211228
30.86/26.66	o 1214868
30.86/26.66	o 1215546
30.86/26.66	o 1216918
30.86/26.66	o 1217596
30.86/26.66	o 1220558
30.86/26.66	o 1221236
30.86/26.66	o 1221774
30.86/26.66	o 1222452
30.86/26.66	o 1225414
30.86/26.66	o 1226092
30.86/26.66	o 1227281
30.86/26.66	o 1227667
30.86/26.66	o 1229331
30.86/26.66	o 1232971
30.86/26.67	o 1233649
30.86/26.67	o 1236393
30.86/26.67	o 1237071
30.86/26.67	o 1237237
30.86/26.67	o 1240877
30.86/26.67	o 1244299
30.86/26.67	o 1246166
30.86/26.67	o 1246552
30.86/26.67	o 1247000
30.86/26.67	o 1248434
30.86/26.67	o 1251856
36.25/31.12	o 1252176
36.25/31.12	o 1253513
36.25/31.12	o 1254585
36.25/31.12	o 1254776
36.25/31.13	o 1255263
36.25/31.13	o 1255454
36.25/31.13	o 1256083
36.25/31.13	o 1256761
36.25/31.13	o 1257134
36.25/31.13	o 1258206
36.25/31.13	o 1259543
36.25/31.13	o 1260615
36.25/31.13	o 1261293
36.25/31.13	o 1261484
36.25/31.13	o 1261742
36.25/31.13	o 1261933
36.25/31.13	o 1262420
36.25/31.13	o 1262611
36.25/31.14	o 1262933
36.25/31.14	o 1263611
36.25/31.14	o 1264431
36.25/31.14	o 1266554
36.25/31.14	o 1268963
36.25/31.14	o 1269641
36.25/31.14	o 1269981
36.25/31.14	o 1274513
36.25/31.14	o 1275191
36.25/31.14	o 1276922
36.25/31.14	o 1277600
36.25/31.14	o 1277791
36.25/31.14	o 1277827
36.25/31.14	o 1278018
36.25/31.14	o 1278221
36.25/31.14	o 1278899
36.25/31.15	o 1279090
36.25/31.15	o 1279350
36.25/31.15	o 1280848
36.25/31.15	o 1282971
36.25/31.15	o 1285380
36.25/31.15	o 1286281
36.25/31.15	o 1286497
36.25/31.15	o 1287995
36.25/31.15	o 1292527
36.25/31.15	o 1294936
36.25/31.15	o 1295163
36.25/31.15	o 1295354
36.25/31.15	o 1296235
36.25/31.15	o 1296426
36.25/31.15	o 1296913
36.25/31.16	o 1297104
36.25/31.16	o 1299477
36.25/31.16	o 1299704
36.25/31.16	o 1300549
36.25/31.16	o 1300776
36.25/31.16	o 1301227
36.25/31.16	o 1301454
36.25/31.16	o 1301645
36.25/31.16	o 1302741
36.25/31.16	o 1303419
36.25/31.16	o 1304231
36.25/31.16	o 1304740
36.25/31.16	o 1305249
36.25/31.16	o 1309781
36.25/31.17	o 1312190
36.25/31.17	o 1313814
36.25/31.17	o 1316223
36.25/31.17	o 1318346
36.25/31.17	o 1320755
36.25/31.17	o 1321433
36.25/31.17	o 1321624
36.25/31.17	o 1321660
36.25/31.17	o 1321851
36.25/31.17	o 1323908
36.25/31.17	o 1326317
36.25/31.17	o 1326995
36.25/31.17	o 1327222
36.25/31.17	o 1327413
36.25/31.17	o 1329708
36.25/31.18	o 1330386
36.25/31.18	o 1330577
36.25/31.18	o 1331890
36.25/31.18	o 1332117
36.25/31.18	o 1332308
36.25/31.18	o 1332568
36.25/31.18	o 1332759
36.25/31.18	o 1332795
36.25/31.18	o 1332986
36.25/31.18	o 1336965
36.25/31.19	o 1337643
36.25/31.19	o 1339374
36.25/31.19	o 1340052
36.25/31.19	o 1340243
38.10/32.86	o 1341328
38.10/32.86	o 1343049
38.10/32.86	o 1345859
38.10/32.86	o 1347120
38.10/32.86	o 1347893
38.10/32.86	o 1352424
38.10/32.87	o 1355234
38.10/32.87	o 1355826
38.10/32.87	o 1358362
38.10/32.87	o 1360342
38.10/32.87	o 1362853
38.10/32.87	o 1364295
38.10/32.87	o 1367105
38.10/32.87	o 1369418
38.10/32.87	o 1372228
38.10/32.87	o 1374764
38.10/32.87	o 1376789
38.10/32.87	o 1377104
38.10/32.88	o 1379640
38.10/32.88	o 1381321
38.10/32.88	o 1384131
38.10/32.88	o 1385392
38.10/32.88	o 1385573
38.10/32.88	o 1390696
38.10/32.88	o 1393506
38.10/32.88	o 1396042
38.10/32.88	o 1396962
38.10/32.88	o 1397236
38.10/32.88	o 1399772
38.10/32.88	o 1402359
38.10/32.88	o 1404895
38.10/32.89	o 1405020
43.59/38.18	o 1406563
43.59/38.18	o 1409224
43.59/38.18	o 1410326
43.59/38.18	o 1412987
43.59/38.19	o 1413147
43.59/38.19	o 1416910
43.59/38.19	o 1417004
43.59/38.19	o 1418385
43.59/38.20	o 1418545
43.59/38.20	o 1422308
43.69/38.20	o 1424100
43.69/38.20	o 1426761
43.69/38.21	o 1426921
43.69/38.21	o 1430684
43.69/38.24	o 1431394
43.69/38.24	o 1433010
43.69/38.24	o 1433921
43.69/38.25	o 1434444
43.69/38.25	o 1435355
43.69/38.25	o 1437808
43.69/38.25	o 1438719
43.69/38.26	o 1439242
43.69/38.26	o 1440153
43.69/38.26	o 1440663
43.69/38.26	o 1441137
43.69/38.26	o 1441145
43.69/38.26	o 1441500
43.69/38.27	o 1444027
43.69/38.27	o 1445461
43.69/38.27	o 1446372
43.69/38.27	o 1446929
43.69/38.27	o 1447452
43.69/38.27	o 1448363
43.69/38.28	o 1448427
43.69/38.28	o 1449861
43.69/38.28	o 1451309
43.69/38.28	o 1452743
43.69/38.29	o 1452770
43.69/38.29	o 1452933
43.69/38.29	o 1452943
43.69/38.29	o 1453868
43.69/38.29	o 1454877
43.69/38.29	o 1457759
43.69/38.29	o 1459193
43.69/38.29	o 1460286
43.69/38.29	o 1461720
43.69/38.30	o 1463978
43.69/38.30	o 1466505
43.81/38.30	o 1467939
43.81/38.30	o 1468850
43.81/38.30	o 1469072
43.81/38.30	o 1469324
43.81/38.30	o 1470235
43.81/38.30	o 1470457
43.81/38.30	o 1471179
43.81/38.30	o 1471401
43.81/38.31	o 1472090
43.81/38.31	o 1472312
43.81/38.32	o 1472522
43.81/38.32	o 1472579
43.81/38.32	o 1473053
43.81/38.32	o 1473964
43.81/38.32	o 1474501
43.81/38.32	o 1474550
43.81/38.32	o 1475935
43.81/38.32	o 1476846
43.81/38.32	o 1477218
43.81/38.34	o 1477587
43.81/38.34	o 1478118
43.81/38.34	o 1479029
43.81/38.34	o 1479566
43.81/38.34	o 1481000
43.81/38.34	o 1481911
43.81/38.34	o 1482385
43.81/38.34	o 1483296
43.81/38.34	o 1484240
43.81/38.34	o 1485151
43.81/38.34	o 1485373
43.81/38.34	o 1486431
43.81/38.35	o 1487816
43.81/38.35	o 1488286
43.81/38.35	o 1489671
43.81/38.35	o 1489893
43.81/38.35	o 1490582
43.81/38.35	o 1490804
43.81/38.35	o 1491239
43.81/38.35	o 1492150
43.81/38.35	o 1492372
43.81/38.35	o 1492513
43.81/38.35	o 1492735
43.81/38.36	o 1492983
43.81/38.36	o 1494368
43.81/38.36	o 1494590
43.81/38.36	o 1494773
43.81/38.36	o 1495936
43.81/38.36	o 1496158
43.81/38.36	o 1496847
43.81/38.36	o 1497069
43.81/38.36	o 1497220
43.81/38.36	o 1498124
43.81/38.36	o 1498479
43.81/38.37	o 1499438
43.81/38.37	o 1499572
43.81/38.37	o 1499621
43.81/38.37	o 1501006
43.81/38.37	o 1501917
43.81/38.37	o 1502139
43.81/38.38	o 1502572
43.81/38.38	o 1503581
43.81/38.38	o 1503936
43.81/38.38	o 1504608
43.81/38.38	o 1504895
43.81/38.39	o 1505029
43.81/38.39	o 1506463
43.91/38.40	o 1507578
43.91/38.40	o 1507933
43.91/38.40	o 1508605
43.91/38.40	o 1508892
43.91/38.40	o 1510460
43.91/38.40	o 1511894
43.91/38.40	o 1512805
43.91/38.40	o 1513589
43.91/38.40	o 1515023
43.91/38.40	o 1515934
43.91/38.40	o 1516068
43.91/38.40	o 1516591
43.91/38.40	o 1517502
43.91/38.41	o 1517724
43.91/38.42	o 1518238
43.91/38.42	o 1518659
43.91/38.42	o 1520093
43.91/38.42	o 1520227
43.91/38.42	o 1521661
43.91/38.42	o 1521883
43.91/38.42	o 1522572
43.91/38.42	o 1522794
43.91/38.42	o 1523046
43.91/38.42	o 1523957
43.91/38.42	o 1524179
43.91/38.43	o 1524332
43.91/38.43	o 1524554
43.91/38.43	o 1525243
43.91/38.43	o 1525465
43.91/38.44	o 1526119
43.91/38.44	o 1526218
43.91/38.44	o 1526593
43.91/38.44	o 1527504
43.91/38.45	o 1527596
43.91/38.45	o 1528882
43.91/38.45	o 1530123
43.91/38.45	o 1531409
43.91/38.45	o 1532320
43.91/38.46	o 1532542
43.91/38.46	o 1532570
43.91/38.46	o 1533005
43.91/38.46	o 1533916
43.91/38.46	o 1534138
43.91/38.46	o 1534291
43.91/38.46	o 1534513
43.91/38.46	o 1535202
43.91/38.46	o 1535424
43.91/38.47	o 1536144
43.91/38.47	o 1536366
43.91/38.47	o 1536660
43.91/38.47	o 1536882
44.01/38.50	o 1537354
44.01/38.50	o 1537729
44.01/38.50	o 1538640
44.01/38.50	o 1538671
44.01/38.50	o 1539582
44.01/38.50	o 1539804
44.01/38.50	o 1539920
44.01/38.50	o 1540611
44.01/38.50	o 1541553
44.01/38.50	o 1541775
44.01/38.50	o 1542464
44.01/38.50	o 1542686
44.01/38.53	o 1543260
44.01/38.53	o 1543482
44.26/38.71	o 1543490
44.26/38.71	o 1543949
44.26/38.71	o 1544334
44.26/38.72	o 1544722
44.26/38.72	o 1545107
44.26/38.73	o 1545707
44.26/38.73	o 1546207
44.26/38.74	o 1546838
44.26/38.74	o 1547323
44.26/38.74	o 1548096
44.26/38.74	o 1548596
44.26/38.74	o 1549055
44.26/38.75	o 1549413
44.26/38.75	o 1549913
44.26/38.75	o 1550372
44.26/38.75	o 1550645
44.26/38.75	o 1550686
44.26/38.75	o 1551145
44.26/38.76	o 1551530
44.26/38.77	o 1552024
44.26/38.78	o 1552340
44.26/38.78	o 1552782
44.26/38.78	o 1553282
44.26/38.78	o 1553555
44.26/38.78	o 1554055
44.26/38.78	o 1554514
44.26/38.78	o 1555040
44.36/38.80	o 1555715
44.36/38.80	o 1556101
44.36/38.80	o 1557043
44.36/38.80	o 1557359
44.36/38.82	o 1558301
44.36/38.82	o 1558420
44.36/38.82	o 1559362
44.36/38.82	o 1559748
44.36/38.82	o 1560690
44.36/38.82	o 1561463
44.36/38.83	o 1561922
44.36/38.83	o 1561963
44.36/38.83	o 1562422
44.36/38.83	o 1562780
44.36/38.83	o 1563280
44.36/38.83	o 1563553
44.36/38.83	o 1564053
44.36/38.83	o 1564512
44.36/38.84	o 1564897
44.36/38.87	o 1565014
44.36/38.87	o 1565183
44.36/38.87	o 1565956
44.36/38.87	o 1566415
44.36/38.87	o 1566434
44.36/38.89	o 1566553
44.36/38.90	o 1567495
44.36/38.90	o 1567881
44.46/38.90	o 1568823
44.46/38.90	o 1569282
44.46/38.90	o 1569596
44.46/38.90	o 1570055
44.46/38.90	o 1570096
44.46/38.90	o 1570555
44.46/38.91	o 1570913
44.46/38.91	o 1571413
44.46/38.91	o 1571686
44.46/38.91	o 1572186
44.46/38.91	o 1572645
44.46/38.91	o 1573030
45.04/39.33	o 1573138
45.04/39.33	o 1573360
45.14/39.47	o 1573455
45.24/39.51	o 1573730
45.24/39.51	o 1574503
45.24/39.51	o 1575192
45.24/39.51	o 1575330
45.24/39.51	o 1575414
45.24/39.51	o 1576103
45.24/39.51	o 1576675
45.24/39.51	o 1577364
45.24/39.51	o 1577459
45.24/39.52	o 1577774
45.24/39.52	o 1577869
45.24/39.52	o 1578287
45.24/39.52	o 1579060
45.24/39.52	o 1579155
45.24/39.53	o 1579749
45.24/39.53	o 1579844
45.24/39.54	o 1579938
45.24/39.54	o 1580154
45.24/39.54	o 1580189
45.24/39.54	o 1580253
45.24/39.54	o 1580278
45.24/39.54	o 1580628
45.24/39.54	o 1580766
45.24/39.54	o 1581539
45.24/39.54	o 1582228
45.24/39.54	o 1582323
45.24/39.56	o 1583146
45.24/39.56	o 1583241
45.24/39.56	o 1583835
45.24/39.56	o 1583930
45.24/39.56	o 1584219
45.24/39.57	o 1584491
45.24/39.57	o 1585180
45.24/39.57	o 1585876
45.24/39.57	o 1586565
45.24/39.57	o 1586660
45.24/39.57	o 1586744
45.24/39.57	o 1587338
45.24/39.57	o 1587433
45.24/39.58	o 1587565
45.24/39.58	o 1587664
45.24/39.58	o 1588039
45.24/39.58	o 1588261
45.24/39.58	o 1588950
45.24/39.58	o 1589034
45.24/39.58	o 1589723
45.24/39.58	o 1589818
45.24/39.59	o 1589912
45.24/39.59	o 1590740
45.24/39.60	o 1591513
45.24/39.60	o 1591608
45.33/39.60	o 1592202
45.33/39.60	o 1592297
45.43/39.75	o 1592713
45.43/39.75	o 1592808
45.43/39.77	o 1593065
45.43/39.77	o 1593160
45.43/39.77	o 1593754
45.43/39.77	o 1593849
45.43/39.78	o 1594000
45.43/39.78	o 1594389
45.43/39.78	o 1594424
45.43/39.78	o 1594863
45.43/39.78	o 1595001
45.43/39.78	o 1595085
45.43/39.78	o 1595774
45.43/39.79	o 1596041
45.43/39.79	o 1596730
45.43/39.79	o 1596825
45.43/39.79	o 1597052
45.43/39.80	o 1597190
45.43/39.80	o 1597963
45.43/39.80	o 1598186
45.53/39.80	o 1598625
45.53/39.80	o 1599536
45.53/39.80	o 1600309
45.53/39.80	o 1601355
45.53/39.80	o 1602128
45.53/39.80	o 1602266
45.53/39.80	o 1603039
45.53/39.81	o 1603728
45.53/39.81	o 1603823
45.53/39.83	o 1604429
45.53/39.83	o 1604651
45.53/39.83	o 1605340
45.53/39.83	o 1605435
45.53/39.83	o 1605519
45.53/39.83	o 1606113
45.53/39.83	o 1606208
45.53/39.88	o 1606302
45.53/39.90	o 1606434
45.63/39.90	o 1606469
45.63/39.90	o 1606908
45.63/39.90	o 1607130
45.63/39.90	o 1607819
45.63/39.90	o 1607903
45.63/39.90	o 1608592
45.63/39.90	o 1608687
45.74/40.09	o 1608923
45.74/40.09	o 1609018
45.74/40.09	o 1609112
45.74/40.09	o 1609157
45.74/40.09	o 1609846
45.74/40.09	o 1609940
45.74/40.09	o 1610713
45.74/40.09	o 1611402
45.74/40.09	o 1611497
45.84/40.16	o 1611541
45.84/40.16	o 1611576
45.84/40.16	o 1612015
45.84/40.16	o 1612237
45.84/40.16	o 1612926
45.84/40.16	o 1613021
45.84/40.17	o 1613105
45.84/40.17	o 1613699
45.84/40.17	o 1613794
45.94/40.22	o 1613888
45.94/40.23	o 1614020
45.94/40.23	o 1614055
45.94/40.23	o 1614494
45.94/40.23	o 1614716
45.94/40.23	o 1615405
45.94/40.23	o 1615489
45.94/40.23	o 1616178
45.94/40.23	o 1616273
46.04/40.31	o 1616647
46.04/40.31	o 1616742
46.04/40.31	o 1617336
46.04/40.32	o 1617431
46.04/40.33	o 1617469
46.04/40.33	o 1617640
46.04/40.33	o 1617675
46.04/40.33	o 1618252
46.04/40.33	o 1618336
46.04/40.33	o 1619025
46.04/40.33	o 1619761
46.04/40.33	o 1619796
46.04/40.33	o 1620235
46.04/40.33	o 1620373
46.04/40.33	o 1621146
46.04/40.33	o 1621835
46.04/40.34	o 1621930
46.04/40.34	o 1622758
46.04/40.34	o 1622853
46.04/40.34	o 1623447
46.04/40.34	o 1623542
46.04/40.34	o 1624220
46.04/40.34	o 1624315
46.24/40.53	o 1624411
46.24/40.53	o 1624506
46.34/40.63	o 1624988
46.34/40.63	o 1625179
46.34/40.63	o 1625389
46.34/40.63	o 1625595
46.34/40.63	o 1626256
46.34/40.63	o 1626945
46.34/40.63	o 1627029
46.34/40.63	o 1627718
46.34/40.63	o 1627909
46.34/40.63	o 1628004
46.34/40.67	o 1628641
46.34/40.67	o 1629414
46.34/40.67	o 1629509
46.34/40.67	o 1629605
46.34/40.67	o 1629700
46.34/40.67	o 1630103
46.34/40.67	o 1630294
46.34/40.67	o 1630389
46.44/40.73	o 1630466
46.44/40.73	o 1630561
46.44/40.73	o 1630657
46.44/40.73	o 1630752
46.44/40.73	o 1630812
46.44/40.73	o 1631003
46.44/40.73	o 1631251
46.44/40.74	o 1631389
46.44/40.74	o 1632162
46.44/40.74	o 1632353
46.44/40.74	o 1632851
46.44/40.74	o 1633042
46.44/40.74	o 1633137
46.54/40.82	o 1633365
46.54/40.82	o 1633503
46.54/40.82	o 1634276
46.54/40.82	o 1634965
46.54/40.82	o 1635060
46.54/40.82	o 1635156
46.54/40.82	o 1635251
46.54/40.87	o 1635794
46.54/40.87	o 1635985
46.54/40.87	o 1636439
46.54/40.87	o 1636577
46.54/40.87	o 1636661
46.54/40.87	o 1637350
46.54/40.87	o 1637541
46.54/40.87	o 1637636
46.64/40.90	o 1637987
46.64/40.90	o 1638125
46.64/40.90	o 1638898
46.64/40.91	o 1638993
46.64/40.91	o 1639089
46.64/40.91	o 1639184
46.64/40.91	o 1639587
46.64/40.91	o 1639778
46.64/40.91	o 1639873
46.64/40.91	o 1640101
46.64/40.91	o 1640196
46.64/40.91	o 1640239
46.64/40.91	o 1641012
46.64/40.91	o 1641107
46.64/40.91	o 1641701
46.64/40.91	o 1641796
46.64/40.92	o 1641892
46.64/40.92	o 1641987
46.64/40.92	o 1642530
46.64/40.92	o 1642701
46.64/40.92	o 1642736
46.64/40.92	o 1643397
46.64/40.92	o 1644086
46.64/40.92	o 1644277
46.64/40.92	o 1644372
49.20/43.33	o 1645212
49.20/43.34	o 1646623
49.20/43.34	o 1646908
49.20/43.34	o 1648319
49.20/43.37	o 1650265
49.20/43.37	o 1650466
49.20/43.37	o 1650737
49.20/43.37	o 1657287
49.20/43.37	o 1663533
49.20/43.37	o 1665521
49.20/43.37	o 1666268
50.21/44.32	o 1667836
50.21/44.32	o 1667972
50.21/44.32	o 1668945
50.21/44.33	o 1668989
50.21/44.33	o 1670728
50.21/44.33	o 1672411
50.21/44.33	o 1674150
50.21/44.33	o 1674995
50.21/44.33	o 1675412
50.21/44.33	o 1677051
50.21/44.33	o 1678834
50.21/44.33	o 1680573
50.21/44.33	o 1681849
50.21/44.33	o 1683588
50.21/44.33	o 1683632
50.21/44.33	o 1685371
50.21/44.33	o 1685507
50.21/44.33	o 1685818
50.21/44.33	o 1685954
50.21/44.34	o 1686341
50.21/44.34	o 1686853
50.21/44.34	o 1687270
50.21/44.34	o 1688909
50.21/44.34	o 1688953
50.21/44.34	o 1690692
50.21/44.34	o 1691139
50.21/44.34	o 1691275
50.21/44.34	o 1691339
50.21/44.34	o 1692978
50.21/44.34	o 1694761
50.21/44.34	o 1695208
50.21/44.34	o 1695344
50.21/44.34	o 1696500
50.21/44.34	o 1696636
50.21/44.35	o 1696947
50.21/44.35	o 1697083
50.21/44.35	o 1697675
50.21/44.35	o 1698122
50.21/44.35	o 1699458
50.21/44.35	o 1699905
50.21/44.39	o 1700477
50.21/44.39	o 1702305
50.21/44.39	o 1704240
50.21/44.39	o 1706068
50.21/44.39	o 1707499
50.21/44.39	o 1711262
50.21/44.39	o 1713090
50.21/44.39	o 1714648
50.21/44.39	o 1716583
50.21/44.40	o 1718411
50.32/44.40	o 1721425
50.32/44.40	o 1722983
50.32/44.40	o 1726746
50.32/44.40	o 1728574
50.32/44.40	o 1729980
50.32/44.40	o 1731808
50.32/44.40	o 1733242
50.32/44.43	o 1735548
50.32/44.43	o 1736007
50.32/44.43	o 1736102
50.32/44.43	o 1736253
50.32/44.43	o 1736348
50.32/44.43	o 1737232
50.32/44.43	o 1737327
50.32/44.43	o 1737691
50.32/44.43	o 1737786
50.32/44.43	o 1737937
50.32/44.44	o 1738032
50.32/44.44	o 1738454
50.32/44.44	o 1738700
50.32/44.44	o 1742536
50.32/44.44	o 1742995
50.32/44.44	o 1743241
50.32/44.44	o 1743336
50.32/44.44	o 1743837
50.32/44.44	o 1747673
50.32/44.44	o 1748378
50.32/44.44	o 1748473
50.32/44.44	o 1750907
50.32/44.44	o 1751366
50.32/44.44	o 1751461
50.32/44.45	o 1751612
50.32/44.45	o 1751707
50.32/44.47	o 1752428
50.32/44.48	o 1752523
50.43/44.50	o 1753788
50.43/44.50	o 1755571
50.43/44.51	o 1758320
50.43/44.51	o 1760103
50.43/44.51	o 1760408
50.43/44.51	o 1762115
50.43/44.51	o 1763898
50.43/44.51	o 1764904
50.43/44.51	o 1768394
50.43/44.51	o 1771686
50.43/44.51	o 1775176
50.43/44.51	o 1776959
50.43/44.54	o 1778491
50.43/44.54	o 1782845
50.43/44.54	o 1783983
50.43/44.54	o 1788337
50.53/44.61	o 1788420
50.53/44.61	o 1789362
50.53/44.61	o 1791910
50.53/44.61	o 1792852
50.64/44.71	o 1794332
50.64/44.71	o 1795574
50.64/44.71	o 1798808
50.64/44.71	o 1800115
50.64/44.71	o 1803349
50.64/44.72	o 1807565
50.64/44.72	o 1810799
50.64/44.72	o 1811811
50.64/44.72	o 1815045
50.64/44.75	o 1815206
50.64/44.76	o 1818747
50.64/44.76	o 1819452
50.64/44.76	o 1820691
50.64/44.76	o 1821396
50.64/44.76	o 1823373
50.64/44.76	o 1824078
50.89/45.00	o 1824144
50.89/45.00	o 1824307
50.89/45.00	o 1824498
50.89/45.00	o 1825211
50.89/45.00	o 1825402
50.89/45.01	o 1825404
51.00/45.01	o 1826308
51.00/45.01	o 1826795
51.00/45.01	o 1827184
51.00/45.01	o 1827276
51.00/45.01	o 1828534
51.00/45.01	o 1828661
51.00/45.01	o 1829919
51.00/45.01	o 1830823
51.00/45.01	o 1831014
51.00/45.02	o 1831481
51.00/45.02	o 1831672
51.00/45.05	o 1832187
51.00/45.05	o 1832939
51.00/45.06	o 1832943
51.00/45.06	o 1833035
51.00/45.06	o 1833389
51.00/45.06	o 1834293
51.00/45.06	o 1834364
51.00/45.06	o 1834413
51.00/45.06	o 1834448
51.00/45.06	o 1834540
51.00/45.06	o 1835798
51.00/45.06	o 1836702
51.00/45.06	o 1836893
51.00/45.07	o 1837360
51.00/45.07	o 1837551
51.00/45.10	o 1837773
51.00/45.10	o 1838608
51.00/45.10	o 1839512
51.00/45.10	o 1839703
51.10/45.11	o 1840170
51.10/45.12	o 1840361
51.10/45.15	o 1840377
51.10/45.15	o 1840731
51.10/45.15	o 1841635
51.10/45.16	o 1841796
51.10/45.16	o 1842083
51.10/45.16	o 1842118
51.10/45.16	o 1842210
51.10/45.16	o 1842564
51.10/45.16	o 1843468
51.10/45.16	o 1843507
51.10/45.16	o 1843629
51.10/45.16	o 1843812
51.10/45.17	o 1843861
51.10/45.17	o 1843896
51.10/45.17	o 1843988
51.10/45.17	o 1845246
51.10/45.17	o 1846150
51.10/45.19	o 1846341
51.10/45.19	o 1846472
51.10/45.19	o 1846663
51.10/45.19	o 1846826
51.10/45.19	o 1847730
51.10/45.19	o 1847921
51.19/45.20	o 1848449
51.19/45.20	o 1848640
51.19/45.20	o 1849241
51.19/45.20	o 1849508
51.19/45.20	o 1849600
51.19/45.20	o 1850858
51.19/45.20	o 1851049
51.19/45.21	o 1851762
51.19/45.21	o 1851953
51.19/45.22	o 1852420
51.19/45.22	o 1852611
51.19/45.24	o 1852892
51.19/45.24	o 1853083
51.19/45.24	o 1853586
51.19/45.24	o 1853957
51.19/45.24	o 1854189
51.19/45.24	o 1854316
51.19/45.24	o 1855574
51.19/45.24	o 1855765
51.19/45.24	o 1856478
51.19/45.24	o 1856669
51.19/45.25	o 1856671
51.19/45.25	o 1856832
51.19/45.26	o 1857423
51.19/45.26	o 1858376
51.19/45.26	o 1858777
51.19/45.26	o 1859198
51.19/45.26	o 1859447
51.19/45.26	o 1859569
51.19/45.26	o 1859752
51.19/45.26	o 1859801
51.19/45.27	o 1859836
51.19/45.27	o 1859928
51.19/45.27	o 1861186
51.19/45.27	o 1862090
51.19/45.27	o 1862281
51.19/45.28	o 1862748
51.19/45.28	o 1862939
51.29/45.39	o 1863730
51.29/45.39	o 1865141
51.52/45.52	o 1865345
51.52/45.52	o 1865536
51.52/45.52	o 1865631
51.52/45.54	o 1865792
51.52/45.54	o 1865887
51.52/45.56	o 1865983
51.52/45.57	o 1866078
51.52/45.57	o 1866341
51.52/45.57	o 1866436
51.52/45.57	o 1866532
51.52/45.57	o 1866627
51.52/45.57	o 1866712
51.52/45.57	o 1866903
51.52/45.57	o 1867387
51.52/45.57	o 1867582
51.52/45.57	o 1867624
51.52/45.57	o 1868329
51.52/45.58	o 1868520
51.52/45.58	o 1868615
51.52/45.58	o 1868776
51.52/45.58	o 1868871
51.52/45.58	o 1868967
51.52/45.58	o 1869062
51.52/45.59	o 1869354
51.52/45.59	o 1869545
51.52/45.59	o 1870114
51.52/45.60	o 1870642
51.52/45.60	o 1871227
51.62/45.60	o 1871323
51.62/45.60	o 1872028
51.62/45.60	o 1872139
51.62/45.60	o 1872844
51.62/45.60	o 1873035
51.62/45.60	o 1873291
51.62/45.60	o 1873482
51.62/45.60	o 1873577
51.62/45.60	o 1873685
51.62/45.61	o 1874056
51.62/45.61	o 1874731
51.62/45.61	o 1874857
51.62/45.61	o 1874926
51.62/45.61	o 1874968
51.62/45.61	o 1875673
51.62/45.61	o 1875768
51.62/45.61	o 1876120
51.62/45.61	o 1876215
51.62/45.61	o 1876311
51.62/45.61	o 1876406
51.90/45.75	o 1877417
51.90/45.75	o 1878190
51.90/45.75	o 1878233
51.90/45.75	o 1879006
51.90/45.75	o 1879618
51.90/45.76	o 1880391
51.90/45.76	o 1880886
51.90/45.76	o 1881668
51.90/45.76	o 1882410
51.90/45.76	o 1883226
51.90/45.76	o 1884106
51.90/45.76	o 1884922
51.90/45.76	o 1885695
53.06/46.89	o 1887672
53.06/46.89	o 1888617
53.06/46.89	o 1891107
53.06/46.89	o 1891842
53.06/46.89	o 1894652
53.06/46.89	o 1896220
53.16/46.93	o 1897964
53.16/46.93	o 1899819
53.16/46.93	o 1900635
53.16/46.93	o 1901340
53.39/47.13	o 1901485
53.39/47.13	o 1904021
53.39/47.13	o 1905638
53.39/47.13	o 1906410
53.39/47.13	o 1908027
53.39/47.13	o 1908868
53.39/47.13	o 1909438
53.39/47.13	o 1910279
53.39/47.17	o 1910326
53.39/47.17	o 1911760
53.39/47.17	o 1913145
53.39/47.17	o 1913592
53.49/47.23	o 1913671
53.70/47.48	o 1913809
53.70/47.48	o 1913990
53.70/47.48	o 1916345
53.70/47.49	o 1916526
53.70/47.49	o 1916662
53.82/47.54	o 1916999
56.12/49.81	o 1917648
56.12/49.81	o 1917784
56.12/49.81	o 1918109
56.12/49.82	o 1920458
56.12/49.82	o 1920594
56.12/49.84	o 1921555
56.12/49.84	o 1922049
56.12/49.85	o 1923904
56.34/50.08	o 1925230
56.34/50.09	o 1928793
56.34/50.09	o 1930294
56.34/50.09	o 1930532
56.34/50.09	o 1932033
56.34/50.09	o 1934144
56.34/50.09	o 1935883
56.34/50.09	o 1937384
59.20/52.63	o 1937975
59.20/52.64	o 1938035
59.20/52.64	o 1938203
59.20/52.68	o 1938864
59.20/52.69	o 1939637
59.20/52.69	o 1940384
59.30/52.77	o 1941142
59.30/52.77	o 1941479
59.30/52.77	o 1944632
59.30/52.77	o 1944969
59.30/52.78	o 1947866
59.30/52.78	o 1948203
59.40/52.89	o 1948703
60.14/53.56	o 1948838
60.14/53.56	o 1949285
60.75/54.14	o 1949919
60.75/54.14	o 1950366
60.75/54.15	o 1950717
60.75/54.15	o 1951245
60.75/54.15	o 1952742
60.75/54.15	o 1953447
60.75/54.19	o 1953543
60.75/54.19	o 1953922
60.75/54.19	o 1954047
60.75/54.19	o 1954428
60.75/54.19	o 1954575
60.75/54.19	o 1956777
60.84/54.25	o 1957482
60.84/54.26	o 1957929
60.84/54.27	o 1958298
60.84/54.27	o 1958745
60.94/54.34	o 1959855
60.94/54.34	o 1960560
61.04/54.46	o 1961007
61.04/54.48	o 1961376
61.04/54.48	o 1961823
61.31/54.65	o 1962081
61.31/54.65	o 1962786
63.80/56.81	o 1962834
63.80/56.81	o 1963675
63.80/56.81	o 1964113
63.80/56.81	o 1964954
63.80/56.85	o 1967877
63.80/56.85	o 1970266
63.80/56.85	o 1970286
63.80/56.85	o 1972675
63.80/56.86	o 1973516
63.80/56.87	o 1973812
63.80/56.87	o 1976221
63.80/56.87	o 1977062
63.80/56.87	o 1978610
63.80/56.87	o 1979451
63.90/56.94	o 1979953
63.90/56.94	o 1980129
63.90/56.94	o 1980977
63.90/56.94	o 1981153
63.90/56.94	o 1982362
63.90/56.94	o 1982538
63.90/56.96	o 1982674
63.90/56.97	o 1984657
63.90/56.97	o 1986042
63.90/56.99	o 1987665
63.90/57.00	o 1989050
64.01/57.01	o 1989714
64.01/57.01	o 1993449
64.01/57.01	o 1994834
64.01/57.01	o 1996457
64.01/57.01	o 1997842
64.01/57.02	o 1999186
64.01/57.02	o 2002208
64.01/57.02	o 2005216
64.01/57.05	o 2006601
64.01/57.06	o 2007625
64.01/57.06	o 2009010
64.01/57.06	o 2009186
64.01/57.06	o 2009322
64.12/57.13	o 2009622
64.12/57.13	o 2013327
64.12/57.13	o 2015968
64.12/57.13	o 2016879
64.22/57.20	o 2017561
64.22/57.21	o 2017656
64.22/57.23	o 2018026
64.22/57.23	o 2018968
64.22/57.24	o 2020369
64.22/57.24	o 2023377
64.22/57.24	o 2024319
64.22/57.24	o 2024414
64.22/57.24	o 2025027
64.22/57.24	o 2025969
64.22/57.24	o 2026064
64.22/57.25	o 2026078
64.22/57.25	o 2028095
64.22/57.25	o 2028190
64.22/57.25	o 2031103
64.22/57.25	o 2031198
64.22/57.26	o 2032045
64.22/57.26	o 2032140
64.22/57.26	o 2032753
64.22/57.26	o 2033695
64.22/57.27	o 2033790
64.22/57.30	o 2034953
64.22/57.30	o 2035642
64.32/57.32	o 2035714
64.32/57.33	o 2037058
64.32/57.33	o 2037249
64.32/57.33	o 2041294
64.32/57.33	o 2044784
64.32/57.33	o 2044975
64.32/57.38	o 2048252
64.32/57.38	o 2049163
64.32/57.38	o 2050004
64.43/57.41	o 2050228
64.43/57.41	o 2050364
64.43/57.44	o 2050811
64.95/57.98	o 2050815
64.95/57.98	o 2050996
64.95/57.98	o 2051356
64.95/57.98	o 2051537
64.95/57.98	o 2052061
64.95/57.98	o 2052242
64.95/57.98	o 2052667
64.95/57.98	o 2053039
64.95/57.98	o 2053136
64.95/57.98	o 2053677
64.95/57.98	o 2053909
64.95/57.98	o 2054450
64.95/57.98	o 2054631
64.95/57.99	o 2054692
64.95/58.00	o 2055015
64.95/58.00	o 2055196
64.95/58.00	o 2055218
64.95/58.00	o 2055356
64.95/58.00	o 2055962
64.95/58.00	o 2056267
64.95/58.00	o 2056972
64.95/58.00	o 2057040
64.95/58.00	o 2057745
64.95/58.00	o 2057926
64.95/58.00	o 2058286
64.95/58.00	o 2058467
65.06/58.01	o 2058568
65.06/58.07	o 2059314
65.06/58.07	o 2061142
65.06/58.07	o 2062548
65.06/58.08	o 2064376
67.80/60.24	o 2065192
67.90/60.39	o 2066000
68.01/60.40	o 2067986
68.62/61.07	o 2068055
68.62/61.08	o 2068392
68.62/61.08	o 2068494
68.62/61.09	o 2068844
68.62/61.09	o 2068905
68.62/61.09	o 2069405
68.62/61.09	o 2069742
68.62/61.09	o 2070015
68.62/61.09	o 2070178
68.62/61.09	o 2070515
68.72/61.16	o 2070666
68.72/61.16	o 2071166
68.72/61.16	o 2071503
68.72/61.19	o 2071714
68.81/61.24	o 2072064
68.81/61.24	o 2072625
68.81/61.24	o 2073414
68.81/61.24	o 2073975
68.81/61.24	o 2074187
68.81/61.24	o 2074748
68.81/61.24	o 2075085
68.81/61.24	o 2075248
68.81/61.24	o 2075585
68.81/61.28	o 2075945
68.81/61.29	o 2076282
69.23/61.65	o 2078713
69.23/61.65	o 2079554
69.23/61.65	o 2079649
69.23/61.65	o 2083037
69.23/61.65	o 2083132
69.23/61.65	o 2083878
69.23/61.65	o 2083973
77.19/69.28	o 2085745
78.10/70.12	o 2085932
78.10/70.15	o 2086003
78.10/70.15	o 2086819
78.10/70.16	o 2087448
78.10/70.19	o 2087760
78.10/70.19	o 2088764
78.10/70.19	o 2090149
78.69/70.72	o 2090308
78.69/70.72	o 2091124
78.69/70.72	o 2091596
78.69/70.72	o 2093798
78.69/70.73	o 2094614
78.69/70.73	o 2094912
78.69/70.73	o 2095384
78.69/70.73	o 2097586
78.69/70.73	o 2098402
78.69/70.73	o 2100526
78.69/70.73	o 2101342
78.69/70.74	o 2102728
78.69/70.74	o 2103544
78.69/70.74	o 2105264
78.69/70.74	o 2106080
78.69/70.74	o 2106974
78.69/70.74	o 2107308
78.69/70.74	o 2109510
78.69/70.75	o 2110326
79.00/71.09	o 2111346
79.00/71.09	o 2111846
79.10/71.12	o 2111960
79.10/71.13	o 2113134
79.10/71.13	o 2113773
79.10/71.13	o 2114677
79.10/71.13	o 2117990
79.10/71.15	o 2118490
79.20/71.24	o 2120641
79.20/71.24	o 2120832
79.20/71.24	o 2122498
79.20/71.24	o 2124887
79.20/71.24	o 2125078
79.20/71.24	o 2125218
79.20/71.24	o 2125264
79.20/71.24	o 2126275
79.20/71.24	o 2129319
79.20/71.24	o 2129510
79.20/71.25	o 2131708
79.20/71.25	o 2131899
79.30/71.31	o 2132269
79.30/71.31	o 2133203
79.30/71.31	o 2133703
79.30/71.33	o 2133962
79.30/71.33	o 2135268
79.30/71.33	o 2136170
79.30/71.33	o 2136564
79.30/71.33	o 2137998
79.30/71.33	o 2138953
79.30/71.33	o 2140387
79.30/71.34	o 2141030
79.30/71.34	o 2142464
79.30/71.34	o 2142964
79.30/71.34	o 2144761
79.30/71.34	o 2145010
79.30/71.34	o 2146838
79.30/71.34	o 2147338
79.30/71.34	o 2148272
79.30/71.34	o 2148772
79.30/71.35	o 2150586
79.30/71.35	o 2152020
79.30/71.35	o 2152177
79.30/71.35	o 2154005
79.30/71.35	o 2154566
79.30/71.35	o 2156394
79.30/71.35	o 2157828
79.30/71.36	o 2158328
80.06/71.71	o 2160402
80.48/72.12	o 2160885
80.48/72.12	o 2161076
80.48/72.12	o 2161212
80.48/72.16	o 2161565
80.48/72.16	o 2161701
80.48/72.18	o 2161756
80.48/72.19	o 2161892
80.57/72.20	o 2162582
80.57/72.20	o 2162718
80.57/72.20	o 2162773
80.57/72.20	o 2162909
80.67/72.32	o 2164362
80.67/72.32	o 2165712
80.67/72.33	o 2167717
80.67/72.33	o 2169545
80.67/72.33	o 2169791
80.67/72.33	o 2171619
80.67/72.33	o 2172969
80.67/72.37	o 2173233
80.67/72.37	o 2176241
80.67/72.37	o 2177591
80.67/72.38	o 2178069
80.67/72.39	o 2179419
83.07/74.70	o 2179932
83.07/74.70	o 2180379
83.07/74.70	o 2180705
83.07/74.70	o 2181152
83.07/74.75	o 2181157
83.07/74.75	o 2181631
83.07/74.75	o 2181822
83.07/74.75	o 2181998
83.07/74.75	o 2182236
83.07/74.75	o 2182412
83.07/74.75	o 2182427
83.07/74.75	o 2184629
83.07/74.75	o 2185470
83.07/74.75	o 2185646
83.07/74.75	o 2185661
83.07/74.75	o 2185837
83.07/74.79	o 2186967
83.07/74.79	o 2187266
83.07/74.79	o 2189121
83.07/74.80	o 2192092
83.17/74.80	o 2193947
83.17/74.80	o 2194284
83.17/74.81	o 2194460
83.38/75.05	o 2195923
83.38/75.05	o 2196764
83.38/75.06	o 2197453
83.98/75.65	o 2197549
83.98/75.66	o 2197718
83.98/75.66	o 2198407
83.98/75.66	o 2198534
83.98/75.66	o 2199223
83.98/75.66	o 2199404
87.34/78.12	o 2203921
87.34/78.12	o 2205271
92.49/83.28	o 2206053
92.49/83.28	o 2206742
92.49/83.28	o 2207792
92.49/83.28	o 2208481
92.79/83.59	o 2208904
92.79/83.59	o 2209658
92.79/83.59	o 2210405
92.79/83.59	o 2210503
92.79/83.59	o 2211250
92.89/83.65	o 2212008
92.89/83.65	o 2213576
92.89/83.65	o 2215847
92.89/83.65	o 2217415
92.89/83.67	o 2218260
92.99/83.74	o 2219007
93.09/83.85	o 2219223
93.09/83.85	o 2220134
93.09/83.85	o 2220310
93.33/84.10	o 2221116
93.33/84.10	o 2221453
95.82/86.58	o 2223924
95.82/86.59	o 2226460
98.48/89.20	o 2226565
98.57/89.20	o 2228911
98.57/89.21	o 2229006
104.07/94.54	o 2229763
104.89/95.37	o 2231169
104.99/95.40	o 2231504
104.99/95.40	o 2233072
104.99/95.40	o 2233893
104.99/95.40	o 2235461
107.71/98.14	o 2235501
107.71/98.14	o 2235596
107.71/98.14	o 2235904
107.71/98.15	o 2238545
107.71/98.15	o 2238640
107.91/98.32	o 2239040
107.91/98.32	o 2239813
107.91/98.33	o 2239892
108.01/98.40	o 2239988
108.01/98.40	o 2240067
108.01/98.40	o 2240570
108.01/98.41	o 2240649
108.01/98.46	o 2241386
108.01/98.46	o 2241465
108.01/98.46	o 2241477
108.01/98.46	o 2243257
108.01/98.46	o 2244014
108.01/98.46	o 2244030
108.01/98.46	o 2244787
108.01/98.47	o 2244866
108.01/98.47	o 2244925
108.01/98.47	o 2245603
108.01/98.48	o 2245682
110.81/101.21	o 2245694
110.81/101.21	o 2245885
110.81/101.21	o 2246451
110.81/101.21	o 2246642
110.81/101.21	o 2249007
110.81/101.21	o 2249764
110.81/101.21	o 2249955
110.81/101.21	o 2250264
110.81/101.21	o 2250455
118.67/109.03	o 2250727
119.06/109.49	o 2250761
119.16/109.52	o 2252938
119.16/109.54	o 2253685
119.16/109.55	o 2254694
119.16/109.55	o 2255441
119.16/109.55	o 2257230
119.16/109.55	o 2257977
119.26/109.64	o 2258223
119.26/109.65	o 2258821
119.26/109.65	o 2261357
119.26/109.65	o 2263212
119.46/109.85	o 2263437
125.96/116.08	o 2265130
126.36/116.42	o 2267170
131.37/121.23	o 2267624
131.37/121.23	o 2268071
131.57/121.42	o 2268397
131.57/121.42	o 2268844
131.57/121.49	o 2268848
131.57/121.49	o 2269348
131.67/121.59	o 2269524
132.28/122.14	o 2272294
132.28/122.14	o 2273236
132.28/122.14	o 2273331
132.28/122.14	o 2279701
132.28/122.14	o 2279796
132.28/122.14	o 2280643
132.28/122.14	o 2280738
132.81/122.67	o 2282209
132.81/122.68	o 2282956
135.92/125.78	o 2283058
135.92/125.78	o 2285913
136.12/125.92	o 2287550
136.33/126.12	o 2288810
136.33/126.13	o 2292348
136.33/126.14	o 2295203
140.55/130.07	o 2295627
140.55/130.07	o 2295718
140.55/130.07	o 2297129
140.55/130.07	o 2297221
140.55/130.08	o 2298789
140.55/130.08	o 2300229
140.55/130.08	o 2301797
140.55/130.08	o 2303208
144.48/133.93	o 2303239
144.48/133.93	o 2303928
154.72/143.82	o 2304256
154.72/143.85	o 2304498
154.72/143.85	o 2305409
154.72/143.86	o 2308944
154.72/143.86	o 2311480
154.72/143.87	o 2312391
158.13/147.26	o 2312616
158.13/147.26	o 2312695
158.13/147.26	o 2313558
158.13/147.26	o 2313637
158.13/147.27	o 2314027
158.13/147.27	o 2314969
158.13/147.27	o 2315048
158.23/147.32	o 2315880
158.23/147.33	o 2315959
168.41/157.11	o 2316520
182.44/170.78	o 2316638
182.44/170.78	o 2316829
193.07/181.12	o 2317648
193.07/181.12	o 2320656
194.37/182.41	o 2320738
194.37/182.41	o 2324095
194.37/182.41	o 2324276
197.48/185.59	o 2324330
197.58/185.60	o 2324777
197.58/185.61	o 2326522
197.58/185.61	o 2326969
197.58/185.61	o 2331078
197.58/185.61	o 2333779
197.58/185.61	o 2334226
197.58/185.61	o 2335995
197.58/185.61	o 2336442
212.63/200.31	o 2336774
212.63/200.31	o 2336869
212.73/200.49	o 2339815
212.73/200.49	o 2340726
212.73/200.50	o 2341630
212.83/200.50	o 2341725
216.74/204.42	o 2345745
216.74/204.42	o 2347478
216.74/204.46	o 2348019
217.04/204.75	o 2349560
232.16/219.56	o 2349663
232.16/219.56	o 2352190
232.16/219.56	o 2353758
232.16/219.56	o 2353939
232.26/219.66	o 2356731
240.27/227.64	o 2356959
240.27/227.64	o 2357648
240.27/227.66	o 2357929
240.27/227.67	o 2358785
240.27/227.67	o 2361829
240.27/227.67	o 2364175
240.27/227.68	o 2364864
240.37/227.78	o 2365429
240.37/227.78	o 2366787
240.37/227.78	o 2367282
240.37/227.78	o 2369346
240.37/227.78	o 2372138
250.54/237.78	o 2374976
250.74/237.97	o 2375111
250.74/237.97	o 2376523
250.74/237.97	o 2380118
252.04/239.20	s SATISFIABLE
252.04/239.21	v <instantiation>
252.04/239.21	v 	<list>
252.04/239.21	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]
252.04/239.21	v 	</list>
252.04/239.21	v 	<values>
252.04/239.21	v 		0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 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 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 1 1 0 0 0 1 0 1 1 1 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 1 1 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 1 0 0 1 0 0 0 1 0 1 1 0 0 0 0 0 0 0 1 0 0 1 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 1 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 1 0 1 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 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 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 1 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 1 1 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 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 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 1 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 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 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 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 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 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 1 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 
252.04/239.21	v 	</values>
252.04/239.21	v </instantiation>

Verifier Data 

OK	2380118

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4310557-1534328857/watcher-4310557-1534328857 -o /tmp/evaluation-result-4310557-1534328857/solver-4310557-1534328857 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node102-1534328374-25581 --watchdog 312 java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed 1624004344 --timelimit 252 --memlimit 11000 --nbcore 4 HOME/instance-4310557-1534328857.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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=26026, runsolver pid=26023
Current StackSize limit: 8192 KiB


[startup+0.100064 s]*
/proc/loadavg: 1.64 1.91 1.82 6/215 26041
/proc/meminfo: memFree=27366056/32770624 swapFree=67030680/67108860
[pid=26026] ppid=26023 vsize=14082736 memory=32632 CPUtime=0.12 cores=1,3,5,7
/proc/26026/stat : 26026 (java) S 26023 26026 25549 0 -1 1077944320 7110 0 0 0 11 1 0 0 20 0 15 0 250448848 14420721664 8158 33554432000 4194304 4196468 140736999181392 140736999163936 140695328112375 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 21704704 140736999187546 140736999187726 140736999187726 140736999190479 0
/proc/26026/statm: 3520684 8158 3140 1 0 3482761 0
[pid=26026/tid=26028] ppid=26023 vsize=14082736 memory=-8629632960754389629 CPUtime=0.09 cores=1,3,5,7
/proc/26026/task/26028/stat : 26028 (java) R 26023 26026 25549 0 -1 4202560 5167 0 0 0 9 0 0 0 20 0 15 0 250448849 14420721664 8158 33554432000 4194304 4196468 140736999181392 140695332311272 140695328134301 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21704704 140736999187546 140736999187726 140736999187726 140736999190479 0
[pid=26026/tid=26029] ppid=26023 vsize=14082736 memory=-7522837583129502606 CPUtime=0 cores=1,3,5,7
/proc/26026/task/26029/stat : 26029 (java) S 26023 26026 25549 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250448850 14420721664 8158 33554432000 4194304 4196468 140736999181392 140695280733072 140695328122581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21704704 140736999187546 140736999187726 140736999187726 140736999190479 0
[pid=26026/tid=26030] ppid=26023 vsize=14082736 memory=139691316795008 CPUtime=0 cores=1,3,5,7
/proc/26026/task/26030/stat : 26030 (java) S 26023 26026 25549 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250448850 14420721664 8158 33554432000 4194304 4196468 140736999181392 140695279680272 140695328122581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21704704 140736999187546 140736999187726 140736999187726 140736999190479 0
[pid=26026/tid=26031] ppid=26023 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26026/task/26031/stat : 26031 (java) S 26023 26026 25549 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250448850 14420721664 8158 33554432000 4194304 4196468 140736999181392 140695278627984 140695328122581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21704704 140736999187546 140736999187726 140736999187726 140736999190479 0
[pid=26026/tid=26032] ppid=26023 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26026/task/26032/stat : 26032 (java) S 26023 26026 25549 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250448850 14420721664 8158 33554432000 4194304 4196468 140736999181392 140694920555536 140695328122581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21704704 140736999187546 140736999187726 140736999187726 140736999190479 0
[pid=26026/tid=26033] ppid=26023 vsize=14082736 memory=139691316795008 CPUtime=0 cores=1,3,5,7
/proc/26026/task/26033/stat : 26033 (java) S 26023 26026 25549 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250448851 14420721664 8158 33554432000 4194304 4196468 140736999181392 140694241396848 140695328123522 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21704704 140736999187546 140736999187726 140736999187726 140736999190479 0
[pid=26026/tid=26034] ppid=26023 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26026/task/26034/stat : 26034 (java) S 26023 26026 25549 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250448851 14420721664 8158 33554432000 4194304 4196468 140736999181392 140694240342816 140695328122581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21704704 140736999187546 140736999187726 140736999187726 140736999190479 0
[pid=26026/tid=26035] ppid=26023 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26026/task/26035/stat : 26035 (java) S 26023 26026 25549 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250448852 14420721664 8158 33554432000 4194304 4196468 140736999181392 140694239290480 140695328122581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21704704 140736999187546 140736999187726 140736999187726 140736999190479 0
[pid=26026/tid=26036] ppid=26023 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26026/task/26036/stat : 26036 (java) S 26023 26026 25549 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250448854 14420721664 8158 33554432000 4194304 4196468 140736999181392 140694238238800 140695328130971 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21704704 140736999187546 140736999187726 140736999187726 140736999190479 0
[pid=26026/tid=26037] ppid=26023 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26026/task/26037/stat : 26037 (java) S 26023 26026 25549 0 -1 1077944384 309 0 0 0 0 0 0 0 20 0 15 0 250448854 14420721664 8158 33554432000 4194304 4196468 140736999181392 140694237186672 140695328123522 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21704704 140736999187546 140736999187726 140736999187726 140736999190479 0
[pid=26026/tid=26038] ppid=26023 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26026/task/26038/stat : 26038 (java) S 26023 26026 25549 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250448854 14420721664 8158 33554432000 4194304 4196468 140736999181392 140694236133872 140695328123522 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21704704 140736999187546 140736999187726 140736999187726 140736999190479 0
[pid=26026/tid=26039] ppid=26023 vsize=14082736 memory=139691316795008 CPUtime=0.01 cores=1,3,5,7
/proc/26026/task/26039/stat : 26039 (java) R 26023 26026 25549 0 -1 4202560 253 0 0 0 1 0 0 0 20 0 15 0 250448854 14420721664 8158 33554432000 4194304 4196468 140736999181392 140694235081584 140695306812576 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21704704 140736999187546 140736999187726 140736999187726 140736999190479 0
[pid=26026/tid=26040] ppid=26023 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26026/task/26040/stat : 26040 (java) S 26023 26026 25549 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250448854 14420721664 8158 33554432000 4194304 4196468 140736999181392 140694234029024 140695328122581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21704704 140736999187546 140736999187726 140736999187726 140736999190479 0
[pid=26026/tid=26041] ppid=26023 vsize=14082736 memory=139691316795008 CPUtime=0 cores=1,3,5,7
/proc/26026/task/26041/stat : 26041 (java) S 26023 26026 25549 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250448854 14420721664 8158 33554432000 4194304 4196468 140736999181392 140694232975792 140695328123522 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21704704 140736999187546 140736999187726 140736999187726 140736999190479 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 32632 KiB

[startup+0.21045 s]*
/proc/loadavg: 1.64 1.91 1.82 6/215 26041
/proc/meminfo: memFree=27334488/32770624 swapFree=67030680/67108860
[pid=26026] ppid=26023 vsize=14082736 memory=47064 CPUtime=0.31 cores=1,3,5,7
/proc/26026/stat : 26026 (java) S 26023 26026 25549 0 -1 1077944320 10313 0 0 0 29 2 0 0 20 0 15 0 250448848 14420721664 11766 33554432000 4194304 4196468 140736999181392 140736999163936 140695328112375 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 21704704 140736999187546 140736999187726 140736999187726 140736999190479 0
/proc/26026/statm: 3520684 11766 3407 1 0 3482761 0
[pid=26026/tid=26028] ppid=26023 vsize=14082736 memory=7022364594140610616 CPUtime=0.19 cores=1,3,5,7
/proc/26026/task/26028/stat : 26028 (java) R 26023 26026 25549 0 -1 4202560 8018 0 0 0 18 1 0 0 20 0 15 0 250448849 14420721664 11766 33554432000 4194304 4196468 140736999181392 140695332339568 140695312192862 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21704704 140736999187546 140736999187726 140736999187726 140736999190479 0
[pid=26026/tid=26029] ppid=26023 vsize=14082736 memory=343 CPUtime=0 cores=1,3,5,7
/proc/26026/task/26029/stat : 26029 (java) S 26023 26026 25549 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250448850 14420721664 11766 33554432000 4194304 4196468 140736999181392 140695280733072 140695328122581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21704704 140736999187546 140736999187726 140736999187726 140736999190479 0
[pid=26026/tid=26030] ppid=26023 vsize=14082736 memory=288370067468506752 CPUtime=0 cores=1,3,5,7
/proc/26026/task/26030/stat : 26030 (java) S 26023 26026 25549 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250448850 14420721664 11766 33554432000 4194304 4196468 140736999181392 140695279680272 140695328122581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21704704 140736999187546 140736999187726 140736999187726 140736999190479 0
[pid=26026/tid=26031] ppid=26023 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26026/task/26031/stat : 26031 (java) S 26023 26026 25549 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250448850 14420721664 11766 33554432000 4194304 4196468 140736999181392 140695278627984 140695328122581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21704704 140736999187546 140736999187726 140736999187726 140736999190479 0
[pid=26026/tid=26032] ppid=26023 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26026/task/26032/stat : 26032 (java) S 26023 26026 25549 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250448850 14420721664 11766 33554432000 4194304 4196468 140736999181392 140694920555536 140695328122581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21704704 140736999187546 140736999187726 140736999187726 140736999190479 0
[pid=26026/tid=26033] ppid=26023 vsize=14082736 memory=139691316795008 CPUtime=0 cores=1,3,5,7
/proc/26026/task/26033/stat : 26033 (java) S 26023 26026 25549 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 250448851 14420721664 11766 33554432000 4194304 4196468 140736999181392 140694241396848 140695328123522 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21704704 140736999187546 140736999187726 140736999187726 140736999190479 0
[pid=26026/tid=26034] ppid=26023 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26026/task/26034/stat : 26034 (java) S 26023 26026 25549 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250448851 14420721664 11766 33554432000 4194304 4196468 140736999181392 140694240342816 140695328122581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21704704 140736999187546 140736999187726 140736999187726 140736999190479 0
[pid=26026/tid=26035] ppid=26023 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26026/task/26035/stat : 26035 (java) S 26023 26026 25549 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250448852 14420721664 11766 33554432000 4194304 4196468 140736999181392 140694239290480 140695328122581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21704704 140736999187546 140736999187726 140736999187726 140736999190479 0
[pid=26026/tid=26036] ppid=26023 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26026/task/26036/stat : 26036 (java) S 26023 26026 25549 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250448854 14420721664 11766 33554432000 4194304 4196468 140736999181392 140694238238800 140695328130971 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21704704 140736999187546 140736999187726 140736999187726 140736999190479 0
[pid=26026/tid=26037] ppid=26023 vsize=14082736 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/26026/task/26037/stat : 26037 (java) R 26023 26026 25549 0 -1 4202560 412 0 0 0 1 0 0 0 20 0 15 0 250448854 14420721664 11766 33554432000 4194304 4196468 140736999181392 140694237186768 140695305707264 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21704704 140736999187546 140736999187726 140736999187726 140736999190479 0
[pid=26026/tid=26038] ppid=26023 vsize=14082736 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/26026/task/26038/stat : 26038 (java) R 26023 26026 25549 0 -1 1077944384 199 0 0 0 2 0 0 0 20 0 15 0 250448854 14420721664 11766 33554432000 4194304 4196468 140736999181392 140694236133872 140695328123522 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21704704 140736999187546 140736999187726 140736999187726 140736999190479 0
[pid=26026/tid=26039] ppid=26023 vsize=14082736 memory=139691316795008 CPUtime=0.06 cores=1,3,5,7
/proc/26026/task/26039/stat : 26039 (java) R 26023 26026 25549 0 -1 4202560 302 0 0 0 6 0 0 0 20 0 15 0 250448854 14420721664 11766 33554432000 4194304 4196468 140736999181392 140694235081584 140695307246871 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21704704 140736999187546 140736999187726 140736999187726 140736999190479 0
[pid=26026/tid=26040] ppid=26023 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26026/task/26040/stat : 26040 (java) S 26023 26026 25549 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250448854 14420721664 11766 33554432000 4194304 4196468 140736999181392 140694234029024 140695328122581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21704704 140736999187546 140736999187726 140736999187726 140736999190479 0
[pid=26026/tid=26041] ppid=26023 vsize=14082736 memory=139691316795008 CPUtime=0 cores=1,3,5,7
/proc/26026/task/26041/stat : 26041 (java) S 26023 26026 25549 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250448854 14420721664 11766 33554432000 4194304 4196468 140736999181392 140694232975792 140695328123522 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21704704 140736999187546 140736999187726 140736999187726 140736999190479 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 47064 KiB

[startup+0.310525 s]*
/proc/loadavg: 1.64 1.91 1.82 4/215 26041
/proc/meminfo: memFree=27335660/32770624 swapFree=67030680/67108860
[pid=26026] ppid=26023 vsize=14082736 memory=50516 CPUtime=0.43 cores=1,3,5,7
/proc/26026/stat : 26026 (java) S 26023 26026 25549 0 -1 1077944320 10730 0 0 0 41 2 0 0 20 0 15 0 250448848 14420721664 12629 33554432000 4194304 4196468 140736999181392 140736999163936 140695328112375 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 21704704 140736999187546 140736999187726 140736999187726 140736999190479 0
/proc/26026/statm: 3520684 12629 3409 1 0 3482761 0
[pid=26026/tid=26028] ppid=26023 vsize=14082736 memory=7022364594140610616 CPUtime=0.29 cores=1,3,5,7
/proc/26026/task/26028/stat : 26028 (java) R 26023 26026 25549 0 -1 4202560 8402 0 0 0 28 1 0 0 20 0 15 0 250448849 14420721664 12629 33554432000 4194304 4196468 140736999181392 140695332274112 140695311299184 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21704704 140736999187546 140736999187726 140736999187726 140736999190479 0
[pid=26026/tid=26029] ppid=26023 vsize=14082736 memory=4294976238 CPUtime=0 cores=1,3,5,7
/proc/26026/task/26029/stat : 26029 (java) S 26023 26026 25549 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250448850 14420721664 12629 33554432000 4194304 4196468 140736999181392 140695280733072 140695328122581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21704704 140736999187546 140736999187726 140736999187726 140736999190479 0
[pid=26026/tid=26030] ppid=26023 vsize=14082736 memory=288370067468506752 CPUtime=0 cores=1,3,5,7
/proc/26026/task/26030/stat : 26030 (java) S 26023 26026 25549 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250448850 14420721664 12629 33554432000 4194304 4196468 140736999181392 140695279680272 140695328122581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21704704 140736999187546 140736999187726 140736999187726 140736999190479 0
[pid=26026/tid=26031] ppid=26023 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26026/task/26031/stat : 26031 (java) S 26023 26026 25549 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250448850 14420721664 12629 33554432000 4194304 4196468 140736999181392 140695278627984 140695328122581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21704704 140736999187546 140736999187726 140736999187726 140736999190479 0
[pid=26026/tid=26032] ppid=26023 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26026/task/26032/stat : 26032 (java) S 26023 26026 25549 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250448850 14420721664 12629 33554432000 4194304 4196468 140736999181392 140694920555536 140695328122581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21704704 140736999187546 140736999187726 140736999187726 140736999190479 0
[pid=26026/tid=26033] ppid=26023 vsize=14082736 memory=139691316795008 CPUtime=0 cores=1,3,5,7
/proc/26026/task/26033/stat : 26033 (java) S 26023 26026 25549 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 250448851 14420721664 12629 33554432000 4194304 4196468 140736999181392 140694241396848 140695328123522 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21704704 140736999187546 140736999187726 140736999187726 140736999190479 0
[pid=26026/tid=26034] ppid=26023 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26026/task/26034/stat : 26034 (java) S 26023 26026 25549 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250448851 14420721664 12629 33554432000 4194304 4196468 140736999181392 140694240342816 140695328122581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21704704 140736999187546 140736999187726 140736999187726 140736999190479 0
[pid=26026/tid=26035] ppid=26023 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26026/task/26035/stat : 26035 (java) S 26023 26026 25549 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250448852 14420721664 12629 33554432000 4194304 4196468 140736999181392 140694239290480 140695328122581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21704704 140736999187546 140736999187726 140736999187726 140736999190479 0
[pid=26026/tid=26036] ppid=26023 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26026/task/26036/stat : 26036 (java) S 26023 26026 25549 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250448854 14420721664 12629 33554432000 4194304 4196468 140736999181392 140694238238800 140695328130971 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21704704 140736999187546 140736999187726 140736999187726 140736999190479 0
[pid=26026/tid=26037] ppid=26023 vsize=14082736 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/26026/task/26037/stat : 26037 (java) S 26023 26026 25549 0 -1 1077944384 425 0 0 0 2 0 0 0 20 0 15 0 250448854 14420721664 12629 33554432000 4194304 4196468 140736999181392 140694237186672 140695328123522 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21704704 140736999187546 140736999187726 140736999187726 140736999190479 0
[pid=26026/tid=26038] ppid=26023 vsize=14082736 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/26026/task/26038/stat : 26038 (java) S 26023 26026 25549 0 -1 1077944384 199 0 0 0 2 0 0 0 20 0 15 0 250448854 14420721664 12629 33554432000 4194304 4196468 140736999181392 140694236133872 140695328123522 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21704704 140736999187546 140736999187726 140736999187726 140736999190479 0
[pid=26026/tid=26039] ppid=26023 vsize=14082736 memory=139691316795008 CPUtime=0.08 cores=1,3,5,7
/proc/26026/task/26039/stat : 26039 (java) S 26023 26026 25549 0 -1 1077944384 320 0 0 0 8 0 0 0 20 0 15 0 250448854 14420721664 12629 33554432000 4194304 4196468 140736999181392 140694235081584 140695328123522 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21704704 140736999187546 140736999187726 140736999187726 140736999190479 0
[pid=26026/tid=26040] ppid=26023 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26026/task/26040/stat : 26040 (java) S 26023 26026 25549 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250448854 14420721664 12629 33554432000 4194304 4196468 140736999181392 140694234029024 140695328122581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21704704 140736999187546 140736999187726 140736999187726 140736999190479 0
[pid=26026/tid=26041] ppid=26023 vsize=14082736 memory=139691316795008 CPUtime=0 cores=1,3,5,7
/proc/26026/task/26041/stat : 26041 (java) S 26023 26026 25549 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250448854 14420721664 12629 33554432000 4194304 4196468 140736999181392 140694232975792 140695328123522 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21704704 140736999187546 140736999187726 140736999187726 140736999190479 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 50516 KiB

[startup+0.700718 s]
/proc/loadavg: 1.64 1.91 1.82 4/215 26041
/proc/meminfo: memFree=27319356/32770624 swapFree=67030680/67108860
[pid=26026] ppid=26023 vsize=14084804 memory=88828 CPUtime=0.99 cores=1,3,5,7
/proc/26026/stat : 26026 (java) S 26023 26026 25549 0 -1 1077944320 17575 0 0 0 94 5 0 0 20 0 15 0 250448848 14422839296 22207 33554432000 4194304 4196468 140736999181392 140736999163936 140695328112375 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 21704704 140736999187546 140736999187726 140736999187726 140736999190479 0
/proc/26026/statm: 3521201 22207 3498 1 0 3483273 0
[pid=26026/tid=26028] ppid=26023 vsize=14084804 memory=34104 CPUtime=0.67 cores=1,3,5,7
/proc/26026/task/26028/stat : 26028 (java) R 26023 26026 25549 0 -1 4202560 14832 0 0 0 64 3 0 0 20 0 15 0 250448849 14422839296 22207 33554432000 4194304 4196468 140736999181392 140695332337712 140695328134301 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21704704 140736999187546 140736999187726 140736999187726 140736999190479 0
[pid=26026/tid=26029] ppid=26023 vsize=14084804 memory=11908 CPUtime=0 cores=1,3,5,7
/proc/26026/task/26029/stat : 26029 (java) S 26023 26026 25549 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250448850 14422839296 22207 33554432000 4194304 4196468 140736999181392 140695280733072 140695328122581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21704704 140736999187546 140736999187726 140736999187726 140736999190479 0
[pid=26026/tid=26030] ppid=26023 vsize=14084804 memory=492 CPUtime=0 cores=1,3,5,7
/proc/26026/task/26030/stat : 26030 (java) S 26023 26026 25549 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250448850 14422839296 22207 33554432000 4194304 4196468 140736999181392 140695279680272 140695328122581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21704704 140736999187546 140736999187726 140736999187726 140736999190479 0
[pid=26026/tid=26031] ppid=26023 vsize=14084804 memory=1560 CPUtime=0 cores=1,3,5,7
/proc/26026/task/26031/stat : 26031 (java) S 26023 26026 25549 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250448850 14422839296 22207 33554432000 4194304 4196468 140736999181392 140695278627984 140695328122581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21704704 140736999187546 140736999187726 140736999187726 140736999190479 0
[pid=26026/tid=26032] ppid=26023 vsize=14084804 memory=932 CPUtime=0 cores=1,3,5,7
/proc/26026/task/26032/stat : 26032 (java) S 26023 26026 25549 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250448850 14422839296 22207 33554432000 4194304 4196468 140736999181392 140694920555536 140695328122581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21704704 140736999187546 140736999187726 140736999187726 140736999190479 0
[pid=26026/tid=26033] ppid=26023 vsize=14084804 memory=1156 CPUtime=0 cores=1,3,5,7
/proc/26026/task/26033/stat : 26033 (java) S 26023 26026 25549 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 250448851 14422839296 22207 33554432000 4194304 4196468 140736999181392 140694241396848 140695328123522 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21704704 140736999187546 140736999187726 140736999187726 140736999190479 0
[pid=26026/tid=26034] ppid=26023 vsize=14084804 memory=1572 CPUtime=0 cores=1,3,5,7
/proc/26026/task/26034/stat : 26034 (java) S 26023 26026 25549 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250448851 14422839296 22207 33554432000 4194304 4196468 140736999181392 140694240342816 140695328122581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21704704 140736999187546 140736999187726 140736999187726 140736999190479 0
[pid=26026/tid=26035] ppid=26023 vsize=14084804 memory=1996 CPUtime=0 cores=1,3,5,7
/proc/26026/task/26035/stat : 26035 (java) S 26023 26026 25549 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250448852 14422839296 22207 33554432000 4194304 4196468 140736999181392 140694239290480 140695328122581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21704704 140736999187546 140736999187726 140736999187726 140736999190479 0
[pid=26026/tid=26036] ppid=26023 vsize=14084804 memory=7086240636212695395 CPUtime=0 cores=1,3,5,7
/proc/26026/task/26036/stat : 26036 (java) S 26023 26026 25549 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250448854 14422839296 22207 33554432000 4194304 4196468 140736999181392 140694238238800 140695328130971 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21704704 140736999187546 140736999187726 140736999187726 140736999190479 0
[pid=26026/tid=26037] ppid=26023 vsize=14084804 memory=7881696724453321575 CPUtime=0.07 cores=1,3,5,7
/proc/26026/task/26037/stat : 26037 (java) S 26023 26026 25549 0 -1 1077944384 571 0 0 0 7 0 0 0 20 0 15 0 250448854 14422839296 22207 33554432000 4194304 4196468 140736999181392 140694237186672 140695328123522 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21704704 140736999187546 140736999187726 140736999187726 140736999190479 0
[pid=26026/tid=26038] ppid=26023 vsize=14084804 memory=7453282923461570405 CPUtime=0.07 cores=1,3,5,7
/proc/26026/task/26038/stat : 26038 (java) S 26023 26026 25549 0 -1 1077944384 361 0 0 0 7 0 0 0 20 0 15 0 250448854 14422839296 22207 33554432000 4194304 4196468 140736999181392 140694236133872 140695328123522 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21704704 140736999187546 140736999187726 140736999187726 140736999190479 0
[pid=26026/tid=26039] ppid=26023 vsize=14084804 memory=0 CPUtime=0.15 cores=1,3,5,7
/proc/26026/task/26039/stat : 26039 (java) S 26023 26026 25549 0 -1 1077944384 427 0 0 0 15 0 0 0 20 0 15 0 250448854 14422839296 22207 33554432000 4194304 4196468 140736999181392 140694235081584 140695328123522 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21704704 140736999187546 140736999187726 140736999187726 140736999190479 0
[pid=26026/tid=26040] ppid=26023 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26026/task/26040/stat : 26040 (java) S 26023 26026 25549 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250448854 14422839296 22207 33554432000 4194304 4196468 140736999181392 140694234029024 140695328122581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21704704 140736999187546 140736999187726 140736999187726 140736999190479 0
[pid=26026/tid=26041] ppid=26023 vsize=14084804 memory=972 CPUtime=0 cores=1,3,5,7
/proc/26026/task/26041/stat : 26041 (java) S 26023 26026 25549 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250448854 14422839296 22207 33554432000 4194304 4196468 140736999181392 140694232975792 140695328123522 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21704704 140736999187546 140736999187726 140736999187726 140736999190479 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 14084804 KiB
Current children cumulated memory: 88828 KiB

[startup+1.50072 s]
/proc/loadavg: 1.64 1.91 1.82 5/215 26041
/proc/meminfo: memFree=27278932/32770624 swapFree=67030680/67108860
[pid=26026] ppid=26023 vsize=14086852 memory=186060 CPUtime=2.92 cores=1,3,5,7
/proc/26026/stat : 26026 (java) S 26023 26026 25549 0 -1 1077944320 22196 0 0 0 284 8 0 0 20 0 15 0 250448848 14424936448 46515 33554432000 4194304 4196468 140736999181392 140736999163936 140695328112375 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 21704704 140736999187546 140736999187726 140736999187726 140736999190479 0
/proc/26026/statm: 3521713 46515 3549 1 0 3483785 0
[pid=26026/tid=26028] ppid=26023 vsize=14086852 memory=147148 CPUtime=1.47 cores=1,3,5,7
/proc/26026/task/26028/stat : 26028 (java) R 26023 26026 25549 0 -1 4202560 16714 0 0 0 142 5 0 0 20 0 15 0 250448849 14424936448 46515 33554432000 4194304 4196468 140736999181392 140695332346888 140694963061523 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21704704 140736999187546 140736999187726 140736999187726 140736999190479 0
[pid=26026/tid=26029] ppid=26023 vsize=14086852 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/26026/task/26029/stat : 26029 (java) S 26023 26026 25549 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250448850 14424936448 46515 33554432000 4194304 4196468 140736999181392 140695280733072 140695328122581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21704704 140736999187546 140736999187726 140736999187726 140736999190479 0
[pid=26026/tid=26030] ppid=26023 vsize=14086852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26026/task/26030/stat : 26030 (java) S 26023 26026 25549 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250448850 14424936448 46515 33554432000 4194304 4196468 140736999181392 140695279680272 140695328122581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21704704 140736999187546 140736999187726 140736999187726 140736999190479 0
[pid=26026/tid=26031] ppid=26023 vsize=14086852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26026/task/26031/stat : 26031 (java) S 26023 26026 25549 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250448850 14424936448 46515 33554432000 4194304 4196468 140736999181392 140695278627984 140695328122581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21704704 140736999187546 140736999187726 140736999187726 140736999190479 0
[pid=26026/tid=26032] ppid=26023 vsize=14086852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26026/task/26032/stat : 26032 (java) S 26023 26026 25549 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250448850 14424936448 46515 33554432000 4194304 4196468 140736999181392 140694920555536 140695328122581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21704704 140736999187546 140736999187726 140736999187726 140736999190479 0
[pid=26026/tid=26033] ppid=26023 vsize=14086852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26026/task/26033/stat : 26033 (java) S 26023 26026 25549 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 15 0 250448851 14424936448 46515 33554432000 4194304 4196468 140736999181392 140694241396848 140695328123522 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21704704 140736999187546 140736999187726 140736999187726 140736999190479 0

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

/proc/26026/task/26028/stat : 26028 (java) R 26023 26026 25549 0 -1 4202560 31214 0 0 0 10042 41 0 0 20 0 15 0 250448849 14431227904 835409 33554432000 4194304 4196468 140736999181392 140695332350200 140694968445066 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21704704 140736999187546 140736999187726 140736999187726 140736999190479 0
[pid=26026/tid=26029] ppid=26023 vsize=14092996 memory=3278148 CPUtime=1.15 cores=1,3,5,7
/proc/26026/task/26029/stat : 26029 (java) S 26023 26026 25549 0 -1 1077944384 1891 0 0 0 90 25 0 0 20 0 15 0 250448850 14431227904 835409 33554432000 4194304 4196468 140736999181392 140695280733072 140695328122581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21704704 140736999187546 140736999187726 140736999187726 140736999190479 0
[pid=26026/tid=26030] ppid=26023 vsize=14092996 memory=56 CPUtime=1.16 cores=1,3,5,7
/proc/26026/task/26030/stat : 26030 (java) S 26023 26026 25549 0 -1 1077944384 1635 0 0 0 92 24 0 0 20 0 15 0 250448850 14431227904 835409 33554432000 4194304 4196468 140736999181392 140695279680272 140695328122581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21704704 140736999187546 140736999187726 140736999187726 140736999190479 0
[pid=26026/tid=26031] ppid=26023 vsize=14092996 memory=3544 CPUtime=1.15 cores=1,3,5,7
/proc/26026/task/26031/stat : 26031 (java) S 26023 26026 25549 0 -1 1077944384 1410 0 0 0 91 24 0 0 20 0 15 0 250448850 14431227904 835409 33554432000 4194304 4196468 140736999181392 140695278627984 140695328122581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21704704 140736999187546 140736999187726 140736999187726 140736999190479 0
[pid=26026/tid=26032] ppid=26023 vsize=14092996 memory=139691194981032 CPUtime=1.16 cores=1,3,5,7
/proc/26026/task/26032/stat : 26032 (java) S 26023 26026 25549 0 -1 1077944384 2109 0 0 0 92 24 0 0 20 0 15 0 250448850 14431227904 835409 33554432000 4194304 4196468 140736999181392 140694920555536 140695328122581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21704704 140736999187546 140736999187726 140736999187726 140736999190479 0
[pid=26026/tid=26033] ppid=26023 vsize=14092996 memory=3163460 CPUtime=0.25 cores=1,3,5,7
/proc/26026/task/26033/stat : 26033 (java) S 26023 26026 25549 0 -1 1077944384 4127 0 0 0 24 1 0 0 20 0 15 0 250448851 14431227904 835409 33554432000 4194304 4196468 140736999181392 140694241396848 140695328123522 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21704704 140736999187546 140736999187726 140736999187726 140736999190479 0
[pid=26026/tid=26034] ppid=26023 vsize=14092996 memory=3163460 CPUtime=0 cores=1,3,5,7
/proc/26026/task/26034/stat : 26034 (java) S 26023 26026 25549 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 250448851 14431227904 835409 33554432000 4194304 4196468 140736999181392 140694240342880 140695328122581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21704704 140736999187546 140736999187726 140736999187726 140736999190479 0
[pid=26026/tid=26035] ppid=26023 vsize=14092996 memory=3163460 CPUtime=0 cores=1,3,5,7
/proc/26026/task/26035/stat : 26035 (java) S 26023 26026 25549 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 250448852 14431227904 835409 33554432000 4194304 4196468 140736999181392 140694239290496 140695328122581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21704704 140736999187546 140736999187726 140736999187726 140736999190479 0
[pid=26026/tid=26036] ppid=26023 vsize=14092996 memory=3163460 CPUtime=0 cores=1,3,5,7
/proc/26026/task/26036/stat : 26036 (java) S 26023 26026 25549 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250448854 14431227904 835409 33554432000 4194304 4196468 140736999181392 140694238238800 140695328130971 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21704704 140736999187546 140736999187726 140736999187726 140736999190479 0
[pid=26026/tid=26037] ppid=26023 vsize=14092996 memory=3200324 CPUtime=2.43 cores=1,3,5,7
/proc/26026/task/26037/stat : 26037 (java) S 26023 26026 25549 0 -1 1077944384 6567 0 0 0 242 1 0 0 20 0 15 0 250448854 14431227904 835409 33554432000 4194304 4196468 140736999181392 140694237186672 140695328123522 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21704704 140736999187546 140736999187726 140736999187726 140736999190479 0
[pid=26026/tid=26038] ppid=26023 vsize=14092996 memory=3173700 CPUtime=2.54 cores=1,3,5,7
/proc/26026/task/26038/stat : 26038 (java) S 26023 26026 25549 0 -1 1077944384 6957 0 0 0 252 2 0 0 20 0 15 0 250448854 14431227904 835409 33554432000 4194304 4196468 140736999181392 140694236133872 140695328123522 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21704704 140736999187546 140736999187726 140736999187726 140736999190479 0
[pid=26026/tid=26039] ppid=26023 vsize=14092996 memory=2918936 CPUtime=1.11 cores=1,3,5,7
/proc/26026/task/26039/stat : 26039 (java) R 26023 26026 25549 0 -1 4202560 8958 0 0 0 109 2 0 0 20 0 15 0 250448854 14431227904 835409 33554432000 4194304 4196468 140736999181392 140694235081584 140695328133722 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21704704 140736999187546 140736999187726 140736999187726 140736999190479 0
[pid=26026/tid=26040] ppid=26023 vsize=14092996 memory=-4049636988374952755 CPUtime=0 cores=1,3,5,7
/proc/26026/task/26040/stat : 26040 (java) S 26023 26026 25549 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250448854 14431227904 835409 33554432000 4194304 4196468 140736999181392 140694234029024 140695328122581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21704704 140736999187546 140736999187726 140736999187726 140736999190479 0
[pid=26026/tid=26041] ppid=26023 vsize=14092996 memory=2918936 CPUtime=0.05 cores=1,3,5,7
/proc/26026/task/26041/stat : 26041 (java) S 26023 26026 25549 0 -1 1077944384 532 0 0 0 2 3 0 0 20 0 15 0 250448854 14431227904 835409 33554432000 4194304 4196468 140736999181392 140694232975792 140695328123522 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21704704 140736999187546 140736999187726 140736999187726 140736999190479 0
Current children cumulated CPU time: 111.92 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 3341636 KiB

[startup+162.301 s]
/proc/loadavg: 1.93 1.88 1.82 3/216 26128
/proc/meminfo: memFree=21673796/32770624 swapFree=67030680/67108860
[pid=26026] ppid=26023 vsize=14092996 memory=4229920 CPUtime=173.87 cores=1,3,5,7
/proc/26026/stat : 26026 (java) S 26023 26026 25549 0 -1 1077944320 78400 0 0 0 17185 202 0 0 20 0 15 0 250448848 14431227904 1057480 33554432000 4194304 4196468 140736999181392 140736999163936 140695328112375 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 21704704 140736999187546 140736999187726 140736999187726 140736999190479 0
/proc/26026/statm: 3523249 1057480 3623 1 0 3485321 0
[pid=26026/tid=26028] ppid=26023 vsize=14092996 memory=4229816 CPUtime=160.34 cores=1,3,5,7
/proc/26026/task/26028/stat : 26028 (java) R 26023 26026 25549 0 -1 4202560 35248 0 0 0 15985 49 0 0 20 0 15 0 250448849 14431227904 1057480 33554432000 4194304 4196468 140736999181392 140695332346592 140694962408222 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21704704 140736999187546 140736999187726 140736999187726 140736999190479 0
[pid=26026/tid=26029] ppid=26023 vsize=14092996 memory=4229920 CPUtime=1.63 cores=1,3,5,7
/proc/26026/task/26029/stat : 26029 (java) S 26023 26026 25549 0 -1 1077944384 2732 0 0 0 128 35 0 0 20 0 15 0 250448850 14431227904 1057480 33554432000 4194304 4196468 140736999181392 140695280733072 140695328122581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21704704 140736999187546 140736999187726 140736999187726 140736999190479 0
[pid=26026/tid=26030] ppid=26023 vsize=14092996 memory=4229920 CPUtime=1.63 cores=1,3,5,7
/proc/26026/task/26030/stat : 26030 (java) S 26023 26026 25549 0 -1 1077944384 2217 0 0 0 129 34 0 0 20 0 15 0 250448850 14431227904 1057480 33554432000 4194304 4196468 140736999181392 140695279680272 140695328122581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21704704 140736999187546 140736999187726 140736999187726 140736999190479 0
[pid=26026/tid=26031] ppid=26023 vsize=14092996 memory=4229920 CPUtime=1.63 cores=1,3,5,7
/proc/26026/task/26031/stat : 26031 (java) S 26023 26026 25549 0 -1 1077944384 1973 0 0 0 129 34 0 0 20 0 15 0 250448850 14431227904 1057480 33554432000 4194304 4196468 140736999181392 140695278627984 140695328122581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21704704 140736999187546 140736999187726 140736999187726 140736999190479 0
[pid=26026/tid=26032] ppid=26023 vsize=14092996 memory=752 CPUtime=1.63 cores=1,3,5,7
/proc/26026/task/26032/stat : 26032 (java) S 26023 26026 25549 0 -1 1077944384 2439 0 0 0 129 34 0 0 20 0 15 0 250448850 14431227904 1057480 33554432000 4194304 4196468 140736999181392 140694920555536 140695328122581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21704704 140736999187546 140736999187726 140736999187726 140736999190479 0
[pid=26026/tid=26033] ppid=26023 vsize=14092996 memory=972 CPUtime=0.25 cores=1,3,5,7
/proc/26026/task/26033/stat : 26033 (java) S 26023 26026 25549 0 -1 1077944384 4708 0 0 0 24 1 0 0 20 0 15 0 250448851 14431227904 1057480 33554432000 4194304 4196468 140736999181392 140694241396848 140695328123522 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21704704 140736999187546 140736999187726 140736999187726 140736999190479 0
[pid=26026/tid=26034] ppid=26023 vsize=14092996 memory=4229920 CPUtime=0 cores=1,3,5,7
/proc/26026/task/26034/stat : 26034 (java) S 26023 26026 25549 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 250448851 14431227904 1057480 33554432000 4194304 4196468 140736999181392 140694240342880 140695328122581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21704704 140736999187546 140736999187726 140736999187726 140736999190479 0
[pid=26026/tid=26035] ppid=26023 vsize=14092996 memory=116 CPUtime=0 cores=1,3,5,7
/proc/26026/task/26035/stat : 26035 (java) S 26023 26026 25549 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 250448852 14431227904 1057480 33554432000 4194304 4196468 140736999181392 140694239290496 140695328122581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21704704 140736999187546 140736999187726 140736999187726 140736999190479 0
[pid=26026/tid=26036] ppid=26023 vsize=14092996 memory=4229816 CPUtime=0 cores=1,3,5,7
/proc/26026/task/26036/stat : 26036 (java) S 26023 26026 25549 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250448854 14431227904 1057480 33554432000 4194304 4196468 140736999181392 140694238238800 140695328130971 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21704704 140736999187546 140736999187726 140736999187726 140736999190479 0
[pid=26026/tid=26037] ppid=26023 vsize=14092996 memory=4224936 CPUtime=2.46 cores=1,3,5,7
/proc/26026/task/26037/stat : 26037 (java) S 26023 26026 25549 0 -1 1077944384 6765 0 0 0 245 1 0 0 20 0 15 0 250448854 14431227904 1057480 33554432000 4194304 4196468 140736999181392 140694237186672 140695328123522 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21704704 140736999187546 140736999187726 140736999187726 140736999190479 0
[pid=26026/tid=26038] ppid=26023 vsize=14092996 memory=4224936 CPUtime=2.94 cores=1,3,5,7
/proc/26026/task/26038/stat : 26038 (java) S 26023 26026 25549 0 -1 1077944384 10258 0 0 0 292 2 0 0 20 0 15 0 250448854 14431227904 1057480 33554432000 4194304 4196468 140736999181392 140694236133872 140695328123522 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21704704 140736999187546 140736999187726 140736999187726 140736999190479 0
[pid=26026/tid=26039] ppid=26023 vsize=14092996 memory=66464 CPUtime=1.16 cores=1,3,5,7
/proc/26026/task/26039/stat : 26039 (java) S 26023 26026 25549 0 -1 1077944384 10070 0 0 0 114 2 0 0 20 0 15 0 250448854 14431227904 1057480 33554432000 4194304 4196468 140736999181392 140694235081584 140695328123522 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21704704 140736999187546 140736999187726 140736999187726 140736999190479 0
[pid=26026/tid=26040] ppid=26023 vsize=14092996 memory=4210512 CPUtime=0 cores=1,3,5,7
/proc/26026/task/26040/stat : 26040 (java) S 26023 26026 25549 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250448854 14431227904 1057480 33554432000 4194304 4196468 140736999181392 140694234029024 140695328122581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21704704 140736999187546 140736999187726 140736999187726 140736999190479 0
[pid=26026/tid=26041] ppid=26023 vsize=14092996 memory=1192 CPUtime=0.07 cores=1,3,5,7
/proc/26026/task/26041/stat : 26041 (java) S 26023 26026 25549 0 -1 1077944384 562 0 0 0 3 4 0 0 20 0 15 0 250448854 14431227904 1057480 33554432000 4194304 4196468 140736999181392 140694232975792 140695328123522 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21704704 140736999187546 140736999187726 140736999187726 140736999190479 0
Current children cumulated CPU time: 173.87 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 4229920 KiB

[startup+222.301 s]
/proc/loadavg: 1.78 1.86 1.82 3/216 26129
/proc/meminfo: memFree=21275416/32770624 swapFree=67030680/67108860
[pid=26026] ppid=26023 vsize=14092996 memory=4242780 CPUtime=234.96 cores=1,3,5,7
/proc/26026/stat : 26026 (java) S 26023 26026 25549 0 -1 1077944320 86543 0 0 0 23290 206 0 0 20 0 15 0 250448848 14431227904 1060695 33554432000 4194304 4196468 140736999181392 140736999163936 140695328112375 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 21704704 140736999187546 140736999187726 140736999187726 140736999190479 0
/proc/26026/statm: 3523249 1060695 3623 1 0 3485321 0
[pid=26026/tid=26028] ppid=26023 vsize=14092996 memory=4240732 CPUtime=220.01 cores=1,3,5,7
/proc/26026/task/26028/stat : 26028 (java) R 26023 26026 25549 0 -1 4202560 39962 0 0 0 21951 50 0 0 20 0 15 0 250448849 14431227904 1060695 33554432000 4194304 4196468 140736999181392 140695332347928 140694962690830 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21704704 140736999187546 140736999187726 140736999187726 140736999190479 0
[pid=26026/tid=26029] ppid=26023 vsize=14092996 memory=4242780 CPUtime=1.94 cores=1,3,5,7
/proc/26026/task/26029/stat : 26029 (java) S 26023 26026 25549 0 -1 1077944384 2781 0 0 0 159 35 0 0 20 0 15 0 250448850 14431227904 1060695 33554432000 4194304 4196468 140736999181392 140695280733072 140695328122581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21704704 140736999187546 140736999187726 140736999187726 140736999190479 0
[pid=26026/tid=26030] ppid=26023 vsize=14092996 memory=4242780 CPUtime=1.96 cores=1,3,5,7
/proc/26026/task/26030/stat : 26030 (java) S 26023 26026 25549 0 -1 1077944384 2439 0 0 0 161 35 0 0 20 0 15 0 250448850 14431227904 1060695 33554432000 4194304 4196468 140736999181392 140695279680272 140695328122581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21704704 140736999187546 140736999187726 140736999187726 140736999190479 0
[pid=26026/tid=26031] ppid=26023 vsize=14092996 memory=4242780 CPUtime=1.94 cores=1,3,5,7
/proc/26026/task/26031/stat : 26031 (java) S 26023 26026 25549 0 -1 1077944384 2121 0 0 0 160 34 0 0 20 0 15 0 250448850 14431227904 1060695 33554432000 4194304 4196468 140736999181392 140695278627984 140695328122581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21704704 140736999187546 140736999187726 140736999187726 140736999190479 0
[pid=26026/tid=26032] ppid=26023 vsize=14092996 memory=4242780 CPUtime=1.96 cores=1,3,5,7
/proc/26026/task/26032/stat : 26032 (java) S 26023 26026 25549 0 -1 1077944384 2572 0 0 0 161 35 0 0 20 0 15 0 250448850 14431227904 1060695 33554432000 4194304 4196468 140736999181392 140694920555536 140695328122581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21704704 140736999187546 140736999187726 140736999187726 140736999190479 0
[pid=26026/tid=26033] ppid=26023 vsize=14092996 memory=3544 CPUtime=0.26 cores=1,3,5,7
/proc/26026/task/26033/stat : 26033 (java) S 26023 26026 25549 0 -1 1077944384 4715 0 0 0 25 1 0 0 20 0 15 0 250448851 14431227904 1060695 33554432000 4194304 4196468 140736999181392 140694241396848 140695328123522 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21704704 140736999187546 140736999187726 140736999187726 140736999190479 0
[pid=26026/tid=26034] ppid=26023 vsize=14092996 memory=4242780 CPUtime=0 cores=1,3,5,7
/proc/26026/task/26034/stat : 26034 (java) S 26023 26026 25549 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 250448851 14431227904 1060695 33554432000 4194304 4196468 140736999181392 140694240342880 140695328122581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21704704 140736999187546 140736999187726 140736999187726 140736999190479 0
[pid=26026/tid=26035] ppid=26023 vsize=14092996 memory=4242780 CPUtime=0 cores=1,3,5,7
/proc/26026/task/26035/stat : 26035 (java) S 26023 26026 25549 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 250448852 14431227904 1060695 33554432000 4194304 4196468 140736999181392 140694239290496 140695328122581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21704704 140736999187546 140736999187726 140736999187726 140736999190479 0
[pid=26026/tid=26036] ppid=26023 vsize=14092996 memory=3544 CPUtime=0 cores=1,3,5,7
/proc/26026/task/26036/stat : 26036 (java) S 26023 26026 25549 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250448854 14431227904 1060695 33554432000 4194304 4196468 140736999181392 140694238238800 140695328130971 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21704704 140736999187546 140736999187726 140736999187726 140736999190479 0
[pid=26026/tid=26037] ppid=26023 vsize=14092996 memory=3544 CPUtime=2.5 cores=1,3,5,7
/proc/26026/task/26037/stat : 26037 (java) S 26023 26026 25549 0 -1 1077944384 7638 0 0 0 248 2 0 0 20 0 15 0 250448854 14431227904 1060695 33554432000 4194304 4196468 140736999181392 140694237186672 140695328123522 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21704704 140736999187546 140736999187726 140736999187726 140736999190479 0
[pid=26026/tid=26038] ppid=26023 vsize=14092996 memory=66464 CPUtime=2.98 cores=1,3,5,7
/proc/26026/task/26038/stat : 26038 (java) S 26023 26026 25549 0 -1 1077944384 10509 0 0 0 296 2 0 0 20 0 15 0 250448854 14431227904 1060695 33554432000 4194304 4196468 140736999181392 140694236133872 140695328123522 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21704704 140736999187546 140736999187726 140736999187726 140736999190479 0
[pid=26026/tid=26039] ppid=26023 vsize=14092996 memory=4104 CPUtime=1.2 cores=1,3,5,7
/proc/26026/task/26039/stat : 26039 (java) S 26023 26026 25549 0 -1 1077944384 11777 0 0 0 118 2 0 0 20 0 15 0 250448854 14431227904 1060695 33554432000 4194304 4196468 140736999181392 140694235081584 140695328123522 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21704704 140736999187546 140736999187726 140736999187726 140736999190479 0
[pid=26026/tid=26040] ppid=26023 vsize=14092996 memory=1404 CPUtime=0 cores=1,3,5,7
/proc/26026/task/26040/stat : 26040 (java) S 26023 26026 25549 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250448854 14431227904 1060695 33554432000 4194304 4196468 140736999181392 140694234029024 140695328122581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21704704 140736999187546 140736999187726 140736999187726 140736999190479 0
[pid=26026/tid=26041] ppid=26023 vsize=14092996 memory=4242780 CPUtime=0.11 cores=1,3,5,7
/proc/26026/task/26041/stat : 26041 (java) S 26023 26026 25549 0 -1 1077944384 601 0 0 0 4 7 0 0 20 0 15 0 250448854 14431227904 1060695 33554432000 4194304 4196468 140736999181392 140694232975792 140695328123522 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21704704 140736999187546 140736999187726 140736999187726 140736999190479 0
Current children cumulated CPU time: 234.96 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 4242780 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+239.201 s]
/proc/loadavg: 1.85 1.87 1.82 3/216 26130
/proc/meminfo: memFree=21271640/32770624 swapFree=67030680/67108860
[pid=26026] ppid=26023 vsize=14092996 memory=4245004 CPUtime=252.04 cores=1,3,5,7
/proc/26026/stat : 26026 (java) S 26023 26026 25549 0 -1 1077944320 91449 0 0 0 24997 207 0 0 20 0 15 0 250448848 14431227904 1061251 33554432000 4194304 4196468 140736999181392 140736999163936 140695328112375 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 21704704 140736999187546 140736999187726 140736999187726 140736999190479 0
/proc/26026/statm: 3523249 1061251 3623 1 0 3485321 0
[pid=26026/tid=26028] ppid=26023 vsize=14092996 memory=1684 CPUtime=236.86 cores=1,3,5,7
/proc/26026/task/26028/stat : 26028 (java) R 26023 26026 25549 0 -1 4202560 42533 0 0 0 23636 50 0 0 20 0 15 0 250448849 14431227904 1061251 33554432000 4194304 4196468 140736999181392 140695332345456 140694967185617 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21704704 140736999187546 140736999187726 140736999187726 140736999190479 0
[pid=26026/tid=26029] ppid=26023 vsize=14092996 memory=768 CPUtime=2 cores=1,3,5,7
/proc/26026/task/26029/stat : 26029 (java) S 26023 26026 25549 0 -1 1077944384 2951 0 0 0 165 35 0 0 20 0 15 0 250448850 14431227904 1061251 33554432000 4194304 4196468 140736999181392 140695280733072 140695328122581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21704704 140736999187546 140736999187726 140736999187726 140736999190479 0
[pid=26026/tid=26030] ppid=26023 vsize=14092996 memory=4245004 CPUtime=2.01 cores=1,3,5,7
/proc/26026/task/26030/stat : 26030 (java) S 26023 26026 25549 0 -1 1077944384 2501 0 0 0 166 35 0 0 20 0 15 0 250448850 14431227904 1061251 33554432000 4194304 4196468 140736999181392 140695279680272 140695328122581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21704704 140736999187546 140736999187726 140736999187726 140736999190479 0
[pid=26026/tid=26031] ppid=26023 vsize=14092996 memory=5296 CPUtime=2 cores=1,3,5,7
/proc/26026/task/26031/stat : 26031 (java) S 26023 26026 25549 0 -1 1077944384 2991 0 0 0 166 34 0 0 20 0 15 0 250448850 14431227904 1061251 33554432000 4194304 4196468 140736999181392 140695278627984 140695328122581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21704704 140736999187546 140736999187726 140736999187726 140736999190479 0
[pid=26026/tid=26032] ppid=26023 vsize=14092996 memory=11068 CPUtime=2.01 cores=1,3,5,7
/proc/26026/task/26032/stat : 26032 (java) S 26023 26026 25549 0 -1 1077944384 2810 0 0 0 166 35 0 0 20 0 15 0 250448850 14431227904 1061251 33554432000 4194304 4196468 140736999181392 140694920555536 140695328122581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21704704 140736999187546 140736999187726 140736999187726 140736999190479 0
[pid=26026/tid=26033] ppid=26023 vsize=14092996 memory=1192 CPUtime=0.26 cores=1,3,5,7
/proc/26026/task/26033/stat : 26033 (java) S 26023 26026 25549 0 -1 1077944384 4959 0 0 0 25 1 0 0 20 0 15 0 250448851 14431227904 1061251 33554432000 4194304 4196468 140736999181392 140694241396848 140695328123522 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21704704 140736999187546 140736999187726 140736999187726 140736999190479 0
[pid=26026/tid=26034] ppid=26023 vsize=14092996 memory=1520 CPUtime=0 cores=1,3,5,7
/proc/26026/task/26034/stat : 26034 (java) S 26023 26026 25549 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 250448851 14431227904 1061251 33554432000 4194304 4196468 140736999181392 140694240342880 140695328122581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21704704 140736999187546 140736999187726 140736999187726 140736999190479 0
[pid=26026/tid=26035] ppid=26023 vsize=14092996 memory=2680 CPUtime=0 cores=1,3,5,7
/proc/26026/task/26035/stat : 26035 (java) S 26023 26026 25549 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 250448852 14431227904 1061251 33554432000 4194304 4196468 140736999181392 140694239290496 140695328122581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21704704 140736999187546 140736999187726 140736999187726 140736999190479 0
[pid=26026/tid=26036] ppid=26023 vsize=14092996 memory=3160 CPUtime=0 cores=1,3,5,7
/proc/26026/task/26036/stat : 26036 (java) S 26023 26026 25549 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250448854 14431227904 1061251 33554432000 4194304 4196468 140736999181392 140694238238800 140695328130971 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21704704 140736999187546 140736999187726 140736999187726 140736999190479 0
[pid=26026/tid=26037] ppid=26023 vsize=14092996 memory=2120 CPUtime=2.5 cores=1,3,5,7
/proc/26026/task/26037/stat : 26037 (java) S 26023 26026 25549 0 -1 1077944384 7696 0 0 0 248 2 0 0 20 0 15 0 250448854 14431227904 1061251 33554432000 4194304 4196468 140736999181392 140694237186672 140695328123522 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21704704 140736999187546 140736999187726 140736999187726 140736999190479 0
[pid=26026/tid=26038] ppid=26023 vsize=14092996 memory=752 CPUtime=2.99 cores=1,3,5,7
/proc/26026/task/26038/stat : 26038 (java) S 26023 26026 25549 0 -1 1077944384 10767 0 0 0 297 2 0 0 20 0 15 0 250448854 14431227904 1061251 33554432000 4194304 4196468 140736999181392 140694236133872 140695328123522 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21704704 140736999187546 140736999187726 140736999187726 140736999190479 0
[pid=26026/tid=26039] ppid=26023 vsize=14092996 memory=972 CPUtime=1.2 cores=1,3,5,7
/proc/26026/task/26039/stat : 26039 (java) S 26023 26026 25549 0 -1 1077944384 12177 0 0 0 118 2 0 0 20 0 15 0 250448854 14431227904 1061251 33554432000 4194304 4196468 140736999181392 140694235081584 140695328123522 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21704704 140736999187546 140736999187726 140736999187726 140736999190479 0
[pid=26026/tid=26040] ppid=26023 vsize=14092996 memory=13888 CPUtime=0 cores=1,3,5,7
/proc/26026/task/26040/stat : 26040 (java) S 26023 26026 25549 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250448854 14431227904 1061251 33554432000 4194304 4196468 140736999181392 140694234029024 140695328122581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21704704 140736999187546 140736999187726 140736999187726 140736999190479 0
[pid=26026/tid=26041] ppid=26023 vsize=14092996 memory=2228 CPUtime=0.12 cores=1,3,5,7
/proc/26026/task/26041/stat : 26041 (java) S 26023 26026 25549 0 -1 1077944384 636 0 0 0 5 7 0 0 20 0 15 0 250448854 14431227904 1061251 33554432000 4194304 4196468 140736999181392 140694232975792 140695328123522 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21704704 140736999187546 140736999187726 140736999187726 140736999190479 0
Current children cumulated CPU time: 252.04 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 4245004 KiB

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

[startup+239.233 s]
# the end of solver process 26026 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=249.993 s, system=2.09505 s

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

Child status: 143
Real time (s): 239.233
CPU time (s): 252.088
CPU user time (s): 249.993
CPU system time (s): 2.09505
CPU usage (%): 105.373
Max. virtual memory (cumulated for all children) (KiB): 14092996
Max. memory (cumulated for all children) (KiB): 4245004

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 249.993
system time used= 2.09505
maximum resident set size= 4245436
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 92110
page faults= 0
swaps= 0
block input operations= 0
block output operations= 392
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 11202
involuntary context switches= 293


# summary of solver processes directly reported to runsolver:
#   pid: 26026
#   total CPU time (s): 252.088
#   total CPU user time (s): 249.993
#   total CPU system time (s): 2.09505

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.3799 second user time and 2.45144 second system time

The end

Launcher Data 

Begin job on node102 at 2018-08-15 12:27:37
IDJOB=4310557
IDBENCH=141152
IDSOLVER=2796
FILE ID=node102/4310557-1534328857
RUNJOBID= node102-1534328374-25581
PBS_JOBID= 21038150
Free space on /tmp= 39416 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-4310557-1534328857/watcher-4310557-1534328857 -o /tmp/evaluation-result-4310557-1534328857/solver-4310557-1534328857 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node102-1534328374-25581 --watchdog 312  java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed 1624004344 --timelimit 252 --memlimit 11000 --nbcore 4 HOME/instance-4310557-1534328857.xml

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

MD5SUM BENCH= b20be86eed1a54c36d145f853cc0c945
RANDOM SEED=1624004344

node102.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.51
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.51
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.51
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.51
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:        27384392 kB
MemAvailable:   30229512 kB
Buffers:          160024 kB
Cached:          2950228 kB
SwapCached:        51224 kB
Active:          3255716 kB
Inactive:        1574712 kB
Active(anon):    1644560 kB
Inactive(anon):   135252 kB
Active(file):    1611156 kB
Inactive(file):  1439460 kB
Unevictable:        7348 kB
Mlocked:            7348 kB
SwapTotal:      67108860 kB
SwapFree:       67030680 kB
Dirty:             35828 kB
Writeback:             0 kB
AnonPages:       1629464 kB
Mapped:            67148 kB
Shmem:             57196 kB
Slab:             250156 kB
SReclaimable:     220676 kB
SUnreclaim:        29480 kB
KernelStack:        3792 kB
PageTables:         8872 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2685080 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1495040 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      105856 kB
DirectMap2M:    33439744 kB

Free space on /tmp at the end= 39380 MiB
End job on node102 at 2018-08-15 12:31:36