Trace number 275240

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.09 2416.63

General information on the benchmark

Namefapp/fapp11-15/fapp14/
fapp14-2500-1.xml
MD5SUMe25e356bc98ab8ce9620a3fb6e6db1ca
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkMSAT TO
Best Number of satisfied constraints38847
Best CPU time to get the best result obtained on this benchmark2400.17
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.33	   
0.33	Abscon 109 (November, 2006)
0.33	   
0.33	   configuration
0.33	     name=epfc.xml
0.36	   
0.36	   instance
0.36	     name=/tmp/evaluation/275240-1169218866/unknown.xml
0.39	   
0.39	   domains being loaded...
0.43	   
0.43	   variables being loaded...
0.74	     nbVariables=2500  nbDomainTypes=30  minDomainSize=42  maxDomainSize=362
0.74	       =>  wckTime=0.41  cpuTime=0.29  mem=35M188
0.74	   
0.74	   predicates being loaded...
0.74	   
0.74	   constraints being loaded...
61.67	   
61.67	   INFO : Stopping converting binary constraints (cpu=60.01, mem = 59M492)
64.00	     nbConstraints=40767  nbConvertedConstraints=5446  nbConvertConstraintsChecks=182766934  nbExtensionStructures=2453
64.00	     nbSharedExtensionStructures=2993  nbConflictsStructures=2453  nbSharedConflictsStructures=2993
64.00	     nbSharedBinaryRepresentations=1278066  nbEvaluationManagers=9858  nbSharedEvaluationManagers=25463  maxDegree=52
64.00	     maxArity=2
64.00	       =>  wckTime=63.672  cpuTime=61.84  mem=90M100
64.39	   
64.39	   solver LocalSearchSolver being built... 
64.44	       =>  wckTime=64.108  cpuTime=61.89  mem=85M272
64.66	
64.66	s SATISFIABLE
64.66	o 32112
64.66	c 8655
64.72	o 32124
64.72	c 8643
64.77	o 32138
64.77	c 8629
64.84	o 32146
64.84	c 8621
64.91	o 32154
64.91	c 8613
64.94	o 32162
64.94	c 8605
65.01	o 32169
65.01	c 8598
65.06	o 32175
65.06	c 8592
65.11	o 32181
65.11	c 8586
65.15	o 32186
65.15	c 8581
65.20	o 32190
65.20	c 8577
65.22	o 32193
65.22	c 8574
65.26	o 32196
65.26	c 8571
65.30	o 32202
65.31	c 8565
65.37	o 32211
65.37	c 8556
65.43	o 32220
65.43	c 8547
65.49	o 32229
65.50	c 8538
65.56	o 32237
65.56	c 8530
65.61	o 32243
65.61	c 8524
65.66	o 32249
65.66	c 8518
65.70	o 32254
65.70	c 8513
65.75	o 32258
65.75	c 8509
65.80	o 32263
65.80	c 8504
65.85	o 32267
65.85	c 8500
65.90	o 32271
65.90	c 8496
65.93	o 32275
65.93	c 8492
65.97	o 32278
65.97	c 8489
66.00	o 32281
66.00	c 8486
66.04	o 32284
66.04	c 8483
66.10	o 32294
66.10	c 8473
66.15	o 32296
66.15	c 8471
66.20	o 32298
66.20	c 8469
66.24	o 32300
66.24	c 8467
66.26	o 32301
66.26	c 8466
66.32	o 32308
66.32	c 8459
66.34	o 32310
66.34	c 8457
66.38	o 32316
66.38	c 8451
66.43	o 32325
66.43	c 8442
66.49	o 32334
66.49	c 8433
66.55	o 32341
66.55	c 8426
66.60	o 32348
66.60	c 8419
66.65	o 32355
66.65	c 8412
66.71	o 32361
66.71	c 8406
66.77	o 32367
66.77	c 8400
66.84	o 32372
66.84	c 8395
66.92	o 32376
66.92	c 8391
66.98	o 32380
66.98	c 8387
67.04	o 32384
67.04	c 8383
67.08	o 32388
67.08	c 8379
67.13	o 32392
67.13	c 8375
67.17	o 32396
67.17	c 8371
67.21	o 32399
67.21	c 8368
67.26	o 32402
67.26	c 8365
67.29	o 32404
67.29	c 8363
67.34	o 32406
67.34	c 8361
67.37	o 32407
67.37	c 8360
67.41	o 32408
67.41	c 8359
67.47	o 32411
67.47	c 8356
67.49	o 32414
67.49	c 8353
67.52	o 32425
67.52	c 8342
67.56	o 32433
67.56	c 8334
67.60	o 32441
67.60	c 8326
67.68	o 32446
67.68	c 8321
67.74	o 32456
67.74	c 8311
67.79	o 32466
67.79	c 8301
67.86	o 32469
67.86	c 8298
67.92	o 32477
67.92	c 8290
67.99	o 32483
67.99	c 8284
68.05	o 32490
68.05	c 8277
68.11	o 32497
68.11	c 8270
68.17	o 32504
68.17	c 8263
68.23	o 32511
68.23	c 8256
68.29	o 32517
68.29	c 8250
68.36	o 32522
68.36	c 8245
68.42	o 32527
68.42	c 8240
68.48	o 32532
68.48	c 8235
68.54	o 32537
68.54	c 8230
68.60	o 32541
68.60	c 8226
68.65	o 32545
68.65	c 8222
68.71	o 32549
68.71	c 8218
68.76	o 32553
68.76	c 8214
68.82	o 32556
68.82	c 8211
68.86	o 32559
68.86	c 8208
68.91	o 32561
68.91	c 8206
68.96	o 32563
68.96	c 8204
69.00	o 32565
69.00	c 8202
69.03	o 32566
69.03	c 8201
69.08	o 32567
69.08	c 8200
69.13	o 32570
69.13	c 8197
69.16	o 32575
69.16	c 8192
69.19	o 32576
69.19	c 8191
69.21	o 32579
69.21	c 8188
69.26	o 32589
69.26	c 8178
69.30	o 32597
69.30	c 8170
69.34	o 32598
69.34	c 8169
69.43	o 32606
69.43	c 8161
69.45	o 32614
69.45	c 8153
69.49	o 32619
69.49	c 8148
69.54	o 32620
69.54	c 8147
69.60	o 32622
69.60	c 8145
69.64	o 32629
69.64	c 8138
69.67	o 32633
69.67	c 8134
69.71	o 32634
69.71	c 8133
69.76	o 32637
69.76	c 8130
69.84	o 32639
69.84	c 8128
69.95	o 32648
69.95	c 8119
70.02	o 32656
70.02	c 8111
70.12	o 32664
70.12	c 8103
70.21	o 32671
70.21	c 8096
70.29	o 32678
70.29	c 8089
70.39	o 32684
70.39	c 8083
70.47	o 32690
70.47	c 8077
70.55	o 32696
70.55	c 8071
70.63	o 32702
70.63	c 8065
70.71	o 32705
70.71	c 8062
70.79	o 32710
70.79	c 8057
70.88	o 32715
70.88	c 8052
70.96	o 32716
70.96	c 8051
71.03	o 32721
71.03	c 8046
71.11	o 32726
71.11	c 8041
71.17	o 32731
71.17	c 8036
71.24	o 32740
71.24	c 8027
71.31	o 32744
71.31	c 8023
71.38	o 32748
71.38	c 8019
71.48	o 32751
71.48	c 8016
71.55	o 32754
71.55	c 8013
71.62	o 32757
71.62	c 8010
71.68	o 32760
71.68	c 8007
71.75	o 32763
71.75	c 8004
71.81	o 32766
71.81	c 8001
71.88	o 32768
71.88	c 7999
71.94	o 32772
71.94	c 7995
72.01	o 32774
72.01	c 7993
72.10	o 32776
72.10	c 7991
72.15	o 32778
72.15	c 7989
72.20	o 32780
72.20	c 7987
72.24	o 32782
72.24	c 7985
72.28	o 32784
72.28	c 7983
72.32	o 32786
72.32	c 7981
72.36	o 32787
72.36	c 7980
72.41	o 32788
72.41	c 7979
72.44	o 32789
72.44	c 7978
72.48	o 32790
72.48	c 7977
72.66	o 32796
72.66	c 7971
72.70	o 32800
72.70	c 7967
72.74	o 32801
72.74	c 7966
72.78	o 32802
72.78	c 7965
72.94	o 32804
72.94	c 7963
72.99	o 32808
72.99	c 7959
73.06	o 32809
73.06	c 7958
73.11	o 32815
73.11	c 7952
73.15	o 32821
73.15	c 7946
73.19	o 32826
73.19	c 7941
73.23	o 32832
73.23	c 7935
73.27	o 32835
73.27	c 7932
73.30	o 32838
73.30	c 7929
73.33	o 32843
73.33	c 7924
73.38	o 32848
73.38	c 7919
73.41	o 32852
73.41	c 7915
73.47	o 32854
73.47	c 7913
73.52	o 32860
73.52	c 7907
73.61	o 32868
73.61	c 7899
73.65	o 32875
73.65	c 7892
73.72	o 32879
73.72	c 7888
73.80	o 32888
73.80	c 7879
73.89	o 32896
73.90	c 7871
74.01	o 32903
74.01	c 7864
74.12	o 32910
74.12	c 7857
74.22	o 32917
74.22	c 7850
74.33	o 32923
74.33	c 7844
74.44	o 32926
74.44	c 7841
74.54	o 32932
74.54	c 7835
74.65	o 32938
74.65	c 7829
74.88	o 32944
74.88	c 7823
74.99	o 32950
74.99	c 7817
75.09	o 32955
75.09	c 7812
75.19	o 32960
75.19	c 7807
75.28	o 32965
75.28	c 7802
75.38	o 32969
75.38	c 7798
75.49	o 32973
75.49	c 7794
75.60	o 32979
75.60	c 7788
75.69	o 32983
75.69	c 7784
75.79	o 32987
75.79	c 7780
75.89	o 32991
75.89	c 7776
75.98	o 32995
75.98	c 7772
76.06	o 32999
76.06	c 7768
76.14	o 33002
76.14	c 7765
76.22	o 33005
76.22	c 7762
76.30	o 33008
76.30	c 7759
76.38	o 33011
76.38	c 7756
76.47	o 33014
76.47	c 7753
76.54	o 33016
76.54	c 7751
76.62	o 33018
76.62	c 7749
76.69	o 33020
76.69	c 7747
76.77	o 33022
76.77	c 7745
76.84	o 33031
76.84	c 7736
76.91	o 33033
76.91	c 7734
76.98	o 33035
76.98	c 7732
77.04	o 33037
77.05	c 7730
77.12	o 33039
77.12	c 7728
77.20	o 33041
77.20	c 7726
77.28	o 33043
77.28	c 7724
77.35	o 33046
77.35	c 7721
77.42	o 33047
77.42	c 7720
77.50	o 33052
77.50	c 7715
77.57	o 33053
77.57	c 7714
77.76	o 33054
77.76	c 7713
77.87	o 33058
77.87	c 7709
78.09	o 33059
78.09	c 7708
78.15	o 33062
78.15	c 7705
78.18	o 33063
78.18	c 7704
78.24	o 33067
78.24	c 7700
78.29	o 33070
78.29	c 7697
78.33	o 33075
78.33	c 7692
78.39	o 33082
78.39	c 7685
78.42	o 33088
78.42	c 7679
78.48	o 33089
78.48	c 7678
78.53	o 33090
78.53	c 7677
78.60	o 33097
78.60	c 7670
78.65	o 33099
78.65	c 7668
78.69	o 33101
78.69	c 7666
78.81	o 33104
78.81	c 7663
78.86	o 33105
78.86	c 7662
78.92	o 33113
78.92	c 7654
78.98	o 33118
78.98	c 7649
79.04	o 33125
79.04	c 7642
79.10	o 33131
79.10	c 7636
79.17	o 33132
79.17	c 7635
79.25	o 33137
79.25	c 7630
79.33	o 33142
79.33	c 7625
79.39	o 33147
79.39	c 7620
79.46	o 33153
79.46	c 7614
79.59	o 33160
79.59	c 7607
79.65	o 33165
79.65	c 7602
79.73	o 33171
79.73	c 7596
79.88	o 33173
79.88	c 7594
79.97	o 33182
79.97	c 7585
80.03	o 33189
80.03	c 7578
80.09	o 33197
80.09	c 7570
80.16	o 33200
80.16	c 7567
80.23	o 33202
80.23	c 7565
80.29	o 33205
80.29	c 7562
80.34	o 33208
80.34	c 7559
80.40	o 33211
80.40	c 7556
80.46	o 33217
80.46	c 7550
80.52	o 33218
80.52	c 7549
80.57	o 33221
80.57	c 7546
80.62	o 33227
80.62	c 7540
80.68	o 33230
80.68	c 7537
80.74	o 33235
80.74	c 7532
80.81	o 33236
80.81	c 7531
80.87	o 33239
80.87	c 7528
80.98	o 33242
80.98	c 7525
81.04	o 33243
81.04	c 7524
81.12	o 33246
81.12	c 7521
81.20	o 33249
81.20	c 7518
81.27	o 33256
81.27	c 7511
81.34	o 33262
81.34	c 7505
81.43	o 33271
81.43	c 7496
81.53	o 33280
81.53	c 7487
81.65	o 33287
81.65	c 7480
81.76	o 33289
81.76	c 7478
81.87	o 33295
81.87	c 7472
81.98	o 33301
81.99	c 7466
82.09	o 33306
82.09	c 7461
82.21	o 33311
82.21	c 7456
82.31	o 33316
82.31	c 7451
82.43	o 33319
82.43	c 7448
82.54	o 33325
82.54	c 7442
82.65	o 33330
82.65	c 7437
82.87	o 33335
82.87	c 7432
82.96	o 33340
82.96	c 7427
83.06	o 33341
83.06	c 7426
83.16	o 33346
83.16	c 7421
83.24	o 33352
83.24	c 7415
83.35	o 33356
83.35	c 7411
83.46	o 33360
83.46	c 7407
83.57	o 33364
83.57	c 7403
83.68	o 33368
83.68	c 7399
83.76	o 33372
83.76	c 7395
83.86	o 33376
83.86	c 7391
83.93	o 33380
83.93	c 7387
84.02	o 33386
84.02	c 7381
84.09	o 33389
84.09	c 7378
84.18	o 33392
84.18	c 7375
84.26	o 33395
84.26	c 7372
84.32	o 33399
84.32	c 7368
84.39	o 33402
84.39	c 7365
84.47	o 33405
84.47	c 7362
84.54	o 33408
84.54	c 7359
84.60	o 33411
84.60	c 7356
84.67	o 33413
84.67	c 7354
84.82	o 33415
84.82	c 7352
84.88	o 33417
84.88	c 7350
84.95	o 33419
84.95	c 7348
85.01	o 33421
85.01	c 7346
85.09	o 33422
85.09	c 7345
85.16	o 33423
85.16	c 7344
85.48	o 33424
85.48	c 7343
85.54	o 33425
85.54	c 7342
85.60	o 33428
85.60	c 7339
85.68	o 33433
85.68	c 7334
85.73	o 33438
85.73	c 7329
85.79	o 33439
85.79	c 7328
85.85	o 33443
85.85	c 7324
85.92	o 33450
85.92	c 7317
86.04	o 33454
86.04	c 7313
86.11	o 33457
86.11	c 7310
86.18	o 33462
86.18	c 7305
86.26	o 33464
86.26	c 7303
86.34	o 33469
86.34	c 7298
86.41	o 33474
86.41	c 7293
86.46	o 33475
86.46	c 7292
86.55	o 33477
86.55	c 7290
86.60	o 33480
86.60	c 7287
86.67	o 33484
86.67	c 7283
86.75	o 33486
86.75	c 7281
86.81	o 33489
86.81	c 7278
86.88	o 33493
86.88	c 7274
86.93	o 33497
86.93	c 7270
87.00	o 33501
87.00	c 7266
87.06	o 33503
87.06	c 7264
87.20	o 33505
87.20	c 7262
87.26	o 33509
87.26	c 7258
87.32	o 33510
87.32	c 7257
87.38	o 33513
87.38	c 7254
87.44	o 33516
87.44	c 7251
87.53	o 33520
87.53	c 7247
87.58	o 33524
87.58	c 7243
87.64	o 33525
87.64	c 7242
87.70	o 33533
87.70	c 7234
87.76	o 33538
87.77	c 7229
87.82	o 33543
87.82	c 7224
87.88	o 33544
87.88	c 7223
87.93	o 33545
87.93	c 7222
87.98	o 33550
87.98	c 7217
88.03	o 33551
88.03	c 7216
88.07	o 33552
88.07	c 7215
88.13	o 33553
88.13	c 7214
88.19	o 33562
88.19	c 7205
88.25	o 33566
88.25	c 7201
88.38	o 33569
88.38	c 7198
88.44	o 33571
88.44	c 7196
88.50	o 33578
88.50	c 7189
88.56	o 33584
88.56	c 7183
88.61	o 33586
88.61	c 7181
88.66	o 33587
88.66	c 7180
88.77	o 33589
88.77	c 7178
88.81	o 33591
88.81	c 7176
88.87	o 33596
88.87	c 7171
88.94	o 33604
88.94	c 7163
89.01	o 33607
89.01	c 7160
89.07	o 33615
89.07	c 7152
89.13	o 33618
89.13	c 7149
89.21	o 33621
89.21	c 7146
89.29	o 33624
89.29	c 7143
89.36	o 33628
89.36	c 7139
89.43	o 33630
89.43	c 7137
89.58	o 33634
89.58	c 7133
89.73	o 33638
89.73	c 7129
89.81	o 33640
89.81	c 7127
89.87	o 33641
89.87	c 7126
89.99	o 33643
89.99	c 7124
90.04	o 33647
90.04	c 7120
90.12	o 33649
90.12	c 7118
90.18	o 33654
90.18	c 7113
90.23	o 33655
90.23	c 7112
90.32	o 33657
90.32	c 7110
90.38	o 33663
90.38	c 7104
90.43	o 33669
90.43	c 7098
90.52	o 33675
90.52	c 7092
90.60	o 33677
90.60	c 7090
90.66	o 33678
90.66	c 7089
90.74	o 33686
90.74	c 7081
90.80	o 33687
90.80	c 7080
90.86	o 33688
90.86	c 7079
90.93	o 33694
90.93	c 7073
91.14	o 33696
91.14	c 7071
91.31	o 33701
91.31	c 7066
91.42	o 33709
91.42	c 7058
91.50	o 33717
91.50	c 7050
91.61	o 33720
91.61	c 7047
91.72	o 33727
91.72	c 7040
91.86	o 33733
91.86	c 7034
92.00	o 33739
92.00	c 7028
92.16	o 33744
92.16	c 7023
92.30	o 33749
92.30	c 7018
92.42	o 33754
92.42	c 7013
92.54	o 33758
92.54	c 7009
92.67	o 33761
92.67	c 7006
92.80	o 33766
92.80	c 7001
92.94	o 33771
92.94	c 6996
93.08	o 33776
93.08	c 6991
93.20	o 33780
93.20	c 6987
93.32	o 33784
93.32	c 6983
93.44	o 33788
93.44	c 6979
93.55	o 33790
93.55	c 6977
93.65	o 33794
93.65	c 6973
93.75	o 33796
93.75	c 6971
93.87	o 33800
93.87	c 6967
93.98	o 33804
93.98	c 6963
94.11	o 33808
94.11	c 6959
94.24	o 33811
94.24	c 6956
94.35	o 33814
94.35	c 6953
94.46	o 33817
94.46	c 6950
94.66	o 33823
94.66	c 6944
94.87	o 33826
94.87	c 6941
94.96	o 33830
94.96	c 6937
95.06	o 33833
95.06	c 6934
95.16	o 33835
95.16	c 6932
95.26	o 33839
95.26	c 6928
95.36	o 33841
95.36	c 6926
95.45	o 33842
95.45	c 6925
95.54	o 33843
95.54	c 6924
95.64	o 33844
95.64	c 6923
95.73	o 33845
95.73	c 6922
95.81	o 33846
95.81	c 6921
95.90	o 33847
95.90	c 6920
95.99	o 33848
95.99	c 6919
96.09	o 33849
96.09	c 6918
96.18	o 33854
96.18	c 6913
96.28	o 33855
96.28	c 6912
96.45	o 33860
96.45	c 6907
97.30	o 33861
97.30	c 6906
97.38	o 33864
97.38	c 6903
97.47	o 33868
97.47	c 6899
97.63	o 33871
97.63	c 6896
97.71	o 33872
97.71	c 6895
97.82	o 33877
97.82	c 6890
98.21	o 33882
98.21	c 6885
98.30	o 33885
98.30	c 6882
98.40	o 33886
98.40	c 6881
98.51	o 33889
98.51	c 6878
98.59	o 33894
98.59	c 6873
98.70	o 33899
98.70	c 6868
98.78	o 33904
98.78	c 6863
98.96	o 33905
98.96	c 6862
99.07	o 33910
99.07	c 6857
99.35	o 33914
99.35	c 6853
99.44	o 33919
99.44	c 6848
99.63	o 33921
99.63	c 6846
99.74	o 33922
99.74	c 6845
99.86	o 33927
99.86	c 6840
99.97	o 33930
99.97	c 6837
100.09	o 33932
100.09	c 6835
100.20	o 33934
100.20	c 6833
100.32	o 33937
100.32	c 6830
100.55	o 33940
100.55	c 6827
100.66	o 33946
100.66	c 6821
100.77	o 33954
100.77	c 6813
100.88	o 33959
100.88	c 6808
100.99	o 33962
100.99	c 6805
101.21	o 33965
101.21	c 6802
101.31	o 33967
101.31	c 6800
101.43	o 33968
101.43	c 6799
101.55	o 33971
101.55	c 6796
101.66	o 33974
101.66	c 6793
101.77	o 33979
101.77	c 6788
101.90	o 33986
101.90	c 6781
102.01	o 33987
102.01	c 6780
102.11	o 33989
102.11	c 6778
102.22	o 33992
102.22	c 6775
102.33	o 33994
102.33	c 6773
102.44	o 33996
102.44	c 6771
102.55	o 33999
102.55	c 6768
102.79	o 34002
102.79	c 6765
102.90	o 34007
102.90	c 6760
103.17	o 34009
103.17	c 6758
103.30	o 34012
103.30	c 6755
103.43	o 34015
103.43	c 6752
103.57	o 34018
103.57	c 6749
103.69	o 34021
103.69	c 6746
103.81	o 34024
103.81	c 6743
103.93	o 34027
103.93	c 6740
104.32	o 34030
104.32	c 6737
104.55	o 34032
104.55	c 6735
104.66	o 34035
104.66	c 6732
104.77	o 34038
104.77	c 6729
104.87	o 34043
104.87	c 6724
105.00	o 34045
105.00	c 6722
105.13	o 34046
105.13	c 6721
105.24	o 34048
105.24	c 6719
105.38	o 34052
105.38	c 6715
105.48	o 34055
105.48	c 6712
105.81	o 34059
105.81	c 6708
105.99	o 34060
105.99	c 6707
106.10	o 34067
106.10	c 6700
106.20	o 34070
106.20	c 6697
106.32	o 34072
106.32	c 6695
106.43	o 34074
106.43	c 6693
106.51	o 34076
106.51	c 6691
106.61	o 34080
106.61	c 6687
106.70	o 34082
106.70	c 6685
106.78	o 34084
106.78	c 6683
106.89	o 34086
106.89	c 6681
106.98	o 34090
106.99	c 6677
107.08	o 34092
107.08	c 6675
107.17	o 34093
107.17	c 6674
107.27	o 34095
107.27	c 6672
107.37	o 34097
107.37	c 6670
107.47	o 34101
107.47	c 6666
107.56	o 34102
107.56	c 6665
107.95	o 34105
107.95	c 6662
108.04	o 34110
108.04	c 6657
108.13	o 34112
108.13	c 6655
108.24	o 34116
108.24	c 6651
108.36	o 34120
108.36	c 6647
108.47	o 34123
108.47	c 6644
108.59	o 34126
108.59	c 6641
108.72	o 34129
108.72	c 6638
108.85	o 34134
108.85	c 6633
108.97	o 34136
108.97	c 6631
109.10	o 34138
109.10	c 6629
109.21	o 34140
109.21	c 6627
109.34	o 34142
109.34	c 6625
109.44	o 34143
109.44	c 6624
109.56	o 34147
109.56	c 6620
109.67	o 34148
109.67	c 6619
109.77	o 34149
109.77	c 6618
109.89	o 34154
109.89	c 6613
110.21	o 34158
110.21	c 6609
110.90	o 34160
110.90	c 6607
110.98	o 34165
110.98	c 6602
111.09	o 34167
111.09	c 6600
111.18	o 34168
111.18	c 6599
111.28	o 34172
111.28	c 6595
111.38	o 34175
111.38	c 6592
111.49	o 34178
111.49	c 6589
111.71	o 34179
111.71	c 6588
111.83	o 34184
111.83	c 6583
112.05	o 34186
112.05	c 6581
112.16	o 34189
112.16	c 6578
112.29	o 34191
112.29	c 6576
112.49	o 34193
112.49	c 6574
112.61	o 34199
112.61	c 6568
112.72	o 34206
112.72	c 6561
112.83	o 34207
112.83	c 6560
112.94	o 34208
112.94	c 6559
113.17	o 34210
113.17	c 6557
113.39	o 34214
113.39	c 6553
113.62	o 34216
113.62	c 6551
113.74	o 34217
113.74	c 6550
113.84	o 34218
113.84	c 6549
113.96	o 34221
113.96	c 6546
114.18	o 34222
114.18	c 6545
114.54	o 34225
114.54	c 6542
114.65	o 34228
114.65	c 6539
114.86	o 34230
114.86	c 6537
114.97	o 34232
114.97	c 6535
115.28	o 34236
115.28	c 6531
115.39	o 34237
115.39	c 6530
115.50	o 34240
115.50	c 6527
115.63	o 34242
115.63	c 6525
115.73	o 34249
115.73	c 6518
115.82	o 34254
115.82	c 6513
116.14	o 34259
116.14	c 6508
116.25	o 34261
116.25	c 6506
116.37	o 34262
116.37	c 6505
116.48	o 34266
116.48	c 6501
116.58	o 34269
116.58	c 6498
116.71	o 34273
116.71	c 6494
116.82	o 34280
116.82	c 6487
116.94	o 34286
116.94	c 6481
117.16	o 34290
117.16	c 6477
117.28	o 34293
117.28	c 6474
117.50	o 34298
117.50	c 6469
117.62	o 34301
117.62	c 6466
117.72	o 34304
117.72	c 6463
117.83	o 34306
117.83	c 6461
117.95	o 34311
117.95	c 6456
118.06	o 34316
118.06	c 6451
118.17	o 34318
118.17	c 6449
118.28	o 34322
118.28	c 6445
118.41	o 34324
118.41	c 6443
118.53	o 34328
118.53	c 6439
118.64	o 34332
118.64	c 6435
118.76	o 34333
118.76	c 6434
118.88	o 34336
118.88	c 6431
119.01	o 34341
119.01	c 6426
119.10	o 34342
119.10	c 6425
119.22	o 34346
119.22	c 6421
119.34	o 34349
119.34	c 6418
119.47	o 34351
119.47	c 6416
119.58	o 34356
119.58	c 6411
119.70	o 34357
119.70	c 6410
119.83	o 34362
119.83	c 6405
119.95	o 34363
119.95	c 6404
120.07	o 34366
120.07	c 6401
120.21	o 34367
120.21	c 6400
120.32	o 34370
120.32	c 6397
120.45	o 34372
120.45	c 6395
120.56	o 34377
120.56	c 6390
120.67	o 34378
120.67	c 6389
120.79	o 34381
120.79	c 6386
120.90	o 34383
120.90	c 6384
121.02	o 34387
121.02	c 6380
121.14	o 34388
121.14	c 6379
121.26	o 34395
121.26	c 6372
121.60	o 34397
121.60	c 6370
121.70	o 34398
121.70	c 6369
121.83	o 34399
121.83	c 6368
122.09	o 34402
122.09	c 6365
122.20	o 34406
122.20	c 6361
122.35	o 34408
122.35	c 6359
122.51	o 34410
122.51	c 6357
122.65	o 34414
122.65	c 6353
122.79	o 34418
122.79	c 6349
123.05	o 34423
123.05	c 6344
123.20	o 34425
123.20	c 6342
123.66	o 34430
123.66	c 6337
123.79	o 34432
123.79	c 6335
123.94	o 34433
123.94	c 6334
124.08	o 34434
124.08	c 6333
124.22	o 34439
124.22	c 6328
124.36	o 34442
124.36	c 6325
124.51	o 34447
124.51	c 6320
124.66	o 34452
124.66	c 6315
124.78	o 34454
124.78	c 6313
124.93	o 34455
124.93	c 6312
125.07	o 34458
125.07	c 6309
125.21	o 34459
125.21	c 6308
125.34	o 34462
125.34	c 6305
125.48	o 34467
125.48	c 6300
125.76	o 34469
125.76	c 6298
125.91	o 34471
125.91	c 6296
126.06	o 34475
126.06	c 6292
126.88	o 34480
126.88	c 6287
127.02	o 34484
127.02	c 6283
127.15	o 34485
127.15	c 6282
127.30	o 34490
127.30	c 6277
127.43	o 34494
127.43	c 6273
127.56	o 34495
127.56	c 6272
127.70	o 34496
127.70	c 6271
127.86	o 34500
127.86	c 6267
128.00	o 34503
128.00	c 6264
128.15	o 34505
128.15	c 6262
128.29	o 34509
128.29	c 6258
128.43	o 34510
128.43	c 6257
128.56	o 34512
128.56	c 6255
128.70	o 34514
128.70	c 6253
128.83	o 34516
128.83	c 6251
128.96	o 34520
128.96	c 6247
129.49	o 34524
129.49	c 6243
129.75	o 34526
129.75	c 6241
130.28	o 34527
130.28	c 6240
130.41	o 34534
130.41	c 6233
130.54	o 34537
130.54	c 6230
130.68	o 34540
130.68	c 6227
130.81	o 34541
130.81	c 6226
130.93	o 34544
130.93	c 6223
131.08	o 34549
131.08	c 6218
131.23	o 34550
131.23	c 6217
131.35	o 34553
131.35	c 6214
131.50	o 34556
131.50	c 6211
131.66	o 34560
131.66	c 6207
132.31	o 34563
132.31	c 6204
132.44	o 34568
132.44	c 6199
132.58	o 34573
132.58	c 6194
132.70	o 34576
132.70	c 6191
132.83	o 34579
132.83	c 6188
132.95	o 34581
132.95	c 6186
133.07	o 34583
133.07	c 6184
133.22	o 34586
133.22	c 6181
133.37	o 34588
133.37	c 6179
133.48	o 34590
133.48	c 6177
133.62	o 34591
133.62	c 6176
133.77	o 34592
133.77	c 6175
134.00	o 34593
134.00	c 6174
134.23	o 34598
134.23	c 6169
134.36	o 34600
134.36	c 6167
134.48	o 34603
134.48	c 6164
134.60	o 34604
134.60	c 6163
134.72	o 34607
134.72	c 6160
134.86	o 34612
134.86	c 6155
135.00	o 34616
135.00	c 6151
135.26	o 34618
135.26	c 6149
135.38	o 34623
135.38	c 6144
135.75	o 34626
135.75	c 6141
135.88	o 34629
135.88	c 6138
136.02	o 34631
136.02	c 6136
136.14	o 34635
136.14	c 6132
136.39	o 34638
136.39	c 6129
136.53	o 34644
136.53	c 6123
136.66	o 34646
136.66	c 6121
136.79	o 34648
136.79	c 6119
136.91	o 34651
136.91	c 6116
137.03	o 34654
137.03	c 6113
137.17	o 34655
137.17	c 6112
137.29	o 34658
137.29	c 6109
137.39	o 34660
137.39	c 6107
137.51	o 34661
137.51	c 6106
137.63	o 34665
137.63	c 6102
137.86	o 34667
137.86	c 6100
137.97	o 34669
137.97	c 6098
138.57	o 34674
138.57	c 6093
138.69	o 34677
138.69	c 6090
138.81	o 34679
138.81	c 6088
138.94	o 34681
138.94	c 6086
139.06	o 34687
139.06	c 6080
139.17	o 34691
139.17	c 6076
139.30	o 34694
139.30	c 6073
139.41	o 34696
139.41	c 6071
139.74	o 34698
139.74	c 6069
139.86	o 34701
139.86	c 6066
140.61	o 34704
140.61	c 6063
140.73	o 34706
140.73	c 6061
140.85	o 34708
140.85	c 6059
140.99	o 34710
140.99	c 6057
141.08	o 34716
141.08	c 6051
141.19	o 34718
141.19	c 6049
141.31	o 34721
141.31	c 6046
141.40	o 34726
141.40	c 6041
141.65	o 34727
141.65	c 6040
141.77	o 34728
141.77	c 6039
141.88	o 34729
141.88	c 6038
142.01	o 34730
142.01	c 6037
142.26	o 34734
142.26	c 6033
142.75	o 34735
142.75	c 6032
142.86	o 34736
142.86	c 6031
142.98	o 34744
142.98	c 6023
143.20	o 34746
143.20	c 6021
143.33	o 34749
143.33	c 6018
143.55	o 34753
143.55	c 6014
144.05	o 34755
144.05	c 6012
144.18	o 34760
144.18	c 6007
144.43	o 34765
144.43	c 6002
144.57	o 34767
144.57	c 6000
144.70	o 34771
144.71	c 5996
145.11	o 34772
145.11	c 5995
145.22	o 34774
145.22	c 5993
145.36	o 34776
145.36	c 5991
145.49	o 34778
145.49	c 5989
145.90	o 34783
145.90	c 5984
146.06	o 34785
146.06	c 5982
146.20	o 34791
146.20	c 5976
146.36	o 34795
146.36	c 5972
146.50	o 34799
146.50	c 5968
147.07	o 34802
147.07	c 5965
147.22	o 34807
147.22	c 5960
147.36	o 34810
147.36	c 5957
147.50	o 34812
147.50	c 5955
148.10	o 34813
148.10	c 5954
148.26	o 34820
148.26	c 5947
148.42	o 34827
148.42	c 5940
149.05	o 34829
149.05	c 5938
149.20	o 34832
149.20	c 5935
149.34	o 34837
149.34	c 5930
149.50	o 34838
149.50	c 5929
149.66	o 34841
149.66	c 5926
149.82	o 34847
149.82	c 5920
149.99	o 34853
149.99	c 5914
150.29	o 34855
150.29	c 5912
150.43	o 34857
150.43	c 5910
150.58	o 34863
150.58	c 5904
150.74	o 34864
150.74	c 5903
150.89	o 34866
150.89	c 5901
151.04	o 34868
151.04	c 5899
151.17	o 34869
151.17	c 5898
151.34	o 34872
151.34	c 5895
152.08	o 34873
152.08	c 5894
152.23	o 34875
152.23	c 5892
152.37	o 34876
152.37	c 5891
152.51	o 34878
152.51	c 5889
152.67	o 34882
152.67	c 5885
152.83	o 34884
152.83	c 5883
153.37	o 34885
153.37	c 5882
153.54	o 34887
153.54	c 5880
153.90	o 34890
153.90	c 5877
154.08	o 34892
154.08	c 5875
154.26	o 34895
154.26	c 5872
154.43	o 34899
154.43	c 5868
154.60	o 34900
154.60	c 5867
154.94	o 34902
154.94	c 5865
155.13	o 34905
155.13	c 5862
155.85	o 34910
155.85	c 5857
156.03	o 34912
156.03	c 5855
156.21	o 34913
156.21	c 5854
156.40	o 34916
156.40	c 5851
156.59	o 34918
156.59	c 5849
156.77	o 34920
156.77	c 5847
156.96	o 34923
156.96	c 5844
157.13	o 34927
157.13	c 5840
157.31	o 34930
157.31	c 5837
157.50	o 34932
157.50	c 5835
157.66	o 34934
157.66	c 5833
157.82	o 34936
157.82	c 5831
157.99	o 34937
157.99	c 5830
158.33	o 34938
158.33	c 5829
158.48	o 34939
158.48	c 5828
158.64	o 34943
158.64	c 5824
159.36	o 34946
159.36	c 5821
159.54	o 34950
159.54	c 5817
159.71	o 34955
159.71	c 5812
159.89	o 34956
159.89	c 5811
160.07	o 34961
160.07	c 5806
160.26	o 34965
160.26	c 5802
160.60	o 34970
160.60	c 5797
160.78	o 34971
160.78	c 5796
160.96	o 34974
160.96	c 5793
161.13	o 34976
161.13	c 5791
161.30	o 34979
161.30	c 5788
161.47	o 34982
161.47	c 5785
161.85	o 34985
161.85	c 5782
162.03	o 34988
162.03	c 5779
162.22	o 34990
162.22	c 5777
162.42	o 34994
162.42	c 5773
162.60	o 35000
162.60	c 5767
162.80	o 35001
162.80	c 5766
162.99	o 35006
162.99	c 5761
163.19	o 35008
163.19	c 5759
163.57	o 35010
163.57	c 5757
163.75	o 35013
163.75	c 5754
163.96	o 35015
163.96	c 5752
164.19	o 35016
164.19	c 5751
164.83	o 35019
164.83	c 5748
165.05	o 35022
165.05	c 5745
165.26	o 35025
165.26	c 5742
165.49	o 35029
165.49	c 5738
165.70	o 35031
165.70	c 5736
165.91	o 35033
165.91	c 5734
166.13	o 35035
166.13	c 5732
166.35	o 35038
166.35	c 5729
166.57	o 35039
166.57	c 5728
166.78	o 35040
166.78	c 5727
166.98	o 35041
166.98	c 5726
167.87	o 35043
167.87	c 5724
170.17	o 35046
170.17	c 5721
170.35	o 35047
170.35	c 5720
170.53	o 35048
170.53	c 5719
171.09	o 35056
171.09	c 5711
171.27	o 35057
171.27	c 5710
171.45	o 35059
171.45	c 5708
171.64	o 35061
171.64	c 5706
172.15	o 35063
172.15	c 5704
172.48	o 35066
172.48	c 5701
173.18	o 35067
173.18	c 5700
173.38	o 35068
173.38	c 5699
173.56	o 35072
173.56	c 5695
173.73	o 35073
173.73	c 5694
173.90	o 35074
173.90	c 5693
174.06	o 35075
174.06	c 5692
174.41	o 35078
174.41	c 5689
174.58	o 35079
174.58	c 5688
174.91	o 35080
174.91	c 5687
175.09	o 35084
175.09	c 5683
175.25	o 35088
175.25	c 5679
175.42	o 35090
175.42	c 5677
175.77	o 35093
175.77	c 5674
176.12	o 35095
176.12	c 5672
176.30	o 35100
176.30	c 5667
176.49	o 35106
176.49	c 5661
176.69	o 35109
176.69	c 5658
176.87	o 35111
176.87	c 5656
177.03	o 35115
177.03	c 5652
177.20	o 35119
177.21	c 5648
177.36	o 35120
177.36	c 5647
177.88	o 35123
177.88	c 5644
178.06	o 35125
178.06	c 5642
178.24	o 35126
178.24	c 5641
178.43	o 35129
178.43	c 5638
178.63	o 35131
178.63	c 5636
178.82	o 35134
178.82	c 5633
179.02	o 35139
179.02	c 5628
179.16	o 35140
179.16	c 5627
179.70	o 35141
179.70	c 5626
180.06	o 35145
180.06	c 5622
180.25	o 35146
180.25	c 5621
180.44	o 35148
180.44	c 5619
180.64	o 35152
180.64	c 5615
180.84	o 35158
180.84	c 5609
181.24	o 35161
181.24	c 5606
181.43	o 35166
181.43	c 5601
181.83	o 35167
181.83	c 5600
182.03	o 35172
182.03	c 5595
182.23	o 35179
182.23	c 5588
182.44	o 35182
182.44	c 5585
182.62	o 35183
182.62	c 5584
183.04	o 35187
183.04	c 5580
183.24	o 35190
183.24	c 5577
183.46	o 35195
183.46	c 5572
183.86	o 35197
183.86	c 5570
184.08	o 35201
184.08	c 5566
184.28	o 35204
184.28	c 5563
184.47	o 35208
184.47	c 5559
184.89	o 35212
184.89	c 5555
185.07	o 35216
185.07	c 5551
185.28	o 35218
185.28	c 5549
185.70	o 35220
185.70	c 5547
185.91	o 35222
185.91	c 5545
186.12	o 35224
186.12	c 5543
186.32	o 35225
186.32	c 5542
186.52	o 35226
186.52	c 5541
186.72	o 35228
186.72	c 5539
186.92	o 35231
186.92	c 5536
187.13	o 35232
187.13	c 5535
187.33	o 35233
187.33	c 5534
187.74	o 35234
187.74	c 5533
187.93	o 35235
187.93	c 5532
188.14	o 35238
188.14	c 5529
188.90	o 35243
188.90	c 5524
189.28	o 35244
189.28	c 5523
189.46	o 35245
189.46	c 5522
189.65	o 35250
189.65	c 5517
190.44	o 35254
190.44	c 5513
190.61	o 35257
190.61	c 5510
190.83	o 35258
190.83	c 5509
191.01	o 35260
191.01	c 5507
191.19	o 35263
191.19	c 5504
191.38	o 35264
191.38	c 5503
191.57	o 35270
191.57	c 5497
191.75	o 35272
191.75	c 5495
191.95	o 35275
191.95	c 5492
192.14	o 35276
192.14	c 5491
192.34	o 35281
192.34	c 5486
192.55	o 35283
192.55	c 5484
192.75	o 35284
192.75	c 5483
192.97	o 35286
192.97	c 5481
193.19	o 35287
193.19	c 5480
193.43	o 35288
193.43	c 5479
193.66	o 35293
193.66	c 5474
193.91	o 35294
193.91	c 5473
194.13	o 35299
194.13	c 5468
194.33	o 35301
194.33	c 5466
194.56	o 35303
194.56	c 5464
194.78	o 35306
194.78	c 5461
194.98	o 35308
194.98	c 5459
195.17	o 35309
195.17	c 5458
195.38	o 35312
195.38	c 5455
195.61	o 35313
195.61	c 5454
196.52	o 35315
196.52	c 5452
197.20	o 35317
197.20	c 5450
197.46	o 35318
197.46	c 5449
197.69	o 35320
197.69	c 5447
198.64	o 35321
198.64	c 5446
199.16	o 35325
199.16	c 5442
199.41	o 35332
199.41	c 5435
199.66	o 35334
199.66	c 5433
199.90	o 35339
199.90	c 5428
200.14	o 35343
200.14	c 5424
200.38	o 35344
200.38	c 5423
200.65	o 35345
200.65	c 5422
201.14	o 35347
201.14	c 5420
201.61	o 35349
201.61	c 5418
201.86	o 35353
201.86	c 5414
202.33	o 35358
202.33	c 5409
202.81	o 35359
202.81	c 5408
203.06	o 35360
203.06	c 5407
203.28	o 35361
203.28	c 5406
204.01	o 35366
204.01	c 5401
204.49	o 35367
204.49	c 5400
204.96	o 35372
204.96	c 5395
206.34	o 35374
206.34	c 5393
207.00	o 35375
207.00	c 5392
207.25	o 35378
207.25	c 5389
207.50	o 35379
207.50	c 5388
207.73	o 35382
207.73	c 5385
207.97	o 35384
207.97	c 5383
208.96	o 35386
208.96	c 5381
209.71	o 35389
209.71	c 5378
209.87	o 35391
209.87	c 5376
210.33	o 35393
210.33	c 5374
211.08	o 35395
211.08	c 5372
211.33	o 35396
211.33	c 5371
211.57	o 35402
211.57	c 5365
211.85	o 35403
211.85	c 5364
212.09	o 35406
212.09	c 5361
212.34	o 35407
212.34	c 5360
212.59	o 35408
212.59	c 5359
212.85	o 35410
212.85	c 5357
213.11	o 35411
213.11	c 5356
213.38	o 35413
213.38	c 5354
213.63	o 35416
213.63	c 5351
213.88	o 35420
213.88	c 5347
214.17	o 35422
214.17	c 5345
214.44	o 35424
214.44	c 5343
215.24	o 35425
215.24	c 5342
216.02	o 35427
216.02	c 5340
216.55	o 35428
216.55	c 5339
216.81	o 35433
216.81	c 5334
217.35	o 35436
217.35	c 5331
217.90	o 35438
217.90	c 5329
218.18	o 35445
218.18	c 5322
218.46	o 35446
218.46	c 5321
218.74	o 35449
218.74	c 5318
219.01	o 35451
219.01	c 5316
219.29	o 35456
219.29	c 5311
219.57	o 35459
219.57	c 5308
219.85	o 35463
219.86	c 5304
220.12	o 35464
220.12	c 5303
220.39	o 35465
220.39	c 5302
220.65	o 35467
220.65	c 5300
220.92	o 35468
220.92	c 5299
221.19	o 35470
221.19	c 5297
221.45	o 35473
221.45	c 5294
221.72	o 35475
221.72	c 5292
221.98	o 35476
221.98	c 5291
222.27	o 35479
222.27	c 5288
222.79	o 35481
222.79	c 5286
223.04	o 35482
223.04	c 5285
223.31	o 35486
223.31	c 5281
223.82	o 35488
223.82	c 5279
224.08	o 35492
224.08	c 5275
224.34	o 35495
224.34	c 5272
224.86	o 35496
224.86	c 5271
225.13	o 35498
225.13	c 5269
225.42	o 35500
225.42	c 5267
225.69	o 35502
225.69	c 5265
226.22	o 35504
226.22	c 5263
226.48	o 35509
226.48	c 5258
226.76	o 35511
226.76	c 5256
227.02	o 35515
227.02	c 5252
227.54	o 35516
227.54	c 5251
227.81	o 35517
227.81	c 5250
228.06	o 35519
228.06	c 5248
228.31	o 35520
228.31	c 5247
228.86	o 35521
228.86	c 5246
229.12	o 35523
229.12	c 5244
229.39	o 35524
229.39	c 5243
230.44	o 35527
230.44	c 5240
231.21	o 35530
231.21	c 5237
231.46	o 35533
231.46	c 5234
231.71	o 35535
231.71	c 5232
231.96	o 35538
231.96	c 5229
232.21	o 35541
232.21	c 5226
232.70	o 35543
232.70	c 5224
232.96	o 35544
232.96	c 5223
233.20	o 35545
233.20	c 5222
233.45	o 35546
233.45	c 5221
233.96	o 35547
233.96	c 5220
234.20	o 35553
234.20	c 5214
234.44	o 35556
234.44	c 5211
234.71	o 35559
234.71	c 5208
234.95	o 35560
234.95	c 5207
235.19	o 35561
235.19	c 5206
235.71	o 35562
235.71	c 5205
235.95	o 35564
235.95	c 5203
236.17	o 35565
236.17	c 5202
236.39	o 35567
236.39	c 5200
236.61	o 35569
236.61	c 5198
236.86	o 35574
236.86	c 5193
237.09	o 35583
237.09	c 5184
237.30	o 35586
237.30	c 5181
237.52	o 35589
237.52	c 5178
237.71	o 35594
237.71	c 5173
238.55	o 35599
238.55	c 5168
238.77	o 35603
238.84	c 5164
238.98	o 35606
238.98	c 5161
239.17	o 35607
239.17	c 5160
239.37	o 35608
239.37	c 5159
239.58	o 35609
239.58	c 5158
239.79	o 35610
239.79	c 5157
240.88	o 35613
240.88	c 5154
241.12	o 35614
241.12	c 5153
241.55	o 35615
241.55	c 5152
242.00	o 35616
242.00	c 5151
242.21	o 35620
242.21	c 5147
242.46	o 35622
242.46	c 5145
243.11	o 35623
243.11	c 5144
243.33	o 35624
243.33	c 5143
243.57	o 35625
243.57	c 5142
243.79	o 35626
243.79	c 5141
244.02	o 35630
244.02	c 5137
244.25	o 35631
244.25	c 5136
244.49	o 35638
244.49	c 5129
244.72	o 35640
244.72	c 5127
244.96	o 35642
244.96	c 5125
245.20	o 35645
245.20	c 5122
246.50	o 35646
246.50	c 5121
247.00	o 35649
247.00	c 5118
247.28	o 35651
247.28	c 5116
247.55	o 35654
247.55	c 5113
247.82	o 35655
247.82	c 5112
248.10	o 35657
248.10	c 5110
248.38	o 35659
248.38	c 5108
249.84	o 35660
249.84	c 5107
250.15	o 35662
250.15	c 5105
250.45	o 35665
250.45	c 5102
250.75	o 35666
250.75	c 5101
251.03	o 35669
251.03	c 5098
251.34	o 35673
251.34	c 5094
251.64	o 35677
251.64	c 5090
251.93	o 35678
251.93	c 5089
252.21	o 35680
252.21	c 5087
252.50	o 35684
252.50	c 5083
253.06	o 35690
253.06	c 5077
253.58	o 35695
253.58	c 5072
253.90	o 35697
253.90	c 5070
254.21	o 35700
254.21	c 5067
254.53	o 35703
254.53	c 5064
255.14	o 35706
255.14	c 5061
255.97	o 35708
255.97	c 5059
256.83	o 35711
256.83	c 5056
257.68	o 35714
257.68	c 5053
257.95	o 35716
257.95	c 5051
258.24	o 35721
258.24	c 5046
259.34	o 35724
259.34	c 5043
259.61	o 35726
259.61	c 5041
259.87	o 35729
259.87	c 5038
260.07	o 35733
260.07	c 5034
260.33	o 35734
260.33	c 5033
260.62	o 35738
260.62	c 5029
260.93	o 35739
260.93	c 5028
261.21	o 35741
261.21	c 5026
261.48	o 35742
261.48	c 5025
262.17	o 35743
262.17	c 5024
263.80	o 35744
263.80	c 5023
264.08	o 35745
264.08	c 5022
266.72	o 35746
266.72	c 5021
267.52	o 35750
267.52	c 5017
268.77	o 35751
268.77	c 5016
269.00	o 35753
269.00	c 5014
270.25	o 35755
270.25	c 5012
270.98	o 35756
270.98	c 5011
271.48	o 35758
271.48	c 5009
271.76	o 35761
271.76	c 5006
272.01	o 35762
272.01	c 5005
272.26	o 35764
272.26	c 5003
272.52	o 35767
272.52	c 5000
272.78	o 35772
272.78	c 4995
273.05	o 35774
273.05	c 4993
273.31	o 35776
273.31	c 4991
274.62	o 35777
274.62	c 4990
274.90	o 35778
274.90	c 4989
275.43	o 35779
275.43	c 4988
275.70	o 35781
275.70	c 4986
276.24	o 35784
276.24	c 4983
277.04	o 35785
277.04	c 4982
277.32	o 35788
277.32	c 4979
277.60	o 35792
277.60	c 4975
277.88	o 35793
277.88	c 4974
278.41	o 35795
278.41	c 4972
279.22	o 35797
279.22	c 4970
279.48	o 35799
279.48	c 4968
279.78	o 35801
279.78	c 4966
280.04	o 35804
280.04	c 4963
280.32	o 35807
280.32	c 4960
280.59	o 35809
280.59	c 4958
280.85	o 35811
280.85	c 4956
282.19	o 35812
282.19	c 4955
282.44	o 35814
282.44	c 4953
282.72	o 35815
282.72	c 4952
282.97	o 35816
282.97	c 4951
283.24	o 35823
283.24	c 4944
283.51	o 35826
283.51	c 4941
283.78	o 35827
283.78	c 4940
284.56	o 35830
284.56	c 4937
285.05	o 35833
285.05	c 4934
285.56	o 35836
285.56	c 4931
285.76	o 35838
285.76	c 4929
286.00	o 35840
286.00	c 4927
286.73	o 35843
286.73	c 4924
286.98	o 35846
286.98	c 4921
287.23	o 35848
287.23	c 4919
287.48	o 35851
287.48	c 4916
287.74	o 35854
287.74	c 4913
288.49	o 35859
288.49	c 4908
288.75	o 35860
288.75	c 4907
289.01	o 35864
289.01	c 4903
289.53	o 35866
289.53	c 4901
289.79	o 35867
289.79	c 4900
290.34	o 35869
290.34	c 4898
290.58	o 35871
290.58	c 4896
290.83	o 35873
290.83	c 4894
291.06	o 35877
291.06	c 4890
291.33	o 35879
291.33	c 4888
291.60	o 35882
291.60	c 4885
291.86	o 35884
291.86	c 4883
292.11	o 35886
292.11	c 4881
292.39	o 35889
292.39	c 4878
292.61	o 35891
292.61	c 4876
294.01	o 35892
294.01	c 4875
294.32	o 35894
294.32	c 4873
294.62	o 35895
294.62	c 4872
295.43	o 35899
295.43	c 4868
295.72	o 35900
295.72	c 4867
296.01	o 35902
296.01	c 4865
296.30	o 35903
296.30	c 4864
296.89	o 35905
296.89	c 4862
297.47	o 35909
297.47	c 4858
298.04	o 35913
298.04	c 4854
298.31	o 35915
298.31	c 4852
298.90	o 35916
298.90	c 4851
299.20	o 35919
299.20	c 4848
299.76	o 35922
299.76	c 4845
300.06	o 35928
300.06	c 4839
300.95	o 35929
300.95	c 4838
301.87	o 35930
301.87	c 4837
302.17	o 35932
302.17	c 4835
303.82	o 35934
303.82	c 4833
304.46	o 35939
304.46	c 4828
304.79	o 35942
304.79	c 4825
307.24	o 35946
307.24	c 4821
308.17	o 35947
308.17	c 4820
308.46	o 35948
308.46	c 4819
308.75	o 35953
308.75	c 4814
308.82	o 35955
308.82	c 4812
310.62	o 35958
310.62	c 4809
310.92	o 35960
310.92	c 4807
311.22	o 35961
311.22	c 4806
311.54	o 35962
311.54	c 4805
313.04	o 35967
313.04	c 4800
313.34	o 35970
313.34	c 4797
313.67	o 35972
313.67	c 4795
314.30	o 35973
314.30	c 4794
314.60	o 35974
314.60	c 4793
316.47	o 35976
316.47	c 4791
316.77	o 35979
316.77	c 4788
317.09	o 35981
317.09	c 4786
317.42	o 35982
317.42	c 4785
317.74	o 35985
317.74	c 4782
318.06	o 35986
318.06	c 4781
318.38	o 35987
318.38	c 4780
318.69	o 35990
318.69	c 4777
319.33	o 35992
319.33	c 4775
321.17	o 35993
321.17	c 4774
321.49	o 35997
321.49	c 4770
321.80	o 36002
321.80	c 4765
322.11	o 36003
322.11	c 4764
322.42	o 36005
322.42	c 4762
322.74	o 36007
322.74	c 4760
323.04	o 36013
323.04	c 4754
323.35	o 36014
323.35	c 4753
323.99	o 36017
323.99	c 4750
324.30	o 36020
324.30	c 4747
324.60	o 36021
324.60	c 4746
325.23	o 36023
325.23	c 4744
325.83	o 36027
325.83	c 4740
326.14	o 36031
326.14	c 4736
326.76	o 36033
326.76	c 4734
327.05	o 36035
327.05	c 4732
327.38	o 36040
327.38	c 4727
327.70	o 36042
327.70	c 4725
328.30	o 36044
328.30	c 4723
328.42	o 36046
328.42	c 4721
328.72	o 36049
328.72	c 4718
329.04	o 36050
329.04	c 4717
329.36	o 36052
329.36	c 4715
329.67	o 36054
329.68	c 4713
329.99	o 36055
329.99	c 4712
330.30	o 36057
330.30	c 4710
330.61	o 36058
330.61	c 4709
330.94	o 36064
330.94	c 4703
331.54	o 36067
331.54	c 4700
331.86	o 36070
331.86	c 4697
332.11	o 36073
332.11	c 4694
332.41	o 36075
332.41	c 4692
333.00	o 36076
333.00	c 4691
333.84	o 36079
333.84	c 4688
334.13	o 36082
334.13	c 4685
334.42	o 36084
334.42	c 4683
335.91	o 36086
335.91	c 4681
336.18	o 36088
336.18	c 4679
338.48	o 36092
338.48	c 4675
338.71	o 36100
338.71	c 4667
338.99	o 36101
338.99	c 4666
339.28	o 36103
339.28	c 4664
339.57	o 36106
339.57	c 4661
339.86	o 36108
339.86	c 4659
340.16	o 36109
340.16	c 4658
340.45	o 36110
340.45	c 4657
340.76	o 36111
340.76	c 4656
341.08	o 36112
341.08	c 4655
341.68	o 36113
341.68	c 4654
341.98	o 36114
341.98	c 4653
342.27	o 36117
342.27	c 4650
342.57	o 36119
342.57	c 4648
342.86	o 36121
342.86	c 4646
343.73	o 36122
343.73	c 4645
344.31	o 36128
344.31	c 4639
344.59	o 36129
344.59	c 4638
344.86	o 36130
344.86	c 4637
345.13	o 36133
345.13	c 4634
345.41	o 36135
345.41	c 4632
346.18	o 36137
346.18	c 4630
346.50	o 36139
346.50	c 4628
346.79	o 36141
346.79	c 4626
347.66	o 36142
347.66	c 4625
348.25	o 36147
348.25	c 4620
348.81	o 36150
348.81	c 4617
349.10	o 36154
349.10	c 4613
349.71	o 36156
349.72	c 4611
350.02	o 36157
350.02	c 4610
350.63	o 36160
350.63	c 4607
350.97	o 36161
350.97	c 4606
351.30	o 36167
351.30	c 4600
351.62	o 36169
351.62	c 4598
351.95	o 36171
351.95	c 4596
352.27	o 36172
352.27	c 4595
352.61	o 36174
352.61	c 4593
352.95	o 36177
352.95	c 4590
353.28	o 36180
353.28	c 4587
354.33	o 36182
354.33	c 4585
355.02	o 36184
355.02	c 4583
355.35	o 36186
355.35	c 4581
355.69	o 36188
355.69	c 4579
356.37	o 36189
356.37	c 4578
357.40	o 36190
357.40	c 4577
358.41	o 36191
358.41	c 4576
358.74	o 36193
358.74	c 4574
360.32	o 36194
360.32	c 4573
360.67	o 36197
360.67	c 4570
362.11	o 36198
362.11	c 4569
362.48	o 36204
362.48	c 4563
362.85	o 36205
362.85	c 4562
363.21	o 36208
363.21	c 4559
365.49	o 36209
365.49	c 4558
365.89	o 36213
365.89	c 4554
366.25	o 36215
366.25	c 4552
366.63	o 36216
366.63	c 4551
367.05	o 36220
367.05	c 4547
368.20	o 36222
368.20	c 4545
370.80	o 36224
370.80	c 4543
373.54	o 36226
373.54	c 4541
373.93	o 36231
373.93	c 4536
376.82	o 36232
376.82	c 4535
377.20	o 36233
377.20	c 4534
377.58	o 36234
377.58	c 4533
377.98	o 36237
377.98	c 4530
378.40	o 36238
378.40	c 4529
379.96	o 36240
379.96	c 4527
380.34	o 36243
380.34	c 4524
383.44	o 36244
383.44	c 4523
384.96	o 36245
384.96	c 4522
385.37	o 36247
385.37	c 4520
385.74	o 36248
385.74	c 4519
386.13	o 36249
386.13	c 4518
386.72	o 36250
386.72	c 4517
387.10	o 36253
387.10	c 4514
387.48	o 36255
387.48	c 4512
388.24	o 36261
388.24	c 4506
388.63	o 36267
388.63	c 4500
388.99	o 36271
388.99	c 4496
390.47	o 36273
390.47	c 4494
391.59	o 36276
391.59	c 4491
391.97	o 36277
391.97	c 4490
392.74	o 36279
392.74	c 4488
393.12	o 36280
393.12	c 4487
393.49	o 36281
393.49	c 4486
393.87	o 36282
393.87	c 4485
396.17	o 36284
396.17	c 4483
396.57	o 36285
396.57	c 4482
396.95	o 36288
396.95	c 4479
397.33	o 36290
397.33	c 4477
397.74	o 36295
397.74	c 4472
401.20	o 36296
401.20	c 4471
401.59	o 36299
401.59	c 4468
401.98	o 36300
401.98	c 4467
402.70	o 36302
402.70	c 4465
403.82	o 36303
403.82	c 4464
404.96	o 36305
404.96	c 4462
406.48	o 36306
406.48	c 4461
406.89	o 36309
406.89	c 4458
407.27	o 36312
407.27	c 4455
411.71	o 36314
411.71	c 4453
412.47	o 36315
412.47	c 4452
412.86	o 36316
412.86	c 4451
413.61	o 36317
413.61	c 4450
414.00	o 36320
414.00	c 4447
414.79	o 36324
414.79	c 4443
415.17	o 36325
415.18	c 4442
415.56	o 36328
415.56	c 4439
415.96	o 36332
415.96	c 4435
416.34	o 36334
416.34	c 4433
416.71	o 36337
416.71	c 4430
417.10	o 36339
417.10	c 4428
417.46	o 36344
417.46	c 4423
419.03	o 36349
419.03	c 4418
419.43	o 36353
419.43	c 4414
419.81	o 36354
419.81	c 4413
420.21	o 36355
420.21	c 4412
420.61	o 36357
420.61	c 4410
421.01	o 36358
421.01	c 4409
421.43	o 36360
421.43	c 4407
421.82	o 36361
421.82	c 4406
422.23	o 36363
422.23	c 4404
422.64	o 36366
422.64	c 4401
424.27	o 36369
424.27	c 4398
424.67	o 36372
424.67	c 4395
425.49	o 36374
425.49	c 4393
425.93	o 36376
425.93	c 4391
426.35	o 36378
426.35	c 4389
426.75	o 36380
426.75	c 4387
427.16	o 36384
427.16	c 4383
427.97	o 36386
427.97	c 4381
428.37	o 36387
428.37	c 4380
428.77	o 36390
428.77	c 4377
429.12	o 36391
429.12	c 4376
429.51	o 36395
429.51	c 4372
429.89	o 36397
429.89	c 4370
430.29	o 36399
430.29	c 4368
430.69	o 36400
430.69	c 4367
431.08	o 36402
431.08	c 4365
431.89	o 36404
431.89	c 4363
432.66	o 36405
432.66	c 4362
433.05	o 36406
433.05	c 4361
433.48	o 36407
433.48	c 4360
434.30	o 36409
434.30	c 4358
434.68	o 36412
434.68	c 4355
435.10	o 36413
435.10	c 4354
436.26	o 36414
436.26	c 4353
436.65	o 36416
436.65	c 4351
437.06	o 36417
437.06	c 4350
437.46	o 36418
437.46	c 4349
437.86	o 36420
437.86	c 4347
438.26	o 36423
438.26	c 4344
439.05	o 36425
439.05	c 4342
439.45	o 36428
439.45	c 4339
440.24	o 36429
440.24	c 4338
441.46	o 36432
441.47	c 4335
442.32	o 36437
442.32	c 4330
443.16	o 36438
443.16	c 4329
444.44	o 36440
444.44	c 4327
445.25	o 36442
445.25	c 4325
445.66	o 36444
445.66	c 4323
446.09	o 36445
446.09	c 4322
447.18	o 36447
447.18	c 4320
447.59	o 36449
447.59	c 4318
448.40	o 36451
448.40	c 4316
448.80	o 36453
448.80	c 4314
449.20	o 36456
449.20	c 4311
449.63	o 36460
449.63	c 4307
452.78	o 36461
452.78	c 4306
453.19	o 36464
453.19	c 4303
454.00	o 36465
454.00	c 4302
454.40	o 36469
454.40	c 4298
454.81	o 36472
454.81	c 4295
455.16	o 36474
455.16	c 4293
455.56	o 36476
455.56	c 4291
455.94	o 36483
455.94	c 4284
456.52	o 36485
456.52	c 4282
456.90	o 36487
456.90	c 4280
458.81	o 36490
458.81	c 4277
461.49	o 36491
461.49	c 4276
462.32	o 36493
462.32	c 4274
462.71	o 36495
462.71	c 4272
463.86	o 36497
463.86	c 4270
464.23	o 36501
464.23	c 4266
464.62	o 36505
464.62	c 4262
465.04	o 36506
465.04	c 4261
466.23	o 36510
466.23	c 4257
466.63	o 36511
466.63	c 4256
467.44	o 36517
467.44	c 4250
467.84	o 36519
467.84	c 4248
468.22	o 36522
468.22	c 4245
468.61	o 36526
468.61	c 4241
469.03	o 36530
469.03	c 4237
469.45	o 36535
469.45	c 4232
469.85	o 36536
469.85	c 4231
470.25	o 36538
470.25	c 4229
471.80	o 36539
471.80	c 4228
473.78	o 36540
473.78	c 4227
474.18	o 36542
474.18	c 4225
474.57	o 36543
474.57	c 4224
474.96	o 36544
474.96	c 4223
475.36	o 36546
475.36	c 4221
475.77	o 36549
475.77	c 4218
476.16	o 36550
476.16	c 4217
476.55	o 36552
476.55	c 4215
476.96	o 36556
476.96	c 4211
477.34	o 36558
477.34	c 4209
477.74	o 36559
477.74	c 4208
478.51	o 36560
478.51	c 4207
478.90	o 36562
478.90	c 4205
479.28	o 36565
479.28	c 4202
480.10	o 36568
480.10	c 4199
480.49	o 36572
480.49	c 4195
480.87	o 36573
480.87	c 4194
481.25	o 36576
481.25	c 4191
481.63	o 36579
481.63	c 4188
482.01	o 36580
482.01	c 4187
482.79	o 36581
482.79	c 4186
483.54	o 36583
483.54	c 4184
483.90	o 36586
483.90	c 4181
484.28	o 36587
484.28	c 4180
486.46	o 36591
486.46	c 4176
487.19	o 36595
487.19	c 4172
488.66	o 36596
488.66	c 4171
489.04	o 36598
489.04	c 4169
489.76	o 36599
489.76	c 4168
491.26	o 36602
491.26	c 4165
491.52	o 36604
491.52	c 4163
494.84	o 36606
494.84	c 4161
495.23	o 36608
495.23	c 4159
496.06	o 36610
496.06	c 4157
496.47	o 36614
496.47	c 4153
496.77	o 36616
496.77	c 4151
497.19	o 36622
497.19	c 4145
497.53	o 36624
497.53	c 4143
497.91	o 36627
497.91	c 4140
498.14	o 36630
498.14	c 4137
498.57	o 36631
498.57	c 4136
498.99	o 36632
498.99	c 4135
499.40	o 36633
499.40	c 4134
510.02	o 36636
510.02	c 4131
514.80	o 36637
514.80	c 4130
515.64	o 36638
515.64	c 4129
516.07	o 36641
516.07	c 4126
517.80	o 36643
517.80	c 4124
518.24	o 36647
518.24	c 4120
518.66	o 36650
518.66	c 4117
519.08	o 36654
519.08	c 4113
519.51	o 36655
519.51	c 4112
520.80	o 36657
520.80	c 4110
521.25	o 36659
521.25	c 4108
523.44	o 36662
523.44	c 4105
523.64	o 36664
523.64	c 4103
526.27	o 36665
526.27	c 4102
526.51	o 36668
526.51	c 4099
526.81	o 36669
526.81	c 4098
527.25	o 36672
527.25	c 4095
527.70	o 36673
527.70	c 4094
528.99	o 36675
528.99	c 4092
529.41	o 36677
529.41	c 4090
529.86	o 36679
529.86	c 4088
530.29	o 36680
530.29	c 4087
530.73	o 36681
530.73	c 4086
531.18	o 36683
531.18	c 4084
532.96	o 36687
532.96	c 4080
533.40	o 36692
533.40	c 4075
534.28	o 36693
534.28	c 4074
537.39	o 36695
537.39	c 4072
538.23	o 36697
538.23	c 4070
540.02	o 36701
540.02	c 4066
540.49	o 36703
540.49	c 4064
540.96	o 36706
540.96	c 4061
541.43	o 36708
541.43	c 4059
544.15	o 36709
544.15	c 4058
544.62	o 36712
544.62	c 4055
544.98	o 36714
544.98	c 4053
545.46	o 36717
545.46	c 4050
545.95	o 36721
545.95	c 4046
549.12	o 36723
549.12	c 4044
559.38	o 36725
559.38	c 4042
559.86	o 36726
559.86	c 4041
560.34	o 36727
560.34	c 4040
560.82	o 36730
560.82	c 4037
561.28	o 36731
561.28	c 4036
561.74	o 36733
561.74	c 4034
562.20	o 36734
562.20	c 4033
562.65	o 36737
562.65	c 4030
563.54	o 36741
563.54	c 4026
564.01	o 36742
564.01	c 4025
564.46	o 36745
564.46	c 4022
564.91	o 36746
564.91	c 4021
567.33	o 36747
567.33	c 4020
567.80	o 36749
567.80	c 4018
570.29	o 36751
570.29	c 4016
570.80	o 36752
570.80	c 4015
571.82	o 36753
571.82	c 4014
572.78	o 36756
572.78	c 4011
573.29	o 36758
573.29	c 4009
574.04	o 36761
574.04	c 4006
574.54	o 36762
574.54	c 4005
575.04	o 36763
575.04	c 4004
575.53	o 36767
575.53	c 4000
576.02	o 36769
576.02	c 3998
576.53	o 36770
576.53	c 3997
577.51	o 36771
577.51	c 3996
578.02	o 36773
578.02	c 3994
578.40	o 36775
578.40	c 3992
579.19	o 36779
579.19	c 3988
580.16	o 36780
580.16	c 3987
581.07	o 36787
581.07	c 3980
581.54	o 36792
581.54	c 3975
581.78	o 36796
581.78	c 3971
582.09	o 36797
582.09	c 3970
582.52	o 36799
582.52	c 3968
583.49	o 36801
583.49	c 3966
583.97	o 36803
583.97	c 3964
584.47	o 36804
584.47	c 3963
584.95	o 36808
584.95	c 3959
585.43	o 36810
585.43	c 3957
585.91	o 36811
585.91	c 3956
586.37	o 36813
586.37	c 3954
587.33	o 36815
587.33	c 3952
587.80	o 36817
587.80	c 3950
590.75	o 36818
590.75	c 3949
597.28	o 36820
597.28	c 3947
597.73	o 36822
597.73	c 3945
598.18	o 36824
598.18	c 3943
604.94	o 36825
604.94	c 3942
605.57	o 36827
605.57	c 3940
608.67	o 36829
608.67	c 3938
610.04	o 36832
610.04	c 3935
610.52	o 36835
610.52	c 3932
610.99	o 36836
610.99	c 3931
611.46	o 36838
611.46	c 3929
611.86	o 36839
611.86	c 3928
613.24	o 36841
613.24	c 3926
621.13	o 36842
621.13	c 3925
621.57	o 36847
621.57	c 3920
622.39	o 36848
622.39	c 3919
624.13	o 36849
624.13	c 3918
625.44	o 36851
625.44	c 3916
625.91	o 36854
625.91	c 3913
626.16	o 36857
626.16	c 3910
626.90	o 36859
626.90	c 3908
627.74	o 36860
627.74	c 3907
628.17	o 36862
628.17	c 3905
630.41	o 36863
630.41	c 3904
631.29	o 36865
631.29	c 3902
632.57	o 36866
632.57	c 3901
632.99	o 36868
632.99	c 3899
634.62	o 36869
634.62	c 3898
635.02	o 36871
635.02	c 3896
636.65	o 36874
636.65	c 3893
637.05	o 36876
637.05	c 3891
637.45	o 36877
637.45	c 3890
637.86	o 36878
637.86	c 3889
638.28	o 36880
638.28	c 3887
638.71	o 36881
638.71	c 3886
640.31	o 36882
640.31	c 3885
640.72	o 36883
640.72	c 3884
641.52	o 36886
641.52	c 3881
644.53	o 36888
644.53	c 3879
645.09	o 36894
645.09	c 3873
646.26	o 36897
646.26	c 3870
646.65	o 36903
646.65	c 3864
650.97	o 36904
650.97	c 3863
651.74	o 36907
651.74	c 3860
652.53	o 36909
652.53	c 3858
652.93	o 36910
652.93	c 3857
653.31	o 36911
653.31	c 3856
654.16	o 36912
654.16	c 3855
654.55	o 36913
654.55	c 3854
654.94	o 36916
654.94	c 3851
655.34	o 36923
655.34	c 3844
655.77	o 36925
655.77	c 3842
656.18	o 36928
656.18	c 3839
656.60	o 36931
656.60	c 3836
657.45	o 36933
657.45	c 3834
657.88	o 36934
657.88	c 3833
658.31	o 36936
658.31	c 3831
660.88	o 36938
660.88	c 3829
664.44	o 36940
664.44	c 3827
664.89	o 36942
664.89	c 3825
665.20	o 36944
665.20	c 3823
665.63	o 36945
665.63	c 3822
666.08	o 36947
666.08	c 3820
666.54	o 36948
666.54	c 3819
668.38	o 36949
668.38	c 3818
668.85	o 36951
668.85	c 3816
670.70	o 36959
670.70	c 3808
671.61	o 36962
671.61	c 3805
672.52	o 36963
672.52	c 3804
676.72	o 36964
676.72	c 3803
677.11	o 36967
677.11	c 3800
678.06	o 36968
678.06	c 3799
679.00	o 36969
679.00	c 3798
679.48	o 36971
679.48	c 3796
679.96	o 36972
679.96	c 3795
680.43	o 36973
680.43	c 3794
680.90	o 36974
680.90	c 3793
683.27	o 36977
683.27	c 3790
684.21	o 36980
684.21	c 3787
685.15	o 36981
685.15	c 3786
686.07	o 36983
686.07	c 3784
687.01	o 36984
687.01	c 3783
687.49	o 36986
687.49	c 3781
687.97	o 36989
687.97	c 3778
688.95	o 36990
688.95	c 3777
693.85	o 36992
693.85	c 3775
697.44	o 36994
697.44	c 3773
697.90	o 36996
697.90	c 3771
699.78	o 36997
699.78	c 3770
700.71	o 36998
700.71	c 3769
701.17	o 37000
701.17	c 3767
702.60	o 37003
702.60	c 3764
703.05	o 37006
703.05	c 3761
703.50	o 37008
703.50	c 3759
704.42	o 37009
704.42	c 3758
704.88	o 37012
704.88	c 3755
705.31	o 37013
705.31	c 3754
707.33	o 37016
707.33	c 3751
707.78	o 37019
707.78	c 3748
708.66	o 37020
708.66	c 3747
709.02	o 37023
709.02	c 3744
709.46	o 37026
709.46	c 3741
709.92	o 37029
709.92	c 3738
712.11	o 37030
712.11	c 3737
712.57	o 37031
712.57	c 3736
713.02	o 37032
713.02	c 3735
713.93	o 37033
713.93	c 3734
714.40	o 37037
714.40	c 3730
715.14	o 37041
715.14	c 3726
715.38	o 37043
715.38	c 3724
716.26	o 37045
716.26	c 3722
717.19	o 37047
717.19	c 3720
718.56	o 37048
718.56	c 3719
718.93	o 37051
718.93	c 3716
719.88	o 37055
719.88	c 3712
720.33	o 37057
720.33	c 3710
720.57	o 37058
720.57	c 3709
722.43	o 37059
722.43	c 3708
722.91	o 37060
722.91	c 3707
723.39	o 37062
723.39	c 3705
723.77	o 37065
723.77	c 3702
724.40	o 37066
724.40	c 3701
724.71	o 37070
724.71	c 3697
725.17	o 37071
725.17	c 3696
726.08	o 37072
726.08	c 3695
728.37	o 37073
728.37	c 3694
728.54	o 37075
728.54	c 3692
729.00	o 37078
729.00	c 3689
729.92	o 37082
729.92	c 3685
730.30	o 37084
730.30	c 3683
730.76	o 37086
730.76	c 3681
731.65	o 37087
731.65	c 3680
732.10	o 37088
732.10	c 3679
732.55	o 37090
732.55	c 3677
734.42	o 37091
734.42	c 3676
736.88	o 37095
736.88	c 3672
737.35	o 37098
737.35	c 3669
737.82	o 37104
737.82	c 3663
739.30	o 37105
739.30	c 3662
739.78	o 37107
739.78	c 3660
740.24	o 37108
740.24	c 3659
746.72	o 37109
746.72	c 3658
755.84	o 37110
755.84	c 3657
756.31	o 37111
756.31	c 3656
756.79	o 37112
756.79	c 3655
757.26	o 37113
757.26	c 3654
757.48	o 37120
757.48	c 3647
757.71	o 37122
757.71	c 3645
758.18	o 37124
758.18	c 3643
758.62	o 37125
758.62	c 3642
759.08	o 37130
759.08	c 3637
759.55	o 37131
759.55	c 3636
760.02	o 37134
760.02	c 3633
760.49	o 37135
760.49	c 3632
760.97	o 37137
760.97	c 3630
761.94	o 37139
761.94	c 3628
762.89	o 37142
762.89	c 3625
768.16	o 37145
768.16	c 3622
770.10	o 37147
770.10	c 3620
771.10	o 37149
771.10	c 3618
771.46	o 37151
771.46	c 3616
772.93	o 37152
772.93	c 3615
773.96	o 37153
773.96	c 3614
774.45	o 37154
774.45	c 3613
774.96	o 37157
774.96	c 3610
776.53	o 37160
776.53	c 3607
777.52	o 37164
777.52	c 3603
782.19	o 37167
782.19	c 3600
785.04	o 37170
785.04	c 3597
785.25	o 37173
785.25	c 3594
787.77	o 37174
787.77	c 3593
789.87	o 37178
789.87	c 3589
790.33	o 37182
790.33	c 3585
790.87	o 37187
790.87	c 3580
791.38	o 37189
791.38	c 3578
794.01	o 37192
794.01	c 3575
794.54	o 37194
794.54	c 3573
795.99	o 37195
795.99	c 3572
796.51	o 37197
796.51	c 3570
797.04	o 37199
797.04	c 3568
798.09	o 37201
798.09	c 3566
805.46	o 37204
805.46	c 3563
805.98	o 37205
805.98	c 3562
806.48	o 37206
806.48	c 3561
806.97	o 37211
806.97	c 3556
808.42	o 37212
808.42	c 3555
809.91	o 37213
809.91	c 3554
810.41	o 37215
810.41	c 3552
811.35	o 37217
811.35	c 3550
812.89	o 37220
812.89	c 3547
813.59	o 37221
813.59	c 3546
814.03	o 37222
814.03	c 3545
814.53	o 37225
814.53	c 3542
815.04	o 37229
815.04	c 3538
815.54	o 37230
815.54	c 3537
817.53	o 37232
817.53	c 3535
818.08	o 37233
818.08	c 3534
819.04	o 37234
819.04	c 3533
819.52	o 37237
819.52	c 3530
826.77	o 37238
826.77	c 3529
827.26	o 37239
827.26	c 3528
827.78	o 37240
827.78	c 3527
828.58	o 37241
828.58	c 3526
829.07	o 37242
829.07	c 3525
830.57	o 37244
830.57	c 3523
831.59	o 37245
831.59	c 3522
832.59	o 37248
832.59	c 3519
833.08	o 37249
833.08	c 3518
834.67	o 37251
834.68	c 3516
835.19	o 37255
835.19	c 3512
835.71	o 37256
835.71	c 3511
838.69	o 37257
838.69	c 3510
839.21	o 37262
839.21	c 3505
841.33	o 37263
841.33	c 3504
841.49	o 37266
841.49	c 3501
842.00	o 37268
842.00	c 3499
842.52	o 37269
842.52	c 3498
843.05	o 37272
843.05	c 3495
843.49	o 37273
843.49	c 3494
844.01	o 37274
844.01	c 3493
847.36	o 37277
847.36	c 3490
847.70	o 37280
847.70	c 3487
848.74	o 37282
848.74	c 3485
849.30	o 37284
849.30	c 3483
849.77	o 37286
849.77	c 3481
852.24	o 37289
852.24	c 3478
854.68	o 37293
854.68	c 3474
856.23	o 37294
856.23	c 3473
857.24	o 37297
857.24	c 3470
857.77	o 37302
857.77	c 3465
858.48	o 37306
858.48	c 3461
864.47	o 37308
864.47	c 3459
865.30	o 37310
865.30	c 3457
865.81	o 37311
865.81	c 3456
866.32	o 37312
866.32	c 3455
870.41	o 37314
870.41	c 3453
871.94	o 37315
871.94	c 3452
875.90	o 37316
875.90	c 3451
877.29	o 37317
877.29	c 3450
878.29	o 37318
878.29	c 3449
878.79	o 37319
878.79	c 3448
881.35	o 37321
881.35	c 3446
881.89	o 37322
881.89	c 3445
882.41	o 37323
882.41	c 3444
882.93	o 37326
882.93	c 3441
885.55	o 37327
885.55	c 3440
886.07	o 37328
886.07	c 3439
886.57	o 37331
886.57	c 3436
887.09	o 37332
887.09	c 3435
889.09	o 37337
889.09	c 3430
889.61	o 37343
889.61	c 3424
890.46	o 37345
890.46	c 3422
890.98	o 37347
890.98	c 3420
891.40	o 37349
891.40	c 3418
891.92	o 37351
891.92	c 3416
892.43	o 37353
892.43	c 3414
892.95	o 37356
892.95	c 3411
893.46	o 37358
893.46	c 3409
894.51	o 37359
894.51	c 3408
895.04	o 37360
895.04	c 3407
896.12	o 37362
896.12	c 3405
906.65	o 37363
906.65	c 3404
907.72	o 37364
907.72	c 3403
908.24	o 37366
908.24	c 3401
908.87	o 37369
908.87	c 3398
909.38	o 37372
909.38	c 3395
910.38	o 37376
910.38	c 3391
910.85	o 37377
910.85	c 3390
911.34	o 37379
911.34	c 3388
911.85	o 37381
911.85	c 3386
912.36	o 37384
912.36	c 3383
912.84	o 37385
912.84	c 3382
913.36	o 37386
913.36	c 3381
920.76	o 37391
920.76	c 3376
921.27	o 37392
921.27	c 3375
921.77	o 37394
921.77	c 3373
922.10	o 37397
922.10	c 3370
924.16	o 37398
924.16	c 3369
924.68	o 37400
924.68	c 3367
925.17	o 37402
925.17	c 3365
925.69	o 37403
925.69	c 3364
927.20	o 37406
927.20	c 3361
928.73	o 37407
928.73	c 3360
929.26	o 37408
929.26	c 3359
931.88	o 37412
931.88	c 3355
932.41	o 37413
932.41	c 3354
934.00	o 37417
934.00	c 3350
934.53	o 37419
934.53	c 3348
935.61	o 37420
935.61	c 3347
936.15	o 37421
936.15	c 3346
940.42	o 37422
940.42	c 3345
940.85	o 37429
940.86	c 3338
941.37	o 37432
941.37	c 3335
943.35	o 37435
943.35	c 3332
943.88	o 37436
943.88	c 3331
944.43	o 37438
944.43	c 3329
945.01	o 37439
945.01	c 3328
947.17	o 37442
947.17	c 3325
947.71	o 37447
947.71	c 3320
948.19	o 37449
948.19	c 3318
949.61	o 37453
949.61	c 3314
950.14	o 37457
950.14	c 3310
950.66	o 37458
950.66	c 3309
951.20	o 37459
951.20	c 3308
951.77	o 37463
951.77	c 3304
952.86	o 37464
952.86	c 3303
953.99	o 37465
953.99	c 3302
954.53	o 37472
954.53	c 3295
957.35	o 37475
957.35	c 3292
957.93	o 37479
957.93	c 3288
958.51	o 37480
958.51	c 3287
960.22	o 37483
960.22	c 3284
960.81	o 37485
960.81	c 3282
961.39	o 37490
961.39	c 3277
961.95	o 37493
961.95	c 3274
962.52	o 37495
962.52	c 3272
963.68	o 37497
963.68	c 3270
964.82	o 37500
964.82	c 3267
965.38	o 37502
965.38	c 3265
965.94	o 37507
965.94	c 3260
967.07	o 37509
967.07	c 3258
967.58	o 37510
967.59	c 3257
975.44	o 37511
975.44	c 3256
976.54	o 37512
976.54	c 3255
977.92	o 37515
977.92	c 3252
978.78	o 37517
978.78	c 3250
979.22	o 37519
979.22	c 3248
980.76	o 37522
980.76	c 3245
981.21	o 37526
981.21	c 3241
982.30	o 37527
982.30	c 3240
982.85	o 37528
982.85	c 3239
986.07	o 37529
986.07	c 3238
986.62	o 37530
986.62	c 3237
988.23	o 37532
988.23	c 3235
988.74	o 37533
988.74	c 3234
989.80	o 37536
989.80	c 3231
990.22	o 37539
990.22	c 3228
991.05	o 37541
991.05	c 3226
991.56	o 37542
991.56	c 3225
992.09	o 37545
992.09	c 3222
992.36	o 37549
992.36	c 3218
992.87	o 37550
992.87	c 3217
993.39	o 37553
993.39	c 3214
993.90	o 37557
993.90	c 3210
995.49	o 37558
995.49	c 3209
996.00	o 37561
996.00	c 3206
996.53	o 37563
996.53	c 3204
997.49	o 37564
997.49	c 3203
998.04	o 37566
998.04	c 3201
999.12	o 37567
999.12	c 3200
1001.76	o 37570
1001.76	c 3197
1004.41	o 37571
1004.41	c 3196
1004.96	o 37572
1004.96	c 3195
1005.40	o 37573
1005.40	c 3194
1006.17	o 37577
1006.17	c 3190
1006.22	o 37581
1006.22	c 3186
1007.22	o 37586
1007.22	c 3181
1008.31	o 37590
1008.31	c 3177
1009.09	o 37591
1009.09	c 3176
1009.45	o 37599
1009.45	c 3168
1009.93	o 37604
1009.93	c 3163
1010.43	o 37607
1010.43	c 3160
1010.92	o 37609
1010.92	c 3158
1013.44	o 37613
1013.44	c 3154
1013.93	o 37614
1013.93	c 3153
1021.14	o 37615
1021.14	c 3152
1022.16	o 37616
1022.16	c 3151
1022.73	o 37617
1022.73	c 3150
1025.01	o 37619
1025.01	c 3148
1025.58	o 37620
1025.58	c 3147
1026.16	o 37621
1026.16	c 3146
1026.75	o 37623
1026.75	c 3144
1027.30	o 37626
1027.30	c 3141
1036.41	o 37628
1036.41	c 3139
1036.89	o 37632
1036.89	c 3135
1037.46	o 37636
1037.46	c 3131
1038.62	o 37638
1038.62	c 3129
1039.21	o 37641
1039.21	c 3126
1039.81	o 37642
1039.81	c 3125
1041.00	o 37644
1041.00	c 3123
1041.56	o 37645
1041.56	c 3122
1043.30	o 37646
1043.30	c 3121
1043.89	o 37647
1043.89	c 3120
1045.90	o 37648
1045.90	c 3119
1046.48	o 37651
1046.48	c 3116
1047.06	o 37652
1047.06	c 3115
1047.31	o 37657
1047.31	c 3110
1047.88	o 37658
1047.88	c 3109
1048.45	o 37660
1048.45	c 3107
1048.64	o 37662
1048.64	c 3105
1049.20	o 37663
1049.20	c 3104
1049.49	o 37665
1049.49	c 3102
1050.05	o 37668
1050.05	c 3099
1050.58	o 37670
1050.58	c 3097
1052.66	o 37671
1052.66	c 3096
1053.75	o 37672
1053.75	c 3095
1054.00	o 37673
1054.00	c 3094
1054.55	o 37674
1054.55	c 3093
1055.09	o 37676
1055.09	c 3091
1055.38	o 37677
1055.38	c 3090
1058.57	o 37678
1058.57	c 3089
1059.07	o 37681
1059.07	c 3086
1059.61	o 37682
1059.61	c 3085
1060.16	o 37683
1060.16	c 3084
1060.65	o 37684
1060.65	c 3083
1063.40	o 37686
1063.40	c 3081
1065.00	o 37688
1065.00	c 3079
1065.52	o 37691
1065.52	c 3076
1066.06	o 37694
1066.06	c 3073
1067.12	o 37696
1067.12	c 3071
1072.37	o 37697
1072.37	c 3070
1072.75	o 37700
1072.75	c 3067
1073.31	o 37704
1073.31	c 3063
1073.84	o 37705
1073.84	c 3062
1074.39	o 37706
1074.39	c 3061
1078.72	o 37707
1078.72	c 3060
1080.35	o 37708
1080.35	c 3059
1080.89	o 37710
1080.89	c 3057
1084.99	o 37712
1084.99	c 3055
1085.56	o 37715
1085.56	c 3052
1085.96	o 37717
1085.96	c 3050
1086.52	o 37720
1086.52	c 3047
1088.21	o 37722
1088.21	c 3045
1088.77	o 37726
1088.77	c 3041
1098.35	o 37729
1098.35	c 3038
1098.94	o 37731
1098.94	c 3036
1101.12	o 37734
1101.12	c 3033
1101.66	o 37736
1101.66	c 3031
1102.23	o 37738
1102.23	c 3029
1102.79	o 37740
1102.79	c 3027
1109.22	o 37743
1109.22	c 3024
1109.78	o 37746
1109.78	c 3021
1110.22	o 37750
1110.22	c 3017
1110.77	o 37752
1110.77	c 3015
1113.55	o 37757
1113.55	c 3010
1115.26	o 37759
1115.26	c 3008
1115.82	o 37760
1115.82	c 3007
1117.54	o 37761
1117.54	c 3006
1118.71	o 37763
1118.71	c 3004
1120.45	o 37764
1120.45	c 3003
1120.99	o 37766
1120.99	c 3001
1121.57	o 37767
1121.57	c 3000
1123.51	o 37768
1123.51	c 2999
1124.61	o 37769
1124.61	c 2998
1125.18	o 37771
1125.18	c 2996
1125.66	o 37774
1125.66	c 2993
1126.22	o 37777
1126.22	c 2990
1126.74	o 37778
1126.74	c 2989
1127.28	o 37780
1127.28	c 2987
1127.49	o 37782
1127.49	c 2985
1128.07	o 37784
1128.07	c 2983
1129.14	o 37785
1129.14	c 2982
1129.67	o 37789
1129.67	c 2978
1129.97	o 37790
1129.97	c 2977
1131.02	o 37792
1131.02	c 2975
1131.51	o 37793
1131.51	c 2974
1132.58	o 37795
1132.58	c 2972
1133.14	o 37796
1133.14	c 2971
1133.66	o 37797
1133.66	c 2970
1134.20	o 37802
1134.20	c 2965
1134.71	o 37804
1134.71	c 2963
1137.33	o 37807
1137.33	c 2960
1138.43	o 37808
1138.43	c 2959
1138.87	o 37814
1138.87	c 2953
1139.15	o 37815
1139.15	c 2952
1140.21	o 37816
1140.21	c 2951
1140.74	o 37818
1140.74	c 2949
1141.26	o 37820
1141.26	c 2947
1141.77	o 37823
1141.77	c 2944
1141.97	o 37825
1141.97	c 2942
1144.06	o 37827
1144.06	c 2940
1144.76	o 37828
1144.76	c 2939
1145.29	o 37831
1145.29	c 2936
1146.35	o 37833
1146.35	c 2934
1146.91	o 37834
1146.91	c 2933
1147.45	o 37836
1147.45	c 2931
1148.01	o 37837
1148.01	c 2930
1148.55	o 37839
1148.55	c 2928
1150.58	o 37840
1150.58	c 2927
1151.00	o 37842
1151.00	c 2925
1154.87	o 37843
1154.88	c 2924
1155.44	o 37844
1155.44	c 2923
1156.57	o 37845
1156.57	c 2922
1157.12	o 37847
1157.12	c 2920
1157.71	o 37848
1157.71	c 2919
1158.27	o 37851
1158.27	c 2916
1158.85	o 37854
1158.85	c 2913
1159.43	o 37855
1159.43	c 2912
1160.47	o 37856
1160.47	c 2911
1161.03	o 37857
1161.03	c 2910
1162.74	o 37859
1162.74	c 2908
1164.40	o 37860
1164.40	c 2907
1168.16	o 37862
1168.16	c 2905
1168.76	o 37864
1168.76	c 2903
1169.34	o 37866
1169.34	c 2901
1171.04	o 37867
1171.04	c 2900
1171.61	o 37868
1171.61	c 2899
1172.17	o 37871
1172.17	c 2896
1173.89	o 37872
1173.89	c 2895
1175.66	o 37873
1175.66	c 2894
1176.23	o 37876
1176.23	c 2891
1176.79	o 37877
1176.79	c 2890
1178.99	o 37878
1178.99	c 2889
1180.17	o 37880
1180.17	c 2887
1180.74	o 37883
1180.74	c 2884
1181.19	o 37884
1181.19	c 2883
1182.34	o 37885
1182.34	c 2882
1184.61	o 37886
1184.61	c 2881
1185.85	o 37888
1185.85	c 2879
1188.81	o 37889
1188.81	c 2878
1189.39	o 37890
1189.39	c 2877
1189.99	o 37892
1189.99	c 2875
1193.29	o 37894
1193.29	c 2873
1194.76	o 37897
1194.76	c 2870
1195.80	o 37898
1195.80	c 2869
1196.40	o 37900
1196.40	c 2867
1197.59	o 37901
1197.59	c 2866
1198.18	o 37903
1198.18	c 2864
1199.31	o 37906
1199.31	c 2861
1200.45	o 37907
1200.45	c 2860
1202.25	o 37908
1202.25	c 2859
1204.06	o 37909
1204.06	c 2858
1204.96	o 37912
1204.96	c 2855
1205.58	o 37916
1205.58	c 2851
1206.78	o 37919
1206.78	c 2848
1207.39	o 37920
1207.39	c 2847
1210.76	o 37921
1210.76	c 2846
1217.51	o 37922
1217.51	c 2845
1218.43	o 37925
1218.43	c 2842
1219.57	o 37926
1219.57	c 2841
1220.74	o 37928
1220.74	c 2839
1222.50	o 37929
1222.50	c 2838
1223.55	o 37932
1223.55	c 2835
1224.16	o 37934
1224.16	c 2833
1224.76	o 37935
1224.76	c 2832
1225.96	o 37936
1225.96	c 2831
1226.55	o 37939
1226.55	c 2828
1227.15	o 37943
1227.15	c 2824
1227.24	o 37947
1227.24	c 2820
1227.85	o 37949
1227.85	c 2818
1228.43	o 37950
1228.43	c 2817
1229.03	o 37951
1229.03	c 2816
1229.63	o 37954
1229.63	c 2813
1230.21	o 37956
1230.21	c 2811
1230.82	o 37957
1230.82	c 2810
1231.44	o 37958
1231.44	c 2809
1232.44	o 37959
1232.44	c 2808
1232.76	o 37961
1232.76	c 2806
1233.18	o 37962
1233.18	c 2805
1233.81	o 37964
1233.81	c 2803
1238.05	o 37969
1238.05	c 2798
1239.83	o 37971
1239.83	c 2796
1240.45	o 37975
1240.45	c 2792
1240.98	o 37978
1240.99	c 2789
1241.57	o 37979
1241.57	c 2788
1242.17	o 37981
1242.17	c 2786
1242.76	o 37983
1242.76	c 2784
1244.53	o 37985
1244.53	c 2782
1245.13	o 37986
1245.13	c 2781
1245.72	o 37987
1245.72	c 2780
1246.32	o 37989
1246.32	c 2778
1248.59	o 37990
1248.59	c 2777
1252.53	o 37992
1252.53	c 2775
1253.08	o 37996
1253.08	c 2771
1256.92	o 37997
1256.92	c 2770
1257.49	o 38000
1257.49	c 2767
1260.84	o 38002
1260.84	c 2765
1261.94	o 38003
1261.94	c 2764
1264.17	o 38004
1264.17	c 2763
1264.72	o 38007
1264.72	c 2760
1265.29	o 38008
1265.29	c 2759
1265.86	o 38009
1265.86	c 2758
1267.52	o 38011
1267.52	c 2756
1268.10	o 38012
1268.10	c 2755
1268.67	o 38013
1268.67	c 2754
1269.25	o 38015
1269.25	c 2752
1269.77	o 38016
1269.77	c 2751
1271.45	o 38017
1271.45	c 2750
1272.60	o 38018
1272.60	c 2749
1273.17	o 38022
1273.17	c 2745
1273.74	o 38025
1273.74	c 2742
1274.30	o 38026
1274.30	c 2741
1274.86	o 38027
1274.86	c 2740
1275.44	o 38029
1275.44	c 2738
1276.00	o 38037
1276.00	c 2730
1276.44	o 38039
1276.44	c 2728
1277.00	o 38040
1277.00	c 2727
1277.58	o 38042
1277.58	c 2725
1278.12	o 38046
1278.12	c 2721
1278.68	o 38048
1278.68	c 2719
1279.27	o 38049
1279.27	c 2718
1282.62	o 38050
1282.62	c 2717
1283.19	o 38051
1283.19	c 2716
1283.77	o 38053
1283.77	c 2714
1284.95	o 38055
1284.95	c 2712
1285.54	o 38056
1285.54	c 2711
1286.12	o 38058
1286.12	c 2709
1286.70	o 38059
1286.70	c 2708
1287.04	o 38062
1287.04	c 2705
1287.46	o 38064
1287.46	c 2703
1292.11	o 38066
1292.11	c 2701
1295.46	o 38068
1295.46	c 2699
1297.20	o 38069
1297.20	c 2698
1298.30	o 38072
1298.30	c 2695
1300.36	o 38076
1300.36	c 2691
1302.07	o 38077
1302.07	c 2690
1302.64	o 38078
1302.64	c 2689
1303.20	o 38079
1303.20	c 2688
1303.74	o 38080
1303.74	c 2687
1304.30	o 38083
1304.30	c 2684
1304.78	o 38086
1304.78	c 2681
1305.92	o 38087
1305.92	c 2680
1308.19	o 38090
1308.19	c 2677
1311.60	o 38092
1311.60	c 2675
1312.17	o 38093
1312.17	c 2674
1312.74	o 38096
1312.74	c 2671
1313.29	o 38097
1313.29	c 2670
1315.58	o 38099
1315.58	c 2668
1316.01	o 38102
1316.01	c 2665
1316.58	o 38107
1316.58	c 2660
1316.84	o 38109
1316.84	c 2658
1317.28	o 38111
1317.28	c 2656
1318.98	o 38112
1318.98	c 2655
1319.56	o 38115
1319.56	c 2652
1324.69	o 38117
1324.69	c 2650
1325.20	o 38118
1325.20	c 2649
1325.78	o 38119
1325.78	c 2648
1326.36	o 38120
1326.36	c 2647
1327.49	o 38122
1327.49	c 2645
1328.64	o 38123
1328.64	c 2644
1329.23	o 38124
1329.23	c 2643
1329.81	o 38126
1329.81	c 2641
1330.36	o 38128
1330.36	c 2639
1334.39	o 38131
1334.39	c 2636
1334.95	o 38132
1334.95	c 2635
1336.07	o 38133
1336.07	c 2634
1344.63	o 38134
1344.63	c 2633
1345.01	o 38137
1345.01	c 2630
1345.62	o 38138
1345.62	c 2629
1346.24	o 38140
1346.24	c 2627
1347.45	o 38141
1347.45	c 2626
1348.04	o 38143
1348.04	c 2624
1350.36	o 38146
1350.36	c 2621
1350.88	o 38152
1350.88	c 2615
1351.47	o 38154
1351.47	c 2613
1352.07	o 38157
1352.07	c 2610
1352.66	o 38162
1352.66	c 2605
1353.27	o 38164
1353.27	c 2603
1355.01	o 38165
1355.01	c 2602
1355.26	o 38168
1355.26	c 2599
1355.42	o 38172
1355.42	c 2595
1355.69	o 38174
1355.69	c 2593
1356.23	o 38176
1356.23	c 2591
1356.85	o 38177
1356.85	c 2590
1359.48	o 38178
1359.48	c 2589
1359.65	o 38181
1359.65	c 2586
1359.90	o 38183
1359.90	c 2584
1360.89	o 38185
1360.89	c 2582
1361.44	o 38188
1361.44	c 2579
1362.44	o 38189
1362.44	c 2578
1363.04	o 38191
1363.04	c 2576
1363.63	o 38192
1363.63	c 2575
1365.99	o 38194
1365.99	c 2573
1366.57	o 38195
1366.57	c 2572
1367.15	o 38199
1367.15	c 2568
1368.10	o 38203
1368.10	c 2564
1369.85	o 38206
1369.85	c 2561
1370.43	o 38209
1370.43	c 2558
1373.67	o 38210
1373.67	c 2557
1374.27	o 38211
1374.27	c 2556
1375.83	o 38214
1375.83	c 2553
1376.42	o 38216
1376.42	c 2551
1377.01	o 38218
1377.01	c 2549
1377.58	o 38220
1377.58	c 2547
1379.99	o 38221
1379.99	c 2546
1380.60	o 38223
1380.60	c 2544
1381.21	o 38225
1381.21	c 2542
1382.43	o 38229
1382.43	c 2538
1383.97	o 38230
1383.97	c 2537
1384.55	o 38231
1384.55	c 2536
1386.90	o 38233
1386.90	c 2534
1387.49	o 38237
1387.49	c 2530
1391.01	o 38239
1391.01	c 2528
1392.73	o 38243
1392.73	c 2524
1393.28	o 38244
1393.28	c 2523
1395.71	o 38246
1395.71	c 2521
1396.32	o 38247
1396.32	c 2520
1398.22	o 38248
1398.22	c 2519
1398.85	o 38250
1398.85	c 2517
1399.50	o 38251
1399.50	c 2516
1409.69	o 38252
1409.69	c 2515
1412.75	o 38255
1412.75	c 2512
1413.26	o 38256
1413.26	c 2511
1413.88	o 38257
1413.88	c 2510
1414.50	o 38258
1414.50	c 2509
1415.10	o 38259
1415.10	c 2508
1415.71	o 38261
1415.71	c 2506
1416.32	o 38262
1416.32	c 2505
1417.53	o 38264
1417.53	c 2503
1419.12	o 38265
1419.12	c 2502
1419.73	o 38266
1419.73	c 2501
1424.50	o 38269
1424.50	c 2498
1426.50	o 38272
1426.50	c 2495
1430.44	o 38273
1430.44	c 2494
1431.02	o 38274
1431.02	c 2493
1431.45	o 38275
1431.45	c 2492
1437.99	o 38277
1437.99	c 2490
1439.18	o 38279
1439.18	c 2488
1443.86	o 38280
1443.86	c 2487
1444.47	o 38283
1444.47	c 2484
1450.10	o 38284
1450.10	c 2483
1450.70	o 38285
1450.70	c 2482
1451.28	o 38288
1451.28	c 2479
1451.87	o 38289
1451.87	c 2478
1456.96	o 38290
1456.96	c 2477
1457.55	o 38293
1457.55	c 2474
1458.15	o 38294
1458.15	c 2473
1465.20	o 38298
1465.20	c 2469
1465.46	o 38303
1465.46	c 2464
1468.38	o 38304
1468.38	c 2463
1469.00	o 38307
1469.00	c 2460
1470.64	o 38310
1470.64	c 2457
1472.42	o 38312
1472.42	c 2455
1473.03	o 38315
1473.03	c 2452
1474.26	o 38318
1474.26	c 2449
1475.47	o 38321
1475.47	c 2446
1476.07	o 38324
1476.07	c 2443
1476.68	o 38325
1476.68	c 2442
1481.77	o 38329
1481.77	c 2438
1482.36	o 38330
1482.36	c 2437
1482.95	o 38331
1482.95	c 2436
1483.52	o 38334
1483.52	c 2433
1484.11	o 38337
1484.11	c 2430
1485.29	o 38339
1485.29	c 2428
1486.48	o 38340
1486.48	c 2427
1487.08	o 38343
1487.08	c 2424
1488.28	o 38344
1488.28	c 2423
1488.88	o 38346
1488.88	c 2421
1500.08	o 38347
1500.08	c 2420
1500.69	o 38350
1500.69	c 2417
1502.43	o 38351
1502.43	c 2416
1506.00	o 38353
1506.00	c 2414
1506.60	o 38354
1506.60	c 2413
1507.21	o 38355
1507.21	c 2412
1507.47	o 38356
1507.47	c 2411
1513.31	o 38358
1513.31	c 2409
1514.53	o 38361
1514.53	c 2406
1515.17	o 38362
1515.17	c 2405
1518.33	o 38364
1518.33	c 2403
1525.38	o 38365
1525.38	c 2402
1525.69	o 38367
1525.69	c 2400
1526.33	o 38371
1526.33	c 2396
1529.29	o 38374
1529.29	c 2393
1535.49	o 38376
1535.49	c 2391
1536.79	o 38377
1536.79	c 2390
1537.37	o 38378
1537.37	c 2389
1539.31	o 38380
1539.31	c 2387
1539.95	o 38381
1539.95	c 2386
1540.59	o 38383
1540.59	c 2384
1541.20	o 38385
1541.20	c 2382
1542.24	o 38387
1542.24	c 2380
1542.89	o 38390
1542.89	c 2377
1543.55	o 38391
1543.55	c 2376
1547.57	o 38392
1547.57	c 2375
1548.17	o 38393
1548.17	c 2374
1549.86	o 38395
1549.86	c 2372
1550.04	o 38399
1550.04	c 2368
1551.89	o 38400
1551.89	c 2367
1559.77	o 38401
1559.77	c 2366
1560.37	o 38403
1560.37	c 2364
1573.20	o 38405
1573.20	c 2362
1579.85	o 38407
1579.85	c 2360
1580.44	o 38409
1580.44	c 2358
1583.85	o 38411
1583.85	c 2356
1584.99	o 38412
1584.99	c 2355
1585.58	o 38413
1585.58	c 2354
1604.00	o 38414
1604.01	c 2353
1605.34	o 38417
1605.34	c 2350
1605.93	o 38418
1605.93	c 2349
1606.18	o 38420
1606.18	c 2347
1606.78	o 38421
1606.78	c 2346
1607.99	o 38424
1607.99	c 2343
1608.59	o 38425
1608.59	c 2342
1609.20	o 38426
1609.20	c 2341
1611.59	o 38428
1611.59	c 2339
1614.63	o 38430
1614.63	c 2337
1628.15	o 38431
1628.15	c 2336
1628.79	o 38432
1628.79	c 2335
1630.12	o 38433
1630.12	c 2334
1634.06	o 38434
1634.06	c 2333
1634.74	o 38438
1634.74	c 2329
1635.43	o 38439
1635.43	c 2328
1636.52	o 38441
1636.52	c 2326
1637.21	o 38443
1637.21	c 2324
1639.77	o 38444
1639.77	c 2323
1643.15	o 38445
1643.15	c 2322
1643.83	o 38446
1643.83	c 2321
1645.00	o 38447
1645.00	c 2320
1645.67	o 38448
1645.67	c 2319
1646.34	o 38449
1646.34	c 2318
1646.57	o 38451
1646.57	c 2316
1647.26	o 38452
1647.26	c 2315
1647.93	o 38453
1647.93	c 2314
1648.60	o 38455
1648.60	c 2312
1648.96	o 38463
1648.96	c 2304
1649.52	o 38466
1649.52	c 2301
1650.12	o 38469
1650.12	c 2298
1652.14	o 38470
1652.14	c 2297
1653.50	o 38472
1653.50	c 2295
1655.45	o 38473
1655.45	c 2294
1667.21	o 38474
1667.21	c 2293
1667.58	o 38476
1667.58	c 2291
1668.26	o 38480
1668.26	c 2287
1668.97	o 38482
1668.97	c 2285
1674.21	o 38483
1674.21	c 2284
1674.92	o 38485
1674.92	c 2282
1676.36	o 38486
1676.36	c 2281
1677.07	o 38487
1677.07	c 2280
1678.08	o 38489
1678.08	c 2278
1680.01	o 38490
1680.01	c 2277
1680.73	o 38493
1680.73	c 2274
1681.43	o 38494
1681.43	c 2273
1683.53	o 38495
1683.53	c 2272
1685.64	o 38497
1685.64	c 2270
1686.35	o 38499
1686.35	c 2268
1687.04	o 38501
1687.04	c 2266
1687.73	o 38506
1687.73	c 2261
1688.12	o 38508
1688.12	c 2259
1689.64	o 38513
1689.64	c 2254
1700.04	o 38514
1700.04	c 2253
1700.71	o 38519
1700.71	c 2248
1701.38	o 38521
1701.38	c 2246
1703.39	o 38522
1703.39	c 2245
1708.75	o 38524
1708.75	c 2243
1733.26	o 38525
1733.26	c 2242
1733.97	o 38526
1733.97	c 2241
1734.68	o 38527
1734.68	c 2240
1739.41	o 38528
1739.41	c 2239
1769.78	   
1769.78	   search
1769.78	     run=0  nbConstraintChecks=3871299745  nbAssignments=4542
1769.78	       =>  wckTime=1705.345  cpuTime=1695.56  mem=86M266
1769.78	   
1769.78	   global
1769.78	     nbConstraintChecks=3871299745  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
1769.78	     solvingWckTime=1705.322  solvingCpuTime=1695.53  expiredTime=no  totalExploration=no  nbFoundSolutions=0
1769.78	     globalCpuTime=1757.5
1769.78	       =>  wckTime=1769.454  cpuTime=1757.45  mem=86M266
1769.78	   
1769.78	   solver IterativeSystematicSolver being built... 
1770.75	       =>  wckTime=1770.42  cpuTime=1758.0  mem=244M490
2416.57	v 2596 -2036 2588 2288 -2092 -2140 -2084 2296 -2692 -2088 -2660 -2020 -2608 2112 -2608 2632 -2636 -2560 2020 -2060 -2060 2416 -2500 2100 2424 -2060 2620 -2460 2680 2120 2444 -2684 -2060 -2208 2512 -2740 -2528 -2020 2492 2044 -2696 -2060 2524 2232 2620 2660 2740 2232 -2500 2740 -2100 2484 2588 2568 -2296 -2020 2712 2416 2628 -2176 2248 -2604 -2568 -2264 2252 2700 2740 2684 2060 -2500 -2724 -2620 2064 2556 2400 -2676 -2032 2068 2028 2620 -2696 -2648 2660 2340 -2624 2404 2108 2512 2736 2132 -2704 2728 2516 -2628 -2124 2636 2404 2096 -2024 -2632 2324 2364 -2292 -2720 2312 2724 2656 2472 2616 2048 -2060 -2700 2072 -2104 2248 2408 2052 -2600 -2716 -2060 2024 2204 2424 -2648 2348 2484 -2324 2736 -2028 2544 -2412 -2696 -2060 2184 -2176 2020 2688 2616 2440 -2064 -2644 2688 2716 2536 2080 2640 -2724 -2024 2568 2248 -2080 -2416 -2408 -2268 2340 2576 -2032 2736 -2700 -2320 -2296 2596 2060 2532 2720 -2388 -2412 2448 2732 2728 -2204 -2224 -2020 2740 -2032 -2408 2268 2432 -2696 2020 -2688 -2652 -2172 -2664 2412 -2036 2152 -2488 -2020 -2316 -2060 -2024 -2492 -2160 -2592 2588 2172 -2224 -2116 -2196 -2688 -2652 2460 -2740 2176 -2020 -2648 -2676 2020 -2020 2588 -2676 2020 -2280 2300 -2496 -2580 2100 2596 2032 -2288 2736 2516 -2620 -2024 -2472 -2068 -2684 -2044 2540 -2528 -2532 -2448 2172 -2736 -2036 -2020 -2036 2740 2692 2392 -2660 -2344 2280 2032 -2700 -2364 2436 2668 -2564 -2512 2416 2548 2400 -2448 2724 -2220 -2176 -2544 2304 2412 2116 2444 -2328 2152 2656 -2712 -2432 2332 -2532 2396 -2064 -2460 -2156 -2580 -2084 -2504 2456 -2664 -2684 -2020 2536 2076 -2068 -2736 2596 2676 2432 2448 -2536 -2020 -2676 2484 2464 -2740 2560 2492 -2472 -2024 -2348 -2636 2092 2664 -2428 2068 -2376 2648 2356 -2020 -2248 2700 2720 2044 -2736 2700 -2508 2372 -2084 2396 2292 2556 -2624 -2180 -2124 -2348 -2048 2436 2612 2564 2684 2348 2344 -2268 2056 2028 2704 -2628 -2308 -2640 -2520 2664 2684 -2536 -2532 2300 2024 2684 -2072 2356 2380 -2324 2608 -2524 2300 -2416 -2712 2140 -2720 -2656 -2092 2624 2280 -2132 2620 -2472 -2660 -2492 2068 2724 -2076 -2072 2688 2584 2704 -2724 2596 -2736 -2596 -2056 2496 2096 -2460 -2020 -2268 2524 -2076 -2120 2216 2160 2228 2344 -2620 -2660 -2424 -2668 2688 2364 -2740 2308 2100 -2536 -2728 2144 -2360 -2704 -2520 -2340 -2704 -2480 -2612 -2028 2096 2492 2404 -2740 -2212 -2604 2308 -2188 2212 2680 -2492 2064 -2716 2208 2492 -2628 -2704 -2316 2052 2584 2200 -2292 -2632 2520 2316 -2708 -2716 2740 2700 -2100 -2488 2068 2356 -2624 2068 2100 2460 -2024 2640 2180 2732 -2220 2552 2372 -2652 -2128 2652 2452 -2120 -2220 2684 -2176 -2200 2032 2576 -2356 2028 2112 -2256 2304 -2500 -2736 2328 2240 2536 2088 2340 -2388 -2676 2184 -2452 -2060 -2732 2072 -2080 2600 -2492 -2692 2444 2500 -2164 -2552 2108 2028 -2028 2068 2300 2720 2224 -2064 -2556 -2092 -2020 2124 -2496 -2060 -2584 2232 2624 2248 2188 -2636 -2064 -2020 -2080 -2644 2444 2108 -2480 2028 2428 2088 2492 2416 2640 2188 -2140 -2556 2588 2332 -2256 2732 2444 -2064 -2340 2504 2344 -2696 2060 -2024 -2720 2680 2696 2348 2420 2628 -2308 -2160 -2740 -2024 -2460 2368 -2028 2296 -2060 -2484 2240 2712 2092 2700 -2212 2372 2528 -2740 -2116 -2024 2064 2032 2700 2288 -2192 -2156 2544 -2020 2668 2512 -2172 2116 2180 -2216 -2412 -2560 2372 2696 -2264 2248 2292 2468 2020 -2316 -2040 2692 2252 -2484 2068 2536 -2628 2636 -2228 2588 -2108 -2212 2588 -2024 -2208 -2740 -2740 -2028 2452 2480 -2024 2372 -2060 -2436 2532 -2068 -2216 2428 2020 2092 -2344 2624 2608 2632 2224 -2172 -2152 -2248 -2344 2740 2404 2112 2652 -2524 -2500 2532 2740 -2676 2568 2412 2076 -2032 -2272 2672 2624 2740 -2668 -2568 2564 -2580 2740 -2572 -2060 -2384 -2536 -2252 -2416 -2096 2120 -2660 2644 2464 -2028 -2628 2192 2304 2284 2696 -2036 2740 -2244 2328 -2712 2340 -2568 -2044 2540 -2524 -2060 2228 2328 -2556 -2564 2740 -2132 2220 2176 2100 2276 2636 2696 2380 2724 -2100 2692 2060 2740 -2688 2412 2740 2256 -2188 2040 2516 2184 -2104 -2724 2524 2084 -2420 -2528 2100 2356 2124 2528 -2324 2736 -2296 -2060 2632 2320 -2648 -2356 2692 2736 -2640 -2020 2216 -2408 -2284 -2456 2208 2500 2680 2616 2200 2448 -2700 -2728 2740 2488 2152 -2024 2736 -2312 2068 -2700 2204 -2692 2020 2628 2416 -2060 -2020 -2136 2232 2500 -2320 -2652 2132 -2128 -2204 -2104 -2212 -2508 -2032 2640 -2036 2680 2044 -2052 2188 2320 -2296 2388 -2444 -2696 2216 2700 2268 2620 2064 2452 -2092 2084 2020 -2020 -2348 2692 -2720 2724 2564 -2504 2572 2376 2592 -2696 -2440 2704 -2356 2376 -2068 2736 -2604 2628 -2340 2392 -2064 2212 -2228 -2068 2696 -2616 2076 -2100 -2236 2700 2276 2080 -2672 -2600 -2732 2568 2356 2196 -2168 2412 -2140 -2508 -2684 -2516 2692 -2276 2240 -2116 -2436 2676 2196 2352 2584 2596 -2352 -2740 2696 2432 -2040 2608 2148 2380 2024 -2684 -2032 -2656 2632 2216 2368 -2656 -2504 2028 2296 -2684 2036 -2696 2436 -2536 2724 2188 2404 2032 2696 -2668 2360 2400 -2532 -2068 2740 -2024 2060 -2496 -2588 -2724 -2032 2336 2440 -2312 2604 -2696 -2260 -2200 2508 -2200 -2240 2068 2608 -2172 2724 2020 2332 2676 -2576 2028 2048 -2728 2068 2376 -2524 -2088 -2160 -2024 2268 2604 2500 2728 2540 -2680 2084 2432 -2024 -2728 -2028 -2528 -2700 -2732 2708 -2668 2540 2332 -2680 -2424 -2600 2060 -2688 -2136 -2380 2168 -2208 -2700 -2684 -2220 -2060 2680 2208 2700 2048 2680 -2724 2404 2540 -2184 2676 2072 -2656 -2708 2152 -2512 -2108 2336 -2192 2084 -2696 -2024 -2600 2716 -2224 2380 2064 -2300 -2336 2716 -2332 -2688 -2296 2660 -2600 2588 2700 2060 -2444 -2488 -2232 -2376 -2736 2364 2092 2616 -2140 -2092 -2420 2628 -2632 2264 2080 -2716 2740 -2724 -2560 2032 -2724 2652 -2256 2376 2728 -2448 2020 -2676 -2480 2736 2692 2236 -2252 -2216 2556 -2732 2728 -2184 -2632 -2224 2156 -2164 2332 -2564 -2700 2028 2400 -2612 -2724 -2196 -2452 2508 2724 2344 2064 2352 -2528 2096 2416 -2452 2348 2400 -2120 2284 2060 2276 2728 -2192 2440 2688 -2684 -2492 2060 -2020 2600 -2492 -2320 2736 2724 -2620 -2664 2036 -2548 2672 2316 -2700 2556 2656 2024 2136 2728 2424 -2172 -2244 2020 2172 -2700 2328 -2708 -2072 2216 -2356 2608 2120 -2640 2676 -2068 2696 2404 2428 2264 2708 -2060 2212 2688 2700 -2644 2328 -2420 -2632 -2464 -2420 -2024 -2300 2156 -2680 -2468 2052 -2680 -2212 2020 -2276 2172 -2028 2444 -2612 -2060 -2476 2564 2200 2632 2068 2176 2684 -2612 -2232 -2588 -2740 -2020 2060 2564 2344 -2076 2308 2720 -2716 -2608 -2040 -2416 2060 -2056 2076 2672 2376 -2324 -2572 2484 2136 2300 2088 2156 2660 2612 2080 2224 2620 2216 -2720 2060 -2356 -2688 2468 2344 2048 -2628 2452 -2412 -2516 -2028 2660 -2508 2348 2464 2620 2404 -2720 -2592 -2616 -2436 2060 2588 2080 -2664 -2700 -2500 2620 2700 2392 2040 2592 2520 -2684 -2596 -2544 2032 -2172 2420 -2464 -2596 2700 2668 2020 -2236 -2512 2580 -2712 2032 2396 2064 2156 -2708 2028 -2476 2192 2108 2024 2532 2376 2104 -2328 -2684 2208 2728 2736 -2684 -2408 -2712 -2116 -2700 -2284 -2580 2608 -2408 2632 -2696 -2692 -2640 -2208 -2176 -2268 2700 -2668 2164 -2700 -2456 -2324 -2568 2044 -2740 -2184 -2496 2228 -2184 -2588 2048 -2448 2028 -2664 2736 2404 2040 2064 2740 -2060 -2680 -2532 2020 2664 2256 -2580 -2020 -2036 -2116 2444 -2396 -2428 -2348 -2368 -2660 -2420 2188 -2020 2148 -2176 -2404 2616 -2224 2224 -2500 -2524 2640 2060 -2288 2632 2584 -2220 2504 2020 -2596 2360 -2440 2380 -2140 -2588 -2552 2484 2084 2060 2688 -2156 -2300 2688 -2716 2440 -2192 -2576 2252 -2024 2352 -2028 2268 2080 2548 -2408 -2072 -2608 -2252 2340 2592 -2740 -2124 2556 -2644 2080 2240 -2384 2412 2456 2504 -2252 2108 2076 -2020 -2068 2732 -2264 2216 -2072 -2636 -2368 -2248 2560 -2332 -2672 -2512 -2692 -2452 2060 -2644 2060 2724 2468 -2680 2460 -2656 -2356 2120 -2396 -2444 2628 -2592 2736 -2720 2172 -2576 2068 2064 2192 -2336 -2592 2412 2376 -2580 2076 2400 2060 -2164 2728 2192 2364 -2020 -2072 -2068 -2344 2660 2524 2288 -2204 -2068 2528 2052 -2376 -2020 2068 -2740 -2340 2088 -2564 -2560 2616 -2196 -2060 2384 2040 -2676 -2032 -2428 2020 2456 -2732 2728 2604 2680 2388 -2724 -2740 2372 2020 2292 2696 -2192 2692 2060 2284 2664 -2048 2436 2736 -2084 -2300 2324 -2404 -2532 2076 -2256 -2340 -2236 -2164 2516 -2524 -2592 -2584 2076 -2704 -2432 2144 -2176 2716 2616 -2740 2576 -2596 2636 2680 -2444 2244 -2732 2372 2020 2068 -2020 -2036 -2408 2632 -2516 2552 -2108 -2076 2648 2548 2620 -2032 -2496 2200 -2732 2324 -2692 -2740 2144 -2684 2724 -2032 -2700 2060 2592 2180 2028 2080 2060 2688 -2492 -2576 -2692 2204 -2160 -2436 2660 2336 -2440 2600 -2372 2100 2436 -2140 2260 -2244 2448 2668 -2664 -2340 2024 -2576 -2712 2736 2352 -2160 2700 -2304 -2388 2132 -2552 2672 2108 -2028 2156 -2588 -2584 -2696 -2656 2704 2660 -2616 -2212 -2680 2672 2212 -2484 2120 -2656 2720 -2728 2388 -2556 -2728 -2668 -2456 2244 2176 2400 2520 -2028 -2604 -2696 -2092 -2368 -2072 -2376 -2020 -2240 2524 2032 2592 2616 2728 -2328 2212 -2416 -2568 -2716 -2484 -2084 -2732 -2444 2260 2688 2364 2576 -2536 2740 2032 2676 -2352 2720 -2704 -2352 -2052 -2736 -2104 -2684 2736 2264 -2308 -2580 2384 2508 2724 -2340 2692 -2684 2448 2384 -2160 2564 -2560 -2076 2700 2576 -2408 -2196 -2740 2464 -2600 2272 2700 2696 2680 -2740 -2540 -2680 -2020 2608 2304 -2416 -2528 -2732 -2024 2440 2396 2676 2360 2204 2584 2696 2604 2540 2172 -2232 -2060 -2020 2740 -2688 2340 -2256 2356 2664 -2200 -2240 -2376 -2656 -2036 -2620 -2632 -2216 -2368 2036 2128 2108 2260 2380 2540 2108 -2428 -2060 2260 -2316 -2260 2660 2060 2736 -2604 2724 -2240 -2400 -2700 2104 -2252 2608 -2440 -2228 2728 -2044 2740 -2168 -2256 -2028 -2684 2584 2444 -2672 2436 -2216 -2084 -2676 -2684 -2404 2616 -2372 2076 -2732 -2464 -2576 -2696 -2308 2376 2448 -2228 -2024 -2536 -2688 -2064 -2076 2020 -2372 2684 -2720 -2200 -2280 -2080 -2516 2060 2692 -2732 -2336 -2656 -2288 -2204 -2536 -2104 2664 -2308 2728 -2024 2552 -2360 -2408 2396 -2676 -2064 -2740 2536 2720 2088 -2176 -2700 -2572 2384 -2308 2740 2684 -2384 -2280 2232 -2028 2688 -2600 2092 2384 2424 2404 -2368 -2028 2152 2180 -2444 2228 -2572 2616 -2072 -2728 2144 2396 -2516 -2220 -2540 2256 -2072 -2528 2640 -2132 2736 -2380 2596 2076 -2068 2732 -2092 2064 2684 2552 2736 -2736 -2384 -2504 2692 -2080 -2068 -2076 -2320 2272 -2060 2308 -2580 2044 -2280 2440 2068 -2664 2632 2036 -2672 -2468 -2316 2648 2684 2040 -2360 -2020 2148 2152 2676 -2096 2736 2724 2136 -2576 2064 2556 -2080 -2188 2732 2020 -2040 -2400 -2484 -2456 2336 2260 2612 -2020 2100 2280 -2024 -2484 -2284 2732 -2592 2368 -2460 -2020 2724 2696 -2140 -2580 -2292 2488 -2040 2520 2564 -2692 2364 2676 2740 -2648 -2176 2364 2336 2476 -2688 -2588 -2304 -2484 -2264 -2572 2612 2060 2632 2704 2028 -2236 2700 2400 2660 2040 -2556 -2740 2692 2704 -2660 2636 2040 2328 2548 -2268 -2368 2072 2020 -2424 2608 -2624 2612 2724 2548 2140 2640 -2668 -2624 2152 2368 -2060 2032 -2064 -2632 -2572 2416 -2328 -2044 -2364 -2576 -2052 2116 2660 -2088 -2024 -2172 2456 -2272 -2296 -2552 -2296 -2072 2496 -2512 -2312 -2656 -2392 -2616 2028 -2060 2100 -2548 -2676 -2740 2580 -2652 -2228 2596 -2580 -2700 2456 2392 2036 2068 -2524 -2060 -2024 -2448 -2132 -2700 2068 -2244 -2292 2672 2132 2484 -2032 2648 2188 2536 2696 -2032 2372 2164 2136 2256 -2496 2596 2692 2392 -2036 -2688 -2688 2668 2396 -2708 2456 2656 2720 -2684 2024 -2404 -2276 -2548 2020 -2248 -2076 -2584 2156 -2736 2176 -2148 2080 -2488 -2720 -2120 -2384 2060 2176 -2476 -2688 2664 -2196 -2504 2640 2652 -2148 -2572 -2236 -2652 2444 -2252 2624 -2580 2560 -2076 -2336 2508 -2088 -2068 2460 2116 2452 2712 -2552 2060 -2432 -2640 2680 -2020 2700 2060 -2068 -2572 2172 -2404 2072 -2396 2576 2044 -2028 -2636 2720 2136 -2656 -2480 2160 -2028 2296 -2176 -2724 -2312 -2088 2732 2300 -2532 -2548 -2612 2516 -2400 2376 -2352 -2096 2316 2664 -2204 2172 2700 -2196 -2612 2696 2564 -2480 -2696 2224 2020 -2056 -2716 -2024 2592 2696 -2396 -2656 2212 2024 2672 -2444 2132 -2024 -2072 2472 -2100 2252 -2136 -2064 2312 2740 2376 -2384 -2064 -2316 2268 -2680 2540 2340 -2064 2480 -2136 2404 2604 -2572 -2452 -2484 2168 -2020 2440 2264 2592 2024 2444 2072 -2660 -2072 -2020 -2060 -2144 2236 2068 2636 -2700 2248 2112 -2508 -2096 -2292 2708 2360 2620 -2476 -2700 -2732 -2628 -2472 2316 -2136 2556 -2260 2600 -2212 2068 -2616 -2200 -2580 2028 2460 2068 -2208 2484 2268 -2276 2384 2276 -2460 -2528 -2064 2564 -2516 2076 -2172 -2368 2408 2020 2352 -2400 2176 2068 2060 2564 2732 -2576 -2672 -2600 -2636 -2576 -2548 -2048 2564 2512 2364 -2156 -2060 -2664 -2192 2380 2692 -2020 2356 2136 -2080 -2700 -2192 -2136 -2244 2192 -2452 2324 -2020 2272 2700 -2620 -2672 -2672 2312 -2032 2712 2444 -2068 2632 -2080 -2132 2508 2388 2036 -2180 -2492 2684 2732 2624 -2552 -2036 -2696 -2604 2480 -2640 2732 2472 2060 -2052 -2696 -2172 -2700 -2224 2624 -2468 2604 -2420 2696 -2064 2072 -2228 2736 -2488 2736 2276 -2580 2456 -2596 -2064 2668 2088 -2332 -2740 -2284 2196 -2712 2672 -2572 -2456 2720 2328 2396 2168 2564 2164 -2152 2620 -2336 2192 -2036 -2692 2144 -2108 2212 2020 2184 -2664 2036 2700 2660 2028 2700 2224 -2368 -2636 -2584 2308 2360 -2740 2240 -2028 2616 2332 -2460 -2736 2264 -2028 -2060 -2484 -2720 2628 2116 2660 2668 -2684 2604 2376 2052 2540 -2092 -2024 2288 -2212 -2052 2556 -2732 -2108 2256 -2572 2024 2072 -2068 2124 -2740 2592 2364 2064 2636 -2036 2024 -2696 -2636 -2112 2136 2556 -2680 -2268 -2020 2116 -2060 2028 -2080 2080 -2288 -2692 -2488 2096 2652 -2328 -2252 -2272 2592 2452 2228 2476 -2496 2664 2408 2688 -2508 -2044 2696 -2060 2028 2360 2024 2724 -2536 2532 -2064 2708 -2116 -2628 -2364 2612 2628 2520 -2280 -2224 -2140 2244 2468 -2140 -2716 2716 -2232 -2084 -2408 -2288 2336 2532 2236 2456 -2192 2720 2560 -2288 -2548 2668 2732 2656 2492 2056 -2396 -2644 2332 -2740 2452 2184 -2312 -2040 -2028 2624 2468 2612 2228 -2680 -2108 -2316 2036 2600 -2700 2724 2020 -2552 -2064 2704 2740 -2020 2652 2700 2444 2488 2580 -2584 -2068 -2180 -2724 -2592 -2732 -2400 2736 2700 2164 2120 2208 -2668 2728 -2316 -2276 2204 -2640 2208 2504 2156 -2552 -2636 2076 2668 2608 2440 2144 -2276 -2692 2336 -2080 -2540 2308 -2116 2732 -2468 2648 -2496 2076 -2260

