Trace number 275244

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, and are wall clock time (not CPU 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 NameAnswerCPU timeWall clock time
AbsconMax 109 PFCMSAT (TO) 2400.17 2403.36

General information on the benchmark

Namefapp/fapp11-15/fapp14/
fapp14-2500-3.xml
MD5SUM4617dd65e04376af0f17b07f3d79e34a
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkMSAT TO
Best Number of satisfied constraints38371
Best CPU time to get the best result obtained on this benchmark2400.11
SatisfiableNO
(Un)Satisfiability was provedNO
Number of variables2500
Number of constraints40767
Maximum constraint arity2
Maximum domain size362
Number of constraints which are defined in extension0
Number of constraints which are defined in intension40767
Global constraints used (with number of constraints)

Quality of the solution as a function of time


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

Solver Data (download as text)

0.32	   
0.32	Abscon 109 (November, 2006)
0.32	   
0.32	   configuration
0.32	     name=pfc.xml
0.36	   
0.36	   instance
0.36	     name=/tmp/evaluation/275244-1169218877/unknown.xml
0.40	   
0.40	   domains being loaded...
0.44	   
0.44	   variables being loaded...
0.75	     nbVariables=2500  nbDomainTypes=30  minDomainSize=42  maxDomainSize=362
0.75	       =>  wckTime=0.424  cpuTime=0.31  mem=35M204
0.75	   
0.75	   predicates being loaded...
0.76	   
0.76	   constraints being loaded...
61.51	   
61.51	   INFO : Stopping converting binary constraints (cpu=60.01, mem = 64M817)
63.56	     nbConstraints=40767  nbConvertedConstraints=6037  nbConvertConstraintsChecks=186838214  nbExtensionStructures=2566
63.56	     nbSharedExtensionStructures=3471  nbConflictsStructures=2566  nbSharedConflictsStructures=3471
63.56	     nbSharedBinaryRepresentations=1329153  nbEvaluationManagers=9457  nbSharedEvaluationManagers=25273  maxDegree=52
63.56	     maxArity=2
63.56	       =>  wckTime=63.229  cpuTime=61.61  mem=90M588
63.92	   
63.92	   solver LocalSearchSolver being built... 
63.95	       =>  wckTime=63.627  cpuTime=61.65  mem=85M849
64.14	
64.14	s SATISFIABLE
64.14	o 32450
64.14	c 8317
64.24	o 32462
64.24	c 8305
64.28	o 32473
64.28	c 8294
64.32	o 32487
64.32	c 8280
64.36	o 32495
64.36	c 8272
64.40	o 32503
64.40	c 8264
64.44	o 32511
64.44	c 8256
64.47	o 32517
64.47	c 8250
64.52	o 32520
64.52	c 8247
64.56	o 32528
64.56	c 8239
64.60	o 32537
64.60	c 8230
64.64	o 32546
64.64	c 8221
64.69	o 32552
64.69	c 8215
64.73	o 32557
64.73	c 8210
64.77	o 32562
64.77	c 8205
64.81	o 32567
64.81	c 8200
64.85	o 32572
64.85	c 8195
64.88	o 32577
64.88	c 8190
64.92	o 32581
64.92	c 8186
64.96	o 32584
64.96	c 8183
65.00	o 32587
65.00	c 8180
65.03	o 32589
65.03	c 8178
65.06	o 32591
65.06	c 8176
65.09	o 32593
65.09	c 8174
65.13	o 32595
65.13	c 8172
65.18	o 32596
65.18	c 8171
65.24	o 32605
65.24	c 8162
65.30	o 32614
65.30	c 8153
65.36	o 32622
65.36	c 8145
65.42	o 32630
65.42	c 8137
65.47	o 32638
65.47	c 8129
65.53	o 32645
65.53	c 8122
65.58	o 32652
65.58	c 8115
65.62	o 32656
65.62	c 8111
65.69	o 32662
65.69	c 8105
65.73	o 32667
65.73	c 8100
65.77	o 32672
65.77	c 8095
65.81	o 32676
65.82	c 8091
65.86	o 32680
65.86	c 8087
65.89	o 32683
65.89	c 8084
65.92	o 32692
65.92	c 8075
65.96	o 32695
65.96	c 8072
66.00	o 32698
66.00	c 8069
66.03	o 32701
66.03	c 8066
66.06	o 32703
66.06	c 8064
66.10	o 32705
66.10	c 8062
66.18	o 32711
66.18	c 8056
66.23	o 32716
66.23	c 8051
66.27	o 32722
66.27	c 8045
66.31	o 32724
66.31	c 8043
66.37	o 32728
66.37	c 8039
66.42	o 32738
66.42	c 8029
66.49	o 32745
66.49	c 8022
66.55	o 32754
66.55	c 8013
66.61	o 32762
66.61	c 8005
66.68	o 32770
66.68	c 7997
66.74	o 32777
66.74	c 7990
66.81	o 32784
66.81	c 7983
66.87	o 32791
66.87	c 7976
66.93	o 32797
66.93	c 7970
67.00	o 32802
67.00	c 7965
67.06	o 32807
67.06	c 7960
67.13	o 32812
67.13	c 7955
67.19	o 32817
67.19	c 7950
67.25	o 32819
67.25	c 7948
67.31	o 32823
67.31	c 7944
67.36	o 32827
67.36	c 7940
67.41	o 32831
67.41	c 7936
67.46	o 32834
67.46	c 7933
67.51	o 32837
67.51	c 7930
67.54	o 32840
67.54	c 7927
67.61	o 32843
67.61	c 7924
67.65	o 32850
67.65	c 7917
67.68	o 32852
67.68	c 7915
67.71	o 32854
67.71	c 7913
67.74	o 32856
67.74	c 7911
67.77	o 32857
67.77	c 7910
67.79	o 32858
67.80	c 7909
67.82	o 32859
67.82	c 7908
67.85	o 32860
67.85	c 7907
67.89	o 32863
67.89	c 7904
67.92	o 32868
67.92	c 7899
67.97	o 32871
67.97	c 7896
68.00	o 32879
68.00	c 7888
68.06	o 32884
68.06	c 7883
68.10	o 32889
68.10	c 7878
68.15	o 32894
68.15	c 7873
68.16	o 32896
68.16	c 7871
68.21	o 32898
68.21	c 7869
68.24	o 32908
68.24	c 7859
68.27	o 32918
68.27	c 7849
68.31	o 32920
68.31	c 7847
68.36	o 32927
68.36	c 7840
68.39	o 32937
68.39	c 7830
68.45	o 32947
68.45	c 7820
68.52	o 32956
68.52	c 7811
68.59	o 32957
68.59	c 7810
68.66	o 32964
68.66	c 7803
68.72	o 32971
68.73	c 7796
68.79	o 32975
68.79	c 7792
68.85	o 32976
68.85	c 7791
68.92	o 32982
68.92	c 7785
68.99	o 32988
68.99	c 7779
69.06	o 32994
69.06	c 7773
69.13	o 33000
69.13	c 7767
69.20	o 33001
69.20	c 7766
69.27	o 33006
69.27	c 7761
69.33	o 33011
69.33	c 7756
69.40	o 33016
69.40	c 7751
69.45	o 33021
69.45	c 7746
69.51	o 33025
69.51	c 7742
69.57	o 33029
69.57	c 7738
69.62	o 33032
69.62	c 7735
69.67	o 33035
69.67	c 7732
69.73	o 33038
69.73	c 7729
69.77	o 33041
69.77	c 7726
69.83	o 33044
69.83	c 7723
69.87	o 33046
69.87	c 7721
69.92	o 33048
69.92	c 7719
69.96	o 33050
69.96	c 7717
69.99	o 33052
69.99	c 7715
70.04	o 33061
70.04	c 7706
70.07	o 33063
70.07	c 7704
70.12	o 33065
70.12	c 7702
70.15	o 33066
70.15	c 7701
70.25	o 33073
70.26	c 7694
70.28	o 33077
70.28	c 7690
70.31	o 33080
70.31	c 7687
70.35	o 33083
70.35	c 7684
70.39	o 33086
70.39	c 7681
70.41	o 33092
70.41	c 7675
70.45	o 33097
70.45	c 7670
70.49	o 33099
70.49	c 7668
70.51	o 33103
70.51	c 7664
70.55	o 33111
70.55	c 7656
70.57	o 33119
70.57	c 7648
70.63	o 33124
70.63	c 7643
70.67	o 33132
70.67	c 7635
70.71	o 33135
70.71	c 7632
70.74	o 33137
70.74	c 7630
70.79	o 33139
70.79	c 7628
70.84	o 33145
70.84	c 7622
70.89	o 33149
70.89	c 7618
70.92	o 33153
70.92	c 7614
70.99	o 33159
70.99	c 7608
71.06	o 33163
71.06	c 7604
71.14	o 33172
71.14	c 7595
71.21	o 33180
71.21	c 7587
71.28	o 33188
71.28	c 7579
71.35	o 33193
71.35	c 7574
71.43	o 33200
71.43	c 7567
71.51	o 33207
71.51	c 7560
71.58	o 33215
71.58	c 7552
71.66	o 33222
71.66	c 7545
71.74	o 33228
71.74	c 7539
71.82	o 33234
71.82	c 7533
71.91	o 33240
71.91	c 7527
71.98	o 33246
71.98	c 7521
72.05	o 33251
72.05	c 7516
72.13	o 33256
72.13	c 7511
72.23	o 33261
72.23	c 7506
72.31	o 33266
72.31	c 7501
72.38	o 33271
72.38	c 7496
72.46	o 33275
72.46	c 7492
72.54	o 33279
72.54	c 7488
72.59	o 33286
72.59	c 7481
72.65	o 33290
72.65	c 7477
72.71	o 33294
72.71	c 7473
72.78	o 33297
72.78	c 7470
72.85	o 33300
72.85	c 7467
72.91	o 33303
72.91	c 7464
72.98	o 33305
72.98	c 7462
73.03	o 33307
73.03	c 7460
73.09	o 33309
73.09	c 7458
73.14	o 33311
73.14	c 7456
73.20	o 33313
73.20	c 7454
73.25	o 33315
73.25	c 7452
73.29	o 33324
73.29	c 7443
73.34	o 33326
73.34	c 7441
73.38	o 33327
73.38	c 7440
73.41	o 33328
73.41	c 7439
73.44	o 33329
73.44	c 7438
73.56	o 33332
73.56	c 7435
73.59	o 33336
73.59	c 7431
73.62	o 33338
73.62	c 7429
73.66	o 33342
73.66	c 7425
73.71	o 33343
73.71	c 7424
73.77	o 33347
73.77	c 7420
73.81	o 33349
73.81	c 7418
73.86	o 33351
73.86	c 7416
73.89	o 33355
73.89	c 7412
73.94	o 33356
73.94	c 7411
73.97	o 33362
73.97	c 7405
74.01	o 33364
74.01	c 7403
74.05	o 33368
74.05	c 7399
74.11	o 33375
74.11	c 7392
74.16	o 33380
74.16	c 7387
74.21	o 33383
74.21	c 7384
74.26	o 33393
74.26	c 7374
74.31	o 33397
74.31	c 7370
74.35	o 33399
74.35	c 7368
74.46	o 33401
74.46	c 7366
74.51	o 33402
74.51	c 7365
74.57	o 33407
74.57	c 7360
74.62	o 33412
74.62	c 7355
74.68	o 33417
74.68	c 7350
74.74	o 33422
74.74	c 7345
74.80	o 33426
74.80	c 7341
74.86	o 33433
74.86	c 7334
74.92	o 33437
74.92	c 7330
74.97	o 33442
74.97	c 7325
75.01	o 33448
75.01	c 7319
75.07	o 33455
75.07	c 7312
75.13	o 33456
75.13	c 7311
75.18	o 33462
75.18	c 7305
75.22	o 33464
75.22	c 7303
75.28	o 33467
75.28	c 7300
75.30	o 33468
75.30	c 7299
75.35	o 33473
75.35	c 7294
75.39	o 33479
75.39	c 7288
75.43	o 33480
75.43	c 7287
75.49	o 33486
75.49	c 7281
75.56	o 33488
75.56	c 7279
75.62	o 33494
75.62	c 7273
75.66	o 33499
75.66	c 7268
75.69	o 33501
75.69	c 7266
75.72	o 33503
75.72	c 7264
75.77	o 33508
75.77	c 7259
75.80	o 33511
75.80	c 7256
75.89	o 33519
75.89	c 7248
75.96	o 33528
75.96	c 7239
76.11	o 33534
76.11	c 7233
76.20	o 33541
76.20	c 7226
76.31	o 33547
76.31	c 7220
76.43	o 33553
76.43	c 7214
76.53	o 33555
76.53	c 7212
76.63	o 33560
76.63	c 7207
76.72	o 33565
76.72	c 7202
76.82	o 33570
76.82	c 7197
76.91	o 33573
76.91	c 7194
76.99	o 33578
76.99	c 7189
77.07	o 33583
77.07	c 7184
77.16	o 33588
77.16	c 7179
77.25	o 33592
77.25	c 7175
77.35	o 33596
77.35	c 7171
77.44	o 33600
77.44	c 7167
77.53	o 33604
77.53	c 7163
77.63	o 33608
77.63	c 7159
77.70	o 33612
77.70	c 7155
77.79	o 33616
77.79	c 7151
77.94	o 33619
77.94	c 7148
78.01	o 33624
78.01	c 7143
78.07	o 33630
78.07	c 7137
78.14	o 33633
78.14	c 7134
78.21	o 33636
78.22	c 7131
78.28	o 33639
78.28	c 7128
78.34	o 33642
78.34	c 7125
78.40	o 33645
78.41	c 7122
78.46	o 33648
78.46	c 7119
78.53	o 33651
78.53	c 7116
78.58	o 33655
78.58	c 7112
78.63	o 33657
78.63	c 7110
78.70	o 33659
78.70	c 7108
78.75	o 33661
78.76	c 7106
78.80	o 33663
78.80	c 7104
78.84	o 33665
78.84	c 7102
78.90	o 33666
78.90	c 7101
78.95	o 33668
78.95	c 7099
79.00	o 33669
79.00	c 7098
79.04	o 33670
79.04	c 7097
79.20	o 33675
79.20	c 7092
79.49	o 33681
79.49	c 7086
79.54	o 33682
79.54	c 7085
79.64	o 33684
79.64	c 7083
79.70	o 33686
79.70	c 7081
79.76	o 33691
79.76	c 7076
79.81	o 33697
79.81	c 7070
79.85	o 33699
79.85	c 7068
79.90	o 33703
79.90	c 7064
79.97	o 33707
79.97	c 7060
80.03	o 33709
80.03	c 7058
80.10	o 33718
80.10	c 7049
80.16	o 33720
80.16	c 7047
80.27	o 33722
80.27	c 7045
80.33	o 33723
80.33	c 7044
80.40	o 33727
80.40	c 7040
80.56	o 33730
80.56	c 7037
80.61	o 33734
80.61	c 7033
80.66	o 33736
80.66	c 7031
80.71	o 33741
80.71	c 7026
80.81	o 33743
80.81	c 7024
80.85	o 33745
80.85	c 7022
80.89	o 33746
80.89	c 7021
80.95	o 33749
80.95	c 7018
81.00	o 33750
81.00	c 7017
81.04	o 33754
81.04	c 7013
81.09	o 33755
81.09	c 7012
81.13	o 33757
81.13	c 7010
81.18	o 33759
81.18	c 7008
81.24	o 33762
81.24	c 7005
81.28	o 33767
81.28	c 7000
81.33	o 33768
81.33	c 6999
81.39	o 33772
81.39	c 6995
81.45	o 33777
81.45	c 6990
81.52	o 33782
81.52	c 6985
81.58	o 33787
81.58	c 6980
81.63	o 33789
81.63	c 6978
81.70	o 33796
81.70	c 6971
81.77	o 33801
81.77	c 6966
81.85	o 33808
81.85	c 6959
81.93	o 33809
81.93	c 6958
82.18	o 33812
82.18	c 6955
82.25	o 33814
82.26	c 6953
82.35	o 33816
82.35	c 6951
82.42	o 33820
82.42	c 6947
82.50	o 33826
82.50	c 6941
82.59	o 33828
82.59	c 6939
82.68	o 33833
82.68	c 6934
82.76	o 33840
82.76	c 6927
82.85	o 33846
82.85	c 6921
82.92	o 33850
82.92	c 6917
83.01	o 33852
83.01	c 6915
83.07	o 33857
83.07	c 6910
83.14	o 33863
83.14	c 6904
83.30	o 33866
83.30	c 6901
83.37	o 33867
83.37	c 6900
83.44	o 33875
83.44	c 6892
83.50	o 33878
83.50	c 6889
83.58	o 33885
83.58	c 6882
83.65	o 33889
83.65	c 6878
83.72	o 33895
83.72	c 6872
83.90	o 33897
83.90	c 6870
84.36	o 33904
84.36	c 6863
84.48	o 33910
84.48	c 6857
84.62	o 33915
84.62	c 6852
84.75	o 33920
84.75	c 6847
84.88	o 33925
84.88	c 6842
85.00	o 33930
85.00	c 6837
85.13	o 33935
85.13	c 6832
85.24	o 33940
85.24	c 6827
85.37	o 33945
85.37	c 6822
85.49	o 33950
85.49	c 6817
85.61	o 33954
85.61	c 6813
85.86	o 33956
85.86	c 6811
86.09	o 33960
86.09	c 6807
86.21	o 33964
86.21	c 6803
86.32	o 33970
86.32	c 6797
86.45	o 33974
86.45	c 6793
86.58	o 33977
86.58	c 6790
86.81	o 33980
86.81	c 6787
86.92	o 33982
86.92	c 6785
87.02	o 33985
87.02	c 6782
87.12	o 33988
87.12	c 6779
87.24	o 33991
87.24	c 6776
87.34	o 33994
87.34	c 6773
87.44	o 33999
87.44	c 6768
87.53	o 34002
87.53	c 6765
87.63	o 34006
87.63	c 6761
87.72	o 34008
87.72	c 6759
87.81	o 34011
87.81	c 6756
87.92	o 34013
87.92	c 6754
88.02	o 34015
88.02	c 6752
88.11	o 34017
88.11	c 6750
88.21	o 34018
88.21	c 6749
88.30	o 34019
88.30	c 6748
88.39	o 34020
88.39	c 6747
88.48	o 34021
88.48	c 6746
88.56	o 34022
88.56	c 6745
88.65	o 34023
88.65	c 6744
88.73	o 34024
88.73	c 6743
88.80	o 34025
88.80	c 6742
89.16	o 34030
89.16	c 6737
89.30	o 34035
89.30	c 6732
89.51	o 34041
89.51	c 6726
89.58	o 34045
89.58	c 6722
89.67	o 34047
89.67	c 6720
89.74	o 34048
89.74	c 6719
89.87	o 34051
89.87	c 6716
89.94	o 34053
89.94	c 6714
90.01	o 34056
90.01	c 6711
90.08	o 34061
90.08	c 6706
90.14	o 34063
90.14	c 6704
90.22	o 34066
90.22	c 6701
90.36	o 34072
90.36	c 6695
90.44	o 34073
90.44	c 6694
90.53	o 34078
90.53	c 6689
90.59	o 34080
90.59	c 6687
90.65	o 34083
90.65	c 6684
90.86	o 34087
90.86	c 6680
90.92	o 34092
90.92	c 6675
90.99	o 34098
90.99	c 6669
91.05	o 34099
91.05	c 6668
91.18	o 34101
91.18	c 6666
91.25	o 34103
91.25	c 6664
91.33	o 34104
91.33	c 6663
91.39	o 34110
91.39	c 6657
91.45	o 34114
91.45	c 6653
91.52	o 34118
91.52	c 6649
91.60	o 34121
91.60	c 6646
91.67	o 34125
91.67	c 6642
91.76	o 34128
91.76	c 6639
91.83	o 34133
91.83	c 6634
91.92	o 34139
91.92	c 6628
91.99	o 34140
91.99	c 6627
92.08	o 34143
92.08	c 6624
92.22	o 34145
92.22	c 6622
92.30	o 34151
92.30	c 6616
92.46	o 34157
92.46	c 6610
92.62	o 34158
92.62	c 6609
92.70	o 34160
92.70	c 6607
92.76	o 34163
92.76	c 6604
92.84	o 34164
92.84	c 6603
92.91	o 34166
92.91	c 6601
93.00	o 34169
93.00	c 6598
93.08	o 34175
93.08	c 6592
93.17	o 34177
93.17	c 6590
93.24	o 34178
93.24	c 6589
93.33	o 34179
93.33	c 6588
93.42	o 34180
93.42	c 6587
93.52	o 34185
93.52	c 6582
93.61	o 34192
93.61	c 6575
93.69	o 34195
93.69	c 6572
93.79	o 34201
93.79	c 6566
93.87	o 34206
93.87	c 6561
93.98	o 34213
93.98	c 6554
94.07	o 34218
94.07	c 6549
94.16	o 34223
94.16	c 6544
94.25	o 34228
94.25	c 6539
94.35	o 34232
94.35	c 6535
94.46	o 34233
94.46	c 6534
94.64	o 34237
94.64	c 6530
94.73	o 34239
94.73	c 6528
94.84	o 34240
94.84	c 6527
94.96	o 34241
94.96	c 6526
95.09	o 34243
95.09	c 6524
95.20	o 34244
95.20	c 6523
95.32	o 34250
95.32	c 6517
95.44	o 34252
95.44	c 6515
95.55	o 34254
95.55	c 6513
96.38	o 34259
96.38	c 6508
96.48	o 34264
96.48	c 6503
96.61	o 34268
96.61	c 6499
96.72	o 34273
96.72	c 6494
96.84	o 34274
96.84	c 6493
97.05	o 34275
97.05	c 6492
97.15	o 34279
97.16	c 6488
97.25	o 34280
97.25	c 6487
97.35	o 34282
97.35	c 6485
97.46	o 34283
97.46	c 6484
97.58	o 34287
97.58	c 6480
97.71	o 34289
97.71	c 6478
97.81	o 34292
97.81	c 6475
97.91	o 34294
97.91	c 6473
98.03	o 34299
98.03	c 6468
98.16	o 34302
98.16	c 6465
98.27	o 34307
98.27	c 6460
98.37	o 34311
98.37	c 6456
98.46	o 34317
98.46	c 6450
98.56	o 34319
98.56	c 6448
99.13	o 34324
99.13	c 6443
99.23	o 34328
99.23	c 6439
99.32	o 34330
99.32	c 6437
99.45	o 34337
99.45	c 6430
99.58	o 34343
99.58	c 6424
99.85	o 34347
99.85	c 6420
99.99	o 34351
99.99	c 6416
100.15	o 34355
100.15	c 6412
100.30	o 34358
100.30	c 6409
100.44	o 34361
100.44	c 6406
100.57	o 34364
100.57	c 6403
100.71	o 34365
100.71	c 6402
100.81	o 34367
100.81	c 6400
100.93	o 34370
100.93	c 6397
101.05	o 34371
101.05	c 6396
101.17	o 34374
101.17	c 6393
101.49	o 34378
101.49	c 6389
101.61	o 34380
101.61	c 6387
101.72	o 34382
101.72	c 6385
101.84	o 34384
101.84	c 6383
101.96	o 34387
101.96	c 6380
102.07	o 34389
102.07	c 6378
102.18	o 34391
102.18	c 6376
102.30	o 34392
102.30	c 6375
102.39	o 34393
102.39	c 6374
102.49	o 34394
102.49	c 6373
102.68	o 34395
102.68	c 6372
102.77	o 34396
102.77	c 6371
102.86	o 34397
102.86	c 6370
102.96	o 34398
102.96	c 6369
103.49	o 34399
103.49	c 6368
103.66	o 34401
103.66	c 6366
103.74	o 34403
103.74	c 6364
103.82	o 34405
103.82	c 6362
103.90	o 34408
103.90	c 6359
103.99	o 34410
103.99	c 6357
104.07	o 34412
104.07	c 6355
104.16	o 34418
104.16	c 6349
104.23	o 34423
104.23	c 6344
104.33	o 34426
104.33	c 6341
104.42	o 34431
104.42	c 6336
104.52	o 34434
104.52	c 6333
104.60	o 34437
104.60	c 6330
104.69	o 34438
104.69	c 6329
104.78	o 34446
104.78	c 6321
104.87	o 34448
104.87	c 6319
104.97	o 34452
104.97	c 6315
105.06	o 34455
105.06	c 6312
105.15	o 34458
105.15	c 6309
105.25	o 34459
105.25	c 6308
105.35	o 34462
105.35	c 6305
105.44	o 34465
105.44	c 6302
105.71	o 34471
105.71	c 6296
105.81	o 34477
105.81	c 6290
105.91	o 34478
105.91	c 6289
106.00	o 34483
106.00	c 6284
106.09	o 34485
106.09	c 6282
106.20	o 34486
106.20	c 6281
106.39	o 34487
106.39	c 6280
106.48	o 34488
106.48	c 6279
106.56	o 34491
106.56	c 6276
106.64	o 34494
106.64	c 6273
106.72	o 34495
106.72	c 6272
106.89	o 34499
106.89	c 6268
107.13	o 34502
107.13	c 6265
107.21	o 34504
107.21	c 6263
107.30	o 34508
107.30	c 6259
107.39	o 34510
107.39	c 6257
107.55	o 34511
107.55	c 6256
107.63	o 34512
107.63	c 6255
107.87	o 34513
107.87	c 6254
107.96	o 34518
107.96	c 6249
108.02	o 34520
108.02	c 6247
108.09	o 34521
108.09	c 6246
108.16	o 34524
108.16	c 6243
108.24	o 34529
108.24	c 6238
108.41	o 34534
108.41	c 6233
108.49	o 34538
108.49	c 6229
108.72	o 34545
108.72	c 6222
108.80	o 34548
108.80	c 6219
108.88	o 34551
108.88	c 6216
108.95	o 34554
108.95	c 6213
109.22	o 34556
109.22	c 6211
109.29	o 34557
109.29	c 6210
109.37	o 34561
109.37	c 6206
109.46	o 34565
109.46	c 6202
109.55	o 34568
109.55	c 6199
109.63	o 34571
109.63	c 6196
109.71	o 34573
109.71	c 6194
109.78	o 34578
109.78	c 6189
109.86	o 34583
109.86	c 6184
109.94	o 34587
109.94	c 6180
110.03	o 34592
110.03	c 6175
110.13	o 34597
110.13	c 6170
110.20	o 34598
110.20	c 6169
110.30	o 34602
110.30	c 6165
110.38	o 34606
110.38	c 6161
110.46	o 34611
110.46	c 6156
110.54	o 34618
110.54	c 6149
110.62	o 34620
110.62	c 6147
110.72	o 34624
110.72	c 6143
110.91	o 34629
110.91	c 6138
110.99	o 34633
110.99	c 6134
111.06	o 34640
111.06	c 6127
111.30	o 34641
111.30	c 6126
111.41	o 34643
111.41	c 6124
111.56	o 34645
111.56	c 6122
111.65	o 34647
111.65	c 6120
111.81	o 34651
111.81	c 6116
111.96	o 34655
111.96	c 6112
112.10	o 34656
112.10	c 6111
112.18	o 34658
112.18	c 6109
112.41	o 34659
112.41	c 6108
112.48	o 34661
112.48	c 6106
112.55	o 34662
112.55	c 6105
112.72	o 34663
112.72	c 6104
112.80	o 34668
112.80	c 6099
112.89	o 34671
112.89	c 6096
112.96	o 34673
112.96	c 6094
113.04	o 34676
113.04	c 6091
113.11	o 34680
113.11	c 6087
113.18	o 34682
113.18	c 6085
113.25	o 34683
113.25	c 6084
113.34	o 34686
113.34	c 6081
113.40	o 34688
113.40	c 6079
113.48	o 34695
113.48	c 6072
113.55	o 34697
113.55	c 6070
113.64	o 34702
113.64	c 6065
113.71	o 34703
113.71	c 6064
113.79	o 34707
113.79	c 6060
113.86	o 34711
113.86	c 6056
113.94	o 34712
113.94	c 6055
114.02	o 34714
114.02	c 6053
114.10	o 34715
114.10	c 6052
114.20	o 34719
114.20	c 6048
114.29	o 34723
114.29	c 6044
114.59	o 34728
114.59	c 6039
114.68	o 34732
114.68	c 6035
114.77	o 34733
114.77	c 6034
114.87	o 34734
114.87	c 6033
114.96	o 34736
114.96	c 6031
115.04	o 34738
115.04	c 6029
115.24	o 34742
115.24	c 6025
115.34	o 34745
115.34	c 6022
115.44	o 34747
115.44	c 6020
115.53	o 34749
115.53	c 6018
115.64	o 34753
115.64	c 6014
115.74	o 34758
115.74	c 6009
115.84	o 34765
115.84	c 6002
115.94	o 34768
115.94	c 5999
116.30	o 34769
116.30	c 5998
116.41	o 34774
116.41	c 5993
116.51	o 34777
116.51	c 5990
116.59	o 34784
116.59	c 5983
116.68	o 34785
116.68	c 5982
116.79	o 34790
116.79	c 5977
116.91	o 34795
116.91	c 5972
117.02	o 34800
117.02	c 5967
117.15	o 34804
117.15	c 5963
117.27	o 34808
117.27	c 5959
117.39	o 34812
117.39	c 5955
117.51	o 34816
117.51	c 5951
117.62	o 34820
117.62	c 5947
117.75	o 34823
117.75	c 5944
117.87	o 34826
117.87	c 5941
117.99	o 34829
117.99	c 5938
118.10	o 34832
118.10	c 5935
118.22	o 34834
118.22	c 5933
118.32	o 34836
118.32	c 5931
118.44	o 34838
118.44	c 5929
118.56	o 34840
118.56	c 5927
118.67	o 34841
118.67	c 5926
118.79	o 34844
118.79	c 5923
119.35	o 34845
119.35	c 5922
119.46	o 34847
119.46	c 5920
119.84	o 34853
119.84	c 5914
119.95	o 34854
119.95	c 5913
120.31	o 34861
120.31	c 5906
120.44	o 34863
120.44	c 5904
120.57	o 34866
120.57	c 5901
120.69	o 34869
120.69	c 5898
120.91	o 34872
120.91	c 5895
121.16	o 34878
121.16	c 5889
121.27	o 34881
121.27	c 5886
121.63	o 34884
121.63	c 5883
121.77	o 34885
121.77	c 5882
121.89	o 34889
121.89	c 5878
122.03	o 34890
122.03	c 5877
122.16	o 34892
122.16	c 5875
122.30	o 34896
122.30	c 5871
122.47	o 34898
122.47	c 5869
122.60	o 34900
122.60	c 5867
122.74	o 34902
122.74	c 5865
122.87	o 34905
122.87	c 5862
123.12	o 34908
123.12	c 5859
123.51	o 34909
123.51	c 5858
123.65	o 34913
123.65	c 5854
123.77	o 34917
123.77	c 5850
124.06	o 34920
124.06	c 5847
124.20	o 34922
124.20	c 5845
124.35	o 34929
124.35	c 5838
124.52	o 34930
124.52	c 5837
124.84	o 34935
124.84	c 5832
125.00	o 34936
125.00	c 5831
125.15	o 34941
125.15	c 5826
125.42	o 34943
125.42	c 5824
125.56	o 34944
125.56	c 5823
125.69	o 34948
125.69	c 5819
125.83	o 34951
125.83	c 5816
125.98	o 34957
125.98	c 5810
126.57	o 34958
126.57	c 5809
126.72	o 34964
126.72	c 5803
126.86	o 34965
126.86	c 5802
127.01	o 34969
127.01	c 5798
127.31	o 34971
127.31	c 5796
127.45	o 34976
127.45	c 5791
127.75	o 34980
127.75	c 5787
127.91	o 34982
127.91	c 5785
128.18	o 34983
128.18	c 5784
128.33	o 34985
128.33	c 5782
128.48	o 34988
128.48	c 5779
128.63	o 34993
128.63	c 5774
128.93	o 34996
128.93	c 5771
129.08	o 34997
129.08	c 5770
129.22	o 34998
129.22	c 5769
129.56	o 35000
129.56	c 5767
129.71	o 35003
129.71	c 5764
129.87	o 35009
129.87	c 5758
130.00	o 35014
130.00	c 5753
130.16	o 35016
130.16	c 5751
130.47	o 35018
130.47	c 5749
130.62	o 35020
130.62	c 5747
130.78	o 35024
130.78	c 5743
131.09	o 35026
131.09	c 5741
131.24	o 35028
131.24	c 5739
131.39	o 35031
131.39	c 5736
131.70	o 35032
131.70	c 5735
132.33	o 35035
132.33	c 5732
132.48	o 35040
132.48	c 5727
132.77	o 35041
132.77	c 5726
133.06	o 35042
133.06	c 5725
133.20	o 35044
133.20	c 5723
133.34	o 35045
133.34	c 5722
133.63	o 35047
133.63	c 5720
133.77	o 35049
133.77	c 5718
133.92	o 35054
133.92	c 5713
134.08	o 35059
134.08	c 5708
134.35	o 35062
134.35	c 5705
134.50	o 35063
134.50	c 5704
134.62	o 35067
134.62	c 5700
134.89	o 35071
134.89	c 5696
135.04	o 35075
135.04	c 5692
135.16	o 35076
135.16	c 5691
135.31	o 35078
135.31	c 5689
135.61	o 35081
135.61	c 5686
136.00	o 35083
136.00	c 5684
136.25	o 35084
136.25	c 5683
136.52	o 35086
136.52	c 5681
136.65	o 35087
136.65	c 5680
136.80	o 35089
136.80	c 5678
136.94	o 35090
136.94	c 5677
137.07	o 35097
137.07	c 5670
137.21	o 35100
137.21	c 5667
137.33	o 35105
137.33	c 5662
137.46	o 35107
137.46	c 5660
137.58	o 35112
137.58	c 5655
138.07	o 35113
138.07	c 5654
138.18	o 35117
138.18	c 5650
138.30	o 35120
138.30	c 5647
138.42	o 35123
138.42	c 5644
138.56	o 35127
138.56	c 5640
138.68	o 35130
138.68	c 5637
138.81	o 35131
138.81	c 5636
138.93	o 35132
138.93	c 5635
139.18	o 35134
139.18	c 5633
139.41	o 35136
139.41	c 5631
139.53	o 35140
139.53	c 5627
139.64	o 35147
139.64	c 5620
139.87	o 35150
139.87	c 5617
139.98	o 35152
139.98	c 5615
140.10	o 35154
140.10	c 5613
140.22	o 35156
140.22	c 5611
140.33	o 35158
140.33	c 5609
140.54	o 35163
140.54	c 5604
140.63	o 35166
140.63	c 5601
140.74	o 35168
140.74	c 5599
140.95	o 35169
140.95	c 5598
141.28	o 35172
141.28	c 5595
141.39	o 35174
141.39	c 5593
141.51	o 35178
141.51	c 5589
141.62	o 35182
141.62	c 5585
141.98	o 35185
141.98	c 5582
142.09	o 35187
142.09	c 5580
142.22	o 35189
142.22	c 5578
142.48	o 35192
142.48	c 5575
142.60	o 35194
142.60	c 5573
142.73	o 35196
142.73	c 5571
142.96	o 35199
142.96	c 5568
143.10	o 35205
143.10	c 5562
143.21	o 35209
143.21	c 5558
143.74	o 35210
143.74	c 5557
143.86	o 35216
143.86	c 5551
143.98	o 35219
143.98	c 5548
144.10	o 35224
144.10	c 5543
144.24	o 35227
144.24	c 5540
144.37	o 35231
144.37	c 5536
144.51	o 35235
144.51	c 5532
144.64	o 35239
144.64	c 5528
144.77	o 35241
144.77	c 5526
144.91	o 35246
144.91	c 5521
145.06	o 35250
145.06	c 5517
145.21	o 35254
145.21	c 5513
145.35	o 35257
145.35	c 5510
145.49	o 35263
145.49	c 5504
145.65	o 35266
145.65	c 5501
145.78	o 35268
145.78	c 5499
145.93	o 35270
145.93	c 5497
146.08	o 35272
146.08	c 5495
146.22	o 35277
146.22	c 5490
146.38	o 35283
146.38	c 5484
146.53	o 35284
146.53	c 5483
146.66	o 35290
146.66	c 5477
146.80	o 35291
146.80	c 5476
146.93	o 35292
146.93	c 5475
147.34	o 35293
147.34	c 5474
147.59	o 35299
147.59	c 5468
148.26	o 35303
148.26	c 5464
148.38	o 35307
148.38	c 5460
148.78	o 35308
148.78	c 5459
148.92	o 35310
148.92	c 5457
149.06	o 35316
149.06	c 5451
149.19	o 35318
149.19	c 5449
149.46	o 35320
149.46	c 5447
149.59	o 35324
149.59	c 5443
149.73	o 35326
149.73	c 5441
149.89	o 35328
149.89	c 5439
150.17	o 35330
150.17	c 5437
150.46	o 35336
150.46	c 5431
150.60	o 35337
150.60	c 5430
150.73	o 35340
150.73	c 5427
150.87	o 35341
150.87	c 5426
151.16	o 35342
151.16	c 5425
151.29	o 35347
151.29	c 5420
151.44	o 35350
151.44	c 5417
151.57	o 35354
151.57	c 5413
151.70	o 35357
151.70	c 5410
151.84	o 35358
151.84	c 5409
152.35	o 35361
152.35	c 5406
152.47	o 35363
152.47	c 5404
152.73	o 35364
152.73	c 5403
152.87	o 35368
152.87	c 5399
153.00	o 35371
153.00	c 5396
153.14	o 35373
153.14	c 5394
153.29	o 35374
153.29	c 5393
153.55	o 35378
153.55	c 5389
153.69	o 35379
153.69	c 5388
153.84	o 35383
153.84	c 5384
154.15	o 35384
154.15	c 5383
154.30	o 35385
154.30	c 5382
154.44	o 35390
154.44	c 5377
154.58	o 35391
154.58	c 5376
154.75	o 35392
154.75	c 5375
154.90	o 35395
154.90	c 5372
155.19	o 35396
155.19	c 5371
155.34	o 35399
155.34	c 5368
155.78	o 35401
155.78	c 5366
156.07	o 35402
156.07	c 5365
156.21	o 35404
156.21	c 5363
156.36	o 35406
156.36	c 5361
156.50	o 35407
156.50	c 5360
157.11	o 35409
157.11	c 5358
157.26	o 35410
157.26	c 5357
157.60	o 35415
157.60	c 5352
157.93	o 35416
157.93	c 5351
158.80	o 35420
158.80	c 5347
159.55	o 35423
159.55	c 5344
159.86	o 35427
159.86	c 5340
160.01	o 35428
160.01	c 5339
160.16	o 35430
160.16	c 5337
160.32	o 35432
160.32	c 5335
160.47	o 35438
160.47	c 5329
160.62	o 35441
160.62	c 5326
160.76	o 35444
160.76	c 5323
161.36	o 35446
161.36	c 5321
161.51	o 35447
161.51	c 5320
161.79	o 35452
161.79	c 5315
161.93	o 35454
161.93	c 5313
162.05	o 35457
162.05	c 5310
162.47	o 35458
162.47	c 5309
162.60	o 35459
162.60	c 5308
162.74	o 35460
162.74	c 5307
163.18	o 35462
163.18	c 5305
163.49	o 35467
163.49	c 5300
163.65	o 35468
163.65	c 5299
163.79	o 35471
163.79	c 5296
164.09	o 35473
164.09	c 5294
164.25	o 35476
164.25	c 5291
164.40	o 35477
164.40	c 5290
164.71	o 35479
164.71	c 5288
164.86	o 35481
164.86	c 5286
164.96	o 35488
164.96	c 5279
165.11	o 35489
165.11	c 5278
165.25	o 35492
165.25	c 5275
165.39	o 35495
165.39	c 5272
165.53	o 35498
165.53	c 5269
165.66	o 35505
165.66	c 5262
165.81	o 35508
165.81	c 5259
165.96	o 35513
165.96	c 5254
166.24	o 35515
166.24	c 5252
166.38	o 35520
166.38	c 5247
166.83	o 35523
166.83	c 5244
166.97	o 35527
166.97	c 5240
167.11	o 35531
167.11	c 5236
167.26	o 35538
167.26	c 5229
167.57	o 35543
167.57	c 5224
167.72	o 35547
167.72	c 5220
167.99	o 35550
167.99	c 5217
168.14	o 35554
168.14	c 5213
168.54	o 35556
168.54	c 5211
168.67	o 35559
168.67	c 5208
168.81	o 35562
168.81	c 5205
168.95	o 35565
168.95	c 5202
169.08	o 35566
169.08	c 5201
169.23	o 35568
169.23	c 5199
169.64	o 35569
169.64	c 5198
169.77	o 35574
169.77	c 5193
169.93	o 35576
169.93	c 5191
170.07	o 35577
170.07	c 5190
171.02	o 35581
171.02	c 5186
171.19	o 35582
171.19	c 5185
171.51	o 35584
171.51	c 5183
171.67	o 35587
171.67	c 5180
171.98	o 35591
171.98	c 5176
172.13	o 35593
172.13	c 5174
172.23	o 35596
172.23	c 5171
172.86	o 35598
172.86	c 5169
173.52	o 35600
173.52	c 5167
173.67	o 35602
173.67	c 5165
173.83	o 35603
173.83	c 5164
173.98	o 35606
173.98	c 5161
174.63	o 35607
174.63	c 5160
174.96	o 35610
174.96	c 5157
175.16	o 35612
175.16	c 5155
175.33	o 35614
175.33	c 5153
175.51	o 35620
175.51	c 5147
175.68	o 35621
175.68	c 5146
175.85	o 35623
175.85	c 5144
176.01	o 35628
176.01	c 5139
176.18	o 35631
176.18	c 5136
176.36	o 35633
176.36	c 5134
176.71	o 35637
176.71	c 5130
176.88	o 35643
176.88	c 5124
177.06	o 35644
177.06	c 5123
177.39	o 35646
177.39	c 5121
177.55	o 35647
177.55	c 5120
177.70	o 35649
177.70	c 5118
177.85	o 35655
177.85	c 5112
178.01	o 35657
178.01	c 5110
178.36	o 35658
178.36	c 5109
178.54	o 35659
178.54	c 5108
178.72	o 35661
178.72	c 5106
178.90	o 35663
178.90	c 5104
179.09	o 35667
179.09	c 5100
179.27	o 35668
179.27	c 5099
179.45	o 35671
179.45	c 5096
179.63	o 35673
179.63	c 5094
179.81	o 35676
179.81	c 5091
179.98	o 35677
179.98	c 5090
180.34	o 35680
180.34	c 5087
180.70	o 35682
180.70	c 5085
180.87	o 35684
180.87	c 5083
181.25	o 35686
181.25	c 5081
181.43	o 35687
181.43	c 5080
181.61	o 35690
181.61	c 5077
181.80	o 35693
181.80	c 5074
181.98	o 35696
181.98	c 5071
182.85	o 35699
182.85	c 5068
183.36	o 35705
183.36	c 5062
183.71	o 35708
183.71	c 5059
183.89	o 35711
183.89	c 5056
184.06	o 35712
184.06	c 5055
184.24	o 35714
184.24	c 5053
184.41	o 35720
184.41	c 5047
184.80	o 35722
184.80	c 5045
184.97	o 35723
184.97	c 5044
185.15	o 35727
185.15	c 5040
185.33	o 35728
185.33	c 5039
185.50	o 35730
185.50	c 5037
185.70	o 35732
185.70	c 5035
185.88	o 35736
185.88	c 5031
186.61	o 35739
186.61	c 5028
186.81	o 35741
186.81	c 5026
187.01	o 35743
187.01	c 5024
187.23	o 35745
187.23	c 5022
187.42	o 35747
187.42	c 5020
187.62	o 35748
187.62	c 5019
188.01	o 35749
188.01	c 5018
188.19	o 35751
188.19	c 5016
188.38	o 35752
188.38	c 5015
189.37	o 35753
189.37	c 5014
189.58	o 35756
189.58	c 5011
189.77	o 35758
189.77	c 5009
189.97	o 35759
189.97	c 5008
190.16	o 35761
190.16	c 5006
190.56	o 35762
190.56	c 5005
190.74	o 35764
190.74	c 5003
190.94	o 35768
190.94	c 4999
191.13	o 35770
191.13	c 4997
192.24	o 35776
192.24	c 4991
192.43	o 35777
192.43	c 4990
192.62	o 35778
192.62	c 4989
192.81	o 35782
192.81	c 4985
192.99	o 35784
192.99	c 4983
193.71	o 35787
193.71	c 4980
193.88	o 35793
193.88	c 4974
194.06	o 35795
194.06	c 4972
194.23	o 35800
194.23	c 4967
194.41	o 35803
194.41	c 4964
194.61	o 35805
194.61	c 4962
195.03	o 35808
195.03	c 4959
195.24	o 35812
195.24	c 4955
195.42	o 35815
195.42	c 4952
195.61	o 35817
195.61	c 4950
195.81	o 35819
195.81	c 4948
196.00	o 35820
196.00	c 4947
196.17	o 35823
196.17	c 4944
196.39	o 35825
196.39	c 4942
196.59	o 35830
196.59	c 4937
197.00	o 35836
197.00	c 4931
197.19	o 35838
197.19	c 4929
197.38	o 35842
197.38	c 4925
197.56	o 35844
197.56	c 4923
197.76	o 35845
197.76	c 4922
197.97	o 35846
197.97	c 4921
198.79	o 35848
198.79	c 4919
198.99	o 35850
198.99	c 4917
199.19	o 35854
199.19	c 4913
199.41	o 35855
199.41	c 4912
199.63	o 35856
199.63	c 4911
200.05	o 35857
200.05	c 4910
200.95	o 35858
200.95	c 4909
201.38	o 35864
201.38	c 4903
201.59	o 35866
201.59	c 4901
201.82	o 35867
201.82	c 4900
202.04	o 35868
202.04	c 4899
202.24	o 35872
202.24	c 4895
202.46	o 35875
202.46	c 4892
202.69	o 35878
202.69	c 4889
202.92	o 35879
202.92	c 4888
203.38	o 35885
203.38	c 4882
203.84	o 35887
203.84	c 4880
204.06	o 35888
204.06	c 4879
205.87	o 35890
205.87	c 4877
206.71	o 35892
206.71	c 4875
206.91	o 35893
206.91	c 4874
207.13	o 35896
207.13	c 4871
207.52	o 35898
207.52	c 4869
208.64	o 35899
208.64	c 4868
208.83	o 35900
208.83	c 4867
209.20	o 35903
209.20	c 4864
209.59	o 35904
209.59	c 4863
209.76	o 35905
209.76	c 4862
209.93	o 35908
209.93	c 4859
210.12	o 35915
210.12	c 4852
210.28	o 35916
210.28	c 4851
210.80	o 35919
210.80	c 4848
211.16	o 35923
211.16	c 4844
211.49	o 35927
211.49	c 4840
211.66	o 35928
211.66	c 4839
211.85	o 35929
211.85	c 4838
212.01	o 35932
212.02	c 4835
212.20	o 35934
212.20	c 4833
212.38	o 35936
212.38	c 4831
212.57	o 35939
212.57	c 4828
212.77	o 35941
212.77	c 4826
213.13	o 35942
213.13	c 4825
213.48	o 35943
213.48	c 4824
213.66	o 35945
213.67	c 4822
213.85	o 35949
213.85	c 4818
214.26	o 35950
214.26	c 4817
215.02	o 35953
215.02	c 4814
215.21	o 35954
215.21	c 4813
215.41	o 35957
215.41	c 4810
216.01	o 35958
216.01	c 4809
216.21	o 35961
216.21	c 4806
217.05	o 35963
217.05	c 4804
217.66	o 35966
217.66	c 4801
217.87	o 35967
217.87	c 4800
218.07	o 35968
218.07	c 4799
218.30	o 35969
218.30	c 4798
218.71	o 35972
218.71	c 4795
218.92	o 35973
218.92	c 4794
219.12	o 35975
219.12	c 4792
219.36	o 35976
219.36	c 4791
219.81	o 35977
219.81	c 4790
220.90	o 35978
220.90	c 4789
221.13	o 35981
221.13	c 4786
221.34	o 35985
221.34	c 4782
221.78	o 35988
221.78	c 4779
222.00	o 35991
222.00	c 4776
222.44	o 35992
222.44	c 4775
222.66	o 35996
222.66	c 4771
222.88	o 35998
222.88	c 4769
223.10	o 36000
223.10	c 4767
223.33	o 36003
223.33	c 4764
223.54	o 36006
223.54	c 4761
223.76	o 36010
223.76	c 4757
223.91	o 36012
223.91	c 4755
224.31	o 36013
224.31	c 4754
224.50	o 36014
224.50	c 4753
224.90	o 36015
224.90	c 4752
225.10	o 36018
225.10	c 4749
225.52	o 36021
225.52	c 4746
225.73	o 36022
225.73	c 4745
225.96	o 36025
225.96	c 4742
226.19	o 36027
226.19	c 4740
226.40	o 36030
226.40	c 4737
228.40	o 36032
228.40	c 4735
228.62	o 36034
228.62	c 4733
228.85	o 36036
228.85	c 4731
229.07	o 36037
229.07	c 4730
229.31	o 36043
229.31	c 4724
229.55	o 36044
229.55	c 4723
229.78	o 36046
229.78	c 4721
230.02	o 36050
230.02	c 4717
230.25	o 36053
230.25	c 4714
230.72	o 36055
230.72	c 4712
230.97	o 36056
230.97	c 4711
231.45	o 36058
231.45	c 4709
231.69	o 36059
231.69	c 4708
231.93	o 36063
231.93	c 4704
232.16	o 36066
232.16	c 4701
232.39	o 36070
232.39	c 4697
232.63	o 36075
232.63	c 4692
233.11	o 36077
233.11	c 4690
233.60	o 36080
233.60	c 4687
234.12	o 36082
234.12	c 4685
234.39	o 36085
234.39	c 4682
234.63	o 36086
234.63	c 4681
234.88	o 36088
234.88	c 4679
235.88	o 36092
235.88	c 4675
236.61	o 36095
236.61	c 4672
236.85	o 36097
236.85	c 4670
237.12	o 36098
237.12	c 4669
237.67	o 36099
237.67	c 4668
237.92	o 36106
237.92	c 4661
238.16	o 36107
238.16	c 4660
238.41	o 36111
238.41	c 4656
238.68	o 36115
238.68	c 4652
238.93	o 36120
238.93	c 4647
239.18	o 36123
239.18	c 4644
239.95	o 36124
239.95	c 4643
240.21	o 36125
240.21	c 4642
240.47	o 36127
240.47	c 4640
241.02	o 36131
241.02	c 4636
241.31	o 36132
241.31	c 4635
241.58	o 36133
241.58	c 4634
241.86	o 36135
241.86	c 4632
242.14	o 36139
242.14	c 4628
242.42	o 36140
242.42	c 4627
244.43	o 36142
244.43	c 4625
245.00	o 36146
245.00	c 4621
245.81	o 36150
245.81	c 4617
246.11	o 36152
246.11	c 4615
246.39	o 36153
246.39	c 4614
247.79	o 36154
247.79	c 4613
248.05	o 36155
248.05	c 4612
248.31	o 36158
248.31	c 4609
248.56	o 36160
248.56	c 4607
249.35	o 36163
249.35	c 4604
249.63	o 36166
249.63	c 4601
249.80	o 36170
249.80	c 4597
250.06	o 36173
250.06	c 4594
252.50	o 36174
252.50	c 4593
252.76	o 36175
252.76	c 4592
253.01	o 36180
253.01	c 4587
253.26	o 36181
253.26	c 4586
253.51	o 36185
253.51	c 4582
253.76	o 36189
253.77	c 4578
254.00	o 36190
254.00	c 4577
254.23	o 36191
254.23	c 4576
256.33	o 36192
256.33	c 4575
256.58	o 36194
256.58	c 4573
258.17	o 36195
258.17	c 4572
258.40	o 36198
258.40	c 4569
258.62	o 36200
258.62	c 4567
259.10	o 36201
259.11	c 4566
259.34	o 36206
259.34	c 4561
259.58	o 36207
259.58	c 4560
260.05	o 36209
260.05	c 4558
260.28	o 36212
260.28	c 4555
261.26	o 36217
261.26	c 4550
261.50	o 36218
261.50	c 4549
261.75	o 36220
261.75	c 4547
262.00	o 36224
262.00	c 4543
263.55	o 36225
263.55	c 4542
263.80	o 36227
263.80	c 4540
264.05	o 36230
264.05	c 4537
265.25	o 36232
265.25	c 4535
266.24	o 36238
266.24	c 4529
266.48	o 36247
266.48	c 4520
266.72	o 36248
266.72	c 4519
267.99	o 36249
267.99	c 4518
268.52	o 36250
268.52	c 4517
268.78	o 36258
268.78	c 4509
269.04	o 36260
269.04	c 4507
269.55	o 36261
269.55	c 4506
270.08	o 36262
270.08	c 4505
270.35	o 36263
270.35	c 4504
270.60	o 36264
270.60	c 4503
270.85	o 36267
270.85	c 4500
271.12	o 36268
271.12	c 4499
271.91	o 36270
271.91	c 4497
272.08	o 36271
272.09	c 4496
272.63	o 36272
272.63	c 4495
272.90	o 36275
272.91	c 4492
275.49	o 36277
275.49	c 4490
275.73	o 36278
275.73	c 4489
275.97	o 36280
275.97	c 4487
276.22	o 36282
276.22	c 4485
276.49	o 36284
276.49	c 4483
276.75	o 36285
276.75	c 4482
277.50	o 36286
277.50	c 4481
277.74	o 36289
277.74	c 4478
278.23	o 36290
278.23	c 4477
278.49	o 36291
278.49	c 4476
278.73	o 36293
278.73	c 4474
279.45	o 36294
279.45	c 4473
279.71	o 36297
279.71	c 4470
279.96	o 36299
279.96	c 4468
280.19	o 36301
280.19	c 4466
280.43	o 36303
280.43	c 4464
280.90	o 36304
280.90	c 4463
281.14	o 36305
281.14	c 4462
281.40	o 36306
281.40	c 4461
281.64	o 36307
281.64	c 4460
281.88	o 36310
281.88	c 4457
282.82	o 36311
282.82	c 4456
283.32	o 36312
283.32	c 4455
283.81	o 36313
283.81	c 4454
284.57	o 36314
284.57	c 4453
284.83	o 36318
284.83	c 4449
285.09	o 36319
285.09	c 4448
285.34	o 36320
285.34	c 4447
285.61	o 36323
285.61	c 4444
285.85	o 36325
285.85	c 4442
286.10	o 36326
286.10	c 4441
286.59	o 36328
286.59	c 4439
286.87	o 36331
286.87	c 4436
287.38	o 36334
287.38	c 4433
287.67	o 36335
287.67	c 4432
287.94	o 36339
287.94	c 4428
288.76	o 36344
288.76	c 4423
289.27	o 36345
289.27	c 4422
289.54	o 36346
289.54	c 4421
289.80	o 36352
289.80	c 4415
290.06	o 36353
290.06	c 4414
290.33	o 36355
290.33	c 4412
290.59	o 36357
290.59	c 4410
294.80	o 36361
294.80	c 4406
299.18	o 36365
299.18	c 4402
299.96	o 36368
299.96	c 4399
300.23	o 36372
300.23	c 4395
300.50	o 36375
300.50	c 4392
300.77	o 36377
300.77	c 4390
301.01	o 36379
301.01	c 4388
301.27	o 36384
301.27	c 4383
301.53	o 36386
301.53	c 4381
303.59	o 36387
303.59	c 4380
303.86	o 36390
303.86	c 4377
307.84	o 36391
307.84	c 4376
308.67	o 36393
308.67	c 4374
308.95	o 36397
308.95	c 4370
309.22	o 36399
309.22	c 4368
309.51	o 36400
309.51	c 4367
311.20	o 36403
311.20	c 4364
311.48	o 36406
311.48	c 4361
311.77	o 36407
311.77	c 4360
312.34	o 36412
312.34	c 4355
312.64	o 36416
312.64	c 4351
312.92	o 36418
312.92	c 4349
313.46	o 36419
313.46	c 4348
315.86	o 36421
315.86	c 4346
316.36	o 36424
316.36	c 4343
316.61	o 36425
316.61	c 4342
317.39	o 36427
317.39	c 4340
317.66	o 36429
317.66	c 4338
317.92	o 36430
317.92	c 4337
318.19	o 36431
318.19	c 4336
318.45	o 36432
318.45	c 4335
318.72	o 36436
318.72	c 4331
321.14	o 36437
321.14	c 4330
321.43	o 36438
321.43	c 4329
321.72	o 36441
321.72	c 4326
322.00	o 36442
322.00	c 4325
322.28	o 36443
322.28	c 4324
322.54	o 36444
322.54	c 4323
322.83	o 36447
322.83	c 4320
323.10	o 36451
323.10	c 4316
323.37	o 36455
323.37	c 4312
323.67	o 36457
323.67	c 4310
324.49	o 36458
324.49	c 4309
324.75	o 36459
324.75	c 4308
325.02	o 36460
325.02	c 4307
325.29	o 36463
325.29	c 4304
325.57	o 36464
325.57	c 4303
325.84	o 36466
325.84	c 4301
326.10	o 36468
326.10	c 4299
326.37	o 36471
326.37	c 4296
326.87	o 36473
326.87	c 4294
327.12	o 36474
327.12	c 4293
327.33	o 36476
327.33	c 4291
327.83	o 36479
327.83	c 4288
328.64	o 36481
328.64	c 4286
328.90	o 36482
328.90	c 4285
329.15	o 36485
329.15	c 4282
329.41	o 36486
329.41	c 4281
330.16	o 36489
330.16	c 4278
330.42	o 36491
330.42	c 4276
330.69	o 36494
330.69	c 4273
330.95	o 36496
330.95	c 4271
331.94	o 36497
331.94	c 4270
332.70	o 36499
332.70	c 4268
333.53	o 36501
333.53	c 4266
333.80	o 36502
333.80	c 4265
334.06	o 36505
334.06	c 4262
334.62	o 36508
334.62	c 4259
336.78	o 36510
336.78	c 4257
337.06	o 36512
337.06	c 4255
337.32	o 36515
337.32	c 4252
337.82	o 36516
337.82	c 4251
338.35	o 36518
338.35	c 4249
338.91	o 36520
338.91	c 4247
339.18	o 36526
339.18	c 4241
339.45	o 36529
339.45	c 4238
342.23	o 36530
342.23	c 4237
343.35	o 36533
343.35	c 4234
343.61	o 36534
343.61	c 4233
344.15	o 36535
344.15	c 4232
344.41	o 36538
344.41	c 4229
344.70	o 36541
344.70	c 4226
344.98	o 36543
344.98	c 4224
345.25	o 36545
345.25	c 4222
346.31	o 36546
346.31	c 4221
346.58	o 36547
346.58	c 4220
346.85	o 36551
346.85	c 4216
347.13	o 36556
347.13	c 4211
347.98	o 36559
347.98	c 4208
352.42	o 36560
352.42	c 4207
353.05	o 36564
353.05	c 4203
354.00	o 36565
354.00	c 4202
354.31	o 36566
354.31	c 4201
354.94	o 36569
354.94	c 4198
355.27	o 36571
355.27	c 4196
355.59	o 36572
355.59	c 4195
355.90	o 36575
355.90	c 4192
356.22	o 36579
356.22	c 4188
356.83	o 36581
356.83	c 4186
357.44	o 36582
357.44	c 4185
357.74	o 36583
357.74	c 4184
358.39	o 36585
358.39	c 4182
358.99	o 36586
358.99	c 4181
360.54	o 36590
360.54	c 4177
361.14	o 36592
361.14	c 4175
365.68	o 36593
365.68	c 4174
366.34	o 36597
366.34	c 4170
369.14	o 36600
369.14	c 4167
369.45	o 36602
369.45	c 4165
369.77	o 36608
369.77	c 4159
370.09	o 36609
370.09	c 4158
370.40	o 36610
370.40	c 4157
371.67	o 36611
371.67	c 4156
371.99	o 36614
371.99	c 4153
372.60	o 36617
372.60	c 4150
373.21	o 36619
373.21	c 4148
373.53	o 36623
373.53	c 4144
373.85	o 36625
373.85	c 4142
374.46	o 36628
374.46	c 4139
374.77	o 36629
374.77	c 4138
376.00	o 36635
376.00	c 4132
376.57	o 36636
376.57	c 4131
376.85	o 36640
376.85	c 4127
377.16	o 36641
377.16	c 4126
377.45	o 36644
377.45	c 4123
378.39	o 36650
378.39	c 4117
378.70	o 36653
378.70	c 4114
378.96	o 36657
378.96	c 4110
379.24	o 36662
379.24	c 4105
379.52	o 36664
379.52	c 4103
379.82	o 36665
379.82	c 4102
381.25	o 36667
381.25	c 4100
381.54	o 36670
381.54	c 4097
381.83	o 36672
381.83	c 4095
382.13	o 36673
382.13	c 4094
382.45	o 36674
382.45	c 4093
383.65	o 36675
383.65	c 4092
383.95	o 36677
383.95	c 4090
384.27	o 36679
384.27	c 4088
384.38	o 36684
384.38	c 4083
384.68	o 36685
384.68	c 4082
384.99	o 36688
384.99	c 4079
386.83	o 36690
386.83	c 4077
387.13	o 36694
387.13	c 4073
387.42	o 36696
387.42	c 4071
389.04	o 36697
389.04	c 4070
389.37	o 36701
389.37	c 4066
389.70	o 36702
389.70	c 4065
390.68	o 36704
390.68	c 4063
391.01	o 36705
391.01	c 4062
391.34	o 36706
391.34	c 4061
391.68	o 36709
391.68	c 4058
392.02	o 36711
392.02	c 4056
393.04	o 36713
393.04	c 4054
393.36	o 36715
393.36	c 4052
393.69	o 36718
393.69	c 4049
394.04	o 36719
394.04	c 4048
395.37	o 36720
395.37	c 4047
395.70	o 36722
395.70	c 4045
398.47	o 36723
398.47	c 4044
398.81	o 36725
398.81	c 4042
399.47	o 36727
399.47	c 4040
399.82	o 36729
399.82	c 4038
400.18	o 36732
400.18	c 4035
400.52	o 36734
400.52	c 4033
400.87	o 36735
400.87	c 4032
401.22	o 36739
401.22	c 4028
401.57	o 36740
401.57	c 4027
401.91	o 36742
401.91	c 4025
402.98	o 36743
402.98	c 4024
405.08	o 36744
405.08	c 4023
406.10	o 36746
406.10	c 4021
407.82	o 36748
407.82	c 4019
408.19	o 36751
408.19	c 4016
408.87	o 36756
408.87	c 4011
409.22	o 36757
409.22	c 4010
409.54	o 36758
409.54	c 4009
410.22	o 36759
410.22	c 4008
410.56	o 36763
410.56	c 4004
411.62	o 36765
411.62	c 4002
411.96	o 36767
411.96	c 4000
412.32	o 36770
412.32	c 3997
412.93	o 36773
412.93	c 3994
413.30	o 36778
413.30	c 3989
413.64	o 36779
413.64	c 3988
414.78	o 36782
414.78	c 3985
415.97	o 36783
415.97	c 3984
416.45	o 36788
416.45	c 3979
416.73	o 36790
416.73	c 3977
417.10	o 36794
417.10	c 3973
417.47	o 36795
417.47	c 3972
417.83	o 36796
417.83	c 3971
418.19	o 36798
418.19	c 3969
420.68	o 36799
420.68	c 3968
421.04	o 36800
421.04	c 3967
423.49	o 36802
423.49	c 3965
423.84	o 36803
423.84	c 3964
425.64	o 36805
425.64	c 3962
426.01	o 36807
426.01	c 3960
427.09	o 36810
427.09	c 3957
430.40	o 36812
430.40	c 3955
430.77	o 36816
430.77	c 3951
431.14	o 36818
431.14	c 3949
431.51	o 36822
431.51	c 3945
432.64	o 36825
432.64	c 3942
441.33	o 36826
441.33	c 3941
441.76	o 36827
441.76	c 3940
442.15	o 36830
442.15	c 3937
442.52	o 36834
442.52	c 3933
442.95	o 36838
442.95	c 3929
443.78	o 36841
443.79	c 3926
444.19	o 36845
444.19	c 3922
444.60	o 36848
444.61	c 3919
445.38	o 36849
445.38	c 3918
445.78	o 36852
445.78	c 3915
446.64	o 36853
446.64	c 3914
448.28	o 36858
448.28	c 3909
448.72	o 36860
448.72	c 3907
448.97	o 36862
448.97	c 3905
449.78	o 36864
449.78	c 3903
450.59	o 36865
450.59	c 3902
451.02	o 36866
451.02	c 3901
451.84	o 36867
451.84	c 3900
455.08	o 36868
455.08	c 3899
455.54	o 36869
455.54	c 3898
455.97	o 36871
455.97	c 3896
456.42	o 36872
456.42	c 3895
458.12	o 36875
458.12	c 3892
458.53	o 36876
458.53	c 3891
458.98	o 36879
458.98	c 3888
459.40	o 36882
459.40	c 3885
460.25	o 36883
460.25	c 3884
461.52	o 36885
461.52	c 3882
462.37	o 36886
462.37	c 3881
463.66	o 36887
463.66	c 3880
464.10	o 36888
464.10	c 3879
464.51	o 36889
464.51	c 3878
466.98	o 36890
466.98	c 3877
467.40	o 36894
467.40	c 3873
468.24	o 36897
468.24	c 3870
474.57	o 36901
474.57	c 3866
474.98	o 36902
474.98	c 3865
475.38	o 36903
475.38	c 3864
479.46	o 36904
479.46	c 3863
480.31	o 36906
480.31	c 3861
481.11	o 36910
481.11	c 3857
481.85	o 36911
481.85	c 3856
482.28	o 36913
482.28	c 3854
483.57	o 36916
483.57	c 3851
487.46	o 36919
487.46	c 3848
488.31	o 36920
488.31	c 3847
489.20	o 36922
489.20	c 3845
489.65	o 36923
489.65	c 3844
492.82	o 36924
492.82	c 3843
494.63	o 36926
494.63	c 3841
496.10	o 36927
496.10	c 3840
496.97	o 36928
496.97	c 3839
497.42	o 36930
497.42	c 3837
497.86	o 36934
497.86	c 3833
498.30	o 36939
498.30	c 3828
498.77	o 36940
498.77	c 3827
500.97	o 36945
500.97	c 3822
501.28	o 36947
501.28	c 3820
502.16	o 36948
502.16	c 3819
502.59	o 36950
502.59	c 3817
503.89	o 36951
503.89	c 3816
504.31	o 36954
504.31	c 3813
505.16	o 36956
505.16	c 3811
505.60	o 36958
505.60	c 3809
506.02	o 36959
506.02	c 3808
507.74	o 36961
507.74	c 3806
508.16	o 36963
508.16	c 3804
508.60	o 36967
508.61	c 3800
513.43	o 36968
513.43	c 3799
514.75	o 36971
514.75	c 3796
515.19	o 36973
515.19	c 3794
516.87	o 36974
516.87	c 3793
517.31	o 36976
517.31	c 3791
517.73	o 36978
517.73	c 3789
518.10	o 36979
518.10	c 3788
518.53	o 36982
518.53	c 3785
518.95	o 36983
518.95	c 3784
519.38	o 36985
519.38	c 3782
520.24	o 36987
520.24	c 3780
521.14	o 36988
521.14	c 3779
522.02	o 36991
522.02	c 3776
522.45	o 36994
522.45	c 3773
525.96	o 37001
525.96	c 3766
526.34	o 37004
526.34	c 3763
527.58	o 37005
527.58	c 3762
528.03	o 37010
528.03	c 3757
528.45	o 37012
528.45	c 3755
528.89	o 37014
528.89	c 3753
529.35	o 37018
529.35	c 3749
529.78	o 37023
529.78	c 3744
533.56	o 37024
533.56	c 3743
533.97	o 37025
533.97	c 3742
534.81	o 37028
534.81	c 3739
535.23	o 37031
535.23	c 3736
535.65	o 37034
535.65	c 3733
536.06	o 37036
536.06	c 3731
536.87	o 37037
536.87	c 3730
542.16	o 37040
542.16	c 3727
542.95	o 37042
542.95	c 3725
543.34	o 37043
543.34	c 3724
543.73	o 37045
543.73	c 3722
544.13	o 37046
544.13	c 3721
544.93	o 37047
544.93	c 3720
545.73	o 37048
545.73	c 3719
546.12	o 37049
546.12	c 3718
546.90	o 37051
546.90	c 3716
547.57	o 37055
547.57	c 3712
548.70	o 37056
548.70	c 3711
548.98	o 37058
548.98	c 3709
549.20	o 37064
549.20	c 3703
551.02	o 37065
551.02	c 3702
551.39	o 37066
551.39	c 3701
551.77	o 37068
551.77	c 3699
552.92	o 37070
552.92	c 3697
553.31	o 37073
553.31	c 3694
553.68	o 37074
553.68	c 3693
556.68	o 37076
556.68	c 3691
557.06	o 37079
557.06	c 3688
558.16	o 37080
558.16	c 3687
558.94	o 37083
558.94	c 3684
560.28	o 37086
560.28	c 3681
560.66	o 37090
560.66	c 3677
563.34	o 37094
563.34	c 3673
563.72	o 37097
563.72	c 3670
564.32	o 37099
564.32	c 3668
568.20	o 37100
568.20	c 3667
572.26	o 37101
572.26	c 3666
573.80	o 37105
573.80	c 3662
574.19	o 37109
574.19	c 3658
574.57	o 37114
574.57	c 3653
574.95	o 37115
574.95	c 3652
577.43	o 37119
577.43	c 3648
577.77	o 37122
577.77	c 3645
578.17	o 37123
578.17	c 3644
578.55	o 37124
578.55	c 3643
578.94	o 37126
578.94	c 3641
580.15	o 37128
580.15	c 3639
580.54	o 37130
580.54	c 3637
580.93	o 37131
580.93	c 3636
581.72	o 37133
581.72	c 3634
582.10	o 37137
582.10	c 3630
582.49	o 37140
582.49	c 3627
582.75	o 37142
582.75	c 3625
583.14	o 37143
583.14	c 3624
583.53	o 37144
583.53	c 3623
583.94	o 37145
583.94	c 3622
584.31	o 37147
584.31	c 3620
585.06	o 37150
585.06	c 3617
586.18	o 37151
586.18	c 3616
588.86	o 37155
588.86	c 3612
589.82	o 37158
589.82	c 3609
590.21	o 37160
590.21	c 3607
590.61	o 37163
590.61	c 3604
591.39	o 37164
591.39	c 3603
591.79	o 37166
591.79	c 3601
593.27	o 37170
593.27	c 3597
593.67	o 37171
593.67	c 3596
594.07	o 37173
594.07	c 3594
594.77	o 37174
594.77	c 3593
595.55	o 37175
595.55	c 3592
606.95	o 37178
606.95	c 3589
607.34	o 37179
607.34	c 3588
607.72	o 37180
607.72	c 3587
608.12	o 37183
608.12	c 3584
608.51	o 37186
608.51	c 3581
608.90	o 37190
608.90	c 3577
609.30	o 37192
609.30	c 3575
609.69	o 37195
609.69	c 3572
609.98	o 37196
609.98	c 3571
610.41	o 37197
610.41	c 3570
610.80	o 37198
610.80	c 3569
611.18	o 37200
611.18	c 3567
618.09	o 37202
618.09	c 3565
618.51	o 37203
618.51	c 3564
620.56	o 37204
620.56	c 3563
622.67	o 37206
622.67	c 3561
623.07	o 37208
623.07	c 3559
624.37	o 37210
624.37	c 3557
624.79	o 37214
624.79	c 3553
624.99	o 37217
624.99	c 3550
627.96	o 37218
627.96	c 3549
628.40	o 37219
628.40	c 3548
628.85	o 37220
628.85	c 3547
629.70	o 37221
629.70	c 3546
631.00	o 37223
631.00	c 3544
634.29	o 37224
634.29	c 3543
634.71	o 37226
634.71	c 3541
635.09	o 37231
635.09	c 3536
635.98	o 37232
635.98	c 3535
636.82	o 37233
636.82	c 3534
637.22	o 37234
637.22	c 3533
637.64	o 37236
637.64	c 3531
638.09	o 37237
638.09	c 3530
638.55	o 37239
638.55	c 3528
638.96	o 37242
638.96	c 3525
639.37	o 37245
639.37	c 3522
639.77	o 37246
639.77	c 3521
640.18	o 37247
640.18	c 3520
640.59	o 37249
640.59	c 3518
641.42	o 37250
641.42	c 3517
641.82	o 37251
641.82	c 3516
642.66	o 37252
642.66	c 3515
643.08	o 37254
643.08	c 3513
643.52	o 37255
643.52	c 3512
643.80	o 37259
643.80	c 3508
644.21	o 37261
644.21	c 3506
645.04	o 37262
645.04	c 3505
647.39	o 37265
647.39	c 3502
647.78	o 37268
647.78	c 3499
648.20	o 37269
648.20	c 3498
649.43	o 37272
649.43	c 3495
650.67	o 37274
650.67	c 3493
651.08	o 37275
651.08	c 3492
653.11	o 37276
653.11	c 3491
653.53	o 37277
653.53	c 3490
653.93	o 37279
653.93	c 3488
654.77	o 37282
654.77	c 3485
655.18	o 37283
655.18	c 3484
655.53	o 37286
655.53	c 3481
655.94	o 37290
655.94	c 3477
656.33	o 37291
656.33	c 3476
656.71	o 37293
656.71	c 3474
656.84	o 37297
656.84	c 3470
657.23	o 37299
657.23	c 3468
658.24	o 37300
658.24	c 3467
658.63	o 37302
658.63	c 3465
659.01	o 37305
659.01	c 3462
659.99	o 37306
659.99	c 3461
661.56	o 37307
661.56	c 3460
661.91	o 37308
661.91	c 3459
662.78	o 37309
662.78	c 3458
663.21	o 37310
663.21	c 3457
664.06	o 37311
664.06	c 3456
666.34	o 37312
666.34	c 3455
666.81	o 37314
666.81	c 3453
667.27	o 37316
667.27	c 3451
672.07	o 37319
672.07	c 3448
673.03	o 37321
673.03	c 3446
675.40	o 37322
675.40	c 3445
677.30	o 37323
677.30	c 3444
678.69	o 37324
678.69	c 3443
679.17	o 37325
679.17	c 3442
679.65	o 37328
679.65	c 3439
680.11	o 37329
680.11	c 3438
680.57	o 37331
680.57	c 3436
682.72	o 37332
682.72	c 3435
684.04	o 37334
684.04	c 3433
684.50	o 37335
684.50	c 3432
690.95	o 37340
690.95	c 3427
691.42	o 37342
691.42	c 3425
691.61	o 37349
691.61	c 3418
692.08	o 37352
692.08	c 3415
694.53	o 37356
694.53	c 3411
695.50	o 37358
695.50	c 3409
696.28	o 37359
696.28	c 3408
697.39	o 37364
697.39	c 3403
697.84	o 37370
697.84	c 3397
698.30	o 37373
698.30	c 3394
698.77	o 37375
698.77	c 3392
700.16	o 37376
700.16	c 3391
700.61	o 37377
700.61	c 3390
701.06	o 37380
701.06	c 3387
701.52	o 37382
701.52	c 3385
702.46	o 37384
702.46	c 3383
704.87	o 37387
704.87	c 3380
706.17	o 37389
706.17	c 3378
707.17	o 37390
707.17	c 3377
708.09	o 37391
708.09	c 3376
710.57	o 37393
710.57	c 3374
711.07	o 37395
711.07	c 3372
711.59	o 37397
711.59	c 3370
712.09	o 37398
712.09	c 3369
712.52	o 37400
712.53	c 3367
715.18	o 37402
715.18	c 3365
722.19	o 37404
722.19	c 3363
722.68	o 37406
722.68	c 3361
723.19	o 37408
723.19	c 3359
723.69	o 37409
723.69	c 3358
727.17	o 37412
727.17	c 3355
727.67	o 37416
727.67	c 3351
727.80	o 37419
727.80	c 3348
728.30	o 37420
728.30	c 3347
728.80	o 37422
728.80	c 3345
731.21	o 37424
731.21	c 3343
731.72	o 37425
731.72	c 3342
732.68	o 37428
732.68	c 3339
735.28	o 37430
735.28	c 3337
735.79	o 37432
735.79	c 3335
736.28	o 37434
736.28	c 3333
738.26	o 37438
738.26	c 3329
739.25	o 37439
739.25	c 3328
739.75	o 37441
739.75	c 3326
740.24	o 37443
740.24	c 3324
740.70	o 37444
740.70	c 3323
742.22	o 37445
742.22	c 3322
744.09	o 37446
744.09	c 3321
744.62	o 37447
744.62	c 3320
745.13	o 37449
745.13	c 3318
749.77	o 37453
749.77	c 3314
749.99	o 37456
749.99	c 3311
750.55	o 37458
750.55	c 3309
751.34	o 37461
751.34	c 3306
756.35	o 37464
756.35	c 3303
756.86	o 37467
756.86	c 3300
757.87	o 37468
757.87	c 3299
762.17	o 37471
762.17	c 3296
762.66	o 37472
762.66	c 3295
763.15	o 37474
763.15	c 3293
763.63	o 37477
763.63	c 3290
769.12	o 37480
769.12	c 3287
769.61	o 37483
769.61	c 3284
770.61	o 37486
770.61	c 3281
771.10	o 37489
771.10	c 3278
771.59	o 37491
771.59	c 3276
772.07	o 37493
772.07	c 3274
772.57	o 37496
772.57	c 3271
774.10	o 37500
774.10	c 3267
774.60	o 37501
774.60	c 3266
775.60	o 37503
775.60	c 3264
776.96	o 37506
776.96	c 3261
777.90	o 37507
777.90	c 3260
778.71	o 37509
778.71	c 3258
780.19	o 37510
780.19	c 3257
781.07	o 37511
781.07	c 3256
781.55	o 37513
781.55	c 3254
783.02	o 37514
783.02	c 3253
783.51	o 37516
783.51	c 3251
784.00	o 37520
784.00	c 3247
784.37	o 37522
784.37	c 3245
784.86	o 37525
784.86	c 3242
785.34	o 37526
785.34	c 3241
786.32	o 37529
786.32	c 3238
786.80	o 37530
786.80	c 3237
787.28	o 37531
787.28	c 3236
788.27	o 37533
788.27	c 3234
790.94	o 37536
790.94	c 3231
791.41	o 37537
791.41	c 3230
791.90	o 37538
791.90	c 3229
792.38	o 37539
792.38	c 3228
796.90	o 37540
796.90	c 3227
798.42	o 37541
798.42	c 3226
799.39	o 37542
799.39	c 3225
800.41	o 37544
800.41	c 3223
800.90	o 37547
800.90	c 3220
804.29	o 37550
804.29	c 3217
804.77	o 37551
804.77	c 3216
806.23	o 37552
806.23	c 3215
806.74	o 37554
806.74	c 3213
807.24	o 37555
807.24	c 3212
808.93	o 37559
808.93	c 3208
809.95	o 37562
809.95	c 3205
810.46	o 37563
810.46	c 3204
810.98	o 37566
810.98	c 3201
811.49	o 37567
811.49	c 3200
812.01	o 37569
812.01	c 3198
812.51	o 37570
812.51	c 3197
817.30	o 37571
817.30	c 3196
817.67	o 37573
817.67	c 3194
818.20	o 37574
818.20	c 3193
818.73	o 37579
818.73	c 3188
819.26	o 37582
819.26	c 3185
819.79	o 37584
819.79	c 3183
821.40	o 37586
821.40	c 3181
821.95	o 37589
821.95	c 3178
822.45	o 37590
822.45	c 3177
822.97	o 37591
822.97	c 3176
827.44	o 37593
827.44	c 3174
828.00	o 37594
828.00	c 3173
828.25	o 37595
828.25	c 3172
828.78	o 37598
828.78	c 3169
829.31	o 37601
829.31	c 3166
830.94	o 37602
830.94	c 3165
831.09	o 37604
831.09	c 3163
831.62	o 37605
831.62	c 3162
832.16	o 37609
832.17	c 3158
832.69	o 37610
832.69	c 3157
833.25	o 37611
833.25	c 3156
833.63	o 37612
833.63	c 3155
840.03	o 37616
840.03	c 3151
842.73	o 37619
842.73	c 3148
843.29	o 37621
843.29	c 3146
843.82	o 37622
843.82	c 3145
850.11	o 37623
850.11	c 3144
850.66	o 37626
850.66	c 3141
851.18	o 37628
851.18	c 3139
853.31	o 37629
853.31	c 3138
854.37	o 37631
854.37	c 3136
863.57	o 37633
863.57	c 3134
864.09	o 37636
864.09	c 3131
865.11	o 37637
865.11	c 3130
867.18	o 37640
867.18	c 3127
868.22	o 37641
868.22	c 3126
868.76	o 37645
868.76	c 3122
870.34	o 37647
870.34	c 3120
870.86	o 37648
870.86	c 3119
873.00	o 37650
873.00	c 3117
873.52	o 37654
873.52	c 3113
874.01	o 37655
874.01	c 3112
875.08	o 37656
875.08	c 3111
875.57	o 37658
875.57	c 3109
876.10	o 37659
876.10	c 3108
879.82	o 37660
879.82	c 3107
880.34	o 37661
880.34	c 3106
880.86	o 37662
880.86	c 3105
889.49	o 37665
889.49	c 3102
891.66	o 37666
891.66	c 3101
892.78	o 37667
892.78	c 3100
893.89	o 37668
893.89	c 3099
894.46	o 37670
894.46	c 3097
896.16	o 37671
896.16	c 3096
896.75	o 37672
896.75	c 3095
898.53	o 37674
898.53	c 3093
900.33	o 37676
900.33	c 3091
900.93	o 37680
900.93	c 3087
903.28	o 37684
903.28	c 3083
903.87	o 37688
903.87	c 3079
910.32	o 37689
910.32	c 3078
913.30	o 37690
913.30	c 3077
917.37	o 37692
917.37	c 3075
917.81	o 37694
917.81	c 3073
918.39	o 37695
918.39	c 3072
918.97	o 37697
918.97	c 3070
927.00	o 37698
927.00	c 3069
928.81	o 37700
928.81	c 3067
931.00	o 37702
931.00	c 3065
931.60	o 37706
931.60	c 3061
931.71	o 37711
931.71	c 3056
936.56	o 37714
936.56	c 3053
941.80	o 37716
941.80	c 3051
943.63	o 37719
943.63	c 3048
944.61	o 37721
944.61	c 3046
945.16	o 37722
945.16	c 3045
945.75	o 37726
945.75	c 3041
946.36	o 37729
946.36	c 3038
946.95	o 37732
946.95	c 3035
947.05	o 37736
947.05	c 3031
948.09	o 37739
948.09	c 3028
948.67	o 37741
948.67	c 3026
950.40	o 37743
950.40	c 3024
950.99	o 37745
950.99	c 3022
952.07	o 37746
952.07	c 3021
952.65	o 37747
952.65	c 3020
953.11	o 37749
953.11	c 3018
953.69	o 37752
953.69	c 3015
954.27	o 37754
954.27	c 3013
954.85	o 37755
954.85	c 3012
956.95	o 37756
956.95	c 3011
957.49	o 37757
957.49	c 3010
958.05	o 37758
958.05	c 3009
958.61	o 37759
958.61	c 3008
959.18	o 37761
959.18	c 3006
959.74	o 37763
959.74	c 3004
960.31	o 37764
960.31	c 3003
961.36	o 37765
961.36	c 3002
961.76	o 37768
961.76	c 2999
964.35	o 37769
964.35	c 2998
967.03	o 37772
967.03	c 2995
967.14	o 37776
967.14	c 2991
967.50	o 37777
967.50	c 2990
968.02	o 37780
968.02	c 2987
968.56	o 37781
968.56	c 2986
969.59	o 37782
969.59	c 2985
970.58	o 37786
970.58	c 2981
971.09	o 37787
971.09	c 2980
971.29	o 37788
971.29	c 2979
972.16	o 37791
972.16	c 2976
972.38	o 37793
972.38	c 2974
972.90	o 37797
972.90	c 2970
973.43	o 37799
973.43	c 2968
973.96	o 37800
973.96	c 2967
974.47	o 37801
974.47	c 2966
975.01	o 37803
975.01	c 2964
975.53	o 37804
975.53	c 2963
976.54	o 37806
976.54	c 2961
977.61	o 37809
977.61	c 2958
978.57	o 37813
978.57	c 2954
978.99	o 37815
978.99	c 2952
979.49	o 37817
979.49	c 2950
980.00	o 37819
980.00	c 2948
980.71	o 37820
980.71	c 2947
981.20	o 37825
981.20	c 2942
981.58	o 37828
981.58	c 2939
982.00	o 37830
982.00	c 2937
983.49	o 37831
983.49	c 2936
983.98	o 37833
983.99	c 2934
984.49	o 37835
984.49	c 2932
985.00	o 37838
985.00	c 2929
986.59	o 37842
986.59	c 2925
988.15	o 37844
988.15	c 2923
988.68	o 37846
988.68	c 2921
989.19	o 37847
989.19	c 2920
989.72	o 37848
989.72	c 2919
990.25	o 37849
990.25	c 2918
990.78	o 37853
990.78	c 2914
991.30	o 37854
991.30	c 2913
991.81	o 37856
991.81	c 2911
1000.95	o 37857
1000.95	c 2910
1002.94	o 37858
1002.94	c 2909
1004.50	o 37861
1004.50	c 2906
1005.06	o 37864
1005.06	c 2903
1005.33	o 37869
1005.33	c 2898
1005.58	o 37873
1005.58	c 2894
1006.61	o 37875
1006.61	c 2892
1007.16	o 37876
1007.16	c 2891
1013.09	o 37877
1013.09	c 2890
1013.61	o 37878
1013.61	c 2889
1015.78	o 37879
1015.78	c 2888
1016.31	o 37881
1016.31	c 2886
1016.83	o 37882
1016.83	c 2885
1017.39	o 37883
1017.39	c 2884
1019.00	o 37885
1019.00	c 2882
1022.78	o 37888
1022.78	c 2879
1023.82	o 37891
1023.82	c 2876
1026.92	o 37893
1026.92	c 2874
1027.46	o 37894
1027.46	c 2873
1029.26	o 37895
1029.26	c 2872
1029.80	o 37897
1029.80	c 2870
1030.86	o 37899
1030.86	c 2868
1031.40	o 37900
1031.40	c 2867
1033.05	o 37901
1033.05	c 2866
1036.38	o 37903
1036.38	c 2864
1036.94	o 37908
1036.94	c 2859
1037.48	o 37909
1037.48	c 2858
1038.02	o 37912
1038.02	c 2855
1041.14	o 37913
1041.14	c 2854
1041.70	o 37915
1041.70	c 2852
1043.43	o 37916
1043.43	c 2851
1043.87	o 37919
1043.87	c 2848
1044.43	o 37920
1044.43	c 2847
1044.98	o 37921
1044.98	c 2846
1047.80	o 37924
1047.80	c 2843
1048.29	o 37926
1048.29	c 2841
1048.87	o 37927
1048.87	c 2840
1050.95	o 37929
1050.95	c 2838
1051.54	o 37930
1051.54	c 2837
1052.56	o 37931
1052.56	c 2836
1053.14	o 37934
1053.14	c 2833
1053.74	o 37936
1053.74	c 2831
1054.31	o 37939
1054.31	c 2828
1060.86	o 37942
1060.86	c 2825
1063.72	o 37944
1063.72	c 2823
1064.29	o 37945
1064.29	c 2822
1071.42	o 37948
1071.42	c 2819
1072.01	o 37951
1072.01	c 2816
1072.59	o 37953
1072.59	c 2814
1074.38	o 37955
1074.38	c 2812
1076.12	o 37956
1076.12	c 2811
1076.75	o 37957
1076.75	c 2810
1077.36	o 37958
1077.36	c 2809
1079.20	o 37961
1079.20	c 2806
1081.68	o 37962
1081.68	c 2805
1082.32	o 37965
1082.32	c 2802
1082.94	o 37969
1082.94	c 2798
1083.51	o 37973
1083.51	c 2794
1084.12	o 37975
1084.12	c 2792
1085.29	o 37977
1085.29	c 2790
1085.91	o 37978
1085.91	c 2789
1086.55	o 37979
1086.55	c 2788
1087.18	o 37981
1087.18	c 2786
1088.06	o 37985
1088.06	c 2782
1090.47	o 37988
1090.47	c 2779
1092.03	o 37989
1092.03	c 2778
1094.55	o 37992
1094.55	c 2775
1094.83	o 37993
1094.83	c 2774
1099.18	o 37994
1099.18	c 2773
1100.46	o 37996
1100.46	c 2771
1101.09	o 37998
1101.09	c 2769
1101.64	o 38000
1101.64	c 2767
1102.27	o 38002
1102.27	c 2765
1111.02	o 38004
1111.02	c 2763
1111.65	o 38007
1111.65	c 2760
1114.23	o 38008
1114.23	c 2759
1114.85	o 38010
1114.85	c 2757
1115.15	o 38014
1115.15	c 2753
1117.52	o 38015
1117.52	c 2752
1118.78	o 38017
1118.78	c 2750
1119.65	o 38020
1119.65	c 2747
1121.50	o 38022
1121.50	c 2745
1123.85	o 38023
1123.85	c 2744
1124.46	o 38025
1124.46	c 2742
1127.68	o 38026
1127.68	c 2741
1129.84	o 38027
1129.84	c 2740
1130.22	o 38028
1130.22	c 2739
1130.96	o 38029
1130.96	c 2738
1131.50	o 38034
1131.50	c 2733
1132.08	o 38035
1132.08	c 2732
1133.49	o 38041
1133.49	c 2726
1133.98	o 38044
1133.98	c 2723
1136.31	o 38045
1136.31	c 2722
1136.87	o 38048
1136.87	c 2719
1137.45	o 38052
1137.45	c 2715
1139.18	o 38055
1139.18	c 2712
1139.74	o 38057
1139.74	c 2710
1140.33	o 38061
1140.33	c 2706
1142.71	o 38063
1142.71	c 2704
1143.25	o 38065
1143.25	c 2702
1144.39	o 38066
1144.40	c 2701
1144.94	o 38068
1144.94	c 2699
1145.53	o 38070
1145.53	c 2697
1149.50	o 38071
1149.50	c 2696
1151.91	o 38074
1151.91	c 2693
1153.18	o 38076
1153.18	c 2691
1153.82	o 38080
1153.82	c 2687
1154.45	o 38082
1154.45	c 2685
1157.98	o 38083
1157.98	c 2684
1159.29	o 38085
1159.29	c 2682
1161.23	o 38086
1161.23	c 2681
1162.52	o 38090
1162.52	c 2677
1162.93	o 38091
1162.93	c 2676
1166.14	o 38093
1166.14	c 2674
1166.59	o 38095
1166.59	c 2672
1167.88	o 38098
1167.88	c 2669
1169.12	o 38099
1169.12	c 2668
1169.54	o 38100
1169.54	c 2667
1170.78	o 38101
1170.78	c 2666
1171.42	o 38102
1171.42	c 2665
1171.76	o 38104
1171.76	c 2663
1172.39	o 38106
1172.39	c 2661
1174.29	o 38107
1174.29	c 2660
1174.93	o 38108
1174.93	c 2659
1175.60	o 38109
1175.60	c 2658
1176.25	o 38111
1176.25	c 2656
1179.41	o 38114
1179.41	c 2653
1183.18	o 38115
1183.18	c 2652
1183.83	o 38116
1183.83	c 2651
1184.48	o 38119
1184.48	c 2648
1185.06	o 38122
1185.06	c 2645
1185.68	o 38124
1185.68	c 2643
1187.63	o 38127
1187.63	c 2640
1188.27	o 38128
1188.27	c 2639
1189.93	o 38130
1189.93	c 2637
1191.24	o 38133
1191.24	c 2634
1191.90	o 38134
1191.90	c 2633
1214.67	o 38136
1214.67	c 2631
1227.71	o 38139
1227.71	c 2628
1229.02	o 38140
1229.02	c 2627
1230.53	o 38141
1230.53	c 2626
1231.20	o 38145
1231.21	c 2622
1231.86	o 38147
1231.87	c 2620
1233.90	o 38149
1233.90	c 2618
1234.57	o 38152
1234.57	c 2615
1235.15	o 38156
1235.15	c 2611
1235.82	o 38157
1235.82	c 2610
1238.40	o 38158
1238.40	c 2609
1239.07	o 38159
1239.07	c 2608
1239.74	o 38161
1239.74	c 2606
1256.48	o 38163
1256.48	c 2604
1257.05	o 38166
1257.05	c 2601
1258.25	o 38167
1258.25	c 2600
1258.96	o 38168
1258.96	c 2599
1259.65	o 38169
1259.65	c 2598
1260.33	o 38170
1260.33	c 2597
1261.02	o 38172
1261.02	c 2595
1265.22	o 38176
1265.22	c 2591
1266.99	o 38177
1266.99	c 2590
1268.11	o 38179
1268.11	c 2588
1271.39	o 38181
1271.39	c 2586
1275.23	o 38182
1275.23	c 2585
1275.89	o 38184
1275.89	c 2583
1277.16	o 38185
1277.16	c 2582
1291.41	o 38188
1291.41	c 2579
1292.05	o 38191
1292.05	c 2576
1292.71	o 38193
1292.71	c 2574
1297.16	o 38195
1297.16	c 2572
1297.81	o 38196
1297.81	c 2571
1299.10	o 38197
1299.10	c 2570
1302.74	o 38201
1302.74	c 2566
1303.38	o 38202
1303.38	c 2565
1305.39	o 38204
1305.39	c 2563
1306.76	o 38206
1306.76	c 2561
1307.45	o 38208
1307.45	c 2559
1308.13	o 38209
1308.13	c 2558
1310.49	o 38210
1310.49	c 2557
1311.14	o 38212
1311.14	c 2555
1311.78	o 38215
1311.78	c 2552
1316.26	o 38216
1316.26	c 2551
1316.92	o 38218
1316.92	c 2549
1317.56	o 38221
1317.56	c 2546
1319.54	o 38223
1319.54	c 2544
1320.86	o 38225
1320.86	c 2542
1321.52	o 38230
1321.52	c 2537
1324.51	o 38231
1324.52	c 2536
1325.07	o 38232
1325.07	c 2535
1326.37	o 38233
1326.37	c 2534
1328.31	o 38236
1328.31	c 2531
1329.65	o 38238
1329.65	c 2529
1330.32	o 38239
1330.32	c 2528
1331.65	o 38242
1331.65	c 2525
1332.18	o 38243
1332.18	c 2524
1332.85	o 38245
1332.85	c 2522
1333.52	o 38246
1333.52	c 2521
1334.19	o 38251
1334.19	c 2516
1334.85	o 38252
1334.85	c 2515
1336.83	o 38255
1336.83	c 2512
1338.90	o 38256
1338.90	c 2511
1339.59	o 38257
1339.59	c 2510
1340.93	o 38258
1340.93	c 2509
1342.39	o 38259
1342.39	c 2508
1343.05	o 38261
1343.05	c 2506
1343.70	o 38262
1343.70	c 2505
1354.20	o 38263
1354.20	c 2504
1355.40	o 38265
1355.40	c 2502
1356.09	o 38267
1356.09	c 2500
1356.76	o 38269
1356.76	c 2498
1358.21	o 38270
1358.21	c 2497
1367.07	o 38272
1367.07	c 2495
1368.36	o 38273
1368.36	c 2494
1369.00	o 38274
1369.00	c 2493
1369.83	o 38277
1369.83	c 2490
1370.43	o 38280
1370.43	c 2487
1371.08	o 38281
1371.08	c 2486
1372.37	o 38282
1372.37	c 2485
1373.66	o 38283
1373.66	c 2484
1374.31	o 38286
1374.31	c 2481
1376.87	o 38287
1376.87	c 2480
1377.50	o 38289
1377.50	c 2478
1378.13	o 38291
1378.13	c 2476
1378.75	o 38294
1378.75	c 2473
1381.38	o 38296
1381.38	c 2471
1382.05	o 38298
1382.05	c 2469
1382.73	o 38299
1382.73	c 2468
1383.37	o 38301
1383.37	c 2466
1384.69	o 38303
1384.69	c 2464
1390.52	o 38304
1390.52	c 2463
1391.07	o 38309
1391.07	c 2458
1394.04	o 38310
1394.04	c 2457
1394.71	o 38313
1394.71	c 2454
1396.74	o 38316
1396.74	c 2451
1397.41	o 38318
1397.41	c 2449
1398.10	o 38320
1398.10	c 2447
1398.76	o 38322
1398.76	c 2445
1400.84	o 38323
1400.84	c 2444
1403.24	o 38325
1403.24	c 2442
1415.00	o 38326
1415.00	c 2441
1415.60	o 38328
1415.60	c 2439
1416.77	o 38333
1416.77	c 2434
1418.18	o 38335
1418.18	c 2432
1418.90	o 38337
1418.90	c 2430
1419.61	o 38338
1419.61	c 2429
1420.31	o 38339
1420.31	c 2428
1422.09	o 38341
1422.09	c 2426
1422.81	o 38346
1422.81	c 2421
1427.01	o 38347
1427.01	c 2420
1429.19	o 38350
1429.19	c 2417
1429.58	o 38352
1429.58	c 2415
1433.82	o 38353
1433.82	c 2414
1434.26	o 38355
1434.26	c 2412
1435.74	o 38356
1435.74	c 2411
1442.75	o 38357
1442.75	c 2410
1443.47	o 38359
1443.47	c 2408
1450.88	o 38361
1450.88	c 2406
1451.08	o 38364
1451.08	c 2403
1454.54	o 38365
1454.54	c 2402
1455.99	o 38367
1455.99	c 2400
1457.44	o 38368
1457.44	c 2399
1460.33	o 38369
1460.33	c 2398
1461.05	o 38370
1461.05	c 2397
1462.94	o 38371
1462.94	c 2396
1493.27	   
1493.27	   search
1493.27	     run=0  nbConstraintChecks=3396236206  nbAssignments=4193
1493.27	       =>  wckTime=1429.32  cpuTime=1427.57  mem=86M865
1493.28	   
1493.28	   global
1493.28	     nbConstraintChecks=3396236206  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
1493.28	     solvingWckTime=1429.299  solvingCpuTime=1427.55  expiredTime=no  totalExploration=no  nbFoundSolutions=0
1493.28	     globalCpuTime=1489.29
1493.28	       =>  wckTime=1492.948  cpuTime=1489.23  mem=86M865
1493.28	   
1493.28	   solver IterativeSystematicSolver being built... 
1494.23	       =>  wckTime=1493.906  cpuTime=1489.76  mem=242M540
1618.01	   
1618.02	   preprocessing
1618.02	     nbConstraintChecks=295589340  nbValidityChecks=1215445  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
1618.02	     nbRemovedValues=0  detectedInconsistency=no
1618.02	       =>  wckTime=123.771  cpuTime=123.63  mem=242M540
2403.31	v 2228 2096 2644 2396 2736 2168 -2512 2168 -2608 2168 -2624 -2020 -2560 -2220 -2524 -2552 2604 -2560 2192 -2060 2060 -2460 2484 2100 2220 2416 2620 -2460 -2720 2064 2420 -2604 -2032 2312 2512 2700 -2528 -2020 -2572 -2208 -2696 2020 -2708 2232 -2620 2664 2720 2044 2400 2088 2120 -2568 -2588 -2700 -2240 -2088 2712 -2416 -2672 -2264 2072 -2612 -2568 2260 2336 -2472 -2676 2680 2720 -2500 -2720 2596 2268 -2732 -2384 -2676 2040 -2080 2364 2540 2740 2560 -2680 -2420 2140 2460 -2064 -2628 2664 2300 -2036 2448 -2168 -2664 2304 2188 -2404 2196 -2044 -2604 -2352 2364 2376 2028 2112 2332 2656 2488 -2404 -2020 -2060 -2700 2040 -2192 -2504 2724 2132 2176 -2716 2272 -2696 2496 -2616 2676 2348 2516 -2368 2624 -2740 2544 -2492 -2112 -2076 2684 -2616 -2076 -2668 2736 2320 2064 -2644 -2688 2288 -2472 2060 2640 2712 -2020 2600 2168 -2060 -2416 -2408 -2548 2432 -2576 -2024 2704 2308 2112 -2220 -2596 -2584 2688 2720 -2244 2372 2256 2704 2304 -2280 -2248 -2084 -2732 2068 -2544 2344 2448 -2236 2028 2688 -2732 -2020 2680 -2676 -2716 2076 -2468 -2028 -2316 2060 -2024 2596 -2260 -2632 -2692 -2596 -2220 -2116 -2464 -2688 -2632 -2460 -2244 -2176 -2048 -2632 -2676 2060 -2028 -2592 -2020 2092 2332 2344 2484 -2580 -2112 2584 2020 -2288 2724 2476 2700 2040 -2408 2064 2664 -2092 2556 2608 2700 2424 -2024 -2604 -2692 -2020 2040 -2660 2664 2392 2580 2340 -2740 2692 -2700 -2740 2340 -2740 2564 -2568 2296 -2668 2428 -2060 2716 2132 -2176 -2560 2336 2372 -2196 2608 -2328 2152 2652 2712 -2432 2316 -2516 2464 -2740 -2380 -2628 -2304 -2060 2040 2152 -2724 2080 -2020 2040 -2064 2068 -2048 2684 -2676 -2476 2296 -2556 -2048 -2560 2708 -2532 -2720 2504 2264 -2472 2152 2348 2580 2060 2664 2640 -2068 -2376 2648 2356 2544 2248 2020 2152 -2056 2668 -2620 -2452 2512 -2220 2320 -2256 -2452 -2624 -2172 -2500 -2348 2048 2212 2576 2516 2684 -2304 -2676 2188 2620 2080 2492 2740 2352 -2624 -2088 2668 2680 2636 -2732 2300 2156 2672 -2020 2504 2192 -2336 -2700 2632 2300 2416 -2644 -2164 -2664 -2656 -2036 2624 2212 2532 2540 -2588 2660 -2516 -2148 2084 2708 2060 2732 2584 2704 -2704 2244 -2156 -2736 -2056 2496 2056 -2428 -2388 2188 2436 2080 -2116 2120 -2220 2256 2376 -2700 -2700 -2504 -2676 -2688 -2304 -2708 2152 -2136 2240 -2736 2144 -2360 -2280 2520 2340 -2628 -2336 -2692 2028 -2256 -2488 -2704 -2604 -2036 -2064 2420 2452 -2356 -2736 -2460 2060 -2740 -2208 -2080 2628 -2692 2368 -2024 -2100 2196 2076 -2540 2520 -2224 2540 -2020 -2696 2740 2072 2600 -2564 -2356 -2624 2060 -2664 -2256 -2140 -2720 -2156 2576 -2116 -2728 2276 2616 2256 2492 -2420 -2020 2020 2680 -2176 2220 2080 2676 -2412 -2048 -2664 2372 2236 2500 -2736 -2388 2160 -2696 -2740 -2416 -2428 -2328 -2700 -2492 2036 -2640 -2732 2024 -2576 -2508 2696 -2424 2500 -2180 2632 2224 2028 2036 2104 2208 2568 -2192 2064 2484 -2060 -2160 2080 2596 2728 2416 -2348 2624 2288 2320 -2636 2044 2036 -2156 2644 2740 -2316 -2544 -2076 2468 2400 2692 -2416 2724 -2068 -2020 -2556 -2676 2552 2072 -2656 2444 -2100 -2260 2572 -2508 -2568 -2120 -2732 -2720 2520 2692 2340 -2536 2628 2308 -2048 2700 2024 2608 2448 2116 -2300 2416 2524 2320 2724 2600 -2716 -2212 2440 2528 -2740 2196 -2084 -2244 -2092 2700 2328 -2392 2300 2532 2148 2064 2512 -2700 -2036 -2132 -2136 -2400 -2536 2372 -2684 -2352 2032 2300 -2436 -2196 -2316 2232 -2600 -2364 -2160 2196 2716 2628 2284 2216 2420 -2672 2484 -2212 -2024 2288 -2640 2708 2020 2452 2700 -2104 2372 2700 -2288 -2040 -2068 2032 2456 -2376 2092 -2084 2668 -2688 -2632 -2272 2408 -2252 -2044 -2380 2668 2220 2124 2652 -2716 -2500 -2676 -2020 2700 -2228 2412 2072 -2028 -2280 -2072 2604 -2064 -2664 -2484 2564 -2448 2052 2728 -2620 -2404 -2568 2180 2456 2096 -2040 -2660 2644 2544 2696 2604 2192 2304 -2020 2436 -2040 -2664 -2256 2328 2500 -2232 2568 -2020 -2540 -2524 2060 2148 -2512 2492 -2060 -2568 2060 2508 2096 -2184 -2480 -2720 -2740 -2320 2724 2732 -2692 2108 2040 -2716 -2332 2060 2448 2128 2020 2444 -2368 -2576 2664 -2524 -2096 2420 -2528 -2068 2356 2280 2508 2572 -2684 -2368 2088 -2684 -2280 -2700 2184 2632 2732 2376 -2060 2224 2408 -2304 -2608 -2032 2420 -2552 2616 -2068 2448 -2684 -2696 2488 -2568 -2044 -2032 2116 -2280 2036 -2472 2364 2736 -2020 -2652 -2532 -2740 -2068 2056 -2096 -2420 2292 -2652 -2040 2128 -2204 2308 -2188 -2588 2028 -2700 -2668 2068 2056 -2056 -2256 -2400 -2456 2388 -2444 2080 2216 2696 2260 2572 -2076 2684 2652 2096 2020 2068 2268 -2580 -2560 -2724 -2488 -2520 -2632 2376 2672 2464 -2440 -2720 2356 -2308 2048 2060 2700 -2548 -2340 -2392 2112 2404 2028 -2700 -2556 -2616 -2228 2720 2244 -2704 2276 2408 2684 -2484 2504 2084 2436 -2088 2060 2532 2080 -2708 2528 -2524 -2732 2204 2240 2124 2388 2536 -2424 2360 2024 2432 2272 2680 -2028 2432 -2040 -2608 -2356 2380 2036 -2604 2028 2664 2508 2056 -2368 -2600 -2492 2080 2368 2560 2036 2664 2280 2552 2064 2256 -2384 -2056 -2088 2600 -2308 2400 2176 -2060 -2060 -2020 -2028 -2376 -2588 -2664 -2024 2500 -2352 -2176 2556 -2704 -2260 2172 -2460 2220 2252 -2068 2044 -2252 -2644 2020 -2256 2732 -2164 2620 2048 2716 -2080 -2540 -2476 -2028 -2068 2024 -2392 -2604 -2580 2728 2540 -2680 -2084 -2412 2740 2700 2088 2608 -2556 -2728 2688 -2696 -2540 2360 2680 2080 2628 2152 2488 2216 -2456 -2020 -2020 2344 2124 -2360 2088 -2680 2168 2644 -2068 2680 2720 2404 2540 2184 -2152 2036 -2596 2700 2232 2724 -2028 2020 2192 -2712 2600 -2064 2608 -2684 -2224 -2456 2080 2092 -2336 2716 -2332 -2696 -2296 -2660 -2600 2508 2528 -2216 2556 -2488 -2232 2416 -2696 2392 2092 2124 2060 -2064 -2568 2628 2596 2232 2324 -2524 2512 -2056 2048 2732 2676 2376 -2260 2404 2728 2688 2060 -2060 -2660 -2360 -2244 2236 -2036 -2064 -2564 2116 -2720 -2236 -2032 2020 -2156 -2740 2276 -2572 2688 2028 2448 2024 -2040 -2124 -2412 2716 2720 2344 2032 2460 -2036 -2256 -2204 -2344 2348 2328 -2064 -2284 2108 2276 2676 -2084 -2252 -2660 2476 -2496 -2040 -2020 -2596 -2544 2448 2716 2724 -2600 -2240 -2032 -2548 2672 -2184 -2656 -2624 2600 -2708 -2096 2692 2504 -2020 -2324 2020 -2572 -2692 2328 -2060 -2068 2028 -2424 2592 -2020 -2688 2736 2712 -2724 -2196 2428 2720 -2716 2068 -2064 2736 2720 2024 2332 -2564 -2208 2464 -2320 2020 2356 2268 2020 -2676 -2020 2380 2212 2060 -2340 -2396 -2568 2552 2492 -2076 -2216 2020 -2120 2692 -2104 2584 -2684 2676 -2024 -2076 -2724 2072 2096 2592 -2428 -2076 2300 2028 2608 -2648 2716 2068 2048 2296 -2556 2516 2320 -2264 2716 2400 2136 2300 2020 2020 2612 -2532 -2060 -2420 -2540 2184 2564 -2020 2144 -2660 2496 -2412 2208 2736 -2452 2412 -2552 -2060 -2740 -2508 2348 -2040 2660 2404 2504 -2652 -2240 -2256 -2708 2588 -2548 2664 2432 -2500 -2620 -2740 2392 2704 -2696 2576 2704 -2040 -2532 2736 -2172 2388 -2464 2504 2268 2668 -2168 -2164 -2664 -2020 -2368 -2460 2360 -2740 -2084 -2740 2020 2404 2192 -2028 -2300 2060 2492 -2244 -2740 -2024 -2020 -2728 -2736 2672 -2688 -2676 -2060 2592 -2284 2560 -2608 2376 2632 -2020 2692 2636 2036 -2176 -2028 2664 -2724 -2060 -2692 2424 -2324 -2568 -2124 -2696 -2180 2416 2068 -2184 2720 2024 -2344 2156 -2020 -2104 -2264 2020 -2084 2524 -2336 -2680 2528 -2032 2664 2200 -2660 -2020 2628 -2060 -2312 -2396 -2428 2348 -2348 -2632 2092 -2416 2076 2228 2288 2408 2640 -2644 2248 -2500 -2228 2640 2028 -2072 2740 2584 -2132 -2492 -2688 -2596 -2440 2620 -2380 -2024 -2728 2456 2268 2240 -2032 -2716 -2156 2300 2684 2616 -2468 2140 2512 2720 -2152 2340 -2064 2348 2080 2548 -2304 -2072 2560 -2112 -2328 2672 2424 2260 -2740 -2568 2060 2520 -2344 -2472 2520 2504 -2308 -2108 2236 2740 2068 -2452 -2208 2332 2028 2464 -2368 -2240 -2432 2340 -2672 2360 2740 -2456 2020 -2644 2740 2672 -2524 -2680 -2052 -2656 2420 2084 -2248 -2444 -2668 -2316 -2548 -2060 -2148 2736 2092 2644 -2088 2444 2700 2344 2376 2556 -2116 -2400 2064 -2344 -2688 2208 2364 -2072 -2072 2400 -2388 2740 -2524 2292 2216 -2020 2640 2052 2244 2220 -2088 -2116 2304 -2060 2124 -2456 2616 -2196 2192 2100 -2020 -2676 2112 -2556 2044 -2028 -2684 -2524 2600 2704 2264 -2724 -2740 2328 2068 -2372 2696 -2192 2416 2060 -2460 2660 -2060 -2316 -2684 -2052 2380 2324 2352 -2532 -2060 -2256 2180 -2440 2364 2452 2496 2168 2616 2024 -2732 -2432 -2616 2176 -2708 2732 -2032 -2624 -2572 2192 2692 2484 -2244 2076 -2440 -2176 -2700 -2724 2328 -2408 2592 -2516 2108 -2732 -2676 -2700 2720 -2620 2080 -2544 -2268 2700 -2268 -2412 2544 2232 -2684 -2736 2028 2660 -2268 2732 -2128 2700 2672 -2024 2600 -2660 -2616 -2692 -2188 -2180 2276 2660 2340 2360 2124 2144 2180 2736 -2088 2024 2624 2448 2628 2716 -2280 -2204 -2280 -2632 2728 2304 2028 2020 2468 -2160 -2368 -2664 2716 2108 2076 -2156 2588 2584 -2644 -2696 2624 -2472 2616 -2692 -2680 -2328 -2220 2248 -2028 2616 2716 -2576 -2388 -2516 2648 -2668 -2416 2296 -2096 2400 2544 2700 -2060 -2584 -2172 -2288 -2084 -2412 -2684 -2476 -2692 -2700 2592 -2588 -2732 2436 2188 -2384 2660 -2576 -2396 2076 2728 -2200 2108 2060 2260 -2656 2584 -2268 2024 -2668 -2352 2696 -2700 -2216 -2020 2072 2100 2696 2624 2424 -2308 -2580 2636 2408 -2740 -2400 2616 -2684 2404 -2464 2212 -2564 2536 2276 2700 -2528 -2092 -2260 2036 2260 -2660 -2388 -2700 -2732 -2068 2740 2740 -2676 2108 -2512 -2036 -2364 -2584 2700 -2024 2424 2348 2676 -2240 2200 -2584 2724 2524 2344 -2144 -2176 2028 -2136 -2648 -2688 -2132 -2068 2372 -2652 2696 2236 -2376 -2672 -2020 -2652 2736 2196 -2348 2568 -2020 2108 2260 2472 -2292 2108 2428 -2696 2084 -2316 -2260 2672 2180 2700 -2584 2712 2160 -2312 -2700 2064 -2740 2740 2488 2412 -2696 2104 2688 -2208 -2080 2188 -2684 -2628 2524 2416 2436 2660 -2168 -2676 2676 2404 2504 2316 -2032 -2704 2576 -2200 2688 2308 -2080 2484 2300 -2240 2320 2728 -2072 -2696 -2088 2352 2020 2740 -2200 2280 2068 2524 -2068 2544 -2732 -2200 2528 -2464 2740 -2536 2420 -2664 -2308 2724 2060 -2536 -2488 -2408 2380 -2300 -2064 2044 2536 -2732 2140 2132 2668 -2492 -2452 2304 -2612 2716 -2044 -2312 -2100 2732 2660 2472 -2100 -2480 2444 2444 -2040 2040 2128 2716 2440 2732 -2660 -2624 2152 2728 -2104 -2276 -2556 2124 2060 2408 -2140 2304 -2084 -2024 -2736 -2392 2448 2020 2184 2716 -2096 -2196 2700 2356 2276 -2692 2300 2504 2688 2244 2116 2068 -2184 2352 -2176 2308 -2660 -2112 -2280 2104 -2608 -2576 2612 2152 -2296 -2448 2188 2648 2624 -2724 2072 2668 -2376 2612 2676 -2048 2700 -2740 -2036 2692 -2724 2372 -2664 -2692 -2736 2028 2368 -2144 2652 -2456 2360 -2320 -2692 -2068 2036 2252 -2224 2548 -2296 -2484 2672 -2336 2412 -2064 2736 -2588 2140 2580 2020 -2740 2096 -2584 2564 -2664 -2664 2644 2088 -2552 -2236 2444 -2452 -2436 -2716 -2560 -2304 -2484 -2264 -2492 2532 2084 2632 -2060 2040 2336 2716 2400 -2076 2136 -2696 2676 2592 2616 2600 2716 2724 2360 2492 -2268 -2504 2140 2024 2660 2528 -2676 2532 -2664 -2688 -2704 -2700 -2668 -2672 -2260 -2472 -2020 2692 2204 2032 2476 -2348 -2364 -2124 -2392 -2596 2056 -2036 2660 2088 2024 2652 2456 -2240 -2352 -2552 -2248 -2624 -2512 2496 -2312 -2628 2264 2668 2680 -2072 2120 -2548 2732 2740 -2264 -2692 -2228 2596 -2580 -2048 -2692 -2248 2068 2696 2060 -2028 -2684 -2448 -2132 -2736 2040 2180 2216 2592 2616 2456 -2736 -2648 -2228 -2732 -2652 -2020 -2332 -2164 -2040 2328 2560 2552 2628 -2060 -2116 -2732 2680 2668 -2464 2708 2500 2692 -2680 2700 -2032 -2400 -2148 -2380 -2020 2272 2020 -2584 2148 -2184 -2024 2068 -2080 2548 -2720 2088 -2388 -2176 2028 -2476 2344 -2076 -2196 2680 2668 -2632 2068 -2572 -2156 2732 -2508 2076 2656 2516 2112 -2528 -2336 -2680 2060 2084 2460 2060 2592 2716 2472 2020 -2736 -2720 -2336 -2740 -2504 2080 2036 2532 2172 -2404 2068 2252 2576 2036 -2124 -2592 -2420 -2656 -2544 2280 2228 -2020 2680 -2080 2516 -2428 2060 2568 2140 -2564 -2680 -2732 -2516 -2292 2060 -2352 2480 2380 2704 2220 2172 2048 -2276 -2692 -2704 2116 -2480 -2692 2328 -2104 -2048 2600 -2496 -2040 2640 -2316 -2596 -2740 -2076 -2672 2560 -2076 2700 -2660 -2392 2208 -2104 -2156 -2112 -2320 -2656 2404 -2388 -2064 2608 2296 -2192 -2620 2340 -2020 -2528 2296 -2464 -2164 2572 2484 -2484 -2248 2044 2104 -2060 -2592 2604 2480 -2696 2700 2136 -2024 2060 -2336 2176 2060 2636 -2640 -2076 -2340 2324 -2580 2268 -2080 -2360 2732 -2592 2660 2728 -2464 -2472 -2688 2440 -2572 -2156 2596 -2020 -2280 2632 2260 2580 -2132 -2340 2296 2236 -2484 -2508 -2648 -2340 -2136 2360 2700 2668 -2476 2180 2076 2032 -2700 2364 -2056 2152 2400 -2156 2736 2064 -2528 -2472 2584 2676 -2600 -2284 2576 2548 2180 -2740 -2512 -2340 2048 2644 -2452 2036 2380 -2692 2060 -2688 2136 -2124 2728 -2192 2056 2404 2084 2556 2324 -2020 -2608 2020 -2620 2540 -2672 2320 2028 2476 2444 -2100 2712 2080 2132 -2508 2388 2408 2100 -2524 2044 -2148 -2652 -2528 -2108 -2616 2568 -2536 2636 2732 2472 2076 -2696 -2400 2080 -2600 -2304 2624 2420 2624 -2420 -2636 -2260 -2120 -2168 2560 2380 2020 2296 2580 -2336 -2584 2020 -2700 2168 2104 2700 -2284 2324 -2712 2604 -2716 2524 2720 -2140 2728 -2196 -2668 2460 -2072 2620 2240 2368 2036 2592 2024 2024 2700 2024 -2208 -2024 2072 -2700 -2660 2040 -2608 2220 2468 2644 -2564 2468 2360 2740 -2212 2060 -2656 -2368 -2524 2568 2300 -2360 2044 2516 2420 2628 2668 -2684 2668 -2712 2604 2588 -2212 2224 -2172 2020 2420 -2152 2052 2556 -2204 -2108 2224 2636 -2284 2060 2740 -2472 -2256 -2612 -2368 -2060 -2612 -2160 -2060 2696 2636 2212 -2624 2140 2688 -2424 -2036 -2412 -2112 -2256 -2056 -2172 2084 2444 2296 -2068 -2672 2328 -2228 -2216 -2724 2372 -2588 2564 -2472 -2712 2464 -2656 2564 2672 2696 2032 2020 2368 2020 2704 -2512 -2452 -2060 -2704 -2024 2560 2020 2612 2628 2740 2436 -2340 2024 2240 2508 -2676 2692 -2716 -2232 -2064 -2336 2320 2288 2532 2236 2456 -2032 2728 2560 -2192 -2252 -2648 -2732 2200 -2524 -2028 2396 -2640 -2296 -2432 -2184 -2152 -2648 -2080 2028 -2624 2596 -2740 -2280 -2648 -2064 -2316 2040 -2660 -2036 2724 2072 2704 -2152 -2692 -2164 -2296 2652 2384 2440 -2076 2580 -2324 2068 -2204 -2124 2568 2620 -2348 2664 2156 2040 2284 -2200 2668 2676 2452 -2280 -2140 -2592 -2060 -2632 -2084 2608 2636 2080 -2020 -2036 -2440 -2224 -2728 2692 2096 2024 -2540 2308 -2076 2732 -2548 2708 -2496 2372 -2172

Verifier Data (download as text)

2396 unsatisfied constraints, 38371 satisfied constraints

Watcher Data (download as text)

runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node17/watcher-275244-1169218877 -o ROOT/results/node17/solver-275244-1169218877 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/275244-1169218877/unknown.xml 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB

/proc/loadavg: 1.99 2.00 1.94 3/93 4916
/proc/meminfo: memFree=1097000/2055920 swapFree=4192812/4192956
[pid=4915] ppid=4913 vsize=18540 CPUtime=0
/proc/4915/stat : 4915 (runsolver) R 4913 4915 4191 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 270282505 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 245482712359 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/4915/statm: 4635 279 244 17 0 2626 0

[startup+0.10309 s]
/proc/loadavg: 1.99 2.00 1.94 3/93 4916
/proc/meminfo: memFree=1097000/2055920 swapFree=4192812/4192956
[pid=4915] ppid=4913 vsize=913068 CPUtime=0.08
/proc/4915/stat : 4915 (java) S 4913 4915 4191 0 -1 0 2852 0 1 0 6 2 0 0 19 0 8 0 270282505 934981632 2598 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4915/statm: 228267 2598 1395 14 0 215168 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 913068

[startup+0.51113 s]
/proc/loadavg: 1.99 2.00 1.94 3/93 4916
/proc/meminfo: memFree=1097000/2055920 swapFree=4192812/4192956
[pid=4915] ppid=4913 vsize=915332 CPUtime=0.48
/proc/4915/stat : 4915 (java) R 4913 4915 4191 0 -1 0 6689 0 1 0 43 5 0 0 18 0 8 0 270282505 937299968 6428 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072942942 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4915/statm: 228833 6428 2140 14 0 215303 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915332

[startup+1.33522 s]
/proc/loadavg: 1.99 2.00 1.94 3/100 4923
/proc/meminfo: memFree=1016688/2055920 swapFree=4192812/4192956
[pid=4915] ppid=4913 vsize=915612 CPUtime=1.3
/proc/4915/stat : 4915 (java) R 4913 4915 4191 0 -1 0 24342 0 1 0 116 14 0 0 24 0 8 0 270282505 937586688 24079 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073544379 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4915/statm: 228903 24079 2161 14 0 215373 0
[pid=4915/tid=4917] ppid=4913 vsize=915612 CPUtime=0.1
/proc/4915/task/4917/stat : 4917 (java) S 4913 4915 4191 0 -1 64 7788 0 0 0 7 3 0 0 16 0 8 0 270282510 937586688 24079 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4915/tid=4918] ppid=4913 vsize=915612 CPUtime=0
/proc/4915/task/4918/stat : 4918 (java) S 4913 4915 4191 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 270282510 937586688 24079 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4915/tid=4919] ppid=4913 vsize=915612 CPUtime=0
/proc/4915/task/4919/stat : 4919 (java) S 4913 4915 4191 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270282510 937586688 24079 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4915/tid=4920] ppid=4913 vsize=915612 CPUtime=0
/proc/4915/task/4920/stat : 4920 (java) S 4913 4915 4191 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270282514 937586688 24079 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4915/tid=4921] ppid=4913 vsize=915612 CPUtime=0.16
/proc/4915/task/4921/stat : 4921 (java) S 4913 4915 4191 0 -1 64 404 0 0 0 16 0 0 0 16 0 8 0 270282514 937586688 24079 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4915/tid=4922] ppid=4913 vsize=915612 CPUtime=0
/proc/4915/task/4922/stat : 4922 (java) S 4913 4915 4191 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270282514 937586688 24079 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4915/tid=4923] ppid=4913 vsize=915612 CPUtime=0
/proc/4915/task/4923/stat : 4923 (java) S 4913 4915 4191 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270282514 937586688 24079 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915612

