Trace number 275238

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.27 2408.07

General information on the benchmark

Namefapp/fapp11-15/fapp14/
fapp14-2500-0.xml
MD5SUM48c22b4658f7e95cf77401e5a2d21209
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkMSAT TO
Best Number of satisfied constraints37041
Best CPU time to get the best result obtained on this benchmark2400.27
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.31	   
0.31	Abscon 109 (November, 2006)
0.31	   
0.31	   configuration
0.31	     name=pfc.xml
0.34	   
0.34	   instance
0.34	     name=/tmp/evaluation/275238-1169218859/unknown.xml
0.37	   
0.37	   domains being loaded...
0.41	   
0.41	   variables being loaded...
0.71	     nbVariables=2500  nbDomainTypes=30  minDomainSize=42  maxDomainSize=362
0.71	       =>  wckTime=0.399  cpuTime=0.31  mem=35M204
0.71	   
0.71	   predicates being loaded...
0.71	   
0.71	   constraints being loaded...
61.62	   
61.62	   INFO : Stopping converting binary constraints (cpu=60.01, mem = 54M274)
64.01	     nbConstraints=40767  nbConvertedConstraints=4554  nbConvertConstraintsChecks=185046708  nbExtensionStructures=2303
64.01	     nbSharedExtensionStructures=2251  nbConflictsStructures=2303  nbSharedConflictsStructures=2251
64.01	     nbSharedBinaryRepresentations=1245985  nbEvaluationManagers=10411  nbSharedEvaluationManagers=25802  maxDegree=52
64.01	     maxArity=2
64.01	       =>  wckTime=63.694  cpuTime=61.91  mem=89M693
64.38	   
64.38	   solver LocalSearchSolver being built... 
64.42	       =>  wckTime=64.113  cpuTime=61.97  mem=84M467
64.66	
64.66	s SATISFIABLE
64.66	o 30598
64.66	c 10169
64.80	o 30607
64.80	c 10160
64.89	o 30613
64.89	c 10154
64.97	o 30627
64.97	c 10140
65.04	o 30637
65.04	c 10130
65.14	o 30640
65.14	c 10127
65.20	o 30649
65.20	c 10118
65.27	o 30656
65.27	c 10111
65.31	o 30662
65.31	c 10105
65.37	o 30668
65.37	c 10099
65.43	o 30673
65.43	c 10094
65.47	o 30678
65.47	c 10089
65.53	o 30683
65.53	c 10084
65.56	o 30687
65.56	c 10080
65.61	o 30691
65.61	c 10076
65.63	o 30694
65.63	c 10073
65.67	o 30697
65.67	c 10070
65.69	o 30700
65.69	c 10067
65.72	o 30703
65.72	c 10064
65.76	o 30709
65.76	c 10058
65.80	o 30710
65.80	c 10057
65.85	o 30717
65.85	c 10050
65.88	o 30726
65.88	c 10041
65.95	o 30736
65.95	c 10031
66.00	o 30744
66.00	c 10023
66.07	o 30752
66.07	c 10015
66.13	o 30759
66.13	c 10008
66.20	o 30766
66.20	c 10001
66.25	o 30773
66.25	c 9994
66.29	o 30779
66.29	c 9988
66.34	o 30785
66.34	c 9982
66.40	o 30790
66.40	c 9977
66.46	o 30795
66.46	c 9972
66.51	o 30800
66.51	c 9967
66.57	o 30804
66.57	c 9963
66.61	o 30808
66.61	c 9959
66.65	o 30812
66.65	c 9955
66.70	o 30814
66.70	c 9953
66.74	o 30816
66.74	c 9951
66.77	o 30817
66.77	c 9950
66.81	o 30818
66.81	c 9949
66.84	o 30819
66.84	c 9948
66.87	o 30820
66.87	c 9947
66.96	o 30825
66.96	c 9942
67.00	o 30826
67.00	c 9941
67.08	o 30829
67.08	c 9938
67.15	o 30837
67.15	c 9930
67.22	o 30845
67.22	c 9922
67.30	o 30852
67.30	c 9915
67.36	o 30859
67.36	c 9908
67.44	o 30865
67.44	c 9902
67.50	o 30870
67.50	c 9897
67.57	o 30875
67.57	c 9892
67.64	o 30880
67.64	c 9887
67.69	o 30885
67.69	c 9882
67.75	o 30889
67.75	c 9878
67.80	o 30893
67.80	c 9874
67.86	o 30896
67.86	c 9871
67.92	o 30899
67.92	c 9868
67.98	o 30902
67.98	c 9865
68.03	o 30905
68.03	c 9862
68.09	o 30908
68.09	c 9859
68.16	o 30911
68.16	c 9856
68.20	o 30914
68.20	c 9853
68.26	o 30916
68.26	c 9851
68.30	o 30928
68.30	c 9839
68.36	o 30930
68.36	c 9837
68.41	o 30932
68.41	c 9835
68.46	o 30935
68.46	c 9832
68.49	o 30936
68.49	c 9831
68.61	o 30940
68.61	c 9827
68.66	o 30948
68.66	c 9819
68.71	o 30953
68.71	c 9814
68.73	o 30962
68.73	c 9805
68.79	o 30968
68.79	c 9799
68.84	o 30975
68.84	c 9792
68.90	o 30977
68.90	c 9790
68.94	o 30980
68.94	c 9787
68.98	o 30981
68.98	c 9786
69.02	o 30982
69.02	c 9785
69.07	o 30991
69.07	c 9776
69.15	o 31002
69.15	c 9765
69.23	o 31004
69.23	c 9763
69.32	o 31011
69.32	c 9756
69.43	o 31013
69.43	c 9754
69.51	o 31014
69.51	c 9753
69.61	o 31021
69.61	c 9746
69.70	o 31023
69.70	c 9744
69.80	o 31029
69.80	c 9738
69.89	o 31035
69.89	c 9732
69.99	o 31041
69.99	c 9726
70.08	o 31046
70.08	c 9721
70.15	o 31051
70.15	c 9716
70.24	o 31056
70.24	c 9711
70.32	o 31060
70.32	c 9707
70.40	o 31064
70.40	c 9703
70.49	o 31068
70.49	c 9699
70.56	o 31074
70.56	c 9693
70.63	o 31078
70.63	c 9689
70.69	o 31082
70.69	c 9685
70.76	o 31086
70.76	c 9681
70.82	o 31089
70.82	c 9678
70.88	o 31092
70.88	c 9675
70.93	o 31095
70.93	c 9672
70.98	o 31098
70.98	c 9669
71.04	o 31101
71.04	c 9666
71.09	o 31104
71.09	c 9663
71.14	o 31106
71.14	c 9661
71.19	o 31108
71.19	c 9659
71.23	o 31109
71.23	c 9658
71.27	o 31111
71.27	c 9656
71.31	o 31112
71.31	c 9655
71.35	o 31113
71.35	c 9654
71.52	o 31114
71.52	c 9653
71.58	o 31123
71.58	c 9644
71.62	o 31132
71.62	c 9635
71.64	o 31135
71.64	c 9632
71.67	o 31137
71.67	c 9630
71.71	o 31146
71.72	c 9621
71.75	o 31150
71.75	c 9617
71.78	o 31157
71.78	c 9610
71.82	o 31162
71.82	c 9605
71.85	o 31163
71.85	c 9604
71.89	o 31166
71.89	c 9601
71.93	o 31168
71.93	c 9599
71.94	o 31169
71.94	c 9598
71.99	o 31170
71.99	c 9597
72.03	o 31173
72.03	c 9594
72.07	o 31174
72.07	c 9593
72.13	o 31181
72.13	c 9586
72.18	o 31184
72.18	c 9583
72.26	o 31190
72.26	c 9577
72.37	o 31200
72.37	c 9567
72.47	o 31209
72.47	c 9558
72.58	o 31216
72.58	c 9551
72.69	o 31223
72.69	c 9544
72.80	o 31230
72.80	c 9537
72.93	o 31236
72.93	c 9531
73.04	o 31242
73.04	c 9525
73.15	o 31248
73.15	c 9519
73.26	o 31255
73.26	c 9512
73.36	o 31261
73.36	c 9506
73.46	o 31267
73.46	c 9500
73.56	o 31272
73.56	c 9495
73.66	o 31277
73.66	c 9490
73.75	o 31282
73.75	c 9485
73.84	o 31287
73.84	c 9480
73.94	o 31292
73.95	c 9475
74.03	o 31296
74.03	c 9471
74.10	o 31297
74.10	c 9470
74.19	o 31301
74.19	c 9466
74.30	o 31305
74.30	c 9462
74.38	o 31309
74.38	c 9458
74.47	o 31316
74.47	c 9451
74.55	o 31321
74.55	c 9446
74.63	o 31325
74.63	c 9442
74.70	o 31329
74.70	c 9438
74.78	o 31333
74.78	c 9434
74.86	o 31337
74.86	c 9430
74.93	o 31341
74.93	c 9426
74.99	o 31344
74.99	c 9423
75.05	o 31352
75.05	c 9415
75.11	o 31355
75.11	c 9412
75.19	o 31358
75.19	c 9409
75.25	o 31361
75.25	c 9406
75.32	o 31364
75.32	c 9403
75.37	o 31367
75.37	c 9400
75.41	o 31369
75.41	c 9398
75.49	o 31371
75.49	c 9396
75.54	o 31373
75.54	c 9394
75.60	o 31375
75.60	c 9392
75.66	o 31377
75.66	c 9390
75.73	o 31379
75.73	c 9388
75.78	o 31380
75.78	c 9387
75.82	o 31381
75.82	c 9386
75.99	o 31384
75.99	c 9383
76.04	o 31385
76.04	c 9382
76.11	o 31394
76.11	c 9373
76.18	o 31397
76.18	c 9370
76.23	o 31402
76.23	c 9365
76.27	o 31403
76.27	c 9364
76.34	o 31408
76.34	c 9359
76.38	o 31412
76.38	c 9355
76.43	o 31414
76.43	c 9353
76.48	o 31418
76.48	c 9349
76.53	o 31419
76.53	c 9348
76.58	o 31422
76.58	c 9345
76.63	o 31426
76.63	c 9341
76.69	o 31431
76.69	c 9336
76.74	o 31434
76.74	c 9333
76.79	o 31437
76.79	c 9330
76.84	o 31439
76.84	c 9328
76.88	o 31445
76.88	c 9322
76.92	o 31449
76.92	c 9318
76.97	o 31454
76.97	c 9313
77.01	o 31455
77.01	c 9312
77.06	o 31464
77.06	c 9303
77.12	o 31468
77.12	c 9299
77.20	o 31470
77.20	c 9297
77.26	o 31473
77.26	c 9294
77.31	o 31476
77.31	c 9291
77.36	o 31484
77.36	c 9283
77.42	o 31490
77.42	c 9277
77.50	o 31497
77.50	c 9270
77.56	o 31500
77.56	c 9267
77.61	o 31504
77.61	c 9263
77.68	o 31508
77.68	c 9259
77.74	o 31510
77.74	c 9257
77.82	o 31512
77.82	c 9255
77.88	o 31515
77.88	c 9252
77.94	o 31517
77.94	c 9250
78.01	o 31523
78.01	c 9244
78.07	o 31527
78.07	c 9240
78.14	o 31528
78.14	c 9239
78.20	o 31531
78.20	c 9236
78.28	o 31534
78.28	c 9233
78.40	o 31541
78.40	c 9226
78.54	o 31545
78.54	c 9222
78.61	o 31550
78.61	c 9217
78.67	o 31556
78.67	c 9211
78.82	o 31560
78.82	c 9207
78.89	o 31562
78.89	c 9205
78.96	o 31565
78.96	c 9202
79.07	o 31576
79.07	c 9191
79.15	o 31578
79.15	c 9189
79.25	o 31580
79.25	c 9187
79.46	o 31589
79.46	c 9178
79.56	o 31597
79.56	c 9170
79.67	o 31604
79.67	c 9163
79.79	o 31610
79.79	c 9157
79.90	o 31616
79.90	c 9151
80.02	o 31622
80.02	c 9145
80.13	o 31627
80.13	c 9140
80.25	o 31632
80.25	c 9135
80.35	o 31637
80.35	c 9130
80.46	o 31641
80.46	c 9126
80.59	o 31645
80.59	c 9122
80.69	o 31653
80.69	c 9114
80.80	o 31659
80.80	c 9108
80.90	o 31665
80.90	c 9102
81.00	o 31670
81.00	c 9097
81.11	o 31674
81.11	c 9093
81.20	o 31678
81.20	c 9089
81.31	o 31681
81.31	c 9086
81.42	o 31684
81.42	c 9083
81.53	o 31687
81.53	c 9080
81.63	o 31690
81.63	c 9077
81.73	o 31698
81.73	c 9069
81.82	o 31701
81.82	c 9066
81.93	o 31706
81.93	c 9061
82.03	o 31711
82.03	c 9056
82.12	o 31713
82.12	c 9054
82.23	o 31715
82.23	c 9052
82.33	o 31717
82.33	c 9050
82.43	o 31719
82.43	c 9048
82.53	o 31721
82.53	c 9046
82.63	o 31723
82.63	c 9044
82.72	o 31724
82.72	c 9043
82.82	o 31725
82.82	c 9042
83.44	o 31726
83.44	c 9041
83.70	o 31727
83.70	c 9040
83.76	o 31734
83.76	c 9033
83.83	o 31737
83.83	c 9030
83.89	o 31742
83.89	c 9025
83.94	o 31746
83.94	c 9021
83.99	o 31749
83.99	c 9018
84.05	o 31754
84.05	c 9013
84.09	o 31759
84.09	c 9008
84.14	o 31764
84.14	c 9003
84.19	o 31767
84.19	c 9000
84.24	o 31772
84.24	c 8995
84.31	o 31773
84.31	c 8994
84.42	o 31780
84.42	c 8987
84.49	o 31782
84.49	c 8985
84.54	o 31787
84.54	c 8980
84.62	o 31796
84.62	c 8971
84.68	o 31804
84.68	c 8963
84.75	o 31809
84.75	c 8958
84.81	o 31816
84.81	c 8951
84.93	o 31821
84.93	c 8946
84.98	o 31824
84.98	c 8943
85.05	o 31826
85.05	c 8941
85.10	o 31828
85.10	c 8939
85.16	o 31829
85.16	c 8938
85.21	o 31834
85.21	c 8933
85.28	o 31837
85.28	c 8930
85.37	o 31839
85.37	c 8928
85.43	o 31844
85.43	c 8923
85.49	o 31848
85.49	c 8919
85.56	o 31854
85.56	c 8913
85.62	o 31862
85.62	c 8905
85.70	o 31864
85.70	c 8903
85.75	o 31866
85.75	c 8901
85.83	o 31870
85.83	c 8897
85.89	o 31871
85.89	c 8896
85.95	o 31872
85.95	c 8895
86.02	o 31874
86.02	c 8893
86.12	o 31880
86.12	c 8887
86.21	o 31885
86.21	c 8882
86.30	o 31892
86.30	c 8875
86.38	o 31896
86.38	c 8871
86.57	o 31902
86.57	c 8865
86.66	o 31903
86.66	c 8864
86.74	o 31905
86.74	c 8862
86.84	o 31911
86.84	c 8856
86.92	o 31912
86.92	c 8855
87.01	o 31917
87.01	c 8850
87.21	o 31918
87.21	c 8849
87.34	o 31921
87.34	c 8846
87.45	o 31923
87.45	c 8844
87.56	o 31926
87.56	c 8841
87.65	o 31931
87.65	c 8836
87.76	o 31936
87.76	c 8831
87.86	o 31937
87.86	c 8830
88.03	o 31940
88.03	c 8827
88.14	o 31945
88.14	c 8822
88.23	o 31954
88.23	c 8813
88.35	o 31961
88.35	c 8806
88.48	o 31967
88.48	c 8800
88.58	o 31970
88.58	c 8797
88.70	o 31976
88.70	c 8791
88.77	o 31982
88.77	c 8785
88.89	o 31987
88.89	c 8780
89.00	o 31992
89.00	c 8775
89.10	o 31997
89.10	c 8770
89.20	o 32002
89.20	c 8765
89.30	o 32006
89.30	c 8761
89.40	o 32010
89.40	c 8757
89.52	o 32014
89.52	c 8753
89.62	o 32017
89.62	c 8750
89.72	o 32020
89.72	c 8747
89.83	o 32023
89.83	c 8744
89.94	o 32026
89.94	c 8741
90.04	o 32028
90.04	c 8739
90.13	o 32030
90.13	c 8737
90.23	o 32035
90.23	c 8732
90.32	o 32037
90.32	c 8730
90.42	o 32039
90.42	c 8728
90.51	o 32040
90.51	c 8727
90.58	o 32041
90.58	c 8726
90.67	o 32042
90.67	c 8725
90.74	o 32043
90.74	c 8724
91.06	o 32050
91.06	c 8717
91.24	o 32052
91.24	c 8715
91.32	o 32060
91.32	c 8707
91.49	o 32064
91.49	c 8703
91.57	o 32065
91.57	c 8702
91.64	o 32070
91.64	c 8697
91.72	o 32074
91.72	c 8693
91.82	o 32077
91.82	c 8690
91.92	o 32078
91.92	c 8689
92.03	o 32082
92.03	c 8685
92.10	o 32091
92.10	c 8676
92.19	o 32094
92.19	c 8673
92.29	o 32097
92.29	c 8670
92.40	o 32102
92.40	c 8665
92.58	o 32107
92.58	c 8660
92.67	o 32109
92.67	c 8658
92.74	o 32113
92.74	c 8654
92.85	o 32114
92.85	c 8653
92.93	o 32121
92.93	c 8646
93.11	o 32126
93.11	c 8641
93.29	o 32131
93.29	c 8636
93.61	o 32135
93.61	c 8632
93.72	o 32136
93.72	c 8631
93.81	o 32137
93.81	c 8630
94.29	o 32143
94.29	c 8624
94.41	o 32146
94.41	c 8621
94.54	o 32151
94.54	c 8616
94.68	o 32160
94.68	c 8607
94.80	o 32163
94.80	c 8604
94.92	o 32167
94.92	c 8600
95.05	o 32173
95.05	c 8594
95.19	o 32178
95.19	c 8589
95.44	o 32179
95.44	c 8588
95.55	o 32183
95.55	c 8584
95.68	o 32184
95.68	c 8583
95.79	o 32188
95.79	c 8579
95.92	o 32191
95.92	c 8576
96.19	o 32192
96.19	c 8575
96.32	o 32193
96.32	c 8574
96.45	o 32195
96.45	c 8572
96.60	o 32196
96.60	c 8571
96.86	o 32201
96.86	c 8566
97.00	o 32206
97.00	c 8561
97.13	o 32210
97.13	c 8557
97.26	o 32211
97.26	c 8556
97.40	o 32212
97.40	c 8555
97.52	o 32214
97.52	c 8553
97.64	o 32219
97.64	c 8548
97.77	o 32223
97.77	c 8544
97.89	o 32225
97.89	c 8542
98.03	o 32230
98.03	c 8537
98.16	o 32232
98.16	c 8535
98.29	o 32233
98.29	c 8534
98.41	o 32234
98.41	c 8533
98.54	o 32238
98.54	c 8529
98.69	o 32240
98.69	c 8527
98.82	o 32243
98.82	c 8524
98.94	o 32249
98.95	c 8518
99.07	o 32250
99.07	c 8517
99.19	o 32254
99.19	c 8513
99.32	o 32256
99.32	c 8511
99.45	o 32260
99.45	c 8507
99.57	o 32262
99.57	c 8505
99.69	o 32267
99.69	c 8500
99.80	o 32271
99.80	c 8496
99.91	o 32275
99.91	c 8492
100.02	o 32278
100.02	c 8489
100.25	o 32283
100.25	c 8484
100.34	o 32284
100.34	c 8483
100.47	o 32288
100.47	c 8479
100.60	o 32291
100.60	c 8476
100.70	o 32292
100.70	c 8475
100.84	o 32301
100.84	c 8466
100.97	o 32303
100.97	c 8464
101.11	o 32307
101.11	c 8460
101.24	o 32311
101.24	c 8456
101.38	o 32314
101.38	c 8453
101.51	o 32317
101.51	c 8450
101.63	o 32320
101.63	c 8447
101.77	o 32323
101.77	c 8444
101.90	o 32326
101.90	c 8441
102.03	o 32328
102.03	c 8439
102.16	o 32334
102.16	c 8433
102.27	o 32336
102.27	c 8431
102.41	o 32337
102.41	c 8430
102.54	o 32338
102.54	c 8429
102.76	o 32345
102.76	c 8422
102.96	o 32350
102.96	c 8417
103.27	o 32354
103.28	c 8413
103.37	o 32358
103.37	c 8409
103.56	o 32363
103.56	c 8404
103.66	o 32369
103.66	c 8398
103.77	o 32374
103.77	c 8393
103.96	o 32376
103.96	c 8391
104.06	o 32380
104.06	c 8387
104.19	o 32383
104.19	c 8384
104.38	o 32388
104.38	c 8379
104.47	o 32391
104.47	c 8376
104.57	o 32399
104.57	c 8368
104.66	o 32402
104.66	c 8365
104.76	o 32403
104.76	c 8364
104.86	o 32407
104.86	c 8360
104.96	o 32409
104.96	c 8358
105.08	o 32413
105.08	c 8354
105.18	o 32419
105.18	c 8348
105.38	o 32424
105.38	c 8343
105.48	o 32430
105.48	c 8337
105.58	o 32436
105.58	c 8331
105.70	o 32441
105.70	c 8326
105.80	o 32442
105.80	c 8325
105.90	o 32450
105.90	c 8317
106.01	o 32459
106.01	c 8308
106.11	o 32460
106.11	c 8307
106.21	o 32462
106.21	c 8305
106.31	o 32469
106.31	c 8298
106.64	o 32472
106.64	c 8295
106.74	o 32473
106.74	c 8294
106.85	o 32477
106.85	c 8290
106.95	o 32478
106.95	c 8289
107.03	o 32479
107.03	c 8288
107.11	o 32482
107.11	c 8285
107.23	o 32487
107.23	c 8280
107.33	o 32490
107.33	c 8277
107.45	o 32498
107.45	c 8269
107.54	o 32500
107.54	c 8267
107.65	o 32502
107.65	c 8265
107.88	o 32504
107.88	c 8263
107.98	o 32513
107.98	c 8254
108.09	o 32514
108.09	c 8253
108.20	o 32517
108.20	c 8250
108.32	o 32520
108.32	c 8247
108.42	o 32521
108.42	c 8246
108.54	o 32526
108.54	c 8241
108.66	o 32528
108.66	c 8239
108.81	o 32532
108.81	c 8235
108.92	o 32537
108.92	c 8230
109.03	o 32544
109.03	c 8223
109.16	o 32547
109.16	c 8220
109.27	o 32552
109.27	c 8215
109.41	o 32555
109.41	c 8212
109.56	o 32559
109.56	c 8208
109.80	o 32563
109.80	c 8204
109.96	o 32569
109.96	c 8198
110.09	o 32572
110.09	c 8195
110.21	o 32574
110.21	c 8193
110.76	o 32577
110.76	c 8190
110.90	o 32580
110.90	c 8187
111.05	o 32582
111.05	c 8185
111.18	o 32583
111.18	c 8184
111.34	o 32585
111.34	c 8182
111.51	o 32587
111.51	c 8180
111.65	o 32588
111.65	c 8179
111.78	o 32590
111.78	c 8177
111.91	o 32592
111.91	c 8175
112.25	o 32602
112.25	c 8165
112.38	o 32603
112.38	c 8164
112.56	o 32608
112.56	c 8159
112.70	o 32612
112.70	c 8155
112.86	o 32615
112.86	c 8152
113.02	o 32617
113.02	c 8150
113.20	o 32618
113.20	c 8149
113.39	o 32622
113.39	c 8145
113.73	o 32628
113.73	c 8139
113.90	o 32629
113.90	c 8138
114.06	o 32630
114.06	c 8137
114.22	o 32633
114.22	c 8134
114.39	o 32637
114.39	c 8130
114.71	o 32641
114.71	c 8126
115.17	o 32645
115.17	c 8122
115.50	o 32651
115.50	c 8116
115.67	o 32656
115.67	c 8111
115.82	o 32657
115.82	c 8110
116.00	o 32659
116.00	c 8108
116.16	o 32662
116.16	c 8105
116.31	o 32665
116.31	c 8102
116.49	o 32668
116.49	c 8099
116.83	o 32673
116.83	c 8094
117.17	o 32677
117.17	c 8090
117.34	o 32679
117.34	c 8088
117.51	o 32683
117.51	c 8084
117.68	o 32684
117.68	c 8083
117.84	o 32689
117.84	c 8078
118.37	o 32691
118.37	c 8076
118.54	o 32693
118.54	c 8074
118.71	o 32695
118.71	c 8072
118.87	o 32697
118.87	c 8070
119.20	o 32703
119.20	c 8064
119.36	o 32706
119.36	c 8061
119.53	o 32708
119.53	c 8059
119.86	o 32712
119.86	c 8055
120.05	o 32714
120.05	c 8053
120.41	o 32722
120.41	c 8045
120.59	o 32723
120.59	c 8044
120.76	o 32728
120.76	c 8039
120.92	o 32733
120.92	c 8034
121.10	o 32736
121.10	c 8031
121.33	o 32738
121.33	c 8029
121.50	o 32739
121.50	c 8028
121.67	o 32740
121.67	c 8027
121.85	o 32741
121.85	c 8026
122.03	o 32742
122.03	c 8025
122.55	o 32745
122.55	c 8022
122.73	o 32747
122.73	c 8020
122.89	o 32753
122.89	c 8014
123.05	o 32754
123.05	c 8013
123.39	o 32758
123.39	c 8009
123.58	o 32760
123.58	c 8007
123.76	o 32765
123.76	c 8002
123.94	o 32767
123.94	c 8000
124.28	o 32770
124.28	c 7997
124.47	o 32774
124.47	c 7993
124.65	o 32779
124.65	c 7988
125.15	o 32781
125.15	c 7986
125.32	o 32785
125.32	c 7982
125.67	o 32787
125.67	c 7980
125.83	o 32790
125.83	c 7977
126.34	o 32792
126.34	c 7975
126.48	o 32795
126.48	c 7972
126.65	o 32797
126.65	c 7970
126.81	o 32799
126.81	c 7968
126.97	o 32803
126.97	c 7964
127.10	o 32804
127.10	c 7963
127.28	o 32805
127.28	c 7962
127.45	o 32809
127.45	c 7958
127.60	o 32811
127.60	c 7956
127.76	o 32818
127.76	c 7949
127.90	o 32820
127.90	c 7947
128.06	o 32822
128.06	c 7945
128.24	o 32823
128.24	c 7944
128.40	o 32824
128.40	c 7943
128.56	o 32830
128.56	c 7937
128.71	o 32834
128.71	c 7933
129.02	o 32837
129.02	c 7930
129.19	o 32838
129.19	c 7929
129.36	o 32841
129.36	c 7926
129.52	o 32845
129.52	c 7922
129.68	o 32847
129.68	c 7920
129.85	o 32848
129.85	c 7919
130.03	o 32853
130.03	c 7914
130.22	o 32855
130.22	c 7912
130.41	o 32862
130.41	c 7905
130.59	o 32866
130.59	c 7901
130.79	o 32870
130.79	c 7897
130.97	o 32871
130.97	c 7896
131.14	o 32875
131.14	c 7892
131.32	o 32879
131.32	c 7888
131.74	o 32880
131.74	c 7887
131.93	o 32882
131.93	c 7885
132.11	o 32885
132.11	c 7882
132.29	o 32890
132.29	c 7877
132.46	o 32897
132.46	c 7870
132.65	o 32899
132.65	c 7868
132.84	o 32903
132.84	c 7864
133.01	o 32906
133.01	c 7861
133.19	o 32912
133.19	c 7855
133.36	o 32913
133.36	c 7854
133.53	o 32916
133.53	c 7851
133.72	o 32923
133.72	c 7844
133.91	o 32924
133.91	c 7843
134.27	o 32928
134.27	c 7839
134.67	o 32930
134.67	c 7837
134.88	o 32933
134.88	c 7834
135.08	o 32934
135.08	c 7833
135.28	o 32938
135.28	c 7829
135.47	o 32944
135.47	c 7823
135.66	o 32946
135.66	c 7821
135.85	o 32947
135.85	c 7820
136.05	o 32950
136.05	c 7817
136.23	o 32957
136.23	c 7810
136.43	o 32959
136.43	c 7808
136.61	o 32962
136.61	c 7805
136.80	o 32963
136.80	c 7804
136.98	o 32970
136.98	c 7797
137.18	o 32973
137.18	c 7794
137.36	o 32977
137.36	c 7790
137.55	o 32981
137.55	c 7786
137.93	o 32983
137.93	c 7784
138.13	o 32984
138.13	c 7783
138.33	o 32985
138.33	c 7782
138.52	o 32987
138.52	c 7780
138.73	o 32989
138.73	c 7778
138.92	o 32990
138.92	c 7777
139.10	o 32996
139.10	c 7771
139.30	o 33002
139.31	c 7765
139.51	o 33003
139.51	c 7764
139.68	o 33006
139.68	c 7761
139.86	o 33010
139.86	c 7757
140.03	o 33015
140.03	c 7752
140.38	o 33019
140.38	c 7748
140.57	o 33027
140.57	c 7740
140.91	o 33028
140.91	c 7739
141.08	o 33030
141.08	c 7737
141.25	o 33032
141.25	c 7735
141.61	o 33035
141.61	c 7732
141.79	o 33036
141.79	c 7731
141.95	o 33038
141.95	c 7729
142.13	o 33039
142.13	c 7728
142.30	o 33041
142.30	c 7726
142.48	o 33047
142.48	c 7720
142.65	o 33052
142.65	c 7715
142.82	o 33056
142.82	c 7711
143.00	o 33058
143.00	c 7709
143.16	o 33060
143.16	c 7707
143.32	o 33066
143.32	c 7701
143.50	o 33070
143.50	c 7697
143.68	o 33077
143.68	c 7690
144.05	o 33081
144.05	c 7686
144.22	o 33087
144.22	c 7680
145.05	o 33089
145.05	c 7678
145.22	o 33092
145.22	c 7675
145.39	o 33095
145.39	c 7672
145.54	o 33099
145.54	c 7668
145.71	o 33101
145.71	c 7666
146.07	o 33109
146.07	c 7658
146.24	o 33113
146.24	c 7654
146.62	o 33117
146.62	c 7650
146.98	o 33122
146.98	c 7645
147.15	o 33125
147.15	c 7642
147.35	o 33128
147.35	c 7639
147.52	o 33131
147.52	c 7636
147.71	o 33132
147.71	c 7635
147.89	o 33140
147.89	c 7627
148.08	o 33144
148.08	c 7623
148.28	o 33145
148.28	c 7622
148.46	o 33148
148.46	c 7619
148.82	o 33151
148.82	c 7616
148.98	o 33152
148.98	c 7615
149.18	o 33156
149.18	c 7611
149.37	o 33159
149.38	c 7608
149.57	o 33163
149.57	c 7604
149.77	o 33169
149.77	c 7598
149.99	o 33175
149.99	c 7592
150.22	o 33179
150.22	c 7588
150.42	o 33183
150.42	c 7584
150.63	o 33187
150.63	c 7580
150.84	o 33190
150.84	c 7577
151.04	o 33196
151.04	c 7571
151.25	o 33198
151.25	c 7569
151.46	o 33199
151.46	c 7568
151.66	o 33200
151.66	c 7567
151.87	o 33201
151.88	c 7566
152.07	o 33202
152.07	c 7565
152.28	o 33204
152.28	c 7563
153.30	o 33206
153.30	c 7561
153.49	o 33207
153.49	c 7560
153.70	o 33209
153.70	c 7558
154.09	o 33213
154.09	c 7554
154.28	o 33218
154.28	c 7549
154.46	o 33220
154.46	c 7547
154.64	o 33221
154.64	c 7546
154.81	o 33223
154.81	c 7544
155.02	o 33224
155.02	c 7543
155.24	o 33226
155.24	c 7541
155.43	o 33230
155.43	c 7537
155.63	o 33235
155.63	c 7532
156.05	o 33239
156.05	c 7528
156.24	o 33241
156.24	c 7526
156.44	o 33244
156.44	c 7523
156.65	o 33247
156.65	c 7520
156.84	o 33251
156.84	c 7516
157.04	o 33252
157.04	c 7515
157.25	o 33256
157.25	c 7511
157.47	o 33258
157.47	c 7509
157.67	o 33260
157.67	c 7507
157.87	o 33261
157.87	c 7506
158.48	o 33265
158.48	c 7502
158.71	o 33266
158.71	c 7501
158.93	o 33268
158.93	c 7499
159.14	o 33270
159.14	c 7497
159.59	o 33274
159.59	c 7493
160.03	o 33278
160.03	c 7489
160.45	o 33280
160.45	c 7487
160.69	o 33283
160.69	c 7484
160.90	o 33287
160.90	c 7480
161.14	o 33290
161.14	c 7477
161.53	o 33294
161.53	c 7473
161.74	o 33297
161.74	c 7470
161.95	o 33299
161.95	c 7468
162.17	o 33303
162.17	c 7464
162.37	o 33304
162.37	c 7463
162.58	o 33309
162.58	c 7458
162.78	o 33313
162.78	c 7454
162.97	o 33316
162.97	c 7451
163.19	o 33319
163.19	c 7448
163.59	o 33325
163.59	c 7442
163.78	o 33330
163.78	c 7437
163.97	o 33335
163.97	c 7432
164.17	o 33339
164.17	c 7428
164.37	o 33342
164.37	c 7425
164.74	o 33346
164.74	c 7421
164.94	o 33348
164.94	c 7419
165.14	o 33354
165.14	c 7413
165.32	o 33357
165.32	c 7410
165.53	o 33358
165.53	c 7409
165.71	o 33359
165.71	c 7408
165.91	o 33363
165.91	c 7404
166.11	o 33365
166.11	c 7402
166.30	o 33368
166.30	c 7399
166.71	o 33369
166.71	c 7398
166.88	o 33375
166.88	c 7392
167.29	o 33378
167.29	c 7389
167.50	o 33381
167.50	c 7386
167.70	o 33382
167.70	c 7385
167.91	o 33384
167.91	c 7383
168.11	o 33386
168.11	c 7381
168.30	o 33392
168.30	c 7375
168.69	o 33393
168.69	c 7374
169.32	o 33397
169.32	c 7370
169.51	o 33399
169.51	c 7368
169.71	o 33402
169.71	c 7365
170.34	o 33403
170.34	c 7364
170.54	o 33405
170.54	c 7362
170.74	o 33409
170.74	c 7358
170.94	o 33415
170.94	c 7352
171.37	o 33417
171.37	c 7350
171.57	o 33422
171.57	c 7345
171.75	o 33427
171.75	c 7340
171.94	o 33431
171.94	c 7336
172.14	o 33432
172.14	c 7335
172.53	o 33436
172.53	c 7331
172.96	o 33441
172.96	c 7326
173.17	o 33446
173.17	c 7321
173.39	o 33449
173.39	c 7318
174.17	o 33452
174.17	c 7315
174.37	o 33453
174.37	c 7314
174.57	o 33455
174.57	c 7312
174.77	o 33458
174.77	c 7309
174.96	o 33462
174.96	c 7305
175.14	o 33463
175.14	c 7304
175.32	o 33464
175.32	c 7303
175.52	o 33466
175.52	c 7301
175.73	o 33468
175.73	c 7299
175.91	o 33474
175.91	c 7293
176.10	o 33476
176.11	c 7291
176.92	o 33482
176.92	c 7285
177.12	o 33488
177.12	c 7279
177.35	o 33491
177.35	c 7276
177.56	o 33493
177.56	c 7274
177.78	o 33495
177.78	c 7272
178.21	o 33498
178.21	c 7269
178.43	o 33500
178.43	c 7267
178.62	o 33507
178.62	c 7260
179.52	o 33510
179.52	c 7257
179.76	o 33514
179.76	c 7253
180.24	o 33517
180.24	c 7250
180.48	o 33522
180.48	c 7245
180.69	o 33527
180.69	c 7240
180.93	o 33532
180.93	c 7235
181.42	o 33535
181.42	c 7232
181.66	o 33539
181.66	c 7228
181.90	o 33542
181.90	c 7225
182.15	o 33548
182.15	c 7219
182.38	o 33549
182.38	c 7218
182.64	o 33550
182.64	c 7217
182.87	o 33553
182.87	c 7214
183.11	o 33555
183.11	c 7212
184.05	o 33557
184.05	c 7210
184.54	o 33559
184.54	c 7208
184.78	o 33564
184.78	c 7203
185.03	o 33569
185.03	c 7198
185.28	o 33573
185.28	c 7194
185.52	o 33577
185.52	c 7190
185.78	o 33580
185.78	c 7187
186.06	o 33584
186.06	c 7183
186.33	o 33587
186.33	c 7180
186.54	o 33589
186.54	c 7178
186.79	o 33594
186.79	c 7173
187.05	o 33602
187.05	c 7165
187.31	o 33606
187.31	c 7161
187.55	o 33608
187.55	c 7159
188.07	o 33610
188.07	c 7157
188.33	o 33611
188.33	c 7156
188.59	o 33612
188.59	c 7155
188.82	o 33615
188.82	c 7152
190.26	o 33617
190.26	c 7150
190.51	o 33619
190.51	c 7148
190.76	o 33622
190.76	c 7145
190.98	o 33625
190.98	c 7142
191.24	o 33627
191.24	c 7140
191.72	o 33629
191.72	c 7138
192.21	o 33634
192.21	c 7133
192.44	o 33635
192.44	c 7132
192.94	o 33641
192.94	c 7126
193.18	o 33644
193.18	c 7123
193.43	o 33645
193.43	c 7122
193.69	o 33648
193.69	c 7119
193.94	o 33652
193.94	c 7115
194.19	o 33656
194.19	c 7111
194.44	o 33659
194.44	c 7108
194.97	o 33666
194.97	c 7101
195.22	o 33667
195.22	c 7100
195.97	o 33674
195.97	c 7093
196.23	o 33677
196.23	c 7090
196.49	o 33679
196.49	c 7088
196.72	o 33682
196.72	c 7085
196.96	o 33684
196.96	c 7083
197.20	o 33686
197.20	c 7081
197.65	o 33689
197.65	c 7078
197.89	o 33690
197.89	c 7077
198.12	o 33691
198.12	c 7076
198.37	o 33692
198.37	c 7075
198.60	o 33693
198.60	c 7074
199.55	o 33696
199.55	c 7071
200.00	o 33700
200.00	c 7067
200.21	o 33705
200.21	c 7062
200.45	o 33709
200.45	c 7058
200.69	o 33712
200.69	c 7055
200.92	o 33714
200.92	c 7053
201.15	o 33715
201.15	c 7052
201.38	o 33717
201.38	c 7050
201.61	o 33723
201.61	c 7044
201.84	o 33725
201.84	c 7042
202.09	o 33730
202.09	c 7037
202.31	o 33736
202.31	c 7031
202.55	o 33739
202.55	c 7028
202.80	o 33743
202.80	c 7024
203.02	o 33745
203.02	c 7022
203.24	o 33746
203.24	c 7021
203.45	o 33747
203.45	c 7020
203.69	o 33750
203.69	c 7017
204.57	o 33754
204.57	c 7013
204.79	o 33757
204.79	c 7010
205.03	o 33759
205.03	c 7008
205.27	o 33760
205.27	c 7007
205.51	o 33763
205.51	c 7004
205.74	o 33767
205.74	c 7000
206.00	o 33771
206.00	c 6996
206.71	o 33776
206.71	c 6991
206.95	o 33779
206.95	c 6988
207.18	o 33781
207.18	c 6986
207.43	o 33783
207.43	c 6984
208.19	o 33788
208.19	c 6979
208.46	o 33793
208.46	c 6974
208.70	o 33794
208.70	c 6973
208.93	o 33797
208.93	c 6970
209.18	o 33800
209.18	c 6967
209.41	o 33802
209.41	c 6965
209.64	o 33807
209.64	c 6960
210.14	o 33808
210.14	c 6959
210.39	o 33813
210.39	c 6954
210.62	o 33814
210.62	c 6953
210.90	o 33815
210.90	c 6952
211.41	o 33818
211.41	c 6949
211.89	o 33823
211.89	c 6944
212.38	o 33825
212.38	c 6942
212.62	o 33826
212.62	c 6941
212.86	o 33827
212.86	c 6940
213.10	o 33831
213.10	c 6936
213.33	o 33836
213.33	c 6931
213.60	o 33841
213.60	c 6926
213.85	o 33845
213.85	c 6922
215.07	o 33848
215.07	c 6919
215.30	o 33849
215.30	c 6918
215.54	o 33851
215.54	c 6916
215.79	o 33854
215.79	c 6913
216.03	o 33860
216.03	c 6907
216.27	o 33864
216.27	c 6903
216.76	o 33865
216.76	c 6902
217.48	o 33869
217.48	c 6898
217.72	o 33871
217.72	c 6896
218.21	o 33874
218.21	c 6893
218.44	o 33878
218.44	c 6889
218.93	o 33882
218.93	c 6885
219.19	o 33885
219.19	c 6882
219.66	o 33888
219.66	c 6879
219.91	o 33889
219.91	c 6878
220.15	o 33893
220.15	c 6874
220.41	o 33897
220.41	c 6870
220.69	o 33899
220.69	c 6868
220.94	o 33903
220.94	c 6864
222.76	o 33906
222.76	c 6861
223.86	o 33908
223.86	c 6859
224.42	o 33911
224.42	c 6856
224.68	o 33912
224.68	c 6855
224.95	o 33915
224.95	c 6852
225.21	o 33917
225.21	c 6850
225.48	o 33919
225.48	c 6848
225.76	o 33922
225.76	c 6845
226.04	o 33923
226.04	c 6844
226.31	o 33926
226.31	c 6841
226.58	o 33927
226.58	c 6840
226.85	o 33929
226.85	c 6838
227.15	o 33930
227.15	c 6837
227.41	o 33931
227.41	c 6836
227.68	o 33932
227.68	c 6835
227.96	o 33935
227.96	c 6832
228.26	o 33943
228.26	c 6824
228.81	o 33944
228.81	c 6823
229.10	o 33949
229.10	c 6818
229.38	o 33952
229.38	c 6815
229.96	o 33953
229.96	c 6814
230.22	o 33954
230.22	c 6813
230.48	o 33957
230.48	c 6810
230.72	o 33964
230.72	c 6803
230.99	o 33965
230.99	c 6802
231.26	o 33969
231.26	c 6798
231.53	o 33970
231.53	c 6797
231.80	o 33974
231.80	c 6793
232.08	o 33980
232.08	c 6787
232.91	o 33981
232.91	c 6786
233.47	o 33985
233.47	c 6782
233.74	o 33992
233.74	c 6775
233.99	o 33993
233.99	c 6774
234.51	o 33994
234.51	c 6773
235.06	o 33998
235.06	c 6769
235.32	o 34002
235.32	c 6765
235.60	o 34006
235.60	c 6761
235.87	o 34008
235.87	c 6759
236.13	o 34012
236.13	c 6755
236.41	o 34013
236.41	c 6754
236.71	o 34014
236.71	c 6753
237.01	o 34015
237.01	c 6752
237.27	o 34017
237.27	c 6750
237.53	o 34022
237.53	c 6745
238.10	o 34026
238.10	c 6741
238.37	o 34028
238.37	c 6739
238.66	o 34029
238.66	c 6738
240.66	o 34031
240.66	c 6736
240.94	o 34032
240.94	c 6735
241.22	o 34035
241.22	c 6732
241.51	o 34037
241.51	c 6730
241.78	o 34039
241.78	c 6728
242.30	o 34042
242.30	c 6725
242.88	o 34044
242.88	c 6723
243.14	o 34045
243.14	c 6722
244.45	o 34048
244.45	c 6719
244.97	o 34050
244.97	c 6717
245.23	o 34051
245.23	c 6716
245.50	o 34053
245.50	c 6714
246.34	o 34055
246.34	c 6712
246.89	o 34056
246.89	c 6711
247.15	o 34058
247.15	c 6709
248.53	o 34062
248.53	c 6705
248.83	o 34063
248.83	c 6704
249.41	o 34066
249.41	c 6701
249.96	o 34067
249.96	c 6700
250.25	o 34068
250.25	c 6699
250.52	o 34074
250.52	c 6693
250.78	o 34077
250.78	c 6690
251.05	o 34078
251.05	c 6689
251.32	o 34079
251.32	c 6688
251.61	o 34082
251.61	c 6685
251.91	o 34084
251.91	c 6683
252.50	o 34090
252.50	c 6677
252.78	o 34095
252.78	c 6672
253.88	o 34096
253.88	c 6671
254.16	o 34100
254.16	c 6667
254.43	o 34101
254.43	c 6666
254.98	o 34105
254.98	c 6662
255.26	o 34107
255.26	c 6660
256.09	o 34111
256.09	c 6656
256.94	o 34112
256.94	c 6655
257.81	o 34113
257.81	c 6654
258.33	o 34115
258.33	c 6652
258.60	o 34118
258.60	c 6649
258.87	o 34121
258.87	c 6646
259.42	o 34122
259.42	c 6645
259.70	o 34123
259.70	c 6644
260.26	o 34124
260.26	c 6643
260.53	o 34125
260.53	c 6642
260.79	o 34130
260.79	c 6637
261.06	o 34131
261.06	c 6636
261.34	o 34133
261.34	c 6634
261.61	o 34135
261.61	c 6632
261.88	o 34137
261.88	c 6630
262.14	o 34138
262.14	c 6629
262.42	o 34142
262.42	c 6625
262.70	o 34144
262.70	c 6623
264.07	o 34149
264.07	c 6618
264.64	o 34150
264.64	c 6617
264.94	o 34152
264.94	c 6615
265.21	o 34155
265.21	c 6612
265.76	o 34158
265.76	c 6609
266.34	o 34159
266.34	c 6608
266.86	o 34164
266.86	c 6603
270.57	o 34165
270.57	c 6602
270.84	o 34167
270.84	c 6600
271.10	o 34173
271.10	c 6594
271.34	o 34178
271.34	c 6589
271.60	o 34179
271.60	c 6588
271.87	o 34183
271.87	c 6584
272.13	o 34184
272.13	c 6583
272.38	o 34185
272.38	c 6582
272.89	o 34189
272.89	c 6578
273.15	o 34192
273.15	c 6575
273.66	o 34196
273.66	c 6571
273.90	o 34199
273.90	c 6568
274.16	o 34202
274.16	c 6565
274.43	o 34205
274.43	c 6562
274.94	o 34206
274.94	c 6561
275.19	o 34207
275.19	c 6560
275.47	o 34208
275.47	c 6559
276.04	o 34209
276.04	c 6558
276.31	o 34210
276.31	c 6557
276.62	o 34212
276.62	c 6555
276.90	o 34213
276.90	c 6554
277.45	o 34215
277.45	c 6552
277.73	o 34217
277.73	c 6550
278.01	o 34220
278.01	c 6547
278.28	o 34223
278.28	c 6544
278.54	o 34224
278.54	c 6543
278.84	o 34228
278.84	c 6539
279.36	o 34233
279.36	c 6534
280.19	o 34235
280.19	c 6532
280.48	o 34237
280.48	c 6530
280.79	o 34238
280.79	c 6529
282.81	o 34239
282.81	c 6528
283.07	o 34241
283.07	c 6526
283.35	o 34243
283.35	c 6524
283.64	o 34246
283.64	c 6521
284.75	o 34248
284.75	c 6519
285.01	o 34251
285.01	c 6516
285.30	o 34254
285.30	c 6513
285.51	o 34259
285.51	c 6508
285.79	o 34262
285.79	c 6505
286.08	o 34263
286.08	c 6504
286.39	o 34266
286.39	c 6501
286.67	o 34270
286.67	c 6497
286.95	o 34271
286.95	c 6496
287.55	o 34275
287.55	c 6492
287.85	o 34278
287.85	c 6489
288.13	o 34283
288.13	c 6484
288.73	o 34284
288.73	c 6483
289.03	o 34285
289.03	c 6482
289.35	o 34286
289.35	c 6481
289.64	o 34290
289.64	c 6477
289.95	o 34294
289.95	c 6473
290.28	o 34296
290.28	c 6471
290.89	o 34301
290.89	c 6466
291.23	o 34308
291.23	c 6459
291.52	o 34313
291.52	c 6454
291.83	o 34317
291.83	c 6450
292.13	o 34318
292.13	c 6449
292.80	o 34319
292.80	c 6448
293.43	o 34323
293.43	c 6444
294.08	o 34328
294.08	c 6439
294.71	o 34333
294.71	c 6434
295.03	o 34336
295.03	c 6431
296.25	o 34340
296.25	c 6427
296.56	o 34344
296.56	c 6423
296.86	o 34345
296.86	c 6422
297.17	o 34346
297.17	c 6421
297.49	o 34348
297.49	c 6419
298.10	o 34351
298.11	c 6416
298.41	o 34353
298.41	c 6414
299.91	o 34354
299.91	c 6413
301.11	o 34358
301.11	c 6409
301.40	o 34359
301.40	c 6408
301.71	o 34361
301.71	c 6406
302.00	o 34362
302.00	c 6405
302.61	o 34365
302.61	c 6402
303.88	o 34369
303.88	c 6398
304.19	o 34373
304.19	c 6394
304.50	o 34378
304.50	c 6389
304.80	o 34381
304.80	c 6386
305.08	o 34382
305.08	c 6385
305.69	o 34385
305.69	c 6382
306.03	o 34386
306.03	c 6381
306.37	o 34387
306.37	c 6380
307.03	o 34388
307.03	c 6379
307.33	o 34392
307.33	c 6375
307.66	o 34395
307.66	c 6372
308.31	o 34397
308.31	c 6370
308.64	o 34398
308.64	c 6369
308.97	o 34401
308.97	c 6366
309.30	o 34407
309.30	c 6360
309.63	o 34409
309.63	c 6358
309.96	o 34411
309.96	c 6356
310.28	o 34412
310.28	c 6355
310.61	o 34414
310.61	c 6353
310.97	o 34415
310.97	c 6352
311.29	o 34418
311.29	c 6349
311.62	o 34419
311.62	c 6348
312.61	o 34420
312.61	c 6347
313.62	o 34422
313.62	c 6345
314.00	o 34425
314.00	c 6342
314.67	o 34427
314.67	c 6340
316.41	o 34428
316.41	c 6339
316.75	o 34429
316.75	c 6338
317.12	o 34437
317.12	c 6330
317.83	o 34440
317.83	c 6327
318.21	o 34444
318.21	c 6323
318.58	o 34445
318.58	c 6322
318.94	o 34449
318.94	c 6318
323.17	o 34452
323.17	c 6315
323.52	o 34455
323.52	c 6312
323.91	o 34458
323.91	c 6309
324.30	o 34459
324.30	c 6308
324.72	o 34462
324.72	c 6305
325.90	o 34464
325.90	c 6303
326.33	o 34465
326.33	c 6302
326.76	o 34466
326.76	c 6301
327.99	o 34469
327.99	c 6298
328.39	o 34476
328.39	c 6291
329.58	o 34477
329.58	c 6290
329.98	o 34480
329.98	c 6287
330.39	o 34483
330.39	c 6284
330.80	o 34486
330.80	c 6281
331.61	o 34489
331.61	c 6278
332.03	o 34490
332.03	c 6277
332.41	o 34491
332.41	c 6276
332.79	o 34493
332.79	c 6274
333.19	o 34496
333.19	c 6271
334.02	o 34497
334.02	c 6270
334.41	o 34498
334.41	c 6269
334.83	o 34501
334.83	c 6266
335.21	o 34502
335.21	c 6265
336.40	o 34506
336.40	c 6261
337.22	o 34509
337.22	c 6258
337.63	o 34511
337.63	c 6256
338.42	o 34514
338.42	c 6253
339.21	o 34515
339.21	c 6252
339.60	o 34519
339.60	c 6248
340.00	o 34521
340.00	c 6246
340.40	o 34522
340.40	c 6245
340.79	o 34525
340.79	c 6242
341.58	o 34526
341.58	c 6241
341.97	o 34528
341.97	c 6239
342.78	o 34529
342.78	c 6238
343.17	o 34531
343.17	c 6236
343.58	o 34532
343.58	c 6235
344.40	o 34535
344.40	c 6232
344.81	o 34536
344.81	c 6231
345.22	o 34538
345.22	c 6229
345.66	o 34539
345.66	c 6228
346.07	o 34541
346.07	c 6226
346.52	o 34543
346.52	c 6224
346.97	o 34544
346.97	c 6223
350.85	o 34545
350.85	c 6222
352.57	o 34548
352.57	c 6219
352.98	o 34551
352.98	c 6216
353.40	o 34553
353.40	c 6214
354.69	o 34556
354.69	c 6211
356.37	o 34558
356.37	c 6209
356.77	o 34559
356.77	c 6208
357.61	o 34562
357.61	c 6205
358.03	o 34565
358.03	c 6202
358.45	o 34567
358.45	c 6200
360.58	o 34572
360.58	c 6195
360.98	o 34575
360.98	c 6192
361.82	o 34580
361.82	c 6187
362.26	o 34583
362.26	c 6184
362.67	o 34585
362.67	c 6182
363.09	o 34588
363.09	c 6179
363.50	o 34589
363.50	c 6178
365.20	o 34590
365.20	c 6177
366.54	o 34592
366.54	c 6175
367.43	o 34593
367.43	c 6174
367.88	o 34594
367.88	c 6173
368.33	o 34598
368.33	c 6169
368.77	o 34601
368.77	c 6166
369.19	o 34602
369.19	c 6165
369.68	o 34603
369.68	c 6164
370.15	o 34605
370.15	c 6162
371.44	o 34606
371.44	c 6161
371.86	o 34608
371.86	c 6159
372.28	o 34609
372.28	c 6158
372.68	o 34611
372.68	c 6156
373.12	o 34613
373.12	c 6154
373.96	o 34615
373.96	c 6152
374.37	o 34619
374.37	c 6148
374.77	o 34620
374.77	c 6147
375.21	o 34622
375.21	c 6145
375.62	o 34626
375.62	c 6141
376.02	o 34627
376.02	c 6140
376.83	o 34628
376.83	c 6139
377.25	o 34630
377.25	c 6137
378.07	o 34631
378.07	c 6136
379.30	o 34632
379.30	c 6135
379.70	o 34637
379.70	c 6130
380.09	o 34641
380.09	c 6126
380.49	o 34642
380.49	c 6125
380.91	o 34645
380.91	c 6122
381.33	o 34648
381.33	c 6119
382.15	o 34652
382.16	c 6115
383.42	o 34655
383.42	c 6112
383.85	o 34657
383.85	c 6110
384.28	o 34660
384.28	c 6107
384.71	o 34661
384.71	c 6106
385.14	o 34662
385.14	c 6105
385.58	o 34664
385.58	c 6103
386.02	o 34667
386.02	c 6100
386.47	o 34669
386.47	c 6098
386.93	o 34675
386.93	c 6092
387.36	o 34679
387.36	c 6088
387.83	o 34682
387.83	c 6085
388.27	o 34685
388.27	c 6082
392.62	o 34686
392.62	c 6081
393.93	o 34687
393.93	c 6080
394.35	o 34690
394.35	c 6077
394.78	o 34692
394.78	c 6075
395.21	o 34693
395.21	c 6074
396.07	o 34697
396.07	c 6070
396.50	o 34699
396.50	c 6068
396.91	o 34701
396.91	c 6066
397.33	o 34703
397.33	c 6064
397.74	o 34704
397.74	c 6063
398.56	o 34711
398.56	c 6056
398.98	o 34718
398.98	c 6049
399.39	o 34719
399.39	c 6048
399.82	o 34720
399.82	c 6047
400.23	o 34723
400.23	c 6044
401.05	o 34725
401.05	c 6042
402.31	o 34727
402.31	c 6040
403.55	o 34728
403.55	c 6039
403.96	o 34729
403.96	c 6038
404.35	o 34730
404.35	c 6037
404.78	o 34732
404.78	c 6035
405.19	o 34733
405.19	c 6034
405.62	o 34736
405.62	c 6031
406.03	o 34737
406.03	c 6030
406.46	o 34739
406.46	c 6028
406.90	o 34745
406.90	c 6022
407.32	o 34746
407.32	c 6021
408.22	o 34748
408.22	c 6019
410.02	o 34750
410.02	c 6017
411.34	o 34752
411.34	c 6015
411.77	o 34756
411.77	c 6011
412.22	o 34757
412.22	c 6010
412.68	o 34760
412.68	c 6007
413.12	o 34761
413.12	c 6006
414.07	o 34762
414.07	c 6005
414.53	o 34765
414.53	c 6002
415.00	o 34771
415.00	c 5996
416.72	o 34776
416.72	c 5991
417.22	o 34777
417.22	c 5990
417.70	o 34780
417.70	c 5987
418.15	o 34783
418.15	c 5984
418.64	o 34785
418.64	c 5982
419.10	o 34789
419.10	c 5978
419.55	o 34791
419.55	c 5976
421.82	o 34792
421.82	c 5975
422.26	o 34794
422.26	c 5973
422.71	o 34795
422.71	c 5972
424.89	o 34797
424.89	c 5970
425.33	o 34799
425.33	c 5968
425.75	o 34803
425.75	c 5964
426.18	o 34804
426.18	c 5963
427.49	o 34805
427.49	c 5962
428.32	o 34808
428.32	c 5959
428.75	o 34810
428.75	c 5957
429.19	o 34811
429.19	c 5956
429.61	o 34813
429.61	c 5954
430.01	o 34817
430.01	c 5950
430.85	o 34818
430.85	c 5949
431.29	o 34823
431.29	c 5944
431.71	o 34829
431.71	c 5938
432.13	o 34831
432.13	c 5936
432.55	o 34832
432.55	c 5935
432.98	o 34834
432.98	c 5933
433.41	o 34836
433.41	c 5931
433.88	o 34837
433.88	c 5930
434.79	o 34839
434.79	c 5928
436.09	o 34841
436.09	c 5926
436.54	o 34843
436.54	c 5924
436.98	o 34846
436.98	c 5921
437.41	o 34847
437.41	c 5920
438.27	o 34848
438.27	c 5919
438.70	o 34850
438.70	c 5917
439.56	o 34851
439.56	c 5916
440.01	o 34853
440.01	c 5914
440.87	o 34859
440.87	c 5908
441.28	o 34861
441.28	c 5906
441.56	o 34862
441.56	c 5905
442.29	o 34866
442.29	c 5901
442.71	o 34867
442.71	c 5900
443.15	o 34868
443.15	c 5899
443.58	o 34870
443.58	c 5897
444.84	o 34871
444.84	c 5896
445.26	o 34875
445.26	c 5892
445.67	o 34876
445.67	c 5891
446.07	o 34878
446.07	c 5889
447.75	o 34882
447.75	c 5885
448.16	o 34884
448.16	c 5883
449.38	o 34885
449.38	c 5882
449.81	o 34888
449.81	c 5879
450.21	o 34892
450.21	c 5875
450.64	o 34895
450.64	c 5872
451.08	o 34896
451.08	c 5871
451.52	o 34897
451.52	c 5870
451.94	o 34901
451.94	c 5866
452.77	o 34902
452.77	c 5865
453.18	o 34908
453.18	c 5859
454.06	o 34911
454.06	c 5856
460.03	o 34913
460.03	c 5854
460.46	o 34915
460.46	c 5852
460.91	o 34917
460.91	c 5850
461.36	o 34919
461.36	c 5848
464.06	o 34920
464.06	c 5847
464.99	o 34922
464.99	c 5845
465.42	o 34925
465.42	c 5842
465.87	o 34926
465.88	c 5841
466.34	o 34928
466.34	c 5839
466.79	o 34929
466.79	c 5838
467.26	o 34931
467.26	c 5836
468.14	o 34936
468.14	c 5831
468.60	o 34939
468.60	c 5828
470.92	o 34940
470.92	c 5827
472.27	o 34941
472.27	c 5826
472.72	o 34943
472.72	c 5824
473.19	o 34944
473.19	c 5823
473.66	o 34945
473.66	c 5822
474.57	o 34951
474.57	c 5816
475.04	o 34953
475.04	c 5814
475.99	o 34954
475.99	c 5813
476.91	o 34956
476.91	c 5811
482.23	o 34958
482.23	c 5809
485.24	o 34960
485.24	c 5807
485.67	o 34963
485.67	c 5804
486.08	o 34968
486.08	c 5799
486.90	o 34970
486.90	c 5797
487.74	o 34972
487.74	c 5795
488.17	o 34973
488.17	c 5794
488.57	o 34975
488.57	c 5792
490.21	o 34978
490.21	c 5789
490.63	o 34979
490.63	c 5788
491.05	o 34984
491.05	c 5783
492.33	o 34985
492.33	c 5782
492.63	o 34988
492.63	c 5779
493.03	o 34990
493.03	c 5777
493.45	o 34994
493.45	c 5773
493.90	o 34999
493.90	c 5768
494.72	o 35004
494.72	c 5763
496.88	o 35006
496.88	c 5761
497.30	o 35007
497.30	c 5760
497.72	o 35009
497.72	c 5758
498.15	o 35010
498.15	c 5757
501.50	o 35011
501.50	c 5756
501.92	o 35013
501.92	c 5754
502.75	o 35017
502.75	c 5750
503.17	o 35019
503.17	c 5748
504.00	o 35021
504.00	c 5746
504.86	o 35023
504.86	c 5744
506.06	o 35025
506.06	c 5742
506.50	o 35028
506.50	c 5739
506.97	o 35031
506.97	c 5736
507.43	o 35035
507.43	c 5732
507.88	o 35036
507.88	c 5731
508.29	o 35038
508.29	c 5729
509.00	o 35039
509.00	c 5728
509.42	o 35043
509.42	c 5724
510.75	o 35045
510.75	c 5722
511.65	o 35046
511.65	c 5721
512.51	o 35050
512.51	c 5717
514.67	o 35051
514.67	c 5716
515.13	o 35052
515.13	c 5715
515.62	o 35054
515.62	c 5713
516.11	o 35055
516.12	c 5712
516.58	o 35056
516.58	c 5711
517.49	o 35061
517.49	c 5706
517.96	o 35064
517.96	c 5703
518.41	o 35065
518.41	c 5702
518.87	o 35066
518.87	c 5701
519.36	o 35069
519.36	c 5698
519.84	o 35071
519.84	c 5696
520.30	o 35073
520.30	c 5694
521.19	o 35074
521.19	c 5693
522.84	o 35077
522.84	c 5690
523.31	o 35081
523.31	c 5686
526.41	o 35085
526.41	c 5682
527.35	o 35088
527.35	c 5679
528.30	o 35094
528.30	c 5673
528.78	o 35097
528.78	c 5670
529.04	o 35098
529.04	c 5669
529.35	o 35101
529.35	c 5666
529.84	o 35104
529.84	c 5663
530.32	o 35106
530.32	c 5661
530.79	o 35108
530.79	c 5659
532.13	o 35110
532.13	c 5657
532.58	o 35111
532.58	c 5656
533.97	o 35116
533.97	c 5651
534.44	o 35117
534.44	c 5650
534.73	o 35119
534.73	c 5648
535.19	o 35122
535.19	c 5645
536.61	o 35123
536.61	c 5644
537.07	o 35127
537.07	c 5640
538.95	o 35129
538.95	c 5638
539.42	o 35131
539.42	c 5636
539.93	o 35134
539.93	c 5633
540.41	o 35137
540.41	c 5630
540.89	o 35139
540.89	c 5628
541.40	o 35141
541.40	c 5626
541.89	o 35144
541.89	c 5623
542.86	o 35147
542.86	c 5620
544.33	o 35152
544.33	c 5615
545.80	o 35156
545.80	c 5611
546.28	o 35159
546.28	c 5608
546.77	o 35160
546.77	c 5607
547.73	o 35162
547.73	c 5605
548.22	o 35165
548.22	c 5602
549.17	o 35170
549.17	c 5597
551.09	o 35171
551.09	c 5596
551.58	o 35172
551.58	c 5595
552.06	o 35173
552.06	c 5594
552.55	o 35174
552.55	c 5593
553.05	o 35176
553.05	c 5591
556.09	o 35177
556.09	c 5590
556.58	o 35181
556.58	c 5586
558.08	o 35182
558.08	c 5585
560.60	o 35183
560.60	c 5584
561.11	o 35186
561.11	c 5581
561.60	o 35191
561.60	c 5576
562.09	o 35194
562.09	c 5573
563.14	o 35196
563.14	c 5571
563.66	o 35197
563.66	c 5570
564.17	o 35199
564.17	c 5568
569.38	o 35200
569.38	c 5567
571.46	o 35202
571.46	c 5565
573.06	o 35205
573.06	c 5562
573.59	o 35206
573.59	c 5561
574.17	o 35207
574.17	c 5560
576.36	o 35210
576.36	c 5557
578.54	o 35211
578.54	c 5556
579.66	o 35213
579.66	c 5554
580.24	o 35216
580.24	c 5551
580.84	o 35219
580.84	c 5548
581.26	o 35220
581.26	c 5547
582.95	o 35222
582.95	c 5545
588.21	o 35224
588.21	c 5543
588.80	o 35230
588.80	c 5537
589.37	o 35234
589.37	c 5533
591.14	o 35235
591.14	c 5532
591.70	o 35236
591.70	c 5531
592.29	o 35238
592.29	c 5529
592.89	o 35240
592.89	c 5527
594.10	o 35241
594.10	c 5526
595.31	o 35242
595.31	c 5525
597.72	o 35246
597.72	c 5521
598.32	o 35248
598.32	c 5519
600.23	o 35249
600.23	c 5518
600.85	o 35250
600.85	c 5517
602.12	o 35251
602.12	c 5516
604.00	o 35253
604.00	c 5514
606.51	o 35255
606.51	c 5512
607.76	o 35258
607.76	c 5509
608.37	o 35261
608.37	c 5506
609.00	o 35264
609.00	c 5503
609.61	o 35265
609.61	c 5502
610.23	o 35270
610.23	c 5497
610.54	o 35273
610.54	c 5494
611.15	o 35275
611.15	c 5492
611.75	o 35276
611.75	c 5491
612.00	o 35280
612.00	c 5487
612.61	o 35281
612.61	c 5486
613.19	o 35282
613.19	c 5485
613.79	o 35283
613.79	c 5484
614.39	o 35284
614.39	c 5483
615.01	o 35285
615.01	c 5482
615.63	o 35287
615.63	c 5480
616.24	o 35289
616.24	c 5478
616.85	o 35290
616.85	c 5477
617.45	o 35291
617.45	c 5476
629.54	o 35296
629.54	c 5471
630.69	o 35298
630.69	c 5469
631.26	o 35300
631.26	c 5467
631.88	o 35301
631.88	c 5466
632.43	o 35305
632.43	c 5462
634.21	o 35308
634.21	c 5459
647.52	o 35310
647.52	c 5457
648.08	o 35311
648.08	c 5456
648.65	o 35313
648.65	c 5454
650.37	o 35314
650.37	c 5453
653.02	o 35319
653.02	c 5448
654.21	o 35321
654.21	c 5446
656.05	o 35322
656.05	c 5445
657.27	o 35324
657.27	c 5443
657.87	o 35327
657.87	c 5440
658.30	o 35329
658.30	c 5438
658.89	o 35333
658.89	c 5434
659.40	o 35335
659.40	c 5432
659.98	o 35339
659.98	c 5428
660.54	o 35340
660.54	c 5427
661.12	o 35341
661.12	c 5426
662.10	o 35343
662.10	c 5424
662.68	o 35346
662.68	c 5421
664.35	o 35347
664.35	c 5420
664.92	o 35349
664.92	c 5418
665.49	o 35350
665.49	c 5417
666.07	o 35353
666.07	c 5414
666.59	o 35356
666.59	c 5411
670.52	o 35358
670.52	c 5409
671.08	o 35360
671.08	c 5407
673.33	o 35363
673.33	c 5404
673.92	o 35364
673.92	c 5403
674.34	o 35368
674.34	c 5399
674.91	o 35369
674.91	c 5398
675.48	o 35373
675.48	c 5394
676.03	o 35378
676.03	c 5389
676.60	o 35380
676.60	c 5387
677.68	o 35384
677.68	c 5383
678.25	o 35385
678.25	c 5382
678.82	o 35387
678.82	c 5380
679.39	o 35390
679.39	c 5377
679.95	o 35391
679.95	c 5376
681.06	o 35395
681.06	c 5372
682.16	o 35396
682.16	c 5371
682.74	o 35398
682.74	c 5369
683.82	o 35400
683.82	c 5367
691.92	o 35401
691.92	c 5366
692.99	o 35402
692.99	c 5365
694.13	o 35404
694.13	c 5363
694.68	o 35405
694.68	c 5362
697.27	o 35408
697.27	c 5359
699.84	o 35409
699.84	c 5358
700.35	o 35411
700.35	c 5356
700.92	o 35412
700.92	c 5355
701.99	o 35413
701.99	c 5354
704.61	o 35414
704.61	c 5353
705.13	o 35417
705.13	c 5350
708.16	o 35419
708.16	c 5348
709.14	o 35420
709.14	c 5347
709.62	o 35421
709.62	c 5346
710.14	o 35424
710.14	c 5343
711.14	o 35427
711.14	c 5340
711.63	o 35432
711.63	c 5335
712.61	o 35436
712.61	c 5331
713.10	o 35444
713.10	c 5323
714.54	o 35446
714.54	c 5321
715.56	o 35448
715.56	c 5319
717.60	o 35450
717.60	c 5317
719.13	o 35451
719.13	c 5316
720.13	o 35452
720.13	c 5315
720.64	o 35454
720.64	c 5313
721.16	o 35457
721.16	c 5310
721.67	o 35458
721.67	c 5309
722.18	o 35464
722.18	c 5303
722.64	o 35466
722.64	c 5301
724.16	o 35469
724.16	c 5298
725.12	o 35472
725.12	c 5295
726.12	o 35476
726.12	c 5291
729.20	o 35478
729.20	c 5289
729.72	o 35479
729.72	c 5288
730.25	o 35481
730.25	c 5286
731.34	o 35482
731.34	c 5285
734.63	o 35485
734.63	c 5282
735.18	o 35489
735.18	c 5278
735.75	o 35494
735.75	c 5273
739.11	o 35497
739.11	c 5270
739.65	o 35500
739.65	c 5267
740.21	o 35501
740.21	c 5266
740.78	o 35503
740.78	c 5264
742.41	o 35504
742.41	c 5263
742.95	o 35506
742.95	c 5261
745.68	o 35507
745.68	c 5260
746.22	o 35512
746.22	c 5255
746.75	o 35514
746.75	c 5253
747.28	o 35516
747.28	c 5251
748.34	o 35518
748.34	c 5249
748.90	o 35522
748.90	c 5245
749.44	o 35525
749.44	c 5242
750.00	o 35526
750.00	c 5241
751.05	o 35527
751.05	c 5240
751.59	o 35528
751.59	c 5239
752.11	o 35530
752.11	c 5237
753.70	o 35531
753.70	c 5236
754.23	o 35536
754.23	c 5231
755.29	o 35540
755.29	c 5227
755.82	o 35541
755.82	c 5226
762.49	o 35542
762.49	c 5225
764.81	o 35543
764.81	c 5224
765.32	o 35545
765.32	c 5222
766.37	o 35548
766.37	c 5219
766.88	o 35549
766.88	c 5218
767.42	o 35551
767.42	c 5216
770.03	o 35555
770.03	c 5212
770.54	o 35557
770.54	c 5210
771.60	o 35558
771.60	c 5209
773.92	o 35563
773.92	c 5204
774.41	o 35565
774.41	c 5202
774.91	o 35570
774.91	c 5197
775.42	o 35574
775.42	c 5193
775.93	o 35577
775.94	c 5190
776.44	o 35581
776.44	c 5186
776.93	o 35583
776.93	c 5184
777.46	o 35584
777.46	c 5183
777.96	o 35586
777.96	c 5181
778.47	o 35589
778.47	c 5178
778.96	o 35591
778.96	c 5176
785.60	o 35593
785.60	c 5174
786.01	o 35598
786.01	c 5169
786.55	o 35600
786.55	c 5167
786.98	o 35605
786.98	c 5162
787.51	o 35606
787.51	c 5161
788.07	o 35607
788.07	c 5160
789.18	o 35608
789.18	c 5159
790.29	o 35609
790.29	c 5158
792.20	o 35611
792.20	c 5156
796.19	o 35613
796.19	c 5154
796.52	o 35616
796.52	c 5151
797.08	o 35618
797.08	c 5149
799.88	o 35621
799.89	c 5146
801.01	o 35622
801.01	c 5145
801.59	o 35625
801.59	c 5142
802.77	o 35627
802.77	c 5140
803.33	o 35628
803.33	c 5139
803.91	o 35633
803.91	c 5134
804.49	o 35637
804.49	c 5130
805.08	o 35638
805.08	c 5129
805.63	o 35639
805.63	c 5128
806.20	o 35640
806.20	c 5127
806.75	o 35642
806.75	c 5125
808.51	o 35646
808.51	c 5121
809.14	o 35648
809.14	c 5119
813.20	o 35650
813.20	c 5117
813.64	o 35651
813.64	c 5116
814.04	o 35652
814.04	c 5115
817.05	o 35654
817.05	c 5113
817.68	o 35659
817.68	c 5108
818.31	o 35661
818.31	c 5106
820.12	o 35662
820.12	c 5105
820.74	o 35667
820.74	c 5100
821.34	o 35668
821.34	c 5099
822.56	o 35669
822.56	c 5098
823.19	o 35671
823.19	c 5096
826.20	o 35673
826.20	c 5094
827.38	o 35674
827.38	c 5093
827.97	o 35675
827.97	c 5092
829.49	o 35677
829.49	c 5090
830.05	o 35680
830.05	c 5087
830.65	o 35684
830.65	c 5083
833.65	o 35687
833.65	c 5080
834.23	o 35692
834.23	c 5075
836.00	o 35693
836.00	c 5074
836.58	o 35694
836.58	c 5073
837.18	o 35695
837.18	c 5072
838.34	o 35697
838.34	c 5070
839.50	o 35699
839.50	c 5068
840.03	o 35701
840.03	c 5066
841.10	o 35702
841.10	c 5065
842.24	o 35703
842.24	c 5064
842.84	o 35708
842.84	c 5059
844.03	o 35709
844.03	c 5058
844.65	o 35712
844.65	c 5055
845.24	o 35713
845.24	c 5054
845.83	o 35714
845.83	c 5053
848.80	o 35722
848.80	c 5045
850.79	o 35725
850.79	c 5042
851.33	o 35728
851.33	c 5039
859.31	o 35731
859.31	c 5036
860.14	o 35735
860.14	c 5032
860.74	o 35739
860.74	c 5028
864.96	o 35741
864.96	c 5026
865.55	o 35743
865.55	c 5024
866.14	o 35744
866.14	c 5023
867.36	o 35745
867.36	c 5022
867.99	o 35747
867.99	c 5020
868.56	o 35748
868.56	c 5019
869.21	o 35749
869.21	c 5018
869.81	o 35750
869.81	c 5017
870.35	o 35751
870.35	c 5016
870.96	o 35753
870.96	c 5014
872.76	o 35757
872.76	c 5010
873.38	o 35758
873.38	c 5009
873.99	o 35762
873.99	c 5005
874.62	o 35769
874.62	c 4998
875.22	o 35771
875.22	c 4996
878.21	o 35774
878.21	c 4993
881.98	o 35777
881.98	c 4990
882.60	o 35778
882.60	c 4989
891.39	o 35779
891.39	c 4988
895.24	o 35781
895.24	c 4986
897.18	o 35782
897.18	c 4985
897.82	o 35783
897.82	c 4984
902.56	o 35785
902.56	c 4982
903.18	o 35787
903.18	c 4980
904.42	o 35788
904.42	c 4979
905.04	o 35789
905.04	c 4978
906.28	o 35793
906.28	c 4974
907.51	o 35796
907.51	c 4971
907.73	o 35797
907.73	c 4970
908.36	o 35798
908.36	c 4969
909.74	o 35799
909.74	c 4968
910.38	o 35800
910.38	c 4967
912.85	o 35801
912.85	c 4966
913.46	o 35802
913.46	c 4965
914.75	o 35803
914.75	c 4964
915.20	o 35805
915.20	c 4962
915.84	o 35807
915.84	c 4960
916.47	o 35808
916.47	c 4959
917.10	o 35809
917.10	c 4958
921.66	o 35812
921.66	c 4955
923.51	o 35816
923.51	c 4951
924.16	o 35817
924.16	c 4950
925.42	o 35822
925.42	c 4945
926.06	o 35823
926.06	c 4944
936.58	o 35824
936.58	c 4943
937.87	o 35827
937.87	c 4940
939.81	o 35830
939.81	c 4937
940.47	o 35832
940.47	c 4935
941.13	o 35836
941.13	c 4931
943.05	o 35837
943.05	c 4930
943.69	o 35839
943.69	c 4928
943.97	o 35845
943.97	c 4922
944.51	o 35847
944.51	c 4920
946.32	o 35848
946.32	c 4919
946.94	o 35850
946.94	c 4917
947.79	o 35854
947.79	c 4913
950.71	o 35856
950.71	c 4911
952.52	o 35858
952.52	c 4909
953.01	o 35862
953.01	c 4905
955.46	o 35863
955.46	c 4904
956.75	o 35864
956.75	c 4903
957.36	o 35867
957.36	c 4900
958.68	o 35870
958.68	c 4897
959.92	o 35872
959.92	c 4895
961.86	o 35873
961.86	c 4894
962.55	o 35877
962.55	c 4890
963.23	o 35879
963.23	c 4888
963.44	o 35883
963.44	c 4884
965.30	o 35885
965.30	c 4882
966.03	o 35888
966.03	c 4879
966.71	o 35890
966.71	c 4877
967.43	o 35892
967.43	c 4875
968.15	o 35893
968.15	c 4874
968.84	o 35894
968.84	c 4873
969.53	o 35895
969.53	c 4872
970.22	o 35898
970.22	c 4869
971.62	o 35899
971.62	c 4868
972.36	o 35903
972.36	c 4864
976.68	o 35904
976.68	c 4863
982.03	o 35905
982.03	c 4862
982.82	o 35908
982.82	c 4859
983.61	o 35911
983.61	c 4856
984.41	o 35912
984.41	c 4855
985.19	o 35913
985.19	c 4854
992.75	o 35914
992.75	c 4853
995.11	o 35916
995.11	c 4851
996.69	o 35917
996.69	c 4850
997.49	o 35919
997.49	c 4848
998.30	o 35923
998.30	c 4844
999.92	o 35925
999.92	c 4842
1001.56	o 35926
1001.56	c 4841
1002.37	o 35927
1002.37	c 4840
1003.16	o 35930
1003.16	c 4837
1003.97	o 35932
1003.97	c 4835
1004.81	o 35934
1004.81	c 4833
1007.07	o 35936
1007.07	c 4831
1008.67	o 35939
1008.67	c 4828
1009.35	o 35941
1009.35	c 4826
1010.17	o 35943
1010.17	c 4824
1010.99	o 35946
1010.99	c 4821
1012.66	o 35949
1012.66	c 4818
1015.93	o 35950
1015.93	c 4817
1017.55	o 35952
1017.55	c 4815
1022.21	o 35954
1022.21	c 4813
1024.59	o 35955
1024.59	c 4812
1025.40	o 35956
1025.40	c 4811
1026.22	o 35958
1026.22	c 4809
1026.98	o 35961
1026.98	c 4806
1034.86	o 35962
1034.86	c 4805
1035.69	o 35966
1035.69	c 4801
1036.52	o 35967
1036.52	c 4800
1037.36	o 35970
1037.36	c 4797
1047.96	o 35972
1047.96	c 4795
1049.61	o 35976
1049.61	c 4791
1054.48	o 35978
1054.48	c 4789
1057.62	o 35979
1057.62	c 4788
1059.18	o 35982
1059.18	c 4785
1059.98	o 35983
1059.98	c 4784
1061.59	o 35985
1061.59	c 4782
1065.42	o 35990
1065.43	c 4777
1074.30	o 35991
1074.30	c 4776
1076.73	o 35992
1076.73	c 4775
1078.35	o 35994
1078.35	c 4773
1080.79	o 35996
1080.79	c 4771
1082.36	o 35998
1082.36	c 4769
1084.78	o 35999
1084.78	c 4768
1085.60	o 36000
1085.60	c 4767
1088.01	o 36001
1088.01	c 4766
1102.60	o 36004
1102.60	c 4763
1103.36	o 36008
1103.36	c 4759
1104.94	o 36011
1104.94	c 4756
1105.71	o 36012
1105.71	c 4755
1106.51	o 36014
1106.51	c 4753
1107.28	o 36015
1107.28	c 4752
1111.78	o 36016
1111.78	c 4751
1114.15	o 36019
1114.15	c 4748
1114.94	o 36020
1114.94	c 4747
1115.75	o 36022
1115.75	c 4745
1117.36	o 36023
1117.36	c 4744
1118.79	o 36025
1118.79	c 4742
1119.50	o 36030
1119.50	c 4737
1121.04	o 36031
1121.04	c 4736
1122.60	o 36032
1122.60	c 4735
1123.26	o 36035
1123.26	c 4732
1124.04	o 36037
1124.04	c 4730
1128.62	o 36039
1128.69	c 4728
1129.32	o 36044
1129.32	c 4723
1129.83	o 36049
1129.83	c 4718
1130.52	o 36050
1130.52	c 4717
1131.99	o 36051
1131.99	c 4716
1132.68	o 36052
1132.68	c 4715
1135.56	o 36055
1135.56	c 4712
1136.31	o 36062
1136.31	c 4705
1137.06	o 36063
1137.06	c 4704
1151.83	o 36069
1151.83	c 4698
1152.56	o 36070
1152.56	c 4697
1154.04	o 36072
1154.04	c 4695
1154.79	o 36077
1154.79	c 4690
1156.30	o 36078
1156.30	c 4689
1157.03	o 36082
1157.03	c 4685
1157.79	o 36085
1157.79	c 4682
1158.55	o 36089
1158.55	c 4678
1159.32	o 36091
1159.32	c 4676
1160.81	o 36093
1160.81	c 4674
1161.57	o 36097
1161.57	c 4670
1162.31	o 36099
1162.31	c 4668
1162.89	o 36102
1162.89	c 4665
1164.93	o 36103
1164.93	c 4664
1165.66	o 36106
1165.66	c 4661
1167.64	o 36110
1167.64	c 4657
1168.38	o 36112
1168.38	c 4655
1169.11	o 36113
1169.11	c 4654
1169.84	o 36117
1169.84	c 4650
1173.49	o 36118
1173.49	c 4649
1174.25	o 36120
1174.25	c 4647
1175.01	o 36121
1175.01	c 4646
1175.69	o 36124
1175.69	c 4643
1176.42	o 36126
1176.42	c 4641
1177.18	o 36130
1177.18	c 4637
1179.41	o 36131
1179.41	c 4636
1180.17	o 36132
1180.17	c 4635
1187.39	o 36134
1187.39	c 4633
1187.98	o 36138
1187.98	c 4629
1189.52	o 36139
1189.52	c 4628
1190.27	o 36140
1190.27	c 4627
1191.05	o 36141
1191.05	c 4626
1191.83	o 36144
1191.83	c 4623
1193.39	o 36146
1193.39	c 4621
1194.20	o 36148
1194.20	c 4619
1195.00	o 36151
1195.00	c 4616
1195.49	o 36152
1195.49	c 4615
1196.28	o 36154
1196.28	c 4613
1199.97	o 36158
1199.97	c 4609
1200.75	o 36160
1200.75	c 4607
1202.11	o 36161
1202.11	c 4606
1202.93	o 36164
1202.93	c 4603
1203.15	o 36166
1203.15	c 4601
1204.73	o 36167
1204.73	c 4600
1205.51	o 36168
1205.51	c 4599
1206.30	o 36169
1206.30	c 4598
1207.12	o 36171
1207.12	c 4596
1210.93	o 36173
1210.93	c 4594
1211.06	o 36177
1211.06	c 4590
1211.73	o 36179
1211.73	c 4588
1212.45	o 36180
1212.45	c 4587
1213.21	o 36182
1213.21	c 4585
1213.98	o 36184
1213.98	c 4583
1215.60	o 36186
1215.60	c 4581
1219.51	o 36188
1219.51	c 4579
1222.58	o 36190
1222.58	c 4577
1224.97	o 36191
1224.97	c 4576
1225.74	o 36192
1225.74	c 4575
1228.17	o 36193
1228.17	c 4574
1228.78	o 36194
1228.78	c 4573
1229.40	o 36196
1229.40	c 4571
1230.19	o 36197
1230.19	c 4570
1230.98	o 36199
1230.98	c 4568
1234.15	o 36200
1234.15	c 4567
1235.74	o 36201
1235.74	c 4566
1239.54	o 36202
1239.54	c 4565
1240.35	o 36204
1240.35	c 4563
1243.36	o 36205
1243.36	c 4562
1250.35	o 36207
1250.35	c 4560
1252.72	o 36208
1252.72	c 4559
1253.49	o 36211
1253.49	c 4556
1254.27	o 36212
1254.27	c 4555
1255.86	o 36214
1255.87	c 4553
1259.81	o 36215
1259.81	c 4552
1260.58	o 36216
1260.58	c 4551
1261.39	o 36219
1261.39	c 4548
1262.21	o 36220
1262.21	c 4547
1262.97	o 36222
1262.97	c 4545
1263.75	o 36224
1263.75	c 4543
1264.52	o 36226
1264.52	c 4541
1265.32	o 36229
1265.32	c 4538
1266.10	o 36232
1266.10	c 4535
1266.89	o 36233
1266.89	c 4534
1268.25	o 36234
1268.25	c 4533
1269.05	o 36235
1269.05	c 4532
1269.84	o 36237
1269.84	c 4530
1270.62	o 36238
1270.62	c 4529
1273.77	o 36239
1273.77	c 4528
1274.49	o 36242
1274.49	c 4525
1275.27	o 36244
1275.27	c 4523
1276.91	o 36247
1276.91	c 4520
1278.29	o 36250
1278.29	c 4517
1279.89	o 36252
1279.89	c 4515
1285.47	o 36254
1285.47	c 4513
1286.24	o 36255
1286.24	c 4512
1287.82	o 36257
1287.82	c 4510
1288.61	o 36259
1288.61	c 4508
1289.33	o 36265
1289.33	c 4502
1291.53	o 36267
1291.53	c 4500
1297.21	o 36268
1297.21	c 4499
1298.03	o 36269
1298.03	c 4498
1298.81	o 36271
1298.81	c 4496
1299.63	o 36276
1299.63	c 4491
1300.46	o 36277
1300.46	c 4490
1301.28	o 36278
1301.28	c 4489
1302.11	o 36281
1302.11	c 4486
1309.50	o 36283
1309.50	c 4484
1310.32	o 36284
1310.32	c 4483
1312.76	o 36285
1312.76	c 4482
1313.53	o 36287
1313.53	c 4480
1316.85	o 36291
1316.85	c 4476
1317.68	o 36294
1317.68	c 4473
1319.26	o 36298
1319.26	c 4469
1320.08	o 36300
1320.08	c 4467
1320.91	o 36301
1320.91	c 4466
1323.49	o 36304
1323.49	c 4463
1326.37	o 36305
1326.37	c 4462
1327.19	o 36308
1327.19	c 4459
1328.00	o 36311
1328.00	c 4456
1328.61	o 36312
1328.61	c 4455
1332.05	o 36316
1332.05	c 4451
1332.82	o 36321
1332.82	c 4446
1333.59	o 36323
1333.59	c 4444
1334.63	o 36325
1334.63	c 4442
1335.41	o 36326
1335.41	c 4441
1336.09	o 36327
1336.09	c 4440
1336.85	o 36329
1336.85	c 4438
1340.83	o 36330
1340.83	c 4437
1341.65	o 36332
1341.65	c 4435
1342.45	o 36334
1342.45	c 4433
1344.12	o 36336
1344.12	c 4431
1344.93	o 36337
1344.93	c 4430
1345.74	o 36339
1345.74	c 4428
1347.32	o 36341
1347.32	c 4426
1348.90	o 36343
1348.90	c 4424
1351.34	o 36345
1351.34	c 4422
1352.13	o 36346
1352.13	c 4421
1352.91	o 36349
1352.91	c 4418
1361.47	o 36350
1361.47	c 4417
1362.26	o 36356
1362.26	c 4411
1362.65	o 36358
1362.65	c 4409
1363.42	o 36362
1363.42	c 4405
1363.82	o 36363
1363.82	c 4404
1365.18	o 36365
1365.18	c 4402
1366.77	o 36366
1366.77	c 4401
1367.56	o 36370
1367.56	c 4397
1369.93	o 36372
1369.93	c 4395
1370.73	o 36373
1370.73	c 4394
1371.50	o 36374
1371.50	c 4393
1373.07	o 36377
1373.07	c 4390
1375.73	o 36380
1375.74	c 4387
1376.50	o 36382
1376.50	c 4385
1377.28	o 36384
1377.28	c 4383
1378.57	o 36385
1378.57	c 4382
1379.37	o 36387
1379.37	c 4380
1380.16	o 36390
1380.16	c 4377
1380.56	o 36392
1380.56	c 4375
1381.36	o 36394
1381.36	c 4373
1382.15	o 36395
1382.15	c 4372
1390.48	o 36397
1390.48	c 4370
1391.15	o 36398
1391.15	c 4369
1391.86	o 36399
1391.86	c 4368
1394.22	o 36400
1394.22	c 4367
1395.03	o 36401
1395.03	c 4366
1395.83	o 36402
1395.83	c 4365
1397.38	o 36404
1397.38	c 4363
1398.05	o 36405
1398.05	c 4362
1399.30	o 36406
1399.30	c 4361
1400.07	o 36408
1400.07	c 4359
1400.82	o 36412
1400.82	c 4355
1401.60	o 36413
1401.60	c 4354
1402.31	o 36418
1402.31	c 4349
1403.06	o 36419
1403.06	c 4348
1404.58	o 36421
1404.58	c 4346
1405.34	o 36423
1405.34	c 4344
1406.11	o 36427
1406.11	c 4340
1409.29	o 36428
1409.29	c 4339
1410.75	o 36432
1410.75	c 4335
1413.71	o 36433
1413.71	c 4334
1414.44	o 36435
1414.44	c 4332
1415.19	o 36439
1415.19	c 4328
1417.16	o 36440
1417.16	c 4327
1417.92	o 36442
1417.92	c 4325
1418.65	o 36444
1418.65	c 4323
1420.14	o 36447
1420.14	c 4320
1420.89	o 36449
1420.89	c 4318
1421.63	o 36450
1421.63	c 4317
1423.08	o 36452
1423.08	c 4315
1423.83	o 36454
1423.83	c 4313
1425.26	o 36457
1425.26	c 4310
1427.43	o 36458
1427.43	c 4309
1433.16	o 36462
1433.16	c 4305
1433.87	o 36465
1433.87	c 4302
1434.60	o 36468
1434.60	c 4299
1435.17	o 36469
1435.17	c 4298
1435.89	o 36473
1435.89	c 4294
1436.58	o 36475
1436.58	c 4292
1440.25	o 36481
1440.25	c 4286
1440.94	o 36488
1440.94	c 4279
1441.67	o 36489
1441.67	c 4278
1442.36	o 36490
1442.36	c 4277
1443.06	o 36491
1443.06	c 4276
1443.78	o 36493
1443.78	c 4274
1445.18	o 36496
1445.18	c 4271
1447.97	o 36499
1447.97	c 4268
1449.37	o 36500
1449.37	c 4267
1450.10	o 36501
1450.10	c 4266
1454.41	o 36502
1454.41	c 4265
1464.94	o 36503
1464.94	c 4264
1465.73	o 36504
1465.73	c 4263
1466.16	o 36505
1466.16	c 4262
1475.53	o 36507
1475.53	c 4260
1476.28	o 36509
1476.28	c 4258
1477.07	o 36511
1477.07	c 4256
1477.84	o 36514
1477.84	c 4253
1478.60	o 36518
1478.60	c 4249
1480.13	o 36520
1480.13	c 4247
1480.90	o 36522
1480.90	c 4245
1481.67	o 36524
1481.67	c 4243
1490.90	o 36527
1490.90	c 4240
1491.64	o 36531
1491.64	c 4236
1492.40	o 36533
1492.40	c 4234
1493.93	o 36535
1493.93	c 4232
1494.70	o 36537
1494.70	c 4230
1495.46	o 36538
1495.46	c 4229
1496.22	o 36539
1496.22	c 4228
1496.98	o 36541
1496.98	c 4226
1499.82	o 36543
1499.82	c 4224
1500.58	o 36545
1500.58	c 4222
1501.31	o 36548
1501.31	c 4219
1502.08	o 36549
1502.08	c 4218
1503.69	o 36552
1503.69	c 4215
1504.45	o 36555
1504.45	c 4212
1505.23	o 36557
1505.23	c 4210
1506.03	o 36560
1506.03	c 4207
1514.81	o 36561
1514.81	c 4206
1518.07	o 36562
1518.07	c 4205
1520.55	o 36563
1520.55	c 4204
1521.41	o 36566
1521.41	c 4201
1524.78	o 36567
1524.78	c 4200
1525.63	o 36571
1525.63	c 4196
1526.49	o 36572
1526.49	c 4195
1531.66	o 36574
1531.66	c 4193
1532.51	o 36576
1532.51	c 4191
1533.80	o 36577
1533.80	c 4190
1534.65	o 36580
1534.65	c 4187
1535.51	o 36582
1535.51	c 4185
1536.41	o 36583
1536.41	c 4184
1537.30	o 36585
1537.30	c 4182
1537.71	o 36589
1537.71	c 4178
1539.45	o 36591
1539.45	c 4176
1542.84	o 36592
1542.84	c 4175
1543.71	o 36593
1543.71	c 4174
1546.29	o 36597
1546.29	c 4170
1547.16	o 36599
1547.16	c 4168
1548.03	o 36600
1548.03	c 4167
1548.93	o 36602
1548.93	c 4165
1550.68	o 36605
1550.68	c 4162
1551.58	o 36606
1551.58	c 4161
1559.66	o 36608
1559.66	c 4159
1560.55	o 36610
1560.55	c 4157
1561.47	o 36611
1561.47	c 4156
1564.21	o 36612
1564.21	c 4155
1565.16	o 36614
1565.16	c 4153
1566.08	o 36616
1566.08	c 4151
1566.99	o 36618
1566.99	c 4149
1567.89	o 36619
1567.89	c 4148
1581.14	o 36621
1581.14	c 4146
1582.06	o 36624
1582.06	c 4143
1582.98	o 36626
1582.98	c 4141
1583.90	o 36627
1583.90	c 4140
1586.60	o 36628
1586.60	c 4139
1587.52	o 36629
1587.52	c 4138
1590.12	o 36630
1590.12	c 4137
1590.61	o 36635
1590.61	c 4132
1591.52	o 36637
1591.53	c 4130
1595.21	o 36639
1595.21	c 4128
1600.39	o 36641
1600.39	c 4126
1603.24	o 36643
1603.24	c 4124
1604.18	o 36644
1604.18	c 4123
1606.01	o 36646
1606.01	c 4121
1606.94	o 36647
1606.94	c 4120
1610.19	o 36650
1610.19	c 4117
1611.10	o 36651
1611.10	c 4116
1611.98	o 36652
1611.98	c 4115
1612.91	o 36655
1612.91	c 4112
1613.81	o 36657
1613.81	c 4110
1614.65	o 36661
1614.65	c 4106
1615.56	o 36662
1615.56	c 4105
1618.25	o 36663
1618.25	c 4104
1619.14	o 36667
1619.14	c 4100
1619.33	o 36668
1619.33	c 4099
1620.23	o 36669
1620.23	c 4098
1621.17	o 36672
1621.17	c 4095
1624.62	o 36675
1624.62	c 4092
1626.38	o 36677
1626.38	c 4090
1627.27	o 36679
1627.27	c 4088
1627.81	o 36681
1627.81	c 4086
1631.37	o 36682
1631.37	c 4085
1632.17	o 36685
1632.17	c 4082
1633.97	o 36686
1633.97	c 4081
1634.89	o 36687
1634.89	c 4080
1637.65	o 36688
1637.65	c 4079
1638.43	o 36689
1638.43	c 4078
1639.33	o 36690
1639.33	c 4077
1640.25	o 36692
1640.25	c 4075
1641.17	o 36696
1641.17	c 4071
1646.07	o 36698
1646.07	c 4069
1647.01	o 36700
1647.01	c 4067
1647.93	o 36701
1647.93	c 4066
1650.71	o 36703
1650.71	c 4064
1651.60	o 36706
1651.60	c 4061
1655.12	o 36707
1655.12	c 4060
1655.60	o 36710
1655.60	c 4057
1656.52	o 36711
1656.52	c 4056
1661.20	o 36714
1661.20	c 4053
1665.85	o 36715
1665.85	c 4052
1668.21	o 36717
1668.21	c 4050
1669.98	o 36721
1669.98	c 4046
1670.92	o 36723
1670.92	c 4044
1675.59	o 36727
1675.59	c 4040
1677.07	o 36730
1677.07	c 4037
1679.00	o 36733
1679.00	c 4034
1691.21	o 36735
1691.21	c 4032
1692.15	o 36738
1692.15	c 4029
1693.51	o 36741
1693.51	c 4026
1696.28	o 36743
1696.28	c 4024
1697.22	o 36744
1697.22	c 4023
1701.03	o 36745
1701.03	c 4022
1705.52	o 36747
1705.52	c 4020
1706.49	o 36749
1706.49	c 4018
1708.02	o 36750
1708.02	c 4017
1708.95	o 36751
1708.95	c 4016
1709.88	o 36753
1709.88	c 4014
1710.83	o 36755
1710.83	c 4012
1721.95	o 36757
1721.95	c 4010
1732.79	o 36759
1732.79	c 4008
1733.80	o 36762
1733.80	c 4005
1735.78	o 36764
1735.78	c 4003
1736.78	o 36767
1736.78	c 4000
1738.79	o 36770
1738.79	c 3997
1739.49	o 36774
1739.49	c 3993
1741.50	o 36775
1741.50	c 3992
1743.49	o 36778
1743.49	c 3989
1744.49	o 36781
1744.49	c 3986
1745.46	o 36785
1745.46	c 3982
1746.42	o 36789
1746.42	c 3978
1748.40	o 36792
1748.40	c 3975
1749.36	o 36794
1749.36	c 3973
1750.35	o 36796
1750.35	c 3971
1753.33	o 36803
1753.33	c 3964
1754.32	o 36804
1754.32	c 3963
1759.33	o 36806
1759.33	c 3961
1760.33	o 36807
1760.33	c 3960
1761.33	o 36808
1761.33	c 3959
1769.60	o 36813
1769.60	c 3954
1785.32	o 36816
1785.32	c 3951
1786.02	o 36819
1786.02	c 3948
1788.62	o 36820
1788.62	c 3947
1790.62	o 36822
1790.62	c 3945
1793.43	o 36824
1793.43	c 3943
1794.41	o 36827
1794.41	c 3940
1797.26	o 36829
1797.26	c 3938
1798.26	o 36830
1798.26	c 3937
1799.24	o 36831
1799.24	c 3936
1800.22	o 36833
1800.22	c 3934
1801.07	o 36836
1801.07	c 3931
1801.81	o 36837
1801.81	c 3930
1805.52	o 36838
1805.52	c 3929
1806.53	o 36842
1806.53	c 3925
1810.50	o 36845
1810.50	c 3922
1811.51	o 36847
1811.51	c 3920
1815.63	o 36851
1815.63	c 3916
1817.71	o 36853
1817.71	c 3914
1818.74	o 36854
1818.74	c 3913
1820.80	o 36857
1820.80	c 3910
1821.65	o 36858
1821.65	c 3909
1822.64	o 36860
1822.64	c 3907
1823.45	o 36864
1823.45	c 3903
1824.49	o 36865
1824.49	c 3902
1825.52	o 36866
1825.52	c 3901
1848.14	o 36867
1848.14	c 3900
1849.17	o 36868
1849.17	c 3899
1853.35	o 36870
1853.35	c 3897
1855.02	o 36871
1855.02	c 3896
1856.07	o 36874
1856.07	c 3893
1861.88	o 36875
1861.88	c 3892
1862.93	o 36876
1862.93	c 3891
1863.98	o 36878
1863.98	c 3889
1865.02	o 36881
1865.02	c 3886
1866.07	o 36882
1866.07	c 3885
1867.14	o 36884
1867.14	c 3883
1868.13	o 36886
1868.13	c 3881
1870.98	o 36887
1870.98	c 3880
1872.04	o 36889
1872.04	c 3878
1873.08	o 36890
1873.08	c 3877
1876.15	o 36891
1876.15	c 3876
1885.99	o 36894
1885.99	c 3873
1886.52	o 36897
1886.52	c 3870
1886.97	o 36900
1886.97	c 3867
1887.97	o 36903
1887.97	c 3864
1896.02	o 36904
1896.02	c 3863
1898.07	o 36908
1898.07	c 3859
1907.14	o 36911
1907.14	c 3856
1910.11	o 36913
1910.11	c 3854
1915.12	o 36914
1915.12	c 3853
1915.94	o 36915
1915.94	c 3852
1916.96	o 36917
1916.96	c 3850
1921.99	o 36918
1921.99	c 3849
1924.68	o 36921
1924.68	c 3846
1925.12	o 36924
1925.12	c 3843
1925.94	o 36926
1925.94	c 3841
1926.30	o 36928
1926.30	c 3839
1927.28	o 36931
1927.28	c 3836
1928.25	o 36932
1928.25	c 3835
1931.17	o 36935
1931.17	c 3832
1936.90	o 36937
1936.90	c 3830
1937.89	o 36938
1937.89	c 3829
1945.42	o 36940
1945.42	c 3827
1946.38	o 36942
1946.38	c 3825
1947.37	o 36944
1947.37	c 3823
1949.30	o 36945
1949.30	c 3822
1949.54	o 36948
1949.54	c 3819
1950.09	o 36951
1950.09	c 3816
1950.79	o 36953
1950.79	c 3814
1951.75	o 36956
1951.75	c 3811
1956.13	o 36960
1956.13	c 3807
1958.08	o 36962
1958.08	c 3805
1959.05	o 36965
1959.05	c 3802
1961.00	o 36970
1961.00	c 3797
1965.94	o 36971
1965.94	c 3796
1972.67	o 36972
1972.67	c 3795
1973.63	o 36973
1973.63	c 3794
1979.21	o 36974
1979.21	c 3793
1986.39	o 36975
1986.39	c 3792
1989.30	o 36977
1989.30	c 3790
1991.23	o 36982
1991.23	c 3785
1994.19	o 36988
1994.19	c 3779
1995.15	o 36989
1995.15	c 3778
1996.14	o 36990
1996.14	c 3777
1997.14	o 36991
1997.14	c 3776
1998.01	o 36994
1998.01	c 3773
2000.04	o 36995
2000.04	c 3772
2001.03	o 36999
2001.03	c 3768
2002.98	o 37000
2002.98	c 3767
2004.93	o 37001
2004.93	c 3766
2009.03	o 37003
2009.03	c 3764
2012.87	o 37004
2012.87	c 3763
2013.62	o 37007
2013.62	c 3760
2014.23	o 37010
2014.23	c 3757
2015.19	o 37011
2015.19	c 3756
2016.17	o 37013
2016.17	c 3754
2017.14	o 37015
2017.14	c 3752
2020.08	o 37016
2020.08	c 3751
2023.06	o 37017
2023.06	c 3750
2025.02	o 37021
2025.02	c 3746
2025.68	o 37023
2025.68	c 3744
2026.66	o 37024
2026.66	c 3743
2041.02	o 37025
2041.02	c 3742
2042.01	o 37026
2042.01	c 3741
2047.90	o 37028
2047.90	c 3739
2048.48	o 37029
2048.48	c 3738
2049.47	o 37030
2049.47	c 3737
2052.42	o 37032
2052.42	c 3735
2053.41	o 37036
2053.41	c 3731
2054.40	o 37038
2054.40	c 3729
2055.32	o 37039
2055.32	c 3728
2056.34	o 37041
2056.34	c 3726
2086.91	   
2086.91	   search
2086.91	     run=0  nbConstraintChecks=4552783991  nbAssignments=4064
2086.91	       =>  wckTime=2022.483  cpuTime=2015.73  mem=85M475
2086.91	   
2086.91	   global
2086.91	     nbConstraintChecks=4552783991  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
2086.91	     solvingWckTime=2022.46  solvingCpuTime=2015.71  expiredTime=no  totalExploration=no  nbFoundSolutions=0
2086.91	     globalCpuTime=2077.75
2086.91	       =>  wckTime=2086.596  cpuTime=2077.7  mem=85M475
2086.91	   
2086.91	   solver IterativeSystematicSolver being built... 
2087.84	       =>  wckTime=2087.53  cpuTime=2078.23  mem=244M723
2273.88	   
2273.88	   preprocessing
2273.88	     nbConstraintChecks=430613508  nbValidityChecks=1449169  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
2273.88	     nbRemovedValues=0  detectedInconsistency=no
2273.88	       =>  wckTime=186.032  cpuTime=185.82  mem=244M723
2407.99	v 2024 2024 2644 2740 2692 2060 -2020 -2216 -2700 2168 -2588 -2120 2608 -2136 -2528 2632 2596 -2328 -2632 -2036 -2132 -2536 2412 -2020 2336 -2740 -2636 -2460 2740 2064 2416 2020 2216 2552 2512 -2724 -2528 2060 -2492 -2080 -2696 2076 2496 2656 2620 2664 2696 2736 -2380 2064 2108 -2480 -2696 2672 -2256 -2032 2568 2416 -2672 -2188 -2248 -2608 -2720 -2328 -2176 2656 -2684 2148 2028 -2700 -2716 2596 2268 -2696 -2384 -2636 -2020 -2736 -2320 -2600 2024 2640 2604 2340 -2112 2376 -2028 -2484 -2676 -2656 2164 2228 -2508 -2696 2696 -2176 -2484 -2176 2092 -2636 2324 -2164 2376 2028 2312 2732 2656 2468 2616 2688 -2060 2716 2064 2696 2416 -2604 2052 -2172 -2640 2180 2684 -2520 2424 -2056 -2288 2104 -2364 2736 2064 -2544 -2412 -2668 2020 -2032 2572 2024 -2108 -2740 2672 2064 -2656 -2688 2288 2684 -2072 2640 -2724 -2020 2568 2168 2020 -2416 -2240 2456 2432 -2360 -2076 -2740 2280 2480 -2240 -2660 2696 -2740 -2720 -2568 2424 2448 2740 -2436 -2736 2224 2720 2728 2064 2420 2192 2428 -2672 -2072 -2040 2740 2028 2664 -2288 -2716 2684 2608 -2372 2360 2736 2028 -2624 -2280 -2692 -2564 -2020 -2232 -2036 -2328 2608 2576 2268 -2700 -2092 2060 2640 -2636 2728 2728 -2692 -2736 2060 -2020 -2412 -2460 -2640 -2064 -2736 -2416 2288 -2712 2476 -2700 2072 2544 -2080 2740 2048 2040 -2060 2392 -2400 -2072 2688 2668 -2704 2060 2724 2700 -2024 -2620 -2376 2020 -2064 2704 -2364 -2448 -2732 2564 -2636 2332 -2492 2428 2212 2732 -2116 2180 2540 2360 -2116 2520 2440 2388 -2736 -2580 -2712 -2352 -2024 -2728 -2316 -2060 2540 -2712 2064 2660 2276 2672 -2712 -2096 -2020 2684 -2024 2068 -2736 2604 2740 2432 -2496 -2556 -2076 -2684 2444 -2588 -2132 2728 2312 2284 2096 -2348 -2636 -2736 2664 2444 -2728 2336 2648 -2104 2736 -2060 -2700 2084 -2020 2020 -2684 -2540 -2452 2092 2288 -2256 -2468 -2624 -2036 2052 2268 2064 -2212 2108 -2500 2736 2304 -2676 -2040 2540 -2020 2704 2680 2464 -2660 -2180 -2680 2648 2636 2732 -2200 -2144 2296 -2028 2276 2192 -2324 2612 -2612 -2300 -2416 -2736 2156 -2680 -2660 -2064 2628 2532 2068 2540 -2444 2660 -2428 -2060 -2032 2708 2080 2696 -2144 2704 2692 -2468 -2700 2704 -2056 -2476 -2136 -2352 -2312 2464 -2516 -2064 -2112 2216 -2020 -2304 2320 2620 -2700 -2444 -2068 2688 2396 -2620 -2048 -2116 2148 -2728 2652 -2440 2620 -2288 -2340 2720 2604 -2020 2028 2104 2284 2472 2728 2088 -2732 2532 -2372 -2236 -2740 2408 2032 -2732 -2288 -2328 2628 -2704 2368 -2272 2164 2260 2076 2596 -2372 -2020 -2740 -2732 2108 2684 -2020 -2612 -2696 -2332 -2628 -2740 -2076 -2380 -2724 -2720 -2064 2740 -2220 -2740 2064 2616 -2348 -2632 -2368 2112 -2048 2676 -2092 -2604 2024 2676 -2412 2028 2068 2372 -2236 2500 -2736 -2388 2560 -2512 -2700 2380 2456 -2328 2488 -2628 2036 2740 -2032 -2080 2600 2508 2608 2424 -2028 -2164 -2552 2036 -2108 -2608 2712 2148 -2588 2192 2064 -2556 -2040 -2164 -2040 -2516 2060 -2448 2232 2632 2496 2240 -2636 -2020 -2052 -2152 2644 -2244 2228 -2484 2060 -2416 -2292 -2692 -2416 2656 -2268 -2024 -2556 2728 2332 -2052 -2684 -2444 -2684 2160 2520 2496 -2668 -2124 -2696 -2720 -2568 -2700 2364 2548 -2684 2308 2060 -2692 -2020 2440 2280 -2020 2324 -2060 -2520 2348 2692 -2696 -2688 -2212 -2484 -2700 2740 2020 2688 2384 2684 -2540 -2536 -2020 -2064 -2560 2316 -2712 2512 -2564 2036 2088 2216 -2524 -2520 2372 2672 -2276 2112 2400 -2444 2192 -2316 -2132 2700 -2364 2232 2076 2636 2628 -2536 -2288 2652 -2028 -2212 -2212 2028 -2020 2024 -2020 2028 2452 -2676 -2024 2372 2044 2384 2700 2136 2032 2424 -2352 2092 2464 -2728 -2688 -2632 -2272 2384 -2244 -2572 2380 2736 -2256 2696 2652 2424 -2500 -2720 -2696 2692 2140 -2332 -2412 2064 2288 -2072 -2668 -2740 2588 -2568 2564 -2584 2724 2700 2284 -2216 -2720 -2216 -2336 -2096 2120 -2660 2644 2544 -2100 2604 2272 -2132 -2232 2308 2024 2680 -2272 2328 -2444 -2232 -2648 -2700 2740 -2524 -2020 2504 -2528 2560 2384 -2740 -2020 -2300 -2608 -2176 -2052 -2072 -2736 2380 -2724 -2084 -2692 -2060 2672 2692 -2412 2740 -2256 2020 -2096 -2700 2224 2656 2720 2524 2060 2380 2528 -2060 2320 2124 2648 2068 -2024 2044 -2020 -2632 2120 2572 -2060 -2608 -2740 2660 2056 -2228 -2488 2048 2652 2208 2580 -2156 2616 2212 2448 2740 2736 -2684 2516 -2144 -2020 -2740 2020 2056 2740 2304 -2740 -2020 -2628 2340 2740 2024 2056 -2024 -2708 2060 2684 -2076 -2128 2420 -2308 2068 -2512 -2024 -2700 -2668 2032 2020 2036 2356 -2348 -2488 2388 -2444 -2080 -2132 -2160 2212 2620 2032 -2068 2076 2716 2076 2068 2572 -2700 2660 -2688 -2216 -2428 2096 -2376 2592 -2696 -2440 2164 2356 2376 2020 -2656 -2688 2576 -2340 2392 2056 2404 2228 2024 -2492 -2320 2036 2108 -2320 2720 2276 2408 -2516 2484 -2676 2084 -2356 -2184 2204 -2588 2148 -2532 -2740 -2516 2700 -2360 -2064 -2736 2356 2608 -2104 2304 2668 2576 -2264 2652 -2696 -2432 -2120 -2608 2268 2380 -2020 -2696 2024 -2664 -2552 -2568 -2288 2600 -2020 2648 2536 -2684 -2044 -2700 2328 2424 2736 -2248 -2384 2104 2708 2668 2368 2400 -2272 -2068 -2740 2148 -2124 2564 2660 -2020 -2028 2324 -2440 -2368 -2540 -2704 2340 -2200 2508 -2240 -2492 2068 -2740 -2252 2060 -2740 2388 2740 -2696 2620 -2604 2032 -2680 -2364 2508 -2092 -2024 2024 -2424 -2604 2500 2212 -2540 -2680 -2732 2620 2664 -2700 2060 2556 -2564 -2700 2636 2704 2540 2416 2704 2608 2648 2024 -2504 2132 -2420 2728 2428 -2216 2096 2388 2036 -2708 -2200 -2688 2052 2680 -2704 2452 -2572 -2036 2672 -2152 -2060 2740 -2436 -2716 2688 -2360 -2616 -2740 2600 -2024 -2368 2736 2076 2428 2032 2252 2376 2716 -2332 -2688 2252 -2584 -2600 2588 2724 -2132 -2064 -2488 -2232 -2376 -2740 -2284 2092 2736 2112 -2312 -2480 2696 2632 2232 2108 2700 2700 2728 -2220 -2396 -2736 -2624 -2200 2396 -2740 -2700 -2740 -2692 2740 -2704 -2692 2236 2116 2292 -2640 2192 2644 -2180 -2032 2248 -2076 2224 -2252 -2568 2740 2028 -2416 -2736 -2716 -2124 2464 2576 -2688 2640 -2164 2512 2068 2096 -2380 -2248 -2348 -2320 -2720 -2284 2684 -2204 2692 2104 -2436 -2740 2476 -2492 -2064 2060 -2600 -2492 2320 -2696 2028 -2600 -2580 -2372 -2548 2608 -2184 -2040 2556 2656 -2708 2216 -2028 -2504 -2676 2244 2020 2028 2084 2328 -2036 2104 2536 -2068 2600 2156 2640 2724 2068 -2732 -2196 -2352 -2068 2028 2736 2032 -2740 2692 2692 -2288 2716 -2480 -2452 2356 -2348 -2248 2064 2384 -2536 2080 2380 2212 -2036 -2276 2276 -2568 2404 -2732 -2064 -2476 -2688 2272 -2716 2064 -2440 2632 2676 -2044 2232 2700 2064 -2048 2652 -2728 -2076 -2404 2072 -2732 2612 -2068 -2376 2072 -2056 -2032 2048 2360 2088 -2716 -2204 2220 2300 -2020 2136 2660 -2660 -2020 -2420 -2524 -2196 -2740 2700 2144 -2020 2464 -2080 -2664 -2664 -2584 2412 -2568 2064 -2672 -2508 2176 -2648 2620 -2316 2436 2584 2160 2516 2712 2588 2700 -2664 2432 -2228 2624 -2028 2392 -2704 -2700 2560 -2680 2020 -2308 -2700 -2588 -2312 2484 -2584 2024 -2560 2712 -2164 2528 2612 2084 -2640 -2316 2696 -2084 -2708 -2032 -2740 -2672 2164 -2220 -2696 2300 -2516 2156 2696 2208 -2648 2736 2684 -2732 2724 -2096 -2704 2212 2560 -2688 -2372 2632 2696 -2676 2616 2036 2236 2024 -2628 -2700 2020 -2688 -2540 -2204 -2568 -2096 2020 2192 -2532 2064 2020 -2024 2740 -2352 2036 2736 2736 -2436 2048 -2052 -2060 2060 2680 2324 2736 2672 2212 2644 -2092 -2740 -2692 -2312 -2396 2428 2300 -2348 -2704 -2072 -2260 -2076 2148 2288 2300 2640 -2072 -2224 2340 2444 2640 -2020 -2152 2688 2584 -2076 -2548 2020 -2596 2440 2700 2380 2068 2648 -2456 -2484 2084 2024 2096 -2560 2072 2732 2724 -2468 2236 -2724 2708 2064 -2304 2068 -2028 2080 2548 2312 -2248 -2608 2132 -2328 -2672 2596 2132 2604 2344 2024 2240 -2096 -2020 -2520 2504 2020 -2704 2076 -2084 2124 -2060 -2264 -2412 2024 2624 -2412 -2020 -2416 -2300 -2592 2244 -2716 -2452 2032 -2644 -2080 2740 -2452 2680 -2112 -2692 2464 -2060 -2344 2412 -2668 2020 -2020 -2424 2184 -2552 2172 -2124 2112 -2436 2648 2488 2376 -2556 2132 -2400 -2064 -2736 -2716 -2380 2364 -2068 -2072 2740 -2388 -2740 -2460 -2328 2312 -2312 2652 -2732 2340 2236 -2068 2028 -2372 2736 2152 -2524 2692 -2196 2684 2652 2060 -2676 -2048 -2572 2104 -2336 -2728 -2060 -2608 -2720 -2264 2672 2676 2324 -2084 -2292 -2740 2132 -2060 2696 -2340 -2588 -2060 -2472 -2692 -2088 2300 -2324 -2360 2448 -2024 -2176 -2072 2440 2088 -2396 -2524 -2520 -2584 2072 -2672 2452 2696 -2176 2736 2020 2068 2600 -2572 2712 -2660 2380 -2172 -2112 2376 -2092 2716 2040 -2048 2532 2632 -2516 -2388 -2024 2676 2700 2488 2544 2688 2720 -2160 2676 -2108 -2020 -2336 2736 -2728 -2740 2716 2660 2412 2676 2288 2264 2740 2060 -2600 2432 -2724 -2092 -2188 -2152 2356 -2660 2364 -2440 -2484 2156 -2044 2356 -2248 2208 -2060 -2448 -2628 -2608 2368 -2344 -2316 -2732 -2628 -2080 -2616 2020 -2304 2484 -2344 -2736 -2684 2096 2096 -2156 2536 -2664 -2648 2700 -2592 -2472 -2632 2212 -2680 -2124 -2176 -2024 -2072 -2628 2684 2588 -2388 -2140 -2080 2656 -2524 2376 -2564 2400 -2688 2700 -2160 2696 2092 -2368 2736 -2376 -2596 -2460 2508 -2036 -2672 2736 -2024 2700 -2032 -2500 -2568 -2648 2348 2080 2624 -2272 2108 -2072 2352 2672 -2680 -2320 2740 2736 -2432 -2700 2548 -2408 -2020 2068 -2252 2692 2696 -2088 -2068 2640 2716 -2508 -2224 2400 -2020 -2684 -2400 -2464 -2160 -2564 -2560 2056 -2712 2488 2128 2024 -2028 -2376 2660 2212 -2060 -2020 2068 2580 -2452 -2724 -2020 2736 -2048 2416 -2548 2324 -2024 2424 2316 -2676 -2408 2200 -2668 -2724 -2604 -2024 -2064 2576 2020 2064 -2700 2736 -2212 2576 2328 2028 2700 2300 -2556 2628 -2020 2668 2740 -2208 2324 2036 2036 -2092 2340 -2392 2692 -2020 2508 2080 2084 -2316 -2260 2676 2036 2740 -2688 -2724 -2240 2328 2700 -2088 2076 2632 -2436 -2332 -2736 2028 2028 -2160 2176 2040 2568 -2688 -2540 -2672 2436 2660 -2120 2676 2704 2404 -2584 2068 2260 2032 -2464 2108 2588 -2468 2236 -2468 2172 -2032 2356 2676 2060 2700 2024 -2372 2740 -2528 -2200 -2180 -2032 2600 2032 2716 2732 2296 2708 2376 -2068 2436 -2052 2552 -2308 2712 -2048 2740 -2456 -2408 2488 -2344 -2060 2024 -2568 -2020 2732 2168 -2740 2620 2040 2232 -2700 2724 -2424 -2312 -2276 2024 2740 -2456 2076 -2480 -2680 2444 -2328 2068 -2152 -2040 2592 -2080 2620 2432 2740 -2728 -2044 2432 2100 -2044 2652 -2084 2120 -2448 2064 2060 2736 2384 -2604 2068 2076 -2732 -2096 -2120 -2264 -2260 2712 -2060 2336 -2492 -2664 -2136 2736 2356 2692 2064 2076 2280 -2660 -2112 -2024 2724 -2608 2664 -2624 2076 2672 2248 2144 2648 -2060 2740 -2280 2672 2300 2188 2712 2724 -2728 2736 2068 -2060 -2692 2404 -2664 -2120 -2568 -2052 2368 2040 2468 -2456 2320 2428 2692 2644 2028 2256 -2204 2688 -2284 -2032 2672 2332 2404 -2084 2732 -2692 -2396 -2632 -2064 -2544 -2020 -2664 2564 2072 2400 2696 -2080 -2696 -2248 2364 -2416 -2436 -2024 -2668 -2680 2500 2172 2620 2592 -2152 2632 -2696 2108 2144 -2724 2400 2596 -2060 2700 -2728 2624 2704 -2740 2716 -2700 2348 2500 2348 2460 -2064 2024 -2520 -2548 -2740 -2660 2652 -2688 2036 -2700 -2668 2700 2096 -2488 2096 -2072 -2556 2712 2688 -2304 2440 -2044 -2320 -2596 2056 2036 -2660 -2644 2024 -2172 2376 -2060 2352 2552 -2208 -2028 -2464 -2416 2392 -2656 -2040 -2696 -2668 2020 -2616 -2736 2692 -2020 2740 2628 -2228 2596 -2580 -2024 -2436 2392 2688 2080 -2728 2024 -2732 -2492 -2548 2068 2032 2180 2072 2512 2716 -2676 2032 -2648 2228 2020 2560 -2040 -2076 2460 2168 -2576 2560 2648 2696 2060 2036 2132 2604 2668 2108 -2600 -2372 2692 2700 -2696 -2140 -2244 -2104 -2612 -2040 -2452 2732 -2604 2148 -2564 2024 2664 2080 -2508 -2720 -2020 -2192 -2024 -2108 -2476 -2476 2076 -2196 2172 -2688 2664 2068 -2572 -2236 -2544 -2728 2048 -2648 2080 -2404 -2076 -2336 -2740 2148 2032 2540 -2028 -2592 2568 2472 2060 2740 2720 2700 2020 -2296 2028 2020 2692 -2172 -2404 2712 2040 2576 2040 -2072 2608 -2420 2024 2544 -2632 2200 -2736 -2324 2208 2568 2252 2076 2740 2112 2188 2064 -2588 -2076 -2212 -2456 -2352 -2056 2424 -2664 2204 2252 -2040 2220 -2024 -2716 2500 -2480 2700 2732 -2244 2020 -2724 -2020 2628 -2524 -2316 2656 2604 -2060 -2716 -2448 2024 -2736 2076 -2276 -2100 2024 2136 -2024 -2344 -2568 2376 2688 -2064 -2308 -2264 2044 2540 2032 2088 2476 2064 -2396 -2192 2408 2460 2500 2020 -2028 -2644 -2208 2592 2024 -2388 2072 -2580 -2060 2028 2664 -2092 2224 -2072 -2620 -2700 -2076 -2208 -2412 -2580 -2060 -2060 2308 2716 -2528 2740 2740 2368 -2472 2100 2096 -2664 -2180 -2204 2028 2088 2668 -2060 2580 2020 -2020 2216 2236 2484 2456 2088 2420 -2264 2316 -2504 2668 2556 -2740 2076 -2068 -2116 2360 -2088 2352 2400 -2096 2140 -2068 -2512 2104 -2472 -2736 -2600 2428 2608 -2548 2260 2728 -2512 -2340 2592 -2556 -2664 -2052 2380 -2692 -2020 -2156 2024 2020 -2068 -2192 -2056 -2344 -2020 -2388 -2324 2020 -2028 2720 2580 -2404 -2672 -2476 -2028 -2088 -2444 -2104 -2664 -2028 2020 2508 -2468 2324 -2072 -2228 2164 -2724 2740 -2596 2036 2700 2664 -2524 2640 -2732 -2492 2092 2732 -2664 -2036 -2732 -2528 2564 -2468 -2672 -2420 2696 -2260 2648 -2256 2640 2316 2040 -2184 2484 2372 2596 2060 -2640 -2704 2196 2068 -2284 2400 -2552 -2696 -2556 2464 -2668 2288 2196 2196 -2536 -2240 -2124 -2600 2284 2284 2036 -2580 -2048 2120 2288 -2064 2460 -2700 2220 2700 2664 2136 -2700 2288 2468 2644 -2388 -2416 -2360 2676 -2216 2200 2588 2284 -2676 2740 -2612 -2700 2680 2468 2552 2628 2672 2676 -2724 -2700 2604 -2444 2736 -2068 2696 -2020 2340 -2092 2736 2624 -2652 2028 2556 2636 -2608 2376 2740 2220 -2500 2596 2032 2308 2612 2032 -2704 2680 2676 -2284 2624 -2700 -2736 -2288 -2024 -2036 -2020 -2068 2060 -2092 2056 -2476 2408 -2200 -2568 -2328 2072 -2536 2592 2372 2496 2396 2276 2740 2440 -2696 2484 2700 2696 2028 -2728 2360 2332 -2700 -2508 -2452 -2024 2700 -2020 -2628 2176 2612 2700 2716 2420 2652 2124 -2240 -2380 2080 2700 2700 -2232 2068 -2328 2308 -2248 -2532 2236 -2392 2084 2696 -2332 -2228 -2252 2596 2052 2120 -2524 -2160 -2396 -2196 -2296 -2028 2532 2152 -2068 2028 2668 2104 2612 2056 -2280 -2600 -2104 -2144 2036 -2660 2556 2724 2060 2568 2036 2736 2488 -2020 2216 2208 -2440 -2108 -2552 2532 2100 2196 -2124 2568 2740 2408 2020 -2068 2080 -2148 2060 2668 2732 -2452 -2340 -2140 -2736 -2688 2504 2696 2608 -2740 2076 2076 -2036 2440 2060 2140 2644 2144 2024 -2540 2308 2172 2732 -2472 2068 -2352 -2076 2156