Verifier Data (download as text)

2239 unsatisfied constraints, 38528 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/node5/watcher-275240-1169218866 -o ROOT/results/node5/solver-275240-1169218866 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/275240-1169218866/unknown.xml 

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

/proc/loadavg: 1.93 1.99 1.94 5/99 11292
/proc/meminfo: memFree=1167496/2055920 swapFree=4192812/4192956
[pid=11291] ppid=11289 vsize=18540 CPUtime=0
/proc/11291/stat : 11291 (runsolver) R 11289 11291 10598 0 -1 4194368 17 0 0 0 0 0 0 0 20 0 1 0 250501110 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 226913479975 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/11291/statm: 4635 279 244 17 0 2626 0

[startup+0.10813 s]
/proc/loadavg: 1.93 1.99 1.94 5/99 11292
/proc/meminfo: memFree=1167496/2055920 swapFree=4192812/4192956
[pid=11291] ppid=11289 vsize=914988 CPUtime=0.08
/proc/11291/stat : 11291 (java) R 11289 11291 10598 0 -1 0 2976 0 1 0 7 1 0 0 17 0 8 0 250501110 936947712 2722 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155582787 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11291/statm: 228747 2722 1422 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.516178 s]
/proc/loadavg: 1.93 1.99 1.94 5/99 11292
/proc/meminfo: memFree=1167496/2055920 swapFree=4192812/4192956
[pid=11291] ppid=11289 vsize=915332 CPUtime=0.48
/proc/11291/stat : 11291 (java) R 11289 11291 10598 0 -1 0 6969 0 1 0 45 3 0 0 18 0 8 0 250501110 937299968 6708 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4152819938 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11291/statm: 228833 6708 2143 14 0 215303 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915332

