Trace number 275643

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.14 2401.22

General information on the benchmark

Namefapp/fapp36-40/fapp36/
fapp36-2000-4.xml
MD5SUM89a45000573be1b2f9bfb23b71c21d6b
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkMSAT TO
Best Number of satisfied constraints17415
Best CPU time to get the best result obtained on this benchmark2400.11
SatisfiableNO
(Un)Satisfiability was provedNO
Number of variables2000
Number of constraints18600
Maximum constraint arity2
Maximum domain size454
Number of constraints which are defined in extension0
Number of constraints which are defined in intension18600
Global constraints used (with number of constraints)

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data (download as text)

0.37	   
0.37	Abscon 109 (November, 2006)
0.37	   
0.37	   configuration
0.37	     name=pfc.xml
0.41	   
0.41	   instance
0.41	     name=/tmp/evaluation/275643-1169224681/unknown.xml
0.44	   
0.44	   domains being loaded...
0.47	   
0.47	   variables being loaded...
0.75	     nbVariables=2000  nbDomainTypes=26  minDomainSize=46  maxDomainSize=454
0.75	       =>  wckTime=0.372  cpuTime=0.26  mem=34M241
0.75	   
0.75	   predicates being loaded...
0.75	   
0.75	   constraints being loaded...
60.85	   
60.85	   INFO : Stopping converting binary constraints (cpu=60.03, mem = 61M415)
62.34	     nbConstraints=18600  nbConvertedConstraints=1912  nbConvertConstraintsChecks=188676214  nbExtensionStructures=1554
62.34	     nbSharedExtensionStructures=358  nbConflictsStructures=1554  nbSharedConflictsStructures=358
62.34	     nbSharedBinaryRepresentations=1033275  nbEvaluationManagers=8167  nbSharedEvaluationManagers=8521  maxDegree=25
62.34	     maxArity=2
62.34	       =>  wckTime=61.968  cpuTime=61.26  mem=71M461
62.58	   
62.58	   solver LocalSearchSolver being built... 
62.62	       =>  wckTime=62.248  cpuTime=61.3  mem=62M470
62.77	
62.77	s SATISFIABLE
62.77	o 13241
62.77	c 5359
62.86	o 13248
62.86	c 5352
62.92	o 13252
62.92	c 5348
62.97	o 13256
62.97	c 5344
63.02	o 13258
63.02	c 5342
63.07	o 13265
63.07	c 5335
63.12	o 13266
63.12	c 5334
63.17	o 13272
63.17	c 5328
63.21	o 13278
63.21	c 5322
63.26	o 13284
63.26	c 5316
63.29	o 13289
63.29	c 5311
63.34	o 13294
63.34	c 5306
63.38	o 13298
63.38	c 5302
63.41	o 13302
63.41	c 5298
63.45	o 13306
63.45	c 5294
63.49	o 13310
63.49	c 5290
63.53	o 13313
63.53	c 5287
63.56	o 13316
63.56	c 5284
63.59	o 13319
63.59	c 5281
63.62	o 13322
63.62	c 5278
63.66	o 13324
63.66	c 5276
63.68	o 13326
63.68	c 5274
63.71	o 13328
63.71	c 5272
63.73	o 13330
63.73	c 5270
63.74	o 13331
63.74	c 5269
63.77	o 13332
63.77	c 5268
63.80	o 13333
63.80	c 5267
63.82	o 13334
63.82	c 5266
63.83	o 13335
63.83	c 5265
63.85	o 13339
63.85	c 5261
63.88	o 13348
63.88	c 5252
63.93	o 13354
63.93	c 5246
63.97	o 13360
63.97	c 5240
64.02	o 13365
64.02	c 5235
64.08	o 13370
64.08	c 5230
64.12	o 13375
64.12	c 5225
64.17	o 13379
64.17	c 5221
64.21	o 13383
64.21	c 5217
64.26	o 13387
64.26	c 5213
64.31	o 13391
64.31	c 5209
64.36	o 13394
64.36	c 5206
64.41	o 13397
64.41	c 5203
64.45	o 13400
64.45	c 5200
64.50	o 13403
64.50	c 5197
64.54	o 13406
64.54	c 5194
64.58	o 13409
64.58	c 5191
64.64	o 13412
64.64	c 5188
64.69	o 13414
64.69	c 5186
64.72	o 13416
64.72	c 5184
64.75	o 13418
64.75	c 5182
64.78	o 13420
64.78	c 5180
64.82	o 13422
64.82	c 5178
64.85	o 13424
64.85	c 5176
64.88	o 13426
64.88	c 5174
64.91	o 13428
64.91	c 5172
64.93	o 13430
64.93	c 5170
64.95	o 13432
64.95	c 5168
64.98	o 13433
64.98	c 5167
65.00	o 13434
65.00	c 5166
65.01	o 13435
65.01	c 5165
65.05	o 13436
65.05	c 5164
65.08	o 13437
65.08	c 5163
65.10	o 13438
65.10	c 5162
65.14	o 13439
65.14	c 5161
65.19	o 13446
65.19	c 5154
65.24	o 13451
65.24	c 5149
65.31	o 13456
65.31	c 5144
65.36	o 13459
65.36	c 5141
65.42	o 13464
65.42	c 5136
65.48	o 13469
65.48	c 5131
65.54	o 13473
65.54	c 5127
65.61	o 13477
65.61	c 5123
65.66	o 13480
65.66	c 5120
65.72	o 13483
65.72	c 5117
65.77	o 13486
65.77	c 5114
65.84	o 13489
65.84	c 5111
65.90	o 13492
65.90	c 5108
65.95	o 13495
65.95	c 5105
66.01	o 13498
66.01	c 5102
66.07	o 13501
66.07	c 5099
66.12	o 13504
66.12	c 5096
66.18	o 13507
66.18	c 5093
66.22	o 13510
66.22	c 5090
66.26	o 13512
66.26	c 5088
66.31	o 13514
66.31	c 5086
66.35	o 13516
66.35	c 5084
66.39	o 13518
66.39	c 5082
66.43	o 13520
66.43	c 5080
66.46	o 13522
66.46	c 5078
66.51	o 13524
66.51	c 5076
66.55	o 13526
66.55	c 5074
66.59	o 13528
66.59	c 5072
66.63	o 13532
66.63	c 5068
66.66	o 13534
66.66	c 5066
66.68	o 13536
66.68	c 5064
66.72	o 13538
66.72	c 5062
66.74	o 13539
66.74	c 5061
66.76	o 13540
66.76	c 5060
66.79	o 13541
66.79	c 5059
66.81	o 13542
66.81	c 5058
66.84	o 13548
66.84	c 5052
66.87	o 13549
66.87	c 5051
66.89	o 13550
66.89	c 5050
66.92	o 13557
66.92	c 5043
66.95	o 13558
66.95	c 5042
66.98	o 13563
66.98	c 5037
67.02	o 13566
67.02	c 5034
67.04	o 13570
67.04	c 5030
67.07	o 13572
67.07	c 5028
67.09	o 13575
67.09	c 5025
67.12	o 13582
67.12	c 5018
67.16	o 13588
67.16	c 5012
67.18	o 13593
67.18	c 5007
67.21	o 13596
67.21	c 5004
67.23	o 13599
67.23	c 5001
67.28	o 13604
67.28	c 4996
67.30	o 13608
67.30	c 4992
67.33	o 13613
67.33	c 4987
67.36	o 13615
67.36	c 4985
67.40	o 13616
67.40	c 4984
67.43	o 13620
67.43	c 4980
67.45	o 13624
67.45	c 4976
67.47	o 13625
67.47	c 4975
67.51	o 13627
67.51	c 4973
67.53	o 13630
67.53	c 4970
67.56	o 13631
67.56	c 4969
67.59	o 13634
67.59	c 4966
67.62	o 13636
67.62	c 4964
67.69	o 13638
67.69	c 4962
67.74	o 13646
67.74	c 4954
67.77	o 13648
67.77	c 4952
67.81	o 13650
67.81	c 4950
67.89	o 13656
67.89	c 4944
67.97	o 13662
67.97	c 4938
68.05	o 13668
68.05	c 4932
68.11	o 13674
68.11	c 4926
68.19	o 13679
68.19	c 4921
68.26	o 13684
68.26	c 4916
68.33	o 13689
68.33	c 4911
68.41	o 13694
68.41	c 4906
68.49	o 13699
68.49	c 4901
68.56	o 13704
68.56	c 4896
68.63	o 13708
68.63	c 4892
68.71	o 13712
68.71	c 4888
68.78	o 13716
68.78	c 4884
68.85	o 13720
68.85	c 4880
68.91	o 13724
68.91	c 4876
68.98	o 13727
68.98	c 4873
69.04	o 13732
69.04	c 4868
69.10	o 13735
69.10	c 4865
69.16	o 13738
69.16	c 4862
69.27	o 13742
69.27	c 4858
69.32	o 13745
69.32	c 4855
69.38	o 13748
69.38	c 4852
69.43	o 13751
69.43	c 4849
69.48	o 13754
69.48	c 4846
69.53	o 13756
69.53	c 4844
69.58	o 13758
69.58	c 4842
69.61	o 13760
69.61	c 4840
69.65	o 13762
69.65	c 4838
69.69	o 13764
69.69	c 4836
69.73	o 13766
69.73	c 4834
69.77	o 13768
69.77	c 4832
69.82	o 13770
69.82	c 4830
69.86	o 13772
69.86	c 4828
69.90	o 13774
69.90	c 4826
69.94	o 13776
69.94	c 4824
69.98	o 13778
69.98	c 4822
70.02	o 13779
70.02	c 4821
70.06	o 13786
70.06	c 4814
70.10	o 13787
70.10	c 4813
70.14	o 13788
70.14	c 4812
70.18	o 13789
70.18	c 4811
70.21	o 13790
70.21	c 4810
70.25	o 13791
70.25	c 4809
70.28	o 13792
70.28	c 4808
70.31	o 13793
70.31	c 4807
70.33	o 13794
70.33	c 4806
70.43	o 13798
70.43	c 4802
70.45	o 13801
70.45	c 4799
70.48	o 13804
70.48	c 4796
70.51	o 13809
70.51	c 4791
70.53	o 13812
70.53	c 4788
70.56	o 13813
70.56	c 4787
70.62	o 13817
70.62	c 4783
70.65	o 13821
70.65	c 4779
70.68	o 13823
70.68	c 4777
70.70	o 13825
70.70	c 4775
70.73	o 13832
70.73	c 4768
70.77	o 13834
70.77	c 4766
70.81	o 13835
70.81	c 4765
70.85	o 13836
70.85	c 4764
70.90	o 13839
70.90	c 4761
70.94	o 13844
70.94	c 4756
70.98	o 13846
70.98	c 4754
71.02	o 13851
71.02	c 4749
71.09	o 13855
71.09	c 4745
71.16	o 13856
71.16	c 4744
71.21	o 13861
71.21	c 4739
71.24	o 13862
71.24	c 4738
71.29	o 13863
71.29	c 4737
71.33	o 13871
71.33	c 4729
71.37	o 13879
71.37	c 4721
71.42	o 13882
71.42	c 4718
71.46	o 13883
71.46	c 4717
71.54	o 13886
71.54	c 4714
71.58	o 13889
71.58	c 4711
71.60	o 13892
71.60	c 4708
71.63	o 13893
71.63	c 4707
71.67	o 13894
71.67	c 4706
71.70	o 13897
71.70	c 4703
71.81	o 13900
71.81	c 4700
71.85	o 13903
71.85	c 4697
71.88	o 13905
71.88	c 4695
71.92	o 13909
71.92	c 4691
71.99	o 13910
71.99	c 4690
72.02	o 13911
72.02	c 4689
72.06	o 13917
72.06	c 4683
72.11	o 13920
72.11	c 4680
72.17	o 13927
72.18	c 4673
72.22	o 13929
72.22	c 4671
72.28	o 13936
72.28	c 4664
72.37	o 13942
72.37	c 4658
72.43	o 13944
72.43	c 4656
72.51	o 13950
72.51	c 4650
72.69	o 13956
72.69	c 4644
72.77	o 13962
72.77	c 4638
72.85	o 13968
72.85	c 4632
72.94	o 13973
72.94	c 4627
73.03	o 13974
73.03	c 4626
73.14	o 13975
73.14	c 4625
73.23	o 13980
73.23	c 4620
73.33	o 13985
73.33	c 4615
73.41	o 13990
73.41	c 4610
73.51	o 13994
73.51	c 4606
73.60	o 13996
73.60	c 4604
73.69	o 14000
73.69	c 4600
73.78	o 14004
73.78	c 4596
73.87	o 14008
73.87	c 4592
73.95	o 14012
73.95	c 4588
74.04	o 14015
74.04	c 4585
74.13	o 14018
74.13	c 4582
74.21	o 14021
74.21	c 4579
74.29	o 14023
74.29	c 4577
74.37	o 14026
74.37	c 4574
74.45	o 14029
74.45	c 4571
74.53	o 14032
74.53	c 4568
74.61	o 14035
74.61	c 4565
74.68	o 14038
74.68	c 4562
74.75	o 14041
74.75	c 4559
74.82	o 14045
74.82	c 4555
74.88	o 14048
74.88	c 4552
74.96	o 14051
74.96	c 4549
75.02	o 14053
75.02	c 4547
75.07	o 14055
75.07	c 4545
75.15	o 14057
75.15	c 4543
75.21	o 14059
75.21	c 4541
75.27	o 14061
75.27	c 4539
75.33	o 14063
75.33	c 4537
75.38	o 14065
75.38	c 4535
75.44	o 14071
75.44	c 4529
75.50	o 14073
75.50	c 4527
75.55	o 14075
75.55	c 4525
75.60	o 14077
75.60	c 4523
75.65	o 14079
75.65	c 4521
75.70	o 14080
75.70	c 4520
75.76	o 14081
75.76	c 4519
75.81	o 14082
75.81	c 4518
75.86	o 14083
75.86	c 4517
75.91	o 14084
75.91	c 4516
75.94	o 14085
75.94	c 4515
75.99	o 14086
75.99	c 4514
76.03	o 14090
76.03	c 4510
76.08	o 14091
76.08	c 4509
76.16	o 14093
76.16	c 4507
76.31	o 14094
76.31	c 4506
76.36	o 14095
76.36	c 4505
76.41	o 14102
76.41	c 4498
76.47	o 14104
76.47	c 4496
76.53	o 14110
76.53	c 4490
76.57	o 14116
76.57	c 4484
76.63	o 14120
76.63	c 4480
76.98	o 14122
76.98	c 4478
77.08	o 14124
77.08	c 4476
77.24	o 14125
77.24	c 4475
77.28	o 14127
77.28	c 4473
77.33	o 14132
77.33	c 4468
77.38	o 14134
77.38	c 4466
77.44	o 14137
77.44	c 4463
77.50	o 14141
77.50	c 4459
77.56	o 14144
77.56	c 4456
77.60	o 14146
77.60	c 4454
77.66	o 14150
77.66	c 4450
77.71	o 14152
77.71	c 4448
77.77	o 14154
77.77	c 4446
77.82	o 14156
77.82	c 4444
77.86	o 14162
77.86	c 4438
77.91	o 14165
77.91	c 4435
78.06	o 14169
78.06	c 4431
78.10	o 14172
78.10	c 4428
78.28	o 14174
78.28	c 4426
78.33	o 14176
78.33	c 4424
78.38	o 14179
78.38	c 4421
78.47	o 14183
78.47	c 4417
78.52	o 14184
78.52	c 4416
78.60	o 14185
78.60	c 4415
78.65	o 14188
78.65	c 4412
78.72	o 14190
78.72	c 4410
78.77	o 14194
78.77	c 4406
78.83	o 14195
78.83	c 4405
78.88	o 14197
78.88	c 4403
78.95	o 14199
78.95	c 4401
78.99	o 14202
78.99	c 4398
79.09	o 14203
79.09	c 4397
79.17	o 14207
79.17	c 4393
79.22	o 14210
79.22	c 4390
79.27	o 14214
79.27	c 4386
79.43	o 14216
79.43	c 4384
79.49	o 14218
79.49	c 4382
79.54	o 14220
79.54	c 4380
79.59	o 14223
79.59	c 4377
79.64	o 14228
79.64	c 4372
79.69	o 14230
79.69	c 4370
79.75	o 14231
79.75	c 4369
79.79	o 14236
79.79	c 4364
79.89	o 14240
79.89	c 4360
79.93	o 14241
79.93	c 4359
79.98	o 14247
79.98	c 4353
80.03	o 14248
80.03	c 4352
80.07	o 14249
80.07	c 4351
80.12	o 14252
80.12	c 4348
80.17	o 14256
80.17	c 4344
80.21	o 14260
80.21	c 4340
80.29	o 14261
80.29	c 4339
80.34	o 14265
80.34	c 4335
80.40	o 14266
80.40	c 4334
80.45	o 14268
80.45	c 4332
80.49	o 14274
80.49	c 4326
80.55	o 14276
80.55	c 4324
80.61	o 14278
80.61	c 4322
80.68	o 14281
80.68	c 4319
80.72	o 14285
80.72	c 4315
80.78	o 14286
80.78	c 4314
80.83	o 14288
80.83	c 4312
80.87	o 14290
80.87	c 4310
80.93	o 14292
80.93	c 4308
81.00	o 14297
81.00	c 4303
81.08	o 14301
81.08	c 4299
81.15	o 14305
81.15	c 4295
81.27	o 14307
81.27	c 4293
81.40	o 14311
81.40	c 4289
81.47	o 14315
81.47	c 4285
81.54	o 14319
81.54	c 4281
81.61	o 14323
81.61	c 4277
81.68	o 14326
81.68	c 4274
81.75	o 14329
81.75	c 4271
81.82	o 14332
81.82	c 4268
81.89	o 14335
81.89	c 4265
81.96	o 14338
81.96	c 4262
82.02	o 14340
82.02	c 4260
82.08	o 14342
82.08	c 4258
82.14	o 14344
82.14	c 4256
82.19	o 14346
82.19	c 4254
82.25	o 14350
82.25	c 4250
82.31	o 14351
82.31	c 4249
82.36	o 14352
82.36	c 4248
82.42	o 14353
82.42	c 4247
82.47	o 14354
82.47	c 4246
82.53	o 14355
82.53	c 4245
82.60	o 14356
82.60	c 4244
82.65	o 14357
82.65	c 4243
82.70	o 14358
82.70	c 4242
82.75	o 14361
82.75	c 4239
82.80	o 14364
82.80	c 4236
82.85	o 14365
82.85	c 4235
82.90	o 14367
82.90	c 4233
82.99	o 14371
82.99	c 4229
83.08	o 14374
83.08	c 4226
83.28	o 14375
83.28	c 4225
83.32	o 14376
83.33	c 4224
83.37	o 14381
83.37	c 4219
83.42	o 14382
83.42	c 4218
83.47	o 14387
83.47	c 4213
83.51	o 14388
83.51	c 4212
83.58	o 14389
83.58	c 4211
83.64	o 14391
83.64	c 4209
83.68	o 14392
83.68	c 4208
83.72	o 14394
83.72	c 4206
83.83	o 14397
83.83	c 4203
83.89	o 14398
83.89	c 4202
83.94	o 14403
83.94	c 4197
83.99	o 14405
83.99	c 4195
84.10	o 14408
84.10	c 4192
84.16	o 14411
84.16	c 4189
84.21	o 14415
84.21	c 4185
84.26	o 14416
84.26	c 4184
84.32	o 14417
84.32	c 4183
84.38	o 14418
84.38	c 4182
84.43	o 14419
84.43	c 4181
84.50	o 14421
84.50	c 4179
84.55	o 14425
84.55	c 4175
84.60	o 14427
84.60	c 4173
84.65	o 14430
84.65	c 4170
84.77	o 14431
84.77	c 4169
84.87	o 14432
84.87	c 4168
84.92	o 14435
84.92	c 4165
84.96	o 14438
84.96	c 4162
85.01	o 14439
85.01	c 4161
85.08	o 14445
85.08	c 4155
85.14	o 14448
85.14	c 4152
85.19	o 14450
85.19	c 4150
85.25	o 14452
85.25	c 4148
85.30	o 14453
85.30	c 4147
85.41	o 14455
85.41	c 4145
85.53	o 14457
85.53	c 4143
85.59	o 14459
85.59	c 4141
85.66	o 14460
85.66	c 4140
85.72	o 14461
85.72	c 4139
85.79	o 14463
85.79	c 4137
85.84	o 14465
85.84	c 4135
85.90	o 14466
85.90	c 4134
85.97	o 14467
85.97	c 4133
86.04	o 14469
86.04	c 4131
86.18	o 14475
86.18	c 4125
86.30	o 14480
86.30	c 4120
86.42	o 14481
86.42	c 4119
86.48	o 14482
86.48	c 4118
86.55	o 14483
86.55	c 4117
86.61	o 14484
86.61	c 4116
86.69	o 14485
86.69	c 4115
86.76	o 14488
86.76	c 4112
86.84	o 14490
86.84	c 4110
86.90	o 14491
86.90	c 4109
86.98	o 14493
86.98	c 4107
87.06	o 14495
87.06	c 4105
87.29	o 14496
87.29	c 4104
87.37	o 14498
87.37	c 4102
87.46	o 14499
87.46	c 4101
87.53	o 14504
87.53	c 4096
87.62	o 14506
87.62	c 4094
87.70	o 14511
87.70	c 4089
87.76	o 14513
87.76	c 4087
88.22	o 14515
88.22	c 4085
88.29	o 14519
88.29	c 4081
88.45	o 14521
88.45	c 4079
88.53	o 14522
88.53	c 4078
88.62	o 14523
88.62	c 4077
88.69	o 14527
88.69	c 4073
88.77	o 14530
88.77	c 4070
88.85	o 14531
88.85	c 4069
88.92	o 14532
88.92	c 4068
89.26	o 14534
89.26	c 4066
89.33	o 14537
89.33	c 4063
89.41	o 14539
89.41	c 4061
89.51	o 14540
89.51	c 4060
89.60	o 14546
89.60	c 4054
89.68	o 14547
89.68	c 4053
89.77	o 14549
89.77	c 4051
89.83	o 14554
89.83	c 4046
89.92	o 14555
89.92	c 4045
90.05	o 14556
90.05	c 4044
90.15	o 14558
90.15	c 4042
90.24	o 14563
90.24	c 4037
90.38	o 14565
90.38	c 4035
90.50	o 14570
90.50	c 4030
90.66	o 14574
90.66	c 4026
90.80	o 14578
90.80	c 4022
90.96	o 14581
90.96	c 4019
91.09	o 14583
91.09	c 4017
91.24	o 14586
91.24	c 4014
91.38	o 14589
91.38	c 4011
91.52	o 14592
91.52	c 4008
91.67	o 14594
91.67	c 4006
91.81	o 14596
91.81	c 4004
91.94	o 14598
91.94	c 4002
92.05	o 14601
92.05	c 3999
92.18	o 14603
92.18	c 3997
92.30	o 14605
92.30	c 3995
92.44	o 14608
92.44	c 3992
92.56	o 14614
92.56	c 3986
92.68	o 14616
92.68	c 3984
92.81	o 14618
92.81	c 3982
92.91	o 14619
92.91	c 3981
93.01	o 14623
93.01	c 3977
93.11	o 14626
93.11	c 3974
93.22	o 14627
93.22	c 3973
93.54	o 14629
93.54	c 3971
93.64	o 14631
93.64	c 3969
93.74	o 14632
93.74	c 3968
93.85	o 14633
93.85	c 3967
93.95	o 14635
93.95	c 3965
94.06	o 14636
94.06	c 3964
94.17	o 14637
94.17	c 3963
94.27	o 14638
94.27	c 3962
94.37	o 14639
94.37	c 3961
94.47	o 14640
94.47	c 3960
94.56	o 14641
94.56	c 3959
94.65	o 14642
94.65	c 3958
94.76	o 14643
94.76	c 3957
94.86	o 14644
94.86	c 3956
94.97	o 14645
94.97	c 3955
95.06	o 14646
95.06	c 3954
95.57	o 14648
95.57	c 3952
95.75	o 14649
95.75	c 3951
95.99	o 14653
95.99	c 3947
96.07	o 14657
96.07	c 3943
96.15	o 14660
96.15	c 3940
96.24	o 14664
96.24	c 3936
96.33	o 14665
96.33	c 3935
96.41	o 14666
96.41	c 3934
96.58	o 14670
96.58	c 3930
96.68	o 14675
96.68	c 3925
96.88	o 14679
96.88	c 3921
96.99	o 14684
96.99	c 3916
97.10	o 14687
97.10	c 3913
97.28	o 14688
97.28	c 3912
97.49	o 14691
97.49	c 3909
97.78	o 14692
97.78	c 3908
97.88	o 14694
97.88	c 3906
97.98	o 14695
97.98	c 3905
98.10	o 14697
98.10	c 3903
98.19	o 14698
98.19	c 3902
98.40	o 14700
98.40	c 3900
98.49	o 14701
98.49	c 3899
98.69	o 14702
98.69	c 3898
98.87	o 14703
98.87	c 3897
98.97	o 14704
98.97	c 3896
99.08	o 14706
99.08	c 3894
99.18	o 14710
99.18	c 3890
99.38	o 14713
99.38	c 3887
99.48	o 14715
99.48	c 3885
99.58	o 14717
99.58	c 3883
99.69	o 14718
99.69	c 3882
99.79	o 14719
99.79	c 3881
100.00	o 14720
100.00	c 3880
100.30	o 14721
100.30	c 3879
100.52	o 14722
100.52	c 3878
100.63	o 14723
100.63	c 3877
100.72	o 14725
100.72	c 3875
100.83	o 14728
100.83	c 3872
100.94	o 14729
100.94	c 3871
101.05	o 14731
101.05	c 3869
101.17	o 14735
101.17	c 3865
101.62	o 14738
101.62	c 3862
101.76	o 14740
101.76	c 3860
101.87	o 14743
101.87	c 3857
102.12	o 14745
102.12	c 3855
102.73	o 14746
102.73	c 3854
102.86	o 14747
102.86	c 3853
102.98	o 14752
102.98	c 3848
103.11	o 14757
103.11	c 3843
103.23	o 14759
103.23	c 3841
103.48	o 14762
103.48	c 3838
103.72	o 14764
103.72	c 3836
103.98	o 14767
103.98	c 3833
104.24	o 14768
104.24	c 3832
104.37	o 14769
104.37	c 3831
104.49	o 14770
104.49	c 3830
104.62	o 14776
104.62	c 3824
104.74	o 14780
104.74	c 3820
104.88	o 14782
104.88	c 3818
105.00	o 14783
105.00	c 3817
105.12	o 14786
105.12	c 3814
105.37	o 14789
105.37	c 3811
105.61	o 14790
105.61	c 3810
105.72	o 14794
105.72	c 3806
105.95	o 14796
105.95	c 3804
106.28	o 14800
106.28	c 3800
106.51	o 14801
106.51	c 3799
106.62	o 14802
106.62	c 3798
106.83	o 14803
106.83	c 3797
106.93	o 14804
106.93	c 3796
107.06	o 14805
107.06	c 3795
107.16	o 14806
107.16	c 3794
107.29	o 14811
107.29	c 3789
107.54	o 14815
107.54	c 3785
107.90	o 14818
107.90	c 3782
108.03	o 14823
108.03	c 3777
108.65	o 14824
108.65	c 3776
108.79	o 14826
108.79	c 3774
108.91	o 14830
108.91	c 3770
109.04	o 14833
109.04	c 3767
109.17	o 14835
109.17	c 3765
109.29	o 14838
109.29	c 3762
109.42	o 14839
109.42	c 3761
109.54	o 14841
109.54	c 3759
109.93	o 14842
109.93	c 3758
110.05	o 14845
110.05	c 3755
110.18	o 14847
110.18	c 3753
110.31	o 14849
110.31	c 3751
110.57	o 14851
110.57	c 3749
110.82	o 14852
110.82	c 3748
110.95	o 14853
110.95	c 3747
111.07	o 14856
111.07	c 3744
111.19	o 14858
111.19	c 3742
111.32	o 14860
111.32	c 3740
111.44	o 14861
111.44	c 3739
111.55	o 14864
111.55	c 3736
111.68	o 14866
111.68	c 3734
112.04	o 14868
112.04	c 3732
112.29	o 14869
112.29	c 3731
112.42	o 14870
112.42	c 3730
112.54	o 14871
112.54	c 3729
112.79	o 14872
112.79	c 3728
112.92	o 14873
112.92	c 3727
113.04	o 14877
113.04	c 3723
113.18	o 14881
113.18	c 3719
113.30	o 14883
113.31	c 3717
113.55	o 14884
113.55	c 3716
113.92	o 14887
113.92	c 3713
114.03	o 14888
114.03	c 3712
114.16	o 14889
114.16	c 3711
114.29	o 14892
114.29	c 3708
114.41	o 14895
114.41	c 3705
114.54	o 14896
114.54	c 3704
114.80	o 14898
114.80	c 3702
114.93	o 14902
114.93	c 3698
115.07	o 14905
115.07	c 3695
115.20	o 14909
115.20	c 3691
115.34	o 14911
115.34	c 3689
115.47	o 14913
115.47	c 3687
115.91	o 14914
115.91	c 3686
116.05	o 14917
116.05	c 3683
116.22	o 14920
116.22	c 3680
116.35	o 14923
116.35	c 3677
116.51	o 14924
116.51	c 3676
116.84	o 14928
116.84	c 3672
117.00	o 14931
117.00	c 3669
117.15	o 14933
117.15	c 3667
117.31	o 14936
117.31	c 3664
117.47	o 14939
117.47	c 3661
117.95	o 14940
117.95	c 3660
118.10	o 14946
118.10	c 3654
118.26	o 14948
118.26	c 3652
118.41	o 14949
118.41	c 3651
118.55	o 14950
118.55	c 3650
118.71	o 14952
118.71	c 3648
118.88	o 14954
118.88	c 3646
119.04	o 14956
119.04	c 3644
119.20	o 14959
119.20	c 3641
119.52	o 14960
119.52	c 3640
119.67	o 14963
119.67	c 3637
119.83	o 14965
119.83	c 3635
120.26	o 14966
120.26	c 3634
120.40	o 14967
120.40	c 3633
120.56	o 14968
120.56	c 3632
120.70	o 14969
120.70	c 3631
120.85	o 14970
120.85	c 3630
120.99	o 14971
120.99	c 3629
121.13	o 14972
121.13	c 3628
121.27	o 14973
121.27	c 3627
121.54	o 14975
121.54	c 3625
122.09	o 14976
122.09	c 3624
122.73	o 14981
122.73	c 3619
122.99	o 14984
122.99	c 3616
123.12	o 14986
123.12	c 3614
123.24	o 14988
123.24	c 3612
124.10	o 14989
124.10	c 3611
124.22	o 14993
124.22	c 3607
124.33	o 14994
124.33	c 3606
124.45	o 14996
124.45	c 3604
124.78	o 14999
124.78	c 3601
124.92	o 15001
124.92	c 3599
125.37	o 15004
125.37	c 3596
125.48	o 15006
125.48	c 3594
125.74	o 15007
125.74	c 3593
125.86	o 15008
125.86	c 3592
125.98	o 15010
125.98	c 3590
126.10	o 15011
126.10	c 3589
126.21	o 15014
126.21	c 3586
126.34	o 15016
126.34	c 3584
126.45	o 15017
126.45	c 3583
126.68	o 15018
126.68	c 3582
126.80	o 15019
126.80	c 3581
127.05	o 15023
127.05	c 3577
127.79	o 15024
127.79	c 3576
127.92	o 15026
127.92	c 3574
128.06	o 15028
128.06	c 3572
128.19	o 15031
128.19	c 3569
128.31	o 15034
128.31	c 3566
128.44	o 15038
128.44	c 3562
128.58	o 15041
128.58	c 3559
128.73	o 15044
128.73	c 3556
128.83	o 15045
128.83	c 3555
128.96	o 15048
128.96	c 3552
129.09	o 15050
129.09	c 3550
129.21	o 15055
129.21	c 3545
129.34	o 15057
129.34	c 3543
129.46	o 15059
129.46	c 3541
129.58	o 15061
129.58	c 3539
129.71	o 15064
129.71	c 3536
129.95	o 15070
129.95	c 3530
130.09	o 15072
130.09	c 3528
130.22	o 15073
130.22	c 3527
130.33	o 15075
130.33	c 3525
130.45	o 15077
130.45	c 3523
130.57	o 15078
130.57	c 3522
130.82	o 15080
130.82	c 3520
130.95	o 15081
130.95	c 3519
131.09	o 15082
131.09	c 3518
131.23	o 15086
131.23	c 3514
131.37	o 15088
131.37	c 3512
131.51	o 15092
131.51	c 3508
131.79	o 15094
131.79	c 3506
132.33	o 15096
132.33	c 3504
132.47	o 15099
132.47	c 3501
132.73	o 15101
132.73	c 3499
132.87	o 15103
132.87	c 3497
133.13	o 15106
133.13	c 3494
133.26	o 15108
133.26	c 3492
133.52	o 15110
133.52	c 3490
133.76	o 15112
133.76	c 3488
133.88	o 15114
133.88	c 3486
134.11	o 15115
134.11	c 3485
134.37	o 15118
134.37	c 3482
134.61	o 15119
134.61	c 3481
134.75	o 15122
134.75	c 3478
134.88	o 15125
134.88	c 3475
135.13	o 15128
135.13	c 3472
135.41	o 15129
135.41	c 3471
135.56	o 15130
135.56	c 3470
135.99	o 15132
135.99	c 3468
136.26	o 15134
136.26	c 3466
136.66	o 15137
136.66	c 3463
136.80	o 15138
136.80	c 3462
136.94	o 15139
136.94	c 3461
137.08	o 15143
137.08	c 3457
137.22	o 15145
137.22	c 3455
137.37	o 15149
137.37	c 3451
137.50	o 15151
137.50	c 3449
137.77	o 15152
137.77	c 3448
137.91	o 15154
137.91	c 3446
138.04	o 15155
138.04	c 3445
138.18	o 15158
138.18	c 3442
138.32	o 15160
138.32	c 3440
138.46	o 15163
138.46	c 3437
138.61	o 15164
138.61	c 3436
138.75	o 15168
138.75	c 3432
138.89	o 15172
138.89	c 3428
139.19	o 15174
139.19	c 3426
139.61	o 15177
139.61	c 3423
139.75	o 15178
139.75	c 3422
140.05	o 15180
140.05	c 3420
140.19	o 15183
140.19	c 3417
140.34	o 15186
140.34	c 3414
140.49	o 15188
140.49	c 3412
140.64	o 15191
140.64	c 3409
141.08	o 15193
141.08	c 3407
141.50	o 15194
141.50	c 3406
141.64	o 15195
141.64	c 3405
141.79	o 15196
141.79	c 3404
141.94	o 15199
141.94	c 3401
142.08	o 15201
142.08	c 3399
142.36	o 15202
142.36	c 3398
142.50	o 15204
142.50	c 3396
142.77	o 15205
142.77	c 3395
142.92	o 15209
142.92	c 3391
143.06	o 15211
143.06	c 3389
143.21	o 15213
143.21	c 3387
143.65	o 15217
143.65	c 3383
143.80	o 15220
143.80	c 3380
143.97	o 15225
143.97	c 3375
144.11	o 15227
144.11	c 3373
144.27	o 15229
144.27	c 3371
144.59	o 15232
144.59	c 3368
144.75	o 15235
144.75	c 3365
145.04	o 15238
145.04	c 3362
145.21	o 15241
145.21	c 3359
145.68	o 15244
145.68	c 3356
145.84	o 15245
145.84	c 3355
146.01	o 15246
146.01	c 3354
146.16	o 15250
146.16	c 3350
146.30	o 15255
146.30	c 3345
146.48	o 15257
146.48	c 3343
147.01	o 15259
147.01	c 3341
147.19	o 15262
147.19	c 3338
147.37	o 15265
147.37	c 3335
147.56	o 15266
147.56	c 3334
147.74	o 15267
147.74	c 3333
147.92	o 15270
147.92	c 3330
148.10	o 15274
148.10	c 3326
148.29	o 15276
148.29	c 3324
148.47	o 15278
148.47	c 3322
148.66	o 15279
148.66	c 3321
149.04	o 15282
149.04	c 3318
149.22	o 15283
149.22	c 3317
149.40	o 15284
149.40	c 3316
149.79	o 15285
149.79	c 3315
149.98	o 15286
149.98	c 3314
150.15	o 15289
150.15	c 3311
150.34	o 15293
150.34	c 3307
150.72	o 15294
150.72	c 3306
151.09	o 15297
151.09	c 3303
151.27	o 15300
151.27	c 3300
151.45	o 15302
151.45	c 3298
151.63	o 15306
151.63	c 3294
151.80	o 15307
151.80	c 3293
151.99	o 15311
151.99	c 3289
152.18	o 15317
152.18	c 3283
152.35	o 15319
152.35	c 3281
152.70	o 15322
152.70	c 3278
152.89	o 15324
152.89	c 3276
153.23	o 15326
153.23	c 3274
153.60	o 15328
153.60	c 3272
153.77	o 15329
153.77	c 3271
153.95	o 15330
153.95	c 3270
154.13	o 15332
154.13	c 3268
154.30	o 15336
154.30	c 3264
154.48	o 15339
154.49	c 3261
154.64	o 15344
154.64	c 3256
154.80	o 15347
154.80	c 3253
154.98	o 15351
154.98	c 3249
155.15	o 15353
155.15	c 3247
155.33	o 15354
155.33	c 3246
155.50	o 15358
155.50	c 3242
155.67	o 15362
155.67	c 3238
156.01	o 15364
156.01	c 3236
156.34	o 15367
156.34	c 3233
156.51	o 15368
156.51	c 3232
156.68	o 15369
156.68	c 3231
156.85	o 15372
156.85	c 3228
157.01	o 15375
157.01	c 3225
157.18	o 15377
157.18	c 3223
157.50	o 15378
157.50	c 3222
157.79	o 15382
157.79	c 3218
157.94	o 15383
157.94	c 3217
158.11	o 15384
158.11	c 3216
158.27	o 15387
158.27	c 3213
158.43	o 15391
158.43	c 3209
158.59	o 15392
158.59	c 3208
158.76	o 15395
158.76	c 3205
158.92	o 15396
158.92	c 3204
159.08	o 15399
159.08	c 3201
159.22	o 15400
159.22	c 3200
159.37	o 15402
159.37	c 3198
159.54	o 15405
159.54	c 3195
159.68	o 15406
159.68	c 3194
159.85	o 15409
159.85	c 3191
160.00	o 15412
160.00	c 3188
160.16	o 15415
160.16	c 3185
160.33	o 15417
160.33	c 3183
160.49	o 15419
160.49	c 3181
160.65	o 15421
160.65	c 3179
160.82	o 15422
160.82	c 3178
160.97	o 15423
160.97	c 3177
161.13	o 15424
161.13	c 3176
161.46	o 15426
161.46	c 3174
161.99	o 15428
161.99	c 3172
162.15	o 15429
162.15	c 3171
162.50	o 15432
162.50	c 3168
162.66	o 15434
162.66	c 3166
162.99	o 15438
162.99	c 3162
163.15	o 15439
163.15	c 3161
163.32	o 15444
163.32	c 3156
163.50	o 15445
163.50	c 3155
163.68	o 15447
163.68	c 3153
164.04	o 15449
164.04	c 3151
164.20	o 15452
164.20	c 3148
164.37	o 15453
164.37	c 3147
164.54	o 15455
164.54	c 3145
164.70	o 15458
164.70	c 3142
164.86	o 15460
164.86	c 3140
165.05	o 15463
165.05	c 3137
165.39	o 15464
165.39	c 3136
165.56	o 15466
165.56	c 3134
165.72	o 15468
165.72	c 3132
165.90	o 15470
165.90	c 3130
166.07	o 15472
166.07	c 3128
166.42	o 15474
166.42	c 3126
166.60	o 15476
166.60	c 3124
166.96	o 15477
166.96	c 3123
167.68	o 15479
167.68	c 3121
167.86	o 15481
167.86	c 3119
168.05	o 15484
168.05	c 3116
168.26	o 15489
168.26	c 3111
168.45	o 15492
168.45	c 3108
168.64	o 15493
168.64	c 3107
168.81	o 15494
168.81	c 3106
168.98	o 15495
168.98	c 3105
169.07	o 15498
169.07	c 3102
169.25	o 15500
169.25	c 3100
169.63	o 15504
169.63	c 3096
169.81	o 15506
169.81	c 3094
170.37	o 15509
170.37	c 3091
170.56	o 15511
170.56	c 3089
170.95	o 15513
170.95	c 3087
171.17	o 15515
171.17	c 3085
171.37	o 15517
171.37	c 3083
171.56	o 15519
171.56	c 3081
171.76	o 15521
171.76	c 3079
171.94	o 15522
171.94	c 3078
172.13	o 15523
172.13	c 3077
172.50	o 15526
172.50	c 3074
172.91	o 15530
172.91	c 3070
173.68	o 15531
173.68	c 3069
173.87	o 15532
173.87	c 3068
174.07	o 15534
174.07	c 3066
174.66	o 15535
174.66	c 3065
175.01	o 15537
175.01	c 3063
175.21	o 15539
175.21	c 3061
175.41	o 15540
175.41	c 3060
176.21	o 15543
176.21	c 3057
176.62	o 15546
176.62	c 3054
176.82	o 15551
176.82	c 3049
177.03	o 15552
177.03	c 3048
177.43	o 15553
177.43	c 3047
177.63	o 15554
177.63	c 3046
177.84	o 15558
177.84	c 3042
178.05	o 15563
178.05	c 3037
178.25	o 15566
178.25	c 3034
178.44	o 15569
178.44	c 3031
178.65	o 15570
178.65	c 3030
178.86	o 15573
178.86	c 3027
179.06	o 15574
179.06	c 3026
179.26	o 15576
179.26	c 3024
180.02	o 15579
180.02	c 3021
180.23	o 15583
180.23	c 3017
181.03	o 15584
181.03	c 3016
181.21	o 15585
181.21	c 3015
181.42	o 15588
181.42	c 3012
181.62	o 15590
181.62	c 3010
181.81	o 15593
181.81	c 3007
182.02	o 15598
182.02	c 3002
182.59	o 15599
182.59	c 3001
182.79	o 15602
182.79	c 2998
183.37	o 15603
183.37	c 2997
183.56	o 15604
183.56	c 2996
184.39	o 15605
184.39	c 2995
184.60	o 15606
184.60	c 2994
184.82	o 15608
184.82	c 2992
185.04	o 15609
185.04	c 2991
185.27	o 15610
185.27	c 2990
185.70	o 15612
185.70	c 2988
185.92	o 15613
185.92	c 2987
186.15	o 15614
186.15	c 2986
186.36	o 15616
186.36	c 2984
186.58	o 15619
186.58	c 2981
186.80	o 15620
186.80	c 2980
187.02	o 15621
187.02	c 2979
187.47	o 15624
187.47	c 2976
187.68	o 15625
187.68	c 2975
187.90	o 15627
187.90	c 2973
188.31	o 15632
188.31	c 2968
188.53	o 15634
188.53	c 2966
188.75	o 15635
188.75	c 2965
188.97	o 15636
188.97	c 2964
189.19	o 15637
189.19	c 2963
190.49	o 15640
190.49	c 2960
190.70	o 15643
190.70	c 2957
190.92	o 15645
190.92	c 2955
191.12	o 15648
191.12	c 2952
191.35	o 15650
191.35	c 2950
192.24	o 15651
192.24	c 2949
192.45	o 15653
192.45	c 2947
192.67	o 15656
192.67	c 2944
193.11	o 15657
193.11	c 2943
193.33	o 15661
193.33	c 2939
193.55	o 15665
193.55	c 2935
193.77	o 15670
193.77	c 2930
195.54	o 15671
195.54	c 2929
195.77	o 15675
195.77	c 2925
197.09	o 15676
197.09	c 2924
197.20	o 15677
197.20	c 2923
197.43	o 15678
197.43	c 2922
197.64	o 15679
197.64	c 2921
197.86	o 15682
197.86	c 2918
198.07	o 15683
198.07	c 2917
198.29	o 15686
198.29	c 2914
199.35	o 15687
199.35	c 2913
200.22	o 15690
200.22	c 2910
200.44	o 15691
200.44	c 2909
201.08	o 15693
201.08	c 2907
201.29	o 15695
201.29	c 2905
201.51	o 15696
201.51	c 2904
201.71	o 15699
201.71	c 2901
202.12	o 15702
202.12	c 2898
202.43	o 15704
202.43	c 2896
202.84	o 15706
202.84	c 2894
203.04	o 15708
203.04	c 2892
204.06	o 15709
204.06	c 2891
204.47	o 15712
204.47	c 2888
204.67	o 15714
204.67	c 2886
205.08	o 15716
205.08	c 2884
205.31	o 15717
205.31	c 2883
205.95	o 15719
205.95	c 2881
206.17	o 15720
206.17	c 2880
206.39	o 15721
206.39	c 2879
207.26	o 15725
207.26	c 2875
207.47	o 15727
207.47	c 2873
208.13	o 15730
208.13	c 2870
208.29	o 15733
208.29	c 2867
208.52	o 15734
208.52	c 2866
208.75	o 15735
208.75	c 2865
208.98	o 15738
208.98	c 2862
209.20	o 15739
209.20	c 2861
209.86	o 15741
209.86	c 2859
210.30	o 15743
210.30	c 2857
210.53	o 15746
210.53	c 2854
210.74	o 15747
210.74	c 2853
210.97	o 15748
210.97	c 2852
211.42	o 15749
211.42	c 2851
211.65	o 15750
211.65	c 2850
212.37	o 15751
212.37	c 2849
212.61	o 15752
212.61	c 2848
213.84	o 15753
213.84	c 2847
214.32	o 15755
214.32	c 2845
214.57	o 15757
214.57	c 2843
214.82	o 15759
214.82	c 2841
215.31	o 15761
215.31	c 2839
216.01	o 15764
216.01	c 2836
216.48	o 15769
216.48	c 2831
216.56	o 15771
216.56	c 2829
216.80	o 15773
216.80	c 2827
218.21	o 15774
218.21	c 2826
218.45	o 15777
218.45	c 2823
218.68	o 15778
218.68	c 2822
218.98	o 15780
218.98	c 2820
219.21	o 15781
219.21	c 2819
219.43	o 15783
219.43	c 2817
219.65	o 15787
219.65	c 2813
219.86	o 15788
219.86	c 2812
220.09	o 15791
220.09	c 2809
221.79	o 15793
221.79	c 2807
222.20	o 15796
222.20	c 2804
223.20	o 15798
223.20	c 2802
225.81	o 15801
225.81	c 2799
226.03	o 15802
226.03	c 2798
226.27	o 15804
226.27	c 2796
226.48	o 15805
226.48	c 2795
226.69	o 15807
226.69	c 2793
226.93	o 15809
226.93	c 2791
227.74	o 15810
227.74	c 2790
228.42	o 15813
228.42	c 2787
229.08	o 15814
229.08	c 2786
230.47	o 15815
230.47	c 2785
230.92	o 15816
230.92	c 2784
231.14	o 15817
231.14	c 2783
232.80	o 15819
232.80	c 2781
233.04	o 15823
233.04	c 2777
234.00	o 15824
234.00	c 2776
234.25	o 15825
234.25	c 2775
234.73	o 15828
234.73	c 2772
234.78	o 15830
234.78	c 2770
235.02	o 15831
235.02	c 2769
235.26	o 15833
235.26	c 2767
235.77	o 15834
235.77	c 2766
236.01	o 15837
236.01	c 2763
236.27	o 15838
236.27	c 2762
236.77	o 15839
236.77	c 2761
237.51	o 15840
237.51	c 2760
237.75	o 15842
237.75	c 2758
238.00	o 15845
238.00	c 2755
238.24	o 15848
238.24	c 2752
238.96	o 15850
238.96	c 2750
239.45	o 15851
239.45	c 2749
239.70	o 15853
239.70	c 2747
239.94	o 15856
239.94	c 2744
240.19	o 15857
240.19	c 2743
240.44	o 15861
240.44	c 2739
241.18	o 15865
241.18	c 2735
241.43	o 15867
241.43	c 2733
241.70	o 15871
241.70	c 2729
241.92	o 15876
241.92	c 2724
242.18	o 15879
242.18	c 2721
242.99	o 15881
242.99	c 2719
243.26	o 15883
243.26	c 2717
243.74	o 15884
243.74	c 2716
244.02	o 15885
244.02	c 2715
244.19	o 15887
244.19	c 2713
244.46	o 15889
244.46	c 2711
244.72	o 15890
244.72	c 2710
244.98	o 15892
244.98	c 2708
245.76	o 15893
245.76	c 2707
246.03	o 15894
246.03	c 2706
246.29	o 15895
246.29	c 2705
246.86	o 15897
246.86	c 2703
247.13	o 15899
247.13	c 2701
247.67	o 15901
247.67	c 2699
247.94	o 15902
247.94	c 2698
248.22	o 15905
248.22	c 2695
248.49	o 15906
248.49	c 2694
248.78	o 15909
248.78	c 2691
249.05	o 15910
249.05	c 2690
249.32	o 15911
249.32	c 2689
251.21	o 15912
251.21	c 2688
253.63	o 15914
253.63	c 2686
254.19	o 15915
254.19	c 2685
254.47	o 15918
254.47	c 2682
254.75	o 15920
254.75	c 2680
255.04	o 15923
255.04	c 2677
255.32	o 15924
255.32	c 2676
255.89	o 15925
255.89	c 2675
256.18	o 15927
256.18	c 2673
256.46	o 15930
256.46	c 2670
256.73	o 15931
256.73	c 2669
257.30	o 15934
257.30	c 2666
257.87	o 15935
257.87	c 2665
260.27	o 15937
260.27	c 2663
260.35	o 15942
260.35	c 2658
260.94	o 15944
260.94	c 2656
262.41	o 15947
262.41	c 2653
263.03	o 15948
263.03	c 2652
263.34	o 15951
263.34	c 2649
263.93	o 15952
263.93	c 2648
264.22	o 15954
264.22	c 2646
265.13	o 15955
265.13	c 2645
266.34	o 15957
266.34	c 2643
266.64	o 15959
266.64	c 2641
267.26	o 15960
267.26	c 2640
267.56	o 15961
267.56	c 2639
268.17	o 15964
268.17	c 2636
268.49	o 15967
268.49	c 2633
269.42	o 15968
269.42	c 2632
270.35	o 15969
270.35	c 2631
270.66	o 15972
270.66	c 2628
271.27	o 15974
271.27	c 2626
271.57	o 15975
271.57	c 2625
272.16	o 15977
272.16	c 2623
272.46	o 15979
272.46	c 2621
272.75	o 15981
272.75	c 2619
273.05	o 15984
273.05	c 2616
273.34	o 15985
273.34	c 2615
273.64	o 15986
273.64	c 2614
273.93	o 15990
273.93	c 2610
274.23	o 15992
274.23	c 2608
274.53	o 15993
274.53	c 2607
275.11	o 15994
275.11	c 2606
275.40	o 15996
275.40	c 2604
277.15	o 15998
277.15	c 2602
278.04	o 15999
278.04	c 2601
278.35	o 16000
278.35	c 2600
278.66	o 16002
278.66	c 2598
278.95	o 16005
278.95	c 2595
279.26	o 16007
279.26	c 2593
279.57	o 16011
279.57	c 2589
279.84	o 16012
279.84	c 2588
280.13	o 16013
280.13	c 2587
280.42	o 16015
280.42	c 2585
280.72	o 16016
280.72	c 2584
283.92	o 16017
283.92	c 2583
284.21	o 16018
284.21	c 2582
285.02	o 16019
285.02	c 2581
285.30	o 16021
285.30	c 2579
287.27	o 16023
287.27	c 2577
287.55	o 16024
287.55	c 2576
287.83	o 16025
287.83	c 2575
288.66	o 16026
288.66	c 2574
290.26	o 16029
290.26	c 2571
290.52	o 16032
290.52	c 2568
291.04	o 16034
291.04	c 2566
291.58	o 16036
291.58	c 2564
291.85	o 16037
291.85	c 2563
292.37	o 16038
292.37	c 2562
292.62	o 16042
292.62	c 2558
292.90	o 16044
292.90	c 2556
293.69	o 16045
293.69	c 2555
293.97	o 16048
293.97	c 2552
295.30	o 16051
295.30	c 2549
295.55	o 16052
295.55	c 2548
295.83	o 16053
295.83	c 2547
296.36	o 16054
296.36	c 2546
296.89	o 16058
296.89	c 2542
297.15	o 16062
297.15	c 2538
297.70	o 16064
297.70	c 2536
297.96	o 16065
297.96	c 2535
298.50	o 16066
298.50	c 2534
298.77	o 16069
298.77	c 2531
299.30	o 16070
299.30	c 2530
299.57	o 16072
299.57	c 2528
299.85	o 16073
299.85	c 2527
300.90	o 16075
300.90	c 2525
301.19	o 16079
301.19	c 2521
301.46	o 16082
301.46	c 2518
301.52	o 16083
301.52	c 2517
301.80	o 16086
301.80	c 2514
302.08	o 16087
302.08	c 2513
302.65	o 16089
302.65	c 2511
303.20	o 16092
303.20	c 2508
303.75	o 16094
303.75	c 2506
304.02	o 16096
304.02	c 2504
304.29	o 16097
304.29	c 2503
305.93	o 16099
305.93	c 2501
306.48	o 16100
306.48	c 2500
306.76	o 16103
306.76	c 2497
307.04	o 16104
307.04	c 2496
312.91	o 16105
312.91	c 2495
313.83	o 16106
313.83	c 2494
314.14	o 16108
314.14	c 2492
314.45	o 16110
314.45	c 2490
315.38	o 16111
315.38	c 2489
315.69	o 16113
315.69	c 2487
316.02	o 16114
316.02	c 2486
316.34	o 16116
316.34	c 2484
316.65	o 16118
316.65	c 2482
316.96	o 16120
316.96	c 2480
317.93	o 16123
317.93	c 2477
318.24	o 16124
318.24	c 2476
318.56	o 16126
318.56	c 2474
318.89	o 16129
318.89	c 2471
319.21	o 16130
319.21	c 2470
319.48	o 16131
319.48	c 2469
320.12	o 16132
320.12	c 2468
322.07	o 16135
322.07	c 2465
326.19	o 16136
326.19	c 2464
326.49	o 16139
326.49	c 2461
326.79	o 16142
326.79	c 2458
327.43	o 16144
327.43	c 2456
327.74	o 16145
327.74	c 2455
328.07	o 16146
328.07	c 2454
330.52	o 16147
330.52	c 2453
330.83	o 16148
330.83	c 2452
332.06	o 16149
332.06	c 2451
332.38	o 16150
332.38	c 2450
332.71	o 16152
332.71	c 2448
333.04	o 16153
333.04	c 2447
333.72	o 16155
333.72	c 2445
334.05	o 16158
334.05	c 2442
334.40	o 16159
334.40	c 2441
335.09	o 16160
335.09	c 2440
335.78	o 16162
335.78	c 2438
337.46	o 16163
337.46	c 2437
337.81	o 16164
337.81	c 2436
338.14	o 16168
338.14	c 2432
338.75	o 16173
338.75	c 2427
340.04	o 16174
340.04	c 2426
340.37	o 16175
340.37	c 2425
341.65	o 16176
341.65	c 2424
342.96	o 16178
342.96	c 2422
343.27	o 16180
343.27	c 2420
343.92	o 16181
343.92	c 2419
347.11	o 16183
347.11	c 2417
347.41	o 16185
347.41	c 2415
347.73	o 16186
347.73	c 2414
353.42	o 16188
353.42	c 2412
353.69	o 16192
353.69	c 2408
353.90	o 16194
353.90	c 2406
356.34	o 16195
356.34	c 2405
357.72	o 16196
357.72	c 2404
359.14	o 16197
359.14	c 2403
359.49	o 16198
359.49	c 2402
359.86	o 16199
359.86	c 2401
360.56	o 16200
360.56	c 2400
360.92	o 16201
360.92	c 2399
361.65	o 16203
361.65	c 2397
362.01	o 16205
362.01	c 2395
362.74	o 16207
362.74	c 2393
363.10	o 16209
363.10	c 2391
363.47	o 16210
363.47	c 2390
366.79	o 16211
366.79	c 2389
367.06	o 16213
367.06	c 2387
368.38	o 16216
368.38	c 2384
370.83	o 16217
370.83	c 2383
371.19	o 16218
371.19	c 2382
371.53	o 16220
371.53	c 2380
371.88	o 16222
371.88	c 2378
375.18	o 16224
375.18	c 2376
375.55	o 16225
375.55	c 2375
375.91	o 16226
375.91	c 2374
376.28	o 16228
376.28	c 2372
376.99	o 16229
376.99	c 2371
377.65	o 16231
377.65	c 2369
378.70	o 16232
378.70	c 2368
379.05	o 16233
379.05	c 2367
379.40	o 16234
379.40	c 2366
380.81	o 16237
380.81	c 2363
381.50	o 16239
381.50	c 2361
381.84	o 16240
381.84	c 2360
382.54	o 16241
382.54	c 2359
383.23	o 16243
383.23	c 2357
383.57	o 16244
383.57	c 2356
383.92	o 16247
383.92	c 2353
384.85	o 16250
384.85	c 2350
385.20	o 16251
385.20	c 2349
385.55	o 16254
385.55	c 2346
385.88	o 16255
385.88	c 2345
386.21	o 16256
386.21	c 2344
387.50	o 16257
387.50	c 2343
388.54	o 16259
388.54	c 2341
389.91	o 16264
389.91	c 2336
390.27	o 16265
390.27	c 2335
390.95	o 16267
390.95	c 2333
391.61	o 16268
391.61	c 2332
393.26	o 16269
393.26	c 2331
393.60	o 16272
393.60	c 2328
394.27	o 16273
394.27	c 2327
396.36	o 16274
396.36	c 2326
396.63	o 16279
396.63	c 2321
396.97	o 16280
396.97	c 2320
397.33	o 16284
397.33	c 2316
397.67	o 16286
397.67	c 2314
398.02	o 16289
398.02	c 2311
399.44	o 16290
399.44	c 2310
401.01	o 16291
401.01	c 2309
401.68	o 16292
401.68	c 2308
402.36	o 16294
402.36	c 2306
402.63	o 16296
402.63	c 2304
402.98	o 16297
402.98	c 2303
403.63	o 16298
403.63	c 2302
405.56	o 16300
405.56	c 2300
405.89	o 16302
405.89	c 2298
406.56	o 16303
406.56	c 2297
406.91	o 16306
406.91	c 2294
407.25	o 16309
407.25	c 2291
407.54	o 16312
407.54	c 2288
408.34	o 16313
408.34	c 2287
408.66	o 16314
408.66	c 2286
409.92	o 16316
409.92	c 2284
410.24	o 16319
410.24	c 2281
410.58	o 16323
410.58	c 2277
411.41	o 16324
411.41	c 2276
411.60	o 16328
411.60	c 2272
411.92	o 16330
411.92	c 2270
412.26	o 16333
412.26	c 2267
412.57	o 16336
412.57	c 2264
413.23	o 16338
413.23	c 2262
414.23	o 16339
414.23	c 2261
414.42	o 16342
414.42	c 2258
415.47	o 16346
415.47	c 2254
415.82	o 16348
415.82	c 2252
416.17	o 16350
416.17	c 2250
416.51	o 16351
416.51	c 2249
417.20	o 16352
417.20	c 2248
417.55	o 16354
417.55	c 2246
417.91	o 16357
417.91	c 2243
418.62	o 16359
418.62	c 2241
419.67	o 16360
419.67	c 2240
420.02	o 16361
420.02	c 2239
420.38	o 16362
420.38	c 2238
421.10	o 16364
421.10	c 2236
421.45	o 16365
421.45	c 2235
421.79	o 16366
421.79	c 2234
424.60	o 16370
424.60	c 2230
424.93	o 16372
424.93	c 2228
427.44	o 16374
427.44	c 2226
429.93	o 16375
429.93	c 2225
431.41	o 16376
431.41	c 2224
432.16	o 16377
432.16	c 2223
433.32	o 16379
433.32	c 2221
433.70	o 16380
433.70	c 2220
434.10	o 16381
434.10	c 2219
434.89	o 16384
434.89	c 2216
435.28	o 16387
435.28	c 2213
436.06	o 16389
436.06	c 2211
437.56	o 16390
437.56	c 2210
437.97	o 16391
437.97	c 2209
439.14	o 16394
439.14	c 2206
439.18	o 16396
439.18	c 2204
442.87	o 16397
442.87	c 2203
443.25	o 16398
443.25	c 2202
443.63	o 16399
443.63	c 2201
444.00	o 16400
444.00	c 2200
445.15	o 16401
445.15	c 2199
445.54	o 16403
445.54	c 2197
447.07	o 16405
447.07	c 2195
448.61	o 16408
448.61	c 2192
448.86	o 16411
448.86	c 2189
449.25	o 16412
449.25	c 2188
449.65	o 16414
449.65	c 2186
450.81	o 16416
450.81	c 2184
451.18	o 16417
451.18	c 2183
451.58	o 16420
451.58	c 2180
452.21	o 16422
452.21	c 2178
457.11	o 16423
457.11	c 2177
467.73	o 16424
467.73	c 2176
468.57	o 16425
468.57	c 2175
468.99	o 16427
468.99	c 2173
469.25	o 16430
469.25	c 2170
470.07	o 16432
470.07	c 2168
470.28	o 16436
470.28	c 2164
470.70	o 16437
470.70	c 2163
474.01	o 16438
474.01	c 2162
474.85	o 16439
474.85	c 2161
475.27	o 16441
475.27	c 2159
475.70	o 16443
475.70	c 2157
476.11	o 16445
476.11	c 2155
476.95	o 16446
476.95	c 2154
484.68	o 16449
484.68	c 2151
485.31	o 16450
485.31	c 2150
485.70	o 16453
485.70	c 2147
486.10	o 16458
486.10	c 2142
486.88	o 16459
486.88	c 2141
487.28	o 16461
487.28	c 2139
487.67	o 16462
487.67	c 2138
488.06	o 16463
488.06	c 2137
488.46	o 16464
488.46	c 2136
489.24	o 16465
489.24	c 2135
489.63	o 16467
489.63	c 2133
490.01	o 16468
490.01	c 2132
492.36	o 16471
492.36	c 2129
492.77	o 16474
492.77	c 2126
494.43	o 16476
494.43	c 2124
494.85	o 16477
494.85	c 2123
495.25	o 16479
495.25	c 2121
496.79	o 16480
496.79	c 2120
497.20	o 16481
497.20	c 2119
498.18	o 16482
498.18	c 2118
501.22	o 16483
501.22	c 2117
502.04	o 16486
502.04	c 2114
502.31	o 16487
502.31	c 2113
503.48	o 16488
503.48	c 2112
504.70	o 16489
504.70	c 2111
507.58	o 16491
507.58	c 2109
508.37	o 16493
508.37	c 2107
509.17	o 16494
509.17	c 2106
511.27	o 16495
511.27	c 2105
513.66	o 16496
513.66	c 2104
516.34	o 16498
516.34	c 2102
517.91	o 16499
517.91	c 2101
518.28	o 16501
518.28	c 2099
518.68	o 16503
518.68	c 2097
519.08	o 16505
519.08	c 2095
521.10	o 16507
521.10	c 2093
521.50	o 16508
521.50	c 2092
521.90	o 16509
521.90	c 2091
522.30	o 16510
522.30	c 2090
522.70	o 16512
522.70	c 2088
527.27	o 16514
527.27	c 2086
527.71	o 16515
527.71	c 2085
528.13	o 16516
528.13	c 2084
528.55	o 16517
528.55	c 2083
528.96	o 16518
528.96	c 2082
529.38	o 16519
529.38	c 2081
529.81	o 16520
529.81	c 2080
530.66	o 16522
530.66	c 2078
530.87	o 16525
530.87	c 2075
531.29	o 16526
531.29	c 2074
533.21	o 16527
533.21	c 2073
534.04	o 16528
534.04	c 2072
534.46	o 16530
534.46	c 2070
540.21	o 16532
540.21	c 2068
540.52	o 16535
540.52	c 2065
540.95	o 16536
540.95	c 2064
543.78	o 16537
543.78	c 2063
544.20	o 16540
544.20	c 2060
546.66	o 16541
546.66	c 2059
547.06	o 16543
547.06	c 2057
547.49	o 16544
547.49	c 2056
547.90	o 16546
547.90	c 2054
549.10	o 16547
549.10	c 2053
549.96	o 16548
549.96	c 2052
551.65	o 16549
551.65	c 2051
552.53	o 16550
552.53	c 2050
552.81	o 16551
552.81	c 2049
553.14	o 16553
553.14	c 2047
553.58	o 16554
553.58	c 2046
554.03	o 16556
554.03	c 2044
554.29	o 16561
554.29	c 2039
555.50	o 16563
555.50	c 2037
556.80	o 16564
556.80	c 2036
557.66	o 16566
557.66	c 2034
559.79	o 16567
559.79	c 2033
560.23	o 16568
560.23	c 2032
560.67	o 16569
560.67	c 2031
560.98	o 16571
560.98	c 2029
561.78	o 16574
561.78	c 2026
563.44	o 16578
563.44	c 2022
563.89	o 16579
563.89	c 2021
564.33	o 16581
564.33	c 2019
564.76	o 16583
564.76	c 2017
567.76	o 16584
567.76	c 2016
568.62	o 16585
568.62	c 2015
583.03	o 16587
583.03	c 2013
583.89	o 16589
583.89	c 2011
584.32	o 16592
584.32	c 2008
585.58	o 16593
585.58	c 2007
588.00	o 16595
588.00	c 2005
591.78	o 16598
591.78	c 2002
592.17	o 16599
592.17	c 2001
593.01	o 16600
593.01	c 2000
593.43	o 16602
593.43	c 1998
593.84	o 16603
593.84	c 1997
594.91	o 16604
594.91	c 1996
595.74	o 16605
595.74	c 1995
596.57	o 16607
596.57	c 1993
596.98	o 16609
596.98	c 1991
597.77	o 16613
597.77	c 1987
598.19	o 16617
598.19	c 1983
599.76	o 16619
599.76	c 1981
600.19	o 16620
600.19	c 1980
601.02	o 16621
601.02	c 1979
601.44	o 16624
601.44	c 1976
602.30	o 16627
602.30	c 1973
603.38	o 16630
603.38	c 1970
603.79	o 16632
603.79	c 1968
605.01	o 16633
605.01	c 1967
605.84	o 16636
605.84	c 1964
606.28	o 16637
606.28	c 1963
606.67	o 16638
606.67	c 1962
608.99	o 16640
608.99	c 1960
609.40	o 16642
609.40	c 1958
611.04	o 16644
611.04	c 1956
611.89	o 16647
611.89	c 1953
612.72	o 16648
612.72	c 1952
613.56	o 16649
613.56	c 1951
613.95	o 16652
613.95	c 1948
614.23	o 16655
614.23	c 1945
625.70	o 16656
625.70	c 1944
626.61	o 16657
626.61	c 1943
627.79	o 16660
627.79	c 1940
628.72	o 16661
628.72	c 1939
630.61	o 16662
630.61	c 1938
631.10	o 16665
631.10	c 1935
632.05	o 16668
632.05	c 1932
632.40	o 16669
632.40	c 1931
632.88	o 16670
632.88	c 1930
633.36	o 16672
633.36	c 1928
633.62	o 16673
633.62	c 1927
636.06	o 16676
636.06	c 1924
636.55	o 16678
636.55	c 1922
637.04	o 16681
637.04	c 1919
637.53	o 16682
637.53	c 1918
638.00	o 16683
638.00	c 1917
638.49	o 16685
638.49	c 1915
638.97	o 16689
638.97	c 1911
639.44	o 16694
639.44	c 1906
643.78	o 16696
643.78	c 1904
645.95	o 16698
645.95	c 1902
646.31	o 16699
646.31	c 1901
647.74	o 16702
647.74	c 1898
648.22	o 16703
648.22	c 1897
648.71	o 16704
648.71	c 1896
649.19	o 16706
649.19	c 1894
650.62	o 16707
650.62	c 1893
651.10	o 16709
651.10	c 1891
651.58	o 16710
651.58	c 1890
652.04	o 16711
652.04	c 1889
652.99	o 16713
652.99	c 1887
653.47	o 16714
653.47	c 1886
654.42	o 16716
654.42	c 1884
655.37	o 16718
655.37	c 1882
663.22	o 16719
663.22	c 1881
664.16	o 16720
664.16	c 1880
665.70	o 16722
665.70	c 1878
666.58	o 16724
666.58	c 1876
670.45	o 16725
670.45	c 1875
670.91	o 16726
670.91	c 1874
671.38	o 16730
671.38	c 1870
671.83	o 16732
671.83	c 1868
672.03	o 16733
672.03	c 1867
672.50	o 16734
672.50	c 1866
676.05	o 16735
676.05	c 1865
676.52	o 16737
676.52	c 1863
677.46	o 16738
677.46	c 1862
678.82	o 16739
678.82	c 1861
679.17	o 16741
679.17	c 1859
679.63	o 16742
679.63	c 1858
680.95	o 16743
680.95	c 1857
681.41	o 16744
681.41	c 1856
681.85	o 16748
681.86	c 1852
682.74	o 16749
682.74	c 1851
682.77	o 16752
682.77	c 1848
683.20	o 16753
683.20	c 1847
684.46	o 16755
684.46	c 1845
684.90	o 16758
684.90	c 1842
687.94	o 16760
687.94	c 1840
688.39	o 16761
688.39	c 1839
689.72	o 16762
689.72	c 1838
692.51	o 16765
692.51	c 1835
692.74	o 16767
692.74	c 1833
693.17	o 16770
693.17	c 1830
693.59	o 16771
693.59	c 1829
696.61	o 16773
696.61	c 1827
697.46	o 16777
697.46	c 1823
701.26	o 16778
701.26	c 1822
702.84	o 16779
702.84	c 1821
703.27	o 16780
703.27	c 1820
704.10	o 16781
704.10	c 1819
704.48	o 16782
704.48	c 1818
704.90	o 16785
704.90	c 1815
712.09	o 16786
712.09	c 1814
712.51	o 16788
712.51	c 1812
715.03	o 16789
715.03	c 1811
722.78	o 16792
722.78	c 1808
723.23	o 16795
723.23	c 1805
724.54	o 16796
724.54	c 1804
724.87	o 16799
724.87	c 1801
725.31	o 16800
725.31	c 1800
726.46	o 16803
726.46	c 1797
726.89	o 16804
726.89	c 1796
727.33	o 16805
727.33	c 1795
727.80	o 16806
727.80	c 1794
728.15	o 16809
728.15	c 1791
729.07	o 16810
729.07	c 1790
729.52	o 16811
729.52	c 1789
729.90	o 16815
729.90	c 1785
731.25	o 16817
731.25	c 1783
742.56	o 16819
742.56	c 1781
746.83	o 16821
746.83	c 1779
747.22	o 16823
747.22	c 1777
747.63	o 16824
747.63	c 1776
748.47	o 16825
748.47	c 1775
749.32	o 16827
749.32	c 1773
749.74	o 16828
749.74	c 1772
750.60	o 16831
750.60	c 1769
751.02	o 16832
751.02	c 1768
751.58	o 16833
751.58	c 1767
752.00	o 16835
752.00	c 1765
759.05	o 16836
759.05	c 1764
759.39	o 16839
759.39	c 1761
760.69	o 16840
760.69	c 1760
761.13	o 16841
761.13	c 1759
762.17	o 16842
762.17	c 1758
762.58	o 16844
762.58	c 1756
763.43	o 16845
763.43	c 1755
763.86	o 16847
763.86	c 1753
764.28	o 16849
764.28	c 1751
764.70	o 16850
764.70	c 1750
765.14	o 16851
765.14	c 1749
766.87	o 16852
766.87	c 1748
769.44	o 16854
769.44	c 1746
769.89	o 16856
769.89	c 1744
770.33	o 16857
770.33	c 1743
771.23	o 16859
771.23	c 1741
773.51	o 16860
773.51	c 1740
773.95	o 16861
773.95	c 1739
775.83	o 16863
775.83	c 1737
776.15	o 16866
776.15	c 1734
779.24	o 16868
779.24	c 1732
779.70	o 16869
779.70	c 1731
785.04	o 16872
785.04	c 1728
785.51	o 16875
785.51	c 1725
789.58	o 16877
789.58	c 1723
791.48	o 16878
791.48	c 1722
791.96	o 16879
791.96	c 1721
792.18	o 16881
792.18	c 1719
792.67	o 16883
792.67	c 1717
792.92	o 16885
792.92	c 1715
794.38	o 16886
794.38	c 1714
797.26	o 16889
797.26	c 1711
797.74	o 16890
797.74	c 1710
798.23	o 16892
798.23	c 1708
800.16	o 16893
800.16	c 1707
800.25	o 16894
800.25	c 1706
800.40	o 16897
800.40	c 1703
830.69	   
830.69	   search
830.69	     run=0  nbConstraintChecks=1713882181  nbAssignments=3018
830.69	       =>  wckTime=768.064  cpuTime=767.71  mem=63M479
830.69	   
830.69	   global
830.69	     nbConstraintChecks=1713882181  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
830.69	     solvingWckTime=768.045  solvingCpuTime=767.69  expiredTime=no  totalExploration=no  nbFoundSolutions=0
830.69	     globalCpuTime=829.07
830.69	       =>  wckTime=830.313  cpuTime=829.01  mem=63M479
830.69	   
830.69	   solver IterativeSystematicSolver being built... 
831.33	       =>  wckTime=830.957  cpuTime=829.4  mem=153M866
979.63	   
979.63	   preprocessing
979.63	     nbConstraintChecks=323850423  nbValidityChecks=880212  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
979.63	     nbRemovedValues=0  detectedInconsistency=no
979.63	       =>  wckTime=148.287  cpuTime=148.21  mem=153M866
2401.14	v -2078 2474 -2878 2010 2842 -2726 -2266 2466 -2034 -2554 -2722 -2002 -2618 -2766 -2850 -2702 2202 2034 2034 2858 2822 -2478 -2858 2078 -2222 -2274 -2066 -1998 1994 2274 -1994 -2038 2762 2278 -2002 -2794 -2702 2814 -2778 2350 -1998 -2062 2018 2854 -2118 -2762 2582 2582 2846 2878 2870 2666 -2418 -2018 2694 -2366 2866 -2774 2850 2842 -2826 -2606 -2074 -2026 -2310 2038 2054 -2502 2062 -2654 -2114 -2810 -2822 -2166 2802 -2614 2634 -2142 2382 2146 2590 2358 2182 -2726 2610 2878 2786 -2846 2846 -1994 -2106 2806 2030 -2774 2066 -2590 -2154 -2894 -2258 1990 2726 -2030 -2630 2786 -2582 2802 -1998 -2154 -2074 -2826 -2202 -2614 2122 -2458 2550 2026 2314 2050 2846 -2006 -2822 2838 -2846 2066 -2594 -2030 -2042 2058 -2878 -2894 -2062 2506 -2214 -2406 -2042 2762 2566 -2306 2838 2662 -2822 2742 2278 -2166 -2890 -2826 -2590 2518 -2466 -2310 2630 -2778 2542 -2846 2886 2002 -2218 2066 2750 2690 -2034 2206 2354 -2658 2038 2894 2870 2394 -2710 -2014 -2654 2650 -2442 -2070 2042 -2426 2038 -2374 2834 2570 -2830 2494 2546 -2150 -2250 -2802 -2738 -2530 2682 2818 2166 -2386 -2390 2002 -2890 -2030 2198 -2786 -2118 1994 2030 2018 -2830 2338 2766 2242 -2894 -2046 -2866 2442 -2542 -2030 2314 2850 2814 -2854 2014 2810 2378 -2554 2870 -2534 2310 2110 -2050 -2034 -2890 2826 -2222 -2394 2766 -2850 2550 -2378 -2754 -2790 2486 2342 2738 2034 -2698 1998 -2058 2122 1990 -2850 -2746 2578 -2346 2854 2098 2738 2498 2634 -2830 -1994 -2406 -2158 2850 2106 2130 -2818 2058 2334 2894 -2078 -2790 2762 2170 2874 -2854 -2866 -2874 -2886 -2866 -2030 2822 -2894 -2894 2538 -2566 -2614 2850 2446 2074 -2246 2882 2070 -2326 -2086 2534 2642 2506 -2710 -2154 -2786 -2654 -2762 2190 -2758 2822 2750 2146 2398 2658 2362 -2098 -2306 -2322 -2658 2830 2210 -2042 2498 -2110 2106 2882 2850 2034 -2870 -1994 -2842 -2850 2654 -2810 -2574 2006 -2866 2610 -2070 2290 -2550 -2630 -2350 2366 2414 -2682 -2014 2538 2106 2534 2326 -2218 2834 -2682 -2370 -2842 -2166 2822 -2790 1998 2170 2050 -2362 2254 -2622 2190 -2882 -2778 2186 2894 -1994 -1994 -2626 2006 -2846 -2874 2598 -2206 -2098 -2798 2054 -2030 -2438 2270 2334 2126 -2030 2802 -2586 -2422 -2802 2850 2866 -1990 1998 -2682 -2838 -2594 -2018 -2714 -2410 2834 -1994 2286 -2202 -2074 2558 -2118 2782 -2874 2834 2450 -2122 2310 2870 -2182 -2006 -2010 -2046 2834 -2186 2758 2074 2714 -2034 -2878 2402 2882 -2042 2550 2222 -2034 2486 -2670 -2858 2014 2674 2022 -2834 2510 -2270 -2186 -2426 -2502 2886 1994 2802 2834 2334 2266 2286 2506 2818 2890 -2534 -2186 -2222 -2510 2782 2894 2038 -2234 2878 2034 -2626 2002 -2478 2698 -2890 2126 -2066 2738 2614 -2030 -2042 -2838 2026 2010 2050 -2014 2194 -2026 2838 2058 2346 -2222 -2342 2038 2746 2338 1990 -2618 2418 -2822 -2522 -2118 -2190 -2086 2414 2706 2030 2034 2650 2162 -2774 2414 2846 -2830 2486 2318 -2818 2878 2890 -2394 2894 2582 2002 -2874 -2802 -1998 -2106 -2678 -2074 2838 -2798 -2850 2182 2386 -2658 -2734 -2338 1990 -2494 2834 -2390 2798 2082 2766 -2882 -2622 2050 -2398 2742 2018 2058 2890 2614 2634 -2058 -2830 2878 -2010 -2858 2022 -2038 -2538 -2666 -2786 -2778 2222 2534 -2458 -2066 -2818 -2046 -2218 2610 2626 -2034 -2038 2006 -2014 -1994 2006 2282 -2102 2834 2818 2870 -2690 2430 -2802 -2054 2778 2010 2330 -2742 2230 -2770 -2710 2834 -1994 2122 -2490 -2858 2262 1994 -1994 -2390 -2890 -2230 -2238 2446 -2054 -2854 -2062 -2798 -2574 -2046 2498 2202 2878 1990 2002 2862 -2002 -2058 -2646 2758 -2862 -2342 -2014 2010 -2886 -2014 2858 -2066 -2886 -2030 -2722 2482 -2686 2062 2046 2162 -2798 2398 -2722 2042 2274 2046 -2546 -2022 2034 2854 2366 -2814 2890 2066 2894 -2118 -2014 1994 2202 -2838 2382 2846 -2838 2790 -2894 2190 -1994 2414 2782 2018 1994 -2650 -2594 -2778 2494 -2742 -2802 -2694 2450 2446 2778 2182 -2442 2174 -2154 2846 1998 2022 -2846 -2722 2070 2350 -2058 -2326 2498 2078 -2890 -2822 2110 2162 -2006 2830 -2854 -2454 -2098 2126 -2594 2606 2598 2030 -2230 2026 -2850 2662 -2066 2038 -2190 2094 2022 2886 -2682 -2294 2586 2222 2894 1998 -2082 2290 2706 2882 2034 -2202 -2194 -2862 -2486 -2634 2030 2346 -2014 -2374 2054 2734 -2826 -2818 2826 -2706 2438 -2170 2062 -2570 2566 2350 2402 -2470 -2522 -2110 2870 2690 -2058 2290 -2634 -2454 2654 -2402 -2086 -2002 2546 -2370 2050 2042 -2038 2574 -2002 2886 -2842 -2066 2674 2402 -2410 -2210 2362 -2870 2474 -2030 2850 2726 -2562 -2414 2698 2078 2034 2658 -2734 2474 -1990 -2150 -2270 2258 2154 -2862 -2206 -2534 -2034 2806 2694 2874 2202 2002 -2602 2842 -2822 2410 -2878 -2894 -2842 2254 -2030 -2846 2158 2026 -2066 2746 2166 2174 2802 -2382 2206 -2078 2646 -2374 2378 -1998 -2546 2278 2234 -2862 2002 -2006 -2342 -2014 -2242 2054 2202 -2742 2762 -2018 -2438 2670 -1994 2750 2754 -2630 1990 -2058 2870 2058 -2398 -2326 2102 -2890 2038 -2510 -2834 2498 2034 -1994 2366 2774 2030 2274 2038 -2018 -2094 -2750 2006 2894 -2090 -2006 -2526 -1994 -2534 -2882 -2846 -2890 2502 2350 2762 -2778 2654 -2010 2486 2830 2882 2074 -2118 2654 -2418 2242 -2538 2814 -2686 -2818 2814 -2894 2846 1994 -2798 -2742 -2886 2686 -2582 -2418 -2714 2390 2798 2014 -2058 -2418 -2742 -2542 2866 -2694 -2814 2750 -2050 -2738 2826 2842 2682 -2590 -2250 -2710 2718 2178 -2014 -2858 2786 2858 2450 -2210 -2058 2018 -2018 -2410 -2214 -1994 -2826 2838 2306 2182 -2750 2506 -2502 -2034 2038 -2346 2074 -2038 1990 2138 -2854 -2542 2766 2182 -2622 -2442 2082 -2034 -2494 -2034 2362 -2854 2822 2806 -2362 2234 -2830 -2126 -2350 2890 2018 2030 2866 2238 -2034 1994 2314 2582 2614 -2678 2882 -2118 -2278 2834 -2482 2514 -2414 2606 -2894 -1994 -2818 2806 2434 -2034 -2022 -2286 2322 2018 -2878 2074 -2482 2334 2606 -2702 1994 2566 2766 -2878 -2090 -2026 2526 -2318 -2142 2138 2042 2106 -2142 2490 2058 2434 2722 -2266 -2882 -2322 -2486 -2454 -2846 2330 1994 2230 2002 2798 2826 -1998 -2346 2826 -2814 -2350 2410 2886 2050 -2238 -2622 2034 2842 -2034 2826 2410 2510 -2466 2642 2074 2066 2658 -2226 -2890 2318 -2506 2850 -2430 2870 -2022 -2682 2054 -2854 -2698 2506 2850 -2834 -2230 -2562 2678 -2574 -2810 2410 -2162 -1998 -1990 -2686 2074 2682 -2838 2694 -2006 2294 2058 -2854 -2046 -2874 2058 2858 2814 -2070 2834 2574 2278 2310 2842 -2882 -2878 -2030 -2438 -2738 2854 -2838 2618 2018 2874 2338 2882 -2150 -2366 -2778 2402 2066 -2782 2034 2886 2698 -2614 -2874 -2066 -2014 -2062 -2010 2890 2062 2414 2030 -2838 2766 2126 -2862 2614 -2178 -2854 -2054 -2846 -2870 2446 -2802 -2378 -2682 2654 2806 2446 -2122 2826 -1994 2862 -2574 -2878 2722 2702 -1998 2146 -2566 -2026 2822 2510 -2498 -2050 2894 -2034 -2058 2850 2050 -2026 -2774 2722 2282 -1990 2526 2058 -2038 2854 -2626 -2222 2786 2078 2334 -2070 -2054 2894 -2054 2286 -2654 2098 -2130 -2774 -2022 2850 -2078 -2718 -2834 2854 2586 2162 -2058 -2078 2890 -2538 2374 -2838 -2886 2102 2062 -2494 2890 -2754 2174 -2726 2662 -2778 2542 2886 1998 -2774 -2290 2482 -2382 2406 2494 2658 -2018 -2298 -2802 2842 2762 -2854 -2890 -2130 2138 -2894 2010 2234 -2802 2358 2466 2434 2138 2086 -2530 2778 2494 2090 2730 2782 2062 -2134 -2802 -2846 -2854 -2166 -1990 -2354 -2018 2706 -2106 -2870 2538 -2834 2722 2654 -2374 -2054 -2826 -2042 2366 1990 -2854 2882 -2354 -2046 2554 2030 2046 2042 -2710 -2818 2498 2038 2082 -2658 -2278 2166 2890 -2066 -2162 -2834 -2722 2894 2210 2834 -2374 -2190 2762 -2318 2138 2018 2070 -2174 2854 -2838 2702 2582 -2450 -2850 -2890 -2238 2162 -2386 2794 -2086 -2226 2386 -2162 -2194 2570 -2558 1990 -2642 2374 -2014 -2226 -2234 2042 -2894 2878 2274 -2598 2830 2830 2746 -2822 -2818 -2850 -2050 2034 1994 -2406 2034 -2582 2842 -2894 2342 -2142 -2010 2306 2462 2734 2806 2062 1990 -2586 2890 2242 -2334 -2790 2878 2626 2110 2018 -2014 2890 2390 -2734 -2822 2562 2794 -2782 -2378 2850 2474 -2554 2294 2002 -2098 -2862 -2874 1990 2386 2870 -2082 2806 2054 2586 1998 -2738 -2030 -2470 2854 2706 -2030 -1998 -2546 -2758 2818 -2746 -2042 2874 2462 2034 -2046 2030 2642 -2082 -2762 2454 2818 2846 2042 2302 2834 2162 2434 2422 2874 2694 2302 2370 -2846 2886 2894 -2642 2794 -2754 -2046 -2506 -2370 2882 -2122 2298 -2266 2182 -2778 2054 2794 2322 -2078 -2754 -2154 -1990 1998 2634 -1990 -2818 2390 1994 2050 2038 -1994 -2874 -2058 -2090 -2842 -2778 2666 2142 -2230 -2230 -2418 -2542 2286 2574 -2694 2822 -1994 -2794 -2034 2834 2078 2518 2786 -2314 1994 2374 -2622 -2034 2274 -2478 2006 -2038 2650 -2386 2506 2850 2130 -2526 -2834 2410 -2594 2018 -1990 -2002 -2058 1990 2842 2114 2066 2858 2006 -2718 -2882 -2730 -2066 2050 2386 2870 -2186 2850 2090 2718 2594 -2338 -2142 2890 2758 2838 -1990 2794 -2494 2546 2290 2878 -2258 2054 -2334 2402 2694 2066 -2838 -2838 -2146 2294 2038 2670 -2586 -2330 -2618 2346 -2542 2842 -2314 2710 -2894 2030 -2134 -2518 2042 -2294 -2030 2562 -2470 2002 2286 -2778 2846 2794 2326 -2494 -2714 2222 2018 -2514 2234 2758 2890 2470 -2642 2386 -2878 -2190 2054 -2018 2698 -2830 2106 -2894 2890 -2042 2634 2658 -2122 2746 2186 2338 -2830 -2654 2190 2030 -2718 -2850 2070 2634 2682 2298 2038 -2706 -2850 2478 2830 2010 -2842 -2058 -2010 -2054 -2682 -2682 -2418 1990 2722 2018 2378 -2358 2010 -1990 2334 2150 -1990 -2046 -2138 -2774 2874 2254 2594 2890 -2214 2014 2054 2054 -2846 2038 2838 2138 2670 2026 -2666 2750 2802 2878 2546 2482 -2630 -2522 2290 -2442 2886 1990 2710 -2830 -2610 2618 -2510 2374 -2098 1990 -2150 -2618 2878 2886 2874 2350 2046 -1990 -2854 -2370 -2058 2030 2742 -2034 -2398 -2362 2634 2058 -2826 -2642 2202 2674 -2326 2738 -2838 2018 2006 -2246 2114 2298 -1990 -2526 -2682 -2426 2142 2838 -2362 -2822 -2838 2874 -2554 2662 2426 2874 2322 -2070 -2034 2586 -2058 -2622 -2334 2886 2710 -2398 2490 2878 -2770 -2366 -2194 2850 2046 2830 2042 2822 -2526 -2786 2786 -2026 -2394 -2418 -2050 -2890 2834 2094 -2338 2002 1990 2782 2878 2810 2658 2874 2034 2854 -2026 1994 2602 2842 2482 -2410 -2278 2226 -2502 -2050 -2878 -2614 2026 -2818 -2886 -2138 -2386 -2874 -2850 2746 -2658 -2890 -2030 -2046 2478 1994 -2066 2698 2210 -2042 -2058 2374 -2550 2370 2438 2302 -2854 -2522 -2018 -2070 -2374 1998 -2650 2078 -2030 2866 -2826 2230 2034 -2674 -2006 2002 2306 2574 1990 2878 2062 -2322 -2802 -2762 2042 2002 2178 2382 -2378 2170 -2382 1994 2062 2242 2414 -2738 2342 2806 2674 2870 2274 -2530 2850 2126 -2198 2078 2750 -2878 -2146 2546 -2746 -2546 -2534 -2234 2590 -2826 2682 -2878 2602 2034 -2654 -2850 -2462 -2794 1990 -2834 -2350 -2034 -2094 -2362 2826 2670 -2806 2474 2526 -1994 -2410 2014 2862 2826 -2818 1990 -2826 2774 2394 -2706 -2006 -2566 2650 -2566 2274 -2786 -2046 -2882 2514 -2030 -2878 -2578 2774 -2830 -2114 -2042 -2702 2838 2242 -2870 -2294 2398 2078 -2186 -2054 2122 2414 2694 2010 -2854 -2030 -2202 2378 2782 2854 2026 2870 2262 -2854 -2454 2110 -2574 -2846 -2762 2606 -2378 1994 -2862 2734 2630 -2642 2774 -2642 -2806 2074 2034 -2786 -2034 2530 2758 -2346 -2026 2194 2054 2682 -2790 2018 2818 2662 -2058 2118 2430 -2882 -2702 -2670 2018 -2862 -2242 -2258 2450 -2118 -2294 -2874 -2022 2366 2798 -2518 2030 2050 2858 -2794 -2574 -2534 -2766 2022 -2510 2014 -2578 -2882 2674 2570 2190 2154 -2750 -2894 -2050 2674 -1990 2378 2594 2578 2546 2470 -2894 -2642 2878 2698 -1990 2542 -2066 2858 -2566 -2178 2662 -2786 2894 2286 -2018 2098 -2842 2826 2046 -2274 -1994 -2326 2002 2102 2498 2326 -2234 2054

