Trace number 275649

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
AbsconMax 109 PFCMSAT (TO) 2400.2 2415.44

General information on the benchmark

Namefapp/fapp36-40/fapp36/
fapp36-2000-3.xml
MD5SUMd481a9361d80c6f0d8e85c5a29d689ed
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkMSAT TO
Best Number of satisfied constraints16894
Best CPU time to get the best result obtained on this benchmark2400.18
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.28	   
0.28	Abscon 109 (November, 2006)
0.28	   
0.28	   configuration
0.28	     name=pfc.xml
0.31	   
0.31	   instance
0.31	     name=/tmp/evaluation/275649-1169224720/unknown.xml
0.34	   
0.34	   domains being loaded...
0.38	   
0.38	   variables being loaded...
0.65	     nbVariables=2000  nbDomainTypes=26  minDomainSize=46  maxDomainSize=454
0.65	       =>  wckTime=0.364  cpuTime=0.27  mem=34M241
0.65	   
0.65	   predicates being loaded...
0.65	   
0.65	   constraints being loaded...
60.98	   
60.98	   INFO : Stopping converting binary constraints (cpu=60.04, mem = 68M947)
62.42	     nbConstraints=18600  nbConvertedConstraints=2095  nbConvertConstraintsChecks=202348406  nbExtensionStructures=1693
62.42	     nbSharedExtensionStructures=402  nbConflictsStructures=1693  nbSharedConflictsStructures=402
62.42	     nbSharedBinaryRepresentations=1118373  nbEvaluationManagers=8054  nbSharedEvaluationManagers=8451  maxDegree=25
62.42	     maxArity=2
62.42	       =>  wckTime=62.132  cpuTime=61.21  mem=78M941
62.67	   
62.67	   solver LocalSearchSolver being built... 
62.71	       =>  wckTime=62.43  cpuTime=61.26  mem=63M692
62.87	
62.87	s SATISFIABLE
62.87	o 13232
62.87	c 5368
62.96	o 13239
62.96	c 5361
63.06	o 13243
63.06	c 5357
63.10	o 13247
63.10	c 5353
63.15	o 13249
63.15	c 5351
63.19	o 13250
63.19	c 5350
63.24	o 13257
63.24	c 5343
63.28	o 13263
63.28	c 5337
63.33	o 13269
63.33	c 5331
63.38	o 13275
63.38	c 5325
63.42	o 13280
63.42	c 5320
63.47	o 13285
63.47	c 5315
63.51	o 13289
63.51	c 5311
63.55	o 13293
63.55	c 5307
63.59	o 13297
63.59	c 5303
63.62	o 13301
63.62	c 5299
63.66	o 13304
63.66	c 5296
63.69	o 13307
63.69	c 5293
63.72	o 13310
63.72	c 5290
63.75	o 13313
63.75	c 5287
63.78	o 13315
63.78	c 5285
63.81	o 13317
63.81	c 5283
63.83	o 13319
63.83	c 5281
63.85	o 13321
63.85	c 5279
63.86	o 13322
63.86	c 5278
63.89	o 13323
63.89	c 5277
63.91	o 13324
63.91	c 5276
63.93	o 13325
63.93	c 5275
63.95	o 13326
63.95	c 5274
63.97	o 13330
63.97	c 5270
64.02	o 13339
64.02	c 5261
64.06	o 13345
64.06	c 5255
64.11	o 13351
64.11	c 5249
64.15	o 13356
64.15	c 5244
64.20	o 13361
64.20	c 5239
64.25	o 13366
64.25	c 5234
64.30	o 13370
64.30	c 5230
64.34	o 13374
64.34	c 5226
64.38	o 13378
64.38	c 5222
64.44	o 13382
64.44	c 5218
64.48	o 13385
64.48	c 5215
64.52	o 13388
64.52	c 5212
64.56	o 13391
64.56	c 5209
64.60	o 13394
64.60	c 5206
64.64	o 13397
64.64	c 5203
64.68	o 13400
64.68	c 5200
64.71	o 13403
64.71	c 5197
64.75	o 13405
64.75	c 5195
64.79	o 13407
64.79	c 5193
64.83	o 13409
64.83	c 5191
64.86	o 13411
64.86	c 5189
64.90	o 13413
64.90	c 5187
64.94	o 13415
64.94	c 5185
64.96	o 13417
64.96	c 5183
64.99	o 13419
64.99	c 5181
65.01	o 13421
65.01	c 5179
65.04	o 13423
65.04	c 5177
65.06	o 13424
65.06	c 5176
65.07	o 13425
65.07	c 5175
65.09	o 13426
65.09	c 5174
65.10	o 13427
65.10	c 5173
65.13	o 13428
65.13	c 5172
65.16	o 13429
65.16	c 5171
65.18	o 13430
65.18	c 5170
65.22	o 13431
65.22	c 5169
65.24	o 13434
65.24	c 5166
65.29	o 13441
65.29	c 5159
65.35	o 13446
65.35	c 5154
65.41	o 13451
65.41	c 5149
65.48	o 13456
65.48	c 5144
65.54	o 13460
65.54	c 5140
65.60	o 13464
65.60	c 5136
65.65	o 13467
65.65	c 5133
65.71	o 13470
65.71	c 5130
65.77	o 13473
65.77	c 5127
65.82	o 13476
65.82	c 5124
65.88	o 13479
65.88	c 5121
65.93	o 13482
65.93	c 5118
65.98	o 13485
65.98	c 5115
66.02	o 13488
66.02	c 5112
66.07	o 13491
66.07	c 5109
66.11	o 13494
66.11	c 5106
66.15	o 13497
66.15	c 5103
66.20	o 13499
66.20	c 5101
66.24	o 13501
66.24	c 5099
66.27	o 13503
66.27	c 5097
66.31	o 13505
66.31	c 5095
66.35	o 13507
66.35	c 5093
66.38	o 13509
66.38	c 5091
66.41	o 13511
66.41	c 5089
66.46	o 13513
66.46	c 5087
66.50	o 13515
66.50	c 5085
66.52	o 13519
66.52	c 5081
66.55	o 13521
66.55	c 5079
66.58	o 13523
66.58	c 5077
66.61	o 13525
66.61	c 5075
66.63	o 13526
66.63	c 5074
66.66	o 13527
66.66	c 5073
66.69	o 13528
66.69	c 5072
66.72	o 13534
66.72	c 5066
66.74	o 13535
66.74	c 5065
66.77	o 13536
66.77	c 5064
66.80	o 13537
66.80	c 5063
66.84	o 13538
66.84	c 5062
66.86	o 13545
66.86	c 5055
66.88	o 13550
66.88	c 5050
66.91	o 13557
66.91	c 5043
66.92	o 13558
66.92	c 5042
66.96	o 13562
66.96	c 5038
66.98	o 13564
66.98	c 5036
67.01	o 13567
67.01	c 5033
67.04	o 13574
67.04	c 5026
67.07	o 13580
67.07	c 5020
67.10	o 13583
67.10	c 5017
67.12	o 13588
67.12	c 5012
67.15	o 13591
67.15	c 5009
67.18	o 13595
67.18	c 5005
67.23	o 13598
67.23	c 5002
67.27	o 13603
67.27	c 4997
67.31	o 13607
67.31	c 4993
67.35	o 13608
67.35	c 4992
67.39	o 13612
67.39	c 4988
67.42	o 13613
67.42	c 4987
67.47	o 13617
67.47	c 4983
67.51	o 13619
67.51	c 4981
67.54	o 13622
67.54	c 4978
67.56	o 13624
67.56	c 4976
67.62	o 13629
67.62	c 4971
67.65	o 13631
67.65	c 4969
67.69	o 13634
67.69	c 4966
67.74	o 13638
67.74	c 4962
67.89	o 13640
67.89	c 4960
67.96	o 13646
67.96	c 4954
68.04	o 13652
68.04	c 4948
68.11	o 13658
68.11	c 4942
68.18	o 13664
68.18	c 4936
68.26	o 13669
68.26	c 4931
68.33	o 13674
68.33	c 4926
68.40	o 13679
68.40	c 4921
68.47	o 13684
68.47	c 4916
68.54	o 13689
68.54	c 4911
68.61	o 13693
68.61	c 4907
68.68	o 13697
68.68	c 4903
68.75	o 13701
68.75	c 4899
68.82	o 13705
68.82	c 4895
68.89	o 13709
68.89	c 4891
68.96	o 13713
68.96	c 4887
69.03	o 13716
69.03	c 4884
69.09	o 13719
69.09	c 4881
69.14	o 13722
69.14	c 4878
69.19	o 13727
69.19	c 4873
69.24	o 13730
69.24	c 4870
69.29	o 13733
69.29	c 4867
69.35	o 13736
69.35	c 4864
69.40	o 13739
69.40	c 4861
69.46	o 13742
69.46	c 4858
69.55	o 13744
69.55	c 4856
69.59	o 13746
69.59	c 4854
69.63	o 13748
69.63	c 4852
69.67	o 13750
69.67	c 4850
69.72	o 13752
69.72	c 4848
69.76	o 13754
69.76	c 4846
69.80	o 13756
69.80	c 4844
69.84	o 13758
69.84	c 4842
69.88	o 13760
69.88	c 4840
69.92	o 13762
69.92	c 4838
69.96	o 13764
69.96	c 4836
69.99	o 13766
69.99	c 4834
70.03	o 13767
70.03	c 4833
70.06	o 13768
70.06	c 4832
70.10	o 13769
70.10	c 4831
70.14	o 13770
70.14	c 4830
70.17	o 13771
70.17	c 4829
70.20	o 13772
70.20	c 4828
70.23	o 13779
70.23	c 4821
70.27	o 13780
70.27	c 4820
70.29	o 13781
70.29	c 4819
70.31	o 13782
70.31	c 4818
70.38	o 13786
70.38	c 4814
70.40	o 13789
70.40	c 4811
70.43	o 13794
70.43	c 4806
70.45	o 13795
70.45	c 4805
70.48	o 13799
70.48	c 4801
70.50	o 13802
70.50	c 4798
70.52	o 13805
70.52	c 4795
70.58	o 13809
70.58	c 4791
70.61	o 13811
70.61	c 4789
70.64	o 13813
70.64	c 4787
70.67	o 13820
70.67	c 4780
70.71	o 13821
70.71	c 4779
70.74	o 13827
70.74	c 4773
70.79	o 13828
70.79	c 4772
70.83	o 13832
70.83	c 4768
70.87	o 13837
70.87	c 4763
70.92	o 13842
70.92	c 4758
70.96	o 13844
70.96	c 4756
71.03	o 13848
71.03	c 4752
71.09	o 13849
71.09	c 4751
71.13	o 13854
71.13	c 4746
71.17	o 13855
71.17	c 4745
71.20	o 13856
71.20	c 4744
71.24	o 13864
71.25	c 4736
71.28	o 13872
71.28	c 4728
71.31	o 13875
71.31	c 4725
71.34	o 13876
71.34	c 4724
71.37	o 13879
71.37	c 4721
71.41	o 13880
71.41	c 4720
71.44	o 13883
71.44	c 4717
71.48	o 13884
71.48	c 4716
71.57	o 13887
71.57	c 4713
71.60	o 13888
71.60	c 4712
71.63	o 13889
71.63	c 4711
71.66	o 13890
71.66	c 4710
71.69	o 13893
71.69	c 4707
71.71	o 13896
71.71	c 4704
71.74	o 13900
71.74	c 4700
71.78	o 13901
71.78	c 4699
71.88	o 13903
71.88	c 4697
71.93	o 13904
71.93	c 4696
71.97	o 13907
71.97	c 4693
72.01	o 13913
72.01	c 4687
72.05	o 13914
72.05	c 4686
72.11	o 13916
72.11	c 4684
72.17	o 13923
72.17	c 4677
72.23	o 13930
72.23	c 4670
72.31	o 13936
72.31	c 4664
72.40	o 13942
72.40	c 4658
72.47	o 13944
72.47	c 4656
72.55	o 13950
72.55	c 4650
72.61	o 13952
72.61	c 4648
72.67	o 13953
72.67	c 4647
72.90	o 13958
72.90	c 4642
72.98	o 13964
72.98	c 4636
73.08	o 13969
73.08	c 4631
73.16	o 13974
73.16	c 4626
73.25	o 13979
73.25	c 4621
73.34	o 13983
73.34	c 4617
73.42	o 13987
73.42	c 4613
73.51	o 13991
73.51	c 4609
73.59	o 13995
73.59	c 4605
73.67	o 13999
73.67	c 4601
73.75	o 14000
73.75	c 4600
73.84	o 14004
73.84	c 4596
73.92	o 14007
73.92	c 4593
74.00	o 14010
74.00	c 4590
74.08	o 14014
74.08	c 4586
74.16	o 14017
74.16	c 4583
74.23	o 14020
74.23	c 4580
74.31	o 14023
74.31	c 4577
74.39	o 14026
74.39	c 4574
74.47	o 14028
74.47	c 4572
74.54	o 14031
74.54	c 4569
74.61	o 14034
74.61	c 4566
74.68	o 14037
74.68	c 4563
74.74	o 14040
74.74	c 4560
74.81	o 14042
74.81	c 4558
74.88	o 14044
74.88	c 4556
74.95	o 14046
74.95	c 4554
75.01	o 14048
75.01	c 4552
75.08	o 14050
75.08	c 4550
75.13	o 14052
75.13	c 4548
75.19	o 14054
75.19	c 4546
75.25	o 14056
75.25	c 4544
75.31	o 14058
75.31	c 4542
75.37	o 14060
75.37	c 4540
75.42	o 14062
75.42	c 4538
75.48	o 14063
75.48	c 4537
75.53	o 14064
75.53	c 4536
75.58	o 14065
75.58	c 4535
75.62	o 14066
75.62	c 4534
75.66	o 14067
75.66	c 4533
75.71	o 14068
75.71	c 4532
75.75	o 14069
75.75	c 4531
75.80	o 14070
75.80	c 4530
75.86	o 14071
75.86	c 4529
75.90	o 14075
75.90	c 4525
75.97	o 14076
75.97	c 4524
76.11	o 14077
76.11	c 4523
76.15	o 14079
76.15	c 4521
76.19	o 14083
76.19	c 4517
76.24	o 14090
76.24	c 4510
76.39	o 14094
76.39	c 4506
76.43	o 14100
76.43	c 4500
76.57	o 14106
76.57	c 4494
76.63	o 14107
76.63	c 4493
76.75	o 14109
76.75	c 4491
76.84	o 14113
76.84	c 4487
76.99	o 14115
76.99	c 4485
77.03	o 14116
77.03	c 4484
77.07	o 14118
77.07	c 4482
77.12	o 14120
77.12	c 4480
77.16	o 14122
77.16	c 4478
77.21	o 14125
77.21	c 4475
77.25	o 14129
77.25	c 4471
77.30	o 14131
77.30	c 4469
77.34	o 14135
77.34	c 4465
77.39	o 14137
77.39	c 4463
77.43	o 14139
77.43	c 4461
77.47	o 14141
77.47	c 4459
77.52	o 14144
77.52	c 4456
77.56	o 14147
77.56	c 4453
77.61	o 14150
77.61	c 4450
77.73	o 14151
77.73	c 4449
77.78	o 14155
77.78	c 4445
77.81	o 14158
77.81	c 4442
77.85	o 14162
77.85	c 4438
77.90	o 14163
77.90	c 4437
77.94	o 14164
77.94	c 4436
77.99	o 14167
77.99	c 4433
78.03	o 14169
78.03	c 4431
78.07	o 14171
78.07	c 4429
78.11	o 14175
78.11	c 4425
78.15	o 14178
78.15	c 4422
78.19	o 14179
78.19	c 4421
78.24	o 14180
78.24	c 4420
78.26	o 14181
78.26	c 4419
78.30	o 14184
78.30	c 4416
78.46	o 14188
78.46	c 4412
78.49	o 14191
78.49	c 4409
78.55	o 14194
78.55	c 4406
78.59	o 14195
78.59	c 4405
78.64	o 14197
78.64	c 4403
78.68	o 14199
78.68	c 4401
78.72	o 14201
78.72	c 4399
78.76	o 14206
78.76	c 4394
78.80	o 14209
78.80	c 4391
78.84	o 14210
78.84	c 4390
78.88	o 14212
78.88	c 4388
78.92	o 14217
78.92	c 4383
78.97	o 14221
78.97	c 4379
79.01	o 14222
79.01	c 4378
79.06	o 14228
79.06	c 4372
79.11	o 14232
79.11	c 4368
79.16	o 14233
79.16	c 4367
79.21	o 14236
79.21	c 4364
79.25	o 14240
79.25	c 4360
79.29	o 14244
79.29	c 4356
79.32	o 14247
79.32	c 4353
79.37	o 14251
79.37	c 4349
79.40	o 14252
79.40	c 4348
79.50	o 14254
79.50	c 4346
79.58	o 14257
79.58	c 4343
79.63	o 14263
79.63	c 4337
79.67	o 14264
79.67	c 4336
79.73	o 14266
79.73	c 4334
79.77	o 14267
79.77	c 4333
79.82	o 14269
79.82	c 4331
79.88	o 14272
79.88	c 4328
79.92	o 14273
79.92	c 4327
79.98	o 14274
79.98	c 4326
80.04	o 14279
80.04	c 4321
80.08	o 14281
80.08	c 4319
80.24	o 14282
80.24	c 4318
80.34	o 14286
80.34	c 4314
80.38	o 14288
80.38	c 4312
80.43	o 14289
80.43	c 4311
80.46	o 14291
80.47	c 4309
80.53	o 14296
80.53	c 4304
80.61	o 14300
80.61	c 4300
80.70	o 14304
80.70	c 4296
80.77	o 14308
80.77	c 4292
80.83	o 14312
80.83	c 4288
80.90	o 14316
80.90	c 4284
80.97	o 14320
80.97	c 4280
81.03	o 14324
81.03	c 4276
81.10	o 14328
81.10	c 4272
81.17	o 14332
81.17	c 4268
81.24	o 14335
81.24	c 4265
81.30	o 14338
81.30	c 4262
81.37	o 14341
81.37	c 4259
81.44	o 14344
81.44	c 4256
81.50	o 14347
81.50	c 4253
81.56	o 14349
81.56	c 4251
81.61	o 14352
81.61	c 4248
81.67	o 14354
81.67	c 4246
81.72	o 14356
81.72	c 4244
81.77	o 14358
81.77	c 4242
81.82	o 14360
81.82	c 4240
81.87	o 14362
81.87	c 4238
81.91	o 14363
81.91	c 4237
81.97	o 14364
81.97	c 4236
82.02	o 14368
82.02	c 4232
82.06	o 14369
82.06	c 4231
82.11	o 14370
82.11	c 4230
82.17	o 14371
82.17	c 4229
82.21	o 14372
82.21	c 4228
82.31	o 14375
82.31	c 4225
82.36	o 14377
82.36	c 4223
82.50	o 14378
82.50	c 4222
82.56	o 14381
82.56	c 4219
82.61	o 14382
82.61	c 4218
82.66	o 14383
82.66	c 4217
82.70	o 14385
82.70	c 4215
82.77	o 14386
82.77	c 4214
82.81	o 14388
82.81	c 4212
82.91	o 14393
82.91	c 4207
82.97	o 14397
82.97	c 4203
83.02	o 14401
83.02	c 4199
83.07	o 14402
83.07	c 4198
83.20	o 14405
83.20	c 4195
83.26	o 14409
83.26	c 4191
83.31	o 14412
83.31	c 4188
83.36	o 14413
83.36	c 4187
83.41	o 14415
83.41	c 4185
83.46	o 14416
83.46	c 4184
83.51	o 14418
83.51	c 4182
83.56	o 14419
83.56	c 4181
83.61	o 14423
83.61	c 4177
83.67	o 14425
83.67	c 4175
83.72	o 14427
83.72	c 4173
83.77	o 14430
83.77	c 4170
83.81	o 14431
83.81	c 4169
83.93	o 14436
83.93	c 4164
84.04	o 14439
84.04	c 4161
84.11	o 14440
84.11	c 4160
84.16	o 14443
84.16	c 4157
84.22	o 14445
84.22	c 4155
84.29	o 14446
84.29	c 4154
84.44	o 14448
84.44	c 4152
84.59	o 14451
84.59	c 4149
84.65	o 14454
84.65	c 4146
84.72	o 14455
84.72	c 4145
84.81	o 14458
84.81	c 4142
84.88	o 14459
84.88	c 4141
84.94	o 14461
84.94	c 4139
85.01	o 14463
85.01	c 4137
85.07	o 14464
85.07	c 4136
85.15	o 14469
85.15	c 4131
85.34	o 14475
85.34	c 4125
85.40	o 14476
85.40	c 4124
85.53	o 14477
85.53	c 4123
85.60	o 14478
85.60	c 4122
85.68	o 14479
85.68	c 4121
85.76	o 14480
85.76	c 4120
85.83	o 14482
85.83	c 4118
85.90	o 14483
85.90	c 4117
85.98	o 14485
85.98	c 4115
86.06	o 14487
86.06	c 4113
86.41	o 14488
86.41	c 4112
86.49	o 14489
86.49	c 4111
86.57	o 14491
86.57	c 4109
86.65	o 14496
86.65	c 4104
86.73	o 14498
86.73	c 4102
86.80	o 14499
86.80	c 4101
86.98	o 14501
86.98	c 4099
87.05	o 14503
87.05	c 4097
87.59	o 14507
87.59	c 4093
87.68	o 14509
87.68	c 4091
87.76	o 14511
87.76	c 4089
87.83	o 14514
87.83	c 4086
87.92	o 14516
87.92	c 4084
88.15	o 14517
88.15	c 4083
88.23	o 14518
88.23	c 4082
88.31	o 14519
88.31	c 4081
88.38	o 14522
88.38	c 4078
88.45	o 14523
88.45	c 4077
88.53	o 14525
88.53	c 4075
88.60	o 14526
88.60	c 4074
88.68	o 14527
88.68	c 4073
88.77	o 14528
88.77	c 4072
88.85	o 14531
88.85	c 4069
89.15	o 14533
89.15	c 4067
89.22	o 14539
89.22	c 4061
89.29	o 14540
89.29	c 4060
89.38	o 14541
89.38	c 4059
89.46	o 14543
89.46	c 4057
89.55	o 14548
89.55	c 4052
89.62	o 14553
89.62	c 4047
89.70	o 14559
89.70	c 4041
89.77	o 14562
89.77	c 4038
89.84	o 14563
89.84	c 4037
89.92	o 14565
89.92	c 4035
90.03	o 14568
90.03	c 4032
90.14	o 14573
90.14	c 4027
90.25	o 14579
90.25	c 4021
90.38	o 14583
90.38	c 4017
90.51	o 14586
90.51	c 4014
90.64	o 14589
90.64	c 4011
90.76	o 14592
90.76	c 4008
90.88	o 14594
90.88	c 4006
91.00	o 14596
91.00	c 4004
91.12	o 14598
91.12	c 4002
91.23	o 14600
91.23	c 4000
91.35	o 14602
91.35	c 3998
91.45	o 14604
91.45	c 3996
91.56	o 14606
91.56	c 3994
91.67	o 14607
91.67	c 3993
91.75	o 14608
91.75	c 3992
91.82	o 14611
91.82	c 3989
91.92	o 14613
91.92	c 3987
92.02	o 14615
92.02	c 3985
92.12	o 14617
92.12	c 3983
92.49	o 14618
92.49	c 3982
92.58	o 14619
92.58	c 3981
92.67	o 14620
92.67	c 3980
92.76	o 14621
92.76	c 3979
92.85	o 14623
92.85	c 3977
92.96	o 14624
92.96	c 3976
93.06	o 14625
93.06	c 3975
93.15	o 14626
93.15	c 3974
93.24	o 14632
93.24	c 3968
93.33	o 14634
93.33	c 3966
93.42	o 14635
93.42	c 3965
93.79	o 14638
93.79	c 3962
94.04	o 14639
94.04	c 3961
94.19	o 14640
94.19	c 3960
94.29	o 14644
94.29	c 3956
94.37	o 14647
94.37	c 3953
94.44	o 14648
94.44	c 3952
94.53	o 14651
94.53	c 3949
94.60	o 14652
94.60	c 3948
94.70	o 14657
94.70	c 3943
94.88	o 14660
94.88	c 3940
94.97	o 14661
94.97	c 3939
95.06	o 14665
95.06	c 3935
95.25	o 14666
95.25	c 3934
95.34	o 14669
95.34	c 3931
95.44	o 14671
95.44	c 3929
95.62	o 14673
95.62	c 3927
95.96	o 14674
95.96	c 3926
96.05	o 14677
96.05	c 3923
96.22	o 14679
96.22	c 3921
96.31	o 14681
96.31	c 3919
96.50	o 14683
96.50	c 3917
96.67	o 14684
96.67	c 3916
96.76	o 14686
96.76	c 3914
96.86	o 14690
96.86	c 3910
96.94	o 14693
96.94	c 3907
97.13	o 14694
97.13	c 3906
97.22	o 14695
97.22	c 3905
97.32	o 14699
97.32	c 3901
97.41	o 14701
97.41	c 3899
97.59	o 14704
97.59	c 3896
97.77	o 14705
97.77	c 3895
97.86	o 14709
97.86	c 3891
97.95	o 14713
97.95	c 3887
98.05	o 14715
98.05	c 3885
98.14	o 14717
98.14	c 3883
98.22	o 14718
98.22	c 3882
98.62	o 14721
98.62	c 3879
98.71	o 14723
98.71	c 3877
98.89	o 14725
98.89	c 3875
98.98	o 14729
98.98	c 3871
99.07	o 14731
99.07	c 3869
99.16	o 14732
99.16	c 3868
99.25	o 14733
99.25	c 3867
99.35	o 14736
99.35	c 3864
99.46	o 14738
99.46	c 3862
99.56	o 14742
99.56	c 3858
99.68	o 14745
99.68	c 3855
99.78	o 14748
99.78	c 3852
100.09	o 14749
100.09	c 3851
100.31	o 14751
100.31	c 3849
100.41	o 14753
100.41	c 3847
100.51	o 14754
100.51	c 3846
100.61	o 14760
100.61	c 3840
100.72	o 14762
100.72	c 3838
100.83	o 14766
100.83	c 3834
100.94	o 14767
100.94	c 3833
101.05	o 14768
101.05	c 3832
101.25	o 14771
101.25	c 3829
101.36	o 14772
101.36	c 3828
101.46	o 14773
101.46	c 3827
101.91	o 14777
101.91	c 3823
102.02	o 14780
102.02	c 3820
102.13	o 14786
102.13	c 3814
102.36	o 14787
102.36	c 3813
102.69	o 14789
102.69	c 3811
102.80	o 14790
102.80	c 3810
102.93	o 14792
102.93	c 3808
103.04	o 14795
103.04	c 3805
103.15	o 14798
103.15	c 3802
103.48	o 14801
103.48	c 3799
103.68	o 14803
103.68	c 3797
103.89	o 14807
103.89	c 3793
104.22	o 14808
104.22	c 3792
104.33	o 14810
104.33	c 3790
104.56	o 14811
104.56	c 3789
104.70	o 14816
104.70	c 3784
104.83	o 14820
104.83	c 3780
104.95	o 14821
104.95	c 3779
105.21	o 14825
105.21	c 3775
105.32	o 14826
105.32	c 3774
105.45	o 14827
105.45	c 3773
106.09	o 14828
106.09	c 3772
106.22	o 14832
106.22	c 3768
106.34	o 14834
106.34	c 3766
107.05	o 14835
107.05	c 3765
107.39	o 14838
107.39	c 3762
107.51	o 14841
107.51	c 3759
107.64	o 14843
107.64	c 3757
107.76	o 14844
107.76	c 3756
108.42	o 14846
108.42	c 3754
108.55	o 14849
108.55	c 3751
108.80	o 14851
108.80	c 3749
108.92	o 14855
108.92	c 3745
109.04	o 14856
109.04	c 3744
109.17	o 14857
109.17	c 3743
109.28	o 14859
109.28	c 3741
109.39	o 14860
109.39	c 3740
109.63	o 14863
109.63	c 3737
109.75	o 14866
109.75	c 3734
109.87	o 14868
109.87	c 3732
110.11	o 14869
110.11	c 3731
110.35	o 14872
110.35	c 3728
110.47	o 14874
110.47	c 3726
110.59	o 14879
110.59	c 3721
111.06	o 14880
111.06	c 3720
111.19	o 14885
111.19	c 3715
111.32	o 14888
111.32	c 3712
111.42	o 14889
111.42	c 3711
111.54	o 14891
111.54	c 3709
111.67	o 14894
111.67	c 3706
111.91	o 14896
111.91	c 3704
112.15	o 14901
112.15	c 3699
112.26	o 14902
112.26	c 3698
112.39	o 14903
112.39	c 3697
112.51	o 14906
112.51	c 3694
112.64	o 14908
112.64	c 3692
112.88	o 14911
112.88	c 3689
113.01	o 14912
113.01	c 3688
113.13	o 14915
113.13	c 3685
113.26	o 14916
113.26	c 3684
113.39	o 14917
113.39	c 3683
113.51	o 14918
113.51	c 3682
113.63	o 14920
113.63	c 3680
113.89	o 14923
113.89	c 3677
114.03	o 14926
114.03	c 3674
114.15	o 14927
114.15	c 3673
114.58	o 14930
114.58	c 3670
114.73	o 14933
114.73	c 3667
114.87	o 14935
114.87	c 3665
115.02	o 14937
115.02	c 3663
115.16	o 14939
115.16	c 3661
115.29	o 14940
115.29	c 3660
115.43	o 14942
115.43	c 3658
115.57	o 14944
115.57	c 3656
115.71	o 14946
115.71	c 3654
115.84	o 14948
115.84	c 3652
115.97	o 14950
115.97	c 3650
116.64	o 14951
116.64	c 3649
116.76	o 14952
116.76	c 3648
116.89	o 14953
116.89	c 3647
117.03	o 14959
117.03	c 3641
117.16	o 14960
117.16	c 3640
117.28	o 14961
117.28	c 3639
117.40	o 14962
117.40	c 3638
117.52	o 14963
117.52	c 3637
118.38	o 14966
118.38	c 3634
118.51	o 14967
118.51	c 3633
118.61	o 14970
118.61	c 3630
118.83	o 14974
118.83	c 3626
118.97	o 14976
118.97	c 3624
119.08	o 14977
119.08	c 3623
119.18	o 14981
119.18	c 3619
119.53	o 14985
119.53	c 3615
119.63	o 14989
119.63	c 3611
119.75	o 14992
119.75	c 3608
119.98	o 14993
119.98	c 3607
120.31	o 14997
120.31	c 3603
120.43	o 15000
120.43	c 3600
120.54	o 15002
120.54	c 3598
120.64	o 15007
120.64	c 3593
120.75	o 15009
120.75	c 3591
120.85	o 15014
120.85	c 3586
120.95	o 15015
120.95	c 3585
121.06	o 15017
121.06	c 3583
121.16	o 15019
121.16	c 3581
121.27	o 15020
121.27	c 3580
121.48	o 15021
121.48	c 3579
121.58	o 15022
121.58	c 3578
121.69	o 15024
121.69	c 3576
121.81	o 15025
121.81	c 3575
121.93	o 15030
121.93	c 3570
122.06	o 15032
122.06	c 3568
122.19	o 15034
122.19	c 3566
122.43	o 15035
122.43	c 3565
123.07	o 15038
123.07	c 3562
123.20	o 15041
123.20	c 3559
123.46	o 15043
123.46	c 3557
123.60	o 15046
123.60	c 3554
123.72	o 15047
123.72	c 3553
123.85	o 15049
123.85	c 3551
123.99	o 15053
123.99	c 3547
124.12	o 15056
124.12	c 3544
124.26	o 15057
124.26	c 3543
124.77	o 15059
124.77	c 3541
124.90	o 15061
124.90	c 3539
125.03	o 15062
125.03	c 3538
125.29	o 15065
125.29	c 3535
125.41	o 15068
125.41	c 3532
125.52	o 15069
125.52	c 3531
125.64	o 15072
125.64	c 3528
125.77	o 15075
125.77	c 3525
126.16	o 15076
126.16	c 3524
126.30	o 15078
126.30	c 3522
126.43	o 15082
126.43	c 3518
126.57	o 15084
126.57	c 3516
127.06	o 15085
127.06	c 3515
127.19	o 15086
127.19	c 3514
127.31	o 15089
127.31	c 3511
127.44	o 15092
127.44	c 3508
128.92	o 15094
128.92	c 3506
129.07	o 15096
129.07	c 3504
129.20	o 15098
129.20	c 3502
129.32	o 15099
129.32	c 3501
129.44	o 15102
129.44	c 3498
129.56	o 15104
129.56	c 3496
129.67	o 15107
129.67	c 3493
129.78	o 15109
129.78	c 3491
129.91	o 15110
129.91	c 3490
130.01	o 15113
130.01	c 3487
130.14	o 15114
130.14	c 3486
130.25	o 15116
130.25	c 3484
130.50	o 15117
130.50	c 3483
130.63	o 15119
130.63	c 3481
130.74	o 15121
130.74	c 3479
130.86	o 15125
130.86	c 3475
131.11	o 15126
131.11	c 3474
131.24	o 15127
131.24	c 3473
131.38	o 15130
131.38	c 3470
131.50	o 15132
131.50	c 3468
132.01	o 15135
132.01	c 3465
132.13	o 15136
132.13	c 3464
132.25	o 15138
132.25	c 3462
132.51	o 15141
132.51	c 3459
132.64	o 15142
132.64	c 3458
132.78	o 15146
132.78	c 3454
132.91	o 15148
132.91	c 3452
133.05	o 15150
133.05	c 3450
133.19	o 15153
133.19	c 3447
133.33	o 15155
133.33	c 3445
133.48	o 15156
133.48	c 3444
133.61	o 15157
133.61	c 3443
133.89	o 15160
133.89	c 3440
134.03	o 15162
134.03	c 3438
134.15	o 15166
134.15	c 3434
134.41	o 15170
134.41	c 3430
134.54	o 15173
134.54	c 3427
134.68	o 15177
134.68	c 3423
134.93	o 15179
134.93	c 3421
135.18	o 15182
135.18	c 3418
135.31	o 15185
135.31	c 3415
135.43	o 15186
135.43	c 3414
135.67	o 15190
135.67	c 3410
135.81	o 15192
135.81	c 3408
135.93	o 15194
135.93	c 3406
136.19	o 15195
136.19	c 3405
136.31	o 15200
136.31	c 3400
136.55	o 15203
136.55	c 3397
136.67	o 15205
136.67	c 3395
136.80	o 15208
136.80	c 3392
136.92	o 15211
136.92	c 3389
137.03	o 15212
137.03	c 3388
137.17	o 15213
137.17	c 3387
137.64	o 15214
137.64	c 3386
137.76	o 15215
137.76	c 3385
137.88	o 15217
137.88	c 3383
138.00	o 15218
138.00	c 3382
138.11	o 15221
138.11	c 3379
138.23	o 15223
138.23	c 3377
138.36	o 15226
138.36	c 3374
138.47	o 15227
138.47	c 3373
138.71	o 15229
138.71	c 3371
138.83	o 15230
138.83	c 3370
138.95	o 15232
138.95	c 3368
139.19	o 15233
139.19	c 3367
139.44	o 15234
139.44	c 3366
139.69	o 15238
139.69	c 3362
139.82	o 15240
139.82	c 3360
139.94	o 15241
139.94	c 3359
140.06	o 15245
140.06	c 3355
140.44	o 15246
140.44	c 3354
140.56	o 15248
140.56	c 3352
140.69	o 15252
140.69	c 3348
140.82	o 15255
140.82	c 3345
140.95	o 15259
140.95	c 3341
141.09	o 15262
141.09	c 3338
141.35	o 15264
141.35	c 3336
141.60	o 15267
141.60	c 3333
141.73	o 15270
141.73	c 3330
142.00	o 15276
142.00	c 3324
142.26	o 15279
142.26	c 3321
142.40	o 15281
142.40	c 3319
142.54	o 15283
142.54	c 3317
142.67	o 15286
142.67	c 3314
143.06	o 15288
143.06	c 3312
143.20	o 15289
143.20	c 3311
143.35	o 15292
143.35	c 3308
143.48	o 15295
143.48	c 3305
143.62	o 15297
143.62	c 3303
143.77	o 15298
143.77	c 3302
143.91	o 15300
143.91	c 3300
144.20	o 15303
144.20	c 3297
144.35	o 15307
144.35	c 3293
144.50	o 15310
144.50	c 3290
144.64	o 15315
144.64	c 3285
144.79	o 15318
144.79	c 3282
144.94	o 15319
144.94	c 3281
145.09	o 15320
145.09	c 3280
145.57	o 15323
145.57	c 3277
145.73	o 15326
145.73	c 3274
145.90	o 15328
145.90	c 3272
146.37	o 15329
146.37	c 3271
146.54	o 15331
146.54	c 3269
146.71	o 15334
146.71	c 3266
146.89	o 15336
146.89	c 3264
147.06	o 15341
147.06	c 3259
147.23	o 15342
147.23	c 3258
147.39	o 15343
147.39	c 3257
147.72	o 15348
147.72	c 3252
147.89	o 15349
147.89	c 3251
148.06	o 15351
148.06	c 3249
148.56	o 15354
148.56	c 3246
148.74	o 15358
148.74	c 3242
148.90	o 15362
148.90	c 3238
149.06	o 15363
149.06	c 3237
149.39	o 15364
149.39	c 3236
149.56	o 15367
149.56	c 3233
149.72	o 15368
149.72	c 3232
150.37	o 15369
150.37	c 3231
150.55	o 15371
150.55	c 3229
150.72	o 15374
150.72	c 3226
150.88	o 15376
150.88	c 3224
151.22	o 15379
151.22	c 3221
151.41	o 15382
151.41	c 3218
151.57	o 15385
151.57	c 3215
151.75	o 15386
151.75	c 3214
151.91	o 15389
151.91	c 3211
152.08	o 15391
152.08	c 3209
152.25	o 15392
152.25	c 3208
152.41	o 15394
152.41	c 3206
152.58	o 15397
152.58	c 3203
152.75	o 15399
152.75	c 3201
152.92	o 15401
152.92	c 3199
153.08	o 15403
153.08	c 3197
153.25	o 15404
153.25	c 3196
153.42	o 15406
153.42	c 3194
153.57	o 15408
153.57	c 3192
153.89	o 15409
153.89	c 3191
154.05	o 15410
154.05	c 3190
154.23	o 15411
154.23	c 3189
154.39	o 15412
154.39	c 3188
155.06	o 15413
155.06	c 3187
155.22	o 15416
155.22	c 3184
155.40	o 15417
155.40	c 3183
155.73	o 15420
155.73	c 3180
155.90	o 15422
155.90	c 3178
156.07	o 15426
156.07	c 3174
156.22	o 15429
156.22	c 3171
156.38	o 15431
156.38	c 3169
156.54	o 15432
156.54	c 3168
156.71	o 15433
156.71	c 3167
156.88	o 15435
156.88	c 3165
157.05	o 15439
157.05	c 3161
157.52	o 15441
157.52	c 3159
157.68	o 15444
157.68	c 3156
157.84	o 15447
157.84	c 3153
158.63	o 15450
158.63	c 3150
158.95	o 15452
158.95	c 3148
159.41	o 15454
159.41	c 3146
159.58	o 15456
159.58	c 3144
159.74	o 15458
159.74	c 3142
159.89	o 15460
159.89	c 3140
160.04	o 15464
160.04	c 3136
160.20	o 15466
160.20	c 3134
160.36	o 15467
160.36	c 3133
160.51	o 15469
160.51	c 3131
160.67	o 15474
160.67	c 3126
160.95	o 15477
160.95	c 3123
161.26	o 15478
161.26	c 3122
161.40	o 15479
161.40	c 3121
161.55	o 15480
161.55	c 3120
161.87	o 15483
161.87	c 3117
162.02	o 15485
162.02	c 3115
162.17	o 15486
162.17	c 3114
162.33	o 15490
162.33	c 3110
162.48	o 15493
162.48	c 3107
162.64	o 15495
162.64	c 3105
162.82	o 15500
162.82	c 3100
163.31	o 15503
163.31	c 3097
163.45	o 15505
163.45	c 3095
163.62	o 15508
163.62	c 3092
163.78	o 15510
163.78	c 3090
163.93	o 15514
163.93	c 3086
164.09	o 15517
164.09	c 3083
164.58	o 15519
164.59	c 3081
164.75	o 15520
164.75	c 3080
164.93	o 15524
164.93	c 3076
165.46	o 15525
165.46	c 3075
165.64	o 15529
165.64	c 3071
165.83	o 15531
165.83	c 3069
166.00	o 15534
166.00	c 3066
166.17	o 15536
166.17	c 3064
166.36	o 15538
166.36	c 3062
166.71	o 15540
166.71	c 3060
166.90	o 15543
166.90	c 3057
167.45	o 15546
167.45	c 3054
167.63	o 15547
167.63	c 3053
167.80	o 15548
167.80	c 3052
168.34	o 15549
168.34	c 3051
168.53	o 15550
168.53	c 3050
168.70	o 15554
168.70	c 3046
168.89	o 15555
168.89	c 3045
169.25	o 15560
169.25	c 3040
169.44	o 15563
169.44	c 3037
169.62	o 15565
169.62	c 3035
169.81	o 15568
169.81	c 3032
169.98	o 15569
169.98	c 3031
170.34	o 15570
170.34	c 3030
170.53	o 15573
170.53	c 3027
170.68	o 15577
170.68	c 3023
170.85	o 15581
170.85	c 3019
171.03	o 15585
171.03	c 3015
171.38	o 15586
171.38	c 3014
171.55	o 15589
171.55	c 3011
171.72	o 15590
171.72	c 3010
171.88	o 15593
171.88	c 3007
172.06	o 15597
172.06	c 3003
172.57	o 15598
172.57	c 3002
172.75	o 15599
172.75	c 3001
172.92	o 15600
172.92	c 3000
173.10	o 15601
173.10	c 2999
173.27	o 15606
173.27	c 2994
173.81	o 15608
173.81	c 2992
174.20	o 15610
174.20	c 2990
174.79	o 15611
174.79	c 2989
175.58	o 15613
175.58	c 2987
176.16	o 15615
176.16	c 2985
176.36	o 15618
176.36	c 2982
176.96	o 15621
176.96	c 2979
177.15	o 15622
177.15	c 2978
177.53	o 15624
177.53	c 2976
177.72	o 15626
177.72	c 2974
178.31	o 15627
178.31	c 2973
179.42	o 15628
179.42	c 2972
179.62	o 15632
179.62	c 2968
180.40	o 15636
180.40	c 2964
180.59	o 15637
180.59	c 2963
181.17	o 15639
181.17	c 2961
181.38	o 15640
181.38	c 2960
181.57	o 15643
181.57	c 2957
181.77	o 15646
181.77	c 2954
182.14	o 15647
182.14	c 2953
182.34	o 15648
182.34	c 2952
182.72	o 15650
182.72	c 2950
182.91	o 15653
182.91	c 2947
183.11	o 15655
183.11	c 2945
183.30	o 15658
183.30	c 2942
183.48	o 15662
183.48	c 2938
183.67	o 15665
183.67	c 2935
183.86	o 15666
183.86	c 2934
184.41	o 15668
184.41	c 2932
184.61	o 15670
184.61	c 2930
184.79	o 15672
184.79	c 2928
184.98	o 15674
184.98	c 2926
185.15	o 15678
185.15	c 2922
185.68	o 15680
185.68	c 2920
187.69	o 15682
187.69	c 2918
188.44	o 15685
188.44	c 2915
188.60	o 15686
188.60	c 2914
188.81	o 15687
188.81	c 2913
188.99	o 15688
188.99	c 2912
189.18	o 15689
189.18	c 2911
189.37	o 15690
189.37	c 2910
189.55	o 15692
189.55	c 2908
189.87	o 15696
189.87	c 2904
190.26	o 15697
190.26	c 2903
190.44	o 15698
190.44	c 2902
190.64	o 15699
190.64	c 2901
190.83	o 15700
190.83	c 2900
191.03	o 15701
191.03	c 2899
191.22	o 15702
191.22	c 2898
191.42	o 15704
191.42	c 2896
191.63	o 15706
191.63	c 2894
192.02	o 15708
192.02	c 2892
192.22	o 15711
192.22	c 2889
192.43	o 15712
192.43	c 2888
196.26	o 15713
196.26	c 2887
198.27	o 15714
198.27	c 2886
198.48	o 15716
198.48	c 2884
198.68	o 15717
198.68	c 2883
199.27	o 15718
199.27	c 2882
199.67	o 15719
199.67	c 2881
199.88	o 15722
199.88	c 2878
200.08	o 15724
200.08	c 2876
200.28	o 15725
200.28	c 2875
201.10	o 15729
201.10	c 2871
201.52	o 15731
201.52	c 2869
201.72	o 15733
201.72	c 2867
201.93	o 15735
201.93	c 2865
202.14	o 15736
202.15	c 2864
202.35	o 15738
202.35	c 2862
202.57	o 15741
202.57	c 2859
203.24	o 15742
203.24	c 2858
203.87	o 15744
203.87	c 2856
204.09	o 15746
204.09	c 2854
204.29	o 15749
204.29	c 2851
204.72	o 15751
204.72	c 2849
205.36	o 15752
205.36	c 2848
205.60	o 15753
205.60	c 2847
205.80	o 15755
205.80	c 2845
206.02	o 15757
206.02	c 2843
206.23	o 15759
206.23	c 2841
206.41	o 15760
206.41	c 2840
206.53	o 15763
206.53	c 2837
206.85	o 15766
206.85	c 2834
207.08	o 15769
207.08	c 2831
207.66	o 15770
207.66	c 2830
207.85	o 15772
207.85	c 2828
208.03	o 15774
208.04	c 2826
209.00	o 15776
209.00	c 2824
209.39	o 15779
209.39	c 2821
209.79	o 15780
209.79	c 2820
212.56	o 15782
212.56	c 2818
212.77	o 15783
212.77	c 2817
212.98	o 15784
212.98	c 2816
213.17	o 15789
213.17	c 2811
213.38	o 15790
213.38	c 2810
213.59	o 15793
213.59	c 2807
213.80	o 15795
213.80	c 2805
214.00	o 15796
214.00	c 2804
214.19	o 15797
214.19	c 2803
214.39	o 15798
214.39	c 2802
214.58	o 15800
214.58	c 2800
214.77	o 15801
214.77	c 2799
215.20	o 15802
215.20	c 2798
215.40	o 15803
215.40	c 2797
215.80	o 15805
215.80	c 2795
215.94	o 15809
215.94	c 2791
216.13	o 15811
216.13	c 2789
216.46	o 15812
216.46	c 2788
217.29	o 15813
217.29	c 2787
217.50	o 15814
217.50	c 2786
217.70	o 15816
217.70	c 2784
218.55	o 15817
218.55	c 2783
219.85	o 15818
219.85	c 2782
220.07	o 15821
220.07	c 2779
220.50	o 15822
220.50	c 2778
220.72	o 15825
220.72	c 2775
220.94	o 15830
220.94	c 2770
221.16	o 15836
221.16	c 2764
221.60	o 15839
221.60	c 2761
221.84	o 15841
221.84	c 2759
222.07	o 15842
222.07	c 2758
222.30	o 15843
222.30	c 2757
222.77	o 15844
222.77	c 2756
223.01	o 15845
223.01	c 2755
223.68	o 15847
223.68	c 2753
223.92	o 15850
223.92	c 2750
224.14	o 15852
224.14	c 2748
224.37	o 15853
224.37	c 2747
224.86	o 15857
224.86	c 2743
225.34	o 15858
225.34	c 2742
225.81	o 15860
225.81	c 2740
226.05	o 15861
226.05	c 2739
226.29	o 15862
226.29	c 2738
227.25	o 15863
227.25	c 2737
227.50	o 15864
227.50	c 2736
227.72	o 15865
227.72	c 2735
228.72	o 15867
228.72	c 2733
229.20	o 15869
229.20	c 2731
229.45	o 15871
229.45	c 2729
229.70	o 15872
229.70	c 2728
231.18	o 15873
231.18	c 2727
231.44	o 15875
231.44	c 2725
231.71	o 15877
231.71	c 2723
231.97	o 15878
231.97	c 2722
232.24	o 15879
232.24	c 2721
232.50	o 15880
232.50	c 2720
232.77	o 15881
232.77	c 2719
233.04	o 15882
233.04	c 2718
233.29	o 15883
233.29	c 2717
233.56	o 15884
233.56	c 2716
233.82	o 15885
233.82	c 2715
234.36	o 15887
234.36	c 2713
235.68	o 15889
235.68	c 2711
235.95	o 15890
235.95	c 2710
237.26	o 15893
237.26	c 2707
237.83	o 15894
237.83	c 2706
238.64	o 15896
238.64	c 2704
238.93	o 15898
238.93	c 2702
239.20	o 15900
239.20	c 2700
241.13	o 15903
241.13	c 2697
243.33	o 15907
243.33	c 2693
243.59	o 15908
243.59	c 2692
243.87	o 15910
243.87	c 2690
244.41	o 15911
244.41	c 2689
245.04	o 15915
245.04	c 2685
245.30	o 15916
245.30	c 2684
245.58	o 15924
245.58	c 2676
246.40	o 15927
246.40	c 2673
246.67	o 15930
246.67	c 2670
246.93	o 15932
246.93	c 2668
247.15	o 15934
247.15	c 2666
249.48	o 15935
249.48	c 2665
249.77	o 15936
249.77	c 2664
250.56	o 15939
250.56	c 2661
251.05	o 15940
251.05	c 2660
251.31	o 15941
251.31	c 2659
254.26	o 15944
254.26	c 2656
254.54	o 15945
254.54	c 2655
254.82	o 15947
254.82	c 2653
255.09	o 15949
255.09	c 2651
255.63	o 15951
255.63	c 2649
255.91	o 15953
255.91	c 2647
256.18	o 15955
256.18	c 2645
256.46	o 15958
256.46	c 2642
256.73	o 15959
256.73	c 2641
257.29	o 15962
257.29	c 2638
257.56	o 15964
257.56	c 2636
257.84	o 15965
257.84	c 2635
258.11	o 15968
258.11	c 2632
258.37	o 15970
258.37	c 2630
260.53	o 15972
260.53	c 2628
260.79	o 15973
260.79	c 2627
261.06	o 15974
261.06	c 2626
261.35	o 15975
261.35	c 2625
262.57	o 15980
262.57	c 2620
263.65	o 15982
263.65	c 2618
266.60	o 15986
266.60	c 2614
268.24	o 15987
268.24	c 2613
268.52	o 15988
268.52	c 2612
269.33	o 15990
269.33	c 2610
269.60	o 15991
269.60	c 2609
269.88	o 15992
269.88	c 2608
270.15	o 15994
270.15	c 2606
270.37	o 15998
270.37	c 2602
270.64	o 16001
270.64	c 2599
271.17	o 16002
271.17	c 2598
271.45	o 16003
271.45	c 2597
271.73	o 16004
271.73	c 2596
272.02	o 16007
272.02	c 2593
272.29	o 16010
272.29	c 2590
272.84	o 16011
272.84	c 2589
273.13	o 16012
273.13	c 2588
275.11	o 16015
275.11	c 2585
275.39	o 16017
275.39	c 2583
276.54	o 16018
276.54	c 2582
276.76	o 16021
276.76	c 2579
276.88	o 16023
276.88	c 2577
277.60	o 16024
277.60	c 2576
277.89	o 16029
277.89	c 2571
278.44	o 16031
278.44	c 2569
278.70	o 16032
278.70	c 2568
278.98	o 16033
278.98	c 2567
279.26	o 16035
279.26	c 2565
279.80	o 16036
279.80	c 2564
280.37	o 16040
280.37	c 2560
280.66	o 16042
280.66	c 2558
281.32	o 16044
281.32	c 2556
282.19	o 16045
282.19	c 2555
282.31	o 16048
282.31	c 2552
283.18	o 16049
283.18	c 2551
283.39	o 16050
283.39	c 2550
287.30	o 16052
287.30	c 2548
287.61	o 16053
287.62	c 2547
288.19	o 16055
288.19	c 2545
288.49	o 16057
288.49	c 2543
289.09	o 16058
289.09	c 2542
289.37	o 16060
289.37	c 2540
289.64	o 16062
289.64	c 2538
290.22	o 16065
290.22	c 2535
290.50	o 16067
290.50	c 2533
290.78	o 16070
290.78	c 2530
291.06	o 16073
291.06	c 2527
291.35	o 16076
291.35	c 2524
291.92	o 16077
291.92	c 2523
292.49	o 16079
292.49	c 2521
293.05	o 16082
293.05	c 2518
293.34	o 16084
293.34	c 2516
294.48	o 16086
294.48	c 2514
295.05	o 16088
295.05	c 2512
295.34	o 16090
295.34	c 2510
295.62	o 16091
295.62	c 2509
296.20	o 16094
296.20	c 2506
296.47	o 16098
296.47	c 2502
296.76	o 16100
296.76	c 2500
297.33	o 16101
297.33	c 2499
297.93	o 16103
297.93	c 2497
298.47	o 16105
298.47	c 2495
298.76	o 16106
298.76	c 2494
299.91	o 16108
299.91	c 2492
300.19	o 16111
300.19	c 2489
300.47	o 16112
300.47	c 2488
300.73	o 16115
300.73	c 2485
301.01	o 16117
301.01	c 2483
301.45	o 16121
301.45	c 2479
301.72	o 16122
301.72	c 2478
302.00	o 16125
302.00	c 2475
303.44	o 16127
303.44	c 2473
304.05	o 16130
304.05	c 2470
305.33	o 16131
305.33	c 2469
305.66	o 16135
305.66	c 2465
308.23	o 16137
308.23	c 2463
308.89	o 16139
308.89	c 2461
309.25	o 16141
309.25	c 2459
309.87	o 16144
309.87	c 2456
310.53	o 16145
310.53	c 2455
311.50	o 16146
311.50	c 2454
311.83	o 16147
311.83	c 2453
312.14	o 16150
312.14	c 2450
312.48	o 16152
312.48	c 2448
313.12	o 16153
313.12	c 2447
314.12	o 16154
314.12	c 2446
314.44	o 16156
314.44	c 2444
316.01	o 16158
316.01	c 2442
316.33	o 16161
316.33	c 2439
316.63	o 16162
316.63	c 2438
316.95	o 16163
316.95	c 2437
318.19	o 16164
318.19	c 2436
318.43	o 16167
318.43	c 2433
318.75	o 16168
318.75	c 2432
319.06	o 16169
319.06	c 2431
319.37	o 16171
319.37	c 2429
319.98	o 16172
319.98	c 2428
320.60	o 16174
320.60	c 2426
320.91	o 16175
320.91	c 2425
321.53	o 16177
321.53	c 2423
324.02	o 16178
324.02	c 2422
324.34	o 16182
324.34	c 2418
324.48	o 16183
324.48	c 2417
325.41	o 16185
325.41	c 2415
325.71	o 16186
325.71	c 2414
326.02	o 16187
326.02	c 2413
327.12	o 16188
327.12	c 2412
331.38	o 16189
331.38	c 2411
331.67	o 16192
331.67	c 2408
332.82	o 16194
332.82	c 2406
333.69	o 16198
333.69	c 2402
333.99	o 16201
333.99	c 2399
334.26	o 16202
334.26	c 2398
339.19	o 16203
339.19	c 2397
341.71	o 16205
341.71	c 2395
342.19	o 16206
342.19	c 2394
342.46	o 16207
342.46	c 2393
343.27	o 16211
343.27	c 2389
343.52	o 16213
343.52	c 2387
344.32	o 16215
344.32	c 2385
344.59	o 16216
344.59	c 2384
344.87	o 16217
344.87	c 2383
345.14	o 16219
345.14	c 2381
345.43	o 16220
345.43	c 2380
345.70	o 16222
345.70	c 2378
345.98	o 16226
345.98	c 2374
346.25	o 16228
346.25	c 2372
346.80	o 16229
346.80	c 2371
347.08	o 16231
347.08	c 2369
347.36	o 16232
347.36	c 2368
347.64	o 16234
347.64	c 2366
349.91	o 16235
349.91	c 2365
350.19	o 16236
350.19	c 2364
350.45	o 16239
350.45	c 2361
350.76	o 16240
350.76	c 2360
351.04	o 16241
351.04	c 2359
351.60	o 16242
351.60	c 2358
351.89	o 16243
351.89	c 2357
352.17	o 16244
352.17	c 2356
352.46	o 16245
352.46	c 2355
353.03	o 16246
353.03	c 2354
356.19	o 16249
356.19	c 2351
356.91	o 16250
356.91	c 2350
358.02	o 16254
358.02	c 2346
358.29	o 16258
358.29	c 2342
360.56	o 16259
360.56	c 2341
360.84	o 16260
360.84	c 2340
361.40	o 16261
361.40	c 2339
361.96	o 16262
361.96	c 2338
362.25	o 16264
362.25	c 2336
362.54	o 16266
362.54	c 2334
362.82	o 16268
362.82	c 2332
363.67	o 16269
363.67	c 2331
363.96	o 16271
363.96	c 2329
364.25	o 16272
364.25	c 2328
364.49	o 16273
364.49	c 2327
364.77	o 16275
364.77	c 2325
365.07	o 16276
365.07	c 2324
365.64	o 16277
365.64	c 2323
366.97	o 16279
366.97	c 2321
367.56	o 16280
367.56	c 2320
367.86	o 16282
367.86	c 2318
370.28	o 16283
370.28	c 2317
370.74	o 16286
370.74	c 2314
371.04	o 16288
371.04	c 2312
371.29	o 16291
371.29	c 2309
371.60	o 16293
371.60	c 2307
372.70	o 16295
372.70	c 2305
373.00	o 16296
373.00	c 2304
373.31	o 16298
373.31	c 2302
373.61	o 16299
373.61	c 2301
373.91	o 16301
373.91	c 2299
374.07	o 16303
374.07	c 2297
374.19	o 16308
374.19	c 2292
374.40	o 16309
374.40	c 2291
374.99	o 16311
374.99	c 2289
375.59	o 16312
375.59	c 2288
375.88	o 16314
375.88	c 2286
376.47	o 16316
376.47	c 2284
376.77	o 16318
376.77	c 2282
377.38	o 16319
377.38	c 2281
377.68	o 16320
377.68	c 2280
378.29	o 16321
378.29	c 2279
378.90	o 16322
378.90	c 2278
379.21	o 16323
379.21	c 2277
379.42	o 16326
379.42	c 2274
379.72	o 16330
379.72	c 2270
379.92	o 16332
379.92	c 2268
386.35	o 16333
386.35	c 2267
386.97	o 16334
386.97	c 2266
387.27	o 16336
387.27	c 2264
387.91	o 16337
387.91	c 2263
388.22	o 16338
388.22	c 2262
388.54	o 16340
388.54	c 2260
389.47	o 16344
389.47	c 2256
389.80	o 16345
389.80	c 2255
390.11	o 16346
390.11	c 2254
391.40	o 16347
391.40	c 2253
391.75	o 16348
391.75	c 2252
392.09	o 16349
392.09	c 2251
392.43	o 16351
392.43	c 2249
392.56	o 16352
392.56	c 2248
394.87	o 16353
394.87	c 2247
395.22	o 16356
395.22	c 2244
396.33	o 16357
396.33	c 2243
396.69	o 16358
396.69	c 2242
397.05	o 16360
397.05	c 2240
399.94	o 16361
399.94	c 2239
400.68	o 16362
400.68	c 2238
402.17	o 16364
402.17	c 2236
404.62	o 16365
404.62	c 2235
405.34	o 16366
405.34	c 2234
405.70	o 16367
405.70	c 2233
406.07	o 16368
406.07	c 2232
407.88	o 16369
407.88	c 2231
408.97	o 16371
408.97	c 2229
410.41	o 16373
410.41	c 2227
410.77	o 16374
410.77	c 2226
411.42	o 16376
411.42	c 2224
411.73	o 16378
411.73	c 2222
412.80	o 16379
412.80	c 2221
413.17	o 16380
413.17	c 2220
413.88	o 16381
413.88	c 2219
414.59	o 16384
414.59	c 2216
415.07	o 16387
415.07	c 2213
415.40	o 16390
415.40	c 2210
416.10	o 16391
416.10	c 2209
416.47	o 16392
416.47	c 2208
417.17	o 16394
417.17	c 2206
417.52	o 16395
417.52	c 2205
421.46	o 16397
421.46	c 2203
423.48	o 16398
423.48	c 2202
423.76	o 16400
423.76	c 2200
425.21	o 16401
425.21	c 2199
427.41	o 16403
427.41	c 2197
428.15	o 16404
428.15	c 2196
428.52	o 16406
428.52	c 2194
430.71	o 16408
430.71	c 2192
431.44	o 16410
431.44	c 2190
431.79	o 16411
431.79	c 2189
433.22	o 16413
433.22	c 2187
435.25	o 16415
435.25	c 2185
435.61	o 16416
435.61	c 2184
436.66	o 16418
436.66	c 2182
437.34	o 16419
437.34	c 2181
437.68	o 16422
437.68	c 2178
438.39	o 16424
438.39	c 2176
438.74	o 16425
438.74	c 2175
439.81	o 16427
439.81	c 2173
440.89	o 16429
440.89	c 2171
442.36	o 16430
442.36	c 2170
442.73	o 16434
442.73	c 2166
443.09	o 16435
443.09	c 2165
443.46	o 16437
443.46	c 2163
444.22	o 16438
444.22	c 2162
445.31	o 16439
445.31	c 2161
446.06	o 16442
446.06	c 2158
447.00	o 16443
447.00	c 2157
447.39	o 16444
447.39	c 2156
448.51	o 16445
448.51	c 2155
448.88	o 16447
448.88	c 2153
449.60	o 16449
449.60	c 2151
450.32	o 16451
450.32	c 2149
452.14	o 16453
452.14	c 2147
452.43	o 16454
452.43	c 2146
453.09	o 16455
453.09	c 2145
453.46	o 16457
453.46	c 2143
455.60	o 16460
455.60	c 2140
456.34	o 16463
456.34	c 2137
458.93	o 16464
458.93	c 2136
459.28	o 16467
459.28	c 2133
460.34	o 16471
460.34	c 2129
461.07	o 16472
461.07	c 2128
462.85	o 16474
462.85	c 2126
463.22	o 16475
463.22	c 2125
464.65	o 16478
464.66	c 2122
465.37	o 16479
465.37	c 2121
465.73	o 16483
465.73	c 2117
466.81	o 16485
466.81	c 2115
467.54	o 16486
467.54	c 2114
468.25	o 16488
468.25	c 2112
468.61	o 16489
468.61	c 2111
468.96	o 16490
468.96	c 2110
469.67	o 16493
469.67	c 2107
471.06	o 16495
471.06	c 2105
471.41	o 16497
471.41	c 2103
471.78	o 16498
471.78	c 2102
472.81	o 16500
472.81	c 2100
473.18	o 16502
473.18	c 2098
473.54	o 16504
473.54	c 2096
473.89	o 16505
473.89	c 2095
474.95	o 16507
474.95	c 2093
475.65	o 16510
475.65	c 2090
478.82	o 16512
478.82	c 2088
480.65	o 16516
480.65	c 2084
481.03	o 16518
481.03	c 2082
482.09	o 16519
482.09	c 2081
483.18	o 16521
483.18	c 2079
483.80	o 16523
483.80	c 2077
485.16	o 16524
485.16	c 2076
485.89	o 16525
485.89	c 2075
487.12	o 16526
487.12	c 2074
487.49	o 16528
487.49	c 2072
487.87	o 16530
487.87	c 2070
488.63	o 16531
488.63	c 2069
489.02	o 16534
489.02	c 2066
490.52	o 16535
490.52	c 2065
491.23	o 16537
491.23	c 2063
491.95	o 16539
491.95	c 2061
493.44	o 16540
493.44	c 2060
493.82	o 16543
493.82	c 2057
494.18	o 16546
494.18	c 2054
494.55	o 16548
494.55	c 2052
495.28	o 16549
495.28	c 2051
495.60	o 16550
495.60	c 2050
495.95	o 16553
495.95	c 2047
496.30	o 16554
496.30	c 2046
496.67	o 16555
496.67	c 2045
497.39	o 16556
497.39	c 2044
497.74	o 16557
497.74	c 2043
498.09	o 16558
498.09	c 2042
498.44	o 16562
498.44	c 2038
499.00	o 16563
499.00	c 2037
499.71	o 16564
499.71	c 2036
503.65	o 16565
503.65	c 2035
504.72	o 16566
504.72	c 2034
506.14	o 16567
506.14	c 2033
506.52	o 16568
506.52	c 2032
507.61	o 16570
507.61	c 2030
507.65	o 16571
507.65	c 2029
509.10	o 16573
509.10	c 2027
509.48	o 16576
509.48	c 2024
510.21	o 16579
510.21	c 2021
510.58	o 16580
510.58	c 2020
510.93	o 16581
510.93	c 2019
511.31	o 16582
511.31	c 2018
512.41	o 16586
512.41	c 2014
512.79	o 16587
512.79	c 2013
514.05	o 16588
514.05	c 2012
514.81	o 16589
514.81	c 2011
515.03	o 16591
515.03	c 2009
516.80	o 16593
516.80	c 2007
519.05	o 16594
519.05	c 2006
520.14	o 16596
520.14	c 2004
521.29	o 16597
521.29	c 2003
521.67	o 16600
521.67	c 2000
522.04	o 16601
522.04	c 1999
523.11	o 16604
523.11	c 1996
523.84	o 16605
523.84	c 1995
524.22	o 16607
524.22	c 1993
525.34	o 16608
525.34	c 1992
525.71	o 16611
525.71	c 1989
526.46	o 16612
526.46	c 1988
528.97	o 16616
528.97	c 1984
529.33	o 16617
529.33	c 1983
530.45	o 16618
530.45	c 1982
530.78	o 16619
530.78	c 1981
537.55	o 16620
537.55	c 1980
537.92	o 16622
537.92	c 1978
538.27	o 16625
538.27	c 1975
538.99	o 16626
538.99	c 1974
539.35	o 16627
539.35	c 1973
539.73	o 16628
539.73	c 1972
540.10	o 16630
540.10	c 1970
540.48	o 16631
540.48	c 1969
541.23	o 16634
541.23	c 1966
541.97	o 16635
541.97	c 1965
542.35	o 16638
542.35	c 1962
544.03	o 16639
544.03	c 1961
545.17	o 16641
545.17	c 1959
545.54	o 16643
545.54	c 1957
545.89	o 16644
545.89	c 1956
546.27	o 16645
546.27	c 1955
546.65	o 16646
546.65	c 1954
547.01	o 16648
547.01	c 1952
547.40	o 16649
547.40	c 1951
548.15	o 16650
548.15	c 1950
548.48	o 16651
548.48	c 1949
549.22	o 16653
549.22	c 1947
550.30	o 16654
550.30	c 1946
550.62	o 16656
550.62	c 1944
552.09	o 16658
552.09	c 1942
552.80	o 16660
552.80	c 1940
553.14	o 16661
553.14	c 1939
553.73	o 16662
553.73	c 1938
555.80	o 16663
555.80	c 1937
556.14	o 16665
556.14	c 1935
556.48	o 16667
556.48	c 1933
557.36	o 16668
557.36	c 1932
557.71	o 16669
557.71	c 1931
557.87	o 16671
557.87	c 1929
558.89	o 16672
558.89	c 1928
559.24	o 16673
559.24	c 1927
559.57	o 16674
559.57	c 1926
559.90	o 16677
559.90	c 1923
560.06	o 16678
560.06	c 1922
560.42	o 16680
560.42	c 1920
560.75	o 16681
560.75	c 1919
561.10	o 16682
561.10	c 1918
564.57	o 16685
564.57	c 1915
564.91	o 16687
564.91	c 1913
565.16	o 16688
565.16	c 1912
565.78	o 16689
565.78	c 1911
566.14	o 16690
566.14	c 1910
566.48	o 16692
566.48	c 1908
568.18	o 16693
568.18	c 1907
568.52	o 16695
568.52	c 1905
569.21	o 16697
569.21	c 1903
569.88	o 16699
569.88	c 1901
570.50	o 16701
570.50	c 1899
570.84	o 16702
570.84	c 1898
571.20	o 16704
571.20	c 1896
571.87	o 16707
571.87	c 1893
572.58	o 16708
572.58	c 1892
572.94	o 16709
572.94	c 1891
573.66	o 16710
573.66	c 1890
574.01	o 16711
574.01	c 1889
574.36	o 16714
574.36	c 1886
574.97	o 16717
574.97	c 1883
575.31	o 16719
575.31	c 1881
586.13	o 16721
586.13	c 1879
586.47	o 16722
586.48	c 1878
587.27	o 16723
587.27	c 1877
587.37	o 16726
587.37	c 1874
588.06	o 16727
588.06	c 1873
588.41	o 16728
588.41	c 1872
588.74	o 16730
588.74	c 1870
590.44	o 16731
590.44	c 1869
590.80	o 16732
590.80	c 1868
591.15	o 16733
591.15	c 1867
591.74	o 16734
591.74	c 1866
591.94	o 16737
591.94	c 1863
592.29	o 16738
592.29	c 1862
592.64	o 16739
592.64	c 1861
592.99	o 16742
593.00	c 1858
593.36	o 16743
593.36	c 1857
593.70	o 16746
593.70	c 1854
594.77	o 16747
594.77	c 1853
595.52	o 16749
595.52	c 1851
595.90	o 16750
595.90	c 1850
597.20	o 16751
597.20	c 1849
597.96	o 16752
597.96	c 1848
599.09	o 16755
599.09	c 1845
599.46	o 16758
599.46	c 1842
602.03	o 16759
602.03	c 1841
602.80	o 16760
602.80	c 1840
603.19	o 16762
603.19	c 1838
603.58	o 16764
603.58	c 1836
603.84	o 16766
603.84	c 1834
604.23	o 16768
604.23	c 1832
604.62	o 16770
604.62	c 1830
605.00	o 16772
605.00	c 1828
606.52	o 16773
606.52	c 1827
606.91	o 16774
606.91	c 1826
607.28	o 16776
607.28	c 1824
610.18	o 16777
610.18	c 1823
610.30	o 16779
610.30	c 1821
611.06	o 16783
611.06	c 1817
613.39	o 16786
613.39	c 1814
613.77	o 16788
613.77	c 1812
614.55	o 16789
614.55	c 1811
615.70	o 16792
615.70	c 1808
616.45	o 16795
616.45	c 1805
616.83	o 16797
616.83	c 1803
619.53	o 16799
619.53	c 1801
620.66	o 16800
620.66	c 1800
621.04	o 16803
621.04	c 1797
621.75	o 16804
621.75	c 1796
622.72	o 16806
622.72	c 1794
623.50	o 16808
623.50	c 1792
624.14	o 16811
624.14	c 1789
625.17	o 16814
625.17	c 1786
625.55	o 16815
625.55	c 1785
625.94	o 16818
625.94	c 1782
627.38	o 16819
627.38	c 1781
627.77	o 16820
627.77	c 1780
629.77	o 16822
629.77	c 1778
630.17	o 16824
630.17	c 1776
630.29	o 16826
630.29	c 1774
632.67	o 16827
632.67	c 1773
634.24	o 16828
634.24	c 1772
635.44	o 16829
635.44	c 1771
635.83	o 16832
635.83	c 1768
636.99	o 16834
636.99	c 1766
640.66	o 16835
640.66	c 1765
644.45	o 16837
644.45	c 1763
646.00	o 16840
646.00	c 1760
646.26	o 16844
646.26	c 1756
646.65	o 16847
646.65	c 1753
647.04	o 16848
647.04	c 1752
647.45	o 16850
647.45	c 1750
647.84	o 16852
647.84	c 1748
650.24	o 16855
650.24	c 1745
650.64	o 16857
650.64	c 1743
661.04	o 16858
661.04	c 1742
661.47	o 16859
661.47	c 1741
661.90	o 16861
661.90	c 1739
662.74	o 16862
662.74	c 1738
663.58	o 16865
663.58	c 1735
665.08	o 16870
665.08	c 1730
668.08	o 16871
668.08	c 1729
675.78	o 16873
675.78	c 1727
676.20	o 16874
676.20	c 1726
676.46	o 16876
676.46	c 1724
677.34	o 16877
677.34	c 1723
677.72	o 16880
677.72	c 1720
678.15	o 16882
678.15	c 1718
680.35	o 16884
680.35	c 1716
680.64	o 16885
680.64	c 1715
682.39	o 16886
682.39	c 1714
682.84	o 16887
682.84	c 1713
683.27	o 16888
683.27	c 1712
684.60	o 16891
684.60	c 1709
685.88	o 16893
685.88	c 1707
686.32	o 16894
686.32	c 1706
716.66	   
716.66	   search
716.66	     run=0  nbConstraintChecks=1556640832  nbAssignments=2924
716.66	       =>  wckTime=653.944  cpuTime=650.78  mem=64M705
716.66	   
716.66	   global
716.66	     nbConstraintChecks=1556640832  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
716.66	     solvingWckTime=653.921  solvingCpuTime=650.76  expiredTime=no  totalExploration=no  nbFoundSolutions=0
716.66	     globalCpuTime=712.08
716.66	       =>  wckTime=716.374  cpuTime=712.03  mem=64M705
716.66	   
716.66	   solver IterativeSystematicSolver being built... 
717.31	       =>  wckTime=717.025  cpuTime=712.41  mem=154M17
857.79	   
857.80	   preprocessing
857.80	     nbConstraintChecks=321222168  nbValidityChecks=871348  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
857.80	     nbRemovedValues=0  detectedInconsistency=no
857.80	       =>  wckTime=140.478  cpuTime=139.84  mem=154M17
2415.34	v 2058 2474 2114 -2046 2894 2826 -2266 -2466 2894 -2586 2094 2294 -2618 -2766 -2818 -2702 -2278 2058 2034 2858 2818 -2382 -2858 -2502 -2314 -2318 2190 2014 2766 -2250 -1994 2078 2150 2278 2746 -2806 2682 2814 2778 2350 -2890 -2062 2018 -2878 2118 -2782 2582 -2578 -2186 -2874 2870 2666 2418 -2054 2694 -2446 2890 -2790 -2894 2778 -2850 2002 -2074 -2010 2350 2594 2054 2806 2142 -2654 -2114 -2810 -2782 -2166 2882 -2302 2634 2194 2126 -2010 2074 -2438 2182 -2058 2610 2750 2778 -2302 -2878 2278 2050 -2818 -2194 -2774 -2050 -2578 -2154 -2890 2410 1990 2726 -2778 2394 -2802 -2582 2862 -2054 -2154 2330 -2802 -2190 2598 2038 -2458 -2630 2150 -2458 1998 -2846 -2862 -2822 2894 -2846 2814 -2594 -2098 -2038 -2030 2058 -2878 2062 -2874 -2214 -2406 -2294 -2822 2338 2282 2834 -1990 2822 2742 2278 2606 -2062 2826 -2894 -2518 -2386 2030 2034 -2882 2542 -2850 2886 2226 -2546 2346 2750 2770 -2034 2614 2354 -2658 -2054 2670 -2570 2390 -2710 2026 2718 2650 2346 2078 2050 2350 2018 2370 2830 -2582 2818 -2302 -2554 2850 2506 -2454 -2846 -2542 2682 2818 2806 -2398 -2422 2058 -2870 2030 2198 2834 -2402 2042 2246 2070 -2570 -2338 2786 2230 -2050 -2402 -2866 2442 -2766 2026 -2290 2890 -2810 -2850 2894 2810 -2030 -2158 2858 -2534 2310 -2118 -2050 -2006 -2886 -2826 -2690 2394 2778 2854 2550 2006 -2754 2790 2474 2422 2738 -2046 2726 2030 -2034 2054 -2882 2850 -2734 2578 2374 -2854 2098 2042 2498 2614 -2198 1990 -2390 2078 2850 2106 2434 -2842 1998 2334 2894 -2110 -2818 -2346 -2170 2862 2850 -2774 -2886 -2038 -2866 -2054 2822 -2802 2198 2538 -2570 -2614 2842 -2466 2046 2854 -2030 1990 2290 -2362 -2794 2598 2506 -2710 -2154 2786 -2654 -2762 -2194 -2846 2822 2750 -2006 2398 -2842 2030 2178 -2226 -2858 -2646 2834 2210 2090 2530 -2114 -2066 2830 -2770 2754 2854 -2006 2890 -2850 2654 -2774 -2574 2698 -2842 2610 -2042 2290 2854 -2622 2382 2366 2414 -2614 1990 2538 2106 -2054 2326 -2602 2834 -2018 -2446 -2866 2662 -2822 -2790 2118 2170 -2818 -2494 -2234 2702 2190 1990 2806 2186 2894 -2050 2034 2626 -2002 -2846 2878 2598 2146 -2786 -2798 2034 2814 -2430 -2270 2830 -2122 -2110 2802 2582 2422 -2802 2850 2866 1990 1994 2586 -2790 2842 -2342 2794 -2146 -2834 2046 2894 -2202 -1994 -2478 -2150 2782 2874 1998 -2450 -2114 -2354 2826 -2182 -2054 -2010 -2046 2838 -2046 -2774 -2158 2714 -2034 -2786 1990 -2854 -2042 1990 2222 -2034 -2406 -2670 -2878 2014 -2674 2090 -2834 2170 -2038 -2222 2426 -2502 2890 2094 2802 2862 -2290 2266 -2034 2506 -2658 2890 -2534 2194 2222 2510 2814 -2002 1990 2422 2878 -2034 -2606 2002 2046 2698 2094 2126 -2066 2738 2614 2002 -2042 -2734 2118 -2038 -2162 -2014 -2242 1990 2838 1990 2358 -2242 -2470 2038 -2746 2482 -1994 2618 2078 2822 2430 2838 2202 -2086 -2262 2658 2034 -2750 2570 -1994 2774 2414 -2846 2822 2486 2318 2802 -2830 -2890 2394 -2026 2578 2862 2822 2802 -2010 -2106 -2690 -2002 2830 -2694 -2850 2730 -2334 -2658 -2874 2410 -2038 2426 -2846 -2470 -2814 -2094 2070 2874 -2598 2366 -2398 2802 2046 2058 -2894 2662 2634 2798 -2022 2814 -1998 -2430 2002 2830 2386 -2666 -2834 2778 2222 2834 -2074 2010 -2726 2046 -2434 -2826 -2426 -2030 -2038 -2058 -2074 -2018 -2046 2282 -2182 2042 -2854 2794 -2886 2430 2430 -2054 2766 2054 -2278 -2702 -2470 -2770 2710 -2866 1994 2202 -2490 -2802 2262 -1990 -2002 -2390 -2774 -2230 -2234 2514 2822 -2854 1998 2834 -2574 2014 2490 -2874 -2878 -2066 -2002 2874 2282 -2050 -2646 2758 -2782 -2438 -2146 2010 -2890 -2014 2894 -2038 2854 1998 2722 2402 2662 2050 -2002 -2162 -2806 2354 2642 -2034 2278 -1998 -2646 1998 -2002 2854 -2366 2894 -2726 2030 2538 -2118 -2042 1994 -2250 -2874 -2478 -2894 -2838 2842 2894 2190 -2018 -2394 -2782 2002 -2386 2682 -2594 2778 2494 -2722 2190 2170 2450 2222 -2638 -2182 -2442 -2174 -2538 2890 1990 -2366 -2846 2706 2154 2350 -2894 -2326 2578 2078 -2890 -2838 -1994 -2074 -2006 -2878 -2050 2222 2498 -2894 2058 2734 -2614 -1998 -2230 2010 -2818 -2694 -2050 2038 -2190 -2834 2022 2830 2682 -2274 2582 -2222 -2426 -2002 -2078 -2250 2730 -2842 1990 -2202 -2126 -2862 -2486 -2702 -1990 -2426 2042 2294 -2054 2598 2874 -2818 2066 2706 -2446 -2174 2498 -2326 2570 2350 2402 2130 2894 1998 2870 2690 2034 2466 -2634 -2438 2654 -2402 -2054 -1998 -2494 2554 2042 2050 -2042 -2622 1990 2850 2882 -2066 2674 2430 -2434 -2214 2362 -2058 2454 2038 -2854 2670 2302 2006 -2858 2062 2006 2426 -2750 -2474 -1998 -2038 -2250 2474 2158 -2862 -2206 -2802 2034 2806 2694 2874 2818 -1994 -2714 2846 -2822 2410 -2874 -2894 -2042 2254 -2030 -2790 2158 1998 2050 2690 -2082 2174 -2822 -2382 2846 1998 2646 -2374 -2378 1998 -2546 2278 -2038 -2190 2002 -1998 -2302 -2822 -2242 -2106 2202 2742 -2762 -1994 2438 2670 -2106 -2426 -2806 -2490 -2038 -2058 2882 -2034 2534 -2406 2102 -2818 -2006 -2398 2834 2498 2034 -2818 2462 2762 -2842 2258 2014 -2890 -2094 -2750 2442 2850 -2158 -2006 2302 2070 -2534 -2866 2766 2030 2690 -2382 2894 2810 -2642 2074 -2182 1998 -2874 2074 2022 2654 2418 2318 -2674 2762 -2734 2390 -1994 2890 2842 -1998 -2030 -2742 -2886 2018 -2698 2418 -2030 2430 -2826 -2834 -2050 -2418 2562 2730 -2870 -2694 -2814 -2670 -2050 -2738 2830 -2870 2658 -2590 -2250 2386 2718 2178 -2022 -2750 -2842 -2306 2450 -2210 2490 2782 -2830 -2486 -2214 -2006 -2890 2678 2306 2182 -2750 -2506 -2862 -2042 -2890 -2346 -1994 -2834 -2002 2218 -2894 2542 2762 -2274 -2822 -2442 2090 -2010 -2494 2034 2346 -2854 2822 2806 -2590 -2398 -2842 2126 2350 -2886 2310 -2818 2850 2362 -2370 2050 2362 2502 2690 -2678 2038 2230 2322 -1990 -2482 2594 -2334 -2606 -2890 2062 -2818 2806 -2434 2786 2030 -2330 2242 -2018 2834 -2790 -2482 -2334 2606 -2698 -2146 2566 2766 -2870 2122 2306 -2534 -2238 2054 -2034 -2018 -2414 -2006 2470 -2014 -2366 2722 -2270 2854 2754 -2262 2890 2870 -2330 2002 2230 2850 2818 -2814 -1990 -2346 2678 -2814 -2310 -2350 2262 2006 -2238 -2622 -2318 2842 2022 -2794 2410 2510 2506 2654 -2006 2158 -2730 -2182 2894 -2394 -2506 -2734 2030 2530 2022 -2638 -2066 -2854 -2698 2026 -2854 -2834 -2150 1990 2702 2174 2878 -2410 -2162 -1998 2030 -2722 2794 2686 2834 2694 2758 -2294 2058 2818 2090 -2058 2006 -2770 2786 2390 2846 2114 2194 2398 2874 -2834 -2878 -2030 -2086 -2818 2762 2854 2618 -2018 2874 2342 2810 -2150 -2366 -2730 -2534 1990 2758 -1994 2882 -2698 2614 -2834 -2066 -2014 2050 2090 -2890 2062 -2114 -2614 -2790 2766 -2834 2858 -2714 -2178 2854 -2002 -2846 -2882 2430 2738 2378 -2682 2654 -2806 -2446 -2826 -2850 2046 2862 2446 2038 2722 2874 -1994 2082 -2154 -2210 2230 -2438 -2714 2114 -2894 2134 2058 2838 -2018 2030 -2598 -2866 2798 -1998 2526 -2058 -2050 -2850 -2730 2218 2786 -2066 2330 2858 2030 -2854 -2002 2806 -2654 -2018 -2210 2774 -2038 -2102 -2078 2742 -1994 -2630 2430 2418 2742 -2798 -2882 2518 2374 -2838 2030 -2154 2062 2834 -2894 -2754 2174 -2726 -2582 -2778 2478 -2890 1998 -2726 -2290 2482 2430 2406 2478 2578 -2018 2246 -2814 2834 -2762 2890 -2858 2074 -2390 2870 -2058 2234 2802 2350 -2030 -2434 2138 2086 -2530 2822 2490 2082 2734 -2890 2070 2134 -2190 -2846 -2850 -2654 2006 2246 -2018 2706 2050 -2870 -2490 -2834 2722 -2834 2886 -2062 -2826 2062 2366 -1994 2854 2002 2498 -1998 -2362 2034 -2014 -2050 -2710 -2854 2546 1994 2866 -2658 -2358 -2106 2854 2374 -2054 2798 -2722 -2894 -2130 2846 2414 -2190 -2054 2286 -2218 -2026 -1994 2174 1994 -2746 2622 -2554 -2450 -2198 -2890 -2238 2858 -2386 2874 -2854 -2230 2386 2718 -2194 2570 -2258 2066 -2006 2374 -2014 -2226 -2098 2162 2894 1994 -2234 -2182 2818 2882 -2642 -2854 2890 -2850 -2018 -2030 -1994 2422 -2010 -2550 2230 2850 -2266 -2062 2050 2306 2462 -2734 -2878 -2062 2030 2774 2026 2242 2334 2790 -2842 2706 2110 1998 -2014 2894 2390 -2558 2726 2390 -2790 2142 -2378 2866 2326 -2590 2294 2062 -2026 -2862 -2874 1990 2386 -2810 -2002 2110 2054 -2858 2038 -2738 2046 -2226 2090 2682 -2038 -2046 2542 1990 2818 2694 -2058 2842 2442 2034 -2838 2042 2646 -1998 2790 2482 2818 -2070 2786 2302 2830 2162 2434 -2342 2890 -2638 2314 -2370 -2018 2806 2894 2038 2802 2830 2010 2078 2390 2030 -2678 2298 -2266 2182 -2778 2286 2794 2206 -2078 -2754 2202 -2818 -2850 2562 -2094 2730 2530 1994 -2050 -2030 -2030 2282 -2846 -2858 2742 -2814 2690 2226 -2230 2234 -2662 -2542 -2542 2382 2694 -2870 -2010 -2794 -2706 2834 1990 2518 2766 2278 1994 2374 -2738 -2114 2046 2378 2006 -2894 2650 2466 -2506 -2854 2130 -2526 -2882 2410 -2562 -2074 2038 2050 -2058 -2878 -2078 2114 2066 2858 -1994 2690 -2838 -2730 1990 2014 -2762 2838 -2174 2830 -2406 2718 2630 -2046 -2698 2894 2758 2838 1994 -2758 -2494 -2546 2290 -2810 -2266 2862 2354 2306 2702 2066 -2826 2834 2154 -2266 2038 -2582 -2386 2250 -2618 2346 2542 -2802 -2278 2710 -2894 2838 -2134 -2518 2038 -2274 -2038 2582 -2470 -2002 2750 2778 -2766 2794 -2298 2014 -2794 2222 -2838 2234 -2194 2794 2826 2470 -2722 2386 2786 -2190 2054 2530 -2386 -2878 -2878 -2894 2850 2002 2702 -2706 -2082 -2698 2186 -2286 -2830 -2734 2110 1998 -2718 -2846 2034 -2602 2150 2298 -2006 -2706 -2846 -2478 -2190 -2022 -2894 -2066 -2010 2882 2670 -2682 2426 1990 -2722 -1994 -2466 -2338 2066 -2002 2102 -2150 2030 -2018 2218 -2022 2874 -2122 -2402 2874 -2214 -2042 -2846 2830 2850 -2034 -2038 2038 2670 -2058 -2666 2742 2802 2726 2578 2482 -2854 -2342 2290 -2442 -2838 2058 2710 -2770 -2610 2606 2894 2354 -1998 -2890 -2150 2586 2862 2890 2874 2010 2046 2010 -2854 -2450 2870 1994 2742 2038 -2430 2454 2682 2058 -2058 -2246 -2014 -2642 -2582 2770 -2154 2010 2822 -2326 -2146 -2450 2014 2590 -2682 -2426 2142 2838 -2282 -2822 -2038 2790 -2554 2862 2426 2854 2414 -2070 -2030 2586 2066 -2618 -2358 2738 2710 2834 2490 -2878 2702 -2366 -2578 -2686 2006 2318 2026 -2838 2526 -2786 2754 -2030 -2394 2466 -2010 -2858 2018 1994 1990 2018 2098 -2798 -2806 2730 -2690 2886 2874 -2890 -2026 1994 2094 2842 2482 -2490 -2274 2226 -2502 2050 -2878 2214 2106 -2774 2890 -2138 2390 2034 -2054 2714 2658 -2890 -1990 -2046 2478 1990 2250 -2618 2210 2042 -2058 -2358 2438 -2370 2438 -2306 2838 -2522 -2018 -2070 2490 2874 -2730 2718 2034 2074 2882 1998 2034 -2722 -2874 2202 2354 2574 -2038 2866 1990 -2306 -2802 2414 -2186 2026 2186 -2342 -2506 2170 -2382 -2342 2062 -2186 2442 -2842 2342 2806 2654 -2890 2274 2034 2894 2402 2278 -2050 2750 -2878 2106 -2066 -2826 -2546 -2534 2218 2510 -2826 2006 -2878 -2878 2030 2570 2858 -2382 2870 -2038 -2734 -2430 -2006 -2094 -2362 2686 2670 -2806 2490 -2298 -1994 -2410 2034 2894 2826 -2678 -1998 -2826 2818 -2206 -2734 -1990 2630 -2846 -2850 2274 -2866 -2034 -2854 2514 -2054 1998 -2578 2854 2506 2046 -2090 2742 -2850 2466 -2190 2142 2378 -2634 -2122 2054 -2034 2414 2694 2002 -2722 2034 2378 2378 2798 2098 -2010 2862 -2342 2854 2466 -2030 -2674 2850 -2746 2586 -2038 2026 -2878 -2842 2582 2618 2826 -2838 -2806 2154 2042 2890 2042 2366 2858 -2322 1998 2114 2054 2286 -2790 -2886 -2066 -2430 2746 2758 2434 -2886 -2654 -2622 -2010 2878 -2018 -2258 2450 2038 -2162 2874 -2010 2366 2798 -2522 -2030 -2026 2842 2766 2566 2530 2762 -2022 -2510 2014 2626 -2090 -1990 -1994 -2110 -2106 2778 -2858 2034 -2662 2818 -2702 2838 2426 -2546 2470 2838 2630 2878 -2882 -1994 -2498 -2066 -2894 -2566 -2834 2834 -2802 2882 2286 -2018 1994 -2894 2738 1990 -2274 1994 2406 2042 2102 2498 -2326 -2858 2054

