Trace number 275639

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.15 2409.04

General information on the benchmark

Namefapp/fapp36-40/fapp36/
fapp36-2000-0.xml
MD5SUM90f8a89d2b50939af615074c82c16fcf
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkMSAT TO
Best Number of satisfied constraints17076
Best CPU time to get the best result obtained on this benchmark2400.07
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.34	   
0.34	   instance
0.34	     name=/tmp/evaluation/275639-1169224619/unknown.xml
0.37	   
0.37	   domains being loaded...
0.41	   
0.41	   variables being loaded...
0.70	     nbVariables=2000  nbDomainTypes=26  minDomainSize=46  maxDomainSize=454
0.70	       =>  wckTime=0.384  cpuTime=0.28  mem=34M228
0.70	   
0.70	   predicates being loaded...
0.70	   
0.70	   constraints being loaded...
61.03	   
61.03	   INFO : Stopping converting binary constraints (cpu=60.01, mem = 61M429)
62.59	     nbConstraints=18600  nbConvertedConstraints=1962  nbConvertConstraintsChecks=189323740  nbExtensionStructures=1572
62.59	     nbSharedExtensionStructures=390  nbConflictsStructures=1572  nbSharedConflictsStructures=390
62.59	     nbSharedBinaryRepresentations=1041277  nbEvaluationManagers=8099  nbSharedEvaluationManagers=8539  maxDegree=25
62.59	     maxArity=2
62.59	       =>  wckTime=62.282  cpuTime=61.28  mem=71M622
62.84	   
62.84	   solver LocalSearchSolver being built... 
62.88	       =>  wckTime=62.569  cpuTime=61.33  mem=62M512
63.06	
63.06	s SATISFIABLE
63.06	o 13187
63.06	c 5413
63.15	o 13194
63.15	c 5406
63.22	o 13201
63.22	c 5399
63.29	o 13205
63.29	c 5395
63.34	o 13209
63.34	c 5391
63.39	o 13213
63.39	c 5387
63.44	o 13215
63.44	c 5385
63.47	o 13216
63.47	c 5384
63.52	o 13222
63.52	c 5378
63.57	o 13228
63.57	c 5372
63.62	o 13233
63.62	c 5367
63.66	o 13238
63.66	c 5362
63.71	o 13243
63.71	c 5357
63.75	o 13247
63.75	c 5353
63.78	o 13251
63.78	c 5349
63.82	o 13255
63.82	c 5345
63.86	o 13259
63.86	c 5341
63.90	o 13263
63.90	c 5337
63.93	o 13266
63.93	c 5334
63.96	o 13269
63.96	c 5331
64.00	o 13272
64.00	c 5328
64.03	o 13275
64.03	c 5325
64.07	o 13277
64.07	c 5323
64.10	o 13279
64.10	c 5321
64.11	o 13281
64.11	c 5319
64.14	o 13283
64.14	c 5317
64.16	o 13285
64.16	c 5315
64.19	o 13286
64.19	c 5314
64.22	o 13287
64.22	c 5313
64.24	o 13288
64.24	c 5312
64.29	o 13289
64.29	c 5311
64.31	o 13290
64.31	c 5310
64.34	o 13299
64.34	c 5301
64.40	o 13303
64.40	c 5297
64.45	o 13308
64.45	c 5292
64.50	o 13313
64.51	c 5287
64.56	o 13318
64.56	c 5282
64.62	o 13322
64.62	c 5278
64.67	o 13326
64.67	c 5274
64.72	o 13330
64.72	c 5270
64.76	o 13334
64.76	c 5266
64.80	o 13338
64.80	c 5262
64.85	o 13341
64.85	c 5259
64.89	o 13344
64.89	c 5256
64.94	o 13347
64.94	c 5253
64.98	o 13350
64.98	c 5250
65.03	o 13353
65.03	c 5247
65.07	o 13356
65.07	c 5244
65.12	o 13358
65.12	c 5242
65.16	o 13360
65.16	c 5240
65.20	o 13362
65.20	c 5238
65.25	o 13364
65.25	c 5236
65.30	o 13366
65.30	c 5234
65.33	o 13368
65.33	c 5232
65.37	o 13370
65.37	c 5230
65.40	o 13372
65.40	c 5228
65.42	o 13374
65.42	c 5226
65.46	o 13376
65.46	c 5224
65.48	o 13377
65.48	c 5223
65.50	o 13378
65.50	c 5222
65.54	o 13379
65.55	c 5221
65.58	o 13380
65.58	c 5220
65.62	o 13381
65.62	c 5219
65.63	o 13382
65.63	c 5218
65.69	o 13383
65.69	c 5217
65.75	o 13384
65.75	c 5216
65.78	o 13386
65.78	c 5214
65.83	o 13393
65.83	c 5207
65.90	o 13398
65.90	c 5202
65.95	o 13403
65.95	c 5197
66.01	o 13405
66.01	c 5195
66.06	o 13410
66.06	c 5190
66.12	o 13414
66.12	c 5186
66.17	o 13418
66.18	c 5182
66.23	o 13421
66.23	c 5179
66.29	o 13424
66.29	c 5176
66.33	o 13427
66.33	c 5173
66.38	o 13430
66.38	c 5170
66.43	o 13433
66.43	c 5167
66.48	o 13436
66.48	c 5164
66.53	o 13439
66.53	c 5161
66.57	o 13442
66.57	c 5158
66.62	o 13445
66.62	c 5155
66.67	o 13448
66.67	c 5152
66.70	o 13451
66.70	c 5149
66.74	o 13454
66.74	c 5146
66.78	o 13456
66.78	c 5144
66.82	o 13458
66.82	c 5142
66.85	o 13460
66.85	c 5140
66.89	o 13462
66.89	c 5138
66.92	o 13464
66.92	c 5136
66.95	o 13466
66.95	c 5134
67.00	o 13468
67.00	c 5132
67.03	o 13470
67.03	c 5130
67.06	o 13472
67.06	c 5128
67.08	o 13474
67.08	c 5126
67.11	o 13476
67.11	c 5124
67.13	o 13478
67.13	c 5122
67.15	o 13480
67.15	c 5120
67.18	o 13481
67.18	c 5119
67.21	o 13482
67.21	c 5118
67.23	o 13483
67.23	c 5117
67.27	o 13484
67.27	c 5116
67.28	o 13485
67.28	c 5115
67.32	o 13490
67.32	c 5110
67.34	o 13496
67.34	c 5104
67.36	o 13500
67.36	c 5100
67.38	o 13501
67.38	c 5099
67.39	o 13508
67.40	c 5092
67.42	o 13513
67.42	c 5087
67.45	o 13517
67.45	c 5083
67.49	o 13519
67.49	c 5081
67.52	o 13522
67.52	c 5078
67.54	o 13529
67.54	c 5071
67.57	o 13535
67.57	c 5065
67.60	o 13540
67.60	c 5060
67.63	o 13543
67.63	c 5057
67.68	o 13546
67.68	c 5054
67.70	o 13549
67.70	c 5051
67.76	o 13553
67.76	c 5047
67.79	o 13554
67.79	c 5046
67.82	o 13555
67.82	c 5045
67.89	o 13557
67.89	c 5043
67.92	o 13561
67.92	c 5039
67.97	o 13563
67.97	c 5037
68.01	o 13567
68.01	c 5033
68.05	o 13569
68.05	c 5031
68.07	o 13570
68.07	c 5030
68.11	o 13573
68.11	c 5027
68.16	o 13576
68.16	c 5024
68.23	o 13580
68.23	c 5020
68.26	o 13584
68.26	c 5016
68.31	o 13586
68.31	c 5014
68.36	o 13590
68.36	c 5010
68.42	o 13592
68.42	c 5008
68.50	o 13598
68.50	c 5002
68.57	o 13604
68.57	c 4996
68.66	o 13610
68.66	c 4990
68.74	o 13616
68.74	c 4984
68.82	o 13621
68.82	c 4979
68.90	o 13626
68.90	c 4974
68.99	o 13631
68.99	c 4969
69.07	o 13636
69.07	c 4964
69.15	o 13641
69.15	c 4959
69.24	o 13645
69.24	c 4955
69.32	o 13647
69.32	c 4953
69.40	o 13651
69.40	c 4949
69.46	o 13655
69.46	c 4945
69.53	o 13659
69.53	c 4941
69.61	o 13663
69.61	c 4937
69.70	o 13667
69.70	c 4933
69.76	o 13670
69.76	c 4930
69.83	o 13673
69.83	c 4927
69.90	o 13676
69.91	c 4924
69.97	o 13679
69.97	c 4921
70.03	o 13682
70.03	c 4918
70.09	o 13685
70.09	c 4915
70.14	o 13688
70.14	c 4912
70.20	o 13690
70.20	c 4910
70.25	o 13692
70.25	c 4908
70.30	o 13694
70.30	c 4906
70.36	o 13696
70.36	c 4904
70.40	o 13698
70.40	c 4902
70.45	o 13700
70.45	c 4900
70.52	o 13703
70.52	c 4897
70.62	o 13705
70.62	c 4895
70.66	o 13707
70.66	c 4893
70.71	o 13709
70.71	c 4891
70.77	o 13711
70.77	c 4889
70.82	o 13713
70.82	c 4887
70.86	o 13715
70.86	c 4885
70.90	o 13717
70.90	c 4883
70.95	o 13718
70.95	c 4882
70.99	o 13719
70.99	c 4881
71.03	o 13720
71.03	c 4880
71.05	o 13721
71.05	c 4879
71.09	o 13722
71.09	c 4878
71.12	o 13723
71.12	c 4877
71.15	o 13724
71.15	c 4876
71.18	o 13725
71.18	c 4875
71.22	o 13726
71.22	c 4874
71.25	o 13727
71.25	c 4873
71.28	o 13728
71.28	c 4872
71.31	o 13729
71.31	c 4871
71.34	o 13736
71.34	c 4864
71.40	o 13737
71.40	c 4863
71.42	o 13740
71.42	c 4860
71.44	o 13745
71.44	c 4855
71.47	o 13746
71.47	c 4854
71.49	o 13749
71.49	c 4851
71.52	o 13753
71.52	c 4847
71.55	o 13756
71.55	c 4844
71.57	o 13761
71.57	c 4839
71.59	o 13764
71.59	c 4836
71.65	o 13766
71.65	c 4834
71.68	o 13768
71.68	c 4832
71.71	o 13775
71.71	c 4825
71.75	o 13776
71.75	c 4824
71.79	o 13777
71.79	c 4823
71.81	o 13779
71.81	c 4821
71.94	o 13782
71.94	c 4818
71.98	o 13783
71.98	c 4817
72.01	o 13787
72.01	c 4813
72.07	o 13792
72.07	c 4808
72.11	o 13794
72.11	c 4806
72.14	o 13801
72.14	c 4799
72.18	o 13809
72.18	c 4791
72.22	o 13814
72.22	c 4786
72.27	o 13815
72.27	c 4785
72.31	o 13816
72.31	c 4784
72.33	o 13824
72.33	c 4776
72.36	o 13827
72.36	c 4773
72.39	o 13829
72.39	c 4771
72.44	o 13832
72.44	c 4768
72.49	o 13833
72.49	c 4767
72.53	o 13834
72.53	c 4766
72.63	o 13836
72.63	c 4764
72.66	o 13837
72.66	c 4763
72.70	o 13839
72.70	c 4761
72.73	o 13842
72.73	c 4758
72.81	o 13845
72.81	c 4755
72.87	o 13850
72.87	c 4750
72.91	o 13852
72.91	c 4748
72.96	o 13856
72.96	c 4744
73.00	o 13857
73.00	c 4743
73.10	o 13859
73.10	c 4741
73.17	o 13866
73.17	c 4734
73.23	o 13869
73.23	c 4731
73.29	o 13876
73.29	c 4724
73.37	o 13882
73.37	c 4718
73.46	o 13888
73.46	c 4712
73.60	o 13889
73.60	c 4711
73.68	o 13890
73.68	c 4710
73.76	o 13896
73.76	c 4704
73.85	o 13902
73.85	c 4698
73.92	o 13904
73.92	c 4696
74.01	o 13909
74.01	c 4691
74.10	o 13914
74.10	c 4686
74.19	o 13919
74.19	c 4681
74.28	o 13923
74.28	c 4677
74.37	o 13927
74.37	c 4673
74.45	o 13929
74.45	c 4671
74.55	o 13933
74.55	c 4667
74.64	o 13937
74.64	c 4663
74.74	o 13941
74.74	c 4659
74.83	o 13943
74.83	c 4657
74.91	o 13946
74.91	c 4654
75.01	o 13950
75.01	c 4650
75.09	o 13953
75.09	c 4647
75.27	o 13956
75.27	c 4644
75.36	o 13959
75.36	c 4641
75.45	o 13962
75.45	c 4638
75.53	o 13965
75.53	c 4635
75.62	o 13968
75.62	c 4632
75.70	o 13971
75.70	c 4629
75.78	o 13974
75.78	c 4626
75.86	o 13977
75.86	c 4623
75.94	o 13980
75.94	c 4620
76.01	o 13982
76.01	c 4618
76.09	o 13984
76.09	c 4616
76.16	o 13986
76.16	c 4614
76.23	o 13988
76.23	c 4612
76.30	o 13990
76.30	c 4610
76.36	o 13992
76.36	c 4608
76.42	o 13996
76.42	c 4604
76.49	o 13998
76.49	c 4602
76.55	o 14000
76.55	c 4600
76.61	o 14002
76.61	c 4598
76.68	o 14004
76.68	c 4596
76.74	o 14006
76.74	c 4594
76.79	o 14007
76.79	c 4593
76.84	o 14008
76.84	c 4592
76.90	o 14009
76.90	c 4591
76.95	o 14010
76.95	c 4590
77.00	o 14011
77.00	c 4589
77.05	o 14012
77.05	c 4588
77.10	o 14013
77.10	c 4587
77.15	o 14014
77.15	c 4586
77.19	o 14017
77.19	c 4583
77.35	o 14019
77.35	c 4581
77.41	o 14025
77.41	c 4575
77.46	o 14029
77.46	c 4571
77.49	o 14030
77.49	c 4570
77.60	o 14037
77.60	c 4563
77.65	o 14044
77.65	c 4556
77.71	o 14050
77.71	c 4550
77.76	o 14051
77.76	c 4549
77.81	o 14055
77.81	c 4545
77.87	o 14061
77.87	c 4539
77.91	o 14062
77.91	c 4538
77.96	o 14069
77.96	c 4531
78.00	o 14074
78.00	c 4526
78.14	o 14077
78.14	c 4523
78.22	o 14078
78.22	c 4522
78.32	o 14080
78.32	c 4520
78.43	o 14082
78.43	c 4518
78.55	o 14083
78.55	c 4517
78.59	o 14086
78.59	c 4514
78.63	o 14088
78.63	c 4512
78.67	o 14092
78.67	c 4508
78.71	o 14093
78.71	c 4507
78.75	o 14095
78.75	c 4505
78.81	o 14099
78.81	c 4501
78.85	o 14101
78.85	c 4499
78.89	o 14104
78.89	c 4496
78.98	o 14108
78.98	c 4492
79.03	o 14110
79.03	c 4490
79.16	o 14112
79.16	c 4488
79.26	o 14116
79.26	c 4484
79.32	o 14120
79.32	c 4480
79.37	o 14121
79.37	c 4479
79.43	o 14122
79.43	c 4478
79.47	o 14124
79.47	c 4476
79.52	o 14127
79.52	c 4473
79.57	o 14129
79.57	c 4471
79.61	o 14133
79.61	c 4467
79.66	o 14138
79.66	c 4462
79.71	o 14140
79.71	c 4460
79.76	o 14143
79.76	c 4457
79.81	o 14146
79.81	c 4454
79.86	o 14147
79.86	c 4453
79.91	o 14149
79.91	c 4451
79.96	o 14150
79.96	c 4450
80.04	o 14153
80.04	c 4447
80.08	o 14155
80.08	c 4445
80.13	o 14159
80.13	c 4441
80.18	o 14161
80.18	c 4439
80.24	o 14164
80.24	c 4436
80.30	o 14169
80.30	c 4431
80.41	o 14172
80.41	c 4428
80.45	o 14174
80.45	c 4426
80.50	o 14176
80.50	c 4424
80.55	o 14179
80.55	c 4421
80.60	o 14181
80.60	c 4419
80.64	o 14182
80.64	c 4418
80.68	o 14187
80.68	c 4413
80.73	o 14189
80.73	c 4411
80.78	o 14194
80.78	c 4406
80.83	o 14200
80.83	c 4400
80.88	o 14204
80.88	c 4396
80.91	o 14207
80.91	c 4393
80.97	o 14208
80.97	c 4392
81.02	o 14209
81.02	c 4391
81.08	o 14212
81.08	c 4388
81.13	o 14216
81.13	c 4384
81.17	o 14218
81.17	c 4382
81.22	o 14219
81.22	c 4381
81.29	o 14222
81.29	c 4378
81.34	o 14223
81.34	c 4377
81.50	o 14225
81.50	c 4375
81.57	o 14228
81.57	c 4372
81.63	o 14233
81.63	c 4367
81.68	o 14234
81.68	c 4366
81.72	o 14236
81.72	c 4364
81.77	o 14239
81.77	c 4361
81.82	o 14241
81.82	c 4359
81.86	o 14246
81.86	c 4354
81.93	o 14248
81.93	c 4352
82.00	o 14250
82.00	c 4350
82.08	o 14255
82.08	c 4345
82.16	o 14259
82.16	c 4341
82.25	o 14263
82.25	c 4337
82.39	o 14267
82.39	c 4333
82.46	o 14271
82.46	c 4329
82.53	o 14275
82.54	c 4325
82.61	o 14277
82.61	c 4323
82.69	o 14281
82.69	c 4319
82.76	o 14285
82.76	c 4315
82.84	o 14288
82.84	c 4312
82.91	o 14291
82.91	c 4309
82.98	o 14294
82.98	c 4306
83.05	o 14297
83.05	c 4303
83.12	o 14299
83.12	c 4301
83.20	o 14301
83.20	c 4299
83.28	o 14303
83.28	c 4297
83.37	o 14305
83.37	c 4295
83.53	o 14307
83.53	c 4293
83.59	o 14310
83.59	c 4290
83.65	o 14311
83.65	c 4289
83.71	o 14314
83.71	c 4286
83.77	o 14315
83.77	c 4285
83.84	o 14316
83.84	c 4284
83.90	o 14317
83.90	c 4283
83.97	o 14318
83.97	c 4282
84.02	o 14319
84.02	c 4281
84.06	o 14320
84.07	c 4280
84.27	o 14321
84.27	c 4279
84.32	o 14324
84.32	c 4276
84.37	o 14325
84.37	c 4275
84.43	o 14328
84.43	c 4272
84.49	o 14329
84.49	c 4271
84.55	o 14330
84.55	c 4270
84.60	o 14331
84.60	c 4269
84.65	o 14337
84.65	c 4263
84.71	o 14341
84.71	c 4259
84.76	o 14343
84.76	c 4257
84.81	o 14347
84.81	c 4253
84.92	o 14348
84.92	c 4252
84.96	o 14350
84.96	c 4250
85.07	o 14356
85.07	c 4244
85.13	o 14360
85.13	c 4240
85.17	o 14363
85.17	c 4237
85.23	o 14367
85.23	c 4233
85.28	o 14368
85.28	c 4232
85.35	o 14369
85.35	c 4231
85.43	o 14370
85.43	c 4230
85.47	o 14372
85.47	c 4228
85.52	o 14373
85.52	c 4227
85.62	o 14380
85.62	c 4220
85.69	o 14382
85.69	c 4218
85.75	o 14385
85.75	c 4215
85.79	o 14386
85.79	c 4214
85.84	o 14387
85.84	c 4213
85.89	o 14389
85.89	c 4211
85.94	o 14391
85.94	c 4209
86.00	o 14392
86.00	c 4208
86.04	o 14396
86.05	c 4204
86.10	o 14397
86.10	c 4203
86.14	o 14400
86.14	c 4200
86.32	o 14405
86.32	c 4195
86.43	o 14406
86.43	c 4194
86.49	o 14407
86.49	c 4193
86.55	o 14408
86.55	c 4192
86.61	o 14411
86.62	c 4189
86.68	o 14413
86.68	c 4187
86.74	o 14415
86.74	c 4185
86.80	o 14417
86.80	c 4183
86.94	o 14420
86.94	c 4180
87.08	o 14422
87.08	c 4178
87.15	o 14423
87.15	c 4177
87.30	o 14425
87.30	c 4175
87.38	o 14427
87.38	c 4173
87.45	o 14428
87.45	c 4172
87.59	o 14430
87.59	c 4170
87.76	o 14433
87.76	c 4167
87.85	o 14434
87.85	c 4166
87.93	o 14435
87.93	c 4165
88.02	o 14438
88.02	c 4162
88.10	o 14441
88.10	c 4159
88.18	o 14443
88.18	c 4157
88.28	o 14444
88.28	c 4156
88.37	o 14446
88.37	c 4154
88.46	o 14449
88.46	c 4151
88.55	o 14452
88.55	c 4148
89.04	o 14454
89.04	c 4146
89.30	o 14457
89.30	c 4143
89.41	o 14461
89.41	c 4139
89.51	o 14463
89.51	c 4137
89.59	o 14464
89.59	c 4136
89.68	o 14465
89.68	c 4135
89.77	o 14467
89.77	c 4133
89.87	o 14469
89.87	c 4131
89.96	o 14470
89.96	c 4130
90.05	o 14474
90.05	c 4126
90.15	o 14475
90.15	c 4125
90.22	o 14480
90.22	c 4120
90.31	o 14483
90.31	c 4117
90.39	o 14485
90.39	c 4115
90.48	o 14488
90.48	c 4112
90.68	o 14491
90.68	c 4109
90.77	o 14492
90.77	c 4108
90.86	o 14493
90.86	c 4107
90.96	o 14494
90.96	c 4106
91.07	o 14495
91.07	c 4105
91.16	o 14497
91.16	c 4103
91.55	o 14500
91.55	c 4100
91.65	o 14501
91.65	c 4099
91.77	o 14502
91.77	c 4098
91.86	o 14504
91.86	c 4096
92.14	o 14505
92.14	c 4095
92.24	o 14509
92.24	c 4091
92.33	o 14510
92.33	c 4090
92.42	o 14515
92.42	c 4085
92.71	o 14516
92.71	c 4084
92.81	o 14517
92.81	c 4083
92.89	o 14522
92.89	c 4078
93.16	o 14523
93.16	c 4077
93.26	o 14525
93.26	c 4075
93.39	o 14531
93.39	c 4069
93.52	o 14536
93.52	c 4064
93.66	o 14540
93.66	c 4060
93.81	o 14543
93.81	c 4057
93.96	o 14546
93.96	c 4054
94.10	o 14549
94.10	c 4051
94.23	o 14550
94.23	c 4050
94.37	o 14553
94.37	c 4047
94.49	o 14555
94.49	c 4045
94.63	o 14557
94.63	c 4043
94.76	o 14559
94.76	c 4041
95.02	o 14561
95.02	c 4039
95.16	o 14563
95.16	c 4037
95.29	o 14565
95.29	c 4035
95.42	o 14567
95.42	c 4033
95.55	o 14569
95.55	c 4031
95.68	o 14570
95.68	c 4030
95.81	o 14571
95.81	c 4029
95.93	o 14572
95.93	c 4028
96.05	o 14573
96.05	c 4027
96.18	o 14574
96.18	c 4026
96.30	o 14575
96.30	c 4025
96.77	o 14576
96.77	c 4024
96.88	o 14577
96.88	c 4023
97.00	o 14578
97.00	c 4022
97.11	o 14579
97.11	c 4021
97.22	o 14580
97.22	c 4020
97.34	o 14581
97.34	c 4019
97.74	o 14582
97.74	c 4018
97.84	o 14583
97.84	c 4017
97.94	o 14584
97.94	c 4016
98.03	o 14586
98.03	c 4014
98.52	o 14587
98.52	c 4013
98.89	o 14589
98.89	c 4011
98.99	o 14591
98.99	c 4009
99.28	o 14595
99.28	c 4005
99.38	o 14599
99.38	c 4001
99.61	o 14603
99.61	c 3997
99.71	o 14604
99.71	c 3996
99.95	o 14605
99.95	c 3995
100.08	o 14607
100.08	c 3993
100.32	o 14609
100.32	c 3991
100.43	o 14610
100.43	c 3990
100.56	o 14612
100.56	c 3988
100.81	o 14614
100.81	c 3986
100.93	o 14619
100.93	c 3981
101.07	o 14621
101.07	c 3979
101.31	o 14623
101.31	c 3977
101.64	o 14628
101.64	c 3972
101.74	o 14630
101.74	c 3970
101.86	o 14632
101.86	c 3968
102.06	o 14633
102.06	c 3967
102.16	o 14637
102.16	c 3963
102.27	o 14638
102.27	c 3962
102.39	o 14641
102.39	c 3959
102.50	o 14643
102.50	c 3957
102.60	o 14646
102.60	c 3954
102.94	o 14650
102.94	c 3950
103.05	o 14651
103.05	c 3949
103.15	o 14652
103.15	c 3948
103.33	o 14656
103.33	c 3944
103.43	o 14659
103.43	c 3941
103.54	o 14662
103.54	c 3938
103.64	o 14664
103.64	c 3936
103.73	o 14666
103.73	c 3934
103.93	o 14667
103.93	c 3933
104.46	o 14669
104.46	c 3931
104.91	o 14671
104.91	c 3929
105.02	o 14675
105.02	c 3925
105.14	o 14677
105.14	c 3923
105.27	o 14680
105.27	c 3920
105.38	o 14682
105.38	c 3918
105.75	o 14688
105.75	c 3912
105.87	o 14692
105.87	c 3908
106.00	o 14694
106.00	c 3906
106.61	o 14696
106.61	c 3904
106.73	o 14697
106.73	c 3903
106.86	o 14698
106.86	c 3902
106.99	o 14701
106.99	c 3899
107.11	o 14702
107.11	c 3898
107.37	o 14703
107.37	c 3897
107.72	o 14705
107.72	c 3895
107.83	o 14708
107.83	c 3892
108.53	o 14710
108.53	c 3890
108.79	o 14711
108.79	c 3889
108.91	o 14713
108.91	c 3887
109.04	o 14715
109.04	c 3885
110.11	o 14717
110.11	c 3883
110.23	o 14723
110.23	c 3877
110.61	o 14724
110.61	c 3876
110.85	o 14726
110.85	c 3874
110.98	o 14727
110.98	c 3873
111.11	o 14730
111.11	c 3870
111.23	o 14734
111.23	c 3866
111.34	o 14736
111.34	c 3864
111.46	o 14741
111.46	c 3859
111.59	o 14745
111.59	c 3855
112.07	o 14749
112.07	c 3851
112.19	o 14751
112.19	c 3849
112.43	o 14754
112.43	c 3846
112.54	o 14757
112.54	c 3843
112.67	o 14759
112.67	c 3841
112.78	o 14763
112.78	c 3837
112.91	o 14766
112.91	c 3834
113.04	o 14770
113.04	c 3830
113.16	o 14772
113.16	c 3828
113.55	o 14773
113.55	c 3827
113.81	o 14774
113.81	c 3826
113.95	o 14777
113.95	c 3823
114.07	o 14780
114.07	c 3820
114.21	o 14781
114.21	c 3819
114.33	o 14786
114.33	c 3814
114.47	o 14788
114.47	c 3812
114.60	o 14790
114.60	c 3810
114.83	o 14791
114.83	c 3809
114.96	o 14796
114.96	c 3804
115.05	o 14800
115.05	c 3800
115.18	o 14805
115.18	c 3795
115.30	o 14807
115.30	c 3793
115.42	o 14809
115.42	c 3791
115.55	o 14812
115.55	c 3788
115.67	o 14814
115.67	c 3786
115.91	o 14816
115.91	c 3784
116.15	o 14818
116.15	c 3782
116.27	o 14822
116.27	c 3778
116.52	o 14826
116.52	c 3774
116.63	o 14829
116.63	c 3771
117.10	o 14830
117.10	c 3770
117.20	o 14831
117.20	c 3769
117.32	o 14834
117.32	c 3766
117.56	o 14838
117.56	c 3762
118.01	o 14839
118.01	c 3761
118.26	o 14842
118.26	c 3758
118.38	o 14844
118.38	c 3756
118.61	o 14846
118.61	c 3754
118.71	o 14849
118.71	c 3751
118.94	o 14852
118.94	c 3748
119.07	o 14853
119.07	c 3747
119.20	o 14854
119.20	c 3746
119.34	o 14856
119.34	c 3744
119.47	o 14858
119.47	c 3742
119.61	o 14861
119.61	c 3739
119.73	o 14862
119.73	c 3738
119.87	o 14866
119.87	c 3734
120.02	o 14870
120.02	c 3730
120.16	o 14873
120.16	c 3727
120.29	o 14877
120.29	c 3723
120.43	o 14880
120.43	c 3720
120.57	o 14883
120.57	c 3717
120.73	o 14885
120.73	c 3715
120.88	o 14887
120.88	c 3713
121.02	o 14889
121.02	c 3711
121.15	o 14891
121.15	c 3709
121.52	o 14894
121.52	c 3706
121.66	o 14896
121.66	c 3704
121.80	o 14898
121.80	c 3702
121.94	o 14900
121.94	c 3700
122.08	o 14901
122.08	c 3699
122.21	o 14904
122.21	c 3696
122.35	o 14906
122.35	c 3694
122.48	o 14909
122.48	c 3691
122.61	o 14910
122.61	c 3690
122.75	o 14911
122.75	c 3689
122.88	o 14912
122.88	c 3688
123.01	o 14913
123.01	c 3687
123.26	o 14916
123.26	c 3684
123.86	o 14918
123.86	c 3682
124.22	o 14921
124.22	c 3679
124.70	o 14924
124.70	c 3676
124.83	o 14926
124.83	c 3674
124.96	o 14927
124.96	c 3673
125.08	o 14929
125.08	c 3671
125.22	o 14932
125.22	c 3668
125.32	o 14933
125.32	c 3667
125.44	o 14934
125.44	c 3666
125.79	o 14935
125.79	c 3665
126.01	o 14939
126.01	c 3661
126.15	o 14941
126.15	c 3659
126.27	o 14942
126.27	c 3658
126.63	o 14944
126.63	c 3656
126.76	o 14945
126.76	c 3655
127.02	o 14946
127.02	c 3654
127.13	o 14951
127.13	c 3649
127.49	o 14953
127.49	c 3647
127.60	o 14955
127.60	c 3645
127.84	o 14956
127.84	c 3644
128.18	o 14959
128.18	c 3641
128.29	o 14961
128.29	c 3639
128.41	o 14962
128.41	c 3638
128.52	o 14964
128.52	c 3636
128.65	o 14966
128.65	c 3634
128.77	o 14969
128.77	c 3631
128.89	o 14970
128.89	c 3630
129.10	o 14972
129.10	c 3628
129.20	o 14977
129.20	c 3623
129.42	o 14978
129.42	c 3622
129.65	o 14980
129.65	c 3620
129.88	o 14985
129.88	c 3615
130.00	o 14987
130.00	c 3613
130.13	o 14990
130.13	c 3610
130.25	o 14991
130.25	c 3609
130.39	o 14993
130.39	c 3607
130.52	o 14996
130.52	c 3604
130.67	o 14997
130.67	c 3603
130.95	o 14999
130.95	c 3601
131.08	o 15003
131.08	c 3597
131.35	o 15004
131.35	c 3596
131.75	o 15007
131.75	c 3593
131.88	o 15008
131.88	c 3592
132.18	o 15012
132.18	c 3588
132.63	o 15013
132.63	c 3587
132.78	o 15016
132.78	c 3584
132.92	o 15017
132.92	c 3583
133.07	o 15018
133.07	c 3582
133.22	o 15021
133.22	c 3579
133.35	o 15024
133.35	c 3576
133.49	o 15027
133.49	c 3573
134.04	o 15028
134.04	c 3572
135.15	o 15030
135.15	c 3570
135.60	o 15032
135.60	c 3568
135.74	o 15033
135.74	c 3567
135.88	o 15034
135.88	c 3566
136.55	o 15036
136.55	c 3564
136.69	o 15038
136.69	c 3562
136.81	o 15041
136.81	c 3559
136.96	o 15042
136.96	c 3558
137.09	o 15045
137.09	c 3555
137.63	o 15047
137.63	c 3553
137.77	o 15049
137.77	c 3551
138.20	o 15051
138.20	c 3549
138.90	o 15052
138.90	c 3548
139.05	o 15055
139.05	c 3545
139.20	o 15059
139.20	c 3541
139.36	o 15060
139.36	c 3540
139.52	o 15062
139.52	c 3538
139.60	o 15069
139.60	c 3531
139.75	o 15073
139.75	c 3527
139.91	o 15075
139.91	c 3525
140.19	o 15077
140.19	c 3523
140.54	o 15080
140.54	c 3520
140.70	o 15082
140.70	c 3518
140.87	o 15083
140.87	c 3517
141.19	o 15084
141.19	c 3516
141.35	o 15087
141.35	c 3513
141.51	o 15089
141.51	c 3511
141.68	o 15092
141.68	c 3508
141.83	o 15093
141.83	c 3507
142.17	o 15096
142.17	c 3504
142.34	o 15097
142.34	c 3503
142.52	o 15098
142.52	c 3502
143.04	o 15100
143.04	c 3500
143.20	o 15102
143.20	c 3498
143.52	o 15106
143.52	c 3494
143.68	o 15109
143.68	c 3491
144.80	o 15111
144.80	c 3489
144.96	o 15112
144.96	c 3488
145.14	o 15113
145.14	c 3487
145.30	o 15115
145.30	c 3485
145.47	o 15117
145.47	c 3483
145.79	o 15122
145.79	c 3478
145.95	o 15125
145.95	c 3475
146.12	o 15128
146.12	c 3472
146.28	o 15129
146.28	c 3471
146.44	o 15131
146.44	c 3469
146.61	o 15135
146.61	c 3465
147.10	o 15137
147.10	c 3463
147.26	o 15139
147.26	c 3461
147.42	o 15141
147.42	c 3459
147.77	o 15142
147.77	c 3458
148.31	o 15143
148.31	c 3457
148.48	o 15144
148.48	c 3456
148.64	o 15145
148.64	c 3455
148.81	o 15149
148.81	c 3451
148.98	o 15150
148.98	c 3450
149.15	o 15152
149.15	c 3448
149.32	o 15153
149.32	c 3447
149.66	o 15155
149.66	c 3445
149.83	o 15156
149.83	c 3444
149.99	o 15157
149.99	c 3443
150.16	o 15159
150.16	c 3441
150.33	o 15161
150.33	c 3439
150.49	o 15164
150.49	c 3436
150.65	o 15166
150.65	c 3434
150.81	o 15169
150.81	c 3431
150.97	o 15172
150.97	c 3428
151.13	o 15173
151.13	c 3427
151.45	o 15175
151.45	c 3425
151.61	o 15176
151.61	c 3424
151.79	o 15179
151.79	c 3421
151.94	o 15181
151.94	c 3419
152.10	o 15182
152.10	c 3418
152.27	o 15183
152.27	c 3417
152.76	o 15184
152.76	c 3416
152.94	o 15187
152.94	c 3413
153.10	o 15188
153.10	c 3412
153.27	o 15189
153.27	c 3411
153.42	o 15191
153.42	c 3409
153.58	o 15195
153.58	c 3405
153.74	o 15196
153.74	c 3404
153.90	o 15200
153.90	c 3400
154.09	o 15203
154.09	c 3397
154.44	o 15207
154.44	c 3393
154.61	o 15208
154.61	c 3392
154.77	o 15210
154.77	c 3390
154.94	o 15211
154.94	c 3389
155.12	o 15212
155.12	c 3388
155.29	o 15214
155.29	c 3386
155.47	o 15220
155.47	c 3380
155.98	o 15223
155.98	c 3377
156.16	o 15224
156.16	c 3376
156.34	o 15225
156.34	c 3375
156.66	o 15226
156.66	c 3374
156.82	o 15230
156.82	c 3370
157.00	o 15232
157.00	c 3368
157.35	o 15233
157.35	c 3367
157.53	o 15234
157.53	c 3366
157.70	o 15240
157.70	c 3360
158.06	o 15241
158.06	c 3359
158.24	o 15242
158.24	c 3358
158.41	o 15245
158.41	c 3355
158.60	o 15247
158.60	c 3353
158.96	o 15248
158.96	c 3352
159.52	o 15250
159.52	c 3350
159.72	o 15251
159.72	c 3349
159.93	o 15253
159.93	c 3347
160.14	o 15255
160.14	c 3345
160.54	o 15258
160.54	c 3342
160.74	o 15261
160.74	c 3339
160.94	o 15265
160.94	c 3335
161.15	o 15268
161.15	c 3332
161.54	o 15270
161.54	c 3330
161.73	o 15273
161.73	c 3327
161.93	o 15276
161.93	c 3324
162.14	o 15279
162.14	c 3321
162.35	o 15281
162.35	c 3319
162.56	o 15283
162.57	c 3317
162.79	o 15284
162.79	c 3316
163.20	o 15285
163.20	c 3315
163.41	o 15286
163.41	c 3314
163.62	o 15287
163.62	c 3313
163.82	o 15288
163.82	c 3312
164.03	o 15289
164.04	c 3311
164.24	o 15290
164.24	c 3310
165.47	o 15294
165.47	c 3306
165.68	o 15295
165.68	c 3305
166.01	o 15297
166.01	c 3303
166.20	o 15300
166.20	c 3300
167.36	o 15301
167.36	c 3299
167.56	o 15302
167.56	c 3298
167.77	o 15304
167.77	c 3296
168.15	o 15305
168.15	c 3295
168.35	o 15306
168.35	c 3294
168.54	o 15310
168.54	c 3290
168.72	o 15312
168.72	c 3288
169.44	o 15314
169.44	c 3286
169.62	o 15315
169.62	c 3285
169.81	o 15316
169.81	c 3284
170.17	o 15317
170.17	c 3283
170.33	o 15318
170.33	c 3282
170.67	o 15320
170.67	c 3280
170.85	o 15321
170.85	c 3279
171.03	o 15322
171.03	c 3278
171.39	o 15324
171.39	c 3276
171.56	o 15325
171.56	c 3275
171.74	o 15326
171.74	c 3274
171.93	o 15327
171.93	c 3273
172.29	o 15329
172.29	c 3271
172.90	o 15330
172.90	c 3270
173.10	o 15333
173.10	c 3267
173.29	o 15334
173.29	c 3266
173.47	o 15338
173.47	c 3262
173.65	o 15339
173.65	c 3261
173.84	o 15341
173.84	c 3259
174.04	o 15342
174.04	c 3258
174.25	o 15343
174.25	c 3257
175.08	o 15345
175.08	c 3255
175.29	o 15346
175.29	c 3254
175.49	o 15348
175.49	c 3252
175.69	o 15349
175.69	c 3251
175.87	o 15350
175.87	c 3250
176.06	o 15352
176.06	c 3248
176.26	o 15354
176.26	c 3246
176.48	o 15357
176.48	c 3243
176.68	o 15360
176.68	c 3240
176.89	o 15363
176.89	c 3237
177.09	o 15365
177.09	c 3235
177.30	o 15368
177.30	c 3232
177.70	o 15370
177.70	c 3230
178.14	o 15371
178.14	c 3229
178.30	o 15373
178.30	c 3227
178.49	o 15374
178.49	c 3226
178.90	o 15378
178.90	c 3222
179.30	o 15380
179.30	c 3220
179.49	o 15382
179.49	c 3218
179.69	o 15383
179.69	c 3217
179.88	o 15386
179.88	c 3214
180.28	o 15387
180.28	c 3213
180.49	o 15388
180.49	c 3212
180.71	o 15390
180.71	c 3210
180.90	o 15393
180.90	c 3207
181.76	o 15397
181.76	c 3203
181.98	o 15400
181.98	c 3200
182.20	o 15402
182.20	c 3198
182.42	o 15403
182.42	c 3197
182.62	o 15406
182.62	c 3194
183.69	o 15407
183.69	c 3193
183.91	o 15409
183.91	c 3191
184.12	o 15410
184.12	c 3190
184.32	o 15412
184.32	c 3188
184.54	o 15414
184.54	c 3186
184.75	o 15417
184.75	c 3183
185.61	o 15418
185.61	c 3182
185.81	o 15422
185.81	c 3178
186.01	o 15424
186.01	c 3176
186.22	o 15426
186.22	c 3174
186.87	o 15427
186.87	c 3173
187.08	o 15431
187.08	c 3169
187.29	o 15433
187.29	c 3167
187.50	o 15434
187.50	c 3166
189.42	o 15437
189.42	c 3163
189.63	o 15438
189.63	c 3162
189.84	o 15441
189.84	c 3159
190.06	o 15447
190.06	c 3153
190.28	o 15448
190.28	c 3152
190.51	o 15451
190.51	c 3149
190.71	o 15455
190.71	c 3145
190.92	o 15458
190.92	c 3142
191.17	o 15459
191.17	c 3141
191.41	o 15460
191.41	c 3140
192.11	o 15462
192.11	c 3138
192.34	o 15465
192.34	c 3135
192.82	o 15467
192.82	c 3133
193.08	o 15469
193.08	c 3131
194.82	o 15470
194.82	c 3130
195.32	o 15471
195.32	c 3129
195.57	o 15472
195.57	c 3128
195.83	o 15475
195.83	c 3125
196.09	o 15476
196.09	c 3124
196.33	o 15477
196.33	c 3123
196.58	o 15480
196.58	c 3120
197.08	o 15481
197.08	c 3119
198.04	o 15484
198.04	c 3116
198.74	o 15485
198.74	c 3115
199.21	o 15486
199.21	c 3114
199.46	o 15487
199.46	c 3113
199.94	o 15490
199.94	c 3110
200.43	o 15492
200.43	c 3108
200.65	o 15493
200.65	c 3107
201.55	o 15495
201.55	c 3105
201.79	o 15496
201.79	c 3104
202.02	o 15498
202.02	c 3102
202.26	o 15501
202.26	c 3099
202.48	o 15503
202.48	c 3097
202.72	o 15504
202.72	c 3096
202.93	o 15508
202.93	c 3092
203.16	o 15510
203.16	c 3090
203.37	o 15511
203.37	c 3089
203.59	o 15515
203.59	c 3085
203.82	o 15519
203.82	c 3081
204.03	o 15521
204.03	c 3079
204.24	o 15523
204.24	c 3077
204.45	o 15524
204.45	c 3076
204.66	o 15528
204.66	c 3072
205.08	o 15530
205.08	c 3070
205.30	o 15532
205.30	c 3068
205.51	o 15534
205.51	c 3066
205.71	o 15539
205.71	c 3061
205.94	o 15542
205.94	c 3058
206.17	o 15546
206.17	c 3054
206.39	o 15551
206.39	c 3049
206.59	o 15552
206.59	c 3048
206.81	o 15554
206.81	c 3046
207.04	o 15555
207.04	c 3045
207.26	o 15558
207.26	c 3042
207.47	o 15560
207.47	c 3040
207.69	o 15564
207.69	c 3036
208.57	o 15565
208.57	c 3035
208.79	o 15570
208.79	c 3030
209.01	o 15572
209.01	c 3028
209.22	o 15573
209.22	c 3027
209.42	o 15574
209.42	c 3026
209.87	o 15575
209.87	c 3025
210.31	o 15579
210.31	c 3021
210.94	o 15582
210.94	c 3018
211.16	o 15584
211.16	c 3016
211.37	o 15585
211.37	c 3015
211.80	o 15586
211.80	c 3014
212.02	o 15587
212.02	c 3013
212.23	o 15590
212.23	c 3010
212.44	o 15594
212.44	c 3006
212.66	o 15595
212.66	c 3005
212.89	o 15596
212.89	c 3004
213.12	o 15597
213.12	c 3003
213.35	o 15599
213.35	c 3001
213.57	o 15601
213.57	c 2999
213.80	o 15605
213.80	c 2995
214.03	o 15609
214.03	c 2991
214.71	o 15610
214.71	c 2990
214.93	o 15612
214.93	c 2988
215.37	o 15614
215.37	c 2986
215.83	o 15616
215.83	c 2984
216.05	o 15618
216.05	c 2982
216.29	o 15623
216.29	c 2977
217.17	o 15626
217.17	c 2974
217.40	o 15629
217.40	c 2971
217.62	o 15632
217.62	c 2968
217.84	o 15636
217.84	c 2964
218.06	o 15638
218.06	c 2962
218.30	o 15641
218.30	c 2959
218.75	o 15643
218.75	c 2957
218.96	o 15645
218.96	c 2955
219.42	o 15646
219.42	c 2954
219.66	o 15647
219.66	c 2953
219.89	o 15651
219.89	c 2949
219.98	o 15656
219.98	c 2944
220.42	o 15658
220.42	c 2942
220.65	o 15660
220.65	c 2940
220.89	o 15661
220.89	c 2939
221.57	o 15662
221.57	c 2938
221.80	o 15665
221.80	c 2935
221.97	o 15668
221.97	c 2932
222.20	o 15669
222.20	c 2931
222.42	o 15670
222.42	c 2930
222.65	o 15671
222.65	c 2929
223.10	o 15673
223.10	c 2927
223.32	o 15675
223.32	c 2925
223.54	o 15676
223.54	c 2924
223.77	o 15680
223.77	c 2920
223.99	o 15682
223.99	c 2918
224.21	o 15683
224.21	c 2917
224.43	o 15684
224.43	c 2916
224.64	o 15686
224.64	c 2914
226.50	o 15687
226.50	c 2913
226.72	o 15689
226.72	c 2911
226.94	o 15690
226.94	c 2910
227.14	o 15692
227.14	c 2908
227.57	o 15694
227.57	c 2906
227.78	o 15695
227.78	c 2905
228.00	o 15698
228.00	c 2902
228.21	o 15700
228.21	c 2900
228.42	o 15701
228.42	c 2899
228.66	o 15702
228.66	c 2898
228.88	o 15705
228.88	c 2895
229.09	o 15706
229.09	c 2894
229.98	o 15708
229.98	c 2892
230.18	o 15711
230.18	c 2889
230.42	o 15714
230.42	c 2886
230.66	o 15715
230.66	c 2885
231.33	o 15717
231.33	c 2883
231.77	o 15718
231.77	c 2882
231.99	o 15722
231.99	c 2878
232.24	o 15723
232.24	c 2877
232.48	o 15724
232.48	c 2876
234.09	o 15725
234.09	c 2875
234.55	o 15727
234.55	c 2873
234.80	o 15728
234.80	c 2872
235.02	o 15731
235.02	c 2869
235.24	o 15735
235.24	c 2865
235.49	o 15736
235.50	c 2864
235.72	o 15738
235.72	c 2862
236.22	o 15739
236.22	c 2861
236.51	o 15740
236.51	c 2860
236.77	o 15744
236.77	c 2856
237.02	o 15747
237.02	c 2853
237.52	o 15748
237.52	c 2852
237.78	o 15749
237.78	c 2851
238.27	o 15750
238.27	c 2850
238.51	o 15751
238.51	c 2849
239.56	o 15753
239.56	c 2847
239.82	o 15755
239.82	c 2845
240.09	o 15758
240.09	c 2842
240.36	o 15761
240.36	c 2839
240.63	o 15763
240.63	c 2837
240.91	o 15766
240.91	c 2834
242.89	o 15770
242.89	c 2830
243.18	o 15771
243.18	c 2829
243.50	o 15772
243.50	c 2828
243.81	o 15773
243.81	c 2827
244.73	o 15774
244.73	c 2826
245.04	o 15775
245.04	c 2825
245.34	o 15776
245.34	c 2824
245.65	o 15779
245.65	c 2821
245.96	o 15782
245.96	c 2818
246.56	o 15783
246.56	c 2817
247.15	o 15786
247.15	c 2814
247.75	o 15787
247.75	c 2813
248.04	o 15790
248.04	c 2810
248.33	o 15791
248.33	c 2809
248.63	o 15792
248.63	c 2808
248.93	o 15793
248.93	c 2807
249.23	o 15794
249.23	c 2806
249.53	o 15797
249.53	c 2803
250.10	o 15798
250.10	c 2802
250.42	o 15800
250.42	c 2800
250.69	o 15802
250.69	c 2798
250.99	o 15804
250.99	c 2796
251.59	o 15807
251.59	c 2793
252.78	o 15809
252.78	c 2791
253.39	o 15810
253.39	c 2790
254.52	o 15811
254.52	c 2789
254.82	o 15814
254.82	c 2786
255.11	o 15816
255.11	c 2784
255.70	o 15819
255.70	c 2781
256.00	o 15823
256.00	c 2777
256.29	o 15826
256.29	c 2774
256.58	o 15828
256.58	c 2772
256.87	o 15830
256.87	c 2770
257.19	o 15831
257.19	c 2769
257.50	o 15832
257.50	c 2768
257.79	o 15834
257.80	c 2766
258.98	o 15837
258.98	c 2763
259.28	o 15838
259.28	c 2762
261.76	o 15840
261.76	c 2760
262.08	o 15841
262.08	c 2759
262.63	o 15844
262.63	c 2756
262.93	o 15845
262.93	c 2755
263.26	o 15846
263.26	c 2754
263.46	o 15849
263.46	c 2751
264.37	o 15850
264.37	c 2750
264.67	o 15852
264.67	c 2748
264.97	o 15853
264.97	c 2747
265.29	o 15855
265.29	c 2745
265.90	o 15856
265.90	c 2744
266.22	o 15857
266.22	c 2743
266.54	o 15858
266.54	c 2742
266.86	o 15859
266.86	c 2741
267.18	o 15860
267.18	c 2740
272.51	o 15861
272.51	c 2739
272.81	o 15864
272.81	c 2736
273.12	o 15867
273.12	c 2733
273.73	o 15869
273.73	c 2731
274.04	o 15871
274.04	c 2729
274.35	o 15872
274.35	c 2728
274.66	o 15874
274.66	c 2726
274.97	o 15877
274.97	c 2723
275.57	o 15878
275.57	c 2722
275.87	o 15879
275.87	c 2721
276.47	o 15881
276.47	c 2719
276.77	o 15883
276.77	c 2717
277.08	o 15885
277.08	c 2715
277.38	o 15887
277.38	c 2713
277.69	o 15888
277.69	c 2712
278.00	o 15891
278.00	c 2709
280.48	o 15892
280.48	c 2708
280.79	o 15895
280.79	c 2705
281.10	o 15897
281.10	c 2703
282.59	o 15898
282.59	c 2702
282.90	o 15899
282.90	c 2701
283.52	o 15901
283.52	c 2699
283.82	o 15903
283.82	c 2697
284.45	o 15904
284.45	c 2696
285.67	o 15906
285.67	c 2694
285.97	o 15907
285.97	c 2693
286.29	o 15909
286.29	c 2691
288.14	o 15912
288.14	c 2688
288.44	o 15914
288.44	c 2686
289.71	o 15916
289.71	c 2684
290.34	o 15918
290.34	c 2682
290.96	o 15920
290.96	c 2680
291.88	o 15921
291.88	c 2679
292.07	o 15923
292.07	c 2677
292.67	o 15926
292.67	c 2674
293.27	o 15927
293.27	c 2673
293.57	o 15928
293.57	c 2672
293.86	o 15929
293.86	c 2671
294.15	o 15930
294.15	c 2670
294.45	o 15932
294.45	c 2668
295.03	o 15933
295.03	c 2667
295.32	o 15934
295.32	c 2666
295.91	o 15935
295.91	c 2665
296.20	o 15936
296.20	c 2664
298.71	o 15937
298.71	c 2663
298.99	o 15943
298.99	c 2657
299.27	o 15944
299.27	c 2656
299.56	o 15946
299.56	c 2654
299.73	o 15950
299.73	c 2650
300.02	o 15952
300.02	c 2648
301.76	o 15956
301.76	c 2644
301.94	o 15960
301.94	c 2640
302.25	o 15962
302.25	c 2638
302.55	o 15964
302.55	c 2636
302.84	o 15965
302.84	c 2635
304.81	o 15967
304.81	c 2633
305.09	o 15968
305.09	c 2632
305.38	o 15969
305.38	c 2631
305.67	o 15970
305.67	c 2630
305.96	o 15972
305.96	c 2628
306.24	o 15975
306.24	c 2625
306.53	o 15977
306.53	c 2623
307.39	o 15979
307.39	c 2621
307.68	o 15982
307.68	c 2618
308.00	o 15985
308.00	c 2615
308.30	o 15988
308.30	c 2612
308.59	o 15990
308.59	c 2610
309.12	o 15991
309.12	c 2609
309.71	o 15996
309.71	c 2604
310.61	o 15997
310.61	c 2603
311.20	o 15998
311.20	c 2602
312.65	o 16000
312.65	c 2600
313.96	o 16001
313.96	c 2599
314.25	o 16002
314.25	c 2598
314.53	o 16003
314.53	c 2597
315.12	o 16004
315.12	c 2596
316.60	o 16005
316.60	c 2595
319.55	o 16007
319.55	c 2593
319.84	o 16008
319.84	c 2592
320.60	o 16010
320.60	c 2590
320.90	o 16011
320.90	c 2589
321.19	o 16013
321.19	c 2587
321.76	o 16014
321.76	c 2586
321.98	o 16016
321.98	c 2584
322.81	o 16018
322.81	c 2582
323.10	o 16020
323.10	c 2580
323.40	o 16021
323.40	c 2579
323.68	o 16022
323.68	c 2578
323.96	o 16023
323.96	c 2577
324.52	o 16027
324.52	c 2573
325.11	o 16029
325.11	c 2571
325.40	o 16030
325.40	c 2570
325.70	o 16031
325.70	c 2569
326.00	o 16032
326.00	c 2568
326.30	o 16033
326.30	c 2567
326.89	o 16036
326.89	c 2564
327.20	o 16038
327.20	c 2562
327.51	o 16039
327.51	c 2561
328.48	o 16040
328.48	c 2560
329.41	o 16042
329.41	c 2558
329.72	o 16043
329.72	c 2557
330.05	o 16044
330.05	c 2556
330.37	o 16045
330.37	c 2555
334.71	o 16048
334.71	c 2552
335.07	o 16051
335.07	c 2549
335.24	o 16054
335.24	c 2546
335.92	o 16055
335.92	c 2545
339.65	o 16056
339.65	c 2544
340.74	o 16057
340.74	c 2543
341.10	o 16059
341.10	c 2541
341.45	o 16060
341.45	c 2540
341.81	o 16062
341.81	c 2538
342.16	o 16066
342.16	c 2534
342.51	o 16071
342.51	c 2529
343.57	o 16073
343.57	c 2527
349.90	o 16075
349.90	c 2525
350.26	o 16077
350.26	c 2523
351.62	o 16078
351.62	c 2522
351.95	o 16079
351.95	c 2521
352.30	o 16081
352.30	c 2519
352.84	o 16082
352.84	c 2518
353.11	o 16085
353.11	c 2515
353.61	o 16086
353.61	c 2514
353.93	o 16087
353.93	c 2513
354.87	o 16088
354.87	c 2512
355.19	o 16091
355.19	c 2509
355.51	o 16092
355.51	c 2508
356.79	o 16093
356.79	c 2507
359.93	o 16094
359.93	c 2506
363.65	o 16095
363.65	c 2505
363.98	o 16097
363.98	c 2503
364.31	o 16099
364.31	c 2501
364.98	o 16100
364.98	c 2500
365.31	o 16102
365.31	c 2498
365.64	o 16104
365.64	c 2496
366.64	o 16106
366.64	c 2494
366.77	o 16107
366.77	c 2493
367.10	o 16109
367.10	c 2491
367.78	o 16110
367.78	c 2490
368.11	o 16112
368.11	c 2488
368.45	o 16113
368.45	c 2487
368.78	o 16114
368.78	c 2486
371.35	o 16118
371.35	c 2482
371.68	o 16119
371.68	c 2481
372.32	o 16120
372.32	c 2480
372.67	o 16122
372.67	c 2478
373.32	o 16126
373.32	c 2474
375.60	o 16127
375.60	c 2473
375.93	o 16128
375.93	c 2472
376.58	o 16129
376.58	c 2471
376.90	o 16132
376.90	c 2468
377.23	o 16133
377.23	c 2467
377.57	o 16137
377.57	c 2463
378.22	o 16138
378.22	c 2462
378.56	o 16139
378.56	c 2461
378.89	o 16141
378.89	c 2459
379.23	o 16145
379.23	c 2455
379.55	o 16146
379.55	c 2454
379.84	o 16148
379.84	c 2452
380.51	o 16149
380.51	c 2451
380.78	o 16152
380.78	c 2448
381.11	o 16154
381.11	c 2446
381.43	o 16155
381.43	c 2445
381.78	o 16156
381.78	c 2444
383.46	o 16157
383.46	c 2443
383.80	o 16160
383.80	c 2440
385.29	o 16162
385.29	c 2438
385.59	o 16163
385.59	c 2437
385.92	o 16164
385.92	c 2436
391.86	o 16165
391.86	c 2435
392.20	o 16167
392.20	c 2433
392.45	o 16168
392.45	c 2432
392.79	o 16170
392.79	c 2430
394.46	o 16171
394.46	c 2429
395.50	o 16172
395.50	c 2428
395.83	o 16173
395.83	c 2427
398.20	o 16174
398.20	c 2426
398.55	o 16175
398.55	c 2425
399.86	o 16176
399.86	c 2424
400.19	o 16177
400.19	c 2423
400.54	o 16179
400.54	c 2421
400.89	o 16180
400.90	c 2420
401.26	o 16181
401.26	c 2419
401.61	o 16183
401.61	c 2417
401.96	o 16186
401.96	c 2414
402.31	o 16187
402.31	c 2413
402.85	o 16188
402.85	c 2412
403.19	o 16189
403.19	c 2411
403.55	o 16190
403.55	c 2410
403.90	o 16193
403.90	c 2407
404.25	o 16196
404.25	c 2404
404.95	o 16197
404.95	c 2403
405.29	o 16199
405.29	c 2401
405.63	o 16202
405.63	c 2398
405.98	o 16204
405.98	c 2396
406.60	o 16207
406.60	c 2393
410.14	o 16208
410.14	c 2392
412.26	o 16209
412.26	c 2391
412.61	o 16211
412.61	c 2389
412.96	o 16212
412.96	c 2388
413.32	o 16214
413.32	c 2386
413.67	o 16216
413.67	c 2384
414.02	o 16218
414.02	c 2382
415.47	o 16220
415.47	c 2380
415.85	o 16221
415.85	c 2379
416.21	o 16223
416.21	c 2377
416.89	o 16225
416.89	c 2375
417.26	o 16226
417.26	c 2374
417.98	o 16227
417.98	c 2373
418.69	o 16228
418.69	c 2372
419.04	o 16231
419.04	c 2369
419.78	o 16233
419.78	c 2367
420.53	o 16236
420.53	c 2364
420.90	o 16237
420.90	c 2363
421.27	o 16239
421.27	c 2361
423.84	o 16241
423.84	c 2359
427.33	o 16242
427.33	c 2358
428.48	o 16243
428.48	c 2357
428.87	o 16245
428.87	c 2355
429.63	o 16246
429.63	c 2354
429.96	o 16248
429.96	c 2352
430.34	o 16249
430.34	c 2351
430.71	o 16250
430.71	c 2350
431.45	o 16251
431.45	c 2349
432.22	o 16253
432.22	c 2347
432.97	o 16254
432.97	c 2346
434.48	o 16257
434.48	c 2343
435.23	o 16259
435.23	c 2341
435.59	o 16261
435.59	c 2339
435.98	o 16263
435.98	c 2337
436.35	o 16265
436.35	c 2335
436.72	o 16267
436.72	c 2333
437.03	o 16270
437.03	c 2330
437.38	o 16271
437.38	c 2329
437.74	o 16272
437.74	c 2328
438.81	o 16273
438.81	c 2327
439.19	o 16276
439.19	c 2324
439.57	o 16278
439.57	c 2322
439.95	o 16280
439.95	c 2320
440.33	o 16281
440.33	c 2319
441.10	o 16282
441.10	c 2318
441.61	o 16283
441.61	c 2317
442.00	o 16284
442.00	c 2316
442.78	o 16285
442.78	c 2315
444.35	o 16289
444.35	c 2311
444.73	o 16292
444.73	c 2308
446.31	o 16294
446.31	c 2306
446.68	o 16295
446.68	c 2305
447.07	o 16296
447.07	c 2304
447.85	o 16297
447.85	c 2303
448.19	o 16298
448.19	c 2302
449.38	o 16299
449.38	c 2301
450.14	o 16300
450.14	c 2300
450.53	o 16301
450.53	c 2299
450.92	o 16302
450.92	c 2298
451.31	o 16303
451.31	c 2297
453.54	o 16305
453.54	c 2295
453.89	o 16310
453.89	c 2290
454.98	o 16311
454.98	c 2289
455.70	o 16312
455.70	c 2288
456.05	o 16313
456.05	c 2287
457.12	o 16317
457.12	c 2283
457.48	o 16319
457.48	c 2281
457.53	o 16324
457.53	c 2276
457.90	o 16327
457.90	c 2273
458.24	o 16330
458.24	c 2270
458.61	o 16332
458.61	c 2268
458.95	o 16335
458.95	c 2265
460.02	o 16336
460.02	c 2264
460.74	o 16338
460.74	c 2262
461.10	o 16342
461.10	c 2258
461.47	o 16344
461.47	c 2256
462.19	o 16345
462.19	c 2255
462.55	o 16347
462.55	c 2253
463.14	o 16349
463.14	c 2251
463.87	o 16351
463.87	c 2249
464.24	o 16353
464.24	c 2247
464.94	o 16354
464.94	c 2246
465.31	o 16357
465.31	c 2243
465.67	o 16359
465.67	c 2241
466.01	o 16360
466.01	c 2240
466.75	o 16363
466.75	c 2237
467.10	o 16364
467.10	c 2236
467.45	o 16365
467.45	c 2235
468.17	o 16366
468.17	c 2234
468.89	o 16368
468.89	c 2232
469.24	o 16369
469.24	c 2231
473.90	o 16370
473.90	c 2230
474.26	o 16373
474.26	c 2227
474.64	o 16374
474.64	c 2226
475.00	o 16376
475.00	c 2224
475.37	o 16378
475.37	c 2222
475.74	o 16379
475.74	c 2221
475.89	o 16380
475.89	c 2220
476.08	o 16382
476.08	c 2218
476.47	o 16383
476.47	c 2217
478.77	o 16388
478.77	c 2212
479.11	o 16390
479.11	c 2210
480.26	o 16391
480.26	c 2209
480.66	o 16393
480.66	c 2207
481.04	o 16397
481.04	c 2203
494.05	o 16398
494.05	c 2202
494.45	o 16399
494.45	c 2201
494.86	o 16401
494.86	c 2199
500.52	o 16403
500.52	c 2197
500.84	o 16404
500.84	c 2196
501.28	o 16406
501.28	c 2194
502.60	o 16407
502.60	c 2193
504.79	o 16408
504.79	c 2192
505.17	o 16410
505.17	c 2190
505.62	o 16411
505.62	c 2189
506.05	o 16412
506.05	c 2188
506.48	o 16413
506.48	c 2187
507.29	o 16415
507.29	c 2185
507.72	o 16418
507.72	c 2182
508.16	o 16423
508.16	c 2177
508.41	o 16425
508.41	c 2175
508.85	o 16426
508.85	c 2174
510.50	o 16429
510.50	c 2171
510.91	o 16431
510.91	c 2169
512.20	o 16433
512.20	c 2167
514.34	o 16434
514.34	c 2166
515.22	o 16436
515.22	c 2164
515.50	o 16438
515.50	c 2162
517.21	o 16439
517.22	c 2161
518.10	o 16440
518.10	c 2160
520.76	o 16441
520.76	c 2159
523.55	o 16444
523.55	c 2156
524.48	o 16445
524.48	c 2155
526.42	o 16446
526.42	c 2154
526.91	o 16447
526.91	c 2153
527.40	o 16448
527.40	c 2152
528.49	o 16450
528.49	c 2150
528.95	o 16451
528.95	c 2149
534.57	o 16452
534.57	c 2148
535.75	o 16453
535.75	c 2147
536.21	o 16454
536.21	c 2146
536.68	o 16455
536.68	c 2145
537.62	o 16456
537.62	c 2144
538.56	o 16457
538.56	c 2143
539.04	o 16458
539.04	c 2142
539.51	o 16459
539.51	c 2141
539.98	o 16461
539.98	c 2139
540.45	o 16462
540.45	c 2138
540.92	o 16463
540.92	c 2137
542.79	o 16465
542.79	c 2135
543.26	o 16466
543.26	c 2134
544.24	o 16467
544.24	c 2133
544.71	o 16468
544.71	c 2132
546.14	o 16470
546.14	c 2130
546.60	o 16473
546.60	c 2127
547.09	o 16474
547.09	c 2126
548.04	o 16475
548.04	c 2125
548.50	o 16478
548.50	c 2122
548.97	o 16481
548.97	c 2119
550.35	o 16483
550.35	c 2117
550.81	o 16485
550.81	c 2115
551.23	o 16486
551.23	c 2114
552.13	o 16488
552.13	c 2112
552.60	o 16490
552.60	c 2110
553.04	o 16491
553.04	c 2109
555.29	o 16493
555.29	c 2107
556.70	o 16495
556.70	c 2105
557.64	o 16496
557.64	c 2104
562.04	o 16497
562.04	c 2103
567.22	o 16498
567.22	c 2102
567.71	o 16501
567.71	c 2099
568.00	o 16502
568.00	c 2098
568.45	o 16503
568.45	c 2097
568.90	o 16505
568.90	c 2095
569.19	o 16509
569.19	c 2091
569.60	o 16510
569.60	c 2090
570.46	o 16513
570.46	c 2087
570.89	o 16514
570.89	c 2086
571.32	o 16517
571.32	c 2083
571.50	o 16519
571.50	c 2081
575.73	o 16520
575.73	c 2080
577.46	o 16521
577.46	c 2079
578.29	o 16522
578.29	c 2078
579.14	o 16523
579.14	c 2077
580.01	o 16524
580.01	c 2076
580.44	o 16525
580.44	c 2075
588.94	o 16526
588.94	c 2074
591.43	o 16528
591.43	c 2072
603.48	o 16529
603.48	c 2071
604.40	o 16533
604.40	c 2067
604.57	o 16535
604.57	c 2065
605.48	o 16536
605.48	c 2064
605.94	o 16538
605.94	c 2062
606.40	o 16539
606.40	c 2061
607.60	o 16540
607.60	c 2060
608.05	o 16542
608.05	c 2058
608.52	o 16544
608.52	c 2056
609.43	o 16545
609.43	c 2055
612.12	o 16550
612.12	c 2050
612.58	o 16551
612.58	c 2049
613.01	o 16552
613.01	c 2048
613.92	o 16553
613.92	c 2047
614.85	o 16555
614.85	c 2045
615.77	o 16557
615.77	c 2043
618.90	o 16559
618.90	c 2041
621.29	o 16560
621.29	c 2040
621.76	o 16563
621.76	c 2037
622.72	o 16564
622.72	c 2036
624.15	o 16565
624.15	c 2035
626.47	o 16567
626.47	c 2033
626.98	o 16569
626.98	c 2031
628.90	o 16570
628.90	c 2030
629.42	o 16571
629.42	c 2029
630.41	o 16574
630.41	c 2026
630.91	o 16576
630.91	c 2024
631.41	o 16577
631.41	c 2023
632.92	o 16578
632.92	c 2022
635.44	o 16579
635.44	c 2021
639.54	o 16580
639.54	c 2020
640.08	o 16581
640.08	c 2019
640.60	o 16584
640.60	c 2016
641.11	o 16586
641.11	c 2014
642.16	o 16587
642.16	c 2013
642.70	o 16590
642.70	c 2010
648.15	o 16592
648.15	c 2008
648.68	o 16594
648.68	c 2006
650.26	o 16595
650.26	c 2005
652.36	o 16597
652.36	c 2003
652.87	o 16598
652.87	c 2002
653.40	o 16600
653.40	c 2000
657.39	o 16601
657.39	c 1999
658.45	o 16603
658.45	c 1997
659.50	o 16605
659.50	c 1995
661.06	o 16606
661.06	c 1994
661.58	o 16609
661.58	c 1991
664.13	o 16610
664.13	c 1990
667.46	o 16611
667.46	c 1989
667.97	o 16615
667.97	c 1985
668.42	o 16618
668.42	c 1982
668.92	o 16620
668.92	c 1980
669.38	o 16621
669.38	c 1979
669.86	o 16622
669.86	c 1978
670.28	o 16624
670.28	c 1976
670.72	o 16626
670.72	c 1974
671.22	o 16627
671.22	c 1973
673.44	o 16630
673.44	c 1970
678.60	o 16631
678.60	c 1969
679.07	o 16632
679.07	c 1968
682.50	o 16633
682.50	c 1967
683.37	o 16634
683.37	c 1966
683.86	o 16637
683.86	c 1963
684.32	o 16638
684.32	c 1962
685.27	o 16639
685.27	c 1961
685.75	o 16642
685.75	c 1958
694.14	o 16643
694.14	c 1957
694.55	o 16644
694.55	c 1956
695.49	o 16646
695.49	c 1954
695.91	o 16647
695.91	c 1953
696.39	o 16649
696.39	c 1951
696.74	o 16651
696.74	c 1949
697.20	o 16652
697.20	c 1948
698.59	o 16653
698.59	c 1947
708.79	o 16654
708.79	c 1946
709.27	o 16655
709.27	c 1945
712.57	o 16657
712.57	c 1943
713.04	o 16658
713.04	c 1942
713.99	o 16659
713.99	c 1941
719.23	o 16660
719.23	c 1940
726.73	o 16661
726.73	c 1939
728.82	o 16663
728.82	c 1937
732.26	o 16664
732.26	c 1936
743.43	o 16666
743.43	c 1934
747.01	o 16669
747.01	c 1931
748.05	o 16671
748.05	c 1929
748.56	o 16675
748.56	c 1925
749.59	o 16676
749.59	c 1924
749.82	o 16677
749.82	c 1923
750.82	o 16679
750.82	c 1921
752.89	o 16680
752.89	c 1920
753.40	o 16681
753.40	c 1919
753.91	o 16682
753.91	c 1918
754.94	o 16683
754.94	c 1917
755.45	o 16684
755.45	c 1916
759.10	o 16686
759.10	c 1914
759.62	o 16687
759.62	c 1913
760.66	o 16688
760.66	c 1912
761.72	o 16690
761.72	c 1910
763.31	o 16692
763.31	c 1908
763.84	o 16693
763.84	c 1907
768.66	o 16695
768.66	c 1905
770.77	o 16697
770.77	c 1903
774.77	o 16699
774.77	c 1901
776.13	o 16700
776.13	c 1900
777.18	o 16701
777.18	c 1899
777.68	o 16704
777.68	c 1896
778.72	o 16705
778.72	c 1895
780.28	o 16706
780.28	c 1894
781.37	o 16707
781.37	c 1893
782.41	o 16709
782.41	c 1891
783.34	o 16710
783.34	c 1890
790.64	o 16711
790.64	c 1889
793.95	o 16713
793.96	c 1887
795.64	o 16715
795.64	c 1885
796.21	o 16717
796.21	c 1883
796.49	o 16719
796.49	c 1881
799.33	o 16720
799.33	c 1880
799.90	o 16721
799.90	c 1879
813.46	o 16722
813.46	c 1878
814.02	o 16725
814.02	c 1875
819.48	o 16726
819.48	c 1874
820.26	o 16727
820.26	c 1873
821.40	o 16728
821.40	c 1872
824.57	o 16730
824.57	c 1870
824.85	o 16733
824.85	c 1867
826.20	o 16736
826.20	c 1864
826.95	o 16738
826.95	c 1862
829.68	o 16739
829.68	c 1861
830.22	o 16740
830.22	c 1860
831.33	o 16741
831.33	c 1859
831.87	o 16742
831.87	c 1858
833.50	o 16743
833.50	c 1857
834.04	o 16745
834.04	c 1855
834.58	o 16747
834.58	c 1853
837.78	o 16748
837.78	c 1852
838.31	o 16751
838.31	c 1849
838.84	o 16753
838.84	c 1847
842.30	o 16754
842.30	c 1846
842.82	o 16755
842.82	c 1845
842.98	o 16756
842.98	c 1844
843.52	o 16758
843.52	c 1842
844.59	o 16759
844.59	c 1841
845.71	o 16760
845.71	c 1840
846.24	o 16761
846.24	c 1839
846.79	o 16762
846.79	c 1838
853.91	o 16763
853.91	c 1837
855.00	o 16765
855.00	c 1835
855.57	o 16767
855.57	c 1833
856.15	o 16768
856.15	c 1832
856.69	o 16769
856.69	c 1831
857.26	o 16770
857.26	c 1830
857.81	o 16771
857.81	c 1829
858.37	o 16772
858.37	c 1828
860.49	o 16773
860.49	c 1827
874.51	o 16774
874.51	c 1826
875.05	o 16775
875.05	c 1825
877.77	o 16776
877.77	c 1824
878.87	o 16777
878.87	c 1823
879.99	o 16778
879.99	c 1822
880.55	o 16779
880.55	c 1821
881.11	o 16780
881.11	c 1820
881.67	o 16781
881.67	c 1819
888.31	o 16784
888.31	c 1816
900.95	o 16785
900.95	c 1815
914.91	o 16786
914.91	c 1814
915.46	o 16787
915.46	c 1813
916.03	o 16788
916.03	c 1812
917.72	o 16790
917.72	c 1810
918.29	o 16792
918.29	c 1808
921.44	o 16793
921.44	c 1807
923.16	o 16796
923.16	c 1804
927.59	o 16798
927.59	c 1802
928.53	o 16799
928.53	c 1801
930.75	o 16801
930.75	c 1799
931.05	o 16802
931.05	c 1798
931.49	o 16803
931.49	c 1797
937.26	o 16804
937.26	c 1796
937.86	o 16805
937.86	c 1795
938.45	o 16807
938.45	c 1793
938.84	o 16809
938.84	c 1791
941.04	o 16810
941.04	c 1790
942.87	o 16811
942.87	c 1789
943.47	o 16813
943.47	c 1787
961.64	o 16816
961.64	c 1784
962.24	o 16819
962.24	c 1781
962.86	o 16820
962.86	c 1780
974.17	o 16823
974.17	c 1777
974.38	o 16825
974.38	c 1775
974.97	o 16827
974.97	c 1773
976.77	o 16828
976.77	c 1772
982.93	o 16829
982.93	c 1771
987.38	o 16831
987.38	c 1769
990.45	o 16832
990.45	c 1768
991.08	o 16834
991.08	c 1766
999.49	o 16836
999.49	c 1764
999.91	o 16839
999.91	c 1761
1000.56	o 16840
1000.56	c 1760
1001.84	o 16841
1001.84	c 1759
1006.35	o 16842
1006.35	c 1758
1007.00	o 16844
1007.00	c 1756
1011.50	o 16845
1011.50	c 1755
1014.01	o 16846
1014.01	c 1754
1014.64	o 16847
1014.64	c 1753
1015.13	o 16849
1015.13	c 1751
1016.37	o 16854
1016.37	c 1746
1016.99	o 16855
1016.99	c 1745
1018.03	o 16856
1018.03	c 1744
1019.27	o 16857
1019.27	c 1743
1019.90	o 16858
1019.90	c 1742
1020.54	o 16859
1020.54	c 1741
1021.19	o 16861
1021.19	c 1739
1021.83	o 16863
1021.83	c 1737
1026.39	o 16864
1026.39	c 1736
1027.04	o 16865
1027.04	c 1735
1048.67	o 16867
1048.67	c 1733
1048.75	o 16868
1048.75	c 1732
1050.09	o 16869
1050.09	c 1731
1060.25	o 16870
1060.25	c 1730
1062.23	o 16872
1062.23	c 1728
1063.57	o 16874
1063.57	c 1726
1064.24	o 16875
1064.24	c 1725
1083.07	o 16877
1083.07	c 1723
1083.60	o 16878
1083.60	c 1722
1084.28	o 16880
1084.28	c 1720
1085.25	o 16882
1085.25	c 1718
1097.86	o 16883
1097.86	c 1717
1102.65	o 16884
1102.65	c 1716
1103.33	o 16886
1103.33	c 1714
1105.17	o 16888
1105.17	c 1712
1105.84	o 16892
1105.84	c 1708
1106.27	o 16893
1106.27	c 1707
1106.94	o 16894
1106.94	c 1706
1108.09	o 16895
1108.09	c 1705
1108.65	o 16896
1108.65	c 1704
1109.82	o 16897
1109.82	c 1703
1110.34	o 16899
1110.34	c 1701
1112.93	o 16902
1112.93	c 1698
1113.58	o 16904
1113.58	c 1696
1116.75	o 16905
1116.75	c 1695
1117.39	o 16906
1117.39	c 1694
1118.68	o 16907
1118.68	c 1693
1120.82	o 16908
1120.82	c 1692
1121.46	o 16909
1121.46	c 1691
1122.13	o 16910
1122.13	c 1690
1122.78	o 16913
1122.78	c 1687
1123.38	o 16915
1123.38	c 1685
1124.02	o 16916
1124.02	c 1684
1124.41	o 16919
1124.41	c 1681
1126.28	o 16920
1126.28	c 1680
1126.64	o 16923
1126.64	c 1677
1126.94	o 16924
1126.94	c 1676
1127.26	o 16926
1127.26	c 1674
1127.74	o 16927
1127.74	c 1673
1128.22	o 16929
1128.22	c 1671
1128.75	o 16931
1128.75	c 1669
1129.92	o 16932
1129.92	c 1668
1134.31	o 16935
1134.31	c 1665
1134.92	o 16936
1134.92	c 1664
1135.53	o 16937
1135.53	c 1663
1136.01	o 16939
1136.01	c 1661
1136.38	o 16940
1136.38	c 1660
1136.99	o 16941
1136.99	c 1659
1137.59	o 16942
1137.59	c 1658
1138.78	o 16943
1138.78	c 1657
1139.39	o 16945
1139.39	c 1655
1141.21	o 16948
1141.21	c 1652
1143.03	o 16949
1143.03	c 1651
1143.65	o 16951
1143.65	c 1649
1144.26	o 16952
1144.26	c 1648
1144.87	o 16953
1144.87	c 1647
1146.15	o 16954
1146.15	c 1646
1146.78	o 16955
1146.78	c 1645
1147.40	o 16956
1147.40	c 1644
1148.01	o 16957
1148.01	c 1643
1150.22	o 16958
1150.22	c 1642
1150.83	o 16961
1150.83	c 1639
1152.72	o 16962
1152.72	c 1638
1153.34	o 16963
1153.34	c 1637
1153.94	o 16964
1153.94	c 1636
1165.20	o 16965
1165.20	c 1635
1165.24	o 16968
1165.24	c 1632
1174.56	o 16969
1174.56	c 1631
1175.67	o 16970
1175.67	c 1630
1176.87	o 16971
1176.87	c 1629
1179.26	o 16972
1179.26	c 1628
1180.24	o 16973
1180.24	c 1627
1180.85	o 16975
1180.85	c 1625
1191.05	o 16977
1191.05	c 1623
1191.57	o 16978
1191.57	c 1622
1192.80	o 16979
1192.80	c 1621
1210.62	o 16983
1210.62	c 1617
1211.23	o 16986
1211.23	c 1614
1211.67	o 16987
1211.67	c 1613
1212.30	o 16989
1212.30	c 1611
1213.49	o 16992
1213.49	c 1608
1214.16	o 16993
1214.16	c 1607
1219.08	o 16995
1219.08	c 1605
1222.65	o 16996
1222.65	c 1604
1223.27	o 16999
1223.27	c 1601
1223.68	o 17001
1223.68	c 1599
1224.31	o 17002
1224.31	c 1598
1242.12	o 17005
1242.12	c 1595
1242.25	o 17006
1242.25	c 1594
1243.22	o 17008
1243.22	c 1592
1243.84	o 17009
1243.84	c 1591
1244.46	o 17010
1244.46	c 1590
1245.99	o 17011
1245.99	c 1589
1246.60	o 17012
1246.60	c 1588
1248.85	o 17015
1248.85	c 1585
1249.84	o 17017
1249.84	c 1583
1250.45	o 17018
1250.45	c 1582
1250.69	o 17020
1250.69	c 1580
1251.28	o 17021
1251.28	c 1579
1253.10	o 17022
1253.10	c 1578
1253.71	o 17024
1253.71	c 1576
1254.32	o 17026
1254.32	c 1574
1255.56	o 17027
1255.56	c 1573
1261.54	o 17028
1261.54	c 1572
1262.16	o 17030
1262.16	c 1570
1263.39	o 17033
1263.39	c 1567
1264.01	o 17034
1264.01	c 1566
1264.61	o 17035
1264.61	c 1565
1265.87	o 17037
1265.87	c 1563
1266.49	o 17038
1266.49	c 1562
1270.82	o 17039
1270.82	c 1561
1273.14	o 17040
1273.14	c 1560
1277.67	o 17042
1277.67	c 1558
1278.79	o 17043
1278.79	c 1557
1280.59	o 17044
1280.59	c 1556
1281.19	o 17045
1281.19	c 1555
1283.63	o 17046
1283.63	c 1554
1285.59	o 17047
1285.59	c 1553
1286.09	o 17049
1286.09	c 1551
1286.96	o 17050
1286.96	c 1550
1287.55	o 17052
1287.55	c 1548
1289.66	o 17054
1289.66	c 1546
1289.91	o 17057
1289.91	c 1543
1290.48	o 17058
1290.48	c 1542
1291.91	o 17060
1291.91	c 1540
1292.37	o 17061
1292.37	c 1539
1297.38	o 17062
1297.38	c 1538
1299.13	o 17064
1299.13	c 1536
1299.70	o 17065
1299.70	c 1535
1303.81	o 17067
1303.81	c 1533
1305.61	o 17068
1305.61	c 1532
1307.35	o 17069
1307.35	c 1531
1311.28	o 17071
1311.28	c 1529
1311.87	o 17072
1311.87	c 1528
1312.95	o 17073
1312.95	c 1527
1326.62	o 17074
1326.62	c 1526
1327.20	o 17076
1327.20	c 1524
1357.61	   
1357.61	   search
1357.61	     run=0  nbConstraintChecks=2899279135  nbAssignments=3817
1357.61	       =>  wckTime=1294.732  cpuTime=1288.41  mem=63M527
1357.61	   
1357.61	   global
1357.61	     nbConstraintChecks=2899279135  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
1357.61	     solvingWckTime=1294.711  solvingCpuTime=1288.39  expiredTime=no  totalExploration=no  nbFoundSolutions=0
1357.61	     globalCpuTime=1349.79
1357.61	       =>  wckTime=1357.302  cpuTime=1349.75  mem=63M527
1357.61	   
1357.61	   solver IterativeSystematicSolver being built... 
1358.28	       =>  wckTime=1357.967  cpuTime=1350.15  mem=153M770
2408.98	v -2006 2474 2390 2838 2826 -2766 2266 2482 2042 -2570 1994 -2034 -2766 -2766 -2834 -2702 -2202 -2686 -2026 2858 2826 2362 -2842 2518 -2314 2294 2190 -1990 -2846 2242 -2074 -2050 2834 2278 1998 -2846 2746 -2742 -2778 -2270 2846 -2866 1990 -2842 -2850 -2874 -2582 2590 2846 2890 -2142 -2746 -2878 -2030 2694 -2366 2854 2718 2842 -2882 -2814 -1990 -2074 2030 2298 -2006 2054 -2558 2718 -2654 2042 -2846 -2766 -2722 -2842 -2634 2634 -2142 -2186 -2058 -2350 2014 2182 2062 -2562 -2046 -2746 -2298 2842 2006 -2098 2814 2058 2782 -1990 -2586 2002 2886 2490 1990 2702 -2054 -2598 -2714 -2578 2854 -2050 -2154 -2398 2842 2782 -2602 -2894 -2458 -2550 2150 2314 2078 2850 -2090 -2822 -2894 -2846 2866 2634 -2030 -1998 2010 2874 -2890 1990 2354 1990 -2406 -2226 -2894 2354 -1990 2146 2034 2698 2742 2278 -2166 2870 2826 2598 -2374 -2002 -1994 -2310 -2834 2542 -2850 -2890 2190 -2630 2278 2738 2690 2034 2634 2354 -2658 -2030 -2670 -2010 2442 -2710 -2086 -2726 2730 2082 2582 2042 2110 2046 -2374 -2830 -2582 -2834 2526 2546 -2850 2506 -2786 2758 2542 2086 2738 -2886 -2318 -2362 2014 2850 2082 -2194 -2894 -2082 2078 -2278 2050 2442 2258 2846 -2186 -2034 2842 -2866 2378 -2770 2894 -2282 2818 -2858 2854 2826 2810 -2454 -2506 -2814 -2534 -2810 -2622 -2050 -2118 -2886 -2826 2822 -2394 -2734 -2890 2810 2014 -2754 -2710 2446 -2818 -2746 2030 2706 -2886 2002 -2030 2878 -2854 2738 -2578 -2394 2854 -2398 -2034 2854 2634 -2626 -2002 -2350 2078 -2850 2106 2462 -2842 2850 -2334 2894 -2114 2818 2842 2810 1990 -2818 -2846 -2878 -2890 -2866 2026 2806 -2818 -2158 2538 2638 -2682 -2442 2446 2034 2890 -2018 2086 -2306 -2274 2574 -2670 2506 -2506 -2154 2786 2734 -2762 -2190 2838 2822 2750 2030 -2738 -2046 2118 2098 -2226 -2394 -2510 -2554 -2190 -2110 2490 2078 -2374 2890 -2734 2854 2030 2058 2842 2850 -2694 2826 1994 2790 2850 -2690 -2006 2290 -2506 2630 -2402 2702 2414 -2602 -2046 2538 -2846 -2054 -2406 2774 -2286 -2042 2446 2826 -2054 -2822 -2174 2010 2606 -2870 -2426 -2010 -2782 2190 -2034 -2798 -2186 2854 -2106 2054 2550 2030 -1994 -2826 2034 2294 -2650 -2798 -2046 -2694 -2434 -2270 -2402 -1994 -2030 2802 2586 2422 1994 2854 -2090 -2054 1998 2626 -2818 -2842 2058 -2678 -2030 -2038 1994 -2850 -2498 2766 -2558 2154 2726 2878 -2834 2450 -2182 2294 2826 -2182 -2006 -2010 2046 -2866 -1990 2806 -2198 -2830 2034 2790 2758 2006 -2042 2198 -2222 -2034 -2250 -2670 -2894 2014 2638 -2122 -2834 -2486 2646 2214 2042 -2546 2770 2078 2802 2838 -2102 2266 -2030 -2442 -2574 2894 -2534 -2130 2874 2510 2778 2842 2254 2234 -2810 2138 -2626 -2082 2394 2698 -2090 -2206 2014 2738 -2054 2046 -2042 -2830 2022 -2038 2014 -2014 2218 -2170 2842 2034 -2358 -2218 2482 2038 2622 -2390 -1990 2618 -2406 -2822 2422 -2118 2190 2166 -2070 -2694 -2514 -2034 -2650 2046 2766 2414 2846 2846 -2214 2318 -2798 2846 2890 -2422 -2890 2578 2826 -2878 -2778 2034 -2054 -2678 1994 -2818 -2790 -2850 2782 -2354 -2630 -2842 2346 2034 -2454 -2838 2390 -2766 1990 -2790 -2830 -2390 2486 -2054 2894 -2030 2058 -2710 -2614 2678 2030 1990 -2894 -2142 2322 2818 -2030 -2446 2718 -2626 2790 2222 2882 -2886 2038 2682 -2046 2422 2894 2482 -2034 -2030 2102 1998 -1990 -2198 2142 2678 -2858 2842 -2594 2766 2430 2830 -2034 2794 -2038 -2334 -2674 2190 2770 2698 -2822 -1990 2846 -2366 -2802 -2834 -2050 -1990 2622 -2854 1990 2322 2486 2866 -2858 -2046 -2702 2054 2194 2494 2826 2822 1990 2070 -2838 2202 -2006 -2030 -2678 2782 2622 -2794 2010 2890 -2094 -2882 1990 -2886 -1990 2722 -2482 -2702 -2034 2030 2886 -2894 2350 2894 -2038 -2314 2154 2818 -2030 2038 2478 2446 2894 2802 2210 2894 -2118 -2046 2190 2198 -2794 2662 2022 2838 2866 -2874 2190 -2006 -2402 2782 -2878 2002 -2678 2582 2794 -2494 -2706 2794 2146 2450 -2462 -2630 -2782 2098 2538 -2530 2890 -2430 -2326 -2846 -2786 2018 -2662 -2886 2326 2578 2890 2894 -2830 -2010 -2078 -2086 2878 -2894 -2110 -2178 2082 2218 -2610 -2042 -2878 -2230 -2414 2834 2598 2838 2038 2030 -2838 2022 2654 -2642 -2050 -2586 2070 2426 -2878 -2038 2334 2774 -2882 1990 2770 2194 -2738 -2054 2654 1994 2358 2178 -2294 -2054 2598 2666 -2766 2030 2662 -2254 2070 2366 -2586 2570 -2366 2402 -2446 2894 2782 2870 2690 -2030 2466 2678 -2366 2654 2470 1998 2038 -2374 2526 2002 -1994 2838 2574 -2034 2850 -2854 -2146 -2674 -2482 -2406 -2030 -2362 -2866 2334 -2018 -2846 -2670 -2574 2006 2742 2178 1994 -2378 -2678 2474 -1994 -2290 -2014 2382 -2158 -2862 -2206 -2538 2038 2806 -2658 2862 2202 1998 -2886 -2046 -2686 2410 -2766 -2002 2046 2030 -2030 -2766 2158 -2078 -2454 2734 -2034 2230 2834 -2778 2846 -2290 -2354 -2374 -2458 -2034 -2546 2738 2038 -2190 2002 1990 2370 -2806 -2766 -2834 2202 2610 2682 1990 2514 -2466 2070 2746 -2818 -2566 1994 -2030 -2878 1990 2014 2406 -2002 -2850 -2006 -2398 -2774 2498 2150 -2882 2218 -2774 1990 2010 -2010 -2846 -2094 -2146 -2882 -2810 2134 2006 2302 1994 -2534 2894 -2846 2882 -2630 2350 -2894 -2826 2638 -2074 -2502 2150 -2878 -1994 -2138 -2094 2874 -2242 -2558 2850 -2778 2362 -2066 2858 2846 -1994 -2894 -2742 -2886 2022 -2646 -2498 2850 2470 2826 -2846 -2058 -2442 2742 2670 -2746 -2694 -2822 2782 2502 2710 2786 -2850 2874 -2590 2250 2706 -2282 -2062 1998 2834 2842 -2138 2450 2566 2086 -2098 2038 2486 -2190 1990 -2882 -2878 2306 2182 -2750 2586 -2522 -2030 2054 -2346 -2098 2850 -2058 2058 -2838 -2734 -2806 -2274 2378 -2442 2442 -1990 -2494 -2114 2034 2854 2822 -2806 2578 2050 -2830 2762 -2506 -2894 -2318 2854 -2842 2294 -2358 2854 2342 2502 2530 2678 -2842 1990 -2254 2070 2418 2594 -2334 2526 -2894 2058 -2834 -2886 -2434 -2030 -2070 2266 -2854 -1990 2834 -1994 -2482 2334 2394 2702 -2866 2566 2826 -2858 2054 -2238 -1990 2318 -2054 2118 2054 -2458 2042 2466 2070 2362 2722 -2306 2866 2522 -2262 -2450 -2614 -2482 1990 -2230 -2054 2834 -2886 -2002 -2346 2674 -2806 -2258 2050 2258 2878 2234 -2650 -2046 -2818 2018 -2854 1994 2450 -2470 2642 1998 2062 2726 -2174 -2886 2422 -2506 -2894 2470 2482 -2014 2630 2854 -2878 -2698 2026 -2890 -2834 2150 2846 2698 2254 2014 -2386 -2162 -1990 -1994 -2742 -2894 -2690 -2030 -2734 -2058 2294 2058 -2854 -2006 -2834 1990 2782 -2822 -2318 2806 2498 2362 -2410 2886 2846 -2798 -2030 2354 -2786 2858 -2854 2650 -2854 2874 2338 2038 -2150 -2366 -2742 2386 2046 -2782 2014 2886 2670 2290 -2838 2066 2802 -2082 2090 -2250 2062 -2322 2186 2886 2766 2850 2866 -2614 2258 2850 -1990 2846 -2870 2390 2842 -2834 -2854 2642 2786 2290 2146 -2814 -1994 2862 2570 2014 2706 -2482 -1990 2162 -2118 1990 2230 2238 2598 2114 2890 2034 2058 2054 -2026 -2022 -2706 2046 2838 -2058 2526 2058 -1994 -2846 -2558 2222 2866 -2030 -2334 2814 2086 2878 -2218 -2886 -2330 2098 2646 2774 -2006 2830 1998 -2738 2894 2710 -2426 -2318 -2058 -2078 -2482 2502 2374 -2838 -2818 -2102 2042 -2534 2890 2870 2038 -2806 2622 -2778 -2294 2886 -2498 -2730 2194 2562 -2442 -2486 -2406 -2578 2066 2222 -2818 -2870 2778 2770 -2874 -2050 2058 -2406 1990 -2314 -2802 2390 2442 2510 -2138 -2030 2662 -2534 -2490 2042 2858 2798 -2030 -2498 2890 -2846 -2818 -2594 -2034 -2470 -2098 -2706 2078 2118 2530 2602 -2734 2782 -2402 2038 -2826 -1990 2366 2070 -2850 -2006 -2354 -2018 2550 2246 2046 2402 2742 -2854 2846 -1990 2018 2750 2318 2254 2890 -2066 2174 -2830 2854 -2890 -2210 -2874 -2414 -2190 -2034 -2278 -2774 1998 2286 -2174 -2750 2750 1990 2526 -2414 -2290 -2890 2238 2242 -2386 2642 -2890 -2266 2386 2070 -2194 -2246 2082 -2006 -2842 2374 -2250 -2226 2258 -2062 -2818 2838 2194 2514 2774 2754 -2642 -2894 2874 -2886 -2030 2010 -1994 -2178 -2066 -2550 2850 2886 2278 -2042 2050 2306 2278 2822 -2806 2054 2058 -2750 2090 2810 -2334 -2790 2834 2662 -2614 1994 -2014 -2850 2406 -2746 -2806 2382 2814 2702 -2726 -2030 -2402 -2598 2294 2186 -2022 -2862 -2874 2122 2386 -2842 -2002 2750 2054 2858 2102 -2738 1994 2386 -1994 2682 -2114 -2046 -2546 -2854 -2738 2034 2050 2854 2482 2654 -2890 2882 2650 -2310 2754 2450 -2818 -1990 -2038 2590 2782 2786 2434 -2570 -2878 2638 2322 2346 2098 2886 2894 2586 2530 2886 1990 -2454 2010 2882 2110 2298 2850 -2514 -2698 2054 -2246 2082 -2078 -2754 -2258 -2438 2014 -2594 -2842 -2742 -2050 -1998 -2050 -2298 2030 2090 2074 -1990 -2870 2822 -2598 -2890 -2230 2230 -2338 -2542 2294 -2530 -2694 -2034 2834 -2814 -2018 2834 2078 -2506 2018 2318 2694 2030 -2686 2034 -2302 -2430 2006 2558 2650 2398 -2526 -2818 -2018 2254 -2838 2410 2382 -2070 1998 2070 2138 -2878 -2882 2114 -2178 2858 2162 -2686 -2882 2718 -2062 1998 -2762 2838 -2058 -2890 2526 -2718 2638 -2054 -2466 2858 2786 2838 -1990 -2790 -2574 -2542 2442 -1994 2178 -2018 -2326 -2122 -2662 2010 -2854 2890 -2090 2062 2330 -2670 2442 2330 -2618 2346 2586 -2802 -2274 2710 -2894 -2838 -1998 -2518 -1998 -2282 -2034 2746 -2470 2002 2210 -2206 -2766 2794 -2250 2014 -2714 -2554 1990 2158 -2190 -2662 -1990 2470 2046 2466 -2866 2190 2866 -2126 -2418 2870 2850 2518 -2858 2050 -2630 2702 -2022 2734 2266 -2182 2182 2654 2110 2894 -2718 2846 2050 2342 -2762 2298 2006 2678 2854 -2478 2030 -2070 2830 -2062 -2010 1990 -2350 -2746 2502 1990 -2038 -2822 -2462 2342 -1994 1994 2294 -2654 -2034 2482 -2218 2026 2882 -2862 -2510 2890 -2214 -2030 2842 2038 2810 -2038 2894 -2030 2626 2002 2622 2782 2778 2806 2494 2186 -2558 -2534 2290 -2226 2882 -1990 2710 2802 -2610 2550 -2546 2362 1990 1994 -2150 2634 2850 -2082 2050 2370 2266 -1994 2818 -2034 1998 -2034 2742 -2842 -2410 -2334 2602 2814 2882 -2642 2214 2642 -2334 -2782 -2430 2046 2890 -2562 -2266 -2442 -2066 2670 -2682 -2430 2742 2850 -2894 -2822 2738 2822 -2554 2338 -2346 2882 2374 -2070 2030 2582 -2038 2630 2338 2574 2710 2474 -2702 -2794 -2570 -2366 -2570 -2842 2238 2278 1994 -2834 2014 -2766 -2718 -2006 -2590 -2418 2010 2874 2130 2006 2030 2010 2094 2406 -2074 2694 2814 2834 -2038 -2850 2026 -2154 -2230 2818 2562 -2410 2294 2226 -2502 2050 2854 2214 2054 2782 2890 2022 2150 2854 -2790 -2678 -2658 -2890 -2018 -2046 2466 1990 -2030 -2670 2850 -2826 2358 2378 -2358 -2370 -2438 2318 -2850 -2522 -2018 2882 2374 -2890 -2650 2818 2030 2034 -2890 2686 2038 -2674 -2070 -2102 2002 2226 1990 2894 -2058 -1994 2882 -2066 2042 -1990 2182 2398 2458 2170 -2098 -2246 -2062 -2182 2410 2874 2342 2806 2674 2830 -2278 -2690 -2850 -2314 2278 2122 2750 -2878 2414 -2066 2778 -2546 -2034 -2050 2850 -2826 2006 2778 -2614 2042 2658 2890 -2462 2846 -2030 -2010 -2430 2034 -2014 2510 -2766 2750 -2806 2478 -2314 -1998 -2410 2790 -2854 2826 -2670 2074 2826 -2782 -2510 -1994 1990 2630 -2726 -2758 2274 -2866 2202 2870 2434 2882 2854 -2726 2854 -2454 2038 -1998 -2714 -2034 2458 -2722 -2254 2382 2046 -2122 2158 2006 -1990 2694 2042 -2890 2134 -2278 2482 -2782 -2366 -2878 2886 2486 -2854 -2430 -2046 -2574 -2850 2826 -2594 2366 2030 2018 2106 2582 2834 2782 -2454 2806 2154 2030 -2854 1998 2546 -2874 -2030 2894 -2114 2882 2682 -2714 -2114 2854 2350 2690 2858 2426 2006 -2638 2622 2018 -2842 2826 -2258 2450 -2038 2822 2838 -1994 2366 2802 -2402 2014 -2754 2838 2778 2406 2530 -2638 -2082 -2510 1994 2674 2058 2810 -2650 2110 2306 2858 -2894 -2558 -2798 2094 2378 2546 2406 2314 -2466 2882 -2390 2878 -2086 2094 2518 -2066 2894 -2566 2734 2062 -2782 2894 2522 -2018 2158 2046 -2706 2050 -2010 1998 2742 2010 -2826 2498 -2326 -2178 2490

