Trace number 4290463

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 - Conflict Ordering with restarts 2018-07-02SAT (TO)11058 2400.11 2377.62

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 benchmark3754
Best CPU time to get the best result obtained on this benchmark2520.13
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.68/0.56	c version: 2018-07-02
0.68/0.56	c seed: 1731929616
0.68/0.56	c timeout: 2400
0.68/0.56	c memlimit: 11000
0.68/0.56	c nbcore: 4
0.68/0.58	c Parsing instance...
6.97/2.66	c Parsing done, starting search...
7.60/2.85	o 32294
7.92/2.92	o 32169
7.92/2.92	o 32114
7.92/2.92	o 32072
7.92/2.92	o 32067
7.92/2.92	o 32066
7.92/2.93	o 32051
7.92/2.93	o 32034
7.92/2.93	o 32033
7.92/2.93	o 32020
7.92/2.93	o 32017
7.92/2.93	o 32016
7.92/2.93	o 32014
7.92/2.93	o 32013
7.92/2.93	o 32012
7.92/2.93	o 32006
7.92/2.93	o 32002
7.92/2.93	o 31998
7.92/2.94	o 31997
7.92/2.94	o 31996
7.92/2.94	o 31991
7.92/2.94	o 31989
7.92/2.94	o 31988
7.92/2.94	o 31985
7.92/2.94	o 31984
7.92/2.94	o 31920
7.92/2.94	o 31919
7.92/2.95	o 31847
7.92/2.95	o 31846
7.92/2.95	o 31827
7.92/2.95	o 31826
7.92/2.95	o 31825
7.92/2.95	o 31824
7.92/2.95	o 31823
7.92/2.95	o 31822
7.92/2.95	o 31816
7.92/2.95	o 31810
7.92/2.96	o 31809
7.92/2.96	o 31808
7.92/2.96	o 31802
7.92/2.96	o 31801
7.92/2.96	o 31800
7.92/2.96	o 31765
7.92/2.96	o 31747
7.92/2.96	o 31745
7.92/2.96	o 31730
7.92/2.97	o 31729
7.92/2.97	o 31728
7.92/2.97	o 31727
7.92/2.97	o 31720
7.92/2.97	o 31717
7.92/2.98	o 31716
7.92/2.98	o 31613
7.92/2.98	o 31610
7.92/2.98	o 31609
7.92/2.98	o 31484
7.92/2.98	o 31483
7.92/2.98	o 31482
7.92/2.98	o 31481
7.92/2.98	o 31480
7.92/2.98	o 31472
7.92/2.98	o 31471
7.92/2.98	o 31470
7.92/2.99	o 31397
7.92/2.99	o 31396
7.92/2.99	o 31395
7.92/2.99	o 31358
7.92/2.99	o 31357
7.92/2.99	o 31356
7.92/3.00	o 31328
8.25/3.00	o 31327
8.25/3.00	o 31285
8.25/3.00	o 31284
8.25/3.00	o 31281
8.25/3.00	o 31280
8.25/3.01	o 31188
8.25/3.01	o 31187
8.25/3.01	o 31169
8.25/3.01	o 31168
8.25/3.01	o 31165
8.25/3.02	o 31161
8.25/3.02	o 31160
8.25/3.02	o 31159
8.25/3.02	o 31158
8.25/3.03	o 31156
8.25/3.03	o 31154
8.25/3.03	o 31153
8.25/3.03	o 31151
8.25/3.03	o 31149
8.25/3.03	o 31147
8.25/3.04	o 31146
8.25/3.04	o 31145
8.25/3.04	o 31144
8.25/3.05	o 31143
8.25/3.05	o 31142
8.25/3.07	o 31138
8.25/3.07	o 31134
8.25/3.07	o 31133
8.25/3.07	o 31132
8.25/3.07	o 31129
8.25/3.07	o 31126
8.25/3.07	o 31120
8.25/3.07	o 31118
8.25/3.07	o 31115
8.25/3.07	o 31111
8.25/3.08	o 31084
8.25/3.09	o 31083
8.25/3.09	o 31082
8.25/3.09	o 31081
8.25/3.09	o 31080
8.56/3.10	o 31063
8.56/3.10	o 31061
8.56/3.10	o 31059
8.56/3.11	o 31045
8.56/3.11	o 31043
8.56/3.11	o 31041
8.56/3.11	o 31033
8.56/3.11	o 31029
8.56/3.11	o 30971
8.56/3.11	o 30969
8.56/3.11	o 30967
8.56/3.11	o 30961
8.56/3.11	o 30951
8.56/3.11	o 30947
8.56/3.11	o 30946
8.56/3.11	o 30945
8.56/3.11	o 30871
8.56/3.11	o 30870
8.56/3.11	o 30869
8.56/3.12	o 30867
8.56/3.12	o 30866
8.56/3.12	o 30865
8.56/3.12	o 30864
8.56/3.12	o 30863
8.56/3.12	o 30862
8.56/3.12	o 30846
8.56/3.12	o 30845
8.56/3.12	o 30844
8.56/3.12	o 30843
8.56/3.12	o 30842
8.56/3.12	o 30841
8.83/3.20	o 30840
8.83/3.22	o 30832
8.83/3.22	o 30831
8.83/3.22	o 30830
8.83/3.22	o 30829
8.83/3.22	o 30828
8.83/3.22	o 30810
8.83/3.22	o 30807
8.83/3.22	o 30803
8.83/3.22	o 30800
8.83/3.22	o 30798
8.83/3.22	o 30795
8.83/3.22	o 30794
8.83/3.22	o 30793
8.83/3.22	o 30792
8.83/3.22	o 30701
8.83/3.22	o 30700
8.83/3.23	o 30696
8.83/3.23	o 30695
8.83/3.23	o 30690
8.83/3.23	o 30689
8.83/3.23	o 30688
8.83/3.23	o 30687
8.83/3.23	o 30686
8.83/3.23	o 30685
8.83/3.23	o 30684
8.83/3.23	o 30683
8.83/3.23	o 30681
8.83/3.23	o 30680
8.83/3.23	o 30679
8.83/3.23	o 30678
8.83/3.24	o 30677
8.83/3.24	o 30676
8.83/3.24	o 30675
8.83/3.25	o 30674
8.83/3.25	o 30672
8.83/3.25	o 30671
8.83/3.26	o 30670
8.99/3.31	o 30669
8.99/3.31	o 30668
8.99/3.33	o 30667
8.99/3.33	o 30666
8.99/3.33	o 30664
8.99/3.34	o 30663
8.99/3.34	o 30662
8.99/3.34	o 30656
8.99/3.34	o 30653
8.99/3.34	o 30649
8.99/3.34	o 30645
8.99/3.34	o 30644
8.99/3.34	o 30643
8.99/3.34	o 30642
8.99/3.34	o 30641
8.99/3.34	o 30640
8.99/3.34	o 30639
8.99/3.34	o 30638
8.99/3.35	o 30636
8.99/3.35	o 30635
8.99/3.35	o 30634
8.99/3.35	o 30633
8.99/3.35	o 30631
8.99/3.35	o 30627
9.25/3.55	o 30626
9.41/3.64	o 30624
9.41/3.67	o 30623
9.41/3.68	o 30621
9.41/3.68	o 30620
9.52/3.75	o 30617
9.52/3.75	o 30616
9.52/3.75	o 30614
9.52/3.75	o 30610
9.52/3.75	o 30608
9.52/3.75	o 30607
9.52/3.75	o 30602
9.52/3.76	o 30600
9.52/3.76	o 30599
9.52/3.76	o 30595
9.52/3.76	o 30589
9.52/3.76	o 30578
9.52/3.76	o 30577
9.52/3.76	o 30576
9.52/3.76	o 30575
9.52/3.76	o 30571
9.52/3.77	o 30570
9.52/3.77	o 30565
9.52/3.79	o 30561
9.52/3.79	o 30558
9.52/3.79	o 30553
9.52/3.79	o 30548
9.52/3.79	o 30547
9.52/3.79	o 30545
9.52/3.79	o 30544
9.52/3.79	o 30541
9.52/3.80	o 30540
9.67/3.80	o 30539
9.67/3.80	o 30538
9.67/3.81	o 30536
9.67/3.81	o 30534
9.67/3.82	o 30532
9.67/3.82	o 30531
9.67/3.82	o 30530
9.82/3.91	o 30519
9.82/3.91	o 30517
9.82/3.91	o 30514
9.82/3.91	o 30508
9.82/3.91	o 30507
9.82/3.91	o 30505
9.82/3.91	o 30488
9.82/3.91	o 30461
9.82/3.91	o 30457
9.82/3.92	o 30455
9.82/3.92	o 30454
9.82/3.92	o 30449
9.82/3.92	o 30447
9.82/3.92	o 30444
9.82/3.92	o 30442
9.82/3.92	o 30441
9.82/3.92	o 30434
9.82/3.92	o 30433
9.82/3.92	o 30431
9.82/3.92	o 30381
9.82/3.92	o 30378
9.82/3.92	o 30377
9.82/3.92	o 30375
9.82/3.92	o 30374
9.82/3.92	o 30373
9.82/3.92	o 30372
9.82/3.92	o 30371
9.82/3.92	o 30368
9.82/3.92	o 30366
9.82/3.92	o 30365
9.82/3.92	o 30364
9.82/3.92	o 30363
9.82/3.92	o 30362
9.82/3.92	o 30361
9.82/3.92	o 30360
9.82/3.93	o 30359
9.82/3.93	o 30358
9.82/3.93	o 30356
9.82/3.93	o 30354
9.82/3.93	o 30307
9.82/3.94	o 30274
9.82/3.94	o 30254
9.82/3.94	o 30244
9.82/3.94	o 30228
9.82/3.94	o 30223
9.82/3.94	o 30221
9.82/3.94	o 30120
9.82/3.94	o 30118
9.82/3.94	o 30093
9.82/3.94	o 30091
9.82/3.94	o 30084
9.82/3.94	o 30069
9.82/3.94	o 30068
9.82/3.94	o 30067
9.82/3.95	o 30062
9.82/3.95	o 30021
9.82/3.95	o 30019
9.82/3.95	o 30013
9.82/3.96	o 30011
9.82/3.96	o 30009
9.82/3.97	o 30002
9.82/3.97	o 29989
9.82/3.97	o 29987
9.82/3.97	o 29981
9.82/3.97	o 29980
9.82/3.97	o 29978
9.82/3.97	o 29968
9.82/3.97	o 29967
9.82/3.97	o 29964
9.82/3.98	o 29962
9.82/3.98	o 29960
9.82/3.98	o 29958
10.23/4.22	o 29956
10.94/4.96	o 29954
11.04/5.00	o 29953
11.45/5.42	o 29951
12.54/6.53	o 29950
12.54/6.53	o 29934
12.54/6.53	o 29930
12.54/6.53	o 29921
12.54/6.53	o 29918
12.54/6.53	o 29917
12.54/6.53	o 29916
12.54/6.53	o 29910
12.54/6.53	o 29845
12.54/6.53	o 29839
12.54/6.53	o 29838
12.54/6.53	o 29837
12.54/6.53	o 29815
12.54/6.54	o 29808
12.54/6.54	o 29807
12.54/6.54	o 29806
12.54/6.54	o 29805
12.54/6.54	o 29804
12.54/6.54	o 29803
12.54/6.54	o 29800
12.54/6.54	o 29799
12.54/6.57	o 29797
12.64/6.62	o 29794
12.64/6.63	o 29793
12.64/6.68	o 29791
12.95/6.91	o 29779
12.95/6.91	o 29763
12.95/6.91	o 29758
12.95/6.91	o 29755
12.95/6.91	o 29749
12.95/6.91	o 29748
12.95/6.91	o 29666
12.95/6.91	o 29660
12.95/6.91	o 29654
12.95/6.91	o 29648
12.95/6.91	o 29645
12.95/6.91	o 29636
12.95/6.91	o 29635
12.95/6.91	o 29634
12.95/6.91	o 29628
12.95/6.91	o 29627
12.95/6.91	o 29625
12.95/6.91	o 29618
12.95/6.91	o 29617
12.95/6.91	o 29615
12.95/6.91	o 29610
12.95/6.92	o 29608
13.04/7.05	o 29606
13.04/7.06	o 29604
13.04/7.07	o 29602
13.04/7.08	o 29601
13.14/7.11	o 29600
13.24/7.25	o 29599
13.24/7.30	o 29598
13.24/7.30	o 29596
13.36/7.40	o 29595
13.46/7.44	o 29594
13.55/7.58	o 29592
13.55/7.59	o 29589
14.02/7.92	o 29588
14.02/7.96	o 29587
14.12/8.08	o 29533
14.12/8.09	o 29528
14.12/8.09	o 29526
14.12/8.09	o 29519
14.12/8.09	o 29518
14.12/8.09	o 29517
14.12/8.09	o 29500
14.12/8.09	o 29499
14.12/8.09	o 29494
14.12/8.09	o 29468
14.23/8.11	o 29465
14.23/8.11	o 29462
14.23/8.11	o 29461
14.23/8.11	o 29460
14.23/8.11	o 29457
14.23/8.11	o 29456
14.23/8.11	o 29455
14.23/8.11	o 29454
14.23/8.11	o 29449
14.23/8.11	o 29448
14.23/8.11	o 29447
14.23/8.11	o 29445
14.23/8.12	o 29443
14.23/8.15	o 29441
14.23/8.18	o 29439
14.23/8.18	o 29438
14.44/8.38	o 29437
14.44/8.38	o 29436
14.54/8.44	o 29434
15.03/8.93	o 29433
15.03/8.94	o 29432
15.03/8.94	o 29431
15.23/9.12	o 29423
15.23/9.12	o 29417
15.23/9.12	o 29415
15.23/9.12	o 29406
15.23/9.12	o 29405
15.23/9.13	o 29404
15.23/9.13	o 29403
15.23/9.13	o 29401
15.23/9.13	o 29400
15.23/9.13	o 29395
15.23/9.13	o 29394
15.23/9.14	o 29373
15.23/9.14	o 29371
15.23/9.14	o 29368
15.23/9.14	o 29366
15.23/9.15	o 29247
15.23/9.15	o 29245
15.23/9.15	o 29243
15.23/9.15	o 29219
15.23/9.15	o 29213
15.23/9.15	o 29211
15.23/9.15	o 29210
15.23/9.15	o 29204
15.23/9.15	o 29201
15.23/9.15	o 29200
15.23/9.16	o 29195
15.23/9.17	o 29194
15.23/9.17	o 29193
15.23/9.17	o 29140
15.23/9.18	o 29124
15.23/9.18	o 29118
15.23/9.18	o 29113
15.23/9.18	o 29093
15.23/9.18	o 29082
15.23/9.18	o 29074
15.23/9.18	o 29056
15.23/9.18	o 29050
15.23/9.18	o 29049
15.34/9.24	o 29020
15.34/9.24	o 29018
15.34/9.24	o 29015
15.34/9.24	o 29013
15.34/9.24	o 28983
15.34/9.24	o 28982
15.34/9.24	o 28978
15.34/9.24	o 28976
15.34/9.24	o 28963
15.34/9.25	o 28922
15.34/9.25	o 28903
15.34/9.25	o 28902
15.34/9.25	o 28900
15.34/9.25	o 28898
15.34/9.25	o 28896
15.34/9.25	o 28894
15.34/9.25	o 28890
15.34/9.27	o 28889
15.34/9.27	o 28887
15.45/9.35	o 28885
15.45/9.35	o 28854
15.45/9.35	o 28851
15.45/9.35	o 28848
15.45/9.35	o 28836
15.45/9.35	o 28833
15.45/9.35	o 28831
15.45/9.36	o 28830
15.45/9.36	o 28827
15.45/9.36	o 28825
15.45/9.36	o 28822
15.45/9.36	o 28820
15.45/9.37	o 28814
15.45/9.38	o 28808
15.45/9.38	o 28803
15.56/9.41	o 28801
15.56/9.47	o 28800
15.56/9.47	o 28798
15.65/9.56	o 28794
15.65/9.56	o 28793
15.85/9.78	o 28691
15.85/9.78	o 28681
15.85/9.79	o 28621
15.85/9.79	o 28602
15.85/9.79	o 28569
15.85/9.79	o 28559
15.95/9.80	o 28554
15.95/9.82	o 28553
15.95/9.82	o 28549
15.95/9.83	o 28544
16.15/10.04	o 28495
16.15/10.04	o 28471
16.15/10.04	o 28443
16.15/10.04	o 28437
16.15/10.05	o 28431
16.15/10.05	o 28427
16.15/10.05	o 28425
16.15/10.05	o 28421
16.15/10.07	o 28418
16.15/10.07	o 28414
16.25/10.13	o 28410
16.56/10.43	o 28405
16.56/10.43	o 28389
16.56/10.43	o 28369
16.56/10.43	o 28368
16.56/10.43	o 28365
16.56/10.43	o 28360
16.56/10.43	o 28352
16.56/10.43	o 28350
16.56/10.43	o 28343
16.56/10.43	o 28342
16.56/10.43	o 28337
16.56/10.43	o 28332
16.56/10.44	o 28325
16.86/10.79	o 28324
16.86/10.79	o 28322
17.06/10.90	o 28320
17.47/11.40	o 28319
17.57/11.45	o 28318
17.57/11.48	o 28316
17.57/11.48	o 28315
17.57/11.48	o 28314
17.57/11.48	o 28313
17.86/11.73	o 28312
17.86/11.73	o 28308
17.86/11.73	o 28305
17.86/11.73	o 28302
17.86/11.73	o 28299
17.86/11.73	o 28298
17.86/11.73	o 28295
17.86/11.73	o 28240
17.86/11.74	o 28237
17.86/11.74	o 28224
17.86/11.74	o 28221
17.86/11.75	o 28025
17.86/11.75	o 28015
17.86/11.75	o 28008
17.86/11.75	o 28007
17.86/11.75	o 28004
17.86/11.76	o 27960
17.86/11.77	o 27942
17.86/11.77	o 27922
17.86/11.77	o 27892
17.86/11.78	o 27877
17.86/11.79	o 27771
17.96/11.80	o 27764
17.96/11.80	o 27752
17.96/11.80	o 27747
17.96/11.80	o 27744
17.96/11.81	o 27740
17.96/11.81	o 27739
17.96/11.81	o 27736
17.96/11.82	o 27643
17.96/11.82	o 27642
17.96/11.82	o 27592
17.96/11.82	o 27578
17.96/11.82	o 27577
17.96/11.82	o 27575
17.96/11.82	o 27569
17.96/11.82	o 27564
17.96/11.84	o 27548
17.96/11.84	o 27544
17.96/11.84	o 27542
17.96/11.85	o 27536
17.96/11.85	o 27535
17.96/11.85	o 27534
17.96/11.86	o 27478
17.96/11.86	o 27470
17.96/11.86	o 27421
17.96/11.87	o 27416
17.96/11.87	o 27402
17.96/11.87	o 27401
17.96/11.87	o 27393
17.96/11.87	o 27390
17.96/11.87	o 27388
17.96/11.89	o 27354
18.06/11.90	o 27324
18.06/11.90	o 27313
18.06/11.90	o 27310
18.06/11.90	o 27304
19.04/12.81	o 27303
19.04/12.81	o 27302
19.04/12.81	o 27298
19.04/12.82	o 27297
19.24/13.03	o 27296
19.24/13.03	o 27284
19.24/13.03	o 27279
19.24/13.03	o 27270
19.24/13.03	o 27269
19.24/13.03	o 27257
19.24/13.03	o 27245
19.24/13.03	o 27240
19.24/13.03	o 27237
19.24/13.03	o 27228
19.24/13.03	o 27223
19.24/13.04	o 27221
19.24/13.04	o 27215
19.24/13.04	o 27203
19.24/13.04	o 27198
19.24/13.04	o 27147
19.24/13.04	o 27133
19.24/13.04	o 27118
19.24/13.04	o 27114
19.24/13.04	o 27113
19.24/13.04	o 27108
19.24/13.04	o 27106
19.24/13.04	o 27103
19.24/13.04	o 27079
19.24/13.04	o 27061
19.24/13.04	o 27058
19.24/13.04	o 27052
19.24/13.04	o 27049
19.24/13.04	o 27046
19.24/13.04	o 27035
19.24/13.05	o 27034
19.24/13.05	o 27029
19.24/13.05	o 27028
19.24/13.05	o 27026
19.24/13.05	o 27025
19.24/13.06	o 27023
19.24/13.07	o 27018
19.24/13.09	o 27011
19.24/13.09	o 27008
19.24/13.09	o 27004
19.24/13.09	o 26998
19.24/13.09	o 26997
19.24/13.09	o 26996
19.34/13.10	o 26993
19.34/13.10	o 26992
19.34/13.11	o 26990
19.34/13.11	o 26989
19.34/13.11	o 26984
19.34/13.11	o 26983
19.34/13.11	o 26982
19.34/13.12	o 26981
19.34/13.12	o 26977
19.34/13.19	o 26976
19.34/13.20	o 26974
19.34/13.20	o 26973
19.44/13.20	o 26970
19.44/13.20	o 26969
19.44/13.20	o 26967
19.44/13.29	o 26961
19.44/13.29	o 26955
19.44/13.29	o 26926
19.44/13.29	o 26905
19.44/13.29	o 26884
19.44/13.29	o 26871
19.44/13.29	o 26866
19.44/13.29	o 26864
19.44/13.30	o 26863
19.44/13.30	o 26804
19.44/13.30	o 26791
19.44/13.30	o 26790
19.44/13.30	o 26789
19.44/13.30	o 26788
19.44/13.30	o 26787
19.55/13.31	o 26785
19.55/13.31	o 26784
19.55/13.31	o 26779
19.55/13.31	o 26776
19.55/13.32	o 26774
19.55/13.32	o 26772
19.55/13.33	o 26768
19.55/13.33	o 26763
19.55/13.33	o 26762
19.55/13.34	o 26761
19.55/13.34	o 26760
19.55/13.34	o 26758
19.55/13.34	o 26757
19.55/13.34	o 26752
19.65/13.42	o 26751
19.84/13.63	o 26750
19.84/13.65	o 26746
20.12/13.84	o 26744
20.63/14.34	o 26734
20.63/14.34	o 26723
20.63/14.34	o 26719
20.63/14.34	o 26697
20.63/14.34	o 26694
20.63/14.34	o 26673
20.63/14.34	o 26667
20.63/14.34	o 26666
20.63/14.36	o 26597
20.63/14.36	o 26585
20.63/14.36	o 26582
20.63/14.36	o 26562
20.63/14.36	o 26559
20.63/14.36	o 26558
20.63/14.36	o 26550
20.63/14.36	o 26548
20.63/14.36	o 26547
20.63/14.36	o 26532
20.63/14.36	o 26471
20.63/14.36	o 26466
20.63/14.36	o 26458
20.63/14.37	o 26453
20.63/14.37	o 26448
20.63/14.37	o 26445
20.63/14.38	o 26444
20.63/14.40	o 26440
20.63/14.40	o 26438
20.63/14.40	o 26437
20.78/14.41	o 26436
20.78/14.42	o 26433
20.78/14.42	o 26428
20.78/14.42	o 26423
20.78/14.43	o 26418
20.78/14.43	o 26413
20.78/14.43	o 26408
20.78/14.43	o 26405
20.78/14.43	o 26400
20.78/14.43	o 26395
20.78/14.43	o 26394
20.78/14.43	o 26392
20.78/14.43	o 26386
20.78/14.43	o 26381
20.78/14.43	o 26376
20.78/14.44	o 26375
20.78/14.46	o 26367
20.78/14.46	o 26362
20.78/14.47	o 26354
20.78/14.47	o 26351
20.78/14.47	o 26339
20.78/14.47	o 26338
20.78/14.47	o 26333
20.78/14.47	o 26332
20.78/14.48	o 26325
20.78/14.48	o 26324
20.78/14.49	o 26316
20.78/14.49	o 26315
20.90/14.51	o 26314
20.90/14.52	o 26308
20.90/14.52	o 26307
20.90/14.52	o 26302
20.90/14.52	o 26299
20.90/14.52	o 26293
20.90/14.53	o 26292
20.90/14.53	o 26290
20.90/14.55	o 26289
20.90/14.55	o 26287
22.00/15.64	o 26285
22.00/15.64	o 26276
22.00/15.64	o 26258
22.00/15.64	o 26257
22.00/15.64	o 26252
22.00/15.65	o 26251
22.00/15.65	o 26249
22.00/15.65	o 26248
22.00/15.68	o 26245
22.00/15.68	o 26236
22.00/15.68	o 26235
22.00/15.68	o 26224
22.00/15.68	o 26215
22.00/15.68	o 26206
22.00/15.68	o 26197
22.00/15.68	o 26196
22.00/15.69	o 26194
22.00/15.69	o 26191
22.00/15.69	o 26189
22.00/15.69	o 26186
22.00/15.69	o 26185
22.00/15.69	o 26184
22.11/15.70	o 26183
22.11/15.70	o 26181
22.11/15.70	o 26180
22.11/15.71	o 26177
22.11/15.72	o 26176
22.11/15.72	o 26174
22.11/15.72	o 26171
22.11/15.73	o 26170
22.21/15.80	o 26169
22.21/15.81	o 26166
22.21/15.81	o 26165
22.21/15.88	o 26164
22.21/15.88	o 26161
22.21/15.88	o 26159
22.31/15.98	o 26079
22.31/15.98	o 26071
22.31/15.98	o 26068
22.31/15.98	o 26020
22.31/15.98	o 26017
22.31/15.99	o 26011
22.31/15.99	o 26010
22.31/15.99	o 26000
22.31/15.99	o 25998
22.31/15.99	o 25997
22.31/15.99	o 25990
22.31/15.99	o 25989
22.41/16.01	o 25988
22.41/16.01	o 25987
22.41/16.01	o 25983
22.41/16.01	o 25982
22.41/16.02	o 25980
22.41/16.02	o 25979
22.41/16.06	o 25978
22.51/16.15	o 25977
22.51/16.15	o 25974
22.51/16.15	o 25967
22.51/16.15	o 25966
22.51/16.15	o 25962
22.51/16.15	o 25961
22.51/16.15	o 25960
22.51/16.15	o 25959
22.51/16.15	o 25955
22.51/16.15	o 25954
22.51/16.18	o 25953
22.51/16.18	o 25948
22.51/16.19	o 25947
22.51/16.19	o 25942
22.51/16.19	o 25941
22.61/16.21	o 25938
22.61/16.21	o 25937
22.61/16.21	o 25936
22.61/16.21	o 25935
22.61/16.22	o 25934
22.61/16.27	o 25933
22.61/16.28	o 25932
22.61/16.28	o 25929
22.61/16.28	o 25928
22.61/16.28	o 25927
22.82/16.44	o 25923
22.82/16.44	o 25922
22.82/16.44	o 25887
22.82/16.44	o 25886
22.82/16.44	o 25869
22.82/16.44	o 25863
22.82/16.44	o 25862
22.82/16.45	o 25860
22.82/16.45	o 25859
22.82/16.45	o 25854
22.82/16.45	o 25853
22.82/16.46	o 25847
22.82/16.46	o 25845
22.82/16.46	o 25839
22.82/16.46	o 25834
22.82/16.46	o 25833
22.82/16.47	o 25832
22.82/16.47	o 25831
22.82/16.49	o 25828
22.82/16.49	o 25827
22.82/16.49	o 25822
22.82/16.49	o 25821
22.91/16.51	o 25820
22.91/16.51	o 25819
22.91/16.52	o 25818
23.01/16.60	o 25817
23.01/16.64	o 25816
23.01/16.64	o 25815
23.11/16.73	o 25814
23.11/16.73	o 25813
23.11/16.76	o 25811
23.11/16.76	o 25810
23.21/16.82	o 25809
23.31/16.94	o 25804
23.31/16.94	o 25801
23.31/16.95	o 25796
23.31/16.95	o 25793
23.31/16.95	o 25668
23.31/16.95	o 25666
23.31/16.95	o 25655
23.31/16.95	o 25647
23.31/16.95	o 25646
23.31/16.95	o 25643
23.31/16.95	o 25640
23.31/16.96	o 25638
23.31/16.96	o 25636
23.31/16.96	o 25632
23.31/16.96	o 25629
23.31/16.96	o 25628
23.41/17.04	o 25617
23.41/17.04	o 25610
23.41/17.04	o 25608
23.41/17.04	o 25602
23.41/17.05	o 25600
23.51/17.10	o 25597
23.51/17.11	o 25595
23.51/17.11	o 25593
23.51/17.11	o 25591
23.51/17.19	o 25590
23.51/17.19	o 25589
23.61/17.29	o 25588
23.72/17.34	o 25585
23.72/17.35	o 25584
23.72/17.36	o 25582
23.72/17.36	o 25581
23.82/17.49	o 25580
23.82/17.49	o 25577
23.91/17.50	o 25576
23.91/17.50	o 25574
23.91/17.50	o 25573
23.91/17.50	o 25571
23.91/17.50	o 25570
23.91/17.52	o 25555
23.91/17.52	o 25554
23.91/17.52	o 25553
23.91/17.52	o 25552
23.91/17.52	o 25546
23.91/17.52	o 25541
23.91/17.52	o 25537
23.91/17.52	o 25535
23.91/17.53	o 25523
23.91/17.53	o 25510
23.91/17.54	o 25502
24.01/17.60	o 25501
24.01/17.60	o 25500
24.01/17.68	o 25498
24.01/17.68	o 25496
24.11/17.76	o 25495
24.21/17.90	o 25492
24.31/17.91	o 25491
24.31/17.91	o 25490
24.31/17.91	o 25489
24.31/17.98	o 25488
24.31/17.98	o 25487
24.61/18.26	o 25485
24.61/18.26	o 25483
24.61/18.26	o 25480
24.61/18.26	o 25479
24.61/18.26	o 25478
24.61/18.27	o 25459
24.61/18.27	o 25457
24.61/18.27	o 25455
24.61/18.28	o 25454
24.72/18.32	o 25434
24.72/18.32	o 25431
24.72/18.32	o 25430
24.72/18.33	o 25428
24.72/18.33	o 25427
24.72/18.33	o 25426
24.72/18.33	o 25423
24.72/18.33	o 25421
24.82/18.41	o 25420
24.82/18.42	o 25419
24.82/18.42	o 25418
24.91/18.58	o 25417
24.91/18.58	o 25416
24.91/18.59	o 25415
24.91/18.59	o 25414
25.01/18.68	o 25413
25.01/18.68	o 25412
25.01/18.69	o 25411
25.01/18.69	o 25410
25.01/18.70	o 25409
25.42/19.02	o 25404
25.42/19.02	o 25403
25.42/19.02	o 25401
25.42/19.02	o 25392
25.42/19.02	o 25387
25.42/19.02	o 25385
25.42/19.02	o 25382
25.42/19.02	o 25381
25.42/19.02	o 25380
25.42/19.05	o 25379
25.42/19.09	o 25378
25.42/19.09	o 25377
25.42/19.09	o 25376
25.52/19.19	o 25375
25.62/19.20	o 25374
25.62/19.20	o 25373
25.62/19.29	o 25372
25.62/19.29	o 25371
25.72/19.32	o 25370
25.72/19.32	o 25369
25.72/19.32	o 25368
25.72/19.38	o 25367
25.82/19.45	o 25365
26.01/19.64	o 25364
26.01/19.64	o 25363
26.01/19.64	o 25361
26.01/19.64	o 25360
26.01/19.65	o 25359
26.01/19.65	o 25358
26.01/19.69	o 25355
26.22/19.87	o 25354
26.22/19.87	o 25353
26.32/19.91	o 25351
26.32/19.95	o 25350
27.21/20.85	o 25223
27.21/20.85	o 25217
27.21/20.86	o 25216
27.21/20.86	o 25214
27.21/20.86	o 25207
27.21/20.86	o 25205
27.21/20.86	o 25204
27.21/20.87	o 25183
27.21/20.87	o 25170
27.21/20.87	o 25168
27.21/20.88	o 25167
27.21/20.89	o 25140
27.21/20.89	o 25124
27.21/20.90	o 25121
27.21/20.90	o 25117
27.32/20.90	o 25116
27.32/20.90	o 25115
27.32/20.91	o 25114
27.32/20.91	o 25113
27.32/20.97	o 25092
27.32/20.97	o 25082
27.32/20.97	o 25024
27.32/20.97	o 25023
27.32/20.98	o 24952
27.32/20.98	o 24950
27.32/20.98	o 24949
27.32/20.98	o 24943
27.32/20.98	o 24942
27.32/20.98	o 24939
27.32/20.98	o 24932
27.32/20.98	o 24930
27.32/20.99	o 24929
27.42/21.00	o 24927
27.42/21.00	o 24926
27.42/21.01	o 24925
27.42/21.03	o 24924
27.42/21.04	o 24923
27.42/21.04	o 24919
27.42/21.04	o 24917
27.42/21.09	o 24905
27.42/21.09	o 24903
27.42/21.10	o 24869
27.42/21.10	o 24867
27.52/21.10	o 24737
27.52/21.10	o 24735
27.52/21.10	o 24729
27.52/21.10	o 24724
27.52/21.10	o 24714
27.52/21.10	o 24712
27.52/21.11	o 24710
27.52/21.11	o 24708
27.52/21.12	o 24707
27.52/21.18	o 24703
27.52/21.18	o 24701
27.52/21.18	o 24700
27.52/21.18	o 24699
27.62/21.21	o 24698
27.62/21.29	o 24695
27.62/21.29	o 24686
27.62/21.29	o 24673
27.62/21.29	o 24660
27.62/21.29	o 24656
27.62/21.29	o 24654
27.62/21.30	o 24650
27.62/21.30	o 24648
27.73/21.31	o 24647
27.73/21.31	o 24643
27.73/21.32	o 24641
27.73/21.32	o 24639
27.73/21.33	o 24638
27.73/21.36	o 24637
27.73/21.36	o 24635
27.73/21.38	o 24634
27.84/21.44	o 24633
31.11/24.69	o 24597
31.11/24.69	o 24595
31.11/24.69	o 24591
31.11/24.69	o 24589
31.11/24.69	o 24575
31.11/24.69	o 24573
31.11/24.69	o 24571
31.11/24.69	o 24567
31.11/24.69	o 24534
31.11/24.69	o 24486
31.11/24.69	o 24483
31.11/24.69	o 24472
31.11/24.69	o 24469
31.11/24.69	o 24458
31.11/24.69	o 24456
31.11/24.69	o 24454
31.11/24.69	o 24450
31.11/24.70	o 24447
31.11/24.70	o 24442
31.21/24.70	o 24438
31.21/24.71	o 24425
31.21/24.77	o 24424
31.21/24.77	o 24421
31.21/24.78	o 24420
31.30/24.87	o 24419
31.30/24.88	o 24415
31.40/24.90	o 24412
31.40/24.90	o 24410
31.40/24.93	o 24408
31.40/24.93	o 24406
31.40/24.93	o 24405
31.40/24.93	o 24402
31.40/24.93	o 24401
31.40/24.94	o 24399
31.40/24.94	o 24398
31.61/25.17	o 24390
31.61/25.17	o 24384
31.61/25.18	o 24381
31.61/25.19	o 24378
31.61/25.19	o 24376
31.71/25.21	o 24372
31.71/25.21	o 24370
31.71/25.25	o 24369
31.71/25.25	o 24367
32.10/25.67	o 24365
32.10/25.67	o 24364
32.10/25.67	o 24355
32.20/25.70	o 24353
32.91/26.45	o 24350
33.81/27.39	o 24337
33.81/27.39	o 24336
33.81/27.39	o 24333
33.81/27.39	o 24332
33.81/27.39	o 24330
33.81/27.39	o 24329
33.81/27.39	o 24318
33.81/27.39	o 24316
33.81/27.39	o 24314
33.81/27.39	o 24309
33.81/27.39	o 24302
33.81/27.39	o 24298
33.81/27.39	o 24294
33.81/27.39	o 24275
33.81/27.39	o 24273
33.81/27.39	o 24255
33.81/27.40	o 24252
33.81/27.40	o 24250
33.81/27.40	o 24248
33.81/27.40	o 24244
33.81/27.40	o 24235
33.81/27.40	o 24233
33.81/27.40	o 24232
33.81/27.40	o 24230
33.81/27.40	o 24227
33.81/27.40	o 24218
33.81/27.40	o 24213
33.81/27.40	o 24212
33.81/27.40	o 24209
33.81/27.40	o 24208
33.81/27.40	o 24203
33.81/27.40	o 24194
33.81/27.40	o 24189
33.81/27.40	o 24184
33.81/27.40	o 24180
33.81/27.40	o 24173
33.81/27.40	o 24172
33.91/27.41	o 24170
33.91/27.41	o 24160
33.91/27.41	o 24158
33.91/27.41	o 24151
33.91/27.42	o 24149
34.11/27.60	o 24145
34.11/27.63	o 24141
34.11/27.65	o 24140
34.11/27.67	o 24138
34.11/27.68	o 24134
34.21/27.79	o 24131
34.31/27.81	o 24128
34.31/27.82	o 24126
34.51/28.01	o 24124
34.51/28.06	o 24119
34.51/28.06	o 24116
34.51/28.09	o 24115
34.61/28.16	o 24114
34.61/28.16	o 24113
35.51/29.08	o 24098
35.51/29.08	o 24095
35.51/29.08	o 24087
35.51/29.08	o 24080
35.51/29.09	o 24079
35.51/29.09	o 23990
35.51/29.09	o 23989
35.61/29.10	o 23969
35.61/29.10	o 23968
35.61/29.10	o 23967
35.61/29.10	o 23966
35.61/29.10	o 23965
35.61/29.12	o 23963
35.61/29.12	o 23962
35.71/29.23	o 23961
35.71/29.24	o 23960
35.71/29.24	o 23958
36.11/29.69	o 23957
36.82/30.38	o 23848
36.82/30.39	o 23846
36.82/30.39	o 23811
36.82/30.39	o 23809
36.82/30.40	o 23807
36.82/30.40	o 23785
36.82/30.40	o 23783
36.92/30.41	o 23780
36.92/30.41	o 23778
36.92/30.41	o 23777
38.71/32.27	o 23773
38.71/32.27	o 23764
38.71/32.27	o 23759
38.71/32.27	o 23753
38.71/32.27	o 23749
38.71/32.27	o 23747
38.71/32.27	o 23740
38.71/32.27	o 23738
38.71/32.27	o 23734
38.71/32.27	o 23718
38.71/32.27	o 23713
38.71/32.28	o 23707
38.71/32.28	o 23705
38.71/32.28	o 23702
38.71/32.28	o 23696
38.71/32.28	o 23692
38.71/32.28	o 23691
38.71/32.28	o 23687
38.71/32.28	o 23686
38.71/32.28	o 23682
38.71/32.28	o 23679
38.71/32.28	o 23676
38.71/32.28	o 23675
38.71/32.28	o 23671
38.71/32.28	o 23669
38.71/32.28	o 23659
38.71/32.29	o 23654
38.71/32.29	o 23649
38.71/32.29	o 23644
38.71/32.29	o 23641
38.71/32.29	o 23640
38.71/32.29	o 23636
38.71/32.29	o 23633
38.71/32.29	o 23627
38.71/32.29	o 23622
38.71/32.30	o 23620
38.71/32.30	o 23613
38.82/32.31	o 23608
38.82/32.31	o 23607
38.82/32.31	o 23602
38.82/32.33	o 23600
38.92/32.45	o 23597
38.92/32.45	o 23592
38.92/32.46	o 23591
39.01/32.50	o 23589
39.41/32.97	o 23588
39.41/32.97	o 23575
39.41/32.97	o 23561
39.41/32.97	o 23552
39.41/32.97	o 23519
39.41/32.97	o 23512
39.41/32.97	o 23500
39.41/32.98	o 23497
39.82/33.32	o 23496
39.82/33.34	o 23495
39.82/33.36	o 23493
39.82/33.39	o 23487
40.71/34.29	o 23483
40.82/34.31	o 23479
40.82/34.31	o 23478
40.82/34.31	o 23476
40.82/34.31	o 23472
40.82/34.32	o 23470
40.82/34.32	o 23468
40.82/34.32	o 23464
40.82/34.32	o 23463
40.82/34.32	o 23462
40.82/34.33	o 23461
40.82/34.33	o 23460
42.01/35.57	o 23454
42.01/35.57	o 23452
42.01/35.57	o 23443
42.01/35.57	o 23442
45.09/38.50	o 23441
46.79/40.22	o 23434
46.79/40.22	o 23433
46.79/40.22	o 23431
46.79/40.22	o 23420
46.79/40.22	o 23418
46.79/40.22	o 23416
46.79/40.22	o 23413
46.79/40.22	o 23407
46.79/40.22	o 23403
46.79/40.22	o 23395
46.79/40.23	o 23343
46.79/40.23	o 23335
46.79/40.23	o 23323
46.79/40.23	o 23319
46.79/40.23	o 23306
46.79/40.24	o 23304
46.79/40.30	o 23303
46.90/40.34	o 23301
46.90/40.34	o 23300
46.90/40.36	o 23299
47.00/40.48	o 23298
47.09/40.50	o 23295
47.59/41.08	o 23292
47.59/41.08	o 23291
47.69/41.17	o 23290
47.69/41.17	o 23288
47.69/41.18	o 23285
47.69/41.18	o 23283
48.00/41.43	o 23282
48.00/41.43	o 23280
48.00/41.44	o 23277
48.00/41.45	o 23273
48.09/41.56	o 23269
48.09/41.56	o 23268
48.09/41.56	o 23266
49.00/42.48	o 23264
49.00/42.48	o 23254
49.00/42.48	o 23250
49.00/42.48	o 23246
49.00/42.48	o 23242
49.00/42.48	o 23240
49.00/42.48	o 23232
49.00/42.48	o 23230
49.00/42.48	o 23213
49.00/42.48	o 23212
49.00/42.48	o 23211
49.00/42.48	o 23207
49.00/42.49	o 23203
49.00/42.49	o 23188
49.00/42.49	o 23184
49.00/42.49	o 23179
49.00/42.49	o 23175
49.00/42.49	o 23173
49.00/42.49	o 23169
49.00/42.49	o 23120
49.00/42.50	o 23116
49.00/42.50	o 23016
49.00/42.50	o 23012
49.00/42.50	o 22991
49.09/42.50	o 22965
49.09/42.50	o 22954
49.09/42.50	o 22948
49.09/42.50	o 22930
49.09/42.50	o 22926
49.09/42.50	o 22924
49.09/42.51	o 22922
49.09/42.51	o 22918
49.09/42.52	o 22883
49.09/42.52	o 22879
49.09/42.52	o 22836
49.09/42.52	o 22832
49.09/42.52	o 22826
49.09/42.52	o 22822
49.09/42.52	o 22820
49.09/42.52	o 22816
49.09/42.52	o 22815
49.09/42.52	o 22810
49.09/42.52	o 22806
49.09/42.52	o 22805
49.09/42.52	o 22803
49.09/42.52	o 22799
49.09/42.52	o 22787
49.09/42.54	o 22786
49.09/42.59	o 22785
49.19/42.61	o 22783
49.19/42.61	o 22779
49.19/42.61	o 22776
49.19/42.64	o 22773
49.19/42.68	o 22772
49.29/42.77	o 22767
49.39/42.84	o 22765
49.39/42.88	o 22764
49.49/42.99	o 22760
49.59/43.04	o 22664
49.59/43.04	o 22610
49.59/43.04	o 22594
49.59/43.04	o 22591
49.59/43.04	o 22580
49.59/43.04	o 22578
49.59/43.05	o 22570
49.59/43.05	o 22569
49.59/43.06	o 22567
49.59/43.06	o 22563
49.59/43.08	o 22562
49.59/43.08	o 22560
49.59/43.09	o 22558
49.69/43.10	o 22555
49.69/43.10	o 22554
49.69/43.11	o 22550
49.79/43.28	o 22549
50.29/43.78	o 22541
50.29/43.78	o 22540
50.29/43.79	o 22473
50.29/43.79	o 22455
50.29/43.79	o 22446
50.29/43.79	o 22435
50.39/43.80	o 22428
50.39/43.80	o 22423
50.39/43.82	o 22341
50.39/43.82	o 22336
50.39/43.82	o 22291
50.39/43.82	o 22281
50.39/43.82	o 22274
50.39/43.82	o 22232
50.39/43.82	o 22225
50.39/43.82	o 22216
50.39/43.83	o 22211
50.39/43.84	o 22204
51.70/45.10	o 22202
51.70/45.10	o 22201
51.70/45.10	o 22198
51.70/45.10	o 22195
51.70/45.10	o 22194
52.60/46.08	o 22192
52.70/46.15	o 22190
52.90/46.38	o 22046
52.90/46.39	o 22034
52.90/46.39	o 22014
52.90/46.39	o 22011
52.90/46.39	o 21977
52.90/46.39	o 21965
53.01/46.41	o 21964
53.01/46.43	o 21940
53.01/46.43	o 21939
53.01/46.47	o 21938
53.30/46.74	o 21937
53.30/46.74	o 21933
53.30/46.74	o 21920
53.30/46.74	o 21912
53.30/46.74	o 21911
53.40/46.82	o 21908
53.40/46.82	o 21900
53.40/46.82	o 21899
53.50/46.94	o 21898
53.60/47.01	o 21895
53.60/47.01	o 21886
53.70/47.18	o 21885
53.70/47.18	o 21831
53.70/47.19	o 21819
53.70/47.19	o 21817
53.70/47.19	o 21816
53.70/47.19	o 21805
53.70/47.19	o 21758
53.80/47.20	o 21757
53.80/47.20	o 21735
53.80/47.20	o 21714
53.91/47.32	o 21709
53.91/47.32	o 21702
53.91/47.38	o 21701
53.91/47.38	o 21699
53.91/47.39	o 21698
53.91/47.39	o 21697
53.91/47.39	o 21695
53.91/47.40	o 21693
53.91/47.40	o 21686
54.01/47.45	o 21679
54.01/47.46	o 21678
54.20/47.62	o 21677
54.20/47.62	o 21674
54.30/47.72	o 21651
54.30/47.72	o 21586
54.30/47.72	o 21581
54.30/47.72	o 21561
54.30/47.72	o 21556
54.30/47.73	o 21555
54.30/47.75	o 21536
54.30/47.75	o 21514
54.30/47.76	o 21507
54.30/47.76	o 21504
54.30/47.76	o 21492
54.30/47.77	o 21485
54.30/47.77	o 21482
54.30/47.77	o 21480
54.30/47.77	o 21474
54.30/47.77	o 21473
54.30/47.77	o 21467
54.30/47.78	o 21466
54.50/47.96	o 21465
54.50/47.96	o 21463
54.50/47.96	o 21441
54.50/47.96	o 21422
54.50/47.96	o 21402
54.50/47.99	o 21399
54.50/47.99	o 21397
54.60/48.00	o 21392
54.60/48.00	o 21390
54.60/48.01	o 21389
54.60/48.04	o 21386
54.60/48.05	o 21382
54.60/48.06	o 21381
54.70/48.12	o 21380
54.70/48.12	o 21378
55.50/48.99	o 21377
55.50/48.99	o 21376
55.50/48.99	o 21370
55.50/48.99	o 21368
55.50/48.99	o 21358
55.50/49.00	o 21356
55.50/49.00	o 21354
55.60/49.00	o 21353
55.60/49.01	o 21263
55.60/49.02	o 21261
55.60/49.02	o 21260
55.60/49.02	o 21254
55.60/49.02	o 21253
55.60/49.03	o 21249
55.60/49.03	o 21245
55.60/49.03	o 21229
55.60/49.03	o 21227
55.60/49.06	o 21218
55.60/49.06	o 21156
55.60/49.07	o 21136
55.60/49.07	o 21127
55.60/49.07	o 21118
55.60/49.08	o 21117
55.60/49.08	o 21116
55.60/49.08	o 21115
55.60/49.08	o 21114
56.79/50.30	o 21109
56.90/50.31	o 21107
56.90/50.31	o 21105
56.90/50.31	o 21104
56.90/50.31	o 21103
56.90/50.32	o 21085
56.90/50.32	o 21077
56.90/50.32	o 21062
56.90/50.32	o 21057
56.90/50.32	o 21054
56.90/50.33	o 21052
56.90/50.38	o 21049
56.90/50.38	o 21048
56.90/50.38	o 21047
57.03/50.46	o 21043
57.03/50.46	o 21041
57.03/50.46	o 21036
57.03/50.46	o 21034
57.03/50.49	o 21026
57.03/50.49	o 21024
57.03/50.49	o 21023
57.03/50.49	o 21022
62.32/55.77	o 21020
62.32/55.77	o 21010
62.32/55.77	o 21008
62.32/55.77	o 21003
62.32/55.77	o 20999
62.32/55.77	o 20998
62.32/55.77	o 20996
62.32/55.77	o 20993
62.32/55.78	o 20991
62.32/55.79	o 20986
62.42/55.82	o 20985
62.42/55.82	o 20984
62.42/55.84	o 20983
62.42/55.84	o 20982
62.42/55.85	o 20981
62.42/55.85	o 20980
62.42/55.85	o 20977
62.42/55.85	o 20976
62.42/55.88	o 20974
62.42/55.88	o 20973
62.42/55.88	o 20967
62.52/55.90	o 20965
62.52/55.91	o 20962
62.72/56.11	o 20961
62.72/56.11	o 20947
62.72/56.12	o 20946
62.72/56.12	o 20941
62.82/56.21	o 20940
63.03/56.42	o 20937
63.03/56.48	o 20934
63.73/57.17	o 20933
64.03/57.46	o 20930
64.03/57.46	o 20927
64.03/57.48	o 20924
64.03/57.48	o 20921
66.04/59.41	o 20918
66.04/59.41	o 20907
66.04/59.41	o 20905
66.04/59.42	o 20902
66.04/59.44	o 20900
66.04/59.44	o 20894
66.04/59.44	o 20891
66.04/59.44	o 20889
66.04/59.44	o 20885
66.04/59.44	o 20884
66.04/59.46	o 20883
66.04/59.46	o 20880
66.04/59.46	o 20879
66.04/59.46	o 20877
66.04/59.46	o 20869
66.04/59.46	o 20868
66.04/59.46	o 20866
66.04/59.46	o 20865
66.04/59.46	o 20864
66.04/59.46	o 20862
66.04/59.46	o 20861
66.04/59.46	o 20858
66.04/59.47	o 20855
66.04/59.47	o 20852
66.04/59.47	o 20851
66.04/59.47	o 20850
66.04/59.47	o 20849
66.04/59.47	o 20848
66.04/59.47	o 20844
66.04/59.47	o 20843
66.04/59.47	o 20838
66.04/59.47	o 20835
66.04/59.47	o 20833
66.04/59.47	o 20826
66.04/59.47	o 20825
66.04/59.47	o 20824
66.04/59.48	o 20821
66.04/59.48	o 20812
66.04/59.48	o 20811
66.04/59.48	o 20807
66.04/59.48	o 20806
66.04/59.48	o 20805
66.13/59.53	o 20803
66.13/59.53	o 20802
66.13/59.56	o 20800
66.13/59.56	o 20797
66.43/59.87	o 20794
66.43/59.87	o 20793
67.63/61.09	o 20792
67.63/61.09	o 20789
67.63/61.09	o 20788
67.63/61.09	o 20784
67.63/61.09	o 20783
67.63/61.09	o 20764
67.63/61.09	o 20763
67.63/61.10	o 20759
67.63/61.10	o 20758
67.73/61.10	o 20750
67.73/61.10	o 20749
67.73/61.10	o 20748
67.73/61.10	o 20747
67.73/61.10	o 20741
67.73/61.10	o 20736
67.73/61.10	o 20735
67.73/61.11	o 20729
67.73/61.11	o 20728
67.73/61.11	o 20679
67.73/61.11	o 20678
67.73/61.11	o 20675
67.73/61.11	o 20674
67.73/61.11	o 20625
67.73/61.11	o 20624
67.73/61.12	o 20614
67.73/61.12	o 20613
67.73/61.12	o 20594
67.73/61.12	o 20593
67.73/61.12	o 20590
67.73/61.12	o 20589
67.73/61.12	o 20548
67.73/61.12	o 20547
67.73/61.13	o 20546
67.94/61.35	o 20543
67.94/61.35	o 20538
67.94/61.40	o 20537
68.33/61.79	o 20534
68.33/61.79	o 20531
68.43/61.86	o 20530
68.43/61.87	o 20525
68.43/61.87	o 20523
68.43/61.87	o 20520
68.83/62.25	o 20519
68.83/62.25	o 20518
69.04/62.43	o 20516
69.04/62.43	o 20514
69.13/62.58	o 20503
69.13/62.58	o 20502
69.13/62.58	o 20497
69.13/62.58	o 20496
69.13/62.58	o 20495
69.13/62.58	o 20494
69.13/62.59	o 20493
69.23/62.60	o 20487
69.23/62.60	o 20486
69.45/62.83	o 20483
69.45/62.83	o 20482
69.45/62.86	o 20480
69.65/63.07	o 20475
69.65/63.07	o 20474
69.65/63.07	o 20472
69.65/63.09	o 20469
69.65/63.09	o 20467
69.65/63.09	o 20465
69.65/63.09	o 20463
69.65/63.09	o 20462
69.65/63.09	o 20455
69.65/63.09	o 20453
69.85/63.27	o 20444
69.85/63.27	o 20436
69.85/63.27	o 20427
69.85/63.27	o 20426
69.85/63.27	o 20425
69.85/63.27	o 20423
69.85/63.28	o 20422
69.85/63.28	o 20361
69.85/63.29	o 20359
69.85/63.29	o 20358
69.85/63.29	o 20357
69.85/63.29	o 20356
69.85/63.29	o 20352
69.85/63.29	o 20350
69.85/63.29	o 20348
69.85/63.29	o 20347
69.85/63.29	o 20346
69.85/63.29	o 20345
69.96/63.34	o 20338
69.96/63.34	o 20336
69.96/63.34	o 20335
69.96/63.34	o 20334
69.96/63.34	o 20333
70.35/63.71	o 20329
70.35/63.78	o 20327
70.45/63.81	o 20324
70.55/63.96	o 20315
71.15/64.52	o 20309
71.15/64.52	o 20248
71.15/64.52	o 20247
71.15/64.52	o 20227
71.15/64.52	o 20219
71.15/64.53	o 20213
71.15/64.53	o 20173
71.15/64.53	o 20171
71.15/64.53	o 20165
71.15/64.53	o 20157
71.15/64.53	o 20154
71.25/64.61	o 20152
71.25/64.63	o 20148
71.25/64.64	o 20146
71.25/64.64	o 20142
71.45/64.81	o 20140
71.45/64.82	o 20139
71.45/64.82	o 20137
71.45/64.82	o 20134
71.65/65.00	o 20130
71.65/65.00	o 20119
71.65/65.00	o 20118
71.65/65.00	o 20110
71.65/65.00	o 20109
71.85/65.24	o 20107
71.85/65.24	o 20106
71.85/65.29	o 20100
71.85/65.29	o 20099
71.96/65.31	o 20095
71.96/65.31	o 20094
72.15/65.51	o 20093
72.15/65.51	o 20092
72.25/65.69	o 20090
72.25/65.69	o 20089
72.96/66.35	o 20088
72.96/66.35	o 20082
72.96/66.35	o 20081
72.96/66.36	o 20027
72.96/66.36	o 20026
72.96/66.36	o 20017
72.96/66.36	o 20016
72.96/66.36	o 20013
72.96/66.36	o 20012
72.96/66.36	o 20007
72.96/66.36	o 20006
72.96/66.37	o 20003
72.96/66.37	o 20002
72.96/66.38	o 20001
72.96/66.38	o 20000
72.96/66.38	o 19995
72.96/66.39	o 19994
72.96/66.39	o 19993
73.06/66.42	o 19991
73.06/66.44	o 19990
75.45/68.82	o 19983
75.45/68.82	o 19979
75.45/68.82	o 19972
75.45/68.83	o 19970
75.45/68.83	o 19964
75.45/68.84	o 19963
75.45/68.84	o 19905
75.45/68.84	o 19897
75.45/68.84	o 19851
75.55/68.91	o 19847
75.55/68.91	o 19845
75.55/68.91	o 19841
75.55/68.91	o 19837
75.55/68.91	o 19835
75.55/68.91	o 19833
75.55/68.92	o 19783
75.55/68.93	o 19779
75.55/68.93	o 19775
75.55/68.93	o 19771
75.55/68.94	o 19769
76.17/69.56	o 19764
76.17/69.56	o 19763
76.17/69.57	o 19762
76.17/69.57	o 19761
76.17/69.59	o 19758
77.17/70.56	o 19753
77.17/70.56	o 19743
77.17/70.58	o 19742
77.17/70.58	o 19740
77.37/70.75	o 19739
77.47/70.84	o 19735
77.47/70.84	o 19734
77.47/70.85	o 19733
77.47/70.86	o 19732
77.47/70.86	o 19725
77.47/70.87	o 19723
77.47/70.87	o 19722
77.77/71.13	o 19718
77.77/71.14	o 19717
77.77/71.14	o 19712
77.87/71.20	o 19710
77.87/71.21	o 19708
78.17/71.53	o 19706
78.17/71.53	o 19704
78.17/71.53	o 19699
78.17/71.53	o 19696
80.77/74.12	o 19695
80.77/74.12	o 19694
80.77/74.13	o 19686
80.77/74.13	o 19683
80.77/74.13	o 19663
80.77/74.13	o 19658
80.77/74.13	o 19657
80.77/74.13	o 19656
80.77/74.13	o 19655
80.77/74.13	o 19653
80.77/74.13	o 19637
80.77/74.13	o 19630
80.77/74.13	o 19629
80.77/74.14	o 19627
80.77/74.14	o 19604
80.77/74.14	o 19594
80.77/74.14	o 19593
80.77/74.15	o 19592
80.87/74.26	o 19590
80.87/74.27	o 19589
80.87/74.27	o 19587
80.87/74.27	o 19586
81.17/74.55	o 19580
81.27/74.67	o 19574
81.27/74.68	o 19573
81.37/74.73	o 19567
81.37/74.74	o 19566
83.87/77.25	o 19561
85.08/78.44	o 19538
85.08/78.44	o 19490
85.08/78.44	o 19476
85.08/78.44	o 19465
85.08/78.45	o 19458
85.08/78.45	o 19446
85.08/78.45	o 19437
85.28/78.64	o 19436
85.28/78.64	o 19434
85.38/78.71	o 19429
85.38/78.71	o 19428
85.38/78.71	o 19424
85.38/78.71	o 19423
85.38/78.72	o 19422
85.38/78.72	o 19421
85.38/78.72	o 19417
85.38/78.72	o 19416
85.38/78.73	o 19415
85.48/78.84	o 19408
85.48/78.84	o 19407
85.48/78.88	o 19405
85.48/78.88	o 19399
85.68/79.08	o 19396
85.98/79.40	o 19394
85.98/79.40	o 19386
85.98/79.41	o 19381
86.08/79.42	o 19378
86.08/79.48	o 19370
86.28/79.68	o 19369
87.18/80.52	o 19248
87.18/80.52	o 19245
87.18/80.52	o 19242
87.18/80.52	o 19241
87.18/80.52	o 19238
87.18/80.53	o 19237
87.18/80.53	o 19204
87.18/80.53	o 19199
87.18/80.53	o 19198
87.18/80.53	o 19194
87.18/80.54	o 19189
87.18/80.54	o 19186
87.18/80.54	o 19185
87.18/80.54	o 19184
87.18/80.54	o 19180
87.18/80.54	o 19177
87.18/80.54	o 19174
87.18/80.54	o 19171
87.18/80.55	o 19170
87.18/80.55	o 19169
87.18/80.55	o 19166
87.18/80.58	o 19159
87.18/80.58	o 19156
87.18/80.58	o 19155
87.18/80.58	o 19150
87.27/80.61	o 19149
87.87/81.22	o 19148
87.87/81.22	o 19136
87.87/81.22	o 19133
87.98/81.34	o 19131
87.98/81.34	o 19130
87.98/81.34	o 19129
88.08/81.42	o 19126
88.08/81.43	o 19123
88.08/81.43	o 19121
88.08/81.43	o 19113
88.08/81.43	o 19112
89.37/82.72	o 19091
89.37/82.72	o 19090
89.37/82.72	o 19088
89.37/82.73	o 19074
89.37/82.73	o 19071
89.37/82.73	o 19047
89.37/82.73	o 19044
89.37/82.74	o 19018
89.37/82.74	o 19015
89.37/82.74	o 19007
89.37/82.75	o 19006
89.37/82.75	o 19004
89.37/82.75	o 18999
89.37/82.75	o 18996
89.37/82.79	o 18995
89.37/82.79	o 18992
90.08/83.45	o 18991
90.08/83.45	o 18987
90.08/83.45	o 18984
90.77/84.18	o 18974
91.67/85.06	o 18973
91.67/85.06	o 18972
91.67/85.06	o 18969
91.67/85.08	o 18960
91.67/85.08	o 18958
91.67/85.08	o 18957
91.67/85.09	o 18956
91.77/85.19	o 18941
91.77/85.19	o 18938
91.77/85.19	o 18935
91.77/85.19	o 18934
91.87/85.20	o 18929
91.87/85.20	o 18915
91.87/85.20	o 18910
91.87/85.20	o 18909
91.87/85.20	o 18907
91.87/85.24	o 18903
91.87/85.24	o 18902
91.87/85.24	o 18899
91.87/85.24	o 18898
91.87/85.26	o 18897
91.87/85.26	o 18896
91.87/85.26	o 18889
91.87/85.26	o 18886
91.87/85.26	o 18885
91.98/85.40	o 18878
91.98/85.40	o 18877
91.98/85.40	o 18871
91.98/85.40	o 18870
91.98/85.40	o 18863
91.98/85.40	o 18862
91.98/85.40	o 18861
91.98/85.40	o 18860
91.98/85.40	o 18855
91.98/85.40	o 18854
91.98/85.40	o 18845
91.98/85.40	o 18844
92.08/85.41	o 18843
92.08/85.41	o 18842
92.08/85.41	o 18841
92.08/85.41	o 18840
92.08/85.41	o 18833
92.08/85.41	o 18832
92.08/85.41	o 18826
92.08/85.41	o 18825
92.08/85.41	o 18824
92.08/85.42	o 18816
92.08/85.42	o 18815
92.08/85.42	o 18814
92.08/85.45	o 18809
92.08/85.45	o 18806
92.08/85.46	o 18805
92.08/85.47	o 18797
92.08/85.48	o 18784
92.17/85.55	o 18691
92.17/85.55	o 18672
92.17/85.55	o 18648
92.17/85.55	o 18606
92.17/85.55	o 18585
92.17/85.55	o 18580
92.17/85.59	o 18568
92.17/85.59	o 18562
92.27/85.66	o 18558
92.67/86.07	o 18557
92.67/86.08	o 18556
92.77/86.10	o 18553
93.27/86.67	o 18551
93.27/86.67	o 18535
93.27/86.67	o 18524
93.27/86.67	o 18522
93.27/86.67	o 18516
93.27/86.68	o 18508
93.27/86.68	o 18500
93.27/86.68	o 18497
93.27/86.68	o 18486
93.27/86.68	o 18483
93.27/86.68	o 18480
93.27/86.68	o 18473
93.27/86.70	o 18469
93.37/86.70	o 18468
93.37/86.70	o 18461
93.37/86.71	o 18459
93.37/86.72	o 18455
93.37/86.74	o 18442
93.57/86.96	o 18437
93.77/87.11	o 18424
93.77/87.13	o 18419
93.77/87.13	o 18407
93.77/87.15	o 18406
93.77/87.15	o 18404
93.77/87.19	o 18402
94.17/87.58	o 18349
94.17/87.58	o 18343
94.17/87.58	o 18338
94.27/87.60	o 18337
94.27/87.60	o 18331
94.27/87.60	o 18328
94.27/87.60	o 18326
94.27/87.61	o 18324
94.27/87.61	o 18322
94.27/87.61	o 18320
94.27/87.65	o 18314
94.37/87.74	o 18313
94.37/87.74	o 18311
94.58/87.94	o 18310
94.58/87.96	o 18309
94.78/88.17	o 18283
94.78/88.17	o 18277
94.78/88.17	o 18276
94.78/88.17	o 18274
94.78/88.18	o 18273
94.78/88.18	o 18240
94.78/88.18	o 18239
94.78/88.18	o 18237
94.78/88.18	o 18236
94.88/88.23	o 18235
94.88/88.23	o 18234
94.88/88.24	o 18227
94.88/88.24	o 18226
94.88/88.25	o 18225
94.88/88.25	o 18221
94.88/88.25	o 18220
94.88/88.29	o 18218
94.88/88.29	o 18217
94.99/88.31	o 18216
94.99/88.31	o 18214
94.99/88.31	o 18212
94.99/88.32	o 18211
94.99/88.32	o 18210
94.99/88.33	o 18209
95.18/88.50	o 18119
95.18/88.51	o 18096
95.18/88.51	o 18088
95.18/88.51	o 18069
95.18/88.51	o 18068
95.18/88.55	o 18049
95.18/88.56	o 18048
95.18/88.60	o 18039
95.18/88.60	o 18038
95.28/88.63	o 18031
95.28/88.63	o 18030
95.28/88.69	o 18028
95.28/88.69	o 18027
95.28/88.70	o 18016
95.38/88.70	o 18015
96.10/89.43	o 18013
96.10/89.43	o 18011
96.10/89.43	o 18008
96.10/89.43	o 17996
96.10/89.44	o 17988
96.10/89.47	o 17984
96.10/89.49	o 17976
96.19/89.59	o 17974
96.29/89.60	o 17973
96.29/89.63	o 17970
96.29/89.64	o 17969
96.29/89.64	o 17964
96.29/89.70	o 17963
96.29/89.70	o 17962
96.39/89.79	o 17960
96.39/89.79	o 17958
96.39/89.79	o 17956
96.49/89.82	o 17950
96.49/89.82	o 17949
96.89/90.27	o 17941
96.89/90.27	o 17940
97.00/90.33	o 17937
97.00/90.33	o 17936
97.00/90.37	o 17924
97.00/90.37	o 17923
114.13/107.48	o 17922
114.53/107.87	o 17921
114.53/107.87	o 17919
117.93/111.29	o 17916
117.93/111.30	o 17914
154.48/147.79	o 17912
154.48/147.79	o 17904
154.48/147.79	o 17901
154.48/147.80	o 17883
154.58/147.80	o 17880
154.58/147.80	o 17877
154.58/147.80	o 17873
154.58/147.80	o 17870
154.58/147.80	o 17868
154.58/147.80	o 17865
154.58/147.80	o 17861
154.58/147.80	o 17858
154.58/147.80	o 17854
154.58/147.81	o 17853
154.58/147.81	o 17849
154.58/147.81	o 17848
154.68/147.90	o 17844
154.68/147.94	o 17842
154.78/148.05	o 17838
154.78/148.08	o 17836
155.18/148.44	o 17834
155.18/148.44	o 17829
155.58/148.82	o 17824
155.68/148.91	o 17821
157.08/150.36	o 17819
157.38/150.66	o 17818
163.21/156.44	o 17816
163.21/156.44	o 17814
163.21/156.44	o 17809
163.40/156.69	o 17808
164.30/157.54	o 17799
164.30/157.58	o 17797
164.30/157.58	o 17789
164.30/157.59	o 17784
164.40/157.61	o 17783
164.40/157.68	o 17772
164.40/157.68	o 17764
164.40/157.69	o 17763
164.50/157.70	o 17760
164.50/157.70	o 17752
164.50/157.73	o 17749
164.50/157.75	o 17746
164.50/157.75	o 17738
164.70/157.96	o 17734
164.80/158.07	o 17733
165.51/158.80	o 17730
165.61/158.80	o 17728
168.13/161.36	o 17722
168.13/161.36	o 17710
168.13/161.36	o 17709
168.13/161.36	o 17702
168.13/161.36	o 17698
168.13/161.37	o 17694
168.13/161.37	o 17686
168.13/161.37	o 17678
168.13/161.37	o 17670
168.13/161.38	o 17667
168.13/161.38	o 17666
168.13/161.38	o 17659
168.23/161.49	o 17654
168.32/161.52	o 17649
168.42/161.68	o 17648
168.42/161.68	o 17645
168.72/161.93	o 17638
168.72/161.93	o 17633
168.82/162.01	o 17630
169.13/162.37	o 17628
169.13/162.37	o 17626
169.13/162.37	o 17619
169.13/162.37	o 17608
169.13/162.38	o 17598
169.13/162.38	o 17587
169.13/162.39	o 17582
169.13/162.39	o 17581
169.13/162.39	o 17580
169.13/162.39	o 17572
169.13/162.39	o 17558
169.23/162.41	o 17553
169.23/162.42	o 17549
169.23/162.42	o 17540
169.23/162.42	o 17539
169.23/162.44	o 17537
169.23/162.44	o 17524
169.23/162.44	o 17523
171.02/164.29	o 17521
171.72/164.97	o 17520
171.72/164.97	o 17511
171.72/164.98	o 17508
171.72/164.98	o 17495
171.72/164.99	o 17429
171.82/165.00	o 17428
171.82/165.00	o 17427
171.82/165.00	o 17426
177.02/170.25	o 17425
190.05/183.25	o 17424
190.16/183.40	o 17421
190.26/183.45	o 17419
190.26/183.45	o 17411
190.26/183.46	o 17406
190.35/183.51	o 17404
192.75/185.98	o 17403
192.75/185.98	o 17402
194.95/188.12	o 17384
194.95/188.14	o 17348
195.05/188.24	o 17342
195.05/188.24	o 17340
195.05/188.24	o 17324
195.05/188.27	o 17318
195.05/188.28	o 17309
196.16/189.40	o 17249
196.26/189.41	o 17236
196.26/189.42	o 17230
196.26/189.42	o 17220
196.26/189.42	o 17216
196.26/189.42	o 17189
196.26/189.45	o 17188
196.36/189.59	o 17081
196.36/189.59	o 17050
196.36/189.59	o 17049
196.36/189.59	o 17033
196.36/189.59	o 17007
196.36/189.59	o 16994
196.46/189.61	o 16988
196.46/189.61	o 16981
196.46/189.61	o 16978
196.46/189.62	o 16975
196.46/189.67	o 16974
196.46/189.68	o 16972
196.46/189.69	o 16971
196.56/189.75	o 16970
196.56/189.75	o 16946
196.56/189.79	o 16945
196.96/190.13	o 16939
196.96/190.13	o 16822
196.96/190.13	o 16800
196.96/190.14	o 16782
196.96/190.14	o 16781
196.96/190.16	o 16776
196.96/190.16	o 16775
196.96/190.17	o 16774
196.96/190.17	o 16773
196.96/190.17	o 16757
197.06/190.21	o 16754
197.16/190.38	o 16747
197.16/190.39	o 16703
197.27/190.41	o 16676
197.27/190.43	o 16659
197.27/190.46	o 16657
197.27/190.47	o 16654
197.27/190.48	o 16651
197.27/190.48	o 16649
197.27/190.49	o 16647
197.36/190.58	o 16631
197.56/190.70	o 16630
197.56/190.70	o 16625
197.66/190.82	o 16623
197.66/190.82	o 16610
197.96/191.11	o 16609
206.06/199.27	o 16608
206.06/199.27	o 16605
206.06/199.27	o 16604
206.06/199.27	o 16603
206.06/199.27	o 16599
206.06/199.27	o 16598
206.06/199.27	o 16593
206.06/199.27	o 16591
206.06/199.27	o 16590
206.06/199.27	o 16584
206.06/199.27	o 16583
207.27/200.46	o 16580
207.27/200.46	o 16576
207.27/200.46	o 16573
207.27/200.46	o 16572
208.17/201.37	o 16566
208.17/201.38	o 16557
208.17/201.39	o 16556
208.17/201.39	o 16540
208.17/201.39	o 16533
208.17/201.40	o 16532
208.17/201.40	o 16528
208.17/201.40	o 16517
208.28/201.48	o 16508
208.57/201.72	o 16500
208.57/201.77	o 16499
208.67/201.86	o 16493
209.47/202.65	o 16478
209.47/202.65	o 16477
210.77/203.94	o 16459
210.77/203.95	o 16443
210.77/203.95	o 16390
210.77/203.95	o 16387
210.77/203.95	o 16385
210.77/203.95	o 16359
210.77/203.95	o 16354
210.77/203.95	o 16344
210.77/203.95	o 16295
210.77/203.95	o 16277
210.77/203.95	o 16266
210.77/203.95	o 16253
210.77/203.95	o 16212
210.77/203.96	o 16192
210.77/203.96	o 16186
210.77/203.96	o 16185
210.77/203.96	o 16180
210.77/203.96	o 16174
210.77/203.96	o 16171
210.77/203.98	o 16170
210.77/203.98	o 16167
210.77/204.00	o 16120
210.87/204.00	o 16117
210.87/204.00	o 16114
210.87/204.00	o 16111
210.87/204.00	o 16108
210.87/204.01	o 16105
210.87/204.01	o 16102
210.87/204.01	o 16099
210.87/204.01	o 16097
210.87/204.01	o 16096
210.87/204.01	o 16093
210.87/204.01	o 16092
210.87/204.01	o 16088
210.87/204.01	o 16087
210.87/204.01	o 16085
210.87/204.02	o 16081
210.87/204.02	o 16059
210.87/204.02	o 16049
210.87/204.02	o 16046
210.87/204.02	o 16043
210.87/204.02	o 16029
210.87/204.03	o 16019
210.87/204.05	o 16003
210.87/204.05	o 15991
211.77/204.91	o 15985
211.87/205.04	o 15983
211.87/205.04	o 15972
212.57/205.70	o 15969
212.57/205.70	o 15968
212.57/205.70	o 15967
212.57/205.70	o 15962
212.57/205.70	o 15959
212.57/205.71	o 15957
212.57/205.71	o 15954
212.57/205.71	o 15951
212.57/205.71	o 15948
213.37/206.55	o 15946
213.37/206.56	o 15940
213.37/206.56	o 15938
213.37/206.56	o 15937
213.37/206.56	o 15932
213.37/206.56	o 15929
213.37/206.57	o 15926
213.37/206.57	o 15925
213.37/206.57	o 15918
213.37/206.57	o 15915
213.37/206.57	o 15912
213.37/206.57	o 15910
213.37/206.57	o 15909
213.37/206.57	o 15901
213.37/206.57	o 15899
213.37/206.58	o 15898
213.37/206.58	o 15896
213.37/206.58	o 15893
213.37/206.59	o 15891
213.37/206.59	o 15890
219.50/212.66	o 15888
219.50/212.66	o 15882
219.50/212.67	o 15879
225.90/219.01	o 15875
229.40/222.54	o 15874
229.40/222.56	o 15873
229.50/222.69	o 15871
229.80/222.90	o 15867
229.80/222.90	o 15860
229.80/222.92	o 15856
229.80/222.93	o 15852
229.80/222.93	o 15849
230.10/223.24	o 15841
230.31/223.42	o 15839
230.31/223.42	o 15838
231.21/224.36	o 15836
231.40/224.54	o 15832
232.90/226.08	o 15831
252.36/245.42	o 15811
252.36/245.42	o 15809
252.36/245.42	o 15806
252.36/245.42	o 15800
252.36/245.42	o 15798
252.36/245.42	o 15795
252.36/245.42	o 15792
252.55/245.65	o 15790
252.55/245.65	o 15789
252.65/245.70	o 15788
252.65/245.70	o 15779
252.95/246.00	o 15778
252.95/246.00	o 15777
252.95/246.04	o 15776
252.95/246.04	o 15774
252.95/246.04	o 15773
253.15/246.22	o 15770
253.45/246.58	o 15768
253.65/246.71	o 15767
253.65/246.71	o 15765
254.95/248.07	o 15761
254.95/248.07	o 15753
254.95/248.07	o 15752
254.95/248.07	o 15748
254.95/248.08	o 15747
254.95/248.08	o 15744
255.05/248.11	o 15742
255.05/248.11	o 15741
255.05/248.11	o 15738
255.65/248.77	o 15729
257.95/251.01	o 15708
257.95/251.02	o 15702
257.95/251.02	o 15701
257.95/251.02	o 15698
257.95/251.02	o 15684
257.95/251.03	o 15677
257.95/251.03	o 15672
257.95/251.04	o 15671
257.95/251.04	o 15667
257.95/251.04	o 15661
257.95/251.04	o 15653
257.95/251.09	o 15650
258.06/251.17	o 15634
258.06/251.17	o 15621
258.06/251.17	o 15611
258.06/251.17	o 15607
258.06/251.17	o 15593
258.06/251.18	o 15574
258.16/251.21	o 15568
258.16/251.22	o 15565
258.16/251.22	o 15556
258.16/251.28	o 15551
258.27/251.34	o 15545
258.47/251.55	o 15542
259.27/252.36	o 15540
259.27/252.36	o 15536
259.57/252.64	o 15532
259.57/252.64	o 15531
259.57/252.65	o 15530
259.57/252.65	o 15529
259.57/252.67	o 15528
259.57/252.67	o 15525
259.57/252.67	o 15524
262.17/255.20	o 15522
262.17/255.20	o 15521
262.17/255.20	o 15511
262.17/255.20	o 15510
262.17/255.21	o 15502
262.17/255.21	o 15500
262.17/255.21	o 15499
262.17/255.24	o 15491
262.17/255.24	o 15489
262.17/255.29	o 15474
262.17/255.29	o 15472
262.17/255.29	o 15465
262.17/255.29	o 15463
262.17/255.29	o 15458
262.17/255.29	o 15456
262.17/255.29	o 15449
262.17/255.29	o 15447
262.17/255.29	o 15446
262.17/255.29	o 15445
262.17/255.29	o 15444
262.17/255.29	o 15437
262.17/255.29	o 15435
262.17/255.29	o 15425
262.17/255.29	o 15410
262.17/255.29	o 15408
262.17/255.29	o 15407
262.17/255.30	o 15406
262.27/255.31	o 15402
262.27/255.31	o 15400
262.27/255.31	o 15397
262.27/255.31	o 15395
262.27/255.36	o 15394
262.27/255.36	o 15392
262.27/255.36	o 15390
262.27/255.36	o 15388
262.27/255.36	o 15386
265.07/258.10	o 15384
265.87/258.90	o 15383
265.87/258.90	o 15380
266.67/259.70	o 15379
266.67/259.70	o 15378
266.67/259.70	o 15374
269.07/262.13	o 15364
269.07/262.13	o 15348
269.07/262.13	o 15331
269.07/262.13	o 15326
269.07/262.13	o 15325
269.07/262.13	o 15321
269.07/262.13	o 15320
269.07/262.14	o 15317
269.07/262.14	o 15316
269.07/262.16	o 15315
269.07/262.16	o 15312
269.07/262.17	o 15309
269.07/262.17	o 15308
269.07/262.18	o 15305
269.17/262.20	o 15302
271.38/264.49	o 15301
271.38/264.49	o 15286
271.38/264.49	o 15279
271.38/264.49	o 15264
271.38/264.49	o 15257
271.38/264.49	o 15251
271.47/264.50	o 15241
271.47/264.50	o 15240
271.47/264.50	o 15234
271.47/264.50	o 15233
271.47/264.50	o 15220
271.47/264.51	o 15212
271.47/264.54	o 15209
271.47/264.57	o 15208
271.47/264.57	o 15206
271.47/264.58	o 15198
273.40/266.44	o 15189
273.40/266.45	o 15181
273.49/266.53	o 15178
273.49/266.53	o 15176
273.90/266.90	o 15105
273.90/266.90	o 15091
273.90/266.90	o 15073
273.90/266.90	o 15062
273.90/266.91	o 15054
273.90/266.96	o 15043
274.20/267.28	o 15039
274.20/267.28	o 15038
274.20/267.29	o 15029
274.20/267.29	o 15028
274.20/267.29	o 15022
274.20/267.29	o 15021
274.40/267.42	o 15020
274.40/267.42	o 15019
274.40/267.48	o 15012
274.40/267.48	o 15011
274.40/267.48	o 15006
274.40/267.48	o 15005
274.40/267.48	o 15004
275.00/268.03	o 15003
275.00/268.03	o 15002
275.10/268.16	o 14936
275.10/268.16	o 14887
275.10/268.16	o 14881
275.10/268.16	o 14878
275.10/268.19	o 14877
275.80/268.83	o 14876
275.80/268.83	o 14875
275.80/268.83	o 14874
276.31/269.40	o 14858
276.31/269.40	o 14855
276.31/269.40	o 14853
276.31/269.40	o 14837
276.31/269.40	o 14829
276.31/269.40	o 14809
276.42/269.41	o 14806
276.71/269.74	o 14805
290.01/283.04	o 14802
290.01/283.04	o 14801
290.01/283.04	o 14790
290.01/283.04	o 14780
290.01/283.04	o 14768
290.01/283.05	o 14764
290.01/283.05	o 14763
290.01/283.05	o 14760
290.01/283.05	o 14759
290.01/283.05	o 14754
290.01/283.05	o 14753
290.01/283.05	o 14750
290.01/283.05	o 14732
290.01/283.05	o 14726
290.01/283.05	o 14725
290.01/283.07	o 14724
290.01/283.07	o 14723
294.82/287.84	o 14718
294.82/287.84	o 14717
295.62/288.67	o 14709
295.62/288.67	o 14708
295.82/288.83	o 14701
295.82/288.83	o 14696
295.82/288.83	o 14676
295.82/288.83	o 14675
295.82/288.86	o 14668
295.82/288.86	o 14667
295.92/288.98	o 14666
295.92/288.98	o 14660
295.92/288.98	o 14658
295.92/288.98	o 14627
295.92/288.98	o 14626
295.92/288.98	o 14616
295.92/288.98	o 14615
296.02/289.02	o 14601
296.02/289.02	o 14600
296.02/289.05	o 14593
296.02/289.05	o 14592
296.11/289.12	o 14591
296.11/289.12	o 14590
296.11/289.13	o 14586
296.11/289.13	o 14585
296.11/289.14	o 14582
296.11/289.14	o 14581
296.11/289.15	o 14580
296.92/289.94	o 14576
296.92/289.94	o 14572
296.92/289.94	o 14571
296.92/289.94	o 14570
297.04/290.01	o 14569
297.04/290.01	o 14568
297.04/290.01	o 14557
297.04/290.01	o 14554
297.04/290.01	o 14542
297.04/290.01	o 14541
297.04/290.03	o 14540
297.14/290.19	o 14537
297.14/290.19	o 14536
297.35/290.34	o 14535
298.84/291.82	o 14524
298.84/291.82	o 14508
298.84/291.82	o 14480
298.84/291.82	o 14463
298.84/291.84	o 14457
298.84/291.84	o 14452
298.84/291.86	o 14451
298.94/291.99	o 14449
299.14/292.12	o 14448
299.35/292.39	o 14447
299.35/292.39	o 14442
299.35/292.40	o 14441
299.45/292.44	o 14440
299.54/292.51	o 14436
299.54/292.51	o 14432
299.54/292.52	o 14429
299.54/292.52	o 14414
299.54/292.52	o 14412
299.54/292.52	o 14403
299.54/292.54	o 14391
299.54/292.54	o 14382
299.54/292.56	o 14377
299.54/292.59	o 14361
299.84/292.84	o 14358
299.84/292.84	o 14352
299.84/292.84	o 14343
299.84/292.85	o 14332
302.15/295.19	o 14324
302.15/295.19	o 14317
302.15/295.19	o 14282
302.15/295.19	o 14276
302.15/295.19	o 14274
302.15/295.20	o 14244
302.25/295.20	o 14215
302.25/295.22	o 14202
302.25/295.24	o 14195
302.25/295.25	o 14188
303.85/296.87	o 14183
305.15/298.11	o 14181
305.15/298.11	o 14176
305.15/298.11	o 14175
305.15/298.11	o 14174
305.15/298.11	o 14170
305.15/298.11	o 14167
305.15/298.12	o 14162
305.15/298.13	o 14159
305.15/298.13	o 14158
305.15/298.13	o 14149
305.15/298.13	o 14148
305.15/298.13	o 14147
305.15/298.13	o 14145
305.15/298.13	o 14136
305.15/298.13	o 14129
305.15/298.14	o 14124
305.15/298.14	o 14120
305.15/298.14	o 14108
305.15/298.14	o 14102
305.15/298.14	o 14101
305.15/298.15	o 14100
305.15/298.15	o 14099
305.15/298.15	o 14098
305.25/298.26	o 14096
305.25/298.26	o 14093
305.25/298.26	o 14092
305.25/298.26	o 14091
305.75/298.75	o 14090
306.15/299.19	o 14089
306.15/299.19	o 14088
306.15/299.19	o 14087
306.25/299.21	o 14086
306.25/299.21	o 14085
306.25/299.25	o 14082
306.25/299.25	o 14081
306.25/299.25	o 14080
307.25/300.25	o 14079
307.25/300.25	o 14078
307.75/300.73	o 14077
307.75/300.74	o 14076
307.75/300.74	o 14074
307.75/300.74	o 14069
307.75/300.77	o 14066
307.75/300.77	o 14061
307.75/300.80	o 14060
307.85/300.87	o 14059
310.55/303.50	o 14057
310.55/303.50	o 14049
310.55/303.51	o 14046
310.55/303.52	o 14014
310.55/303.52	o 14006
310.55/303.53	o 13915
310.55/303.53	o 13907
310.55/303.54	o 13886
310.55/303.54	o 13878
310.55/303.55	o 13873
310.55/303.55	o 13870
310.55/303.56	o 13869
310.55/303.56	o 13867
310.55/303.56	o 13859
312.75/305.78	o 13854
312.85/305.80	o 13850
313.95/306.92	o 13849
314.85/307.81	o 13848
315.05/308.02	o 13844
315.05/308.02	o 13836
315.05/308.02	o 13831
315.05/308.03	o 13823
315.15/308.12	o 13822
315.15/308.12	o 13814
315.15/308.14	o 13811
315.15/308.15	o 13809
315.15/308.15	o 13801
315.56/308.52	o 13795
315.96/308.94	o 13788
315.96/308.94	o 13784
315.96/308.94	o 13782
315.96/308.95	o 13774
315.96/308.95	o 13770
315.96/308.95	o 13766
317.25/310.23	o 13750
317.25/310.23	o 13714
317.25/310.27	o 13702
317.25/310.29	o 13699
317.36/310.36	o 13693
317.36/310.39	o 13684
317.36/310.39	o 13673
317.46/310.48	o 13665
317.55/310.55	o 13661
319.86/312.85	o 13656
319.86/312.86	o 13652
319.86/312.88	o 13646
319.86/312.89	o 13642
320.06/313.01	o 13640
320.06/313.02	o 13632
321.59/314.56	o 13631
322.00/314.99	o 13629
322.10/315.01	o 13628
322.10/315.03	o 13625
322.10/315.03	o 13624
324.71/317.67	o 13622
324.71/317.68	o 13619
324.71/317.68	o 13618
324.81/317.72	o 13585
324.81/317.72	o 13583
324.81/317.72	o 13564
324.81/317.73	o 13557
324.81/317.74	o 13556
324.91/317.81	o 13549
324.91/317.82	o 13547
324.91/317.83	o 13542
325.11/318.05	o 13534
325.21/318.19	o 13533
325.91/318.83	o 13529
325.91/318.83	o 13526
325.91/318.83	o 13525
326.52/319.43	o 13524
326.52/319.43	o 13523
326.52/319.43	o 13522
328.91/321.81	o 13473
328.91/321.81	o 13451
328.91/321.81	o 13445
328.91/321.81	o 13423
328.91/321.85	o 13408
329.01/321.99	o 13404
329.31/322.22	o 13391
329.52/322.43	o 13390
329.81/322.75	o 13383
330.01/322.98	o 13378
330.11/323.01	o 13368
330.61/323.51	o 13364
330.61/323.51	o 13362
330.61/323.53	o 13360
330.61/323.53	o 13354
330.61/323.53	o 13352
330.81/323.75	o 13346
330.81/323.75	o 13344
330.81/323.77	o 13342
330.81/323.77	o 13340
330.81/323.78	o 13338
331.01/323.94	o 13336
331.01/323.94	o 13332
331.01/323.94	o 13330
331.01/323.94	o 13328
331.01/323.94	o 13326
331.11/324.05	o 13324
331.52/324.43	o 13321
331.52/324.43	o 13310
331.52/324.44	o 13305
331.52/324.44	o 13280
331.52/324.44	o 13276
331.52/324.44	o 13270
331.52/324.44	o 13259
331.52/324.44	o 13257
334.21/327.16	o 13256
334.21/327.16	o 13255
334.21/327.16	o 13248
334.21/327.17	o 13244
337.42/330.32	o 13222
337.42/330.35	o 13214
337.52/330.46	o 13210
337.52/330.47	o 13209
337.52/330.48	o 13205
337.52/330.48	o 13201
337.52/330.49	o 13199
341.91/334.80	o 13166
341.91/334.80	o 13161
341.91/334.80	o 13122
341.91/334.80	o 13100
341.91/334.81	o 13088
341.91/334.88	o 13073
341.91/334.88	o 13071
342.11/335.02	o 13070
342.11/335.05	o 13065
342.42/335.39	o 13064
342.91/335.84	o 13062
342.91/335.87	o 13060
342.91/335.88	o 13059
342.91/335.88	o 13056
343.11/336.07	o 13050
343.21/336.10	o 13048
343.21/336.10	o 13045
343.71/336.65	o 13041
343.81/336.74	o 13035
343.81/336.74	o 13031
344.01/336.97	o 13029
344.14/337.01	o 13024
345.74/338.68	o 13022
345.74/338.68	o 13020
345.74/338.68	o 13017
345.74/338.69	o 13016
345.74/338.69	o 13014
346.64/339.54	o 13003
346.64/339.56	o 13002
346.64/339.56	o 13001
346.64/339.56	o 13000
347.94/340.84	o 12997
348.14/341.07	o 12996
348.24/341.10	o 12993
350.65/343.55	o 12992
350.65/343.55	o 12986
350.65/343.55	o 12981
350.75/343.63	o 12979
350.75/343.63	o 12978
360.35/353.20	o 12976
360.35/353.20	o 12974
360.35/353.20	o 12971
360.35/353.21	o 12959
360.35/353.21	o 12949
360.35/353.21	o 12948
360.35/353.21	o 12947
360.35/353.21	o 12942
360.35/353.21	o 12940
360.35/353.23	o 12924
360.35/353.23	o 12901
360.35/353.24	o 12895
360.35/353.24	o 12886
360.35/353.24	o 12882
360.35/353.24	o 12879
360.35/353.25	o 12877
360.35/353.29	o 12874
361.05/353.97	o 12873
361.85/354.75	o 12868
362.05/354.99	o 12860
375.48/368.34	o 12856
375.48/368.34	o 12854
375.48/368.34	o 12852
375.48/368.37	o 12851
375.48/368.37	o 12849
375.48/368.37	o 12824
375.48/368.37	o 12821
375.48/368.38	o 12806
375.48/368.38	o 12805
375.48/368.38	o 12803
375.58/368.42	o 12802
375.58/368.42	o 12800
375.58/368.42	o 12799
375.58/368.42	o 12798
375.58/368.43	o 12794
375.58/368.43	o 12791
375.68/368.59	o 12788
375.68/368.59	o 12784
375.68/368.59	o 12782
375.78/368.69	o 12781
375.78/368.69	o 12780
375.78/368.70	o 12775
375.88/368.70	o 12774
375.88/368.71	o 12768
375.88/368.71	o 12767
375.88/368.71	o 12750
375.88/368.71	o 12749
376.48/369.37	o 12741
376.48/369.38	o 12738
376.48/369.38	o 12735
376.59/369.42	o 12731
376.59/369.44	o 12728
376.59/369.44	o 12726
376.68/369.52	o 12725
379.09/371.98	o 12688
379.09/371.98	o 12669
379.09/371.98	o 12667
379.19/372.00	o 12666
379.60/372.45	o 12663
379.60/372.45	o 12661
379.60/372.45	o 12657
379.60/372.45	o 12655
379.69/372.50	o 12653
379.69/372.50	o 12638
379.69/372.50	o 12636
379.69/372.51	o 12635
379.69/372.51	o 12633
379.69/372.51	o 12631
379.69/372.52	o 12630
379.69/372.52	o 12628
379.69/372.53	o 12627
379.69/372.56	o 12618
379.69/372.56	o 12616
380.19/373.00	o 12613
380.19/373.00	o 12611
380.19/373.01	o 12602
380.19/373.01	o 12597
380.19/373.01	o 12594
380.19/373.01	o 12591
380.19/373.01	o 12589
380.39/373.22	o 12588
380.39/373.22	o 12586
380.39/373.22	o 12585
380.39/373.22	o 12583
380.39/373.25	o 12582
380.39/373.25	o 12581
380.39/373.25	o 12579
380.39/373.25	o 12577
381.50/374.33	o 12576
381.50/374.33	o 12573
381.50/374.33	o 12569
381.50/374.35	o 12568
382.60/375.43	o 12561
382.60/375.43	o 12557
382.60/375.44	o 12549
382.60/375.44	o 12545
382.60/375.44	o 12532
382.60/375.44	o 12524
382.99/375.87	o 12520
382.99/375.88	o 12504
382.99/375.89	o 12502
573.12/565.66	o 12501
573.32/565.86	o 12500
590.47/582.94	o 12497
590.47/582.94	o 12492
590.47/582.95	o 12489
590.57/583.02	o 12488
598.37/590.80	o 12486
599.78/592.24	o 12485
603.99/596.49	o 12483
603.99/596.49	o 12481
604.08/596.50	o 12480
604.08/596.50	o 12479
604.18/596.63	o 12478
604.18/596.65	o 12477
608.08/600.52	o 12476
608.08/600.52	o 12461
608.08/600.52	o 12460
608.08/600.52	o 12457
608.08/600.53	o 12451
608.38/600.81	o 12450
608.99/601.44	o 12448
608.99/601.44	o 12446
610.18/602.60	o 12433
610.18/602.60	o 12429
610.18/602.60	o 12411
610.18/602.60	o 12408
610.18/602.62	o 12407
610.18/602.62	o 12406
610.18/602.62	o 12396
610.18/602.64	o 12393
610.38/602.85	o 12388
610.48/602.96	o 12384
610.68/603.13	o 12383
610.68/603.13	o 12379
610.68/603.13	o 12376
610.68/603.14	o 12374
610.68/603.14	o 12370
610.68/603.14	o 12369
610.68/603.14	o 12365
611.51/603.92	o 12364
611.51/603.93	o 12363
611.51/603.93	o 12358
611.51/603.93	o 12357
611.51/603.93	o 12352
611.61/604.04	o 12341
611.61/604.04	o 12336
611.61/604.04	o 12335
611.61/604.04	o 12319
648.91/641.20	o 12313
648.91/641.27	o 12312
648.91/641.27	o 12311
648.91/641.28	o 12309
649.21/641.54	o 12304
656.94/649.23	o 12298
656.94/649.24	o 12297
676.40/668.68	o 12296
676.70/668.99	o 12295
677.21/669.45	o 12293
677.21/669.45	o 12282
678.70/670.98	o 12241
678.70/670.98	o 12224
678.70/670.99	o 12221
678.70/670.99	o 12220
678.70/670.99	o 12211
680.00/672.30	o 12205
680.00/672.30	o 12202
680.00/672.30	o 12200
680.21/672.42	o 12198
680.30/672.55	o 12196
680.30/672.55	o 12190
680.50/672.76	o 12189
680.50/672.76	o 12175
681.30/673.56	o 12174
681.90/674.12	o 12167
681.90/674.13	o 12165
681.90/674.14	o 12164
684.43/676.65	o 12161
684.43/676.65	o 12159
684.43/676.65	o 12129
684.43/676.66	o 12112
684.43/676.66	o 12111
684.43/676.67	o 12095
684.43/676.67	o 12094
684.43/676.69	o 12090
684.43/676.69	o 12084
684.43/676.70	o 12083
684.93/677.19	o 12053
684.93/677.20	o 12052
685.03/677.20	o 12033
685.03/677.20	o 12032
685.03/677.22	o 12013
685.03/677.22	o 12012
685.03/677.24	o 11992
685.03/677.24	o 11991
685.14/677.33	o 11979
685.14/677.33	o 11978
685.14/677.37	o 11971
685.14/677.37	o 11970
685.14/677.38	o 11969
686.14/678.37	o 11965
686.14/678.37	o 11962
686.14/678.37	o 11961
686.24/678.42	o 11959
687.33/679.57	o 11958
693.96/686.10	o 11949
693.96/686.10	o 11946
693.96/686.11	o 11945
693.96/686.11	o 11931
693.96/686.12	o 11914
693.96/686.19	o 11913
694.46/686.65	o 11903
694.46/686.65	o 11902
694.46/686.65	o 11896
694.46/686.67	o 11895
694.76/686.96	o 11894
694.76/686.98	o 11893
695.56/687.71	o 11847
695.56/687.71	o 11836
695.56/687.71	o 11834
695.56/687.73	o 11824
695.56/687.73	o 11823
695.56/687.73	o 11813
695.56/687.74	o 11812
695.66/687.80	o 11804
695.66/687.82	o 11803
695.66/687.88	o 11802
695.76/687.90	o 11801
695.76/687.97	o 11797
695.96/688.15	o 11794
695.96/688.16	o 11786
695.96/688.16	o 11780
695.96/688.16	o 11769
695.96/688.16	o 11761
695.96/688.17	o 11760
695.96/688.19	o 11754
695.96/688.19	o 11753
696.06/688.20	o 11752
696.17/688.32	o 11748
696.36/688.50	o 11746
696.36/688.50	o 11740
696.36/688.50	o 11725
696.36/688.50	o 11709
696.36/688.50	o 11707
696.36/688.50	o 11703
696.36/688.51	o 11699
696.36/688.51	o 11695
696.36/688.51	o 11694
696.36/688.51	o 11688
696.36/688.51	o 11684
696.36/688.52	o 11683
696.36/688.54	o 11681
696.36/688.55	o 11675
696.36/688.55	o 11671
696.36/688.56	o 11670
696.56/688.78	o 11666
696.56/688.78	o 11665
696.66/688.81	o 11664
696.66/688.88	o 11663
696.66/688.88	o 11662
696.76/688.93	o 11658
698.17/690.33	o 11645
698.17/690.35	o 11642
698.17/690.35	o 11641
698.17/690.35	o 11611
698.17/690.35	o 11610
698.17/690.35	o 11602
698.17/690.36	o 11597
698.27/690.41	o 11593
699.07/691.23	o 11591
699.07/691.23	o 11586
699.37/691.56	o 11582
699.87/692.01	o 11581
699.87/692.01	o 11577
701.18/693.35	o 11575
702.10/694.20	o 11572
702.10/694.20	o 11569
702.31/694.42	o 11566
702.60/694.76	o 11552
702.80/694.90	o 11549
703.80/695.93	o 11548
704.40/696.56	o 11547
704.50/696.63	o 11536
704.50/696.63	o 11535
705.40/697.52	o 11523
706.00/698.14	o 11520
706.00/698.14	o 11518
706.00/698.15	o 11516
706.00/698.15	o 11506
706.00/698.15	o 11505
706.00/698.15	o 11503
706.00/698.15	o 11501
708.80/700.94	o 11500
708.80/700.95	o 11490
708.80/700.98	o 11486
708.80/700.98	o 11482
708.80/700.98	o 11477
708.80/700.98	o 11475
708.90/701.00	o 11454
708.90/701.01	o 11452
708.90/701.03	o 11451
708.90/701.05	o 11424
708.90/701.05	o 11423
708.90/701.05	o 11422
708.90/701.05	o 11421
708.90/701.06	o 11418
708.90/701.06	o 11409
708.90/701.06	o 11408
708.90/701.07	o 11401
708.90/701.07	o 11400
709.00/701.15	o 11396
709.00/701.15	o 11395
709.00/701.16	o 11371
709.00/701.16	o 11370
709.10/701.26	o 11368
709.10/701.26	o 11367
710.63/702.73	o 11363
710.63/702.73	o 11362
710.63/702.73	o 11358
710.63/702.73	o 11357
719.17/711.23	o 11351
719.47/711.54	o 11345
758.73/750.61	o 11342
758.73/750.61	o 11336
758.73/750.61	o 11332
758.73/750.61	o 11326
759.13/751.00	o 11321
759.33/751.29	o 11318
759.43/751.32	o 11315
759.43/751.32	o 11304
759.43/751.32	o 11299
759.63/751.51	o 11298
759.63/751.51	o 11297
759.63/751.51	o 11294
759.63/751.51	o 11283
759.63/751.51	o 11278
759.63/751.53	o 11276
759.63/751.53	o 11271
759.63/751.59	o 11270
759.63/751.59	o 11265
759.63/751.59	o 11255
759.73/751.63	o 11253
761.44/753.38	o 11252
761.83/753.78	o 11250
761.93/753.80	o 11248
761.93/753.89	o 11247
762.13/754.00	o 11245
762.13/754.07	o 11244
762.13/754.08	o 11237
762.44/754.39	o 11236
762.54/754.48	o 11235
762.54/754.49	o 11233
1368.91/1356.02	o 11232
1368.91/1356.02	o 11230
1368.91/1356.02	o 11229
1368.91/1356.02	o 11227
1404.52/1391.20	o 11225
1404.52/1391.20	o 11222
1404.52/1391.20	o 11221
1408.42/1395.04	o 11218
1408.42/1395.05	o 11215
1409.88/1396.41	o 11207
1409.97/1396.54	o 11196
1410.07/1396.60	o 11192
1410.07/1396.60	o 11191
1410.07/1396.65	o 11185
1410.07/1396.67	o 11184
1410.17/1396.75	o 11173
1410.47/1397.03	o 11172
1412.62/1399.14	o 11166
1412.62/1399.15	o 11165
1412.62/1399.15	o 11155
1412.62/1399.17	o 11149
1412.62/1399.17	o 11148
1412.83/1399.33	o 11145
1413.42/1399.96	o 11142
1413.42/1399.96	o 11138
1414.35/1400.85	o 11133
1414.45/1400.94	o 11132
1414.45/1400.94	o 11121
1414.45/1400.94	o 11114
1432.58/1418.75	o 11111
1434.01/1420.18	o 11109
1434.11/1420.28	o 11108
1434.11/1420.28	o 11106
1435.35/1421.49	o 11103
1435.65/1421.78	o 11101
1435.65/1421.78	o 11100
1435.75/1421.80	o 11099
1435.75/1421.80	o 11098
1435.75/1421.84	o 11091
1435.75/1421.87	o 11087
1435.75/1421.87	o 11086
1435.75/1421.87	o 11085
1435.75/1421.87	o 11084
1435.75/1421.87	o 11077
1435.85/1421.96	o 11076
1435.85/1421.96	o 11075
1435.85/1421.96	o 11074
1435.95/1422.00	o 11072
1435.95/1422.00	o 11071
1436.55/1422.66	o 11070
1436.55/1422.66	o 11069
1436.55/1422.66	o 11068
1436.85/1422.90	o 11066
2310.37/2288.69	o 11062
2346.04/2324.08	o 11061
2381.64/2359.33	o 11059
2381.64/2359.37	o 11058
2400.08/2377.60	s SATISFIABLE
2400.08/2377.60	v <instantiation>
2400.08/2377.60	v 	<list>
2400.08/2377.60	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]
2400.08/2377.60	v 	</list>
2400.08/2377.60	v 	<values>
2400.08/2377.60	v 		30 32 51 18 14 21 21 40 18 24 16 43 157 2 15 8 113 1 14 14 4 18 29 7 32 242 19 13 90 64 146 218 17 24 137 0 188 6 92 29 1 15 7 133 99 0 3 3 20 9 177 95 13 0 4 14 17 5 6 116 23 181 55 15 115 7 247 2 20 239 12 175 23 159 23 9 33 198 192 30 33 11 9 20 9 118 11 77 7 47 4 60 9 39 6 238 20 37 27 17 61 36 13 181 41 10 16 30 7 10 6 5 15 19 51 4 18 11 228 143 24 238 31 50 234 8 21 1 3 10 3 11 12 4 22 1 2 10 1 26 39 23 10 2 2 25 28 45 109 2 12 135 22 33 21 29 13 10 19 31 30 5 44 32 18 164 40 48 6 140 1 26 38 9 19 33 12 176 1 28 210 5 7 29 8 13 11 25 219 19 44 5 13 24 0 27 3 34 6 36 27 6 26 8 80 4 14 14 17 237 8 85 19 3 14 212 227 1 3 8 231 7 23 11 16 16 25 77 0 25 15 209 15 22 5 5 10 10 26 2 21 8 2 5 3 12 22 1 43 22 
2400.08/2377.60	v 	</values>
2400.08/2377.60	v </instantiation>

