0.32	   
0.33	Abscon 109 (November, 2006)
0.33	   
0.33	   configuration
0.33	     name=epfc.xml
0.35	   
0.35	   instance
0.35	     name=/tmp/evaluation/275249-1169218888/unknown.xml
0.39	   
0.39	   domains being loaded...
0.43	   
0.43	   variables being loaded...
0.70	     nbVariables=3000  nbDomainTypes=23  minDomainSize=42  maxDomainSize=182
0.70	       =>  wckTime=0.373  cpuTime=0.28  mem=27M366
0.70	   
0.70	   predicates being loaded...
0.70	   
0.70	   constraints being loaded...
35.25	     nbConstraints=33021  nbConvertedConstraints=33021  nbConvertConstraintsChecks=93967225  nbExtensionStructures=5683
35.25	     nbSharedExtensionStructures=27338  nbConflictsStructures=5683  nbSharedConflictsStructures=27338
35.25	     nbSharedBinaryRepresentations=1494678  maxDegree=29  maxArity=2
35.25	       =>  wckTime=34.928  cpuTime=34.03  mem=70M699
35.56	   
35.56	   solver LocalSearchSolver being built... 
35.60	       =>  wckTime=35.276  cpuTime=34.08  mem=64M19
35.69	
35.69	s SATISFIABLE
35.69	o 24529
35.69	c 8492
35.71	o 24537
35.71	c 8484
35.72	o 24546
35.72	c 8475
35.74	o 24553
35.74	c 8468
35.75	o 24559
35.75	c 8462
35.76	o 24564
35.76	c 8457
35.78	o 24568
35.78	c 8453
35.79	o 24572
35.79	c 8449
35.80	o 24576
35.80	c 8445
35.81	o 24578
35.81	c 8443
35.82	o 24580
35.82	c 8441
35.83	o 24582
35.83	c 8439
35.84	o 24591
35.84	c 8430
35.86	o 24599
35.86	c 8422
35.87	o 24607
35.87	c 8414
35.88	o 24613
35.88	c 8408
35.89	o 24618
35.89	c 8403
35.90	o 24622
35.90	c 8399
35.91	o 24626
35.91	c 8395
35.92	o 24630
35.92	c 8391
35.93	o 24633
35.93	c 8388
35.94	o 24636
35.94	c 8385
35.95	o 24638
35.95	c 8383
35.96	o 24640
35.96	c 8381
35.97	o 24642
35.97	c 8379
35.98	o 24643
35.98	c 8378
35.99	o 24654
35.99	c 8367
36.01	o 24663
36.01	c 8358
36.02	o 24671
36.02	c 8350
36.04	o 24679
36.04	c 8342
36.06	o 24687
36.06	c 8334
36.07	o 24695
36.07	c 8326
36.09	o 24703
36.09	c 8318
36.10	o 24709
36.10	c 8312
36.12	o 24715
36.12	c 8306
36.13	o 24721
36.13	c 8300
36.15	o 24727
36.15	c 8294
36.16	o 24732
36.16	c 8289
36.18	o 24737
36.18	c 8284
36.19	o 24742
36.19	c 8279
36.21	o 24747
36.21	c 8274
36.22	o 24752
36.22	c 8269
36.23	o 24756
36.23	c 8265
36.25	o 24760
36.25	c 8261
36.26	o 24764
36.26	c 8257
36.27	o 24768
36.27	c 8253
36.29	o 24771
36.29	c 8250
36.30	o 24774
36.30	c 8247
36.31	o 24777
36.31	c 8244
36.32	o 24780
36.32	c 8241
36.33	o 24783
36.33	c 8238
36.34	o 24786
36.34	c 8235
36.35	o 24789
36.35	c 8232
36.37	o 24791
36.37	c 8230
36.38	o 24793
36.38	c 8228
36.39	o 24794
36.39	c 8227
36.40	o 24795
36.40	c 8226
36.41	o 24796
36.41	c 8225
36.43	o 24797
36.43	c 8224
36.46	o 24802
36.46	c 8219
36.47	o 24805
36.47	c 8216
36.48	o 24811
36.48	c 8210
36.49	o 24818
36.49	c 8203
36.51	o 24823
36.51	c 8198
36.53	o 24828
36.53	c 8193
36.54	o 24837
36.54	c 8184
36.56	o 24845
36.56	c 8176
36.58	o 24853
36.58	c 8168
36.60	o 24860
36.60	c 8161
36.62	o 24867
36.62	c 8154
36.65	o 24874
36.65	c 8147
36.67	o 24880
36.67	c 8141
36.69	o 24886
36.69	c 8135
36.71	o 24892
36.71	c 8129
36.73	o 24898
36.73	c 8123
36.75	o 24904
36.75	c 8117
36.77	o 24909
36.77	c 8112
36.79	o 24914
36.79	c 8107
36.81	o 24919
36.81	c 8102
36.83	o 24924
36.83	c 8097
36.85	o 24927
36.85	c 8094
36.87	o 24932
36.87	c 8089
36.89	o 24937
36.89	c 8084
36.91	o 24942
36.91	c 8079
36.92	o 24947
36.92	c 8074
36.94	o 24951
36.94	c 8070
36.96	o 24955
36.96	c 8066
36.98	o 24959
36.98	c 8062
36.99	o 24963
36.99	c 8058
37.01	o 24967
37.01	c 8054
37.03	o 24969
37.03	c 8052
37.04	o 24973
37.04	c 8048
37.06	o 24977
37.06	c 8044
37.07	o 24981
37.07	c 8040
37.09	o 24984
37.09	c 8037
37.11	o 24987
37.11	c 8034
37.12	o 24990
37.12	c 8031
37.14	o 24993
37.14	c 8028
37.16	o 24996
37.16	c 8025
37.17	o 24999
37.17	c 8022
37.19	o 25001
37.19	c 8020
37.20	o 25003
37.20	c 8018
37.21	o 25005
37.21	c 8016
37.23	o 25007
37.23	c 8014
37.24	o 25009
37.24	c 8012
37.25	o 25011
37.25	c 8010
37.27	o 25013
37.27	c 8008
37.28	o 25015
37.28	c 8006
37.30	o 25017
37.30	c 8004
37.31	o 25023
37.31	c 7998
37.32	o 25024
37.32	c 7997
37.33	o 25025
37.33	c 7996
37.34	o 25026
37.34	c 7995
37.36	o 25027
37.36	c 7994
37.37	o 25028
37.37	c 7993
37.38	o 25029
37.38	c 7992
37.39	o 25030
37.39	c 7991
37.39	o 25031
37.39	c 7990
37.40	o 25032
37.40	c 7989
37.41	o 25033
37.41	c 7988
37.42	o 25034
37.42	c 7987
37.44	o 25035
37.44	c 7986
37.46	o 25037
37.46	c 7984
37.47	o 25041
37.47	c 7980
37.48	o 25044
37.48	c 7977
37.49	o 25047
37.49	c 7974
37.50	o 25053
37.50	c 7968
37.52	o 25058
37.52	c 7963
37.53	o 25060
37.53	c 7961
37.54	o 25065
37.54	c 7956
37.55	o 25071
37.55	c 7950
37.56	o 25074
37.56	c 7947
37.57	o 25075
37.57	c 7946
37.58	o 25076
37.58	c 7945
37.60	o 25079
37.60	c 7942
37.61	o 25084
37.61	c 7937
37.62	o 25085
37.62	c 7936
37.63	o 25087
37.63	c 7934
37.64	o 25089
37.64	c 7932
37.65	o 25096
37.65	c 7925
37.68	o 25098
37.68	c 7923
37.70	o 25105
37.70	c 7916
37.72	o 25112
37.72	c 7909
37.75	o 25119
37.75	c 7902
37.77	o 25125
37.77	c 7896
37.79	o 25131
37.80	c 7890
37.82	o 25137
37.82	c 7884
37.84	o 25143
37.84	c 7878
37.87	o 25145
37.87	c 7876
37.89	o 25151
37.89	c 7870
37.91	o 25157
37.91	c 7864
37.93	o 25163
37.93	c 7858
37.95	o 25168
37.95	c 7853
37.98	o 25173
37.98	c 7848
38.00	o 25178
38.00	c 7843
38.02	o 25183
38.02	c 7838
38.04	o 25188
38.04	c 7833
38.06	o 25193
38.06	c 7828
38.09	o 25198
38.09	c 7823
38.11	o 25203
38.11	c 7818
38.13	o 25207
38.13	c 7814
38.15	o 25211
38.15	c 7810
38.17	o 25215
38.17	c 7806
38.19	o 25219
38.19	c 7802
38.21	o 25223
38.21	c 7798
38.23	o 25227
38.23	c 7794
38.25	o 25231
38.25	c 7790
38.27	o 25235
38.27	c 7786
38.29	o 25238
38.29	c 7783
38.31	o 25241
38.31	c 7780
38.33	o 25244
38.33	c 7777
38.35	o 25247
38.35	c 7774
38.36	o 25248
38.36	c 7773
38.38	o 25250
38.38	c 7771
38.40	o 25253
38.40	c 7768
38.42	o 25256
38.42	c 7765
38.44	o 25259
38.44	c 7762
38.46	o 25262
38.46	c 7759
38.47	o 25265
38.47	c 7756
38.49	o 25268
38.49	c 7753
38.50	o 25271
38.50	c 7750
38.52	o 25274
38.52	c 7747
38.54	o 25277
38.54	c 7744
38.55	o 25280
38.55	c 7741
38.57	o 25283
38.57	c 7738
38.58	o 25285
38.58	c 7736
38.60	o 25287
38.60	c 7734
38.61	o 25289
38.61	c 7732
38.62	o 25291
38.62	c 7730
38.64	o 25293
38.64	c 7728
38.65	o 25295
38.65	c 7726
38.67	o 25297
38.67	c 7724
38.68	o 25299
38.68	c 7722
38.69	o 25301
38.69	c 7720
38.71	o 25303
38.71	c 7718
38.72	o 25304
38.72	c 7717
38.73	o 25305
38.73	c 7716
38.75	o 25306
38.75	c 7715
38.76	o 25308
38.76	c 7713
38.77	o 25309
38.77	c 7712
38.78	o 25310
38.78	c 7711
38.79	o 25311
38.79	c 7710
38.81	o 25312
38.81	c 7709
38.86	o 25314
38.86	c 7707
38.87	o 25319
38.87	c 7702
38.89	o 25323
38.89	c 7698
38.90	o 25325
38.90	c 7696
38.90	o 25328
38.90	c 7693
38.91	o 25330
38.91	c 7691
38.93	o 25331
38.93	c 7690
38.94	o 25337
38.94	c 7684
38.95	o 25342
38.95	c 7679
38.96	o 25347
38.96	c 7674
38.98	o 25352
38.98	c 7669
38.99	o 25356
38.99	c 7665
39.00	o 25358
39.00	c 7663
39.01	o 25360
39.01	c 7661
39.03	o 25361
39.03	c 7660
39.04	o 25363
39.04	c 7658
39.06	o 25366
39.06	c 7655
39.08	o 25371
39.08	c 7650
39.09	o 25374
39.09	c 7647
39.10	o 25382
39.10	c 7639
39.11	o 25384
39.11	c 7637
39.12	o 25389
39.12	c 7632
39.13	o 25393
39.13	c 7628
39.14	o 25396
39.14	c 7625
39.15	o 25401
39.15	c 7620
39.16	o 25410
39.16	c 7611
39.18	o 25411
39.18	c 7610
39.19	o 25416
39.19	c 7605
39.20	o 25425
39.20	c 7596
39.22	o 25428
39.22	c 7593
39.23	o 25433
39.23	c 7588
39.24	o 25436
39.24	c 7585
39.25	o 25437
39.25	c 7584
39.26	o 25439
39.26	c 7582
39.27	o 25443
39.27	c 7578
39.28	o 25446
39.28	c 7575
39.29	o 25450
39.29	c 7571
39.30	o 25452
39.30	c 7569
39.31	o 25455
39.31	c 7566
39.32	o 25456
39.32	c 7565
39.34	o 25459
39.34	c 7562
39.35	o 25462
39.35	c 7559
39.36	o 25465
39.36	c 7556
39.37	o 25467
39.37	c 7554
39.38	o 25468
39.38	c 7553
39.39	o 25470
39.39	c 7551
39.40	o 25473
39.40	c 7548
39.42	o 25480
39.42	c 7541
39.43	o 25484
39.43	c 7537
39.44	o 25488
39.44	c 7533
39.46	o 25491
39.46	c 7530
39.48	o 25497
39.48	c 7524
39.49	o 25499
39.49	c 7522
39.51	o 25506
39.51	c 7515
39.53	o 25513
39.53	c 7508
39.55	o 25519
39.55	c 7502
39.58	o 25525
39.58	c 7496
39.60	o 25531
39.60	c 7490
39.62	o 25537
39.62	c 7484
39.65	o 25542
39.65	c 7479
39.67	o 25547
39.67	c 7474
39.69	o 25552
39.69	c 7469
39.71	o 25557
39.71	c 7464
39.74	o 25561
39.74	c 7460
39.76	o 25565
39.76	c 7456
39.78	o 25569
39.78	c 7452
39.80	o 25573
39.81	c 7448
39.83	o 25577
39.83	c 7444
39.85	o 25581
39.85	c 7440
39.87	o 25585
39.87	c 7436
39.89	o 25589
39.89	c 7432
39.91	o 25593
39.91	c 7428
39.93	o 25597
39.93	c 7424
39.95	o 25601
39.95	c 7420
39.97	o 25608
39.97	c 7413
39.99	o 25613
39.99	c 7408
40.01	o 25617
40.01	c 7404
40.03	o 25621
40.03	c 7400
40.05	o 25625
40.05	c 7396
40.07	o 25628
40.07	c 7393
40.09	o 25631
40.09	c 7390
40.11	o 25634
40.11	c 7387
40.13	o 25637
40.13	c 7384
40.15	o 25640
40.15	c 7381
40.17	o 25643
40.17	c 7378
40.19	o 25646
40.19	c 7375
40.21	o 25649
40.21	c 7372
40.23	o 25651
40.23	c 7370
40.25	o 25653
40.25	c 7368
40.26	o 25655
40.26	c 7366
40.28	o 25657
40.28	c 7364
40.30	o 25659
40.30	c 7362
40.31	o 25661
40.31	c 7360
40.33	o 25663
40.33	c 7358
40.35	o 25665
40.35	c 7356
40.37	o 25667
40.37	c 7354
40.38	o 25669
40.38	c 7352
40.40	o 25671
40.40	c 7350
40.41	o 25673
40.41	c 7348
40.43	o 25675
40.43	c 7346
40.44	o 25676
40.44	c 7345
40.46	o 25677
40.46	c 7344
40.48	o 25678
40.48	c 7343
40.49	o 25679
40.49	c 7342
40.51	o 25680
40.51	c 7341
40.52	o 25681
40.52	c 7340
40.54	o 25682
40.54	c 7339
40.55	o 25683
40.55	c 7338
40.57	o 25684
40.57	c 7337
40.58	o 25689
40.58	c 7332
40.60	o 25690
40.60	c 7331
40.69	o 25695
40.69	c 7326
40.70	o 25699
40.70	c 7322
40.71	o 25703
40.71	c 7318
40.73	o 25704
40.73	c 7317
40.74	o 25710
40.74	c 7311
40.76	o 25712
40.76	c 7309
40.77	o 25718
40.77	c 7303
40.78	o 25723
40.78	c 7298
40.80	o 25728
40.80	c 7293
40.81	o 25732
40.81	c 7289
40.82	o 25737
40.82	c 7284
40.84	o 25739
40.84	c 7282
40.85	o 25742
40.85	c 7279
40.87	o 25745
40.87	c 7276
40.89	o 25749
40.89	c 7272
40.90	o 25752
40.90	c 7269
40.91	o 25759
40.91	c 7262
40.93	o 25762
40.93	c 7259
40.94	o 25764
40.94	c 7257
40.97	o 25768
40.97	c 7253
40.98	o 25772
40.98	c 7249
40.99	o 25776
40.99	c 7245
41.01	o 25777
41.01	c 7244
41.02	o 25779
41.02	c 7242
41.03	o 25780
41.03	c 7241
41.05	o 25783
41.05	c 7238
41.06	o 25788
41.06	c 7233
41.08	o 25791
41.08	c 7230
41.09	o 25792
41.09	c 7229
41.12	o 25794
41.12	c 7227
41.13	o 25797
41.13	c 7224
41.15	o 25801
41.15	c 7220
41.16	o 25805
41.16	c 7216
41.17	o 25808
41.17	c 7213
41.19	o 25812
41.19	c 7209
41.20	o 25813
41.20	c 7208
41.22	o 25817
41.22	c 7204
41.23	o 25820
41.23	c 7201
41.24	o 25822
41.24	c 7199
41.27	o 25829
41.27	c 7192
41.29	o 25831
41.29	c 7190
41.30	o 25836
41.30	c 7185
41.32	o 25838
41.32	c 7183
41.33	o 25842
41.33	c 7179
41.35	o 25843
41.35	c 7178
41.36	o 25848
41.36	c 7173
41.38	o 25849
41.38	c 7172
41.41	o 25850
41.42	c 7171
41.44	o 25855
41.44	c 7166
41.45	o 25858
41.45	c 7163
41.47	o 25859
41.47	c 7162
41.49	o 25862
41.49	c 7159
41.51	o 25865
41.51	c 7156
41.53	o 25871
41.53	c 7150
41.54	o 25875
41.54	c 7146
41.57	o 25876
41.57	c 7145
41.59	o 25881
41.59	c 7140
41.61	o 25884
41.61	c 7137
41.63	o 25891
41.63	c 7130
41.65	o 25892
41.65	c 7129
41.67	o 25893
41.67	c 7128
41.71	o 25895
41.71	c 7126
41.73	o 25896
41.73	c 7125
41.75	o 25903
41.75	c 7118
41.78	o 25908
41.78	c 7113
41.81	o 25913
41.81	c 7108
41.84	o 25918
41.84	c 7103
41.87	o 25923
41.87	c 7098
41.90	o 25928
41.90	c 7093
41.94	o 25933
41.94	c 7088
41.97	o 25937
41.97	c 7084
42.00	o 25941
42.00	c 7080
42.03	o 25946
42.03	c 7075
42.06	o 25949
42.06	c 7072
42.09	o 25953
42.09	c 7068
42.12	o 25957
42.12	c 7064
42.15	o 25961
42.15	c 7060
42.18	o 25965
42.18	c 7056
42.21	o 25968
42.21	c 7053
42.23	o 25972
42.23	c 7049
42.26	o 25978
42.26	c 7043
42.29	o 25982
42.29	c 7039
42.32	o 25986
42.32	c 7035
42.35	o 25990
42.35	c 7031
42.38	o 25993
42.38	c 7028
42.41	o 25994
42.41	c 7027
42.43	o 25998
42.43	c 7023
42.46	o 26001
42.46	c 7020
42.49	o 26004
42.49	c 7017
42.52	o 26007
42.52	c 7014
42.55	o 26010
42.55	c 7011
42.57	o 26013
42.57	c 7008
42.60	o 26016
42.60	c 7005
42.63	o 26019
42.63	c 7002
42.66	o 26022
42.66	c 6999
42.68	o 26025
42.68	c 6996
42.71	o 26028
42.71	c 6993
42.74	o 26030
42.74	c 6991
42.76	o 26032
42.76	c 6989
42.79	o 26034
42.79	c 6987
42.81	o 26036
42.81	c 6985
42.84	o 26038
42.84	c 6983
42.86	o 26040
42.86	c 6981
42.88	o 26042
42.88	c 6979
42.91	o 26044
42.91	c 6977
42.93	o 26046
42.93	c 6975
42.95	o 26048
42.95	c 6973
42.97	o 26052
42.97	c 6969
42.99	o 26053
42.99	c 6968
43.02	o 26054
43.02	c 6967
43.04	o 26056
43.04	c 6965
43.06	o 26057
43.06	c 6964
43.08	o 26062
43.08	c 6959
43.10	o 26063
43.10	c 6958
43.13	o 26064
43.13	c 6957
43.15	o 26065
43.15	c 6956
43.17	o 26066
43.17	c 6955
43.19	o 26067
43.19	c 6954
43.21	o 26068
43.21	c 6953
43.23	o 26075
43.23	c 6946
43.39	o 26076
43.39	c 6945
43.41	o 26079
43.41	c 6942
43.44	o 26083
43.44	c 6938
43.46	o 26087
43.46	c 6934
43.48	o 26090
43.48	c 6931
43.50	o 26096
43.50	c 6925
43.52	o 26097
43.52	c 6924
43.53	o 26099
43.53	c 6922
43.55	o 26104
43.55	c 6917
43.57	o 26105
43.57	c 6916
43.60	o 26109
43.60	c 6912
43.63	o 26110
43.63	c 6911
43.65	o 26115
43.65	c 6906
43.67	o 26120
43.67	c 6901
43.69	o 26121
43.69	c 6900
43.70	o 26122
43.70	c 6899
43.72	o 26126
43.72	c 6895
43.74	o 26130
43.74	c 6891
43.76	o 26131
43.77	c 6890
43.79	o 26132
43.79	c 6889
43.82	o 26134
43.82	c 6887
43.87	o 26136
43.87	c 6885
43.89	o 26138
43.89	c 6883
43.90	o 26141
43.90	c 6880
43.92	o 26146
43.92	c 6875
43.95	o 26150
43.95	c 6871
43.97	o 26152
43.97	c 6869
43.99	o 26155
43.99	c 6866
44.01	o 26158
44.01	c 6863
44.04	o 26160
44.04	c 6861
44.06	o 26164
44.06	c 6857
44.08	o 26165
44.08	c 6856
44.10	o 26166
44.10	c 6855
44.11	o 26167
44.11	c 6854
44.13	o 26169
44.13	c 6852
44.15	o 26170
44.15	c 6851
44.20	o 26176
44.20	c 6845
44.21	o 26180
44.21	c 6841
44.23	o 26183
44.23	c 6838
44.25	o 26185
44.25	c 6836
44.27	o 26187
44.27	c 6834
44.29	o 26190
44.29	c 6831
44.31	o 26191
44.31	c 6830
44.33	o 26197
44.33	c 6824
44.35	o 26200
44.35	c 6821
44.37	o 26201
44.37	c 6820
44.39	o 26202
44.39	c 6819
44.41	o 26204
44.41	c 6817
44.43	o 26207
44.43	c 6814
44.45	o 26212
44.45	c 6809
44.47	o 26214
44.47	c 6807
44.49	o 26215
44.49	c 6806
44.51	o 26220
44.51	c 6801
44.53	o 26224
44.53	c 6797
44.55	o 26226
44.55	c 6795
44.57	o 26230
44.57	c 6791
44.59	o 26231
44.59	c 6790
44.61	o 26235
44.61	c 6786
44.63	o 26237
44.63	c 6784
44.65	o 26239
44.65	c 6782
44.67	o 26244
44.67	c 6777
44.69	o 26247
44.70	c 6774
44.74	o 26248
44.74	c 6773
44.76	o 26249
44.76	c 6772
44.78	o 26250
44.78	c 6771
44.80	o 26253
44.80	c 6768
44.82	o 26257
44.82	c 6764
44.84	o 26260
44.84	c 6761
44.86	o 26262
44.86	c 6759
44.88	o 26264
44.88	c 6757
44.90	o 26265
44.90	c 6756
44.92	o 26272
44.92	c 6749
44.96	o 26274
44.96	c 6747
44.99	o 26279
44.99	c 6742
45.01	o 26280
45.01	c 6741
45.03	o 26283
45.03	c 6738
45.05	o 26287
45.05	c 6734
45.08	o 26289
45.08	c 6732
45.10	o 26292
45.10	c 6729
45.12	o 26294
45.12	c 6727
45.14	o 26298
45.14	c 6723
45.17	o 26300
45.17	c 6721
45.19	o 26302
45.19	c 6719
45.21	o 26305
45.21	c 6716
45.24	o 26307
45.24	c 6714
45.26	o 26310
45.26	c 6711
45.29	o 26315
45.29	c 6706
45.31	o 26316
45.31	c 6705
45.33	o 26320
45.33	c 6701
45.35	o 26321
45.35	c 6700
45.38	o 26324
45.38	c 6697
45.42	o 26325
45.42	c 6696
45.45	o 26328
45.45	c 6693
45.47	o 26330
45.47	c 6691
45.50	o 26334
45.50	c 6687
45.54	o 26336
45.54	c 6685
45.57	o 26337
45.57	c 6684
45.59	o 26339
45.59	c 6682
45.61	o 26343
45.61	c 6678
45.64	o 26347
45.64	c 6674
45.66	o 26348
45.66	c 6673
45.68	o 26350
45.68	c 6671
45.71	o 26352
45.71	c 6669
45.73	o 26354
45.74	c 6667
45.80	o 26359
45.80	c 6662
45.82	o 26360
45.82	c 6661
45.87	o 26366
45.87	c 6655
45.91	o 26371
45.91	c 6650
45.93	o 26377
45.93	c 6644
45.96	o 26379
45.96	c 6642
46.00	o 26383
46.00	c 6638
46.04	o 26384
46.04	c 6637
46.09	o 26385
46.09	c 6636
46.11	o 26386
46.11	c 6635
46.13	o 26388
46.13	c 6633
46.17	o 26391
46.17	c 6630
46.19	o 26394
46.19	c 6627
46.22	o 26398
46.22	c 6623
46.26	o 26400
46.26	c 6621
46.29	o 26404
46.29	c 6617
46.31	o 26406
46.31	c 6615
46.36	o 26407
46.36	c 6614
46.38	o 26408
46.38	c 6613
46.40	o 26412
46.40	c 6609
46.43	o 26413
46.43	c 6608
46.51	o 26414
46.51	c 6607
46.58	o 26419
46.58	c 6602
46.64	o 26420
46.64	c 6601
46.67	o 26422
46.67	c 6599
46.70	o 26427
46.70	c 6594
46.72	o 26432
46.72	c 6589
46.75	o 26436
46.75	c 6585
46.78	o 26440
46.78	c 6581
46.81	o 26444
46.81	c 6577
46.84	o 26448
46.84	c 6573
46.87	o 26452
46.87	c 6569
46.90	o 26454
46.90	c 6567
46.93	o 26457
46.93	c 6564
46.96	o 26460
46.96	c 6561
46.99	o 26463
46.99	c 6558
47.01	o 26465
47.01	c 6556
47.04	o 26466
47.04	c 6555
47.07	o 26469
47.07	c 6552
47.10	o 26472
47.10	c 6549
47.13	o 26474
47.13	c 6547
47.16	o 26476
47.16	c 6545
47.19	o 26478
47.19	c 6543
47.22	o 26480
47.22	c 6541
47.25	o 26482
47.25	c 6539
47.27	o 26484
47.27	c 6537
47.30	o 26485
47.30	c 6536
47.33	o 26486
47.33	c 6535
47.35	o 26487
47.35	c 6534
47.46	o 26488
47.46	c 6533
47.48	o 26489
47.48	c 6532
47.51	o 26490
47.51	c 6531
47.54	o 26492
47.54	c 6529
47.56	o 26493
47.56	c 6528
47.58	o 26494
47.58	c 6527
47.78	o 26496
47.78	c 6525
47.80	o 26499
47.80	c 6522
47.89	o 26500
47.89	c 6521
47.91	o 26501
47.91	c 6520
47.95	o 26502
47.95	c 6519
47.98	o 26504
47.98	c 6517
48.02	o 26506
48.02	c 6515
48.04	o 26510
48.04	c 6511
48.06	o 26514
48.06	c 6507
48.10	o 26519
48.10	c 6502
48.13	o 26521
48.13	c 6500
48.15	o 26527
48.15	c 6494
48.17	o 26530
48.17	c 6491
48.21	o 26534
48.21	c 6487
48.24	o 26538
48.24	c 6483
48.26	o 26543
48.26	c 6478
48.30	o 26548
48.30	c 6473
48.33	o 26553
48.33	c 6468
48.35	o 26556
48.35	c 6465
48.37	o 26560
48.37	c 6461
48.39	o 26565
48.39	c 6456
48.42	o 26567
48.42	c 6454
48.44	o 26568
48.44	c 6453
48.46	o 26569
48.46	c 6452
48.49	o 26572
48.49	c 6449
48.51	o 26575
48.51	c 6446
48.56	o 26576
48.56	c 6445
48.60	o 26578
48.60	c 6443
48.63	o 26580
48.63	c 6441
48.65	o 26584
48.65	c 6437
48.67	o 26588
48.67	c 6433
48.69	o 26592
48.69	c 6429
48.72	o 26595
48.72	c 6426
48.76	o 26596
48.76	c 6425
48.79	o 26597
48.79	c 6424
48.84	o 26600
48.84	c 6421
48.86	o 26605
48.86	c 6416
48.91	o 26606
48.91	c 6415
48.93	o 26608
48.93	c 6413
48.95	o 26613
48.95	c 6408
48.98	o 26616
48.98	c 6405
49.00	o 26618
49.00	c 6403
49.03	o 26619
49.03	c 6402
49.05	o 26622
49.05	c 6399
49.07	o 26629
49.08	c 6392
49.10	o 26630
49.10	c 6391
49.13	o 26635
49.13	c 6386
49.21	o 26638
49.21	c 6383
49.23	o 26641
49.23	c 6380
49.28	o 26644
49.28	c 6377
49.31	o 26646
49.31	c 6375
49.34	o 26652
49.34	c 6369
49.44	o 26653
49.44	c 6368
49.46	o 26656
49.46	c 6365
49.49	o 26658
49.49	c 6363
49.54	o 26659
49.54	c 6362
49.56	o 26661
49.56	c 6360
49.59	o 26665
49.59	c 6356
49.62	o 26668
49.62	c 6353
49.64	o 26671
49.64	c 6350
49.69	o 26674
49.69	c 6347
49.72	o 26675
49.72	c 6346
49.80	o 26676
49.80	c 6345
49.83	o 26679
49.83	c 6342
49.85	o 26682
49.85	c 6339
49.88	o 26684
49.88	c 6337
49.91	o 26685
49.91	c 6336
49.94	o 26687
49.94	c 6334
49.97	o 26689
49.97	c 6332
50.02	o 26693
50.02	c 6328
50.07	o 26694
50.07	c 6327
50.10	o 26699
50.10	c 6322
50.13	o 26702
50.13	c 6319
50.18	o 26704
50.18	c 6317
50.21	o 26708
50.21	c 6313
50.24	o 26709
50.24	c 6312
50.27	o 26711
50.27	c 6310
50.29	o 26713
50.29	c 6308
50.32	o 26718
50.32	c 6303
50.35	o 26720
50.35	c 6301
50.38	o 26721
50.38	c 6300
50.41	o 26723
50.41	c 6298
50.44	o 26726
50.44	c 6295
50.47	o 26727
50.47	c 6294
50.50	o 26728
50.50	c 6293
50.56	o 26729
50.56	c 6292
50.58	o 26732
50.58	c 6289
50.62	o 26734
50.62	c 6287
50.64	o 26738
50.64	c 6283
50.68	o 26743
50.68	c 6278
50.71	o 26744
50.71	c 6277
50.74	o 26745
50.74	c 6276
50.80	o 26746
50.80	c 6275
50.82	o 26751
50.83	c 6270
50.86	o 26756
50.86	c 6265
50.88	o 26759
50.88	c 6262
50.91	o 26761
50.91	c 6260
50.94	o 26765
50.94	c 6256
50.97	o 26767
50.97	c 6254
51.03	o 26768
51.03	c 6253
51.05	o 26773
51.05	c 6248
51.11	o 26776
51.11	c 6245
51.14	o 26780
51.14	c 6241
51.17	o 26783
51.17	c 6238
51.20	o 26786
51.20	c 6235
51.23	o 26792
51.23	c 6229
51.25	o 26794
51.25	c 6227
51.37	o 26795
51.37	c 6226
51.39	o 26799
51.39	c 6222
51.42	o 26801
51.42	c 6220
51.45	o 26804
51.45	c 6217
51.54	o 26807
51.54	c 6214
51.57	o 26813
51.57	c 6208
51.63	o 26817
51.63	c 6204
51.66	o 26818
51.66	c 6203
51.69	o 26822
51.69	c 6199
51.72	o 26825
51.72	c 6196
51.75	o 26826
51.75	c 6195
51.78	o 26827
51.78	c 6194
51.81	o 26829
51.81	c 6192
51.90	o 26831
51.90	c 6190
51.93	o 26832
51.93	c 6189
51.99	o 26836
51.99	c 6185
52.02	o 26838
52.02	c 6183
52.05	o 26842
52.05	c 6179
52.11	o 26843
52.11	c 6178
52.14	o 26844
52.14	c 6177
52.18	o 26846
52.18	c 6175
52.21	o 26847
52.21	c 6174
52.24	o 26852
52.24	c 6169
52.27	o 26854
52.27	c 6167
52.30	o 26856
52.30	c 6165
52.38	o 26858
52.38	c 6163
52.41	o 26860
52.41	c 6161
52.44	o 26861
52.44	c 6160
52.47	o 26864
52.47	c 6157
52.50	o 26867
52.50	c 6154
52.62	o 26869
52.62	c 6152
52.65	o 26872
52.65	c 6149
52.71	o 26876
52.71	c 6145
52.74	o 26881
52.74	c 6140
52.77	o 26884
52.77	c 6137
52.79	o 26887
52.79	c 6134
52.82	o 26889
52.83	c 6132
52.86	o 26892
52.86	c 6129
52.89	o 26895
52.89	c 6126
52.95	o 26901
52.95	c 6120
53.00	o 26902
53.00	c 6119
53.03	o 26906
53.03	c 6115
53.07	o 26908
53.07	c 6113
53.10	o 26910
53.10	c 6111
53.16	o 26914
53.16	c 6107
53.18	o 26915
53.18	c 6106
53.22	o 26916
53.22	c 6105
53.25	o 26921
53.25	c 6100
53.28	o 26925
53.28	c 6096
53.31	o 26929
53.31	c 6092
53.35	o 26931
53.35	c 6090
53.38	o 26935
53.38	c 6086
53.42	o 26939
53.42	c 6082
53.46	o 26942
53.46	c 6079
53.49	o 26945
53.49	c 6076
53.53	o 26948
53.53	c 6073
53.56	o 26950
53.56	c 6071
53.60	o 26955
53.60	c 6066
53.63	o 26957
53.63	c 6064
53.66	o 26960
53.66	c 6061
53.70	o 26963
53.70	c 6058
53.73	o 26965
53.73	c 6056
53.77	o 26967
53.77	c 6054
53.81	o 26969
53.81	c 6052
53.84	o 26971
53.84	c 6050
53.88	o 26972
53.88	c 6049
53.91	o 26973
53.91	c 6048
53.95	o 26974
53.95	c 6047
53.98	o 26975
53.98	c 6046
54.01	o 26976
54.01	c 6045
54.05	o 26977
54.05	c 6044
54.08	o 26978
54.08	c 6043
54.11	o 26980
54.11	c 6041
54.18	o 26982
54.18	c 6039
54.33	o 26984
54.33	c 6037
54.42	o 26985
54.42	c 6036
54.70	o 26991
54.70	c 6030
54.73	o 26992
54.73	c 6029
54.76	o 26996
54.76	c 6025
54.79	o 26998
54.79	c 6023
54.82	o 27003
54.82	c 6018
54.85	o 27005
54.85	c 6016
54.87	o 27010
54.87	c 6011
54.90	o 27012
54.90	c 6009
54.96	o 27013
54.96	c 6008
54.99	o 27015
54.99	c 6006
55.02	o 27016
55.02	c 6005
55.07	o 27019
55.07	c 6002
55.12	o 27020
55.12	c 6001
55.15	o 27021
55.15	c 6000
55.18	o 27024
55.18	c 5997
55.21	o 27026
55.21	c 5995
55.23	o 27027
55.23	c 5994
55.26	o 27029
55.26	c 5992
55.31	o 27030
55.31	c 5991
55.34	o 27032
55.34	c 5989
55.44	o 27036
55.44	c 5985
55.47	o 27039
55.47	c 5982
55.49	o 27043
55.49	c 5978
55.52	o 27047
55.52	c 5974
55.58	o 27050
55.58	c 5971
55.61	o 27054
55.61	c 5967
55.63	o 27057
55.63	c 5964
55.69	o 27058
55.69	c 5963
55.75	o 27060
55.75	c 5961
55.81	o 27063
55.81	c 5958
55.85	o 27064
55.85	c 5957
55.88	o 27066
55.88	c 5955
55.91	o 27068
55.91	c 5953
55.95	o 27069
55.95	c 5952
55.98	o 27072
55.98	c 5949
56.01	o 27076
56.01	c 5945
56.04	o 27081
56.04	c 5940
56.08	o 27085
56.08	c 5936
56.11	o 27087
56.11	c 5934
56.14	o 27091
56.14	c 5930
56.18	o 27094
56.18	c 5927
56.21	o 27095
56.21	c 5926
56.24	o 27097
56.24	c 5924
56.28	o 27099
56.28	c 5922
56.31	o 27103
56.31	c 5918
56.35	o 27104
56.35	c 5917
56.38	o 27108
56.38	c 5913
56.41	o 27113
56.41	c 5908
56.48	o 27115
56.48	c 5906
56.51	o 27119
56.51	c 5902
56.58	o 27121
56.58	c 5900
56.64	o 27122
56.64	c 5899
56.68	o 27127
56.68	c 5894
56.71	o 27131
56.71	c 5890
56.78	o 27132
56.78	c 5889
56.82	o 27137
56.82	c 5884
56.85	o 27142
56.85	c 5879
56.88	o 27146
56.88	c 5875
56.92	o 27149
56.92	c 5872
56.95	o 27150
56.95	c 5871
56.98	o 27152
56.98	c 5869
57.02	o 27155
57.02	c 5866
57.08	o 27158
57.08	c 5863
57.11	o 27161
57.11	c 5860
57.14	o 27162
57.14	c 5859
57.18	o 27163
57.18	c 5858
57.21	o 27168
57.21	c 5853
57.24	o 27169
57.24	c 5852
57.28	o 27171
57.28	c 5850
57.49	o 27172
57.49	c 5849
57.51	o 27174
57.51	c 5847
57.54	o 27175
57.54	c 5846
57.57	o 27180
57.57	c 5841
57.61	o 27186
57.61	c 5835
57.64	o 27189
57.64	c 5832
57.67	o 27191
57.67	c 5830
57.70	o 27192
57.70	c 5829
57.76	o 27193
57.76	c 5828
57.79	o 27195
57.79	c 5826
57.82	o 27201
57.82	c 5820
57.88	o 27202
57.88	c 5819
57.91	o 27203
57.91	c 5818
57.94	o 27204
57.94	c 5817
57.97	o 27206
57.97	c 5815
58.00	o 27211
58.00	c 5810
58.03	o 27213
58.03	c 5808
58.06	o 27215
58.06	c 5806
58.09	o 27217
58.09	c 5804
58.13	o 27218
58.13	c 5803
58.25	o 27220
58.25	c 5801
58.28	o 27222
58.28	c 5799
58.31	o 27226
58.31	c 5795
58.34	o 27227
58.34	c 5794
58.37	o 27229
58.37	c 5792
58.41	o 27231
58.41	c 5790
58.44	o 27236
58.44	c 5785
58.50	o 27238
58.50	c 5783
58.53	o 27240
58.53	c 5781
58.59	o 27241
58.59	c 5780
58.63	o 27245
58.63	c 5776
58.66	o 27249
58.66	c 5772
58.70	o 27252
58.70	c 5769
58.73	o 27253
58.73	c 5768
58.80	o 27256
58.80	c 5765
58.86	o 27257
58.86	c 5764
58.89	o 27260
58.89	c 5761
58.93	o 27262
58.93	c 5759
58.96	o 27263
58.96	c 5758
59.00	o 27266
59.00	c 5755
59.03	o 27268
59.03	c 5753
59.06	o 27269
59.06	c 5752
59.12	o 27270
59.12	c 5751
59.15	o 27272
59.15	c 5749
59.18	o 27274
59.18	c 5747
59.22	o 27277
59.22	c 5744
59.25	o 27278
59.25	c 5743
59.28	o 27281
59.28	c 5740
59.31	o 27284
59.31	c 5737
59.34	o 27288
59.34	c 5733
59.40	o 27292
59.40	c 5729
59.43	o 27294
59.43	c 5727
59.46	o 27295
59.46	c 5726
59.49	o 27296
59.49	c 5725
59.55	o 27297
59.55	c 5724
59.59	o 27301
59.59	c 5720
59.65	o 27302
59.65	c 5719
59.68	o 27303
59.68	c 5718
59.71	o 27305
59.71	c 5716
59.75	o 27307
59.75	c 5714
59.78	o 27308
59.78	c 5713
59.85	o 27311
59.85	c 5710
59.92	o 27313
59.92	c 5708
59.95	o 27314
59.95	c 5707
59.99	o 27318
59.99	c 5703
60.03	o 27323
60.03	c 5698
60.16	o 27327
60.16	c 5694
60.20	o 27330
60.20	c 5691
60.24	o 27333
60.24	c 5688
60.28	o 27338
60.28	c 5683
60.38	o 27340
60.38	c 5681
60.42	o 27342
60.42	c 5679
60.46	o 27344
60.46	c 5677
60.57	o 27346
60.57	c 5675
60.61	o 27348
60.61	c 5673
60.65	o 27349
60.65	c 5672
60.69	o 27350
60.69	c 5671
60.73	o 27351
60.73	c 5670
60.77	o 27354
60.77	c 5667
60.81	o 27358
60.81	c 5663
60.84	o 27359
60.84	c 5662
60.88	o 27360
60.88	c 5661
60.95	o 27362
60.95	c 5659
61.03	o 27363
61.03	c 5658
61.06	o 27365
61.06	c 5656
61.10	o 27368
61.10	c 5653
61.14	o 27372
61.14	c 5649
61.21	o 27373
61.21	c 5648
61.32	o 27374
61.32	c 5647
61.40	o 27376
61.40	c 5645
61.43	o 27378
61.43	c 5643
61.47	o 27381
61.47	c 5640
61.59	o 27384
61.59	c 5637
61.63	o 27386
61.63	c 5635
61.67	o 27387
61.67	c 5634
61.74	o 27389
61.74	c 5632
61.78	o 27391
61.78	c 5630
61.82	o 27393
61.82	c 5628
61.89	o 27395
61.89	c 5626
61.97	o 27396
61.97	c 5625
62.01	o 27397
62.01	c 5624
62.09	o 27399
62.09	c 5622
62.13	o 27400
62.13	c 5621
62.25	o 27404
62.25	c 5617
62.29	o 27405
62.29	c 5616
62.37	o 27406
62.37	c 5615
62.42	o 27407
62.42	c 5614
62.46	o 27410
62.46	c 5611
62.63	o 27411
62.63	c 5610
62.75	o 27412
62.75	c 5609
62.79	o 27418
62.79	c 5603
62.83	o 27422
62.83	c 5599
62.87	o 27423
62.87	c 5598
62.91	o 27424
62.91	c 5597
62.95	o 27428
62.95	c 5593
63.00	o 27429
63.00	c 5592
63.04	o 27430
63.04	c 5591
63.08	o 27431
63.08	c 5590
63.12	o 27433
63.12	c 5588
63.20	o 27434
63.20	c 5587
63.28	o 27436
63.28	c 5585
63.41	o 27438
63.41	c 5583
63.45	o 27441
63.45	c 5580
63.49	o 27446
63.49	c 5575
63.62	o 27447
63.62	c 5574
63.66	o 27448
63.66	c 5573
63.70	o 27452
63.70	c 5569
63.74	o 27453
63.74	c 5568
63.83	o 27454
63.83	c 5567
63.87	o 27457
63.87	c 5564
63.95	o 27458
63.95	c 5563
63.99	o 27464
63.99	c 5557
64.03	o 27465
64.03	c 5556
64.07	o 27467
64.07	c 5554
64.11	o 27470
64.11	c 5551
64.15	o 27474
64.15	c 5547
64.22	o 27476
64.22	c 5545
64.47	o 27480
64.47	c 5541
64.51	o 27483
64.51	c 5538
64.56	o 27486
64.56	c 5535
64.61	o 27489
64.61	c 5532
64.65	o 27491
64.65	c 5530
64.70	o 27493
64.70	c 5528
64.74	o 27495
64.74	c 5526
64.79	o 27497
64.79	c 5524
64.83	o 27499
64.83	c 5522
64.87	o 27501
64.87	c 5520
64.91	o 27503
64.91	c 5518
64.96	o 27504
64.96	c 5517
65.00	o 27505
65.00	c 5516
65.04	o 27506
65.04	c 5515
65.09	o 27507
65.09	c 5514
65.13	o 27508
65.13	c 5513
65.18	o 27509
65.18	c 5512
65.22	o 27510
65.22	c 5511
65.26	o 27511
65.26	c 5510
65.30	o 27512
65.30	c 5509
66.02	o 27513
66.02	c 5508
66.07	o 27514
66.07	c 5507
66.11	o 27519
66.11	c 5502
66.15	o 27521
66.15	c 5500
66.20	o 27524
66.20	c 5497
66.24	o 27531
66.24	c 5490
66.28	o 27533
66.28	c 5488
66.32	o 27537
66.32	c 5484
66.36	o 27538
66.36	c 5483
66.40	o 27541
66.40	c 5480
66.44	o 27544
66.44	c 5477
66.48	o 27545
66.48	c 5476
66.52	o 27546
66.52	c 5475
66.57	o 27547
66.57	c 5474
66.74	o 27548
66.74	c 5473
66.78	o 27550
66.78	c 5471
66.87	o 27554
66.87	c 5467
66.91	o 27555
66.91	c 5466
66.95	o 27558
66.95	c 5463
67.03	o 27560
67.03	c 5461
67.08	o 27562
67.08	c 5459
67.12	o 27566
67.12	c 5455
67.16	o 27568
67.16	c 5453
67.21	o 27570
67.21	c 5451
67.25	o 27572
67.25	c 5449
67.30	o 27574
67.30	c 5447
67.35	o 27575
67.35	c 5446
67.39	o 27579
67.39	c 5442
67.44	o 27581
67.44	c 5440
67.49	o 27583
67.49	c 5438
67.54	o 27588
67.54	c 5433
67.63	o 27589
67.63	c 5432
67.68	o 27590
67.68	c 5431
67.82	o 27591
67.82	c 5430
67.97	o 27592
67.97	c 5429
68.02	o 27595
68.02	c 5426
68.07	o 27597
68.07	c 5424
68.12	o 27599
68.12	c 5422
68.17	o 27601
68.17	c 5420
68.22	o 27603
68.22	c 5418
68.27	o 27605
68.27	c 5416
68.31	o 27609
68.31	c 5412
68.36	o 27611
68.36	c 5410
68.41	o 27614
68.41	c 5407
68.46	o 27615
68.46	c 5406
68.56	o 27620
68.56	c 5401
68.71	o 27621
68.71	c 5400
68.76	o 27623
68.76	c 5398
68.81	o 27626
68.81	c 5395
68.86	o 27628
68.86	c 5393
68.91	o 27630
68.91	c 5391
69.11	o 27631
69.11	c 5390
69.16	o 27634
69.16	c 5387
69.26	o 27635
69.26	c 5386
69.31	o 27637
69.31	c 5384
69.36	o 27638
69.36	c 5383
69.41	o 27640
69.41	c 5381
69.47	o 27641
69.47	c 5380
69.75	o 27643
69.75	c 5378
69.80	o 27647
69.80	c 5374
69.85	o 27651
69.85	c 5370
69.95	o 27652
69.95	c 5369
70.19	o 27654
70.19	c 5367
70.24	o 27655
70.24	c 5366
70.28	o 27658
70.28	c 5363
70.33	o 27661
70.33	c 5360
70.42	o 27666
70.42	c 5355
70.47	o 27668
70.47	c 5353
70.52	o 27669
70.52	c 5352
70.61	o 27672
70.61	c 5349
70.66	o 27674
70.66	c 5347
70.71	o 27678
70.71	c 5343
70.81	o 27680
70.81	c 5341
70.95	o 27683
70.95	c 5338
71.00	o 27685
71.00	c 5336
71.10	o 27687
71.10	c 5334
71.24	o 27688
71.24	c 5333
71.29	o 27692
71.29	c 5329
71.34	o 27694
71.34	c 5327
71.39	o 27698
71.39	c 5323
71.44	o 27699
71.44	c 5322
71.49	o 27701
71.49	c 5320
71.54	o 27703
71.54	c 5318
71.91	o 27704
71.91	c 5317
71.96	o 27706
71.96	c 5315
72.17	o 27707
72.17	c 5314
72.22	o 27709
72.22	c 5312
72.27	o 27711
72.27	c 5310
72.32	o 27713
72.32	c 5308
72.37	o 27716
72.37	c 5305
72.47	o 27720
72.47	c 5301
72.57	o 27722
72.57	c 5299
72.77	o 27723
72.77	c 5298
72.83	o 27724
72.83	c 5297
72.98	o 27728
72.98	c 5293
73.04	o 27729
73.04	c 5292
73.09	o 27732
73.09	c 5289
73.15	o 27734
73.15	c 5287
73.20	o 27736
73.20	c 5285
73.52	o 27737
73.52	c 5284
73.80	o 27738
73.80	c 5283
73.85	o 27741
73.85	c 5280
74.01	o 27743
74.01	c 5278
74.07	o 27745
74.07	c 5276
74.13	o 27749
74.13	c 5272
74.18	o 27750
74.18	c 5271
74.23	o 27752
74.23	c 5269
74.39	o 27756
74.39	c 5265
74.44	o 27757
74.44	c 5264
74.50	o 27761
74.50	c 5260
74.56	o 27762
74.56	c 5259
74.62	o 27764
74.62	c 5257
74.67	o 27765
74.67	c 5256
74.73	o 27767
74.73	c 5254
74.79	o 27769
74.79	c 5252
74.84	o 27771
74.84	c 5250
74.90	o 27772
74.90	c 5249
75.23	o 27775
75.23	c 5246
75.39	o 27779
75.39	c 5242
75.45	o 27782
75.45	c 5239
75.51	o 27785
75.51	c 5236
75.56	o 27788
75.56	c 5233
75.62	o 27789
75.62	c 5232
75.68	o 27792
75.68	c 5229
75.73	o 27795
75.73	c 5226
75.79	o 27796
75.79	c 5225
75.97	o 27797
75.97	c 5224
76.03	o 27798
76.03	c 5223
76.09	o 27800
76.09	c 5221
76.15	o 27803
76.15	c 5218
76.26	o 27804
76.26	c 5217
76.32	o 27806
76.32	c 5215
76.38	o 27808
76.38	c 5213
76.44	o 27809
76.44	c 5212
76.50	o 27811
76.50	c 5210
76.61	o 27812
76.61	c 5209
76.67	o 27817
76.67	c 5204
76.72	o 27820
76.72	c 5201
76.92	o 27825
76.92	c 5196
77.20	o 27827
77.20	c 5194
77.37	o 27829
77.37	c 5192
77.43	o 27830
77.43	c 5191
77.49	o 27832
77.49	c 5189
77.54	o 27833
77.54	c 5188
77.60	o 27835
77.60	c 5186
77.77	o 27836
77.77	c 5185
77.82	o 27839
77.82	c 5182
77.88	o 27840
77.88	c 5181
77.94	o 27843
77.94	c 5178
77.99	o 27847
77.99	c 5174
78.05	o 27851
78.05	c 5170
78.10	o 27854
78.10	c 5167
78.16	o 27856
78.16	c 5165
78.21	o 27858
78.21	c 5163
78.27	o 27859
78.27	c 5162
78.44	o 27862
78.44	c 5159
79.26	o 27865
79.26	c 5156
79.42	o 27868
79.42	c 5153
79.48	o 27870
79.48	c 5151
79.59	o 27872
79.59	c 5149
79.65	o 27875
79.65	c 5146
79.70	o 27877
79.70	c 5144
79.81	o 27879
79.81	c 5142
80.03	o 27881
80.03	c 5140
80.08	o 27882
80.08	c 5139
80.14	o 27884
80.14	c 5137
80.19	o 27887
80.19	c 5134
80.24	o 27888
80.24	c 5133
80.29	o 27892
80.29	c 5129
80.35	o 27894
80.35	c 5127
80.41	o 27896
80.41	c 5125
80.46	o 27899
80.46	c 5122
80.52	o 27902
80.52	c 5119
80.57	o 27903
80.57	c 5118
80.68	o 27905
80.68	c 5116
80.73	o 27906
80.73	c 5115
80.85	o 27909
80.85	c 5112
80.91	o 27911
80.91	c 5110
80.96	o 27914
80.96	c 5107
81.07	o 27916
81.07	c 5105
81.18	o 27917
81.18	c 5104
81.24	o 27918
81.24	c 5103
81.29	o 27921
81.29	c 5100
81.35	o 27922
81.35	c 5099
81.40	o 27924
81.40	c 5097
81.71	o 27927
81.71	c 5094
81.81	o 27929
81.81	c 5092
81.87	o 27930
81.87	c 5091
81.93	o 27931
81.93	c 5090
81.98	o 27935
81.98	c 5086
82.03	o 27938
82.03	c 5083
82.09	o 27939
82.09	c 5082
82.30	o 27940
82.30	c 5081
82.42	o 27943
82.42	c 5078
82.53	o 27944
82.53	c 5077
82.59	o 27947
82.59	c 5074
82.64	o 27951
82.64	c 5070
82.70	o 27952
82.70	c 5069
82.76	o 27953
82.76	c 5068
82.82	o 27956
82.82	c 5065
82.93	o 27958
82.93	c 5063
82.99	o 27961
82.99	c 5060
83.05	o 27962
83.05	c 5059
83.39	o 27963
83.39	c 5058
83.45	o 27965
83.45	c 5056
83.61	o 27967
83.61	c 5054
83.79	o 27969
83.79	c 5052
83.85	o 27970
83.85	c 5051
84.02	o 27973
84.02	c 5048
84.35	o 27974
84.35	c 5047
84.41	o 27977
84.41	c 5044
84.58	o 27979
84.58	c 5042
84.63	o 27983
84.63	c 5038
84.69	o 27984
84.69	c 5037
84.74	o 27985
84.74	c 5036
84.80	o 27988
84.80	c 5033
84.85	o 27992
84.85	c 5029
84.91	o 27993
84.91	c 5028
85.03	o 27994
85.03	c 5027
85.09	o 27996
85.09	c 5025
85.15	o 27997
85.15	c 5024
85.21	o 28001
85.21	c 5020
85.27	o 28003
85.27	c 5018
85.39	o 28004
85.39	c 5017
85.45	o 28006
85.45	c 5015
85.62	o 28007
85.62	c 5014
85.74	o 28008
85.74	c 5013
86.38	o 28010
86.38	c 5011
86.44	o 28011
86.44	c 5010
86.50	o 28015
86.50	c 5006
86.97	o 28019
86.97	c 5002
87.03	o 28020
87.03	c 5001
87.09	o 28021
87.09	c 5000
87.38	o 28025
87.38	c 4996
87.49	o 28026
87.49	c 4995
87.55	o 28030
87.55	c 4991
87.96	o 28033
87.96	c 4988
88.02	o 28034
88.02	c 4987
88.08	o 28035
88.08	c 4986
88.14	o 28038
88.14	c 4983
88.21	o 28040
88.21	c 4981
88.27	o 28042
88.27	c 4979
88.33	o 28044
88.33	c 4977
88.40	o 28046
88.40	c 4975
88.46	o 28048
88.46	c 4973
88.52	o 28050
88.52	c 4971
88.59	o 28052
88.59	c 4969
88.65	o 28053
88.65	c 4968
88.71	o 28054
88.71	c 4967
88.77	o 28055
88.77	c 4966
88.84	o 28056
88.84	c 4965
88.90	o 28057
88.90	c 4964
88.96	o 28059
88.96	c 4962
89.02	o 28060
89.02	c 4961
89.09	o 28061
89.09	c 4960
89.15	o 28064
89.15	c 4957
89.85	o 28067
89.85	c 4954
90.11	o 28069
90.11	c 4952
90.18	o 28071
90.18	c 4950
90.25	o 28073
90.25	c 4948
90.31	o 28074
90.31	c 4947
90.38	o 28075
90.38	c 4946
90.45	o 28076
90.45	c 4945
91.05	o 28078
91.05	c 4943
91.12	o 28080
91.12	c 4941
91.20	o 28081
91.20	c 4940
91.27	o 28084
91.27	c 4937
91.41	o 28089
91.41	c 4932
91.55	o 28091
91.55	c 4930
91.76	o 28095
91.76	c 4926
91.83	o 28097
91.83	c 4924
91.90	o 28099
91.90	c 4922
91.97	o 28100
91.97	c 4921
92.03	o 28105
92.03	c 4916
92.17	o 28106
92.17	c 4915
92.43	o 28109
92.43	c 4912
92.50	o 28111
92.50	c 4910
92.57	o 28115
92.57	c 4906
92.63	o 28116
92.63	c 4905
92.70	o 28121
92.70	c 4900
92.96	o 28123
92.96	c 4898
93.03	o 28127
93.03	c 4894
93.10	o 28128
93.10	c 4893
93.17	o 28129
93.17	c 4892
93.23	o 28132
93.23	c 4889
93.30	o 28136
93.30	c 4885
93.35	o 28138
93.35	c 4883
93.42	o 28142
93.42	c 4879
93.48	o 28144
93.48	c 4877
93.55	o 28146
93.55	c 4875
93.61	o 28150
93.61	c 4871
93.68	o 28155
93.68	c 4866
93.74	o 28156
93.74	c 4865
93.80	o 28159
93.80	c 4862
93.86	o 28160
93.86	c 4861
93.93	o 28163
93.93	c 4858
94.06	o 28164
94.06	c 4857
94.12	o 28165
94.12	c 4856
94.19	o 28166
94.19	c 4855
94.26	o 28167
94.26	c 4854
94.32	o 28170
94.32	c 4851
94.39	o 28171
94.39	c 4850
94.46	o 28174
94.46	c 4847
94.59	o 28177
94.59	c 4844
95.66	o 28179
95.66	c 4842
95.79	o 28181
95.79	c 4840
95.86	o 28185
95.86	c 4836
95.92	o 28187
95.92	c 4834
95.99	o 28188
95.99	c 4833
96.05	o 28192
96.05	c 4829
96.24	o 28193
96.24	c 4828
96.31	o 28194
96.31	c 4827
96.57	o 28195
96.57	c 4826
96.70	o 28197
96.70	c 4824
96.76	o 28200
96.76	c 4821
96.83	o 28202
96.83	c 4819
96.90	o 28205
96.90	c 4816
96.96	o 28207
96.96	c 4814
97.02	o 28211
97.02	c 4810
97.09	o 28212
97.09	c 4809
97.16	o 28215
97.16	c 4806
97.22	o 28216
97.22	c 4805
97.48	o 28217
97.48	c 4804
97.67	o 28219
97.67	c 4802
97.92	o 28221
97.92	c 4800
98.12	o 28222
98.12	c 4799
98.19	o 28223
98.19	c 4798
98.38	o 28226
98.38	c 4795
98.51	o 28227
98.51	c 4794
98.57	o 28229
98.57	c 4792
99.45	o 28230
99.45	c 4791
99.51	o 28233
99.51	c 4788
99.76	o 28234
99.76	c 4787
99.89	o 28237
99.89	c 4784
99.95	o 28242
99.95	c 4779
100.08	o 28244
100.08	c 4777
100.14	o 28245
100.14	c 4776
100.21	o 28247
100.21	c 4774
100.27	o 28248
100.27	c 4773
100.33	o 28250
100.33	c 4771
100.46	o 28252
100.46	c 4769
100.52	o 28254
100.52	c 4767
100.58	o 28255
100.58	c 4766
100.64	o 28256
100.64	c 4765
100.83	o 28258
100.83	c 4763
100.89	o 28259
100.89	c 4762
100.96	o 28262
100.96	c 4759
101.02	o 28265
101.02	c 4756
101.14	o 28266
101.14	c 4755
101.27	o 28267
101.27	c 4754
101.40	o 28268
101.40	c 4753
101.53	o 28271
101.53	c 4750
101.73	o 28272
101.73	c 4749
102.69	o 28273
102.69	c 4748
102.75	o 28275
102.75	c 4746
102.82	o 28276
102.82	c 4745
103.07	o 28278
103.07	c 4743
103.14	o 28280
103.14	c 4741
103.21	o 28282
103.21	c 4739
103.27	o 28285
103.27	c 4736
103.34	o 28287
103.34	c 4734
103.40	o 28288
103.40	c 4733
103.59	o 28289
103.59	c 4732
103.66	o 28292
103.66	c 4729
103.93	o 28293
103.93	c 4728
103.99	o 28295
103.99	c 4726
104.05	o 28299
104.05	c 4722
104.12	o 28301
104.12	c 4720
104.19	o 28304
104.19	c 4717
104.38	o 28306
104.38	c 4715
104.45	o 28307
104.45	c 4714
104.51	o 28308
104.51	c 4713
104.65	o 28311
104.65	c 4710
104.77	o 28312
104.77	c 4709
104.84	o 28313
104.84	c 4708
104.90	o 28315
104.90	c 4706
104.97	o 28319
104.97	c 4702
105.28	o 28320
105.28	c 4701
105.35	o 28323
105.35	c 4698
105.60	o 28324
105.60	c 4697
105.67	o 28326
105.67	c 4695
105.79	o 28327
105.79	c 4694
105.86	o 28328
105.86	c 4693
105.92	o 28330
105.92	c 4691
106.04	o 28332
106.04	c 4689
106.43	o 28333
106.43	c 4688
106.50	o 28336
106.50	c 4685
106.56	o 28338
106.56	c 4683
106.75	o 28341
106.75	c 4680
107.13	o 28343
107.13	c 4678
107.20	o 28344
107.20	c 4677
107.26	o 28345
107.26	c 4676
107.32	o 28346
107.32	c 4675
108.17	o 28348
108.17	c 4673
108.24	o 28350
108.24	c 4671
108.30	o 28354
108.30	c 4667
108.43	o 28355
108.43	c 4666
108.50	o 28358
108.50	c 4663
108.56	o 28360
108.56	c 4661
108.75	o 28363
108.75	c 4658
108.94	o 28364
108.94	c 4657
109.01	o 28365
109.01	c 4656
109.07	o 28366
109.07	c 4655
109.14	o 28367
109.14	c 4654
109.26	o 28369
109.26	c 4652
109.33	o 28372
109.33	c 4649
109.39	o 28377
109.39	c 4644
109.76	o 28378
109.76	c 4643
110.13	o 28380
110.13	c 4641
110.20	o 28382
110.20	c 4639
110.26	o 28383
110.26	c 4638
110.38	o 28384
110.38	c 4637
110.82	o 28385
110.82	c 4636
110.88	o 28386
110.88	c 4635
110.95	o 28390
110.95	c 4631
111.07	o 28391
111.07	c 4630
111.14	o 28395
111.14	c 4626
111.20	o 28396
111.20	c 4625
111.27	o 28397
111.27	c 4624
111.33	o 28400
111.33	c 4621
111.39	o 28401
111.39	c 4620
111.46	o 28405
111.46	c 4616
111.52	o 28407
111.52	c 4614
111.65	o 28408
111.65	c 4613
111.71	o 28409
111.71	c 4612
112.10	o 28411
112.10	c 4610
112.21	o 28413
112.22	c 4608
112.28	o 28414
112.28	c 4607
112.35	o 28415
112.35	c 4606
112.42	o 28416
112.42	c 4605
112.49	o 28419
112.49	c 4602
112.55	o 28422
112.55	c 4599
112.62	o 28424
112.62	c 4597
112.89	o 28429
112.89	c 4592
112.95	o 28430
112.95	c 4591
113.02	o 28432
113.02	c 4589
113.09	o 28434
113.09	c 4587
113.16	o 28436
113.16	c 4585
113.23	o 28438
113.23	c 4583
113.50	o 28441
113.50	c 4580
113.57	o 28442
113.57	c 4579
113.63	o 28443
113.63	c 4578
113.77	o 28446
113.77	c 4575
113.97	o 28448
113.97	c 4573
114.11	o 28449
114.11	c 4572
114.17	o 28450
114.17	c 4571
114.24	o 28452
114.24	c 4569
115.03	o 28453
115.03	c 4568
115.10	o 28456
115.10	c 4565
115.17	o 28458
115.17	c 4563
115.24	o 28459
115.24	c 4562
115.31	o 28461
115.31	c 4560
115.37	o 28468
115.37	c 4553
115.44	o 28470
115.44	c 4551
115.85	o 28471
115.85	c 4550
116.20	o 28472
116.20	c 4549
116.27	o 28473
116.27	c 4548
116.34	o 28474
116.34	c 4547
116.41	o 28476
116.41	c 4545
116.49	o 28477
116.49	c 4544
116.56	o 28478
116.56	c 4543
116.64	o 28480
116.64	c 4541
116.71	o 28481
116.71	c 4540
116.79	o 28482
116.79	c 4539
116.86	o 28483
116.86	c 4538
117.00	o 28484
117.01	c 4537
117.08	o 28485
117.08	c 4536
117.22	o 28488
117.22	c 4533
117.29	o 28489
117.29	c 4532
117.64	o 28490
117.64	c 4531
117.71	o 28491
117.71	c 4530
117.92	o 28492
117.92	c 4529
118.00	o 28496
118.00	c 4525
118.07	o 28499
118.07	c 4522
118.15	o 28500
118.15	c 4521
118.44	o 28502
118.44	c 4519
118.59	o 28503
118.59	c 4518
118.74	o 28504
118.74	c 4517
119.42	o 28506
119.42	c 4515
119.50	o 28509
119.50	c 4512
119.73	o 28510
119.73	c 4511
119.80	o 28511
119.80	c 4510
119.96	o 28513
119.96	c 4508
120.03	o 28514
120.03	c 4507
120.11	o 28515
120.11	c 4506
120.19	o 28518
120.19	c 4503
120.42	o 28520
120.42	c 4501
120.65	o 28522
120.65	c 4499
120.73	o 28523
120.73	c 4498
121.11	o 28524
121.11	c 4497
121.26	o 28526
121.26	c 4495
121.41	o 28528
121.41	c 4493
121.49	o 28530
121.49	c 4491
121.56	o 28531
121.56	c 4490
121.64	o 28533
121.64	c 4488
121.78	o 28537
121.78	c 4484
121.86	o 28539
121.86	c 4482
122.09	o 28540
122.09	c 4481
122.17	o 28541
122.17	c 4480
122.89	o 28542
122.89	c 4479
123.03	o 28544
123.03	c 4477
123.20	o 28545
123.20	c 4476
123.44	o 28547
123.44	c 4474
123.53	o 28550
123.53	c 4471
123.61	o 28551
123.61	c 4470
123.70	o 28552
123.70	c 4469
124.21	o 28555
124.21	c 4466
124.30	o 28558
124.30	c 4463
124.39	o 28559
124.39	c 4462
124.47	o 28561
124.48	c 4460
124.56	o 28563
124.56	c 4458
124.65	o 28564
124.65	c 4457
124.89	o 28566
124.89	c 4455
124.98	o 28570
124.98	c 4451
125.07	o 28572
125.07	c 4449
126.30	o 28573
126.30	c 4448
126.74	o 28577
126.74	c 4444
126.92	o 28580
126.92	c 4441
127.01	o 28582
127.01	c 4439
127.10	o 28585
127.10	c 4436
127.27	o 28588
127.27	c 4433
127.37	o 28589
127.37	c 4432
127.45	o 28592
127.45	c 4429
127.54	o 28593
127.54	c 4428
127.63	o 28595
127.63	c 4426
127.72	o 28596
127.72	c 4425
127.81	o 28599
127.81	c 4422
127.90	o 28601
127.90	c 4420
127.99	o 28602
127.99	c 4419
128.43	o 28603
128.43	c 4418
129.40	o 28606
129.40	c 4415
130.01	o 28607
130.01	c 4414
130.20	o 28608
130.20	c 4413
130.37	o 28609
130.37	c 4412
130.56	o 28610
130.56	c 4411
130.73	o 28611
130.73	c 4410
130.91	o 28613
130.91	c 4408
131.01	o 28615
131.01	c 4406
131.58	o 28616
131.58	c 4405
131.67	o 28617
131.67	c 4404
131.85	o 28618
131.85	c 4403
131.95	o 28619
131.95	c 4402
132.04	o 28620
132.04	c 4401
132.14	o 28621
132.14	c 4400
132.23	o 28622
132.23	c 4399
132.59	o 28624
132.59	c 4397
133.01	o 28625
133.01	c 4396
134.18	o 28626
134.18	c 4395
134.27	o 28627
134.27	c 4394
135.11	o 28631
135.11	c 4390
135.30	o 28633
135.30	c 4388
135.39	o 28636
135.39	c 4385
135.96	o 28638
135.96	c 4383
136.34	o 28639
136.34	c 4382
136.40	o 28640
136.40	c 4381
136.59	o 28641
136.59	c 4380
136.69	o 28642
136.69	c 4379
136.78	o 28643
136.78	c 4378
136.98	o 28645
136.98	c 4376
137.07	o 28647
137.07	c 4374
138.22	o 28648
138.22	c 4373
138.32	o 28651
138.32	c 4370
138.41	o 28652
138.41	c 4369
138.51	o 28653
138.51	c 4368
138.61	o 28654
138.61	c 4367
138.70	o 28655
138.70	c 4366
139.20	o 28656
139.20	c 4365
139.30	o 28658
139.30	c 4363
139.40	o 28660
139.40	c 4361
139.70	o 28661
139.70	c 4360
139.80	o 28662
139.80	c 4359
139.90	o 28663
139.90	c 4358
140.00	o 28664
140.00	c 4357
140.20	o 28666
140.20	c 4355
140.30	o 28669
140.30	c 4352
140.99	o 28672
140.99	c 4349
141.39	o 28673
141.39	c 4348
141.60	o 28675
141.60	c 4346
141.80	o 28676
141.80	c 4345
141.90	o 28677
141.90	c 4344
142.00	o 28679
142.00	c 4342
142.11	o 28681
142.11	c 4340
142.21	o 28682
142.22	c 4339
142.32	o 28683
142.32	c 4338
142.41	o 28688
142.41	c 4333
142.51	o 28689
142.51	c 4332
142.71	o 28691
142.71	c 4330
142.81	o 28695
142.81	c 4326
142.91	o 28696
142.91	c 4325
143.50	o 28698
143.50	c 4323
143.60	o 28700
143.60	c 4321
143.71	o 28702
143.71	c 4319
143.81	o 28705
143.81	c 4316
143.91	o 28708
143.91	c 4313
144.21	o 28710
144.21	c 4311
144.32	o 28711
144.32	c 4310
144.43	o 28714
144.43	c 4307
144.53	o 28715
144.53	c 4306
144.84	o 28716
144.84	c 4305
145.14	o 28717
145.14	c 4304
145.35	o 28720
145.35	c 4301
145.45	o 28721
145.45	c 4300
145.55	o 28727
145.55	c 4294
145.65	o 28731
145.65	c 4290
145.76	o 28733
145.76	c 4288
145.86	o 28734
145.86	c 4287
146.15	o 28738
146.15	c 4283
146.35	o 28739
146.35	c 4282
146.65	o 28740
146.65	c 4281
146.75	o 28742
146.75	c 4279
146.85	o 28743
146.85	c 4278
146.95	o 28745
146.95	c 4276
147.77	o 28748
147.77	c 4273
148.60	o 28749
148.60	c 4272
148.70	o 28753
148.70	c 4268
149.02	o 28755
149.02	c 4266
149.12	o 28758
149.12	c 4263
149.33	o 28759
149.33	c 4262
149.54	o 28761
149.54	c 4260
149.76	o 28763
149.76	c 4258
149.86	o 28764
149.86	c 4257
150.28	o 28765
150.28	c 4256
150.39	o 28768
150.39	c 4253
150.80	o 28769
150.80	c 4252
150.91	o 28770
150.91	c 4251
151.01	o 28772
151.01	c 4249
151.09	o 28776
151.09	c 4245
151.20	o 28778
151.20	c 4243
151.30	o 28779
151.30	c 4242
151.40	o 28780
151.40	c 4241
151.51	o 28782
151.51	c 4239
151.61	o 28787
151.61	c 4234
151.81	o 28788
151.81	c 4233
151.92	o 28789
151.92	c 4232
152.02	o 28790
152.02	c 4231
152.12	o 28792
152.12	c 4229
152.22	o 28793
152.22	c 4228
152.53	o 28794
152.53	c 4227
153.56	o 28796
153.56	c 4225
154.38	o 28797
154.38	c 4224
154.70	o 28800
154.70	c 4221
155.01	o 28802
155.01	c 4219
155.12	o 28804
155.12	c 4217
156.18	o 28806
156.18	c 4215
156.73	o 28808
156.73	c 4213
156.94	o 28810
156.94	c 4211
157.05	o 28812
157.05	c 4209
157.37	o 28815
157.37	c 4206
157.48	o 28816
157.48	c 4205
157.59	o 28818
157.59	c 4203
158.25	o 28822
158.25	c 4199
159.81	o 28823
159.81	c 4198
159.93	o 28824
159.93	c 4197
160.16	o 28827
160.16	c 4194
160.28	o 28828
160.28	c 4193
160.63	o 28831
160.63	c 4190
160.74	o 28833
160.74	c 4188
160.86	o 28834
160.86	c 4187
160.98	o 28835
160.98	c 4186
161.10	o 28837
161.10	c 4184
161.34	o 28842
161.34	c 4179
161.46	o 28844
161.46	c 4177
161.57	o 28846
161.57	c 4175
161.68	o 28849
161.68	c 4172
161.80	o 28851
161.80	c 4170
161.92	o 28853
161.92	c 4168
163.43	o 28856
163.43	c 4165
163.55	o 28858
163.55	c 4163
163.67	o 28860
163.67	c 4161
163.79	o 28863
163.79	c 4158
163.91	o 28865
163.91	c 4156
164.03	o 28868
164.03	c 4153
166.27	o 28870
166.27	c 4151
166.50	o 28873
166.50	c 4148
167.66	o 28874
167.66	c 4147
168.02	o 28875
168.02	c 4146
168.81	o 28876
168.81	c 4145
168.93	o 28878
168.93	c 4143
169.05	o 28880
169.05	c 4141
169.17	o 28882
169.17	c 4139
169.29	o 28883
169.29	c 4138
169.85	o 28884
169.85	c 4137
169.97	o 28885
169.97	c 4136
170.75	o 28888
170.75	c 4133
170.86	o 28889
170.86	c 4132
171.71	o 28893
171.71	c 4128
171.83	o 28894
171.83	c 4127
171.94	o 28896
171.94	c 4125
172.27	o 28899
172.27	c 4122
172.38	o 28900
172.38	c 4121
173.27	o 28901
173.27	c 4120
173.38	o 28902
173.38	c 4119
173.49	o 28904
173.49	c 4117
173.60	o 28905
173.60	c 4116
173.72	o 28907
173.72	c 4114
173.94	o 28908
173.95	c 4113
174.06	o 28911
174.06	c 4110
174.51	o 28912
174.51	c 4109
174.74	o 28913
174.74	c 4108
175.20	o 28915
175.20	c 4106
176.34	o 28917
176.34	c 4104
176.46	o 28919
176.46	c 4102
176.70	o 28921
176.70	c 4100
176.93	o 28924
176.93	c 4097
177.04	o 28926
177.04	c 4095
177.16	o 28931
177.16	c 4090
177.50	o 28932
177.50	c 4089
177.62	o 28935
177.62	c 4086
178.19	o 28941
178.19	c 4080
178.31	o 28942
178.31	c 4079
178.54	o 28943
178.54	c 4078
179.09	o 28944
179.09	c 4077
179.21	o 28946
179.21	c 4075
179.44	o 28950
179.44	c 4071
179.75	o 28951
179.75	c 4070
179.86	o 28955
179.86	c 4066
179.98	o 28958
179.98	c 4063
180.10	o 28961
180.10	c 4060
180.21	o 28962
180.21	c 4059
180.57	o 28964
180.57	c 4057
180.68	o 28965
180.68	c 4056
180.91	o 28966
180.91	c 4055
181.03	o 28969
181.03	c 4052
182.01	o 28970
182.01	c 4051
182.12	o 28971
182.12	c 4050
182.78	o 28973
182.78	c 4048
183.22	o 28975
183.22	c 4046
183.33	o 28978
183.33	c 4043
183.56	o 28980
183.56	c 4041
183.67	o 28982
183.67	c 4039
183.79	o 28985
183.79	c 4036
184.02	o 28986
184.02	c 4035
184.71	o 28988
184.71	c 4033
184.82	o 28989
184.82	c 4032
185.05	o 28990
185.05	c 4031
185.49	o 28994
185.49	c 4027
185.61	o 28995
185.61	c 4026
185.72	o 28996
185.72	c 4025
185.84	o 28997
185.84	c 4024
185.95	o 28999
185.95	c 4022
186.29	o 29000
186.29	c 4021
186.37	o 29003
186.37	c 4018
186.82	o 29004
186.82	c 4017
187.04	o 29006
187.04	c 4015
187.32	o 29007
187.32	c 4014
188.09	o 29010
188.09	c 4011
188.21	o 29014
188.21	c 4007
188.44	o 29015
188.44	c 4006
188.78	o 29017
188.78	c 4004
189.57	o 29018
189.57	c 4003
189.86	o 29019
189.86	c 4002
189.97	o 29020
189.97	c 4001
190.09	o 29022
190.09	c 3999
190.31	o 29024
190.31	c 3997
190.43	o 29026
190.43	c 3995
190.65	o 29027
190.65	c 3994
190.88	o 29028
190.88	c 3993
191.46	o 29029
191.46	c 3992
191.58	o 29031
191.58	c 3990
191.70	o 29032
191.70	c 3989
191.81	o 29034
191.81	c 3987
191.93	o 29036
191.93	c 3985
193.06	o 29037
193.06	c 3984
193.18	o 29038
193.18	c 3983
193.29	o 29039
193.29	c 3982
193.41	o 29041
193.41	c 3980
193.49	o 29042
193.49	c 3979
193.72	o 29043
193.72	c 3978
193.95	o 29044
193.95	c 3977
194.63	o 29045
194.63	c 3976
196.06	o 29047
196.06	c 3974
196.17	o 29049
196.17	c 3972
196.97	o 29052
196.97	c 3969
197.20	o 29056
197.20	c 3965
197.31	o 29057
197.31	c 3964
197.43	o 29060
197.43	c 3961
197.49	o 29062
197.49	c 3959
197.72	o 29063
197.72	c 3958
199.18	o 29065
199.18	c 3956
199.30	o 29066
199.30	c 3955
199.85	o 29068
199.85	c 3953
199.97	o 29069
199.97	c 3952
200.54	o 29072
200.54	c 3949
200.65	o 29073
200.65	c 3948
200.77	o 29074
200.77	c 3947
201.01	o 29076
201.01	c 3945
201.13	o 29077
201.13	c 3944
201.36	o 29078
201.36	c 3943
201.46	o 29079
201.46	c 3942
201.57	o 29080
201.57	c 3941
201.69	o 29082
201.69	c 3939
201.81	o 29084
201.81	c 3937
201.92	o 29085
201.92	c 3936
202.27	o 29089
202.27	c 3932
202.50	o 29091
202.50	c 3930
202.63	o 29093
202.63	c 3928
202.75	o 29094
202.75	c 3927
202.87	o 29095
202.87	c 3926
202.99	o 29096
202.99	c 3925
203.97	o 29097
203.97	c 3924
204.09	o 29098
204.09	c 3923
204.20	o 29099
204.20	c 3922
204.94	o 29100
204.94	c 3921
205.06	o 29102
205.06	c 3919
205.23	o 29105
205.23	c 3916
205.45	o 29107
205.45	c 3914
205.97	o 29112
205.97	c 3909
206.08	o 29113
206.08	c 3908
206.20	o 29116
206.20	c 3905
206.28	o 29117
206.28	c 3904
206.51	o 29121
206.51	c 3900
207.53	o 29122
207.53	c 3899
207.89	o 29126
207.89	c 3895
208.01	o 29127
208.01	c 3894
208.92	o 29129
208.92	c 3892
208.99	o 29131
208.99	c 3890
209.91	o 29132
209.91	c 3889
210.03	o 29133
210.03	c 3888
210.15	o 29134
210.15	c 3887
210.27	o 29135
210.27	c 3886
210.85	o 29136
210.85	c 3885
210.97	o 29137
210.97	c 3884
211.09	o 29139
211.09	c 3882
211.21	o 29140
211.21	c 3881
211.57	o 29141
211.57	c 3880
211.81	o 29142
211.81	c 3879
211.93	o 29146
211.93	c 3875
212.01	o 29149
212.01	c 3872
212.11	o 29150
212.11	c 3871
212.22	o 29152
212.22	c 3869
212.33	o 29153
212.33	c 3868
212.45	o 29155
212.45	c 3866
212.57	o 29156
212.57	c 3865
212.68	o 29159
212.68	c 3862
212.91	o 29161
212.91	c 3860
213.02	o 29163
213.02	c 3858
214.12	o 29165
214.12	c 3856
215.31	o 29166
215.31	c 3855
215.44	o 29167
215.44	c 3854
215.56	o 29168
215.56	c 3853
216.17	o 29170
216.17	c 3851
216.40	o 29173
216.40	c 3848
217.13	o 29176
217.13	c 3845
217.24	o 29178
217.24	c 3843
217.48	o 29180
217.48	c 3841
218.42	o 29183
218.42	c 3838
218.54	o 29184
218.54	c 3837
219.79	o 29185
219.79	c 3836
220.04	o 29187
220.04	c 3834
221.28	o 29188
221.28	c 3833
221.40	o 29189
221.40	c 3832
221.75	o 29191
221.75	c 3830
221.87	o 29192
221.87	c 3829
221.99	o 29194
221.99	c 3827
222.11	o 29195
222.11	c 3826
222.49	o 29197
222.49	c 3824
222.62	o 29198
222.62	c 3823
223.50	o 29199
223.50	c 3822
223.62	o 29200
223.62	c 3821
223.72	o 29201
223.72	c 3820
223.81	o 29205
223.81	c 3816
223.93	o 29209
223.93	c 3812
224.06	o 29210
224.06	c 3811
224.57	o 29215
224.57	c 3806
224.83	o 29218
224.83	c 3803
227.60	o 29219
227.60	c 3802
228.14	o 29221
228.14	c 3800
229.46	o 29222
229.46	c 3799
238.60	o 29223
238.60	c 3798
238.87	o 29226
238.87	c 3795
239.89	o 29229
239.89	c 3792
240.00	o 29231
240.00	c 3790
240.13	o 29233
240.13	c 3788
240.23	o 29236
240.23	c 3785
240.36	o 29238
240.36	c 3783
240.50	o 29241
240.50	c 3780
240.77	o 29243
240.77	c 3778
240.91	o 29244
240.91	c 3777
241.05	o 29246
241.05	c 3775
241.19	o 29248
241.19	c 3773
241.46	o 29249
241.46	c 3772
241.59	o 29251
241.59	c 3770
242.27	o 29252
242.27	c 3769
245.51	o 29254
245.51	c 3767
246.21	o 29256
246.21	c 3765
248.12	o 29257
248.12	c 3764
253.99	o 29258
253.99	c 3763
254.14	o 29260
254.14	c 3761
254.57	o 29261
254.57	c 3760
254.72	o 29262
254.72	c 3759
254.87	o 29264
254.87	c 3757
255.02	o 29268
255.02	c 3753
255.33	o 29270
255.33	c 3751
255.63	o 29272
255.63	c 3749
259.18	o 29273
259.18	c 3748
259.63	o 29274
259.63	c 3747
259.78	o 29275
259.78	c 3746
260.54	o 29279
260.54	c 3742
261.00	o 29280
261.00	c 3741
261.16	o 29282
261.16	c 3739
261.26	o 29285
261.26	c 3736
261.42	o 29287
261.42	c 3734
275.95	o 29289
275.95	c 3732
277.06	o 29290
277.06	c 3731
278.25	o 29291
278.25	c 3730
278.71	o 29292
278.71	c 3729
279.01	o 29293
279.01	c 3728
279.18	o 29294
279.18	c 3727
283.27	o 29295
283.27	c 3726
283.44	o 29296
283.44	c 3725
283.62	o 29297
283.62	c 3724
284.13	o 29298
284.13	c 3723
284.30	o 29299
284.30	c 3722
284.82	o 29300
284.82	c 3721
285.17	o 29303
285.17	c 3718
285.34	o 29305
285.34	c 3716
285.52	o 29307
285.52	c 3714
285.69	o 29308
285.69	c 3713
286.04	o 29309
286.04	c 3712
286.39	o 29312
286.39	c 3709
286.56	o 29313
286.56	c 3708
286.74	o 29314
286.74	c 3707
286.91	o 29318
286.91	c 3703
287.09	o 29320
287.09	c 3701
287.26	o 29321
287.26	c 3700
287.57	o 29323
287.57	c 3698
287.75	o 29326
287.75	c 3695
288.10	o 29327
288.10	c 3694
288.31	o 29330
288.31	c 3691
288.49	o 29331
288.49	c 3690
289.01	o 29332
289.01	c 3689
290.04	o 29333
290.04	c 3688
290.22	o 29336
290.22	c 3685
290.38	o 29337
290.38	c 3684
290.56	o 29338
290.56	c 3683
290.73	o 29340
290.73	c 3681
291.08	o 29341
291.08	c 3680
291.77	o 29343
291.77	c 3678
292.12	o 29345
292.12	c 3676
292.46	o 29346
292.46	c 3675
292.97	o 29347
292.97	c 3674
293.14	o 29348
293.14	c 3673
293.83	o 29350
293.83	c 3671
293.97	o 29352
293.97	c 3669
294.31	o 29355
294.31	c 3666
294.48	o 29357
294.48	c 3664
294.99	o 29358
294.99	c 3663
295.67	o 29359
295.67	c 3662
295.99	o 29362
295.99	c 3659
296.13	o 29366
296.13	c 3655
297.89	o 29367
297.89	c 3654
299.85	o 29369
299.85	c 3652
304.07	o 29370
304.07	c 3651
304.45	o 29375
304.45	c 3646
305.27	o 29377
305.27	c 3644
305.59	o 29379
305.59	c 3642
314.30	o 29381
314.30	c 3640
314.47	o 29384
314.47	c 3637
314.80	o 29387
314.80	c 3634
314.97	o 29389
314.97	c 3632
315.12	o 29392
315.13	c 3629
315.44	o 29393
315.44	c 3628
315.54	o 29394
315.54	c 3627
316.20	o 29396
316.20	c 3625
316.66	o 29397
316.66	c 3624
316.81	o 29398
316.81	c 3623
316.98	o 29399
316.98	c 3622
317.29	o 29402
317.29	c 3619
317.45	o 29403
317.45	c 3618
317.62	o 29404
317.62	c 3617
317.78	o 29405
317.78	c 3616
317.95	o 29406
317.95	c 3615
318.12	o 29408
318.12	c 3613
318.28	o 29409
318.28	c 3612
318.45	o 29410
318.45	c 3611
318.62	o 29412
318.62	c 3609
318.75	o 29413
318.75	c 3608
319.38	o 29414
319.38	c 3607
319.55	o 29416
319.55	c 3605
319.70	o 29419
319.70	c 3602
319.86	o 29421
319.86	c 3600
319.97	o 29426
319.97	c 3595
320.07	o 29428
320.07	c 3593
320.23	o 29430
320.23	c 3591
320.56	o 29431
320.56	c 3590
320.88	o 29433
320.88	c 3588
321.37	o 29434
321.37	c 3587
321.54	o 29437
321.54	c 3584
321.87	o 29439
321.87	c 3582
322.30	o 29440
322.30	c 3581
323.04	o 29443
323.04	c 3578
323.20	o 29446
323.20	c 3575
323.51	o 29450
323.51	c 3571
323.67	o 29451
323.67	c 3570
323.84	o 29452
323.84	c 3569
324.17	o 29454
324.17	c 3567
324.34	o 29455
324.34	c 3566
324.47	o 29456
324.47	c 3565
327.48	o 29457
327.48	c 3564
327.63	o 29459
327.63	c 3562
327.79	o 29461
327.79	c 3560
330.53	o 29463
330.53	c 3558
330.80	o 29464
330.80	c 3557
331.41	o 29465
331.41	c 3556
331.57	o 29467
331.57	c 3554
331.73	o 29469
331.73	c 3552
331.90	o 29471
331.90	c 3550
332.06	o 29472
332.06	c 3549
332.23	o 29473
332.23	c 3548
332.40	o 29475
332.40	c 3546
332.56	o 29477
332.56	c 3544
332.73	o 29478
332.73	c 3543
333.56	o 29479
333.56	c 3542
333.90	o 29480
333.90	c 3541
334.07	o 29482
334.07	c 3539
334.25	o 29484
334.25	c 3537
334.52	o 29485
334.52	c 3536
336.08	o 29487
336.08	c 3534
339.45	o 29488
339.45	c 3533
340.16	o 29489
340.16	c 3532
340.34	o 29490
340.34	c 3531
342.75	o 29491
342.75	c 3530
342.93	o 29493
342.93	c 3528
343.03	o 29495
343.03	c 3526
343.71	o 29498
343.71	c 3523
344.06	o 29499
344.06	c 3522
344.61	o 29500
344.61	c 3521
345.29	o 29505
345.29	c 3516
345.47	o 29506
345.47	c 3515
345.65	o 29509
345.65	c 3512
346.12	o 29511
346.12	c 3510
346.83	o 29512
346.83	c 3509
347.01	o 29513
347.01	c 3508
349.24	o 29514
349.24	c 3507
349.42	o 29515
349.42	c 3506
349.61	o 29516
349.61	c 3505
349.97	o 29517
349.97	c 3504
352.11	o 29518
352.11	c 3503
352.29	o 29522
352.29	c 3499
352.47	o 29523
352.47	c 3498
352.65	o 29524
352.65	c 3497
353.01	o 29525
353.01	c 3496
353.19	o 29527
353.19	c 3494
353.37	o 29528
353.37	c 3493
353.53	o 29530
353.53	c 3491
353.89	o 29532
353.89	c 3489
354.07	o 29534
354.07	c 3487
354.25	o 29535
354.25	c 3486
354.44	o 29536
354.44	c 3485
354.98	o 29537
354.98	c 3484
355.16	o 29541
355.16	c 3480
355.53	o 29543
355.53	c 3478
355.71	o 29544
355.71	c 3477
355.90	o 29545
355.90	c 3476
356.08	o 29548
356.08	c 3473
356.44	o 29549
356.44	c 3472
356.98	o 29550
356.98	c 3471
357.16	o 29551
357.16	c 3470
357.43	o 29552
357.43	c 3469
358.15	o 29553
358.15	c 3468
358.88	o 29554
358.88	c 3467
359.43	o 29555
359.43	c 3466
360.32	o 29556
360.32	c 3465
360.69	o 29557
360.69	c 3464
361.03	o 29558
361.03	c 3463
361.21	o 29559
361.21	c 3462
361.40	o 29560
361.40	c 3461
361.58	o 29561
361.58	c 3460
361.77	o 29563
361.77	c 3458
362.14	o 29565
362.14	c 3456
362.97	o 29566
362.97	c 3455
365.99	o 29567
365.99	c 3454
380.58	o 29570
380.58	c 3451
381.40	o 29571
381.40	c 3450
381.61	o 29573
381.61	c 3448
382.22	o 29574
382.22	c 3447
383.60	o 29575
383.60	c 3446
384.61	o 29576
384.61	c 3445
384.81	o 29577
384.81	c 3444
385.03	o 29579
385.03	c 3442
385.24	o 29581
385.24	c 3440
386.49	o 29584
386.49	c 3437
386.70	o 29586
386.70	c 3435
386.91	o 29588
386.91	c 3433
387.55	o 29589
387.55	c 3432
391.05	o 29590
391.05	c 3431
402.29	o 29592
402.29	c 3429
402.50	o 29595
402.50	c 3426
403.93	o 29596
403.93	c 3425
404.14	o 29599
404.15	c 3422
405.40	o 29601
405.40	c 3420
405.79	o 29603
405.79	c 3418
406.21	o 29604
406.21	c 3417
406.35	o 29605
406.35	c 3416
407.60	o 29606
407.60	c 3415
407.82	o 29607
407.82	c 3414
408.03	o 29609
408.03	c 3412
408.24	o 29610
408.24	c 3411
408.87	o 29611
408.87	c 3410
408.99	o 29612
408.99	c 3409
409.75	o 29614
409.75	c 3407
409.96	o 29615
409.96	c 3406
410.58	o 29617
410.58	c 3404
412.23	o 29618
412.23	c 3403
412.45	o 29620
412.45	c 3401
412.66	o 29623
412.66	c 3398
414.59	o 29624
414.59	c 3397
415.60	o 29626
415.60	c 3395
415.82	o 29627
415.82	c 3394
416.03	o 29628
416.04	c 3393
416.47	o 29629
416.47	c 3392
416.69	o 29633
416.69	c 3388
416.91	o 29634
416.91	c 3387
417.09	o 29636
417.09	c 3385
417.53	o 29637
417.53	c 3384
418.72	o 29638
418.72	c 3383
419.15	o 29641
419.15	c 3380
420.01	o 29642
420.01	c 3379
421.10	o 29644
421.10	c 3377
421.32	o 29649
421.32	c 3372
421.53	o 29650
421.53	c 3371
422.14	o 29651
422.14	c 3370
422.36	o 29652
422.36	c 3369
422.58	o 29653
422.58	c 3368
422.80	o 29654
422.80	c 3367
423.02	o 29655
423.02	c 3366
427.03	o 29657
427.03	c 3364
428.35	o 29659
428.35	c 3362
428.58	o 29662
428.58	c 3359
428.80	o 29664
428.80	c 3357
429.70	o 29667
429.70	c 3354
430.15	o 29668
430.15	c 3353
430.69	o 29669
430.69	c 3352
430.92	o 29670
430.92	c 3351
431.15	o 29671
431.15	c 3350
431.37	o 29673
431.37	c 3348
431.59	o 29675
431.59	c 3346
431.82	o 29676
431.82	c 3345
435.10	o 29677
435.10	c 3344
435.55	o 29678
435.55	c 3343
435.78	o 29679
435.78	c 3342
436.01	o 29680
436.01	c 3341
436.21	o 29683
436.21	c 3338
436.88	o 29685
436.88	c 3336
437.33	o 29686
437.33	c 3335
437.56	o 29688
437.56	c 3333
437.75	o 29690
437.75	c 3331
438.21	o 29691
438.21	c 3330
439.78	o 29692
439.78	c 3329
441.01	o 29693
441.01	c 3328
441.68	o 29694
441.68	c 3327
441.91	o 29695
441.91	c 3326
442.36	o 29697
442.36	c 3324
442.71	o 29698
442.71	c 3323
442.92	o 29699
442.92	c 3322
443.60	o 29701
443.60	c 3320
443.83	o 29703
443.83	c 3318
444.06	o 29707
444.06	c 3314
444.46	o 29708
444.46	c 3313
457.85	o 29710
457.85	c 3311
469.86	o 29711
469.86	c 3310
470.03	o 29712
470.03	c 3309
470.26	o 29714
470.26	c 3307
472.11	o 29715
472.11	c 3306
472.56	o 29717
472.56	c 3304
472.78	o 29718
472.78	c 3303
473.22	o 29719
473.22	c 3302
473.45	o 29720
473.45	c 3301
473.66	o 29723
473.66	c 3298
474.29	o 29724
474.29	c 3297
474.51	o 29725
474.51	c 3296
474.95	o 29726
474.95	c 3295
476.91	o 29727
476.91	c 3294
477.11	o 29729
477.11	c 3292
477.52	o 29730
477.52	c 3291
478.39	o 29731
478.39	c 3290
483.29	o 29732
483.29	c 3289
484.15	o 29733
484.15	c 3288
484.35	o 29737
484.35	c 3284
484.57	o 29742
484.57	c 3279
484.78	o 29743
484.78	c 3278
486.68	o 29745
486.68	c 3276
493.95	o 29746
493.95	c 3275
495.06	o 29747
495.06	c 3274
496.01	o 29748
496.01	c 3273
496.43	o 29750
496.43	c 3271
497.26	o 29753
497.26	c 3268
497.48	o 29754
497.48	c 3267
497.89	o 29756
497.89	c 3265
498.31	o 29757
498.31	c 3264
498.52	o 29759
498.52	c 3262
498.73	o 29762
498.73	c 3259
498.88	o 29766
498.88	c 3255
499.51	o 29767
499.51	c 3254
501.97	o 29768
501.97	c 3253
502.39	o 29769
502.39	c 3252
502.60	o 29771
502.60	c 3250
503.03	o 29772
503.03	c 3249
503.46	o 29776
503.46	c 3245
503.67	o 29778
503.67	c 3243
504.29	o 29781
504.29	c 3240
506.84	o 29782
506.84	c 3239
507.35	o 29784
507.35	c 3237
508.63	o 29786
508.63	c 3235
508.84	o 29787
508.84	c 3234
509.27	o 29788
509.27	c 3233
509.92	o 29789
509.92	c 3232
512.92	o 29791
512.92	c 3230
513.13	o 29792
513.13	c 3229
532.09	o 29797
532.09	c 3224
535.39	o 29799
535.39	c 3222
535.61	o 29801
535.61	c 3220
535.83	o 29802
535.83	c 3219
536.04	o 29804
536.04	c 3217
536.49	o 29806
536.49	c 3215
536.93	o 29807
536.93	c 3214
537.15	o 29809
537.15	c 3212
537.58	o 29810
537.58	c 3211
537.81	o 29812
537.81	c 3209
538.67	o 29813
538.67	c 3208
541.63	o 29816
541.63	c 3205
542.08	o 29820
542.08	c 3201
542.26	o 29821
542.26	c 3200
542.49	o 29822
542.49	c 3199
543.37	o 29823
543.37	c 3198
543.59	o 29824
543.59	c 3197
549.98	o 29825
549.98	c 3196
550.80	o 29827
550.80	c 3194
551.46	o 29828
551.46	c 3193
551.91	o 29831
551.91	c 3190
552.13	o 29834
552.13	c 3187
553.87	o 29835
553.87	c 3186
554.09	o 29836
554.09	c 3185
554.44	o 29838
554.44	c 3183
555.09	o 29839
555.09	c 3182
561.53	o 29841
561.53	c 3180
561.77	o 29844
561.77	c 3177
562.00	o 29845
562.00	c 3176
562.23	o 29846
562.23	c 3175
562.47	o 29848
562.47	c 3173
562.70	o 29849
562.70	c 3172
564.49	o 29851
564.49	c 3170
564.64	o 29852
564.64	c 3169
565.10	o 29853
565.10	c 3168
565.31	o 29854
565.31	c 3167
565.55	o 29858
565.55	c 3163
566.01	o 29860
566.01	c 3161
566.24	o 29862
566.24	c 3159
566.47	o 29864
566.47	c 3157
566.70	o 29865
566.70	c 3156
567.33	o 29867
567.33	c 3154
567.78	o 29869
567.78	c 3152
568.00	o 29870
568.00	c 3151
568.45	o 29873
568.45	c 3148
569.13	o 29874
569.13	c 3147
569.36	o 29875
569.36	c 3146
569.57	o 29876
569.57	c 3145
570.63	o 29877
570.63	c 3144
574.53	o 29880
574.53	c 3141
574.76	o 29883
574.76	c 3138
574.99	o 29885
574.99	c 3136
575.23	o 29887
575.23	c 3134
576.30	o 29891
576.30	c 3130
576.53	o 29893
576.53	c 3128
578.41	o 29894
578.41	c 3127
578.64	o 29895
578.64	c 3126
578.82	o 29897
578.82	c 3124
579.27	o 29898
579.27	c 3123
579.50	o 29900
579.50	c 3121
579.72	o 29901
579.72	c 3120
579.95	o 29903
579.95	c 3118
580.18	o 29904
580.18	c 3117
590.74	o 29905
590.74	c 3116
590.98	o 29906
590.98	c 3115
591.22	o 29907
591.22	c 3114
593.31	o 29911
593.31	c 3110
593.78	o 29912
593.78	c 3109
594.66	o 29913
594.66	c 3108
594.89	o 29915
594.89	c 3106
595.12	o 29916
595.12	c 3105
595.35	o 29917
595.35	c 3104
595.58	o 29918
595.58	c 3103
595.82	o 29919
595.82	c 3102
596.28	o 29920
596.28	c 3101
596.52	o 29921
596.52	c 3100
596.75	o 29922
596.75	c 3099
597.91	o 29923
597.91	c 3098
598.38	o 29925
598.38	c 3096
598.62	o 29926
598.62	c 3095
598.85	o 29927
598.85	c 3094
599.09	o 29928
599.09	c 3093
599.32	o 29929
599.32	c 3092
599.56	o 29930
599.56	c 3091
608.15	o 29932
608.15	c 3089
608.93	o 29934
608.93	c 3087
609.17	o 29936
609.17	c 3085
609.41	o 29937
609.41	c 3084
609.65	o 29938
609.65	c 3083
609.90	o 29939
609.90	c 3082
610.14	o 29940
610.14	c 3081
610.38	o 29942
610.38	c 3079
610.97	o 29945
610.97	c 3076
611.65	o 29946
611.65	c 3075
613.45	o 29947
613.45	c 3074
614.39	o 29948
614.39	c 3073
615.32	o 29949
615.32	c 3072
616.51	o 29950
616.51	c 3071
616.75	o 29951
616.75	c 3070
616.98	o 29953
616.98	c 3068
618.42	o 29955
618.42	c 3066
618.66	o 29956
618.66	c 3065
619.12	o 29957
619.12	c 3064
619.34	o 29959
619.34	c 3062
620.07	o 29960
620.07	c 3061
623.62	o 29961
623.62	c 3060
623.86	o 29962
623.86	c 3059
624.11	o 29964
624.11	c 3057
624.36	o 29965
624.36	c 3056
624.85	o 29966
624.85	c 3055
625.56	o 29967
625.56	c 3054
631.11	o 29969
631.11	c 3052
631.35	o 29970
631.35	c 3051
631.59	o 29973
631.59	c 3048
632.76	o 29975
632.76	c 3046
632.82	o 29978
632.82	c 3043
633.06	o 29979
633.06	c 3042
633.93	o 29980
633.93	c 3041
634.18	o 29981
634.18	c 3040
634.42	o 29982
634.42	c 3039
634.67	o 29984
634.67	c 3037
635.16	o 29985
635.16	c 3036
635.41	o 29986
635.41	c 3035
635.66	o 29987
635.66	c 3034
635.90	o 29989
635.90	c 3032
637.04	o 29990
637.04	c 3031
637.29	o 29991
637.29	c 3030
637.53	o 29993
637.53	c 3028
638.76	o 29994
638.76	c 3027
639.00	o 29995
639.00	c 3026
639.50	o 29996
639.50	c 3025
639.99	o 29998
639.99	c 3023
640.24	o 30001
640.24	c 3020
641.35	o 30002
641.35	c 3019
641.58	o 30004
641.58	c 3017
641.82	o 30005
641.82	c 3016
642.81	o 30007
642.81	c 3014
643.06	o 30008
643.06	c 3013
643.30	o 30009
643.30	c 3012
648.74	o 30010
648.74	c 3011
648.98	o 30011
648.98	c 3010
649.21	o 30013
649.21	c 3008
649.46	o 30015
649.46	c 3006
649.70	o 30016
649.70	c 3005
649.94	o 30018
649.94	c 3003
650.80	o 30020
650.80	c 3001
651.04	o 30021
651.04	c 3000
651.49	o 30024
651.49	c 2997
651.97	o 30025
651.97	c 2996
652.20	o 30026
652.20	c 2995
652.44	o 30027
652.44	c 2994
653.14	o 30028
653.14	c 2993
653.38	o 30029
653.38	c 2992
655.69	o 30030
655.69	c 2991
655.93	o 30033
655.93	c 2988
656.41	o 30034
656.41	c 2987
656.89	o 30035
656.89	c 2986
675.16	o 30036
675.16	c 2985
675.41	o 30038
675.41	c 2983
679.37	o 30039
679.37	c 2982
679.62	o 30040
679.62	c 2981
680.10	o 30042
680.10	c 2979
680.36	o 30043
680.36	c 2978
680.87	o 30046
680.87	c 2975
682.67	o 30047
682.67	c 2974
682.93	o 30048
682.93	c 2973
683.11	o 30050
683.11	c 2971
695.04	o 30051
695.04	c 2970
699.37	o 30052
699.37	c 2969
700.39	o 30053
700.39	c 2968
701.52	o 30054
701.52	c 2967
701.72	o 30056
701.72	c 2965
701.92	o 30057
701.92	c 2964
702.18	o 30059
702.18	c 2962
702.69	o 30060
702.69	c 2961
703.45	o 30062
703.45	c 2959
703.97	o 30065
703.97	c 2956
704.35	o 30068
704.35	c 2953
704.60	o 30071
704.60	c 2950
705.62	o 30072
705.62	c 2949
705.88	o 30073
705.88	c 2948
706.13	o 30075
706.13	c 2946
715.18	o 30076
715.18	c 2945
716.14	o 30078
716.14	c 2943
716.40	o 30079
716.40	c 2942
716.65	o 30080
716.65	c 2941
716.91	o 30081
716.91	c 2940
717.17	o 30083
717.17	c 2938
717.42	o 30084
717.42	c 2937
717.64	o 30085
717.64	c 2936
725.68	o 30087
725.68	c 2934
725.94	o 30088
725.94	c 2933
727.58	o 30089
727.58	c 2932
728.59	o 30090
728.59	c 2931
729.24	o 30091
729.24	c 2930
729.75	o 30092
729.75	c 2929
731.25	o 30094
731.25	c 2927
732.27	o 30095
732.27	c 2926
753.69	o 30097
753.69	c 2924
754.50	o 30098
754.50	c 2923
754.97	o 30099
754.97	c 2922
755.23	o 30101
755.23	c 2920
755.67	o 30102
755.67	c 2919
755.93	o 30104
755.93	c 2917
756.19	o 30106
756.19	c 2915
756.46	o 30108
756.46	c 2913
756.61	o 30109
756.61	c 2912
756.86	o 30110
756.86	c 2911
770.76	o 30112
770.76	c 2909
771.28	o 30113
771.28	c 2908
773.28	o 30114
773.28	c 2907
773.37	o 30117
773.37	c 2904
774.48	o 30121
774.48	c 2900
777.08	o 30123
777.08	c 2898
779.32	o 30126
779.32	c 2895
780.64	o 30129
780.64	c 2892
786.23	o 30131
786.23	c 2890
786.42	o 30133
786.42	c 2888
786.56	o 30134
786.56	c 2887
786.71	o 30135
786.71	c 2886
786.95	o 30136
786.95	c 2885
787.21	o 30139
787.21	c 2882
787.71	o 30141
787.71	c 2880
788.74	o 30143
788.74	c 2878
789.51	o 30144
789.51	c 2877
789.72	o 30145
789.72	c 2876
794.04	o 30146
794.04	c 2875
804.72	o 30148
804.72	c 2873
806.29	o 30150
806.29	c 2871
807.22	o 30151
807.22	c 2870
807.48	o 30152
807.48	c 2869
807.64	o 30154
807.64	c 2867
808.17	o 30155
808.17	c 2866
814.79	o 30156
814.79	c 2865
815.58	o 30157
815.58	c 2864
816.91	o 30158
816.91	c 2863
818.10	o 30160
818.10	c 2861
818.36	o 30162
818.36	c 2859
819.13	o 30163
819.13	c 2858
819.70	o 30164
819.70	c 2857
819.78	o 30165
819.78	c 2856
820.80	o 30167
820.80	c 2854
821.86	o 30168
821.86	c 2853
822.13	o 30169
822.13	c 2852
822.40	o 30171
822.40	c 2850
823.15	o 30172
823.15	c 2849
832.56	o 30174
832.56	c 2847
833.37	o 30175
833.37	c 2846
834.88	o 30176
834.88	c 2845
835.43	o 30180
835.43	c 2841
836.24	o 30181
836.24	c 2840
836.66	o 30182
836.66	c 2839
844.09	o 30184
844.09	c 2837
844.35	o 30189
844.35	c 2832
851.33	o 30191
851.33	c 2830
852.35	o 30192
852.35	c 2829
852.60	o 30198
852.60	c 2823
852.84	o 30200
852.84	c 2821
853.06	o 30201
853.06	c 2820
853.32	o 30202
853.32	c 2819
853.85	o 30204
853.85	c 2817
856.55	o 30205
856.55	c 2816
857.62	o 30206
857.62	c 2815
863.05	o 30208
863.05	c 2813
863.31	o 30210
863.31	c 2811
863.58	o 30212
863.58	c 2809
872.44	o 30214
872.44	c 2807
873.21	o 30215
873.21	c 2806
873.47	o 30217
873.47	c 2804
873.73	o 30218
873.73	c 2803
874.15	o 30219
874.15	c 2802
875.16	o 30220
875.16	c 2801
875.40	o 30222
875.40	c 2799
875.66	o 30224
875.66	c 2797
875.92	o 30227
875.92	c 2794
880.28	o 30228
880.28	c 2793
881.84	o 30229
881.84	c 2792
882.10	o 30230
882.10	c 2791
889.83	o 30231
889.83	c 2790
890.03	o 30233
890.03	c 2788
891.62	o 30234
891.62	c 2787
891.88	o 30235
891.88	c 2786
893.11	o 30236
893.11	c 2785
893.25	o 30237
893.25	c 2784
909.30	o 30238
909.30	c 2783
910.35	o 30239
910.35	c 2782
911.24	o 30242
911.24	c 2779
911.49	o 30243
911.49	c 2778
912.02	o 30244
912.02	c 2777
913.06	o 30245
913.06	c 2776
913.44	o 30247
913.44	c 2774
914.43	o 30248
914.43	c 2773
914.69	o 30250
914.69	c 2771
914.95	o 30251
914.95	c 2770
916.51	o 30252
916.51	c 2769
920.32	o 30253
920.32	c 2768
920.59	o 30255
920.59	c 2766
924.02	o 30257
924.02	c 2764
924.29	o 30259
924.29	c 2762
924.55	o 30260
924.55	c 2761
926.38	o 30261
926.38	c 2760
928.19	o 30263
928.19	c 2758
928.45	o 30264
928.45	c 2757
928.71	o 30265
928.71	c 2756
928.97	o 30266
928.97	c 2755
929.23	o 30268
929.23	c 2753
935.88	o 30269
935.88	c 2752
936.11	o 30270
936.11	c 2751
943.53	o 30274
943.53	c 2747
943.80	o 30278
943.80	c 2743
944.06	o 30279
944.06	c 2742
945.35	o 30280
945.35	c 2741
946.68	o 30284
946.68	c 2737
948.99	o 30285
948.99	c 2736
949.26	o 30288
949.26	c 2733
950.06	o 30289
950.06	c 2732
950.80	o 30290
950.80	c 2731
951.01	o 30291
951.01	c 2730
951.27	o 30294
951.27	c 2727
951.53	o 30295
951.53	c 2726
958.38	o 30296
958.38	c 2725
958.58	o 30297
958.58	c 2724
958.84	o 30301
958.84	c 2720
959.35	o 30302
959.35	c 2719
960.96	o 30303
960.96	c 2718
961.18	o 30305
961.18	c 2716
961.41	o 30307
961.41	c 2714
961.65	o 30310
961.65	c 2711
972.36	o 30311
972.36	c 2710
972.60	o 30313
972.60	c 2708
972.75	o 30314
972.75	c 2707
973.24	o 30316
973.24	c 2705
973.47	o 30317
973.47	c 2704
973.96	o 30318
973.96	c 2703
974.93	o 30319
974.93	c 2702
977.46	o 30320
977.46	c 2701
977.71	o 30321
977.71	c 2700
977.89	o 30322
977.89	c 2699
985.03	o 30324
985.03	c 2697
985.27	o 30326
985.27	c 2695
988.58	o 30329
988.58	c 2692
988.78	o 30330
988.78	c 2691
989.02	o 30331
989.02	c 2690
989.25	o 30333
989.25	c 2688
989.49	o 30335
989.49	c 2686
989.71	o 30336
989.71	c 2685
989.94	o 30340
989.94	c 2681
990.41	o 30341
990.41	c 2680
991.29	o 30342
991.29	c 2679
994.02	o 30343
994.02	c 2678
994.27	o 30344
994.27	c 2677
994.72	o 30348
994.72	c 2673
999.85	o 30349
999.85	c 2672
1000.09	o 30351
1000.09	c 2670
1000.33	o 30353
1000.33	c 2668
1000.56	o 30354
1000.56	c 2667
1000.76	o 30355
1000.76	c 2666
1002.38	o 30356
1002.38	c 2665
1002.86	o 30357
1002.86	c 2664
1003.30	o 30358
1003.30	c 2663
1004.48	o 30360
1004.48	c 2661
1004.72	o 30362
1004.72	c 2659
1004.96	o 30363
1004.96	c 2658
1005.20	o 30365
1005.20	c 2656
1005.44	o 30368
1005.44	c 2653
1014.51	o 30369
1014.51	c 2652
1014.75	o 30371
1014.75	c 2650
1017.16	o 30373
1017.16	c 2648
1017.65	o 30374
1017.65	c 2647
1018.15	o 30375
1018.15	c 2646
1018.63	o 30377
1018.63	c 2644
1019.36	o 30378
1019.36	c 2643
1026.74	o 30379
1026.74	c 2642
1027.47	o 30381
1027.47	c 2640
1031.59	o 30382
1031.59	c 2639
1033.63	o 30384
1033.63	c 2637
1033.88	o 30386
1033.88	c 2635
1034.35	o 30387
1034.35	c 2634
1034.58	o 30388
1034.58	c 2633
1034.83	o 30389
1034.83	c 2632
1040.79	o 30391
1040.79	c 2630
1040.92	o 30395
1040.92	c 2626
1041.13	o 30396
1041.13	c 2625
1045.80	o 30397
1045.80	c 2624
1045.93	o 30399
1045.93	c 2622
1046.16	o 30401
1046.16	c 2620
1046.40	o 30403
1046.40	c 2618
1052.29	o 30404
1052.29	c 2617
1052.53	o 30407
1052.53	c 2614
1052.77	o 30409
1052.77	c 2612
1055.74	o 30411
1055.74	c 2610
1055.99	o 30412
1055.99	c 2609
1060.35	o 30413
1060.35	c 2608
1063.20	o 30415
1063.20	c 2606
1063.92	o 30418
1063.92	c 2603
1064.11	o 30420
1064.11	c 2601
1064.34	o 30421
1064.34	c 2600
1064.79	o 30422
1064.79	c 2599
1065.97	o 30423
1065.97	c 2598
1066.20	o 30425
1066.20	c 2596
1066.87	o 30426
1066.87	c 2595
1066.99	o 30428
1066.99	c 2593
1067.63	o 30429
1067.63	c 2592
1067.86	o 30430
1067.86	c 2591
1068.11	o 30431
1068.11	c 2590
1068.78	o 30433
1068.78	c 2588
1069.01	o 30436
1069.01	c 2585
1069.49	o 30437
1069.49	c 2584
1074.91	o 30438
1074.91	c 2583
1075.37	o 30440
1075.38	c 2581
1075.59	o 30441
1075.59	c 2580
1075.79	o 30442
1075.79	c 2579
1081.64	o 30445
1081.64	c 2576
1082.56	o 30446
1082.56	c 2575
1082.80	o 30447
1082.80	c 2574
1084.42	o 30448
1084.42	c 2573
1087.63	o 30449
1087.63	c 2572
1087.86	o 30450
1087.86	c 2571
1092.98	o 30451
1092.98	c 2570
1093.21	o 30452
1093.21	c 2569
1093.35	o 30460
1093.35	c 2561
1093.47	o 30461
1093.47	c 2560
1094.12	o 30463
1094.12	c 2558
1104.11	o 30464
1104.11	c 2557
1104.35	o 30465
1104.35	c 2556
1105.06	o 30466
1105.06	c 2555
1105.30	o 30467
1105.30	c 2554
1105.54	o 30470
1105.54	c 2551
1106.50	o 30471
1106.50	c 2550
1106.74	o 30472
1106.74	c 2549
1106.94	o 30474
1106.94	c 2547
1107.20	o 30475
1107.20	c 2546
1107.70	o 30476
1107.70	c 2545
1107.92	o 30477
1107.92	c 2544
1108.32	o 30478
1108.32	c 2543
1109.02	o 30481
1109.02	c 2540
1109.07	o 30482
1109.07	c 2539
1109.74	o 30485
1109.74	c 2536
1110.88	o 30487
1110.88	c 2534
1111.06	o 30490
1111.06	c 2531
1111.29	o 30494
1111.29	c 2527
1111.99	o 30495
1111.99	c 2526
1112.23	o 30496
1112.23	c 2525
1112.70	o 30497
1112.70	c 2524
1114.06	o 30498
1114.06	c 2523
1114.30	o 30499
1114.30	c 2522
1114.54	o 30500
1114.54	c 2521
1129.08	o 30501
1129.08	c 2520
1129.31	o 30502
1129.31	c 2519
1129.54	o 30503
1129.54	c 2518
1130.01	o 30505
1130.01	c 2516
1130.24	o 30506
1130.24	c 2515
1130.49	o 30507
1130.49	c 2514
1131.26	o 30509
1131.26	c 2512
1131.42	o 30510
1131.42	c 2511
1132.30	o 30511
1132.30	c 2510
1132.54	o 30512
1132.54	c 2509
1133.47	o 30513
1133.47	c 2508
1134.17	o 30514
1134.17	c 2507
1134.40	o 30515
1134.41	c 2506
1134.64	o 30516
1134.64	c 2505
1134.88	o 30518
1134.88	c 2503
1135.12	o 30519
1135.12	c 2502
1135.22	o 30522
1135.22	c 2499
1136.60	o 30523
1136.60	c 2498
1137.29	o 30526
1137.29	c 2495
1137.53	o 30527
1137.53	c 2494
1137.77	o 30530
1137.77	c 2491
1138.91	o 30531
1138.91	c 2490
1140.33	o 30532
1140.33	c 2489
1140.57	o 30533
1140.57	c 2488
1141.72	o 30534
1141.72	c 2487
1142.84	o 30535
1142.84	c 2486
1143.27	o 30536
1143.27	c 2485
1144.88	o 30538
1144.88	c 2483
1145.35	o 30539
1145.35	c 2482
1146.26	o 30542
1146.26	c 2479
1151.47	o 30543
1151.47	c 2478
1153.27	o 30544
1153.27	c 2477
1154.17	o 30546
1154.17	c 2475
1154.63	o 30547
1154.63	c 2474
1156.00	o 30549
1156.00	c 2472
1157.17	o 30551
1157.17	c 2470
1157.55	o 30554
1157.55	c 2467
1158.00	o 30556
1158.00	c 2465
1158.90	o 30558
1158.90	c 2463
1160.24	o 30560
1160.24	c 2461
1160.46	o 30561
1160.46	c 2460
1160.92	o 30562
1160.92	c 2459
1161.15	o 30563
1161.15	c 2458
1166.95	o 30564
1166.95	c 2457
1167.09	o 30565
1167.09	c 2456
1167.54	o 30567
1167.54	c 2454
1172.02	o 30569
1172.02	c 2452
1173.55	o 30570
1173.55	c 2451
1173.78	o 30571
1173.78	c 2450
1173.91	o 30574
1173.91	c 2447
1174.19	o 30575
1174.19	c 2446
1175.01	o 30577
1175.01	c 2444
1175.20	o 30578
1175.20	c 2443
1175.42	o 30579
1175.42	c 2442
1175.64	o 30581
1175.64	c 2440
1177.78	o 30582
1177.78	c 2439
1178.22	o 30584
1178.22	c 2437
1178.57	o 30586
1178.57	c 2435
1179.43	o 30587
1179.43	c 2434
1179.65	o 30588
1179.65	c 2433
1180.69	o 30589
1180.69	c 2432
1180.91	o 30592
1180.91	c 2429
1190.80	o 30593
1190.80	c 2428
1191.11	o 30595
1191.11	c 2426
1191.26	o 30597
1191.26	c 2424
1192.77	o 30599
1192.77	c 2422
1194.75	o 30600
1194.75	c 2421
1194.97	o 30602
1194.97	c 2419
1196.91	o 30604
1196.91	c 2417
1197.57	o 30606
1197.57	c 2415
1197.79	o 30607
1197.79	c 2414
1198.12	o 30610
1198.12	c 2411
1198.73	o 30611
1198.73	c 2410
1199.17	o 30613
1199.17	c 2408
1199.60	o 30614
1199.60	c 2407
1199.82	o 30618
1199.82	c 2403
1200.26	o 30619
1200.26	c 2402
1201.55	o 30620
1201.55	c 2401
1204.78	o 30621
1204.78	c 2400
1205.00	o 30622
1205.00	c 2399
1205.22	o 30623
1205.22	c 2398
1205.44	o 30624
1205.44	c 2397
1205.64	o 30626
1205.64	c 2395
1206.12	o 30627
1206.12	c 2394
1206.26	o 30628
1206.26	c 2393
1207.72	o 30629
1207.72	c 2392
1208.48	o 30630
1208.48	c 2391
1210.85	o 30632
1210.85	c 2389
1210.99	o 30633
1210.99	c 2388
1211.17	o 30634
1211.17	c 2387
1211.52	o 30635
1211.52	c 2386
1211.73	o 30637
1211.73	c 2384
1241.96	   
1241.96	   search
1241.96	     run=0  nbConstraintChecks=6997860257  nbAssignments=7913
1241.96	       =>  wckTime=1206.363  cpuTime=1204.11  mem=65M14
1241.96	   
1241.96	   global
1241.96	     nbConstraintChecks=6997860257  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
1241.96	     solvingWckTime=1206.344  solvingCpuTime=1204.1  expiredTime=no  totalExploration=no  nbFoundSolutions=0
1241.96	     globalCpuTime=1238.24
1241.96	       =>  wckTime=1241.639  cpuTime=1238.19  mem=65M14
1241.96	   
1241.96	   solver IterativeSystematicSolver being built... 
1242.33	       =>  wckTime=1242.007  cpuTime=1238.42  mem=92M324
2408.82	v -2568 -2560 -2508 2640 2600 2488 -2348 2500 -2336 2436 -2524 -2576 2572 2532 -2640 2524 -2556 -2432 -2588 2332 2620 2320 2340 2632 -2396 2600 2604 -2628 2400 2640 2296 2284 2516 2300 -2368 -2340 -2576 2424 -2332 -2308 2460 -2396 2324 -2496 2292 -2368 2488 -2476 2528 2552 -2288 -2308 2324 -2304 2596 -2280 2288 -2284 -2588 -2332 2288 2500 2552 -2556 -2500 -2640 2324 -2496 -2548 2600 -2320 2476 2368 -2320 -2472 2620 -2280 2308 2596 -2280 2596 2356 2344 2388 -2600 -2616 2584 2596 -2344 2432 2284 2340 -2332 -2384 -2448 2600 -2424 -2344 -2636 -2368 -2280 2600 -2336 2640 -2640 2320 -2356 2636 -2472 -2560 -2588 2512 2412 -2280 2388 2496 2284 -2320 -2608 -2320 -2500 -2628 -2640 -2636 2468 2284 2632 -2348 2320 2292 2288 -2488 -2640 2596 2316 2620 -2280 2640 -2424 -2324 -2584 2288 -2480 2284 2600 -2400 2284 2492 2288 -2392 -2636 -2456 2344 -2348 -2344 -2596 -2628 2284 -2332 -2308 -2280 2408 -2344 -2516 -2324 2524 2516 -2624 -2296 2424 2636 -2320 2424 2452 2616 -2536 2468 -2284 -2640 -2612 -2284 2476 2340 2304 -2384 2484 2568 2280 2280 -2316 -2624 2496 -2596 -2428 -2280 -2552 -2600 2636 -2432 -2600 -2548 -2280 -2428 -2588 -2344 2600 -2616 2328 2476 2372 2288 -2280 2356 -2320 -2332 2280 2284 2624 2296 -2536 -2476 -2484 2468 -2324 -2396 -2380 2436 2560 2636 -2284 2316 2396 -2300 -2596 2284 -2328 2640 -2636 2384 2584 -2320 2484 2476 -2332 2396 2324 2640 2284 2324 -2624 -2600 -2380 2444 2308 2312 2492 -2432 2332 2612 2640 2612 2640 2472 -2640 -2560 2320 -2484 -2456 -2464 2420 2516 -2356 -2564 -2440 -2284 -2452 2280 -2324 2640 -2332 -2640 -2300 2640 -2528 2328 -2480 -2396 -2380 2372 2364 2480 2600 2320 -2280 -2280 2288 2600 -2472 -2280 -2636 2324 -2424 -2640 2616 -2580 -2328 -2284 -2420 2516 2600 2436 2600 -2504 2364 -2640 2292 -2512 2596 -2288 -2364 2304 2640 2636 2564 2324 2504 -2588 -2488 2580 2596 2388 2596 2596 2328 -2440 -2336 2288 2372 -2640 2452 -2492 2500 -2576 -2280 -2452 2496 2488 2328 -2280 2536 2292 2596 2516 2308 2284 2316 2472 2356 -2504 2600 2616 2332 2328 -2416 -2368 2324 -2556 -2288 -2640 2288 2340 -2328 -2596 2332 -2540 -2280 2452 -2280 2324 -2500 2640 2636 2640 -2300 -2324 -2388 2356 2528 -2600 -2632 -2636 2424 2640 2600 -2524 2640 -2496 -2640 -2312 2588 2588 2600 2408 -2320 2440 2444 2336 -2636 -2412 2384 2600 -2632 -2320 2460 2480 2280 2600 -2468 2392 2540 2324 -2364 2284 -2640 -2584 2584 -2580 -2576 -2600 -2492 2596 2584 2288 -2484 2596 -2564 2324 -2344 -2420 2432 2320 -2512 2632 -2320 -2308 2600 2600 -2588 2448 2636 2280 2488 -2596 -2640 2448 -2632 2432 2640 2288 2296 -2324 -2564 -2320 -2416 -2296 -2640 -2564 2396 2476 -2288 2280 -2628 2372 2492 -2352 -2596 2536 -2608 2576 2348 2476 -2488 -2480 -2288 2284 -2600 2320 2532 2572 -2348 -2280 -2308 2320 -2328 -2580 -2596 -2544 -2464 -2340 2640 -2596 2416 2536 -2328 -2280 2280 2620 2328 2432 -2628 -2540 2336 2504 2344 -2320 -2448 2576 -2616 -2636 2580 2428 -2328 -2300 2636 2284 -2296 2440 2584 2600 -2288 -2512 -2572 -2596 2464 -2420 2596 2448 2496 2284 2428 -2384 2288 -2632 2336 -2500 -2632 2444 -2324 -2352 2640 -2292 -2408 2304 2632 2500 2288 2640 2292 2464 2344 -2340 2316 2304 2600 -2320 2408 -2640 2420 -2532 2636 2620 2640 2628 2440 2280 -2616 -2504 2452 -2460 2328 2544 -2348 -2376 -2300 -2592 -2592 2300 -2348 2572 -2428 2600 2328 2300 -2340 -2308 2528 2640 2480 -2600 2604 2380 -2540 2560 2568 -2508 -2540 -2304 2512 2376 -2300 -2424 -2448 2472 -2392 2336 -2288 2396 -2588 2284 2484 2444 -2640 -2452 2476 2632 2320 -2312 -2372 2460 -2420 2640 -2284 2284 -2592 -2472 2312 -2640 2328 2412 -2620 -2616 -2356 -2488 -2532 2284 -2344 -2324 2280 -2588 -2404 2348 -2320 2280 2428 -2612 -2500 2572 -2584 2388 -2600 2280 -2368 -2532 2432 2436 -2292 2600 -2600 2340 -2416 -2360 -2636 -2284 -2568 -2280 -2600 2596 2320 2424 -2564 -2424 2584 2580 -2320 -2636 -2340 2576 2464 -2496 -2580 2280 2640 -2612 2640 -2324 -2396 -2304 2292 2620 2388 -2280 2408 2284 -2608 -2544 2600 -2508 -2448 2308 -2632 -2292 2368 -2628 2500 2320 2292 2308 -2624 2408 2292 -2412 -2596 -2632 2504 2636 -2324 -2384 2292 2428 -2640 -2596 -2360 -2332 -2344 2640 2280 2632 2292 2280 -2324 2636 -2280 -2320 2336 2464 -2636 2288 2484 2632 -2596 -2464 2424 2468 -2356 -2540 2600 2284 2500 -2616 -2376 -2324 -2592 -2640 -2532 -2508 -2572 2372 2284 2280 -2280 -2632 -2564 -2612 -2584 2608 2288 -2512 -2284 2596 -2280 -2300 2280 -2520 -2288 2320 2280 2348 2400 -2288 2304 -2388 -2344 2596 -2328 -2324 -2320 2624 2412 -2416 2404 -2328 2516 -2572 2328 -2600 2392 2636 2408 -2336 2324 2628 -2556 2308 -2324 -2468 2640 -2640 -2600 -2292 2592 2636 2604 -2600 2280 2328 2572 -2280 2600 -2628 -2280 2600 -2456 2376 2340 2640 -2636 2460 -2540 -2320 -2440 -2640 -2640 2384 -2624 -2632 2328 -2632 2640 2280 2376 -2500 -2496 2596 -2432 -2288 -2296 -2420 -2452 2300 -2280 -2444 2340 2412 -2324 2324 -2600 2300 -2344 -2364 -2428 -2428 2564 2328 -2432 -2640 2484 2284 2464 2380 2292 -2636 2320 -2324 2376 2472 -2328 2640 -2544 2560 -2508 2640 -2576 -2296 -2352 2360 -2352 -2608 -2636 -2364 2640 2640 2636 2284 2640 2632 -2520 2620 2600 -2584 2280 -2356 -2328 2288 -2420 2516 2516 2340 2600 -2304 2280 2596 -2400 -2324 2600 2280 2288 2636 2328 -2408 -2480 -2428 -2428 2292 -2524 -2628 -2600 2640 -2284 -2296 -2600 2284 2572 -2472 -2624 2632 2608 -2504 2484 -2572 2312 -2288 2592 2600 2336 -2304 -2432 -2296 -2412 2436 -2556 2360 -2632 -2292 2600 2532 2560 -2340 -2596 2284 2592 2300 2320 -2440 2440 -2600 2584 -2508 2332 -2384 -2404 2320 -2588 -2576 2284 2280 2600 2560 -2316 2464 2344 -2392 2400 2324 -2320 2432 -2336 -2420 2464 2476 2400 2432 -2596 2436 -2524 2320 -2568 -2588 2408 2564 2432 2284 -2528 -2344 -2580 2328 2284 2556 2460 2344 2516 2560 -2388 -2332 -2536 -2556 -2352 2336 -2328 -2444 -2636 -2384 -2592 -2280 -2640 2424 -2280 -2536 2552 -2472 2444 -2488 -2472 2320 2364 -2412 -2448 2588 -2328 2408 2428 2340 2496 2284 -2356 2448 -2452 -2368 2300 -2464 2280 -2568 -2284 -2344 2472 -2284 2344 -2516 2600 2284 2600 -2328 2636 -2392 2536 -2532 -2352 -2296 -2320 -2408 2320 2348 2404 2532 2484 2596 -2320 -2552 2288 -2528 -2516 2576 2452 2368 -2328 -2420 2600 2616 2280 -2632 -2572 -2600 -2324 2312 -2356 2396 2600 -2600 2400 -2288 -2628 2600 -2640 -2636 2336 2580 -2292 -2400 2392 2636 -2588 -2400 -2344 2320 -2488 -2324 2492 -2452 -2312 2488 -2280 2500 -2372 2588 2392 2468 2376 2608 2596 2576 2320 -2592 2568 2280 -2552 -2560 -2360 -2452 2548 -2336 2352 -2624 -2636 -2604 -2596 2440 -2304 -2420 -2596 -2328 2320 -2568 -2280 -2280 2356 -2548 -2592 -2464 2500 -2488 2592 2336 2352 -2608 2288 2508 2348 -2344 2500 2628 -2632 -2636 2432 2600 -2328 -2592 2312 -2280 -2568 -2356 -2320 -2288 2536 2580 2364 2636 2440 -2444 2288 2640 -2324 -2328 -2304 2400 -2368 2332 -2592 -2308 2596 -2580 2472 -2320 -2280 -2488 -2480 2576 2448 2376 -2284 2596 -2600 -2592 2352 2296 -2632 2372 2388 -2640 2508 2368 -2420 2608 -2320 2408 -2336 -2568 -2628 -2624 2336 2304 -2592 2568 2284 2576 2476 2308 -2636 2308 2604 -2424 2392 2640 -2376 -2380 2336 -2504 2356 2472 2628 -2556 2600 2400 2612 2440 -2296 -2600 -2348 2296 -2564 2640 2596 2460 -2528 2476 -2472 2640 2280 -2632 -2564 -2324 -2608 -2324 2332 -2640 -2356 -2284 2280 2344 2580 2592 2576 2324 -2456 2592 2288 -2628 -2520 2520 -2488 2636 2376 2288 -2472 2640 -2628 2344 -2612 -2600 2636 -2424 -2548 -2416 -2356 2608 -2460 2580 -2436 -2600 2608 2396 2280 -2312 -2300 -2600 -2344 2320 -2292 -2372 -2632 -2600 2288 2300 2640 -2640 2580 -2508 2636 2600 2592 2520 -2288 2288 -2288 -2600 -2596 2412 2588 -2288 2564 -2604 -2444 2344 2360 -2280 -2280 2340 -2640 -2564 -2424 -2280 2464 -2596 2596 2316 2428 2628 -2288 -2320 -2320 2552 -2600 -2632 -2432 -2640 2504 -2500 -2320 -2608 2296 -2516 -2300 -2588 2340 2280 2380 2284 -2508 2596 2300 -2640 2600 2304 -2320 -2512 2476 2412 -2288 -2296 2600 2304 2592 -2324 2296 -2468 2608 2368 -2524 2324 2584 2540 2356 -2400 2460 -2324 2332 2616 -2632 2520 2280 2632 -2524 -2436 2476 -2340 -2372 2368 2492 -2600 -2424 2576 -2384 2360 -2524 -2472 2452 2604 -2320 -2416 2616 -2280 -2548 2348 2320 -2368 2588 -2568 2640 -2516 2284 2324 2596 -2604 2596 -2360 -2460 -2424 -2548 2292 2344 -2320 -2280 2408 -2288 -2492 -2568 2560 2324 2288 -2580 -2380 -2328 -2384 -2640 2436 2292 2408 2616 2560 -2512 -2496 2524 2640 2348 2352 2596 2324 -2636 2588 -2292 -2512 -2416 -2456 2420 2604 2412 -2392 2332 -2484 2328 2560 -2584 -2512 -2512 -2632 2428 -2600 2280 2280 2328 -2640 2412 2436 -2288 2540 2408 -2508 2572 2300 -2608 -2636 -2596 2600 2408 2588 -2296 -2336 -2596 -2632 2332 2412 -2632 -2568 -2284 -2576 -2548 -2484 2404 2328 2640 2512 2340 2512 -2472 -2600 2348 2280 -2296 -2416 2592 2516 -2612 -2492 -2324 -2600 -2280 -2636 -2312 2600 2632 2636 -2372 -2628 -2324 2284 2320 -2580 2344 2296 -2480 2328 -2636 2280 2512 -2600 -2320 -2476 2296 2328 -2436 2584 -2324 -2344 -2428 2444 -2564 2288 -2320 -2364 2284 -2452 2372 2476 2328 2600 -2628 2628 2568 2324 2640 -2556 -2544 -2588 -2600 2600 2576 2320 2304 2324 -2640 -2612 -2384 2572 2560 2356 2284 2420 2640 -2388 2476 -2328 2472 -2592 -2628 -2300 -2640 2364 -2596 -2636 2320 2636 -2440 2328 2640 2300 -2636 2448 -2292 2460 2600 2336 2428 2408 -2476 -2284 -2456 -2560 2556 2572 -2472 2364 2548 2288 2532 -2340 -2536 -2420 2324 -2424 -2640 2596 2328 -2504 2340 -2388 2516 2564 2376 2300 -2444 2504 -2324 2412 2300 2416 2356 2468 -2420 -2600 2368 -2636 2568 2368 2328 -2600 2524 -2336 2532 -2596 2280 -2596 -2428 2300 2324 2640 -2636 -2304 2476 2436 2536 2376 2588 -2288 -2600 -2428 -2548 -2332 -2420 2324 2552 2340 -2600 -2524 -2440 -2412 -2600 2320 -2504 2336 2420 2308 -2636 -2640 2560 2584 2588 -2604 2600 2320 -2532 2636 -2348 -2348 2472 2552 2568 -2340 -2292 2592 -2408 -2400 -2460 -2396 -2436 -2572 2304 2600 -2444 2348 -2640 -2584 -2540 -2520 2636 2536 2564 -2288 2328 2584 2640 -2344 2500 -2628 -2280 -2572 -2320 -2284 2628 -2280 2288 -2392 2600 2336 -2288 -2284 2288 -2284 -2516 -2572 2424 2392 -2432 2412 2580 -2384 -2336 2332 2472 2324 -2432 -2364 2484 -2552 -2328 -2320 2548 2460 -2280 -2284 2508 2280 -2600 2604 -2312 -2592 2388 2640 2348 2400 -2324 2296 2548 -2300 2288 -2280 -2576 -2280 -2528 2620 -2288 2332 -2448 -2336 -2332 -2320 -2360 2280 2284 -2428 2324 -2608 2368 2492 -2640 2636 2548 -2612 -2616 2588 2608 -2396 -2404 2284 -2600 -2280 -2600 2488 2284 2284 2288 -2292 -2572 2460 2360 2576 -2324 -2572 -2280 2536 2324 2348 -2528 2380 2392 -2596 2288 2548 2592 2324 2584 -2324 -2636 2492 2596 -2280 -2568 -2476 -2368 -2300 2448 -2588 -2476 2620 -2584 2320 2324 -2384 2536 -2524 -2596 -2552 2512 2320 -2496 -2380 2300 -2328 -2524 2300 2292 -2332 2360 -2640 2632 2580 -2336 -2320 2332 -2300 2280 -2516 2296 2348 -2320 -2320 2324 -2640 2280 -2284 -2284 2564 -2628 2376 2636 -2332 -2568 -2284 -2288 2364 -2468 -2280 2612 2556 2352 -2624 2328 2328 2320 2348 -2624 2544 2456 2436 -2280 -2556 2568 2588 2596 2600 -2532 -2424 2512 2280 2540 2584 -2288 -2320 2632 2628 -2548 -2484 2404 2640 -2496 -2420 2604 2368 2540 -2348 -2404 -2524 -2320 -2380 -2284 -2640 2408 2280 2312 -2620 -2640 -2324 2568 2296 -2320 -2340 2572 -2448 -2540 -2520 2512 -2412 -2308 -2632 -2336 2472 -2596 2436 -2396 2420 2380 -2284 -2448 -2640 -2332 -2612 2596 -2572 2628 2600 -2600 -2608 -2484 2324 -2352 -2280 -2600 -2472 -2608 -2544 -2400 2596 2640 2508 2524 2596 -2572 2420 2576 2572 2304 2284 2636 -2384 -2324 -2640 2320 -2560 2288 2280 2632 2588 2636 -2416 2640 -2624 2380 -2300 2352 2592 -2416 -2628 2320 -2288 2632 -2388 -2548 -2340 2636 -2504 -2300 -2556 2396 2640 2280 -2460 2484 -2284 2456 -2436 -2360 2368 -2640 2300 -2468 2392 2572 -2332 2464 2640 2284 -2452 2524 -2612 -2320 -2284 2404 -2492 -2480 -2584 -2340 -2288 2516 2280 2360 2640 -2636 -2600 -2640 -2520 2356 2604 -2600 2632 -2448 -2292 -2388 2368 2584 -2628 2280 -2572 2308 2404 2328 2288 -2436 -2600 2592 2604 2280 2488 2384 -2476 -2496 2492 2468 2640 2400 2344 -2484 2396 2320 -2520 2600 -2428 -2592 2548 -2548 2528 -2344 2292 -2280 2280 2640 -2628 -2288 -2296 2400 -2608 -2432 -2332 -2324 -2340 2352 -2592 -2640 2452 -2640 2560 -2444 2600 -2288 -2412 2480 2328 2600 2584 2308 2432 2408 -2552 2480 -2640 -2316 2636 -2324 -2432 -2384 2324 2596 -2636 2340 -2312 2324 2592 -2368 -2508 2352 2344 2640 -2280 -2536 2364 2512 2316 -2320 -2328 2600 2344 -2336 -2288 -2320 2600 -2476 -2356 2292 2448 2520 -2568 2280 2560 -2416 2616 2504 -2408 2280 -2452 2600 2324 -2564 -2524 -2584 -2280 -2596 2616 2416 -2372 2284 -2640 2328 2472 2328 -2336 -2424 2288 2396 -2388 2620 2328 -2636 -2324 -2432 2540 2472 -2320 -2424 2484 -2624 -2588 2376 -2404 -2332 -2436 -2328 -2384 2344 -2544 2300 -2432 -2464 2460 2580 2600 -2548 2448 2600 2284 2292 2304 2364 -2284 2600 2288 2536 -2640 -2564 -2524 2348 2476 2540 2640 2312 -2416 2636 2576 2536 2620 2556 2340 2424 2292 2476 -2632 -2320 2596 -2600 2500 2404 2628 -2324 -2512 2444 -2416 2328 2308 2532 -2312 -2508 -2508 2596 -2324 2284 -2444 2500 -2488 -2528 2368 2376 -2532 2284 2532 -2336 2460 2516 -2576 2620 -2548 -2568 2560 2564 -2392 -2492 -2368 -2296 -2284 2304 -2576 2320 -2532 -2620 2636 -2564 2632 2588 2588 -2428 2320 2396 2552 2592 2512 2568 -2636 2340 2320 2320 2368 -2340 2636 2324 2456 -2600 2552 -2420 2280 -2336 -2600 2528 2364 -2396 2304 2564 -2564 -2628 2320 -2380 -2588 -2516 2456 2460 2596 2328 2612 2636 -2288 2352 2476 2464 2336 2292 2280 -2288 2304 -2564 2588 2640 2440 -2624 2340 -2456 -2328 -2588 2492 2308 -2320 2620 -2640 2640 2304 -2604 2516 2620 -2352 -2640 2492 -2280 2592 2600 -2600 2628 2328 2628 2624 2448 -2640 -2480 2324 -2360 -2376 2600 -2368 -2480 -2464 2600 -2480 2612 -2368 -2336 -2284 2488 2280 -2600 -2284 2320 -2312 2436 -2408 2636 -2372 -2388 -2512 2636 2392 -2608 -2532 2384 -2352 -2592 2332 2372 -2288 -2640 2280 2632 2340 2452 2596 -2624 2376 -2512 2328 2484 2536 -2404 -2320 -2280 -2512 2604 -2492 2296 2280 -2348 2288 -2344 -2496 2600 2624 2532 -2588 2284 -2616 -2280 2288 -2284 2424 -2412 -2372 2384 -2320 2636 -2280 -2336 -2588 -2324 -2372 2440 2600 2392 2624 -2436 2336 2516 2384 -2636 -2356 2304 2324 -2488 2428 2284 2404 -2624 2376 2580 -2640 2388 -2280 2496 2564 2328 -2316 -2284 2584 -2596 2512 -2548 2464 -2456 2352 2324 -2280 -2320 2456 -2320 -2404 2340 2364 -2636 -2428 -2640 -2412 2284 -2640 2284 -2320 -2620 2544 -2640 2280 -2628 -2580 -2396 2600 2444 -2288 -2628 -2292 -2336 -2468 2280 -2508 2284 -2616 2620 -2600 2320 2292 -2628 -2624 2612 2280 2372 -2460 2396 -2296 2296 2620 2472 2328 -2472 2436 -2596 2280 -2324 2624 2568 2340 2432 -2516 -2636 2604 2324 2284 2588 -2440 -2292 2640 2636 -2356 2500 -2336 -2524 -2600 2600 2616 2624 -2320 2328 -2288 -2292 -2380 2320 2360 -2364 2640 -2324 -2564 2632 -2380 2616 2380 2492 2352 2584 2320 2336 -2292 -2612 2548 2412 2308 -2600 -2324 2516 -2320 2536 2280 -2624 -2600 -2456 2624 -2316 -2332 2316 -2284 2476 -2508 -2528 2512 2516 2640 2612 -2568 -2324 2340 2600 -2320 -2588 2440 -2328 2436 2328 -2468 2564 -2468 -2580 2324 2592 2612 -2512 2588 -2364 -2544 2428 2516 -2464 -2296 2640 2520 2636 -2324 2468 -2612 2640 -2568 -2280 2540 2388 2420 -2596 -2364 2332 2576 -2436 2464 2580 2296 -2544 -2360 -2328 2332 -2280 2592 2280 2288 2532 -2536 2640 2640 2544 2284 2384 -2460 2352 -2604 -2556 -2324 2456 2548 -2540 2284 2320 -2592 2336 -2524 -2320 -2472 -2332 -2588 -2352 -2636 -2412 -2452 -2324 -2284 -2280 -2596 -2484 -2344 2368 2540 2548 -2280 2600 2572 -2588 2396 2344 2320 2580 2332 -2348 -2444 2636 -2452 -2328 2528 2468 2600 -2592 2640 2636 2600 -2280 -2640 -2544 -2284 -2476 2528 2600 2336 -2432 2284 -2636 -2320 2632 2524 2348 2328 2476 -2388 -2320 -2636 -2368 2284 -2640 -2324 -2376 2368 -2640 2448 -2608 -2624 -2636 2540 2528 -2600 -2340 2284 -2580 2596 -2304 2516 2356 2376 -2328 -2636 2320 2324 -2524 -2528 2640 -2356 2600 -2524 2492 -2636 2544 2604 -2608 -2556 2628 -2632 -2572 2536 -2340 2340 2316 -2468 2512 2420 2528 -2312 2432 -2600 -2524 -2284 -2640 2356 2636 -2404 2616 2596 2640 -2420 -2640 2504 2468 2624 2432 2336 2392 -2588 2556 -2408 -2368 2332 -2356 2312 -2320 2560 2452 2512 -2392 2324 2296 -2544 2596 -2448 2280 2640 -2388 2612 2284 2488 2288 2424 -2284 -2280 2316 2468 -2488 2596 2368 2568 2540 2288 -2280 2628 -2564 -2448 2448 2352 -2400 2572 2328 -2552 2456 -2300 -2548 -2288 -2596 2304 -2352 2552 -2408 2404 -2508 2320 2324 -2620 -2408 2388 2440 2484 2600 -2584 2340 -2320 -2348 2324 2440 -2380 -2448 2284 2576 2512 2292 2304 -2288 2428 -2352 -2324 2620 2380 -2504 -2472 2280 -2348 2632 2476 2468 2420 -2408 2388 2320 2300 -2384 2284 -2284 -2324 -2336 2572 -2636 -2320 2408 2320 2640 2360 2604 -2332 2632 -2636 -2524 2628 2320 2296 2592 -2492 2296 -2456 2640 2600 2324 2564 2468 2600 2580 -2280 -2596 -2544 2320 2580 -2544 -2624 2468 -2316 -2324 -2444 -2560 2520 2384 

