Trace number 275640

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
AbsconMax 109 PFCMSAT (TO) 2400.07 2401.4

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.39	   
0.39	Abscon 109 (November, 2006)
0.39	   
0.39	   configuration
0.39	     name=pfc.xml
0.42	   
0.42	   instance
0.42	     name=/tmp/evaluation/275640-1169224625/unknown.xml
0.45	   
0.45	   domains being loaded...
0.49	   
0.49	   variables being loaded...
0.76	     nbVariables=2000  nbDomainTypes=26  minDomainSize=46  maxDomainSize=454
0.76	       =>  wckTime=0.371  cpuTime=0.28  mem=34M241
0.76	   
0.76	   predicates being loaded...
0.77	   
0.77	   constraints being loaded...
60.89	   
60.89	   INFO : Stopping converting binary constraints (cpu=60.07, mem = 61M509)
62.39	     nbConstraints=18600  nbConvertedConstraints=1956  nbConvertConstraintsChecks=188768044  nbExtensionStructures=1568
62.39	     nbSharedExtensionStructures=388  nbConflictsStructures=1568  nbSharedConflictsStructures=388
62.39	     nbSharedBinaryRepresentations=1038459  nbEvaluationManagers=8101  nbSharedEvaluationManagers=8543  maxDegree=25
62.39	     maxArity=2
62.39	       =>  wckTime=61.994  cpuTime=61.31  mem=71M617
62.63	   
62.63	   solver LocalSearchSolver being built... 
62.67	       =>  wckTime=62.276  cpuTime=61.36  mem=62M471
62.83	
62.83	s SATISFIABLE
62.83	o 13187
62.83	c 5413
62.92	o 13194
62.92	c 5406
62.99	o 13201
62.99	c 5399
63.05	o 13205
63.05	c 5395
63.10	o 13209
63.10	c 5391
63.14	o 13213
63.14	c 5387
63.18	o 13215
63.18	c 5385
63.22	o 13216
63.22	c 5384
63.26	o 13222
63.26	c 5378
63.31	o 13228
63.31	c 5372
63.36	o 13233
63.36	c 5367
63.40	o 13238
63.40	c 5362
63.45	o 13243
63.45	c 5357
63.49	o 13247
63.49	c 5353
63.52	o 13251
63.52	c 5349
63.57	o 13255
63.57	c 5345
63.60	o 13259
63.60	c 5341
63.64	o 13263
63.64	c 5337
63.67	o 13266
63.67	c 5334
63.70	o 13269
63.70	c 5331
63.74	o 13272
63.74	c 5328
63.77	o 13275
63.77	c 5325
63.80	o 13277
63.80	c 5323
63.83	o 13279
63.83	c 5321
63.85	o 13281
63.85	c 5319
63.88	o 13283
63.88	c 5317
63.90	o 13285
63.90	c 5315
63.92	o 13286
63.92	c 5314
63.95	o 13287
63.95	c 5313
63.97	o 13288
63.97	c 5312
64.02	o 13289
64.02	c 5311
64.04	o 13290
64.04	c 5310
64.07	o 13299
64.07	c 5301
64.13	o 13303
64.13	c 5297
64.18	o 13308
64.18	c 5292
64.23	o 13313
64.23	c 5287
64.28	o 13318
64.28	c 5282
64.34	o 13322
64.34	c 5278
64.40	o 13326
64.40	c 5274
64.44	o 13330
64.44	c 5270
64.48	o 13334
64.48	c 5266
64.52	o 13338
64.52	c 5262
64.57	o 13341
64.57	c 5259
64.61	o 13344
64.61	c 5256
64.66	o 13347
64.66	c 5253
64.70	o 13350
64.70	c 5250
64.75	o 13353
64.75	c 5247
64.79	o 13356
64.79	c 5244
64.84	o 13358
64.84	c 5242
64.88	o 13360
64.88	c 5240
64.92	o 13362
64.92	c 5238
64.96	o 13364
64.96	c 5236
65.01	o 13366
65.01	c 5234
65.04	o 13368
65.04	c 5232
65.08	o 13370
65.08	c 5230
65.11	o 13372
65.11	c 5228
65.13	o 13374
65.13	c 5226
65.17	o 13376
65.17	c 5224
65.19	o 13377
65.19	c 5223
65.21	o 13378
65.21	c 5222
65.25	o 13379
65.25	c 5221
65.29	o 13380
65.29	c 5220
65.32	o 13381
65.32	c 5219
65.34	o 13382
65.34	c 5218
65.39	o 13383
65.39	c 5217
65.45	o 13384
65.45	c 5216
65.48	o 13386
65.48	c 5214
65.53	o 13393
65.53	c 5207
65.60	o 13398
65.60	c 5202
65.65	o 13403
65.65	c 5197
65.70	o 13405
65.70	c 5195
65.76	o 13410
65.76	c 5190
65.81	o 13414
65.81	c 5186
65.87	o 13418
65.87	c 5182
65.92	o 13421
65.92	c 5179
65.98	o 13424
65.98	c 5176
66.02	o 13427
66.02	c 5173
66.07	o 13430
66.07	c 5170
66.12	o 13433
66.12	c 5167
66.17	o 13436
66.17	c 5164
66.21	o 13439
66.21	c 5161
66.26	o 13442
66.26	c 5158
66.30	o 13445
66.30	c 5155
66.35	o 13448
66.35	c 5152
66.39	o 13451
66.39	c 5149
66.42	o 13454
66.42	c 5146
66.46	o 13456
66.46	c 5144
66.50	o 13458
66.50	c 5142
66.53	o 13460
66.53	c 5140
66.57	o 13462
66.57	c 5138
66.60	o 13464
66.60	c 5136
66.63	o 13466
66.63	c 5134
66.67	o 13468
66.67	c 5132
66.70	o 13470
66.70	c 5130
66.73	o 13472
66.73	c 5128
66.76	o 13474
66.76	c 5126
66.78	o 13476
66.78	c 5124
66.81	o 13478
66.81	c 5122
66.82	o 13480
66.82	c 5120
66.85	o 13481
66.85	c 5119
66.88	o 13482
66.88	c 5118
66.90	o 13483
66.90	c 5117
66.94	o 13484
66.94	c 5116
66.96	o 13485
66.96	c 5115
66.99	o 13490
66.99	c 5110
67.01	o 13496
67.01	c 5104
67.03	o 13500
67.03	c 5100
67.05	o 13501
67.05	c 5099
67.06	o 13508
67.07	c 5092
67.09	o 13513
67.09	c 5087
67.12	o 13517
67.12	c 5083
67.15	o 13519
67.15	c 5081
67.19	o 13522
67.19	c 5078
67.21	o 13529
67.21	c 5071
67.24	o 13535
67.24	c 5065
67.26	o 13540
67.26	c 5060
67.30	o 13543
67.30	c 5057
67.34	o 13546
67.34	c 5054
67.37	o 13549
67.37	c 5051
67.42	o 13553
67.42	c 5047
67.45	o 13554
67.45	c 5046
67.48	o 13555
67.48	c 5045
67.55	o 13557
67.55	c 5043
67.58	o 13561
67.58	c 5039
67.62	o 13563
67.63	c 5037
67.66	o 13567
67.66	c 5033
67.70	o 13569
67.70	c 5031
67.72	o 13570
67.72	c 5030
67.76	o 13573
67.76	c 5027
67.82	o 13576
67.82	c 5024
67.88	o 13580
67.88	c 5020
67.91	o 13584
67.91	c 5016
67.96	o 13586
67.96	c 5014
68.01	o 13590
68.01	c 5010
68.07	o 13592
68.07	c 5008
68.15	o 13598
68.15	c 5002
68.22	o 13604
68.22	c 4996
68.31	o 13610
68.31	c 4990
68.39	o 13616
68.39	c 4984
68.47	o 13621
68.47	c 4979
68.55	o 13626
68.55	c 4974
68.63	o 13631
68.63	c 4969
68.72	o 13636
68.72	c 4964
68.79	o 13641
68.79	c 4959
68.88	o 13645
68.88	c 4955
68.96	o 13647
68.96	c 4953
69.03	o 13651
69.03	c 4949
69.10	o 13655
69.10	c 4945
69.17	o 13659
69.17	c 4941
69.25	o 13663
69.25	c 4937
69.34	o 13667
69.34	c 4933
69.40	o 13670
69.40	c 4930
69.47	o 13673
69.47	c 4927
69.54	o 13676
69.54	c 4924
69.60	o 13679
69.60	c 4921
69.67	o 13682
69.67	c 4918
69.72	o 13685
69.72	c 4915
69.78	o 13688
69.78	c 4912
69.83	o 13690
69.83	c 4910
69.88	o 13692
69.88	c 4908
69.94	o 13694
69.94	c 4906
69.99	o 13696
69.99	c 4904
70.04	o 13698
70.04	c 4902
70.08	o 13700
70.08	c 4900
70.15	o 13703
70.15	c 4897
70.25	o 13705
70.25	c 4895
70.29	o 13707
70.29	c 4893
70.34	o 13709
70.34	c 4891
70.40	o 13711
70.40	c 4889
70.46	o 13713
70.46	c 4887
70.49	o 13715
70.49	c 4885
70.53	o 13717
70.53	c 4883
70.58	o 13718
70.58	c 4882
70.62	o 13719
70.62	c 4881
70.65	o 13720
70.65	c 4880
70.68	o 13721
70.68	c 4879
70.72	o 13722
70.72	c 4878
70.75	o 13723
70.75	c 4877
70.78	o 13724
70.78	c 4876
70.81	o 13725
70.81	c 4875
70.85	o 13726
70.85	c 4874
70.87	o 13727
70.87	c 4873
70.90	o 13728
70.90	c 4872
70.93	o 13729
70.93	c 4871
70.96	o 13736
70.96	c 4864
71.02	o 13737
71.02	c 4863
71.04	o 13740
71.04	c 4860
71.06	o 13745
71.06	c 4855
71.09	o 13746
71.09	c 4854
71.11	o 13749
71.11	c 4851
71.14	o 13753
71.14	c 4847
71.17	o 13756
71.17	c 4844
71.19	o 13761
71.19	c 4839
71.21	o 13764
71.21	c 4836
71.27	o 13766
71.27	c 4834
71.30	o 13768
71.30	c 4832
71.33	o 13775
71.33	c 4825
71.37	o 13776
71.37	c 4824
71.41	o 13777
71.41	c 4823
71.43	o 13779
71.43	c 4821
71.56	o 13782
71.56	c 4818
71.60	o 13783
71.60	c 4817
71.63	o 13787
71.64	c 4813
71.69	o 13792
71.69	c 4808
71.73	o 13794
71.73	c 4806
71.76	o 13801
71.76	c 4799
71.80	o 13809
71.80	c 4791
71.84	o 13814
71.84	c 4786
71.89	o 13815
71.89	c 4785
71.93	o 13816
71.93	c 4784
71.95	o 13824
71.95	c 4776
71.98	o 13827
71.98	c 4773
72.01	o 13829
72.01	c 4771
72.05	o 13832
72.05	c 4768
72.10	o 13833
72.10	c 4767
72.14	o 13834
72.14	c 4766
72.24	o 13836
72.24	c 4764
72.28	o 13837
72.28	c 4763
72.31	o 13839
72.31	c 4761
72.34	o 13842
72.34	c 4758
72.43	o 13845
72.43	c 4755
72.48	o 13850
72.48	c 4750
72.53	o 13852
72.53	c 4748
72.58	o 13856
72.58	c 4744
72.61	o 13857
72.61	c 4743
72.71	o 13859
72.71	c 4741
72.78	o 13866
72.78	c 4734
72.84	o 13869
72.84	c 4731
72.91	o 13876
72.91	c 4724
72.99	o 13882
72.99	c 4718
73.08	o 13888
73.08	c 4712
73.21	o 13889
73.21	c 4711
73.29	o 13890
73.29	c 4710
73.38	o 13896
73.38	c 4704
73.46	o 13902
73.46	c 4698
73.53	o 13904
73.53	c 4696
73.62	o 13909
73.62	c 4691
73.71	o 13914
73.71	c 4686
73.80	o 13919
73.80	c 4681
73.89	o 13923
73.89	c 4677
73.98	o 13927
73.98	c 4673
74.06	o 13929
74.06	c 4671
74.16	o 13933
74.16	c 4667
74.25	o 13937
74.25	c 4663
74.35	o 13941
74.35	c 4659
74.44	o 13943
74.44	c 4657
74.52	o 13946
74.52	c 4654
74.62	o 13950
74.62	c 4650
74.70	o 13953
74.70	c 4647
74.88	o 13956
74.88	c 4644
74.98	o 13959
74.98	c 4641
75.06	o 13962
75.06	c 4638
75.14	o 13965
75.14	c 4635
75.23	o 13968
75.23	c 4632
75.31	o 13971
75.31	c 4629
75.39	o 13974
75.39	c 4626
75.46	o 13977
75.46	c 4623
75.54	o 13980
75.54	c 4620
75.61	o 13982
75.61	c 4618
75.69	o 13984
75.69	c 4616
75.76	o 13986
75.76	c 4614
75.83	o 13988
75.83	c 4612
75.90	o 13990
75.90	c 4610
75.96	o 13992
75.96	c 4608
76.03	o 13996
76.03	c 4604
76.09	o 13998
76.09	c 4602
76.15	o 14000
76.15	c 4600
76.22	o 14002
76.22	c 4598
76.28	o 14004
76.28	c 4596
76.34	o 14006
76.34	c 4594
76.40	o 14007
76.40	c 4593
76.45	o 14008
76.45	c 4592
76.50	o 14009
76.50	c 4591
76.55	o 14010
76.55	c 4590
76.60	o 14011
76.60	c 4589
76.64	o 14012
76.64	c 4588
76.69	o 14013
76.69	c 4587
76.74	o 14014
76.74	c 4586
76.78	o 14017
76.78	c 4583
76.95	o 14019
76.95	c 4581
77.00	o 14025
77.00	c 4575
77.06	o 14029
77.06	c 4571
77.09	o 14030
77.09	c 4570
77.20	o 14037
77.20	c 4563
77.25	o 14044
77.25	c 4556
77.31	o 14050
77.31	c 4550
77.36	o 14051
77.36	c 4549
77.41	o 14055
77.41	c 4545
77.47	o 14061
77.47	c 4539
77.52	o 14062
77.52	c 4538
77.56	o 14069
77.56	c 4531
77.60	o 14074
77.60	c 4526
77.73	o 14077
77.73	c 4523
77.81	o 14078
77.81	c 4522
77.92	o 14080
77.92	c 4520
78.02	o 14082
78.02	c 4518
78.15	o 14083
78.15	c 4517
78.19	o 14086
78.19	c 4514
78.23	o 14088
78.23	c 4512
78.26	o 14092
78.26	c 4508
78.31	o 14093
78.31	c 4507
78.35	o 14095
78.35	c 4505
78.40	o 14099
78.40	c 4501
78.45	o 14101
78.45	c 4499
78.49	o 14104
78.49	c 4496
78.57	o 14108
78.57	c 4492
78.63	o 14110
78.63	c 4490
78.76	o 14112
78.76	c 4488
78.85	o 14116
78.85	c 4484
78.91	o 14120
78.91	c 4480
78.96	o 14121
78.96	c 4479
79.01	o 14122
79.01	c 4478
79.06	o 14124
79.06	c 4476
79.10	o 14127
79.10	c 4473
79.15	o 14129
79.15	c 4471
79.19	o 14133
79.19	c 4467
79.24	o 14138
79.24	c 4462
79.29	o 14140
79.29	c 4460
79.34	o 14143
79.34	c 4457
79.39	o 14146
79.39	c 4454
79.44	o 14147
79.44	c 4453
79.49	o 14149
79.49	c 4451
79.54	o 14150
79.54	c 4450
79.61	o 14153
79.61	c 4447
79.65	o 14155
79.65	c 4445
79.71	o 14159
79.71	c 4441
79.76	o 14161
79.76	c 4439
79.82	o 14164
79.82	c 4436
79.88	o 14169
79.88	c 4431
79.98	o 14172
79.98	c 4428
80.02	o 14174
80.02	c 4426
80.07	o 14176
80.07	c 4424
80.12	o 14179
80.12	c 4421
80.17	o 14181
80.17	c 4419
80.21	o 14182
80.21	c 4418
80.24	o 14187
80.24	c 4413
80.29	o 14189
80.29	c 4411
80.34	o 14194
80.34	c 4406
80.39	o 14200
80.39	c 4400
80.43	o 14204
80.43	c 4396
80.47	o 14207
80.47	c 4393
80.52	o 14208
80.52	c 4392
80.57	o 14209
80.57	c 4391
80.63	o 14212
80.63	c 4388
80.68	o 14216
80.68	c 4384
80.73	o 14218
80.73	c 4382
80.77	o 14219
80.77	c 4381
80.84	o 14222
80.84	c 4378
80.89	o 14223
80.89	c 4377
81.05	o 14225
81.05	c 4375
81.11	o 14228
81.11	c 4372
81.17	o 14233
81.17	c 4367
81.22	o 14234
81.22	c 4366
81.26	o 14236
81.26	c 4364
81.31	o 14239
81.31	c 4361
81.35	o 14241
81.35	c 4359
81.40	o 14246
81.40	c 4354
81.46	o 14248
81.46	c 4352
81.54	o 14250
81.54	c 4350
81.61	o 14255
81.61	c 4345
81.69	o 14259
81.69	c 4341
81.78	o 14263
81.78	c 4337
81.91	o 14267
81.91	c 4333
81.99	o 14271
81.99	c 4329
82.06	o 14275
82.06	c 4325
82.13	o 14277
82.13	c 4323
82.20	o 14281
82.20	c 4319
82.26	o 14285
82.26	c 4315
82.34	o 14288
82.34	c 4312
82.40	o 14291
82.40	c 4309
82.47	o 14294
82.47	c 4306
82.54	o 14297
82.54	c 4303
82.61	o 14299
82.61	c 4301
82.69	o 14301
82.69	c 4299
82.77	o 14303
82.77	c 4297
82.86	o 14305
82.86	c 4295
83.01	o 14307
83.01	c 4293
83.07	o 14310
83.07	c 4290
83.13	o 14311
83.13	c 4289
83.19	o 14314
83.19	c 4286
83.25	o 14315
83.25	c 4285
83.32	o 14316
83.32	c 4284
83.38	o 14317
83.38	c 4283
83.44	o 14318
83.44	c 4282
83.49	o 14319
83.49	c 4281
83.54	o 14320
83.54	c 4280
83.73	o 14321
83.73	c 4279
83.79	o 14324
83.79	c 4276
83.84	o 14325
83.84	c 4275
83.89	o 14328
83.89	c 4272
83.96	o 14329
83.96	c 4271
84.01	o 14330
84.01	c 4270
84.06	o 14331
84.06	c 4269
84.11	o 14337
84.11	c 4263
84.17	o 14341
84.17	c 4259
84.22	o 14343
84.22	c 4257
84.28	o 14347
84.28	c 4253
84.37	o 14348
84.37	c 4252
84.41	o 14350
84.41	c 4250
84.53	o 14356
84.53	c 4244
84.58	o 14360
84.58	c 4240
84.62	o 14363
84.62	c 4237
84.68	o 14367
84.68	c 4233
84.73	o 14368
84.73	c 4232
84.80	o 14369
84.80	c 4231
84.87	o 14370
84.87	c 4230
84.92	o 14372
84.92	c 4228
84.96	o 14373
84.96	c 4227
85.06	o 14380
85.06	c 4220
85.13	o 14382
85.13	c 4218
85.19	o 14385
85.19	c 4215
85.23	o 14386
85.23	c 4214
85.28	o 14387
85.28	c 4213
85.33	o 14389
85.33	c 4211
85.38	o 14391
85.38	c 4209
85.43	o 14392
85.43	c 4208
85.48	o 14396
85.48	c 4204
85.53	o 14397
85.53	c 4203
85.57	o 14400
85.57	c 4200
85.75	o 14405
85.75	c 4195
85.85	o 14406
85.85	c 4194
85.92	o 14407
85.92	c 4193
85.97	o 14408
85.97	c 4192
86.04	o 14411
86.04	c 4189
86.10	o 14413
86.10	c 4187
86.16	o 14415
86.16	c 4185
86.22	o 14417
86.22	c 4183
86.36	o 14420
86.36	c 4180
86.49	o 14422
86.49	c 4178
86.56	o 14423
86.56	c 4177
86.71	o 14425
86.71	c 4175
86.78	o 14427
86.78	c 4173
86.85	o 14428
86.85	c 4172
87.00	o 14430
87.00	c 4170
87.16	o 14433
87.16	c 4167
87.25	o 14434
87.25	c 4166
87.33	o 14435
87.33	c 4165
87.42	o 14438
87.42	c 4162
87.50	o 14441
87.50	c 4159
87.57	o 14443
87.57	c 4157
87.67	o 14444
87.67	c 4156
87.75	o 14446
87.75	c 4154
87.84	o 14449
87.84	c 4151
87.93	o 14452
87.93	c 4148
88.42	o 14454
88.42	c 4146
88.68	o 14457
88.68	c 4143
88.78	o 14461
88.78	c 4139
88.88	o 14463
88.88	c 4137
88.96	o 14464
88.96	c 4136
89.05	o 14465
89.05	c 4135
89.15	o 14467
89.15	c 4133
89.24	o 14469
89.24	c 4131
89.33	o 14470
89.33	c 4130
89.42	o 14474
89.42	c 4126
89.52	o 14475
89.52	c 4125
89.59	o 14480
89.59	c 4120
89.68	o 14483
89.68	c 4117
89.76	o 14485
89.76	c 4115
89.85	o 14488
89.85	c 4112
90.04	o 14491
90.04	c 4109
90.14	o 14492
90.14	c 4108
90.23	o 14493
90.23	c 4107
90.33	o 14494
90.33	c 4106
90.44	o 14495
90.44	c 4105
90.53	o 14497
90.53	c 4103
90.92	o 14500
90.92	c 4100
91.02	o 14501
91.02	c 4099
91.13	o 14502
91.13	c 4098
91.22	o 14504
91.22	c 4096
91.51	o 14505
91.51	c 4095
91.60	o 14509
91.60	c 4091
91.69	o 14510
91.69	c 4090
91.78	o 14515
91.78	c 4085
92.07	o 14516
92.07	c 4084
92.17	o 14517
92.17	c 4083
92.25	o 14522
92.25	c 4078
92.51	o 14523
92.51	c 4077
92.62	o 14525
92.62	c 4075
92.75	o 14531
92.75	c 4069
92.88	o 14536
92.88	c 4064
93.02	o 14540
93.02	c 4060
93.16	o 14543
93.16	c 4057
93.31	o 14546
93.31	c 4054
93.45	o 14549
93.45	c 4051
93.58	o 14550
93.58	c 4050
93.72	o 14553
93.72	c 4047
93.85	o 14555
93.85	c 4045
93.98	o 14557
93.98	c 4043
94.12	o 14559
94.12	c 4041
94.38	o 14561
94.38	c 4039
94.51	o 14563
94.51	c 4037
94.65	o 14565
94.65	c 4035
94.77	o 14567
94.77	c 4033
94.90	o 14569
94.90	c 4031
95.03	o 14570
95.03	c 4030
95.16	o 14571
95.16	c 4029
95.28	o 14572
95.28	c 4028
95.40	o 14573
95.40	c 4027
95.53	o 14574
95.53	c 4026
95.65	o 14575
95.65	c 4025
96.12	o 14576
96.12	c 4024
96.23	o 14577
96.23	c 4023
96.35	o 14578
96.35	c 4022
96.46	o 14579
96.46	c 4021
96.58	o 14580
96.58	c 4020
96.69	o 14581
96.69	c 4019
97.09	o 14582
97.09	c 4018
97.19	o 14583
97.19	c 4017
97.29	o 14584
97.29	c 4016
97.38	o 14586
97.38	c 4014
97.86	o 14587
97.86	c 4013
98.24	o 14589
98.24	c 4011
98.33	o 14591
98.33	c 4009
98.62	o 14595
98.62	c 4005
98.72	o 14599
98.72	c 4001
98.94	o 14603
98.94	c 3997
99.04	o 14604
99.04	c 3996
99.28	o 14605
99.28	c 3995
99.41	o 14607
99.41	c 3993
99.64	o 14609
99.64	c 3991
99.75	o 14610
99.75	c 3990
99.88	o 14612
99.88	c 3988
100.12	o 14614
100.12	c 3986
100.24	o 14619
100.24	c 3981
100.38	o 14621
100.38	c 3979
100.61	o 14623
100.61	c 3977
100.93	o 14628
100.93	c 3972
101.04	o 14630
101.04	c 3970
101.15	o 14632
101.15	c 3968
101.35	o 14633
101.35	c 3967
101.45	o 14637
101.45	c 3963
101.55	o 14638
101.55	c 3962
101.67	o 14641
101.67	c 3959
101.78	o 14643
101.78	c 3957
101.88	o 14646
101.88	c 3954
102.21	o 14650
102.21	c 3950
102.31	o 14651
102.31	c 3949
102.41	o 14652
102.41	c 3948
102.59	o 14656
102.59	c 3944
102.69	o 14659
102.69	c 3941
102.80	o 14662
102.80	c 3938
102.89	o 14664
102.89	c 3936
102.99	o 14666
102.99	c 3934
103.18	o 14667
103.18	c 3933
103.70	o 14669
103.70	c 3931
104.14	o 14671
104.14	c 3929
104.25	o 14675
104.25	c 3925
104.36	o 14677
104.36	c 3923
104.49	o 14680
104.49	c 3920
104.60	o 14682
104.60	c 3918
104.96	o 14688
104.96	c 3912
105.08	o 14692
105.08	c 3908
105.21	o 14694
105.21	c 3906
105.80	o 14696
105.80	c 3904
105.92	o 14697
105.92	c 3903
106.05	o 14698
106.05	c 3902
106.17	o 14701
106.17	c 3899
106.29	o 14702
106.29	c 3898
106.54	o 14703
106.54	c 3897
106.89	o 14705
106.89	c 3895
106.99	o 14708
107.00	c 3892
107.68	o 14710
107.68	c 3890
107.93	o 14711
107.93	c 3889
108.05	o 14713
108.05	c 3887
108.18	o 14715
108.18	c 3885
109.24	o 14717
109.24	c 3883
109.36	o 14723
109.36	c 3877
109.74	o 14724
109.74	c 3876
109.98	o 14726
109.98	c 3874
110.10	o 14727
110.10	c 3873
110.23	o 14730
110.23	c 3870
110.36	o 14734
110.36	c 3866
110.47	o 14736
110.47	c 3864
110.59	o 14741
110.59	c 3859
110.71	o 14745
110.71	c 3855
111.19	o 14749
111.19	c 3851
111.31	o 14751
111.31	c 3849
111.55	o 14754
111.55	c 3846
111.66	o 14757
111.66	c 3843
111.79	o 14759
111.79	c 3841
111.91	o 14763
111.91	c 3837
112.04	o 14766
112.04	c 3834
112.16	o 14770
112.16	c 3830
112.28	o 14772
112.28	c 3828
112.66	o 14773
112.66	c 3827
112.93	o 14774
112.93	c 3826
113.07	o 14777
113.07	c 3823
113.19	o 14780
113.19	c 3820
113.32	o 14781
113.32	c 3819
113.44	o 14786
113.44	c 3814
113.58	o 14788
113.58	c 3812
113.71	o 14790
113.71	c 3810
113.95	o 14791
113.95	c 3809
114.07	o 14796
114.07	c 3804
114.16	o 14800
114.16	c 3800
114.29	o 14805
114.29	c 3795
114.41	o 14807
114.41	c 3793
114.53	o 14809
114.53	c 3791
114.66	o 14812
114.66	c 3788
114.78	o 14814
114.78	c 3786
115.02	o 14816
115.02	c 3784
115.26	o 14818
115.26	c 3782
115.39	o 14822
115.39	c 3778
115.63	o 14826
115.63	c 3774
115.74	o 14829
115.74	c 3771
116.20	o 14830
116.20	c 3770
116.31	o 14831
116.31	c 3769
116.43	o 14834
116.43	c 3766
116.67	o 14838
116.67	c 3762
117.12	o 14839
117.12	c 3761
117.36	o 14842
117.36	c 3758
117.48	o 14844
117.48	c 3756
117.71	o 14846
117.71	c 3754
117.82	o 14849
117.82	c 3751
118.05	o 14852
118.05	c 3748
118.17	o 14853
118.17	c 3747
118.30	o 14854
118.30	c 3746
118.43	o 14856
118.43	c 3744
118.56	o 14858
118.56	c 3742
118.70	o 14861
118.70	c 3739
118.82	o 14862
118.82	c 3738
118.96	o 14866
118.96	c 3734
119.10	o 14870
119.10	c 3730
119.24	o 14873
119.24	c 3727
119.37	o 14877
119.37	c 3723
119.51	o 14880
119.51	c 3720
119.64	o 14883
119.64	c 3717
119.80	o 14885
119.80	c 3715
119.94	o 14887
119.94	c 3713
120.08	o 14889
120.08	c 3711
120.20	o 14891
120.20	c 3709
120.57	o 14894
120.57	c 3706
120.71	o 14896
120.71	c 3704
120.84	o 14898
120.84	c 3702
120.98	o 14900
120.98	c 3700
121.11	o 14901
121.11	c 3699
121.25	o 14904
121.25	c 3696
121.37	o 14906
121.37	c 3694
121.51	o 14909
121.51	c 3691
121.63	o 14910
121.63	c 3690
121.77	o 14911
121.77	c 3689
121.90	o 14912
121.90	c 3688
122.02	o 14913
122.02	c 3687
122.26	o 14916
122.26	c 3684
122.85	o 14918
122.85	c 3682
123.21	o 14921
123.21	c 3679
123.67	o 14924
123.67	c 3676
123.80	o 14926
123.80	c 3674
123.92	o 14927
123.92	c 3673
124.04	o 14929
124.04	c 3671
124.17	o 14932
124.17	c 3668
124.28	o 14933
124.28	c 3667
124.39	o 14934
124.39	c 3666
124.73	o 14935
124.73	c 3665
124.95	o 14939
124.95	c 3661
125.08	o 14941
125.08	c 3659
125.21	o 14942
125.21	c 3658
125.56	o 14944
125.56	c 3656
125.69	o 14945
125.69	c 3655
125.93	o 14946
125.93	c 3654
126.05	o 14951
126.05	c 3649
126.40	o 14953
126.40	c 3647
126.51	o 14955
126.51	c 3645
126.74	o 14956
126.74	c 3644
127.07	o 14959
127.07	c 3641
127.18	o 14961
127.18	c 3639
127.30	o 14962
127.30	c 3638
127.41	o 14964
127.41	c 3636
127.53	o 14966
127.53	c 3634
127.65	o 14969
127.65	c 3631
127.76	o 14970
127.76	c 3630
127.97	o 14972
127.97	c 3628
128.07	o 14977
128.07	c 3623
128.29	o 14978
128.29	c 3622
128.52	o 14980
128.52	c 3620
128.75	o 14985
128.75	c 3615
128.87	o 14987
128.87	c 3613
129.00	o 14990
129.00	c 3610
129.12	o 14991
129.12	c 3609
129.25	o 14993
129.25	c 3607
129.39	o 14996
129.39	c 3604
129.53	o 14997
129.53	c 3603
129.81	o 14999
129.81	c 3601
129.94	o 15003
129.94	c 3597
130.21	o 15004
130.21	c 3596
130.61	o 15007
130.61	c 3593
130.74	o 15008
130.74	c 3592
131.03	o 15012
131.03	c 3588
131.48	o 15013
131.48	c 3587
131.63	o 15016
131.63	c 3584
131.77	o 15017
131.77	c 3583
131.92	o 15018
131.92	c 3582
132.07	o 15021
132.07	c 3579
132.20	o 15024
132.20	c 3576
132.34	o 15027
132.34	c 3573
132.89	o 15028
132.89	c 3572
133.99	o 15030
133.99	c 3570
134.44	o 15032
134.44	c 3568
134.58	o 15033
134.58	c 3567
134.72	o 15034
134.72	c 3566
135.39	o 15036
135.39	c 3564
135.52	o 15038
135.52	c 3562
135.65	o 15041
135.65	c 3559
135.79	o 15042
135.79	c 3558
135.92	o 15045
135.92	c 3555
136.46	o 15047
136.46	c 3553
136.60	o 15049
136.60	c 3551
137.02	o 15051
137.02	c 3549
137.72	o 15052
137.72	c 3548
137.87	o 15055
137.87	c 3545
138.01	o 15059
138.01	c 3541
138.17	o 15060
138.17	c 3540
138.33	o 15062
138.33	c 3538
138.40	o 15069
138.40	c 3531
138.55	o 15073
138.55	c 3527
138.71	o 15075
138.71	c 3525
138.99	o 15077
138.99	c 3523
139.32	o 15080
139.32	c 3520
139.48	o 15082
139.48	c 3518
139.65	o 15083
139.65	c 3517
139.96	o 15084
139.96	c 3516
140.12	o 15087
140.12	c 3513
140.27	o 15089
140.27	c 3511
140.44	o 15092
140.44	c 3508
140.59	o 15093
140.59	c 3507
140.92	o 15096
140.92	c 3504
141.08	o 15097
141.08	c 3503
141.27	o 15098
141.27	c 3502
141.77	o 15100
141.77	c 3500
141.93	o 15102
141.93	c 3498
142.24	o 15106
142.24	c 3494
142.40	o 15109
142.40	c 3491
143.50	o 15111
143.50	c 3489
143.65	o 15112
143.65	c 3488
143.83	o 15113
143.83	c 3487
143.99	o 15115
143.99	c 3485
144.15	o 15117
144.15	c 3483
144.47	o 15122
144.47	c 3478
144.63	o 15125
144.63	c 3475
144.79	o 15128
144.79	c 3472
144.94	o 15129
144.94	c 3471
145.11	o 15131
145.11	c 3469
145.27	o 15135
145.27	c 3465
145.75	o 15137
145.75	c 3463
145.91	o 15139
145.91	c 3461
146.06	o 15141
146.07	c 3459
146.41	o 15142
146.41	c 3458
146.93	o 15143
146.93	c 3457
147.10	o 15144
147.10	c 3456
147.26	o 15145
147.26	c 3455
147.42	o 15149
147.42	c 3451
147.59	o 15150
147.59	c 3450
147.76	o 15152
147.76	c 3448
147.93	o 15153
147.93	c 3447
148.26	o 15155
148.26	c 3445
148.43	o 15156
148.43	c 3444
148.59	o 15157
148.59	c 3443
148.76	o 15159
148.76	c 3441
148.94	o 15161
148.94	c 3439
149.09	o 15164
149.09	c 3436
149.25	o 15166
149.25	c 3434
149.41	o 15169
149.41	c 3431
149.57	o 15172
149.57	c 3428
149.73	o 15173
149.73	c 3427
150.05	o 15175
150.05	c 3425
150.21	o 15176
150.21	c 3424
150.38	o 15179
150.38	c 3421
150.54	o 15181
150.54	c 3419
150.70	o 15182
150.70	c 3418
150.86	o 15183
150.86	c 3417
151.35	o 15184
151.35	c 3416
151.53	o 15187
151.53	c 3413
151.69	o 15188
151.69	c 3412
151.86	o 15189
151.86	c 3411
152.01	o 15191
152.01	c 3409
152.17	o 15195
152.17	c 3405
152.33	o 15196
152.33	c 3404
152.50	o 15200
152.50	c 3400
152.68	o 15203
152.68	c 3397
153.03	o 15207
153.03	c 3393
153.20	o 15208
153.20	c 3392
153.36	o 15210
153.36	c 3390
153.53	o 15211
153.53	c 3389
153.71	o 15212
153.71	c 3388
153.88	o 15214
153.88	c 3386
154.05	o 15220
154.05	c 3380
154.57	o 15223
154.57	c 3377
154.75	o 15224
154.75	c 3376
154.93	o 15225
154.93	c 3375
155.24	o 15226
155.24	c 3374
155.41	o 15230
155.41	c 3370
155.58	o 15232
155.58	c 3368
155.93	o 15233
155.93	c 3367
156.11	o 15234
156.11	c 3366
156.28	o 15240
156.28	c 3360
156.64	o 15241
156.64	c 3359
156.82	o 15242
156.82	c 3358
156.99	o 15245
156.99	c 3355
157.17	o 15247
157.17	c 3353
157.53	o 15248
157.53	c 3352
158.09	o 15250
158.09	c 3350
158.28	o 15251
158.28	c 3349
158.49	o 15253
158.49	c 3347
158.70	o 15255
158.70	c 3345
159.09	o 15258
159.09	c 3342
159.28	o 15261
159.28	c 3339
159.48	o 15265
159.48	c 3335
159.69	o 15268
159.69	c 3332
160.07	o 15270
160.07	c 3330
160.26	o 15273
160.26	c 3327
160.46	o 15276
160.46	c 3324
160.66	o 15279
160.67	c 3321
160.87	o 15281
160.87	c 3319
161.08	o 15283
161.08	c 3317
161.29	o 15284
161.29	c 3316
161.69	o 15285
161.69	c 3315
161.90	o 15286
161.90	c 3314
162.11	o 15287
162.11	c 3313
162.31	o 15288
162.31	c 3312
162.52	o 15289
162.52	c 3311
162.72	o 15290
162.72	c 3310
163.93	o 15294
163.93	c 3306
164.13	o 15295
164.13	c 3305
164.46	o 15297
164.46	c 3303
164.64	o 15300
164.64	c 3300
165.78	o 15301
165.78	c 3299
165.97	o 15302
165.97	c 3298
166.18	o 15304
166.18	c 3296
166.56	o 15305
166.56	c 3295
166.76	o 15306
166.76	c 3294
166.93	o 15310
166.93	c 3290
167.11	o 15312
167.11	c 3288
167.82	o 15314
167.82	c 3286
168.00	o 15315
168.00	c 3285
168.18	o 15316
168.18	c 3284
168.54	o 15317
168.54	c 3283
168.71	o 15318
168.71	c 3282
169.05	o 15320
169.05	c 3280
169.22	o 15321
169.22	c 3279
169.40	o 15322
169.40	c 3278
169.76	o 15324
169.76	c 3276
169.93	o 15325
169.93	c 3275
170.11	o 15326
170.11	c 3274
170.30	o 15327
170.30	c 3273
170.66	o 15329
170.66	c 3271
171.27	o 15330
171.27	c 3270
171.47	o 15333
171.47	c 3267
171.65	o 15334
171.65	c 3266
171.83	o 15338
171.83	c 3262
172.02	o 15339
172.02	c 3261
172.20	o 15341
172.20	c 3259
172.41	o 15342
172.41	c 3258
172.62	o 15343
172.62	c 3257
173.44	o 15345
173.44	c 3255
173.65	o 15346
173.65	c 3254
173.85	o 15348
173.85	c 3252
174.05	o 15349
174.05	c 3251
174.22	o 15350
174.22	c 3250
174.42	o 15352
174.42	c 3248
174.62	o 15354
174.62	c 3246
174.83	o 15357
174.83	c 3243
175.04	o 15360
175.04	c 3240
175.24	o 15363
175.24	c 3237
175.45	o 15365
175.45	c 3235
175.66	o 15368
175.66	c 3232
176.05	o 15370
176.05	c 3230
176.50	o 15371
176.50	c 3229
176.65	o 15373
176.65	c 3227
176.84	o 15374
176.84	c 3226
177.24	o 15378
177.24	c 3222
177.64	o 15380
177.64	c 3220
177.83	o 15382
177.83	c 3218
178.03	o 15383
178.03	c 3217
178.22	o 15386
178.22	c 3214
178.61	o 15387
178.61	c 3213
178.82	o 15388
178.82	c 3212
179.03	o 15390
179.03	c 3210
179.22	o 15393
179.22	c 3207
180.07	o 15397
180.07	c 3203
180.27	o 15400
180.27	c 3200
180.49	o 15402
180.49	c 3198
180.70	o 15403
180.70	c 3197
180.91	o 15406
180.91	c 3194
181.96	o 15407
181.96	c 3193
182.16	o 15409
182.17	c 3191
182.38	o 15410
182.38	c 3190
182.58	o 15412
182.58	c 3188
182.79	o 15414
182.79	c 3186
183.00	o 15417
183.00	c 3183
183.84	o 15418
183.84	c 3182
184.03	o 15422
184.03	c 3178
184.23	o 15424
184.23	c 3176
184.44	o 15426
184.44	c 3174
185.07	o 15427
185.07	c 3173
185.28	o 15431
185.28	c 3169
185.48	o 15433
185.48	c 3167
185.69	o 15434
185.69	c 3166
187.58	o 15437
187.58	c 3163
187.79	o 15438
187.79	c 3162
188.00	o 15441
188.00	c 3159
188.21	o 15447
188.21	c 3153
188.43	o 15448
188.43	c 3152
188.66	o 15451
188.66	c 3149
188.86	o 15455
188.86	c 3145
189.07	o 15458
189.07	c 3142
189.32	o 15459
189.32	c 3141
189.56	o 15460
189.56	c 3140
190.26	o 15462
190.26	c 3138
190.49	o 15465
190.49	c 3135
190.97	o 15467
190.97	c 3133
191.23	o 15469
191.23	c 3131
192.97	o 15470
192.97	c 3130
193.46	o 15471
193.46	c 3129
193.72	o 15472
193.72	c 3128
193.97	o 15475
193.97	c 3125
194.23	o 15476
194.23	c 3124
194.48	o 15477
194.48	c 3123
194.73	o 15480
194.73	c 3120
195.22	o 15481
195.22	c 3119
196.18	o 15484
196.18	c 3116
196.88	o 15485
196.88	c 3115
197.34	o 15486
197.34	c 3114
197.59	o 15487
197.59	c 3113
198.07	o 15490
198.07	c 3110
198.55	o 15492
198.55	c 3108
198.77	o 15493
198.77	c 3107
199.65	o 15495
199.65	c 3105
199.89	o 15496
199.89	c 3104
200.11	o 15498
200.11	c 3102
200.34	o 15501
200.34	c 3099
200.57	o 15503
200.57	c 3097
200.79	o 15504
200.79	c 3096
201.01	o 15508
201.01	c 3092
201.23	o 15510
201.23	c 3090
201.44	o 15511
201.44	c 3089
201.66	o 15515
201.66	c 3085
201.88	o 15519
201.88	c 3081
202.08	o 15521
202.08	c 3079
202.29	o 15523
202.29	c 3077
202.50	o 15524
202.50	c 3076
202.71	o 15528
202.71	c 3072
203.11	o 15530
203.11	c 3070
203.33	o 15532
203.33	c 3068
203.54	o 15534
203.54	c 3066
203.74	o 15539
203.74	c 3061
203.96	o 15542
203.96	c 3058
204.18	o 15546
204.18	c 3054
204.39	o 15551
204.39	c 3049
204.60	o 15552
204.60	c 3048
204.82	o 15554
204.82	c 3046
205.04	o 15555
205.04	c 3045
205.25	o 15558
205.25	c 3042
205.46	o 15560
205.46	c 3040
205.67	o 15564
205.67	c 3036
206.53	o 15565
206.53	c 3035
206.75	o 15570
206.75	c 3030
206.97	o 15572
206.97	c 3028
207.17	o 15573
207.17	c 3027
207.37	o 15574
207.37	c 3026
207.81	o 15575
207.81	c 3025
208.26	o 15579
208.26	c 3021
208.88	o 15582
208.88	c 3018
209.10	o 15584
209.10	c 3016
209.31	o 15585
209.31	c 3015
209.74	o 15586
209.74	c 3014
209.96	o 15587
209.96	c 3013
210.17	o 15590
210.17	c 3010
210.39	o 15594
210.39	c 3006
210.60	o 15595
210.60	c 3005
210.83	o 15596
210.83	c 3004
211.06	o 15597
211.06	c 3003
211.29	o 15599
211.29	c 3001
211.51	o 15601
211.51	c 2999
211.74	o 15605
211.74	c 2995
211.97	o 15609
211.97	c 2991
212.65	o 15610
212.65	c 2990
212.87	o 15612
212.87	c 2988
213.31	o 15614
213.31	c 2986
213.77	o 15616
213.77	c 2984
213.99	o 15618
213.99	c 2982
214.23	o 15623
214.23	c 2977
215.11	o 15626
215.11	c 2974
215.33	o 15629
215.33	c 2971
215.56	o 15632
215.56	c 2968
215.77	o 15636
215.77	c 2964
216.00	o 15638
216.00	c 2962
216.23	o 15641
216.23	c 2959
216.68	o 15643
216.68	c 2957
216.89	o 15645
216.89	c 2955
217.35	o 15646
217.35	c 2954
217.58	o 15647
217.58	c 2953
217.81	o 15651
217.81	c 2949
217.89	o 15656
217.89	c 2944
218.34	o 15658
218.34	c 2942
218.56	o 15660
218.56	c 2940
218.79	o 15661
218.79	c 2939
219.46	o 15662
219.46	c 2938
219.68	o 15665
219.68	c 2935
219.85	o 15668
219.85	c 2932
220.07	o 15669
220.07	c 2931
220.29	o 15670
220.29	c 2930
220.52	o 15671
220.52	c 2929
220.95	o 15673
220.95	c 2927
221.17	o 15675
221.17	c 2925
221.38	o 15676
221.38	c 2924
221.61	o 15680
221.61	c 2920
221.82	o 15682
221.82	c 2918
222.04	o 15683
222.04	c 2917
222.26	o 15684
222.26	c 2916
222.47	o 15686
222.47	c 2914
224.29	o 15687
224.29	c 2913
224.50	o 15689
224.50	c 2911
224.72	o 15690
224.72	c 2910
224.92	o 15692
224.92	c 2908
225.33	o 15694
225.33	c 2906
225.54	o 15695
225.54	c 2905
225.76	o 15698
225.76	c 2902
225.96	o 15700
225.96	c 2900
226.17	o 15701
226.17	c 2899
226.40	o 15702
226.40	c 2898
226.61	o 15705
226.61	c 2895
226.83	o 15706
226.83	c 2894
227.70	o 15708
227.70	c 2892
227.91	o 15711
227.91	c 2889
228.14	o 15714
228.14	c 2886
228.38	o 15715
228.38	c 2885
229.05	o 15717
229.05	c 2883
229.49	o 15718
229.49	c 2882
229.72	o 15722
229.72	c 2878
229.96	o 15723
229.96	c 2877
230.20	o 15724
230.20	c 2876
231.81	o 15725
231.81	c 2875
232.26	o 15727
232.26	c 2873
232.51	o 15728
232.51	c 2872
232.73	o 15731
232.73	c 2869
232.96	o 15735
232.96	c 2865
233.21	o 15736
233.21	c 2864
233.44	o 15738
233.44	c 2862
233.94	o 15739
233.94	c 2861
234.23	o 15740
234.23	c 2860
234.49	o 15744
234.49	c 2856
234.73	o 15747
234.73	c 2853
235.23	o 15748
235.23	c 2852
235.49	o 15749
235.49	c 2851
235.98	o 15750
235.98	c 2850
236.22	o 15751
236.22	c 2849
237.27	o 15753
237.27	c 2847
237.53	o 15755
237.53	c 2845
237.79	o 15758
237.79	c 2842
238.06	o 15761
238.06	c 2839
238.33	o 15763
238.33	c 2837
238.60	o 15766
238.60	c 2834
240.55	o 15770
240.55	c 2830
240.83	o 15771
240.83	c 2829
241.14	o 15772
241.14	c 2828
241.45	o 15773
241.45	c 2827
242.35	o 15774
242.35	c 2826
242.66	o 15775
242.66	c 2825
242.95	o 15776
242.95	c 2824
243.25	o 15779
243.25	c 2821
243.55	o 15782
243.55	c 2818
244.14	o 15783
244.14	c 2817
244.73	o 15786
244.73	c 2814
245.31	o 15787
245.31	c 2813
245.60	o 15790
245.60	c 2810
245.88	o 15791
245.88	c 2809
246.18	o 15792
246.18	c 2808
246.47	o 15793
246.48	c 2807
246.77	o 15794
246.77	c 2806
247.07	o 15797
247.07	c 2803
247.63	o 15798
247.63	c 2802
247.94	o 15800
247.94	c 2800
248.21	o 15802
248.21	c 2798
248.51	o 15804
248.51	c 2796
249.11	o 15807
249.11	c 2793
250.30	o 15809
250.30	c 2791
250.92	o 15810
250.92	c 2790
252.04	o 15811
252.04	c 2789
252.34	o 15814
252.34	c 2786
252.63	o 15816
252.63	c 2784
253.23	o 15819
253.23	c 2781
253.52	o 15823
253.52	c 2777
253.81	o 15826
253.81	c 2774
254.10	o 15828
254.10	c 2772
254.39	o 15830
254.39	c 2770
254.71	o 15831
254.71	c 2769
255.02	o 15832
255.02	c 2768
255.31	o 15834
255.31	c 2766
256.49	o 15837
256.49	c 2763
256.79	o 15838
256.79	c 2762
259.24	o 15840
259.24	c 2760
259.55	o 15841
259.55	c 2759
260.09	o 15844
260.09	c 2756
260.38	o 15845
260.38	c 2755
260.70	o 15846
260.70	c 2754
260.90	o 15849
260.90	c 2751
261.79	o 15850
261.79	c 2750
262.08	o 15852
262.08	c 2748
262.38	o 15853
262.38	c 2747
262.69	o 15855
262.69	c 2745
263.30	o 15856
263.30	c 2744
263.61	o 15857
263.61	c 2743
263.93	o 15858
263.93	c 2742
264.25	o 15859
264.25	c 2741
264.56	o 15860
264.56	c 2740
269.89	o 15861
269.89	c 2739
270.19	o 15864
270.19	c 2736
270.50	o 15867
270.50	c 2733
271.12	o 15869
271.12	c 2731
271.43	o 15871
271.43	c 2729
271.74	o 15872
271.74	c 2728
272.06	o 15874
272.06	c 2726
272.37	o 15877
272.37	c 2723
272.97	o 15878
272.97	c 2722
273.28	o 15879
273.28	c 2721
273.88	o 15881
273.88	c 2719
274.18	o 15883
274.18	c 2717
274.49	o 15885
274.49	c 2715
274.79	o 15887
274.79	c 2713
275.11	o 15888
275.11	c 2712
275.42	o 15891
275.42	c 2709
277.91	o 15892
277.91	c 2708
278.21	o 15895
278.21	c 2705
278.52	o 15897
278.52	c 2703
280.00	o 15898
280.00	c 2702
280.31	o 15899
280.31	c 2701
280.92	o 15901
280.92	c 2699
281.22	o 15903
281.22	c 2697
281.84	o 15904
281.84	c 2696
283.06	o 15906
283.06	c 2694
283.36	o 15907
283.36	c 2693
283.67	o 15909
283.67	c 2691
285.51	o 15912
285.51	c 2688
285.81	o 15914
285.81	c 2686
287.07	o 15916
287.07	c 2684
287.70	o 15918
287.70	c 2682
288.32	o 15920
288.32	c 2680
289.25	o 15921
289.25	c 2679
289.44	o 15923
289.44	c 2677
290.05	o 15926
290.05	c 2674
290.65	o 15927
290.65	c 2673
290.95	o 15928
290.95	c 2672
291.25	o 15929
291.25	c 2671
291.55	o 15930
291.55	c 2670
291.84	o 15932
291.84	c 2668
292.43	o 15933
292.43	c 2667
292.73	o 15934
292.73	c 2666
293.32	o 15935
293.32	c 2665
293.61	o 15936
293.61	c 2664
296.14	o 15937
296.14	c 2663
296.42	o 15943
296.42	c 2657
296.70	o 15944
296.70	c 2656
296.99	o 15946
296.99	c 2654
297.16	o 15950
297.16	c 2650
297.46	o 15952
297.46	c 2648
299.18	o 15956
299.18	c 2644
299.36	o 15960
299.36	c 2640
299.67	o 15962
299.67	c 2638
299.97	o 15964
299.97	c 2636
300.25	o 15965
300.25	c 2635
302.20	o 15967
302.20	c 2633
302.48	o 15968
302.48	c 2632
302.77	o 15969
302.77	c 2631
303.06	o 15970
303.06	c 2630
303.34	o 15972
303.34	c 2628
303.62	o 15975
303.62	c 2625
303.91	o 15977
303.91	c 2623
304.77	o 15979
304.77	c 2621
305.06	o 15982
305.06	c 2618
305.37	o 15985
305.37	c 2615
305.67	o 15988
305.67	c 2612
305.96	o 15990
305.96	c 2610
306.48	o 15991
306.48	c 2609
307.08	o 15996
307.08	c 2604
307.97	o 15997
307.97	c 2603
308.57	o 15998
308.57	c 2602
310.03	o 16000
310.03	c 2600
311.36	o 16001
311.36	c 2599
311.64	o 16002
311.64	c 2598
311.93	o 16003
311.93	c 2597
312.52	o 16004
312.52	c 2596
314.02	o 16005
314.02	c 2595
316.99	o 16007
316.99	c 2593
317.28	o 16008
317.28	c 2592
318.04	o 16010
318.04	c 2590
318.34	o 16011
318.34	c 2589
318.62	o 16013
318.62	c 2587
319.19	o 16014
319.19	c 2586
319.41	o 16016
319.41	c 2584
320.24	o 16018
320.24	c 2582
320.53	o 16020
320.53	c 2580
320.82	o 16021
320.82	c 2579
321.10	o 16022
321.10	c 2578
321.38	o 16023
321.38	c 2577
321.94	o 16027
321.94	c 2573
322.51	o 16029
322.51	c 2571
322.80	o 16030
322.80	c 2570
323.10	o 16031
323.10	c 2569
323.40	o 16032
323.40	c 2568
323.69	o 16033
323.69	c 2567
324.28	o 16036
324.28	c 2564
324.59	o 16038
324.59	c 2562
324.90	o 16039
324.90	c 2561
325.86	o 16040
325.86	c 2560
326.78	o 16042
326.78	c 2558
327.09	o 16043
327.09	c 2557
327.42	o 16044
327.42	c 2556
327.75	o 16045
327.75	c 2555
332.12	o 16048
332.12	c 2552
332.48	o 16051
332.48	c 2549
332.65	o 16054
332.65	c 2546
333.34	o 16055
333.34	c 2545
337.10	o 16056
337.10	c 2544
338.18	o 16057
338.18	c 2543
338.54	o 16059
338.54	c 2541
338.90	o 16060
338.90	c 2540
339.26	o 16062
339.26	c 2538
339.60	o 16066
339.60	c 2534
339.95	o 16071
339.95	c 2529
341.00	o 16073
341.00	c 2527
347.28	o 16075
347.28	c 2525
347.64	o 16077
347.64	c 2523
349.00	o 16078
349.00	c 2522
349.34	o 16079
349.34	c 2521
349.70	o 16081
349.70	c 2519
350.24	o 16082
350.24	c 2518
350.51	o 16085
350.51	c 2515
351.01	o 16086
351.01	c 2514
351.34	o 16087
351.34	c 2513
352.29	o 16088
352.29	c 2512
352.61	o 16091
352.61	c 2509
352.93	o 16092
352.93	c 2508
354.22	o 16093
354.22	c 2507
357.38	o 16094
357.38	c 2506
361.08	o 16095
361.08	c 2505
361.41	o 16097
361.41	c 2503
361.74	o 16099
361.74	c 2501
362.39	o 16100
362.39	c 2500
362.72	o 16102
362.72	c 2498
363.05	o 16104
363.05	c 2496
364.05	o 16106
364.05	c 2494
364.17	o 16107
364.17	c 2493
364.50	o 16109
364.50	c 2491
365.17	o 16110
365.17	c 2490
365.51	o 16112
365.51	c 2488
365.84	o 16113
365.84	c 2487
366.16	o 16114
366.16	c 2486
368.74	o 16118
368.74	c 2482
369.07	o 16119
369.07	c 2481
369.72	o 16120
369.72	c 2480
370.07	o 16122
370.07	c 2478
370.73	o 16126
370.73	c 2474
373.02	o 16127
373.02	c 2473
373.35	o 16128
373.35	c 2472
374.01	o 16129
374.01	c 2471
374.33	o 16132
374.33	c 2468
374.67	o 16133
374.67	c 2467
375.00	o 16137
375.00	c 2463
375.66	o 16138
375.66	c 2462
376.00	o 16139
376.00	c 2461
376.34	o 16141
376.34	c 2459
376.67	o 16145
376.67	c 2455
377.00	o 16146
377.00	c 2454
377.29	o 16148
377.29	c 2452
377.96	o 16149
377.96	c 2451
378.23	o 16152
378.23	c 2448
378.56	o 16154
378.56	c 2446
378.88	o 16155
378.88	c 2445
379.22	o 16156
379.22	c 2444
380.89	o 16157
380.89	c 2443
381.22	o 16160
381.22	c 2440
382.70	o 16162
382.70	c 2438
382.99	o 16163
382.99	c 2437
383.33	o 16164
383.33	c 2436
389.24	o 16165
389.24	c 2435
389.58	o 16167
389.58	c 2433
389.84	o 16168
389.84	c 2432
390.19	o 16170
390.19	c 2430
391.87	o 16171
391.87	c 2429
392.92	o 16172
392.92	c 2428
393.25	o 16173
393.25	c 2427
395.64	o 16174
395.64	c 2426
395.99	o 16175
395.99	c 2425
397.30	o 16176
397.30	c 2424
397.64	o 16177
397.64	c 2423
397.99	o 16179
397.99	c 2421
398.34	o 16180
398.34	c 2420
398.69	o 16181
398.69	c 2419
399.04	o 16183
399.04	c 2417
399.39	o 16186
399.39	c 2414
399.74	o 16187
399.74	c 2413
400.27	o 16188
400.27	c 2412
400.61	o 16189
400.61	c 2411
400.97	o 16190
400.97	c 2410
401.32	o 16193
401.32	c 2407
401.66	o 16196
401.66	c 2404
402.35	o 16197
402.35	c 2403
402.69	o 16199
402.69	c 2401
403.03	o 16202
403.03	c 2398
403.38	o 16204
403.38	c 2396
403.99	o 16207
403.99	c 2393
407.50	o 16208
407.50	c 2392
409.62	o 16209
409.63	c 2391
409.98	o 16211
409.98	c 2389
410.34	o 16212
410.34	c 2388
410.70	o 16214
410.70	c 2386
411.05	o 16216
411.05	c 2384
411.40	o 16218
411.41	c 2382
412.86	o 16220
412.86	c 2380
413.24	o 16221
413.24	c 2379
413.61	o 16223
413.61	c 2377
414.29	o 16225
414.29	c 2375
414.66	o 16226
414.66	c 2374
415.39	o 16227
415.39	c 2373
416.11	o 16228
416.11	c 2372
416.46	o 16231
416.46	c 2369
417.19	o 16233
417.19	c 2367
417.95	o 16236
417.95	c 2364
418.32	o 16237
418.32	c 2363
418.68	o 16239
418.68	c 2361
421.23	o 16241
421.23	c 2359
424.68	o 16242
424.68	c 2358
425.83	o 16243
425.83	c 2357
426.22	o 16245
426.22	c 2355
426.97	o 16246
426.97	c 2354
427.30	o 16248
427.30	c 2352
427.68	o 16249
427.68	c 2351
428.05	o 16250
428.05	c 2350
428.80	o 16251
428.80	c 2349
429.57	o 16253
429.57	c 2347
430.32	o 16254
430.32	c 2346
431.85	o 16257
431.85	c 2343
432.60	o 16259
432.60	c 2341
432.97	o 16261
432.97	c 2339
433.35	o 16263
433.35	c 2337
433.73	o 16265
433.73	c 2335
434.11	o 16267
434.11	c 2333
434.42	o 16270
434.42	c 2330
434.77	o 16271
434.77	c 2329
435.14	o 16272
435.14	c 2328
436.21	o 16273
436.21	c 2327
436.59	o 16276
436.59	c 2324
436.97	o 16278
436.97	c 2322
437.35	o 16280
437.35	c 2320
437.73	o 16281
437.73	c 2319
438.50	o 16282
438.50	c 2318
439.00	o 16283
439.00	c 2317
439.39	o 16284
439.39	c 2316
440.16	o 16285
440.16	c 2315
441.72	o 16289
441.72	c 2311
442.10	o 16292
442.10	c 2308
443.66	o 16294
443.66	c 2306
444.03	o 16295
444.03	c 2305
444.42	o 16296
444.42	c 2304
445.18	o 16297
445.18	c 2303
445.52	o 16298
445.52	c 2302
446.70	o 16299
446.70	c 2301
447.47	o 16300
447.47	c 2300
447.85	o 16301
447.85	c 2299
448.24	o 16302
448.24	c 2298
448.64	o 16303
448.64	c 2297
450.88	o 16305
450.88	c 2295
451.23	o 16310
451.23	c 2290
452.33	o 16311
452.33	c 2289
453.05	o 16312
453.05	c 2288
453.41	o 16313
453.41	c 2287
454.49	o 16317
454.49	c 2283
454.84	o 16319
454.84	c 2281
454.90	o 16324
454.90	c 2276
455.27	o 16327
455.27	c 2273
455.62	o 16330
455.62	c 2270
455.98	o 16332
455.98	c 2268
456.33	o 16335
456.33	c 2265
457.40	o 16336
457.40	c 2264
458.12	o 16338
458.12	c 2262
458.48	o 16342
458.48	c 2258
458.84	o 16344
458.84	c 2256
459.56	o 16345
459.56	c 2255
459.92	o 16347
459.92	c 2253
460.50	o 16349
460.50	c 2251
461.23	o 16351
461.23	c 2249
461.59	o 16353
461.59	c 2247
462.28	o 16354
462.29	c 2246
462.65	o 16357
462.65	c 2243
463.00	o 16359
463.00	c 2241
463.35	o 16360
463.35	c 2240
464.08	o 16363
464.08	c 2237
464.43	o 16364
464.43	c 2236
464.78	o 16365
464.78	c 2235
465.49	o 16366
465.49	c 2234
466.20	o 16368
466.20	c 2232
466.55	o 16369
466.55	c 2231
471.23	o 16370
471.23	c 2230
471.59	o 16373
471.59	c 2227
471.97	o 16374
471.97	c 2226
472.34	o 16376
472.34	c 2224
472.71	o 16378
472.71	c 2222
473.08	o 16379
473.08	c 2221
473.23	o 16380
473.23	c 2220
473.43	o 16382
473.43	c 2218
473.82	o 16383
473.82	c 2217
476.14	o 16388
476.14	c 2212
476.48	o 16390
476.48	c 2210
477.63	o 16391
477.63	c 2209
478.03	o 16393
478.03	c 2207
478.41	o 16397
478.41	c 2203
491.39	o 16398
491.39	c 2202
491.79	o 16399
491.80	c 2201
492.20	o 16401
492.20	c 2199
497.91	o 16403
497.91	c 2197
498.23	o 16404
498.23	c 2196
498.67	o 16406
498.67	c 2194
499.98	o 16407
499.98	c 2193
502.16	o 16408
502.16	c 2192
502.53	o 16410
502.53	c 2190
502.98	o 16411
502.98	c 2189
503.41	o 16412
503.41	c 2188
503.83	o 16413
503.83	c 2187
504.63	o 16415
504.63	c 2185
505.07	o 16418
505.07	c 2182
505.50	o 16423
505.50	c 2177
505.75	o 16425
505.75	c 2175
506.19	o 16426
506.19	c 2174
507.84	o 16429
507.84	c 2171
508.24	o 16431
508.24	c 2169
509.54	o 16433
509.54	c 2167
511.70	o 16434
511.70	c 2166
512.59	o 16436
512.59	c 2164
512.87	o 16438
512.87	c 2162
514.60	o 16439
514.60	c 2161
515.49	o 16440
515.49	c 2160
518.16	o 16441
518.16	c 2159
520.93	o 16444
520.93	c 2156
521.85	o 16445
521.85	c 2155
523.75	o 16446
523.75	c 2154
524.23	o 16447
524.23	c 2153
524.71	o 16448
524.71	c 2152
525.79	o 16450
525.79	c 2150
526.25	o 16451
526.25	c 2149
531.90	o 16452
531.90	c 2148
533.09	o 16453
533.09	c 2147
533.56	o 16454
533.56	c 2146
534.03	o 16455
534.03	c 2145
534.98	o 16456
534.98	c 2144
535.93	o 16457
535.93	c 2143
536.41	o 16458
536.41	c 2142
536.88	o 16459
536.88	c 2141
537.35	o 16461
537.35	c 2139
537.82	o 16462
537.82	c 2138
538.30	o 16463
538.30	c 2137
540.15	o 16465
540.15	c 2135
540.62	o 16466
540.62	c 2134
541.58	o 16467
541.58	c 2133
542.05	o 16468
542.05	c 2132
543.47	o 16470
543.47	c 2130
543.93	o 16473
543.93	c 2127
544.42	o 16474
544.42	c 2126
545.36	o 16475
545.36	c 2125
545.81	o 16478
545.81	c 2122
546.29	o 16481
546.29	c 2119
547.67	o 16483
547.67	c 2117
548.12	o 16485
548.12	c 2115
548.54	o 16486
548.54	c 2114
549.46	o 16488
549.46	c 2112
549.93	o 16490
549.93	c 2110
550.38	o 16491
550.38	c 2109
552.64	o 16493
552.64	c 2107
554.06	o 16495
554.06	c 2105
555.00	o 16496
555.00	c 2104
559.41	o 16497
559.41	c 2103
564.55	o 16498
564.55	c 2102
565.03	o 16501
565.03	c 2099
565.32	o 16502
565.32	c 2098
565.76	o 16503
565.76	c 2097
566.20	o 16505
566.20	c 2095
566.49	o 16509
566.50	c 2091
566.90	o 16510
566.90	c 2090
567.76	o 16513
567.76	c 2087
568.19	o 16514
568.19	c 2086
568.62	o 16517
568.62	c 2083
568.80	o 16519
568.80	c 2081
573.07	o 16520
573.07	c 2080
574.82	o 16521
574.82	c 2079
575.66	o 16522
575.66	c 2078
576.52	o 16523
576.52	c 2077
577.38	o 16524
577.38	c 2076
577.81	o 16525
577.81	c 2075
586.25	o 16526
586.25	c 2074
588.74	o 16528
588.74	c 2072
600.84	o 16529
600.84	c 2071
601.76	o 16533
601.76	c 2067
601.92	o 16535
601.92	c 2065
602.82	o 16536
602.82	c 2064
603.28	o 16538
603.28	c 2062
603.74	o 16539
603.74	c 2061
604.93	o 16540
604.93	c 2060
605.37	o 16542
605.37	c 2058
605.84	o 16544
605.84	c 2056
606.74	o 16545
606.74	c 2055
609.44	o 16550
609.44	c 2050
609.91	o 16551
609.92	c 2049
610.35	o 16552
610.35	c 2048
611.26	o 16553
611.26	c 2047
612.20	o 16555
612.20	c 2045
613.13	o 16557
613.13	c 2043
616.29	o 16559
616.29	c 2041
618.68	o 16560
618.68	c 2040
619.15	o 16563
619.15	c 2037
620.10	o 16564
620.10	c 2036
621.52	o 16565
621.52	c 2035
623.83	o 16567
623.83	c 2033
624.33	o 16569
624.33	c 2031
626.24	o 16570
626.24	c 2030
626.75	o 16571
626.75	c 2029
627.74	o 16574
627.74	c 2026
628.24	o 16576
628.24	c 2024
628.75	o 16577
628.75	c 2023
630.26	o 16578
630.26	c 2022
632.81	o 16579
632.81	c 2021
636.93	o 16580
636.94	c 2020
637.48	o 16581
637.48	c 2019
638.00	o 16584
638.00	c 2016
638.51	o 16586
638.51	c 2014
639.55	o 16587
639.55	c 2013
640.08	o 16590
640.08	c 2010
645.50	o 16592
645.50	c 2008
646.01	o 16594
646.01	c 2006
647.59	o 16595
647.59	c 2005
649.70	o 16597
649.70	c 2003
650.22	o 16598
650.22	c 2002
650.75	o 16600
650.75	c 2000
654.78	o 16601
654.78	c 1999
655.85	o 16603
655.85	c 1997
656.90	o 16605
656.90	c 1995
658.46	o 16606
658.46	c 1994
658.98	o 16609
658.98	c 1991
661.51	o 16610
661.51	c 1990
664.81	o 16611
664.81	c 1989
665.31	o 16615
665.31	c 1985
665.76	o 16618
665.76	c 1982
666.26	o 16620
666.26	c 1980
666.72	o 16621
666.72	c 1979
667.20	o 16622
667.20	c 1978
667.61	o 16624
667.61	c 1976
668.06	o 16626
668.06	c 1974
668.56	o 16627
668.56	c 1973
670.80	o 16630
670.80	c 1970
676.00	o 16631
676.00	c 1969
676.48	o 16632
676.48	c 1968
679.90	o 16633
679.90	c 1967
680.76	o 16634
680.76	c 1966
681.24	o 16637
681.24	c 1963
681.70	o 16638
681.70	c 1962
682.64	o 16639
682.64	c 1961
683.12	o 16642
683.12	c 1958
691.50	o 16643
691.50	c 1957
691.91	o 16644
691.91	c 1956
692.86	o 16646
692.86	c 1954
693.29	o 16647
693.29	c 1953
693.76	o 16649
693.76	c 1951
694.12	o 16651
694.12	c 1949
694.58	o 16652
694.58	c 1948
695.98	o 16653
695.98	c 1947
706.12	o 16654
706.12	c 1946
706.60	o 16655
706.60	c 1945
709.91	o 16657
709.91	c 1943
710.38	o 16658
710.38	c 1942
711.33	o 16659
711.33	c 1941
716.62	o 16660
716.62	c 1940
724.08	o 16661
724.08	c 1939
726.14	o 16663
726.14	c 1937
729.59	o 16664
729.59	c 1936
740.81	o 16666
740.81	c 1934
744.36	o 16669
744.36	c 1931
745.39	o 16671
745.39	c 1929
745.90	o 16675
745.90	c 1925
746.92	o 16676
746.92	c 1924
747.15	o 16677
747.15	c 1923
748.15	o 16679
748.15	c 1921
750.23	o 16680
750.23	c 1920
750.75	o 16681
750.75	c 1919
751.27	o 16682
751.27	c 1918
752.30	o 16683
752.30	c 1917
752.82	o 16684
752.82	c 1916
756.49	o 16686
756.49	c 1914
757.01	o 16687
757.01	c 1913
758.06	o 16688
758.06	c 1912
759.11	o 16690
759.11	c 1910
760.69	o 16692
760.69	c 1908
761.21	o 16693
761.21	c 1907
765.99	o 16695
765.99	c 1905
768.09	o 16697
768.09	c 1903
772.13	o 16699
772.13	c 1901
773.49	o 16700
773.49	c 1900
774.55	o 16701
774.55	c 1899
775.06	o 16704
775.06	c 1896
776.11	o 16705
776.11	c 1895
777.67	o 16706
777.67	c 1894
778.76	o 16707
778.76	c 1893
779.79	o 16709
779.79	c 1891
780.72	o 16710
780.72	c 1890
787.97	o 16711
787.97	c 1889
791.31	o 16713
791.31	c 1887
793.01	o 16715
793.01	c 1885
793.59	o 16717
793.59	c 1883
793.88	o 16719
793.88	c 1881
796.73	o 16720
796.73	c 1880
797.30	o 16721
797.30	c 1879
810.82	o 16722
810.82	c 1878
811.39	o 16725
811.39	c 1875
816.90	o 16726
816.90	c 1874
817.68	o 16727
817.68	c 1873
818.81	o 16728
818.81	c 1872
821.97	o 16730
821.97	c 1870
822.24	o 16733
822.24	c 1867
823.58	o 16736
823.58	c 1864
824.32	o 16738
824.32	c 1862
827.04	o 16739
827.04	c 1861
827.58	o 16740
827.58	c 1860
828.69	o 16741
828.69	c 1859
829.24	o 16742
829.24	c 1858
830.88	o 16743
830.88	c 1857
831.43	o 16745
831.43	c 1855
831.97	o 16747
831.97	c 1853
835.19	o 16748
835.19	c 1852
835.74	o 16751
835.74	c 1849
836.27	o 16753
836.27	c 1847
839.72	o 16754
839.72	c 1846
840.24	o 16755
840.24	c 1845
840.40	o 16756
840.40	c 1844
840.93	o 16758
840.93	c 1842
842.00	o 16759
842.00	c 1841
843.10	o 16760
843.10	c 1840
843.64	o 16761
843.64	c 1839
844.18	o 16762
844.18	c 1838
851.32	o 16763
851.32	c 1837
852.42	o 16765
852.42	c 1835
852.99	o 16767
852.99	c 1833
853.58	o 16768
853.58	c 1832
854.13	o 16769
854.13	c 1831
854.69	o 16770
854.69	c 1830
855.25	o 16771
855.25	c 1829
855.81	o 16772
855.81	c 1828
857.95	o 16773
857.95	c 1827
871.94	o 16774
871.94	c 1826
872.49	o 16775
872.49	c 1825
875.23	o 16776
875.23	c 1824
876.34	o 16777
876.34	c 1823
877.46	o 16778
877.46	c 1822
878.02	o 16779
878.02	c 1821
878.58	o 16780
878.58	c 1820
879.14	o 16781
879.14	c 1819
885.72	o 16784
885.72	c 1816
898.44	o 16785
898.44	c 1815
912.38	o 16786
912.38	c 1814
912.94	o 16787
912.94	c 1813
913.51	o 16788
913.51	c 1812
915.23	o 16790
915.23	c 1810
915.80	o 16792
915.80	c 1808
918.96	o 16793
918.96	c 1807
920.66	o 16796
920.66	c 1804
925.06	o 16798
925.06	c 1802
926.00	o 16799
926.00	c 1801
928.22	o 16801
928.22	c 1799
928.52	o 16802
928.52	c 1798
928.97	o 16803
928.97	c 1797
934.79	o 16804
934.79	c 1796
935.39	o 16805
935.39	c 1795
935.99	o 16807
935.99	c 1793
936.38	o 16809
936.38	c 1791
938.59	o 16810
938.59	c 1790
940.40	o 16811
940.40	c 1789
941.00	o 16813
941.00	c 1787
959.22	o 16816
959.22	c 1784
959.82	o 16819
959.82	c 1781
960.44	o 16820
960.44	c 1780
971.73	o 16823
971.73	c 1777
971.94	o 16825
971.94	c 1775
972.54	o 16827
972.54	c 1773
974.35	o 16828
974.35	c 1772
980.51	o 16829
980.52	c 1771
984.92	o 16831
984.92	c 1769
987.99	o 16832
987.99	c 1768
988.62	o 16834
988.62	c 1766
997.10	o 16836
997.10	c 1764
997.52	o 16839
997.52	c 1761
998.17	o 16840
998.17	c 1760
999.44	o 16841
999.44	c 1759
1003.92	o 16842
1003.92	c 1758
1004.56	o 16844
1004.56	c 1756
1009.05	o 16845
1009.05	c 1755
1011.58	o 16846
1011.58	c 1754
1012.21	o 16847
1012.21	c 1753
1012.71	o 16849
1012.71	c 1751
1013.96	o 16854
1013.96	c 1746
1014.59	o 16855
1014.59	c 1745
1015.63	o 16856
1015.63	c 1744
1016.88	o 16857
1016.88	c 1743
1017.51	o 16858
1017.51	c 1742
1018.16	o 16859
1018.16	c 1741
1018.80	o 16861
1018.80	c 1739
1019.44	o 16863
1019.44	c 1737
1023.96	o 16864
1023.96	c 1736
1024.60	o 16865
1024.60	c 1735
1046.23	o 16867
1046.23	c 1733
1046.31	o 16868
1046.31	c 1732
1047.65	o 16869
1047.65	c 1731
1057.90	o 16870
1057.90	c 1730
1059.86	o 16872
1059.86	c 1728
1061.19	o 16874
1061.19	c 1726
1061.85	o 16875
1061.85	c 1725
1080.72	o 16877
1080.72	c 1723
1081.25	o 16878
1081.25	c 1722
1081.93	o 16880
1081.93	c 1720
1082.88	o 16882
1082.88	c 1718
1095.54	o 16883
1095.54	c 1717
1100.33	o 16884
1100.33	c 1716
1101.00	o 16886
1101.00	c 1714
1102.82	o 16888
1102.82	c 1712
1103.49	o 16892
1103.49	c 1708
1103.92	o 16893
1103.92	c 1707
1104.59	o 16894
1104.59	c 1706
1105.73	o 16895
1105.73	c 1705
1106.28	o 16896
1106.28	c 1704
1107.44	o 16897
1107.44	c 1703
1107.97	o 16899
1107.97	c 1701
1110.57	o 16902
1110.57	c 1698
1111.23	o 16904
1111.23	c 1696
1114.43	o 16905
1114.43	c 1695
1115.07	o 16906
1115.07	c 1694
1116.37	o 16907
1116.37	c 1693
1118.52	o 16908
1118.52	c 1692
1119.16	o 16909
1119.16	c 1691
1119.83	o 16910
1119.83	c 1690
1120.47	o 16913
1120.47	c 1687
1121.06	o 16915
1121.06	c 1685
1121.71	o 16916
1121.71	c 1684
1122.09	o 16919
1122.09	c 1681
1123.94	o 16920
1123.94	c 1680
1124.29	o 16923
1124.29	c 1677
1124.59	o 16924
1124.59	c 1676
1124.92	o 16926
1124.92	c 1674
1125.39	o 16927
1125.39	c 1673
1125.87	o 16929
1125.87	c 1671
1126.39	o 16931
1126.39	c 1669
1127.55	o 16932
1127.55	c 1668
1131.99	o 16935
1131.99	c 1665
1132.60	o 16936
1132.60	c 1664
1133.21	o 16937
1133.21	c 1663
1133.70	o 16939
1133.70	c 1661
1134.07	o 16940
1134.07	c 1660
1134.68	o 16941
1134.68	c 1659
1135.29	o 16942
1135.29	c 1658
1136.50	o 16943
1136.50	c 1657
1137.10	o 16945
1137.10	c 1655
1138.92	o 16948
1138.92	c 1652
1140.73	o 16949
1140.73	c 1651
1141.34	o 16951
1141.34	c 1649
1141.94	o 16952
1141.94	c 1648
1142.55	o 16953
1142.55	c 1647
1143.82	o 16954
1143.82	c 1646
1144.45	o 16955
1144.45	c 1645
1145.06	o 16956
1145.06	c 1644
1145.67	o 16957
1145.67	c 1643
1147.87	o 16958
1147.87	c 1642
1148.48	o 16961
1148.48	c 1639
1150.39	o 16962
1150.39	c 1638
1151.02	o 16963
1151.02	c 1637
1151.62	o 16964
1151.62	c 1636
1162.90	o 16965
1162.90	c 1635
1162.93	o 16968
1162.93	c 1632
1172.26	o 16969
1172.26	c 1631
1173.38	o 16970
1173.38	c 1630
1174.59	o 16971
1174.59	c 1629
1177.01	o 16972
1177.01	c 1628
1177.99	o 16973
1177.99	c 1627
1178.60	o 16975
1178.60	c 1625
1188.74	o 16977
1188.74	c 1623
1189.27	o 16978
1189.27	c 1622
1190.51	o 16979
1190.51	c 1621
1208.32	o 16983
1208.32	c 1617
1208.94	o 16986
1208.94	c 1614
1209.38	o 16987
1209.38	c 1613
1210.02	o 16989
1210.02	c 1611
1211.22	o 16992
1211.22	c 1608
1211.89	o 16993
1211.89	c 1607
1216.87	o 16995
1216.87	c 1605
1220.43	o 16996
1220.43	c 1604
1221.05	o 16999
1221.05	c 1601
1221.46	o 17001
1221.46	c 1599
1222.08	o 17002
1222.08	c 1598
1239.92	o 17005
1239.92	c 1595
1240.05	o 17006
1240.05	c 1594
1241.02	o 17008
1241.02	c 1592
1241.63	o 17009
1241.63	c 1591
1242.24	o 17010
1242.24	c 1590
1243.77	o 17011
1243.77	c 1589
1244.37	o 17012
1244.37	c 1588
1246.61	o 17015
1246.61	c 1585
1247.59	o 17017
1247.59	c 1583
1248.20	o 17018
1248.20	c 1582
1248.45	o 17020
1248.45	c 1580
1249.04	o 17021
1249.04	c 1579
1250.88	o 17022
1250.88	c 1578
1251.50	o 17024
1251.50	c 1576
1252.12	o 17026
1252.12	c 1574
1253.37	o 17027
1253.37	c 1573
1259.38	o 17028
1259.38	c 1572
1259.99	o 17030
1259.99	c 1570
1261.21	o 17033
1261.21	c 1567
1261.83	o 17034
1261.83	c 1566
1262.42	o 17035
1262.42	c 1565
1263.67	o 17037
1263.67	c 1563
1264.28	o 17038
1264.28	c 1562
1268.59	o 17039
1268.59	c 1561
1270.94	o 17040
1270.94	c 1560
1275.51	o 17042
1275.51	c 1558
1276.65	o 17043
1276.65	c 1557
1278.46	o 17044
1278.46	c 1556
1279.05	o 17045
1279.05	c 1555
1281.47	o 17046
1281.47	c 1554
1283.42	o 17047
1283.42	c 1553
1283.91	o 17049
1283.91	c 1551
1284.77	o 17050
1284.77	c 1550
1285.36	o 17052
1285.36	c 1548
1287.45	o 17054
1287.45	c 1546
1287.70	o 17057
1287.70	c 1543
1288.28	o 17058
1288.28	c 1542
1289.72	o 17060
1289.72	c 1540
1290.19	o 17061
1290.19	c 1539
1295.24	o 17062
1295.24	c 1538
1296.99	o 17064
1297.00	c 1536
1297.57	o 17065
1297.57	c 1535
1301.66	o 17067
1301.66	c 1533
1303.44	o 17068
1303.44	c 1532
1305.17	o 17069
1305.17	c 1531
1309.09	o 17071
1309.09	c 1529
1309.69	o 17072
1309.69	c 1528
1310.78	o 17073
1310.78	c 1527
1324.45	o 17074
1324.45	c 1526
1325.03	o 17076
1325.03	c 1524
1355.49	   
1355.49	   search
1355.49	     run=0  nbConstraintChecks=2899279135  nbAssignments=3817
1355.49	       =>  wckTime=1292.823  cpuTime=1292.25  mem=63M486
1355.49	   
1355.49	   global
1355.49	     nbConstraintChecks=2899279135  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
1355.49	     solvingWckTime=1292.803  solvingCpuTime=1292.23  expiredTime=no  totalExploration=no  nbFoundSolutions=0
1355.49	     globalCpuTime=1353.64
1355.49	       =>  wckTime=1355.1  cpuTime=1353.6  mem=63M486
1355.49	   
1355.49	   solver IterativeSystematicSolver being built... 
1356.14	       =>  wckTime=1355.742  cpuTime=1353.98  mem=153M755
1501.53	   
1501.53	   preprocessing
1501.53	     nbConstraintChecks=329635971  nbValidityChecks=878180  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
1501.53	     nbRemovedValues=0  detectedInconsistency=no
1501.53	       =>  wckTime=145.384  cpuTime=145.26  mem=153M755
2401.35	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/node40/watcher-275640-1169224625 -o ROOT/results/node40/solver-275640-1169224625 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/275640-1169224625/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: 0.93 0.99 1.17 2/65 31619
/proc/meminfo: memFree=1587736/2055920 swapFree=4191892/4192956
[pid=31618] ppid=31616 vsize=1784 CPUtime=0
/proc/31618/stat : 31618 (java) D 31616 31618 30802 0 -1 0 169 0 0 0 0 0 0 0 19 0 1 0 270861878 1826816 140 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/31618/statm: 446 140 106 14 0 91 0

