Trace number 4310114

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-08-14SAT (TO)13499 252.056 245.029

General information on the benchmark

NameSumColoring/
SumColoring-dsjc-250-1_c18.xml
MD5SUM23e20eff05b11a5b5f7472de7de36ab3
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark853
Best CPU time to get the best result obtained on this benchmark252.09
Satisfiable
(Un)Satisfiability was proved
Number of variables250
Number of constraints3218
Number of domains1
Minimum domain size250
Maximum domain size250
Distribution of domain sizes[{"size":250,"count":250}]
Minimum variable degree14
Maximum variable degree39
Distribution of variable degrees[{"degree":14,"count":1},{"degree":15,"count":1},{"degree":16,"count":3},{"degree":17,"count":5},{"degree":18,"count":6},{"degree":19,"count":5},{"degree":20,"count":6},{"degree":21,"count":11},{"degree":22,"count":14},{"degree":23,"count":16},{"degree":24,"count":14},{"degree":25,"count":25},{"degree":26,"count":17},{"degree":27,"count":14},{"degree":28,"count":12},{"degree":29,"count":25},{"degree":30,"count":21},{"degree":31,"count":11},{"degree":32,"count":9},{"degree":33,"count":9},{"degree":34,"count":4},{"degree":35,"count":6},{"degree":36,"count":9},{"degree":37,"count":3},{"degree":38,"count":2},{"degree":39,"count":1}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":3218}]
Number of extensional constraints0
Number of intensional constraints3218
Distribution of constraint types[{"type":"intension","count":3218}]
Optimization problemYES
Type of objectivemin SUM

Quality of the solution as a function of time


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

Solver Data 

0.67/0.57	c version: 2018-08-14
0.67/0.57	c seed: 558333426
0.67/0.57	c timeout: 252
0.67/0.57	c memlimit: 11000
0.67/0.57	c nbcore: 4
0.67/0.59	c Parsing instance...
3.58/1.63	c Parsing done, starting search...
3.90/1.73	o 32144
3.90/1.77	o 32139
3.90/1.77	o 32138
3.90/1.77	o 32137
3.90/1.77	o 32126
3.90/1.77	o 32124
3.90/1.77	o 32122
3.90/1.77	o 32121
3.90/1.77	o 32120
3.90/1.77	o 32117
3.90/1.77	o 32114
3.90/1.77	o 32107
3.90/1.77	o 32104
3.90/1.77	o 32103
3.90/1.77	o 32102
3.90/1.77	o 32101
3.90/1.77	o 32100
3.90/1.78	o 32099
3.90/1.78	o 32097
3.90/1.78	o 32096
3.90/1.78	o 32092
3.90/1.78	o 32091
3.90/1.78	o 32089
3.90/1.78	o 32081
3.90/1.79	o 31978
3.90/1.79	o 31976
3.90/1.79	o 31975
3.90/1.79	o 31974
3.90/1.79	o 31886
3.90/1.79	o 31885
3.90/1.79	o 31868
3.90/1.79	o 31867
3.90/1.79	o 31844
3.90/1.79	o 31843
3.90/1.79	o 31781
3.90/1.79	o 31780
3.90/1.79	o 31779
3.90/1.79	o 31778
4.23/1.80	o 31773
4.23/1.80	o 31772
4.23/1.80	o 31771
4.23/1.80	o 31601
4.23/1.80	o 31567
4.23/1.80	o 31565
4.23/1.80	o 31564
4.23/1.80	o 31563
4.23/1.80	o 31475
4.23/1.80	o 31409
4.23/1.81	o 31388
4.23/1.81	o 31387
4.23/1.81	o 31386
4.23/1.81	o 31385
4.23/1.81	o 31384
4.23/1.81	o 31365
4.23/1.81	o 31364
4.23/1.81	o 31353
4.23/1.81	o 31352
4.23/1.81	o 31349
4.23/1.81	o 31348
4.23/1.81	o 31347
4.23/1.82	o 31346
4.23/1.82	o 31345
4.23/1.82	o 31335
4.23/1.82	o 31334
4.23/1.82	o 31332
4.23/1.82	o 31331
4.23/1.82	o 31291
4.23/1.82	o 31290
4.23/1.82	o 31288
4.23/1.82	o 31287
4.23/1.82	o 31255
4.23/1.82	o 31254
4.23/1.82	o 31239
4.23/1.82	o 31238
4.23/1.82	o 31237
4.23/1.83	o 31236
4.23/1.83	o 31235
4.23/1.83	o 31234
4.23/1.83	o 31233
4.23/1.83	o 31232
4.23/1.83	o 31231
4.23/1.83	o 31230
4.23/1.83	o 31226
4.23/1.84	o 31222
4.23/1.84	o 31220
4.23/1.84	o 31218
4.23/1.84	o 31214
4.23/1.84	o 31213
4.23/1.84	o 31211
4.23/1.84	o 31210
4.23/1.84	o 31175
4.23/1.84	o 31174
4.23/1.85	o 31173
4.23/1.85	o 31172
4.23/1.85	o 31098
4.23/1.85	o 31097
4.23/1.85	o 31082
4.23/1.85	o 31081
4.23/1.85	o 31057
4.23/1.85	o 31056
4.23/1.85	o 31048
4.23/1.85	o 31047
4.23/1.85	o 31046
4.23/1.85	o 31045
4.23/1.85	o 31044
4.23/1.85	o 31043
4.23/1.86	o 31042
4.23/1.86	o 31041
4.23/1.86	o 30850
4.23/1.86	o 30849
4.23/1.86	o 30843
4.23/1.86	o 30842
4.23/1.86	o 30835
4.23/1.86	o 30834
4.23/1.86	o 30833
4.23/1.86	o 30832
4.23/1.86	o 30806
4.23/1.86	o 30805
4.23/1.86	o 30699
4.23/1.87	o 30698
4.23/1.87	o 30696
4.23/1.87	o 30695
4.23/1.87	o 30692
4.23/1.87	o 30691
4.23/1.87	o 30571
4.23/1.87	o 30570
4.23/1.88	o 30562
4.23/1.88	o 30561
4.23/1.88	o 30560
4.23/1.88	o 30559
4.23/1.88	o 30557
4.23/1.88	o 30556
4.23/1.88	o 30552
4.23/1.88	o 30551
4.23/1.88	o 30454
4.23/1.88	o 30452
4.23/1.88	o 30394
4.23/1.88	o 30393
4.23/1.89	o 30390
4.23/1.89	o 30389
4.23/1.89	o 30386
4.23/1.89	o 30385
4.23/1.89	o 30384
4.23/1.89	o 30383
4.23/1.89	o 30382
4.23/1.89	o 30381
4.23/1.89	o 30380
4.23/1.89	o 30309
4.23/1.89	o 30303
4.23/1.89	o 30302
4.23/1.89	o 30300
4.23/1.89	o 30299
4.23/1.89	o 30297
4.23/1.90	o 30296
4.57/1.90	o 30295
4.57/1.90	o 30294
4.57/1.90	o 30293
4.57/1.90	o 30290
4.57/1.90	o 30281
4.57/1.90	o 30279
4.57/1.90	o 30230
4.57/1.90	o 30211
4.57/1.91	o 30199
4.57/1.91	o 30181
4.57/1.91	o 30180
4.57/1.91	o 30177
4.57/1.91	o 30174
4.57/1.92	o 30172
4.57/1.92	o 30171
4.57/1.92	o 30170
4.57/1.92	o 30136
4.57/1.92	o 30130
4.57/1.92	o 30128
4.57/1.92	o 30125
4.57/1.92	o 30114
4.57/1.92	o 30072
4.57/1.92	o 30069
4.57/1.92	o 30068
4.57/1.92	o 30067
4.57/1.92	o 30066
4.57/1.92	o 30065
4.57/1.93	o 30053
4.57/1.93	o 29981
4.57/1.93	o 29979
4.57/1.93	o 29956
4.57/1.93	o 29955
4.57/1.93	o 29953
4.57/1.94	o 29952
4.57/1.94	o 29951
4.57/1.94	o 29950
4.57/1.94	o 29949
4.57/1.94	o 29948
4.57/1.94	o 29947
4.57/1.94	o 29946
4.57/1.94	o 29945
4.57/1.94	o 29895
4.57/1.94	o 29893
4.57/1.94	o 29892
4.57/1.94	o 29888
4.57/1.95	o 29887
4.57/1.95	o 29886
4.57/1.95	o 29885
4.57/1.97	o 29842
4.57/1.97	o 29791
4.57/1.97	o 29789
4.57/1.97	o 29782
4.57/1.97	o 29778
4.57/1.97	o 29776
4.57/1.97	o 29775
4.57/1.97	o 29734
4.57/1.97	o 29732
4.57/1.97	o 29727
4.57/1.97	o 29719
4.57/1.97	o 29669
4.57/1.98	o 29660
4.57/1.98	o 29656
4.57/1.98	o 29653
4.57/1.98	o 29652
4.57/1.98	o 29651
4.57/2.00	o 29650
4.91/2.02	o 29521
4.91/2.03	o 29520
4.91/2.03	o 29519
4.91/2.03	o 29518
4.91/2.05	o 29517
4.91/2.05	o 29516
4.91/2.05	o 29515
4.91/2.10	o 29512
4.91/2.10	o 29511
5.21/2.11	o 29510
5.21/2.11	o 29509
5.21/2.11	o 29508
5.21/2.11	o 29507
5.21/2.11	o 29506
5.21/2.11	o 29505
5.21/2.11	o 29504
5.21/2.11	o 29499
5.21/2.11	o 29498
5.21/2.11	o 29497
5.21/2.11	o 29496
5.21/2.11	o 29495
5.21/2.11	o 29494
5.21/2.11	o 29493
5.21/2.11	o 29492
5.21/2.11	o 29491
5.21/2.11	o 29490
5.21/2.11	o 29489
5.21/2.11	o 29488
5.21/2.11	o 29487
5.21/2.11	o 29486
5.21/2.11	o 29485
5.21/2.11	o 29480
5.21/2.11	o 29479
5.21/2.12	o 29478
5.21/2.12	o 29477
5.21/2.12	o 29476
5.21/2.16	o 29475
5.21/2.18	o 29474
5.21/2.19	o 29473
5.21/2.19	o 29472
5.21/2.19	o 29471
5.21/2.19	o 29470
5.21/2.19	o 29469
5.21/2.19	o 29468
5.21/2.19	o 29467
5.21/2.19	o 29466
5.21/2.19	o 29462
5.21/2.19	o 29461
5.21/2.19	o 29460
5.21/2.19	o 29457
5.21/2.19	o 29456
5.21/2.19	o 29454
5.21/2.19	o 29453
5.21/2.19	o 29448
5.21/2.19	o 29447
5.21/2.19	o 29444
5.21/2.19	o 29443
5.21/2.20	o 29442
5.21/2.20	o 29441
5.49/2.20	o 29440
5.49/2.20	o 29439
5.49/2.20	o 29434
5.49/2.20	o 29433
5.49/2.20	o 29430
5.49/2.20	o 29429
5.49/2.20	o 29426
5.49/2.20	o 29425
5.79/2.31	o 29424
6.04/2.42	o 29423
6.04/2.42	o 29422
6.04/2.42	o 29421
6.04/2.42	o 29420
6.04/2.43	o 29419
6.04/2.44	o 29418
6.04/2.44	o 29417
6.04/2.47	o 29416
6.04/2.48	o 29415
6.27/2.54	o 29414
6.38/2.60	o 29401
6.38/2.60	o 29400
6.38/2.60	o 29396
6.38/2.60	o 29391
6.38/2.60	o 29390
6.38/2.60	o 29389
6.38/2.60	o 29387
6.38/2.60	o 29366
6.38/2.60	o 29335
6.38/2.60	o 29334
6.38/2.61	o 29333
6.38/2.62	o 29332
6.38/2.63	o 29331
6.38/2.65	o 29330
6.38/2.66	o 29329
6.53/2.76	o 29328
6.53/2.76	o 29327
6.53/2.76	o 29326
6.53/2.76	o 29325
6.53/2.76	o 29324
6.53/2.76	o 29323
6.53/2.76	o 29322
6.53/2.76	o 29321
6.53/2.76	o 29319
6.53/2.77	o 29317
6.53/2.80	o 29314
6.70/2.80	o 29310
6.70/2.80	o 29294
6.70/2.80	o 29292
6.70/2.80	o 29291
6.70/2.80	o 29193
6.70/2.80	o 29187
6.70/2.82	o 29185
6.70/2.82	o 29183
6.70/2.82	o 29181
6.70/2.82	o 29180
6.70/2.82	o 29179
6.70/2.82	o 29178
6.70/2.82	o 29176
6.70/2.82	o 29175
6.70/2.82	o 29174
6.70/2.82	o 29173
6.70/2.82	o 29172
6.70/2.82	o 29171
6.70/2.82	o 29163
6.70/2.82	o 29160
6.70/2.82	o 29158
6.70/2.82	o 29137
6.70/2.82	o 29135
6.70/2.82	o 29133
6.70/2.82	o 29100
6.70/2.82	o 29068
6.70/2.82	o 29065
6.70/2.83	o 29062
6.70/2.83	o 29060
6.70/2.83	o 29046
6.70/2.83	o 29041
6.70/2.83	o 29039
6.70/2.83	o 29037
6.70/2.83	o 29036
6.70/2.83	o 29035
6.70/2.83	o 29034
6.70/2.83	o 29033
6.70/2.86	o 29032
6.70/2.89	o 29031
6.70/2.89	o 29030
6.93/2.95	o 29028
6.93/2.95	o 29027
6.93/2.95	o 29026
6.93/2.95	o 29021
6.93/2.95	o 29020
6.93/2.95	o 29019
6.93/2.95	o 29018
6.93/2.96	o 29017
6.93/3.00	o 29016
7.06/3.08	o 29015
7.06/3.08	o 29014
7.06/3.09	o 29012
7.06/3.09	o 29011
7.06/3.09	o 29010
7.06/3.09	o 29009
7.06/3.09	o 29008
7.06/3.09	o 29006
7.06/3.09	o 29000
7.06/3.09	o 28998
7.06/3.09	o 28997
7.06/3.09	o 28992
7.06/3.10	o 28990
7.06/3.10	o 28989
7.06/3.10	o 28988
7.06/3.10	o 28987
7.06/3.10	o 28985
7.06/3.10	o 28980
7.06/3.10	o 28978
7.06/3.10	o 28977
7.06/3.10	o 28976
7.06/3.10	o 28975
7.06/3.10	o 28974
7.06/3.10	o 28973
7.06/3.10	o 28971
7.06/3.10	o 28970
7.06/3.10	o 28969
7.06/3.10	o 28968
7.06/3.10	o 28967
7.06/3.10	o 28966
7.06/3.10	o 28965
7.06/3.11	o 28964
7.19/3.11	o 28961
7.19/3.11	o 28960
7.19/3.11	o 28958
7.19/3.11	o 28957
7.19/3.11	o 28953
7.19/3.11	o 28952
7.19/3.11	o 28949
7.19/3.11	o 28948
7.19/3.11	o 28947
7.19/3.11	o 28946
7.19/3.11	o 28943
7.19/3.11	o 28942
7.19/3.11	o 28941
7.19/3.11	o 28940
7.19/3.11	o 28939
7.19/3.12	o 28938
7.19/3.12	o 28937
7.19/3.12	o 28936
7.19/3.12	o 28931
7.19/3.12	o 28930
7.19/3.12	o 28928
7.19/3.12	o 28927
7.19/3.12	o 28926
7.19/3.13	o 28925
7.19/3.13	o 28924
7.19/3.13	o 28923
7.19/3.16	o 28922
7.19/3.17	o 28921
7.19/3.19	o 28920
7.29/3.24	o 28919
7.29/3.24	o 28918
7.29/3.27	o 28917
7.29/3.27	o 28915
7.29/3.27	o 28914
7.29/3.27	o 28913
7.29/3.27	o 28912
7.29/3.27	o 28911
7.29/3.27	o 28910
7.29/3.27	o 28891
7.29/3.27	o 28890
7.29/3.27	o 28889
7.29/3.28	o 28888
7.29/3.28	o 28851
7.29/3.28	o 28849
7.29/3.28	o 28848
7.29/3.28	o 28827
7.29/3.28	o 28823
7.29/3.28	o 28821
7.29/3.28	o 28815
7.29/3.28	o 28786
7.29/3.28	o 28769
7.29/3.28	o 28714
7.29/3.28	o 28706
7.29/3.28	o 28699
7.29/3.28	o 28695
7.29/3.28	o 28694
7.29/3.29	o 28686
7.29/3.29	o 28685
7.29/3.29	o 28684
7.29/3.30	o 28683
7.38/3.37	o 28682
7.38/3.37	o 28681
7.38/3.37	o 28680
7.49/3.40	o 28679
7.49/3.40	o 28678
7.49/3.41	o 28677
7.49/3.41	o 28675
7.49/3.48	o 28674
7.49/3.48	o 28672
7.69/3.66	o 28671
7.69/3.66	o 28670
7.69/3.66	o 28669
7.69/3.66	o 28668
7.69/3.66	o 28667
7.69/3.66	o 28666
7.69/3.66	o 28665
7.69/3.66	o 28664
7.69/3.66	o 28663
7.69/3.66	o 28662
7.69/3.67	o 28656
7.69/3.67	o 28647
7.69/3.67	o 28577
7.69/3.67	o 28550
7.69/3.67	o 28549
7.69/3.67	o 28548
7.69/3.67	o 28547
7.69/3.67	o 28533
7.69/3.67	o 28532
7.69/3.67	o 28529
7.69/3.67	o 28528
7.69/3.67	o 28527
7.69/3.67	o 28526
7.69/3.67	o 28525
7.69/3.67	o 28524
7.69/3.67	o 28523
7.69/3.67	o 28522
7.69/3.67	o 28521
7.69/3.67	o 28520
7.69/3.67	o 28519
7.69/3.67	o 28518
7.69/3.67	o 28517
7.69/3.68	o 28516
7.69/3.68	o 28515
7.69/3.68	o 28514
7.69/3.68	o 28513
7.69/3.68	o 28512
7.69/3.68	o 28511
7.69/3.69	o 28510
7.84/3.72	o 28509
7.84/3.72	o 28508
7.84/3.72	o 28507
7.84/3.72	o 28506
8.15/4.07	o 28505
8.15/4.07	o 28504
8.15/4.07	o 28503
8.15/4.07	o 28501
8.15/4.07	o 28500
8.15/4.07	o 28499
8.15/4.07	o 28498
8.15/4.07	o 28497
8.15/4.07	o 28496
8.15/4.07	o 28493
8.15/4.07	o 28492
8.15/4.08	o 28491
8.15/4.08	o 28490
8.15/4.08	o 28489
8.15/4.08	o 28484
8.15/4.08	o 28481
8.15/4.08	o 28480
8.15/4.08	o 28477
8.15/4.08	o 28476
8.15/4.08	o 28473
8.15/4.08	o 28472
8.15/4.08	o 28471
8.15/4.08	o 28467
8.15/4.08	o 28464
8.15/4.08	o 28438
8.15/4.08	o 28436
8.15/4.08	o 28434
8.15/4.08	o 28433
8.15/4.08	o 28431
8.15/4.08	o 28430
8.15/4.08	o 28428
8.15/4.08	o 28378
8.15/4.08	o 28371
8.15/4.09	o 28362
8.15/4.09	o 28361
8.15/4.09	o 28360
8.25/4.11	o 28359
8.25/4.11	o 28358
8.25/4.14	o 28357
8.34/4.26	o 28356
8.34/4.26	o 28355
8.85/4.71	o 28354
8.95/4.82	o 28353
8.95/4.82	o 28352
8.95/4.82	o 28350
8.95/4.82	o 28349
8.95/4.82	o 28346
8.95/4.82	o 28344
8.95/4.82	o 28343
8.95/4.82	o 28342
8.95/4.82	o 28341
8.95/4.82	o 28340
8.95/4.82	o 28339
8.95/4.82	o 28332
8.95/4.82	o 28323
8.95/4.82	o 28322
8.95/4.82	o 28321
8.95/4.82	o 28318
8.95/4.82	o 28317
8.95/4.82	o 28312
8.95/4.82	o 28310
8.95/4.82	o 28307
8.95/4.82	o 28305
8.95/4.83	o 28300
8.95/4.83	o 28229
8.95/4.83	o 28206
8.95/4.83	o 28193
8.95/4.83	o 28129
8.95/4.83	o 28127
8.95/4.84	o 28126
8.95/4.84	o 28125
9.06/4.90	o 28124
9.06/4.95	o 28123
9.06/4.95	o 28122
9.06/4.95	o 28121
9.51/5.35	o 28120
9.51/5.37	o 28119
9.61/5.40	o 28118
9.61/5.40	o 28117
9.61/5.40	o 28115
9.61/5.40	o 28112
9.61/5.40	o 28106
9.61/5.40	o 28102
9.61/5.40	o 28071
9.61/5.40	o 28070
9.61/5.40	o 28068
9.61/5.40	o 28066
9.61/5.40	o 28040
9.61/5.40	o 28037
9.61/5.40	o 28036
9.61/5.40	o 28035
9.61/5.40	o 28014
9.61/5.40	o 28009
9.61/5.40	o 28008
9.61/5.40	o 28004
9.61/5.40	o 28002
9.61/5.40	o 27982
9.61/5.40	o 27980
9.61/5.41	o 27972
9.61/5.41	o 27962
9.61/5.41	o 27959
9.61/5.41	o 27957
9.61/5.41	o 27956
9.61/5.42	o 27955
9.61/5.42	o 27954
9.61/5.43	o 27953
9.61/5.45	o 27952
9.71/5.51	o 27951
9.81/5.61	o 27950
9.81/5.61	o 27949
9.81/5.63	o 27948
9.81/5.63	o 27947
10.51/6.36	o 27946
10.81/6.65	o 27924
10.81/6.65	o 27917
10.81/6.65	o 27910
10.81/6.65	o 27903
10.81/6.65	o 27902
10.81/6.65	o 27867
10.81/6.65	o 27866
10.81/6.65	o 27865
10.81/6.65	o 27864
10.81/6.65	o 27848
10.81/6.65	o 27846
10.81/6.65	o 27840
10.81/6.65	o 27839
10.81/6.65	o 27838
10.81/6.65	o 27837
10.81/6.65	o 27827
10.81/6.65	o 27826
10.81/6.65	o 27825
10.81/6.65	o 27824
10.81/6.65	o 27823
10.81/6.65	o 27822
10.81/6.65	o 27821
10.81/6.65	o 27819
10.81/6.65	o 27811
10.81/6.65	o 27810
10.81/6.65	o 27806
10.81/6.65	o 27805
10.81/6.66	o 27781
10.81/6.66	o 27780
10.81/6.66	o 27745
10.81/6.66	o 27744
10.81/6.66	o 27743
10.81/6.66	o 27742
10.81/6.66	o 27741
10.81/6.66	o 27731
10.81/6.66	o 27729
10.81/6.66	o 27728
10.81/6.66	o 27709
10.81/6.66	o 27707
10.81/6.66	o 27706
10.81/6.66	o 27705
10.81/6.67	o 27704
10.81/6.67	o 27690
10.81/6.67	o 27688
10.81/6.67	o 27686
10.81/6.67	o 27685
10.81/6.67	o 27684
10.81/6.67	o 27683
10.81/6.68	o 27682
10.97/6.77	o 27681
10.97/6.77	o 27680
11.23/6.92	o 27679
11.36/7.10	o 27678
11.36/7.10	o 27677
11.36/7.10	o 27676
11.36/7.10	o 27675
11.36/7.10	o 27667
11.36/7.10	o 27666
11.36/7.10	o 27665
11.36/7.10	o 27664
11.36/7.10	o 27663
11.36/7.10	o 27603
11.36/7.10	o 27602
11.36/7.10	o 27601
11.36/7.10	o 27599
11.36/7.10	o 27597
11.36/7.10	o 27592
11.36/7.10	o 27591
11.36/7.10	o 27589
11.46/7.11	o 27588
11.46/7.18	o 27587
11.46/7.19	o 27586
12.32/7.93	o 27585
12.53/8.17	o 27384
12.53/8.18	o 27383
12.53/8.18	o 27382
12.53/8.18	o 27381
12.53/8.18	o 27380
12.53/8.18	o 27358
12.53/8.18	o 27357
12.53/8.18	o 27356
12.53/8.18	o 27355
12.53/8.18	o 27354
12.62/8.21	o 27353
12.62/8.21	o 27352
12.62/8.21	o 27350
12.62/8.21	o 27349
12.62/8.26	o 27348
12.62/8.26	o 27347
12.62/8.26	o 27346
12.62/8.26	o 27345
12.62/8.26	o 27344
12.62/8.26	o 27343
12.83/8.50	o 27342
12.83/8.50	o 27338
12.83/8.50	o 27306
12.83/8.50	o 27304
12.83/8.50	o 27301
12.83/8.50	o 27300
12.93/8.50	o 27282
12.93/8.50	o 27281
12.93/8.50	o 27280
12.93/8.50	o 27279
12.93/8.50	o 27278
12.93/8.50	o 27265
12.93/8.50	o 27264
12.93/8.50	o 27263
12.93/8.50	o 27261
12.93/8.50	o 27260
12.93/8.50	o 27259
12.93/8.50	o 27258
12.93/8.50	o 27257
12.93/8.50	o 27256
12.93/8.50	o 27255
12.93/8.50	o 27254
12.93/8.50	o 27253
12.93/8.50	o 27236
12.93/8.50	o 27235
12.93/8.50	o 27234
12.93/8.50	o 27233
12.93/8.50	o 27232
12.93/8.50	o 27214
12.93/8.50	o 27213
12.93/8.50	o 27212
12.93/8.50	o 27211
12.93/8.50	o 27210
12.93/8.50	o 27209
12.93/8.50	o 27205
12.93/8.50	o 27204
12.93/8.50	o 27203
12.93/8.51	o 27202
12.93/8.51	o 27201
12.93/8.51	o 27200
12.93/8.51	o 27198
12.93/8.51	o 27197
12.93/8.51	o 27192
12.93/8.52	o 27191
12.93/8.52	o 27190
12.93/8.52	o 27189
12.93/8.52	o 27188
12.93/8.52	o 27187
12.93/8.52	o 27186
12.93/8.52	o 27185
12.93/8.53	o 27184
12.93/8.53	o 27183
12.93/8.58	o 27182
13.14/8.72	o 27181
13.14/8.72	o 27180
13.45/9.10	o 27179
13.73/9.35	o 27159
13.73/9.35	o 27158
13.73/9.35	o 27155
13.73/9.35	o 27154
13.73/9.35	o 27143
13.73/9.35	o 27142
13.73/9.35	o 27141
13.73/9.35	o 27136
13.73/9.35	o 27135
13.73/9.35	o 27031
13.73/9.35	o 27030
13.73/9.35	o 27028
13.73/9.35	o 27027
13.73/9.35	o 27025
13.73/9.35	o 27024
13.73/9.35	o 27020
13.73/9.35	o 27019
13.73/9.35	o 27018
13.73/9.36	o 27016
13.73/9.36	o 27015
13.73/9.36	o 27014
13.73/9.36	o 27013
13.73/9.37	o 27012
13.73/9.37	o 27011
13.73/9.37	o 27010
13.73/9.39	o 27009
13.73/9.39	o 27008
13.94/9.60	o 27007
14.09/9.68	o 27006
14.98/10.57	o 27005
14.98/10.58	o 27004
14.98/10.58	o 27003
14.98/10.58	o 27002
14.98/10.58	o 27001
14.98/10.58	o 27000
14.98/10.58	o 26999
15.08/10.62	o 26998
15.08/10.67	o 26997
15.28/10.82	o 26990
15.28/10.82	o 26989
15.28/10.82	o 26988
15.28/10.82	o 26986
15.28/10.82	o 26983
15.28/10.82	o 26972
15.28/10.82	o 26969
15.28/10.82	o 26965
15.28/10.82	o 26958
15.28/10.82	o 26957
15.28/10.82	o 26956
15.28/10.82	o 26955
15.28/10.82	o 26954
15.28/10.82	o 26953
15.28/10.82	o 26952
15.28/10.82	o 26951
15.28/10.82	o 26950
15.28/10.82	o 26949
15.28/10.83	o 26919
15.28/10.83	o 26918
15.28/10.83	o 26917
15.28/10.83	o 26915
15.28/10.83	o 26914
15.28/10.83	o 26913
15.28/10.83	o 26899
15.28/10.83	o 26848
15.28/10.83	o 26839
15.28/10.83	o 26838
15.28/10.83	o 26837
15.28/10.83	o 26834
15.28/10.83	o 26833
15.28/10.83	o 26832
15.28/10.83	o 26831
15.28/10.83	o 26830
15.28/10.83	o 26829
15.28/10.83	o 26828
15.28/10.83	o 26826
15.28/10.83	o 26824
15.28/10.83	o 26823
15.28/10.83	o 26822
15.28/10.83	o 26821
15.28/10.83	o 26806
15.28/10.83	o 26805
15.28/10.83	o 26804
15.28/10.83	o 26803
15.28/10.83	o 26800
15.28/10.83	o 26799
15.28/10.83	o 26797
15.28/10.83	o 26796
15.28/10.83	o 26795
15.28/10.84	o 26794
15.28/10.84	o 26793
15.28/10.84	o 26792
15.28/10.88	o 26791
15.28/10.88	o 26790
15.38/10.98	o 26789
15.38/10.98	o 26788
15.49/11.05	o 26787
15.68/11.22	o 26786
15.68/11.24	o 26785
16.08/11.60	o 26784
16.08/11.60	o 26783
16.08/11.62	o 26782
16.18/11.76	o 26781
16.18/11.77	o 26780
16.38/11.93	o 26779
16.38/11.93	o 26776
16.38/11.93	o 26775
16.38/11.93	o 26773
16.38/11.93	o 26772
16.38/11.93	o 26771
16.38/11.93	o 26770
16.38/11.94	o 26769
16.38/11.94	o 26768
16.38/11.94	o 26767
16.38/11.94	o 26766
16.38/11.94	o 26765
16.38/11.95	o 26764
16.38/11.97	o 26763
16.38/11.99	o 26762
16.79/12.32	o 26761
16.89/12.45	o 26760
17.80/13.32	o 26759
17.80/13.35	o 26758
18.01/13.53	o 26736
18.01/13.53	o 26678
18.01/13.53	o 26672
18.01/13.53	o 26655
18.01/13.53	o 26631
18.01/13.53	o 26625
18.01/13.53	o 26623
18.01/13.53	o 26621
18.01/13.53	o 26620
18.01/13.53	o 26597
18.01/13.53	o 26596
18.01/13.54	o 26591
18.01/13.54	o 26588
18.01/13.54	o 26587
18.01/13.54	o 26586
18.01/13.54	o 26585
18.01/13.54	o 26584
18.01/13.54	o 26583
18.01/13.55	o 26582
18.91/14.45	o 26563
18.91/14.45	o 26553
18.91/14.45	o 26552
18.91/14.45	o 26550
18.91/14.45	o 26521
18.91/14.45	o 26517
18.91/14.45	o 26511
18.91/14.45	o 26496
18.91/14.45	o 26493
18.91/14.45	o 26491
18.91/14.45	o 26385
18.91/14.45	o 26384
18.91/14.45	o 26380
18.91/14.45	o 26379
18.91/14.46	o 26378
19.01/14.50	o 26377
19.01/14.53	o 26376
19.01/14.55	o 26375
19.01/14.55	o 26373
19.11/14.60	o 26372
19.21/14.70	o 26371
19.31/14.87	o 26370
19.61/15.15	o 26367
19.61/15.15	o 26365
19.61/15.15	o 26364
19.61/15.15	o 26363
19.61/15.15	o 26362
19.61/15.16	o 26361
19.61/15.16	o 26360
19.61/15.16	o 26359
19.70/15.20	o 26358
19.70/15.23	o 26357
19.70/15.23	o 26356
19.70/15.25	o 26355
19.70/15.25	o 26354
19.70/15.26	o 26353
19.70/15.26	o 26352
19.70/15.26	o 26351
19.70/15.26	o 26350
20.20/15.79	o 26349
20.31/15.80	o 26348
20.31/15.82	o 26347
20.52/16.01	o 26346
20.52/16.01	o 26343
20.52/16.01	o 26336
20.52/16.01	o 26331
20.52/16.01	o 26328
20.52/16.01	o 26327
20.52/16.01	o 26324
20.52/16.02	o 26322
20.52/16.02	o 26321
20.52/16.02	o 26320
20.52/16.02	o 26318
20.52/16.03	o 26315
20.52/16.03	o 26313
20.52/16.03	o 26287
20.52/16.04	o 26226
20.52/16.04	o 26207
20.52/16.04	o 26180
20.52/16.04	o 26177
20.52/16.04	o 26176
20.52/16.04	o 26175
20.52/16.05	o 26173
20.52/16.06	o 26172
20.52/16.07	o 26171
20.52/16.07	o 26170
20.52/16.07	o 26169
20.52/16.08	o 26168
20.52/16.09	o 26167
20.52/16.09	o 26166
20.62/16.12	o 26165
20.62/16.12	o 26164
20.91/16.45	o 26162
20.91/16.45	o 26160
20.91/16.45	o 26159
20.91/16.45	o 26158
20.91/16.45	o 26157
20.91/16.45	o 26156
20.91/16.46	o 26072
20.91/16.46	o 26071
20.91/16.46	o 26070
20.91/16.46	o 26069
20.91/16.46	o 26068
20.91/16.46	o 26039
20.91/16.46	o 26038
20.91/16.46	o 26033
20.91/16.46	o 26032
20.91/16.46	o 26031
20.91/16.46	o 26030
20.91/16.46	o 26029
20.91/16.46	o 26028
20.91/16.46	o 26027
20.91/16.46	o 26026
20.91/16.46	o 26025
20.91/16.46	o 25999
20.91/16.46	o 25998
20.91/16.46	o 25997
20.91/16.46	o 25996
20.91/16.46	o 25977
20.91/16.46	o 25976
20.91/16.46	o 25966
20.91/16.47	o 25965
20.91/16.47	o 25964
20.91/16.47	o 25957
20.91/16.47	o 25956
20.91/16.47	o 25955
20.91/16.47	o 25954
20.91/16.47	o 25953
20.91/16.47	o 25950
20.91/16.47	o 25949
20.91/16.47	o 25948
20.91/16.47	o 25947
20.91/16.47	o 25946
20.91/16.47	o 25945
20.91/16.48	o 25944
20.91/16.48	o 25943
20.91/16.49	o 25942
21.02/16.50	o 25941
21.02/16.50	o 25940
21.02/16.52	o 25939
21.02/16.53	o 25938
21.02/16.53	o 25937
21.12/16.65	o 25936
21.53/17.05	o 25935
21.53/17.05	o 25934
21.53/17.05	o 25932
21.53/17.05	o 25928
21.53/17.06	o 25927
21.53/17.06	o 25925
21.53/17.06	o 25924
21.53/17.06	o 25922
21.53/17.06	o 25921
21.53/17.06	o 25920
21.53/17.06	o 25919
21.53/17.06	o 25918
21.72/17.28	o 25917
21.82/17.37	o 25916
21.82/17.37	o 25898
21.82/17.37	o 25893
21.82/17.37	o 25892
21.82/17.38	o 25881
21.82/17.38	o 25880
21.82/17.38	o 25879
21.82/17.38	o 25878
21.82/17.38	o 25877
21.82/17.38	o 25876
21.82/17.38	o 25803
21.82/17.38	o 25802
21.82/17.38	o 25789
21.82/17.38	o 25784
21.82/17.39	o 25783
21.82/17.39	o 25781
21.82/17.39	o 25780
21.82/17.39	o 25779
22.12/17.61	o 25778
22.12/17.61	o 25777
22.12/17.61	o 25776
22.12/17.61	o 25775
22.32/17.82	o 25774
22.63/18.12	o 25737
22.63/18.12	o 25736
22.63/18.12	o 25735
22.63/18.12	o 25734
22.63/18.13	o 25733
22.63/18.13	o 25711
22.63/18.13	o 25702
22.63/18.13	o 25699
22.63/18.13	o 25692
22.63/18.13	o 25691
22.63/18.13	o 25689
22.63/18.13	o 25688
22.63/18.13	o 25687
22.63/18.13	o 25656
22.63/18.13	o 25655
22.63/18.13	o 25654
22.63/18.13	o 25653
22.63/18.13	o 25652
22.63/18.13	o 25651
22.63/18.13	o 25650
22.63/18.13	o 25649
22.63/18.14	o 25648
22.72/18.22	o 25647
22.72/18.23	o 25646
22.72/18.24	o 25645
22.82/18.35	o 25643
22.82/18.35	o 25642
22.82/18.36	o 25641
22.92/18.42	o 25628
22.92/18.42	o 25623
22.92/18.42	o 25622
22.92/18.42	o 25557
22.92/18.42	o 25554
22.92/18.42	o 25553
22.92/18.42	o 25551
22.92/18.42	o 25477
22.92/18.42	o 25476
22.92/18.42	o 25465
22.92/18.42	o 25458
22.92/18.42	o 25457
22.92/18.42	o 25456
22.92/18.42	o 25455
22.92/18.42	o 25454
22.92/18.43	o 25452
22.92/18.43	o 25451
22.92/18.45	o 25450
23.02/18.51	o 25448
23.02/18.51	o 25447
23.02/18.51	o 25446
23.54/19.08	o 25445
23.54/19.08	o 25443
27.15/22.64	o 25441
27.15/22.64	o 25440
27.15/22.64	o 25429
27.15/22.64	o 25415
27.15/22.65	o 25409
27.15/22.65	o 25408
27.15/22.65	o 25386
27.15/22.65	o 25385
27.15/22.65	o 25383
27.15/22.65	o 25382
27.15/22.65	o 25372
27.15/22.65	o 25371
27.15/22.65	o 25357
27.15/22.65	o 25356
27.15/22.65	o 25339
27.15/22.65	o 25338
27.15/22.65	o 25325
27.15/22.65	o 25324
27.15/22.66	o 25323
27.15/22.66	o 25322
27.15/22.66	o 25321
27.15/22.66	o 25320
27.15/22.66	o 25319
27.15/22.68	o 25317
27.15/22.68	o 25307
27.15/22.68	o 25302
27.15/22.68	o 25299
27.15/22.68	o 25298
27.15/22.68	o 25297
27.15/22.68	o 25296
27.15/22.68	o 25295
27.15/22.69	o 25290
27.15/22.69	o 25289
27.25/22.70	o 25288
27.25/22.70	o 25287
27.25/22.70	o 25286
27.25/22.70	o 25285
27.25/22.70	o 25284
27.25/22.71	o 25283
27.25/22.71	o 25277
27.25/22.71	o 25276
27.25/22.71	o 25275
27.25/22.71	o 25274
27.25/22.71	o 25273
27.25/22.72	o 25272
27.25/22.72	o 25271
27.25/22.72	o 25270
27.25/22.80	o 25269
27.25/22.80	o 25268
27.76/23.25	o 25267
27.76/23.26	o 25266
27.88/23.31	o 25265
28.18/23.65	o 25264
28.88/24.35	o 25263
29.59/25.09	o 25243
29.59/25.09	o 25242
29.59/25.09	o 25241
29.59/25.09	o 25239
29.59/25.09	o 25236
29.59/25.09	o 25233
29.59/25.09	o 25227
29.59/25.09	o 25220
29.59/25.09	o 25219
29.59/25.09	o 25216
29.59/25.09	o 25215
29.59/25.09	o 25201
29.59/25.09	o 25196
29.59/25.09	o 25195
29.59/25.09	o 25194
29.59/25.09	o 25193
29.59/25.09	o 25175
29.59/25.09	o 25174
29.59/25.09	o 25172
29.59/25.09	o 25116
29.59/25.10	o 25104
29.59/25.10	o 25102
29.59/25.10	o 25101
29.59/25.10	o 25100
29.59/25.10	o 25099
29.70/25.11	o 25098
29.70/25.11	o 25097
29.70/25.11	o 25095
29.70/25.11	o 25093
29.70/25.11	o 25092
29.70/25.12	o 25091
29.70/25.12	o 25090
29.70/25.13	o 25089
29.70/25.16	o 25088
29.70/25.16	o 25087
29.70/25.17	o 25085
29.70/25.17	o 25084
29.78/25.20	o 25083
29.78/25.20	o 25082
29.78/25.20	o 25081
29.78/25.20	o 25080
29.78/25.20	o 25079
29.78/25.20	o 25078
29.78/25.20	o 25077
29.78/25.23	o 25076
29.78/25.23	o 25075
29.78/25.23	o 25074
29.78/25.23	o 25073
29.78/25.24	o 25072
29.89/25.31	o 25071
30.69/26.15	o 25070
30.69/26.15	o 25069
30.69/26.15	o 25068
30.69/26.15	o 25067
30.69/26.15	o 25066
30.69/26.15	o 25064
30.69/26.15	o 25063
30.69/26.15	o 25062
30.69/26.15	o 25061
30.69/26.16	o 25060
30.69/26.16	o 25057
30.69/26.16	o 25056
30.69/26.16	o 25054
30.69/26.16	o 25052
30.69/26.16	o 25051
30.79/26.20	o 25050
30.89/26.32	o 25049
30.89/26.37	o 25048
31.29/26.72	o 25047
32.00/27.44	o 25046
33.40/28.86	o 25045
33.61/29.03	o 25044
33.61/29.03	o 25025
33.61/29.03	o 24970
33.61/29.03	o 24965
33.61/29.03	o 24959
33.61/29.03	o 24956
33.61/29.03	o 24946
33.61/29.03	o 24945
33.61/29.03	o 24944
33.61/29.03	o 24942
33.61/29.03	o 24939
33.61/29.03	o 24936
33.61/29.03	o 24934
33.61/29.03	o 24930
33.61/29.03	o 24929
33.61/29.04	o 24928
33.61/29.04	o 24927
33.61/29.04	o 24923
33.61/29.04	o 24922
33.61/29.04	o 24921
33.61/29.04	o 24920
33.61/29.05	o 24919
33.61/29.06	o 24918
33.61/29.06	o 24916
33.61/29.06	o 24915
33.61/29.09	o 24914
33.61/29.10	o 24913
33.61/29.10	o 24912
33.71/29.11	o 24911
33.71/29.15	o 24910
33.71/29.16	o 24909
33.71/29.18	o 24908
33.71/29.19	o 24907
33.80/29.23	o 24906
33.80/29.23	o 24905
33.80/29.23	o 24904
33.80/29.23	o 24903
33.90/29.34	o 24902
34.00/29.48	o 24901
34.10/29.60	o 24900
34.20/29.61	o 24899
35.22/30.64	o 24898
35.52/30.99	o 24897
36.22/31.60	o 24893
36.22/31.60	o 24891
36.22/31.60	o 24889
36.22/31.60	o 24885
36.22/31.60	o 24883
36.22/31.60	o 24881
36.22/31.60	o 24876
36.22/31.60	o 24872
36.22/31.60	o 24868
36.22/31.60	o 24858
36.22/31.60	o 24854
36.22/31.60	o 24852
36.22/31.60	o 24850
36.22/31.60	o 24833
36.22/31.60	o 24824
36.22/31.60	o 24823
36.22/31.60	o 24822
36.22/31.61	o 24819
36.22/31.61	o 24817
36.22/31.61	o 24813
36.22/31.61	o 24811
36.22/31.61	o 24808
36.22/31.61	o 24806
36.22/31.61	o 24796
36.22/31.61	o 24794
36.22/31.61	o 24793
36.22/31.61	o 24792
36.22/31.61	o 24791
36.22/31.61	o 24790
36.22/31.62	o 24789
36.22/31.63	o 24788
36.22/31.63	o 24786
36.22/31.69	o 24785
36.32/31.70	o 24784
36.32/31.70	o 24783
36.32/31.71	o 24782
36.32/31.71	o 24781
36.32/31.76	o 24780
36.42/31.81	o 24778
36.42/31.85	o 24777
36.42/31.86	o 24775
37.12/32.58	o 24725
37.12/32.58	o 24711
37.12/32.58	o 24707
37.12/32.58	o 24702
37.12/32.58	o 24690
37.12/32.58	o 24687
37.12/32.58	o 24671
37.12/32.58	o 24667
37.12/32.58	o 24665
37.12/32.58	o 24663
37.12/32.59	o 24662
37.12/32.59	o 24661
37.12/32.60	o 24660
37.12/32.60	o 24659
37.22/32.63	o 24658
37.22/32.64	o 24654
37.22/32.64	o 24653
37.22/32.64	o 24650
37.22/32.65	o 24630
37.22/32.65	o 24628
37.22/32.65	o 24623
37.22/32.65	o 24622
37.22/32.65	o 24620
37.22/32.65	o 24619
37.22/32.65	o 24616
37.22/32.65	o 24614
37.22/32.65	o 24611
37.22/32.65	o 24607
37.22/32.65	o 24606
37.22/32.65	o 24605
37.22/32.65	o 24603
37.22/32.65	o 24602
37.22/32.65	o 24601
37.22/32.65	o 24569
37.22/32.65	o 24568
37.22/32.65	o 24553
37.22/32.65	o 24552
37.22/32.65	o 24551
37.22/32.65	o 24548
37.22/32.65	o 24547
37.22/32.65	o 24546
37.22/32.65	o 24545
37.22/32.65	o 24544
37.22/32.65	o 24543
37.22/32.65	o 24542
37.22/32.65	o 24541
37.22/32.65	o 24540
37.22/32.65	o 24538
37.22/32.66	o 24537
37.22/32.66	o 24535
37.22/32.66	o 24534
37.22/32.66	o 24532
38.12/33.59	o 24528
38.12/33.59	o 24527
38.12/33.59	o 24524
38.12/33.59	o 24523
38.12/33.59	o 24517
38.12/33.59	o 24516
38.12/33.59	o 24511
38.12/33.59	o 24510
38.12/33.59	o 24509
38.12/33.59	o 24507
38.22/33.60	o 24505
38.22/33.63	o 24504
38.22/33.64	o 24502
38.52/33.95	o 24500
39.53/34.92	o 24499
39.53/34.92	o 24498
39.53/34.92	o 24496
39.53/34.92	o 24495
39.53/34.92	o 24491
39.53/34.92	o 24490
39.53/34.92	o 24489
39.53/34.92	o 24488
39.53/34.92	o 24487
39.53/34.92	o 24486
39.53/34.93	o 24485
39.83/35.20	o 24484
39.83/35.28	o 24483
39.83/35.29	o 24482
39.83/35.29	o 24479
39.83/35.29	o 24478
39.83/35.29	o 24476
39.83/35.29	o 24475
39.83/35.29	o 24474
39.93/35.30	o 24441
39.93/35.30	o 24438
39.93/35.30	o 24437
39.93/35.30	o 24436
39.93/35.30	o 24435
39.93/35.30	o 24434
39.93/35.30	o 24433
39.93/35.31	o 24432
39.93/35.32	o 24430
39.93/35.32	o 24429
39.93/35.32	o 24427
39.93/35.32	o 24426
39.93/35.32	o 24425
39.93/35.32	o 24424
39.93/35.32	o 24407
39.93/35.32	o 24403
39.93/35.32	o 24402
39.93/35.33	o 24400
39.93/35.33	o 24394
39.93/35.33	o 24389
39.93/35.33	o 24388
39.93/35.34	o 24387
39.93/35.34	o 24386
40.03/35.40	o 24385
40.03/35.43	o 24384
40.03/35.44	o 24383
40.03/35.48	o 24381
40.03/35.48	o 24380
40.13/35.50	o 24379
40.13/35.50	o 24378
40.13/35.51	o 24377
40.13/35.52	o 24376
40.13/35.52	o 24375
40.13/35.52	o 24374
40.53/36.00	o 24373
40.74/36.12	o 24372
40.74/36.12	o 24368
40.74/36.12	o 24354
40.74/36.12	o 24349
40.74/36.12	o 24338
40.74/36.12	o 24337
40.74/36.12	o 24320
40.74/36.12	o 24317
40.74/36.12	o 24316
40.74/36.12	o 24314
40.74/36.12	o 24312
40.74/36.12	o 24311
40.74/36.13	o 24307
40.74/36.13	o 24306
40.74/36.13	o 24305
41.03/36.43	o 24304
41.03/36.43	o 24303
41.03/36.43	o 24302
41.13/36.55	o 24301
41.13/36.55	o 24300
41.13/36.57	o 24299
41.13/36.58	o 24298
41.13/36.59	o 24297
41.13/36.59	o 24296
41.23/36.62	o 24295
42.54/37.99	o 24293
42.54/37.99	o 24291
42.54/37.99	o 24280
42.54/37.99	o 24278
42.54/37.99	o 24276
42.54/37.99	o 24274
42.54/37.99	o 24272
42.54/37.99	o 24271
42.54/38.00	o 24266
42.54/38.00	o 24265
42.54/38.00	o 24264
42.54/38.00	o 24245
42.54/38.00	o 24244
42.54/38.00	o 24243
42.54/38.00	o 24241
42.54/38.00	o 24240
42.54/38.00	o 24239
42.54/38.00	o 24238
42.54/38.01	o 24237
42.65/38.01	o 24236
42.65/38.04	o 24235
42.65/38.04	o 24234
42.65/38.04	o 24233
42.65/38.04	o 24232
42.65/38.05	o 24231
42.65/38.05	o 24230
42.65/38.05	o 24229
42.75/38.14	o 24228
42.94/38.32	o 24227
43.14/38.51	o 24226
44.35/39.72	o 24225
44.76/40.14	o 24224
45.05/40.45	o 24222
45.05/40.45	o 24221
45.05/40.45	o 24219
45.05/40.45	o 24218
45.05/40.46	o 24127
45.05/40.46	o 24126
45.05/40.46	o 24125
45.05/40.47	o 24124
45.05/40.47	o 24123
45.25/40.66	o 24122
45.85/41.29	o 24121
45.85/41.29	o 24120
45.85/41.29	o 24116
45.85/41.29	o 24114
45.85/41.29	o 24112
45.85/41.29	o 24111
45.85/41.29	o 24107
45.85/41.29	o 24106
45.85/41.29	o 24105
45.85/41.29	o 24104
45.85/41.29	o 24103
45.85/41.29	o 24102
45.85/41.29	o 24101
45.85/41.29	o 24015
45.85/41.29	o 24014
45.85/41.29	o 24011
45.85/41.29	o 24009
45.85/41.29	o 23988
45.85/41.29	o 23983
45.85/41.29	o 23982
45.85/41.29	o 23980
45.85/41.29	o 23979
45.85/41.29	o 23977
45.85/41.29	o 23976
45.85/41.30	o 23975
45.95/41.30	o 23946
45.95/41.30	o 23945
45.95/41.30	o 23942
45.95/41.30	o 23901
45.95/41.30	o 23900
45.95/41.30	o 23897
45.95/41.30	o 23896
45.95/41.30	o 23895
45.95/41.32	o 23894
45.95/41.32	o 23893
45.95/41.32	o 23892
45.95/41.33	o 23890
45.95/41.33	o 23889
45.95/41.33	o 23888
46.05/41.42	o 23887
46.05/41.49	o 23886
46.05/41.49	o 23885
46.05/41.49	o 23884
46.16/41.51	o 23882
46.16/41.52	o 23881
46.26/41.64	o 23880
46.36/41.75	o 23879
46.36/41.75	o 23877
46.36/41.75	o 23876
46.36/41.75	o 23866
46.36/41.75	o 23864
46.36/41.75	o 23860
46.36/41.75	o 23858
46.36/41.75	o 23818
46.36/41.75	o 23797
46.36/41.75	o 23791
46.36/41.75	o 23784
46.36/41.75	o 23781
46.36/41.75	o 23780
46.36/41.75	o 23779
46.36/41.76	o 23778
46.36/41.76	o 23777
46.36/41.76	o 23776
46.36/41.76	o 23775
46.36/41.76	o 23774
46.36/41.76	o 23771
46.36/41.76	o 23769
46.36/41.76	o 23768
46.36/41.76	o 23767
46.36/41.76	o 23766
46.36/41.77	o 23765
46.36/41.77	o 23764
46.46/41.88	o 23763
46.46/41.88	o 23762
46.46/41.88	o 23758
46.46/41.88	o 23757
46.46/41.88	o 23754
46.46/41.88	o 23753
46.46/41.88	o 23752
46.46/41.88	o 23745
46.46/41.88	o 23744
46.46/41.88	o 23743
46.46/41.88	o 23706
46.46/41.88	o 23705
46.46/41.88	o 23704
46.46/41.88	o 23678
46.46/41.88	o 23677
46.46/41.88	o 23676
46.46/41.88	o 23672
46.46/41.88	o 23671
46.46/41.88	o 23670
46.46/41.88	o 23669
46.46/41.88	o 23668
46.46/41.89	o 23667
46.46/41.89	o 23666
46.46/41.89	o 23665
46.46/41.89	o 23664
46.46/41.89	o 23663
46.46/41.89	o 23662
46.56/41.90	o 23661
46.56/41.92	o 23660
46.56/41.93	o 23659
46.56/41.93	o 23658
46.56/41.94	o 23657
46.56/41.97	o 23656
46.67/42.01	o 23655
46.67/42.04	o 23654
46.77/42.19	o 23653
46.86/42.24	o 23652
46.86/42.29	o 23651
47.70/43.07	o 23650
47.70/43.07	o 23649
47.70/43.08	o 23648
47.70/43.09	o 23640
47.70/43.09	o 23632
47.70/43.09	o 23502
47.70/43.09	o 23501
47.70/43.09	o 23484
47.70/43.09	o 23482
47.70/43.09	o 23480
47.70/43.09	o 23478
47.70/43.09	o 23476
47.70/43.09	o 23471
47.70/43.09	o 23469
47.70/43.09	o 23468
47.70/43.09	o 23467
47.70/43.09	o 23466
47.70/43.10	o 23465
47.70/43.10	o 23462
47.70/43.10	o 23460
47.80/43.11	o 23459
47.80/43.11	o 23458
47.80/43.11	o 23456
47.80/43.17	o 23455
47.80/43.17	o 23454
47.80/43.17	o 23453
49.00/44.33	o 23452
49.00/44.33	o 23451
49.00/44.33	o 23450
49.00/44.33	o 23438
49.00/44.33	o 23436
49.00/44.33	o 23435
49.00/44.33	o 23434
49.00/44.33	o 23433
49.00/44.33	o 23431
49.00/44.33	o 23429
49.00/44.33	o 23428
49.00/44.34	o 23425
49.00/44.34	o 23424
49.00/44.34	o 23404
49.00/44.34	o 23403
49.00/44.35	o 23357
49.00/44.35	o 23356
49.00/44.35	o 23277
49.00/44.35	o 23276
49.00/44.35	o 23237
49.00/44.35	o 23236
49.00/44.35	o 23227
49.00/44.35	o 23226
49.00/44.37	o 23221
49.00/44.37	o 23220
49.00/44.37	o 23218
49.10/44.43	o 23216
49.10/44.45	o 23215
49.10/44.45	o 23214
49.30/44.69	o 23213
49.40/44.77	o 23212
49.40/44.77	o 23211
50.50/45.81	o 23210
50.50/45.81	o 23209
50.50/45.83	o 23208
50.91/46.20	o 23207
50.91/46.20	o 23206
50.91/46.20	o 23205
50.91/46.20	o 23204
50.91/46.20	o 23203
50.91/46.20	o 23202
50.91/46.20	o 23201
50.91/46.20	o 23200
50.91/46.21	o 23199
50.91/46.21	o 23198
50.91/46.21	o 23197
50.91/46.22	o 23196
50.91/46.22	o 23195
50.91/46.22	o 23194
50.91/46.25	o 23193
50.91/46.25	o 23192
51.21/46.51	o 23097
51.21/46.51	o 23050
51.21/46.51	o 23041
51.21/46.51	o 23040
51.21/46.51	o 23036
51.21/46.51	o 23035
51.21/46.51	o 23033
51.21/46.51	o 23013
51.21/46.51	o 22984
51.21/46.51	o 22982
51.21/46.51	o 22980
51.21/46.51	o 22971
51.21/46.51	o 22969
51.21/46.51	o 22968
51.21/46.52	o 22967
51.21/46.52	o 22965
51.21/46.52	o 22964
51.21/46.52	o 22962
51.21/46.55	o 22961
51.21/46.55	o 22960
51.61/46.97	o 22959
51.61/47.00	o 22958
51.72/47.02	o 22957
51.72/47.02	o 22956
51.72/47.02	o 22955
51.82/47.12	o 22953
51.82/47.12	o 22952
51.82/47.12	o 22950
51.82/47.12	o 22949
51.82/47.12	o 22948
51.82/47.12	o 22947
51.82/47.13	o 22946
51.82/47.13	o 22945
51.82/47.13	o 22944
51.82/47.13	o 22943
51.91/47.20	o 22941
51.91/47.20	o 22940
51.91/47.20	o 22938
51.91/47.23	o 22937
51.91/47.23	o 22934
51.91/47.25	o 22933
51.91/47.27	o 22932
54.73/50.07	o 22930
54.73/50.07	o 22923
54.73/50.07	o 22920
54.73/50.07	o 22912
54.73/50.07	o 22910
54.73/50.07	o 22893
54.73/50.07	o 22888
54.73/50.07	o 22887
54.73/50.07	o 22880
54.73/50.08	o 22879
54.73/50.08	o 22878
54.73/50.08	o 22872
54.73/50.08	o 22871
54.73/50.08	o 22869
54.73/50.08	o 22868
54.73/50.08	o 22867
54.73/50.08	o 22866
54.73/50.08	o 22865
54.73/50.08	o 22864
54.73/50.08	o 22863
54.73/50.08	o 22862
54.73/50.08	o 22861
54.73/50.08	o 22860
54.73/50.08	o 22859
54.73/50.08	o 22858
54.73/50.09	o 22857
54.73/50.09	o 22856
54.73/50.09	o 22855
54.73/50.10	o 22854
54.73/50.10	o 22853
54.73/50.10	o 22852
54.73/50.10	o 22851
54.73/50.10	o 22850
54.83/50.11	o 22849
54.83/50.11	o 22848
54.83/50.11	o 22847
54.83/50.11	o 22846
54.83/50.11	o 22845
54.83/50.11	o 22844
54.83/50.11	o 22843
54.83/50.12	o 22842
55.62/50.97	o 22841
55.92/51.26	o 22840
57.54/52.88	o 22839
58.04/53.35	o 22838
58.04/53.35	o 22837
58.04/53.35	o 22835
58.04/53.35	o 22833
58.04/53.35	o 22832
58.04/53.35	o 22830
58.04/53.35	o 22793
58.04/53.35	o 22790
58.04/53.35	o 22788
58.04/53.35	o 22785
58.04/53.36	o 22758
58.04/53.36	o 22699
58.04/53.36	o 22695
58.04/53.36	o 22687
58.04/53.36	o 22681
58.04/53.36	o 22680
58.04/53.36	o 22679
58.04/53.36	o 22678
58.04/53.36	o 22665
58.04/53.37	o 22664
58.04/53.37	o 22652
58.04/53.37	o 22651
58.04/53.37	o 22649
58.04/53.37	o 22648
58.04/53.37	o 22629
58.04/53.37	o 22628
58.04/53.37	o 22623
58.04/53.37	o 22622
58.04/53.37	o 22621
58.04/53.37	o 22620
58.04/53.37	o 22618
58.04/53.37	o 22617
58.04/53.38	o 22616
58.04/53.38	o 22615
58.04/53.38	o 22614
58.04/53.38	o 22612
58.04/53.38	o 22611
58.04/53.39	o 22609
58.34/53.61	o 22607
58.54/53.85	o 22606
58.75/54.05	o 22605
59.24/54.52	o 22604
59.54/54.88	o 22603
60.35/55.61	o 22584
60.35/55.61	o 22581
60.35/55.61	o 22580
60.35/55.61	o 22579
60.35/55.62	o 22493
60.35/55.62	o 22488
60.35/55.62	o 22485
60.35/55.62	o 22458
60.35/55.62	o 22425
60.35/55.62	o 22409
60.35/55.62	o 22386
60.35/55.63	o 22385
60.35/55.63	o 22384
60.35/55.63	o 22383
60.35/55.63	o 22382
60.35/55.64	o 22381
60.35/55.67	o 22379
60.35/55.68	o 22378
60.35/55.68	o 22377
60.35/55.68	o 22376
60.35/55.68	o 22375
61.26/56.53	o 22374
61.26/56.53	o 22373
61.26/56.53	o 22372
61.26/56.53	o 22371
61.26/56.53	o 22369
61.26/56.53	o 22368
61.26/56.53	o 22366
61.26/56.53	o 22353
61.26/56.53	o 22351
61.26/56.53	o 22350
61.26/56.53	o 22349
61.26/56.53	o 22348
61.26/56.53	o 22347
61.26/56.53	o 22346
61.26/56.53	o 22345
61.26/56.53	o 22344
61.26/56.53	o 22278
61.26/56.53	o 22277
61.26/56.53	o 22276
61.26/56.53	o 22205
61.26/56.53	o 22204
61.26/56.54	o 22203
61.26/56.54	o 22198
61.26/56.54	o 22197
61.26/56.54	o 22196
61.26/56.54	o 22195
61.26/56.54	o 22194
61.26/56.54	o 22193
61.26/56.59	o 22192
61.26/56.60	o 22191
61.26/56.60	o 22190
63.16/58.49	o 22189
63.16/58.49	o 22187
63.16/58.49	o 22184
63.16/58.49	o 22183
63.16/58.49	o 22181
63.16/58.49	o 22180
63.16/58.49	o 22179
63.16/58.49	o 22178
63.16/58.50	o 22177
63.16/58.50	o 22174
63.16/58.50	o 22173
63.16/58.50	o 22089
63.16/58.50	o 22088
63.16/58.50	o 22086
63.26/58.50	o 22085
63.26/58.50	o 22030
63.26/58.50	o 22029
63.26/58.50	o 22027
63.26/58.50	o 22026
63.26/58.50	o 22025
63.26/58.50	o 22022
63.26/58.50	o 22021
63.26/58.50	o 22020
63.26/58.50	o 22015
63.26/58.50	o 22014
63.26/58.51	o 22013
63.26/58.52	o 22012
63.26/58.52	o 22011
63.26/58.53	o 22009
63.26/58.53	o 22008
63.26/58.53	o 22007
63.26/58.57	o 22006
63.26/58.58	o 22005
63.26/58.58	o 22004
63.26/58.58	o 22003
63.46/58.79	o 22002
63.46/58.79	o 22001
63.46/58.79	o 21999
63.46/58.79	o 21998
64.28/59.59	o 21997
64.38/59.61	o 21996
64.68/59.91	o 21995
64.89/60.12	o 21994
64.89/60.12	o 21993
64.89/60.12	o 21992
64.89/60.12	o 21990
64.89/60.12	o 21988
64.89/60.12	o 21987
64.89/60.12	o 21985
64.89/60.12	o 21984
64.89/60.12	o 21982
64.89/60.12	o 21981
64.89/60.12	o 21980
64.89/60.12	o 21978
64.89/60.12	o 21975
64.89/60.12	o 21974
64.89/60.12	o 21966
64.89/60.12	o 21965
64.89/60.12	o 21957
64.89/60.12	o 21956
64.89/60.12	o 21951
64.89/60.12	o 21949
64.89/60.12	o 21948
64.89/60.12	o 21944
64.89/60.12	o 21943
64.89/60.12	o 21925
64.89/60.12	o 21924
64.89/60.13	o 21923
64.89/60.13	o 21922
64.89/60.13	o 21917
64.89/60.13	o 21916
64.89/60.13	o 21914
64.89/60.13	o 21913
64.89/60.15	o 21912
64.89/60.15	o 21910
64.89/60.15	o 21909
64.89/60.15	o 21908
64.89/60.16	o 21907
64.89/60.18	o 21906
64.89/60.18	o 21905
65.08/60.37	o 21904
65.18/60.41	o 21903
65.28/60.52	o 21902
65.28/60.52	o 21901
65.28/60.52	o 21900
65.28/60.52	o 21899
65.28/60.52	o 21898
65.38/60.69	o 21825
65.38/60.69	o 21823
65.38/60.69	o 21821
65.38/60.69	o 21805
65.38/60.69	o 21767
65.38/60.69	o 21761
65.38/60.69	o 21715
65.38/60.69	o 21714
65.38/60.70	o 21680
65.38/60.70	o 21679
65.38/60.70	o 21678
65.38/60.70	o 21677
65.48/60.70	o 21672
65.48/60.70	o 21671
65.48/60.70	o 21670
65.48/60.70	o 21666
65.48/60.70	o 21664
65.48/60.70	o 21663
65.48/60.72	o 21662
65.48/60.72	o 21660
65.48/60.74	o 21659
65.48/60.75	o 21658
65.48/60.77	o 21656
65.48/60.77	o 21655
65.48/60.78	o 21654
65.48/60.79	o 21653
65.48/60.79	o 21652
65.48/60.79	o 21651
65.48/60.79	o 21650
65.58/60.83	o 21649
66.38/61.65	o 21647
66.38/61.65	o 21645
66.38/61.65	o 21644
66.38/61.65	o 21642
66.38/61.65	o 21639
66.38/61.65	o 21637
66.38/61.65	o 21635
66.38/61.65	o 21633
66.38/61.65	o 21631
66.38/61.65	o 21630
66.38/61.65	o 21629
66.38/61.65	o 21627
66.38/61.65	o 21625
66.38/61.65	o 21623
66.38/61.65	o 21619
66.38/61.65	o 21617
66.38/61.65	o 21613
66.38/61.65	o 21611
66.38/61.65	o 21610
66.38/61.65	o 21609
66.38/61.65	o 21608
66.38/61.66	o 21522
66.38/61.66	o 21520
66.38/61.66	o 21519
66.38/61.66	o 21465
66.38/61.66	o 21462
66.38/61.66	o 21461
66.38/61.66	o 21460
66.38/61.66	o 21459
66.38/61.66	o 21456
66.38/61.66	o 21455
66.38/61.66	o 21447
66.38/61.66	o 21446
66.38/61.66	o 21445
66.38/61.67	o 21444
66.38/61.67	o 21442
66.48/61.72	o 21440
66.48/61.72	o 21439
66.68/61.95	o 21438
66.98/62.22	o 21437
66.98/62.22	o 21436
67.39/62.61	o 21435
67.49/62.78	o 21434
67.49/62.78	o 21432
67.49/62.78	o 21428
67.49/62.78	o 21425
67.49/62.78	o 21417
67.49/62.78	o 21412
67.49/62.78	o 21411
67.49/62.78	o 21407
67.49/62.79	o 21406
67.49/62.79	o 21405
67.59/62.80	o 21404
67.59/62.80	o 21403
67.59/62.80	o 21402
67.59/62.81	o 21392
67.59/62.81	o 21360
67.59/62.81	o 21357
67.59/62.81	o 21356
67.59/62.81	o 21354
67.59/62.81	o 21272
67.59/62.82	o 21270
67.59/62.82	o 21258
67.59/62.82	o 21257
67.59/62.82	o 21254
67.59/62.84	o 21253
67.59/62.89	o 21252
67.59/62.89	o 21251
67.59/62.90	o 21250
67.69/62.95	o 21248
67.69/62.95	o 21246
67.69/62.95	o 21245
67.69/62.95	o 21244
67.69/62.95	o 21243
67.69/62.95	o 21242
68.09/63.37	o 21241
68.19/63.47	o 21240
69.30/64.52	o 21239
69.70/64.94	o 21238
69.70/64.94	o 21237
69.70/64.94	o 21236
69.81/65.03	o 21235
69.81/65.06	o 21234
70.21/65.42	o 21233
70.21/65.42	o 21232
70.21/65.42	o 21231
70.21/65.42	o 21226
70.21/65.42	o 21224
70.21/65.42	o 21223
70.21/65.42	o 21221
70.21/65.42	o 21220
70.21/65.42	o 21219
70.21/65.42	o 21218
70.21/65.42	o 21216
70.21/65.42	o 21214
70.21/65.42	o 21213
70.21/65.42	o 21212
70.21/65.42	o 21211
70.21/65.42	o 21210
70.21/65.42	o 21209
70.21/65.42	o 21208
70.21/65.43	o 21207
70.21/65.43	o 21206
70.21/65.43	o 21205
70.21/65.43	o 21204
70.21/65.43	o 21203
70.21/65.44	o 21202
70.21/65.44	o 21201
70.21/65.44	o 21200
70.21/65.44	o 21199
70.21/65.44	o 21198
70.21/65.44	o 21197
70.21/65.46	o 21196
70.41/65.60	o 21195
70.41/65.60	o 21193
70.41/65.60	o 21191
70.41/65.60	o 21190
70.51/65.74	o 21189
70.92/66.14	o 21159
70.92/66.14	o 21158
70.92/66.14	o 21153
70.92/66.14	o 21152
70.92/66.14	o 21147
70.92/66.14	o 21146
70.92/66.14	o 21143
70.92/66.14	o 21142
70.92/66.14	o 21140
70.92/66.14	o 21139
70.92/66.14	o 21128
70.92/66.14	o 21127
70.92/66.14	o 21101
70.92/66.14	o 21100
70.92/66.14	o 21099
70.92/66.14	o 21098
70.92/66.15	o 21097
70.92/66.15	o 21096
70.92/66.15	o 21094
70.92/66.15	o 21093
70.92/66.15	o 21061
70.92/66.15	o 21060
70.92/66.15	o 20988
70.92/66.15	o 20987
70.92/66.16	o 20986
70.92/66.16	o 20985
70.92/66.16	o 20984
70.92/66.16	o 20983
70.92/66.16	o 20982
70.92/66.16	o 20981
70.92/66.17	o 20980
70.92/66.17	o 20979
70.92/66.17	o 20978
70.92/66.17	o 20977
70.92/66.17	o 20976
71.41/66.64	o 20974
71.41/66.64	o 20973
71.51/66.70	o 20972
71.71/67.00	o 20971
71.71/67.00	o 20970
71.71/67.00	o 20969
71.71/67.00	o 20968
72.21/67.48	o 20955
72.21/67.48	o 20947
72.21/67.48	o 20931
72.21/67.48	o 20929
72.21/67.48	o 20927
72.21/67.48	o 20926
72.21/67.48	o 20920
72.21/67.48	o 20919
72.21/67.48	o 20914
72.21/67.48	o 20913
72.21/67.48	o 20911
72.21/67.48	o 20910
72.21/67.48	o 20858
72.21/67.48	o 20857
72.21/67.48	o 20856
72.21/67.48	o 20855
72.21/67.48	o 20854
72.21/67.49	o 20853
72.21/67.49	o 20852
72.21/67.49	o 20850
72.21/67.49	o 20849
72.21/67.49	o 20848
72.21/67.49	o 20847
72.41/67.65	o 20846
72.41/67.65	o 20844
72.41/67.66	o 20843
72.92/68.15	o 20841
72.92/68.15	o 20840
75.43/70.63	o 20839
75.43/70.63	o 20838
75.43/70.63	o 20837
75.43/70.63	o 20835
75.43/70.63	o 20809
75.43/70.63	o 20807
75.43/70.63	o 20791
75.43/70.63	o 20786
75.43/70.63	o 20785
75.43/70.63	o 20782
75.43/70.63	o 20779
75.43/70.63	o 20753
75.43/70.63	o 20752
75.43/70.63	o 20739
75.43/70.63	o 20737
75.43/70.63	o 20732
75.43/70.64	o 20731
75.43/70.64	o 20727
75.43/70.64	o 20725
75.43/70.64	o 20718
75.43/70.64	o 20717
75.43/70.64	o 20716
75.43/70.65	o 20703
75.43/70.65	o 20663
75.43/70.65	o 20657
75.43/70.65	o 20652
75.43/70.65	o 20651
75.43/70.66	o 20650
75.43/70.66	o 20649
75.43/70.66	o 20647
75.43/70.70	o 20646
75.53/70.72	o 20645
75.53/70.73	o 20644
75.53/70.73	o 20642
75.53/70.73	o 20641
75.53/70.74	o 20640
75.53/70.74	o 20638
75.53/70.75	o 20632
75.53/70.75	o 20631
75.53/70.76	o 20630
75.73/70.93	o 20629
76.85/72.08	o 20628
76.85/72.08	o 20627
76.85/72.10	o 20626
76.85/72.10	o 20624
78.14/73.35	o 20605
78.14/73.35	o 20584
78.14/73.35	o 20583
78.14/73.35	o 20582
78.14/73.35	o 20581
78.14/73.36	o 20579
78.14/73.36	o 20575
78.14/73.36	o 20554
78.14/73.36	o 20543
78.14/73.36	o 20533
78.14/73.37	o 20529
78.14/73.37	o 20528
78.14/73.37	o 20526
78.14/73.38	o 20524
78.14/73.38	o 20522
78.14/73.39	o 20521
78.14/73.39	o 20520
78.14/73.39	o 20519
78.14/73.39	o 20518
78.34/73.53	o 20517
78.46/73.64	o 20516
78.46/73.64	o 20515
78.46/73.64	o 20514
79.16/74.30	o 20508
79.16/74.30	o 20484
79.16/74.30	o 20480
79.16/74.30	o 20479
79.16/74.30	o 20430
79.16/74.30	o 20350
79.16/74.30	o 20337
79.16/74.30	o 20332
79.16/74.30	o 20331
79.16/74.30	o 20328
79.16/74.30	o 20327
79.16/74.30	o 20325
79.16/74.30	o 20320
79.16/74.30	o 20319
79.16/74.30	o 20316
79.16/74.30	o 20315
79.16/74.31	o 20313
79.16/74.31	o 20311
79.16/74.31	o 20310
79.16/74.31	o 20309
79.16/74.31	o 20307
79.16/74.31	o 20306
79.16/74.31	o 20304
79.16/74.31	o 20303
79.16/74.32	o 20301
79.16/74.33	o 20299
79.16/74.34	o 20298
79.16/74.34	o 20297
79.16/74.34	o 20295
79.16/74.35	o 20294
79.26/74.45	o 20292
79.46/74.66	o 20291
79.46/74.67	o 20290
79.46/74.68	o 20288
79.46/74.68	o 20287
79.46/74.68	o 20285
79.46/74.68	o 20282
79.46/74.68	o 20280
79.46/74.68	o 20279
79.46/74.68	o 20265
79.46/74.69	o 20264
79.46/74.69	o 20263
79.46/74.69	o 20262
79.46/74.69	o 20259
79.46/74.69	o 20257
79.46/74.69	o 20246
79.46/74.69	o 20242
79.46/74.69	o 20241
79.46/74.69	o 20212
79.46/74.69	o 20210
79.46/74.69	o 20208
79.46/74.70	o 20207
79.46/74.70	o 20206
79.56/74.70	o 20203
79.56/74.70	o 20202
79.56/74.70	o 20201
79.56/74.70	o 20199
79.56/74.70	o 20198
79.56/74.70	o 20197
79.56/74.70	o 20196
79.56/74.71	o 20195
79.56/74.71	o 20192
79.56/74.71	o 20191
79.56/74.71	o 20190
80.77/75.97	o 20189
80.88/76.02	o 20188
82.68/77.84	o 20187
82.68/77.84	o 20186
82.68/77.84	o 20185
82.68/77.84	o 20178
82.68/77.84	o 20177
82.68/77.84	o 20175
82.68/77.84	o 20174
82.68/77.84	o 20173
82.68/77.84	o 20166
82.68/77.84	o 20165
82.68/77.84	o 20164
82.68/77.84	o 20143
82.68/77.84	o 20142
82.68/77.84	o 20141
82.68/77.84	o 20140
82.68/77.85	o 20139
82.68/77.85	o 20138
82.68/77.85	o 20137
82.68/77.85	o 20136
82.68/77.87	o 20135
82.68/77.88	o 20134
83.49/78.60	o 20133
84.80/79.91	o 20132
84.80/79.92	o 20131
85.30/80.45	o 20129
85.30/80.45	o 20128
85.30/80.45	o 20127
85.30/80.45	o 20126
85.30/80.45	o 20089
85.30/80.45	o 20086
85.30/80.45	o 20085
85.30/80.45	o 20084
85.30/80.45	o 20083
85.30/80.45	o 20082
85.30/80.45	o 20080
85.30/80.45	o 20079
85.30/80.45	o 20058
85.30/80.45	o 20057
85.30/80.45	o 20052
85.30/80.46	o 20051
85.30/80.46	o 20049
85.30/80.46	o 20048
85.30/80.46	o 20047
85.30/80.47	o 20046
85.30/80.47	o 20045
85.30/80.47	o 20044
85.30/80.47	o 20043
85.30/80.47	o 20042
85.30/80.48	o 20041
85.30/80.48	o 20040
85.30/80.48	o 20039
85.30/80.48	o 20038
89.03/84.15	o 20029
89.03/84.15	o 20013
89.03/84.15	o 20004
89.03/84.15	o 19999
89.03/84.15	o 19997
89.03/84.15	o 19992
89.03/84.15	o 19991
89.03/84.15	o 19990
89.03/84.15	o 19989
89.03/84.15	o 19987
89.03/84.15	o 19986
89.03/84.15	o 19984
89.03/84.16	o 19948
89.03/84.16	o 19912
89.03/84.16	o 19847
89.12/84.21	o 19846
89.12/84.21	o 19845
89.12/84.27	o 19844
89.22/84.38	o 19843
89.32/84.47	o 19842
89.32/84.47	o 19841
89.32/84.47	o 19840
89.32/84.47	o 19839
89.42/84.50	o 19838
89.42/84.54	o 19837
89.42/84.54	o 19836
89.42/84.54	o 19835
89.42/84.54	o 19834
89.42/84.54	o 19833
89.42/84.55	o 19832
89.42/84.56	o 19831
89.52/84.63	o 19830
89.95/85.09	o 19829
89.95/85.09	o 19826
89.95/85.09	o 19783
89.95/85.10	o 19752
89.95/85.10	o 19751
89.95/85.10	o 19746
89.95/85.10	o 19650
89.95/85.10	o 19623
89.95/85.10	o 19619
89.95/85.11	o 19612
89.95/85.11	o 19608
90.06/85.11	o 19607
90.06/85.12	o 19606
90.06/85.12	o 19604
90.24/85.30	o 19603
90.24/85.30	o 19602
90.24/85.31	o 19601
90.24/85.34	o 19600
90.34/85.48	o 19599
90.44/85.50	o 19596
90.44/85.52	o 19595
90.75/85.87	o 19594
90.75/85.87	o 19593
90.85/85.92	o 19592
91.25/86.35	o 19591
91.25/86.35	o 19590
91.25/86.35	o 19589
91.35/86.46	o 19578
91.35/86.46	o 19573
91.35/86.46	o 19547
91.35/86.46	o 19543
91.35/86.46	o 19542
91.35/86.46	o 19541
91.35/86.46	o 19540
91.35/86.46	o 19539
91.35/86.46	o 19538
91.35/86.46	o 19537
91.35/86.46	o 19536
91.35/86.46	o 19535
91.35/86.46	o 19504
91.35/86.46	o 19502
91.35/86.46	o 19501
91.35/86.46	o 19489
91.35/86.46	o 19488
91.35/86.46	o 19484
91.35/86.46	o 19483
91.35/86.46	o 19481
91.35/86.46	o 19480
91.35/86.46	o 19477
91.35/86.46	o 19476
91.45/86.56	o 19475
91.55/86.63	o 19474
91.55/86.64	o 19473
91.66/86.72	o 19472
91.76/86.82	o 19470
91.96/87.04	o 19469
92.26/87.31	o 19466
92.26/87.31	o 19465
92.26/87.32	o 19464
92.26/87.32	o 19463
92.26/87.33	o 19462
92.26/87.34	o 19458
92.46/87.53	o 19455
93.87/89.00	o 19454
93.87/89.00	o 19453
93.87/89.00	o 19452
93.87/89.00	o 19451
93.98/89.01	o 19450
94.08/89.15	o 19449
95.69/90.71	o 19444
95.69/90.71	o 19442
95.69/90.71	o 19441
95.69/90.72	o 19435
95.69/90.72	o 19432
95.69/90.72	o 19430
95.69/90.72	o 19429
95.69/90.72	o 19420
95.69/90.72	o 19408
95.69/90.72	o 19404
95.69/90.72	o 19394
95.69/90.72	o 19390
95.69/90.72	o 19387
95.69/90.72	o 19382
95.69/90.72	o 19377
95.69/90.72	o 19360
95.69/90.72	o 19312
95.69/90.72	o 19287
95.69/90.79	o 19286
95.69/90.79	o 19285
95.69/90.79	o 19284
95.79/90.89	o 19283
96.10/91.11	o 19282
96.10/91.14	o 19281
96.39/91.44	o 19280
96.59/91.66	o 19279
96.89/91.94	o 19278
96.89/91.94	o 19277
96.89/91.94	o 19275
96.89/91.94	o 19253
96.89/91.94	o 19249
96.89/91.94	o 19248
96.89/91.95	o 19247
97.01/92.08	o 19246
97.11/92.14	o 19245
97.70/92.72	o 19244
98.01/93.04	o 19232
98.01/93.04	o 19229
98.01/93.04	o 19227
98.01/93.04	o 19226
98.01/93.04	o 19216
98.01/93.04	o 19214
98.01/93.05	o 19213
98.01/93.05	o 19212
98.01/93.05	o 19211
98.01/93.05	o 19210
98.01/93.05	o 19209
98.01/93.05	o 19207
98.01/93.05	o 19191
98.01/93.05	o 19185
98.01/93.05	o 19184
98.01/93.06	o 19183
98.01/93.06	o 19182
98.01/93.06	o 19181
98.01/93.06	o 19180
98.01/93.07	o 19179
98.01/93.07	o 19178
98.01/93.07	o 19177
98.01/93.07	o 19176
98.01/93.07	o 19175
98.01/93.07	o 19174
98.01/93.07	o 19173
98.21/93.24	o 19162
98.21/93.24	o 19141
98.21/93.24	o 19139
98.21/93.24	o 19136
98.21/93.24	o 19133
98.21/93.24	o 19128
98.21/93.24	o 19073
98.21/93.24	o 19068
98.21/93.24	o 19066
98.21/93.24	o 19065
98.21/93.24	o 19064
98.21/93.24	o 19063
98.21/93.24	o 19059
98.21/93.24	o 19058
98.21/93.24	o 19057
98.21/93.24	o 19051
98.21/93.24	o 19049
98.21/93.24	o 19018
98.21/93.24	o 19016
98.21/93.24	o 19015
98.21/93.24	o 19014
98.21/93.24	o 19013
98.21/93.24	o 19012
98.21/93.24	o 19011
98.21/93.24	o 19010
98.21/93.24	o 19009
98.21/93.24	o 19008
98.21/93.24	o 19007
98.21/93.26	o 19006
98.21/93.26	o 19005
98.21/93.29	o 19004
98.21/93.30	o 19003
98.31/93.39	o 19002
98.41/93.40	o 19001
98.41/93.41	o 19000
98.41/93.42	o 18999
98.41/93.49	o 18998
98.51/93.50	o 18997
98.51/93.50	o 18996
99.53/94.54	o 18995
99.53/94.54	o 18994
99.53/94.54	o 18993
99.53/94.54	o 18992
99.53/94.55	o 18986
99.53/94.55	o 18984
99.53/94.55	o 18982
99.53/94.55	o 18980
99.53/94.55	o 18979
99.53/94.55	o 18978
99.53/94.55	o 18977
99.84/94.80	o 18976
99.84/94.80	o 18975
100.84/95.88	o 18974
100.94/95.91	o 18972
100.94/95.91	o 18968
100.94/95.91	o 18961
100.94/95.91	o 18960
100.94/95.91	o 18957
100.94/95.91	o 18956
100.94/95.91	o 18955
100.94/95.91	o 18953
100.94/95.91	o 18946
100.94/95.91	o 18943
100.94/95.91	o 18897
100.94/95.91	o 18885
100.94/95.91	o 18876
100.94/95.91	o 18868
100.94/95.91	o 18865
100.94/95.91	o 18864
100.94/95.91	o 18863
100.94/95.91	o 18862
100.94/95.91	o 18861
100.94/95.91	o 18860
100.94/95.92	o 18859
100.94/95.92	o 18858
100.94/95.92	o 18857
100.94/95.92	o 18856
100.94/95.92	o 18855
100.94/95.92	o 18854
101.05/96.05	o 18853
101.15/96.16	o 18852
101.24/96.26	o 18851
102.16/97.14	o 18848
102.16/97.14	o 18844
102.16/97.14	o 18842
102.16/97.14	o 18835
102.16/97.14	o 18834
102.16/97.14	o 18832
102.16/97.14	o 18831
102.16/97.14	o 18803
102.16/97.14	o 18785
102.16/97.15	o 18784
102.16/97.15	o 18781
102.16/97.15	o 18780
102.16/97.18	o 18778
102.16/97.18	o 18777
102.16/97.18	o 18776
102.25/97.21	o 18774
102.25/97.23	o 18773
102.35/97.31	o 18748
102.35/97.31	o 18726
102.35/97.31	o 18725
102.35/97.31	o 18722
102.35/97.31	o 18721
102.35/97.32	o 18719
102.35/97.32	o 18718
102.35/97.33	o 18717
102.35/97.34	o 18716
102.35/97.34	o 18715
102.45/97.42	o 18714
102.45/97.42	o 18713
102.45/97.43	o 18712
102.45/97.43	o 18711
102.45/97.43	o 18710
102.45/97.43	o 18709
102.45/97.45	o 18708
102.45/97.45	o 18707
102.65/97.67	o 18706
102.65/97.67	o 18705
103.47/98.43	o 18704
103.47/98.43	o 18703
103.47/98.44	o 18702
106.29/101.27	o 18701
106.29/101.27	o 18700
106.29/101.27	o 18699
106.29/101.27	o 18698
106.29/101.27	o 18697
106.29/101.27	o 18696
106.29/101.27	o 18695
106.29/101.27	o 18693
106.29/101.27	o 18691
106.29/101.27	o 18690
106.29/101.27	o 18688
106.29/101.27	o 18687
106.29/101.28	o 18686
106.39/101.33	o 18685
106.39/101.33	o 18684
106.39/101.33	o 18683
106.39/101.34	o 18682
106.39/101.37	o 18681
106.39/101.38	o 18680
106.39/101.40	o 18679
106.39/101.40	o 18678
106.49/101.42	o 18677
106.49/101.42	o 18676
106.49/101.42	o 18675
106.89/101.86	o 18674
106.89/101.86	o 18673
108.00/102.98	o 18672
108.40/103.38	o 18670
108.40/103.38	o 18669
108.40/103.38	o 18668
108.40/103.38	o 18667
108.40/103.38	o 18663
108.40/103.38	o 18661
108.40/103.38	o 18659
108.40/103.38	o 18658
108.40/103.38	o 18587
108.40/103.38	o 18586
108.40/103.38	o 18464
108.40/103.38	o 18463
108.40/103.39	o 18447
108.40/103.39	o 18446
108.40/103.39	o 18445
108.40/103.39	o 18444
108.40/103.39	o 18443
108.40/103.39	o 18440
108.40/103.39	o 18439
108.50/103.41	o 18438
108.50/103.43	o 18437
108.50/103.43	o 18436
108.80/103.72	o 18435
108.90/103.88	o 18426
108.90/103.88	o 18423
108.90/103.88	o 18421
108.90/103.88	o 18420
108.90/103.88	o 18396
108.90/103.88	o 18395
108.90/103.88	o 18389
108.90/103.88	o 18388
108.90/103.88	o 18387
108.90/103.89	o 18386
108.90/103.89	o 18385
108.90/103.89	o 18384
109.00/103.90	o 18383
109.11/104.03	o 18373
109.11/104.03	o 18369
109.11/104.03	o 18346
109.11/104.03	o 18342
109.11/104.03	o 18340
109.11/104.04	o 18339
109.11/104.04	o 18337
109.11/104.04	o 18336
109.11/104.04	o 18335
109.11/104.05	o 18334
109.11/104.06	o 18333
109.11/104.06	o 18331
109.11/104.06	o 18330
109.11/104.06	o 18323
109.11/104.06	o 18322
109.11/104.06	o 18317
109.11/104.06	o 18316
109.11/104.06	o 18315
109.11/104.06	o 18313
109.11/104.06	o 18312
109.11/104.06	o 18311
109.11/104.07	o 18310
109.11/104.07	o 18309
109.11/104.07	o 18308
109.11/104.07	o 18307
109.11/104.07	o 18306
109.11/104.07	o 18305
109.11/104.07	o 18304
109.11/104.08	o 18303
109.11/104.08	o 18302
109.11/104.08	o 18301
109.11/104.08	o 18300
109.11/104.08	o 18299
109.11/104.10	o 18298
109.21/104.11	o 18297
109.21/104.12	o 18296
109.21/104.12	o 18295
110.83/105.77	o 18261
110.83/105.77	o 18232
110.83/105.77	o 18220
110.83/105.77	o 18212
110.83/105.77	o 18210
110.83/105.77	o 18209
110.83/105.77	o 18208
110.83/105.77	o 18207
110.83/105.77	o 18206
110.83/105.78	o 18202
110.83/105.78	o 18201
110.83/105.78	o 18199
110.83/105.78	o 18198
110.83/105.78	o 18190
110.83/105.78	o 18189
110.83/105.78	o 18185
110.83/105.78	o 18184
110.83/105.78	o 18182
110.83/105.78	o 18179
110.83/105.78	o 18177
110.83/105.78	o 18176
110.83/105.78	o 18175
110.83/105.78	o 18174
110.83/105.79	o 18173
110.83/105.79	o 18172
110.83/105.79	o 18171
110.93/105.81	o 18170
110.93/105.81	o 18168
110.93/105.81	o 18167
110.93/105.82	o 18166
110.93/105.82	o 18164
110.93/105.85	o 18163
111.03/105.90	o 18162
111.03/105.91	o 18161
111.03/105.91	o 18160
111.03/105.91	o 18159
111.03/105.91	o 18158
111.03/105.91	o 18157
111.03/105.91	o 18156
111.03/105.92	o 18155
111.33/106.21	o 18154
111.33/106.21	o 18150
111.33/106.21	o 18148
111.33/106.21	o 18146
111.33/106.21	o 18145
111.33/106.21	o 18142
111.33/106.21	o 18140
111.33/106.21	o 18136
111.33/106.21	o 18134
111.33/106.21	o 18132
111.33/106.21	o 18074
111.33/106.21	o 18054
111.33/106.21	o 18051
111.33/106.21	o 18048
111.33/106.21	o 18014
111.33/106.21	o 17994
111.33/106.22	o 17990
111.33/106.22	o 17988
111.33/106.22	o 17987
111.33/106.22	o 17967
111.33/106.22	o 17966
111.33/106.22	o 17954
111.33/106.22	o 17953
111.33/106.22	o 17951
111.33/106.22	o 17947
111.33/106.22	o 17946
111.33/106.22	o 17944
111.33/106.24	o 17942
111.43/106.39	o 17939
111.43/106.39	o 17938
111.53/106.44	o 17936
111.53/106.45	o 17935
111.53/106.45	o 17933
111.63/106.55	o 17932
111.63/106.56	o 17930
111.73/106.64	o 17916
111.73/106.64	o 17914
111.73/106.64	o 17902
111.73/106.64	o 17899
111.73/106.64	o 17897
111.73/106.64	o 17834
111.73/106.64	o 17825
111.73/106.64	o 17822
111.73/106.64	o 17814
111.73/106.65	o 17810
111.73/106.65	o 17809
111.73/106.65	o 17808
111.73/106.65	o 17807
111.73/106.66	o 17806
111.73/106.67	o 17805
111.73/106.67	o 17804
111.73/106.67	o 17803
111.73/106.67	o 17799
111.73/106.67	o 17798
111.73/106.67	o 17797
111.73/106.68	o 17796
111.73/106.69	o 17795
112.75/107.61	o 17794
113.05/107.94	o 17792
113.05/107.94	o 17791
113.05/107.94	o 17789
113.05/107.94	o 17787
113.76/108.63	o 17786
115.68/110.54	o 17769
115.68/110.54	o 17767
115.68/110.54	o 17738
115.68/110.54	o 17731
115.68/110.54	o 17721
115.68/110.54	o 17716
115.68/110.54	o 17713
115.68/110.54	o 17709
115.68/110.54	o 17705
115.68/110.54	o 17700
115.68/110.54	o 17698
115.68/110.54	o 17692
115.68/110.54	o 17637
115.68/110.54	o 17636
115.68/110.54	o 17634
115.68/110.54	o 17629
115.68/110.59	o 17628
115.79/110.61	o 17627
116.79/111.61	o 17626
116.79/111.61	o 17625
116.79/111.61	o 17624
117.00/111.81	o 17623
117.00/111.81	o 17622
117.00/111.82	o 17621
117.30/112.14	o 17620
117.41/112.21	o 17619
129.72/124.42	o 17618
129.72/124.42	o 17615
129.72/124.42	o 17606
129.72/124.42	o 17605
129.72/124.43	o 17603
129.72/124.43	o 17591
129.72/124.43	o 17577
129.72/124.43	o 17571
129.72/124.43	o 17544
129.72/124.44	o 17526
129.72/124.44	o 17519
129.72/124.44	o 17512
129.72/124.44	o 17509
129.72/124.44	o 17502
129.72/124.44	o 17490
129.72/124.44	o 17481
129.72/124.44	o 17480
129.72/124.44	o 17477
129.72/124.44	o 17476
129.72/124.44	o 17475
129.72/124.48	o 17474
130.64/125.31	o 17473
130.64/125.32	o 17472
130.94/125.60	o 17470
130.94/125.62	o 17469
130.94/125.63	o 17468
130.94/125.63	o 17467
130.94/125.65	o 17466
130.94/125.66	o 17465
130.94/125.68	o 17464
131.05/125.72	o 17463
131.05/125.73	o 17462
131.15/125.84	o 17461
131.65/126.36	o 17460
132.07/126.73	o 17459
132.97/127.68	o 17458
133.49/128.14	o 17457
134.18/128.80	o 17456
134.18/128.82	o 17455
134.18/128.82	o 17454
134.89/129.58	o 17452
134.89/129.58	o 17451
134.89/129.58	o 17450
134.89/129.58	o 17449
134.89/129.58	o 17448
134.89/129.58	o 17361
134.89/129.58	o 17359
134.89/129.58	o 17358
134.89/129.58	o 17357
134.89/129.58	o 17340
134.89/129.59	o 17338
134.89/129.59	o 17317
134.89/129.59	o 17308
134.89/129.59	o 17305
134.89/129.59	o 17302
134.89/129.59	o 17301
134.99/129.60	o 17298
134.99/129.60	o 17296
134.99/129.62	o 17295
134.99/129.63	o 17294
135.09/129.74	o 17293
135.09/129.74	o 17292
135.09/129.75	o 17291
135.19/129.80	o 17290
135.29/129.96	o 17289
135.51/130.14	o 17288
135.51/130.14	o 17287
135.51/130.16	o 17286
135.51/130.16	o 17285
135.80/130.41	o 17284
135.80/130.48	o 17283
135.80/130.49	o 17282
135.80/130.49	o 17281
135.80/130.49	o 17280
135.90/130.51	o 17279
136.12/130.74	o 17278
136.12/130.74	o 17277
136.12/130.74	o 17276
136.12/130.75	o 17275
136.12/130.75	o 17273
136.12/130.75	o 17272
136.72/131.36	o 17271
144.93/139.46	o 17268
144.93/139.46	o 17266
144.93/139.46	o 17264
144.93/139.46	o 17259
144.93/139.46	o 17258
144.93/139.46	o 17257
144.93/139.46	o 17256
144.93/139.46	o 17255
144.93/139.46	o 17254
145.02/139.52	o 17253
145.02/139.52	o 17252
145.02/139.52	o 17251
145.02/139.52	o 17250
145.02/139.53	o 17249
145.02/139.54	o 17248
145.02/139.54	o 17247
147.15/141.69	o 17246
147.35/141.83	o 17245
147.35/141.88	o 17244
147.76/142.20	o 17243
147.76/142.23	o 17242
147.96/142.40	o 17241
147.96/142.41	o 17240
148.67/143.18	o 17239
148.67/143.18	o 17238
148.67/143.18	o 17237
148.67/143.18	o 17236
148.67/143.18	o 17235
148.67/143.18	o 17234
148.67/143.18	o 17233
148.67/143.18	o 17232
148.67/143.18	o 17231
148.67/143.18	o 17230
148.67/143.18	o 17229
148.67/143.18	o 17228
148.67/143.19	o 17227
148.67/143.19	o 17226
148.67/143.19	o 17225
148.76/143.21	o 17191
148.76/143.21	o 17189
148.76/143.21	o 17187
148.76/143.22	o 17186
148.76/143.22	o 17103
148.76/143.22	o 17102
148.76/143.22	o 17101
148.76/143.22	o 17097
148.76/143.22	o 17096
148.76/143.23	o 17078
148.76/143.23	o 17077
148.76/143.23	o 17075
148.76/143.23	o 17074
148.76/143.23	o 17073
148.76/143.23	o 17072
148.76/143.23	o 17071
148.76/143.26	o 17070
148.76/143.26	o 17069
148.76/143.26	o 17068
148.76/143.26	o 17067
148.76/143.26	o 17066
148.76/143.26	o 17065
148.76/143.26	o 17064
148.76/143.28	o 17063
148.76/143.28	o 17062
148.87/143.32	o 17061
149.99/144.49	o 17022
149.99/144.49	o 17021
149.99/144.49	o 17020
149.99/144.49	o 17016
149.99/144.49	o 17015
150.09/144.53	o 17014
150.09/144.53	o 17013
150.09/144.58	o 17011
150.09/144.58	o 17010
150.29/144.70	o 17009
150.29/144.72	o 17008
151.31/145.79	o 17007
152.63/147.08	o 17005
152.63/147.08	o 17003
152.63/147.08	o 17002
152.63/147.08	o 17001
152.63/147.08	o 17000
152.63/147.08	o 16852
152.63/147.08	o 16848
152.63/147.08	o 16846
152.63/147.08	o 16844
152.63/147.08	o 16843
152.63/147.09	o 16842
152.63/147.09	o 16841
152.63/147.09	o 16840
152.73/147.13	o 16839
152.73/147.13	o 16838
152.73/147.13	o 16837
152.73/147.16	o 16836
152.73/147.17	o 16835
152.73/147.19	o 16834
152.73/147.19	o 16833
152.82/147.24	o 16832
152.82/147.28	o 16831
152.92/147.34	o 16830
153.34/147.78	o 16829
153.84/148.29	o 16828
154.04/148.44	o 16827
154.35/148.74	o 16826
154.35/148.74	o 16825
154.35/148.74	o 16802
154.35/148.74	o 16801
154.35/148.74	o 16786
154.35/148.74	o 16778
154.35/148.74	o 16777
154.35/148.74	o 16765
154.35/148.74	o 16764
154.35/148.75	o 16763
154.35/148.77	o 16758
154.35/148.77	o 16757
154.35/148.77	o 16756
154.35/148.78	o 16755
154.35/148.79	o 16712
154.35/148.79	o 16672
154.45/148.80	o 16643
154.45/148.80	o 16634
154.45/148.80	o 16623
154.45/148.81	o 16622
154.45/148.82	o 16620
154.45/148.83	o 16619
154.45/148.83	o 16618
154.45/148.84	o 16617
154.45/148.85	o 16616
154.55/148.96	o 16615
154.55/148.97	o 16613
154.55/148.97	o 16612
154.55/148.98	o 16611
154.55/148.98	o 16610
154.66/149.04	o 16609
154.66/149.04	o 16608
154.66/149.06	o 16607
154.86/149.23	o 16600
154.86/149.23	o 16596
154.86/149.23	o 16558
154.86/149.23	o 16557
154.86/149.23	o 16556
154.86/149.23	o 16553
154.86/149.23	o 16519
154.86/149.23	o 16518
154.86/149.23	o 16516
154.86/149.23	o 16514
154.86/149.23	o 16510
154.86/149.23	o 16509
154.86/149.23	o 16508
154.86/149.23	o 16507
154.86/149.23	o 16506
154.86/149.25	o 16505
154.86/149.26	o 16504
154.86/149.27	o 16503
154.86/149.27	o 16502
154.86/149.28	o 16501
154.86/149.28	o 16500
154.96/149.30	o 16499
154.96/149.30	o 16497
154.96/149.30	o 16496
154.96/149.30	o 16495
154.96/149.30	o 16494
154.96/149.32	o 16493
154.96/149.36	o 16491
154.96/149.36	o 16488
154.96/149.37	o 16487
155.05/149.40	o 16486
155.16/149.53	o 16485
155.16/149.53	o 16477
155.16/149.53	o 16470
155.16/149.53	o 16466
155.16/149.53	o 16465
155.16/149.53	o 16462
155.16/149.53	o 16461
155.16/149.53	o 16460
155.16/149.53	o 16459
155.16/149.53	o 16457
155.16/149.53	o 16456
155.16/149.54	o 16455
155.16/149.54	o 16454
155.16/149.54	o 16453
155.16/149.55	o 16452
155.36/149.74	o 16451
156.59/150.95	o 16450
156.59/150.96	o 16449
156.59/150.97	o 16448
156.59/150.98	o 16447
156.59/150.98	o 16445
156.59/150.98	o 16443
157.60/151.96	o 16330
157.60/151.96	o 16324
157.60/151.96	o 16320
157.60/151.96	o 16293
157.60/151.96	o 16291
157.60/151.96	o 16289
157.60/151.96	o 16287
157.60/151.96	o 16286
157.60/151.96	o 16285
157.60/151.96	o 16282
157.60/151.96	o 16281
157.60/151.96	o 16280
157.60/151.96	o 16278
157.60/151.96	o 16277
157.71/152.01	o 16276
157.71/152.01	o 16275
157.90/152.28	o 16273
158.00/152.31	o 16272
158.00/152.32	o 16271
158.00/152.39	o 16270
158.11/152.40	o 16269
159.22/153.59	o 16266
159.22/153.59	o 16265
159.22/153.59	o 16264
159.22/153.59	o 16263
159.32/153.63	o 16261
159.42/153.77	o 16257
159.42/153.77	o 16256
160.03/154.34	o 16253
160.03/154.34	o 16249
160.03/154.34	o 16245
160.03/154.34	o 16184
160.03/154.34	o 16174
160.03/154.34	o 16166
160.03/154.34	o 16162
160.03/154.35	o 16154
160.03/154.39	o 16153
160.23/154.54	o 16152
160.23/154.54	o 16151
160.23/154.54	o 16149
160.33/154.61	o 16147
160.33/154.66	o 16146
160.54/154.89	o 16144
160.54/154.89	o 16140
160.54/154.89	o 16139
160.54/154.89	o 16138
160.64/154.90	o 16136
160.64/154.90	o 16135
160.64/154.90	o 16134
160.64/154.90	o 16133
160.64/154.90	o 16131
160.64/154.91	o 16130
166.42/160.64	o 16126
166.42/160.64	o 16123
166.42/160.64	o 16122
166.42/160.64	o 16121
166.42/160.64	o 16010
166.42/160.64	o 16009
166.42/160.64	o 16008
166.42/160.65	o 15997
166.42/160.65	o 15996
166.42/160.65	o 15995
166.42/160.65	o 15944
166.42/160.65	o 15943
166.42/160.65	o 15942
166.42/160.65	o 15939
166.42/160.65	o 15938
166.42/160.65	o 15937
166.42/160.65	o 15936
166.42/160.65	o 15935
166.42/160.65	o 15934
166.42/160.66	o 15933
166.42/160.66	o 15932
166.42/160.66	o 15931
166.42/160.69	o 15930
166.42/160.69	o 15929
166.52/160.73	o 15928
166.62/160.86	o 15927
166.73/160.94	o 15926
166.73/160.94	o 15925
166.73/160.94	o 15924
166.83/161.04	o 15923
166.83/161.04	o 15922
166.83/161.07	o 15921
166.83/161.07	o 15920
166.83/161.07	o 15919
166.83/161.07	o 15918
166.83/161.07	o 15917
166.83/161.07	o 15916
166.83/161.09	o 15915
166.83/161.09	o 15914
166.83/161.09	o 15913
166.83/161.10	o 15912
166.93/161.11	o 15911
166.93/161.11	o 15910
166.93/161.13	o 15909
166.93/161.13	o 15908
166.93/161.13	o 15907
166.93/161.13	o 15906
166.93/161.13	o 15905
167.14/161.37	o 15903
167.14/161.37	o 15877
167.14/161.38	o 15867
167.14/161.38	o 15865
167.14/161.38	o 15863
167.14/161.39	o 15862
168.45/162.67	o 15860
168.45/162.67	o 15857
168.45/162.67	o 15856
168.45/162.67	o 15855
168.45/162.67	o 15854
168.45/162.67	o 15853
168.45/162.67	o 15852
168.45/162.68	o 15850
168.76/162.99	o 15848
168.76/162.99	o 15847
168.76/162.99	o 15846
168.76/162.99	o 15844
168.76/162.99	o 15841
168.87/163.02	o 15839
168.87/163.03	o 15837
168.87/163.05	o 15836
168.87/163.06	o 15835
168.87/163.08	o 15834
169.47/163.61	o 15833
169.57/163.77	o 15832
169.77/163.92	o 15831
169.77/163.98	o 15830
169.88/164.03	o 15829
169.88/164.03	o 15828
169.88/164.03	o 15827
170.07/164.29	o 15780
170.07/164.29	o 15773
170.07/164.29	o 15769
170.07/164.29	o 15766
170.07/164.29	o 15765
170.07/164.29	o 15763
170.07/164.29	o 15742
170.07/164.29	o 15730
170.07/164.29	o 15698
170.07/164.29	o 15690
170.07/164.29	o 15680
170.07/164.29	o 15656
170.07/164.29	o 15653
170.07/164.29	o 15649
170.07/164.30	o 15648
170.17/164.30	o 15647
170.17/164.30	o 15646
170.17/164.30	o 15645
170.17/164.30	o 15641
170.17/164.30	o 15640
170.17/164.30	o 15639
170.17/164.32	o 15637
170.17/164.32	o 15636
170.48/164.61	o 15562
170.48/164.62	o 15561
170.48/164.62	o 15550
170.48/164.62	o 15549
170.48/164.62	o 15489
170.48/164.62	o 15488
170.48/164.62	o 15480
170.48/164.62	o 15479
170.48/164.63	o 15477
170.48/164.63	o 15476
170.48/164.63	o 15470
170.48/164.63	o 15469
170.48/164.64	o 15468
170.48/164.64	o 15466
170.48/164.64	o 15465
170.48/164.64	o 15464
170.48/164.64	o 15463
170.48/164.66	o 15462
170.48/164.67	o 15461
170.58/164.75	o 15460
170.68/164.87	o 15459
170.68/164.88	o 15458
170.89/165.07	o 15457
171.00/165.12	o 15453
171.00/165.12	o 15438
171.00/165.12	o 15432
171.00/165.12	o 15431
171.00/165.12	o 15428
171.00/165.12	o 15427
171.00/165.12	o 15422
171.00/165.12	o 15421
171.00/165.12	o 15420
171.00/165.12	o 15419
171.00/165.12	o 15418
171.00/165.12	o 15417
171.00/165.12	o 15416
171.00/165.12	o 15415
171.00/165.12	o 15414
171.00/165.12	o 15413
171.00/165.12	o 15395
171.00/165.12	o 15394
171.00/165.12	o 15393
171.00/165.12	o 15392
171.00/165.13	o 15388
171.00/165.13	o 15386
171.00/165.13	o 15385
171.00/165.13	o 15380
171.00/165.13	o 15379
171.00/165.13	o 15378
171.00/165.13	o 15377
171.00/165.13	o 15364
171.00/165.13	o 15363
171.00/165.13	o 15362
171.00/165.13	o 15361
171.00/165.15	o 15360
171.00/165.15	o 15359
171.00/165.15	o 15358
171.00/165.15	o 15357
171.00/165.15	o 15356
171.00/165.15	o 15355
171.00/165.16	o 15354
171.00/165.17	o 15353
171.00/165.17	o 15352
171.00/165.17	o 15351
171.00/165.18	o 15350
171.09/165.21	o 15349
171.09/165.21	o 15348
171.09/165.21	o 15347
171.09/165.21	o 15346
171.09/165.24	o 15345
171.09/165.24	o 15344
171.09/165.24	o 15343
171.09/165.27	o 15342
171.09/165.28	o 15341
171.09/165.28	o 15340
171.09/165.28	o 15339
171.09/165.29	o 15338
171.09/165.29	o 15337
171.09/165.29	o 15336
171.09/165.30	o 15335
171.19/165.30	o 15334
171.19/165.35	o 15333
172.41/166.58	o 15332
172.41/166.58	o 15330
172.41/166.58	o 15329
172.41/166.58	o 15328
172.41/166.58	o 15327
172.41/166.58	o 15326
172.41/166.58	o 15322
172.41/166.58	o 15320
172.41/166.58	o 15319
172.41/166.58	o 15318
172.41/166.58	o 15317
172.41/166.58	o 15316
172.51/166.61	o 15315
173.03/167.11	o 15314
173.03/167.20	o 15313
173.12/167.22	o 15312
173.12/167.23	o 15311
173.42/167.51	o 15310
173.42/167.51	o 15309
173.42/167.51	o 15308
173.42/167.57	o 15307
173.52/167.60	o 15306
173.52/167.65	o 15305
173.52/167.65	o 15304
173.83/167.90	o 15303
173.83/167.92	o 15302
173.83/167.94	o 15301
174.13/168.23	o 15262
174.13/168.23	o 15256
174.13/168.23	o 15255
174.13/168.23	o 15254
174.13/168.23	o 15253
174.13/168.24	o 15252
174.13/168.24	o 15242
174.13/168.24	o 15241
174.13/168.24	o 15240
174.13/168.24	o 15239
174.13/168.24	o 15238
174.13/168.24	o 15237
174.25/168.33	o 15236
174.35/168.46	o 15235
175.56/169.67	o 15234
175.56/169.67	o 15232
175.56/169.67	o 15227
175.56/169.68	o 15226
175.56/169.68	o 15225
175.56/169.68	o 15224
175.56/169.68	o 15223
175.56/169.68	o 15221
175.56/169.68	o 15220
175.66/169.71	o 15219
175.66/169.77	o 15218
175.66/169.77	o 15217
175.66/169.78	o 15216
175.66/169.79	o 15215
175.98/170.01	o 15214
175.98/170.01	o 15213
176.37/170.47	o 15201
176.37/170.47	o 15196
176.37/170.47	o 15193
176.37/170.48	o 15192
176.37/170.48	o 15191
176.37/170.48	o 15189
176.37/170.48	o 15188
176.37/170.48	o 15187
176.37/170.48	o 15186
176.37/170.48	o 15185
176.37/170.48	o 15184
176.37/170.48	o 15172
176.37/170.48	o 15171
176.37/170.48	o 15166
176.37/170.48	o 15165
176.37/170.48	o 15164
176.37/170.48	o 15163
176.37/170.48	o 15162
176.47/170.53	o 15161
177.49/171.53	o 15160
177.49/171.53	o 15159
177.49/171.55	o 15158
177.69/171.78	o 15136
177.69/171.78	o 15134
177.69/171.78	o 15126
177.69/171.78	o 15125
177.69/171.78	o 15123
177.69/171.78	o 15122
177.69/171.78	o 15117
177.69/171.78	o 15116
177.69/171.78	o 15115
177.69/171.78	o 15114
177.69/171.79	o 15113
177.69/171.79	o 15112
177.69/171.79	o 15110
178.21/172.23	o 15108
178.21/172.24	o 15106
178.21/172.25	o 15105
179.03/173.08	o 15073
179.03/173.08	o 15060
179.03/173.08	o 15055
179.03/173.08	o 15054
179.03/173.08	o 15053
179.03/173.08	o 15052
179.03/173.08	o 15047
179.03/173.08	o 15044
179.03/173.08	o 14992
179.03/173.08	o 14981
179.03/173.08	o 14974
179.03/173.08	o 14969
179.03/173.09	o 14957
179.03/173.09	o 14956
179.03/173.09	o 14949
179.13/173.11	o 14910
179.13/173.11	o 14889
179.13/173.11	o 14869
179.13/173.11	o 14863
179.13/173.12	o 14861
179.13/173.12	o 14860
179.13/173.13	o 14858
179.13/173.13	o 14857
179.13/173.13	o 14855
179.13/173.15	o 14854
179.13/173.15	o 14853
179.83/173.85	o 14808
179.83/173.85	o 14806
179.83/173.85	o 14719
179.83/173.85	o 14718
179.83/173.85	o 14706
179.83/173.85	o 14690
179.83/173.85	o 14680
179.83/173.85	o 14674
179.83/173.85	o 14669
179.83/173.85	o 14668
180.04/174.10	o 14667
180.04/174.10	o 14666
180.33/174.38	o 14665
180.33/174.39	o 14664
180.33/174.39	o 14663
180.44/174.41	o 14661
180.44/174.41	o 14660
180.44/174.41	o 14659
180.44/174.41	o 14658
180.44/174.41	o 14657
180.44/174.41	o 14656
180.44/174.49	o 14535
180.54/174.50	o 14449
180.54/174.50	o 14433
180.54/174.50	o 14427
180.54/174.50	o 14426
180.54/174.50	o 14425
180.54/174.50	o 14424
180.54/174.51	o 14423
180.54/174.51	o 14420
180.54/174.52	o 14418
180.54/174.56	o 14417
181.44/175.43	o 14415
181.44/175.43	o 14414
181.44/175.43	o 14413
181.44/175.43	o 14401
181.44/175.43	o 14400
181.44/175.43	o 14396
181.44/175.43	o 14389
181.44/175.43	o 14388
181.44/175.43	o 14387
181.44/175.43	o 14386
181.44/175.43	o 14385
181.44/175.43	o 14384
181.44/175.44	o 14383
181.44/175.45	o 14382
181.44/175.45	o 14378
181.44/175.45	o 14377
181.44/175.45	o 14376
181.55/175.57	o 14375
181.65/175.60	o 14374
181.65/175.68	o 14300
181.65/175.68	o 14284
181.65/175.68	o 14271
181.65/175.68	o 14248
181.65/175.68	o 14212
181.65/175.68	o 14210
181.65/175.68	o 14208
181.65/175.68	o 14200
181.65/175.68	o 14198
181.78/175.71	o 14197
181.78/175.72	o 14196
181.78/175.72	o 14195
181.89/175.85	o 14194
181.89/175.85	o 14193
181.89/175.85	o 14192
181.89/175.86	o 14191
181.99/175.95	o 14190
181.99/175.95	o 14189
181.99/175.96	o 14188
181.99/175.96	o 14187
181.99/175.97	o 14186
183.00/177.00	o 14168
183.00/177.00	o 14164
183.00/177.00	o 14163
183.00/177.00	o 14159
183.00/177.00	o 14158
183.00/177.00	o 14154
183.00/177.00	o 14153
183.00/177.00	o 14083
183.00/177.00	o 14082
183.11/177.01	o 14076
183.11/177.01	o 14075
183.11/177.01	o 14074
183.11/177.01	o 14073
183.11/177.02	o 14072
183.11/177.02	o 14071
183.11/177.09	o 14065
183.11/177.09	o 14034
183.11/177.09	o 14013
183.11/177.09	o 14012
183.11/177.09	o 14011
183.11/177.09	o 14010
183.11/177.10	o 14009
183.11/177.10	o 14008
183.11/177.10	o 14007
183.21/177.12	o 14006
183.21/177.12	o 14005
183.21/177.15	o 14004
183.21/177.15	o 14003
183.21/177.19	o 14000
183.21/177.19	o 13999
183.40/177.34	o 13998
183.40/177.34	o 13997
183.40/177.38	o 13996
183.40/177.38	o 13995
183.62/177.58	o 13994
183.72/177.60	o 13993
183.72/177.60	o 13992
184.32/178.28	o 13965
184.32/178.28	o 13964
184.32/178.29	o 13960
184.32/178.29	o 13959
184.32/178.29	o 13952
184.32/178.29	o 13951
184.32/178.29	o 13950
184.32/178.29	o 13931
184.32/178.29	o 13930
184.32/178.30	o 13927
184.32/178.30	o 13926
184.42/178.37	o 13925
184.42/178.37	o 13924
184.42/178.38	o 13923
184.42/178.38	o 13922
184.53/178.49	o 13921
184.63/178.52	o 13919
187.08/180.93	o 13918
187.08/180.93	o 13917
187.08/180.93	o 13915
187.08/180.93	o 13914
187.08/180.93	o 13902
187.08/180.93	o 13901
187.08/180.93	o 13900
187.08/180.93	o 13899
187.08/180.98	o 13898
187.08/180.98	o 13897
187.08/180.98	o 13896
187.08/180.98	o 13895
187.08/180.98	o 13894
187.08/181.00	o 13893
187.08/181.00	o 13892
187.18/181.02	o 13891
187.18/181.02	o 13889
187.18/181.02	o 13887
187.18/181.05	o 13885
187.18/181.06	o 13884
187.18/181.09	o 13883
187.18/181.09	o 13882
187.18/181.09	o 13881
187.28/181.15	o 13877
187.48/181.30	o 13875
187.48/181.30	o 13874
187.48/181.31	o 13873
187.89/181.79	o 13872
188.70/182.55	o 13871
188.70/182.57	o 13867
188.70/182.57	o 13866
188.70/182.57	o 13864
188.70/182.57	o 13863
188.70/182.57	o 13862
188.70/182.57	o 13861
188.70/182.57	o 13860
188.70/182.58	o 13814
188.70/182.58	o 13809
188.70/182.58	o 13804
188.70/182.58	o 13803
188.70/182.58	o 13800
188.70/182.58	o 13797
188.70/182.58	o 13791
188.70/182.58	o 13790
188.70/182.58	o 13789
188.70/182.58	o 13788
188.70/182.58	o 13787
188.70/182.58	o 13785
188.70/182.58	o 13782
189.31/183.17	o 13780
190.84/184.62	o 13779
190.84/184.62	o 13778
196.63/190.37	o 13777
196.63/190.37	o 13774
196.63/190.37	o 13773
196.63/190.37	o 13772
196.63/190.37	o 13771
196.63/190.37	o 13769
196.63/190.37	o 13765
196.63/190.37	o 13761
196.63/190.37	o 13646
196.63/190.37	o 13636
196.63/190.37	o 13634
196.63/190.37	o 13632
196.63/190.37	o 13628
196.63/190.37	o 13627
196.63/190.37	o 13622
196.63/190.38	o 13621
196.63/190.38	o 13620
196.63/190.38	o 13619
196.63/190.38	o 13616
196.63/190.39	o 13615
196.73/190.44	o 13614
196.73/190.44	o 13612
196.73/190.48	o 13611
198.95/192.62	o 13610
199.15/192.83	o 13609
199.15/192.83	o 13608
205.87/199.44	o 13606
205.87/199.44	o 13605
205.87/199.44	o 13604
205.87/199.44	o 13603
205.87/199.44	o 13601
205.87/199.45	o 13600
205.87/199.48	o 13598
205.87/199.49	o 13594
205.97/199.50	o 13593
207.69/201.21	o 13591
207.69/201.21	o 13590
207.69/201.23	o 13589
207.69/201.27	o 13583
207.69/201.27	o 13571
207.69/201.27	o 13570
207.69/201.27	o 13569
207.69/201.27	o 13563
207.69/201.27	o 13562
207.69/201.27	o 13561
207.69/201.27	o 13557
207.69/201.27	o 13556
207.69/201.27	o 13554
207.69/201.27	o 13553
207.69/201.27	o 13552
207.69/201.27	o 13551
207.69/201.28	o 13550
210.33/203.88	o 13549
210.33/203.88	o 13548
210.33/203.88	o 13547
210.33/203.88	o 13546
243.42/236.58	o 13536
243.42/236.58	o 13535
243.42/236.58	o 13523
243.42/236.59	o 13519
243.42/236.59	o 13517
243.42/236.59	o 13512
243.42/236.60	o 13511
243.73/236.86	o 13510
243.83/236.99	o 13509
244.23/237.33	o 13508
245.85/238.95	o 13507
250.49/243.51	o 13506
250.79/243.81	o 13505
250.79/243.81	o 13504
250.79/243.87	o 13503
251.10/244.20	o 13502
251.19/244.20	o 13501
251.19/244.20	o 13500
251.29/244.36	o 13499
252.02/245.01	s SATISFIABLE
252.02/245.01	v <instantiation>
252.02/245.01	v 	<list>
252.02/245.01	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]
252.02/245.01	v 	</list>
252.02/245.01	v 	<values>
252.02/245.01	v 		1 3 6 0 1 1 5 0 3 1 28 0 3 4 3 4 1 3 3 2 6 2 0 2 3 209 1 4 1 86 2 108 5 2 49 5 0 93 3 2 4 3 1 2 0 195 1 5 4 89 150 0 12 1 0 19 188 128 1 0 124 43 8 209 4 4 0 116 43 4 81 242 2 36 2 8 2 0 3 4 92 1 0 141 6 1 2 4 0 74 41 1 0 12 6 5 246 6 191 245 151 35 49 157 57 3 35 231 241 0 0 117 53 3 5 0 96 29 127 192 25 168 84 88 5 3 152 183 5 4 2 152 73 208 234 0 3 4 56 7 31 1 0 1 21 1 237 4 209 3 233 2 32 140 0 160 229 225 6 0 2 1 246 183 4 0 2 100 3 0 1 146 96 0 118 3 2 10 92 216 1 238 1 3 0 48 8 2 101 52 69 4 3 0 59 213 160 160 0 11 8 6 193 157 7 7 0 5 0 73 8 7 2 10 93 0 6 217 85 180 3 2 246 137 3 30 192 243 186 1 6 209 6 170 0 32 7 42 26 2 9 5 19 168 5 0 9 134 1 145 
252.02/245.01	v 	</values>
252.02/245.01	v </instantiation>

