Trace number 275633

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
AbsconMax 109 EPFCMSAT (TO) 2400.18 2408.21

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.31	   
0.31	Abscon 109 (November, 2006)
0.31	   
0.31	   configuration
0.31	     name=epfc.xml
0.35	   
0.35	   instance
0.35	     name=/tmp/evaluation/275633-1169224283/unknown.xml
0.38	   
0.38	   domains being loaded...
0.42	   
0.42	   variables being loaded...
0.71	     nbVariables=2000  nbDomainTypes=26  minDomainSize=46  maxDomainSize=454
0.71	       =>  wckTime=0.393  cpuTime=0.28  mem=34M228
0.71	   
0.71	   predicates being loaded...
0.71	   
0.71	   constraints being loaded...
61.26	   
61.26	   INFO : Stopping converting binary constraints (cpu=60.07, mem = 63M317)
62.71	     nbConstraints=18600  nbConvertedConstraints=1977  nbConvertConstraintsChecks=192985910  nbExtensionStructures=1593
62.71	     nbSharedExtensionStructures=384  nbConflictsStructures=1593  nbSharedConflictsStructures=384
62.71	     nbSharedBinaryRepresentations=1059107  nbEvaluationManagers=8067  nbSharedEvaluationManagers=8556  maxDegree=25
62.71	     maxArity=2
62.71	       =>  wckTime=62.398  cpuTime=61.24  mem=72M555
62.96	   
62.96	   solver LocalSearchSolver being built... 
63.00	       =>  wckTime=62.685  cpuTime=61.29  mem=62M622
63.15	
63.15	s SATISFIABLE
63.15	o 13225
63.15	c 5375
63.24	o 13234
63.24	c 5366
63.32	o 13238
63.32	c 5362
63.40	o 13242
63.40	c 5358
63.45	o 13244
63.45	c 5356
63.50	o 13246
63.50	c 5354
63.54	o 13247
63.54	c 5353
63.58	o 13254
63.58	c 5346
63.62	o 13260
63.62	c 5340
63.66	o 13266
63.66	c 5334
63.71	o 13271
63.71	c 5329
63.76	o 13276
63.76	c 5324
63.80	o 13281
63.80	c 5319
63.84	o 13285
63.84	c 5315
63.87	o 13289
63.87	c 5311
63.91	o 13293
63.91	c 5307
63.96	o 13296
63.96	c 5304
63.99	o 13299
63.99	c 5301
64.03	o 13302
64.03	c 5298
64.05	o 13305
64.05	c 5295
64.08	o 13308
64.08	c 5292
64.12	o 13310
64.12	c 5290
64.15	o 13312
64.15	c 5288
64.19	o 13314
64.19	c 5286
64.20	o 13316
64.20	c 5284
64.22	o 13317
64.22	c 5283
64.25	o 13318
64.25	c 5282
64.28	o 13319
64.28	c 5281
64.30	o 13320
64.30	c 5280
64.32	o 13321
64.32	c 5279
64.36	o 13325
64.36	c 5275
64.41	o 13331
64.41	c 5269
64.46	o 13336
64.47	c 5264
64.52	o 13341
64.52	c 5259
64.57	o 13346
64.57	c 5254
64.61	o 13351
64.61	c 5249
64.66	o 13355
64.66	c 5245
64.70	o 13359
64.70	c 5241
64.74	o 13363
64.74	c 5237
64.79	o 13367
64.79	c 5233
64.83	o 13370
64.83	c 5230
64.87	o 13373
64.87	c 5227
64.92	o 13376
64.92	c 5224
64.97	o 13379
64.97	c 5221
65.00	o 13382
65.00	c 5218
65.05	o 13385
65.05	c 5215
65.10	o 13388
65.10	c 5212
65.14	o 13390
65.14	c 5210
65.19	o 13392
65.19	c 5208
65.24	o 13394
65.24	c 5206
65.28	o 13396
65.28	c 5204
65.33	o 13398
65.33	c 5202
65.37	o 13400
65.37	c 5200
65.40	o 13402
65.40	c 5198
65.42	o 13404
65.42	c 5196
65.45	o 13406
65.45	c 5194
65.47	o 13408
65.47	c 5192
65.49	o 13409
65.49	c 5191
65.51	o 13410
65.51	c 5190
65.53	o 13411
65.53	c 5189
65.55	o 13412
65.55	c 5188
65.59	o 13413
65.59	c 5187
65.60	o 13414
65.60	c 5186
65.63	o 13415
65.63	c 5185
65.66	o 13416
65.66	c 5184
65.72	o 13423
65.72	c 5177
65.78	o 13428
65.78	c 5172
65.84	o 13431
65.84	c 5169
65.89	o 13436
65.89	c 5164
65.95	o 13441
65.95	c 5159
66.01	o 13445
66.01	c 5155
66.07	o 13449
66.07	c 5151
66.13	o 13452
66.13	c 5148
66.18	o 13455
66.18	c 5145
66.24	o 13458
66.24	c 5142
66.30	o 13461
66.30	c 5139
66.35	o 13464
66.35	c 5136
66.41	o 13467
66.41	c 5133
66.45	o 13470
66.45	c 5130
66.50	o 13473
66.50	c 5127
66.55	o 13476
66.55	c 5124
66.59	o 13479
66.59	c 5121
66.64	o 13482
66.64	c 5118
66.68	o 13484
66.68	c 5116
66.72	o 13486
66.72	c 5114
66.76	o 13488
66.77	c 5112
66.81	o 13490
66.81	c 5110
66.84	o 13492
66.84	c 5108
66.88	o 13494
66.88	c 5106
66.91	o 13496
66.91	c 5104
66.94	o 13498
66.94	c 5102
66.98	o 13500
66.98	c 5100
67.02	o 13502
67.02	c 5098
67.07	o 13506
67.07	c 5094
67.09	o 13510
67.09	c 5090
67.12	o 13512
67.12	c 5088
67.15	o 13514
67.15	c 5086
67.18	o 13515
67.18	c 5085
67.21	o 13516
67.21	c 5084
67.24	o 13517
67.24	c 5083
67.26	o 13518
67.26	c 5082
67.29	o 13519
67.29	c 5081
67.33	o 13520
67.33	c 5080
67.37	o 13525
67.37	c 5075
67.39	o 13532
67.39	c 5068
67.41	o 13534
67.41	c 5066
67.44	o 13535
67.44	c 5065
67.46	o 13542
67.46	c 5058
67.50	o 13547
67.50	c 5053
67.52	o 13551
67.52	c 5049
67.55	o 13553
67.55	c 5047
67.58	o 13556
67.58	c 5044
67.61	o 13559
67.61	c 5041
67.63	o 13566
67.63	c 5034
67.66	o 13572
67.66	c 5028
67.69	o 13577
67.69	c 5023
67.72	o 13580
67.72	c 5020
67.76	o 13583
67.76	c 5017
67.79	o 13587
67.79	c 5013
67.84	o 13588
67.84	c 5012
67.87	o 13589
67.87	c 5011
67.91	o 13594
67.91	c 5006
67.95	o 13598
67.95	c 5002
67.99	o 13602
67.99	c 4998
68.02	o 13604
68.02	c 4996
68.06	o 13606
68.06	c 4994
68.10	o 13609
68.10	c 4991
68.12	o 13610
68.12	c 4990
68.14	o 13613
68.14	c 4987
68.18	o 13618
68.18	c 4982
68.22	o 13620
68.22	c 4980
68.24	o 13622
68.24	c 4978
68.26	o 13626
68.26	c 4974
68.38	o 13632
68.38	c 4968
68.46	o 13638
68.46	c 4962
68.54	o 13644
68.54	c 4956
68.63	o 13650
68.63	c 4950
68.70	o 13655
68.70	c 4945
68.77	o 13660
68.77	c 4940
68.84	o 13665
68.84	c 4935
68.91	o 13670
68.91	c 4930
68.99	o 13675
68.99	c 4925
69.06	o 13680
69.06	c 4920
69.15	o 13684
69.15	c 4916
69.22	o 13688
69.22	c 4912
69.29	o 13692
69.29	c 4908
69.37	o 13696
69.37	c 4904
69.44	o 13700
69.44	c 4900
69.52	o 13703
69.52	c 4897
69.58	o 13706
69.58	c 4894
69.65	o 13709
69.65	c 4891
69.71	o 13712
69.71	c 4888
69.76	o 13715
69.76	c 4885
69.82	o 13718
69.82	c 4882
69.87	o 13721
69.87	c 4879
69.91	o 13725
69.91	c 4875
69.97	o 13730
69.97	c 4870
70.06	o 13733
70.06	c 4867
70.11	o 13735
70.11	c 4865
70.15	o 13737
70.15	c 4863
70.19	o 13739
70.19	c 4861
70.24	o 13741
70.24	c 4859
70.28	o 13743
70.28	c 4857
70.32	o 13745
70.32	c 4855
70.36	o 13747
70.36	c 4853
70.39	o 13749
70.39	c 4851
70.43	o 13751
70.43	c 4849
70.47	o 13753
70.47	c 4847
70.50	o 13755
70.50	c 4845
70.54	o 13756
70.54	c 4844
70.57	o 13757
70.57	c 4843
70.60	o 13758
70.60	c 4842
70.64	o 13759
70.64	c 4841
70.68	o 13760
70.68	c 4840
70.72	o 13761
70.72	c 4839
70.75	o 13768
70.75	c 4832
70.78	o 13769
70.78	c 4831
70.80	o 13770
70.80	c 4830
70.84	o 13771
70.84	c 4829
70.87	o 13772
70.87	c 4828
70.89	o 13773
70.89	c 4827
70.98	o 13774
70.98	c 4826
71.01	o 13779
71.01	c 4821
71.02	o 13784
71.02	c 4816
71.04	o 13785
71.04	c 4815
71.10	o 13789
71.10	c 4811
71.12	o 13792
71.12	c 4808
71.14	o 13795
71.14	c 4805
71.18	o 13799
71.18	c 4801
71.21	o 13801
71.21	c 4799
71.23	o 13803
71.23	c 4797
71.26	o 13810
71.26	c 4790
71.28	o 13815
71.28	c 4785
71.32	o 13821
71.32	c 4779
71.37	o 13822
71.37	c 4778
71.40	o 13823
71.40	c 4777
71.44	o 13826
71.44	c 4774
71.47	o 13831
71.47	c 4769
71.54	o 13836
71.54	c 4764
71.57	o 13838
71.57	c 4762
71.61	o 13843
71.61	c 4757
71.65	o 13850
71.65	c 4750
71.70	o 13851
71.70	c 4749
71.75	o 13852
71.75	c 4748
71.79	o 13860
71.79	c 4740
71.83	o 13861
71.83	c 4739
71.88	o 13864
71.88	c 4736
71.91	o 13866
71.91	c 4734
71.95	o 13869
71.95	c 4731
71.99	o 13870
71.99	c 4730
72.04	o 13871
72.04	c 4729
72.08	o 13874
72.08	c 4726
72.11	o 13875
72.11	c 4725
72.14	o 13878
72.14	c 4722
72.25	o 13879
72.25	c 4721
72.29	o 13882
72.29	c 4718
72.33	o 13885
72.33	c 4715
72.36	o 13886
72.36	c 4714
72.44	o 13890
72.44	c 4710
72.47	o 13892
72.47	c 4708
72.55	o 13893
72.55	c 4707
72.63	o 13894
72.63	c 4706
72.67	o 13897
72.67	c 4703
72.73	o 13899
72.73	c 4701
72.79	o 13906
72.79	c 4694
72.85	o 13913
72.85	c 4687
72.93	o 13919
72.93	c 4681
73.02	o 13925
73.02	c 4675
73.11	o 13926
73.11	c 4674
73.20	o 13932
73.20	c 4668
73.27	o 13933
73.27	c 4667
73.39	o 13935
73.39	c 4665
73.43	o 13936
73.43	c 4664
73.51	o 13942
73.51	c 4658
73.59	o 13948
73.59	c 4652
73.69	o 13953
73.69	c 4647
73.78	o 13955
73.78	c 4645
73.86	o 13960
73.86	c 4640
73.94	o 13965
73.94	c 4635
74.02	o 13969
74.02	c 4631
74.12	o 13973
74.12	c 4627
74.20	o 13977
74.20	c 4623
74.28	o 13981
74.28	c 4619
74.36	o 13985
74.36	c 4615
74.45	o 13988
74.45	c 4612
74.53	o 13991
74.53	c 4609
74.61	o 13994
74.61	c 4606
74.69	o 13997
74.69	c 4603
74.78	o 14000
74.78	c 4600
74.87	o 14003
74.87	c 4597
74.94	o 14006
74.94	c 4594
75.02	o 14009
75.02	c 4591
75.10	o 14012
75.10	c 4588
75.17	o 14015
75.17	c 4585
75.24	o 14017
75.24	c 4583
75.30	o 14019
75.30	c 4581
75.37	o 14023
75.37	c 4577
75.44	o 14025
75.44	c 4575
75.50	o 14027
75.50	c 4573
75.57	o 14029
75.57	c 4571
75.65	o 14031
75.65	c 4569
75.72	o 14033
75.72	c 4567
75.77	o 14035
75.77	c 4565
75.83	o 14037
75.83	c 4563
75.89	o 14039
75.89	c 4561
75.95	o 14041
75.95	c 4559
76.01	o 14043
76.01	c 4557
76.08	o 14044
76.08	c 4556
76.13	o 14045
76.13	c 4555
76.19	o 14046
76.19	c 4554
76.25	o 14047
76.25	c 4553
76.30	o 14048
76.30	c 4552
76.36	o 14049
76.36	c 4551
76.40	o 14050
76.40	c 4550
76.50	o 14054
76.50	c 4546
76.83	o 14055
76.83	c 4545
76.88	o 14060
76.88	c 4540
76.93	o 14067
76.93	c 4533
76.98	o 14073
76.98	c 4527
77.03	o 14074
77.03	c 4526
77.08	o 14081
77.08	c 4519
77.12	o 14085
77.12	c 4515
77.16	o 14091
77.16	c 4509
77.29	o 14096
77.29	c 4504
77.40	o 14097
77.40	c 4503
77.45	o 14099
77.45	c 4501
77.50	o 14102
77.50	c 4498
77.79	o 14106
77.79	c 4494
77.83	o 14108
77.83	c 4492
77.87	o 14110
77.87	c 4490
77.91	o 14112
77.91	c 4488
77.95	o 14115
77.95	c 4485
77.99	o 14119
77.99	c 4481
78.04	o 14121
78.04	c 4479
78.09	o 14123
78.09	c 4477
78.13	o 14125
78.13	c 4475
78.18	o 14128
78.18	c 4472
78.32	o 14129
78.33	c 4471
78.38	o 14132
78.38	c 4468
78.42	o 14134
78.42	c 4466
78.46	o 14136
78.46	c 4464
78.51	o 14140
78.51	c 4460
78.55	o 14143
78.55	c 4457
78.59	o 14144
78.60	c 4456
78.63	o 14147
78.63	c 4453
78.67	o 14148
78.67	c 4452
78.71	o 14150
78.71	c 4450
78.75	o 14154
78.75	c 4446
78.79	o 14157
78.79	c 4443
78.83	o 14158
78.83	c 4442
78.87	o 14160
78.87	c 4440
78.91	o 14162
78.91	c 4438
78.95	o 14167
78.95	c 4433
79.00	o 14168
79.00	c 4432
79.04	o 14171
79.04	c 4429
79.08	o 14172
79.08	c 4428
79.17	o 14173
79.17	c 4427
79.25	o 14177
79.25	c 4423
79.32	o 14178
79.32	c 4422
79.36	o 14181
79.36	c 4419
79.43	o 14184
79.43	c 4416
79.47	o 14186
79.47	c 4414
79.50	o 14187
79.50	c 4413
79.54	o 14189
79.54	c 4411
79.58	o 14191
79.58	c 4409
79.62	o 14194
79.62	c 4406
79.66	o 14195
79.66	c 4405
79.70	o 14200
79.70	c 4400
79.74	o 14202
79.74	c 4398
79.79	o 14207
79.79	c 4393
79.84	o 14211
79.84	c 4389
79.89	o 14217
79.89	c 4383
79.93	o 14220
79.93	c 4380
79.97	o 14221
79.97	c 4379
80.00	o 14224
80.00	c 4376
80.05	o 14228
80.05	c 4372
80.09	o 14229
80.09	c 4371
80.15	o 14234
80.15	c 4366
80.20	o 14238
80.20	c 4362
80.24	o 14242
80.25	c 4358
80.29	o 14243
80.29	c 4357
80.34	o 14246
80.34	c 4354
80.43	o 14250
80.43	c 4350
80.48	o 14252
80.48	c 4348
80.52	o 14254
80.52	c 4346
80.57	o 14257
80.57	c 4343
80.62	o 14258
80.62	c 4342
80.66	o 14259
80.66	c 4341
80.71	o 14261
80.71	c 4339
80.75	o 14264
80.75	c 4336
80.80	o 14265
80.80	c 4335
80.86	o 14267
80.86	c 4333
81.03	o 14268
81.03	c 4332
81.18	o 14269
81.18	c 4331
81.25	o 14274
81.25	c 4326
81.32	o 14278
81.32	c 4322
81.40	o 14282
81.40	c 4318
81.46	o 14286
81.46	c 4314
81.53	o 14290
81.53	c 4310
81.60	o 14294
81.60	c 4306
81.68	o 14298
81.68	c 4302
81.75	o 14302
81.75	c 4298
81.82	o 14306
81.82	c 4294
81.89	o 14309
81.89	c 4291
81.99	o 14312
82.00	c 4288
82.06	o 14316
82.06	c 4284
82.13	o 14319
82.13	c 4281
82.19	o 14322
82.19	c 4278
82.26	o 14324
82.26	c 4276
82.38	o 14326
82.38	c 4274
82.44	o 14327
82.44	c 4273
82.50	o 14329
82.50	c 4271
82.55	o 14331
82.55	c 4269
82.60	o 14332
82.60	c 4268
82.66	o 14334
82.66	c 4266
82.71	o 14335
82.71	c 4265
82.76	o 14338
82.76	c 4262
82.81	o 14341
82.81	c 4259
82.87	o 14345
82.87	c 4255
82.92	o 14346
82.92	c 4254
82.98	o 14347
82.98	c 4253
83.03	o 14348
83.03	c 4252
83.08	o 14349
83.08	c 4251
83.13	o 14350
83.13	c 4250
83.17	o 14351
83.17	c 4249
83.21	o 14352
83.21	c 4248
83.46	o 14354
83.46	c 4246
83.52	o 14358
83.52	c 4242
83.55	o 14359
83.55	c 4241
83.60	o 14360
83.60	c 4240
83.69	o 14362
83.69	c 4238
83.74	o 14364
83.74	c 4236
83.84	o 14368
83.84	c 4232
83.90	o 14373
83.90	c 4227
83.95	o 14377
83.95	c 4223
84.04	o 14383
84.04	c 4217
84.09	o 14384
84.09	c 4216
84.14	o 14386
84.14	c 4214
84.20	o 14388
84.20	c 4212
84.25	o 14391
84.25	c 4209
84.34	o 14394
84.34	c 4206
84.39	o 14395
84.39	c 4205
84.43	o 14397
84.43	c 4203
84.48	o 14398
84.48	c 4202
84.54	o 14399
84.54	c 4201
84.63	o 14403
84.63	c 4197
84.67	o 14405
84.67	c 4195
84.71	o 14408
84.71	c 4192
84.76	o 14411
84.76	c 4189
84.86	o 14412
84.86	c 4188
84.91	o 14417
84.91	c 4183
84.97	o 14420
84.97	c 4180
85.07	o 14421
85.07	c 4179
85.12	o 14423
85.12	c 4177
85.17	o 14424
85.17	c 4176
85.22	o 14426
85.22	c 4174
85.38	o 14432
85.38	c 4168
85.44	o 14435
85.44	c 4165
85.49	o 14436
85.49	c 4164
85.55	o 14438
85.55	c 4162
85.62	o 14439
85.62	c 4161
85.67	o 14440
85.67	c 4160
85.72	o 14442
85.72	c 4158
85.77	o 14444
85.77	c 4156
85.84	o 14446
85.84	c 4154
85.97	o 14447
85.97	c 4153
86.04	o 14450
86.04	c 4150
86.12	o 14451
86.12	c 4149
86.19	o 14453
86.19	c 4147
86.27	o 14455
86.27	c 4145
86.34	o 14457
86.34	c 4143
86.41	o 14460
86.41	c 4140
86.92	o 14461
86.92	c 4139
87.00	o 14466
87.00	c 4134
87.40	o 14468
87.40	c 4132
87.48	o 14469
87.48	c 4131
87.56	o 14471
87.56	c 4129
87.65	o 14475
87.65	c 4125
87.74	o 14476
87.74	c 4124
87.82	o 14478
87.82	c 4122
87.89	o 14480
87.89	c 4120
87.98	o 14483
87.98	c 4117
88.13	o 14485
88.13	c 4115
88.30	o 14486
88.30	c 4114
88.39	o 14488
88.39	c 4112
88.47	o 14489
88.47	c 4111
88.55	o 14492
88.55	c 4108
88.64	o 14493
88.64	c 4107
88.73	o 14494
88.73	c 4106
88.80	o 14498
88.80	c 4102
88.88	o 14499
88.88	c 4101
88.96	o 14500
88.96	c 4100
89.07	o 14501
89.07	c 4099
89.33	o 14502
89.33	c 4098
89.41	o 14505
89.41	c 4095
89.50	o 14511
89.50	c 4089
89.58	o 14512
89.58	c 4088
89.66	o 14513
89.66	c 4087
89.74	o 14514
89.74	c 4086
89.84	o 14515
89.84	c 4085
90.10	o 14516
90.10	c 4084
90.18	o 14521
90.18	c 4079
90.27	o 14525
90.27	c 4075
90.35	o 14526
90.35	c 4074
90.47	o 14527
90.47	c 4073
90.59	o 14532
90.59	c 4068
90.75	o 14536
90.75	c 4064
90.90	o 14539
90.90	c 4061
91.04	o 14542
91.04	c 4058
91.18	o 14544
91.18	c 4056
91.32	o 14547
91.32	c 4053
91.47	o 14550
91.47	c 4050
91.61	o 14552
91.61	c 4048
91.75	o 14555
91.75	c 4045
91.88	o 14557
91.88	c 4043
92.06	o 14563
92.06	c 4037
92.19	o 14565
92.19	c 4035
92.31	o 14567
92.31	c 4033
92.43	o 14569
92.43	c 4031
92.55	o 14571
92.55	c 4029
92.67	o 14573
92.67	c 4027
92.78	o 14574
92.78	c 4026
92.91	o 14576
92.91	c 4024
93.02	o 14579
93.02	c 4021
93.13	o 14581
93.13	c 4019
93.24	o 14583
93.24	c 4017
93.35	o 14584
93.35	c 4016
93.78	o 14585
93.78	c 4015
93.89	o 14586
93.89	c 4014
94.00	o 14587
94.00	c 4013
94.11	o 14590
94.11	c 4010
94.22	o 14591
94.22	c 4009
94.33	o 14592
94.33	c 4008
94.43	o 14593
94.43	c 4007
94.53	o 14594
94.53	c 4006
94.63	o 14595
94.63	c 4005
94.73	o 14596
94.73	c 4004
94.84	o 14597
94.84	c 4003
94.94	o 14598
94.94	c 4002
95.04	o 14599
95.04	c 4001
95.14	o 14600
95.14	c 4000
95.52	o 14602
95.52	c 3998
95.77	o 14603
95.77	c 3997
95.94	o 14604
95.94	c 3996
96.02	o 14605
96.02	c 3995
96.10	o 14608
96.10	c 3992
96.34	o 14611
96.34	c 3989
96.44	o 14614
96.44	c 3986
96.54	o 14615
96.54	c 3985
96.63	o 14620
96.63	c 3980
96.72	o 14624
96.72	c 3976
96.82	o 14627
96.82	c 3973
96.90	o 14631
96.90	c 3969
96.98	o 14632
96.98	c 3968
97.16	o 14633
97.16	c 3967
97.25	o 14634
97.25	c 3966
97.35	o 14635
97.35	c 3965
97.44	o 14638
97.44	c 3962
97.61	o 14640
97.61	c 3960
97.70	o 14643
97.70	c 3957
97.99	o 14645
97.99	c 3955
98.07	o 14647
98.07	c 3953
98.16	o 14648
98.16	c 3952
98.24	o 14650
98.24	c 3950
98.33	o 14652
98.33	c 3948
98.54	o 14655
98.54	c 3945
98.62	o 14656
98.62	c 3944
98.79	o 14659
98.79	c 3941
98.87	o 14663
98.87	c 3937
98.94	o 14664
98.94	c 3936
99.03	o 14665
99.03	c 3935
99.20	o 14667
99.20	c 3933
99.28	o 14671
99.28	c 3929
99.37	o 14674
99.37	c 3926
99.46	o 14677
99.46	c 3923
99.56	o 14679
99.56	c 3921
99.64	o 14680
99.64	c 3920
99.75	o 14681
99.75	c 3919
99.84	o 14685
99.84	c 3915
99.93	o 14690
99.93	c 3910
100.02	o 14692
100.02	c 3908
100.21	o 14693
100.21	c 3907
100.40	o 14696
100.40	c 3904
100.57	o 14700
100.57	c 3900
100.74	o 14701
100.74	c 3899
100.84	o 14703
100.84	c 3897
101.14	o 14707
101.14	c 3893
101.32	o 14711
101.32	c 3889
101.40	o 14713
101.40	c 3887
101.52	o 14714
101.52	c 3886
101.62	o 14717
101.62	c 3883
101.72	o 14720
101.72	c 3880
101.82	o 14723
101.82	c 3877
102.01	o 14725
102.01	c 3875
102.13	o 14727
102.13	c 3873
102.35	o 14731
102.35	c 3869
102.46	o 14732
102.46	c 3868
102.57	o 14734
102.57	c 3866
102.67	o 14735
102.67	c 3865
102.78	o 14736
102.78	c 3864
103.66	o 14738
103.66	c 3862
103.76	o 14739
103.76	c 3861
103.88	o 14742
103.88	c 3858
103.99	o 14748
103.99	c 3852
104.10	o 14752
104.10	c 3848
104.24	o 14753
104.24	c 3847
104.35	o 14754
104.35	c 3846
104.46	o 14758
104.46	c 3842
104.58	o 14760
104.58	c 3840
104.71	o 14762
104.71	c 3838
104.82	o 14765
104.82	c 3835
105.06	o 14767
105.06	c 3833
105.18	o 14773
105.18	c 3827
105.41	o 14777
105.41	c 3823
105.52	o 14779
105.53	c 3821
105.87	o 14780
105.87	c 3820
105.99	o 14781
105.99	c 3819
106.11	o 14785
106.11	c 3815
106.24	o 14787
106.24	c 3813
106.48	o 14788
106.48	c 3812
106.60	o 14789
106.60	c 3811
106.73	o 14790
106.73	c 3810
106.85	o 14795
106.85	c 3805
106.97	o 14799
106.97	c 3801
107.23	o 14800
107.23	c 3800
107.63	o 14804
107.63	c 3796
107.75	o 14805
107.75	c 3795
108.00	o 14806
108.00	c 3794
108.13	o 14807
108.13	c 3793
108.25	o 14808
108.25	c 3792
108.38	o 14809
108.38	c 3791
108.64	o 14810
108.64	c 3790
108.76	o 14812
108.76	c 3788
108.89	o 14814
108.89	c 3786
109.40	o 14815
109.40	c 3785
110.01	o 14817
110.01	c 3783
110.15	o 14818
110.15	c 3782
110.37	o 14821
110.37	c 3779
110.49	o 14823
110.49	c 3777
110.61	o 14825
110.61	c 3775
110.73	o 14828
110.73	c 3772
110.85	o 14830
110.85	c 3770
110.97	o 14833
110.97	c 3767
111.10	o 14836
111.10	c 3764
111.21	o 14840
111.21	c 3760
111.34	o 14841
111.34	c 3759
111.46	o 14844
111.46	c 3756
111.60	o 14847
111.60	c 3753
111.72	o 14850
111.72	c 3750
111.98	o 14852
111.98	c 3748
112.10	o 14855
112.10	c 3745
112.25	o 14858
112.25	c 3742
112.51	o 14859
112.51	c 3741
112.75	o 14864
112.75	c 3736
113.11	o 14865
113.11	c 3735
113.24	o 14866
113.24	c 3734
113.38	o 14869
113.38	c 3731
113.51	o 14870
113.51	c 3730
113.63	o 14871
113.63	c 3729
113.76	o 14873
113.76	c 3727
113.87	o 14874
113.87	c 3726
114.01	o 14878
114.01	c 3722
114.40	o 14879
114.40	c 3721
115.37	o 14882
115.37	c 3718
115.52	o 14884
115.52	c 3716
115.66	o 14888
115.66	c 3712
115.79	o 14889
115.79	c 3711
116.08	o 14891
116.08	c 3709
116.21	o 14896
116.21	c 3704
116.33	o 14899
116.33	c 3701
117.08	o 14901
117.08	c 3699
117.22	o 14903
117.22	c 3697
117.37	o 14905
117.37	c 3695
117.50	o 14906
117.50	c 3694
117.66	o 14908
117.66	c 3692
117.80	o 14910
117.80	c 3690
117.94	o 14912
117.94	c 3688
118.08	o 14914
118.08	c 3686
118.22	o 14915
118.22	c 3685
118.66	o 14916
118.66	c 3684
119.06	o 14917
119.06	c 3683
119.20	o 14918
119.20	c 3682
119.34	o 14919
119.34	c 3681
119.48	o 14922
119.48	c 3678
119.62	o 14923
119.62	c 3677
119.75	o 14925
119.75	c 3675
120.28	o 14928
120.28	c 3672
120.92	o 14932
120.92	c 3668
121.05	o 14933
121.05	c 3667
121.33	o 14934
121.33	c 3666
121.46	o 14939
121.47	c 3661
121.59	o 14944
121.59	c 3656
121.72	o 14947
121.72	c 3653
122.10	o 14948
122.10	c 3652
122.37	o 14949
122.37	c 3651
122.49	o 14953
122.49	c 3647
122.62	o 14958
122.62	c 3642
122.75	o 14959
122.75	c 3641
122.86	o 14961
122.86	c 3639
123.12	o 14964
123.12	c 3636
123.24	o 14969
123.24	c 3631
123.88	o 14970
123.88	c 3630
123.99	o 14974
123.99	c 3626
124.11	o 14976
124.11	c 3624
124.24	o 14977
124.24	c 3623
124.50	o 14981
124.50	c 3619
124.63	o 14982
124.63	c 3618
124.75	o 14984
124.75	c 3616
124.89	o 14985
124.89	c 3615
125.01	o 14987
125.01	c 3613
125.13	o 14991
125.13	c 3609
125.25	o 14994
125.25	c 3606
125.93	o 14995
125.93	c 3605
126.33	o 14996
126.33	c 3604
126.46	o 14997
126.46	c 3603
126.61	o 14999
126.61	c 3601
126.77	o 15000
126.77	c 3600
126.92	o 15003
126.92	c 3597
127.08	o 15008
127.08	c 3592
127.22	o 15012
127.22	c 3588
127.36	o 15016
127.36	c 3584
127.51	o 15018
127.51	c 3582
127.66	o 15020
127.66	c 3580
127.79	o 15023
127.79	c 3577
127.93	o 15027
127.93	c 3573
128.17	o 15030
128.17	c 3570
128.47	o 15032
128.47	c 3568
128.61	o 15033
128.61	c 3567
128.77	o 15038
128.77	c 3562
129.20	o 15040
129.20	c 3560
129.49	o 15044
129.49	c 3556
129.64	o 15048
129.64	c 3552
129.79	o 15049
129.79	c 3551
129.95	o 15052
129.95	c 3548
130.09	o 15054
130.09	c 3546
130.82	o 15056
130.82	c 3544
131.11	o 15058
131.11	c 3542
131.25	o 15060
131.25	c 3540
131.40	o 15063
131.40	c 3537
131.83	o 15064
131.83	c 3536
131.96	o 15066
131.96	c 3534
132.10	o 15068
132.10	c 3532
132.24	o 15070
132.24	c 3530
132.39	o 15072
132.39	c 3528
132.67	o 15074
132.67	c 3526
132.81	o 15076
132.81	c 3524
133.09	o 15077
133.09	c 3523
133.21	o 15080
133.21	c 3520
133.47	o 15083
133.47	c 3517
133.60	o 15084
133.60	c 3516
134.01	o 15086
134.01	c 3514
134.15	o 15088
134.15	c 3512
134.30	o 15090
134.30	c 3510
134.44	o 15091
134.44	c 3509
134.71	o 15092
134.71	c 3508
134.86	o 15095
134.86	c 3505
135.26	o 15096
135.26	c 3504
135.40	o 15098
135.40	c 3502
135.68	o 15100
135.68	c 3500
135.95	o 15102
135.95	c 3498
136.09	o 15103
136.09	c 3497
136.22	o 15104
136.22	c 3496
136.36	o 15108
136.36	c 3492
136.51	o 15111
136.51	c 3489
136.92	o 15112
136.92	c 3488
137.06	o 15113
137.06	c 3487
137.22	o 15116
137.22	c 3484
137.50	o 15118
137.50	c 3482
137.65	o 15119
137.65	c 3481
137.78	o 15122
137.78	c 3478
137.91	o 15126
137.91	c 3474
138.05	o 15129
138.05	c 3471
138.35	o 15131
138.35	c 3469
138.50	o 15134
138.50	c 3466
138.65	o 15137
138.65	c 3463
138.79	o 15141
138.79	c 3459
139.05	o 15145
139.05	c 3455
139.19	o 15148
139.19	c 3452
139.33	o 15149
139.33	c 3451
140.16	o 15151
140.16	c 3449
140.31	o 15152
140.31	c 3448
140.46	o 15157
140.46	c 3443
140.74	o 15158
140.74	c 3442
141.02	o 15159
141.02	c 3441
141.12	o 15161
141.12	c 3439
141.41	o 15162
141.41	c 3438
141.55	o 15163
141.55	c 3437
141.69	o 15165
141.69	c 3435
141.82	o 15166
141.82	c 3434
141.95	o 15167
141.95	c 3433
142.09	o 15168
142.09	c 3432
142.23	o 15170
142.23	c 3430
142.37	o 15173
142.37	c 3427
142.65	o 15174
142.65	c 3426
142.79	o 15175
142.79	c 3425
142.93	o 15176
142.93	c 3424
143.06	o 15178
143.06	c 3422
143.35	o 15182
143.35	c 3418
143.63	o 15185
143.63	c 3415
143.92	o 15187
143.92	c 3413
144.21	o 15191
144.21	c 3409
144.51	o 15194
144.51	c 3406
144.66	o 15198
144.66	c 3402
144.83	o 15200
144.83	c 3400
144.98	o 15201
144.98	c 3399
145.13	o 15203
145.13	c 3397
145.28	o 15204
145.28	c 3396
145.59	o 15205
145.59	c 3395
145.74	o 15209
145.74	c 3391
146.20	o 15212
146.20	c 3388
146.48	o 15214
146.48	c 3386
146.64	o 15218
146.64	c 3382
146.92	o 15219
146.92	c 3381
147.06	o 15221
147.06	c 3379
147.19	o 15223
147.19	c 3377
147.34	o 15225
147.34	c 3375
147.77	o 15226
147.77	c 3374
148.21	o 15227
148.21	c 3373
148.35	o 15233
148.35	c 3367
148.44	o 15236
148.44	c 3364
148.74	o 15239
148.74	c 3361
148.88	o 15241
148.88	c 3359
149.03	o 15244
149.03	c 3356
149.16	o 15249
149.16	c 3351
149.32	o 15250
149.32	c 3350
149.45	o 15252
149.45	c 3348
149.61	o 15255
149.61	c 3345
149.75	o 15256
149.75	c 3344
150.03	o 15262
150.03	c 3338
150.18	o 15265
150.18	c 3335
150.32	o 15266
150.32	c 3334
150.62	o 15267
150.62	c 3333
150.76	o 15270
150.76	c 3330
151.49	o 15271
151.49	c 3329
151.64	o 15273
151.64	c 3327
151.81	o 15275
151.81	c 3325
151.95	o 15277
151.95	c 3323
152.10	o 15280
152.10	c 3320
152.26	o 15284
152.26	c 3316
152.42	o 15287
152.42	c 3313
152.58	o 15290
152.58	c 3310
152.73	o 15293
152.73	c 3307
153.07	o 15294
153.07	c 3306
153.22	o 15295
153.22	c 3305
153.38	o 15296
153.38	c 3304
153.70	o 15297
153.70	c 3303
153.85	o 15299
153.85	c 3301
154.02	o 15301
154.02	c 3299
154.19	o 15304
154.19	c 3296
154.51	o 15306
154.51	c 3294
154.84	o 15307
154.84	c 3293
155.17	o 15309
155.17	c 3291
155.32	o 15311
155.32	c 3289
155.48	o 15316
155.48	c 3284
155.65	o 15318
155.65	c 3282
155.81	o 15321
155.81	c 3279
155.98	o 15324
155.98	c 3276
156.14	o 15327
156.14	c 3273
156.31	o 15330
156.31	c 3270
156.48	o 15333
156.48	c 3267
156.65	o 15336
156.65	c 3264
156.81	o 15341
156.81	c 3259
156.99	o 15344
156.99	c 3256
157.16	o 15346
157.16	c 3254
157.33	o 15348
157.33	c 3252
157.50	o 15350
157.50	c 3250
157.66	o 15354
157.67	c 3246
157.82	o 15356
157.82	c 3244
157.99	o 15358
157.99	c 3242
158.15	o 15359
158.15	c 3241
158.30	o 15365
158.30	c 3235
158.63	o 15366
158.63	c 3234
158.78	o 15367
158.78	c 3233
158.94	o 15368
158.94	c 3232
159.11	o 15369
159.11	c 3231
159.27	o 15370
159.27	c 3230
159.44	o 15371
159.44	c 3229
159.78	o 15374
159.78	c 3226
160.27	o 15376
160.27	c 3224
161.08	o 15378
161.08	c 3222
161.25	o 15379
161.25	c 3221
161.42	o 15380
161.42	c 3220
161.60	o 15384
161.60	c 3216
161.94	o 15387
161.94	c 3213
162.11	o 15389
162.11	c 3211
162.27	o 15390
162.27	c 3210
162.44	o 15391
162.44	c 3209
163.27	o 15394
163.27	c 3206
163.59	o 15396
163.59	c 3204
164.09	o 15399
164.09	c 3201
164.25	o 15401
164.25	c 3199
164.42	o 15402
164.42	c 3198
164.75	o 15404
164.75	c 3196
165.07	o 15405
165.07	c 3195
165.23	o 15408
165.23	c 3192
165.41	o 15410
165.41	c 3190
165.59	o 15412
165.59	c 3188
166.09	o 15413
166.09	c 3187
166.44	o 15415
166.44	c 3185
166.97	o 15416
166.97	c 3184
167.49	o 15418
167.49	c 3182
167.68	o 15422
167.68	c 3178
167.85	o 15427
167.85	c 3173
168.20	o 15428
168.20	c 3172
168.36	o 15433
168.36	c 3167
168.54	o 15436
168.54	c 3164
168.71	o 15438
168.71	c 3162
168.90	o 15442
168.90	c 3158
169.26	o 15444
169.26	c 3156
169.44	o 15446
169.44	c 3154
169.80	o 15448
169.80	c 3152
170.50	o 15451
170.50	c 3149
170.67	o 15453
170.67	c 3147
170.86	o 15458
170.86	c 3142
171.04	o 15460
171.04	c 3140
171.22	o 15462
171.22	c 3138
171.40	o 15464
171.40	c 3136
171.58	o 15469
171.58	c 3131
171.76	o 15470
171.76	c 3130
171.98	o 15473
171.98	c 3127
172.16	o 15475
172.16	c 3125
172.35	o 15478
172.35	c 3122
175.49	o 15479
175.49	c 3121
175.68	o 15481
175.68	c 3119
175.87	o 15484
175.87	c 3116
176.01	o 15488
176.01	c 3112
176.19	o 15489
176.19	c 3111
176.38	o 15491
176.38	c 3109
176.57	o 15495
176.57	c 3105
176.78	o 15497
176.78	c 3103
177.53	o 15500
177.53	c 3100
177.73	o 15501
177.73	c 3099
177.92	o 15503
177.92	c 3097
178.13	o 15504
178.13	c 3096
178.52	o 15507
178.52	c 3093
178.73	o 15508
178.73	c 3092
178.94	o 15510
178.94	c 3090
179.58	o 15513
179.58	c 3087
181.30	o 15516
181.30	c 3084
181.73	o 15519
181.73	c 3081
181.95	o 15521
181.95	c 3079
182.37	o 15526
182.37	c 3074
182.60	o 15527
182.60	c 3073
182.82	o 15528
182.82	c 3072
183.48	o 15531
183.48	c 3069
187.76	o 15532
187.76	c 3068
187.99	o 15533
187.99	c 3067
189.02	o 15534
189.02	c 3066
189.23	o 15536
189.23	c 3064
189.43	o 15537
189.43	c 3063
189.63	o 15539
189.63	c 3061
189.84	o 15541
189.84	c 3059
190.04	o 15543
190.04	c 3057
190.26	o 15547
190.26	c 3053
190.47	o 15549
190.47	c 3051
190.67	o 15551
190.67	c 3049
191.31	o 15554
191.31	c 3046
192.15	o 15556
192.15	c 3044
192.56	o 15557
192.56	c 3043
192.76	o 15558
192.76	c 3042
193.34	o 15561
193.34	c 3039
193.95	o 15564
193.95	c 3036
194.08	o 15565
194.08	c 3035
194.27	o 15566
194.27	c 3034
194.47	o 15567
194.47	c 3033
194.90	o 15572
194.90	c 3028
195.09	o 15576
195.09	c 3024
195.16	o 15578
195.16	c 3022
195.34	o 15579
195.34	c 3021
195.53	o 15582
195.53	c 3018
195.71	o 15584
195.71	c 3016
195.89	o 15587
195.89	c 3013
196.29	o 15589
196.29	c 3011
196.49	o 15593
196.49	c 3007
196.85	o 15594
196.85	c 3006
197.03	o 15599
197.03	c 3001
197.22	o 15601
197.22	c 2999
197.40	o 15602
197.40	c 2998
197.59	o 15603
197.59	c 2997
197.77	o 15604
197.77	c 2996
197.96	o 15605
197.96	c 2995
198.33	o 15607
198.33	c 2993
198.52	o 15608
198.52	c 2992
198.71	o 15609
198.71	c 2991
199.09	o 15611
199.09	c 2989
199.29	o 15612
199.29	c 2988
199.49	o 15613
199.49	c 2987
199.87	o 15615
199.87	c 2985
200.06	o 15617
200.06	c 2983
200.85	o 15618
200.85	c 2982
201.04	o 15619
201.04	c 2981
201.25	o 15623
201.25	c 2977
201.45	o 15625
201.45	c 2975
201.66	o 15629
201.66	c 2971
201.86	o 15632
201.86	c 2968
202.65	o 15635
202.65	c 2965
202.87	o 15637
202.87	c 2963
203.48	o 15640
203.48	c 2960
203.70	o 15642
203.70	c 2958
205.18	o 15643
205.18	c 2957
205.41	o 15644
205.41	c 2956
205.63	o 15646
205.63	c 2954
205.78	o 15649
205.78	c 2951
206.21	o 15650
206.21	c 2950
207.10	o 15651
207.10	c 2949
207.54	o 15655
207.55	c 2945
207.99	o 15658
207.99	c 2942
208.69	o 15660
208.69	c 2940
209.17	o 15662
209.17	c 2938
209.40	o 15663
209.40	c 2937
209.65	o 15664
209.65	c 2936
210.13	o 15666
210.13	c 2934
210.62	o 15668
210.62	c 2932
210.88	o 15670
210.88	c 2930
212.14	o 15673
212.14	c 2927
212.36	o 15674
212.36	c 2926
212.87	o 15677
212.87	c 2923
213.12	o 15679
213.12	c 2921
213.39	o 15682
213.39	c 2918
213.64	o 15683
213.64	c 2917
213.89	o 15684
213.89	c 2916
214.16	o 15686
214.16	c 2914
214.43	o 15688
214.43	c 2912
214.66	o 15689
214.66	c 2911
214.86	o 15690
214.86	c 2910
215.36	o 15692
215.36	c 2908
215.87	o 15695
215.87	c 2905
216.12	o 15696
216.12	c 2904
216.38	o 15697
216.38	c 2903
217.45	o 15698
217.45	c 2902
220.65	o 15699
220.65	c 2901
221.44	o 15700
221.44	c 2900
221.70	o 15701
221.70	c 2899
221.97	o 15704
221.97	c 2896
222.24	o 15706
222.24	c 2894
223.04	o 15708
223.04	c 2892
223.31	o 15710
223.31	c 2890
223.60	o 15711
223.60	c 2889
224.40	o 15713
224.40	c 2887
224.92	o 15715
224.92	c 2885
225.18	o 15716
225.18	c 2884
225.44	o 15718
225.44	c 2882
226.49	o 15719
226.49	c 2881
226.75	o 15720
226.75	c 2880
227.54	o 15721
227.54	c 2879
227.82	o 15722
227.82	c 2878
228.05	o 15725
228.05	c 2875
228.30	o 15726
228.30	c 2874
228.56	o 15727
228.56	c 2873
228.83	o 15729
228.83	c 2871
229.32	o 15730
229.32	c 2870
229.57	o 15732
229.57	c 2868
229.83	o 15733
229.83	c 2867
230.60	o 15735
230.60	c 2865
231.11	o 15736
231.11	c 2864
231.36	o 15738
231.36	c 2862
231.61	o 15739
231.61	c 2861
231.87	o 15741
231.87	c 2859
232.12	o 15742
232.12	c 2858
232.38	o 15744
232.38	c 2856
232.63	o 15746
232.63	c 2854
232.88	o 15747
232.88	c 2853
233.39	o 15751
233.39	c 2849
233.86	o 15752
233.86	c 2848
234.36	o 15753
234.36	c 2847
234.60	o 15755
234.60	c 2845
234.84	o 15756
234.84	c 2844
235.07	o 15757
235.07	c 2843
235.32	o 15758
235.32	c 2842
235.58	o 15759
235.58	c 2841
236.32	o 15760
236.32	c 2840
236.84	o 15762
236.84	c 2838
237.34	o 15766
237.34	c 2834
237.84	o 15767
237.84	c 2833
238.30	o 15768
238.30	c 2832
238.55	o 15769
238.55	c 2831
238.81	o 15772
238.81	c 2828
239.59	o 15774
239.59	c 2826
239.84	o 15775
239.84	c 2825
240.36	o 15776
240.36	c 2824
240.62	o 15777
240.62	c 2823
240.88	o 15779
240.88	c 2821
241.40	o 15781
241.40	c 2819
241.65	o 15783
241.65	c 2817
242.17	o 15785
242.17	c 2815
242.70	o 15787
242.70	c 2813
244.24	o 15789
244.24	c 2811
244.50	o 15791
244.50	c 2809
244.76	o 15794
244.76	c 2806
245.28	o 15795
245.28	c 2805
245.53	o 15798
245.53	c 2802
245.80	o 15799
245.80	c 2801
246.07	o 15802
246.07	c 2798
246.58	o 15803
246.58	c 2797
247.08	o 15806
247.08	c 2794
247.33	o 15807
247.33	c 2793
247.60	o 15808
247.60	c 2792
248.37	o 15809
248.37	c 2791
248.64	o 15812
248.64	c 2788
249.16	o 15815
249.16	c 2785
249.73	o 15816
249.73	c 2784
250.30	o 15818
250.30	c 2782
250.58	o 15820
250.58	c 2780
250.86	o 15822
250.86	c 2778
251.16	o 15823
251.16	c 2777
251.45	o 15824
251.45	c 2776
252.01	o 15826
252.01	c 2774
252.30	o 15829
252.30	c 2771
252.87	o 15834
252.87	c 2766
255.76	o 15837
255.76	c 2763
256.62	o 15840
256.62	c 2760
257.47	o 15841
257.47	c 2759
257.74	o 15843
257.74	c 2757
258.28	o 15848
258.28	c 2752
258.56	o 15851
258.56	c 2749
259.70	o 15853
259.70	c 2747
259.98	o 15854
259.98	c 2746
260.26	o 15856
260.26	c 2744
260.84	o 15857
260.84	c 2743
262.59	o 15858
262.59	c 2742
262.89	o 15860
262.89	c 2740
263.19	o 15861
263.19	c 2739
263.77	o 15862
263.77	c 2738
264.07	o 15863
264.07	c 2737
264.35	o 15864
264.35	c 2736
264.88	o 15865
264.88	c 2735
264.99	o 15868
264.99	c 2732
265.27	o 15871
265.27	c 2729
265.55	o 15873
265.55	c 2727
265.82	o 15874
265.82	c 2726
266.40	o 15875
266.40	c 2725
266.68	o 15876
266.68	c 2724
266.93	o 15878
266.93	c 2722
267.49	o 15879
267.49	c 2721
268.00	o 15880
268.00	c 2720
268.55	o 15881
268.55	c 2719
268.81	o 15883
268.81	c 2717
269.06	o 15886
269.06	c 2714
269.76	o 15887
269.76	c 2713
270.30	o 15889
270.30	c 2711
271.94	o 15890
271.94	c 2710
272.20	o 15891
272.20	c 2709
272.72	o 15893
272.72	c 2707
273.26	o 15894
273.26	c 2706
273.52	o 15895
273.52	c 2705
273.78	o 15897
273.78	c 2703
274.56	o 15898
274.56	c 2702
274.82	o 15904
274.82	c 2696
275.49	o 15905
275.49	c 2695
275.75	o 15906
275.75	c 2694
276.00	o 15909
276.00	c 2691
276.23	o 15911
276.23	c 2689
276.51	o 15912
276.51	c 2688
276.77	o 15914
276.77	c 2686
277.85	o 15915
277.85	c 2685
278.66	o 15916
278.66	c 2684
278.93	o 15917
278.93	c 2683
279.20	o 15918
279.20	c 2682
279.47	o 15920
279.47	c 2680
279.74	o 15923
279.74	c 2677
280.29	o 15925
280.29	c 2675
280.88	o 15927
280.88	c 2673
281.15	o 15931
281.15	c 2669
281.43	o 15932
281.43	c 2668
282.54	o 15935
282.54	c 2665
282.82	o 15937
282.82	c 2663
283.09	o 15939
283.09	c 2661
283.38	o 15940
283.38	c 2660
283.66	o 15941
283.66	c 2659
284.21	o 15943
284.21	c 2657
284.77	o 15945
284.77	c 2655
285.05	o 15946
285.05	c 2654
285.34	o 15948
285.34	c 2652
286.45	o 15949
286.45	c 2651
287.30	o 15951
287.30	c 2649
287.58	o 15955
287.58	c 2645
287.88	o 15958
287.88	c 2642
289.01	o 15961
289.01	c 2639
289.17	o 15966
289.17	c 2634
289.38	o 15968
289.38	c 2632
289.90	o 15971
289.90	c 2629
290.45	o 15972
290.45	c 2628
290.73	o 15976
290.73	c 2624
291.29	o 15979
291.29	c 2621
292.09	o 15980
292.09	c 2620
293.16	o 15983
293.16	c 2617
293.45	o 15984
293.45	c 2616
293.71	o 15988
293.71	c 2612
293.96	o 15992
293.96	c 2608
294.23	o 15993
294.23	c 2607
294.36	o 15996
294.36	c 2604
294.61	o 15997
294.61	c 2603
295.37	o 15999
295.37	c 2601
295.55	o 16002
295.55	c 2598
296.27	o 16005
296.27	c 2595
296.51	o 16007
296.51	c 2593
296.76	o 16010
296.76	c 2590
297.27	o 16011
297.27	c 2589
297.49	o 16014
297.49	c 2586
298.23	o 16015
298.23	c 2585
299.02	o 16019
299.02	c 2581
299.29	o 16022
299.29	c 2578
299.57	o 16023
299.57	c 2577
299.83	o 16024
299.83	c 2576
300.36	o 16025
300.36	c 2575
300.62	o 16028
300.62	c 2572
300.90	o 16029
300.90	c 2571
301.17	o 16032
301.17	c 2568
302.28	o 16033
302.28	c 2567
303.04	o 16036
303.04	c 2564
303.33	o 16039
303.33	c 2561
303.60	o 16040
303.60	c 2560
303.88	o 16042
303.88	c 2558
304.18	o 16043
304.18	c 2557
304.48	o 16044
304.48	c 2556
306.43	o 16045
306.43	c 2555
307.97	o 16047
307.97	c 2553
308.25	o 16049
308.25	c 2551
309.80	o 16051
309.80	c 2549
310.36	o 16054
310.36	c 2546
310.65	o 16056
310.65	c 2544
310.94	o 16058
310.94	c 2542
311.52	o 16060
311.52	c 2540
312.58	o 16063
312.58	c 2537
312.84	o 16064
312.84	c 2536
313.12	o 16066
313.12	c 2534
313.90	o 16067
313.90	c 2533
314.18	o 16071
314.18	c 2529
314.45	o 16073
314.45	c 2527
315.01	o 16074
315.01	c 2526
315.85	o 16076
315.85	c 2524
317.28	o 16078
317.28	c 2522
317.46	o 16082
317.46	c 2518
318.29	o 16084
318.29	c 2516
319.14	o 16085
319.14	c 2515
319.42	o 16086
319.42	c 2514
319.97	o 16087
319.97	c 2513
321.08	o 16089
321.08	c 2511
321.36	o 16092
321.36	c 2508
321.93	o 16093
321.93	c 2507
322.06	o 16095
322.06	c 2505
322.35	o 16096
322.35	c 2504
322.89	o 16098
322.89	c 2502
323.17	o 16099
323.17	c 2501
323.45	o 16100
323.45	c 2500
324.86	o 16104
324.86	c 2496
325.16	o 16108
325.16	c 2492
325.45	o 16109
325.45	c 2491
325.74	o 16110
325.74	c 2490
326.04	o 16112
326.04	c 2488
326.33	o 16115
326.33	c 2485
326.63	o 16117
326.63	c 2483
326.93	o 16119
326.93	c 2481
328.31	o 16122
328.31	c 2478
328.61	o 16123
328.61	c 2477
329.11	o 16126
329.11	c 2474
329.40	o 16128
329.40	c 2472
329.69	o 16129
329.69	c 2471
329.99	o 16130
329.99	c 2470
331.15	o 16131
331.15	c 2469
331.45	o 16134
331.45	c 2466
331.73	o 16139
331.73	c 2461
332.03	o 16140
332.03	c 2460
332.34	o 16141
332.34	c 2459
332.63	o 16143
332.63	c 2457
333.51	o 16144
333.51	c 2456
334.70	o 16146
334.70	c 2454
335.30	o 16147
335.30	c 2453
336.48	o 16150
336.48	c 2450
337.07	o 16151
337.07	c 2449
338.24	o 16154
338.24	c 2446
338.42	o 16155
338.42	c 2445
338.66	o 16158
338.66	c 2442
339.50	o 16159
339.50	c 2441
339.80	o 16160
339.80	c 2440
343.95	o 16162
343.96	c 2438
344.25	o 16163
344.25	c 2437
347.14	o 16164
347.14	c 2436
347.43	o 16166
347.43	c 2434
347.72	o 16170
347.72	c 2430
349.21	o 16172
349.21	c 2428
349.68	o 16173
349.68	c 2427
350.56	o 16174
350.56	c 2426
351.14	o 16176
351.14	c 2424
351.38	o 16177
351.38	c 2423
351.67	o 16178
351.67	c 2422
351.95	o 16183
351.95	c 2417
352.53	o 16185
352.53	c 2415
353.10	o 16186
353.10	c 2414
353.40	o 16188
353.40	c 2412
353.69	o 16189
353.69	c 2411
353.97	o 16190
353.97	c 2410
354.25	o 16192
354.25	c 2408
355.40	o 16193
355.40	c 2407
358.39	o 16194
358.39	c 2406
359.00	o 16197
359.00	c 2403
359.32	o 16198
359.32	c 2402
359.62	o 16199
359.62	c 2401
360.50	o 16200
360.50	c 2400
360.73	o 16203
360.73	c 2397
361.35	o 16204
361.35	c 2396
362.57	o 16208
362.57	c 2392
362.87	o 16210
362.87	c 2390
363.46	o 16211
363.46	c 2389
363.77	o 16214
363.77	c 2386
363.98	o 16217
363.98	c 2383
365.22	o 16220
365.22	c 2380
365.53	o 16224
365.53	c 2376
365.84	o 16227
365.84	c 2373
366.15	o 16229
366.15	c 2371
366.40	o 16230
366.40	c 2370
366.71	o 16231
366.71	c 2369
367.04	o 16233
367.04	c 2367
370.16	o 16235
370.16	c 2365
371.09	o 16236
371.09	c 2364
372.02	o 16237
372.02	c 2363
372.96	o 16239
372.96	c 2361
373.61	o 16241
373.61	c 2359
373.94	o 16243
373.94	c 2357
374.56	o 16246
374.56	c 2354
375.21	o 16250
375.21	c 2350
375.53	o 16251
375.53	c 2349
375.87	o 16252
375.87	c 2348
376.51	o 16253
376.51	c 2347
377.17	o 16257
377.17	c 2343
377.79	o 16261
377.79	c 2339
378.13	o 16262
378.13	c 2338
379.08	o 16263
379.08	c 2337
379.40	o 16265
379.40	c 2335
380.37	o 16267
380.37	c 2333
381.97	o 16269
381.97	c 2331
382.62	o 16270
382.62	c 2330
382.95	o 16271
382.95	c 2329
383.63	o 16273
383.63	c 2327
383.96	o 16276
383.96	c 2324
384.31	o 16277
384.31	c 2323
384.95	o 16278
384.95	c 2322
385.28	o 16281
385.28	c 2319
385.60	o 16283
385.60	c 2317
385.92	o 16284
385.92	c 2316
386.19	o 16285
386.19	c 2315
386.53	o 16288
386.53	c 2312
387.37	o 16290
387.37	c 2310
387.92	o 16295
387.92	c 2305
388.60	o 16296
388.60	c 2304
388.96	o 16297
388.96	c 2303
389.30	o 16302
389.30	c 2298
389.65	o 16304
389.65	c 2296
389.97	o 16305
389.97	c 2295
391.27	o 16306
391.27	c 2294
391.52	o 16309
391.52	c 2291
393.85	o 16311
393.85	c 2289
394.50	o 16312
394.50	c 2288
395.64	o 16314
395.64	c 2286
395.96	o 16315
395.96	c 2285
396.29	o 16316
396.29	c 2284
396.97	o 16317
396.97	c 2283
397.31	o 16318
397.31	c 2282
397.63	o 16321
397.63	c 2279
398.66	o 16322
398.66	c 2278
400.32	o 16324
400.32	c 2276
400.66	o 16326
400.66	c 2274
401.02	o 16328
401.02	c 2272
401.36	o 16330
401.36	c 2270
401.71	o 16331
401.71	c 2269
402.06	o 16332
402.06	c 2268
402.76	o 16334
402.76	c 2266
405.95	o 16335
405.95	c 2265
406.30	o 16336
406.30	c 2264
407.71	o 16337
407.71	c 2263
408.05	o 16339
408.05	c 2261
408.39	o 16340
408.39	c 2260
408.74	o 16341
408.74	c 2259
409.10	o 16342
409.10	c 2258
412.98	o 16343
412.98	c 2257
413.33	o 16345
413.33	c 2255
413.69	o 16347
413.69	c 2253
414.05	o 16348
414.05	c 2252
416.05	o 16350
416.05	c 2250
416.37	o 16351
416.37	c 2249
416.56	o 16353
416.56	c 2247
417.24	o 16355
417.24	c 2245
418.25	o 16357
418.25	c 2243
418.52	o 16360
418.52	c 2240
418.85	o 16363
418.85	c 2237
419.19	o 16364
419.19	c 2236
419.52	o 16366
419.52	c 2234
419.85	o 16367
419.85	c 2233
420.21	o 16368
420.21	c 2232
420.56	o 16369
420.56	c 2231
421.48	o 16371
421.48	c 2229
422.15	o 16373
422.15	c 2227
422.48	o 16374
422.48	c 2226
422.82	o 16375
422.82	c 2225
423.47	o 16376
423.47	c 2224
423.80	o 16377
423.80	c 2223
425.17	o 16378
425.17	c 2222
426.16	o 16379
426.16	c 2221
426.47	o 16380
426.47	c 2220
426.81	o 16382
426.81	c 2218
427.17	o 16383
427.17	c 2217
428.39	o 16385
428.39	c 2215
428.74	o 16388
428.74	c 2212
429.41	o 16389
429.41	c 2211
429.75	o 16390
429.75	c 2210
430.07	o 16392
430.07	c 2208
430.41	o 16393
430.41	c 2207
430.74	o 16395
430.74	c 2205
431.77	o 16396
431.77	c 2204
432.11	o 16397
432.11	c 2203
432.45	o 16398
432.45	c 2202
433.12	o 16400
433.12	c 2200
433.82	o 16402
433.82	c 2198
434.17	o 16404
434.17	c 2196
434.51	o 16406
434.51	c 2194
435.57	o 16407
435.57	c 2193
435.92	o 16408
435.92	c 2192
437.64	o 16409
437.64	c 2191
442.80	o 16411
442.80	c 2189
443.50	o 16412
443.50	c 2188
443.82	o 16413
443.82	c 2187
444.52	o 16416
444.52	c 2184
444.86	o 16419
444.86	c 2181
445.21	o 16420
445.21	c 2180
445.56	o 16423
445.56	c 2177
446.27	o 16424
446.27	c 2176
447.34	o 16425
447.34	c 2175
447.70	o 16426
447.70	c 2174
448.42	o 16427
448.42	c 2173
448.77	o 16429
448.77	c 2171
453.84	o 16431
453.84	c 2169
454.91	o 16432
454.91	c 2168
455.62	o 16435
455.62	c 2165
455.98	o 16436
455.98	c 2164
456.34	o 16439
456.34	c 2161
459.64	o 16440
459.64	c 2160
459.91	o 16441
459.91	c 2159
460.63	o 16444
460.63	c 2156
461.00	o 16445
461.00	c 2155
461.74	o 16447
461.74	c 2153
462.48	o 16449
462.48	c 2151
462.85	o 16450
462.85	c 2150
463.22	o 16453
463.22	c 2147
463.60	o 16454
463.60	c 2146
464.35	o 16455
464.35	c 2145
464.73	o 16459
464.73	c 2141
465.49	o 16460
465.49	c 2140
471.06	o 16461
471.06	c 2139
471.80	o 16463
471.80	c 2137
477.38	o 16464
477.38	c 2136
477.76	o 16465
477.76	c 2135
478.14	o 16468
478.14	c 2132
478.52	o 16470
478.52	c 2130
479.19	o 16472
479.19	c 2128
481.76	o 16473
481.76	c 2127
482.91	o 16475
482.91	c 2125
483.30	o 16479
483.30	c 2121
483.67	o 16480
483.67	c 2120
484.43	o 16482
484.43	c 2118
485.17	o 16483
485.17	c 2117
485.53	o 16486
485.53	c 2114
485.82	o 16487
485.82	c 2113
486.18	o 16490
486.18	c 2110
486.92	o 16492
486.92	c 2108
487.28	o 16493
487.28	c 2107
487.61	o 16496
487.61	c 2104
489.30	o 16499
489.30	c 2101
489.67	o 16502
489.67	c 2098
490.41	o 16503
490.41	c 2097
490.79	o 16505
490.79	c 2095
492.27	o 16506
492.27	c 2094
492.64	o 16507
492.64	c 2093
493.27	o 16510
493.27	c 2090
494.75	o 16512
494.75	c 2088
495.13	o 16513
495.13	c 2087
496.62	o 16516
496.62	c 2084
499.97	o 16518
499.97	c 2082
500.35	o 16521
500.35	c 2079
500.58	o 16523
500.58	c 2077
500.96	o 16525
500.96	c 2075
501.36	o 16526
501.36	c 2074
502.06	o 16527
502.06	c 2073
502.43	o 16528
502.43	c 2072
502.68	o 16531
502.68	c 2069
503.06	o 16532
503.06	c 2068
503.43	o 16533
503.43	c 2067
504.18	o 16535
504.18	c 2065
504.96	o 16538
504.96	c 2062
505.62	o 16540
505.62	c 2060
505.69	o 16542
505.69	c 2058
505.95	o 16544
505.95	c 2056
507.48	o 16545
507.48	c 2055
508.64	o 16546
508.64	c 2054
509.76	o 16547
509.76	c 2053
510.14	o 16548
510.14	c 2052
510.53	o 16550
510.53	c 2050
510.92	o 16552
510.92	c 2048
513.24	o 16553
513.24	c 2047
513.61	o 16555
513.61	c 2045
514.00	o 16556
514.00	c 2044
514.75	o 16558
514.75	c 2042
515.13	o 16559
515.13	c 2041
517.82	o 16560
517.82	c 2040
518.95	o 16563
518.95	c 2037
519.30	o 16564
519.30	c 2036
523.66	o 16566
523.66	c 2034
524.04	o 16568
524.04	c 2032
524.39	o 16570
524.39	c 2030
524.76	o 16571
524.76	c 2029
530.37	o 16574
530.37	c 2026
530.78	o 16575
530.78	c 2025
531.19	o 16576
531.19	c 2024
534.00	o 16580
534.00	c 2020
536.72	o 16582
536.72	c 2018
537.15	o 16583
537.15	c 2017
537.56	o 16584
537.56	c 2016
537.98	o 16585
537.98	c 2015
538.39	o 16587
538.39	c 2013
539.21	o 16588
539.21	c 2012
548.41	o 16594
548.41	c 2006
548.83	o 16596
548.83	c 2004
549.67	o 16597
549.67	c 2003
563.22	o 16598
563.22	c 2002
563.61	o 16599
563.61	c 2001
564.72	o 16600
564.72	c 2000
565.13	o 16601
565.13	c 1999
565.52	o 16603
565.52	c 1997
565.93	o 16605
565.93	c 1995
566.28	o 16608
566.28	c 1992
566.57	o 16613
566.57	c 1987
566.90	o 16615
566.90	c 1985
567.28	o 16617
567.28	c 1983
568.09	o 16618
568.09	c 1982
568.50	o 16620
568.50	c 1980
570.49	o 16621
570.49	c 1979
571.70	o 16623
571.70	c 1977
572.12	o 16627
572.12	c 1973
572.52	o 16629
572.52	c 1971
572.92	o 16630
572.92	c 1970
573.71	o 16633
573.71	c 1967
574.11	o 16635
574.11	c 1965
582.84	o 16636
582.84	c 1964
585.79	o 16639
585.79	c 1961
586.15	o 16642
586.16	c 1958
586.98	o 16643
586.98	c 1957
587.83	o 16644
587.83	c 1956
588.22	o 16646
588.22	c 1954
588.64	o 16647
588.64	c 1953
590.36	o 16648
590.36	c 1952
590.78	o 16649
590.78	c 1951
591.21	o 16651
591.21	c 1949
591.64	o 16653
591.64	c 1947
593.27	o 16654
593.27	c 1946
593.69	o 16656
593.69	c 1944
596.94	o 16658
596.94	c 1942
597.36	o 16660
597.36	c 1940
597.48	o 16661
597.48	c 1939
597.90	o 16662
597.90	c 1938
598.32	o 16663
598.32	c 1937
598.71	o 16665
598.71	c 1935
599.11	o 16667
599.11	c 1933
599.46	o 16670
599.46	c 1930
599.89	o 16672
599.89	c 1928
600.70	o 16673
600.70	c 1927
601.96	o 16674
601.96	c 1926
603.22	o 16676
603.22	c 1924
606.24	o 16677
606.24	c 1923
606.64	o 16680
606.64	c 1920
607.07	o 16681
607.07	c 1919
609.65	o 16683
609.65	c 1917
610.07	o 16685
610.07	c 1915
611.73	o 16686
611.73	c 1914
612.12	o 16690
612.12	c 1910
613.30	o 16691
613.30	c 1909
613.53	o 16694
613.53	c 1906
614.38	o 16696
614.38	c 1904
614.80	o 16698
614.80	c 1902
615.22	o 16702
615.22	c 1898
615.62	o 16703
615.62	c 1897
616.44	o 16705
616.44	c 1895
616.72	o 16707
616.72	c 1893
617.13	o 16709
617.13	c 1891
621.29	o 16710
621.29	c 1890
621.74	o 16711
621.74	c 1889
622.19	o 16714
622.19	c 1886
622.61	o 16715
622.61	c 1885
624.34	o 16718
624.34	c 1882
624.76	o 16719
624.76	c 1881
625.20	o 16721
625.20	c 1879
627.25	o 16722
627.25	c 1878
627.70	o 16723
627.70	c 1877
630.30	o 16727
630.30	c 1873
631.58	o 16729
631.58	c 1871
632.02	o 16730
632.02	c 1870
632.45	o 16731
632.45	c 1869
632.82	o 16733
632.82	c 1867
633.25	o 16735
633.25	c 1865
634.11	o 16736
634.11	c 1864
634.54	o 16737
634.54	c 1863
634.96	o 16738
634.96	c 1862
635.81	o 16739
635.81	c 1861
639.31	o 16740
639.31	c 1860
639.53	o 16742
639.53	c 1858
640.25	o 16744
640.25	c 1856
640.63	o 16746
640.63	c 1854
641.49	o 16748
641.49	c 1852
641.82	o 16749
641.82	c 1851
642.26	o 16751
642.26	c 1849
642.69	o 16753
642.69	c 1847
643.12	o 16755
643.12	c 1845
645.27	o 16758
645.27	c 1842
646.76	o 16760
646.76	c 1840
646.93	o 16762
646.93	c 1838
647.29	o 16764
647.29	c 1836
648.73	o 16766
648.73	c 1834
654.53	o 16767
654.53	c 1833
655.33	o 16769
655.33	c 1831
655.54	o 16772
655.54	c 1828
655.97	o 16773
655.97	c 1827
656.38	o 16774
656.38	c 1826
656.80	o 16775
656.80	c 1825
657.20	o 16776
657.20	c 1824
658.87	o 16778
658.87	c 1822
659.70	o 16781
659.70	c 1819
660.54	o 16782
660.54	c 1818
661.38	o 16783
661.38	c 1817
663.85	o 16786
663.85	c 1814
664.28	o 16788
664.28	c 1812
664.55	o 16792
664.55	c 1808
671.55	o 16794
671.55	c 1806
671.99	o 16795
671.99	c 1805
673.65	o 16796
673.65	c 1804
675.99	o 16799
675.99	c 1801
676.43	o 16800
676.43	c 1800
677.77	o 16802
677.77	c 1798
678.20	o 16803
678.20	c 1797
678.64	o 16805
678.64	c 1795
679.09	o 16806
679.09	c 1794
681.22	o 16807
681.22	c 1793
682.11	o 16811
682.11	c 1789
682.55	o 16813
682.55	c 1787
684.82	o 16814
684.82	c 1786
685.28	o 16815
685.28	c 1785
686.66	o 16816
686.66	c 1784
689.46	o 16817
689.46	c 1783
690.84	o 16819
690.84	c 1781
693.58	o 16820
693.58	c 1780
695.88	o 16821
695.88	c 1779
697.06	o 16822
697.06	c 1778
697.98	o 16823
697.98	c 1777
698.45	o 16825
698.45	c 1775
705.38	o 16826
705.38	c 1774
708.19	o 16828
708.19	c 1772
709.12	o 16829
709.12	c 1771
709.84	o 16831
709.84	c 1769
710.30	o 16832
710.30	c 1768
710.77	o 16833
710.77	c 1767
711.24	o 16834
711.24	c 1766
717.79	o 16835
717.79	c 1765
718.04	o 16836
718.04	c 1764
718.98	o 16837
718.98	c 1763
719.45	o 16839
719.45	c 1761
719.92	o 16841
719.92	c 1759
721.15	o 16844
721.15	c 1756
721.62	o 16845
721.62	c 1755
724.48	o 16846
724.48	c 1754
724.96	o 16848
724.96	c 1752
725.94	o 16849
725.94	c 1751
729.46	o 16850
729.46	c 1750
729.96	o 16851
729.96	c 1749
730.44	o 16852
730.44	c 1748
730.91	o 16853
730.92	c 1747
733.28	o 16854
733.28	c 1746
734.22	o 16855
734.22	c 1745
737.53	o 16856
737.53	c 1744
741.77	o 16859
741.77	c 1741
745.99	o 16860
745.99	c 1740
746.48	o 16861
746.48	c 1739
746.97	o 16862
746.97	c 1738
747.94	o 16864
747.94	c 1736
748.90	o 16865
748.90	c 1735
750.80	o 16866
750.80	c 1734
751.28	o 16868
751.28	c 1732
752.24	o 16869
752.24	c 1731
753.21	o 16871
753.21	c 1729
753.69	o 16874
753.69	c 1726
754.04	o 16877
754.04	c 1723
755.28	o 16878
755.28	c 1722
756.22	o 16879
756.22	c 1721
756.55	o 16882
756.55	c 1718
757.03	o 16885
757.03	c 1715
757.50	o 16886
757.50	c 1714
758.38	o 16887
758.38	c 1713
759.77	o 16888
759.77	c 1712
760.12	o 16889
760.12	c 1711
760.58	o 16892
760.58	c 1708
761.99	o 16894
761.99	c 1706
767.15	o 16896
767.15	c 1704
767.57	o 16897
767.57	c 1703
768.03	o 16898
768.03	c 1702
769.60	o 16901
769.60	c 1699
769.81	o 16902
769.81	c 1698
770.18	o 16903
770.18	c 1697
770.61	o 16905
770.61	c 1695
771.95	o 16908
771.95	c 1692
772.34	o 16911
772.34	c 1689
772.80	o 16913
772.80	c 1687
773.25	o 16914
773.25	c 1686
773.70	o 16915
773.70	c 1685
774.15	o 16916
774.15	c 1684
778.26	o 16917
778.26	c 1683
780.07	o 16918
780.07	c 1682
780.97	o 16919
780.97	c 1681
781.42	o 16921
781.42	c 1679
781.88	o 16922
781.88	c 1678
782.78	o 16923
782.78	c 1677
784.14	o 16924
784.14	c 1676
785.35	o 16928
785.35	c 1672
787.60	o 16930
787.60	c 1670
788.52	o 16932
788.52	c 1668
788.97	o 16934
788.97	c 1666
789.86	o 16936
789.86	c 1664
792.05	o 16938
792.05	c 1662
793.89	o 16941
793.89	c 1659
800.07	o 16943
800.07	c 1657
811.71	o 16946
811.71	c 1654
812.20	o 16949
812.20	c 1651
812.68	o 16950
812.68	c 1650
816.05	o 16951
816.05	c 1649
816.54	o 16953
816.54	c 1647
817.95	o 16954
817.95	c 1646
818.37	o 16955
818.37	c 1645
818.87	o 16957
818.87	c 1643
821.87	o 16958
821.87	c 1642
825.39	o 16960
825.39	c 1640
835.87	o 16961
835.87	c 1639
836.39	o 16962
836.39	c 1638
841.89	o 16963
841.89	c 1637
842.42	o 16964
842.42	c 1636
842.97	o 16965
842.97	c 1635
844.34	o 16968
844.34	c 1632
855.03	o 16969
855.03	c 1631
864.87	o 16970
864.87	c 1630
876.37	o 16971
876.37	c 1629
880.03	o 16972
880.03	c 1628
891.26	o 16973
891.26	c 1627
896.29	o 16974
896.29	c 1626
900.04	o 16976
900.04	c 1624
901.00	o 16977
901.00	c 1623
901.46	o 16978
901.46	c 1622
901.91	o 16979
901.91	c 1621
903.11	o 16983
903.11	c 1617
903.56	o 16984
903.56	c 1616
906.02	o 16985
906.02	c 1615
906.34	o 16987
906.34	c 1613
909.61	o 16988
909.61	c 1612
910.09	o 16989
910.09	c 1611
911.13	o 16990
911.13	c 1610
913.35	o 16992
913.35	c 1608
914.21	o 16994
914.21	c 1606
914.65	o 16996
914.65	c 1604
915.62	o 16997
915.62	c 1603
916.60	o 16999
916.60	c 1601
917.09	o 17000
917.09	c 1600
917.59	o 17001
917.59	c 1599
918.58	o 17002
918.58	c 1598
919.08	o 17003
919.08	c 1597
919.59	o 17004
919.59	c 1596
919.98	o 17005
919.98	c 1595
920.99	o 17006
920.99	c 1594
922.01	o 17007
922.01	c 1593
922.52	o 17008
922.52	c 1592
927.57	o 17009
927.57	c 1591
929.41	o 17010
929.41	c 1590
929.90	o 17012
929.90	c 1588
930.40	o 17017
930.40	c 1583
930.92	o 17019
930.92	c 1581
931.43	o 17022
931.43	c 1578
935.42	o 17023
935.42	c 1577
938.55	o 17024
938.55	c 1576
941.65	o 17025
941.65	c 1575
942.19	o 17026
942.19	c 1574
942.72	o 17028
942.73	c 1572
948.76	o 17029
948.76	c 1571
949.69	o 17030
949.69	c 1570
951.04	o 17033
951.04	c 1567
965.26	o 17034
965.26	c 1566
965.73	o 17035
965.73	c 1565
968.59	o 17036
968.59	c 1564
969.87	o 17038
969.87	c 1562
970.83	o 17039
970.83	c 1561
972.65	o 17041
972.65	c 1559
974.50	o 17042
974.50	c 1558
974.98	o 17043
974.98	c 1557
975.45	o 17044
975.45	c 1556
975.93	o 17046
975.93	c 1554
977.36	o 17047
977.36	c 1553
980.80	o 17049
980.80	c 1551
989.27	o 17051
989.27	c 1549
989.78	o 17052
989.78	c 1548
990.78	o 17053
990.78	c 1547
990.86	o 17054
990.86	c 1546
991.87	o 17055
991.87	c 1545
992.37	o 17058
992.37	c 1542
992.81	o 17060
992.81	c 1540
994.82	o 17061
994.82	c 1539
996.85	o 17063
996.85	c 1537
999.93	o 17065
999.93	c 1535
1000.43	o 17066
1000.43	c 1534
1008.06	o 17067
1008.06	c 1533
1008.58	o 17068
1008.58	c 1532
1017.80	o 17070
1017.80	c 1530
1018.32	o 17072
1018.32	c 1528
1018.84	o 17074
1018.84	c 1526
1019.89	o 17075
1019.89	c 1525
1020.93	o 17076
1020.93	c 1524
1022.66	o 17077
1022.66	c 1523
1023.17	o 17078
1023.17	c 1522
1023.71	o 17080
1023.71	c 1520
1032.82	o 17081
1032.82	c 1519
1036.59	o 17082
1036.59	c 1518
1038.73	o 17083
1038.73	c 1517
1039.26	o 17085
1039.26	c 1515
1039.79	o 17087
1039.79	c 1513
1040.33	o 17088
1040.33	c 1512
1045.69	o 17089
1045.70	c 1511
1050.79	o 17090
1050.79	c 1510
1055.09	o 17091
1055.09	c 1509
1057.30	o 17092
1057.30	c 1508
1066.32	o 17093
1066.32	c 1507
1069.31	o 17096
1069.31	c 1504
1071.03	o 17097
1071.03	c 1503
1073.26	o 17099
1073.26	c 1501
1074.97	o 17100
1074.97	c 1500
1075.54	o 17101
1075.54	c 1499
1076.11	o 17103
1076.11	c 1497
1079.56	o 17104
1079.56	c 1496
1080.12	o 17105
1080.12	c 1495
1081.25	o 17106
1081.25	c 1494
1083.51	o 17107
1083.51	c 1493
1084.64	o 17109
1084.64	c 1491
1085.51	o 17110
1085.51	c 1490
1085.81	o 17111
1085.81	c 1489
1086.92	o 17112
1086.92	c 1488
1088.61	o 17113
1088.61	c 1487
1089.09	o 17115
1089.09	c 1485
1092.24	o 17116
1092.24	c 1484
1094.49	o 17117
1094.49	c 1483
1095.06	o 17120
1095.06	c 1480
1095.26	o 17122
1095.26	c 1478
1096.36	o 17123
1096.36	c 1477
1097.47	o 17124
1097.47	c 1476
1100.24	o 17125
1100.24	c 1475
1100.81	o 17127
1100.81	c 1473
1102.49	o 17128
1102.49	c 1472
1103.66	o 17129
1103.66	c 1471
1104.09	o 17131
1104.09	c 1469
1105.23	o 17133
1105.23	c 1467
1106.37	o 17134
1106.37	c 1466
1106.58	o 17136
1106.58	c 1464
1108.12	o 17137
1108.12	c 1463
1108.62	o 17138
1108.62	c 1462
1109.17	o 17139
1109.17	c 1461
1110.29	o 17144
1110.29	c 1456
1110.84	o 17146
1110.84	c 1454
1112.20	o 17147
1112.20	c 1453
1112.73	o 17148
1112.73	c 1452
1120.94	o 17150
1120.94	c 1450
1135.41	o 17152
1135.41	c 1448
1140.83	o 17153
1140.83	c 1447
1141.21	o 17154
1141.21	c 1446
1142.58	o 17155
1142.58	c 1445
1143.45	o 17156
1143.45	c 1444
1144.03	o 17157
1144.03	c 1443
1144.57	o 17159
1144.57	c 1441
1145.35	o 17161
1145.35	c 1439
1146.09	o 17163
1146.09	c 1437
1146.62	o 17165
1146.62	c 1435
1147.74	o 17167
1147.74	c 1433
1152.88	o 17170
1152.88	c 1430
1153.97	o 17171
1153.97	c 1429
1155.08	o 17172
1155.08	c 1428
1155.41	o 17174
1155.41	c 1426
1176.09	o 17175
1176.09	c 1425
1180.02	o 17176
1180.02	c 1424
1186.38	o 17177
1186.38	c 1423
1187.50	o 17178
1187.50	c 1422
1190.24	o 17179
1190.24	c 1421
1190.74	o 17181
1190.74	c 1419
1192.40	o 17185
1192.40	c 1415
1193.54	o 17186
1193.54	c 1414
1195.72	o 17187
1195.72	c 1413
1196.27	o 17189
1196.27	c 1411
1196.82	o 17190
1196.82	c 1410
1200.76	o 17191
1200.76	c 1409
1201.33	o 17192
1201.33	c 1408
1201.90	o 17193
1201.90	c 1407
1202.47	o 17194
1202.47	c 1406
1213.52	o 17195
1213.52	c 1405
1214.04	o 17196
1214.04	c 1404
1215.25	o 17197
1215.25	c 1403
1216.45	o 17198
1216.45	c 1402
1217.06	o 17199
1217.06	c 1401
1217.66	o 17200
1217.66	c 1400
1218.19	o 17202
1218.19	c 1398
1224.79	o 17204
1224.79	c 1396
1224.85	o 17205
1224.85	c 1395
1225.48	o 17206
1225.48	c 1394
1226.73	o 17207
1226.73	c 1393
1227.36	o 17208
1227.36	c 1392
1229.22	o 17209
1229.22	c 1391
1232.66	o 17210
1232.66	c 1390
1233.73	o 17212
1233.73	c 1388
1234.96	o 17214
1234.96	c 1386
1235.57	o 17216
1235.57	c 1384
1236.79	o 17219
1236.79	c 1381
1239.71	o 17220
1239.71	c 1380
1241.55	o 17221
1241.55	c 1379
1243.41	o 17222
1243.41	c 1378
1265.22	o 17223
1265.22	c 1377
1265.83	o 17224
1265.83	c 1376
1266.43	o 17225
1266.43	c 1375
1267.02	o 17226
1267.02	c 1374
1271.87	o 17227
1271.87	c 1373
1273.47	o 17229
1273.47	c 1371
1274.66	o 17232
1274.66	c 1368
1291.27	o 17233
1291.27	c 1367
1291.87	o 17236
1291.87	c 1364
1292.47	o 17240
1292.47	c 1360
1293.69	o 17241
1293.69	c 1359
1299.81	o 17242
1299.81	c 1358
1309.80	o 17243
1309.80	c 1357
1310.41	o 17244
1310.41	c 1356
1310.84	o 17245
1310.84	c 1355
1311.45	o 17246
1311.45	c 1354
1312.06	o 17248
1312.06	c 1352
1313.67	o 17250
1313.67	c 1350
1320.63	o 17251
1320.63	c 1349
1323.14	o 17254
1323.14	c 1346
1332.25	o 17255
1332.25	c 1345
1333.48	o 17256
1333.48	c 1344
1334.59	o 17257
1334.59	c 1343
1335.82	o 17258
1335.82	c 1342
1337.04	o 17259
1337.04	c 1341
1337.66	o 17262
1337.66	c 1338
1338.84	o 17265
1338.84	c 1335
1339.41	o 17266
1339.41	c 1334
1341.12	o 17268
1341.12	c 1332
1341.77	o 17271
1341.77	c 1329
1342.16	o 17272
1342.16	c 1328
1342.77	o 17274
1342.77	c 1326
1343.38	o 17275
1343.38	c 1325
1347.11	o 17276
1347.11	c 1324
1347.73	o 17277
1347.73	c 1323
1357.05	o 17279
1357.05	c 1321
1357.66	o 17280
1357.66	c 1320
1358.93	o 17281
1358.93	c 1319
1359.31	o 17283
1359.31	c 1317
1359.94	o 17285
1359.94	c 1315
1362.98	o 17286
1362.98	c 1314
1374.67	o 17287
1374.67	c 1313
1375.69	o 17288
1375.69	c 1312
1376.33	o 17292
1376.33	c 1308
1378.28	o 17293
1378.28	c 1307
1378.62	o 17295
1378.62	c 1305
1379.28	o 17296
1379.28	c 1304
1379.92	o 17297
1379.92	c 1303
1384.17	o 17299
1384.17	c 1301
1384.81	o 17301
1384.81	c 1299
1385.44	o 17303
1385.44	c 1297
1392.37	o 17304
1392.37	c 1296
1394.25	o 17305
1394.25	c 1295
1394.87	o 17306
1394.87	c 1294
1395.50	o 17307
1395.50	c 1293
1396.09	o 17308
1396.10	c 1292
1396.72	o 17311
1396.72	c 1289
1400.81	o 17312
1400.81	c 1288
1401.39	o 17313
1401.39	c 1287
1402.03	o 17318
1402.03	c 1282
1403.46	o 17319
1403.46	c 1281
1415.68	o 17322
1415.69	c 1278
1416.94	o 17323
1416.94	c 1277
1417.56	o 17324
1417.56	c 1276
1417.91	o 17327
1417.91	c 1273
1419.15	o 17329
1419.15	c 1271
1423.81	o 17330
1423.81	c 1270
1425.06	o 17331
1425.06	c 1269
1426.64	o 17333
1426.64	c 1267
1431.31	o 17335
1431.31	c 1265
1431.95	o 17336
1431.95	c 1264
1432.56	o 17337
1432.56	c 1263
1433.20	o 17338
1433.20	c 1262
1433.84	o 17339
1433.84	c 1261
1435.12	o 17340
1435.12	c 1260
1435.52	o 17341
1435.52	c 1259
1436.16	o 17342
1436.16	c 1258
1436.80	o 17343
1436.80	c 1257
1437.44	o 17344
1437.44	c 1256
1439.34	o 17345
1439.34	c 1255
1439.98	o 17346
1439.98	c 1254
1440.63	o 17347
1440.63	c 1253
1441.22	o 17349
1441.22	c 1251
1441.87	o 17350
1441.87	c 1250
1442.49	o 17351
1442.49	c 1249
1445.50	o 17355
1445.50	c 1245
1446.13	o 17356
1446.13	c 1244
1452.68	o 17357
1452.68	c 1243
1452.88	o 17359
1452.88	c 1241
1456.88	o 17360
1456.88	c 1240
1457.50	o 17361
1457.50	c 1239
1458.11	o 17362
1458.11	c 1238
1459.34	o 17363
1459.34	c 1237
1459.95	o 17364
1459.95	c 1236
1469.21	o 17365
1469.21	c 1235
1471.66	o 17369
1471.66	c 1231
1475.71	o 17371
1475.71	c 1229
1478.02	o 17372
1478.02	c 1228
1478.35	o 17373
1478.35	c 1227
1479.57	o 17374
1479.57	c 1226
1484.54	o 17375
1484.54	c 1225
1484.92	o 17376
1484.92	c 1224
1485.53	o 17377
1485.53	c 1223
1486.39	o 17378
1486.39	c 1222
1486.88	o 17379
1486.88	c 1221
1488.08	o 17381
1488.08	c 1219
1491.73	o 17382
1491.73	c 1218
1492.94	o 17383
1492.94	c 1217
1500.49	o 17384
1500.49	c 1216
1504.75	o 17385
1504.75	c 1215
1505.30	o 17386
1505.30	c 1214
1505.90	o 17387
1505.90	c 1213
1506.51	o 17388
1506.51	c 1212
1507.12	o 17389
1507.12	c 1211
1508.38	o 17391
1508.38	c 1209
1508.59	o 17393
1508.60	c 1207
1509.20	o 17395
1509.20	c 1205
1510.41	o 17396
1510.41	c 1204
1513.17	o 17397
1513.17	c 1203
1515.38	o 17398
1515.38	c 1202
1515.98	o 17399
1515.98	c 1201
1523.86	o 17400
1523.86	c 1200
1524.49	o 17401
1524.49	c 1199
1535.05	o 17402
1535.05	c 1198
1535.69	o 17405
1535.69	c 1195
1536.75	o 17406
1536.75	c 1194
1538.57	o 17407
1538.57	c 1193
1539.19	o 17408
1539.19	c 1192
1539.58	o 17409
1539.58	c 1191
1544.34	o 17410
1544.34	c 1190
1544.97	o 17414
1544.97	c 1186
1549.64	o 17415
1549.64	c 1185
1550.84	o 17416
1550.84	c 1184
1551.46	o 17417
1551.46	c 1183
1557.38	o 17418
1557.38	c 1182
1564.95	o 17420
1564.95	c 1180
1567.31	o 17423
1567.31	c 1177
1572.96	o 17424
1572.96	c 1176
1573.38	o 17426
1573.38	c 1174
1577.17	o 17427
1577.17	c 1173
1577.82	o 17429
1577.82	c 1171
1578.46	o 17430
1578.46	c 1170
1589.29	o 17431
1589.29	c 1169
1592.53	o 17432
1592.53	c 1168
1598.32	o 17433
1598.32	c 1167
1609.56	o 17434
1609.56	c 1166
1610.88	o 17435
1610.88	c 1165
1611.53	o 17436
1611.53	c 1164
1612.20	o 17438
1612.20	c 1162
1618.08	o 17439
1618.08	c 1161
1624.51	o 17441
1624.51	c 1159
1627.20	o 17442
1627.20	c 1158
1653.62	o 17444
1653.62	c 1156
1654.24	o 17445
1654.24	c 1155
1655.59	o 17446
1655.59	c 1154
1658.76	o 17448
1658.76	c 1152
1662.09	o 17449
1662.09	c 1151
1665.51	o 17450
1665.51	c 1150
1666.05	o 17452
1666.05	c 1148
1679.97	o 17454
1679.97	c 1146
1680.61	o 17456
1680.61	c 1144
1684.91	o 17457
1684.91	c 1143
1685.79	o 17462
1685.79	c 1138
1689.61	o 17463
1689.61	c 1137
1693.39	o 17464
1693.39	c 1136
1695.93	o 17465
1695.93	c 1135
1697.56	o 17466
1697.56	c 1134
1700.26	o 17467
1700.26	c 1133
1706.88	o 17470
1706.88	c 1130
1710.12	o 17471
1710.12	c 1129
1712.13	o 17472
1712.13	c 1128
1712.80	o 17475
1712.80	c 1125
1714.14	o 17476
1714.14	c 1124
1729.27	o 17477
1729.27	c 1123
1729.94	o 17478
1729.94	c 1122
1753.40	o 17479
1753.41	c 1121
1753.71	o 17480
1753.71	c 1120
1753.98	o 17482
1753.98	c 1118
1754.10	o 17485
1754.10	c 1115
1784.44	   
1784.44	   search
1784.44	     run=0  nbConstraintChecks=4140635615  nbAssignments=4788
1784.44	       =>  wckTime=1721.44  cpuTime=1714.54  mem=63M638
1784.44	   
1784.44	   global
1784.44	     nbConstraintChecks=4140635615  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
1784.44	     solvingWckTime=1721.419  solvingCpuTime=1714.52  expiredTime=no  totalExploration=no  nbFoundSolutions=0
1784.44	     globalCpuTime=1775.88
1784.44	       =>  wckTime=1784.126  cpuTime=1775.83  mem=63M638
1784.44	   
1784.44	   solver IterativeSystematicSolver being built... 
1785.08	       =>  wckTime=1784.765  cpuTime=1776.21  mem=153M831
2408.13	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/node5/watcher-275633-1169224283 -o ROOT/results/node5/solver-275633-1169224283 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/275633-1169224283/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 2.00 2.00 4/93 12105
/proc/meminfo: memFree=1176496/2055920 swapFree=4192812/4192956
[pid=12104] ppid=12102 vsize=47976 CPUtime=0
/proc/12104/stat : 12104 (java) D 12102 12104 11693 0 -1 0 1223 0 1 0 0 0 0 0 17 0 1 0 251042715 49127424 972 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 2147483391 0 7368 18446744072099781622 0 0 17 1 0 0
/proc/12104/statm: 11994 972 769 14 0 1707 0

