Trace number 275247

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.08 2402.15

General information on the benchmark

Namefapp/fapp11-15/fapp14/
fapp14-2500-2.xml
MD5SUM725b6642173552cf2abf8e36b2356adf
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkMSAT TO
Best Number of satisfied constraints38464
Best CPU time to get the best result obtained on this benchmark2400.08
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.35	   
0.35	   instance
0.35	     name=/tmp/evaluation/275247-1169218883/unknown.xml
0.38	   
0.38	   domains being loaded...
0.42	   
0.42	   variables being loaded...
0.72	     nbVariables=2500  nbDomainTypes=30  minDomainSize=42  maxDomainSize=362
0.72	       =>  wckTime=0.401  cpuTime=0.29  mem=35M204
0.72	   
0.72	   predicates being loaded...
0.72	   
0.72	   constraints being loaded...
61.06	   
61.06	   INFO : Stopping converting binary constraints (cpu=60.01, mem = 73M494)
63.13	     nbConstraints=40767  nbConvertedConstraints=6730  nbConvertConstraintsChecks=199156070  nbExtensionStructures=2782
63.13	     nbSharedExtensionStructures=3948  nbConflictsStructures=2782  nbSharedConflictsStructures=3948
63.13	     nbSharedBinaryRepresentations=1429442  nbEvaluationManagers=9569  nbSharedEvaluationManagers=24468  maxDegree=52
63.13	     maxArity=2
63.13	       =>  wckTime=62.811  cpuTime=61.65  mem=98M252
63.51	   
63.51	   solver LocalSearchSolver being built... 
63.55	       =>  wckTime=63.232  cpuTime=61.69  mem=86M706
63.74	
63.74	s SATISFIABLE
63.74	o 32283
63.74	c 8484
63.78	o 32295
63.78	c 8472
63.85	o 32309
63.85	c 8458
63.88	o 32317
63.88	c 8450
63.93	o 32325
63.93	c 8442
63.97	o 32333
63.97	c 8434
64.00	o 32340
64.00	c 8427
64.03	o 32346
64.03	c 8421
64.07	o 32352
64.07	c 8415
64.11	o 32355
64.11	c 8412
64.14	o 32362
64.14	c 8405
64.18	o 32371
64.18	c 8396
64.23	o 32380
64.23	c 8387
64.29	o 32387
64.29	c 8380
64.34	o 32393
64.34	c 8374
64.38	o 32399
64.38	c 8368
64.43	o 32404
64.43	c 8363
64.46	o 32409
64.46	c 8358
64.50	o 32414
64.50	c 8353
64.55	o 32418
64.55	c 8349
64.59	o 32422
64.59	c 8345
64.63	o 32426
64.63	c 8341
64.67	o 32430
64.67	c 8337
64.71	o 32440
64.71	c 8327
64.74	o 32443
64.74	c 8324
64.79	o 32446
64.79	c 8321
64.83	o 32449
64.83	c 8318
64.87	o 32451
64.87	c 8316
64.90	o 32453
64.90	c 8314
64.94	o 32454
64.94	c 8313
64.98	o 32456
64.98	c 8311
65.04	o 32463
65.04	c 8304
65.10	o 32472
65.10	c 8295
65.17	o 32481
65.17	c 8286
65.22	o 32489
65.22	c 8278
65.27	o 32492
65.27	c 8275
65.32	o 32500
65.32	c 8267
65.37	o 32508
65.37	c 8259
65.42	o 32514
65.42	c 8253
65.46	o 32517
65.46	c 8250
65.51	o 32523
65.51	c 8244
65.57	o 32528
65.57	c 8239
65.63	o 32532
65.63	c 8235
65.68	o 32536
65.68	c 8231
65.71	o 32540
65.71	c 8227
65.75	o 32544
65.75	c 8223
65.79	o 32548
65.79	c 8219
65.83	o 32551
65.83	c 8216
65.86	o 32554
65.86	c 8213
65.89	o 32557
65.89	c 8210
65.93	o 32559
65.93	c 8208
65.96	o 32561
65.96	c 8206
65.99	o 32562
65.99	c 8205
66.05	o 32565
66.05	c 8202
66.08	o 32576
66.08	c 8191
66.11	o 32582
66.11	c 8185
66.16	o 32590
66.16	c 8177
66.21	o 32594
66.21	c 8173
66.25	o 32604
66.25	c 8163
66.31	o 32614
66.31	c 8153
66.37	o 32623
66.37	c 8144
66.43	o 32630
66.43	c 8137
66.48	o 32633
66.48	c 8134
66.54	o 32641
66.54	c 8126
66.62	o 32648
66.62	c 8119
66.67	o 32655
66.67	c 8112
66.73	o 32662
66.73	c 8105
66.80	o 32668
66.80	c 8099
66.87	o 32673
66.87	c 8094
66.93	o 32678
66.93	c 8089
66.98	o 32683
66.98	c 8084
67.04	o 32688
67.04	c 8079
67.11	o 32692
67.11	c 8075
67.17	o 32696
67.17	c 8071
67.23	o 32700
67.23	c 8067
67.27	o 32703
67.27	c 8064
67.33	o 32710
67.33	c 8057
67.38	o 32713
67.38	c 8054
67.43	o 32715
67.43	c 8052
67.48	o 32718
67.48	c 8049
67.52	o 32720
67.52	c 8047
67.58	o 32722
67.58	c 8045
67.62	o 32724
67.62	c 8043
67.67	o 32726
67.67	c 8041
67.70	o 32728
67.70	c 8039
67.73	o 32729
67.73	c 8038
67.76	o 32730
67.76	c 8037
67.82	o 32733
67.82	c 8034
67.87	o 32738
67.87	c 8029
67.90	o 32741
67.90	c 8026
67.93	o 32751
67.93	c 8016
68.00	o 32757
68.00	c 8010
68.01	o 32764
68.01	c 8003
68.03	o 32769
68.03	c 7998
68.05	o 32770
68.05	c 7997
68.08	o 32780
68.08	c 7987
68.14	o 32788
68.14	c 7979
68.17	o 32790
68.17	c 7977
68.21	o 32796
68.21	c 7971
68.25	o 32799
68.25	c 7968
68.31	o 32808
68.31	c 7959
68.38	o 32815
68.38	c 7952
68.45	o 32821
68.45	c 7946
68.52	o 32827
68.52	c 7940
68.59	o 32833
68.59	c 7934
68.65	o 32839
68.65	c 7928
68.72	o 32844
68.72	c 7923
68.79	o 32848
68.79	c 7919
68.85	o 32849
68.85	c 7918
68.91	o 32855
68.91	c 7912
68.97	o 32860
68.97	c 7907
69.03	o 32865
69.03	c 7902
69.09	o 32870
69.09	c 7897
69.15	o 32875
69.15	c 7892
69.20	o 32876
69.20	c 7891
69.25	o 32881
69.25	c 7886
69.30	o 32885
69.30	c 7882
69.35	o 32888
69.35	c 7879
69.44	o 32891
69.44	c 7876
69.49	o 32894
69.49	c 7873
69.53	o 32897
69.53	c 7870
69.58	o 32899
69.58	c 7868
69.62	o 32901
69.62	c 7866
69.65	o 32903
69.65	c 7864
69.70	o 32912
69.70	c 7855
69.73	o 32914
69.74	c 7853
69.78	o 32916
69.78	c 7851
69.80	o 32917
69.80	c 7850
69.82	o 32918
69.82	c 7849
69.97	o 32919
69.97	c 7848
69.99	o 32922
69.99	c 7845
70.03	o 32931
70.03	c 7836
70.05	o 32935
70.05	c 7832
70.09	o 32939
70.09	c 7828
70.13	o 32945
70.13	c 7822
70.18	o 32948
70.18	c 7819
70.21	o 32951
70.21	c 7816
70.26	o 32954
70.26	c 7813
70.31	o 32955
70.31	c 7812
70.36	o 32960
70.36	c 7807
70.41	o 32965
70.41	c 7802
70.45	o 32969
70.45	c 7798
70.50	o 32977
70.50	c 7790
70.59	o 32979
70.59	c 7788
70.67	o 32986
70.67	c 7781
70.70	o 32989
70.70	c 7778
70.76	o 32994
70.76	c 7773
70.85	o 33003
70.85	c 7764
70.93	o 33007
70.93	c 7760
71.00	o 33011
71.00	c 7756
71.09	o 33019
71.09	c 7748
71.25	o 33027
71.25	c 7740
71.34	o 33034
71.34	c 7733
71.42	o 33037
71.42	c 7730
71.49	o 33043
71.49	c 7724
71.57	o 33050
71.57	c 7717
71.66	o 33057
71.66	c 7710
71.75	o 33064
71.75	c 7703
71.84	o 33070
71.84	c 7697
71.92	o 33074
71.92	c 7693
72.01	o 33075
72.01	c 7692
72.09	o 33081
72.10	c 7686
72.18	o 33087
72.18	c 7680
72.26	o 33093
72.26	c 7674
72.33	o 33099
72.33	c 7668
72.40	o 33103
72.40	c 7664
72.48	o 33108
72.48	c 7659
72.55	o 33116
72.55	c 7651
72.62	o 33121
72.62	c 7646
72.70	o 33126
72.70	c 7641
72.78	o 33130
72.78	c 7637
72.85	o 33134
72.85	c 7633
72.92	o 33138
72.92	c 7629
72.99	o 33142
72.99	c 7625
73.05	o 33146
73.05	c 7621
73.12	o 33150
73.12	c 7617
73.19	o 33153
73.19	c 7614
73.25	o 33156
73.25	c 7611
73.31	o 33159
73.31	c 7608
73.38	o 33162
73.38	c 7605
73.45	o 33164
73.45	c 7603
73.53	o 33166
73.53	c 7601
73.59	o 33168
73.59	c 7599
73.64	o 33170
73.64	c 7597
73.69	o 33172
73.69	c 7595
73.75	o 33177
73.75	c 7590
73.80	o 33186
73.80	c 7581
73.86	o 33188
73.86	c 7579
73.92	o 33190
73.92	c 7577
73.96	o 33192
73.96	c 7575
74.01	o 33193
74.01	c 7574
74.06	o 33194
74.06	c 7573
74.11	o 33195
74.11	c 7572
74.16	o 33196
74.16	c 7571
74.20	o 33197
74.20	c 7570
74.25	o 33203
74.25	c 7564
74.29	o 33209
74.29	c 7558
74.41	o 33215
74.41	c 7552
74.45	o 33223
74.45	c 7544
74.54	o 33224
74.54	c 7543
74.57	o 33227
74.57	c 7540
74.62	o 33230
74.62	c 7537
74.65	o 33234
74.65	c 7533
74.69	o 33235
74.69	c 7532
74.73	o 33238
74.73	c 7529
74.76	o 33244
74.76	c 7523
74.80	o 33246
74.80	c 7521
74.84	o 33249
74.84	c 7518
74.88	o 33250
74.88	c 7517
74.92	o 33252
74.92	c 7515
74.95	o 33257
74.95	c 7510
75.02	o 33259
75.02	c 7508
75.07	o 33263
75.07	c 7504
75.11	o 33268
75.11	c 7499
75.17	o 33274
75.17	c 7493
75.24	o 33275
75.24	c 7492
75.30	o 33280
75.30	c 7487
75.36	o 33286
75.36	c 7481
75.42	o 33293
75.42	c 7474
75.50	o 33297
75.50	c 7470
75.55	o 33302
75.55	c 7465
75.61	o 33305
75.61	c 7462
75.66	o 33308
75.66	c 7459
75.71	o 33309
75.71	c 7458
75.76	o 33314
75.77	c 7453
75.82	o 33317
75.82	c 7450
75.86	o 33320
75.86	c 7447
75.90	o 33323
75.90	c 7444
75.94	o 33329
75.94	c 7438
75.98	o 33332
75.98	c 7435
76.11	o 33334
76.11	c 7433
76.18	o 33335
76.18	c 7432
76.23	o 33340
76.23	c 7427
76.27	o 33346
76.27	c 7421
76.33	o 33349
76.33	c 7418
76.38	o 33354
76.38	c 7413
76.43	o 33357
76.43	c 7410
76.48	o 33361
76.48	c 7406
76.53	o 33364
76.53	c 7403
76.59	o 33370
76.59	c 7397
76.66	o 33376
76.66	c 7391
76.70	o 33380
76.70	c 7387
76.74	o 33387
76.74	c 7380
76.81	o 33396
76.81	c 7371
76.90	o 33405
76.90	c 7362
76.99	o 33414
76.99	c 7353
77.10	o 33421
77.10	c 7346
77.20	o 33428
77.20	c 7339
77.30	o 33435
77.30	c 7332
77.49	o 33440
77.49	c 7327
77.57	o 33446
77.57	c 7321
77.67	o 33452
77.67	c 7315
77.78	o 33457
77.78	c 7310
77.87	o 33462
77.87	c 7305
77.96	o 33467
77.96	c 7300
78.07	o 33472
78.07	c 7295
78.16	o 33477
78.16	c 7290
78.25	o 33482
78.25	c 7285
78.34	o 33485
78.34	c 7282
78.43	o 33490
78.43	c 7277
78.53	o 33495
78.54	c 7272
78.62	o 33499
78.62	c 7268
78.72	o 33505
78.72	c 7262
78.80	o 33509
78.80	c 7258
78.97	o 33512
78.97	c 7255
79.04	o 33516
79.04	c 7251
79.13	o 33520
79.13	c 7247
79.20	o 33524
79.20	c 7243
79.28	o 33527
79.28	c 7240
79.37	o 33530
79.37	c 7237
79.45	o 33533
79.45	c 7234
79.52	o 33538
79.52	c 7229
79.59	o 33541
79.59	c 7226
79.67	o 33544
79.67	c 7223
79.74	o 33547
79.74	c 7220
79.83	o 33550
79.83	c 7217
79.89	o 33553
79.89	c 7214
79.97	o 33555
79.97	c 7212
80.02	o 33558
80.02	c 7209
80.09	o 33560
80.09	c 7207
80.16	o 33562
80.16	c 7205
80.21	o 33564
80.21	c 7203
80.26	o 33565
80.26	c 7202
80.31	o 33566
80.31	c 7201
80.37	o 33567
80.37	c 7200
80.41	o 33568
80.41	c 7199
80.46	o 33569
80.46	c 7198
80.85	o 33570
80.85	c 7197
80.90	o 33573
80.90	c 7194
80.96	o 33574
80.96	c 7193
81.02	o 33575
81.02	c 7192
81.07	o 33580
81.07	c 7187
81.18	o 33582
81.18	c 7185
81.24	o 33587
81.24	c 7180
81.30	o 33592
81.30	c 7175
81.38	o 33594
81.38	c 7173
81.44	o 33595
81.44	c 7172
81.51	o 33598
81.51	c 7169
81.57	o 33604
81.57	c 7163
81.64	o 33608
81.64	c 7159
81.69	o 33612
81.69	c 7155
81.74	o 33619
81.74	c 7148
81.80	o 33622
81.80	c 7145
81.85	o 33623
81.85	c 7144
81.90	o 33625
81.90	c 7142
81.95	o 33635
81.95	c 7132
82.00	o 33642
82.00	c 7125
82.06	o 33644
82.06	c 7123
82.17	o 33652
82.17	c 7115
82.22	o 33654
82.22	c 7113
82.29	o 33658
82.29	c 7109
82.35	o 33659
82.35	c 7108
82.43	o 33664
82.43	c 7103
82.49	o 33665
82.49	c 7102
82.62	o 33666
82.62	c 7101
82.69	o 33671
82.69	c 7096
82.74	o 33676
82.74	c 7091
82.79	o 33677
82.80	c 7090
82.84	o 33678
82.84	c 7089
82.89	o 33679
82.89	c 7088
82.96	o 33680
82.96	c 7087
83.01	o 33684
83.01	c 7083
83.08	o 33689
83.08	c 7078
83.14	o 33691
83.14	c 7076
83.22	o 33699
83.22	c 7068
83.26	o 33704
83.26	c 7063
83.33	o 33711
83.33	c 7056
83.37	o 33714
83.37	c 7053
83.41	o 33719
83.41	c 7048
83.46	o 33720
83.46	c 7047
83.52	o 33722
83.52	c 7045
83.57	o 33726
83.58	c 7041
83.62	o 33731
83.62	c 7036
83.69	o 33734
83.69	c 7033
83.75	o 33740
83.75	c 7027
83.81	o 33745
83.81	c 7022
83.88	o 33753
83.88	c 7014
83.93	o 33755
83.93	c 7012
84.01	o 33760
84.01	c 7007
84.06	o 33761
84.06	c 7006
84.12	o 33763
84.12	c 7004
84.18	o 33765
84.18	c 7002
84.23	o 33767
84.23	c 7000
84.29	o 33771
84.29	c 6996
84.41	o 33772
84.41	c 6995
84.46	o 33777
84.46	c 6990
84.58	o 33784
84.58	c 6983
84.64	o 33790
84.64	c 6977
84.70	o 33797
84.70	c 6970
84.76	o 33798
84.76	c 6969
84.83	o 33802
84.83	c 6965
84.98	o 33806
84.98	c 6961
85.06	o 33809
85.06	c 6958
85.12	o 33811
85.12	c 6956
85.17	o 33814
85.17	c 6953
85.25	o 33816
85.25	c 6951
85.37	o 33820
85.37	c 6947
85.52	o 33823
85.52	c 6944
85.69	o 33831
85.69	c 6936
85.78	o 33832
85.78	c 6935
85.88	o 33840
85.88	c 6927
86.01	o 33847
86.01	c 6920
86.12	o 33853
86.12	c 6914
86.25	o 33858
86.25	c 6909
86.38	o 33863
86.38	c 6904
86.51	o 33867
86.51	c 6900
86.63	o 33871
86.63	c 6896
86.75	o 33875
86.75	c 6892
86.88	o 33879
86.88	c 6888
87.00	o 33883
87.00	c 6884
87.12	o 33887
87.12	c 6880
87.23	o 33891
87.23	c 6876
87.47	o 33893
87.47	c 6874
87.59	o 33896
87.59	c 6871
87.70	o 33901
87.70	c 6866
87.81	o 33904
87.81	c 6863
87.92	o 33909
87.92	c 6858
88.03	o 33912
88.03	c 6855
88.14	o 33914
88.14	c 6853
88.24	o 33916
88.24	c 6851
88.35	o 33918
88.35	c 6849
88.46	o 33920
88.46	c 6847
88.56	o 33921
88.56	c 6846
88.67	o 33922
88.67	c 6845
88.76	o 33923
88.76	c 6844
88.86	o 33928
88.86	c 6839
89.06	o 33929
89.06	c 6838
89.15	o 33930
89.15	c 6837
89.24	o 33931
89.24	c 6836
89.33	o 33934
89.33	c 6833
89.42	o 33935
89.42	c 6832
89.58	o 33936
89.58	c 6831
89.68	o 33937
89.68	c 6830
89.77	o 33938
89.77	c 6829
90.32	o 33939
90.32	c 6828
90.47	o 33944
90.47	c 6823
90.55	o 33948
90.55	c 6819
90.61	o 33953
90.61	c 6814
90.78	o 33957
90.78	c 6810
90.86	o 33959
90.86	c 6808
90.92	o 33965
90.92	c 6802
91.06	o 33967
91.06	c 6800
91.13	o 33968
91.13	c 6799
91.21	o 33971
91.21	c 6796
91.29	o 33975
91.29	c 6792
91.37	o 33980
91.38	c 6787
91.45	o 33983
91.45	c 6784
91.61	o 33986
91.61	c 6781
91.81	o 33988
91.81	c 6779
91.89	o 33991
91.89	c 6776
91.96	o 33997
91.96	c 6770
92.13	o 34001
92.13	c 6766
92.21	o 34007
92.21	c 6760
92.54	o 34010
92.54	c 6757
92.62	o 34015
92.62	c 6752
92.69	o 34017
92.69	c 6750
92.77	o 34022
92.77	c 6745
92.92	o 34025
92.92	c 6742
92.99	o 34030
92.99	c 6737
93.08	o 34031
93.08	c 6736
93.17	o 34036
93.17	c 6731
93.24	o 34039
93.24	c 6728
93.32	o 34043
93.32	c 6724
93.40	o 34044
93.40	c 6723
93.48	o 34047
93.48	c 6720
93.56	o 34052
93.56	c 6715
93.78	o 34054
93.78	c 6713
93.86	o 34055
93.86	c 6712
94.04	o 34057
94.04	c 6710
94.13	o 34059
94.13	c 6708
94.20	o 34061
94.20	c 6706
94.30	o 34065
94.30	c 6702
94.38	o 34072
94.38	c 6695
94.47	o 34075
94.47	c 6692
94.56	o 34077
94.56	c 6690
94.66	o 34078
94.66	c 6689
94.75	o 34081
94.75	c 6686
94.84	o 34083
94.84	c 6684
94.92	o 34086
94.92	c 6681
95.00	o 34088
95.00	c 6679
95.10	o 34090
95.10	c 6677
95.21	o 34091
95.21	c 6676
95.39	o 34095
95.39	c 6672
95.48	o 34097
95.48	c 6670
95.59	o 34102
95.59	c 6665
96.02	o 34106
96.02	c 6661
96.10	o 34112
96.10	c 6655
96.18	o 34114
96.18	c 6653
96.34	o 34120
96.34	c 6647
96.42	o 34122
96.42	c 6645
96.50	o 34127
96.50	c 6640
96.76	o 34128
96.76	c 6639
96.87	o 34133
96.87	c 6634
96.96	o 34137
96.96	c 6630
97.04	o 34141
97.04	c 6626
97.13	o 34145
97.13	c 6622
97.22	o 34146
97.22	c 6621
97.30	o 34149
97.30	c 6618
97.39	o 34150
97.39	c 6617
97.57	o 34156
97.57	c 6611
97.66	o 34158
97.66	c 6609
97.76	o 34161
97.76	c 6606
97.84	o 34162
97.84	c 6605
97.93	o 34164
97.93	c 6603
98.50	o 34168
98.50	c 6599
98.58	o 34169
98.58	c 6598
98.68	o 34173
98.68	c 6594
98.84	o 34175
98.84	c 6592
98.96	o 34178
98.96	c 6589
99.04	o 34179
99.04	c 6588
99.13	o 34184
99.13	c 6583
99.20	o 34186
99.20	c 6581
99.30	o 34190
99.30	c 6577
99.38	o 34192
99.38	c 6575
99.47	o 34195
99.47	c 6572
99.57	o 34199
99.57	c 6568
99.65	o 34203
99.65	c 6564
99.74	o 34206
99.74	c 6561
99.90	o 34208
99.90	c 6559
100.00	o 34213
100.00	c 6554
100.09	o 34219
100.09	c 6548
100.18	o 34225
100.18	c 6542
100.25	o 34230
100.25	c 6537
100.33	o 34232
100.33	c 6535
100.44	o 34233
100.44	c 6534
100.54	o 34238
100.54	c 6529
100.60	o 34242
100.60	c 6525
100.73	o 34247
100.73	c 6520
101.07	o 34250
101.07	c 6517
101.16	o 34251
101.16	c 6516
101.30	o 34255
101.30	c 6512
101.42	o 34259
101.42	c 6508
101.54	o 34263
101.54	c 6504
101.76	o 34264
101.76	c 6503
101.86	o 34270
101.86	c 6497
101.95	o 34273
101.95	c 6494
102.05	o 34276
102.05	c 6491
102.14	o 34279
102.14	c 6488
102.22	o 34285
102.22	c 6482
102.32	o 34287
102.32	c 6480
102.43	o 34289
102.43	c 6478
102.51	o 34292
102.51	c 6475
102.60	o 34294
102.60	c 6473
102.70	o 34296
102.70	c 6471
102.77	o 34298
102.77	c 6469
102.87	o 34299
102.87	c 6468
102.96	o 34300
102.96	c 6467
103.07	o 34301
103.07	c 6466
103.15	o 34302
103.15	c 6465
103.24	o 34303
103.24	c 6464
103.32	o 34304
103.32	c 6463
103.39	o 34305
103.39	c 6462
103.61	o 34307
103.61	c 6460
103.68	o 34314
103.68	c 6453
103.98	o 34319
103.98	c 6448
104.06	o 34322
104.06	c 6445
104.12	o 34324
104.12	c 6443
104.20	o 34330
104.20	c 6437
104.27	o 34331
104.27	c 6436
104.34	o 34333
104.34	c 6434
104.44	o 34335
104.44	c 6432
104.63	o 34339
104.63	c 6428
104.71	o 34340
104.71	c 6427
104.79	o 34343
104.79	c 6424
104.95	o 34346
104.95	c 6421
105.04	o 34347
105.04	c 6420
105.14	o 34349
105.14	c 6418
105.21	o 34352
105.21	c 6415
105.28	o 34355
105.28	c 6412
105.36	o 34358
105.36	c 6409
105.45	o 34359
105.45	c 6408
105.60	o 34360
105.60	c 6407
105.69	o 34362
105.69	c 6405
105.78	o 34369
105.78	c 6398
105.86	o 34373
105.86	c 6394
105.95	o 34374
105.95	c 6393
106.04	o 34376
106.04	c 6391
106.13	o 34378
106.13	c 6389
106.37	o 34380
106.37	c 6387
106.45	o 34383
106.45	c 6384
106.53	o 34388
106.53	c 6379
106.62	o 34393
106.62	c 6374
106.71	o 34397
106.71	c 6370
106.82	o 34399
106.82	c 6368
106.99	o 34407
106.99	c 6360
107.09	o 34408
107.09	c 6359
107.18	o 34413
107.18	c 6354
107.26	o 34418
107.26	c 6349
107.34	o 34421
107.34	c 6346
107.43	o 34426
107.43	c 6341
107.51	o 34429
107.51	c 6338
107.60	o 34433
107.60	c 6334
107.69	o 34435
107.69	c 6332
107.77	o 34438
107.77	c 6329
107.84	o 34439
107.84	c 6328
107.92	o 34444
107.92	c 6323
108.01	o 34447
108.01	c 6320
108.09	o 34449
108.09	c 6318
108.18	o 34455
108.18	c 6312
108.27	o 34458
108.27	c 6309
108.36	o 34462
108.36	c 6305
108.46	o 34463
108.46	c 6304
108.54	o 34469
108.54	c 6298
108.62	o 34471
108.62	c 6296
108.71	o 34478
108.71	c 6289
108.80	o 34482
108.80	c 6285
108.89	o 34486
108.89	c 6281
109.09	o 34487
109.09	c 6280
109.58	o 34492
109.58	c 6275
109.68	o 34495
109.68	c 6272
109.80	o 34499
109.80	c 6268
109.99	o 34502
109.99	c 6265
110.09	o 34505
110.09	c 6262
110.20	o 34508
110.20	c 6259
110.41	o 34510
110.41	c 6257
110.52	o 34514
110.52	c 6253
110.75	o 34517
110.75	c 6250
110.85	o 34521
110.85	c 6246
110.95	o 34525
110.95	c 6242
111.07	o 34528
111.07	c 6239
111.16	o 34530
111.16	c 6237
111.25	o 34532
111.25	c 6235
111.34	o 34535
111.34	c 6232
111.45	o 34536
111.45	c 6231
111.54	o 34543
111.54	c 6224
111.65	o 34546
111.65	c 6221
111.74	o 34550
111.74	c 6217
111.84	o 34557
111.84	c 6210
111.94	o 34560
111.94	c 6207
112.05	o 34566
112.05	c 6201
112.14	o 34567
112.14	c 6200
112.24	o 34573
112.24	c 6194
112.33	o 34576
112.33	c 6191
112.42	o 34578
112.42	c 6189
112.51	o 34579
112.51	c 6188
112.60	o 34582
112.60	c 6185
112.68	o 34583
112.68	c 6184
112.76	o 34584
112.76	c 6183
112.85	o 34585
112.85	c 6182
112.93	o 34587
112.93	c 6180
113.01	o 34588
113.01	c 6179
113.11	o 34590
113.11	c 6177
113.20	o 34593
113.20	c 6174
113.28	o 34595
113.28	c 6172
113.36	o 34600
113.36	c 6167
113.45	o 34601
113.45	c 6166
113.54	o 34604
113.54	c 6163
113.62	o 34610
113.62	c 6157
113.80	o 34614
113.80	c 6153
113.89	o 34618
113.89	c 6149
113.98	o 34619
113.98	c 6148
114.09	o 34624
114.09	c 6143
114.19	o 34625
114.19	c 6142
114.30	o 34630
114.30	c 6137
114.41	o 34632
114.41	c 6135
114.48	o 34636
114.48	c 6131
114.77	o 34639
114.77	c 6128
114.87	o 34644
114.87	c 6123
114.97	o 34649
114.97	c 6118
115.07	o 34650
115.07	c 6117
115.16	o 34651
115.16	c 6116
115.26	o 34654
115.26	c 6113
115.37	o 34658
115.37	c 6109
115.48	o 34660
115.48	c 6107
115.67	o 34663
115.67	c 6104
115.78	o 34665
115.78	c 6102
115.89	o 34667
115.89	c 6100
116.02	o 34671
116.02	c 6096
116.11	o 34672
116.11	c 6095
116.21	o 34673
116.21	c 6094
116.30	o 34680
116.30	c 6087
116.39	o 34682
116.39	c 6085
116.50	o 34685
116.50	c 6082
116.69	o 34686
116.69	c 6081
116.79	o 34690
116.79	c 6077
116.88	o 34691
116.88	c 6076
116.96	o 34693
116.96	c 6074
117.31	o 34698
117.31	c 6069
117.39	o 34701
117.39	c 6066
117.51	o 34705
117.51	c 6062
117.62	o 34709
117.62	c 6058
117.73	o 34714
117.73	c 6053
117.85	o 34718
117.85	c 6049
117.98	o 34722
117.98	c 6045
118.10	o 34724
118.10	c 6043
118.21	o 34728
118.21	c 6039
118.34	o 34732
118.34	c 6035
118.47	o 34736
118.47	c 6031
118.58	o 34740
118.58	c 6027
118.70	o 34744
118.70	c 6023
118.81	o 34747
118.81	c 6020
118.91	o 34750
118.91	c 6017
119.02	o 34752
119.02	c 6015
119.14	o 34754
119.14	c 6013
119.25	o 34755
119.25	c 6012
119.36	o 34756
119.36	c 6011
119.47	o 34757
119.47	c 6010
119.98	o 34760
119.98	c 6007
120.08	o 34762
120.08	c 6005
120.94	o 34767
120.94	c 6000
121.04	o 34772
121.04	c 5995
121.25	o 34773
121.25	c 5994
121.46	o 34775
121.46	c 5992
121.66	o 34780
121.66	c 5987
121.76	o 34781
121.76	c 5986
121.85	o 34783
121.85	c 5984
121.95	o 34787
121.95	c 5980
122.04	o 34789
122.04	c 5978
122.13	o 34791
122.13	c 5976
122.23	o 34795
122.23	c 5972
122.33	o 34796
122.33	c 5971
122.41	o 34798
122.41	c 5969
122.50	o 34804
122.50	c 5963
122.67	o 34808
122.67	c 5959
122.76	o 34809
122.76	c 5958
122.96	o 34812
122.96	c 5955
123.05	o 34815
123.05	c 5952
123.15	o 34817
123.15	c 5950
123.26	o 34819
123.26	c 5948
123.35	o 34823
123.35	c 5944
123.46	o 34824
123.46	c 5943
123.56	o 34828
123.56	c 5939
123.67	o 34829
123.67	c 5938
123.78	o 34831
123.78	c 5936
123.98	o 34833
123.98	c 5934
124.08	o 34838
124.08	c 5929
124.18	o 34841
124.19	c 5926
124.30	o 34847
124.30	c 5920
124.54	o 34850
124.54	c 5917
124.67	o 34852
124.67	c 5915
124.79	o 34856
124.79	c 5911
124.90	o 34859
124.90	c 5908
125.14	o 34860
125.14	c 5907
125.25	o 34862
125.25	c 5905
125.38	o 34865
125.38	c 5902
125.50	o 34868
125.50	c 5899
125.62	o 34870
125.62	c 5897
125.88	o 34872
125.88	c 5895
126.02	o 34873
126.02	c 5894
126.14	o 34877
126.14	c 5890
126.25	o 34879
126.25	c 5888
126.39	o 34880
126.39	c 5887
126.52	o 34884
126.52	c 5883
126.78	o 34886
126.78	c 5881
127.15	o 34887
127.15	c 5880
127.29	o 34888
127.29	c 5879
127.54	o 34890
127.54	c 5877
127.76	o 34892
127.76	c 5875
128.23	o 34893
128.23	c 5874
128.35	o 34894
128.35	c 5873
128.47	o 34895
128.47	c 5872
128.72	o 34896
128.72	c 5871
128.86	o 34899
128.86	c 5868
129.12	o 34902
129.12	c 5865
129.23	o 34903
129.23	c 5864
129.34	o 34905
129.34	c 5862
129.46	o 34908
129.46	c 5859
129.59	o 34911
129.59	c 5856
129.71	o 34912
129.71	c 5855
129.83	o 34917
129.83	c 5850
129.95	o 34918
129.95	c 5849
130.20	o 34924
130.20	c 5843
130.34	o 34927
130.34	c 5840
130.72	o 34929
130.72	c 5838
130.83	o 34930
130.83	c 5837
131.08	o 34931
131.08	c 5836
131.21	o 34932
131.21	c 5835
131.34	o 34936
131.34	c 5831
131.61	o 34940
131.61	c 5827
131.74	o 34944
131.74	c 5823
131.99	o 34950
131.99	c 5817
132.12	o 34953
132.12	c 5814
132.25	o 34956
132.25	c 5811
132.39	o 34960
132.39	c 5807
132.52	o 34963
132.52	c 5804
132.80	o 34967
132.80	c 5800
132.95	o 34968
132.95	c 5799
133.08	o 34970
133.08	c 5797
133.23	o 34974
133.23	c 5793
133.38	o 34976
133.38	c 5791
133.66	o 34979
133.66	c 5788
133.82	o 34985
133.82	c 5782
133.99	o 34988
133.99	c 5779
134.16	o 34990
134.16	c 5777
134.47	o 34992
134.47	c 5775
134.78	o 34994
134.78	c 5773
134.95	o 34996
134.95	c 5771
135.12	o 34998
135.12	c 5769
135.45	o 35003
135.45	c 5764
135.78	o 35005
135.78	c 5762
136.11	o 35010
136.11	c 5757
136.29	o 35012
136.29	c 5755
136.66	o 35015
136.66	c 5752
136.82	o 35016
136.82	c 5751
136.99	o 35018
136.99	c 5749
137.17	o 35021
137.17	c 5746
137.34	o 35026
137.34	c 5741
137.83	o 35029
137.83	c 5738
138.01	o 35036
138.01	c 5731
138.18	o 35039
138.18	c 5728
138.34	o 35042
138.34	c 5725
138.51	o 35047
138.51	c 5720
138.68	o 35050
138.68	c 5717
139.69	o 35054
139.69	c 5713
139.86	o 35055
139.86	c 5712
140.22	o 35056
140.22	c 5711
140.39	o 35059
140.39	c 5708
140.58	o 35060
140.58	c 5707
140.74	o 35063
140.74	c 5704
141.19	o 35067
141.19	c 5700
141.35	o 35073
141.35	c 5694
141.49	o 35077
141.49	c 5690
141.64	o 35081
141.64	c 5686
141.94	o 35087
141.94	c 5680
142.26	o 35091
142.26	c 5676
142.40	o 35093
142.40	c 5674
143.03	o 35094
143.03	c 5673
143.17	o 35097
143.17	c 5670
143.34	o 35100
143.34	c 5667
143.75	o 35101
143.75	c 5666
144.04	o 35105
144.04	c 5662
144.19	o 35110
144.19	c 5657
144.47	o 35112
144.47	c 5655
144.61	o 35117
144.61	c 5650
144.73	o 35118
144.73	c 5649
144.87	o 35119
144.87	c 5648
145.03	o 35120
145.03	c 5647
145.19	o 35122
145.19	c 5645
145.31	o 35124
145.31	c 5643
145.46	o 35127
145.46	c 5640
145.60	o 35129
145.60	c 5638
145.75	o 35134
145.75	c 5633
145.89	o 35140
145.89	c 5627
146.04	o 35142
146.04	c 5625
146.18	o 35144
146.18	c 5623
146.34	o 35148
146.34	c 5619
146.49	o 35149
146.49	c 5618
146.62	o 35152
146.62	c 5615
146.77	o 35155
146.77	c 5612
146.92	o 35160
146.92	c 5607
147.06	o 35163
147.06	c 5604
147.20	o 35168
147.20	c 5599
147.36	o 35171
147.36	c 5596
147.50	o 35176
147.50	c 5591
147.64	o 35177
147.64	c 5590
147.80	o 35180
147.80	c 5587
148.11	o 35184
148.11	c 5583
148.28	o 35187
148.28	c 5580
148.44	o 35189
148.44	c 5578
148.61	o 35194
148.61	c 5573
148.78	o 35196
148.78	c 5571
148.96	o 35198
148.96	c 5569
150.07	o 35200
150.07	c 5567
150.23	o 35202
150.23	c 5565
150.38	o 35203
150.38	c 5564
150.54	o 35207
150.54	c 5560
150.70	o 35209
150.70	c 5558
150.85	o 35214
150.85	c 5553
150.99	o 35216
150.99	c 5551
151.16	o 35221
151.16	c 5546
151.32	o 35223
151.32	c 5544
151.63	o 35228
151.63	c 5539
151.77	o 35230
151.77	c 5537
151.95	o 35233
151.95	c 5534
152.25	o 35234
152.25	c 5533
152.39	o 35236
152.39	c 5531
152.53	o 35240
152.53	c 5527
152.68	o 35244
152.68	c 5523
152.84	o 35248
152.84	c 5519
153.13	o 35250
153.13	c 5517
153.28	o 35252
153.28	c 5515
153.57	o 35254
153.57	c 5513
153.72	o 35257
153.72	c 5510
153.86	o 35262
153.86	c 5505
154.00	o 35267
154.00	c 5500
154.13	o 35269
154.13	c 5498
154.27	o 35270
154.27	c 5497
154.40	o 35272
154.40	c 5495
154.79	o 35276
154.79	c 5491
155.03	o 35280
155.03	c 5487
155.28	o 35281
155.28	c 5486
155.39	o 35282
155.39	c 5485
156.01	o 35286
156.01	c 5481
156.14	o 35288
156.14	c 5479
156.27	o 35291
156.27	c 5476
156.40	o 35294
156.40	c 5473
156.53	o 35296
156.53	c 5471
156.66	o 35298
156.66	c 5469
156.79	o 35299
156.79	c 5468
156.92	o 35300
156.92	c 5467
157.06	o 35303
157.06	c 5464
157.20	o 35304
157.20	c 5463
157.35	o 35305
157.35	c 5462
157.47	o 35306
157.47	c 5461
157.75	o 35310
157.75	c 5457
158.45	o 35314
158.45	c 5453
158.60	o 35317
158.60	c 5450
158.74	o 35318
158.74	c 5449
159.03	o 35320
159.03	c 5447
159.59	o 35324
159.59	c 5443
159.74	o 35329
159.74	c 5438
160.15	o 35333
160.15	c 5434
160.28	o 35335
160.28	c 5432
160.43	o 35339
160.43	c 5428
160.69	o 35342
160.69	c 5425
160.83	o 35345
160.83	c 5422
160.98	o 35353
160.98	c 5414
161.68	o 35354
161.68	c 5413
161.83	o 35360
161.83	c 5407
161.98	o 35363
161.98	c 5404
162.11	o 35365
162.11	c 5402
162.27	o 35367
162.27	c 5400
162.68	o 35368
162.68	c 5399
162.81	o 35370
162.81	c 5397
162.95	o 35371
162.95	c 5396
163.09	o 35373
163.09	c 5394
163.22	o 35376
163.22	c 5391
163.38	o 35381
163.38	c 5386
163.51	o 35383
163.51	c 5384
163.65	o 35385
163.65	c 5382
163.78	o 35390
163.78	c 5377
163.90	o 35395
163.90	c 5372
164.05	o 35398
164.05	c 5369
164.19	o 35404
164.19	c 5363
164.31	o 35407
164.31	c 5360
164.46	o 35411
164.46	c 5356
164.73	o 35413
164.73	c 5354
164.87	o 35416
164.87	c 5351
165.16	o 35418
165.16	c 5349
165.44	o 35419
165.44	c 5348
165.67	o 35425
165.67	c 5342
165.97	o 35429
165.97	c 5338
166.12	o 35431
166.12	c 5336
166.27	o 35432
166.27	c 5335
166.41	o 35434
166.41	c 5333
166.56	o 35437
166.56	c 5330
166.69	o 35441
166.69	c 5326
166.86	o 35443
166.86	c 5324
167.02	o 35446
167.02	c 5321
167.17	o 35450
167.17	c 5317
167.32	o 35451
167.32	c 5316
167.62	o 35457
167.62	c 5310
167.78	o 35459
167.78	c 5308
168.07	o 35460
168.07	c 5307
168.98	o 35461
168.98	c 5306
169.13	o 35468
169.13	c 5299
169.26	o 35470
169.26	c 5297
169.41	o 35473
169.41	c 5294
169.55	o 35474
169.55	c 5293
169.72	o 35477
169.72	c 5290
169.88	o 35478
169.88	c 5289
170.04	o 35480
170.04	c 5287
170.33	o 35483
170.33	c 5284
170.50	o 35484
170.50	c 5283
170.65	o 35488
170.65	c 5279
170.81	o 35491
170.81	c 5276
170.99	o 35495
170.99	c 5272
171.16	o 35500
171.16	c 5267
171.32	o 35502
171.32	c 5265
171.48	o 35505
171.48	c 5262
171.65	o 35509
171.65	c 5258
171.85	o 35510
171.85	c 5257
172.19	o 35513
172.19	c 5254
172.35	o 35514
172.35	c 5253
172.53	o 35515
172.53	c 5252
172.70	o 35517
172.70	c 5250
172.86	o 35524
172.86	c 5243
173.04	o 35527
173.04	c 5240
173.21	o 35528
173.21	c 5239
173.39	o 35531
173.39	c 5236
173.57	o 35535
173.57	c 5232
173.74	o 35539
173.74	c 5228
173.91	o 35540
173.91	c 5227
174.08	o 35543
174.08	c 5224
174.24	o 35545
174.24	c 5222
174.40	o 35546
174.40	c 5221
174.57	o 35550
174.57	c 5217
174.73	o 35553
174.73	c 5214
174.88	o 35556
174.88	c 5211
175.06	o 35560
175.06	c 5207
175.21	o 35562
175.21	c 5205
175.36	o 35567
175.36	c 5200
175.52	o 35571
175.52	c 5196
175.67	o 35572
175.67	c 5195
176.03	o 35574
176.03	c 5193
176.19	o 35581
176.19	c 5186
176.66	o 35583
176.66	c 5184
176.81	o 35585
176.81	c 5182
176.98	o 35588
176.98	c 5179
177.14	o 35590
177.14	c 5177
177.29	o 35593
177.29	c 5174
177.62	o 35594
177.62	c 5173
177.78	o 35596
177.78	c 5171
177.96	o 35599
177.96	c 5168
178.29	o 35601
178.29	c 5166
178.93	o 35602
178.93	c 5165
179.45	o 35604
179.45	c 5163
179.78	o 35606
179.78	c 5161
179.94	o 35607
179.94	c 5160
180.28	o 35613
180.28	c 5154
180.61	o 35614
180.61	c 5153
180.74	o 35623
180.74	c 5144
180.92	o 35625
180.92	c 5142
181.09	o 35627
181.09	c 5140
181.26	o 35631
181.26	c 5136
181.61	o 35634
181.61	c 5133
181.78	o 35635
181.78	c 5132
181.95	o 35637
181.95	c 5130
182.12	o 35639
182.12	c 5128
182.30	o 35641
182.30	c 5126
182.47	o 35642
182.47	c 5125
182.64	o 35643
182.64	c 5124
182.82	o 35648
182.82	c 5119
183.15	o 35651
183.15	c 5116
183.32	o 35653
183.32	c 5114
183.47	o 35656
183.47	c 5111
184.97	o 35657
184.97	c 5110
185.14	o 35659
185.14	c 5108
185.30	o 35663
185.30	c 5104
185.47	o 35667
185.47	c 5100
185.81	o 35668
185.81	c 5099
185.98	o 35671
185.98	c 5096
186.16	o 35674
186.16	c 5093
186.54	o 35678
186.54	c 5089
186.90	o 35679
186.91	c 5088
187.22	o 35682
187.22	c 5085
187.38	o 35683
187.38	c 5084
188.29	o 35684
188.29	c 5083
188.67	o 35685
188.67	c 5082
188.85	o 35688
188.85	c 5079
189.05	o 35692
189.05	c 5075
189.25	o 35697
189.25	c 5070
189.61	o 35698
189.61	c 5069
190.18	o 35700
190.18	c 5067
190.37	o 35703
190.37	c 5064
190.56	o 35706
190.56	c 5061
190.77	o 35707
190.77	c 5060
190.98	o 35708
190.98	c 5059
191.39	o 35709
191.39	c 5058
191.59	o 35710
191.59	c 5057
191.79	o 35712
191.79	c 5055
191.99	o 35717
191.99	c 5050
192.18	o 35718
192.18	c 5049
192.58	o 35719
192.58	c 5048
192.76	o 35720
192.76	c 5047
195.61	o 35721
195.61	c 5046
195.79	o 35726
195.79	c 5041
195.97	o 35731
195.97	c 5036
196.54	o 35732
196.54	c 5035
196.74	o 35734
196.74	c 5033
196.94	o 35739
196.94	c 5028
197.34	o 35740
197.34	c 5027
197.56	o 35742
197.56	c 5025
199.61	o 35744
199.61	c 5023
200.71	o 35745
200.71	c 5022
200.94	o 35748
200.94	c 5019
201.17	o 35752
201.17	c 5015
202.47	o 35754
202.47	c 5013
202.69	o 35756
202.69	c 5011
202.92	o 35758
202.92	c 5009
203.13	o 35765
203.13	c 5002
204.44	o 35768
204.44	c 4999
205.50	o 35773
205.50	c 4994
205.72	o 35776
205.72	c 4991
206.13	o 35777
206.13	c 4990
206.56	o 35778
206.56	c 4989
206.77	o 35781
206.77	c 4986
208.23	o 35785
208.23	c 4982
208.67	o 35789
208.67	c 4978
209.11	o 35791
209.11	c 4976
209.33	o 35792
209.33	c 4975
209.76	o 35793
209.76	c 4974
209.97	o 35796
209.97	c 4971
211.27	o 35797
211.27	c 4970
211.49	o 35798
211.49	c 4969
212.34	o 35800
212.34	c 4967
212.55	o 35801
212.55	c 4966
212.77	o 35806
212.77	c 4961
213.20	o 35809
213.20	c 4958
213.65	o 35811
213.65	c 4956
214.28	o 35813
214.28	c 4954
214.48	o 35815
214.48	c 4952
214.89	o 35816
214.89	c 4951
215.09	o 35818
215.09	c 4949
215.30	o 35819
215.30	c 4948
215.52	o 35821
215.52	c 4946
215.72	o 35822
215.72	c 4945
215.93	o 35829
215.93	c 4938
216.14	o 35832
216.14	c 4935
216.36	o 35835
216.36	c 4932
216.57	o 35840
216.57	c 4927
216.81	o 35843
216.81	c 4924
217.02	o 35847
217.02	c 4920
217.23	o 35848
217.23	c 4919
218.07	o 35850
218.07	c 4917
218.27	o 35852
218.27	c 4915
218.46	o 35856
218.46	c 4911
218.65	o 35857
218.65	c 4910
218.83	o 35862
218.83	c 4905
219.57	o 35866
219.57	c 4901
219.76	o 35868
219.76	c 4899
219.95	o 35869
219.95	c 4898
220.14	o 35874
220.14	c 4893
220.48	o 35876
220.48	c 4891
220.66	o 35878
220.66	c 4889
221.01	o 35885
221.01	c 4882
221.21	o 35886
221.21	c 4881
221.58	o 35887
221.58	c 4880
221.77	o 35889
221.77	c 4878
221.96	o 35892
221.96	c 4875
222.69	o 35895
222.69	c 4872
222.87	o 35897
222.87	c 4870
223.08	o 35900
223.08	c 4867
223.47	o 35905
223.47	c 4862
223.67	o 35906
223.67	c 4861
223.87	o 35907
223.87	c 4860
224.07	o 35909
224.07	c 4858
224.29	o 35910
224.29	c 4857
224.49	o 35912
224.49	c 4855
224.69	o 35914
224.69	c 4853
226.30	o 35915
226.30	c 4852
226.53	o 35916
226.53	c 4851
226.76	o 35918
226.76	c 4849
226.96	o 35922
226.96	c 4845
227.15	o 35923
227.15	c 4844
227.35	o 35924
227.35	c 4843
227.56	o 35926
227.56	c 4841
227.74	o 35928
227.74	c 4839
228.14	o 35930
228.14	c 4837
228.73	o 35931
228.73	c 4836
228.93	o 35933
228.93	c 4834
229.32	o 35935
229.32	c 4832
229.92	o 35937
229.92	c 4830
230.34	o 35939
230.34	c 4828
230.55	o 35941
230.55	c 4826
230.97	o 35945
230.97	c 4822
231.17	o 35946
231.17	c 4821
231.58	o 35949
231.58	c 4818
231.80	o 35952
231.80	c 4815
232.01	o 35956
232.01	c 4811
232.22	o 35959
232.22	c 4808
232.46	o 35963
232.46	c 4804
232.92	o 35964
232.92	c 4803
233.38	o 35965
233.38	c 4802
233.60	o 35968
233.60	c 4799
233.85	o 35969
233.85	c 4798
234.54	o 35970
234.54	c 4797
234.78	o 35973
234.78	c 4794
235.02	o 35975
235.02	c 4792
235.27	o 35980
235.27	c 4787
235.52	o 35983
235.52	c 4784
235.69	o 35989
235.69	c 4778
235.93	o 35993
235.93	c 4774
236.39	o 35997
236.39	c 4770
236.86	o 35999
236.86	c 4768
237.11	o 36001
237.11	c 4766
237.35	o 36002
237.35	c 4765
237.60	o 36003
237.60	c 4764
237.85	o 36004
237.85	c 4763
238.11	o 36005
238.11	c 4762
238.34	o 36008
238.34	c 4759
238.84	o 36009
238.84	c 4758
239.59	o 36010
239.59	c 4757
239.84	o 36013
239.84	c 4754
240.10	o 36015
240.10	c 4752
240.60	o 36016
240.60	c 4751
240.87	o 36020
240.87	c 4747
241.13	o 36024
241.13	c 4743
241.39	o 36026
241.39	c 4741
242.14	o 36027
242.14	c 4740
242.40	o 36028
242.40	c 4739
242.64	o 36029
242.64	c 4738
242.90	o 36033
242.90	c 4734
243.14	o 36036
243.14	c 4731
243.86	o 36037
243.86	c 4730
244.10	o 36038
244.10	c 4729
244.61	o 36041
244.61	c 4726
244.84	o 36043
244.84	c 4724
245.09	o 36044
245.09	c 4723
245.33	o 36045
245.33	c 4722
245.58	o 36047
245.58	c 4720
245.83	o 36048
245.83	c 4719
246.56	o 36049
246.56	c 4718
247.41	o 36050
247.41	c 4717
247.65	o 36052
247.65	c 4715
247.88	o 36053
247.88	c 4714
248.10	o 36056
248.10	c 4711
249.03	o 36057
249.03	c 4710
249.48	o 36058
249.48	c 4709
249.70	o 36059
249.70	c 4708
249.93	o 36060
249.93	c 4707
250.58	o 36061
250.58	c 4706
250.79	o 36062
250.79	c 4705
252.08	o 36063
252.08	c 4704
252.72	o 36064
252.72	c 4703
253.13	o 36065
253.13	c 4702
253.35	o 36066
253.35	c 4701
253.57	o 36068
253.57	c 4699
254.00	o 36069
254.00	c 4698
254.45	o 36071
254.45	c 4696
255.11	o 36072
255.11	c 4695
255.33	o 36075
255.33	c 4692
255.56	o 36078
255.56	c 4689
255.99	o 36080
255.99	c 4687
256.21	o 36081
256.21	c 4686
256.86	o 36086
256.86	c 4681
257.09	o 36088
257.09	c 4679
257.28	o 36091
257.28	c 4676
257.49	o 36093
257.49	c 4674
257.69	o 36096
257.69	c 4671
258.11	o 36097
258.11	c 4670
258.53	o 36099
258.53	c 4668
258.73	o 36104
258.73	c 4663
259.82	o 36106
259.82	c 4661
260.04	o 36111
260.04	c 4656
260.88	o 36114
260.88	c 4653
261.12	o 36115
261.12	c 4652
261.35	o 36117
261.35	c 4650
262.75	o 36118
262.75	c 4649
263.00	o 36121
263.00	c 4646
264.20	o 36123
264.20	c 4644
264.46	o 36125
264.46	c 4642
265.21	o 36127
265.21	c 4640
265.44	o 36128
265.44	c 4639
266.18	o 36132
266.18	c 4635
266.42	o 36135
266.42	c 4632
266.66	o 36138
266.66	c 4629
266.91	o 36139
266.91	c 4628
267.17	o 36145
267.17	c 4622
267.41	o 36146
267.41	c 4621
267.65	o 36150
267.65	c 4617
268.14	o 36153
268.14	c 4614
268.64	o 36156
268.64	c 4611
268.90	o 36160
268.90	c 4607
270.88	o 36165
270.88	c 4602
271.13	o 36169
271.13	c 4598
271.38	o 36170
271.38	c 4597
271.64	o 36171
271.64	c 4596
272.41	o 36172
272.41	c 4595
272.61	o 36176
272.61	c 4591
273.13	o 36179
273.13	c 4588
273.39	o 36182
273.39	c 4585
273.64	o 36184
273.64	c 4583
274.14	o 36187
274.14	c 4580
274.64	o 36189
274.64	c 4578
274.90	o 36190
274.90	c 4577
277.32	o 36191
277.32	c 4576
277.55	o 36197
277.55	c 4570
277.92	o 36200
277.92	c 4567
278.14	o 36201
278.14	c 4566
278.38	o 36204
278.38	c 4563
278.60	o 36206
278.60	c 4561
278.85	o 36208
278.85	c 4559
279.55	o 36210
279.55	c 4557
279.79	o 36212
279.79	c 4555
280.49	o 36215
280.49	c 4552
280.72	o 36217
280.72	c 4550
280.95	o 36218
280.95	c 4549
281.17	o 36220
281.17	c 4547
281.41	o 36222
281.41	c 4545
281.62	o 36225
281.62	c 4542
281.84	o 36227
281.84	c 4540
282.09	o 36229
282.09	c 4538
282.30	o 36232
282.30	c 4535
282.53	o 36234
282.53	c 4533
282.75	o 36239
282.75	c 4528
282.96	o 36241
282.96	c 4526
283.18	o 36246
283.18	c 4521
283.29	o 36252
283.29	c 4515
283.50	o 36253
283.50	c 4514
283.75	o 36254
283.75	c 4513
283.96	o 36259
283.96	c 4508
285.12	o 36260
285.12	c 4507
285.34	o 36262
285.34	c 4505
287.78	o 36265
287.78	c 4502
288.05	o 36271
288.05	c 4496
288.80	o 36274
288.80	c 4493
289.08	o 36278
289.08	c 4489
289.34	o 36280
289.34	c 4487
289.61	o 36282
289.61	c 4485
289.88	o 36284
289.88	c 4483
290.16	o 36285
290.16	c 4482
290.43	o 36287
290.43	c 4480
290.70	o 36290
290.70	c 4477
290.95	o 36291
290.95	c 4476
291.23	o 36292
291.23	c 4475
291.51	o 36294
291.51	c 4473
291.79	o 36297
291.79	c 4470
292.07	o 36301
292.07	c 4466
292.38	o 36303
292.38	c 4464
292.66	o 36308
292.66	c 4459
295.53	o 36309
295.53	c 4458
295.84	o 36313
295.84	c 4454
296.14	o 36315
296.14	c 4452
296.73	o 36317
296.73	c 4450
297.02	o 36323
297.02	c 4444
299.63	o 36324
299.63	c 4443
300.16	o 36329
300.16	c 4438
300.71	o 36332
300.71	c 4435
301.55	o 36333
301.55	c 4434
301.85	o 36337
301.85	c 4430
302.75	o 36342
302.75	c 4425
303.05	o 36347
303.05	c 4420
305.41	o 36350
305.41	c 4417
306.31	o 36351
306.31	c 4416
306.60	o 36354
306.60	c 4413
307.21	o 36357
307.21	c 4410
307.51	o 36362
307.51	c 4405
307.80	o 36365
307.80	c 4402
308.08	o 36367
308.08	c 4400
309.26	o 36368
309.26	c 4399
309.55	o 36369
309.55	c 4398
309.84	o 36370
309.84	c 4397
310.42	o 36373
310.42	c 4394
310.69	o 36374
310.69	c 4393
312.07	o 36380
312.07	c 4387
312.26	o 36381
312.26	c 4386
312.79	o 36382
312.79	c 4385
313.07	o 36384
313.07	c 4383
313.59	o 36386
313.59	c 4381
315.11	o 36388
315.11	c 4379
315.36	o 36389
315.36	c 4378
315.63	o 36391
315.63	c 4376
315.89	o 36392
315.89	c 4375
316.15	o 36393
316.15	c 4374
316.37	o 36395
316.37	c 4372
317.41	o 36396
317.41	c 4371
318.16	o 36397
318.16	c 4370
318.42	o 36399
318.42	c 4368
318.69	o 36401
318.69	c 4366
319.19	o 36402
319.19	c 4365
319.43	o 36403
319.43	c 4364
319.69	o 36404
319.69	c 4363
319.94	o 36406
319.94	c 4361
320.20	o 36407
320.20	c 4360
324.11	o 36408
324.11	c 4359
324.34	o 36409
324.34	c 4358
324.55	o 36410
324.55	c 4357
324.78	o 36413
324.78	c 4354
325.42	o 36415
325.42	c 4352
328.34	o 36418
328.34	c 4349
328.82	o 36421
328.82	c 4346
329.08	o 36422
329.08	c 4345
329.35	o 36425
329.35	c 4342
329.63	o 36428
329.63	c 4339
330.36	o 36430
330.36	c 4337
330.62	o 36432
330.62	c 4335
330.86	o 36434
330.86	c 4333
331.12	o 36435
331.12	c 4332
332.75	o 36437
332.75	c 4330
333.01	o 36438
333.01	c 4329
335.24	o 36440
335.24	c 4327
335.95	o 36441
335.95	c 4326
336.21	o 36445
336.21	c 4322
337.00	o 36449
337.00	c 4318
338.06	o 36450
338.06	c 4317
338.31	o 36451
338.31	c 4316
338.57	o 36452
338.57	c 4315
338.72	o 36455
338.72	c 4312
341.17	o 36458
341.17	c 4309
341.76	o 36461
341.76	c 4306
341.89	o 36464
341.89	c 4303
342.15	o 36469
342.15	c 4298
342.41	o 36473
342.41	c 4294
342.67	o 36476
342.67	c 4291
342.94	o 36477
342.94	c 4290
343.20	o 36479
343.20	c 4288
343.99	o 36481
343.99	c 4286
344.27	o 36482
344.27	c 4285
344.54	o 36484
344.54	c 4283
345.07	o 36489
345.07	c 4278
345.82	o 36490
345.82	c 4277
346.56	o 36492
346.56	c 4275
346.81	o 36493
346.81	c 4274
347.07	o 36495
347.07	c 4272
347.31	o 36498
347.31	c 4269
347.58	o 36499
347.58	c 4268
347.82	o 36502
347.82	c 4265
348.08	o 36503
348.08	c 4264
349.37	o 36506
349.37	c 4261
349.63	o 36509
349.63	c 4258
349.89	o 36510
349.89	c 4257
350.41	o 36513
350.41	c 4254
350.68	o 36515
350.68	c 4252
350.93	o 36519
350.93	c 4248
352.99	o 36520
352.99	c 4247
353.55	o 36522
353.55	c 4245
353.83	o 36525
353.83	c 4242
354.88	o 36527
354.88	c 4240
355.14	o 36528
355.14	c 4239
355.90	o 36530
355.90	c 4237
356.92	o 36535
356.92	c 4232
357.44	o 36536
357.44	c 4231
357.69	o 36539
357.69	c 4228
357.95	o 36540
357.95	c 4227
358.21	o 36545
358.21	c 4222
358.74	o 36547
358.74	c 4220
358.98	o 36552
358.98	c 4215
359.23	o 36554
359.23	c 4213
359.47	o 36556
359.47	c 4211
360.22	o 36559
360.22	c 4208
360.40	o 36560
360.40	c 4207
360.93	o 36563
360.93	c 4204
361.20	o 36564
361.20	c 4203
361.46	o 36567
361.46	c 4200
361.74	o 36568
361.74	c 4199
361.95	o 36570
361.95	c 4197
362.49	o 36574
362.49	c 4193
362.75	o 36575
362.75	c 4192
363.02	o 36578
363.02	c 4189
363.29	o 36580
363.29	c 4187
363.55	o 36581
363.55	c 4186
363.83	o 36582
363.83	c 4185
364.10	o 36585
364.10	c 4182
364.35	o 36586
364.35	c 4181
364.60	o 36588
364.60	c 4179
364.86	o 36590
364.86	c 4177
365.11	o 36592
365.11	c 4175
365.38	o 36595
365.38	c 4172
365.64	o 36596
365.64	c 4171
365.89	o 36597
365.89	c 4170
366.39	o 36598
366.39	c 4169
366.65	o 36602
366.65	c 4165
367.44	o 36606
367.44	c 4161
367.69	o 36608
367.69	c 4159
368.23	o 36609
368.23	c 4158
368.50	o 36612
368.50	c 4155
369.57	o 36614
369.57	c 4153
369.81	o 36617
369.81	c 4150
370.09	o 36620
370.09	c 4147
370.36	o 36623
370.36	c 4144
370.63	o 36624
370.63	c 4143
371.20	o 36627
371.20	c 4140
371.50	o 36630
371.50	c 4137
371.79	o 36632
371.79	c 4135
372.08	o 36637
372.08	c 4130
372.35	o 36638
372.35	c 4129
372.96	o 36640
372.96	c 4127
373.23	o 36643
373.23	c 4124
374.73	o 36647
374.73	c 4120
375.02	o 36651
375.02	c 4116
375.88	o 36652
375.88	c 4115
379.94	o 36658
379.94	c 4109
381.15	o 36662
381.15	c 4105
381.45	o 36665
381.45	c 4102
383.36	o 36666
383.36	c 4101
383.67	o 36667
383.67	c 4100
384.61	o 36672
384.61	c 4095
384.92	o 36674
384.92	c 4093
385.24	o 36675
385.24	c 4092
387.81	o 36678
387.81	c 4089
388.44	o 36679
388.44	c 4088
388.97	o 36683
388.97	c 4084
389.28	o 36684
389.28	c 4083
389.61	o 36685
389.61	c 4082
390.23	o 36686
390.23	c 4081
390.55	o 36689
390.55	c 4078
390.88	o 36692
390.88	c 4075
391.55	o 36694
391.55	c 4073
391.87	o 36696
391.87	c 4071
394.16	o 36697
394.16	c 4070
394.80	o 36701
394.80	c 4066
395.12	o 36703
395.12	c 4064
395.46	o 36704
395.46	c 4063
395.74	o 36707
395.74	c 4060
396.06	o 36708
396.06	c 4059
396.71	o 36709
396.71	c 4058
397.05	o 36711
397.05	c 4056
397.68	o 36713
397.68	c 4054
398.00	o 36716
398.00	c 4051
398.65	o 36718
398.65	c 4049
398.96	o 36721
398.96	c 4046
400.51	o 36724
400.51	c 4043
401.41	o 36725
401.41	c 4042
401.72	o 36726
401.72	c 4041
402.04	o 36727
402.04	c 4040
403.21	o 36728
403.21	c 4039
405.30	o 36729
405.30	c 4038
405.60	o 36730
405.60	c 4037
405.90	o 36732
405.90	c 4035
406.21	o 36733
406.21	c 4034
406.53	o 36736
406.53	c 4031
407.43	o 36740
407.43	c 4027
408.05	o 36741
408.05	c 4026
410.48	o 36747
410.48	c 4020
411.75	o 36748
411.75	c 4019
412.06	o 36749
412.06	c 4018
412.70	o 36752
412.70	c 4015
413.03	o 36755
413.03	c 4012
413.27	o 36761
413.27	c 4006
413.58	o 36766
413.58	c 4001
413.90	o 36768
413.90	c 3999
414.24	o 36771
414.24	c 3996
415.51	o 36772
415.51	c 3995
415.73	o 36775
415.73	c 3992
416.33	o 36777
416.33	c 3990
416.66	o 36780
416.66	c 3987
416.99	o 36782
416.99	c 3985
417.30	o 36783
417.30	c 3984
417.95	o 36788
417.95	c 3979
426.56	o 36789
426.56	c 3978
426.91	o 36791
426.91	c 3976
427.25	o 36794
427.25	c 3973
427.57	o 36796
427.57	c 3971
427.91	o 36797
427.91	c 3970
428.26	o 36798
428.26	c 3969
428.60	o 36799
428.60	c 3968
428.94	o 36801
428.94	c 3966
429.61	o 36802
429.61	c 3965
430.69	o 36803
430.69	c 3964
431.37	o 36805
431.37	c 3962
431.72	o 36809
431.72	c 3958
432.06	o 36814
432.06	c 3953
432.98	o 36820
432.98	c 3947
433.30	o 36823
433.30	c 3944
433.63	o 36828
433.63	c 3939
433.95	o 36831
433.95	c 3936
434.95	o 36832
434.95	c 3935
435.28	o 36834
435.28	c 3933
435.96	o 36836
435.96	c 3931
436.60	o 36837
436.60	c 3930
436.95	o 36841
436.95	c 3926
437.92	o 36842
437.92	c 3925
440.23	o 36843
440.23	c 3924
441.63	o 36845
441.63	c 3922
441.99	o 36847
441.99	c 3920
442.67	o 36848
442.67	c 3919
444.07	o 36850
444.07	c 3917
445.91	o 36852
445.91	c 3915
446.27	o 36853
446.27	c 3914
446.63	o 36857
446.63	c 3910
447.34	o 36860
447.34	c 3907
447.69	o 36861
447.69	c 3906
451.04	o 36864
451.04	c 3903
451.42	o 36866
451.42	c 3901
451.80	o 36868
451.80	c 3899
452.53	o 36869
452.53	c 3898
455.27	o 36870
455.27	c 3897
455.66	o 36871
455.66	c 3896
457.66	o 36872
457.66	c 3895
460.00	o 36873
460.00	c 3894
460.38	o 36877
460.38	c 3890
460.79	o 36879
460.79	c 3888
461.19	o 36880
461.19	c 3887
461.58	o 36881
461.58	c 3886
462.78	o 36882
462.78	c 3885
463.60	o 36883
463.60	c 3884
464.00	o 36884
464.00	c 3883
464.43	o 36886
464.43	c 3881
466.29	o 36887
466.29	c 3880
469.65	o 36889
469.65	c 3878
470.46	o 36891
470.46	c 3876
470.87	o 36892
470.87	c 3875
472.48	o 36895
472.48	c 3872
475.07	o 36898
475.07	c 3869
475.47	o 36902
475.47	c 3865
475.86	o 36904
475.86	c 3863
476.25	o 36905
476.25	c 3862
477.85	o 36909
477.85	c 3858
478.25	o 36911
478.25	c 3856
478.69	o 36916
478.69	c 3851
480.08	o 36921
480.08	c 3846
480.47	o 36923
480.47	c 3844
480.86	o 36928
480.86	c 3839
481.27	o 36929
481.27	c 3838
481.67	o 36932
481.67	c 3835
482.08	o 36934
482.08	c 3833
482.48	o 36936
482.48	c 3831
482.89	o 36937
482.89	c 3830
483.73	o 36938
483.73	c 3829
484.16	o 36940
484.16	c 3827
484.96	o 36941
484.96	c 3826
485.38	o 36944
485.38	c 3823
485.78	o 36946
485.78	c 3821
486.17	o 36949
486.17	c 3818
486.56	o 36951
486.56	c 3816
487.35	o 36953
487.35	c 3814
487.72	o 36956
487.72	c 3811
488.90	o 36957
488.90	c 3810
489.31	o 36958
489.31	c 3809
490.07	o 36959
490.07	c 3808
490.46	o 36961
490.46	c 3806
491.99	o 36964
491.99	c 3803
492.79	o 36965
492.79	c 3802
493.98	o 36966
493.98	c 3801
495.55	o 36967
495.55	c 3800
495.95	o 36969
495.95	c 3798
497.18	o 36970
497.18	c 3797
497.59	o 36972
497.59	c 3795
497.83	o 36974
497.83	c 3793
499.17	o 36975
499.17	c 3792
499.60	o 36977
499.60	c 3790
500.06	o 36978
500.06	c 3789
500.95	o 36980
500.95	c 3787
501.84	o 36981
501.84	c 3786
502.26	o 36984
502.26	c 3783
503.57	o 36985
503.57	c 3782
503.97	o 36988
503.97	c 3779
504.41	o 36990
504.41	c 3777
507.07	o 36992
507.07	c 3775
507.51	o 36994
507.51	c 3773
507.96	o 36995
507.96	c 3772
512.70	o 36997
512.70	c 3770
513.14	o 37001
513.14	c 3766
513.46	o 37004
513.46	c 3763
513.92	o 37006
513.92	c 3761
515.18	o 37008
515.18	c 3759
516.51	o 37012
516.51	c 3755
516.94	o 37013
516.94	c 3754
517.80	o 37016
517.80	c 3751
518.67	o 37021
518.67	c 3746
519.11	o 37022
519.11	c 3745
522.06	o 37023
522.06	c 3744
522.50	o 37024
522.50	c 3743
522.93	o 37025
522.93	c 3742
523.37	o 37026
523.37	c 3741
523.82	o 37028
523.82	c 3739
525.15	o 37030
525.15	c 3737
526.80	o 37031
526.80	c 3736
527.66	o 37032
527.66	c 3735
528.12	o 37037
528.12	c 3730
528.59	o 37042
528.59	c 3725
529.31	o 37047
529.31	c 3720
530.94	o 37048
530.94	c 3719
531.79	o 37050
531.79	c 3717
533.14	o 37053
533.14	c 3714
533.57	o 37055
533.57	c 3712
534.01	o 37058
534.01	c 3709
534.87	o 37059
534.87	c 3708
536.15	o 37060
536.15	c 3707
537.04	o 37062
537.04	c 3705
537.48	o 37063
537.48	c 3704
537.93	o 37070
537.93	c 3697
538.79	o 37072
538.79	c 3695
539.23	o 37074
539.23	c 3693
541.98	o 37076
541.98	c 3691
542.42	o 37078
542.42	c 3689
542.85	o 37080
542.85	c 3687
544.52	o 37082
544.52	c 3685
547.77	o 37084
547.77	c 3683
548.60	o 37086
548.60	c 3681
549.89	o 37089
549.89	c 3678
550.32	o 37092
550.32	c 3675
551.07	o 37093
551.07	c 3674
551.49	o 37094
551.49	c 3673
551.90	o 37096
551.90	c 3671
552.33	o 37098
552.33	c 3669
552.76	o 37100
552.76	c 3667
554.89	o 37101
554.89	c 3666
555.32	o 37103
555.32	c 3664
555.75	o 37104
555.75	c 3663
556.62	o 37105
556.62	c 3662
557.05	o 37107
557.05	c 3660
557.49	o 37108
557.49	c 3659
558.75	o 37109
558.75	c 3658
559.17	o 37111
559.17	c 3656
559.47	o 37113
559.47	c 3654
559.89	o 37115
559.89	c 3652
560.31	o 37118
560.31	c 3649
560.74	o 37124
560.74	c 3643
561.58	o 37126
561.59	c 3641
564.15	o 37127
564.15	c 3640
564.59	o 37132
564.59	c 3635
565.00	o 37135
565.00	c 3632
565.83	o 37137
565.83	c 3630
566.25	o 37140
566.25	c 3627
566.93	o 37143
566.93	c 3624
567.35	o 37144
567.35	c 3623
567.72	o 37145
567.72	c 3622
568.13	o 37148
568.13	c 3619
568.55	o 37149
568.55	c 3618
568.97	o 37153
568.97	c 3614
569.38	o 37154
569.38	c 3613
569.78	o 37157
569.79	c 3610
570.57	o 37160
570.57	c 3607
571.38	o 37161
571.38	c 3606
571.64	o 37162
571.64	c 3605
572.04	o 37163
572.04	c 3604
572.46	o 37167
572.46	c 3600
572.85	o 37171
572.85	c 3596
573.25	o 37173
573.25	c 3594
573.65	o 37174
573.65	c 3593
574.06	o 37175
574.06	c 3592
574.47	o 37176
574.47	c 3591
574.86	o 37181
574.86	c 3586
575.24	o 37187
575.24	c 3580
576.38	o 37188
576.38	c 3579
576.78	o 37189
576.78	c 3578
577.54	o 37191
577.54	c 3576
577.86	o 37193
577.86	c 3574
579.40	o 37194
579.40	c 3573
579.80	o 37197
579.80	c 3570
580.20	o 37198
580.20	c 3569
580.55	o 37199
580.55	c 3568
580.95	o 37203
580.95	c 3564
581.36	o 37204
581.36	c 3563
581.74	o 37207
581.74	c 3560
582.96	o 37208
582.96	c 3559
583.36	o 37212
583.36	c 3555
583.76	o 37213
583.76	c 3554
584.18	o 37215
584.18	c 3552
584.45	o 37216
584.45	c 3551
584.86	o 37219
584.86	c 3548
586.45	o 37221
586.45	c 3546
586.84	o 37224
586.84	c 3543
587.23	o 37229
587.23	c 3538
588.02	o 37234
588.02	c 3533
588.41	o 37237
588.41	c 3530
588.81	o 37240
588.81	c 3527
589.19	o 37245
589.19	c 3522
589.59	o 37248
589.59	c 3519
590.79	o 37249
590.79	c 3518
591.95	o 37251
591.95	c 3516
592.75	o 37252
592.75	c 3515
593.83	o 37256
593.83	c 3511
595.08	o 37257
595.08	c 3510
595.82	o 37258
595.82	c 3509
596.20	o 37259
596.20	c 3508
596.56	o 37262
596.56	c 3505
597.65	o 37263
597.65	c 3504
598.77	o 37264
598.77	c 3503
601.31	o 37265
601.31	c 3502
603.63	o 37267
603.63	c 3500
603.99	o 37269
603.99	c 3498
604.36	o 37271
604.36	c 3496
605.07	o 37273
605.07	c 3494
605.17	o 37276
605.17	c 3491
605.88	o 37277
605.88	c 3490
606.24	o 37279
606.24	c 3488
606.62	o 37281
606.62	c 3486
606.75	o 37285
606.75	c 3482
610.60	o 37288
610.60	c 3479
611.67	o 37290
611.67	c 3477
611.98	o 37293
611.98	c 3474
612.36	o 37294
612.36	c 3473
612.72	o 37295
612.72	c 3472
613.09	o 37298
613.09	c 3469
616.26	o 37299
616.26	c 3468
616.65	o 37300
616.65	c 3467
617.04	o 37303
617.04	c 3464
618.01	o 37304
618.01	c 3463
618.77	o 37305
618.77	c 3462
621.46	o 37306
621.46	c 3461
621.88	o 37308
621.88	c 3459
622.27	o 37313
622.27	c 3454
623.43	o 37316
623.43	c 3451
623.82	o 37319
623.82	c 3448
624.43	o 37323
624.43	c 3444
625.51	o 37325
625.51	c 3442
625.73	o 37328
625.73	c 3439
626.92	o 37330
626.92	c 3437
627.32	o 37333
627.32	c 3434
627.73	o 37334
627.73	c 3433
628.13	o 37335
628.13	c 3432
630.12	o 37338
630.12	c 3429
630.94	o 37339
630.94	c 3428
631.33	o 37340
631.33	c 3427
632.15	o 37345
632.15	c 3422
632.94	o 37346
632.94	c 3421
633.32	o 37347
633.32	c 3420
633.83	o 37351
633.83	c 3416
634.22	o 37352
634.22	c 3415
635.02	o 37353
635.02	c 3414
636.60	o 37354
636.60	c 3413
637.00	o 37357
637.00	c 3410
637.39	o 37358
637.39	c 3409
637.80	o 37362
637.80	c 3405
638.42	o 37367
638.42	c 3400
640.74	o 37368
640.74	c 3399
641.11	o 37371
641.11	c 3396
643.47	o 37375
643.47	c 3392
643.65	o 37377
643.65	c 3390
644.06	o 37379
644.06	c 3388
644.45	o 37380
644.45	c 3387
648.54	o 37381
648.54	c 3386
648.96	o 37382
648.96	c 3385
649.81	o 37383
649.81	c 3384
650.24	o 37384
650.24	c 3383
650.68	o 37385
650.68	c 3382
654.19	o 37386
654.19	c 3381
655.48	o 37391
655.48	c 3376
658.85	o 37393
658.85	c 3374
662.02	o 37394
662.02	c 3373
662.49	o 37396
662.49	c 3371
662.95	o 37398
662.95	c 3369
669.51	o 37399
669.51	c 3368
669.85	o 37402
669.85	c 3365
670.30	o 37404
670.30	c 3363
670.77	o 37405
670.77	c 3362
671.23	o 37410
671.23	c 3357
671.68	o 37411
671.68	c 3356
672.59	o 37412
672.59	c 3355
673.06	o 37413
673.06	c 3354
673.86	o 37414
673.86	c 3353
675.99	o 37416
675.99	c 3351
676.43	o 37418
676.43	c 3349
677.32	o 37419
677.32	c 3348
677.77	o 37421
677.77	c 3346
678.21	o 37423
678.21	c 3344
678.27	o 37426
678.27	c 3341
679.13	o 37429
679.13	c 3338
679.56	o 37430
679.56	c 3337
679.99	o 37431
679.99	c 3336
681.29	o 37433
681.29	c 3334
683.47	o 37434
683.47	c 3333
683.93	o 37437
683.93	c 3330
684.36	o 37440
684.36	c 3327
684.80	o 37442
684.80	c 3325
685.72	o 37443
685.72	c 3324
687.38	o 37445
687.38	c 3322
690.54	o 37448
690.54	c 3319
690.68	o 37452
690.68	c 3315
691.11	o 37454
691.11	c 3313
691.56	o 37456
691.56	c 3311
692.00	o 37460
692.00	c 3307
692.43	o 37463
692.43	c 3304
692.86	o 37464
692.86	c 3303
693.72	o 37465
693.72	c 3302
693.93	o 37466
693.93	c 3301
694.36	o 37468
694.36	c 3299
694.77	o 37469
694.77	c 3298
696.94	o 37470
696.94	c 3297
697.40	o 37472
697.40	c 3295
704.80	o 37477
704.80	c 3290
705.66	o 37479
705.66	c 3288
706.11	o 37483
706.11	c 3284
706.49	o 37485
706.49	c 3282
708.17	o 37487
708.17	c 3280
709.07	o 37488
709.07	c 3279
710.42	o 37489
710.42	c 3278
711.33	o 37490
711.33	c 3277
711.82	o 37491
711.82	c 3276
712.32	o 37495
712.32	c 3272
712.80	o 37501
712.80	c 3266
713.24	o 37503
713.24	c 3264
713.71	o 37507
713.71	c 3260
714.62	o 37509
714.62	c 3258
715.54	o 37510
715.54	c 3257
719.28	o 37515
719.28	c 3252
719.73	o 37518
719.73	c 3249
722.99	o 37519
722.99	c 3248
723.48	o 37521
723.48	c 3246
723.97	o 37522
723.97	c 3245
724.43	o 37525
724.43	c 3242
725.90	o 37526
725.90	c 3241
726.79	o 37528
726.79	c 3239
727.23	o 37530
727.23	c 3237
727.69	o 37531
727.69	c 3236
728.12	o 37532
728.12	c 3235
728.72	o 37534
728.72	c 3233
730.06	o 37538
730.06	c 3229
730.99	o 37539
730.99	c 3228
755.26	o 37540
755.26	c 3227
755.72	o 37542
755.72	c 3225
756.20	o 37543
756.20	c 3224
757.00	o 37544
757.00	c 3223
757.44	o 37545
757.44	c 3222
757.91	o 37552
757.91	c 3215
758.66	o 37554
758.66	c 3213
759.14	o 37555
759.14	c 3212
759.58	o 37559
759.58	c 3208
760.03	o 37560
760.03	c 3207
760.49	o 37567
760.49	c 3200
760.94	o 37571
760.94	c 3196
761.39	o 37573
761.39	c 3194
762.27	o 37575
762.27	c 3192
763.19	o 37579
763.19	c 3188
763.68	o 37581
763.68	c 3186
764.14	o 37584
764.14	c 3183
764.61	o 37585
764.61	c 3182
770.23	o 37586
770.23	c 3181
771.24	o 37588
771.24	c 3179
771.75	o 37590
771.75	c 3177
772.25	o 37591
772.25	c 3176
772.78	o 37594
772.78	c 3173
781.24	o 37596
781.24	c 3171
781.76	o 37597
781.76	c 3170
782.28	o 37598
782.28	c 3169
789.39	o 37601
789.39	c 3166
790.50	o 37603
790.50	c 3164
791.06	o 37605
791.06	c 3162
791.61	o 37607
791.61	c 3160
794.30	o 37608
794.30	c 3159
795.44	o 37609
795.44	c 3158
795.99	o 37610
795.99	c 3157
796.54	o 37613
796.54	c 3154
797.58	o 37614
797.58	c 3153
798.12	o 37618
798.12	c 3149
798.67	o 37619
798.67	c 3148
800.29	o 37620
800.29	c 3147
806.47	o 37622
806.47	c 3145
814.36	o 37623
814.36	c 3144
816.61	o 37624
816.61	c 3143
817.18	o 37626
817.18	c 3141
823.25	o 37627
823.25	c 3140
823.80	o 37628
823.80	c 3139
824.36	o 37631
824.36	c 3136
825.99	o 37632
825.99	c 3135
826.53	o 37633
826.53	c 3134
827.07	o 37634
827.07	c 3133
831.12	o 37636
831.12	c 3131
831.67	o 37637
831.67	c 3130
844.21	o 37638
844.21	c 3129
844.54	o 37641
844.54	c 3126
844.99	o 37642
844.99	c 3125
845.50	o 37644
845.50	c 3123
847.02	o 37645
847.02	c 3122
848.12	o 37648
848.12	c 3119
848.67	o 37649
848.67	c 3118
852.77	o 37651
852.77	c 3116
854.40	o 37653
854.40	c 3114
856.06	o 37655
856.06	c 3112
856.61	o 37656
856.61	c 3111
857.16	o 37661
857.16	c 3106
858.80	o 37662
858.80	c 3105
859.35	o 37663
859.35	c 3104
861.56	o 37664
861.56	c 3103
862.66	o 37665
862.66	c 3102
876.48	o 37666
876.48	c 3101
877.01	o 37672
877.01	c 3095
877.91	o 37675
877.91	c 3092
878.43	o 37677
878.43	c 3090
880.50	o 37678
880.50	c 3089
895.56	o 37679
895.56	c 3088
896.05	o 37681
896.05	c 3086
899.88	o 37685
899.88	c 3082
900.82	o 37687
900.82	c 3080
901.32	o 37688
901.32	c 3079
901.81	o 37690
901.81	c 3077
902.31	o 37692
902.31	c 3075
904.35	o 37693
904.35	c 3074
905.78	o 37696
905.78	c 3071
907.25	o 37698
907.25	c 3069
908.71	o 37700
908.71	c 3067
909.22	o 37701
909.22	c 3066
909.75	o 37706
909.75	c 3061
910.26	o 37707
910.26	c 3060
911.29	o 37708
911.29	c 3059
913.44	o 37711
913.44	c 3056
914.29	o 37713
914.29	c 3054
914.80	o 37714
914.80	c 3053
915.86	o 37719
915.86	c 3048
916.37	o 37724
916.37	c 3043
916.82	o 37725
916.82	c 3042
918.36	o 37726
918.36	c 3041
918.87	o 37728
918.87	c 3039
919.36	o 37730
919.36	c 3037
919.72	o 37731
919.72	c 3036
920.22	o 37734
920.22	c 3033
922.54	o 37736
922.54	c 3031
923.05	o 37737
923.05	c 3030
923.56	o 37739
923.56	c 3028
926.59	o 37746
926.59	c 3021
928.14	o 37748
928.14	c 3019
932.62	o 37751
932.62	c 3016
933.01	o 37753
933.01	c 3014
933.51	o 37756
933.51	c 3011
934.02	o 37759
934.02	c 3008
936.64	o 37760
936.64	c 3007
937.19	o 37761
937.19	c 3006
937.73	o 37762
937.73	c 3005
941.43	o 37763
941.43	c 3004
941.96	o 37771
941.96	c 2996
942.48	o 37772
942.48	c 2995
943.52	o 37773
943.52	c 2994
944.04	o 37776
944.04	c 2991
944.54	o 37781
944.54	c 2986
949.52	o 37782
949.52	c 2985
952.95	o 37784
952.95	c 2983
954.93	o 37786
954.93	c 2981
956.52	o 37787
956.52	c 2980
966.70	o 37790
966.70	c 2977
967.21	o 37792
967.21	c 2975
968.35	o 37794
968.35	c 2973
968.55	o 37797
968.55	c 2970
970.30	o 37800
970.30	c 2967
970.87	o 37801
970.87	c 2966
972.36	o 37802
972.36	c 2965
972.92	o 37805
972.92	c 2962
975.60	o 37807
975.60	c 2960
976.19	o 37808
976.19	c 2959
976.74	o 37810
976.74	c 2957
977.81	o 37813
977.81	c 2954
978.37	o 37815
978.37	c 2952
978.65	o 37820
978.65	c 2947
979.17	o 37822
979.17	c 2945
979.70	o 37824
979.70	c 2943
980.23	o 37829
980.23	c 2938
980.75	o 37830
980.75	c 2937
980.89	o 37833
980.89	c 2934
981.43	o 37835
981.43	c 2932
982.00	o 37839
982.00	c 2928
982.39	o 37842
982.39	c 2925
982.93	o 37844
982.93	c 2923
983.46	o 37846
983.46	c 2921
984.54	o 37847
984.54	c 2920
990.91	o 37848
990.91	c 2919
991.77	o 37849
991.77	c 2918
992.27	o 37853
992.27	c 2914
992.79	o 37854
992.79	c 2913
993.33	o 37856
993.33	c 2911
993.86	o 37857
993.86	c 2910
995.40	o 37858
995.40	c 2909
995.92	o 37863
995.92	c 2904
996.30	o 37866
996.30	c 2901
996.81	o 37867
996.81	c 2900
999.40	o 37868
999.40	c 2899
1000.43	o 37869
1000.43	c 2898
1000.93	o 37871
1000.93	c 2896
1006.05	o 37873
1006.05	c 2894
1007.10	o 37875
1007.10	c 2892
1007.61	o 37880
1007.61	c 2887
1009.01	o 37885
1009.01	c 2882
1009.53	o 37887
1009.53	c 2880
1010.60	o 37888
1010.60	c 2879
1011.12	o 37890
1011.12	c 2877
1011.67	o 37891
1011.67	c 2876
1013.26	o 37893
1013.26	c 2874
1017.29	o 37894
1017.29	c 2873
1017.85	o 37896
1017.85	c 2871
1018.40	o 37898
1018.40	c 2869
1018.57	o 37901
1018.57	c 2866
1019.07	o 37903
1019.07	c 2864
1020.72	o 37904
1020.72	c 2863
1021.26	o 37905
1021.26	c 2862
1024.55	o 37908
1024.55	c 2859
1025.11	o 37910
1025.11	c 2857
1029.39	o 37911
1029.39	c 2856
1054.51	o 37915
1054.51	c 2852
1055.11	o 37918
1055.11	c 2849
1059.93	o 37920
1059.93	c 2847
1060.53	o 37922
1060.53	c 2845
1072.41	o 37923
1072.41	c 2844
1073.69	o 37924
1073.69	c 2843
1076.97	o 37926
1076.97	c 2841
1077.64	o 37927
1077.64	c 2840
1078.95	o 37928
1078.95	c 2839
1079.89	o 37931
1079.89	c 2836
1080.18	o 37933
1080.18	c 2834
1080.83	o 37936
1080.83	c 2831
1083.40	o 37937
1083.40	c 2830
1084.04	o 37940
1084.04	c 2827
1084.69	o 37941
1084.69	c 2826
1090.43	o 37942
1090.43	c 2825
1091.11	o 37943
1091.11	c 2824
1091.79	o 37945
1091.79	c 2822
1092.45	o 37946
1092.45	c 2821
1093.80	o 37950
1093.80	c 2817
1094.42	o 37951
1094.42	c 2816
1097.12	o 37952
1097.12	c 2815
1098.46	o 37953
1098.46	c 2814
1099.14	o 37956
1099.14	c 2811
1099.82	o 37958
1099.82	c 2809
1107.08	o 37959
1107.08	c 2808
1111.24	o 37960
1111.25	c 2807
1111.91	o 37964
1111.91	c 2803
1114.50	o 37965
1114.50	c 2802
1118.98	o 37966
1118.98	c 2801
1122.02	o 37967
1122.02	c 2800
1127.70	o 37970
1127.70	c 2797
1134.16	o 37971
1134.16	c 2796
1140.63	o 37972
1140.63	c 2795
1143.35	o 37973
1143.35	c 2794
1144.06	o 37976
1144.06	c 2791
1144.74	o 37981
1144.74	c 2786
1145.06	o 37982
1145.06	c 2785
1147.76	o 37983
1147.76	c 2784
1158.44	o 37984
1158.44	c 2783
1161.15	o 37985
1161.15	c 2782
1161.78	o 37986
1161.78	c 2781
1163.22	o 37990
1163.22	c 2777
1165.29	o 37991
1165.29	c 2776
1168.03	o 37992
1168.03	c 2775
1168.67	o 37993
1168.67	c 2774
1170.04	o 37994
1170.04	c 2773
1170.59	o 37995
1170.59	c 2772
1171.10	o 37998
1171.10	c 2769
1171.75	o 38000
1171.75	c 2767
1172.45	o 38001
1172.45	c 2766
1174.47	o 38002
1174.47	c 2765
1175.86	o 38003
1175.86	c 2764
1180.41	o 38006
1180.41	c 2761
1183.22	o 38008
1183.22	c 2759
1184.67	o 38011
1184.67	c 2756
1187.54	o 38013
1187.54	c 2754
1192.70	o 38018
1192.70	c 2749
1194.33	o 38020
1194.33	c 2747
1195.05	o 38021
1195.05	c 2746
1196.48	o 38022
1196.48	c 2745
1202.53	o 38023
1202.53	c 2744
1203.22	o 38025
1203.22	c 2742
1203.61	o 38029
1203.61	c 2738
1204.30	o 38032
1204.30	c 2735
1206.09	o 38035
1206.09	c 2732
1206.77	o 38040
1206.77	c 2727
1207.46	o 38043
1207.46	c 2724
1208.15	o 38044
1208.15	c 2723
1209.03	o 38045
1209.03	c 2722
1209.67	o 38046
1209.67	c 2721
1211.09	o 38052
1211.09	c 2715
1211.83	o 38053
1211.83	c 2714
1212.35	o 38054
1212.35	c 2713
1215.97	o 38055
1215.97	c 2712
1216.53	o 38057
1216.53	c 2710
1217.25	o 38060
1217.25	c 2707
1217.98	o 38061
1217.98	c 2706
1218.70	o 38064
1218.70	c 2703
1219.40	o 38066
1219.40	c 2701
1220.11	o 38067
1220.11	c 2700
1224.86	o 38068
1224.86	c 2699
1225.56	o 38070
1225.56	c 2697
1226.13	o 38074
1226.13	c 2693
1227.95	o 38077
1227.95	c 2690
1230.76	o 38079
1230.76	c 2688
1231.47	o 38082
1231.47	c 2685
1232.17	o 38084
1232.17	c 2683
1233.49	o 38087
1233.49	c 2680
1234.89	o 38088
1234.89	c 2679
1238.35	o 38089
1238.35	c 2678
1240.49	o 38090
1240.49	c 2677
1241.96	o 38092
1241.96	c 2675
1245.31	o 38094
1245.31	c 2673
1245.79	o 38095
1245.79	c 2672
1247.88	o 38096
1247.88	c 2671
1248.31	o 38101
1248.31	c 2666
1250.93	o 38105
1250.93	c 2662
1251.63	o 38107
1251.63	c 2660
1253.09	o 38111
1253.09	c 2656
1259.72	o 38112
1259.72	c 2655
1261.13	o 38113
1261.13	c 2654
1261.39	o 38116
1261.39	c 2651
1262.09	o 38118
1262.09	c 2649
1264.95	o 38120
1264.95	c 2647
1267.08	o 38122
1267.08	c 2645
1267.81	o 38123
1267.81	c 2644
1268.55	o 38124
1268.55	c 2643
1269.29	o 38126
1269.29	c 2641
1270.74	o 38128
1270.74	c 2639
1272.18	o 38129
1272.18	c 2638
1272.94	o 38131
1272.94	c 2636
1273.67	o 38133
1273.67	c 2634
1287.37	o 38136
1287.37	c 2631
1288.09	o 38138
1288.09	c 2629
1318.02	o 38139
1318.02	c 2628
1318.75	o 38140
1318.75	c 2627
1319.50	o 38141
1319.50	c 2626
1320.26	o 38142
1320.26	c 2625
1320.52	o 38147
1320.52	c 2620
1321.28	o 38151
1321.28	c 2616
1324.78	o 38154
1324.78	c 2613
1325.36	o 38160
1325.36	c 2607
1330.23	o 38161
1330.23	c 2606
1331.01	o 38162
1331.01	c 2605
1331.80	o 38163
1331.80	c 2604
1334.14	o 38166
1334.14	c 2601
1335.68	o 38167
1335.68	c 2600
1336.48	o 38168
1336.48	c 2599
1340.32	o 38172
1340.32	c 2595
1342.75	o 38174
1342.75	c 2593
1343.48	o 38176
1343.48	c 2591
1344.23	o 38177
1344.23	c 2590
1346.55	o 38179
1346.55	c 2588
1348.61	o 38184
1348.61	c 2583
1350.05	o 38191
1350.05	c 2576
1350.79	o 38193
1350.79	c 2574
1351.51	o 38196
1351.51	c 2571
1357.69	o 38197
1357.69	c 2570
1358.39	o 38201
1358.39	c 2566
1359.08	o 38202
1359.09	c 2565
1359.77	o 38203
1359.77	c 2564
1375.66	o 38205
1375.66	c 2562
1377.06	o 38208
1377.06	c 2559
1379.74	o 38211
1379.74	c 2556
1382.19	o 38216
1382.19	c 2551
1384.42	o 38217
1384.42	c 2550
1384.53	o 38219
1384.53	c 2548
1385.15	o 38220
1385.15	c 2547
1385.80	o 38221
1385.80	c 2546
1386.37	o 38223
1386.37	c 2544
1387.72	o 38226
1387.72	c 2541
1388.43	o 38229
1388.43	c 2538
1389.65	o 38231
1389.65	c 2536
1415.94	o 38232
1415.95	c 2535
1416.38	o 38234
1416.38	c 2533
1417.04	o 38237
1417.04	c 2530
1417.71	o 38238
1417.71	c 2529
1423.06	o 38239
1423.06	c 2528
1423.74	o 38240
1423.74	c 2527
1424.42	o 38241
1424.42	c 2526
1425.11	o 38242
1425.11	c 2525
1425.79	o 38244
1425.79	c 2523
1426.46	o 38245
1426.46	c 2522
1427.15	o 38247
1427.15	c 2520
1429.53	o 38248
1429.53	c 2519
1430.22	o 38251
1430.22	c 2516
1430.93	o 38253
1430.93	c 2514
1432.95	o 38254
1432.95	c 2513
1443.06	o 38255
1443.06	c 2512
1444.41	o 38259
1444.41	c 2508
1446.55	o 38261
1446.55	c 2506
1447.88	o 38262
1447.88	c 2505
1451.26	o 38263
1451.26	c 2504
1454.02	o 38264
1454.02	c 2503
1454.60	o 38265
1454.60	c 2502
1455.29	o 38266
1455.29	c 2501
1455.98	o 38269
1455.98	c 2498
1457.38	o 38270
1457.38	c 2497
1458.08	o 38272
1458.08	c 2495
1458.76	o 38275
1458.76	c 2492
1460.11	o 38277
1460.11	c 2490
1461.15	o 38279
1461.15	c 2488
1461.84	o 38280
1461.84	c 2487
1462.52	o 38284
1462.52	c 2483
1465.92	o 38287
1465.92	c 2480
1469.19	o 38289
1469.19	c 2478
1469.54	o 38292
1469.54	c 2475
1470.24	o 38293
1470.24	c 2474
1473.76	o 38294
1473.76	c 2473
1475.18	o 38297
1475.18	c 2470
1478.05	o 38298
1478.05	c 2469
1482.30	o 38299
1482.30	c 2468
1483.01	o 38302
1483.01	c 2465
1486.57	o 38303
1486.57	c 2464
1487.97	o 38305
1487.97	c 2462
1489.84	o 38307
1489.84	c 2460
1491.05	o 38308
1491.06	c 2459
1491.75	o 38309
1491.75	c 2458
1492.46	o 38311
1492.46	c 2456
1496.68	o 38312
1496.68	c 2455
1496.85	o 38314
1496.85	c 2453
1497.54	o 38315
1497.54	c 2452
1498.96	o 38316
1498.96	c 2451
1500.25	o 38320
1500.25	c 2447
1500.97	o 38323
1500.97	c 2444
1502.39	o 38324
1502.39	c 2443
1503.10	o 38326
1503.10	c 2441
1503.81	o 38328
1503.81	c 2439
1504.51	o 38332
1504.51	c 2435
1504.97	o 38334
1504.97	c 2433
1505.67	o 38335
1505.67	c 2432
1506.39	o 38336
1506.39	c 2431
1507.11	o 38338
1507.11	c 2429
1507.38	o 38340
1507.38	c 2427
1508.08	o 38343
1508.08	c 2424
1508.63	o 38346
1508.63	c 2421
1510.75	o 38347
1510.75	c 2420
1511.44	o 38348
1511.44	c 2419
1512.04	o 38349
1512.04	c 2418
1512.66	o 38350
1512.66	c 2417
1520.54	o 38353
1520.54	c 2414
1521.30	o 38354
1521.30	c 2413
1522.04	o 38356
1522.04	c 2411
1524.85	o 38358
1524.85	c 2409
1527.79	o 38360
1527.79	c 2407
1533.99	o 38362
1533.99	c 2405
1534.60	o 38365
1534.60	c 2402
1535.20	o 38368
1535.20	c 2399
1535.84	o 38371
1535.84	c 2396
1536.47	o 38372
1536.47	c 2395
1539.42	o 38373
1539.42	c 2394
1540.16	o 38375
1540.16	c 2392
1551.32	o 38376
1551.32	c 2391
1559.57	o 38377
1559.57	c 2390
1564.69	o 38378
1564.69	c 2389
1574.56	o 38381
1574.56	c 2386
1581.81	o 38383
1581.81	c 2384
1582.47	o 38384
1582.47	c 2383
1583.14	o 38386
1583.14	c 2381
1583.82	o 38388
1583.82	c 2379
1584.48	o 38390
1584.48	c 2377
1585.17	o 38392
1585.17	c 2375
1587.18	o 38394
1587.18	c 2373
1587.85	o 38396
1587.85	c 2371
1588.30	o 38400
1588.30	c 2367
1588.98	o 38402
1588.98	c 2365
1590.37	o 38403
1590.37	c 2364
1591.03	o 38404
1591.03	c 2363
1591.72	o 38408
1591.72	c 2359
1592.33	o 38410
1592.33	c 2357
1593.85	o 38412
1593.85	c 2355
1595.26	o 38413
1595.26	c 2354
1596.61	o 38414
1596.61	c 2353
1603.81	o 38416
1603.81	c 2351
1604.48	o 38418
1604.48	c 2349
1611.28	o 38421
1611.28	c 2346
1611.98	o 38422
1611.98	c 2345
1612.65	o 38426
1612.65	c 2341
1613.36	o 38430
1613.36	c 2337
1614.01	o 38431
1614.01	c 2336
1617.13	o 38433
1617.13	c 2334
1617.82	o 38434
1617.82	c 2333
1618.51	o 38436
1618.51	c 2331
1619.22	o 38439
1619.22	c 2328
1619.67	o 38442
1619.67	c 2325
1620.23	o 38443
1620.23	c 2324
1623.69	o 38445
1623.69	c 2322
1628.98	o 38446
1628.98	c 2321
1639.47	o 38447
1639.47	c 2320
1640.20	o 38448
1640.20	c 2319
1640.93	o 38450
1640.93	c 2317
1641.65	o 38454
1641.65	c 2313
1644.50	o 38456
1644.50	c 2311
1645.20	o 38457
1645.20	c 2310
1646.61	o 38459
1646.61	c 2308
1648.00	o 38461
1648.00	c 2306
1650.92	o 38464
1650.92	c 2303
1681.41	   
1681.41	   search
1681.41	     run=0  nbConstraintChecks=4071839939  nbAssignments=4535
1681.41	       =>  wckTime=1617.866  cpuTime=1616.42  mem=87M715
1681.42	   
1681.42	   global
1681.42	     nbConstraintChecks=4071839939  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
1681.42	     solvingWckTime=1617.844  solvingCpuTime=1616.4  expiredTime=no  totalExploration=no  nbFoundSolutions=0
1681.42	     globalCpuTime=1678.16
1681.42	       =>  wckTime=1681.098  cpuTime=1678.11  mem=87M715
1681.42	   
1681.42	   solver IterativeSystematicSolver being built... 
1682.36	       =>  wckTime=1682.04  cpuTime=1678.65  mem=241M494
1807.84	   
1807.85	   preprocessing
1807.85	     nbConstraintChecks=296782658  nbValidityChecks=1209453  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
1807.85	     nbRemovedValues=0  detectedInconsistency=no
1807.85	       =>  wckTime=125.476  cpuTime=125.37  mem=241M494
2402.10	v 2688 2096 -2596 -2372 2648 2060 -2116 -2216 2700 2168 -2532 2068 -2284 -2028 -2608 2632 2676 2356 2060 -2060 2060 -2384 2188 2100 -2220 2416 2620 2460 -2524 -2068 2380 -2604 -2284 -2232 2512 2624 -2528 2060 2508 -2256 -2696 -2060 2500 2232 2620 -2680 2020 2060 2324 -2132 2688 2476 -2588 2700 -2232 2088 -2648 2416 2740 2084 -2168 -2600 -2536 2292 -2252 2688 2716 2620 -2024 -2500 -2664 -2596 2268 -2500 2400 -2676 -2104 2084 -2688 2540 2672 -2596 2596 2340 2416 -2420 2064 2516 2740 -2544 -2020 2592 2648 2600 2304 -2036 -2404 -2232 2088 -2624 2324 2364 -2292 2028 -2192 -2676 -2660 2472 2616 -2048 -2024 2636 2040 -2112 2424 2496 2052 2172 -2716 -2060 2656 2468 2424 2692 -2348 2516 -2368 -2600 2132 2544 -2412 2736 -2736 -2468 2696 -2020 2696 -2688 -2484 -2064 2612 -2688 2740 -2272 2080 2640 -2064 2020 -2600 -2248 -2084 -2436 -2068 2256 2512 -2576 2740 2704 -2272 2576 -2292 -2632 -2632 2612 2720 2424 -2352 -2444 2704 2544 2524 2208 -2020 2724 2084 2420 2488 2432 -2524 2052 2644 2684 2028 -2696 -2380 -2716 2108 -2664 -2224 -2324 2060 2040 -2460 -2324 -2632 2564 2204 -2208 -2116 -2176 2608 -2700 -2540 2024 -2172 -2140 -2632 2676 -2020 -2084 2192 -2740 -2660 2132 -2428 -2496 -2640 2064 2460 -2024 2372 -2740 -2532 -2700 -2068 2376 -2060 2384 -2116 2240 -2496 2280 -2444 2064 2740 -2116 -2020 2068 2740 2664 2392 -2620 -2324 -2200 -2076 -2696 -2364 2456 2664 2564 -2616 2212 -2500 -2508 -2568 2692 2168 -2176 -2548 -2588 -2364 2076 -2516 -2412 -2072 -2604 2700 -2464 2344 2288 2476 -2040 2196 -2628 2084 -2684 2340 -2200 -2700 2020 -2740 -2128 -2020 -2068 2736 -2604 2676 -2352 2448 2348 2064 -2676 -2544 -2404 2540 2548 2572 -2472 2152 2208 2580 -2204 2664 -2440 2148 -2336 2524 2356 2672 2248 -2740 -2020 -2028 2688 -2236 -2460 -2224 2104 -2504 2728 -2608 2560 -2088 -2136 -2348 -2048 2436 2288 2572 2696 -2424 -2676 2020 2620 2028 2456 2600 2268 -2624 -2180 2668 -2576 -2556 -2732 -2208 2040 2064 -2068 2516 2380 2324 -2560 -2624 -2300 2416 2720 -2232 2648 -2656 -2168 2624 2296 -2208 2620 2476 -2632 -2336 -2148 2160 2696 -2652 2020 -2664 2704 2672 -2324 2700 -2716 -2056 2496 2136 -2420 -2312 2268 2536 2020 -2248 2216 2332 2188 2628 2700 2616 -2444 2708 2484 -2492 2532 2196 -2020 2028 -2736 -2376 -2360 -2736 -2316 -2340 2708 -2180 -2692 -2068 2028 -2120 2404 -2688 -2020 -2688 -2460 -2292 -2192 -2700 -2440 -2092 2700 -2528 -2388 2628 2700 2316 2052 -2152 2208 2076 -2540 2520 -2112 -2700 -2736 2736 2740 -2100 -2528 -2068 -2332 -2624 2072 -2048 -2380 -2144 -2640 -2260 -2676 -2220 2740 2384 2740 -2732 -2592 2400 -2040 -2052 -2704 2172 2200 2080 -2572 -2412 -2732 -2032 2468 2316 2580 2736 -2300 2320 2616 -2080 2488 2324 -2700 2120 -2628 2080 -2732 2092 -2080 2600 -2508 2288 2424 2500 -2164 -2632 -2040 2028 2124 2060 -2148 2568 2200 2100 2556 2064 2140 -2020 2388 2028 2336 2232 -2624 -2388 2240 -2636 -2056 2064 -2060 2644 -2740 -2476 -2736 -2076 2284 2312 -2692 -2416 -2648 -2188 2044 -2556 -2668 2332 -2708 2700 2360 2104 -2168 -2556 -2516 2676 -2100 2728 -2720 2592 2644 2372 -2528 2628 2308 2044 2148 -2064 2464 -2028 2028 2240 -2420 -2504 2320 2556 -2584 -2064 -2160 2376 -2528 2740 -2116 -2096 2260 2076 -2364 2348 -2140 -2232 2516 -2064 -2700 -2432 -2700 -2736 -2092 2048 -2416 -2536 2372 -2700 -2276 -2252 2328 -2468 -2196 -2372 2060 2692 -2252 -2160 2028 -2612 2632 -2616 -2348 2128 -2108 -2212 2212 2020 2208 -2664 -2560 -2028 2452 2560 -2024 2372 -2700 2392 2564 2148 -2668 -2432 -2376 2092 -2724 -2500 2608 2632 2284 -2332 2036 -2032 -2344 2044 2732 2020 2652 -2432 -2500 -2652 -2712 2740 -2132 -2536 2144 -2040 2192 2024 2720 -2740 2708 -2568 -2484 -2416 -2728 -2572 2084 2384 2592 2220 2480 -2096 2040 -2660 -2660 2544 -2100 2636 2128 -2224 2284 -2508 2060 2696 -2356 2328 -2740 2340 2568 -2724 2540 -2524 2020 2228 2636 2580 2392 -2740 2260 -2300 2264 2244 -2456 2644 2064 2380 2736 2732 2692 -2024 2020 -2696 -2332 -2732 -2432 2076 -2588 -2704 2172 2656 2736 -2444 -2132 -2420 -2528 -2020 -2284 -2124 2624 -2068 -2732 -2428 -2100 -2668 -2496 -2700 -2072 -2700 -2604 -2296 -2048 2044 2552 2364 -2636 2208 -2236 -2680 -2620 2176 -2448 -2720 2700 2236 -2464 -2568 -2036 2020 -2288 -2068 -2060 2464 -2692 2024 2628 2244 -2740 2024 -2040 2392 -2500 -2172 2652 -2088 2128 2420 2228 -2068 -2588 -2028 -2700 -2736 2076 2092 2088 -2256 2292 -2296 -2364 -2444 -2716 2212 -2624 2280 2616 2068 2024 2128 -2068 2020 2028 -2420 -2672 2632 -2644 -2472 -2428 2736 2304 2672 -2668 -2440 -2736 -2356 -2376 2300 2024 -2696 -2548 -2340 -2552 2112 2212 -2148 -2092 2584 2616 2168 -2108 -2300 -2736 2276 -2080 2516 2520 2740 -2664 2436 2196 2068 -2668 -2728 -2460 -2684 -2516 2700 2260 2240 2124 2388 -2672 2068 -2356 2584 -2576 -2272 -2740 2728 2432 2064 2640 2436 -2300 2028 -2652 2044 -2636 -2632 -2224 -2368 2648 -2548 2716 -2368 2684 -2072 2664 -2464 -2456 2540 2388 -2384 -2152 -2696 2668 -2448 2400 -2612 -2068 -2700 2056 2028 2456 -2560 -2020 -2032 2500 -2440 -2516 2612 -2676 -2260 2172 2508 2284 -2124 2068 2704 2252 -2644 -2028 2224 2740 2616 -2620 2048 2724 2020 2460 -2516 -2068 2024 2140 -2308 2672 2560 -2692 2540 -2680 2060 2424 2028 2044 -2340 -2504 2556 2732 2696 -2740 2540 2400 2680 2424 2084 -2024 2552 2212 -2448 2168 2116 2724 -2120 -2340 -2024 2680 -2224 2728 -2028 -2600 -2660 2404 2620 2184 2680 -2208 -2656 2704 2232 2680 2108 -2032 2192 -2696 2600 2036 -2356 2736 -2224 2460 2028 2372 2376 2716 -2332 -2696 -2296 2716 2600 2588 2196 -2116 -2476 -2488 2168 -2520 2740 2364 2092 2656 2140 2092 2424 2628 -2632 -2244 -2088 -2700 2020 -2728 2140 2268 2696 -2400 -2252 -2376 2728 -2688 -2024 -2696 2440 2440 2564 2236 -2036 2252 2604 2136 2740 -2236 2064 2552 2156 -2620 -2252 2588 -2060 2028 2432 -2612 -2060 -2204 2312 2376 2732 2668 2184 -2432 -2020 -2172 -2264 -2420 2348 2320 -2120 -2284 -2076 -2276 2728 -2608 -2440 -2084 2668 -2584 2048 -2064 2596 -2536 2320 2024 2724 -2600 -2580 -2104 -2548 2608 -2184 -2656 -2628 2656 2684 2176 2684 -2624 2692 -2244 2020 -2168 2688 2328 2128 -2080 2192 -2328 2592 -2020 2688 2696 -2068 -2664 2200 -2352 -2492 -2668 -2036 2024 -2660 -2700 -2728 -2404 -2552 -2496 -2464 -2396 2024 -2292 2028 2696 -2416 2024 -2376 2212 -2020 -2276 2232 -2580 2504 2508 -2072 2556 2524 -2280 2700 -2104 2316 -2684 -2596 -2064 -2096 -2680 -2060 2032 2664 2700 -2076 -2412 -2036 -2728 -2596 -2092 2360 -2048 -2212 2156 -2516 2724 2404 2636 -2372 -2216 -2300 2028 2020 -2656 2612 -2132 2500 -2540 -2192 -2740 -2020 2144 -2740 2392 -2476 -2188 2700 2500 2412 2456 -2348 -2684 -2508 2348 2464 -2660 2540 -2412 2660 -2160 -2596 2624 -2588 2080 -2584 2432 -2500 2648 -2656 -2504 -2704 -2736 2576 -2696 2024 -2588 2700 2092 2380 2484 2572 2600 2540 2020 -2236 2364 2740 2032 -2736 -2216 -2740 -2084 2708 -2020 -2664 2024 -2732 2224 2700 -2204 -2324 -2188 2688 2208 2568 -2704 -2104 -2608 2676 -2028 2592 -2284 2640 2608 -2352 -2388 -2736 2692 -2636 -2208 2640 2376 2492 2740 2168 -2684 2732 -2324 -2568 2020 -2696 -2168 2544 -2416 -2184 -2636 -2040 2356 -2068 -2672 2708 2392 -2024 -2048 -2732 2060 2600 -2644 2064 2664 2336 -2352 2020 2740 2116 2456 -2396 -2428 2348 -2288 2632 2500 -2416 -2120 2060 2236 2404 -2608 -2428 2360 -2420 -2524 2640 2372 -2292 2692 2584 -2048 -2444 2068 -2596 -2440 -2400 2380 -2148 2728 2456 -2564 2084 2020 2652 2036 2024 2040 -2740 -2468 -2260 -2232 2700 -2604 2300 -2032 2020 2080 2548 -2316 -2212 2560 -2112 -2196 2572 2688 2064 2188 2724 2064 2240 -2380 2028 2356 2092 -2288 2028 2076 -2740 -2692 -2340 -2320 -2428 2700 2612 2404 -2280 -2520 -2288 -2672 -2432 -2516 2468 -2020 -2644 -2064 -2740 2280 -2680 2460 -2656 -2440 -2148 2432 -2444 2632 -2316 -2696 2736 -2256 -2656 -2460 -2160 2736 -2336 2732 2360 -2456 2556 -2116 -2400 -2088 -2264 2728 2168 2364 2232 -2072 2740 -2388 2740 2524 2288 2316 2240 2568 2052 2316 2256 2736 2032 -2468 -2740 2072 -2560 2616 -2276 -2156 2400 -2044 -2676 2088 -2228 -2088 -2400 2560 -2028 -2688 -2688 -2384 -2724 2676 2324 2068 2292 2696 2192 2440 2088 2380 2588 -2068 2400 -2704 2156 -2288 2324 2304 -2532 -2124 -2256 2268 2416 2052 2540 -2524 -2664 -2584 2060 -2740 2512 -2616 2088 2716 2616 2684 -2652 -2572 2640 2044 2464 -2244 -2728 -2440 -2156 -2052 2048 -2228 2532 2592 -2516 -2508 -2108 -2676 2672 2684 -2720 2152 2536 -2232 -2556 2620 -2300 -2336 -2072 2684 -2696 -2032 2576 -2264 -2740 -2344 2100 2368 2060 2556 -2320 -2528 -2736 -2228 -2160 2480 -2660 -2280 2440 2600 -2112 2280 -2732 -2304 -2148 -2244 2512 -2672 -2628 2284 -2300 -2316 -2152 -2640 -2092 2216 2104 -2304 2400 -2372 -2740 2636 2108 -2028 -2156 -2588 -2664 2700 2728 2644 -2472 -2600 2184 2680 2072 2180 2384 -2032 -2620 -2660 2488 2388 -2684 -2604 -2668 -2416 2296 -2176 2400 -2588 2684 2028 -2640 2740 -2368 2060 -2388 -2584 2652 -2692 2092 -2628 2740 2736 -2412 2588 -2692 -2324 -2632 2468 -2032 -2644 2200 -2108 2456 -2308 2560 -2576 -2232 2740 2676 2512 -2740 2548 2388 2028 -2708 -2528 -2564 2700 2088 2060 -2580 2400 2352 -2644 2380 2716 -2684 -2316 2664 2212 2712 -2560 -2056 2724 2552 -2208 2272 -2036 2260 2660 2352 -2700 -2736 2068 -2324 2148 -2620 -2220 -2704 -2048 -2416 -2540 -2404 -2024 2360 -2428 2676 2536 2200 -2584 2692 -2524 -2044 -2064 -2248 -2060 2144 -2020 2732 -2332 2232 -2356 2684 2700 -2248 -2456 -2536 -2084 2672 -2724 -2376 -2368 2036 -2252 -2188 2260 2472 -2636 -2108 2428 -2088 -2084 -2316 -2260 2660 -2216 2728 -2612 2024 2240 -2396 2700 2024 -2400 2740 -2456 -2332 -2720 2024 -2724 -2184 -2256 -2024 -2684 2540 2556 2428 2240 -2580 -2216 2676 -2732 -2320 2504 2728 -2108 -2736 -2464 -2068 2600 -2388 2380 -2456 2240 -2020 2276 2740 2164 2700 -2088 2348 -2688 -2704 -2200 -2608 -2072 -2612 2092 2700 -2732 -2272 -2716 2464 2060 -2536 2028 2684 -2308 2728 2064 -2624 2392 -2408 -2496 -2340 -2024 2028 2536 2736 2140 -2168 2492 2572 2516 2528 -2688 2736 -2124 2280 -2300 -2036 2028 2560 -2220 -2480 2344 -2332 -2224 2080 -2600 -2308 2544 2104 -2572 -2248 -2048 -2728 2072 2360 -2724 2044 -2700 2388 2072 -2528 2068 2244 2632 2388 -2604 -2148 2080 2024 -2632 -2080 2604 2276 2564 -2696 -2364 -2504 2684 2040 2128 2156 -2312 2352 -2060 2308 2588 2112 -2280 2028 2540 2576 2620 -2208 -2740 2312 -2192 -2600 -2060 -2720 2616 2664 2724 2100 2676 -2024 2712 2732 2076 -2620 -2604 -2464 2664 2144 2248 -2020 2120 2068 -2732 -2504 2684 -2380 -2692 -2116 2696 -2252 -2224 2508 -2284 -2512 2672 -2392 -2460 -2032 2712 2736 2320 -2572 -2144 -2636 2024 2696 -2484 2696 -2364 2696 -2092 -2664 2416 2444 2348 -2572 -2688 -2560 2708 -2516 -2264 -2620 -2632 2236 2632 -2712 2060 2176 -2676 2400 -2076 -2212 2736 -2024 2664 -2616 -2124 2716 -2652 2344 2500 2348 2380 2084 2048 -2440 -2528 -2588 -2612 2712 -2688 -2088 2700 2672 2168 -2068 2596 -2024 -2052 -2364 -2632 2328 2416 2364 2020 2344 -2596 2672 -2036 -2660 -2088 -2024 2144 -2456 2248 2376 -2552 2108 -2072 2496 -2416 -2312 -2656 -2052 -2696 -2036 2024 2624 -2548 2688 -2660 2616 -2564 -2568 2596 -2580 2092 2308 2392 2044 2220 -2484 2064 -2644 -2492 2736 2696 -2676 -2180 -2264 2592 -2732 2484 2156 2648 2696 -2580 2672 -2692 -2076 2460 -2072 -2328 2396 2312 2700 2080 2036 2724 -2700 2668 2288 -2500 2344 -2692 2484 -2692 -2060 -2584 -2152 -2544 -2024 2272 -2156 2584 2188 2688 -2212 2068 2104 -2580 2544 2084 2388 -2104 -2036 -2280 2504 -2060 -2196 2500 -2124 -2624 2692 -2572 -2160 2636 2468 -2060 2624 2280 -2544 -2076 2264 2724 2088 2080 2460 2108 -2592 -2640 -2392 -2052 2584 2720 2336 2020 -2296 -2584 -2036 2548 -2120 2372 -2068 -2396 -2576 -2072 -2040 -2272 -2336 -2736 2544 2524 2192 -2032 -2680 -2524 -2628 -2312 2048 -2740 -2228 -2624 2676 2524 2544 -2480 -2476 -2496 2100 -2400 -2628 2204 -2172 2132 -2276 2644 -2700 2452 -2480 -2564 -2212 2044 2064 2716 2604 -2700 2648 -2520 2656 2588 -2068 -2696 2452 -2128 -2700 -2052 2624 2100 -2104 -2272 -2644 2316 2584 -2456 2740 2064 2316 2296 -2192 2620 -2064 -2024 2416 -2068 2372 -2032 2572 2468 -2484 2568 -2020 -2644 2592 -2592 -2200 2344 -2196 2620 2232 -2088 -2060 -2068 -2192 2060 -2592 -2084 2248 -2040 2456 -2580 2328 2064 2332 2716 2416 2064 2740 -2584 -2472 -2368 -2140 -2484 2260 2596 -2036 -2164 2576 -2292 -2580 2024 2284 2216 2236 2484 -2376 2356 2452 2232 2356 -2596 2724 2576 -2516 2076 -2032 -2228 2356 -2072 -2232 2480 2240 -2060 2048 2524 2552 2208 -2600 -2600 2284 2632 -2548 2100 -2736 -2512 -2340 2156 -2624 -2496 -2068 2380 -2692 2092 2380 -2600 -2188 -2684 -2192 2136 2424 -2020 2296 -2392 -2048 -2408 2704 2660 -2700 2672 2232 2028 2476 -2444 2308 -2656 -2052 -2700 -2588 -2468 2404 2100 2584 -2084 2468 2732 -2656 -2116 2696 -2564 2508 2636 -2652 2472 -2024 -2688 -2400 -2048 -2520 -2420 2572 -2468 2604 -2420 -2696 -2184 2112 -2260 2560 -2316 -2676 2216 2580 -2252 2160 -2020 2640 -2148 -2152 2696 -2352 2324 -2712 -2680 2692 2456 -2720 2264 2340 2564 2540 2176 2072 -2600 -2476 -2364 -2036 -2660 -2064 -2020 2212 2020 -2460 2692 -2068 2700 -2656 2044 2700 -2332 2468 2644 2680 -2336 -2280 2676 -2212 -2124 2660 2364 -2592 -2568 2300 -2700 -2060 -2476 -2164 2628 2668 2720 2668 -2640 -2620 2584 -2028 -2656 2068 -2080 2328 2072 -2052 -2556 2604 2732 2232 2636 -2384 2064 -2724 2156 -2336 2584 -2444 -2064 2532 -2020 2032 -2664 2636 2256 -2740 -2476 2692 2216 -2032 2036 2056 -2256 2064 -2020 2072 -2344 -2484 -2120 -2740 -2328 2084 2288 -2584 -2496 -2536 2692 -2504 2128 2404 2680 2508 2736 2672 2032 2088 -2440 2132 2024 -2544 -2580 -2740 -2668 -2160 2628 2328 -2660 2696 -2520 2692 -2340 -2148 2240 -2380 2348 2700 2636 -2152 -2064 -2488 2304 2068 -2548 2236 2456 2032 2732 2560 -2228 -2252 2736 -2740 -2028 -2524 2080 2476 -2648 -2400 -2728 -2576 -2160 2448 -2152 2028 2624 2188 2696 -2280 -2648 -2144 -2316 2060 2660 2036 2724 -2096 2324 2688 -2724 -2732 -2020 2652 2384 -2340 -2060 2580 -2728 2064 2272 -2124 2568 -2712 2408 2204 2072 -2060 -2128 2108 -2028 2736 2452 -2564 2552 -2720 2208 -2504 -2084 2608 2636 2020 2056 2144 2360 2040 2328 -2692 2736 -2028 -2612 2308 2076 2732 -2548 2736 -2416 2076 -2208