Verifier Data

OK	11058

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4290463-1532236720/watcher-4290463-1532236720 -o /tmp/evaluation-result-4290463-1532236720/solver-4290463-1532236720 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node105-1532224841-26942 --watchdog 2560 java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 1731929616 --timelimit 2400 --memlimit 11000 --nbcore 4 HOME/instance-4290463-1532236720.xml 

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

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

solver pid=28132, runsolver pid=28129

[startup+0.100142 s]*
/proc/loadavg: 1.63 1.60 1.59 3/215 28147
/proc/meminfo: memFree=15044796/32770624 swapFree=67108860/67108860
[pid=28132] ppid=28129 vsize=14082740 memory=31376 CPUtime=0.12 cores=1,3,5,7
/proc/28132/stat : 28132 (java) S 28129 28132 26910 0 -1 1077944320 6756 0 0 0 11 1 0 0 20 0 15 0 41235222 14420725760 7844 33554432000 4194304 4196468 140736720449152 140736720431696 140003692773111 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22757376 140736720450632 140736720450825 140736720450825 140736720453583 0
/proc/28132/statm: 3520685 7844 3156 1 0 3482761 0
[pid=28132/tid=28134] ppid=28129 vsize=14082740 memory=-8701690554792054400 CPUtime=0.09 cores=1,3,5,7
/proc/28132/task/28134/stat : 28134 (java) R 28129 28132 26910 0 -1 4202560 4799 0 0 0 8 1 0 0 20 0 15 0 41235223 14420725760 7844 33554432000 4194304 4196468 140736720449152 140003696989664 140003676853598 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22757376 140736720450632 140736720450825 140736720450825 140736720453583 0
[pid=28132/tid=28135] ppid=28129 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28132/task/28135/stat : 28135 (java) S 28129 28132 26910 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41235224 14420725760 7844 33554432000 4194304 4196468 140736720449152 140003288263312 140003692783317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22757376 140736720450632 140736720450825 140736720450825 140736720453583 0
[pid=28132/tid=28136] ppid=28129 vsize=14082740 memory=140229329008256 CPUtime=0 cores=1,3,5,7
/proc/28132/task/28136/stat : 28136 (java) S 28129 28132 26910 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41235224 14420725760 7844 33554432000 4194304 4196468 140736720449152 140003287210512 140003692783317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22757376 140736720450632 140736720450825 140736720450825 140736720453583 0
[pid=28132/tid=28137] ppid=28129 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28132/task/28137/stat : 28137 (java) S 28129 28132 26910 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41235224 14420725760 7844 33554432000 4194304 4196468 140736720449152 140003286157712 140003692783317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22757376 140736720450632 140736720450825 140736720450825 140736720453583 0
[pid=28132/tid=28138] ppid=28129 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28132/task/28138/stat : 28138 (java) S 28129 28132 26910 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 41235224 14420725760 7844 33554432000 4194304 4196468 140736720449152 140003285104912 140003692783317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22757376 140736720450632 140736720450825 140736720450825 140736720453583 0
[pid=28132/tid=28139] ppid=28129 vsize=14082740 memory=140229329008256 CPUtime=0 cores=1,3,5,7
/proc/28132/task/28139/stat : 28139 (java) S 28129 28132 26910 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 41235225 14420725760 7844 33554432000 4194304 4196468 140736720449152 140003167370096 140003692784258 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22757376 140736720450632 140736720450825 140736720450825 140736720453583 0
[pid=28132/tid=28140] ppid=28129 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28132/task/28140/stat : 28140 (java) S 28129 28132 26910 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 41235225 14420725760 7844 33554432000 4194304 4196468 140736720449152 140003166316064 140003692783317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22757376 140736720450632 140736720450825 140736720450825 140736720453583 0
[pid=28132/tid=28141] ppid=28129 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28132/task/28141/stat : 28141 (java) S 28129 28132 26910 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 41235226 14420725760 7844 33554432000 4194304 4196468 140736720449152 140003165263216 140003692783317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22757376 140736720450632 140736720450825 140736720450825 140736720453583 0
[pid=28132/tid=28142] ppid=28129 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28132/task/28142/stat : 28142 (java) S 28129 28132 26910 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41235228 14420725760 7844 33554432000 4194304 4196468 140736720449152 140003164211536 140003692791707 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22757376 140736720450632 140736720450825 140736720450825 140736720453583 0
[pid=28132/tid=28143] ppid=28129 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28132/task/28143/stat : 28143 (java) S 28129 28132 26910 0 -1 1077944384 306 0 0 0 0 0 0 0 20 0 15 0 41235228 14420725760 7844 33554432000 4194304 4196468 140736720449152 140003163158896 140003692784258 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22757376 140736720450632 140736720450825 140736720450825 140736720453583 0
[pid=28132/tid=28144] ppid=28129 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28132/task/28144/stat : 28144 (java) S 28129 28132 26910 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41235228 14420725760 7844 33554432000 4194304 4196468 140736720449152 140003162106096 140003692784258 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22757376 140736720450632 140736720450825 140736720450825 140736720453583 0
[pid=28132/tid=28145] ppid=28129 vsize=14082740 memory=140229329008256 CPUtime=0.01 cores=1,3,5,7
/proc/28132/task/28145/stat : 28145 (java) S 28129 28132 26910 0 -1 1077944384 271 0 0 0 1 0 0 0 20 0 15 0 41235228 14420725760 7844 33554432000 4194304 4196468 140736720449152 140003161053296 140003692784258 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22757376 140736720450632 140736720450825 140736720450825 140736720453583 0
[pid=28132/tid=28146] ppid=28129 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28132/task/28146/stat : 28146 (java) S 28129 28132 26910 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41235228 14420725760 7844 33554432000 4194304 4196468 140736720449152 140003160000736 140003692783317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22757376 140736720450632 140736720450825 140736720450825 140736720453583 0
[pid=28132/tid=28147] ppid=28129 vsize=14082740 memory=140229329008256 CPUtime=0 cores=1,3,5,7
/proc/28132/task/28147/stat : 28147 (java) S 28129 28132 26910 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41235228 14420725760 7844 33554432000 4194304 4196468 140736720449152 140003158949040 140003692784258 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22757376 140736720450632 140736720450825 140736720450825 140736720453583 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 31376 KiB

