Trace number 275642

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
AbsconMax 109 EPFCMSAT (TO) 2400.11 2421.87

General information on the benchmark

Namefapp/fapp36-40/fapp36/
fapp36-2000-4.xml
MD5SUM89a45000573be1b2f9bfb23b71c21d6b
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkMSAT TO
Best Number of satisfied constraints17415
Best CPU time to get the best result obtained on this benchmark2400.11
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.33	   
0.33	Abscon 109 (November, 2006)
0.33	   
0.33	   configuration
0.33	     name=epfc.xml
0.36	   
0.36	   instance
0.36	     name=/tmp/evaluation/275642-1169224654/unknown.xml
0.39	   
0.39	   domains being loaded...
0.43	   
0.43	   variables being loaded...
0.70	     nbVariables=2000  nbDomainTypes=26  minDomainSize=46  maxDomainSize=454
0.70	       =>  wckTime=0.372  cpuTime=0.26  mem=34M228
0.70	   
0.70	   predicates being loaded...
0.70	   
0.70	   constraints being loaded...
61.37	   
61.37	   INFO : Stopping converting binary constraints (cpu=60.02, mem = 67M893)
62.89	     nbConstraints=18600  nbConvertedConstraints=2077  nbConvertConstraintsChecks=199289610  nbExtensionStructures=1667
62.89	     nbSharedExtensionStructures=410  nbConflictsStructures=1667  nbSharedConflictsStructures=410
62.89	     nbSharedBinaryRepresentations=1101143  nbEvaluationManagers=8095  nbSharedEvaluationManagers=8428  maxDegree=25
62.89	     maxArity=2
62.89	       =>  wckTime=62.558  cpuTime=61.22  mem=76M905
63.24	   
63.24	   solver LocalSearchSolver being built... 
63.29	       =>  wckTime=62.96  cpuTime=61.28  mem=63M634
63.47	
63.47	s SATISFIABLE
63.47	o 13241
63.47	c 5359
63.56	o 13248
63.56	c 5352
63.63	o 13252
63.63	c 5348
63.68	o 13256
63.68	c 5344
63.72	o 13258
63.72	c 5342
63.77	o 13265
63.77	c 5335
63.83	o 13266
63.83	c 5334
63.88	o 13272
63.88	c 5328
63.92	o 13278
63.92	c 5322
63.97	o 13284
63.97	c 5316
64.00	o 13289
64.00	c 5311
64.04	o 13294
64.04	c 5306
64.08	o 13298
64.08	c 5302
64.11	o 13302
64.11	c 5298
64.14	o 13306
64.14	c 5294
64.18	o 13310
64.18	c 5290
64.23	o 13313
64.23	c 5287
64.25	o 13316
64.25	c 5284
64.28	o 13319
64.28	c 5281
64.31	o 13322
64.31	c 5278
64.34	o 13324
64.34	c 5276
64.37	o 13326
64.37	c 5274
64.39	o 13328
64.39	c 5272
64.41	o 13330
64.41	c 5270
64.42	o 13331
64.42	c 5269
64.45	o 13332
64.45	c 5268
64.48	o 13333
64.48	c 5267
64.50	o 13334
64.50	c 5266
64.52	o 13335
64.52	c 5265
64.54	o 13339
64.54	c 5261
64.57	o 13348
64.57	c 5252
64.61	o 13354
64.61	c 5246
64.65	o 13360
64.65	c 5240
64.70	o 13365
64.70	c 5235
64.75	o 13370
64.75	c 5230
64.80	o 13375
64.80	c 5225
64.85	o 13379
64.85	c 5221
64.88	o 13383
64.88	c 5217
64.93	o 13387
64.93	c 5213
64.97	o 13391
64.97	c 5209
65.02	o 13394
65.02	c 5206
65.07	o 13397
65.07	c 5203
65.11	o 13400
65.11	c 5200
65.15	o 13403
65.15	c 5197
65.20	o 13406
65.20	c 5194
65.23	o 13409
65.23	c 5191
65.29	o 13412
65.29	c 5188
65.33	o 13414
65.33	c 5186
65.36	o 13416
65.36	c 5184
65.39	o 13418
65.39	c 5182
65.42	o 13420
65.42	c 5180
65.45	o 13422
65.45	c 5178
65.49	o 13424
65.49	c 5176
65.51	o 13426
65.51	c 5174
65.54	o 13428
65.54	c 5172
65.56	o 13430
65.56	c 5170
65.58	o 13432
65.58	c 5168
65.61	o 13433
65.61	c 5167
65.63	o 13434
65.63	c 5166
65.64	o 13435
65.64	c 5165
65.68	o 13436
65.68	c 5164
65.71	o 13437
65.71	c 5163
65.73	o 13438
65.73	c 5162
65.77	o 13439
65.77	c 5161
65.82	o 13446
65.82	c 5154
65.87	o 13451
65.87	c 5149
65.93	o 13456
65.93	c 5144
65.98	o 13459
65.98	c 5141
66.04	o 13464
66.04	c 5136
66.10	o 13469
66.10	c 5131
66.16	o 13473
66.16	c 5127
66.21	o 13477
66.21	c 5123
66.27	o 13480
66.27	c 5120
66.32	o 13483
66.32	c 5117
66.38	o 13486
66.38	c 5114
66.44	o 13489
66.44	c 5111
66.50	o 13492
66.50	c 5108
66.55	o 13495
66.55	c 5105
66.60	o 13498
66.60	c 5102
66.65	o 13501
66.65	c 5099
66.70	o 13504
66.70	c 5096
66.77	o 13507
66.77	c 5093
66.82	o 13510
66.82	c 5090
66.85	o 13512
66.85	c 5088
66.90	o 13514
66.90	c 5086
66.93	o 13516
66.93	c 5084
66.98	o 13518
66.98	c 5082
67.01	o 13520
67.01	c 5080
67.04	o 13522
67.04	c 5078
67.09	o 13524
67.09	c 5076
67.12	o 13526
67.13	c 5074
67.17	o 13528
67.17	c 5072
67.20	o 13532
67.20	c 5068
67.23	o 13534
67.23	c 5066
67.25	o 13536
67.25	c 5064
67.29	o 13538
67.29	c 5062
67.31	o 13539
67.31	c 5061
67.33	o 13540
67.33	c 5060
67.36	o 13541
67.36	c 5059
67.38	o 13542
67.38	c 5058
67.40	o 13548
67.40	c 5052
67.43	o 13549
67.43	c 5051
67.46	o 13550
67.46	c 5050
67.49	o 13557
67.49	c 5043
67.52	o 13558
67.52	c 5042
67.54	o 13563
67.54	c 5037
67.58	o 13566
67.58	c 5034
67.60	o 13570
67.60	c 5030
67.63	o 13572
67.63	c 5028
67.65	o 13575
67.65	c 5025
67.67	o 13582
67.67	c 5018
67.71	o 13588
67.71	c 5012
67.73	o 13593
67.73	c 5007
67.76	o 13596
67.76	c 5004
67.78	o 13599
67.78	c 5001
67.83	o 13604
67.83	c 4996
67.85	o 13608
67.85	c 4992
67.88	o 13613
67.88	c 4987
67.91	o 13615
67.91	c 4985
67.95	o 13616
67.95	c 4984
67.97	o 13620
67.97	c 4980
67.99	o 13624
67.99	c 4976
68.01	o 13625
68.01	c 4975
68.05	o 13627
68.05	c 4973
68.08	o 13630
68.08	c 4970
68.10	o 13631
68.10	c 4969
68.13	o 13634
68.13	c 4966
68.16	o 13636
68.16	c 4964
68.22	o 13638
68.22	c 4962
68.27	o 13646
68.27	c 4954
68.30	o 13648
68.30	c 4952
68.34	o 13650
68.34	c 4950
68.41	o 13656
68.41	c 4944
68.49	o 13662
68.49	c 4938
68.56	o 13668
68.56	c 4932
68.62	o 13674
68.62	c 4926
68.69	o 13679
68.69	c 4921
68.76	o 13684
68.76	c 4916
68.83	o 13689
68.83	c 4911
68.91	o 13694
68.91	c 4906
68.98	o 13699
68.98	c 4901
69.05	o 13704
69.05	c 4896
69.12	o 13708
69.12	c 4892
69.20	o 13712
69.20	c 4888
69.26	o 13716
69.26	c 4884
69.33	o 13720
69.33	c 4880
69.39	o 13724
69.39	c 4876
69.45	o 13727
69.45	c 4873
69.51	o 13732
69.51	c 4868
69.57	o 13735
69.57	c 4865
69.63	o 13738
69.63	c 4862
69.73	o 13742
69.73	c 4858
69.77	o 13745
69.77	c 4855
69.83	o 13748
69.83	c 4852
69.88	o 13751
69.88	c 4849
69.93	o 13754
69.93	c 4846
69.97	o 13756
69.98	c 4844
70.01	o 13758
70.01	c 4842
70.05	o 13760
70.05	c 4840
70.09	o 13762
70.09	c 4838
70.13	o 13764
70.13	c 4836
70.17	o 13766
70.17	c 4834
70.21	o 13768
70.21	c 4832
70.25	o 13770
70.25	c 4830
70.29	o 13772
70.29	c 4828
70.33	o 13774
70.33	c 4826
70.37	o 13776
70.37	c 4824
70.40	o 13778
70.40	c 4822
70.44	o 13779
70.44	c 4821
70.48	o 13786
70.48	c 4814
70.52	o 13787
70.52	c 4813
70.55	o 13788
70.55	c 4812
70.59	o 13789
70.59	c 4811
70.62	o 13790
70.62	c 4810
70.65	o 13791
70.65	c 4809
70.68	o 13792
70.68	c 4808
70.71	o 13793
70.71	c 4807
70.73	o 13794
70.73	c 4806
70.82	o 13798
70.82	c 4802
70.85	o 13801
70.85	c 4799
70.88	o 13804
70.88	c 4796
70.90	o 13809
70.90	c 4791
70.92	o 13812
70.92	c 4788
70.94	o 13813
70.94	c 4787
71.00	o 13817
71.00	c 4783
71.03	o 13821
71.03	c 4779
71.06	o 13823
71.06	c 4777
71.08	o 13825
71.08	c 4775
71.11	o 13832
71.11	c 4768
71.14	o 13834
71.14	c 4766
71.18	o 13835
71.18	c 4765
71.22	o 13836
71.22	c 4764
71.27	o 13839
71.27	c 4761
71.30	o 13844
71.30	c 4756
71.34	o 13846
71.34	c 4754
71.38	o 13851
71.38	c 4749
71.45	o 13855
71.45	c 4745
71.52	o 13856
71.52	c 4744
71.56	o 13861
71.56	c 4739
71.59	o 13862
71.59	c 4738
71.64	o 13863
71.64	c 4737
71.68	o 13871
71.68	c 4729
71.71	o 13879
71.71	c 4721
71.75	o 13882
71.75	c 4718
71.79	o 13883
71.79	c 4717
71.87	o 13886
71.87	c 4714
71.90	o 13889
71.90	c 4711
71.93	o 13892
71.93	c 4708
71.95	o 13893
71.95	c 4707
71.99	o 13894
71.99	c 4706
72.02	o 13897
72.02	c 4703
72.12	o 13900
72.12	c 4700
72.15	o 13903
72.15	c 4697
72.19	o 13905
72.19	c 4695
72.22	o 13909
72.22	c 4691
72.28	o 13910
72.28	c 4690
72.31	o 13911
72.31	c 4689
72.35	o 13917
72.35	c 4683
72.41	o 13920
72.41	c 4680
72.47	o 13927
72.47	c 4673
72.51	o 13929
72.51	c 4671
72.57	o 13936
72.57	c 4664
72.65	o 13942
72.65	c 4658
72.71	o 13944
72.71	c 4656
72.78	o 13950
72.78	c 4650
72.95	o 13956
72.95	c 4644
73.02	o 13962
73.02	c 4638
73.10	o 13968
73.10	c 4632
73.19	o 13973
73.19	c 4627
73.28	o 13974
73.28	c 4626
73.37	o 13975
73.37	c 4625
73.46	o 13980
73.47	c 4620
73.56	o 13985
73.56	c 4615
73.65	o 13990
73.65	c 4610
73.74	o 13994
73.74	c 4606
73.82	o 13996
73.82	c 4604
73.91	o 14000
73.91	c 4600
73.99	o 14004
73.99	c 4596
74.08	o 14008
74.08	c 4592
74.16	o 14012
74.16	c 4588
74.24	o 14015
74.24	c 4585
74.33	o 14018
74.33	c 4582
74.40	o 14021
74.40	c 4579
74.48	o 14023
74.48	c 4577
74.56	o 14026
74.56	c 4574
74.63	o 14029
74.63	c 4571
74.71	o 14032
74.71	c 4568
74.79	o 14035
74.79	c 4565
74.86	o 14038
74.86	c 4562
74.92	o 14041
74.92	c 4559
74.99	o 14045
74.99	c 4555
75.05	o 14048
75.05	c 4552
75.12	o 14051
75.12	c 4549
75.18	o 14053
75.18	c 4547
75.23	o 14055
75.23	c 4545
75.30	o 14057
75.30	c 4543
75.36	o 14059
75.36	c 4541
75.42	o 14061
75.42	c 4539
75.49	o 14063
75.49	c 4537
75.54	o 14065
75.54	c 4535
75.59	o 14071
75.59	c 4529
75.64	o 14073
75.64	c 4527
75.69	o 14075
75.69	c 4525
75.74	o 14077
75.74	c 4523
75.79	o 14079
75.79	c 4521
75.84	o 14080
75.84	c 4520
75.90	o 14081
75.90	c 4519
75.95	o 14082
75.95	c 4518
76.00	o 14083
76.00	c 4517
76.04	o 14084
76.04	c 4516
76.08	o 14085
76.08	c 4515
76.12	o 14086
76.12	c 4514
76.16	o 14090
76.16	c 4510
76.20	o 14091
76.20	c 4509
76.28	o 14093
76.28	c 4507
76.42	o 14094
76.42	c 4506
76.47	o 14095
76.47	c 4505
76.51	o 14102
76.51	c 4498
76.57	o 14104
76.57	c 4496
76.63	o 14110
76.63	c 4490
76.67	o 14116
76.67	c 4484
76.72	o 14120
76.72	c 4480
77.06	o 14122
77.06	c 4478
77.16	o 14124
77.16	c 4476
77.31	o 14125
77.31	c 4475
77.35	o 14127
77.35	c 4473
77.40	o 14132
77.40	c 4468
77.45	o 14134
77.45	c 4466
77.50	o 14137
77.50	c 4463
77.55	o 14141
77.55	c 4459
77.61	o 14144
77.61	c 4456
77.66	o 14146
77.66	c 4454
77.71	o 14150
77.71	c 4450
77.76	o 14152
77.76	c 4448
77.82	o 14154
77.82	c 4446
77.86	o 14156
77.86	c 4444
77.91	o 14162
77.91	c 4438
77.95	o 14165
77.95	c 4435
78.10	o 14169
78.10	c 4431
78.14	o 14172
78.14	c 4428
78.31	o 14174
78.31	c 4426
78.36	o 14176
78.36	c 4424
78.41	o 14179
78.41	c 4421
78.49	o 14183
78.49	c 4417
78.54	o 14184
78.54	c 4416
78.62	o 14185
78.62	c 4415
78.66	o 14188
78.66	c 4412
78.73	o 14190
78.73	c 4410
78.78	o 14194
78.78	c 4406
78.83	o 14195
78.83	c 4405
78.89	o 14197
78.89	c 4403
78.95	o 14199
78.95	c 4401
78.99	o 14202
78.99	c 4398
79.08	o 14203
79.08	c 4397
79.16	o 14207
79.16	c 4393
79.21	o 14210
79.21	c 4390
79.26	o 14214
79.26	c 4386
79.42	o 14216
79.42	c 4384
79.48	o 14218
79.48	c 4382
79.52	o 14220
79.52	c 4380
79.57	o 14223
79.57	c 4377
79.62	o 14228
79.62	c 4372
79.67	o 14230
79.67	c 4370
79.72	o 14231
79.72	c 4369
79.76	o 14236
79.76	c 4364
79.85	o 14240
79.85	c 4360
79.89	o 14241
79.89	c 4359
79.94	o 14247
79.94	c 4353
79.99	o 14248
79.99	c 4352
80.03	o 14249
80.03	c 4351
80.08	o 14252
80.08	c 4348
80.12	o 14256
80.13	c 4344
80.16	o 14260
80.16	c 4340
80.24	o 14261
80.24	c 4339
80.29	o 14265
80.29	c 4335
80.35	o 14266
80.35	c 4334
80.40	o 14268
80.40	c 4332
80.44	o 14274
80.44	c 4326
80.50	o 14276
80.50	c 4324
80.55	o 14278
80.55	c 4322
80.61	o 14281
80.61	c 4319
80.66	o 14285
80.66	c 4315
80.71	o 14286
80.71	c 4314
80.75	o 14288
80.75	c 4312
80.79	o 14290
80.80	c 4310
80.86	o 14292
80.86	c 4308
80.92	o 14297
80.92	c 4303
80.99	o 14301
80.99	c 4299
81.06	o 14305
81.06	c 4295
81.17	o 14307
81.17	c 4293
81.29	o 14311
81.29	c 4289
81.36	o 14315
81.36	c 4285
81.42	o 14319
81.42	c 4281
81.49	o 14323
81.49	c 4277
81.56	o 14326
81.56	c 4274
81.63	o 14329
81.63	c 4271
81.70	o 14332
81.70	c 4268
81.77	o 14335
81.77	c 4265
81.83	o 14338
81.83	c 4262
81.89	o 14340
81.89	c 4260
81.95	o 14342
81.95	c 4258
82.00	o 14344
82.00	c 4256
82.05	o 14346
82.05	c 4254
82.11	o 14350
82.11	c 4250
82.17	o 14351
82.17	c 4249
82.22	o 14352
82.22	c 4248
82.28	o 14353
82.28	c 4247
82.33	o 14354
82.33	c 4246
82.38	o 14355
82.38	c 4245
82.45	o 14356
82.45	c 4244
82.50	o 14357
82.50	c 4243
82.55	o 14358
82.55	c 4242
82.60	o 14361
82.60	c 4239
82.65	o 14364
82.65	c 4236
82.69	o 14365
82.69	c 4235
82.74	o 14367
82.74	c 4233
82.83	o 14371
82.83	c 4229
82.92	o 14374
82.92	c 4226
83.10	o 14375
83.10	c 4225
83.14	o 14376
83.14	c 4224
83.19	o 14381
83.19	c 4219
83.23	o 14382
83.23	c 4218
83.28	o 14387
83.28	c 4213
83.32	o 14388
83.32	c 4212
83.38	o 14389
83.38	c 4211
83.44	o 14391
83.44	c 4209
83.48	o 14392
83.48	c 4208
83.52	o 14394
83.52	c 4206
83.62	o 14397
83.62	c 4203
83.67	o 14398
83.67	c 4202
83.73	o 14403
83.73	c 4197
83.78	o 14405
83.78	c 4195
83.89	o 14408
83.89	c 4192
83.94	o 14411
83.94	c 4189
83.99	o 14415
83.99	c 4185
84.04	o 14416
84.04	c 4184
84.09	o 14417
84.09	c 4183
84.15	o 14418
84.15	c 4182
84.20	o 14419
84.20	c 4181
84.27	o 14421
84.27	c 4179
84.31	o 14425
84.31	c 4175
84.36	o 14427
84.36	c 4173
84.41	o 14430
84.41	c 4170
84.54	o 14431
84.54	c 4169
84.64	o 14432
84.64	c 4168
84.69	o 14435
84.69	c 4165
84.73	o 14438
84.73	c 4162
84.77	o 14439
84.77	c 4161
84.84	o 14445
84.84	c 4155
84.90	o 14448
84.90	c 4152
84.96	o 14450
84.96	c 4150
85.00	o 14452
85.00	c 4148
85.06	o 14453
85.06	c 4147
85.16	o 14455
85.16	c 4145
85.27	o 14457
85.27	c 4143
85.33	o 14459
85.33	c 4141
85.40	o 14460
85.40	c 4140
85.45	o 14461
85.45	c 4139
85.51	o 14463
85.51	c 4137
85.57	o 14465
85.57	c 4135
85.62	o 14466
85.62	c 4134
85.69	o 14467
85.69	c 4133
85.75	o 14469
85.75	c 4131
85.88	o 14475
85.88	c 4125
86.00	o 14480
86.00	c 4120
86.12	o 14481
86.12	c 4119
86.17	o 14482
86.17	c 4118
86.24	o 14483
86.24	c 4117
86.30	o 14484
86.30	c 4116
86.37	o 14485
86.37	c 4115
86.44	o 14488
86.44	c 4112
86.51	o 14490
86.51	c 4110
86.57	o 14491
86.57	c 4109
86.64	o 14493
86.64	c 4107
86.72	o 14495
86.72	c 4105
86.93	o 14496
86.93	c 4104
87.00	o 14498
87.00	c 4102
87.09	o 14499
87.09	c 4101
87.16	o 14504
87.16	c 4096
87.25	o 14506
87.25	c 4094
87.32	o 14511
87.32	c 4089
87.38	o 14513
87.38	c 4087
87.80	o 14515
87.80	c 4085
87.87	o 14519
87.87	c 4081
88.02	o 14521
88.02	c 4079
88.09	o 14522
88.09	c 4078
88.17	o 14523
88.17	c 4077
88.25	o 14527
88.25	c 4073
88.33	o 14530
88.33	c 4070
88.40	o 14531
88.40	c 4069
88.47	o 14532
88.47	c 4068
88.78	o 14534
88.78	c 4066
88.85	o 14537
88.85	c 4063
88.92	o 14539
88.92	c 4061
89.02	o 14540
89.02	c 4060
89.10	o 14546
89.10	c 4054
89.18	o 14547
89.18	c 4053
89.26	o 14549
89.26	c 4051
89.32	o 14554
89.32	c 4046
89.41	o 14555
89.41	c 4045
89.53	o 14556
89.53	c 4044
89.62	o 14558
89.62	c 4042
89.71	o 14563
89.71	c 4037
89.83	o 14565
89.83	c 4035
89.95	o 14570
89.95	c 4030
90.09	o 14574
90.09	c 4026
90.23	o 14578
90.23	c 4022
90.37	o 14581
90.37	c 4019
90.50	o 14583
90.50	c 4017
90.64	o 14586
90.65	c 4014
90.78	o 14589
90.78	c 4011
90.91	o 14592
90.91	c 4008
91.05	o 14594
91.05	c 4006
91.18	o 14596
91.18	c 4004
91.30	o 14598
91.30	c 4002
91.40	o 14601
91.40	c 3999
91.52	o 14603
91.52	c 3997
91.64	o 14605
91.64	c 3995
91.78	o 14608
91.78	c 3992
91.89	o 14614
91.89	c 3986
92.01	o 14616
92.01	c 3984
92.12	o 14618
92.12	c 3982
92.22	o 14619
92.22	c 3981
92.32	o 14623
92.32	c 3977
92.41	o 14626
92.41	c 3974
92.51	o 14627
92.51	c 3973
92.81	o 14629
92.81	c 3971
92.91	o 14631
92.91	c 3969
93.01	o 14632
93.01	c 3968
93.11	o 14633
93.11	c 3967
93.21	o 14635
93.21	c 3965
93.31	o 14636
93.31	c 3964
93.42	o 14637
93.42	c 3963
93.51	o 14638
93.51	c 3962
93.60	o 14639
93.60	c 3961
93.70	o 14640
93.70	c 3960
93.78	o 14641
93.78	c 3959
93.87	o 14642
93.87	c 3958
93.98	o 14643
93.98	c 3957
94.07	o 14644
94.07	c 3956
94.18	o 14645
94.18	c 3955
94.26	o 14646
94.26	c 3954
94.75	o 14648
94.75	c 3952
94.92	o 14649
94.92	c 3951
95.15	o 14653
95.15	c 3947
95.23	o 14657
95.23	c 3943
95.31	o 14660
95.31	c 3940
95.39	o 14664
95.39	c 3936
95.47	o 14665
95.47	c 3935
95.55	o 14666
95.55	c 3934
95.71	o 14670
95.71	c 3930
95.80	o 14675
95.80	c 3925
95.99	o 14679
95.99	c 3921
96.10	o 14684
96.10	c 3916
96.20	o 14687
96.20	c 3913
96.39	o 14688
96.39	c 3912
96.59	o 14691
96.59	c 3909
96.86	o 14692
96.86	c 3908
96.96	o 14694
96.96	c 3906
97.05	o 14695
97.05	c 3905
97.16	o 14697
97.16	c 3903
97.25	o 14698
97.25	c 3902
97.45	o 14700
97.45	c 3900
97.54	o 14701
97.54	c 3899
97.73	o 14702
97.73	c 3898
97.91	o 14703
97.91	c 3897
98.00	o 14704
98.00	c 3896
98.11	o 14706
98.11	c 3894
98.20	o 14710
98.20	c 3890
98.39	o 14713
98.39	c 3887
98.50	o 14715
98.50	c 3885
98.59	o 14717
98.59	c 3883
98.69	o 14718
98.69	c 3882
98.79	o 14719
98.79	c 3881
98.99	o 14720
98.99	c 3880
99.27	o 14721
99.27	c 3879
99.48	o 14722
99.48	c 3878
99.58	o 14723
99.58	c 3877
99.68	o 14725
99.68	c 3875
99.78	o 14728
99.78	c 3872
99.88	o 14729
99.88	c 3871
99.99	o 14731
99.99	c 3869
100.10	o 14735
100.10	c 3865
100.53	o 14738
100.53	c 3862
100.66	o 14740
100.66	c 3860
100.78	o 14743
100.78	c 3857
101.01	o 14745
101.01	c 3855
101.60	o 14746
101.60	c 3854
101.72	o 14747
101.72	c 3853
101.84	o 14752
101.84	c 3848
101.96	o 14757
101.96	c 3843
102.08	o 14759
102.08	c 3841
102.31	o 14762
102.32	c 3838
102.54	o 14764
102.54	c 3836
102.79	o 14767
102.79	c 3833
103.05	o 14768
103.05	c 3832
103.17	o 14769
103.17	c 3831
103.28	o 14770
103.28	c 3830
103.41	o 14776
103.41	c 3824
103.52	o 14780
103.52	c 3820
103.65	o 14782
103.65	c 3818
103.76	o 14783
103.76	c 3817
103.88	o 14786
103.88	c 3814
104.11	o 14789
104.11	c 3811
104.35	o 14790
104.35	c 3810
104.45	o 14794
104.45	c 3806
104.66	o 14796
104.66	c 3804
104.97	o 14800
104.97	c 3800
105.19	o 14801
105.19	c 3799
105.29	o 14802
105.29	c 3798
105.49	o 14803
105.49	c 3797
105.59	o 14804
105.59	c 3796
105.71	o 14805
105.71	c 3795
105.80	o 14806
105.80	c 3794
105.92	o 14811
105.92	c 3789
106.16	o 14815
106.16	c 3785
106.50	o 14818
106.50	c 3782
106.62	o 14823
106.62	c 3777
107.20	o 14824
107.20	c 3776
107.33	o 14826
107.33	c 3774
107.44	o 14830
107.44	c 3770
107.57	o 14833
107.57	c 3767
107.69	o 14835
107.69	c 3765
107.81	o 14838
107.81	c 3762
107.92	o 14839
107.92	c 3761
108.04	o 14841
108.04	c 3759
108.40	o 14842
108.40	c 3758
108.52	o 14845
108.52	c 3755
108.64	o 14847
108.64	c 3753
108.76	o 14849
108.76	c 3751
109.00	o 14851
109.00	c 3749
109.24	o 14852
109.24	c 3748
109.35	o 14853
109.35	c 3747
109.46	o 14856
109.46	c 3744
109.58	o 14858
109.58	c 3742
109.70	o 14860
109.70	c 3740
109.81	o 14861
109.81	c 3739
109.93	o 14864
109.93	c 3736
110.05	o 14866
110.05	c 3734
110.38	o 14868
110.38	c 3732
110.62	o 14869
110.62	c 3731
110.73	o 14870
110.73	c 3730
110.85	o 14871
110.85	c 3729
111.08	o 14872
111.08	c 3728
111.20	o 14873
111.20	c 3727
111.31	o 14877
111.31	c 3723
111.44	o 14881
111.44	c 3719
111.56	o 14883
111.56	c 3717
111.79	o 14884
111.79	c 3716
112.14	o 14887
112.14	c 3713
112.25	o 14888
112.25	c 3712
112.36	o 14889
112.36	c 3711
112.49	o 14892
112.49	c 3708
112.60	o 14895
112.60	c 3705
112.72	o 14896
112.72	c 3704
112.96	o 14898
112.96	c 3702
113.08	o 14902
113.08	c 3698
113.22	o 14905
113.22	c 3695
113.34	o 14909
113.34	c 3691
113.48	o 14911
113.48	c 3689
113.60	o 14913
113.60	c 3687
114.01	o 14914
114.01	c 3686
114.15	o 14917
114.15	c 3683
114.31	o 14920
114.31	c 3680
114.44	o 14923
114.44	c 3677
114.58	o 14924
114.58	c 3676
114.90	o 14928
114.90	c 3672
115.05	o 14931
115.05	c 3669
115.19	o 14933
115.19	c 3667
115.34	o 14936
115.34	c 3664
115.51	o 14939
115.51	c 3661
115.96	o 14940
115.96	c 3660
116.09	o 14946
116.09	c 3654
116.25	o 14948
116.25	c 3652
116.40	o 14949
116.40	c 3651
116.53	o 14950
116.53	c 3650
116.69	o 14952
116.69	c 3648
116.85	o 14954
116.85	c 3646
117.00	o 14956
117.00	c 3644
117.15	o 14959
117.15	c 3641
117.45	o 14960
117.45	c 3640
117.60	o 14963
117.60	c 3637
117.76	o 14965
117.76	c 3635
118.17	o 14966
118.17	c 3634
118.30	o 14967
118.30	c 3633
118.45	o 14968
118.45	c 3632
118.58	o 14969
118.58	c 3631
118.72	o 14970
118.72	c 3630
118.86	o 14971
118.86	c 3629
119.00	o 14972
119.00	c 3628
119.14	o 14973
119.14	c 3627
119.39	o 14975
119.39	c 3625
119.92	o 14976
119.92	c 3624
120.53	o 14981
120.53	c 3619
120.77	o 14984
120.77	c 3616
120.89	o 14986
120.89	c 3614
121.01	o 14988
121.01	c 3612
121.84	o 14989
121.84	c 3611
121.96	o 14993
121.96	c 3607
122.07	o 14994
122.07	c 3606
122.18	o 14996
122.18	c 3604
122.50	o 14999
122.50	c 3601
122.64	o 15001
122.64	c 3599
123.06	o 15004
123.06	c 3596
123.17	o 15006
123.17	c 3594
123.42	o 15007
123.42	c 3593
123.53	o 15008
123.53	c 3592
123.65	o 15010
123.65	c 3590
123.76	o 15011
123.76	c 3589
123.86	o 15014
123.86	c 3586
123.98	o 15016
123.98	c 3584
124.08	o 15017
124.08	c 3583
124.30	o 15018
124.30	c 3582
124.42	o 15019
124.42	c 3581
124.66	o 15023
124.66	c 3577
125.35	o 15024
125.35	c 3576
125.47	o 15026
125.48	c 3574
125.61	o 15028
125.61	c 3572
125.73	o 15031
125.73	c 3569
125.84	o 15034
125.84	c 3566
125.97	o 15038
125.97	c 3562
126.10	o 15041
126.10	c 3559
126.23	o 15044
126.23	c 3556
126.33	o 15045
126.33	c 3555
126.45	o 15048
126.45	c 3552
126.57	o 15050
126.57	c 3550
126.68	o 15055
126.68	c 3545
126.81	o 15057
126.81	c 3543
126.93	o 15059
126.93	c 3541
127.04	o 15061
127.04	c 3539
127.16	o 15064
127.16	c 3536
127.39	o 15070
127.39	c 3530
127.51	o 15072
127.51	c 3528
127.63	o 15073
127.63	c 3527
127.74	o 15075
127.74	c 3525
127.86	o 15077
127.86	c 3523
127.97	o 15078
127.97	c 3522
128.21	o 15080
128.21	c 3520
128.33	o 15081
128.33	c 3519
128.46	o 15082
128.46	c 3518
128.59	o 15086
128.59	c 3514
128.72	o 15088
128.72	c 3512
128.85	o 15092
128.85	c 3508
129.12	o 15094
129.12	c 3506
129.65	o 15096
129.65	c 3504
129.78	o 15099
129.78	c 3501
130.02	o 15101
130.02	c 3499
130.16	o 15103
130.16	c 3497
130.41	o 15106
130.41	c 3494
130.53	o 15108
130.53	c 3492
130.77	o 15110
130.77	c 3490
130.99	o 15112
130.99	c 3488
131.11	o 15114
131.11	c 3486
131.33	o 15115
131.33	c 3485
131.57	o 15118
131.57	c 3482
131.80	o 15119
131.80	c 3481
131.93	o 15122
131.93	c 3478
132.05	o 15125
132.05	c 3475
132.29	o 15128
132.29	c 3472
132.56	o 15129
132.56	c 3471
132.70	o 15130
132.70	c 3470
133.10	o 15132
133.10	c 3468
133.36	o 15134
133.36	c 3466
133.75	o 15137
133.75	c 3463
133.88	o 15138
133.88	c 3462
134.01	o 15139
134.01	c 3461
134.14	o 15143
134.14	c 3457
134.28	o 15145
134.28	c 3455
134.42	o 15149
134.42	c 3451
134.55	o 15151
134.55	c 3449
134.82	o 15152
134.82	c 3448
134.95	o 15154
134.95	c 3446
135.08	o 15155
135.08	c 3445
135.21	o 15158
135.21	c 3442
135.34	o 15160
135.34	c 3440
135.47	o 15163
135.47	c 3437
135.61	o 15164
135.61	c 3436
135.75	o 15168
135.75	c 3432
135.90	o 15172
135.90	c 3428
136.17	o 15174
136.17	c 3426
136.58	o 15177
136.58	c 3423
136.71	o 15178
136.71	c 3422
137.01	o 15180
137.01	c 3420
137.14	o 15183
137.14	c 3417
137.28	o 15186
137.28	c 3414
137.43	o 15188
137.43	c 3412
137.57	o 15191
137.57	c 3409
137.98	o 15193
137.98	c 3407
138.39	o 15194
138.39	c 3406
138.52	o 15195
138.52	c 3405
138.67	o 15196
138.67	c 3404
138.81	o 15199
138.81	c 3401
138.95	o 15201
138.95	c 3399
139.21	o 15202
139.21	c 3398
139.34	o 15204
139.34	c 3396
139.60	o 15205
139.60	c 3395
139.75	o 15209
139.75	c 3391
139.88	o 15211
139.88	c 3389
140.02	o 15213
140.02	c 3387
140.45	o 15217
140.45	c 3383
140.59	o 15220
140.59	c 3380
140.75	o 15225
140.75	c 3375
140.88	o 15227
140.88	c 3373
141.04	o 15229
141.04	c 3371
141.33	o 15232
141.33	c 3368
141.50	o 15235
141.50	c 3365
141.77	o 15238
141.77	c 3362
141.94	o 15241
141.94	c 3359
142.38	o 15244
142.38	c 3356
142.54	o 15245
142.54	c 3355
142.71	o 15246
142.71	c 3354
142.85	o 15250
142.85	c 3350
142.98	o 15255
142.98	c 3345
143.15	o 15257
143.15	c 3343
143.65	o 15259
143.65	c 3341
143.83	o 15262
143.83	c 3338
144.00	o 15265
144.00	c 3335
144.17	o 15266
144.17	c 3334
144.34	o 15267
144.34	c 3333
144.51	o 15270
144.51	c 3330
144.68	o 15274
144.68	c 3326
144.86	o 15276
144.86	c 3324
145.03	o 15278
145.03	c 3322
145.21	o 15279
145.21	c 3321
145.56	o 15282
145.56	c 3318
145.73	o 15283
145.73	c 3317
145.90	o 15284
145.90	c 3316
146.27	o 15285
146.27	c 3315
146.45	o 15286
146.45	c 3314
146.61	o 15289
146.61	c 3311
146.78	o 15293
146.78	c 3307
147.14	o 15294
147.14	c 3306
147.49	o 15297
147.49	c 3303
147.66	o 15300
147.66	c 3300
147.83	o 15302
147.83	c 3298
147.99	o 15306
147.99	c 3294
148.15	o 15307
148.15	c 3293
148.34	o 15311
148.34	c 3289
148.51	o 15317
148.51	c 3283
148.67	o 15319
148.67	c 3281
149.00	o 15322
149.00	c 3278
149.18	o 15324
149.18	c 3276
149.51	o 15326
149.51	c 3274
149.84	o 15328
149.84	c 3272
150.01	o 15329
150.01	c 3271
150.18	o 15330
150.18	c 3270
150.34	o 15332
150.34	c 3268
150.51	o 15336
150.51	c 3264
150.68	o 15339
150.68	c 3261
150.82	o 15344
150.82	c 3256
150.98	o 15347
150.98	c 3253
151.14	o 15351
151.14	c 3249
151.31	o 15353
151.31	c 3247
151.47	o 15354
151.47	c 3246
151.64	o 15358
151.64	c 3242
151.80	o 15362
151.80	c 3238
152.12	o 15364
152.12	c 3236
152.43	o 15367
152.43	c 3233
152.58	o 15368
152.58	c 3232
152.75	o 15369
152.75	c 3231
152.91	o 15372
152.91	c 3228
153.07	o 15375
153.07	c 3225
153.23	o 15377
153.23	c 3223
153.53	o 15378
153.53	c 3222
153.80	o 15382
153.80	c 3218
153.95	o 15383
153.95	c 3217
154.11	o 15384
154.11	c 3216
154.27	o 15387
154.27	c 3213
154.42	o 15391
154.42	c 3209
154.57	o 15392
154.57	c 3208
154.73	o 15395
154.73	c 3205
154.89	o 15396
154.89	c 3204
155.04	o 15399
155.04	c 3201
155.18	o 15400
155.18	c 3200
155.32	o 15402
155.32	c 3198
155.49	o 15405
155.49	c 3195
155.62	o 15406
155.62	c 3194
155.78	o 15409
155.78	c 3191
155.92	o 15412
155.92	c 3188
156.08	o 15415
156.08	c 3185
156.24	o 15417
156.24	c 3183
156.40	o 15419
156.40	c 3181
156.55	o 15421
156.55	c 3179
156.71	o 15422
156.71	c 3178
156.86	o 15423
156.86	c 3177
157.01	o 15424
157.01	c 3176
157.33	o 15426
157.33	c 3174
157.84	o 15428
157.84	c 3172
157.99	o 15429
157.99	c 3171
158.32	o 15432
158.32	c 3168
158.48	o 15434
158.48	c 3166
158.80	o 15438
158.80	c 3162
158.96	o 15439
158.96	c 3161
159.11	o 15444
159.11	c 3156
159.29	o 15445
159.29	c 3155
159.46	o 15447
159.46	c 3153
159.81	o 15449
159.81	c 3151
159.97	o 15452
159.97	c 3148
160.13	o 15453
160.13	c 3147
160.29	o 15455
160.29	c 3145
160.44	o 15458
160.44	c 3142
160.60	o 15460
160.60	c 3140
160.79	o 15463
160.79	c 3137
161.11	o 15464
161.11	c 3136
161.27	o 15466
161.27	c 3134
161.43	o 15468
161.43	c 3132
161.59	o 15470
161.59	c 3130
161.76	o 15472
161.76	c 3128
162.10	o 15474
162.10	c 3126
162.27	o 15476
162.27	c 3124
162.61	o 15477
162.61	c 3123
163.30	o 15479
163.30	c 3121
163.47	o 15481
163.47	c 3119
163.64	o 15484
163.64	c 3116
163.84	o 15489
163.84	c 3111
164.01	o 15492
164.01	c 3108
164.20	o 15493
164.20	c 3107
164.36	o 15494
164.36	c 3106
164.52	o 15495
164.52	c 3105
164.60	o 15498
164.60	c 3102
164.77	o 15500
164.77	c 3100
165.13	o 15504
165.13	c 3096
165.30	o 15506
165.30	c 3094
165.83	o 15509
165.83	c 3091
166.01	o 15511
166.01	c 3089
166.38	o 15513
166.38	c 3087
166.58	o 15515
166.58	c 3085
166.78	o 15517
166.78	c 3083
166.96	o 15519
166.96	c 3081
167.14	o 15521
167.14	c 3079
167.31	o 15522
167.31	c 3078
167.51	o 15523
167.51	c 3077
167.85	o 15526
167.85	c 3074
168.24	o 15530
168.24	c 3070
168.97	o 15531
168.97	c 3069
169.15	o 15532
169.15	c 3068
169.33	o 15534
169.33	c 3066
169.89	o 15535
169.89	c 3065
170.22	o 15537
170.22	c 3063
170.41	o 15539
170.41	c 3061
170.60	o 15540
170.60	c 3060
171.35	o 15543
171.35	c 3057
171.74	o 15546
171.74	c 3054
171.92	o 15551
171.92	c 3049
172.13	o 15552
172.13	c 3048
172.51	o 15553
172.51	c 3047
172.70	o 15554
172.70	c 3046
172.89	o 15558
172.89	c 3042
173.10	o 15563
173.10	c 3037
173.29	o 15566
173.29	c 3034
173.48	o 15569
173.48	c 3031
173.68	o 15570
173.68	c 3030
173.87	o 15573
173.87	c 3027
174.07	o 15574
174.07	c 3026
174.26	o 15576
174.26	c 3024
175.02	o 15579
175.02	c 3021
175.21	o 15583
175.21	c 3017
175.99	o 15584
175.99	c 3016
176.17	o 15585
176.17	c 3015
176.36	o 15588
176.36	c 3012
176.56	o 15590
176.56	c 3010
176.74	o 15593
176.74	c 3007
176.94	o 15598
176.94	c 3002
177.49	o 15599
177.49	c 3001
177.68	o 15602
177.68	c 2998
178.23	o 15603
178.23	c 2997
178.42	o 15604
178.42	c 2996
179.22	o 15605
179.22	c 2995
179.42	o 15606
179.42	c 2994
179.62	o 15608
179.62	c 2992
179.83	o 15609
179.83	c 2991
180.06	o 15610
180.06	c 2990
180.47	o 15612
180.47	c 2988
180.68	o 15613
180.68	c 2987
180.89	o 15614
180.89	c 2986
181.10	o 15616
181.10	c 2984
181.32	o 15619
181.32	c 2981
181.53	o 15620
181.53	c 2980
181.73	o 15621
181.73	c 2979
182.15	o 15624
182.15	c 2976
182.37	o 15625
182.37	c 2975
182.57	o 15627
182.57	c 2973
182.96	o 15632
182.96	c 2968
183.16	o 15634
183.16	c 2966
183.37	o 15635
183.37	c 2965
183.58	o 15636
183.58	c 2964
183.79	o 15637
183.79	c 2963
185.01	o 15640
185.01	c 2960
185.21	o 15643
185.21	c 2957
185.41	o 15645
185.41	c 2955
185.61	o 15648
185.61	c 2952
185.82	o 15650
185.82	c 2950
186.65	o 15651
186.65	c 2949
186.86	o 15653
186.86	c 2947
187.07	o 15656
187.07	c 2944
187.48	o 15657
187.48	c 2943
187.67	o 15661
187.67	c 2939
187.89	o 15665
187.89	c 2935
188.10	o 15670
188.10	c 2930
189.76	o 15671
189.76	c 2929
189.98	o 15675
189.98	c 2925
191.22	o 15676
191.22	c 2924
191.33	o 15677
191.33	c 2923
191.55	o 15678
191.55	c 2922
191.75	o 15679
191.75	c 2921
191.96	o 15682
191.96	c 2918
192.16	o 15683
192.16	c 2917
192.37	o 15686
192.37	c 2914
193.38	o 15687
193.38	c 2913
194.22	o 15690
194.22	c 2910
194.43	o 15691
194.43	c 2909
195.05	o 15693
195.05	c 2907
195.25	o 15695
195.25	c 2905
195.46	o 15696
195.46	c 2904
195.65	o 15699
195.65	c 2901
196.05	o 15702
196.05	c 2898
196.35	o 15704
196.35	c 2896
196.74	o 15706
196.74	c 2894
196.94	o 15708
196.94	c 2892
197.92	o 15709
197.92	c 2891
198.32	o 15712
198.32	c 2888
198.51	o 15714
198.51	c 2886
198.90	o 15716
198.90	c 2884
199.12	o 15717
199.12	c 2883
199.75	o 15719
199.75	c 2881
199.95	o 15720
199.95	c 2880
200.16	o 15721
200.16	c 2879
201.00	o 15725
201.00	c 2875
201.20	o 15727
201.20	c 2873
201.84	o 15730
201.84	c 2870
202.00	o 15733
202.00	c 2867
202.21	o 15734
202.21	c 2866
202.43	o 15735
202.43	c 2865
202.65	o 15738
202.65	c 2862
202.87	o 15739
202.87	c 2861
203.49	o 15741
203.49	c 2859
203.91	o 15743
203.91	c 2857
204.13	o 15746
204.13	c 2854
204.32	o 15747
204.32	c 2853
204.54	o 15748
204.54	c 2852
204.98	o 15749
204.98	c 2851
205.19	o 15750
205.19	c 2850
205.87	o 15751
205.87	c 2849
206.11	o 15752
206.11	c 2848
207.27	o 15753
207.27	c 2847
207.71	o 15755
207.71	c 2845
207.95	o 15757
207.95	c 2843
208.18	o 15759
208.18	c 2841
208.65	o 15761
208.65	c 2839
209.30	o 15764
209.30	c 2836
209.76	o 15769
209.76	c 2831
209.84	o 15771
209.84	c 2829
210.06	o 15773
210.06	c 2827
211.40	o 15774
211.40	c 2826
211.63	o 15777
211.63	c 2823
211.85	o 15778
211.85	c 2822
212.14	o 15780
212.14	c 2820
212.36	o 15781
212.36	c 2819
212.56	o 15783
212.56	c 2817
212.78	o 15787
212.78	c 2813
212.98	o 15788
212.98	c 2812
213.20	o 15791
213.20	c 2809
214.84	o 15793
214.84	c 2807
215.24	o 15796
215.24	c 2804
216.19	o 15798
216.19	c 2802
218.69	o 15801
218.69	c 2799
218.90	o 15802
218.90	c 2798
219.13	o 15804
219.13	c 2796
219.33	o 15805
219.33	c 2795
219.56	o 15807
219.56	c 2793
219.79	o 15809
219.79	c 2791
220.55	o 15810
220.55	c 2790
221.21	o 15813
221.21	c 2787
221.83	o 15814
221.83	c 2786
223.16	o 15815
223.16	c 2785
223.57	o 15816
223.57	c 2784
223.78	o 15817
223.78	c 2783
225.34	o 15819
225.34	c 2781
225.57	o 15823
225.57	c 2777
226.47	o 15824
226.47	c 2776
226.71	o 15825
226.71	c 2775
227.16	o 15828
227.16	c 2772
227.21	o 15830
227.21	c 2770
227.43	o 15831
227.43	c 2769
227.67	o 15833
227.67	c 2767
228.13	o 15834
228.13	c 2766
228.36	o 15837
228.36	c 2763
228.60	o 15838
228.60	c 2762
229.07	o 15839
229.07	c 2761
229.78	o 15840
229.78	c 2760
230.01	o 15842
230.01	c 2758
230.24	o 15845
230.24	c 2755
230.46	o 15848
230.46	c 2752
231.15	o 15850
231.15	c 2750
231.62	o 15851
231.62	c 2749
231.85	o 15853
231.85	c 2747
232.08	o 15856
232.08	c 2744
232.32	o 15857
232.32	c 2743
232.56	o 15861
232.56	c 2739
233.26	o 15865
233.26	c 2735
233.50	o 15867
233.50	c 2733
233.75	o 15871
233.75	c 2729
233.97	o 15876
233.97	c 2724
234.21	o 15879
234.21	c 2721
234.99	o 15881
234.99	c 2719
235.24	o 15883
235.24	c 2717
235.71	o 15884
235.71	c 2716
235.97	o 15885
235.97	c 2715
236.13	o 15887
236.13	c 2713
236.39	o 15889
236.39	c 2711
236.64	o 15890
236.64	c 2710
236.89	o 15892
236.89	c 2708
237.63	o 15893
237.63	c 2707
237.89	o 15894
237.89	c 2706
238.15	o 15895
238.15	c 2705
238.68	o 15897
238.68	c 2703
238.95	o 15899
238.95	c 2701
239.46	o 15901
239.46	c 2699
239.71	o 15902
239.71	c 2698
239.98	o 15905
239.98	c 2695
240.24	o 15906
240.24	c 2694
240.51	o 15909
240.51	c 2691
240.76	o 15910
240.76	c 2690
241.02	o 15911
241.02	c 2689
242.82	o 15912
242.82	c 2688
245.10	o 15914
245.10	c 2686
245.63	o 15915
245.63	c 2685
245.90	o 15918
245.90	c 2682
246.16	o 15920
246.16	c 2680
246.43	o 15923
246.43	c 2677
246.69	o 15924
246.69	c 2676
247.23	o 15925
247.23	c 2675
247.50	o 15927
247.50	c 2673
247.77	o 15930
247.77	c 2670
248.02	o 15931
248.02	c 2669
248.55	o 15934
248.55	c 2666
249.10	o 15935
249.10	c 2665
251.35	o 15937
251.35	c 2663
251.42	o 15942
251.42	c 2658
251.97	o 15944
251.97	c 2656
253.35	o 15947
253.35	c 2653
253.94	o 15948
253.94	c 2652
254.23	o 15951
254.23	c 2649
254.79	o 15952
254.79	c 2648
255.07	o 15954
255.07	c 2646
255.92	o 15955
255.92	c 2645
257.07	o 15957
257.07	c 2643
257.36	o 15959
257.36	c 2641
257.93	o 15960
257.93	c 2640
258.22	o 15961
258.22	c 2639
258.79	o 15964
258.79	c 2636
259.09	o 15967
259.09	c 2633
259.97	o 15968
259.97	c 2632
260.85	o 15969
260.85	c 2631
261.14	o 15972
261.14	c 2628
261.71	o 15974
261.71	c 2626
262.00	o 15975
262.00	c 2625
262.54	o 15977
262.54	c 2623
262.83	o 15979
262.83	c 2621
263.10	o 15981
263.10	c 2619
263.37	o 15984
263.37	c 2616
263.65	o 15985
263.65	c 2615
263.93	o 15986
263.93	c 2614
264.20	o 15990
264.20	c 2610
264.50	o 15992
264.50	c 2608
264.77	o 15993
264.77	c 2607
265.31	o 15994
265.31	c 2606
265.58	o 15996
265.58	c 2604
267.21	o 15998
267.21	c 2602
268.04	o 15999
268.04	c 2601
268.33	o 16000
268.33	c 2600
268.62	o 16002
268.62	c 2598
268.90	o 16005
268.90	c 2595
269.18	o 16007
269.18	c 2593
269.47	o 16011
269.47	c 2589
269.73	o 16012
269.73	c 2588
270.00	o 16013
270.00	c 2587
270.27	o 16015
270.27	c 2585
270.55	o 16016
270.55	c 2584
273.55	o 16017
273.55	c 2583
273.82	o 16018
273.82	c 2582
274.59	o 16019
274.59	c 2581
274.85	o 16021
274.85	c 2579
276.72	o 16023
276.72	c 2577
276.99	o 16024
276.99	c 2576
277.25	o 16025
277.25	c 2575
278.02	o 16026
278.02	c 2574
279.53	o 16029
279.53	c 2571
279.78	o 16032
279.78	c 2568
280.26	o 16034
280.26	c 2566
280.77	o 16036
280.77	c 2564
281.02	o 16037
281.02	c 2563
281.50	o 16038
281.50	c 2562
281.75	o 16042
281.75	c 2558
282.01	o 16044
282.01	c 2556
282.75	o 16045
282.75	c 2555
283.01	o 16048
283.01	c 2552
284.26	o 16051
284.26	c 2549
284.49	o 16052
284.49	c 2548
284.75	o 16053
284.75	c 2547
285.25	o 16054
285.25	c 2546
285.74	o 16058
285.74	c 2542
285.98	o 16062
285.98	c 2538
286.50	o 16064
286.50	c 2536
286.75	o 16065
286.75	c 2535
287.25	o 16066
287.25	c 2534
287.51	o 16069
287.51	c 2531
288.01	o 16070
288.01	c 2530
288.26	o 16072
288.26	c 2528
288.52	o 16073
288.52	c 2527
289.50	o 16075
289.50	c 2525
289.78	o 16079
289.78	c 2521
290.03	o 16082
290.03	c 2518
290.09	o 16083
290.09	c 2517
290.35	o 16086
290.35	c 2514
290.62	o 16087
290.62	c 2513
291.15	o 16089
291.15	c 2511
291.67	o 16092
291.67	c 2508
292.19	o 16094
292.19	c 2506
292.45	o 16096
292.45	c 2504
292.70	o 16097
292.70	c 2503
294.26	o 16099
294.26	c 2501
294.79	o 16100
294.79	c 2500
295.05	o 16103
295.05	c 2497
295.30	o 16104
295.30	c 2496
300.85	o 16105
300.85	c 2495
301.72	o 16106
301.72	c 2494
302.00	o 16108
302.01	c 2492
302.30	o 16110
302.30	c 2490
303.18	o 16111
303.18	c 2489
303.48	o 16113
303.48	c 2487
303.78	o 16114
303.78	c 2486
304.07	o 16116
304.07	c 2484
304.36	o 16118
304.36	c 2482
304.66	o 16120
304.66	c 2480
305.57	o 16123
305.57	c 2477
305.87	o 16124
305.87	c 2476
306.17	o 16126
306.17	c 2474
306.48	o 16129
306.48	c 2471
306.80	o 16130
306.80	c 2470
307.06	o 16131
307.06	c 2469
307.65	o 16132
307.65	c 2468
309.52	o 16135
309.52	c 2465
313.41	o 16136
313.41	c 2464
313.69	o 16139
313.69	c 2461
313.98	o 16142
313.98	c 2458
314.58	o 16144
314.58	c 2456
314.88	o 16145
314.88	c 2455
315.18	o 16146
315.18	c 2454
317.49	o 16147
317.49	c 2453
317.78	o 16148
317.78	c 2452
318.94	o 16149
318.94	c 2451
319.24	o 16150
319.24	c 2450
319.55	o 16152
319.55	c 2448
319.86	o 16153
319.86	c 2447
320.51	o 16155
320.51	c 2445
320.82	o 16158
320.82	c 2442
321.15	o 16159
321.15	c 2441
321.79	o 16160
321.79	c 2440
322.44	o 16162
322.44	c 2438
324.03	o 16163
324.03	c 2437
324.36	o 16164
324.36	c 2436
324.66	o 16168
324.66	c 2432
325.24	o 16173
325.24	c 2427
326.46	o 16174
326.46	c 2426
326.76	o 16175
326.76	c 2425
327.97	o 16176
327.97	c 2424
329.20	o 16178
329.20	c 2422
329.50	o 16180
329.50	c 2420
330.10	o 16181
330.10	c 2419
333.11	o 16183
333.11	c 2417
333.38	o 16185
333.38	c 2415
333.69	o 16186
333.69	c 2414
339.03	o 16188
339.03	c 2412
339.28	o 16192
339.28	c 2408
339.48	o 16194
339.48	c 2406
341.77	o 16195
341.77	c 2405
343.08	o 16196
343.08	c 2404
344.41	o 16197
344.41	c 2403
344.74	o 16198
344.74	c 2402
345.08	o 16199
345.08	c 2401
345.74	o 16200
345.74	c 2400
346.08	o 16201
346.08	c 2399
346.76	o 16203
346.76	c 2397
347.10	o 16205
347.10	c 2395
347.79	o 16207
347.79	c 2393
348.12	o 16209
348.12	c 2391
348.46	o 16210
348.46	c 2390
351.59	o 16211
351.59	c 2389
351.84	o 16213
351.84	c 2387
353.07	o 16216
353.07	c 2384
355.39	o 16217
355.39	c 2383
355.73	o 16218
355.73	c 2382
356.05	o 16220
356.05	c 2380
356.37	o 16222
356.37	c 2378
359.47	o 16224
359.47	c 2376
359.81	o 16225
359.81	c 2375
360.16	o 16226
360.16	c 2374
360.50	o 16228
360.50	c 2372
361.17	o 16229
361.17	c 2371
361.79	o 16231
361.79	c 2369
362.78	o 16232
362.78	c 2368
363.11	o 16233
363.11	c 2367
363.44	o 16234
363.44	c 2366
364.76	o 16237
364.76	c 2363
365.41	o 16239
365.41	c 2361
365.74	o 16240
365.74	c 2360
366.38	o 16241
366.38	c 2359
367.04	o 16243
367.04	c 2357
367.35	o 16244
367.35	c 2356
367.68	o 16247
367.68	c 2353
368.55	o 16250
368.55	c 2350
368.88	o 16251
368.88	c 2349
369.21	o 16254
369.21	c 2346
369.52	o 16255
369.52	c 2345
369.83	o 16256
369.83	c 2344
371.03	o 16257
371.03	c 2343
372.00	o 16259
372.00	c 2341
373.28	o 16264
373.28	c 2336
373.61	o 16265
373.61	c 2335
374.25	o 16267
374.25	c 2333
374.88	o 16268
374.88	c 2332
376.42	o 16269
376.42	c 2331
376.74	o 16272
376.74	c 2328
377.37	o 16273
377.37	c 2327
379.34	o 16274
379.34	c 2326
379.59	o 16279
379.59	c 2321
379.91	o 16280
379.91	c 2320
380.24	o 16284
380.24	c 2316
380.57	o 16286
380.57	c 2314
380.90	o 16289
380.90	c 2311
382.25	o 16290
382.25	c 2310
383.72	o 16291
383.72	c 2309
384.35	o 16292
384.35	c 2308
385.00	o 16294
385.00	c 2306
385.25	o 16296
385.25	c 2304
385.57	o 16297
385.57	c 2303
386.19	o 16298
386.19	c 2302
387.99	o 16300
387.99	c 2300
388.30	o 16302
388.30	c 2298
388.94	o 16303
388.94	c 2297
389.26	o 16306
389.26	c 2294
389.59	o 16309
389.59	c 2291
389.86	o 16312
389.86	c 2288
390.60	o 16313
390.60	c 2287
390.91	o 16314
390.91	c 2286
392.08	o 16316
392.08	c 2284
392.37	o 16319
392.37	c 2281
392.69	o 16323
392.69	c 2277
393.47	o 16324
393.47	c 2276
393.64	o 16328
393.64	c 2272
393.95	o 16330
393.95	c 2270
394.28	o 16333
394.28	c 2267
394.56	o 16336
394.56	c 2264
395.18	o 16338
395.18	c 2262
396.12	o 16339
396.12	c 2261
396.31	o 16342
396.31	c 2258
397.28	o 16346
397.28	c 2254
397.63	o 16348
397.63	c 2252
397.96	o 16350
397.96	c 2250
398.28	o 16351
398.28	c 2249
398.93	o 16352
398.93	c 2248
399.27	o 16354
399.27	c 2246
399.63	o 16357
399.63	c 2243
400.30	o 16359
400.30	c 2241
401.31	o 16360
401.31	c 2240
401.63	o 16361
401.63	c 2239
401.99	o 16362
402.34	c 2238
402.67	o 16364
402.67	c 2236
403.00	o 16365
403.00	c 2235
403.33	o 16366
403.33	c 2234
405.96	o 16370
405.96	c 2230
406.27	o 16372
406.27	c 2228
408.63	o 16374
408.63	c 2226
410.96	o 16375
410.96	c 2225
412.34	o 16376
412.34	c 2224
413.04	o 16377
413.04	c 2223
414.13	o 16379
414.13	c 2221
414.50	o 16380
414.50	c 2220
414.86	o 16381
414.86	c 2219
415.61	o 16384
415.61	c 2216
415.98	o 16387
415.98	c 2213
416.72	o 16389
416.72	c 2211
418.12	o 16390
418.12	c 2210
418.51	o 16391
418.51	c 2209
419.62	o 16394
419.62	c 2206
419.66	o 16396
419.66	c 2204
423.16	o 16397
423.16	c 2203
423.53	o 16398
423.53	c 2202
423.88	o 16399
423.88	c 2201
424.22	o 16400
424.22	c 2200
425.32	o 16401
425.32	c 2199
425.69	o 16403
425.69	c 2197
427.12	o 16405
427.12	c 2195
428.56	o 16408
428.56	c 2192
428.79	o 16411
428.79	c 2189
429.16	o 16412
429.16	c 2188
429.53	o 16414
429.53	c 2186
430.61	o 16416
430.61	c 2184
430.95	o 16417
430.95	c 2183
431.33	o 16420
431.33	c 2180
431.92	o 16422
431.92	c 2178
436.51	o 16423
436.51	c 2177
446.59	o 16424
446.59	c 2176
447.37	o 16425
447.37	c 2175
447.76	o 16427
447.76	c 2173
448.00	o 16430
448.00	c 2170
448.76	o 16432
448.76	c 2168
448.96	o 16436
448.96	c 2164
449.35	o 16437
449.35	c 2163
452.43	o 16438
452.43	c 2162
453.21	o 16439
453.21	c 2161
453.60	o 16441
453.60	c 2159
454.01	o 16443
454.01	c 2157
454.39	o 16445
454.39	c 2155
455.19	o 16446
455.19	c 2154
462.48	o 16449
462.48	c 2151
463.07	o 16450
463.07	c 2150
463.44	o 16453
463.44	c 2147
463.81	o 16458
463.81	c 2142
464.54	o 16459
464.54	c 2141
464.91	o 16461
464.91	c 2139
465.28	o 16462
465.28	c 2138
465.64	o 16463
465.64	c 2137
466.01	o 16464
466.01	c 2136
466.74	o 16465
466.74	c 2135
467.09	o 16467
467.09	c 2133
467.44	o 16468
467.44	c 2132
469.62	o 16471
469.62	c 2129
470.00	o 16474
470.00	c 2126
471.54	o 16476
471.54	c 2124
471.93	o 16477
471.93	c 2123
472.31	o 16479
472.31	c 2121
473.75	o 16480
473.75	c 2120
474.13	o 16481
474.13	c 2119
475.06	o 16482
475.06	c 2118
477.93	o 16483
477.93	c 2117
478.70	o 16486
478.70	c 2114
478.96	o 16487
478.96	c 2113
480.06	o 16488
480.06	c 2112
481.22	o 16489
481.22	c 2111
483.94	o 16491
483.94	c 2109
484.67	o 16493
484.67	c 2107
485.41	o 16494
485.41	c 2106
487.36	o 16495
487.36	c 2105
489.62	o 16496
489.62	c 2104
492.10	o 16498
492.10	c 2102
493.58	o 16499
493.58	c 2101
493.93	o 16501
493.93	c 2099
494.31	o 16503
494.31	c 2097
494.68	o 16505
494.68	c 2095
496.59	o 16507
496.59	c 2093
496.97	o 16508
496.97	c 2092
497.35	o 16509
497.35	c 2091
497.73	o 16510
497.73	c 2090
498.11	o 16512
498.11	c 2088
502.43	o 16514
502.43	c 2086
502.84	o 16515
502.84	c 2085
503.23	o 16516
503.23	c 2084
503.62	o 16517
503.62	c 2083
504.01	o 16518
504.01	c 2082
504.39	o 16519
504.39	c 2081
504.80	o 16520
504.80	c 2080
505.59	o 16522
505.59	c 2078
505.78	o 16525
505.78	c 2075
506.18	o 16526
506.18	c 2074
507.97	o 16527
507.97	c 2073
508.74	o 16528
508.74	c 2072
509.14	o 16530
509.14	c 2070
514.54	o 16532
514.54	c 2068
514.83	o 16535
514.83	c 2065
515.24	o 16536
515.24	c 2064
517.92	o 16537
517.92	c 2063
518.31	o 16540
518.31	c 2060
520.65	o 16541
520.65	c 2059
521.02	o 16543
521.02	c 2057
521.43	o 16544
521.43	c 2056
521.82	o 16546
521.82	c 2054
522.94	o 16547
522.94	c 2053
523.74	o 16548
523.74	c 2052
525.32	o 16549
525.32	c 2051
526.13	o 16550
526.13	c 2050
526.39	o 16551
526.39	c 2049
526.70	o 16553
526.70	c 2047
527.11	o 16554
527.11	c 2046
527.52	o 16556
527.52	c 2044
527.77	o 16561
527.77	c 2039
528.90	o 16563
528.90	c 2037
530.11	o 16564
530.11	c 2036
530.90	o 16566
530.90	c 2034
532.91	o 16567
532.91	c 2033
533.33	o 16568
533.33	c 2032
533.74	o 16569
533.74	c 2031
534.04	o 16571
534.04	c 2029
534.82	o 16574
534.82	c 2026
536.40	o 16578
536.40	c 2022
536.83	o 16579
536.83	c 2021
537.24	o 16581
537.24	c 2019
537.65	o 16583
537.65	c 2017
540.49	o 16584
540.49	c 2016
541.30	o 16585
541.30	c 2015
554.82	o 16587
554.83	c 2013
555.63	o 16589
555.63	c 2011
556.04	o 16592
556.04	c 2008
557.22	o 16593
557.22	c 2007
559.52	o 16595
559.52	c 2005
563.06	o 16598
563.06	c 2002
563.43	o 16599
563.43	c 2001
564.22	o 16600
564.22	c 2000
564.61	o 16602
564.61	c 1998
564.99	o 16603
564.99	c 1997
565.98	o 16604
565.98	c 1996
566.76	o 16605
566.76	c 1995
567.53	o 16607
567.53	c 1993
567.90	o 16609
567.90	c 1991
568.65	o 16613
568.65	c 1987
569.04	o 16617
569.04	c 1983
570.51	o 16619
570.51	c 1981
570.91	o 16620
570.91	c 1980
571.69	o 16621
571.69	c 1979
572.09	o 16624
572.09	c 1976
572.90	o 16627
572.90	c 1973
573.91	o 16630
573.91	c 1970
574.31	o 16632
574.31	c 1968
575.46	o 16633
575.46	c 1967
576.25	o 16636
576.25	c 1964
576.66	o 16637
576.66	c 1963
577.03	o 16638
577.03	c 1962
579.23	o 16640
579.23	c 1960
579.61	o 16642
579.61	c 1958
581.16	o 16644
581.16	c 1956
581.96	o 16647
581.96	c 1953
582.74	o 16648
582.74	c 1952
583.53	o 16649
583.53	c 1951
583.89	o 16652
583.89	c 1948
584.15	o 16655
584.15	c 1945
594.93	o 16656
594.93	c 1944
595.80	o 16657
595.80	c 1943
596.91	o 16660
596.91	c 1940
597.78	o 16661
597.78	c 1939
599.56	o 16662
599.56	c 1938
600.02	o 16665
600.02	c 1935
600.90	o 16668
600.90	c 1932
601.23	o 16669
601.23	c 1931
601.69	o 16670
601.69	c 1930
602.14	o 16672
602.14	c 1928
602.39	o 16673
602.39	c 1927
604.67	o 16676
604.67	c 1924
605.12	o 16678
605.12	c 1922
605.58	o 16681
605.58	c 1919
606.04	o 16682
606.04	c 1918
606.48	o 16683
606.48	c 1917
606.94	o 16685
606.94	c 1915
607.39	o 16689
607.39	c 1911
607.83	o 16694
607.83	c 1906
611.91	o 16696
611.91	c 1904
613.96	o 16698
613.96	c 1902
614.29	o 16699
614.29	c 1901
615.64	o 16702
615.64	c 1898
616.10	o 16703
616.10	c 1897
616.55	o 16704
616.55	c 1896
617.01	o 16706
617.01	c 1894
618.35	o 16707
618.35	c 1893
618.80	o 16709
618.80	c 1891
619.24	o 16710
619.24	c 1890
619.69	o 16711
619.69	c 1889
620.57	o 16713
620.57	c 1887
621.01	o 16714
621.01	c 1886
621.91	o 16716
621.91	c 1884
622.81	o 16718
622.81	c 1882
630.20	o 16719
630.20	c 1881
631.08	o 16720
631.08	c 1880
632.53	o 16722
632.53	c 1878
633.36	o 16724
633.36	c 1876
636.99	o 16725
636.99	c 1875
637.43	o 16726
637.43	c 1874
637.87	o 16730
637.87	c 1870
638.29	o 16732
638.29	c 1868
638.48	o 16733
638.48	c 1867
638.92	o 16734
638.92	c 1866
642.25	o 16735
642.25	c 1865
642.68	o 16737
642.68	c 1863
643.56	o 16738
643.56	c 1862
644.83	o 16739
644.84	c 1861
645.16	o 16741
645.16	c 1859
645.59	o 16742
645.59	c 1858
646.83	o 16743
646.83	c 1857
647.26	o 16744
647.26	c 1856
647.68	o 16748
647.68	c 1852
648.50	o 16749
648.50	c 1851
648.53	o 16752
648.53	c 1848
648.93	o 16753
648.93	c 1847
650.11	o 16755
650.11	c 1845
650.53	o 16758
650.53	c 1842
653.38	o 16760
653.38	c 1840
653.80	o 16761
653.80	c 1839
655.04	o 16762
655.04	c 1838
657.65	o 16765
657.65	c 1835
657.87	o 16767
657.87	c 1833
658.28	o 16770
658.28	c 1830
658.67	o 16771
658.67	c 1829
661.51	o 16773
661.51	c 1827
662.30	o 16777
662.30	c 1823
665.90	o 16778
665.90	c 1822
667.38	o 16779
667.38	c 1821
667.78	o 16780
667.78	c 1820
668.56	o 16781
668.56	c 1819
668.92	o 16782
668.92	c 1818
669.31	o 16785
669.31	c 1815
676.09	o 16786
676.09	c 1814
676.48	o 16788
676.48	c 1812
678.85	o 16789
678.85	c 1811
686.14	o 16792
686.14	c 1808
686.57	o 16795
686.57	c 1805
687.80	o 16796
687.80	c 1804
688.10	o 16799
688.10	c 1801
688.52	o 16800
688.52	c 1800
689.60	o 16803
689.60	c 1797
690.00	o 16804
690.00	c 1796
690.41	o 16805
690.41	c 1795
690.85	o 16806
690.85	c 1794
691.17	o 16809
691.17	c 1791
692.03	o 16810
692.03	c 1790
692.45	o 16811
692.45	c 1789
692.80	o 16815
692.80	c 1785
694.07	o 16817
694.07	c 1783
704.71	o 16819
704.71	c 1781
708.70	o 16821
708.70	c 1779
709.08	o 16823
709.08	c 1777
709.46	o 16824
709.46	c 1776
710.24	o 16825
710.24	c 1775
711.02	o 16827
711.02	c 1773
711.41	o 16828
711.41	c 1772
712.20	o 16831
712.20	c 1769
712.60	o 16832
712.60	c 1768
713.12	o 16833
713.12	c 1767
713.52	o 16835
713.52	c 1765
720.17	o 16836
720.17	c 1764
720.49	o 16839
720.49	c 1761
721.71	o 16840
721.71	c 1760
722.12	o 16841
722.12	c 1759
723.10	o 16842
723.10	c 1758
723.49	o 16844
723.49	c 1756
724.29	o 16845
724.29	c 1755
724.70	o 16847
724.70	c 1753
725.09	o 16849
725.09	c 1751
725.48	o 16850
725.48	c 1750
725.90	o 16851
725.90	c 1749
727.52	o 16852
727.52	c 1748
729.90	o 16854
729.90	c 1746
730.31	o 16856
730.32	c 1744
730.73	o 16857
730.73	c 1743
731.57	o 16859
731.57	c 1741
733.68	o 16860
733.68	c 1740
734.10	o 16861
734.10	c 1739
735.85	o 16863
735.85	c 1737
736.15	o 16866
736.15	c 1734
739.07	o 16868
739.07	c 1732
739.51	o 16869
739.51	c 1731
744.53	o 16872
744.53	c 1728
744.97	o 16875
744.97	c 1725
748.76	o 16877
748.76	c 1723
750.53	o 16878
750.53	c 1722
750.97	o 16879
750.97	c 1721
751.18	o 16881
751.18	c 1719
751.63	o 16883
751.63	c 1717
751.87	o 16885
751.87	c 1715
753.22	o 16886
753.22	c 1714
755.93	o 16889
755.93	c 1711
756.39	o 16890
756.39	c 1710
756.85	o 16892
756.85	c 1708
758.67	o 16893
758.67	c 1707
758.76	o 16894
758.76	c 1706
758.90	o 16897
758.90	c 1703
788.60	o 16898
788.60	c 1702
789.90	o 16900
789.90	c 1700
790.34	o 16902
790.34	c 1698
790.78	o 16904
790.78	c 1696
792.09	o 16906
792.09	c 1694
792.53	o 16907
792.53	c 1693
792.96	o 16908
792.96	c 1692
793.40	o 16910
793.40	c 1690
793.84	o 16912
793.84	c 1688
794.28	o 16916
794.28	c 1684
800.52	o 16918
800.52	c 1682
800.79	o 16919
800.79	c 1681
801.20	o 16920
801.20	c 1680
803.06	o 16922
803.06	c 1678
804.17	o 16923
804.17	c 1677
804.61	o 16924
804.61	c 1676
805.02	o 16925
805.02	c 1675
807.08	o 16926
807.08	c 1674
807.50	o 16927
807.50	c 1673
807.89	o 16929
807.89	c 1671
808.31	o 16932
808.31	c 1668
808.53	o 16937
808.53	c 1663
808.93	o 16938
808.93	c 1662
809.33	o 16939
809.33	c 1661
809.57	o 16940
809.57	c 1660
810.37	o 16942
810.37	c 1658
810.79	o 16943
810.79	c 1657
811.62	o 16945
811.62	c 1655
814.51	o 16946
814.51	c 1654
814.93	o 16948
814.93	c 1652
816.06	o 16949
816.06	c 1651
816.49	o 16950
816.49	c 1650
816.92	o 16952
816.92	c 1648
817.35	o 16953
817.35	c 1647
821.11	o 16954
821.11	c 1646
821.55	o 16955
821.55	c 1645
822.43	o 16957
822.43	c 1643
822.87	o 16958
822.87	c 1642
824.64	o 16959
824.64	c 1641
825.50	o 16961
825.50	c 1639
825.95	o 16962
825.95	c 1638
829.36	o 16963
829.36	c 1637
830.13	o 16965
830.13	c 1635
833.75	o 16966
833.75	c 1634
835.03	o 16967
835.03	c 1633
838.98	o 16968
838.98	c 1632
842.09	o 16972
842.09	c 1628
844.73	o 16974
844.73	c 1626
845.15	o 16975
845.15	c 1625
845.59	o 16978
845.59	c 1622
846.45	o 16980
846.45	c 1620
846.90	o 16982
846.90	c 1618
847.55	o 16987
847.55	c 1613
847.96	o 16990
847.96	c 1610
848.31	o 16992
848.31	c 1608
848.74	o 16993
848.74	c 1607
849.51	o 16995
849.51	c 1605
854.48	o 16996
854.48	c 1604
861.77	o 16997
861.77	c 1603
862.63	o 16999
862.63	c 1601
863.95	o 17000
863.95	c 1600
869.07	o 17002
869.07	c 1598
869.91	o 17005
869.91	c 1595
870.17	o 17007
870.17	c 1593
871.01	o 17008
871.01	c 1592
871.43	o 17009
871.43	c 1591
871.87	o 17012
871.87	c 1588
873.99	o 17014
873.99	c 1586
875.97	o 17015
875.97	c 1585
876.36	o 17017
876.36	c 1583
877.20	o 17019
877.20	c 1581
880.46	o 17021
880.46	c 1579
898.88	o 17022
898.88	c 1578
900.22	o 17023
900.22	c 1577
903.85	o 17025
903.85	c 1575
904.29	o 17029
904.29	c 1571
923.96	o 17031
923.96	c 1569
924.41	o 17032
924.41	c 1568
930.03	o 17033
930.03	c 1567
930.91	o 17034
930.91	c 1566
931.34	o 17035
931.34	c 1565
933.59	o 17036
933.59	c 1564
933.85	o 17037
933.85	c 1563
935.60	o 17039
935.60	c 1561
937.36	o 17040
937.36	c 1560
937.82	o 17042
937.82	c 1558
939.58	o 17044
939.58	c 1556
940.03	o 17045
940.03	c 1555
940.47	o 17046
940.47	c 1554
943.54	o 17047
943.54	c 1553
945.29	o 17048
945.29	c 1552
954.00	o 17049
954.00	c 1551
955.77	o 17051
955.77	c 1549
956.23	o 17052
956.23	c 1548
956.68	o 17053
956.68	c 1547
956.81	o 17055
956.81	c 1545
959.58	o 17057
959.58	c 1543
960.05	o 17058
960.05	c 1542
961.46	o 17059
961.46	c 1541
963.37	o 17060
963.37	c 1540
965.72	o 17061
965.72	c 1539
966.15	o 17064
966.15	c 1536
967.30	o 17066
967.30	c 1534
967.95	o 17067
967.95	c 1533
968.41	o 17068
968.41	c 1532
968.86	o 17070
968.86	c 1530
969.76	o 17071
969.76	c 1529
970.52	o 17073
970.52	c 1527
970.90	o 17075
970.90	c 1525
973.54	o 17076
973.54	c 1524
974.01	o 17077
974.01	c 1523
974.45	o 17078
974.45	c 1522
975.16	o 17079
975.16	c 1521
976.03	o 17080
976.03	c 1520
976.92	o 17082
976.92	c 1518
984.34	o 17083
984.34	c 1517
987.53	o 17086
987.53	c 1514
987.98	o 17090
987.98	c 1510
988.43	o 17091
988.43	c 1509
989.34	o 17093
989.34	c 1507
990.07	o 17097
990.07	c 1503
992.21	o 17102
992.21	c 1498
993.94	o 17104
993.94	c 1496
1003.20	o 17105
1003.20	c 1495
1003.63	o 17106
1003.63	c 1494
1004.06	o 17107
1004.06	c 1493
1008.86	o 17108
1008.86	c 1492
1009.32	o 17109
1009.32	c 1491
1011.57	o 17110
1011.57	c 1490
1012.02	o 17112
1012.02	c 1488
1016.11	o 17114
1016.11	c 1486
1016.57	o 17115
1016.57	c 1485
1018.42	o 17116
1018.42	c 1484
1018.88	o 17117
1018.88	c 1483
1020.77	o 17119
1020.77	c 1481
1024.06	o 17121
1024.06	c 1479
1024.95	o 17123
1024.95	c 1477
1025.90	o 17124
1025.90	c 1476
1045.07	o 17127
1045.07	c 1473
1048.40	o 17129
1048.40	c 1471
1050.40	o 17130
1050.40	c 1470
1050.68	o 17132
1050.68	c 1468
1051.20	o 17134
1051.20	c 1466
1051.39	o 17135
1051.39	c 1465
1055.29	o 17136
1055.29	c 1464
1060.63	o 17137
1060.63	c 1463
1061.15	o 17138
1061.15	c 1462
1061.68	o 17139
1061.68	c 1461
1062.21	o 17140
1062.21	c 1460
1062.44	o 17141
1062.44	c 1459
1062.96	o 17142
1062.96	c 1458
1064.78	o 17144
1064.78	c 1456
1065.30	o 17148
1065.30	c 1452
1065.57	o 17152
1065.57	c 1448
1066.10	o 17154
1066.10	c 1446
1066.62	o 17155
1066.62	c 1445
1067.15	o 17156
1067.15	c 1444
1067.68	o 17157
1067.68	c 1443
1072.83	o 17158
1072.83	c 1442
1073.39	o 17159
1073.39	c 1441
1075.54	o 17160
1075.54	c 1440
1076.08	o 17161
1076.08	c 1439
1076.62	o 17162
1076.62	c 1438
1079.42	o 17163
1079.42	c 1437
1079.97	o 17164
1079.97	c 1436
1081.05	o 17165
1081.05	c 1435
1084.87	o 17166
1084.87	c 1434
1086.97	o 17167
1086.97	c 1433
1089.21	o 17168
1089.21	c 1432
1090.86	o 17169
1090.86	c 1431
1091.99	o 17170
1091.99	c 1430
1092.53	o 17172
1092.53	c 1428
1093.10	o 17173
1093.10	c 1427
1093.86	o 17174
1093.86	c 1426
1094.42	o 17176
1094.42	c 1424
1094.99	o 17177
1094.99	c 1423
1095.48	o 17179
1095.48	c 1421
1096.04	o 17181
1096.04	c 1419
1097.18	o 17182
1097.18	c 1418
1099.49	o 17183
1099.49	c 1417
1100.06	o 17184
1100.06	c 1416
1100.64	o 17185
1100.64	c 1415
1102.37	o 17186
1102.37	c 1414
1121.16	o 17187
1121.16	c 1413
1124.29	o 17189
1124.29	c 1411
1124.58	o 17191
1124.58	c 1409
1126.23	o 17192
1126.23	c 1408
1132.63	o 17193
1132.63	c 1407
1132.93	o 17195
1132.93	c 1405
1135.47	o 17196
1135.47	c 1404
1143.54	o 17198
1143.54	c 1402
1143.65	o 17199
1143.65	c 1401
1144.20	o 17200
1144.20	c 1400
1146.35	o 17201
1146.35	c 1399
1148.03	o 17202
1148.03	c 1398
1148.56	o 17204
1148.56	c 1396
1149.10	o 17206
1149.10	c 1394
1149.49	o 17207
1149.49	c 1393
1150.04	o 17208
1150.04	c 1392
1150.62	o 17209
1150.62	c 1391
1153.94	o 17212
1153.94	c 1388
1158.68	o 17213
1158.68	c 1387
1161.77	o 17215
1161.77	c 1385
1163.47	o 17216
1163.47	c 1384
1164.05	o 17217
1164.05	c 1383
1164.63	o 17218
1164.63	c 1382
1165.22	o 17219
1165.22	c 1381
1166.28	o 17221
1166.28	c 1379
1168.74	o 17223
1168.74	c 1377
1169.32	o 17224
1169.32	c 1376
1171.04	o 17228
1171.04	c 1372
1171.14	o 17230
1171.14	c 1370
1171.71	o 17231
1171.71	c 1369
1172.27	o 17234
1172.27	c 1366
1172.84	o 17235
1172.84	c 1365
1173.99	o 17240
1173.99	c 1360
1175.42	o 17242
1175.42	c 1358
1176.54	o 17243
1176.54	c 1357
1176.87	o 17246
1176.87	c 1354
1177.42	o 17248
1177.42	c 1352
1178.35	o 17251
1178.35	c 1349
1179.51	o 17254
1179.51	c 1346
1181.26	o 17255
1181.26	c 1345
1182.37	o 17256
1182.37	c 1344
1182.64	o 17257
1182.64	c 1343
1183.74	o 17258
1183.74	c 1342
1185.63	o 17259
1185.63	c 1341
1187.15	o 17260
1187.15	c 1340
1188.22	o 17262
1188.22	c 1338
1188.76	o 17263
1188.76	c 1337
1189.24	o 17265
1189.24	c 1335
1189.85	o 17266
1189.85	c 1334
1190.38	o 17267
1190.38	c 1333
1190.92	o 17268
1190.92	c 1332
1191.45	o 17270
1191.45	c 1330
1191.93	o 17271
1191.93	c 1329
1192.48	o 17272
1192.48	c 1328
1194.50	o 17273
1194.50	c 1327
1195.04	o 17274
1195.04	c 1326
1195.78	o 17277
1195.78	c 1323
1196.33	o 17280
1196.33	c 1320
1197.36	o 17283
1197.36	c 1317
1198.41	o 17284
1198.41	c 1316
1199.95	o 17285
1199.95	c 1315
1201.88	o 17286
1201.88	c 1314
1204.63	o 17287
1204.63	c 1313
1205.66	o 17288
1205.66	c 1312
1206.17	o 17289
1206.17	c 1311
1206.55	o 17292
1206.55	c 1308
1207.54	o 17293
1207.54	c 1307
1208.01	o 17295
1208.01	c 1305
1208.51	o 17297
1208.51	c 1303
1208.87	o 17298
1208.87	c 1302
1211.69	o 17301
1211.69	c 1299
1212.56	o 17302
1212.56	c 1298
1213.04	o 17305
1213.04	c 1295
1213.53	o 17306
1213.53	c 1294
1213.85	o 17307
1213.85	c 1293
1218.39	o 17308
1218.39	c 1292
1218.67	o 17309
1218.67	c 1291
1222.57	o 17314
1222.57	c 1286
1223.06	o 17318
1223.06	c 1282
1226.02	o 17319
1226.02	c 1281
1226.53	o 17320
1226.53	c 1280
1227.01	o 17321
1227.01	c 1279
1227.52	o 17322
1227.52	c 1278
1228.02	o 17323
1228.02	c 1277
1228.53	o 17324
1228.53	c 1276
1229.04	o 17325
1229.04	c 1275
1229.55	o 17326
1229.55	c 1274
1234.67	o 17327
1234.67	c 1273
1236.19	o 17328
1236.19	c 1272
1238.51	o 17330
1238.51	c 1270
1240.06	o 17331
1240.06	c 1269
1240.51	o 17334
1240.51	c 1266
1245.35	o 17336
1245.35	c 1264
1247.38	o 17337
1247.38	c 1263
1247.89	o 17338
1247.89	c 1262
1248.82	o 17339
1248.82	c 1261
1252.67	o 17340
1252.67	c 1260
1255.19	o 17341
1255.19	c 1259
1256.63	o 17342
1256.63	c 1258
1257.13	o 17343
1257.13	c 1257
1276.94	o 17345
1276.94	c 1255
1277.46	o 17346
1277.46	c 1254
1277.99	o 17347
1277.99	c 1253
1278.50	o 17349
1278.50	c 1251
1282.02	o 17350
1282.02	c 1250
1283.03	o 17351
1283.03	c 1249
1286.13	o 17352
1286.13	c 1248
1290.25	o 17355
1290.25	c 1245
1291.28	o 17356
1291.28	c 1244
1292.33	o 17357
1292.33	c 1243
1294.59	o 17359
1294.60	c 1241
1295.05	o 17361
1295.05	c 1239
1295.56	o 17362
1295.56	c 1238
1296.06	o 17363
1296.06	c 1237
1296.59	o 17365
1296.59	c 1235
1297.10	o 17366
1297.10	c 1234
1297.62	o 17367
1297.62	c 1233
1298.13	o 17369
1298.13	c 1231
1302.80	o 17370
1302.80	c 1230
1303.86	o 17375
1303.86	c 1225
1304.53	o 17377
1304.53	c 1223
1310.71	o 17380
1310.71	c 1220
1311.24	o 17381
1311.24	c 1219
1311.77	o 17382
1311.77	c 1218
1312.82	o 17385
1312.82	c 1215
1326.89	o 17386
1326.89	c 1214
1327.37	o 17388
1327.37	c 1212
1327.89	o 17389
1327.89	c 1211
1328.86	o 17390
1328.86	c 1210
1329.37	o 17391
1329.37	c 1209
1330.92	o 17392
1330.92	c 1208
1332.96	o 17393
1332.96	c 1207
1333.47	o 17394
1333.47	c 1206
1335.03	o 17395
1335.03	c 1205
1335.80	o 17397
1335.80	c 1203
1337.19	o 17399
1337.19	c 1201
1339.21	o 17400
1339.21	c 1200
1340.75	o 17401
1340.75	c 1199
1341.25	o 17402
1341.25	c 1198
1349.59	o 17403
1349.59	c 1197
1350.11	o 17405
1350.11	c 1195
1352.72	o 17406
1352.72	c 1194
1353.24	o 17407
1353.24	c 1193
1353.77	o 17409
1353.77	c 1191
1355.34	o 17410
1355.34	c 1190
1355.86	o 17411
1355.86	c 1189
1357.85	o 17413
1357.85	c 1187
1359.82	o 17414
1359.82	c 1186
1361.46	o 17415
1361.46	c 1185
1391.81	   
1391.81	   search
1391.81	     run=0  nbConstraintChecks=3185760373  nbAssignments=4311
1391.81	       =>  wckTime=1328.522  cpuTime=1316.29  mem=64M642
1391.81	   
1391.81	   global
1391.81	     nbConstraintChecks=3185760373  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
1391.81	     solvingWckTime=1328.498  solvingCpuTime=1316.25  expiredTime=no  totalExploration=no  nbFoundSolutions=0
1391.81	     globalCpuTime=1377.61
1391.81	       =>  wckTime=1391.482  cpuTime=1377.56  mem=64M642
1391.81	   
1391.81	   solver IterativeSystematicSolver being built... 
1392.46	       =>  wckTime=1392.131  cpuTime=1377.93  mem=153M922
2421.80	v -2222 2474 -2878 -2850 -2842 -2726 2266 2466 -2566 -2786 -1998 -2342 -2618 -2766 2850 -2702 2202 -2034 2034 2858 2822 -2466 2858 -2446 -2222 -2274 -2606 -1998 -1994 2274 1994 -2038 -2534 2278 2890 -2846 -2702 2818 -2778 -2054 -2854 -2878 2018 -2854 2890 -2762 2582 2582 2846 2878 2246 2894 -2474 -2018 2562 2446 2866 -2694 -2894 2842 -2826 1990 -2074 -2026 -2310 2038 2054 -2470 -2766 -2654 -2114 -2810 -2822 -2166 -2842 -2614 -2638 -2142 2382 2146 2510 2374 -2222 2726 2610 2878 -2718 -2294 2846 2878 2106 -2806 2030 -2818 -2006 -2590 -2154 -2894 -2258 1990 2726 -2030 -2450 2786 -2582 2802 -1998 2714 -2414 -2826 -1994 -2614 2242 2414 2550 2026 2514 -2278 2738 -2006 -2822 2838 2246 -2886 -2594 -2030 -2042 2058 2054 -2894 -2062 2506 -2214 -2486 -2254 2762 2318 -2306 2838 -2270 1998 2742 2278 2166 -2890 -2826 -2590 -2414 -2038 2310 -2550 -2778 -2542 -2846 2886 2002 -2662 2510 2750 2690 2114 2650 -2790 -2658 -2038 2894 2870 2462 -2710 -2014 2862 -2810 -2362 -2070 2894 2426 -2182 -2374 2834 2570 -2830 2494 -2774 -2846 -2462 2102 -2886 -2530 -2386 2738 2246 -2386 -2390 -2034 -2498 -2030 2198 -2786 -2118 1994 2030 2018 -2478 2338 2766 2034 -1998 -2458 2866 2442 2766 -2030 2314 2850 2814 -2670 2826 2810 -2586 -2554 2870 -2534 -2094 -2110 -2050 -2034 -2890 2382 -2726 2474 -2766 2850 2774 2298 -2754 2730 2486 2342 2738 2034 -2698 1998 -2058 -2198 2826 -2850 2706 -2550 -2346 2854 -2334 2030 2562 2678 -2234 1994 -2406 -2158 2850 2106 2278 -2818 2058 2334 2894 1994 2710 -2346 2170 -2874 -2854 2786 -2874 -2886 -2650 -2030 -2782 -2894 2666 2458 2574 -2670 2570 -2502 -2030 -2878 -2882 2070 -2326 -2338 2534 2642 -2282 2198 -2154 -2214 -2602 -2762 2190 -2838 2822 2750 -2146 -2646 2738 2294 -2098 1990 -2578 -2658 -2830 2210 -2042 2554 -2034 2386 2882 2850 2034 2062 -1994 -2842 2850 -2654 -2782 -2574 2006 -2866 2690 -2070 2290 2630 -2550 -2350 2674 2414 2682 2150 -2694 2106 2534 2326 2034 -2334 -2026 2422 -2842 -2166 2734 -2302 1998 -2690 -2050 2442 -2174 2622 2190 -2030 2846 2186 2894 2146 -2034 2646 -1990 -2846 2874 -2838 2206 -2098 -2798 -2054 2830 -2438 -2350 2542 2126 -2030 2386 -2586 -2422 1998 2850 -2342 -1990 1998 -2682 -2838 -2842 -2438 -2714 -2154 -2834 -1994 2838 -2202 -2074 2558 2034 -2722 -2874 2782 2370 -2202 -2254 -2838 2182 -2006 -2010 -2046 2834 -2186 2758 -2706 2714 -2034 -2878 -2326 2882 -2042 2550 2294 2034 2358 -2734 -2874 2014 2674 2022 -2790 2050 -2786 -2186 1998 -2582 2886 1994 2826 2834 -2470 2030 -2030 2426 -2522 2890 -2534 2186 2894 -2546 2686 2894 2038 -2234 2878 2222 -2626 -2002 -2478 2698 -2098 -2394 -2066 2738 2438 2886 -2042 -2838 2026 2318 2050 -2398 2194 -2006 -2838 2058 2346 -2222 2542 2838 -2666 2482 1990 2590 2418 -2822 -2522 -2118 -2190 -2434 2414 2706 2030 2034 2650 -2030 -2774 2414 2846 2582 2486 2318 -2818 2586 2890 2454 2894 2582 2002 2794 -2742 -1998 -2106 -2678 1994 2838 -2798 -2850 2686 2386 2658 -2782 -2338 -1990 -2494 2834 -2534 -2798 2238 2766 -2882 -2622 -2506 -2414 2742 -2018 2806 2670 2614 2622 -2058 -2022 2878 -2010 -2494 2034 2038 2538 2666 2866 -2778 2222 2822 -2766 2066 2718 -2378 -2378 2610 -2474 -2106 2038 2006 2006 -2022 2006 2282 2330 -1994 2818 2870 -2690 2386 -2802 -2118 2758 2010 -2314 -2742 2190 -2770 -2710 -2834 1994 2822 -2278 -2858 -2854 1994 -1994 -2686 -2890 2150 2318 2446 2042 -2854 2062 -2798 2090 -2206 2498 -2662 -2790 1990 -2002 -2878 -2002 2158 2030 1998 -2862 -2614 -2094 2010 -2082 -2014 2858 2066 -2886 2030 2618 2890 -2686 2814 2006 2862 -2798 -2350 -2722 -2014 2274 2046 -2790 2022 2034 -2482 -2366 -2814 2890 2046 -2602 -2118 2014 2422 2190 2674 2654 1990 2838 2790 -2894 2190 -1994 -2390 2782 2834 2526 -2650 2594 -2778 2494 2742 -2802 2294 2450 2446 2586 -2846 2414 2570 -2802 2762 -2390 -2022 -2846 -2722 2070 2646 -2894 -2406 -2498 -2850 -2890 -2766 2110 2162 2338 -2830 -2854 -2454 -2254 -2046 -2194 -2606 2006 -2110 -2230 -2394 -2714 2622 2066 -2406 2110 -2842 2022 2886 2654 2214 2586 -2658 2894 2882 -2082 2290 2706 2882 2034 -2202 -2194 -2038 -2486 2714 2030 2346 -2014 -2282 2358 -2562 -2826 -2818 -2058 2706 -2294 2170 2062 -2570 -2566 2350 2402 -2090 -2522 -2110 -2790 -2770 2058 2094 2634 -2454 -2734 -2402 2166 -2002 2514 -2370 2050 2042 2842 -2654 -2002 2886 2842 2014 2678 -2502 -2410 -2210 -2362 2870 2474 -2030 -2850 2742 2582 -2086 2798 2078 -1990 2402 -2634 2374 -1990 -2150 2014 2338 2194 2030 -2206 -2034 2034 2806 -2682 2874 -2850 2002 2654 2050 -2682 -2410 2878 -2894 -2050 2254 -2030 2582 -2078 2026 2434 2746 2166 2214 2802 2334 2286 -2526 -2514 -2374 2378 -1998 -2546 2646 2066 -2342 2002 -2006 -2342 -2834 -2822 2054 2202 -2742 2578 2018 -2438 2158 -2114 2750 2754 2630 1990 -2058 2870 -2058 2050 -2546 2102 -2890 2878 -2510 2834 2654 2462 -1994 2366 2774 -2786 2274 2038 2854 -2094 2422 2498 2130 -2262 -2006 2526 -2146 -2534 -2882 2846 2890 -2502 2378 -2686 2794 2610 2010 2486 -2042 2882 -2074 -2118 -2398 -2418 2242 -2538 -2894 -2686 2454 2126 -2570 2846 1994 -1990 -2310 2886 2574 -2582 2418 -2714 2390 -2826 2838 -2058 -2418 -2742 -2542 2866 -2694 -2814 2394 -2050 -2738 2054 2842 2682 -2590 -2250 2710 2554 -2178 -2014 -2858 2786 -2218 2518 2542 -2826 2886 -2018 2462 -2174 -1994 -2826 2838 2306 2182 -2750 -2402 -2502 -2034 2038 -2346 -2262 2854 2206 2058 2854 -2542 -2758 2182 -2622 -2850 2810 2002 -2494 -2034 -2362 -2854 2822 2806 -2618 2234 -2830 -2126 -2350 -2890 2390 2634 2866 -2318 2374 1994 2314 2582 2614 -2678 2882 2306 -2278 2834 2482 2594 -2414 2606 2710 2882 -2818 -2886 -2414 -2034 -2022 -2286 2402 -2018 2878 -2074 -2482 2594 2554 -2702 2882 2566 2846 -2878 -2090 2470 2526 2318 -2054 -2034 -1994 -2106 -2266 2410 2058 2434 -2690 -2362 -2882 2694 -2486 -2454 -2846 -2470 1994 -2230 2030 2622 2826 1998 -2346 2674 2814 2350 2410 2254 2890 -2218 -2646 2386 2842 -2034 -2826 2410 2438 -2466 2642 -1994 2066 2678 -2226 -2890 -2318 -2506 2850 -2430 2518 2022 -2682 -2822 -2854 -2614 2426 -2890 -2834 -2150 2082 -2706 -2574 2010 2410 -2162 -1998 -1990 -2686 2746 2682 -2046 2694 -2006 2294 2298 -2854 -2046 -2150 2058 2630 2814 2310 2834 2574 2278 2310 2842 -2882 -2878 -2030 -2438 2818 -2854 -2838 -2642 2018 2822 2338 2118 -2150 2446 2778 2782 1990 -2782 -1994 2886 -2730 -2246 2834 2002 2846 -2062 -2010 2114 2062 -2514 2030 -2838 2766 2838 -2862 2614 2178 2854 -2054 -2842 -2870 2446 2882 -2378 2762 2630 2806 -2398 2034 2826 1998 2862 2654 2126 2722 2086 -1998 2146 1994 -2026 -2302 2510 -2498 -2050 2894 -2034 2058 2234 2014 -2026 -2578 2722 2566 -1990 2526 2558 -2038 2854 -2418 -2182 2786 1998 2334 2674 2290 2894 -2054 2286 -2286 -2018 -2650 -2774 -2022 -2850 2798 2718 -2834 2854 2450 2370 2846 -2078 2610 2538 2374 -2838 -2886 2102 2062 -2494 2894 -2754 2174 -2726 -2606 -2778 2542 2886 -2366 -2726 -2006 2482 2502 2462 2494 2658 2110 2218 -2802 -2842 -2822 -2854 -2890 -2058 -2350 -2262 2010 2234 -2802 -2390 2522 2494 2294 2086 -2694 2554 2494 2090 2814 2782 2062 -2610 2882 2766 2610 -2610 -1990 2478 -2018 2706 -2106 2510 2514 -2834 2734 2654 -2886 -2054 -2826 2042 -2506 1990 -2854 2010 -2554 -2046 2554 2346 2046 -2238 -2354 -2818 2806 2038 1994 2046 2374 2166 2890 -2066 2322 -2834 2758 2894 2210 2834 -2374 -2190 2038 -2318 2762 2018 2306 2174 2854 -2838 -2102 2502 2414 -2154 2890 -2298 2890 2306 -2874 -2086 2322 2386 2162 -2194 -2570 -2046 1990 2834 2374 2226 -2226 -2234 -2262 -2894 2878 -2194 -2598 2830 2830 2638 -2102 2818 -2850 2050 2034 1994 -2406 2034 2586 -2842 2894 2342 -2142 2010 2386 2462 -2822 2882 2062 1990 2734 2890 -2738 -2334 -2790 2094 2626 -2578 2018 -2014 -2890 2390 -2734 -2786 -2482 2794 -2270 -2378 2330 2394 -2554 2554 2002 -2098 2774 -2590 1990 -2466 2870 2082 2806 2054 2830 2050 -2738 -2030 2266 2038 -2678 2378 -1998 -2546 2030 -2778 -2034 -2118 -2854 2462 2034 -2030 2854 2642 -2282 2838 -2178 2818 2110 2850 2594 2834 -2702 -2514 2534 -2874 2602 2334 2370 -2846 2034 2894 2722 2826 -2754 -2046 -2586 -2370 2882 -2122 2298 2522 -2698 2738 2174 -2294 2322 -2078 -2754 -2154 2818 -2078 -2634 1990 -2818 -2830 1994 -2238 -2318 -1994 -2054 2058 -2090 -2842 -2778 -2458 2482 -2310 -2230 -2418 -2542 -2510 2574 -2694 -2030 2854 -2794 2034 -2550 -2278 -2518 2246 -2314 1994 -2306 -2622 2114 2274 -2442 -2006 2486 2650 -2686 -2670 2850 -2002 2526 2894 2410 2594 2018 -1990 -2002 -2058 -2854 -2842 -2034 -2182 2858 -2294 -2718 2882 -2718 -2066 2050 2894 2870 -2186 -2458 -2546 2718 -2514 -2338 2566 2890 2786 2838 2046 2794 -2574 -2546 -2430 1990 -2258 2874 2238 2402 -2646 2066 -2838 -2838 -2146 2294 2486 -2590 -2434 2330 -2618 -2426 2542 2854 -2314 2710 2894 2894 -2134 -2518 2042 -2294 2206 2746 2666 -2002 2286 2382 -2846 2006 -2326 -2494 -2714 -2558 2018 2470 2234 2190 2290 2402 2426 2854 2878 -2190 2866 -2866 -2442 -2830 2026 2522 -2890 -2042 2634 -2838 -2018 2746 2186 -2258 2206 2374 2190 2030 -2718 -2850 2070 2634 2666 2298 -2038 -2658 -2850 2478 -2346 -2030 -2842 -2058 -2278 -2054 -2350 -2746 2418 1990 2034 2814 -2458 2342 2010 -1990 2122 2618 -1990 -2046 -2138 2086 2874 -2254 -2594 2890 2214 -2094 2886 1990 -2846 -2038 -2838 -1990 2630 2026 2586 -2750 2802 2878 2546 -2402 -2630 2542 2290 -2442 2886 1990 -2702 2830 -2610 2618 -2670 -2350 -1998 1990 -2150 -2618 2878 2886 2850 -2350 -2354 -1990 -2854 -2370 2058 2030 2662 -2034 -2398 -2386 -2578 2058 -2062 -2002 2282 -2618 2550 -2738 2838 2018 2838 2326 2794 -2886 -1990 2626 -2730 -2426 2886 -2882 -2362 2062 -2890 2874 2634 2662 2426 2874 2426 -2070 -2034 2586 2058 -2622 -2334 -2606 2710 -2398 -2654 2878 2702 -2614 2762 2850 2046 2334 2042 -2798 -2526 -2786 2786 -2026 2830 -2418 -2050 2674 2094 2094 -2338 2002 1990 -2838 2878 2810 -2722 2874 -2034 2890 -2026 1994 2150 2842 2454 -2410 -2278 2226 -2502 2870 -2878 -2614 2846 2818 -2886 -2138 -2386 -2874 2138 2746 2682 -2890 -2030 2046 -2478 1994 -2066 2698 2210 2042 2374 -2374 -2550 2370 2438 -2302 -2854 -2522 2518 -2818 -2374 2894 -2650 2686 2006 2038 -2826 2746 2034 -2674 2006 -2302 2306 2070 2070 2878 -2842 -2322 -2802 2142 1990 -2018 2622 -2382 2458 -2250 -2398 2342 2062 -2242 -2138 -2738 -2566 2806 -2674 2870 2274 2530 2850 -2298 -2198 2158 -2786 -2878 -2426 -2386 2826 -2362 -2534 -2234 -2734 -2826 2762 -2878 -2558 2034 -2654 2850 2382 -2714 1990 -2018 -2350 -2838 -2330 2442 2826 -2750 -2806 -2334 2358 -1994 2410 2894 2062 2826 -2626 2418 -2254 2774 2518 -1994 1990 -2666 2650 2822 2274 -2786 2254 -2882 2514 2030 -2878 -2578 2774 -2830 -1990 1990 2702 -2030 -2242 -2870 -2162 2398 2078 -2186 -2186 1990 2266 -2334 2038 -2854 2082 -2410 2378 2782 2222 -2026 2870 -2454 -2854 -2454 2110 -2574 -2122 2762 2606 -2378 2030 2002 -2254 2630 -2642 2774 2518 -2806 2074 2034 -2786 -2034 2530 2886 -2290 2026 2674 2054 -2042 -2714 2018 -2834 -2662 2886 2726 -2306 -2882 -2582 -2670 2018 -2842 -2830 -2258 2298 -2118 -2214 -2874 -2854 2366 2798 -2506 -2030 -2050 2858 2714 -2574 -2534 2734 2022 2626 -1990 2578 2042 2674 2570 -2110 -2414 -2750 -2782 2630 2674 -1990 2378 2594 2578 2546 2478 2814 -2390 2878 -2698 -2042 -2510 -2066 -2858 -2566 1994 2046 2786 2894 -2286 -2338 1994 -2842 2678 -2046 -2274 -1994 2714 -2002 2838 2374 2326 2086 2494