2384 unsatisfied constraints, 30637 satisfied constraints

runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node12/watcher-275249-1169218888 -o ROOT/results/node12/solver-275249-1169218888 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/275249-1169218888/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.90 1.98 1.92 5/100 26222
/proc/meminfo: memFree=1405880/2055920 swapFree=4160348/4192956
[pid=26221] ppid=26219 vsize=18540 CPUtime=0
/proc/26221/stat : 26221 (runsolver) R 26219 26221 25484 0 -1 4194368 17 0 0 0 0 0 0 0 18 0 1 0 270284009 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 252429528359 0 0 4096 24578 0 0 0 17 1 0 0
/proc/26221/statm: 4635 279 244 17 0 2626 0

[startup+0.103334 s]
/proc/loadavg: 1.90 1.98 1.92 5/100 26222
/proc/meminfo: memFree=1405880/2055920 swapFree=4160348/4192956
[pid=26221] ppid=26219 vsize=912908 CPUtime=0.07
/proc/26221/stat : 26221 (java) S 26219 26221 25484 0 -1 0 2842 0 1 0 6 1 0 0 16 0 8 0 270284009 934817792 2588 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26221/statm: 228267 2590 1395 14 0 215168 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 912908

[startup+0.512407 s]
/proc/loadavg: 1.90 1.98 1.92 5/100 26222
/proc/meminfo: memFree=1405880/2055920 swapFree=4160348/4192956
[pid=26221] ppid=26219 vsize=915332 CPUtime=0.48
/proc/26221/stat : 26221 (java) R 26219 26221 25484 0 -1 0 6851 0 1 0 43 5 0 0 18 0 8 0 270284009 937299968 6590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4152819938 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26221/statm: 228833 6591 2143 14 0 215303 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915332

