Trace number 275246

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 EPFCMSAT (TO) 2400.13 2413.18

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.64	   
0.64	Abscon 109 (November, 2006)
0.64	   
0.64	   configuration
0.64	     name=epfc.xml
0.71	   
0.71	   instance
0.71	     name=/tmp/evaluation/275246-1169218881/unknown.xml
0.74	   
0.74	   domains being loaded...
0.78	   
0.78	   variables being loaded...
1.06	     nbVariables=2500  nbDomainTypes=30  minDomainSize=42  maxDomainSize=362
1.06	       =>  wckTime=0.412  cpuTime=0.29  mem=35M188
1.06	   
1.06	   predicates being loaded...
1.07	   
1.07	   constraints being loaded...
61.42	   
61.42	   INFO : Stopping converting binary constraints (cpu=60.03, mem = 73M784)
63.54	     nbConstraints=40767  nbConvertedConstraints=6730  nbConvertConstraintsChecks=199156070  nbExtensionStructures=2782
63.54	     nbSharedExtensionStructures=3948  nbConflictsStructures=2782  nbSharedConflictsStructures=3948
63.54	     nbSharedBinaryRepresentations=1429442  nbEvaluationManagers=9569  nbSharedEvaluationManagers=24468  maxDegree=52
63.54	     maxArity=2
63.54	       =>  wckTime=62.895  cpuTime=61.69  mem=98M250
63.93	   
63.93	   solver LocalSearchSolver being built... 
63.97	       =>  wckTime=63.326  cpuTime=61.73  mem=86M708
64.17	
64.17	s SATISFIABLE
64.17	o 32283
64.17	c 8484
64.20	o 32295
64.20	c 8472
64.28	o 32309
64.28	c 8458
64.31	o 32317
64.31	c 8450
64.35	o 32325
64.36	c 8442
64.40	o 32333
64.40	c 8434
64.43	o 32340
64.43	c 8427
64.46	o 32346
64.46	c 8421
64.50	o 32352
64.50	c 8415
64.54	o 32355
64.54	c 8412
64.57	o 32362
64.57	c 8405
64.61	o 32371
64.61	c 8396
64.66	o 32380
64.66	c 8387
64.72	o 32387
64.72	c 8380
64.77	o 32393
64.77	c 8374
64.82	o 32399
64.82	c 8368
64.86	o 32404
64.86	c 8363
64.90	o 32409
64.90	c 8358
64.94	o 32414
64.94	c 8353
64.98	o 32418
64.98	c 8349
65.03	o 32422
65.03	c 8345
65.07	o 32426
65.07	c 8341
65.10	o 32430
65.10	c 8337
65.15	o 32440
65.15	c 8327
65.18	o 32443
65.18	c 8324
65.23	o 32446
65.23	c 8321
65.26	o 32449
65.26	c 8318
65.31	o 32451
65.31	c 8316
65.34	o 32453
65.34	c 8314
65.37	o 32454
65.38	c 8313
65.42	o 32456
65.42	c 8311
65.48	o 32463
65.48	c 8304
65.54	o 32472
65.54	c 8295
65.60	o 32481
65.60	c 8286
65.65	o 32489
65.65	c 8278
65.70	o 32492
65.70	c 8275
65.75	o 32500
65.75	c 8267
65.80	o 32508
65.80	c 8259
65.85	o 32514
65.85	c 8253
65.89	o 32517
65.89	c 8250
65.94	o 32523
65.94	c 8244
66.00	o 32528
66.00	c 8239
66.06	o 32532
66.06	c 8235
66.11	o 32536
66.11	c 8231
66.14	o 32540
66.14	c 8227
66.18	o 32544
66.18	c 8223
66.22	o 32548
66.22	c 8219
66.26	o 32551
66.26	c 8216
66.29	o 32554
66.29	c 8213
66.32	o 32557
66.32	c 8210
66.36	o 32559
66.36	c 8208
66.40	o 32561
66.40	c 8206
66.42	o 32562
66.42	c 8205
66.49	o 32565
66.49	c 8202
66.51	o 32576
66.51	c 8191
66.54	o 32582
66.54	c 8185
66.59	o 32590
66.59	c 8177
66.64	o 32594
66.64	c 8173
66.69	o 32604
66.69	c 8163
66.74	o 32614
66.74	c 8153
66.81	o 32623
66.81	c 8144
66.86	o 32630
66.86	c 8137
66.91	o 32633
66.91	c 8134
66.98	o 32641
66.98	c 8126
67.05	o 32648
67.05	c 8119
67.11	o 32655
67.11	c 8112
67.17	o 32662
67.17	c 8105
67.24	o 32668
67.24	c 8099
67.30	o 32673
67.30	c 8094
67.37	o 32678
67.37	c 8089
67.42	o 32683
67.42	c 8084
67.48	o 32688
67.48	c 8079
67.54	o 32692
67.54	c 8075
67.61	o 32696
67.61	c 8071
67.66	o 32700
67.66	c 8067
67.71	o 32703
67.71	c 8064
67.76	o 32710
67.76	c 8057
67.81	o 32713
67.81	c 8054
67.86	o 32715
67.86	c 8052
67.91	o 32718
67.91	c 8049
67.96	o 32720
67.96	c 8047
68.01	o 32722
68.01	c 8045
68.05	o 32724
68.05	c 8043
68.10	o 32726
68.10	c 8041
68.13	o 32728
68.14	c 8039
68.17	o 32729
68.17	c 8038
68.19	o 32730
68.19	c 8037
68.26	o 32733
68.26	c 8034
68.30	o 32738
68.30	c 8029
68.33	o 32741
68.33	c 8026
68.36	o 32751
68.36	c 8016
68.43	o 32757
68.43	c 8010
68.45	o 32764
68.45	c 8003
68.47	o 32769
68.47	c 7998
68.48	o 32770
68.48	c 7997
68.52	o 32780
68.52	c 7987
68.57	o 32788
68.57	c 7979
68.60	o 32790
68.60	c 7977
68.64	o 32796
68.64	c 7971
68.68	o 32799
68.68	c 7968
68.75	o 32808
68.75	c 7959
68.82	o 32815
68.82	c 7952
68.89	o 32821
68.89	c 7946
68.95	o 32827
68.95	c 7940
69.02	o 32833
69.02	c 7934
69.08	o 32839
69.08	c 7928
69.15	o 32844
69.15	c 7923
69.22	o 32848
69.22	c 7919
69.28	o 32849
69.28	c 7918
69.34	o 32855
69.34	c 7912
69.40	o 32860
69.40	c 7907
69.46	o 32865
69.46	c 7902
69.52	o 32870
69.52	c 7897
69.58	o 32875
69.58	c 7892
69.63	o 32876
69.63	c 7891
69.68	o 32881
69.68	c 7886
69.73	o 32885
69.73	c 7882
69.77	o 32888
69.77	c 7879
69.87	o 32891
69.87	c 7876
69.92	o 32894
69.92	c 7873
69.95	o 32897
69.95	c 7870
70.00	o 32899
70.00	c 7868
70.05	o 32901
70.05	c 7866
70.08	o 32903
70.08	c 7864
70.13	o 32912
70.13	c 7855
70.16	o 32914
70.16	c 7853
70.20	o 32916
70.20	c 7851
70.22	o 32917
70.22	c 7850
70.24	o 32918
70.24	c 7849
70.39	o 32919
70.39	c 7848
70.41	o 32922
70.41	c 7845
70.45	o 32931
70.45	c 7836
70.47	o 32935
70.47	c 7832
70.51	o 32939
70.51	c 7828
70.55	o 32945
70.55	c 7822
70.60	o 32948
70.60	c 7819
70.64	o 32951
70.64	c 7816
70.68	o 32954
70.68	c 7813
70.73	o 32955
70.73	c 7812
70.78	o 32960
70.78	c 7807
70.83	o 32965
70.83	c 7802
70.87	o 32969
70.87	c 7798
70.92	o 32977
70.92	c 7790
71.01	o 32979
71.01	c 7788
71.08	o 32986
71.08	c 7781
71.11	o 32989
71.11	c 7778
71.17	o 32994
71.17	c 7773
71.26	o 33003
71.26	c 7764
71.34	o 33007
71.34	c 7760
71.42	o 33011
71.42	c 7756
71.50	o 33019
71.50	c 7748
71.66	o 33027
71.66	c 7740
71.75	o 33034
71.75	c 7733
71.83	o 33037
71.83	c 7730
71.90	o 33043
71.90	c 7724
71.98	o 33050
71.98	c 7717
72.06	o 33057
72.06	c 7710
72.16	o 33064
72.16	c 7703
72.24	o 33070
72.24	c 7697
72.32	o 33074
72.32	c 7693
72.41	o 33075
72.41	c 7692
72.50	o 33081
72.50	c 7686
72.58	o 33087
72.58	c 7680
72.66	o 33093
72.66	c 7674
72.73	o 33099
72.73	c 7668
72.80	o 33103
72.80	c 7664
72.88	o 33108
72.88	c 7659
72.94	o 33116
72.94	c 7651
73.02	o 33121
73.02	c 7646
73.10	o 33126
73.10	c 7641
73.17	o 33130
73.17	c 7637
73.24	o 33134
73.24	c 7633
73.31	o 33138
73.31	c 7629
73.38	o 33142
73.38	c 7625
73.45	o 33146
73.45	c 7621
73.52	o 33150
73.52	c 7617
73.58	o 33153
73.58	c 7614
73.64	o 33156
73.64	c 7611
73.70	o 33159
73.70	c 7608
73.77	o 33162
73.77	c 7605
73.84	o 33164
73.84	c 7603
73.91	o 33166
73.91	c 7601
73.98	o 33168
73.98	c 7599
74.02	o 33170
74.02	c 7597
74.08	o 33172
74.08	c 7595
74.13	o 33177
74.13	c 7590
74.19	o 33186
74.19	c 7581
74.25	o 33188
74.25	c 7579
74.30	o 33190
74.30	c 7577
74.35	o 33192
74.35	c 7575
74.39	o 33193
74.39	c 7574
74.44	o 33194
74.44	c 7573
74.49	o 33195
74.49	c 7572
74.54	o 33196
74.54	c 7571
74.58	o 33197
74.58	c 7570
74.63	o 33203
74.63	c 7564
74.67	o 33209
74.67	c 7558
74.78	o 33215
74.78	c 7552
74.82	o 33223
74.82	c 7544
74.92	o 33224
74.92	c 7543
74.95	o 33227
74.95	c 7540
74.99	o 33230
74.99	c 7537
75.03	o 33234
75.03	c 7533
75.06	o 33235
75.06	c 7532
75.10	o 33238
75.10	c 7529
75.14	o 33244
75.14	c 7523
75.17	o 33246
75.17	c 7521
75.21	o 33249
75.21	c 7518
75.25	o 33250
75.25	c 7517
75.29	o 33252
75.29	c 7515
75.32	o 33257
75.32	c 7510
75.39	o 33259
75.39	c 7508
75.44	o 33263
75.44	c 7504
75.49	o 33268
75.49	c 7499
75.54	o 33274
75.54	c 7493
75.61	o 33275
75.61	c 7492
75.67	o 33280
75.67	c 7487
75.73	o 33286
75.73	c 7481
75.79	o 33293
75.79	c 7474
75.87	o 33297
75.87	c 7470
75.92	o 33302
75.92	c 7465
75.98	o 33305
75.98	c 7462
76.03	o 33308
76.03	c 7459
76.08	o 33309
76.08	c 7458
76.13	o 33314
76.13	c 7453
76.18	o 33317
76.18	c 7450
76.22	o 33320
76.22	c 7447
76.27	o 33323
76.27	c 7444
76.30	o 33329
76.30	c 7438
76.35	o 33332
76.35	c 7435
76.48	o 33334
76.48	c 7433
76.55	o 33335
76.55	c 7432
76.60	o 33340
76.60	c 7427
76.64	o 33346
76.64	c 7421
76.70	o 33349
76.70	c 7418
76.75	o 33354
76.75	c 7413
76.80	o 33357
76.80	c 7410
76.85	o 33361
76.85	c 7406
76.91	o 33364
76.91	c 7403
76.97	o 33370
76.97	c 7397
77.04	o 33376
77.04	c 7391
77.08	o 33380
77.08	c 7387
77.12	o 33387
77.12	c 7380
77.20	o 33396
77.20	c 7371
77.29	o 33405
77.29	c 7362
77.38	o 33414
77.38	c 7353
77.49	o 33421
77.49	c 7346
77.59	o 33428
77.59	c 7339
77.69	o 33435
77.69	c 7332
77.87	o 33440
77.87	c 7327
77.96	o 33446
77.96	c 7321
78.05	o 33452
78.05	c 7315
78.17	o 33457
78.17	c 7310
78.26	o 33462
78.26	c 7305
78.35	o 33467
78.35	c 7300
78.45	o 33472
78.46	c 7295
78.55	o 33477
78.55	c 7290
78.64	o 33482
78.64	c 7285
78.74	o 33485
78.74	c 7282
78.82	o 33490
78.82	c 7277
78.93	o 33495
78.93	c 7272
79.02	o 33499
79.02	c 7268
79.11	o 33505
79.11	c 7262
79.19	o 33509
79.19	c 7258
79.37	o 33512
79.37	c 7255
79.44	o 33516
79.44	c 7251
79.53	o 33520
79.53	c 7247
79.60	o 33524
79.60	c 7243
79.68	o 33527
79.68	c 7240
79.77	o 33530
79.77	c 7237
79.85	o 33533
79.85	c 7234
79.92	o 33538
79.92	c 7229
80.00	o 33541
80.00	c 7226
80.07	o 33544
80.07	c 7223
80.14	o 33547
80.14	c 7220
80.23	o 33550
80.23	c 7217
80.29	o 33553
80.29	c 7214
80.37	o 33555
80.37	c 7212
80.42	o 33558
80.42	c 7209
80.49	o 33560
80.49	c 7207
80.56	o 33562
80.56	c 7205
80.62	o 33564
80.62	c 7203
80.67	o 33565
80.67	c 7202
80.72	o 33566
80.72	c 7201
80.77	o 33567
80.77	c 7200
80.82	o 33568
80.82	c 7199
80.87	o 33569
80.87	c 7198
81.26	o 33570
81.26	c 7197
81.31	o 33573
81.31	c 7194
81.37	o 33574
81.37	c 7193
81.44	o 33575
81.44	c 7192
81.48	o 33580
81.48	c 7187
81.60	o 33582
81.60	c 7185
81.65	o 33587
81.65	c 7180
81.72	o 33592
81.72	c 7175
81.79	o 33594
81.79	c 7173
81.85	o 33595
81.85	c 7172
81.92	o 33598
81.92	c 7169
81.99	o 33604
81.99	c 7163
82.05	o 33608
82.05	c 7159
82.11	o 33612
82.11	c 7155
82.16	o 33619
82.16	c 7148
82.21	o 33622
82.21	c 7145
82.27	o 33623
82.27	c 7144
82.32	o 33625
82.32	c 7142
82.36	o 33635
82.36	c 7132
82.42	o 33642
82.42	c 7125
82.48	o 33644
82.48	c 7123
82.59	o 33652
82.59	c 7115
82.64	o 33654
82.64	c 7113
82.71	o 33658
82.71	c 7109
82.76	o 33659
82.76	c 7108
82.82	o 33664
82.82	c 7103
82.89	o 33665
82.89	c 7102
83.02	o 33666
83.02	c 7101
83.09	o 33671
83.09	c 7096
83.14	o 33676
83.14	c 7091
83.19	o 33677
83.19	c 7090
83.24	o 33678
83.24	c 7089
83.29	o 33679
83.29	c 7088
83.36	o 33680
83.36	c 7087
83.41	o 33684
83.41	c 7083
83.48	o 33689
83.48	c 7078
83.55	o 33691
83.55	c 7076
83.62	o 33699
83.62	c 7068
83.66	o 33704
83.66	c 7063
83.73	o 33711
83.73	c 7056
83.77	o 33714
83.77	c 7053
83.82	o 33719
83.82	c 7048
83.86	o 33720
83.86	c 7047
83.92	o 33722
83.92	c 7045
83.98	o 33726
83.98	c 7041
84.03	o 33731
84.03	c 7036
84.09	o 33734
84.09	c 7033
84.16	o 33740
84.16	c 7027
84.22	o 33745
84.22	c 7022
84.29	o 33753
84.29	c 7014
84.34	o 33755
84.34	c 7012
84.42	o 33760
84.42	c 7007
84.47	o 33761
84.47	c 7006
84.53	o 33763
84.53	c 7004
84.59	o 33765
84.59	c 7002
84.64	o 33767
84.64	c 7000
84.70	o 33771
84.70	c 6996
84.82	o 33772
84.82	c 6995
84.88	o 33777
84.88	c 6990
84.99	o 33784
84.99	c 6983
85.06	o 33790
85.06	c 6977
85.12	o 33797
85.12	c 6970
85.18	o 33798
85.18	c 6969
85.26	o 33802
85.26	c 6965
85.41	o 33806
85.41	c 6961
85.48	o 33809
85.48	c 6958
85.54	o 33811
85.54	c 6956
85.60	o 33814
85.60	c 6953
85.67	o 33816
85.67	c 6951
85.80	o 33820
85.80	c 6947
85.94	o 33823
85.94	c 6944
86.12	o 33831
86.12	c 6936
86.21	o 33832
86.21	c 6935
86.31	o 33840
86.31	c 6927
86.44	o 33847
86.44	c 6920
86.55	o 33853
86.55	c 6914
86.68	o 33858
86.68	c 6909
86.81	o 33863
86.81	c 6904
86.93	o 33867
86.93	c 6900
87.05	o 33871
87.05	c 6896
87.18	o 33875
87.18	c 6892
87.31	o 33879
87.31	c 6888
87.43	o 33883
87.43	c 6884
87.55	o 33887
87.55	c 6880
87.66	o 33891
87.66	c 6876
87.90	o 33893
87.90	c 6874
88.02	o 33896
88.02	c 6871
88.13	o 33901
88.13	c 6866
88.24	o 33904
88.24	c 6863
88.35	o 33909
88.35	c 6858
88.46	o 33912
88.46	c 6855
88.57	o 33914
88.57	c 6853
88.67	o 33916
88.67	c 6851
88.78	o 33918
88.78	c 6849
88.88	o 33920
88.88	c 6847
88.98	o 33921
88.98	c 6846
89.09	o 33922
89.09	c 6845
89.19	o 33923
89.19	c 6844
89.28	o 33928
89.28	c 6839
89.48	o 33929
89.48	c 6838
89.57	o 33930
89.57	c 6837
89.66	o 33931
89.66	c 6836
89.75	o 33934
89.75	c 6833
89.84	o 33935
89.84	c 6832
90.00	o 33936
90.00	c 6831
90.09	o 33937
90.09	c 6830
90.19	o 33938
90.19	c 6829
90.73	o 33939
90.73	c 6828
90.88	o 33944
90.88	c 6823
90.96	o 33948
90.96	c 6819
91.02	o 33953
91.02	c 6814
91.19	o 33957
91.19	c 6810
91.26	o 33959
91.26	c 6808
91.33	o 33965
91.33	c 6802
91.46	o 33967
91.46	c 6800
91.53	o 33968
91.53	c 6799
91.61	o 33971
91.61	c 6796
91.69	o 33975
91.69	c 6792
91.78	o 33980
91.78	c 6787
91.85	o 33983
91.85	c 6784
92.01	o 33986
92.01	c 6781
92.21	o 33988
92.21	c 6779
92.28	o 33991
92.28	c 6776
92.36	o 33997
92.36	c 6770
92.52	o 34001
92.52	c 6766
92.61	o 34007
92.61	c 6760
92.95	o 34010
92.95	c 6757
93.03	o 34015
93.03	c 6752
93.10	o 34017
93.10	c 6750
93.18	o 34022
93.18	c 6745
93.33	o 34025
93.33	c 6742
93.41	o 34030
93.41	c 6737
93.49	o 34031
93.49	c 6736
93.59	o 34036
93.59	c 6731
93.66	o 34039
93.66	c 6728
93.74	o 34043
93.74	c 6724
93.81	o 34044
93.81	c 6723
93.89	o 34047
93.89	c 6720
93.97	o 34052
93.97	c 6715
94.19	o 34054
94.19	c 6713
94.27	o 34055
94.27	c 6712
94.44	o 34057
94.44	c 6710
94.53	o 34059
94.53	c 6708
94.61	o 34061
94.61	c 6706
94.70	o 34065
94.70	c 6702
94.78	o 34072
94.78	c 6695
94.88	o 34075
94.88	c 6692
94.97	o 34077
94.97	c 6690
95.06	o 34078
95.06	c 6689
95.15	o 34081
95.15	c 6686
95.24	o 34083
95.24	c 6684
95.32	o 34086
95.32	c 6681
95.40	o 34088
95.40	c 6679
95.50	o 34090
95.50	c 6677
95.61	o 34091
95.61	c 6676
95.79	o 34095
95.79	c 6672
95.87	o 34097
95.87	c 6670
95.99	o 34102
95.99	c 6665
96.41	o 34106
96.41	c 6661
96.49	o 34112
96.49	c 6655
96.58	o 34114
96.58	c 6653
96.73	o 34120
96.73	c 6647
96.81	o 34122
96.81	c 6645
96.90	o 34127
96.90	c 6640
97.16	o 34128
97.16	c 6639
97.26	o 34133
97.26	c 6634
97.36	o 34137
97.36	c 6630
97.43	o 34141
97.43	c 6626
97.52	o 34145
97.52	c 6622
97.61	o 34146
97.61	c 6621
97.69	o 34149
97.69	c 6618
97.79	o 34150
97.79	c 6617
97.96	o 34156
97.96	c 6611
98.05	o 34158
98.05	c 6609
98.15	o 34161
98.15	c 6606
98.23	o 34162
98.23	c 6605
98.32	o 34164
98.32	c 6603
98.90	o 34168
98.90	c 6599
98.98	o 34169
98.98	c 6598
99.08	o 34173
99.08	c 6594
99.24	o 34175
99.24	c 6592
99.36	o 34178
99.36	c 6589
99.45	o 34179
99.45	c 6588
99.53	o 34184
99.53	c 6583
99.61	o 34186
99.61	c 6581
99.71	o 34190
99.71	c 6577
99.78	o 34192
99.78	c 6575
99.88	o 34195
99.88	c 6572
99.98	o 34199
99.98	c 6568
100.06	o 34203
100.06	c 6564
100.15	o 34206
100.15	c 6561
100.31	o 34208
100.31	c 6559
100.41	o 34213
100.41	c 6554
100.51	o 34219
100.51	c 6548
100.60	o 34225
100.60	c 6542
100.66	o 34230
100.66	c 6537
100.75	o 34232
100.75	c 6535
100.85	o 34233
100.85	c 6534
100.96	o 34238
100.96	c 6529
101.02	o 34242
101.02	c 6525
101.15	o 34247
101.15	c 6520
101.49	o 34250
101.49	c 6517
101.60	o 34251
101.60	c 6516
101.75	o 34255
101.75	c 6512
101.87	o 34259
101.87	c 6508
101.99	o 34263
101.99	c 6504
102.21	o 34264
102.21	c 6503
102.31	o 34270
102.31	c 6497
102.40	o 34273
102.40	c 6494
102.50	o 34276
102.50	c 6491
102.59	o 34279
102.59	c 6488
102.68	o 34285
102.68	c 6482
102.78	o 34287
102.78	c 6480
102.89	o 34289
102.89	c 6478
102.97	o 34292
102.97	c 6475
103.06	o 34294
103.06	c 6473
103.16	o 34296
103.16	c 6471
103.24	o 34298
103.24	c 6469
103.33	o 34299
103.33	c 6468
103.43	o 34300
103.43	c 6467
103.54	o 34301
103.54	c 6466
103.62	o 34302
103.62	c 6465
103.71	o 34303
103.71	c 6464
103.79	o 34304
103.79	c 6463
103.86	o 34305
103.86	c 6462
104.08	o 34307
104.08	c 6460
104.15	o 34314
104.15	c 6453
104.45	o 34319
104.45	c 6448
104.53	o 34322
104.53	c 6445
104.60	o 34324
104.60	c 6443
104.68	o 34330
104.68	c 6437
104.75	o 34331
104.75	c 6436
104.82	o 34333
104.82	c 6434
104.92	o 34335
104.92	c 6432
105.11	o 34339
105.11	c 6428
105.19	o 34340
105.19	c 6427
105.27	o 34343
105.27	c 6424
105.44	o 34346
105.44	c 6421
105.52	o 34347
105.52	c 6420
105.62	o 34349
105.62	c 6418
105.69	o 34352
105.69	c 6415
105.76	o 34355
105.76	c 6412
105.85	o 34358
105.85	c 6409
105.94	o 34359
105.94	c 6408
106.09	o 34360
106.09	c 6407
106.18	o 34362
106.18	c 6405
106.27	o 34369
106.27	c 6398
106.36	o 34373
106.36	c 6394
106.45	o 34374
106.45	c 6393
106.54	o 34376
106.54	c 6391
106.63	o 34378
106.63	c 6389
106.86	o 34380
106.86	c 6387
106.94	o 34383
106.94	c 6384
107.02	o 34388
107.02	c 6379
107.11	o 34393
107.11	c 6374
107.21	o 34397
107.21	c 6370
107.31	o 34399
107.31	c 6368
107.49	o 34407
107.49	c 6360
107.58	o 34408
107.58	c 6359
107.68	o 34413
107.68	c 6354
107.76	o 34418
107.76	c 6349
107.84	o 34421
107.84	c 6346
107.92	o 34426
107.92	c 6341
108.00	o 34429
108.00	c 6338
108.09	o 34433
108.09	c 6334
108.19	o 34435
108.19	c 6332
108.27	o 34438
108.27	c 6329
108.34	o 34439
108.34	c 6328
108.41	o 34444
108.41	c 6323
108.50	o 34447
108.50	c 6320
108.59	o 34449
108.59	c 6318
108.68	o 34455
108.68	c 6312
108.76	o 34458
108.76	c 6309
108.86	o 34462
108.86	c 6305
108.95	o 34463
108.95	c 6304
109.03	o 34469
109.03	c 6298
109.12	o 34471
109.12	c 6296
109.20	o 34478
109.20	c 6289
109.30	o 34482
109.30	c 6285
109.38	o 34486
109.38	c 6281
109.58	o 34487
109.58	c 6280
110.07	o 34492
110.07	c 6275
110.17	o 34495
110.17	c 6272
110.29	o 34499
110.29	c 6268
110.48	o 34502
110.48	c 6265
110.58	o 34505
110.58	c 6262
110.68	o 34508
110.68	c 6259
110.89	o 34510
110.89	c 6257
111.01	o 34514
111.01	c 6253
111.23	o 34517
111.23	c 6250
111.33	o 34521
111.33	c 6246
111.43	o 34525
111.43	c 6242
111.55	o 34528
111.55	c 6239
111.64	o 34530
111.64	c 6237
111.73	o 34532
111.73	c 6235
111.83	o 34535
111.83	c 6232
111.93	o 34536
111.93	c 6231
112.02	o 34543
112.02	c 6224
112.13	o 34546
112.13	c 6221
112.22	o 34550
112.22	c 6217
112.32	o 34557
112.32	c 6210
112.42	o 34560
112.42	c 6207
112.53	o 34566
112.53	c 6201
112.62	o 34567
112.62	c 6200
112.71	o 34573
112.71	c 6194
112.80	o 34576
112.80	c 6191
112.90	o 34578
112.90	c 6189
112.98	o 34579
112.98	c 6188
113.07	o 34582
113.07	c 6185
113.15	o 34583
113.15	c 6184
113.23	o 34584
113.23	c 6183
113.32	o 34585
113.32	c 6182
113.40	o 34587
113.40	c 6180
113.48	o 34588
113.48	c 6179
113.58	o 34590
113.58	c 6177
113.67	o 34593
113.67	c 6174
113.75	o 34595
113.75	c 6172
113.83	o 34600
113.83	c 6167
113.91	o 34601
113.91	c 6166
114.01	o 34604
114.01	c 6163
114.09	o 34610
114.09	c 6157
114.26	o 34614
114.26	c 6153
114.35	o 34618
114.35	c 6149
114.44	o 34619
114.44	c 6148
114.55	o 34624
114.55	c 6143
114.66	o 34625
114.66	c 6142
114.76	o 34630
114.76	c 6137
114.87	o 34632
114.87	c 6135
114.94	o 34636
114.94	c 6131
115.23	o 34639
115.23	c 6128
115.33	o 34644
115.33	c 6123
115.42	o 34649
115.42	c 6118
115.52	o 34650
115.52	c 6117
115.61	o 34651
115.61	c 6116
115.72	o 34654
115.72	c 6113
115.82	o 34658
115.82	c 6109
115.94	o 34660
115.94	c 6107
116.13	o 34663
116.13	c 6104
116.24	o 34665
116.24	c 6102
116.34	o 34667
116.34	c 6100
116.47	o 34671
116.47	c 6096
116.57	o 34672
116.57	c 6095
116.66	o 34673
116.66	c 6094
116.75	o 34680
116.75	c 6087
116.85	o 34682
116.85	c 6085
116.96	o 34685
116.96	c 6082
117.15	o 34686
117.15	c 6081
117.24	o 34690
117.24	c 6077
117.34	o 34691
117.34	c 6076
117.42	o 34693
117.42	c 6074
117.76	o 34698
117.76	c 6069
117.85	o 34701
117.85	c 6066
117.96	o 34705
117.96	c 6062
118.07	o 34709
118.07	c 6058
118.19	o 34714
118.19	c 6053
118.30	o 34718
118.30	c 6049
118.43	o 34722
118.43	c 6045
118.55	o 34724
118.55	c 6043
118.67	o 34728
118.67	c 6039
118.80	o 34732
118.80	c 6035
118.92	o 34736
118.92	c 6031
119.04	o 34740
119.04	c 6027
119.16	o 34744
119.16	c 6023
119.27	o 34747
119.27	c 6020
119.37	o 34750
119.37	c 6017
119.48	o 34752
119.48	c 6015
119.60	o 34754
119.60	c 6013
119.71	o 34755
119.71	c 6012
119.83	o 34756
119.83	c 6011
119.94	o 34757
119.94	c 6010
120.45	o 34760
120.45	c 6007
120.55	o 34762
120.55	c 6005
121.42	o 34767
121.42	c 6000
121.52	o 34772
121.52	c 5995
121.73	o 34773
121.73	c 5994
121.95	o 34775
121.95	c 5992
122.14	o 34780
122.14	c 5987
122.25	o 34781
122.25	c 5986
122.34	o 34783
122.34	c 5984
122.44	o 34787
122.44	c 5980
122.53	o 34789
122.53	c 5978
122.62	o 34791
122.62	c 5976
122.72	o 34795
122.72	c 5972
122.82	o 34796
122.82	c 5971
122.91	o 34798
122.91	c 5969
122.99	o 34804
122.99	c 5963
123.16	o 34808
123.16	c 5959
123.26	o 34809
123.26	c 5958
123.45	o 34812
123.45	c 5955
123.55	o 34815
123.55	c 5952
123.65	o 34817
123.65	c 5950
123.76	o 34819
123.76	c 5948
123.85	o 34823
123.85	c 5944
123.96	o 34824
123.96	c 5943
124.07	o 34828
124.07	c 5939
124.18	o 34829
124.18	c 5938
124.28	o 34831
124.28	c 5936
124.48	o 34833
124.48	c 5934
124.59	o 34838
124.59	c 5929
124.69	o 34841
124.69	c 5926
124.81	o 34847
124.81	c 5920
125.05	o 34850
125.05	c 5917
125.18	o 34852
125.18	c 5915
125.30	o 34856
125.30	c 5911
125.41	o 34859
125.41	c 5908
125.65	o 34860
125.65	c 5907
125.77	o 34862
125.77	c 5905
125.90	o 34865
125.90	c 5902
126.02	o 34868
126.02	c 5899
126.14	o 34870
126.14	c 5897
126.40	o 34872
126.40	c 5895
126.54	o 34873
126.54	c 5894
126.66	o 34877
126.66	c 5890
126.77	o 34879
126.77	c 5888
126.91	o 34880
126.91	c 5887
127.04	o 34884
127.04	c 5883
127.28	o 34886
127.28	c 5881
127.65	o 34887
127.65	c 5880
127.79	o 34888
127.79	c 5879
128.04	o 34890
128.04	c 5877
128.26	o 34892
128.26	c 5875
128.73	o 34893
128.73	c 5874
128.85	o 34894
128.85	c 5873
128.96	o 34895
128.96	c 5872
129.21	o 34896
129.21	c 5871
129.35	o 34899
129.35	c 5868
129.61	o 34902
129.61	c 5865
129.72	o 34903
129.72	c 5864
129.83	o 34905
129.83	c 5862
129.95	o 34908
129.95	c 5859
130.08	o 34911
130.08	c 5856
130.20	o 34912
130.20	c 5855
130.32	o 34917
130.32	c 5850
130.43	o 34918
130.43	c 5849
130.69	o 34924
130.69	c 5843
130.82	o 34927
130.82	c 5840
131.19	o 34929
131.19	c 5838
131.31	o 34930
131.31	c 5837
131.56	o 34931
131.56	c 5836
131.69	o 34932
131.69	c 5835
131.82	o 34936
131.82	c 5831
132.09	o 34940
132.09	c 5827
132.22	o 34944
132.22	c 5823
132.47	o 34950
132.47	c 5817
132.60	o 34953
132.60	c 5814
132.73	o 34956
132.73	c 5811
132.87	o 34960
132.87	c 5807
133.00	o 34963
133.00	c 5804
133.27	o 34967
133.27	c 5800
133.42	o 34968
133.42	c 5799
133.55	o 34970
133.55	c 5797
133.70	o 34974
133.70	c 5793
133.85	o 34976
133.85	c 5791
134.13	o 34979
134.13	c 5788
134.29	o 34985
134.29	c 5782
134.45	o 34988
134.45	c 5779
134.62	o 34990
134.62	c 5777
134.93	o 34992
134.93	c 5775
135.24	o 34994
135.24	c 5773
135.40	o 34996
135.40	c 5771
135.57	o 34998
135.57	c 5769
135.90	o 35003
135.90	c 5764
136.23	o 35005
136.23	c 5762
136.56	o 35010
136.56	c 5757
136.73	o 35012
136.73	c 5755
137.10	o 35015
137.10	c 5752
137.27	o 35016
137.27	c 5751
137.44	o 35018
137.44	c 5749
137.61	o 35021
137.61	c 5746
137.78	o 35026
137.78	c 5741
138.27	o 35029
138.27	c 5738
138.45	o 35036
138.45	c 5731
138.63	o 35039
138.63	c 5728
138.79	o 35042
138.79	c 5725
138.96	o 35047
138.96	c 5720
139.13	o 35050
139.13	c 5717
140.15	o 35054
140.15	c 5713
140.33	o 35055
140.33	c 5712
140.68	o 35056
140.68	c 5711
140.86	o 35059
140.86	c 5708
141.05	o 35060
141.05	c 5707
141.21	o 35063
141.21	c 5704
141.66	o 35067
141.66	c 5700
141.83	o 35073
141.83	c 5694
141.97	o 35077
141.97	c 5690
142.12	o 35081
142.12	c 5686
142.43	o 35087
142.43	c 5680
142.74	o 35091
142.74	c 5676
142.89	o 35093
142.89	c 5674
143.52	o 35094
143.52	c 5673
143.66	o 35097
143.66	c 5670
143.84	o 35100
143.84	c 5667
144.25	o 35101
144.25	c 5666
144.54	o 35105
144.54	c 5662
144.69	o 35110
144.69	c 5657
144.97	o 35112
144.97	c 5655
145.11	o 35117
145.11	c 5650
145.24	o 35118
145.24	c 5649
145.38	o 35119
145.38	c 5648
145.54	o 35120
145.54	c 5647
145.70	o 35122
145.70	c 5645
145.82	o 35124
145.82	c 5643
145.97	o 35127
145.97	c 5640
146.11	o 35129
146.11	c 5638
146.26	o 35134
146.26	c 5633
146.41	o 35140
146.41	c 5627
146.56	o 35142
146.56	c 5625
146.72	o 35144
146.72	c 5623
146.87	o 35148
146.87	c 5619
147.02	o 35149
147.02	c 5618
147.16	o 35152
147.16	c 5615
147.31	o 35155
147.31	c 5612
147.45	o 35160
147.45	c 5607
147.60	o 35163
147.60	c 5604
147.74	o 35168
147.74	c 5599
147.89	o 35171
147.89	c 5596
148.03	o 35176
148.03	c 5591
148.17	o 35177
148.17	c 5590
148.33	o 35180
148.33	c 5587
148.64	o 35184
148.64	c 5583
148.81	o 35187
148.81	c 5580
148.97	o 35189
148.97	c 5578
149.14	o 35194
149.14	c 5573
149.31	o 35196
149.31	c 5571
149.48	o 35198
149.48	c 5569
150.58	o 35200
150.58	c 5567
150.74	o 35202
150.74	c 5565
150.90	o 35203
150.90	c 5564
151.05	o 35207
151.05	c 5560
151.21	o 35209
151.21	c 5558
151.36	o 35214
151.36	c 5553
151.50	o 35216
151.50	c 5551
151.67	o 35221
151.67	c 5546
151.82	o 35223
151.82	c 5544
152.13	o 35228
152.13	c 5539
152.27	o 35230
152.27	c 5537
152.45	o 35233
152.45	c 5534
152.75	o 35234
152.75	c 5533
152.89	o 35236
152.89	c 5531
153.03	o 35240
153.03	c 5527
153.17	o 35244
153.17	c 5523
153.33	o 35248
153.33	c 5519
153.61	o 35250
153.61	c 5517
153.77	o 35252
153.77	c 5515
154.06	o 35254
154.06	c 5513
154.20	o 35257
154.20	c 5510
154.35	o 35262
154.35	c 5505
154.49	o 35267
154.49	c 5500
154.62	o 35269
154.62	c 5498
154.76	o 35270
154.76	c 5497
154.89	o 35272
154.89	c 5495
155.29	o 35276
155.29	c 5491
155.52	o 35280
155.52	c 5487
155.77	o 35281
155.77	c 5486
155.88	o 35282
155.88	c 5485
156.49	o 35286
156.49	c 5481
156.62	o 35288
156.62	c 5479
156.76	o 35291
156.76	c 5476
156.89	o 35294
156.89	c 5473
157.01	o 35296
157.01	c 5471
157.14	o 35298
157.14	c 5469
157.26	o 35299
157.26	c 5468
157.40	o 35300
157.40	c 5467
157.53	o 35303
157.53	c 5464
157.67	o 35304
157.67	c 5463
157.82	o 35305
157.82	c 5462
157.94	o 35306
157.94	c 5461
158.22	o 35310
158.22	c 5457
158.93	o 35314
158.93	c 5453
159.08	o 35317
159.08	c 5450
159.22	o 35318
159.22	c 5449
159.51	o 35320
159.51	c 5447
160.08	o 35324
160.08	c 5443
160.22	o 35329
160.22	c 5438
160.64	o 35333
160.64	c 5434
160.77	o 35335
160.77	c 5432
160.92	o 35339
160.92	c 5428
161.19	o 35342
161.19	c 5425
161.33	o 35345
161.33	c 5422
161.48	o 35353
161.48	c 5414
162.18	o 35354
162.18	c 5413
162.33	o 35360
162.33	c 5407
162.48	o 35363
162.48	c 5404
162.62	o 35365
162.62	c 5402
162.78	o 35367
162.78	c 5400
163.19	o 35368
163.19	c 5399
163.33	o 35370
163.33	c 5397
163.46	o 35371
163.46	c 5396
163.60	o 35373
163.60	c 5394
163.73	o 35376
163.74	c 5391
163.90	o 35381
163.90	c 5386
164.03	o 35383
164.03	c 5384
164.17	o 35385
164.17	c 5382
164.30	o 35390
164.30	c 5377
164.43	o 35395
164.43	c 5372
164.58	o 35398
164.58	c 5369
164.71	o 35404
164.71	c 5363
164.84	o 35407
164.84	c 5360
164.99	o 35411
164.99	c 5356
165.26	o 35413
165.26	c 5354
165.41	o 35416
165.41	c 5351
165.70	o 35418
165.70	c 5349
165.98	o 35419
165.98	c 5348
166.21	o 35425
166.21	c 5342
166.52	o 35429
166.52	c 5338
166.66	o 35431
166.66	c 5336
166.81	o 35432
166.81	c 5335
166.96	o 35434
166.96	c 5333
167.11	o 35437
167.11	c 5330
167.24	o 35441
167.24	c 5326
167.41	o 35443
167.41	c 5324
167.57	o 35446
167.57	c 5321
167.73	o 35450
167.73	c 5317
167.88	o 35451
167.88	c 5316
168.18	o 35457
168.18	c 5310
168.34	o 35459
168.34	c 5308
168.63	o 35460
168.63	c 5307
169.54	o 35461
169.54	c 5306
169.69	o 35468
169.69	c 5299
169.82	o 35470
169.82	c 5297
169.98	o 35473
169.98	c 5294
170.12	o 35474
170.12	c 5293
170.29	o 35477
170.29	c 5290
170.45	o 35478
170.45	c 5289
170.61	o 35480
170.61	c 5287
170.90	o 35483
170.90	c 5284
171.07	o 35484
171.07	c 5283
171.22	o 35488
171.22	c 5279
171.38	o 35491
171.38	c 5276
171.56	o 35495
171.56	c 5272
171.72	o 35500
171.72	c 5267
171.89	o 35502
171.89	c 5265
172.05	o 35505
172.05	c 5262
172.22	o 35509
172.22	c 5258
172.40	o 35510
172.40	c 5257
172.73	o 35513
172.73	c 5254
172.89	o 35514
172.89	c 5253
173.07	o 35515
173.07	c 5252
173.24	o 35517
173.24	c 5250
173.40	o 35524
173.40	c 5243
173.58	o 35527
173.58	c 5240
173.75	o 35528
173.75	c 5239
173.93	o 35531
173.93	c 5236
174.11	o 35535
174.11	c 5232
174.27	o 35539
174.27	c 5228
174.44	o 35540
174.44	c 5227
174.62	o 35543
174.62	c 5224
174.78	o 35545
174.78	c 5222
174.94	o 35546
174.94	c 5221
175.11	o 35550
175.11	c 5217
175.26	o 35553
175.27	c 5214
175.42	o 35556
175.42	c 5211
175.60	o 35560
175.60	c 5207
175.76	o 35562
175.76	c 5205
175.90	o 35567
175.90	c 5200
176.06	o 35571
176.06	c 5196
176.21	o 35572
176.21	c 5195
176.57	o 35574
176.57	c 5193
176.74	o 35581
176.74	c 5186
177.21	o 35583
177.21	c 5184
177.36	o 35585
177.36	c 5182
177.53	o 35588
177.53	c 5179
177.69	o 35590
177.69	c 5177
177.84	o 35593
177.84	c 5174
178.17	o 35594
178.17	c 5173
178.33	o 35596
178.33	c 5171
178.52	o 35599
178.52	c 5168
178.85	o 35601
178.85	c 5166
179.51	o 35602
179.51	c 5165
180.05	o 35604
180.05	c 5163
180.39	o 35606
180.39	c 5161
180.56	o 35607
180.56	c 5160
180.90	o 35613
180.90	c 5154
181.23	o 35614
181.23	c 5153
181.37	o 35623
181.37	c 5144
181.55	o 35625
181.56	c 5142
181.73	o 35627
181.73	c 5140
181.90	o 35631
181.90	c 5136
182.26	o 35634
182.26	c 5133
182.43	o 35635
182.43	c 5132
182.60	o 35637
182.60	c 5130
182.77	o 35639
182.77	c 5128
182.95	o 35641
182.95	c 5126
183.13	o 35642
183.13	c 5125
183.30	o 35643
183.30	c 5124
183.49	o 35648
183.49	c 5119
183.82	o 35651
183.82	c 5116
183.99	o 35653
183.99	c 5114
184.15	o 35656
184.15	c 5111
185.69	o 35657
185.69	c 5110
185.86	o 35659
185.86	c 5108
186.03	o 35663
186.03	c 5104
186.20	o 35667
186.20	c 5100
186.54	o 35668
186.54	c 5099
186.72	o 35671
186.72	c 5096
186.89	o 35674
186.89	c 5093
187.28	o 35678
187.28	c 5089
187.65	o 35679
187.65	c 5088
187.96	o 35682
187.96	c 5085
188.13	o 35683
188.13	c 5084
189.04	o 35684
189.04	c 5083
189.42	o 35685
189.42	c 5082
189.61	o 35688
189.61	c 5079
189.80	o 35692
189.80	c 5075
190.00	o 35697
190.00	c 5070
190.37	o 35698
190.37	c 5069
190.94	o 35700
190.94	c 5067
191.12	o 35703
191.12	c 5064
191.32	o 35706
191.32	c 5061
191.53	o 35707
191.53	c 5060
191.76	o 35708
191.76	c 5059
192.16	o 35709
192.16	c 5058
192.37	o 35710
192.37	c 5057
192.57	o 35712
192.57	c 5055
192.77	o 35717
192.77	c 5050
192.96	o 35718
192.96	c 5049
193.36	o 35719
193.36	c 5048
193.54	o 35720
193.54	c 5047
196.39	o 35721
196.39	c 5046
196.57	o 35726
196.57	c 5041
196.75	o 35731
196.75	c 5036
197.33	o 35732
197.33	c 5035
197.53	o 35734
197.53	c 5033
197.73	o 35739
197.73	c 5028
198.13	o 35740
198.13	c 5027
198.36	o 35742
198.36	c 5025
200.44	o 35744
200.44	c 5023
201.56	o 35745
201.56	c 5022
201.79	o 35748
201.79	c 5019
202.02	o 35752
202.02	c 5015
203.35	o 35754
203.35	c 5013
203.57	o 35756
203.57	c 5011
203.79	o 35758
203.79	c 5009
204.00	o 35765
204.00	c 5002
205.33	o 35768
205.33	c 4999
206.42	o 35773
206.42	c 4994
206.64	o 35776
206.64	c 4991
207.07	o 35777
207.07	c 4990
207.50	o 35778
207.50	c 4989
207.71	o 35781
207.71	c 4986
209.18	o 35785
209.18	c 4982
209.62	o 35789
209.62	c 4978
210.05	o 35791
210.05	c 4976
210.27	o 35792
210.27	c 4975
210.71	o 35793
210.71	c 4974
210.92	o 35796
210.92	c 4971
212.21	o 35797
212.21	c 4970
212.43	o 35798
212.43	c 4969
213.28	o 35800
213.28	c 4967
213.49	o 35801
213.49	c 4966
213.71	o 35806
213.71	c 4961
214.14	o 35809
214.14	c 4958
214.58	o 35811
214.58	c 4956
215.21	o 35813
215.21	c 4954
215.41	o 35815
215.41	c 4952
215.82	o 35816
215.82	c 4951
216.02	o 35818
216.02	c 4949
216.23	o 35819
216.23	c 4948
216.45	o 35821
216.45	c 4946
216.66	o 35822
216.66	c 4945
216.87	o 35829
216.87	c 4938
217.07	o 35832
217.07	c 4935
217.30	o 35835
217.30	c 4932
217.51	o 35840
217.51	c 4927
217.73	o 35843
217.73	c 4924
217.94	o 35847
217.94	c 4920
218.15	o 35848
218.15	c 4919
219.00	o 35850
219.00	c 4917
219.19	o 35852
219.19	c 4915
219.39	o 35856
219.39	c 4911
219.58	o 35857
219.58	c 4910
219.77	o 35862
219.77	c 4905
220.51	o 35866
220.51	c 4901
220.70	o 35868
220.70	c 4899
220.90	o 35869
220.90	c 4898
221.09	o 35874
221.09	c 4893
221.44	o 35876
221.44	c 4891
221.61	o 35878
221.62	c 4889
221.97	o 35885
221.97	c 4882
222.18	o 35886
222.18	c 4881
222.55	o 35887
222.55	c 4880
222.75	o 35889
222.75	c 4878
222.93	o 35892
222.93	c 4875
223.67	o 35895
223.67	c 4872
223.85	o 35897
223.85	c 4870
224.06	o 35900
224.06	c 4867
224.45	o 35905
224.45	c 4862
224.66	o 35906
224.66	c 4861
224.86	o 35907
224.86	c 4860
225.05	o 35909
225.05	c 4858
225.27	o 35910
225.27	c 4857
225.48	o 35912
225.48	c 4855
225.68	o 35914
225.68	c 4853
227.29	o 35915
227.29	c 4852
227.52	o 35916
227.52	c 4851
227.75	o 35918
227.75	c 4849
227.95	o 35922
227.95	c 4845
228.14	o 35923
228.14	c 4844
228.34	o 35924
228.34	c 4843
228.54	o 35926
228.54	c 4841
228.73	o 35928
228.73	c 4839
229.12	o 35930
229.12	c 4837
229.71	o 35931
229.71	c 4836
229.90	o 35933
229.90	c 4834
230.29	o 35935
230.29	c 4832
230.90	o 35937
230.90	c 4830
231.32	o 35939
231.32	c 4828
231.52	o 35941
231.52	c 4826
231.93	o 35945
231.93	c 4822
232.13	o 35946
232.13	c 4821
232.54	o 35949
232.54	c 4818
232.76	o 35952
232.76	c 4815
232.96	o 35956
232.96	c 4811
233.17	o 35959
233.17	c 4808
233.41	o 35963
233.41	c 4804
233.87	o 35964
233.87	c 4803
234.32	o 35965
234.32	c 4802
234.54	o 35968
234.54	c 4799
234.78	o 35969
234.78	c 4798
235.47	o 35970
235.47	c 4797
235.71	o 35973
235.71	c 4794
235.95	o 35975
235.95	c 4792
236.19	o 35980
236.19	c 4787
236.44	o 35983
236.44	c 4784
236.61	o 35989
236.61	c 4778
236.88	o 35993
236.88	c 4774
237.33	o 35997
237.33	c 4770
237.80	o 35999
237.80	c 4768
238.05	o 36001
238.05	c 4766
238.29	o 36002
238.29	c 4765
238.54	o 36003
238.54	c 4764
238.79	o 36004
238.79	c 4763
239.05	o 36005
239.05	c 4762
239.28	o 36008
239.28	c 4759
239.78	o 36009
239.78	c 4758
240.54	o 36010
240.54	c 4757
240.79	o 36013
240.79	c 4754
241.05	o 36015
241.05	c 4752
241.56	o 36016
241.56	c 4751
241.83	o 36020
241.83	c 4747
242.09	o 36024
242.09	c 4743
242.35	o 36026
242.35	c 4741
243.11	o 36027
243.11	c 4740
243.36	o 36028
243.36	c 4739
243.61	o 36029
243.61	c 4738
243.87	o 36033
243.87	c 4734
244.12	o 36036
244.12	c 4731
244.84	o 36037
244.84	c 4730
245.08	o 36038
245.08	c 4729
245.59	o 36041
245.59	c 4726
245.83	o 36043
245.83	c 4724
246.07	o 36044
246.07	c 4723
246.31	o 36045
246.31	c 4722
246.56	o 36047
246.56	c 4720
246.81	o 36048
246.81	c 4719
247.55	o 36049
247.55	c 4718
248.40	o 36050
248.40	c 4717
248.63	o 36052
248.63	c 4715
248.86	o 36053
248.86	c 4714
249.08	o 36056
249.08	c 4711
249.99	o 36057
249.99	c 4710
250.44	o 36058
250.44	c 4709
250.66	o 36059
250.66	c 4708
250.88	o 36060
250.88	c 4707
251.53	o 36061
251.53	c 4706
251.73	o 36062
251.73	c 4705
253.00	o 36063
253.00	c 4704
253.64	o 36064
253.64	c 4703
254.05	o 36065
254.05	c 4702
254.27	o 36066
254.27	c 4701
254.48	o 36068
254.48	c 4699
254.91	o 36069
254.91	c 4698
255.35	o 36071
255.35	c 4696
256.01	o 36072
256.01	c 4695
256.22	o 36075
256.22	c 4692
256.45	o 36078
256.45	c 4689
256.88	o 36080
256.88	c 4687
257.10	o 36081
257.10	c 4686
257.74	o 36086
257.74	c 4681
257.97	o 36088
257.97	c 4679
258.16	o 36091
258.16	c 4676
258.37	o 36093
258.37	c 4674
258.57	o 36096
258.57	c 4671
258.98	o 36097
258.98	c 4670
259.40	o 36099
259.40	c 4668
259.61	o 36104
259.61	c 4663
260.70	o 36106
260.70	c 4661
260.92	o 36111
260.92	c 4656
261.77	o 36114
261.77	c 4653
262.01	o 36115
262.01	c 4652
262.24	o 36117
262.24	c 4650
263.62	o 36118
263.62	c 4649
263.88	o 36121
263.88	c 4646
265.09	o 36123
265.09	c 4644
265.35	o 36125
265.35	c 4642
266.09	o 36127
266.09	c 4640
266.33	o 36128
266.33	c 4639
267.06	o 36132
267.06	c 4635
267.31	o 36135
267.31	c 4632
267.55	o 36138
267.55	c 4629
267.80	o 36139
267.80	c 4628
268.05	o 36145
268.05	c 4622
268.29	o 36146
268.29	c 4621
268.54	o 36150
268.54	c 4617
269.02	o 36153
269.02	c 4614
269.51	o 36156
269.51	c 4611
269.77	o 36160
269.77	c 4607
271.73	o 36165
271.73	c 4602
271.98	o 36169
271.98	c 4598
272.22	o 36170
272.22	c 4597
272.48	o 36171
272.48	c 4596
273.24	o 36172
273.24	c 4595
273.43	o 36176
273.43	c 4591
273.95	o 36179
273.95	c 4588
274.21	o 36182
274.21	c 4585
274.46	o 36184
274.46	c 4583
274.95	o 36187
274.95	c 4580
275.45	o 36189
275.45	c 4578
275.70	o 36190
275.70	c 4577
278.12	o 36191
278.12	c 4576
278.35	o 36197
278.35	c 4570
278.72	o 36200
278.72	c 4567
278.94	o 36201
278.94	c 4566
279.18	o 36204
279.18	c 4563
279.41	o 36206
279.41	c 4561
279.65	o 36208
279.65	c 4559
280.36	o 36210
280.36	c 4557
280.60	o 36212
280.60	c 4555
281.31	o 36215
281.31	c 4552
281.53	o 36217
281.53	c 4550
281.78	o 36218
281.78	c 4549
282.01	o 36220
282.01	c 4547
282.25	o 36222
282.25	c 4545
282.46	o 36225
282.46	c 4542
282.68	o 36227
282.68	c 4540
282.93	o 36229
282.93	c 4538
283.15	o 36232
283.15	c 4535
283.38	o 36234
283.38	c 4533
283.60	o 36239
283.60	c 4528
283.81	o 36241
283.81	c 4526
284.03	o 36246
284.03	c 4521
284.14	o 36252
284.14	c 4515
284.36	o 36253
284.36	c 4514
284.60	o 36254
284.60	c 4513
284.81	o 36259
284.81	c 4508
285.98	o 36260
285.98	c 4507
286.20	o 36262
286.20	c 4505
288.63	o 36265
288.63	c 4502
288.90	o 36271
288.90	c 4496
289.65	o 36274
289.65	c 4493
289.92	o 36278
289.92	c 4489
290.18	o 36280
290.18	c 4487
290.45	o 36282
290.45	c 4485
290.71	o 36284
290.71	c 4483
290.99	o 36285
290.99	c 4482
291.25	o 36287
291.25	c 4480
291.52	o 36290
291.52	c 4477
291.77	o 36291
291.77	c 4476
292.05	o 36292
292.05	c 4475
292.33	o 36294
292.33	c 4473
292.60	o 36297
292.60	c 4470
292.88	o 36301
292.88	c 4466
293.18	o 36303
293.18	c 4464
293.46	o 36308
293.46	c 4459
296.29	o 36309
296.29	c 4458
296.59	o 36313
296.60	c 4454
296.90	o 36315
296.90	c 4452
297.49	o 36317
297.49	c 4450
297.77	o 36323
297.77	c 4444
300.39	o 36324
300.39	c 4443
300.92	o 36329
300.92	c 4438
301.48	o 36332
301.48	c 4435
302.32	o 36333
302.32	c 4434
302.63	o 36337
302.63	c 4430
303.53	o 36342
303.53	c 4425
303.83	o 36347
303.84	c 4420
306.21	o 36350
306.21	c 4417
307.10	o 36351
307.10	c 4416
307.40	o 36354
307.40	c 4413
307.97	o 36357
307.97	c 4410
308.28	o 36362
308.28	c 4405
308.57	o 36365
308.57	c 4402
308.85	o 36367
308.85	c 4400
310.01	o 36368
310.01	c 4399
310.30	o 36369
310.30	c 4398
310.59	o 36370
310.59	c 4397
311.16	o 36373
311.16	c 4394
311.43	o 36374
311.43	c 4393
312.79	o 36380
312.79	c 4387
312.98	o 36381
312.98	c 4386
313.50	o 36382
313.50	c 4385
313.78	o 36384
313.78	c 4383
314.29	o 36386
314.29	c 4381
315.79	o 36388
315.79	c 4379
316.05	o 36389
316.05	c 4378
316.31	o 36391
316.31	c 4376
316.57	o 36392
316.57	c 4375
316.82	o 36393
316.82	c 4374
317.05	o 36395
317.05	c 4372
318.08	o 36396
318.08	c 4371
318.83	o 36397
318.83	c 4370
319.09	o 36399
319.09	c 4368
319.37	o 36401
319.37	c 4366
319.87	o 36402
319.87	c 4365
320.11	o 36403
320.11	c 4364
320.37	o 36404
320.37	c 4363
320.62	o 36406
320.62	c 4361
320.89	o 36407
320.89	c 4360
324.82	o 36408
324.82	c 4359
325.06	o 36409
325.06	c 4358
325.27	o 36410
325.27	c 4357
325.50	o 36413
325.50	c 4354
326.14	o 36415
326.14	c 4352
329.08	o 36418
329.08	c 4349
329.56	o 36421
329.56	c 4346
329.82	o 36422
329.82	c 4345
330.08	o 36425
330.08	c 4342
330.36	o 36428
330.36	c 4339
331.08	o 36430
331.08	c 4337
331.33	o 36432
331.33	c 4335
331.57	o 36434
331.57	c 4333
331.83	o 36435
331.83	c 4332
333.45	o 36437
333.45	c 4330
333.70	o 36438
333.70	c 4329
335.90	o 36440
335.90	c 4327
336.61	o 36441
336.61	c 4326
336.87	o 36445
336.87	c 4322
337.66	o 36449
337.66	c 4318
338.72	o 36450
338.72	c 4317
338.97	o 36451
338.97	c 4316
339.23	o 36452
339.23	c 4315
339.38	o 36455
339.38	c 4312
341.83	o 36458
341.83	c 4309
342.42	o 36461
342.42	c 4306
342.55	o 36464
342.55	c 4303
342.82	o 36469
342.82	c 4298
343.08	o 36473
343.08	c 4294
343.34	o 36476
343.34	c 4291
343.60	o 36477
343.60	c 4290
343.86	o 36479
343.86	c 4288
344.66	o 36481
344.66	c 4286
344.94	o 36482
344.94	c 4285
345.22	o 36484
345.22	c 4283
345.74	o 36489
345.74	c 4278
346.50	o 36490
346.50	c 4277
347.24	o 36492
347.24	c 4275
347.49	o 36493
347.49	c 4274
347.75	o 36495
347.75	c 4272
347.98	o 36498
347.98	c 4269
348.25	o 36499
348.25	c 4268
348.49	o 36502
348.49	c 4265
348.75	o 36503
348.75	c 4264
350.03	o 36506
350.03	c 4261
350.28	o 36509
350.28	c 4258
350.54	o 36510
350.54	c 4257
351.06	o 36513
351.06	c 4254
351.32	o 36515
351.32	c 4252
351.56	o 36519
351.56	c 4248
353.58	o 36520
353.58	c 4247
354.13	o 36522
354.13	c 4245
354.41	o 36525
354.41	c 4242
355.44	o 36527
355.44	c 4240
355.70	o 36528
355.70	c 4239
356.45	o 36530
356.45	c 4237
357.47	o 36535
357.47	c 4232
357.99	o 36536
357.99	c 4231
358.24	o 36539
358.24	c 4228
358.50	o 36540
358.50	c 4227
358.76	o 36545
358.76	c 4222
359.29	o 36547
359.29	c 4220
359.53	o 36552
359.53	c 4215
359.78	o 36554
359.78	c 4213
360.02	o 36556
360.02	c 4211
360.78	o 36559
360.78	c 4208
360.96	o 36560
360.96	c 4207
361.50	o 36563
361.50	c 4204
361.76	o 36564
361.76	c 4203
362.03	o 36567
362.03	c 4200
362.30	o 36568
362.30	c 4199
362.52	o 36570
362.52	c 4197
363.06	o 36574
363.06	c 4193
363.32	o 36575
363.32	c 4192
363.59	o 36578
363.59	c 4189
363.86	o 36580
363.86	c 4187
364.13	o 36581
364.13	c 4186
364.41	o 36582
364.41	c 4185
364.67	o 36585
364.67	c 4182
364.93	o 36586
364.93	c 4181
365.17	o 36588
365.17	c 4179
365.44	o 36590
365.44	c 4177
365.69	o 36592
365.69	c 4175
365.96	o 36595
365.96	c 4172
366.22	o 36596
366.22	c 4171
366.47	o 36597
366.47	c 4170
366.98	o 36598
366.98	c 4169
367.23	o 36602
367.23	c 4165
368.02	o 36606
368.02	c 4161
368.27	o 36608
368.27	c 4159
368.81	o 36609
368.81	c 4158
369.07	o 36612
369.07	c 4155
370.13	o 36614
370.13	c 4153
370.37	o 36617
370.37	c 4150
370.65	o 36620
370.65	c 4147
370.92	o 36623
370.92	c 4144
371.18	o 36624
371.18	c 4143
371.75	o 36627
371.75	c 4140
372.07	o 36630
372.07	c 4137
372.35	o 36632
372.35	c 4135
372.64	o 36637
372.64	c 4130
372.91	o 36638
372.91	c 4129
373.51	o 36640
373.51	c 4127
373.78	o 36643
373.78	c 4124
375.26	o 36647
375.26	c 4120
375.55	o 36651
375.55	c 4116
376.39	o 36652
376.39	c 4115
380.46	o 36658
380.46	c 4109
381.67	o 36662
381.67	c 4105
381.98	o 36665
381.98	c 4102
383.90	o 36666
383.90	c 4101
384.21	o 36667
384.21	c 4100
385.15	o 36672
385.15	c 4095
385.46	o 36674
385.46	c 4093
385.78	o 36675
385.78	c 4092
388.33	o 36678
388.33	c 4089
388.96	o 36679
388.96	c 4088
389.49	o 36683
389.49	c 4084
389.80	o 36684
389.80	c 4083
390.12	o 36685
390.12	c 4082
390.73	o 36686
390.73	c 4081
391.05	o 36689
391.05	c 4078
391.38	o 36692
391.38	c 4075
392.04	o 36694
392.04	c 4073
392.35	o 36696
392.35	c 4071
394.61	o 36697
394.61	c 4070
395.25	o 36701
395.25	c 4066
395.56	o 36703
395.56	c 4064
395.90	o 36704
395.90	c 4063
396.17	o 36707
396.17	c 4060
396.49	o 36708
396.49	c 4059
397.14	o 36709
397.14	c 4058
397.46	o 36711
397.46	c 4056
398.09	o 36713
398.09	c 4054
398.40	o 36716
398.40	c 4051
399.06	o 36718
399.06	c 4049
399.37	o 36721
399.37	c 4046
400.93	o 36724
400.93	c 4043
401.82	o 36725
401.82	c 4042
402.14	o 36726
402.14	c 4041
402.46	o 36727
402.46	c 4040
403.63	o 36728
403.63	c 4039
405.73	o 36729
405.73	c 4038
406.03	o 36730
406.03	c 4037
406.33	o 36732
406.33	c 4035
406.65	o 36733
406.65	c 4034
406.97	o 36736
406.97	c 4031
407.86	o 36740
407.86	c 4027
408.47	o 36741
408.47	c 4026
410.88	o 36747
410.88	c 4020
412.13	o 36748
412.13	c 4019
412.44	o 36749
412.44	c 4018
413.07	o 36752
413.07	c 4015
413.39	o 36755
413.39	c 4012
413.64	o 36761
413.64	c 4006
413.94	o 36766
413.94	c 4001
414.25	o 36768
414.25	c 3999
414.59	o 36771
414.59	c 3996
415.86	o 36772
415.86	c 3995
416.08	o 36775
416.08	c 3992
416.67	o 36777
416.67	c 3990
417.02	o 36780
417.02	c 3987
417.34	o 36782
417.34	c 3985
417.65	o 36783
417.65	c 3984
418.30	o 36788
418.30	c 3979
426.95	o 36789
426.95	c 3978
427.29	o 36791
427.29	c 3976
427.63	o 36794
427.63	c 3973
427.96	o 36796
427.96	c 3971
428.30	o 36797
428.30	c 3970
428.64	o 36798
428.64	c 3969
428.97	o 36799
428.97	c 3968
429.31	o 36801
429.31	c 3966
429.98	o 36802
429.98	c 3965
431.04	o 36803
431.04	c 3964
431.71	o 36805
431.71	c 3962
432.06	o 36809
432.06	c 3958
432.39	o 36814
432.39	c 3953
433.30	o 36820
433.30	c 3947
433.61	o 36823
433.61	c 3944
433.94	o 36828
433.94	c 3939
434.26	o 36831
434.26	c 3936
435.25	o 36832
435.25	c 3935
435.57	o 36834
435.57	c 3933
436.24	o 36836
436.24	c 3931
436.88	o 36837
436.88	c 3930
437.22	o 36841
437.22	c 3926
438.20	o 36842
438.20	c 3925
440.52	o 36843
440.52	c 3924
441.92	o 36845
441.92	c 3922
442.25	o 36847
442.26	c 3920
442.94	o 36848
442.94	c 3919
444.35	o 36850
444.35	c 3917
446.20	o 36852
446.20	c 3915
446.57	o 36853
446.57	c 3914
446.93	o 36857
446.93	c 3910
447.64	o 36860
447.64	c 3907
447.98	o 36861
447.98	c 3906
451.30	o 36864
451.30	c 3903
451.67	o 36866
451.67	c 3901
452.06	o 36868
452.06	c 3899
452.77	o 36869
452.77	c 3898
455.49	o 36870
455.49	c 3897
455.88	o 36871
455.88	c 3896
457.87	o 36872
457.87	c 3895
460.22	o 36873
460.22	c 3894
460.61	o 36877
460.61	c 3890
461.03	o 36879
461.03	c 3888
461.43	o 36880
461.43	c 3887
461.85	o 36881
461.85	c 3886
463.05	o 36882
463.05	c 3885
463.88	o 36883
463.88	c 3884
464.29	o 36884
464.29	c 3883
464.71	o 36886
464.71	c 3881
466.59	o 36887
466.59	c 3880
469.93	o 36889
469.93	c 3878
470.72	o 36891
470.72	c 3876
471.13	o 36892
471.13	c 3875
472.73	o 36895
472.73	c 3872
475.28	o 36898
475.28	c 3869
475.68	o 36902
475.68	c 3865
476.08	o 36904
476.08	c 3863
476.46	o 36905
476.46	c 3862
478.05	o 36909
478.05	c 3858
478.46	o 36911
478.46	c 3856
478.90	o 36916
478.90	c 3851
480.29	o 36921
480.29	c 3846
480.68	o 36923
480.68	c 3844
481.07	o 36928
481.07	c 3839
481.49	o 36929
481.49	c 3838
481.89	o 36932
481.89	c 3835
482.31	o 36934
482.31	c 3833
482.71	o 36936
482.71	c 3831
483.12	o 36937
483.12	c 3830
483.96	o 36938
483.96	c 3829
484.39	o 36940
484.39	c 3827
485.20	o 36941
485.20	c 3826
485.62	o 36944
485.62	c 3823
486.03	o 36946
486.03	c 3821
486.41	o 36949
486.41	c 3818
486.81	o 36951
486.81	c 3816
487.57	o 36953
487.57	c 3814
487.95	o 36956
487.95	c 3811
489.12	o 36957
489.12	c 3810
489.52	o 36958
489.52	c 3809
490.27	o 36959
490.27	c 3808
490.65	o 36961
490.65	c 3806
492.17	o 36964
492.17	c 3803
492.96	o 36965
492.96	c 3802
494.14	o 36966
494.14	c 3801
495.70	o 36967
495.70	c 3800
496.09	o 36969
496.09	c 3798
497.32	o 36970
497.32	c 3797
497.73	o 36972
497.73	c 3795
497.97	o 36974
497.97	c 3793
499.32	o 36975
499.32	c 3792
499.75	o 36977
499.75	c 3790
500.21	o 36978
500.21	c 3789
501.11	o 36980
501.11	c 3787
502.00	o 36981
502.00	c 3786
502.43	o 36984
502.43	c 3783
503.74	o 36985
503.74	c 3782
504.14	o 36988
504.14	c 3779
504.59	o 36990
504.59	c 3777
507.29	o 36992
507.29	c 3775
507.72	o 36994
507.72	c 3773
508.18	o 36995
508.18	c 3772
512.86	o 36997
512.86	c 3770
513.30	o 37001
513.30	c 3766
513.62	o 37004
513.62	c 3763
514.07	o 37006
514.07	c 3761
515.31	o 37008
515.31	c 3759
516.63	o 37012
516.63	c 3755
517.06	o 37013
517.06	c 3754
517.92	o 37016
517.92	c 3751
518.79	o 37021
518.79	c 3746
519.23	o 37022
519.23	c 3745
522.20	o 37023
522.20	c 3744
522.65	o 37024
522.65	c 3743
523.08	o 37025
523.08	c 3742
523.52	o 37026
523.52	c 3741
523.98	o 37028
523.98	c 3739
525.30	o 37030
525.30	c 3737
526.95	o 37031
526.95	c 3736
527.82	o 37032
527.82	c 3735
528.27	o 37037
528.27	c 3730
528.74	o 37042
528.74	c 3725
529.45	o 37047
529.45	c 3720
531.06	o 37048
531.06	c 3719
531.91	o 37050
531.91	c 3717
533.22	o 37053
533.22	c 3714
533.64	o 37055
533.64	c 3712
534.07	o 37058
534.07	c 3709
534.93	o 37059
534.93	c 3708
536.20	o 37060
536.20	c 3707
537.08	o 37062
537.08	c 3705
537.52	o 37063
537.52	c 3704
537.97	o 37070
537.97	c 3697
538.83	o 37072
538.83	c 3695
539.27	o 37074
539.27	c 3693
542.04	o 37076
542.04	c 3691
542.49	o 37078
542.49	c 3689
542.92	o 37080
542.92	c 3687
544.60	o 37082
544.60	c 3685
547.85	o 37084
547.85	c 3683
548.68	o 37086
548.68	c 3681
549.95	o 37089
549.95	c 3678
550.38	o 37092
550.38	c 3675
551.12	o 37093
551.12	c 3674
551.53	o 37094
551.53	c 3673
551.96	o 37096
551.96	c 3671
552.39	o 37098
552.39	c 3669
552.82	o 37100
552.82	c 3667
554.93	o 37101
554.93	c 3666
555.35	o 37103
555.35	c 3664
555.78	o 37104
555.78	c 3663
556.64	o 37105
556.64	c 3662
557.07	o 37107
557.07	c 3660
557.51	o 37108
557.51	c 3659
558.76	o 37109
558.76	c 3658
559.19	o 37111
559.19	c 3656
559.49	o 37113
559.49	c 3654
559.91	o 37115
559.91	c 3652
560.34	o 37118
560.34	c 3649
560.77	o 37124
560.77	c 3643
561.62	o 37126
561.62	c 3641
564.20	o 37127
564.20	c 3640
564.64	o 37132
564.64	c 3635
565.05	o 37135
565.05	c 3632
565.89	o 37137
565.89	c 3630
566.31	o 37140
566.31	c 3627
566.98	o 37143
566.98	c 3624
567.41	o 37144
567.41	c 3623
567.78	o 37145
567.78	c 3622
568.19	o 37148
568.19	c 3619
568.60	o 37149
568.60	c 3618
569.01	o 37153
569.01	c 3614
569.43	o 37154
569.43	c 3613
569.82	o 37157
569.82	c 3610
570.60	o 37160
570.60	c 3607
571.39	o 37161
571.39	c 3606
571.65	o 37162
571.65	c 3605
572.05	o 37163
572.05	c 3604
572.46	o 37167
572.46	c 3600
572.85	o 37171
572.85	c 3596
573.24	o 37173
573.24	c 3594
573.64	o 37174
573.64	c 3593
574.05	o 37175
574.05	c 3592
574.45	o 37176
574.45	c 3591
574.83	o 37181
574.83	c 3586
575.21	o 37187
575.21	c 3580
576.34	o 37188
576.34	c 3579
576.74	o 37189
576.74	c 3578
577.47	o 37191
577.47	c 3576
577.79	o 37193
577.79	c 3574
579.34	o 37194
579.34	c 3573
579.74	o 37197
579.74	c 3570
580.14	o 37198
580.14	c 3569
580.50	o 37199
580.50	c 3568
580.90	o 37203
580.90	c 3564
581.31	o 37204
581.31	c 3563
581.69	o 37207
581.69	c 3560
582.92	o 37208
582.92	c 3559
583.33	o 37212
583.33	c 3555
583.73	o 37213
583.73	c 3554
584.15	o 37215
584.15	c 3552
584.43	o 37216
584.43	c 3551
584.83	o 37219
584.83	c 3548
586.44	o 37221
586.44	c 3546
586.82	o 37224
586.82	c 3543
587.22	o 37229
587.22	c 3538
588.01	o 37234
588.01	c 3533
588.39	o 37237
588.39	c 3530
588.79	o 37240
588.79	c 3527
589.17	o 37245
589.17	c 3522
589.56	o 37248
589.56	c 3519
590.74	o 37249
590.74	c 3518
591.89	o 37251
591.89	c 3516
592.68	o 37252
592.68	c 3515
593.74	o 37256
593.74	c 3511
594.98	o 37257
594.98	c 3510
595.71	o 37258
595.71	c 3509
596.09	o 37259
596.09	c 3508
596.44	o 37262
596.44	c 3505
597.55	o 37263
597.55	c 3504
598.67	o 37264
598.67	c 3503
601.25	o 37265
601.25	c 3502
603.58	o 37267
603.58	c 3500
603.94	o 37269
603.94	c 3498
604.31	o 37271
604.31	c 3496
605.02	o 37273
605.02	c 3494
605.12	o 37276
605.12	c 3491
605.84	o 37277
605.84	c 3490
606.20	o 37279
606.20	c 3488
606.58	o 37281
606.58	c 3486
606.70	o 37285
606.70	c 3482
610.53	o 37288
610.53	c 3479
611.59	o 37290
611.59	c 3477
611.89	o 37293
611.89	c 3474
612.26	o 37294
612.26	c 3473
612.62	o 37295
612.62	c 3472
612.98	o 37298
612.98	c 3469
616.11	o 37299
616.11	c 3468
616.50	o 37300
616.50	c 3467
616.88	o 37303
616.88	c 3464
617.84	o 37304
617.84	c 3463
618.60	o 37305
618.60	c 3462
621.31	o 37306
621.31	c 3461
621.72	o 37308
621.72	c 3459
622.11	o 37313
622.11	c 3454
623.27	o 37316
623.27	c 3451
623.66	o 37319
623.66	c 3448
624.28	o 37323
624.28	c 3444
625.37	o 37325
625.37	c 3442
625.58	o 37328
625.58	c 3439
626.78	o 37330
626.78	c 3437
627.18	o 37333
627.18	c 3434
627.58	o 37334
627.58	c 3433
627.99	o 37335
627.99	c 3432
629.94	o 37338
629.94	c 3429
630.76	o 37339
630.76	c 3428
631.14	o 37340
631.14	c 3427
631.95	o 37345
631.95	c 3422
632.73	o 37346
632.73	c 3421
633.11	o 37347
633.11	c 3420
633.61	o 37351
633.61	c 3416
634.00	o 37352
634.00	c 3415
634.79	o 37353
634.79	c 3414
636.35	o 37354
636.35	c 3413
636.74	o 37357
636.74	c 3410
637.13	o 37358
637.13	c 3409
637.54	o 37362
637.54	c 3405
638.16	o 37367
638.16	c 3400
640.50	o 37368
640.50	c 3399
640.87	o 37371
640.87	c 3396
643.26	o 37375
643.26	c 3392
643.45	o 37377
643.45	c 3390
643.85	o 37379
643.85	c 3388
644.25	o 37380
644.25	c 3387
648.35	o 37381
648.35	c 3386
648.77	o 37382
648.77	c 3385
649.60	o 37383
649.60	c 3384
650.02	o 37384
650.02	c 3383
650.46	o 37385
650.46	c 3382
653.92	o 37386
653.92	c 3381
655.19	o 37391
655.19	c 3376
658.54	o 37393
658.54	c 3374
661.71	o 37394
661.71	c 3373
662.18	o 37396
662.18	c 3371
662.64	o 37398
662.64	c 3369
669.16	o 37399
669.16	c 3368
669.50	o 37402
669.50	c 3365
669.94	o 37404
669.94	c 3363
670.40	o 37405
670.40	c 3362
670.86	o 37410
670.86	c 3357
671.31	o 37411
671.31	c 3356
672.20	o 37412
672.20	c 3355
672.67	o 37413
672.67	c 3354
673.45	o 37414
673.45	c 3353
675.55	o 37416
675.55	c 3351
675.99	o 37418
675.99	c 3349
676.87	o 37419
676.87	c 3348
677.32	o 37421
677.32	c 3346
677.76	o 37423
677.76	c 3344
677.82	o 37426
677.82	c 3341
678.68	o 37429
678.68	c 3338
679.11	o 37430
679.11	c 3337
679.55	o 37431
679.55	c 3336
680.85	o 37433
680.85	c 3334
683.04	o 37434
683.04	c 3333
683.49	o 37437
683.49	c 3330
683.93	o 37440
683.93	c 3327
684.37	o 37442
684.37	c 3325
685.29	o 37443
685.29	c 3324
686.97	o 37445
686.97	c 3322
690.08	o 37448
690.08	c 3319
690.22	o 37452
690.22	c 3315
690.65	o 37454
690.65	c 3313
691.10	o 37456
691.10	c 3311
691.53	o 37460
691.53	c 3307
691.96	o 37463
691.96	c 3304
692.38	o 37464
692.38	c 3303
693.23	o 37465
693.23	c 3302
693.43	o 37466
693.43	c 3301
693.85	o 37468
693.85	c 3299
694.26	o 37469
694.26	c 3298
696.40	o 37470
696.40	c 3297
696.85	o 37472
696.85	c 3295
704.26	o 37477
704.26	c 3290
705.13	o 37479
705.13	c 3288
705.58	o 37483
705.58	c 3284
705.96	o 37485
705.96	c 3282
707.63	o 37487
707.63	c 3280
708.50	o 37488
708.50	c 3279
709.84	o 37489
709.84	c 3278
710.73	o 37490
710.73	c 3277
711.22	o 37491
711.22	c 3276
711.69	o 37495
711.69	c 3272
712.16	o 37501
712.16	c 3266
712.59	o 37503
712.59	c 3264
713.06	o 37507
713.06	c 3260
713.95	o 37509
713.95	c 3258
714.86	o 37510
714.86	c 3257
718.57	o 37515
718.57	c 3252
719.03	o 37518
719.03	c 3249
722.29	o 37519
722.29	c 3248
722.79	o 37521
722.79	c 3246
723.27	o 37522
723.27	c 3245
723.74	o 37525
723.74	c 3242
725.21	o 37526
725.21	c 3241
726.10	o 37528
726.10	c 3239
726.55	o 37530
726.55	c 3237
727.00	o 37531
727.00	c 3236
727.43	o 37532
727.43	c 3235
728.02	o 37534
728.02	c 3233
729.35	o 37538
729.35	c 3229
730.26	o 37539
730.26	c 3228
754.39	o 37540
754.39	c 3227
754.84	o 37542
754.84	c 3225
755.32	o 37543
755.32	c 3224
756.08	o 37544
756.08	c 3223
756.52	o 37545
756.52	c 3222
756.98	o 37552
756.98	c 3215
757.74	o 37554
757.74	c 3213
758.22	o 37555
758.22	c 3212
758.67	o 37559
758.67	c 3208
759.12	o 37560
759.12	c 3207
759.58	o 37567
759.58	c 3200
760.03	o 37571
760.03	c 3196
760.47	o 37573
760.47	c 3194
761.36	o 37575
761.36	c 3192
762.28	o 37579
762.28	c 3188
762.78	o 37581
762.78	c 3186
763.24	o 37584
763.24	c 3183
763.72	o 37585
763.72	c 3182
769.31	o 37586
769.31	c 3181
770.32	o 37588
770.32	c 3179
770.81	o 37590
770.81	c 3177
771.31	o 37591
771.31	c 3176
771.83	o 37594
771.83	c 3173
780.26	o 37596
780.26	c 3171
780.77	o 37597
780.77	c 3170
781.30	o 37598
781.30	c 3169
788.41	o 37601
788.41	c 3166
789.51	o 37603
789.51	c 3164
790.06	o 37605
790.06	c 3162
790.61	o 37607
790.61	c 3160
793.25	o 37608
793.25	c 3159
794.38	o 37609
794.38	c 3158
794.93	o 37610
794.93	c 3157
795.47	o 37613
795.47	c 3154
796.50	o 37614
796.50	c 3153
797.03	o 37618
797.03	c 3149
797.58	o 37619
797.58	c 3148
799.21	o 37620
799.21	c 3147
805.38	o 37622
805.38	c 3145
813.19	o 37623
813.19	c 3144
815.41	o 37624
815.41	c 3143
815.97	o 37626
815.97	c 3141
822.08	o 37627
822.08	c 3140
822.64	o 37628
822.64	c 3139
823.19	o 37631
823.19	c 3136
824.84	o 37632
824.84	c 3135
825.38	o 37633
825.38	c 3134
825.91	o 37634
825.91	c 3133
829.95	o 37636
829.95	c 3131
830.48	o 37637
830.49	c 3130
842.98	o 37638
842.98	c 3129
843.31	o 37641
843.31	c 3126
843.76	o 37642
843.76	c 3125
844.26	o 37644
844.26	c 3123
845.80	o 37645
845.80	c 3122
846.86	o 37648
846.86	c 3119
847.40	o 37649
847.40	c 3118
851.45	o 37651
851.45	c 3116
853.05	o 37653
853.05	c 3114
854.70	o 37655
854.70	c 3112
855.24	o 37656
855.24	c 3111
855.79	o 37661
855.79	c 3106
857.41	o 37662
857.41	c 3105
857.97	o 37663
857.97	c 3104
860.19	o 37664
860.19	c 3103
861.30	o 37665
861.30	c 3102
875.05	o 37666
875.05	c 3101
875.59	o 37672
875.59	c 3095
876.47	o 37675
876.47	c 3092
877.00	o 37677
877.00	c 3090
879.07	o 37678
879.07	c 3089
894.05	o 37679
894.05	c 3088
894.53	o 37681
894.53	c 3086
898.35	o 37685
898.35	c 3082
899.29	o 37687
899.29	c 3080
899.79	o 37688
899.79	c 3079
900.29	o 37690
900.29	c 3077
900.79	o 37692
900.79	c 3075
902.84	o 37693
902.84	c 3074
904.28	o 37696
904.28	c 3071
905.76	o 37698
905.76	c 3069
907.22	o 37700
907.22	c 3067
907.72	o 37701
907.72	c 3066
908.24	o 37706
908.24	c 3061
908.74	o 37707
908.74	c 3060
909.76	o 37708
909.76	c 3059
911.91	o 37711
911.91	c 3056
912.75	o 37713
912.75	c 3054
913.26	o 37714
913.26	c 3053
914.30	o 37719
914.30	c 3048
914.82	o 37724
914.82	c 3043
915.25	o 37725
915.25	c 3042
916.78	o 37726
916.78	c 3041
917.29	o 37728
917.29	c 3039
917.78	o 37730
917.78	c 3037
918.14	o 37731
918.14	c 3036
918.65	o 37734
918.65	c 3033
920.99	o 37736
920.99	c 3031
921.51	o 37737
921.51	c 3030
922.01	o 37739
922.01	c 3028
925.06	o 37746
925.06	c 3021
926.61	o 37748
926.61	c 3019
931.04	o 37751
931.04	c 3016
931.43	o 37753
931.43	c 3014
931.92	o 37756
931.92	c 3011
932.42	o 37759
932.42	c 3008
935.01	o 37760
935.01	c 3007
935.54	o 37761
935.54	c 3006
936.08	o 37762
936.08	c 3005
939.78	o 37763
939.78	c 3004
940.31	o 37771
940.31	c 2996
940.83	o 37772
940.83	c 2995
941.88	o 37773
941.88	c 2994
942.39	o 37776
942.39	c 2991
942.91	o 37781
942.91	c 2986
947.88	o 37782
947.88	c 2985
951.27	o 37784
951.27	c 2983
953.22	o 37786
953.22	c 2981
954.79	o 37787
954.80	c 2980
965.02	o 37790
965.02	c 2977
965.54	o 37792
965.54	c 2975
966.68	o 37794
966.68	c 2973
966.88	o 37797
966.88	c 2970
968.61	o 37800
968.61	c 2967
969.18	o 37801
969.18	c 2966
970.65	o 37802
970.65	c 2965
971.21	o 37805
971.21	c 2962
973.85	o 37807
973.85	c 2960
974.42	o 37808
974.42	c 2959
974.97	o 37810
974.97	c 2957
976.03	o 37813
976.03	c 2954
976.58	o 37815
976.58	c 2952
976.87	o 37820
976.87	c 2947
977.39	o 37822
977.39	c 2945
977.92	o 37824
977.92	c 2943
978.45	o 37829
978.45	c 2938
978.98	o 37830
978.98	c 2937
979.12	o 37833
979.12	c 2934
979.66	o 37835
979.66	c 2932
980.21	o 37839
980.21	c 2928
980.61	o 37842
980.61	c 2925
981.14	o 37844
981.14	c 2923
981.67	o 37846
981.67	c 2921
982.76	o 37847
982.76	c 2920
989.10	o 37848
989.10	c 2919
989.95	o 37849
989.95	c 2918
990.45	o 37853
990.45	c 2914
990.96	o 37854
990.96	c 2913
991.50	o 37856
991.50	c 2911
992.02	o 37857
992.02	c 2910
993.54	o 37858
993.54	c 2909
994.06	o 37863
994.06	c 2904
994.42	o 37866
994.42	c 2901
994.93	o 37867
994.93	c 2900
997.51	o 37868
997.51	c 2899
998.54	o 37869
998.54	c 2898
999.05	o 37871
999.05	c 2896
1004.22	o 37873
1004.22	c 2894
1005.28	o 37875
1005.28	c 2892
1005.78	o 37880
1005.78	c 2887
1007.18	o 37885
1007.18	c 2882
1007.69	o 37887
1007.69	c 2880
1008.75	o 37888
1008.75	c 2879
1009.26	o 37890
1009.26	c 2877
1009.80	o 37891
1009.80	c 2876
1011.38	o 37893
1011.38	c 2874
1015.37	o 37894
1015.37	c 2873
1015.93	o 37896
1015.93	c 2871
1016.48	o 37898
1016.48	c 2869
1016.64	o 37901
1016.64	c 2866
1017.14	o 37903
1017.14	c 2864
1018.80	o 37904
1018.80	c 2863
1019.34	o 37905
1019.34	c 2862
1022.64	o 37908
1022.64	c 2859
1023.20	o 37910
1023.20	c 2857
1027.46	o 37911
1027.46	c 2856
1052.42	o 37915
1052.42	c 2852
1053.01	o 37918
1053.01	c 2849
1057.78	o 37920
1057.78	c 2847
1058.39	o 37922
1058.39	c 2845
1070.22	o 37923
1070.22	c 2844
1071.48	o 37924
1071.48	c 2843
1074.71	o 37926
1074.71	c 2841
1075.37	o 37927
1075.37	c 2840
1076.66	o 37928
1076.66	c 2839
1077.61	o 37931
1077.61	c 2836
1077.90	o 37933
1077.90	c 2834
1078.54	o 37936
1078.54	c 2831
1081.13	o 37937
1081.13	c 2830
1081.77	o 37940
1081.77	c 2827
1082.43	o 37941
1082.43	c 2826
1088.15	o 37942
1088.15	c 2825
1088.82	o 37943
1088.82	c 2824
1089.49	o 37945
1089.49	c 2822
1090.14	o 37946
1090.14	c 2821
1091.47	o 37950
1091.47	c 2817
1092.10	o 37951
1092.10	c 2816
1094.77	o 37952
1094.77	c 2815
1096.13	o 37953
1096.13	c 2814
1096.81	o 37956
1096.81	c 2811
1097.49	o 37958
1097.49	c 2809
1105.19	o 37959
1105.19	c 2808
1109.63	o 37960
1109.63	c 2807
1110.33	o 37964
1110.33	c 2803
1113.09	o 37965
1113.09	c 2802
1117.84	o 37966
1117.84	c 2801
1121.07	o 37967
1121.07	c 2800
1127.12	o 37970
1127.12	c 2797
1134.00	o 37971
1134.00	c 2796
1140.77	o 37972
1140.77	c 2795
1143.59	o 37973
1143.59	c 2794
1144.31	o 37976
1144.31	c 2791
1144.99	o 37981
1144.99	c 2786
1145.31	o 37982
1145.31	c 2785
1148.01	o 37983
1148.01	c 2784
1158.57	o 37984
1158.57	c 2783
1161.29	o 37985
1161.29	c 2782
1161.92	o 37986
1161.92	c 2781
1163.34	o 37990
1163.34	c 2777
1165.41	o 37991
1165.41	c 2776
1168.15	o 37992
1168.15	c 2775
1168.78	o 37993
1168.78	c 2774
1170.12	o 37994
1170.12	c 2773
1170.67	o 37995
1170.67	c 2772
1171.16	o 37998
1171.16	c 2769
1171.81	o 38000
1171.81	c 2767
1172.49	o 38001
1172.49	c 2766
1174.48	o 38002
1174.48	c 2765
1175.85	o 38003
1175.85	c 2764
1180.39	o 38006
1180.39	c 2761
1183.23	o 38008
1183.23	c 2759
1184.68	o 38011
1184.68	c 2756
1187.56	o 38013
1187.56	c 2754
1192.64	o 38018
1192.64	c 2749
1194.25	o 38020
1194.25	c 2747
1194.96	o 38021
1194.96	c 2746
1196.37	o 38022
1196.37	c 2745
1202.43	o 38023
1202.43	c 2744
1203.13	o 38025
1203.13	c 2742
1203.51	o 38029
1203.51	c 2738
1204.20	o 38032
1204.20	c 2735
1205.99	o 38035
1205.99	c 2732
1206.68	o 38040
1206.68	c 2727
1207.34	o 38043
1207.34	c 2724
1208.02	o 38044
1208.03	c 2723
1208.89	o 38045
1208.89	c 2722
1209.53	o 38046
1209.53	c 2721
1210.92	o 38052
1210.92	c 2715
1211.65	o 38053
1211.65	c 2714
1212.16	o 38054
1212.16	c 2713
1215.72	o 38055
1215.72	c 2712
1216.27	o 38057
1216.27	c 2710
1216.98	o 38060
1216.98	c 2707
1217.70	o 38061
1217.70	c 2706
1218.42	o 38064
1218.42	c 2703
1219.13	o 38066
1219.13	c 2701
1219.84	o 38067
1219.84	c 2700
1224.59	o 38068
1224.59	c 2699
1225.31	o 38070
1225.31	c 2697
1225.88	o 38074
1225.88	c 2693
1227.72	o 38077
1227.72	c 2690
1230.49	o 38079
1230.49	c 2688
1231.19	o 38082
1231.19	c 2685
1231.89	o 38084
1231.89	c 2683
1233.19	o 38087
1233.19	c 2680
1234.57	o 38088
1234.57	c 2679
1237.99	o 38089
1237.99	c 2678
1240.14	o 38090
1240.14	c 2677
1241.62	o 38092
1241.62	c 2675
1244.99	o 38094
1244.99	c 2673
1245.47	o 38095
1245.47	c 2672
1247.56	o 38096
1247.56	c 2671
1247.99	o 38101
1247.99	c 2666
1250.57	o 38105
1250.57	c 2662
1251.26	o 38107
1251.26	c 2660
1252.68	o 38111
1252.68	c 2656
1259.24	o 38112
1259.24	c 2655
1260.65	o 38113
1260.65	c 2654
1260.91	o 38116
1260.91	c 2651
1261.61	o 38118
1261.61	c 2649
1264.49	o 38120
1264.49	c 2647
1266.63	o 38122
1266.63	c 2645
1267.35	o 38123
1267.35	c 2644
1268.08	o 38124
1268.08	c 2643
1268.81	o 38126
1268.81	c 2641
1270.23	o 38128
1270.23	c 2639
1271.67	o 38129
1271.67	c 2638
1272.42	o 38131
1272.42	c 2636
1273.14	o 38133
1273.14	c 2634
1286.81	o 38136
1286.81	c 2631
1287.53	o 38138
1287.53	c 2629
1317.20	o 38139
1317.20	c 2628
1317.93	o 38140
1317.93	c 2627
1318.68	o 38141
1318.68	c 2626
1319.45	o 38142
1319.45	c 2625
1319.71	o 38147
1319.71	c 2620
1320.47	o 38151
1320.47	c 2616
1323.98	o 38154
1323.98	c 2613
1324.56	o 38160
1324.56	c 2607
1329.40	o 38161
1329.40	c 2606
1330.17	o 38162
1330.17	c 2605
1330.94	o 38163
1330.94	c 2604
1333.26	o 38166
1333.26	c 2601
1334.79	o 38167
1334.79	c 2600
1335.57	o 38168
1335.57	c 2599
1339.41	o 38172
1339.41	c 2595
1341.81	o 38174
1341.81	c 2593
1342.55	o 38176
1342.55	c 2591
1343.30	o 38177
1343.30	c 2590
1345.62	o 38179
1345.62	c 2588
1347.68	o 38184
1347.68	c 2583
1349.11	o 38191
1349.11	c 2576
1349.83	o 38193
1349.83	c 2574
1350.54	o 38196
1350.54	c 2571
1356.63	o 38197
1356.63	c 2570
1357.32	o 38201
1357.32	c 2566
1358.02	o 38202
1358.02	c 2565
1358.71	o 38203
1358.71	c 2564
1374.54	o 38205
1374.54	c 2562
1375.91	o 38208
1375.91	c 2559
1378.59	o 38211
1378.59	c 2556
1381.06	o 38216
1381.06	c 2551
1383.31	o 38217
1383.31	c 2550
1383.42	o 38219
1383.42	c 2548
1384.04	o 38220
1384.04	c 2547
1384.69	o 38221
1384.69	c 2546
1385.26	o 38223
1385.26	c 2544
1386.60	o 38226
1386.60	c 2541
1387.30	o 38229
1387.30	c 2538
1388.51	o 38231
1388.51	c 2536
1414.69	o 38232
1414.69	c 2535
1415.12	o 38234
1415.12	c 2533
1415.78	o 38237
1415.78	c 2530
1416.44	o 38238
1416.44	c 2529
1421.82	o 38239
1421.82	c 2528
1422.49	o 38240
1422.49	c 2527
1423.18	o 38241
1423.18	c 2526
1423.87	o 38242
1423.87	c 2525
1424.55	o 38244
1424.55	c 2523
1425.22	o 38245
1425.23	c 2522
1425.91	o 38247
1425.91	c 2520
1428.28	o 38248
1428.28	c 2519
1428.97	o 38251
1428.97	c 2516
1429.67	o 38253
1429.67	c 2514
1431.63	o 38254
1431.63	c 2513
1441.67	o 38255
1441.67	c 2512
1443.03	o 38259
1443.03	c 2508
1445.16	o 38261
1445.16	c 2506
1446.50	o 38262
1446.50	c 2505
1449.83	o 38263
1449.83	c 2504
1452.57	o 38264
1452.57	c 2503
1453.15	o 38265
1453.15	c 2502
1453.83	o 38266
1453.83	c 2501
1454.51	o 38269
1454.51	c 2498
1455.89	o 38270
1455.89	c 2497
1456.59	o 38272
1456.59	c 2495
1457.26	o 38275
1457.26	c 2492
1458.62	o 38277
1458.62	c 2490
1459.65	o 38279
1459.65	c 2488
1460.35	o 38280
1460.35	c 2487
1461.03	o 38284
1461.03	c 2483
1464.44	o 38287
1464.44	c 2480
1467.70	o 38289
1467.70	c 2478
1468.06	o 38292
1468.06	c 2475
1468.75	o 38293
1468.75	c 2474
1472.21	o 38294
1472.21	c 2473
1473.63	o 38297
1473.63	c 2470
1476.43	o 38298
1476.43	c 2469
1480.69	o 38299
1480.69	c 2468
1481.40	o 38302
1481.40	c 2465
1484.97	o 38303
1484.97	c 2464
1486.36	o 38305
1486.36	c 2462
1488.22	o 38307
1488.22	c 2460
1489.41	o 38308
1489.41	c 2459
1490.10	o 38309
1490.10	c 2458
1490.80	o 38311
1490.80	c 2456
1494.95	o 38312
1494.95	c 2455
1495.12	o 38314
1495.12	c 2453
1495.80	o 38315
1495.80	c 2452
1497.23	o 38316
1497.23	c 2451
1498.53	o 38320
1498.53	c 2447
1499.25	o 38323
1499.25	c 2444
1500.68	o 38324
1500.68	c 2443
1501.39	o 38326
1501.39	c 2441
1502.10	o 38328
1502.10	c 2439
1502.80	o 38332
1502.80	c 2435
1503.27	o 38334
1503.27	c 2433
1503.97	o 38335
1503.97	c 2432
1504.69	o 38336
1504.69	c 2431
1505.41	o 38338
1505.41	c 2429
1505.69	o 38340
1505.69	c 2427
1506.38	o 38343
1506.38	c 2424
1506.93	o 38346
1506.93	c 2421
1509.02	o 38347
1509.02	c 2420
1509.70	o 38348
1509.70	c 2419
1510.29	o 38349
1510.29	c 2418
1510.91	o 38350
1510.91	c 2417
1518.72	o 38353
1518.72	c 2414
1519.49	o 38354
1519.49	c 2413
1520.21	o 38356
1520.21	c 2411
1523.03	o 38358
1523.03	c 2409
1525.98	o 38360
1525.98	c 2407
1532.11	o 38362
1532.11	c 2405
1532.71	o 38365
1532.71	c 2402
1533.30	o 38368
1533.30	c 2399
1533.93	o 38371
1533.93	c 2396
1534.55	o 38372
1534.55	c 2395
1537.47	o 38373
1537.47	c 2394
1538.22	o 38375
1538.22	c 2392
1549.39	o 38376
1549.39	c 2391
1557.55	o 38377
1557.55	c 2390
1562.68	o 38378
1562.68	c 2389
1572.48	o 38381
1572.48	c 2386
1579.69	o 38383
1579.69	c 2384
1580.35	o 38384
1580.35	c 2383
1581.01	o 38386
1581.01	c 2381
1581.69	o 38388
1581.69	c 2379
1582.36	o 38390
1582.36	c 2377
1583.04	o 38392
1583.04	c 2375
1585.06	o 38394
1585.06	c 2373
1585.73	o 38396
1585.73	c 2371
1586.18	o 38400
1586.18	c 2367
1586.88	o 38402
1586.88	c 2365
1588.24	o 38403
1588.24	c 2364
1588.90	o 38404
1588.90	c 2363
1589.58	o 38408
1589.58	c 2359
1590.18	o 38410
1590.18	c 2357
1591.69	o 38412
1591.69	c 2355
1593.07	o 38413
1593.07	c 2354
1594.40	o 38414
1594.40	c 2353
1601.59	o 38416
1601.59	c 2351
1602.26	o 38418
1602.26	c 2349
1609.03	o 38421
1609.03	c 2346
1609.70	o 38422
1609.70	c 2345
1610.36	o 38426
1610.36	c 2341
1611.07	o 38430
1611.07	c 2337
1611.71	o 38431
1611.71	c 2336
1614.78	o 38433
1614.78	c 2334
1615.47	o 38434
1615.47	c 2333
1616.16	o 38436
1616.16	c 2331
1616.85	o 38439
1616.85	c 2328
1617.31	o 38442
1617.31	c 2325
1617.87	o 38443
1617.87	c 2324
1621.34	o 38445
1621.34	c 2322
1626.62	o 38446
1626.62	c 2321
1636.99	o 38447
1636.99	c 2320
1637.73	o 38448
1637.73	c 2319
1638.45	o 38450
1638.45	c 2317
1639.18	o 38454
1639.18	c 2313
1642.03	o 38456
1642.03	c 2311
1642.73	o 38457
1642.73	c 2310
1644.14	o 38459
1644.14	c 2308
1645.54	o 38461
1645.54	c 2306
1648.43	o 38464
1648.43	c 2303
1678.71	   
1678.71	   search
1678.71	     run=0  nbConstraintChecks=4071839939  nbAssignments=4535
1678.71	       =>  wckTime=1614.738  cpuTime=1606.14  mem=87M716
1678.71	   
1678.71	   global
1678.71	     nbConstraintChecks=4071839939  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
1678.71	     solvingWckTime=1614.716  solvingCpuTime=1606.12  expiredTime=no  totalExploration=no  nbFoundSolutions=0
1678.71	     globalCpuTime=1667.92
1678.71	       =>  wckTime=1678.064  cpuTime=1667.87  mem=87M716
1678.71	   
1678.71	   solver IterativeSystematicSolver being built... 
1679.66	       =>  wckTime=1679.008  cpuTime=1668.39  mem=241M357
2413.12	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/node1/watcher-275246-1169218881 -o ROOT/results/node1/solver-275246-1169218881 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/275246-1169218881/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.07 2.03 1.94 4/92 2470
/proc/meminfo: memFree=1342344/2055920 swapFree=4165612/4192956
[pid=2469] ppid=2467 vsize=18540 CPUtime=0
/proc/2469/stat : 2469 (runsolver) R 2467 2469 1689 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 270283951 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 259353275687 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/2469/statm: 4635 279 244 17 0 2626 0