Verifier Data 

OK	13499

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4310114-1534330081/watcher-4310114-1534330081 -o /tmp/evaluation-result-4310114-1534330081/solver-4310114-1534330081 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node150-1534329088-25481 --watchdog 312 java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 558333426 --timelimit 252 --memlimit 11000 --nbcore 4 HOME/instance-4310114-1534330081.xml 

running on 4 cores: 0,2,4,6

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


[startup+0.100058 s]*
/proc/loadavg: 1.59 1.64 1.53 6/215 26174
/proc/meminfo: memFree=18335428/32770624 swapFree=67108792/67108860
[pid=26159] ppid=26156 vsize=14082736 memory=31296 CPUtime=0.11 cores=0,2,4,6
/proc/26159/stat : 26159 (java) S 26156 26159 25450 0 -1 1077944320 6717 0 0 0 10 1 0 0 20 0 15 0 250571355 14420721664 7824 33554432000 4194304 4196468 140735093806624 140735093789168 139957395439351 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9793536 140735093810255 140735093810446 140735093810446 140735093813199 0
/proc/26159/statm: 3520684 7824 3155 1 0 3482761 0
[pid=26159/tid=26161] ppid=26156 vsize=14082736 memory=-6966717417093883519 CPUtime=0.09 cores=0,2,4,6
/proc/26159/task/26161/stat : 26161 (java) R 26156 26159 25450 0 -1 4202560 4765 0 0 0 8 1 0 0 20 0 15 0 250571355 14420721664 7824 33554432000 4194304 4196468 140735093806624 139957399642376 139957395451286 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9793536 140735093810255 140735093810446 140735093810446 140735093813199 0
[pid=26159/tid=26162] ppid=26156 vsize=14082736 memory=5793855773641398713 CPUtime=0 cores=0,2,4,6
/proc/26159/task/26162/stat : 26162 (java) S 26156 26159 25450 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250571356 14420721664 7824 33554432000 4194304 4196468 140735093806624 139956991486224 139957395449557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9793536 140735093810255 140735093810446 140735093810446 140735093813199 0
[pid=26159/tid=26163] ppid=26156 vsize=14082736 memory=140522631505536 CPUtime=0 cores=0,2,4,6
/proc/26159/task/26163/stat : 26163 (java) S 26156 26159 25450 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250571356 14420721664 7824 33554432000 4194304 4196468 140735093806624 139956990433680 139957395449557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9793536 140735093810255 140735093810446 140735093810446 140735093813199 0
[pid=26159/tid=26164] ppid=26156 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26159/task/26164/stat : 26164 (java) S 26156 26159 25450 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250571356 14420721664 7824 33554432000 4194304 4196468 140735093806624 139956989381136 139957395449557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9793536 140735093810255 140735093810446 140735093810446 140735093813199 0
[pid=26159/tid=26165] ppid=26156 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26159/task/26165/stat : 26165 (java) S 26156 26159 25450 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250571356 14420721664 7824 33554432000 4194304 4196468 140735093806624 139956988328592 139957395449557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9793536 140735093810255 140735093810446 140735093810446 140735093813199 0
[pid=26159/tid=26166] ppid=26156 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26159/task/26166/stat : 26166 (java) S 26156 26159 25450 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250571357 14420721664 7824 33554432000 4194304 4196468 140735093806624 139956307847664 139957395450498 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9793536 140735093810255 140735093810446 140735093810446 140735093813199 0
[pid=26159/tid=26167] ppid=26156 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26159/task/26167/stat : 26167 (java) S 26156 26159 25450 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250571358 14420721664 7824 33554432000 4194304 4196468 140735093806624 139956306793888 139957395449557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9793536 140735093810255 140735093810446 140735093810446 140735093813199 0
[pid=26159/tid=26168] ppid=26156 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26159/task/26168/stat : 26168 (java) S 26156 26159 25450 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250571358 14420721664 7824 33554432000 4194304 4196468 140735093806624 139956305741296 139957395449557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9793536 140735093810255 140735093810446 140735093810446 140735093813199 0
[pid=26159/tid=26169] ppid=26156 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26159/task/26169/stat : 26169 (java) S 26156 26159 25450 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250571360 14420721664 7824 33554432000 4194304 4196468 140735093806624 139956304689872 139957395457947 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9793536 140735093810255 140735093810446 140735093810446 140735093813199 0
[pid=26159/tid=26170] ppid=26156 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26159/task/26170/stat : 26170 (java) S 26156 26159 25450 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 15 0 250571360 14420721664 7824 33554432000 4194304 4196468 140735093806624 139956303636464 139957395450498 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9793536 140735093810255 140735093810446 140735093810446 140735093813199 0
[pid=26159/tid=26171] ppid=26156 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26159/task/26171/stat : 26171 (java) S 26156 26159 25450 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250571360 14420721664 7824 33554432000 4194304 4196468 140735093806624 139956302583920 139957395450498 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9793536 140735093810255 140735093810446 140735093810446 140735093813199 0
[pid=26159/tid=26172] ppid=26156 vsize=14082736 memory=140522631505536 CPUtime=0.01 cores=0,2,4,6
/proc/26159/task/26172/stat : 26172 (java) S 26156 26159 25450 0 -1 1077944384 270 0 0 0 1 0 0 0 20 0 15 0 250571360 14420721664 7824 33554432000 4194304 4196468 140735093806624 139956301531376 139957395450498 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9793536 140735093810255 140735093810446 140735093810446 140735093813199 0
[pid=26159/tid=26173] ppid=26156 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26159/task/26173/stat : 26173 (java) S 26156 26159 25450 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250571361 14420721664 7824 33554432000 4194304 4196468 140735093806624 139956300479072 139957395449557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9793536 140735093810255 140735093810446 140735093810446 140735093813199 0
[pid=26159/tid=26174] ppid=26156 vsize=14082736 memory=140522631505536 CPUtime=0 cores=0,2,4,6
/proc/26159/task/26174/stat : 26174 (java) S 26156 26159 25450 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250571361 14420721664 7824 33554432000 4194304 4196468 140735093806624 139956299426608 139957395450498 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9793536 140735093810255 140735093810446 140735093810446 140735093813199 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 31296 KiB