[startup+0.214205 s]*
/proc/loadavg: 1.63 1.60 1.59 5/215 28147
/proc/meminfo: memFree=15028644/32770624 swapFree=67108860/67108860
[pid=28132] ppid=28129 vsize=14082740 memory=47172 CPUtime=0.31 cores=1,3,5,7
/proc/28132/stat : 28132 (java) S 28129 28132 26910 0 -1 1077944320 10424 0 0 0 29 2 0 0 20 0 15 0 41235222 14420725760 11793 33554432000 4194304 4196468 140736720449152 140736720431696 140003692773111 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22757376 140736720450632 140736720450825 140736720450825 140736720453583 0
/proc/28132/statm: 3520685 11793 3363 1 0 3482761 0
[pid=28132/tid=28134] ppid=28129 vsize=14082740 memory=7022364594140610616 CPUtime=0.19 cores=1,3,5,7
/proc/28132/task/28134/stat : 28134 (java) S 28129 28132 26910 0 -1 1077944384 8127 0 0 0 18 1 0 0 20 0 15 0 41235223 14420725760 11793 33554432000 4194304 4196468 140736720449152 140003697001152 140003692783317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22757376 140736720450632 140736720450825 140736720450825 140736720453583 0
[pid=28132/tid=28135] ppid=28129 vsize=14082740 memory=342 CPUtime=0 cores=1,3,5,7
/proc/28132/task/28135/stat : 28135 (java) S 28129 28132 26910 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41235224 14420725760 11793 33554432000 4194304 4196468 140736720449152 140003288263312 140003692783317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22757376 140736720450632 140736720450825 140736720450825 140736720453583 0
[pid=28132/tid=28136] ppid=28129 vsize=14082740 memory=140229329219785 CPUtime=0 cores=1,3,5,7
/proc/28132/task/28136/stat : 28136 (java) S 28129 28132 26910 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41235224 14420725760 11793 33554432000 4194304 4196468 140736720449152 140003287210512 140003692783317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22757376 140736720450632 140736720450825 140736720450825 140736720453583 0
[pid=28132/tid=28137] ppid=28129 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28132/task/28137/stat : 28137 (java) S 28129 28132 26910 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41235224 14420725760 11793 33554432000 4194304 4196468 140736720449152 140003286157712 140003692783317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22757376 140736720450632 140736720450825 140736720450825 140736720453583 0
[pid=28132/tid=28138] ppid=28129 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28132/task/28138/stat : 28138 (java) S 28129 28132 26910 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 41235224 14420725760 11793 33554432000 4194304 4196468 140736720449152 140003285104912 140003692783317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22757376 140736720450632 140736720450825 140736720450825 140736720453583 0
[pid=28132/tid=28139] ppid=28129 vsize=14082740 memory=140229329008256 CPUtime=0 cores=1,3,5,7
/proc/28132/task/28139/stat : 28139 (java) S 28129 28132 26910 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 41235225 14420725760 11793 33554432000 4194304 4196468 140736720449152 140003167370096 140003692784258 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22757376 140736720450632 140736720450825 140736720450825 140736720453583 0
[pid=28132/tid=28140] ppid=28129 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28132/task/28140/stat : 28140 (java) S 28129 28132 26910 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 41235225 14420725760 11793 33554432000 4194304 4196468 140736720449152 140003166316064 140003692783317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22757376 140736720450632 140736720450825 140736720450825 140736720453583 0
[pid=28132/tid=28141] ppid=28129 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28132/task/28141/stat : 28141 (java) S 28129 28132 26910 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 41235226 14420725760 11793 33554432000 4194304 4196468 140736720449152 140003165263216 140003692783317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22757376 140736720450632 140736720450825 140736720450825 140736720453583 0
[pid=28132/tid=28142] ppid=28129 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28132/task/28142/stat : 28142 (java) S 28129 28132 26910 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41235228 14420725760 11793 33554432000 4194304 4196468 140736720449152 140003164211536 140003692791707 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22757376 140736720450632 140736720450825 140736720450825 140736720453583 0
[pid=28132/tid=28143] ppid=28129 vsize=14082740 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/28132/task/28143/stat : 28143 (java) R 28129 28132 26910 0 -1 4202560 499 0 0 0 2 0 0 0 20 0 15 0 41235228 14420725760 11793 33554432000 4194304 4196468 140736720449152 140003163158992 140003676272259 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22757376 140736720450632 140736720450825 140736720450825 140736720453583 0
[pid=28132/tid=28144] ppid=28129 vsize=14082740 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/28132/task/28144/stat : 28144 (java) R 28129 28132 26910 0 -1 1077944384 113 0 0 0 1 0 0 0 20 0 15 0 41235228 14420725760 11793 33554432000 4194304 4196468 140736720449152 140003162099120 140003692783317 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22757376 140736720450632 140736720450825 140736720450825 140736720453583 0
[pid=28132/tid=28145] ppid=28129 vsize=14082740 memory=140229329008256 CPUtime=0.06 cores=1,3,5,7
/proc/28132/task/28145/stat : 28145 (java) S 28129 28132 26910 0 -1 1077944384 303 0 0 0 6 0 0 0 20 0 15 0 41235228 14420725760 11793 33554432000 4194304 4196468 140736720449152 140003161053296 140003692784258 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22757376 140736720450632 140736720450825 140736720450825 140736720453583 0
[pid=28132/tid=28146] ppid=28129 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28132/task/28146/stat : 28146 (java) S 28129 28132 26910 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41235228 14420725760 11793 33554432000 4194304 4196468 140736720449152 140003160000736 140003692783317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22757376 140736720450632 140736720450825 140736720450825 140736720453583 0
[pid=28132/tid=28147] ppid=28129 vsize=14082740 memory=140229329008256 CPUtime=0 cores=1,3,5,7
/proc/28132/task/28147/stat : 28147 (java) S 28129 28132 26910 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41235228 14420725760 11793 33554432000 4194304 4196468 140736720449152 140003158949040 140003692784258 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22757376 140736720450632 140736720450825 140736720450825 140736720453583 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 47172 KiB