[startup+2.98943 s]
/proc/loadavg: 1.99 2.00 1.94 3/100 4923
/proc/meminfo: memFree=1003696/2055920 swapFree=4192812/4192956
[pid=4915] ppid=4913 vsize=915744 CPUtime=2.92
/proc/4915/stat : 4915 (java) R 4913 4915 4191 0 -1 0 26166 0 1 0 276 16 0 0 25 0 8 0 270282505 937721856 25899 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073340528 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4915/statm: 228936 25899 2181 14 0 215406 0
[pid=4915/tid=4917] ppid=4913 vsize=915744 CPUtime=0.24
/proc/4915/task/4917/stat : 4917 (java) S 4913 4915 4191 0 -1 64 9534 0 0 0 20 4 0 0 16 0 8 0 270282510 937721856 25899 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4915/tid=4918] ppid=4913 vsize=915744 CPUtime=0
/proc/4915/task/4918/stat : 4918 (java) S 4913 4915 4191 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 270282510 937721856 25899 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4915/tid=4919] ppid=4913 vsize=915744 CPUtime=0
/proc/4915/task/4919/stat : 4919 (java) S 4913 4915 4191 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270282510 937721856 25899 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4915/tid=4920] ppid=4913 vsize=915744 CPUtime=0
/proc/4915/task/4920/stat : 4920 (java) S 4913 4915 4191 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270282514 937721856 25899 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4915/tid=4921] ppid=4913 vsize=915744 CPUtime=0.19
/proc/4915/task/4921/stat : 4921 (java) S 4913 4915 4191 0 -1 64 416 0 0 0 19 0 0 0 16 0 8 0 270282514 937721856 25899 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4915/tid=4922] ppid=4913 vsize=915744 CPUtime=0
/proc/4915/task/4922/stat : 4922 (java) S 4913 4915 4191 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270282514 937721856 25899 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4915/tid=4923] ppid=4913 vsize=915744 CPUtime=0
/proc/4915/task/4923/stat : 4923 (java) S 4913 4915 4191 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270282514 937721856 25899 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 915744