Verifier Data (download as text)

3726 unsatisfied constraints, 37041 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/node10/watcher-275238-1169218859 -o ROOT/results/node10/solver-275238-1169218859 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/275238-1169218859/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.95 2.01 1.95 4/94 9562
/proc/meminfo: memFree=1088160/2055920 swapFree=4178232/4192956
[pid=9561] ppid=9559 vsize=906644 CPUtime=0.02
/proc/9561/stat : 9561 (java) S 9559 9561 8955 0 -1 0 2068 0 1 0 1 1 0 0 18 0 2 0 270281096 928403456 1817 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 7368 18446744073709551615 0 0 17 1 0 0
/proc/9561/statm: 226661 1817 1036 14 0 214244 0
[pid=9561/tid=9563] ppid=9559 vsize=906644 CPUtime=0
/proc/9561/task/9563/stat : 9563 (java) R 9559 9561 8955 0 -1 64 3 0 0 0 0 0 0 0 19 0 2 0 270281099 928403456 1817 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 7368 0 0 0 -1 1 0 0

[startup+0.104593 s]
/proc/loadavg: 1.95 2.01 1.95 4/94 9562
/proc/meminfo: memFree=1088160/2055920 swapFree=4178232/4192956
[pid=9561] ppid=9559 vsize=914988 CPUtime=0.09
/proc/9561/stat : 9561 (java) R 9559 9561 8955 0 -1 0 2994 0 1 0 7 2 0 0 17 0 8 0 270281096 936947712 2740 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072929090 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9561/statm: 228747 2740 1427 14 0 215242 0
[pid=9561/tid=9563] ppid=9559 vsize=914988 CPUtime=0
/proc/9561/task/9563/stat : 9563 (java) S 9559 9561 8955 0 -1 64 6 0 0 0 0 0 0 0 18 0 8 0 270281099 936947712 2740 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988