Verifier Data (download as text)

1524 unsatisfied constraints, 17076 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/node9/watcher-275639-1169224619 -o ROOT/results/node9/solver-275639-1169224619 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/275639-1169224619/unknown.xml 

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

/proc/loadavg: 1.97 2.02 2.00 4/93 25506
/proc/meminfo: memFree=1121208/2055920 swapFree=4191880/4192956
[pid=25505] ppid=25503 vsize=11868 CPUtime=0
/proc/25505/stat : 25505 (java) D 25503 25505 25437 0 -1 0 765 0 1 0 0 0 0 0 17 0 1 0 270857058 12152832 515 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 8663844 0 2147483391 0 7368 18446744072099781622 0 0 17 1 0 0
/proc/25505/statm: 2967 515 425 14 0 1602 0

[startup+0.104272 s]
/proc/loadavg: 1.97 2.02 2.00 4/93 25506
/proc/meminfo: memFree=1121208/2055920 swapFree=4191880/4192956
[pid=25505] ppid=25503 vsize=914988 CPUtime=0.09
/proc/25505/stat : 25505 (java) S 25503 25505 25437 0 -1 0 2996 0 1 0 7 2 0 0 17 0 8 0 270857058 936947712 2742 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25505/statm: 228747 2742 1427 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988