[startup+0.102099 s]
/proc/loadavg: 0.93 0.99 1.17 2/65 31619
/proc/meminfo: memFree=1587736/2055920 swapFree=4191892/4192956
[pid=31618] ppid=31616 vsize=914988 CPUtime=0.07
/proc/31618/stat : 31618 (java) D 31616 31618 30802 0 -1 0 2988 0 1 0 6 1 0 0 17 0 8 0 270861878 936947712 2734 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 2147483391 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31618/statm: 228747 2734 1426 14 0 215242 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 914988

[startup+0.510149 s]
/proc/loadavg: 0.93 0.99 1.17 2/65 31619
/proc/meminfo: memFree=1587736/2055920 swapFree=4191892/4192956
[pid=31618] ppid=31616 vsize=915332 CPUtime=0.38
/proc/31618/stat : 31618 (java) S 31616 31618 30802 0 -1 0 6009 0 1 0 35 3 0 0 16 0 8 0 270861878 937299968 5748 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31618/statm: 228833 5748 2127 14 0 215303 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 915332

[startup+1.33226 s]
/proc/loadavg: 0.93 0.99 1.17 2/72 31626
/proc/meminfo: memFree=1508192/2055920 swapFree=4191892/4192956
[pid=31618] ppid=31616 vsize=915612 CPUtime=1.21
/proc/31618/stat : 31618 (java) R 31616 31618 30802 0 -1 0 24143 0 1 0 107 14 0 0 17 0 8 0 270861878 937586688 23880 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31618/statm: 228903 23880 2161 14 0 215373 0
[pid=31618/tid=31620] ppid=31616 vsize=915612 CPUtime=0.09
/proc/31618/task/31620/stat : 31620 (java) S 31616 31618 30802 0 -1 64 7590 0 0 0 6 3 0 0 16 0 8 0 270861882 937586688 23880 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31618/tid=31621] ppid=31616 vsize=915612 CPUtime=0
/proc/31618/task/31621/stat : 31621 (java) S 31616 31618 30802 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270861882 937586688 23880 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31618/tid=31622] ppid=31616 vsize=915612 CPUtime=0
/proc/31618/task/31622/stat : 31622 (java) S 31616 31618 30802 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270861882 937586688 23880 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31618/tid=31623] ppid=31616 vsize=915612 CPUtime=0
/proc/31618/task/31623/stat : 31623 (java) S 31616 31618 30802 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 270861885 937586688 23880 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31618/tid=31624] ppid=31616 vsize=915612 CPUtime=0.14
/proc/31618/task/31624/stat : 31624 (java) S 31616 31618 30802 0 -1 64 404 0 0 0 14 0 0 0 15 0 8 0 270861885 937586688 23880 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31618/tid=31625] ppid=31616 vsize=915612 CPUtime=0
/proc/31618/task/31625/stat : 31625 (java) S 31616 31618 30802 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270861885 937586688 23880 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31618/tid=31626] ppid=31616 vsize=915612 CPUtime=0
/proc/31618/task/31626/stat : 31626 (java) S 31616 31618 30802 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270861885 937586688 23880 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.21
Current children cumulated vsize (KiB) 915612