[startup+1.34156 s]
/proc/loadavg: 1.90 1.98 1.92 4/107 26229
/proc/meminfo: memFree=1310336/2055920 swapFree=4160348/4192956
[pid=26221] ppid=26219 vsize=915612 CPUtime=1.31
/proc/26221/stat : 26221 (java) R 26219 26221 25484 0 -1 0 22699 0 1 0 117 14 0 0 18 0 8 0 270284009 937586688 22436 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153380233 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26221/statm: 228903 22436 2164 14 0 215373 0
[pid=26221/tid=26223] ppid=26219 vsize=915612 CPUtime=0.08
/proc/26221/task/26223/stat : 26223 (java) S 26219 26221 25484 0 -1 64 6140 0 0 0 6 2 0 0 16 0 8 0 270284013 937586688 22436 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26221/tid=26224] ppid=26219 vsize=915612 CPUtime=0
/proc/26221/task/26224/stat : 26224 (java) S 26219 26221 25484 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270284014 937586688 22436 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26221/tid=26225] ppid=26219 vsize=915612 CPUtime=0
/proc/26221/task/26225/stat : 26225 (java) S 26219 26221 25484 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270284014 937586688 22436 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26221/tid=26226] ppid=26219 vsize=915612 CPUtime=0
/proc/26221/task/26226/stat : 26226 (java) S 26219 26221 25484 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270284017 937586688 22436 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26221/tid=26227] ppid=26219 vsize=915612 CPUtime=0.15
/proc/26221/task/26227/stat : 26227 (java) R 26219 26221 25484 0 -1 64 402 0 0 0 15 0 0 0 22 0 8 0 270284017 937586688 22436 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26221/tid=26228] ppid=26219 vsize=915612 CPUtime=0
/proc/26221/task/26228/stat : 26228 (java) S 26219 26221 25484 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 270284017 937586688 22436 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26221/tid=26229] ppid=26219 vsize=915612 CPUtime=0
/proc/26221/task/26229/stat : 26229 (java) S 26219 26221 25484 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270284017 937586688 22436 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.97885 s]
/proc/loadavg: 1.90 1.98 1.92 3/107 26231
/proc/meminfo: memFree=1286592/2055920 swapFree=4160348/4192956
[pid=26221] ppid=26219 vsize=915744 CPUtime=2.94
/proc/26221/stat : 26221 (java) R 26219 26221 25484 0 -1 0 24085 0 1 0 278 16 0 0 25 0 8 0 270284009 937721856 23819 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073834153 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26221/statm: 228936 23819 2184 14 0 215406 0
[pid=26221/tid=26223] ppid=26219 vsize=915744 CPUtime=0.17
/proc/26221/task/26223/stat : 26223 (java) S 26219 26221 25484 0 -1 64 7448 0 0 0 14 3 0 0 16 0 8 0 270284013 937721856 23819 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26221/tid=26224] ppid=26219 vsize=915744 CPUtime=0
/proc/26221/task/26224/stat : 26224 (java) S 26219 26221 25484 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270284014 937721856 23819 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26221/tid=26225] ppid=26219 vsize=915744 CPUtime=0
/proc/26221/task/26225/stat : 26225 (java) S 26219 26221 25484 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270284014 937721856 23819 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26221/tid=26226] ppid=26219 vsize=915744 CPUtime=0
/proc/26221/task/26226/stat : 26226 (java) S 26219 26221 25484 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270284017 937721856 23819 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26221/tid=26227] ppid=26219 vsize=915744 CPUtime=0.18
/proc/26221/task/26227/stat : 26227 (java) S 26219 26221 25484 0 -1 64 415 0 0 0 18 0 0 0 16 0 8 0 270284017 937721856 23819 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26221/tid=26228] ppid=26219 vsize=915744 CPUtime=0
/proc/26221/task/26228/stat : 26228 (java) S 26219 26221 25484 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 270284017 937721856 23819 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26221/tid=26229] ppid=26219 vsize=915744 CPUtime=0
/proc/26221/task/26229/stat : 26229 (java) S 26219 26221 25484 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270284017 937721856 23819 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915744