[startup+0.210281 s]*
/proc/loadavg: 1.59 1.64 1.53 7/215 26174
/proc/meminfo: memFree=18312812/32770624 swapFree=67108792/67108860
[pid=26159] ppid=26156 vsize=14082736 memory=47116 CPUtime=0.28 cores=0,2,4,6
/proc/26159/stat : 26159 (java) S 26156 26159 25450 0 -1 1077944320 10363 0 0 0 26 2 0 0 20 0 15 0 250571355 14420721664 11779 33554432000 4194304 4196468 140735093806624 140735093789168 139957395439351 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9793536 140735093810255 140735093810446 140735093810446 140735093813199 0
/proc/26159/statm: 3520684 11779 3362 1 0 3482761 0
[pid=26159/tid=26161] ppid=26156 vsize=14082736 memory=6735269665583770266 CPUtime=0.19 cores=0,2,4,6
/proc/26159/task/26161/stat : 26161 (java) R 26156 26159 25450 0 -1 1077944384 8095 0 0 0 18 1 0 0 20 0 15 0 250571355 14420721664 11779 33554432000 4194304 4196468 140735093806624 139957399664992 139957395449557 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9793536 140735093810255 140735093810446 140735093810446 140735093813199 0
[pid=26159/tid=26162] ppid=26156 vsize=14082736 memory=4211974248836296074 CPUtime=0 cores=0,2,4,6
/proc/26159/task/26162/stat : 26162 (java) S 26156 26159 25450 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250571356 14420721664 11779 33554432000 4194304 4196468 140735093806624 139956991486224 139957395449557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9793536 140735093810255 140735093810446 140735093810446 140735093813199 0
[pid=26159/tid=26163] ppid=26156 vsize=14082736 memory=140522631505536 CPUtime=0 cores=0,2,4,6
/proc/26159/task/26163/stat : 26163 (java) S 26156 26159 25450 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250571356 14420721664 11779 33554432000 4194304 4196468 140735093806624 139956990433680 139957395449557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9793536 140735093810255 140735093810446 140735093810446 140735093813199 0
[pid=26159/tid=26164] ppid=26156 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26159/task/26164/stat : 26164 (java) S 26156 26159 25450 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250571356 14420721664 11779 33554432000 4194304 4196468 140735093806624 139956989381136 139957395449557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9793536 140735093810255 140735093810446 140735093810446 140735093813199 0
[pid=26159/tid=26165] ppid=26156 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26159/task/26165/stat : 26165 (java) S 26156 26159 25450 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250571356 14420721664 11779 33554432000 4194304 4196468 140735093806624 139956988328592 139957395449557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9793536 140735093810255 140735093810446 140735093810446 140735093813199 0
[pid=26159/tid=26166] ppid=26156 vsize=14082736 memory=140522631505536 CPUtime=0 cores=0,2,4,6
/proc/26159/task/26166/stat : 26166 (java) S 26156 26159 25450 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 250571357 14420721664 11779 33554432000 4194304 4196468 140735093806624 139956307847664 139957395450498 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9793536 140735093810255 140735093810446 140735093810446 140735093813199 0
[pid=26159/tid=26167] ppid=26156 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26159/task/26167/stat : 26167 (java) S 26156 26159 25450 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250571358 14420721664 11779 33554432000 4194304 4196468 140735093806624 139956306793888 139957395449557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9793536 140735093810255 140735093810446 140735093810446 140735093813199 0
[pid=26159/tid=26168] ppid=26156 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26159/task/26168/stat : 26168 (java) S 26156 26159 25450 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250571358 14420721664 11779 33554432000 4194304 4196468 140735093806624 139956305741296 139957395449557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9793536 140735093810255 140735093810446 140735093810446 140735093813199 0
[pid=26159/tid=26169] ppid=26156 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26159/task/26169/stat : 26169 (java) S 26156 26159 25450 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250571360 14420721664 11779 33554432000 4194304 4196468 140735093806624 139956304689872 139957395457947 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9793536 140735093810255 140735093810446 140735093810446 140735093813199 0
[pid=26159/tid=26170] ppid=26156 vsize=14082736 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/26159/task/26170/stat : 26170 (java) R 26156 26159 25450 0 -1 4202560 429 0 0 0 1 0 0 0 20 0 15 0 250571360 14420721664 11779 33554432000 4194304 4196468 140735093806624 139956303636560 139957387676478 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9793536 140735093810255 140735093810446 140735093810446 140735093813199 0
[pid=26159/tid=26171] ppid=26156 vsize=14082736 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/26159/task/26171/stat : 26171 (java) S 26156 26159 25450 0 -1 1077944384 171 0 0 0 1 0 0 0 20 0 15 0 250571360 14420721664 11779 33554432000 4194304 4196468 140735093806624 139956302583920 139957395450498 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9793536 140735093810255 140735093810446 140735093810446 140735093813199 0
[pid=26159/tid=26172] ppid=26156 vsize=14082736 memory=140522631505536 CPUtime=0.05 cores=0,2,4,6
/proc/26159/task/26172/stat : 26172 (java) S 26156 26159 25450 0 -1 1077944384 288 0 0 0 5 0 0 0 20 0 15 0 250571360 14420721664 11779 33554432000 4194304 4196468 140735093806624 139956301531376 139957395450498 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9793536 140735093810255 140735093810446 140735093810446 140735093813199 0
[pid=26159/tid=26173] ppid=26156 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26159/task/26173/stat : 26173 (java) S 26156 26159 25450 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250571361 14420721664 11779 33554432000 4194304 4196468 140735093806624 139956300479072 139957395449557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9793536 140735093810255 140735093810446 140735093810446 140735093813199 0
[pid=26159/tid=26174] ppid=26156 vsize=14082736 memory=140522631505536 CPUtime=0 cores=0,2,4,6
/proc/26159/task/26174/stat : 26174 (java) R 26156 26159 25450 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250571361 14420721664 11779 33554432000 4194304 4196468 140735093806624 139956299426608 139957395450498 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9793536 140735093810255 140735093810446 140735093810446 140735093813199 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 47116 KiB