Verifier Data (download as text)

1706 unsatisfied constraints, 16894 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/node48/watcher-275649-1169224720 -o ROOT/results/node48/solver-275649-1169224720 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/275649-1169224720/unknown.xml 

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

/proc/loadavg: 1.28 1.81 1.94 4/73 25292
/proc/meminfo: memFree=1370448/2055920 swapFree=4192812/4192956
[pid=25291] ppid=25289 vsize=1784 CPUtime=0
/proc/25291/stat : 25291 (java) R 25289 25291 25185 0 -1 0 369 0 0 0 0 0 0 0 18 0 1 0 270870759 1826816 158 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0
/proc/25291/statm: 446 163 128 14 0 91 0

[startup+0.104207 s]
/proc/loadavg: 1.28 1.81 1.94 4/73 25292
/proc/meminfo: memFree=1370448/2055920 swapFree=4192812/4192956
[pid=25291] ppid=25289 vsize=914988 CPUtime=0.09
/proc/25291/stat : 25291 (java) R 25289 25291 25185 0 -1 0 3088 0 1 0 8 1 0 0 24 0 8 0 270870759 936947712 2834 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25291/statm: 228747 2835 1458 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988

[startup+0.515253 s]
/proc/loadavg: 1.28 1.81 1.94 4/73 25292
/proc/meminfo: memFree=1370448/2055920 swapFree=4192812/4192956
[pid=25291] ppid=25289 vsize=915332 CPUtime=0.49
/proc/25291/stat : 25291 (java) R 25289 25291 25185 0 -1 0 8441 0 1 0 45 4 0 0 25 0 8 0 270870759 937299968 8180 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25291/statm: 228833 8180 2140 14 0 215303 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915332