[startup+6.18243 s]
/proc/loadavg: 1.91 1.98 1.92 3/107 26237
/proc/meminfo: memFree=1257088/2055920 swapFree=4160348/4192956
[pid=26221] ppid=26219 vsize=915744 CPUtime=6.14
/proc/26221/stat : 26221 (java) R 26219 26221 25484 0 -1 0 24110 0 1 0 596 18 0 0 25 0 8 0 270284009 937721856 23841 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073832596 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26221/statm: 228936 23841 2185 14 0 215406 0
[pid=26221/tid=26223] ppid=26219 vsize=915744 CPUtime=0.17
/proc/26221/task/26223/stat : 26223 (java) S 26219 26221 25484 0 -1 64 7448 0 0 0 14 3 0 0 17 0 8 0 270284013 937721856 23841 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26221/tid=26224] ppid=26219 vsize=915744 CPUtime=0
/proc/26221/task/26224/stat : 26224 (java) S 26219 26221 25484 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270284014 937721856 23841 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26221/tid=26225] ppid=26219 vsize=915744 CPUtime=0
/proc/26221/task/26225/stat : 26225 (java) S 26219 26221 25484 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270284014 937721856 23841 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26221/tid=26226] ppid=26219 vsize=915744 CPUtime=0
/proc/26221/task/26226/stat : 26226 (java) S 26219 26221 25484 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270284017 937721856 23841 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26221/tid=26227] ppid=26219 vsize=915744 CPUtime=0.21
/proc/26221/task/26227/stat : 26227 (java) S 26219 26221 25484 0 -1 64 436 0 0 0 20 1 0 0 16 0 8 0 270284017 937721856 23841 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26221/tid=26228] ppid=26219 vsize=915744 CPUtime=0
/proc/26221/task/26228/stat : 26228 (java) S 26219 26221 25484 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 270284017 937721856 23841 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26221/tid=26229] ppid=26219 vsize=915748 CPUtime=0
/proc/26221/task/26229/stat : 26229 (java) S 26219 26221 25484 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270284017 937725952 23841 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.14
Current children cumulated vsize (KiB) 915744