Verifier Data (download as text)

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

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

/proc/loadavg: 0.92 0.98 0.99 4/65 10833
/proc/meminfo: memFree=1130336/2055920 swapFree=4190672/4192956
[pid=10832] ppid=10830 vsize=168 CPUtime=0
/proc/10832/stat : 10832 (java) R 10830 10832 9714 0 -1 0 39 0 0 0 0 0 0 0 20 0 1 0 270867188 172032 23 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4731179 0 0 4096 0 0 0 0 17 1 0 0
/proc/10832/statm: 42 23 18 14 0 2 0

[startup+0.103256 s]
/proc/loadavg: 0.92 0.98 0.99 4/65 10833
/proc/meminfo: memFree=1130336/2055920 swapFree=4190672/4192956
[pid=10832] ppid=10830 vsize=905992 CPUtime=0.01
/proc/10832/stat : 10832 (java) R 10830 10832 9714 0 -1 0 1867 0 1 0 1 0 0 0 18 0 1 0 270867188 927735808 1616 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155582939 0 4 0 7368 0 0 0 17 0 0 0
/proc/10832/statm: 226498 1616 950 14 0 214081 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 905992

[startup+0.511318 s]
/proc/loadavg: 0.92 0.98 0.99 4/65 10833
/proc/meminfo: memFree=1130336/2055920 swapFree=4190672/4192956
[pid=10832] ppid=10830 vsize=915332 CPUtime=0.41
/proc/10832/stat : 10832 (java) R 10830 10832 9714 0 -1 0 6244 0 1 0 37 4 0 0 16 0 8 0 270867188 937299968 5983 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4152819938 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10832/statm: 228833 5985 2140 14 0 215303 0
Current children cumulated CPU time (s) 0.41
Current children cumulated vsize (KiB) 915332