[startup+0.103667 s]
/proc/loadavg: 2.00 2.00 2.00 4/93 12105
/proc/meminfo: memFree=1176496/2055920 swapFree=4192812/4192956
[pid=12104] ppid=12102 vsize=914988 CPUtime=0.09
/proc/12104/stat : 12104 (java) R 12102 12104 11693 0 -1 0 2988 0 1 0 7 2 0 0 17 0 8 0 251042715 936947712 2734 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 2147483391 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12104/statm: 228747 2734 1426 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988

[startup+0.511712 s]
/proc/loadavg: 2.00 2.00 2.00 4/93 12105
/proc/meminfo: memFree=1176496/2055920 swapFree=4192812/4192956
[pid=12104] ppid=12102 vsize=915332 CPUtime=0.49
/proc/12104/stat : 12104 (java) R 12102 12104 11693 0 -1 0 7266 0 1 0 44 5 0 0 17 0 8 0 251042715 937299968 7005 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073592900 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12104/statm: 228833 7005 2143 14 0 215303 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915332

[startup+1.33281 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 12112
/proc/meminfo: memFree=1096952/2055920 swapFree=4192812/4192956
[pid=12104] ppid=12102 vsize=915612 CPUtime=1.3
/proc/12104/stat : 12104 (java) R 12102 12104 11693 0 -1 0 24148 0 1 0 118 12 0 0 22 0 8 0 251042715 937586688 23885 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073611859 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12104/statm: 228903 23885 2164 14 0 215373 0
[pid=12104/tid=12106] ppid=12102 vsize=915612 CPUtime=0.08
/proc/12104/task/12106/stat : 12106 (java) S 12102 12104 11693 0 -1 64 7588 0 0 0 6 2 0 0 16 0 8 0 251042719 937586688 23885 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12104/tid=12107] ppid=12102 vsize=915612 CPUtime=0
/proc/12104/task/12107/stat : 12107 (java) S 12102 12104 11693 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 251042720 937586688 23885 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12104/tid=12108] ppid=12102 vsize=915612 CPUtime=0
/proc/12104/task/12108/stat : 12108 (java) S 12102 12104 11693 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 251042720 937586688 23885 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12104/tid=12109] ppid=12102 vsize=915612 CPUtime=0
/proc/12104/task/12109/stat : 12109 (java) S 12102 12104 11693 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 251042723 937586688 23885 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12104/tid=12110] ppid=12102 vsize=915612 CPUtime=0.16
/proc/12104/task/12110/stat : 12110 (java) S 12102 12104 11693 0 -1 64 403 0 0 0 16 0 0 0 16 0 8 0 251042723 937586688 23885 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12104/tid=12111] ppid=12102 vsize=915612 CPUtime=0
/proc/12104/task/12111/stat : 12111 (java) S 12102 12104 11693 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 251042723 937586688 23885 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12104/tid=12112] ppid=12102 vsize=915612 CPUtime=0
/proc/12104/task/12112/stat : 12112 (java) S 12102 12104 11693 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 251042723 937586688 23885 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915612

