Trace number 275636

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

Namefapp/fapp36-40/fapp36/
fapp36-2000-5.xml
MD5SUM5e3c65923e669c1502345f1887a5f156
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkMSAT TO
Best Number of satisfied constraints17033
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.31	   
0.31	Abscon 109 (November, 2006)
0.31	   
0.31	   configuration
0.31	     name=epfc.xml
0.34	   
0.34	   instance
0.34	     name=/tmp/evaluation/275636-1169224424/unknown.xml
0.37	   
0.37	   domains being loaded...
0.42	   
0.42	   variables being loaded...
0.70	     nbVariables=2000  nbDomainTypes=26  minDomainSize=46  maxDomainSize=454
0.70	       =>  wckTime=0.385  cpuTime=0.29  mem=34M228
0.70	   
0.70	   predicates being loaded...
0.70	   
0.70	   constraints being loaded...
61.04	   
61.04	   INFO : Stopping converting binary constraints (cpu=60.01, mem = 61M388)
62.61	     nbConstraints=18600  nbConvertedConstraints=1913  nbConvertConstraintsChecks=189141732  nbExtensionStructures=1553
62.61	     nbSharedExtensionStructures=360  nbConflictsStructures=1553  nbSharedConflictsStructures=360
62.61	     nbSharedBinaryRepresentations=1034464  nbEvaluationManagers=8164  nbSharedEvaluationManagers=8523  maxDegree=25
62.62	     maxArity=2
62.62	       =>  wckTime=62.302  cpuTime=61.31  mem=71M296
62.86	   
62.86	   solver LocalSearchSolver being built... 
62.90	       =>  wckTime=62.591  cpuTime=61.36  mem=62M463
63.06	
63.06	s SATISFIABLE
63.06	o 13248
63.06	c 5352
63.16	o 13257
63.16	c 5343
63.23	o 13264
63.23	c 5336
63.29	o 13268
63.30	c 5332
63.35	o 13270
63.35	c 5330
63.40	o 13272
63.40	c 5328
63.44	o 13274
63.44	c 5326
63.49	o 13281
63.49	c 5319
63.54	o 13287
63.54	c 5313
63.59	o 13293
63.59	c 5307
63.64	o 13299
63.64	c 5301
63.67	o 13304
63.67	c 5296
63.71	o 13309
63.71	c 5291
63.75	o 13313
63.75	c 5287
63.78	o 13317
63.78	c 5283
63.83	o 13321
63.83	c 5279
63.87	o 13325
63.87	c 5275
63.91	o 13329
63.91	c 5271
63.94	o 13332
63.94	c 5268
63.98	o 13335
63.98	c 5265
64.02	o 13338
64.02	c 5262
64.06	o 13341
64.06	c 5259
64.10	o 13343
64.10	c 5257
64.13	o 13345
64.13	c 5255
64.15	o 13347
64.15	c 5253
64.18	o 13348
64.18	c 5252
64.21	o 13349
64.21	c 5251
64.24	o 13350
64.24	c 5250
64.25	o 13351
64.25	c 5249
64.27	o 13352
64.27	c 5248
64.29	o 13356
64.29	c 5244
64.33	o 13362
64.33	c 5238
64.38	o 13368
64.38	c 5232
64.42	o 13373
64.42	c 5227
64.47	o 13378
64.47	c 5222
64.53	o 13383
64.53	c 5217
64.58	o 13387
64.58	c 5213
64.63	o 13391
64.63	c 5209
64.68	o 13395
64.68	c 5205
64.73	o 13399
64.73	c 5201
64.78	o 13403
64.78	c 5197
64.83	o 13406
64.83	c 5194
64.87	o 13409
64.87	c 5191
64.91	o 13412
64.91	c 5188
64.95	o 13415
64.95	c 5185
65.00	o 13418
65.00	c 5182
65.04	o 13421
65.04	c 5179
65.09	o 13423
65.09	c 5177
65.13	o 13425
65.13	c 5175
65.16	o 13427
65.16	c 5173
65.20	o 13429
65.20	c 5171
65.24	o 13431
65.24	c 5169
65.28	o 13433
65.28	c 5167
65.32	o 13435
65.32	c 5165
65.34	o 13437
65.34	c 5163
65.38	o 13439
65.38	c 5161
65.41	o 13441
65.41	c 5159
65.44	o 13442
65.44	c 5158
65.47	o 13443
65.47	c 5157
65.49	o 13444
65.49	c 5156
65.52	o 13445
65.52	c 5155
65.54	o 13446
65.54	c 5154
65.59	o 13447
65.59	c 5153
65.62	o 13448
65.62	c 5152
65.67	o 13455
65.67	c 5145
65.73	o 13460
65.73	c 5140
65.79	o 13465
65.79	c 5135
65.86	o 13470
65.86	c 5130
65.93	o 13475
65.93	c 5125
65.99	o 13479
65.99	c 5121
66.05	o 13483
66.05	c 5117
66.11	o 13487
66.11	c 5113
66.18	o 13490
66.18	c 5110
66.24	o 13493
66.24	c 5107
66.29	o 13496
66.29	c 5104
66.35	o 13499
66.35	c 5101
66.40	o 13502
66.40	c 5098
66.45	o 13505
66.45	c 5095
66.49	o 13508
66.49	c 5092
66.53	o 13511
66.53	c 5089
66.58	o 13514
66.58	c 5086
66.63	o 13517
66.63	c 5083
66.66	o 13520
66.66	c 5080
66.71	o 13522
66.71	c 5078
66.76	o 13524
66.76	c 5076
66.80	o 13526
66.80	c 5074
66.84	o 13528
66.84	c 5072
66.88	o 13530
66.88	c 5070
66.91	o 13532
66.91	c 5068
66.94	o 13534
66.94	c 5066
66.97	o 13536
66.97	c 5064
67.00	o 13538
67.00	c 5062
67.03	o 13540
67.03	c 5060
67.06	o 13542
67.06	c 5058
67.09	o 13544
67.09	c 5056
67.12	o 13546
67.12	c 5054
67.15	o 13547
67.15	c 5053
67.19	o 13548
67.19	c 5052
67.22	o 13549
67.22	c 5051
67.24	o 13550
67.24	c 5050
67.27	o 13551
67.27	c 5049
67.32	o 13552
67.32	c 5048
67.34	o 13556
67.34	c 5044
67.38	o 13562
67.38	c 5038
67.41	o 13569
67.41	c 5031
67.42	o 13573
67.42	c 5027
67.45	o 13578
67.45	c 5022
67.47	o 13581
67.47	c 5019
67.51	o 13585
67.51	c 5015
67.55	o 13588
67.55	c 5012
67.58	o 13590
67.58	c 5010
67.61	o 13593
67.61	c 5007
67.64	o 13600
67.64	c 5000
67.69	o 13606
67.69	c 4994
67.70	o 13611
67.70	c 4989
67.74	o 13614
67.74	c 4986
67.79	o 13617
67.79	c 4983
67.85	o 13621
67.85	c 4979
67.90	o 13622
67.90	c 4978
67.96	o 13627
67.96	c 4973
68.00	o 13628
68.00	c 4972
68.05	o 13632
68.05	c 4968
68.09	o 13636
68.09	c 4964
68.15	o 13638
68.15	c 4962
68.20	o 13641
68.20	c 4959
68.24	o 13644
68.24	c 4956
68.27	o 13645
68.27	c 4955
68.36	o 13647
68.36	c 4953
68.44	o 13649
68.44	c 4951
68.51	o 13655
68.51	c 4945
68.57	o 13663
68.57	c 4937
68.64	o 13665
68.64	c 4935
68.70	o 13672
68.70	c 4928
68.77	o 13678
68.77	c 4922
68.85	o 13684
68.85	c 4916
68.93	o 13690
68.93	c 4910
69.03	o 13695
69.03	c 4905
69.11	o 13700
69.11	c 4900
69.18	o 13705
69.18	c 4895
69.26	o 13710
69.26	c 4890
69.33	o 13715
69.33	c 4885
69.41	o 13720
69.41	c 4880
69.50	o 13725
69.50	c 4875
69.57	o 13729
69.57	c 4871
69.64	o 13733
69.64	c 4867
69.71	o 13737
69.71	c 4863
69.79	o 13741
69.79	c 4859
69.86	o 13745
69.86	c 4855
69.93	o 13748
69.93	c 4852
70.01	o 13751
70.01	c 4849
70.08	o 13754
70.08	c 4846
70.14	o 13757
70.14	c 4843
70.21	o 13762
70.21	c 4838
70.27	o 13765
70.27	c 4835
70.33	o 13768
70.33	c 4832
70.38	o 13771
70.38	c 4829
70.47	o 13775
70.47	c 4825
70.51	o 13777
70.51	c 4823
70.56	o 13779
70.56	c 4821
70.61	o 13781
70.61	c 4819
70.65	o 13783
70.65	c 4817
70.69	o 13785
70.69	c 4815
70.73	o 13787
70.73	c 4813
70.77	o 13789
70.77	c 4811
70.81	o 13791
70.81	c 4809
70.85	o 13793
70.85	c 4807
70.88	o 13795
70.88	c 4805
70.92	o 13797
70.92	c 4803
70.97	o 13799
70.97	c 4801
71.01	o 13800
71.01	c 4800
71.04	o 13801
71.04	c 4799
71.08	o 13802
71.08	c 4798
71.11	o 13803
71.12	c 4797
71.15	o 13804
71.15	c 4796
71.18	o 13811
71.18	c 4789
71.21	o 13812
71.21	c 4788
71.24	o 13813
71.24	c 4787
71.27	o 13814
71.27	c 4786
71.31	o 13815
71.31	c 4785
71.34	o 13816
71.34	c 4784
71.45	o 13818
71.45	c 4782
71.48	o 13823
71.48	c 4777
71.51	o 13828
71.51	c 4772
71.54	o 13831
71.54	c 4769
71.60	o 13832
71.60	c 4768
71.64	o 13836
71.64	c 4764
71.66	o 13840
71.66	c 4760
71.69	o 13847
71.69	c 4753
71.72	o 13849
71.72	c 4751
71.76	o 13854
71.76	c 4746
71.79	o 13856
71.79	c 4744
71.83	o 13858
71.83	c 4742
71.87	o 13864
71.87	c 4736
71.90	o 13872
71.90	c 4728
71.93	o 13873
71.93	c 4727
71.96	o 13874
71.96	c 4726
72.00	o 13875
72.00	c 4725
72.03	o 13880
72.03	c 4720
72.06	o 13883
72.06	c 4717
72.10	o 13887
72.10	c 4713
72.12	o 13892
72.12	c 4708
72.23	o 13897
72.23	c 4703
72.26	o 13899
72.26	c 4701
72.29	o 13907
72.29	c 4693
72.32	o 13908
72.32	c 4692
72.36	o 13909
72.36	c 4691
72.39	o 13910
72.39	c 4690
72.43	o 13913
72.43	c 4687
72.47	o 13916
72.47	c 4684
72.49	o 13917
72.49	c 4683
72.52	o 13920
72.52	c 4680
72.59	o 13921
72.59	c 4679
72.62	o 13924
72.62	c 4676
72.65	o 13925
72.65	c 4675
72.70	o 13926
72.70	c 4674
72.76	o 13929
72.76	c 4671
72.79	o 13930
72.79	c 4670
72.83	o 13932
72.83	c 4668
72.88	o 13933
72.88	c 4667
72.91	o 13939
72.91	c 4661
72.96	o 13942
72.96	c 4658
73.04	o 13949
73.04	c 4651
73.12	o 13956
73.12	c 4644
73.21	o 13962
73.21	c 4638
73.27	o 13964
73.27	c 4636
73.35	o 13970
73.35	c 4630
73.41	o 13972
73.41	c 4628
73.49	o 13978
73.49	c 4622
73.57	o 13984
73.57	c 4616
73.67	o 13990
73.67	c 4610
73.76	o 13995
73.76	c 4605
73.93	o 13999
73.93	c 4601
74.01	o 14001
74.01	c 4599
74.16	o 14005
74.16	c 4595
74.24	o 14010
74.24	c 4590
74.33	o 14015
74.33	c 4585
74.41	o 14019
74.41	c 4581
74.49	o 14023
74.49	c 4577
74.58	o 14027
74.58	c 4573
74.67	o 14031
74.67	c 4569
74.76	o 14035
74.76	c 4565
74.84	o 14038
74.84	c 4562
74.92	o 14041
74.92	c 4559
75.00	o 14044
75.00	c 4556
75.07	o 14047
75.07	c 4553
75.15	o 14050
75.15	c 4550
75.23	o 14053
75.23	c 4547
75.30	o 14056
75.30	c 4544
75.38	o 14058
75.38	c 4542
75.45	o 14061
75.45	c 4539
75.52	o 14067
75.52	c 4533
75.58	o 14069
75.58	c 4531
75.65	o 14072
75.65	c 4528
75.73	o 14074
75.73	c 4526
75.80	o 14076
75.80	c 4524
75.87	o 14078
75.87	c 4522
75.92	o 14082
75.92	c 4518
75.98	o 14084
75.98	c 4516
76.03	o 14086
76.03	c 4514
76.09	o 14088
76.09	c 4512
76.14	o 14090
76.14	c 4510
76.20	o 14092
76.20	c 4508
76.26	o 14094
76.26	c 4506
76.32	o 14097
76.32	c 4503
76.37	o 14099
76.37	c 4501
76.42	o 14101
76.42	c 4499
76.46	o 14102
76.46	c 4498
76.50	o 14103
76.50	c 4497
76.54	o 14104
76.54	c 4496
76.59	o 14105
76.59	c 4495
76.63	o 14106
76.63	c 4494
76.68	o 14107
76.68	c 4493
76.73	o 14108
76.73	c 4492
76.91	o 14109
76.91	c 4491
76.96	o 14111
76.96	c 4489
77.01	o 14113
77.01	c 4487
77.06	o 14118
77.06	c 4482
77.12	o 14125
77.12	c 4475
77.23	o 14129
77.23	c 4471
77.33	o 14130
77.33	c 4470
77.43	o 14136
77.43	c 4464
77.63	o 14138
77.63	c 4462
77.68	o 14143
77.68	c 4457
77.88	o 14145
77.88	c 4455
77.93	o 14147
77.93	c 4453
77.98	o 14149
77.98	c 4451
78.04	o 14151
78.04	c 4449
78.10	o 14154
78.10	c 4446
78.16	o 14159
78.16	c 4441
78.21	o 14161
78.21	c 4439
78.26	o 14164
78.26	c 4436
78.31	o 14168
78.31	c 4432
78.36	o 14170
78.36	c 4430
78.40	o 14172
78.40	c 4428
78.46	o 14178
78.46	c 4422
78.51	o 14181
78.51	c 4419
78.56	o 14183
78.56	c 4417
78.61	o 14185
78.61	c 4415
78.72	o 14191
78.72	c 4409
78.77	o 14193
78.77	c 4407
78.82	o 14196
78.82	c 4404
78.93	o 14197
78.93	c 4403
78.97	o 14199
78.97	c 4401
79.03	o 14202
79.03	c 4398
79.08	o 14204
79.08	c 4396
79.13	o 14206
79.13	c 4394
79.20	o 14209
79.20	c 4391
79.26	o 14213
79.26	c 4387
79.31	o 14216
79.31	c 4384
79.37	o 14217
79.37	c 4383
79.44	o 14218
79.44	c 4382
79.51	o 14221
79.51	c 4379
79.55	o 14222
79.55	c 4378
79.71	o 14224
79.71	c 4376
79.82	o 14227
79.82	c 4373
79.86	o 14230
79.86	c 4370
79.90	o 14234
79.90	c 4366
79.95	o 14235
79.95	c 4365
79.99	o 14237
79.99	c 4363
80.03	o 14241
80.03	c 4359
80.07	o 14242
80.07	c 4358
80.16	o 14243
80.16	c 4357
80.20	o 14245
80.20	c 4355
80.26	o 14248
80.26	c 4352
80.31	o 14253
80.31	c 4347
80.36	o 14255
80.36	c 4345
80.41	o 14256
80.41	c 4344
80.47	o 14261
80.47	c 4339
80.52	o 14262
80.52	c 4338
80.60	o 14266
80.60	c 4334
80.64	o 14269
80.64	c 4331
80.70	o 14273
80.70	c 4327
80.73	o 14278
80.73	c 4322
80.77	o 14280
80.77	c 4320
80.82	o 14282
80.82	c 4318
80.86	o 14283
80.86	c 4317
80.92	o 14287
80.92	c 4313
80.96	o 14289
80.96	c 4311
81.08	o 14293
81.08	c 4307
81.15	o 14296
81.15	c 4304
81.21	o 14297
81.21	c 4303
81.26	o 14298
81.26	c 4302
81.32	o 14304
81.32	c 4296
81.38	o 14306
81.38	c 4294
81.44	o 14308
81.44	c 4292
81.51	o 14311
81.51	c 4289
81.68	o 14313
81.68	c 4287
81.78	o 14317
81.78	c 4283
81.86	o 14321
81.86	c 4279
81.95	o 14325
81.95	c 4275
82.03	o 14329
82.03	c 4271
82.12	o 14331
82.12	c 4269
82.28	o 14333
82.28	c 4267
82.35	o 14337
82.35	c 4263
82.42	o 14340
82.42	c 4260
82.50	o 14343
82.50	c 4257
82.57	o 14346
82.57	c 4254
82.64	o 14349
82.64	c 4251
82.72	o 14351
82.72	c 4249
82.79	o 14353
82.79	c 4247
82.87	o 14355
82.87	c 4245
82.93	o 14357
82.93	c 4243
82.99	o 14359
82.99	c 4241
83.06	o 14360
83.06	c 4240
83.12	o 14361
83.13	c 4239
83.19	o 14362
83.19	c 4238
83.25	o 14363
83.25	c 4237
83.32	o 14364
83.32	c 4236
83.38	o 14365
83.38	c 4235
83.43	o 14368
83.43	c 4232
83.49	o 14372
83.49	c 4228
83.54	o 14376
83.54	c 4224
83.62	o 14377
83.62	c 4223
83.85	o 14378
83.85	c 4222
83.96	o 14379
83.96	c 4221
84.01	o 14381
84.01	c 4219
84.06	o 14384
84.06	c 4216
84.11	o 14387
84.11	c 4213
84.16	o 14388
84.16	c 4212
84.21	o 14394
84.21	c 4206
84.26	o 14395
84.26	c 4205
84.31	o 14396
84.31	c 4204
84.35	o 14397
84.35	c 4203
84.40	o 14398
84.40	c 4202
84.45	o 14399
84.45	c 4201
84.50	o 14400
84.50	c 4200
84.54	o 14402
84.54	c 4198
84.64	o 14406
84.64	c 4194
84.69	o 14408
84.69	c 4192
84.75	o 14413
84.75	c 4187
84.84	o 14415
84.84	c 4185
84.90	o 14418
84.90	c 4182
84.95	o 14419
84.95	c 4181
85.01	o 14422
85.01	c 4178
85.07	o 14423
85.07	c 4177
85.25	o 14424
85.25	c 4176
85.33	o 14428
85.33	c 4172
85.39	o 14429
85.39	c 4171
85.45	o 14430
85.45	c 4170
85.51	o 14434
85.51	c 4166
85.57	o 14437
85.57	c 4163
85.64	o 14438
85.64	c 4162
85.75	o 14440
85.75	c 4160
85.82	o 14446
85.82	c 4154
85.94	o 14447
85.94	c 4153
86.01	o 14450
86.01	c 4150
86.07	o 14452
86.07	c 4148
86.14	o 14454
86.14	c 4146
86.20	o 14460
86.20	c 4140
86.26	o 14461
86.26	c 4139
86.32	o 14462
86.32	c 4138
86.38	o 14464
86.38	c 4136
86.44	o 14467
86.45	c 4133
86.51	o 14471
86.51	c 4129
86.63	o 14473
86.63	c 4127
86.71	o 14476
86.71	c 4124
86.77	o 14478
86.77	c 4122
86.85	o 14480
86.85	c 4120
86.91	o 14483
86.91	c 4117
86.97	o 14485
86.97	c 4115
87.03	o 14487
87.03	c 4113
87.09	o 14489
87.09	c 4111
87.16	o 14490
87.16	c 4110
87.22	o 14495
87.22	c 4105
87.30	o 14496
87.30	c 4104
87.38	o 14498
87.38	c 4102
87.44	o 14499
87.44	c 4101
87.51	o 14502
87.51	c 4098
87.64	o 14503
87.64	c 4097
87.70	o 14506
87.70	c 4094
87.78	o 14507
87.78	c 4093
87.85	o 14508
87.85	c 4092
87.92	o 14511
87.92	c 4089
88.08	o 14512
88.08	c 4088
88.16	o 14514
88.16	c 4086
88.23	o 14515
88.23	c 4085
88.32	o 14517
88.32	c 4083
88.47	o 14519
88.47	c 4081
88.55	o 14521
88.55	c 4079
88.63	o 14523
88.63	c 4077
89.12	o 14528
89.12	c 4072
89.21	o 14533
89.21	c 4067
89.30	o 14537
89.30	c 4063
89.40	o 14538
89.40	c 4062
89.49	o 14540
89.49	c 4060
89.58	o 14541
89.58	c 4059
89.66	o 14542
89.66	c 4058
89.75	o 14545
89.75	c 4055
89.84	o 14546
89.84	c 4054
89.93	o 14550
89.93	c 4050
90.19	o 14551
90.19	c 4049
90.27	o 14552
90.27	c 4048
90.38	o 14554
90.38	c 4046
90.65	o 14559
90.65	c 4041
90.74	o 14560
90.74	c 4040
90.85	o 14561
90.85	c 4039
90.94	o 14563
90.94	c 4037
91.06	o 14569
91.06	c 4031
91.16	o 14571
91.16	c 4029
91.24	o 14572
91.24	c 4028
91.44	o 14573
91.44	c 4027
91.55	o 14577
91.55	c 4023
91.66	o 14579
91.66	c 4021
91.77	o 14580
91.77	c 4020
91.87	o 14581
91.87	c 4019
92.11	o 14586
92.11	c 4014
92.25	o 14590
92.25	c 4010
92.40	o 14594
92.40	c 4006
92.55	o 14600
92.55	c 4000
92.69	o 14604
92.69	c 3996
92.85	o 14607
92.85	c 3993
93.00	o 14610
93.00	c 3990
93.14	o 14613
93.14	c 3987
93.28	o 14615
93.28	c 3985
93.41	o 14617
93.41	c 3983
93.55	o 14619
93.55	c 3981
93.68	o 14623
93.68	c 3977
94.06	o 14625
94.06	c 3975
94.19	o 14627
94.19	c 3973
94.44	o 14630
94.44	c 3970
94.57	o 14632
94.57	c 3968
94.69	o 14634
94.69	c 3966
94.82	o 14636
94.82	c 3964
94.94	o 14637
94.94	c 3963
95.18	o 14638
95.18	c 3962
95.29	o 14639
95.29	c 3961
95.41	o 14640
95.41	c 3960
95.52	o 14641
95.52	c 3959
95.64	o 14642
95.64	c 3958
95.75	o 14644
95.75	c 3956
95.86	o 14645
95.86	c 3955
95.98	o 14646
95.98	c 3954
96.10	o 14647
96.10	c 3953
96.21	o 14648
96.21	c 3952
96.32	o 14649
96.32	c 3951
96.42	o 14650
96.42	c 3950
96.53	o 14651
96.53	c 3949
96.65	o 14654
96.65	c 3946
96.86	o 14658
96.86	c 3942
97.77	o 14661
97.77	c 3939
97.88	o 14662
97.88	c 3938
97.98	o 14665
97.98	c 3935
98.07	o 14666
98.07	c 3934
98.17	o 14669
98.17	c 3931
98.26	o 14670
98.26	c 3930
98.35	o 14674
98.35	c 3926
98.44	o 14675
98.44	c 3925
98.54	o 14678
98.54	c 3922
98.63	o 14680
98.63	c 3920
98.82	o 14683
98.82	c 3917
98.99	o 14688
98.99	c 3912
99.18	o 14691
99.18	c 3909
99.29	o 14695
99.29	c 3905
99.39	o 14697
99.39	c 3903
99.62	o 14698
99.62	c 3902
99.83	o 14701
99.83	c 3899
99.93	o 14702
99.93	c 3898
100.14	o 14704
100.14	c 3896
100.34	o 14706
100.34	c 3894
100.43	o 14707
100.43	c 3893
100.53	o 14708
100.53	c 3892
100.63	o 14710
100.63	c 3890
100.74	o 14712
100.74	c 3888
100.86	o 14717
100.86	c 3883
100.96	o 14719
100.96	c 3881
101.63	o 14722
101.63	c 3878
101.73	o 14725
101.73	c 3875
101.85	o 14728
101.85	c 3872
101.96	o 14730
101.96	c 3870
102.18	o 14734
102.18	c 3866
102.30	o 14737
102.30	c 3863
102.42	o 14739
102.42	c 3861
102.54	o 14740
102.54	c 3860
102.66	o 14744
102.66	c 3856
102.81	o 14746
102.81	c 3854
103.06	o 14747
103.06	c 3853
103.29	o 14748
103.29	c 3852
103.41	o 14750
103.41	c 3850
103.53	o 14751
103.53	c 3849
103.76	o 14752
103.76	c 3848
103.87	o 14753
103.87	c 3847
103.99	o 14757
103.99	c 3843
104.12	o 14759
104.12	c 3841
104.24	o 14762
104.24	c 3838
104.62	o 14764
104.62	c 3836
104.74	o 14766
104.74	c 3834
105.11	o 14767
105.11	c 3833
105.23	o 14768
105.23	c 3832
105.50	o 14769
105.50	c 3831
105.62	o 14770
105.62	c 3830
106.10	o 14771
106.10	c 3829
106.22	o 14772
106.22	c 3828
106.34	o 14773
106.34	c 3827
106.48	o 14778
106.48	c 3822
106.61	o 14780
106.61	c 3820
107.37	o 14783
107.37	c 3817
107.50	o 14785
107.50	c 3815
107.63	o 14786
107.63	c 3814
107.75	o 14787
107.75	c 3813
107.87	o 14788
107.87	c 3812
108.00	o 14792
108.00	c 3808
108.13	o 14795
108.14	c 3805
108.39	o 14801
108.39	c 3799
108.52	o 14803
108.52	c 3797
108.65	o 14806
108.65	c 3794
108.78	o 14808
108.78	c 3792
108.90	o 14812
108.90	c 3788
109.03	o 14813
109.03	c 3787
109.30	o 14815
109.30	c 3785
109.43	o 14819
109.43	c 3781
109.80	o 14821
109.80	c 3779
109.93	o 14822
109.93	c 3778
110.42	o 14824
110.42	c 3776
110.79	o 14825
110.79	c 3775
110.91	o 14827
110.91	c 3773
111.04	o 14828
111.04	c 3772
111.16	o 14829
111.16	c 3771
111.28	o 14833
111.28	c 3767
111.41	o 14837
111.41	c 3763
111.53	o 14839
111.53	c 3761
111.77	o 14842
111.77	c 3758
111.89	o 14843
111.89	c 3757
112.25	o 14845
112.25	c 3755
112.49	o 14848
112.49	c 3752
112.62	o 14852
112.62	c 3748
112.73	o 14855
112.73	c 3745
112.85	o 14858
112.85	c 3742
112.97	o 14860
112.97	c 3740
113.08	o 14861
113.08	c 3739
113.20	o 14862
113.20	c 3738
113.31	o 14864
113.31	c 3736
113.55	o 14867
113.55	c 3733
113.68	o 14872
113.68	c 3728
113.81	o 14877
113.81	c 3723
113.93	o 14879
113.93	c 3721
114.06	o 14882
114.06	c 3718
114.18	o 14886
114.18	c 3714
114.32	o 14889
114.32	c 3711
114.44	o 14890
114.44	c 3710
114.68	o 14892
114.68	c 3708
114.80	o 14895
114.80	c 3705
114.94	o 14896
114.94	c 3704
115.07	o 14898
115.07	c 3702
115.20	o 14899
115.20	c 3701
115.33	o 14902
115.33	c 3698
115.92	o 14904
115.92	c 3696
116.04	o 14909
116.04	c 3691
116.28	o 14910
116.28	c 3690
116.40	o 14914
116.40	c 3686
116.50	o 14917
116.50	c 3683
116.63	o 14922
116.63	c 3678
116.74	o 14923
116.74	c 3677
116.86	o 14924
116.86	c 3676
116.98	o 14925
116.98	c 3675
117.10	o 14926
117.10	c 3674
117.32	o 14927
117.32	c 3673
117.44	o 14930
117.44	c 3670
117.90	o 14933
117.90	c 3667
118.02	o 14936
118.02	c 3664
118.13	o 14939
118.13	c 3661
118.24	o 14943
118.24	c 3657
118.62	o 14944
118.62	c 3656
118.74	o 14946
118.74	c 3654
118.87	o 14947
118.87	c 3653
118.99	o 14948
118.99	c 3652
119.09	o 14952
119.09	c 3648
119.22	o 14958
119.22	c 3642
119.33	o 14960
119.33	c 3640
119.45	o 14961
119.45	c 3639
119.57	o 14964
119.57	c 3636
119.69	o 14965
119.69	c 3635
119.82	o 14969
119.82	c 3631
119.97	o 14972
119.97	c 3628
120.11	o 14975
120.11	c 3625
120.26	o 14978
120.26	c 3622
120.40	o 14981
120.40	c 3619
120.54	o 14983
120.54	c 3617
120.67	o 14984
120.67	c 3616
120.82	o 14986
120.82	c 3614
120.97	o 14988
120.97	c 3612
121.11	o 14990
121.11	c 3610
121.26	o 14992
121.26	c 3608
121.40	o 14994
121.40	c 3606
121.53	o 14996
121.53	c 3604
121.67	o 14997
121.67	c 3603
121.81	o 14998
121.81	c 3602
122.05	o 15001
122.05	c 3599
122.45	o 15002
122.45	c 3598
122.58	o 15003
122.58	c 3597
122.70	o 15004
122.70	c 3596
123.09	o 15005
123.09	c 3595
123.21	o 15010
123.21	c 3590
123.33	o 15011
123.33	c 3589
123.58	o 15015
123.58	c 3585
124.64	o 15016
124.64	c 3584
125.19	o 15018
125.19	c 3582
125.30	o 15019
125.30	c 3581
125.40	o 15023
125.40	c 3577
125.51	o 15024
125.51	c 3576
125.63	o 15026
125.63	c 3574
125.74	o 15029
125.74	c 3571
125.85	o 15034
125.85	c 3566
125.96	o 15036
125.96	c 3564
126.08	o 15038
126.08	c 3562
126.18	o 15041
126.18	c 3559
126.30	o 15042
126.30	c 3558
126.42	o 15044
126.42	c 3556
126.53	o 15048
126.53	c 3552
126.63	o 15051
126.63	c 3549
126.75	o 15054
126.75	c 3546
126.87	o 15056
126.87	c 3544
127.10	o 15058
127.10	c 3542
127.23	o 15060
127.23	c 3540
127.59	o 15061
127.59	c 3539
127.83	o 15063
127.83	c 3537
127.94	o 15064
127.94	c 3536
128.19	o 15069
128.19	c 3531
128.32	o 15072
128.32	c 3528
128.44	o 15073
128.44	c 3527
128.68	o 15074
128.68	c 3526
128.91	o 15075
128.91	c 3525
129.40	o 15076
129.40	c 3524
129.52	o 15083
129.52	c 3517
129.64	o 15089
129.64	c 3511
129.75	o 15091
129.75	c 3509
129.88	o 15094
129.88	c 3506
130.48	o 15097
130.48	c 3503
130.61	o 15101
130.61	c 3499
130.73	o 15103
130.73	c 3497
130.84	o 15105
130.84	c 3495
130.97	o 15109
130.97	c 3491
131.10	o 15112
131.10	c 3488
131.34	o 15117
131.34	c 3483
131.57	o 15119
131.57	c 3481
131.69	o 15120
131.69	c 3480
131.82	o 15125
131.82	c 3475
131.93	o 15127
131.93	c 3473
132.14	o 15129
132.14	c 3471
132.26	o 15131
132.26	c 3469
132.37	o 15132
132.37	c 3468
132.48	o 15134
132.48	c 3466
132.59	o 15135
132.59	c 3465
132.83	o 15139
132.83	c 3461
133.18	o 15140
133.18	c 3460
133.32	o 15143
133.32	c 3457
133.44	o 15147
133.44	c 3453
133.70	o 15148
133.70	c 3452
133.82	o 15151
133.82	c 3449
133.94	o 15153
133.94	c 3447
134.07	o 15156
134.07	c 3444
134.31	o 15158
134.31	c 3442
134.46	o 15162
134.46	c 3438
134.57	o 15166
134.57	c 3434
134.96	o 15169
134.96	c 3431
135.11	o 15173
135.11	c 3427
135.24	o 15175
135.24	c 3425
135.39	o 15176
135.39	c 3424
135.53	o 15179
135.53	c 3421
135.68	o 15180
135.68	c 3420
135.83	o 15181
135.83	c 3419
135.98	o 15184
135.98	c 3416
136.42	o 15187
136.42	c 3413
136.56	o 15191
136.56	c 3409
136.70	o 15193
136.70	c 3407
136.85	o 15194
136.85	c 3406
137.02	o 15195
137.02	c 3405
137.17	o 15197
137.17	c 3403
137.60	o 15198
137.60	c 3402
137.75	o 15200
137.75	c 3400
137.89	o 15203
137.89	c 3397
138.03	o 15207
138.03	c 3393
138.18	o 15209
138.18	c 3391
138.33	o 15215
138.33	c 3385
138.61	o 15216
138.61	c 3384
139.04	o 15221
139.04	c 3379
139.35	o 15222
139.35	c 3378
139.50	o 15224
139.50	c 3376
139.79	o 15227
139.79	c 3373
140.09	o 15228
140.09	c 3372
140.68	o 15230
140.68	c 3370
140.96	o 15231
140.96	c 3369
141.10	o 15234
141.10	c 3366
141.25	o 15236
141.25	c 3364
141.39	o 15237
141.39	c 3363
141.70	o 15241
141.70	c 3359
141.85	o 15242
141.85	c 3358
141.99	o 15245
141.99	c 3355
142.13	o 15248
142.13	c 3352
142.29	o 15250
142.29	c 3350
142.43	o 15252
142.43	c 3348
142.59	o 15253
142.59	c 3347
142.90	o 15255
142.90	c 3345
143.06	o 15258
143.06	c 3342
143.21	o 15260
143.21	c 3340
143.37	o 15262
143.37	c 3338
143.53	o 15265
143.53	c 3335
143.68	o 15268
143.68	c 3332
144.26	o 15269
144.26	c 3331
144.40	o 15271
144.40	c 3329
144.70	o 15274
144.70	c 3326
145.12	o 15275
145.12	c 3325
145.27	o 15277
145.27	c 3323
145.69	o 15279
145.69	c 3321
145.82	o 15281
145.82	c 3319
145.96	o 15283
145.96	c 3317
146.10	o 15284
146.10	c 3316
146.24	o 15287
146.24	c 3313
146.64	o 15289
146.64	c 3311
146.94	o 15291
146.94	c 3309
147.21	o 15292
147.21	c 3308
147.35	o 15294
147.35	c 3306
147.63	o 15296
147.63	c 3304
147.76	o 15297
147.76	c 3303
147.90	o 15299
147.90	c 3301
148.04	o 15300
148.04	c 3300
148.18	o 15303
148.18	c 3297
148.32	o 15304
148.32	c 3296
148.59	o 15308
148.59	c 3292
148.72	o 15310
148.72	c 3290
148.99	o 15311
149.00	c 3289
149.14	o 15312
149.14	c 3288
149.29	o 15317
149.29	c 3283
149.43	o 15318
149.43	c 3282
149.59	o 15321
149.59	c 3279
149.90	o 15323
149.90	c 3277
150.04	o 15325
150.04	c 3275
151.14	o 15327
151.14	c 3273
151.31	o 15329
151.31	c 3271
151.47	o 15331
151.47	c 3269
151.62	o 15335
151.62	c 3265
151.77	o 15336
151.77	c 3264
151.93	o 15340
151.93	c 3260
152.41	o 15344
152.41	c 3256
152.54	o 15346
152.54	c 3254
152.70	o 15348
152.70	c 3252
152.87	o 15350
152.87	c 3250
153.02	o 15351
153.02	c 3249
153.18	o 15352
153.19	c 3248
153.35	o 15357
153.35	c 3243
153.51	o 15358
153.51	c 3242
153.84	o 15359
153.84	c 3241
154.00	o 15363
154.00	c 3237
154.16	o 15364
154.16	c 3236
154.49	o 15368
154.49	c 3232
154.66	o 15371
154.66	c 3229
154.82	o 15373
154.82	c 3227
154.98	o 15375
154.98	c 3225
155.16	o 15378
155.16	c 3222
155.28	o 15384
155.28	c 3216
155.45	o 15387
155.45	c 3213
155.77	o 15389
155.77	c 3211
155.93	o 15390
155.93	c 3210
156.27	o 15393
156.27	c 3207
156.45	o 15395
156.45	c 3205
156.62	o 15396
156.62	c 3204
156.80	o 15397
156.80	c 3203
156.97	o 15398
156.97	c 3202
157.13	o 15401
157.13	c 3199
157.32	o 15402
157.32	c 3198
157.49	o 15403
157.49	c 3197
157.68	o 15406
157.68	c 3194
157.84	o 15407
157.84	c 3193
158.19	o 15410
158.19	c 3190
158.36	o 15412
158.36	c 3188
158.54	o 15415
158.54	c 3185
158.71	o 15418
158.71	c 3182
158.88	o 15421
158.88	c 3179
159.05	o 15423
159.05	c 3177
159.23	o 15425
159.23	c 3175
159.41	o 15427
159.41	c 3173
159.77	o 15428
159.77	c 3172
159.95	o 15430
159.95	c 3170
160.11	o 15432
160.11	c 3168
160.29	o 15433
160.29	c 3167
160.46	o 15435
160.46	c 3165
160.65	o 15436
160.65	c 3164
160.82	o 15437
160.82	c 3163
161.00	o 15438
161.00	c 3162
161.17	o 15439
161.17	c 3161
161.34	o 15443
161.34	c 3157
161.51	o 15444
161.51	c 3156
161.85	o 15445
161.85	c 3155
162.36	o 15447
162.36	c 3153
162.54	o 15450
162.54	c 3150
162.71	o 15452
162.71	c 3148
162.89	o 15453
162.89	c 3147
163.26	o 15454
163.26	c 3146
163.84	o 15456
163.84	c 3144
164.19	o 15459
164.19	c 3141
164.72	o 15460
164.72	c 3140
165.09	o 15462
165.09	c 3138
165.47	o 15464
165.47	c 3136
165.84	o 15467
165.84	c 3133
166.04	o 15469
166.04	c 3131
166.22	o 15472
166.22	c 3128
166.41	o 15474
166.41	c 3126
166.61	o 15476
166.61	c 3124
166.81	o 15477
166.81	c 3123
167.36	o 15481
167.36	c 3119
167.68	o 15484
167.68	c 3116
167.88	o 15486
167.88	c 3114
168.07	o 15490
168.07	c 3110
168.25	o 15491
168.25	c 3109
168.45	o 15492
168.45	c 3108
168.86	o 15493
168.86	c 3107
169.05	o 15494
169.05	c 3106
169.25	o 15496
169.25	c 3104
169.44	o 15500
169.44	c 3100
169.82	o 15504
169.82	c 3096
170.02	o 15506
170.02	c 3094
170.39	o 15507
170.39	c 3093
170.59	o 15510
170.59	c 3090
170.77	o 15513
170.77	c 3087
171.16	o 15514
171.16	c 3086
171.34	o 15517
171.34	c 3083
171.54	o 15519
171.54	c 3081
171.94	o 15520
171.94	c 3080
172.14	o 15523
172.14	c 3077
172.75	o 15525
172.75	c 3075
172.95	o 15526
172.95	c 3074
173.34	o 15529
173.34	c 3071
173.53	o 15531
173.53	c 3069
173.90	o 15532
173.90	c 3068
174.63	o 15533
174.63	c 3067
175.22	o 15535
175.22	c 3065
175.39	o 15536
175.39	c 3064
175.57	o 15539
175.57	c 3061
175.75	o 15542
175.75	c 3058
175.93	o 15544
175.93	c 3056
176.11	o 15545
176.11	c 3055
176.29	o 15546
176.29	c 3054
176.48	o 15550
176.48	c 3050
176.83	o 15553
176.83	c 3047
177.01	o 15557
177.01	c 3043
177.17	o 15559
177.17	c 3041
177.33	o 15564
177.33	c 3036
177.51	o 15567
177.51	c 3033
177.69	o 15568
177.69	c 3032
177.86	o 15570
177.86	c 3030
178.04	o 15572
178.04	c 3028
178.75	o 15575
178.75	c 3025
178.92	o 15578
178.92	c 3022
179.07	o 15581
179.07	c 3019
179.24	o 15582
179.24	c 3018
179.40	o 15584
179.40	c 3016
180.13	o 15585
180.13	c 3015
180.31	o 15586
180.31	c 3014
180.49	o 15588
180.49	c 3012
180.68	o 15592
180.68	c 3008
180.85	o 15593
180.85	c 3007
181.05	o 15594
181.05	c 3006
181.23	o 15596
181.23	c 3004
181.42	o 15600
181.42	c 3000
181.61	o 15601
181.61	c 2999
181.79	o 15602
181.79	c 2998
182.17	o 15604
182.17	c 2996
182.73	o 15606
182.73	c 2994
183.11	o 15609
183.11	c 2991
183.30	o 15610
183.30	c 2990
183.49	o 15615
183.49	c 2985
183.86	o 15616
183.86	c 2984
184.04	o 15617
184.04	c 2983
184.22	o 15618
184.22	c 2982
184.42	o 15621
184.42	c 2979
184.76	o 15622
184.76	c 2978
184.95	o 15624
184.95	c 2976
185.85	o 15625
185.85	c 2975
186.04	o 15626
186.05	c 2974
186.44	o 15627
186.44	c 2973
186.63	o 15629
186.63	c 2971
187.02	o 15631
187.02	c 2969
187.21	o 15632
187.21	c 2968
187.41	o 15633
187.41	c 2967
187.95	o 15637
187.95	c 2963
188.14	o 15638
188.14	c 2962
188.33	o 15639
188.33	c 2961
188.53	o 15642
188.53	c 2958
188.72	o 15644
188.72	c 2956
188.92	o 15645
188.92	c 2955
189.13	o 15649
189.13	c 2951
189.32	o 15651
189.32	c 2949
189.52	o 15652
189.52	c 2948
189.74	o 15654
189.74	c 2946
189.95	o 15656
189.95	c 2944
190.16	o 15658
190.16	c 2942
190.38	o 15660
190.38	c 2940
190.59	o 15661
190.59	c 2939
190.81	o 15662
190.81	c 2938
191.01	o 15666
191.01	c 2934
191.22	o 15667
191.22	c 2933
191.43	o 15669
191.43	c 2931
191.63	o 15672
191.63	c 2928
191.84	o 15674
191.84	c 2926
192.04	o 15675
192.04	c 2925
192.25	o 15676
192.25	c 2924
192.45	o 15677
192.45	c 2923
194.54	o 15679
194.54	c 2921
194.75	o 15680
194.75	c 2920
194.97	o 15685
194.97	c 2915
195.41	o 15687
195.41	c 2913
197.35	o 15688
197.35	c 2912
197.95	o 15689
197.95	c 2911
198.18	o 15692
198.18	c 2908
198.37	o 15694
198.37	c 2906
198.57	o 15696
198.57	c 2904
198.78	o 15697
198.78	c 2903
199.19	o 15698
199.19	c 2902
199.98	o 15699
199.98	c 2901
200.17	o 15700
200.17	c 2900
200.37	o 15702
200.37	c 2898
200.56	o 15704
200.56	c 2896
200.75	o 15706
200.75	c 2894
200.94	o 15707
200.94	c 2893
201.13	o 15709
201.13	c 2891
201.52	o 15712
201.52	c 2888
201.70	o 15713
201.70	c 2887
201.89	o 15714
201.89	c 2886
202.07	o 15715
202.07	c 2885
202.82	o 15716
202.82	c 2884
203.00	o 15717
203.00	c 2883
203.18	o 15718
203.18	c 2882
203.53	o 15720
203.53	c 2880
203.72	o 15725
203.72	c 2875
203.89	o 15729
203.89	c 2871
204.09	o 15731
204.09	c 2869
204.26	o 15733
204.26	c 2867
204.45	o 15734
204.45	c 2866
204.62	o 15736
204.62	c 2864
204.83	o 15739
204.83	c 2861
205.01	o 15740
205.01	c 2860
205.71	o 15742
205.71	c 2858
206.06	o 15743
206.06	c 2857
206.26	o 15745
206.26	c 2855
206.45	o 15747
206.45	c 2853
207.17	o 15749
207.18	c 2851
207.55	o 15750
207.55	c 2850
207.76	o 15752
207.76	c 2848
208.15	o 15754
208.15	c 2846
208.55	o 15757
208.55	c 2843
208.73	o 15761
208.73	c 2839
208.95	o 15763
208.95	c 2837
209.15	o 15765
209.15	c 2835
209.36	o 15768
209.36	c 2832
209.56	o 15769
209.56	c 2831
209.76	o 15771
209.76	c 2829
209.96	o 15774
209.96	c 2826
210.17	o 15778
210.17	c 2822
210.36	o 15783
210.36	c 2817
210.76	o 15784
210.76	c 2816
210.96	o 15786
210.96	c 2814
211.36	o 15787
211.36	c 2813
211.57	o 15788
211.57	c 2812
211.98	o 15789
211.98	c 2811
212.18	o 15793
212.18	c 2807
212.80	o 15794
212.80	c 2806
213.00	o 15796
213.00	c 2804
213.40	o 15797
213.40	c 2803
215.40	o 15798
215.40	c 2802
215.63	o 15802
215.63	c 2798
215.77	o 15803
215.77	c 2797
215.99	o 15805
215.99	c 2795
216.44	o 15807
216.44	c 2793
216.67	o 15808
216.67	c 2792
216.90	o 15809
216.90	c 2791
217.13	o 15810
217.13	c 2790
217.27	o 15814
217.27	c 2786
217.73	o 15817
217.73	c 2783
217.94	o 15818
217.94	c 2782
218.84	o 15820
218.84	c 2780
219.03	o 15821
219.03	c 2779
220.32	o 15822
220.32	c 2778
220.53	o 15825
220.53	c 2775
220.75	o 15827
220.75	c 2773
220.97	o 15828
220.97	c 2772
221.18	o 15831
221.18	c 2769
222.43	o 15832
222.43	c 2768
222.58	o 15833
222.58	c 2767
222.78	o 15834
222.78	c 2766
223.01	o 15839
223.01	c 2761
223.23	o 15841
223.24	c 2759
224.55	o 15844
224.55	c 2756
224.77	o 15848
224.77	c 2752
224.97	o 15850
224.97	c 2750
225.18	o 15851
225.18	c 2749
227.28	o 15853
227.28	c 2747
227.49	o 15854
227.49	c 2746
227.70	o 15856
227.70	c 2744
228.11	o 15857
228.11	c 2743
228.32	o 15859
228.32	c 2741
228.67	o 15860
228.67	c 2740
228.88	o 15862
228.88	c 2738
229.10	o 15863
229.10	c 2737
229.30	o 15864
229.30	c 2736
229.51	o 15866
229.52	c 2734
230.75	o 15869
230.75	c 2731
230.97	o 15870
230.97	c 2730
231.18	o 15871
231.18	c 2729
231.60	o 15872
231.60	c 2728
231.82	o 15873
231.82	c 2727
232.03	o 15874
232.03	c 2726
232.25	o 15876
232.25	c 2724
232.47	o 15880
232.47	c 2720
232.68	o 15881
232.68	c 2719
232.90	o 15882
232.90	c 2718
233.51	o 15884
233.51	c 2716
233.93	o 15885
233.93	c 2715
234.16	o 15888
234.16	c 2712
235.01	o 15889
235.01	c 2711
235.09	o 15893
235.09	c 2707
235.31	o 15894
235.31	c 2706
235.93	o 15896
235.93	c 2704
236.35	o 15898
236.35	c 2702
236.55	o 15899
236.55	c 2701
236.75	o 15900
236.75	c 2700
237.17	o 15901
237.17	c 2699
237.36	o 15902
237.36	c 2698
237.56	o 15903
237.56	c 2697
238.01	o 15904
238.01	c 2696
238.23	o 15905
238.23	c 2695
239.19	o 15906
239.19	c 2694
239.91	o 15907
239.91	c 2693
240.41	o 15909
240.41	c 2691
240.67	o 15910
240.67	c 2690
240.91	o 15913
240.91	c 2687
241.16	o 15915
241.16	c 2685
241.66	o 15917
241.66	c 2683
241.92	o 15919
241.92	c 2681
242.19	o 15921
242.19	c 2679
242.44	o 15922
242.44	c 2678
242.95	o 15923
242.95	c 2677
243.23	o 15924
243.23	c 2676
243.49	o 15927
243.49	c 2673
243.75	o 15928
243.75	c 2672
244.02	o 15929
244.02	c 2671
244.30	o 15930
244.30	c 2670
244.55	o 15931
244.55	c 2669
244.77	o 15934
244.77	c 2666
245.02	o 15935
245.02	c 2665
246.61	o 15936
246.61	c 2664
246.89	o 15939
246.89	c 2661
247.17	o 15940
247.17	c 2660
247.76	o 15941
247.76	c 2659
248.63	o 15942
248.63	c 2658
249.22	o 15943
249.22	c 2657
249.49	o 15945
249.49	c 2655
250.37	o 15946
250.37	c 2654
250.66	o 15947
250.66	c 2653
250.94	o 15950
250.94	c 2650
251.23	o 15951
251.23	c 2649
251.51	o 15953
251.51	c 2647
251.79	o 15956
251.79	c 2644
253.27	o 15958
253.27	c 2642
253.53	o 15960
253.53	c 2640
253.84	o 15962
253.84	c 2638
254.13	o 15965
254.13	c 2635
254.42	o 15966
254.42	c 2634
254.70	o 15969
254.70	c 2631
254.75	o 15973
254.75	c 2627
254.99	o 15976
254.99	c 2624
256.03	o 15978
256.03	c 2622
256.31	o 15979
256.31	c 2621
256.59	o 15981
256.59	c 2619
257.72	o 15983
257.72	c 2617
260.16	o 15984
260.16	c 2616
260.47	o 15986
260.47	c 2614
261.04	o 15987
261.04	c 2613
261.57	o 15988
261.57	c 2612
261.73	o 15991
261.73	c 2609
262.01	o 15993
262.01	c 2607
262.30	o 15994
262.30	c 2606
262.58	o 15995
262.58	c 2605
262.87	o 15997
262.87	c 2603
263.16	o 15998
263.16	c 2602
263.43	o 15999
263.43	c 2601
264.04	o 16000
264.04	c 2600
264.33	o 16004
264.33	c 2596
264.60	o 16007
264.60	c 2593
264.90	o 16009
264.90	c 2591
265.19	o 16012
265.19	c 2588
265.41	o 16015
265.41	c 2585
265.71	o 16016
265.71	c 2584
266.89	o 16017
266.89	c 2583
267.79	o 16018
267.79	c 2582
268.10	o 16019
268.10	c 2581
268.41	o 16021
268.41	c 2579
269.66	o 16023
269.66	c 2577
269.97	o 16026
269.97	c 2574
270.27	o 16028
270.27	c 2572
270.57	o 16029
270.57	c 2571
271.17	o 16030
271.17	c 2570
271.48	o 16032
271.48	c 2568
271.77	o 16035
271.77	c 2565
272.07	o 16037
272.08	c 2563
272.39	o 16038
272.39	c 2562
272.68	o 16039
272.68	c 2561
272.99	o 16040
272.99	c 2560
273.29	o 16041
273.29	c 2559
273.76	o 16042
273.76	c 2558
274.48	o 16043
274.48	c 2557
275.08	o 16045
275.08	c 2555
275.67	o 16047
275.67	c 2553
276.29	o 16048
276.29	c 2552
276.59	o 16051
276.59	c 2549
277.44	o 16053
277.44	c 2547
278.05	o 16054
278.05	c 2546
278.35	o 16057
278.35	c 2543
278.67	o 16058
278.67	c 2542
278.98	o 16060
278.98	c 2540
279.29	o 16062
279.29	c 2538
280.78	o 16065
280.78	c 2535
281.09	o 16066
281.09	c 2534
283.14	o 16067
283.14	c 2533
284.03	o 16070
284.03	c 2530
284.34	o 16072
284.34	c 2528
285.85	o 16075
285.85	c 2525
286.15	o 16076
286.15	c 2524
286.75	o 16077
286.75	c 2523
287.03	o 16078
287.03	c 2522
287.33	o 16079
287.33	c 2521
287.64	o 16082
287.64	c 2518
287.93	o 16088
287.93	c 2512
288.53	o 16089
288.53	c 2511
289.71	o 16092
289.71	c 2508
290.92	o 16094
290.92	c 2506
291.21	o 16098
291.21	c 2502
291.51	o 16099
291.51	c 2501
293.58	o 16101
293.58	c 2499
294.15	o 16102
294.15	c 2498
295.06	o 16103
295.06	c 2497
296.21	o 16105
296.21	c 2495
296.49	o 16106
296.49	c 2494
296.60	o 16108
296.60	c 2492
296.88	o 16109
296.88	c 2491
297.75	o 16111
297.75	c 2489
298.04	o 16114
298.04	c 2486
298.34	o 16115
298.34	c 2485
298.63	o 16116
298.63	c 2484
298.92	o 16118
298.92	c 2482
299.22	o 16119
299.22	c 2481
301.01	o 16120
301.01	c 2480
301.94	o 16123
301.94	c 2477
303.97	o 16124
303.97	c 2476
304.27	o 16127
304.27	c 2473
304.58	o 16128
304.58	c 2472
304.88	o 16129
304.88	c 2471
305.77	o 16130
305.77	c 2470
306.63	o 16131
306.63	c 2469
306.93	o 16132
306.93	c 2468
307.22	o 16135
307.22	c 2465
307.51	o 16136
307.51	c 2464
307.82	o 16137
307.82	c 2463
308.12	o 16138
308.12	c 2462
310.18	o 16140
310.18	c 2460
310.47	o 16141
310.47	c 2459
311.06	o 16143
311.06	c 2457
311.66	o 16144
311.66	c 2456
312.25	o 16145
312.25	c 2455
312.56	o 16147
312.56	c 2453
312.86	o 16149
312.86	c 2451
313.15	o 16150
313.15	c 2450
313.45	o 16151
313.45	c 2449
313.75	o 16154
313.75	c 2446
314.03	o 16156
314.03	c 2444
314.33	o 16158
314.33	c 2442
314.65	o 16159
314.65	c 2441
315.24	o 16160
315.24	c 2440
315.53	o 16161
315.53	c 2439
316.14	o 16162
316.14	c 2438
317.56	o 16164
317.56	c 2436
317.85	o 16165
317.85	c 2435
318.43	o 16166
318.43	c 2434
318.68	o 16168
318.68	c 2432
319.27	o 16171
319.27	c 2429
319.85	o 16174
319.85	c 2426
322.74	o 16177
322.74	c 2423
323.04	o 16181
323.04	c 2419
323.32	o 16182
323.32	c 2418
323.92	o 16183
323.92	c 2417
324.22	o 16184
324.22	c 2416
324.74	o 16187
324.74	c 2413
324.88	o 16191
324.88	c 2409
325.17	o 16195
325.17	c 2405
325.46	o 16199
325.46	c 2401
325.74	o 16201
325.74	c 2399
326.02	o 16202
326.02	c 2398
326.30	o 16203
326.30	c 2397
326.59	o 16204
326.59	c 2396
326.87	o 16207
326.87	c 2393
328.81	o 16208
328.81	c 2392
329.09	o 16210
329.09	c 2390
329.65	o 16212
329.65	c 2388
331.40	o 16213
331.40	c 2387
332.01	o 16215
332.01	c 2385
332.87	o 16216
332.87	c 2384
333.15	o 16219
333.15	c 2381
333.43	o 16221
333.43	c 2379
333.71	o 16222
333.71	c 2378
334.27	o 16224
334.27	c 2376
336.56	o 16225
336.56	c 2375
336.84	o 16226
336.84	c 2374
337.69	o 16229
337.69	c 2371
338.56	o 16230
338.56	c 2370
339.11	o 16233
339.11	c 2367
339.36	o 16237
339.36	c 2363
339.64	o 16240
339.64	c 2360
339.94	o 16241
339.94	c 2359
340.52	o 16242
340.52	c 2358
346.35	o 16243
346.35	c 2357
347.52	o 16246
347.52	c 2354
347.83	o 16249
347.83	c 2351
348.43	o 16252
348.43	c 2348
349.01	o 16253
349.01	c 2347
354.61	o 16255
354.61	c 2345
355.23	o 16257
355.23	c 2343
355.53	o 16259
355.53	c 2341
355.86	o 16260
355.86	c 2340
356.18	o 16261
356.18	c 2339
356.81	o 16262
356.81	c 2338
360.00	o 16264
360.00	c 2336
360.32	o 16267
360.32	c 2333
361.22	o 16269
361.22	c 2331
361.57	o 16270
361.57	c 2330
362.26	o 16271
362.26	c 2329
362.60	o 16272
362.60	c 2328
362.94	o 16275
362.94	c 2325
363.28	o 16277
363.28	c 2323
363.63	o 16278
363.63	c 2322
363.97	o 16280
363.97	c 2320
364.50	o 16281
364.50	c 2319
364.80	o 16282
364.80	c 2318
365.15	o 16283
365.15	c 2317
365.79	o 16284
365.79	c 2316
366.46	o 16285
366.46	c 2315
367.66	o 16287
367.66	c 2313
368.01	o 16289
368.01	c 2311
368.35	o 16291
368.35	c 2309
369.03	o 16293
369.03	c 2307
369.37	o 16295
369.37	c 2305
369.70	o 16298
369.70	c 2302
370.04	o 16302
370.04	c 2298
370.38	o 16304
370.38	c 2296
372.58	o 16306
372.58	c 2294
373.60	o 16307
373.60	c 2293
374.28	o 16309
374.28	c 2291
374.62	o 16310
374.62	c 2290
374.81	o 16311
374.81	c 2289
375.15	o 16314
375.15	c 2286
378.77	o 16316
378.77	c 2284
379.49	o 16318
379.49	c 2282
380.24	o 16319
380.24	c 2281
380.60	o 16321
380.60	c 2279
380.99	o 16323
380.99	c 2277
383.19	o 16326
383.19	c 2274
383.96	o 16328
383.96	c 2272
384.33	o 16329
384.33	c 2271
384.69	o 16331
384.69	c 2269
386.19	o 16334
386.19	c 2266
386.55	o 16337
386.55	c 2263
386.92	o 16338
386.92	c 2262
387.66	o 16339
387.66	c 2261
388.04	o 16341
388.04	c 2259
388.77	o 16342
388.77	c 2258
389.14	o 16343
389.14	c 2257
391.05	o 16344
391.05	c 2256
391.80	o 16345
391.80	c 2255
392.19	o 16348
392.19	c 2252
392.92	o 16349
392.92	c 2251
397.18	o 16350
397.18	c 2250
397.91	o 16352
397.91	c 2248
398.63	o 16353
398.63	c 2247
399.65	o 16358
399.65	c 2242
400.15	o 16362
400.15	c 2238
400.83	o 16365
400.83	c 2235
402.23	o 16367
402.24	c 2233
402.56	o 16369
402.56	c 2231
402.96	o 16370
402.96	c 2230
404.42	o 16371
404.42	c 2229
404.74	o 16373
404.74	c 2227
405.10	o 16374
405.10	c 2226
406.98	o 16377
406.98	c 2223
407.40	o 16378
407.40	c 2222
407.79	o 16380
407.79	c 2220
408.16	o 16381
408.16	c 2219
408.55	o 16383
408.55	c 2217
408.98	o 16385
408.98	c 2215
417.94	o 16386
417.94	c 2214
419.50	o 16388
419.50	c 2212
420.62	o 16390
420.62	c 2210
421.02	o 16391
421.02	c 2209
421.42	o 16393
421.42	c 2207
422.22	o 16394
422.22	c 2206
422.55	o 16395
422.55	c 2205
424.25	o 16397
424.25	c 2203
424.59	o 16398
424.59	c 2202
424.96	o 16402
424.96	c 2198
425.65	o 16403
425.65	c 2197
425.93	o 16406
425.93	c 2194
426.31	o 16408
426.31	c 2192
429.84	o 16409
429.84	c 2191
431.33	o 16411
431.33	c 2189
432.06	o 16412
432.06	c 2188
432.43	o 16414
432.43	c 2186
433.14	o 16415
433.14	c 2185
434.21	o 16418
434.21	c 2182
434.58	o 16420
434.58	c 2180
436.37	o 16422
436.37	c 2178
437.70	o 16423
437.70	c 2177
437.91	o 16425
437.91	c 2175
439.97	o 16426
439.97	c 2174
440.31	o 16428
440.31	c 2172
440.69	o 16429
440.69	c 2171
441.04	o 16430
441.04	c 2170
441.40	o 16432
441.40	c 2168
441.76	o 16433
441.76	c 2167
443.23	o 16434
443.23	c 2166
445.50	o 16437
445.50	c 2163
445.70	o 16439
445.70	c 2161
445.97	o 16441
445.97	c 2159
446.35	o 16442
446.35	c 2158
450.38	o 16444
450.38	c 2156
450.75	o 16445
450.75	c 2155
451.13	o 16447
451.13	c 2153
451.51	o 16450
451.51	c 2150
451.89	o 16452
451.89	c 2148
452.66	o 16453
452.66	c 2147
456.13	o 16455
456.13	c 2145
456.54	o 16457
456.54	c 2143
456.65	o 16459
456.65	c 2141
457.04	o 16460
457.04	c 2140
457.45	o 16463
457.45	c 2137
460.30	o 16464
460.30	c 2136
460.67	o 16469
460.67	c 2131
460.97	o 16471
460.97	c 2129
461.35	o 16474
461.35	c 2126
462.89	o 16476
462.90	c 2124
463.19	o 16477
463.19	c 2123
463.56	o 16478
463.56	c 2122
463.94	o 16479
463.94	c 2121
464.70	o 16483
464.70	c 2117
468.36	o 16484
468.36	c 2116
468.76	o 16486
468.76	c 2114
469.14	o 16490
469.14	c 2110
469.52	o 16491
469.52	c 2109
475.08	o 16493
475.08	c 2107
476.73	o 16495
476.73	c 2105
477.55	o 16496
477.55	c 2104
478.39	o 16498
478.39	c 2102
480.02	o 16499
480.02	c 2101
480.43	o 16501
480.43	c 2099
480.84	o 16506
480.84	c 2094
481.12	o 16508
481.12	c 2092
481.93	o 16509
481.93	c 2091
482.74	o 16510
482.74	c 2090
483.56	o 16511
483.56	c 2089
483.99	o 16512
483.99	c 2088
484.41	o 16513
484.41	c 2087
484.85	o 16514
484.85	c 2086
485.75	o 16515
485.75	c 2085
487.82	o 16516
487.82	c 2084
488.24	o 16518
488.24	c 2082
488.67	o 16521
488.67	c 2079
489.12	o 16523
489.12	c 2077
489.64	o 16524
489.64	c 2076
490.07	o 16526
490.07	c 2074
492.65	o 16529
492.65	c 2071
493.95	o 16530
493.95	c 2070
495.71	o 16532
495.71	c 2068
496.85	o 16534
496.85	c 2066
499.04	o 16536
499.04	c 2064
500.20	o 16538
500.20	c 2062
500.64	o 16539
500.64	c 2061
501.95	o 16540
501.95	c 2060
502.36	o 16541
502.36	c 2059
503.63	o 16542
503.63	c 2058
504.07	o 16544
504.07	c 2056
504.51	o 16545
504.51	c 2055
504.96	o 16546
504.96	c 2054
505.40	o 16547
505.40	c 2053
517.20	o 16548
517.20	c 2052
519.22	o 16549
519.22	c 2051
519.45	o 16550
519.45	c 2050
520.31	o 16551
520.31	c 2049
520.74	o 16552
520.74	c 2048
523.76	o 16554
523.76	c 2046
524.18	o 16555
524.18	c 2045
524.60	o 16556
524.60	c 2044
528.73	o 16557
528.73	c 2043
529.15	o 16558
529.15	c 2042
529.56	o 16560
529.56	c 2040
529.98	o 16561
529.98	c 2039
531.69	o 16562
531.69	c 2038
532.14	o 16565
532.14	c 2035
533.00	o 16566
533.00	c 2034
533.43	o 16568
533.43	c 2032
534.70	o 16570
534.70	c 2030
535.11	o 16571
535.11	c 2029
537.23	o 16572
537.23	c 2028
538.57	o 16574
538.57	c 2026
539.43	o 16577
539.43	c 2023
541.56	o 16579
541.57	c 2021
542.44	o 16583
542.44	c 2017
543.32	o 16585
543.32	c 2015
543.77	o 16590
543.77	c 2010
544.22	o 16591
544.22	c 2009
544.68	o 16594
544.68	c 2006
545.56	o 16596
545.56	c 2004
546.02	o 16597
546.02	c 2003
548.67	o 16599
548.67	c 2001
549.12	o 16601
549.12	c 1999
552.74	o 16602
552.74	c 1998
553.19	o 16603
553.19	c 1997
554.50	o 16606
554.50	c 1994
556.29	o 16607
556.29	c 1993
559.77	o 16608
559.77	c 1992
560.20	o 16609
560.20	c 1991
560.66	o 16610
560.66	c 1990
561.91	o 16611
561.91	c 1989
562.36	o 16612
562.36	c 1988
562.81	o 16615
562.81	c 1985
565.96	o 16616
565.96	c 1984
566.86	o 16618
566.86	c 1982
567.70	o 16619
567.70	c 1981
568.13	o 16621
568.13	c 1979
569.01	o 16622
569.01	c 1978
569.89	o 16623
569.89	c 1977
569.97	o 16628
569.97	c 1972
570.35	o 16629
570.35	c 1971
571.63	o 16631
571.63	c 1969
571.96	o 16634
571.96	c 1966
572.61	o 16635
572.61	c 1965
573.03	o 16636
573.03	c 1964
573.46	o 16637
573.46	c 1963
576.10	o 16638
576.10	c 1962
576.51	o 16639
576.51	c 1961
576.86	o 16640
576.86	c 1960
577.21	o 16641
577.21	c 1959
578.05	o 16642
578.05	c 1958
578.88	o 16643
578.88	c 1957
581.40	o 16644
581.40	c 1956
581.52	o 16647
581.52	c 1953
581.97	o 16649
581.97	c 1951
582.40	o 16652
582.40	c 1948
582.82	o 16655
582.82	c 1945
583.27	o 16656
583.27	c 1944
583.63	o 16661
583.63	c 1939
584.05	o 16662
584.05	c 1938
585.29	o 16663
585.30	c 1937
585.72	o 16664
585.72	c 1936
586.58	o 16667
586.58	c 1933
587.02	o 16668
587.02	c 1932
587.88	o 16669
587.88	c 1931
588.07	o 16671
588.07	c 1929
588.47	o 16672
588.47	c 1928
588.83	o 16675
588.83	c 1925
589.69	o 16677
589.69	c 1923
590.56	o 16678
590.56	c 1922
590.70	o 16682
590.70	c 1918
593.70	o 16683
593.70	c 1917
594.12	o 16684
594.12	c 1916
594.57	o 16687
594.57	c 1913
595.33	o 16689
595.33	c 1911
596.18	o 16690
596.18	c 1910
597.48	o 16691
597.48	c 1909
597.92	o 16692
597.92	c 1908
603.49	o 16693
603.49	c 1907
604.38	o 16694
604.38	c 1906
605.25	o 16696
605.25	c 1904
606.13	o 16697
606.13	c 1903
606.41	o 16698
606.41	c 1902
606.85	o 16699
606.85	c 1901
607.70	o 16700
607.71	c 1900
608.15	o 16701
608.15	c 1899
609.32	o 16702
609.32	c 1898
611.29	o 16703
611.29	c 1897
612.17	o 16704
612.17	c 1896
613.07	o 16705
613.07	c 1895
614.11	o 16707
614.11	c 1893
616.66	o 16708
616.66	c 1892
617.12	o 16709
617.12	c 1891
618.00	o 16711
618.00	c 1889
618.44	o 16713
618.44	c 1887
618.87	o 16714
618.87	c 1886
619.30	o 16716
619.30	c 1884
620.11	o 16718
620.11	c 1882
620.55	o 16722
620.55	c 1878
620.98	o 16724
620.98	c 1876
621.44	o 16727
621.44	c 1873
624.47	o 16730
624.47	c 1870
624.91	o 16731
624.91	c 1869
626.22	o 16733
626.22	c 1867
626.65	o 16734
626.65	c 1866
627.96	o 16735
627.96	c 1865
629.00	o 16736
629.01	c 1864
629.45	o 16741
629.45	c 1859
629.87	o 16743
629.87	c 1857
631.14	o 16744
631.14	c 1856
632.43	o 16745
632.43	c 1855
635.66	o 16746
635.66	c 1854
636.09	o 16748
636.09	c 1852
636.49	o 16749
636.49	c 1851
636.92	o 16750
636.92	c 1850
640.44	o 16751
640.44	c 1849
640.84	o 16752
640.84	c 1848
641.29	o 16754
641.29	c 1846
641.58	o 16755
641.58	c 1845
642.94	o 16756
642.94	c 1844
643.40	o 16757
643.40	c 1843
648.33	o 16758
648.33	c 1842
648.78	o 16760
648.78	c 1840
649.19	o 16761
649.19	c 1839
650.08	o 16763
650.08	c 1837
653.13	o 16765
653.13	c 1835
653.56	o 16766
653.56	c 1834
653.98	o 16767
653.98	c 1833
656.66	o 16769
656.66	c 1831
657.08	o 16770
657.08	c 1830
658.88	o 16772
658.88	c 1828
659.33	o 16773
659.33	c 1827
661.15	o 16774
661.15	c 1826
667.59	o 16775
667.59	c 1825
668.80	o 16776
668.80	c 1824
671.06	o 16777
671.06	c 1823
672.42	o 16779
672.42	c 1821
674.09	o 16780
674.09	c 1820
676.56	o 16782
676.56	c 1818
676.64	o 16783
676.64	c 1817
677.53	o 16784
677.53	c 1816
677.97	o 16785
677.97	c 1815
678.43	o 16786
678.43	c 1814
679.36	o 16788
679.36	c 1812
680.72	o 16789
680.72	c 1811
681.18	o 16790
681.18	c 1810
682.57	o 16791
682.57	c 1809
689.33	o 16793
689.33	c 1807
689.61	o 16795
689.61	c 1805
692.10	o 16796
692.10	c 1804
693.18	o 16798
693.18	c 1802
693.61	o 16799
693.61	c 1801
694.50	o 16801
694.50	c 1799
694.93	o 16803
694.93	c 1797
695.84	o 16804
695.84	c 1796
696.22	o 16806
696.22	c 1794
697.11	o 16811
697.11	c 1789
700.19	o 16812
700.19	c 1788
704.18	o 16814
704.18	c 1786
708.01	o 16815
708.01	c 1785
709.29	o 16816
709.29	c 1784
710.11	o 16817
710.11	c 1783
710.53	o 16819
710.53	c 1781
710.96	o 16820
710.96	c 1780
726.78	o 16822
726.78	c 1778
727.50	o 16823
727.50	c 1777
727.94	o 16824
727.94	c 1776
728.37	o 16826
728.37	c 1774
728.80	o 16827
728.80	c 1773
729.22	o 16830
729.22	c 1770
729.33	o 16832
729.33	c 1768
729.76	o 16834
729.76	c 1766
730.63	o 16835
730.63	c 1765
731.06	o 16836
731.06	c 1764
732.63	o 16839
732.63	c 1761
735.21	o 16840
735.21	c 1760
735.59	o 16842
735.59	c 1758
738.15	o 16844
738.15	c 1756
738.57	o 16846
738.57	c 1754
738.86	o 16847
738.86	c 1753
740.14	o 16848
740.14	c 1752
740.46	o 16849
740.46	c 1751
741.28	o 16851
741.28	c 1749
741.69	o 16852
741.69	c 1748
742.11	o 16854
742.11	c 1746
743.76	o 16855
743.76	c 1745
744.19	o 16857
744.19	c 1743
744.40	o 16860
744.40	c 1740
746.38	o 16861
746.38	c 1739
747.64	o 16863
747.64	c 1737
748.07	o 16864
748.07	c 1736
748.48	o 16865
748.48	c 1735
754.32	o 16867
754.32	c 1733
755.20	o 16868
755.20	c 1732
756.51	o 16869
756.51	c 1731
757.71	o 16870
757.71	c 1730
758.14	o 16871
758.14	c 1729
758.58	o 16873
758.58	c 1727
761.54	o 16874
761.54	c 1726
766.21	o 16875
766.21	c 1725
766.50	o 16878
766.50	c 1722
777.12	o 16880
777.12	c 1720
777.57	o 16881
777.57	c 1719
777.88	o 16885
777.88	c 1715
778.34	o 16886
778.34	c 1714
780.08	o 16887
780.08	c 1713
784.78	o 16889
784.78	c 1711
785.02	o 16893
785.02	c 1707
785.45	o 16894
785.45	c 1706
786.31	o 16895
786.31	c 1705
786.76	o 16897
786.76	c 1703
792.40	o 16899
792.40	c 1701
793.67	o 16901
793.67	c 1699
794.05	o 16903
794.05	c 1697
794.46	o 16905
794.46	c 1695
795.31	o 16907
795.31	c 1693
797.04	o 16908
797.04	c 1692
799.06	o 16909
799.06	c 1691
799.47	o 16910
799.47	c 1690
800.11	o 16912
800.11	c 1688
801.30	o 16913
801.30	c 1687
802.39	o 16914
802.39	c 1686
804.00	o 16915
804.00	c 1685
804.32	o 16918
804.32	c 1682
804.74	o 16919
804.74	c 1681
806.60	o 16922
806.60	c 1678
807.44	o 16924
807.44	c 1676
810.30	o 16925
810.30	c 1675
810.71	o 16926
810.71	c 1674
811.55	o 16927
811.55	c 1673
811.97	o 16928
811.97	c 1672
812.39	o 16930
812.39	c 1670
813.65	o 16931
813.65	c 1669
814.42	o 16932
814.42	c 1668
815.51	o 16933
815.51	c 1667
816.35	o 16934
816.35	c 1666
822.76	o 16936
822.76	c 1664
823.18	o 16937
823.18	c 1663
830.79	o 16939
830.79	c 1661
832.56	o 16940
832.56	c 1660
833.88	o 16942
833.88	c 1658
834.31	o 16943
834.31	c 1657
834.76	o 16945
834.76	c 1655
835.19	o 16946
835.19	c 1654
843.98	o 16947
843.99	c 1653
850.44	o 16948
850.44	c 1652
850.85	o 16949
850.85	c 1651
851.74	o 16950
851.74	c 1650
851.90	o 16951
851.90	c 1649
852.37	o 16952
852.38	c 1648
875.78	o 16953
875.78	c 1647
876.72	o 16955
876.72	c 1645
877.19	o 16956
877.19	c 1644
878.54	o 16957
878.54	c 1643
879.01	o 16958
879.01	c 1642
880.31	o 16959
880.31	c 1641
880.58	o 16960
880.58	c 1640
883.33	o 16961
883.33	c 1639
884.26	o 16962
884.26	c 1638
885.57	o 16963
885.57	c 1637
888.81	o 16965
888.81	c 1635
889.26	o 16966
889.26	c 1634
895.04	o 16968
895.04	c 1632
898.03	o 16969
898.03	c 1631
900.91	o 16970
900.91	c 1630
901.38	o 16972
901.38	c 1628
903.56	o 16973
903.56	c 1627
904.00	o 16974
904.00	c 1626
904.45	o 16976
904.45	c 1624
906.28	o 16977
906.28	c 1623
907.20	o 16978
907.20	c 1622
908.12	o 16979
908.12	c 1621
909.97	o 16981
909.97	c 1619
910.44	o 16982
910.44	c 1618
913.74	o 16985
913.74	c 1615
919.70	o 16986
919.70	c 1614
920.66	o 16987
920.66	c 1613
921.13	o 16988
921.13	c 1612
921.59	o 16990
921.59	c 1610
922.06	o 16991
922.06	c 1609
922.54	o 16993
922.54	c 1607
923.15	o 16994
923.15	c 1606
924.06	o 16995
924.06	c 1605
929.07	o 16997
929.07	c 1603
930.34	o 17000
930.34	c 1600
932.31	o 17001
932.31	c 1599
932.69	o 17002
932.69	c 1598
933.01	o 17005
933.01	c 1595
933.32	o 17007
933.32	c 1593
933.80	o 17008
933.80	c 1592
941.39	o 17009
941.39	c 1591
941.89	o 17010
941.89	c 1590
942.37	o 17011
942.37	c 1589
942.96	o 17012
942.96	c 1588
943.10	o 17013
943.10	c 1587
943.60	o 17014
943.60	c 1586
943.97	o 17015
943.97	c 1585
944.44	o 17018
944.44	c 1582
945.89	o 17019
945.89	c 1581
946.36	o 17020
946.36	c 1580
947.32	o 17021
947.32	c 1579
951.11	o 17023
951.11	c 1577
952.07	o 17024
952.07	c 1576
956.70	o 17025
956.70	c 1575
957.18	o 17027
957.18	c 1573
958.16	o 17030
958.16	c 1570
958.67	o 17031
958.67	c 1569
964.88	o 17032
964.88	c 1568
965.37	o 17033
965.37	c 1567
995.92	   
995.92	   search
995.92	     run=0  nbConstraintChecks=2137707522  nbAssignments=3407
995.92	       =>  wckTime=933.018  cpuTime=929.53  mem=63M464
995.92	   
995.92	   global
995.92	     nbConstraintChecks=2137707522  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
995.92	     solvingWckTime=932.996  solvingCpuTime=929.5  expiredTime=no  totalExploration=no  nbFoundSolutions=0
995.92	     globalCpuTime=990.92
995.92	       =>  wckTime=995.609  cpuTime=990.88  mem=63M464
995.92	   
995.92	   solver IterativeSystematicSolver being built... 
996.56	       =>  wckTime=996.246  cpuTime=991.26  mem=153M828
2408.71	v -2250 2474 2878 2070 2834 -2806 -2434 -2294 2878 -2794 2074 2286 -2618 -2766 2854 -2702 2250 2274 2018 2858 2830 -2422 -2858 2050 -2314 -2354 2854 1990 2766 2382 -1994 -2050 2890 2278 -2282 -2786 -2710 2814 -2798 -2042 2850 2062 2018 2870 2854 -2878 -2582 2598 -2106 2890 2090 -2746 -2418 2030 2738 -2366 2854 -2682 2842 -2858 2850 2690 2802 1990 -2262 2002 2054 -2502 -2142 2498 2034 -2038 2754 -2086 -2882 -2614 -2642 -2142 -2066 -2142 1994 -1994 2182 -2146 -2610 -2834 2722 2366 2818 -2014 -2102 -2810 -2022 2774 2030 2582 2074 -2894 2410 1990 2726 -2058 2642 -2722 -2582 -2562 2054 -2838 -2482 2838 -2106 2614 2178 -2458 2550 -2030 2314 2262 -2854 -2870 -2834 -2890 -2846 2866 2634 2058 -2018 -2002 2886 -2854 2078 2502 -2214 2326 2266 2886 2342 -2310 2854 2254 -2630 2742 2278 2246 -2890 2826 2842 2514 -2386 -2294 2034 -2762 2542 -2850 2894 -2142 2234 -2466 -2750 2002 2762 2866 2354 -2658 -2030 2670 2430 -2442 2678 -2078 -2886 2718 -2346 2070 2250 -2430 2090 -2350 2814 -2578 -2834 -2466 2546 2834 2506 -2038 -2738 -2538 2682 -2758 2806 -2410 -2350 -2838 -2846 -2030 2198 2890 -2102 2038 2246 2042 -2834 -2338 2766 2146 -2882 2398 2866 -2442 -2754 -1990 2422 2850 2798 -2846 -2894 2810 -2238 -2526 -2802 -2534 2082 -2030 -2050 -2050 2890 -2826 -2222 2394 2770 -2854 2550 2118 -2754 2710 -2470 -2790 2738 -2046 2698 -2038 -2014 -2142 -2038 -2850 2730 2578 2330 2102 2378 2762 2782 2674 2358 2002 -2374 2078 2850 2106 2406 -2822 2026 -2346 2894 1994 2818 -2366 2314 -2022 -2838 -2666 -2870 2066 -2866 -1994 2794 2774 2814 2538 -2574 2682 -2846 2446 -1990 -2246 -1990 1994 -2366 -2282 2494 2582 2506 2630 -2154 -2430 2698 -2762 2206 2446 2822 2670 2034 2398 2658 1994 2178 -2654 -2546 -2702 -2554 2250 -2018 2538 -2846 -2234 2850 2874 2754 -2038 1990 -2878 -2850 2654 2826 -2574 2846 -2782 2690 2070 2290 -2562 -2550 -2366 2838 2414 -2602 2038 2538 -2026 -2054 -2326 -2602 2834 -2030 2458 -2830 -1990 2822 -2790 -2090 2678 -2054 2406 -2874 2702 2190 2034 -2778 2186 2894 -2042 2030 -2626 -2002 -2846 -2894 2050 -2126 -2098 2486 -2042 2034 -2390 -2446 -2834 1990 -2030 2802 2570 -2322 -2030 -2850 -1990 1990 1998 -2630 2874 2842 -2342 -2714 -2362 2850 -2010 2286 -2202 -2058 2558 -2034 -2794 -2878 2834 2438 -2146 2282 2826 2182 -2030 -2010 -2870 -2854 -1994 2750 2854 2830 -2034 2822 -2798 2858 -2042 -2550 -2222 -2034 2486 2718 -2862 -2014 -2594 -2838 2794 -2474 2838 2218 -2426 -2582 2882 2050 2802 2818 -2262 2694 2246 -2254 -2658 -2890 -2374 2190 -2874 2562 -2690 2626 1998 2894 2882 -2114 -2610 2386 2046 2698 2094 -2206 -2066 2738 -2106 -2030 -2042 -2878 -2174 2114 1990 -2374 -2214 -2034 2842 2010 -2370 -2226 -2158 2038 -2586 2338 1994 2618 2486 2774 2658 -2118 -2214 2246 2422 2694 2034 2034 -2570 -2038 2774 2454 2846 -2854 2486 -2318 -2826 -2894 2890 2066 2890 -2578 -2002 2858 2730 -2014 -2106 -2690 2002 2830 -2838 -2850 2262 2386 -2658 -2870 2350 -2038 -2494 2830 -2470 -2766 -2182 2070 2874 -2610 -1998 -2034 2730 -2070 2058 2714 2590 2634 2030 -1998 2814 -2210 -2858 -1994 2050 -2426 -2666 2426 -2778 2222 2830 -2890 -2146 -2726 -2046 -2354 -2618 -2050 -2058 -2034 2098 1990 1994 2082 2202 -2182 2034 2882 2886 2694 2458 2430 2038 -2686 2002 2314 2682 2254 -2770 -2710 2842 2034 2838 -2490 -2782 -2834 2002 2134 -2390 -2878 2230 -2310 2430 -2854 -2870 -2050 -2814 -2330 -2114 2490 -2766 2782 -2046 2110 -2882 2298 -1990 2650 2758 -2782 -2438 -2018 2010 -2150 -2014 2842 2034 2894 -1990 -2722 -2874 2686 2090 2030 2878 -2762 2358 2722 -2030 2294 2050 2850 2002 1998 2330 -2366 -2662 -2858 1994 -2742 -2118 2050 2002 -2210 -2774 -2658 2454 2842 2674 2890 2190 -2234 -2378 2862 1998 2070 2670 2594 -2790 2574 -2750 2850 2266 -2450 -2370 2582 -2782 -2362 -2486 -2538 2702 2002 -2370 -2846 -2706 2198 2430 -2102 -2566 2498 -2894 -2890 -2854 -2082 2106 -2086 -2878 -1990 -2382 1998 -2874 -2262 -2606 -2214 -2042 -2230 1994 -2886 2654 -2106 2446 -2270 -2850 2630 -2646 -2654 -2038 -2590 2606 -2422 1994 -2054 -2246 2706 2878 2002 -2686 -2126 -2670 -2486 -2698 1998 2358 -2014 -2294 2334 2734 -2386 -2818 -2022 -2626 -2242 2134 2330 2514 2566 -2398 2402 2130 2774 2118 2870 2678 -2042 2466 -2634 -2478 -2734 -2322 -2074 2058 -2506 -2546 -2022 -2042 -2034 -2630 -2030 2886 -2878 -2146 2682 2402 -2406 2174 2362 -2894 2466 -2050 2738 -2670 -2554 -2086 2710 2058 2030 2326 2642 2378 -2058 2158 2014 -2394 2154 -2862 -2206 -2538 2034 2806 -2830 -2882 -2830 2070 -2602 2854 -2754 -2490 -2894 -2878 -2002 2254 -2030 2774 2158 1994 2034 2746 2030 2174 -2838 -2750 2846 -1998 -2566 -2494 -2378 -1994 2546 2650 2034 -2190 -1994 -1990 -2458 -2814 -2846 -2058 1994 -2662 2762 2002 2386 -2670 -2018 -2750 2814 -2626 2034 -2058 -2842 2002 2370 2406 -2002 2886 2026 -2398 -2794 2498 2042 2862 -2206 2682 1998 2050 2014 -2062 -2094 -2106 2438 2854 2830 -2006 2518 2098 -2534 -2838 -2846 -2882 -2562 2374 2666 -2814 -2630 2074 -2182 -2102 -2890 2758 -2098 -2066 -2418 2290 -2482 2810 2878 -2818 2890 -2866 2854 1994 -2030 -2742 -2886 2426 -2106 2418 2838 -2482 -2798 -2842 -2002 -2338 2742 -2522 -2730 2458 -2810 -2702 2050 2738 2850 -2890 2650 -2510 2250 2710 2718 -2062 -2014 -2734 2798 2858 2450 -2782 2014 -2782 -2062 -2498 2214 -2006 -2882 2818 2474 2182 2670 -2398 2522 -2094 2046 -2346 -2074 2742 1990 2138 2810 2542 -2806 -2274 2698 -2834 2418 2018 -2494 2034 2818 2854 2822 -2806 2586 2054 2850 2046 2518 -2894 2478 2838 -2078 2354 2442 2058 2426 2582 2622 2678 -2882 2222 2198 2062 2482 -2594 -2334 -2526 -2886 2690 -2830 2806 -2418 -1994 -2070 -2326 -2702 -2018 2814 1994 -2734 2726 -2606 -2602 2870 2566 -2846 -2870 2030 2426 2678 2318 -2294 2118 2106 -2418 2266 2446 1990 2418 -2722 -2330 -2874 2022 2558 -2454 -2686 2458 1998 2354 -1990 2762 2626 2002 -2346 2682 2814 2222 2406 -2406 2894 2238 2426 -2054 2770 1998 -2850 2590 -2386 -2462 2642 1998 -2134 2654 2178 -2778 2366 -2506 2838 2454 2874 -2022 -2622 -2118 -2138 -2698 2026 2850 -2834 -2230 2102 -2786 -2746 2166 2410 2034 -1994 -1994 2686 2794 -2666 -2746 2694 -2094 2294 2058 -2870 -1998 2890 2030 2750 2794 -2206 -2842 2498 2350 2854 -2846 2886 -2882 -2030 -2006 -2818 2814 2854 -2618 -2018 -2794 2334 2118 -2150 2606 -2742 -2618 2002 2794 1990 2894 -2698 -2694 -2838 2066 -2014 -2046 -2754 -2210 2670 2050 2030 2854 2762 1990 -2870 -2562 -2258 -2850 -2038 2846 -2890 2874 -2818 2378 2682 2642 2806 -2446 -2050 2814 -1994 2014 -2582 -2794 -2706 -2150 -2010 -2162 -2886 2290 2230 -2590 2442 -2114 2890 2134 2010 2206 2050 -1994 2670 2046 2638 2010 2526 2058 -2054 2854 -2546 -2222 2786 2238 -2310 -2878 2842 2850 -2054 2886 -2654 2050 -2638 -2722 2010 -2850 2078 2826 -2854 2710 -2406 -2206 2742 -2078 -2886 -2530 2374 -2838 -2018 -2102 -2062 2534 -2890 2870 2174 -2726 -2386 -2778 2538 2886 2486 2714 -2090 2482 2118 2486 2490 2778 -2850 -2222 2786 -2834 2826 2894 -2814 2002 -2058 2886 2058 2234 2838 2398 2402 2546 -2038 2066 -2698 -2618 2494 -2062 -2850 2890 2110 -2526 -2606 -2846 -2826 -2826 -1990 2478 2098 2706 -2186 2870 -2498 -2834 2722 -2870 -2442 -2874 -2826 -2338 2366 -2206 -2814 -2042 -2354 -2054 -2454 -2254 1990 2098 2742 -2058 2850 -2198 2090 2886 -2338 2166 -2890 -2378 -2054 -2826 -2722 -2854 -2138 -2886 -2374 -2314 -2034 2286 -2894 1990 2294 -2174 -2858 2782 2770 -2822 2422 -2170 -2890 -2238 2790 -2386 -2874 2834 2290 2386 -2866 2194 -2650 2254 2030 2894 2454 2118 -2226 -2302 2054 2830 2858 -2238 -2262 2842 -2714 -2766 -2854 2774 -1998 2098 2042 1994 -2166 2002 -2522 -2566 2890 -2026 -2042 -2046 2306 2462 -2734 2830 2062 2066 -2682 2238 2050 2334 -2710 -2674 2662 2110 -2050 -2014 2894 2358 2710 2782 2698 2774 -2782 -2378 2846 -2886 2582 -2766 -2226 2018 -2862 -2794 1990 -2062 -2858 -2082 2110 2054 -2838 1994 -2738 2030 -2494 2842 2726 2038 -2034 -2530 1990 2818 -2454 -2046 -2886 2562 -2662 -2034 2034 2626 2218 2754 -2398 2818 -2058 2242 2302 2634 -2806 2434 2586 -2874 2694 2274 -2370 2018 -2806 -2062 -2590 -2834 -2754 2026 2562 -2366 2874 -2826 2218 -2266 -2646 2778 2054 -2794 2382 -2078 -2754 2174 -1994 2006 -2594 1990 -2710 2390 1994 -2050 2858 -2042 -2102 2182 -2094 -2770 2794 -2586 2450 -2406 -2246 -2338 -2542 -2274 2566 -2694 2030 -2038 -2834 2030 2834 2134 -2266 2030 2278 2702 2374 -2146 2798 -2386 2378 -2830 -2010 2650 2318 2666 -2778 2014 2526 -2834 -2478 2506 2270 -1994 -2058 -2058 -2878 -2842 -2114 2186 2858 2246 2694 2822 -2730 2034 2042 2818 2838 -2206 -2886 2090 2718 -2622 2158 -2622 -2818 2758 2194 -1990 -2786 2334 2762 -2418 -1990 -2234 -2854 2358 2306 2698 1990 1990 2842 2870 -2390 2038 -2670 -2010 -2330 2818 -2346 -2542 2778 2334 2710 -2894 2838 -2134 -2518 2014 -2314 -2018 2690 -2638 2002 2706 2050 -2846 2794 2218 -2014 -2794 2222 1990 2074 -2198 2854 2886 2470 -2722 2462 2866 -2190 2854 -2054 2366 -2870 -2030 2538 2890 -2030 2654 2670 -2090 -2734 2266 2262 -2130 2654 2110 1998 -2718 -2850 2042 -2546 2830 2298 1994 -2706 -2854 -2478 -2834 2042 -2838 -2058 -2010 -2002 2358 -2746 -2498 1990 2090 1990 -2458 -2354 2018 -1998 2110 2070 -2038 2458 -2218 -2018 2890 2202 2494 2886 -2214 -1998 2054 -1990 2842 2038 2838 2042 -2622 -1990 -2622 -2742 -2346 2882 -2522 2402 2802 -2514 2290 -2442 2778 2018 2710 2818 2610 2742 2602 -2378 2002 -2862 -2150 2626 2886 2874 2198 2894 -2046 -1990 -2858 -2630 2022 -1994 2742 -2822 -2378 2462 -2602 2058 -2034 -2246 2094 2642 2314 -2782 -2838 2030 2846 -2326 -2350 -2390 -2034 -2642 -2682 -2426 2822 -2842 -2742 2054 -2826 -2674 2554 2738 2102 2854 2422 -2070 -2814 -2722 2030 2638 -2346 -2582 2710 -2430 2658 2806 -2702 2286 2578 2818 2042 2298 1990 2790 2526 -2786 2754 -2042 -2394 -2494 -2006 -2846 -2062 2002 2278 2086 2146 2846 -2010 2834 -2854 2846 2038 2882 -2026 -1994 2894 -2830 -2402 -2410 -2278 2226 -2502 -2794 2850 2706 2826 -2834 2890 -2022 2390 -2894 -2054 2714 -2658 -2890 -2026 2158 2670 1990 2330 -2618 2210 2070 -2418 2346 2438 2370 2438 -2066 2894 -2522 -2018 2818 2382 -2782 -2730 2618 2030 1990 2822 2878 2034 -2822 2786 -2014 2306 -2070 -2002 2854 2030 -2306 2882 -2078 2034 2062 2194 2418 -2534 -2750 -2382 -2010 2222 2242 -2358 -2802 2342 -2806 2662 2830 -2286 -2270 2838 2322 2278 -2142 2750 -2878 -2194 -2066 2826 -2438 -2534 -2010 2590 -2826 2006 -2866 2602 2042 2654 -2846 2362 2714 -2030 -2042 -2430 1998 -2506 2282 2822 2670 -2806 2430 2302 -1994 -2410 2034 2894 2826 2622 -1998 2390 -2770 2518 -2802 -1994 2682 2734 -2850 2274 2866 -2286 -2878 2514 -2050 2878 -2578 -2622 2830 2038 2030 -2642 2030 2162 -2870 2150 2386 2042 2122 2158 -1998 -2334 2694 -2042 -2850 2030 -2166 2378 -2814 2846 -2066 -2894 -2426 -2854 2454 -2034 -2602 -2670 -2746 2302 -2446 2006 2894 2226 -2818 2610 2834 2342 -2806 -2154 2038 -2890 2042 -2554 2722 2270 1994 2878 2054 -2286 -2782 2222 -2822 2650 2878 -2882 2454 -2894 -2694 2858 2042 2862 -2854 2178 2450 -2038 -2162 2858 -2050 2366 -2802 -2462 -2734 2058 2866 -2774 2418 2534 2762 -2022 2598 2078 -2666 2842 2878 2310 2110 2390 2778 2830 -2034 2846 -2018 2378 -2566 -2466 -2542 2470 2830 -2398 2890 2698 -1990 -2462 -2066 -2018 -2566 2642 1990 2822 2866 2286 -2018 2078 -2818 -2682 1990 2014 1998 -2798 2070 2102 2498 -2326 2242 2494