[startup+2.98447 s]
/proc/loadavg: 0.93 0.99 1.17 2/72 31626
/proc/meminfo: memFree=1500256/2055920 swapFree=4191892/4192956
[pid=31618] ppid=31616 vsize=915744 CPUtime=2.86
/proc/31618/stat : 31618 (java) R 31616 31618 30802 0 -1 0 24219 0 1 0 271 15 0 0 17 0 8 0 270861878 937721856 23954 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073825267 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31618/statm: 228936 23954 2181 14 0 215406 0
[pid=31618/tid=31620] ppid=31616 vsize=915744 CPUtime=0.11
/proc/31618/task/31620/stat : 31620 (java) S 31616 31618 30802 0 -1 64 7590 0 0 0 8 3 0 0 16 0 8 0 270861882 937721856 23954 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31618/tid=31621] ppid=31616 vsize=915744 CPUtime=0
/proc/31618/task/31621/stat : 31621 (java) S 31616 31618 30802 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270861882 937721856 23954 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31618/tid=31622] ppid=31616 vsize=915744 CPUtime=0
/proc/31618/task/31622/stat : 31622 (java) S 31616 31618 30802 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270861882 937721856 23954 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31618/tid=31623] ppid=31616 vsize=915744 CPUtime=0
/proc/31618/task/31623/stat : 31623 (java) S 31616 31618 30802 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 270861885 937721856 23954 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31618/tid=31624] ppid=31616 vsize=915744 CPUtime=0.17
/proc/31618/task/31624/stat : 31624 (java) S 31616 31618 30802 0 -1 64 416 0 0 0 16 1 0 0 15 0 8 0 270861885 937721856 23954 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31618/tid=31625] ppid=31616 vsize=915744 CPUtime=0
/proc/31618/task/31625/stat : 31625 (java) S 31616 31618 30802 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270861885 937721856 23954 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31618/tid=31626] ppid=31616 vsize=915744 CPUtime=0
/proc/31618/task/31626/stat : 31626 (java) S 31616 31618 30802 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270861885 937721856 23954 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.86
Current children cumulated vsize (KiB) 915744