[startup+12.5886 s]
/proc/loadavg: 1.92 1.98 1.92 4/107 26251
/proc/meminfo: memFree=1209160/2055920 swapFree=4160348/4192956
[pid=26221] ppid=26219 vsize=915744 CPUtime=12.53
/proc/26221/stat : 26221 (java) R 26219 26221 25484 0 -1 0 25621 0 1 0 1220 33 0 0 25 0 8 0 270284009 937721856 25349 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073834832 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26221/statm: 228936 25349 2185 14 0 215406 0
[pid=26221/tid=26223] ppid=26219 vsize=915744 CPUtime=0.24
/proc/26221/task/26223/stat : 26223 (java) S 26219 26221 25484 0 -1 64 8948 0 0 0 20 4 0 0 16 0 8 0 270284013 937721856 25349 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26221/tid=26224] ppid=26219 vsize=915744 CPUtime=0
/proc/26221/task/26224/stat : 26224 (java) S 26219 26221 25484 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270284014 937721856 25349 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26221/tid=26225] ppid=26219 vsize=915744 CPUtime=0
/proc/26221/task/26225/stat : 26225 (java) S 26219 26221 25484 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270284014 937721856 25349 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26221/tid=26226] ppid=26219 vsize=915744 CPUtime=0
/proc/26221/task/26226/stat : 26226 (java) S 26219 26221 25484 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270284017 937721856 25349 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26221/tid=26227] ppid=26219 vsize=915744 CPUtime=0.23
/proc/26221/task/26227/stat : 26227 (java) S 26219 26221 25484 0 -1 64 444 0 0 0 22 1 0 0 16 0 8 0 270284017 937721856 25349 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26221/tid=26228] ppid=26219 vsize=915744 CPUtime=0
/proc/26221/task/26228/stat : 26228 (java) S 26219 26221 25484 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 270284017 937721856 25349 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26221/tid=26229] ppid=26219 vsize=915744 CPUtime=0
/proc/26221/task/26229/stat : 26229 (java) S 26219 26221 25484 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270284017 937721856 25349 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.53
Current children cumulated vsize (KiB) 915744