Verifier Data (download as text)

1567 unsatisfied constraints, 17033 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/node71/watcher-275636-1169224424 -o ROOT/results/node71/solver-275636-1169224424 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/275636-1169224424/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: 2.01 2.01 1.95 4/81 14760
/proc/meminfo: memFree=1025336/2055920 swapFree=4192812/4192956
[pid=14759] ppid=14757 vsize=47416 CPUtime=0
/proc/14759/stat : 14759 (java) D 14757 14759 14172 0 -1 0 1211 0 1 0 0 0 0 0 17 0 1 0 69939273 48553984 960 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 2147483391 0 7368 18446744072099781622 0 0 17 1 0 0
/proc/14759/statm: 11854 960 760 14 0 1707 0

[startup+0.103818 s]
/proc/loadavg: 2.01 2.01 1.95 4/81 14760
/proc/meminfo: memFree=1025336/2055920 swapFree=4192812/4192956
[pid=14759] ppid=14757 vsize=914988 CPUtime=0.08
/proc/14759/stat : 14759 (java) R 14757 14759 14172 0 -1 0 2996 0 1 0 6 2 0 0 17 0 8 0 69939273 936947712 2742 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072926602 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14759/statm: 228747 2742 1427 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.511874 s]
/proc/loadavg: 2.01 2.01 1.95 4/81 14760
/proc/meminfo: memFree=1025336/2055920 swapFree=4192812/4192956
[pid=14759] ppid=14757 vsize=915332 CPUtime=0.48
/proc/14759/stat : 14759 (java) R 14757 14759 14172 0 -1 0 7561 0 1 0 43 5 0 0 18 0 8 0 69939273 937299968 7300 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14759/statm: 228833 7300 2143 14 0 215303 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915332