[startup+0.51232 s]
/proc/loadavg: 1.97 2.02 2.00 4/93 25506
/proc/meminfo: memFree=1121208/2055920 swapFree=4191880/4192956
[pid=25505] ppid=25503 vsize=915332 CPUtime=0.49
/proc/25505/stat : 25505 (java) R 25503 25505 25437 0 -1 0 7607 0 1 0 44 5 0 0 18 0 8 0 270857058 937299968 7346 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4152819945 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25505/statm: 228833 7346 2143 14 0 215303 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915332

[startup+1.33341 s]
/proc/loadavg: 1.97 2.02 2.00 3/100 25513
/proc/meminfo: memFree=1041728/2055920 swapFree=4191880/4192956
[pid=25505] ppid=25503 vsize=915612 CPUtime=1.3
/proc/25505/stat : 25505 (java) R 25503 25505 25437 0 -1 0 24147 0 1 0 118 12 0 0 23 0 8 0 270857058 937586688 23884 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073548592 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25505/statm: 228903 23884 2164 14 0 215373 0
[pid=25505/tid=25507] ppid=25503 vsize=915612 CPUtime=0.08
/proc/25505/task/25507/stat : 25507 (java) S 25503 25505 25437 0 -1 64 7589 0 0 0 6 2 0 0 16 0 8 0 270857061 937586688 23884 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25505/tid=25508] ppid=25503 vsize=915612 CPUtime=0
/proc/25505/task/25508/stat : 25508 (java) S 25503 25505 25437 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 270857062 937586688 23884 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25505/tid=25509] ppid=25503 vsize=915612 CPUtime=0
/proc/25505/task/25509/stat : 25509 (java) S 25503 25505 25437 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270857062 937586688 23884 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25505/tid=25510] ppid=25503 vsize=915612 CPUtime=0
/proc/25505/task/25510/stat : 25510 (java) S 25503 25505 25437 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270857065 937586688 23884 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25505/tid=25511] ppid=25503 vsize=915612 CPUtime=0.16
/proc/25505/task/25511/stat : 25511 (java) S 25503 25505 25437 0 -1 64 403 0 0 0 16 0 0 0 16 0 8 0 270857065 937586688 23884 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25505/tid=25512] ppid=25503 vsize=915612 CPUtime=0
/proc/25505/task/25512/stat : 25512 (java) S 25503 25505 25437 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270857065 937586688 23884 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25505/tid=25513] ppid=25503 vsize=915612 CPUtime=0
/proc/25505/task/25513/stat : 25513 (java) S 25503 25505 25437 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270857065 937586688 23884 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.97159 s]
/proc/loadavg: 1.97 2.02 2.00 3/100 25513
/proc/meminfo: memFree=1033792/2055920 swapFree=4191880/4192956
[pid=25505] ppid=25503 vsize=915744 CPUtime=2.94
/proc/25505/stat : 25505 (java) R 25503 25505 25437 0 -1 0 24223 0 1 0 282 12 0 0 25 0 8 0 270857058 937721856 23958 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073825375 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25505/statm: 228936 23958 2184 14 0 215406 0
[pid=25505/tid=25507] ppid=25503 vsize=915744 CPUtime=0.11
/proc/25505/task/25507/stat : 25507 (java) S 25503 25505 25437 0 -1 64 7589 0 0 0 9 2 0 0 17 0 8 0 270857061 937721856 23958 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25505/tid=25508] ppid=25503 vsize=915744 CPUtime=0
/proc/25505/task/25508/stat : 25508 (java) S 25503 25505 25437 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 270857062 937721856 23958 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25505/tid=25509] ppid=25503 vsize=915744 CPUtime=0
/proc/25505/task/25509/stat : 25509 (java) S 25503 25505 25437 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270857062 937721856 23958 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25505/tid=25510] ppid=25503 vsize=915744 CPUtime=0
/proc/25505/task/25510/stat : 25510 (java) S 25503 25505 25437 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270857065 937721856 23958 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25505/tid=25511] ppid=25503 vsize=915744 CPUtime=0.18
/proc/25505/task/25511/stat : 25511 (java) S 25503 25505 25437 0 -1 64 415 0 0 0 18 0 0 0 16 0 8 0 270857065 937721856 23958 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25505/tid=25512] ppid=25503 vsize=915744 CPUtime=0
/proc/25505/task/25512/stat : 25512 (java) S 25503 25505 25437 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270857065 937721856 23958 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25505/tid=25513] ppid=25503 vsize=915744 CPUtime=0
/proc/25505/task/25513/stat : 25513 (java) S 25503 25505 25437 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270857065 937721856 23958 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915744