[startup+0.103939 s]
/proc/loadavg: 2.07 2.03 1.94 4/92 2470
/proc/meminfo: memFree=1342344/2055920 swapFree=4165612/4192956
[pid=2469] ppid=2467 vsize=914988 CPUtime=0.08
/proc/2469/stat : 2469 (java) R 2467 2469 1689 0 -1 0 2952 0 1 0 7 1 0 0 17 0 8 0 270283951 936947712 2698 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072927138 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2469/statm: 228747 2698 1413 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.51198 s]
/proc/loadavg: 2.07 2.03 1.94 4/92 2470
/proc/meminfo: memFree=1342344/2055920 swapFree=4165612/4192956
[pid=2469] ppid=2467 vsize=915120 CPUtime=0.2
/proc/2469/stat : 2469 (java) D 2467 2469 1689 0 -1 0 4063 0 7 0 18 2 0 0 18 0 8 0 270283951 937082880 3815 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4151974723 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2469/statm: 228780 3815 1841 14 0 215275 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 915120

[startup+1.33307 s]
/proc/loadavg: 2.14 2.04 1.94 3/99 2477
/proc/meminfo: memFree=1290960/2055920 swapFree=4165612/4192956
[pid=2469] ppid=2467 vsize=915612 CPUtime=0.94
/proc/2469/stat : 2469 (java) R 2467 2469 1689 0 -1 0 22402 0 15 0 80 14 0 0 16 0 8 0 270283951 937586688 22153 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4154527318 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2469/statm: 228903 22153 2164 14 0 215373 0
[pid=2469/tid=2471] ppid=2467 vsize=915612 CPUtime=0.05
/proc/2469/task/2471/stat : 2471 (java) R 2467 2469 1689 0 -1 64 5858 0 0 0 3 2 0 0 17 0 8 0 270283955 937586688 22153 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2469/tid=2472] ppid=2467 vsize=915612 CPUtime=0
/proc/2469/task/2472/stat : 2472 (java) S 2467 2469 1689 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270283955 937586688 22153 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2469/tid=2473] ppid=2467 vsize=915612 CPUtime=0
/proc/2469/task/2473/stat : 2473 (java) S 2467 2469 1689 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270283955 937586688 22153 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2469/tid=2474] ppid=2467 vsize=915612 CPUtime=0
/proc/2469/task/2474/stat : 2474 (java) S 2467 2469 1689 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270283959 937586688 22153 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2469/tid=2475] ppid=2467 vsize=915612 CPUtime=0.16
/proc/2469/task/2475/stat : 2475 (java) S 2467 2469 1689 0 -1 64 401 0 0 0 15 1 0 0 16 0 8 0 270283959 937586688 22153 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2469/tid=2476] ppid=2467 vsize=915612 CPUtime=0
/proc/2469/task/2476/stat : 2476 (java) S 2467 2469 1689 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270283959 937586688 22153 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2469/tid=2477] ppid=2467 vsize=915612 CPUtime=0
/proc/2469/task/2477/stat : 2477 (java) S 2467 2469 1689 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270283959 937586688 22153 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.94
Current children cumulated vsize (KiB) 915612