[startup+25.4599 s]
/proc/loadavg: 2.00 2.00 1.93 3/107 26279
/proc/meminfo: memFree=1144456/2055920 swapFree=4160348/4192956
[pid=26221] ppid=26219 vsize=915744 CPUtime=25.37
/proc/26221/stat : 26221 (java) R 26219 26221 25484 0 -1 0 27785 0 1 0 2442 95 0 0 25 0 8 0 270284009 937721856 27512 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073828039 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26221/statm: 228936 27512 2186 14 0 215406 0
[pid=26221/tid=26223] ppid=26219 vsize=915744 CPUtime=0.36
/proc/26221/task/26223/stat : 26223 (java) S 26219 26221 25484 0 -1 64 11108 0 0 0 31 5 0 0 16 0 8 0 270284013 937721856 27512 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26221/tid=26224] ppid=26219 vsize=915744 CPUtime=0
/proc/26221/task/26224/stat : 26224 (java) S 26219 26221 25484 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270284014 937721856 27512 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26221/tid=26225] ppid=26219 vsize=915748 CPUtime=0
/proc/26221/task/26225/stat : 26225 (java) S 26219 26221 25484 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270284014 937725952 27512 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26221/tid=26226] ppid=26219 vsize=915744 CPUtime=0
/proc/26221/task/26226/stat : 26226 (java) S 26219 26221 25484 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270284017 937721856 27512 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26221/tid=26227] ppid=26219 vsize=915744 CPUtime=0.24
/proc/26221/task/26227/stat : 26227 (java) S 26219 26221 25484 0 -1 64 447 0 0 0 23 1 0 0 16 0 8 0 270284017 937721856 27512 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26221/tid=26228] ppid=26219 vsize=915744 CPUtime=0
/proc/26221/task/26228/stat : 26228 (java) S 26219 26221 25484 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 270284017 937721856 27512 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26221/tid=26229] ppid=26219 vsize=915744 CPUtime=0
/proc/26221/task/26229/stat : 26229 (java) S 26219 26221 25484 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270284017 937721856 27512 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 915744