[startup+6.17796 s]
/proc/loadavg: 1.97 2.01 2.00 3/100 25513
/proc/meminfo: memFree=1033600/2055920 swapFree=4191880/4192956
[pid=25505] ppid=25503 vsize=915744 CPUtime=6.13
/proc/25505/stat : 25505 (java) R 25503 25505 25437 0 -1 0 24226 0 1 0 600 13 0 0 25 0 8 0 270857058 937721856 23960 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073829832 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25505/statm: 228936 23960 2184 14 0 215406 0
[pid=25505/tid=25507] ppid=25503 vsize=915744 CPUtime=0.11
/proc/25505/task/25507/stat : 25507 (java) S 25503 25505 25437 0 -1 64 7589 0 0 0 9 2 0 0 16 0 8 0 270857061 937721856 23960 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25505/tid=25508] ppid=25503 vsize=915744 CPUtime=0
/proc/25505/task/25508/stat : 25508 (java) S 25503 25505 25437 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 270857062 937721856 23960 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25505/tid=25509] ppid=25503 vsize=915744 CPUtime=0
/proc/25505/task/25509/stat : 25509 (java) S 25503 25505 25437 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270857062 937721856 23960 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25505/tid=25510] ppid=25503 vsize=915744 CPUtime=0
/proc/25505/task/25510/stat : 25510 (java) S 25503 25505 25437 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270857065 937721856 23960 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25505/tid=25511] ppid=25503 vsize=915744 CPUtime=0.19
/proc/25505/task/25511/stat : 25511 (java) S 25503 25505 25437 0 -1 64 417 0 0 0 19 0 0 0 16 0 8 0 270857065 937721856 23960 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25505/tid=25512] ppid=25503 vsize=915744 CPUtime=0
/proc/25505/task/25512/stat : 25512 (java) S 25503 25505 25437 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270857065 937721856 23960 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25505/tid=25513] ppid=25503 vsize=915744 CPUtime=0
/proc/25505/task/25513/stat : 25513 (java) S 25503 25505 25437 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270857065 937721856 23960 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.13
Current children cumulated vsize (KiB) 915744