[startup+0.513647 s]
/proc/loadavg: 1.95 2.01 1.95 4/94 9562
/proc/meminfo: memFree=1088160/2055920 swapFree=4178232/4192956
[pid=9561] ppid=9559 vsize=915332 CPUtime=0.49
/proc/9561/stat : 9561 (java) S 9559 9561 8955 0 -1 0 7411 0 1 0 45 4 0 0 18 0 8 0 270281096 937299968 7150 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9561/statm: 228833 7150 2140 14 0 215303 0
[pid=9561/tid=9563] ppid=9559 vsize=915332 CPUtime=0
/proc/9561/task/9563/stat : 9563 (java) S 9559 9561 8955 0 -1 64 6 0 0 0 0 0 0 0 18 0 8 0 270281099 937299968 7150 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915332

[startup+1.33476 s]
/proc/loadavg: 1.95 2.01 1.95 4/101 9569
/proc/meminfo: memFree=1007848/2055920 swapFree=4178232/4192956
[pid=9561] ppid=9559 vsize=915612 CPUtime=1.31
/proc/9561/stat : 9561 (java) R 9559 9561 8955 0 -1 0 24340 0 1 0 117 14 0 0 18 0 8 0 270281096 937586688 24077 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073598765 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9561/statm: 228903 24077 2161 14 0 215373 0
[pid=9561/tid=9563] ppid=9559 vsize=915612 CPUtime=0.09
/proc/9561/task/9563/stat : 9563 (java) S 9559 9561 8955 0 -1 64 7788 0 0 0 6 3 0 0 16 0 8 0 270281099 937586688 24077 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9561/tid=9564] ppid=9559 vsize=915612 CPUtime=0
/proc/9561/task/9564/stat : 9564 (java) S 9559 9561 8955 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 270281100 937586688 24077 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9561/tid=9565] ppid=9559 vsize=915612 CPUtime=0
/proc/9561/task/9565/stat : 9565 (java) S 9559 9561 8955 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270281100 937586688 24077 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9561/tid=9566] ppid=9559 vsize=915612 CPUtime=0
/proc/9561/task/9566/stat : 9566 (java) S 9559 9561 8955 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270281104 937586688 24077 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9561/tid=9567] ppid=9559 vsize=915612 CPUtime=0.15
/proc/9561/task/9567/stat : 9567 (java) R 9559 9561 8955 0 -1 64 404 0 0 0 15 0 0 0 19 0 8 0 270281104 937586688 24077 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9561/tid=9568] ppid=9559 vsize=915612 CPUtime=0
/proc/9561/task/9568/stat : 9568 (java) S 9559 9561 8955 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270281104 937586688 24077 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9561/tid=9569] ppid=9559 vsize=915612 CPUtime=0
/proc/9561/task/9569/stat : 9569 (java) S 9559 9561 8955 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270281104 937586688 24077 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915612