Verifier Data (download as text)

1185 unsatisfied constraints, 17415 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/node25/watcher-275642-1169224654 -o ROOT/results/node25/solver-275642-1169224654 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/275642-1169224654/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.85 0.97 1.05 6/85 11202
/proc/meminfo: memFree=1483936/2055920 swapFree=4170284/4192956

[startup+0.104276 s]
/proc/loadavg: 0.85 0.97 1.05 6/85 11202
/proc/meminfo: memFree=1483936/2055920 swapFree=4170284/4192956
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 0

[startup+0.512348 s]
/proc/loadavg: 0.85 0.97 1.05 6/85 11202
/proc/meminfo: memFree=1483936/2055920 swapFree=4170284/4192956
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 0

[startup+1.33348 s]
/proc/loadavg: 0.85 0.97 1.05 4/101 11225
/proc/meminfo: memFree=1373984/2055920 swapFree=4170284/4192956
[pid=11201] ppid=11191 vsize=915612 CPUtime=1.29
/proc/11201/stat : 11201 (java) R 11191 11201 11085 0 -1 0 24147 0 1 0 117 12 0 0 24 0 8 0 270857839 937586688 23884 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073544533 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11201/statm: 228903 23884 2164 14 0 215373 0
[pid=11201/tid=11212] ppid=11191 vsize=915612 CPUtime=0.08
/proc/11201/task/11212/stat : 11212 (java) S 11191 11201 11085 0 -1 64 7590 0 0 0 7 1 0 0 16 0 8 0 270857843 937586688 23884 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11201/tid=11213] ppid=11191 vsize=915612 CPUtime=0
/proc/11201/task/11213/stat : 11213 (java) S 11191 11201 11085 0 -1 64 10 0 0 0 0 0 0 0 17 0 8 0 270857844 937586688 23884 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11201/tid=11214] ppid=11191 vsize=915612 CPUtime=0
/proc/11201/task/11214/stat : 11214 (java) S 11191 11201 11085 0 -1 64 5 0 0 0 0 0 0 0 17 0 8 0 270857844 937586688 23884 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11201/tid=11218] ppid=11191 vsize=915612 CPUtime=0
/proc/11201/task/11218/stat : 11218 (java) S 11191 11201 11085 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270857848 937586688 23884 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11201/tid=11219] ppid=11191 vsize=915612 CPUtime=0.16
/proc/11201/task/11219/stat : 11219 (java) S 11191 11201 11085 0 -1 64 403 0 0 0 16 0 0 0 16 0 8 0 270857848 937586688 23884 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11201/tid=11220] ppid=11191 vsize=915612 CPUtime=0
/proc/11201/task/11220/stat : 11220 (java) S 11191 11201 11085 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270857848 937586688 23884 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11201/tid=11221] ppid=11191 vsize=915612 CPUtime=0
/proc/11201/task/11221/stat : 11221 (java) S 11191 11201 11085 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270857848 937586688 23884 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 915612