[startup+6.27273 s]
/proc/loadavg: 1.99 2.00 1.94 3/100 4943
/proc/meminfo: memFree=1001648/2055920 swapFree=4192812/4192956
[pid=4915] ppid=4913 vsize=915744 CPUtime=6.16
/proc/4915/stat : 4915 (java) R 4913 4915 4191 0 -1 0 26183 0 1 0 600 16 0 0 25 0 8 0 270282505 937721856 25915 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073827904 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4915/statm: 228936 25915 2181 14 0 215406 0
[pid=4915/tid=4917] ppid=4913 vsize=915744 CPUtime=0.24
/proc/4915/task/4917/stat : 4917 (java) S 4913 4915 4191 0 -1 64 9534 0 0 0 20 4 0 0 16 0 8 0 270282510 937721856 25915 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4915/tid=4918] ppid=4913 vsize=915744 CPUtime=0
/proc/4915/task/4918/stat : 4918 (java) S 4913 4915 4191 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 270282510 937721856 25915 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4915/tid=4919] ppid=4913 vsize=915744 CPUtime=0
/proc/4915/task/4919/stat : 4919 (java) S 4913 4915 4191 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270282510 937721856 25915 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4915/tid=4920] ppid=4913 vsize=915744 CPUtime=0
/proc/4915/task/4920/stat : 4920 (java) S 4913 4915 4191 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270282514 937721856 25915 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4915/tid=4921] ppid=4913 vsize=915744 CPUtime=0.21
/proc/4915/task/4921/stat : 4921 (java) S 4913 4915 4191 0 -1 64 432 0 0 0 21 0 0 0 16 0 8 0 270282514 937721856 25915 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4915/tid=4922] ppid=4913 vsize=915744 CPUtime=0
/proc/4915/task/4922/stat : 4922 (java) S 4913 4915 4191 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270282514 937721856 25915 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4915/tid=4923] ppid=4913 vsize=915744 CPUtime=0
/proc/4915/task/4923/stat : 4923 (java) S 4913 4915 4191 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270282514 937721856 25915 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.16
Current children cumulated vsize (KiB) 915744