[startup+1.33632 s]
/proc/loadavg: 1.28 1.81 1.94 3/87 25306
/proc/meminfo: memFree=1204576/2055920 swapFree=4192812/4192956
[pid=25291] ppid=25289 vsize=915612 CPUtime=1.31
/proc/25291/stat : 25291 (java) R 25289 25291 25185 0 -1 0 24143 0 1 0 117 14 0 0 25 0 8 0 270870759 937586688 23880 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073548789 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25291/statm: 228903 23880 2161 14 0 215373 0
[pid=25291/tid=25296] ppid=25289 vsize=915612 CPUtime=0.09
/proc/25291/task/25296/stat : 25296 (java) S 25289 25291 25185 0 -1 64 7589 0 0 0 6 3 0 0 16 0 8 0 270870762 937586688 23880 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25291/tid=25297] ppid=25289 vsize=915612 CPUtime=0
/proc/25291/task/25297/stat : 25297 (java) S 25289 25291 25185 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270870762 937586688 23880 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25291/tid=25298] ppid=25289 vsize=915612 CPUtime=0
/proc/25291/task/25298/stat : 25298 (java) S 25289 25291 25185 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270870762 937586688 23880 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25291/tid=25303] ppid=25289 vsize=915612 CPUtime=0
/proc/25291/task/25303/stat : 25303 (java) S 25289 25291 25185 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 270870765 937586688 23880 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25291/tid=25304] ppid=25289 vsize=915612 CPUtime=0.16
/proc/25291/task/25304/stat : 25304 (java) S 25289 25291 25185 0 -1 64 404 0 0 0 15 1 0 0 16 0 8 0 270870765 937586688 23880 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25291/tid=25305] ppid=25289 vsize=915612 CPUtime=0
/proc/25291/task/25305/stat : 25305 (java) S 25289 25291 25185 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270870765 937586688 23880 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25291/tid=25306] ppid=25289 vsize=915612 CPUtime=0
/proc/25291/task/25306/stat : 25306 (java) S 25289 25291 25185 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270870765 937586688 23880 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915612