[startup+12.6467 s]
/proc/loadavg: 1.97 2.01 2.00 3/100 25513
/proc/meminfo: memFree=1033600/2055920 swapFree=4191880/4192956
[pid=25505] ppid=25503 vsize=915744 CPUtime=12.56
/proc/25505/stat : 25505 (java) R 25503 25505 25437 0 -1 0 24238 0 1 0 1242 14 0 0 25 0 8 0 270857058 937721856 23971 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073832002 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25505/statm: 228936 23971 2185 14 0 215406 0
[pid=25505/tid=25507] ppid=25503 vsize=915744 CPUtime=0.11
/proc/25505/task/25507/stat : 25507 (java) S 25503 25505 25437 0 -1 64 7589 0 0 0 9 2 0 0 16 0 8 0 270857061 937721856 23971 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25505/tid=25508] ppid=25503 vsize=915744 CPUtime=0
/proc/25505/task/25508/stat : 25508 (java) S 25503 25505 25437 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 270857062 937721856 23971 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25505/tid=25509] ppid=25503 vsize=915744 CPUtime=0
/proc/25505/task/25509/stat : 25509 (java) S 25503 25505 25437 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270857062 937721856 23971 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25505/tid=25510] ppid=25503 vsize=915744 CPUtime=0
/proc/25505/task/25510/stat : 25510 (java) S 25503 25505 25437 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270857065 937721856 23971 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25505/tid=25511] ppid=25503 vsize=915744 CPUtime=0.21
/proc/25505/task/25511/stat : 25511 (java) S 25503 25505 25437 0 -1 64 427 0 0 0 21 0 0 0 16 0 8 0 270857065 937721856 23971 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25505/tid=25512] ppid=25503 vsize=915744 CPUtime=0
/proc/25505/task/25512/stat : 25512 (java) S 25503 25505 25437 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270857065 937721856 23971 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25505/tid=25513] ppid=25503 vsize=915744 CPUtime=0
/proc/25505/task/25513/stat : 25513 (java) S 25503 25505 25437 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270857065 937721856 23971 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 915744