[startup+12.7664 s]
/proc/loadavg: 1.99 2.00 1.94 3/100 4957
/proc/meminfo: memFree=999408/2055920 swapFree=4192812/4192956
[pid=4915] ppid=4913 vsize=915744 CPUtime=12.59
/proc/4915/stat : 4915 (java) R 4913 4915 4191 0 -1 0 26782 0 1 0 1241 18 0 0 25 0 8 0 270282505 937721856 26512 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073842159 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4915/statm: 228936 26512 2182 14 0 215406 0
[pid=4915/tid=4917] ppid=4913 vsize=915744 CPUtime=0.29
/proc/4915/task/4917/stat : 4917 (java) S 4913 4915 4191 0 -1 64 10128 0 0 0 25 4 0 0 16 0 8 0 270282510 937721856 26512 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4915/tid=4918] ppid=4913 vsize=915744 CPUtime=0
/proc/4915/task/4918/stat : 4918 (java) S 4913 4915 4191 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 270282510 937721856 26512 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4915/tid=4919] ppid=4913 vsize=915744 CPUtime=0
/proc/4915/task/4919/stat : 4919 (java) S 4913 4915 4191 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270282510 937721856 26512 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4915/tid=4920] ppid=4913 vsize=915744 CPUtime=0
/proc/4915/task/4920/stat : 4920 (java) S 4913 4915 4191 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270282514 937721856 26512 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4915/tid=4921] ppid=4913 vsize=915744 CPUtime=0.21
/proc/4915/task/4921/stat : 4921 (java) S 4913 4915 4191 0 -1 64 434 0 0 0 21 0 0 0 16 0 8 0 270282514 937721856 26512 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4915/tid=4922] ppid=4913 vsize=915744 CPUtime=0
/proc/4915/task/4922/stat : 4922 (java) S 4913 4915 4191 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270282514 937721856 26512 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4915/tid=4923] ppid=4913 vsize=915744 CPUtime=0
/proc/4915/task/4923/stat : 4923 (java) S 4913 4915 4191 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270282514 937721856 26512 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 915744