[startup+51.1015 s]
/proc/loadavg: 2.07 2.01 1.93 3/101 26311
/proc/meminfo: memFree=1041624/2055920 swapFree=4160348/4192956
[pid=26221] ppid=26219 vsize=915744 CPUtime=50.88
/proc/26221/stat : 26221 (java) R 26219 26221 25484 0 -1 0 34247 0 1 0 4920 168 0 0 25 0 8 0 270284009 937721856 33918 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074022262 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26221/statm: 228936 33918 2504 14 0 215406 0
[pid=26221/tid=26223] ppid=26219 vsize=915744 CPUtime=0.89
/proc/26221/task/26223/stat : 26223 (java) S 26219 26221 25484 0 -1 64 17191 0 0 0 82 7 0 0 16 0 8 0 270284013 937721856 33918 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26221/tid=26224] ppid=26219 vsize=915744 CPUtime=0
/proc/26221/task/26224/stat : 26224 (java) S 26219 26221 25484 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 270284014 937721856 33918 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26221/tid=26225] ppid=26219 vsize=915744 CPUtime=0
/proc/26221/task/26225/stat : 26225 (java) S 26219 26221 25484 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270284014 937721856 33918 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26221/tid=26226] ppid=26219 vsize=915744 CPUtime=0
/proc/26221/task/26226/stat : 26226 (java) S 26219 26221 25484 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270284017 937721856 33918 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26221/tid=26227] ppid=26219 vsize=915744 CPUtime=0.29
/proc/26221/task/26227/stat : 26227 (java) S 26219 26221 25484 0 -1 64 474 0 0 0 28 1 0 0 16 0 8 0 270284017 937721856 33918 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26221/tid=26228] ppid=26219 vsize=915744 CPUtime=0
/proc/26221/task/26228/stat : 26228 (java) S 26219 26221 25484 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 270284017 937721856 33918 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26221/tid=26229] ppid=26219 vsize=915744 CPUtime=0
/proc/26221/task/26229/stat : 26229 (java) S 26219 26221 25484 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270284017 937721856 33918 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.88
Current children cumulated vsize (KiB) 915744