[startup+2.97298 s]
/proc/loadavg: 1.95 2.01 1.95 4/107 9595
/proc/meminfo: memFree=993448/2055920 swapFree=4178232/4192956
[pid=9561] ppid=9559 vsize=915744 CPUtime=2.9
/proc/9561/stat : 9561 (java) R 9559 9561 8955 0 -1 0 26165 0 1 0 274 16 0 0 25 0 8 0 270281096 937721856 25898 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073470032 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9561/statm: 228936 25898 2181 14 0 215406 0
[pid=9561/tid=9563] ppid=9559 vsize=915744 CPUtime=0.21
/proc/9561/task/9563/stat : 9563 (java) S 9559 9561 8955 0 -1 64 9535 0 0 0 17 4 0 0 16 0 8 0 270281099 937721856 25898 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9561/tid=9564] ppid=9559 vsize=915744 CPUtime=0
/proc/9561/task/9564/stat : 9564 (java) S 9559 9561 8955 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 270281100 937721856 25898 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9561/tid=9565] ppid=9559 vsize=915744 CPUtime=0
/proc/9561/task/9565/stat : 9565 (java) S 9559 9561 8955 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270281100 937721856 25898 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9561/tid=9566] ppid=9559 vsize=915744 CPUtime=0
/proc/9561/task/9566/stat : 9566 (java) S 9559 9561 8955 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270281104 937721856 25898 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9561/tid=9567] ppid=9559 vsize=915744 CPUtime=0.18
/proc/9561/task/9567/stat : 9567 (java) S 9559 9561 8955 0 -1 64 416 0 0 0 17 1 0 0 16 0 8 0 270281104 937721856 25898 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9561/tid=9568] ppid=9559 vsize=915744 CPUtime=0
/proc/9561/task/9568/stat : 9568 (java) S 9559 9561 8955 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270281104 937721856 25898 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9561/tid=9569] ppid=9559 vsize=915744 CPUtime=0
/proc/9561/task/9569/stat : 9569 (java) S 9559 9561 8955 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270281104 937721856 25898 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.9
Current children cumulated vsize (KiB) 915744