Verifier Data (download as text)

2303 unsatisfied constraints, 38464 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/node16/watcher-275247-1169218883 -o ROOT/results/node16/solver-275247-1169218883 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/275247-1169218883/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: 2.02 2.01 1.93 4/99 15267
/proc/meminfo: memFree=1313064/2055920 swapFree=4191880/4192956
[pid=15266] ppid=15264 vsize=18540 CPUtime=0
/proc/15266/stat : 15266 (runsolver) R 15264 15266 14600 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 270283122 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 231962373415 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/15266/statm: 4635 279 244 17 0 2626 0

[startup+0.102869 s]
/proc/loadavg: 2.02 2.01 1.93 4/99 15267
/proc/meminfo: memFree=1313064/2055920 swapFree=4191880/4192956
[pid=15266] ppid=15264 vsize=913228 CPUtime=0.08
/proc/15266/stat : 15266 (java) S 15264 15266 14600 0 -1 0 2892 0 1 0 7 1 0 0 19 0 8 0 270283122 935145472 2638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15266/statm: 228307 2638 1396 14 0 215208 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 913228

[startup+0.510793 s]
/proc/loadavg: 2.02 2.01 1.93 4/99 15267
/proc/meminfo: memFree=1313064/2055920 swapFree=4191880/4192956
[pid=15266] ppid=15264 vsize=915332 CPUtime=0.49
/proc/15266/stat : 15266 (java) R 15264 15266 14600 0 -1 0 7183 0 1 0 44 5 0 0 18 0 8 0 270283122 937299968 6922 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072943413 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15266/statm: 228833 6922 2140 14 0 215303 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915332