[startup+2.97876 s]
/proc/loadavg: 0.85 0.97 1.05 4/101 11225
/proc/meminfo: memFree=1346144/2055920 swapFree=4170284/4192956
[pid=11201] ppid=11191 vsize=915744 CPUtime=2.92
/proc/11201/stat : 11201 (java) R 11191 11201 11085 0 -1 0 24223 0 1 0 280 12 0 0 25 0 8 0 270857839 937721856 23958 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073829816 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11201/statm: 228936 23958 2184 14 0 215406 0
[pid=11201/tid=11212] ppid=11191 vsize=915744 CPUtime=0.1
/proc/11201/task/11212/stat : 11212 (java) S 11191 11201 11085 0 -1 64 7590 0 0 0 9 1 0 0 17 0 8 0 270857843 937721856 23958 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11201/tid=11213] ppid=11191 vsize=915744 CPUtime=0
/proc/11201/task/11213/stat : 11213 (java) S 11191 11201 11085 0 -1 64 10 0 0 0 0 0 0 0 17 0 8 0 270857844 937721856 23958 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11201/tid=11214] ppid=11191 vsize=915744 CPUtime=0
/proc/11201/task/11214/stat : 11214 (java) S 11191 11201 11085 0 -1 64 5 0 0 0 0 0 0 0 17 0 8 0 270857844 937721856 23958 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11201/tid=11218] ppid=11191 vsize=915744 CPUtime=0
/proc/11201/task/11218/stat : 11218 (java) S 11191 11201 11085 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270857848 937721856 23958 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11201/tid=11219] ppid=11191 vsize=915744 CPUtime=0.17
/proc/11201/task/11219/stat : 11219 (java) S 11191 11201 11085 0 -1 64 415 0 0 0 17 0 0 0 16 0 8 0 270857848 937721856 23958 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11201/tid=11220] ppid=11191 vsize=915744 CPUtime=0
/proc/11201/task/11220/stat : 11220 (java) S 11191 11201 11085 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270857848 937721856 23958 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11201/tid=11221] ppid=11191 vsize=915744 CPUtime=0
/proc/11201/task/11221/stat : 11221 (java) S 11191 11201 11085 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270857848 937721856 23958 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 915744