[startup+1.33827 s]
/proc/loadavg: 1.93 1.99 1.94 3/106 11301
/proc/meminfo: memFree=1086864/2055920 swapFree=4192812/4192956
[pid=11291] ppid=11289 vsize=915612 CPUtime=1.29
/proc/11291/stat : 11291 (java) R 11289 11291 10598 0 -1 0 24347 0 1 0 117 12 0 0 23 0 8 0 250501110 937586688 24084 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153380220 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11291/statm: 228903 24084 2164 14 0 215373 0
[pid=11291/tid=11293] ppid=11289 vsize=915612 CPUtime=0.09
/proc/11291/task/11293/stat : 11293 (java) S 11289 11291 10598 0 -1 64 7788 0 0 0 6 3 0 0 16 0 8 0 250501114 937586688 24084 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11291/tid=11294] ppid=11289 vsize=915612 CPUtime=0
/proc/11291/task/11294/stat : 11294 (java) S 11289 11291 10598 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 250501115 937586688 24084 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11291/tid=11295] ppid=11289 vsize=915612 CPUtime=0
/proc/11291/task/11295/stat : 11295 (java) S 11289 11291 10598 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 250501115 937586688 24084 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11291/tid=11296] ppid=11289 vsize=915612 CPUtime=0
/proc/11291/task/11296/stat : 11296 (java) S 11289 11291 10598 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 250501118 937586688 24084 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11291/tid=11297] ppid=11289 vsize=915612 CPUtime=0.17
/proc/11291/task/11297/stat : 11297 (java) S 11289 11291 10598 0 -1 64 402 0 0 0 17 0 0 0 16 0 8 0 250501118 937586688 24084 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11291/tid=11298] ppid=11289 vsize=915612 CPUtime=0
/proc/11291/task/11298/stat : 11298 (java) S 11289 11291 10598 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 250501118 937586688 24084 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11291/tid=11299] ppid=11289 vsize=915612 CPUtime=0
/proc/11291/task/11299/stat : 11299 (java) S 11289 11291 10598 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 250501118 937586688 24084 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 915612