[startup+0.310251 s]*
/proc/loadavg: 1.59 1.64 1.53 3/215 26174
/proc/meminfo: memFree=18302636/32770624 swapFree=67108792/67108860
[pid=26159] ppid=26156 vsize=14082736 memory=50328 CPUtime=0.43 cores=0,2,4,6
/proc/26159/stat : 26159 (java) S 26156 26159 25450 0 -1 1077944320 10729 0 0 0 41 2 0 0 20 0 15 0 250571355 14420721664 12582 33554432000 4194304 4196468 140735093806624 140735093789168 139957395439351 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9793536 140735093810255 140735093810446 140735093810446 140735093813199 0
/proc/26159/statm: 3520684 12582 3365 1 0 3482761 0
[pid=26159/tid=26161] ppid=26156 vsize=14082736 memory=6735269665583770266 CPUtime=0.29 cores=0,2,4,6
/proc/26159/task/26161/stat : 26161 (java) R 26156 26159 25450 0 -1 4202560 8424 0 0 0 27 2 0 0 20 0 15 0 250571355 14420721664 12582 33554432000 4194304 4196468 140735093806624 139957399647184 139957379519838 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9793536 140735093810255 140735093810446 140735093810446 140735093813199 0
[pid=26159/tid=26162] ppid=26156 vsize=14082736 memory=4211974248836296074 CPUtime=0 cores=0,2,4,6
/proc/26159/task/26162/stat : 26162 (java) S 26156 26159 25450 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250571356 14420721664 12582 33554432000 4194304 4196468 140735093806624 139956991486224 139957395449557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9793536 140735093810255 140735093810446 140735093810446 140735093813199 0
[pid=26159/tid=26163] ppid=26156 vsize=14082736 memory=281045103171968 CPUtime=0 cores=0,2,4,6
/proc/26159/task/26163/stat : 26163 (java) S 26156 26159 25450 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250571356 14420721664 12582 33554432000 4194304 4196468 140735093806624 139956990433680 139957395449557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9793536 140735093810255 140735093810446 140735093810446 140735093813199 0
[pid=26159/tid=26164] ppid=26156 vsize=14082736 memory=281044943360512 CPUtime=0 cores=0,2,4,6
/proc/26159/task/26164/stat : 26164 (java) S 26156 26159 25450 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250571356 14420721664 12582 33554432000 4194304 4196468 140735093806624 139956989381136 139957395449557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9793536 140735093810255 140735093810446 140735093810446 140735093813199 0
[pid=26159/tid=26165] ppid=26156 vsize=14082736 memory=140522471666447 CPUtime=0 cores=0,2,4,6
/proc/26159/task/26165/stat : 26165 (java) S 26156 26159 25450 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250571356 14420721664 12582 33554432000 4194304 4196468 140735093806624 139956988328592 139957395449557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9793536 140735093810255 140735093810446 140735093810446 140735093813199 0
[pid=26159/tid=26166] ppid=26156 vsize=14082736 memory=281045103178880 CPUtime=0 cores=0,2,4,6
/proc/26159/task/26166/stat : 26166 (java) S 26156 26159 25450 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 250571357 14420721664 12582 33554432000 4194304 4196468 140735093806624 139956307847664 139957395450498 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9793536 140735093810255 140735093810446 140735093810446 140735093813199 0
[pid=26159/tid=26167] ppid=26156 vsize=14082736 memory=140522471671055 CPUtime=0 cores=0,2,4,6
/proc/26159/task/26167/stat : 26167 (java) S 26156 26159 25450 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250571358 14420721664 12582 33554432000 4194304 4196468 140735093806624 139956306793888 139957395449557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9793536 140735093810255 140735093810446 140735093810446 140735093813199 0
[pid=26159/tid=26168] ppid=26156 vsize=14082736 memory=140522471698841 CPUtime=0 cores=0,2,4,6
/proc/26159/task/26168/stat : 26168 (java) S 26156 26159 25450 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250571358 14420721664 12582 33554432000 4194304 4196468 140735093806624 139956305741296 139957395449557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9793536 140735093810255 140735093810446 140735093810446 140735093813199 0
[pid=26159/tid=26169] ppid=26156 vsize=14082736 memory=140522471701146 CPUtime=0 cores=0,2,4,6
/proc/26159/task/26169/stat : 26169 (java) S 26156 26159 25450 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250571360 14420721664 12582 33554432000 4194304 4196468 140735093806624 139956304689872 139957395457947 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9793536 140735093810255 140735093810446 140735093810446 140735093813199 0
[pid=26159/tid=26170] ppid=26156 vsize=14082736 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/26159/task/26170/stat : 26170 (java) S 26156 26159 25450 0 -1 1077944384 448 0 0 0 2 0 0 0 20 0 15 0 250571360 14420721664 12582 33554432000 4194304 4196468 140735093806624 139956303636464 139957395450498 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9793536 140735093810255 140735093810446 140735093810446 140735093813199 0
[pid=26159/tid=26171] ppid=26156 vsize=14082736 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/26159/task/26171/stat : 26171 (java) S 26156 26159 25450 0 -1 1077944384 173 0 0 0 2 0 0 0 20 0 15 0 250571360 14420721664 12582 33554432000 4194304 4196468 140735093806624 139956302583920 139957395450498 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9793536 140735093810255 140735093810446 140735093810446 140735093813199 0
[pid=26159/tid=26172] ppid=26156 vsize=14082736 memory=140522631505536 CPUtime=0.08 cores=0,2,4,6
/proc/26159/task/26172/stat : 26172 (java) S 26156 26159 25450 0 -1 1077944384 309 0 0 0 8 0 0 0 20 0 15 0 250571360 14420721664 12582 33554432000 4194304 4196468 140735093806624 139956301531376 139957395450498 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9793536 140735093810255 140735093810446 140735093810446 140735093813199 0
[pid=26159/tid=26173] ppid=26156 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26159/task/26173/stat : 26173 (java) S 26156 26159 25450 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250571361 14420721664 12582 33554432000 4194304 4196468 140735093806624 139956300479072 139957395449557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9793536 140735093810255 140735093810446 140735093810446 140735093813199 0
[pid=26159/tid=26174] ppid=26156 vsize=14082736 memory=140522631536832 CPUtime=0 cores=0,2,4,6
/proc/26159/task/26174/stat : 26174 (java) S 26156 26159 25450 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250571361 14420721664 12582 33554432000 4194304 4196468 140735093806624 139956299426608 139957395450498 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9793536 140735093810255 140735093810446 140735093810446 140735093813199 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 50328 KiB

