Trace number 275648

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.18 2407.23

General information on the benchmark

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

Quality of the solution as a function of time


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

Solver Data (download as text)

0.32	   
0.32	Abscon 109 (November, 2006)
0.32	   
0.32	   configuration
0.32	     name=epfc.xml
0.36	   
0.36	   instance
0.36	     name=/tmp/evaluation/275648-1169224720/unknown.xml
0.39	   
0.39	   domains being loaded...
0.43	   
0.43	   variables being loaded...
0.71	     nbVariables=2000  nbDomainTypes=26  minDomainSize=46  maxDomainSize=454
0.71	       =>  wckTime=0.388  cpuTime=0.29  mem=34M228
0.72	   
0.72	   predicates being loaded...
0.72	   
0.72	   constraints being loaded...
61.12	   
61.12	   INFO : Stopping converting binary constraints (cpu=60.06, mem = 60M475)
62.68	     nbConstraints=18600  nbConvertedConstraints=1881  nbConvertConstraintsChecks=188650522  nbExtensionStructures=1540
62.68	     nbSharedExtensionStructures=341  nbConflictsStructures=1540  nbSharedConflictsStructures=341
62.68	     nbSharedBinaryRepresentations=1027983  nbEvaluationManagers=8155  nbSharedEvaluationManagers=8564  maxDegree=25
62.68	     maxArity=2
62.68	       =>  wckTime=62.351  cpuTime=61.34  mem=71M268
62.93	   
62.93	   solver LocalSearchSolver being built... 
62.97	       =>  wckTime=62.647  cpuTime=61.4  mem=62M353
63.13	
63.13	s SATISFIABLE
63.13	o 13232
63.13	c 5368
63.23	o 13239
63.23	c 5361
63.33	o 13243
63.33	c 5357
63.38	o 13247
63.38	c 5353
63.43	o 13249
63.43	c 5351
63.48	o 13250
63.48	c 5350
63.53	o 13257
63.53	c 5343
63.58	o 13263
63.58	c 5337
63.63	o 13269
63.63	c 5331
63.68	o 13275
63.68	c 5325
63.72	o 13280
63.72	c 5320
63.77	o 13285
63.77	c 5315
63.81	o 13289
63.81	c 5311
63.86	o 13293
63.86	c 5307
63.90	o 13297
63.90	c 5303
63.94	o 13301
63.94	c 5299
63.98	o 13304
63.98	c 5296
64.01	o 13307
64.01	c 5293
64.05	o 13310
64.05	c 5290
64.07	o 13313
64.07	c 5287
64.11	o 13315
64.11	c 5285
64.14	o 13317
64.14	c 5283
64.16	o 13319
64.16	c 5281
64.19	o 13321
64.19	c 5279
64.20	o 13322
64.20	c 5278
64.22	o 13323
64.22	c 5277
64.25	o 13324
64.25	c 5276
64.27	o 13325
64.27	c 5275
64.29	o 13326
64.29	c 5274
64.32	o 13330
64.32	c 5270
64.36	o 13339
64.36	c 5261
64.41	o 13345
64.41	c 5255
64.46	o 13351
64.46	c 5249
64.52	o 13356
64.52	c 5244
64.57	o 13361
64.57	c 5239
64.62	o 13366
64.62	c 5234
64.68	o 13370
64.68	c 5230
64.72	o 13374
64.72	c 5226
64.76	o 13378
64.76	c 5222
64.82	o 13382
64.82	c 5218
64.86	o 13385
64.86	c 5215
64.91	o 13388
64.91	c 5212
64.95	o 13391
64.95	c 5209
65.00	o 13394
65.00	c 5206
65.04	o 13397
65.04	c 5203
65.08	o 13400
65.08	c 5200
65.12	o 13403
65.12	c 5197
65.17	o 13405
65.17	c 5195
65.20	o 13407
65.20	c 5193
65.25	o 13409
65.25	c 5191
65.29	o 13411
65.29	c 5189
65.32	o 13413
65.32	c 5187
65.37	o 13415
65.37	c 5185
65.39	o 13417
65.39	c 5183
65.42	o 13419
65.42	c 5181
65.45	o 13421
65.45	c 5179
65.47	o 13423
65.47	c 5177
65.50	o 13424
65.50	c 5176
65.51	o 13425
65.51	c 5175
65.53	o 13426
65.53	c 5174
65.54	o 13427
65.54	c 5173
65.57	o 13428
65.57	c 5172
65.61	o 13429
65.61	c 5171
65.64	o 13430
65.64	c 5170
65.67	o 13431
65.67	c 5169
65.70	o 13434
65.70	c 5166
65.75	o 13441
65.75	c 5159
65.82	o 13446
65.82	c 5154
65.88	o 13451
65.88	c 5149
65.95	o 13456
65.96	c 5144
66.02	o 13460
66.02	c 5140
66.08	o 13464
66.08	c 5136
66.13	o 13467
66.13	c 5133
66.20	o 13470
66.20	c 5130
66.26	o 13473
66.26	c 5127
66.32	o 13476
66.32	c 5124
66.38	o 13479
66.38	c 5121
66.43	o 13482
66.43	c 5118
66.49	o 13485
66.49	c 5115
66.53	o 13488
66.53	c 5112
66.58	o 13491
66.58	c 5109
66.62	o 13494
66.62	c 5106
66.66	o 13497
66.66	c 5103
66.71	o 13499
66.71	c 5101
66.76	o 13501
66.76	c 5099
66.80	o 13503
66.80	c 5097
66.84	o 13505
66.84	c 5095
66.88	o 13507
66.88	c 5093
66.92	o 13509
66.92	c 5091
66.95	o 13511
66.95	c 5089
66.99	o 13513
66.99	c 5087
67.04	o 13515
67.04	c 5085
67.07	o 13519
67.07	c 5081
67.09	o 13521
67.09	c 5079
67.12	o 13523
67.12	c 5077
67.15	o 13525
67.15	c 5075
67.18	o 13526
67.18	c 5074
67.21	o 13527
67.21	c 5073
67.24	o 13528
67.24	c 5072
67.27	o 13534
67.27	c 5066
67.29	o 13535
67.29	c 5065
67.33	o 13536
67.33	c 5064
67.35	o 13537
67.35	c 5063
67.40	o 13538
67.40	c 5062
67.42	o 13545
67.42	c 5055
67.43	o 13550
67.43	c 5050
67.47	o 13557
67.47	c 5043
67.48	o 13558
67.48	c 5042
67.52	o 13562
67.52	c 5038
67.54	o 13564
67.54	c 5036
67.57	o 13567
67.57	c 5033
67.60	o 13574
67.60	c 5026
67.64	o 13580
67.64	c 5020
67.66	o 13583
67.66	c 5017
67.70	o 13588
67.70	c 5012
67.72	o 13591
67.72	c 5009
67.76	o 13595
67.76	c 5005
67.81	o 13598
67.81	c 5002
67.85	o 13603
67.85	c 4997
67.89	o 13607
67.89	c 4993
67.93	o 13608
67.93	c 4992
67.98	o 13612
67.98	c 4988
68.01	o 13613
68.01	c 4987
68.07	o 13617
68.07	c 4983
68.11	o 13619
68.11	c 4981
68.14	o 13622
68.14	c 4978
68.16	o 13624
68.16	c 4976
68.22	o 13629
68.22	c 4971
68.26	o 13631
68.26	c 4969
68.30	o 13634
68.30	c 4966
68.35	o 13638
68.35	c 4962
68.50	o 13640
68.50	c 4960
68.58	o 13646
68.58	c 4954
68.66	o 13652
68.66	c 4948
68.73	o 13658
68.73	c 4942
68.81	o 13664
68.81	c 4936
68.89	o 13669
68.89	c 4931
68.97	o 13674
68.97	c 4926
69.04	o 13679
69.04	c 4921
69.12	o 13684
69.12	c 4916
69.19	o 13689
69.19	c 4911
69.27	o 13693
69.27	c 4907
69.34	o 13697
69.34	c 4903
69.42	o 13701
69.42	c 4899
69.49	o 13705
69.49	c 4895
69.56	o 13709
69.56	c 4891
69.64	o 13713
69.64	c 4887
69.71	o 13716
69.71	c 4884
69.77	o 13719
69.77	c 4881
69.83	o 13722
69.83	c 4878
69.88	o 13727
69.88	c 4873
69.94	o 13730
69.94	c 4870
69.99	o 13733
69.99	c 4867
70.05	o 13736
70.05	c 4864
70.11	o 13739
70.11	c 4861
70.17	o 13742
70.17	c 4858
70.27	o 13744
70.27	c 4856
70.32	o 13746
70.32	c 4854
70.36	o 13748
70.36	c 4852
70.40	o 13750
70.40	c 4850
70.45	o 13752
70.45	c 4848
70.50	o 13754
70.50	c 4846
70.54	o 13756
70.54	c 4844
70.58	o 13758
70.58	c 4842
70.62	o 13760
70.62	c 4840
70.66	o 13762
70.66	c 4838
70.71	o 13764
70.71	c 4836
70.74	o 13766
70.74	c 4834
70.79	o 13767
70.79	c 4833
70.82	o 13768
70.82	c 4832
70.86	o 13769
70.86	c 4831
70.90	o 13770
70.90	c 4830
70.93	o 13771
70.93	c 4829
70.96	o 13772
70.96	c 4828
71.00	o 13779
71.00	c 4821
71.04	o 13780
71.04	c 4820
71.06	o 13781
71.06	c 4819
71.09	o 13782
71.09	c 4818
71.16	o 13786
71.16	c 4814
71.18	o 13789
71.18	c 4811
71.21	o 13794
71.21	c 4806
71.23	o 13795
71.23	c 4805
71.26	o 13799
71.26	c 4801
71.28	o 13802
71.28	c 4798
71.31	o 13805
71.31	c 4795
71.38	o 13809
71.38	c 4791
71.41	o 13811
71.41	c 4789
71.44	o 13813
71.44	c 4787
71.47	o 13820
71.47	c 4780
71.51	o 13821
71.51	c 4779
71.55	o 13827
71.55	c 4773
71.60	o 13828
71.60	c 4772
71.64	o 13832
71.64	c 4768
71.68	o 13837
71.68	c 4763
71.73	o 13842
71.73	c 4758
71.77	o 13844
71.77	c 4756
71.85	o 13848
71.85	c 4752
71.92	o 13849
71.92	c 4751
71.96	o 13854
71.96	c 4746
72.00	o 13855
72.00	c 4745
72.04	o 13856
72.04	c 4744
72.08	o 13864
72.08	c 4736
72.12	o 13872
72.12	c 4728
72.15	o 13875
72.15	c 4725
72.18	o 13876
72.18	c 4724
72.21	o 13879
72.21	c 4721
72.25	o 13880
72.25	c 4720
72.28	o 13883
72.28	c 4717
72.33	o 13884
72.33	c 4716
72.43	o 13887
72.43	c 4713
72.46	o 13888
72.46	c 4712
72.49	o 13889
72.49	c 4711
72.53	o 13890
72.53	c 4710
72.56	o 13893
72.56	c 4707
72.59	o 13896
72.59	c 4704
72.62	o 13900
72.62	c 4700
72.65	o 13901
72.65	c 4699
72.77	o 13903
72.77	c 4697
72.82	o 13904
72.82	c 4696
72.86	o 13907
72.86	c 4693
72.90	o 13913
72.90	c 4687
72.95	o 13914
72.95	c 4686
73.01	o 13916
73.01	c 4684
73.08	o 13923
73.08	c 4677
73.14	o 13930
73.14	c 4670
73.22	o 13936
73.22	c 4664
73.31	o 13942
73.31	c 4658
73.39	o 13944
73.39	c 4656
73.47	o 13950
73.47	c 4650
73.54	o 13952
73.54	c 4648
73.61	o 13953
73.61	c 4647
73.84	o 13958
73.84	c 4642
73.93	o 13964
73.93	c 4636
74.03	o 13969
74.03	c 4631
74.11	o 13974
74.11	c 4626
74.21	o 13979
74.21	c 4621
74.30	o 13983
74.30	c 4617
74.39	o 13987
74.39	c 4613
74.48	o 13991
74.48	c 4609
74.56	o 13995
74.56	c 4605
74.64	o 13999
74.65	c 4601
74.74	o 14000
74.74	c 4600
74.83	o 14004
74.83	c 4596
74.91	o 14007
74.91	c 4593
75.00	o 14010
75.00	c 4590
75.09	o 14014
75.09	c 4586
75.17	o 14017
75.17	c 4583
75.25	o 14020
75.25	c 4580
75.33	o 14023
75.33	c 4577
75.41	o 14026
75.41	c 4574
75.49	o 14028
75.49	c 4572
75.57	o 14031
75.57	c 4569
75.64	o 14034
75.64	c 4566
75.71	o 14037
75.71	c 4563
75.78	o 14040
75.78	c 4560
75.86	o 14042
75.86	c 4558
75.93	o 14044
75.93	c 4556
76.00	o 14046
76.00	c 4554
76.07	o 14048
76.07	c 4552
76.15	o 14050
76.15	c 4550
76.20	o 14052
76.20	c 4548
76.26	o 14054
76.26	c 4546
76.33	o 14056
76.33	c 4544
76.39	o 14058
76.39	c 4542
76.46	o 14060
76.46	c 4540
76.52	o 14062
76.52	c 4538
76.58	o 14063
76.58	c 4537
76.63	o 14064
76.63	c 4536
76.68	o 14065
76.68	c 4535
76.72	o 14066
76.72	c 4534
76.77	o 14067
76.77	c 4533
76.82	o 14068
76.82	c 4532
76.86	o 14069
76.86	c 4531
76.91	o 14070
76.91	c 4530
76.98	o 14071
76.98	c 4529
77.02	o 14075
77.02	c 4525
77.10	o 14076
77.10	c 4524
77.25	o 14077
77.25	c 4523
77.29	o 14079
77.29	c 4521
77.34	o 14083
77.34	c 4517
77.39	o 14090
77.39	c 4510
77.55	o 14094
77.55	c 4506
77.60	o 14100
77.60	c 4500
77.75	o 14106
77.75	c 4494
77.81	o 14107
77.81	c 4493
77.95	o 14109
77.95	c 4491
78.04	o 14113
78.04	c 4487
78.20	o 14115
78.20	c 4485
78.25	o 14116
78.25	c 4484
78.29	o 14118
78.29	c 4482
78.34	o 14120
78.34	c 4480
78.39	o 14122
78.39	c 4478
78.44	o 14125
78.44	c 4475
78.48	o 14129
78.48	c 4471
78.53	o 14131
78.54	c 4469
78.58	o 14135
78.58	c 4465
78.63	o 14137
78.63	c 4463
78.67	o 14139
78.67	c 4461
78.72	o 14141
78.72	c 4459
78.77	o 14144
78.77	c 4456
78.82	o 14147
78.82	c 4453
78.87	o 14150
78.87	c 4450
79.00	o 14151
79.00	c 4449
79.05	o 14155
79.05	c 4445
79.08	o 14158
79.08	c 4442
79.13	o 14162
79.13	c 4438
79.18	o 14163
79.18	c 4437
79.23	o 14164
79.23	c 4436
79.28	o 14167
79.28	c 4433
79.31	o 14169
79.31	c 4431
79.36	o 14171
79.36	c 4429
79.40	o 14175
79.40	c 4425
79.45	o 14178
79.45	c 4422
79.49	o 14179
79.49	c 4421
79.54	o 14180
79.54	c 4420
79.57	o 14181
79.57	c 4419
79.61	o 14184
79.61	c 4416
79.78	o 14188
79.78	c 4412
79.81	o 14191
79.81	c 4409
79.88	o 14194
79.88	c 4406
79.92	o 14195
79.92	c 4405
79.97	o 14197
79.97	c 4403
80.02	o 14199
80.02	c 4401
80.06	o 14201
80.06	c 4399
80.10	o 14206
80.10	c 4394
80.14	o 14209
80.14	c 4391
80.19	o 14210
80.19	c 4390
80.24	o 14212
80.24	c 4388
80.28	o 14217
80.28	c 4383
80.33	o 14221
80.33	c 4379
80.38	o 14222
80.38	c 4378
80.44	o 14228
80.44	c 4372
80.49	o 14232
80.49	c 4368
80.54	o 14233
80.54	c 4367
80.59	o 14236
80.59	c 4364
80.64	o 14240
80.64	c 4360
80.68	o 14244
80.68	c 4356
80.72	o 14247
80.72	c 4353
80.77	o 14251
80.77	c 4349
80.80	o 14252
80.80	c 4348
80.91	o 14254
80.91	c 4346
81.00	o 14257
81.00	c 4343
81.05	o 14263
81.05	c 4337
81.09	o 14264
81.09	c 4336
81.15	o 14266
81.15	c 4334
81.20	o 14267
81.20	c 4333
81.25	o 14269
81.25	c 4331
81.32	o 14272
81.32	c 4328
81.37	o 14273
81.37	c 4327
81.43	o 14274
81.43	c 4326
81.50	o 14279
81.50	c 4321
81.54	o 14281
81.54	c 4319
81.72	o 14282
81.72	c 4318
81.82	o 14286
81.82	c 4314
81.86	o 14288
81.86	c 4312
81.91	o 14289
81.91	c 4311
81.95	o 14291
81.95	c 4309
82.02	o 14296
82.02	c 4304
82.11	o 14300
82.11	c 4300
82.20	o 14304
82.20	c 4296
82.28	o 14308
82.28	c 4292
82.35	o 14312
82.35	c 4288
82.43	o 14316
82.43	c 4284
82.50	o 14320
82.50	c 4280
82.56	o 14324
82.56	c 4276
82.64	o 14328
82.64	c 4272
82.73	o 14332
82.73	c 4268
82.80	o 14335
82.80	c 4265
82.87	o 14338
82.87	c 4262
82.95	o 14341
82.95	c 4259
83.01	o 14344
83.01	c 4256
83.08	o 14347
83.08	c 4253
83.14	o 14349
83.14	c 4251
83.20	o 14352
83.20	c 4248
83.26	o 14354
83.26	c 4246
83.32	o 14356
83.32	c 4244
83.38	o 14358
83.38	c 4242
83.43	o 14360
83.43	c 4240
83.48	o 14362
83.48	c 4238
83.53	o 14363
83.53	c 4237
83.59	o 14364
83.59	c 4236
83.65	o 14368
83.65	c 4232
83.69	o 14369
83.69	c 4231
83.75	o 14370
83.75	c 4230
83.81	o 14371
83.81	c 4229
83.86	o 14372
83.86	c 4228
83.96	o 14375
83.96	c 4225
84.02	o 14377
84.02	c 4223
84.17	o 14378
84.17	c 4222
84.22	o 14381
84.22	c 4219
84.28	o 14382
84.28	c 4218
84.33	o 14383
84.33	c 4217
84.38	o 14385
84.38	c 4215
84.45	o 14386
84.45	c 4214
84.50	o 14388
84.50	c 4212
84.61	o 14393
84.61	c 4207
84.67	o 14397
84.67	c 4203
84.72	o 14401
84.72	c 4199
84.78	o 14402
84.78	c 4198
84.92	o 14405
84.92	c 4195
84.99	o 14409
84.99	c 4191
85.04	o 14412
85.04	c 4188
85.09	o 14413
85.09	c 4187
85.15	o 14415
85.15	c 4185
85.20	o 14416
85.20	c 4184
85.25	o 14418
85.25	c 4182
85.30	o 14419
85.30	c 4181
85.36	o 14423
85.36	c 4177
85.41	o 14425
85.41	c 4175
85.47	o 14427
85.47	c 4173
85.52	o 14430
85.52	c 4170
85.57	o 14431
85.57	c 4169
85.70	o 14436
85.70	c 4164
85.81	o 14439
85.81	c 4161
85.87	o 14440
85.87	c 4160
85.92	o 14443
85.92	c 4157
85.99	o 14445
85.99	c 4155
86.07	o 14446
86.07	c 4154
86.22	o 14448
86.22	c 4152
86.38	o 14451
86.38	c 4149
86.45	o 14454
86.45	c 4146
86.52	o 14455
86.52	c 4145
86.62	o 14458
86.62	c 4142
86.69	o 14459
86.69	c 4141
86.76	o 14461
86.76	c 4139
86.83	o 14463
86.83	c 4137
86.89	o 14464
86.89	c 4136
86.97	o 14469
86.97	c 4131
87.19	o 14475
87.19	c 4125
87.26	o 14476
87.26	c 4124
87.40	o 14477
87.40	c 4123
87.47	o 14478
87.47	c 4122
87.55	o 14479
87.55	c 4121
87.64	o 14480
87.64	c 4120
87.71	o 14482
87.71	c 4118
87.79	o 14483
87.79	c 4117
87.87	o 14485
87.87	c 4115
87.95	o 14487
87.95	c 4113
88.33	o 14488
88.33	c 4112
88.42	o 14489
88.42	c 4111
88.51	o 14491
88.51	c 4109
88.59	o 14496
88.59	c 4104
88.67	o 14498
88.67	c 4102
88.75	o 14499
88.75	c 4101
88.94	o 14501
88.94	c 4099
89.02	o 14503
89.02	c 4097
89.59	o 14507
89.59	c 4093
89.69	o 14509
89.69	c 4091
89.77	o 14511
89.77	c 4089
89.85	o 14514
89.85	c 4086
89.94	o 14516
89.94	c 4084
90.19	o 14517
90.19	c 4083
90.27	o 14518
90.27	c 4082
90.36	o 14519
90.36	c 4081
90.43	o 14522
90.43	c 4078
90.51	o 14523
90.51	c 4077
90.59	o 14525
90.59	c 4075
90.67	o 14526
90.67	c 4074
90.76	o 14527
90.76	c 4073
90.85	o 14528
90.85	c 4072
90.93	o 14531
90.93	c 4069
91.25	o 14533
91.25	c 4067
91.33	o 14539
91.33	c 4061
91.41	o 14540
91.41	c 4060
91.50	o 14541
91.50	c 4059
91.58	o 14543
91.58	c 4057
91.68	o 14548
91.68	c 4052
91.76	o 14553
91.76	c 4047
91.84	o 14559
91.84	c 4041
91.92	o 14562
91.92	c 4038
91.99	o 14563
91.99	c 4037
92.08	o 14565
92.08	c 4035
92.19	o 14568
92.19	c 4032
92.31	o 14573
92.31	c 4027
92.43	o 14579
92.43	c 4021
92.56	o 14583
92.56	c 4017
92.69	o 14586
92.69	c 4014
92.83	o 14589
92.83	c 4011
92.96	o 14592
92.96	c 4008
93.09	o 14594
93.09	c 4006
93.22	o 14596
93.22	c 4004
93.34	o 14598
93.34	c 4002
93.46	o 14600
93.46	c 4000
93.58	o 14602
93.58	c 3998
93.69	o 14604
93.69	c 3996
93.81	o 14606
93.81	c 3994
93.92	o 14607
93.92	c 3993
94.01	o 14608
94.01	c 3992
94.08	o 14611
94.08	c 3989
94.18	o 14613
94.18	c 3987
94.29	o 14615
94.29	c 3985
94.40	o 14617
94.40	c 3983
94.79	o 14618
94.79	c 3982
94.88	o 14619
94.88	c 3981
94.97	o 14620
94.97	c 3980
95.07	o 14621
95.07	c 3979
95.17	o 14623
95.17	c 3977
95.28	o 14624
95.28	c 3976
95.39	o 14625
95.39	c 3975
95.48	o 14626
95.48	c 3974
95.57	o 14632
95.57	c 3968
95.67	o 14634
95.67	c 3966
95.77	o 14635
95.77	c 3965
96.16	o 14638
96.16	c 3962
96.42	o 14639
96.42	c 3961
96.59	o 14640
96.59	c 3960
96.68	o 14644
96.68	c 3956
96.77	o 14647
96.77	c 3953
96.85	o 14648
96.85	c 3952
96.94	o 14651
96.94	c 3949
97.02	o 14652
97.02	c 3948
97.12	o 14657
97.12	c 3943
97.31	o 14660
97.31	c 3940
97.42	o 14661
97.42	c 3939
97.51	o 14665
97.51	c 3935
97.71	o 14666
97.71	c 3934
97.81	o 14669
97.81	c 3931
97.91	o 14671
97.91	c 3929
98.11	o 14673
98.11	c 3927
98.48	o 14674
98.48	c 3926
98.57	o 14677
98.57	c 3923
98.76	o 14679
98.76	c 3921
98.84	o 14681
98.84	c 3919
99.05	o 14683
99.05	c 3917
99.24	o 14684
99.24	c 3916
99.33	o 14686
99.33	c 3914
99.44	o 14690
99.44	c 3910
99.53	o 14693
99.53	c 3907
99.73	o 14694
99.73	c 3906
99.83	o 14695
99.83	c 3905
99.93	o 14699
99.93	c 3901
100.04	o 14701
100.04	c 3899
100.23	o 14704
100.23	c 3896
100.43	o 14705
100.43	c 3895
100.53	o 14709
100.53	c 3891
100.62	o 14713
100.62	c 3887
100.73	o 14715
100.73	c 3885
100.83	o 14717
100.83	c 3883
100.92	o 14718
100.92	c 3882
101.34	o 14721
101.34	c 3879
101.44	o 14723
101.44	c 3877
101.63	o 14725
101.63	c 3875
101.73	o 14729
101.73	c 3871
101.82	o 14731
101.82	c 3869
101.93	o 14732
101.93	c 3868
102.03	o 14733
102.03	c 3867
102.14	o 14736
102.14	c 3864
102.25	o 14738
102.25	c 3862
102.36	o 14742
102.36	c 3858
102.48	o 14745
102.48	c 3855
102.60	o 14748
102.60	c 3852
102.93	o 14749
102.93	c 3851
103.17	o 14751
103.17	c 3849
103.28	o 14753
103.28	c 3847
103.39	o 14754
103.39	c 3846
103.50	o 14760
103.50	c 3840
103.61	o 14762
103.61	c 3838
103.72	o 14766
103.73	c 3834
103.84	o 14767
103.84	c 3833
103.96	o 14768
103.97	c 3832
104.19	o 14771
104.19	c 3829
104.30	o 14772
104.30	c 3828
104.41	o 14773
104.41	c 3827
104.90	o 14777
104.90	c 3823
105.02	o 14780
105.02	c 3820
105.13	o 14786
105.13	c 3814
105.39	o 14787
105.39	c 3813
105.74	o 14789
105.74	c 3811
105.87	o 14790
105.87	c 3810
105.99	o 14792
105.99	c 3808
106.11	o 14795
106.11	c 3805
106.24	o 14798
106.24	c 3802
106.59	o 14801
106.59	c 3799
106.80	o 14803
106.80	c 3797
107.03	o 14807
107.03	c 3793
107.38	o 14808
107.38	c 3792
107.50	o 14810
107.50	c 3790
107.75	o 14811
107.75	c 3789
107.90	o 14816
107.90	c 3784
108.03	o 14820
108.03	c 3780
108.16	o 14821
108.16	c 3779
108.44	o 14825
108.44	c 3775
108.56	o 14826
108.56	c 3774
108.70	o 14827
108.70	c 3773
109.39	o 14828
109.39	c 3772
109.52	o 14832
109.52	c 3768
109.65	o 14834
109.65	c 3766
110.40	o 14835
110.40	c 3765
110.76	o 14838
110.76	c 3762
110.89	o 14841
110.89	c 3759
111.04	o 14843
111.04	c 3757
111.17	o 14844
111.17	c 3756
111.86	o 14846
111.86	c 3754
112.01	o 14849
112.01	c 3751
112.27	o 14851
112.27	c 3749
112.40	o 14855
112.40	c 3745
112.52	o 14856
112.52	c 3744
112.66	o 14857
112.66	c 3743
112.78	o 14859
112.78	c 3741
112.91	o 14860
112.91	c 3740
113.16	o 14863
113.16	c 3737
113.29	o 14866
113.29	c 3734
113.42	o 14868
113.42	c 3732
113.67	o 14869
113.67	c 3731
113.92	o 14872
113.92	c 3728
114.05	o 14874
114.05	c 3726
114.19	o 14879
114.19	c 3721
114.68	o 14880
114.68	c 3720
114.82	o 14885
114.82	c 3715
114.96	o 14888
114.96	c 3712
115.07	o 14889
115.07	c 3711
115.20	o 14891
115.20	c 3709
115.33	o 14894
115.33	c 3706
115.60	o 14896
115.60	c 3704
115.84	o 14901
115.84	c 3699
115.96	o 14902
115.96	c 3698
116.10	o 14903
116.10	c 3697
116.23	o 14906
116.23	c 3694
116.37	o 14908
116.37	c 3692
116.63	o 14911
116.63	c 3689
116.77	o 14912
116.77	c 3688
116.90	o 14915
116.90	c 3685
117.04	o 14916
117.04	c 3684
117.17	o 14917
117.17	c 3683
117.31	o 14918
117.31	c 3682
117.44	o 14920
117.44	c 3680
117.71	o 14923
117.71	c 3677
117.87	o 14926
117.87	c 3674
117.99	o 14927
117.99	c 3673
118.45	o 14930
118.45	c 3670
118.61	o 14933
118.61	c 3667
118.77	o 14935
118.77	c 3665
118.93	o 14937
118.93	c 3663
119.08	o 14939
119.08	c 3661
119.22	o 14940
119.22	c 3660
119.37	o 14942
119.37	c 3658
119.52	o 14944
119.52	c 3656
119.66	o 14946
119.66	c 3654
119.80	o 14948
119.80	c 3652
119.95	o 14950
119.95	c 3650
120.67	o 14951
120.67	c 3649
120.80	o 14952
120.80	c 3648
120.94	o 14953
120.94	c 3647
121.09	o 14959
121.09	c 3641
121.24	o 14960
121.24	c 3640
121.36	o 14961
121.36	c 3639
121.50	o 14962
121.50	c 3638
121.62	o 14963
121.62	c 3637
122.56	o 14966
122.56	c 3634
122.70	o 14967
122.70	c 3633
122.81	o 14970
122.81	c 3630
123.04	o 14974
123.04	c 3626
123.18	o 14976
123.18	c 3624
123.30	o 14977
123.30	c 3623
123.42	o 14981
123.42	c 3619
123.79	o 14985
123.79	c 3615
123.90	o 14989
123.90	c 3611
124.03	o 14992
124.03	c 3608
124.28	o 14993
124.28	c 3607
124.64	o 14997
124.64	c 3603
124.77	o 15000
124.77	c 3600
124.89	o 15002
124.89	c 3598
125.00	o 15007
125.00	c 3593
125.11	o 15009
125.11	c 3591
125.22	o 15014
125.22	c 3586
125.34	o 15015
125.34	c 3585
125.45	o 15017
125.45	c 3583
125.56	o 15019
125.56	c 3581
125.68	o 15020
125.68	c 3580
125.90	o 15021
125.90	c 3579
126.02	o 15022
126.02	c 3578
126.14	o 15024
126.14	c 3576
126.26	o 15025
126.26	c 3575
126.39	o 15030
126.39	c 3570
126.53	o 15032
126.53	c 3568
126.67	o 15034
126.67	c 3566
126.93	o 15035
126.93	c 3565
127.61	o 15038
127.61	c 3562
127.75	o 15041
127.75	c 3559
128.02	o 15043
128.02	c 3557
128.17	o 15046
128.17	c 3554
128.30	o 15047
128.30	c 3553
128.45	o 15049
128.45	c 3551
128.59	o 15053
128.59	c 3547
128.74	o 15056
128.74	c 3544
128.88	o 15057
128.88	c 3543
129.42	o 15059
129.42	c 3541
129.57	o 15061
129.57	c 3539
129.71	o 15062
129.71	c 3538
129.98	o 15065
129.98	c 3535
130.11	o 15068
130.11	c 3532
130.23	o 15069
130.23	c 3531
130.36	o 15072
130.36	c 3528
130.51	o 15075
130.51	c 3525
130.92	o 15076
130.92	c 3524
131.06	o 15078
131.06	c 3522
131.21	o 15082
131.21	c 3518
131.35	o 15084
131.35	c 3516
131.87	o 15085
131.87	c 3515
132.01	o 15086
132.01	c 3514
132.14	o 15089
132.14	c 3511
132.27	o 15092
132.27	c 3508
133.85	o 15094
133.85	c 3506
133.99	o 15096
133.99	c 3504
134.12	o 15098
134.12	c 3502
134.25	o 15099
134.25	c 3501
134.38	o 15102
134.38	c 3498
134.50	o 15104
134.50	c 3496
134.62	o 15107
134.62	c 3493
134.75	o 15109
134.75	c 3491
134.88	o 15110
134.88	c 3490
134.99	o 15113
134.99	c 3487
135.13	o 15114
135.13	c 3486
135.25	o 15116
135.25	c 3484
135.51	o 15117
135.51	c 3483
135.65	o 15119
135.65	c 3481
135.77	o 15121
135.77	c 3479
135.90	o 15125
135.90	c 3475
136.17	o 15126
136.17	c 3474
136.31	o 15127
136.31	c 3473
136.45	o 15130
136.45	c 3470
136.58	o 15132
136.58	c 3468
137.13	o 15135
137.13	c 3465
137.27	o 15136
137.27	c 3464
137.40	o 15138
137.40	c 3462
137.67	o 15141
137.67	c 3459
137.81	o 15142
137.81	c 3458
137.96	o 15146
137.96	c 3454
138.10	o 15148
138.10	c 3452
138.25	o 15150
138.25	c 3450
138.40	o 15153
138.40	c 3447
138.55	o 15155
138.55	c 3445
138.71	o 15156
138.71	c 3444
138.85	o 15157
138.85	c 3443
139.15	o 15160
139.15	c 3440
139.30	o 15162
139.30	c 3438
139.44	o 15166
139.44	c 3434
139.72	o 15170
139.72	c 3430
139.86	o 15173
139.86	c 3427
140.00	o 15177
140.00	c 3423
140.27	o 15179
140.27	c 3421
140.55	o 15182
140.55	c 3418
140.68	o 15185
140.68	c 3415
140.81	o 15186
140.81	c 3414
141.07	o 15190
141.07	c 3410
141.22	o 15192
141.22	c 3408
141.35	o 15194
141.35	c 3406
141.63	o 15195
141.63	c 3405
141.77	o 15200
141.77	c 3400
142.02	o 15203
142.02	c 3397
142.15	o 15205
142.15	c 3395
142.30	o 15208
142.30	c 3392
142.42	o 15211
142.42	c 3389
142.55	o 15212
142.55	c 3388
142.69	o 15213
142.69	c 3387
143.21	o 15214
143.21	c 3386
143.34	o 15215
143.34	c 3385
143.47	o 15217
143.47	c 3383
143.59	o 15218
143.59	c 3382
143.71	o 15221
143.71	c 3379
143.85	o 15223
143.85	c 3377
143.99	o 15226
143.99	c 3374
144.11	o 15227
144.11	c 3373
144.37	o 15229
144.37	c 3371
144.51	o 15230
144.51	c 3370
144.64	o 15232
144.64	c 3368
144.90	o 15233
144.90	c 3367
145.17	o 15234
145.17	c 3366
145.44	o 15238
145.44	c 3362
145.57	o 15240
145.57	c 3360
145.71	o 15241
145.71	c 3359
145.84	o 15245
145.84	c 3355
146.25	o 15246
146.25	c 3354
146.38	o 15248
146.38	c 3352
146.52	o 15252
146.52	c 3348
146.66	o 15255
146.66	c 3345
146.80	o 15259
146.80	c 3341
146.95	o 15262
146.95	c 3338
147.23	o 15264
147.23	c 3336
147.50	o 15267
147.50	c 3333
147.64	o 15270
147.64	c 3330
147.92	o 15276
147.92	c 3324
148.21	o 15279
148.21	c 3321
148.36	o 15281
148.36	c 3319
148.50	o 15283
148.50	c 3317
148.64	o 15286
148.64	c 3314
149.07	o 15288
149.07	c 3312
149.21	o 15289
149.21	c 3311
149.37	o 15292
149.37	c 3308
149.52	o 15295
149.52	c 3305
149.66	o 15297
149.66	c 3303
149.82	o 15298
149.82	c 3302
149.97	o 15300
149.97	c 3300
150.28	o 15303
150.28	c 3297
150.45	o 15307
150.45	c 3293
150.61	o 15310
150.61	c 3290
150.76	o 15315
150.76	c 3285
150.92	o 15318
150.92	c 3282
151.08	o 15319
151.08	c 3281
151.24	o 15320
151.24	c 3280
151.75	o 15323
151.75	c 3277
151.93	o 15326
151.93	c 3274
152.10	o 15328
152.10	c 3272
152.61	o 15329
152.61	c 3271
152.78	o 15331
152.78	c 3269
152.97	o 15334
152.97	c 3266
153.16	o 15336
153.16	c 3264
153.34	o 15341
153.34	c 3259
153.52	o 15342
153.52	c 3258
153.69	o 15343
153.69	c 3257
154.04	o 15348
154.04	c 3252
154.22	o 15349
154.22	c 3251
154.40	o 15351
154.40	c 3249
154.93	o 15354
154.93	c 3246
155.12	o 15358
155.12	c 3242
155.29	o 15362
155.29	c 3238
155.47	o 15363
155.47	c 3237
155.80	o 15364
155.80	c 3236
155.99	o 15367
155.99	c 3233
156.16	o 15368
156.16	c 3232
156.86	o 15369
156.86	c 3231
157.05	o 15371
157.05	c 3229
157.23	o 15374
157.23	c 3226
157.42	o 15376
157.42	c 3224
157.78	o 15379
157.78	c 3221
157.97	o 15382
157.97	c 3218
158.15	o 15385
158.15	c 3215
158.34	o 15386
158.34	c 3214
158.51	o 15389
158.51	c 3211
158.70	o 15391
158.70	c 3209
158.87	o 15392
158.87	c 3208
159.05	o 15394
159.05	c 3206
159.23	o 15397
159.23	c 3203
159.41	o 15399
159.41	c 3201
159.60	o 15401
159.60	c 3199
159.77	o 15403
159.77	c 3197
159.95	o 15404
159.95	c 3196
160.13	o 15406
160.13	c 3194
160.30	o 15408
160.30	c 3192
160.63	o 15409
160.63	c 3191
160.81	o 15410
160.81	c 3190
161.00	o 15411
161.00	c 3189
161.17	o 15412
161.17	c 3188
161.90	o 15413
161.90	c 3187
162.07	o 15416
162.07	c 3184
162.26	o 15417
162.26	c 3183
162.61	o 15420
162.61	c 3180
162.80	o 15422
162.80	c 3178
162.98	o 15426
162.98	c 3174
163.15	o 15429
163.15	c 3171
163.32	o 15431
163.32	c 3169
163.50	o 15432
163.50	c 3168
163.67	o 15433
163.67	c 3167
163.87	o 15435
163.87	c 3165
164.05	o 15439
164.05	c 3161
164.56	o 15441
164.56	c 3159
164.74	o 15444
164.74	c 3156
164.91	o 15447
164.91	c 3153
165.77	o 15450
165.77	c 3150
166.12	o 15452
166.12	c 3148
166.62	o 15454
166.62	c 3146
166.79	o 15456
166.79	c 3144
166.97	o 15458
166.97	c 3142
167.13	o 15460
167.13	c 3140
167.30	o 15464
167.30	c 3136
167.46	o 15466
167.46	c 3134
167.64	o 15467
167.64	c 3133
167.80	o 15469
167.80	c 3131
167.97	o 15474
167.97	c 3126
168.28	o 15477
168.28	c 3123
168.60	o 15478
168.60	c 3122
168.77	o 15479
168.77	c 3121
168.92	o 15480
168.92	c 3120
169.26	o 15483
169.26	c 3117
169.42	o 15485
169.42	c 3115
169.59	o 15486
169.59	c 3114
169.76	o 15490
169.76	c 3110
169.93	o 15493
169.93	c 3107
170.10	o 15495
170.10	c 3105
170.29	o 15500
170.29	c 3100
170.81	o 15503
170.81	c 3097
170.97	o 15505
170.97	c 3095
171.16	o 15508
171.16	c 3092
171.32	o 15510
171.32	c 3090
171.49	o 15514
171.49	c 3086
171.66	o 15517
171.66	c 3083
172.20	o 15519
172.20	c 3081
172.38	o 15520
172.38	c 3080
172.57	o 15524
172.57	c 3076
173.13	o 15525
173.13	c 3075
173.33	o 15529
173.33	c 3071
173.53	o 15531
173.53	c 3069
173.71	o 15534
173.71	c 3066
173.89	o 15536
173.89	c 3064
174.09	o 15538
174.09	c 3062
174.47	o 15540
174.47	c 3060
174.67	o 15543
174.67	c 3057
175.25	o 15546
175.25	c 3054
175.45	o 15547
175.45	c 3053
175.64	o 15548
175.64	c 3052
176.22	o 15549
176.22	c 3051
176.42	o 15550
176.42	c 3050
176.61	o 15554
176.61	c 3046
176.81	o 15555
176.81	c 3045
177.20	o 15560
177.20	c 3040
177.40	o 15563
177.40	c 3037
177.60	o 15565
177.60	c 3035
177.80	o 15568
177.80	c 3032
177.98	o 15569
177.98	c 3031
178.37	o 15570
178.37	c 3030
178.57	o 15573
178.57	c 3027
178.74	o 15577
178.74	c 3023
178.93	o 15581
178.93	c 3019
179.12	o 15585
179.12	c 3015
179.49	o 15586
179.49	c 3014
179.68	o 15589
179.68	c 3011
179.86	o 15590
179.86	c 3010
180.04	o 15593
180.04	c 3007
180.23	o 15597
180.23	c 3003
180.78	o 15598
180.78	c 3002
180.97	o 15599
180.97	c 3001
181.16	o 15600
181.16	c 3000
181.35	o 15601
181.35	c 2999
181.53	o 15606
181.53	c 2994
182.12	o 15608
182.12	c 2992
182.52	o 15610
182.52	c 2990
183.15	o 15611
183.15	c 2989
183.99	o 15613
183.99	c 2987
184.63	o 15615
184.63	c 2985
184.84	o 15618
184.84	c 2982
185.49	o 15621
185.49	c 2979
185.70	o 15622
185.70	c 2978
186.11	o 15624
186.11	c 2976
186.31	o 15626
186.31	c 2974
186.95	o 15627
186.95	c 2973
188.15	o 15628
188.15	c 2972
188.36	o 15632
188.36	c 2968
189.19	o 15636
189.19	c 2964
189.40	o 15637
189.40	c 2963
190.02	o 15639
190.02	c 2961
190.25	o 15640
190.25	c 2960
190.45	o 15643
190.45	c 2957
190.67	o 15646
190.67	c 2954
191.07	o 15647
191.07	c 2953
191.27	o 15648
191.27	c 2952
191.70	o 15650
191.70	c 2950
191.89	o 15653
191.89	c 2947
192.11	o 15655
192.11	c 2945
192.31	o 15658
192.31	c 2942
192.51	o 15662
192.51	c 2938
192.72	o 15665
192.72	c 2935
192.92	o 15666
192.92	c 2934
193.51	o 15668
193.51	c 2932
193.72	o 15670
193.72	c 2930
193.92	o 15672
193.92	c 2928
194.12	o 15674
194.12	c 2926
194.31	o 15678
194.31	c 2922
194.87	o 15680
194.87	c 2920
197.04	o 15682
197.04	c 2918
197.84	o 15685
197.84	c 2915
198.01	o 15686
198.01	c 2914
198.23	o 15687
198.23	c 2913
198.43	o 15688
198.43	c 2912
198.63	o 15689
198.63	c 2911
198.83	o 15690
198.83	c 2910
199.02	o 15692
199.02	c 2908
199.37	o 15696
199.37	c 2904
199.78	o 15697
199.78	c 2903
199.98	o 15698
199.98	c 2902
200.20	o 15699
200.20	c 2901
200.41	o 15700
200.41	c 2900
200.62	o 15701
200.62	c 2899
200.82	o 15702
200.82	c 2898
201.03	o 15704
201.03	c 2896
201.25	o 15706
201.25	c 2894
201.68	o 15708
201.68	c 2892
201.89	o 15711
201.89	c 2889
202.11	o 15712
202.11	c 2888
206.24	o 15713
206.24	c 2887
208.40	o 15714
208.40	c 2886
208.62	o 15716
208.62	c 2884
208.84	o 15717
208.84	c 2883
209.48	o 15718
209.48	c 2882
209.90	o 15719
209.90	c 2881
210.13	o 15722
210.13	c 2878
210.34	o 15724
210.34	c 2876
210.57	o 15725
210.57	c 2875
211.44	o 15729
211.44	c 2871
211.90	o 15731
211.90	c 2869
212.11	o 15733
212.11	c 2867
212.34	o 15735
212.34	c 2865
212.57	o 15736
212.57	c 2864
212.78	o 15738
212.78	c 2862
213.02	o 15741
213.02	c 2859
213.75	o 15742
213.75	c 2858
214.42	o 15744
214.42	c 2856
214.66	o 15746
214.66	c 2854
214.88	o 15749
214.88	c 2851
215.34	o 15751
215.34	c 2849
216.03	o 15752
216.03	c 2848
216.29	o 15753
216.29	c 2847
216.52	o 15755
216.52	c 2845
216.75	o 15757
216.75	c 2843
216.97	o 15759
216.97	c 2841
217.17	o 15760
217.17	c 2840
217.29	o 15763
217.29	c 2837
217.64	o 15766
217.64	c 2834
217.88	o 15769
217.88	c 2831
218.52	o 15770
218.52	c 2830
218.72	o 15772
218.72	c 2828
218.92	o 15774
218.92	c 2826
219.96	o 15776
219.96	c 2824
220.37	o 15779
220.37	c 2821
220.82	o 15780
220.82	c 2820
223.79	o 15782
223.79	c 2818
224.01	o 15783
224.01	c 2817
224.24	o 15784
224.24	c 2816
224.45	o 15789
224.45	c 2811
224.67	o 15790
224.68	c 2810
224.91	o 15793
224.91	c 2807
225.12	o 15795
225.12	c 2805
225.34	o 15796
225.34	c 2804
225.55	o 15797
225.55	c 2803
225.76	o 15798
225.76	c 2802
225.97	o 15800
225.97	c 2800
226.18	o 15801
226.18	c 2799
226.63	o 15802
226.63	c 2798
226.85	o 15803
226.85	c 2797
227.28	o 15805
227.28	c 2795
227.42	o 15809
227.42	c 2791
227.64	o 15811
227.64	c 2789
227.99	o 15812
227.99	c 2788
228.88	o 15813
228.88	c 2787
229.10	o 15814
229.10	c 2786
229.33	o 15816
229.33	c 2784
230.24	o 15817
230.24	c 2783
231.62	o 15818
231.62	c 2782
231.85	o 15821
231.85	c 2779
232.33	o 15822
232.33	c 2778
232.56	o 15825
232.56	c 2775
232.80	o 15830
232.80	c 2770
233.04	o 15836
233.04	c 2764
233.51	o 15839
233.51	c 2761
233.77	o 15841
233.77	c 2759
234.02	o 15842
234.02	c 2758
234.27	o 15843
234.27	c 2757
234.78	o 15844
234.78	c 2756
235.03	o 15845
235.03	c 2755
235.76	o 15847
235.76	c 2753
236.02	o 15850
236.02	c 2750
236.25	o 15852
236.25	c 2748
236.51	o 15853
236.51	c 2747
237.04	o 15857
237.04	c 2743
237.56	o 15858
237.56	c 2742
238.09	o 15860
238.09	c 2740
238.34	o 15861
238.34	c 2739
238.60	o 15862
238.60	c 2738
239.65	o 15863
239.65	c 2737
239.91	o 15864
239.91	c 2736
240.16	o 15865
240.16	c 2735
241.24	o 15867
241.24	c 2733
241.76	o 15869
241.76	c 2731
242.03	o 15871
242.03	c 2729
242.30	o 15872
242.30	c 2728
243.91	o 15873
243.91	c 2727
244.19	o 15875
244.19	c 2725
244.48	o 15877
244.48	c 2723
244.77	o 15878
244.77	c 2722
245.06	o 15879
245.06	c 2721
245.34	o 15880
245.34	c 2720
245.63	o 15881
245.63	c 2719
245.92	o 15882
245.92	c 2718
246.20	o 15883
246.20	c 2717
246.49	o 15884
246.49	c 2716
246.77	o 15885
246.77	c 2715
247.34	o 15887
247.34	c 2713
248.77	o 15889
248.77	c 2711
249.06	o 15890
249.06	c 2710
250.48	o 15893
250.48	c 2707
251.10	o 15894
251.10	c 2706
251.98	o 15896
251.98	c 2704
252.29	o 15898
252.29	c 2702
252.58	o 15900
252.58	c 2700
254.68	o 15903
254.68	c 2697
257.05	o 15907
257.05	c 2693
257.34	o 15908
257.34	c 2692
257.63	o 15910
257.63	c 2690
258.23	o 15911
258.23	c 2689
258.90	o 15915
258.90	c 2685
259.19	o 15916
259.19	c 2684
259.49	o 15924
259.49	c 2676
260.37	o 15927
260.37	c 2673
260.66	o 15930
260.66	c 2670
260.94	o 15932
260.94	c 2668
261.17	o 15934
261.17	c 2666
263.68	o 15935
263.68	c 2665
263.99	o 15936
263.99	c 2664
264.83	o 15939
264.83	c 2661
265.36	o 15940
265.36	c 2660
265.64	o 15941
265.64	c 2659
268.78	o 15944
268.78	c 2656
269.06	o 15945
269.06	c 2655
269.36	o 15947
269.36	c 2653
269.65	o 15949
269.65	c 2651
270.23	o 15951
270.23	c 2649
270.52	o 15953
270.52	c 2647
270.81	o 15955
270.81	c 2645
271.11	o 15958
271.11	c 2642
271.39	o 15959
271.39	c 2641
271.98	o 15962
271.98	c 2638
272.27	o 15964
272.27	c 2636
272.56	o 15965
272.56	c 2635
272.86	o 15968
272.86	c 2632
273.14	o 15970
273.14	c 2630
275.43	o 15972
275.43	c 2628
275.72	o 15973
275.72	c 2627
276.01	o 15974
276.01	c 2626
276.31	o 15975
276.31	c 2625
277.63	o 15980
277.63	c 2620
278.79	o 15982
278.79	c 2618
281.92	o 15986
281.92	c 2614
283.67	o 15987
283.67	c 2613
283.96	o 15988
283.96	c 2612
284.83	o 15990
284.83	c 2610
285.12	o 15991
285.12	c 2609
285.42	o 15992
285.42	c 2608
285.70	o 15994
285.70	c 2606
285.94	o 15998
285.94	c 2602
286.21	o 16001
286.21	c 2599
286.78	o 16002
286.78	c 2598
287.08	o 16003
287.08	c 2597
287.37	o 16004
287.37	c 2596
287.68	o 16007
287.68	c 2593
287.96	o 16010
287.96	c 2590
288.54	o 16011
288.54	c 2589
288.85	o 16012
288.85	c 2588
290.94	o 16015
290.94	c 2585
291.23	o 16017
291.23	c 2583
292.44	o 16018
292.44	c 2582
292.67	o 16021
292.67	c 2579
292.81	o 16023
292.81	c 2577
293.57	o 16024
293.57	c 2576
293.88	o 16029
293.88	c 2571
294.46	o 16031
294.46	c 2569
294.73	o 16032
294.73	c 2568
295.04	o 16033
295.04	c 2567
295.32	o 16035
295.32	c 2565
295.90	o 16036
295.90	c 2564
296.51	o 16040
296.51	c 2560
296.82	o 16042
296.82	c 2558
297.53	o 16044
297.53	c 2556
298.45	o 16045
298.45	c 2555
298.59	o 16048
298.59	c 2552
299.52	o 16049
299.52	c 2551
299.74	o 16050
299.74	c 2550
303.92	o 16052
303.92	c 2548
304.25	o 16053
304.25	c 2547
304.87	o 16055
304.87	c 2545
305.17	o 16057
305.17	c 2543
305.82	o 16058
305.82	c 2542
306.12	o 16060
306.12	c 2540
306.40	o 16062
306.40	c 2538
307.01	o 16065
307.01	c 2535
307.31	o 16067
307.31	c 2533
307.60	o 16070
307.60	c 2530
307.90	o 16073
307.90	c 2527
308.20	o 16076
308.20	c 2524
308.80	o 16077
308.80	c 2523
309.41	o 16079
309.41	c 2521
309.99	o 16082
309.99	c 2518
310.30	o 16084
310.30	c 2516
311.51	o 16086
311.51	c 2514
312.10	o 16088
312.10	c 2512
312.41	o 16090
312.41	c 2510
312.70	o 16091
312.70	c 2509
313.32	o 16094
313.32	c 2506
313.61	o 16098
313.61	c 2502
313.92	o 16100
313.92	c 2500
314.52	o 16101
314.52	c 2499
315.15	o 16103
315.15	c 2497
315.73	o 16105
315.73	c 2495
316.04	o 16106
316.04	c 2494
317.28	o 16108
317.28	c 2492
317.58	o 16111
317.58	c 2489
317.88	o 16112
317.88	c 2488
318.15	o 16115
318.15	c 2485
318.46	o 16117
318.46	c 2483
318.92	o 16121
318.92	c 2479
319.22	o 16122
319.22	c 2478
319.52	o 16125
319.52	c 2475
321.04	o 16127
321.04	c 2473
321.70	o 16130
321.70	c 2470
323.07	o 16131
323.07	c 2469
323.42	o 16135
323.42	c 2465
326.15	o 16137
326.15	c 2463
326.85	o 16139
326.85	c 2461
327.20	o 16141
327.20	c 2459
327.85	o 16144
327.85	c 2456
328.56	o 16145
328.56	c 2455
329.58	o 16146
329.58	c 2454
329.92	o 16147
329.92	c 2453
330.25	o 16150
330.25	c 2450
330.60	o 16152
330.60	c 2448
331.28	o 16153
331.28	c 2447
332.34	o 16154
332.34	c 2446
332.67	o 16156
332.67	c 2444
334.32	o 16158
334.32	c 2442
334.67	o 16161
334.67	c 2439
334.99	o 16162
334.99	c 2438
335.33	o 16163
335.33	c 2437
336.66	o 16164
336.66	c 2436
336.91	o 16167
336.91	c 2433
337.25	o 16168
337.25	c 2432
337.58	o 16169
337.58	c 2431
337.91	o 16171
337.91	c 2429
338.57	o 16172
338.57	c 2428
339.23	o 16174
339.23	c 2426
339.57	o 16175
339.57	c 2425
340.23	o 16177
340.23	c 2423
342.90	o 16178
342.90	c 2422
343.24	o 16182
343.24	c 2418
343.39	o 16183
343.39	c 2417
344.38	o 16185
344.38	c 2415
344.70	o 16186
344.70	c 2414
345.03	o 16187
345.03	c 2413
346.20	o 16188
346.20	c 2412
350.69	o 16189
350.69	c 2411
351.00	o 16192
351.00	c 2408
352.22	o 16194
352.22	c 2406
353.13	o 16198
353.13	c 2402
353.45	o 16201
353.45	c 2399
353.73	o 16202
353.73	c 2398
359.01	o 16203
359.01	c 2397
361.72	o 16205
361.72	c 2395
362.24	o 16206
362.24	c 2394
362.53	o 16207
362.53	c 2393
363.39	o 16211
363.39	c 2389
363.67	o 16213
363.67	c 2387
364.53	o 16215
364.53	c 2385
364.82	o 16216
364.82	c 2384
365.11	o 16217
365.11	c 2383
365.40	o 16219
365.40	c 2381
365.71	o 16220
365.71	c 2380
366.01	o 16222
366.01	c 2378
366.30	o 16226
366.30	c 2374
366.58	o 16228
366.58	c 2372
367.17	o 16229
367.17	c 2371
367.46	o 16231
367.46	c 2369
367.75	o 16232
367.75	c 2368
368.06	o 16234
368.06	c 2366
370.45	o 16235
370.45	c 2365
370.75	o 16236
370.75	c 2364
371.02	o 16239
371.02	c 2361
371.35	o 16240
371.35	c 2360
371.64	o 16241
371.64	c 2359
372.24	o 16242
372.24	c 2358
372.55	o 16243
372.55	c 2357
372.84	o 16244
372.84	c 2356
373.15	o 16245
373.15	c 2355
373.75	o 16246
373.75	c 2354
377.09	o 16249
377.09	c 2351
377.86	o 16250
377.86	c 2350
379.04	o 16254
379.04	c 2346
379.33	o 16258
379.33	c 2342
381.77	o 16259
381.77	c 2341
382.08	o 16260
382.08	c 2340
382.67	o 16261
382.67	c 2339
383.28	o 16262
383.28	c 2338
383.59	o 16264
383.59	c 2336
383.90	o 16266
383.90	c 2334
384.20	o 16268
384.20	c 2332
385.12	o 16269
385.12	c 2331
385.43	o 16271
385.43	c 2329
385.74	o 16272
385.74	c 2328
386.00	o 16273
386.00	c 2327
386.30	o 16275
386.30	c 2325
386.61	o 16276
386.61	c 2324
387.23	o 16277
387.23	c 2323
388.63	o 16279
388.63	c 2321
389.25	o 16280
389.25	c 2320
389.57	o 16282
389.57	c 2318
392.12	o 16283
392.12	c 2317
392.62	o 16286
392.62	c 2314
392.94	o 16288
392.94	c 2312
393.19	o 16291
393.19	c 2309
393.53	o 16293
393.53	c 2307
394.69	o 16295
394.69	c 2305
395.00	o 16296
395.00	c 2304
395.33	o 16298
395.33	c 2302
395.64	o 16299
395.64	c 2301
395.96	o 16301
395.96	c 2299
396.14	o 16303
396.14	c 2297
396.27	o 16308
396.27	c 2292
396.49	o 16309
396.49	c 2291
397.11	o 16311
397.11	c 2289
397.75	o 16312
397.75	c 2288
398.07	o 16314
398.07	c 2286
398.71	o 16316
398.71	c 2284
399.02	o 16318
399.02	c 2282
399.68	o 16319
399.68	c 2281
400.00	o 16320
400.00	c 2280
400.65	o 16321
400.65	c 2279
401.31	o 16322
401.31	c 2278
401.64	o 16323
401.64	c 2277
401.87	o 16326
401.87	c 2274
402.19	o 16330
402.19	c 2270
402.40	o 16332
402.40	c 2268
409.27	o 16333
409.27	c 2267
409.92	o 16334
409.92	c 2266
410.24	o 16336
410.24	c 2264
410.92	o 16337
410.92	c 2263
411.25	o 16338
411.25	c 2262
411.59	o 16340
411.59	c 2260
412.57	o 16344
412.57	c 2256
412.91	o 16345
412.91	c 2255
413.25	o 16346
413.25	c 2254
414.60	o 16347
414.61	c 2253
414.97	o 16348
414.97	c 2252
415.32	o 16349
415.32	c 2251
415.69	o 16351
415.69	c 2249
415.83	o 16352
415.83	c 2248
418.27	o 16353
418.27	c 2247
418.65	o 16356
418.65	c 2244
419.82	o 16357
419.82	c 2243
420.21	o 16358
420.21	c 2242
420.60	o 16360
420.60	c 2240
423.67	o 16361
423.67	c 2239
424.46	o 16362
424.46	c 2238
426.05	o 16364
426.05	c 2236
428.65	o 16365
428.65	c 2235
429.42	o 16366
429.42	c 2234
429.79	o 16367
429.79	c 2233
430.19	o 16368
430.19	c 2232
432.09	o 16369
432.09	c 2231
433.23	o 16371
433.23	c 2229
434.75	o 16373
434.76	c 2227
435.13	o 16374
435.13	c 2226
435.82	o 16376
435.82	c 2224
436.15	o 16378
436.15	c 2222
437.29	o 16379
437.29	c 2221
437.67	o 16380
437.67	c 2220
438.43	o 16381
438.43	c 2219
439.18	o 16384
439.18	c 2216
439.68	o 16387
439.68	c 2213
440.03	o 16390
440.03	c 2210
440.78	o 16391
440.78	c 2209
441.17	o 16392
441.17	c 2208
441.92	o 16394
441.92	c 2206
442.30	o 16395
442.30	c 2205
446.50	o 16397
446.50	c 2203
448.63	o 16398
448.63	c 2202
448.93	o 16400
448.93	c 2200
450.44	o 16401
450.44	c 2199
452.76	o 16403
452.76	c 2197
453.53	o 16404
453.53	c 2196
453.92	o 16406
453.92	c 2194
456.21	o 16408
456.21	c 2192
456.98	o 16410
456.98	c 2190
457.36	o 16411
457.36	c 2189
458.87	o 16413
458.87	c 2187
461.01	o 16415
461.01	c 2185
461.39	o 16416
461.39	c 2184
462.50	o 16418
462.50	c 2182
463.23	o 16419
463.23	c 2181
463.60	o 16422
463.60	c 2178
464.35	o 16424
464.35	c 2176
464.72	o 16425
464.72	c 2175
465.86	o 16427
465.86	c 2173
467.01	o 16429
467.01	c 2171
468.55	o 16430
468.55	c 2170
468.94	o 16434
468.94	c 2166
469.33	o 16435
469.33	c 2165
469.71	o 16437
469.71	c 2163
470.49	o 16438
470.49	c 2162
471.64	o 16439
471.64	c 2161
472.43	o 16442
472.43	c 2158
473.42	o 16443
473.42	c 2157
473.82	o 16444
473.82	c 2156
475.00	o 16445
475.00	c 2155
475.40	o 16447
475.40	c 2153
476.15	o 16449
476.15	c 2151
476.91	o 16451
476.91	c 2149
478.83	o 16453
478.83	c 2147
479.13	o 16454
479.13	c 2146
479.83	o 16455
479.83	c 2145
480.22	o 16457
480.22	c 2143
482.48	o 16460
482.48	c 2140
483.25	o 16463
483.25	c 2137
486.02	o 16464
486.02	c 2136
486.39	o 16467
486.39	c 2133
487.50	o 16471
487.50	c 2129
488.27	o 16472
488.27	c 2128
490.15	o 16474
490.15	c 2126
490.54	o 16475
490.54	c 2125
492.05	o 16478
492.06	c 2122
492.82	o 16479
492.82	c 2121
493.20	o 16483
493.20	c 2117
494.33	o 16485
494.33	c 2115
495.10	o 16486
495.10	c 2114
495.85	o 16488
495.85	c 2112
496.23	o 16489
496.23	c 2111
496.60	o 16490
496.60	c 2110
497.36	o 16493
497.36	c 2107
498.82	o 16495
498.82	c 2105
499.20	o 16497
499.20	c 2103
499.59	o 16498
499.59	c 2102
500.69	o 16500
500.69	c 2100
501.07	o 16502
501.07	c 2098
501.47	o 16504
501.47	c 2096
501.83	o 16505
501.83	c 2095
502.96	o 16507
502.96	c 2093
503.71	o 16510
503.71	c 2090
507.09	o 16512
507.09	c 2088
509.03	o 16516
509.03	c 2084
509.44	o 16518
509.44	c 2082
510.57	o 16519
510.57	c 2081
511.71	o 16521
511.71	c 2079
512.38	o 16523
512.38	c 2077
513.81	o 16524
513.81	c 2076
514.59	o 16525
514.59	c 2075
515.88	o 16526
515.88	c 2074
516.27	o 16528
516.28	c 2072
516.67	o 16530
516.67	c 2070
517.48	o 16531
517.48	c 2069
517.87	o 16534
517.87	c 2066
519.46	o 16535
519.46	c 2065
520.21	o 16537
520.21	c 2063
520.98	o 16539
520.98	c 2061
522.56	o 16540
522.56	c 2060
522.96	o 16543
522.96	c 2057
523.34	o 16546
523.34	c 2054
523.74	o 16548
523.74	c 2052
524.52	o 16549
524.52	c 2051
524.84	o 16550
524.84	c 2050
525.22	o 16553
525.22	c 2047
525.59	o 16554
525.59	c 2046
525.99	o 16555
525.99	c 2045
526.76	o 16556
526.76	c 2044
527.13	o 16557
527.13	c 2043
527.50	o 16558
527.50	c 2042
527.87	o 16562
527.87	c 2038
528.47	o 16563
528.47	c 2037
529.23	o 16564
529.23	c 2036
533.41	o 16565
533.41	c 2035
534.55	o 16566
534.55	c 2034
536.05	o 16567
536.05	c 2033
536.45	o 16568
536.45	c 2032
537.61	o 16570
537.61	c 2030
537.66	o 16571
537.66	c 2029
539.19	o 16573
539.19	c 2027
539.59	o 16576
539.59	c 2024
540.37	o 16579
540.37	c 2021
540.75	o 16580
540.75	c 2020
541.14	o 16581
541.14	c 2019
541.54	o 16582
541.54	c 2018
542.70	o 16586
542.70	c 2014
543.09	o 16587
543.09	c 2013
544.44	o 16588
544.44	c 2012
545.25	o 16589
545.25	c 2011
545.48	o 16591
545.48	c 2009
547.36	o 16593
547.36	c 2007
549.74	o 16594
549.74	c 2006
550.90	o 16596
550.90	c 2004
552.11	o 16597
552.11	c 2003
552.50	o 16600
552.50	c 2000
552.89	o 16601
552.89	c 1999
554.03	o 16604
554.03	c 1996
554.80	o 16605
554.80	c 1995
555.20	o 16607
555.20	c 1993
556.38	o 16608
556.38	c 1992
556.78	o 16611
556.78	c 1989
557.57	o 16612
557.57	c 1988
560.23	o 16616
560.23	c 1984
560.62	o 16617
560.62	c 1983
561.80	o 16618
561.80	c 1982
562.14	o 16619
562.14	c 1981
569.26	o 16620
569.26	c 1980
569.65	o 16622
569.65	c 1978
570.03	o 16625
570.03	c 1975
570.79	o 16626
570.79	c 1974
571.17	o 16627
571.17	c 1973
571.56	o 16628
571.56	c 1972
571.95	o 16630
571.95	c 1970
572.36	o 16631
572.36	c 1969
573.15	o 16634
573.15	c 1966
573.94	o 16635
573.94	c 1965
574.34	o 16638
574.34	c 1962
576.11	o 16639
576.11	c 1961
577.33	o 16641
577.33	c 1959
577.72	o 16643
577.72	c 1957
578.10	o 16644
578.10	c 1956
578.50	o 16645
578.50	c 1955
578.89	o 16646
578.89	c 1954
579.28	o 16648
579.28	c 1952
579.69	o 16649
579.69	c 1951
580.49	o 16650
580.49	c 1950
580.84	o 16651
580.84	c 1949
581.61	o 16653
581.61	c 1947
582.76	o 16654
582.76	c 1946
583.10	o 16656
583.10	c 1944
584.64	o 16658
584.64	c 1942
585.40	o 16660
585.40	c 1940
585.76	o 16661
585.76	c 1939
586.39	o 16662
586.39	c 1938
588.55	o 16663
588.55	c 1937
588.91	o 16665
588.91	c 1935
589.26	o 16667
589.26	c 1933
590.20	o 16668
590.20	c 1932
590.57	o 16669
590.57	c 1931
590.73	o 16671
590.73	c 1929
591.80	o 16672
591.80	c 1928
592.18	o 16673
592.18	c 1927
592.53	o 16674
592.53	c 1926
592.88	o 16677
592.88	c 1923
593.05	o 16678
593.05	c 1922
593.43	o 16680
593.43	c 1920
593.78	o 16681
593.78	c 1919
594.15	o 16682
594.15	c 1918
597.83	o 16685
597.83	c 1915
598.20	o 16687
598.20	c 1913
598.46	o 16688
598.46	c 1912
599.12	o 16689
599.12	c 1911
599.50	o 16690
599.50	c 1910
599.86	o 16692
599.87	c 1908
601.66	o 16693
601.66	c 1907
602.02	o 16695
602.02	c 1905
602.74	o 16697
602.74	c 1903
603.46	o 16699
603.46	c 1901
604.11	o 16701
604.11	c 1899
604.48	o 16702
604.48	c 1898
604.86	o 16704
604.86	c 1896
605.56	o 16707
605.56	c 1893
606.31	o 16708
606.31	c 1892
606.69	o 16709
606.69	c 1891
607.44	o 16710
607.44	c 1890
607.81	o 16711
607.81	c 1889
608.18	o 16714
608.18	c 1886
608.81	o 16717
608.81	c 1883
609.19	o 16719
609.19	c 1881
620.67	o 16721
620.67	c 1879
621.03	o 16722
621.03	c 1878
621.87	o 16723
621.87	c 1877
621.98	o 16726
621.98	c 1874
622.71	o 16727
622.71	c 1873
623.08	o 16728
623.08	c 1872
623.43	o 16730
623.43	c 1870
625.23	o 16731
625.23	c 1869
625.61	o 16732
625.61	c 1868
625.98	o 16733
625.98	c 1867
626.60	o 16734
626.60	c 1866
626.81	o 16737
626.81	c 1863
627.19	o 16738
627.19	c 1862
627.56	o 16739
627.56	c 1861
627.92	o 16742
627.92	c 1858
628.30	o 16743
628.30	c 1857
628.66	o 16746
628.66	c 1854
629.79	o 16747
629.79	c 1853
630.58	o 16749
630.58	c 1851
630.98	o 16750
630.98	c 1850
632.36	o 16751
632.36	c 1849
633.16	o 16752
633.16	c 1848
634.35	o 16755
634.35	c 1845
634.74	o 16758
634.74	c 1842
637.48	o 16759
637.48	c 1841
638.30	o 16760
638.30	c 1840
638.72	o 16762
638.72	c 1838
639.13	o 16764
639.13	c 1836
639.41	o 16766
639.41	c 1834
639.83	o 16768
639.83	c 1832
640.24	o 16770
640.24	c 1830
640.64	o 16772
640.64	c 1828
642.27	o 16773
642.27	c 1827
642.68	o 16774
642.68	c 1826
643.08	o 16776
643.08	c 1824
646.14	o 16777
646.14	c 1823
646.27	o 16779
646.27	c 1821
647.07	o 16783
647.07	c 1817
649.52	o 16786
649.52	c 1814
649.93	o 16788
649.93	c 1812
650.74	o 16789
650.74	c 1811
651.95	o 16792
651.95	c 1808
652.75	o 16795
652.75	c 1805
653.15	o 16797
653.15	c 1803
656.02	o 16799
656.02	c 1801
657.22	o 16800
657.22	c 1800
657.63	o 16803
657.63	c 1797
658.39	o 16804
658.39	c 1796
659.43	o 16806
659.43	c 1794
660.26	o 16808
660.26	c 1792
660.91	o 16811
660.91	c 1789
662.01	o 16814
662.01	c 1786
662.42	o 16815
662.42	c 1785
662.83	o 16818
662.83	c 1782
664.35	o 16819
664.35	c 1781
664.77	o 16820
664.77	c 1780
666.88	o 16822
666.88	c 1778
667.30	o 16824
667.30	c 1776
667.42	o 16826
667.42	c 1774
669.92	o 16827
669.92	c 1773
671.57	o 16828
671.57	c 1772
672.82	o 16829
672.82	c 1771
673.22	o 16832
673.22	c 1768
674.45	o 16834
674.45	c 1766
678.36	o 16835
678.36	c 1765
682.40	o 16837
682.40	c 1763
684.05	o 16840
684.05	c 1760
684.33	o 16844
684.33	c 1756
684.74	o 16847
684.74	c 1753
685.16	o 16848
685.16	c 1752
685.59	o 16850
685.59	c 1750
686.01	o 16852
686.01	c 1748
688.52	o 16855
688.52	c 1745
688.94	o 16857
688.94	c 1743
699.93	o 16858
699.93	c 1742
700.39	o 16859
700.39	c 1741
700.85	o 16861
700.85	c 1739
701.74	o 16862
701.74	c 1738
702.63	o 16865
702.63	c 1735
704.24	o 16870
704.24	c 1730
707.39	o 16871
707.39	c 1729
715.41	o 16873
715.41	c 1727
715.86	o 16874
715.86	c 1726
716.14	o 16876
716.14	c 1724
717.08	o 16877
717.08	c 1723
717.48	o 16880
717.48	c 1720
717.94	o 16882
717.94	c 1718
720.28	o 16884
720.28	c 1716
720.59	o 16885
720.59	c 1715
722.45	o 16886
722.45	c 1714
722.93	o 16887
722.93	c 1713
723.39	o 16888
723.39	c 1712
724.80	o 16891
724.80	c 1709
726.16	o 16893
726.16	c 1707
726.62	o 16894
726.62	c 1706
757.14	   
757.14	   search
757.14	     run=0  nbConstraintChecks=1553355014  nbAssignments=2921
757.14	       =>  wckTime=694.167  cpuTime=690.72  mem=63M354
757.14	   
757.14	   global
757.14	     nbConstraintChecks=1553355014  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
757.14	     solvingWckTime=694.146  solvingCpuTime=690.7  expiredTime=no  totalExploration=no  nbFoundSolutions=0
757.14	     globalCpuTime=752.16
757.14	       =>  wckTime=756.815  cpuTime=752.12  mem=63M354
757.14	   
757.14	   solver IterativeSystematicSolver being built... 
757.82	       =>  wckTime=757.492  cpuTime=752.52  mem=153M856
2407.14	v 2058 2474 2114 -2046 2894 2826 -2266 -2466 2894 -2586 2094 2294 -2618 -2766 -2818 -2702 -2278 2058 2034 2858 2818 -2382 -2858 -2502 -2314 -2318 2190 2014 2766 -2250 -1994 2078 2150 2278 2746 -2806 2682 2814 2778 2350 -2890 -2062 2018 -2878 2118 -2782 2582 -2578 -2186 -2874 2870 2666 2418 -2054 2694 -2446 2890 -2790 -2894 2778 -2850 2002 -2074 -2010 2350 2594 2054 2806 2142 -2654 -2114 -2810 -2782 -2166 2882 -2302 2634 2194 2126 -2010 2074 -2438 2182 -2058 2610 2750 2778 -2302 -2878 2278 2050 -2818 -2194 -2774 -2050 -2578 -2154 -2890 2410 1990 2726 -2778 2394 -2802 -2582 2862 -2054 -2154 2330 -2802 -2190 2598 2038 -2458 -2630 2150 -2458 1998 -2846 -2862 -2822 2894 -2846 2814 -2594 -2098 -2038 -2030 2058 -2878 2062 -2874 -2214 -2406 -2294 -2822 2338 2282 2834 -1990 2822 2742 2278 2606 -2062 2826 -2894 -2518 -2386 2030 2034 -2882 2542 -2850 2886 2226 -2546 2346 2750 2770 -2034 2614 2354 -2658 -2054 2670 -2570 2390 -2710 2026 2718 2650 2346 2078 2050 2350 2018 2370 2830 -2582 2818 -2302 -2554 2850 2506 -2454 -2846 -2542 2682 2818 2806 -2398 -2422 2058 -2870 2030 2198 2834 -2402 2042 2246 2070 -2570 -2338 2786 2230 -2050 -2402 -2866 2442 -2766 2026 -2290 2890 -2810 -2850 2894 2810 -2030 -2158 2858 -2534 2310 -2118 -2050 -2006 -2886 -2826 -2690 2394 2778 2854 2550 2006 -2754 2790 2474 2422 2738 -2046 2726 2030 -2034 2054 -2882 2850 -2734 2578 2374 -2854 2098 2042 2498 2614 -2198 1990 -2390 2078 2850 2106 2434 -2842 1998 2334 2894 -2110 -2818 -2346 -2170 2862 2850 -2774 -2886 -2038 -2866 -2054 2822 -2802 2198 2538 -2570 -2614 2842 -2466 2046 2854 -2030 1990 2290 -2362 -2794 2598 2506 -2710 -2154 2786 -2654 -2762 -2194 -2846 2822 2750 -2006 2398 -2842 2030 2178 -2226 -2858 -2646 2834 2210 2090 2530 -2114 -2066 2830 -2770 2754 2854 -2006 2890 -2850 2654 -2774 -2574 2698 -2842 2610 -2042 2290 2854 -2622 2382 2366 2414 -2614 1990 2538 2106 -2054 2326 -2602 2834 -2018 -2446 -2866 2662 -2822 -2790 2118 2170 -2818 -2494 -2234 2702 2190 1990 2806 2186 2894 -2050 2034 2626 -2002 -2846 2878 2598 2146 -2786 -2798 2034 2814 -2430 -2270 2830 -2122 -2110 2802 2582 2422 -2802 2850 2866 1990 1994 2586 -2790 2842 -2342 2794 -2146 -2834 2046 2894 -2202 -1994 -2478 -2150 2782 2874 1998 -2450 -2114 -2354 2826 -2182 -2054 -2010 -2046 2838 -2046 -2774 -2158 2714 -2034 -2786 1990 -2854 -2042 1990 2222 -2034 -2406 -2670 -2878 2014 -2674 2090 -2834 2170 -2038 -2222 2426 -2502 2890 2094 2802 2862 -2290 2266 -2034 2506 -2658 2890 -2534 2194 2222 2510 2814 -2002 1990 2422 2878 -2034 -2606 2002 2046 2698 2094 2126 -2066 2738 2614 2002 -2042 -2734 2118 -2038 -2162 -2014 -2242 1990 2838 1990 2358 -2242 -2470 2038 -2746 2482 -1994 2618 2078 2822 2430 2838 2202 -2086 -2262 2658 2034 -2750 2570 -1994 2774 2414 -2846 2822 2486 2318 2802 -2830 -2890 2394 -2026 2578 2862 2822 2802 -2010 -2106 -2690 -2002 2830 -2694 -2850 2730 -2334 -2658 -2874 2410 -2038 2426 -2846 -2470 -2814 -2094 2070 2874 -2598 2366 -2398 2802 2046 2058 -2894 2662 2634 2798 -2022 2814 -1998 -2430 2002 2830 2386 -2666 -2834 2778 2222 2834 -2074 2010 -2726 2046 -2434 -2826 -2426 -2030 -2038 -2058 -2074 -2018 -2046 2282 -2182 2042 -2854 2794 -2886 2430 2430 -2054 2766 2054 -2278 -2702 -2470 -2770 2710 -2866 1994 2202 -2490 -2802 2262 -1990 -2002 -2390 -2774 -2230 -2234 2514 2822 -2854 1998 2834 -2574 2014 2490 -2874 -2878 -2066 -2002 2874 2282 -2050 -2646 2758 -2782 -2438 -2146 2010 -2890 -2014 2894 -2038 2854 1998 2722 2402 2662 2050 -2002 -2162 -2806 2354 2642 -2034 2278 -1998 -2646 1998 -2002 2854 -2366 2894 -2726 2030 2538 -2118 -2042 1994 -2250 -2874 -2478 -2894 -2838 2842 2894 2190 -2018 -2394 -2782 2002 -2386 2682 -2594 2778 2494 -2722 2190 2170 2450 2222 -2638 -2182 -2442 -2174 -2538 2890 1990 -2366 -2846 2706 2154 2350 -2894 -2326 2578 2078 -2890 -2838 -1994 -2074 -2006 -2878 -2050 2222 2498 -2894 2058 2734 -2614 -1998 -2230 2010 -2818 -2694 -2050 2038 -2190 -2834 2022 2830 2682 -2274 2582 -2222 -2426 -2002 -2078 -2250 2730 -2842 1990 -2202 -2126 -2862 -2486 -2702 -1990 -2426 2042 2294 -2054 2598 2874 -2818 2066 2706 -2446 -2174 2498 -2326 2570 2350 2402 2130 2894 1998 2870 2690 2034 2466 -2634 -2438 2654 -2402 -2054 -1998 -2494 2554 2042 2050 -2042 -2622 1990 2850 2882 -2066 2674 2430 -2434 -2214 2362 -2058 2454 2038 -2854 2670 2302 2006 -2858 2062 2006 2426 -2750 -2474 -1998 -2038 -2250 2474 2158 -2862 -2206 -2802 2034 2806 2694 2874 2818 -1994 -2714 2846 -2822 2410 -2874 -2894 -2042 2254 -2030 -2790 2158 1998 2050 2690 -2082 2174 -2822 -2382 2846 1998 2646 -2374 -2378 1998 -2546 2278 -2038 -2190 2002 -1998 -2302 -2822 -2242 -2106 2202 2742 -2762 -1994 2438 2670 -2106 -2426 -2806 -2490 -2038 -2058 2882 -2034 2534 -2406 2102 -2818 -2006 -2398 2834 2498 2034 -2818 2462 2762 -2842 2258 2014 -2890 -2094 -2750 2442 2850 -2158 -2006 2302 2070 -2534 -2866 2766 2030 2690 -2382 2894 2810 -2642 2074 -2182 1998 -2874 2074 2022 2654 2418 2318 -2674 2762 -2734 2390 -1994 2890 2842 -1998 -2030 -2742 -2886 2018 -2698 2418 -2030 2430 -2826 -2834 -2050 -2418 2562 2730 -2870 -2694 -2814 -2670 -2050 -2738 2830 -2870 2658 -2590 -2250 2386 2718 2178 -2022 -2750 -2842 -2306 2450 -2210 2490 2782 -2830 -2486 -2214 -2006 -2890 2678 2306 2182 -2750 -2506 -2862 -2042 -2890 -2346 -1994 -2834 -2002 2218 -2894 2542 2762 -2274 -2822 -2442 2090 -2010 -2494 2034 2346 -2854 2822 2806 -2590 -2398 -2842 2126 2350 -2886 2310 -2818 2850 2362 -2370 2050 2362 2502 2690 -2678 2038 2230 2322 -1990 -2482 2594 -2334 -2606 -2890 2062 -2818 2806 -2434 2786 2030 -2330 2242 -2018 2834 -2790 -2482 -2334 2606 -2698 -2146 2566 2766 -2870 2122 2306 -2534 -2238 2054 -2034 -2018 -2414 -2006 2470 -2014 -2366 2722 -2270 2854 2754 -2262 2890 2870 -2330 2002 2230 2850 2818 -2814 -1990 -2346 2678 -2814 -2310 -2350 2262 2006 -2238 -2622 -2318 2842 2022 -2794 2410 2510 2506 2654 -2006 2158 -2730 -2182 2894 -2394 -2506 -2734 2030 2530 2022 -2638 -2066 -2854 -2698 2026 -2854 -2834 -2150 1990 2702 2174 2878 -2410 -2162 -1998 2030 -2722 2794 2686 2834 2694 2758 -2294 2058 2818 2090 -2058 2006 -2770 2786 2390 2846 2114 2194 2398 2874 -2834 -2878 -2030 -2086 -2818 2762 2854 2618 -2018 2874 2342 2810 -2150 -2366 -2730 -2534 1990 2758 -1994 2882 -2698 2614 -2834 -2066 -2014 2050 2090 -2890 2062 -2114 -2614 -2790 2766 -2834 2858 -2714 -2178 2854 -2002 -2846 -2882 2430 2738 2378 -2682 2654 -2806 -2446 -2826 -2850 2046 2862 2446 2038 2722 2874 -1994 2082 -2154 -2210 2230 -2438 -2714 2114 -2894 2134 2058 2838 -2018 2030 -2598 -2866 2798 -1998 2526 -2058 -2050 -2850 -2730 2218 2786 -2066 2330 2858 2030 -2854 -2002 2806 -2654 -2018 -2210 2774 -2038 -2102 -2078 2742 -1994 -2630 2430 2418 2742 -2798 -2882 2518 2374 -2838 2030 -2154 2062 2834 -2894 -2754 2174 -2726 -2582 -2778 2478 -2890 1998 -2726 -2290 2482 2430 2406 2478 2578 -2018 2246 -2814 2834 -2762 2890 -2858 2074 -2390 2870 -2058 2234 2802 2350 -2030 -2434 2138 2086 -2530 2822 2490 2082 2734 -2890 2070 2134 -2190 -2846 -2850 -2654 2006 2246 -2018 2706 2050 -2870 -2490 -2834 2722 -2834 2886 -2062 -2826 2062 2366 -1994 2854 2002 2498 -1998 -2362 2034 -2014 -2050 -2710 -2854 2546 1994 2866 -2658 -2358 -2106 2854 2374 -2054 2798 -2722 -2894 -2130 2846 2414 -2190 -2054 2286 -2218 -2026 -1994 2174 1994 -2746 2622 -2554 -2450 -2198 -2890 -2238 2858 -2386 2874 -2854 -2230 2386 2718 -2194 2570 -2258 2066 -2006 2374 -2014 -2226 -2098 2162 2894 1994 -2234 -2182 2818 2882 -2642 -2854 2890 -2850 -2018 -2030 -1994 2422 -2010 -2550 2230 2850 -2266 -2062 2050 2306 2462 -2734 -2878 -2062 2030 2774 2026 2242 2334 2790 -2842 2706 2110 1998 -2014 2894 2390 -2558 2726 2390 -2790 2142 -2378 2866 2326 -2590 2294 2062 -2026 -2862 -2874 1990 2386 -2810 -2002 2110 2054 -2858 2038 -2738 2046 -2226 2090 2682 -2038 -2046 2542 1990 2818 2694 -2058 2842 2442 2034 -2838 2042 2646 -1998 2790 2482 2818 -2070 2786 2302 2830 2162 2434 -2342 2890 -2638 2314 -2370 -2018 2806 2894 2038 2802 2830 2010 2078 2390 2030 -2678 2298 -2266 2182 -2778 2286 2794 2206 -2078 -2754 2202 -2818 -2850 2562 -2094 2730 2530 1994 -2050 -2030 -2030 2282 -2846 -2858 2742 -2814 2690 2226 -2230 2234 -2662 -2542 -2542 2382 2694 -2870 -2010 -2794 -2706 2834 1990 2518 2766 2278 1994 2374 -2738 -2114 2046 2378 2006 -2894 2650 2466 -2506 -2854 2130 -2526 -2882 2410 -2562 -2074 2038 2050 -2058 -2878 -2078 2114 2066 2858 -1994 2690 -2838 -2730 1990 2014 -2762 2838 -2174 2830 -2406 2718 2630 -2046 -2698 2894 2758 2838 1994 -2758 -2494 -2546 2290 -2810 -2266 2862 2354 2306 2702 2066 -2826 2834 2154 -2266 2038 -2582 -2386 2250 -2618 2346 2542 -2802 -2278 2710 -2894 2838 -2134 -2518 2038 -2274 -2038 2582 -2470 -2002 2750 2778 -2766 2794 -2298 2014 -2794 2222 -2838 2234 -2194 2794 2826 2470 -2722 2386 2786 -2190 2054 2530 -2386 -2878 -2878 -2894 2850 2002 2702 -2706 -2082 -2698 2186 -2286 -2830 -2734 2110 1998 -2718 -2846 2034 -2602 2150 2298 -2006 -2706 -2846 -2478 -2190 -2022 -2894 -2066 -2010 2882 2670 -2682 2426 1990 -2722 -1994 -2466 -2338 2066 -2002 2102 -2150 2030 -2018 2218 -2022 2874 -2122 -2402 2874 -2214 -2042 -2846 2830 2850 -2034 -2038 2038 2670 -2058 -2666 2742 2802 2726 2578 2482 -2854 -2342 2290 -2442 -2838 2058 2710 -2770 -2610 2606 2894 2354 -1998 -2890 -2150 2586 2862 2890 2874 2010 2046 2010 -2854 -2450 2870 1994 2742 2038 -2430 2454 2682 2058 -2058 -2246 -2014 -2642 -2582 2770 -2154 2010 2822 -2326 -2146 -2450 2014 2590 -2682 -2426 2142 2838 -2282 -2822 -2038 2790 -2554 2862 2426 2854 2414 -2070 -2030 2586 2066 -2618 -2358 2738 2710 2834 2490 -2878 2702 -2366 -2578 -2686 2006 2318 2026 -2838 2526 -2786 2754 -2030 -2394 2466 -2010 -2858 2018 1994 1990 2018 2098 -2798 -2806 2730 -2690 2886 2874 -2890 -2026 1994 2094 2842 2482 -2490 -2274 2226 -2502 2050 -2878 2214 2106 -2774 2890 -2138 2390 2034 -2054 2714 2658 -2890 -1990 -2046 2478 1990 2250 -2618 2210 2042 -2058 -2358 2438 -2370 2438 -2306 2838 -2522 -2018 -2070 2490 2874 -2730 2718 2034 2074 2882 1998 2034 -2722 -2874 2202 2354 2574 -2038 2866 1990 -2306 -2802 2414 -2186 2026 2186 -2342 -2506 2170 -2382 -2342 2062 -2186 2442 -2842 2342 2806 2654 -2890 2274 2034 2894 2402 2278 -2050 2750 -2878 2106 -2066 -2826 -2546 -2534 2218 2510 -2826 2006 -2878 -2878 2030 2570 2858 -2382 2870 -2038 -2734 -2430 -2006 -2094 -2362 2686 2670 -2806 2490 -2298 -1994 -2410 2034 2894 2826 -2678 -1998 -2826 2818 -2206 -2734 -1990 2630 -2846 -2850 2274 -2866 -2034 -2854 2514 -2054 1998 -2578 2854 2506 2046 -2090 2742 -2850 2466 -2190 2142 2378 -2634 -2122 2054 -2034 2414 2694 2002 -2722 2034 2378 2378 2798 2098 -2010 2862 -2342 2854 2466 -2030 -2674 2850 -2746 2586 -2038 2026 -2878 -2842 2582 2618 2826 -2838 -2806 2154 2042 2890 2042 2366 2858 -2322 1998 2114 2054 2286 -2790 -2886 -2066 -2430 2746 2758 2434 -2886 -2654 -2622 -2010 2878 -2018 -2258 2450 2038 -2162 2874 -2010 2366 2798 -2522 -2030 -2026 2842 2766 2566 2530 2762 -2022 -2510 2014 2626 -2090 -1990 -1994 -2110 -2106 2778 -2858 2034 -2662 2818 -2702 2838 2426 -2546 2470 2838 2630 2878 -2882 -1994 -2498 -2066 -2894 -2566 -2834 2834 -2802 2882 2286 -2018 1994 -2894 2738 1990 -2274 1994 2406 2042 2102 2498 -2326 -2858 2054