[startup+6.27289 s]
/proc/loadavg: 0.94 0.99 1.17 2/72 31626
/proc/meminfo: memFree=1500000/2055920 swapFree=4191892/4192956
[pid=31618] ppid=31616 vsize=915744 CPUtime=6.15
/proc/31618/stat : 31618 (java) R 31616 31618 30802 0 -1 0 24222 0 1 0 599 16 0 0 17 0 8 0 270861878 937721856 23956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073845431 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31618/statm: 228936 23956 2181 14 0 215406 0
[pid=31618/tid=31620] ppid=31616 vsize=915744 CPUtime=0.11
/proc/31618/task/31620/stat : 31620 (java) S 31616 31618 30802 0 -1 64 7590 0 0 0 8 3 0 0 16 0 8 0 270861882 937721856 23956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31618/tid=31621] ppid=31616 vsize=915744 CPUtime=0
/proc/31618/task/31621/stat : 31621 (java) S 31616 31618 30802 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270861882 937721856 23956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31618/tid=31622] ppid=31616 vsize=915744 CPUtime=0
/proc/31618/task/31622/stat : 31622 (java) S 31616 31618 30802 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270861882 937721856 23956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31618/tid=31623] ppid=31616 vsize=915744 CPUtime=0
/proc/31618/task/31623/stat : 31623 (java) S 31616 31618 30802 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 270861885 937721856 23956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31618/tid=31624] ppid=31616 vsize=915744 CPUtime=0.17
/proc/31618/task/31624/stat : 31624 (java) S 31616 31618 30802 0 -1 64 418 0 0 0 16 1 0 0 15 0 8 0 270861885 937721856 23956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31618/tid=31625] ppid=31616 vsize=915744 CPUtime=0
/proc/31618/task/31625/stat : 31625 (java) S 31616 31618 30802 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270861885 937721856 23956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31618/tid=31626] ppid=31616 vsize=915744 CPUtime=0
/proc/31618/task/31626/stat : 31626 (java) S 31616 31618 30802 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270861885 937721856 23956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.15
Current children cumulated vsize (KiB) 915744