[startup+0.701649 s]
/proc/loadavg: 1.59 1.64 1.53 4/215 26174
/proc/meminfo: memFree=18262444/32770624 swapFree=67108792/67108860
[pid=26159] ppid=26156 vsize=14084804 memory=89184 CPUtime=0.98 cores=0,2,4,6
/proc/26159/stat : 26159 (java) S 26156 26159 25450 0 -1 1077944320 17593 0 0 0 93 5 0 0 20 0 15 0 250571355 14422839296 22296 33554432000 4194304 4196468 140735093806624 140735093789168 139957395439351 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9793536 140735093810255 140735093810446 140735093810446 140735093813199 0
/proc/26159/statm: 3521201 22296 3505 1 0 3483273 0
[pid=26159/tid=26161] ppid=26156 vsize=14084804 memory=53 CPUtime=0.67 cores=0,2,4,6
/proc/26159/task/26161/stat : 26161 (java) R 26156 26159 25450 0 -1 4202560 14871 0 0 0 64 3 0 0 20 0 15 0 250571355 14422839296 22296 33554432000 4194304 4196468 140735093806624 139957399654624 139957377884590 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9793536 140735093810255 140735093810446 140735093810446 140735093813199 0
[pid=26159/tid=26162] ppid=26156 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26159/task/26162/stat : 26162 (java) S 26156 26159 25450 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250571356 14422839296 22296 33554432000 4194304 4196468 140735093806624 139956991486224 139957395449557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9793536 140735093810255 140735093810446 140735093810446 140735093813199 0
[pid=26159/tid=26163] ppid=26156 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26159/task/26163/stat : 26163 (java) S 26156 26159 25450 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250571356 14422839296 22296 33554432000 4194304 4196468 140735093806624 139956990433680 139957395449557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9793536 140735093810255 140735093810446 140735093810446 140735093813199 0
[pid=26159/tid=26164] ppid=26156 vsize=14084804 memory=79 CPUtime=0 cores=0,2,4,6
/proc/26159/task/26164/stat : 26164 (java) S 26156 26159 25450 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250571356 14422839296 22296 33554432000 4194304 4196468 140735093806624 139956989381136 139957395449557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9793536 140735093810255 140735093810446 140735093810446 140735093813199 0
[pid=26159/tid=26165] ppid=26156 vsize=14084804 memory=1 CPUtime=0 cores=0,2,4,6
/proc/26159/task/26165/stat : 26165 (java) S 26156 26159 25450 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250571356 14422839296 22296 33554432000 4194304 4196468 140735093806624 139956988328592 139957395449557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9793536 140735093810255 140735093810446 140735093810446 140735093813199 0
[pid=26159/tid=26166] ppid=26156 vsize=14084804 memory=8564 CPUtime=0 cores=0,2,4,6
/proc/26159/task/26166/stat : 26166 (java) S 26156 26159 25450 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 250571357 14422839296 22296 33554432000 4194304 4196468 140735093806624 139956307847664 139957395450498 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9793536 140735093810255 140735093810446 140735093810446 140735093813199 0
[pid=26159/tid=26167] ppid=26156 vsize=14084804 memory=1800 CPUtime=0 cores=0,2,4,6
/proc/26159/task/26167/stat : 26167 (java) S 26156 26159 25450 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250571358 14422839296 22296 33554432000 4194304 4196468 140735093806624 139956306793888 139957395449557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9793536 140735093810255 140735093810446 140735093810446 140735093813199 0
[pid=26159/tid=26168] ppid=26156 vsize=14084804 memory=1264 CPUtime=0 cores=0,2,4,6
/proc/26159/task/26168/stat : 26168 (java) S 26156 26159 25450 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250571358 14422839296 22296 33554432000 4194304 4196468 140735093806624 139956305741296 139957395449557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9793536 140735093810255 140735093810446 140735093810446 140735093813199 0
[pid=26159/tid=26169] ppid=26156 vsize=14084804 memory=7200 CPUtime=0 cores=0,2,4,6
/proc/26159/task/26169/stat : 26169 (java) S 26156 26159 25450 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250571360 14422839296 22296 33554432000 4194304 4196468 140735093806624 139956304689872 139957395457947 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9793536 140735093810255 140735093810446 140735093810446 140735093813199 0
[pid=26159/tid=26170] ppid=26156 vsize=14084804 memory=748 CPUtime=0.07 cores=0,2,4,6
/proc/26159/task/26170/stat : 26170 (java) S 26156 26159 25450 0 -1 1077944384 602 0 0 0 7 0 0 0 20 0 15 0 250571360 14422839296 22296 33554432000 4194304 4196468 140735093806624 139956303636464 139957395450498 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9793536 140735093810255 140735093810446 140735093810446 140735093813199 0
[pid=26159/tid=26171] ppid=26156 vsize=14084804 memory=872 CPUtime=0.06 cores=0,2,4,6
/proc/26159/task/26171/stat : 26171 (java) S 26156 26159 25450 0 -1 1077944384 336 0 0 0 6 0 0 0 20 0 15 0 250571360 14422839296 22296 33554432000 4194304 4196468 140735093806624 139956302583920 139957395450498 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9793536 140735093810255 140735093810446 140735093810446 140735093813199 0
[pid=26159/tid=26172] ppid=26156 vsize=14084804 memory=1220 CPUtime=0.15 cores=0,2,4,6
/proc/26159/task/26172/stat : 26172 (java) S 26156 26159 25450 0 -1 1077944384 403 0 0 0 15 0 0 0 20 0 15 0 250571360 14422839296 22296 33554432000 4194304 4196468 140735093806624 139956301531376 139957395450498 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9793536 140735093810255 140735093810446 140735093810446 140735093813199 0
[pid=26159/tid=26173] ppid=26156 vsize=14084804 memory=1108 CPUtime=0 cores=0,2,4,6
/proc/26159/task/26173/stat : 26173 (java) S 26156 26159 25450 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250571361 14422839296 22296 33554432000 4194304 4196468 140735093806624 139956300479072 139957395449557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9793536 140735093810255 140735093810446 140735093810446 140735093813199 0
[pid=26159/tid=26174] ppid=26156 vsize=14084804 memory=15336 CPUtime=0 cores=0,2,4,6
/proc/26159/task/26174/stat : 26174 (java) S 26156 26159 25450 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250571361 14422839296 22296 33554432000 4194304 4196468 140735093806624 139956299426608 139957395450498 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9793536 140735093810255 140735093810446 140735093810446 140735093813199 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 14084804 KiB
Current children cumulated memory: 89184 KiB