[startup+2.97346 s]
/proc/loadavg: 1.28 1.81 1.94 3/87 25306
/proc/meminfo: memFree=1196384/2055920 swapFree=4192812/4192956
[pid=25291] ppid=25289 vsize=915744 CPUtime=2.95
/proc/25291/stat : 25291 (java) R 25289 25291 25185 0 -1 0 24219 0 1 0 280 15 0 0 25 0 8 0 270870759 937721856 23954 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073832954 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25291/statm: 228936 23954 2181 14 0 215406 0
[pid=25291/tid=25296] ppid=25289 vsize=915744 CPUtime=0.11
/proc/25291/task/25296/stat : 25296 (java) S 25289 25291 25185 0 -1 64 7589 0 0 0 8 3 0 0 17 0 8 0 270870762 937721856 23954 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25291/tid=25297] ppid=25289 vsize=915744 CPUtime=0
/proc/25291/task/25297/stat : 25297 (java) S 25289 25291 25185 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270870762 937721856 23954 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25291/tid=25298] ppid=25289 vsize=915744 CPUtime=0
/proc/25291/task/25298/stat : 25298 (java) S 25289 25291 25185 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270870762 937721856 23954 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25291/tid=25303] ppid=25289 vsize=915744 CPUtime=0
/proc/25291/task/25303/stat : 25303 (java) S 25289 25291 25185 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 270870765 937721856 23954 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25291/tid=25304] ppid=25289 vsize=915744 CPUtime=0.18
/proc/25291/task/25304/stat : 25304 (java) S 25289 25291 25185 0 -1 64 416 0 0 0 17 1 0 0 15 0 8 0 270870765 937721856 23954 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25291/tid=25305] ppid=25289 vsize=915744 CPUtime=0
/proc/25291/task/25305/stat : 25305 (java) S 25289 25291 25185 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270870765 937721856 23954 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25291/tid=25306] ppid=25289 vsize=915744 CPUtime=0
/proc/25291/task/25306/stat : 25306 (java) S 25289 25291 25185 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270870765 937721856 23954 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 915744