[startup+12.7517 s]
/proc/loadavg: 0.94 0.99 1.17 2/72 31626
/proc/meminfo: memFree=1500000/2055920 swapFree=4191892/4192956
[pid=31618] ppid=31616 vsize=915744 CPUtime=12.63
/proc/31618/stat : 31618 (java) R 31616 31618 30802 0 -1 0 24234 0 1 0 1246 17 0 0 17 0 8 0 270861878 937721856 23967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073470041 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31618/statm: 228936 23967 2182 14 0 215406 0
[pid=31618/tid=31620] ppid=31616 vsize=915744 CPUtime=0.11
/proc/31618/task/31620/stat : 31620 (java) S 31616 31618 30802 0 -1 64 7590 0 0 0 8 3 0 0 16 0 8 0 270861882 937721856 23967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31618/tid=31621] ppid=31616 vsize=915744 CPUtime=0
/proc/31618/task/31621/stat : 31621 (java) S 31616 31618 30802 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270861882 937721856 23967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31618/tid=31622] ppid=31616 vsize=915744 CPUtime=0
/proc/31618/task/31622/stat : 31622 (java) S 31616 31618 30802 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270861882 937721856 23967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31618/tid=31623] ppid=31616 vsize=915744 CPUtime=0
/proc/31618/task/31623/stat : 31623 (java) S 31616 31618 30802 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 270861885 937721856 23967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31618/tid=31624] ppid=31616 vsize=915744 CPUtime=0.18
/proc/31618/task/31624/stat : 31624 (java) S 31616 31618 30802 0 -1 64 428 0 0 0 17 1 0 0 16 0 8 0 270861885 937721856 23967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31618/tid=31625] ppid=31616 vsize=915744 CPUtime=0
/proc/31618/task/31625/stat : 31625 (java) S 31616 31618 30802 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270861885 937721856 23967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31618/tid=31626] ppid=31616 vsize=915744 CPUtime=0
/proc/31618/task/31626/stat : 31626 (java) S 31616 31618 30802 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270861885 937721856 23967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 915744

