Trace number 275634

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds, and are wall clock time (not CPU time).

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
AbsconMax 109 PFCMSAT (TO) 2400.1 2402.38

General information on the benchmark

Namefapp/fapp36-40/fapp36/
fapp36-2000-1.xml
MD5SUM74504524e8a319c1310e9487cb947f0c
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkMSAT TO
Best Number of satisfied constraints17485
Best CPU time to get the best result obtained on this benchmark2400.1
SatisfiableNO
(Un)Satisfiability was provedNO
Number of variables2000
Number of constraints18600
Maximum constraint arity2
Maximum domain size454
Number of constraints which are defined in extension0
Number of constraints which are defined in intension18600
Global constraints used (with number of constraints)

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data (download as text)

0.29	   
0.29	Abscon 109 (November, 2006)
0.29	   
0.29	   configuration
0.29	     name=pfc.xml
0.32	   
0.32	   instance
0.32	     name=/tmp/evaluation/275634-1169224311/unknown.xml
0.35	   
0.35	   domains being loaded...
0.39	   
0.39	   variables being loaded...
0.65	     nbVariables=2000  nbDomainTypes=26  minDomainSize=46  maxDomainSize=454
0.65	       =>  wckTime=0.364  cpuTime=0.26  mem=34M241
0.65	   
0.65	   predicates being loaded...
0.66	   
0.66	   constraints being loaded...
60.81	   
60.82	   INFO : Stopping converting binary constraints (cpu=60.06, mem = 70M28)
62.25	     nbConstraints=18600  nbConvertedConstraints=2166  nbConvertConstraintsChecks=204223970  nbExtensionStructures=1728
62.25	     nbSharedExtensionStructures=438  nbConflictsStructures=1728  nbSharedConflictsStructures=438
62.25	     nbSharedBinaryRepresentations=1136663  nbEvaluationManagers=7970  nbSharedEvaluationManagers=8464  maxDegree=25
62.25	     maxArity=2
62.25	       =>  wckTime=61.957  cpuTime=61.24  mem=78M838
62.50	   
62.50	   solver LocalSearchSolver being built... 
62.54	       =>  wckTime=62.245  cpuTime=61.28  mem=63M813
62.68	
62.68	s SATISFIABLE
62.69	o 13225
62.69	c 5375
62.77	o 13234
62.77	c 5366
62.85	o 13238
62.85	c 5362
62.93	o 13242
62.93	c 5358
62.98	o 13244
62.98	c 5356
63.02	o 13246
63.02	c 5354
63.06	o 13247
63.06	c 5353
63.10	o 13254
63.10	c 5346
63.14	o 13260
63.14	c 5340
63.18	o 13266
63.18	c 5334
63.23	o 13271
63.23	c 5329
63.27	o 13276
63.28	c 5324
63.32	o 13281
63.32	c 5319
63.36	o 13285
63.36	c 5315
63.39	o 13289
63.39	c 5311
63.43	o 13293
63.43	c 5307
63.47	o 13296
63.47	c 5304
63.51	o 13299
63.51	c 5301
63.54	o 13302
63.54	c 5298
63.57	o 13305
63.57	c 5295
63.59	o 13308
63.59	c 5292
63.63	o 13310
63.63	c 5290
63.66	o 13312
63.66	c 5288
63.70	o 13314
63.70	c 5286
63.71	o 13316
63.71	c 5284
63.73	o 13317
63.73	c 5283
63.75	o 13318
63.75	c 5282
63.79	o 13319
63.79	c 5281
63.81	o 13320
63.81	c 5280
63.83	o 13321
63.83	c 5279
63.87	o 13325
63.87	c 5275
63.91	o 13331
63.91	c 5269
63.97	o 13336
63.97	c 5264
64.02	o 13341
64.02	c 5259
64.07	o 13346
64.07	c 5254
64.11	o 13351
64.11	c 5249
64.15	o 13355
64.15	c 5245
64.19	o 13359
64.20	c 5241
64.24	o 13363
64.24	c 5237
64.28	o 13367
64.28	c 5233
64.32	o 13370
64.32	c 5230
64.36	o 13373
64.36	c 5227
64.40	o 13376
64.40	c 5224
64.45	o 13379
64.45	c 5221
64.49	o 13382
64.49	c 5218
64.53	o 13385
64.53	c 5215
64.59	o 13388
64.59	c 5212
64.63	o 13390
64.63	c 5210
64.67	o 13392
64.67	c 5208
64.72	o 13394
64.72	c 5206
64.76	o 13396
64.76	c 5204
64.82	o 13398
64.82	c 5202
64.85	o 13400
64.85	c 5200
64.89	o 13402
64.89	c 5198
64.91	o 13404
64.91	c 5196
64.93	o 13406
64.93	c 5194
64.95	o 13408
64.95	c 5192
64.98	o 13409
64.98	c 5191
64.99	o 13410
64.99	c 5190
65.01	o 13411
65.01	c 5189
65.03	o 13412
65.03	c 5188
65.07	o 13413
65.07	c 5187
65.08	o 13414
65.08	c 5186
65.11	o 13415
65.11	c 5185
65.14	o 13416
65.14	c 5184
65.19	o 13423
65.19	c 5177
65.25	o 13428
65.25	c 5172
65.31	o 13431
65.31	c 5169
65.36	o 13436
65.36	c 5164
65.41	o 13441
65.41	c 5159
65.46	o 13445
65.46	c 5155
65.52	o 13449
65.53	c 5151
65.58	o 13452
65.58	c 5148
65.63	o 13455
65.63	c 5145
65.68	o 13458
65.68	c 5142
65.74	o 13461
65.74	c 5139
65.79	o 13464
65.79	c 5136
65.84	o 13467
65.84	c 5133
65.88	o 13470
65.88	c 5130
65.93	o 13473
65.93	c 5127
65.97	o 13476
65.97	c 5124
66.01	o 13479
66.01	c 5121
66.06	o 13482
66.06	c 5118
66.10	o 13484
66.10	c 5116
66.14	o 13486
66.14	c 5114
66.18	o 13488
66.18	c 5112
66.22	o 13490
66.22	c 5110
66.25	o 13492
66.25	c 5108
66.29	o 13494
66.29	c 5106
66.32	o 13496
66.32	c 5104
66.35	o 13498
66.35	c 5102
66.39	o 13500
66.39	c 5100
66.43	o 13502
66.43	c 5098
66.47	o 13506
66.47	c 5094
66.50	o 13510
66.50	c 5090
66.53	o 13512
66.53	c 5088
66.56	o 13514
66.56	c 5086
66.59	o 13515
66.59	c 5085
66.62	o 13516
66.62	c 5084
66.65	o 13517
66.65	c 5083
66.67	o 13518
66.67	c 5082
66.70	o 13519
66.70	c 5081
66.74	o 13520
66.74	c 5080
66.77	o 13525
66.77	c 5075
66.80	o 13532
66.80	c 5068
66.82	o 13534
66.82	c 5066
66.84	o 13535
66.84	c 5065
66.86	o 13542
66.86	c 5058
66.90	o 13547
66.90	c 5053
66.92	o 13551
66.92	c 5049
66.95	o 13553
66.95	c 5047
66.98	o 13556
66.98	c 5044
67.00	o 13559
67.00	c 5041
67.03	o 13566
67.03	c 5034
67.05	o 13572
67.05	c 5028
67.08	o 13577
67.08	c 5023
67.11	o 13580
67.11	c 5020
67.15	o 13583
67.15	c 5017
67.18	o 13587
67.18	c 5013
67.23	o 13588
67.23	c 5012
67.26	o 13589
67.26	c 5011
67.30	o 13594
67.30	c 5006
67.34	o 13598
67.34	c 5002
67.37	o 13602
67.37	c 4998
67.40	o 13604
67.40	c 4996
67.44	o 13606
67.44	c 4994
67.48	o 13609
67.48	c 4991
67.50	o 13610
67.50	c 4990
67.52	o 13613
67.52	c 4987
67.56	o 13618
67.56	c 4982
67.60	o 13620
67.60	c 4980
67.62	o 13622
67.62	c 4978
67.64	o 13626
67.64	c 4974
67.76	o 13632
67.76	c 4968
67.83	o 13638
67.83	c 4962
67.92	o 13644
67.92	c 4956
68.00	o 13650
68.00	c 4950
68.08	o 13655
68.08	c 4945
68.14	o 13660
68.14	c 4940
68.21	o 13665
68.21	c 4935
68.29	o 13670
68.29	c 4930
68.36	o 13675
68.36	c 4925
68.43	o 13680
68.43	c 4920
68.52	o 13684
68.52	c 4916
68.58	o 13688
68.58	c 4912
68.66	o 13692
68.66	c 4908
68.74	o 13696
68.74	c 4904
68.81	o 13700
68.81	c 4900
68.88	o 13703
68.88	c 4897
68.94	o 13706
68.94	c 4894
69.01	o 13709
69.01	c 4891
69.07	o 13712
69.07	c 4888
69.12	o 13715
69.12	c 4885
69.18	o 13718
69.18	c 4882
69.23	o 13721
69.23	c 4879
69.27	o 13725
69.27	c 4875
69.33	o 13730
69.33	c 4870
69.42	o 13733
69.42	c 4867
69.46	o 13735
69.46	c 4865
69.50	o 13737
69.50	c 4863
69.54	o 13739
69.54	c 4861
69.59	o 13741
69.59	c 4859
69.63	o 13743
69.63	c 4857
69.66	o 13745
69.66	c 4855
69.70	o 13747
69.70	c 4853
69.74	o 13749
69.74	c 4851
69.78	o 13751
69.78	c 4849
69.81	o 13753
69.81	c 4847
69.85	o 13755
69.85	c 4845
69.89	o 13756
69.89	c 4844
69.92	o 13757
69.92	c 4843
69.95	o 13758
69.95	c 4842
69.98	o 13759
69.99	c 4841
70.02	o 13760
70.02	c 4840
70.06	o 13761
70.06	c 4839
70.09	o 13768
70.09	c 4832
70.12	o 13769
70.12	c 4831
70.14	o 13770
70.14	c 4830
70.18	o 13771
70.18	c 4829
70.21	o 13772
70.21	c 4828
70.23	o 13773
70.23	c 4827
70.31	o 13774
70.31	c 4826
70.34	o 13779
70.34	c 4821
70.36	o 13784
70.36	c 4816
70.38	o 13785
70.38	c 4815
70.43	o 13789
70.43	c 4811
70.45	o 13792
70.45	c 4808
70.48	o 13795
70.48	c 4805
70.51	o 13799
70.51	c 4801
70.54	o 13801
70.54	c 4799
70.57	o 13803
70.57	c 4797
70.59	o 13810
70.59	c 4790
70.62	o 13815
70.62	c 4785
70.65	o 13821
70.65	c 4779
70.69	o 13822
70.69	c 4778
70.73	o 13823
70.73	c 4777
70.77	o 13826
70.77	c 4774
70.79	o 13831
70.79	c 4769
70.86	o 13836
70.86	c 4764
70.90	o 13838
70.90	c 4762
70.93	o 13843
70.93	c 4757
70.97	o 13850
70.97	c 4750
71.02	o 13851
71.02	c 4749
71.07	o 13852
71.07	c 4748
71.11	o 13860
71.11	c 4740
71.15	o 13861
71.15	c 4739
71.19	o 13864
71.19	c 4736
71.23	o 13866
71.23	c 4734
71.27	o 13869
71.27	c 4731
71.30	o 13870
71.30	c 4730
71.35	o 13871
71.35	c 4729
71.39	o 13874
71.39	c 4726
71.42	o 13875
71.42	c 4725
71.45	o 13878
71.45	c 4722
71.56	o 13879
71.56	c 4721
71.60	o 13882
71.60	c 4718
71.63	o 13885
71.63	c 4715
71.67	o 13886
71.67	c 4714
71.74	o 13890
71.74	c 4710
71.77	o 13892
71.77	c 4708
71.84	o 13893
71.84	c 4707
71.92	o 13894
71.92	c 4706
71.97	o 13897
71.97	c 4703
72.02	o 13899
72.02	c 4701
72.08	o 13906
72.08	c 4694
72.14	o 13913
72.14	c 4687
72.22	o 13919
72.22	c 4681
72.31	o 13925
72.31	c 4675
72.40	o 13926
72.40	c 4674
72.49	o 13932
72.49	c 4668
72.56	o 13933
72.56	c 4667
72.67	o 13935
72.67	c 4665
72.71	o 13936
72.71	c 4664
72.79	o 13942
72.79	c 4658
72.88	o 13948
72.88	c 4652
72.97	o 13953
72.97	c 4647
73.05	o 13955
73.06	c 4645
73.13	o 13960
73.13	c 4640
73.21	o 13965
73.21	c 4635
73.30	o 13969
73.30	c 4631
73.39	o 13973
73.39	c 4627
73.47	o 13977
73.47	c 4623
73.55	o 13981
73.55	c 4619
73.63	o 13985
73.63	c 4615
73.72	o 13988
73.72	c 4612
73.80	o 13991
73.80	c 4609
73.88	o 13994
73.88	c 4606
73.96	o 13997
73.96	c 4603
74.04	o 14000
74.04	c 4600
74.13	o 14003
74.13	c 4597
74.20	o 14006
74.20	c 4594
74.29	o 14009
74.29	c 4591
74.36	o 14012
74.36	c 4588
74.43	o 14015
74.43	c 4585
74.50	o 14017
74.50	c 4583
74.56	o 14019
74.56	c 4581
74.63	o 14023
74.63	c 4577
74.70	o 14025
74.70	c 4575
74.76	o 14027
74.76	c 4573
74.83	o 14029
74.83	c 4571
74.91	o 14031
74.91	c 4569
74.97	o 14033
74.97	c 4567
75.03	o 14035
75.03	c 4565
75.09	o 14037
75.09	c 4563
75.14	o 14039
75.14	c 4561
75.20	o 14041
75.20	c 4559
75.26	o 14043
75.26	c 4557
75.33	o 14044
75.33	c 4556
75.38	o 14045
75.38	c 4555
75.44	o 14046
75.44	c 4554
75.49	o 14047
75.49	c 4553
75.55	o 14048
75.55	c 4552
75.61	o 14049
75.61	c 4551
75.65	o 14050
75.65	c 4550
75.75	o 14054
75.75	c 4546
76.08	o 14055
76.08	c 4545
76.12	o 14060
76.12	c 4540
76.17	o 14067
76.18	c 4533
76.22	o 14073
76.22	c 4527
76.26	o 14074
76.27	c 4526
76.31	o 14081
76.31	c 4519
76.35	o 14085
76.35	c 4515
76.39	o 14091
76.39	c 4509
76.51	o 14096
76.51	c 4504
76.62	o 14097
76.62	c 4503
76.66	o 14099
76.66	c 4501
76.71	o 14102
76.71	c 4498
76.98	o 14106
76.98	c 4494
77.02	o 14108
77.02	c 4492
77.06	o 14110
77.06	c 4490
77.10	o 14112
77.10	c 4488
77.14	o 14115
77.14	c 4485
77.18	o 14119
77.18	c 4481
77.23	o 14121
77.23	c 4479
77.28	o 14123
77.28	c 4477
77.32	o 14125
77.32	c 4475
77.36	o 14128
77.36	c 4472
77.51	o 14129
77.51	c 4471
77.56	o 14132
77.56	c 4468
77.60	o 14134
77.60	c 4466
77.64	o 14136
77.64	c 4464
77.69	o 14140
77.69	c 4460
77.73	o 14143
77.73	c 4457
77.78	o 14144
77.78	c 4456
77.81	o 14147
77.81	c 4453
77.85	o 14148
77.85	c 4452
77.89	o 14150
77.89	c 4450
77.93	o 14154
77.93	c 4446
77.96	o 14157
77.96	c 4443
78.00	o 14158
78.01	c 4442
78.05	o 14160
78.05	c 4440
78.09	o 14162
78.09	c 4438
78.13	o 14167
78.13	c 4433
78.17	o 14168
78.17	c 4432
78.22	o 14171
78.22	c 4429
78.26	o 14172
78.26	c 4428
78.35	o 14173
78.35	c 4427
78.43	o 14177
78.43	c 4423
78.49	o 14178
78.49	c 4422
78.52	o 14181
78.52	c 4419
78.59	o 14184
78.59	c 4416
78.63	o 14186
78.63	c 4414
78.67	o 14187
78.67	c 4413
78.71	o 14189
78.71	c 4411
78.74	o 14191
78.74	c 4409
78.78	o 14194
78.78	c 4406
78.82	o 14195
78.82	c 4405
78.86	o 14200
78.86	c 4400
78.90	o 14202
78.90	c 4398
78.95	o 14207
78.95	c 4393
79.00	o 14211
79.00	c 4389
79.05	o 14217
79.05	c 4383
79.09	o 14220
79.09	c 4380
79.12	o 14221
79.12	c 4379
79.16	o 14224
79.16	c 4376
79.20	o 14228
79.20	c 4372
79.24	o 14229
79.24	c 4371
79.30	o 14234
79.30	c 4366
79.35	o 14238
79.35	c 4362
79.39	o 14242
79.39	c 4358
79.44	o 14243
79.44	c 4357
79.48	o 14246
79.48	c 4354
79.57	o 14250
79.57	c 4350
79.62	o 14252
79.62	c 4348
79.66	o 14254
79.66	c 4346
79.70	o 14257
79.70	c 4343
79.75	o 14258
79.75	c 4342
79.79	o 14259
79.79	c 4341
79.84	o 14261
79.84	c 4339
79.88	o 14264
79.88	c 4336
79.93	o 14265
79.93	c 4335
79.98	o 14267
79.98	c 4333
80.15	o 14268
80.15	c 4332
80.30	o 14269
80.30	c 4331
80.36	o 14274
80.36	c 4326
80.44	o 14278
80.44	c 4322
80.51	o 14282
80.51	c 4318
80.57	o 14286
80.57	c 4314
80.64	o 14290
80.64	c 4310
80.70	o 14294
80.70	c 4306
80.78	o 14298
80.78	c 4302
80.85	o 14302
80.85	c 4298
80.92	o 14306
80.92	c 4294
80.98	o 14309
80.98	c 4291
81.05	o 14312
81.05	c 4288
81.12	o 14316
81.12	c 4284
81.18	o 14319
81.18	c 4281
81.25	o 14322
81.25	c 4278
81.31	o 14324
81.31	c 4276
81.43	o 14326
81.43	c 4274
81.49	o 14327
81.49	c 4273
81.54	o 14329
81.54	c 4271
81.60	o 14331
81.60	c 4269
81.64	o 14332
81.64	c 4268
81.70	o 14334
81.70	c 4266
81.74	o 14335
81.74	c 4265
81.79	o 14338
81.79	c 4262
81.84	o 14341
81.84	c 4259
81.89	o 14345
81.89	c 4255
81.94	o 14346
81.94	c 4254
82.00	o 14347
82.00	c 4253
82.05	o 14348
82.05	c 4252
82.10	o 14349
82.10	c 4251
82.15	o 14350
82.15	c 4250
82.19	o 14351
82.19	c 4249
82.23	o 14352
82.23	c 4248
82.47	o 14354
82.47	c 4246
82.52	o 14358
82.52	c 4242
82.56	o 14359
82.56	c 4241
82.60	o 14360
82.60	c 4240
82.69	o 14362
82.69	c 4238
82.74	o 14364
82.74	c 4236
82.83	o 14368
82.83	c 4232
82.89	o 14373
82.89	c 4227
82.93	o 14377
82.93	c 4223
83.03	o 14383
83.03	c 4217
83.08	o 14384
83.08	c 4216
83.13	o 14386
83.13	c 4214
83.18	o 14388
83.18	c 4212
83.23	o 14391
83.23	c 4209
83.32	o 14394
83.32	c 4206
83.36	o 14395
83.36	c 4205
83.41	o 14397
83.41	c 4203
83.46	o 14398
83.46	c 4202
83.51	o 14399
83.51	c 4201
83.59	o 14403
83.59	c 4197
83.63	o 14405
83.63	c 4195
83.68	o 14408
83.68	c 4192
83.73	o 14411
83.73	c 4189
83.82	o 14412
83.82	c 4188
83.88	o 14417
83.88	c 4183
83.93	o 14420
83.93	c 4180
84.02	o 14421
84.02	c 4179
84.08	o 14423
84.08	c 4177
84.12	o 14424
84.12	c 4176
84.17	o 14426
84.17	c 4174
84.33	o 14432
84.33	c 4168
84.38	o 14435
84.38	c 4165
84.44	o 14436
84.44	c 4164
84.50	o 14438
84.50	c 4162
84.56	o 14439
84.56	c 4161
84.61	o 14440
84.61	c 4160
84.66	o 14442
84.66	c 4158
84.71	o 14444
84.71	c 4156
84.78	o 14446
84.78	c 4154
84.90	o 14447
84.90	c 4153
84.98	o 14450
84.98	c 4150
85.04	o 14451
85.04	c 4149
85.12	o 14453
85.12	c 4147
85.19	o 14455
85.19	c 4145
85.26	o 14457
85.26	c 4143
85.32	o 14460
85.32	c 4140
85.82	o 14461
85.82	c 4139
85.90	o 14466
85.90	c 4134
86.29	o 14468
86.29	c 4132
86.36	o 14469
86.36	c 4131
86.44	o 14471
86.44	c 4129
86.52	o 14475
86.52	c 4125
86.61	o 14476
86.61	c 4124
86.69	o 14478
86.69	c 4122
86.76	o 14480
86.76	c 4120
86.85	o 14483
86.85	c 4117
86.99	o 14485
86.99	c 4115
87.16	o 14486
87.16	c 4114
87.23	o 14488
87.23	c 4112
87.31	o 14489
87.31	c 4111
87.39	o 14492
87.39	c 4108
87.48	o 14493
87.48	c 4107
87.56	o 14494
87.56	c 4106
87.63	o 14498
87.63	c 4102
87.72	o 14499
87.72	c 4101
87.79	o 14500
87.79	c 4100
87.90	o 14501
87.90	c 4099
88.15	o 14502
88.15	c 4098
88.23	o 14505
88.23	c 4095
88.31	o 14511
88.31	c 4089
88.39	o 14512
88.39	c 4088
88.47	o 14513
88.47	c 4087
88.55	o 14514
88.55	c 4086
88.64	o 14515
88.64	c 4085
88.89	o 14516
88.89	c 4084
88.97	o 14521
88.97	c 4079
89.06	o 14525
89.06	c 4075
89.14	o 14526
89.14	c 4074
89.25	o 14527
89.25	c 4073
89.37	o 14532
89.37	c 4068
89.51	o 14536
89.51	c 4064
89.66	o 14539
89.66	c 4061
89.79	o 14542
89.79	c 4058
89.93	o 14544
89.93	c 4056
90.06	o 14547
90.06	c 4053
90.20	o 14550
90.20	c 4050
90.34	o 14552
90.34	c 4048
90.47	o 14555
90.47	c 4045
90.60	o 14557
90.60	c 4043
90.78	o 14563
90.78	c 4037
90.90	o 14565
90.90	c 4035
91.02	o 14567
91.02	c 4033
91.14	o 14569
91.14	c 4031
91.26	o 14571
91.26	c 4029
91.37	o 14573
91.38	c 4027
91.49	o 14574
91.49	c 4026
91.61	o 14576
91.61	c 4024
91.71	o 14579
91.71	c 4021
91.83	o 14581
91.83	c 4019
91.94	o 14583
91.94	c 4017
92.05	o 14584
92.05	c 4016
92.47	o 14585
92.47	c 4015
92.58	o 14586
92.58	c 4014
92.68	o 14587
92.68	c 4013
92.79	o 14590
92.79	c 4010
92.89	o 14591
92.89	c 4009
93.00	o 14592
93.00	c 4008
93.11	o 14593
93.11	c 4007
93.21	o 14594
93.21	c 4006
93.30	o 14595
93.30	c 4005
93.40	o 14596
93.40	c 4004
93.51	o 14597
93.51	c 4003
93.61	o 14598
93.61	c 4002
93.71	o 14599
93.71	c 4001
93.80	o 14600
93.80	c 4000
94.17	o 14602
94.17	c 3998
94.42	o 14603
94.42	c 3997
94.59	o 14604
94.59	c 3996
94.67	o 14605
94.67	c 3995
94.74	o 14608
94.74	c 3992
94.97	o 14611
94.97	c 3989
95.07	o 14614
95.07	c 3986
95.16	o 14615
95.16	c 3985
95.26	o 14620
95.26	c 3980
95.35	o 14624
95.35	c 3976
95.44	o 14627
95.44	c 3973
95.52	o 14631
95.52	c 3969
95.60	o 14632
95.60	c 3968
95.78	o 14633
95.78	c 3967
95.87	o 14634
95.87	c 3966
95.96	o 14635
95.96	c 3965
96.05	o 14638
96.05	c 3962
96.22	o 14640
96.22	c 3960
96.30	o 14643
96.30	c 3957
96.59	o 14645
96.59	c 3955
96.67	o 14647
96.67	c 3953
96.75	o 14648
96.75	c 3952
96.83	o 14650
96.83	c 3950
96.92	o 14652
96.92	c 3948
97.12	o 14655
97.12	c 3945
97.20	o 14656
97.20	c 3944
97.36	o 14659
97.36	c 3941
97.44	o 14663
97.44	c 3937
97.51	o 14664
97.51	c 3936
97.59	o 14665
97.59	c 3935
97.76	o 14667
97.76	c 3933
97.84	o 14671
97.84	c 3929
97.93	o 14674
97.93	c 3926
98.02	o 14677
98.02	c 3923
98.11	o 14679
98.11	c 3921
98.19	o 14680
98.19	c 3920
98.29	o 14681
98.29	c 3919
98.37	o 14685
98.37	c 3915
98.47	o 14690
98.47	c 3910
98.55	o 14692
98.55	c 3908
98.74	o 14693
98.74	c 3907
98.95	o 14696
98.95	c 3904
99.11	o 14700
99.11	c 3900
99.28	o 14701
99.28	c 3899
99.37	o 14703
99.37	c 3897
99.65	o 14707
99.65	c 3893
99.83	o 14711
99.83	c 3889
99.90	o 14713
99.90	c 3887
100.01	o 14714
100.01	c 3886
100.12	o 14717
100.12	c 3883
100.21	o 14720
100.21	c 3880
100.31	o 14723
100.31	c 3877
100.49	o 14725
100.49	c 3875
100.60	o 14727
100.60	c 3873
100.82	o 14731
100.82	c 3869
100.93	o 14732
100.93	c 3868
101.03	o 14734
101.03	c 3866
101.13	o 14735
101.13	c 3865
101.24	o 14736
101.24	c 3864
102.09	o 14738
102.09	c 3862
102.19	o 14739
102.19	c 3861
102.30	o 14742
102.30	c 3858
102.41	o 14748
102.41	c 3852
102.51	o 14752
102.51	c 3848
102.64	o 14753
102.64	c 3847
102.75	o 14754
102.75	c 3846
102.87	o 14758
102.87	c 3842
102.98	o 14760
102.98	c 3840
103.11	o 14762
103.11	c 3838
103.22	o 14765
103.22	c 3835
103.45	o 14767
103.45	c 3833
103.57	o 14773
103.57	c 3827
103.79	o 14777
103.79	c 3823
103.89	o 14779
103.89	c 3821
104.23	o 14780
104.23	c 3820
104.35	o 14781
104.35	c 3819
104.46	o 14785
104.46	c 3815
104.58	o 14787
104.58	c 3813
104.81	o 14788
104.81	c 3812
104.92	o 14789
104.92	c 3811
105.05	o 14790
105.05	c 3810
105.16	o 14795
105.16	c 3805
105.27	o 14799
105.28	c 3801
105.52	o 14800
105.52	c 3800
105.89	o 14804
105.89	c 3796
106.01	o 14805
106.01	c 3795
106.25	o 14806
106.25	c 3794
106.38	o 14807
106.38	c 3793
106.50	o 14808
106.50	c 3792
106.62	o 14809
106.62	c 3791
106.87	o 14810
106.87	c 3790
106.99	o 14812
106.99	c 3788
107.12	o 14814
107.12	c 3786
107.61	o 14815
107.61	c 3785
108.21	o 14817
108.21	c 3783
108.34	o 14818
108.34	c 3782
108.56	o 14821
108.56	c 3779
108.67	o 14823
108.67	c 3777
108.79	o 14825
108.79	c 3775
108.91	o 14828
108.91	c 3772
109.03	o 14830
109.03	c 3770
109.15	o 14833
109.15	c 3767
109.26	o 14836
109.26	c 3764
109.38	o 14840
109.38	c 3760
109.50	o 14841
109.50	c 3759
109.63	o 14844
109.63	c 3756
109.76	o 14847
109.76	c 3753
109.88	o 14850
109.88	c 3750
110.13	o 14852
110.13	c 3748
110.26	o 14855
110.26	c 3745
110.40	o 14858
110.40	c 3742
110.65	o 14859
110.65	c 3741
110.88	o 14864
110.88	c 3736
111.25	o 14865
111.25	c 3735
111.37	o 14866
111.37	c 3734
111.51	o 14869
111.51	c 3731
111.63	o 14870
111.63	c 3730
111.75	o 14871
111.75	c 3729
111.87	o 14873
111.87	c 3727
111.98	o 14874
111.98	c 3726
112.12	o 14878
112.12	c 3722
112.50	o 14879
112.50	c 3721
113.45	o 14882
113.45	c 3718
113.59	o 14884
113.59	c 3716
113.73	o 14888
113.73	c 3712
113.86	o 14889
113.86	c 3711
114.14	o 14891
114.14	c 3709
114.27	o 14896
114.27	c 3704
114.39	o 14899
114.39	c 3701
115.12	o 14901
115.12	c 3699
115.26	o 14903
115.26	c 3697
115.40	o 14905
115.40	c 3695
115.54	o 14906
115.54	c 3694
115.69	o 14908
115.69	c 3692
115.83	o 14910
115.83	c 3690
115.96	o 14912
115.96	c 3688
116.11	o 14914
116.11	c 3686
116.24	o 14915
116.24	c 3685
116.68	o 14916
116.68	c 3684
117.07	o 14917
117.07	c 3683
117.21	o 14918
117.21	c 3682
117.35	o 14919
117.35	c 3681
117.48	o 14922
117.48	c 3678
117.62	o 14923
117.62	c 3677
117.75	o 14925
117.75	c 3675
118.28	o 14928
118.28	c 3672
118.91	o 14932
118.91	c 3668
119.04	o 14933
119.04	c 3667
119.31	o 14934
119.31	c 3666
119.44	o 14939
119.44	c 3661
119.56	o 14944
119.56	c 3656
119.69	o 14947
119.69	c 3653
120.07	o 14948
120.07	c 3652
120.32	o 14949
120.32	c 3651
120.44	o 14953
120.44	c 3647
120.58	o 14958
120.58	c 3642
120.70	o 14959
120.70	c 3641
120.81	o 14961
120.81	c 3639
121.07	o 14964
121.07	c 3636
121.19	o 14969
121.19	c 3631
121.82	o 14970
121.82	c 3630
121.93	o 14974
121.93	c 3626
122.05	o 14976
122.05	c 3624
122.18	o 14977
122.18	c 3623
122.44	o 14981
122.44	c 3619
122.56	o 14982
122.56	c 3618
122.68	o 14984
122.68	c 3616
122.82	o 14985
122.82	c 3615
122.94	o 14987
122.94	c 3613
123.05	o 14991
123.05	c 3609
123.18	o 14994
123.18	c 3606
123.85	o 14995
123.85	c 3605
124.24	o 14996
124.24	c 3604
124.38	o 14997
124.38	c 3603
124.53	o 14999
124.53	c 3601
124.68	o 15000
124.68	c 3600
124.82	o 15003
124.82	c 3597
124.96	o 15008
124.96	c 3592
125.10	o 15012
125.10	c 3588
125.24	o 15016
125.24	c 3584
125.39	o 15018
125.39	c 3582
125.53	o 15020
125.53	c 3580
125.67	o 15023
125.67	c 3577
125.80	o 15027
125.80	c 3573
126.03	o 15030
126.03	c 3570
126.32	o 15032
126.32	c 3568
126.47	o 15033
126.47	c 3567
126.62	o 15038
126.62	c 3562
127.04	o 15040
127.04	c 3560
127.33	o 15044
127.33	c 3556
127.48	o 15048
127.48	c 3552
127.63	o 15049
127.63	c 3551
127.79	o 15052
127.79	c 3548
127.93	o 15054
127.93	c 3546
128.65	o 15056
128.65	c 3544
128.93	o 15058
128.93	c 3542
129.08	o 15060
129.08	c 3540
129.22	o 15063
129.22	c 3537
129.65	o 15064
129.65	c 3536
129.78	o 15066
129.78	c 3534
129.92	o 15068
129.92	c 3532
130.06	o 15070
130.06	c 3530
130.20	o 15072
130.20	c 3528
130.47	o 15074
130.48	c 3526
130.61	o 15076
130.61	c 3524
130.89	o 15077
130.89	c 3523
131.01	o 15080
131.01	c 3520
131.27	o 15083
131.27	c 3517
131.40	o 15084
131.40	c 3516
131.80	o 15086
131.80	c 3514
131.94	o 15088
131.94	c 3512
132.09	o 15090
132.09	c 3510
132.22	o 15091
132.22	c 3509
132.49	o 15092
132.49	c 3508
132.63	o 15095
132.63	c 3505
133.03	o 15096
133.03	c 3504
133.17	o 15098
133.17	c 3502
133.44	o 15100
133.44	c 3500
133.71	o 15102
133.71	c 3498
133.84	o 15103
133.84	c 3497
133.97	o 15104
133.97	c 3496
134.12	o 15108
134.12	c 3492
134.26	o 15111
134.26	c 3489
134.67	o 15112
134.67	c 3488
134.81	o 15113
134.81	c 3487
134.96	o 15116
134.96	c 3484
135.24	o 15118
135.24	c 3482
135.38	o 15119
135.38	c 3481
135.51	o 15122
135.51	c 3478
135.65	o 15126
135.65	c 3474
135.79	o 15129
135.79	c 3471
136.07	o 15131
136.07	c 3469
136.22	o 15134
136.22	c 3466
136.37	o 15137
136.37	c 3463
136.51	o 15141
136.51	c 3459
136.77	o 15145
136.77	c 3455
136.90	o 15148
136.90	c 3452
137.03	o 15149
137.03	c 3451
137.85	o 15151
137.85	c 3449
138.00	o 15152
138.00	c 3448
138.15	o 15157
138.15	c 3443
138.42	o 15158
138.42	c 3442
138.69	o 15159
138.70	c 3441
138.80	o 15161
138.80	c 3439
139.08	o 15162
139.08	c 3438
139.22	o 15163
139.22	c 3437
139.35	o 15165
139.35	c 3435
139.48	o 15166
139.48	c 3434
139.60	o 15167
139.60	c 3433
139.74	o 15168
139.74	c 3432
139.88	o 15170
139.88	c 3430
140.01	o 15173
140.01	c 3427
140.29	o 15174
140.29	c 3426
140.42	o 15175
140.42	c 3425
140.56	o 15176
140.56	c 3424
140.69	o 15178
140.69	c 3422
140.98	o 15182
140.98	c 3418
141.25	o 15185
141.25	c 3415
141.53	o 15187
141.53	c 3413
141.82	o 15191
141.82	c 3409
142.11	o 15194
142.11	c 3406
142.27	o 15198
142.27	c 3402
142.43	o 15200
142.43	c 3400
142.58	o 15201
142.58	c 3399
142.73	o 15203
142.73	c 3397
142.88	o 15204
142.88	c 3396
143.18	o 15205
143.18	c 3395
143.33	o 15209
143.33	c 3391
143.81	o 15212
143.81	c 3388
144.09	o 15214
144.09	c 3386
144.24	o 15218
144.24	c 3382
144.52	o 15219
144.52	c 3381
144.66	o 15221
144.66	c 3379
144.80	o 15223
144.80	c 3377
144.94	o 15225
144.94	c 3375
145.37	o 15226
145.37	c 3374
145.80	o 15227
145.80	c 3373
145.94	o 15233
145.94	c 3367
146.03	o 15236
146.03	c 3364
146.32	o 15239
146.32	c 3361
146.47	o 15241
146.47	c 3359
146.61	o 15244
146.61	c 3356
146.74	o 15249
146.74	c 3351
146.90	o 15250
146.90	c 3350
147.04	o 15252
147.04	c 3348
147.19	o 15255
147.19	c 3345
147.32	o 15256
147.32	c 3344
147.60	o 15262
147.60	c 3338
147.75	o 15265
147.75	c 3335
147.89	o 15266
147.89	c 3334
148.19	o 15267
148.19	c 3333
148.32	o 15270
148.32	c 3330
149.06	o 15271
149.06	c 3329
149.21	o 15273
149.21	c 3327
149.37	o 15275
149.37	c 3325
149.52	o 15277
149.52	c 3323
149.66	o 15280
149.66	c 3320
149.82	o 15284
149.82	c 3316
149.98	o 15287
149.98	c 3313
150.14	o 15290
150.14	c 3310
150.29	o 15293
150.29	c 3307
150.62	o 15294
150.62	c 3306
150.77	o 15295
150.77	c 3305
150.93	o 15296
150.93	c 3304
151.25	o 15297
151.25	c 3303
151.40	o 15299
151.40	c 3301
151.56	o 15301
151.56	c 3299
151.73	o 15304
151.73	c 3296
152.05	o 15306
152.05	c 3294
152.37	o 15307
152.37	c 3293
152.70	o 15309
152.70	c 3291
152.85	o 15311
152.85	c 3289
153.01	o 15316
153.01	c 3284
153.17	o 15318
153.17	c 3282
153.33	o 15321
153.33	c 3279
153.50	o 15324
153.50	c 3276
153.66	o 15327
153.66	c 3273
153.82	o 15330
153.82	c 3270
153.99	o 15333
153.99	c 3267
154.15	o 15336
154.15	c 3264
154.31	o 15341
154.31	c 3259
154.50	o 15344
154.50	c 3256
154.67	o 15346
154.67	c 3254
154.83	o 15348
154.83	c 3252
155.00	o 15350
155.00	c 3250
155.16	o 15354
155.16	c 3246
155.31	o 15356
155.31	c 3244
155.48	o 15358
155.48	c 3242
155.63	o 15359
155.63	c 3241
155.79	o 15365
155.79	c 3235
156.11	o 15366
156.11	c 3234
156.26	o 15367
156.26	c 3233
156.42	o 15368
156.42	c 3232
156.58	o 15369
156.58	c 3231
156.76	o 15370
156.76	c 3230
156.92	o 15371
156.92	c 3229
157.25	o 15374
157.25	c 3226
157.73	o 15376
157.73	c 3224
158.53	o 15378
158.53	c 3222
158.70	o 15379
158.70	c 3221
158.87	o 15380
158.87	c 3220
159.05	o 15384
159.05	c 3216
159.37	o 15387
159.37	c 3213
159.54	o 15389
159.54	c 3211
159.70	o 15390
159.70	c 3210
159.86	o 15391
159.86	c 3209
160.68	o 15394
160.68	c 3206
160.99	o 15396
160.99	c 3204
161.48	o 15399
161.48	c 3201
161.64	o 15401
161.64	c 3199
161.81	o 15402
161.81	c 3198
162.13	o 15404
162.13	c 3196
162.45	o 15405
162.45	c 3195
162.62	o 15408
162.62	c 3192
162.79	o 15410
162.79	c 3190
162.96	o 15412
162.96	c 3188
163.46	o 15413
163.46	c 3187
163.81	o 15415
163.81	c 3185
164.33	o 15416
164.33	c 3184
164.84	o 15418
164.84	c 3182
165.02	o 15422
165.02	c 3178
165.19	o 15427
165.19	c 3173
165.54	o 15428
165.54	c 3172
165.70	o 15433
165.70	c 3167
165.88	o 15436
165.88	c 3164
166.05	o 15438
166.05	c 3162
166.23	o 15442
166.23	c 3158
166.59	o 15444
166.59	c 3156
166.76	o 15446
166.76	c 3154
167.12	o 15448
167.12	c 3152
167.80	o 15451
167.80	c 3149
167.98	o 15453
167.98	c 3147
168.16	o 15458
168.16	c 3142
168.34	o 15460
168.34	c 3140
168.52	o 15462
168.52	c 3138
168.70	o 15464
168.70	c 3136
168.88	o 15469
168.88	c 3131
169.06	o 15470
169.06	c 3130
169.25	o 15473
169.25	c 3127
169.43	o 15475
169.43	c 3125
169.62	o 15478
169.62	c 3122
172.72	o 15479
172.72	c 3121
172.90	o 15481
172.90	c 3119
173.09	o 15484
173.09	c 3116
173.22	o 15488
173.22	c 3112
173.41	o 15489
173.41	c 3111
173.59	o 15491
173.59	c 3109
173.78	o 15495
173.78	c 3105
173.98	o 15497
173.98	c 3103
174.73	o 15500
174.73	c 3100
174.92	o 15501
174.92	c 3099
175.11	o 15503
175.11	c 3097
175.32	o 15504
175.32	c 3096
175.70	o 15507
175.70	c 3093
175.91	o 15508
175.91	c 3092
176.12	o 15510
176.12	c 3090
176.75	o 15513
176.75	c 3087
178.45	o 15516
178.45	c 3084
178.87	o 15519
178.87	c 3081
179.08	o 15521
179.08	c 3079
179.49	o 15526
179.49	c 3074
179.71	o 15527
179.71	c 3073
179.93	o 15528
179.93	c 3072
180.59	o 15531
180.59	c 3069
184.81	o 15532
184.81	c 3068
185.04	o 15533
185.04	c 3067
186.05	o 15534
186.05	c 3066
186.26	o 15536
186.26	c 3064
186.46	o 15537
186.46	c 3063
186.66	o 15539
186.66	c 3061
186.87	o 15541
186.87	c 3059
187.07	o 15543
187.07	c 3057
187.28	o 15547
187.28	c 3053
187.49	o 15549
187.49	c 3051
187.69	o 15551
187.69	c 3049
188.33	o 15554
188.33	c 3046
189.19	o 15556
189.19	c 3044
189.59	o 15557
189.59	c 3043
189.79	o 15558
189.79	c 3042
190.37	o 15561
190.37	c 3039
190.97	o 15564
190.97	c 3036
191.10	o 15565
191.10	c 3035
191.29	o 15566
191.29	c 3034
191.49	o 15567
191.49	c 3033
191.91	o 15572
191.91	c 3028
192.10	o 15576
192.10	c 3024
192.17	o 15578
192.17	c 3022
192.35	o 15579
192.35	c 3021
192.53	o 15582
192.53	c 3018
192.71	o 15584
192.71	c 3016
192.89	o 15587
192.89	c 3013
193.29	o 15589
193.29	c 3011
193.48	o 15593
193.48	c 3007
193.84	o 15594
193.84	c 3006
194.02	o 15599
194.02	c 3001
194.21	o 15601
194.21	c 2999
194.38	o 15602
194.38	c 2998
194.57	o 15603
194.57	c 2997
194.75	o 15604
194.75	c 2996
194.94	o 15605
194.94	c 2995
195.30	o 15607
195.30	c 2993
195.49	o 15608
195.49	c 2992
195.68	o 15609
195.68	c 2991
196.06	o 15611
196.06	c 2989
196.26	o 15612
196.26	c 2988
196.44	o 15613
196.44	c 2987
196.82	o 15615
196.82	c 2985
197.01	o 15617
197.01	c 2983
197.78	o 15618
197.78	c 2982
197.97	o 15619
197.97	c 2981
198.17	o 15623
198.17	c 2977
198.38	o 15625
198.38	c 2975
198.58	o 15629
198.58	c 2971
198.77	o 15632
198.77	c 2968
199.54	o 15635
199.54	c 2965
199.75	o 15637
199.75	c 2963
200.35	o 15640
200.35	c 2960
200.57	o 15642
200.57	c 2958
202.01	o 15643
202.01	c 2957
202.24	o 15644
202.24	c 2956
202.45	o 15646
202.45	c 2954
202.59	o 15649
202.59	c 2951
203.02	o 15650
203.02	c 2950
203.90	o 15651
203.90	c 2949
204.34	o 15655
204.34	c 2945
204.78	o 15658
204.78	c 2942
205.47	o 15660
205.47	c 2940
205.94	o 15662
205.94	c 2938
206.17	o 15663
206.17	c 2937
206.41	o 15664
206.41	c 2936
206.88	o 15666
206.88	c 2934
207.37	o 15668
207.37	c 2932
207.62	o 15670
207.62	c 2930
208.87	o 15673
208.87	c 2927
209.09	o 15674
209.09	c 2926
209.59	o 15677
209.59	c 2923
209.85	o 15679
209.85	c 2921
210.11	o 15682
210.11	c 2918
210.36	o 15683
210.36	c 2917
210.61	o 15684
210.61	c 2916
210.87	o 15686
210.87	c 2914
211.13	o 15688
211.13	c 2912
211.36	o 15689
211.36	c 2911
211.56	o 15690
211.56	c 2910
212.05	o 15692
212.05	c 2908
212.55	o 15695
212.55	c 2905
212.80	o 15696
212.80	c 2904
213.05	o 15697
213.05	c 2903
214.08	o 15698
214.08	c 2902
217.22	o 15699
217.22	c 2901
217.99	o 15700
217.99	c 2900
218.25	o 15701
218.25	c 2899
218.51	o 15704
218.51	c 2896
218.78	o 15706
218.78	c 2894
219.56	o 15708
219.56	c 2892
219.83	o 15710
219.83	c 2890
220.11	o 15711
220.11	c 2889
220.90	o 15713
220.90	c 2887
221.41	o 15715
221.41	c 2885
221.67	o 15716
221.67	c 2884
221.92	o 15718
221.92	c 2882
222.96	o 15719
222.96	c 2881
223.22	o 15720
223.22	c 2880
224.00	o 15721
224.00	c 2879
224.27	o 15722
224.27	c 2878
224.50	o 15725
224.50	c 2875
224.75	o 15726
224.75	c 2874
225.01	o 15727
225.01	c 2873
225.27	o 15729
225.27	c 2871
225.76	o 15730
225.76	c 2870
226.01	o 15732
226.01	c 2868
226.25	o 15733
226.25	c 2867
227.02	o 15735
227.02	c 2865
227.52	o 15736
227.52	c 2864
227.78	o 15738
227.78	c 2862
228.03	o 15739
228.03	c 2861
228.28	o 15741
228.28	c 2859
228.54	o 15742
228.54	c 2858
228.79	o 15744
228.79	c 2856
229.04	o 15746
229.04	c 2854
229.29	o 15747
229.29	c 2853
229.80	o 15751
229.80	c 2849
230.27	o 15752
230.27	c 2848
230.77	o 15753
230.77	c 2847
231.01	o 15755
231.01	c 2845
231.24	o 15756
231.24	c 2844
231.47	o 15757
231.47	c 2843
231.72	o 15758
231.72	c 2842
231.97	o 15759
231.97	c 2841
232.71	o 15760
232.71	c 2840
233.22	o 15762
233.22	c 2838
233.73	o 15766
233.73	c 2834
234.22	o 15767
234.22	c 2833
234.69	o 15768
234.69	c 2832
234.93	o 15769
234.93	c 2831
235.19	o 15772
235.19	c 2828
235.95	o 15774
235.95	c 2826
236.20	o 15775
236.20	c 2825
236.71	o 15776
236.71	c 2824
236.96	o 15777
236.96	c 2823
237.22	o 15779
237.22	c 2821
237.72	o 15781
237.72	c 2819
237.97	o 15783
237.97	c 2817
238.48	o 15785
238.48	c 2815
238.99	o 15787
238.99	c 2813
240.50	o 15789
240.50	c 2811
240.76	o 15791
240.76	c 2809
241.01	o 15794
241.01	c 2806
241.52	o 15795
241.52	c 2805
241.77	o 15798
241.77	c 2802
242.03	o 15799
242.03	c 2801
242.30	o 15802
242.30	c 2798
242.80	o 15803
242.80	c 2797
243.29	o 15806
243.29	c 2794
243.54	o 15807
243.54	c 2793
243.80	o 15808
243.80	c 2792
244.57	o 15809
244.57	c 2791
244.83	o 15812
244.83	c 2788
245.33	o 15815
245.33	c 2785
245.90	o 15816
245.90	c 2784
246.46	o 15818
246.46	c 2782
246.74	o 15820
246.74	c 2780
247.02	o 15822
247.02	c 2778
247.31	o 15823
247.31	c 2777
247.60	o 15824
247.60	c 2776
248.16	o 15826
248.16	c 2774
248.45	o 15829
248.45	c 2771
249.03	o 15834
249.03	c 2766
251.89	o 15837
251.89	c 2763
252.74	o 15840
252.74	c 2760
253.58	o 15841
253.58	c 2759
253.85	o 15843
253.85	c 2757
254.38	o 15848
254.38	c 2752
254.66	o 15851
254.66	c 2749
255.80	o 15853
255.80	c 2747
256.07	o 15854
256.07	c 2746
256.34	o 15856
256.34	c 2744
256.92	o 15857
256.92	c 2743
258.62	o 15858
258.62	c 2742
258.91	o 15860
258.91	c 2740
259.21	o 15861
259.21	c 2739
259.79	o 15862
259.79	c 2738
260.07	o 15863
260.07	c 2737
260.35	o 15864
260.35	c 2736
260.88	o 15865
260.88	c 2735
260.99	o 15868
260.99	c 2732
261.27	o 15871
261.27	c 2729
261.54	o 15873
261.54	c 2727
261.81	o 15874
261.81	c 2726
262.38	o 15875
262.38	c 2725
262.65	o 15876
262.65	c 2724
262.90	o 15878
262.90	c 2722
263.46	o 15879
263.46	c 2721
263.97	o 15880
263.97	c 2720
264.51	o 15881
264.51	c 2719
264.77	o 15883
264.77	c 2717
265.02	o 15886
265.02	c 2714
265.71	o 15887
265.71	c 2713
266.25	o 15889
266.25	c 2711
267.89	o 15890
267.89	c 2710
268.15	o 15891
268.15	c 2709
268.68	o 15893
268.68	c 2707
269.22	o 15894
269.22	c 2706
269.48	o 15895
269.48	c 2705
269.74	o 15897
269.74	c 2703
270.51	o 15898
270.51	c 2702
270.77	o 15904
270.77	c 2696
271.44	o 15905
271.44	c 2695
271.70	o 15906
271.70	c 2694
271.95	o 15909
271.95	c 2691
272.17	o 15911
272.17	c 2689
272.45	o 15912
272.45	c 2688
272.71	o 15914
272.71	c 2686
273.78	o 15915
273.78	c 2685
274.58	o 15916
274.58	c 2684
274.84	o 15917
274.84	c 2683
275.11	o 15918
275.11	c 2682
275.38	o 15920
275.38	c 2680
275.64	o 15923
275.64	c 2677
276.20	o 15925
276.20	c 2675
276.77	o 15927
276.77	c 2673
277.05	o 15931
277.05	c 2669
277.32	o 15932
277.32	c 2668
278.41	o 15935
278.41	c 2665
278.71	o 15937
278.71	c 2663
278.98	o 15939
278.98	c 2661
279.25	o 15940
279.25	c 2660
279.53	o 15941
279.53	c 2659
280.08	o 15943
280.08	c 2657
280.63	o 15945
280.63	c 2655
280.91	o 15946
280.91	c 2654
281.19	o 15948
281.19	c 2652
282.30	o 15949
282.30	c 2651
283.14	o 15951
283.14	c 2649
283.42	o 15955
283.42	c 2645
283.71	o 15958
283.71	c 2642
284.83	o 15961
284.83	c 2639
285.00	o 15966
285.00	c 2634
285.20	o 15968
285.20	c 2632
285.72	o 15971
285.72	c 2629
286.26	o 15972
286.26	c 2628
286.55	o 15976
286.55	c 2624
287.10	o 15979
287.10	c 2621
287.90	o 15980
287.90	c 2620
288.97	o 15983
288.97	c 2617
289.26	o 15984
289.26	c 2616
289.52	o 15988
289.52	c 2612
289.77	o 15992
289.77	c 2608
290.04	o 15993
290.04	c 2607
290.18	o 15996
290.18	c 2604
290.42	o 15997
290.42	c 2603
291.17	o 15999
291.17	c 2601
291.35	o 16002
291.35	c 2598
292.06	o 16005
292.06	c 2595
292.30	o 16007
292.30	c 2593
292.54	o 16010
292.54	c 2590
293.05	o 16011
293.05	c 2589
293.27	o 16014
293.27	c 2586
294.00	o 16015
294.00	c 2585
294.80	o 16019
294.80	c 2581
295.07	o 16022
295.07	c 2578
295.34	o 16023
295.34	c 2577
295.61	o 16024
295.61	c 2576
296.13	o 16025
296.13	c 2575
296.39	o 16028
296.39	c 2572
296.66	o 16029
296.66	c 2571
296.93	o 16032
296.93	c 2568
298.01	o 16033
298.01	c 2567
298.76	o 16036
298.76	c 2564
299.04	o 16039
299.05	c 2561
299.31	o 16040
299.31	c 2560
299.59	o 16042
299.59	c 2558
299.89	o 16043
299.89	c 2557
300.18	o 16044
300.18	c 2556
302.11	o 16045
302.11	c 2555
303.62	o 16047
303.62	c 2553
303.88	o 16049
303.88	c 2551
305.43	o 16051
305.43	c 2549
305.98	o 16054
305.98	c 2546
306.27	o 16056
306.27	c 2544
306.56	o 16058
306.56	c 2542
307.14	o 16060
307.14	c 2540
308.18	o 16063
308.18	c 2537
308.45	o 16064
308.45	c 2536
308.73	o 16066
308.73	c 2534
309.51	o 16067
309.51	c 2533
309.78	o 16071
309.78	c 2529
310.05	o 16073
310.05	c 2527
310.61	o 16074
310.61	c 2526
311.45	o 16076
311.45	c 2524
312.86	o 16078
312.86	c 2522
313.03	o 16082
313.03	c 2518
313.85	o 16084
313.85	c 2516
314.69	o 16085
314.69	c 2515
314.96	o 16086
314.96	c 2514
315.51	o 16087
315.51	c 2513
316.60	o 16089
316.60	c 2511
316.88	o 16092
316.88	c 2508
317.43	o 16093
317.43	c 2507
317.57	o 16095
317.57	c 2505
317.85	o 16096
317.85	c 2504
318.38	o 16098
318.38	c 2502
318.66	o 16099
318.66	c 2501
318.92	o 16100
318.92	c 2500
320.31	o 16104
320.31	c 2496
320.60	o 16108
320.60	c 2492
320.90	o 16109
320.90	c 2491
321.18	o 16110
321.18	c 2490
321.47	o 16112
321.47	c 2488
321.76	o 16115
321.76	c 2485
322.06	o 16117
322.06	c 2483
322.35	o 16119
322.35	c 2481
323.74	o 16122
323.74	c 2478
324.04	o 16123
324.04	c 2477
324.54	o 16126
324.54	c 2474
324.82	o 16128
324.82	c 2472
325.11	o 16129
325.11	c 2471
325.40	o 16130
325.40	c 2470
326.56	o 16131
326.56	c 2469
326.86	o 16134
326.86	c 2466
327.14	o 16139
327.14	c 2461
327.44	o 16140
327.44	c 2460
327.74	o 16141
327.74	c 2459
328.04	o 16143
328.04	c 2457
328.91	o 16144
328.91	c 2456
330.10	o 16146
330.10	c 2454
330.69	o 16147
330.69	c 2453
331.86	o 16150
331.86	c 2450
332.45	o 16151
332.45	c 2449
333.60	o 16154
333.60	c 2446
333.79	o 16155
333.79	c 2445
334.02	o 16158
334.02	c 2442
334.86	o 16159
334.86	c 2441
335.15	o 16160
335.15	c 2440
339.25	o 16162
339.25	c 2438
339.54	o 16163
339.54	c 2437
342.41	o 16164
342.41	c 2436
342.70	o 16166
342.70	c 2434
342.99	o 16170
342.99	c 2430
344.46	o 16172
344.46	c 2428
344.93	o 16173
344.93	c 2427
345.80	o 16174
345.80	c 2426
346.37	o 16176
346.37	c 2424
346.62	o 16177
346.62	c 2423
346.91	o 16178
346.91	c 2422
347.16	o 16183
347.16	c 2417
347.74	o 16185
347.74	c 2415
348.31	o 16186
348.31	c 2414
348.61	o 16188
348.61	c 2412
348.90	o 16189
348.90	c 2411
349.18	o 16190
349.18	c 2410
349.46	o 16192
349.46	c 2408
350.61	o 16193
350.61	c 2407
353.55	o 16194
353.55	c 2406
354.16	o 16197
354.16	c 2403
354.48	o 16198
354.48	c 2402
354.77	o 16199
354.77	c 2401
355.65	o 16200
355.65	c 2400
355.87	o 16203
355.87	c 2397
356.48	o 16204
356.48	c 2396
357.66	o 16208
357.66	c 2392
357.96	o 16210
357.96	c 2390
358.54	o 16211
358.54	c 2389
358.83	o 16214
358.83	c 2386
359.05	o 16217
359.05	c 2383
360.26	o 16220
360.26	c 2380
360.56	o 16224
360.56	c 2376
360.87	o 16227
360.87	c 2373
361.18	o 16229
361.18	c 2371
361.42	o 16230
361.42	c 2370
361.73	o 16231
361.73	c 2369
362.05	o 16233
362.05	c 2367
365.14	o 16235
365.14	c 2365
366.08	o 16236
366.08	c 2364
367.00	o 16237
367.00	c 2363
367.94	o 16239
367.94	c 2361
368.59	o 16241
368.59	c 2359
368.94	o 16243
368.94	c 2357
369.56	o 16246
369.56	c 2354
370.21	o 16250
370.21	c 2350
370.52	o 16251
370.52	c 2349
370.86	o 16252
370.86	c 2348
371.49	o 16253
371.49	c 2347
372.14	o 16257
372.14	c 2343
372.77	o 16261
372.77	c 2339
373.10	o 16262
373.10	c 2338
374.04	o 16263
374.04	c 2337
374.35	o 16265
374.35	c 2335
375.32	o 16267
375.32	c 2333
376.89	o 16269
376.89	c 2331
377.53	o 16270
377.53	c 2330
377.86	o 16271
377.86	c 2329
378.52	o 16273
378.52	c 2327
378.85	o 16276
378.85	c 2324
379.19	o 16277
379.19	c 2323
379.82	o 16278
379.82	c 2322
380.14	o 16281
380.14	c 2319
380.46	o 16283
380.46	c 2317
380.78	o 16284
380.78	c 2316
381.05	o 16285
381.05	c 2315
381.38	o 16288
381.38	c 2312
382.21	o 16290
382.21	c 2310
382.76	o 16295
382.76	c 2305
383.43	o 16296
383.43	c 2304
383.78	o 16297
383.78	c 2303
384.12	o 16302
384.12	c 2298
384.47	o 16304
384.47	c 2296
384.79	o 16305
384.79	c 2295
386.08	o 16306
386.08	c 2294
386.33	o 16309
386.33	c 2291
388.67	o 16311
388.67	c 2289
389.32	o 16312
389.32	c 2288
390.45	o 16314
390.45	c 2286
390.77	o 16315
390.77	c 2285
391.10	o 16316
391.10	c 2284
391.77	o 16317
391.77	c 2283
392.08	o 16318
392.08	c 2282
392.41	o 16321
392.41	c 2279
393.42	o 16322
393.42	c 2278
395.08	o 16324
395.08	c 2276
395.41	o 16326
395.41	c 2274
395.76	o 16328
395.76	c 2272
396.10	o 16330
396.10	c 2270
396.45	o 16331
396.45	c 2269
396.79	o 16332
396.79	c 2268
397.48	o 16334
397.48	c 2266
400.61	o 16335
400.61	c 2265
400.96	o 16336
400.96	c 2264
402.35	o 16337
402.35	c 2263
402.69	o 16339
402.69	c 2261
403.03	o 16340
403.03	c 2260
403.38	o 16341
403.38	c 2259
403.73	o 16342
403.73	c 2258
407.60	o 16343
407.60	c 2257
407.95	o 16345
407.95	c 2255
408.31	o 16347
408.31	c 2253
408.66	o 16348
408.66	c 2252
410.66	o 16350
410.66	c 2250
410.98	o 16351
410.98	c 2249
411.17	o 16353
411.17	c 2247
411.85	o 16355
411.85	c 2245
412.85	o 16357
412.85	c 2243
413.12	o 16360
413.12	c 2240
413.45	o 16363
413.45	c 2237
413.78	o 16364
413.78	c 2236
414.14	o 16366
414.14	c 2234
414.47	o 16367
414.47	c 2233
414.82	o 16368
414.82	c 2232
415.17	o 16369
415.17	c 2231
416.07	o 16371
416.07	c 2229
416.73	o 16373
416.73	c 2227
417.06	o 16374
417.06	c 2226
417.38	o 16375
417.38	c 2225
418.03	o 16376
418.03	c 2224
418.35	o 16377
418.35	c 2223
419.70	o 16378
419.70	c 2222
420.67	o 16379
420.67	c 2221
420.99	o 16380
420.99	c 2220
421.33	o 16382
421.33	c 2218
421.67	o 16383
421.67	c 2217
422.89	o 16385
422.89	c 2215
423.23	o 16388
423.23	c 2212
423.90	o 16389
423.90	c 2211
424.24	o 16390
424.24	c 2210
424.56	o 16392
424.56	c 2208
424.89	o 16393
424.89	c 2207
425.22	o 16395
425.22	c 2205
426.25	o 16396
426.25	c 2204
426.59	o 16397
426.59	c 2203
426.94	o 16398
426.94	c 2202
427.60	o 16400
427.60	c 2200
428.30	o 16402
428.30	c 2198
428.65	o 16404
428.65	c 2196
429.00	o 16406
429.00	c 2194
430.05	o 16407
430.05	c 2193
430.40	o 16408
430.40	c 2192
432.11	o 16409
432.11	c 2191
437.18	o 16411
437.18	c 2189
437.88	o 16412
437.88	c 2188
438.19	o 16413
438.19	c 2187
438.87	o 16416
438.87	c 2184
439.21	o 16419
439.21	c 2181
439.55	o 16420
439.55	c 2180
439.89	o 16423
439.89	c 2177
440.60	o 16424
440.60	c 2176
441.65	o 16425
441.65	c 2175
442.01	o 16426
442.01	c 2174
442.73	o 16427
442.73	c 2173
443.07	o 16429
443.07	c 2171
448.10	o 16431
448.10	c 2169
449.17	o 16432
449.17	c 2168
449.88	o 16435
449.88	c 2165
450.24	o 16436
450.24	c 2164
450.60	o 16439
450.60	c 2161
453.87	o 16440
453.87	c 2160
454.13	o 16441
454.13	c 2159
454.85	o 16444
454.85	c 2156
455.21	o 16445
455.21	c 2155
455.94	o 16447
455.94	c 2153
456.67	o 16449
456.67	c 2151
457.03	o 16450
457.03	c 2150
457.40	o 16453
457.40	c 2147
457.77	o 16454
457.77	c 2146
458.51	o 16455
458.51	c 2145
458.89	o 16459
458.89	c 2141
459.66	o 16460
459.66	c 2140
465.19	o 16461
465.19	c 2139
465.93	o 16463
465.93	c 2137
471.51	o 16464
471.51	c 2136
471.89	o 16465
471.89	c 2135
472.25	o 16468
472.25	c 2132
472.63	o 16470
472.63	c 2130
473.30	o 16472
473.30	c 2128
475.85	o 16473
475.85	c 2127
476.98	o 16475
476.98	c 2125
477.36	o 16479
477.36	c 2121
477.73	o 16480
477.73	c 2120
478.47	o 16482
478.47	c 2118
479.21	o 16483
479.21	c 2117
479.57	o 16486
479.57	c 2114
479.85	o 16487
479.85	c 2113
480.21	o 16490
480.21	c 2110
480.92	o 16492
480.92	c 2108
481.28	o 16493
481.28	c 2107
481.60	o 16496
481.60	c 2104
483.28	o 16499
483.28	c 2101
483.65	o 16502
483.65	c 2098
484.39	o 16503
484.39	c 2097
484.76	o 16505
484.76	c 2095
486.24	o 16506
486.25	c 2094
486.61	o 16507
486.61	c 2093
487.24	o 16510
487.24	c 2090
488.73	o 16512
488.73	c 2088
489.11	o 16513
489.11	c 2087
490.58	o 16516
490.58	c 2084
493.92	o 16518
493.92	c 2082
494.29	o 16521
494.29	c 2079
494.51	o 16523
494.51	c 2077
494.90	o 16525
494.90	c 2075
495.29	o 16526
495.29	c 2074
495.98	o 16527
495.98	c 2073
496.34	o 16528
496.34	c 2072
496.59	o 16531
496.59	c 2069
496.96	o 16532
496.96	c 2068
497.32	o 16533
497.32	c 2067
498.07	o 16535
498.07	c 2065
498.83	o 16538
498.83	c 2062
499.48	o 16540
499.48	c 2060
499.55	o 16542
499.55	c 2058
499.81	o 16544
499.81	c 2056
501.33	o 16545
501.33	c 2055
502.48	o 16546
502.48	c 2054
503.60	o 16547
503.60	c 2053
504.00	o 16548
504.00	c 2052
504.39	o 16550
504.39	c 2050
504.78	o 16552
504.78	c 2048
507.10	o 16553
507.10	c 2047
507.48	o 16555
507.48	c 2045
507.87	o 16556
507.87	c 2044
508.63	o 16558
508.63	c 2042
509.01	o 16559
509.01	c 2041
511.69	o 16560
511.69	c 2040
512.81	o 16563
512.81	c 2037
513.16	o 16564
513.16	c 2036
517.48	o 16566
517.48	c 2034
517.85	o 16568
517.85	c 2032
518.20	o 16570
518.20	c 2030
518.56	o 16571
518.56	c 2029
524.13	o 16574
524.13	c 2026
524.54	o 16575
524.54	c 2025
524.96	o 16576
524.96	c 2024
527.76	o 16580
527.76	c 2020
530.50	o 16582
530.50	c 2018
530.92	o 16583
530.92	c 2017
531.34	o 16584
531.34	c 2016
531.74	o 16585
531.74	c 2015
532.16	o 16587
532.16	c 2013
532.98	o 16588
532.98	c 2012
542.09	o 16594
542.09	c 2006
542.51	o 16596
542.51	c 2004
543.35	o 16597
543.35	c 2003
556.89	o 16598
556.89	c 2002
557.28	o 16599
557.28	c 2001
558.38	o 16600
558.38	c 2000
558.78	o 16601
558.78	c 1999
559.17	o 16603
559.17	c 1997
559.57	o 16605
559.57	c 1995
559.91	o 16608
559.91	c 1992
560.21	o 16613
560.21	c 1987
560.53	o 16615
560.53	c 1985
560.91	o 16617
560.91	c 1983
561.71	o 16618
561.71	c 1982
562.12	o 16620
562.12	c 1980
564.11	o 16621
564.11	c 1979
565.32	o 16623
565.32	c 1977
565.74	o 16627
565.74	c 1973
566.14	o 16629
566.14	c 1971
566.55	o 16630
566.55	c 1970
567.34	o 16633
567.34	c 1967
567.74	o 16635
567.74	c 1965
576.42	o 16636
576.42	c 1964
579.32	o 16639
579.32	c 1961
579.68	o 16642
579.68	c 1958
580.50	o 16643
580.50	c 1957
581.34	o 16644
581.34	c 1956
581.72	o 16646
581.72	c 1954
582.13	o 16647
582.13	c 1953
583.85	o 16648
583.85	c 1952
584.27	o 16649
584.27	c 1951
584.70	o 16651
584.70	c 1949
585.12	o 16653
585.12	c 1947
586.76	o 16654
586.76	c 1946
587.18	o 16656
587.18	c 1944
590.42	o 16658
590.42	c 1942
590.84	o 16660
590.84	c 1940
590.97	o 16661
590.97	c 1939
591.38	o 16662
591.38	c 1938
591.79	o 16663
591.79	c 1937
592.18	o 16665
592.18	c 1935
592.57	o 16667
592.57	c 1933
592.93	o 16670
592.93	c 1930
593.35	o 16672
593.35	c 1928
594.18	o 16673
594.18	c 1927
595.42	o 16674
595.42	c 1926
596.65	o 16676
596.65	c 1924
599.62	o 16677
599.62	c 1923
600.02	o 16680
600.02	c 1920
600.43	o 16681
600.43	c 1919
603.00	o 16683
603.00	c 1917
603.42	o 16685
603.42	c 1915
605.08	o 16686
605.08	c 1914
605.47	o 16690
605.47	c 1910
606.65	o 16691
606.65	c 1909
606.88	o 16694
606.88	c 1906
607.73	o 16696
607.73	c 1904
608.15	o 16698
608.15	c 1902
608.57	o 16702
608.57	c 1898
608.98	o 16703
608.98	c 1897
609.80	o 16705
609.80	c 1895
610.07	o 16707
610.07	c 1893
610.49	o 16709
610.49	c 1891
614.61	o 16710
614.61	c 1890
615.05	o 16711
615.05	c 1889
615.47	o 16714
615.47	c 1886
615.88	o 16715
615.88	c 1885
617.60	o 16718
617.60	c 1882
618.02	o 16719
618.02	c 1881
618.44	o 16721
618.44	c 1879
620.47	o 16722
620.47	c 1878
620.91	o 16723
620.91	c 1877
623.48	o 16727
623.48	c 1873
624.76	o 16729
624.76	c 1871
625.20	o 16730
625.20	c 1870
625.62	o 16731
625.62	c 1869
626.00	o 16733
626.00	c 1867
626.42	o 16735
626.42	c 1865
627.27	o 16736
627.27	c 1864
627.70	o 16737
627.70	c 1863
628.12	o 16738
628.13	c 1862
628.97	o 16739
628.97	c 1861
632.45	o 16740
632.45	c 1860
632.66	o 16742
632.67	c 1858
633.38	o 16744
633.38	c 1856
633.76	o 16746
633.76	c 1854
634.60	o 16748
634.60	c 1852
634.93	o 16749
634.93	c 1851
635.37	o 16751
635.37	c 1849
635.79	o 16753
635.79	c 1847
636.21	o 16755
636.21	c 1845
638.33	o 16758
638.33	c 1842
639.80	o 16760
639.80	c 1840
639.97	o 16762
639.97	c 1838
640.34	o 16764
640.34	c 1836
641.76	o 16766
641.76	c 1834
647.53	o 16767
647.53	c 1833
648.34	o 16769
648.34	c 1831
648.55	o 16772
648.55	c 1828
648.97	o 16773
648.97	c 1827
649.38	o 16774
649.38	c 1826
649.80	o 16775
649.80	c 1825
650.21	o 16776
650.21	c 1824
651.86	o 16778
651.86	c 1822
652.69	o 16781
652.69	c 1819
653.51	o 16782
653.51	c 1818
654.34	o 16783
654.34	c 1817
656.77	o 16786
656.77	c 1814
657.19	o 16788
657.19	c 1812
657.46	o 16792
657.46	c 1808
664.38	o 16794
664.38	c 1806
664.81	o 16795
664.81	c 1805
666.48	o 16796
666.48	c 1804
668.81	o 16799
668.81	c 1801
669.26	o 16800
669.26	c 1800
670.59	o 16802
670.59	c 1798
671.02	o 16803
671.02	c 1797
671.46	o 16805
671.46	c 1795
671.90	o 16806
671.90	c 1794
674.00	o 16807
674.00	c 1793
674.88	o 16811
674.88	c 1789
675.32	o 16813
675.32	c 1787
677.56	o 16814
677.56	c 1786
678.01	o 16815
678.01	c 1785
679.37	o 16816
679.37	c 1784
682.15	o 16817
682.15	c 1783
683.51	o 16819
683.51	c 1781
686.29	o 16820
686.29	c 1780
688.60	o 16821
688.60	c 1779
689.77	o 16822
689.77	c 1778
690.69	o 16823
690.69	c 1777
691.16	o 16825
691.16	c 1775
698.01	o 16826
698.01	c 1774
700.79	o 16828
700.79	c 1772
701.71	o 16829
701.71	c 1771
702.43	o 16831
702.43	c 1769
702.88	o 16832
702.88	c 1768
703.35	o 16833
703.35	c 1767
703.82	o 16834
703.82	c 1766
710.37	o 16835
710.37	c 1765
710.61	o 16836
710.61	c 1764
711.55	o 16837
711.55	c 1763
712.01	o 16839
712.01	c 1761
712.48	o 16841
712.48	c 1759
713.70	o 16844
713.70	c 1756
714.17	o 16845
714.17	c 1755
716.98	o 16846
716.98	c 1754
717.45	o 16848
717.45	c 1752
718.41	o 16849
718.41	c 1751
721.88	o 16850
721.88	c 1750
722.38	o 16851
722.38	c 1749
722.86	o 16852
722.86	c 1748
723.33	o 16853
723.33	c 1747
725.70	o 16854
725.70	c 1746
726.64	o 16855
726.64	c 1745
729.98	o 16856
729.98	c 1744
734.18	o 16859
734.18	c 1741
738.35	o 16860
738.35	c 1740
738.82	o 16861
738.82	c 1739
739.31	o 16862
739.31	c 1738
740.27	o 16864
740.27	c 1736
741.22	o 16865
741.22	c 1735
743.11	o 16866
743.11	c 1734
743.60	o 16868
743.60	c 1732
744.56	o 16869
744.56	c 1731
745.54	o 16871
745.54	c 1729
746.02	o 16874
746.02	c 1726
746.37	o 16877
746.37	c 1723
747.61	o 16878
747.61	c 1722
748.56	o 16879
748.56	c 1721
748.88	o 16882
748.88	c 1718
749.34	o 16885
749.34	c 1715
749.81	o 16886
749.81	c 1714
750.70	o 16887
750.70	c 1713
752.08	o 16888
752.08	c 1712
752.42	o 16889
752.42	c 1711
752.88	o 16892
752.88	c 1708
754.28	o 16894
754.28	c 1706
759.37	o 16896
759.37	c 1704
759.78	o 16897
759.78	c 1703
760.24	o 16898
760.24	c 1702
761.80	o 16901
761.80	c 1699
762.00	o 16902
762.00	c 1698
762.37	o 16903
762.37	c 1697
762.81	o 16905
762.81	c 1695
764.14	o 16908
764.14	c 1692
764.53	o 16911
764.53	c 1689
764.99	o 16913
764.99	c 1687
765.44	o 16914
765.44	c 1686
765.89	o 16915
765.89	c 1685
766.34	o 16916
766.34	c 1684
770.46	o 16917
770.46	c 1683
772.26	o 16918
772.26	c 1682
773.16	o 16919
773.16	c 1681
773.60	o 16921
773.60	c 1679
774.08	o 16922
774.08	c 1678
774.97	o 16923
774.97	c 1677
776.31	o 16924
776.31	c 1676
777.50	o 16928
777.50	c 1672
779.71	o 16930
779.71	c 1670
780.63	o 16932
780.63	c 1668
781.08	o 16934
781.08	c 1666
781.97	o 16936
781.97	c 1664
784.16	o 16938
784.16	c 1662
786.00	o 16941
786.00	c 1659
792.18	o 16943
792.18	c 1657
803.68	o 16946
803.68	c 1654
804.17	o 16949
804.17	c 1651
804.65	o 16950
804.65	c 1650
808.02	o 16951
808.02	c 1649
808.52	o 16953
808.52	c 1647
809.92	o 16954
809.92	c 1646
810.34	o 16955
810.34	c 1645
810.83	o 16957
810.83	c 1643
813.81	o 16958
813.81	c 1642
817.28	o 16960
817.28	c 1640
827.75	o 16961
827.75	c 1639
828.27	o 16962
828.27	c 1638
833.74	o 16963
833.74	c 1637
834.26	o 16964
834.26	c 1636
834.80	o 16965
834.80	c 1635
836.16	o 16968
836.16	c 1632
846.77	o 16969
846.77	c 1631
856.56	o 16970
856.56	c 1630
868.04	o 16971
868.04	c 1629
871.68	o 16972
871.68	c 1628
882.80	o 16973
882.80	c 1627
887.83	o 16974
887.83	c 1626
891.58	o 16976
891.58	c 1624
892.53	o 16977
892.53	c 1623
892.99	o 16978
892.99	c 1622
893.44	o 16979
893.44	c 1621
894.63	o 16983
894.63	c 1617
895.08	o 16984
895.08	c 1616
897.51	o 16985
897.51	c 1615
897.83	o 16987
897.83	c 1613
901.07	o 16988
901.07	c 1612
901.54	o 16989
901.54	c 1611
902.57	o 16990
902.57	c 1610
904.79	o 16992
904.79	c 1608
905.66	o 16994
905.66	c 1606
906.10	o 16996
906.10	c 1604
907.07	o 16997
907.07	c 1603
908.05	o 16999
908.05	c 1601
908.56	o 17000
908.56	c 1600
909.07	o 17001
909.07	c 1599
910.07	o 17002
910.07	c 1598
910.57	o 17003
910.57	c 1597
911.06	o 17004
911.06	c 1596
911.46	o 17005
911.46	c 1595
912.46	o 17006
912.46	c 1594
913.47	o 17007
913.47	c 1593
913.97	o 17008
913.97	c 1592
918.96	o 17009
918.96	c 1591
920.78	o 17010
920.78	c 1590
921.26	o 17012
921.26	c 1588
921.77	o 17017
921.77	c 1583
922.28	o 17019
922.28	c 1581
922.80	o 17022
922.80	c 1578
926.81	o 17023
926.81	c 1577
929.93	o 17024
929.93	c 1576
933.02	o 17025
933.02	c 1575
933.55	o 17026
933.55	c 1574
934.09	o 17028
934.09	c 1572
940.06	o 17029
940.06	c 1571
940.99	o 17030
940.99	c 1570
942.34	o 17033
942.34	c 1567
956.55	o 17034
956.55	c 1566
957.02	o 17035
957.02	c 1565
959.84	o 17036
959.84	c 1564
961.13	o 17038
961.13	c 1562
962.08	o 17039
962.08	c 1561
963.91	o 17041
963.91	c 1559
965.76	o 17042
965.76	c 1558
966.24	o 17043
966.24	c 1557
966.72	o 17044
966.72	c 1556
967.20	o 17046
967.20	c 1554
968.64	o 17047
968.64	c 1553
972.07	o 17049
972.07	c 1551
980.41	o 17051
980.41	c 1549
980.92	o 17052
980.92	c 1548
981.92	o 17053
981.92	c 1547
981.99	o 17054
981.99	c 1546
983.00	o 17055
983.00	c 1545
983.51	o 17058
983.51	c 1542
983.94	o 17060
983.94	c 1540
985.97	o 17061
985.97	c 1539
988.01	o 17063
988.01	c 1537
991.09	o 17065
991.09	c 1535
991.59	o 17066
991.59	c 1534
999.12	o 17067
999.12	c 1533
999.64	o 17068
999.65	c 1532
1008.86	o 17070
1008.86	c 1530
1009.38	o 17072
1009.38	c 1528
1009.90	o 17074
1009.90	c 1526
1010.94	o 17075
1010.94	c 1525
1011.97	o 17076
1011.97	c 1524
1013.68	o 17077
1013.68	c 1523
1014.19	o 17078
1014.19	c 1522
1014.71	o 17080
1014.71	c 1520
1023.71	o 17081
1023.71	c 1519
1027.49	o 17082
1027.49	c 1518
1029.64	o 17083
1029.64	c 1517
1030.17	o 17085
1030.17	c 1515
1030.70	o 17087
1030.70	c 1513
1031.24	o 17088
1031.24	c 1512
1036.52	o 17089
1036.52	c 1511
1041.54	o 17090
1041.54	c 1510
1045.88	o 17091
1045.88	c 1509
1048.09	o 17092
1048.09	c 1508
1057.03	o 17093
1057.03	c 1507
1059.99	o 17096
1059.99	c 1504
1061.69	o 17097
1061.69	c 1503
1063.91	o 17099
1063.91	c 1501
1065.62	o 17100
1065.62	c 1500
1066.19	o 17101
1066.19	c 1499
1066.77	o 17103
1066.77	c 1497
1070.23	o 17104
1070.23	c 1496
1070.79	o 17105
1070.79	c 1495
1071.90	o 17106
1071.90	c 1494
1074.13	o 17107
1074.13	c 1493
1075.25	o 17109
1075.25	c 1491
1076.10	o 17110
1076.10	c 1490
1076.40	o 17111
1076.40	c 1489
1077.51	o 17112
1077.51	c 1488
1079.17	o 17113
1079.17	c 1487
1079.65	o 17115
1079.65	c 1485
1082.79	o 17116
1082.79	c 1484
1085.03	o 17117
1085.03	c 1483
1085.59	o 17120
1085.59	c 1480
1085.79	o 17122
1085.79	c 1478
1086.89	o 17123
1086.89	c 1477
1088.01	o 17124
1088.01	c 1476
1090.80	o 17125
1090.80	c 1475
1091.36	o 17127
1091.36	c 1473
1093.02	o 17128
1093.02	c 1472
1094.18	o 17129
1094.18	c 1471
1094.60	o 17131
1094.60	c 1469
1095.72	o 17133
1095.72	c 1467
1096.84	o 17134
1096.84	c 1466
1097.05	o 17136
1097.05	c 1464
1098.57	o 17137
1098.57	c 1463
1099.06	o 17138
1099.06	c 1462
1099.61	o 17139
1099.61	c 1461
1100.71	o 17144
1100.71	c 1456
1101.26	o 17146
1101.26	c 1454
1102.61	o 17147
1102.61	c 1453
1103.15	o 17148
1103.15	c 1452
1111.33	o 17150
1111.33	c 1450
1125.64	o 17152
1125.64	c 1448
1131.04	o 17153
1131.04	c 1447
1131.42	o 17154
1131.42	c 1446
1132.76	o 17155
1132.76	c 1445
1133.65	o 17156
1133.65	c 1444
1134.22	o 17157
1134.22	c 1443
1134.75	o 17159
1134.75	c 1441
1135.52	o 17161
1135.52	c 1439
1136.25	o 17163
1136.25	c 1437
1136.77	o 17165
1136.77	c 1435
1137.88	o 17167
1137.88	c 1433
1142.98	o 17170
1142.98	c 1430
1144.07	o 17171
1144.07	c 1429
1145.18	o 17172
1145.18	c 1428
1145.51	o 17174
1145.51	c 1426
1165.96	o 17175
1165.96	c 1425
1169.95	o 17176
1169.95	c 1424
1176.28	o 17177
1176.28	c 1423
1177.40	o 17178
1177.40	c 1422
1180.15	o 17179
1180.15	c 1421
1180.66	o 17181
1180.66	c 1419
1182.34	o 17185
1182.34	c 1415
1183.50	o 17186
1183.50	c 1414
1185.70	o 17187
1185.70	c 1413
1186.25	o 17189
1186.25	c 1411
1186.81	o 17190
1186.81	c 1410
1190.80	o 17191
1190.80	c 1409
1191.37	o 17192
1191.37	c 1408
1191.94	o 17193
1191.94	c 1407
1192.50	o 17194
1192.50	c 1406
1203.53	o 17195
1203.53	c 1405
1204.06	o 17196
1204.06	c 1404
1205.29	o 17197
1205.29	c 1403
1206.50	o 17198
1206.50	c 1402
1207.12	o 17199
1207.12	c 1401
1207.73	o 17200
1207.73	c 1400
1208.26	o 17202
1208.26	c 1398
1214.89	o 17204
1214.89	c 1396
1214.95	o 17205
1214.95	c 1395
1215.58	o 17206
1215.58	c 1394
1216.81	o 17207
1216.81	c 1393
1217.44	o 17208
1217.44	c 1392
1219.29	o 17209
1219.29	c 1391
1222.76	o 17210
1222.76	c 1390
1223.86	o 17212
1223.86	c 1388
1225.11	o 17214
1225.11	c 1386
1225.72	o 17216
1225.72	c 1384
1226.95	o 17219
1226.95	c 1381
1229.91	o 17220
1229.91	c 1380
1231.76	o 17221
1231.76	c 1379
1233.61	o 17222
1233.61	c 1378
1255.44	o 17223
1255.44	c 1377
1256.05	o 17224
1256.05	c 1376
1256.65	o 17225
1256.65	c 1375
1257.24	o 17226
1257.24	c 1374
1262.10	o 17227
1262.10	c 1373
1263.71	o 17229
1263.71	c 1371
1264.91	o 17232
1264.91	c 1368
1281.55	o 17233
1281.55	c 1367
1282.16	o 17236
1282.16	c 1364
1282.77	o 17240
1282.77	c 1360
1284.00	o 17241
1284.00	c 1359
1290.17	o 17242
1290.17	c 1358
1300.11	o 17243
1300.11	c 1357
1300.71	o 17244
1300.71	c 1356
1301.15	o 17245
1301.15	c 1355
1301.77	o 17246
1301.77	c 1354
1302.38	o 17248
1302.38	c 1352
1304.01	o 17250
1304.01	c 1350
1311.05	o 17251
1311.05	c 1349
1313.57	o 17254
1313.57	c 1346
1322.65	o 17255
1322.65	c 1345
1323.89	o 17256
1323.89	c 1344
1325.01	o 17257
1325.01	c 1343
1326.25	o 17258
1326.25	c 1342
1327.49	o 17259
1327.49	c 1341
1328.11	o 17262
1328.11	c 1338
1329.30	o 17265
1329.30	c 1335
1329.88	o 17266
1329.88	c 1334
1331.59	o 17268
1331.59	c 1332
1332.21	o 17271
1332.21	c 1329
1332.60	o 17272
1332.60	c 1328
1333.20	o 17274
1333.20	c 1326
1333.81	o 17275
1333.81	c 1325
1337.51	o 17276
1337.51	c 1324
1338.12	o 17277
1338.12	c 1323
1347.48	o 17279
1347.48	c 1321
1348.10	o 17280
1348.10	c 1320
1349.37	o 17281
1349.37	c 1319
1349.76	o 17283
1349.76	c 1317
1350.39	o 17285
1350.39	c 1315
1353.44	o 17286
1353.44	c 1314
1365.14	o 17287
1365.14	c 1313
1366.17	o 17288
1366.17	c 1312
1366.81	o 17292
1366.81	c 1308
1368.78	o 17293
1368.78	c 1307
1369.14	o 17295
1369.14	c 1305
1369.80	o 17296
1369.80	c 1304
1370.44	o 17297
1370.44	c 1303
1374.68	o 17299
1374.68	c 1301
1375.31	o 17301
1375.31	c 1299
1375.94	o 17303
1375.94	c 1297
1382.85	o 17304
1382.85	c 1296
1384.74	o 17305
1384.74	c 1295
1385.36	o 17306
1385.36	c 1294
1386.00	o 17307
1386.00	c 1293
1386.61	o 17308
1386.61	c 1292
1387.24	o 17311
1387.24	c 1289
1391.36	o 17312
1391.36	c 1288
1391.94	o 17313
1391.94	c 1287
1392.57	o 17318
1392.57	c 1282
1393.99	o 17319
1393.99	c 1281
1406.27	o 17322
1406.27	c 1278
1407.53	o 17323
1407.53	c 1277
1408.15	o 17324
1408.16	c 1276
1408.50	o 17327
1408.50	c 1273
1409.76	o 17329
1409.76	c 1271
1414.41	o 17330
1414.41	c 1270
1415.65	o 17331
1415.65	c 1269
1417.23	o 17333
1417.23	c 1267
1421.88	o 17335
1421.88	c 1265
1422.51	o 17336
1422.51	c 1264
1423.12	o 17337
1423.12	c 1263
1423.77	o 17338
1423.77	c 1262
1424.41	o 17339
1424.41	c 1261
1425.70	o 17340
1425.70	c 1260
1426.11	o 17341
1426.11	c 1259
1426.76	o 17342
1426.76	c 1258
1427.41	o 17343
1427.41	c 1257
1428.05	o 17344
1428.05	c 1256
1429.98	o 17345
1429.98	c 1255
1430.62	o 17346
1430.62	c 1254
1431.27	o 17347
1431.27	c 1253
1431.86	o 17349
1431.86	c 1251
1432.50	o 17350
1432.50	c 1250
1433.13	o 17351
1433.13	c 1249
1436.13	o 17355
1436.13	c 1245
1436.76	o 17356
1436.76	c 1244
1443.32	o 17357
1443.32	c 1243
1443.52	o 17359
1443.52	c 1241
1447.59	o 17360
1447.59	c 1240
1448.22	o 17361
1448.22	c 1239
1448.86	o 17362
1448.86	c 1238
1450.10	o 17363
1450.10	c 1237
1450.72	o 17364
1450.72	c 1236
1459.95	o 17365
1459.95	c 1235
1462.42	o 17369
1462.42	c 1231
1466.51	o 17371
1466.51	c 1229
1468.84	o 17372
1468.84	c 1228
1469.16	o 17373
1469.16	c 1227
1470.40	o 17374
1470.40	c 1226
1475.37	o 17375
1475.37	c 1225
1475.75	o 17376
1475.75	c 1224
1476.35	o 17377
1476.35	c 1223
1477.21	o 17378
1477.21	c 1222
1477.70	o 17379
1477.70	c 1221
1478.90	o 17381
1478.90	c 1219
1482.56	o 17382
1482.56	c 1218
1483.79	o 17383
1483.79	c 1217
1491.44	o 17384
1491.44	c 1216
1495.72	o 17385
1495.72	c 1215
1496.27	o 17386
1496.27	c 1214
1496.87	o 17387
1496.87	c 1213
1497.48	o 17388
1497.48	c 1212
1498.09	o 17389
1498.09	c 1211
1499.33	o 17391
1499.33	c 1209
1499.54	o 17393
1499.54	c 1207
1500.14	o 17395
1500.15	c 1205
1501.37	o 17396
1501.37	c 1204
1504.15	o 17397
1504.15	c 1203
1506.38	o 17398
1506.38	c 1202
1507.00	o 17399
1507.00	c 1201
1514.90	o 17400
1514.90	c 1200
1515.53	o 17401
1515.53	c 1199
1526.13	o 17402
1526.13	c 1198
1526.78	o 17405
1526.78	c 1195
1527.85	o 17406
1527.85	c 1194
1529.69	o 17407
1529.69	c 1193
1530.32	o 17408
1530.32	c 1192
1530.71	o 17409
1530.71	c 1191
1535.46	o 17410
1535.46	c 1190
1536.09	o 17414
1536.09	c 1186
1540.78	o 17415
1540.78	c 1185
1541.98	o 17416
1541.98	c 1184
1542.61	o 17417
1542.61	c 1183
1548.59	o 17418
1548.59	c 1182
1556.19	o 17420
1556.19	c 1180
1558.52	o 17423
1558.52	c 1177
1564.21	o 17424
1564.21	c 1176
1564.64	o 17426
1564.64	c 1174
1568.48	o 17427
1568.48	c 1173
1569.14	o 17429
1569.14	c 1171
1569.79	o 17430
1569.79	c 1170
1580.63	o 17431
1580.63	c 1169
1583.94	o 17432
1583.94	c 1168
1589.82	o 17433
1589.82	c 1167
1601.05	o 17434
1601.05	c 1166
1602.37	o 17435
1602.37	c 1165
1603.03	o 17436
1603.03	c 1164
1603.69	o 17438
1603.69	c 1162
1609.65	o 17439
1609.65	c 1161
1616.09	o 17441
1616.09	c 1159
1618.77	o 17442
1618.77	c 1158
1645.36	o 17444
1645.36	c 1156
1645.98	o 17445
1645.98	c 1155
1647.36	o 17446
1647.36	c 1154
1650.53	o 17448
1650.53	c 1152
1653.88	o 17449
1653.88	c 1151
1657.29	o 17450
1657.29	c 1150
1657.84	o 17452
1657.84	c 1148
1671.88	o 17454
1671.88	c 1146
1672.52	o 17456
1672.52	c 1144
1676.85	o 17457
1676.85	c 1143
1677.73	o 17462
1677.73	c 1138
1681.56	o 17463
1681.56	c 1137
1685.37	o 17464
1685.37	c 1136
1687.96	o 17465
1687.96	c 1135
1689.62	o 17466
1689.62	c 1134
1692.34	o 17467
1692.34	c 1133
1698.96	o 17470
1698.96	c 1130
1702.23	o 17471
1702.23	c 1129
1704.27	o 17472
1704.27	c 1128
1704.95	o 17475
1704.95	c 1125
1706.32	o 17476
1706.32	c 1124
1721.61	o 17477
1721.61	c 1123
1722.28	o 17478
1722.28	c 1122
1745.96	o 17479
1745.96	c 1121
1746.26	o 17480
1746.26	c 1120
1746.54	o 17482
1746.54	c 1118
1746.66	o 17485
1746.66	c 1115
1777.32	   
1777.32	   search
1777.32	     run=0  nbConstraintChecks=4140635615  nbAssignments=4788
1777.32	       =>  wckTime=1714.785  cpuTime=1713.2  mem=64M821
1777.32	   
1777.32	   global
1777.32	     nbConstraintChecks=4140635615  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
1777.32	     solvingWckTime=1714.765  solvingCpuTime=1713.19  expiredTime=no  totalExploration=no  nbFoundSolutions=0
1777.32	     globalCpuTime=1774.53
1777.32	       =>  wckTime=1777.031  cpuTime=1774.48  mem=64M821
1777.32	   
1777.32	   solver IterativeSystematicSolver being built... 
1777.96	       =>  wckTime=1777.666  cpuTime=1774.86  mem=153M153
1914.72	   
1914.72	   preprocessing
1914.72	     nbConstraintChecks=321104779  nbValidityChecks=868315  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
1914.72	     nbRemovedValues=0  detectedInconsistency=no
1914.72	       =>  wckTime=136.757  cpuTime=136.44  mem=153M153
2402.29	v -2246 2474 2878 -2850 -2742 2730 -2266 2578 -2514 2758 -2006 2334 -2618 -2598 2870 2050 2254 2198 1990 2858 2854 -2462 -2890 2446 -2222 2278 -2698 1990 -2226 -2358 1994 -2054 2734 -2358 2854 -2842 2706 2814 2778 -2890 2890 2874 -2054 2890 -2854 -2722 2586 -2578 -2134 -2894 2090 2670 2502 2034 -2570 2446 -2854 -2678 -2894 -2818 2850 -2082 2194 2034 2246 2030 -2186 -2474 2450 -2654 -2114 -2866 2822 2086 2838 -2622 2654 2034 2166 2054 -2470 2370 2174 2710 2610 -2854 -2714 -2030 2850 2322 -2014 2798 1998 -2774 -1994 -2586 -2154 -2890 -2490 1990 -2674 2370 -2490 -2722 -2582 -2882 -2002 2650 -2426 2814 -2190 2602 2202 -2458 2550 1990 -2522 -2270 2834 2786 -2822 -2890 -2846 -2850 -2602 2018 2046 2018 -2042 -2886 2062 -2462 -2610 -2486 1998 2842 -2258 2314 2846 2262 -2674 -2738 -2278 -2390 -2858 -2826 2658 -2374 2230 -2302 -2430 -2878 2546 -2854 -2874 2222 2214 -2506 -2750 2690 2234 2618 2354 -2626 -2030 2882 2510 2470 -2742 -2046 2806 2730 2346 2634 -2854 -2346 2102 2414 2834 -2578 2834 2518 2770 2894 2506 -2046 -2858 2538 2798 2818 2266 -2390 -2370 1998 2426 2030 2198 -2826 -2082 2098 2042 -2058 -2426 -2350 2786 -2230 -2050 -2450 -2866 -2442 2770 -2006 -2318 2766 2774 -2842 2854 2442 2414 2610 2854 -2534 -2850 2594 -2050 -2042 2874 -2826 2722 2474 2758 2850 2894 2218 2674 2790 2302 2362 2746 2054 -2706 2014 2030 2314 -2042 -2826 -2742 2578 2370 2854 -2354 -2042 2834 -2610 2198 1994 -2378 -2586 -2850 -2106 -2366 2842 2838 -2334 2894 2274 2790 2358 -2170 -2046 2814 -2838 -2878 -2878 -2646 2030 2782 -2850 -2622 2430 -2578 -2682 -2578 -2470 2038 2894 2002 2118 2370 -2310 2558 2642 2422 -2042 -2154 2006 -2610 -2762 -2190 2838 2822 2750 -2002 2834 -2574 2322 -2098 -2494 -2570 2618 -2650 2210 -2102 2490 1990 2362 2866 -2786 -2842 1990 -2086 -2870 2850 -2702 2814 -2574 -2822 -2822 2690 2054 2478 2542 -2630 -2410 2854 2474 -2602 2114 -2646 2106 2454 2874 2382 -2350 -2034 2422 2862 1994 2734 -2226 2014 -2666 2042 2342 -2130 -2642 2190 -1994 2818 2186 2894 -2066 -2034 2646 -2010 -2846 -2014 -2074 -2190 2706 -2798 -2098 2058 2446 2406 -2766 -2234 -2498 2398 2570 2422 -2894 2850 -2866 -1998 1990 -2702 2894 2762 -2314 -2714 -2146 -2838 -2090 -2854 -2422 -2030 -2478 -2234 2778 2882 2834 -2370 2110 2314 2854 2182 -2022 -2010 1990 -2014 -2042 -2750 -2854 2714 -2034 -2794 -2282 2846 -2042 -2326 -2326 -2034 2322 -2742 -2878 -2018 -2674 2030 -2794 -2482 -2038 -2182 2270 2542 2866 -2114 2802 2890 -2102 2454 2046 -2538 2578 2866 -2302 2086 -2874 -2534 -2758 2134 2054 -2166 2882 2006 -2618 2002 -2338 -2666 -2134 2210 2018 2690 2238 2014 -2042 -2878 -2218 -2230 2038 -2382 -2146 -1990 -2838 2030 2350 -2222 2650 2394 2682 2854 -2294 2618 2422 -2822 -2506 -2118 -2190 -2250 1990 2694 2254 -2762 -2638 1990 -2774 2414 2846 -2854 -2486 2318 -2882 2070 -2890 -2442 -2894 2578 1990 -2850 -2778 -2010 -2058 -2678 -2094 -2854 -2838 -2850 -2682 -2330 -2630 -2758 2346 2038 2426 -2838 2390 2790 2274 -2706 -2878 -2790 -2350 -2410 2742 1994 -2058 -2698 2658 2634 2030 1990 -2818 -2134 2442 1990 -1994 -2202 -2666 -2630 2782 2222 2798 -2894 -2050 2782 -2334 2434 2606 -2482 2106 2038 2090 -1994 2070 -2222 2158 -2410 -2030 -2890 2690 2782 -2378 2850 -2046 2766 -1998 -2318 2686 -2230 2482 -2710 2838 1990 2822 -2490 2882 2834 2070 -1994 2610 -2798 2150 -2062 2342 -2126 -2854 -2042 -2790 -1994 -2042 2494 2802 -2698 2034 2058 2874 2310 -2054 -2122 -1990 -2782 2614 2034 2010 -2678 -2014 2850 1990 -2886 -1994 2598 -2890 -2686 2002 -2030 2862 2838 2350 2722 2030 2290 -2130 2806 2022 -2058 -2462 -2834 2814 2882 -2210 2794 -2118 -2018 2474 2190 2806 2654 2894 -2826 2798 -2890 2190 -2158 -2414 -2782 -2866 -2474 2666 2674 2794 -2574 -2746 -2774 2014 2450 -2486 -2574 -2034 2342 -2638 2554 2734 -2418 1990 -2846 -2674 2038 2650 -2890 2418 2390 -2894 2890 -2834 2038 -2070 2294 -2878 -2854 2030 -2178 -2894 -2458 -2610 1990 -2066 -2230 2414 -2710 2614 2066 -2462 -2110 2894 2598 -2578 2642 2090 2578 -2606 -2426 2846 2046 1990 -2702 2878 -2030 -2794 -2126 2714 -2486 -2018 -1990 -2346 2002 2342 2342 -2582 2670 -2818 -2018 -2722 2354 2170 2030 2490 2570 2358 2882 -2442 2554 2074 -2478 -2690 -2042 2546 -2634 -2462 -2802 -2454 -2002 -2006 -2462 2370 -2006 2042 -2886 2618 2030 2774 -2886 -2146 2674 2510 2450 -2210 -2842 2894 -2422 1998 -2894 -2670 2538 -2106 2810 -1990 1998 2342 2638 -2374 2114 -2114 2226 -2362 -2158 -2834 2430 -2498 2030 2806 -2662 2878 2754 1990 -2638 -2810 2818 2490 -2886 2890 -2066 2570 -2030 2806 2158 1990 -2454 -2662 -2194 -2178 2762 -2358 2306 2518 2422 -2374 2378 2034 2546 2718 2030 -2190 2030 1990 -2302 2894 -2766 -1994 2202 -2742 2558 -2002 -2378 -2002 -2106 2750 -2798 2594 1994 -2014 -2834 2018 -2034 2582 -2002 2838 -1994 2330 2830 2686 -2514 -2050 -2362 -2762 2002 2042 2042 2850 -2014 -2126 -2490 -2894 -2186 2006 -2530 2146 -2534 -2886 2078 2894 -2522 -2382 2718 2790 -2626 -2042 -2446 2182 -2854 -2762 -2030 2278 2878 2294 -2462 -2790 -2874 2402 1990 -2710 2846 -1994 1990 2254 2806 2670 2650 2418 -2658 2498 -2798 -2878 -2038 2418 -2742 -2482 2730 -2694 -2826 -2470 -2050 -2738 2770 -2826 2706 2510 2250 2710 -2534 2178 2126 -2878 -2794 -2678 2506 2610 2198 -2886 2110 2462 2218 -2014 -2850 2834 -2226 2286 -2750 -2390 -2522 -2034 2062 -2346 2046 2742 -2054 2138 -2758 -2542 -2758 2182 2610 2850 2438 -2050 -2494 -2114 -2326 2854 -2742 2806 -2610 2298 -2810 -2046 -2506 -2850 2466 -2610 2890 2386 -2386 -2010 -2402 2222 1998 -2678 2886 -2306 -2426 -2006 2402 -2594 -2382 2346 -2882 2030 -2834 -2038 2406 -2030 1998 2330 -2650 2054 2846 -2722 2514 2582 -2462 2702 2822 -2566 2846 -2894 -2078 -2466 -2002 2318 -2058 2062 2038 -2246 -2074 2406 -1994 -2446 -2722 2358 2782 2682 2490 2330 2538 -2354 1990 -2310 -2062 2706 -2878 -1990 -2582 2682 -2878 -2206 2354 -1990 2890 -2238 2642 2362 2818 1990 -2866 2694 -2378 -2466 2586 2006 2258 -2690 2222 -2854 -2406 -2586 -2758 2458 2466 2030 -2602 -2006 2850 -2618 2486 2878 -2826 -2150 2678 2742 -2854 -2138 2378 -2162 -1998 2034 2714 2882 2686 -2046 -2742 -2030 2194 2702 2806 -2002 -2130 2034 2666 2834 -2082 2826 -2538 2102 -2390 2846 -2886 -2866 -2030 2378 2698 -2890 -2858 -2618 -2018 2874 2342 -2362 -2150 2458 2718 -2382 2002 2782 -1994 2886 2738 -2298 2842 -1994 2822 1990 -2010 -2290 -2638 2494 2330 -2854 2766 2854 -2814 -2566 -2178 2846 -2034 -2846 -2886 2418 -2858 -2838 -2682 2642 -2806 2362 2030 -2814 2006 2030 2390 2034 2746 1990 -2034 2162 -2030 -2250 2230 2366 2422 -2002 2886 2034 1994 2178 -2002 -2030 -2586 -2866 2702 -1998 2526 -2658 -2050 -2850 -2526 2182 2786 -2078 -2374 2650 2154 -2890 -2042 2806 -2338 2034 2626 2770 2002 -2818 2354 -2702 -2854 2842 2366 -2374 -2846 -2078 -2618 2534 2374 -2838 -2202 -2074 2062 2518 -2838 2754 2174 -2038 -2602 2730 2538 -2094 -2502 -2730 2170 2442 2430 2510 -2502 2778 -2170 2038 2770 -2838 2810 -2854 -2830 -2018 2010 2298 -2178 2234 2830 2374 -2502 -2482 -2138 2030 -2710 -2538 -2506 2094 2858 2854 2038 2598 2838 2766 -2750 2658 -1990 -2478 -2018 -2630 2010 -2542 -2530 2834 2722 2734 2462 2166 -2826 -2270 2622 -2006 2822 -2026 2562 -1990 2518 -2238 1990 2398 2430 -2854 2854 -2118 -1990 2782 -2354 -2150 -2894 -2206 -2318 -2822 -2798 -2862 -2210 2862 -2390 -2270 -2046 2274 2770 -2042 -2278 -2218 2866 -2754 2702 -2570 -2450 2330 -2890 -2238 2794 -2306 -2874 -2854 2318 2622 -2026 -2194 2570 2030 -2046 -2838 -2514 -2018 2146 -2418 2178 2894 2874 -2238 2822 2894 2758 2770 2854 -2838 -2826 -2218 2030 2074 2402 -2026 2574 2878 -2850 2266 -2042 2002 -2386 2306 2674 -2806 2070 2034 2730 2870 2754 2862 -2790 2034 2062 2586 1990 -2014 -2810 -2378 -2626 2766 2546 -2794 -2214 2462 2110 2406 -2574 2622 2038 -2034 2774 -2558 -1990 2062 -2710 2002 -2666 2054 -2846 2094 -2742 2030 2362 2010 2730 -2358 2050 -2530 2030 -2814 2030 -2118 2850 2482 -2662 -2030 2174 2646 2242 -2758 2042 -2818 2162 -2894 -1990 -2738 2842 -2514 2526 2874 -2622 2314 2338 -2018 -2266 2894 -2662 -2798 -2790 1990 2474 -2394 2874 -2066 -2218 -2546 2566 -2774 2054 -2310 -2382 -2402 -2754 -2106 2638 -2022 -2562 2070 -2706 -2470 1990 -2258 2286 -1990 -2030 2314 -2002 2890 2774 -2566 -2438 2366 2230 -2418 2182 2534 -2566 -2842 -1990 -2850 2790 2126 2518 -2246 2514 2014 -2314 2702 -2150 -2690 -2722 -2442 2894 -2030 -2486 2730 -2386 -2634 2854 -1990 2526 -2834 2410 -2614 2058 2018 2062 -2058 2850 2846 -2706 1990 2858 2290 2730 -2842 2730 -1990 2038 2838 -2838 2642 2386 2390 2718 -2614 2178 2858 2894 2758 2838 -1990 2782 -2262 -2582 2314 -2014 2174 2854 -2530 2386 -2646 2066 -2854 -2894 -2126 2050 -2558 -2670 2442 2438 2818 2426 -2582 -2878 -2294 2710 -2894 2890 -2134 -2518 2006 -2274 -2894 2702 2630 -2002 2262 -2302 2846 -2866 -2302 -2494 -2714 -2782 1990 2502 -2198 2750 2070 -2418 2838 2466 2894 2190 2894 -2238 2382 2874 2026 2502 2806 2114 2726 -2850 2018 2734 2894 -1998 -2130 2014 2358 1998 -2718 2878 2078 2654 -2826 -2390 2010 -2670 2890 -2478 -2346 2050 -2562 -2074 2218 1994 2354 2742 2474 -1990 -2154 -1990 2514 -2342 -2014 -2002 -2238 2626 -2030 -2050 -2138 -2030 -2878 2078 2478 2894 2258 1994 2862 2034 -2894 -2030 -2490 2050 2582 -1994 -2614 -2738 -2798 -2838 -2514 2482 -2618 -2578 2290 -2442 2890 -2058 2710 2670 2678 2658 -2502 -2362 -2010 1990 -2398 -2622 2830 -2854 2830 -2430 2046 -2030 -2818 -2654 -2070 -2030 -2682 -2010 -2418 2358 2578 2058 -2030 2166 -2278 -2618 2574 -2758 2838 -2014 2870 -2558 2330 -2386 -1990 2642 2682 2426 1994 -2842 2690 1990 2850 -2778 2634 2650 -2102 2878 2398 2458 -2110 -2622 -2082 -2618 -2346 -2818 2710 2486 2750 2798 2702 2594 -2594 -2842 2182 2314 -2294 -2794 -2526 -2786 2754 2042 2394 -2422 2042 -2670 -1990 2138 -2374 -2078 -2058 -2834 -2034 2746 -2730 -2822 1990 2890 -2034 -2154 -2150 -2838 -2558 -2422 -2314 2854 -2266 2050 2850 2814 2890 -2814 2894 2138 -2386 -2894 -2094 2714 -2658 -2890 -1994 -2146 -2474 2070 2290 -2670 2130 -2098 2394 -2386 2290 -2370 2438 2226 2846 -2482 -2618 2850 -2410 2782 -2730 2670 2030 -2854 -2862 1998 1990 -2710 2006 2366 -2034 2370 2026 -2894 1998 2286 -2802 2086 1990 2058 2174 2342 2462 2170 2354 -2262 2062 2118 -2002 -2838 -2578 2806 2650 -2890 2274 -2046 -2854 -2350 -2198 -2122 -2750 -2878 -1994 2446 2778 -2430 -2534 -2082 2854 2746 2826 2890 -2586 -1998 -2662 -2878 -2382 -2750 1990 -2014 -2430 1990 -2330 2414 2806 -2750 -2806 -2526 -2298 -2030 -2410 2826 -2894 2826 2614 2398 2046 2786 2518 2870 -1990 -2682 2822 2894 2274 2786 2330 -2602 2434 2030 -2530 2578 2854 2438 -2046 -2022 -2726 -2054 -2462 -2866 -2198 -2382 2070 2122 -2058 2030 -2110 -2054 -2030 -2830 -2670 2414 2458 2782 -2258 -2026 2894 -2478 -2854 -2466 2158 2606 2718 -2714 -2618 2382 1994 2874 2054 2582 -2746 2794 -2078 -2806 2746 -2030 2890 -2802 2530 2746 2354 1994 -2690 2054 2206 2750 -2274 -2838 2830 2746 -2710 -2402 -2894 -2654 -2622 1998 2882 -2006 -2178 2450 2546 -2118 -2826 -2042 2366 2798 -2422 -2038 -2054 -2842 -2758 -2554 -2546 -2730 2022 -2590 -2006 -2582 2030 -2698 2006 2110 -2290 2750 -2766 2462 -2858 2330 2378 -2570 -2242 2502 2470 2850 2394 2878 2614 -1990 -2514 2066 -2894 -2566 -2342 2030 2818 2890 -2518 -2742 -2102 -2886 2674 2826 -2258 -2030 -2894 -2154 2834 2418 -2326 -2254 2290