[startup+6.26832 s]
/proc/loadavg: 0.94 0.98 1.05 3/101 11225
/proc/meminfo: memFree=1274408/2055920 swapFree=4170284/4192956
[pid=11201] ppid=11191 vsize=915744 CPUtime=6.18
/proc/11201/stat : 11201 (java) R 11191 11201 11085 0 -1 0 24227 0 1 0 605 13 0 0 25 0 8 0 270857839 937721856 23961 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073825254 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11201/statm: 228936 23961 2184 14 0 215406 0
[pid=11201/tid=11212] ppid=11191 vsize=915744 CPUtime=0.1
/proc/11201/task/11212/stat : 11212 (java) S 11191 11201 11085 0 -1 64 7590 0 0 0 9 1 0 0 16 0 8 0 270857843 937721856 23961 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11201/tid=11213] ppid=11191 vsize=915744 CPUtime=0
/proc/11201/task/11213/stat : 11213 (java) S 11191 11201 11085 0 -1 64 10 0 0 0 0 0 0 0 17 0 8 0 270857844 937721856 23961 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11201/tid=11214] ppid=11191 vsize=915744 CPUtime=0
/proc/11201/task/11214/stat : 11214 (java) S 11191 11201 11085 0 -1 64 5 0 0 0 0 0 0 0 17 0 8 0 270857844 937721856 23961 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11201/tid=11218] ppid=11191 vsize=915744 CPUtime=0
/proc/11201/task/11218/stat : 11218 (java) S 11191 11201 11085 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270857848 937721856 23961 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11201/tid=11219] ppid=11191 vsize=915744 CPUtime=0.18
/proc/11201/task/11219/stat : 11219 (java) S 11191 11201 11085 0 -1 64 418 0 0 0 18 0 0 0 15 0 8 0 270857848 937721856 23961 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11201/tid=11220] ppid=11191 vsize=915744 CPUtime=0
/proc/11201/task/11220/stat : 11220 (java) S 11191 11201 11085 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270857848 937721856 23961 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11201/tid=11221] ppid=11191 vsize=915744 CPUtime=0
/proc/11201/task/11221/stat : 11221 (java) S 11191 11201 11085 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270857848 937721856 23961 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 915744