[startup+25.5764 s]
/proc/loadavg: 0.95 0.99 1.17 2/72 31626
/proc/meminfo: memFree=1491424/2055920 swapFree=4191892/4192956
[pid=31618] ppid=31616 vsize=915744 CPUtime=25.46
/proc/31618/stat : 31618 (java) R 31616 31618 30802 0 -1 0 26476 0 1 0 2526 20 0 0 19 0 8 0 270861878 937721856 26207 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073830040 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31618/statm: 228936 26207 2182 14 0 215406 0
[pid=31618/tid=31620] ppid=31616 vsize=915744 CPUtime=0.17
/proc/31618/task/31620/stat : 31620 (java) S 31616 31618 30802 0 -1 64 9823 0 0 0 14 3 0 0 16 0 8 0 270861882 937721856 26207 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31618/tid=31621] ppid=31616 vsize=915744 CPUtime=0
/proc/31618/task/31621/stat : 31621 (java) S 31616 31618 30802 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270861882 937721856 26207 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31618/tid=31622] ppid=31616 vsize=915744 CPUtime=0
/proc/31618/task/31622/stat : 31622 (java) S 31616 31618 30802 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270861882 937721856 26207 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31618/tid=31623] ppid=31616 vsize=915744 CPUtime=0
/proc/31618/task/31623/stat : 31623 (java) S 31616 31618 30802 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 270861885 937721856 26207 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31618/tid=31624] ppid=31616 vsize=915744 CPUtime=0.2
/proc/31618/task/31624/stat : 31624 (java) S 31616 31618 30802 0 -1 64 434 0 0 0 19 1 0 0 16 0 8 0 270861885 937721856 26207 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31618/tid=31625] ppid=31616 vsize=915744 CPUtime=0
/proc/31618/task/31625/stat : 31625 (java) S 31616 31618 30802 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270861885 937721856 26207 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31618/tid=31626] ppid=31616 vsize=915744 CPUtime=0
/proc/31618/task/31626/stat : 31626 (java) S 31616 31618 30802 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270861885 937721856 26207 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 915744