[startup+1.33346 s]
/proc/loadavg: 0.92 0.98 0.99 2/72 10840
/proc/meminfo: memFree=1050856/2055920 swapFree=4190672/4192956
[pid=10832] ppid=10830 vsize=915612 CPUtime=1.23
/proc/10832/stat : 10832 (java) R 10830 10832 9714 0 -1 0 24143 0 1 0 109 14 0 0 17 0 8 0 270867188 937586688 23880 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073621660 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10832/statm: 228903 23880 2161 14 0 215373 0
[pid=10832/tid=10834] ppid=10830 vsize=915612 CPUtime=0.08
/proc/10832/task/10834/stat : 10834 (java) S 10830 10832 9714 0 -1 64 7589 0 0 0 5 3 0 0 16 0 8 0 270867199 937586688 23880 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10832/tid=10835] ppid=10830 vsize=915612 CPUtime=0
/proc/10832/task/10835/stat : 10835 (java) S 10830 10832 9714 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270867199 937586688 23880 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10832/tid=10836] ppid=10830 vsize=915612 CPUtime=0
/proc/10832/task/10836/stat : 10836 (java) S 10830 10832 9714 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270867199 937586688 23880 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10832/tid=10837] ppid=10830 vsize=915612 CPUtime=0
/proc/10832/task/10837/stat : 10837 (java) S 10830 10832 9714 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270867202 937586688 23880 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10832/tid=10838] ppid=10830 vsize=915612 CPUtime=0.15
/proc/10832/task/10838/stat : 10838 (java) S 10830 10832 9714 0 -1 64 404 0 0 0 14 1 0 0 15 0 8 0 270867202 937586688 23880 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10832/tid=10839] ppid=10830 vsize=915612 CPUtime=0
/proc/10832/task/10839/stat : 10839 (java) S 10830 10832 9714 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270867203 937586688 23880 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10832/tid=10840] ppid=10830 vsize=915612 CPUtime=0
/proc/10832/task/10840/stat : 10840 (java) S 10830 10832 9714 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270867203 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.23
Current children cumulated vsize (KiB) 915612