[startup+1.33699 s]
/proc/loadavg: 2.01 2.01 1.95 3/88 14767
/proc/meminfo: memFree=945792/2055920 swapFree=4192812/4192956
[pid=14759] ppid=14757 vsize=915612 CPUtime=1.3
/proc/14759/stat : 14759 (java) R 14757 14759 14172 0 -1 0 24148 0 1 0 117 13 0 0 23 0 8 0 69939273 937586688 23885 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073798354 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14759/statm: 228903 23885 2164 14 0 215373 0
[pid=14759/tid=14761] ppid=14757 vsize=915612 CPUtime=0.08
/proc/14759/task/14761/stat : 14761 (java) S 14757 14759 14172 0 -1 64 7589 0 0 0 6 2 0 0 16 0 8 0 69939277 937586688 23885 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14759/tid=14762] ppid=14757 vsize=915612 CPUtime=0
/proc/14759/task/14762/stat : 14762 (java) S 14757 14759 14172 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 69939278 937586688 23885 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14759/tid=14763] ppid=14757 vsize=915612 CPUtime=0
/proc/14759/task/14763/stat : 14763 (java) S 14757 14759 14172 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 69939278 937586688 23885 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14759/tid=14764] ppid=14757 vsize=915612 CPUtime=0
/proc/14759/task/14764/stat : 14764 (java) S 14757 14759 14172 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 69939281 937586688 23885 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14759/tid=14765] ppid=14757 vsize=915612 CPUtime=0.16
/proc/14759/task/14765/stat : 14765 (java) S 14757 14759 14172 0 -1 64 403 0 0 0 15 1 0 0 16 0 8 0 69939281 937586688 23885 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14759/tid=14766] ppid=14757 vsize=915612 CPUtime=0
/proc/14759/task/14766/stat : 14766 (java) S 14757 14759 14172 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 69939281 937586688 23885 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14759/tid=14767] ppid=14757 vsize=915612 CPUtime=0
/proc/14759/task/14767/stat : 14767 (java) S 14757 14759 14172 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 69939281 937586688 23885 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915612