[startup+2.97127 s]
/proc/loadavg: 2.14 2.04 1.94 3/99 2477
/proc/meminfo: memFree=1244624/2055920 swapFree=4165612/4192956
[pid=2469] ppid=2467 vsize=915744 CPUtime=2.58
/proc/2469/stat : 2469 (java) R 2467 2469 1689 0 -1 0 26157 0 15 0 241 17 0 0 25 0 8 0 270283951 937721856 25903 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073834175 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2469/statm: 228936 25903 2184 14 0 215406 0
[pid=2469/tid=2471] ppid=2467 vsize=915744 CPUtime=0.19
/proc/2469/task/2471/stat : 2471 (java) S 2467 2469 1689 0 -1 64 9534 0 0 0 16 3 0 0 16 0 8 0 270283955 937721856 25903 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2469/tid=2472] ppid=2467 vsize=915744 CPUtime=0
/proc/2469/task/2472/stat : 2472 (java) S 2467 2469 1689 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270283955 937721856 25903 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2469/tid=2473] ppid=2467 vsize=915744 CPUtime=0
/proc/2469/task/2473/stat : 2473 (java) S 2467 2469 1689 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270283955 937721856 25903 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2469/tid=2474] ppid=2467 vsize=915744 CPUtime=0
/proc/2469/task/2474/stat : 2474 (java) S 2467 2469 1689 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270283959 937721856 25903 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2469/tid=2475] ppid=2467 vsize=915744 CPUtime=0.17
/proc/2469/task/2475/stat : 2475 (java) S 2467 2469 1689 0 -1 64 413 0 0 0 16 1 0 0 15 0 8 0 270283959 937721856 25903 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2469/tid=2476] ppid=2467 vsize=915744 CPUtime=0
/proc/2469/task/2476/stat : 2476 (java) S 2467 2469 1689 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270283959 937721856 25903 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2469/tid=2477] ppid=2467 vsize=915744 CPUtime=0
/proc/2469/task/2477/stat : 2477 (java) S 2467 2469 1689 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270283959 937721856 25903 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.58
Current children cumulated vsize (KiB) 915744