[startup+25.5112 s]
/proc/loadavg: 1.98 2.01 2.00 3/100 25513
/proc/meminfo: memFree=1024832/2055920 swapFree=4191880/4192956
[pid=25505] ppid=25503 vsize=915744 CPUtime=25.37
/proc/25505/stat : 25505 (java) R 25503 25505 25437 0 -1 0 26475 0 1 0 2521 16 0 0 25 0 8 0 270857058 937721856 26206 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073825254 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25505/statm: 228936 26206 2185 14 0 215406 0
[pid=25505/tid=25507] ppid=25503 vsize=915744 CPUtime=0.18
/proc/25505/task/25507/stat : 25507 (java) S 25503 25505 25437 0 -1 64 9818 0 0 0 15 3 0 0 16 0 8 0 270857061 937721856 26206 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25505/tid=25508] ppid=25503 vsize=915744 CPUtime=0
/proc/25505/task/25508/stat : 25508 (java) S 25503 25505 25437 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 270857062 937721856 26206 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25505/tid=25509] ppid=25503 vsize=915744 CPUtime=0
/proc/25505/task/25509/stat : 25509 (java) S 25503 25505 25437 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270857062 937721856 26206 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25505/tid=25510] ppid=25503 vsize=915744 CPUtime=0
/proc/25505/task/25510/stat : 25510 (java) S 25503 25505 25437 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270857065 937721856 26206 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25505/tid=25511] ppid=25503 vsize=915744 CPUtime=0.22
/proc/25505/task/25511/stat : 25511 (java) S 25503 25505 25437 0 -1 64 433 0 0 0 22 0 0 0 16 0 8 0 270857065 937721856 26206 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25505/tid=25512] ppid=25503 vsize=915744 CPUtime=0
/proc/25505/task/25512/stat : 25512 (java) S 25503 25505 25437 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270857065 937721856 26206 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25505/tid=25513] ppid=25503 vsize=915744 CPUtime=0
/proc/25505/task/25513/stat : 25513 (java) S 25503 25505 25437 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270857065 937721856 26206 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 915744