[startup+2.98521 s]
/proc/loadavg: 2.09 2.02 1.96 3/88 14767
/proc/meminfo: memFree=937792/2055920 swapFree=4192812/4192956
[pid=14759] ppid=14757 vsize=915744 CPUtime=2.95
/proc/14759/stat : 14759 (java) R 14757 14759 14172 0 -1 0 24224 0 1 0 281 14 0 0 25 0 8 0 69939273 937721856 23959 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073832752 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14759/statm: 228936 23959 2184 14 0 215406 0
[pid=14759/tid=14761] ppid=14757 vsize=915744 CPUtime=0.1
/proc/14759/task/14761/stat : 14761 (java) S 14757 14759 14172 0 -1 64 7589 0 0 0 8 2 0 0 17 0 8 0 69939277 937721856 23959 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14759/tid=14762] ppid=14757 vsize=915744 CPUtime=0
/proc/14759/task/14762/stat : 14762 (java) S 14757 14759 14172 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 69939278 937721856 23959 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14759/tid=14763] ppid=14757 vsize=915744 CPUtime=0
/proc/14759/task/14763/stat : 14763 (java) S 14757 14759 14172 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 69939278 937721856 23959 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14759/tid=14764] ppid=14757 vsize=915744 CPUtime=0
/proc/14759/task/14764/stat : 14764 (java) S 14757 14759 14172 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 69939281 937721856 23959 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14759/tid=14765] ppid=14757 vsize=915744 CPUtime=0.19
/proc/14759/task/14765/stat : 14765 (java) S 14757 14759 14172 0 -1 64 415 0 0 0 18 1 0 0 16 0 8 0 69939281 937721856 23959 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14759/tid=14766] ppid=14757 vsize=915744 CPUtime=0
/proc/14759/task/14766/stat : 14766 (java) S 14757 14759 14172 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 69939281 937721856 23959 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14759/tid=14767] ppid=14757 vsize=915744 CPUtime=0
/proc/14759/task/14767/stat : 14767 (java) S 14757 14759 14172 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 69939281 937721856 23959 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 915744