[startup+2.96999 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 12112
/proc/meminfo: memFree=1088952/2055920 swapFree=4192812/4192956
[pid=12104] ppid=12102 vsize=915744 CPUtime=2.93
/proc/12104/stat : 12104 (java) R 12102 12104 11693 0 -1 0 24224 0 1 0 280 13 0 0 25 0 8 0 251042715 937721856 23959 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073830759 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12104/statm: 228936 23959 2184 14 0 215406 0
[pid=12104/tid=12106] ppid=12102 vsize=915744 CPUtime=0.11
/proc/12104/task/12106/stat : 12106 (java) S 12102 12104 11693 0 -1 64 7588 0 0 0 9 2 0 0 17 0 8 0 251042719 937721856 23959 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12104/tid=12107] ppid=12102 vsize=915744 CPUtime=0
/proc/12104/task/12107/stat : 12107 (java) S 12102 12104 11693 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 251042720 937721856 23959 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12104/tid=12108] ppid=12102 vsize=915744 CPUtime=0
/proc/12104/task/12108/stat : 12108 (java) S 12102 12104 11693 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 251042720 937721856 23959 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12104/tid=12109] ppid=12102 vsize=915744 CPUtime=0
/proc/12104/task/12109/stat : 12109 (java) S 12102 12104 11693 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 251042723 937721856 23959 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12104/tid=12110] ppid=12102 vsize=915744 CPUtime=0.17
/proc/12104/task/12110/stat : 12110 (java) S 12102 12104 11693 0 -1 64 415 0 0 0 17 0 0 0 16 0 8 0 251042723 937721856 23959 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12104/tid=12111] ppid=12102 vsize=915744 CPUtime=0
/proc/12104/task/12111/stat : 12111 (java) S 12102 12104 11693 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 251042723 937721856 23959 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12104/tid=12112] ppid=12102 vsize=915744 CPUtime=0
/proc/12104/task/12112/stat : 12112 (java) S 12102 12104 11693 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 251042723 937721856 23959 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915744