Verifier Data (download as text)

1706 unsatisfied constraints, 16894 satisfied constraints

Watcher Data (download as text)

runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node48/watcher-275648-1169224720 -o ROOT/results/node48/solver-275648-1169224720 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/275648-1169224720/unknown.xml 

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

/proc/loadavg: 1.28 1.81 1.94 3/68 25287
/proc/meminfo: memFree=1372088/2055920 swapFree=4192812/4192956
[pid=25286] ppid=25284 vsize=1784 CPUtime=0
/proc/25286/stat : 25286 (java) R 25284 25286 25153 0 -1 0 194 0 0 0 0 0 0 0 19 0 1 0 270870756 1826816 160 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 0 0 0 17 0 0 0
/proc/25286/statm: 446 160 125 14 0 91 0

[startup+0.106216 s]
/proc/loadavg: 1.28 1.81 1.94 3/68 25287
/proc/meminfo: memFree=1372088/2055920 swapFree=4192812/4192956
[pid=25286] ppid=25284 vsize=912908 CPUtime=0.07
/proc/25286/stat : 25286 (java) S 25284 25286 25153 0 -1 0 2834 0 1 0 6 1 0 0 17 0 8 0 270870756 934817792 2580 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25286/statm: 228227 2583 1392 14 0 215128 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 912908