[startup+6.26466 s]
/proc/loadavg: 2.09 2.02 1.96 3/88 14767
/proc/meminfo: memFree=937600/2055920 swapFree=4192812/4192956
[pid=14759] ppid=14757 vsize=915744 CPUtime=6.21
/proc/14759/stat : 14759 (java) R 14757 14759 14172 0 -1 0 24227 0 1 0 607 14 0 0 25 0 8 0 69939273 937721856 23961 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073825244 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14759/statm: 228936 23961 2184 14 0 215406 0
[pid=14759/tid=14761] ppid=14757 vsize=915744 CPUtime=0.1
/proc/14759/task/14761/stat : 14761 (java) S 14757 14759 14172 0 -1 64 7589 0 0 0 8 2 0 0 16 0 8 0 69939277 937721856 23961 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14759/tid=14762] ppid=14757 vsize=915744 CPUtime=0
/proc/14759/task/14762/stat : 14762 (java) S 14757 14759 14172 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 69939278 937721856 23961 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14759/tid=14763] ppid=14757 vsize=915744 CPUtime=0
/proc/14759/task/14763/stat : 14763 (java) S 14757 14759 14172 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 69939278 937721856 23961 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14759/tid=14764] ppid=14757 vsize=915744 CPUtime=0
/proc/14759/task/14764/stat : 14764 (java) S 14757 14759 14172 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 69939281 937721856 23961 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14759/tid=14765] ppid=14757 vsize=915744 CPUtime=0.19
/proc/14759/task/14765/stat : 14765 (java) S 14757 14759 14172 0 -1 64 417 0 0 0 18 1 0 0 16 0 8 0 69939281 937721856 23961 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14759/tid=14766] ppid=14757 vsize=915744 CPUtime=0
/proc/14759/task/14766/stat : 14766 (java) S 14757 14759 14172 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 69939281 937721856 23961 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14759/tid=14767] ppid=14757 vsize=915744 CPUtime=0
/proc/14759/task/14767/stat : 14767 (java) S 14757 14759 14172 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 69939281 937721856 23961 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 915744