[startup+0.310764 s]*
/proc/loadavg: 1.90 1.65 1.61 3/215 28147
/proc/meminfo: memFree=15025356/32770624 swapFree=67108860/67108860
[pid=28132] ppid=28129 vsize=14082740 memory=50408 CPUtime=0.45 cores=1,3,5,7
/proc/28132/stat : 28132 (java) S 28129 28132 26910 0 -1 1077944320 10823 0 0 0 42 3 0 0 20 0 15 0 41235222 14420725760 12602 33554432000 4194304 4196468 140736720449152 140736720431696 140003692773111 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22757376 140736720450632 140736720450825 140736720450825 140736720453583 0
/proc/28132/statm: 3520685 12602 3366 1 0 3482761 0
[pid=28132/tid=28134] ppid=28129 vsize=14082740 memory=7311146985107750967 CPUtime=0.3 cores=1,3,5,7
/proc/28132/task/28134/stat : 28134 (java) R 28129 28132 26910 0 -1 4202560 8482 0 0 0 28 2 0 0 20 0 15 0 41235223 14420725760 12602 33554432000 4194304 4196468 140736720449152 140003696962384 140003676853628 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22757376 140736720450632 140736720450825 140736720450825 140736720453583 0
[pid=28132/tid=28135] ppid=28129 vsize=14082740 memory=288230600413020183 CPUtime=0 cores=1,3,5,7
/proc/28132/task/28135/stat : 28135 (java) S 28129 28132 26910 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41235224 14420725760 12602 33554432000 4194304 4196468 140736720449152 140003288263312 140003692783317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22757376 140736720450632 140736720450825 140736720450825 140736720453583 0
[pid=28132/tid=28136] ppid=28129 vsize=14082740 memory=140229329226382 CPUtime=0 cores=1,3,5,7
/proc/28132/task/28136/stat : 28136 (java) S 28129 28132 26910 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41235224 14420725760 12602 33554432000 4194304 4196468 140736720449152 140003287210512 140003692783317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22757376 140736720450632 140736720450825 140736720450825 140736720453583 0
[pid=28132/tid=28137] ppid=28129 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28132/task/28137/stat : 28137 (java) S 28129 28132 26910 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41235224 14420725760 12602 33554432000 4194304 4196468 140736720449152 140003286157712 140003692783317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22757376 140736720450632 140736720450825 140736720450825 140736720453583 0
[pid=28132/tid=28138] ppid=28129 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28132/task/28138/stat : 28138 (java) S 28129 28132 26910 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 41235224 14420725760 12602 33554432000 4194304 4196468 140736720449152 140003285104912 140003692783317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22757376 140736720450632 140736720450825 140736720450825 140736720453583 0
[pid=28132/tid=28139] ppid=28129 vsize=14082740 memory=140229329008256 CPUtime=0 cores=1,3,5,7
/proc/28132/task/28139/stat : 28139 (java) S 28129 28132 26910 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 41235225 14420725760 12602 33554432000 4194304 4196468 140736720449152 140003167370096 140003692784258 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22757376 140736720450632 140736720450825 140736720450825 140736720453583 0
[pid=28132/tid=28140] ppid=28129 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28132/task/28140/stat : 28140 (java) S 28129 28132 26910 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 41235225 14420725760 12602 33554432000 4194304 4196468 140736720449152 140003166316064 140003692783317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22757376 140736720450632 140736720450825 140736720450825 140736720453583 0
[pid=28132/tid=28141] ppid=28129 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28132/task/28141/stat : 28141 (java) S 28129 28132 26910 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 41235226 14420725760 12602 33554432000 4194304 4196468 140736720449152 140003165263216 140003692783317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22757376 140736720450632 140736720450825 140736720450825 140736720453583 0
[pid=28132/tid=28142] ppid=28129 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28132/task/28142/stat : 28142 (java) S 28129 28132 26910 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41235228 14420725760 12602 33554432000 4194304 4196468 140736720449152 140003164211536 140003692791707 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22757376 140736720450632 140736720450825 140736720450825 140736720453583 0
[pid=28132/tid=28143] ppid=28129 vsize=14082740 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/28132/task/28143/stat : 28143 (java) S 28129 28132 26910 0 -1 1077944384 515 0 0 0 3 0 0 0 20 0 15 0 41235228 14420725760 12602 33554432000 4194304 4196468 140736720449152 140003163158896 140003692784258 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22757376 140736720450632 140736720450825 140736720450825 140736720453583 0
[pid=28132/tid=28144] ppid=28129 vsize=14082740 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/28132/task/28144/stat : 28144 (java) S 28129 28132 26910 0 -1 1077944384 118 0 0 0 2 0 0 0 20 0 15 0 41235228 14420725760 12602 33554432000 4194304 4196468 140736720449152 140003162106096 140003692784258 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22757376 140736720450632 140736720450825 140736720450825 140736720453583 0
[pid=28132/tid=28145] ppid=28129 vsize=14082740 memory=140229329008256 CPUtime=0.08 cores=1,3,5,7
/proc/28132/task/28145/stat : 28145 (java) S 28129 28132 26910 0 -1 1077944384 326 0 0 0 8 0 0 0 20 0 15 0 41235228 14420725760 12602 33554432000 4194304 4196468 140736720449152 140003161053296 140003692784258 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22757376 140736720450632 140736720450825 140736720450825 140736720453583 0
[pid=28132/tid=28146] ppid=28129 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28132/task/28146/stat : 28146 (java) S 28129 28132 26910 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41235228 14420725760 12602 33554432000 4194304 4196468 140736720449152 140003160000736 140003692783317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22757376 140736720450632 140736720450825 140736720450825 140736720453583 0
[pid=28132/tid=28147] ppid=28129 vsize=14082740 memory=140229329008256 CPUtime=0 cores=1,3,5,7
/proc/28132/task/28147/stat : 28147 (java) S 28129 28132 26910 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41235228 14420725760 12602 33554432000 4194304 4196468 140736720449152 140003158949040 140003692784258 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22757376 140736720450632 140736720450825 140736720450825 140736720453583 0
Current children cumulated CPU time: 0.45 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 50408 KiB

