0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=epfc.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/275651-1169224742/unknown.xml
0.38
0.38 domains being loaded...
0.42
0.42 variables being loaded...
0.70 nbVariables=2000 nbDomainTypes=26 minDomainSize=46 maxDomainSize=454
0.70 => wckTime=0.382 cpuTime=0.28 mem=34M228
0.70
0.70 predicates being loaded...
0.70
0.70 constraints being loaded...
61.05
61.05 INFO : Stopping converting binary constraints (cpu=60.03, mem = 60M496)
62.58 nbConstraints=18600 nbConvertedConstraints=1870 nbConvertConstraintsChecks=189268870 nbExtensionStructures=1538
62.58 nbSharedExtensionStructures=332 nbConflictsStructures=1538 nbSharedConflictsStructures=332
62.58 nbSharedBinaryRepresentations=1028935 nbEvaluationManagers=8146 nbSharedEvaluationManagers=8584 maxDegree=25
62.58 maxArity=2
62.58 => wckTime=62.267 cpuTime=61.28 mem=71M348
62.83
62.83 solver LocalSearchSolver being built...
62.87 => wckTime=62.551 cpuTime=61.33 mem=62M335
63.03
63.03 s SATISFIABLE
63.03 o 13227
63.03 c 5373
63.12 o 13236
63.12 c 5364
63.21 o 13240
63.21 c 5360
63.27 o 13244
63.27 c 5356
63.32 o 13251
63.32 c 5349
63.35 o 13253
63.35 c 5347
63.40 o 13254
63.40 c 5346
63.46 o 13261
63.46 c 5339
63.52 o 13267
63.52 c 5333
63.56 o 13273
63.56 c 5327
63.61 o 13279
63.61 c 5321
63.64 o 13284
63.64 c 5316
63.69 o 13289
63.69 c 5311
63.72 o 13293
63.72 c 5307
63.76 o 13297
63.76 c 5303
63.82 o 13301
63.82 c 5299
63.86 o 13304
63.86 c 5296
63.90 o 13307
63.90 c 5293
63.94 o 13310
63.94 c 5290
63.97 o 13313
63.97 c 5287
64.00 o 13316
64.00 c 5284
64.04 o 13318
64.04 c 5282
64.06 o 13320
64.06 c 5280
64.09 o 13322
64.09 c 5278
64.11 o 13324
64.11 c 5276
64.13 o 13325
64.13 c 5275
64.15 o 13326
64.15 c 5274
64.17 o 13327
64.17 c 5273
64.21 o 13328
64.21 c 5272
64.22 o 13329
64.22 c 5271
64.26 o 13333
64.26 c 5267
64.31 o 13339
64.31 c 5261
64.36 o 13345
64.36 c 5255
64.41 o 13350
64.41 c 5250
64.45 o 13355
64.45 c 5245
64.51 o 13360
64.51 c 5240
64.56 o 13364
64.56 c 5236
64.61 o 13368
64.61 c 5232
64.65 o 13372
64.65 c 5228
64.71 o 13376
64.71 c 5224
64.76 o 13379
64.76 c 5221
64.80 o 13382
64.80 c 5218
64.85 o 13385
64.85 c 5215
64.89 o 13388
64.89 c 5212
64.93 o 13391
64.93 c 5209
64.98 o 13394
64.98 c 5206
65.03 o 13397
65.03 c 5203
65.06 o 13399
65.06 c 5201
65.10 o 13401
65.10 c 5199
65.16 o 13403
65.16 c 5197
65.20 o 13405
65.20 c 5195
65.24 o 13407
65.24 c 5193
65.28 o 13409
65.28 c 5191
65.31 o 13411
65.31 c 5189
65.34 o 13413
65.34 c 5187
65.37 o 13415
65.37 c 5185
65.39 o 13417
65.39 c 5183
65.42 o 13418
65.42 c 5182
65.44 o 13419
65.44 c 5181
65.47 o 13420
65.47 c 5180
65.50 o 13421
65.50 c 5179
65.56 o 13422
65.56 c 5178
65.58 o 13423
65.58 c 5177
65.61 o 13424
65.61 c 5176
65.62 o 13425
65.62 c 5175
65.69 o 13432
65.69 c 5168
65.75 o 13437
65.75 c 5163
65.81 o 13440
65.81 c 5160
65.87 o 13445
65.87 c 5155
65.93 o 13450
65.93 c 5150
65.99 o 13454
65.99 c 5146
66.05 o 13458
66.05 c 5142
66.11 o 13461
66.11 c 5139
66.17 o 13464
66.17 c 5136
66.22 o 13467
66.22 c 5133
66.28 o 13470
66.28 c 5130
66.34 o 13473
66.34 c 5127
66.39 o 13476
66.39 c 5124
66.44 o 13479
66.44 c 5121
66.50 o 13482
66.50 c 5118
66.55 o 13485
66.55 c 5115
66.59 o 13488
66.59 c 5112
66.63 o 13491
66.63 c 5109
66.67 o 13493
66.67 c 5107
66.71 o 13495
66.71 c 5105
66.74 o 13497
66.74 c 5103
66.79 o 13499
66.79 c 5101
66.83 o 13501
66.83 c 5099
66.87 o 13503
66.87 c 5097
66.91 o 13505
66.91 c 5095
66.94 o 13507
66.94 c 5093
66.97 o 13509
66.97 c 5091
67.00 o 13511
67.00 c 5089
67.03 o 13513
67.03 c 5087
67.06 o 13515
67.06 c 5085
67.09 o 13516
67.09 c 5084
67.12 o 13517
67.12 c 5083
67.15 o 13518
67.15 c 5082
67.18 o 13519
67.18 c 5081
67.21 o 13520
67.21 c 5080
67.23 o 13521
67.23 c 5079
67.27 o 13526
67.27 c 5074
67.30 o 13530
67.30 c 5070
67.32 o 13537
67.32 c 5063
67.34 o 13539
67.34 c 5061
67.36 o 13540
67.36 c 5060
67.39 o 13547
67.39 c 5053
67.41 o 13552
67.41 c 5048
67.44 o 13556
67.44 c 5044
67.47 o 13559
67.47 c 5041
67.50 o 13561
67.50 c 5039
67.54 o 13564
67.54 c 5036
67.58 o 13571
67.58 c 5029
67.61 o 13577
67.61 c 5023
67.65 o 13582
67.65 c 5018
67.69 o 13585
67.69 c 5015
67.72 o 13590
67.72 c 5010
67.75 o 13593
67.75 c 5007
67.81 o 13597
67.81 c 5003
67.86 o 13602
67.86 c 4998
67.91 o 13603
67.91 c 4997
67.93 o 13607
67.93 c 4993
67.99 o 13611
67.99 c 4989
68.03 o 13612
68.03 c 4988
68.07 o 13614
68.07 c 4986
68.11 o 13616
68.11 c 4984
68.15 o 13619
68.15 c 4981
68.17 o 13620
68.17 c 4980
68.24 o 13623
68.24 c 4977
68.30 o 13625
68.30 c 4975
68.34 o 13627
68.34 c 4973
68.37 o 13632
68.37 c 4968
68.46 o 13636
68.46 c 4964
68.53 o 13642
68.53 c 4958
68.61 o 13648
68.61 c 4952
68.68 o 13654
68.69 c 4946
68.76 o 13660
68.76 c 4940
68.83 o 13665
68.83 c 4935
68.91 o 13670
68.91 c 4930
68.99 o 13675
68.99 c 4925
69.08 o 13680
69.08 c 4920
69.14 o 13685
69.14 c 4915
69.22 o 13689
69.22 c 4911
69.29 o 13693
69.29 c 4907
69.37 o 13697
69.37 c 4903
69.44 o 13701
69.44 c 4899
69.52 o 13705
69.52 c 4895
69.58 o 13708
69.58 c 4892
69.66 o 13711
69.66 c 4889
69.73 o 13714
69.73 c 4886
69.79 o 13717
69.79 c 4883
69.85 o 13722
69.85 c 4878
69.90 o 13725
69.90 c 4875
69.96 o 13728
69.96 c 4872
70.02 o 13731
70.02 c 4869
70.07 o 13735
70.07 c 4865
70.13 o 13738
70.13 c 4862
70.19 o 13740
70.19 c 4860
70.23 o 13742
70.23 c 4858
70.29 o 13744
70.29 c 4856
70.33 o 13746
70.33 c 4854
70.38 o 13748
70.38 c 4852
70.46 o 13750
70.46 c 4850
70.50 o 13752
70.50 c 4848
70.54 o 13754
70.54 c 4846
70.58 o 13756
70.58 c 4844
70.62 o 13758
70.62 c 4842
70.66 o 13760
70.66 c 4840
70.70 o 13762
70.70 c 4838
70.73 o 13763
70.73 c 4837
70.77 o 13764
70.77 c 4836
70.81 o 13765
70.81 c 4835
70.84 o 13766
70.84 c 4834
70.88 o 13767
70.88 c 4833
70.92 o 13768
70.92 c 4832
70.94 o 13775
70.94 c 4825
70.97 o 13776
70.97 c 4824
71.00 o 13777
71.00 c 4823
71.02 o 13778
71.02 c 4822
71.10 o 13782
71.10 c 4818
71.13 o 13785
71.13 c 4815
71.15 o 13786
71.15 c 4814
71.19 o 13791
71.19 c 4809
71.26 o 13795
71.26 c 4805
71.29 o 13798
71.29 c 4802
71.32 o 13801
71.32 c 4799
71.36 o 13805
71.36 c 4795
71.39 o 13807
71.39 c 4793
71.41 o 13814
71.41 c 4786
71.44 o 13816
71.44 c 4784
71.47 o 13821
71.47 c 4779
71.50 o 13823
71.50 c 4777
71.54 o 13829
71.54 c 4771
71.58 o 13830
71.58 c 4770
71.62 o 13831
71.62 c 4769
71.67 o 13835
71.67 c 4765
71.70 o 13840
71.70 c 4760
71.78 o 13845
71.78 c 4755
71.83 o 13847
71.83 c 4753
71.87 o 13855
71.87 c 4745
71.92 o 13856
71.92 c 4744
71.95 o 13861
71.95 c 4739
71.99 o 13862
71.99 c 4738
72.04 o 13863
72.04 c 4737
72.09 o 13871
72.09 c 4729
72.12 o 13874
72.12 c 4726
72.16 o 13876
72.16 c 4724
72.19 o 13879
72.19 c 4721
72.22 o 13880
72.22 c 4720
72.25 o 13883
72.25 c 4717
72.35 o 13884
72.35 c 4716
72.39 o 13885
72.39 c 4715
72.41 o 13888
72.41 c 4712
72.45 o 13889
72.45 c 4711
72.48 o 13890
72.48 c 4710
72.52 o 13893
72.52 c 4707
72.55 o 13896
72.55 c 4704
72.59 o 13898
72.59 c 4702
72.63 o 13902
72.63 c 4698
72.66 o 13903
72.66 c 4697
72.78 o 13904
72.78 c 4696
72.85 o 13907
72.85 c 4693
72.92 o 13914
72.92 c 4686
72.98 o 13921
72.98 c 4679
73.06 o 13923
73.06 c 4677
73.15 o 13929
73.15 c 4671
73.22 o 13931
73.22 c 4669
73.31 o 13937
73.31 c 4663
73.37 o 13939
73.37 c 4661
73.45 o 13940
73.45 c 4660
73.54 o 13946
73.54 c 4654
73.63 o 13952
73.63 c 4648
73.69 o 13953
73.69 c 4647
73.73 o 13954
73.73 c 4646
73.90 o 13960
73.90 c 4640
74.00 o 13965
74.00 c 4635
74.09 o 13970
74.09 c 4630
74.18 o 13975
74.18 c 4625
74.27 o 13979
74.27 c 4621
74.36 o 13983
74.36 c 4617
74.45 o 13987
74.45 c 4613
74.54 o 13991
74.54 c 4609
74.63 o 13995
74.63 c 4605
74.72 o 13999
74.72 c 4601
74.81 o 14002
74.81 c 4598
74.90 o 14005
74.90 c 4595
74.99 o 14008
74.99 c 4592
75.08 o 14011
75.08 c 4589
75.18 o 14014
75.18 c 4586
75.26 o 14017
75.26 c 4583
75.35 o 14020
75.35 c 4580
75.44 o 14023
75.44 c 4577
75.52 o 14026
75.52 c 4574
75.60 o 14028
75.60 c 4572
75.68 o 14030
75.68 c 4570
75.75 o 14034
75.75 c 4566
75.84 o 14037
75.84 c 4563
75.91 o 14039
75.91 c 4561
75.98 o 14041
75.98 c 4559
76.05 o 14043
76.05 c 4557
76.13 o 14045
76.13 c 4555
76.20 o 14047
76.20 c 4553
76.27 o 14049
76.27 c 4551
76.34 o 14051
76.34 c 4549
76.40 o 14053
76.40 c 4547
76.46 o 14055
76.46 c 4545
76.52 o 14057
76.52 c 4543
76.58 o 14058
76.58 c 4542
76.63 o 14060
76.63 c 4540
76.68 o 14061
76.68 c 4539
76.74 o 14062
76.74 c 4538
76.78 o 14063
76.78 c 4537
76.83 o 14064
76.83 c 4536
76.87 o 14065
76.87 c 4535
76.92 o 14066
76.92 c 4534
76.97 o 14070
76.97 c 4530
77.33 o 14071
77.33 c 4529
77.39 o 14078
77.39 c 4522
77.45 o 14082
77.45 c 4518
77.50 o 14086
77.50 c 4514
77.55 o 14092
77.55 c 4508
77.61 o 14098
77.61 c 4502
77.65 o 14099
77.65 c 4501
77.78 o 14104
77.78 c 4496
77.84 o 14105
77.84 c 4495
77.99 o 14107
77.99 c 4493
78.08 o 14109
78.08 c 4491
78.18 o 14110
78.18 c 4490
78.23 o 14111
78.23 c 4489
78.28 o 14113
78.28 c 4487
78.35 o 14118
78.35 c 4482
78.39 o 14120
78.39 c 4480
78.44 o 14123
78.44 c 4477
78.49 o 14127
78.49 c 4473
78.54 o 14130
78.54 c 4470
78.59 o 14132
78.59 c 4468
78.64 o 14134
78.64 c 4466
78.69 o 14136
78.69 c 4464
78.73 o 14139
78.73 c 4461
78.83 o 14142
78.83 c 4458
78.87 o 14144
78.87 c 4456
78.97 o 14145
78.97 c 4455
79.02 o 14149
79.02 c 4451
79.06 o 14150
79.06 c 4450
79.13 o 14153
79.13 c 4447
79.17 o 14154
79.17 c 4446
79.23 o 14157
79.23 c 4443
79.28 o 14160
79.28 c 4440
79.33 o 14162
79.33 c 4438
79.38 o 14166
79.38 c 4434
79.42 o 14167
79.42 c 4433
79.48 o 14169
79.48 c 4431
79.52 o 14170
79.52 c 4430
79.57 o 14171
79.57 c 4429
79.61 o 14174
79.61 c 4426
79.67 o 14179
79.67 c 4421
79.72 o 14180
79.72 c 4420
79.90 o 14181
79.90 c 4419
79.94 o 14184
79.94 c 4416
80.07 o 14188
80.07 c 4412
80.12 o 14192
80.12 c 4408
80.17 o 14194
80.17 c 4406
80.22 o 14196
80.22 c 4404
80.27 o 14197
80.27 c 4403
80.33 o 14199
80.33 c 4401
80.39 o 14202
80.39 c 4398
80.44 o 14207
80.44 c 4393
80.49 o 14209
80.49 c 4391
80.54 o 14214
80.54 c 4386
80.60 o 14217
80.60 c 4383
80.70 o 14221
80.70 c 4379
80.75 o 14222
80.75 c 4378
80.81 o 14228
80.81 c 4372
80.86 o 14232
80.86 c 4368
80.90 o 14235
80.90 c 4365
80.96 o 14236
80.96 c 4364
81.01 o 14240
81.01 c 4360
81.05 o 14244
81.05 c 4356
81.14 o 14247
81.14 c 4353
81.18 o 14248
81.18 c 4352
81.23 o 14250
81.23 c 4350
81.34 o 14251
81.34 c 4349
81.42 o 14254
81.42 c 4346
81.48 o 14260
81.48 c 4340
81.53 o 14262
81.53 c 4338
81.58 o 14263
81.58 c 4337
81.66 o 14265
81.66 c 4335
81.75 o 14267
81.75 c 4333
81.81 o 14269
81.81 c 4331
81.89 o 14271
81.89 c 4329
81.96 o 14276
81.96 c 4324
82.04 o 14280
82.04 c 4320
82.13 o 14284
82.13 c 4316
82.21 o 14288
82.21 c 4312
82.29 o 14292
82.29 c 4308
82.37 o 14296
82.37 c 4304
82.44 o 14300
82.44 c 4300
82.53 o 14304
82.53 c 4296
82.61 o 14308
82.61 c 4292
82.69 o 14311
82.69 c 4289
82.78 o 14314
82.78 c 4286
82.86 o 14317
82.86 c 4283
82.93 o 14320
82.93 c 4280
83.01 o 14324
83.01 c 4276
83.09 o 14326
83.09 c 4274
83.24 o 14330
83.24 c 4270
83.31 o 14332
83.31 c 4268
83.38 o 14334
83.38 c 4266
83.45 o 14336
83.45 c 4264
83.51 o 14338
83.51 c 4262
83.57 o 14339
83.57 c 4261
83.63 o 14340
83.63 c 4260
83.69 o 14341
83.69 c 4259
83.76 o 14342
83.76 c 4258
83.83 o 14346
83.83 c 4254
83.89 o 14349
83.89 c 4251
83.96 o 14350
83.96 c 4250
84.02 o 14353
84.02 c 4247
84.08 o 14354
84.08 c 4246
84.13 o 14355
84.13 c 4245
84.19 o 14356
84.19 c 4244
84.25 o 14357
84.25 c 4243
84.31 o 14362
84.31 c 4238
84.36 o 14363
84.36 c 4237
84.43 o 14364
84.43 c 4236
84.65 o 14366
84.65 c 4234
84.70 o 14367
84.70 c 4233
84.75 o 14370
84.75 c 4230
84.96 o 14371
84.96 c 4229
85.02 o 14373
85.02 c 4227
85.16 o 14376
85.16 c 4224
85.22 o 14381
85.22 c 4219
85.27 o 14387
85.27 c 4213
85.38 o 14388
85.38 c 4212
85.44 o 14392
85.44 c 4208
85.50 o 14395
85.50 c 4205
85.56 o 14399
85.56 c 4201
85.61 o 14400
85.61 c 4200
85.66 o 14403
85.66 c 4197
85.77 o 14407
85.77 c 4193
85.81 o 14410
85.81 c 4190
85.86 o 14411
85.86 c 4189
85.90 o 14412
85.90 c 4188
85.96 o 14414
85.96 c 4186
86.07 o 14415
86.07 c 4185
86.14 o 14419
86.14 c 4181
86.19 o 14422
86.19 c 4178
86.24 o 14423
86.24 c 4177
86.28 o 14426
86.28 c 4174
86.33 o 14427
86.33 c 4173
86.43 o 14432
86.43 c 4168
86.50 o 14433
86.50 c 4167
86.56 o 14434
86.56 c 4166
86.61 o 14435
86.61 c 4165
86.67 o 14437
86.67 c 4163
86.80 o 14443
86.80 c 4157
86.86 o 14445
86.86 c 4155
86.92 o 14448
86.92 c 4152
86.99 o 14450
86.99 c 4150
87.05 o 14453
87.05 c 4147
87.11 o 14455
87.11 c 4145
87.18 o 14456
87.18 c 4144
87.24 o 14457
87.24 c 4143
87.30 o 14459
87.30 c 4141
87.43 o 14461
87.43 c 4139
87.51 o 14463
87.51 c 4137
87.78 o 14464
87.78 c 4136
87.85 o 14467
87.85 c 4133
87.92 o 14468
87.92 c 4132
87.99 o 14470
87.99 c 4130
88.06 o 14472
88.06 c 4128
88.15 o 14475
88.15 c 4125
89.01 o 14478
89.01 c 4122
89.09 o 14479
89.09 c 4121
89.18 o 14483
89.18 c 4117
89.27 o 14485
89.27 c 4115
89.37 o 14487
89.37 c 4113
89.46 o 14489
89.46 c 4111
89.54 o 14490
89.54 c 4110
89.65 o 14492
89.65 c 4108
89.73 o 14495
89.73 c 4105
89.81 o 14496
89.81 c 4104
90.00 o 14498
90.00 c 4102
90.10 o 14499
90.10 c 4101
90.20 o 14502
90.20 c 4098
90.29 o 14503
90.29 c 4097
90.40 o 14504
90.40 c 4096
90.48 o 14505
90.48 c 4095
90.57 o 14506
90.57 c 4094
90.66 o 14507
90.66 c 4093
90.84 o 14508
90.84 c 4092
91.10 o 14510
91.10 c 4090
91.21 o 14511
91.22 c 4089
91.31 o 14512
91.31 c 4088
91.39 o 14513
91.39 c 4087
91.59 o 14519
91.59 c 4081
91.68 o 14520
91.68 c 4080
91.76 o 14522
91.76 c 4078
91.85 o 14523
91.85 c 4077
91.95 o 14527
91.95 c 4073
92.19 o 14530
92.19 c 4070
92.29 o 14536
92.29 c 4064
92.40 o 14538
92.40 c 4062
92.50 o 14539
92.50 c 4061
92.63 o 14544
92.63 c 4056
92.76 o 14547
92.76 c 4053
92.92 o 14551
92.92 c 4049
93.06 o 14555
93.06 c 4045
93.20 o 14558
93.20 c 4042
93.33 o 14561
93.33 c 4039
93.57 o 14567
93.57 c 4033
93.70 o 14569
93.70 c 4031
93.82 o 14572
93.82 c 4028
93.96 o 14574
93.96 c 4026
94.10 o 14576
94.10 c 4024
94.23 o 14578
94.23 c 4022
94.37 o 14580
94.37 c 4020
94.49 o 14581
94.49 c 4019
94.62 o 14583
94.62 c 4017
94.75 o 14585
94.75 c 4015
94.88 o 14587
94.88 c 4013
94.99 o 14589
94.99 c 4011
95.13 o 14591
95.13 c 4009
95.36 o 14593
95.36 c 4007
95.47 o 14594
95.47 c 4006
95.59 o 14595
95.59 c 4005
95.70 o 14596
95.70 c 4004
95.81 o 14597
95.81 c 4003
95.91 o 14598
95.91 c 4002
96.02 o 14599
96.02 c 4001
96.13 o 14600
96.13 c 4000
96.23 o 14602
96.23 c 3998
96.34 o 14603
96.34 c 3997
96.45 o 14604
96.45 c 3996
96.56 o 14605
96.56 c 3995
96.67 o 14606
96.67 c 3994
96.77 o 14607
96.77 c 3993
96.87 o 14608
96.87 c 3992
96.97 o 14609
96.97 c 3991
97.06 o 14610
97.06 c 3990
97.42 o 14613
97.42 c 3987
97.51 o 14615
97.51 c 3985
97.76 o 14618
97.76 c 3982
97.99 o 14620
97.99 c 3980
98.07 o 14623
98.07 c 3977
98.23 o 14624
98.23 c 3976
98.30 o 14625
98.30 c 3975
98.37 o 14628
98.37 c 3972
98.47 o 14631
98.47 c 3969
98.55 o 14636
98.55 c 3964
98.65 o 14642
98.65 c 3958
98.83 o 14645
98.83 c 3955
98.94 o 14646
98.94 c 3954
99.02 o 14650
99.02 c 3950
99.11 o 14651
99.11 c 3949
99.29 o 14653
99.29 c 3947
99.38 o 14654
99.38 c 3946
99.48 o 14655
99.48 c 3945
99.58 o 14658
99.58 c 3942
99.77 o 14660
99.77 c 3940
100.16 o 14662
100.16 c 3938
100.25 o 14663
100.25 c 3937
100.34 o 14666
100.34 c 3934
100.44 o 14667
100.44 c 3933
100.55 o 14669
100.55 c 3931
100.64 o 14671
100.64 c 3929
101.00 o 14672
101.00 c 3928
101.09 o 14676
101.09 c 3924
101.37 o 14680
101.37 c 3920
101.48 o 14682
101.48 c 3918
101.58 o 14685
101.58 c 3915
101.67 o 14688
101.67 c 3912
101.76 o 14692
101.76 c 3908
101.86 o 14694
101.86 c 3906
101.95 o 14696
101.95 c 3904
102.05 o 14697
102.05 c 3903
102.14 o 14701
102.14 c 3899
102.24 o 14703
102.24 c 3897
102.32 o 14704
102.32 c 3896
102.81 o 14707
102.81 c 3893
102.90 o 14709
102.90 c 3891
102.99 o 14711
102.99 c 3889
103.10 o 14713
103.10 c 3887
103.20 o 14717
103.20 c 3883
103.30 o 14720
103.30 c 3880
103.42 o 14723
103.42 c 3877
103.64 o 14725
103.64 c 3875
103.75 o 14727
103.75 c 3873
103.86 o 14729
103.86 c 3871
104.11 o 14731
104.11 c 3869
104.35 o 14734
104.35 c 3866
104.48 o 14735
104.48 c 3865
104.61 o 14736
104.61 c 3864
104.73 o 14737
104.73 c 3863
104.87 o 14738
104.87 c 3862
105.00 o 14739
105.00 c 3861
105.13 o 14741
105.13 c 3859
105.24 o 14742
105.24 c 3858
105.65 o 14745
105.65 c 3855
105.78 o 14747
105.78 c 3853
106.03 o 14751
106.03 c 3849
106.16 o 14752
106.16 c 3848
106.29 o 14753
106.29 c 3847
106.42 o 14759
106.42 c 3841
106.55 o 14762
106.55 c 3838
106.67 o 14765
106.67 c 3835
106.80 o 14769
106.80 c 3831
106.94 o 14771
106.94 c 3829
107.07 o 14774
107.07 c 3826
107.31 o 14775
107.31 c 3825
107.45 o 14777
107.45 c 3823
107.58 o 14779
107.58 c 3821
107.96 o 14780
107.96 c 3820
108.08 o 14784
108.08 c 3816
108.21 o 14788
108.21 c 3812
108.85 o 14789
108.85 c 3811
108.97 o 14791
108.97 c 3809
109.10 o 14795
109.10 c 3805
109.22 o 14799
109.22 c 3801
109.34 o 14800
109.34 c 3800
109.57 o 14801
109.57 c 3799
109.68 o 14803
109.69 c 3797
109.80 o 14804
109.80 c 3796
109.91 o 14808
109.91 c 3792
110.12 o 14813
110.12 c 3787
110.24 o 14817
110.24 c 3783
110.38 o 14821
110.38 c 3779
110.48 o 14822
110.48 c 3778
110.96 o 14825
110.96 c 3775
111.07 o 14826
111.07 c 3774
111.32 o 14827
111.32 c 3773
111.44 o 14831
111.44 c 3769
111.58 o 14834
111.58 c 3766
111.70 o 14835
111.70 c 3765
111.83 o 14837
111.83 c 3763
112.44 o 14839
112.44 c 3761
112.68 o 14840
112.68 c 3760
112.80 o 14842
112.80 c 3758
113.04 o 14845
113.04 c 3755
113.16 o 14847
113.16 c 3753
113.28 o 14849
113.28 c 3751
113.39 o 14850
113.39 c 3750
113.72 o 14853
113.72 c 3747
113.84 o 14854
113.84 c 3746
113.96 o 14858
113.96 c 3742
114.18 o 14861
114.18 c 3739
114.30 o 14863
114.30 c 3737
114.42 o 14866
114.42 c 3734
114.66 o 14868
114.66 c 3732
114.89 o 14870
114.89 c 3730
115.00 o 14873
115.00 c 3727
115.24 o 14874
115.24 c 3726
115.36 o 14875
115.36 c 3725
115.74 o 14878
115.74 c 3722
115.87 o 14879
115.87 c 3721
116.25 o 14881
116.25 c 3719
116.37 o 14882
116.37 c 3718
116.53 o 14886
116.53 c 3714
116.65 o 14887
116.65 c 3713
116.77 o 14888
116.77 c 3712
117.06 o 14889
117.06 c 3711
117.19 o 14890
117.19 c 3710
117.35 o 14894
117.35 c 3706
117.63 o 14896
117.63 c 3704
117.79 o 14899
117.79 c 3701
117.94 o 14902
117.94 c 3698
118.10 o 14905
118.10 c 3695
118.26 o 14907
118.26 c 3693
118.39 o 14908
118.39 c 3692
118.54 o 14910
118.54 c 3690
118.67 o 14911
118.67 c 3689
118.81 o 14915
118.81 c 3685
118.96 o 14917
118.96 c 3683
119.11 o 14923
119.11 c 3677
119.27 o 14925
119.27 c 3675
119.42 o 14927
119.42 c 3673
119.57 o 14929
119.57 c 3671
119.72 o 14930
119.72 c 3670
119.86 o 14935
119.86 c 3665
120.01 o 14936
120.01 c 3664
120.15 o 14937
120.15 c 3663
120.60 o 14938
120.60 c 3662
120.74 o 14941
120.74 c 3659
120.87 o 14942
120.87 c 3658
121.00 o 14943
121.00 c 3657
121.14 o 14944
121.14 c 3656
121.28 o 14945
121.28 c 3655
121.40 o 14946
121.40 c 3654
122.05 o 14948
122.05 c 3652
122.69 o 14952
122.69 c 3648
122.95 o 14953
122.95 c 3647
123.07 o 14954
123.07 c 3646
123.21 o 14959
123.21 c 3641
124.12 o 14961
124.12 c 3639
124.24 o 14962
124.24 c 3638
124.49 o 14963
124.49 c 3637
124.64 o 14967
124.64 c 3633
124.77 o 14969
124.77 c 3631
124.88 o 14972
124.89 c 3628
125.03 o 14975
125.03 c 3625
125.15 o 14979
125.15 c 3621
125.28 o 14981
125.28 c 3619
125.39 o 14983
125.39 c 3617
125.85 o 14985
125.85 c 3615
126.07 o 14986
126.07 c 3614
126.20 o 14988
126.20 c 3612
126.31 o 14989
126.31 c 3611
126.43 o 14990
126.43 c 3610
126.56 o 14991
126.56 c 3609
126.68 o 14993
126.68 c 3607
126.80 o 14997
126.80 c 3603
126.92 o 14998
126.92 c 3602
127.03 o 15002
127.03 c 3598
127.16 o 15003
127.16 c 3597
127.29 o 15005
127.29 c 3595
127.43 o 15007
127.43 c 3593
127.55 o 15010
127.55 c 3590
127.82 o 15013
127.82 c 3587
127.95 o 15018
127.95 c 3582
128.07 o 15020
128.07 c 3580
128.19 o 15021
128.19 c 3579
128.93 o 15022
128.93 c 3578
129.05 o 15023
129.05 c 3577
129.18 o 15024
129.18 c 3576
129.33 o 15026
129.33 c 3574
129.48 o 15027
129.48 c 3573
129.56 o 15030
129.56 c 3570
129.70 o 15033
129.70 c 3567
129.84 o 15036
129.84 c 3564
129.97 o 15040
129.97 c 3560
130.10 o 15044
130.10 c 3556
130.22 o 15046
130.23 c 3554
130.48 o 15050
130.48 c 3550
130.76 o 15053
130.76 c 3547
130.92 o 15056
130.92 c 3544
131.36 o 15057
131.36 c 3543
131.51 o 15059
131.51 c 3541
131.68 o 15060
131.68 c 3540
131.99 o 15061
131.99 c 3539
132.13 o 15064
132.13 c 3536
132.27 o 15070
132.27 c 3530
132.42 o 15071
132.42 c 3529
132.56 o 15073
132.56 c 3527
132.70 o 15077
132.70 c 3523
132.86 o 15080
132.86 c 3520
133.00 o 15082
133.00 c 3518
133.43 o 15085
133.43 c 3515
133.57 o 15086
133.57 c 3514
133.71 o 15087
133.71 c 3513
134.12 o 15091
134.12 c 3509
134.27 o 15094
134.27 c 3506
134.41 o 15096
134.41 c 3504
134.71 o 15098
134.71 c 3502
134.84 o 15100
134.84 c 3500
134.99 o 15102
134.99 c 3498
135.13 o 15105
135.13 c 3495
135.26 o 15108
135.26 c 3492
135.72 o 15111
135.72 c 3489
135.84 o 15112
135.84 c 3488
135.98 o 15113
135.98 c 3487
136.26 o 15115
136.26 c 3485
136.40 o 15117
136.40 c 3483
136.57 o 15119
136.57 c 3481
136.80 o 15120
136.80 c 3480
136.94 o 15122
136.94 c 3478
137.08 o 15123
137.08 c 3477
137.65 o 15124
137.65 c 3476
137.80 o 15128
137.80 c 3472
137.95 o 15131
137.95 c 3469
138.10 o 15132
138.10 c 3468
138.24 o 15134
138.25 c 3466
138.67 o 15135
138.67 c 3465
138.96 o 15137
138.96 c 3463
139.10 o 15141
139.10 c 3459
139.25 o 15142
139.25 c 3458
139.40 o 15143
139.40 c 3457
139.55 o 15144
139.55 c 3456
139.72 o 15147
139.72 c 3453
139.86 o 15149
139.86 c 3451
140.01 o 15153
140.01 c 3447
140.16 o 15154
140.16 c 3446
140.30 o 15155
140.30 c 3445
140.45 o 15158
140.45 c 3442
140.58 o 15160
140.58 c 3440
140.85 o 15164
140.85 c 3436
141.15 o 15166
141.15 c 3434
141.44 o 15169
141.44 c 3431
141.72 o 15171
141.72 c 3429
142.02 o 15173
142.02 c 3427
142.16 o 15175
142.16 c 3425
142.29 o 15179
142.29 c 3421
142.45 o 15183
142.45 c 3417
142.61 o 15186
142.61 c 3414
142.90 o 15188
142.90 c 3412
143.06 o 15189
143.06 c 3411
143.20 o 15191
143.20 c 3409
143.36 o 15194
143.36 c 3406
143.96 o 15196
143.96 c 3404
144.12 o 15199
144.12 c 3401
144.28 o 15202
144.28 c 3398
144.43 o 15203
144.43 c 3397
144.59 o 15205
144.59 c 3395
144.75 o 15207
144.75 c 3393
144.91 o 15208
144.91 c 3392
145.07 o 15211
145.07 c 3389
145.23 o 15216
145.23 c 3384
145.39 o 15218
145.39 c 3382
145.54 o 15220
145.54 c 3380
145.87 o 15221
145.87 c 3379
146.02 o 15223
146.02 c 3377
146.18 o 15225
146.18 c 3375
146.33 o 15227
146.33 c 3373
146.66 o 15228
146.66 c 3372
146.81 o 15230
146.81 c 3370
146.96 o 15233
146.96 c 3367
147.11 o 15236
147.11 c 3364
147.27 o 15239
147.27 c 3361
147.43 o 15240
147.43 c 3360
148.35 o 15242
148.35 c 3358
148.51 o 15246
148.51 c 3354
148.68 o 15247
148.68 c 3353
148.84 o 15251
148.84 c 3349
149.02 o 15255
149.02 c 3345
149.86 o 15257
149.86 c 3343
150.03 o 15258
150.03 c 3342
150.84 o 15261
150.84 c 3339
151.17 o 15262
151.17 c 3338
151.34 o 15264
151.34 c 3336
151.67 o 15265
151.67 c 3335
151.84 o 15266
151.84 c 3334
152.00 o 15269
152.00 c 3331
152.17 o 15271
152.17 c 3329
152.36 o 15275
152.36 c 3325
152.73 o 15279
152.73 c 3321
152.92 o 15282
152.92 c 3318
153.41 o 15285
153.41 c 3315
153.58 o 15287
153.58 c 3313
153.74 o 15288
153.74 c 3312
154.08 o 15291
154.08 c 3309
154.22 o 15296
154.22 c 3304
154.39 o 15298
154.39 c 3302
154.54 o 15300
154.54 c 3300
154.87 o 15301
154.87 c 3299
155.04 o 15304
155.04 c 3296
155.22 o 15307
155.22 c 3293
155.39 o 15309
155.39 c 3291
155.56 o 15311
155.56 c 3289
155.71 o 15314
155.71 c 3286
155.87 o 15316
155.87 c 3284
156.03 o 15319
156.03 c 3281
156.20 o 15324
156.20 c 3276
156.38 o 15328
156.38 c 3272
156.55 o 15329
156.55 c 3271
156.90 o 15330
156.90 c 3270
157.24 o 15331
157.24 c 3269
157.43 o 15332
157.43 c 3268
157.60 o 15334
157.60 c 3266
157.76 o 15335
157.76 c 3265
158.28 o 15338
158.28 c 3262
158.63 o 15340
158.63 c 3260
158.82 o 15345
158.82 c 3255
159.00 o 15350
159.00 c 3250
159.18 o 15352
159.18 c 3248
159.36 o 15353
159.36 c 3247
159.54 o 15354
159.54 c 3246
159.72 o 15356
159.72 c 3244
159.88 o 15358
159.88 c 3242
160.07 o 15360
160.07 c 3240
160.25 o 15364
160.25 c 3236
160.44 o 15367
160.44 c 3233
160.63 o 15370
160.63 c 3230
160.81 o 15371
160.81 c 3229
161.00 o 15377
161.00 c 3223
161.18 o 15378
161.18 c 3222
161.36 o 15382
161.36 c 3218
161.53 o 15384
161.53 c 3216
161.72 o 15387
161.72 c 3213
161.91 o 15390
161.91 c 3210
162.09 o 15392
162.09 c 3208
162.28 o 15394
162.28 c 3206
162.46 o 15396
162.46 c 3204
162.64 o 15397
162.64 c 3203
162.83 o 15398
162.83 c 3202
163.01 o 15399
163.01 c 3201
164.13 o 15401
164.13 c 3199
164.52 o 15404
164.52 c 3196
164.70 o 15406
164.70 c 3194
164.89 o 15408
164.89 c 3192
165.08 o 15409
165.08 c 3191
165.86 o 15415
165.86 c 3185
166.05 o 15416
166.05 c 3184
166.62 o 15418
166.62 c 3182
166.80 o 15420
166.80 c 3180
166.99 o 15421
166.99 c 3179
167.18 o 15424
167.18 c 3176
167.55 o 15426
167.55 c 3174
167.75 o 15428
167.75 c 3172
167.95 o 15430
167.95 c 3170
168.32 o 15432
168.32 c 3168
168.51 o 15433
168.51 c 3167
168.72 o 15435
168.72 c 3165
169.11 o 15437
169.11 c 3163
169.31 o 15439
169.31 c 3161
169.68 o 15443
169.68 c 3157
170.08 o 15447
170.08 c 3153
170.27 o 15451
170.27 c 3149
170.66 o 15453
170.66 c 3147
170.86 o 15455
170.86 c 3145
171.25 o 15458
171.25 c 3142
171.45 o 15461
171.45 c 3139
172.06 o 15464
172.06 c 3136
172.25 o 15468
172.25 c 3132
172.44 o 15469
172.44 c 3131
173.20 o 15472
173.20 c 3128
173.39 o 15476
173.39 c 3124
173.56 o 15479
173.56 c 3121
173.91 o 15480
173.91 c 3120
174.10 o 15482
174.10 c 3118
174.29 o 15485
174.29 c 3115
174.48 o 15488
174.48 c 3112
175.20 o 15489
175.20 c 3111
175.37 o 15491
175.37 c 3109
175.56 o 15492
175.56 c 3108
175.92 o 15495
175.92 c 3105
176.09 o 15496
176.09 c 3104
176.28 o 15498
176.28 c 3102
176.46 o 15501
176.46 c 3099
176.66 o 15504
176.66 c 3096
177.40 o 15507
177.40 c 3093
177.59 o 15509
177.59 c 3091
177.80 o 15511
177.80 c 3089
177.98 o 15516
177.98 c 3084
178.37 o 15517
178.37 c 3083
179.16 o 15521
179.16 c 3079
179.59 o 15522
179.59 c 3078
179.78 o 15523
179.78 c 3077
179.97 o 15526
179.97 c 3074
180.18 o 15527
180.18 c 3073
180.38 o 15529
180.38 c 3071
180.58 o 15531
180.58 c 3069
180.79 o 15532
180.79 c 3068
180.98 o 15533
180.98 c 3067
181.18 o 15536
181.18 c 3064
181.57 o 15539
181.57 c 3061
181.96 o 15542
181.96 c 3058
182.17 o 15544
182.17 c 3056
183.98 o 15547
183.98 c 3053
184.58 o 15550
184.58 c 3050
184.77 o 15553
184.77 c 3047
184.96 o 15554
184.96 c 3046
185.37 o 15556
185.37 c 3044
185.56 o 15557
185.56 c 3043
185.76 o 15559
185.76 c 3041
185.97 o 15562
185.97 c 3038
186.17 o 15564
186.17 c 3036
186.58 o 15566
186.58 c 3034
186.79 o 15567
186.79 c 3033
187.22 o 15569
187.22 c 3031
187.43 o 15570
187.43 c 3030
187.64 o 15571
187.64 c 3029
187.86 o 15575
187.86 c 3025
188.10 o 15578
188.10 c 3022
188.30 o 15582
188.30 c 3018
188.71 o 15587
188.71 c 3013
189.15 o 15588
189.15 c 3012
189.37 o 15590
189.37 c 3010
189.57 o 15591
189.57 c 3009
189.78 o 15592
189.78 c 3008
191.61 o 15593
191.61 c 3007
191.82 o 15595
191.82 c 3005
192.02 o 15596
192.02 c 3004
192.23 o 15598
192.23 c 3002
192.62 o 15599
192.62 c 3001
193.66 o 15601
193.66 c 2999
193.86 o 15602
193.86 c 2998
194.06 o 15605
194.06 c 2995
194.26 o 15606
194.26 c 2994
194.47 o 15607
194.47 c 2993
194.67 o 15609
194.67 c 2991
194.89 o 15611
194.89 c 2989
195.11 o 15616
195.11 c 2984
195.23 o 15619
195.23 c 2981
195.44 o 15621
195.44 c 2979
195.86 o 15624
195.86 c 2976
196.26 o 15626
196.26 c 2974
196.87 o 15627
196.87 c 2973
197.22 o 15630
197.22 c 2970
197.43 o 15631
197.43 c 2969
198.00 o 15633
198.00 c 2967
198.42 o 15636
198.42 c 2964
198.62 o 15639
198.62 c 2961
199.23 o 15640
199.23 c 2960
199.45 o 15642
199.45 c 2958
199.65 o 15643
199.65 c 2957
199.85 o 15644
199.85 c 2956
200.04 o 15647
200.04 c 2953
200.25 o 15649
200.25 c 2951
200.46 o 15650
200.46 c 2950
200.67 o 15655
200.67 c 2945
200.85 o 15656
200.85 c 2944
201.05 o 15658
201.05 c 2942
201.25 o 15659
201.25 c 2941
201.64 o 15661
201.64 c 2939
201.83 o 15662
201.83 c 2938
202.02 o 15665
202.02 c 2935
202.40 o 15666
202.40 c 2934
202.59 o 15668
202.59 c 2932
202.78 o 15669
202.78 c 2931
202.98 o 15671
202.98 c 2929
203.38 o 15672
203.38 c 2928
203.77 o 15673
203.77 c 2927
204.18 o 15674
204.18 c 2926
204.59 o 15677
204.59 c 2923
204.78 o 15679
204.78 c 2921
204.86 o 15680
204.86 c 2920
205.06 o 15681
205.06 c 2919
205.26 o 15682
205.26 c 2918
205.46 o 15686
205.46 c 2914
205.66 o 15687
205.66 c 2913
206.28 o 15688
206.28 c 2912
206.47 o 15690
206.47 c 2910
206.90 o 15691
206.90 c 2909
207.11 o 15694
207.11 c 2906
207.29 o 15696
207.29 c 2904
207.48 o 15699
207.48 c 2901
207.87 o 15701
207.87 c 2899
208.29 o 15702
208.29 c 2898
208.48 o 15705
208.48 c 2895
210.81 o 15708
210.81 c 2892
211.22 o 15712
211.22 c 2888
211.84 o 15715
211.84 c 2885
212.03 o 15717
212.03 c 2883
212.24 o 15718
212.24 c 2882
212.65 o 15719
212.65 c 2881
213.06 o 15721
213.06 c 2879
213.27 o 15723
213.27 c 2877
213.47 o 15727
213.47 c 2873
214.33 o 15728
214.33 c 2872
214.53 o 15730
214.53 c 2870
215.17 o 15731
215.17 c 2869
215.61 o 15732
215.61 c 2868
215.82 o 15735
215.82 c 2865
216.48 o 15736
216.48 c 2864
216.93 o 15738
216.93 c 2862
217.16 o 15740
217.16 c 2860
217.84 o 15743
217.84 c 2857
218.06 o 15744
218.06 c 2856
218.29 o 15747
218.29 c 2853
218.51 o 15752
218.51 c 2848
218.96 o 15755
218.96 c 2845
219.19 o 15757
219.19 c 2843
219.42 o 15758
219.42 c 2842
219.65 o 15759
219.65 c 2841
219.86 o 15762
219.86 c 2838
220.09 o 15763
220.09 c 2837
220.30 o 15764
220.30 c 2836
220.52 o 15766
220.52 c 2834
220.74 o 15769
220.74 c 2831
220.88 o 15770
220.88 c 2830
221.09 o 15772
221.09 c 2828
221.31 o 15774
221.31 c 2826
221.52 o 15776
221.52 c 2824
222.35 o 15778
222.35 c 2822
222.76 o 15779
222.76 c 2821
222.96 o 15782
222.96 c 2818
223.18 o 15783
223.18 c 2817
223.80 o 15784
223.80 c 2816
224.47 o 15785
224.47 c 2815
224.91 o 15787
224.91 c 2813
225.60 o 15789
225.60 c 2811
225.83 o 15791
225.83 c 2809
226.53 o 15793
226.53 c 2807
226.76 o 15795
226.76 c 2805
227.24 o 15796
227.24 c 2804
227.47 o 15797
227.47 c 2803
228.21 o 15799
228.21 c 2801
229.14 o 15801
229.14 c 2799
229.64 o 15802
229.64 c 2798
229.89 o 15803
229.89 c 2797
230.13 o 15804
230.13 c 2796
230.38 o 15805
230.38 c 2795
230.63 o 15808
230.63 c 2792
230.79 o 15809
230.79 c 2791
231.03 o 15810
231.03 c 2790
231.51 o 15812
231.51 c 2788
231.76 o 15816
231.76 c 2784
231.86 o 15819
231.86 c 2781
233.84 o 15821
233.84 c 2779
234.09 o 15826
234.09 c 2774
234.35 o 15827
234.35 c 2773
234.60 o 15829
234.60 c 2771
235.11 o 15831
235.11 c 2769
235.60 o 15832
235.60 c 2768
235.85 o 15834
235.85 c 2766
236.12 o 15835
236.12 c 2765
236.38 o 15837
236.38 c 2763
236.64 o 15838
236.64 c 2762
236.89 o 15841
236.89 c 2759
237.14 o 15842
237.14 c 2758
237.88 o 15845
237.88 c 2755
238.14 o 15847
238.14 c 2753
239.14 o 15849
239.14 c 2751
239.38 o 15852
239.38 c 2748
240.14 o 15853
240.14 c 2747
241.13 o 15854
241.13 c 2746
241.61 o 15857
241.61 c 2743
241.85 o 15860
241.85 c 2740
242.08 o 15863
242.08 c 2737
242.58 o 15864
242.58 c 2736
242.84 o 15866
242.84 c 2734
243.09 o 15867
243.09 c 2733
243.33 o 15868
243.33 c 2732
243.60 o 15871
243.60 c 2729
244.10 o 15872
244.10 c 2728
244.56 o 15874
244.56 c 2726
244.82 o 15876
244.82 c 2724
245.31 o 15879
245.31 c 2721
245.57 o 15881
245.57 c 2719
247.57 o 15883
247.57 c 2717
248.33 o 15885
248.33 c 2715
248.58 o 15886
248.58 c 2714
248.84 o 15887
248.84 c 2713
249.10 o 15890
249.10 c 2710
249.37 o 15892
249.37 c 2708
250.76 o 15893
250.76 c 2707
251.05 o 15895
251.05 c 2705
251.33 o 15896
251.33 c 2704
251.87 o 15897
251.87 c 2703
252.14 o 15900
252.14 c 2700
252.70 o 15901
252.70 c 2699
253.24 o 15902
253.24 c 2698
253.52 o 15904
253.52 c 2696
253.79 o 15906
253.79 c 2694
254.06 o 15908
254.06 c 2692
255.12 o 15910
255.12 c 2690
255.39 o 15911
255.39 c 2689
255.66 o 15913
255.66 c 2687
256.72 o 15914
256.72 c 2686
256.98 o 15915
256.98 c 2685
257.25 o 15916
257.25 c 2684
257.52 o 15917
257.52 c 2683
257.88 o 15918
257.88 c 2682
258.41 o 15920
258.41 c 2680
259.45 o 15922
259.45 c 2678
259.96 o 15927
259.96 c 2673
260.18 o 15930
260.18 c 2670
261.24 o 15931
261.24 c 2669
261.78 o 15932
261.78 c 2668
262.04 o 15934
262.04 c 2666
262.30 o 15936
262.30 c 2664
262.56 o 15938
262.56 c 2662
262.82 o 15941
262.82 c 2659
263.07 o 15945
263.07 c 2655
264.38 o 15946
264.38 c 2654
264.64 o 15948
264.64 c 2652
265.44 o 15949
265.44 c 2651
265.71 o 15950
265.71 c 2650
265.97 o 15953
265.97 c 2647
266.53 o 15954
266.53 c 2646
267.62 o 15956
267.62 c 2644
268.38 o 15957
268.38 c 2643
269.45 o 15959
269.45 c 2641
269.71 o 15961
269.71 c 2639
270.53 o 15962
270.53 c 2638
271.06 o 15965
271.06 c 2635
271.84 o 15967
271.84 c 2633
272.36 o 15970
272.36 c 2630
272.62 o 15972
272.62 c 2628
272.90 o 15973
272.90 c 2627
273.16 o 15974
273.16 c 2626
273.44 o 15975
273.44 c 2625
273.70 o 15977
273.70 c 2623
273.97 o 15978
273.97 c 2622
274.76 o 15979
274.76 c 2621
275.04 o 15981
275.04 c 2619
275.32 o 15986
275.32 c 2614
275.83 o 15987
275.83 c 2613
276.10 o 15988
276.10 c 2612
276.37 o 15989
276.37 c 2611
276.88 o 15990
276.88 c 2610
277.13 o 15991
277.13 c 2609
277.39 o 15997
277.39 c 2603
277.64 o 15999
277.64 c 2601
277.90 o 16002
277.90 c 2598
278.16 o 16004
278.16 c 2596
278.41 o 16005
278.41 c 2595
278.67 o 16007
278.67 c 2593
278.92 o 16008
278.92 c 2592
279.72 o 16009
279.72 c 2591
279.98 o 16011
279.98 c 2589
280.79 o 16012
280.79 c 2588
281.05 o 16015
281.05 c 2585
283.32 o 16016
283.32 c 2584
285.54 o 16017
285.54 c 2583
285.82 o 16021
285.82 c 2579
286.92 o 16024
286.92 c 2576
287.95 o 16028
287.95 c 2572
289.00 o 16031
289.00 c 2569
289.28 o 16033
289.28 c 2567
289.55 o 16034
289.55 c 2566
290.95 o 16036
290.95 c 2564
291.10 o 16038
291.10 c 2562
291.37 o 16039
291.37 c 2561
291.66 o 16041
291.66 c 2559
291.93 o 16043
291.93 c 2557
292.21 o 16046
292.21 c 2554
292.49 o 16047
292.49 c 2553
292.79 o 16048
292.79 c 2552
293.07 o 16051
293.07 c 2549
293.23 o 16056
293.23 c 2544
293.52 o 16059
293.52 c 2541
293.81 o 16060
293.81 c 2540
296.43 o 16061
296.43 c 2539
296.71 o 16062
296.71 c 2538
297.01 o 16063
297.01 c 2537
297.61 o 16065
297.61 c 2535
299.69 o 16067
299.69 c 2533
300.00 o 16068
300.00 c 2532
300.31 o 16069
300.31 c 2531
300.91 o 16071
300.91 c 2529
301.20 o 16075
301.20 c 2525
301.45 o 16076
301.45 c 2524
302.06 o 16077
302.06 c 2523
302.64 o 16080
302.64 c 2520
302.93 o 16082
302.93 c 2518
303.22 o 16083
303.22 c 2517
304.40 o 16084
304.40 c 2516
304.70 o 16085
304.70 c 2515
305.28 o 16086
305.28 c 2514
305.57 o 16088
305.57 c 2512
307.64 o 16090
307.64 c 2510
307.95 o 16093
307.95 c 2507
308.85 o 16097
308.85 c 2503
309.15 o 16098
309.15 c 2502
309.44 o 16100
309.44 c 2500
310.02 o 16102
310.02 c 2498
310.32 o 16104
310.32 c 2496
311.48 o 16106
311.48 c 2494
311.85 o 16108
311.85 c 2492
312.14 o 16109
312.14 c 2491
312.42 o 16111
312.42 c 2489
312.70 o 16112
312.70 c 2488
312.99 o 16113
312.99 c 2487
313.86 o 16115
313.86 c 2485
314.15 o 16117
314.15 c 2483
314.27 o 16121
314.27 c 2479
314.55 o 16123
314.55 c 2477
315.15 o 16124
315.15 c 2476
317.89 o 16125
317.89 c 2475
318.17 o 16126
318.17 c 2474
318.69 o 16127
318.69 c 2473
318.96 o 16128
318.96 c 2472
319.18 o 16130
319.18 c 2470
319.45 o 16132
319.45 c 2468
319.72 o 16134
319.72 c 2466
319.98 o 16137
319.98 c 2463
320.24 o 16139
320.24 c 2461
320.51 o 16140
320.51 c 2460
320.78 o 16143
320.78 c 2457
321.05 o 16144
321.05 c 2456
322.16 o 16145
322.16 c 2455
322.72 o 16147
322.72 c 2453
322.91 o 16150
322.91 c 2450
323.14 o 16152
323.14 c 2448
323.70 o 16155
323.70 c 2445
323.98 o 16157
323.98 c 2443
324.53 o 16159
324.53 c 2441
325.09 o 16163
325.09 c 2437
325.37 o 16165
325.37 c 2435
325.65 o 16166
325.65 c 2434
325.94 o 16170
325.94 c 2430
326.78 o 16172
326.78 c 2428
327.06 o 16173
327.06 c 2427
327.63 o 16174
327.63 c 2426
327.91 o 16178
327.91 c 2422
328.20 o 16181
328.20 c 2419
328.77 o 16183
328.77 c 2417
329.03 o 16186
329.04 c 2414
331.01 o 16187
331.01 c 2413
331.58 o 16190
331.58 c 2410
331.87 o 16191
331.87 c 2409
332.15 o 16192
332.15 c 2408
332.42 o 16193
332.42 c 2407
333.00 o 16196
333.00 c 2404
333.28 o 16198
333.28 c 2402
333.86 o 16200
333.86 c 2400
334.95 o 16201
334.95 c 2399
335.23 o 16205
335.23 c 2395
335.49 o 16206
335.49 c 2394
335.75 o 16207
335.75 c 2393
336.03 o 16208
336.03 c 2392
336.58 o 16211
336.58 c 2389
336.84 o 16212
336.84 c 2388
337.10 o 16213
337.10 c 2387
337.36 o 16215
337.36 c 2385
337.62 o 16216
337.62 c 2384
340.28 o 16217
340.28 c 2383
340.83 o 16219
340.83 c 2381
341.60 o 16220
341.60 c 2380
341.88 o 16223
341.88 c 2377
342.15 o 16226
342.15 c 2374
343.44 o 16228
343.44 c 2372
343.94 o 16229
343.94 c 2371
344.47 o 16231
344.47 c 2369
346.24 o 16232
346.24 c 2368
346.52 o 16234
346.52 c 2366
350.12 o 16239
350.12 c 2361
350.87 o 16240
350.87 c 2360
351.40 o 16241
351.40 c 2359
351.95 o 16242
351.95 c 2358
352.23 o 16243
352.23 c 2357
353.62 o 16244
353.62 c 2356
353.90 o 16246
353.90 c 2354
354.18 o 16247
354.18 c 2353
354.46 o 16248
354.46 c 2352
354.75 o 16250
354.75 c 2350
355.03 o 16252
355.03 c 2348
355.32 o 16253
355.32 c 2347
356.16 o 16254
356.16 c 2346
356.45 o 16256
356.45 c 2344
357.29 o 16258
357.29 c 2342
357.57 o 16259
357.57 c 2341
357.85 o 16260
357.85 c 2340
358.13 o 16262
358.13 c 2338
358.41 o 16264
358.41 c 2336
358.96 o 16266
358.96 c 2334
359.25 o 16269
359.25 c 2331
359.54 o 16272
359.54 c 2328
359.82 o 16273
359.82 c 2327
363.04 o 16274
363.04 c 2326
363.34 o 16275
363.34 c 2325
363.93 o 16278
363.93 c 2322
364.55 o 16279
364.55 c 2321
365.15 o 16282
365.15 c 2318
365.45 o 16284
365.45 c 2316
366.06 o 16285
366.06 c 2315
366.66 o 16287
366.66 c 2313
367.64 o 16288
367.64 c 2312
367.97 o 16290
367.97 c 2310
368.24 o 16292
368.24 c 2308
368.57 o 16295
368.57 c 2305
368.89 o 16297
368.89 c 2303
369.93 o 16298
369.93 c 2302
370.29 o 16299
370.29 c 2301
375.72 o 16300
375.72 c 2300
376.06 o 16302
376.06 c 2298
376.40 o 16303
376.40 c 2297
376.70 o 16304
376.70 c 2296
378.04 o 16305
378.04 c 2295
378.38 o 16306
378.38 c 2294
378.70 o 16309
378.70 c 2291
379.04 o 16310
379.04 c 2290
379.37 o 16311
379.37 c 2289
379.68 o 16313
379.68 c 2287
380.55 o 16314
380.55 c 2286
380.87 o 16315
380.87 c 2285
381.51 o 16319
381.51 c 2281
381.83 o 16320
381.83 c 2280
382.46 o 16323
382.46 c 2277
382.80 o 16324
382.80 c 2276
383.01 o 16326
383.01 c 2274
385.56 o 16327
385.56 c 2273
385.88 o 16329
385.88 c 2271
386.52 o 16331
386.52 c 2269
387.49 o 16332
387.49 c 2268
388.12 o 16334
388.12 c 2266
388.46 o 16335
388.46 c 2265
388.79 o 16336
388.79 c 2264
390.08 o 16337
390.08 c 2263
390.27 o 16339
390.27 c 2261
391.88 o 16340
391.88 c 2260
392.22 o 16341
392.22 c 2259
393.53 o 16344
393.53 c 2256
395.91 o 16345
395.91 c 2255
396.63 o 16346
396.63 c 2254
397.70 o 16348
397.70 c 2252
397.91 o 16350
397.91 c 2250
398.66 o 16352
398.66 c 2248
399.02 o 16353
399.02 c 2247
400.86 o 16355
400.86 c 2245
401.25 o 16356
401.25 c 2244
402.00 o 16357
402.00 c 2243
402.38 o 16361
402.38 c 2239
404.19 o 16362
404.19 c 2238
404.93 o 16363
404.93 c 2237
405.16 o 16365
405.16 c 2235
405.75 o 16366
405.75 c 2234
406.10 o 16367
406.10 c 2233
406.46 o 16368
406.46 c 2232
407.05 o 16371
407.05 c 2229
408.41 o 16372
408.41 c 2228
409.99 o 16374
409.99 c 2226
411.41 o 16375
411.41 c 2225
412.50 o 16376
412.50 c 2224
413.22 o 16380
413.22 c 2220
413.57 o 16382
413.57 c 2218
413.93 o 16383
413.93 c 2217
423.30 o 16384
423.30 c 2216
424.45 o 16386
424.45 c 2214
424.84 o 16387
424.84 c 2213
425.21 o 16388
425.21 c 2212
426.35 o 16389
426.35 c 2211
427.12 o 16390
427.12 c 2210
430.13 o 16392
430.13 c 2208
430.53 o 16393
430.53 c 2207
431.30 o 16394
431.30 c 2206
431.87 o 16396
431.87 c 2204
432.24 o 16397
432.24 c 2203
432.99 o 16398
432.99 c 2202
433.34 o 16399
433.34 c 2201
433.73 o 16400
433.73 c 2200
434.08 o 16401
434.08 c 2199
434.86 o 16403
434.86 c 2197
435.24 o 16406
435.24 c 2194
435.61 o 16407
435.61 c 2193
440.35 o 16409
440.35 c 2191
440.78 o 16410
440.78 c 2190
442.39 o 16411
442.39 c 2189
442.81 o 16412
442.81 c 2188
444.06 o 16414
444.06 c 2186
447.50 o 16416
447.50 c 2184
458.08 o 16418
458.08 c 2182
460.26 o 16420
460.26 c 2180
460.70 o 16423
460.70 c 2177
461.45 o 16424
461.45 c 2176
469.15 o 16425
469.15 c 2175
469.58 o 16426
469.58 c 2174
470.43 o 16427
470.43 c 2173
471.28 o 16428
471.28 c 2172
471.72 o 16430
471.72 c 2170
474.65 o 16433
474.65 c 2167
475.07 o 16435
475.07 c 2165
475.91 o 16437
475.91 c 2163
476.33 o 16439
476.33 c 2161
477.59 o 16440
477.59 c 2160
478.88 o 16441
478.88 c 2159
479.32 o 16442
479.32 c 2158
479.76 o 16443
479.76 c 2157
481.45 o 16444
481.45 c 2156
481.87 o 16446
481.87 c 2154
482.10 o 16448
482.10 c 2152
482.87 o 16450
482.87 c 2150
484.56 o 16452
484.56 c 2148
485.00 o 16454
485.00 c 2146
485.87 o 16455
485.87 c 2145
487.57 o 16457
487.57 c 2143
488.87 o 16458
488.87 c 2142
489.30 o 16459
489.30 c 2141
489.74 o 16460
489.74 c 2140
490.15 o 16462
490.15 c 2138
490.59 o 16465
490.59 c 2135
492.75 o 16466
492.75 c 2134
493.19 o 16468
493.19 c 2132
494.06 o 16469
494.06 c 2131
494.92 o 16471
494.92 c 2129
495.36 o 16476
495.36 c 2124
496.56 o 16478
496.56 c 2122
497.32 o 16480
497.32 c 2120
498.64 o 16483
498.64 c 2117
499.24 o 16485
499.24 c 2115
499.52 o 16486
499.52 c 2114
500.40 o 16487
500.40 c 2113
500.83 o 16488
500.83 c 2112
501.25 o 16490
501.25 c 2110
502.55 o 16491
502.55 c 2109
503.89 o 16492
503.89 c 2108
504.23 o 16493
504.23 c 2107
504.67 o 16494
504.67 c 2106
505.12 o 16495
505.12 c 2105
506.02 o 16498
506.02 c 2102
507.38 o 16500
507.38 c 2100
507.83 o 16501
507.83 c 2099
508.27 o 16504
508.27 c 2096
511.98 o 16505
511.98 c 2095
513.73 o 16508
513.73 c 2092
514.60 o 16509
514.60 c 2091
516.36 o 16510
516.36 c 2090
516.80 o 16511
516.80 c 2089
517.23 o 16514
517.23 c 2086
517.68 o 16515
517.68 c 2085
518.08 o 16517
518.08 c 2083
519.83 o 16518
519.83 c 2082
520.23 o 16519
520.23 c 2081
522.70 o 16522
522.70 c 2078
524.44 o 16523
524.44 c 2077
524.88 o 16526
524.88 c 2074
525.32 o 16527
525.32 c 2073
525.95 o 16531
525.95 c 2069
526.42 o 16533
526.42 c 2067
526.85 o 16534
526.85 c 2066
527.30 o 16536
527.30 c 2064
527.74 o 16538
527.74 c 2062
528.62 o 16539
528.62 c 2061
529.49 o 16540
529.49 c 2060
529.92 o 16541
529.92 c 2059
530.80 o 16543
530.80 c 2057
531.24 o 16547
531.24 c 2053
535.64 o 16548
535.64 c 2052
536.08 o 16550
536.08 c 2050
536.96 o 16553
536.96 c 2047
537.39 o 16555
537.39 c 2045
537.82 o 16556
537.82 c 2044
538.68 o 16557
538.68 c 2043
540.16 o 16558
540.16 c 2042
541.03 o 16559
541.03 c 2041
541.47 o 16563
541.47 c 2037
541.91 o 16564
541.91 c 2036
542.78 o 16565
542.78 c 2035
543.21 o 16566
543.21 c 2034
543.45 o 16567
543.45 c 2033
543.87 o 16568
543.87 c 2032
545.46 o 16570
545.46 c 2030
552.32 o 16572
552.32 c 2028
553.64 o 16575
553.64 c 2025
554.96 o 16577
554.96 c 2023
555.42 o 16578
555.42 c 2022
555.87 o 16579
555.87 c 2021
556.31 o 16584
556.31 c 2016
556.62 o 16586
556.62 c 2014
557.93 o 16590
557.93 c 2010
558.38 o 16592
558.38 c 2008
559.26 o 16593
559.26 c 2007
560.61 o 16594
560.61 c 2006
561.06 o 16596
561.06 c 2004
562.40 o 16597
562.40 c 2003
562.86 o 16598
562.86 c 2002
568.12 o 16599
568.12 c 2001
568.55 o 16601
568.55 c 1999
570.75 o 16603
570.75 c 1997
571.19 o 16605
571.19 c 1995
572.91 o 16606
572.91 c 1994
575.95 o 16608
575.95 c 1992
576.20 o 16610
576.20 c 1990
576.65 o 16611
576.65 c 1989
577.07 o 16613
577.07 c 1987
583.69 o 16614
583.69 c 1986
584.06 o 16617
584.06 c 1983
584.48 o 16622
584.48 c 1978
584.86 o 16623
584.86 c 1977
585.70 o 16624
585.70 c 1976
585.95 o 16626
585.95 c 1974
586.37 o 16627
586.37 c 1973
588.45 o 16628
588.45 c 1972
588.89 o 16631
588.89 c 1969
589.65 o 16632
589.65 c 1968
590.05 o 16633
590.05 c 1967
590.51 o 16636
590.51 c 1964
590.91 o 16639
590.91 c 1961
591.32 o 16640
591.32 c 1960
592.17 o 16642
592.17 c 1958
592.54 o 16644
592.54 c 1956
592.95 o 16646
592.95 c 1954
593.38 o 16647
593.38 c 1953
594.94 o 16649
594.94 c 1951
595.34 o 16650
595.34 c 1950
596.98 o 16654
596.99 c 1946
597.32 o 16655
597.32 c 1945
597.69 o 16657
597.69 c 1943
598.10 o 16659
598.10 c 1941
598.50 o 16660
598.50 c 1940
601.42 o 16662
601.42 c 1938
603.16 o 16663
603.16 c 1937
603.62 o 16665
603.62 c 1935
604.86 o 16666
604.86 c 1934
605.73 o 16667
605.73 c 1933
606.16 o 16669
606.16 c 1931
606.59 o 16672
606.59 c 1928
607.93 o 16673
607.93 c 1927
608.38 o 16674
608.38 c 1926
609.27 o 16675
609.27 c 1925
609.52 o 16678
609.52 c 1922
613.16 o 16679
613.16 c 1921
613.39 o 16680
613.39 c 1920
613.80 o 16682
613.80 c 1918
614.11 o 16683
614.11 c 1917
614.87 o 16685
614.87 c 1915
616.51 o 16687
616.51 c 1913
616.93 o 16688
616.93 c 1912
617.36 o 16690
617.36 c 1910
617.80 o 16691
617.80 c 1909
618.23 o 16692
618.23 c 1908
619.10 o 16693
619.10 c 1907
619.53 o 16694
619.53 c 1906
620.42 o 16695
620.42 c 1905
620.85 o 16696
620.85 c 1904
621.62 o 16698
621.62 c 1902
622.05 o 16699
622.05 c 1901
622.45 o 16700
622.45 c 1900
623.32 o 16701
623.32 c 1899
623.74 o 16702
623.74 c 1898
624.18 o 16704
624.18 c 1896
624.42 o 16706
624.42 c 1894
624.84 o 16708
624.84 c 1892
625.97 o 16709
625.97 c 1891
626.37 o 16711
626.37 c 1889
627.60 o 16715
627.60 c 1885
628.44 o 16716
628.44 c 1884
628.88 o 16717
628.88 c 1883
629.68 o 16720
629.68 c 1880
630.48 o 16721
630.48 c 1879
632.23 o 16724
632.23 c 1876
632.61 o 16727
632.61 c 1873
633.03 o 16728
633.03 c 1872
633.11 o 16730
633.11 c 1870
633.54 o 16732
633.54 c 1868
633.94 o 16733
633.94 c 1867
634.37 o 16734
634.37 c 1866
634.79 o 16735
634.79 c 1865
635.12 o 16738
635.12 c 1862
635.53 o 16739
635.53 c 1861
635.95 o 16740
635.95 c 1860
636.37 o 16742
636.37 c 1858
636.81 o 16743
636.81 c 1857
638.09 o 16744
638.09 c 1856
638.29 o 16746
638.29 c 1854
638.69 o 16749
638.69 c 1851
641.25 o 16750
641.25 c 1850
641.68 o 16751
641.68 c 1849
642.11 o 16752
642.11 c 1848
647.33 o 16753
647.33 c 1847
648.64 o 16754
648.64 c 1846
649.07 o 16755
649.07 c 1845
649.49 o 16757
649.49 c 1843
649.95 o 16758
649.95 c 1842
650.38 o 16759
650.38 c 1841
650.75 o 16760
650.75 c 1840
651.19 o 16761
651.19 c 1839
651.63 o 16762
651.63 c 1838
652.06 o 16763
652.06 c 1837
653.63 o 16765
653.63 c 1835
656.77 o 16766
656.77 c 1834
657.65 o 16767
657.65 c 1833
658.56 o 16768
658.56 c 1832
659.01 o 16770
659.01 c 1830
659.46 o 16771
659.46 c 1829
659.93 o 16773
659.93 c 1827
661.16 o 16775
661.16 c 1825
661.61 o 16777
661.61 c 1823
664.38 o 16778
664.38 c 1822
666.22 o 16780
666.22 c 1820
666.67 o 16782
666.67 c 1818
667.83 o 16784
667.83 c 1816
668.09 o 16788
668.09 c 1812
668.55 o 16789
668.56 c 1811
669.00 o 16791
669.00 c 1809
672.99 o 16794
672.99 c 1806
673.46 o 16795
673.46 c 1805
673.93 o 16796
673.93 c 1804
674.82 o 16797
674.82 c 1803
680.19 o 16798
680.19 c 1802
681.11 o 16801
681.11 c 1799
683.33 o 16802
683.33 c 1798
685.53 o 16803
685.53 c 1797
686.89 o 16804
686.89 c 1796
687.30 o 16805
687.30 c 1795
687.77 o 16806
687.77 c 1794
690.04 o 16807
690.04 c 1793
690.52 o 16808
690.52 c 1792
691.44 o 16809
691.44 c 1791
701.44 o 16810
701.44 c 1790
714.31 o 16811
714.31 c 1789
714.76 o 16812
714.76 c 1788
715.24 o 16816
715.24 c 1784
715.68 o 16818
715.68 c 1782
716.14 o 16819
716.14 c 1781
716.59 o 16821
716.59 c 1779
717.05 o 16822
717.05 c 1778
717.50 o 16824
717.50 c 1776
717.96 o 16825
717.96 c 1775
721.16 o 16827
721.16 c 1773
722.09 o 16830
722.09 c 1770
724.47 o 16831
724.47 c 1769
724.96 o 16832
724.96 c 1768
725.44 o 16833
725.44 c 1767
725.92 o 16834
725.92 c 1766
726.41 o 16835
726.41 c 1765
727.85 o 16837
727.85 c 1763
728.82 o 16840
728.82 c 1760
732.92 o 16842
732.92 c 1758
737.60 o 16843
737.60 c 1757
738.52 o 16844
738.52 c 1756
742.02 o 16845
742.02 c 1755
742.51 o 16847
742.51 c 1753
742.89 o 16850
742.89 c 1750
743.87 o 16851
743.87 c 1749
744.35 o 16852
744.35 c 1748
744.84 o 16853
744.84 c 1747
745.84 o 16854
745.84 c 1746
763.45 o 16855
763.45 c 1745
763.96 o 16856
763.96 c 1744
764.47 o 16857
764.47 c 1743
764.95 o 16858
764.95 c 1742
767.56 o 16860
767.56 c 1740
768.61 o 16863
768.61 c 1737
769.15 o 16864
769.15 c 1736
770.50 o 16865
770.50 c 1735
772.58 o 16867
772.58 c 1733
775.02 o 16868
775.02 c 1732
775.56 o 16870
775.56 c 1730
776.63 o 16871
776.63 c 1729
777.06 o 16874
777.06 c 1726
777.60 o 16876
777.60 c 1724
778.36 o 16877
778.36 c 1723
779.92 o 16878
779.92 c 1722
785.84 o 16880
785.84 c 1720
786.35 o 16882
786.35 c 1718
787.38 o 16884
787.38 c 1716
788.40 o 16885
788.40 c 1715
788.93 o 16887
788.93 c 1713
792.02 o 16888
792.02 c 1712
795.87 o 16889
795.87 c 1711
796.39 o 16890
796.39 c 1710
796.92 o 16892
796.92 c 1708
797.44 o 16894
797.44 c 1706
797.95 o 16895
797.95 c 1705
799.36 o 16896
799.36 c 1704
799.87 o 16897
799.87 c 1703
800.39 o 16898
800.39 c 1702
800.91 o 16900
800.91 c 1700
801.42 o 16902
801.42 c 1698
803.49 o 16903
803.49 c 1697
805.50 o 16906
805.50 c 1694
806.03 o 16907
806.03 c 1693
806.57 o 16909
806.57 c 1691
809.54 o 16912
809.54 c 1688
811.55 o 16914
811.55 c 1686
812.05 o 16918
812.05 c 1682
813.57 o 16921
813.57 c 1679
813.87 o 16922
813.87 c 1678
814.88 o 16924
814.88 c 1676
815.91 o 16926
815.91 c 1674
817.43 o 16927
817.43 c 1673
817.92 o 16929
817.93 c 1671
819.44 o 16932
819.44 c 1668
819.95 o 16933
819.95 c 1667
820.46 o 16936
820.46 c 1664
820.87 o 16937
820.87 c 1663
821.34 o 16938
821.34 c 1662
821.83 o 16939
821.83 c 1661
824.87 o 16942
824.87 c 1658
825.38 o 16943
825.38 c 1657
826.37 o 16944
826.37 c 1656
827.39 o 16945
827.39 c 1655
827.90 o 16946
827.90 c 1654
831.16 o 16947
831.16 c 1653
833.62 o 16949
833.62 c 1651
835.23 o 16951
835.23 c 1649
835.74 o 16953
835.74 c 1647
836.38 o 16954
836.38 c 1646
836.89 o 16956
836.89 c 1644
837.30 o 16957
837.30 c 1643
837.72 o 16958
837.72 c 1642
839.72 o 16959
839.72 c 1641
841.72 o 16960
841.72 c 1640
842.22 o 16963
842.22 c 1637
846.97 o 16964
846.97 c 1636
848.00 o 16965
848.00 c 1635
849.94 o 16966
849.94 c 1634
850.43 o 16968
850.43 c 1632
852.28 o 16969
852.28 c 1631
853.65 o 16970
853.65 c 1630
855.09 o 16971
855.09 c 1629
855.57 o 16972
855.57 c 1628
857.97 o 16973
857.97 c 1627
858.44 o 16974
858.44 c 1626
858.91 o 16975
858.91 c 1625
869.07 o 16976
869.07 c 1624
870.07 o 16977
870.07 c 1623
874.46 o 16978
874.46 c 1622
874.89 o 16979
874.89 c 1621
875.37 o 16981
875.37 c 1619
876.84 o 16982
876.84 c 1618
889.40 o 16983
889.40 c 1617
889.51 o 16985
889.51 c 1615
890.94 o 16986
890.94 c 1614
891.44 o 16989
891.44 c 1611
891.71 o 16991
891.71 c 1609
892.20 o 16992
892.20 c 1608
893.69 o 16993
893.69 c 1607
894.03 o 16994
894.03 c 1606
896.88 o 16995
896.88 c 1605
897.36 o 16996
897.36 c 1604
898.67 o 16997
898.67 c 1603
899.15 o 16998
899.15 c 1602
899.66 o 16999
899.66 c 1601
903.47 o 17000
903.47 c 1600
903.98 o 17001
903.98 c 1599
905.01 o 17002
905.01 c 1598
905.52 o 17003
905.52 c 1597
909.48 o 17004
909.48 c 1596
922.97 o 17005
922.97 c 1595
923.20 o 17008
923.20 c 1592
923.90 o 17010
923.90 c 1590
924.01 o 17011
924.01 c 1589
924.53 o 17012
924.53 c 1588
941.48 o 17013
941.49 c 1587
944.23 o 17014
944.23 c 1586
945.83 o 17015
945.83 c 1585
946.74 o 17016
946.74 c 1584
963.98 o 17017
963.98 c 1583
964.41 o 17020
964.41 c 1580
965.26 o 17023
965.26 c 1577
965.73 o 17024
965.73 c 1576
966.28 o 17028
966.28 c 1572
969.51 o 17029
969.51 c 1571
970.05 o 17031
970.05 c 1569
970.23 o 17032
970.23 c 1568
970.78 o 17033
970.78 c 1567
973.02 o 17034
973.02 c 1566
973.55 o 17035
973.55 c 1565
975.16 o 17036
975.16 c 1564
978.25 o 17038
978.25 c 1562
979.93 o 17039
979.93 c 1561
987.82 o 17040
987.82 c 1560
988.91 o 17042
988.91 c 1558
989.43 o 17044
989.43 c 1556
992.15 o 17045
992.15 c 1555
993.80 o 17046
993.80 c 1554
994.34 o 17050
994.34 c 1550
994.88 o 17051
994.88 c 1549
995.42 o 17052
995.42 c 1548
998.01 o 17053
998.01 c 1547
1001.14 o 17054
1001.14 c 1546
1002.20 o 17055
1002.20 c 1545
1011.06 o 17056
1011.06 c 1544
1012.12 o 17058
1012.12 c 1542
1012.64 o 17059
1012.64 c 1541
1014.75 o 17060
1014.75 c 1540
1015.29 o 17062
1015.29 c 1538
1016.17 o 17063
1016.17 c 1537
1017.69 o 17066
1017.69 c 1534
1018.73 o 17067
1018.73 c 1533
1019.28 o 17068
1019.28 c 1532
1019.81 o 17070
1019.81 c 1530
1020.84 o 17071
1020.84 c 1529
1040.23 o 17072
1040.23 c 1528
1040.66 o 17073
1040.66 c 1527
1041.29 o 17074
1041.29 c 1526
1041.72 o 17075
1041.72 c 1525
1042.10 o 17076
1042.10 c 1524
1042.60 o 17079
1042.60 c 1521
1059.44 o 17081
1059.44 c 1519
1060.36 o 17083
1060.36 c 1517
1062.88 o 17084
1062.88 c 1516
1063.87 o 17086
1063.87 c 1514
1065.37 o 17088
1065.37 c 1512
1066.85 o 17089
1066.85 c 1511
1067.33 o 17090
1067.33 c 1510
1068.29 o 17091
1068.29 c 1509
1069.27 o 17092
1069.27 c 1508
1069.40 o 17095
1069.40 c 1505
1069.89 o 17096
1069.89 c 1504
1071.34 o 17098
1071.34 c 1502
1071.83 o 17099
1071.83 c 1501
1072.34 o 17101
1072.34 c 1499
1083.35 o 17105
1083.35 c 1495
1085.12 o 17106
1085.12 c 1494
1085.63 o 17110
1085.63 c 1490
1086.16 o 17111
1086.16 c 1489
1087.68 o 17112
1087.68 c 1488
1089.05 o 17113
1089.05 c 1487
1091.44 o 17114
1091.44 c 1486
1093.94 o 17115
1093.94 c 1485
1096.85 o 17116
1096.85 c 1484
1097.34 o 17118
1097.35 c 1482
1097.84 o 17120
1097.84 c 1480
1103.58 o 17121
1103.58 c 1479
1104.09 o 17123
1104.09 c 1477
1104.61 o 17124
1104.61 c 1476
1105.60 o 17126
1105.60 c 1474
1106.11 o 17127
1106.11 c 1473
1106.63 o 17128
1106.63 c 1472
1107.63 o 17129
1107.63 c 1471
1108.13 o 17131
1108.14 c 1469
1108.42 o 17132
1108.42 c 1468
1108.94 o 17134
1108.94 c 1466
1109.33 o 17136
1109.33 c 1464
1109.84 o 17139
1109.84 c 1461
1110.34 o 17141
1110.34 c 1459
1110.84 o 17142
1110.84 c 1458
1111.34 o 17143
1111.34 c 1457
1125.59 o 17144
1125.59 c 1456
1126.61 o 17146
1126.61 c 1454
1129.48 o 17148
1129.48 c 1452
1130.58 o 17149
1130.58 c 1451
1132.04 o 17150
1132.04 c 1450
1136.99 o 17153
1136.99 c 1447
1137.52 o 17154
1137.52 c 1446
1139.12 o 17155
1139.12 c 1445
1140.16 o 17157
1140.16 c 1443
1140.71 o 17159
1140.71 c 1441
1141.82 o 17162
1141.82 c 1438
1142.38 o 17163
1142.38 c 1437
1146.31 o 17166
1146.31 c 1434
1146.87 o 17167
1146.87 c 1433
1147.41 o 17169
1147.41 c 1431
1147.96 o 17171
1147.96 c 1429
1149.60 o 17172
1149.60 c 1428
1150.70 o 17173
1150.70 c 1427
1150.94 o 17175
1150.94 c 1425
1153.13 o 17177
1153.13 c 1423
1154.21 o 17178
1154.21 c 1422
1155.30 o 17179
1155.30 c 1421
1155.83 o 17180
1155.83 c 1420
1160.75 o 17182
1160.75 c 1418
1161.28 o 17186
1161.28 c 1414
1163.40 o 17187
1163.40 c 1413
1167.10 o 17188
1167.10 c 1412
1167.64 o 17189
1167.64 c 1411
1167.76 o 17190
1167.76 c 1410
1168.29 o 17192
1168.29 c 1408
1198.48 o 17193
1198.48 c 1407
1199.03 o 17194
1199.03 c 1406
1205.08 o 17195
1205.08 c 1405
1206.19 o 17197
1206.19 c 1403
1206.74 o 17198
1206.74 c 1402
1209.39 o 17199
1209.39 c 1401
1214.99 o 17200
1214.99 c 1400
1216.64 o 17201
1216.64 c 1399
1217.75 o 17202
1217.75 c 1398
1218.84 o 17203
1218.84 c 1397
1219.30 o 17206
1219.30 c 1394
1219.58 o 17207
1219.58 c 1393
1220.13 o 17210
1220.13 c 1390
1220.68 o 17211
1220.68 c 1389
1221.22 o 17212
1221.22 c 1388
1236.81 o 17213
1236.81 c 1387
1239.45 o 17215
1239.45 c 1385
1240.01 o 17216
1240.01 c 1384
1241.08 o 17217
1241.08 c 1383
1241.65 o 17218
1241.65 c 1382
1247.41 o 17219
1247.41 c 1381
1247.94 o 17221
1247.94 c 1379
1248.86 o 17224
1248.86 c 1376
1249.35 o 17225
1249.35 c 1375
1249.57 o 17226
1249.57 c 1374
1250.09 o 17228
1250.09 c 1372
1250.75 o 17229
1250.75 c 1371
1260.21 o 17230
1260.22 c 1370
1260.79 o 17231
1260.79 c 1369
1261.96 o 17232
1261.96 c 1368
1267.29 o 17234
1267.29 c 1366
1286.55 o 17235
1286.55 c 1365
1287.16 o 17236
1287.16 c 1364
1287.94 o 17237
1287.94 c 1363
1289.14 o 17238
1289.14 c 1362
1296.04 o 17239
1296.04 c 1361
1311.06 o 17240
1311.06 c 1360
1311.67 o 17241
1311.67 c 1359
1313.78 o 17246
1313.78 c 1354
1315.37 o 17247
1315.37 c 1353
1315.97 o 17249
1315.97 c 1351
1317.71 o 17251
1317.71 c 1349
1319.54 o 17252
1319.54 c 1348
1321.93 o 17253
1321.93 c 1347
1322.55 o 17255
1322.55 c 1345
1323.15 o 17257
1323.15 c 1343
1323.74 o 17258
1323.74 c 1342
1324.95 o 17260
1324.95 c 1340
1325.55 o 17262
1325.55 c 1338
1331.31 o 17263
1331.31 c 1337
1333.12 o 17265
1333.12 c 1335
1334.93 o 17266
1334.93 c 1334
1335.52 o 17268
1335.52 c 1332
1336.12 o 17269
1336.12 c 1331
1336.73 o 17270
1336.73 c 1330
1359.07 o 17273
1359.07 c 1327
1359.64 o 17274
1359.64 c 1326
1367.12 o 17275
1367.12 c 1325
1368.28 o 17277
1368.28 c 1323
1369.43 o 17281
1369.43 c 1319
1370.58 o 17282
1370.58 c 1318
1371.40 o 17283
1371.40 c 1317
1372.72 o 17284
1372.72 c 1316
1373.15 o 17285
1373.15 c 1315
1373.33 o 17287
1373.33 c 1313
1373.89 o 17288
1373.89 c 1312
1374.46 o 17289
1374.46 c 1311
1383.42 o 17290
1383.42 c 1310
1384.57 o 17292
1384.57 c 1308
1385.72 o 17293
1385.72 c 1307
1388.54 o 17294
1388.54 c 1306
1389.12 o 17295
1389.12 c 1305
1390.90 o 17296
1390.90 c 1304
1392.04 o 17297
1392.04 c 1303
1396.06 o 17298
1396.06 c 1302
1396.63 o 17299
1396.63 c 1301
1398.22 o 17300
1398.22 c 1300
1399.67 o 17301
1399.67 c 1299
1400.22 o 17304
1400.22 c 1296
1401.93 o 17306
1401.93 c 1294
1403.00 o 17307
1403.00 c 1293
1403.36 o 17309
1403.36 c 1291
1405.02 o 17315
1405.02 c 1285
1405.59 o 17316
1405.59 c 1284
1417.00 o 17317
1417.01 c 1283
1420.62 o 17318
1420.62 c 1282
1421.23 o 17320
1421.23 c 1280
1421.64 o 17321
1421.64 c 1279
1422.23 o 17324
1422.23 c 1276
1422.53 o 17326
1422.53 c 1274
1423.13 o 17327
1423.13 c 1273
1424.33 o 17329
1424.33 c 1271
1425.69 o 17331
1425.69 c 1269
1426.13 o 17333
1426.13 c 1267
1426.73 o 17334
1426.73 c 1266
1427.02 o 17336
1427.02 c 1264
1427.64 o 17338
1427.64 c 1262
1428.24 o 17339
1428.24 c 1261
1430.65 o 17341
1430.65 c 1259
1431.86 o 17343
1431.86 c 1257
1436.96 o 17344
1436.96 c 1256
1437.55 o 17345
1437.55 c 1255
1441.93 o 17346
1441.93 c 1254
1443.15 o 17347
1443.15 c 1253
1443.54 o 17348
1443.54 c 1252
1443.87 o 17350
1443.87 c 1250
1444.53 o 17351
1444.53 c 1249
1445.13 o 17352
1445.14 c 1248
1455.82 o 17353
1455.82 c 1247
1463.25 o 17354
1463.25 c 1246
1464.46 o 17356
1464.46 c 1244
1465.07 o 17358
1465.07 c 1242
1466.27 o 17361
1466.27 c 1239
1467.13 o 17362
1467.13 c 1238
1468.01 o 17363
1468.01 c 1237
1468.61 o 17364
1468.61 c 1236
1469.80 o 17365
1469.80 c 1235
1470.40 o 17366
1470.40 c 1234
1475.57 o 17367
1475.57 c 1233
1481.26 o 17369
1481.26 c 1231
1481.87 o 17370
1481.87 c 1230
1487.38 o 17372
1487.38 c 1228
1488.61 o 17373
1488.61 c 1227
1491.83 o 17376
1491.83 c 1224
1493.00 o 17377
1493.00 c 1223
1494.79 o 17378
1494.79 c 1222
1498.33 o 17379
1498.33 c 1221
1499.52 o 17380
1499.52 c 1220
1500.71 o 17381
1500.71 c 1219
1505.00 o 17382
1505.00 c 1218
1505.64 o 17383
1505.64 c 1217
1508.67 o 17384
1508.67 c 1216
1511.65 o 17385
1511.65 c 1215
1513.54 o 17386
1513.54 c 1214
1514.12 o 17388
1514.12 c 1212
1516.00 o 17390
1516.00 c 1210
1520.36 o 17391
1520.36 c 1209
1521.00 o 17392
1521.00 c 1208
1522.25 o 17393
1522.25 c 1207
1522.88 o 17394
1522.88 c 1206
1528.75 o 17398
1528.75 c 1202
1529.39 o 17400
1529.39 c 1200
1531.30 o 17401
1531.30 c 1199
1535.28 o 17402
1535.28 c 1198
1535.93 o 17404
1535.93 c 1196
1536.56 o 17405
1536.56 c 1195
1567.06
1567.06 search
1567.06 run=0 nbConstraintChecks=3366602932 nbAssignments=4406
1567.06 => wckTime=1504.191 cpuTime=1496.72 mem=63M344
1567.06
1567.06 global
1567.06 nbConstraintChecks=3366602932 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
1567.06 solvingWckTime=1504.17 solvingCpuTime=1496.7 expiredTime=no totalExploration=no nbFoundSolutions=0
1567.06 globalCpuTime=1558.11
1567.06 => wckTime=1566.743 cpuTime=1558.05 mem=63M344
1567.06
1567.06 solver IterativeSystematicSolver being built...
1567.71 => wckTime=1567.393 cpuTime=1558.42 mem=153M552
2408.79 v -2250 2474 -2454 -2842 -2894 -2674 -2266 2506 2522 2686 2010 1990 -2586 -2766 -2826 -2702 2238 2218 2054 2858 2822 2482 -2822 2506 -2222 -2294 2014 1994 -2846 -2158 2074 2050 2754 -2358 -2826 -2806 -2694 -2814 -2778 -2106 -2854 2698 2018 -2878 -2882 -2770 2050 -2578 -2694 -2866 -2218 2666 2482 -2030 -2566 -2366 2842 -2710 2842 -2826 2854 1998 -2074 -2010 -2338 1990 -2210 -2542 2490 2654 -2114 -2834 -2782 -2006 2882 -2610 2634 -2142 -2366 2078 -2498 -2454 -2214 1998 -2478 -2862 2770 2154 -2846 -2274 2118 -2818 2170 2774 -1990 2582 -2154 2886 -2490 1990 -2702 -2030 2474 -2782 2586 -2734 -2038 2730 2370 -2802 1994 -2622 -2242 2414 2630 -2054 2462 2070 2854 -2038 2798 2894 2846 -2830 2606 2030 2038 1994 -2090 -2882 -1990 2474 -2650 2406 2238 -2694 -2258 -2306 2894 2266 2026 -2742 2278 -2470 -2878 -2826 2802 -2374 -2038 -2306 2458 -2838 2466 -2882 -2894 -2214 2226 2410 -2750 2690 2114 2610 2354 -2218 2034 2874 -2510 2458 -2710 -2042 -2806 -2670 2330 2654 -2846 2430 -2134 -2374 2830 2586 -2830 2474 -2770 2866 2506 -2146 2878 2546 -2382 2818 2186 -2398 -2358 2066 -2438 2030 2198 2874 -2098 -2046 2062 2034 -2434 -2526 2786 2034 2050 -2410 2866 -2442 -2774 -2042 -2118 2890 2858 2674 -2850 -2486 2378 -2622 -2870 -2454 2146 2614 -2050 -2090 2862 2398 -2770 -2474 2778 -2878 2662 -2034 2714 -2730 2446 2342 -2746 -2042 -2714 -2002 1990 -2222 2810 2818 -2746 2578 -2346 -2854 -2350 -2046 2498 -2678 -2194 1994 -2394 2534 2702 2106 2298 -2842 2830 -2334 2894 -2290 2870 2346 2170 2010 -2818 -2618 -2878 2790 -2866 2038 2822 2894 2574 2538 -2562 2674 2090 2478 -2034 -2886 -2874 -2074 2326 -2286 2490 2630 -2270 2618 -2154 2174 2606 -2762 -2194 -2838 2822 2670 2134 2890 -2834 2838 -2006 -2562 -2682 -2662 -2682 -2238 -2022 2490 1990 2326 2846 -2794 2846 1998 -2038 -2862 2850 -2654 2782 -2574 -2886 -2850 -2690 2046 -2210 -2522 -2550 -2398 -2550 -2462 2602 2074 2626 2106 -2454 -2850 2306 2290 -2038 -2370 2890 -2150 2742 -2058 -2010 -2626 2046 -2406 -2046 2602 2190 1990 2838 2186 -2850 -2074 -2894 2666 -2002 -2846 -2850 -2026 2206 2834 -2798 2050 2042 2438 -2426 2670 -2130 -2030 -2386 -2578 2422 2006 -2854 -2358 1998 1990 -2566 2822 -2702 2342 2674 -2038 -2830 2130 2846 2410 -2014 -2478 -2250 2718 -2870 -2754 2370 2270 2314 2854 2182 -1994 -2010 2046 2890 -2094 -2766 2614 -2714 -2034 2854 -2878 2874 2398 -2398 -2322 -2034 2406 2670 -2818 2018 2626 2814 2790 2250 2674 2186 1998 -2582 2890 2102 2802 2874 -2102 2522 2030 -2466 -2578 -2858 -2534 2178 2886 2546 2782 -2002 2002 -2250 2830 2298 2614 -2358 -2422 2698 2098 -2206 2066 -2702 -2262 -2874 -2042 -2878 2010 2110 2066 -2398 2182 -2102 -2838 1990 -2358 2222 2474 2434 -2562 2778 -1990 2618 -2378 2782 2526 -2118 2214 -2166 2070 2706 -2546 2034 2650 -1994 2758 2414 -2834 -2766 -2390 2318 -2798 2818 -2890 -2402 -2894 2574 -2058 2834 2770 -2122 -2026 2690 -1994 2850 2838 -2850 2730 2386 2658 -2762 2346 2042 2426 -2838 -2390 -2806 -2262 -2462 2882 -2602 2422 -2414 2802 2890 2058 -2710 2606 -2666 2042 -2038 -2894 -2206 2554 -2030 -1990 -2830 -2730 -2850 2790 2222 2802 -2122 1990 -2674 2362 -2414 2826 -2446 2034 2046 2030 2010 2014 2018 2226 -2450 1990 2826 2722 -2726 2378 -2630 2834 2766 1994 -2334 -2746 -2254 2526 -2710 2866 -1990 2870 -2302 -2882 -2846 -1998 -1994 -2390 -2882 -2494 -2386 2406 -2018 -2854 -2062 2886 -2282 -2106 -2494 -2658 -2786 2046 -2058 2878 -2046 2174 2038 2702 -2782 -2602 -2870 2010 -2734 -2014 2866 1990 -2890 2030 2606 2894 2686 -2030 2038 -2830 2850 -2350 2890 2046 2318 2074 2858 -2058 2006 -2462 2810 2814 2862 2142 2538 -2118 -2054 -2370 2198 2822 -2642 -2894 -2854 2790 2894 2190 -2178 -2402 2862 2890 -2482 2662 2638 2794 2494 -2726 2794 2314 2450 2222 -2614 2102 -2202 2486 -2506 -2742 -2426 2334 2846 -2678 -2210 2350 2886 2882 -2578 -2842 -2894 -2850 -1990 -2074 -2402 -2870 -2890 -2110 -2218 -2894 2014 -2614 2286 -2114 -2230 -2422 2742 2778 2050 2446 -2454 -2894 2738 2642 -2662 2006 2622 2670 2426 -2878 2006 -2342 -2690 2842 2058 -2882 2290 -2066 -2486 -2654 -2014 2334 2098 2294 2358 -2610 2810 2806 2066 2602 2354 2170 2374 -2610 2574 -2418 -2482 -2210 -2522 -1990 -2502 2630 2042 2466 -2678 2462 2846 2482 -2066 1998 2478 2582 2086 2042 2838 2646 1990 2886 -2894 2066 2682 2418 2434 2210 2442 -2882 -2438 -2038 -2770 2746 -2582 2098 2774 2038 -1994 2334 2670 2378 -1998 2030 2250 2374 2154 2186 2430 2494 2034 2806 -2682 2826 -2850 2006 2558 2850 -2678 2410 -2854 2878 -2050 2610 -2030 2710 2158 -2098 -2382 2650 2090 2174 2810 -2382 2146 -2078 2646 -2454 -2378 2038 -2546 -2742 -2058 -2206 1990 -1998 -2206 -2830 -2846 2010 2202 2742 -2566 -2002 2374 2486 -1998 -2750 -2794 -2498 1998 -2058 2878 -2102 2322 2642 2094 -2834 1998 -2398 2830 -2586 -2494 -2018 -2194 -2762 -1990 2298 -1998 2846 -2094 -2326 -2450 2222 -2098 2006 -2890 2138 -2534 -2854 -2846 -2890 2458 2374 2706 -2810 2622 -2090 2182 2174 -2854 2074 1998 2302 2418 2278 -2554 2694 -2850 -2594 -1994 -2698 -2846 -2026 -2026 -2234 -2886 2038 -2874 -2418 -2702 2406 2822 -2854 -2046 2418 -2742 2498 2778 -2694 -2822 2434 -2050 2694 2818 -2886 2818 2590 -2250 2710 2586 -2178 1998 -2846 -2842 2326 -2494 2586 -2034 2874 -2002 2410 -2214 -2002 -2882 -2886 -2226 2182 -2750 2506 2634 -2034 2054 -2338 2338 -2670 2034 -2046 -2894 2546 2730 2182 -2834 2854 2442 -2042 -2494 2034 -2382 2854 2822 2794 -2642 -2230 -2794 -2046 2370 -2850 -2330 2618 -2842 -2402 -2410 2082 2382 -2774 2598 2678 2854 2326 2362 -2018 2482 2594 -2334 -2606 -2714 2038 -2834 2806 2418 -2030 2006 -2286 2402 2018 2862 -1994 -2482 2590 2606 2702 2850 2518 2794 -2890 -2106 -2450 2526 2398 -2058 -2118 2026 -2386 2358 -2458 -1990 2378 -2682 2450 -2854 -2754 2850 2382 2602 2566 1990 2446 -1990 2850 2658 2030 -2346 2822 -2798 2298 -2454 2194 2882 2238 2650 2314 2810 1998 -2834 2574 2430 -2434 2642 2046 2050 2674 -2226 -2810 2338 -2506 2842 -2466 2394 2030 -2670 2002 2838 2602 2422 2862 -2834 -2150 -2518 2742 2534 2238 2338 -2162 -2086 2030 2742 -2806 -2694 2890 -2738 -2030 -2086 -2246 -2850 -2002 -2194 2070 -2750 2802 2102 2846 2534 -2346 -2250 2838 -2798 -2894 -2030 -2382 2770 2854 2854 2646 -2018 2794 2334 2350 -2142 -2842 -2734 2446 1990 2758 1990 2886 -2734 2302 -2882 -1998 2838 -2774 -2062 2318 2698 2026 2338 -2858 2766 2826 2862 -2570 2258 -2854 2006 -2846 -2834 2434 -2866 -2378 2850 2634 2754 2366 2030 -2802 1990 -2894 2558 -2110 -2718 -2222 -2030 2162 -2778 2226 -2166 2438 2514 -2130 2894 2066 -1998 2278 2050 2042 2622 -2774 2778 2010 2526 -2566 -2082 -2846 2478 -2174 2786 2006 2334 2658 2034 2854 -2058 2806 -2342 -2038 2586 -2774 -2022 2838 2394 2702 2854 2834 -2418 2394 -2834 -2078 2130 -2534 2374 -2838 -2058 2102 -2062 2530 -2822 2754 2094 2806 -2582 -2742 2534 2734 2406 2734 2870 2562 -2434 2518 2502 2658 2154 -2118 -2786 -2842 2826 2882 -2866 -2030 2366 -2350 2162 2234 2822 2362 2510 2442 -2138 2050 -2670 -2618 2506 2046 -2846 -2754 -2046 2526 -2846 -2846 2658 -2650 -1990 -2478 2018 2706 -2030 -2538 -2530 -2834 2722 2722 2470 -2038 -2826 2006 -2602 1990 2818 -2010 -2502 -1990 -2462 2290 2034 2402 -2394 -2854 2498 2046 2070 2846 -2358 2166 2890 2346 -2318 -2782 2890 -2778 -2210 2838 2414 2406 2050 -2318 -2718 -2026 2250 2174 2670 -2894 1990 2546 -2450 -2278 -2890 -2238 2890 -2298 -2794 -2854 2226 2386 2166 2194 2518 -2246 -2082 2854 -2502 2118 -2226 2054 2042 -2894 2846 2230 -2678 -2830 -2830 -2722 2886 2886 2874 -2122 -2038 -1994 -2154 -2034 2586 -2806 2894 2162 -2054 -2062 2386 2462 -2822 -2858 2070 2030 2730 2886 -2842 -2046 -2710 -2050 2642 -2570 -2030 -2014 -2838 2378 -2582 2826 2486 -2790 -2194 -2326 2110 2418 2630 2550 2014 -2098 2782 -2034 2070 2386 -2874 2002 -2502 2054 2818 -2166 -2750 2030 -2442 -2010 -2682 -2334 1990 -2538 -2850 -2770 -2118 2122 -2854 2594 -2686 2030 2042 2654 2282 -2794 -2386 -2818 -2098 2866 -2598 2630 -2698 -2514 2522 2890 -2570 -2318 2378 2018 -2886 2894 -2606 -2646 2834 -2010 -2882 -2414 2774 2774 -2442 -2462 -2630 2730 2054 2250 -2230 -2390 2754 2222 -2466 2014 -2566 2014 -2710 -2470 2854 2286 2286 -2018 -1994 -2186 -2006 -2590 -2822 2518 -2422 -2386 2234 -2306 -2814 -2282 -2562 2842 -1990 2854 -2790 -1998 1994 -2326 2446 1994 -2330 2726 2374 -2834 2034 2342 -2418 2006 -2546 2650 -2374 2538 2846 -2050 2446 -2850 2410 -2710 2062 2002 -2062 -2058 -2798 -2894 -2670 -2182 -2686 2262 -2714 -2874 2730 2002 2034 2842 2830 -2210 -2398 -2382 2718 -2590 -1994 2490 -2886 2782 2838 -1994 2822 2574 2542 -2322 -1990 -2286 -2870 2342 -2290 -2662 2014 -2894 -2878 -2218 2362 2038 2590 2406 2250 -2618 -2426 2542 -2882 2278 2710 -2894 -2758 -2134 -2518 2046 -2278 -2038 2722 -2610 2002 2334 2046 2814 2794 -2374 -2494 2714 -2718 -2002 2578 -2190 2846 2070 -2418 2342 2466 2894 2190 2890 -1994 2374 -2846 -2054 2502 2750 -2046 2638 2734 -2014 2746 2266 -2078 -2178 2654 2370 2002 -2718 -2822 -2030 2670 -2862 2566 2030 2690 -2890 -2478 -2366 2042 2850 -2058 -2246 -2010 -2362 -2738 -2498 1990 -2142 2030 -2458 -2354 2022 2006 2254 2610 2054 1990 2218 -2034 2870 2202 -2422 2886 2214 2046 -2878 -1990 -2850 2030 2802 2046 2622 1998 2602 2746 -2790 -2894 2502 2186 -2842 -2542 2290 -2226 -2886 1990 -2706 -2834 -2610 2622 -2562 2362 2006 -2006 2410 -2642 2846 2826 -2846 -2290 2226 -2030 2858 -2614 2042 -2046 -2642 2058 -2414 2290 2578 2058 -2054 -2166 2278 2618 2530 2774 2494 2002 2886 -2718 -2322 2530 1998 -2646 2722 2794 2142 2870 2362 2078 -2894 2670 2634 2874 -2426 2894 2250 -2070 2030 -2622 -2066 2618 2342 2530 2790 2478 -2710 2834 -2702 -2366 2546 2822 2058 2318 2030 2806 -2446 -2786 2778 -1990 2394 -2466 2102 2702 -2034 2010 2338 2162 -2146 -2846 2066 -2834 -2678 -2878 2038 2854 2038 1994 -2602 -2842 2874 2454 -2278 2226 2502 2022 -2878 2574 2870 -2782 2842 -2138 2390 2894 2138 -2694 -2658 -2890 -1990 -2158 -2486 2070 2186 2698 2210 2018 2390 -2382 2358 2370 2438 -2202 -2842 -2522 2606 -2862 2410 2878 -2730 2718 -2034 -2046 2890 2634 2030 2682 -2850 2082 2398 2378 2074 2854 2834 -2026 -2742 -2106 2030 2026 -2186 2394 -2506 2170 -2382 2006 -2062 -1994 -2426 -2878 2582 2806 2638 -2886 2290 2102 2850 -2326 2278 -2138 2770 -2878 -2366 2382 -2770 -2546 -2534 -2122 2702 -2826 2734 -2854 -2846 1998 -2650 2874 2382 -2794 1990 -1990 -2430 -2030 -2542 2442 -2786 2830 2774 -2402 -2298 -1990 2410 2630 -2846 2826 -2654 2374 2214 2818 2518 -2870 -1990 2550 -2766 -2794 2274 -2866 -2302 2890 2434 -2054 -2842 2546 2854 -2462 2086 -2030 -2706 2014 2450 -2822 -2214 -2542 2030 2202 -2158 2034 2334 2694 -1990 -2734 -2034 -2434 2378 -2822 -2310 2010 -2806 -2514 -2814 -2466 2114 2610 2694 -2686 -2622 -2338 2006 2890 2274 2582 -2858 2762 -2886 -2806 -2710 -2030 -2894 2034 2478 -2890 -2266 -2030 2770 2054 2206 -2722 -2146 -2778 -2562 -2874 -2758 2402 2890 -2738 2622 -2006 -2882 -2842 -2402 2450 2494 -2242 2858 -1990 2366 2798 -2442 -2038 2062 -2758 -2754 2474 2546 -2734 -2102 2570 2014 -2602 2010 -2662 -2142 -2102 -2362 2830 -2810 -2882 -2694 2070 -2266 2582 2870 -2514 -2470 2838 -2402 2878 -2874 -1994 2502 2066 2894 -2566 1990 2182 -2810 -2894 2758 -2286 2890 2834 2730 1998 2190 1998 2590 2086 2738 2374 -2326 -2042 2422
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node2/watcher-275651-1169224742 -o ROOT/results/node2/solver-275651-1169224742 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/275651-1169224742/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 1.92 1.98 1.99 4/93 11681
/proc/meminfo: memFree=995064/2055920 swapFree=4180552/4192956
[pid=11680] ppid=11678 vsize=18540 CPUtime=0
/proc/11680/stat : 11680 (runsolver) R 11678 11680 11612 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 270869844 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 206381313319 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/11680/statm: 4635 279 244 17 0 2626 0
[startup+0.102916 s]
/proc/loadavg: 1.92 1.98 1.99 4/93 11681
/proc/meminfo: memFree=995064/2055920 swapFree=4180552/4192956
[pid=11680] ppid=11678 vsize=914988 CPUtime=0.08
/proc/11680/stat : 11680 (java) R 11678 11680 11612 0 -1 0 2952 0 1 0 7 1 0 0 17 0 8 0 270869844 936947712 2698 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072916843 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11680/statm: 228747 2698 1413 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.510989 s]
/proc/loadavg: 1.92 1.98 1.99 4/93 11681
/proc/meminfo: memFree=995064/2055920 swapFree=4180552/4192956
[pid=11680] ppid=11678 vsize=915332 CPUtime=0.48
/proc/11680/stat : 11680 (java) R 11678 11680 11612 0 -1 0 7477 0 1 0 44 4 0 0 18 0 8 0 270869844 937299968 7216 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073616838 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11680/statm: 228833 7216 2143 14 0 215303 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915332
[startup+1.33415 s]
/proc/loadavg: 1.93 1.98 1.99 3/100 11688
/proc/meminfo: memFree=915520/2055920 swapFree=4180552/4192956
[pid=11680] ppid=11678 vsize=915612 CPUtime=1.31
/proc/11680/stat : 11680 (java) R 11678 11680 11612 0 -1 0 24148 0 1 0 119 12 0 0 23 0 8 0 270869844 937586688 23885 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073661100 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11680/statm: 228903 23885 2164 14 0 215373 0
[pid=11680/tid=11682] ppid=11678 vsize=915612 CPUtime=0.08
/proc/11680/task/11682/stat : 11682 (java) S 11678 11680 11612 0 -1 64 7588 0 0 0 6 2 0 0 16 0 8 0 270869848 937586688 23885 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11680/tid=11683] ppid=11678 vsize=915612 CPUtime=0
/proc/11680/task/11683/stat : 11683 (java) S 11678 11680 11612 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270869849 937586688 23885 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11680/tid=11684] ppid=11678 vsize=915612 CPUtime=0
/proc/11680/task/11684/stat : 11684 (java) S 11678 11680 11612 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270869849 937586688 23885 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11680/tid=11685] ppid=11678 vsize=915612 CPUtime=0
/proc/11680/task/11685/stat : 11685 (java) S 11678 11680 11612 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270869852 937586688 23885 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11680/tid=11686] ppid=11678 vsize=915612 CPUtime=0.15
/proc/11680/task/11686/stat : 11686 (java) S 11678 11680 11612 0 -1 64 403 0 0 0 15 0 0 0 16 0 8 0 270869852 937586688 23885 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11680/tid=11687] ppid=11678 vsize=915612 CPUtime=0
/proc/11680/task/11687/stat : 11687 (java) S 11678 11680 11612 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270869852 937586688 23885 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11680/tid=11688] ppid=11678 vsize=915612 CPUtime=0
/proc/11680/task/11688/stat : 11688 (java) S 11678 11680 11612 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270869852 937586688 23885 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915612
[startup+2.98744 s]
/proc/loadavg: 1.93 1.98 1.99 3/100 11688
/proc/meminfo: memFree=907520/2055920 swapFree=4180552/4192956
[pid=11680] ppid=11678 vsize=915744 CPUtime=2.96
/proc/11680/stat : 11680 (java) R 11678 11680 11612 0 -1 0 24224 0 1 0 283 13 0 0 25 0 8 0 270869844 937721856 23959 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073831537 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11680/statm: 228936 23959 2184 14 0 215406 0
[pid=11680/tid=11682] ppid=11678 vsize=915744 CPUtime=0.1
/proc/11680/task/11682/stat : 11682 (java) S 11678 11680 11612 0 -1 64 7588 0 0 0 8 2 0 0 17 0 8 0 270869848 937721856 23959 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11680/tid=11683] ppid=11678 vsize=915744 CPUtime=0
/proc/11680/task/11683/stat : 11683 (java) S 11678 11680 11612 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270869849 937721856 23959 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11680/tid=11684] ppid=11678 vsize=915744 CPUtime=0
/proc/11680/task/11684/stat : 11684 (java) S 11678 11680 11612 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270869849 937721856 23959 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11680/tid=11685] ppid=11678 vsize=915744 CPUtime=0
/proc/11680/task/11685/stat : 11685 (java) S 11678 11680 11612 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270869852 937721856 23959 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11680/tid=11686] ppid=11678 vsize=915744 CPUtime=0.18
/proc/11680/task/11686/stat : 11686 (java) S 11678 11680 11612 0 -1 64 415 0 0 0 18 0 0 0 16 0 8 0 270869852 937721856 23959 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11680/tid=11687] ppid=11678 vsize=915744 CPUtime=0
/proc/11680/task/11687/stat : 11687 (java) S 11678 11680 11612 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270869852 937721856 23959 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11680/tid=11688] ppid=11678 vsize=915744 CPUtime=0
/proc/11680/task/11688/stat : 11688 (java) S 11678 11680 11612 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270869852 937721856 23959 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 915744
[startup+6.27205 s]
/proc/loadavg: 1.93 1.98 1.99 3/100 11688
/proc/meminfo: memFree=907392/2055920 swapFree=4180552/4192956
[pid=11680] ppid=11678 vsize=915744 CPUtime=6.23
/proc/11680/stat : 11680 (java) R 11678 11680 11612 0 -1 0 24227 0 1 0 610 13 0 0 25 0 8 0 270869844 937721856 23961 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073828431 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11680/statm: 228936 23961 2184 14 0 215406 0
[pid=11680/tid=11682] ppid=11678 vsize=915744 CPUtime=0.1
/proc/11680/task/11682/stat : 11682 (java) S 11678 11680 11612 0 -1 64 7588 0 0 0 8 2 0 0 16 0 8 0 270869848 937721856 23961 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11680/tid=11683] ppid=11678 vsize=915744 CPUtime=0
/proc/11680/task/11683/stat : 11683 (java) S 11678 11680 11612 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270869849 937721856 23961 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11680/tid=11684] ppid=11678 vsize=915744 CPUtime=0
/proc/11680/task/11684/stat : 11684 (java) S 11678 11680 11612 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270869849 937721856 23961 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11680/tid=11685] ppid=11678 vsize=915744 CPUtime=0
/proc/11680/task/11685/stat : 11685 (java) S 11678 11680 11612 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270869852 937721856 23961 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11680/tid=11686] ppid=11678 vsize=915744 CPUtime=0.18
/proc/11680/task/11686/stat : 11686 (java) S 11678 11680 11612 0 -1 64 417 0 0 0 18 0 0 0 16 0 8 0 270869852 937721856 23961 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11680/tid=11687] ppid=11678 vsize=915744 CPUtime=0
/proc/11680/task/11687/stat : 11687 (java) S 11678 11680 11612 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270869852 937721856 23961 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11680/tid=11688] ppid=11678 vsize=915744 CPUtime=0
/proc/11680/task/11688/stat : 11688 (java) S 11678 11680 11612 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270869852 937721856 23961 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 915744
[startup+12.7592 s]
/proc/loadavg: 1.94 1.98 1.99 3/100 11688
/proc/meminfo: memFree=907392/2055920 swapFree=4180552/4192956
[pid=11680] ppid=11678 vsize=915744 CPUtime=12.68
/proc/11680/stat : 11680 (java) R 11678 11680 11612 0 -1 0 24239 0 1 0 1254 14 0 0 25 0 8 0 270869844 937721856 23972 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073826408 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11680/statm: 228936 23972 2185 14 0 215406 0
[pid=11680/tid=11682] ppid=11678 vsize=915744 CPUtime=0.1
/proc/11680/task/11682/stat : 11682 (java) S 11678 11680 11612 0 -1 64 7588 0 0 0 8 2 0 0 16 0 8 0 270869848 937721856 23972 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11680/tid=11683] ppid=11678 vsize=915744 CPUtime=0
/proc/11680/task/11683/stat : 11683 (java) S 11678 11680 11612 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270869849 937721856 23972 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11680/tid=11684] ppid=11678 vsize=915744 CPUtime=0
/proc/11680/task/11684/stat : 11684 (java) S 11678 11680 11612 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270869849 937721856 23972 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11680/tid=11685] ppid=11678 vsize=915744 CPUtime=0
/proc/11680/task/11685/stat : 11685 (java) S 11678 11680 11612 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270869852 937721856 23972 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11680/tid=11686] ppid=11678 vsize=915744 CPUtime=0.19
/proc/11680/task/11686/stat : 11686 (java) S 11678 11680 11612 0 -1 64 427 0 0 0 19 0 0 0 16 0 8 0 270869852 937721856 23972 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11680/tid=11687] ppid=11678 vsize=915744 CPUtime=0
/proc/11680/task/11687/stat : 11687 (java) S 11678 11680 11612 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270869852 937721856 23972 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11680/tid=11688] ppid=11678 vsize=915744 CPUtime=0
/proc/11680/task/11688/stat : 11688 (java) S 11678 11680 11612 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270869852 937721856 23972 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 915744
[startup+25.6126 s]
/proc/loadavg: 1.95 1.98 1.99 3/100 11688
/proc/meminfo: memFree=898496/2055920 swapFree=4180552/4192956
[pid=11680] ppid=11678 vsize=915744 CPUtime=25.47
/proc/11680/stat : 11680 (java) R 11678 11680 11612 0 -1 0 26488 0 1 0 2531 16 0 0 25 0 8 0 270869844 937721856 26219 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073827111 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11680/statm: 228936 26219 2185 14 0 215406 0
[pid=11680/tid=11682] ppid=11678 vsize=915744 CPUtime=0.17
/proc/11680/task/11682/stat : 11682 (java) S 11678 11680 11612 0 -1 64 9829 0 0 0 15 2 0 0 16 0 8 0 270869848 937721856 26219 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11680/tid=11683] ppid=11678 vsize=915744 CPUtime=0
/proc/11680/task/11683/stat : 11683 (java) S 11678 11680 11612 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270869849 937721856 26219 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11680/tid=11684] ppid=11678 vsize=915744 CPUtime=0
/proc/11680/task/11684/stat : 11684 (java) S 11678 11680 11612 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270869849 937721856 26219 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11680/tid=11685] ppid=11678 vsize=915744 CPUtime=0
/proc/11680/task/11685/stat : 11685 (java) S 11678 11680 11612 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270869852 937721856 26219 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11680/tid=11686] ppid=11678 vsize=915744 CPUtime=0.2
/proc/11680/task/11686/stat : 11686 (java) S 11678 11680 11612 0 -1 64 433 0 0 0 20 0 0 0 16 0 8 0 270869852 937721856 26219 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11680/tid=11687] ppid=11678 vsize=915744 CPUtime=0
/proc/11680/task/11687/stat : 11687 (java) S 11678 11680 11612 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270869852 937721856 26219 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11680/tid=11688] ppid=11678 vsize=915744 CPUtime=0
/proc/11680/task/11688/stat : 11688 (java) S 11678 11680 11612 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270869852 937721856 26219 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 915744
[startup+51.2263 s]
/proc/loadavg: 1.97 1.98 1.99 3/100 11688
/proc/meminfo: memFree=892288/2055920 swapFree=4180552/4192956
[pid=11680] ppid=11678 vsize=915744 CPUtime=50.96
/proc/11680/stat : 11680 (java) R 11678 11680 11612 0 -1 0 28063 0 1 0 5076 20 0 0 25 0 8 0 270869844 937721856 27792 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073825250 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11680/statm: 228936 27792 2185 14 0 215406 0
[pid=11680/tid=11682] ppid=11678 vsize=915744 CPUtime=0.26
/proc/11680/task/11682/stat : 11682 (java) S 11678 11680 11612 0 -1 64 11401 0 0 0 23 3 0 0 16 0 8 0 270869848 937721856 27792 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11680/tid=11683] ppid=11678 vsize=915744 CPUtime=0
/proc/11680/task/11683/stat : 11683 (java) S 11678 11680 11612 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270869849 937721856 27792 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11680/tid=11684] ppid=11678 vsize=915744 CPUtime=0
/proc/11680/task/11684/stat : 11684 (java) S 11678 11680 11612 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270869849 937721856 27792 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11680/tid=11685] ppid=11678 vsize=915744 CPUtime=0
/proc/11680/task/11685/stat : 11685 (java) S 11678 11680 11612 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270869852 937721856 27792 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11680/tid=11686] ppid=11678 vsize=915744 CPUtime=0.21
/proc/11680/task/11686/stat : 11686 (java) S 11678 11680 11612 0 -1 64 434 0 0 0 21 0 0 0 16 0 8 0 270869852 937721856 27792 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11680/tid=11687] ppid=11678 vsize=915744 CPUtime=0
/proc/11680/task/11687/stat : 11687 (java) S 11678 11680 11612 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270869852 937721856 27792 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11680/tid=11688] ppid=11678 vsize=915744 CPUtime=0
/proc/11680/task/11688/stat : 11688 (java) S 11678 11680 11612 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270869852 937721856 27792 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.96
Current children cumulated vsize (KiB) 915744
[startup+102.47 s]
/proc/loadavg: 1.98 1.98 1.99 3/100 11688
/proc/meminfo: memFree=870656/2055920 swapFree=4180552/4192956
[pid=11680] ppid=11678 vsize=915744 CPUtime=101.91
/proc/11680/stat : 11680 (java) R 11678 11680 11612 0 -1 0 33790 0 1 0 10158 33 0 0 25 0 8 0 270869844 937721856 33511 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074015767 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11680/statm: 228936 33511 2504 14 0 215406 0
[pid=11680/tid=11682] ppid=11678 vsize=915744 CPUtime=0.69
/proc/11680/task/11682/stat : 11682 (java) S 11678 11680 11612 0 -1 64 16731 0 0 0 64 5 0 0 16 0 8 0 270869848 937721856 33511 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11680/tid=11683] ppid=11678 vsize=915744 CPUtime=0
/proc/11680/task/11683/stat : 11683 (java) S 11678 11680 11612 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270869849 937721856 33511 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11680/tid=11684] ppid=11678 vsize=915744 CPUtime=0
/proc/11680/task/11684/stat : 11684 (java) S 11678 11680 11612 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270869849 937721856 33511 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11680/tid=11685] ppid=11678 vsize=915744 CPUtime=0
/proc/11680/task/11685/stat : 11685 (java) S 11678 11680 11612 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270869852 937721856 33511 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11680/tid=11686] ppid=11678 vsize=915744 CPUtime=0.29
/proc/11680/task/11686/stat : 11686 (java) S 11678 11680 11612 0 -1 64 478 0 0 0 28 1 0 0 16 0 8 0 270869852 937721856 33511 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11680/tid=11687] ppid=11678 vsize=915744 CPUtime=0
/proc/11680/task/11687/stat : 11687 (java) S 11678 11680 11612 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270869852 937721856 33511 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11680/tid=11688] ppid=11678 vsize=915744 CPUtime=0
/proc/11680/task/11688/stat : 11688 (java) S 11678 11680 11612 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270869852 937721856 33511 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.91
Current children cumulated vsize (KiB) 915744
[startup+162.472 s]
/proc/loadavg: 1.99 1.98 1.99 3/100 11688
/proc/meminfo: memFree=870656/2055920 swapFree=4180552/4192956
[pid=11680] ppid=11678 vsize=915744 CPUtime=161.62
/proc/11680/stat : 11680 (java) R 11678 11680 11612 0 -1 0 33791 0 1 0 16123 39 0 0 25 0 8 0 270869844 937721856 33512 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074013548 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 2014.99
Current children cumulated vsize (KiB) 917012
[startup+2083.27 s]
/proc/loadavg: 2.01 2.02 2.00 3/101 11960
/proc/meminfo: memFree=1051120/2055920 swapFree=4180552/4192956
[pid=11680] ppid=11678 vsize=917012 CPUtime=2074.93
/proc/11680/stat : 11680 (java) R 11678 11680 11612 0 -1 0 51211 0 1 0 207397 96 0 0 25 0 8 0 270869844 939020288 50921 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074317478 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11680/statm: 229253 50921 2551 14 0 215723 0
[pid=11680/tid=11682] ppid=11678 vsize=917012 CPUtime=0.88
/proc/11680/task/11682/stat : 11682 (java) S 11678 11680 11612 0 -1 64 33915 0 0 0 77 11 0 0 16 0 8 0 270869848 939020288 50921 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11680/tid=11683] ppid=11678 vsize=917012 CPUtime=0
/proc/11680/task/11683/stat : 11683 (java) S 11678 11680 11612 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270869849 939020288 50921 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11680/tid=11684] ppid=11678 vsize=917012 CPUtime=0
/proc/11680/task/11684/stat : 11684 (java) S 11678 11680 11612 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270869849 939020288 50921 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11680/tid=11685] ppid=11678 vsize=917012 CPUtime=0
/proc/11680/task/11685/stat : 11685 (java) S 11678 11680 11612 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270869852 939020288 50921 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11680/tid=11686] ppid=11678 vsize=917012 CPUtime=0.41
/proc/11680/task/11686/stat : 11686 (java) S 11678 11680 11612 0 -1 64 606 0 0 0 40 1 0 0 16 0 8 0 270869852 939020288 50921 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11680/tid=11687] ppid=11678 vsize=917012 CPUtime=0
/proc/11680/task/11687/stat : 11687 (java) S 11678 11680 11612 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270869852 939020288 50921 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11680/tid=11688] ppid=11678 vsize=917012 CPUtime=0
/proc/11680/task/11688/stat : 11688 (java) S 11678 11680 11612 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 270869852 939020288 50921 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2074.93
Current children cumulated vsize (KiB) 917012
[startup+2143.32 s]
/proc/loadavg: 2.00 2.02 2.00 3/101 11960
/proc/meminfo: memFree=1051120/2055920 swapFree=4180552/4192956
[pid=11680] ppid=11678 vsize=917012 CPUtime=2134.93
/proc/11680/stat : 11680 (java) R 11678 11680 11612 0 -1 0 51214 0 1 0 213396 97 0 0 25 0 8 0 270869844 939020288 50921 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073828551 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11680/statm: 229253 50921 2551 14 0 215723 0
[pid=11680/tid=11682] ppid=11678 vsize=917012 CPUtime=0.88
/proc/11680/task/11682/stat : 11682 (java) S 11678 11680 11612 0 -1 64 33915 0 0 0 77 11 0 0 16 0 8 0 270869848 939020288 50921 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11680/tid=11683] ppid=11678 vsize=917012 CPUtime=0
/proc/11680/task/11683/stat : 11683 (java) S 11678 11680 11612 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270869849 939020288 50921 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11680/tid=11684] ppid=11678 vsize=917012 CPUtime=0
/proc/11680/task/11684/stat : 11684 (java) S 11678 11680 11612 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270869849 939020288 50921 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11680/tid=11685] ppid=11678 vsize=917012 CPUtime=0
/proc/11680/task/11685/stat : 11685 (java) S 11678 11680 11612 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270869852 939020288 50921 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11680/tid=11686] ppid=11678 vsize=917012 CPUtime=0.41
/proc/11680/task/11686/stat : 11686 (java) S 11678 11680 11612 0 -1 64 607 0 0 0 40 1 0 0 16 0 8 0 270869852 939020288 50921 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11680/tid=11687] ppid=11678 vsize=917012 CPUtime=0
/proc/11680/task/11687/stat : 11687 (java) S 11678 11680 11612 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270869852 939020288 50921 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11680/tid=11688] ppid=11678 vsize=917012 CPUtime=0
/proc/11680/task/11688/stat : 11688 (java) R 11678 11680 11612 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 270869852 939020288 50921 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2134.93
Current children cumulated vsize (KiB) 917012
[startup+2203.39 s]
/proc/loadavg: 2.00 2.01 2.00 3/101 11960
/proc/meminfo: memFree=1051120/2055920 swapFree=4180552/4192956
[pid=11680] ppid=11678 vsize=917012 CPUtime=2194.93
/proc/11680/stat : 11680 (java) R 11678 11680 11612 0 -1 0 51214 0 1 0 219396 97 0 0 25 0 8 0 270869844 939020288 50921 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074293203 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11680/statm: 229253 50921 2551 14 0 215723 0
[pid=11680/tid=11682] ppid=11678 vsize=917012 CPUtime=0.88
/proc/11680/task/11682/stat : 11682 (java) S 11678 11680 11612 0 -1 64 33915 0 0 0 77 11 0 0 16 0 8 0 270869848 939020288 50921 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11680/tid=11683] ppid=11678 vsize=917012 CPUtime=0
/proc/11680/task/11683/stat : 11683 (java) S 11678 11680 11612 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270869849 939020288 50921 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11680/tid=11684] ppid=11678 vsize=917012 CPUtime=0
/proc/11680/task/11684/stat : 11684 (java) S 11678 11680 11612 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270869849 939020288 50921 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11680/tid=11685] ppid=11678 vsize=917012 CPUtime=0
/proc/11680/task/11685/stat : 11685 (java) S 11678 11680 11612 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270869852 939020288 50921 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11680/tid=11686] ppid=11678 vsize=917012 CPUtime=0.41
/proc/11680/task/11686/stat : 11686 (java) S 11678 11680 11612 0 -1 64 607 0 0 0 40 1 0 0 16 0 8 0 270869852 939020288 50921 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11680/tid=11687] ppid=11678 vsize=917012 CPUtime=0
/proc/11680/task/11687/stat : 11687 (java) S 11678 11680 11612 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270869852 939020288 50921 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11680/tid=11688] ppid=11678 vsize=917012 CPUtime=0
/proc/11680/task/11688/stat : 11688 (java) R 11678 11680 11612 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 270869852 939020288 50921 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2194.93
Current children cumulated vsize (KiB) 917012
[startup+2263.41 s]
/proc/loadavg: 2.00 2.01 2.00 3/101 11960
/proc/meminfo: memFree=1051120/2055920 swapFree=4180552/4192956
[pid=11680] ppid=11678 vsize=917012 CPUtime=2254.87
/proc/11680/stat : 11680 (java) R 11678 11680 11612 0 -1 0 51214 0 1 0 225390 97 0 0 25 0 8 0 270869844 939020288 50921 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073825140 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11680/statm: 229253 50921 2551 14 0 215723 0
[pid=11680/tid=11682] ppid=11678 vsize=917012 CPUtime=0.88
/proc/11680/task/11682/stat : 11682 (java) S 11678 11680 11612 0 -1 64 33915 0 0 0 77 11 0 0 16 0 8 0 270869848 939020288 50921 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11680/tid=11683] ppid=11678 vsize=917012 CPUtime=0
/proc/11680/task/11683/stat : 11683 (java) S 11678 11680 11612 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270869849 939020288 50921 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11680/tid=11684] ppid=11678 vsize=917012 CPUtime=0
/proc/11680/task/11684/stat : 11684 (java) S 11678 11680 11612 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270869849 939020288 50921 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11680/tid=11685] ppid=11678 vsize=917012 CPUtime=0
/proc/11680/task/11685/stat : 11685 (java) S 11678 11680 11612 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270869852 939020288 50921 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11680/tid=11686] ppid=11678 vsize=917012 CPUtime=0.41
/proc/11680/task/11686/stat : 11686 (java) S 11678 11680 11612 0 -1 64 607 0 0 0 40 1 0 0 16 0 8 0 270869852 939020288 50921 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11680/tid=11687] ppid=11678 vsize=917012 CPUtime=0
/proc/11680/task/11687/stat : 11687 (java) S 11678 11680 11612 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270869852 939020288 50921 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11680/tid=11688] ppid=11678 vsize=917012 CPUtime=0
/proc/11680/task/11688/stat : 11688 (java) S 11678 11680 11612 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 270869852 939020288 50921 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2254.87
Current children cumulated vsize (KiB) 917012
[startup+2323.42 s]
/proc/loadavg: 2.22 2.05 2.02 3/101 11960
/proc/meminfo: memFree=1051120/2055920 swapFree=4180552/4192956
[pid=11680] ppid=11678 vsize=917012 CPUtime=2314.82
/proc/11680/stat : 11680 (java) R 11678 11680 11612 0 -1 0 51214 0 1 0 231385 97 0 0 25 0 8 0 270869844 939020288 50921 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073825270 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11680/statm: 229253 50921 2551 14 0 215723 0
[pid=11680/tid=11682] ppid=11678 vsize=917012 CPUtime=0.88
/proc/11680/task/11682/stat : 11682 (java) S 11678 11680 11612 0 -1 64 33915 0 0 0 77 11 0 0 16 0 8 0 270869848 939020288 50921 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11680/tid=11683] ppid=11678 vsize=917012 CPUtime=0
/proc/11680/task/11683/stat : 11683 (java) S 11678 11680 11612 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270869849 939020288 50921 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11680/tid=11684] ppid=11678 vsize=917012 CPUtime=0
/proc/11680/task/11684/stat : 11684 (java) S 11678 11680 11612 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270869849 939020288 50921 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11680/tid=11685] ppid=11678 vsize=917012 CPUtime=0
/proc/11680/task/11685/stat : 11685 (java) S 11678 11680 11612 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270869852 939020288 50921 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11680/tid=11686] ppid=11678 vsize=917012 CPUtime=0.41
/proc/11680/task/11686/stat : 11686 (java) S 11678 11680 11612 0 -1 64 607 0 0 0 40 1 0 0 16 0 8 0 270869852 939020288 50921 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11680/tid=11687] ppid=11678 vsize=917012 CPUtime=0
/proc/11680/task/11687/stat : 11687 (java) S 11678 11680 11612 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270869852 939020288 50921 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11680/tid=11688] ppid=11678 vsize=917012 CPUtime=0
/proc/11680/task/11688/stat : 11688 (java) S 11678 11680 11612 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 270869852 939020288 50921 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2314.82
Current children cumulated vsize (KiB) 917012
[startup+2383.45 s]
/proc/loadavg: 2.19 2.07 2.02 3/101 11960
/proc/meminfo: memFree=1051120/2055920 swapFree=4180552/4192956
[pid=11680] ppid=11678 vsize=917012 CPUtime=2374.79
/proc/11680/stat : 11680 (java) R 11678 11680 11612 0 -1 0 51214 0 1 0 237381 98 0 0 25 0 8 0 270869844 939020288 50921 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074329019 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11680/statm: 229253 50921 2551 14 0 215723 0
[pid=11680/tid=11682] ppid=11678 vsize=917012 CPUtime=0.88
/proc/11680/task/11682/stat : 11682 (java) S 11678 11680 11612 0 -1 64 33915 0 0 0 77 11 0 0 16 0 8 0 270869848 939020288 50921 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11680/tid=11683] ppid=11678 vsize=917012 CPUtime=0
/proc/11680/task/11683/stat : 11683 (java) S 11678 11680 11612 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270869849 939020288 50921 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11680/tid=11684] ppid=11678 vsize=917012 CPUtime=0
/proc/11680/task/11684/stat : 11684 (java) S 11678 11680 11612 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270869849 939020288 50921 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11680/tid=11685] ppid=11678 vsize=917012 CPUtime=0
/proc/11680/task/11685/stat : 11685 (java) S 11678 11680 11612 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270869852 939020288 50921 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11680/tid=11686] ppid=11678 vsize=917012 CPUtime=0.41
/proc/11680/task/11686/stat : 11686 (java) S 11678 11680 11612 0 -1 64 607 0 0 0 40 1 0 0 16 0 8 0 270869852 939020288 50921 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11680/tid=11687] ppid=11678 vsize=917012 CPUtime=0
/proc/11680/task/11687/stat : 11687 (java) S 11678 11680 11612 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270869852 939020288 50921 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11680/tid=11688] ppid=11678 vsize=917012 CPUtime=0
/proc/11680/task/11688/stat : 11688 (java) S 11678 11680 11612 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 270869852 939020288 50921 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2374.79
Current children cumulated vsize (KiB) 917012
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2408.78 s]
/proc/loadavg: 2.13 2.06 2.02 3/101 11960
/proc/meminfo: memFree=1051056/2055920 swapFree=4180552/4192956
[pid=11680] ppid=11678 vsize=917012 CPUtime=2400.09
/proc/11680/stat : 11680 (java) R 11678 11680 11612 0 -1 0 51214 0 1 0 239911 98 0 0 25 0 8 0 270869844 939020288 50921 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073825299 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11680/statm: 229253 50921 2551 14 0 215723 0
[pid=11680/tid=11682] ppid=11678 vsize=917012 CPUtime=0.88
/proc/11680/task/11682/stat : 11682 (java) S 11678 11680 11612 0 -1 64 33915 0 0 0 77 11 0 0 16 0 8 0 270869848 939020288 50921 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11680/tid=11683] ppid=11678 vsize=917012 CPUtime=0
/proc/11680/task/11683/stat : 11683 (java) S 11678 11680 11612 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270869849 939020288 50921 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11680/tid=11684] ppid=11678 vsize=917012 CPUtime=0
/proc/11680/task/11684/stat : 11684 (java) S 11678 11680 11612 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270869849 939020288 50921 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11680/tid=11685] ppid=11678 vsize=917012 CPUtime=0
/proc/11680/task/11685/stat : 11685 (java) S 11678 11680 11612 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270869852 939020288 50921 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11680/tid=11686] ppid=11678 vsize=917012 CPUtime=0.41
/proc/11680/task/11686/stat : 11686 (java) S 11678 11680 11612 0 -1 64 607 0 0 0 40 1 0 0 16 0 8 0 270869852 939020288 50921 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11680/tid=11687] ppid=11678 vsize=917012 CPUtime=0
/proc/11680/task/11687/stat : 11687 (java) S 11678 11680 11612 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270869852 939020288 50921 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11680/tid=11688] ppid=11678 vsize=917012 CPUtime=0
/proc/11680/task/11688/stat : 11688 (java) S 11678 11680 11612 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 270869852 939020288 50921 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2400.09
Current children cumulated vsize (KiB) 917012
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 2408.86
CPU time (s): 2400.16
CPU user time (s): 2399.15
CPU system time (s): 1.01285
CPU usage (%): 99.6391
Max. virtual memory (cumulated for all children) (KiB): 917012
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.15
system time used= 1.01285
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 51237
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= 50464
involuntary context switches= 79218
runsolver used 2.90256 s user time and 8.01078 s system time
The end
Begin job on node2 on Fri Jan 19 16:39:02 UTC 2007
IDJOB= 275651
IDBENCH= 4190
IDSOLVER= 68
FILE ID= node2/275651-1169224742
PBS_JOBID= 3588972
Free space on /tmp= 66556 MiB
SOLVER NAME= AbsconMax 109 EPFC
BENCH NAME= HOME/pub/bench/CPAI06/fapp/fapp36-40/fapp36/fapp36-2000-2.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/275651-1169224742/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node2/watcher-275651-1169224742 -o ROOT/results/node2/solver-275651-1169224742 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/275651-1169224742/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 137398d09e92b8e2132a9bc337bc058c
RANDOM SEED= 271760241
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.259
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 : 5931.00
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.259
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: 995544 kB
Buffers: 44264 kB
Cached: 616556 kB
SwapCached: 548 kB
Active: 428536 kB
Inactive: 558300 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 995544 kB
SwapTotal: 4192956 kB
SwapFree: 4180552 kB
Dirty: 4452 kB
Writeback: 0 kB
Mapped: 347396 kB
Slab: 57664 kB
Committed_AS: 7765408 kB
PageTables: 2968 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 node2 on Fri Jan 19 17:19:11 UTC 2007