[startup+0.514256 s]
/proc/loadavg: 1.28 1.81 1.94 3/68 25287
/proc/meminfo: memFree=1372088/2055920 swapFree=4192812/4192956
[pid=25286] ppid=25284 vsize=915332 CPUtime=0.48
/proc/25286/stat : 25286 (java) R 25284 25286 25153 0 -1 0 7194 0 1 0 44 4 0 0 18 0 8 0 270870756 937299968 6933 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4152819938 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25286/statm: 228833 6937 2143 14 0 215303 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915332

[startup+1.34233 s]
/proc/loadavg: 1.28 1.81 1.94 4/87 25306
/proc/meminfo: memFree=1205792/2055920 swapFree=4192812/4192956
[pid=25286] ppid=25284 vsize=915612 CPUtime=1.3
/proc/25286/stat : 25286 (java) R 25284 25286 25153 0 -1 0 24148 0 1 0 119 11 0 0 24 0 8 0 270870756 937586688 23885 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073763555 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25286/statm: 228903 23885 2164 14 0 215373 0
[pid=25286/tid=25293] ppid=25284 vsize=915612 CPUtime=0.09
/proc/25286/task/25293/stat : 25293 (java) S 25284 25286 25153 0 -1 64 7589 0 0 0 7 2 0 0 16 0 8 0 270870761 937586688 23885 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25286/tid=25294] ppid=25284 vsize=915612 CPUtime=0
/proc/25286/task/25294/stat : 25294 (java) S 25284 25286 25153 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270870762 937586688 23885 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25286/tid=25295] ppid=25284 vsize=915612 CPUtime=0
/proc/25286/task/25295/stat : 25295 (java) S 25284 25286 25153 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270870762 937586688 23885 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25286/tid=25299] ppid=25284 vsize=915612 CPUtime=0
/proc/25286/task/25299/stat : 25299 (java) S 25284 25286 25153 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270870765 937586688 23885 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25286/tid=25300] ppid=25284 vsize=915612 CPUtime=0.15
/proc/25286/task/25300/stat : 25300 (java) S 25284 25286 25153 0 -1 64 403 0 0 0 15 0 0 0 16 0 8 0 270870765 937586688 23885 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25286/tid=25301] ppid=25284 vsize=915612 CPUtime=0
/proc/25286/task/25301/stat : 25301 (java) S 25284 25286 25153 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270870765 937586688 23885 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25286/tid=25302] ppid=25284 vsize=915612 CPUtime=0
/proc/25286/task/25302/stat : 25302 (java) S 25284 25286 25153 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270870765 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.98647 s]
/proc/loadavg: 1.28 1.81 1.94 3/87 25306
/proc/meminfo: memFree=1196384/2055920 swapFree=4192812/4192956
[pid=25286] ppid=25284 vsize=915744 CPUtime=2.94
/proc/25286/stat : 25286 (java) R 25284 25286 25153 0 -1 0 24224 0 1 0 282 12 0 0 25 0 8 0 270870756 937721856 23959 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073826476 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25286/statm: 228936 23959 2184 14 0 215406 0
[pid=25286/tid=25293] ppid=25284 vsize=915744 CPUtime=0.11
/proc/25286/task/25293/stat : 25293 (java) S 25284 25286 25153 0 -1 64 7589 0 0 0 9 2 0 0 17 0 8 0 270870761 937721856 23959 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25286/tid=25294] ppid=25284 vsize=915744 CPUtime=0
/proc/25286/task/25294/stat : 25294 (java) S 25284 25286 25153 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270870762 937721856 23959 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25286/tid=25295] ppid=25284 vsize=915744 CPUtime=0
/proc/25286/task/25295/stat : 25295 (java) S 25284 25286 25153 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270870762 937721856 23959 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25286/tid=25299] ppid=25284 vsize=915744 CPUtime=0
/proc/25286/task/25299/stat : 25299 (java) S 25284 25286 25153 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270870765 937721856 23959 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25286/tid=25300] ppid=25284 vsize=915744 CPUtime=0.17
/proc/25286/task/25300/stat : 25300 (java) S 25284 25286 25153 0 -1 64 415 0 0 0 17 0 0 0 15 0 8 0 270870765 937721856 23959 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25286/tid=25301] ppid=25284 vsize=915744 CPUtime=0
/proc/25286/task/25301/stat : 25301 (java) S 25284 25286 25153 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270870765 937721856 23959 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25286/tid=25302] ppid=25284 vsize=915744 CPUtime=0
/proc/25286/task/25302/stat : 25302 (java) S 25284 25286 25153 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270870765 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.94
Current children cumulated vsize (KiB) 915744