[startup+0.70076 s]
/proc/loadavg: 1.90 1.65 1.61 3/215 28147
/proc/meminfo: memFree=15000632/32770624 swapFree=67108860/67108860
[pid=28132] ppid=28129 vsize=14084808 memory=88740 CPUtime=0.99 cores=1,3,5,7
/proc/28132/stat : 28132 (java) S 28129 28132 26910 0 -1 1077944320 17626 0 0 0 94 5 0 0 20 0 15 0 41235222 14422843392 22185 33554432000 4194304 4196468 140736720449152 140736720431696 140003692773111 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22757376 140736720450632 140736720450825 140736720450825 140736720453583 0
/proc/28132/statm: 3521202 22185 3506 1 0 3483273 0
[pid=28132/tid=28134] ppid=28129 vsize=14084808 memory=1728 CPUtime=0.67 cores=1,3,5,7
/proc/28132/task/28134/stat : 28134 (java) R 28129 28132 26910 0 -1 4202560 14936 0 0 0 63 4 0 0 20 0 15 0 41235223 14422843392 22185 33554432000 4194304 4196468 140736720449152 140003696988016 140003676853598 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22757376 140736720450632 140736720450825 140736720450825 140736720453583 0
[pid=28132/tid=28135] ppid=28129 vsize=14084808 memory=796 CPUtime=0 cores=1,3,5,7
/proc/28132/task/28135/stat : 28135 (java) S 28129 28132 26910 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41235224 14422843392 22185 33554432000 4194304 4196468 140736720449152 140003288263312 140003692783317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22757376 140736720450632 140736720450825 140736720450825 140736720453583 0
[pid=28132/tid=28136] ppid=28129 vsize=14084808 memory=1012 CPUtime=0 cores=1,3,5,7
/proc/28132/task/28136/stat : 28136 (java) S 28129 28132 26910 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41235224 14422843392 22185 33554432000 4194304 4196468 140736720449152 140003287210512 140003692783317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22757376 140736720450632 140736720450825 140736720450825 140736720453583 0
[pid=28132/tid=28137] ppid=28129 vsize=14084808 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/28132/task/28137/stat : 28137 (java) S 28129 28132 26910 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41235224 14422843392 22185 33554432000 4194304 4196468 140736720449152 140003286157712 140003692783317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22757376 140736720450632 140736720450825 140736720450825 140736720453583 0
[pid=28132/tid=28138] ppid=28129 vsize=14084808 memory=1704 CPUtime=0 cores=1,3,5,7
/proc/28132/task/28138/stat : 28138 (java) S 28129 28132 26910 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 41235224 14422843392 22185 33554432000 4194304 4196468 140736720449152 140003285104912 140003692783317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22757376 140736720450632 140736720450825 140736720450825 140736720453583 0
[pid=28132/tid=28139] ppid=28129 vsize=14084808 memory=9924 CPUtime=0 cores=1,3,5,7
/proc/28132/task/28139/stat : 28139 (java) S 28129 28132 26910 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 41235225 14422843392 22185 33554432000 4194304 4196468 140736720449152 140003167370096 140003692784258 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22757376 140736720450632 140736720450825 140736720450825 140736720453583 0
[pid=28132/tid=28140] ppid=28129 vsize=14084808 memory=5368 CPUtime=0 cores=1,3,5,7
/proc/28132/task/28140/stat : 28140 (java) S 28129 28132 26910 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 41235225 14422843392 22185 33554432000 4194304 4196468 140736720449152 140003166316064 140003692783317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22757376 140736720450632 140736720450825 140736720450825 140736720453583 0
[pid=28132/tid=28141] ppid=28129 vsize=14084808 memory=1936 CPUtime=0 cores=1,3,5,7
/proc/28132/task/28141/stat : 28141 (java) S 28129 28132 26910 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 41235226 14422843392 22185 33554432000 4194304 4196468 140736720449152 140003165263216 140003692783317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22757376 140736720450632 140736720450825 140736720450825 140736720453583 0
[pid=28132/tid=28142] ppid=28129 vsize=14084808 memory=1196 CPUtime=0 cores=1,3,5,7
/proc/28132/task/28142/stat : 28142 (java) S 28129 28132 26910 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41235228 14422843392 22185 33554432000 4194304 4196468 140736720449152 140003164211536 140003692791707 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22757376 140736720450632 140736720450825 140736720450825 140736720453583 0
[pid=28132/tid=28143] ppid=28129 vsize=14084808 memory=6945208482816681536 CPUtime=0.08 cores=1,3,5,7
/proc/28132/task/28143/stat : 28143 (java) S 28129 28132 26910 0 -1 1077944384 668 0 0 0 8 0 0 0 20 0 15 0 41235228 14422843392 22185 33554432000 4194304 4196468 140736720449152 140003163158896 140003692784258 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22757376 140736720450632 140736720450825 140736720450825 140736720453583 0
[pid=28132/tid=28144] ppid=28129 vsize=14084808 memory=7811323491934034026 CPUtime=0.07 cores=1,3,5,7
/proc/28132/task/28144/stat : 28144 (java) S 28129 28132 26910 0 -1 1077944384 253 0 0 0 7 0 0 0 20 0 15 0 41235228 14422843392 22185 33554432000 4194304 4196468 140736720449152 140003162106096 140003692784258 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22757376 140736720450632 140736720450825 140736720450825 140736720453583 0
[pid=28132/tid=28145] ppid=28129 vsize=14084808 memory=5787213827113576551 CPUtime=0.15 cores=1,3,5,7
/proc/28132/task/28145/stat : 28145 (java) S 28129 28132 26910 0 -1 1077944384 388 0 0 0 15 0 0 0 20 0 15 0 41235228 14422843392 22185 33554432000 4194304 4196468 140736720449152 140003161053296 140003692784258 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22757376 140736720450632 140736720450825 140736720450825 140736720453583 0
[pid=28132/tid=28146] ppid=28129 vsize=14084808 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28132/task/28146/stat : 28146 (java) S 28129 28132 26910 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41235228 14422843392 22185 33554432000 4194304 4196468 140736720449152 140003160000736 140003692783317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22757376 140736720450632 140736720450825 140736720450825 140736720453583 0
[pid=28132/tid=28147] ppid=28129 vsize=14084808 memory=31396 CPUtime=0 cores=1,3,5,7
/proc/28132/task/28147/stat : 28147 (java) S 28129 28132 26910 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41235228 14422843392 22185 33554432000 4194304 4196468 140736720449152 140003158949040 140003692784258 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22757376 140736720450632 140736720450825 140736720450825 140736720453583 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 14084808 KiB
Current children cumulated memory: 88740 KiB