[startup+12.7556 s]
/proc/loadavg: 2.07 2.02 1.96 3/88 14767
/proc/meminfo: memFree=937600/2055920 swapFree=4192812/4192956
[pid=14759] ppid=14757 vsize=915744 CPUtime=12.67
/proc/14759/stat : 14759 (java) R 14757 14759 14172 0 -1 0 24239 0 1 0 1251 16 0 0 25 0 8 0 69939273 937721856 23972 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073841402 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14759/statm: 228936 23972 2185 14 0 215406 0
[pid=14759/tid=14761] ppid=14757 vsize=915744 CPUtime=0.1
/proc/14759/task/14761/stat : 14761 (java) S 14757 14759 14172 0 -1 64 7589 0 0 0 8 2 0 0 16 0 8 0 69939277 937721856 23972 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14759/tid=14762] ppid=14757 vsize=915744 CPUtime=0
/proc/14759/task/14762/stat : 14762 (java) S 14757 14759 14172 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 69939278 937721856 23972 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14759/tid=14763] ppid=14757 vsize=915744 CPUtime=0
/proc/14759/task/14763/stat : 14763 (java) S 14757 14759 14172 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 69939278 937721856 23972 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14759/tid=14764] ppid=14757 vsize=915744 CPUtime=0
/proc/14759/task/14764/stat : 14764 (java) S 14757 14759 14172 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 69939281 937721856 23972 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14759/tid=14765] ppid=14757 vsize=915744 CPUtime=0.21
/proc/14759/task/14765/stat : 14765 (java) S 14757 14759 14172 0 -1 64 427 0 0 0 20 1 0 0 16 0 8 0 69939281 937721856 23972 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14759/tid=14766] ppid=14757 vsize=915744 CPUtime=0
/proc/14759/task/14766/stat : 14766 (java) S 14757 14759 14172 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 69939281 937721856 23972 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14759/tid=14767] ppid=14757 vsize=915744 CPUtime=0
/proc/14759/task/14767/stat : 14767 (java) S 14757 14759 14172 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 69939281 937721856 23972 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 915744