[startup+25.6187 s]
/proc/loadavg: 1.99 2.00 1.94 3/100 4979
/proc/meminfo: memFree=999544/2055920 swapFree=4192812/4192956
[pid=4915] ppid=4913 vsize=915744 CPUtime=25.28
/proc/4915/stat : 4915 (java) R 4913 4915 4191 0 -1 0 26791 0 1 0 2507 21 0 0 25 0 8 0 270282505 937721856 26519 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073827942 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4915/statm: 228936 26519 2182 14 0 215406 0
[pid=4915/tid=4917] ppid=4913 vsize=915744 CPUtime=0.29
/proc/4915/task/4917/stat : 4917 (java) S 4913 4915 4191 0 -1 64 10128 0 0 0 25 4 0 0 16 0 8 0 270282510 937721856 26519 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4915/tid=4918] ppid=4913 vsize=915744 CPUtime=0
/proc/4915/task/4918/stat : 4918 (java) S 4913 4915 4191 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 270282510 937721856 26519 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4915/tid=4919] ppid=4913 vsize=915744 CPUtime=0
/proc/4915/task/4919/stat : 4919 (java) S 4913 4915 4191 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270282510 937721856 26519 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4915/tid=4920] ppid=4913 vsize=915744 CPUtime=0
/proc/4915/task/4920/stat : 4920 (java) S 4913 4915 4191 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270282514 937721856 26519 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4915/tid=4921] ppid=4913 vsize=915744 CPUtime=0.22
/proc/4915/task/4921/stat : 4921 (java) S 4913 4915 4191 0 -1 64 440 0 0 0 22 0 0 0 16 0 8 0 270282514 937721856 26519 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4915/tid=4922] ppid=4913 vsize=915744 CPUtime=0
/proc/4915/task/4922/stat : 4922 (java) S 4913 4915 4191 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270282514 937721856 26519 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4915/tid=4923] ppid=4913 vsize=915744 CPUtime=0
/proc/4915/task/4923/stat : 4923 (java) S 4913 4915 4191 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270282514 937721856 26519 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.28
Current children cumulated vsize (KiB) 915744