[startup+51.1261 s]
/proc/loadavg: 1.98 2.01 2.00 3/100 25513
/proc/meminfo: memFree=1018496/2055920 swapFree=4191880/4192956
[pid=25505] ppid=25503 vsize=915744 CPUtime=50.86
/proc/25505/stat : 25505 (java) R 25503 25505 25437 0 -1 0 28088 0 1 0 5066 20 0 0 25 0 8 0 270857058 937721856 27816 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073831399 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25505/statm: 228936 27816 2185 14 0 215406 0
[pid=25505/tid=25507] ppid=25503 vsize=915744 CPUtime=0.26
/proc/25505/task/25507/stat : 25507 (java) S 25503 25505 25437 0 -1 64 11422 0 0 0 23 3 0 0 17 0 8 0 270857061 937721856 27816 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25505/tid=25508] ppid=25503 vsize=915744 CPUtime=0
/proc/25505/task/25508/stat : 25508 (java) S 25503 25505 25437 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 270857062 937721856 27816 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25505/tid=25509] ppid=25503 vsize=915744 CPUtime=0
/proc/25505/task/25509/stat : 25509 (java) S 25503 25505 25437 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270857062 937721856 27816 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25505/tid=25510] ppid=25503 vsize=915744 CPUtime=0
/proc/25505/task/25510/stat : 25510 (java) S 25503 25505 25437 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270857065 937721856 27816 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25505/tid=25511] ppid=25503 vsize=915744 CPUtime=0.23
/proc/25505/task/25511/stat : 25511 (java) S 25503 25505 25437 0 -1 64 439 0 0 0 23 0 0 0 15 0 8 0 270857065 937721856 27816 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25505/tid=25512] ppid=25503 vsize=915744 CPUtime=0
/proc/25505/task/25512/stat : 25512 (java) S 25503 25505 25437 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270857065 937721856 27816 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25505/tid=25513] ppid=25503 vsize=915744 CPUtime=0
/proc/25505/task/25513/stat : 25513 (java) S 25503 25505 25437 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270857065 937721856 27816 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.86
Current children cumulated vsize (KiB) 915744

[startup+102.372 s]
/proc/loadavg: 1.99 2.01 2.00 3/100 25513
/proc/meminfo: memFree=996800/2055920 swapFree=4191880/4192956
[pid=25505] ppid=25503 vsize=915744 CPUtime=101.81
/proc/25505/stat : 25505 (java) R 25503 25505 25437 0 -1 0 33835 0 1 0 10147 34 0 0 25 0 8 0 270857058 937721856 33557 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073827104 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25505/statm: 228936 33557 2504 14 0 215406 0
[pid=25505/tid=25507] ppid=25503 vsize=915744 CPUtime=0.7
/proc/25505/task/25507/stat : 25507 (java) S 25503 25505 25437 0 -1 64 16779 0 0 0 64 6 0 0 16 0 8 0 270857061 937721856 33557 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25505/tid=25508] ppid=25503 vsize=915744 CPUtime=0
/proc/25505/task/25508/stat : 25508 (java) S 25503 25505 25437 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 270857062 937721856 33557 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25505/tid=25509] ppid=25503 vsize=915744 CPUtime=0
/proc/25505/task/25509/stat : 25509 (java) S 25503 25505 25437 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270857062 937721856 33557 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25505/tid=25510] ppid=25503 vsize=915744 CPUtime=0
/proc/25505/task/25510/stat : 25510 (java) S 25503 25505 25437 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270857065 937721856 33557 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25505/tid=25511] ppid=25503 vsize=915744 CPUtime=0.3
/proc/25505/task/25511/stat : 25511 (java) S 25503 25505 25437 0 -1 64 478 0 0 0 29 1 0 0 16 0 8 0 270857065 937721856 33557 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25505/tid=25512] ppid=25503 vsize=915744 CPUtime=0
/proc/25505/task/25512/stat : 25512 (java) S 25503 25505 25437 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270857065 937721856 33557 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25505/tid=25513] ppid=25503 vsize=915744 CPUtime=0
/proc/25505/task/25513/stat : 25513 (java) S 25503 25505 25437 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270857065 937721856 33557 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.81
Current children cumulated vsize (KiB) 915744