Verifier Data (download as text)

1115 unsatisfied constraints, 17485 satisfied constraints

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node16/watcher-275634-1169224311 -o ROOT/results/node16/solver-275634-1169224311 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/275634-1169224311/unknown.xml 

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

/proc/loadavg: 2.00 1.99 1.99 4/93 16248
/proc/meminfo: memFree=1165624/2055920 swapFree=4191880/4192956
[pid=16247] ppid=16245 vsize=1500 CPUtime=0
/proc/16247/stat : 16247 (java) R 16245 16247 15720 0 -1 0 264 0 0 0 0 0 0 0 18 0 1 0 270825942 1536000 69 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 7176800 0 0 4096 0 0 0 0 17 0 0 0
/proc/16247/statm: 375 69 54 14 0 8 0

[startup+0.108131 s]
/proc/loadavg: 2.00 1.99 1.99 4/93 16248
/proc/meminfo: memFree=1165624/2055920 swapFree=4191880/4192956
[pid=16247] ppid=16245 vsize=914988 CPUtime=0.09
/proc/16247/stat : 16247 (java) R 16245 16247 15720 0 -1 0 3079 0 1 0 8 1 0 0 24 0 8 0 270825942 936947712 2825 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072944238 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16247/statm: 228747 2825 1455 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988