[startup+1.33364 s]
/proc/loadavg: 2.01 2.01 1.93 3/106 15274
/proc/meminfo: memFree=1232624/2055920 swapFree=4191880/4192956
[pid=15266] ppid=15264 vsize=915612 CPUtime=1.31
/proc/15266/stat : 15266 (java) R 15264 15266 14600 0 -1 0 24341 0 1 0 117 14 0 0 23 0 8 0 270283122 937586688 24078 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073676000 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15266/statm: 228903 24078 2161 14 0 215373 0
[pid=15266/tid=15268] ppid=15264 vsize=915612 CPUtime=0.08
/proc/15266/task/15268/stat : 15268 (java) S 15264 15266 14600 0 -1 64 7787 0 0 0 6 2 0 0 16 0 8 0 270283126 937586688 24078 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15266/tid=15269] ppid=15264 vsize=915612 CPUtime=0
/proc/15266/task/15269/stat : 15269 (java) S 15264 15266 14600 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270283127 937586688 24078 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15266/tid=15270] ppid=15264 vsize=915612 CPUtime=0
/proc/15266/task/15270/stat : 15270 (java) S 15264 15266 14600 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270283127 937586688 24078 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15266/tid=15271] ppid=15264 vsize=915612 CPUtime=0
/proc/15266/task/15271/stat : 15271 (java) S 15264 15266 14600 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270283130 937586688 24078 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15266/tid=15272] ppid=15264 vsize=915612 CPUtime=0.16
/proc/15266/task/15272/stat : 15272 (java) S 15264 15266 14600 0 -1 64 404 0 0 0 15 1 0 0 16 0 8 0 270283130 937586688 24078 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15266/tid=15273] ppid=15264 vsize=915612 CPUtime=0
/proc/15266/task/15273/stat : 15273 (java) S 15264 15266 14600 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270283130 937586688 24078 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15266/tid=15274] ppid=15264 vsize=915612 CPUtime=0
/proc/15266/task/15274/stat : 15274 (java) S 15264 15266 14600 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270283130 937586688 24078 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.98632 s]
/proc/loadavg: 2.01 2.01 1.93 3/106 15274
/proc/meminfo: memFree=1217904/2055920 swapFree=4191880/4192956
[pid=15266] ppid=15264 vsize=915744 CPUtime=2.94
/proc/15266/stat : 15266 (java) R 15264 15266 14600 0 -1 0 26166 0 1 0 279 15 0 0 25 0 8 0 270283122 937721856 25899 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073846669 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15266/statm: 228936 25899 2181 14 0 215406 0
[pid=15266/tid=15268] ppid=15264 vsize=915744 CPUtime=0.2
/proc/15266/task/15268/stat : 15268 (java) S 15264 15266 14600 0 -1 64 9534 0 0 0 17 3 0 0 16 0 8 0 270283126 937721856 25899 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15266/tid=15269] ppid=15264 vsize=915744 CPUtime=0
/proc/15266/task/15269/stat : 15269 (java) S 15264 15266 14600 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270283127 937721856 25899 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15266/tid=15270] ppid=15264 vsize=915744 CPUtime=0
/proc/15266/task/15270/stat : 15270 (java) S 15264 15266 14600 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270283127 937721856 25899 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15266/tid=15271] ppid=15264 vsize=915744 CPUtime=0
/proc/15266/task/15271/stat : 15271 (java) S 15264 15266 14600 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270283130 937721856 25899 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15266/tid=15272] ppid=15264 vsize=915744 CPUtime=0.19
/proc/15266/task/15272/stat : 15272 (java) S 15264 15266 14600 0 -1 64 416 0 0 0 18 1 0 0 16 0 8 0 270283130 937721856 25899 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15266/tid=15273] ppid=15264 vsize=915744 CPUtime=0
/proc/15266/task/15273/stat : 15273 (java) S 15264 15266 14600 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270283130 937721856 25899 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15266/tid=15274] ppid=15264 vsize=915744 CPUtime=0
/proc/15266/task/15274/stat : 15274 (java) S 15264 15266 14600 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270283130 937721856 25899 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915744