[startup+162.473 s]
/proc/loadavg: 1.99 2.00 2.00 3/100 25513
/proc/meminfo: memFree=996736/2055920 swapFree=4191880/4192956
[pid=25505] ppid=25503 vsize=915744 CPUtime=161.61
/proc/25505/stat : 25505 (java) R 25503 25505 25437 0 -1 0 33836 0 1 0 16120 41 0 0 25 0 8 0 270857058 937721856 33558 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074016665 0 4 0 23759 18446744073709551615 0 0 17 1 0 0

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

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

[startup+2083.5 s]
/proc/loadavg: 2.01 2.01 2.00 3/100 25770
/proc/meminfo: memFree=995776/2055920 swapFree=4191880/4192956
[pid=25505] ppid=25503 vsize=915980 CPUtime=2074.92
/proc/25505/stat : 25505 (java) R 25503 25505 25437 0 -1 0 51256 0 1 0 207396 96 0 0 25 0 8 0 270857058 937963520 50966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073825232 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25505/statm: 228995 50966 2551 14 0 215465 0
[pid=25505/tid=25507] ppid=25503 vsize=915980 CPUtime=0.89
/proc/25505/task/25507/stat : 25507 (java) S 25503 25505 25437 0 -1 64 33964 0 0 0 77 12 0 0 16 0 8 0 270857061 937963520 50966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25505/tid=25508] ppid=25503 vsize=915980 CPUtime=0
/proc/25505/task/25508/stat : 25508 (java) S 25503 25505 25437 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 270857062 937963520 50966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25505/tid=25509] ppid=25503 vsize=915980 CPUtime=0
/proc/25505/task/25509/stat : 25509 (java) S 25503 25505 25437 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270857062 937963520 50966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25505/tid=25510] ppid=25503 vsize=915980 CPUtime=0
/proc/25505/task/25510/stat : 25510 (java) S 25503 25505 25437 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270857065 937963520 50966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25505/tid=25511] ppid=25503 vsize=915980 CPUtime=0.42
/proc/25505/task/25511/stat : 25511 (java) S 25503 25505 25437 0 -1 64 606 0 0 0 41 1 0 0 16 0 8 0 270857065 937963520 50966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25505/tid=25512] ppid=25503 vsize=915980 CPUtime=0
/proc/25505/task/25512/stat : 25512 (java) S 25503 25505 25437 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270857065 937963520 50966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25505/tid=25513] ppid=25503 vsize=915980 CPUtime=0
/proc/25505/task/25513/stat : 25513 (java) S 25503 25505 25437 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270857065 937963520 50966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2074.92
Current children cumulated vsize (KiB) 915980

[startup+2143.58 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 25770
/proc/meminfo: memFree=995712/2055920 swapFree=4191880/4192956
[pid=25505] ppid=25503 vsize=915980 CPUtime=2134.94
/proc/25505/stat : 25505 (java) R 25503 25505 25437 0 -1 0 51256 0 1 0 213398 96 0 0 25 0 8 0 270857058 937963520 50966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073470035 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25505/statm: 228995 50966 2551 14 0 215465 0
[pid=25505/tid=25507] ppid=25503 vsize=915980 CPUtime=0.89
/proc/25505/task/25507/stat : 25507 (java) S 25503 25505 25437 0 -1 64 33964 0 0 0 77 12 0 0 16 0 8 0 270857061 937963520 50966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25505/tid=25508] ppid=25503 vsize=915980 CPUtime=0
/proc/25505/task/25508/stat : 25508 (java) S 25503 25505 25437 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 270857062 937963520 50966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25505/tid=25509] ppid=25503 vsize=915980 CPUtime=0
/proc/25505/task/25509/stat : 25509 (java) S 25503 25505 25437 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270857062 937963520 50966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25505/tid=25510] ppid=25503 vsize=915980 CPUtime=0
/proc/25505/task/25510/stat : 25510 (java) S 25503 25505 25437 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270857065 937963520 50966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25505/tid=25511] ppid=25503 vsize=915980 CPUtime=0.42
/proc/25505/task/25511/stat : 25511 (java) S 25503 25505 25437 0 -1 64 606 0 0 0 41 1 0 0 16 0 8 0 270857065 937963520 50966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25505/tid=25512] ppid=25503 vsize=915980 CPUtime=0
/proc/25505/task/25512/stat : 25512 (java) S 25503 25505 25437 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270857065 937963520 50966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25505/tid=25513] ppid=25503 vsize=915980 CPUtime=0
/proc/25505/task/25513/stat : 25513 (java) S 25503 25505 25437 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270857065 937963520 50966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2134.94
Current children cumulated vsize (KiB) 915980

[startup+2203.64 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 25770
/proc/meminfo: memFree=995712/2055920 swapFree=4191880/4192956
[pid=25505] ppid=25503 vsize=915980 CPUtime=2194.93
/proc/25505/stat : 25505 (java) R 25503 25505 25437 0 -1 0 51256 0 1 0 219397 96 0 0 25 0 8 0 270857058 937963520 50966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074319173 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25505/statm: 228995 50966 2551 14 0 215465 0
[pid=25505/tid=25507] ppid=25503 vsize=915980 CPUtime=0.89
/proc/25505/task/25507/stat : 25507 (java) S 25503 25505 25437 0 -1 64 33964 0 0 0 77 12 0 0 16 0 8 0 270857061 937963520 50966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25505/tid=25508] ppid=25503 vsize=915980 CPUtime=0
/proc/25505/task/25508/stat : 25508 (java) S 25503 25505 25437 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 270857062 937963520 50966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25505/tid=25509] ppid=25503 vsize=915980 CPUtime=0
/proc/25505/task/25509/stat : 25509 (java) S 25503 25505 25437 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270857062 937963520 50966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25505/tid=25510] ppid=25503 vsize=915980 CPUtime=0
/proc/25505/task/25510/stat : 25510 (java) S 25503 25505 25437 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270857065 937963520 50966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25505/tid=25511] ppid=25503 vsize=915980 CPUtime=0.42
/proc/25505/task/25511/stat : 25511 (java) S 25503 25505 25437 0 -1 64 606 0 0 0 41 1 0 0 16 0 8 0 270857065 937963520 50966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25505/tid=25512] ppid=25503 vsize=915980 CPUtime=0
/proc/25505/task/25512/stat : 25512 (java) S 25503 25505 25437 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270857065 937963520 50966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25505/tid=25513] ppid=25503 vsize=915980 CPUtime=0
/proc/25505/task/25513/stat : 25513 (java) S 25503 25505 25437 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270857065 937963520 50966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2194.93
Current children cumulated vsize (KiB) 915980

[startup+2263.73 s]
/proc/loadavg: 2.00 2.00 2.00 4/100 25770
/proc/meminfo: memFree=995712/2055920 swapFree=4191880/4192956
[pid=25505] ppid=25503 vsize=915980 CPUtime=2254.98
/proc/25505/stat : 25505 (java) R 25503 25505 25437 0 -1 0 51256 0 1 0 225401 97 0 0 25 0 8 0 270857058 937963520 50966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073827182 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25505/statm: 228995 50966 2551 14 0 215465 0
[pid=25505/tid=25507] ppid=25503 vsize=915980 CPUtime=0.89
/proc/25505/task/25507/stat : 25507 (java) S 25503 25505 25437 0 -1 64 33964 0 0 0 77 12 0 0 16 0 8 0 270857061 937963520 50966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25505/tid=25508] ppid=25503 vsize=915980 CPUtime=0
/proc/25505/task/25508/stat : 25508 (java) S 25503 25505 25437 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 270857062 937963520 50966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25505/tid=25509] ppid=25503 vsize=915980 CPUtime=0
/proc/25505/task/25509/stat : 25509 (java) S 25503 25505 25437 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270857062 937963520 50966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25505/tid=25510] ppid=25503 vsize=915980 CPUtime=0
/proc/25505/task/25510/stat : 25510 (java) S 25503 25505 25437 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270857065 937963520 50966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25505/tid=25511] ppid=25503 vsize=915980 CPUtime=0.42
/proc/25505/task/25511/stat : 25511 (java) S 25503 25505 25437 0 -1 64 606 0 0 0 41 1 0 0 16 0 8 0 270857065 937963520 50966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25505/tid=25512] ppid=25503 vsize=915980 CPUtime=0
/proc/25505/task/25512/stat : 25512 (java) S 25503 25505 25437 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270857065 937963520 50966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25505/tid=25513] ppid=25503 vsize=915980 CPUtime=0
/proc/25505/task/25513/stat : 25513 (java) S 25503 25505 25437 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270857065 937963520 50966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2254.98
Current children cumulated vsize (KiB) 915980

[startup+2323.8 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 25770
/proc/meminfo: memFree=995712/2055920 swapFree=4191880/4192956
[pid=25505] ppid=25503 vsize=915980 CPUtime=2314.99
/proc/25505/stat : 25505 (java) R 25503 25505 25437 0 -1 0 51256 0 1 0 231402 97 0 0 25 0 8 0 270857058 937963520 50966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074318577 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25505/statm: 228995 50966 2551 14 0 215465 0
[pid=25505/tid=25507] ppid=25503 vsize=915980 CPUtime=0.89
/proc/25505/task/25507/stat : 25507 (java) S 25503 25505 25437 0 -1 64 33964 0 0 0 77 12 0 0 16 0 8 0 270857061 937963520 50966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25505/tid=25508] ppid=25503 vsize=915980 CPUtime=0
/proc/25505/task/25508/stat : 25508 (java) S 25503 25505 25437 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 270857062 937963520 50966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25505/tid=25509] ppid=25503 vsize=915980 CPUtime=0
/proc/25505/task/25509/stat : 25509 (java) S 25503 25505 25437 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270857062 937963520 50966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25505/tid=25510] ppid=25503 vsize=915980 CPUtime=0
/proc/25505/task/25510/stat : 25510 (java) S 25503 25505 25437 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270857065 937963520 50966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25505/tid=25511] ppid=25503 vsize=915980 CPUtime=0.42
/proc/25505/task/25511/stat : 25511 (java) S 25503 25505 25437 0 -1 64 606 0 0 0 41 1 0 0 16 0 8 0 270857065 937963520 50966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25505/tid=25512] ppid=25503 vsize=915980 CPUtime=0
/proc/25505/task/25512/stat : 25512 (java) S 25503 25505 25437 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270857065 937963520 50966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25505/tid=25513] ppid=25503 vsize=915980 CPUtime=0
/proc/25505/task/25513/stat : 25513 (java) S 25503 25505 25437 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270857065 937963520 50966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2314.99
Current children cumulated vsize (KiB) 915980

[startup+2383.88 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 25770
/proc/meminfo: memFree=995648/2055920 swapFree=4191880/4192956
[pid=25505] ppid=25503 vsize=915980 CPUtime=2374.99
/proc/25505/stat : 25505 (java) R 25503 25505 25437 0 -1 0 51256 0 1 0 237402 97 0 0 25 0 8 0 270857058 937963520 50966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074328288 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25505/statm: 228995 50966 2551 14 0 215465 0
[pid=25505/tid=25507] ppid=25503 vsize=915980 CPUtime=0.89
/proc/25505/task/25507/stat : 25507 (java) S 25503 25505 25437 0 -1 64 33964 0 0 0 77 12 0 0 16 0 8 0 270857061 937963520 50966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25505/tid=25508] ppid=25503 vsize=915980 CPUtime=0
/proc/25505/task/25508/stat : 25508 (java) S 25503 25505 25437 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 270857062 937963520 50966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25505/tid=25509] ppid=25503 vsize=915980 CPUtime=0
/proc/25505/task/25509/stat : 25509 (java) S 25503 25505 25437 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270857062 937963520 50966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25505/tid=25510] ppid=25503 vsize=915980 CPUtime=0
/proc/25505/task/25510/stat : 25510 (java) S 25503 25505 25437 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270857065 937963520 50966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25505/tid=25511] ppid=25503 vsize=915980 CPUtime=0.42
/proc/25505/task/25511/stat : 25511 (java) S 25503 25505 25437 0 -1 64 606 0 0 0 41 1 0 0 16 0 8 0 270857065 937963520 50966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25505/tid=25512] ppid=25503 vsize=915980 CPUtime=0
/proc/25505/task/25512/stat : 25512 (java) S 25503 25505 25437 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270857065 937963520 50966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25505/tid=25513] ppid=25503 vsize=915980 CPUtime=0
/proc/25505/task/25513/stat : 25513 (java) S 25503 25505 25437 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270857065 937963520 50966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2374.99
Current children cumulated vsize (KiB) 915980



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2408.97 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 25770
/proc/meminfo: memFree=995648/2055920 swapFree=4191880/4192956
[pid=25505] ppid=25503 vsize=915980 CPUtime=2400.07
/proc/25505/stat : 25505 (java) R 25503 25505 25437 0 -1 0 51256 0 1 0 239910 97 0 0 25 0 8 0 270857058 937963520 50966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074318577 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25505/statm: 228995 50966 2551 14 0 215465 0
[pid=25505/tid=25507] ppid=25503 vsize=915980 CPUtime=0.89
/proc/25505/task/25507/stat : 25507 (java) S 25503 25505 25437 0 -1 64 33964 0 0 0 77 12 0 0 16 0 8 0 270857061 937963520 50966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25505/tid=25508] ppid=25503 vsize=915980 CPUtime=0
/proc/25505/task/25508/stat : 25508 (java) S 25503 25505 25437 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 270857062 937963520 50966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25505/tid=25509] ppid=25503 vsize=915980 CPUtime=0
/proc/25505/task/25509/stat : 25509 (java) S 25503 25505 25437 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270857062 937963520 50966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25505/tid=25510] ppid=25503 vsize=915980 CPUtime=0
/proc/25505/task/25510/stat : 25510 (java) S 25503 25505 25437 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270857065 937963520 50966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25505/tid=25511] ppid=25503 vsize=915980 CPUtime=0.42
/proc/25505/task/25511/stat : 25511 (java) S 25503 25505 25437 0 -1 64 606 0 0 0 41 1 0 0 16 0 8 0 270857065 937963520 50966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25505/tid=25512] ppid=25503 vsize=915980 CPUtime=0
/proc/25505/task/25512/stat : 25512 (java) S 25503 25505 25437 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270857065 937963520 50966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25505/tid=25513] ppid=25503 vsize=915980 CPUtime=0
/proc/25505/task/25513/stat : 25513 (java) S 25503 25505 25437 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270857065 937963520 50966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2400.07
Current children cumulated vsize (KiB) 915980

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

Child status: 143
Real time (s): 2409.04
CPU time (s): 2400.15
CPU user time (s): 2399.14
CPU system time (s): 1.00585
CPU usage (%): 99.6306
Max. virtual memory (cumulated for all children) (KiB): 915980

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.14
system time used= 1.00585
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 51281
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= 50480
involuntary context switches= 66361

runsolver used 3.16352 s user time and 7.67583 s system time

The end

Launcher Data (download as text)

Begin job on node9 on Fri Jan 19 16:36:59 UTC 2007


IDJOB= 275639
IDBENCH= 4186
IDSOLVER= 68
FILE ID= node9/275639-1169224619

PBS_JOBID= 3588971

Free space on /tmp= 66553 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  90f8a89d2b50939af615074c82c16fcf

RANDOM SEED= 317290153

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.231
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.231
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:       1121624 kB
Buffers:         57288 kB
Cached:         568724 kB
SwapCached:        268 kB
Active:         427248 kB
Inactive:       422724 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1121624 kB
SwapTotal:     4192956 kB
SwapFree:      4191880 kB
Dirty:            4464 kB
Writeback:           0 kB
Mapped:         245704 kB
Slab:            68556 kB
Committed_AS:  8605952 kB
PageTables:       2684 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= 66555 MiB



End job on node9 on Fri Jan 19 17:17:08 UTC 2007