[startup+2.98573 s]
/proc/loadavg: 0.92 0.98 0.99 2/72 10840
/proc/meminfo: memFree=1042792/2055920 swapFree=4190672/4192956
[pid=10832] ppid=10830 vsize=915744 CPUtime=2.88
/proc/10832/stat : 10832 (java) R 10830 10832 9714 0 -1 0 24219 0 1 0 273 15 0 0 17 0 8 0 270867188 937721856 23954 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073825159 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10832/statm: 228936 23954 2181 14 0 215406 0
[pid=10832/tid=10834] ppid=10830 vsize=915744 CPUtime=0.1
/proc/10832/task/10834/stat : 10834 (java) S 10830 10832 9714 0 -1 64 7589 0 0 0 7 3 0 0 17 0 8 0 270867199 937721856 23954 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10832/tid=10835] ppid=10830 vsize=915744 CPUtime=0
/proc/10832/task/10835/stat : 10835 (java) S 10830 10832 9714 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270867199 937721856 23954 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10832/tid=10836] ppid=10830 vsize=915744 CPUtime=0
/proc/10832/task/10836/stat : 10836 (java) S 10830 10832 9714 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270867199 937721856 23954 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10832/tid=10837] ppid=10830 vsize=915744 CPUtime=0
/proc/10832/task/10837/stat : 10837 (java) S 10830 10832 9714 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270867202 937721856 23954 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10832/tid=10838] ppid=10830 vsize=915744 CPUtime=0.16
/proc/10832/task/10838/stat : 10838 (java) S 10830 10832 9714 0 -1 64 416 0 0 0 15 1 0 0 15 0 8 0 270867202 937721856 23954 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10832/tid=10839] ppid=10830 vsize=915744 CPUtime=0
/proc/10832/task/10839/stat : 10839 (java) S 10830 10832 9714 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270867203 937721856 23954 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10832/tid=10840] ppid=10830 vsize=915744 CPUtime=0
/proc/10832/task/10840/stat : 10840 (java) S 10830 10832 9714 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270867203 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.88
Current children cumulated vsize (KiB) 915744