[startup+2.97645 s]
/proc/loadavg: 1.93 1.99 1.94 3/106 11301
/proc/meminfo: memFree=1074136/2055920 swapFree=4192812/4192956
[pid=11291] ppid=11289 vsize=915744 CPUtime=2.91
/proc/11291/stat : 11291 (java) R 11289 11291 10598 0 -1 0 26171 0 1 0 278 13 0 0 25 0 8 0 250501110 937721856 25904 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073831728 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11291/statm: 228936 25904 2184 14 0 215406 0
[pid=11291/tid=11293] ppid=11289 vsize=915744 CPUtime=0.22
/proc/11291/task/11293/stat : 11293 (java) S 11289 11291 10598 0 -1 64 9534 0 0 0 18 4 0 0 16 0 8 0 250501114 937721856 25904 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11291/tid=11294] ppid=11289 vsize=915744 CPUtime=0
/proc/11291/task/11294/stat : 11294 (java) S 11289 11291 10598 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 250501115 937721856 25904 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11291/tid=11295] ppid=11289 vsize=915744 CPUtime=0
/proc/11291/task/11295/stat : 11295 (java) S 11289 11291 10598 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 250501115 937721856 25904 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11291/tid=11296] ppid=11289 vsize=915744 CPUtime=0
/proc/11291/task/11296/stat : 11296 (java) S 11289 11291 10598 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 250501118 937721856 25904 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11291/tid=11297] ppid=11289 vsize=915744 CPUtime=0.19
/proc/11291/task/11297/stat : 11297 (java) S 11289 11291 10598 0 -1 64 414 0 0 0 19 0 0 0 16 0 8 0 250501118 937721856 25904 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11291/tid=11298] ppid=11289 vsize=915744 CPUtime=0
/proc/11291/task/11298/stat : 11298 (java) S 11289 11291 10598 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 250501118 937721856 25904 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11291/tid=11299] ppid=11289 vsize=915744 CPUtime=0
/proc/11291/task/11299/stat : 11299 (java) S 11289 11291 10598 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 250501118 937721856 25904 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.91
Current children cumulated vsize (KiB) 915744