[startup+6.26971 s]
/proc/loadavg: 1.93 1.99 1.93 2/94 15299
/proc/meminfo: memFree=1258000/2055920 swapFree=4191880/4192956
[pid=15266] ppid=15264 vsize=915744 CPUtime=6.21
/proc/15266/stat : 15266 (java) R 15264 15266 14600 0 -1 0 26184 0 1 0 605 16 0 0 16 0 8 0 270283122 937721856 25916 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073832574 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15266/statm: 228936 25916 2182 14 0 215406 0
[pid=15266/tid=15268] ppid=15264 vsize=915744 CPUtime=0.2
/proc/15266/task/15268/stat : 15268 (java) S 15264 15266 14600 0 -1 64 9534 0 0 0 17 3 0 0 16 0 8 0 270283126 937721856 25916 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15266/tid=15269] ppid=15264 vsize=915744 CPUtime=0
/proc/15266/task/15269/stat : 15269 (java) S 15264 15266 14600 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270283127 937721856 25916 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15266/tid=15270] ppid=15264 vsize=915744 CPUtime=0
/proc/15266/task/15270/stat : 15270 (java) S 15264 15266 14600 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270283127 937721856 25916 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15266/tid=15271] ppid=15264 vsize=915744 CPUtime=0
/proc/15266/task/15271/stat : 15271 (java) S 15264 15266 14600 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270283130 937721856 25916 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15266/tid=15272] ppid=15264 vsize=915744 CPUtime=0.2
/proc/15266/task/15272/stat : 15272 (java) S 15264 15266 14600 0 -1 64 432 0 0 0 19 1 0 0 16 0 8 0 270283130 937721856 25916 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15266/tid=15273] ppid=15264 vsize=915744 CPUtime=0
/proc/15266/task/15273/stat : 15273 (java) S 15264 15266 14600 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270283130 937721856 25916 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15266/tid=15274] ppid=15264 vsize=915744 CPUtime=0
/proc/15266/task/15274/stat : 15274 (java) S 15264 15266 14600 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270283130 937721856 25916 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 915744