[startup+6.26627 s]
/proc/loadavg: 0.93 0.98 0.99 2/72 10840
/proc/meminfo: memFree=1042664/2055920 swapFree=4190672/4192956
[pid=10832] ppid=10830 vsize=915744 CPUtime=6.16
/proc/10832/stat : 10832 (java) R 10830 10832 9714 0 -1 0 24222 0 1 0 600 16 0 0 17 0 8 0 270867188 937721856 23956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073845431 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10832/statm: 228936 23956 2181 14 0 215406 0
[pid=10832/tid=10834] ppid=10830 vsize=915744 CPUtime=0.1
/proc/10832/task/10834/stat : 10834 (java) S 10830 10832 9714 0 -1 64 7589 0 0 0 7 3 0 0 16 0 8 0 270867199 937721856 23956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10832/tid=10835] ppid=10830 vsize=915744 CPUtime=0
/proc/10832/task/10835/stat : 10835 (java) S 10830 10832 9714 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270867199 937721856 23956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10832/tid=10836] ppid=10830 vsize=915744 CPUtime=0
/proc/10832/task/10836/stat : 10836 (java) S 10830 10832 9714 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270867199 937721856 23956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10832/tid=10837] ppid=10830 vsize=915744 CPUtime=0
/proc/10832/task/10837/stat : 10837 (java) S 10830 10832 9714 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270867202 937721856 23956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10832/tid=10838] ppid=10830 vsize=915744 CPUtime=0.17
/proc/10832/task/10838/stat : 10838 (java) S 10830 10832 9714 0 -1 64 418 0 0 0 16 1 0 0 15 0 8 0 270867202 937721856 23956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10832/tid=10839] ppid=10830 vsize=915744 CPUtime=0
/proc/10832/task/10839/stat : 10839 (java) S 10830 10832 9714 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270867203 937721856 23956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10832/tid=10840] ppid=10830 vsize=915744 CPUtime=0
/proc/10832/task/10840/stat : 10840 (java) S 10830 10832 9714 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270867203 937721856 23956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.16
Current children cumulated vsize (KiB) 915744