[startup+6.25876 s]
/proc/loadavg: 1.34 1.81 1.94 3/87 25306
/proc/meminfo: memFree=1196256/2055920 swapFree=4192812/4192956
[pid=25291] ppid=25289 vsize=915744 CPUtime=6.21
/proc/25291/stat : 25291 (java) R 25289 25291 25185 0 -1 0 24223 0 1 0 606 15 0 0 25 0 8 0 270870759 937721856 23957 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073825159 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25291/statm: 228936 23957 2181 14 0 215406 0
[pid=25291/tid=25296] ppid=25289 vsize=915744 CPUtime=0.11
/proc/25291/task/25296/stat : 25296 (java) S 25289 25291 25185 0 -1 64 7589 0 0 0 8 3 0 0 16 0 8 0 270870762 937721856 23957 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25291/tid=25297] ppid=25289 vsize=915744 CPUtime=0
/proc/25291/task/25297/stat : 25297 (java) S 25289 25291 25185 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270870762 937721856 23957 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25291/tid=25298] ppid=25289 vsize=915744 CPUtime=0
/proc/25291/task/25298/stat : 25298 (java) S 25289 25291 25185 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270870762 937721856 23957 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25291/tid=25303] ppid=25289 vsize=915744 CPUtime=0
/proc/25291/task/25303/stat : 25303 (java) S 25289 25291 25185 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 270870765 937721856 23957 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25291/tid=25304] ppid=25289 vsize=915744 CPUtime=0.18
/proc/25291/task/25304/stat : 25304 (java) S 25289 25291 25185 0 -1 64 419 0 0 0 17 1 0 0 15 0 8 0 270870765 937721856 23957 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25291/tid=25305] ppid=25289 vsize=915744 CPUtime=0
/proc/25291/task/25305/stat : 25305 (java) S 25289 25291 25185 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270870765 937721856 23957 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25291/tid=25306] ppid=25289 vsize=915744 CPUtime=0
/proc/25291/task/25306/stat : 25306 (java) S 25289 25291 25185 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270870765 937721856 23957 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 915744