[startup+0.516056 s]
/proc/loadavg: 2.00 1.99 1.99 4/93 16248
/proc/meminfo: memFree=1165624/2055920 swapFree=4191880/4192956
[pid=16247] ppid=16245 vsize=915332 CPUtime=0.5
/proc/16247/stat : 16247 (java) R 16245 16247 15720 0 -1 0 8369 0 1 0 45 5 0 0 25 0 8 0 270825942 937299968 8108 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16247/statm: 228833 8108 2140 14 0 215303 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915332

[startup+1.3379 s]
/proc/loadavg: 2.00 1.99 1.99 3/100 16255
/proc/meminfo: memFree=1078400/2055920 swapFree=4191880/4192956
[pid=16247] ppid=16245 vsize=915612 CPUtime=1.32
/proc/16247/stat : 16247 (java) R 16245 16247 15720 0 -1 0 24143 0 1 0 120 12 0 0 25 0 8 0 270825942 937586688 23880 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073583839 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16247/statm: 228903 23880 2161 14 0 215373 0
[pid=16247/tid=16249] ppid=16245 vsize=915612 CPUtime=0.08
/proc/16247/task/16249/stat : 16249 (java) S 16245 16247 15720 0 -1 64 7589 0 0 0 6 2 0 0 16 0 8 0 270825946 937586688 23880 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16247/tid=16250] ppid=16245 vsize=915612 CPUtime=0
/proc/16247/task/16250/stat : 16250 (java) S 16245 16247 15720 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270825946 937586688 23880 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16247/tid=16251] ppid=16245 vsize=915612 CPUtime=0
/proc/16247/task/16251/stat : 16251 (java) S 16245 16247 15720 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270825946 937586688 23880 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16247/tid=16252] ppid=16245 vsize=915612 CPUtime=0
/proc/16247/task/16252/stat : 16252 (java) S 16245 16247 15720 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270825949 937586688 23880 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16247/tid=16253] ppid=16245 vsize=915612 CPUtime=0.15
/proc/16247/task/16253/stat : 16253 (java) S 16245 16247 15720 0 -1 64 404 0 0 0 14 1 0 0 16 0 8 0 270825949 937586688 23880 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16247/tid=16254] ppid=16245 vsize=915612 CPUtime=0
/proc/16247/task/16254/stat : 16254 (java) S 16245 16247 15720 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270825949 937586688 23880 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16247/tid=16255] ppid=16245 vsize=915612 CPUtime=0
/proc/16247/task/16255/stat : 16255 (java) S 16245 16247 15720 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270825949 937586688 23880 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 915612