[startup+6.26736 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 12112
/proc/meminfo: memFree=1088824/2055920 swapFree=4192812/4192956
[pid=12104] ppid=12102 vsize=915744 CPUtime=6.19
/proc/12104/stat : 12104 (java) R 12102 12104 11693 0 -1 0 24227 0 1 0 606 13 0 0 25 0 8 0 251042715 937721856 23961 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073826407 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12104/statm: 228936 23961 2184 14 0 215406 0
[pid=12104/tid=12106] ppid=12102 vsize=915744 CPUtime=0.11
/proc/12104/task/12106/stat : 12106 (java) S 12102 12104 11693 0 -1 64 7588 0 0 0 9 2 0 0 16 0 8 0 251042719 937721856 23961 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12104/tid=12107] ppid=12102 vsize=915744 CPUtime=0
/proc/12104/task/12107/stat : 12107 (java) S 12102 12104 11693 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 251042720 937721856 23961 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12104/tid=12108] ppid=12102 vsize=915744 CPUtime=0
/proc/12104/task/12108/stat : 12108 (java) S 12102 12104 11693 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 251042720 937721856 23961 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12104/tid=12109] ppid=12102 vsize=915744 CPUtime=0
/proc/12104/task/12109/stat : 12109 (java) S 12102 12104 11693 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 251042723 937721856 23961 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12104/tid=12110] ppid=12102 vsize=915744 CPUtime=0.19
/proc/12104/task/12110/stat : 12110 (java) S 12102 12104 11693 0 -1 64 417 0 0 0 18 1 0 0 16 0 8 0 251042723 937721856 23961 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12104/tid=12111] ppid=12102 vsize=915744 CPUtime=0
/proc/12104/task/12111/stat : 12111 (java) S 12102 12104 11693 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 251042723 937721856 23961 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12104/tid=12112] ppid=12102 vsize=915744 CPUtime=0
/proc/12104/task/12112/stat : 12112 (java) S 12102 12104 11693 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 251042723 937721856 23961 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 915744