[startup+51.2584 s]
/proc/loadavg: 1.99 2.00 1.94 3/106 5078
/proc/meminfo: memFree=1196864/2055920 swapFree=4192812/4192956
[pid=4915] ppid=4913 vsize=915744 CPUtime=50.7
/proc/4915/stat : 4915 (java) R 4913 4915 4191 0 -1 0 29265 0 1 0 5033 37 0 0 25 0 8 0 270282505 937721856 28991 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073842356 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4915/statm: 228936 28991 2182 14 0 215406 0
[pid=4915/tid=4917] ppid=4913 vsize=915744 CPUtime=0.39
/proc/4915/task/4917/stat : 4917 (java) S 4913 4915 4191 0 -1 64 12591 0 0 0 34 5 0 0 16 0 8 0 270282510 937721856 28991 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4915/tid=4918] ppid=4913 vsize=915744 CPUtime=0
/proc/4915/task/4918/stat : 4918 (java) S 4913 4915 4191 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 270282510 937721856 28991 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4915/tid=4919] ppid=4913 vsize=915744 CPUtime=0
/proc/4915/task/4919/stat : 4919 (java) S 4913 4915 4191 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270282510 937721856 28991 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4915/tid=4920] ppid=4913 vsize=915744 CPUtime=0
/proc/4915/task/4920/stat : 4920 (java) S 4913 4915 4191 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270282514 937721856 28991 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4915/tid=4921] ppid=4913 vsize=915744 CPUtime=0.24
/proc/4915/task/4921/stat : 4921 (java) S 4913 4915 4191 0 -1 64 449 0 0 0 24 0 0 0 16 0 8 0 270282514 937721856 28991 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4915/tid=4922] ppid=4913 vsize=915744 CPUtime=0
/proc/4915/task/4922/stat : 4922 (java) S 4913 4915 4191 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270282514 937721856 28991 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4915/tid=4923] ppid=4913 vsize=915744 CPUtime=0
/proc/4915/task/4923/stat : 4923 (java) S 4913 4915 4191 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270282514 937721856 28991 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.7
Current children cumulated vsize (KiB) 915744