[startup+2.9746 s]
/proc/loadavg: 2.00 1.99 1.99 3/100 16255
/proc/meminfo: memFree=1078144/2055920 swapFree=4191880/4192956
[pid=16247] ppid=16245 vsize=915744 CPUtime=2.95
/proc/16247/stat : 16247 (java) R 16245 16247 15720 0 -1 0 24219 0 1 0 283 12 0 0 25 0 8 0 270825942 937721856 23954 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073825221 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16247/statm: 228936 23954 2181 14 0 215406 0
[pid=16247/tid=16249] ppid=16245 vsize=915744 CPUtime=0.1
/proc/16247/task/16249/stat : 16249 (java) S 16245 16247 15720 0 -1 64 7589 0 0 0 8 2 0 0 17 0 8 0 270825946 937721856 23954 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16247/tid=16250] ppid=16245 vsize=915744 CPUtime=0
/proc/16247/task/16250/stat : 16250 (java) S 16245 16247 15720 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270825946 937721856 23954 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16247/tid=16251] ppid=16245 vsize=915744 CPUtime=0
/proc/16247/task/16251/stat : 16251 (java) S 16245 16247 15720 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270825946 937721856 23954 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16247/tid=16252] ppid=16245 vsize=915744 CPUtime=0
/proc/16247/task/16252/stat : 16252 (java) S 16245 16247 15720 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270825949 937721856 23954 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16247/tid=16253] ppid=16245 vsize=915744 CPUtime=0.17
/proc/16247/task/16253/stat : 16253 (java) S 16245 16247 15720 0 -1 64 416 0 0 0 16 1 0 0 15 0 8 0 270825949 937721856 23954 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16247/tid=16254] ppid=16245 vsize=915744 CPUtime=0
/proc/16247/task/16254/stat : 16254 (java) S 16245 16247 15720 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270825949 937721856 23954 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16247/tid=16255] ppid=16245 vsize=915744 CPUtime=0
/proc/16247/task/16255/stat : 16255 (java) S 16245 16247 15720 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270825949 937721856 23954 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 915744