[startup+12.7381 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 12112
/proc/meminfo: memFree=1089024/2055920 swapFree=4192812/4192956
[pid=12104] ppid=12102 vsize=915744 CPUtime=12.6
/proc/12104/stat : 12104 (java) R 12102 12104 11693 0 -1 0 24239 0 1 0 1246 14 0 0 25 0 8 0 251042715 937721856 23972 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073830759 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12104/statm: 228936 23972 2185 14 0 215406 0
[pid=12104/tid=12106] ppid=12102 vsize=915744 CPUtime=0.11
/proc/12104/task/12106/stat : 12106 (java) S 12102 12104 11693 0 -1 64 7588 0 0 0 9 2 0 0 16 0 8 0 251042719 937721856 23972 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12104/tid=12107] ppid=12102 vsize=915744 CPUtime=0
/proc/12104/task/12107/stat : 12107 (java) S 12102 12104 11693 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 251042720 937721856 23972 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12104/tid=12108] ppid=12102 vsize=915744 CPUtime=0
/proc/12104/task/12108/stat : 12108 (java) S 12102 12104 11693 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 251042720 937721856 23972 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12104/tid=12109] ppid=12102 vsize=915744 CPUtime=0
/proc/12104/task/12109/stat : 12109 (java) S 12102 12104 11693 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 251042723 937721856 23972 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12104/tid=12110] ppid=12102 vsize=915744 CPUtime=0.2
/proc/12104/task/12110/stat : 12110 (java) S 12102 12104 11693 0 -1 64 427 0 0 0 19 1 0 0 16 0 8 0 251042723 937721856 23972 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12104/tid=12111] ppid=12102 vsize=915744 CPUtime=0
/proc/12104/task/12111/stat : 12111 (java) S 12102 12104 11693 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 251042723 937721856 23972 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12104/tid=12112] ppid=12102 vsize=915744 CPUtime=0
/proc/12104/task/12112/stat : 12112 (java) S 12102 12104 11693 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 251042723 937721856 23972 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 915744