[startup+1.50067 s]
/proc/loadavg: 1.59 1.64 1.53 5/215 26174
/proc/meminfo: memFree=18159448/32770624 swapFree=67108792/67108860
[pid=26159] ppid=26156 vsize=14088900 memory=185808 CPUtime=3.28 cores=0,2,4,6
/proc/26159/stat : 26159 (java) S 26156 26159 25450 0 -1 1077944320 23448 0 0 0 320 8 0 0 20 0 15 0 250571355 14427033600 46452 33554432000 4194304 4196468 140735093806624 140735093789168 139957395439351 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9793536 140735093810255 140735093810446 140735093810446 140735093813199 0
/proc/26159/statm: 3522225 46452 3550 1 0 3484297 0
[pid=26159/tid=26161] ppid=26156 vsize=14088900 memory=0 CPUtime=1.46 cores=0,2,4,6
/proc/26159/task/26161/stat : 26161 (java) R 26156 26159 25450 0 -1 4202560 17668 0 0 0 141 5 0 0 20 0 15 0 250571355 14427033600 46452 33554432000 4194304 4196468 140735093806624 139957399661584 139957034977692 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9793536 140735093810255 140735093810446 140735093810446 140735093813199 0
[pid=26159/tid=26162] ppid=26156 vsize=14088900 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26159/task/26162/stat : 26162 (java) S 26156 26159 25450 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250571356 14427033600 46452 33554432000 4194304 4196468 140735093806624 139956991486224 139957395449557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9793536 140735093810255 140735093810446 140735093810446 140735093813199 0
[pid=26159/tid=26163] ppid=26156 vsize=14088900 memory=79 CPUtime=0 cores=0,2,4,6
/proc/26159/task/26163/stat : 26163 (java) S 26156 26159 25450 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250571356 14427033600 46452 33554432000 4194304 4196468 140735093806624 139956990433680 139957395449557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9793536 140735093810255 140735093810446 140735093810446 140735093813199 0
[pid=26159/tid=26164] ppid=26156 vsize=14088900 memory=1 CPUtime=0 cores=0,2,4,6
/proc/26159/task/26164/stat : 26164 (java) S 26156 26159 25450 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250571356 14427033600 46452 33554432000 4194304 4196468 140735093806624 139956989381136 139957395449557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9793536 140735093810255 140735093810446 140735093810446 140735093813199 0
[pid=26159/tid=26165] ppid=26156 vsize=14088900 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26159/task/26165/stat : 26165 (java) S 26156 26159 25450 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250571356 14427033600 46452 33554432000 4194304 4196468 140735093806624 139956988328592 139957395449557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9793536 140735093810255 140735093810446 140735093810446 140735093813199 0
[pid=26159/tid=26166] ppid=26156 vsize=14088900 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26159/task/26166/stat : 26166 (java) S 26156 26159 25450 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 250571357 14427033600 46452 33554432000 4194304 4196468 140735093806624 139956307847664 139957395450498 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9793536 140735093810255 140735093810446 140735093810446 140735093813199 0

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