[startup+12.7453 s]
/proc/loadavg: 0.93 0.98 0.99 3/72 10840
/proc/meminfo: memFree=1042664/2055920 swapFree=4190672/4192956
[pid=10832] ppid=10830 vsize=915744 CPUtime=12.64
/proc/10832/stat : 10832 (java) R 10830 10832 9714 0 -1 0 24234 0 1 0 1247 17 0 0 17 0 8 0 270867188 937721856 23967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073829910 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10832/statm: 228936 23967 2182 14 0 215406 0
[pid=10832/tid=10834] ppid=10830 vsize=915744 CPUtime=0.1
/proc/10832/task/10834/stat : 10834 (java) S 10830 10832 9714 0 -1 64 7589 0 0 0 7 3 0 0 16 0 8 0 270867199 937721856 23967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10832/tid=10835] ppid=10830 vsize=915744 CPUtime=0
/proc/10832/task/10835/stat : 10835 (java) S 10830 10832 9714 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270867199 937721856 23967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10832/tid=10836] ppid=10830 vsize=915744 CPUtime=0
/proc/10832/task/10836/stat : 10836 (java) S 10830 10832 9714 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270867199 937721856 23967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10832/tid=10837] ppid=10830 vsize=915744 CPUtime=0
/proc/10832/task/10837/stat : 10837 (java) S 10830 10832 9714 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270867202 937721856 23967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10832/tid=10838] ppid=10830 vsize=915744 CPUtime=0.18
/proc/10832/task/10838/stat : 10838 (java) S 10830 10832 9714 0 -1 64 428 0 0 0 17 1 0 0 16 0 8 0 270867202 937721856 23967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10832/tid=10839] ppid=10830 vsize=915744 CPUtime=0
/proc/10832/task/10839/stat : 10839 (java) S 10830 10832 9714 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270867203 937721856 23967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10832/tid=10840] ppid=10830 vsize=915744 CPUtime=0
/proc/10832/task/10840/stat : 10840 (java) S 10830 10832 9714 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270867203 937721856 23967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 915744