[startup+6.18 s]
/proc/loadavg: 2.00 1.99 1.99 3/100 16255
/proc/meminfo: memFree=1077952/2055920 swapFree=4191880/4192956
[pid=16247] ppid=16245 vsize=915744 CPUtime=6.16
/proc/16247/stat : 16247 (java) R 16245 16247 15720 0 -1 0 24223 0 1 0 603 13 0 0 25 0 8 0 270825942 937721856 23957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073845600 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16247/statm: 228936 23957 2181 14 0 215406 0
[pid=16247/tid=16249] ppid=16245 vsize=915744 CPUtime=0.1
/proc/16247/task/16249/stat : 16249 (java) S 16245 16247 15720 0 -1 64 7589 0 0 0 8 2 0 0 16 0 8 0 270825946 937721856 23957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16247/tid=16250] ppid=16245 vsize=915744 CPUtime=0
/proc/16247/task/16250/stat : 16250 (java) S 16245 16247 15720 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270825946 937721856 23957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16247/tid=16251] ppid=16245 vsize=915744 CPUtime=0
/proc/16247/task/16251/stat : 16251 (java) S 16245 16247 15720 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270825946 937721856 23957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16247/tid=16252] ppid=16245 vsize=915744 CPUtime=0
/proc/16247/task/16252/stat : 16252 (java) S 16245 16247 15720 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270825949 937721856 23957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16247/tid=16253] ppid=16245 vsize=915744 CPUtime=0.18
/proc/16247/task/16253/stat : 16253 (java) S 16245 16247 15720 0 -1 64 419 0 0 0 17 1 0 0 15 0 8 0 270825949 937721856 23957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16247/tid=16254] ppid=16245 vsize=915744 CPUtime=0
/proc/16247/task/16254/stat : 16254 (java) S 16245 16247 15720 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270825949 937721856 23957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16247/tid=16255] ppid=16245 vsize=915744 CPUtime=0
/proc/16247/task/16255/stat : 16255 (java) S 16245 16247 15720 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270825949 937721856 23957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.16
Current children cumulated vsize (KiB) 915744