/proc/26159/task/26161/stat : 26161 (java) R 26156 26159 25450 0 -1 4202560 27034 0 0 0 10177 12 0 0 20 0 15 0 250571355 14429130752 174155 33554432000 4194304 4196468 140735093806624 139957399677488 139957039042071 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9793536 140735093810255 140735093810446 140735093810446 140735093813199 0
[pid=26159/tid=26162] ppid=26156 vsize=14090948 memory=281044943355760 CPUtime=0.25 cores=0,2,4,6
/proc/26159/task/26162/stat : 26162 (java) S 26156 26159 25450 0 -1 1077944384 2023 0 0 0 16 9 0 0 20 0 15 0 250571356 14429130752 174155 33554432000 4194304 4196468 140735093806624 139956991486224 139957395449557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9793536 140735093810255 140735093810446 140735093810446 140735093813199 0
[pid=26159/tid=26163] ppid=26156 vsize=14090948 memory=164 CPUtime=0.24 cores=0,2,4,6
/proc/26159/task/26163/stat : 26163 (java) S 26156 26159 25450 0 -1 1077944384 1146 0 0 0 16 8 0 0 20 0 15 0 250571356 14429130752 174155 33554432000 4194304 4196468 140735093806624 139956990433680 139957395449557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9793536 140735093810255 140735093810446 140735093810446 140735093813199 0
[pid=26159/tid=26164] ppid=26156 vsize=14090948 memory=33 CPUtime=0.24 cores=0,2,4,6
/proc/26159/task/26164/stat : 26164 (java) S 26156 26159 25450 0 -1 1077944384 1295 0 0 0 16 8 0 0 20 0 15 0 250571356 14429130752 174155 33554432000 4194304 4196468 140735093806624 139956989381136 139957395449557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9793536 140735093810255 140735093810446 140735093810446 140735093813199 0
[pid=26159/tid=26165] ppid=26156 vsize=14090948 memory=56 CPUtime=0.24 cores=0,2,4,6
/proc/26159/task/26165/stat : 26165 (java) S 26156 26159 25450 0 -1 1077944384 2023 0 0 0 16 8 0 0 20 0 15 0 250571356 14429130752 174155 33554432000 4194304 4196468 140735093806624 139956988328592 139957395449557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9793536 140735093810255 140735093810446 140735093810446 140735093813199 0
[pid=26159/tid=26166] ppid=26156 vsize=14090948 memory=3892 CPUtime=0.06 cores=0,2,4,6
/proc/26159/task/26166/stat : 26166 (java) S 26156 26159 25450 0 -1 1077944384 1586 0 0 0 5 1 0 0 20 0 15 0 250571357 14429130752 174155 33554432000 4194304 4196468 140735093806624 139956307847664 139957395450498 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9793536 140735093810255 140735093810446 140735093810446 140735093813199 0
[pid=26159/tid=26167] ppid=26156 vsize=14090948 memory=68276 CPUtime=0 cores=0,2,4,6
/proc/26159/task/26167/stat : 26167 (java) S 26156 26159 25450 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 250571358 14429130752 174155 33554432000 4194304 4196468 140735093806624 139956306793952 139957395449557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9793536 140735093810255 140735093810446 140735093810446 140735093813199 0
[pid=26159/tid=26168] ppid=26156 vsize=14090948 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/26159/task/26168/stat : 26168 (java) S 26156 26159 25450 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 250571358 14429130752 174155 33554432000 4194304 4196468 140735093806624 139956305741312 139957395449557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9793536 140735093810255 140735093810446 140735093810446 140735093813199 0
[pid=26159/tid=26169] ppid=26156 vsize=14090948 memory=68276 CPUtime=0 cores=0,2,4,6
/proc/26159/task/26169/stat : 26169 (java) S 26156 26159 25450 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250571360 14429130752 174155 33554432000 4194304 4196468 140735093806624 139956304689872 139957395457947 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9793536 140735093810255 140735093810446 140735093810446 140735093813199 0
[pid=26159/tid=26170] ppid=26156 vsize=14090948 memory=168564 CPUtime=1.68 cores=0,2,4,6
/proc/26159/task/26170/stat : 26170 (java) S 26156 26159 25450 0 -1 1077944384 8140 0 0 0 166 2 0 0 20 0 15 0 250571360 14429130752 174155 33554432000 4194304 4196468 140735093806624 139956303636464 139957395450498 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9793536 140735093810255 140735093810446 140735093810446 140735093813199 0
[pid=26159/tid=26171] ppid=26156 vsize=14090948 memory=0 CPUtime=1.79 cores=0,2,4,6
/proc/26159/task/26171/stat : 26171 (java) S 26156 26159 25450 0 -1 1077944384 6341 0 0 0 178 1 0 0 20 0 15 0 250571360 14429130752 174155 33554432000 4194304 4196468 140735093806624 139956302583920 139957395450498 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9793536 140735093810255 140735093810446 140735093810446 140735093813199 0
[pid=26159/tid=26172] ppid=26156 vsize=14090948 memory=0 CPUtime=0.86 cores=0,2,4,6
/proc/26159/task/26172/stat : 26172 (java) S 26156 26159 25450 0 -1 1077944384 7612 0 0 0 84 2 0 0 20 0 15 0 250571360 14429130752 174155 33554432000 4194304 4196468 140735093806624 139956301531376 139957395450498 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9793536 140735093810255 140735093810446 140735093810446 140735093813199 0
[pid=26159/tid=26173] ppid=26156 vsize=14090948 memory=168 CPUtime=0 cores=0,2,4,6
/proc/26159/task/26173/stat : 26173 (java) S 26156 26159 25450 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250571361 14429130752 174155 33554432000 4194304 4196468 140735093806624 139956300479072 139957395449557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9793536 140735093810255 140735093810446 140735093810446 140735093813199 0
[pid=26159/tid=26174] ppid=26156 vsize=14090948 memory=2380 CPUtime=0.03 cores=0,2,4,6
/proc/26159/task/26174/stat : 26174 (java) S 26156 26159 25450 0 -1 1077944384 599 0 0 0 1 2 0 0 20 0 15 0 250571361 14429130752 174155 33554432000 4194304 4196468 140735093806624 139956299426608 139957395450498 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9793536 140735093810255 140735093810446 140735093810446 140735093813199 0
Current children cumulated CPU time: 107.39 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 696620 KiB