[startup+25.6003 s]
/proc/loadavg: 2.06 2.02 1.96 3/88 14767
/proc/meminfo: memFree=928704/2055920 swapFree=4192812/4192956
[pid=14759] ppid=14757 vsize=915744 CPUtime=25.45
/proc/14759/stat : 14759 (java) R 14757 14759 14172 0 -1 0 26499 0 1 0 2527 18 0 0 25 0 8 0 69939273 937721856 26230 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073827111 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14759/statm: 228936 26230 2185 14 0 215406 0
[pid=14759/tid=14761] ppid=14757 vsize=915744 CPUtime=0.17
/proc/14759/task/14761/stat : 14761 (java) S 14757 14759 14172 0 -1 64 9841 0 0 0 14 3 0 0 16 0 8 0 69939277 937721856 26230 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14759/tid=14762] ppid=14757 vsize=915744 CPUtime=0
/proc/14759/task/14762/stat : 14762 (java) S 14757 14759 14172 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 69939278 937721856 26230 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14759/tid=14763] ppid=14757 vsize=915744 CPUtime=0
/proc/14759/task/14763/stat : 14763 (java) S 14757 14759 14172 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 69939278 937721856 26230 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14759/tid=14764] ppid=14757 vsize=915744 CPUtime=0
/proc/14759/task/14764/stat : 14764 (java) S 14757 14759 14172 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 69939281 937721856 26230 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14759/tid=14765] ppid=14757 vsize=915744 CPUtime=0.22
/proc/14759/task/14765/stat : 14765 (java) S 14757 14759 14172 0 -1 64 433 0 0 0 21 1 0 0 16 0 8 0 69939281 937721856 26230 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14759/tid=14766] ppid=14757 vsize=915744 CPUtime=0
/proc/14759/task/14766/stat : 14766 (java) S 14757 14759 14172 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 69939281 937721856 26230 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14759/tid=14767] ppid=14757 vsize=915744 CPUtime=0
/proc/14759/task/14767/stat : 14767 (java) S 14757 14759 14172 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 69939281 937721856 26230 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 915744

[startup+51.2118 s]
/proc/loadavg: 2.04 2.02 1.96 3/88 14767
/proc/meminfo: memFree=922432/2055920 swapFree=4192812/4192956
[pid=14759] ppid=14757 vsize=915744 CPUtime=50.94
/proc/14759/stat : 14759 (java) R 14757 14759 14172 0 -1 0 28078 0 1 0 5071 23 0 0 25 0 8 0 69939273 937721856 27807 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073470035 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14759/statm: 228936 27807 2185 14 0 215406 0
[pid=14759/tid=14761] ppid=14757 vsize=915744 CPUtime=0.26
/proc/14759/task/14761/stat : 14761 (java) S 14757 14759 14172 0 -1 64 11412 0 0 0 22 4 0 0 17 0 8 0 69939277 937721856 27807 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14759/tid=14762] ppid=14757 vsize=915744 CPUtime=0
/proc/14759/task/14762/stat : 14762 (java) S 14757 14759 14172 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 69939278 937721856 27807 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14759/tid=14763] ppid=14757 vsize=915744 CPUtime=0
/proc/14759/task/14763/stat : 14763 (java) S 14757 14759 14172 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 69939278 937721856 27807 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14759/tid=14764] ppid=14757 vsize=915744 CPUtime=0
/proc/14759/task/14764/stat : 14764 (java) S 14757 14759 14172 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 69939281 937721856 27807 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14759/tid=14765] ppid=14757 vsize=915744 CPUtime=0.24
/proc/14759/task/14765/stat : 14765 (java) S 14757 14759 14172 0 -1 64 439 0 0 0 22 2 0 0 15 0 8 0 69939281 937721856 27807 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14759/tid=14766] ppid=14757 vsize=915744 CPUtime=0
/proc/14759/task/14766/stat : 14766 (java) S 14757 14759 14172 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 69939281 937721856 27807 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14759/tid=14767] ppid=14757 vsize=915744 CPUtime=0
/proc/14759/task/14767/stat : 14767 (java) S 14757 14759 14172 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 69939281 937721856 27807 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.94
Current children cumulated vsize (KiB) 915744

[startup+102.455 s]
/proc/loadavg: 2.16 2.04 1.97 3/88 14767
/proc/meminfo: memFree=900736/2055920 swapFree=4192812/4192956
[pid=14759] ppid=14757 vsize=915744 CPUtime=101.89
/proc/14759/stat : 14759 (java) R 14757 14759 14172 0 -1 0 33816 0 1 0 10153 36 0 0 25 0 8 0 69939273 937721856 33537 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074013545 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14759/statm: 228936 33537 2504 14 0 215406 0
[pid=14759/tid=14761] ppid=14757 vsize=915744 CPUtime=0.7
/proc/14759/task/14761/stat : 14761 (java) S 14757 14759 14172 0 -1 64 16758 0 0 0 63 7 0 0 16 0 8 0 69939277 937721856 33537 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14759/tid=14762] ppid=14757 vsize=915744 CPUtime=0
/proc/14759/task/14762/stat : 14762 (java) S 14757 14759 14172 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 69939278 937721856 33537 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14759/tid=14763] ppid=14757 vsize=915744 CPUtime=0
/proc/14759/task/14763/stat : 14763 (java) S 14757 14759 14172 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 69939278 937721856 33537 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14759/tid=14764] ppid=14757 vsize=915744 CPUtime=0
/proc/14759/task/14764/stat : 14764 (java) S 14757 14759 14172 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 69939281 937721856 33537 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14759/tid=14765] ppid=14757 vsize=915744 CPUtime=0.31
/proc/14759/task/14765/stat : 14765 (java) S 14757 14759 14172 0 -1 64 478 0 0 0 29 2 0 0 16 0 8 0 69939281 937721856 33537 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14759/tid=14766] ppid=14757 vsize=915744 CPUtime=0
/proc/14759/task/14766/stat : 14766 (java) S 14757 14759 14172 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 69939281 937721856 33537 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14759/tid=14767] ppid=14757 vsize=915744 CPUtime=0
/proc/14759/task/14767/stat : 14767 (java) S 14757 14759 14172 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 69939281 937721856 33537 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.89
Current children cumulated vsize (KiB) 915744