[startup+6.26542 s]
/proc/loadavg: 1.96 2.01 1.95 3/107 9633
/proc/meminfo: memFree=991392/2055920 swapFree=4178232/4192956
[pid=9561] ppid=9559 vsize=915744 CPUtime=6.14
/proc/9561/stat : 9561 (java) R 9559 9561 8955 0 -1 0 26182 0 1 0 597 17 0 0 25 0 8 0 270281096 937721856 25914 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073827900 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9561/statm: 228936 25914 2181 14 0 215406 0
[pid=9561/tid=9563] ppid=9559 vsize=915744 CPUtime=0.21
/proc/9561/task/9563/stat : 9563 (java) S 9559 9561 8955 0 -1 64 9535 0 0 0 17 4 0 0 16 0 8 0 270281099 937721856 25914 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9561/tid=9564] ppid=9559 vsize=915744 CPUtime=0
/proc/9561/task/9564/stat : 9564 (java) S 9559 9561 8955 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 270281100 937721856 25914 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9561/tid=9565] ppid=9559 vsize=915744 CPUtime=0
/proc/9561/task/9565/stat : 9565 (java) S 9559 9561 8955 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270281100 937721856 25914 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9561/tid=9566] ppid=9559 vsize=915744 CPUtime=0
/proc/9561/task/9566/stat : 9566 (java) S 9559 9561 8955 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270281104 937721856 25914 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9561/tid=9567] ppid=9559 vsize=915744 CPUtime=0.19
/proc/9561/task/9567/stat : 9567 (java) S 9559 9561 8955 0 -1 64 432 0 0 0 18 1 0 0 16 0 8 0 270281104 937721856 25914 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9561/tid=9568] ppid=9559 vsize=915744 CPUtime=0
/proc/9561/task/9568/stat : 9568 (java) S 9559 9561 8955 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270281104 937721856 25914 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9561/tid=9569] ppid=9559 vsize=915744 CPUtime=0
/proc/9561/task/9569/stat : 9569 (java) S 9559 9561 8955 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270281104 937721856 25914 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.14
Current children cumulated vsize (KiB) 915744