[startup+51.2557 s]
/proc/loadavg: 0.97 0.99 1.16 2/72 31626
/proc/meminfo: memFree=1485024/2055920 swapFree=4191892/4192956
[pid=31618] ppid=31616 vsize=915744 CPUtime=51.11
/proc/31618/stat : 31618 (java) R 31616 31618 30802 0 -1 0 28069 0 1 0 5088 23 0 0 17 0 8 0 270861878 937721856 27797 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073831463 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31618/statm: 228936 27797 2182 14 0 215406 0
[pid=31618/tid=31620] ppid=31616 vsize=915744 CPUtime=0.26
/proc/31618/task/31620/stat : 31620 (java) S 31616 31618 30802 0 -1 64 11407 0 0 0 22 4 0 0 17 0 8 0 270861882 937721856 27797 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31618/tid=31621] ppid=31616 vsize=915744 CPUtime=0
/proc/31618/task/31621/stat : 31621 (java) S 31616 31618 30802 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270861882 937721856 27797 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31618/tid=31622] ppid=31616 vsize=915744 CPUtime=0
/proc/31618/task/31622/stat : 31622 (java) S 31616 31618 30802 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270861882 937721856 27797 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31618/tid=31623] ppid=31616 vsize=915744 CPUtime=0
/proc/31618/task/31623/stat : 31623 (java) S 31616 31618 30802 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 270861885 937721856 27797 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31618/tid=31624] ppid=31616 vsize=915744 CPUtime=0.2
/proc/31618/task/31624/stat : 31624 (java) S 31616 31618 30802 0 -1 64 440 0 0 0 19 1 0 0 16 0 8 0 270861885 937721856 27797 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31618/tid=31625] ppid=31616 vsize=915744 CPUtime=0
/proc/31618/task/31625/stat : 31625 (java) S 31616 31618 30802 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270861885 937721856 27797 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31618/tid=31626] ppid=31616 vsize=915744 CPUtime=0
/proc/31618/task/31626/stat : 31626 (java) S 31616 31618 30802 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270861885 937721856 27797 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 51.11
Current children cumulated vsize (KiB) 915744

[startup+102.512 s]
/proc/loadavg: 1.03 1.01 1.16 2/72 31626
/proc/meminfo: memFree=1463392/2055920 swapFree=4191892/4192956
[pid=31618] ppid=31616 vsize=915744 CPUtime=102.3
/proc/31618/stat : 31618 (java) R 31616 31618 30802 0 -1 0 33817 0 1 0 10193 37 0 0 25 0 8 0 270861878 937721856 33539 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074011884 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31618/statm: 228936 33539 2501 14 0 215406 0
[pid=31618/tid=31620] ppid=31616 vsize=915744 CPUtime=0.69
/proc/31618/task/31620/stat : 31620 (java) S 31616 31618 30802 0 -1 64 16770 0 0 0 63 6 0 0 16 0 8 0 270861882 937721856 33539 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31618/tid=31621] ppid=31616 vsize=915744 CPUtime=0
/proc/31618/task/31621/stat : 31621 (java) S 31616 31618 30802 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270861882 937721856 33539 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31618/tid=31622] ppid=31616 vsize=915744 CPUtime=0
/proc/31618/task/31622/stat : 31622 (java) S 31616 31618 30802 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270861882 937721856 33539 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31618/tid=31623] ppid=31616 vsize=915744 CPUtime=0
/proc/31618/task/31623/stat : 31623 (java) S 31616 31618 30802 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 270861885 937721856 33539 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31618/tid=31624] ppid=31616 vsize=915744 CPUtime=0.26
/proc/31618/task/31624/stat : 31624 (java) S 31616 31618 30802 0 -1 64 474 0 0 0 25 1 0 0 16 0 8 0 270861885 937721856 33539 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31618/tid=31625] ppid=31616 vsize=915744 CPUtime=0
/proc/31618/task/31625/stat : 31625 (java) S 31616 31618 30802 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270861885 937721856 33539 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31618/tid=31626] ppid=31616 vsize=915744 CPUtime=0
/proc/31618/task/31626/stat : 31626 (java) S 31616 31618 30802 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270861885 937721856 33539 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 915744

[startup+162.598 s]
/proc/loadavg: 1.01 1.00 1.15 2/72 31626
/proc/meminfo: memFree=1463328/2055920 swapFree=4191892/4192956
[pid=31618] ppid=31616 vsize=915744 CPUtime=162.35
/proc/31618/stat : 31618 (java) R 31616 31618 30802 0 -1 0 33819 0 1 0 16193 42 0 0 25 0 8 0 270861878 937721856 33541 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073827947 0 4 0 23759 18446744073709551615 0 0 17 1 0 0

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

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