[startup+1.50077 s]
/proc/loadavg: 1.90 1.65 1.61 5/215 28147
/proc/meminfo: memFree=14881964/32770624 swapFree=67108860/67108860
[pid=28132] ppid=28129 vsize=14086856 memory=224588 CPUtime=3.5 cores=1,3,5,7
/proc/28132/stat : 28132 (java) S 28129 28132 26910 0 -1 1077944320 24728 0 0 0 341 9 0 0 20 0 15 0 41235222 14424940544 56147 33554432000 4194304 4196468 140736720449152 140736720431696 140003692773111 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22757376 140736720450632 140736720450825 140736720450825 140736720453583 0
/proc/28132/statm: 3521714 56147 3572 1 0 3483785 0
[pid=28132/tid=28134] ppid=28129 vsize=14086856 memory=0 CPUtime=1.44 cores=1,3,5,7
/proc/28132/task/28134/stat : 28134 (java) R 28129 28132 26910 0 -1 4202560 17476 0 0 0 139 5 0 0 20 0 15 0 41235223 14424940544 56147 33554432000 4194304 4196468 140736720449152 140003697005512 140003330886356 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22757376 140736720450632 140736720450825 140736720450825 140736720453583 0
[pid=28132/tid=28135] ppid=28129 vsize=14086856 memory=-6873162000112450758 CPUtime=0.01 cores=1,3,5,7
/proc/28132/task/28135/stat : 28135 (java) S 28129 28132 26910 0 -1 1077944384 122 0 0 0 1 0 0 0 20 0 15 0 41235224 14424940544 56147 33554432000 4194304 4196468 140736720449152 140003288263312 140003692783317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22757376 140736720450632 140736720450825 140736720450825 140736720453583 0
[pid=28132/tid=28136] ppid=28129 vsize=14086856 memory=-7088785026379990432 CPUtime=0 cores=1,3,5,7
/proc/28132/task/28136/stat : 28136 (java) S 28129 28132 26910 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 15 0 41235224 14424940544 56147 33554432000 4194304 4196468 140736720449152 140003287210512 140003692783317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22757376 140736720450632 140736720450825 140736720450825 140736720453583 0
[pid=28132/tid=28137] ppid=28129 vsize=14086856 memory=-7812193691855986592 CPUtime=0 cores=1,3,5,7
/proc/28132/task/28137/stat : 28137 (java) S 28129 28132 26910 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 15 0 41235224 14424940544 56147 33554432000 4194304 4196468 140736720449152 140003286157712 140003692783317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22757376 140736720450632 140736720450825 140736720450825 140736720453583 0
[pid=28132/tid=28138] ppid=28129 vsize=14086856 memory=-8990767739041718176 CPUtime=0.01 cores=1,3,5,7
/proc/28132/task/28138/stat : 28138 (java) S 28129 28132 26910 0 -1 1077944384 251 0 0 0 1 0 0 0 20 0 15 0 41235224 14424940544 56147 33554432000 4194304 4196468 140736720449152 140003285104912 140003692783317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22757376 140736720450632 140736720450825 140736720450825 140736720453583 0
[pid=28132/tid=28139] ppid=28129 vsize=14086856 memory=6944656425122700657 CPUtime=0 cores=1,3,5,7
/proc/28132/task/28139/stat : 28139 (java) S 28129 28132 26910 0 -1 1077944384 217 0 0 0 0 0 0 0 20 0 15 0 41235225 14424940544 56147 33554432000 4194304 4196468 140736720449152 140003167370096 140003692784258 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22757376 140736720450632 140736720450825 140736720450825 140736720453583 0

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