[startup+12.7483 s]
/proc/loadavg: 1.96 2.01 1.95 3/107 9641
/proc/meminfo: memFree=989288/2055920 swapFree=4178232/4192956
[pid=9561] ppid=9559 vsize=915744 CPUtime=12.54
/proc/9561/stat : 9561 (java) R 9559 9561 8955 0 -1 0 26719 0 1 0 1236 18 0 0 25 0 8 0 270281096 937721856 26449 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073827958 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9561/statm: 228936 26449 2182 14 0 215406 0
[pid=9561/tid=9563] ppid=9559 vsize=915744 CPUtime=0.25
/proc/9561/task/9563/stat : 9563 (java) S 9559 9561 8955 0 -1 64 10067 0 0 0 21 4 0 0 16 0 8 0 270281099 937721856 26449 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9561/tid=9564] ppid=9559 vsize=915744 CPUtime=0
/proc/9561/task/9564/stat : 9564 (java) S 9559 9561 8955 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 270281100 937721856 26449 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9561/tid=9565] ppid=9559 vsize=915744 CPUtime=0
/proc/9561/task/9565/stat : 9565 (java) S 9559 9561 8955 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270281100 937721856 26449 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9561/tid=9566] ppid=9559 vsize=915744 CPUtime=0
/proc/9561/task/9566/stat : 9566 (java) S 9559 9561 8955 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270281104 937721856 26449 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9561/tid=9567] ppid=9559 vsize=915744 CPUtime=0.2
/proc/9561/task/9567/stat : 9567 (java) S 9559 9561 8955 0 -1 64 434 0 0 0 19 1 0 0 16 0 8 0 270281104 937721856 26449 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9561/tid=9568] ppid=9559 vsize=915744 CPUtime=0
/proc/9561/task/9568/stat : 9568 (java) S 9559 9561 8955 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270281104 937721856 26449 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9561/tid=9569] ppid=9559 vsize=915744 CPUtime=0
/proc/9561/task/9569/stat : 9569 (java) S 9559 9561 8955 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270281104 937721856 26449 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.54
Current children cumulated vsize (KiB) 915744