[startup+102.503 s]
/proc/loadavg: 2.04 2.01 1.94 3/100 5100
/proc/meminfo: memFree=1120712/2055920 swapFree=4192812/4192956
[pid=4915] ppid=4913 vsize=915744 CPUtime=101.84
/proc/4915/stat : 4915 (java) R 4913 4915 4191 0 -1 0 39517 0 1 0 10126 58 0 0 25 0 8 0 270282505 937721856 39178 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074024191 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4915/statm: 228936 39178 2501 14 0 215406 0
[pid=4915/tid=4917] ppid=4913 vsize=915744 CPUtime=1.19
/proc/4915/task/4917/stat : 4917 (java) S 4913 4915 4191 0 -1 64 22460 0 0 0 110 9 0 0 16 0 8 0 270282510 937721856 39178 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4915/tid=4918] ppid=4913 vsize=915744 CPUtime=0
/proc/4915/task/4918/stat : 4918 (java) S 4913 4915 4191 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270282510 937721856 39178 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4915/tid=4919] ppid=4913 vsize=915744 CPUtime=0
/proc/4915/task/4919/stat : 4919 (java) S 4913 4915 4191 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270282510 937721856 39178 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4915/tid=4920] ppid=4913 vsize=915744 CPUtime=0
/proc/4915/task/4920/stat : 4920 (java) S 4913 4915 4191 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270282514 937721856 39178 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4915/tid=4921] ppid=4913 vsize=915744 CPUtime=0.31
/proc/4915/task/4921/stat : 4921 (java) S 4913 4915 4191 0 -1 64 478 0 0 0 30 1 0 0 16 0 8 0 270282514 937721856 39178 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4915/tid=4922] ppid=4913 vsize=915744 CPUtime=0
/proc/4915/task/4922/stat : 4922 (java) S 4913 4915 4191 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270282514 937721856 39178 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4915/tid=4923] ppid=4913 vsize=915744 CPUtime=0
/proc/4915/task/4923/stat : 4923 (java) S 4913 4915 4191 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270282514 937721856 39178 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.84
Current children cumulated vsize (KiB) 915744