[startup+6.27682 s]
/proc/loadavg: 1.93 1.99 1.94 3/106 11307
/proc/meminfo: memFree=1072088/2055920 swapFree=4192812/4192956
[pid=11291] ppid=11289 vsize=915744 CPUtime=6.18
/proc/11291/stat : 11291 (java) R 11289 11291 10598 0 -1 0 26184 0 1 0 604 14 0 0 25 0 8 0 250501110 937721856 25916 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073828039 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11291/statm: 228936 25916 2185 14 0 215406 0
[pid=11291/tid=11293] ppid=11289 vsize=915744 CPUtime=0.22
/proc/11291/task/11293/stat : 11293 (java) S 11289 11291 10598 0 -1 64 9534 0 0 0 18 4 0 0 16 0 8 0 250501114 937721856 25916 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11291/tid=11294] ppid=11289 vsize=915744 CPUtime=0
/proc/11291/task/11294/stat : 11294 (java) S 11289 11291 10598 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 250501115 937721856 25916 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11291/tid=11295] ppid=11289 vsize=915744 CPUtime=0
/proc/11291/task/11295/stat : 11295 (java) S 11289 11291 10598 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 250501115 937721856 25916 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11291/tid=11296] ppid=11289 vsize=915744 CPUtime=0
/proc/11291/task/11296/stat : 11296 (java) S 11289 11291 10598 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 250501118 937721856 25916 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11291/tid=11297] ppid=11289 vsize=915744 CPUtime=0.21
/proc/11291/task/11297/stat : 11297 (java) S 11289 11291 10598 0 -1 64 425 0 0 0 21 0 0 0 16 0 8 0 250501118 937721856 25916 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11291/tid=11298] ppid=11289 vsize=915744 CPUtime=0
/proc/11291/task/11298/stat : 11298 (java) S 11289 11291 10598 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 250501118 937721856 25916 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11291/tid=11299] ppid=11289 vsize=915744 CPUtime=0
/proc/11291/task/11299/stat : 11299 (java) S 11289 11291 10598 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 250501118 937721856 25916 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 915744