/proc/28132/task/28134/stat : 28134 (java) R 28129 28132 26910 0 -1 4202560 84879 0 0 0 225550 45 0 0 20 0 15 0 41235223 14429134848 632540 33554432000 4194304 4196468 140736720449152 140003697011136 140003340015983 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22757376 140736720450632 140736720450825 140736720450825 140736720453583 0
[pid=28132/tid=28135] ppid=28129 vsize=14090952 memory=7528 CPUtime=4.92 cores=1,3,5,7
/proc/28132/task/28135/stat : 28135 (java) S 28129 28132 26910 0 -1 1077944384 20488 0 0 0 454 38 0 0 20 0 15 0 41235224 14429134848 632540 33554432000 4194304 4196468 140736720449152 140003288263312 140003692783317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22757376 140736720450632 140736720450825 140736720450825 140736720453583 0
[pid=28132/tid=28136] ppid=28129 vsize=14090952 memory=844 CPUtime=4.89 cores=1,3,5,7
/proc/28132/task/28136/stat : 28136 (java) S 28129 28132 26910 0 -1 1077944384 26047 0 0 0 453 36 0 0 20 0 15 0 41235224 14429134848 632540 33554432000 4194304 4196468 140736720449152 140003287210512 140003692783317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22757376 140736720450632 140736720450825 140736720450825 140736720453583 0
[pid=28132/tid=28137] ppid=28129 vsize=14090952 memory=1796 CPUtime=4.9 cores=1,3,5,7
/proc/28132/task/28137/stat : 28137 (java) S 28129 28132 26910 0 -1 1077944384 24159 0 0 0 451 39 0 0 20 0 15 0 41235224 14429134848 632540 33554432000 4194304 4196468 140736720449152 140003286157712 140003692783317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22757376 140736720450632 140736720450825 140736720450825 140736720453583 0
[pid=28132/tid=28138] ppid=28129 vsize=14090952 memory=916 CPUtime=4.89 cores=1,3,5,7
/proc/28132/task/28138/stat : 28138 (java) S 28129 28132 26910 0 -1 1077944384 19585 0 0 0 455 34 0 0 20 0 15 0 41235224 14429134848 632540 33554432000 4194304 4196468 140736720449152 140003285104912 140003692783317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22757376 140736720450632 140736720450825 140736720450825 140736720453583 0
[pid=28132/tid=28139] ppid=28129 vsize=14090952 memory=3852 CPUtime=1.14 cores=1,3,5,7
/proc/28132/task/28139/stat : 28139 (java) S 28129 28132 26910 0 -1 1077944384 18253 0 0 0 98 16 0 0 20 0 15 0 41235225 14429134848 632540 33554432000 4194304 4196468 140736720449152 140003167370096 140003692784258 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22757376 140736720450632 140736720450825 140736720450825 140736720453583 0
[pid=28132/tid=28140] ppid=28129 vsize=14090952 memory=2588 CPUtime=0 cores=1,3,5,7
/proc/28132/task/28140/stat : 28140 (java) S 28129 28132 26910 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 41235225 14429134848 632540 33554432000 4194304 4196468 140736720449152 140003166316128 140003692783317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22757376 140736720450632 140736720450825 140736720450825 140736720453583 0
[pid=28132/tid=28141] ppid=28129 vsize=14090952 memory=2728 CPUtime=0 cores=1,3,5,7
/proc/28132/task/28141/stat : 28141 (java) S 28129 28132 26910 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 41235226 14429134848 632540 33554432000 4194304 4196468 140736720449152 140003165263232 140003692783317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22757376 140736720450632 140736720450825 140736720450825 140736720453583 0
[pid=28132/tid=28142] ppid=28129 vsize=14090952 memory=280458411785024 CPUtime=0 cores=1,3,5,7
/proc/28132/task/28142/stat : 28142 (java) S 28129 28132 26910 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41235228 14429134848 632540 33554432000 4194304 4196468 140736720449152 140003164211536 140003692791707 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22757376 140736720450632 140736720450825 140736720450825 140736720453583 0
[pid=28132/tid=28143] ppid=28129 vsize=14090952 memory=1408 CPUtime=2.56 cores=1,3,5,7
/proc/28132/task/28143/stat : 28143 (java) S 28129 28132 26910 0 -1 1077944384 9942 0 0 0 254 2 0 0 20 0 15 0 41235228 14429134848 632540 33554432000 4194304 4196468 140736720449152 140003163158896 140003692784258 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22757376 140736720450632 140736720450825 140736720450825 140736720453583 0
[pid=28132/tid=28144] ppid=28129 vsize=14090952 memory=3200 CPUtime=2.58 cores=1,3,5,7
/proc/28132/task/28144/stat : 28144 (java) S 28129 28132 26910 0 -1 1077944384 10341 0 0 0 257 1 0 0 20 0 15 0 41235228 14429134848 632540 33554432000 4194304 4196468 140736720449152 140003162106096 140003692784258 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22757376 140736720450632 140736720450825 140736720450825 140736720453583 0
[pid=28132/tid=28145] ppid=28129 vsize=14090952 memory=2529136 CPUtime=1.02 cores=1,3,5,7
/proc/28132/task/28145/stat : 28145 (java) S 28129 28132 26910 0 -1 1077944384 12518 0 0 0 100 2 0 0 20 0 15 0 41235228 14429134848 632540 33554432000 4194304 4196468 140736720449152 140003161053296 140003692784258 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22757376 140736720450632 140736720450825 140736720450825 140736720453583 0
[pid=28132/tid=28146] ppid=28129 vsize=14090952 memory=1404 CPUtime=0 cores=1,3,5,7
/proc/28132/task/28146/stat : 28146 (java) S 28129 28132 26910 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41235228 14429134848 632540 33554432000 4194304 4196468 140736720449152 140003160000736 140003692783317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22757376 140736720450632 140736720450825 140736720450825 140736720453583 0
[pid=28132/tid=28147] ppid=28129 vsize=14090952 memory=3296 CPUtime=0.9 cores=1,3,5,7
/proc/28132/task/28147/stat : 28147 (java) S 28129 28132 26910 0 -1 1077944384 1511 0 0 0 37 53 0 0 20 0 15 0 41235228 14429134848 632540 33554432000 4194304 4196468 140736720449152 140003158949040 140003692784258 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 10 0 0 6293624 6294260 22757376 140736720450632 140736720450825 140736720450825 140736720453583 0
Current children cumulated CPU time: 2283.85 s
Current children cumulated vsize: 14090952 KiB
Current children cumulated memory: 2530160 KiB