[startup+12.7414 s]
/proc/loadavg: 1.39 1.82 1.94 3/87 25306
/proc/meminfo: memFree=1196264/2055920 swapFree=4192812/4192956
[pid=25291] ppid=25289 vsize=915744 CPUtime=12.67
/proc/25291/stat : 25291 (java) R 25289 25291 25185 0 -1 0 24235 0 1 0 1251 16 0 0 25 0 8 0 270870759 937721856 23968 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073845480 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25291/statm: 228936 23968 2182 14 0 215406 0
[pid=25291/tid=25296] ppid=25289 vsize=915744 CPUtime=0.11
/proc/25291/task/25296/stat : 25296 (java) S 25289 25291 25185 0 -1 64 7589 0 0 0 8 3 0 0 16 0 8 0 270870762 937721856 23968 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25291/tid=25297] ppid=25289 vsize=915744 CPUtime=0
/proc/25291/task/25297/stat : 25297 (java) S 25289 25291 25185 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270870762 937721856 23968 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25291/tid=25298] ppid=25289 vsize=915744 CPUtime=0
/proc/25291/task/25298/stat : 25298 (java) S 25289 25291 25185 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270870762 937721856 23968 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25291/tid=25303] ppid=25289 vsize=915744 CPUtime=0
/proc/25291/task/25303/stat : 25303 (java) S 25289 25291 25185 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 270870765 937721856 23968 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25291/tid=25304] ppid=25289 vsize=915744 CPUtime=0.2
/proc/25291/task/25304/stat : 25304 (java) S 25289 25291 25185 0 -1 64 429 0 0 0 19 1 0 0 15 0 8 0 270870765 937721856 23968 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25291/tid=25305] ppid=25289 vsize=915744 CPUtime=0
/proc/25291/task/25305/stat : 25305 (java) S 25289 25291 25185 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270870765 937721856 23968 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25291/tid=25306] ppid=25289 vsize=915744 CPUtime=0
/proc/25291/task/25306/stat : 25306 (java) S 25289 25291 25185 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270870765 937721856 23968 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 915744