[startup+12.7474 s]
/proc/loadavg: 1.02 1.00 1.06 3/101 11225
/proc/meminfo: memFree=1167152/2055920 swapFree=4170284/4192956
[pid=11201] ppid=11191 vsize=915744 CPUtime=12.6
/proc/11201/stat : 11201 (java) R 11191 11201 11085 0 -1 0 24239 0 1 0 1246 14 0 0 25 0 8 0 270857839 937721856 23972 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073840959 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11201/statm: 228936 23972 2185 14 0 215406 0
[pid=11201/tid=11212] ppid=11191 vsize=915744 CPUtime=0.1
/proc/11201/task/11212/stat : 11212 (java) S 11191 11201 11085 0 -1 64 7590 0 0 0 9 1 0 0 16 0 8 0 270857843 937721856 23972 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11201/tid=11213] ppid=11191 vsize=915744 CPUtime=0
/proc/11201/task/11213/stat : 11213 (java) S 11191 11201 11085 0 -1 64 10 0 0 0 0 0 0 0 17 0 8 0 270857844 937721856 23972 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11201/tid=11214] ppid=11191 vsize=915744 CPUtime=0
/proc/11201/task/11214/stat : 11214 (java) S 11191 11201 11085 0 -1 64 5 0 0 0 0 0 0 0 17 0 8 0 270857844 937721856 23972 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11201/tid=11218] ppid=11191 vsize=915744 CPUtime=0
/proc/11201/task/11218/stat : 11218 (java) S 11191 11201 11085 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270857848 937721856 23972 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11201/tid=11219] ppid=11191 vsize=915744 CPUtime=0.19
/proc/11201/task/11219/stat : 11219 (java) S 11191 11201 11085 0 -1 64 428 0 0 0 19 0 0 0 15 0 8 0 270857848 937721856 23972 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11201/tid=11220] ppid=11191 vsize=915744 CPUtime=0
/proc/11201/task/11220/stat : 11220 (java) S 11191 11201 11085 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270857848 937721856 23972 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11201/tid=11221] ppid=11191 vsize=915744 CPUtime=0
/proc/11201/task/11221/stat : 11221 (java) S 11191 11201 11085 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270857848 937721856 23972 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 915744