[startup+162.503 s]
/proc/loadavg: 2.01 2.01 1.94 3/100 5100
/proc/meminfo: memFree=1120648/2055920 swapFree=4192812/4192956
[pid=4915] ppid=4913 vsize=915744 CPUtime=161.74
/proc/4915/stat : 4915 (java) R 4913 4915 4191 0 -1 0 39519 0 1 0 16110 64 0 0 25 0 8 0 270282505 937721856 39180 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073470035 0 4 0 23759 18446744073709551615 0 0 17 0 0 0

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

Current children cumulated CPU time (s) 2020.2
Current children cumulated vsize (KiB) 915984

[startup+2083.03 s]
/proc/loadavg: 2.00 2.00 1.99 3/100 5102
/proc/meminfo: memFree=986760/2055920 swapFree=4192812/4192956
[pid=4915] ppid=4913 vsize=915984 CPUtime=2080.16
/proc/4915/stat : 4915 (java) R 4913 4915 4191 0 -1 0 68619 0 1 0 207897 119 0 0 25 0 8 0 270282505 937967616 68264 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074134730 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4915/statm: 228996 68264 2548 14 0 215466 0
[pid=4915/tid=4917] ppid=4913 vsize=915984 CPUtime=1.52
/proc/4915/task/4917/stat : 4917 (java) S 4913 4915 4191 0 -1 64 51318 0 0 0 133 19 0 0 16 0 8 0 270282510 937967616 68264 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4915/tid=4918] ppid=4913 vsize=915984 CPUtime=0
/proc/4915/task/4918/stat : 4918 (java) S 4913 4915 4191 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 270282510 937967616 68264 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4915/tid=4919] ppid=4913 vsize=915984 CPUtime=0
/proc/4915/task/4919/stat : 4919 (java) S 4913 4915 4191 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270282510 937967616 68264 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4915/tid=4920] ppid=4913 vsize=915984 CPUtime=0
/proc/4915/task/4920/stat : 4920 (java) S 4913 4915 4191 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270282514 937967616 68264 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4915/tid=4921] ppid=4913 vsize=915984 CPUtime=0.43
/proc/4915/task/4921/stat : 4921 (java) S 4913 4915 4191 0 -1 64 609 0 0 0 41 2 0 0 16 0 8 0 270282514 937967616 68264 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4915/tid=4922] ppid=4913 vsize=915984 CPUtime=0
/proc/4915/task/4922/stat : 4922 (java) S 4913 4915 4191 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270282514 937967616 68264 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4915/tid=4923] ppid=4913 vsize=915984 CPUtime=0
/proc/4915/task/4923/stat : 4923 (java) S 4913 4915 4191 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270282514 937967616 68264 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2080.16
Current children cumulated vsize (KiB) 915984

[startup+2143.04 s]
/proc/loadavg: 2.07 2.02 2.00 3/100 5102
/proc/meminfo: memFree=986760/2055920 swapFree=4192812/4192956
[pid=4915] ppid=4913 vsize=915984 CPUtime=2140.1
/proc/4915/stat : 4915 (java) R 4913 4915 4191 0 -1 0 68619 0 1 0 213891 119 0 0 25 0 8 0 270282505 937967616 68264 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074013431 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4915/statm: 228996 68264 2548 14 0 215466 0
[pid=4915/tid=4917] ppid=4913 vsize=915984 CPUtime=1.52
/proc/4915/task/4917/stat : 4917 (java) S 4913 4915 4191 0 -1 64 51318 0 0 0 133 19 0 0 16 0 8 0 270282510 937967616 68264 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4915/tid=4918] ppid=4913 vsize=915984 CPUtime=0
/proc/4915/task/4918/stat : 4918 (java) S 4913 4915 4191 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 270282510 937967616 68264 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4915/tid=4919] ppid=4913 vsize=915984 CPUtime=0
/proc/4915/task/4919/stat : 4919 (java) S 4913 4915 4191 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270282510 937967616 68264 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4915/tid=4920] ppid=4913 vsize=915984 CPUtime=0
/proc/4915/task/4920/stat : 4920 (java) S 4913 4915 4191 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270282514 937967616 68264 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4915/tid=4921] ppid=4913 vsize=915984 CPUtime=0.43
/proc/4915/task/4921/stat : 4921 (java) S 4913 4915 4191 0 -1 64 609 0 0 0 41 2 0 0 16 0 8 0 270282514 937967616 68264 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4915/tid=4922] ppid=4913 vsize=915984 CPUtime=0
/proc/4915/task/4922/stat : 4922 (java) S 4913 4915 4191 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270282514 937967616 68264 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4915/tid=4923] ppid=4913 vsize=915984 CPUtime=0
/proc/4915/task/4923/stat : 4923 (java) S 4913 4915 4191 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270282514 937967616 68264 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2140.1
Current children cumulated vsize (KiB) 915984

[startup+2203.12 s]
/proc/loadavg: 2.02 2.01 2.00 3/100 5102
/proc/meminfo: memFree=986760/2055920 swapFree=4192812/4192956
[pid=4915] ppid=4913 vsize=915984 CPUtime=2200.11
/proc/4915/stat : 4915 (java) R 4913 4915 4191 0 -1 0 68619 0 1 0 219892 119 0 0 25 0 8 0 270282505 937967616 68264 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074294946 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4915/statm: 228996 68264 2548 14 0 215466 0
[pid=4915/tid=4917] ppid=4913 vsize=915984 CPUtime=1.52
/proc/4915/task/4917/stat : 4917 (java) S 4913 4915 4191 0 -1 64 51318 0 0 0 133 19 0 0 16 0 8 0 270282510 937967616 68264 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4915/tid=4918] ppid=4913 vsize=915984 CPUtime=0
/proc/4915/task/4918/stat : 4918 (java) S 4913 4915 4191 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 270282510 937967616 68264 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4915/tid=4919] ppid=4913 vsize=915984 CPUtime=0
/proc/4915/task/4919/stat : 4919 (java) S 4913 4915 4191 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270282510 937967616 68264 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4915/tid=4920] ppid=4913 vsize=915984 CPUtime=0
/proc/4915/task/4920/stat : 4920 (java) S 4913 4915 4191 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270282514 937967616 68264 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4915/tid=4921] ppid=4913 vsize=915984 CPUtime=0.43
/proc/4915/task/4921/stat : 4921 (java) S 4913 4915 4191 0 -1 64 609 0 0 0 41 2 0 0 16 0 8 0 270282514 937967616 68264 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4915/tid=4922] ppid=4913 vsize=915984 CPUtime=0
/proc/4915/task/4922/stat : 4922 (java) S 4913 4915 4191 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270282514 937967616 68264 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4915/tid=4923] ppid=4913 vsize=915984 CPUtime=0
/proc/4915/task/4923/stat : 4923 (java) S 4913 4915 4191 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270282514 937967616 68264 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2200.11
Current children cumulated vsize (KiB) 915984

[startup+2263.13 s]
/proc/loadavg: 2.01 2.00 2.00 3/100 5102
/proc/meminfo: memFree=986696/2055920 swapFree=4192812/4192956
[pid=4915] ppid=4913 vsize=915984 CPUtime=2260.07
/proc/4915/stat : 4915 (java) R 4913 4915 4191 0 -1 0 68619 0 1 0 225888 119 0 0 25 0 8 0 270282505 937967616 68264 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074013451 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4915/statm: 228996 68264 2548 14 0 215466 0
[pid=4915/tid=4917] ppid=4913 vsize=915984 CPUtime=1.52
/proc/4915/task/4917/stat : 4917 (java) S 4913 4915 4191 0 -1 64 51318 0 0 0 133 19 0 0 16 0 8 0 270282510 937967616 68264 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4915/tid=4918] ppid=4913 vsize=915984 CPUtime=0
/proc/4915/task/4918/stat : 4918 (java) S 4913 4915 4191 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 270282510 937967616 68264 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4915/tid=4919] ppid=4913 vsize=915984 CPUtime=0
/proc/4915/task/4919/stat : 4919 (java) S 4913 4915 4191 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270282510 937967616 68264 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4915/tid=4920] ppid=4913 vsize=915984 CPUtime=0
/proc/4915/task/4920/stat : 4920 (java) S 4913 4915 4191 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270282514 937967616 68264 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4915/tid=4921] ppid=4913 vsize=915984 CPUtime=0.43
/proc/4915/task/4921/stat : 4921 (java) S 4913 4915 4191 0 -1 64 609 0 0 0 41 2 0 0 16 0 8 0 270282514 937967616 68264 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4915/tid=4922] ppid=4913 vsize=915984 CPUtime=0
/proc/4915/task/4922/stat : 4922 (java) S 4913 4915 4191 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270282514 937967616 68264 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4915/tid=4923] ppid=4913 vsize=915984 CPUtime=0
/proc/4915/task/4923/stat : 4923 (java) S 4913 4915 4191 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270282514 937967616 68264 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2260.07
Current children cumulated vsize (KiB) 915984

[startup+2323.13 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 5102
/proc/meminfo: memFree=986696/2055920 swapFree=4192812/4192956
[pid=4915] ppid=4913 vsize=915984 CPUtime=2320.01
/proc/4915/stat : 4915 (java) R 4913 4915 4191 0 -1 0 68620 0 1 0 231882 119 0 0 25 0 8 0 270282505 937967616 68264 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074366897 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4915/statm: 228996 68264 2548 14 0 215466 0
[pid=4915/tid=4917] ppid=4913 vsize=915984 CPUtime=1.52
/proc/4915/task/4917/stat : 4917 (java) S 4913 4915 4191 0 -1 64 51318 0 0 0 133 19 0 0 16 0 8 0 270282510 937967616 68264 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4915/tid=4918] ppid=4913 vsize=915984 CPUtime=0
/proc/4915/task/4918/stat : 4918 (java) S 4913 4915 4191 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 270282510 937967616 68264 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4915/tid=4919] ppid=4913 vsize=915984 CPUtime=0
/proc/4915/task/4919/stat : 4919 (java) S 4913 4915 4191 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270282510 937967616 68264 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4915/tid=4920] ppid=4913 vsize=915984 CPUtime=0
/proc/4915/task/4920/stat : 4920 (java) S 4913 4915 4191 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270282514 937967616 68264 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4915/tid=4921] ppid=4913 vsize=915984 CPUtime=0.43
/proc/4915/task/4921/stat : 4921 (java) S 4913 4915 4191 0 -1 64 610 0 0 0 41 2 0 0 16 0 8 0 270282514 937967616 68264 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4915/tid=4922] ppid=4913 vsize=915984 CPUtime=0
/proc/4915/task/4922/stat : 4922 (java) S 4913 4915 4191 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270282514 937967616 68264 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4915/tid=4923] ppid=4913 vsize=915984 CPUtime=0
/proc/4915/task/4923/stat : 4923 (java) S 4913 4915 4191 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270282514 937967616 68264 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2320.01
Current children cumulated vsize (KiB) 915984

[startup+2383.14 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 5102
/proc/meminfo: memFree=986696/2055920 swapFree=4192812/4192956
[pid=4915] ppid=4913 vsize=915984 CPUtime=2379.94
/proc/4915/stat : 4915 (java) R 4913 4915 4191 0 -1 0 68620 0 1 0 237875 119 0 0 25 0 8 0 270282505 937967616 68264 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074320114 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4915/statm: 228996 68264 2548 14 0 215466 0
[pid=4915/tid=4917] ppid=4913 vsize=915984 CPUtime=1.52
/proc/4915/task/4917/stat : 4917 (java) S 4913 4915 4191 0 -1 64 51318 0 0 0 133 19 0 0 16 0 8 0 270282510 937967616 68264 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4915/tid=4918] ppid=4913 vsize=915984 CPUtime=0
/proc/4915/task/4918/stat : 4918 (java) S 4913 4915 4191 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 270282510 937967616 68264 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4915/tid=4919] ppid=4913 vsize=915984 CPUtime=0
/proc/4915/task/4919/stat : 4919 (java) S 4913 4915 4191 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270282510 937967616 68264 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4915/tid=4920] ppid=4913 vsize=915984 CPUtime=0
/proc/4915/task/4920/stat : 4920 (java) S 4913 4915 4191 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270282514 937967616 68264 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4915/tid=4921] ppid=4913 vsize=915984 CPUtime=0.43
/proc/4915/task/4921/stat : 4921 (java) S 4913 4915 4191 0 -1 64 610 0 0 0 41 2 0 0 16 0 8 0 270282514 937967616 68264 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4915/tid=4922] ppid=4913 vsize=915984 CPUtime=0
/proc/4915/task/4922/stat : 4922 (java) S 4913 4915 4191 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270282514 937967616 68264 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4915/tid=4923] ppid=4913 vsize=915984 CPUtime=0
/proc/4915/task/4923/stat : 4923 (java) S 4913 4915 4191 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270282514 937967616 68264 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2379.94
Current children cumulated vsize (KiB) 915984



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2403.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 5102
/proc/meminfo: memFree=986696/2055920 swapFree=4192812/4192956
[pid=4915] ppid=4913 vsize=915984 CPUtime=2400.1
/proc/4915/stat : 4915 (java) R 4913 4915 4191 0 -1 0 68620 0 1 0 239891 119 0 0 25 0 8 0 270282505 937967616 68264 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074310663 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4915/statm: 228996 68264 2548 14 0 215466 0
[pid=4915/tid=4917] ppid=4913 vsize=915984 CPUtime=1.52
/proc/4915/task/4917/stat : 4917 (java) S 4913 4915 4191 0 -1 64 51318 0 0 0 133 19 0 0 16 0 8 0 270282510 937967616 68264 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4915/tid=4918] ppid=4913 vsize=915984 CPUtime=0
/proc/4915/task/4918/stat : 4918 (java) S 4913 4915 4191 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 270282510 937967616 68264 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4915/tid=4919] ppid=4913 vsize=915984 CPUtime=0
/proc/4915/task/4919/stat : 4919 (java) S 4913 4915 4191 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270282510 937967616 68264 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4915/tid=4920] ppid=4913 vsize=915984 CPUtime=0
/proc/4915/task/4920/stat : 4920 (java) S 4913 4915 4191 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270282514 937967616 68264 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4915/tid=4921] ppid=4913 vsize=915984 CPUtime=0.43
/proc/4915/task/4921/stat : 4921 (java) S 4913 4915 4191 0 -1 64 610 0 0 0 41 2 0 0 16 0 8 0 270282514 937967616 68264 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4915/tid=4922] ppid=4913 vsize=915984 CPUtime=0
/proc/4915/task/4922/stat : 4922 (java) S 4913 4915 4191 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270282514 937967616 68264 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4915/tid=4923] ppid=4913 vsize=915984 CPUtime=0
/proc/4915/task/4923/stat : 4923 (java) S 4913 4915 4191 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270282514 937967616 68264 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2400.1
Current children cumulated vsize (KiB) 915984

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

Child status: 143
Real time (s): 2403.36
CPU time (s): 2400.17
CPU user time (s): 2398.93
CPU system time (s): 1.23881
CPU usage (%): 99.8671
Max. virtual memory (cumulated for all children) (KiB): 915996

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2398.93
system time used= 1.23881
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 68646
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 50511
involuntary context switches= 77031

runsolver used 3.20651 s user time and 7.67683 s system time

The end

Launcher Data (download as text)

Begin job on node17 on Fri Jan 19 15:01:17 UTC 2007


IDJOB= 275244
IDBENCH= 3735
IDSOLVER= 69
FILE ID= node17/275244-1169218877

PBS_JOBID= 3588907

Free space on /tmp= 66555 MiB

SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/fapp/fapp11-15/fapp14/fapp14-2500-3.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/275244-1169218877/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node17/watcher-275244-1169218877 -o ROOT/results/node17/solver-275244-1169218877 -C 2400 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/275244-1169218877/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  4617dd65e04376af0f17b07f3d79e34a

RANDOM SEED= 967609153

TIME LIMIT= 2400 seconds

MEMORY LIMIT= 900 MiB


/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.236
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.236
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1097480 kB
Buffers:         44180 kB
Cached:         475748 kB
SwapCached:          0 kB
Active:         526756 kB
Inactive:       355684 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1097480 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            7408 kB
Writeback:           0 kB
Mapped:         383084 kB
Slab:            59792 kB
Committed_AS:  7972272 kB
PageTables:       3096 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66551 MiB



End job on node17 on Fri Jan 19 15:41:21 UTC 2007