[startup+6.17164 s]
/proc/loadavg: 2.13 2.04 1.94 3/99 2483
/proc/meminfo: memFree=1242832/2055920 swapFree=4165612/4192956
[pid=2469] ppid=2467 vsize=915744 CPUtime=5.78
/proc/2469/stat : 2469 (java) R 2467 2469 1689 0 -1 0 26170 0 15 0 559 19 0 0 25 0 8 0 270283951 937721856 25915 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073831184 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2469/statm: 228936 25915 2185 14 0 215406 0
[pid=2469/tid=2471] ppid=2467 vsize=915744 CPUtime=0.19
/proc/2469/task/2471/stat : 2471 (java) S 2467 2469 1689 0 -1 64 9534 0 0 0 16 3 0 0 16 0 8 0 270283955 937721856 25915 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2469/tid=2472] ppid=2467 vsize=915744 CPUtime=0
/proc/2469/task/2472/stat : 2472 (java) S 2467 2469 1689 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270283955 937721856 25915 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2469/tid=2473] ppid=2467 vsize=915744 CPUtime=0
/proc/2469/task/2473/stat : 2473 (java) S 2467 2469 1689 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270283955 937721856 25915 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2469/tid=2474] ppid=2467 vsize=915744 CPUtime=0
/proc/2469/task/2474/stat : 2474 (java) S 2467 2469 1689 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270283959 937721856 25915 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2469/tid=2475] ppid=2467 vsize=915744 CPUtime=0.19
/proc/2469/task/2475/stat : 2475 (java) S 2467 2469 1689 0 -1 64 424 0 0 0 18 1 0 0 16 0 8 0 270283959 937721856 25915 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2469/tid=2476] ppid=2467 vsize=915744 CPUtime=0
/proc/2469/task/2476/stat : 2476 (java) S 2467 2469 1689 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270283959 937721856 25915 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2469/tid=2477] ppid=2467 vsize=915744 CPUtime=0
/proc/2469/task/2477/stat : 2477 (java) S 2467 2469 1689 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270283959 937721856 25915 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 5.78
Current children cumulated vsize (KiB) 915744