[startup+25.6046 s]
/proc/loadavg: 1.39 1.08 1.08 4/101 11225
/proc/meminfo: memFree=1026416/2055920 swapFree=4170284/4192956
[pid=11201] ppid=11191 vsize=915744 CPUtime=25.35
/proc/11201/stat : 11201 (java) R 11191 11201 11085 0 -1 0 26494 0 1 0 2519 16 0 0 25 0 8 0 270857839 937721856 26225 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073845431 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11201/statm: 228936 26225 2185 14 0 215406 0
[pid=11201/tid=11212] ppid=11191 vsize=915744 CPUtime=0.18
/proc/11201/task/11212/stat : 11212 (java) S 11191 11201 11085 0 -1 64 9838 0 0 0 16 2 0 0 16 0 8 0 270857843 937721856 26225 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11201/tid=11213] ppid=11191 vsize=915744 CPUtime=0
/proc/11201/task/11213/stat : 11213 (java) S 11191 11201 11085 0 -1 64 10 0 0 0 0 0 0 0 17 0 8 0 270857844 937721856 26225 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11201/tid=11214] ppid=11191 vsize=915744 CPUtime=0
/proc/11201/task/11214/stat : 11214 (java) S 11191 11201 11085 0 -1 64 5 0 0 0 0 0 0 0 17 0 8 0 270857844 937721856 26225 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11201/tid=11218] ppid=11191 vsize=915744 CPUtime=0
/proc/11201/task/11218/stat : 11218 (java) S 11191 11201 11085 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270857848 937721856 26225 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11201/tid=11219] ppid=11191 vsize=915744 CPUtime=0.2
/proc/11201/task/11219/stat : 11219 (java) S 11191 11201 11085 0 -1 64 433 0 0 0 20 0 0 0 16 0 8 0 270857848 937721856 26225 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11201/tid=11220] ppid=11191 vsize=915744 CPUtime=0
/proc/11201/task/11220/stat : 11220 (java) S 11191 11201 11085 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270857848 937721856 26225 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11201/tid=11221] ppid=11191 vsize=915744 CPUtime=0
/proc/11201/task/11221/stat : 11221 (java) S 11191 11201 11085 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270857848 937721856 26225 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.35
Current children cumulated vsize (KiB) 915744