[startup+6.26578 s]
/proc/loadavg: 1.34 1.81 1.94 3/87 25306
/proc/meminfo: memFree=1196256/2055920 swapFree=4192812/4192956
[pid=25286] ppid=25284 vsize=915744 CPUtime=6.2
/proc/25286/stat : 25286 (java) R 25284 25286 25153 0 -1 0 24227 0 1 0 608 12 0 0 25 0 8 0 270870756 937721856 23961 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073828551 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25286/statm: 228936 23961 2184 14 0 215406 0
[pid=25286/tid=25293] ppid=25284 vsize=915744 CPUtime=0.11
/proc/25286/task/25293/stat : 25293 (java) S 25284 25286 25153 0 -1 64 7589 0 0 0 9 2 0 0 16 0 8 0 270870761 937721856 23961 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25286/tid=25294] ppid=25284 vsize=915744 CPUtime=0
/proc/25286/task/25294/stat : 25294 (java) S 25284 25286 25153 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270870762 937721856 23961 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25286/tid=25295] ppid=25284 vsize=915744 CPUtime=0
/proc/25286/task/25295/stat : 25295 (java) S 25284 25286 25153 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270870762 937721856 23961 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25286/tid=25299] ppid=25284 vsize=915744 CPUtime=0
/proc/25286/task/25299/stat : 25299 (java) S 25284 25286 25153 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270870765 937721856 23961 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25286/tid=25300] ppid=25284 vsize=915744 CPUtime=0.17
/proc/25286/task/25300/stat : 25300 (java) S 25284 25286 25153 0 -1 64 417 0 0 0 17 0 0 0 15 0 8 0 270870765 937721856 23961 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25286/tid=25301] ppid=25284 vsize=915744 CPUtime=0
/proc/25286/task/25301/stat : 25301 (java) S 25284 25286 25153 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270870765 937721856 23961 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25286/tid=25302] ppid=25284 vsize=915744 CPUtime=0
/proc/25286/task/25302/stat : 25302 (java) S 25284 25286 25153 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270870765 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.2
Current children cumulated vsize (KiB) 915744