[startup+12.6444 s]
/proc/loadavg: 2.12 2.04 1.94 3/99 2499
/proc/meminfo: memFree=1240528/2055920 swapFree=4165612/4192956
[pid=2469] ppid=2467 vsize=915744 CPUtime=12.22
/proc/2469/stat : 2469 (java) R 2467 2469 1689 0 -1 0 26753 0 15 0 1201 21 0 0 25 0 8 0 270283951 937721856 26496 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073831079 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2469/statm: 228936 26496 2185 14 0 215406 0
[pid=2469/tid=2471] ppid=2467 vsize=915744 CPUtime=0.25
/proc/2469/task/2471/stat : 2471 (java) S 2467 2469 1689 0 -1 64 10112 0 0 0 21 4 0 0 16 0 8 0 270283955 937721856 26496 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2469/tid=2472] ppid=2467 vsize=915744 CPUtime=0
/proc/2469/task/2472/stat : 2472 (java) S 2467 2469 1689 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270283955 937721856 26496 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2469/tid=2473] ppid=2467 vsize=915744 CPUtime=0
/proc/2469/task/2473/stat : 2473 (java) S 2467 2469 1689 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270283955 937721856 26496 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2469/tid=2474] ppid=2467 vsize=915744 CPUtime=0
/proc/2469/task/2474/stat : 2474 (java) S 2467 2469 1689 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270283959 937721856 26496 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2469/tid=2475] ppid=2467 vsize=915744 CPUtime=0.19
/proc/2469/task/2475/stat : 2475 (java) S 2467 2469 1689 0 -1 64 427 0 0 0 18 1 0 0 16 0 8 0 270283959 937721856 26496 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2469/tid=2476] ppid=2467 vsize=915744 CPUtime=0
/proc/2469/task/2476/stat : 2476 (java) S 2467 2469 1689 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270283959 937721856 26496 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2469/tid=2477] ppid=2467 vsize=915744 CPUtime=0
/proc/2469/task/2477/stat : 2477 (java) S 2467 2469 1689 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270283959 937721856 26496 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.22
Current children cumulated vsize (KiB) 915744