[startup+25.5815 s]
/proc/loadavg: 0.95 0.98 0.99 2/72 10840
/proc/meminfo: memFree=1033832/2055920 swapFree=4190672/4192956
[pid=10832] ppid=10830 vsize=915744 CPUtime=25.47
/proc/10832/stat : 10832 (java) R 10830 10832 9714 0 -1 0 26495 0 1 0 2527 20 0 0 22 0 8 0 270867188 937721856 26226 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073832759 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10832/statm: 228936 26226 2182 14 0 215406 0
[pid=10832/tid=10834] ppid=10830 vsize=915744 CPUtime=0.18
/proc/10832/task/10834/stat : 10834 (java) S 10830 10832 9714 0 -1 64 9841 0 0 0 14 4 0 0 16 0 8 0 270867199 937721856 26226 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10832/tid=10835] ppid=10830 vsize=915744 CPUtime=0
/proc/10832/task/10835/stat : 10835 (java) S 10830 10832 9714 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270867199 937721856 26226 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10832/tid=10836] ppid=10830 vsize=915744 CPUtime=0
/proc/10832/task/10836/stat : 10836 (java) S 10830 10832 9714 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270867199 937721856 26226 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10832/tid=10837] ppid=10830 vsize=915744 CPUtime=0
/proc/10832/task/10837/stat : 10837 (java) S 10830 10832 9714 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270867202 937721856 26226 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10832/tid=10838] ppid=10830 vsize=915744 CPUtime=0.19
/proc/10832/task/10838/stat : 10838 (java) S 10830 10832 9714 0 -1 64 434 0 0 0 18 1 0 0 16 0 8 0 270867202 937721856 26226 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10832/tid=10839] ppid=10830 vsize=915744 CPUtime=0
/proc/10832/task/10839/stat : 10839 (java) S 10830 10832 9714 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270867203 937721856 26226 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10832/tid=10840] ppid=10830 vsize=915744 CPUtime=0
/proc/10832/task/10840/stat : 10840 (java) S 10830 10832 9714 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270867203 937721856 26226 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 915744

[startup+51.2587 s]
/proc/loadavg: 0.96 0.98 0.99 2/72 10840
/proc/meminfo: memFree=1027496/2055920 swapFree=4190672/4192956
[pid=10832] ppid=10830 vsize=915744 CPUtime=51.12
/proc/10832/stat : 10832 (java) R 10830 10832 9714 0 -1 0 28083 0 1 0 5088 24 0 0 17 0 8 0 270867188 937721856 27811 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073825244 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10832/statm: 228936 27811 2182 14 0 215406 0
[pid=10832/tid=10834] ppid=10830 vsize=915744 CPUtime=0.27
/proc/10832/task/10834/stat : 10834 (java) S 10830 10832 9714 0 -1 64 11419 0 0 0 22 5 0 0 17 0 8 0 270867199 937721856 27811 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10832/tid=10835] ppid=10830 vsize=915744 CPUtime=0
/proc/10832/task/10835/stat : 10835 (java) S 10830 10832 9714 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270867199 937721856 27811 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10832/tid=10836] ppid=10830 vsize=915744 CPUtime=0
/proc/10832/task/10836/stat : 10836 (java) S 10830 10832 9714 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270867199 937721856 27811 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10832/tid=10837] ppid=10830 vsize=915744 CPUtime=0
/proc/10832/task/10837/stat : 10837 (java) S 10830 10832 9714 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270867202 937721856 27811 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10832/tid=10838] ppid=10830 vsize=915744 CPUtime=0.2
/proc/10832/task/10838/stat : 10838 (java) S 10830 10832 9714 0 -1 64 441 0 0 0 19 1 0 0 15 0 8 0 270867202 937721856 27811 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10832/tid=10839] ppid=10830 vsize=915744 CPUtime=0
/proc/10832/task/10839/stat : 10839 (java) S 10830 10832 9714 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270867203 937721856 27811 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10832/tid=10840] ppid=10830 vsize=915744 CPUtime=0
/proc/10832/task/10840/stat : 10840 (java) S 10830 10832 9714 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270867203 937721856 27811 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.12
Current children cumulated vsize (KiB) 915744

[startup+102.515 s]
/proc/loadavg: 0.98 0.98 0.99 2/72 10840
/proc/meminfo: memFree=1005928/2055920 swapFree=4190672/4192956
[pid=10832] ppid=10830 vsize=915744 CPUtime=102.31
/proc/10832/stat : 10832 (java) R 10830 10832 9714 0 -1 0 33813 0 1 0 10194 37 0 0 25 0 8 0 270867188 937721856 33535 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074007179 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10832/statm: 228936 33535 2501 14 0 215406 0
[pid=10832/tid=10834] ppid=10830 vsize=915744 CPUtime=0.69
/proc/10832/task/10834/stat : 10834 (java) S 10830 10832 9714 0 -1 64 16765 0 0 0 63 6 0 0 16 0 8 0 270867199 937721856 33535 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10832/tid=10835] ppid=10830 vsize=915744 CPUtime=0
/proc/10832/task/10835/stat : 10835 (java) S 10830 10832 9714 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270867199 937721856 33535 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10832/tid=10836] ppid=10830 vsize=915744 CPUtime=0
/proc/10832/task/10836/stat : 10836 (java) S 10830 10832 9714 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270867199 937721856 33535 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10832/tid=10837] ppid=10830 vsize=915744 CPUtime=0
/proc/10832/task/10837/stat : 10837 (java) S 10830 10832 9714 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270867202 937721856 33535 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10832/tid=10838] ppid=10830 vsize=915744 CPUtime=0.26
/proc/10832/task/10838/stat : 10838 (java) S 10830 10832 9714 0 -1 64 474 0 0 0 25 1 0 0 16 0 8 0 270867202 937721856 33535 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10832/tid=10839] ppid=10830 vsize=915744 CPUtime=0
/proc/10832/task/10839/stat : 10839 (java) S 10830 10832 9714 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270867203 937721856 33535 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10832/tid=10840] ppid=10830 vsize=915744 CPUtime=0
/proc/10832/task/10840/stat : 10840 (java) S 10830 10832 9714 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270867203 937721856 33535 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 915744

[startup+162.601 s]
/proc/loadavg: 0.99 0.98 0.99 2/72 10840
/proc/meminfo: memFree=1005928/2055920 swapFree=4190672/4192956
[pid=10832] ppid=10830 vsize=915744 CPUtime=162.37
/proc/10832/stat : 10832 (java) R 10830 10832 9714 0 -1 0 33815 0 1 0 16195 42 0 0 21 0 8 0 270867188 937721856 33537 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074014131 0 4 0 23759 18446744073709551615 0 0 17 1 0 0

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

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