[startup+25.6096 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 12112
/proc/meminfo: memFree=1080064/2055920 swapFree=4192812/4192956
[pid=12104] ppid=12102 vsize=915744 CPUtime=25.36
/proc/12104/stat : 12104 (java) R 12102 12104 11693 0 -1 0 26501 0 1 0 2519 17 0 0 25 0 8 0 251042715 937721856 26232 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073825197 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12104/statm: 228936 26232 2185 14 0 215406 0
[pid=12104/tid=12106] ppid=12102 vsize=915744 CPUtime=0.18
/proc/12104/task/12106/stat : 12106 (java) S 12102 12104 11693 0 -1 64 9842 0 0 0 15 3 0 0 16 0 8 0 251042719 937721856 26232 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12104/tid=12107] ppid=12102 vsize=915744 CPUtime=0
/proc/12104/task/12107/stat : 12107 (java) S 12102 12104 11693 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 251042720 937721856 26232 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12104/tid=12108] ppid=12102 vsize=915744 CPUtime=0
/proc/12104/task/12108/stat : 12108 (java) S 12102 12104 11693 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 251042720 937721856 26232 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12104/tid=12109] ppid=12102 vsize=915744 CPUtime=0
/proc/12104/task/12109/stat : 12109 (java) S 12102 12104 11693 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 251042723 937721856 26232 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12104/tid=12110] ppid=12102 vsize=915744 CPUtime=0.21
/proc/12104/task/12110/stat : 12110 (java) S 12102 12104 11693 0 -1 64 433 0 0 0 20 1 0 0 16 0 8 0 251042723 937721856 26232 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12104/tid=12111] ppid=12102 vsize=915744 CPUtime=0
/proc/12104/task/12111/stat : 12111 (java) S 12102 12104 11693 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 251042723 937721856 26232 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12104/tid=12112] ppid=12102 vsize=915744 CPUtime=0
/proc/12104/task/12112/stat : 12112 (java) S 12102 12104 11693 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 251042723 937721856 26232 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 915744