[startup+12.7524 s]
/proc/loadavg: 1.39 1.82 1.94 3/87 25306
/proc/meminfo: memFree=1196264/2055920 swapFree=4192812/4192956
[pid=25286] ppid=25284 vsize=915744 CPUtime=12.66
/proc/25286/stat : 25286 (java) R 25284 25286 25153 0 -1 0 24239 0 1 0 1253 13 0 0 25 0 8 0 270870756 937721856 23972 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073831537 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25286/statm: 228936 23972 2185 14 0 215406 0
[pid=25286/tid=25293] ppid=25284 vsize=915744 CPUtime=0.11
/proc/25286/task/25293/stat : 25293 (java) S 25284 25286 25153 0 -1 64 7589 0 0 0 9 2 0 0 16 0 8 0 270870761 937721856 23972 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25286/tid=25294] ppid=25284 vsize=915744 CPUtime=0
/proc/25286/task/25294/stat : 25294 (java) S 25284 25286 25153 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270870762 937721856 23972 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25286/tid=25295] ppid=25284 vsize=915744 CPUtime=0
/proc/25286/task/25295/stat : 25295 (java) S 25284 25286 25153 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270870762 937721856 23972 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25286/tid=25299] ppid=25284 vsize=915744 CPUtime=0
/proc/25286/task/25299/stat : 25299 (java) S 25284 25286 25153 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270870765 937721856 23972 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25286/tid=25300] ppid=25284 vsize=915744 CPUtime=0.19
/proc/25286/task/25300/stat : 25300 (java) S 25284 25286 25153 0 -1 64 427 0 0 0 19 0 0 0 16 0 8 0 270870765 937721856 23972 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25286/tid=25301] ppid=25284 vsize=915744 CPUtime=0
/proc/25286/task/25301/stat : 25301 (java) S 25284 25286 25153 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270870765 937721856 23972 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25286/tid=25302] ppid=25284 vsize=915744 CPUtime=0
/proc/25286/task/25302/stat : 25302 (java) S 25284 25286 25153 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270870765 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.66
Current children cumulated vsize (KiB) 915744