[startup+2085.3 s]
/proc/loadavg: 1.09 1.02 1.00 2/72 11038
/proc/meminfo: memFree=936104/2055920 swapFree=4190672/4192956
[pid=10832] ppid=10830 vsize=915980 CPUtime=2084.32
/proc/10832/stat : 10832 (java) R 10830 10832 9714 0 -1 0 51260 0 1 0 208357 75 0 0 25 0 8 0 270867188 937963520 50966 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073825221 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10832/statm: 228995 50966 2548 14 0 215465 0
[pid=10832/tid=10834] ppid=10830 vsize=915980 CPUtime=0.88
/proc/10832/task/10834/stat : 10834 (java) S 10830 10832 9714 0 -1 64 33961 0 0 0 75 13 0 0 16 0 8 0 270867199 937963520 50966 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=10832/tid=10835] ppid=10830 vsize=915980 CPUtime=0
/proc/10832/task/10835/stat : 10835 (java) S 10830 10832 9714 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270867199 937963520 50966 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10832/tid=10836] ppid=10830 vsize=915980 CPUtime=0
/proc/10832/task/10836/stat : 10836 (java) S 10830 10832 9714 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270867199 937963520 50966 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10832/tid=10837] ppid=10830 vsize=915980 CPUtime=0
/proc/10832/task/10837/stat : 10837 (java) S 10830 10832 9714 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270867202 937963520 50966 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10832/tid=10838] ppid=10830 vsize=915980 CPUtime=0.38
/proc/10832/task/10838/stat : 10838 (java) S 10830 10832 9714 0 -1 64 610 0 0 0 36 2 0 0 16 0 8 0 270867202 937963520 50966 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10832/tid=10839] ppid=10830 vsize=915980 CPUtime=0
/proc/10832/task/10839/stat : 10839 (java) S 10830 10832 9714 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270867203 937963520 50966 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10832/tid=10840] ppid=10830 vsize=915980 CPUtime=0
/proc/10832/task/10840/stat : 10840 (java) S 10830 10832 9714 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270867203 937963520 50966 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2084.32
Current children cumulated vsize (KiB) 915980

[startup+2145.38 s]
/proc/loadavg: 1.03 1.02 1.00 2/72 11038
/proc/meminfo: memFree=936104/2055920 swapFree=4190672/4192956
[pid=10832] ppid=10830 vsize=915980 CPUtime=2144.38
/proc/10832/stat : 10832 (java) R 10830 10832 9714 0 -1 0 51260 0 1 0 214363 75 0 0 25 0 8 0 270867188 937963520 50966 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073825141 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10832/statm: 228995 50966 2548 14 0 215465 0
[pid=10832/tid=10834] ppid=10830 vsize=915980 CPUtime=0.88
/proc/10832/task/10834/stat : 10834 (java) S 10830 10832 9714 0 -1 64 33961 0 0 0 75 13 0 0 16 0 8 0 270867199 937963520 50966 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=10832/tid=10835] ppid=10830 vsize=915980 CPUtime=0
/proc/10832/task/10835/stat : 10835 (java) S 10830 10832 9714 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270867199 937963520 50966 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10832/tid=10836] ppid=10830 vsize=915980 CPUtime=0
/proc/10832/task/10836/stat : 10836 (java) S 10830 10832 9714 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270867199 937963520 50966 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10832/tid=10837] ppid=10830 vsize=915980 CPUtime=0
/proc/10832/task/10837/stat : 10837 (java) S 10830 10832 9714 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270867202 937963520 50966 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10832/tid=10838] ppid=10830 vsize=915980 CPUtime=0.38
/proc/10832/task/10838/stat : 10838 (java) S 10830 10832 9714 0 -1 64 610 0 0 0 36 2 0 0 16 0 8 0 270867202 937963520 50966 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10832/tid=10839] ppid=10830 vsize=915980 CPUtime=0
/proc/10832/task/10839/stat : 10839 (java) S 10830 10832 9714 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270867203 937963520 50966 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10832/tid=10840] ppid=10830 vsize=915980 CPUtime=0
/proc/10832/task/10840/stat : 10840 (java) S 10830 10832 9714 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270867203 937963520 50966 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2144.38
Current children cumulated vsize (KiB) 915980

[startup+2205.47 s]
/proc/loadavg: 1.01 1.01 1.00 2/72 11038
/proc/meminfo: memFree=936104/2055920 swapFree=4190672/4192956
[pid=10832] ppid=10830 vsize=915980 CPUtime=2204.44
/proc/10832/stat : 10832 (java) R 10830 10832 9714 0 -1 0 51260 0 1 0 220369 75 0 0 25 0 8 0 270867188 937963520 50966 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073470032 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10832/statm: 228995 50966 2548 14 0 215465 0
[pid=10832/tid=10834] ppid=10830 vsize=915980 CPUtime=0.88
/proc/10832/task/10834/stat : 10834 (java) S 10830 10832 9714 0 -1 64 33961 0 0 0 75 13 0 0 16 0 8 0 270867199 937963520 50966 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=10832/tid=10835] ppid=10830 vsize=915980 CPUtime=0
/proc/10832/task/10835/stat : 10835 (java) S 10830 10832 9714 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270867199 937963520 50966 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10832/tid=10836] ppid=10830 vsize=915980 CPUtime=0
/proc/10832/task/10836/stat : 10836 (java) S 10830 10832 9714 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270867199 937963520 50966 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10832/tid=10837] ppid=10830 vsize=915980 CPUtime=0
/proc/10832/task/10837/stat : 10837 (java) S 10830 10832 9714 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270867202 937963520 50966 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10832/tid=10838] ppid=10830 vsize=915980 CPUtime=0.38
/proc/10832/task/10838/stat : 10838 (java) S 10830 10832 9714 0 -1 64 610 0 0 0 36 2 0 0 16 0 8 0 270867202 937963520 50966 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10832/tid=10839] ppid=10830 vsize=915980 CPUtime=0
/proc/10832/task/10839/stat : 10839 (java) S 10830 10832 9714 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270867203 937963520 50966 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10832/tid=10840] ppid=10830 vsize=915980 CPUtime=0
/proc/10832/task/10840/stat : 10840 (java) S 10830 10832 9714 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270867203 937963520 50966 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2204.44
Current children cumulated vsize (KiB) 915980

[startup+2265.55 s]
/proc/loadavg: 1.00 1.01 1.00 2/72 11038
/proc/meminfo: memFree=936040/2055920 swapFree=4190672/4192956
[pid=10832] ppid=10830 vsize=915980 CPUtime=2264.51
/proc/10832/stat : 10832 (java) R 10830 10832 9714 0 -1 0 51260 0 1 0 226376 75 0 0 25 0 8 0 270867188 937963520 50966 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073829870 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10832/statm: 228995 50966 2548 14 0 215465 0
[pid=10832/tid=10834] ppid=10830 vsize=915980 CPUtime=0.88
/proc/10832/task/10834/stat : 10834 (java) S 10830 10832 9714 0 -1 64 33961 0 0 0 75 13 0 0 16 0 8 0 270867199 937963520 50966 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=10832/tid=10835] ppid=10830 vsize=915980 CPUtime=0
/proc/10832/task/10835/stat : 10835 (java) S 10830 10832 9714 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270867199 937963520 50966 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10832/tid=10836] ppid=10830 vsize=915980 CPUtime=0
/proc/10832/task/10836/stat : 10836 (java) S 10830 10832 9714 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270867199 937963520 50966 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10832/tid=10837] ppid=10830 vsize=915980 CPUtime=0
/proc/10832/task/10837/stat : 10837 (java) S 10830 10832 9714 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270867202 937963520 50966 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10832/tid=10838] ppid=10830 vsize=915980 CPUtime=0.38
/proc/10832/task/10838/stat : 10838 (java) S 10830 10832 9714 0 -1 64 610 0 0 0 36 2 0 0 16 0 8 0 270867202 937963520 50966 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10832/tid=10839] ppid=10830 vsize=915980 CPUtime=0
/proc/10832/task/10839/stat : 10839 (java) S 10830 10832 9714 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270867203 937963520 50966 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10832/tid=10840] ppid=10830 vsize=915980 CPUtime=0
/proc/10832/task/10840/stat : 10840 (java) S 10830 10832 9714 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270867203 937963520 50966 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2264.51
Current children cumulated vsize (KiB) 915980

[startup+2325.64 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 11038
/proc/meminfo: memFree=936040/2055920 swapFree=4190672/4192956
[pid=10832] ppid=10830 vsize=915980 CPUtime=2324.58
/proc/10832/stat : 10832 (java) R 10830 10832 9714 0 -1 0 51260 0 1 0 232383 75 0 0 25 0 8 0 270867188 937963520 50966 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074007347 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10832/statm: 228995 50966 2548 14 0 215465 0
[pid=10832/tid=10834] ppid=10830 vsize=915980 CPUtime=0.88
/proc/10832/task/10834/stat : 10834 (java) S 10830 10832 9714 0 -1 64 33961 0 0 0 75 13 0 0 16 0 8 0 270867199 937963520 50966 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=10832/tid=10835] ppid=10830 vsize=915980 CPUtime=0
/proc/10832/task/10835/stat : 10835 (java) S 10830 10832 9714 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270867199 937963520 50966 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10832/tid=10836] ppid=10830 vsize=915980 CPUtime=0
/proc/10832/task/10836/stat : 10836 (java) S 10830 10832 9714 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270867199 937963520 50966 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10832/tid=10837] ppid=10830 vsize=915980 CPUtime=0
/proc/10832/task/10837/stat : 10837 (java) S 10830 10832 9714 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270867202 937963520 50966 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10832/tid=10838] ppid=10830 vsize=915980 CPUtime=0.38
/proc/10832/task/10838/stat : 10838 (java) S 10830 10832 9714 0 -1 64 610 0 0 0 36 2 0 0 16 0 8 0 270867202 937963520 50966 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10832/tid=10839] ppid=10830 vsize=915980 CPUtime=0
/proc/10832/task/10839/stat : 10839 (java) S 10830 10832 9714 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270867203 937963520 50966 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10832/tid=10840] ppid=10830 vsize=915980 CPUtime=0
/proc/10832/task/10840/stat : 10840 (java) S 10830 10832 9714 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270867203 937963520 50966 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2324.58
Current children cumulated vsize (KiB) 915980

[startup+2385.73 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 11038
/proc/meminfo: memFree=936040/2055920 swapFree=4190672/4192956
[pid=10832] ppid=10830 vsize=915980 CPUtime=2384.64
/proc/10832/stat : 10832 (java) R 10830 10832 9714 0 -1 0 51261 0 1 0 238389 75 0 0 25 0 8 0 270867188 937963520 50966 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074291881 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10832/statm: 228995 50966 2548 14 0 215465 0
[pid=10832/tid=10834] ppid=10830 vsize=915980 CPUtime=0.88
/proc/10832/task/10834/stat : 10834 (java) S 10830 10832 9714 0 -1 64 33961 0 0 0 75 13 0 0 16 0 8 0 270867199 937963520 50966 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=10832/tid=10835] ppid=10830 vsize=915980 CPUtime=0
/proc/10832/task/10835/stat : 10835 (java) S 10830 10832 9714 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270867199 937963520 50966 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10832/tid=10836] ppid=10830 vsize=915980 CPUtime=0
/proc/10832/task/10836/stat : 10836 (java) S 10830 10832 9714 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270867199 937963520 50966 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10832/tid=10837] ppid=10830 vsize=915980 CPUtime=0
/proc/10832/task/10837/stat : 10837 (java) S 10830 10832 9714 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270867202 937963520 50966 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10832/tid=10838] ppid=10830 vsize=915980 CPUtime=0.38
/proc/10832/task/10838/stat : 10838 (java) S 10830 10832 9714 0 -1 64 610 0 0 0 36 2 0 0 16 0 8 0 270867202 937963520 50966 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10832/tid=10839] ppid=10830 vsize=915980 CPUtime=0
/proc/10832/task/10839/stat : 10839 (java) S 10830 10832 9714 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270867203 937963520 50966 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10832/tid=10840] ppid=10830 vsize=915980 CPUtime=0
/proc/10832/task/10840/stat : 10840 (java) S 10830 10832 9714 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270867203 937963520 50966 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2384.64
Current children cumulated vsize (KiB) 915980



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2401.14 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 11038
/proc/meminfo: memFree=936040/2055920 swapFree=4190672/4192956
[pid=10832] ppid=10830 vsize=915980 CPUtime=2400.05
/proc/10832/stat : 10832 (java) R 10830 10832 9714 0 -1 0 51261 0 1 0 239930 75 0 0 25 0 8 0 270867188 937963520 50966 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074318453 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10832/statm: 228995 50966 2548 14 0 215465 0
[pid=10832/tid=10834] ppid=10830 vsize=915980 CPUtime=0.88
/proc/10832/task/10834/stat : 10834 (java) S 10830 10832 9714 0 -1 64 33961 0 0 0 75 13 0 0 16 0 8 0 270867199 937963520 50966 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=10832/tid=10835] ppid=10830 vsize=915980 CPUtime=0
/proc/10832/task/10835/stat : 10835 (java) S 10830 10832 9714 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270867199 937963520 50966 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10832/tid=10836] ppid=10830 vsize=915980 CPUtime=0
/proc/10832/task/10836/stat : 10836 (java) S 10830 10832 9714 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270867199 937963520 50966 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10832/tid=10837] ppid=10830 vsize=915980 CPUtime=0
/proc/10832/task/10837/stat : 10837 (java) S 10830 10832 9714 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270867202 937963520 50966 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10832/tid=10838] ppid=10830 vsize=915980 CPUtime=0.38
/proc/10832/task/10838/stat : 10838 (java) S 10830 10832 9714 0 -1 64 610 0 0 0 36 2 0 0 16 0 8 0 270867202 937963520 50966 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10832/tid=10839] ppid=10830 vsize=915980 CPUtime=0
/proc/10832/task/10839/stat : 10839 (java) S 10830 10832 9714 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270867203 937963520 50966 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10832/tid=10840] ppid=10830 vsize=915980 CPUtime=0
/proc/10832/task/10840/stat : 10840 (java) S 10830 10832 9714 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270867203 937963520 50966 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2400.05
Current children cumulated vsize (KiB) 915980

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

Child status: 143
Real time (s): 2401.22
CPU time (s): 2400.14
CPU user time (s): 2399.35
CPU system time (s): 0.78788
CPU usage (%): 99.9551
Max. virtual memory (cumulated for all children) (KiB): 915980

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.35
system time used= 0.78788
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 51285
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= 50030
involuntary context switches= 42118

runsolver used 2.54361 s user time and 6.06608 s system time

The end

Launcher Data (download as text)

Begin job on node43 on Fri Jan 19 16:38:01 UTC 2007


IDJOB= 275643
IDBENCH= 4187
IDSOLVER= 69
FILE ID= node43/275643-1169224681

PBS_JOBID= 3589178

Free space on /tmp= 66560 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  89a45000573be1b2f9bfb23b71c21d6b

RANDOM SEED= 579602750

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.278
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.278
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:       1130816 kB
Buffers:         59560 kB
Cached:         775888 kB
SwapCached:        612 kB
Active:         280452 kB
Inactive:       570528 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1130816 kB
SwapTotal:     4192956 kB
SwapFree:      4190672 kB
Dirty:            4236 kB
Writeback:           0 kB
Mapped:          23504 kB
Slab:            60168 kB
Committed_AS:  5195532 kB
PageTables:       1396 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 node43 on Fri Jan 19 17:18:02 UTC 2007