[startup+25.624 s]
/proc/loadavg: 2.04 2.02 1.96 3/107 9671
/proc/meminfo: memFree=989488/2055920 swapFree=4178232/4192956
[pid=9561] ppid=9559 vsize=915744 CPUtime=25.28
/proc/9561/stat : 9561 (java) R 9559 9561 8955 0 -1 0 26728 0 1 0 2508 20 0 0 25 0 8 0 270281096 937721856 26456 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073827932 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9561/statm: 228936 26456 2182 14 0 215406 0
[pid=9561/tid=9563] ppid=9559 vsize=915744 CPUtime=0.25
/proc/9561/task/9563/stat : 9563 (java) S 9559 9561 8955 0 -1 64 10067 0 0 0 21 4 0 0 16 0 8 0 270281099 937721856 26456 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9561/tid=9564] ppid=9559 vsize=915744 CPUtime=0
/proc/9561/task/9564/stat : 9564 (java) S 9559 9561 8955 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 270281100 937721856 26456 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9561/tid=9565] ppid=9559 vsize=915744 CPUtime=0
/proc/9561/task/9565/stat : 9565 (java) S 9559 9561 8955 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270281100 937721856 26456 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9561/tid=9566] ppid=9559 vsize=915744 CPUtime=0
/proc/9561/task/9566/stat : 9566 (java) S 9559 9561 8955 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270281104 937721856 26456 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9561/tid=9567] ppid=9559 vsize=915744 CPUtime=0.21
/proc/9561/task/9567/stat : 9567 (java) S 9559 9561 8955 0 -1 64 440 0 0 0 20 1 0 0 17 0 8 0 270281104 937721856 26456 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9561/tid=9568] ppid=9559 vsize=915744 CPUtime=0
/proc/9561/task/9568/stat : 9568 (java) S 9559 9561 8955 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270281104 937721856 26456 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9561/tid=9569] ppid=9559 vsize=915744 CPUtime=0
/proc/9561/task/9569/stat : 9569 (java) S 9559 9561 8955 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270281104 937721856 26456 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.2465 s]
/proc/loadavg: 2.02 2.02 1.96 3/107 9733
/proc/meminfo: memFree=980008/2055920 swapFree=4178232/4192956
[pid=9561] ppid=9559 vsize=915744 CPUtime=50.6
/proc/9561/stat : 9561 (java) R 9559 9561 8955 0 -1 0 29120 0 1 0 5029 31 0 0 25 0 8 0 270281096 937721856 28846 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073827938 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9561/statm: 228936 28846 2182 14 0 215406 0
[pid=9561/tid=9563] ppid=9559 vsize=915744 CPUtime=0.34
/proc/9561/task/9563/stat : 9563 (java) S 9559 9561 8955 0 -1 64 12448 0 0 0 29 5 0 0 16 0 8 0 270281099 937721856 28846 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9561/tid=9564] ppid=9559 vsize=915744 CPUtime=0
/proc/9561/task/9564/stat : 9564 (java) S 9559 9561 8955 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 270281100 937721856 28846 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9561/tid=9565] ppid=9559 vsize=915744 CPUtime=0
/proc/9561/task/9565/stat : 9565 (java) S 9559 9561 8955 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270281100 937721856 28846 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9561/tid=9566] ppid=9559 vsize=915744 CPUtime=0
/proc/9561/task/9566/stat : 9566 (java) S 9559 9561 8955 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270281104 937721856 28846 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9561/tid=9567] ppid=9559 vsize=915744 CPUtime=0.22
/proc/9561/task/9567/stat : 9567 (java) S 9559 9561 8955 0 -1 64 449 0 0 0 21 1 0 0 16 0 8 0 270281104 937721856 28846 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9561/tid=9568] ppid=9559 vsize=915744 CPUtime=0
/proc/9561/task/9568/stat : 9568 (java) S 9559 9561 8955 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270281104 937721856 28846 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9561/tid=9569] ppid=9559 vsize=915744 CPUtime=0
/proc/9561/task/9569/stat : 9569 (java) S 9559 9561 8955 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270281104 937721856 28846 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.6
Current children cumulated vsize (KiB) 915744