[startup+2322.3 s]*
/proc/loadavg: 1.43 1.48 1.50 3/215 28298
/proc/meminfo: memFree=12526460/32770624 swapFree=67108860/67108860
[pid=28132] ppid=28129 vsize=14090952 memory=2534244 CPUtime=2344.34 cores=1,3,5,7
/proc/28132/stat : 28132 (java) S 28129 28132 26910 0 -1 1077944320 232487 0 0 0 234179 255 0 0 20 0 15 0 41235222 14429134848 633561 33554432000 4194304 4196468 140736720449152 140736720431696 140003692773111 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22757376 140736720450632 140736720450825 140736720450825 140736720453583 0
/proc/28132/statm: 3522738 633561 3596 1 0 3484809 0
[pid=28132/tid=28134] ppid=28129 vsize=14090952 memory=9047017150487036571 CPUtime=2315.75 cores=1,3,5,7
/proc/28132/task/28134/stat : 28134 (java) R 28129 28132 26910 0 -1 4202560 85893 0 0 0 231530 45 0 0 20 0 15 0 41235223 14429134848 633561 33554432000 4194304 4196468 140736720449152 140003697011168 140003340473962 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22757376 140736720450632 140736720450825 140736720450825 140736720453583 0
[pid=28132/tid=28135] ppid=28129 vsize=14090952 memory=1398720917958146503 CPUtime=5.07 cores=1,3,5,7
/proc/28132/task/28135/stat : 28135 (java) S 28129 28132 26910 0 -1 1077944384 20911 0 0 0 469 38 0 0 20 0 15 0 41235224 14429134848 633561 33554432000 4194304 4196468 140736720449152 140003288263312 140003692783317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22757376 140736720450632 140736720450825 140736720450825 140736720453583 0
[pid=28132/tid=28136] ppid=28129 vsize=14090952 memory=15868 CPUtime=5.06 cores=1,3,5,7
/proc/28132/task/28136/stat : 28136 (java) S 28129 28132 26910 0 -1 1077944384 26435 0 0 0 469 37 0 0 20 0 15 0 41235224 14429134848 633561 33554432000 4194304 4196468 140736720449152 140003287210512 140003692783317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22757376 140736720450632 140736720450825 140736720450825 140736720453583 0
[pid=28132/tid=28137] ppid=28129 vsize=14090952 memory=4052 CPUtime=5.04 cores=1,3,5,7
/proc/28132/task/28137/stat : 28137 (java) S 28129 28132 26910 0 -1 1077944384 24791 0 0 0 465 39 0 0 20 0 15 0 41235224 14429134848 633561 33554432000 4194304 4196468 140736720449152 140003286157712 140003692783317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22757376 140736720450632 140736720450825 140736720450825 140736720453583 0
[pid=28132/tid=28138] ppid=28129 vsize=14090952 memory=18448 CPUtime=5.04 cores=1,3,5,7
/proc/28132/task/28138/stat : 28138 (java) S 28129 28132 26910 0 -1 1077944384 20074 0 0 0 470 34 0 0 20 0 15 0 41235224 14429134848 633561 33554432000 4194304 4196468 140736720449152 140003285104912 140003692783317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22757376 140736720450632 140736720450825 140736720450825 140736720453583 0
[pid=28132/tid=28139] ppid=28129 vsize=14090952 memory=8884 CPUtime=1.19 cores=1,3,5,7
/proc/28132/task/28139/stat : 28139 (java) S 28129 28132 26910 0 -1 1077944384 18608 0 0 0 102 17 0 0 20 0 15 0 41235225 14429134848 633561 33554432000 4194304 4196468 140736720449152 140003167370096 140003692784258 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22757376 140736720450632 140736720450825 140736720450825 140736720453583 0
[pid=28132/tid=28140] ppid=28129 vsize=14090952 memory=644 CPUtime=0 cores=1,3,5,7
/proc/28132/task/28140/stat : 28140 (java) S 28129 28132 26910 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 41235225 14429134848 633561 33554432000 4194304 4196468 140736720449152 140003166316128 140003692783317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22757376 140736720450632 140736720450825 140736720450825 140736720453583 0
[pid=28132/tid=28141] ppid=28129 vsize=14090952 memory=1792 CPUtime=0 cores=1,3,5,7
/proc/28132/task/28141/stat : 28141 (java) S 28129 28132 26910 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 41235226 14429134848 633561 33554432000 4194304 4196468 140736720449152 140003165263232 140003692783317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22757376 140736720450632 140736720450825 140736720450825 140736720453583 0
[pid=28132/tid=28142] ppid=28129 vsize=14090952 memory=960 CPUtime=0 cores=1,3,5,7
/proc/28132/task/28142/stat : 28142 (java) S 28129 28132 26910 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41235228 14429134848 633561 33554432000 4194304 4196468 140736720449152 140003164211536 140003692791707 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22757376 140736720450632 140736720450825 140736720450825 140736720453583 0
[pid=28132/tid=28143] ppid=28129 vsize=14090952 memory=1232 CPUtime=2.56 cores=1,3,5,7
/proc/28132/task/28143/stat : 28143 (java) S 28129 28132 26910 0 -1 1077944384 9946 0 0 0 254 2 0 0 20 0 15 0 41235228 14429134848 633561 33554432000 4194304 4196468 140736720449152 140003163158896 140003692784258 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22757376 140736720450632 140736720450825 140736720450825 140736720453583 0
[pid=28132/tid=28144] ppid=28129 vsize=14090952 memory=2344 CPUtime=2.58 cores=1,3,5,7
/proc/28132/task/28144/stat : 28144 (java) S 28129 28132 26910 0 -1 1077944384 10345 0 0 0 257 1 0 0 20 0 15 0 41235228 14429134848 633561 33554432000 4194304 4196468 140736720449152 140003162106096 140003692784258 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22757376 140736720450632 140736720450825 140736720450825 140736720453583 0
[pid=28132/tid=28145] ppid=28129 vsize=14090952 memory=928 CPUtime=1.02 cores=1,3,5,7
/proc/28132/task/28145/stat : 28145 (java) S 28129 28132 26910 0 -1 1077944384 12522 0 0 0 100 2 0 0 20 0 15 0 41235228 14429134848 633561 33554432000 4194304 4196468 140736720449152 140003161053296 140003692784258 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22757376 140736720450632 140736720450825 140736720450825 140736720453583 0
[pid=28132/tid=28146] ppid=28129 vsize=14090952 memory=1580 CPUtime=0 cores=1,3,5,7
/proc/28132/task/28146/stat : 28146 (java) S 28129 28132 26910 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41235228 14429134848 633561 33554432000 4194304 4196468 140736720449152 140003160000736 140003692783317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22757376 140736720450632 140736720450825 140736720450825 140736720453583 0
[pid=28132/tid=28147] ppid=28129 vsize=14090952 memory=2240 CPUtime=0.93 cores=1,3,5,7
/proc/28132/task/28147/stat : 28147 (java) S 28129 28132 26910 0 -1 1077944384 1537 0 0 0 38 55 0 0 20 0 15 0 41235228 14429134848 633561 33554432000 4194304 4196468 140736720449152 140003158949040 140003692784258 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 10 0 0 6293624 6294260 22757376 140736720450632 140736720450825 140736720450825 140736720453583 0
Current children cumulated CPU time: 2344.34 s
Current children cumulated vsize: 14090952 KiB
Current children cumulated memory: 2534244 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2377.6 s]
/proc/loadavg: 1.42 1.46 1.49 3/215 28300
/proc/meminfo: memFree=12525632/32770624 swapFree=67108860/67108860
[pid=28132] ppid=28129 vsize=14090952 memory=2535264 CPUtime=2400.08 cores=1,3,5,7
/proc/28132/stat : 28132 (java) S 28129 28132 26910 0 -1 1077944320 236115 0 0 0 239751 257 0 0 20 0 15 0 41235222 14429134848 633816 33554432000 4194304 4196468 140736720449152 140736720431696 140003692773111 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22757376 140736720450632 140736720450825 140736720450825 140736720453583 0
/proc/28132/statm: 3522738 633816 3596 1 0 3484809 0
[pid=28132/tid=28134] ppid=28129 vsize=14090952 memory=2535264 CPUtime=2370.85 cores=1,3,5,7
/proc/28132/task/28134/stat : 28134 (java) R 28129 28132 26910 0 -1 4202560 86983 0 0 0 237040 45 0 0 20 0 15 0 41235223 14429134848 633816 33554432000 4194304 4196468 140736720449152 140003697011248 140003340578292 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22757376 140736720450632 140736720450825 140736720450825 140736720453583 0
[pid=28132/tid=28135] ppid=28129 vsize=14090952 memory=2535264 CPUtime=5.22 cores=1,3,5,7
/proc/28132/task/28135/stat : 28135 (java) S 28129 28132 26910 0 -1 1077944384 21536 0 0 0 483 39 0 0 20 0 15 0 41235224 14429134848 633816 33554432000 4194304 4196468 140736720449152 140003288263312 140003692783317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22757376 140736720450632 140736720450825 140736720450825 140736720453583 0
[pid=28132/tid=28136] ppid=28129 vsize=14090952 memory=2535264 CPUtime=5.2 cores=1,3,5,7
/proc/28132/task/28136/stat : 28136 (java) S 28129 28132 26910 0 -1 1077944384 26947 0 0 0 483 37 0 0 20 0 15 0 41235224 14429134848 633816 33554432000 4194304 4196468 140736720449152 140003287210512 140003692783317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22757376 140736720450632 140736720450825 140736720450825 140736720453583 0
[pid=28132/tid=28137] ppid=28129 vsize=14090952 memory=280458413457008 CPUtime=5.2 cores=1,3,5,7
/proc/28132/task/28137/stat : 28137 (java) S 28129 28132 26910 0 -1 1077944384 25084 0 0 0 480 40 0 0 20 0 15 0 41235224 14429134848 633816 33554432000 4194304 4196468 140736720449152 140003286157712 140003692783317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22757376 140736720450632 140736720450825 140736720450825 140736720453583 0
[pid=28132/tid=28138] ppid=28129 vsize=14090952 memory=2535264 CPUtime=5.18 cores=1,3,5,7
/proc/28132/task/28138/stat : 28138 (java) S 28129 28132 26910 0 -1 1077944384 20624 0 0 0 483 35 0 0 20 0 15 0 41235224 14429134848 633816 33554432000 4194304 4196468 140736720449152 140003285104912 140003692783317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22757376 140736720450632 140736720450825 140736720450825 140736720453583 0
[pid=28132/tid=28139] ppid=28129 vsize=14090952 memory=2535264 CPUtime=1.23 cores=1,3,5,7
/proc/28132/task/28139/stat : 28139 (java) S 28129 28132 26910 0 -1 1077944384 19110 0 0 0 106 17 0 0 20 0 15 0 41235225 14429134848 633816 33554432000 4194304 4196468 140736720449152 140003167370096 140003692784258 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22757376 140736720450632 140736720450825 140736720450825 140736720453583 0
[pid=28132/tid=28140] ppid=28129 vsize=14090952 memory=2535264 CPUtime=0 cores=1,3,5,7
/proc/28132/task/28140/stat : 28140 (java) S 28129 28132 26910 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 41235225 14429134848 633816 33554432000 4194304 4196468 140736720449152 140003166316128 140003692783317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22757376 140736720450632 140736720450825 140736720450825 140736720453583 0
[pid=28132/tid=28141] ppid=28129 vsize=14090952 memory=2533216 CPUtime=0 cores=1,3,5,7
/proc/28132/task/28141/stat : 28141 (java) S 28129 28132 26910 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 41235226 14429134848 633816 33554432000 4194304 4196468 140736720449152 140003165263232 140003692783317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22757376 140736720450632 140736720450825 140736720450825 140736720453583 0
[pid=28132/tid=28142] ppid=28129 vsize=14090952 memory=2535264 CPUtime=0 cores=1,3,5,7
/proc/28132/task/28142/stat : 28142 (java) S 28129 28132 26910 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41235228 14429134848 633816 33554432000 4194304 4196468 140736720449152 140003164211536 140003692791707 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22757376 140736720450632 140736720450825 140736720450825 140736720453583 0
[pid=28132/tid=28143] ppid=28129 vsize=14090952 memory=2535264 CPUtime=2.56 cores=1,3,5,7
/proc/28132/task/28143/stat : 28143 (java) S 28129 28132 26910 0 -1 1077944384 9952 0 0 0 254 2 0 0 20 0 15 0 41235228 14429134848 633816 33554432000 4194304 4196468 140736720449152 140003163158896 140003692784258 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22757376 140736720450632 140736720450825 140736720450825 140736720453583 0
[pid=28132/tid=28144] ppid=28129 vsize=14090952 memory=1067380 CPUtime=2.58 cores=1,3,5,7
/proc/28132/task/28144/stat : 28144 (java) S 28129 28132 26910 0 -1 1077944384 10351 0 0 0 257 1 0 0 20 0 15 0 41235228 14429134848 633816 33554432000 4194304 4196468 140736720449152 140003162106096 140003692784258 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22757376 140736720450632 140736720450825 140736720450825 140736720453583 0
[pid=28132/tid=28145] ppid=28129 vsize=14090952 memory=4108 CPUtime=1.02 cores=1,3,5,7
/proc/28132/task/28145/stat : 28145 (java) S 28129 28132 26910 0 -1 1077944384 12529 0 0 0 100 2 0 0 20 0 15 0 41235228 14429134848 633816 33554432000 4194304 4196468 140736720449152 140003161053296 140003692784258 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22757376 140736720450632 140736720450825 140736720450825 140736720453583 0
[pid=28132/tid=28146] ppid=28129 vsize=14090952 memory=2535264 CPUtime=0 cores=1,3,5,7
/proc/28132/task/28146/stat : 28146 (java) S 28129 28132 26910 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41235228 14429134848 633816 33554432000 4194304 4196468 140736720449152 140003160000736 140003692783317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22757376 140736720450632 140736720450825 140736720450825 140736720453583 0
[pid=28132/tid=28147] ppid=28129 vsize=14090952 memory=14284 CPUtime=0.95 cores=1,3,5,7
/proc/28132/task/28147/stat : 28147 (java) S 28129 28132 26910 0 -1 1077944384 1574 0 0 0 39 56 0 0 20 0 15 0 41235228 14429134848 633816 33554432000 4194304 4196468 140736720449152 140003158949040 140003692784258 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 10 0 0 6293624 6294260 22757376 140736720450632 140736720450825 140736720450825 140736720453583 0
Current children cumulated CPU time: 2400.08 s
Current children cumulated vsize: 14090952 KiB
Current children cumulated memory: 2535264 KiB

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

[startup+2377.62 s]
# the end of solver process 28132 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2397.52 s, system=2.58173 s

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

[startup+2377.6 s]
/proc/loadavg: 1.42 1.46 1.49 3/215 28300
/proc/meminfo: memFree=12525632/32770624 swapFree=67108860/67108860
[pid=28132] ppid=28129 vsize=14090952 memory=2535264 CPUtime=2400.08 cores=1,3,5,7
/proc/28132/stat : 28132 (java) S 28129 28132 26910 0 -1 1077944320 236115 0 0 0 239751 257 0 0 20 0 15 0 41235222 14429134848 633816 33554432000 4194304 4196468 140736720449152 140736720431696 140003692773111 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22757376 140736720450632 140736720450825 140736720450825 140736720453583 0
/proc/28132/statm: 3522738 633816 3596 1 0 3484809 0
[pid=28132/tid=28134] ppid=28129 vsize=14090952 memory=2535264 CPUtime=2370.85 cores=1,3,5,7
/proc/28132/task/28134/stat : 28134 (java) R 28129 28132 26910 0 -1 4202560 86983 0 0 0 237040 45 0 0 20 0 15 0 41235223 14429134848 633816 33554432000 4194304 4196468 140736720449152 140003697011248 140003340578292 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22757376 140736720450632 140736720450825 140736720450825 140736720453583 0
[pid=28132/tid=28135] ppid=28129 vsize=14090952 memory=2535264 CPUtime=5.22 cores=1,3,5,7
/proc/28132/task/28135/stat : 28135 (java) S 28129 28132 26910 0 -1 1077944384 21536 0 0 0 483 39 0 0 20 0 15 0 41235224 14429134848 633816 33554432000 4194304 4196468 140736720449152 140003288263312 140003692783317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22757376 140736720450632 140736720450825 140736720450825 140736720453583 0
[pid=28132/tid=28136] ppid=28129 vsize=14090952 memory=2535264 CPUtime=5.2 cores=1,3,5,7
/proc/28132/task/28136/stat : 28136 (java) S 28129 28132 26910 0 -1 1077944384 26947 0 0 0 483 37 0 0 20 0 15 0 41235224 14429134848 633816 33554432000 4194304 4196468 140736720449152 140003287210512 140003692783317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22757376 140736720450632 140736720450825 140736720450825 140736720453583 0
[pid=28132/tid=28137] ppid=28129 vsize=14090952 memory=280458413457008 CPUtime=5.2 cores=1,3,5,7
/proc/28132/task/28137/stat : 28137 (java) S 28129 28132 26910 0 -1 1077944384 25084 0 0 0 480 40 0 0 20 0 15 0 41235224 14429134848 633816 33554432000 4194304 4196468 140736720449152 140003286157712 140003692783317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22757376 140736720450632 140736720450825 140736720450825 140736720453583 0
[pid=28132/tid=28138] ppid=28129 vsize=14090952 memory=2535264 CPUtime=5.18 cores=1,3,5,7
/proc/28132/task/28138/stat : 28138 (java) S 28129 28132 26910 0 -1 1077944384 20624 0 0 0 483 35 0 0 20 0 15 0 41235224 14429134848 633816 33554432000 4194304 4196468 140736720449152 140003285104912 140003692783317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22757376 140736720450632 140736720450825 140736720450825 140736720453583 0
[pid=28132/tid=28139] ppid=28129 vsize=14090952 memory=2535264 CPUtime=1.23 cores=1,3,5,7
/proc/28132/task/28139/stat : 28139 (java) S 28129 28132 26910 0 -1 1077944384 19110 0 0 0 106 17 0 0 20 0 15 0 41235225 14429134848 633816 33554432000 4194304 4196468 140736720449152 140003167370096 140003692784258 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22757376 140736720450632 140736720450825 140736720450825 140736720453583 0
[pid=28132/tid=28140] ppid=28129 vsize=14090952 memory=2535264 CPUtime=0 cores=1,3,5,7
/proc/28132/task/28140/stat : 28140 (java) S 28129 28132 26910 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 41235225 14429134848 633816 33554432000 4194304 4196468 140736720449152 140003166316128 140003692783317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22757376 140736720450632 140736720450825 140736720450825 140736720453583 0
[pid=28132/tid=28141] ppid=28129 vsize=14090952 memory=2533216 CPUtime=0 cores=1,3,5,7
/proc/28132/task/28141/stat : 28141 (java) S 28129 28132 26910 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 41235226 14429134848 633816 33554432000 4194304 4196468 140736720449152 140003165263232 140003692783317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22757376 140736720450632 140736720450825 140736720450825 140736720453583 0
[pid=28132/tid=28142] ppid=28129 vsize=14090952 memory=2535264 CPUtime=0 cores=1,3,5,7
/proc/28132/task/28142/stat : 28142 (java) S 28129 28132 26910 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41235228 14429134848 633816 33554432000 4194304 4196468 140736720449152 140003164211536 140003692791707 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22757376 140736720450632 140736720450825 140736720450825 140736720453583 0
[pid=28132/tid=28143] ppid=28129 vsize=14090952 memory=2535264 CPUtime=2.56 cores=1,3,5,7
/proc/28132/task/28143/stat : 28143 (java) S 28129 28132 26910 0 -1 1077944384 9952 0 0 0 254 2 0 0 20 0 15 0 41235228 14429134848 633816 33554432000 4194304 4196468 140736720449152 140003163158896 140003692784258 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22757376 140736720450632 140736720450825 140736720450825 140736720453583 0
[pid=28132/tid=28144] ppid=28129 vsize=14090952 memory=1067380 CPUtime=2.58 cores=1,3,5,7
/proc/28132/task/28144/stat : 28144 (java) S 28129 28132 26910 0 -1 1077944384 10351 0 0 0 257 1 0 0 20 0 15 0 41235228 14429134848 633816 33554432000 4194304 4196468 140736720449152 140003162106096 140003692784258 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22757376 140736720450632 140736720450825 140736720450825 140736720453583 0
[pid=28132/tid=28145] ppid=28129 vsize=14090952 memory=4108 CPUtime=1.02 cores=1,3,5,7
/proc/28132/task/28145/stat : 28145 (java) S 28129 28132 26910 0 -1 1077944384 12529 0 0 0 100 2 0 0 20 0 15 0 41235228 14429134848 633816 33554432000 4194304 4196468 140736720449152 140003161053296 140003692784258 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22757376 140736720450632 140736720450825 140736720450825 140736720453583 0
[pid=28132/tid=28146] ppid=28129 vsize=14090952 memory=2535264 CPUtime=0 cores=1,3,5,7
/proc/28132/task/28146/stat : 28146 (java) S 28129 28132 26910 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41235228 14429134848 633816 33554432000 4194304 4196468 140736720449152 140003160000736 140003692783317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22757376 140736720450632 140736720450825 140736720450825 140736720453583 0
[pid=28132/tid=28147] ppid=28129 vsize=14090952 memory=14284 CPUtime=0.95 cores=1,3,5,7
/proc/28132/task/28147/stat : 28147 (java) S 28129 28132 26910 0 -1 1077944384 1574 0 0 0 39 56 0 0 20 0 15 0 41235228 14429134848 633816 33554432000 4194304 4196468 140736720449152 140003158949040 140003692784258 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 10 0 0 6293624 6294260 22757376 140736720450632 140736720450825 140736720450825 140736720453583 0
Current children cumulated CPU time: 2400.08 s
Current children cumulated vsize: 14090952 KiB
Current children cumulated memory: 2535264 KiB

Child status: 143
Real time (s): 2377.62
CPU time (s): 2400.11
CPU user time (s): 2397.52
CPU system time (s): 2.58173
CPU usage (%): 100.946
Max. virtual memory (cumulated for all children) (KiB): 14090952
Max. memory (cumulated for all children) (KiB): 2536884

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2397.52
system time used= 2.58174
maximum resident set size= 2536884
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 236562
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2696
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 82085
involuntary context switches= 2230


# summary of solver processes directly reported to runsolver:
#   pid: 28132
#   total CPU time (s): 2400.11
#   total CPU user time (s): 2397.52
#   total CPU system time (s): 2.58173

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.3288 second user time and 19.5618 second system time

The end

Launcher Data

Begin job on node105 at 2018-07-22 07:18:40
IDJOB=4290463
IDBENCH=141218
IDSOLVER=2743
FILE ID=node105/4290463-1532236720
RUNJOBID= node105-1532224841-26942
PBS_JOBID= 21018944
Free space on /tmp= 44888 MiB

SOLVER NAME= OscaR - Conflict Ordering with restarts 2018-07-02
BENCH NAME= XCSP18/SumColoring/SumColoring-dsjc-250-5_c18.xml
COMMAND LINE= java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 11000 --nbcore NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4290463-1532236720/watcher-4290463-1532236720 -o /tmp/evaluation-result-4290463-1532236720/solver-4290463-1532236720 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node105-1532224841-26942 --watchdog 2560  java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 1731929616 --timelimit 2400 --memlimit 11000 --nbcore 4 HOME/instance-4290463-1532236720.xml

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

MD5SUM BENCH= 6d15d8403aebe79e9693643b2fca1a5e
RANDOM SEED=1731929616

node105.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.32
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.32
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.32
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.32
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:        15062316 kB
MemAvailable:   30891512 kB
Buffers:          140016 kB
Cached:         15662200 kB
SwapCached:            0 kB
Active:          2340220 kB
Inactive:       14563472 kB
Active(anon):    1055744 kB
Inactive(anon):    65224 kB
Active(file):    1284476 kB
Inactive(file): 14498248 kB
Unevictable:        7308 kB
Mlocked:            7308 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             36164 kB
Writeback:            20 kB
AnonPages:       1108680 kB
Mapped:            48776 kB
Shmem:             17036 kB
Slab:             501832 kB
SReclaimable:     474932 kB
SUnreclaim:        26900 kB
KernelStack:        3536 kB
PageTables:         6980 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2093648 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    987136 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      130432 kB
DirectMap2M:    33415168 kB

Free space on /tmp at the end= 44852 MiB
End job on node105 at 2018-07-22 07:58:18