[startup+162.553 s]
/proc/loadavg: 2.06 2.03 1.97 3/88 14767
/proc/meminfo: memFree=900736/2055920 swapFree=4192812/4192956
[pid=14759] ppid=14757 vsize=915744 CPUtime=161.68
/proc/14759/stat : 14759 (java) R 14757 14759 14172 0 -1 0 33817 0 1 0 16126 42 0 0 25 0 8 0 69939273 937721856 33538 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073825305 0 4 0 23759 18446744073709551615 0 0 17 1 0 0

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

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

[startup+2084.66 s]
/proc/loadavg: 2.00 2.00 2.00 3/87 15115
/proc/meminfo: memFree=795408/2055920 swapFree=4192812/4192956
[pid=14759] ppid=14757 vsize=915980 CPUtime=2077.48
/proc/14759/stat : 14759 (java) R 14757 14759 14172 0 -1 0 51250 0 1 0 207659 89 0 0 25 0 8 0 69939273 937963520 50956 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074293577 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14759/statm: 228995 50956 2551 14 0 215465 0
[pid=14759/tid=14761] ppid=14757 vsize=915980 CPUtime=0.88
/proc/14759/task/14761/stat : 14761 (java) S 14757 14759 14172 0 -1 64 33953 0 0 0 75 13 0 0 16 0 8 0 69939277 937963520 50956 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14759/tid=14762] ppid=14757 vsize=915980 CPUtime=0
/proc/14759/task/14762/stat : 14762 (java) S 14757 14759 14172 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 69939278 937963520 50956 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14759/tid=14763] ppid=14757 vsize=915980 CPUtime=0
/proc/14759/task/14763/stat : 14763 (java) S 14757 14759 14172 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 69939278 937963520 50956 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14759/tid=14764] ppid=14757 vsize=915980 CPUtime=0
/proc/14759/task/14764/stat : 14764 (java) S 14757 14759 14172 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 69939281 937963520 50956 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14759/tid=14765] ppid=14757 vsize=915980 CPUtime=0.42
/proc/14759/task/14765/stat : 14765 (java) S 14757 14759 14172 0 -1 64 608 0 0 0 40 2 0 0 16 0 8 0 69939281 937963520 50956 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14759/tid=14766] ppid=14757 vsize=915980 CPUtime=0
/proc/14759/task/14766/stat : 14766 (java) S 14757 14759 14172 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 69939281 937963520 50956 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14759/tid=14767] ppid=14757 vsize=915980 CPUtime=0
/proc/14759/task/14767/stat : 14767 (java) S 14757 14759 14172 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 69939281 937963520 50956 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2077.48
Current children cumulated vsize (KiB) 915980

[startup+2144.74 s]
/proc/loadavg: 2.00 2.00 2.00 3/87 15115
/proc/meminfo: memFree=795344/2055920 swapFree=4192812/4192956
[pid=14759] ppid=14757 vsize=915980 CPUtime=2137.29
/proc/14759/stat : 14759 (java) R 14757 14759 14172 0 -1 0 51250 0 1 0 213639 90 0 0 25 0 8 0 69939273 937963520 50956 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074138505 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14759/statm: 228995 50956 2551 14 0 215465 0
[pid=14759/tid=14761] ppid=14757 vsize=915980 CPUtime=0.88
/proc/14759/task/14761/stat : 14761 (java) S 14757 14759 14172 0 -1 64 33953 0 0 0 75 13 0 0 16 0 8 0 69939277 937963520 50956 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14759/tid=14762] ppid=14757 vsize=915980 CPUtime=0
/proc/14759/task/14762/stat : 14762 (java) S 14757 14759 14172 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 69939278 937963520 50956 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14759/tid=14763] ppid=14757 vsize=915980 CPUtime=0
/proc/14759/task/14763/stat : 14763 (java) S 14757 14759 14172 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 69939278 937963520 50956 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14759/tid=14764] ppid=14757 vsize=915980 CPUtime=0
/proc/14759/task/14764/stat : 14764 (java) S 14757 14759 14172 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 69939281 937963520 50956 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14759/tid=14765] ppid=14757 vsize=915980 CPUtime=0.42
/proc/14759/task/14765/stat : 14765 (java) S 14757 14759 14172 0 -1 64 608 0 0 0 40 2 0 0 16 0 8 0 69939281 937963520 50956 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14759/tid=14766] ppid=14757 vsize=915980 CPUtime=0
/proc/14759/task/14766/stat : 14766 (java) S 14757 14759 14172 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 69939281 937963520 50956 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14759/tid=14767] ppid=14757 vsize=915980 CPUtime=0
/proc/14759/task/14767/stat : 14767 (java) S 14757 14759 14172 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 69939281 937963520 50956 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2137.29
Current children cumulated vsize (KiB) 915980

[startup+2204.82 s]
/proc/loadavg: 2.00 2.00 2.00 3/87 15115
/proc/meminfo: memFree=795408/2055920 swapFree=4192812/4192956
[pid=14759] ppid=14757 vsize=915980 CPUtime=2197.1
/proc/14759/stat : 14759 (java) R 14757 14759 14172 0 -1 0 51250 0 1 0 219620 90 0 0 25 0 8 0 69939273 937963520 50956 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074312787 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14759/statm: 228995 50956 2551 14 0 215465 0
[pid=14759/tid=14761] ppid=14757 vsize=915980 CPUtime=0.88
/proc/14759/task/14761/stat : 14761 (java) S 14757 14759 14172 0 -1 64 33953 0 0 0 75 13 0 0 16 0 8 0 69939277 937963520 50956 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14759/tid=14762] ppid=14757 vsize=915980 CPUtime=0
/proc/14759/task/14762/stat : 14762 (java) S 14757 14759 14172 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 69939278 937963520 50956 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14759/tid=14763] ppid=14757 vsize=915980 CPUtime=0
/proc/14759/task/14763/stat : 14763 (java) S 14757 14759 14172 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 69939278 937963520 50956 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14759/tid=14764] ppid=14757 vsize=915980 CPUtime=0
/proc/14759/task/14764/stat : 14764 (java) S 14757 14759 14172 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 69939281 937963520 50956 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14759/tid=14765] ppid=14757 vsize=915980 CPUtime=0.42
/proc/14759/task/14765/stat : 14765 (java) S 14757 14759 14172 0 -1 64 608 0 0 0 40 2 0 0 16 0 8 0 69939281 937963520 50956 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14759/tid=14766] ppid=14757 vsize=915980 CPUtime=0
/proc/14759/task/14766/stat : 14766 (java) S 14757 14759 14172 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 69939281 937963520 50956 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14759/tid=14767] ppid=14757 vsize=915980 CPUtime=0
/proc/14759/task/14767/stat : 14767 (java) S 14757 14759 14172 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 69939281 937963520 50956 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2197.1
Current children cumulated vsize (KiB) 915980

[startup+2264.89 s]
/proc/loadavg: 2.07 2.02 2.00 3/87 15115
/proc/meminfo: memFree=795344/2055920 swapFree=4192812/4192956
[pid=14759] ppid=14757 vsize=915980 CPUtime=2256.88
/proc/14759/stat : 14759 (java) R 14757 14759 14172 0 -1 0 51250 0 1 0 225597 91 0 0 25 0 8 0 69939273 937963520 50956 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074319295 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14759/statm: 228995 50956 2551 14 0 215465 0
[pid=14759/tid=14761] ppid=14757 vsize=915980 CPUtime=0.88
/proc/14759/task/14761/stat : 14761 (java) S 14757 14759 14172 0 -1 64 33953 0 0 0 75 13 0 0 16 0 8 0 69939277 937963520 50956 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14759/tid=14762] ppid=14757 vsize=915980 CPUtime=0
/proc/14759/task/14762/stat : 14762 (java) S 14757 14759 14172 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 69939278 937963520 50956 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14759/tid=14763] ppid=14757 vsize=915980 CPUtime=0
/proc/14759/task/14763/stat : 14763 (java) S 14757 14759 14172 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 69939278 937963520 50956 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14759/tid=14764] ppid=14757 vsize=915980 CPUtime=0
/proc/14759/task/14764/stat : 14764 (java) S 14757 14759 14172 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 69939281 937963520 50956 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14759/tid=14765] ppid=14757 vsize=915980 CPUtime=0.42
/proc/14759/task/14765/stat : 14765 (java) S 14757 14759 14172 0 -1 64 608 0 0 0 40 2 0 0 16 0 8 0 69939281 937963520 50956 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14759/tid=14766] ppid=14757 vsize=915980 CPUtime=0
/proc/14759/task/14766/stat : 14766 (java) S 14757 14759 14172 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 69939281 937963520 50956 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14759/tid=14767] ppid=14757 vsize=915980 CPUtime=0
/proc/14759/task/14767/stat : 14767 (java) S 14757 14759 14172 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 69939281 937963520 50956 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2256.88
Current children cumulated vsize (KiB) 915980

[startup+2324.97 s]
/proc/loadavg: 2.02 2.01 2.00 3/87 15115
/proc/meminfo: memFree=795344/2055920 swapFree=4192812/4192956
[pid=14759] ppid=14757 vsize=915980 CPUtime=2316.67
/proc/14759/stat : 14759 (java) R 14757 14759 14172 0 -1 0 51250 0 1 0 231576 91 0 0 25 0 8 0 69939273 937963520 50956 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074293303 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14759/statm: 228995 50956 2551 14 0 215465 0
[pid=14759/tid=14761] ppid=14757 vsize=915980 CPUtime=0.88
/proc/14759/task/14761/stat : 14761 (java) S 14757 14759 14172 0 -1 64 33953 0 0 0 75 13 0 0 16 0 8 0 69939277 937963520 50956 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14759/tid=14762] ppid=14757 vsize=915980 CPUtime=0
/proc/14759/task/14762/stat : 14762 (java) S 14757 14759 14172 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 69939278 937963520 50956 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14759/tid=14763] ppid=14757 vsize=915980 CPUtime=0
/proc/14759/task/14763/stat : 14763 (java) S 14757 14759 14172 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 69939278 937963520 50956 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14759/tid=14764] ppid=14757 vsize=915980 CPUtime=0
/proc/14759/task/14764/stat : 14764 (java) S 14757 14759 14172 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 69939281 937963520 50956 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14759/tid=14765] ppid=14757 vsize=915980 CPUtime=0.42
/proc/14759/task/14765/stat : 14765 (java) S 14757 14759 14172 0 -1 64 608 0 0 0 40 2 0 0 16 0 8 0 69939281 937963520 50956 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14759/tid=14766] ppid=14757 vsize=915980 CPUtime=0
/proc/14759/task/14766/stat : 14766 (java) S 14757 14759 14172 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 69939281 937963520 50956 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14759/tid=14767] ppid=14757 vsize=915980 CPUtime=0
/proc/14759/task/14767/stat : 14767 (java) S 14757 14759 14172 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 69939281 937963520 50956 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2316.67
Current children cumulated vsize (KiB) 915980

[startup+2385.04 s]
/proc/loadavg: 2.01 2.00 2.00 3/87 15115
/proc/meminfo: memFree=795344/2055920 swapFree=4192812/4192956
[pid=14759] ppid=14757 vsize=915980 CPUtime=2376.47
/proc/14759/stat : 14759 (java) R 14757 14759 14172 0 -1 0 51250 0 1 0 237556 91 0 0 25 0 8 0 69939273 937963520 50956 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073825232 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14759/statm: 228995 50956 2551 14 0 215465 0
[pid=14759/tid=14761] ppid=14757 vsize=915980 CPUtime=0.88
/proc/14759/task/14761/stat : 14761 (java) S 14757 14759 14172 0 -1 64 33953 0 0 0 75 13 0 0 16 0 8 0 69939277 937963520 50956 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14759/tid=14762] ppid=14757 vsize=915980 CPUtime=0
/proc/14759/task/14762/stat : 14762 (java) S 14757 14759 14172 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 69939278 937963520 50956 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14759/tid=14763] ppid=14757 vsize=915980 CPUtime=0
/proc/14759/task/14763/stat : 14763 (java) S 14757 14759 14172 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 69939278 937963520 50956 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14759/tid=14764] ppid=14757 vsize=915980 CPUtime=0
/proc/14759/task/14764/stat : 14764 (java) S 14757 14759 14172 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 69939281 937963520 50956 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14759/tid=14765] ppid=14757 vsize=915980 CPUtime=0.42
/proc/14759/task/14765/stat : 14765 (java) S 14757 14759 14172 0 -1 64 608 0 0 0 40 2 0 0 16 0 8 0 69939281 937963520 50956 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14759/tid=14766] ppid=14757 vsize=915980 CPUtime=0
/proc/14759/task/14766/stat : 14766 (java) S 14757 14759 14172 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 69939281 937963520 50956 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14759/tid=14767] ppid=14757 vsize=915980 CPUtime=0
/proc/14759/task/14767/stat : 14767 (java) S 14757 14759 14172 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 69939281 937963520 50956 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2376.47
Current children cumulated vsize (KiB) 915980



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2408.71 s]
/proc/loadavg: 2.00 2.00 2.00 3/87 15115
/proc/meminfo: memFree=795344/2055920 swapFree=4192812/4192956
[pid=14759] ppid=14757 vsize=915980 CPUtime=2400.02
/proc/14759/stat : 14759 (java) R 14757 14759 14172 0 -1 0 51250 0 1 0 239910 92 0 0 25 0 8 0 69939273 937963520 50956 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074293210 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14759/statm: 228995 50956 2551 14 0 215465 0
[pid=14759/tid=14761] ppid=14757 vsize=915980 CPUtime=0.88
/proc/14759/task/14761/stat : 14761 (java) S 14757 14759 14172 0 -1 64 33953 0 0 0 75 13 0 0 16 0 8 0 69939277 937963520 50956 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14759/tid=14762] ppid=14757 vsize=915980 CPUtime=0
/proc/14759/task/14762/stat : 14762 (java) S 14757 14759 14172 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 69939278 937963520 50956 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14759/tid=14763] ppid=14757 vsize=915980 CPUtime=0
/proc/14759/task/14763/stat : 14763 (java) S 14757 14759 14172 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 69939278 937963520 50956 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14759/tid=14764] ppid=14757 vsize=915980 CPUtime=0
/proc/14759/task/14764/stat : 14764 (java) S 14757 14759 14172 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 69939281 937963520 50956 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14759/tid=14765] ppid=14757 vsize=915980 CPUtime=0.42
/proc/14759/task/14765/stat : 14765 (java) S 14757 14759 14172 0 -1 64 608 0 0 0 40 2 0 0 16 0 8 0 69939281 937963520 50956 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14759/tid=14766] ppid=14757 vsize=915980 CPUtime=0
/proc/14759/task/14766/stat : 14766 (java) S 14757 14759 14172 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 69939281 937963520 50956 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14759/tid=14767] ppid=14757 vsize=915980 CPUtime=0
/proc/14759/task/14767/stat : 14767 (java) S 14757 14759 14172 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 69939281 937963520 50956 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2400.02
Current children cumulated vsize (KiB) 915980

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

Child status: 143
Real time (s): 2408.8
CPU time (s): 2400.11
CPU user time (s): 2399.16
CPU system time (s): 0.950855
CPU usage (%): 99.6392
Max. virtual memory (cumulated for all children) (KiB): 915980

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.16
system time used= 0.950855
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 51273
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= 50489
involuntary context switches= 51069

runsolver used 2.94055 s user time and 7.27189 s system time

The end

Launcher Data (download as text)

Begin job on node71 on Fri Jan 19 16:33:44 UTC 2007


IDJOB= 275636
IDBENCH= 4185
IDSOLVER= 68
FILE ID= node71/275636-1169224424

PBS_JOBID= 3589186

Free space on /tmp= 66560 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  5e3c65923e669c1502345f1887a5f156

RANDOM SEED= 495925026

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.236
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.236
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:       1025816 kB
Buffers:         56356 kB
Cached:         867212 kB
SwapCached:        144 kB
Active:         379552 kB
Inactive:       574500 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1025816 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            4240 kB
Writeback:           0 kB
Mapped:          48080 kB
Slab:            61336 kB
Committed_AS:   555900 kB
PageTables:       1932 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= 66558 MiB



End job on node71 on Fri Jan 19 17:13:53 UTC 2007