[startup+51.207 s]
/proc/loadavg: 1.68 1.17 1.11 3/101 11225
/proc/meminfo: memFree=825136/2055920 swapFree=4170284/4192956
[pid=11201] ppid=11191 vsize=915744 CPUtime=50.68
/proc/11201/stat : 11201 (java) R 11191 11201 11085 0 -1 0 28081 0 1 0 5047 21 0 0 25 0 8 0 270857839 937721856 27809 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073829816 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11201/statm: 228936 27809 2185 14 0 215406 0
[pid=11201/tid=11212] ppid=11191 vsize=915744 CPUtime=0.29
/proc/11201/task/11212/stat : 11212 (java) S 11191 11201 11085 0 -1 64 11416 0 0 0 26 3 0 0 16 0 8 0 270857843 937721856 27809 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11201/tid=11213] ppid=11191 vsize=915744 CPUtime=0
/proc/11201/task/11213/stat : 11213 (java) S 11191 11201 11085 0 -1 64 10 0 0 0 0 0 0 0 17 0 8 0 270857844 937721856 27809 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11201/tid=11214] ppid=11191 vsize=915744 CPUtime=0
/proc/11201/task/11214/stat : 11214 (java) S 11191 11201 11085 0 -1 64 5 0 0 0 0 0 0 0 17 0 8 0 270857844 937721856 27809 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11201/tid=11218] ppid=11191 vsize=915744 CPUtime=0
/proc/11201/task/11218/stat : 11218 (java) S 11191 11201 11085 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270857848 937721856 27809 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11201/tid=11219] ppid=11191 vsize=915744 CPUtime=0.22
/proc/11201/task/11219/stat : 11219 (java) S 11191 11201 11085 0 -1 64 439 0 0 0 21 1 0 0 15 0 8 0 270857848 937721856 27809 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11201/tid=11220] ppid=11191 vsize=915744 CPUtime=0
/proc/11201/task/11220/stat : 11220 (java) S 11191 11201 11085 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270857848 937721856 27809 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11201/tid=11221] ppid=11191 vsize=915744 CPUtime=0
/proc/11201/task/11221/stat : 11221 (java) S 11191 11201 11085 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270857848 937721856 27809 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.68
Current children cumulated vsize (KiB) 915744

[startup+102.43 s]
/proc/loadavg: 1.90 1.31 1.16 4/101 11225
/proc/meminfo: memFree=693808/2055920 swapFree=4170284/4192956
[pid=11201] ppid=11191 vsize=915744 CPUtime=101.35
/proc/11201/stat : 11201 (java) R 11191 11201 11085 0 -1 0 34106 0 1 0 10098 37 0 0 25 0 8 0 270857839 937721856 33828 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073826400 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11201/statm: 228936 33828 2504 14 0 215406 0
[pid=11201/tid=11212] ppid=11191 vsize=915744 CPUtime=0.86
/proc/11201/task/11212/stat : 11212 (java) S 11191 11201 11085 0 -1 64 17051 0 0 0 80 6 0 0 16 0 8 0 270857843 937721856 33828 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11201/tid=11213] ppid=11191 vsize=915744 CPUtime=0
/proc/11201/task/11213/stat : 11213 (java) S 11191 11201 11085 0 -1 64 10 0 0 0 0 0 0 0 17 0 8 0 270857844 937721856 33828 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11201/tid=11214] ppid=11191 vsize=915744 CPUtime=0
/proc/11201/task/11214/stat : 11214 (java) S 11191 11201 11085 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270857844 937721856 33828 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11201/tid=11218] ppid=11191 vsize=915744 CPUtime=0
/proc/11201/task/11218/stat : 11218 (java) S 11191 11201 11085 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270857848 937721856 33828 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11201/tid=11219] ppid=11191 vsize=915744 CPUtime=0.29
/proc/11201/task/11219/stat : 11219 (java) S 11191 11201 11085 0 -1 64 478 0 0 0 28 1 0 0 16 0 8 0 270857848 937721856 33828 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11201/tid=11220] ppid=11191 vsize=915744 CPUtime=0
/proc/11201/task/11220/stat : 11220 (java) S 11191 11201 11085 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270857848 937721856 33828 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11201/tid=11221] ppid=11191 vsize=915744 CPUtime=0
/proc/11201/task/11221/stat : 11221 (java) S 11191 11201 11085 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270857848 937721856 33828 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.35
Current children cumulated vsize (KiB) 915744