[startup+12.7516 s]
/proc/loadavg: 1.94 1.99 1.94 3/106 11317
/proc/meminfo: memFree=1069848/2055920 swapFree=4192812/4192956
[pid=11291] ppid=11289 vsize=915744 CPUtime=12.58
/proc/11291/stat : 11291 (java) R 11289 11291 10598 0 -1 0 26762 0 1 0 1243 15 0 0 25 0 8 0 250501110 937721856 26492 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073829088 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11291/statm: 228936 26492 2185 14 0 215406 0
[pid=11291/tid=11293] ppid=11289 vsize=915744 CPUtime=0.27
/proc/11291/task/11293/stat : 11293 (java) S 11289 11291 10598 0 -1 64 10108 0 0 0 23 4 0 0 16 0 8 0 250501114 937721856 26492 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11291/tid=11294] ppid=11289 vsize=915744 CPUtime=0
/proc/11291/task/11294/stat : 11294 (java) S 11289 11291 10598 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 250501115 937721856 26492 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11291/tid=11295] ppid=11289 vsize=915744 CPUtime=0
/proc/11291/task/11295/stat : 11295 (java) S 11289 11291 10598 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 250501115 937721856 26492 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11291/tid=11296] ppid=11289 vsize=915744 CPUtime=0
/proc/11291/task/11296/stat : 11296 (java) S 11289 11291 10598 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 250501118 937721856 26492 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11291/tid=11297] ppid=11289 vsize=915744 CPUtime=0.22
/proc/11291/task/11297/stat : 11297 (java) S 11289 11291 10598 0 -1 64 427 0 0 0 22 0 0 0 16 0 8 0 250501118 937721856 26492 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11291/tid=11298] ppid=11289 vsize=915744 CPUtime=0
/proc/11291/task/11298/stat : 11298 (java) S 11289 11291 10598 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 250501118 937721856 26492 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11291/tid=11299] ppid=11289 vsize=915744 CPUtime=0
/proc/11291/task/11299/stat : 11299 (java) S 11289 11291 10598 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 250501118 937721856 26492 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 915744