[startup+25.5976 s]
/proc/loadavg: 1.52 1.83 1.94 3/87 25306
/proc/meminfo: memFree=1178536/2055920 swapFree=4192812/4192956
[pid=25286] ppid=25284 vsize=915744 CPUtime=25.45
/proc/25286/stat : 25286 (java) R 25284 25286 25153 0 -1 0 26488 0 1 0 2529 16 0 0 25 0 8 0 270870756 937721856 26219 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073828391 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25286/statm: 228936 26219 2185 14 0 215406 0
[pid=25286/tid=25293] ppid=25284 vsize=915744 CPUtime=0.19
/proc/25286/task/25293/stat : 25293 (java) S 25284 25286 25153 0 -1 64 9830 0 0 0 16 3 0 0 16 0 8 0 270870761 937721856 26219 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25286/tid=25294] ppid=25284 vsize=915744 CPUtime=0
/proc/25286/task/25294/stat : 25294 (java) S 25284 25286 25153 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270870762 937721856 26219 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25286/tid=25295] ppid=25284 vsize=915744 CPUtime=0
/proc/25286/task/25295/stat : 25295 (java) S 25284 25286 25153 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270870762 937721856 26219 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25286/tid=25299] ppid=25284 vsize=915744 CPUtime=0
/proc/25286/task/25299/stat : 25299 (java) S 25284 25286 25153 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270870765 937721856 26219 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25286/tid=25300] ppid=25284 vsize=915744 CPUtime=0.2
/proc/25286/task/25300/stat : 25300 (java) S 25284 25286 25153 0 -1 64 433 0 0 0 20 0 0 0 16 0 8 0 270870765 937721856 26219 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25286/tid=25301] ppid=25284 vsize=915744 CPUtime=0
/proc/25286/task/25301/stat : 25301 (java) S 25284 25286 25153 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270870765 937721856 26219 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25286/tid=25302] ppid=25284 vsize=915744 CPUtime=0
/proc/25286/task/25302/stat : 25302 (java) S 25284 25286 25153 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270870765 937721856 26219 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.2969 s]
/proc/loadavg: 1.69 1.84 1.94 3/87 25306
/proc/meminfo: memFree=1166120/2055920 swapFree=4192812/4192956
[pid=25286] ppid=25284 vsize=915744 CPUtime=51
/proc/25286/stat : 25286 (java) R 25284 25286 25153 0 -1 0 28058 0 1 0 5080 20 0 0 25 0 8 0 270870756 937721856 27787 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073828448 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25286/statm: 228936 27787 2185 14 0 215406 0
[pid=25286/tid=25293] ppid=25284 vsize=915744 CPUtime=0.27
/proc/25286/task/25293/stat : 25293 (java) S 25284 25286 25153 0 -1 64 11397 0 0 0 23 4 0 0 16 0 8 0 270870761 937721856 27787 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25286/tid=25294] ppid=25284 vsize=915744 CPUtime=0
/proc/25286/task/25294/stat : 25294 (java) S 25284 25286 25153 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270870762 937721856 27787 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25286/tid=25295] ppid=25284 vsize=915744 CPUtime=0
/proc/25286/task/25295/stat : 25295 (java) S 25284 25286 25153 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270870762 937721856 27787 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25286/tid=25299] ppid=25284 vsize=915744 CPUtime=0
/proc/25286/task/25299/stat : 25299 (java) S 25284 25286 25153 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270870765 937721856 27787 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25286/tid=25300] ppid=25284 vsize=915744 CPUtime=0.21
/proc/25286/task/25300/stat : 25300 (java) S 25284 25286 25153 0 -1 64 434 0 0 0 21 0 0 0 15 0 8 0 270870765 937721856 27787 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25286/tid=25301] ppid=25284 vsize=915744 CPUtime=0
/proc/25286/task/25301/stat : 25301 (java) S 25284 25286 25153 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270870765 937721856 27787 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25286/tid=25302] ppid=25284 vsize=915744 CPUtime=0
/proc/25286/task/25302/stat : 25302 (java) S 25284 25286 25153 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270870765 937721856 27787 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 51
Current children cumulated vsize (KiB) 915744