[startup+25.6055 s]
/proc/loadavg: 1.52 1.83 1.94 3/87 25306
/proc/meminfo: memFree=1178536/2055920 swapFree=4192812/4192956
[pid=25291] ppid=25289 vsize=915744 CPUtime=25.49
/proc/25291/stat : 25291 (java) R 25289 25291 25185 0 -1 0 26489 0 1 0 2530 19 0 0 25 0 8 0 270870759 937721856 26220 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073825235 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25291/statm: 228936 26220 2183 14 0 215406 0
[pid=25291/tid=25296] ppid=25289 vsize=915744 CPUtime=0.18
/proc/25291/task/25296/stat : 25296 (java) S 25289 25291 25185 0 -1 64 9835 0 0 0 14 4 0 0 16 0 8 0 270870762 937721856 26220 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25291/tid=25297] ppid=25289 vsize=915744 CPUtime=0
/proc/25291/task/25297/stat : 25297 (java) S 25289 25291 25185 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270870762 937721856 26220 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25291/tid=25298] ppid=25289 vsize=915744 CPUtime=0
/proc/25291/task/25298/stat : 25298 (java) S 25289 25291 25185 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270870762 937721856 26220 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25291/tid=25303] ppid=25289 vsize=915744 CPUtime=0
/proc/25291/task/25303/stat : 25303 (java) S 25289 25291 25185 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 270870765 937721856 26220 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25291/tid=25304] ppid=25289 vsize=915744 CPUtime=0.21
/proc/25291/task/25304/stat : 25304 (java) S 25289 25291 25185 0 -1 64 434 0 0 0 20 1 0 0 16 0 8 0 270870765 937721856 26220 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25291/tid=25305] ppid=25289 vsize=915744 CPUtime=0
/proc/25291/task/25305/stat : 25305 (java) S 25289 25291 25185 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270870765 937721856 26220 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25291/tid=25306] ppid=25289 vsize=915744 CPUtime=0
/proc/25291/task/25306/stat : 25306 (java) S 25289 25291 25185 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270870765 937721856 26220 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 915744

[startup+51.2169 s]
/proc/loadavg: 1.69 1.84 1.94 3/87 25306
/proc/meminfo: memFree=1166120/2055920 swapFree=4192812/4192956
[pid=25291] ppid=25289 vsize=915744 CPUtime=50.97
/proc/25291/stat : 25291 (java) R 25289 25291 25185 0 -1 0 28067 0 1 0 5074 23 0 0 25 0 8 0 270870759 937721856 27795 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073825232 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25291/statm: 228936 27795 2183 14 0 215406 0
[pid=25291/tid=25296] ppid=25289 vsize=915744 CPUtime=0.25
/proc/25291/task/25296/stat : 25296 (java) S 25289 25291 25185 0 -1 64 11403 0 0 0 21 4 0 0 16 0 8 0 270870762 937721856 27795 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25291/tid=25297] ppid=25289 vsize=915744 CPUtime=0
/proc/25291/task/25297/stat : 25297 (java) S 25289 25291 25185 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270870762 937721856 27795 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25291/tid=25298] ppid=25289 vsize=915744 CPUtime=0
/proc/25291/task/25298/stat : 25298 (java) S 25289 25291 25185 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270870762 937721856 27795 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25291/tid=25303] ppid=25289 vsize=915744 CPUtime=0
/proc/25291/task/25303/stat : 25303 (java) S 25289 25291 25185 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 270870765 937721856 27795 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25291/tid=25304] ppid=25289 vsize=915744 CPUtime=0.22
/proc/25291/task/25304/stat : 25304 (java) S 25289 25291 25185 0 -1 64 441 0 0 0 21 1 0 0 15 0 8 0 270870765 937721856 27795 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25291/tid=25305] ppid=25289 vsize=915744 CPUtime=0
/proc/25291/task/25305/stat : 25305 (java) S 25289 25291 25185 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270870765 937721856 27795 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25291/tid=25306] ppid=25289 vsize=915744 CPUtime=0
/proc/25291/task/25306/stat : 25306 (java) S 25289 25291 25185 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270870765 937721856 27795 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.97
Current children cumulated vsize (KiB) 915744

[startup+102.458 s]
/proc/loadavg: 1.86 1.86 1.94 3/87 25306
/proc/meminfo: memFree=1121448/2055920 swapFree=4192812/4192956
[pid=25291] ppid=25289 vsize=915744 CPUtime=101.93
/proc/25291/stat : 25291 (java) R 25289 25291 25185 0 -1 0 34118 0 1 0 10155 38 0 0 25 0 8 0 270870759 937721856 33840 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074011858 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25291/statm: 228936 33840 2501 14 0 215406 0
[pid=25291/tid=25296] ppid=25289 vsize=915744 CPUtime=0.69
/proc/25291/task/25296/stat : 25296 (java) S 25289 25291 25185 0 -1 64 17070 0 0 0 62 7 0 0 16 0 8 0 270870762 937721856 33840 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25291/tid=25297] ppid=25289 vsize=915744 CPUtime=0
/proc/25291/task/25297/stat : 25297 (java) S 25289 25291 25185 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270870762 937721856 33840 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25291/tid=25298] ppid=25289 vsize=915744 CPUtime=0
/proc/25291/task/25298/stat : 25298 (java) S 25289 25291 25185 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270870762 937721856 33840 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25291/tid=25303] ppid=25289 vsize=915744 CPUtime=0
/proc/25291/task/25303/stat : 25303 (java) S 25289 25291 25185 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 270870765 937721856 33840 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25291/tid=25304] ppid=25289 vsize=915744 CPUtime=0.28
/proc/25291/task/25304/stat : 25304 (java) S 25289 25291 25185 0 -1 64 474 0 0 0 27 1 0 0 16 0 8 0 270870765 937721856 33840 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25291/tid=25305] ppid=25289 vsize=915744 CPUtime=0
/proc/25291/task/25305/stat : 25305 (java) S 25289 25291 25185 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270870765 937721856 33840 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25291/tid=25306] ppid=25289 vsize=915744 CPUtime=0
/proc/25291/task/25306/stat : 25306 (java) S 25289 25291 25185 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270870765 937721856 33840 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.93
Current children cumulated vsize (KiB) 915744

[startup+162.551 s]
/proc/loadavg: 2.00 1.90 1.94 3/87 25306
/proc/meminfo: memFree=1121384/2055920 swapFree=4192812/4192956
[pid=25291] ppid=25289 vsize=915744 CPUtime=161.75
/proc/25291/stat : 25291 (java) R 25289 25291 25185 0 -1 0 34120 0 1 0 16132 43 0 0 25 0 8 0 270870759 937721856 33842 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073470041 0 4 0 23759 18446744073709551615 0 0 17 0 0 0

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

Current children cumulated CPU time (s) 2013.07
Current children cumulated vsize (KiB) 915984

