0.32
0.32 Abscon 109 (November, 2006)
0.32
0.32 configuration
0.32 name=epfc.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/275645-1169224689/unknown.xml
0.38
0.38 domains being loaded...
0.42
0.42 variables being loaded...
0.69 nbVariables=2000 nbDomainTypes=26 minDomainSize=46 maxDomainSize=454
0.69 => wckTime=0.366 cpuTime=0.27 mem=34M228
0.69
0.69 predicates being loaded...
0.70
0.70 constraints being loaded...
61.07
61.07 INFO : Stopping converting binary constraints (cpu=60.03, mem = 68M587)
62.55 nbConstraints=18600 nbConvertedConstraints=2093 nbConvertConstraintsChecks=200467980 nbExtensionStructures=1678
62.55 nbSharedExtensionStructures=415 nbConflictsStructures=1678 nbSharedConflictsStructures=415
62.55 nbSharedBinaryRepresentations=1109095 nbEvaluationManagers=8065 nbSharedEvaluationManagers=8442 maxDegree=25
62.55 maxArity=2
62.55 => wckTime=62.229 cpuTime=61.24 mem=78M77
62.81
62.81 solver LocalSearchSolver being built...
62.85 => wckTime=62.53 cpuTime=61.29 mem=63M588
63.01
63.01 s SATISFIABLE
63.01 o 13255
63.01 c 5345
63.13 o 13262
63.13 c 5338
63.21 o 13269
63.21 c 5331
63.27 o 13273
63.27 c 5327
63.30 o 13277
63.30 c 5323
63.35 o 13279
63.35 c 5321
63.41 o 13281
63.41 c 5319
63.45 o 13287
63.45 c 5313
63.50 o 13293
63.50 c 5307
63.55 o 13299
63.55 c 5301
63.60 o 13304
63.60 c 5296
63.65 o 13309
63.65 c 5291
63.69 o 13313
63.69 c 5287
63.74 o 13317
63.74 c 5283
63.77 o 13321
63.77 c 5279
63.81 o 13325
63.81 c 5275
63.85 o 13329
63.85 c 5271
63.88 o 13332
63.88 c 5268
63.92 o 13335
63.92 c 5265
63.95 o 13338
63.95 c 5262
63.99 o 13341
63.99 c 5259
64.02 o 13343
64.02 c 5257
64.06 o 13345
64.06 c 5255
64.08 o 13347
64.08 c 5253
64.10 o 13349
64.10 c 5251
64.14 o 13350
64.14 c 5250
64.18 o 13351
64.18 c 5249
64.22 o 13352
64.22 c 5248
64.25 o 13356
64.25 c 5244
64.29 o 13357
64.30 c 5243
64.33 o 13366
64.33 c 5234
64.37 o 13372
64.37 c 5228
64.42 o 13378
64.42 c 5222
64.47 o 13383
64.47 c 5217
64.52 o 13388
64.52 c 5212
64.58 o 13393
64.58 c 5207
64.62 o 13397
64.62 c 5203
64.67 o 13401
64.67 c 5199
64.71 o 13405
64.71 c 5195
64.76 o 13409
64.76 c 5191
64.80 o 13413
64.80 c 5187
64.86 o 13416
64.86 c 5184
64.90 o 13419
64.90 c 5181
64.94 o 13422
64.94 c 5178
64.98 o 13425
64.98 c 5175
65.02 o 13428
65.02 c 5172
65.06 o 13431
65.06 c 5169
65.10 o 13433
65.10 c 5167
65.14 o 13435
65.14 c 5165
65.18 o 13437
65.18 c 5163
65.22 o 13439
65.22 c 5161
65.26 o 13441
65.26 c 5159
65.29 o 13443
65.29 c 5157
65.31 o 13445
65.31 c 5155
65.34 o 13447
65.34 c 5153
65.36 o 13449
65.37 c 5151
65.39 o 13451
65.39 c 5149
65.40 o 13453
65.40 c 5147
65.42 o 13454
65.42 c 5146
65.44 o 13455
65.44 c 5145
65.45 o 13456
65.45 c 5144
65.47 o 13457
65.47 c 5143
65.48 o 13458
65.48 c 5142
65.53 o 13459
65.53 c 5141
65.58 o 13466
65.58 c 5134
65.64 o 13471
65.64 c 5129
65.70 o 13476
65.70 c 5124
65.76 o 13481
65.76 c 5119
65.81 o 13486
65.81 c 5114
65.86 o 13490
65.86 c 5110
65.91 o 13494
65.91 c 5106
65.97 o 13498
65.97 c 5102
66.02 o 13501
66.02 c 5099
66.08 o 13504
66.08 c 5096
66.14 o 13507
66.14 c 5093
66.19 o 13510
66.19 c 5090
66.24 o 13513
66.24 c 5087
66.30 o 13516
66.30 c 5084
66.35 o 13519
66.35 c 5081
66.40 o 13522
66.40 c 5078
66.45 o 13525
66.45 c 5075
66.50 o 13528
66.50 c 5072
66.54 o 13531
66.54 c 5069
66.57 o 13533
66.57 c 5067
66.61 o 13535
66.61 c 5065
66.65 o 13537
66.65 c 5063
66.68 o 13539
66.68 c 5061
66.72 o 13541
66.72 c 5059
66.74 o 13543
66.74 c 5057
66.78 o 13545
66.78 c 5055
66.81 o 13547
66.81 c 5053
66.84 o 13549
66.84 c 5051
66.87 o 13551
66.87 c 5049
66.90 o 13553
66.90 c 5047
66.93 o 13555
66.93 c 5045
66.95 o 13556
66.95 c 5044
66.98 o 13557
66.98 c 5043
67.00 o 13558
67.00 c 5042
67.02 o 13559
67.02 c 5041
67.04 o 13560
67.04 c 5040
67.09 o 13565
67.09 c 5035
67.12 o 13567
67.13 c 5033
67.15 o 13569
67.15 c 5031
67.17 o 13575
67.17 c 5025
67.19 o 13580
67.19 c 5020
67.22 o 13585
67.22 c 5015
67.23 o 13592
67.23 c 5008
67.25 o 13596
67.25 c 5004
67.28 o 13599
67.28 c 5001
67.31 o 13601
67.31 c 4999
67.34 o 13604
67.34 c 4996
67.40 o 13611
67.40 c 4989
67.43 o 13617
67.43 c 4983
67.46 o 13622
67.46 c 4978
67.49 o 13625
67.49 c 4975
67.51 o 13628
67.51 c 4972
67.55 o 13632
67.55 c 4968
67.58 o 13635
67.58 c 4965
67.61 o 13640
67.61 c 4960
67.65 o 13641
67.65 c 4959
67.68 o 13642
67.68 c 4958
67.72 o 13646
67.72 c 4954
67.76 o 13650
67.76 c 4950
67.81 o 13652
67.81 c 4948
67.84 o 13655
67.84 c 4945
67.93 o 13656
67.93 c 4944
67.99 o 13659
67.99 c 4941
68.03 o 13661
68.03 c 4939
68.09 o 13665
68.09 c 4935
68.13 o 13667
68.13 c 4933
68.20 o 13674
68.20 c 4926
68.27 o 13680
68.27 c 4920
68.34 o 13686
68.34 c 4914
68.41 o 13692
68.41 c 4908
68.48 o 13697
68.48 c 4903
68.55 o 13702
68.55 c 4898
68.61 o 13709
68.61 c 4891
68.68 o 13714
68.68 c 4886
68.76 o 13719
68.76 c 4881
68.83 o 13724
68.83 c 4876
68.90 o 13729
68.90 c 4871
68.97 o 13733
68.97 c 4867
69.03 o 13737
69.03 c 4863
69.10 o 13741
69.10 c 4859
69.17 o 13745
69.17 c 4855
69.23 o 13749
69.23 c 4851
69.29 o 13752
69.29 c 4848
69.34 o 13755
69.34 c 4845
69.41 o 13758
69.41 c 4842
69.47 o 13761
69.47 c 4839
69.52 o 13765
69.52 c 4835
69.57 o 13770
69.57 c 4830
69.63 o 13773
69.63 c 4827
69.68 o 13776
69.68 c 4824
69.72 o 13779
69.72 c 4821
69.76 o 13781
69.76 c 4819
69.85 o 13783
69.85 c 4817
69.88 o 13785
69.88 c 4815
69.93 o 13787
69.93 c 4813
69.97 o 13789
69.97 c 4811
70.02 o 13791
70.02 c 4809
70.05 o 13793
70.05 c 4807
70.08 o 13795
70.08 c 4805
70.12 o 13797
70.12 c 4803
70.15 o 13799
70.15 c 4801
70.20 o 13801
70.20 c 4799
70.24 o 13803
70.24 c 4797
70.27 o 13804
70.27 c 4796
70.31 o 13805
70.31 c 4795
70.34 o 13812
70.34 c 4788
70.37 o 13813
70.37 c 4787
70.40 o 13814
70.40 c 4786
70.44 o 13815
70.44 c 4785
70.47 o 13816
70.47 c 4784
70.50 o 13817
70.50 c 4783
70.53 o 13818
70.53 c 4782
70.55 o 13819
70.55 c 4781
70.62 o 13823
70.62 c 4777
70.64 o 13826
70.64 c 4774
70.66 o 13829
70.66 c 4771
70.68 o 13830
70.68 c 4770
70.70 o 13834
70.70 c 4766
70.77 o 13838
70.77 c 4762
70.80 o 13845
70.80 c 4755
70.84 o 13847
70.84 c 4753
70.87 o 13849
70.87 c 4751
70.90 o 13855
70.90 c 4745
70.94 o 13856
70.94 c 4744
70.99 o 13864
70.99 c 4736
71.02 o 13869
71.02 c 4731
71.06 o 13870
71.06 c 4730
71.09 o 13873
71.09 c 4727
71.13 o 13877
71.13 c 4723
71.17 o 13881
71.17 c 4719
71.24 o 13883
71.24 c 4717
71.27 o 13888
71.27 c 4712
71.35 o 13892
71.35 c 4708
71.38 o 13893
71.38 c 4707
71.42 o 13894
71.42 c 4706
71.46 o 13902
71.46 c 4698
71.51 o 13903
71.51 c 4697
71.54 o 13904
71.54 c 4696
71.59 o 13907
71.59 c 4693
71.62 o 13908
71.62 c 4692
71.66 o 13912
71.66 c 4688
71.69 o 13915
71.69 c 4685
71.72 o 13918
71.72 c 4682
71.75 o 13921
71.75 c 4679
71.79 o 13922
71.79 c 4678
71.82 o 13923
71.82 c 4677
71.86 o 13924
71.86 c 4676
71.89 o 13925
71.89 c 4675
71.92 o 13928
71.92 c 4672
71.95 o 13929
71.95 c 4671
71.99 o 13930
71.99 c 4670
72.03 o 13932
72.03 c 4668
72.07 o 13933
72.07 c 4667
72.12 o 13939
72.12 c 4661
72.16 o 13942
72.16 c 4658
72.28 o 13949
72.28 c 4651
72.35 o 13956
72.35 c 4644
72.43 o 13962
72.43 c 4638
72.51 o 13968
72.51 c 4632
72.57 o 13970
72.57 c 4630
72.63 o 13972
72.63 c 4628
72.71 o 13978
72.71 c 4622
72.78 o 13984
72.78 c 4616
72.86 o 13990
72.86 c 4610
73.00 o 13992
73.00 c 4608
73.09 o 13997
73.09 c 4603
73.17 o 14002
73.17 c 4598
73.26 o 14007
73.26 c 4593
73.48 o 14011
73.48 c 4589
73.56 o 14015
73.56 c 4585
73.65 o 14019
73.65 c 4581
73.74 o 14023
73.74 c 4577
73.82 o 14027
73.82 c 4573
73.90 o 14031
73.90 c 4569
73.98 o 14035
73.98 c 4565
74.06 o 14039
74.06 c 4561
74.14 o 14040
74.14 c 4560
74.21 o 14044
74.21 c 4556
74.29 o 14047
74.29 c 4553
74.37 o 14050
74.37 c 4550
74.44 o 14053
74.44 c 4547
74.52 o 14056
74.52 c 4544
74.60 o 14059
74.60 c 4541
74.67 o 14061
74.67 c 4539
74.74 o 14064
74.74 c 4536
74.81 o 14067
74.81 c 4533
74.89 o 14069
74.89 c 4531
74.95 o 14072
74.95 c 4528
75.00 o 14076
75.00 c 4524
75.06 o 14078
75.06 c 4522
75.12 o 14080
75.12 c 4520
75.18 o 14082
75.18 c 4518
75.23 o 14084
75.23 c 4516
75.28 o 14086
75.28 c 4514
75.33 o 14088
75.33 c 4512
75.38 o 14090
75.38 c 4510
75.44 o 14092
75.44 c 4508
75.49 o 14095
75.49 c 4505
75.53 o 14097
75.53 c 4503
75.57 o 14099
75.57 c 4501
75.62 o 14101
75.62 c 4499
75.67 o 14102
75.67 c 4498
75.71 o 14103
75.71 c 4497
75.76 o 14104
75.76 c 4496
75.80 o 14105
75.80 c 4495
75.83 o 14106
75.83 c 4494
75.87 o 14107
75.87 c 4493
75.92 o 14108
75.92 c 4492
75.95 o 14109
75.95 c 4491
76.11 o 14112
76.11 c 4488
76.16 o 14115
76.17 c 4485
76.20 o 14117
76.20 c 4483
76.25 o 14124
76.25 c 4476
76.31 o 14126
76.31 c 4474
76.37 o 14132
76.37 c 4468
76.47 o 14136
76.47 c 4464
76.68 o 14137
76.68 c 4463
76.73 o 14138
76.73 c 4462
76.79 o 14140
76.79 c 4460
76.84 o 14145
76.84 c 4455
76.89 o 14148
76.89 c 4452
77.08 o 14149
77.08 c 4451
77.13 o 14151
77.13 c 4449
77.18 o 14156
77.18 c 4444
77.23 o 14158
77.23 c 4442
77.28 o 14161
77.28 c 4439
77.34 o 14164
77.34 c 4436
77.38 o 14168
77.38 c 4432
77.44 o 14170
77.44 c 4430
77.49 o 14172
77.49 c 4428
77.54 o 14175
77.54 c 4425
77.59 o 14177
77.59 c 4423
77.65 o 14183
77.65 c 4417
77.69 o 14185
77.69 c 4415
77.74 o 14190
77.74 c 4410
77.78 o 14192
77.78 c 4408
77.89 o 14195
77.89 c 4405
78.01 o 14200
78.01 c 4400
78.06 o 14202
78.06 c 4398
78.11 o 14204
78.11 c 4396
78.16 o 14207
78.16 c 4393
78.26 o 14209
78.26 c 4391
78.31 o 14213
78.31 c 4387
78.36 o 14215
78.36 c 4385
78.40 o 14218
78.40 c 4382
78.46 o 14219
78.46 c 4381
78.51 o 14221
78.51 c 4379
78.56 o 14224
78.56 c 4376
78.61 o 14225
78.61 c 4375
78.66 o 14227
78.66 c 4373
78.70 o 14228
78.70 c 4372
78.84 o 14231
78.84 c 4369
78.87 o 14235
78.88 c 4365
78.91 o 14238
78.91 c 4362
78.95 o 14242
78.95 c 4358
78.99 o 14243
78.99 c 4357
79.09 o 14244
79.09 c 4356
79.13 o 14246
79.13 c 4354
79.18 o 14247
79.18 c 4353
79.22 o 14249
79.22 c 4351
79.28 o 14252
79.28 c 4348
79.33 o 14257
79.33 c 4343
79.38 o 14259
79.38 c 4341
79.42 o 14260
79.42 c 4340
79.47 o 14261
79.47 c 4339
79.57 o 14266
79.57 c 4334
79.62 o 14269
79.62 c 4331
79.66 o 14270
79.66 c 4330
79.70 o 14274
79.70 c 4326
79.74 o 14280
79.74 c 4320
79.77 o 14283
79.77 c 4317
79.81 o 14287
79.81 c 4313
79.85 o 14288
79.85 c 4312
79.89 o 14292
79.89 c 4308
79.98 o 14294
79.98 c 4306
80.06 o 14296
80.06 c 4304
80.10 o 14297
80.10 c 4303
80.20 o 14303
80.20 c 4297
80.24 o 14305
80.25 c 4295
80.29 o 14308
80.29 c 4292
80.34 o 14310
80.34 c 4290
80.39 o 14315
80.39 c 4285
80.46 o 14317
80.46 c 4283
80.52 o 14319
80.52 c 4281
80.60 o 14324
80.60 c 4276
80.67 o 14326
80.67 c 4274
80.75 o 14330
80.75 c 4270
80.81 o 14334
80.81 c 4266
80.88 o 14338
80.88 c 4262
80.95 o 14342
80.95 c 4258
81.02 o 14346
81.02 c 4254
81.08 o 14350
81.08 c 4250
81.15 o 14354
81.15 c 4246
81.22 o 14358
81.22 c 4242
81.28 o 14361
81.28 c 4239
81.34 o 14364
81.34 c 4236
81.41 o 14368
81.41 c 4232
81.47 o 14371
81.47 c 4229
81.54 o 14374
81.54 c 4226
81.61 o 14376
81.61 c 4224
81.67 o 14378
81.67 c 4222
81.73 o 14380
81.73 c 4220
81.79 o 14381
81.79 c 4219
81.84 o 14382
81.84 c 4218
81.90 o 14383
81.90 c 4217
81.95 o 14384
81.95 c 4216
82.00 o 14385
82.00 c 4215
82.07 o 14386
82.07 c 4214
82.12 o 14387
82.12 c 4213
82.23 o 14391
82.23 c 4209
82.28 o 14394
82.28 c 4206
82.38 o 14397
82.38 c 4203
82.46 o 14398
82.46 c 4202
82.56 o 14399
82.56 c 4201
82.72 o 14400
82.72 c 4200
82.77 o 14401
82.77 c 4199
82.82 o 14407
82.82 c 4193
82.87 o 14408
82.87 c 4192
82.93 o 14409
82.93 c 4191
82.99 o 14411
82.99 c 4189
83.05 o 14413
83.05 c 4187
83.22 o 14417
83.22 c 4183
83.27 o 14422
83.27 c 4178
83.32 o 14423
83.32 c 4177
83.37 o 14425
83.37 c 4175
83.48 o 14428
83.48 c 4172
83.55 o 14431
83.55 c 4169
83.61 o 14434
83.61 c 4166
83.66 o 14436
83.66 c 4164
83.81 o 14439
83.81 c 4161
83.86 o 14440
83.86 c 4160
83.92 o 14444
83.92 c 4156
83.97 o 14445
83.97 c 4155
84.03 o 14446
84.03 c 4154
84.13 o 14449
84.13 c 4151
84.18 o 14452
84.18 c 4148
84.35 o 14457
84.35 c 4143
84.41 o 14458
84.41 c 4142
84.46 o 14459
84.46 c 4141
84.51 o 14462
84.51 c 4138
84.55 o 14463
84.55 c 4137
84.60 o 14465
84.60 c 4135
84.65 o 14468
84.65 c 4132
84.70 o 14470
84.70 c 4130
84.76 o 14471
84.76 c 4129
84.81 o 14474
84.81 c 4126
84.88 o 14476
84.88 c 4124
84.95 o 14480
84.95 c 4120
85.07 o 14483
85.07 c 4117
85.12 o 14484
85.12 c 4116
85.18 o 14487
85.18 c 4113
85.25 o 14489
85.25 c 4111
85.30 o 14491
85.30 c 4109
85.36 o 14493
85.36 c 4107
85.42 o 14495
85.42 c 4105
85.48 o 14497
85.48 c 4103
85.55 o 14499
85.55 c 4101
85.61 o 14501
85.61 c 4099
85.67 o 14502
85.67 c 4098
85.73 o 14504
85.73 c 4096
85.92 o 14508
85.92 c 4092
85.98 o 14510
85.98 c 4090
86.06 o 14511
86.06 c 4089
86.13 o 14512
86.13 c 4088
86.19 o 14514
86.19 c 4086
86.25 o 14515
86.25 c 4085
86.32 o 14516
86.32 c 4084
86.38 o 14519
86.38 c 4081
86.45 o 14521
86.45 c 4079
86.70 o 14523
86.70 c 4077
86.85 o 14524
86.85 c 4076
86.93 o 14529
86.93 c 4071
87.01 o 14530
87.01 c 4070
87.08 o 14532
87.08 c 4068
87.15 o 14537
87.15 c 4063
87.23 o 14539
87.23 c 4061
87.31 o 14541
87.31 c 4059
87.83 o 14544
87.83 c 4056
87.91 o 14546
87.91 c 4054
87.98 o 14547
87.98 c 4053
88.06 o 14549
88.06 c 4051
88.14 o 14550
88.14 c 4050
88.21 o 14553
88.21 c 4047
88.31 o 14555
88.31 c 4045
88.53 o 14556
88.53 c 4044
88.61 o 14559
88.61 c 4041
88.68 o 14560
88.68 c 4040
88.76 o 14566
88.76 c 4034
88.84 o 14572
88.84 c 4028
89.02 o 14576
89.02 c 4024
89.35 o 14577
89.35 c 4023
89.44 o 14578
89.44 c 4022
89.54 o 14580
89.54 c 4020
89.63 o 14582
89.63 c 4018
89.75 o 14586
89.75 c 4014
89.98 o 14591
89.98 c 4009
90.12 o 14595
90.12 c 4005
90.24 o 14599
90.24 c 4001
90.39 o 14602
90.39 c 3998
90.53 o 14605
90.53 c 3995
90.67 o 14608
90.67 c 3992
90.82 o 14611
90.82 c 3989
90.96 o 14613
90.96 c 3987
91.09 o 14615
91.09 c 3985
91.20 o 14621
91.20 c 3979
91.33 o 14623
91.33 c 3977
91.47 o 14625
91.47 c 3975
91.60 o 14627
91.60 c 3973
91.72 o 14629
91.72 c 3971
91.86 o 14631
91.86 c 3969
91.98 o 14634
91.98 c 3966
92.33 o 14636
92.33 c 3964
92.44 o 14637
92.44 c 3963
92.56 o 14639
92.56 c 3961
92.66 o 14641
92.66 c 3959
92.76 o 14643
92.76 c 3957
92.88 o 14645
92.88 c 3955
92.99 o 14646
92.99 c 3954
93.09 o 14647
93.09 c 3953
93.19 o 14648
93.19 c 3952
93.30 o 14649
93.30 c 3951
93.40 o 14650
93.40 c 3950
93.50 o 14651
93.50 c 3949
93.61 o 14652
93.61 c 3948
93.71 o 14653
93.71 c 3947
93.82 o 14654
93.82 c 3946
93.92 o 14655
93.92 c 3945
94.03 o 14656
94.03 c 3944
94.12 o 14657
94.12 c 3943
94.22 o 14658
94.22 c 3942
94.79 o 14660
94.79 c 3940
95.06 o 14662
95.06 c 3938
95.16 o 14668
95.16 c 3932
95.43 o 14669
95.43 c 3931
95.51 o 14670
95.51 c 3930
95.61 o 14673
95.61 c 3927
95.70 o 14676
95.70 c 3924
95.77 o 14677
95.77 c 3923
95.86 o 14678
95.86 c 3922
96.01 o 14679
96.01 c 3921
96.08 o 14683
96.08 c 3917
96.32 o 14688
96.32 c 3912
96.39 o 14691
96.39 c 3909
96.48 o 14694
96.48 c 3906
96.56 o 14698
96.56 c 3902
96.65 o 14700
96.65 c 3900
96.83 o 14703
96.83 c 3897
97.30 o 14705
97.30 c 3895
97.41 o 14710
97.41 c 3890
97.51 o 14712
97.51 c 3888
97.61 o 14714
97.61 c 3886
98.00 o 14717
98.00 c 3883
98.10 o 14718
98.10 c 3882
98.22 o 14721
98.22 c 3879
98.32 o 14723
98.32 c 3877
98.42 o 14725
98.42 c 3875
98.53 o 14729
98.53 c 3871
98.64 o 14730
98.64 c 3870
98.86 o 14732
98.86 c 3868
98.96 o 14736
98.96 c 3864
99.06 o 14737
99.06 c 3863
99.16 o 14738
99.16 c 3862
99.36 o 14739
99.36 c 3861
99.67 o 14740
99.67 c 3860
99.78 o 14741
99.78 c 3859
99.90 o 14743
99.90 c 3857
100.02 o 14745
100.02 c 3855
100.11 o 14746
100.11 c 3854
100.23 o 14748
100.23 c 3852
100.33 o 14750
100.33 c 3850
100.43 o 14753
100.43 c 3847
100.64 o 14757
100.64 c 3843
100.75 o 14759
100.75 c 3841
100.86 o 14762
100.86 c 3838
100.96 o 14764
100.96 c 3836
101.18 o 14765
101.18 c 3835
101.29 o 14766
101.29 c 3834
101.40 o 14769
101.40 c 3831
101.72 o 14773
101.72 c 3827
101.84 o 14774
101.84 c 3826
101.96 o 14775
101.96 c 3825
102.07 o 14776
102.07 c 3824
102.19 o 14778
102.19 c 3822
102.29 o 14779
102.29 c 3821
102.40 o 14780
102.40 c 3820
102.51 o 14781
102.51 c 3819
102.99 o 14782
102.99 c 3818
103.14 o 14785
103.14 c 3815
103.25 o 14787
103.25 c 3813
103.39 o 14788
103.39 c 3812
103.62 o 14789
103.62 c 3811
103.75 o 14795
103.75 c 3805
103.88 o 14797
103.88 c 3803
104.01 o 14800
104.01 c 3800
104.39 o 14805
104.39 c 3795
104.51 o 14809
104.51 c 3791
104.63 o 14811
104.63 c 3789
104.88 o 14815
104.88 c 3785
105.11 o 14817
105.11 c 3783
105.23 o 14820
105.23 c 3780
105.49 o 14824
105.49 c 3776
105.86 o 14825
105.86 c 3775
105.97 o 14829
105.97 c 3771
106.07 o 14830
106.07 c 3770
106.19 o 14831
106.19 c 3769
106.31 o 14833
106.31 c 3767
106.42 o 14834
106.42 c 3766
106.76 o 14836
106.76 c 3764
106.87 o 14837
106.87 c 3763
106.98 o 14840
106.98 c 3760
107.19 o 14844
107.19 c 3756
107.30 o 14846
107.30 c 3754
107.40 o 14848
107.40 c 3752
107.52 o 14853
107.52 c 3747
107.96 o 14854
107.96 c 3746
108.17 o 14856
108.17 c 3744
108.29 o 14859
108.29 c 3741
108.40 o 14861
108.40 c 3739
108.52 o 14864
108.52 c 3736
108.63 o 14866
108.63 c 3734
108.76 o 14869
108.76 c 3731
108.87 o 14871
108.87 c 3729
109.10 o 14875
109.10 c 3725
109.22 o 14876
109.22 c 3724
109.46 o 14879
109.46 c 3721
109.59 o 14880
109.59 c 3720
109.82 o 14884
109.82 c 3716
109.95 o 14886
109.95 c 3714
110.07 o 14888
110.07 c 3712
110.18 o 14891
110.18 c 3709
110.29 o 14893
110.29 c 3707
110.42 o 14894
110.42 c 3706
110.53 o 14895
110.53 c 3705
110.64 o 14896
110.64 c 3704
110.76 o 14897
110.76 c 3703
111.13 o 14898
111.13 c 3702
111.24 o 14900
111.25 c 3700
111.37 o 14903
111.37 c 3697
111.50 o 14904
111.50 c 3696
111.60 o 14905
111.60 c 3695
111.73 o 14908
111.73 c 3692
111.85 o 14911
111.85 c 3689
111.98 o 14914
111.98 c 3686
112.49 o 14916
112.49 c 3684
112.61 o 14919
112.61 c 3681
112.73 o 14920
112.73 c 3680
112.86 o 14924
112.86 c 3676
113.21 o 14925
113.21 c 3675
113.34 o 14927
113.34 c 3673
113.46 o 14931
113.46 c 3669
113.70 o 14933
113.70 c 3667
113.82 o 14935
113.82 c 3665
113.93 o 14940
113.93 c 3660
114.22 o 14942
114.22 c 3658
114.34 o 14943
114.34 c 3657
114.49 o 14946
114.49 c 3654
114.64 o 14948
114.64 c 3652
114.95 o 14950
114.95 c 3650
115.12 o 14953
115.12 c 3647
115.27 o 14957
115.27 c 3643
115.43 o 14959
115.43 c 3641
115.58 o 14960
115.58 c 3640
115.74 o 14962
115.74 c 3638
115.89 o 14964
115.89 c 3636
116.06 o 14966
116.06 c 3634
116.21 o 14968
116.21 c 3632
116.52 o 14969
116.52 c 3631
116.67 o 14970
116.67 c 3630
116.82 o 14972
116.82 c 3628
116.97 o 14974
116.97 c 3626
117.12 o 14977
117.12 c 3623
117.27 o 14978
117.27 c 3622
117.41 o 14980
117.41 c 3620
117.55 o 14981
117.55 c 3619
117.70 o 14982
117.70 c 3618
117.85 o 14983
117.85 c 3617
118.13 o 14984
118.13 c 3616
118.27 o 14985
118.27 c 3615
118.40 o 14986
118.40 c 3614
118.54 o 14992
118.54 c 3608
118.69 o 14993
118.69 c 3607
118.84 o 14994
118.84 c 3606
118.99 o 14995
118.99 c 3605
119.13 o 14996
119.13 c 3604
119.27 o 14998
119.27 c 3602
119.53 o 14999
119.53 c 3601
120.07 o 15003
120.07 c 3597
120.19 o 15004
120.19 c 3596
120.57 o 15006
120.57 c 3594
120.93 o 15009
120.93 c 3591
121.40 o 15010
121.40 c 3590
121.75 o 15012
121.75 c 3588
122.22 o 15015
122.22 c 3585
122.33 o 15016
122.33 c 3584
122.45 o 15018
122.45 c 3582
122.56 o 15021
122.56 c 3579
122.67 o 15024
122.67 c 3576
122.80 o 15027
122.80 c 3573
122.91 o 15028
122.91 c 3572
123.04 o 15029
123.04 c 3571
123.55 o 15030
123.55 c 3570
123.67 o 15031
123.67 c 3569
124.02 o 15032
124.02 c 3568
124.14 o 15034
124.14 c 3566
124.25 o 15035
124.25 c 3565
124.36 o 15037
124.36 c 3563
124.47 o 15038
124.47 c 3562
124.60 o 15039
124.60 c 3561
124.84 o 15041
124.84 c 3559
124.96 o 15042
124.96 c 3558
125.57 o 15045
125.57 c 3555
125.82 o 15049
125.82 c 3551
126.29 o 15051
126.29 c 3549
126.41 o 15053
126.41 c 3547
126.51 o 15056
126.51 c 3544
126.62 o 15059
126.62 c 3541
126.74 o 15061
126.74 c 3539
126.85 o 15064
126.85 c 3536
126.95 o 15066
126.95 c 3534
127.07 o 15069
127.07 c 3531
127.17 o 15074
127.17 c 3526
127.39 o 15078
127.39 c 3522
127.50 o 15080
127.50 c 3520
127.60 o 15082
127.60 c 3518
128.03 o 15084
128.03 c 3516
128.15 o 15086
128.15 c 3514
128.26 o 15088
128.26 c 3512
128.37 o 15091
128.37 c 3509
128.48 o 15093
128.48 c 3507
128.59 o 15095
128.59 c 3505
128.70 o 15096
128.70 c 3504
128.83 o 15098
128.83 c 3502
128.93 o 15100
128.93 c 3500
129.05 o 15104
129.05 c 3496
129.28 o 15105
129.28 c 3495
129.49 o 15108
129.49 c 3492
129.60 o 15111
129.60 c 3489
129.72 o 15114
129.72 c 3486
129.96 o 15117
129.96 c 3483
130.20 o 15119
130.20 c 3481
130.32 o 15122
130.32 c 3478
130.45 o 15123
130.45 c 3477
130.70 o 15126
130.70 c 3474
130.93 o 15130
130.93 c 3470
131.06 o 15133
131.06 c 3467
131.16 o 15135
131.16 c 3465
131.28 o 15137
131.28 c 3463
131.41 o 15139
131.41 c 3461
131.52 o 15142
131.52 c 3458
131.63 o 15145
131.63 c 3455
131.75 o 15148
131.75 c 3452
131.87 o 15149
131.87 c 3451
131.98 o 15152
131.98 c 3448
132.09 o 15153
132.09 c 3447
132.22 o 15156
132.22 c 3444
132.33 o 15157
132.33 c 3443
132.56 o 15160
132.56 c 3440
132.80 o 15162
132.80 c 3438
132.92 o 15164
132.92 c 3436
133.05 o 15168
133.05 c 3432
133.17 o 15170
133.17 c 3430
133.30 o 15173
133.30 c 3427
133.41 o 15175
133.41 c 3425
133.53 o 15177
133.53 c 3423
133.66 o 15180
133.66 c 3420
133.93 o 15181
133.93 c 3419
134.67 o 15182
134.67 c 3418
134.80 o 15184
134.80 c 3416
134.92 o 15185
134.92 c 3415
135.04 o 15189
135.04 c 3411
135.18 o 15190
135.18 c 3410
135.32 o 15192
135.32 c 3408
135.57 o 15194
135.57 c 3406
135.82 o 15195
135.82 c 3405
135.95 o 15200
135.95 c 3400
136.08 o 15201
136.08 c 3399
136.20 o 15204
136.20 c 3396
136.33 o 15206
136.33 c 3394
136.59 o 15207
136.59 c 3393
136.73 o 15210
136.73 c 3390
136.86 o 15214
136.86 c 3386
137.00 o 15216
137.00 c 3384
137.14 o 15219
137.14 c 3381
137.29 o 15225
137.29 c 3375
137.56 o 15227
137.56 c 3373
137.70 o 15228
137.70 c 3372
137.84 o 15229
137.84 c 3371
137.97 o 15231
137.97 c 3369
138.12 o 15233
138.12 c 3367
138.39 o 15235
138.39 c 3365
138.55 o 15238
138.55 c 3362
138.70 o 15242
138.70 c 3358
139.16 o 15244
139.16 c 3356
139.32 o 15247
139.32 c 3353
139.46 o 15248
139.46 c 3352
139.75 o 15252
139.75 c 3348
139.90 o 15254
139.90 c 3346
140.05 o 15255
140.05 c 3345
140.19 o 15258
140.19 c 3342
140.35 o 15260
140.35 c 3340
140.50 o 15262
140.50 c 3338
140.79 o 15265
140.79 c 3335
141.52 o 15266
141.52 c 3334
141.81 o 15268
141.81 c 3332
141.96 o 15273
141.96 c 3327
142.39 o 15274
142.39 c 3326
142.53 o 15275
142.53 c 3325
142.67 o 15279
142.67 c 3321
142.84 o 15280
142.84 c 3320
143.14 o 15283
143.14 c 3317
143.29 o 15285
143.29 c 3315
143.44 o 15286
143.44 c 3314
143.59 o 15288
143.59 c 3312
144.20 o 15289
144.20 c 3311
144.34 o 15293
144.34 c 3307
144.49 o 15295
144.50 c 3305
144.81 o 15296
144.81 c 3304
144.97 o 15299
144.97 c 3301
145.40 o 15304
145.40 c 3296
145.55 o 15306
145.55 c 3294
145.70 o 15307
145.70 c 3293
145.85 o 15310
145.85 c 3290
146.00 o 15311
146.00 c 3289
146.17 o 15313
146.17 c 3287
146.32 o 15314
146.32 c 3286
146.76 o 15315
146.76 c 3285
146.92 o 15317
146.92 c 3283
147.07 o 15319
147.07 c 3281
147.23 o 15320
147.23 c 3280
147.36 o 15324
147.36 c 3276
147.65 o 15326
147.65 c 3274
148.40 o 15329
148.40 c 3271
148.55 o 15331
148.55 c 3269
148.70 o 15335
148.70 c 3265
148.84 o 15336
148.84 c 3264
148.90 o 15337
148.90 c 3263
149.05 o 15339
149.05 c 3261
149.19 o 15340
149.19 c 3260
149.35 o 15342
149.35 c 3258
149.51 o 15345
149.51 c 3255
149.65 o 15347
149.65 c 3253
149.80 o 15351
149.80 c 3249
149.94 o 15355
149.94 c 3245
150.09 o 15358
150.09 c 3242
150.24 o 15363
150.24 c 3237
150.84 o 15366
150.84 c 3234
150.99 o 15368
150.99 c 3232
151.13 o 15371
151.13 c 3229
151.28 o 15375
151.28 c 3225
151.74 o 15377
151.74 c 3223
151.90 o 15378
151.90 c 3222
152.07 o 15381
152.07 c 3219
152.22 o 15382
152.22 c 3218
152.38 o 15383
152.38 c 3217
152.53 o 15386
152.53 c 3214
153.01 o 15387
153.01 c 3213
153.32 o 15390
153.32 c 3210
153.49 o 15391
153.49 c 3209
153.64 o 15393
153.64 c 3207
153.80 o 15396
153.80 c 3204
153.96 o 15398
153.96 c 3202
154.12 o 15401
154.12 c 3199
154.28 o 15405
154.28 c 3195
154.44 o 15409
154.44 c 3191
154.59 o 15410
154.59 c 3190
154.75 o 15413
154.75 c 3187
154.91 o 15416
154.91 c 3184
155.08 o 15419
155.08 c 3181
155.24 o 15421
155.24 c 3179
155.41 o 15423
155.41 c 3177
155.57 o 15425
155.57 c 3175
155.73 o 15426
155.73 c 3174
155.89 o 15428
155.89 c 3172
156.04 o 15429
156.04 c 3171
156.19 o 15431
156.19 c 3169
156.35 o 15432
156.35 c 3168
156.51 o 15433
156.51 c 3167
156.68 o 15434
156.68 c 3166
157.45 o 15436
157.45 c 3164
157.60 o 15439
157.60 c 3161
157.89 o 15445
157.89 c 3155
158.05 o 15447
158.05 c 3153
158.20 o 15448
158.20 c 3152
158.35 o 15449
158.35 c 3151
158.50 o 15453
158.50 c 3147
158.66 o 15456
158.66 c 3144
159.12 o 15459
159.12 c 3141
159.28 o 15463
159.28 c 3137
159.43 o 15465
159.43 c 3135
159.59 o 15469
159.59 c 3131
160.09 o 15471
160.09 c 3129
160.61 o 15472
160.61 c 3128
160.73 o 15477
160.73 c 3123
161.07 o 15478
161.07 c 3122
161.23 o 15480
161.23 c 3120
161.39 o 15483
161.39 c 3117
161.57 o 15485
161.57 c 3115
161.73 o 15486
161.73 c 3114
161.89 o 15489
161.89 c 3111
162.05 o 15493
162.05 c 3107
162.40 o 15497
162.40 c 3103
162.75 o 15498
162.75 c 3102
162.94 o 15501
162.94 c 3099
163.12 o 15504
163.12 c 3096
163.30 o 15506
163.30 c 3094
163.48 o 15508
163.48 c 3092
163.66 o 15512
163.66 c 3088
165.22 o 15514
165.22 c 3086
165.75 o 15517
165.75 c 3083
165.93 o 15518
165.93 c 3082
166.10 o 15519
166.10 c 3081
166.43 o 15522
166.43 c 3078
166.59 o 15523
166.59 c 3077
166.75 o 15526
166.75 c 3074
166.91 o 15528
166.91 c 3072
167.09 o 15531
167.09 c 3069
167.26 o 15534
167.26 c 3066
167.59 o 15541
167.59 c 3059
167.76 o 15543
167.76 c 3057
168.08 o 15544
168.08 c 3056
168.24 o 15546
168.24 c 3054
168.40 o 15549
168.40 c 3051
168.73 o 15550
168.73 c 3050
168.91 o 15552
168.91 c 3048
169.27 o 15554
169.27 c 3046
169.79 o 15558
169.79 c 3042
169.96 o 15559
169.96 c 3041
170.12 o 15563
170.12 c 3037
170.29 o 15567
170.29 c 3033
170.46 o 15568
170.46 c 3032
170.61 o 15569
170.61 c 3031
170.78 o 15571
170.78 c 3029
170.95 o 15572
170.95 c 3028
171.30 o 15574
171.30 c 3026
171.46 o 15575
171.46 c 3025
171.64 o 15578
171.64 c 3022
171.80 o 15581
171.80 c 3019
172.50 o 15584
172.50 c 3016
172.68 o 15586
172.68 c 3014
172.86 o 15589
172.86 c 3011
173.20 o 15593
173.20 c 3007
173.38 o 15596
173.38 c 3004
173.75 o 15597
173.75 c 3003
173.92 o 15598
173.92 c 3002
174.10 o 15601
174.10 c 2999
174.29 o 15605
174.29 c 2995
174.48 o 15606
174.48 c 2994
174.66 o 15608
174.66 c 2992
174.85 o 15609
174.85 c 2991
175.04 o 15611
175.04 c 2989
175.40 o 15612
175.40 c 2988
175.57 o 15613
175.57 c 2987
175.75 o 15614
175.75 c 2986
175.93 o 15617
175.93 c 2983
176.11 o 15620
176.11 c 2980
176.29 o 15621
176.29 c 2979
176.88 o 15623
176.88 c 2977
177.06 o 15624
177.06 c 2976
177.27 o 15627
177.27 c 2973
177.47 o 15629
177.47 c 2971
177.65 o 15630
177.65 c 2970
177.84 o 15631
177.84 c 2969
178.04 o 15635
178.04 c 2965
178.60 o 15637
178.60 c 2963
178.79 o 15642
178.79 c 2958
180.48 o 15644
180.48 c 2956
180.66 o 15648
180.66 c 2952
181.03 o 15649
181.03 c 2951
181.40 o 15651
181.40 c 2949
181.59 o 15652
181.59 c 2948
181.79 o 15653
181.79 c 2947
181.98 o 15654
181.98 c 2946
182.15 o 15655
182.15 c 2945
182.36 o 15659
182.36 c 2941
182.55 o 15661
182.55 c 2939
182.76 o 15662
182.76 c 2938
183.54 o 15666
183.54 c 2934
183.74 o 15668
183.74 c 2932
183.93 o 15670
183.93 c 2930
184.10 o 15673
184.10 c 2927
184.29 o 15674
184.29 c 2926
184.47 o 15677
184.47 c 2923
184.67 o 15680
184.67 c 2920
184.86 o 15685
184.86 c 2915
185.44 o 15687
185.44 c 2913
186.24 o 15688
186.24 c 2912
186.60 o 15690
186.60 c 2910
186.79 o 15692
186.79 c 2908
187.58 o 15693
187.58 c 2907
187.77 o 15695
187.77 c 2905
187.96 o 15697
187.96 c 2903
188.54 o 15700
188.54 c 2900
188.92 o 15703
188.92 c 2897
189.06 o 15706
189.06 c 2894
189.45 o 15707
189.45 c 2893
190.03 o 15708
190.03 c 2892
190.20 o 15710
190.20 c 2890
190.40 o 15711
190.40 c 2889
190.60 o 15712
190.60 c 2888
190.78 o 15714
190.78 c 2886
190.97 o 15715
190.97 c 2885
191.16 o 15718
191.16 c 2882
191.34 o 15720
191.34 c 2880
191.47 o 15724
191.47 c 2876
192.02 o 15726
192.02 c 2874
192.21 o 15728
192.21 c 2872
192.58 o 15731
192.58 c 2869
192.77 o 15736
192.77 c 2864
192.95 o 15739
192.95 c 2861
193.13 o 15740
193.13 c 2860
193.32 o 15742
193.32 c 2858
194.06 o 15743
194.06 c 2857
194.25 o 15744
194.25 c 2856
194.44 o 15746
194.44 c 2854
194.64 o 15748
194.64 c 2852
195.01 o 15750
195.01 c 2850
195.40 o 15751
195.40 c 2849
195.77 o 15752
195.77 c 2848
195.97 o 15753
195.97 c 2847
196.17 o 15757
196.17 c 2843
196.54 o 15758
196.54 c 2842
202.65 o 15760
202.65 c 2840
202.85 o 15761
202.85 c 2839
203.06 o 15766
203.06 c 2834
203.46 o 15768
203.46 c 2832
203.67 o 15770
203.67 c 2830
203.87 o 15772
203.87 c 2828
204.28 o 15775
204.28 c 2825
204.49 o 15778
204.49 c 2822
204.71 o 15779
204.71 c 2821
206.17 o 15782
206.17 c 2818
206.33 o 15783
206.33 c 2817
206.55 o 15784
206.55 c 2816
206.77 o 15786
206.77 c 2814
207.00 o 15788
207.00 c 2812
207.21 o 15791
207.21 c 2809
207.63 o 15792
207.63 c 2808
207.85 o 15793
207.85 c 2807
208.49 o 15795
208.49 c 2805
208.70 o 15796
208.70 c 2804
208.92 o 15798
208.92 c 2802
209.15 o 15800
209.15 c 2800
209.60 o 15802
209.60 c 2798
210.26 o 15804
210.26 c 2796
211.12 o 15808
211.12 c 2792
211.29 o 15809
211.29 c 2791
212.19 o 15811
212.19 c 2789
212.43 o 15812
212.43 c 2788
212.89 o 15813
212.89 c 2787
213.13 o 15815
213.13 c 2785
213.35 o 15819
213.35 c 2781
213.58 o 15820
213.58 c 2780
213.80 o 15821
213.80 c 2779
214.04 o 15824
214.04 c 2776
214.26 o 15825
214.26 c 2775
214.48 o 15826
214.48 c 2774
214.72 o 15827
214.72 c 2773
214.96 o 15829
214.96 c 2771
215.69 o 15830
215.69 c 2770
215.92 o 15833
215.92 c 2767
216.16 o 15836
216.16 c 2764
217.14 o 15841
217.14 c 2759
217.37 o 15845
217.37 c 2755
217.61 o 15846
217.61 c 2754
217.84 o 15848
217.84 c 2752
218.10 o 15850
218.10 c 2750
218.35 o 15851
218.35 c 2749
218.60 o 15855
218.60 c 2745
219.80 o 15857
219.80 c 2743
221.06 o 15858
221.06 c 2742
221.57 o 15859
221.57 c 2741
221.72 o 15860
221.72 c 2740
222.00 o 15861
222.00 c 2739
222.25 o 15862
222.25 c 2738
222.75 o 15866
222.75 c 2734
223.00 o 15870
223.00 c 2730
223.24 o 15872
223.24 c 2728
223.99 o 15873
223.99 c 2727
224.74 o 15874
224.74 c 2726
224.99 o 15875
224.99 c 2725
225.24 o 15876
225.24 c 2724
225.51 o 15878
225.51 c 2722
225.68 o 15879
225.68 c 2721
225.93 o 15881
225.93 c 2719
227.94 o 15883
227.94 c 2717
228.45 o 15886
228.45 c 2714
229.20 o 15888
229.20 c 2712
229.45 o 15889
229.45 c 2711
229.69 o 15891
229.69 c 2709
229.95 o 15894
229.95 c 2706
230.16 o 15897
230.16 c 2703
230.91 o 15899
230.91 c 2701
231.17 o 15901
231.17 c 2699
231.92 o 15902
231.92 c 2698
232.18 o 15905
232.18 c 2695
232.92 o 15906
232.92 c 2694
233.43 o 15909
233.43 c 2691
233.92 o 15911
233.92 c 2689
234.16 o 15913
234.16 c 2687
234.85 o 15916
234.85 c 2684
235.09 o 15917
235.09 c 2683
235.34 o 15918
235.35 c 2682
235.60 o 15920
235.60 c 2680
235.86 o 15922
235.86 c 2678
236.03 o 15925
236.03 c 2675
236.27 o 15927
236.27 c 2673
237.32 o 15929
237.32 c 2671
237.58 o 15930
237.58 c 2670
238.37 o 15931
238.37 c 2669
238.65 o 15932
238.65 c 2668
238.91 o 15933
238.91 c 2667
239.17 o 15935
239.17 c 2665
239.43 o 15936
239.43 c 2664
239.96 o 15937
239.96 c 2663
240.75 o 15941
240.75 c 2659
241.02 o 15942
241.02 c 2658
243.69 o 15943
243.69 c 2657
246.30 o 15945
246.30 c 2655
247.94 o 15946
247.94 c 2654
248.20 o 15948
248.20 c 2652
248.47 o 15950
248.47 c 2650
248.73 o 15953
248.73 c 2647
249.00 o 15955
249.00 c 2645
249.26 o 15956
249.26 c 2644
250.02 o 15957
250.02 c 2643
250.29 o 15960
250.29 c 2640
250.56 o 15963
250.56 c 2637
250.91 o 15965
250.91 c 2635
251.16 o 15966
251.16 c 2634
251.44 o 15967
251.44 c 2633
253.23 o 15969
253.23 c 2631
253.48 o 15971
253.48 c 2629
253.75 o 15972
253.75 c 2628
254.03 o 15974
254.03 c 2626
255.69 o 15975
255.69 c 2625
256.82 o 15976
256.82 c 2624
257.09 o 15977
257.09 c 2623
257.37 o 15980
257.37 c 2620
257.92 o 15981
257.92 c 2619
258.21 o 15983
258.21 c 2617
258.71 o 15984
258.71 c 2616
258.98 o 15985
258.98 c 2615
259.27 o 15987
259.27 c 2613
260.66 o 15989
260.66 c 2611
261.78 o 15990
261.78 c 2610
262.34 o 15995
262.34 c 2605
263.21 o 15996
263.21 c 2604
264.05 o 15997
264.05 c 2603
264.86 o 15998
264.86 c 2602
266.03 o 16000
266.03 c 2600
266.29 o 16001
266.29 c 2599
266.55 o 16002
266.55 c 2598
266.82 o 16005
266.82 c 2595
267.11 o 16006
267.11 c 2594
267.38 o 16007
267.38 c 2593
268.22 o 16010
268.22 c 2590
268.51 o 16011
268.51 c 2589
270.09 o 16013
270.09 c 2587
271.21 o 16015
271.21 c 2585
272.06 o 16016
272.06 c 2584
272.33 o 16018
272.33 c 2582
272.59 o 16020
272.59 c 2580
273.13 o 16021
273.13 c 2579
273.42 o 16022
273.42 c 2578
273.95 o 16024
273.95 c 2576
274.24 o 16027
274.24 c 2573
275.59 o 16028
275.59 c 2572
276.14 o 16030
276.14 c 2570
276.43 o 16032
276.43 c 2568
276.71 o 16035
276.71 c 2565
277.25 o 16037
277.25 c 2563
277.54 o 16038
277.54 c 2562
278.60 o 16042
278.60 c 2558
278.87 o 16044
278.87 c 2556
279.11 o 16045
279.11 c 2555
279.29 o 16048
279.29 c 2552
279.56 o 16049
279.56 c 2551
279.84 o 16051
279.84 c 2549
280.11 o 16054
280.11 c 2546
280.65 o 16056
280.65 c 2544
280.92 o 16060
280.92 c 2540
281.50 o 16061
281.50 c 2539
281.75 o 16062
281.75 c 2538
282.04 o 16065
282.04 c 2535
282.27 o 16067
282.27 c 2533
283.88 o 16068
283.88 c 2532
284.15 o 16069
284.15 c 2531
284.41 o 16074
284.41 c 2526
284.68 o 16075
284.68 c 2525
284.94 o 16077
284.94 c 2523
285.23 o 16079
285.23 c 2521
285.52 o 16082
285.52 c 2518
286.07 o 16084
286.07 c 2516
286.36 o 16087
286.36 c 2513
288.40 o 16090
288.40 c 2510
288.66 o 16091
288.66 c 2509
288.93 o 16094
288.93 c 2506
290.04 o 16095
290.04 c 2505
290.31 o 16096
290.31 c 2504
290.86 o 16099
290.86 c 2501
291.42 o 16101
291.42 c 2499
291.70 o 16105
291.70 c 2495
292.00 o 16106
292.00 c 2494
296.68 o 16108
296.68 c 2492
296.97 o 16109
296.97 c 2491
297.45 o 16111
297.45 c 2489
297.72 o 16113
297.72 c 2487
297.99 o 16115
297.99 c 2485
298.25 o 16117
298.25 c 2483
300.12 o 16118
300.12 c 2482
300.36 o 16120
300.36 c 2480
301.10 o 16121
301.10 c 2479
301.61 o 16123
301.61 c 2477
301.87 o 16125
301.87 c 2475
302.10 o 16128
302.10 c 2472
302.35 o 16131
302.35 c 2469
302.60 o 16132
302.60 c 2468
302.86 o 16134
302.86 c 2466
303.57 o 16136
303.57 c 2464
303.81 o 16137
303.81 c 2463
305.04 o 16138
305.04 c 2462
305.99 o 16139
305.99 c 2461
306.25 o 16140
306.25 c 2460
306.72 o 16141
306.72 c 2459
306.96 o 16142
306.96 c 2458
307.21 o 16144
307.21 c 2456
307.46 o 16146
307.46 c 2454
307.70 o 16149
307.70 c 2451
307.96 o 16150
307.96 c 2450
308.22 o 16152
308.22 c 2448
309.09 o 16155
309.09 c 2445
309.35 o 16158
309.35 c 2442
309.57 o 16159
309.57 c 2441
309.77 o 16162
309.77 c 2438
310.01 o 16164
310.01 c 2436
310.47 o 16165
310.47 c 2435
311.40 o 16168
311.40 c 2432
312.88 o 16169
312.88 c 2431
313.12 o 16171
313.12 c 2429
313.36 o 16172
313.36 c 2428
313.58 o 16176
313.58 c 2424
313.84 o 16179
313.84 c 2421
314.09 o 16180
314.09 c 2420
315.03 o 16181
315.03 c 2419
315.19 o 16182
315.19 c 2418
315.37 o 16183
315.37 c 2417
315.61 o 16184
315.61 c 2416
315.84 o 16185
315.84 c 2415
316.11 o 16186
316.11 c 2414
316.35 o 16189
316.35 c 2411
318.54 o 16191
318.54 c 2409
318.80 o 16192
318.80 c 2408
319.03 o 16195
319.03 c 2405
319.76 o 16197
319.76 c 2403
320.49 o 16198
320.49 c 2402
320.74 o 16200
320.74 c 2400
320.97 o 16201
320.97 c 2399
322.11 o 16202
322.11 c 2398
322.95 o 16204
322.95 c 2396
323.20 o 16205
323.20 c 2395
323.43 o 16209
323.43 c 2391
323.67 o 16211
323.67 c 2389
323.90 o 16212
323.90 c 2388
324.13 o 16214
324.13 c 2386
325.81 o 16216
325.81 c 2384
327.09 o 16217
327.09 c 2383
328.87 o 16221
328.87 c 2379
329.37 o 16224
329.37 c 2376
333.26 o 16225
333.26 c 2375
333.56 o 16227
333.56 c 2373
333.85 o 16230
333.85 c 2370
334.15 o 16232
334.15 c 2368
338.01 o 16233
338.01 c 2367
338.32 o 16234
338.32 c 2366
340.06 o 16235
340.06 c 2365
340.35 o 16236
340.35 c 2364
341.97 o 16238
341.97 c 2362
342.27 o 16239
342.27 c 2361
343.13 o 16240
343.13 c 2360
344.31 o 16243
344.31 c 2357
344.63 o 16244
344.63 c 2356
344.90 o 16246
344.90 c 2354
345.21 o 16247
345.21 c 2353
346.15 o 16248
346.15 c 2352
347.13 o 16251
347.13 c 2349
348.06 o 16254
348.06 c 2346
348.67 o 16255
348.67 c 2345
348.99 o 16256
348.99 c 2344
349.30 o 16258
349.30 c 2342
349.91 o 16261
349.91 c 2339
350.22 o 16263
350.22 c 2337
350.53 o 16266
350.53 c 2334
351.83 o 16267
351.83 c 2333
352.46 o 16268
352.46 c 2332
353.09 o 16270
353.09 c 2330
354.60 o 16273
354.60 c 2327
354.75 o 16277
354.75 c 2323
355.05 o 16279
355.05 c 2321
356.96 o 16281
356.96 c 2319
357.28 o 16284
357.28 c 2316
357.92 o 16285
357.92 c 2315
361.01 o 16288
361.01 c 2312
362.51 o 16289
362.51 c 2311
362.84 o 16292
362.84 c 2308
363.14 o 16294
363.14 c 2306
363.46 o 16297
363.46 c 2303
364.71 o 16298
364.71 c 2302
365.59 o 16299
365.59 c 2301
366.18 o 16300
366.18 c 2300
367.64 o 16301
367.64 c 2299
367.94 o 16302
367.94 c 2298
368.24 o 16303
368.24 c 2297
368.82 o 16304
368.82 c 2296
369.09 o 16305
369.09 c 2295
369.40 o 16306
369.40 c 2294
369.70 o 16307
369.70 c 2293
370.00 o 16308
370.00 c 2292
370.55 o 16311
370.55 c 2289
371.85 o 16312
371.85 c 2288
372.72 o 16315
372.72 c 2285
373.31 o 16317
373.31 c 2283
373.91 o 16318
373.91 c 2282
374.20 o 16319
374.20 c 2281
374.51 o 16324
374.51 c 2276
376.30 o 16325
376.30 c 2275
376.91 o 16327
376.91 c 2273
377.22 o 16329
377.22 c 2271
379.64 o 16332
379.64 c 2268
379.95 o 16333
379.95 c 2267
380.28 o 16334
380.28 c 2266
380.61 o 16335
380.61 c 2265
380.93 o 16336
380.93 c 2264
381.25 o 16338
381.25 c 2262
381.60 o 16339
381.60 c 2261
381.94 o 16340
381.94 c 2260
382.27 o 16344
382.27 c 2256
382.92 o 16347
382.92 c 2253
383.25 o 16348
383.25 c 2252
383.57 o 16350
383.57 c 2250
383.92 o 16352
383.92 c 2248
384.59 o 16356
384.59 c 2244
385.26 o 16357
385.26 c 2243
385.60 o 16358
385.60 c 2242
387.70 o 16362
387.70 c 2238
387.97 o 16363
387.97 c 2237
388.27 o 16366
388.27 c 2234
388.62 o 16368
388.62 c 2232
388.96 o 16369
388.96 c 2231
390.00 o 16370
390.00 c 2230
390.34 o 16371
390.34 c 2229
391.00 o 16373
391.00 c 2227
392.68 o 16374
392.68 c 2226
392.92 o 16376
392.92 c 2224
393.27 o 16381
393.27 c 2219
394.13 o 16383
394.13 c 2217
394.46 o 16384
394.46 c 2216
394.80 o 16385
394.80 c 2215
395.11 o 16386
395.11 c 2214
396.81 o 16387
396.81 c 2213
397.15 o 16388
397.15 c 2212
397.50 o 16391
397.50 c 2209
397.65 o 16394
397.65 c 2206
398.70 o 16395
398.70 c 2205
399.04 o 16398
399.04 c 2202
399.40 o 16400
399.40 c 2200
401.97 o 16404
401.97 c 2196
402.70 o 16405
402.70 c 2195
403.44 o 16407
403.44 c 2193
403.80 o 16409
403.80 c 2191
404.54 o 16410
404.54 c 2190
404.73 o 16412
404.73 c 2188
405.08 o 16414
405.08 c 2186
405.44 o 16416
405.44 c 2184
406.15 o 16417
406.15 c 2183
408.63 o 16418
408.63 c 2182
408.99 o 16420
408.99 c 2180
409.35 o 16422
409.35 c 2178
409.71 o 16423
409.71 c 2177
410.77 o 16424
410.77 c 2176
413.29 o 16426
413.29 c 2174
414.01 o 16428
414.01 c 2172
415.79 o 16430
415.79 c 2170
416.88 o 16431
416.88 c 2169
417.25 o 16432
417.25 c 2168
418.00 o 16433
418.00 c 2167
418.36 o 16434
418.36 c 2166
418.96 o 16437
418.96 c 2163
429.21 o 16439
429.21 c 2161
430.28 o 16441
430.28 c 2159
430.64 o 16442
430.64 c 2158
431.34 o 16443
431.34 c 2157
433.20 o 16447
433.20 c 2153
433.95 o 16448
433.95 c 2152
434.72 o 16449
434.72 c 2151
435.10 o 16450
435.10 c 2150
435.84 o 16452
435.84 c 2148
443.31 o 16454
443.31 c 2146
444.34 o 16455
444.34 c 2145
444.72 o 16458
444.72 c 2142
449.20 o 16460
449.20 c 2140
449.51 o 16462
449.51 c 2138
449.89 o 16464
449.89 c 2136
450.35 o 16465
450.35 c 2135
452.16 o 16467
452.16 c 2133
452.53 o 16468
452.53 c 2132
452.90 o 16470
452.90 c 2130
453.99 o 16471
453.99 c 2129
454.37 o 16473
454.37 c 2127
454.56 o 16475
454.56 c 2125
454.89 o 16479
454.89 c 2121
456.42 o 16480
456.42 c 2120
456.63 o 16484
456.63 c 2116
457.78 o 16485
457.78 c 2115
458.55 o 16486
458.55 c 2114
458.95 o 16488
458.95 c 2112
459.34 o 16490
459.34 c 2110
461.28 o 16491
461.28 c 2109
461.66 o 16493
461.66 c 2107
462.05 o 16495
462.05 c 2105
462.43 o 16496
462.43 c 2104
462.79 o 16498
462.79 c 2102
463.17 o 16499
463.17 c 2101
463.54 o 16501
463.54 c 2099
463.71 o 16504
463.71 c 2096
465.19 o 16508
465.19 c 2092
465.57 o 16509
465.57 c 2091
477.23 o 16510
477.23 c 2090
478.34 o 16512
478.34 c 2088
479.07 o 16514
479.07 c 2086
480.17 o 16515
480.17 c 2085
481.25 o 16520
481.25 c 2080
481.63 o 16521
481.63 c 2079
481.99 o 16524
481.99 c 2076
482.75 o 16525
482.75 c 2075
484.21 o 16527
484.21 c 2073
484.95 o 16529
484.96 c 2071
486.41 o 16530
486.41 c 2070
487.13 o 16531
487.13 c 2069
488.62 o 16534
488.62 c 2066
488.98 o 16535
488.98 c 2065
490.42 o 16536
490.42 c 2064
490.78 o 16537
490.78 c 2063
490.94 o 16540
490.94 c 2060
491.29 o 16541
491.29 c 2059
491.64 o 16542
491.64 c 2058
492.01 o 16543
492.01 c 2057
492.35 o 16545
492.35 c 2055
493.43 o 16547
493.43 c 2053
493.79 o 16549
493.79 c 2051
494.51 o 16550
494.51 c 2050
494.88 o 16553
494.88 c 2047
495.24 o 16554
495.24 c 2046
495.58 o 16555
495.58 c 2045
495.95 o 16558
495.95 c 2042
496.31 o 16559
496.31 c 2041
497.74 o 16560
497.74 c 2040
498.10 o 16561
498.10 c 2039
498.47 o 16562
498.47 c 2038
498.82 o 16563
498.82 c 2037
499.18 o 16564
499.18 c 2036
499.54 o 16565
499.54 c 2035
499.89 o 16566
499.89 c 2034
500.27 o 16568
500.27 c 2032
500.99 o 16569
500.99 c 2031
501.36 o 16570
501.36 c 2030
507.00 o 16571
507.00 c 2029
508.11 o 16573
508.11 c 2027
508.88 o 16574
508.88 c 2026
509.24 o 16578
509.24 c 2022
509.62 o 16579
509.62 c 2021
509.73 o 16580
509.73 c 2020
510.86 o 16582
510.86 c 2018
511.22 o 16585
511.22 c 2015
511.58 o 16586
511.58 c 2014
511.93 o 16587
511.93 c 2013
512.30 o 16588
512.30 c 2012
513.37 o 16590
513.37 c 2010
513.73 o 16591
513.73 c 2009
521.68 o 16593
521.68 c 2007
522.06 o 16594
522.06 c 2006
522.80 o 16596
522.80 c 2004
524.31 o 16597
524.31 c 2003
524.69 o 16599
524.69 c 2001
525.45 o 16601
525.45 c 1999
526.99 o 16602
526.99 c 1998
527.38 o 16603
527.38 c 1997
527.76 o 16604
527.76 c 1996
528.16 o 16607
528.16 c 1993
529.31 o 16610
529.31 c 1990
532.31 o 16612
532.31 c 1988
532.60 o 16613
532.60 c 1987
533.37 o 16614
533.37 c 1986
533.74 o 16616
533.74 c 1984
534.09 o 16617
534.09 c 1983
534.83 o 16618
534.83 c 1982
538.08 o 16619
538.08 c 1981
540.03 o 16620
540.03 c 1980
540.41 o 16622
540.41 c 1978
541.54 o 16624
541.54 c 1976
542.31 o 16626
542.31 c 1974
542.70 o 16628
542.70 c 1972
544.26 o 16630
544.26 c 1970
544.65 o 16631
544.65 c 1969
545.44 o 16632
545.44 c 1968
551.14 o 16633
551.14 c 1967
551.88 o 16634
551.88 c 1966
552.28 o 16636
552.28 c 1964
552.67 o 16637
552.67 c 1963
552.90 o 16639
552.90 c 1961
557.14 o 16640
557.14 c 1960
557.51 o 16641
557.51 c 1959
557.90 o 16642
557.90 c 1958
558.28 o 16644
558.28 c 1956
558.67 o 16646
558.67 c 1954
560.70 o 16648
560.70 c 1952
561.12 o 16650
561.12 c 1950
561.95 o 16651
561.95 c 1949
562.40 o 16654
562.40 c 1946
562.84 o 16655
562.84 c 1945
563.22 o 16657
563.22 c 1943
565.75 o 16659
565.75 c 1941
567.00 o 16660
567.00 c 1940
568.24 o 16662
568.24 c 1938
568.66 o 16665
568.66 c 1935
569.47 o 16666
569.47 c 1934
570.30 o 16667
570.30 c 1933
570.69 o 16668
570.69 c 1932
571.10 o 16670
571.10 c 1930
571.50 o 16672
571.50 c 1928
572.23 o 16675
572.23 c 1925
573.84 o 16676
573.84 c 1924
574.03 o 16677
574.03 c 1923
574.39 o 16680
574.39 c 1920
574.78 o 16683
574.78 c 1917
575.10 o 16686
575.10 c 1914
576.31 o 16688
576.31 c 1912
581.98 o 16689
581.98 c 1911
582.40 o 16690
582.40 c 1910
583.22 o 16692
583.22 c 1908
583.63 o 16693
583.63 c 1907
584.04 o 16695
584.04 c 1905
590.60 o 16698
590.60 c 1902
592.38 o 16700
592.38 c 1900
597.99 o 16701
597.99 c 1899
602.66 o 16703
602.66 c 1897
603.10 o 16704
603.10 c 1896
603.54 o 16705
603.54 c 1895
603.89 o 16707
603.89 c 1893
604.78 o 16708
604.78 c 1892
605.67 o 16709
605.67 c 1891
606.11 o 16710
606.11 c 1890
606.56 o 16711
606.56 c 1889
608.68 o 16714
608.68 c 1886
621.18 o 16716
621.18 c 1884
621.63 o 16717
621.63 c 1883
622.08 o 16718
622.08 c 1882
625.20 o 16719
625.20 c 1881
625.65 o 16720
625.65 c 1880
626.53 o 16722
626.53 c 1878
626.96 o 16723
626.96 c 1877
627.39 o 16724
627.39 c 1876
629.92 o 16725
629.92 c 1875
639.34 o 16726
639.34 c 1874
640.73 o 16728
640.73 c 1872
641.18 o 16730
641.18 c 1870
641.28 o 16732
641.28 c 1868
641.73 o 16733
641.73 c 1867
642.90 o 16735
642.90 c 1865
643.35 o 16736
643.35 c 1864
643.81 o 16737
643.81 c 1863
644.27 o 16738
644.27 c 1862
645.85 o 16739
645.85 c 1861
646.30 o 16740
646.30 c 1860
648.47 o 16741
648.47 c 1859
649.35 o 16742
649.35 c 1858
649.79 o 16743
649.79 c 1857
650.69 o 16745
650.69 c 1855
651.12 o 16746
651.12 c 1854
651.56 o 16748
651.56 c 1852
651.68 o 16752
651.68 c 1848
653.02 o 16754
653.02 c 1846
653.91 o 16755
653.91 c 1845
676.50 o 16757
676.50 c 1843
677.36 o 16759
677.36 c 1841
681.48 o 16762
681.48 c 1838
684.62 o 16763
684.62 c 1837
687.66 o 16764
687.66 c 1836
688.08 o 16765
688.08 c 1835
689.64 o 16766
689.64 c 1834
693.47 o 16767
693.47 c 1833
693.85 o 16768
693.85 c 1832
695.47 o 16771
695.47 c 1829
700.05 o 16772
700.05 c 1828
700.90 o 16773
700.90 c 1827
701.79 o 16774
701.79 c 1826
705.06 o 16775
705.06 c 1825
706.49 o 16777
706.49 c 1823
708.69 o 16778
708.69 c 1822
721.16 o 16781
721.16 c 1819
722.10 o 16782
722.10 c 1818
724.96 o 16783
724.96 c 1817
725.44 o 16786
725.44 c 1814
728.12 o 16787
728.12 c 1813
736.35 o 16788
736.35 c 1812
736.67 o 16791
736.67 c 1809
737.15 o 16793
737.15 c 1807
738.11 o 16794
738.11 c 1806
738.49 o 16795
738.49 c 1805
738.98 o 16798
738.98 c 1802
740.68 o 16799
740.68 c 1801
741.63 o 16801
741.63 c 1799
742.14 o 16803
742.14 c 1797
742.64 o 16804
742.64 c 1796
743.13 o 16805
743.13 c 1795
744.10 o 16807
744.10 c 1793
744.46 o 16808
744.46 c 1792
744.93 o 16809
744.93 c 1791
745.79 o 16810
745.79 c 1790
746.26 o 16811
746.26 c 1789
751.21 o 16812
751.21 c 1788
753.02 o 16813
753.02 c 1787
753.50 o 16815
753.50 c 1785
753.97 o 16817
753.97 c 1783
754.88 o 16818
754.88 c 1782
755.79 o 16820
755.79 c 1780
757.42 o 16825
757.42 c 1775
759.26 o 16828
759.26 c 1772
759.71 o 16829
759.71 c 1771
760.64 o 16830
760.64 c 1770
763.10 o 16832
763.10 c 1768
763.56 o 16833
763.56 c 1767
772.09 o 16835
772.09 c 1765
773.50 o 16836
773.50 c 1764
773.96 o 16837
773.96 c 1763
775.36 o 16839
775.36 c 1761
777.06 o 16840
777.06 c 1760
777.52 o 16841
777.52 c 1759
778.01 o 16842
778.01 c 1758
778.48 o 16844
778.48 c 1756
779.45 o 16845
779.45 c 1755
782.64 o 16846
782.64 c 1754
784.55 o 16848
784.55 c 1752
785.02 o 16850
785.02 c 1750
787.53 o 16853
787.53 c 1747
791.80 o 16854
791.80 c 1746
794.70 o 16855
794.70 c 1745
795.19 o 16857
795.19 c 1743
803.44 o 16858
803.44 c 1742
803.94 o 16860
803.94 c 1740
804.32 o 16862
804.32 c 1738
804.84 o 16863
804.84 c 1737
807.84 o 16864
807.84 c 1736
808.84 o 16868
808.84 c 1732
809.33 o 16869
809.33 c 1731
809.82 o 16871
809.82 c 1729
811.19 o 16872
811.19 c 1728
811.68 o 16873
811.68 c 1727
812.18 o 16875
812.18 c 1725
812.67 o 16876
812.67 c 1724
813.63 o 16878
813.63 c 1722
815.61 o 16880
815.61 c 1720
816.09 o 16881
816.09 c 1719
822.67 o 16884
822.73 c 1716
825.53 o 16885
825.53 c 1715
826.54 o 16887
826.54 c 1713
826.86 o 16888
826.86 c 1712
828.28 o 16890
828.28 c 1710
829.78 o 16891
829.78 c 1709
830.29 o 16893
830.29 c 1707
830.79 o 16894
830.79 c 1706
831.30 o 16895
831.30 c 1705
832.30 o 16896
832.30 c 1704
832.85 o 16897
832.85 c 1703
833.88 o 16898
833.88 c 1702
834.90 o 16899
834.90 c 1701
835.94 o 16902
835.94 c 1698
837.46 o 16904
837.46 c 1696
837.98 o 16905
837.98 c 1695
838.50 o 16906
838.50 c 1694
842.03 o 16909
842.03 c 1691
842.50 o 16911
842.50 c 1689
843.29 o 16913
843.29 c 1687
861.45 o 16914
861.45 c 1686
862.50 o 16916
862.50 c 1684
863.03 o 16917
863.03 c 1683
864.93 o 16919
864.93 c 1681
865.44 o 16920
865.44 c 1680
865.96 o 16922
865.96 c 1678
866.48 o 16925
866.48 c 1675
872.77 o 16926
872.77 c 1674
873.83 o 16928
873.83 c 1672
873.95 o 16932
873.95 c 1668
875.01 o 16935
875.01 c 1665
879.18 o 16936
879.18 c 1664
888.21 o 16938
888.21 c 1662
888.41 o 16939
888.42 c 1661
888.96 o 16941
888.96 c 1659
889.49 o 16944
889.49 c 1656
890.03 o 16946
890.03 c 1654
895.86 o 16949
895.86 c 1651
896.39 o 16950
896.40 c 1650
899.25 o 16953
899.25 c 1647
900.86 o 16954
900.86 c 1646
919.76 o 16956
919.76 c 1644
920.85 o 16957
920.85 c 1643
921.39 o 16959
921.39 c 1641
922.94 o 16960
922.94 c 1640
933.88 o 16961
933.88 c 1639
934.45 o 16964
934.45 c 1636
934.84 o 16966
934.84 c 1634
936.14 o 16968
936.14 c 1632
939.48 o 16969
939.48 c 1631
940.04 o 16970
940.04 c 1630
941.14 o 16972
941.14 c 1628
941.72 o 16974
941.72 c 1626
941.98 o 16975
941.98 c 1625
943.57 o 16979
943.57 c 1621
944.12 o 16981
944.12 c 1619
946.09 o 16983
946.09 c 1617
947.17 o 16984
947.17 c 1616
950.57 o 16987
950.57 c 1613
952.18 o 16988
952.18 c 1612
952.72 o 16989
952.72 c 1611
953.80 o 16991
953.80 c 1609
955.45 o 16992
955.45 c 1608
955.61 o 16993
955.61 c 1607
957.83 o 16994
957.83 c 1606
963.58 o 16998
963.58 c 1602
964.13 o 17000
964.13 c 1600
965.78 o 17002
965.78 c 1598
966.34 o 17003
966.34 c 1597
966.89 o 17004
966.89 c 1596
967.31 o 17006
967.31 c 1594
968.44 o 17008
968.44 c 1592
970.12 o 17009
970.12 c 1591
975.11 o 17010
975.11 c 1590
976.21 o 17012
976.21 c 1588
976.74 o 17014
976.74 c 1586
978.38 o 17016
978.38 c 1584
984.47 o 17017
984.47 c 1583
985.01 o 17021
985.01 c 1579
987.00 o 17023
987.00 c 1577
988.08 o 17024
988.08 c 1576
988.63 o 17025
988.63 c 1575
990.81 o 17027
990.81 c 1573
992.40 o 17028
992.40 c 1572
992.95 o 17030
992.95 c 1570
993.49 o 17031
993.49 c 1569
995.65 o 17032
995.65 c 1568
996.18 o 17033
996.18 c 1567
997.06 o 17034
997.06 c 1566
998.12 o 17036
998.12 c 1564
998.67 o 17037
998.67 c 1563
1000.32 o 17038
1000.32 c 1562
1005.78 o 17039
1005.78 c 1561
1006.25 o 17040
1006.25 c 1560
1009.05 o 17042
1009.05 c 1558
1009.61 o 17044
1009.61 c 1556
1010.17 o 17046
1010.17 c 1554
1013.00 o 17047
1013.00 c 1553
1014.67 o 17048
1014.67 c 1552
1015.26 o 17050
1015.26 c 1550
1016.93 o 17052
1016.93 c 1548
1018.43 o 17054
1018.43 c 1546
1021.80 o 17056
1021.80 c 1544
1023.91 o 17057
1023.91 c 1543
1026.21 o 17059
1026.21 c 1541
1026.77 o 17060
1026.77 c 1540
1027.63 o 17062
1027.63 c 1538
1028.21 o 17064
1028.21 c 1536
1033.35 o 17065
1033.35 c 1535
1033.91 o 17066
1033.91 c 1534
1034.32 o 17068
1034.32 c 1532
1038.32 o 17073
1038.32 c 1527
1041.20 o 17075
1041.20 c 1525
1045.80 o 17076
1045.80 c 1524
1058.60 o 17077
1058.60 c 1523
1059.16 o 17079
1059.16 c 1521
1060.27 o 17080
1060.27 c 1520
1060.80 o 17083
1060.80 c 1517
1061.90 o 17084
1061.90 c 1516
1062.96 o 17086
1062.96 c 1514
1063.43 o 17087
1063.43 c 1513
1063.66 o 17088
1063.66 c 1512
1064.20 o 17089
1064.20 c 1511
1065.32 o 17090
1065.32 c 1510
1067.00 o 17091
1067.00 c 1509
1068.14 o 17092
1068.14 c 1508
1069.26 o 17093
1069.26 c 1507
1069.83 o 17094
1069.84 c 1506
1071.82 o 17095
1071.82 c 1505
1072.93 o 17096
1072.93 c 1504
1073.39 o 17098
1073.39 c 1502
1073.96 o 17099
1073.96 c 1501
1075.60 o 17100
1075.60 c 1500
1078.42 o 17101
1078.43 c 1499
1088.97 o 17102
1088.97 c 1498
1090.10 o 17104
1090.10 c 1496
1092.97 o 17105
1092.97 c 1495
1095.24 o 17106
1095.24 c 1494
1096.39 o 17107
1096.39 c 1493
1097.91 o 17108
1097.91 c 1492
1099.06 o 17110
1099.06 c 1490
1100.18 o 17111
1100.18 c 1489
1103.41 o 17112
1103.41 c 1488
1103.99 o 17113
1103.99 c 1487
1104.55 o 17114
1104.55 c 1486
1105.43 o 17115
1105.43 c 1485
1128.94 o 17116
1128.94 c 1484
1130.10 o 17119
1130.10 c 1481
1134.08 o 17120
1134.08 c 1480
1134.66 o 17121
1134.66 c 1479
1138.44 o 17122
1138.44 c 1478
1140.12 o 17123
1140.12 c 1477
1142.93 o 17126
1142.93 c 1474
1143.44 o 17127
1143.44 c 1473
1145.49 o 17128
1145.49 c 1472
1146.05 o 17130
1146.05 c 1470
1146.40 o 17132
1146.40 c 1468
1148.59 o 17134
1148.59 c 1466
1150.77 o 17136
1150.77 c 1464
1151.65 o 17137
1151.65 c 1463
1153.26 o 17138
1153.26 c 1462
1153.81 o 17139
1153.81 c 1461
1176.33 o 17141
1176.33 c 1459
1176.89 o 17142
1176.89 c 1458
1177.43 o 17144
1177.43 c 1456
1178.46 o 17146
1178.46 c 1454
1179.02 o 17148
1179.02 c 1452
1179.94 o 17150
1179.94 c 1450
1181.98 o 17151
1181.98 c 1449
1184.73 o 17152
1184.73 c 1448
1185.28 o 17153
1185.28 c 1447
1186.41 o 17154
1186.41 c 1446
1204.70 o 17156
1204.70 c 1444
1205.83 o 17157
1205.83 c 1443
1207.65 o 17158
1207.65 c 1442
1208.67 o 17159
1208.67 c 1441
1209.23 o 17160
1209.23 c 1440
1210.21 o 17161
1210.21 c 1439
1210.76 o 17164
1210.76 c 1436
1211.30 o 17166
1211.30 c 1434
1211.83 o 17168
1211.83 c 1432
1212.37 o 17170
1212.37 c 1430
1213.25 o 17171
1213.26 c 1429
1213.81 o 17174
1213.81 c 1426
1214.35 o 17175
1214.35 c 1425
1215.64 o 17176
1215.64 c 1424
1216.15 o 17177
1216.15 c 1423
1216.70 o 17178
1216.70 c 1422
1218.35 o 17180
1218.35 c 1420
1219.45 o 17188
1219.45 c 1412
1219.99 o 17189
1219.99 c 1411
1221.04 o 17190
1221.04 c 1410
1222.13 o 17193
1222.13 c 1407
1226.97 o 17195
1226.97 c 1405
1231.91 o 17196
1231.91 c 1404
1232.46 o 17197
1232.46 c 1403
1234.61 o 17198
1234.61 c 1402
1240.55 o 17200
1240.55 c 1400
1247.79 o 17201
1247.79 c 1399
1248.21 o 17202
1248.21 c 1398
1248.74 o 17204
1248.74 c 1396
1249.86 o 17205
1249.86 c 1395
1250.96 o 17208
1250.96 c 1392
1253.20 o 17209
1253.20 c 1391
1259.84 o 17210
1259.84 c 1390
1260.39 o 17211
1260.39 c 1389
1263.13 o 17215
1263.13 c 1385
1263.69 o 17217
1263.69 c 1383
1266.99 o 17219
1266.99 c 1381
1270.35 o 17220
1270.35 c 1380
1271.98 o 17221
1271.98 c 1379
1272.42 o 17222
1272.42 c 1378
1276.04 o 17223
1276.04 c 1377
1276.58 o 17224
1276.58 c 1376
1277.12 o 17226
1277.12 c 1374
1278.02 o 17230
1278.02 c 1370
1279.13 o 17232
1279.13 c 1368
1280.18 o 17233
1280.18 c 1367
1282.42 o 17234
1282.42 c 1366
1284.09 o 17236
1284.09 c 1364
1286.97 o 17237
1286.97 c 1363
1287.53 o 17240
1287.53 c 1360
1288.68 o 17241
1288.68 c 1359
1290.31 o 17242
1290.31 c 1358
1290.73 o 17243
1290.73 c 1357
1291.27 o 17244
1291.27 c 1356
1291.82 o 17245
1291.82 c 1355
1293.50 o 17248
1293.50 c 1352
1296.68 o 17249
1296.68 c 1351
1297.24 o 17250
1297.24 c 1350
1297.80 o 17251
1297.80 c 1349
1298.36 o 17252
1298.36 c 1348
1305.31 o 17253
1305.31 c 1347
1306.99 o 17254
1306.99 c 1346
1308.10 o 17256
1308.10 c 1344
1308.63 o 17258
1308.63 c 1342
1309.17 o 17260
1309.17 c 1340
1312.50 o 17261
1312.50 c 1339
1319.91 o 17263
1319.91 c 1337
1321.63 o 17265
1321.63 c 1335
1325.42 o 17266
1325.42 c 1334
1327.68 o 17267
1327.68 c 1333
1328.24 o 17268
1328.24 c 1332
1329.36 o 17270
1329.36 c 1330
1329.89 o 17271
1329.89 c 1329
1331.45 o 17273
1331.45 c 1327
1332.02 o 17275
1332.02 c 1325
1334.04 o 17277
1334.04 c 1323
1335.51 o 17278
1335.51 c 1322
1335.79 o 17279
1335.79 c 1321
1336.35 o 17280
1336.35 c 1320
1338.52 o 17281
1338.52 c 1319
1338.97 o 17282
1338.97 c 1318
1339.50 o 17283
1339.50 c 1317
1340.59 o 17284
1340.59 c 1316
1341.69 o 17286
1341.69 c 1314
1342.74 o 17289
1342.74 c 1311
1343.26 o 17290
1343.26 c 1310
1344.92 o 17292
1344.92 c 1308
1346.01 o 17294
1346.01 c 1306
1348.28 o 17296
1348.28 c 1304
1351.70 o 17297
1351.70 c 1303
1352.22 o 17298
1352.22 c 1302
1352.78 o 17299
1352.78 c 1301
1353.92 o 17300
1353.92 c 1300
1356.21 o 17301
1356.21 c 1299
1357.94 o 17302
1357.94 c 1298
1358.52 o 17303
1358.52 c 1297
1359.10 o 17305
1359.10 c 1295
1359.49 o 17308
1359.49 c 1292
1359.83 o 17309
1359.83 c 1291
1363.40 o 17310
1363.40 c 1290
1363.82 o 17311
1363.82 c 1289
1370.75 o 17312
1370.75 c 1288
1371.34 o 17315
1371.34 c 1285
1374.38 o 17316
1374.38 c 1284
1374.97 o 17318
1374.97 c 1282
1376.69 o 17320
1376.69 c 1280
1377.29 o 17321
1377.29 c 1279
1377.88 o 17322
1377.88 c 1278
1379.08 o 17323
1379.08 c 1277
1383.03 o 17324
1383.03 c 1276
1384.21 o 17326
1384.21 c 1274
1384.68 o 17327
1384.68 c 1273
1388.43 o 17328
1388.43 c 1272
1389.02 o 17331
1389.02 c 1269
1389.57 o 17333
1389.57 c 1267
1390.72 o 17334
1390.72 c 1266
1392.26 o 17336
1392.26 c 1264
1394.05 o 17337
1394.05 c 1263
1395.55 o 17338
1395.55 c 1262
1397.16 o 17339
1397.16 c 1261
1400.21 o 17340
1400.21 c 1260
1401.37 o 17341
1401.37 c 1259
1403.13 o 17342
1403.13 c 1258
1403.72 o 17344
1403.72 c 1256
1413.89 o 17345
1413.89 c 1255
1414.43 o 17347
1414.43 c 1253
1419.76 o 17348
1419.76 c 1252
1422.10 o 17349
1422.10 c 1251
1422.71 o 17351
1422.71 c 1249
1423.22 o 17356
1423.22 c 1244
1424.20 o 17358
1424.20 c 1242
1424.78 o 17359
1424.78 c 1241
1425.37 o 17362
1425.37 c 1238
1430.03 o 17363
1430.03 c 1237
1434.11 o 17364
1434.11 c 1236
1434.70 o 17367
1434.70 c 1233
1436.43 o 17368
1436.43 c 1232
1437.02 o 17369
1437.02 c 1231
1438.18 o 17370
1438.18 c 1230
1439.23 o 17371
1439.23 c 1229
1439.82 o 17373
1439.82 c 1227
1443.06 o 17374
1443.06 c 1226
1443.64 o 17376
1443.64 c 1224
1444.23 o 17378
1444.23 c 1222
1444.80 o 17380
1444.80 c 1220
1445.38 o 17382
1445.38 c 1218
1445.95 o 17384
1445.95 c 1216
1447.40 o 17386
1447.40 c 1214
1448.33 o 17387
1448.33 c 1213
1449.50 o 17388
1449.50 c 1212
1453.56 o 17389
1453.56 c 1211
1454.15 o 17390
1454.15 c 1210
1456.51 o 17391
1456.51 c 1209
1461.32 o 17392
1461.32 c 1208
1465.44 o 17393
1465.44 c 1207
1466.62 o 17394
1466.62 c 1206
1467.21 o 17396
1467.21 c 1204
1470.76 o 17397
1470.76 c 1203
1471.36 o 17398
1471.36 c 1202
1471.79 o 17400
1471.79 c 1200
1472.40 o 17403
1472.40 c 1197
1472.93 o 17405
1472.93 c 1195
1475.32 o 17407
1475.32 c 1193
1476.52 o 17408
1476.52 c 1192
1485.30 o 17410
1485.30 c 1190
1486.51 o 17411
1486.51 c 1189
1491.04 o 17412
1491.04 c 1188
1491.64 o 17413
1491.64 c 1187
1498.10 o 17414
1498.10 c 1186
1499.54 o 17415
1499.54 c 1185
1500.74 o 17417
1500.74 c 1183
1504.67 o 17418
1504.67 c 1182
1506.54 o 17419
1506.54 c 1181
1508.38 o 17420
1508.38 c 1180
1509.40 o 17421
1509.40 c 1179
1510.62 o 17423
1510.62 c 1177
1511.23 o 17424
1511.23 c 1176
1512.44 o 17425
1512.44 c 1175
1512.57 o 17427
1512.57 c 1173
1513.89 o 17428
1513.89 c 1172
1515.27 o 17430
1515.27 c 1170
1516.45 o 17431
1516.45 c 1169
1526.72 o 17432
1526.72 c 1168
1527.34 o 17433
1527.34 c 1167
1528.58 o 17434
1528.58 c 1166
1535.75 o 17435
1535.75 c 1165
1538.79 o 17437
1538.79 c 1163
1539.40 o 17439
1539.40 c 1161
1539.45 o 17441
1539.45 c 1159
1539.96 o 17442
1539.96 c 1158
1540.56 o 17443
1540.56 c 1157
1540.93 o 17444
1540.93 c 1156
1543.77 o 17448
1543.77 c 1152
1545.58 o 17449
1545.58 c 1151
1547.40 o 17450
1547.40 c 1150
1548.02 o 17452
1548.02 c 1148
1548.48 o 17453
1548.48 c 1147
1553.46 o 17454
1553.46 c 1146
1554.46 o 17457
1554.46 c 1143
1554.58 o 17458
1554.58 c 1142
1555.17 o 17460
1555.17 c 1140
1556.91 o 17462
1556.91 c 1138
1566.87 o 17463
1566.87 c 1137
1568.67 o 17464
1568.67 c 1136
1569.85 o 17467
1569.85 c 1133
1570.71 o 17468
1570.71 c 1132
1572.49 o 17469
1572.49 c 1131
1573.44 o 17471
1573.44 c 1129
1582.53 o 17472
1582.53 c 1128
1585.00 o 17473
1585.00 c 1127
1588.25 o 17474
1588.25 c 1126
1588.45 o 17475
1588.45 c 1125
1589.40 o 17476
1589.40 c 1124
1589.96 o 17477
1589.96 c 1123
1591.36 o 17478
1591.36 c 1122
1594.68 o 17479
1594.68 c 1121
1595.24 o 17480
1595.24 c 1120
1598.61 o 17481
1598.61 c 1119
1599.18 o 17482
1599.18 c 1118
1606.39 o 17483
1606.39 c 1117
1617.25 o 17484
1617.25 c 1116
1625.79 o 17486
1625.79 c 1114
1626.33 o 17487
1626.33 c 1113
1633.79 o 17488
1633.79 c 1112
1634.01 o 17489
1634.01 c 1111
1634.53 o 17491
1634.53 c 1109
1634.78 o 17492
1634.78 c 1108
1635.29 o 17493
1635.29 c 1107
1640.57 o 17494
1640.57 c 1106
1641.65 o 17495
1641.65 c 1105
1642.19 o 17496
1642.19 c 1104
1643.29 o 17497
1643.29 c 1103
1643.83 o 17498
1643.83 c 1102
1650.26 o 17500
1650.26 c 1100
1651.34 o 17501
1651.34 c 1099
1655.35 o 17502
1655.35 c 1098
1657.04 o 17505
1657.04 c 1095
1661.58 o 17506
1661.58 c 1094
1662.12 o 17507
1662.12 c 1093
1667.40 o 17508
1667.40 c 1092
1677.77 o 17510
1677.77 c 1090
1679.24 o 17512
1679.24 c 1088
1680.01 o 17513
1680.01 c 1087
1680.41 o 17514
1680.41 c 1086
1681.44 o 17515
1681.44 c 1085
1689.40 o 17516
1689.40 c 1084
1690.17 o 17518
1690.17 c 1082
1690.67 o 17519
1690.67 c 1081
1691.12 o 17520
1691.12 c 1080
1696.12 o 17521
1696.12 c 1079
1697.13 o 17523
1697.13 c 1077
1700.73 o 17524
1700.73 c 1076
1706.87 o 17526
1706.87 c 1074
1707.43 o 17527
1707.43 c 1073
1710.18 o 17528
1710.18 c 1072
1710.74 o 17529
1710.74 c 1071
1712.34 o 17531
1712.34 c 1069
1731.45 o 17532
1731.45 c 1068
1732.01 o 17533
1732.01 c 1067
1732.60 o 17534
1732.60 c 1066
1733.11 o 17537
1733.11 c 1063
1734.19 o 17538
1734.19 c 1062
1736.38 o 17540
1736.38 c 1060
1736.93 o 17541
1736.93 c 1059
1737.49 o 17542
1737.49 c 1058
1740.60 o 17543
1740.60 c 1057
1742.26 o 17544
1742.26 c 1056
1745.08 o 17546
1745.08 c 1054
1746.77 o 17547
1746.77 c 1053
1747.33 o 17549
1747.33 c 1051
1747.89 o 17550
1747.89 c 1050
1748.24 o 17551
1748.24 c 1049
1748.81 o 17552
1748.81 c 1048
1749.37 o 17553
1749.37 c 1047
1751.87 o 17555
1751.87 c 1045
1752.44 o 17556
1752.44 c 1044
1754.94 o 17557
1754.94 c 1043
1755.46 o 17559
1755.46 c 1041
1763.01 o 17560
1763.01 c 1040
1763.57 o 17561
1763.57 c 1039
1764.14 o 17562
1764.14 c 1038
1787.65 o 17563
1787.65 c 1037
1790.96 o 17565
1790.96 c 1035
1794.37 o 17566
1794.37 c 1034
1794.67 o 17568
1794.67 c 1032
1795.11 o 17569
1795.11 c 1031
1795.69 o 17570
1795.69 c 1030
1796.23 o 17571
1796.23 c 1029
1797.38 o 17572
1797.38 c 1028
1827.55
1827.55 search
1827.55 run=0 nbConstraintChecks=4267856832 nbAssignments=4971
1827.55 => wckTime=1764.694 cpuTime=1757.76 mem=64M603
1827.55
1827.55 global
1827.55 nbConstraintChecks=4267856832 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
1827.55 solvingWckTime=1764.673 solvingCpuTime=1757.73 expiredTime=no totalExploration=no nbFoundSolutions=0
1827.55 globalCpuTime=1819.09
1827.55 => wckTime=1827.224 cpuTime=1819.04 mem=64M603
1827.55
1827.55 solver IterativeSystematicSolver being built...
1828.19 => wckTime=1827.861 cpuTime=1819.43 mem=153M938
2407.95 v 2074 2474 -2526 -2854 -2762 -2746 -2266 -2522 2514 -2666 2006 2182 2610 2766 2854 2894 2238 -2178 2010 2858 -2874 2410 -2846 -2502 -2222 -2282 2714 -1990 -2534 2382 2074 2038 -2598 2450 -2870 -2802 -2686 2810 2818 2030 2850 -2830 2030 2846 2894 -2790 2582 2578 2714 2894 2094 2874 2558 2038 2574 2446 -2822 2638 2854 -2830 -2854 -2162 2210 -2050 2334 -2050 -2218 -2526 -2554 -2814 2114 -2810 2826 2826 2882 2610 -2642 2190 2378 2006 -2514 -2390 2178 2178 2610 -2850 -2722 2302 -2894 -2866 2046 -2794 2010 2770 2010 -2578 2074 -2890 2490 1990 2702 2042 2486 -2722 2582 -2526 2014 -2842 -2310 2802 2054 2662 2318 -2422 -2550 2010 2558 2262 -2834 1994 -2822 -2882 2846 -2838 -2634 2034 -2050 -2030 1994 -2846 -2094 -2518 -2214 -2406 -2238 2638 -2338 1994 2730 2254 2858 -2854 2278 2494 -2882 -2826 2586 2414 2282 2294 2034 -2742 2542 -2850 2874 2202 -2618 -2510 -2750 2630 2170 2650 2470 -2638 2030 -2894 2510 -2442 -2678 -2006 -2802 -2718 -2202 2730 -2838 2450 2114 -2378 -2814 2578 -2794 -2502 -2770 -2810 2506 -2170 2894 -2538 -2790 -2778 -2250 -2406 -2394 1998 -2546 2042 2198 -2806 2258 -2002 -2030 -1990 2414 -2010 2786 2094 -2070 2466 -2866 -2378 2770 2130 -2342 -2766 -2858 -2702 2846 -2506 -2366 2630 -2854 -2614 -2070 2538 -2370 -2038 2854 2022 -2786 -2474 -2754 -2834 2742 2250 -2754 2790 -2494 2342 2746 2050 2706 -1990 2034 -2246 2034 2886 -2738 2582 -2346 -2854 2370 -2030 -2506 -2606 -2238 1998 2398 2654 2738 2838 2194 -2866 2854 2334 2894 2246 -2870 -2842 2066 -2002 2818 -2722 -2878 2814 -2030 -2066 -2822 -2886 -2670 -2458 2562 2646 2550 2454 2030 2882 -1990 -2050 2326 2258 -2582 -2578 2342 -2694 -2266 2006 2614 2786 2198 -2838 2822 -2750 -2022 2674 -2722 -2158 1990 2686 2662 -2674 2634 2210 -2118 2518 -2198 -2386 -2850 -2822 2754 1990 -2054 -2842 2850 -2654 2786 -2574 2790 2854 2690 -2790 2526 2582 -2606 2354 -2806 -2474 2578 2078 -2618 2106 2454 -2794 2854 2318 -2042 2414 -2882 -2154 2742 -2354 -1998 -2654 -2198 2410 -2070 2602 2190 2054 2854 2186 2850 2038 -2894 -2670 -1998 2882 2022 -2042 2206 -2698 -2798 2046 -2042 -2434 2010 -2578 2218 2170 2802 -2586 -2342 -1990 2850 2062 1990 1990 -2574 2890 2782 2402 2794 -2046 2830 -1998 2842 2430 -2050 2558 -2206 -2714 -2874 2826 2438 2190 2298 2826 2182 -2034 -2462 -1994 -2778 -2062 -2746 2710 2714 -2034 -2854 2198 -2850 -2366 -2550 2370 -2034 -2306 2718 -2830 2014 -2682 -2894 -2834 2486 2514 2182 -2034 2538 2882 -2002 2826 2890 -2350 2646 -2126 2482 -2574 2890 -2534 2150 2894 2518 -2686 -2842 2030 -2166 2818 2282 -2590 2326 2414 -2678 -2090 -2362 -2070 -2714 2106 2750 -2042 -2834 -2106 -2222 2106 -2446 -2238 -2102 -2838 2030 -2366 -2222 2522 -2374 2630 -2470 1994 2542 -2414 2822 2522 -2838 2198 2322 2030 -2706 -2482 2034 2650 -2046 2774 -2422 2846 2854 2478 2318 -2798 -2894 2890 -2450 -2850 2570 -2034 2850 2766 -2014 -2110 -2682 1998 -2826 2874 -2850 -2746 2378 2638 -2794 -2266 -2038 2430 -2838 -2558 -2786 -2286 2678 -2878 -2610 -2466 -2430 2810 2038 2834 2650 2662 -2642 1994 -2030 -2814 -2018 2802 2002 1990 -2210 2666 -2630 -2782 -2142 2754 -2894 -2086 2826 2274 2254 -2070 2510 2094 2034 2366 -1994 1990 2214 2266 2514 2042 2834 -2674 -2750 2378 -2706 -2146 -2786 1990 -2322 -2682 -2198 2546 -2710 2838 2018 2858 2370 -2826 -2854 -2006 -1994 -2698 -2850 2006 -2070 2534 1994 -2854 -2050 2782 -2330 -2266 2490 2786 2814 2818 2034 2882 2346 2174 2202 -2678 -2782 2662 -2142 -2410 -2726 2346 2874 1990 -2894 -2030 2586 -2790 2686 -2030 2010 -2818 -2846 -2390 2890 -1998 2322 -2050 2782 2054 -1990 -2442 -2834 -2894 2870 -2142 -2802 -2118 2014 -2450 2190 -2714 2622 2854 -2894 -2670 -2894 2190 -2138 -2362 2782 -2846 2474 2634 2638 2790 2574 2726 -2638 2326 -2450 2422 -2630 -2862 -2034 2582 2538 -2874 -2382 -2318 2654 -2674 2050 2658 2866 -2394 -2498 -2854 -2890 -2830 -2090 2150 2314 2878 -2890 1990 -2274 2890 -2014 -2606 -2190 2134 -2230 2394 -2710 2614 2066 -2498 2046 -2894 2642 -2766 2702 -2030 2630 -2526 -2506 2894 2030 2266 -2682 2882 2082 -2894 -2126 2818 -2486 -2710 -1990 -2894 2010 -2278 -2406 -2606 -2670 2818 2066 2670 -2338 -2170 2358 2490 2566 2350 2402 -2446 2522 2058 2870 -2678 -2042 2546 2678 2478 2806 -2462 2226 -2010 2474 2598 2062 2042 -2854 -2622 -2226 -2834 -2846 2798 2682 2482 -2446 2210 2442 2894 2434 1998 2818 2734 -2554 -2106 2802 2062 -1990 -2302 2678 -2510 2138 -2018 -2258 2294 -2198 2682 2454 2482 2038 2842 -2654 2878 -2682 2038 2570 -2842 -2674 -2490 -2770 2890 -2062 2254 -2030 -2794 -2078 -2006 2354 2722 2178 2186 2830 -2334 2290 -2534 2590 2382 2378 -1990 -2546 2646 2046 -2190 2030 2050 2474 -2850 -2026 -2102 2198 2742 -2546 2002 -2442 -1990 2006 -2742 2726 2490 -2030 2058 -2882 2006 2290 2602 2038 -2874 -1990 -2398 2794 2578 -2490 2010 -2454 -2762 -1994 2018 2054 2826 -2094 2418 2506 -2594 -2314 -2334 -2426 -2134 2578 2886 2846 -2894 2522 -2378 -2710 -2814 -2674 -2074 2462 2162 2854 2758 2102 2066 -2390 2278 -2606 -2882 2714 2842 -2118 -1998 -2850 1998 -1990 2250 2614 -2138 -2594 -2418 -2662 -2494 -2822 -2846 -2006 -2526 2746 2482 -2750 2854 -2822 -2454 2502 -2738 2790 -2890 -2554 2510 2054 -2702 2570 -2178 -2034 -2842 2842 2858 -2486 2586 2214 -2166 2058 -2454 2226 -2010 -2894 -2826 2306 2182 -2750 2746 2890 -2034 2030 -2390 2322 -2742 2034 2030 -2854 -2542 2778 2182 2842 -2750 2038 2006 -2494 2206 -2358 -2170 -2742 2806 2622 -2290 2770 2866 -2370 -2890 2410 2766 2854 2422 -2350 2046 -2382 -2722 2534 -2678 -2830 -2314 2382 -2042 2518 2594 -2334 -2318 -2662 -2030 -2830 2886 -2394 2058 -2166 -2286 2594 -2018 -2754 -1994 -2482 -2594 2550 -2706 -2842 2534 -2798 -2866 -2066 -2470 2594 2490 -2026 -2118 -2038 -2386 2030 -2434 1998 2418 2738 -2374 -2802 -2834 -2466 2442 -2806 -2330 1990 -2390 2034 2586 -2762 -2006 2426 -2682 -2814 -2374 2410 2262 2894 -2218 -2662 -2334 2806 1990 -2846 2514 2442 -2470 -2618 -1990 -2146 -2658 2222 -2778 -2234 2506 -2890 -2422 2454 2054 2618 -2046 -2850 -2602 2430 -2894 -2834 2150 2010 -2702 2566 -2222 -2374 -1998 -1994 2014 -2742 2794 2674 -1990 2694 -2014 2286 2346 2758 2206 2870 1998 -2634 -2766 2070 2826 -2522 -2222 2054 -2850 2890 -2854 -2190 -2454 -2678 -2846 2854 2642 -2018 -2866 2338 -2338 -2150 2434 -2710 -2450 1994 -2782 -1994 2890 -2698 -2366 -2878 -2014 -2822 2854 2050 -2238 -2682 -2530 2026 -2854 -2786 2854 2834 2566 -2178 2854 2034 2878 -2810 2438 -2870 2350 2742 -2666 2758 2346 2142 2862 1998 2090 -2494 -2114 2686 2106 -1990 -2162 -2158 -2046 2150 -2590 2646 -2114 2894 -2038 2026 2262 2034 -2038 -2622 2766 2634 2006 -2494 2058 -2054 -2850 -2554 -2174 2822 -2254 2338 2806 2038 2894 -2050 -2886 2326 -2066 -2614 -2770 2010 -2842 -2334 -2742 -2846 2854 -2394 -2450 2206 -2878 -2702 -2530 2374 -2838 -2070 2150 -2190 -2542 2854 -2754 2074 2726 2622 2674 2530 -2754 2538 2730 -2010 2626 -2482 2494 2518 2658 -2198 -1990 -2738 -2838 2778 2850 -2894 1998 -2142 -2326 -2178 2234 -2802 -2350 -2450 2490 2314 2058 -2710 -2534 2490 2022 -2850 -2698 -2126 -2542 2882 -2846 -2594 2610 -1990 2518 -2098 -2178 -2126 2542 -2510 -2834 2722 2694 -2410 1994 -2826 -2386 2562 2166 -2894 2022 -2598 -2054 2474 2242 -1994 1998 2414 -2886 2854 1994 2102 -2830 -2338 2166 -2894 -2346 -2262 2834 2622 -2854 2098 -2890 -2374 2350 -2046 -2318 -2758 2034 -2282 -2174 2838 2894 2770 2546 2426 -2278 -2810 -2286 2722 2350 -2874 2850 2334 2386 -1998 2226 -2570 -2230 -2090 2754 -2514 2018 -2226 -2054 -2014 -2894 2866 -2194 -2594 2894 -2710 2730 -2846 -2882 -2770 -2138 -2046 -1994 -2414 -2078 2558 2842 2890 2306 1998 -2030 2466 -2334 -2826 2838 -2094 1990 2730 2890 -2854 -2886 -2790 -2034 2854 -2610 -1990 2842 2794 -2390 2662 -2738 2482 2774 2210 1994 2266 2378 2854 -2554 2006 -2022 2782 -2562 -2002 -2466 -2706 2002 2638 -2054 -2822 2058 2742 -2030 -2438 2030 2690 -2402 -2014 -2546 2030 2818 -2094 2142 -2854 2850 -2702 -2034 2882 2634 -2278 -2758 2438 2818 2110 2830 2630 -2634 -2826 2514 -2586 2894 2646 -2314 2334 2874 -2494 2894 -2706 2706 2834 2018 2882 -2370 1990 2038 2626 -2894 -2566 2778 2306 2278 2382 -2378 -2834 -2198 2674 1990 -2594 2090 -2674 -2470 -1998 2238 -2294 -2042 -2054 -2390 -1998 -2666 -2794 2514 -2854 -2050 -2238 -2318 2762 -2286 2546 -2846 -2042 2854 2834 2094 -2522 2334 -2246 1994 2330 2742 2102 -2634 2798 2342 2450 -2034 -2542 2650 -2854 2530 -2858 -2014 2518 2854 -2398 -2398 -2046 2002 -2158 -2058 -2878 -2870 -2662 -2182 -2714 -2270 2698 -2874 -2730 2078 2030 -2894 2838 -2218 -2890 -2550 2718 -2894 2290 2506 2818 -2782 2842 -1990 2794 2494 -2542 -2370 -1990 -2190 -2890 -2410 2162 -2646 2066 2850 -2030 2190 2118 2494 -2646 -2470 2486 -2618 2890 -2578 2854 2282 2710 2210 2838 2114 -2518 1990 -2274 -2178 -2738 -2546 2002 2310 2286 -2766 2874 2270 2414 2874 -2142 -2034 2502 2198 2130 -2226 -2418 2750 2546 -2866 -2190 2806 -2254 -2342 -2854 -2026 -2210 2726 2034 2670 2762 2018 -2746 -2882 -2030 2134 2298 -2190 1998 -2718 -2894 2050 2654 -2854 -2050 2054 -2706 2850 -2478 2274 -2038 -2878 2062 -2198 1994 2402 2726 2418 1990 2042 -1994 -2458 2334 -2026 1990 -2290 -2650 2030 2326 2138 -2078 2870 -1994 -2514 2878 -2214 -1994 2862 -2034 -2842 -2030 -2894 1994 2618 -2002 2622 2774 2806 -2886 -2506 -2402 2546 -2530 -2094 -2442 -2854 1994 2694 2746 -2690 2634 2542 2366 -1994 1990 -2150 2586 2858 2850 -2850 -2014 2374 2002 2810 -2554 -2098 2030 2642 -2050 -2482 -2518 2578 2058 -2030 -2130 -2302 2618 2326 -2750 -2486 -2214 2818 -2562 2346 2306 2026 -2642 2742 -2430 -1990 2858 -2634 2130 2886 -2674 2634 2882 2426 2794 2430 -2130 2086 2582 -1994 2618 -2334 -2546 2710 -2474 2750 2798 2702 -2386 -2578 -2830 2042 2298 2142 2778 2526 -2794 -2786 -2034 -2510 -2438 -1990 -2670 2094 2006 2326 -2102 -2642 2818 -2002 -2862 -2718 2850 -2806 2890 -2026 -2166 -2542 2846 -2566 -2446 -2278 2842 -2294 -2010 -2842 -2606 2878 -2834 -2890 2138 2410 2886 -2050 2746 2682 -2890 -2030 -2146 2454 2046 -2006 -2598 2210 2074 2410 2374 2438 -2370 -2438 2346 -2886 2586 2018 -2886 2386 2782 -2670 2662 -2030 2002 -2894 2554 -2030 2742 -2030 -2054 -2354 -2066 2094 -2890 1998 -2318 2822 2210 -1990 -2026 2194 -2434 2478 2138 -2362 -2326 -2310 -2226 2478 -2702 2550 -2826 -2646 2894 -2290 -2350 2854 2298 -2278 2218 -2750 -2878 -2426 2390 -2806 -2706 2614 -2058 2702 2862 2806 2846 2382 2038 2650 2834 2382 2874 -1990 -2038 -2518 2038 -2558 2422 2698 2750 2806 -2478 2298 -1990 -2410 2878 2886 2834 -2590 -2442 -2046 2782 2514 2134 -1994 2682 2710 2658 2274 2866 -2310 2838 2434 -2050 2854 2570 2854 2434 2074 1994 -2722 2030 2470 -2894 -2250 -2374 2010 2202 -2058 2006 2142 2258 2046 -2842 -2034 2410 2566 -2826 2286 -2026 -2894 -2462 -2854 2470 2010 2606 2686 2714 -2590 -2374 2858 2870 -2286 2582 2514 2806 -2422 -2886 -2702 -2030 2894 2038 2530 2710 2346 -2030 -2802 2882 -2090 2702 2350 2790 2570 -2738 2702 2398 2882 -2574 2622 -2046 2834 -2854 -2586 2450 -2614 2034 -2886 -2070 -2286 2798 -2370 2030 2066 2838 -2686 -2426 2530 2730 -2230 2586 1990 2626 2858 2702 2310 -2110 2386 2830 2798 -2610 -2670 -2082 2278 2590 -2250 2558 -2482 2806 -2362 -2882 -2682 -1994 2486 -2066 -2846 -2358 2894 2146 -2766 -2894 2522 -2306 -2078 -2890 -2682 2034 2250 1994 -2846 -2150 2870 2382 -2326 2246 2482
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node20/watcher-275645-1169224689 -o ROOT/results/node20/solver-275645-1169224689 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/275645-1169224689/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: 0.92 1.12 1.52 5/82 16212
/proc/meminfo: memFree=1312496/2055920 swapFree=4170260/4192956
[pid=16211] ppid=16202 vsize=1460 CPUtime=0
/proc/16211/stat : 16211 (java) R 16202 16211 16098 0 -1 0 124 0 0 0 0 0 0 0 21 0 1 0 270863479 1495040 96 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 8685798 0 0 4096 0 0 0 0 17 0 0 0
/proc/16211/statm: 446 136 102 14 0 91 0
[startup+0.104378 s]
/proc/loadavg: 0.92 1.12 1.52 5/82 16212
/proc/meminfo: memFree=1312496/2055920 swapFree=4170260/4192956
[pid=16211] ppid=16202 vsize=911488 CPUtime=0.06
/proc/16211/stat : 16211 (java) D 16202 16211 16098 0 -1 0 2637 0 1 0 5 1 0 0 23 0 8 0 270863479 933363712 2384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 2147483391 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16211/statm: 227872 2384 1284 14 0 215051 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 911488
[startup+0.515425 s]
/proc/loadavg: 0.92 1.12 1.52 5/82 16212
/proc/meminfo: memFree=1312496/2055920 swapFree=4170260/4192956
[pid=16211] ppid=16202 vsize=915332 CPUtime=0.47
/proc/16211/stat : 16211 (java) R 16202 16211 16098 0 -1 0 7573 0 1 0 42 5 0 0 23 0 8 0 270863479 937299968 7312 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4152819938 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16211/statm: 228833 7314 2143 14 0 215303 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 915332
[startup+1.34453 s]
/proc/loadavg: 0.92 1.12 1.52 4/101 16238
/proc/meminfo: memFree=1200592/2055920 swapFree=4170260/4192956
[pid=16211] ppid=16202 vsize=915612 CPUtime=1.3
/proc/16211/stat : 16211 (java) R 16202 16211 16098 0 -1 0 24148 0 1 0 118 12 0 0 25 0 8 0 270863479 937586688 23885 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073598034 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16211/statm: 228903 23885 2164 14 0 215373 0
[pid=16211/tid=16225] ppid=16202 vsize=915612 CPUtime=0.08
/proc/16211/task/16225/stat : 16225 (java) S 16202 16211 16098 0 -1 64 7589 0 0 0 6 2 0 0 16 0 8 0 270863483 937586688 23885 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16211/tid=16226] ppid=16202 vsize=915612 CPUtime=0
/proc/16211/task/16226/stat : 16226 (java) S 16202 16211 16098 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 270863484 937586688 23885 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16211/tid=16227] ppid=16202 vsize=915612 CPUtime=0
/proc/16211/task/16227/stat : 16227 (java) S 16202 16211 16098 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270863484 937586688 23885 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16211/tid=16231] ppid=16202 vsize=915612 CPUtime=0
/proc/16211/task/16231/stat : 16231 (java) S 16202 16211 16098 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 270863487 937586688 23885 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16211/tid=16232] ppid=16202 vsize=915612 CPUtime=0.15
/proc/16211/task/16232/stat : 16232 (java) S 16202 16211 16098 0 -1 64 403 0 0 0 15 0 0 0 16 0 8 0 270863487 937586688 23885 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16211/tid=16233] ppid=16202 vsize=915612 CPUtime=0
/proc/16211/task/16233/stat : 16233 (java) S 16202 16211 16098 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270863487 937586688 23885 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16211/tid=16234] ppid=16202 vsize=915612 CPUtime=0
/proc/16211/task/16234/stat : 16234 (java) S 16202 16211 16098 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270863487 937586688 23885 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915612
[startup+2.99873 s]
/proc/loadavg: 1.09 1.15 1.52 3/101 16238
/proc/meminfo: memFree=1175504/2055920 swapFree=4170260/4192956
[pid=16211] ppid=16202 vsize=915744 CPUtime=2.95
/proc/16211/stat : 16211 (java) R 16202 16211 16098 0 -1 0 24224 0 1 0 283 12 0 0 25 0 8 0 270863479 937721856 23959 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073825285 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16211/statm: 228936 23959 2184 14 0 215406 0
[pid=16211/tid=16225] ppid=16202 vsize=915744 CPUtime=0.11
/proc/16211/task/16225/stat : 16225 (java) S 16202 16211 16098 0 -1 64 7589 0 0 0 9 2 0 0 17 0 8 0 270863483 937721856 23959 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16211/tid=16226] ppid=16202 vsize=915744 CPUtime=0
/proc/16211/task/16226/stat : 16226 (java) S 16202 16211 16098 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 270863484 937721856 23959 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16211/tid=16227] ppid=16202 vsize=915744 CPUtime=0
/proc/16211/task/16227/stat : 16227 (java) S 16202 16211 16098 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270863484 937721856 23959 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16211/tid=16231] ppid=16202 vsize=915744 CPUtime=0
/proc/16211/task/16231/stat : 16231 (java) S 16202 16211 16098 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 270863487 937721856 23959 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16211/tid=16232] ppid=16202 vsize=915744 CPUtime=0.17
/proc/16211/task/16232/stat : 16232 (java) S 16202 16211 16098 0 -1 64 415 0 0 0 17 0 0 0 15 0 8 0 270863487 937721856 23959 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16211/tid=16233] ppid=16202 vsize=915744 CPUtime=0
/proc/16211/task/16233/stat : 16233 (java) S 16202 16211 16098 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270863487 937721856 23959 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16211/tid=16234] ppid=16202 vsize=915744 CPUtime=0
/proc/16211/task/16234/stat : 16234 (java) S 16202 16211 16098 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270863487 937721856 23959 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 915744
[startup+6.30013 s]
/proc/loadavg: 1.09 1.15 1.52 3/101 16238
/proc/meminfo: memFree=1105936/2055920 swapFree=4170260/4192956
[pid=16211] ppid=16202 vsize=915744 CPUtime=6.25
/proc/16211/stat : 16211 (java) R 16202 16211 16098 0 -1 0 24227 0 1 0 612 13 0 0 25 0 8 0 270863479 937721856 23961 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073829242 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16211/statm: 228936 23961 2184 14 0 215406 0
[pid=16211/tid=16225] ppid=16202 vsize=915744 CPUtime=0.11
/proc/16211/task/16225/stat : 16225 (java) S 16202 16211 16098 0 -1 64 7589 0 0 0 9 2 0 0 16 0 8 0 270863483 937721856 23961 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16211/tid=16226] ppid=16202 vsize=915744 CPUtime=0
/proc/16211/task/16226/stat : 16226 (java) S 16202 16211 16098 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 270863484 937721856 23961 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16211/tid=16227] ppid=16202 vsize=915744 CPUtime=0
/proc/16211/task/16227/stat : 16227 (java) S 16202 16211 16098 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270863484 937721856 23961 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16211/tid=16231] ppid=16202 vsize=915744 CPUtime=0
/proc/16211/task/16231/stat : 16231 (java) S 16202 16211 16098 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 270863487 937721856 23961 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16211/tid=16232] ppid=16202 vsize=915744 CPUtime=0.17
/proc/16211/task/16232/stat : 16232 (java) S 16202 16211 16098 0 -1 64 417 0 0 0 17 0 0 0 15 0 8 0 270863487 937721856 23961 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16211/tid=16233] ppid=16202 vsize=915744 CPUtime=0
/proc/16211/task/16233/stat : 16233 (java) S 16202 16211 16098 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270863487 937721856 23961 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16211/tid=16234] ppid=16202 vsize=915744 CPUtime=0
/proc/16211/task/16234/stat : 16234 (java) S 16202 16211 16098 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270863487 937721856 23961 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 915744
[startup+12.7999 s]
/proc/loadavg: 1.38 1.21 1.54 3/101 16238
/proc/meminfo: memFree=995472/2055920 swapFree=4170260/4192956
[pid=16211] ppid=16202 vsize=915744 CPUtime=12.72
/proc/16211/stat : 16211 (java) R 16202 16211 16098 0 -1 0 24240 0 1 0 1258 14 0 0 25 0 8 0 270863479 937721856 23973 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073826416 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16211/statm: 228936 23973 2185 14 0 215406 0
[pid=16211/tid=16225] ppid=16202 vsize=915744 CPUtime=0.11
/proc/16211/task/16225/stat : 16225 (java) S 16202 16211 16098 0 -1 64 7589 0 0 0 9 2 0 0 16 0 8 0 270863483 937721856 23973 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16211/tid=16226] ppid=16202 vsize=915744 CPUtime=0
/proc/16211/task/16226/stat : 16226 (java) S 16202 16211 16098 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 270863484 937721856 23973 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16211/tid=16227] ppid=16202 vsize=915744 CPUtime=0
/proc/16211/task/16227/stat : 16227 (java) S 16202 16211 16098 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270863484 937721856 23973 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16211/tid=16231] ppid=16202 vsize=915744 CPUtime=0
/proc/16211/task/16231/stat : 16231 (java) S 16202 16211 16098 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 270863487 937721856 23973 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16211/tid=16232] ppid=16202 vsize=915744 CPUtime=0.19
/proc/16211/task/16232/stat : 16232 (java) S 16202 16211 16098 0 -1 64 428 0 0 0 19 0 0 0 15 0 8 0 270863487 937721856 23973 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16211/tid=16233] ppid=16202 vsize=915744 CPUtime=0
/proc/16211/task/16233/stat : 16233 (java) S 16202 16211 16098 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270863487 937721856 23973 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16211/tid=16234] ppid=16202 vsize=915744 CPUtime=0
/proc/16211/task/16234/stat : 16234 (java) S 16202 16211 16098 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270863487 937721856 23973 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.72
Current children cumulated vsize (KiB) 915744
[startup+25.6725 s]
/proc/loadavg: 1.47 1.24 1.54 3/101 16238
/proc/meminfo: memFree=862480/2055920 swapFree=4170260/4192956
[pid=16211] ppid=16202 vsize=915744 CPUtime=25.5
/proc/16211/stat : 16211 (java) R 16202 16211 16098 0 -1 0 26482 0 1 0 2533 17 0 0 25 0 8 0 270863479 937721856 26213 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073832759 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16211/statm: 228936 26213 2185 14 0 215406 0
[pid=16211/tid=16225] ppid=16202 vsize=915744 CPUtime=0.18
/proc/16211/task/16225/stat : 16225 (java) S 16202 16211 16098 0 -1 64 9824 0 0 0 15 3 0 0 16 0 8 0 270863483 937721856 26213 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16211/tid=16226] ppid=16202 vsize=915744 CPUtime=0
/proc/16211/task/16226/stat : 16226 (java) S 16202 16211 16098 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 270863484 937721856 26213 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16211/tid=16227] ppid=16202 vsize=915744 CPUtime=0
/proc/16211/task/16227/stat : 16227 (java) S 16202 16211 16098 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270863484 937721856 26213 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16211/tid=16231] ppid=16202 vsize=915744 CPUtime=0
/proc/16211/task/16231/stat : 16231 (java) S 16202 16211 16098 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 270863487 937721856 26213 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16211/tid=16232] ppid=16202 vsize=915744 CPUtime=0.2
/proc/16211/task/16232/stat : 16232 (java) S 16202 16211 16098 0 -1 64 433 0 0 0 20 0 0 0 16 0 8 0 270863487 937721856 26213 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16211/tid=16233] ppid=16202 vsize=915744 CPUtime=0
/proc/16211/task/16233/stat : 16233 (java) S 16202 16211 16098 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270863487 937721856 26213 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16211/tid=16234] ppid=16202 vsize=915744 CPUtime=0
/proc/16211/task/16234/stat : 16234 (java) S 16202 16211 16098 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270863487 937721856 26213 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 915744
[startup+51.3176 s]
/proc/loadavg: 1.73 1.31 1.56 3/101 16238
/proc/meminfo: memFree=653584/2055920 swapFree=4170260/4192956
[pid=16211] ppid=16202 vsize=915744 CPUtime=51.01
/proc/16211/stat : 16211 (java) R 16202 16211 16098 0 -1 0 28089 0 1 0 5078 23 0 0 25 0 8 0 270863479 937721856 27817 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073825212 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16211/statm: 228936 27817 2185 14 0 215406 0
[pid=16211/tid=16225] ppid=16202 vsize=915744 CPUtime=0.26
/proc/16211/task/16225/stat : 16225 (java) S 16202 16211 16098 0 -1 64 11422 0 0 0 22 4 0 0 16 0 8 0 270863483 937721856 27817 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16211/tid=16226] ppid=16202 vsize=915744 CPUtime=0
/proc/16211/task/16226/stat : 16226 (java) S 16202 16211 16098 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 270863484 937721856 27817 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16211/tid=16227] ppid=16202 vsize=915744 CPUtime=0
/proc/16211/task/16227/stat : 16227 (java) S 16202 16211 16098 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270863484 937721856 27817 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16211/tid=16231] ppid=16202 vsize=915744 CPUtime=0
/proc/16211/task/16231/stat : 16231 (java) S 16202 16211 16098 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 270863487 937721856 27817 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16211/tid=16232] ppid=16202 vsize=915744 CPUtime=0.22
/proc/16211/task/16232/stat : 16232 (java) S 16202 16211 16098 0 -1 64 439 0 0 0 21 1 0 0 15 0 8 0 270863487 937721856 27817 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16211/tid=16233] ppid=16202 vsize=915744 CPUtime=0
/proc/16211/task/16233/stat : 16233 (java) S 16202 16211 16098 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270863487 937721856 27817 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16211/tid=16234] ppid=16202 vsize=915744 CPUtime=0
/proc/16211/task/16234/stat : 16234 (java) S 16202 16211 16098 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270863487 937721856 27817 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.01
Current children cumulated vsize (KiB) 915744
[startup+102.576 s]
/proc/loadavg: 1.89 1.43 1.58 3/101 16238
/proc/meminfo: memFree=521680/2055920 swapFree=4170260/4192956
[pid=16211] ppid=16202 vsize=915744 CPUtime=101.94
/proc/16211/stat : 16211 (java) R 16202 16211 16098 0 -1 0 34101 0 1 0 10157 37 0 0 25 0 8 0 270863479 937721856 33822 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074013708 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16211/statm: 228936 33822 2504 14 0 215406 0
[pid=16211/tid=16225] ppid=16202 vsize=915744 CPUtime=0.7
/proc/16211/task/16225/stat : 16225 (java) S 16202 16211 16098 0 -1 64 17045 0 0 0 64 6 0 0 16 0 8 0 270863483 937721856 33822 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16211/tid=16226] ppid=16202 vsize=915744 CPUtime=0
/proc/16211/task/16226/stat : 16226 (java) S 16202 16211 16098 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 270863484 937721856 33822 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16211/tid=16227] ppid=16202 vsize=915744 CPUtime=0
/proc/16211/task/16227/stat : 16227 (java) S 16202 16211 16098 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270863484 937721856 33822 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16211/tid=16231] ppid=16202 vsize=915744 CPUtime=0
/proc/16211/task/16231/stat : 16231 (java) S 16202 16211 16098 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 270863487 937721856 33822 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16211/tid=16232] ppid=16202 vsize=915744 CPUtime=0.27
/proc/16211/task/16232/stat : 16232 (java) S 16202 16211 16098 0 -1 64 476 0 0 0 26 1 0 0 16 0 8 0 270863487 937721856 33822 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16211/tid=16233] ppid=16202 vsize=915744 CPUtime=0
/proc/16211/task/16233/stat : 16233 (java) S 16202 16211 16098 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270863487 937721856 33822 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16211/tid=16234] ppid=16202 vsize=915744 CPUtime=0
/proc/16211/task/16234/stat : 16234 (java) S 16202 16211 16098 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270863487 937721856 33822 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.94
Current children cumulated vsize (KiB) 915744
[startup+162.585 s]
/proc/loadavg: 1.96 1.53 1.60 3/101 16238
/proc/meminfo: memFree=492560/2055920 swapFree=4170260/4192956
[pid=16211] ppid=16202 vsize=915744 CPUtime=161.58
/proc/16211/stat : 16211 (java) R 16202 16211 16098 0 -1 0 34102 0 1 0 16116 42 0 0 25 0 8 0 270863479 937721856 33823 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074013659 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 2016.78
Current children cumulated vsize (KiB) 915984
[startup+2084.25 s]
/proc/loadavg: 2.00 2.00 1.91 3/101 16624
/proc/meminfo: memFree=1109336/2055920 swapFree=4170260/4192956
[pid=16211] ppid=16202 vsize=915984 CPUtime=2076.74
/proc/16211/stat : 16211 (java) R 16202 16211 16098 0 -1 0 51495 0 1 0 207572 102 0 0 25 0 8 0 270863479 937967616 51208 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073825250 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16211/statm: 228996 51208 2551 14 0 215466 0
[pid=16211/tid=16225] ppid=16202 vsize=915984 CPUtime=0.89
/proc/16211/task/16225/stat : 16225 (java) S 16202 16211 16098 0 -1 64 34207 0 0 0 77 12 0 0 16 0 8 0 270863483 937967616 51208 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16211/tid=16226] ppid=16202 vsize=915984 CPUtime=0
/proc/16211/task/16226/stat : 16226 (java) S 16202 16211 16098 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270863484 937967616 51208 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16211/tid=16227] ppid=16202 vsize=915984 CPUtime=0
/proc/16211/task/16227/stat : 16227 (java) S 16202 16211 16098 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270863484 937967616 51208 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16211/tid=16231] ppid=16202 vsize=915984 CPUtime=0
/proc/16211/task/16231/stat : 16231 (java) S 16202 16211 16098 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 270863487 937967616 51208 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16211/tid=16232] ppid=16202 vsize=915984 CPUtime=0.39
/proc/16211/task/16232/stat : 16232 (java) S 16202 16211 16098 0 -1 64 594 0 0 0 37 2 0 0 16 0 8 0 270863487 937967616 51208 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16211/tid=16233] ppid=16202 vsize=915984 CPUtime=0
/proc/16211/task/16233/stat : 16233 (java) S 16202 16211 16098 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270863487 937967616 51208 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16211/tid=16234] ppid=16202 vsize=915984 CPUtime=0
/proc/16211/task/16234/stat : 16234 (java) S 16202 16211 16098 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270863487 937967616 51208 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2076.74
Current children cumulated vsize (KiB) 915984
[startup+2144.28 s]
/proc/loadavg: 2.00 2.00 1.91 3/101 16624
/proc/meminfo: memFree=1109272/2055920 swapFree=4170260/4192956
[pid=16211] ppid=16202 vsize=915984 CPUtime=2136.69
/proc/16211/stat : 16211 (java) R 16202 16211 16098 0 -1 0 51495 0 1 0 213566 103 0 0 25 0 8 0 270863479 937967616 51208 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074315127 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16211/statm: 228996 51208 2551 14 0 215466 0
[pid=16211/tid=16225] ppid=16202 vsize=915984 CPUtime=0.89
/proc/16211/task/16225/stat : 16225 (java) S 16202 16211 16098 0 -1 64 34207 0 0 0 77 12 0 0 16 0 8 0 270863483 937967616 51208 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16211/tid=16226] ppid=16202 vsize=915984 CPUtime=0
/proc/16211/task/16226/stat : 16226 (java) S 16202 16211 16098 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270863484 937967616 51208 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16211/tid=16227] ppid=16202 vsize=915984 CPUtime=0
/proc/16211/task/16227/stat : 16227 (java) S 16202 16211 16098 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270863484 937967616 51208 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16211/tid=16231] ppid=16202 vsize=915984 CPUtime=0
/proc/16211/task/16231/stat : 16231 (java) S 16202 16211 16098 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 270863487 937967616 51208 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16211/tid=16232] ppid=16202 vsize=915984 CPUtime=0.39
/proc/16211/task/16232/stat : 16232 (java) S 16202 16211 16098 0 -1 64 594 0 0 0 37 2 0 0 16 0 8 0 270863487 937967616 51208 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16211/tid=16233] ppid=16202 vsize=915984 CPUtime=0
/proc/16211/task/16233/stat : 16233 (java) S 16202 16211 16098 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270863487 937967616 51208 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16211/tid=16234] ppid=16202 vsize=915984 CPUtime=0
/proc/16211/task/16234/stat : 16234 (java) S 16202 16211 16098 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270863487 937967616 51208 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2136.69
Current children cumulated vsize (KiB) 915984
[startup+2204.37 s]
/proc/loadavg: 2.00 2.00 1.91 3/101 16624
/proc/meminfo: memFree=1109272/2055920 swapFree=4170260/4192956
[pid=16211] ppid=16202 vsize=915984 CPUtime=2196.73
/proc/16211/stat : 16211 (java) R 16202 16211 16098 0 -1 0 51498 0 1 0 219570 103 0 0 25 0 8 0 270863479 937967616 51209 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074293205 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16211/statm: 228996 51209 2551 14 0 215466 0
[pid=16211/tid=16225] ppid=16202 vsize=915984 CPUtime=0.89
/proc/16211/task/16225/stat : 16225 (java) S 16202 16211 16098 0 -1 64 34207 0 0 0 77 12 0 0 16 0 8 0 270863483 937967616 51209 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16211/tid=16226] ppid=16202 vsize=915984 CPUtime=0
/proc/16211/task/16226/stat : 16226 (java) S 16202 16211 16098 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270863484 937967616 51209 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16211/tid=16227] ppid=16202 vsize=915984 CPUtime=0
/proc/16211/task/16227/stat : 16227 (java) S 16202 16211 16098 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270863484 937967616 51209 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16211/tid=16231] ppid=16202 vsize=915984 CPUtime=0
/proc/16211/task/16231/stat : 16231 (java) S 16202 16211 16098 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 270863487 937967616 51209 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16211/tid=16232] ppid=16202 vsize=915984 CPUtime=0.39
/proc/16211/task/16232/stat : 16232 (java) S 16202 16211 16098 0 -1 64 596 0 0 0 37 2 0 0 16 0 8 0 270863487 937967616 51209 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16211/tid=16233] ppid=16202 vsize=915984 CPUtime=0
/proc/16211/task/16233/stat : 16233 (java) S 16202 16211 16098 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270863487 937967616 51209 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16211/tid=16234] ppid=16202 vsize=915984 CPUtime=0
/proc/16211/task/16234/stat : 16234 (java) S 16202 16211 16098 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270863487 937967616 51209 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2196.73
Current children cumulated vsize (KiB) 915984
[startup+2264.46 s]
/proc/loadavg: 2.04 2.01 1.92 4/101 16624
/proc/meminfo: memFree=1109272/2055920 swapFree=4170260/4192956
[pid=16211] ppid=16202 vsize=915984 CPUtime=2256.76
/proc/16211/stat : 16211 (java) R 16202 16211 16098 0 -1 0 51498 0 1 0 225573 103 0 0 25 0 8 0 270863479 937967616 51209 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074008907 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16211/statm: 228996 51209 2551 14 0 215466 0
[pid=16211/tid=16225] ppid=16202 vsize=915984 CPUtime=0.89
/proc/16211/task/16225/stat : 16225 (java) S 16202 16211 16098 0 -1 64 34207 0 0 0 77 12 0 0 16 0 8 0 270863483 937967616 51209 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16211/tid=16226] ppid=16202 vsize=915984 CPUtime=0
/proc/16211/task/16226/stat : 16226 (java) S 16202 16211 16098 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270863484 937967616 51209 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16211/tid=16227] ppid=16202 vsize=915984 CPUtime=0
/proc/16211/task/16227/stat : 16227 (java) S 16202 16211 16098 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270863484 937967616 51209 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16211/tid=16231] ppid=16202 vsize=915984 CPUtime=0
/proc/16211/task/16231/stat : 16231 (java) S 16202 16211 16098 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 270863487 937967616 51209 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16211/tid=16232] ppid=16202 vsize=915984 CPUtime=0.39
/proc/16211/task/16232/stat : 16232 (java) S 16202 16211 16098 0 -1 64 596 0 0 0 37 2 0 0 16 0 8 0 270863487 937967616 51209 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16211/tid=16233] ppid=16202 vsize=915984 CPUtime=0
/proc/16211/task/16233/stat : 16233 (java) S 16202 16211 16098 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270863487 937967616 51209 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16211/tid=16234] ppid=16202 vsize=915984 CPUtime=0
/proc/16211/task/16234/stat : 16234 (java) S 16202 16211 16098 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270863487 937967616 51209 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2256.76
Current children cumulated vsize (KiB) 915984
[startup+2324.54 s]
/proc/loadavg: 2.01 2.01 1.92 3/101 16624
/proc/meminfo: memFree=1109272/2055920 swapFree=4170260/4192956
[pid=16211] ppid=16202 vsize=915984 CPUtime=2316.76
/proc/16211/stat : 16211 (java) R 16202 16211 16098 0 -1 0 51498 0 1 0 231573 103 0 0 25 0 8 0 270863479 937967616 51209 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073470041 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16211/statm: 228996 51209 2551 14 0 215466 0
[pid=16211/tid=16225] ppid=16202 vsize=915984 CPUtime=0.89
/proc/16211/task/16225/stat : 16225 (java) S 16202 16211 16098 0 -1 64 34207 0 0 0 77 12 0 0 16 0 8 0 270863483 937967616 51209 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16211/tid=16226] ppid=16202 vsize=915984 CPUtime=0
/proc/16211/task/16226/stat : 16226 (java) S 16202 16211 16098 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270863484 937967616 51209 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16211/tid=16227] ppid=16202 vsize=915984 CPUtime=0
/proc/16211/task/16227/stat : 16227 (java) S 16202 16211 16098 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270863484 937967616 51209 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16211/tid=16231] ppid=16202 vsize=915984 CPUtime=0
/proc/16211/task/16231/stat : 16231 (java) S 16202 16211 16098 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 270863487 937967616 51209 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16211/tid=16232] ppid=16202 vsize=915984 CPUtime=0.39
/proc/16211/task/16232/stat : 16232 (java) S 16202 16211 16098 0 -1 64 596 0 0 0 37 2 0 0 16 0 8 0 270863487 937967616 51209 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16211/tid=16233] ppid=16202 vsize=915984 CPUtime=0
/proc/16211/task/16233/stat : 16233 (java) S 16202 16211 16098 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270863487 937967616 51209 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16211/tid=16234] ppid=16202 vsize=915984 CPUtime=0
/proc/16211/task/16234/stat : 16234 (java) S 16202 16211 16098 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270863487 937967616 51209 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2316.76
Current children cumulated vsize (KiB) 915984
[startup+2384.55 s]
/proc/loadavg: 2.00 2.00 1.92 4/101 16624
/proc/meminfo: memFree=1109272/2055920 swapFree=4170260/4192956
[pid=16211] ppid=16202 vsize=915984 CPUtime=2376.72
/proc/16211/stat : 16211 (java) R 16202 16211 16098 0 -1 0 51500 0 1 0 237569 103 0 0 25 0 8 0 270863479 937967616 51209 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073825095 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16211/statm: 228996 51209 2551 14 0 215466 0
[pid=16211/tid=16225] ppid=16202 vsize=915984 CPUtime=0.89
/proc/16211/task/16225/stat : 16225 (java) S 16202 16211 16098 0 -1 64 34207 0 0 0 77 12 0 0 16 0 8 0 270863483 937967616 51209 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16211/tid=16226] ppid=16202 vsize=915984 CPUtime=0
/proc/16211/task/16226/stat : 16226 (java) S 16202 16211 16098 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270863484 937967616 51209 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16211/tid=16227] ppid=16202 vsize=915984 CPUtime=0
/proc/16211/task/16227/stat : 16227 (java) S 16202 16211 16098 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270863484 937967616 51209 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16211/tid=16231] ppid=16202 vsize=915984 CPUtime=0
/proc/16211/task/16231/stat : 16231 (java) S 16202 16211 16098 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 270863487 937967616 51209 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16211/tid=16232] ppid=16202 vsize=915984 CPUtime=0.39
/proc/16211/task/16232/stat : 16232 (java) S 16202 16211 16098 0 -1 64 597 0 0 0 37 2 0 0 16 0 8 0 270863487 937967616 51209 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16211/tid=16233] ppid=16202 vsize=915984 CPUtime=0
/proc/16211/task/16233/stat : 16233 (java) S 16202 16211 16098 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270863487 937967616 51209 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16211/tid=16234] ppid=16202 vsize=915984 CPUtime=0
/proc/16211/task/16234/stat : 16234 (java) S 16202 16211 16098 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270863487 937967616 51209 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2376.72
Current children cumulated vsize (KiB) 915984
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2407.94 s]
/proc/loadavg: 2.18 2.05 1.94 3/101 16624
/proc/meminfo: memFree=1109272/2055920 swapFree=4170260/4192956
[pid=16211] ppid=16202 vsize=915984 CPUtime=2400.08
/proc/16211/stat : 16211 (java) R 16202 16211 16098 0 -1 0 51501 0 1 0 239904 104 0 0 25 0 8 0 270863479 937967616 51209 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074293210 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16211/statm: 228996 51209 2551 14 0 215466 0
[pid=16211/tid=16225] ppid=16202 vsize=915984 CPUtime=0.89
/proc/16211/task/16225/stat : 16225 (java) S 16202 16211 16098 0 -1 64 34207 0 0 0 77 12 0 0 16 0 8 0 270863483 937967616 51209 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16211/tid=16226] ppid=16202 vsize=915984 CPUtime=0
/proc/16211/task/16226/stat : 16226 (java) S 16202 16211 16098 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270863484 937967616 51209 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16211/tid=16227] ppid=16202 vsize=915984 CPUtime=0
/proc/16211/task/16227/stat : 16227 (java) S 16202 16211 16098 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270863484 937967616 51209 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16211/tid=16231] ppid=16202 vsize=915984 CPUtime=0
/proc/16211/task/16231/stat : 16231 (java) S 16202 16211 16098 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 270863487 937967616 51209 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16211/tid=16232] ppid=16202 vsize=915984 CPUtime=0.39
/proc/16211/task/16232/stat : 16232 (java) S 16202 16211 16098 0 -1 64 597 0 0 0 37 2 0 0 16 0 8 0 270863487 937967616 51209 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16211/tid=16233] ppid=16202 vsize=915984 CPUtime=0
/proc/16211/task/16233/stat : 16233 (java) S 16202 16211 16098 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270863487 937967616 51209 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16211/tid=16234] ppid=16202 vsize=915984 CPUtime=0
/proc/16211/task/16234/stat : 16234 (java) S 16202 16211 16098 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270863487 937967616 51209 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2400.08
Current children cumulated vsize (KiB) 915984
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 2408.04
CPU time (s): 2400.17
CPU user time (s): 2399.1
CPU system time (s): 1.07284
CPU usage (%): 99.6735
Max. virtual memory (cumulated for all children) (KiB): 915984
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.1
system time used= 1.07284
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 51525
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= 50569
involuntary context switches= 102865
runsolver used 3.09953 s user time and 7.81181 s system time
The end
Begin job on node20 on Fri Jan 19 16:38:09 UTC 2007
IDJOB= 275645
IDBENCH= 4188
IDSOLVER= 68
FILE ID= node20/275645-1169224689
PBS_JOBID= 3589213
Free space on /tmp= 66558 MiB
SOLVER NAME= AbsconMax 109 EPFC
BENCH NAME= HOME/pub/bench/CPAI06/fapp/fapp36-40/fapp36/fapp36-2000-6.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/275645-1169224689/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node20/watcher-275645-1169224689 -o ROOT/results/node20/solver-275645-1169224689 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/275645-1169224689/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 83eb19c7109a7c0773fe268e40325cfc
RANDOM SEED= 301798907
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.216
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.216
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: 1312912 kB
Buffers: 42096 kB
Cached: 598092 kB
SwapCached: 3160 kB
Active: 134788 kB
Inactive: 535036 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1312912 kB
SwapTotal: 4192956 kB
SwapFree: 4170260 kB
Dirty: 7328 kB
Writeback: 0 kB
Mapped: 44860 kB
Slab: 58112 kB
Committed_AS: 4883076 kB
PageTables: 2260 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= 66560 MiB
End job on node20 on Fri Jan 19 17:18:17 UTC 2007