[startup+102.517 s]
/proc/loadavg: 1.86 1.86 1.94 3/87 25306
/proc/meminfo: memFree=1121448/2055920 swapFree=4192812/4192956
[pid=25286] ppid=25284 vsize=915744 CPUtime=101.94
/proc/25286/stat : 25286 (java) R 25284 25286 25153 0 -1 0 33794 0 1 0 10159 35 0 0 25 0 8 0 270870756 937721856 33515 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073827111 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25286/statm: 228936 33515 2504 14 0 215406 0
[pid=25286/tid=25293] ppid=25284 vsize=915744 CPUtime=0.71
/proc/25286/task/25293/stat : 25293 (java) S 25284 25286 25153 0 -1 64 16736 0 0 0 66 5 0 0 16 0 8 0 270870761 937721856 33515 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25286/tid=25294] ppid=25284 vsize=915744 CPUtime=0
/proc/25286/task/25294/stat : 25294 (java) S 25284 25286 25153 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270870762 937721856 33515 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25286/tid=25295] ppid=25284 vsize=915744 CPUtime=0
/proc/25286/task/25295/stat : 25295 (java) S 25284 25286 25153 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270870762 937721856 33515 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25286/tid=25299] ppid=25284 vsize=915744 CPUtime=0
/proc/25286/task/25299/stat : 25299 (java) S 25284 25286 25153 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270870765 937721856 33515 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25286/tid=25300] ppid=25284 vsize=915744 CPUtime=0.29
/proc/25286/task/25300/stat : 25300 (java) S 25284 25286 25153 0 -1 64 478 0 0 0 28 1 0 0 16 0 8 0 270870765 937721856 33515 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25286/tid=25301] ppid=25284 vsize=915744 CPUtime=0
/proc/25286/task/25301/stat : 25301 (java) S 25284 25286 25153 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270870765 937721856 33515 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25286/tid=25302] ppid=25284 vsize=915744 CPUtime=0
/proc/25286/task/25302/stat : 25302 (java) S 25284 25286 25153 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270870765 937721856 33515 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.94
Current children cumulated vsize (KiB) 915744

[startup+162.588 s]
/proc/loadavg: 2.00 1.90 1.94 3/87 25306
/proc/meminfo: memFree=1121384/2055920 swapFree=4192812/4192956
[pid=25286] ppid=25284 vsize=915744 CPUtime=161.71
/proc/25286/stat : 25286 (java) R 25284 25286 25153 0 -1 0 33795 0 1 0 16130 41 0 0 25 0 8 0 270870756 937721856 33516 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073829047 0 4 0 23759 18446744073709551615 0 0 17 1 0 0

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

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