[startup+25.5149 s]
/proc/loadavg: 2.10 2.04 1.94 3/99 2544
/proc/meminfo: memFree=1240800/2055920 swapFree=4165612/4192956
[pid=2469] ppid=2467 vsize=915744 CPUtime=25.07
/proc/2469/stat : 2469 (java) R 2467 2469 1689 0 -1 0 26760 0 15 0 2480 27 0 0 25 0 8 0 270283951 937721856 26501 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073470041 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2469/statm: 228936 26501 2185 14 0 215406 0
[pid=2469/tid=2471] ppid=2467 vsize=915744 CPUtime=0.25
/proc/2469/task/2471/stat : 2471 (java) S 2467 2469 1689 0 -1 64 10112 0 0 0 21 4 0 0 16 0 8 0 270283955 937721856 26501 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2469/tid=2472] ppid=2467 vsize=915744 CPUtime=0
/proc/2469/task/2472/stat : 2472 (java) S 2467 2469 1689 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270283955 937721856 26501 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2469/tid=2473] ppid=2467 vsize=915744 CPUtime=0
/proc/2469/task/2473/stat : 2473 (java) S 2467 2469 1689 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270283955 937721856 26501 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2469/tid=2474] ppid=2467 vsize=915744 CPUtime=0
/proc/2469/task/2474/stat : 2474 (java) S 2467 2469 1689 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270283959 937721856 26501 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2469/tid=2475] ppid=2467 vsize=915744 CPUtime=0.21
/proc/2469/task/2475/stat : 2475 (java) S 2467 2469 1689 0 -1 64 432 0 0 0 20 1 0 0 15 0 8 0 270283959 937721856 26501 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2469/tid=2476] ppid=2467 vsize=915744 CPUtime=0
/proc/2469/task/2476/stat : 2476 (java) S 2467 2469 1689 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270283959 937721856 26501 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2469/tid=2477] ppid=2467 vsize=915744 CPUtime=0
/proc/2469/task/2477/stat : 2477 (java) S 2467 2469 1689 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270283959 937721856 26501 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.07
Current children cumulated vsize (KiB) 915744