[startup+12.6508 s]
/proc/loadavg: 2.00 1.99 1.99 3/100 16255
/proc/meminfo: memFree=1077952/2055920 swapFree=4191880/4192956
[pid=16247] ppid=16245 vsize=915744 CPUtime=12.61
/proc/16247/stat : 16247 (java) R 16245 16247 15720 0 -1 0 24235 0 1 0 1247 14 0 0 25 0 8 0 270825942 937721856 23968 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073825216 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16247/statm: 228936 23968 2182 14 0 215406 0
[pid=16247/tid=16249] ppid=16245 vsize=915744 CPUtime=0.1
/proc/16247/task/16249/stat : 16249 (java) S 16245 16247 15720 0 -1 64 7589 0 0 0 8 2 0 0 16 0 8 0 270825946 937721856 23968 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16247/tid=16250] ppid=16245 vsize=915744 CPUtime=0
/proc/16247/task/16250/stat : 16250 (java) S 16245 16247 15720 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270825946 937721856 23968 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16247/tid=16251] ppid=16245 vsize=915744 CPUtime=0
/proc/16247/task/16251/stat : 16251 (java) S 16245 16247 15720 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270825946 937721856 23968 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16247/tid=16252] ppid=16245 vsize=915744 CPUtime=0
/proc/16247/task/16252/stat : 16252 (java) S 16245 16247 15720 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270825949 937721856 23968 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16247/tid=16253] ppid=16245 vsize=915744 CPUtime=0.2
/proc/16247/task/16253/stat : 16253 (java) S 16245 16247 15720 0 -1 64 429 0 0 0 19 1 0 0 16 0 8 0 270825949 937721856 23968 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16247/tid=16254] ppid=16245 vsize=915744 CPUtime=0
/proc/16247/task/16254/stat : 16254 (java) S 16245 16247 15720 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270825949 937721856 23968 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16247/tid=16255] ppid=16245 vsize=915744 CPUtime=0
/proc/16247/task/16255/stat : 16255 (java) S 16245 16247 15720 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270825949 937721856 23968 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 915744