[startup+51.2535 s]
/proc/loadavg: 2.08 2.02 2.01 3/101 12186
/proc/meminfo: memFree=937328/2055920 swapFree=4192812/4192956
[pid=12104] ppid=12102 vsize=915744 CPUtime=50.83
/proc/12104/stat : 12104 (java) R 12102 12104 11693 0 -1 0 28064 0 1 0 5059 24 0 0 25 0 8 0 251042715 937721856 27792 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073841204 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12104/statm: 228936 27792 2185 14 0 215406 0
[pid=12104/tid=12106] ppid=12102 vsize=915744 CPUtime=0.26
/proc/12104/task/12106/stat : 12106 (java) S 12102 12104 11693 0 -1 64 11396 0 0 0 23 3 0 0 17 0 8 0 251042719 937721856 27792 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12104/tid=12107] ppid=12102 vsize=915744 CPUtime=0
/proc/12104/task/12107/stat : 12107 (java) S 12102 12104 11693 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 251042720 937721856 27792 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12104/tid=12108] ppid=12102 vsize=915744 CPUtime=0
/proc/12104/task/12108/stat : 12108 (java) S 12102 12104 11693 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 251042720 937721856 27792 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12104/tid=12109] ppid=12102 vsize=915744 CPUtime=0
/proc/12104/task/12109/stat : 12109 (java) S 12102 12104 11693 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 251042723 937721856 27792 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12104/tid=12110] ppid=12102 vsize=915744 CPUtime=0.22
/proc/12104/task/12110/stat : 12110 (java) S 12102 12104 11693 0 -1 64 439 0 0 0 21 1 0 0 16 0 8 0 251042723 937721856 27792 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12104/tid=12111] ppid=12102 vsize=915744 CPUtime=0
/proc/12104/task/12111/stat : 12111 (java) S 12102 12104 11693 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 251042723 937721856 27792 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12104/tid=12112] ppid=12102 vsize=915744 CPUtime=0
/proc/12104/task/12112/stat : 12112 (java) S 12102 12104 11693 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 251042723 937721856 27792 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.83
Current children cumulated vsize (KiB) 915744

[startup+102.55 s]
/proc/loadavg: 2.11 2.03 2.01 3/101 12186
/proc/meminfo: memFree=461680/2055920 swapFree=4192812/4192956
[pid=12104] ppid=12102 vsize=916768 CPUtime=101.8
/proc/12104/stat : 12104 (java) R 12102 12104 11693 0 -1 0 33864 0 1 0 10141 39 0 0 25 0 8 0 251042715 938770432 33586 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073825221 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12104/statm: 229192 33586 2504 14 0 215662 0
[pid=12104/tid=12106] ppid=12102 vsize=916768 CPUtime=0.69
/proc/12104/task/12106/stat : 12106 (java) S 12102 12104 11693 0 -1 64 16805 0 0 0 64 5 0 0 16 0 8 0 251042719 938770432 33586 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12104/tid=12107] ppid=12102 vsize=916768 CPUtime=0
/proc/12104/task/12107/stat : 12107 (java) S 12102 12104 11693 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 251042720 938770432 33586 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12104/tid=12108] ppid=12102 vsize=916768 CPUtime=0
/proc/12104/task/12108/stat : 12108 (java) S 12102 12104 11693 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 251042720 938770432 33586 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12104/tid=12109] ppid=12102 vsize=916768 CPUtime=0
/proc/12104/task/12109/stat : 12109 (java) S 12102 12104 11693 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 251042723 938770432 33586 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12104/tid=12110] ppid=12102 vsize=916768 CPUtime=0.29
/proc/12104/task/12110/stat : 12110 (java) S 12102 12104 11693 0 -1 64 478 0 0 0 28 1 0 0 16 0 8 0 251042723 938770432 33586 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12104/tid=12111] ppid=12102 vsize=916768 CPUtime=0
/proc/12104/task/12111/stat : 12111 (java) S 12102 12104 11693 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 251042723 938770432 33586 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12104/tid=12112] ppid=12102 vsize=916768 CPUtime=0
/proc/12104/task/12112/stat : 12112 (java) S 12102 12104 11693 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 251042723 938770432 33586 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.8
Current children cumulated vsize (KiB) 916768

[startup+162.651 s]
/proc/loadavg: 2.08 2.04 2.01 3/101 12186
/proc/meminfo: memFree=407152/2055920 swapFree=4192812/4192956
[pid=12104] ppid=12102 vsize=916768 CPUtime=161.55
/proc/12104/stat : 12104 (java) R 12102 12104 11693 0 -1 0 33865 0 1 0 16111 44 0 0 25 0 8 0 251042715 938770432 33587 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074016711 0 4 0 23759 18446744073709551615 0 0 17 0 0 0

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

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