[startup+12.7605 s]
/proc/loadavg: 1.94 1.99 1.93 3/106 15356
/proc/meminfo: memFree=1163448/2055920 swapFree=4191880/4192956
[pid=15266] ppid=15264 vsize=915744 CPUtime=12.68
/proc/15266/stat : 15266 (java) R 15264 15266 14600 0 -1 0 26772 0 1 0 1251 17 0 0 25 0 8 0 270283122 937721856 26502 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073831072 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15266/statm: 228936 26502 2182 14 0 215406 0
[pid=15266/tid=15268] ppid=15264 vsize=915744 CPUtime=0.25
/proc/15266/task/15268/stat : 15268 (java) S 15264 15266 14600 0 -1 64 10117 0 0 0 22 3 0 0 16 0 8 0 270283126 937721856 26502 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15266/tid=15269] ppid=15264 vsize=915744 CPUtime=0
/proc/15266/task/15269/stat : 15269 (java) S 15264 15266 14600 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270283127 937721856 26502 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15266/tid=15270] ppid=15264 vsize=915744 CPUtime=0
/proc/15266/task/15270/stat : 15270 (java) S 15264 15266 14600 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270283127 937721856 26502 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15266/tid=15271] ppid=15264 vsize=915744 CPUtime=0
/proc/15266/task/15271/stat : 15271 (java) S 15264 15266 14600 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270283130 937721856 26502 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15266/tid=15272] ppid=15264 vsize=915744 CPUtime=0.21
/proc/15266/task/15272/stat : 15272 (java) S 15264 15266 14600 0 -1 64 435 0 0 0 20 1 0 0 16 0 8 0 270283130 937721856 26502 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15266/tid=15273] ppid=15264 vsize=915744 CPUtime=0
/proc/15266/task/15273/stat : 15273 (java) S 15264 15266 14600 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270283130 937721856 26502 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15266/tid=15274] ppid=15264 vsize=915744 CPUtime=0
/proc/15266/task/15274/stat : 15274 (java) S 15264 15266 14600 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270283130 937721856 26502 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 915744