[startup+51.1919 s]
/proc/loadavg: 2.06 2.03 1.94 3/107 2639
/proc/meminfo: memFree=1079664/2055920 swapFree=4165612/4192956
[pid=2469] ppid=2467 vsize=915744 CPUtime=50.72
/proc/2469/stat : 2469 (java) R 2467 2469 1689 0 -1 0 29231 0 15 0 5029 43 0 0 25 0 8 0 270283951 937721856 28970 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073831179 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2469/statm: 228936 28970 2185 14 0 215406 0
[pid=2469/tid=2471] ppid=2467 vsize=915744 CPUtime=0.34
/proc/2469/task/2471/stat : 2471 (java) S 2467 2469 1689 0 -1 64 12572 0 0 0 29 5 0 0 16 0 8 0 270283955 937721856 28970 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2469/tid=2472] ppid=2467 vsize=915744 CPUtime=0
/proc/2469/task/2472/stat : 2472 (java) S 2467 2469 1689 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270283955 937721856 28970 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2469/tid=2473] ppid=2467 vsize=915744 CPUtime=0
/proc/2469/task/2473/stat : 2473 (java) S 2467 2469 1689 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270283955 937721856 28970 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2469/tid=2474] ppid=2467 vsize=915744 CPUtime=0
/proc/2469/task/2474/stat : 2474 (java) S 2467 2469 1689 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270283959 937721856 28970 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2469/tid=2475] ppid=2467 vsize=915744 CPUtime=0.22
/proc/2469/task/2475/stat : 2475 (java) S 2467 2469 1689 0 -1 64 441 0 0 0 21 1 0 0 15 0 8 0 270283959 937721856 28970 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2469/tid=2476] ppid=2467 vsize=915744 CPUtime=0
/proc/2469/task/2476/stat : 2476 (java) S 2467 2469 1689 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270283959 937721856 28970 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2469/tid=2477] ppid=2467 vsize=915744 CPUtime=0
/proc/2469/task/2477/stat : 2477 (java) S 2467 2469 1689 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270283959 937721856 28970 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.72
Current children cumulated vsize (KiB) 915744

[startup+102.481 s]
/proc/loadavg: 2.02 2.03 1.94 3/101 2659
/proc/meminfo: memFree=903136/2055920 swapFree=4165612/4192956
[pid=2469] ppid=2467 vsize=915744 CPUtime=101.87
/proc/2469/stat : 2469 (java) R 2467 2469 1689 0 -1 0 39738 0 15 0 10122 65 0 0 25 0 8 0 270283951 937721856 39412 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074017673 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2469/statm: 228936 39412 2504 14 0 215406 0
[pid=2469/tid=2471] ppid=2467 vsize=915744 CPUtime=1.2
/proc/2469/task/2471/stat : 2471 (java) S 2467 2469 1689 0 -1 64 22692 0 0 0 112 8 0 0 16 0 8 0 270283955 937721856 39412 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2469/tid=2472] ppid=2467 vsize=915744 CPUtime=0
/proc/2469/task/2472/stat : 2472 (java) S 2467 2469 1689 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270283955 937721856 39412 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2469/tid=2473] ppid=2467 vsize=915744 CPUtime=0
/proc/2469/task/2473/stat : 2473 (java) S 2467 2469 1689 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270283955 937721856 39412 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2469/tid=2474] ppid=2467 vsize=915744 CPUtime=0
/proc/2469/task/2474/stat : 2474 (java) S 2467 2469 1689 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270283959 937721856 39412 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2469/tid=2475] ppid=2467 vsize=915744 CPUtime=0.29
/proc/2469/task/2475/stat : 2475 (java) S 2467 2469 1689 0 -1 64 474 0 0 0 27 2 0 0 16 0 8 0 270283959 937721856 39412 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2469/tid=2476] ppid=2467 vsize=915744 CPUtime=0
/proc/2469/task/2476/stat : 2476 (java) S 2467 2469 1689 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270283959 937721856 39412 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2469/tid=2477] ppid=2467 vsize=915744 CPUtime=0
/proc/2469/task/2477/stat : 2477 (java) S 2467 2469 1689 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270283959 937721856 39412 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.87
Current children cumulated vsize (KiB) 915744