[startup+102.35 s]
/proc/loadavg: 2.13 2.04 1.94 3/101 26311
/proc/meminfo: memFree=932440/2055920 swapFree=4160348/4192956
[pid=26221] ppid=26219 vsize=915744 CPUtime=102.05
/proc/26221/stat : 26221 (java) R 26219 26221 25484 0 -1 0 34250 0 1 0 10019 186 0 0 25 0 8 0 270284009 937721856 33921 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074013192 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26221/statm: 228936 33921 2504 14 0 215406 0
[pid=26221/tid=26223] ppid=26219 vsize=915744 CPUtime=0.89
/proc/26221/task/26223/stat : 26223 (java) S 26219 26221 25484 0 -1 64 17191 0 0 0 82 7 0 0 16 0 8 0 270284013 937721856 33921 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26221/tid=26224] ppid=26219 vsize=915744 CPUtime=0
/proc/26221/task/26224/stat : 26224 (java) S 26219 26221 25484 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 270284014 937721856 33921 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26221/tid=26225] ppid=26219 vsize=915744 CPUtime=0
/proc/26221/task/26225/stat : 26225 (java) S 26219 26221 25484 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270284014 937721856 33921 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26221/tid=26226] ppid=26219 vsize=915744 CPUtime=0
/proc/26221/task/26226/stat : 26226 (java) S 26219 26221 25484 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270284017 937721856 33921 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26221/tid=26227] ppid=26219 vsize=915744 CPUtime=0.3
/proc/26221/task/26227/stat : 26227 (java) S 26219 26221 25484 0 -1 64 477 0 0 0 29 1 0 0 15 0 8 0 270284017 937721856 33921 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26221/tid=26228] ppid=26219 vsize=915744 CPUtime=0
/proc/26221/task/26228/stat : 26228 (java) S 26219 26221 25484 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 270284017 937721856 33921 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26221/tid=26229] ppid=26219 vsize=915744 CPUtime=0
/proc/26221/task/26229/stat : 26229 (java) S 26219 26221 25484 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270284017 937721856 33921 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 102.05
Current children cumulated vsize (KiB) 915744

[startup+162.383 s]
/proc/loadavg: 2.11 2.05 1.95 3/101 26311
/proc/meminfo: memFree=833048/2055920 swapFree=4160348/4192956
[pid=26221] ppid=26219 vsize=915744 CPUtime=162.02
/proc/26221/stat : 26221 (java) R 26219 26221 25484 0 -1 0 34250 0 1 0 16007 195 0 0 25 0 8 0 270284009 937721856 33921 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074022358 0 4 0 23759 18446744073709551615 0 0 17 1 0 0

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

Current children cumulated CPU time (s) 2017.8
Current children cumulated vsize (KiB) 917068

[startup+2084.53 s]
/proc/loadavg: 2.00 2.00 2.00 3/94 26461
/proc/meminfo: memFree=1214864/2055920 swapFree=4160348/4192956
[pid=26221] ppid=26219 vsize=917068 CPUtime=2077.56
/proc/26221/stat : 26221 (java) R 26219 26221 25484 0 -1 0 38687 0 1 0 207491 265 0 0 25 0 8 0 270284009 939077632 38343 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074298864 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26221/statm: 229267 38343 2549 14 0 215737 0
[pid=26221/tid=26223] ppid=26219 vsize=917068 CPUtime=0.95
/proc/26221/task/26223/stat : 26223 (java) S 26219 26221 25484 0 -1 64 21392 0 0 0 86 9 0 0 16 0 8 0 270284013 939077632 38343 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26221/tid=26224] ppid=26219 vsize=917068 CPUtime=0
/proc/26221/task/26224/stat : 26224 (java) S 26219 26221 25484 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270284014 939077632 38343 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26221/tid=26225] ppid=26219 vsize=917068 CPUtime=0
/proc/26221/task/26225/stat : 26225 (java) S 26219 26221 25484 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270284014 939077632 38343 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26221/tid=26226] ppid=26219 vsize=917068 CPUtime=0
/proc/26221/task/26226/stat : 26226 (java) S 26219 26221 25484 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270284017 939077632 38343 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26221/tid=26227] ppid=26219 vsize=917068 CPUtime=0.4
/proc/26221/task/26227/stat : 26227 (java) S 26219 26221 25484 0 -1 64 619 0 0 0 39 1 0 0 15 0 8 0 270284017 939077632 38343 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26221/tid=26228] ppid=26219 vsize=917068 CPUtime=0
/proc/26221/task/26228/stat : 26228 (java) S 26219 26221 25484 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 270284017 939077632 38343 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26221/tid=26229] ppid=26219 vsize=917068 CPUtime=0
/proc/26221/task/26229/stat : 26229 (java) S 26219 26221 25484 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 270284017 939077632 38343 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2077.56
Current children cumulated vsize (KiB) 917068

[startup+2144.61 s]
/proc/loadavg: 2.00 2.00 2.00 3/94 26461
/proc/meminfo: memFree=1214800/2055920 swapFree=4160348/4192956
[pid=26221] ppid=26219 vsize=917068 CPUtime=2137.3
/proc/26221/stat : 26221 (java) R 26219 26221 25484 0 -1 0 38688 0 1 0 213465 265 0 0 25 0 8 0 270284009 939077632 38343 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074273863 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26221/statm: 229267 38343 2549 14 0 215737 0
[pid=26221/tid=26223] ppid=26219 vsize=917068 CPUtime=0.95
/proc/26221/task/26223/stat : 26223 (java) S 26219 26221 25484 0 -1 64 21392 0 0 0 86 9 0 0 16 0 8 0 270284013 939077632 38343 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26221/tid=26224] ppid=26219 vsize=917068 CPUtime=0
/proc/26221/task/26224/stat : 26224 (java) S 26219 26221 25484 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270284014 939077632 38343 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26221/tid=26225] ppid=26219 vsize=917068 CPUtime=0
/proc/26221/task/26225/stat : 26225 (java) S 26219 26221 25484 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270284014 939077632 38343 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26221/tid=26226] ppid=26219 vsize=917068 CPUtime=0
/proc/26221/task/26226/stat : 26226 (java) S 26219 26221 25484 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270284017 939077632 38343 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26221/tid=26227] ppid=26219 vsize=917068 CPUtime=0.4
/proc/26221/task/26227/stat : 26227 (java) S 26219 26221 25484 0 -1 64 620 0 0 0 39 1 0 0 16 0 8 0 270284017 939077632 38343 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26221/tid=26228] ppid=26219 vsize=917068 CPUtime=0
/proc/26221/task/26228/stat : 26228 (java) S 26219 26221 25484 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 270284017 939077632 38343 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26221/tid=26229] ppid=26219 vsize=917068 CPUtime=0
/proc/26221/task/26229/stat : 26229 (java) S 26219 26221 25484 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 270284017 939077632 38343 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2137.3
Current children cumulated vsize (KiB) 917068

[startup+2204.69 s]
/proc/loadavg: 2.00 2.00 2.00 3/94 26461
/proc/meminfo: memFree=1214800/2055920 swapFree=4160348/4192956
[pid=26221] ppid=26219 vsize=917068 CPUtime=2197.06
/proc/26221/stat : 26221 (java) R 26219 26221 25484 0 -1 0 38691 0 1 0 219441 265 0 0 25 0 8 0 270284009 939077632 38345 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074289477 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26221/statm: 229267 38345 2549 14 0 215737 0
[pid=26221/tid=26223] ppid=26219 vsize=917068 CPUtime=0.95
/proc/26221/task/26223/stat : 26223 (java) S 26219 26221 25484 0 -1 64 21392 0 0 0 86 9 0 0 16 0 8 0 270284013 939077632 38345 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26221/tid=26224] ppid=26219 vsize=917068 CPUtime=0
/proc/26221/task/26224/stat : 26224 (java) S 26219 26221 25484 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270284014 939077632 38345 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26221/tid=26225] ppid=26219 vsize=917068 CPUtime=0
/proc/26221/task/26225/stat : 26225 (java) S 26219 26221 25484 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270284014 939077632 38345 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26221/tid=26226] ppid=26219 vsize=917068 CPUtime=0
/proc/26221/task/26226/stat : 26226 (java) S 26219 26221 25484 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270284017 939077632 38345 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26221/tid=26227] ppid=26219 vsize=917068 CPUtime=0.4
/proc/26221/task/26227/stat : 26227 (java) S 26219 26221 25484 0 -1 64 623 0 0 0 39 1 0 0 17 0 8 0 270284017 939077632 38345 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26221/tid=26228] ppid=26219 vsize=917068 CPUtime=0
/proc/26221/task/26228/stat : 26228 (java) S 26219 26221 25484 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 270284017 939077632 38345 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26221/tid=26229] ppid=26219 vsize=917068 CPUtime=0
/proc/26221/task/26229/stat : 26229 (java) S 26219 26221 25484 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 270284017 939077632 38345 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2197.06
Current children cumulated vsize (KiB) 917068

[startup+2264.77 s]
/proc/loadavg: 2.00 2.00 2.00 3/94 26461
/proc/meminfo: memFree=1214864/2055920 swapFree=4160348/4192956
[pid=26221] ppid=26219 vsize=917068 CPUtime=2256.81
/proc/26221/stat : 26221 (java) R 26219 26221 25484 0 -1 0 38693 0 1 0 225416 265 0 0 25 0 8 0 270284009 939077632 38347 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074269466 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26221/statm: 229267 38347 2549 14 0 215737 0
[pid=26221/tid=26223] ppid=26219 vsize=917068 CPUtime=0.95
/proc/26221/task/26223/stat : 26223 (java) S 26219 26221 25484 0 -1 64 21392 0 0 0 86 9 0 0 16 0 8 0 270284013 939077632 38347 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26221/tid=26224] ppid=26219 vsize=917068 CPUtime=0
/proc/26221/task/26224/stat : 26224 (java) S 26219 26221 25484 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270284014 939077632 38347 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26221/tid=26225] ppid=26219 vsize=917068 CPUtime=0
/proc/26221/task/26225/stat : 26225 (java) S 26219 26221 25484 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270284014 939077632 38347 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26221/tid=26226] ppid=26219 vsize=917068 CPUtime=0
/proc/26221/task/26226/stat : 26226 (java) S 26219 26221 25484 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270284017 939077632 38347 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26221/tid=26227] ppid=26219 vsize=917068 CPUtime=0.41
/proc/26221/task/26227/stat : 26227 (java) S 26219 26221 25484 0 -1 64 625 0 0 0 40 1 0 0 17 0 8 0 270284017 939077632 38347 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26221/tid=26228] ppid=26219 vsize=917068 CPUtime=0
/proc/26221/task/26228/stat : 26228 (java) S 26219 26221 25484 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 270284017 939077632 38347 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26221/tid=26229] ppid=26219 vsize=917068 CPUtime=0
/proc/26221/task/26229/stat : 26229 (java) S 26219 26221 25484 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 270284017 939077632 38347 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2256.81
Current children cumulated vsize (KiB) 917068

[startup+2324.85 s]
/proc/loadavg: 2.00 2.00 2.00 3/94 26461
/proc/meminfo: memFree=1214800/2055920 swapFree=4160348/4192956
[pid=26221] ppid=26219 vsize=917068 CPUtime=2316.55
/proc/26221/stat : 26221 (java) R 26219 26221 25484 0 -1 0 38693 0 1 0 231390 265 0 0 25 0 8 0 270284009 939077632 38347 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074269690 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26221/statm: 229267 38347 2549 14 0 215737 0
[pid=26221/tid=26223] ppid=26219 vsize=917068 CPUtime=0.95
/proc/26221/task/26223/stat : 26223 (java) S 26219 26221 25484 0 -1 64 21392 0 0 0 86 9 0 0 16 0 8 0 270284013 939077632 38347 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26221/tid=26224] ppid=26219 vsize=917068 CPUtime=0
/proc/26221/task/26224/stat : 26224 (java) S 26219 26221 25484 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270284014 939077632 38347 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26221/tid=26225] ppid=26219 vsize=917068 CPUtime=0
/proc/26221/task/26225/stat : 26225 (java) S 26219 26221 25484 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270284014 939077632 38347 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26221/tid=26226] ppid=26219 vsize=917068 CPUtime=0
/proc/26221/task/26226/stat : 26226 (java) S 26219 26221 25484 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270284017 939077632 38347 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26221/tid=26227] ppid=26219 vsize=917068 CPUtime=0.41
/proc/26221/task/26227/stat : 26227 (java) S 26219 26221 25484 0 -1 64 625 0 0 0 40 1 0 0 17 0 8 0 270284017 939077632 38347 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26221/tid=26228] ppid=26219 vsize=917068 CPUtime=0
/proc/26221/task/26228/stat : 26228 (java) S 26219 26221 25484 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 270284017 939077632 38347 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26221/tid=26229] ppid=26219 vsize=917068 CPUtime=0
/proc/26221/task/26229/stat : 26229 (java) S 26219 26221 25484 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 270284017 939077632 38347 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2316.55
Current children cumulated vsize (KiB) 917068

[startup+2384.94 s]
/proc/loadavg: 2.00 2.00 2.00 3/94 26461
/proc/meminfo: memFree=1214800/2055920 swapFree=4160348/4192956
[pid=26221] ppid=26219 vsize=917068 CPUtime=2376.32
/proc/26221/stat : 26221 (java) R 26219 26221 25484 0 -1 0 38693 0 1 0 237367 265 0 0 25 0 8 0 270284009 939077632 38347 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074289457 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26221/statm: 229267 38347 2549 14 0 215737 0
[pid=26221/tid=26223] ppid=26219 vsize=917068 CPUtime=0.95
/proc/26221/task/26223/stat : 26223 (java) S 26219 26221 25484 0 -1 64 21392 0 0 0 86 9 0 0 16 0 8 0 270284013 939077632 38347 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26221/tid=26224] ppid=26219 vsize=917068 CPUtime=0
/proc/26221/task/26224/stat : 26224 (java) S 26219 26221 25484 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270284014 939077632 38347 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26221/tid=26225] ppid=26219 vsize=917068 CPUtime=0
/proc/26221/task/26225/stat : 26225 (java) S 26219 26221 25484 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270284014 939077632 38347 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26221/tid=26226] ppid=26219 vsize=917068 CPUtime=0
/proc/26221/task/26226/stat : 26226 (java) S 26219 26221 25484 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270284017 939077632 38347 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26221/tid=26227] ppid=26219 vsize=917068 CPUtime=0.41
/proc/26221/task/26227/stat : 26227 (java) S 26219 26221 25484 0 -1 64 625 0 0 0 40 1 0 0 17 0 8 0 270284017 939077632 38347 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26221/tid=26228] ppid=26219 vsize=917068 CPUtime=0
/proc/26221/task/26228/stat : 26228 (java) S 26219 26221 25484 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 270284017 939077632 38347 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26221/tid=26229] ppid=26219 vsize=917068 CPUtime=0
/proc/26221/task/26229/stat : 26229 (java) S 26219 26221 25484 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 270284017 939077632 38347 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2376.32
Current children cumulated vsize (KiB) 917068



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2408.81 s]
/proc/loadavg: 2.00 2.00 2.00 3/94 26461
/proc/meminfo: memFree=1214800/2055920 swapFree=4160348/4192956
[pid=26221] ppid=26219 vsize=917068 CPUtime=2400.05
/proc/26221/stat : 26221 (java) R 26219 26221 25484 0 -1 0 38693 0 1 0 239739 266 0 0 25 0 8 0 270284009 939077632 38347 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074289522 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26221/statm: 229267 38347 2549 14 0 215737 0
[pid=26221/tid=26223] ppid=26219 vsize=917068 CPUtime=0.95
/proc/26221/task/26223/stat : 26223 (java) S 26219 26221 25484 0 -1 64 21392 0 0 0 86 9 0 0 16 0 8 0 270284013 939077632 38347 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26221/tid=26224] ppid=26219 vsize=917068 CPUtime=0
/proc/26221/task/26224/stat : 26224 (java) S 26219 26221 25484 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270284014 939077632 38347 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26221/tid=26225] ppid=26219 vsize=917068 CPUtime=0
/proc/26221/task/26225/stat : 26225 (java) S 26219 26221 25484 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270284014 939077632 38347 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26221/tid=26226] ppid=26219 vsize=917068 CPUtime=0
/proc/26221/task/26226/stat : 26226 (java) S 26219 26221 25484 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270284017 939077632 38347 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26221/tid=26227] ppid=26219 vsize=917068 CPUtime=0.41
/proc/26221/task/26227/stat : 26227 (java) S 26219 26221 25484 0 -1 64 625 0 0 0 40 1 0 0 17 0 8 0 270284017 939077632 38347 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26221/tid=26228] ppid=26219 vsize=917068 CPUtime=0
/proc/26221/task/26228/stat : 26228 (java) S 26219 26221 25484 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 270284017 939077632 38347 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26221/tid=26229] ppid=26219 vsize=917068 CPUtime=0
/proc/26221/task/26229/stat : 26229 (java) S 26219 26221 25484 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 270284017 939077632 38347 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2400.05
Current children cumulated vsize (KiB) 917068

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

Child status: 143
Real time (s): 2408.88
CPU time (s): 2400.11
CPU user time (s): 2397.43
CPU system time (s): 2.68359
CPU usage (%): 99.6361
Max. virtual memory (cumulated for all children) (KiB): 917068

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2397.43
system time used= 2.68359
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 38716
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= 50417
involuntary context switches= 76715

runsolver used 2.76258 s user time and 7.93079 s system time

The end

Begin job on node12 on Fri Jan 19 15:01:30 UTC 2007


IDJOB= 275249
IDBENCH= 3738
IDSOLVER= 68
FILE ID= node12/275249-1169218888

PBS_JOBID= 3588917

Free space on /tmp= 66554 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  2be79f0821f7522fe88dc3496c804b12

RANDOM SEED= 681069043

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.265
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.265
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:       1406680 kB
Buffers:         57212 kB
Cached:         475096 kB
SwapCached:       5164 kB
Active:         247840 kB
Inactive:       326772 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1406680 kB
SwapTotal:     4192956 kB
SwapFree:      4160348 kB
Dirty:           11184 kB
Writeback:           0 kB
Mapped:          59436 kB
Slab:            59088 kB
Committed_AS:  7370552 kB
PageTables:       2408 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= 66556 MiB



End job on node12 on Fri Jan 19 15:41:39 UTC 2007