[startup+25.6061 s]
/proc/loadavg: 2.02 2.01 1.93 3/106 15390
/proc/meminfo: memFree=1156984/2055920 swapFree=4191880/4192956
[pid=15266] ppid=15264 vsize=915744 CPUtime=25.5
/proc/15266/stat : 15266 (java) R 15264 15266 14600 0 -1 0 26780 0 1 0 2528 22 0 0 25 0 8 0 270283122 937721856 26508 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073827932 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15266/statm: 228936 26508 2182 14 0 215406 0
[pid=15266/tid=15268] ppid=15264 vsize=915744 CPUtime=0.25
/proc/15266/task/15268/stat : 15268 (java) S 15264 15266 14600 0 -1 64 10117 0 0 0 22 3 0 0 16 0 8 0 270283126 937721856 26508 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15266/tid=15269] ppid=15264 vsize=915744 CPUtime=0
/proc/15266/task/15269/stat : 15269 (java) S 15264 15266 14600 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270283127 937721856 26508 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15266/tid=15270] ppid=15264 vsize=915744 CPUtime=0
/proc/15266/task/15270/stat : 15270 (java) S 15264 15266 14600 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270283127 937721856 26508 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15266/tid=15271] ppid=15264 vsize=915744 CPUtime=0
/proc/15266/task/15271/stat : 15271 (java) S 15264 15266 14600 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270283130 937721856 26508 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15266/tid=15272] ppid=15264 vsize=915744 CPUtime=0.22
/proc/15266/task/15272/stat : 15272 (java) S 15264 15266 14600 0 -1 64 440 0 0 0 21 1 0 0 16 0 8 0 270283130 937721856 26508 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15266/tid=15273] ppid=15264 vsize=915744 CPUtime=0
/proc/15266/task/15273/stat : 15273 (java) S 15264 15266 14600 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270283130 937721856 26508 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15266/tid=15274] ppid=15264 vsize=915744 CPUtime=0
/proc/15266/task/15274/stat : 15274 (java) S 15264 15266 14600 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270283130 937721856 26508 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 915744