[startup+2084.78 s]
/proc/loadavg: 2.01 2.01 2.00 4/94 12460
/proc/meminfo: memFree=951592/2055920 swapFree=4192812/4192956
[pid=12104] ppid=12102 vsize=916908 CPUtime=2077.08
/proc/12104/stat : 12104 (java) R 12102 12104 11693 0 -1 0 51282 0 1 0 207608 100 0 0 25 0 8 0 251042715 938913792 50996 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073832802 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12104/statm: 229227 50996 2551 14 0 215697 0
[pid=12104/tid=12106] ppid=12102 vsize=916908 CPUtime=0.88
/proc/12104/task/12106/stat : 12106 (java) S 12102 12104 11693 0 -1 64 33977 0 0 0 77 11 0 0 16 0 8 0 251042719 938913792 50996 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12104/tid=12107] ppid=12102 vsize=916908 CPUtime=0
/proc/12104/task/12107/stat : 12107 (java) S 12102 12104 11693 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 251042720 938913792 50996 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12104/tid=12108] ppid=12102 vsize=916908 CPUtime=0
/proc/12104/task/12108/stat : 12108 (java) S 12102 12104 11693 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 251042720 938913792 50996 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12104/tid=12109] ppid=12102 vsize=916908 CPUtime=0
/proc/12104/task/12109/stat : 12109 (java) S 12102 12104 11693 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 251042723 938913792 50996 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12104/tid=12110] ppid=12102 vsize=916908 CPUtime=0.4
/proc/12104/task/12110/stat : 12110 (java) S 12102 12104 11693 0 -1 64 604 0 0 0 38 2 0 0 16 0 8 0 251042723 938913792 50996 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12104/tid=12111] ppid=12102 vsize=916908 CPUtime=0
/proc/12104/task/12111/stat : 12111 (java) S 12102 12104 11693 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 251042723 938913792 50996 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12104/tid=12112] ppid=12102 vsize=916908 CPUtime=0
/proc/12104/task/12112/stat : 12112 (java) S 12102 12104 11693 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 251042723 938913792 50996 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2077.08
Current children cumulated vsize (KiB) 916908

[startup+2144.84 s]
/proc/loadavg: 2.05 2.02 2.00 3/94 12460
/proc/meminfo: memFree=951592/2055920 swapFree=4192812/4192956
[pid=12104] ppid=12102 vsize=916908 CPUtime=2137.09
/proc/12104/stat : 12104 (java) R 12102 12104 11693 0 -1 0 51285 0 1 0 213609 100 0 0 25 0 8 0 251042715 938913792 50997 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074017606 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12104/statm: 229227 50997 2551 14 0 215697 0
[pid=12104/tid=12106] ppid=12102 vsize=916908 CPUtime=0.88
/proc/12104/task/12106/stat : 12106 (java) S 12102 12104 11693 0 -1 64 33977 0 0 0 77 11 0 0 16 0 8 0 251042719 938913792 50997 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12104/tid=12107] ppid=12102 vsize=916908 CPUtime=0
/proc/12104/task/12107/stat : 12107 (java) S 12102 12104 11693 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 251042720 938913792 50997 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12104/tid=12108] ppid=12102 vsize=916908 CPUtime=0
/proc/12104/task/12108/stat : 12108 (java) S 12102 12104 11693 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 251042720 938913792 50997 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12104/tid=12109] ppid=12102 vsize=916908 CPUtime=0
/proc/12104/task/12109/stat : 12109 (java) S 12102 12104 11693 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 251042723 938913792 50997 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12104/tid=12110] ppid=12102 vsize=916908 CPUtime=0.4
/proc/12104/task/12110/stat : 12110 (java) S 12102 12104 11693 0 -1 64 606 0 0 0 38 2 0 0 16 0 8 0 251042723 938913792 50997 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12104/tid=12111] ppid=12102 vsize=916908 CPUtime=0
/proc/12104/task/12111/stat : 12111 (java) S 12102 12104 11693 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 251042723 938913792 50997 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12104/tid=12112] ppid=12102 vsize=916908 CPUtime=0
/proc/12104/task/12112/stat : 12112 (java) R 12102 12104 11693 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 251042723 938913792 50997 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2137.09
Current children cumulated vsize (KiB) 916908

[startup+2204.94 s]
/proc/loadavg: 1.98 2.00 2.00 3/100 12532
/proc/meminfo: memFree=936504/2055920 swapFree=4192812/4192956
[pid=12104] ppid=12102 vsize=916908 CPUtime=2197.1
/proc/12104/stat : 12104 (java) R 12102 12104 11693 0 -1 0 51286 0 1 0 219609 101 0 0 25 0 8 0 251042715 938913792 50997 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074008880 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12104/statm: 229227 50997 2551 14 0 215697 0
[pid=12104/tid=12106] ppid=12102 vsize=916908 CPUtime=0.88
/proc/12104/task/12106/stat : 12106 (java) S 12102 12104 11693 0 -1 64 33977 0 0 0 77 11 0 0 16 0 8 0 251042719 938913792 50997 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12104/tid=12107] ppid=12102 vsize=916908 CPUtime=0
/proc/12104/task/12107/stat : 12107 (java) S 12102 12104 11693 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 251042720 938913792 50997 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12104/tid=12108] ppid=12102 vsize=916908 CPUtime=0
/proc/12104/task/12108/stat : 12108 (java) S 12102 12104 11693 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 251042720 938913792 50997 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12104/tid=12109] ppid=12102 vsize=916908 CPUtime=0
/proc/12104/task/12109/stat : 12109 (java) S 12102 12104 11693 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 251042723 938913792 50997 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12104/tid=12110] ppid=12102 vsize=916908 CPUtime=0.4
/proc/12104/task/12110/stat : 12110 (java) S 12102 12104 11693 0 -1 64 606 0 0 0 38 2 0 0 16 0 8 0 251042723 938913792 50997 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12104/tid=12111] ppid=12102 vsize=916908 CPUtime=0
/proc/12104/task/12111/stat : 12111 (java) S 12102 12104 11693 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 251042723 938913792 50997 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12104/tid=12112] ppid=12102 vsize=916908 CPUtime=0
/proc/12104/task/12112/stat : 12112 (java) S 12102 12104 11693 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 251042723 938913792 50997 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2197.1
Current children cumulated vsize (KiB) 916908

[startup+2264.95 s]
/proc/loadavg: 2.03 2.01 2.00 3/100 12532
/proc/meminfo: memFree=936504/2055920 swapFree=4192812/4192956
[pid=12104] ppid=12102 vsize=916908 CPUtime=2257.05
/proc/12104/stat : 12104 (java) R 12102 12104 11693 0 -1 0 51286 0 1 0 225604 101 0 0 25 0 8 0 251042715 938913792 50997 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073826466 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12104/statm: 229227 50997 2551 14 0 215697 0
[pid=12104/tid=12106] ppid=12102 vsize=916908 CPUtime=0.88
/proc/12104/task/12106/stat : 12106 (java) S 12102 12104 11693 0 -1 64 33977 0 0 0 77 11 0 0 16 0 8 0 251042719 938913792 50997 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12104/tid=12107] ppid=12102 vsize=916908 CPUtime=0
/proc/12104/task/12107/stat : 12107 (java) S 12102 12104 11693 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 251042720 938913792 50997 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12104/tid=12108] ppid=12102 vsize=916908 CPUtime=0
/proc/12104/task/12108/stat : 12108 (java) S 12102 12104 11693 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 251042720 938913792 50997 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12104/tid=12109] ppid=12102 vsize=916908 CPUtime=0
/proc/12104/task/12109/stat : 12109 (java) S 12102 12104 11693 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 251042723 938913792 50997 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12104/tid=12110] ppid=12102 vsize=916908 CPUtime=0.4
/proc/12104/task/12110/stat : 12110 (java) S 12102 12104 11693 0 -1 64 606 0 0 0 38 2 0 0 16 0 8 0 251042723 938913792 50997 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12104/tid=12111] ppid=12102 vsize=916908 CPUtime=0
/proc/12104/task/12111/stat : 12111 (java) S 12102 12104 11693 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 251042723 938913792 50997 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12104/tid=12112] ppid=12102 vsize=916908 CPUtime=0
/proc/12104/task/12112/stat : 12112 (java) S 12102 12104 11693 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 251042723 938913792 50997 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2257.05
Current children cumulated vsize (KiB) 916908

[startup+2324.96 s]
/proc/loadavg: 2.01 2.01 2.00 3/100 12532
/proc/meminfo: memFree=936568/2055920 swapFree=4192812/4192956
[pid=12104] ppid=12102 vsize=916908 CPUtime=2317.02
/proc/12104/stat : 12104 (java) R 12102 12104 11693 0 -1 0 51287 0 1 0 231600 102 0 0 25 0 8 0 251042715 938913792 50997 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073825206 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12104/statm: 229227 50997 2551 14 0 215697 0
[pid=12104/tid=12106] ppid=12102 vsize=916908 CPUtime=0.88
/proc/12104/task/12106/stat : 12106 (java) S 12102 12104 11693 0 -1 64 33977 0 0 0 77 11 0 0 16 0 8 0 251042719 938913792 50997 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12104/tid=12107] ppid=12102 vsize=916908 CPUtime=0
/proc/12104/task/12107/stat : 12107 (java) S 12102 12104 11693 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 251042720 938913792 50997 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12104/tid=12108] ppid=12102 vsize=916908 CPUtime=0
/proc/12104/task/12108/stat : 12108 (java) S 12102 12104 11693 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 251042720 938913792 50997 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12104/tid=12109] ppid=12102 vsize=916908 CPUtime=0
/proc/12104/task/12109/stat : 12109 (java) S 12102 12104 11693 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 251042723 938913792 50997 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12104/tid=12110] ppid=12102 vsize=916908 CPUtime=0.4
/proc/12104/task/12110/stat : 12110 (java) S 12102 12104 11693 0 -1 64 607 0 0 0 38 2 0 0 16 0 8 0 251042723 938913792 50997 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12104/tid=12111] ppid=12102 vsize=916908 CPUtime=0
/proc/12104/task/12111/stat : 12111 (java) S 12102 12104 11693 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 251042723 938913792 50997 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12104/tid=12112] ppid=12102 vsize=916908 CPUtime=0
/proc/12104/task/12112/stat : 12112 (java) S 12102 12104 11693 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 251042723 938913792 50997 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2317.02
Current children cumulated vsize (KiB) 916908

[startup+2384.97 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 12532
/proc/meminfo: memFree=936632/2055920 swapFree=4192812/4192956
[pid=12104] ppid=12102 vsize=916908 CPUtime=2376.94
/proc/12104/stat : 12104 (java) R 12102 12104 11693 0 -1 0 51287 0 1 0 237592 102 0 0 25 0 8 0 251042715 938913792 50997 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074319575 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12104/statm: 229227 50997 2551 14 0 215697 0
[pid=12104/tid=12106] ppid=12102 vsize=916908 CPUtime=0.88
/proc/12104/task/12106/stat : 12106 (java) S 12102 12104 11693 0 -1 64 33977 0 0 0 77 11 0 0 16 0 8 0 251042719 938913792 50997 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12104/tid=12107] ppid=12102 vsize=916908 CPUtime=0
/proc/12104/task/12107/stat : 12107 (java) S 12102 12104 11693 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 251042720 938913792 50997 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12104/tid=12108] ppid=12102 vsize=916908 CPUtime=0
/proc/12104/task/12108/stat : 12108 (java) S 12102 12104 11693 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 251042720 938913792 50997 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12104/tid=12109] ppid=12102 vsize=916908 CPUtime=0
/proc/12104/task/12109/stat : 12109 (java) S 12102 12104 11693 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 251042723 938913792 50997 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12104/tid=12110] ppid=12102 vsize=916908 CPUtime=0.4
/proc/12104/task/12110/stat : 12110 (java) S 12102 12104 11693 0 -1 64 607 0 0 0 38 2 0 0 16 0 8 0 251042723 938913792 50997 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12104/tid=12111] ppid=12102 vsize=916908 CPUtime=0
/proc/12104/task/12111/stat : 12111 (java) S 12102 12104 11693 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 251042723 938913792 50997 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12104/tid=12112] ppid=12102 vsize=916908 CPUtime=0
/proc/12104/task/12112/stat : 12112 (java) S 12102 12104 11693 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 251042723 938913792 50997 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2376.94
Current children cumulated vsize (KiB) 916908



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2408.12 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 12532
/proc/meminfo: memFree=936632/2055920 swapFree=4192812/4192956
[pid=12104] ppid=12102 vsize=916908 CPUtime=2400.09
/proc/12104/stat : 12104 (java) R 12102 12104 11693 0 -1 0 51287 0 1 0 239907 102 0 0 25 0 8 0 251042715 938913792 50997 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074293200 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12104/statm: 229227 50997 2551 14 0 215697 0
[pid=12104/tid=12106] ppid=12102 vsize=916908 CPUtime=0.88
/proc/12104/task/12106/stat : 12106 (java) S 12102 12104 11693 0 -1 64 33977 0 0 0 77 11 0 0 16 0 8 0 251042719 938913792 50997 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12104/tid=12107] ppid=12102 vsize=916908 CPUtime=0
/proc/12104/task/12107/stat : 12107 (java) S 12102 12104 11693 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 251042720 938913792 50997 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12104/tid=12108] ppid=12102 vsize=916908 CPUtime=0
/proc/12104/task/12108/stat : 12108 (java) S 12102 12104 11693 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 251042720 938913792 50997 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12104/tid=12109] ppid=12102 vsize=916908 CPUtime=0
/proc/12104/task/12109/stat : 12109 (java) S 12102 12104 11693 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 251042723 938913792 50997 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12104/tid=12110] ppid=12102 vsize=916908 CPUtime=0.4
/proc/12104/task/12110/stat : 12110 (java) S 12102 12104 11693 0 -1 64 607 0 0 0 38 2 0 0 16 0 8 0 251042723 938913792 50997 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12104/tid=12111] ppid=12102 vsize=916908 CPUtime=0
/proc/12104/task/12111/stat : 12111 (java) S 12102 12104 11693 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 251042723 938913792 50997 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12104/tid=12112] ppid=12102 vsize=916908 CPUtime=0
/proc/12104/task/12112/stat : 12112 (java) S 12102 12104 11693 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 251042723 938913792 50997 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2400.09
Current children cumulated vsize (KiB) 916908

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

Child status: 143
Real time (s): 2408.21
CPU time (s): 2400.18
CPU user time (s): 2399.13
CPU system time (s): 1.05484
CPU usage (%): 99.6665
Max. virtual memory (cumulated for all children) (KiB): 916908

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.13
system time used= 1.05484
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 51311
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= 50469
involuntary context switches= 86579

runsolver used 3.2925 s user time and 7.59884 s system time

The end

Launcher Data (download as text)

Begin job on node5 on Fri Jan 19 16:31:23 UTC 2007


IDJOB= 275633
IDBENCH= 4184
IDSOLVER= 68
FILE ID= node5/275633-1169224283

PBS_JOBID= 3588947

Free space on /tmp= 66559 MiB

SOLVER NAME= AbsconMax 109 EPFC
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 epfc.xml 1 XSax /tmp/evaluation/275633-1169224283/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node5/watcher-275633-1169224283 -o ROOT/results/node5/solver-275633-1169224283 -C 2400 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/275633-1169224283/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  74504524e8a319c1310e9487cb947f0c

RANDOM SEED= 131577307

TIME LIMIT= 2400 seconds

MEMORY LIMIT= 900 MiB


/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.240
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.240
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1176976 kB
Buffers:         60296 kB
Cached:         667304 kB
SwapCached:          0 kB
Active:         240232 kB
Inactive:       561136 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1176976 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            4260 kB
Writeback:           0 kB
Mapped:         102844 kB
Slab:            62256 kB
Committed_AS:  7553004 kB
PageTables:       2272 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 node5 on Fri Jan 19 17:11:31 UTC 2007