[startup+25.5184 s]
/proc/loadavg: 2.00 1.99 1.99 3/100 16255
/proc/meminfo: memFree=1069184/2055920 swapFree=4191880/4192956
[pid=16247] ppid=16245 vsize=915744 CPUtime=25.47
/proc/16247/stat : 16247 (java) R 16245 16247 15720 0 -1 0 26501 0 1 0 2530 17 0 0 25 0 8 0 270825942 937721856 26232 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073826466 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16247/statm: 228936 26232 2182 14 0 215406 0
[pid=16247/tid=16249] ppid=16245 vsize=915744 CPUtime=0.18
/proc/16247/task/16249/stat : 16249 (java) S 16245 16247 15720 0 -1 64 9847 0 0 0 14 4 0 0 16 0 8 0 270825946 937721856 26232 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16247/tid=16250] ppid=16245 vsize=915744 CPUtime=0
/proc/16247/task/16250/stat : 16250 (java) S 16245 16247 15720 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270825946 937721856 26232 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16247/tid=16251] ppid=16245 vsize=915744 CPUtime=0
/proc/16247/task/16251/stat : 16251 (java) S 16245 16247 15720 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270825946 937721856 26232 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16247/tid=16252] ppid=16245 vsize=915744 CPUtime=0
/proc/16247/task/16252/stat : 16252 (java) S 16245 16247 15720 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270825949 937721856 26232 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16247/tid=16253] ppid=16245 vsize=915744 CPUtime=0.21
/proc/16247/task/16253/stat : 16253 (java) S 16245 16247 15720 0 -1 64 434 0 0 0 20 1 0 0 16 0 8 0 270825949 937721856 26232 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16247/tid=16254] ppid=16245 vsize=915744 CPUtime=0
/proc/16247/task/16254/stat : 16254 (java) S 16245 16247 15720 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270825949 937721856 26232 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16247/tid=16255] ppid=16245 vsize=915744 CPUtime=0
/proc/16247/task/16255/stat : 16255 (java) S 16245 16247 15720 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270825949 937721856 26232 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 915744

[startup+51.1386 s]
/proc/loadavg: 2.00 1.99 1.99 3/100 16255
/proc/meminfo: memFree=1062976/2055920 swapFree=4191880/4192956
[pid=16247] ppid=16245 vsize=915744 CPUtime=51.08
/proc/16247/stat : 16247 (java) R 16245 16247 15720 0 -1 0 28066 0 1 0 5086 22 0 0 25 0 8 0 270825942 937721856 27794 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073825270 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16247/statm: 228936 27794 2182 14 0 215406 0
[pid=16247/tid=16249] ppid=16245 vsize=915744 CPUtime=0.25
/proc/16247/task/16249/stat : 16249 (java) S 16245 16247 15720 0 -1 64 11402 0 0 0 21 4 0 0 16 0 8 0 270825946 937721856 27794 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16247/tid=16250] ppid=16245 vsize=915744 CPUtime=0
/proc/16247/task/16250/stat : 16250 (java) S 16245 16247 15720 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270825946 937721856 27794 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16247/tid=16251] ppid=16245 vsize=915744 CPUtime=0
/proc/16247/task/16251/stat : 16251 (java) S 16245 16247 15720 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270825946 937721856 27794 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16247/tid=16252] ppid=16245 vsize=915744 CPUtime=0
/proc/16247/task/16252/stat : 16252 (java) S 16245 16247 15720 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270825949 937721856 27794 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16247/tid=16253] ppid=16245 vsize=915744 CPUtime=0.22
/proc/16247/task/16253/stat : 16253 (java) S 16245 16247 15720 0 -1 64 441 0 0 0 21 1 0 0 15 0 8 0 270825949 937721856 27794 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16247/tid=16254] ppid=16245 vsize=915744 CPUtime=0
/proc/16247/task/16254/stat : 16254 (java) S 16245 16247 15720 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270825949 937721856 27794 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16247/tid=16255] ppid=16245 vsize=915744 CPUtime=0
/proc/16247/task/16255/stat : 16255 (java) S 16245 16247 15720 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270825949 937721856 27794 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 915744