[startup+51.2353 s]
/proc/loadavg: 2.01 2.00 1.93 3/100 15430
/proc/meminfo: memFree=1116080/2055920 swapFree=4191880/4192956
[pid=15266] ppid=15264 vsize=915744 CPUtime=51.08
/proc/15266/stat : 15266 (java) R 15264 15266 14600 0 -1 0 29251 0 1 0 5071 37 0 0 25 0 8 0 270283122 937721856 28977 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073834087 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15266/statm: 228936 28977 2182 14 0 215406 0
[pid=15266/tid=15268] ppid=15264 vsize=915744 CPUtime=0.35
/proc/15266/task/15268/stat : 15268 (java) S 15264 15266 14600 0 -1 64 12577 0 0 0 31 4 0 0 16 0 8 0 270283126 937721856 28977 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15266/tid=15269] ppid=15264 vsize=915744 CPUtime=0
/proc/15266/task/15269/stat : 15269 (java) S 15264 15266 14600 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270283127 937721856 28977 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15266/tid=15270] ppid=15264 vsize=915744 CPUtime=0
/proc/15266/task/15270/stat : 15270 (java) S 15264 15266 14600 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270283127 937721856 28977 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15266/tid=15271] ppid=15264 vsize=915744 CPUtime=0
/proc/15266/task/15271/stat : 15271 (java) S 15264 15266 14600 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270283130 937721856 28977 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15266/tid=15272] ppid=15264 vsize=915744 CPUtime=0.23
/proc/15266/task/15272/stat : 15272 (java) S 15264 15266 14600 0 -1 64 449 0 0 0 22 1 0 0 16 0 8 0 270283130 937721856 28977 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15266/tid=15273] ppid=15264 vsize=915744 CPUtime=0
/proc/15266/task/15273/stat : 15273 (java) S 15264 15266 14600 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270283130 937721856 28977 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15266/tid=15274] ppid=15264 vsize=915744 CPUtime=0
/proc/15266/task/15274/stat : 15274 (java) S 15264 15266 14600 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270283130 937721856 28977 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 915744