[startup+162.301 s]
/proc/loadavg: 1.36 1.59 1.54 3/215 26183
/proc/meminfo: memFree=17559544/32770624 swapFree=67108792/67108860
[pid=26159] ppid=26156 vsize=14090948 memory=717140 CPUtime=168.15 cores=0,2,4,6
/proc/26159/stat : 26159 (java) S 26156 26159 25450 0 -1 1077944320 64750 0 0 0 16743 72 0 0 20 0 15 0 250571355 14429130752 179285 33554432000 4194304 4196468 140735093806624 140735093789168 139957395439351 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9793536 140735093810255 140735093810446 140735093810446 140735093813199 0
/proc/26159/statm: 3522737 179285 3583 1 0 3484809 0
[pid=26159/tid=26161] ppid=26156 vsize=14090948 memory=711012 CPUtime=161.52 cores=0,2,4,6
/proc/26159/task/26161/stat : 26161 (java) R 26156 26159 25450 0 -1 4202560 27959 0 0 0 16139 13 0 0 20 0 15 0 250571355 14429130752 179285 33554432000 4194304 4196468 140735093806624 139957399677472 139957037870775 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9793536 140735093810255 140735093810446 140735093810446 140735093813199 0
[pid=26159/tid=26162] ppid=26156 vsize=14090948 memory=46 CPUtime=0.49 cores=0,2,4,6
/proc/26159/task/26162/stat : 26162 (java) S 26156 26159 25450 0 -1 1077944384 2496 0 0 0 37 12 0 0 20 0 15 0 250571356 14429130752 179285 33554432000 4194304 4196468 140735093806624 139956991486224 139957395449557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9793536 140735093810255 140735093810446 140735093810446 140735093813199 0
[pid=26159/tid=26163] ppid=26156 vsize=14090948 memory=715100 CPUtime=0.49 cores=0,2,4,6
/proc/26159/task/26163/stat : 26163 (java) S 26156 26159 25450 0 -1 1077944384 1507 0 0 0 38 11 0 0 20 0 15 0 250571356 14429130752 179285 33554432000 4194304 4196468 140735093806624 139956990433680 139957395449557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9793536 140735093810255 140735093810446 140735093810446 140735093813199 0
[pid=26159/tid=26164] ppid=26156 vsize=14090948 memory=712536 CPUtime=0.49 cores=0,2,4,6
/proc/26159/task/26164/stat : 26164 (java) S 26156 26159 25450 0 -1 1077944384 1860 0 0 0 38 11 0 0 20 0 15 0 250571356 14429130752 179285 33554432000 4194304 4196468 140735093806624 139956989381136 139957395449557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9793536 140735093810255 140735093810446 140735093810446 140735093813199 0
[pid=26159/tid=26165] ppid=26156 vsize=14090948 memory=715608 CPUtime=0.49 cores=0,2,4,6
/proc/26159/task/26165/stat : 26165 (java) S 26156 26159 25450 0 -1 1077944384 3130 0 0 0 38 11 0 0 20 0 15 0 250571356 14429130752 179285 33554432000 4194304 4196468 140735093806624 139956988328592 139957395449557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9793536 140735093810255 140735093810446 140735093810446 140735093813199 0
[pid=26159/tid=26166] ppid=26156 vsize=14090948 memory=713564 CPUtime=0.16 cores=0,2,4,6
/proc/26159/task/26166/stat : 26166 (java) S 26156 26159 25450 0 -1 1077944384 1842 0 0 0 14 2 0 0 20 0 15 0 250571357 14429130752 179285 33554432000 4194304 4196468 140735093806624 139956307847664 139957395450498 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9793536 140735093810255 140735093810446 140735093810446 140735093813199 0
[pid=26159/tid=26167] ppid=26156 vsize=14090948 memory=716116 CPUtime=0 cores=0,2,4,6
/proc/26159/task/26167/stat : 26167 (java) S 26156 26159 25450 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 250571358 14429130752 179285 33554432000 4194304 4196468 140735093806624 139956306793952 139957395449557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9793536 140735093810255 140735093810446 140735093810446 140735093813199 0
[pid=26159/tid=26168] ppid=26156 vsize=14090948 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26159/task/26168/stat : 26168 (java) S 26156 26159 25450 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 250571358 14429130752 179285 33554432000 4194304 4196468 140735093806624 139956305741312 139957395449557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9793536 140735093810255 140735093810446 140735093810446 140735093813199 0
[pid=26159/tid=26169] ppid=26156 vsize=14090948 memory=712028 CPUtime=0 cores=0,2,4,6
/proc/26159/task/26169/stat : 26169 (java) S 26156 26159 25450 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250571360 14429130752 179285 33554432000 4194304 4196468 140735093806624 139956304689872 139957395457947 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9793536 140735093810255 140735093810446 140735093810446 140735093813199 0
[pid=26159/tid=26170] ppid=26156 vsize=14090948 memory=711520 CPUtime=1.68 cores=0,2,4,6
/proc/26159/task/26170/stat : 26170 (java) S 26156 26159 25450 0 -1 1077944384 8398 0 0 0 166 2 0 0 20 0 15 0 250571360 14429130752 179285 33554432000 4194304 4196468 140735093806624 139956303636464 139957395450498 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9793536 140735093810255 140735093810446 140735093810446 140735093813199 0
[pid=26159/tid=26171] ppid=26156 vsize=14090948 memory=717652 CPUtime=1.81 cores=0,2,4,6
/proc/26159/task/26171/stat : 26171 (java) S 26156 26159 25450 0 -1 1077944384 6728 0 0 0 179 2 0 0 20 0 15 0 250571360 14429130752 179285 33554432000 4194304 4196468 140735093806624 139956302583920 139957395450498 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9793536 140735093810255 140735093810446 140735093810446 140735093813199 0
[pid=26159/tid=26172] ppid=26156 vsize=14090948 memory=1108 CPUtime=0.86 cores=0,2,4,6
/proc/26159/task/26172/stat : 26172 (java) S 26156 26159 25450 0 -1 1077944384 8783 0 0 0 84 2 0 0 20 0 15 0 250571360 14429130752 179285 33554432000 4194304 4196468 140735093806624 139956301531376 139957395450498 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9793536 140735093810255 140735093810446 140735093810446 140735093813199 0
[pid=26159/tid=26173] ppid=26156 vsize=14090948 memory=717652 CPUtime=0 cores=0,2,4,6
/proc/26159/task/26173/stat : 26173 (java) S 26156 26159 25450 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250571361 14429130752 179285 33554432000 4194304 4196468 140735093806624 139956300479072 139957395449557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9793536 140735093810255 140735093810446 140735093810446 140735093813199 0
[pid=26159/tid=26174] ppid=26156 vsize=14090948 memory=717652 CPUtime=0.07 cores=0,2,4,6
/proc/26159/task/26174/stat : 26174 (java) S 26156 26159 25450 0 -1 1077944384 625 0 0 0 3 4 0 0 20 0 15 0 250571361 14429130752 179285 33554432000 4194304 4196468 140735093806624 139956299426608 139957395450498 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9793536 140735093810255 140735093810446 140735093810446 140735093813199 0
Current children cumulated CPU time: 168.15 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 717140 KiB

[startup+222.301 s]
/proc/loadavg: 1.32 1.55 1.52 3/215 26184
/proc/meminfo: memFree=17526336/32770624 swapFree=67108792/67108860
[pid=26159] ppid=26156 vsize=14090948 memory=744180 CPUtime=229.07 cores=0,2,4,6
/proc/26159/stat : 26159 (java) S 26156 26159 25450 0 -1 1077944320 68734 0 0 0 22818 89 0 0 20 0 15 0 250571355 14429130752 186045 33554432000 4194304 4196468 140735093806624 140735093789168 139957395439351 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9793536 140735093810255 140735093810446 140735093810446 140735093813199 0
/proc/26159/statm: 3522737 186045 3583 1 0 3484809 0
[pid=26159/tid=26161] ppid=26156 vsize=14090948 memory=744692 CPUtime=221.06 cores=0,2,4,6
/proc/26159/task/26161/stat : 26161 (java) R 26156 26159 25450 0 -1 4202560 28594 0 0 0 22092 14 0 0 20 0 15 0 250571355 14429130752 186045 33554432000 4194304 4196468 140735093806624 139957399677376 139957037907932 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9793536 140735093810255 140735093810446 140735093810446 140735093813199 0
[pid=26159/tid=26162] ppid=26156 vsize=14090948 memory=741648 CPUtime=0.79 cores=0,2,4,6
/proc/26159/task/26162/stat : 26162 (java) S 26156 26159 25450 0 -1 1077944384 3087 0 0 0 63 16 0 0 20 0 15 0 250571356 14429130752 186045 33554432000 4194304 4196468 140735093806624 139956991486224 139957395449557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9793536 140735093810255 140735093810446 140735093810446 140735093813199 0
[pid=26159/tid=26163] ppid=26156 vsize=14090948 memory=742648 CPUtime=0.79 cores=0,2,4,6
/proc/26159/task/26163/stat : 26163 (java) S 26156 26159 25450 0 -1 1077944384 1761 0 0 0 64 15 0 0 20 0 15 0 250571356 14429130752 186045 33554432000 4194304 4196468 140735093806624 139956990433680 139957395449557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9793536 140735093810255 140735093810446 140735093810446 140735093813199 0
[pid=26159/tid=26164] ppid=26156 vsize=14090948 memory=744180 CPUtime=0.8 cores=0,2,4,6
/proc/26159/task/26164/stat : 26164 (java) S 26156 26159 25450 0 -1 1077944384 2091 0 0 0 64 16 0 0 20 0 15 0 250571356 14429130752 186045 33554432000 4194304 4196468 140735093806624 139956989381136 139957395449557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9793536 140735093810255 140735093810446 140735093810446 140735093813199 0
[pid=26159/tid=26165] ppid=26156 vsize=14090948 memory=744180 CPUtime=0.79 cores=0,2,4,6
/proc/26159/task/26165/stat : 26165 (java) S 26156 26159 25450 0 -1 1077944384 3261 0 0 0 64 15 0 0 20 0 15 0 250571356 14429130752 186045 33554432000 4194304 4196468 140735093806624 139956988328592 139957395449557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9793536 140735093810255 140735093810446 140735093810446 140735093813199 0
[pid=26159/tid=26166] ppid=26156 vsize=14090948 memory=744180 CPUtime=0.28 cores=0,2,4,6
/proc/26159/task/26166/stat : 26166 (java) S 26156 26159 25450 0 -1 1077944384 1873 0 0 0 24 4 0 0 20 0 15 0 250571357 14429130752 186045 33554432000 4194304 4196468 140735093806624 139956307847664 139957395450498 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9793536 140735093810255 140735093810446 140735093810446 140735093813199 0
[pid=26159/tid=26167] ppid=26156 vsize=14090948 memory=744180 CPUtime=0 cores=0,2,4,6
/proc/26159/task/26167/stat : 26167 (java) S 26156 26159 25450 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 250571358 14429130752 186045 33554432000 4194304 4196468 140735093806624 139956306793952 139957395449557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9793536 140735093810255 140735093810446 140735093810446 140735093813199 0
[pid=26159/tid=26168] ppid=26156 vsize=14090948 memory=744180 CPUtime=0 cores=0,2,4,6
/proc/26159/task/26168/stat : 26168 (java) S 26156 26159 25450 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 250571358 14429130752 186045 33554432000 4194304 4196468 140735093806624 139956305741312 139957395449557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9793536 140735093810255 140735093810446 140735093810446 140735093813199 0
[pid=26159/tid=26169] ppid=26156 vsize=14090948 memory=743156 CPUtime=0 cores=0,2,4,6
/proc/26159/task/26169/stat : 26169 (java) S 26156 26159 25450 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250571360 14429130752 186045 33554432000 4194304 4196468 140735093806624 139956304689872 139957395457947 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9793536 140735093810255 140735093810446 140735093810446 140735093813199 0
[pid=26159/tid=26170] ppid=26156 vsize=14090948 memory=743672 CPUtime=1.7 cores=0,2,4,6
/proc/26159/task/26170/stat : 26170 (java) S 26156 26159 25450 0 -1 1077944384 9104 0 0 0 167 3 0 0 20 0 15 0 250571360 14429130752 186045 33554432000 4194304 4196468 140735093806624 139956303636464 139957395450498 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9793536 140735093810255 140735093810446 140735093810446 140735093813199 0
[pid=26159/tid=26171] ppid=26156 vsize=14090948 memory=4744 CPUtime=1.82 cores=0,2,4,6
/proc/26159/task/26171/stat : 26171 (java) S 26156 26159 25450 0 -1 1077944384 7532 0 0 0 180 2 0 0 20 0 15 0 250571360 14429130752 186045 33554432000 4194304 4196468 140735093806624 139956302583920 139957395450498 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9793536 140735093810255 140735093810446 140735093810446 140735093813199 0
[pid=26159/tid=26172] ppid=26156 vsize=14090948 memory=3888 CPUtime=0.86 cores=0,2,4,6
/proc/26159/task/26172/stat : 26172 (java) S 26156 26159 25450 0 -1 1077944384 9379 0 0 0 84 2 0 0 20 0 15 0 250571360 14429130752 186045 33554432000 4194304 4196468 140735093806624 139956301531376 139957395450498 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9793536 140735093810255 140735093810446 140735093810446 140735093813199 0
[pid=26159/tid=26173] ppid=26156 vsize=14090948 memory=288230574492221466 CPUtime=0 cores=0,2,4,6
/proc/26159/task/26173/stat : 26173 (java) S 26156 26159 25450 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250571361 14429130752 186045 33554432000 4194304 4196468 140735093806624 139956300479072 139957395449557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9793536 140735093810255 140735093810446 140735093810446 140735093813199 0
[pid=26159/tid=26174] ppid=26156 vsize=14090948 memory=288230596050944315 CPUtime=0.08 cores=0,2,4,6
/proc/26159/task/26174/stat : 26174 (java) S 26156 26159 25450 0 -1 1077944384 630 0 0 0 3 5 0 0 20 0 15 0 250571361 14429130752 186045 33554432000 4194304 4196468 140735093806624 139956299426608 139957395450498 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9793536 140735093810255 140735093810446 140735093810446 140735093813199 0
Current children cumulated CPU time: 229.07 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 744180 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+245.001 s]*
/proc/loadavg: 1.22 1.50 1.51 3/215 26185
/proc/meminfo: memFree=17511996/32770624 swapFree=67108792/67108860
[pid=26159] ppid=26156 vsize=14090948 memory=748780 CPUtime=252.02 cores=0,2,4,6
/proc/26159/stat : 26159 (java) S 26156 26159 25450 0 -1 1077944320 70289 0 0 0 25111 91 0 0 20 0 15 0 250571355 14429130752 187195 33554432000 4194304 4196468 140735093806624 140735093789168 139957395439351 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9793536 140735093810255 140735093810446 140735093810446 140735093813199 0
/proc/26159/statm: 3522737 187195 3583 1 0 3484809 0
[pid=26159/tid=26161] ppid=26156 vsize=14090948 memory=6791534058613427641 CPUtime=243.63 cores=0,2,4,6
/proc/26159/task/26161/stat : 26161 (java) R 26156 26159 25450 0 -1 4202560 29033 0 0 0 24349 14 0 0 20 0 15 0 250571355 14429130752 187195 33554432000 4194304 4196468 140735093806624 139957399677488 139957379754588 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9793536 140735093810255 140735093810446 140735093810446 140735093813199 0
[pid=26159/tid=26162] ppid=26156 vsize=14090948 memory=-7003737579269690708 CPUtime=0.87 cores=0,2,4,6
/proc/26159/task/26162/stat : 26162 (java) S 26156 26159 25450 0 -1 1077944384 3405 0 0 0 71 16 0 0 20 0 15 0 250571356 14429130752 187195 33554432000 4194304 4196468 140735093806624 139956991486224 139957395449557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9793536 140735093810255 140735093810446 140735093810446 140735093813199 0
[pid=26159/tid=26163] ppid=26156 vsize=14090948 memory=-8412652169205224307 CPUtime=0.88 cores=0,2,4,6
/proc/26159/task/26163/stat : 26163 (java) S 26156 26159 25450 0 -1 1077944384 2006 0 0 0 72 16 0 0 20 0 15 0 250571356 14429130752 187195 33554432000 4194304 4196468 140735093806624 139956990433680 139957395449557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9793536 140735093810255 140735093810446 140735093810446 140735093813199 0
[pid=26159/tid=26164] ppid=26156 vsize=14090948 memory=7882822615282246764 CPUtime=0.87 cores=0,2,4,6
/proc/26159/task/26164/stat : 26164 (java) S 26156 26159 25450 0 -1 1077944384 2253 0 0 0 71 16 0 0 20 0 15 0 250571356 14429130752 187195 33554432000 4194304 4196468 140735093806624 139956989381136 139957395449557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9793536 140735093810255 140735093810446 140735093810446 140735093813199 0
[pid=26159/tid=26165] ppid=26156 vsize=14090948 memory=7018133711923799891 CPUtime=0.87 cores=0,2,4,6
/proc/26159/task/26165/stat : 26165 (java) S 26156 26159 25450 0 -1 1077944384 3406 0 0 0 72 15 0 0 20 0 15 0 250571356 14429130752 187195 33554432000 4194304 4196468 140735093806624 139956988328592 139957395449557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9793536 140735093810255 140735093810446 140735093810446 140735093813199 0
[pid=26159/tid=26166] ppid=26156 vsize=14090948 memory=7524501693205206122 CPUtime=0.31 cores=0,2,4,6
/proc/26159/task/26166/stat : 26166 (java) S 26156 26159 25450 0 -1 1077944384 2101 0 0 0 27 4 0 0 20 0 15 0 250571357 14429130752 187195 33554432000 4194304 4196468 140735093806624 139956307847664 139957395450498 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9793536 140735093810255 140735093810446 140735093810446 140735093813199 0
[pid=26159/tid=26167] ppid=26156 vsize=14090948 memory=7956854936181172840 CPUtime=0 cores=0,2,4,6
/proc/26159/task/26167/stat : 26167 (java) S 26156 26159 25450 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 250571358 14429130752 187195 33554432000 4194304 4196468 140735093806624 139956306793952 139957395449557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9793536 140735093810255 140735093810446 140735093810446 140735093813199 0
[pid=26159/tid=26168] ppid=26156 vsize=14090948 memory=7956854936181172840 CPUtime=0 cores=0,2,4,6
/proc/26159/task/26168/stat : 26168 (java) S 26156 26159 25450 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 250571358 14429130752 187195 33554432000 4194304 4196468 140735093806624 139956305741312 139957395449557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9793536 140735093810255 140735093810446 140735093810446 140735093813199 0
[pid=26159/tid=26169] ppid=26156 vsize=14090948 memory=7300453100646457956 CPUtime=0 cores=0,2,4,6
/proc/26159/task/26169/stat : 26169 (java) S 26156 26159 25450 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250571360 14429130752 187195 33554432000 4194304 4196468 140735093806624 139956304689872 139957395457947 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9793536 140735093810255 140735093810446 140735093810446 140735093813199 0
[pid=26159/tid=26170] ppid=26156 vsize=14090948 memory=5940651899222386280 CPUtime=1.7 cores=0,2,4,6
/proc/26159/task/26170/stat : 26170 (java) S 26156 26159 25450 0 -1 1077944384 9105 0 0 0 167 3 0 0 20 0 15 0 250571360 14429130752 187195 33554432000 4194304 4196468 140735093806624 139956303636464 139957395450498 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9793536 140735093810255 140735093810446 140735093810446 140735093813199 0
[pid=26159/tid=26171] ppid=26156 vsize=14090948 memory=7667220484349518952 CPUtime=1.82 cores=0,2,4,6
/proc/26159/task/26171/stat : 26171 (java) S 26156 26159 25450 0 -1 1077944384 7532 0 0 0 180 2 0 0 20 0 15 0 250571360 14429130752 187195 33554432000 4194304 4196468 140735093806624 139956302583920 139957395450498 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9793536 140735093810255 140735093810446 140735093810446 140735093813199 0
[pid=26159/tid=26172] ppid=26156 vsize=14090948 memory=7517466996270195049 CPUtime=0.86 cores=0,2,4,6
/proc/26159/task/26172/stat : 26172 (java) S 26156 26159 25450 0 -1 1077944384 9380 0 0 0 84 2 0 0 20 0 15 0 250571360 14429130752 187195 33554432000 4194304 4196468 140735093806624 139956301531376 139957395450498 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9793536 140735093810255 140735093810446 140735093810446 140735093813199 0
[pid=26159/tid=26173] ppid=26156 vsize=14090948 memory=6228310503658514791 CPUtime=0 cores=0,2,4,6
/proc/26159/task/26173/stat : 26173 (java) S 26156 26159 25450 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250571361 14429130752 187195 33554432000 4194304 4196468 140735093806624 139956300479072 139957395449557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9793536 140735093810255 140735093810446 140735093810446 140735093813199 0
[pid=26159/tid=26174] ppid=26156 vsize=14090948 memory=7454136259794200680 CPUtime=0.09 cores=0,2,4,6
/proc/26159/task/26174/stat : 26174 (java) S 26156 26159 25450 0 -1 1077944384 647 0 0 0 4 5 0 0 20 0 15 0 250571361 14429130752 187195 33554432000 4194304 4196468 140735093806624 139956299426608 139957395450498 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9793536 140735093810255 140735093810446 140735093810446 140735093813199 0
Current children cumulated CPU time: 252.02 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 748780 KiB

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

[startup+245.029 s]
# the end of solver process 26159 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=251.128 s, system=0.928139 s

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

Child status: 143
Real time (s): 245.029
CPU time (s): 252.056
CPU user time (s): 251.128
CPU system time (s): 0.928139
CPU usage (%): 102.868
Max. virtual memory (cumulated for all children) (KiB): 14090948
Max. memory (cumulated for all children) (KiB): 748780

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 251.128
system time used= 0.928139
maximum resident set size= 749392
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 71761
page faults= 0
swaps= 0
block input operations= 0
block output operations= 424
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 15639
involuntary context switches= 619


# summary of solver processes directly reported to runsolver:
#   pid: 26159
#   total CPU time (s): 252.056
#   total CPU user time (s): 251.128
#   total CPU system time (s): 0.928139

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.52835 second user time and 2.42112 second system time

The end

Launcher Data 

Begin job on node150 at 2018-08-15 12:48:01
IDJOB=4310114
IDBENCH=141219
IDSOLVER=2795
FILE ID=node150/4310114-1534330081
RUNJOBID= node150-1534329088-25481
PBS_JOBID= 21038155
Free space on /tmp= 37896 MiB

SOLVER NAME= OscaR - Conflict Ordering with restarts 2018-08-14
BENCH NAME= XCSP18/SumColoring/SumColoring-dsjc-250-1_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-4310114-1534330081/watcher-4310114-1534330081 -o /tmp/evaluation-result-4310114-1534330081/solver-4310114-1534330081 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node150-1534329088-25481 --watchdog 312  java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 558333426 --timelimit 252 --memlimit 11000 --nbcore 4 HOME/instance-4310114-1534330081.xml

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

MD5SUM BENCH= 23e20eff05b11a5b5f7472de7de36ab3
RANDOM SEED=558333426

node150.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.76
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.76
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.76
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.76
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:        18359364 kB
MemAvailable:   31823348 kB
Buffers:          249332 kB
Cached:         13382248 kB
SwapCached:           32 kB
Active:          6494864 kB
Inactive:        7264908 kB
Active(anon):      79836 kB
Inactive(anon):   109136 kB
Active(file):    6415028 kB
Inactive(file):  7155772 kB
Unevictable:        7740 kB
Mlocked:            7740 kB
SwapTotal:      67108860 kB
SwapFree:       67108792 kB
Dirty:             71912 kB
Writeback:             0 kB
AnonPages:        134116 kB
Mapped:            69436 kB
Shmem:             57924 kB
Slab:             350176 kB
SReclaimable:     321644 kB
SUnreclaim:        28532 kB
KernelStack:        3520 kB
PageTables:         5972 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1322452 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     30720 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      126336 kB
DirectMap2M:    33419264 kB

Free space on /tmp at the end= 37860 MiB
End job on node150 at 2018-08-15 12:52:06