[startup+25.629 s]
/proc/loadavg: 1.95 1.99 1.94 3/106 11353
/proc/meminfo: memFree=1070104/2055920 swapFree=4192812/4192956
[pid=11291] ppid=11289 vsize=915744 CPUtime=25.31
/proc/11291/stat : 11291 (java) R 11289 11291 10598 0 -1 0 26770 0 1 0 2514 17 0 0 25 0 8 0 250501110 937721856 26498 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073832632 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11291/statm: 228936 26498 2185 14 0 215406 0
[pid=11291/tid=11293] ppid=11289 vsize=915744 CPUtime=0.27
/proc/11291/task/11293/stat : 11293 (java) S 11289 11291 10598 0 -1 64 10108 0 0 0 23 4 0 0 16 0 8 0 250501114 937721856 26498 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11291/tid=11294] ppid=11289 vsize=915744 CPUtime=0
/proc/11291/task/11294/stat : 11294 (java) S 11289 11291 10598 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 250501115 937721856 26498 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11291/tid=11295] ppid=11289 vsize=915744 CPUtime=0
/proc/11291/task/11295/stat : 11295 (java) S 11289 11291 10598 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 250501115 937721856 26498 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11291/tid=11296] ppid=11289 vsize=915744 CPUtime=0
/proc/11291/task/11296/stat : 11296 (java) S 11289 11291 10598 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 250501118 937721856 26498 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11291/tid=11297] ppid=11289 vsize=915744 CPUtime=0.23
/proc/11291/task/11297/stat : 11297 (java) S 11289 11291 10598 0 -1 64 433 0 0 0 23 0 0 0 15 0 8 0 250501118 937721856 26498 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11291/tid=11298] ppid=11289 vsize=915744 CPUtime=0
/proc/11291/task/11298/stat : 11298 (java) S 11289 11291 10598 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 250501118 937721856 26498 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11291/tid=11299] ppid=11289 vsize=915744 CPUtime=0
/proc/11291/task/11299/stat : 11299 (java) S 11289 11291 10598 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 250501118 937721856 26498 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.31
Current children cumulated vsize (KiB) 915744