[startup+162.529 s]
/proc/loadavg: 2.04 1.45 1.22 3/101 11225
/proc/meminfo: memFree=664560/2055920 swapFree=4170284/4192956
[pid=11201] ppid=11191 vsize=915744 CPUtime=160.82
/proc/11201/stat : 11201 (java) R 11191 11201 11085 0 -1 0 34107 0 1 0 16039 43 0 0 25 0 8 0 270857839 937721856 33829 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074013606 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11201/statm: 228936 33829 2504 14 0 215406 0
[pid=11201/tid=11212] ppid=11191 vsize=915744 CPUtime=0.86
/proc/11201/task/11212/stat : 11212 (java) S 11191 11201 11085 0 -1 64 17051 0 0 0 80 6 0 0 16 0 8 0 270857843 937721856 33829 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11201/tid=11213] ppid=11191 vsize=915744 CPUtime=0
/proc/11201/task/11213/stat : 11213 (java) S 11191 11201 11085 0 -1 64 10 0 0 0 0 0 0 0 17 0 8 0 270857844 937721856 33829 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11201/tid=11214] ppid=11191 vsize=915744 CPUtime=0
/proc/11201/task/11214/stat : 11214 (java) S 11191 11201 11085 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270857844 937721856 33829 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11201/tid=11218] ppid=11191 vsize=915744 CPUtime=0
/proc/11201/task/11218/stat : 11218 (java) S 11191 11201 11085 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270857848 937721856 33829 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0

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

Current children cumulated CPU time (s) 2006
Current children cumulated vsize (KiB) 917004

[startup+2083.91 s]
/proc/loadavg: 2.00 2.00 1.88 3/101 11495
/proc/meminfo: memFree=1251840/2055920 swapFree=4170284/4192956
[pid=11201] ppid=11191 vsize=917004 CPUtime=2065.5
/proc/11201/stat : 11201 (java) R 11191 11201 11085 0 -1 0 51513 0 1 0 206445 105 0 0 25 0 8 0 270857839 939012096 51222 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073827159 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11201/statm: 229251 51222 2551 14 0 215721 0
[pid=11201/tid=11212] ppid=11191 vsize=917004 CPUtime=1.04
/proc/11201/task/11212/stat : 11212 (java) S 11191 11201 11085 0 -1 64 34220 0 0 0 92 12 0 0 16 0 8 0 270857843 939012096 51222 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11201/tid=11213] ppid=11191 vsize=917004 CPUtime=0
/proc/11201/task/11213/stat : 11213 (java) S 11191 11201 11085 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 270857844 939012096 51222 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11201/tid=11214] ppid=11191 vsize=917004 CPUtime=0
/proc/11201/task/11214/stat : 11214 (java) S 11191 11201 11085 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270857844 939012096 51222 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11201/tid=11218] ppid=11191 vsize=917004 CPUtime=0
/proc/11201/task/11218/stat : 11218 (java) S 11191 11201 11085 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270857848 939012096 51222 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11201/tid=11219] ppid=11191 vsize=917004 CPUtime=0.41
/proc/11201/task/11219/stat : 11219 (java) S 11191 11201 11085 0 -1 64 606 0 0 0 40 1 0 0 16 0 8 0 270857848 939012096 51222 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11201/tid=11220] ppid=11191 vsize=917004 CPUtime=0
/proc/11201/task/11220/stat : 11220 (java) S 11191 11201 11085 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270857848 939012096 51222 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11201/tid=11221] ppid=11191 vsize=917004 CPUtime=0
/proc/11201/task/11221/stat : 11221 (java) S 11191 11201 11085 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 270857848 939012096 51222 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2065.5
Current children cumulated vsize (KiB) 917004

[startup+2144 s]
/proc/loadavg: 2.00 2.00 1.88 3/101 11495
/proc/meminfo: memFree=1251840/2055920 swapFree=4170284/4192956
[pid=11201] ppid=11191 vsize=917004 CPUtime=2125
/proc/11201/stat : 11201 (java) R 11191 11201 11085 0 -1 0 51513 0 1 0 212395 105 0 0 25 0 8 0 270857839 939012096 51222 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073845605 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11201/statm: 229251 51222 2551 14 0 215721 0
[pid=11201/tid=11212] ppid=11191 vsize=917004 CPUtime=1.04
/proc/11201/task/11212/stat : 11212 (java) S 11191 11201 11085 0 -1 64 34220 0 0 0 92 12 0 0 16 0 8 0 270857843 939012096 51222 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11201/tid=11213] ppid=11191 vsize=917004 CPUtime=0
/proc/11201/task/11213/stat : 11213 (java) S 11191 11201 11085 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 270857844 939012096 51222 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11201/tid=11214] ppid=11191 vsize=917004 CPUtime=0
/proc/11201/task/11214/stat : 11214 (java) S 11191 11201 11085 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270857844 939012096 51222 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11201/tid=11218] ppid=11191 vsize=917004 CPUtime=0
/proc/11201/task/11218/stat : 11218 (java) S 11191 11201 11085 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270857848 939012096 51222 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11201/tid=11219] ppid=11191 vsize=917004 CPUtime=0.41
/proc/11201/task/11219/stat : 11219 (java) S 11191 11201 11085 0 -1 64 606 0 0 0 40 1 0 0 16 0 8 0 270857848 939012096 51222 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11201/tid=11220] ppid=11191 vsize=917004 CPUtime=0
/proc/11201/task/11220/stat : 11220 (java) S 11191 11201 11085 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270857848 939012096 51222 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11201/tid=11221] ppid=11191 vsize=917004 CPUtime=0
/proc/11201/task/11221/stat : 11221 (java) S 11191 11201 11085 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 270857848 939012096 51222 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2125
Current children cumulated vsize (KiB) 917004

[startup+2204.09 s]
/proc/loadavg: 2.04 2.01 1.90 3/101 11495
/proc/meminfo: memFree=1251840/2055920 swapFree=4170284/4192956
[pid=11201] ppid=11191 vsize=917004 CPUtime=2184.47
/proc/11201/stat : 11201 (java) R 11191 11201 11085 0 -1 0 51513 0 1 0 218342 105 0 0 25 0 8 0 270857839 939012096 51222 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074018663 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11201/statm: 229251 51222 2551 14 0 215721 0
[pid=11201/tid=11212] ppid=11191 vsize=917004 CPUtime=1.04
/proc/11201/task/11212/stat : 11212 (java) S 11191 11201 11085 0 -1 64 34220 0 0 0 92 12 0 0 16 0 8 0 270857843 939012096 51222 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11201/tid=11213] ppid=11191 vsize=917004 CPUtime=0
/proc/11201/task/11213/stat : 11213 (java) S 11191 11201 11085 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 270857844 939012096 51222 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11201/tid=11214] ppid=11191 vsize=917004 CPUtime=0
/proc/11201/task/11214/stat : 11214 (java) S 11191 11201 11085 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270857844 939012096 51222 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11201/tid=11218] ppid=11191 vsize=917004 CPUtime=0
/proc/11201/task/11218/stat : 11218 (java) S 11191 11201 11085 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270857848 939012096 51222 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11201/tid=11219] ppid=11191 vsize=917004 CPUtime=0.41
/proc/11201/task/11219/stat : 11219 (java) S 11191 11201 11085 0 -1 64 606 0 0 0 40 1 0 0 16 0 8 0 270857848 939012096 51222 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11201/tid=11220] ppid=11191 vsize=917004 CPUtime=0
/proc/11201/task/11220/stat : 11220 (java) S 11191 11201 11085 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270857848 939012096 51222 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11201/tid=11221] ppid=11191 vsize=917004 CPUtime=0
/proc/11201/task/11221/stat : 11221 (java) S 11191 11201 11085 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 270857848 939012096 51222 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2184.47
Current children cumulated vsize (KiB) 917004

[startup+2264.18 s]
/proc/loadavg: 2.01 2.01 1.90 3/101 11495
/proc/meminfo: memFree=1251840/2055920 swapFree=4170284/4192956
[pid=11201] ppid=11191 vsize=917004 CPUtime=2243.98
/proc/11201/stat : 11201 (java) R 11191 11201 11085 0 -1 0 51513 0 1 0 224293 105 0 0 25 0 8 0 270857839 939012096 51222 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074319864 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11201/statm: 229251 51222 2551 14 0 215721 0
[pid=11201/tid=11212] ppid=11191 vsize=917004 CPUtime=1.04
/proc/11201/task/11212/stat : 11212 (java) S 11191 11201 11085 0 -1 64 34220 0 0 0 92 12 0 0 16 0 8 0 270857843 939012096 51222 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11201/tid=11213] ppid=11191 vsize=917004 CPUtime=0
/proc/11201/task/11213/stat : 11213 (java) S 11191 11201 11085 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 270857844 939012096 51222 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11201/tid=11214] ppid=11191 vsize=917004 CPUtime=0
/proc/11201/task/11214/stat : 11214 (java) S 11191 11201 11085 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270857844 939012096 51222 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11201/tid=11218] ppid=11191 vsize=917004 CPUtime=0
/proc/11201/task/11218/stat : 11218 (java) S 11191 11201 11085 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270857848 939012096 51222 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11201/tid=11219] ppid=11191 vsize=917004 CPUtime=0.41
/proc/11201/task/11219/stat : 11219 (java) S 11191 11201 11085 0 -1 64 606 0 0 0 40 1 0 0 16 0 8 0 270857848 939012096 51222 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11201/tid=11220] ppid=11191 vsize=917004 CPUtime=0
/proc/11201/task/11220/stat : 11220 (java) S 11191 11201 11085 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270857848 939012096 51222 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11201/tid=11221] ppid=11191 vsize=917004 CPUtime=0
/proc/11201/task/11221/stat : 11221 (java) S 11191 11201 11085 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 270857848 939012096 51222 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2243.98
Current children cumulated vsize (KiB) 917004

[startup+2324.24 s]
/proc/loadavg: 2.00 2.00 1.91 3/101 11495
/proc/meminfo: memFree=1251840/2055920 swapFree=4170284/4192956
[pid=11201] ppid=11191 vsize=917004 CPUtime=2303.46
/proc/11201/stat : 11201 (java) R 11191 11201 11085 0 -1 0 51513 0 1 0 230240 106 0 0 25 0 8 0 270857839 939012096 51222 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073831465 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11201/statm: 229251 51222 2551 14 0 215721 0
[pid=11201/tid=11212] ppid=11191 vsize=917004 CPUtime=1.04
/proc/11201/task/11212/stat : 11212 (java) S 11191 11201 11085 0 -1 64 34220 0 0 0 92 12 0 0 16 0 8 0 270857843 939012096 51222 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11201/tid=11213] ppid=11191 vsize=917004 CPUtime=0
/proc/11201/task/11213/stat : 11213 (java) S 11191 11201 11085 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 270857844 939012096 51222 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11201/tid=11214] ppid=11191 vsize=917004 CPUtime=0
/proc/11201/task/11214/stat : 11214 (java) S 11191 11201 11085 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270857844 939012096 51222 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11201/tid=11218] ppid=11191 vsize=917004 CPUtime=0
/proc/11201/task/11218/stat : 11218 (java) S 11191 11201 11085 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270857848 939012096 51222 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11201/tid=11219] ppid=11191 vsize=917004 CPUtime=0.41
/proc/11201/task/11219/stat : 11219 (java) S 11191 11201 11085 0 -1 64 606 0 0 0 40 1 0 0 16 0 8 0 270857848 939012096 51222 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11201/tid=11220] ppid=11191 vsize=917004 CPUtime=0
/proc/11201/task/11220/stat : 11220 (java) S 11191 11201 11085 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270857848 939012096 51222 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11201/tid=11221] ppid=11191 vsize=917004 CPUtime=0
/proc/11201/task/11221/stat : 11221 (java) S 11191 11201 11085 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 270857848 939012096 51222 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2303.46
Current children cumulated vsize (KiB) 917004

[startup+2384.33 s]
/proc/loadavg: 2.00 2.00 1.91 3/101 11495
/proc/meminfo: memFree=1251776/2055920 swapFree=4170284/4192956
[pid=11201] ppid=11191 vsize=917004 CPUtime=2362.93
/proc/11201/stat : 11201 (java) R 11191 11201 11085 0 -1 0 51513 0 1 0 236187 106 0 0 25 0 8 0 270857839 939012096 51222 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074319784 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11201/statm: 229251 51222 2551 14 0 215721 0
[pid=11201/tid=11212] ppid=11191 vsize=917004 CPUtime=1.04
/proc/11201/task/11212/stat : 11212 (java) S 11191 11201 11085 0 -1 64 34220 0 0 0 92 12 0 0 16 0 8 0 270857843 939012096 51222 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11201/tid=11213] ppid=11191 vsize=917004 CPUtime=0
/proc/11201/task/11213/stat : 11213 (java) S 11191 11201 11085 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 270857844 939012096 51222 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11201/tid=11214] ppid=11191 vsize=917004 CPUtime=0
/proc/11201/task/11214/stat : 11214 (java) S 11191 11201 11085 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270857844 939012096 51222 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11201/tid=11218] ppid=11191 vsize=917004 CPUtime=0
/proc/11201/task/11218/stat : 11218 (java) S 11191 11201 11085 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270857848 939012096 51222 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11201/tid=11219] ppid=11191 vsize=917004 CPUtime=0.41
/proc/11201/task/11219/stat : 11219 (java) S 11191 11201 11085 0 -1 64 606 0 0 0 40 1 0 0 16 0 8 0 270857848 939012096 51222 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11201/tid=11220] ppid=11191 vsize=917004 CPUtime=0
/proc/11201/task/11220/stat : 11220 (java) S 11191 11201 11085 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270857848 939012096 51222 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11201/tid=11221] ppid=11191 vsize=917004 CPUtime=0
/proc/11201/task/11221/stat : 11221 (java) S 11191 11201 11085 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 270857848 939012096 51222 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2362.93
Current children cumulated vsize (KiB) 917004



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2421.79 s]
/proc/loadavg: 2.00 2.00 1.91 3/101 11495
/proc/meminfo: memFree=1251840/2055920 swapFree=4170284/4192956
[pid=11201] ppid=11191 vsize=917004 CPUtime=2400.04
/proc/11201/stat : 11201 (java) R 11191 11201 11085 0 -1 0 51516 0 1 0 239898 106 0 0 25 0 8 0 270857839 939012096 51222 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074311031 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11201/statm: 229251 51222 2551 14 0 215721 0
[pid=11201/tid=11212] ppid=11191 vsize=917004 CPUtime=1.04
/proc/11201/task/11212/stat : 11212 (java) S 11191 11201 11085 0 -1 64 34220 0 0 0 92 12 0 0 16 0 8 0 270857843 939012096 51222 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11201/tid=11213] ppid=11191 vsize=917004 CPUtime=0
/proc/11201/task/11213/stat : 11213 (java) S 11191 11201 11085 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 270857844 939012096 51222 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11201/tid=11214] ppid=11191 vsize=917004 CPUtime=0
/proc/11201/task/11214/stat : 11214 (java) S 11191 11201 11085 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270857844 939012096 51222 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11201/tid=11218] ppid=11191 vsize=917004 CPUtime=0
/proc/11201/task/11218/stat : 11218 (java) S 11191 11201 11085 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270857848 939012096 51222 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11201/tid=11219] ppid=11191 vsize=917004 CPUtime=0.41
/proc/11201/task/11219/stat : 11219 (java) S 11191 11201 11085 0 -1 64 607 0 0 0 40 1 0 0 16 0 8 0 270857848 939012096 51222 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11201/tid=11220] ppid=11191 vsize=917004 CPUtime=0
/proc/11201/task/11220/stat : 11220 (java) S 11191 11201 11085 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270857848 939012096 51222 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11201/tid=11221] ppid=11191 vsize=917004 CPUtime=0
/proc/11201/task/11221/stat : 11221 (java) S 11191 11201 11085 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 270857848 939012096 51222 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2400.04
Current children cumulated vsize (KiB) 917004

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

Child status: 143
Real time (s): 2421.87
CPU time (s): 2400.11
CPU user time (s): 2399.01
CPU system time (s): 1.09883
CPU usage (%): 99.1018
Max. virtual memory (cumulated for all children) (KiB): 917004

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.01
system time used= 1.09883
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 51540
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= 50869
involuntary context switches= 93871

runsolver used 3.01154 s user time and 7.9038 s system time

The end

Launcher Data (download as text)

Begin job on node25 on Fri Jan 19 16:37:34 UTC 2007


IDJOB= 275642
IDBENCH= 4187
IDSOLVER= 68
FILE ID= node25/275642-1169224654

PBS_JOBID= 3589211

Free space on /tmp= 66558 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  89a45000573be1b2f9bfb23b71c21d6b

RANDOM SEED= 456113584

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.279
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.279
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:       1484768 kB
Buffers:         41336 kB
Cached:         429040 kB
SwapCached:       2768 kB
Active:         151152 kB
Inactive:       347796 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1484768 kB
SwapTotal:     4192956 kB
SwapFree:      4170284 kB
Dirty:            7372 kB
Writeback:           0 kB
Mapped:          37752 kB
Slab:            57096 kB
Committed_AS:  4789992 kB
PageTables:       2144 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= 66560 MiB



End job on node25 on Fri Jan 19 17:17:56 UTC 2007