[startup+2085.13 s]
/proc/loadavg: 2.00 2.00 1.99 3/87 25504
/proc/meminfo: memFree=981872/2055920 swapFree=4192812/4192956
[pid=25291] ppid=25289 vsize=915984 CPUtime=2072.64
/proc/25291/stat : 25291 (java) R 25289 25291 25185 0 -1 0 51549 0 1 0 207182 82 0 0 25 0 8 0 270870759 937967616 51254 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074309687 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25291/statm: 228996 51254 2548 14 0 215466 0
[pid=25291/tid=25296] ppid=25289 vsize=915984 CPUtime=0.87
/proc/25291/task/25296/stat : 25296 (java) S 25289 25291 25185 0 -1 64 34249 0 0 0 75 12 0 0 16 0 8 0 270870762 937967616 51254 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25291/tid=25297] ppid=25289 vsize=915984 CPUtime=0
/proc/25291/task/25297/stat : 25297 (java) S 25289 25291 25185 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270870762 937967616 51254 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25291/tid=25298] ppid=25289 vsize=915984 CPUtime=0
/proc/25291/task/25298/stat : 25298 (java) S 25289 25291 25185 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270870762 937967616 51254 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25291/tid=25303] ppid=25289 vsize=915984 CPUtime=0
/proc/25291/task/25303/stat : 25303 (java) S 25289 25291 25185 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 270870765 937967616 51254 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25291/tid=25304] ppid=25289 vsize=915984 CPUtime=0.4
/proc/25291/task/25304/stat : 25304 (java) S 25289 25291 25185 0 -1 64 602 0 0 0 38 2 0 0 16 0 8 0 270870765 937967616 51254 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25291/tid=25305] ppid=25289 vsize=915984 CPUtime=0
/proc/25291/task/25305/stat : 25305 (java) S 25289 25291 25185 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270870765 937967616 51254 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25291/tid=25306] ppid=25289 vsize=915984 CPUtime=0.04
/proc/25291/task/25306/stat : 25306 (java) S 25289 25291 25185 0 -1 64 1 0 0 0 3 1 0 0 15 0 8 0 270870765 937967616 51254 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2072.64
Current children cumulated vsize (KiB) 915984

[startup+2145.19 s]
/proc/loadavg: 2.00 2.00 1.99 3/87 25504
/proc/meminfo: memFree=981872/2055920 swapFree=4192812/4192956
[pid=25291] ppid=25289 vsize=915984 CPUtime=2132.2
/proc/25291/stat : 25291 (java) R 25289 25291 25185 0 -1 0 51549 0 1 0 213138 82 0 0 25 0 8 0 270870759 937967616 51254 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073470041 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25291/statm: 228996 51254 2548 14 0 215466 0
[pid=25291/tid=25296] ppid=25289 vsize=915984 CPUtime=0.87
/proc/25291/task/25296/stat : 25296 (java) S 25289 25291 25185 0 -1 64 34249 0 0 0 75 12 0 0 16 0 8 0 270870762 937967616 51254 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25291/tid=25297] ppid=25289 vsize=915984 CPUtime=0
/proc/25291/task/25297/stat : 25297 (java) S 25289 25291 25185 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270870762 937967616 51254 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25291/tid=25298] ppid=25289 vsize=915984 CPUtime=0
/proc/25291/task/25298/stat : 25298 (java) S 25289 25291 25185 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270870762 937967616 51254 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25291/tid=25303] ppid=25289 vsize=915984 CPUtime=0
/proc/25291/task/25303/stat : 25303 (java) S 25289 25291 25185 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 270870765 937967616 51254 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25291/tid=25304] ppid=25289 vsize=915984 CPUtime=0.4
/proc/25291/task/25304/stat : 25304 (java) S 25289 25291 25185 0 -1 64 602 0 0 0 38 2 0 0 16 0 8 0 270870765 937967616 51254 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25291/tid=25305] ppid=25289 vsize=915984 CPUtime=0
/proc/25291/task/25305/stat : 25305 (java) S 25289 25291 25185 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270870765 937967616 51254 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25291/tid=25306] ppid=25289 vsize=915984 CPUtime=0.04
/proc/25291/task/25306/stat : 25306 (java) S 25289 25291 25185 0 -1 64 1 0 0 0 3 1 0 0 15 0 8 0 270870765 937967616 51254 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2132.2
Current children cumulated vsize (KiB) 915984

[startup+2205.27 s]
/proc/loadavg: 2.00 2.00 1.99 3/87 25504
/proc/meminfo: memFree=981872/2055920 swapFree=4192812/4192956
[pid=25291] ppid=25289 vsize=915984 CPUtime=2191.76
/proc/25291/stat : 25291 (java) R 25289 25291 25185 0 -1 0 51549 0 1 0 219094 82 0 0 25 0 8 0 270870759 937967616 51254 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073825244 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25291/statm: 228996 51254 2548 14 0 215466 0
[pid=25291/tid=25296] ppid=25289 vsize=915984 CPUtime=0.87
/proc/25291/task/25296/stat : 25296 (java) S 25289 25291 25185 0 -1 64 34249 0 0 0 75 12 0 0 16 0 8 0 270870762 937967616 51254 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25291/tid=25297] ppid=25289 vsize=915984 CPUtime=0
/proc/25291/task/25297/stat : 25297 (java) S 25289 25291 25185 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270870762 937967616 51254 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25291/tid=25298] ppid=25289 vsize=915984 CPUtime=0
/proc/25291/task/25298/stat : 25298 (java) S 25289 25291 25185 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270870762 937967616 51254 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25291/tid=25303] ppid=25289 vsize=915984 CPUtime=0
/proc/25291/task/25303/stat : 25303 (java) S 25289 25291 25185 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 270870765 937967616 51254 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25291/tid=25304] ppid=25289 vsize=915984 CPUtime=0.4
/proc/25291/task/25304/stat : 25304 (java) S 25289 25291 25185 0 -1 64 602 0 0 0 38 2 0 0 16 0 8 0 270870765 937967616 51254 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25291/tid=25305] ppid=25289 vsize=915984 CPUtime=0
/proc/25291/task/25305/stat : 25305 (java) S 25289 25291 25185 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270870765 937967616 51254 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25291/tid=25306] ppid=25289 vsize=915984 CPUtime=0.04
/proc/25291/task/25306/stat : 25306 (java) S 25289 25291 25185 0 -1 64 1 0 0 0 3 1 0 0 15 0 8 0 270870765 937967616 51254 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2191.76
Current children cumulated vsize (KiB) 915984

[startup+2265.34 s]
/proc/loadavg: 2.00 2.00 1.99 3/87 25504
/proc/meminfo: memFree=981872/2055920 swapFree=4192812/4192956
[pid=25291] ppid=25289 vsize=915984 CPUtime=2251.34
/proc/25291/stat : 25291 (java) R 25289 25291 25185 0 -1 0 51549 0 1 0 225052 82 0 0 25 0 8 0 270870759 937967616 51254 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074313854 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25291/statm: 228996 51254 2548 14 0 215466 0
[pid=25291/tid=25296] ppid=25289 vsize=915984 CPUtime=0.87
/proc/25291/task/25296/stat : 25296 (java) S 25289 25291 25185 0 -1 64 34249 0 0 0 75 12 0 0 16 0 8 0 270870762 937967616 51254 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25291/tid=25297] ppid=25289 vsize=915984 CPUtime=0
/proc/25291/task/25297/stat : 25297 (java) S 25289 25291 25185 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270870762 937967616 51254 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25291/tid=25298] ppid=25289 vsize=915984 CPUtime=0
/proc/25291/task/25298/stat : 25298 (java) S 25289 25291 25185 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270870762 937967616 51254 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25291/tid=25303] ppid=25289 vsize=915984 CPUtime=0
/proc/25291/task/25303/stat : 25303 (java) S 25289 25291 25185 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 270870765 937967616 51254 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25291/tid=25304] ppid=25289 vsize=915984 CPUtime=0.4
/proc/25291/task/25304/stat : 25304 (java) S 25289 25291 25185 0 -1 64 602 0 0 0 38 2 0 0 16 0 8 0 270870765 937967616 51254 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25291/tid=25305] ppid=25289 vsize=915984 CPUtime=0
/proc/25291/task/25305/stat : 25305 (java) S 25289 25291 25185 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270870765 937967616 51254 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25291/tid=25306] ppid=25289 vsize=915984 CPUtime=0.04
/proc/25291/task/25306/stat : 25306 (java) S 25289 25291 25185 0 -1 64 1 0 0 0 3 1 0 0 15 0 8 0 270870765 937967616 51254 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2251.34
Current children cumulated vsize (KiB) 915984

[startup+2325.41 s]
/proc/loadavg: 2.00 2.00 1.99 3/87 25504
/proc/meminfo: memFree=981808/2055920 swapFree=4192812/4192956
[pid=25291] ppid=25289 vsize=915984 CPUtime=2310.91
/proc/25291/stat : 25291 (java) R 25289 25291 25185 0 -1 0 51549 0 1 0 231009 82 0 0 25 0 8 0 270870759 937967616 51254 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073826484 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25291/statm: 228996 51254 2548 14 0 215466 0
[pid=25291/tid=25296] ppid=25289 vsize=915984 CPUtime=0.87
/proc/25291/task/25296/stat : 25296 (java) S 25289 25291 25185 0 -1 64 34249 0 0 0 75 12 0 0 16 0 8 0 270870762 937967616 51254 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25291/tid=25297] ppid=25289 vsize=915984 CPUtime=0
/proc/25291/task/25297/stat : 25297 (java) S 25289 25291 25185 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270870762 937967616 51254 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25291/tid=25298] ppid=25289 vsize=915984 CPUtime=0
/proc/25291/task/25298/stat : 25298 (java) S 25289 25291 25185 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270870762 937967616 51254 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25291/tid=25303] ppid=25289 vsize=915984 CPUtime=0
/proc/25291/task/25303/stat : 25303 (java) S 25289 25291 25185 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 270870765 937967616 51254 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25291/tid=25304] ppid=25289 vsize=915984 CPUtime=0.4
/proc/25291/task/25304/stat : 25304 (java) S 25289 25291 25185 0 -1 64 602 0 0 0 38 2 0 0 16 0 8 0 270870765 937967616 51254 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25291/tid=25305] ppid=25289 vsize=915984 CPUtime=0
/proc/25291/task/25305/stat : 25305 (java) S 25289 25291 25185 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270870765 937967616 51254 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25291/tid=25306] ppid=25289 vsize=915984 CPUtime=0.04
/proc/25291/task/25306/stat : 25306 (java) R 25289 25291 25185 0 -1 64 1 0 0 0 3 1 0 0 15 0 8 0 270870765 937967616 51254 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2310.91
Current children cumulated vsize (KiB) 915984

[startup+2385.49 s]
/proc/loadavg: 2.00 2.00 1.99 3/87 25504
/proc/meminfo: memFree=981808/2055920 swapFree=4192812/4192956
[pid=25291] ppid=25289 vsize=915984 CPUtime=2370.46
/proc/25291/stat : 25291 (java) R 25289 25291 25185 0 -1 0 51549 0 1 0 236964 82 0 0 25 0 8 0 270870759 937967616 51254 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074316552 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25291/statm: 228996 51254 2548 14 0 215466 0
[pid=25291/tid=25296] ppid=25289 vsize=915984 CPUtime=0.87
/proc/25291/task/25296/stat : 25296 (java) S 25289 25291 25185 0 -1 64 34249 0 0 0 75 12 0 0 16 0 8 0 270870762 937967616 51254 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25291/tid=25297] ppid=25289 vsize=915984 CPUtime=0
/proc/25291/task/25297/stat : 25297 (java) S 25289 25291 25185 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270870762 937967616 51254 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25291/tid=25298] ppid=25289 vsize=915984 CPUtime=0
/proc/25291/task/25298/stat : 25298 (java) S 25289 25291 25185 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270870762 937967616 51254 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25291/tid=25303] ppid=25289 vsize=915984 CPUtime=0
/proc/25291/task/25303/stat : 25303 (java) S 25289 25291 25185 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 270870765 937967616 51254 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25291/tid=25304] ppid=25289 vsize=915984 CPUtime=0.4
/proc/25291/task/25304/stat : 25304 (java) S 25289 25291 25185 0 -1 64 602 0 0 0 38 2 0 0 16 0 8 0 270870765 937967616 51254 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25291/tid=25305] ppid=25289 vsize=915984 CPUtime=0
/proc/25291/task/25305/stat : 25305 (java) S 25289 25291 25185 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270870765 937967616 51254 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25291/tid=25306] ppid=25289 vsize=915984 CPUtime=0.04
/proc/25291/task/25306/stat : 25306 (java) S 25289 25291 25185 0 -1 64 1 0 0 0 3 1 0 0 15 0 8 0 270870765 937967616 51254 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2370.46
Current children cumulated vsize (KiB) 915984



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2415.33 s]
/proc/loadavg: 1.93 1.98 1.99 5/88 25578
/proc/meminfo: memFree=1159016/2055920 swapFree=4192812/4192956
[pid=25291] ppid=25289 vsize=915984 CPUtime=2400.1
/proc/25291/stat : 25291 (java) R 25289 25291 25185 0 -1 0 51549 0 1 0 239926 84 0 0 25 0 8 0 270870759 937967616 51254 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074014869 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25291/statm: 228996 51254 2548 14 0 215466 0
[pid=25291/tid=25296] ppid=25289 vsize=915984 CPUtime=0.87
/proc/25291/task/25296/stat : 25296 (java) S 25289 25291 25185 0 -1 64 34249 0 0 0 75 12 0 0 16 0 8 0 270870762 937967616 51254 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25291/tid=25297] ppid=25289 vsize=915984 CPUtime=0
/proc/25291/task/25297/stat : 25297 (java) S 25289 25291 25185 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270870762 937967616 51254 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25291/tid=25298] ppid=25289 vsize=915984 CPUtime=0
/proc/25291/task/25298/stat : 25298 (java) S 25289 25291 25185 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270870762 937967616 51254 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25291/tid=25303] ppid=25289 vsize=915984 CPUtime=0
/proc/25291/task/25303/stat : 25303 (java) S 25289 25291 25185 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 270870765 937967616 51254 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25291/tid=25304] ppid=25289 vsize=915984 CPUtime=0.4
/proc/25291/task/25304/stat : 25304 (java) S 25289 25291 25185 0 -1 64 602 0 0 0 38 2 0 0 16 0 8 0 270870765 937967616 51254 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25291/tid=25305] ppid=25289 vsize=915984 CPUtime=0
/proc/25291/task/25305/stat : 25305 (java) S 25289 25291 25185 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270870765 937967616 51254 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25291/tid=25306] ppid=25289 vsize=915984 CPUtime=0.04
/proc/25291/task/25306/stat : 25306 (java) S 25289 25291 25185 0 -1 64 1 0 0 0 3 1 0 0 15 0 8 0 270870765 937967616 51254 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2400.1
Current children cumulated vsize (KiB) 915984

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

Child status: 143
Real time (s): 2415.44
CPU time (s): 2400.2
CPU user time (s): 2399.33
CPU system time (s): 0.871867
CPU usage (%): 99.3691
Max. virtual memory (cumulated for all children) (KiB): 915984

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.33
system time used= 0.871867
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 51574
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= 50729
involuntary context switches= 94134

runsolver used 2.6556 s user time and 7.48286 s system time

The end

Launcher Data (download as text)

Begin job on node48 on Fri Jan 19 16:38:41 UTC 2007


IDJOB= 275649
IDBENCH= 4189
IDSOLVER= 69
FILE ID= node48/275649-1169224720

PBS_JOBID= 3589215

Free space on /tmp= 66556 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  d481a9361d80c6f0d8e85c5a29d689ed

RANDOM SEED= 676772078

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.218
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.218
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:       1372504 kB
Buffers:         48436 kB
Cached:         538744 kB
SwapCached:          0 kB
Active:         137876 kB
Inactive:       469476 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1372504 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            8820 kB
Writeback:           0 kB
Mapped:          30292 kB
Slab:            61768 kB
Committed_AS:  5475988 kB
PageTables:       1584 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 node48 on Fri Jan 19 17:18:56 UTC 2007