[startup+102.482 s]
/proc/loadavg: 2.00 2.00 1.93 3/100 15430
/proc/meminfo: memFree=1075576/2055920 swapFree=4191880/4192956
[pid=15266] ppid=15264 vsize=915744 CPUtime=102.23
/proc/15266/stat : 15266 (java) R 15264 15266 14600 0 -1 0 39747 0 1 0 10165 58 0 0 25 0 8 0 270283122 937721856 39408 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074018100 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15266/statm: 228936 39408 2501 14 0 215406 0
[pid=15266/tid=15268] ppid=15264 vsize=915744 CPUtime=1.16
/proc/15266/task/15268/stat : 15268 (java) S 15264 15266 14600 0 -1 64 22690 0 0 0 109 7 0 0 16 0 8 0 270283126 937721856 39408 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15266/tid=15269] ppid=15264 vsize=915744 CPUtime=0
/proc/15266/task/15269/stat : 15269 (java) S 15264 15266 14600 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270283127 937721856 39408 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15266/tid=15270] ppid=15264 vsize=915744 CPUtime=0
/proc/15266/task/15270/stat : 15270 (java) S 15264 15266 14600 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270283127 937721856 39408 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15266/tid=15271] ppid=15264 vsize=915744 CPUtime=0
/proc/15266/task/15271/stat : 15271 (java) S 15264 15266 14600 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270283130 937721856 39408 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15266/tid=15272] ppid=15264 vsize=915744 CPUtime=0.29
/proc/15266/task/15272/stat : 15272 (java) S 15264 15266 14600 0 -1 64 478 0 0 0 28 1 0 0 16 0 8 0 270283130 937721856 39408 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15266/tid=15273] ppid=15264 vsize=915744 CPUtime=0
/proc/15266/task/15273/stat : 15273 (java) S 15264 15266 14600 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270283130 937721856 39408 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15266/tid=15274] ppid=15264 vsize=915744 CPUtime=0
/proc/15266/task/15274/stat : 15274 (java) S 15264 15266 14600 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270283130 937721856 39408 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 915744

[startup+162.582 s]
/proc/loadavg: 2.00 2.00 1.93 3/100 15430
/proc/meminfo: memFree=1075576/2055920 swapFree=4191880/4192956
[pid=15266] ppid=15264 vsize=915744 CPUtime=162.27
/proc/15266/stat : 15266 (java) R 15264 15266 14600 0 -1 0 39749 0 1 0 16160 67 0 0 25 0 8 0 270283122 937721856 39410 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073846594 0 4 0 23759 18446744073709551615 0 0 17 0 0 0

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

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

[startup+2085.27 s]
/proc/loadavg: 2.04 2.03 2.00 3/100 15432
/proc/meminfo: memFree=939512/2055920 swapFree=4191880/4192956
[pid=15266] ppid=15264 vsize=915984 CPUtime=2083.43
/proc/15266/stat : 15266 (java) R 15264 15266 14600 0 -1 0 69368 0 1 0 208220 123 0 0 25 0 8 0 270283122 937967616 69012 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074319702 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15266/statm: 228996 69012 2548 14 0 215466 0
[pid=15266/tid=15268] ppid=15264 vsize=915984 CPUtime=1.49
/proc/15266/task/15268/stat : 15268 (java) S 15264 15266 14600 0 -1 64 52063 0 0 0 132 17 0 0 16 0 8 0 270283126 937967616 69012 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15266/tid=15269] ppid=15264 vsize=915984 CPUtime=0
/proc/15266/task/15269/stat : 15269 (java) S 15264 15266 14600 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270283127 937967616 69012 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15266/tid=15270] ppid=15264 vsize=915984 CPUtime=0
/proc/15266/task/15270/stat : 15270 (java) S 15264 15266 14600 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270283127 937967616 69012 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15266/tid=15271] ppid=15264 vsize=915984 CPUtime=0
/proc/15266/task/15271/stat : 15271 (java) S 15264 15266 14600 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270283130 937967616 69012 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15266/tid=15272] ppid=15264 vsize=915984 CPUtime=0.41
/proc/15266/task/15272/stat : 15272 (java) S 15264 15266 14600 0 -1 64 605 0 0 0 39 2 0 0 16 0 8 0 270283130 937967616 69012 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15266/tid=15273] ppid=15264 vsize=915984 CPUtime=0
/proc/15266/task/15273/stat : 15273 (java) S 15264 15266 14600 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270283130 937967616 69012 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15266/tid=15274] ppid=15264 vsize=915984 CPUtime=0
/proc/15266/task/15274/stat : 15274 (java) S 15264 15266 14600 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270283130 937967616 69012 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2083.43
Current children cumulated vsize (KiB) 915984

[startup+2145.34 s]
/proc/loadavg: 2.08 2.04 2.00 3/100 15432
/proc/meminfo: memFree=939512/2055920 swapFree=4191880/4192956
[pid=15266] ppid=15264 vsize=915984 CPUtime=2143.45
/proc/15266/stat : 15266 (java) R 15264 15266 14600 0 -1 0 69368 0 1 0 214222 123 0 0 25 0 8 0 270283122 937967616 69012 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074314633 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15266/statm: 228996 69012 2548 14 0 215466 0
[pid=15266/tid=15268] ppid=15264 vsize=915984 CPUtime=1.49
/proc/15266/task/15268/stat : 15268 (java) S 15264 15266 14600 0 -1 64 52063 0 0 0 132 17 0 0 16 0 8 0 270283126 937967616 69012 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15266/tid=15269] ppid=15264 vsize=915984 CPUtime=0
/proc/15266/task/15269/stat : 15269 (java) S 15264 15266 14600 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270283127 937967616 69012 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15266/tid=15270] ppid=15264 vsize=915984 CPUtime=0
/proc/15266/task/15270/stat : 15270 (java) S 15264 15266 14600 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270283127 937967616 69012 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15266/tid=15271] ppid=15264 vsize=915984 CPUtime=0
/proc/15266/task/15271/stat : 15271 (java) S 15264 15266 14600 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270283130 937967616 69012 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15266/tid=15272] ppid=15264 vsize=915984 CPUtime=0.41
/proc/15266/task/15272/stat : 15272 (java) S 15264 15266 14600 0 -1 64 605 0 0 0 39 2 0 0 16 0 8 0 270283130 937967616 69012 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15266/tid=15273] ppid=15264 vsize=915984 CPUtime=0
/proc/15266/task/15273/stat : 15273 (java) S 15264 15266 14600 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270283130 937967616 69012 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15266/tid=15274] ppid=15264 vsize=915984 CPUtime=0
/proc/15266/task/15274/stat : 15274 (java) S 15264 15266 14600 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270283130 937967616 69012 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2143.45
Current children cumulated vsize (KiB) 915984

[startup+2205.44 s]
/proc/loadavg: 2.03 2.03 2.00 3/100 15432
/proc/meminfo: memFree=939448/2055920 swapFree=4191880/4192956
[pid=15266] ppid=15264 vsize=915984 CPUtime=2203.49
/proc/15266/stat : 15266 (java) R 15264 15266 14600 0 -1 0 69368 0 1 0 220226 123 0 0 25 0 8 0 270283122 937967616 69012 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074013457 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15266/statm: 228996 69012 2548 14 0 215466 0
[pid=15266/tid=15268] ppid=15264 vsize=915984 CPUtime=1.49
/proc/15266/task/15268/stat : 15268 (java) S 15264 15266 14600 0 -1 64 52063 0 0 0 132 17 0 0 16 0 8 0 270283126 937967616 69012 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15266/tid=15269] ppid=15264 vsize=915984 CPUtime=0
/proc/15266/task/15269/stat : 15269 (java) S 15264 15266 14600 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270283127 937967616 69012 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15266/tid=15270] ppid=15264 vsize=915984 CPUtime=0
/proc/15266/task/15270/stat : 15270 (java) S 15264 15266 14600 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270283127 937967616 69012 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15266/tid=15271] ppid=15264 vsize=915984 CPUtime=0
/proc/15266/task/15271/stat : 15271 (java) S 15264 15266 14600 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270283130 937967616 69012 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15266/tid=15272] ppid=15264 vsize=915984 CPUtime=0.41
/proc/15266/task/15272/stat : 15272 (java) S 15264 15266 14600 0 -1 64 605 0 0 0 39 2 0 0 16 0 8 0 270283130 937967616 69012 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15266/tid=15273] ppid=15264 vsize=915984 CPUtime=0
/proc/15266/task/15273/stat : 15273 (java) S 15264 15266 14600 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270283130 937967616 69012 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15266/tid=15274] ppid=15264 vsize=915984 CPUtime=0
/proc/15266/task/15274/stat : 15274 (java) S 15264 15266 14600 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270283130 937967616 69012 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2203.49
Current children cumulated vsize (KiB) 915984

[startup+2265.53 s]
/proc/loadavg: 2.01 2.02 2.00 3/100 15432
/proc/meminfo: memFree=939384/2055920 swapFree=4191880/4192956
[pid=15266] ppid=15264 vsize=915984 CPUtime=2263.55
/proc/15266/stat : 15266 (java) R 15264 15266 14600 0 -1 0 69368 0 1 0 226232 123 0 0 25 0 8 0 270283122 937967616 69012 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074319741 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15266/statm: 228996 69012 2548 14 0 215466 0
[pid=15266/tid=15268] ppid=15264 vsize=915984 CPUtime=1.49
/proc/15266/task/15268/stat : 15268 (java) S 15264 15266 14600 0 -1 64 52063 0 0 0 132 17 0 0 16 0 8 0 270283126 937967616 69012 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15266/tid=15269] ppid=15264 vsize=915984 CPUtime=0
/proc/15266/task/15269/stat : 15269 (java) S 15264 15266 14600 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270283127 937967616 69012 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15266/tid=15270] ppid=15264 vsize=915984 CPUtime=0
/proc/15266/task/15270/stat : 15270 (java) S 15264 15266 14600 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270283127 937967616 69012 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15266/tid=15271] ppid=15264 vsize=915984 CPUtime=0
/proc/15266/task/15271/stat : 15271 (java) S 15264 15266 14600 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270283130 937967616 69012 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15266/tid=15272] ppid=15264 vsize=915984 CPUtime=0.41
/proc/15266/task/15272/stat : 15272 (java) S 15264 15266 14600 0 -1 64 605 0 0 0 39 2 0 0 16 0 8 0 270283130 937967616 69012 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15266/tid=15273] ppid=15264 vsize=915984 CPUtime=0
/proc/15266/task/15273/stat : 15273 (java) S 15264 15266 14600 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270283130 937967616 69012 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15266/tid=15274] ppid=15264 vsize=915984 CPUtime=0
/proc/15266/task/15274/stat : 15274 (java) S 15264 15266 14600 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270283130 937967616 69012 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2263.55
Current children cumulated vsize (KiB) 915984

[startup+2325.63 s]
/proc/loadavg: 2.00 2.02 2.00 3/100 15432
/proc/meminfo: memFree=939448/2055920 swapFree=4191880/4192956
[pid=15266] ppid=15264 vsize=915984 CPUtime=2323.6
/proc/15266/stat : 15266 (java) R 15264 15266 14600 0 -1 0 69368 0 1 0 232237 123 0 0 25 0 8 0 270283122 937967616 69012 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074134730 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15266/statm: 228996 69012 2548 14 0 215466 0
[pid=15266/tid=15268] ppid=15264 vsize=915984 CPUtime=1.49
/proc/15266/task/15268/stat : 15268 (java) S 15264 15266 14600 0 -1 64 52063 0 0 0 132 17 0 0 16 0 8 0 270283126 937967616 69012 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15266/tid=15269] ppid=15264 vsize=915984 CPUtime=0
/proc/15266/task/15269/stat : 15269 (java) S 15264 15266 14600 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270283127 937967616 69012 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15266/tid=15270] ppid=15264 vsize=915984 CPUtime=0
/proc/15266/task/15270/stat : 15270 (java) S 15264 15266 14600 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270283127 937967616 69012 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15266/tid=15271] ppid=15264 vsize=915984 CPUtime=0
/proc/15266/task/15271/stat : 15271 (java) S 15264 15266 14600 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270283130 937967616 69012 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15266/tid=15272] ppid=15264 vsize=915984 CPUtime=0.41
/proc/15266/task/15272/stat : 15272 (java) S 15264 15266 14600 0 -1 64 605 0 0 0 39 2 0 0 16 0 8 0 270283130 937967616 69012 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15266/tid=15273] ppid=15264 vsize=915984 CPUtime=0
/proc/15266/task/15273/stat : 15273 (java) S 15264 15266 14600 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270283130 937967616 69012 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15266/tid=15274] ppid=15264 vsize=915984 CPUtime=0
/proc/15266/task/15274/stat : 15274 (java) S 15264 15266 14600 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270283130 937967616 69012 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2323.6
Current children cumulated vsize (KiB) 915984

[startup+2385.73 s]
/proc/loadavg: 2.00 2.01 2.00 3/100 15432
/proc/meminfo: memFree=939448/2055920 swapFree=4191880/4192956
[pid=15266] ppid=15264 vsize=915984 CPUtime=2383.64
/proc/15266/stat : 15266 (java) R 15264 15266 14600 0 -1 0 69368 0 1 0 238241 123 0 0 25 0 8 0 270283122 937967616 69012 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074346572 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15266/statm: 228996 69012 2548 14 0 215466 0
[pid=15266/tid=15268] ppid=15264 vsize=915984 CPUtime=1.49
/proc/15266/task/15268/stat : 15268 (java) S 15264 15266 14600 0 -1 64 52063 0 0 0 132 17 0 0 16 0 8 0 270283126 937967616 69012 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15266/tid=15269] ppid=15264 vsize=915984 CPUtime=0
/proc/15266/task/15269/stat : 15269 (java) S 15264 15266 14600 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270283127 937967616 69012 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15266/tid=15270] ppid=15264 vsize=915984 CPUtime=0
/proc/15266/task/15270/stat : 15270 (java) S 15264 15266 14600 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270283127 937967616 69012 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15266/tid=15271] ppid=15264 vsize=915984 CPUtime=0
/proc/15266/task/15271/stat : 15271 (java) S 15264 15266 14600 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270283130 937967616 69012 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15266/tid=15272] ppid=15264 vsize=915984 CPUtime=0.41
/proc/15266/task/15272/stat : 15272 (java) S 15264 15266 14600 0 -1 64 605 0 0 0 39 2 0 0 16 0 8 0 270283130 937967616 69012 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15266/tid=15273] ppid=15264 vsize=915984 CPUtime=0
/proc/15266/task/15273/stat : 15273 (java) S 15264 15266 14600 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270283130 937967616 69012 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15266/tid=15274] ppid=15264 vsize=915984 CPUtime=0
/proc/15266/task/15274/stat : 15274 (java) S 15264 15266 14600 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270283130 937967616 69012 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2383.64
Current children cumulated vsize (KiB) 915984



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2402.1 s]
/proc/loadavg: 2.00 2.01 2.00 3/100 15432
/proc/meminfo: memFree=939448/2055920 swapFree=4191880/4192956
[pid=15266] ppid=15264 vsize=915984 CPUtime=2400.02
/proc/15266/stat : 15266 (java) R 15264 15266 14600 0 -1 0 69368 0 1 0 239879 123 0 0 25 0 8 0 270283122 937967616 69012 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074314633 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15266/statm: 228996 69012 2548 14 0 215466 0
[pid=15266/tid=15268] ppid=15264 vsize=915984 CPUtime=1.49
/proc/15266/task/15268/stat : 15268 (java) S 15264 15266 14600 0 -1 64 52063 0 0 0 132 17 0 0 16 0 8 0 270283126 937967616 69012 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15266/tid=15269] ppid=15264 vsize=915984 CPUtime=0
/proc/15266/task/15269/stat : 15269 (java) S 15264 15266 14600 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270283127 937967616 69012 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15266/tid=15270] ppid=15264 vsize=915984 CPUtime=0
/proc/15266/task/15270/stat : 15270 (java) S 15264 15266 14600 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270283127 937967616 69012 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15266/tid=15271] ppid=15264 vsize=915984 CPUtime=0
/proc/15266/task/15271/stat : 15271 (java) S 15264 15266 14600 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270283130 937967616 69012 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15266/tid=15272] ppid=15264 vsize=915984 CPUtime=0.41
/proc/15266/task/15272/stat : 15272 (java) S 15264 15266 14600 0 -1 64 605 0 0 0 39 2 0 0 16 0 8 0 270283130 937967616 69012 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15266/tid=15273] ppid=15264 vsize=915984 CPUtime=0
/proc/15266/task/15273/stat : 15273 (java) S 15264 15266 14600 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270283130 937967616 69012 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15266/tid=15274] ppid=15264 vsize=915984 CPUtime=0
/proc/15266/task/15274/stat : 15274 (java) S 15264 15266 14600 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270283130 937967616 69012 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2400.02
Current children cumulated vsize (KiB) 915984

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

Child status: 143
Real time (s): 2402.15
CPU time (s): 2400.08
CPU user time (s): 2398.8
CPU system time (s): 1.27781
CPU usage (%): 99.9138
Max. virtual memory (cumulated for all children) (KiB): 915996

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2398.8
system time used= 1.2778
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 69394
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= 50418
involuntary context switches= 43544

runsolver used 2.86656 s user time and 8.01478 s system time

The end

Launcher Data (download as text)

Begin job on node16 on Fri Jan 19 15:01:23 UTC 2007


IDJOB= 275247
IDBENCH= 3736
IDSOLVER= 69
FILE ID= node16/275247-1169218883

PBS_JOBID= 3588908

Free space on /tmp= 66556 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  725b6642173552cf2abf8e36b2356adf

RANDOM SEED= 369128175

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.220
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.220
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:       1313480 kB
Buffers:         42616 kB
Cached:         536408 kB
SwapCached:        268 kB
Active:         271060 kB
Inactive:       397288 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1313480 kB
SwapTotal:     4192956 kB
SwapFree:      4191880 kB
Dirty:            7284 kB
Writeback:           0 kB
Mapped:         118240 kB
Slab:            58332 kB
Committed_AS:  7999268 kB
PageTables:       2732 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66551 MiB



End job on node16 on Fri Jan 19 15:41:25 UTC 2007