[startup+2084.75 s]
/proc/loadavg: 2.00 2.00 1.99 3/87 25504
/proc/meminfo: memFree=981872/2055920 swapFree=4192812/4192956
[pid=25286] ppid=25284 vsize=915980 CPUtime=2077.78
/proc/25286/stat : 25286 (java) R 25284 25286 25153 0 -1 0 51230 0 1 0 207708 70 0 0 25 0 8 0 270870756 937963520 50935 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073826407 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25286/statm: 228995 50935 2551 14 0 215465 0
[pid=25286/tid=25293] ppid=25284 vsize=915980 CPUtime=0.91
/proc/25286/task/25293/stat : 25293 (java) S 25284 25286 25153 0 -1 64 33932 0 0 0 79 12 0 0 16 0 8 0 270870761 937963520 50935 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25286/tid=25294] ppid=25284 vsize=915980 CPUtime=0
/proc/25286/task/25294/stat : 25294 (java) S 25284 25286 25153 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270870762 937963520 50935 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25286/tid=25295] ppid=25284 vsize=915980 CPUtime=0
/proc/25286/task/25295/stat : 25295 (java) S 25284 25286 25153 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270870762 937963520 50935 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25286/tid=25299] ppid=25284 vsize=915980 CPUtime=0
/proc/25286/task/25299/stat : 25299 (java) S 25284 25286 25153 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270870765 937963520 50935 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25286/tid=25300] ppid=25284 vsize=915980 CPUtime=0.41
/proc/25286/task/25300/stat : 25300 (java) S 25284 25286 25153 0 -1 64 607 0 0 0 40 1 0 0 16 0 8 0 270870765 937963520 50935 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25286/tid=25301] ppid=25284 vsize=915980 CPUtime=0
/proc/25286/task/25301/stat : 25301 (java) S 25284 25286 25153 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270870765 937963520 50935 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25286/tid=25302] ppid=25284 vsize=915980 CPUtime=0
/proc/25286/task/25302/stat : 25302 (java) S 25284 25286 25153 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270870765 937963520 50935 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2077.78
Current children cumulated vsize (KiB) 915980

[startup+2144.81 s]
/proc/loadavg: 2.00 2.00 1.99 3/87 25504
/proc/meminfo: memFree=981872/2055920 swapFree=4192812/4192956
[pid=25286] ppid=25284 vsize=915980 CPUtime=2137.83
/proc/25286/stat : 25286 (java) R 25284 25286 25153 0 -1 0 51230 0 1 0 213713 70 0 0 25 0 8 0 270870756 937963520 50935 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074008888 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25286/statm: 228995 50935 2551 14 0 215465 0
[pid=25286/tid=25293] ppid=25284 vsize=915980 CPUtime=0.91
/proc/25286/task/25293/stat : 25293 (java) S 25284 25286 25153 0 -1 64 33932 0 0 0 79 12 0 0 16 0 8 0 270870761 937963520 50935 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25286/tid=25294] ppid=25284 vsize=915980 CPUtime=0
/proc/25286/task/25294/stat : 25294 (java) S 25284 25286 25153 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270870762 937963520 50935 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25286/tid=25295] ppid=25284 vsize=915980 CPUtime=0
/proc/25286/task/25295/stat : 25295 (java) S 25284 25286 25153 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270870762 937963520 50935 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25286/tid=25299] ppid=25284 vsize=915980 CPUtime=0
/proc/25286/task/25299/stat : 25299 (java) S 25284 25286 25153 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270870765 937963520 50935 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25286/tid=25300] ppid=25284 vsize=915980 CPUtime=0.41
/proc/25286/task/25300/stat : 25300 (java) S 25284 25286 25153 0 -1 64 607 0 0 0 40 1 0 0 16 0 8 0 270870765 937963520 50935 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25286/tid=25301] ppid=25284 vsize=915980 CPUtime=0
/proc/25286/task/25301/stat : 25301 (java) S 25284 25286 25153 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270870765 937963520 50935 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25286/tid=25302] ppid=25284 vsize=915980 CPUtime=0
/proc/25286/task/25302/stat : 25302 (java) S 25284 25286 25153 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270870765 937963520 50935 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2137.83
Current children cumulated vsize (KiB) 915980

[startup+2204.88 s]
/proc/loadavg: 2.00 2.00 1.99 3/87 25504
/proc/meminfo: memFree=981872/2055920 swapFree=4192812/4192956
[pid=25286] ppid=25284 vsize=915980 CPUtime=2197.88
/proc/25286/stat : 25286 (java) R 25284 25286 25153 0 -1 0 51230 0 1 0 219718 70 0 0 25 0 8 0 270870756 937963520 50935 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073825212 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25286/statm: 228995 50935 2551 14 0 215465 0
[pid=25286/tid=25293] ppid=25284 vsize=915980 CPUtime=0.91
/proc/25286/task/25293/stat : 25293 (java) S 25284 25286 25153 0 -1 64 33932 0 0 0 79 12 0 0 16 0 8 0 270870761 937963520 50935 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25286/tid=25294] ppid=25284 vsize=915980 CPUtime=0
/proc/25286/task/25294/stat : 25294 (java) S 25284 25286 25153 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270870762 937963520 50935 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25286/tid=25295] ppid=25284 vsize=915980 CPUtime=0
/proc/25286/task/25295/stat : 25295 (java) S 25284 25286 25153 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270870762 937963520 50935 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25286/tid=25299] ppid=25284 vsize=915980 CPUtime=0
/proc/25286/task/25299/stat : 25299 (java) S 25284 25286 25153 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270870765 937963520 50935 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25286/tid=25300] ppid=25284 vsize=915980 CPUtime=0.41
/proc/25286/task/25300/stat : 25300 (java) S 25284 25286 25153 0 -1 64 607 0 0 0 40 1 0 0 16 0 8 0 270870765 937963520 50935 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25286/tid=25301] ppid=25284 vsize=915980 CPUtime=0
/proc/25286/task/25301/stat : 25301 (java) S 25284 25286 25153 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270870765 937963520 50935 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25286/tid=25302] ppid=25284 vsize=915980 CPUtime=0
/proc/25286/task/25302/stat : 25302 (java) S 25284 25286 25153 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270870765 937963520 50935 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2197.88
Current children cumulated vsize (KiB) 915980

[startup+2264.95 s]
/proc/loadavg: 2.00 2.00 1.99 3/87 25504
/proc/meminfo: memFree=981872/2055920 swapFree=4192812/4192956
[pid=25286] ppid=25284 vsize=915980 CPUtime=2257.93
/proc/25286/stat : 25286 (java) R 25284 25286 25153 0 -1 0 51230 0 1 0 225723 70 0 0 25 0 8 0 270870756 937963520 50935 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074329042 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25286/statm: 228995 50935 2551 14 0 215465 0
[pid=25286/tid=25293] ppid=25284 vsize=915980 CPUtime=0.91
/proc/25286/task/25293/stat : 25293 (java) S 25284 25286 25153 0 -1 64 33932 0 0 0 79 12 0 0 16 0 8 0 270870761 937963520 50935 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25286/tid=25294] ppid=25284 vsize=915980 CPUtime=0
/proc/25286/task/25294/stat : 25294 (java) S 25284 25286 25153 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270870762 937963520 50935 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25286/tid=25295] ppid=25284 vsize=915980 CPUtime=0
/proc/25286/task/25295/stat : 25295 (java) S 25284 25286 25153 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270870762 937963520 50935 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25286/tid=25299] ppid=25284 vsize=915980 CPUtime=0
/proc/25286/task/25299/stat : 25299 (java) S 25284 25286 25153 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270870765 937963520 50935 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25286/tid=25300] ppid=25284 vsize=915980 CPUtime=0.41
/proc/25286/task/25300/stat : 25300 (java) S 25284 25286 25153 0 -1 64 607 0 0 0 40 1 0 0 16 0 8 0 270870765 937963520 50935 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25286/tid=25301] ppid=25284 vsize=915980 CPUtime=0
/proc/25286/task/25301/stat : 25301 (java) S 25284 25286 25153 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270870765 937963520 50935 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25286/tid=25302] ppid=25284 vsize=915980 CPUtime=0
/proc/25286/task/25302/stat : 25302 (java) S 25284 25286 25153 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270870765 937963520 50935 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2257.93
Current children cumulated vsize (KiB) 915980

[startup+2325.02 s]
/proc/loadavg: 2.00 2.00 1.99 3/87 25504
/proc/meminfo: memFree=981808/2055920 swapFree=4192812/4192956
[pid=25286] ppid=25284 vsize=915980 CPUtime=2317.99
/proc/25286/stat : 25286 (java) R 25284 25286 25153 0 -1 0 51230 0 1 0 231729 70 0 0 25 0 8 0 270870756 937963520 50935 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074293210 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25286/statm: 228995 50935 2551 14 0 215465 0
[pid=25286/tid=25293] ppid=25284 vsize=915980 CPUtime=0.91
/proc/25286/task/25293/stat : 25293 (java) S 25284 25286 25153 0 -1 64 33932 0 0 0 79 12 0 0 16 0 8 0 270870761 937963520 50935 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25286/tid=25294] ppid=25284 vsize=915980 CPUtime=0
/proc/25286/task/25294/stat : 25294 (java) S 25284 25286 25153 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270870762 937963520 50935 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25286/tid=25295] ppid=25284 vsize=915980 CPUtime=0
/proc/25286/task/25295/stat : 25295 (java) S 25284 25286 25153 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270870762 937963520 50935 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25286/tid=25299] ppid=25284 vsize=915980 CPUtime=0
/proc/25286/task/25299/stat : 25299 (java) S 25284 25286 25153 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270870765 937963520 50935 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25286/tid=25300] ppid=25284 vsize=915980 CPUtime=0.41
/proc/25286/task/25300/stat : 25300 (java) S 25284 25286 25153 0 -1 64 607 0 0 0 40 1 0 0 16 0 8 0 270870765 937963520 50935 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25286/tid=25301] ppid=25284 vsize=915980 CPUtime=0
/proc/25286/task/25301/stat : 25301 (java) S 25284 25286 25153 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270870765 937963520 50935 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25286/tid=25302] ppid=25284 vsize=915980 CPUtime=0
/proc/25286/task/25302/stat : 25302 (java) S 25284 25286 25153 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270870765 937963520 50935 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2317.99
Current children cumulated vsize (KiB) 915980

[startup+2385.1 s]
/proc/loadavg: 2.00 2.00 1.99 3/87 25504
/proc/meminfo: memFree=981808/2055920 swapFree=4192812/4192956
[pid=25286] ppid=25284 vsize=915980 CPUtime=2378.05
/proc/25286/stat : 25286 (java) R 25284 25286 25153 0 -1 0 51234 0 1 0 237735 70 0 0 25 0 8 0 270870756 937963520 50935 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073829942 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25286/statm: 228995 50935 2551 14 0 215465 0
[pid=25286/tid=25293] ppid=25284 vsize=915980 CPUtime=0.91
/proc/25286/task/25293/stat : 25293 (java) S 25284 25286 25153 0 -1 64 33932 0 0 0 79 12 0 0 16 0 8 0 270870761 937963520 50935 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25286/tid=25294] ppid=25284 vsize=915980 CPUtime=0
/proc/25286/task/25294/stat : 25294 (java) S 25284 25286 25153 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270870762 937963520 50935 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25286/tid=25295] ppid=25284 vsize=915980 CPUtime=0
/proc/25286/task/25295/stat : 25295 (java) S 25284 25286 25153 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270870762 937963520 50935 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25286/tid=25299] ppid=25284 vsize=915980 CPUtime=0
/proc/25286/task/25299/stat : 25299 (java) S 25284 25286 25153 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270870765 937963520 50935 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25286/tid=25300] ppid=25284 vsize=915980 CPUtime=0.41
/proc/25286/task/25300/stat : 25300 (java) S 25284 25286 25153 0 -1 64 608 0 0 0 40 1 0 0 16 0 8 0 270870765 937963520 50935 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25286/tid=25301] ppid=25284 vsize=915980 CPUtime=0
/proc/25286/task/25301/stat : 25301 (java) S 25284 25286 25153 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270870765 937963520 50935 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25286/tid=25302] ppid=25284 vsize=915980 CPUtime=0
/proc/25286/task/25302/stat : 25302 (java) S 25284 25286 25153 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270870765 937963520 50935 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2378.05
Current children cumulated vsize (KiB) 915980



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2407.13 s]
/proc/loadavg: 2.00 2.00 1.99 3/87 25504
/proc/meminfo: memFree=981808/2055920 swapFree=4192812/4192956
[pid=25286] ppid=25284 vsize=915980 CPUtime=2400.08
/proc/25286/stat : 25286 (java) R 25284 25286 25153 0 -1 0 51234 0 1 0 239938 70 0 0 25 0 8 0 270870756 937963520 50935 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074016588 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25286/statm: 228995 50935 2551 14 0 215465 0
[pid=25286/tid=25293] ppid=25284 vsize=915980 CPUtime=0.91
/proc/25286/task/25293/stat : 25293 (java) S 25284 25286 25153 0 -1 64 33932 0 0 0 79 12 0 0 16 0 8 0 270870761 937963520 50935 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25286/tid=25294] ppid=25284 vsize=915980 CPUtime=0
/proc/25286/task/25294/stat : 25294 (java) S 25284 25286 25153 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270870762 937963520 50935 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25286/tid=25295] ppid=25284 vsize=915980 CPUtime=0
/proc/25286/task/25295/stat : 25295 (java) S 25284 25286 25153 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270870762 937963520 50935 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25286/tid=25299] ppid=25284 vsize=915980 CPUtime=0
/proc/25286/task/25299/stat : 25299 (java) S 25284 25286 25153 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270870765 937963520 50935 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25286/tid=25300] ppid=25284 vsize=915980 CPUtime=0.41
/proc/25286/task/25300/stat : 25300 (java) S 25284 25286 25153 0 -1 64 608 0 0 0 40 1 0 0 16 0 8 0 270870765 937963520 50935 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25286/tid=25301] ppid=25284 vsize=915980 CPUtime=0
/proc/25286/task/25301/stat : 25301 (java) S 25284 25286 25153 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270870765 937963520 50935 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25286/tid=25302] ppid=25284 vsize=915980 CPUtime=0
/proc/25286/task/25302/stat : 25302 (java) S 25284 25286 25153 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270870765 937963520 50935 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2400.08
Current children cumulated vsize (KiB) 915980

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

Child status: 143
Real time (s): 2407.23
CPU time (s): 2400.18
CPU user time (s): 2399.44
CPU system time (s): 0.738887
CPU usage (%): 99.7071
Max. virtual memory (cumulated for all children) (KiB): 915980

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.44
system time used= 0.738887
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 51258
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= 50551
involuntary context switches= 76620

runsolver used 2.57461 s user time and 6.36403 s system time

The end

Launcher Data (download as text)

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


IDJOB= 275648
IDBENCH= 4189
IDSOLVER= 68
FILE ID= node48/275648-1169224720

PBS_JOBID= 3589214

Free space on /tmp= 66556 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  d481a9361d80c6f0d8e85c5a29d689ed

RANDOM SEED= 233676398

TIME LIMIT= 2400 seconds

MEMORY LIMIT= 900 MiB


/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.218
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.218
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1372368 kB
Buffers:         48436 kB
Cached:         538744 kB
SwapCached:          0 kB
Active:         137944 kB
Inactive:       469476 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1372368 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            8824 kB
Writeback:           0 kB
Mapped:          30360 kB
Slab:            61768 kB
Committed_AS:  5481076 kB
PageTables:       1668 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= 66556 MiB



End job on node48 on Fri Jan 19 17:18:48 UTC 2007