[startup+102.533 s]
/proc/loadavg: 2.01 2.02 1.96 3/101 9767
/proc/meminfo: memFree=942176/2055920 swapFree=4178232/4192956
[pid=9561] ppid=9559 vsize=915744 CPUtime=101.33
/proc/9561/stat : 9561 (java) R 9559 9561 8955 0 -1 0 39197 0 1 0 10084 49 0 0 25 0 8 0 270281096 937721856 38859 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073829095 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9561/statm: 228936 38859 2501 14 0 215406 0
[pid=9561/tid=9563] ppid=9559 vsize=915744 CPUtime=1.18
/proc/9561/task/9563/stat : 9563 (java) S 9559 9561 8955 0 -1 64 22142 0 0 0 109 9 0 0 16 0 8 0 270281099 937721856 38859 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9561/tid=9564] ppid=9559 vsize=915744 CPUtime=0
/proc/9561/task/9564/stat : 9564 (java) S 9559 9561 8955 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 270281100 937721856 38859 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9561/tid=9565] ppid=9559 vsize=915744 CPUtime=0
/proc/9561/task/9565/stat : 9565 (java) S 9559 9561 8955 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270281100 937721856 38859 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9561/tid=9566] ppid=9559 vsize=915744 CPUtime=0
/proc/9561/task/9566/stat : 9566 (java) S 9559 9561 8955 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270281104 937721856 38859 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9561/tid=9567] ppid=9559 vsize=915744 CPUtime=0.29
/proc/9561/task/9567/stat : 9567 (java) S 9559 9561 8955 0 -1 64 478 0 0 0 27 2 0 0 16 0 8 0 270281104 937721856 38859 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9561/tid=9568] ppid=9559 vsize=915744 CPUtime=0
/proc/9561/task/9568/stat : 9568 (java) S 9559 9561 8955 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270281104 937721856 38859 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9561/tid=9569] ppid=9559 vsize=915744 CPUtime=0
/proc/9561/task/9569/stat : 9569 (java) S 9559 9561 8955 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270281104 937721856 38859 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.33
Current children cumulated vsize (KiB) 915744

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

Current children cumulated CPU time (s) 2016.74
Current children cumulated vsize (KiB) 915744

[startup+2084.18 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 9901
/proc/meminfo: memFree=1013112/2055920 swapFree=4178232/4192956
[pid=9561] ppid=9559 vsize=915744 CPUtime=2076.72
/proc/9561/stat : 9561 (java) R 9559 9561 8955 0 -1 0 39200 0 1 0 207568 104 0 0 25 0 8 0 270281096 937721856 38862 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074020403 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9561/statm: 228936 38862 2501 14 0 215406 0
[pid=9561/tid=9563] ppid=9559 vsize=915744 CPUtime=1.18
/proc/9561/task/9563/stat : 9563 (java) S 9559 9561 8955 0 -1 64 22142 0 0 0 109 9 0 0 16 0 8 0 270281099 937721856 38862 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9561/tid=9564] ppid=9559 vsize=915744 CPUtime=0
/proc/9561/task/9564/stat : 9564 (java) S 9559 9561 8955 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 270281100 937721856 38862 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9561/tid=9565] ppid=9559 vsize=915744 CPUtime=0
/proc/9561/task/9565/stat : 9565 (java) S 9559 9561 8955 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270281100 937721856 38862 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9561/tid=9566] ppid=9559 vsize=915744 CPUtime=0
/proc/9561/task/9566/stat : 9566 (java) S 9559 9561 8955 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270281104 937721856 38862 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9561/tid=9567] ppid=9559 vsize=915744 CPUtime=0.3
/proc/9561/task/9567/stat : 9567 (java) S 9559 9561 8955 0 -1 64 481 0 0 0 28 2 0 0 16 0 8 0 270281104 937721856 38862 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9561/tid=9568] ppid=9559 vsize=915744 CPUtime=0
/proc/9561/task/9568/stat : 9568 (java) S 9559 9561 8955 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270281104 937721856 38862 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9561/tid=9569] ppid=9559 vsize=915744 CPUtime=0
/proc/9561/task/9569/stat : 9569 (java) S 9559 9561 8955 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270281104 937721856 38862 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2076.72
Current children cumulated vsize (KiB) 915744

[startup+2144.25 s]
/proc/loadavg: 2.05 2.01 2.00 3/100 9901
/proc/meminfo: memFree=901688/2055920 swapFree=4178232/4192956
[pid=9561] ppid=9559 vsize=915884 CPUtime=2136.74
/proc/9561/stat : 9561 (java) R 9559 9561 8955 0 -1 0 67107 0 1 0 213559 115 0 0 25 0 8 0 270281096 937865216 66763 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073827951 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9561/statm: 228971 66763 2546 14 0 215441 0
[pid=9561/tid=9563] ppid=9559 vsize=915884 CPUtime=1.48
/proc/9561/task/9563/stat : 9563 (java) S 9559 9561 8955 0 -1 64 49850 0 0 0 130 18 0 0 16 0 8 0 270281099 937865216 66763 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9561/tid=9564] ppid=9559 vsize=915884 CPUtime=0
/proc/9561/task/9564/stat : 9564 (java) S 9559 9561 8955 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 270281100 937865216 66763 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9561/tid=9565] ppid=9559 vsize=915884 CPUtime=0
/proc/9561/task/9565/stat : 9565 (java) S 9559 9561 8955 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270281100 937865216 66763 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9561/tid=9566] ppid=9559 vsize=915884 CPUtime=0
/proc/9561/task/9566/stat : 9566 (java) S 9559 9561 8955 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270281104 937865216 66763 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9561/tid=9567] ppid=9559 vsize=915884 CPUtime=0.39
/proc/9561/task/9567/stat : 9567 (java) S 9559 9561 8955 0 -1 64 586 0 0 0 37 2 0 0 15 0 8 0 270281104 937865216 66763 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9561/tid=9568] ppid=9559 vsize=915884 CPUtime=0
/proc/9561/task/9568/stat : 9568 (java) S 9559 9561 8955 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270281104 937865216 66763 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9561/tid=9569] ppid=9559 vsize=915884 CPUtime=0
/proc/9561/task/9569/stat : 9569 (java) S 9559 9561 8955 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270281104 937865216 66763 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2136.74
Current children cumulated vsize (KiB) 915884

[startup+2204.33 s]
/proc/loadavg: 2.01 2.01 2.00 3/100 9901
/proc/meminfo: memFree=901624/2055920 swapFree=4178232/4192956
[pid=9561] ppid=9559 vsize=915884 CPUtime=2196.76
/proc/9561/stat : 9561 (java) R 9559 9561 8955 0 -1 0 67107 0 1 0 219561 115 0 0 25 0 8 0 270281096 937865216 66763 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074024151 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9561/statm: 228971 66763 2546 14 0 215441 0
[pid=9561/tid=9563] ppid=9559 vsize=915884 CPUtime=1.48
/proc/9561/task/9563/stat : 9563 (java) S 9559 9561 8955 0 -1 64 49850 0 0 0 130 18 0 0 16 0 8 0 270281099 937865216 66763 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9561/tid=9564] ppid=9559 vsize=915884 CPUtime=0
/proc/9561/task/9564/stat : 9564 (java) S 9559 9561 8955 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 270281100 937865216 66763 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9561/tid=9565] ppid=9559 vsize=915884 CPUtime=0
/proc/9561/task/9565/stat : 9565 (java) S 9559 9561 8955 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270281100 937865216 66763 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9561/tid=9566] ppid=9559 vsize=915884 CPUtime=0
/proc/9561/task/9566/stat : 9566 (java) S 9559 9561 8955 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270281104 937865216 66763 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9561/tid=9567] ppid=9559 vsize=915884 CPUtime=0.39
/proc/9561/task/9567/stat : 9567 (java) S 9559 9561 8955 0 -1 64 586 0 0 0 37 2 0 0 15 0 8 0 270281104 937865216 66763 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9561/tid=9568] ppid=9559 vsize=915884 CPUtime=0
/proc/9561/task/9568/stat : 9568 (java) S 9559 9561 8955 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270281104 937865216 66763 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9561/tid=9569] ppid=9559 vsize=915884 CPUtime=0
/proc/9561/task/9569/stat : 9569 (java) S 9559 9561 8955 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270281104 937865216 66763 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2196.76
Current children cumulated vsize (KiB) 915884

[startup+2264.4 s]
/proc/loadavg: 2.08 2.02 2.01 3/100 9901
/proc/meminfo: memFree=901624/2055920 swapFree=4178232/4192956
[pid=9561] ppid=9559 vsize=915884 CPUtime=2256.74
/proc/9561/stat : 9561 (java) R 9559 9561 8955 0 -1 0 67107 0 1 0 225559 115 0 0 25 0 8 0 270281096 937865216 66763 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074310926 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9561/statm: 228971 66763 2546 14 0 215441 0
[pid=9561/tid=9563] ppid=9559 vsize=915884 CPUtime=1.48
/proc/9561/task/9563/stat : 9563 (java) S 9559 9561 8955 0 -1 64 49850 0 0 0 130 18 0 0 16 0 8 0 270281099 937865216 66763 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9561/tid=9564] ppid=9559 vsize=915884 CPUtime=0
/proc/9561/task/9564/stat : 9564 (java) S 9559 9561 8955 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 270281100 937865216 66763 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9561/tid=9565] ppid=9559 vsize=915884 CPUtime=0
/proc/9561/task/9565/stat : 9565 (java) S 9559 9561 8955 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270281100 937865216 66763 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9561/tid=9566] ppid=9559 vsize=915884 CPUtime=0
/proc/9561/task/9566/stat : 9566 (java) S 9559 9561 8955 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270281104 937865216 66763 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9561/tid=9567] ppid=9559 vsize=915884 CPUtime=0.39
/proc/9561/task/9567/stat : 9567 (java) S 9559 9561 8955 0 -1 64 586 0 0 0 37 2 0 0 15 0 8 0 270281104 937865216 66763 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9561/tid=9568] ppid=9559 vsize=915884 CPUtime=0
/proc/9561/task/9568/stat : 9568 (java) S 9559 9561 8955 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270281104 937865216 66763 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9561/tid=9569] ppid=9559 vsize=915884 CPUtime=0
/proc/9561/task/9569/stat : 9569 (java) S 9559 9561 8955 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270281104 937865216 66763 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2256.74
Current children cumulated vsize (KiB) 915884

[startup+2324.48 s]
/proc/loadavg: 2.03 2.01 2.00 3/100 9901
/proc/meminfo: memFree=901624/2055920 swapFree=4178232/4192956
[pid=9561] ppid=9559 vsize=915756 CPUtime=2316.77
/proc/9561/stat : 9561 (java) R 9559 9561 8955 0 -1 0 67129 0 1 0 231562 115 0 0 25 0 8 0 270281096 937734144 66760 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074346572 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9561/statm: 228939 66760 2548 14 0 215409 0
[pid=9561/tid=9563] ppid=9559 vsize=915756 CPUtime=1.48
/proc/9561/task/9563/stat : 9563 (java) S 9559 9561 8955 0 -1 64 49850 0 0 0 130 18 0 0 16 0 8 0 270281099 937734144 66760 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9561/tid=9564] ppid=9559 vsize=915756 CPUtime=0
/proc/9561/task/9564/stat : 9564 (java) S 9559 9561 8955 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 270281100 937734144 66760 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9561/tid=9565] ppid=9559 vsize=915756 CPUtime=0
/proc/9561/task/9565/stat : 9565 (java) S 9559 9561 8955 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270281100 937734144 66760 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9561/tid=9566] ppid=9559 vsize=915756 CPUtime=0
/proc/9561/task/9566/stat : 9566 (java) S 9559 9561 8955 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270281104 937734144 66760 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9561/tid=9567] ppid=9559 vsize=915756 CPUtime=0.41
/proc/9561/task/9567/stat : 9567 (java) S 9559 9561 8955 0 -1 64 602 0 0 0 39 2 0 0 16 0 8 0 270281104 937734144 66760 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9561/tid=9568] ppid=9559 vsize=915756 CPUtime=0
/proc/9561/task/9568/stat : 9568 (java) S 9559 9561 8955 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270281104 937734144 66760 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9561/tid=9569] ppid=9559 vsize=915756 CPUtime=0
/proc/9561/task/9569/stat : 9569 (java) S 9559 9561 8955 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270281104 937734144 66760 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2316.77
Current children cumulated vsize (KiB) 915756

[startup+2384.54 s]
/proc/loadavg: 2.01 2.01 2.00 3/100 9901
/proc/meminfo: memFree=901624/2055920 swapFree=4178232/4192956
[pid=9561] ppid=9559 vsize=915756 CPUtime=2376.77
/proc/9561/stat : 9561 (java) R 9559 9561 8955 0 -1 0 67135 0 1 0 237562 115 0 0 25 0 8 0 270281096 937734144 66762 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074346772 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9561/statm: 228939 66762 2548 14 0 215409 0
[pid=9561/tid=9563] ppid=9559 vsize=915756 CPUtime=1.48
/proc/9561/task/9563/stat : 9563 (java) S 9559 9561 8955 0 -1 64 49850 0 0 0 130 18 0 0 16 0 8 0 270281099 937734144 66762 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9561/tid=9564] ppid=9559 vsize=915756 CPUtime=0
/proc/9561/task/9564/stat : 9564 (java) S 9559 9561 8955 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 270281100 937734144 66762 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9561/tid=9565] ppid=9559 vsize=915756 CPUtime=0
/proc/9561/task/9565/stat : 9565 (java) S 9559 9561 8955 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270281100 937734144 66762 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9561/tid=9566] ppid=9559 vsize=915756 CPUtime=0
/proc/9561/task/9566/stat : 9566 (java) S 9559 9561 8955 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270281104 937734144 66762 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9561/tid=9567] ppid=9559 vsize=915756 CPUtime=0.42
/proc/9561/task/9567/stat : 9567 (java) S 9559 9561 8955 0 -1 64 605 0 0 0 40 2 0 0 16 0 8 0 270281104 937734144 66762 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9561/tid=9568] ppid=9559 vsize=915756 CPUtime=0
/proc/9561/task/9568/stat : 9568 (java) S 9559 9561 8955 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270281104 937734144 66762 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9561/tid=9569] ppid=9559 vsize=915756 CPUtime=0
/proc/9561/task/9569/stat : 9569 (java) S 9559 9561 8955 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270281104 937734144 66762 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2376.77
Current children cumulated vsize (KiB) 915756



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2407.89 s]
/proc/loadavg: 2.01 2.00 2.00 3/100 9901
/proc/meminfo: memFree=901624/2055920 swapFree=4178232/4192956
[pid=9561] ppid=9559 vsize=915756 CPUtime=2400.09
/proc/9561/stat : 9561 (java) R 9559 9561 8955 0 -1 0 67136 0 1 0 239894 115 0 0 25 0 8 0 270281096 937734144 66762 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074319047 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9561/statm: 228939 66762 2548 14 0 215409 0
[pid=9561/tid=9563] ppid=9559 vsize=915756 CPUtime=1.48
/proc/9561/task/9563/stat : 9563 (java) S 9559 9561 8955 0 -1 64 49850 0 0 0 130 18 0 0 16 0 8 0 270281099 937734144 66762 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9561/tid=9564] ppid=9559 vsize=915756 CPUtime=0
/proc/9561/task/9564/stat : 9564 (java) S 9559 9561 8955 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 270281100 937734144 66762 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9561/tid=9565] ppid=9559 vsize=915756 CPUtime=0
/proc/9561/task/9565/stat : 9565 (java) S 9559 9561 8955 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270281100 937734144 66762 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9561/tid=9566] ppid=9559 vsize=915756 CPUtime=0
/proc/9561/task/9566/stat : 9566 (java) S 9559 9561 8955 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270281104 937734144 66762 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9561/tid=9567] ppid=9559 vsize=915756 CPUtime=0.42
/proc/9561/task/9567/stat : 9567 (java) S 9559 9561 8955 0 -1 64 605 0 0 0 40 2 0 0 16 0 8 0 270281104 937734144 66762 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9561/tid=9568] ppid=9559 vsize=915756 CPUtime=0
/proc/9561/task/9568/stat : 9568 (java) S 9559 9561 8955 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270281104 937734144 66762 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9561/tid=9569] ppid=9559 vsize=915756 CPUtime=0
/proc/9561/task/9569/stat : 9569 (java) S 9559 9561 8955 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270281104 937734144 66762 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2400.09
Current children cumulated vsize (KiB) 915756

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

Child status: 143
Real time (s): 2408.07
CPU time (s): 2400.27
CPU user time (s): 2399.05
CPU system time (s): 1.22881
CPU usage (%): 99.6762
Max. virtual memory (cumulated for all children) (KiB): 916788

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.05
system time used= 1.22881
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 74873
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= 50412
involuntary context switches= 83064

runsolver used 3.19551 s user time and 7.84681 s system time

The end

Launcher Data (download as text)

Begin job on node10 on Fri Jan 19 15:01:00 UTC 2007


IDJOB= 275238
IDBENCH= 3728
IDSOLVER= 69
FILE ID= node10/275238-1169218859

PBS_JOBID= 3588921

Free space on /tmp= 66557 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  48c22b4658f7e95cf77401e5a2d21209

RANDOM SEED= 790606586

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.232
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.232
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:       1088576 kB
Buffers:         58400 kB
Cached:         570076 kB
SwapCached:       2360 kB
Active:         387988 kB
Inactive:       502688 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1088576 kB
SwapTotal:     4192956 kB
SwapFree:      4178232 kB
Dirty:            7480 kB
Writeback:           0 kB
Mapped:         279556 kB
Slab:            60988 kB
Committed_AS:  7443984 kB
PageTables:       2736 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= 66554 MiB



End job on node10 on Fri Jan 19 15:41:08 UTC 2007