[startup+51.2589 s]
/proc/loadavg: 1.97 1.99 1.94 3/106 11403
/proc/meminfo: memFree=1060120/2055920 swapFree=4192812/4192956
[pid=11291] ppid=11289 vsize=915744 CPUtime=50.65
/proc/11291/stat : 11291 (java) R 11289 11291 10598 0 -1 0 29226 0 1 0 5035 30 0 0 25 0 8 0 250501110 937721856 28952 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073829160 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11291/statm: 228936 28952 2186 14 0 215406 0
[pid=11291/tid=11293] ppid=11289 vsize=915744 CPUtime=0.36
/proc/11291/task/11293/stat : 11293 (java) S 11289 11291 10598 0 -1 64 12553 0 0 0 31 5 0 0 16 0 8 0 250501114 937721856 28952 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11291/tid=11294] ppid=11289 vsize=915744 CPUtime=0
/proc/11291/task/11294/stat : 11294 (java) S 11289 11291 10598 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 250501115 937721856 28952 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11291/tid=11295] ppid=11289 vsize=915744 CPUtime=0
/proc/11291/task/11295/stat : 11295 (java) S 11289 11291 10598 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 250501115 937721856 28952 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11291/tid=11296] ppid=11289 vsize=915744 CPUtime=0
/proc/11291/task/11296/stat : 11296 (java) S 11289 11291 10598 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 250501118 937721856 28952 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11291/tid=11297] ppid=11289 vsize=915744 CPUtime=0.24
/proc/11291/task/11297/stat : 11297 (java) S 11289 11291 10598 0 -1 64 442 0 0 0 24 0 0 0 15 0 8 0 250501118 937721856 28952 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11291/tid=11298] ppid=11289 vsize=915744 CPUtime=0
/proc/11291/task/11298/stat : 11298 (java) S 11289 11291 10598 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 250501118 937721856 28952 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11291/tid=11299] ppid=11289 vsize=915744 CPUtime=0
/proc/11291/task/11299/stat : 11299 (java) S 11289 11291 10598 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 250501118 937721856 28952 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.65
Current children cumulated vsize (KiB) 915744

[startup+102.528 s]
/proc/loadavg: 2.03 2.00 1.94 3/100 11433
/proc/meminfo: memFree=1021640/2055920 swapFree=4192812/4192956
[pid=11291] ppid=11289 vsize=915744 CPUtime=101.32
/proc/11291/stat : 11291 (java) R 11289 11291 10598 0 -1 0 39503 0 1 0 10082 50 0 0 25 0 8 0 250501110 937721856 39165 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074017190 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11291/statm: 228936 39165 2504 14 0 215406 0
[pid=11291/tid=11293] ppid=11289 vsize=915744 CPUtime=1.24
/proc/11291/task/11293/stat : 11293 (java) S 11289 11291 10598 0 -1 64 22442 0 0 0 115 9 0 0 16 0 8 0 250501114 937721856 39165 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11291/tid=11294] ppid=11289 vsize=915744 CPUtime=0
/proc/11291/task/11294/stat : 11294 (java) S 11289 11291 10598 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 250501115 937721856 39165 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11291/tid=11295] ppid=11289 vsize=915744 CPUtime=0
/proc/11291/task/11295/stat : 11295 (java) S 11289 11291 10598 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 250501115 937721856 39165 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11291/tid=11296] ppid=11289 vsize=915744 CPUtime=0
/proc/11291/task/11296/stat : 11296 (java) S 11289 11291 10598 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 250501118 937721856 39165 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11291/tid=11297] ppid=11289 vsize=915744 CPUtime=0.31
/proc/11291/task/11297/stat : 11297 (java) S 11289 11291 10598 0 -1 64 476 0 0 0 30 1 0 0 16 0 8 0 250501118 937721856 39165 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11291/tid=11298] ppid=11289 vsize=915744 CPUtime=0
/proc/11291/task/11298/stat : 11298 (java) S 11289 11291 10598 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 250501118 937721856 39165 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11291/tid=11299] ppid=11289 vsize=915744 CPUtime=0
/proc/11291/task/11299/stat : 11299 (java) S 11289 11291 10598 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 250501118 937721856 39165 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.32
Current children cumulated vsize (KiB) 915744

[startup+162.54 s]
/proc/loadavg: 2.01 2.00 1.94 3/100 11433
/proc/meminfo: memFree=1021640/2055920 swapFree=4192812/4192956
[pid=11291] ppid=11289 vsize=915744 CPUtime=160.76
/proc/11291/stat : 11291 (java) R 11289 11291 10598 0 -1 0 39505 0 1 0 16017 59 0 0 25 0 8 0 250501110 937721856 39167 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073470044 0 4 0 23759 18446744073709551615 0 0 17 1 0 0

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

Current children cumulated CPU time (s) 2010.81
Current children cumulated vsize (KiB) 916908

[startup+2083.66 s]
/proc/loadavg: 2.00 2.01 2.00 3/100 11495
/proc/meminfo: memFree=791312/2055920 swapFree=4192812/4192956
[pid=11291] ppid=11289 vsize=916908 CPUtime=2070.29
/proc/11291/stat : 11291 (java) R 11289 11291 10598 0 -1 0 68124 0 1 0 206912 117 0 0 25 0 8 0 250501110 938913792 67770 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074321597 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11291/statm: 229227 67770 2551 14 0 215697 0
[pid=11291/tid=11293] ppid=11289 vsize=916908 CPUtime=1.56
/proc/11291/task/11293/stat : 11293 (java) S 11289 11291 10598 0 -1 64 50820 0 0 0 139 17 0 0 16 0 8 0 250501114 938913792 67770 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11291/tid=11294] ppid=11289 vsize=916908 CPUtime=0
/proc/11291/task/11294/stat : 11294 (java) S 11289 11291 10598 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 250501115 938913792 67770 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11291/tid=11295] ppid=11289 vsize=916908 CPUtime=0
/proc/11291/task/11295/stat : 11295 (java) S 11289 11291 10598 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 250501115 938913792 67770 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11291/tid=11296] ppid=11289 vsize=916908 CPUtime=0
/proc/11291/task/11296/stat : 11296 (java) S 11289 11291 10598 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 250501118 938913792 67770 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11291/tid=11297] ppid=11289 vsize=916908 CPUtime=0.43
/proc/11291/task/11297/stat : 11297 (java) S 11289 11291 10598 0 -1 64 603 0 0 0 42 1 0 0 16 0 8 0 250501118 938913792 67770 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11291/tid=11298] ppid=11289 vsize=916908 CPUtime=0
/proc/11291/task/11298/stat : 11298 (java) S 11289 11291 10598 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 250501118 938913792 67770 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11291/tid=11299] ppid=11289 vsize=916908 CPUtime=0
/proc/11291/task/11299/stat : 11299 (java) S 11289 11291 10598 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 250501118 938913792 67770 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2070.29
Current children cumulated vsize (KiB) 916908

[startup+2143.74 s]
/proc/loadavg: 2.07 2.02 2.00 3/100 11495
/proc/meminfo: memFree=791312/2055920 swapFree=4192812/4192956
[pid=11291] ppid=11289 vsize=916908 CPUtime=2129.8
/proc/11291/stat : 11291 (java) R 11289 11291 10598 0 -1 0 68124 0 1 0 212863 117 0 0 25 0 8 0 250501110 938913792 67770 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074319126 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11291/statm: 229227 67770 2551 14 0 215697 0
[pid=11291/tid=11293] ppid=11289 vsize=916908 CPUtime=1.56
/proc/11291/task/11293/stat : 11293 (java) S 11289 11291 10598 0 -1 64 50820 0 0 0 139 17 0 0 16 0 8 0 250501114 938913792 67770 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11291/tid=11294] ppid=11289 vsize=916908 CPUtime=0
/proc/11291/task/11294/stat : 11294 (java) S 11289 11291 10598 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 250501115 938913792 67770 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11291/tid=11295] ppid=11289 vsize=916908 CPUtime=0
/proc/11291/task/11295/stat : 11295 (java) S 11289 11291 10598 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 250501115 938913792 67770 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11291/tid=11296] ppid=11289 vsize=916908 CPUtime=0
/proc/11291/task/11296/stat : 11296 (java) S 11289 11291 10598 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 250501118 938913792 67770 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11291/tid=11297] ppid=11289 vsize=916908 CPUtime=0.43
/proc/11291/task/11297/stat : 11297 (java) S 11289 11291 10598 0 -1 64 603 0 0 0 42 1 0 0 16 0 8 0 250501118 938913792 67770 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11291/tid=11298] ppid=11289 vsize=916908 CPUtime=0
/proc/11291/task/11298/stat : 11298 (java) S 11289 11291 10598 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 250501118 938913792 67770 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11291/tid=11299] ppid=11289 vsize=916908 CPUtime=0
/proc/11291/task/11299/stat : 11299 (java) S 11289 11291 10598 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 250501118 938913792 67770 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2129.8
Current children cumulated vsize (KiB) 916908

[startup+2203.82 s]
/proc/loadavg: 2.02 2.01 2.00 3/100 11495
/proc/meminfo: memFree=791312/2055920 swapFree=4192812/4192956
[pid=11291] ppid=11289 vsize=916908 CPUtime=2189.31
/proc/11291/stat : 11291 (java) R 11289 11291 10598 0 -1 0 68124 0 1 0 218814 117 0 0 25 0 8 0 250501110 938913792 67770 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074328200 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11291/statm: 229227 67770 2551 14 0 215697 0
[pid=11291/tid=11293] ppid=11289 vsize=916908 CPUtime=1.56
/proc/11291/task/11293/stat : 11293 (java) S 11289 11291 10598 0 -1 64 50820 0 0 0 139 17 0 0 16 0 8 0 250501114 938913792 67770 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11291/tid=11294] ppid=11289 vsize=916908 CPUtime=0
/proc/11291/task/11294/stat : 11294 (java) S 11289 11291 10598 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 250501115 938913792 67770 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11291/tid=11295] ppid=11289 vsize=916908 CPUtime=0
/proc/11291/task/11295/stat : 11295 (java) S 11289 11291 10598 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 250501115 938913792 67770 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11291/tid=11296] ppid=11289 vsize=916908 CPUtime=0
/proc/11291/task/11296/stat : 11296 (java) S 11289 11291 10598 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 250501118 938913792 67770 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11291/tid=11297] ppid=11289 vsize=916908 CPUtime=0.43
/proc/11291/task/11297/stat : 11297 (java) S 11289 11291 10598 0 -1 64 603 0 0 0 42 1 0 0 16 0 8 0 250501118 938913792 67770 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11291/tid=11298] ppid=11289 vsize=916908 CPUtime=0
/proc/11291/task/11298/stat : 11298 (java) S 11289 11291 10598 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 250501118 938913792 67770 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11291/tid=11299] ppid=11289 vsize=916908 CPUtime=0
/proc/11291/task/11299/stat : 11299 (java) S 11289 11291 10598 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 250501118 938913792 67770 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2189.31
Current children cumulated vsize (KiB) 916908

[startup+2263.89 s]
/proc/loadavg: 2.01 2.01 2.00 3/100 11495
/proc/meminfo: memFree=791312/2055920 swapFree=4192812/4192956
[pid=11291] ppid=11289 vsize=916908 CPUtime=2248.8
/proc/11291/stat : 11291 (java) R 11289 11291 10598 0 -1 0 68124 0 1 0 224763 117 0 0 25 0 8 0 250501110 938913792 67770 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074319044 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11291/statm: 229227 67770 2551 14 0 215697 0
[pid=11291/tid=11293] ppid=11289 vsize=916908 CPUtime=1.56
/proc/11291/task/11293/stat : 11293 (java) S 11289 11291 10598 0 -1 64 50820 0 0 0 139 17 0 0 16 0 8 0 250501114 938913792 67770 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11291/tid=11294] ppid=11289 vsize=916908 CPUtime=0
/proc/11291/task/11294/stat : 11294 (java) S 11289 11291 10598 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 250501115 938913792 67770 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11291/tid=11295] ppid=11289 vsize=916908 CPUtime=0
/proc/11291/task/11295/stat : 11295 (java) S 11289 11291 10598 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 250501115 938913792 67770 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11291/tid=11296] ppid=11289 vsize=916908 CPUtime=0
/proc/11291/task/11296/stat : 11296 (java) S 11289 11291 10598 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 250501118 938913792 67770 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11291/tid=11297] ppid=11289 vsize=916908 CPUtime=0.43
/proc/11291/task/11297/stat : 11297 (java) S 11289 11291 10598 0 -1 64 603 0 0 0 42 1 0 0 16 0 8 0 250501118 938913792 67770 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11291/tid=11298] ppid=11289 vsize=916908 CPUtime=0
/proc/11291/task/11298/stat : 11298 (java) S 11289 11291 10598 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 250501118 938913792 67770 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11291/tid=11299] ppid=11289 vsize=916908 CPUtime=0
/proc/11291/task/11299/stat : 11299 (java) S 11289 11291 10598 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 250501118 938913792 67770 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2248.8
Current children cumulated vsize (KiB) 916908

[startup+2323.97 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 11495
/proc/meminfo: memFree=791312/2055920 swapFree=4192812/4192956
[pid=11291] ppid=11289 vsize=916908 CPUtime=2308.32
/proc/11291/stat : 11291 (java) R 11289 11291 10598 0 -1 0 68124 0 1 0 230714 118 0 0 25 0 8 0 250501110 938913792 67770 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074328224 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11291/statm: 229227 67770 2551 14 0 215697 0
[pid=11291/tid=11293] ppid=11289 vsize=916908 CPUtime=1.56
/proc/11291/task/11293/stat : 11293 (java) S 11289 11291 10598 0 -1 64 50820 0 0 0 139 17 0 0 16 0 8 0 250501114 938913792 67770 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11291/tid=11294] ppid=11289 vsize=916908 CPUtime=0
/proc/11291/task/11294/stat : 11294 (java) S 11289 11291 10598 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 250501115 938913792 67770 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11291/tid=11295] ppid=11289 vsize=916908 CPUtime=0
/proc/11291/task/11295/stat : 11295 (java) S 11289 11291 10598 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 250501115 938913792 67770 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11291/tid=11296] ppid=11289 vsize=916908 CPUtime=0
/proc/11291/task/11296/stat : 11296 (java) S 11289 11291 10598 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 250501118 938913792 67770 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11291/tid=11297] ppid=11289 vsize=916908 CPUtime=0.43
/proc/11291/task/11297/stat : 11297 (java) S 11289 11291 10598 0 -1 64 603 0 0 0 42 1 0 0 16 0 8 0 250501118 938913792 67770 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11291/tid=11298] ppid=11289 vsize=916908 CPUtime=0
/proc/11291/task/11298/stat : 11298 (java) S 11289 11291 10598 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 250501118 938913792 67770 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11291/tid=11299] ppid=11289 vsize=916908 CPUtime=0
/proc/11291/task/11299/stat : 11299 (java) S 11289 11291 10598 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 250501118 938913792 67770 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2308.32
Current children cumulated vsize (KiB) 916908

[startup+2384.04 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 11495
/proc/meminfo: memFree=791248/2055920 swapFree=4192812/4192956
[pid=11291] ppid=11289 vsize=916908 CPUtime=2367.83
/proc/11291/stat : 11291 (java) R 11289 11291 10598 0 -1 0 68124 0 1 0 236665 118 0 0 25 0 8 0 250501110 938913792 67770 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074294032 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11291/statm: 229227 67770 2551 14 0 215697 0
[pid=11291/tid=11293] ppid=11289 vsize=916908 CPUtime=1.56
/proc/11291/task/11293/stat : 11293 (java) S 11289 11291 10598 0 -1 64 50820 0 0 0 139 17 0 0 16 0 8 0 250501114 938913792 67770 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11291/tid=11294] ppid=11289 vsize=916908 CPUtime=0
/proc/11291/task/11294/stat : 11294 (java) S 11289 11291 10598 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 250501115 938913792 67770 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11291/tid=11295] ppid=11289 vsize=916908 CPUtime=0
/proc/11291/task/11295/stat : 11295 (java) S 11289 11291 10598 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 250501115 938913792 67770 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11291/tid=11296] ppid=11289 vsize=916908 CPUtime=0
/proc/11291/task/11296/stat : 11296 (java) S 11289 11291 10598 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 250501118 938913792 67770 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11291/tid=11297] ppid=11289 vsize=916908 CPUtime=0.43
/proc/11291/task/11297/stat : 11297 (java) S 11289 11291 10598 0 -1 64 603 0 0 0 42 1 0 0 16 0 8 0 250501118 938913792 67770 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11291/tid=11298] ppid=11289 vsize=916908 CPUtime=0
/proc/11291/task/11298/stat : 11298 (java) S 11289 11291 10598 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 250501118 938913792 67770 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11291/tid=11299] ppid=11289 vsize=916908 CPUtime=0
/proc/11291/task/11299/stat : 11299 (java) S 11289 11291 10598 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 250501118 938913792 67770 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2367.83
Current children cumulated vsize (KiB) 916908



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2416.56 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 11495
/proc/meminfo: memFree=791248/2055920 swapFree=4192812/4192956
[pid=11291] ppid=11289 vsize=916908 CPUtime=2400.02
/proc/11291/stat : 11291 (java) R 11289 11291 10598 0 -1 0 68124 0 1 0 239884 118 0 0 25 0 8 0 250501110 938913792 67770 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074319093 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11291/statm: 229227 67770 2551 14 0 215697 0
[pid=11291/tid=11293] ppid=11289 vsize=916908 CPUtime=1.56
/proc/11291/task/11293/stat : 11293 (java) S 11289 11291 10598 0 -1 64 50820 0 0 0 139 17 0 0 16 0 8 0 250501114 938913792 67770 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11291/tid=11294] ppid=11289 vsize=916908 CPUtime=0
/proc/11291/task/11294/stat : 11294 (java) S 11289 11291 10598 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 250501115 938913792 67770 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11291/tid=11295] ppid=11289 vsize=916908 CPUtime=0
/proc/11291/task/11295/stat : 11295 (java) S 11289 11291 10598 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 250501115 938913792 67770 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11291/tid=11296] ppid=11289 vsize=916908 CPUtime=0
/proc/11291/task/11296/stat : 11296 (java) S 11289 11291 10598 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 250501118 938913792 67770 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11291/tid=11297] ppid=11289 vsize=916908 CPUtime=0.43
/proc/11291/task/11297/stat : 11297 (java) S 11289 11291 10598 0 -1 64 603 0 0 0 42 1 0 0 16 0 8 0 250501118 938913792 67770 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11291/tid=11298] ppid=11289 vsize=916908 CPUtime=0
/proc/11291/task/11298/stat : 11298 (java) S 11289 11291 10598 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 250501118 938913792 67770 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11291/tid=11299] ppid=11289 vsize=916908 CPUtime=0
/proc/11291/task/11299/stat : 11299 (java) S 11289 11291 10598 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 250501118 938913792 67770 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2400.02
Current children cumulated vsize (KiB) 916908

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

Child status: 143
Real time (s): 2416.63
CPU time (s): 2400.09
CPU user time (s): 2398.86
CPU system time (s): 1.22881
CPU usage (%): 99.3157
Max. virtual memory (cumulated for all children) (KiB): 916908

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

runsolver used 3.11852 s user time and 7.68583 s system time

The end

Launcher Data (download as text)

Begin job on node5 on Fri Jan 19 15:01:07 UTC 2007


IDJOB= 275240
IDBENCH= 3732
IDSOLVER= 68
FILE ID= node5/275240-1169218866

PBS_JOBID= 3588929

Free space on /tmp= 66556 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  e25e356bc98ab8ce9620a3fb6e6db1ca

RANDOM SEED= 27117722

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.240
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.240
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:       1167976 kB
Buffers:         60128 kB
Cached:         664072 kB
SwapCached:          0 kB
Active:         242992 kB
Inactive:       566996 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1167976 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            7448 kB
Writeback:           0 kB
Mapped:         115280 kB
Slab:            62408 kB
Committed_AS:  7517092 kB
PageTables:       2528 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66554 MiB



End job on node5 on Fri Jan 19 15:41:23 UTC 2007