[startup+162.531 s]
/proc/loadavg: 2.08 2.04 1.95 3/101 2659
/proc/meminfo: memFree=790304/2055920 swapFree=4165612/4192956
[pid=2469] ppid=2467 vsize=915744 CPUtime=161.82
/proc/2469/stat : 2469 (java) R 2467 2469 1689 0 -1 0 39739 0 15 0 16111 71 0 0 25 0 8 0 270283951 937721856 39413 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074017652 0 4 0 23759 18446744073709551615 0 0 17 0 0 0

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

Current children cumulated CPU time (s) 2013.92
Current children cumulated vsize (KiB) 915980

[startup+2084.92 s]
/proc/loadavg: 2.00 2.00 2.00 3/93 2799
/proc/meminfo: memFree=1068648/2055920 swapFree=4165612/4192956
[pid=2469] ppid=2467 vsize=915980 CPUtime=2073.66
/proc/2469/stat : 2469 (java) R 2467 2469 1689 0 -1 0 69346 0 15 0 207235 131 0 0 25 0 8 0 270283951 937963520 69005 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074296146 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2469/statm: 228995 69005 2551 14 0 215465 0
[pid=2469/tid=2471] ppid=2467 vsize=915980 CPUtime=1.53
/proc/2469/task/2471/stat : 2471 (java) S 2467 2469 1689 0 -1 64 52064 0 0 0 133 20 0 0 16 0 8 0 270283955 937963520 69005 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2469/tid=2472] ppid=2467 vsize=915980 CPUtime=0
/proc/2469/task/2472/stat : 2472 (java) S 2467 2469 1689 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270283955 937963520 69005 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2469/tid=2473] ppid=2467 vsize=915980 CPUtime=0
/proc/2469/task/2473/stat : 2473 (java) S 2467 2469 1689 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270283955 937963520 69005 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2469/tid=2474] ppid=2467 vsize=915980 CPUtime=0
/proc/2469/task/2474/stat : 2474 (java) S 2467 2469 1689 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270283959 937963520 69005 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2469/tid=2475] ppid=2467 vsize=915980 CPUtime=0.4
/proc/2469/task/2475/stat : 2475 (java) S 2467 2469 1689 0 -1 64 600 0 0 0 38 2 0 0 16 0 8 0 270283959 937963520 69005 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2469/tid=2476] ppid=2467 vsize=915980 CPUtime=0
/proc/2469/task/2476/stat : 2476 (java) S 2467 2469 1689 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270283959 937963520 69005 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2469/tid=2477] ppid=2467 vsize=915980 CPUtime=0
/proc/2469/task/2477/stat : 2477 (java) S 2467 2469 1689 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270283959 937963520 69005 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2073.66
Current children cumulated vsize (KiB) 915980

[startup+2145 s]
/proc/loadavg: 2.07 2.03 2.01 3/93 2799
/proc/meminfo: memFree=1068648/2055920 swapFree=4165612/4192956
[pid=2469] ppid=2467 vsize=915980 CPUtime=2133.42
/proc/2469/stat : 2469 (java) R 2467 2469 1689 0 -1 0 69346 0 15 0 213211 131 0 0 25 0 8 0 270283951 937963520 69005 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074013171 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2469/statm: 228995 69005 2551 14 0 215465 0
[pid=2469/tid=2471] ppid=2467 vsize=915980 CPUtime=1.53
/proc/2469/task/2471/stat : 2471 (java) S 2467 2469 1689 0 -1 64 52064 0 0 0 133 20 0 0 16 0 8 0 270283955 937963520 69005 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2469/tid=2472] ppid=2467 vsize=915980 CPUtime=0
/proc/2469/task/2472/stat : 2472 (java) S 2467 2469 1689 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270283955 937963520 69005 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2469/tid=2473] ppid=2467 vsize=915980 CPUtime=0
/proc/2469/task/2473/stat : 2473 (java) S 2467 2469 1689 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270283955 937963520 69005 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2469/tid=2474] ppid=2467 vsize=915980 CPUtime=0
/proc/2469/task/2474/stat : 2474 (java) S 2467 2469 1689 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270283959 937963520 69005 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2469/tid=2475] ppid=2467 vsize=915980 CPUtime=0.4
/proc/2469/task/2475/stat : 2475 (java) S 2467 2469 1689 0 -1 64 600 0 0 0 38 2 0 0 16 0 8 0 270283959 937963520 69005 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2469/tid=2476] ppid=2467 vsize=915980 CPUtime=0
/proc/2469/task/2476/stat : 2476 (java) S 2467 2469 1689 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270283959 937963520 69005 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2469/tid=2477] ppid=2467 vsize=915980 CPUtime=0
/proc/2469/task/2477/stat : 2477 (java) S 2467 2469 1689 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270283959 937963520 69005 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2133.42
Current children cumulated vsize (KiB) 915980

[startup+2205.08 s]
/proc/loadavg: 2.02 2.02 2.00 3/93 2799
/proc/meminfo: memFree=1068648/2055920 swapFree=4165612/4192956
[pid=2469] ppid=2467 vsize=915980 CPUtime=2193.18
/proc/2469/stat : 2469 (java) R 2467 2469 1689 0 -1 0 69346 0 15 0 219187 131 0 0 25 0 8 0 270283951 937963520 69005 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074139466 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2469/statm: 228995 69005 2551 14 0 215465 0
[pid=2469/tid=2471] ppid=2467 vsize=915980 CPUtime=1.53
/proc/2469/task/2471/stat : 2471 (java) S 2467 2469 1689 0 -1 64 52064 0 0 0 133 20 0 0 16 0 8 0 270283955 937963520 69005 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2469/tid=2472] ppid=2467 vsize=915980 CPUtime=0
/proc/2469/task/2472/stat : 2472 (java) S 2467 2469 1689 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270283955 937963520 69005 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2469/tid=2473] ppid=2467 vsize=915980 CPUtime=0
/proc/2469/task/2473/stat : 2473 (java) S 2467 2469 1689 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270283955 937963520 69005 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2469/tid=2474] ppid=2467 vsize=915980 CPUtime=0
/proc/2469/task/2474/stat : 2474 (java) S 2467 2469 1689 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270283959 937963520 69005 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2469/tid=2475] ppid=2467 vsize=915980 CPUtime=0.4
/proc/2469/task/2475/stat : 2475 (java) S 2467 2469 1689 0 -1 64 600 0 0 0 38 2 0 0 16 0 8 0 270283959 937963520 69005 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2469/tid=2476] ppid=2467 vsize=915980 CPUtime=0
/proc/2469/task/2476/stat : 2476 (java) S 2467 2469 1689 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270283959 937963520 69005 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2469/tid=2477] ppid=2467 vsize=915980 CPUtime=0
/proc/2469/task/2477/stat : 2477 (java) S 2467 2469 1689 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270283959 937963520 69005 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2193.18
Current children cumulated vsize (KiB) 915980

[startup+2265.16 s]
/proc/loadavg: 2.01 2.02 2.00 3/93 2799
/proc/meminfo: memFree=1068648/2055920 swapFree=4165612/4192956
[pid=2469] ppid=2467 vsize=915980 CPUtime=2252.91
/proc/2469/stat : 2469 (java) R 2467 2469 1689 0 -1 0 69346 0 15 0 225160 131 0 0 25 0 8 0 270283951 937963520 69005 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074139423 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2469/statm: 228995 69005 2551 14 0 215465 0
[pid=2469/tid=2471] ppid=2467 vsize=915980 CPUtime=1.53
/proc/2469/task/2471/stat : 2471 (java) S 2467 2469 1689 0 -1 64 52064 0 0 0 133 20 0 0 16 0 8 0 270283955 937963520 69005 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2469/tid=2472] ppid=2467 vsize=915980 CPUtime=0
/proc/2469/task/2472/stat : 2472 (java) S 2467 2469 1689 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270283955 937963520 69005 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2469/tid=2473] ppid=2467 vsize=915980 CPUtime=0
/proc/2469/task/2473/stat : 2473 (java) S 2467 2469 1689 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270283955 937963520 69005 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2469/tid=2474] ppid=2467 vsize=915980 CPUtime=0
/proc/2469/task/2474/stat : 2474 (java) S 2467 2469 1689 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270283959 937963520 69005 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2469/tid=2475] ppid=2467 vsize=915980 CPUtime=0.4
/proc/2469/task/2475/stat : 2475 (java) S 2467 2469 1689 0 -1 64 600 0 0 0 38 2 0 0 16 0 8 0 270283959 937963520 69005 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2469/tid=2476] ppid=2467 vsize=915980 CPUtime=0
/proc/2469/task/2476/stat : 2476 (java) S 2467 2469 1689 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270283959 937963520 69005 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2469/tid=2477] ppid=2467 vsize=915980 CPUtime=0
/proc/2469/task/2477/stat : 2477 (java) S 2467 2469 1689 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270283959 937963520 69005 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2252.91
Current children cumulated vsize (KiB) 915980

[startup+2325.24 s]
/proc/loadavg: 2.00 2.01 2.00 3/93 2799
/proc/meminfo: memFree=1068648/2055920 swapFree=4165612/4192956
[pid=2469] ppid=2467 vsize=915980 CPUtime=2312.67
/proc/2469/stat : 2469 (java) R 2467 2469 1689 0 -1 0 69346 0 15 0 231135 132 0 0 25 0 8 0 270283951 937963520 69005 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074320882 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2469/statm: 228995 69005 2551 14 0 215465 0
[pid=2469/tid=2471] ppid=2467 vsize=915980 CPUtime=1.53
/proc/2469/task/2471/stat : 2471 (java) S 2467 2469 1689 0 -1 64 52064 0 0 0 133 20 0 0 16 0 8 0 270283955 937963520 69005 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2469/tid=2472] ppid=2467 vsize=915980 CPUtime=0
/proc/2469/task/2472/stat : 2472 (java) S 2467 2469 1689 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270283955 937963520 69005 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2469/tid=2473] ppid=2467 vsize=915980 CPUtime=0
/proc/2469/task/2473/stat : 2473 (java) S 2467 2469 1689 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270283955 937963520 69005 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2469/tid=2474] ppid=2467 vsize=915980 CPUtime=0
/proc/2469/task/2474/stat : 2474 (java) S 2467 2469 1689 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270283959 937963520 69005 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2469/tid=2475] ppid=2467 vsize=915980 CPUtime=0.4
/proc/2469/task/2475/stat : 2475 (java) S 2467 2469 1689 0 -1 64 600 0 0 0 38 2 0 0 16 0 8 0 270283959 937963520 69005 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2469/tid=2476] ppid=2467 vsize=915980 CPUtime=0
/proc/2469/task/2476/stat : 2476 (java) S 2467 2469 1689 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270283959 937963520 69005 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2469/tid=2477] ppid=2467 vsize=915980 CPUtime=0
/proc/2469/task/2477/stat : 2477 (java) S 2467 2469 1689 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270283959 937963520 69005 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2312.67
Current children cumulated vsize (KiB) 915980

[startup+2385.32 s]
/proc/loadavg: 2.00 2.00 2.00 3/93 2799
/proc/meminfo: memFree=1068648/2055920 swapFree=4165612/4192956
[pid=2469] ppid=2467 vsize=915980 CPUtime=2372.43
/proc/2469/stat : 2469 (java) R 2467 2469 1689 0 -1 0 69346 0 15 0 237111 132 0 0 25 0 8 0 270283951 937963520 69005 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074323325 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2469/statm: 228995 69005 2551 14 0 215465 0
[pid=2469/tid=2471] ppid=2467 vsize=915980 CPUtime=1.53
/proc/2469/task/2471/stat : 2471 (java) S 2467 2469 1689 0 -1 64 52064 0 0 0 133 20 0 0 16 0 8 0 270283955 937963520 69005 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2469/tid=2472] ppid=2467 vsize=915980 CPUtime=0
/proc/2469/task/2472/stat : 2472 (java) S 2467 2469 1689 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270283955 937963520 69005 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2469/tid=2473] ppid=2467 vsize=915980 CPUtime=0
/proc/2469/task/2473/stat : 2473 (java) S 2467 2469 1689 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270283955 937963520 69005 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2469/tid=2474] ppid=2467 vsize=915980 CPUtime=0
/proc/2469/task/2474/stat : 2474 (java) S 2467 2469 1689 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270283959 937963520 69005 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2469/tid=2475] ppid=2467 vsize=915980 CPUtime=0.4
/proc/2469/task/2475/stat : 2475 (java) S 2467 2469 1689 0 -1 64 600 0 0 0 38 2 0 0 16 0 8 0 270283959 937963520 69005 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2469/tid=2476] ppid=2467 vsize=915980 CPUtime=0
/proc/2469/task/2476/stat : 2476 (java) S 2467 2469 1689 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270283959 937963520 69005 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2469/tid=2477] ppid=2467 vsize=915980 CPUtime=0
/proc/2469/task/2477/stat : 2477 (java) S 2467 2469 1689 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270283959 937963520 69005 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2372.43
Current children cumulated vsize (KiB) 915980



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2413.11 s]
/proc/loadavg: 2.00 2.00 2.00 3/93 2799
/proc/meminfo: memFree=1068648/2055920 swapFree=4165612/4192956
[pid=2469] ppid=2467 vsize=915980 CPUtime=2400.05
/proc/2469/stat : 2469 (java) R 2467 2469 1689 0 -1 0 69346 0 15 0 239873 132 0 0 25 0 8 0 270283951 937963520 69005 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074320821 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2469/statm: 228995 69005 2551 14 0 215465 0
[pid=2469/tid=2471] ppid=2467 vsize=915980 CPUtime=1.53
/proc/2469/task/2471/stat : 2471 (java) S 2467 2469 1689 0 -1 64 52064 0 0 0 133 20 0 0 16 0 8 0 270283955 937963520 69005 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2469/tid=2472] ppid=2467 vsize=915980 CPUtime=0
/proc/2469/task/2472/stat : 2472 (java) S 2467 2469 1689 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270283955 937963520 69005 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2469/tid=2473] ppid=2467 vsize=915980 CPUtime=0
/proc/2469/task/2473/stat : 2473 (java) S 2467 2469 1689 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270283955 937963520 69005 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2469/tid=2474] ppid=2467 vsize=915980 CPUtime=0
/proc/2469/task/2474/stat : 2474 (java) S 2467 2469 1689 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270283959 937963520 69005 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2469/tid=2475] ppid=2467 vsize=915980 CPUtime=0.4
/proc/2469/task/2475/stat : 2475 (java) S 2467 2469 1689 0 -1 64 600 0 0 0 38 2 0 0 16 0 8 0 270283959 937963520 69005 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2469/tid=2476] ppid=2467 vsize=915980 CPUtime=0
/proc/2469/task/2476/stat : 2476 (java) S 2467 2469 1689 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270283959 937963520 69005 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2469/tid=2477] ppid=2467 vsize=915980 CPUtime=0
/proc/2469/task/2477/stat : 2477 (java) S 2467 2469 1689 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270283959 937963520 69005 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2400.05
Current children cumulated vsize (KiB) 915980

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

Child status: 143
Real time (s): 2413.18
CPU time (s): 2400.13
CPU user time (s): 2398.76
CPU system time (s): 1.36379
CPU usage (%): 99.4591
Max. virtual memory (cumulated for all children) (KiB): 915996

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2398.76
system time used= 1.36379
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 69371
page faults= 15
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 50705
involuntary context switches= 94653

runsolver used 3.15852 s user time and 7.79581 s system time

The end

Launcher Data (download as text)

Begin job on node1 on Fri Jan 19 15:01:21 UTC 2007


IDJOB= 275246
IDBENCH= 3736
IDSOLVER= 68
FILE ID= node1/275246-1169218881

PBS_JOBID= 3588936

Free space on /tmp= 66555 MiB

SOLVER NAME= AbsconMax 109 EPFC
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 epfc.xml 1 XSax /tmp/evaluation/275246-1169218881/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node1/watcher-275246-1169218881 -o ROOT/results/node1/solver-275246-1169218881 -C 2400 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/275246-1169218881/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  725b6642173552cf2abf8e36b2356adf

RANDOM SEED= 89142792

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.234
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.234
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:       1342824 kB
Buffers:         49396 kB
Cached:         545164 kB
SwapCached:       3840 kB
Active:         250008 kB
Inactive:       387492 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1342824 kB
SwapTotal:     4192956 kB
SwapFree:      4165612 kB
Dirty:            7292 kB
Writeback:           0 kB
Mapped:          54500 kB
Slab:            60004 kB
Committed_AS:  7673648 kB
PageTables:       2524 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= 66555 MiB



End job on node1 on Fri Jan 19 15:41:35 UTC 2007