[startup+2084.51 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 31824
/proc/meminfo: memFree=1393440/2055920 swapFree=4191892/4192956
[pid=31618] ppid=31616 vsize=915980 CPUtime=2083.37
/proc/31618/stat : 31618 (java) R 31616 31618 30802 0 -1 0 51252 0 1 0 208249 88 0 0 25 0 8 0 270861878 937963520 50956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074292338 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31618/statm: 228995 50956 2548 14 0 215465 0
[pid=31618/tid=31620] ppid=31616 vsize=915980 CPUtime=0.89
/proc/31618/task/31620/stat : 31620 (java) S 31616 31618 30802 0 -1 64 33952 0 0 0 75 14 0 0 16 0 8 0 270861882 937963520 50956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31618/tid=31621] ppid=31616 vsize=915980 CPUtime=0
/proc/31618/task/31621/stat : 31621 (java) S 31616 31618 30802 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270861882 937963520 50956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31618/tid=31622] ppid=31616 vsize=915980 CPUtime=0
/proc/31618/task/31622/stat : 31622 (java) S 31616 31618 30802 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270861882 937963520 50956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31618/tid=31623] ppid=31616 vsize=915980 CPUtime=0
/proc/31618/task/31623/stat : 31623 (java) S 31616 31618 30802 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 270861885 937963520 50956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31618/tid=31624] ppid=31616 vsize=915980 CPUtime=0.4
/proc/31618/task/31624/stat : 31624 (java) S 31616 31618 30802 0 -1 64 600 0 0 0 38 2 0 0 16 0 8 0 270861885 937963520 50956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31618/tid=31625] ppid=31616 vsize=915980 CPUtime=0
/proc/31618/task/31625/stat : 31625 (java) S 31616 31618 30802 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270861885 937963520 50956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31618/tid=31626] ppid=31616 vsize=915980 CPUtime=0
/proc/31618/task/31626/stat : 31626 (java) S 31616 31618 30802 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270861885 937963520 50956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2083.37
Current children cumulated vsize (KiB) 915980

[startup+2144.52 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 31824
/proc/meminfo: memFree=1393504/2055920 swapFree=4191892/4192956
[pid=31618] ppid=31616 vsize=915980 CPUtime=2143.34
/proc/31618/stat : 31618 (java) R 31616 31618 30802 0 -1 0 51252 0 1 0 214246 88 0 0 25 0 8 0 270861878 937963520 50956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073826440 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31618/statm: 228995 50956 2548 14 0 215465 0
[pid=31618/tid=31620] ppid=31616 vsize=915980 CPUtime=0.89
/proc/31618/task/31620/stat : 31620 (java) S 31616 31618 30802 0 -1 64 33952 0 0 0 75 14 0 0 16 0 8 0 270861882 937963520 50956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31618/tid=31621] ppid=31616 vsize=915980 CPUtime=0
/proc/31618/task/31621/stat : 31621 (java) S 31616 31618 30802 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270861882 937963520 50956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31618/tid=31622] ppid=31616 vsize=915980 CPUtime=0
/proc/31618/task/31622/stat : 31622 (java) S 31616 31618 30802 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270861882 937963520 50956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31618/tid=31623] ppid=31616 vsize=915980 CPUtime=0
/proc/31618/task/31623/stat : 31623 (java) S 31616 31618 30802 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 270861885 937963520 50956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31618/tid=31624] ppid=31616 vsize=915980 CPUtime=0.4
/proc/31618/task/31624/stat : 31624 (java) S 31616 31618 30802 0 -1 64 600 0 0 0 38 2 0 0 16 0 8 0 270861885 937963520 50956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31618/tid=31625] ppid=31616 vsize=915980 CPUtime=0
/proc/31618/task/31625/stat : 31625 (java) S 31616 31618 30802 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270861885 937963520 50956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31618/tid=31626] ppid=31616 vsize=915980 CPUtime=0
/proc/31618/task/31626/stat : 31626 (java) S 31616 31618 30802 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270861885 937963520 50956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2143.34
Current children cumulated vsize (KiB) 915980

[startup+2204.55 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 31824
/proc/meminfo: memFree=1393504/2055920 swapFree=4191892/4192956
[pid=31618] ppid=31616 vsize=915980 CPUtime=2203.32
/proc/31618/stat : 31618 (java) R 31616 31618 30802 0 -1 0 51252 0 1 0 220244 88 0 0 25 0 8 0 270861878 937963520 50956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073827111 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31618/statm: 228995 50956 2548 14 0 215465 0
[pid=31618/tid=31620] ppid=31616 vsize=915980 CPUtime=0.89
/proc/31618/task/31620/stat : 31620 (java) S 31616 31618 30802 0 -1 64 33952 0 0 0 75 14 0 0 16 0 8 0 270861882 937963520 50956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31618/tid=31621] ppid=31616 vsize=915980 CPUtime=0
/proc/31618/task/31621/stat : 31621 (java) S 31616 31618 30802 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270861882 937963520 50956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31618/tid=31622] ppid=31616 vsize=915980 CPUtime=0
/proc/31618/task/31622/stat : 31622 (java) S 31616 31618 30802 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270861882 937963520 50956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31618/tid=31623] ppid=31616 vsize=915980 CPUtime=0
/proc/31618/task/31623/stat : 31623 (java) S 31616 31618 30802 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 270861885 937963520 50956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31618/tid=31624] ppid=31616 vsize=915980 CPUtime=0.4
/proc/31618/task/31624/stat : 31624 (java) S 31616 31618 30802 0 -1 64 600 0 0 0 38 2 0 0 16 0 8 0 270861885 937963520 50956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31618/tid=31625] ppid=31616 vsize=915980 CPUtime=0
/proc/31618/task/31625/stat : 31625 (java) S 31616 31618 30802 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270861885 937963520 50956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31618/tid=31626] ppid=31616 vsize=915980 CPUtime=0
/proc/31618/task/31626/stat : 31626 (java) S 31616 31618 30802 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270861885 937963520 50956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2203.32
Current children cumulated vsize (KiB) 915980

[startup+2264.57 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 31824
/proc/meminfo: memFree=1393504/2055920 swapFree=4191892/4192956
[pid=31618] ppid=31616 vsize=915980 CPUtime=2263.31
/proc/31618/stat : 31618 (java) R 31616 31618 30802 0 -1 0 51256 0 1 0 226243 88 0 0 25 0 8 0 270861878 937963520 50956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073825250 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31618/statm: 228995 50956 2548 14 0 215465 0
[pid=31618/tid=31620] ppid=31616 vsize=915980 CPUtime=0.89
/proc/31618/task/31620/stat : 31620 (java) S 31616 31618 30802 0 -1 64 33952 0 0 0 75 14 0 0 16 0 8 0 270861882 937963520 50956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31618/tid=31621] ppid=31616 vsize=915980 CPUtime=0
/proc/31618/task/31621/stat : 31621 (java) S 31616 31618 30802 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270861882 937963520 50956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31618/tid=31622] ppid=31616 vsize=915980 CPUtime=0
/proc/31618/task/31622/stat : 31622 (java) S 31616 31618 30802 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270861882 937963520 50956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31618/tid=31623] ppid=31616 vsize=915980 CPUtime=0
/proc/31618/task/31623/stat : 31623 (java) S 31616 31618 30802 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 270861885 937963520 50956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31618/tid=31624] ppid=31616 vsize=915980 CPUtime=0.4
/proc/31618/task/31624/stat : 31624 (java) S 31616 31618 30802 0 -1 64 601 0 0 0 38 2 0 0 16 0 8 0 270861885 937963520 50956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31618/tid=31625] ppid=31616 vsize=915980 CPUtime=0
/proc/31618/task/31625/stat : 31625 (java) S 31616 31618 30802 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270861885 937963520 50956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31618/tid=31626] ppid=31616 vsize=915980 CPUtime=0
/proc/31618/task/31626/stat : 31626 (java) S 31616 31618 30802 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270861885 937963520 50956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2263.31
Current children cumulated vsize (KiB) 915980

[startup+2324.58 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 31824
/proc/meminfo: memFree=1393440/2055920 swapFree=4191892/4192956
[pid=31618] ppid=31616 vsize=915980 CPUtime=2323.29
/proc/31618/stat : 31618 (java) R 31616 31618 30802 0 -1 0 51256 0 1 0 232240 89 0 0 25 0 8 0 270861878 937963520 50956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074318469 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31618/statm: 228995 50956 2548 14 0 215465 0
[pid=31618/tid=31620] ppid=31616 vsize=915980 CPUtime=0.89
/proc/31618/task/31620/stat : 31620 (java) S 31616 31618 30802 0 -1 64 33952 0 0 0 75 14 0 0 16 0 8 0 270861882 937963520 50956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31618/tid=31621] ppid=31616 vsize=915980 CPUtime=0
/proc/31618/task/31621/stat : 31621 (java) S 31616 31618 30802 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270861882 937963520 50956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31618/tid=31622] ppid=31616 vsize=915980 CPUtime=0
/proc/31618/task/31622/stat : 31622 (java) S 31616 31618 30802 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270861882 937963520 50956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31618/tid=31623] ppid=31616 vsize=915980 CPUtime=0
/proc/31618/task/31623/stat : 31623 (java) S 31616 31618 30802 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 270861885 937963520 50956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31618/tid=31624] ppid=31616 vsize=915980 CPUtime=0.4
/proc/31618/task/31624/stat : 31624 (java) S 31616 31618 30802 0 -1 64 601 0 0 0 38 2 0 0 16 0 8 0 270861885 937963520 50956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31618/tid=31625] ppid=31616 vsize=915980 CPUtime=0
/proc/31618/task/31625/stat : 31625 (java) S 31616 31618 30802 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270861885 937963520 50956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31618/tid=31626] ppid=31616 vsize=915980 CPUtime=0
/proc/31618/task/31626/stat : 31626 (java) S 31616 31618 30802 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270861885 937963520 50956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2323.29
Current children cumulated vsize (KiB) 915980

[startup+2384.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 31824
/proc/meminfo: memFree=1393504/2055920 swapFree=4191892/4192956
[pid=31618] ppid=31616 vsize=915980 CPUtime=2383.26
/proc/31618/stat : 31618 (java) R 31616 31618 30802 0 -1 0 51256 0 1 0 238237 89 0 0 25 0 8 0 270861878 937963520 50956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074137226 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31618/statm: 228995 50956 2548 14 0 215465 0
[pid=31618/tid=31620] ppid=31616 vsize=915980 CPUtime=0.89
/proc/31618/task/31620/stat : 31620 (java) S 31616 31618 30802 0 -1 64 33952 0 0 0 75 14 0 0 16 0 8 0 270861882 937963520 50956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31618/tid=31621] ppid=31616 vsize=915980 CPUtime=0
/proc/31618/task/31621/stat : 31621 (java) S 31616 31618 30802 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270861882 937963520 50956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31618/tid=31622] ppid=31616 vsize=915980 CPUtime=0
/proc/31618/task/31622/stat : 31622 (java) S 31616 31618 30802 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270861882 937963520 50956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31618/tid=31623] ppid=31616 vsize=915980 CPUtime=0
/proc/31618/task/31623/stat : 31623 (java) S 31616 31618 30802 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 270861885 937963520 50956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31618/tid=31624] ppid=31616 vsize=915980 CPUtime=0.4
/proc/31618/task/31624/stat : 31624 (java) S 31616 31618 30802 0 -1 64 601 0 0 0 38 2 0 0 16 0 8 0 270861885 937963520 50956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31618/tid=31625] ppid=31616 vsize=915980 CPUtime=0
/proc/31618/task/31625/stat : 31625 (java) S 31616 31618 30802 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270861885 937963520 50956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31618/tid=31626] ppid=31616 vsize=915980 CPUtime=0
/proc/31618/task/31626/stat : 31626 (java) S 31616 31618 30802 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270861885 937963520 50956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2383.26
Current children cumulated vsize (KiB) 915980



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2401.34 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 31824
/proc/meminfo: memFree=1393504/2055920 swapFree=4191892/4192956
[pid=31618] ppid=31616 vsize=915980 CPUtime=2400.01
/proc/31618/stat : 31618 (java) R 31616 31618 30802 0 -1 0 51256 0 1 0 239912 89 0 0 25 0 8 0 270861878 937963520 50956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073832872 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31618/statm: 228995 50956 2548 14 0 215465 0
[pid=31618/tid=31620] ppid=31616 vsize=915980 CPUtime=0.89
/proc/31618/task/31620/stat : 31620 (java) S 31616 31618 30802 0 -1 64 33952 0 0 0 75 14 0 0 16 0 8 0 270861882 937963520 50956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31618/tid=31621] ppid=31616 vsize=915980 CPUtime=0
/proc/31618/task/31621/stat : 31621 (java) S 31616 31618 30802 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270861882 937963520 50956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31618/tid=31622] ppid=31616 vsize=915980 CPUtime=0
/proc/31618/task/31622/stat : 31622 (java) S 31616 31618 30802 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270861882 937963520 50956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31618/tid=31623] ppid=31616 vsize=915980 CPUtime=0
/proc/31618/task/31623/stat : 31623 (java) S 31616 31618 30802 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 270861885 937963520 50956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31618/tid=31624] ppid=31616 vsize=915980 CPUtime=0.4
/proc/31618/task/31624/stat : 31624 (java) S 31616 31618 30802 0 -1 64 601 0 0 0 38 2 0 0 16 0 8 0 270861885 937963520 50956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31618/tid=31625] ppid=31616 vsize=915980 CPUtime=0
/proc/31618/task/31625/stat : 31625 (java) S 31616 31618 30802 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270861885 937963520 50956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31618/tid=31626] ppid=31616 vsize=915980 CPUtime=0
/proc/31618/task/31626/stat : 31626 (java) S 31616 31618 30802 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270861885 937963520 50956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2400.01
Current children cumulated vsize (KiB) 915980

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

Child status: 143
Real time (s): 2401.4
CPU time (s): 2400.07
CPU user time (s): 2399.14
CPU system time (s): 0.927858
CPU usage (%): 99.9444
Max. virtual memory (cumulated for all children) (KiB): 915980

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

runsolver used 2.24566 s user time and 6.46202 s system time

The end

Launcher Data (download as text)

Begin job on node40 on Fri Jan 19 16:37:05 UTC 2007


IDJOB= 275640
IDBENCH= 4186
IDSOLVER= 69
FILE ID= node40/275640-1169224625

PBS_JOBID= 3589188

Free space on /tmp= 66561 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  90f8a89d2b50939af615074c82c16fcf

RANDOM SEED= 875738012

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.239
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.239
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:       1588216 kB
Buffers:         40776 kB
Cached:         335064 kB
SwapCached:        268 kB
Active:         106948 kB
Inactive:       284336 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1588216 kB
SwapTotal:     4192956 kB
SwapFree:      4191892 kB
Dirty:            4244 kB
Writeback:           0 kB
Mapped:          24376 kB
Slab:            62524 kB
Committed_AS:  4964428 kB
PageTables:       1412 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= 66561 MiB



End job on node40 on Fri Jan 19 17:17:07 UTC 2007