[startup+102.372 s]
/proc/loadavg: 2.05 2.01 1.99 3/100 16255
/proc/meminfo: memFree=1040000/2055920 swapFree=4191880/4192956
[pid=16247] ppid=16245 vsize=915744 CPUtime=102.2
/proc/16247/stat : 16247 (java) R 16245 16247 15720 0 -1 0 34142 0 1 0 10185 35 0 0 25 0 8 0 270825942 937721856 33864 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074011945 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16247/statm: 228936 33864 2501 14 0 215406 0
[pid=16247/tid=16249] ppid=16245 vsize=915744 CPUtime=0.67
/proc/16247/task/16249/stat : 16249 (java) S 16245 16247 15720 0 -1 64 17094 0 0 0 61 6 0 0 16 0 8 0 270825946 937721856 33864 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16247/tid=16250] ppid=16245 vsize=915744 CPUtime=0
/proc/16247/task/16250/stat : 16250 (java) S 16245 16247 15720 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270825946 937721856 33864 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16247/tid=16251] ppid=16245 vsize=915744 CPUtime=0
/proc/16247/task/16251/stat : 16251 (java) S 16245 16247 15720 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270825946 937721856 33864 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16247/tid=16252] ppid=16245 vsize=915744 CPUtime=0
/proc/16247/task/16252/stat : 16252 (java) S 16245 16247 15720 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270825949 937721856 33864 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16247/tid=16253] ppid=16245 vsize=915744 CPUtime=0.28
/proc/16247/task/16253/stat : 16253 (java) S 16245 16247 15720 0 -1 64 474 0 0 0 27 1 0 0 16 0 8 0 270825949 937721856 33864 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16247/tid=16254] ppid=16245 vsize=915744 CPUtime=0
/proc/16247/task/16254/stat : 16254 (java) S 16245 16247 15720 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270825949 937721856 33864 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16247/tid=16255] ppid=16245 vsize=915744 CPUtime=0
/proc/16247/task/16255/stat : 16255 (java) S 16245 16247 15720 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270825949 937721856 33864 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.2
Current children cumulated vsize (KiB) 915744

[startup+162.449 s]
/proc/loadavg: 2.02 2.00 1.99 3/100 16255
/proc/meminfo: memFree=1040000/2055920 swapFree=4191880/4192956
[pid=16247] ppid=16245 vsize=915744 CPUtime=162.21
/proc/16247/stat : 16247 (java) R 16245 16247 15720 0 -1 0 34144 0 1 0 16181 40 0 0 25 0 8 0 270825942 937721856 33866 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074026525 0 4 0 23759 18446744073709551615 0 0 17 0 0 0

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

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

[startup+2085.01 s]
/proc/loadavg: 2.00 2.02 2.00 3/100 16513
/proc/meminfo: memFree=1095232/2055920 swapFree=4191880/4192956
[pid=16247] ppid=16245 vsize=915980 CPUtime=2082.97
/proc/16247/stat : 16247 (java) R 16245 16247 15720 0 -1 0 51540 0 1 0 208194 103 0 0 25 0 8 0 270825942 937963520 51252 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073470032 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16247/statm: 228995 51252 2548 14 0 215465 0
[pid=16247/tid=16249] ppid=16245 vsize=915980 CPUtime=0.85
/proc/16247/task/16249/stat : 16249 (java) S 16245 16247 15720 0 -1 64 34248 0 0 0 73 12 0 0 16 0 8 0 270825946 937963520 51252 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16247/tid=16250] ppid=16245 vsize=915980 CPUtime=0
/proc/16247/task/16250/stat : 16250 (java) S 16245 16247 15720 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270825946 937963520 51252 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16247/tid=16251] ppid=16245 vsize=915980 CPUtime=0
/proc/16247/task/16251/stat : 16251 (java) S 16245 16247 15720 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270825946 937963520 51252 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16247/tid=16252] ppid=16245 vsize=915980 CPUtime=0
/proc/16247/task/16252/stat : 16252 (java) S 16245 16247 15720 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270825949 937963520 51252 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16247/tid=16253] ppid=16245 vsize=915980 CPUtime=0.4
/proc/16247/task/16253/stat : 16253 (java) S 16245 16247 15720 0 -1 64 605 0 0 0 38 2 0 0 16 0 8 0 270825949 937963520 51252 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16247/tid=16254] ppid=16245 vsize=915980 CPUtime=0
/proc/16247/task/16254/stat : 16254 (java) S 16245 16247 15720 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270825949 937963520 51252 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16247/tid=16255] ppid=16245 vsize=915980 CPUtime=0
/proc/16247/task/16255/stat : 16255 (java) S 16245 16247 15720 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270825949 937963520 51252 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2082.97
Current children cumulated vsize (KiB) 915980

[startup+2145.11 s]
/proc/loadavg: 2.00 2.02 2.00 3/100 16513
/proc/meminfo: memFree=1095168/2055920 swapFree=4191880/4192956
[pid=16247] ppid=16245 vsize=915980 CPUtime=2143.02
/proc/16247/stat : 16247 (java) R 16245 16247 15720 0 -1 0 51543 0 1 0 214199 103 0 0 25 0 8 0 270825942 937963520 51252 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073827188 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16247/statm: 228995 51252 2548 14 0 215465 0
[pid=16247/tid=16249] ppid=16245 vsize=915980 CPUtime=0.85
/proc/16247/task/16249/stat : 16249 (java) S 16245 16247 15720 0 -1 64 34248 0 0 0 73 12 0 0 16 0 8 0 270825946 937963520 51252 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16247/tid=16250] ppid=16245 vsize=915980 CPUtime=0
/proc/16247/task/16250/stat : 16250 (java) S 16245 16247 15720 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270825946 937963520 51252 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16247/tid=16251] ppid=16245 vsize=915980 CPUtime=0
/proc/16247/task/16251/stat : 16251 (java) S 16245 16247 15720 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270825946 937963520 51252 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16247/tid=16252] ppid=16245 vsize=915980 CPUtime=0
/proc/16247/task/16252/stat : 16252 (java) S 16245 16247 15720 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270825949 937963520 51252 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16247/tid=16253] ppid=16245 vsize=915980 CPUtime=0.41
/proc/16247/task/16253/stat : 16253 (java) S 16245 16247 15720 0 -1 64 606 0 0 0 39 2 0 0 16 0 8 0 270825949 937963520 51252 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16247/tid=16254] ppid=16245 vsize=915980 CPUtime=0
/proc/16247/task/16254/stat : 16254 (java) S 16245 16247 15720 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270825949 937963520 51252 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16247/tid=16255] ppid=16245 vsize=915980 CPUtime=0
/proc/16247/task/16255/stat : 16255 (java) S 16245 16247 15720 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270825949 937963520 51252 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2143.02
Current children cumulated vsize (KiB) 915980

[startup+2205.21 s]
/proc/loadavg: 2.08 2.03 2.01 3/100 16513
/proc/meminfo: memFree=1095232/2055920 swapFree=4191880/4192956
[pid=16247] ppid=16245 vsize=915980 CPUtime=2203.09
/proc/16247/stat : 16247 (java) R 16245 16247 15720 0 -1 0 51543 0 1 0 220206 103 0 0 25 0 8 0 270825942 937963520 51252 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073825244 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16247/statm: 228995 51252 2548 14 0 215465 0
[pid=16247/tid=16249] ppid=16245 vsize=915980 CPUtime=0.85
/proc/16247/task/16249/stat : 16249 (java) S 16245 16247 15720 0 -1 64 34248 0 0 0 73 12 0 0 16 0 8 0 270825946 937963520 51252 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16247/tid=16250] ppid=16245 vsize=915980 CPUtime=0
/proc/16247/task/16250/stat : 16250 (java) S 16245 16247 15720 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270825946 937963520 51252 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16247/tid=16251] ppid=16245 vsize=915980 CPUtime=0
/proc/16247/task/16251/stat : 16251 (java) S 16245 16247 15720 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270825946 937963520 51252 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16247/tid=16252] ppid=16245 vsize=915980 CPUtime=0
/proc/16247/task/16252/stat : 16252 (java) S 16245 16247 15720 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270825949 937963520 51252 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16247/tid=16253] ppid=16245 vsize=915980 CPUtime=0.41
/proc/16247/task/16253/stat : 16253 (java) S 16245 16247 15720 0 -1 64 606 0 0 0 39 2 0 0 16 0 8 0 270825949 937963520 51252 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16247/tid=16254] ppid=16245 vsize=915980 CPUtime=0
/proc/16247/task/16254/stat : 16254 (java) S 16245 16247 15720 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270825949 937963520 51252 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16247/tid=16255] ppid=16245 vsize=915980 CPUtime=0
/proc/16247/task/16255/stat : 16255 (java) S 16245 16247 15720 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270825949 937963520 51252 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2203.09
Current children cumulated vsize (KiB) 915980

[startup+2265.31 s]
/proc/loadavg: 2.03 2.02 2.00 3/100 16513
/proc/meminfo: memFree=1095168/2055920 swapFree=4191880/4192956
[pid=16247] ppid=16245 vsize=915980 CPUtime=2263.12
/proc/16247/stat : 16247 (java) R 16245 16247 15720 0 -1 0 51543 0 1 0 226209 103 0 0 25 0 8 0 270825942 937963520 51252 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074344632 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16247/statm: 228995 51252 2548 14 0 215465 0
[pid=16247/tid=16249] ppid=16245 vsize=915980 CPUtime=0.85
/proc/16247/task/16249/stat : 16249 (java) S 16245 16247 15720 0 -1 64 34248 0 0 0 73 12 0 0 16 0 8 0 270825946 937963520 51252 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16247/tid=16250] ppid=16245 vsize=915980 CPUtime=0
/proc/16247/task/16250/stat : 16250 (java) S 16245 16247 15720 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270825946 937963520 51252 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16247/tid=16251] ppid=16245 vsize=915980 CPUtime=0
/proc/16247/task/16251/stat : 16251 (java) S 16245 16247 15720 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270825946 937963520 51252 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16247/tid=16252] ppid=16245 vsize=915980 CPUtime=0
/proc/16247/task/16252/stat : 16252 (java) S 16245 16247 15720 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270825949 937963520 51252 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16247/tid=16253] ppid=16245 vsize=915980 CPUtime=0.41
/proc/16247/task/16253/stat : 16253 (java) S 16245 16247 15720 0 -1 64 606 0 0 0 39 2 0 0 16 0 8 0 270825949 937963520 51252 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16247/tid=16254] ppid=16245 vsize=915980 CPUtime=0
/proc/16247/task/16254/stat : 16254 (java) S 16245 16247 15720 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270825949 937963520 51252 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16247/tid=16255] ppid=16245 vsize=915980 CPUtime=0
/proc/16247/task/16255/stat : 16255 (java) S 16245 16247 15720 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270825949 937963520 51252 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2263.12
Current children cumulated vsize (KiB) 915980

[startup+2325.41 s]
/proc/loadavg: 2.01 2.02 2.00 3/100 16513
/proc/meminfo: memFree=1095168/2055920 swapFree=4191880/4192956
[pid=16247] ppid=16245 vsize=915980 CPUtime=2323.18
/proc/16247/stat : 16247 (java) R 16245 16247 15720 0 -1 0 51544 0 1 0 232214 104 0 0 25 0 8 0 270825942 937963520 51252 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073825270 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16247/statm: 228995 51252 2548 14 0 215465 0
[pid=16247/tid=16249] ppid=16245 vsize=915980 CPUtime=0.85
/proc/16247/task/16249/stat : 16249 (java) S 16245 16247 15720 0 -1 64 34248 0 0 0 73 12 0 0 16 0 8 0 270825946 937963520 51252 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16247/tid=16250] ppid=16245 vsize=915980 CPUtime=0
/proc/16247/task/16250/stat : 16250 (java) S 16245 16247 15720 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270825946 937963520 51252 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16247/tid=16251] ppid=16245 vsize=915980 CPUtime=0
/proc/16247/task/16251/stat : 16251 (java) S 16245 16247 15720 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270825946 937963520 51252 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16247/tid=16252] ppid=16245 vsize=915980 CPUtime=0
/proc/16247/task/16252/stat : 16252 (java) S 16245 16247 15720 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270825949 937963520 51252 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16247/tid=16253] ppid=16245 vsize=915980 CPUtime=0.41
/proc/16247/task/16253/stat : 16253 (java) S 16245 16247 15720 0 -1 64 607 0 0 0 39 2 0 0 16 0 8 0 270825949 937963520 51252 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16247/tid=16254] ppid=16245 vsize=915980 CPUtime=0
/proc/16247/task/16254/stat : 16254 (java) S 16245 16247 15720 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270825949 937963520 51252 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16247/tid=16255] ppid=16245 vsize=915980 CPUtime=0
/proc/16247/task/16255/stat : 16255 (java) S 16245 16247 15720 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270825949 937963520 51252 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2323.18
Current children cumulated vsize (KiB) 915980

[startup+2385.5 s]
/proc/loadavg: 2.00 2.01 2.00 3/100 16513
/proc/meminfo: memFree=1095168/2055920 swapFree=4191880/4192956
[pid=16247] ppid=16245 vsize=915980 CPUtime=2383.25
/proc/16247/stat : 16247 (java) R 16245 16247 15720 0 -1 0 51544 0 1 0 238221 104 0 0 25 0 8 0 270825942 937963520 51252 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074292358 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16247/statm: 228995 51252 2548 14 0 215465 0
[pid=16247/tid=16249] ppid=16245 vsize=915980 CPUtime=0.85
/proc/16247/task/16249/stat : 16249 (java) S 16245 16247 15720 0 -1 64 34248 0 0 0 73 12 0 0 16 0 8 0 270825946 937963520 51252 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16247/tid=16250] ppid=16245 vsize=915980 CPUtime=0
/proc/16247/task/16250/stat : 16250 (java) S 16245 16247 15720 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270825946 937963520 51252 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16247/tid=16251] ppid=16245 vsize=915980 CPUtime=0
/proc/16247/task/16251/stat : 16251 (java) S 16245 16247 15720 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270825946 937963520 51252 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16247/tid=16252] ppid=16245 vsize=915980 CPUtime=0
/proc/16247/task/16252/stat : 16252 (java) S 16245 16247 15720 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270825949 937963520 51252 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16247/tid=16253] ppid=16245 vsize=915980 CPUtime=0.41
/proc/16247/task/16253/stat : 16253 (java) S 16245 16247 15720 0 -1 64 607 0 0 0 39 2 0 0 16 0 8 0 270825949 937963520 51252 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16247/tid=16254] ppid=16245 vsize=915980 CPUtime=0
/proc/16247/task/16254/stat : 16254 (java) S 16245 16247 15720 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270825949 937963520 51252 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16247/tid=16255] ppid=16245 vsize=915980 CPUtime=0
/proc/16247/task/16255/stat : 16255 (java) S 16245 16247 15720 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270825949 937963520 51252 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2383.25
Current children cumulated vsize (KiB) 915980



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2402.28 s]
/proc/loadavg: 2.00 2.01 2.00 3/100 16513
/proc/meminfo: memFree=1095168/2055920 swapFree=4191880/4192956
[pid=16247] ppid=16245 vsize=915980 CPUtime=2400
/proc/16247/stat : 16247 (java) R 16245 16247 15720 0 -1 0 51544 0 1 0 239896 104 0 0 25 0 8 0 270825942 937963520 51252 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074317846 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16247/statm: 228995 51252 2548 14 0 215465 0
[pid=16247/tid=16249] ppid=16245 vsize=915980 CPUtime=0.85
/proc/16247/task/16249/stat : 16249 (java) S 16245 16247 15720 0 -1 64 34248 0 0 0 73 12 0 0 16 0 8 0 270825946 937963520 51252 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16247/tid=16250] ppid=16245 vsize=915980 CPUtime=0
/proc/16247/task/16250/stat : 16250 (java) S 16245 16247 15720 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270825946 937963520 51252 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16247/tid=16251] ppid=16245 vsize=915980 CPUtime=0
/proc/16247/task/16251/stat : 16251 (java) S 16245 16247 15720 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270825946 937963520 51252 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16247/tid=16252] ppid=16245 vsize=915980 CPUtime=0
/proc/16247/task/16252/stat : 16252 (java) S 16245 16247 15720 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270825949 937963520 51252 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16247/tid=16253] ppid=16245 vsize=915980 CPUtime=0.41
/proc/16247/task/16253/stat : 16253 (java) S 16245 16247 15720 0 -1 64 607 0 0 0 39 2 0 0 16 0 8 0 270825949 937963520 51252 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16247/tid=16254] ppid=16245 vsize=915980 CPUtime=0
/proc/16247/task/16254/stat : 16254 (java) S 16245 16247 15720 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270825949 937963520 51252 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16247/tid=16255] ppid=16245 vsize=915980 CPUtime=0
/proc/16247/task/16255/stat : 16255 (java) S 16245 16247 15720 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270825949 937963520 51252 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2400
Current children cumulated vsize (KiB) 915980

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

Child status: 143
Real time (s): 2402.38
CPU time (s): 2400.1
CPU user time (s): 2399.03
CPU system time (s): 1.07384
CPU usage (%): 99.9053
Max. virtual memory (cumulated for all children) (KiB): 915980

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.03
system time used= 1.07384
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 51569
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= 50509
involuntary context switches= 75400

runsolver used 3.23451 s user time and 7.64884 s system time

The end

Launcher Data (download as text)

Begin job on node16 on Fri Jan 19 16:31:51 UTC 2007


IDJOB= 275634
IDBENCH= 4184
IDSOLVER= 69
FILE ID= node16/275634-1169224311

PBS_JOBID= 3588948

Free space on /tmp= 66553 MiB

SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/fapp/fapp36-40/fapp36/fapp36-2000-1.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/275634-1169224311/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node16/watcher-275634-1169224311 -o ROOT/results/node16/solver-275634-1169224311 -C 2400 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/275634-1169224311/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  74504524e8a319c1310e9487cb947f0c

RANDOM SEED= 559849282

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.220
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.220
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:       1166104 kB
Buffers:         42976 kB
Cached:         548900 kB
SwapCached:        268 kB
Active:         428084 kB
Inactive:       387960 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1166104 kB
SwapTotal:     4192956 kB
SwapFree:      4191880 kB
Dirty:            4244 kB
Writeback:           0 kB
Mapped:         252652 kB
Slab:            58180 kB
Committed_AS:  8062712 kB
PageTables:       2748 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= 66558 MiB



End job on node16 on Fri Jan 19 17:11:53 UTC 2007