Trace number 4291174

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 - Parallel with EPS 2018-07-02SAT (TO)54375 20035.6 2520.44

General information on the benchmark

NameSumColoring/
SumColoring-dsjc-250-5_c18.xml
MD5SUM6d15d8403aebe79e9693643b2fca1a5e
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark3924
Best CPU time to get the best result obtained on this benchmark19469.6
Satisfiable
(Un)Satisfiability was proved
Number of variables250
Number of constraints15668
Number of domains1
Minimum domain size250
Maximum domain size250
Distribution of domain sizes[{"size":250,"count":250}]
Minimum variable degree102
Maximum variable degree148
Distribution of variable degrees[{"degree":102,"count":1},{"degree":110,"count":3},{"degree":111,"count":2},{"degree":112,"count":2},{"degree":113,"count":3},{"degree":114,"count":3},{"degree":115,"count":5},{"degree":116,"count":6},{"degree":117,"count":8},{"degree":118,"count":7},{"degree":119,"count":9},{"degree":120,"count":8},{"degree":121,"count":9},{"degree":122,"count":12},{"degree":123,"count":12},{"degree":124,"count":14},{"degree":125,"count":10},{"degree":126,"count":12},{"degree":127,"count":17},{"degree":128,"count":13},{"degree":129,"count":14},{"degree":130,"count":13},{"degree":131,"count":6},{"degree":132,"count":11},{"degree":133,"count":6},{"degree":134,"count":10},{"degree":135,"count":2},{"degree":136,"count":6},{"degree":137,"count":7},{"degree":138,"count":1},{"degree":139,"count":4},{"degree":140,"count":4},{"degree":141,"count":1},{"degree":142,"count":1},{"degree":143,"count":1},{"degree":144,"count":3},{"degree":145,"count":2},{"degree":146,"count":1},{"degree":148,"count":1}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":15668}]
Number of extensional constraints0
Number of intensional constraints15668
Distribution of constraint types[{"type":"intension","count":15668}]
Optimization problemYES
Type of objectivemin SUM

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data

0.67/0.55	c version: 2018-07-02
0.67/0.55	c seed: 1307722190
0.67/0.55	c timeout: 20160
0.67/0.55	c memlimit: 22000
0.67/0.55	c nbcore: 8
0.67/0.58	c Parsing instance...
4.73/1.82	c Parsing done, starting search...
25.33/9.28	o 57868
25.33/9.28	o 57858
25.33/9.28	o 57827
25.33/9.28	o 57825
25.33/9.28	o 57824
25.33/9.30	o 57802
25.33/9.30	o 57801
25.33/9.30	o 57800
25.33/9.30	o 57799
26.10/9.30	o 57785
26.10/9.30	o 57759
26.10/9.30	o 57758
26.10/9.30	o 57757
26.10/9.30	o 57756
26.10/9.30	o 57755
26.10/9.30	o 57754
26.10/9.30	o 57753
26.10/9.31	o 57752
26.10/9.31	o 57751
26.10/9.31	o 57750
26.10/9.31	o 57749
26.10/9.31	o 57748
26.10/9.31	o 57747
26.10/9.31	o 57746
26.10/9.31	o 57745
26.10/9.31	o 57744
26.10/9.31	o 57743
26.10/9.32	o 57742
26.10/9.32	o 57741
26.10/9.32	o 57740
26.10/9.32	o 57739
26.10/9.32	o 57738
26.10/9.32	o 57737
26.10/9.32	o 57736
26.10/9.32	o 57735
26.10/9.32	o 57734
26.10/9.32	o 57733
26.10/9.32	o 57732
26.10/9.32	o 57731
26.10/9.32	o 57730
26.10/9.32	o 57729
26.10/9.32	o 57728
26.10/9.32	o 57727
26.10/9.32	o 57726
26.10/9.32	o 57725
26.10/9.32	o 57724
26.10/9.32	o 57723
26.10/9.32	o 57722
26.10/9.32	o 57721
26.10/9.32	o 57720
26.10/9.32	o 57719
26.10/9.32	o 57718
31.84/10.18	o 57717
31.84/10.18	o 57716
31.84/10.18	o 57715
31.84/10.18	o 57714
31.84/10.18	o 57713
31.84/10.18	o 57712
31.84/10.18	o 57711
31.84/10.19	o 57710
31.84/10.19	o 57709
31.84/10.19	o 57708
31.84/10.19	o 57707
31.84/10.19	o 57706
31.84/10.19	o 57705
31.84/10.19	o 57704
31.84/10.19	o 57703
31.84/10.19	o 57702
31.84/10.19	o 57701
31.84/10.19	o 57700
31.84/10.19	o 57699
31.84/10.19	o 57698
31.84/10.20	o 57697
31.84/10.20	o 57696
31.84/10.20	o 57695
31.84/10.20	o 57694
31.84/10.20	o 57693
32.07/10.20	o 57692
32.07/10.20	o 57691
32.07/10.20	o 57690
32.07/10.20	o 57689
32.07/10.20	o 57688
32.07/10.20	o 57687
32.07/10.20	o 57686
32.07/10.20	o 57685
32.07/10.20	o 57684
32.07/10.21	o 57683
32.07/10.21	o 57682
32.07/10.21	o 57681
32.07/10.21	o 57680
32.07/10.21	o 57679
32.07/10.21	o 57678
32.07/10.21	o 57677
32.07/10.21	o 57676
32.07/10.21	o 57675
32.07/10.21	o 57674
32.07/10.21	o 57673
32.07/10.21	o 57672
32.07/10.21	o 57671
32.07/10.21	o 57670
32.07/10.21	o 57669
32.07/10.21	o 57668
32.07/10.21	o 57667
32.07/10.21	o 57666
32.07/10.21	o 57665
32.07/10.21	o 57664
32.07/10.21	o 57663
32.07/10.22	o 57662
32.07/10.22	o 57661
32.07/10.22	o 57660
32.07/10.22	o 57659
32.07/10.22	o 57658
32.07/10.22	o 57657
32.07/10.22	o 57656
32.07/10.22	o 57655
32.07/10.22	o 57654
32.07/10.22	o 57653
32.07/10.22	o 57652
32.07/10.22	o 57651
32.07/10.22	o 57650
32.07/10.22	o 57649
32.07/10.22	o 57648
32.07/10.22	o 57647
32.07/10.22	o 57646
32.07/10.22	o 57645
32.07/10.22	o 57644
32.07/10.22	o 57643
32.07/10.22	o 57642
32.07/10.22	o 57641
32.07/10.22	o 57640
32.07/10.23	o 57639
32.07/10.23	o 57638
32.07/10.23	o 57637
32.07/10.23	o 57636
32.07/10.23	o 57635
32.07/10.23	o 57634
32.07/10.23	o 57633
32.07/10.23	o 57632
32.07/10.23	o 57631
32.07/10.23	o 57630
32.07/10.23	o 57629
32.07/10.23	o 57628
32.07/10.23	o 57627
32.07/10.23	o 57626
32.07/10.23	o 57625
32.07/10.24	o 57624
32.07/10.24	o 57623
32.07/10.24	o 57622
32.07/10.24	o 57621
32.07/10.24	o 57620
32.07/10.24	o 57619
32.07/10.25	o 57618
32.07/10.25	o 57617
32.07/10.25	o 57616
32.07/10.25	o 57615
32.07/10.25	o 57614
32.07/10.25	o 57613
32.07/10.25	o 57612
32.07/10.25	o 57611
32.07/10.25	o 57610
32.07/10.25	o 57609
32.07/10.25	o 57608
32.07/10.25	o 57607
32.07/10.25	o 57606
32.07/10.25	o 57605
32.07/10.25	o 57604
32.07/10.25	o 57603
32.07/10.25	o 57602
32.07/10.25	o 57601
32.07/10.25	o 57600
32.07/10.25	o 57599
32.07/10.25	o 57598
32.07/10.25	o 57597
32.07/10.25	o 57596
32.07/10.25	o 57595
32.07/10.25	o 57594
32.07/10.26	o 57593
32.07/10.26	o 57592
32.07/10.26	o 57591
32.07/10.26	o 57590
32.07/10.26	o 57589
32.07/10.26	o 57588
32.07/10.26	o 57587
32.07/10.26	o 57586
32.07/10.26	o 57585
32.07/10.26	o 57584
32.07/10.26	o 57583
32.07/10.26	o 57582
32.07/10.26	o 57581
32.07/10.26	o 57580
32.07/10.26	o 57579
32.07/10.26	o 57578
32.07/10.26	o 57577
32.07/10.26	o 57576
32.07/10.26	o 57575
32.07/10.26	o 57574
32.07/10.26	o 57573
32.07/10.27	o 57572
32.07/10.27	o 57571
32.07/10.27	o 57570
32.07/10.27	o 57569
32.07/10.27	o 57568
32.07/10.27	o 57567
32.07/10.27	o 57566
32.07/10.27	o 57565
32.07/10.27	o 57564
32.07/10.27	o 57563
32.07/10.27	o 57562
32.07/10.27	o 57561
32.07/10.27	o 57560
32.07/10.27	o 57559
32.07/10.27	o 57558
32.07/10.27	o 57557
32.07/10.27	o 57556
32.07/10.27	o 57555
32.07/10.27	o 57554
32.07/10.27	o 57553
32.07/10.27	o 57552
32.07/10.27	o 57551
32.07/10.27	o 57550
32.07/10.27	o 57549
32.07/10.27	o 57548
32.07/10.27	o 57547
32.07/10.27	o 57546
32.07/10.27	o 57545
32.07/10.27	o 57544
32.07/10.27	o 57543
32.07/10.27	o 57542
32.07/10.27	o 57541
32.07/10.27	o 57540
32.07/10.28	o 57539
32.07/10.28	o 57538
32.07/10.28	o 57537
32.07/10.28	o 57536
32.07/10.28	o 57535
32.07/10.28	o 57534
32.07/10.28	o 57533
32.07/10.28	o 57532
32.07/10.28	o 57531
32.07/10.28	o 57530
32.07/10.28	o 57529
32.07/10.28	o 57528
32.07/10.28	o 57527
32.07/10.28	o 57526
32.07/10.28	o 57525
32.07/10.28	o 57524
32.07/10.28	o 57523
32.07/10.28	o 57522
32.07/10.28	o 57521
32.07/10.28	o 57520
32.07/10.28	o 57519
32.07/10.28	o 57518
32.07/10.28	o 57517
32.07/10.28	o 57516
32.07/10.28	o 57515
32.07/10.28	o 57514
32.07/10.28	o 57513
32.07/10.28	o 57512
32.07/10.29	o 57511
32.07/10.29	o 57510
32.07/10.29	o 57509
32.07/10.29	o 57508
32.07/10.29	o 57507
32.07/10.30	o 57506
32.07/10.30	o 57505
32.07/10.30	o 57504
32.07/10.30	o 57503
32.07/10.30	o 57502
32.07/10.30	o 57501
32.07/10.30	o 57500
32.07/10.30	o 57499
32.07/10.30	o 57498
32.07/10.30	o 57497
32.07/10.30	o 57496
32.07/10.30	o 57495
32.07/10.30	o 57494
32.07/10.30	o 57493
32.07/10.30	o 57492
32.07/10.30	o 57491
32.07/10.30	o 57490
32.07/10.30	o 57489
32.07/10.30	o 57488
32.07/10.30	o 57487
32.07/10.30	o 57486
32.07/10.30	o 57485
32.07/10.30	o 57484
32.07/10.30	o 57483
32.07/10.30	o 57482
32.07/10.30	o 57481
32.07/10.30	o 57480
32.66/10.30	o 57479
32.66/10.30	o 57478
32.66/10.30	o 57477
32.66/10.30	o 57476
32.66/10.30	o 57475
32.66/10.30	o 57474
32.66/10.30	o 57473
32.66/10.30	o 57472
32.66/10.30	o 57471
32.66/10.30	o 57470
32.66/10.30	o 57469
32.66/10.30	o 57468
32.66/10.30	o 57467
32.66/10.30	o 57466
32.66/10.30	o 57465
32.66/10.30	o 57464
32.66/10.30	o 57463
32.66/10.30	o 57462
32.66/10.30	o 57461
32.66/10.30	o 57460
32.66/10.30	o 57459
32.66/10.30	o 57458
32.66/10.31	o 57457
32.66/10.31	o 57456
32.66/10.31	o 57455
32.66/10.31	o 57454
32.66/10.31	o 57453
32.66/10.31	o 57452
32.66/10.31	o 57451
32.66/10.31	o 57450
32.66/10.31	o 57449
32.66/10.31	o 57448
32.66/10.31	o 57447
32.66/10.31	o 57446
32.66/10.31	o 57445
32.66/10.31	o 57444
32.66/10.31	o 57443
32.66/10.31	o 57442
32.66/10.31	o 57441
32.66/10.32	o 57440
32.66/10.32	o 57439
32.66/10.32	o 57438
32.66/10.32	o 57437
32.66/10.32	o 57436
32.66/10.32	o 57435
32.66/10.32	o 57434
32.66/10.32	o 57433
32.66/10.32	o 57432
32.66/10.32	o 57431
32.66/10.32	o 57430
32.66/10.32	o 57429
32.66/10.32	o 57428
32.66/10.33	o 57427
32.66/10.33	o 57426
32.66/10.33	o 57425
32.66/10.33	o 57424
32.66/10.33	o 57423
32.66/10.33	o 57422
32.66/10.33	o 57421
32.66/10.33	o 57420
32.66/10.33	o 57419
32.66/10.33	o 57418
32.66/10.33	o 57417
32.66/10.33	o 57416
32.66/10.33	o 57415
32.66/10.33	o 57414
32.66/10.33	o 57413
32.66/10.33	o 57412
32.66/10.33	o 57411
32.66/10.33	o 57410
32.66/10.33	o 57409
32.66/10.33	o 57408
32.66/10.33	o 57407
32.66/10.34	o 57406
32.66/10.34	o 57405
32.66/10.34	o 57404
32.66/10.34	o 57403
32.66/10.34	o 57402
32.66/10.34	o 57401
32.66/10.34	o 57400
32.66/10.34	o 57399
32.66/10.34	o 57398
32.66/10.34	o 57397
32.66/10.34	o 57396
32.66/10.34	o 57395
32.66/10.34	o 57394
32.66/10.35	o 57393
32.66/10.35	o 57392
32.66/10.35	o 57391
32.66/10.35	o 57390
32.66/10.35	o 57389
32.66/10.35	o 57388
32.66/10.35	o 57387
32.66/10.35	o 57386
32.66/10.35	o 57385
32.66/10.35	o 57384
32.66/10.35	o 57383
32.66/10.35	o 57382
32.66/10.35	o 57381
32.66/10.35	o 57380
32.66/10.35	o 57379
32.66/10.35	o 57378
32.66/10.35	o 57377
32.66/10.35	o 57376
32.66/10.35	o 57375
32.66/10.35	o 57374
32.66/10.35	o 57373
32.66/10.36	o 57372
32.66/10.36	o 57371
32.66/10.36	o 57370
32.66/10.36	o 57369
32.66/10.36	o 57368
32.66/10.36	o 57367
32.66/10.37	o 57366
32.66/10.37	o 57365
32.66/10.37	o 57364
32.66/10.37	o 57363
32.66/10.37	o 57362
32.66/10.37	o 57361
32.66/10.37	o 57360
32.66/10.37	o 57359
32.66/10.37	o 57358
32.66/10.38	o 57357
32.66/10.39	o 57356
32.66/10.39	o 57355
32.66/10.39	o 57354
32.66/10.39	o 57353
32.66/10.39	o 57352
32.66/10.39	o 57351
32.66/10.39	o 57350
32.66/10.39	o 57349
32.66/10.39	o 57348
32.66/10.39	o 57347
32.66/10.39	o 57346
32.66/10.39	o 57345
32.66/10.39	o 57344
32.66/10.39	o 57343
32.66/10.39	o 57342
32.66/10.39	o 57341
32.66/10.39	o 57340
32.66/10.39	o 57339
32.66/10.39	o 57338
32.66/10.39	o 57337
32.66/10.39	o 57336
32.66/10.39	o 57335
32.66/10.39	o 57334
32.66/10.39	o 57333
32.66/10.39	o 57332
32.66/10.39	o 57331
32.66/10.39	o 57330
32.66/10.39	o 57329
32.66/10.39	o 57328
32.66/10.39	o 57327
32.66/10.39	o 57326
32.66/10.39	o 57325
32.66/10.39	o 57324
32.66/10.39	o 57323
32.66/10.39	o 57322
32.66/10.39	o 57321
32.66/10.39	o 57320
32.66/10.39	o 57319
32.66/10.39	o 57318
32.66/10.39	o 57317
32.66/10.39	o 57316
32.66/10.39	o 57315
32.66/10.40	o 57314
32.66/10.40	o 57313
32.66/10.40	o 57312
32.66/10.40	o 57311
32.66/10.40	o 57310
32.66/10.40	o 57309
32.66/10.40	o 57308
32.66/10.40	o 57307
32.66/10.41	o 57306
32.66/10.41	o 57305
33.32/10.41	o 57304
33.32/10.41	o 57303
33.32/10.41	o 57302
33.32/10.41	o 57301
33.32/10.42	o 57300
33.32/10.42	o 57299
33.32/10.42	o 57298
33.32/10.42	o 57297
33.32/10.42	o 57296
33.32/10.42	o 57295
33.32/10.43	o 57294
33.32/10.43	o 57293
33.32/10.43	o 57292
33.32/10.43	o 57291
33.32/10.43	o 57290
33.32/10.43	o 57289
33.32/10.43	o 57288
33.32/10.44	o 57287
33.32/10.44	o 57286
33.32/10.44	o 57285
33.32/10.44	o 57284
33.32/10.44	o 57283
33.32/10.44	o 57282
33.32/10.45	o 57281
33.32/10.45	o 57280
33.32/10.45	o 57279
33.32/10.45	o 57278
33.32/10.46	o 57277
33.32/10.46	o 57276
33.32/10.46	o 57275
33.32/10.46	o 57274
33.32/10.46	o 57273
33.32/10.47	o 57272
33.32/10.47	o 57271
33.32/10.47	o 57270
33.32/10.47	o 57269
33.32/10.47	o 57268
33.32/10.48	o 57267
33.32/10.48	o 57266
33.32/10.48	o 57265
33.32/10.48	o 57264
33.32/10.48	o 57263
33.32/10.48	o 57262
33.32/10.48	o 57261
33.32/10.49	o 57260
33.32/10.49	o 57259
33.32/10.49	o 57258
33.32/10.49	o 57257
33.32/10.49	o 57256
33.32/10.49	o 57255
33.32/10.49	o 57254
33.32/10.49	o 57253
33.32/10.49	o 57252
33.32/10.49	o 57251
33.32/10.49	o 57250
33.32/10.49	o 57249
33.32/10.49	o 57248
33.32/10.49	o 57247
33.32/10.49	o 57246
33.32/10.49	o 57245
33.32/10.49	o 57244
33.32/10.49	o 57243
33.32/10.49	o 57242
33.32/10.49	o 57241
33.32/10.49	o 57240
33.32/10.49	o 57239
33.32/10.49	o 57238
33.32/10.49	o 57237
33.32/10.49	o 57236
33.32/10.49	o 57235
33.32/10.49	o 57234
33.32/10.49	o 57233
33.32/10.50	o 57232
33.32/10.50	o 57231
33.32/10.50	o 57230
33.32/10.50	o 57229
33.96/10.50	o 57228
33.96/10.50	o 57227
33.96/10.50	o 57226
33.96/10.50	o 57225
33.96/10.50	o 57224
33.96/10.50	o 57223
33.96/10.50	o 57222
33.96/10.50	o 57221
33.96/10.50	o 57220
33.96/10.50	o 57219
33.96/10.50	o 57218
33.96/10.50	o 57217
33.96/10.50	o 57216
33.96/10.50	o 57215
33.96/10.50	o 57214
33.96/10.50	o 57213
33.96/10.50	o 57212
33.96/10.50	o 57211
33.96/10.50	o 57210
33.96/10.50	o 57209
33.96/10.50	o 57208
33.96/10.50	o 57207
33.96/10.51	o 57206
33.96/10.51	o 57205
33.96/10.51	o 57204
33.96/10.51	o 57203
33.96/10.51	o 57202
33.96/10.51	o 57201
33.96/10.51	o 57200
33.96/10.51	o 57199
33.96/10.51	o 57198
33.96/10.51	o 57197
33.96/10.51	o 57196
33.96/10.51	o 57195
33.96/10.51	o 57194
33.96/10.51	o 57193
33.96/10.51	o 57192
33.96/10.51	o 57191
33.96/10.51	o 57190
33.96/10.51	o 57189
33.96/10.51	o 57188
33.96/10.51	o 57187
33.96/10.51	o 57186
33.96/10.51	o 57185
33.96/10.51	o 57184
33.96/10.51	o 57183
33.96/10.51	o 57182
33.96/10.51	o 57181
33.96/10.51	o 57180
33.96/10.51	o 57179
33.96/10.51	o 57178
33.96/10.51	o 57177
33.96/10.51	o 57176
33.96/10.51	o 57175
33.96/10.51	o 57174
33.96/10.51	o 57173
33.96/10.51	o 57172
33.96/10.52	o 57171
33.96/10.52	o 57170
33.96/10.52	o 57169
33.96/10.52	o 57168
33.96/10.52	o 57167
33.96/10.52	o 57166
33.96/10.52	o 57165
33.96/10.52	o 57164
33.96/10.52	o 57163
33.96/10.52	o 57162
33.96/10.52	o 57161
33.96/10.52	o 57160
33.96/10.52	o 57159
33.96/10.52	o 57158
33.96/10.52	o 57157
33.96/10.52	o 57156
33.96/10.52	o 57155
33.96/10.52	o 57154
33.96/10.52	o 57153
33.96/10.52	o 57152
33.96/10.52	o 57151
33.96/10.52	o 57150
33.96/10.52	o 57149
33.96/10.52	o 57148
33.96/10.52	o 57147
33.96/10.52	o 57146
33.96/10.52	o 57145
33.96/10.52	o 57144
33.96/10.52	o 57143
33.96/10.52	o 57142
33.96/10.52	o 57141
33.96/10.52	o 57140
33.96/10.52	o 57139
33.96/10.52	o 57138
33.96/10.52	o 57137
33.96/10.52	o 57136
33.96/10.52	o 57135
33.96/10.52	o 57134
33.96/10.52	o 57133
33.96/10.53	o 57132
33.96/10.54	o 57131
33.96/10.54	o 57130
33.96/10.54	o 57129
33.96/10.54	o 57128
33.96/10.54	o 57127
33.96/10.54	o 57126
33.96/10.54	o 57125
33.96/10.54	o 57124
33.96/10.54	o 57123
33.96/10.54	o 57122
33.96/10.54	o 57121
33.96/10.54	o 57120
33.96/10.54	o 57119
33.96/10.54	o 57118
33.96/10.54	o 57117
33.96/10.54	o 57116
33.96/10.54	o 57115
33.96/10.54	o 57114
33.96/10.54	o 57113
33.96/10.54	o 57112
33.96/10.54	o 57111
33.96/10.54	o 57110
33.96/10.54	o 57109
33.96/10.54	o 57108
33.96/10.54	o 57107
33.96/10.54	o 57106
33.96/10.54	o 57105
33.96/10.54	o 57104
33.96/10.54	o 57103
33.96/10.54	o 57102
33.96/10.54	o 57101
33.96/10.54	o 57100
33.96/10.54	o 57099
33.96/10.54	o 57098
33.96/10.54	o 57097
33.96/10.54	o 57096
33.96/10.54	o 57095
33.96/10.54	o 57094
33.96/10.54	o 57093
33.96/10.54	o 57092
33.96/10.54	o 57091
33.96/10.54	o 57090
33.96/10.54	o 57089
33.96/10.54	o 57088
33.96/10.54	o 57087
33.96/10.54	o 57086
33.96/10.54	o 57085
33.96/10.54	o 57084
33.96/10.54	o 57083
33.96/10.54	o 57082
33.96/10.54	o 57081
33.96/10.54	o 57080
33.96/10.54	o 57079
33.96/10.54	o 57078
33.96/10.54	o 57077
33.96/10.54	o 57076
33.96/10.54	o 57075
33.96/10.54	o 57074
33.96/10.54	o 57073
33.96/10.54	o 57072
33.96/10.54	o 57071
33.96/10.54	o 57070
33.96/10.56	o 57069
33.96/10.56	o 57068
33.96/10.56	o 57067
33.96/10.56	o 57066
33.96/10.56	o 57065
33.96/10.56	o 57064
33.96/10.56	o 57063
33.96/10.56	o 57062
33.96/10.56	o 57061
33.96/10.56	o 57060
33.96/10.56	o 57059
33.96/10.56	o 57058
33.96/10.56	o 57057
33.96/10.56	o 57056
33.96/10.56	o 57055
33.96/10.56	o 57054
33.96/10.56	o 57053
33.96/10.56	o 57052
33.96/10.56	o 57051
33.96/10.56	o 57050
33.96/10.56	o 57049
33.96/10.56	o 57048
33.96/10.56	o 57047
33.96/10.56	o 57046
33.96/10.56	o 57045
33.96/10.56	o 57044
33.96/10.56	o 57043
33.96/10.56	o 57042
33.96/10.56	o 57041
33.96/10.56	o 57040
33.96/10.56	o 57039
33.96/10.56	o 57038
33.96/10.56	o 57037
33.96/10.56	o 57036
33.96/10.56	o 57035
33.96/10.56	o 57034
33.96/10.56	o 57033
33.96/10.56	o 57032
33.96/10.56	o 57031
33.96/10.57	o 57030
33.96/10.57	o 57029
33.96/10.57	o 57028
33.96/10.57	o 57027
33.96/10.57	o 57026
33.96/10.57	o 57025
33.96/10.57	o 57024
33.96/10.57	o 57023
33.96/10.57	o 57022
33.96/10.57	o 57021
33.96/10.57	o 57020
33.96/10.57	o 57019
33.96/10.57	o 57018
33.96/10.57	o 57017
33.96/10.57	o 57016
33.96/10.58	o 57015
33.96/10.58	o 57014
33.96/10.58	o 57013
33.96/10.58	o 57012
33.96/10.58	o 57011
33.96/10.58	o 57010
33.96/10.58	o 57009
33.96/10.58	o 57008
33.96/10.58	o 57007
33.96/10.58	o 57006
33.96/10.58	o 57005
33.96/10.58	o 57004
33.96/10.58	o 57003
33.96/10.58	o 57002
33.96/10.58	o 57001
33.96/10.58	o 57000
33.96/10.58	o 56999
33.96/10.59	o 56998
33.96/10.59	o 56997
33.96/10.59	o 56996
33.96/10.59	o 56995
33.96/10.59	o 56994
33.96/10.59	o 56993
33.96/10.59	o 56992
33.96/10.59	o 56991
33.96/10.59	o 56990
33.96/10.59	o 56989
33.96/10.59	o 56988
33.96/10.59	o 56987
33.96/10.59	o 56986
33.96/10.59	o 56985
33.96/10.59	o 56984
33.96/10.59	o 56983
33.96/10.59	o 56982
33.96/10.59	o 56981
33.96/10.59	o 56980
33.96/10.59	o 56979
33.96/10.59	o 56978
33.96/10.59	o 56977
33.96/10.59	o 56976
33.96/10.59	o 56975
33.96/10.59	o 56974
33.96/10.59	o 56973
33.96/10.59	o 56972
33.96/10.59	o 56971
33.96/10.59	o 56970
33.96/10.59	o 56969
33.96/10.59	o 56968
33.96/10.59	o 56967
33.96/10.59	o 56966
33.96/10.60	o 56965
33.96/10.60	o 56964
33.96/10.60	o 56963
33.96/10.60	o 56962
33.96/10.60	o 56961
33.96/10.60	o 56960
33.96/10.60	o 56959
33.96/10.60	o 56958
33.96/10.60	o 56957
33.96/10.60	o 56956
33.96/10.60	o 56955
33.96/10.60	o 56954
33.96/10.60	o 56953
34.63/10.60	o 56952
34.63/10.60	o 56951
34.63/10.60	o 56950
34.63/10.60	o 56949
34.63/10.60	o 56948
34.63/10.61	o 56947
34.63/10.61	o 56946
34.63/10.61	o 56945
34.63/10.61	o 56944
34.63/10.61	o 56943
34.63/10.61	o 56942
34.63/10.61	o 56941
34.63/10.61	o 56940
34.63/10.61	o 56939
34.63/10.61	o 56938
34.63/10.61	o 56937
34.63/10.61	o 56936
34.63/10.61	o 56935
34.63/10.61	o 56934
34.63/10.61	o 56933
34.63/10.61	o 56932
34.63/10.61	o 56931
34.63/10.61	o 56930
34.63/10.61	o 56929
34.63/10.61	o 56928
34.63/10.61	o 56927
34.63/10.61	o 56926
34.63/10.61	o 56925
34.63/10.61	o 56924
34.63/10.61	o 56923
34.63/10.61	o 56922
34.63/10.61	o 56921
34.63/10.61	o 56920
34.63/10.61	o 56919
34.63/10.61	o 56918
34.63/10.61	o 56917
34.63/10.61	o 56916
34.63/10.61	o 56915
34.63/10.61	o 56914
34.63/10.61	o 56913
34.63/10.61	o 56912
34.63/10.61	o 56911
34.63/10.61	o 56910
34.63/10.62	o 56909
34.63/10.62	o 56908
34.63/10.62	o 56907
34.63/10.62	o 56906
34.63/10.62	o 56905
34.63/10.62	o 56904
34.63/10.62	o 56903
34.63/10.62	o 56902
34.63/10.62	o 56901
34.63/10.62	o 56900
34.63/10.62	o 56899
34.63/10.62	o 56898
34.63/10.62	o 56897
34.63/10.62	o 56896
34.63/10.62	o 56895
34.63/10.62	o 56894
34.63/10.62	o 56893
34.63/10.62	o 56892
34.63/10.62	o 56891
34.63/10.62	o 56890
34.63/10.62	o 56889
34.63/10.62	o 56888
34.63/10.62	o 56887
34.63/10.62	o 56886
34.63/10.62	o 56885
34.63/10.63	o 56884
34.63/10.63	o 56883
34.63/10.63	o 56882
34.63/10.63	o 56881
34.63/10.63	o 56880
34.63/10.63	o 56879
34.63/10.63	o 56878
34.63/10.63	o 56877
34.63/10.63	o 56876
34.63/10.63	o 56875
34.63/10.63	o 56874
34.63/10.63	o 56873
34.63/10.63	o 56872
34.63/10.63	o 56871
34.63/10.63	o 56870
34.63/10.63	o 56869
34.63/10.63	o 56868
34.63/10.63	o 56867
34.63/10.63	o 56866
34.63/10.63	o 56865
34.63/10.63	o 56864
34.63/10.63	o 56863
34.63/10.63	o 56862
34.63/10.63	o 56861
34.63/10.64	o 56860
34.63/10.64	o 56859
34.63/10.64	o 56858
34.63/10.64	o 56857
34.63/10.64	o 56856
34.63/10.64	o 56855
34.63/10.64	o 56854
34.63/10.64	o 56853
34.63/10.64	o 56852
34.63/10.64	o 56851
34.63/10.64	o 56850
34.63/10.64	o 56849
34.63/10.64	o 56848
34.63/10.64	o 56847
34.63/10.64	o 56846
34.63/10.64	o 56845
34.63/10.64	o 56844
34.63/10.65	o 56843
34.63/10.65	o 56842
34.63/10.65	o 56841
34.63/10.65	o 56840
34.63/10.65	o 56839
34.63/10.65	o 56838
34.63/10.65	o 56837
34.63/10.65	o 56836
34.63/10.65	o 56835
34.63/10.66	o 56834
34.63/10.66	o 56833
34.63/10.66	o 56832
34.63/10.66	o 56831
34.63/10.66	o 56830
34.63/10.66	o 56829
34.63/10.66	o 56828
34.63/10.66	o 56827
34.63/10.66	o 56826
34.63/10.66	o 56825
34.63/10.66	o 56824
34.63/10.66	o 56823
34.63/10.66	o 56822
34.63/10.66	o 56821
34.63/10.66	o 56820
34.63/10.66	o 56819
34.63/10.66	o 56818
34.63/10.66	o 56817
34.63/10.66	o 56816
34.63/10.66	o 56815
34.63/10.66	o 56814
34.63/10.67	o 56813
34.63/10.67	o 56812
34.63/10.67	o 56811
34.63/10.67	o 56810
34.63/10.67	o 56809
34.63/10.67	o 56808
34.63/10.67	o 56807
34.63/10.67	o 56806
34.63/10.67	o 56805
34.63/10.67	o 56804
34.63/10.67	o 56803
34.63/10.67	o 56802
34.63/10.67	o 56801
34.63/10.67	o 56800
34.63/10.67	o 56799
34.63/10.67	o 56798
34.63/10.67	o 56797
34.63/10.67	o 56796
34.63/10.67	o 56795
34.63/10.67	o 56794
34.63/10.67	o 56793
34.63/10.67	o 56792
34.63/10.67	o 56791
34.63/10.67	o 56790
34.63/10.67	o 56789
34.63/10.67	o 56788
34.63/10.67	o 56787
34.63/10.67	o 56786
34.63/10.67	o 56785
34.63/10.67	o 56784
34.63/10.67	o 56783
34.63/10.67	o 56782
34.63/10.67	o 56781
34.63/10.67	o 56780
34.63/10.68	o 56779
34.63/10.68	o 56778
34.63/10.68	o 56777
34.63/10.68	o 56776
34.63/10.68	o 56775
34.63/10.68	o 56774
34.63/10.68	o 56773
34.63/10.68	o 56772
34.63/10.68	o 56771
34.63/10.68	o 56770
34.63/10.68	o 56769
34.63/10.68	o 56768
34.63/10.68	o 56767
34.63/10.68	o 56766
34.63/10.68	o 56765
34.63/10.68	o 56764
34.63/10.68	o 56763
34.63/10.68	o 56762
34.63/10.68	o 56761
34.63/10.68	o 56760
34.63/10.68	o 56759
34.63/10.68	o 56758
34.63/10.68	o 56757
34.63/10.68	o 56756
34.63/10.68	o 56755
34.63/10.68	o 56754
34.63/10.68	o 56753
34.63/10.68	o 56752
34.63/10.68	o 56751
34.63/10.68	o 56750
34.63/10.68	o 56749
34.63/10.68	o 56748
34.63/10.68	o 56747
34.63/10.68	o 56746
34.63/10.69	o 56745
34.63/10.69	o 56744
34.63/10.69	o 56743
34.63/10.69	o 56742
34.63/10.69	o 56741
34.63/10.69	o 56740
34.63/10.69	o 56739
34.63/10.69	o 56738
34.63/10.69	o 56737
34.63/10.69	o 56736
34.63/10.69	o 56735
34.63/10.69	o 56734
34.63/10.69	o 56733
34.63/10.69	o 56732
34.63/10.69	o 56731
34.63/10.69	o 56730
34.63/10.70	o 56729
34.63/10.70	o 56728
34.63/10.70	o 56727
34.63/10.70	o 56726
34.63/10.70	o 56725
34.63/10.70	o 56724
34.63/10.70	o 56723
34.63/10.70	o 56722
34.63/10.70	o 56721
34.63/10.70	o 56720
34.63/10.70	o 56719
34.63/10.70	o 56718
34.63/10.70	o 56717
34.63/10.70	o 56716
34.63/10.70	o 56715
34.63/10.70	o 56714
34.63/10.70	o 56713
34.63/10.70	o 56712
34.63/10.70	o 56711
34.63/10.70	o 56710
34.63/10.70	o 56709
34.63/10.71	o 56708
34.63/10.71	o 56707
34.63/10.71	o 56706
34.63/10.71	o 56705
34.63/10.71	o 56704
34.63/10.71	o 56703
35.39/10.71	o 56702
35.39/10.71	o 56701
35.39/10.71	o 56700
35.39/10.71	o 56699
35.39/10.71	o 56698
35.39/10.71	o 56697
35.39/10.71	o 56696
35.39/10.71	o 56695
35.39/10.71	o 56694
35.39/10.71	o 56693
35.39/10.72	o 56692
35.39/10.72	o 56691
35.39/10.72	o 56690
35.39/10.72	o 56689
35.39/10.72	o 56688
35.39/10.72	o 56687
35.39/10.72	o 56686
35.39/10.72	o 56685
35.39/10.72	o 56684
35.39/10.72	o 56683
35.39/10.72	o 56682
35.39/10.72	o 56681
35.39/10.73	o 56680
35.39/10.73	o 56679
35.39/10.73	o 56678
35.39/10.73	o 56677
35.39/10.73	o 56676
35.39/10.73	o 56675
35.39/10.73	o 56674
35.39/10.73	o 56673
35.39/10.73	o 56672
35.39/10.73	o 56671
35.39/10.73	o 56670
35.39/10.73	o 56669
35.39/10.73	o 56668
35.39/10.73	o 56667
35.39/10.73	o 56666
35.39/10.73	o 56665
35.39/10.73	o 56664
35.39/10.74	o 56663
35.39/10.74	o 56662
35.39/10.74	o 56661
35.39/10.74	o 56660
35.39/10.74	o 56659
35.39/10.74	o 56658
35.39/10.74	o 56657
35.39/10.74	o 56656
35.39/10.74	o 56655
35.39/10.74	o 56654
35.39/10.74	o 56653
35.39/10.74	o 56652
35.39/10.75	o 56651
35.39/10.75	o 56650
35.39/10.75	o 56649
35.39/10.75	o 56648
35.39/10.75	o 56647
35.39/10.75	o 56646
35.39/10.75	o 56645
35.39/10.75	o 56644
35.39/10.75	o 56643
35.39/10.75	o 56642
35.39/10.75	o 56641
35.39/10.76	o 56640
35.39/10.76	o 56639
35.39/10.76	o 56638
35.39/10.76	o 56637
35.39/10.76	o 56636
35.39/10.76	o 56635
35.39/10.76	o 56634
35.39/10.76	o 56633
35.39/10.77	o 56632
35.39/10.77	o 56631
35.39/10.77	o 56630
35.39/10.77	o 56629
35.39/10.77	o 56628
35.39/10.77	o 56627
35.39/10.77	o 56626
35.39/10.77	o 56625
35.39/10.77	o 56624
35.39/10.77	o 56623
35.39/10.77	o 56622
35.39/10.77	o 56621
35.39/10.78	o 56620
35.39/10.78	o 56619
35.39/10.78	o 56618
35.39/10.78	o 56617
35.39/10.78	o 56616
35.39/10.78	o 56615
35.39/10.78	o 56614
35.39/10.78	o 56613
35.39/10.78	o 56612
35.39/10.78	o 56611
35.39/10.79	o 56610
35.39/10.79	o 56609
35.39/10.79	o 56608
35.39/10.79	o 56607
35.39/10.79	o 56606
35.39/10.79	o 56605
35.39/10.80	o 56604
35.39/10.80	o 56603
35.39/10.80	o 56602
35.39/10.80	o 56601
36.07/10.80	o 56600
36.07/10.80	o 56599
36.07/10.80	o 56598
36.07/10.80	o 56597
36.07/10.80	o 56596
36.07/10.81	o 56595
36.07/10.81	o 56594
36.07/10.81	o 56593
36.07/10.81	o 56592
36.07/10.81	o 56591
36.07/10.81	o 56590
36.07/10.81	o 56589
36.07/10.81	o 56588
36.07/10.81	o 56587
36.07/10.81	o 56586
36.07/10.81	o 56585
36.07/10.81	o 56584
36.07/10.81	o 56583
36.07/10.82	o 56582
36.07/10.82	o 56581
36.07/10.83	o 56580
36.07/10.83	o 56579
36.07/10.83	o 56578
36.07/10.83	o 56577
36.07/10.83	o 56576
36.07/10.83	o 56575
36.07/10.83	o 56574
36.07/10.83	o 56573
36.07/10.83	o 56572
36.07/10.83	o 56571
36.07/10.83	o 56570
36.07/10.83	o 56569
36.07/10.83	o 56568
36.07/10.83	o 56567
36.07/10.83	o 56566
36.07/10.83	o 56565
36.07/10.84	o 56564
36.07/10.84	o 56563
36.07/10.84	o 56562
36.07/10.84	o 56561
36.07/10.84	o 56560
36.07/10.84	o 56559
36.07/10.84	o 56558
36.07/10.84	o 56557
36.07/10.84	o 56556
36.07/10.84	o 56555
36.07/10.84	o 56554
36.07/10.85	o 56553
36.07/10.85	o 56552
36.07/10.85	o 56551
36.07/10.85	o 56550
36.07/10.85	o 56549
36.07/10.85	o 56548
36.07/10.85	o 56547
36.07/10.85	o 56546
36.07/10.85	o 56545
36.07/10.85	o 56544
36.07/10.86	o 56543
36.07/10.86	o 56542
36.07/10.86	o 56541
36.07/10.86	o 56540
36.07/10.86	o 56539
36.07/10.86	o 56538
36.07/10.86	o 56537
36.07/10.86	o 56536
36.07/10.86	o 56535
36.07/10.86	o 56534
36.07/10.86	o 56533
36.07/10.86	o 56532
36.07/10.86	o 56531
36.07/10.87	o 56530
36.07/10.87	o 56529
36.07/10.87	o 56528
36.07/10.87	o 56527
36.07/10.87	o 56526
36.07/10.87	o 56525
36.07/10.88	o 56524
36.07/10.88	o 56523
36.07/10.88	o 56522
36.07/10.88	o 56521
36.07/10.88	o 56520
36.07/10.88	o 56519
36.07/10.88	o 56518
36.07/10.88	o 56517
36.07/10.88	o 56516
36.07/10.88	o 56515
36.07/10.88	o 56514
36.07/10.88	o 56513
36.07/10.88	o 56512
36.07/10.88	o 56511
36.07/10.88	o 56510
36.07/10.88	o 56509
36.07/10.88	o 56508
36.07/10.88	o 56507
36.07/10.88	o 56506
36.07/10.88	o 56505
36.07/10.88	o 56504
36.07/10.89	o 56503
36.07/10.89	o 56502
36.07/10.89	o 56501
36.07/10.89	o 56500
36.07/10.89	o 56499
36.07/10.89	o 56498
36.07/10.89	o 56497
36.07/10.89	o 56496
36.07/10.89	o 56495
36.07/10.89	o 56494
36.07/10.89	o 56493
36.07/10.89	o 56492
36.07/10.89	o 56491
36.07/10.89	o 56490
36.07/10.90	o 56489
36.07/10.90	o 56488
36.07/10.90	o 56487
36.07/10.90	o 56486
36.80/10.90	o 56485
36.80/10.90	o 56484
36.80/10.90	o 56483
36.80/10.90	o 56482
36.80/10.90	o 56481
36.80/10.90	o 56480
36.80/10.90	o 56479
36.80/10.90	o 56478
36.80/10.90	o 56477
36.80/10.90	o 56476
36.80/10.91	o 56475
36.80/10.91	o 56474
36.80/10.91	o 56473
36.80/10.91	o 56472
36.80/10.91	o 56471
36.80/10.91	o 56470
36.80/10.91	o 56469
36.80/10.91	o 56468
36.80/10.91	o 56467
36.80/10.91	o 56466
36.80/10.91	o 56465
36.80/10.91	o 56464
36.80/10.91	o 56463
36.80/10.91	o 56462
36.80/10.91	o 56461
36.80/10.91	o 56460
36.80/10.92	o 56459
36.80/10.92	o 56458
36.80/10.92	o 56457
36.80/10.92	o 56456
36.80/10.92	o 56455
36.80/10.92	o 56454
36.80/10.92	o 56453
36.80/10.92	o 56452
36.80/10.92	o 56451
36.80/10.92	o 56450
36.80/10.92	o 56449
36.80/10.92	o 56448
36.80/10.92	o 56447
36.80/10.92	o 56446
36.80/10.93	o 56445
36.80/10.93	o 56444
36.80/10.93	o 56443
36.80/10.93	o 56442
36.80/10.93	o 56441
36.80/10.93	o 56440
36.80/10.93	o 56439
36.80/10.94	o 56438
36.80/10.94	o 56437
36.80/10.94	o 56436
36.80/10.94	o 56435
36.80/10.94	o 56434
36.80/10.94	o 56433
36.80/10.94	o 56432
36.80/10.94	o 56431
36.80/10.94	o 56430
36.80/10.94	o 56429
36.80/10.94	o 56428
36.80/10.94	o 56427
36.80/10.94	o 56426
36.80/10.94	o 56425
36.80/10.94	o 56424
36.80/10.94	o 56423
36.80/10.94	o 56422
36.80/10.94	o 56421
36.80/10.94	o 56420
36.80/10.94	o 56419
36.80/10.94	o 56418
36.80/10.95	o 56417
36.80/10.95	o 56416
36.80/10.95	o 56415
36.80/10.95	o 56414
36.80/10.95	o 56413
36.80/10.95	o 56412
36.80/10.95	o 56411
36.80/10.95	o 56410
36.80/10.95	o 56409
36.80/10.95	o 56408
36.80/10.95	o 56407
36.80/10.96	o 56406
36.80/10.96	o 56405
36.80/10.96	o 56404
36.80/10.96	o 56403
36.80/10.96	o 56402
36.80/10.96	o 56401
36.80/10.96	o 56400
36.80/10.97	o 56399
36.80/10.97	o 56398
36.80/10.97	o 56397
36.80/10.97	o 56396
36.80/10.97	o 56395
36.80/10.97	o 56394
36.80/10.97	o 56393
36.80/10.97	o 56392
36.80/10.97	o 56391
36.80/10.97	o 56390
36.80/10.97	o 56389
36.80/10.97	o 56388
36.80/10.97	o 56387
36.80/10.97	o 56386
36.80/10.97	o 56385
36.80/10.97	o 56384
36.80/10.97	o 56383
36.80/10.98	o 56382
36.80/10.98	o 56381
36.80/10.98	o 56380
36.80/10.98	o 56379
36.80/10.98	o 56378
36.80/10.98	o 56377
36.80/10.98	o 56376
36.80/10.98	o 56375
36.80/10.98	o 56374
36.80/10.99	o 56373
36.80/10.99	o 56372
36.80/10.99	o 56371
36.80/10.99	o 56370
36.80/10.99	o 56369
36.80/10.99	o 56368
36.80/11.00	o 56367
36.80/11.00	o 56366
36.80/11.00	o 56365
36.80/11.00	o 56364
36.80/11.00	o 56363
36.80/11.00	o 56362
36.80/11.00	o 56361
36.80/11.01	o 56360
36.80/11.01	o 56359
36.80/11.01	o 56358
36.80/11.01	o 56357
36.80/11.01	o 56356
36.80/11.01	o 56355
37.64/11.01	o 56354
37.64/11.01	o 56353
37.64/11.01	o 56352
37.64/11.01	o 56351
37.64/11.01	o 56350
37.64/11.02	o 56349
37.64/11.02	o 56348
37.64/11.02	o 56347
37.64/11.03	o 56346
37.64/11.03	o 56345
37.64/11.03	o 56344
37.64/11.03	o 56343
37.64/11.03	o 56342
37.64/11.03	o 56341
37.64/11.03	o 56340
37.64/11.03	o 56339
37.64/11.03	o 56338
37.64/11.03	o 56337
37.64/11.03	o 56336
37.64/11.03	o 56335
37.64/11.03	o 56334
37.64/11.03	o 56333
37.64/11.03	o 56332
37.64/11.03	o 56331
37.64/11.04	o 56330
37.64/11.04	o 56329
37.64/11.04	o 56328
37.64/11.05	o 56327
37.64/11.05	o 56326
37.64/11.05	o 56325
37.64/11.05	o 56324
37.64/11.06	o 56323
37.64/11.06	o 56322
37.64/11.06	o 56321
37.64/11.06	o 56320
37.64/11.06	o 56319
37.64/11.06	o 56318
37.64/11.06	o 56317
37.64/11.07	o 56316
37.64/11.07	o 56315
37.64/11.07	o 56314
37.64/11.08	o 56313
37.64/11.08	o 56312
37.64/11.08	o 56311
37.64/11.08	o 56310
37.64/11.08	o 56309
37.64/11.08	o 56308
37.64/11.08	o 56307
37.64/11.08	o 56306
37.64/11.09	o 56305
37.64/11.09	o 56304
37.64/11.09	o 56303
37.64/11.09	o 56302
37.64/11.09	o 56301
37.64/11.10	o 56300
37.64/11.10	o 56299
37.64/11.10	o 56298
37.64/11.10	o 56297
37.64/11.10	o 56296
37.64/11.10	o 56295
37.64/11.10	o 56294
37.64/11.11	o 56293
37.64/11.11	o 56292
37.64/11.11	o 56291
37.64/11.11	o 56290
37.64/11.11	o 56289
37.64/11.11	o 56288
38.42/11.12	o 56287
38.42/11.12	o 56286
38.42/11.12	o 56285
38.42/11.12	o 56284
38.42/11.12	o 56283
38.42/11.12	o 56282
38.42/11.12	o 56281
38.42/11.12	o 56280
38.42/11.12	o 56279
38.42/11.12	o 56278
38.42/11.12	o 56277
38.42/11.12	o 56276
38.42/11.12	o 56275
38.42/11.13	o 56274
38.42/11.13	o 56273
38.42/11.13	o 56272
38.42/11.13	o 56271
38.42/11.13	o 56270
38.42/11.13	o 56269
38.42/11.13	o 56268
38.42/11.13	o 56267
38.42/11.14	o 56266
38.42/11.14	o 56265
38.42/11.14	o 56264
38.42/11.14	o 56263
38.42/11.15	o 56262
38.42/11.15	o 56261
38.42/11.15	o 56260
38.42/11.15	o 56259
38.42/11.15	o 56258
38.42/11.15	o 56257
38.42/11.15	o 56256
38.42/11.15	o 56255
38.42/11.15	o 56254
38.42/11.15	o 56253
38.42/11.15	o 56252
38.42/11.16	o 56251
38.42/11.16	o 56250
38.42/11.17	o 56249
38.42/11.17	o 56248
38.42/11.17	o 56247
38.42/11.17	o 56246
38.42/11.17	o 56245
38.42/11.17	o 56244
38.42/11.17	o 56243
38.42/11.17	o 56242
38.42/11.17	o 56241
38.42/11.17	o 56240
38.42/11.17	o 56239
38.42/11.17	o 56238
38.42/11.17	o 56237
38.42/11.18	o 56236
38.42/11.18	o 56235
38.42/11.18	o 56234
38.42/11.18	o 56233
38.42/11.19	o 56232
38.42/11.19	o 56231
38.42/11.19	o 56230
38.42/11.19	o 56229
38.42/11.19	o 56228
38.42/11.19	o 56227
38.42/11.19	o 56226
38.42/11.19	o 56225
38.42/11.20	o 56224
38.42/11.20	o 56223
38.42/11.20	o 56222
38.42/11.20	o 56221
38.42/11.20	o 56220
38.42/11.20	o 56219
38.42/11.20	o 56218
38.42/11.20	o 56217
38.42/11.20	o 56216
39.17/11.21	o 56215
39.17/11.21	o 56214
39.17/11.21	o 56213
39.17/11.21	o 56212
39.17/11.21	o 56211
39.17/11.21	o 56210
39.17/11.21	o 56209
39.17/11.21	o 56208
39.17/11.21	o 56207
39.17/11.21	o 56206
39.17/11.22	o 56205
39.17/11.22	o 56204
39.17/11.22	o 56203
39.17/11.22	o 56202
39.17/11.22	o 56201
39.17/11.22	o 56200
39.17/11.22	o 56199
39.17/11.22	o 56198
39.17/11.22	o 56197
39.17/11.22	o 56196
39.17/11.22	o 56195
39.17/11.23	o 56194
39.17/11.23	o 56193
39.17/11.23	o 56192
39.17/11.23	o 56191
39.17/11.23	o 56190
39.17/11.23	o 56189
39.17/11.23	o 56188
39.17/11.23	o 56187
39.17/11.24	o 56186
39.17/11.24	o 56185
39.17/11.24	o 56184
39.17/11.24	o 56183
39.17/11.24	o 56182
39.17/11.25	o 56181
39.17/11.25	o 56180
39.17/11.25	o 56179
39.17/11.25	o 56178
39.17/11.25	o 56177
39.17/11.25	o 56176
39.17/11.25	o 56175
39.17/11.25	o 56174
39.17/11.26	o 56173
39.17/11.26	o 56172
39.17/11.26	o 56171
39.17/11.26	o 56170
39.17/11.26	o 56169
39.17/11.26	o 56168
39.17/11.26	o 56167
39.17/11.26	o 56166
39.17/11.26	o 56165
39.17/11.26	o 56164
39.17/11.26	o 56163
39.17/11.27	o 56162
39.17/11.27	o 56161
39.17/11.27	o 56160
39.17/11.27	o 56159
39.17/11.27	o 56158
39.17/11.27	o 56157
39.17/11.27	o 56156
39.17/11.27	o 56155
39.17/11.27	o 56154
39.17/11.27	o 56153
39.17/11.27	o 56152
39.17/11.27	o 56151
39.17/11.28	o 56150
39.17/11.28	o 56149
39.17/11.28	o 56148
39.17/11.28	o 56147
39.17/11.28	o 56146
39.17/11.28	o 56145
39.17/11.28	o 56144
39.17/11.28	o 56143
39.17/11.28	o 56142
39.17/11.28	o 56141
39.17/11.28	o 56140
39.17/11.28	o 56139
39.17/11.28	o 56138
39.17/11.28	o 56137
39.17/11.29	o 56136
39.17/11.29	o 56135
39.17/11.29	o 56134
39.17/11.29	o 56133
39.96/11.31	o 56132
39.96/11.31	o 56131
39.96/11.31	o 56130
39.96/11.31	o 56129
39.96/11.31	o 56128
39.96/11.31	o 56127
39.96/11.31	o 56126
39.96/11.31	o 56125
39.96/11.32	o 56124
39.96/11.32	o 56123
39.96/11.32	o 56122
39.96/11.33	o 56121
39.96/11.33	o 56120
39.96/11.34	o 56119
39.96/11.34	o 56118
39.96/11.36	o 56117
39.96/11.36	o 56116
39.96/11.37	o 56115
39.96/11.38	o 56114
39.96/11.38	o 56113
39.96/11.39	o 56112
40.71/11.40	o 56111
40.71/11.40	o 56110
40.71/11.41	o 56109
40.71/11.41	o 56108
40.71/11.43	o 56107
40.71/11.43	o 56106
40.71/11.44	o 56105
40.71/11.44	o 56104
40.71/11.45	o 56103
40.71/11.45	o 56102
40.71/11.45	o 56101
40.71/11.47	o 56100
40.71/11.48	o 56099
40.71/11.48	o 56098
40.71/11.49	o 56097
40.71/11.49	o 56096
40.71/11.49	o 56095
40.71/11.51	o 56094
40.71/11.51	o 56093
41.58/11.52	o 56092
41.58/11.52	o 56091
41.58/11.53	o 56090
41.58/11.53	o 56089
41.58/11.54	o 56088
41.58/11.54	o 56087
41.58/11.55	o 56086
41.58/11.56	o 56085
41.58/11.56	o 56084
41.58/11.56	o 56083
41.58/11.58	o 56082
41.58/11.58	o 56081
41.58/11.59	o 56080
41.58/11.59	o 56079
41.58/11.59	o 56078
41.58/11.60	o 56077
42.32/11.61	o 56076
42.32/11.62	o 56075
42.32/11.62	o 56074
42.32/11.62	o 56073
42.32/11.63	o 56072
42.32/11.64	o 56071
42.32/11.64	o 56070
42.32/11.64	o 56069
42.32/11.66	o 56068
42.32/11.66	o 56067
42.32/11.66	o 56066
42.32/11.67	o 56065
42.32/11.68	o 56064
42.32/11.68	o 56063
42.32/11.69	o 56062
42.32/11.69	o 56061
43.10/11.70	o 56060
43.10/11.70	o 56059
43.10/11.71	o 56058
43.10/11.71	o 56057
43.10/11.72	o 56056
43.10/11.72	o 56055
43.10/11.73	o 56054
43.10/11.73	o 56053
43.10/11.74	o 56052
43.10/11.74	o 56051
43.10/11.75	o 56050
43.10/11.75	o 56049
43.10/11.76	o 56048
43.10/11.77	o 56047
43.10/11.77	o 56046
43.10/11.78	o 56045
43.10/11.78	o 56044
43.10/11.79	o 56043
43.10/11.79	o 56042
43.10/11.79	o 56041
43.10/11.79	o 56040
43.90/11.80	o 56039
43.90/11.81	o 56038
43.90/11.81	o 56037
43.90/11.82	o 56036
43.90/11.82	o 56035
43.90/11.83	o 56034
43.90/11.84	o 56033
43.90/11.84	o 56032
43.90/11.84	o 56031
43.90/11.85	o 56030
43.90/11.85	o 56029
43.90/11.85	o 56028
43.90/11.86	o 56027
43.90/11.86	o 56026
43.90/11.87	o 56025
43.90/11.87	o 56024
43.90/11.88	o 56023
43.90/11.88	o 56022
43.90/11.89	o 56021
43.90/11.89	o 56020
43.90/11.90	o 56019
43.90/11.90	o 56018
43.90/11.90	o 56017
44.75/11.91	o 56016
44.75/11.91	o 56015
44.75/11.92	o 56014
44.75/11.93	o 56013
44.75/11.93	o 56012
44.75/11.93	o 56011
44.75/11.93	o 56010
44.75/11.95	o 56009
44.75/11.95	o 56008
44.75/11.95	o 56007
44.75/11.96	o 56006
44.75/11.96	o 56005
44.75/11.96	o 56004
44.75/11.96	o 56003
44.75/11.96	o 56002
44.75/11.97	o 56001
44.75/11.97	o 56000
44.75/11.99	o 55999
44.75/11.99	o 55998
44.75/11.99	o 55997
44.75/12.00	o 55996
44.75/12.00	o 55995
44.75/12.00	o 55994
44.75/12.00	o 55993
44.75/12.01	o 55992
44.75/12.01	o 55991
45.55/12.02	o 55990
45.55/12.02	o 55989
45.55/12.02	o 55988
45.55/12.02	o 55987
45.55/12.03	o 55986
45.55/12.04	o 55985
45.55/12.04	o 55984
45.55/12.04	o 55983
45.55/12.04	o 55982
45.55/12.04	o 55981
45.55/12.04	o 55980
45.55/12.04	o 55979
45.55/12.04	o 55978
45.55/12.04	o 55977
45.55/12.04	o 55976
45.55/12.04	o 55975
45.55/12.05	o 55974
45.55/12.05	o 55973
45.55/12.05	o 55972
45.55/12.05	o 55971
45.55/12.05	o 55970
45.55/12.05	o 55969
45.55/12.05	o 55968
45.55/12.05	o 55967
45.55/12.05	o 55966
45.55/12.05	o 55965
45.55/12.05	o 55964
45.55/12.05	o 55963
45.55/12.06	o 55962
45.55/12.06	o 55961
45.55/12.06	o 55960
45.55/12.06	o 55959
45.55/12.07	o 55958
45.55/12.07	o 55957
45.55/12.08	o 55956
45.55/12.09	o 55955
45.55/12.09	o 55954
45.55/12.10	o 55953
45.55/12.10	o 55952
45.55/12.10	o 55951
45.55/12.11	o 55950
45.55/12.11	o 55949
45.55/12.11	o 55948
45.55/12.12	o 55947
45.55/12.12	o 55946
46.43/12.13	o 55945
46.43/12.13	o 55944
46.43/12.14	o 55943
46.43/12.15	o 55942
46.43/12.15	o 55941
46.43/12.15	o 55940
46.43/12.15	o 55939
46.43/12.16	o 55938
46.43/12.16	o 55937
46.43/12.17	o 55936
46.43/12.17	o 55935
46.43/12.18	o 55934
46.43/12.19	o 55933
46.43/12.19	o 55932
46.43/12.19	o 55931
46.43/12.20	o 55930
46.43/12.20	o 55929
47.10/12.21	o 55928
47.10/12.21	o 55927
47.10/12.22	o 55926
47.10/12.22	o 55925
47.10/12.23	o 55924
47.10/12.23	o 55923
47.10/12.23	o 55922
47.10/12.24	o 55921
47.10/12.25	o 55920
47.10/12.25	o 55919
47.10/12.25	o 55918
47.10/12.25	o 55917
47.10/12.25	o 55916
47.10/12.26	o 55915
47.10/12.26	o 55914
47.10/12.27	o 55913
47.10/12.27	o 55912
47.10/12.28	o 55911
47.10/12.29	o 55910
47.10/12.29	o 55909
47.10/12.30	o 55908
47.89/12.31	o 55907
47.89/12.31	o 55906
47.89/12.33	o 55905
47.89/12.34	o 55904
47.89/12.34	o 55903
47.89/12.36	o 55902
47.89/12.36	o 55901
47.89/12.37	o 55900
47.89/12.37	o 55899
47.89/12.38	o 55898
47.89/12.39	o 55897
47.89/12.39	o 55896
47.89/12.40	o 55895
48.67/12.40	o 55894
48.67/12.40	o 55893
48.67/12.41	o 55892
48.67/12.43	o 55891
48.67/12.43	o 55890
48.67/12.43	o 55889
48.67/12.43	o 55888
48.67/12.45	o 55887
48.67/12.45	o 55886
48.67/12.45	o 55885
48.67/12.46	o 55884
48.67/12.46	o 55883
48.67/12.47	o 55882
48.67/12.48	o 55881
48.67/12.49	o 55880
48.67/12.49	o 55879
48.67/12.49	o 55878
48.67/12.50	o 55877
48.67/12.50	o 55876
49.55/12.51	o 55875
49.55/12.51	o 55874
49.55/12.52	o 55873
49.55/12.52	o 55872
49.55/12.54	o 55871
49.55/12.54	o 55870
49.55/12.54	o 55869
49.55/12.55	o 55868
49.55/12.55	o 55867
49.55/12.56	o 55866
49.55/12.56	o 55865
49.55/12.57	o 55864
49.55/12.58	o 55863
49.55/12.59	o 55862
49.55/12.59	o 55861
49.55/12.60	o 55860
49.55/12.60	o 55859
50.26/12.60	o 55858
50.26/12.61	o 55857
50.26/12.61	o 55856
50.26/12.62	o 55855
50.26/12.63	o 55854
50.26/12.64	o 55853
50.26/12.64	o 55852
50.26/12.65	o 55851
50.26/12.65	o 55850
50.26/12.66	o 55849
50.26/12.66	o 55848
50.26/12.67	o 55847
50.26/12.68	o 55846
50.26/12.68	o 55845
50.26/12.68	o 55844
50.26/12.69	o 55843
50.26/12.70	o 55842
50.26/12.70	o 55841
51.04/12.70	o 55840
51.04/12.72	o 55839
51.04/12.72	o 55838
51.04/12.73	o 55837
51.04/12.73	o 55836
51.04/12.74	o 55835
51.04/12.74	o 55834
51.04/12.74	o 55833
51.04/12.75	o 55832
51.04/12.76	o 55831
51.04/12.76	o 55830
51.04/12.76	o 55829
51.04/12.77	o 55828
51.04/12.77	o 55827
51.04/12.79	o 55826
51.04/12.79	o 55825
52.61/12.92	o 55824
52.61/12.93	o 55823
52.61/12.93	o 55822
52.61/12.94	o 55821
52.61/12.94	o 55820
52.61/12.95	o 55819
52.61/12.95	o 55818
52.61/12.96	o 55817
52.61/12.96	o 55816
52.61/12.98	o 55815
52.61/12.98	o 55814
52.61/12.98	o 55813
52.61/12.99	o 55812
52.61/12.99	o 55811
52.61/13.00	o 55810
52.61/13.00	o 55809
52.61/13.01	o 55808
52.61/13.01	o 55807
53.45/13.02	o 55806
53.45/13.02	o 55805
53.45/13.02	o 55804
53.45/13.03	o 55803
53.45/13.03	o 55802
53.45/13.04	o 55801
53.45/13.04	o 55800
53.45/13.05	o 55799
53.45/13.05	o 55798
53.45/13.05	o 55797
53.45/13.06	o 55796
53.45/13.06	o 55795
53.45/13.07	o 55794
53.45/13.07	o 55793
53.45/13.07	o 55792
53.45/13.09	o 55791
53.45/13.09	o 55790
53.45/13.10	o 55789
53.45/13.10	o 55788
53.45/13.10	o 55787
53.45/13.11	o 55786
53.45/13.11	o 55785
54.30/13.12	o 55784
54.30/13.12	o 55783
54.30/13.13	o 55782
54.30/13.13	o 55781
54.30/13.13	o 55780
54.30/13.13	o 55779
54.30/13.14	o 55778
54.30/13.14	o 55777
54.30/13.15	o 55776
54.30/13.15	o 55775
54.30/13.15	o 55774
54.30/13.16	o 55773
54.30/13.16	o 55772
54.30/13.16	o 55771
54.30/13.18	o 55770
54.30/13.18	o 55769
54.30/13.19	o 55768
54.30/13.19	o 55767
54.30/13.19	o 55766
54.30/13.20	o 55765
54.30/13.20	o 55764
54.30/13.20	o 55763
55.03/13.21	o 55762
55.03/13.21	o 55761
55.03/13.21	o 55760
55.03/13.22	o 55759
55.03/13.22	o 55758
55.03/13.22	o 55757
55.03/13.23	o 55756
55.03/13.23	o 55755
55.03/13.24	o 55754
55.03/13.24	o 55753
55.03/13.25	o 55752
55.03/13.26	o 55751
55.03/13.27	o 55750
55.03/13.27	o 55749
55.03/13.27	o 55748
55.03/13.28	o 55747
55.03/13.28	o 55746
55.03/13.29	o 55745
55.03/13.29	o 55744
55.80/13.31	o 55743
55.80/13.33	o 55742
55.80/13.34	o 55741
55.80/13.36	o 55740
55.80/13.36	o 55739
55.80/13.37	o 55738
55.80/13.37	o 55737
55.80/13.39	o 55736
55.80/13.40	o 55735
56.59/13.41	o 55734
56.59/13.42	o 55733
56.59/13.43	o 55732
56.59/13.44	o 55731
56.59/13.45	o 55730
56.59/13.45	o 55729
56.59/13.45	o 55728
56.59/13.46	o 55727
56.59/13.47	o 55726
56.59/13.48	o 55725
56.59/13.49	o 55724
56.59/13.50	o 55723
57.36/13.51	o 55722
57.36/13.51	o 55721
57.36/13.51	o 55720
57.36/13.53	o 55719
57.36/13.53	o 55718
57.36/13.54	o 55717
57.36/13.55	o 55716
57.36/13.55	o 55715
57.36/13.56	o 55714
57.36/13.56	o 55713
57.36/13.57	o 55712
57.36/13.58	o 55711
57.36/13.59	o 55710
57.36/13.60	o 55709
58.15/13.60	o 55708
58.15/13.61	o 55707
58.15/13.61	o 55706
58.15/13.62	o 55705
58.15/13.63	o 55704
58.15/13.63	o 55703
58.15/13.64	o 55702
58.95/13.70	o 55701
58.95/13.73	o 55700
58.95/13.75	o 55699
58.95/13.77	o 55698
58.95/13.79	o 55697
59.75/13.81	o 55696
59.75/13.83	o 55695
59.75/13.85	o 55694
59.75/13.87	o 55693
59.75/13.89	o 55692
60.62/13.92	o 55691
60.62/13.94	o 55690
60.62/13.96	o 55689
60.62/13.98	o 55688
60.62/14.00	o 55687
61.43/14.04	o 55686
61.43/14.05	o 55685
61.43/14.07	o 55684
61.43/14.09	o 55683
62.21/14.12	o 55682
62.21/14.14	o 55681
62.21/14.16	o 55680
62.21/14.18	o 55679
62.93/14.21	o 55678
62.93/14.22	o 55677
62.93/14.24	o 55676
62.93/14.26	o 55675
62.93/14.28	o 55674
62.93/14.30	o 55673
63.77/14.33	o 55672
63.77/14.35	o 55671
63.77/14.37	o 55670
63.77/14.39	o 55669
64.51/14.41	o 55668
64.51/14.43	o 55667
64.51/14.45	o 55666
64.51/14.47	o 55665
64.51/14.49	o 55664
65.31/14.52	o 55663
65.31/14.54	o 55662
65.31/14.56	o 55661
65.31/14.58	o 55660
65.31/14.60	o 55659
66.18/14.62	o 55658
66.18/14.64	o 55657
66.18/14.66	o 55656
66.18/14.68	o 55655
66.91/14.71	o 55654
66.91/14.72	o 55653
66.91/14.74	o 55652
66.91/14.76	o 55651
66.91/14.78	o 55650
67.70/14.81	o 55649
67.70/14.82	o 55648
67.70/14.84	o 55647
67.70/14.86	o 55646
67.70/14.88	o 55645
68.50/14.91	o 55644
68.50/14.92	o 55643
68.50/14.95	o 55642
68.50/14.97	o 55641
68.50/14.99	o 55640
69.36/15.02	o 55639
69.36/15.04	o 55638
69.36/15.06	o 55637
69.36/15.08	o 55636
69.36/15.10	o 55635
70.16/15.12	o 55634
70.16/15.14	o 55633
70.16/15.17	o 55632
70.16/15.19	o 55631
70.16/15.20	o 55630
70.94/15.22	o 55629
70.94/15.24	o 55628
71.63/15.34	o 55627
71.63/15.36	o 55626
71.63/15.38	o 55625
72.41/15.41	o 55624
72.41/15.43	o 55623
72.41/15.45	o 55622
72.41/15.47	o 55621
72.41/15.49	o 55620
73.21/15.51	o 55619
73.21/15.53	o 55618
73.21/15.55	o 55617
73.21/15.57	o 55616
73.21/15.60	o 55615
74.07/15.62	o 55614
74.07/15.65	o 55613
74.07/15.66	o 55612
74.07/15.68	o 55611
74.80/15.71	o 55610
74.80/15.73	o 55609
74.80/15.75	o 55608
74.80/15.77	o 55607
74.80/15.79	o 55606
75.61/15.81	o 55605
75.61/15.83	o 55604
75.61/15.85	o 55603
75.61/15.87	o 55602
75.61/15.89	o 55601
76.41/15.91	o 55600
76.41/15.93	o 55599
76.41/15.95	o 55598
76.41/15.97	o 55597
76.41/15.99	o 55596
76.41/16.01	o 55595
77.27/16.02	o 55594
77.27/16.06	o 55593
77.27/16.09	o 55592
78.07/16.12	o 55591
78.07/16.15	o 55590
78.07/16.19	o 55589
78.79/16.21	o 55588
78.79/16.25	o 55587
78.79/16.27	o 55586
79.59/16.31	o 55585
79.59/16.33	o 55584
79.59/16.36	o 55583
80.39/16.40	o 55582
80.39/16.42	o 55581
80.39/16.46	o 55580
80.39/16.49	o 55579
81.18/16.52	o 55578
81.18/16.55	o 55577
81.18/16.58	o 55576
81.98/16.61	o 55575
81.98/16.64	o 55574
81.98/16.67	o 55573
81.98/16.69	o 55572
82.78/16.70	o 55571
82.78/16.72	o 55570
82.78/16.73	o 55569
82.78/16.75	o 55568
82.78/16.76	o 55567
82.78/16.78	o 55566
82.78/16.79	o 55565
83.58/16.81	o 55564
83.58/16.82	o 55563
83.58/16.84	o 55562
83.58/16.85	o 55561
83.58/16.87	o 55560
83.58/16.88	o 55559
83.58/16.90	o 55558
84.38/16.91	o 55557
84.38/16.92	o 55556
84.38/16.94	o 55555
84.38/16.96	o 55554
84.38/17.00	o 55553
85.24/17.03	o 55552
85.24/17.06	o 55551
85.24/17.09	o 55550
86.04/17.12	o 55549
86.04/17.15	o 55548
86.04/17.17	o 55547
86.76/17.21	o 55546
86.76/17.23	o 55545
86.76/17.27	o 55544
86.76/17.29	o 55543
87.56/17.33	o 55542
87.56/17.35	o 55541
87.56/17.38	o 55540
88.36/17.49	o 55539
89.14/17.51	o 55538
89.14/17.54	o 55537
89.14/17.59	o 55536
89.93/17.62	o 55535
89.93/17.66	o 55534
89.93/17.68	o 55533
90.73/17.71	o 55532
90.73/17.75	o 55531
91.53/17.82	o 55530
91.53/17.87	o 55529
92.33/17.92	o 55528
92.33/17.96	o 55527
92.33/18.01	o 55526
93.19/18.05	o 55525
93.19/18.10	o 55524
93.99/18.14	o 55523
93.99/18.19	o 55522
94.71/18.23	o 55521
94.71/18.28	o 55520
95.51/18.32	o 55519
95.51/18.37	o 55518
96.31/18.41	o 55517
96.31/18.46	o 55516
97.11/18.50	o 55515
97.11/18.55	o 55514
97.11/18.59	o 55513
97.97/18.64	o 55512
97.97/18.68	o 55511
98.70/18.73	o 55510
98.70/18.77	o 55509
99.50/18.82	o 55508
99.50/18.86	o 55507
100.30/18.91	o 55506
100.30/18.95	o 55505
100.30/19.00	o 55504
101.16/19.04	o 55503
101.16/19.08	o 55502
101.97/19.13	o 55501
101.97/19.17	o 55500
102.68/19.21	o 55499
102.68/19.26	o 55498
102.68/19.29	o 55497
103.48/19.31	o 55496
104.29/19.49	o 55495
105.95/19.63	o 55494
106.68/19.79	o 55493
108.28/19.91	o 55492
108.28/20.00	o 55491
109.17/20.09	o 55490
110.65/20.26	o 55489
111.43/20.35	o 55488
112.23/20.44	o 55487
113.03/20.53	o 55486
113.89/20.62	o 55485
114.62/20.71	o 55484
114.62/20.79	o 55483
115.43/20.88	o 55482
116.23/20.97	o 55481
117.09/21.06	o 55480
117.89/21.15	o 55479
118.61/21.24	o 55478
119.41/21.33	o 55477
120.21/21.42	o 55476
121.00/21.50	o 55475
121.00/21.59	o 55474
121.80/21.68	o 55473
122.60/21.77	o 55472
123.40/21.86	o 55471
124.20/21.95	o 55470
125.06/22.04	o 55469
125.87/22.12	o 55468
126.59/22.21	o 55467
127.38/22.30	o 55466
127.38/22.39	o 55465
128.21/22.48	o 55464
128.98/22.57	o 55463
129.78/22.66	o 55462
130.58/22.74	o 55461
132.14/22.93	o 55460
133.00/23.02	o 55459
133.80/23.11	o 55458
134.52/23.20	o 55457
134.52/23.30	o 55456
135.32/23.39	o 55455
136.12/23.48	o 55454
136.92/23.57	o 55453
137.71/23.66	o 55452
138.51/23.74	o 55451
139.31/23.83	o 55450
140.11/23.92	o 55449
140.11/24.01	o 55448
140.97/24.10	o 55447
141.77/24.19	o 55446
142.49/24.28	o 55445
143.29/24.38	o 55444
144.09/24.48	o 55443
144.89/24.56	o 55442
145.75/24.67	o 55441
146.48/24.75	o 55440
147.28/24.85	o 55439
148.08/24.94	o 55438
148.94/25.02	o 55437
149.74/25.11	o 55436
149.74/25.20	o 55435
150.46/25.29	o 55434
151.33/25.38	o 55433
152.06/25.46	o 55432
152.86/25.55	o 55431
153.66/25.65	o 55430
154.45/25.75	o 55429
155.25/25.84	o 55428
156.04/26.01	o 55427
156.89/26.10	o 55426
157.71/26.19	o 55425
158.47/26.29	o 55424
159.21/26.37	o 55423
160.01/26.47	o 55422
160.80/26.56	o 55421
161.60/26.65	o 55420
162.40/26.73	o 55419
163.20/26.82	o 55418
164.00/26.91	o 55417
164.00/27.00	o 55416
164.86/27.10	o 55415
165.66/27.18	o 55414
166.39/27.27	o 55413
167.19/27.37	o 55412
167.98/27.45	o 55411
168.78/27.54	o 55410
169.64/27.63	o 55409
170.38/27.72	o 55408
171.17/27.80	o 55407
171.17/27.89	o 55406
171.97/27.98	o 55405
172.83/28.08	o 55404
173.64/28.16	o 55403
174.36/28.25	o 55402
175.15/28.35	o 55401
175.95/28.44	o 55400
176.75/28.53	o 55399
177.60/28.62	o 55398
178.34/28.71	o 55397
179.13/28.80	o 55396
179.13/28.89	o 55395
180.79/29.08	o 55394
181.58/29.17	o 55393
182.29/29.26	o 55392
183.09/29.35	o 55391
183.88/29.44	o 55390
184.68/29.52	o 55389
185.54/29.61	o 55388
185.54/29.70	o 55387
186.28/29.79	o 55386
187.07/29.87	o 55385
187.87/29.96	o 55384
188.73/30.05	o 55383
189.54/30.13	o 55382
190.26/30.22	o 55381
191.05/30.30	o 55380
191.05/30.39	o 55379
191.91/30.48	o 55378
192.66/30.57	o 55377
193.46/30.65	o 55376
194.25/30.74	o 55375
195.05/30.82	o 55374
195.85/30.91	o 55373
195.85/31.00	o 55372
196.71/31.08	o 55371
197.51/31.17	o 55370
198.23/31.26	o 55369
199.03/31.34	o 55368
199.83/31.43	o 55367
200.63/31.51	o 55366
201.42/31.60	o 55365
201.42/31.69	o 55364
202.26/31.78	o 55363
203.03/31.86	o 55362
203.82/31.95	o 55361
204.68/32.03	o 55360
205.49/32.12	o 55359
206.21/32.21	o 55358
207.00/32.30	o 55357
207.00/32.39	o 55356
208.59/32.57	o 55355
209.37/32.66	o 55354
210.17/32.75	o 55353
210.97/32.84	o 55352
211.76/32.93	o 55351
212.63/33.02	o 55350
213.43/33.11	o 55349
213.43/33.20	o 55348
214.15/33.28	o 55347
214.97/33.37	o 55346
215.74/33.45	o 55345
216.54/33.52	o 55344
216.54/33.57	o 55343
217.40/33.63	o 55342
217.40/33.67	o 55341
218.14/33.73	o 55340
218.14/33.78	o 55339
218.94/33.82	o 55338
218.94/33.86	o 55337
220.60/34.04	o 55336
221.40/34.13	o 55335
222.12/34.22	o 55334
222.92/34.32	o 55333
223.71/34.41	o 55332
224.52/34.51	o 55331
224.52/34.60	o 55330
225.35/34.70	o 55329
226.13/34.75	o 55328
226.13/34.80	o 55327
226.96/34.87	o 55326
227.73/34.91	o 55325
227.73/34.97	o 55324
228.67/35.03	o 55323
228.67/35.09	o 55322
229.49/35.13	o 55321
229.49/35.19	o 55320
230.09/35.23	o 55319
230.09/35.29	o 55318
230.92/35.32	o 55317
233.28/35.66	o 55316
234.88/35.84	o 55315
236.53/36.01	o 55314
238.80/36.31	o 55313
239.61/36.48	o 55312
241.27/36.64	o 55311
242.00/36.79	o 55310
243.59/36.93	o 55309
245.27/37.13	o 55308
246.78/37.30	o 55307
247.58/37.48	o 55306
249.17/37.65	o 55305
250.78/37.83	o 55304
251.57/38.00	o 55303
253.24/38.18	o 55302
254.76/38.35	o 55301
256.35/38.53	o 55300
257.94/38.70	o 55299
258.74/38.88	o 55298
260.41/39.05	o 55297
261.93/39.22	o 55296
263.52/39.41	o 55295
265.12/39.61	o 55294
265.92/39.77	o 55293
267.52/39.91	o 55292
269.18/40.13	o 55291
269.89/40.24	o 55290
273.88/40.74	o 55289
273.88/40.78	o 55288
279.45/41.45	o 55287
281.11/41.68	o 55286
281.85/41.76	o 55285
282.64/41.85	o 55284
283.44/41.94	o 55283
284.30/42.02	o 55282
285.11/42.11	o 55281
285.11/42.20	o 55280
285.83/42.28	o 55279
286.63/42.37	o 55278
287.42/42.46	o 55277
288.22/42.54	o 55276
289.08/42.64	o 55275
289.82/42.72	o 55274
290.61/42.81	o 55273
290.61/42.89	o 55272
291.48/42.97	o 55271
292.27/43.06	o 55270
293.08/43.15	o 55269
293.80/43.23	o 55268
294.60/43.32	o 55267
295.39/43.41	o 55266
295.39/43.49	o 55265
296.23/43.58	o 55264
297.06/43.66	o 55263
297.80/43.75	o 55262
298.59/43.83	o 55261
299.39/43.92	o 55260
299.39/44.01	o 55259
301.76/44.20	o 55258
301.76/44.29	o 55257
302.59/44.37	o 55256
303.36/44.46	o 55255
304.15/44.54	o 55254
305.02/44.62	o 55253
305.75/44.72	o 55252
305.75/44.77	o 55251
307.35/44.92	o 55250
307.35/44.93	o 55249
310.53/45.38	o 55248
313.73/45.73	o 55247
316.99/46.11	o 55246
318.50/46.33	o 55245
320.90/46.65	o 55244
323.29/46.92	o 55243
324.96/47.13	o 55242
327.27/47.47	o 55241
329.67/47.75	o 55240
331.27/47.99	o 55239
334.42/48.34	o 55238
336.81/48.65	o 55237
338.41/48.89	o 55236
341.59/49.23	o 55235
343.19/49.44	o 55234
345.57/49.72	o 55233
348.02/50.04	o 55232
350.34/50.31	o 55231
351.94/50.56	o 55230
354.33/50.84	o 55229
355.99/51.10	o 55228
358.31/51.39	o 55227
361.50/51.73	o 55226
363.10/51.96	o 55225
365.49/52.21	o 55224
367.85/52.57	o 55223
370.25/52.82	o 55222
371.90/53.09	o 55221
374.22/53.36	o 55220
376.69/53.65	o 55219
378.22/53.88	o 55218
380.67/54.12	o 55217
382.19/54.37	o 55216
384.64/54.69	o 55215
386.96/54.94	o 55214
388.64/55.17	o 55213
390.95/55.45	o 55212
392.54/55.68	o 55211
394.94/55.96	o 55210
397.33/56.28	o 55209
399.73/56.53	o 55208
402.89/56.91	o 55207
404.55/57.13	o 55206
406.86/57.45	o 55205
409.26/57.75	o 55204
411.72/58.06	o 55203
413.24/58.29	o 55202
415.63/58.55	o 55201
418.03/58.89	o 55200
420.49/59.14	o 55199
422.01/59.38	o 55198
423.61/59.60	o 55197
426.00/59.88	o 55196
428.46/60.15	o 55195
430.77/60.41	o 55194
433.17/60.71	o 55193
436.41/61.16	o 55192
438.73/61.47	o 55191
441.13/61.76	o 55190
443.58/62.06	o 55189
445.10/62.28	o 55188
447.50/62.52	o 55187
449.10/62.77	o 55186
450.70/62.98	o 55185
453.08/63.25	o 55184
454.67/63.48	o 55183
457.07/63.73	o 55182
458.67/63.96	o 55181
461.06/64.24	o 55180
462.65/64.48	o 55179
465.05/64.74	o 55178
466.65/64.98	o 55177
469.03/65.23	o 55176
471.41/65.60	o 55175
473.79/65.84	o 55174
475.45/66.05	o 55173
477.77/66.32	o 55172
479.37/66.54	o 55171
480.97/66.78	o 55170
483.42/67.04	o 55169
484.95/67.28	o 55168
487.34/67.53	o 55167
488.94/67.76	o 55166
491.40/68.02	o 55165
492.92/68.24	o 55164
495.32/68.53	o 55163
496.91/68.77	o 55162
499.37/69.02	o 55161
500.89/69.26	o 55160
502.49/69.46	o 55159
504.15/69.66	o 55158
505.68/69.85	o 55157
508.84/70.24	o 55156
510.43/70.43	o 55155
512.10/70.63	o 55154
513.63/70.83	o 55153
515.29/71.04	o 55152
516.81/71.22	o 55151
518.41/71.41	o 55150
520.00/71.60	o 55149
522.40/71.91	o 55148
524.06/72.12	o 55147
525.58/72.37	o 55146
528.04/72.64	o 55145
530.37/72.99	o 55144
533.55/73.37	o 55143
535.15/73.59	o 55142
537.54/73.82	o 55141
540.01/74.18	o 55140
542.32/74.45	o 55139
543.99/74.67	o 55138
546.31/75.00	o 55137
547.97/75.19	o 55136
549.48/75.40	o 55135
551.08/75.59	o 55134
552.68/75.78	o 55133
554.27/75.98	o 55132
555.93/76.17	o 55131
557.45/76.36	o 55130
559.05/76.55	o 55129
560.64/76.75	o 55128
562.24/76.94	o 55127
563.90/77.13	o 55126
565.43/77.32	o 55125
567.02/77.52	o 55124
568.62/77.71	o 55123
569.42/77.90	o 55122
571.07/78.07	o 55121
572.59/78.25	o 55120
574.19/78.45	o 55119
575.79/78.63	o 55118
578.18/78.93	o 55117
579.04/79.06	o 55116
582.17/79.45	o 55115
586.14/79.93	o 55114
588.52/80.20	o 55113
589.32/80.39	o 55112
590.92/80.57	o 55111
598.09/81.46	o 55110
598.89/81.57	o 55109
599.69/81.65	o 55108
600.48/81.79	o 55107
602.08/81.93	o 55106
602.08/81.98	o 55105
602.94/82.03	o 55104
602.94/82.07	o 55103
603.75/82.12	o 55102
603.75/82.17	o 55101
604.47/82.22	o 55100
604.47/82.27	o 55099
605.26/82.31	o 55098
605.26/82.36	o 55097
606.06/82.41	o 55096
606.06/82.46	o 55095
606.86/82.51	o 55094
606.86/82.55	o 55093
607.66/82.60	o 55092
607.66/82.65	o 55091
607.66/82.69	o 55090
608.49/82.74	o 55089
608.49/82.78	o 55088
609.25/82.83	o 55087
609.25/82.89	o 55086
613.23/83.30	o 55085
616.42/83.71	o 55084
622.00/84.46	o 55083
625.98/85.00	o 55082
630.75/85.53	o 55081
633.93/85.92	o 55080
637.92/86.42	o 55079
640.31/86.74	o 55078
645.11/87.33	o 55077
648.27/87.76	o 55076
649.92/87.95	o 55075
654.66/88.54	o 55074
659.52/89.11	o 55073
661.83/89.47	o 55072
666.68/90.07	o 55071
669.80/90.49	o 55070
672.98/90.81	o 55069
675.45/91.15	o 55068
678.56/91.57	o 55067
682.62/92.06	o 55066
685.74/92.44	o 55065
688.93/92.86	o 55064
692.12/93.28	o 55063
696.90/93.88	o 55062
702.49/94.55	o 55061
705.67/94.94	o 55060
710.38/95.50	o 55059
713.60/95.99	o 55058
716.79/96.32	o 55057
720.75/96.81	o 55056
724.73/97.36	o 55055
727.92/97.73	o 55054
731.18/98.15	o 55053
735.10/98.63	o 55052
738.37/99.06	o 55051
741.49/99.42	o 55050
744.66/99.84	o 55049
747.85/100.23	o 55048
751.82/100.78	o 55047
754.27/101.10	o 55046
758.19/101.52	o 55045
761.39/101.91	o 55044
764.57/102.30	o 55043
767.75/102.71	o 55042
770.20/103.09	o 55041
774.12/103.52	o 55040
777.30/103.93	o 55039
781.21/104.40	o 55038
784.40/104.83	o 55037
787.58/105.25	o 55036
790.83/105.67	o 55035
795.54/106.20	o 55034
798.73/106.62	o 55033
801.99/107.04	o 55032
805.11/107.45	o 55031
808.31/107.87	o 55030
811.54/108.29	o 55029
815.48/108.71	o 55028
818.73/109.12	o 55027
821.85/109.54	o 55026
825.04/109.96	o 55025
829.00/110.41	o 55024
832.20/110.83	o 55023
837.03/111.47	o 55022
840.93/111.91	o 55021
844.12/112.33	o 55020
847.31/112.77	o 55019
851.29/113.21	o 55018
854.55/113.62	o 55017
857.74/114.05	o 55016
860.06/114.37	o 55015
863.25/114.79	o 55014
867.24/115.21	o 55013
870.49/115.62	o 55012
872.82/116.00	o 55011
876.01/116.31	o 55010
878.47/116.62	o 55009
883.17/117.27	o 55008
887.96/117.81	o 55007
891.14/118.27	o 55006
894.34/118.65	o 55005
898.40/119.16	o 55004
901.51/119.53	o 55003
904.70/119.94	o 55002
907.88/120.36	o 55001
911.07/120.70	o 55000
914.33/121.17	o 54999
918.24/121.61	o 54998
921.50/122.04	o 54997
924.62/122.49	o 54996
929.47/123.08	o 54995
933.39/123.56	o 54994
937.42/124.02	o 54993
941.34/124.53	o 54992
944.53/125.01	o 54991
948.52/125.48	o 54990
952.50/125.96	o 54989
956.49/126.44	o 54988
960.48/126.91	o 54987
963.66/127.39	o 54986
967.68/127.87	o 54985
971.63/128.34	o 54984
976.41/128.94	o 54983
980.39/129.41	o 54982
983.58/129.89	o 54981
987.57/130.36	o 54980
991.56/130.83	o 54979
994.75/131.29	o 54978
998.74/131.77	o 54977
1002.72/132.24	o 54976
1006.71/132.71	o 54975
1009.97/133.18	o 54974
1013.95/133.65	o 54973
1017.95/134.12	o 54972
1022.65/134.74	o 54971
1026.63/135.21	o 54970
1029.82/135.67	o 54969
1033.86/136.14	o 54968
1036.97/136.60	o 54967
1041.04/137.06	o 54966
1044.95/137.53	o 54965
1048.15/138.00	o 54964
1052.13/138.46	o 54963
1056.12/138.93	o 54962
1059.30/139.40	o 54961
1063.30/139.86	o 54960
1068.07/140.47	o 54959
1072.04/140.93	o 54958
1076.01/141.40	o 54957
1079.21/141.86	o 54956
1083.19/142.33	o 54955
1086.38/142.79	o 54954
1090.37/143.26	o 54953
1094.36/143.72	o 54952
1097.62/144.19	o 54951
1101.53/144.65	o 54950
1105.59/145.12	o 54949
1108.71/145.59	o 54948
1112.76/146.05	o 54947
1117.46/146.67	o 54946
1120.72/147.08	o 54945
1123.83/147.50	o 54944
1127.82/147.91	o 54943
1131.01/148.32	o 54942
1134.20/148.74	o 54941
1137.46/149.16	o 54940
1140.58/149.57	o 54939
1143.77/149.98	o 54938
1146.96/150.39	o 54937
1150.95/150.81	o 54936
1154.13/151.22	o 54935
1157.39/151.64	o 54934
1160.59/152.05	o 54933
1163.70/152.47	o 54932
1167.72/153.01	o 54931
1171.65/153.42	o 54930
1174.85/153.84	o 54929
1178.04/154.25	o 54928
1181.23/154.67	o 54927
1184.48/155.07	o 54926
1187.59/155.49	o 54925
1191.60/155.90	o 54924
1194.78/156.31	o 54923
1197.97/156.73	o 54922
1201.23/157.14	o 54921
1204.34/157.56	o 54920
1207.54/157.98	o 54919
1210.72/158.39	o 54918
1214.71/158.80	o 54917
1219.48/159.42	o 54916
1222.67/159.89	o 54915
1226.65/160.35	o 54914
1230.65/160.82	o 54913
1233.83/161.28	o 54912
1237.82/161.75	o 54911
1241.80/162.21	o 54910
1245.00/162.68	o 54909
1249.06/163.15	o 54908
1252.97/163.61	o 54907
1256.23/164.08	o 54906
1260.15/164.55	o 54905
1264.20/165.02	o 54904
1267.32/165.50	o 54903
1272.17/166.09	o 54902
1276.09/166.56	o 54901
1280.14/167.03	o 54900
1283.26/167.49	o 54899
1287.25/167.96	o 54898
1291.23/168.42	o 54897
1294.42/168.89	o 54896
1298.40/169.36	o 54895
1302.39/169.83	o 54894
1306.38/170.30	o 54893
1309.57/170.77	o 54892
1313.56/171.24	o 54891
1317.55/171.71	o 54890
1320.81/172.18	o 54889
1326.30/172.80	o 54888
1328.76/173.15	o 54887
1332.68/173.63	o 54886
1336.74/174.12	o 54885
1339.85/174.56	o 54884
1343.05/174.97	o 54883
1346.23/175.33	o 54882
1349.42/175.80	o 54881
1351.88/176.05	o 54880
1358.19/176.84	o 54879
1362.18/177.37	o 54878
1366.97/177.93	o 54877
1370.95/178.43	o 54876
1375.80/179.02	o 54875
1380.49/179.62	o 54874
1385.28/180.21	o 54873
1388.53/180.68	o 54872
1393.25/181.27	o 54871
1398.03/181.80	o 54870
1402.81/182.45	o 54869
1406.81/183.01	o 54868
1411.58/183.54	o 54867
1415.64/184.07	o 54866
1419.56/184.54	o 54865
1423.61/185.02	o 54864
1425.93/185.34	o 54863
1429.93/185.87	o 54862
1433.89/186.30	o 54861
1435.49/186.50	o 54860
1491.27/193.52	o 54859
1518.43/196.94	o 54858
1541.48/199.86	o 54857
1558.21/201.93	o 54856
1580.54/204.72	o 54855
1591.81/206.15	o 54854
1602.03/207.49	o 54853
1610.80/208.55	o 54852
1623.63/210.13	o 54851
1632.32/211.26	o 54850
1649.86/213.47	o 54849
1660.21/214.78	o 54848
1678.63/217.05	o 54847
1690.52/218.51	o 54846
1699.28/219.67	o 54845
1711.30/221.19	o 54844
1720.79/222.31	o 54843
1729.61/223.41	o 54842
1738.32/224.52	o 54841
1747.09/225.63	o 54840
1755.87/226.74	o 54839
1764.64/227.84	o 54838
1774.26/229.06	o 54837
1783.04/230.18	o 54836
1791.73/231.28	o 54835
1800.50/232.39	o 54834
1809.28/233.49	o 54833
1818.05/234.59	o 54832
1828.37/235.81	o 54831
1837.18/236.91	o 54830
1845.98/238.01	o 54829
1854.76/239.11	o 54828
1863.45/240.22	o 54827
1872.27/241.33	o 54826
1881.82/242.56	o 54825
1890.60/243.69	o 54824
1899.31/244.79	o 54823
1908.08/245.89	o 54822
1916.85/247.00	o 54821
1925.69/248.11	o 54820
1935.18/249.22	o 54819
1944.74/250.44	o 54818
1953.51/251.55	o 54817
1962.35/252.66	o 54816
1971.05/253.77	o 54815
1979.83/254.89	o 54814
1988.59/256.00	o 54813
1998.23/257.12	o 54812
2007.71/258.36	o 54811
2016.49/259.47	o 54810
2025.26/260.57	o 54809
2034.10/261.69	o 54808
2043.60/262.80	o 54807
2052.37/263.92	o 54806
2062.00/265.15	o 54805
2071.49/266.31	o 54804
2080.26/267.47	o 54803
2089.87/268.64	o 54802
2098.58/269.79	o 54801
2108.16/270.94	o 54800
2116.99/272.09	o 54799
2127.26/273.36	o 54798
2136.83/274.51	o 54797
2145.61/275.65	o 54796
2154.38/276.80	o 54795
2163.95/277.95	o 54794
2172.78/279.10	o 54793
2183.06/280.34	o 54792
2191.84/281.48	o 54791
2201.47/282.63	o 54790
2210.18/283.77	o 54789
2219.74/284.92	o 54788
2228.59/286.07	o 54787
2238.88/287.37	o 54786
2246.84/288.40	o 54785
2255.62/289.49	o 54784
2267.58/290.97	o 54783
2275.55/291.93	o 54782
2282.73/292.86	o 54781
2292.36/294.03	o 54780
2300.34/295.10	o 54779
2308.28/296.03	o 54778
2317.78/297.21	o 54777
2325.04/298.17	o 54776
2335.32/299.43	o 54775
2338.51/299.85	o 54774
2341.70/300.25	o 54773
2364.89/303.17	o 54772
2375.18/304.49	o 54771
2383.94/305.52	o 54770
2401.50/307.74	o 54769
2414.25/309.32	o 54768
2422.21/310.37	o 54767
2431.77/311.54	o 54766
2446.92/313.50	o 54765
2459.74/315.09	o 54764
2470.12/316.32	o 54763
2477.22/317.29	o 54762
2487.57/318.52	o 54761
2496.41/319.68	o 54760
2505.91/320.81	o 54759
2516.35/322.14	o 54758
2524.33/323.18	o 54757
2536.26/324.61	o 54756
2545.76/325.83	o 54755
2553.74/326.84	o 54754
2562.51/328.02	o 54753
2572.87/329.23	o 54752
2582.44/330.43	o 54751
2591.99/331.61	o 54750
2599.96/332.69	o 54749
2615.06/334.52	o 54748
2622.24/335.48	o 54747
2631.01/336.51	o 54746
2638.98/337.58	o 54745
2647.81/338.63	o 54744
2657.33/339.83	o 54743
2665.30/340.80	o 54742
2673.22/341.85	o 54741
2682.00/342.94	o 54740
2689.97/343.93	o 54739
2697.94/344.96	o 54738
2706.78/346.05	o 54737
2713.89/346.97	o 54736
2722.72/348.04	o 54735
2730.70/349.03	o 54734
2739.47/350.12	o 54733
2746.64/351.09	o 54732
2753.75/352.01	o 54731
2761.72/352.95	o 54730
2770.55/354.01	o 54729
2778.53/355.08	o 54728
2787.30/356.19	o 54727
2801.58/357.91	o 54726
2808.75/358.87	o 54725
2821.51/360.49	o 54724
2831.15/361.63	o 54723
2842.31/363.06	o 54722
2853.40/364.49	o 54721
2877.31/367.48	o 54720
2894.91/369.64	o 54719
2902.88/370.67	o 54718
2920.35/372.80	o 54717
2931.51/374.23	o 54716
2942.74/375.65	o 54715
2960.22/377.86	o 54714
2968.19/378.87	o 54713
2989.71/381.53	o 54712
3000.88/382.96	o 54711
3008.85/383.91	o 54710
3019.21/385.27	o 54709
3031.17/386.71	o 54708
3041.60/388.03	o 54707
3051.88/389.31	o 54706
3059.85/390.31	o 54705
3071.02/391.77	o 54704
3081.50/393.06	o 54703
3089.42/394.09	o 54702
3103.71/395.85	o 54701
3114.86/397.24	o 54700
3125.23/398.51	o 54699
3136.40/399.93	o 54698
3145.23/401.07	o 54697
3154.73/402.21	o 54696
3167.48/403.83	o 54695
3178.63/405.25	o 54694
3187.41/406.36	o 54693
3194.58/407.27	o 54692
3204.15/408.40	o 54691
3212.12/409.49	o 54690
3221.75/410.66	o 54689
3228.86/411.55	o 54688
3239.18/412.83	o 54687
3252.72/414.56	o 54686
3263.09/415.87	o 54685
3275.85/417.42	o 54684
3287.01/418.84	o 54683
3303.76/420.94	o 54682
3314.90/422.36	o 54681
3323.67/423.46	o 54680
3333.29/424.61	o 54679
3342.81/425.80	o 54678
3354.77/427.39	o 54677
3367.52/428.90	o 54676
3374.69/429.87	o 54675
3379.50/430.48	o 54674
3389.04/431.63	o 54673
3403.40/433.47	o 54672
3415.36/435.00	o 54671
3425.00/436.15	o 54670
3436.06/437.59	o 54669
3445.63/438.79	o 54668
3459.98/440.53	o 54667
3471.14/442.01	o 54666
3480.78/443.19	o 54665
3488.75/444.18	o 54664
3495.91/445.07	o 54663
3505.41/446.21	o 54662
3517.37/447.76	o 54661
3525.34/448.78	o 54660
3536.58/450.15	o 54659
3544.56/451.19	o 54658
3551.72/452.07	o 54657
3558.04/452.83	o 54656
3565.99/453.85	o 54655
3581.14/455.71	o 54654
3621.00/460.79	o 54653
3634.52/462.44	o 54652
3648.86/464.27	o 54651
3655.31/465.04	o 54650
3734.20/475.00	o 54649
3770.81/479.50	o 54648
3811.54/484.65	o 54647
3836.18/487.76	o 54646
3856.11/490.25	o 54645
3886.46/494.05	o 54644
3958.19/503.04	o 54643
3966.96/504.19	o 54642
3982.11/506.03	o 54641
3983.63/506.28	o 54640
4060.95/515.98	o 54639
4129.51/524.61	o 54638
4170.88/529.73	o 54637
4207.53/534.31	o 54636
4244.20/538.97	o 54635
4259.35/540.82	o 54634
4296.01/545.49	o 54633
4306.38/546.76	o 54632
4346.23/551.70	o 54631
4378.12/555.71	o 54630
4477.04/568.13	o 54629
4545.51/576.73	o 54628
4587.83/582.04	o 54627
4609.22/584.73	o 54626
4673.78/592.85	o 54625
4701.68/596.39	o 54624
4810.09/609.91	o 54623
4854.73/615.57	o 54622
4920.87/623.87	o 54621
4994.26/633.04	o 54620
5046.87/639.69	o 54619
5093.82/645.53	o 54618
5142.52/651.63	o 54617
5201.53/659.07	o 54616
5260.43/666.45	o 54615
5302.66/671.75	o 54614
5340.93/676.50	o 54613
5386.37/682.20	o 54612
5443.75/689.49	o 54611
5491.57/695.47	o 54610
5555.33/703.42	o 54609
5623.95/712.03	o 54608
5677.24/718.72	o 54607
5735.48/726.10	o 54606
5783.31/732.09	o 54605
5838.25/738.95	o 54604
5898.05/746.48	o 54603
5952.25/753.30	o 54602
6005.64/759.94	o 54601
6054.31/766.01	o 54600
6113.24/773.40	o 54599
6157.95/779.03	o 54598
6207.30/785.26	o 54597
6258.37/791.62	o 54596
6302.23/797.19	o 54595
6355.56/803.85	o 54594
6405.86/810.12	o 54593
6456.06/816.46	o 54592
6503.82/822.49	o 54591
6555.64/828.99	o 54590
6605.13/835.20	o 54589
6654.49/841.33	o 54588
6714.31/848.83	o 54587
6754.14/853.85	o 54586
6804.44/860.15	o 54585
6850.60/865.93	o 54584
6895.23/871.60	o 54583
6946.27/878.01	o 54582
6995.80/884.15	o 54581
7045.91/890.41	o 54580
7097.71/896.97	o 54579
7158.28/904.52	o 54578
7210.17/911.06	o 54577
7264.30/917.85	o 54576
7315.30/924.26	o 54575
7375.07/931.71	o 54574
7434.10/939.19	o 54573
7500.97/947.55	o 54572
7547.21/953.31	o 54571
7587.86/958.49	o 54570
7627.74/963.72	o 54569
7658.00/967.58	o 54568
7673.13/969.41	o 54567
7737.67/977.57	o 54566
7774.42/982.16	o 54565
7835.71/989.82	o 54564
7862.81/993.26	o 54563
7889.97/996.65	o 54562
7924.19/1000.96	o 54561
7952.07/1004.49	o 54560
7976.80/1007.55	o 54559
8002.29/1010.70	o 54558
8025.47/1013.65	o 54557
8055.66/1017.42	o 54556
8075.61/1020.00	o 54555
8109.17/1024.13	o 54554
8141.74/1028.30	o 54553
8175.21/1032.41	o 54552
8203.98/1036.05	o 54551
8223.04/1038.44	o 54550
8251.79/1042.08	o 54549
8278.83/1045.40	o 54548
8305.12/1048.76	o 54547
8331.50/1052.08	o 54546
8365.71/1056.34	o 54545
8453.35/1067.31	o 54544
8482.92/1071.04	o 54543
8498.87/1073.02	o 54542
8529.89/1076.95	o 54541
8592.06/1084.79	o 54540
8631.91/1089.74	o 54539
8677.37/1095.49	o 54538
8740.26/1103.37	o 54537
8790.56/1109.63	o 54536
8833.61/1115.03	o 54535
8881.38/1121.04	o 54534
8925.11/1126.53	o 54533
8976.13/1133.01	o 54532
9034.32/1140.27	o 54531
9086.14/1146.72	o 54530
9133.99/1152.75	o 54529
9185.82/1159.21	o 54528
9228.05/1164.53	o 54527
9267.91/1169.52	o 54526
9314.94/1175.43	o 54525
9352.49/1180.19	o 54524
9394.66/1185.44	o 54523
9435.32/1190.55	o 54522
9484.01/1196.68	o 54521
9527.87/1202.15	o 54520
9578.81/1208.52	o 54519
9625.04/1214.39	o 54518
9676.82/1220.81	o 54517
9740.59/1228.82	o 54516
9795.59/1235.71	o 54515
9845.03/1241.96	o 54514
9884.87/1246.99	o 54513
9927.17/1252.23	o 54512
9979.73/1258.87	o 54511
10035.54/1265.81	o 54510
10083.37/1271.89	o 54509
10151.12/1280.32	o 54508
10209.35/1287.70	o 54507
10268.35/1295.05	o 54506
10324.95/1302.13	o 54505
10378.27/1308.84	o 54504
10435.71/1316.03	o 54503
10492.26/1323.14	o 54502
10551.15/1330.53	o 54501
10612.59/1338.21	o 54500
10672.32/1345.75	o 54499
10728.91/1352.84	o 54498
10791.87/1360.71	o 54497
10854.00/1368.52	o 54496
10913.00/1375.93	o 54495
10969.67/1383.09	o 54494
11024.61/1389.98	o 54493
11087.60/1397.82	o 54492
11150.58/1405.78	o 54491
11212.76/1413.54	o 54490
11273.41/1421.16	o 54489
11333.93/1428.77	o 54488
11390.54/1435.88	o 54487
11458.30/1444.33	o 54486
11514.90/1451.41	o 54485
11569.11/1458.26	o 54484
11635.29/1466.55	o 54483
11696.67/1474.27	o 54482
11754.07/1481.47	o 54481
11809.07/1488.40	o 54480
11860.84/1494.89	o 54479
11925.43/1503.01	o 54478
11984.39/1510.37	o 54477
12047.38/1518.27	o 54476
12108.77/1525.99	o 54475
12155.04/1531.73	o 54474
12220.37/1539.90	o 54473
12263.40/1545.39	o 54472
12324.85/1553.03	o 54471
12364.71/1558.10	o 54470
12437.28/1567.14	o 54469
12475.46/1571.98	o 54468
12546.42/1580.83	o 54467
12583.89/1585.54	o 54466
12630.10/1591.38	o 54465
12691.53/1599.07	o 54464
12751.26/1606.57	o 54463
12813.43/1614.39	o 54462
12860.46/1620.25	o 54461
12905.92/1625.99	o 54460
12984.83/1635.90	o 54459
13050.28/1644.06	o 54458
13108.40/1651.31	o 54457
13165.00/1658.43	o 54456
13227.24/1666.30	o 54455
13286.98/1673.73	o 54454
13344.38/1680.99	o 54453
13410.60/1689.23	o 54452
13459.16/1695.33	o 54451
13538.07/1705.23	o 54450
13600.32/1713.04	o 54449
13666.41/1721.36	o 54448
13726.96/1728.93	o 54447
13788.40/1736.64	o 54446
13850.49/1744.45	o 54445
13901.51/1750.82	o 54444
13956.52/1757.74	o 54443
14005.95/1763.95	o 54442
14062.59/1771.04	o 54441
14109.57/1776.97	o 54440
14169.35/1784.40	o 54439
14215.56/1790.20	o 54438
14250.63/1794.62	o 54437
14314.47/1802.69	o 54436
14351.88/1807.36	o 54435
14386.95/1811.72	o 54434
14461.17/1821.06	o 54433
14504.14/1826.43	o 54432
14555.96/1833.00	o 54431
14615.75/1840.50	o 54430
14693.87/1850.24	o 54429
14726.56/1854.33	o 54428
14761.60/1858.80	o 54427
14803.06/1863.90	o 54426
14883.62/1874.07	o 54425
14958.47/1883.46	o 54424
15062.10/1896.42	o 54423
15113.12/1902.84	o 54422
15149.80/1907.47	o 54421
15157.77/1908.44	o 54420
15184.88/1911.85	o 54419
15193.65/1912.99	o 54418
15294.09/1925.51	o 54417
15459.08/1946.22	o 54416
15551.60/1957.89	o 54415
15626.48/1967.29	o 54414
15679.89/1973.91	o 54413
15715.80/1978.50	o 54412
15762.78/1984.35	o 54411
15801.85/1989.25	o 54410
15935.91/2006.07	o 54409
15980.42/2011.62	o 54408
16072.14/2023.15	o 54407
16130.25/2030.45	o 54406
16177.28/2036.31	o 54405
16252.23/2045.75	o 54404
16288.89/2050.33	o 54403
16346.29/2057.52	o 54402
16430.85/2068.12	o 54401
16480.19/2074.35	o 54400
16515.28/2078.70	o 54399
16773.60/2111.13	o 54398
16813.44/2116.14	o 54397
16940.16/2132.06	o 54396
17029.35/2143.28	o 54395
17116.31/2154.16	o 54394
17218.22/2166.97	o 54393
17345.76/2183.00	o 54392
17531.48/2206.30	o 54391
17660.59/2222.43	o 54390
17761.89/2235.16	o 54389
17829.64/2243.67	o 54388
17973.71/2261.77	o 54387
18281.38/2300.32	o 54386
18482.21/2325.54	o 54385
18601.75/2340.52	o 54384
18700.60/2352.96	o 54383
18806.62/2366.30	o 54382
19146.98/2408.99	o 54381
19221.10/2418.23	o 54380
19426.80/2444.07	o 54379
19527.19/2456.62	o 54378
19655.54/2472.75	o 54377
19852.44/2497.44	o 54376
20024.70/2519.09	o 54375
20032.68/2520.09	s SATISFIABLE
20032.68/2520.09	v <instantiation>
20032.68/2520.09	v 	<list>
20032.68/2520.09	v 		c[0] c[1] c[2] c[3] c[4] c[5] c[6] c[7] c[8] c[9] c[10] c[11] c[12] c[13] c[14] c[15] c[16] c[17] c[18] c[19] c[20] c[21] c[22] c[23] c[24] c[25] c[26] c[27] c[28] c[29] c[30] c[31] c[32] c[33] c[34] c[35] c[36] c[37] c[38] c[39] c[40] c[41] c[42] c[43] c[44] c[45] c[46] c[47] c[48] c[49] c[50] c[51] c[52] c[53] c[54] c[55] c[56] c[57] c[58] c[59] c[60] c[61] c[62] c[63] c[64] c[65] c[66] c[67] c[68] c[69] c[70] c[71] c[72] c[73] c[74] c[75] c[76] c[77] c[78] c[79] c[80] c[81] c[82] c[83] c[84] c[85] c[86] c[87] c[88] c[89] c[90] c[91] c[92] c[93] c[94] c[95] c[96] c[97] c[98] c[99] c[100] c[101] c[102] c[103] c[104] c[105] c[106] c[107] c[108] c[109] c[110] c[111] c[112] c[113] c[114] c[115] c[116] c[117] c[118] c[119] c[120] c[121] c[122] c[123] c[124] c[125] c[126] c[127] c[128] c[129] c[130] c[131] c[132] c[133] c[134] c[135] c[136] c[137] c[138] c[139] c[140] c[141] c[142] c[143] c[144] c[145] c[146] c[147] c[148] c[149] c[150] c[151] c[152] c[153] c[154] c[155] c[156] c[157] c[158] c[159] c[160] c[161] c[162] c[163] c[164] c[165] c[166] c[167] c[168] c[169] c[170] c[171] c[172] c[173] c[174] c[175] c[176] c[177] c[178] c[179] c[180] c[181] c[182] c[183] c[184] c[185] c[186] c[187] c[188] c[189] c[190] c[191] c[192] c[193] c[194] c[195] c[196] c[197] c[198] c[199] c[200] c[201] c[202] c[203] c[204] c[205] c[206] c[207] c[208] c[209] c[210] c[211] c[212] c[213] c[214] c[215] c[216] c[217] c[218] c[219] c[220] c[221] c[222] c[223] c[224] c[225] c[226] c[227] c[228] c[229] c[230] c[231] c[232] c[233] c[234] c[235] c[236] c[237] c[238] c[239] c[240] c[241] c[242] c[243] c[244] c[245] c[246] c[247] c[248] c[249]
20032.68/2520.09	v 	</list>
20032.68/2520.09	v 	<values>
20032.68/2520.09	v 		248 246 233 248 224 0 1 213 234 240 228 242 247 223 231 232 223 220 218 224 231 219 239 243 235 231 243 245 228 243 245 240 238 219 232 245 221 222 228 217 218 247 247 210 226 236 221 0 215 215 246 223 236 235 0 248 217 249 231 3 248 233 242 231 237 247 0 238 244 237 220 245 248 242 239 240 221 247 249 236 218 224 222 228 216 225 220 226 237 233 236 225 234 218 2 216 3 241 212 232 223 241 226 233 244 230 226 229 216 226 234 235 214 244 240 0 225 224 236 240 241 232 227 215 218 239 245 238 246 239 239 246 245 222 241 2 219 233 219 244 1 224 241 221 227 244 242 237 244 238 222 220 234 248 227 216 225 230 246 226 230 214 229 229 234 214 236 214 243 241 211 233 167 2 213 245 243 240 219 244 234 249 243 209 232 238 210 247 217 215 220 1 237 221 219 212 237 210 213 211 236 229 239 225 223 227 0 238 223 212 221 231 235 230 242 241 235 215 234 243 235 241 239 242 247 230 230 233 229 222 231 238 244 219 214 232 233 227 216 246 246 239 227 1 229 217 248 247 249 246 
20032.68/2520.09	v 	</values>
20032.68/2520.09	v </instantiation>

Verifier Data

OK	54375

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4291174-1532641877/watcher-4291174-1532641877 -o /tmp/evaluation-result-4291174-1532641877/solver-4291174-1532641877 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node139-1532634055-7904 --watchdog 2580 java -Xmx22000m -jar oscarCPXcsp3-parallel.jar --randomseed 1307722190 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4291174-1532641877.xml 

running on 8 cores: 0,2,4,6,1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=9047, runsolver pid=9044

[startup+0.100124 s]*
/proc/loadavg: 7.96 8.54 8.67 4/199 9067
/proc/meminfo: memFree=12264648/32770624 swapFree=67108860/67108860
[pid=9047] ppid=9044 vsize=26103424 memory=29636 CPUtime=0.11 cores=0-7
/proc/9047/stat : 9047 (java) S 9044 9047 7877 0 -1 1077944320 6890 0 0 0 10 1 0 0 20 0 20 0 81750908 26729906176 7409 33554432000 4194304 4196468 140723179966624 140723179949168 139642378641143 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 28696576 140723179971661 140723179971845 140723179971845 140723179974607 0
/proc/9047/statm: 6525856 7409 3136 1 0 6487932 0
[pid=9047/tid=9049] ppid=9044 vsize=26103424 memory=4134692831991783777 CPUtime=0.09 cores=0-7
/proc/9047/task/9049/stat : 9049 (java) R 9044 9047 7877 0 -1 4202560 5089 0 0 0 8 1 0 0 20 0 20 0 81750908 26729906176 7541 33554432000 4194304 4196468 140723179966624 139642382844272 139642358916903 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28696576 140723179971661 140723179971845 140723179971845 140723179974607 0
[pid=9047/tid=9050] ppid=9044 vsize=26103424 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/9047/task/9050/stat : 9050 (java) S 9044 9047 7877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81750909 26729906176 7541 33554432000 4194304 4196468 140723179966624 139641936591120 139642378651349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28696576 140723179971661 140723179971845 140723179971845 140723179974607 0
[pid=9047/tid=9051] ppid=9044 vsize=26103424 memory=139650301417088 CPUtime=0 cores=0-7
/proc/9047/task/9051/stat : 9051 (java) S 9044 9047 7877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81750909 26729906176 7607 33554432000 4194304 4196468 140723179966624 139641935538576 139642378651349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28696576 140723179971661 140723179971845 140723179971845 140723179974607 0
[pid=9047/tid=9052] ppid=9044 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/9047/task/9052/stat : 9052 (java) S 9044 9047 7877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81750909 26729906176 7607 33554432000 4194304 4196468 140723179966624 139641934486032 139642378651349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28696576 140723179971661 140723179971845 140723179971845 140723179974607 0
[pid=9047/tid=9053] ppid=9044 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/9047/task/9053/stat : 9053 (java) S 9044 9047 7877 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81750909 26729906176 7607 33554432000 4194304 4196468 140723179966624 139641933433488 139642378651349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28696576 140723179971661 140723179971845 140723179971845 140723179974607 0
[pid=9047/tid=9054] ppid=9044 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/9047/task/9054/stat : 9054 (java) S 9044 9047 7877 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81750909 26729906176 7607 33554432000 4194304 4196468 140723179966624 139641932380944 139642378651349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28696576 140723179971661 140723179971845 140723179971845 140723179974607 0
[pid=9047/tid=9055] ppid=9044 vsize=26103424 memory=-1 CPUtime=0 cores=0-7
/proc/9047/task/9055/stat : 9055 (java) S 9044 9047 7877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81750909 26729906176 7607 33554432000 4194304 4196468 140723179966624 139641931328400 139642378651349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28696576 140723179971661 140723179971845 140723179971845 140723179974607 0
[pid=9047/tid=9056] ppid=9044 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/9047/task/9056/stat : 9056 (java) S 9044 9047 7877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81750909 26729906176 7607 33554432000 4194304 4196468 140723179966624 139641930275856 139642378651349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28696576 140723179971661 140723179971845 140723179971845 140723179974607 0
[pid=9047/tid=9057] ppid=9044 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/9047/task/9057/stat : 9057 (java) S 9044 9047 7877 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 81750909 26729906176 7607 33554432000 4194304 4196468 140723179966624 139641929223312 139642378651349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28696576 140723179971661 140723179971845 140723179971845 140723179974607 0
[pid=9047/tid=9058] ppid=9044 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/9047/task/9058/stat : 9058 (java) S 9044 9047 7877 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81750911 26729906176 7607 33554432000 4194304 4196468 140723179966624 139641506121712 139642378652290 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28696576 140723179971661 140723179971845 140723179971845 140723179974607 0
[pid=9047/tid=9059] ppid=9044 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/9047/task/9059/stat : 9059 (java) S 9044 9047 7877 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 81750911 26729906176 7607 33554432000 4194304 4196468 140723179966624 139641505067936 139642378651349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28696576 140723179971661 140723179971845 140723179971845 140723179974607 0
[pid=9047/tid=9060] ppid=9044 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/9047/task/9060/stat : 9060 (java) S 9044 9047 7877 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 81750911 26729906176 7607 33554432000 4194304 4196468 140723179966624 139641504015344 139642378651349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28696576 140723179971661 140723179971845 140723179971845 140723179974607 0
[pid=9047/tid=9061] ppid=9044 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/9047/task/9061/stat : 9061 (java) S 9044 9047 7877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81750914 26729906176 7607 33554432000 4194304 4196468 140723179966624 139641502963920 139642378659739 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28696576 140723179971661 140723179971845 140723179971845 140723179974607 0
[pid=9047/tid=9062] ppid=9044 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/9047/task/9062/stat : 9062 (java) S 9044 9047 7877 0 -1 1077944384 297 0 0 0 0 0 0 0 20 0 20 0 81750914 26729906176 7673 33554432000 4194304 4196468 140723179966624 139641501911536 139642378652290 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28696576 140723179971661 140723179971845 140723179971845 140723179974607 0
[pid=9047/tid=9063] ppid=9044 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/9047/task/9063/stat : 9063 (java) S 9044 9047 7877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81750914 26729906176 7673 33554432000 4194304 4196468 140723179966624 139641500858992 139642378652290 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28696576 140723179971661 140723179971845 140723179971845 140723179974607 0
[pid=9047/tid=9064] ppid=9044 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/9047/task/9064/stat : 9064 (java) S 9044 9047 7877 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 81750914 26729906176 7673 33554432000 4194304 4196468 140723179966624 139641499806448 139642378652290 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28696576 140723179971661 140723179971845 140723179971845 140723179974607 0
[pid=9047/tid=9065] ppid=9044 vsize=26103424 memory=0 CPUtime=0.01 cores=0-7
/proc/9047/task/9065/stat : 9065 (java) S 9044 9047 7877 0 -1 1077944384 253 0 0 0 1 0 0 0 20 0 20 0 81750914 26729906176 7673 33554432000 4194304 4196468 140723179966624 139641498753904 139642378652290 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28696576 140723179971661 140723179971845 140723179971845 140723179974607 0
[pid=9047/tid=9066] ppid=9044 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/9047/task/9066/stat : 9066 (java) S 9044 9047 7877 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 81750914 26729906176 7673 33554432000 4194304 4196468 140723179966624 139641497700576 139642378651349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28696576 140723179971661 140723179971845 140723179971845 140723179974607 0
[pid=9047/tid=9067] ppid=9044 vsize=26103424 memory=-1 CPUtime=0 cores=0-7
/proc/9047/task/9067/stat : 9067 (java) S 9044 9047 7877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81750914 26729906176 7673 33554432000 4194304 4196468 140723179966624 139641496648112 139642378652290 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28696576 140723179971661 140723179971845 140723179971845 140723179974607 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26103424 KiB
Current children cumulated memory: 29636 KiB

[startup+0.210558 s]*
/proc/loadavg: 7.96 8.54 8.67 3/199 9067
/proc/meminfo: memFree=12248384/32770624 swapFree=67108860/67108860
[pid=9047] ppid=9044 vsize=26103424 memory=42860 CPUtime=0.3 cores=0-7
/proc/9047/stat : 9047 (java) S 9044 9047 7877 0 -1 1077944320 10439 0 0 0 28 2 0 0 20 0 20 0 81750908 26729906176 10715 33554432000 4194304 4196468 140723179966624 140723179949168 139642378641143 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 28696576 140723179971661 140723179971845 140723179971845 140723179974607 0
/proc/9047/statm: 6525856 10715 3304 1 0 6487932 0
[pid=9047/tid=9049] ppid=9044 vsize=26103424 memory=4026531975 CPUtime=0.2 cores=0-7
/proc/9047/task/9049/stat : 9049 (java) R 9044 9047 7877 0 -1 4202560 8199 0 0 0 19 1 0 0 20 0 20 0 81750908 26729906176 10715 33554432000 4194304 4196468 140723179966624 139642382858720 139642378653078 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28696576 140723179971661 140723179971845 140723179971845 140723179974607 0
[pid=9047/tid=9050] ppid=9044 vsize=26103424 memory=12881 CPUtime=0 cores=0-7
/proc/9047/task/9050/stat : 9050 (java) S 9044 9047 7877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81750909 26729906176 10715 33554432000 4194304 4196468 140723179966624 139641936591120 139642378651349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28696576 140723179971661 140723179971845 140723179971845 140723179974607 0
[pid=9047/tid=9051] ppid=9044 vsize=26103424 memory=139650301425796 CPUtime=0 cores=0-7
/proc/9047/task/9051/stat : 9051 (java) S 9044 9047 7877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81750909 26729906176 10715 33554432000 4194304 4196468 140723179966624 139641935538576 139642378651349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28696576 140723179971661 140723179971845 140723179971845 140723179974607 0
[pid=9047/tid=9052] ppid=9044 vsize=26103424 memory=-1 CPUtime=0 cores=0-7
/proc/9047/task/9052/stat : 9052 (java) S 9044 9047 7877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81750909 26729906176 10715 33554432000 4194304 4196468 140723179966624 139641934486032 139642378651349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28696576 140723179971661 140723179971845 140723179971845 140723179974607 0
[pid=9047/tid=9053] ppid=9044 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/9047/task/9053/stat : 9053 (java) S 9044 9047 7877 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81750909 26729906176 10715 33554432000 4194304 4196468 140723179966624 139641933433488 139642378651349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28696576 140723179971661 140723179971845 140723179971845 140723179974607 0
[pid=9047/tid=9054] ppid=9044 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/9047/task/9054/stat : 9054 (java) S 9044 9047 7877 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81750909 26729906176 10715 33554432000 4194304 4196468 140723179966624 139641932380944 139642378651349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28696576 140723179971661 140723179971845 140723179971845 140723179974607 0
[pid=9047/tid=9055] ppid=9044 vsize=26103424 memory=-1 CPUtime=0 cores=0-7
/proc/9047/task/9055/stat : 9055 (java) S 9044 9047 7877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81750909 26729906176 10715 33554432000 4194304 4196468 140723179966624 139641931328400 139642378651349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28696576 140723179971661 140723179971845 140723179971845 140723179974607 0
[pid=9047/tid=9056] ppid=9044 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/9047/task/9056/stat : 9056 (java) S 9044 9047 7877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81750909 26729906176 10715 33554432000 4194304 4196468 140723179966624 139641930275856 139642378651349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28696576 140723179971661 140723179971845 140723179971845 140723179974607 0
[pid=9047/tid=9057] ppid=9044 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/9047/task/9057/stat : 9057 (java) S 9044 9047 7877 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 81750909 26729906176 10715 33554432000 4194304 4196468 140723179966624 139641929223312 139642378651349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28696576 140723179971661 140723179971845 140723179971845 140723179974607 0
[pid=9047/tid=9058] ppid=9044 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/9047/task/9058/stat : 9058 (java) S 9044 9047 7877 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 81750911 26729906176 10715 33554432000 4194304 4196468 140723179966624 139641506121712 139642378652290 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28696576 140723179971661 140723179971845 140723179971845 140723179974607 0
[pid=9047/tid=9059] ppid=9044 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/9047/task/9059/stat : 9059 (java) S 9044 9047 7877 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 81750911 26729906176 10715 33554432000 4194304 4196468 140723179966624 139641505067936 139642378651349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28696576 140723179971661 140723179971845 140723179971845 140723179974607 0
[pid=9047/tid=9060] ppid=9044 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/9047/task/9060/stat : 9060 (java) S 9044 9047 7877 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 81750911 26729906176 10715 33554432000 4194304 4196468 140723179966624 139641504015344 139642378651349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28696576 140723179971661 140723179971845 140723179971845 140723179974607 0
[pid=9047/tid=9061] ppid=9044 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/9047/task/9061/stat : 9061 (java) S 9044 9047 7877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81750914 26729906176 10715 33554432000 4194304 4196468 140723179966624 139641502963920 139642378659739 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28696576 140723179971661 140723179971845 140723179971845 140723179974607 0
[pid=9047/tid=9062] ppid=9044 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/9047/task/9062/stat : 9062 (java) S 9044 9047 7877 0 -1 1077944384 307 0 0 0 0 0 0 0 20 0 20 0 81750914 26729906176 10715 33554432000 4194304 4196468 140723179966624 139641501911536 139642378652290 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28696576 140723179971661 140723179971845 140723179971845 140723179974607 0
[pid=9047/tid=9063] ppid=9044 vsize=26103424 memory=0 CPUtime=0.01 cores=0-7
/proc/9047/task/9063/stat : 9063 (java) S 9044 9047 7877 0 -1 1077944384 175 0 0 0 1 0 0 0 20 0 20 0 81750914 26729906176 10715 33554432000 4194304 4196468 140723179966624 139641500858992 139642378652290 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28696576 140723179971661 140723179971845 140723179971845 140723179974607 0
[pid=9047/tid=9064] ppid=9044 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/9047/task/9064/stat : 9064 (java) S 9044 9047 7877 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 20 0 81750914 26729906176 10715 33554432000 4194304 4196468 140723179966624 139641499806448 139642378652290 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28696576 140723179971661 140723179971845 140723179971845 140723179974607 0
[pid=9047/tid=9065] ppid=9044 vsize=26103424 memory=0 CPUtime=0.06 cores=0-7
/proc/9047/task/9065/stat : 9065 (java) R 9044 9047 7877 0 -1 4202560 326 0 0 0 6 0 0 0 20 0 20 0 81750914 26729906176 10715 33554432000 4194304 4196468 140723179966624 139641498753904 139642357158641 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28696576 140723179971661 140723179971845 140723179971845 140723179974607 0
[pid=9047/tid=9066] ppid=9044 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/9047/task/9066/stat : 9066 (java) S 9044 9047 7877 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 81750914 26729906176 10715 33554432000 4194304 4196468 140723179966624 139641497700576 139642378651349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28696576 140723179971661 140723179971845 140723179971845 140723179974607 0
[pid=9047/tid=9067] ppid=9044 vsize=26103424 memory=-1 CPUtime=0 cores=0-7
/proc/9047/task/9067/stat : 9067 (java) S 9044 9047 7877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81750914 26729906176 10715 33554432000 4194304 4196468 140723179966624 139641496648112 139642378652290 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28696576 140723179971661 140723179971845 140723179971845 140723179974607 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 26103424 KiB
Current children cumulated memory: 42860 KiB

[startup+0.310457 s]*
/proc/loadavg: 7.96 8.54 8.67 3/199 9067
/proc/meminfo: memFree=12244600/32770624 swapFree=67108860/67108860
[pid=9047] ppid=9044 vsize=26103424 memory=46648 CPUtime=0.43 cores=0-7
/proc/9047/stat : 9047 (java) S 9044 9047 7877 0 -1 1077944320 10895 0 0 0 41 2 0 0 20 0 20 0 81750908 26729906176 11662 33554432000 4194304 4196468 140723179966624 140723179949168 139642378641143 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 28696576 140723179971661 140723179971845 140723179971845 140723179974607 0
/proc/9047/statm: 6525856 11662 3330 1 0 6487932 0
[pid=9047/tid=9049] ppid=9044 vsize=26103424 memory=8112282956445269571 CPUtime=0.29 cores=0-7
/proc/9047/task/9049/stat : 9049 (java) R 9044 9047 7877 0 -1 4202560 8549 0 0 0 28 1 0 0 20 0 20 0 81750908 26729906176 11662 33554432000 4194304 4196468 140723179966624 139642382802880 139642363806743 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28696576 140723179971661 140723179971845 140723179971845 140723179974607 0
[pid=9047/tid=9050] ppid=9044 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/9047/task/9050/stat : 9050 (java) S 9044 9047 7877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81750909 26729906176 11662 33554432000 4194304 4196468 140723179966624 139641936591120 139642378651349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28696576 140723179971661 140723179971845 140723179971845 140723179974607 0
[pid=9047/tid=9051] ppid=9044 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/9047/task/9051/stat : 9051 (java) S 9044 9047 7877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81750909 26729906176 11662 33554432000 4194304 4196468 140723179966624 139641935538576 139642378651349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28696576 140723179971661 140723179971845 140723179971845 140723179974607 0
[pid=9047/tid=9052] ppid=9044 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/9047/task/9052/stat : 9052 (java) S 9044 9047 7877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81750909 26729906176 11662 33554432000 4194304 4196468 140723179966624 139641934486032 139642378651349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28696576 140723179971661 140723179971845 140723179971845 140723179974607 0
[pid=9047/tid=9053] ppid=9044 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/9047/task/9053/stat : 9053 (java) S 9044 9047 7877 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81750909 26729906176 11662 33554432000 4194304 4196468 140723179966624 139641933433488 139642378651349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28696576 140723179971661 140723179971845 140723179971845 140723179974607 0
[pid=9047/tid=9054] ppid=9044 vsize=26103424 memory=2244 CPUtime=0 cores=0-7
/proc/9047/task/9054/stat : 9054 (java) S 9044 9047 7877 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81750909 26729906176 11662 33554432000 4194304 4196468 140723179966624 139641932380944 139642378651349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28696576 140723179971661 140723179971845 140723179971845 140723179974607 0
[pid=9047/tid=9055] ppid=9044 vsize=26103424 memory=139650190635951 CPUtime=0 cores=0-7
/proc/9047/task/9055/stat : 9055 (java) S 9044 9047 7877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81750909 26729906176 11662 33554432000 4194304 4196468 140723179966624 139641931328400 139642378651349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28696576 140723179971661 140723179971845 140723179971845 140723179974607 0
[pid=9047/tid=9056] ppid=9044 vsize=26103424 memory=139650190638256 CPUtime=0 cores=0-7
/proc/9047/task/9056/stat : 9056 (java) S 9044 9047 7877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81750909 26729906176 11662 33554432000 4194304 4196468 140723179966624 139641930275856 139642378651349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28696576 140723179971661 140723179971845 140723179971845 140723179974607 0
[pid=9047/tid=9057] ppid=9044 vsize=26103424 memory=139650190640560 CPUtime=0 cores=0-7
/proc/9047/task/9057/stat : 9057 (java) S 9044 9047 7877 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 81750909 26729906176 11662 33554432000 4194304 4196468 140723179966624 139641929223312 139642378651349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28696576 140723179971661 140723179971845 140723179971845 140723179974607 0
[pid=9047/tid=9058] ppid=9044 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/9047/task/9058/stat : 9058 (java) S 9044 9047 7877 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 81750911 26729906176 11662 33554432000 4194304 4196468 140723179966624 139641506121712 139642378652290 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28696576 140723179971661 140723179971845 140723179971845 140723179974607 0
[pid=9047/tid=9059] ppid=9044 vsize=26103424 memory=279300381288080 CPUtime=0 cores=0-7
/proc/9047/task/9059/stat : 9059 (java) S 9044 9047 7877 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 81750911 26729906176 11662 33554432000 4194304 4196468 140723179966624 139641505067936 139642378651349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28696576 140723179971661 140723179971845 140723179971845 140723179974607 0
[pid=9047/tid=9060] ppid=9044 vsize=26103424 memory=279300381294992 CPUtime=0 cores=0-7
/proc/9047/task/9060/stat : 9060 (java) S 9044 9047 7877 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 81750911 26729906176 11662 33554432000 4194304 4196468 140723179966624 139641504015344 139642378651349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28696576 140723179971661 140723179971845 140723179971845 140723179974607 0
[pid=9047/tid=9061] ppid=9044 vsize=26103424 memory=279300381236272 CPUtime=0 cores=0-7
/proc/9047/task/9061/stat : 9061 (java) S 9044 9047 7877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81750914 26729906176 11662 33554432000 4194304 4196468 140723179966624 139641502963920 139642378659739 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28696576 140723179971661 140723179971845 140723179971845 140723179974607 0
[pid=9047/tid=9062] ppid=9044 vsize=26103424 memory=279300381308816 CPUtime=0 cores=0-7
/proc/9047/task/9062/stat : 9062 (java) S 9044 9047 7877 0 -1 1077944384 386 0 0 0 0 0 0 0 20 0 20 0 81750914 26729906176 11662 33554432000 4194304 4196468 140723179966624 139641501911536 139642378652290 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28696576 140723179971661 140723179971845 140723179971845 140723179974607 0
[pid=9047/tid=9063] ppid=9044 vsize=26103424 memory=279300381315728 CPUtime=0.01 cores=0-7
/proc/9047/task/9063/stat : 9063 (java) S 9044 9047 7877 0 -1 1077944384 175 0 0 0 1 0 0 0 20 0 20 0 81750914 26729906176 11662 33554432000 4194304 4196468 140723179966624 139641500858992 139642378652290 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28696576 140723179971661 140723179971845 140723179971845 140723179974607 0
[pid=9047/tid=9064] ppid=9044 vsize=26103424 memory=279300381313424 CPUtime=0 cores=0-7
/proc/9047/task/9064/stat : 9064 (java) S 9044 9047 7877 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 20 0 81750914 26729906176 11662 33554432000 4194304 4196468 140723179966624 139641499806448 139642378652290 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28696576 140723179971661 140723179971845 140723179971845 140723179974607 0
[pid=9047/tid=9065] ppid=9044 vsize=26103424 memory=279300381330032 CPUtime=0.08 cores=0-7
/proc/9047/task/9065/stat : 9065 (java) S 9044 9047 7877 0 -1 1077944384 343 0 0 0 8 0 0 0 20 0 20 0 81750914 26729906176 11662 33554432000 4194304 4196468 140723179966624 139641498753904 139642378652290 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28696576 140723179971661 140723179971845 140723179971845 140723179974607 0
[pid=9047/tid=9066] ppid=9044 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/9047/task/9066/stat : 9066 (java) S 9044 9047 7877 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 81750914 26729906176 11662 33554432000 4194304 4196468 140723179966624 139641497700576 139642378651349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28696576 140723179971661 140723179971845 140723179971845 140723179974607 0
[pid=9047/tid=9067] ppid=9044 vsize=26103424 memory=-1 CPUtime=0 cores=0-7
/proc/9047/task/9067/stat : 9067 (java) S 9044 9047 7877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81750914 26729906176 11662 33554432000 4194304 4196468 140723179966624 139641496648112 139642378652290 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28696576 140723179971661 140723179971845 140723179971845 140723179974607 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 26103424 KiB
Current children cumulated memory: 46648 KiB

[startup+0.700924 s]
/proc/loadavg: 7.96 8.54 8.67 3/199 9067
/proc/meminfo: memFree=12220416/32770624 swapFree=67108860/67108860
[pid=9047] ppid=9044 vsize=26105492 memory=87548 CPUtime=0.99 cores=0-7
/proc/9047/stat : 9047 (java) S 9044 9047 7877 0 -1 1077944320 17850 0 0 0 93 6 0 0 20 0 20 0 81750908 26732023808 21887 33554432000 4194304 4196468 140723179966624 140723179949168 139642378641143 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 28696576 140723179971661 140723179971845 140723179971845 140723179974607 0
/proc/9047/statm: 6526373 21887 3496 1 0 6488444 0
[pid=9047/tid=9049] ppid=9044 vsize=26105492 memory=0 CPUtime=0.67 cores=0-7
/proc/9047/task/9049/stat : 9049 (java) R 9044 9047 7877 0 -1 4202560 15045 0 0 0 63 4 0 0 20 0 20 0 81750908 26732023808 21887 33554432000 4194304 4196468 140723179966624 139642382866640 139642378663069 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28696576 140723179971661 140723179971845 140723179971845 140723179974607 0
[pid=9047/tid=9050] ppid=9044 vsize=26105492 memory=0 CPUtime=0 cores=0-7
/proc/9047/task/9050/stat : 9050 (java) S 9044 9047 7877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81750909 26732023808 21887 33554432000 4194304 4196468 140723179966624 139641936591120 139642378651349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28696576 140723179971661 140723179971845 140723179971845 140723179974607 0
[pid=9047/tid=9051] ppid=9044 vsize=26105492 memory=0 CPUtime=0 cores=0-7
/proc/9047/task/9051/stat : 9051 (java) S 9044 9047 7877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81750909 26732023808 21887 33554432000 4194304 4196468 140723179966624 139641935538576 139642378651349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28696576 140723179971661 140723179971845 140723179971845 140723179974607 0
[pid=9047/tid=9052] ppid=9044 vsize=26105492 memory=0 CPUtime=0 cores=0-7
/proc/9047/task/9052/stat : 9052 (java) S 9044 9047 7877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81750909 26732023808 21887 33554432000 4194304 4196468 140723179966624 139641934486032 139642378651349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28696576 140723179971661 140723179971845 140723179971845 140723179974607 0
[pid=9047/tid=9053] ppid=9044 vsize=26105492 memory=1200 CPUtime=0 cores=0-7
/proc/9047/task/9053/stat : 9053 (java) S 9044 9047 7877 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81750909 26732023808 21887 33554432000 4194304 4196468 140723179966624 139641933433488 139642378651349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28696576 140723179971661 140723179971845 140723179971845 140723179974607 0
[pid=9047/tid=9054] ppid=9044 vsize=26105492 memory=10608 CPUtime=0 cores=0-7
/proc/9047/task/9054/stat : 9054 (java) S 9044 9047 7877 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81750909 26732023808 21887 33554432000 4194304 4196468 140723179966624 139641932380944 139642378651349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28696576 140723179971661 140723179971845 140723179971845 140723179974607 0
[pid=9047/tid=9055] ppid=9044 vsize=26105492 memory=4616 CPUtime=0 cores=0-7
/proc/9047/task/9055/stat : 9055 (java) S 9044 9047 7877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81750909 26732023808 21887 33554432000 4194304 4196468 140723179966624 139641931328400 139642378651349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28696576 140723179971661 140723179971845 140723179971845 140723179974607 0
[pid=9047/tid=9056] ppid=9044 vsize=26105492 memory=1428 CPUtime=0 cores=0-7
/proc/9047/task/9056/stat : 9056 (java) S 9044 9047 7877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81750909 26732023808 21887 33554432000 4194304 4196468 140723179966624 139641930275856 139642378651349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28696576 140723179971661 140723179971845 140723179971845 140723179974607 0
[pid=9047/tid=9057] ppid=9044 vsize=26105492 memory=15876 CPUtime=0 cores=0-7
/proc/9047/task/9057/stat : 9057 (java) S 9044 9047 7877 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 81750909 26732023808 21887 33554432000 4194304 4196468 140723179966624 139641929223312 139642378651349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28696576 140723179971661 140723179971845 140723179971845 140723179974607 0
[pid=9047/tid=9058] ppid=9044 vsize=26105492 memory=16436 CPUtime=0 cores=0-7
/proc/9047/task/9058/stat : 9058 (java) S 9044 9047 7877 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 81750911 26732023808 21887 33554432000 4194304 4196468 140723179966624 139641506121712 139642378652290 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28696576 140723179971661 140723179971845 140723179971845 140723179974607 0

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

[pid=9047/tid=9077] ppid=9044 vsize=27850528 memory=8112282956445269571 CPUtime=0.48 cores=0-7
/proc/9047/task/9077/stat : 9077 (java) S 9044 9047 7877 0 -1 1077944384 1633 0 0 0 46 2 0 0 20 0 46 0 81751690 28518940672 2180068 33554432000 4194304 4196468 140723179966624 139641469535504 139642378651349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28696576 140723179971661 140723179971845 140723179971845 140723179974607 0
[pid=9047/tid=9078] ppid=9044 vsize=27850528 memory=1700 CPUtime=0.1 cores=0-7
/proc/9047/task/9078/stat : 9078 (java) S 9044 9047 7877 0 -1 1077944384 1901 0 0 0 10 0 0 0 20 0 46 0 81751690 28518940672 2180068 33554432000 4194304 4196468 140723179966624 139641468482960 139642378651349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 28696576 140723179971661 140723179971845 140723179971845 140723179974607 0
[pid=9047/tid=9079] ppid=9044 vsize=27850528 memory=796 CPUtime=0.06 cores=0-7
/proc/9047/task/9079/stat : 9079 (java) S 9044 9047 7877 0 -1 1077944384 2245 0 0 0 6 0 0 0 20 0 46 0 81751690 28518940672 2180068 33554432000 4194304 4196468 140723179966624 139640678376976 139642378651349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28696576 140723179971661 140723179971845 140723179971845 140723179974607 0
[pid=9047/tid=9080] ppid=9044 vsize=27850528 memory=8720272 CPUtime=2468.91 cores=0-7
/proc/9047/task/9080/stat : 9080 (java) R 9044 9047 7877 0 -1 4202560 365486 0 0 0 246653 238 0 0 20 0 46 0 81751799 28518940672 2180068 33554432000 4194304 4196468 140723179966624 139640677318128 139642020673307 0 4 0 16800975 0 0 0 -1 3 0 0 11 0 0 6293624 6294260 28696576 140723179971661 140723179971845 140723179971845 140723179974607 0
[pid=9047/tid=9081] ppid=9044 vsize=27850528 memory=1228 CPUtime=2466.15 cores=0-7
/proc/9047/task/9081/stat : 9081 (java) R 9044 9047 7877 0 -1 4202560 371587 0 0 0 246378 237 0 0 20 0 46 0 81751799 28518940672 2180068 33554432000 4194304 4196468 140723179966624 139640676265832 139642025254152 0 4 0 16800975 0 0 0 -1 4 0 0 9 0 0 6293624 6294260 28696576 140723179971661 140723179971845 140723179971845 140723179974607 0
[pid=9047/tid=9082] ppid=9044 vsize=27850528 memory=1952 CPUtime=0.05 cores=0-7
/proc/9047/task/9082/stat : 9082 (java) S 9044 9047 7877 0 -1 1077944384 139 0 0 0 5 0 0 0 20 0 46 0 81751799 28518940672 2180068 33554432000 4194304 4196468 140723179966624 139640675218320 139642378651349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28696576 140723179971661 140723179971845 140723179971845 140723179974607 0
[pid=9047/tid=9083] ppid=9044 vsize=27850528 memory=1200 CPUtime=0.08 cores=0-7
/proc/9047/task/9083/stat : 9083 (java) S 9044 9047 7877 0 -1 1077944384 2374 0 0 0 8 0 0 0 20 0 46 0 81751799 28518940672 2180068 33554432000 4194304 4196468 140723179966624 139640674165776 139642378651349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 28696576 140723179971661 140723179971845 140723179971845 140723179974607 0
[pid=9047/tid=9084] ppid=9044 vsize=27850528 memory=8112282956445269571 CPUtime=0.05 cores=0-7
/proc/9047/task/9084/stat : 9084 (java) S 9044 9047 7877 0 -1 1077944384 76 0 0 0 5 0 0 0 20 0 46 0 81751799 28518940672 2180068 33554432000 4194304 4196468 140723179966624 139640673113232 139642378651349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28696576 140723179971661 140723179971845 140723179971845 140723179974607 0
[pid=9047/tid=9085] ppid=9044 vsize=27850528 memory=932 CPUtime=0.08 cores=0-7
/proc/9047/task/9085/stat : 9085 (java) S 9044 9047 7877 0 -1 1077944384 2021 0 0 0 8 0 0 0 20 0 46 0 81751799 28518940672 2180068 33554432000 4194304 4196468 140723179966624 139640672060688 139642378651349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28696576 140723179971661 140723179971845 140723179971845 140723179974607 0
[pid=9047/tid=9086] ppid=9044 vsize=27850528 memory=8720272 CPUtime=0.06 cores=0-7
/proc/9047/task/9086/stat : 9086 (java) S 9044 9047 7877 0 -1 1077944384 244 0 0 0 6 0 0 0 20 0 46 0 81751837 28518940672 2180068 33554432000 4194304 4196468 140723179966624 139640668874128 139642378651349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28696576 140723179971661 140723179971845 140723179971845 140723179974607 0
[pid=9047/tid=9087] ppid=9044 vsize=27850528 memory=2240 CPUtime=0.09 cores=0-7
/proc/9047/task/9087/stat : 9087 (java) S 9044 9047 7877 0 -1 1077944384 2285 0 0 0 9 0 0 0 20 0 46 0 81751837 28518940672 2180068 33554432000 4194304 4196468 140723179966624 139640667821584 139642378651349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 28696576 140723179971661 140723179971845 140723179971845 140723179974607 0
[pid=9047/tid=9088] ppid=9044 vsize=27850528 memory=8720272 CPUtime=0.07 cores=0-7
/proc/9047/task/9088/stat : 9088 (java) S 9044 9047 7877 0 -1 1077944384 1668 0 0 0 7 0 0 0 20 0 46 0 81751840 28518940672 2180068 33554432000 4194304 4196468 140723179966624 139640666769040 139642378651349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28696576 140723179971661 140723179971845 140723179971845 140723179974607 0
[pid=9047/tid=9089] ppid=9044 vsize=27850528 memory=8112282956445269571 CPUtime=0.07 cores=0-7
/proc/9047/task/9089/stat : 9089 (java) S 9044 9047 7877 0 -1 1077944384 140 0 0 0 7 0 0 0 20 0 46 0 81751841 28518940672 2180068 33554432000 4194304 4196468 140723179966624 139640665716496 139642378651349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28696576 140723179971661 140723179971845 140723179971845 140723179974607 0
[pid=9047/tid=9090] ppid=9044 vsize=27850528 memory=8720272 CPUtime=0.06 cores=0-7
/proc/9047/task/9090/stat : 9090 (java) S 9044 9047 7877 0 -1 1077944384 72 0 0 0 6 0 0 0 20 0 46 0 81751841 28518940672 2180068 33554432000 4194304 4196468 140723179966624 139640664662928 139642378651349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28696576 140723179971661 140723179971845 140723179971845 140723179974607 0
[pid=9047/tid=9091] ppid=9044 vsize=27850528 memory=8720272 CPUtime=0.08 cores=0-7
/proc/9047/task/9091/stat : 9091 (java) S 9044 9047 7877 0 -1 1077944384 2078 0 0 0 8 0 0 0 20 0 46 0 81751841 28518940672 2180068 33554432000 4194304 4196468 140723179966624 139640663610384 139642378651349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28696576 140723179971661 140723179971845 140723179971845 140723179974607 0
[pid=9047/tid=9092] ppid=9044 vsize=27850528 memory=8720272 CPUtime=0.06 cores=0-7
/proc/9047/task/9092/stat : 9092 (java) S 9044 9047 7877 0 -1 1077944384 1829 0 0 0 6 0 0 0 20 0 46 0 81751841 28518940672 2180068 33554432000 4194304 4196468 140723179966624 139640662557840 139642378651349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28696576 140723179971661 140723179971845 140723179971845 140723179974607 0
[pid=9047/tid=9093] ppid=9044 vsize=27850528 memory=4128 CPUtime=0.08 cores=0-7
/proc/9047/task/9093/stat : 9093 (java) S 9044 9047 7877 0 -1 1077944384 2499 0 0 0 8 0 0 0 20 0 46 0 81751842 28518940672 2180068 33554432000 4194304 4196468 140723179966624 139640219456784 139642378651349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28696576 140723179971661 140723179971845 140723179971845 140723179974607 0
Current children cumulated CPU time: 19891.5 s
Current children cumulated vsize: 27850528 KiB
Current children cumulated memory: 8720272 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 8.56 8.68 8.74 11/225 9169
/proc/meminfo: memFree=3555164/32770624 swapFree=67108860/67108860
[pid=9047] ppid=9044 vsize=27850528 memory=8720272 CPUtime=20032.7 cores=0-7
/proc/9047/stat : 9047 (java) S 9044 9047 7877 0 -1 1077944320 4418641 0 0 0 1999632 3636 0 0 20 0 46 0 81750908 28518940672 2180068 33554432000 4194304 4196468 140723179966624 140723179949168 139642378641143 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 28696576 140723179971661 140723179971845 140723179971845 140723179974607 0
/proc/9047/statm: 6962632 2180068 3626 1 0 6924182 0
[pid=9047/tid=9049] ppid=9044 vsize=27850528 memory=7884210177852336231 CPUtime=7.58 cores=0-7
/proc/9047/task/9049/stat : 9049 (java) S 9044 9047 7877 0 -1 1077944384 24714 0 0 0 746 12 0 0 20 0 46 0 81750908 28518940672 2180068 33554432000 4194304 4196468 140723179966624 139642382878608 139642378651349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28696576 140723179971661 140723179971845 140723179971845 140723179974607 0
[pid=9047/tid=9050] ppid=9044 vsize=27850528 memory=4872558044660077418 CPUtime=18.25 cores=0-7
/proc/9047/task/9050/stat : 9050 (java) S 9044 9047 7877 0 -1 1077944384 141079 0 0 0 1612 213 0 0 20 0 46 0 81750909 28518940672 2180068 33554432000 4194304 4196468 140723179966624 139641936591120 139642378651349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 6 0 0 6293624 6294260 28696576 140723179971661 140723179971845 140723179971845 140723179974607 0
[pid=9047/tid=9051] ppid=9044 vsize=27850528 memory=8720272 CPUtime=18.22 cores=0-7
/proc/9047/task/9051/stat : 9051 (java) S 9044 9047 7877 0 -1 1077944384 142474 0 0 0 1619 203 0 0 20 0 46 0 81750909 28518940672 2180068 33554432000 4194304 4196468 140723179966624 139641935538576 139642378651349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 5 0 0 6293624 6294260 28696576 140723179971661 140723179971845 140723179971845 140723179974607 0
[pid=9047/tid=9052] ppid=9044 vsize=27850528 memory=279300384637376 CPUtime=18.25 cores=0-7
/proc/9047/task/9052/stat : 9052 (java) S 9044 9047 7877 0 -1 1077944384 137821 0 0 0 1609 216 0 0 20 0 46 0 81750909 28518940672 2180068 33554432000 4194304 4196468 140723179966624 139641934486032 139642378651349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 5 0 0 6293624 6294260 28696576 140723179971661 140723179971845 140723179971845 140723179974607 0
[pid=9047/tid=9053] ppid=9044 vsize=27850528 memory=279300384637440 CPUtime=18.24 cores=0-7
/proc/9047/task/9053/stat : 9053 (java) S 9044 9047 7877 0 -1 1077944384 141231 0 0 0 1620 204 0 0 20 0 46 0 81750909 28518940672 2180068 33554432000 4194304 4196468 140723179966624 139641933433488 139642378651349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 6 0 0 6293624 6294260 28696576 140723179971661 140723179971845 140723179971845 140723179974607 0
[pid=9047/tid=9054] ppid=9044 vsize=27850528 memory=279300385848032 CPUtime=18.14 cores=0-7
/proc/9047/task/9054/stat : 9054 (java) S 9044 9047 7877 0 -1 1077944384 135679 0 0 0 1608 206 0 0 20 0 46 0 81750909 28518940672 2180068 33554432000 4194304 4196468 140723179966624 139641932380944 139642378651349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 6 0 0 6293624 6294260 28696576 140723179971661 140723179971845 140723179971845 140723179974607 0
[pid=9047/tid=9055] ppid=9044 vsize=27850528 memory=279300385848096 CPUtime=18.2 cores=0-7
/proc/9047/task/9055/stat : 9055 (java) S 9044 9047 7877 0 -1 1077944384 145970 0 0 0 1629 191 0 0 20 0 46 0 81750909 28518940672 2180068 33554432000 4194304 4196468 140723179966624 139641931328400 139642378651349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 10 0 0 6293624 6294260 28696576 140723179971661 140723179971845 140723179971845 140723179974607 0
[pid=9047/tid=9056] ppid=9044 vsize=27850528 memory=279300385848160 CPUtime=18.15 cores=0-7
/proc/9047/task/9056/stat : 9056 (java) S 9044 9047 7877 0 -1 1077944384 136851 0 0 0 1606 209 0 0 20 0 46 0 81750909 28518940672 2180068 33554432000 4194304 4196468 140723179966624 139641930275856 139642378651349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 5 0 0 6293624 6294260 28696576 140723179971661 140723179971845 140723179971845 140723179974607 0
[pid=9047/tid=9057] ppid=9044 vsize=27850528 memory=279300385848224 CPUtime=18.16 cores=0-7
/proc/9047/task/9057/stat : 9057 (java) S 9044 9047 7877 0 -1 1077944384 134109 0 0 0 1621 195 0 0 20 0 46 0 81750909 28518940672 2180068 33554432000 4194304 4196468 140723179966624 139641929223312 139642378651349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 6 0 0 6293624 6294260 28696576 140723179971661 140723179971845 140723179971845 140723179974607 0
[pid=9047/tid=9058] ppid=9044 vsize=27850528 memory=279300384165248 CPUtime=1.02 cores=0-7
/proc/9047/task/9058/stat : 9058 (java) S 9044 9047 7877 0 -1 1077944384 64506 0 0 0 91 11 0 0 20 0 46 0 81750911 28518940672 2180068 33554432000 4194304 4196468 140723179966624 139641506121712 139642378652290 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 4 0 0 6293624 6294260 28696576 140723179971661 140723179971845 140723179971845 140723179974607 0
[pid=9047/tid=9059] ppid=9044 vsize=27850528 memory=279300384165312 CPUtime=0 cores=0-7
/proc/9047/task/9059/stat : 9059 (java) S 9044 9047 7877 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 46 0 81750911 28518940672 2180068 33554432000 4194304 4196468 140723179966624 139641505068000 139642378651349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28696576 140723179971661 140723179971845 140723179971845 140723179974607 0
[pid=9047/tid=9060] ppid=9044 vsize=27850528 memory=279300384165376 CPUtime=0 cores=0-7
/proc/9047/task/9060/stat : 9060 (java) S 9044 9047 7877 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 46 0 81750911 28518940672 2180068 33554432000 4194304 4196468 140723179966624 139641504015360 139642378651349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28696576 140723179971661 140723179971845 140723179971845 140723179974607 0
[pid=9047/tid=9061] ppid=9044 vsize=27850528 memory=279300384165440 CPUtime=0 cores=0-7
/proc/9047/task/9061/stat : 9061 (java) S 9044 9047 7877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 46 0 81750914 28518940672 2180068 33554432000 4194304 4196468 140723179966624 139641502963920 139642378659739 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28696576 140723179971661 140723179971845 140723179971845 140723179974607 0
[pid=9047/tid=9062] ppid=9044 vsize=27850528 memory=279300384165504 CPUtime=2.47 cores=0-7
/proc/9047/task/9062/stat : 9062 (java) S 9044 9047 7877 0 -1 1077944384 9845 0 0 0 243 4 0 0 20 0 46 0 81750914 28518940672 2180068 33554432000 4194304 4196468 140723179966624 139641501911536 139642378652290 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 43 0 0 6293624 6294260 28696576 140723179971661 140723179971845 140723179971845 140723179974607 0
[pid=9047/tid=9063] ppid=9044 vsize=27850528 memory=279300384165568 CPUtime=2.8 cores=0-7
/proc/9047/task/9063/stat : 9063 (java) S 9044 9047 7877 0 -1 1077944384 14957 0 0 0 278 2 0 0 20 0 46 0 81750914 28518940672 2180068 33554432000 4194304 4196468 140723179966624 139641500858992 139642378652290 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 37 0 0 6293624 6294260 28696576 140723179971661 140723179971845 140723179971845 140723179974607 0
[pid=9047/tid=9064] ppid=9044 vsize=27850528 memory=304556123141439514 CPUtime=2.57 cores=0-7
/proc/9047/task/9064/stat : 9064 (java) S 9044 9047 7877 0 -1 1077944384 17487 0 0 0 252 5 0 0 20 0 46 0 81750914 28518940672 2180068 33554432000 4194304 4196468 140723179966624 139641499806448 139642378652290 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 49 0 0 6293624 6294260 28696576 140723179971661 140723179971845 140723179971845 140723179974607 0
[pid=9047/tid=9065] ppid=9044 vsize=27850528 memory=288230621803970871 CPUtime=1.4 cores=0-7
/proc/9047/task/9065/stat : 9065 (java) S 9044 9047 7877 0 -1 1077944384 18493 0 0 0 137 3 0 0 20 0 46 0 81750914 28518940672 2180068 33554432000 4194304 4196468 140723179966624 139641498753904 139642378652290 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 13 0 0 6293624 6294260 28696576 140723179971661 140723179971845 140723179971845 140723179974607 0
[pid=9047/tid=9066] ppid=9044 vsize=27850528 memory=14134428972616243 CPUtime=0 cores=0-7
/proc/9047/task/9066/stat : 9066 (java) S 9044 9047 7877 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 46 0 81750914 28518940672 2180068 33554432000 4194304 4196468 140723179966624 139641497700576 139642378651349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28696576 140723179971661 140723179971845 140723179971845 140723179974607 0
[pid=9047/tid=9067] ppid=9044 vsize=27850528 memory=796 CPUtime=1.01 cores=0-7
/proc/9047/task/9067/stat : 9067 (java) S 9044 9047 7877 0 -1 1077944384 4430 0 0 0 36 65 0 0 20 0 46 0 81750914 28518940672 2180068 33554432000 4194304 4196468 140723179966624 139641496648112 139642378652290 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 48 0 0 6293624 6294260 28696576 140723179971661 140723179971845 140723179971845 140723179974607 0
[pid=9047/tid=9068] ppid=9044 vsize=27850528 memory=5408 CPUtime=0.12 cores=0-7
/proc/9047/task/9068/stat : 9068 (java) S 9044 9047 7877 0 -1 1077944384 8218 0 0 0 11 1 0 0 20 0 46 0 81751640 28518940672 2180068 33554432000 4194304 4196468 140723179966624 139641483203280 139642378651349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 28696576 140723179971661 140723179971845 140723179971845 140723179974607 0
[pid=9047/tid=9069] ppid=9044 vsize=27850528 memory=1008 CPUtime=4.81 cores=0-7
/proc/9047/task/9069/stat : 9069 (java) S 9044 9047 7877 0 -1 1077944384 15980 0 0 0 212 269 0 0 20 0 46 0 81751665 28518940672 2180068 33554432000 4194304 4196468 140723179966624 139641482151072 139642378652290 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 28696576 140723179971661 140723179971845 140723179971845 140723179974607 0
[pid=9047/tid=9070] ppid=9044 vsize=27850528 memory=9992 CPUtime=2487.93 cores=0-7
/proc/9047/task/9070/stat : 9070 (java) R 9044 9047 7877 0 -1 4202560 365831 0 0 0 248547 246 0 0 20 0 46 0 81751681 28518940672 2180068 33554432000 4194304 4196468 140723179966624 139641478993160 139642026111005 0 4 0 16800975 0 0 0 -1 7 0 0 12 0 0 6293624 6294260 28696576 140723179971661 140723179971845 140723179971845 140723179974607 0
[pid=9047/tid=9071] ppid=9044 vsize=27850528 memory=1228 CPUtime=2478.91 cores=0-7
/proc/9047/task/9071/stat : 9071 (java) R 9044 9047 7877 0 -1 4202560 385387 0 0 0 247657 234 0 0 20 0 46 0 81751682 28518940672 2180068 33554432000 4194304 4196468 140723179966624 139641477940888 139642020786570 0 4 0 16800975 0 0 0 -1 1 0 0 11 0 0 6293624 6294260 28696576 140723179971661 140723179971845 140723179971845 140723179974607 0
[pid=9047/tid=9072] ppid=9044 vsize=27850528 memory=1952 CPUtime=2481.79 cores=0-7
/proc/9047/task/9072/stat : 9072 (java) R 9044 9047 7877 0 -1 4202560 390538 0 0 0 247957 222 0 0 20 0 46 0 81751682 28518940672 2180068 33554432000 4194304 4196468 140723179966624 139641476888328 139642021110324 0 4 0 16800975 0 0 0 -1 5 0 0 10 0 0 6293624 6294260 28696576 140723179971661 140723179971845 140723179971845 140723179974607 0
[pid=9047/tid=9073] ppid=9044 vsize=27850528 memory=1200 CPUtime=2480.38 cores=0-7
/proc/9047/task/9073/stat : 9073 (java) R 9044 9047 7877 0 -1 4202560 437622 0 0 0 247779 259 0 0 20 0 46 0 81751690 28518940672 2180068 33554432000 4194304 4196468 140723179966624 139641473743128 139642025178450 0 4 0 16800975 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 28696576 140723179971661 140723179971845 140723179971845 140723179974607 0
[pid=9047/tid=9074] ppid=9044 vsize=27850528 memory=960 CPUtime=0.48 cores=0-7
/proc/9047/task/9074/stat : 9074 (java) S 9044 9047 7877 0 -1 1077944384 257 0 0 0 46 2 0 0 20 0 46 0 81751690 28518940672 2180068 33554432000 4194304 4196468 140723179966624 139641472693136 139642378651349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28696576 140723179971661 140723179971845 140723179971845 140723179974607 0
[pid=9047/tid=9075] ppid=9044 vsize=27850528 memory=1232 CPUtime=2481.93 cores=0-7
/proc/9047/task/9075/stat : 9075 (java) R 9044 9047 7877 0 -1 4202560 405626 0 0 0 247944 249 0 0 20 0 46 0 81751690 28518940672 2180068 33554432000 4194304 4196468 140723179966624 139641471632344 139642026110828 0 4 0 16800975 0 0 0 -1 2 0 0 13 0 0 6293624 6294260 28696576 140723179971661 140723179971845 140723179971845 140723179974607 0
[pid=9047/tid=9076] ppid=9044 vsize=27850528 memory=2344 CPUtime=2479.82 cores=0-7
/proc/9047/task/9076/stat : 9076 (java) R 9044 9047 7877 0 -1 4202560 378738 0 0 0 247729 253 0 0 20 0 46 0 81751690 28518940672 2180068 33554432000 4194304 4196468 140723179966624 139641470579880 139642026110997 0 4 0 16800975 0 0 0 -1 0 0 0 12 0 0 6293624 6294260 28696576 140723179971661 140723179971845 140723179971845 140723179974607 0
[pid=9047/tid=9077] ppid=9044 vsize=27850528 memory=932 CPUtime=0.48 cores=0-7
/proc/9047/task/9077/stat : 9077 (java) S 9044 9047 7877 0 -1 1077944384 1642 0 0 0 46 2 0 0 20 0 46 0 81751690 28518940672 2180068 33554432000 4194304 4196468 140723179966624 139641469535504 139642378651349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28696576 140723179971661 140723179971845 140723179971845 140723179974607 0
[pid=9047/tid=9078] ppid=9044 vsize=27850528 memory=1580 CPUtime=0.1 cores=0-7
/proc/9047/task/9078/stat : 9078 (java) S 9044 9047 7877 0 -1 1077944384 1906 0 0 0 10 0 0 0 20 0 46 0 81751690 28518940672 2180068 33554432000 4194304 4196468 140723179966624 139641468482960 139642378651349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 28696576 140723179971661 140723179971845 140723179971845 140723179974607 0
[pid=9047/tid=9079] ppid=9044 vsize=27850528 memory=2240 CPUtime=0.06 cores=0-7
/proc/9047/task/9079/stat : 9079 (java) S 9044 9047 7877 0 -1 1077944384 2250 0 0 0 6 0 0 0 20 0 46 0 81751690 28518940672 2180068 33554432000 4194304 4196468 140723179966624 139640678376976 139642378651349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28696576 140723179971661 140723179971845 140723179971845 140723179974607 0
[pid=9047/tid=9080] ppid=9044 vsize=27850528 memory=5764 CPUtime=2486.37 cores=0-7
/proc/9047/task/9080/stat : 9080 (java) R 9044 9047 7877 0 -1 4202560 365993 0 0 0 248399 238 0 0 20 0 46 0 81751799 28518940672 2180068 33554432000 4194304 4196468 140723179966624 139640677318128 139642024767206 0 4 0 16800975 0 0 0 -1 6 0 0 11 0 0 6293624 6294260 28696576 140723179971661 140723179971845 140723179971845 140723179974607 0
[pid=9047/tid=9081] ppid=9044 vsize=27850528 memory=4100 CPUtime=2483.79 cores=0-7
/proc/9047/task/9081/stat : 9081 (java) R 9044 9047 7877 0 -1 4202560 372025 0 0 0 248142 237 0 0 20 0 46 0 81751799 28518940672 2180068 33554432000 4194304 4196468 140723179966624 139640676263720 139642026742820 0 4 0 16800975 0 0 0 -1 4 0 0 9 0 0 6293624 6294260 28696576 140723179971661 140723179971845 140723179971845 140723179974607 0
[pid=9047/tid=9082] ppid=9044 vsize=27850528 memory=1408 CPUtime=0.05 cores=0-7
/proc/9047/task/9082/stat : 9082 (java) S 9044 9047 7877 0 -1 1077944384 139 0 0 0 5 0 0 0 20 0 46 0 81751799 28518940672 2180068 33554432000 4194304 4196468 140723179966624 139640675218320 139642378651349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28696576 140723179971661 140723179971845 140723179971845 140723179974607 0
[pid=9047/tid=9083] ppid=9044 vsize=27850528 memory=8112282956445269571 CPUtime=0.08 cores=0-7
/proc/9047/task/9083/stat : 9083 (java) S 9044 9047 7877 0 -1 1077944384 2381 0 0 0 8 0 0 0 20 0 46 0 81751799 28518940672 2180068 33554432000 4194304 4196468 140723179966624 139640674165776 139642378651349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 28696576 140723179971661 140723179971845 140723179971845 140723179974607 0
[pid=9047/tid=9084] ppid=9044 vsize=27850528 memory=8720272 CPUtime=0.05 cores=0-7
/proc/9047/task/9084/stat : 9084 (java) S 9044 9047 7877 0 -1 1077944384 76 0 0 0 5 0 0 0 20 0 46 0 81751799 28518940672 2180068 33554432000 4194304 4196468 140723179966624 139640673113232 139642378651349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28696576 140723179971661 140723179971845 140723179971845 140723179974607 0
[pid=9047/tid=9085] ppid=9044 vsize=27850528 memory=8112282956445269571 CPUtime=0.08 cores=0-7
/proc/9047/task/9085/stat : 9085 (java) S 9044 9047 7877 0 -1 1077944384 2027 0 0 0 8 0 0 0 20 0 46 0 81751799 28518940672 2180068 33554432000 4194304 4196468 140723179966624 139640672060688 139642378651349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28696576 140723179971661 140723179971845 140723179971845 140723179974607 0
[pid=9047/tid=9086] ppid=9044 vsize=27850528 memory=4872558044660077418 CPUtime=0.06 cores=0-7
/proc/9047/task/9086/stat : 9086 (java) S 9044 9047 7877 0 -1 1077944384 244 0 0 0 6 0 0 0 20 0 46 0 81751837 28518940672 2180068 33554432000 4194304 4196468 140723179966624 139640668874128 139642378651349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28696576 140723179971661 140723179971845 140723179971845 140723179974607 0
[pid=9047/tid=9087] ppid=9044 vsize=27850528 memory=6944656592455360604 CPUtime=0.09 cores=0-7
/proc/9047/task/9087/stat : 9087 (java) S 9044 9047 7877 0 -1 1077944384 2290 0 0 0 9 0 0 0 20 0 46 0 81751837 28518940672 2180068 33554432000 4194304 4196468 140723179966624 139640667821584 139642378651349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 28696576 140723179971661 140723179971845 140723179971845 140723179974607 0
[pid=9047/tid=9088] ppid=9044 vsize=27850528 memory=8720272 CPUtime=0.07 cores=0-7
/proc/9047/task/9088/stat : 9088 (java) S 9044 9047 7877 0 -1 1077944384 1673 0 0 0 7 0 0 0 20 0 46 0 81751840 28518940672 2180068 33554432000 4194304 4196468 140723179966624 139640666769040 139642378651349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28696576 140723179971661 140723179971845 140723179971845 140723179974607 0
[pid=9047/tid=9089] ppid=9044 vsize=27850528 memory=920 CPUtime=0.07 cores=0-7
/proc/9047/task/9089/stat : 9089 (java) S 9044 9047 7877 0 -1 1077944384 140 0 0 0 7 0 0 0 20 0 46 0 81751841 28518940672 2180068 33554432000 4194304 4196468 140723179966624 139640665716496 139642378651349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28696576 140723179971661 140723179971845 140723179971845 140723179974607 0
[pid=9047/tid=9090] ppid=9044 vsize=27850528 memory=5764 CPUtime=0.06 cores=0-7
/proc/9047/task/9090/stat : 9090 (java) S 9044 9047 7877 0 -1 1077944384 72 0 0 0 6 0 0 0 20 0 46 0 81751841 28518940672 2180068 33554432000 4194304 4196468 140723179966624 139640664662928 139642378651349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28696576 140723179971661 140723179971845 140723179971845 140723179974607 0
[pid=9047/tid=9091] ppid=9044 vsize=27850528 memory=4100 CPUtime=0.08 cores=0-7
/proc/9047/task/9091/stat : 9091 (java) S 9044 9047 7877 0 -1 1077944384 2084 0 0 0 8 0 0 0 20 0 46 0 81751841 28518940672 2180068 33554432000 4194304 4196468 140723179966624 139640663610384 139642378651349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28696576 140723179971661 140723179971845 140723179971845 140723179974607 0
[pid=9047/tid=9092] ppid=9044 vsize=27850528 memory=1408 CPUtime=0.06 cores=0-7
/proc/9047/task/9092/stat : 9092 (java) S 9044 9047 7877 0 -1 1077944384 1834 0 0 0 6 0 0 0 20 0 46 0 81751841 28518940672 2180068 33554432000 4194304 4196468 140723179966624 139640662557840 139642378651349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28696576 140723179971661 140723179971845 140723179971845 140723179974607 0
[pid=9047/tid=9093] ppid=9044 vsize=27850528 memory=6496 CPUtime=0.08 cores=0-7
/proc/9047/task/9093/stat : 9093 (java) S 9044 9047 7877 0 -1 1077944384 2602 0 0 0 8 0 0 0 20 0 46 0 81751842 28518940672 2180068 33554432000 4194304 4196468 140723179966624 139640219456784 139642378651349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28696576 140723179971661 140723179971845 140723179971845 140723179974607 0
Current children cumulated CPU time: 20032.7 s
Current children cumulated vsize: 27850528 KiB
Current children cumulated memory: 8720272 KiB

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

[startup+2520.44 s]
# the end of solver process 9047 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=19999.2 s, system=36.4307 s

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

[startup+2520.4 s]*
/proc/loadavg: 8.56 8.68 8.74 2/181 9172
/proc/meminfo: memFree=7407460/32770624 swapFree=67108860/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143
Real time (s): 2520.44
CPU time (s): 20035.6
CPU user time (s): 19999.2
CPU system time (s): 36.4307
CPU usage (%): 794.927
Max. virtual memory (cumulated for all children) (KiB): 27984684
Max. memory (cumulated for all children) (KiB): 8721816

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19999.2
system time used= 36.4307
maximum resident set size= 8722424
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4426040
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3264
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 360120
involuntary context switches= 428861


# summary of solver processes directly reported to runsolver:
#   pid: 9047
#   total CPU time (s): 20035.6
#   total CPU user time (s): 19999.2
#   total CPU system time (s): 36.4307

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 28.6674 second user time and 35.4906 second system time

The end

Launcher Data

Begin job on node139 at 2018-07-26 23:51:17
IDJOB=4291174
IDBENCH=141218
IDSOLVER=2745
FILE ID=node139/4291174-1532641877
RUNJOBID= node139-1532634055-7904
PBS_JOBID= 21022188
Free space on /tmp= 38716 MiB

SOLVER NAME= OscaR - Parallel with EPS 2018-07-02
BENCH NAME= XCSP18/SumColoring/SumColoring-dsjc-250-5_c18.xml
COMMAND LINE= java -Xmx22000m -jar oscarCPXcsp3-parallel.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 22000 --nbcore NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4291174-1532641877/watcher-4291174-1532641877 -o /tmp/evaluation-result-4291174-1532641877/solver-4291174-1532641877 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node139-1532634055-7904 --watchdog 2580  java -Xmx22000m -jar oscarCPXcsp3-parallel.jar --randomseed 1307722190 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4291174-1532641877.xml

TIME LIMIT= 20160 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8

MD5SUM BENCH= 6d15d8403aebe79e9693643b2fca1a5e
RANDOM SEED=1307722190

node139.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.80
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.80
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.80
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.80
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:        12280972 kB
MemAvailable:   31929596 kB
Buffers:          244604 kB
Cached:         19359096 kB
SwapCached:            0 kB
Active:          3080456 kB
Inactive:       16575924 kB
Active(anon):       6864 kB
Inactive(anon):    73540 kB
Active(file):    3073592 kB
Inactive(file): 16502384 kB
Unevictable:        7312 kB
Mlocked:            7312 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             36256 kB
Writeback:             0 kB
AnonPages:         59448 kB
Mapped:            41240 kB
Shmem:             25228 kB
Slab:             528184 kB
SReclaimable:     501108 kB
SUnreclaim:        27076 kB
KernelStack:        3184 kB
PageTables:         4848 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     326036 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      6144 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      107904 kB
DirectMap2M:    33437696 kB

Free space on /tmp at the end= 38680 MiB
End job on node139 at 2018-07-27 00:33:18