Trace number 275646

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
AbsconMax 109 PFCMSAT (TO) 2400.11 2406.71

General information on the benchmark

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

Quality of the solution as a function of time


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

Solver Data (download as text)

0.31	   
0.31	Abscon 109 (November, 2006)
0.31	   
0.31	   configuration
0.31	     name=pfc.xml
0.35	   
0.35	   instance
0.35	     name=/tmp/evaluation/275646-1169224710/unknown.xml
0.38	   
0.38	   domains being loaded...
0.42	   
0.42	   variables being loaded...
0.70	     nbVariables=2000  nbDomainTypes=26  minDomainSize=46  maxDomainSize=454
0.70	       =>  wckTime=0.387  cpuTime=0.28  mem=34M241
0.70	   
0.70	   predicates being loaded...
0.71	   
0.71	   constraints being loaded...
61.06	   
61.06	   INFO : Stopping converting binary constraints (cpu=60.04, mem = 66M596)
62.55	     nbConstraints=18600  nbConvertedConstraints=2044  nbConvertConstraintsChecks=196963840  nbExtensionStructures=1640
62.55	     nbSharedExtensionStructures=404  nbConflictsStructures=1640  nbSharedConflictsStructures=404
62.55	     nbSharedBinaryRepresentations=1086324  nbEvaluationManagers=8092  nbSharedEvaluationManagers=8464  maxDegree=25
62.55	     maxArity=2
62.55	       =>  wckTime=62.239  cpuTime=61.25  mem=75M707
62.81	   
62.81	   solver LocalSearchSolver being built... 
62.85	       =>  wckTime=62.535  cpuTime=61.3  mem=63M438
63.00	
63.00	s SATISFIABLE
63.00	o 13255
63.00	c 5345
63.12	o 13262
63.12	c 5338
63.19	o 13269
63.19	c 5331
63.25	o 13273
63.25	c 5327
63.28	o 13277
63.28	c 5323
63.33	o 13279
63.33	c 5321
63.39	o 13281
63.39	c 5319
63.43	o 13287
63.43	c 5313
63.48	o 13293
63.48	c 5307
63.52	o 13299
63.52	c 5301
63.57	o 13304
63.57	c 5296
63.61	o 13309
63.61	c 5291
63.66	o 13313
63.66	c 5287
63.70	o 13317
63.70	c 5283
63.73	o 13321
63.73	c 5279
63.77	o 13325
63.77	c 5275
63.80	o 13329
63.80	c 5271
63.83	o 13332
63.83	c 5268
63.87	o 13335
63.87	c 5265
63.89	o 13338
63.89	c 5262
63.93	o 13341
63.93	c 5259
63.97	o 13343
63.97	c 5257
64.01	o 13345
64.01	c 5255
64.03	o 13347
64.03	c 5253
64.05	o 13349
64.05	c 5251
64.08	o 13350
64.08	c 5250
64.12	o 13351
64.12	c 5249
64.15	o 13352
64.15	c 5248
64.19	o 13356
64.19	c 5244
64.23	o 13357
64.23	c 5243
64.26	o 13366
64.26	c 5234
64.30	o 13372
64.30	c 5228
64.35	o 13378
64.35	c 5222
64.40	o 13383
64.40	c 5217
64.44	o 13388
64.44	c 5212
64.50	o 13393
64.50	c 5207
64.54	o 13397
64.54	c 5203
64.59	o 13401
64.59	c 5199
64.63	o 13405
64.63	c 5195
64.69	o 13409
64.69	c 5191
64.73	o 13413
64.73	c 5187
64.78	o 13416
64.78	c 5184
64.82	o 13419
64.82	c 5181
64.86	o 13422
64.86	c 5178
64.90	o 13425
64.90	c 5175
64.94	o 13428
64.94	c 5172
64.98	o 13431
64.98	c 5169
65.02	o 13433
65.02	c 5167
65.06	o 13435
65.06	c 5165
65.10	o 13437
65.10	c 5163
65.14	o 13439
65.14	c 5161
65.18	o 13441
65.18	c 5159
65.22	o 13443
65.22	c 5157
65.24	o 13445
65.24	c 5155
65.27	o 13447
65.27	c 5153
65.29	o 13449
65.29	c 5151
65.31	o 13451
65.31	c 5149
65.33	o 13453
65.33	c 5147
65.35	o 13454
65.35	c 5146
65.36	o 13455
65.36	c 5145
65.37	o 13456
65.37	c 5144
65.40	o 13457
65.40	c 5143
65.41	o 13458
65.41	c 5142
65.45	o 13459
65.45	c 5141
65.50	o 13466
65.50	c 5134
65.56	o 13471
65.56	c 5129
65.62	o 13476
65.62	c 5124
65.68	o 13481
65.68	c 5119
65.73	o 13486
65.73	c 5114
65.79	o 13490
65.79	c 5110
65.85	o 13494
65.85	c 5106
65.90	o 13498
65.90	c 5102
65.96	o 13501
65.96	c 5099
66.02	o 13504
66.02	c 5096
66.08	o 13507
66.08	c 5093
66.14	o 13510
66.14	c 5090
66.19	o 13513
66.19	c 5087
66.25	o 13516
66.25	c 5084
66.31	o 13519
66.31	c 5081
66.35	o 13522
66.35	c 5078
66.41	o 13525
66.41	c 5075
66.46	o 13528
66.46	c 5072
66.50	o 13531
66.50	c 5069
66.54	o 13533
66.54	c 5067
66.58	o 13535
66.58	c 5065
66.62	o 13537
66.62	c 5063
66.65	o 13539
66.65	c 5061
66.69	o 13541
66.69	c 5059
66.72	o 13543
66.72	c 5057
66.75	o 13545
66.76	c 5055
66.79	o 13547
66.79	c 5053
66.84	o 13549
66.84	c 5051
66.87	o 13551
66.87	c 5049
66.90	o 13553
66.90	c 5047
66.92	o 13555
66.92	c 5045
66.95	o 13556
66.95	c 5044
66.97	o 13557
66.97	c 5043
66.99	o 13558
66.99	c 5042
67.01	o 13559
67.01	c 5041
67.03	o 13560
67.03	c 5040
67.08	o 13565
67.08	c 5035
67.12	o 13567
67.12	c 5033
67.15	o 13569
67.15	c 5031
67.17	o 13575
67.17	c 5025
67.18	o 13580
67.18	c 5020
67.21	o 13585
67.21	c 5015
67.22	o 13592
67.22	c 5008
67.24	o 13596
67.24	c 5004
67.28	o 13599
67.28	c 5001
67.31	o 13601
67.31	c 4999
67.34	o 13604
67.34	c 4996
67.36	o 13611
67.36	c 4989
67.40	o 13617
67.40	c 4983
67.43	o 13622
67.43	c 4978
67.46	o 13625
67.46	c 4975
67.48	o 13628
67.48	c 4972
67.52	o 13632
67.52	c 4968
67.55	o 13635
67.55	c 4965
67.58	o 13640
67.58	c 4960
67.61	o 13641
67.61	c 4959
67.65	o 13642
67.65	c 4958
67.69	o 13646
67.69	c 4954
67.72	o 13650
67.72	c 4950
67.77	o 13652
67.77	c 4948
67.81	o 13655
67.81	c 4945
67.89	o 13656
67.89	c 4944
67.95	o 13659
67.95	c 4941
67.99	o 13661
67.99	c 4939
68.05	o 13665
68.05	c 4935
68.10	o 13667
68.10	c 4933
68.16	o 13674
68.16	c 4926
68.23	o 13680
68.23	c 4920
68.30	o 13686
68.30	c 4914
68.37	o 13692
68.37	c 4908
68.44	o 13697
68.44	c 4903
68.51	o 13702
68.51	c 4898
68.58	o 13709
68.58	c 4891
68.64	o 13714
68.64	c 4886
68.72	o 13719
68.72	c 4881
68.79	o 13724
68.79	c 4876
68.86	o 13729
68.86	c 4871
68.93	o 13733
68.93	c 4867
69.00	o 13737
69.00	c 4863
69.06	o 13741
69.06	c 4859
69.13	o 13745
69.13	c 4855
69.19	o 13749
69.19	c 4851
69.25	o 13752
69.25	c 4848
69.31	o 13755
69.31	c 4845
69.37	o 13758
69.37	c 4842
69.43	o 13761
69.43	c 4839
69.48	o 13765
69.48	c 4835
69.54	o 13770
69.54	c 4830
69.60	o 13773
69.60	c 4827
69.64	o 13776
69.64	c 4824
69.68	o 13779
69.68	c 4821
69.73	o 13781
69.73	c 4819
69.82	o 13783
69.82	c 4817
69.85	o 13785
69.85	c 4815
69.89	o 13787
69.89	c 4813
69.93	o 13789
69.93	c 4811
69.98	o 13791
69.98	c 4809
70.02	o 13793
70.02	c 4807
70.05	o 13795
70.05	c 4805
70.08	o 13797
70.08	c 4803
70.12	o 13799
70.12	c 4801
70.17	o 13801
70.17	c 4799
70.20	o 13803
70.20	c 4797
70.24	o 13804
70.24	c 4796
70.27	o 13805
70.27	c 4795
70.31	o 13812
70.31	c 4788
70.34	o 13813
70.34	c 4787
70.37	o 13814
70.37	c 4786
70.41	o 13815
70.41	c 4785
70.44	o 13816
70.44	c 4784
70.47	o 13817
70.47	c 4783
70.49	o 13818
70.49	c 4782
70.52	o 13819
70.52	c 4781
70.58	o 13823
70.58	c 4777
70.61	o 13826
70.61	c 4774
70.63	o 13829
70.63	c 4771
70.65	o 13830
70.65	c 4770
70.67	o 13834
70.67	c 4766
70.74	o 13838
70.74	c 4762
70.77	o 13845
70.77	c 4755
70.81	o 13847
70.81	c 4753
70.83	o 13849
70.84	c 4751
70.87	o 13855
70.87	c 4745
70.92	o 13856
70.92	c 4744
70.96	o 13864
70.96	c 4736
70.99	o 13869
70.99	c 4731
71.03	o 13870
71.03	c 4730
71.06	o 13873
71.06	c 4727
71.10	o 13877
71.10	c 4723
71.14	o 13881
71.14	c 4719
71.22	o 13883
71.22	c 4717
71.25	o 13888
71.25	c 4712
71.33	o 13892
71.33	c 4708
71.36	o 13893
71.36	c 4707
71.40	o 13894
71.40	c 4706
71.43	o 13902
71.43	c 4698
71.48	o 13903
71.48	c 4697
71.52	o 13904
71.52	c 4696
71.56	o 13907
71.56	c 4693
71.60	o 13908
71.60	c 4692
71.64	o 13912
71.64	c 4688
71.67	o 13915
71.67	c 4685
71.70	o 13918
71.70	c 4682
71.74	o 13921
71.74	c 4679
71.77	o 13922
71.77	c 4678
71.80	o 13923
71.80	c 4677
71.84	o 13924
71.84	c 4676
71.87	o 13925
71.87	c 4675
71.90	o 13928
71.90	c 4672
71.93	o 13929
71.93	c 4671
71.97	o 13930
71.97	c 4670
72.01	o 13932
72.01	c 4668
72.05	o 13933
72.05	c 4667
72.10	o 13939
72.10	c 4661
72.15	o 13942
72.15	c 4658
72.27	o 13949
72.27	c 4651
72.34	o 13956
72.34	c 4644
72.42	o 13962
72.42	c 4638
72.49	o 13968
72.49	c 4632
72.56	o 13970
72.56	c 4630
72.62	o 13972
72.62	c 4628
72.70	o 13978
72.70	c 4622
72.77	o 13984
72.77	c 4616
72.85	o 13990
72.85	c 4610
73.00	o 13992
73.00	c 4608
73.08	o 13997
73.08	c 4603
73.17	o 14002
73.17	c 4598
73.25	o 14007
73.25	c 4593
73.48	o 14011
73.48	c 4589
73.56	o 14015
73.56	c 4585
73.65	o 14019
73.65	c 4581
73.74	o 14023
73.74	c 4577
73.82	o 14027
73.82	c 4573
73.90	o 14031
73.90	c 4569
73.98	o 14035
73.98	c 4565
74.06	o 14039
74.06	c 4561
74.14	o 14040
74.14	c 4560
74.21	o 14044
74.21	c 4556
74.29	o 14047
74.29	c 4553
74.37	o 14050
74.37	c 4550
74.45	o 14053
74.45	c 4547
74.53	o 14056
74.53	c 4544
74.61	o 14059
74.61	c 4541
74.68	o 14061
74.68	c 4539
74.75	o 14064
74.75	c 4536
74.82	o 14067
74.82	c 4533
74.90	o 14069
74.90	c 4531
74.96	o 14072
74.96	c 4528
75.01	o 14076
75.01	c 4524
75.07	o 14078
75.07	c 4522
75.13	o 14080
75.13	c 4520
75.19	o 14082
75.19	c 4518
75.24	o 14084
75.24	c 4516
75.29	o 14086
75.29	c 4514
75.34	o 14088
75.34	c 4512
75.39	o 14090
75.39	c 4510
75.45	o 14092
75.45	c 4508
75.50	o 14095
75.50	c 4505
75.54	o 14097
75.54	c 4503
75.59	o 14099
75.59	c 4501
75.63	o 14101
75.63	c 4499
75.68	o 14102
75.68	c 4498
75.72	o 14103
75.72	c 4497
75.77	o 14104
75.77	c 4496
75.81	o 14105
75.81	c 4495
75.84	o 14106
75.84	c 4494
75.89	o 14107
75.89	c 4493
75.93	o 14108
75.93	c 4492
75.96	o 14109
75.96	c 4491
76.12	o 14112
76.12	c 4488
76.18	o 14115
76.18	c 4485
76.21	o 14117
76.21	c 4483
76.27	o 14124
76.27	c 4476
76.32	o 14126
76.32	c 4474
76.38	o 14132
76.38	c 4468
76.48	o 14136
76.49	c 4464
76.70	o 14137
76.70	c 4463
76.75	o 14138
76.75	c 4462
76.81	o 14140
76.81	c 4460
76.85	o 14145
76.85	c 4455
76.91	o 14148
76.91	c 4452
77.10	o 14149
77.10	c 4451
77.15	o 14151
77.15	c 4449
77.20	o 14156
77.20	c 4444
77.25	o 14158
77.25	c 4442
77.30	o 14161
77.30	c 4439
77.36	o 14164
77.36	c 4436
77.40	o 14168
77.40	c 4432
77.47	o 14170
77.47	c 4430
77.51	o 14172
77.51	c 4428
77.56	o 14175
77.56	c 4425
77.61	o 14177
77.61	c 4423
77.67	o 14183
77.67	c 4417
77.72	o 14185
77.72	c 4415
77.76	o 14190
77.76	c 4410
77.81	o 14192
77.81	c 4408
77.91	o 14195
77.91	c 4405
78.03	o 14200
78.03	c 4400
78.08	o 14202
78.08	c 4398
78.13	o 14204
78.13	c 4396
78.18	o 14207
78.18	c 4393
78.28	o 14209
78.28	c 4391
78.33	o 14213
78.33	c 4387
78.38	o 14215
78.38	c 4385
78.42	o 14218
78.42	c 4382
78.48	o 14219
78.48	c 4381
78.53	o 14221
78.53	c 4379
78.58	o 14224
78.58	c 4376
78.63	o 14225
78.63	c 4375
78.68	o 14227
78.68	c 4373
78.72	o 14228
78.72	c 4372
78.85	o 14231
78.85	c 4369
78.89	o 14235
78.89	c 4365
78.93	o 14238
78.93	c 4362
78.97	o 14242
78.97	c 4358
79.00	o 14243
79.00	c 4357
79.10	o 14244
79.10	c 4356
79.15	o 14246
79.15	c 4354
79.19	o 14247
79.19	c 4353
79.24	o 14249
79.24	c 4351
79.30	o 14252
79.30	c 4348
79.35	o 14257
79.35	c 4343
79.39	o 14259
79.39	c 4341
79.44	o 14260
79.44	c 4340
79.48	o 14261
79.48	c 4339
79.58	o 14266
79.58	c 4334
79.63	o 14269
79.63	c 4331
79.67	o 14270
79.67	c 4330
79.71	o 14274
79.71	c 4326
79.75	o 14280
79.75	c 4320
79.78	o 14283
79.78	c 4317
79.82	o 14287
79.82	c 4313
79.86	o 14288
79.86	c 4312
79.91	o 14292
79.91	c 4308
79.99	o 14294
79.99	c 4306
80.06	o 14296
80.06	c 4304
80.11	o 14297
80.11	c 4303
80.21	o 14303
80.21	c 4297
80.25	o 14305
80.25	c 4295
80.30	o 14308
80.30	c 4292
80.35	o 14310
80.35	c 4290
80.40	o 14315
80.40	c 4285
80.47	o 14317
80.47	c 4283
80.53	o 14319
80.53	c 4281
80.60	o 14324
80.60	c 4276
80.68	o 14326
80.68	c 4274
80.75	o 14330
80.75	c 4270
80.82	o 14334
80.82	c 4266
80.88	o 14338
80.88	c 4262
80.95	o 14342
80.95	c 4258
81.02	o 14346
81.02	c 4254
81.08	o 14350
81.08	c 4250
81.15	o 14354
81.15	c 4246
81.22	o 14358
81.22	c 4242
81.28	o 14361
81.28	c 4239
81.34	o 14364
81.34	c 4236
81.41	o 14368
81.41	c 4232
81.47	o 14371
81.47	c 4229
81.54	o 14374
81.54	c 4226
81.60	o 14376
81.61	c 4224
81.67	o 14378
81.67	c 4222
81.73	o 14380
81.73	c 4220
81.79	o 14381
81.79	c 4219
81.84	o 14382
81.84	c 4218
81.90	o 14383
81.90	c 4217
81.96	o 14384
81.96	c 4216
82.01	o 14385
82.02	c 4215
82.08	o 14386
82.08	c 4214
82.14	o 14387
82.14	c 4213
82.25	o 14391
82.25	c 4209
82.30	o 14394
82.30	c 4206
82.40	o 14397
82.40	c 4203
82.49	o 14398
82.49	c 4202
82.59	o 14399
82.59	c 4201
82.75	o 14400
82.75	c 4200
82.81	o 14401
82.81	c 4199
82.86	o 14407
82.86	c 4193
82.91	o 14408
82.91	c 4192
82.97	o 14409
82.97	c 4191
83.02	o 14411
83.02	c 4189
83.08	o 14413
83.08	c 4187
83.26	o 14417
83.26	c 4183
83.31	o 14422
83.31	c 4178
83.36	o 14423
83.36	c 4177
83.41	o 14425
83.41	c 4175
83.52	o 14428
83.52	c 4172
83.58	o 14431
83.58	c 4169
83.64	o 14434
83.64	c 4166
83.69	o 14436
83.69	c 4164
83.85	o 14439
83.85	c 4161
83.90	o 14440
83.90	c 4160
83.96	o 14444
83.96	c 4156
84.01	o 14445
84.01	c 4155
84.07	o 14446
84.07	c 4154
84.16	o 14449
84.16	c 4151
84.22	o 14452
84.22	c 4148
84.39	o 14457
84.39	c 4143
84.45	o 14458
84.45	c 4142
84.50	o 14459
84.50	c 4141
84.55	o 14462
84.55	c 4138
84.59	o 14463
84.59	c 4137
84.64	o 14465
84.64	c 4135
84.68	o 14468
84.68	c 4132
84.74	o 14470
84.74	c 4130
84.80	o 14471
84.80	c 4129
84.85	o 14474
84.85	c 4126
84.92	o 14476
84.92	c 4124
84.99	o 14480
84.99	c 4120
85.11	o 14483
85.11	c 4117
85.16	o 14484
85.16	c 4116
85.23	o 14487
85.23	c 4113
85.29	o 14489
85.29	c 4111
85.34	o 14491
85.34	c 4109
85.41	o 14493
85.41	c 4107
85.46	o 14495
85.46	c 4105
85.53	o 14497
85.53	c 4103
85.60	o 14499
85.60	c 4101
85.66	o 14501
85.66	c 4099
85.71	o 14502
85.71	c 4098
85.78	o 14504
85.78	c 4096
85.98	o 14508
85.98	c 4092
86.03	o 14510
86.03	c 4090
86.11	o 14511
86.11	c 4089
86.18	o 14512
86.18	c 4088
86.24	o 14514
86.24	c 4086
86.30	o 14515
86.30	c 4085
86.37	o 14516
86.37	c 4084
86.44	o 14519
86.44	c 4081
86.50	o 14521
86.50	c 4079
86.76	o 14523
86.76	c 4077
86.91	o 14524
86.91	c 4076
86.99	o 14529
86.99	c 4071
87.08	o 14530
87.08	c 4070
87.14	o 14532
87.14	c 4068
87.22	o 14537
87.22	c 4063
87.29	o 14539
87.29	c 4061
87.37	o 14541
87.37	c 4059
87.90	o 14544
87.90	c 4056
87.98	o 14546
87.98	c 4054
88.05	o 14547
88.05	c 4053
88.13	o 14549
88.13	c 4051
88.22	o 14550
88.22	c 4050
88.29	o 14553
88.29	c 4047
88.40	o 14555
88.40	c 4045
88.62	o 14556
88.62	c 4044
88.69	o 14559
88.69	c 4041
88.77	o 14560
88.77	c 4040
88.85	o 14566
88.85	c 4034
88.93	o 14572
88.93	c 4028
89.12	o 14576
89.12	c 4024
89.45	o 14577
89.45	c 4023
89.56	o 14578
89.56	c 4022
89.65	o 14580
89.65	c 4020
89.74	o 14582
89.74	c 4018
89.86	o 14586
89.86	c 4014
90.10	o 14591
90.10	c 4009
90.24	o 14595
90.24	c 4005
90.36	o 14599
90.36	c 4001
90.52	o 14602
90.52	c 3998
90.66	o 14605
90.66	c 3995
90.80	o 14608
90.80	c 3992
90.95	o 14611
90.95	c 3989
91.09	o 14613
91.09	c 3987
91.22	o 14615
91.22	c 3985
91.34	o 14621
91.34	c 3979
91.47	o 14623
91.47	c 3977
91.61	o 14625
91.61	c 3975
91.75	o 14627
91.75	c 3973
91.88	o 14629
91.88	c 3971
92.01	o 14631
92.01	c 3969
92.13	o 14634
92.13	c 3966
92.49	o 14636
92.49	c 3964
92.60	o 14637
92.60	c 3963
92.71	o 14639
92.71	c 3961
92.82	o 14641
92.82	c 3959
92.93	o 14643
92.93	c 3957
93.04	o 14645
93.04	c 3955
93.15	o 14646
93.15	c 3954
93.26	o 14647
93.26	c 3953
93.36	o 14648
93.36	c 3952
93.47	o 14649
93.47	c 3951
93.57	o 14650
93.57	c 3950
93.67	o 14651
93.67	c 3949
93.78	o 14652
93.78	c 3948
93.89	o 14653
93.89	c 3947
93.99	o 14654
93.99	c 3946
94.10	o 14655
94.10	c 3945
94.21	o 14656
94.21	c 3944
94.30	o 14657
94.30	c 3943
94.40	o 14658
94.40	c 3942
94.97	o 14660
94.97	c 3940
95.25	o 14662
95.26	c 3938
95.35	o 14668
95.35	c 3932
95.61	o 14669
95.61	c 3931
95.70	o 14670
95.70	c 3930
95.80	o 14673
95.80	c 3927
95.89	o 14676
95.89	c 3924
95.96	o 14677
95.96	c 3923
96.05	o 14678
96.05	c 3922
96.20	o 14679
96.20	c 3921
96.27	o 14683
96.27	c 3917
96.51	o 14688
96.51	c 3912
96.58	o 14691
96.58	c 3909
96.67	o 14694
96.67	c 3906
96.75	o 14698
96.75	c 3902
96.84	o 14700
96.84	c 3900
97.02	o 14703
97.02	c 3897
97.49	o 14705
97.49	c 3895
97.60	o 14710
97.60	c 3890
97.70	o 14712
97.70	c 3888
97.80	o 14714
97.80	c 3886
98.19	o 14717
98.19	c 3883
98.29	o 14718
98.29	c 3882
98.40	o 14721
98.40	c 3879
98.51	o 14723
98.51	c 3877
98.61	o 14725
98.61	c 3875
98.72	o 14729
98.72	c 3871
98.82	o 14730
98.82	c 3870
99.04	o 14732
99.04	c 3868
99.14	o 14736
99.14	c 3864
99.24	o 14737
99.24	c 3863
99.34	o 14738
99.34	c 3862
99.54	o 14739
99.54	c 3861
99.85	o 14740
99.85	c 3860
99.96	o 14741
99.96	c 3859
100.08	o 14743
100.08	c 3857
100.19	o 14745
100.19	c 3855
100.29	o 14746
100.29	c 3854
100.40	o 14748
100.40	c 3852
100.51	o 14750
100.51	c 3850
100.61	o 14753
100.61	c 3847
100.82	o 14757
100.82	c 3843
100.93	o 14759
100.93	c 3841
101.03	o 14762
101.03	c 3838
101.13	o 14764
101.13	c 3836
101.35	o 14765
101.35	c 3835
101.46	o 14766
101.46	c 3834
101.56	o 14769
101.56	c 3831
101.88	o 14773
101.88	c 3827
102.00	o 14774
102.00	c 3826
102.12	o 14775
102.12	c 3825
102.23	o 14776
102.23	c 3824
102.34	o 14778
102.34	c 3822
102.45	o 14779
102.45	c 3821
102.55	o 14780
102.55	c 3820
102.66	o 14781
102.66	c 3819
103.14	o 14782
103.14	c 3818
103.27	o 14785
103.27	c 3815
103.39	o 14787
103.39	c 3813
103.53	o 14788
103.53	c 3812
103.75	o 14789
103.75	c 3811
103.88	o 14795
103.88	c 3805
104.01	o 14797
104.01	c 3803
104.13	o 14800
104.13	c 3800
104.51	o 14805
104.51	c 3795
104.63	o 14809
104.63	c 3791
104.75	o 14811
104.75	c 3789
104.99	o 14815
104.99	c 3785
105.22	o 14817
105.22	c 3783
105.34	o 14820
105.34	c 3780
105.58	o 14824
105.58	c 3776
105.95	o 14825
105.95	c 3775
106.06	o 14829
106.06	c 3771
106.16	o 14830
106.16	c 3770
106.28	o 14831
106.28	c 3769
106.39	o 14833
106.39	c 3767
106.51	o 14834
106.51	c 3766
106.84	o 14836
106.84	c 3764
106.95	o 14837
106.95	c 3763
107.06	o 14840
107.06	c 3760
107.26	o 14844
107.26	c 3756
107.38	o 14846
107.38	c 3754
107.48	o 14848
107.48	c 3752
107.59	o 14853
107.59	c 3747
108.02	o 14854
108.02	c 3746
108.24	o 14856
108.24	c 3744
108.36	o 14859
108.36	c 3741
108.46	o 14861
108.46	c 3739
108.58	o 14864
108.58	c 3736
108.70	o 14866
108.70	c 3734
108.82	o 14869
108.82	c 3731
108.93	o 14871
108.93	c 3729
109.16	o 14875
109.16	c 3725
109.29	o 14876
109.29	c 3724
109.53	o 14879
109.53	c 3721
109.65	o 14880
109.65	c 3720
109.89	o 14884
109.89	c 3716
110.01	o 14886
110.01	c 3714
110.13	o 14888
110.13	c 3712
110.24	o 14891
110.24	c 3709
110.35	o 14893
110.35	c 3707
110.48	o 14894
110.48	c 3706
110.59	o 14895
110.59	c 3705
110.70	o 14896
110.70	c 3704
110.82	o 14897
110.82	c 3703
111.19	o 14898
111.19	c 3702
111.31	o 14900
111.31	c 3700
111.43	o 14903
111.43	c 3697
111.56	o 14904
111.56	c 3696
111.69	o 14905
111.69	c 3695
111.81	o 14908
111.82	c 3692
111.93	o 14911
111.93	c 3689
112.06	o 14914
112.06	c 3686
112.56	o 14916
112.56	c 3684
112.68	o 14919
112.68	c 3681
112.80	o 14920
112.80	c 3680
112.92	o 14924
112.92	c 3676
113.28	o 14925
113.28	c 3675
113.40	o 14927
113.40	c 3673
113.53	o 14931
113.53	c 3669
113.77	o 14933
113.77	c 3667
113.88	o 14935
113.88	c 3665
114.00	o 14940
114.00	c 3660
114.28	o 14942
114.28	c 3658
114.42	o 14943
114.42	c 3657
114.56	o 14946
114.56	c 3654
114.71	o 14948
114.71	c 3652
115.02	o 14950
115.02	c 3650
115.19	o 14953
115.19	c 3647
115.34	o 14957
115.34	c 3643
115.50	o 14959
115.50	c 3641
115.65	o 14960
115.65	c 3640
115.80	o 14962
115.80	c 3638
115.96	o 14964
115.96	c 3636
116.12	o 14966
116.12	c 3634
116.27	o 14968
116.27	c 3632
116.58	o 14969
116.58	c 3631
116.73	o 14970
116.73	c 3630
116.88	o 14972
116.88	c 3628
117.03	o 14974
117.03	c 3626
117.18	o 14977
117.18	c 3623
117.32	o 14978
117.32	c 3622
117.47	o 14980
117.47	c 3620
117.61	o 14981
117.61	c 3619
117.75	o 14982
117.75	c 3618
117.90	o 14983
117.90	c 3617
118.18	o 14984
118.18	c 3616
118.32	o 14985
118.32	c 3615
118.45	o 14986
118.45	c 3614
118.58	o 14992
118.58	c 3608
118.74	o 14993
118.74	c 3607
118.88	o 14994
118.88	c 3606
119.02	o 14995
119.02	c 3605
119.16	o 14996
119.16	c 3604
119.30	o 14998
119.30	c 3602
119.56	o 14999
119.56	c 3601
120.09	o 15003
120.09	c 3597
120.22	o 15004
120.22	c 3596
120.59	o 15006
120.59	c 3594
120.94	o 15009
120.94	c 3591
121.41	o 15010
121.41	c 3590
121.76	o 15012
121.76	c 3588
122.22	o 15015
122.22	c 3585
122.33	o 15016
122.33	c 3584
122.44	o 15018
122.44	c 3582
122.55	o 15021
122.55	c 3579
122.66	o 15024
122.66	c 3576
122.79	o 15027
122.79	c 3573
122.90	o 15028
122.90	c 3572
123.02	o 15029
123.02	c 3571
123.54	o 15030
123.54	c 3570
123.66	o 15031
123.66	c 3569
124.00	o 15032
124.00	c 3568
124.12	o 15034
124.12	c 3566
124.23	o 15035
124.23	c 3565
124.34	o 15037
124.34	c 3563
124.44	o 15038
124.44	c 3562
124.57	o 15039
124.57	c 3561
124.81	o 15041
124.81	c 3559
124.93	o 15042
124.93	c 3558
125.53	o 15045
125.53	c 3555
125.79	o 15049
125.79	c 3551
126.26	o 15051
126.26	c 3549
126.37	o 15053
126.37	c 3547
126.47	o 15056
126.47	c 3544
126.58	o 15059
126.58	c 3541
126.70	o 15061
126.70	c 3539
126.81	o 15064
126.81	c 3536
126.92	o 15066
126.92	c 3534
127.03	o 15069
127.03	c 3531
127.13	o 15074
127.13	c 3526
127.35	o 15078
127.35	c 3522
127.46	o 15080
127.46	c 3520
127.56	o 15082
127.56	c 3518
127.99	o 15084
127.99	c 3516
128.11	o 15086
128.11	c 3514
128.23	o 15088
128.23	c 3512
128.33	o 15091
128.33	c 3509
128.45	o 15093
128.45	c 3507
128.55	o 15095
128.55	c 3505
128.67	o 15096
128.67	c 3504
128.79	o 15098
128.79	c 3502
128.90	o 15100
128.90	c 3500
129.02	o 15104
129.02	c 3496
129.25	o 15105
129.25	c 3495
129.46	o 15108
129.46	c 3492
129.58	o 15111
129.58	c 3489
129.69	o 15114
129.69	c 3486
129.94	o 15117
129.94	c 3483
130.18	o 15119
130.18	c 3481
130.30	o 15122
130.30	c 3478
130.43	o 15123
130.43	c 3477
130.68	o 15126
130.68	c 3474
130.91	o 15130
130.91	c 3470
131.04	o 15133
131.04	c 3467
131.14	o 15135
131.14	c 3465
131.26	o 15137
131.26	c 3463
131.39	o 15139
131.39	c 3461
131.50	o 15142
131.50	c 3458
131.61	o 15145
131.61	c 3455
131.73	o 15148
131.73	c 3452
131.85	o 15149
131.85	c 3451
131.96	o 15152
131.96	c 3448
132.07	o 15153
132.07	c 3447
132.20	o 15156
132.20	c 3444
132.31	o 15157
132.31	c 3443
132.54	o 15160
132.54	c 3440
132.78	o 15162
132.78	c 3438
132.90	o 15164
132.90	c 3436
133.03	o 15168
133.03	c 3432
133.15	o 15170
133.15	c 3430
133.28	o 15173
133.28	c 3427
133.39	o 15175
133.39	c 3425
133.51	o 15177
133.51	c 3423
133.65	o 15180
133.65	c 3420
133.91	o 15181
133.91	c 3419
134.65	o 15182
134.65	c 3418
134.78	o 15184
134.78	c 3416
134.90	o 15185
134.90	c 3415
135.02	o 15189
135.02	c 3411
135.16	o 15190
135.16	c 3410
135.29	o 15192
135.29	c 3408
135.55	o 15194
135.55	c 3406
135.79	o 15195
135.79	c 3405
135.92	o 15200
135.92	c 3400
136.04	o 15201
136.04	c 3399
136.16	o 15204
136.16	c 3396
136.29	o 15206
136.29	c 3394
136.55	o 15207
136.55	c 3393
136.69	o 15210
136.69	c 3390
136.82	o 15214
136.82	c 3386
136.96	o 15216
136.96	c 3384
137.09	o 15219
137.09	c 3381
137.25	o 15225
137.25	c 3375
137.52	o 15227
137.52	c 3373
137.67	o 15228
137.67	c 3372
137.80	o 15229
137.80	c 3371
137.93	o 15231
137.93	c 3369
138.08	o 15233
138.08	c 3367
138.35	o 15235
138.35	c 3365
138.50	o 15238
138.50	c 3362
138.65	o 15242
138.65	c 3358
139.10	o 15244
139.10	c 3356
139.26	o 15247
139.26	c 3353
139.39	o 15248
139.39	c 3352
139.68	o 15252
139.68	c 3348
139.83	o 15254
139.83	c 3346
139.98	o 15255
139.98	c 3345
140.12	o 15258
140.12	c 3342
140.27	o 15260
140.27	c 3340
140.43	o 15262
140.43	c 3338
140.71	o 15265
140.71	c 3335
141.43	o 15266
141.43	c 3334
141.72	o 15268
141.72	c 3332
141.87	o 15273
141.87	c 3327
142.29	o 15274
142.29	c 3326
142.43	o 15275
142.43	c 3325
142.57	o 15279
142.57	c 3321
142.73	o 15280
142.73	c 3320
143.03	o 15283
143.03	c 3317
143.17	o 15285
143.17	c 3315
143.32	o 15286
143.32	c 3314
143.47	o 15288
143.47	c 3312
144.07	o 15289
144.07	c 3311
144.20	o 15293
144.20	c 3307
144.36	o 15295
144.36	c 3305
144.67	o 15296
144.67	c 3304
144.82	o 15299
144.82	c 3301
145.25	o 15304
145.25	c 3296
145.40	o 15306
145.40	c 3294
145.54	o 15307
145.54	c 3293
145.69	o 15310
145.69	c 3290
145.85	o 15311
145.85	c 3289
146.01	o 15313
146.01	c 3287
146.16	o 15314
146.16	c 3286
146.59	o 15315
146.59	c 3285
146.75	o 15317
146.75	c 3283
146.90	o 15319
146.90	c 3281
147.05	o 15320
147.05	c 3280
147.19	o 15324
147.19	c 3276
147.48	o 15326
147.48	c 3274
148.22	o 15329
148.22	c 3271
148.38	o 15331
148.38	c 3269
148.53	o 15335
148.53	c 3265
148.67	o 15336
148.67	c 3264
148.73	o 15337
148.73	c 3263
148.88	o 15339
148.88	c 3261
149.02	o 15340
149.02	c 3260
149.18	o 15342
149.18	c 3258
149.33	o 15345
149.33	c 3255
149.48	o 15347
149.48	c 3253
149.63	o 15351
149.63	c 3249
149.77	o 15355
149.77	c 3245
149.92	o 15358
149.92	c 3242
150.07	o 15363
150.07	c 3237
150.67	o 15366
150.67	c 3234
150.82	o 15368
150.82	c 3232
150.96	o 15371
150.96	c 3229
151.11	o 15375
151.11	c 3225
151.56	o 15377
151.56	c 3223
151.72	o 15378
151.72	c 3222
151.89	o 15381
151.89	c 3219
152.05	o 15382
152.05	c 3218
152.20	o 15383
152.20	c 3217
152.35	o 15386
152.35	c 3214
152.83	o 15387
152.83	c 3213
153.15	o 15390
153.15	c 3210
153.31	o 15391
153.31	c 3209
153.46	o 15393
153.46	c 3207
153.63	o 15396
153.63	c 3204
153.78	o 15398
153.78	c 3202
153.94	o 15401
153.94	c 3199
154.11	o 15405
154.11	c 3195
154.27	o 15409
154.27	c 3191
154.42	o 15410
154.42	c 3190
154.58	o 15413
154.58	c 3187
154.74	o 15416
154.74	c 3184
154.91	o 15419
154.91	c 3181
155.07	o 15421
155.07	c 3179
155.23	o 15423
155.23	c 3177
155.40	o 15425
155.40	c 3175
155.56	o 15426
155.56	c 3174
155.72	o 15428
155.72	c 3172
155.87	o 15429
155.87	c 3171
156.02	o 15431
156.02	c 3169
156.17	o 15432
156.17	c 3168
156.34	o 15433
156.34	c 3167
156.50	o 15434
156.50	c 3166
157.26	o 15436
157.26	c 3164
157.42	o 15439
157.42	c 3161
157.70	o 15445
157.70	c 3155
157.85	o 15447
157.86	c 3153
158.00	o 15448
158.00	c 3152
158.15	o 15449
158.15	c 3151
158.30	o 15453
158.30	c 3147
158.46	o 15456
158.46	c 3144
158.91	o 15459
158.91	c 3141
159.06	o 15463
159.06	c 3137
159.21	o 15465
159.21	c 3135
159.37	o 15469
159.37	c 3131
159.87	o 15471
159.87	c 3129
160.38	o 15472
160.38	c 3128
160.50	o 15477
160.50	c 3123
160.83	o 15478
160.83	c 3122
160.99	o 15480
160.99	c 3120
161.15	o 15483
161.15	c 3117
161.32	o 15485
161.32	c 3115
161.48	o 15486
161.48	c 3114
161.64	o 15489
161.64	c 3111
161.80	o 15493
161.80	c 3107
162.14	o 15497
162.14	c 3103
162.48	o 15498
162.48	c 3102
162.67	o 15501
162.67	c 3099
162.85	o 15504
162.85	c 3096
163.02	o 15506
163.02	c 3094
163.20	o 15508
163.20	c 3092
163.38	o 15512
163.38	c 3088
164.93	o 15514
164.93	c 3086
165.45	o 15517
165.45	c 3083
165.62	o 15518
165.62	c 3082
165.80	o 15519
165.80	c 3081
166.12	o 15522
166.12	c 3078
166.28	o 15523
166.28	c 3077
166.44	o 15526
166.44	c 3074
166.60	o 15528
166.60	c 3072
166.78	o 15531
166.78	c 3069
166.95	o 15534
166.95	c 3066
167.28	o 15541
167.28	c 3059
167.44	o 15543
167.44	c 3057
167.77	o 15544
167.77	c 3056
167.92	o 15546
167.92	c 3054
168.08	o 15549
168.08	c 3051
168.41	o 15550
168.41	c 3050
168.60	o 15552
168.60	c 3048
168.96	o 15554
168.96	c 3046
169.47	o 15558
169.47	c 3042
169.64	o 15559
169.64	c 3041
169.81	o 15563
169.81	c 3037
169.98	o 15567
169.98	c 3033
170.15	o 15568
170.15	c 3032
170.30	o 15569
170.30	c 3031
170.47	o 15571
170.47	c 3029
170.64	o 15572
170.64	c 3028
170.99	o 15574
170.99	c 3026
171.16	o 15575
171.16	c 3025
171.34	o 15578
171.34	c 3022
171.50	o 15581
171.50	c 3019
172.20	o 15584
172.20	c 3016
172.38	o 15586
172.38	c 3014
172.56	o 15589
172.56	c 3011
172.91	o 15593
172.91	c 3007
173.09	o 15596
173.09	c 3004
173.45	o 15597
173.45	c 3003
173.63	o 15598
173.63	c 3002
173.81	o 15601
173.81	c 2999
174.00	o 15605
174.00	c 2995
174.19	o 15606
174.19	c 2994
174.37	o 15608
174.37	c 2992
174.56	o 15609
174.56	c 2991
174.75	o 15611
174.75	c 2989
175.11	o 15612
175.11	c 2988
175.28	o 15613
175.28	c 2987
175.46	o 15614
175.46	c 2986
175.65	o 15617
175.65	c 2983
175.83	o 15620
175.83	c 2980
176.01	o 15621
176.01	c 2979
176.59	o 15623
176.59	c 2977
176.77	o 15624
176.77	c 2976
176.98	o 15627
176.98	c 2973
177.18	o 15629
177.18	c 2971
177.36	o 15630
177.36	c 2970
177.55	o 15631
177.55	c 2969
177.75	o 15635
177.75	c 2965
178.30	o 15637
178.30	c 2963
178.50	o 15642
178.50	c 2958
180.16	o 15644
180.16	c 2956
180.34	o 15648
180.34	c 2952
180.71	o 15649
180.71	c 2951
181.07	o 15651
181.07	c 2949
181.26	o 15652
181.26	c 2948
181.46	o 15653
181.46	c 2947
181.64	o 15654
181.64	c 2946
181.82	o 15655
181.82	c 2945
182.02	o 15659
182.02	c 2941
182.20	o 15661
182.20	c 2939
182.41	o 15662
182.41	c 2938
183.18	o 15666
183.18	c 2934
183.38	o 15668
183.38	c 2932
183.57	o 15670
183.57	c 2930
183.75	o 15673
183.75	c 2927
183.93	o 15674
183.93	c 2926
184.12	o 15677
184.12	c 2923
184.31	o 15680
184.31	c 2920
184.49	o 15685
184.49	c 2915
185.07	o 15687
185.07	c 2913
185.87	o 15688
185.87	c 2912
186.23	o 15690
186.23	c 2910
186.42	o 15692
186.42	c 2908
187.20	o 15693
187.20	c 2907
187.39	o 15695
187.39	c 2905
187.59	o 15697
187.59	c 2903
188.17	o 15700
188.17	c 2900
188.54	o 15703
188.54	c 2897
188.69	o 15706
188.69	c 2894
189.08	o 15707
189.08	c 2893
189.66	o 15708
189.66	c 2892
189.83	o 15710
189.83	c 2890
190.03	o 15711
190.03	c 2889
190.22	o 15712
190.22	c 2888
190.41	o 15714
190.41	c 2886
190.60	o 15715
190.60	c 2885
190.79	o 15718
190.79	c 2882
190.98	o 15720
190.98	c 2880
191.10	o 15724
191.10	c 2876
191.66	o 15726
191.66	c 2874
191.84	o 15728
191.84	c 2872
192.21	o 15731
192.21	c 2869
192.41	o 15736
192.41	c 2864
192.59	o 15739
192.59	c 2861
192.78	o 15740
192.78	c 2860
192.96	o 15742
192.96	c 2858
193.71	o 15743
193.71	c 2857
193.90	o 15744
193.90	c 2856
194.09	o 15746
194.09	c 2854
194.29	o 15748
194.29	c 2852
194.65	o 15750
194.65	c 2850
195.05	o 15751
195.05	c 2849
195.41	o 15752
195.41	c 2848
195.61	o 15753
195.61	c 2847
195.81	o 15757
195.81	c 2843
196.19	o 15758
196.19	c 2842
202.20	o 15760
202.20	c 2840
202.40	o 15761
202.40	c 2839
202.60	o 15766
202.60	c 2834
203.00	o 15768
203.01	c 2832
203.21	o 15770
203.21	c 2830
203.41	o 15772
203.41	c 2828
203.80	o 15775
203.80	c 2825
204.01	o 15778
204.01	c 2822
204.24	o 15779
204.24	c 2821
205.67	o 15782
205.67	c 2818
205.84	o 15783
205.84	c 2817
206.05	o 15784
206.05	c 2816
206.28	o 15786
206.28	c 2814
206.50	o 15788
206.50	c 2812
206.71	o 15791
206.71	c 2809
207.13	o 15792
207.13	c 2808
207.35	o 15793
207.35	c 2807
207.99	o 15795
207.99	c 2805
208.20	o 15796
208.20	c 2804
208.43	o 15798
208.43	c 2802
208.65	o 15800
208.65	c 2800
209.10	o 15802
209.10	c 2798
209.76	o 15804
209.76	c 2796
210.63	o 15808
210.63	c 2792
210.80	o 15809
210.80	c 2791
211.69	o 15811
211.69	c 2789
211.94	o 15812
211.94	c 2788
212.40	o 15813
212.40	c 2787
212.63	o 15815
212.63	c 2785
212.86	o 15819
212.86	c 2781
213.10	o 15820
213.10	c 2780
213.31	o 15821
213.31	c 2779
213.55	o 15824
213.55	c 2776
213.77	o 15825
213.77	c 2775
213.99	o 15826
213.99	c 2774
214.23	o 15827
214.23	c 2773
214.47	o 15829
214.47	c 2771
215.20	o 15830
215.20	c 2770
215.43	o 15833
215.43	c 2767
215.67	o 15836
215.67	c 2764
216.64	o 15841
216.64	c 2759
216.87	o 15845
216.87	c 2755
217.11	o 15846
217.11	c 2754
217.34	o 15848
217.34	c 2752
217.59	o 15850
217.59	c 2750
217.84	o 15851
217.84	c 2749
218.08	o 15855
218.08	c 2745
219.27	o 15857
219.27	c 2743
220.51	o 15858
220.51	c 2742
221.02	o 15859
221.02	c 2741
221.17	o 15860
221.17	c 2740
221.43	o 15861
221.43	c 2739
221.69	o 15862
221.69	c 2738
222.18	o 15866
222.18	c 2734
222.43	o 15870
222.43	c 2730
222.66	o 15872
222.66	c 2728
223.41	o 15873
223.41	c 2727
224.14	o 15874
224.14	c 2726
224.39	o 15875
224.39	c 2725
224.63	o 15876
224.63	c 2724
224.90	o 15878
224.90	c 2722
225.06	o 15879
225.06	c 2721
225.31	o 15881
225.31	c 2719
227.31	o 15883
227.31	c 2717
227.83	o 15886
227.83	c 2714
228.57	o 15888
228.57	c 2712
228.83	o 15889
228.83	c 2711
229.07	o 15891
229.07	c 2709
229.32	o 15894
229.32	c 2706
229.53	o 15897
229.53	c 2703
230.30	o 15899
230.30	c 2701
230.56	o 15901
230.56	c 2699
231.31	o 15902
231.31	c 2698
231.56	o 15905
231.56	c 2695
232.31	o 15906
232.31	c 2694
232.81	o 15909
232.81	c 2691
233.32	o 15911
233.32	c 2689
233.56	o 15913
233.56	c 2687
234.24	o 15916
234.24	c 2684
234.49	o 15917
234.49	c 2683
234.74	o 15918
234.74	c 2682
234.99	o 15920
234.99	c 2680
235.25	o 15922
235.25	c 2678
235.42	o 15925
235.42	c 2675
235.66	o 15927
235.66	c 2673
236.70	o 15929
236.70	c 2671
236.97	o 15930
236.97	c 2670
237.74	o 15931
237.74	c 2669
238.02	o 15932
238.02	c 2668
238.28	o 15933
238.28	c 2667
238.52	o 15935
238.52	c 2665
238.78	o 15936
238.78	c 2664
239.30	o 15937
239.30	c 2663
240.09	o 15941
240.09	c 2659
240.35	o 15942
240.35	c 2658
242.97	o 15943
242.97	c 2657
245.55	o 15945
245.55	c 2655
247.19	o 15946
247.19	c 2654
247.44	o 15948
247.44	c 2652
247.72	o 15950
247.72	c 2650
247.99	o 15953
247.99	c 2647
248.26	o 15955
248.26	c 2645
248.51	o 15956
248.51	c 2644
249.29	o 15957
249.29	c 2643
249.56	o 15960
249.56	c 2640
249.83	o 15963
249.83	c 2637
250.19	o 15965
250.19	c 2635
250.45	o 15966
250.45	c 2634
250.72	o 15967
250.72	c 2633
252.54	o 15969
252.54	c 2631
252.80	o 15971
252.80	c 2629
253.07	o 15972
253.07	c 2628
253.34	o 15974
253.34	c 2626
255.03	o 15975
255.03	c 2625
256.17	o 15976
256.17	c 2624
256.44	o 15977
256.44	c 2623
256.72	o 15980
256.72	c 2620
257.28	o 15981
257.28	c 2619
257.56	o 15983
257.56	c 2617
258.06	o 15984
258.06	c 2616
258.34	o 15985
258.34	c 2615
258.63	o 15987
258.63	c 2613
260.01	o 15989
260.01	c 2611
261.13	o 15990
261.13	c 2610
261.70	o 15995
261.70	c 2605
262.56	o 15996
262.56	c 2604
263.40	o 15997
263.40	c 2603
264.22	o 15998
264.22	c 2602
265.38	o 16000
265.38	c 2600
265.64	o 16001
265.64	c 2599
265.91	o 16002
265.91	c 2598
266.18	o 16005
266.18	c 2595
266.47	o 16006
266.47	c 2594
266.74	o 16007
266.74	c 2593
267.60	o 16010
267.60	c 2590
267.89	o 16011
267.89	c 2589
269.50	o 16013
269.50	c 2587
270.64	o 16015
270.64	c 2585
271.49	o 16016
271.49	c 2584
271.77	o 16018
271.77	c 2582
272.04	o 16020
272.04	c 2580
272.59	o 16021
272.59	c 2579
272.88	o 16022
272.88	c 2578
273.43	o 16024
273.43	c 2576
273.72	o 16027
273.72	c 2573
275.09	o 16028
275.09	c 2572
275.66	o 16030
275.66	c 2570
275.95	o 16032
275.95	c 2568
276.23	o 16035
276.23	c 2565
276.78	o 16037
276.78	c 2563
277.06	o 16038
277.06	c 2562
278.13	o 16042
278.13	c 2558
278.40	o 16044
278.40	c 2556
278.65	o 16045
278.65	c 2555
278.83	o 16048
278.83	c 2552
279.09	o 16049
279.09	c 2551
279.37	o 16051
279.37	c 2549
279.64	o 16054
279.64	c 2546
280.19	o 16056
280.19	c 2544
280.46	o 16060
280.46	c 2540
281.04	o 16061
281.04	c 2539
281.30	o 16062
281.30	c 2538
281.58	o 16065
281.58	c 2535
281.81	o 16067
281.81	c 2533
283.43	o 16068
283.43	c 2532
283.70	o 16069
283.70	c 2531
283.96	o 16074
283.96	c 2526
284.23	o 16075
284.23	c 2525
284.49	o 16077
284.49	c 2523
284.78	o 16079
284.78	c 2521
285.06	o 16082
285.06	c 2518
285.63	o 16084
285.63	c 2516
285.92	o 16087
285.92	c 2513
287.98	o 16090
287.98	c 2510
288.25	o 16091
288.25	c 2509
288.52	o 16094
288.52	c 2506
289.63	o 16095
289.63	c 2505
289.91	o 16096
289.91	c 2504
290.46	o 16099
290.46	c 2501
291.04	o 16101
291.04	c 2499
291.32	o 16105
291.32	c 2495
291.65	o 16106
291.65	c 2494
296.37	o 16108
296.37	c 2492
296.65	o 16109
296.65	c 2491
297.15	o 16111
297.15	c 2489
297.41	o 16113
297.41	c 2487
297.68	o 16115
297.68	c 2485
297.95	o 16117
297.95	c 2483
299.81	o 16118
299.81	c 2482
300.05	o 16120
300.05	c 2480
300.80	o 16121
300.80	c 2479
301.30	o 16123
301.30	c 2477
301.56	o 16125
301.56	c 2475
301.79	o 16128
301.79	c 2472
302.04	o 16131
302.04	c 2469
302.29	o 16132
302.29	c 2468
302.54	o 16134
302.54	c 2466
303.25	o 16136
303.25	c 2464
303.50	o 16137
303.50	c 2463
304.72	o 16138
304.72	c 2462
305.67	o 16139
305.67	c 2461
305.94	o 16140
305.94	c 2460
306.42	o 16141
306.42	c 2459
306.66	o 16142
306.66	c 2458
306.91	o 16144
306.91	c 2456
307.16	o 16146
307.16	c 2454
307.41	o 16149
307.41	c 2451
307.66	o 16150
307.66	c 2450
307.92	o 16152
307.92	c 2448
308.82	o 16155
308.82	c 2445
309.07	o 16158
309.07	c 2442
309.30	o 16159
309.30	c 2441
309.51	o 16162
309.51	c 2438
309.75	o 16164
309.75	c 2436
310.21	o 16165
310.21	c 2435
311.17	o 16168
311.17	c 2432
312.67	o 16169
312.67	c 2431
312.91	o 16171
312.91	c 2429
313.15	o 16172
313.15	c 2428
313.37	o 16176
313.37	c 2424
313.63	o 16179
313.63	c 2421
313.89	o 16180
313.89	c 2420
314.85	o 16181
314.85	c 2419
315.01	o 16182
315.01	c 2418
315.19	o 16183
315.19	c 2417
315.43	o 16184
315.43	c 2416
315.66	o 16185
315.66	c 2415
315.93	o 16186
315.93	c 2414
316.17	o 16189
316.17	c 2411
318.37	o 16191
318.37	c 2409
318.62	o 16192
318.62	c 2408
318.85	o 16195
318.85	c 2405
319.58	o 16197
319.58	c 2403
320.31	o 16198
320.31	c 2402
320.55	o 16200
320.55	c 2400
320.79	o 16201
320.79	c 2399
321.94	o 16202
321.94	c 2398
322.78	o 16204
322.78	c 2396
323.02	o 16205
323.02	c 2395
323.26	o 16209
323.26	c 2391
323.49	o 16211
323.49	c 2389
323.72	o 16212
323.72	c 2388
323.95	o 16214
323.95	c 2386
325.63	o 16216
325.63	c 2384
326.91	o 16217
326.91	c 2383
328.71	o 16221
328.71	c 2379
329.22	o 16224
329.22	c 2376
333.17	o 16225
333.17	c 2375
333.47	o 16227
333.47	c 2373
333.76	o 16230
333.76	c 2370
334.07	o 16232
334.07	c 2368
337.96	o 16233
337.96	c 2367
338.26	o 16234
338.26	c 2366
340.00	o 16235
340.00	c 2365
340.29	o 16236
340.29	c 2364
341.91	o 16238
341.91	c 2362
342.21	o 16239
342.21	c 2361
343.06	o 16240
343.06	c 2360
344.25	o 16243
344.25	c 2357
344.56	o 16244
344.56	c 2356
344.83	o 16246
344.83	c 2354
345.14	o 16247
345.14	c 2353
346.09	o 16248
346.09	c 2352
347.07	o 16251
347.07	c 2349
348.00	o 16254
348.00	c 2346
348.62	o 16255
348.62	c 2345
348.94	o 16256
348.94	c 2344
349.26	o 16258
349.26	c 2342
349.88	o 16261
349.88	c 2339
350.19	o 16263
350.19	c 2337
350.51	o 16266
350.51	c 2334
351.82	o 16267
351.82	c 2333
352.47	o 16268
352.47	c 2332
353.11	o 16270
353.11	c 2330
354.63	o 16273
354.63	c 2327
354.79	o 16277
354.79	c 2323
355.08	o 16279
355.08	c 2321
357.01	o 16281
357.01	c 2319
357.33	o 16284
357.33	c 2316
357.97	o 16285
357.97	c 2315
361.05	o 16288
361.05	c 2312
362.54	o 16289
362.54	c 2311
362.87	o 16292
362.87	c 2308
363.17	o 16294
363.17	c 2306
363.49	o 16297
363.50	c 2303
364.73	o 16298
364.73	c 2302
365.62	o 16299
365.62	c 2301
366.22	o 16300
366.22	c 2300
367.69	o 16301
367.69	c 2299
368.00	o 16302
368.00	c 2298
368.30	o 16303
368.30	c 2297
368.88	o 16304
368.88	c 2296
369.15	o 16305
369.15	c 2295
369.47	o 16306
369.47	c 2294
369.77	o 16307
369.77	c 2293
370.08	o 16308
370.08	c 2292
370.63	o 16311
370.64	c 2289
371.95	o 16312
371.95	c 2288
372.83	o 16315
372.83	c 2285
373.43	o 16317
373.43	c 2283
374.04	o 16318
374.04	c 2282
374.33	o 16319
374.33	c 2281
374.64	o 16324
374.64	c 2276
376.45	o 16325
376.45	c 2275
377.06	o 16327
377.06	c 2273
377.37	o 16329
377.37	c 2271
379.80	o 16332
379.80	c 2268
380.11	o 16333
380.11	c 2267
380.44	o 16334
380.44	c 2266
380.76	o 16335
380.76	c 2265
381.09	o 16336
381.09	c 2264
381.41	o 16338
381.41	c 2262
381.77	o 16339
381.77	c 2261
382.10	o 16340
382.10	c 2260
382.44	o 16344
382.44	c 2256
383.06	o 16347
383.06	c 2253
383.39	o 16348
383.39	c 2252
383.72	o 16350
383.72	c 2250
384.06	o 16352
384.06	c 2248
384.73	o 16356
384.73	c 2244
385.40	o 16357
385.40	c 2243
385.75	o 16358
385.75	c 2242
387.85	o 16362
387.85	c 2238
388.13	o 16363
388.13	c 2237
388.43	o 16366
388.43	c 2234
388.79	o 16368
388.79	c 2232
389.13	o 16369
389.13	c 2231
390.18	o 16370
390.18	c 2230
390.53	o 16371
390.53	c 2229
391.20	o 16373
391.20	c 2227
392.91	o 16374
392.91	c 2226
393.16	o 16376
393.16	c 2224
393.51	o 16381
393.51	c 2219
394.37	o 16383
394.37	c 2217
394.72	o 16384
394.72	c 2216
395.06	o 16385
395.06	c 2215
395.37	o 16386
395.37	c 2214
397.08	o 16387
397.08	c 2213
397.42	o 16388
397.42	c 2212
397.77	o 16391
397.77	c 2209
397.92	o 16394
397.92	c 2206
398.97	o 16395
398.97	c 2205
399.32	o 16398
399.32	c 2202
399.68	o 16400
399.68	c 2200
402.24	o 16404
402.24	c 2196
402.96	o 16405
402.96	c 2195
403.70	o 16407
403.70	c 2193
404.06	o 16409
404.06	c 2191
404.79	o 16410
404.79	c 2190
404.99	o 16412
404.99	c 2188
405.34	o 16414
405.35	c 2186
405.70	o 16416
405.70	c 2184
406.41	o 16417
406.41	c 2183
408.92	o 16418
408.93	c 2182
409.28	o 16420
409.28	c 2180
409.65	o 16422
409.65	c 2178
410.02	o 16423
410.02	c 2177
411.09	o 16424
411.09	c 2176
413.65	o 16426
413.65	c 2174
414.38	o 16428
414.38	c 2172
416.17	o 16430
416.17	c 2170
417.27	o 16431
417.27	c 2169
417.64	o 16432
417.64	c 2168
418.39	o 16433
418.39	c 2167
418.76	o 16434
418.76	c 2166
419.36	o 16437
419.36	c 2163
429.63	o 16439
429.63	c 2161
430.72	o 16441
430.72	c 2159
431.08	o 16442
431.08	c 2158
431.79	o 16443
431.79	c 2157
433.68	o 16447
433.68	c 2153
434.43	o 16448
434.43	c 2152
435.22	o 16449
435.22	c 2151
435.59	o 16450
435.59	c 2150
436.35	o 16452
436.35	c 2148
443.82	o 16454
443.82	c 2146
444.86	o 16455
444.86	c 2145
445.24	o 16458
445.24	c 2142
449.77	o 16460
449.77	c 2140
450.09	o 16462
450.09	c 2138
450.46	o 16464
450.46	c 2136
450.94	o 16465
450.94	c 2135
452.78	o 16467
452.78	c 2133
453.16	o 16468
453.16	c 2132
453.53	o 16470
453.53	c 2130
454.64	o 16471
454.64	c 2129
455.03	o 16473
455.03	c 2127
455.21	o 16475
455.21	c 2125
455.55	o 16479
455.55	c 2121
457.09	o 16480
457.09	c 2120
457.30	o 16484
457.30	c 2116
458.45	o 16485
458.45	c 2115
459.24	o 16486
459.24	c 2114
459.64	o 16488
459.64	c 2112
460.03	o 16490
460.03	c 2110
461.97	o 16491
461.97	c 2109
462.35	o 16493
462.35	c 2107
462.74	o 16495
462.74	c 2105
463.12	o 16496
463.12	c 2104
463.48	o 16498
463.48	c 2102
463.86	o 16499
463.86	c 2101
464.23	o 16501
464.23	c 2099
464.40	o 16504
464.40	c 2096
465.89	o 16508
465.89	c 2092
466.26	o 16509
466.26	c 2091
478.07	o 16510
478.07	c 2090
479.18	o 16512
479.18	c 2088
479.90	o 16514
479.90	c 2086
481.00	o 16515
481.00	c 2085
482.09	o 16520
482.09	c 2080
482.47	o 16521
482.47	c 2079
482.83	o 16524
482.83	c 2076
483.59	o 16525
483.59	c 2075
485.05	o 16527
485.05	c 2073
485.81	o 16529
485.81	c 2071
487.28	o 16530
487.28	c 2070
488.00	o 16531
488.00	c 2069
489.52	o 16534
489.52	c 2066
489.88	o 16535
489.88	c 2065
491.34	o 16536
491.34	c 2064
491.72	o 16537
491.72	c 2063
491.88	o 16540
491.88	c 2060
492.23	o 16541
492.23	c 2059
492.59	o 16542
492.59	c 2058
492.96	o 16543
492.96	c 2057
493.31	o 16545
493.31	c 2055
494.41	o 16547
494.41	c 2053
494.78	o 16549
494.78	c 2051
495.51	o 16550
495.51	c 2050
495.88	o 16553
495.88	c 2047
496.24	o 16554
496.24	c 2046
496.59	o 16555
496.59	c 2045
496.96	o 16558
496.96	c 2042
497.32	o 16559
497.32	c 2041
498.77	o 16560
498.77	c 2040
499.13	o 16561
499.13	c 2039
499.50	o 16562
499.50	c 2038
499.85	o 16563
499.85	c 2037
500.21	o 16564
500.21	c 2036
500.57	o 16565
500.57	c 2035
500.93	o 16566
500.93	c 2034
501.30	o 16568
501.30	c 2032
502.03	o 16569
502.03	c 2031
502.39	o 16570
502.39	c 2030
508.08	o 16571
508.08	c 2029
509.20	o 16573
509.20	c 2027
509.99	o 16574
509.99	c 2026
510.36	o 16578
510.36	c 2022
510.74	o 16579
510.74	c 2021
510.86	o 16580
510.86	c 2020
512.01	o 16582
512.01	c 2018
512.37	o 16585
512.37	c 2015
512.74	o 16586
512.74	c 2014
513.10	o 16587
513.10	c 2013
513.47	o 16588
513.47	c 2012
514.56	o 16590
514.56	c 2010
514.93	o 16591
514.93	c 2009
522.91	o 16593
522.91	c 2007
523.29	o 16594
523.29	c 2006
524.03	o 16596
524.03	c 2004
525.55	o 16597
525.55	c 2003
525.92	o 16599
525.92	c 2001
526.69	o 16601
526.69	c 1999
528.24	o 16602
528.24	c 1998
528.63	o 16603
528.63	c 1997
529.02	o 16604
529.02	c 1996
529.42	o 16607
529.42	c 1993
530.58	o 16610
530.58	c 1990
533.63	o 16612
533.63	c 1988
533.93	o 16613
533.93	c 1987
534.70	o 16614
534.70	c 1986
535.08	o 16616
535.08	c 1984
535.43	o 16617
535.43	c 1983
536.18	o 16618
536.18	c 1982
539.45	o 16619
539.45	c 1981
541.40	o 16620
541.40	c 1980
541.78	o 16622
541.78	c 1978
542.90	o 16624
542.90	c 1976
543.67	o 16626
543.67	c 1974
544.05	o 16628
544.05	c 1972
545.62	o 16630
545.62	c 1970
546.01	o 16631
546.01	c 1969
546.80	o 16632
546.80	c 1968
552.57	o 16633
552.57	c 1967
553.32	o 16634
553.32	c 1966
553.73	o 16636
553.73	c 1964
554.12	o 16637
554.12	c 1963
554.35	o 16639
554.35	c 1961
558.63	o 16640
558.63	c 1960
559.00	o 16641
559.00	c 1959
559.40	o 16642
559.40	c 1958
559.77	o 16644
559.77	c 1956
560.16	o 16646
560.16	c 1954
562.21	o 16648
562.21	c 1952
562.64	o 16650
562.64	c 1950
563.47	o 16651
563.47	c 1949
563.89	o 16654
563.89	c 1946
564.33	o 16655
564.33	c 1945
564.70	o 16657
564.70	c 1943
567.25	o 16659
567.26	c 1941
568.51	o 16660
568.51	c 1940
569.76	o 16662
569.76	c 1938
570.18	o 16665
570.18	c 1935
571.01	o 16666
571.01	c 1934
571.85	o 16667
571.85	c 1933
572.25	o 16668
572.25	c 1932
572.66	o 16670
572.66	c 1930
573.07	o 16672
573.07	c 1928
573.81	o 16675
573.81	c 1925
575.44	o 16676
575.44	c 1924
575.64	o 16677
575.64	c 1923
576.00	o 16680
576.00	c 1920
576.39	o 16683
576.39	c 1917
576.72	o 16686
576.72	c 1914
577.93	o 16688
577.93	c 1912
583.62	o 16689
583.62	c 1911
584.03	o 16690
584.03	c 1910
584.86	o 16692
584.86	c 1908
585.27	o 16693
585.27	c 1907
585.69	o 16695
585.69	c 1905
592.32	o 16698
592.32	c 1902
594.12	o 16700
594.12	c 1900
599.79	o 16701
599.79	c 1899
604.47	o 16703
604.47	c 1897
604.91	o 16704
604.91	c 1896
605.35	o 16705
605.35	c 1895
605.70	o 16707
605.70	c 1893
606.62	o 16708
606.62	c 1892
607.52	o 16709
607.52	c 1891
607.96	o 16710
607.96	c 1890
608.42	o 16711
608.42	c 1889
610.53	o 16714
610.53	c 1886
623.15	o 16716
623.15	c 1884
623.61	o 16717
623.61	c 1883
624.05	o 16718
624.05	c 1882
627.18	o 16719
627.19	c 1881
627.63	o 16720
627.63	c 1880
628.52	o 16722
628.52	c 1878
628.95	o 16723
628.95	c 1877
629.39	o 16724
629.39	c 1876
631.95	o 16725
631.95	c 1875
641.46	o 16726
641.46	c 1874
642.86	o 16728
642.86	c 1872
643.31	o 16730
643.31	c 1870
643.40	o 16732
643.40	c 1868
643.86	o 16733
643.86	c 1867
645.04	o 16735
645.04	c 1865
645.49	o 16736
645.50	c 1864
645.95	o 16737
645.95	c 1863
646.42	o 16738
646.42	c 1862
648.01	o 16739
648.01	c 1861
648.46	o 16740
648.46	c 1860
650.65	o 16741
650.65	c 1859
651.57	o 16742
651.57	c 1858
652.02	o 16743
652.02	c 1857
652.93	o 16745
652.93	c 1855
653.38	o 16746
653.38	c 1854
653.82	o 16748
653.82	c 1852
653.94	o 16752
653.94	c 1848
655.28	o 16754
655.28	c 1846
656.17	o 16755
656.17	c 1845
678.94	o 16757
678.94	c 1843
679.80	o 16759
679.80	c 1841
683.95	o 16762
683.95	c 1838
687.10	o 16763
687.10	c 1837
690.17	o 16764
690.17	c 1836
690.59	o 16765
690.59	c 1835
692.18	o 16766
692.18	c 1834
696.07	o 16767
696.07	c 1833
696.46	o 16768
696.46	c 1832
698.11	o 16771
698.11	c 1829
702.69	o 16772
702.69	c 1828
703.55	o 16773
703.55	c 1827
704.45	o 16774
704.45	c 1826
707.73	o 16775
707.73	c 1825
709.17	o 16777
709.17	c 1823
711.39	o 16778
711.39	c 1822
723.94	o 16781
723.94	c 1819
724.87	o 16782
724.87	c 1818
727.75	o 16783
727.75	c 1817
728.24	o 16786
728.24	c 1814
730.93	o 16787
730.93	c 1813
739.26	o 16788
739.26	c 1812
739.59	o 16791
739.59	c 1809
740.07	o 16793
740.07	c 1807
741.03	o 16794
741.03	c 1806
741.41	o 16795
741.41	c 1805
741.92	o 16798
741.92	c 1802
743.63	o 16799
743.63	c 1801
744.58	o 16801
744.58	c 1799
745.08	o 16803
745.08	c 1797
745.57	o 16804
745.57	c 1796
746.06	o 16805
746.06	c 1795
747.04	o 16807
747.04	c 1793
747.40	o 16808
747.40	c 1792
747.87	o 16809
747.87	c 1791
748.74	o 16810
748.74	c 1790
749.21	o 16811
749.21	c 1789
754.22	o 16812
754.22	c 1788
756.07	o 16813
756.07	c 1787
756.55	o 16815
756.55	c 1785
757.02	o 16817
757.02	c 1783
757.93	o 16818
757.93	c 1782
758.85	o 16820
758.85	c 1780
760.50	o 16825
760.50	c 1775
762.34	o 16828
762.34	c 1772
762.79	o 16829
762.79	c 1771
763.72	o 16830
763.72	c 1770
766.18	o 16832
766.18	c 1768
766.65	o 16833
766.65	c 1767
775.28	o 16835
775.28	c 1765
776.70	o 16836
776.70	c 1764
777.16	o 16837
777.16	c 1763
778.58	o 16839
778.58	c 1761
780.29	o 16840
780.29	c 1760
780.75	o 16841
780.75	c 1759
781.23	o 16842
781.23	c 1758
781.72	o 16844
781.72	c 1756
782.69	o 16845
782.69	c 1755
785.88	o 16846
785.88	c 1754
787.83	o 16848
787.83	c 1752
788.31	o 16850
788.31	c 1750
790.81	o 16853
790.81	c 1747
795.14	o 16854
795.14	c 1746
798.07	o 16855
798.07	c 1745
798.56	o 16857
798.56	c 1743
806.85	o 16858
806.85	c 1742
807.36	o 16860
807.36	c 1740
807.73	o 16862
807.73	c 1738
808.25	o 16863
808.25	c 1737
811.27	o 16864
811.27	c 1736
812.28	o 16868
812.28	c 1732
812.78	o 16869
812.78	c 1731
813.28	o 16871
813.28	c 1729
814.67	o 16872
814.67	c 1728
815.17	o 16873
815.17	c 1727
815.67	o 16875
815.67	c 1725
816.16	o 16876
816.16	c 1724
817.13	o 16878
817.13	c 1722
819.13	o 16880
819.13	c 1720
819.62	o 16881
819.62	c 1719
826.22	o 16884
826.22	c 1716
829.12	o 16885
829.12	c 1715
830.13	o 16887
830.13	c 1713
830.46	o 16888
830.46	c 1712
831.91	o 16890
831.91	c 1710
833.45	o 16891
833.45	c 1709
833.96	o 16893
833.96	c 1707
834.47	o 16894
834.47	c 1706
834.98	o 16895
834.98	c 1705
836.00	o 16896
836.00	c 1704
836.52	o 16897
836.52	c 1703
837.56	o 16898
837.56	c 1702
838.59	o 16899
838.59	c 1701
839.64	o 16902
839.64	c 1698
841.17	o 16904
841.17	c 1696
841.70	o 16905
841.70	c 1695
842.21	o 16906
842.21	c 1694
845.74	o 16909
845.74	c 1691
846.22	o 16911
846.22	c 1689
847.02	o 16913
847.02	c 1687
865.34	o 16914
865.35	c 1686
866.40	o 16916
866.40	c 1684
866.93	o 16917
866.93	c 1683
868.85	o 16919
868.85	c 1681
869.36	o 16920
869.36	c 1680
869.89	o 16922
869.89	c 1678
870.40	o 16925
870.40	c 1675
876.81	o 16926
876.81	c 1674
877.88	o 16928
877.88	c 1672
878.00	o 16932
878.00	c 1668
879.07	o 16935
879.07	c 1665
883.25	o 16936
883.25	c 1664
892.33	o 16938
892.33	c 1662
892.54	o 16939
892.54	c 1661
893.09	o 16941
893.09	c 1659
893.64	o 16944
893.64	c 1656
894.18	o 16946
894.18	c 1654
900.06	o 16949
900.06	c 1651
900.60	o 16950
900.60	c 1650
903.47	o 16953
903.47	c 1647
905.08	o 16954
905.08	c 1646
924.17	o 16956
924.17	c 1644
925.26	o 16957
925.26	c 1643
925.81	o 16959
925.81	c 1641
927.35	o 16960
927.35	c 1640
938.36	o 16961
938.36	c 1639
938.93	o 16964
938.93	c 1636
939.33	o 16966
939.33	c 1634
940.64	o 16968
940.64	c 1632
943.98	o 16969
943.98	c 1631
944.53	o 16970
944.53	c 1630
945.64	o 16972
945.64	c 1628
946.22	o 16974
946.22	c 1626
946.48	o 16975
946.48	c 1625
948.09	o 16979
948.09	c 1621
948.64	o 16981
948.64	c 1619
950.62	o 16983
950.62	c 1617
951.71	o 16984
951.71	c 1616
955.15	o 16987
955.15	c 1613
956.77	o 16988
956.77	c 1612
957.31	o 16989
957.31	c 1611
958.40	o 16991
958.40	c 1609
960.05	o 16992
960.05	c 1608
960.22	o 16993
960.22	c 1607
962.46	o 16994
962.46	c 1606
968.26	o 16998
968.26	c 1602
968.82	o 17000
968.82	c 1600
970.49	o 17002
970.49	c 1598
971.05	o 17003
971.05	c 1597
971.61	o 17004
971.61	c 1596
972.03	o 17006
972.03	c 1594
973.15	o 17008
973.15	c 1592
974.86	o 17009
974.86	c 1591
979.89	o 17010
979.89	c 1590
981.00	o 17012
981.00	c 1588
981.54	o 17014
981.54	c 1586
983.18	o 17016
983.18	c 1584
989.31	o 17017
989.31	c 1583
989.86	o 17021
989.86	c 1579
991.87	o 17023
991.87	c 1577
992.95	o 17024
992.95	c 1576
993.51	o 17025
993.51	c 1575
995.73	o 17027
995.73	c 1573
997.33	o 17028
997.33	c 1572
997.89	o 17030
997.89	c 1570
998.43	o 17031
998.43	c 1569
1000.61	o 17032
1000.61	c 1568
1001.15	o 17033
1001.15	c 1567
1002.04	o 17034
1002.04	c 1566
1003.11	o 17036
1003.11	c 1564
1003.66	o 17037
1003.66	c 1563
1005.31	o 17038
1005.31	c 1562
1010.83	o 17039
1010.83	c 1561
1011.30	o 17040
1011.30	c 1560
1014.16	o 17042
1014.16	c 1558
1014.73	o 17044
1014.73	c 1556
1015.30	o 17046
1015.30	c 1554
1018.13	o 17047
1018.13	c 1553
1019.80	o 17048
1019.80	c 1552
1020.40	o 17050
1020.40	c 1550
1022.09	o 17052
1022.09	c 1548
1023.61	o 17054
1023.61	c 1546
1026.99	o 17056
1026.99	c 1544
1029.11	o 17057
1029.11	c 1543
1031.42	o 17059
1031.42	c 1541
1031.99	o 17060
1031.99	c 1540
1032.86	o 17062
1032.86	c 1538
1033.44	o 17064
1033.44	c 1536
1038.64	o 17065
1038.64	c 1535
1039.20	o 17066
1039.20	c 1534
1039.62	o 17068
1039.62	c 1532
1043.65	o 17073
1043.65	c 1527
1046.55	o 17075
1046.55	c 1525
1051.19	o 17076
1051.19	c 1524
1064.12	o 17077
1064.12	c 1523
1064.68	o 17079
1064.68	c 1521
1065.79	o 17080
1065.79	c 1520
1066.32	o 17083
1066.32	c 1517
1067.43	o 17084
1067.43	c 1516
1068.50	o 17086
1068.50	c 1514
1068.97	o 17087
1068.97	c 1513
1069.20	o 17088
1069.20	c 1512
1069.75	o 17089
1069.75	c 1511
1070.87	o 17090
1070.87	c 1510
1072.57	o 17091
1072.57	c 1509
1073.72	o 17092
1073.72	c 1508
1074.86	o 17093
1074.86	c 1507
1075.44	o 17094
1075.44	c 1506
1077.44	o 17095
1077.44	c 1505
1078.56	o 17096
1078.56	c 1504
1079.03	o 17098
1079.03	c 1502
1079.59	o 17099
1079.59	c 1501
1081.25	o 17100
1081.25	c 1500
1084.10	o 17101
1084.10	c 1499
1094.72	o 17102
1094.72	c 1498
1095.87	o 17104
1095.87	c 1496
1098.75	o 17105
1098.75	c 1495
1101.04	o 17106
1101.04	c 1494
1102.22	o 17107
1102.22	c 1493
1103.77	o 17108
1103.77	c 1492
1104.92	o 17110
1104.92	c 1490
1106.05	o 17111
1106.05	c 1489
1109.29	o 17112
1109.29	c 1488
1109.87	o 17113
1109.87	c 1487
1110.44	o 17114
1110.44	c 1486
1111.32	o 17115
1111.32	c 1485
1134.93	o 17116
1134.93	c 1484
1136.08	o 17119
1136.08	c 1481
1140.17	o 17120
1140.17	c 1480
1140.77	o 17121
1140.77	c 1479
1144.61	o 17122
1144.61	c 1478
1146.30	o 17123
1146.30	c 1477
1149.12	o 17126
1149.12	c 1474
1149.64	o 17127
1149.64	c 1473
1151.72	o 17128
1151.72	c 1472
1152.28	o 17130
1152.28	c 1470
1152.64	o 17132
1152.64	c 1468
1154.83	o 17134
1154.83	c 1466
1157.03	o 17136
1157.03	c 1464
1157.92	o 17137
1157.92	c 1463
1159.55	o 17138
1159.55	c 1462
1160.11	o 17139
1160.11	c 1461
1182.89	o 17141
1182.89	c 1459
1183.46	o 17142
1183.46	c 1458
1184.01	o 17144
1184.01	c 1456
1185.04	o 17146
1185.04	c 1454
1185.61	o 17148
1185.61	c 1452
1186.54	o 17150
1186.54	c 1450
1188.61	o 17151
1188.61	c 1449
1191.39	o 17152
1191.39	c 1448
1191.94	o 17153
1191.94	c 1447
1193.09	o 17154
1193.09	c 1446
1211.56	o 17156
1211.56	c 1444
1212.70	o 17157
1212.70	c 1443
1214.53	o 17158
1214.53	c 1442
1215.55	o 17159
1215.55	c 1441
1216.12	o 17160
1216.12	c 1440
1217.10	o 17161
1217.10	c 1439
1217.66	o 17164
1217.66	c 1436
1218.20	o 17166
1218.20	c 1434
1218.74	o 17168
1218.74	c 1432
1219.28	o 17170
1219.28	c 1430
1220.17	o 17171
1220.17	c 1429
1220.73	o 17174
1220.73	c 1426
1221.27	o 17175
1221.27	c 1425
1222.57	o 17176
1222.57	c 1424
1223.09	o 17177
1223.09	c 1423
1223.65	o 17178
1223.65	c 1422
1225.31	o 17180
1225.31	c 1420
1226.42	o 17188
1226.42	c 1412
1226.96	o 17189
1226.96	c 1411
1228.03	o 17190
1228.03	c 1410
1229.12	o 17193
1229.12	c 1407
1234.02	o 17195
1234.02	c 1405
1239.01	o 17196
1239.01	c 1404
1239.56	o 17197
1239.56	c 1403
1241.73	o 17198
1241.73	c 1402
1247.71	o 17200
1247.71	c 1400
1255.03	o 17201
1255.03	c 1399
1255.45	o 17202
1255.45	c 1398
1255.98	o 17204
1255.98	c 1396
1257.11	o 17205
1257.11	c 1395
1258.23	o 17208
1258.23	c 1392
1260.48	o 17209
1260.49	c 1391
1267.16	o 17210
1267.16	c 1390
1267.72	o 17211
1267.72	c 1389
1270.49	o 17215
1270.49	c 1385
1271.06	o 17217
1271.06	c 1383
1274.39	o 17219
1274.39	c 1381
1277.77	o 17220
1277.77	c 1380
1279.42	o 17221
1279.42	c 1379
1279.86	o 17222
1279.86	c 1378
1283.51	o 17223
1283.51	c 1377
1284.06	o 17224
1284.06	c 1376
1284.60	o 17226
1284.60	c 1374
1285.52	o 17230
1285.52	c 1370
1286.63	o 17232
1286.63	c 1368
1287.69	o 17233
1287.69	c 1367
1289.92	o 17234
1289.92	c 1366
1291.62	o 17236
1291.62	c 1364
1294.52	o 17237
1294.52	c 1363
1295.09	o 17240
1295.09	c 1360
1296.25	o 17241
1296.25	c 1359
1297.88	o 17242
1297.88	c 1358
1298.31	o 17243
1298.31	c 1357
1298.86	o 17244
1298.86	c 1356
1299.41	o 17245
1299.41	c 1355
1301.11	o 17248
1301.11	c 1352
1304.32	o 17249
1304.32	c 1351
1304.89	o 17250
1304.89	c 1350
1305.45	o 17251
1305.45	c 1349
1306.02	o 17252
1306.02	c 1348
1313.03	o 17253
1313.03	c 1347
1314.73	o 17254
1314.73	c 1346
1315.84	o 17256
1315.84	c 1344
1316.38	o 17258
1316.38	c 1342
1316.92	o 17260
1316.92	c 1340
1320.29	o 17261
1320.29	c 1339
1327.77	o 17263
1327.78	c 1337
1329.51	o 17265
1329.51	c 1335
1333.34	o 17266
1333.34	c 1334
1335.59	o 17267
1335.59	c 1333
1336.15	o 17268
1336.15	c 1332
1337.28	o 17270
1337.28	c 1330
1337.82	o 17271
1337.82	c 1329
1339.39	o 17273
1339.39	c 1327
1339.96	o 17275
1339.96	c 1325
1342.00	o 17277
1342.00	c 1323
1343.48	o 17278
1343.48	c 1322
1343.77	o 17279
1343.77	c 1321
1344.33	o 17280
1344.33	c 1320
1346.53	o 17281
1346.53	c 1319
1346.98	o 17282
1346.98	c 1318
1347.52	o 17283
1347.52	c 1317
1348.61	o 17284
1348.61	c 1316
1349.72	o 17286
1349.72	c 1314
1350.77	o 17289
1350.77	c 1311
1351.30	o 17290
1351.30	c 1310
1352.99	o 17292
1352.99	c 1308
1354.09	o 17294
1354.09	c 1306
1356.36	o 17296
1356.36	c 1304
1359.82	o 17297
1359.82	c 1303
1360.34	o 17298
1360.34	c 1302
1360.91	o 17299
1360.91	c 1301
1362.05	o 17300
1362.05	c 1300
1364.37	o 17301
1364.37	c 1299
1366.13	o 17302
1366.13	c 1298
1366.72	o 17303
1366.72	c 1297
1367.30	o 17305
1367.30	c 1295
1367.70	o 17308
1367.70	c 1292
1368.05	o 17309
1368.05	c 1291
1371.65	o 17310
1371.65	c 1290
1372.07	o 17311
1372.07	c 1289
1379.06	o 17312
1379.06	c 1288
1379.66	o 17315
1379.66	c 1285
1382.67	o 17316
1382.67	c 1284
1383.26	o 17318
1383.27	c 1282
1384.97	o 17320
1384.97	c 1280
1385.58	o 17321
1385.58	c 1279
1386.18	o 17322
1386.18	c 1278
1387.39	o 17323
1387.39	c 1277
1391.36	o 17324
1391.36	c 1276
1392.55	o 17326
1392.55	c 1274
1393.02	o 17327
1393.02	c 1273
1396.80	o 17328
1396.80	c 1272
1397.39	o 17331
1397.39	c 1269
1397.95	o 17333
1397.95	c 1267
1399.10	o 17334
1399.10	c 1266
1400.65	o 17336
1400.65	c 1264
1402.44	o 17337
1402.44	c 1263
1403.94	o 17338
1403.94	c 1262
1405.58	o 17339
1405.58	c 1261
1408.66	o 17340
1408.66	c 1260
1409.83	o 17341
1409.83	c 1259
1411.60	o 17342
1411.60	c 1258
1412.19	o 17344
1412.19	c 1256
1422.42	o 17345
1422.42	c 1255
1422.96	o 17347
1422.96	c 1253
1428.31	o 17348
1428.31	c 1252
1430.67	o 17349
1430.67	c 1251
1431.27	o 17351
1431.27	c 1249
1431.79	o 17356
1431.79	c 1244
1432.77	o 17358
1432.77	c 1242
1433.36	o 17359
1433.36	c 1241
1433.95	o 17362
1433.95	c 1238
1438.61	o 17363
1438.61	c 1237
1442.72	o 17364
1442.72	c 1236
1443.32	o 17367
1443.32	c 1233
1445.07	o 17368
1445.07	c 1232
1445.66	o 17369
1445.66	c 1231
1446.84	o 17370
1446.84	c 1230
1447.90	o 17371
1447.90	c 1229
1448.49	o 17373
1448.49	c 1227
1451.74	o 17374
1451.74	c 1226
1452.33	o 17376
1452.33	c 1224
1452.92	o 17378
1452.92	c 1222
1453.48	o 17380
1453.48	c 1220
1454.06	o 17382
1454.06	c 1218
1454.64	o 17384
1454.64	c 1216
1456.10	o 17386
1456.10	c 1214
1457.03	o 17387
1457.03	c 1213
1458.21	o 17388
1458.21	c 1212
1462.30	o 17389
1462.30	c 1211
1462.89	o 17390
1462.89	c 1210
1465.28	o 17391
1465.28	c 1209
1470.14	o 17392
1470.14	c 1208
1474.28	o 17393
1474.28	c 1207
1475.46	o 17394
1475.46	c 1206
1476.05	o 17396
1476.05	c 1204
1479.61	o 17397
1479.61	c 1203
1480.22	o 17398
1480.22	c 1202
1480.65	o 17400
1480.65	c 1200
1481.26	o 17403
1481.26	c 1197
1481.80	o 17405
1481.80	c 1195
1484.21	o 17407
1484.21	c 1193
1485.42	o 17408
1485.42	c 1192
1494.29	o 17410
1494.29	c 1190
1495.49	o 17411
1495.49	c 1189
1500.04	o 17412
1500.04	c 1188
1500.65	o 17413
1500.65	c 1187
1507.17	o 17414
1507.17	c 1186
1508.63	o 17415
1508.63	c 1185
1509.83	o 17417
1509.83	c 1183
1513.78	o 17418
1513.78	c 1182
1515.67	o 17419
1515.67	c 1181
1517.49	o 17420
1517.49	c 1180
1518.52	o 17421
1518.52	c 1179
1519.74	o 17423
1519.74	c 1177
1520.35	o 17424
1520.35	c 1176
1521.57	o 17425
1521.57	c 1175
1521.70	o 17427
1521.70	c 1173
1523.03	o 17428
1523.03	c 1172
1524.42	o 17430
1524.42	c 1170
1525.62	o 17431
1525.62	c 1169
1535.97	o 17432
1535.97	c 1168
1536.59	o 17433
1536.59	c 1167
1537.83	o 17434
1537.83	c 1166
1545.06	o 17435
1545.06	c 1165
1548.14	o 17437
1548.14	c 1163
1548.75	o 17439
1548.75	c 1161
1548.80	o 17441
1548.80	c 1159
1549.31	o 17442
1549.31	c 1158
1549.92	o 17443
1549.92	c 1157
1550.30	o 17444
1550.30	c 1156
1553.15	o 17448
1553.15	c 1152
1554.97	o 17449
1554.97	c 1151
1556.79	o 17450
1556.79	c 1150
1557.40	o 17452
1557.40	c 1148
1557.87	o 17453
1557.87	c 1147
1562.86	o 17454
1562.86	c 1146
1563.86	o 17457
1563.86	c 1143
1563.98	o 17458
1563.98	c 1142
1564.58	o 17460
1564.58	c 1140
1566.48	o 17462
1566.48	c 1138
1576.53	o 17463
1576.53	c 1137
1578.33	o 17464
1578.33	c 1136
1579.53	o 17467
1579.53	c 1133
1580.39	o 17468
1580.40	c 1132
1582.19	o 17469
1582.19	c 1131
1583.14	o 17471
1583.14	c 1129
1592.33	o 17472
1592.33	c 1128
1594.82	o 17473
1594.82	c 1127
1598.07	o 17474
1598.07	c 1126
1598.27	o 17475
1598.27	c 1125
1599.23	o 17476
1599.23	c 1124
1599.79	o 17477
1599.79	c 1123
1601.21	o 17478
1601.21	c 1122
1604.55	o 17479
1604.55	c 1121
1605.12	o 17480
1605.12	c 1120
1608.52	o 17481
1608.52	c 1119
1609.09	o 17482
1609.09	c 1118
1616.34	o 17483
1616.34	c 1117
1627.30	o 17484
1627.30	c 1116
1635.89	o 17486
1635.89	c 1114
1636.44	o 17487
1636.44	c 1113
1643.94	o 17488
1643.94	c 1112
1644.16	o 17489
1644.16	c 1111
1644.68	o 17491
1644.68	c 1109
1644.93	o 17492
1644.93	c 1108
1645.45	o 17493
1645.45	c 1107
1650.80	o 17494
1650.80	c 1106
1651.89	o 17495
1651.89	c 1105
1652.44	o 17496
1652.44	c 1104
1653.52	o 17497
1653.52	c 1103
1654.06	o 17498
1654.06	c 1102
1660.52	o 17500
1660.52	c 1100
1661.61	o 17501
1661.61	c 1099
1665.66	o 17502
1665.66	c 1098
1667.38	o 17505
1667.38	c 1095
1671.97	o 17506
1671.97	c 1094
1672.52	o 17507
1672.52	c 1093
1677.81	o 17508
1677.81	c 1092
1688.27	o 17510
1688.27	c 1090
1689.75	o 17512
1689.75	c 1088
1690.53	o 17513
1690.53	c 1087
1690.93	o 17514
1690.93	c 1086
1691.97	o 17515
1691.97	c 1085
1699.93	o 17516
1699.93	c 1084
1700.70	o 17518
1700.70	c 1082
1701.21	o 17519
1701.21	c 1081
1701.66	o 17520
1701.66	c 1080
1706.71	o 17521
1706.71	c 1079
1707.73	o 17523
1707.73	c 1077
1711.37	o 17524
1711.37	c 1076
1717.54	o 17526
1717.54	c 1074
1718.09	o 17527
1718.09	c 1073
1720.85	o 17528
1720.85	c 1072
1721.42	o 17529
1721.42	c 1071
1723.02	o 17531
1723.02	c 1069
1742.25	o 17532
1742.25	c 1068
1742.82	o 17533
1742.82	c 1067
1743.39	o 17534
1743.39	c 1066
1743.90	o 17537
1743.90	c 1063
1744.99	o 17538
1744.99	c 1062
1747.21	o 17540
1747.21	c 1060
1747.77	o 17541
1747.77	c 1059
1748.33	o 17542
1748.33	c 1058
1751.47	o 17543
1751.47	c 1057
1753.14	o 17544
1753.14	c 1056
1755.98	o 17546
1755.98	c 1054
1757.67	o 17547
1757.67	c 1053
1758.23	o 17549
1758.23	c 1051
1758.78	o 17550
1758.78	c 1050
1759.14	o 17551
1759.14	c 1049
1759.70	o 17552
1759.70	c 1048
1760.27	o 17553
1760.27	c 1047
1762.78	o 17555
1762.78	c 1045
1763.35	o 17556
1763.35	c 1044
1765.87	o 17557
1765.87	c 1043
1766.40	o 17559
1766.40	c 1041
1774.02	o 17560
1774.02	c 1040
1774.58	o 17561
1774.58	c 1039
1775.16	o 17562
1775.16	c 1038
1798.78	o 17563
1798.78	c 1037
1802.09	o 17565
1802.09	c 1035
1805.54	o 17566
1805.54	c 1034
1805.84	o 17568
1805.84	c 1032
1806.29	o 17569
1806.29	c 1031
1806.88	o 17570
1806.88	c 1030
1807.43	o 17571
1807.43	c 1029
1808.59	o 17572
1808.59	c 1028
1838.90	   
1838.90	   search
1838.90	     run=0  nbConstraintChecks=4267856832  nbAssignments=4971
1838.90	       =>  wckTime=1776.055  cpuTime=1769.93  mem=64M439
1838.91	   
1838.91	   global
1838.91	     nbConstraintChecks=4267856832  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
1838.91	     solvingWckTime=1776.034  solvingCpuTime=1769.92  expiredTime=no  totalExploration=no  nbFoundSolutions=0
1838.91	     globalCpuTime=1831.28
1838.91	       =>  wckTime=1838.591  cpuTime=1831.23  mem=64M439
1838.91	   
1838.91	   solver IterativeSystematicSolver being built... 
1839.56	       =>  wckTime=1839.247  cpuTime=1831.62  mem=153M945
1978.21	   
1978.21	   preprocessing
1978.21	     nbConstraintChecks=320131534  nbValidityChecks=873483  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
1978.21	     nbRemovedValues=0  detectedInconsistency=no
1978.21	       =>  wckTime=138.641  cpuTime=138.58  mem=153M945
2406.64	v 2074 2474 -2526 -2854 -2762 -2746 -2266 -2522 2514 -2666 2006 2182 2610 2766 2854 2894 2238 -2178 2010 2858 -2874 2410 -2846 -2502 -2222 -2282 2714 -1990 -2534 2382 2074 2038 -2598 2450 -2870 -2802 -2686 2810 2818 2030 2850 -2830 2030 2846 2894 -2790 2582 2578 2714 2894 2094 2874 2558 2038 2574 2446 -2822 2638 2854 -2830 -2854 -2162 2210 -2050 2334 -2050 -2218 -2526 -2554 -2814 2114 -2810 2826 2826 2882 2610 -2642 2190 2378 2006 -2514 -2390 2178 2178 2610 -2850 -2722 2302 -2894 -2866 2046 -2794 2010 2770 2010 -2578 2074 -2890 2490 1990 2702 2042 2486 -2722 2582 -2526 2014 -2842 -2310 2802 2054 2662 2318 -2422 -2550 2010 2558 2262 -2834 1994 -2822 -2882 2846 -2838 -2634 2034 -2050 -2030 1994 -2846 -2094 -2518 -2214 -2406 -2238 2638 -2338 1994 2730 2254 2858 -2854 2278 2494 -2882 -2826 2586 2414 2282 2294 2034 -2742 2542 -2850 2874 2202 -2618 -2510 -2750 2630 2170 2650 2470 -2638 2030 -2894 2510 -2442 -2678 -2006 -2802 -2718 -2202 2730 -2838 2450 2114 -2378 -2814 2578 -2794 -2502 -2770 -2810 2506 -2170 2894 -2538 -2790 -2778 -2250 -2406 -2394 1998 -2546 2042 2198 -2806 2258 -2002 -2030 -1990 2414 -2010 2786 2094 -2070 2466 -2866 -2378 2770 2130 -2342 -2766 -2858 -2702 2846 -2506 -2366 2630 -2854 -2614 -2070 2538 -2370 -2038 2854 2022 -2786 -2474 -2754 -2834 2742 2250 -2754 2790 -2494 2342 2746 2050 2706 -1990 2034 -2246 2034 2886 -2738 2582 -2346 -2854 2370 -2030 -2506 -2606 -2238 1998 2398 2654 2738 2838 2194 -2866 2854 2334 2894 2246 -2870 -2842 2066 -2002 2818 -2722 -2878 2814 -2030 -2066 -2822 -2886 -2670 -2458 2562 2646 2550 2454 2030 2882 -1990 -2050 2326 2258 -2582 -2578 2342 -2694 -2266 2006 2614 2786 2198 -2838 2822 -2750 -2022 2674 -2722 -2158 1990 2686 2662 -2674 2634 2210 -2118 2518 -2198 -2386 -2850 -2822 2754 1990 -2054 -2842 2850 -2654 2786 -2574 2790 2854 2690 -2790 2526 2582 -2606 2354 -2806 -2474 2578 2078 -2618 2106 2454 -2794 2854 2318 -2042 2414 -2882 -2154 2742 -2354 -1998 -2654 -2198 2410 -2070 2602 2190 2054 2854 2186 2850 2038 -2894 -2670 -1998 2882 2022 -2042 2206 -2698 -2798 2046 -2042 -2434 2010 -2578 2218 2170 2802 -2586 -2342 -1990 2850 2062 1990 1990 -2574 2890 2782 2402 2794 -2046 2830 -1998 2842 2430 -2050 2558 -2206 -2714 -2874 2826 2438 2190 2298 2826 2182 -2034 -2462 -1994 -2778 -2062 -2746 2710 2714 -2034 -2854 2198 -2850 -2366 -2550 2370 -2034 -2306 2718 -2830 2014 -2682 -2894 -2834 2486 2514 2182 -2034 2538 2882 -2002 2826 2890 -2350 2646 -2126 2482 -2574 2890 -2534 2150 2894 2518 -2686 -2842 2030 -2166 2818 2282 -2590 2326 2414 -2678 -2090 -2362 -2070 -2714 2106 2750 -2042 -2834 -2106 -2222 2106 -2446 -2238 -2102 -2838 2030 -2366 -2222 2522 -2374 2630 -2470 1994 2542 -2414 2822 2522 -2838 2198 2322 2030 -2706 -2482 2034 2650 -2046 2774 -2422 2846 2854 2478 2318 -2798 -2894 2890 -2450 -2850 2570 -2034 2850 2766 -2014 -2110 -2682 1998 -2826 2874 -2850 -2746 2378 2638 -2794 -2266 -2038 2430 -2838 -2558 -2786 -2286 2678 -2878 -2610 -2466 -2430 2810 2038 2834 2650 2662 -2642 1994 -2030 -2814 -2018 2802 2002 1990 -2210 2666 -2630 -2782 -2142 2754 -2894 -2086 2826 2274 2254 -2070 2510 2094 2034 2366 -1994 1990 2214 2266 2514 2042 2834 -2674 -2750 2378 -2706 -2146 -2786 1990 -2322 -2682 -2198 2546 -2710 2838 2018 2858 2370 -2826 -2854 -2006 -1994 -2698 -2850 2006 -2070 2534 1994 -2854 -2050 2782 -2330 -2266 2490 2786 2814 2818 2034 2882 2346 2174 2202 -2678 -2782 2662 -2142 -2410 -2726 2346 2874 1990 -2894 -2030 2586 -2790 2686 -2030 2010 -2818 -2846 -2390 2890 -1998 2322 -2050 2782 2054 -1990 -2442 -2834 -2894 2870 -2142 -2802 -2118 2014 -2450 2190 -2714 2622 2854 -2894 -2670 -2894 2190 -2138 -2362 2782 -2846 2474 2634 2638 2790 2574 2726 -2638 2326 -2450 2422 -2630 -2862 -2034 2582 2538 -2874 -2382 -2318 2654 -2674 2050 2658 2866 -2394 -2498 -2854 -2890 -2830 -2090 2150 2314 2878 -2890 1990 -2274 2890 -2014 -2606 -2190 2134 -2230 2394 -2710 2614 2066 -2498 2046 -2894 2642 -2766 2702 -2030 2630 -2526 -2506 2894 2030 2266 -2682 2882 2082 -2894 -2126 2818 -2486 -2710 -1990 -2894 2010 -2278 -2406 -2606 -2670 2818 2066 2670 -2338 -2170 2358 2490 2566 2350 2402 -2446 2522 2058 2870 -2678 -2042 2546 2678 2478 2806 -2462 2226 -2010 2474 2598 2062 2042 -2854 -2622 -2226 -2834 -2846 2798 2682 2482 -2446 2210 2442 2894 2434 1998 2818 2734 -2554 -2106 2802 2062 -1990 -2302 2678 -2510 2138 -2018 -2258 2294 -2198 2682 2454 2482 2038 2842 -2654 2878 -2682 2038 2570 -2842 -2674 -2490 -2770 2890 -2062 2254 -2030 -2794 -2078 -2006 2354 2722 2178 2186 2830 -2334 2290 -2534 2590 2382 2378 -1990 -2546 2646 2046 -2190 2030 2050 2474 -2850 -2026 -2102 2198 2742 -2546 2002 -2442 -1990 2006 -2742 2726 2490 -2030 2058 -2882 2006 2290 2602 2038 -2874 -1990 -2398 2794 2578 -2490 2010 -2454 -2762 -1994 2018 2054 2826 -2094 2418 2506 -2594 -2314 -2334 -2426 -2134 2578 2886 2846 -2894 2522 -2378 -2710 -2814 -2674 -2074 2462 2162 2854 2758 2102 2066 -2390 2278 -2606 -2882 2714 2842 -2118 -1998 -2850 1998 -1990 2250 2614 -2138 -2594 -2418 -2662 -2494 -2822 -2846 -2006 -2526 2746 2482 -2750 2854 -2822 -2454 2502 -2738 2790 -2890 -2554 2510 2054 -2702 2570 -2178 -2034 -2842 2842 2858 -2486 2586 2214 -2166 2058 -2454 2226 -2010 -2894 -2826 2306 2182 -2750 2746 2890 -2034 2030 -2390 2322 -2742 2034 2030 -2854 -2542 2778 2182 2842 -2750 2038 2006 -2494 2206 -2358 -2170 -2742 2806 2622 -2290 2770 2866 -2370 -2890 2410 2766 2854 2422 -2350 2046 -2382 -2722 2534 -2678 -2830 -2314 2382 -2042 2518 2594 -2334 -2318 -2662 -2030 -2830 2886 -2394 2058 -2166 -2286 2594 -2018 -2754 -1994 -2482 -2594 2550 -2706 -2842 2534 -2798 -2866 -2066 -2470 2594 2490 -2026 -2118 -2038 -2386 2030 -2434 1998 2418 2738 -2374 -2802 -2834 -2466 2442 -2806 -2330 1990 -2390 2034 2586 -2762 -2006 2426 -2682 -2814 -2374 2410 2262 2894 -2218 -2662 -2334 2806 1990 -2846 2514 2442 -2470 -2618 -1990 -2146 -2658 2222 -2778 -2234 2506 -2890 -2422 2454 2054 2618 -2046 -2850 -2602 2430 -2894 -2834 2150 2010 -2702 2566 -2222 -2374 -1998 -1994 2014 -2742 2794 2674 -1990 2694 -2014 2286 2346 2758 2206 2870 1998 -2634 -2766 2070 2826 -2522 -2222 2054 -2850 2890 -2854 -2190 -2454 -2678 -2846 2854 2642 -2018 -2866 2338 -2338 -2150 2434 -2710 -2450 1994 -2782 -1994 2890 -2698 -2366 -2878 -2014 -2822 2854 2050 -2238 -2682 -2530 2026 -2854 -2786 2854 2834 2566 -2178 2854 2034 2878 -2810 2438 -2870 2350 2742 -2666 2758 2346 2142 2862 1998 2090 -2494 -2114 2686 2106 -1990 -2162 -2158 -2046 2150 -2590 2646 -2114 2894 -2038 2026 2262 2034 -2038 -2622 2766 2634 2006 -2494 2058 -2054 -2850 -2554 -2174 2822 -2254 2338 2806 2038 2894 -2050 -2886 2326 -2066 -2614 -2770 2010 -2842 -2334 -2742 -2846 2854 -2394 -2450 2206 -2878 -2702 -2530 2374 -2838 -2070 2150 -2190 -2542 2854 -2754 2074 2726 2622 2674 2530 -2754 2538 2730 -2010 2626 -2482 2494 2518 2658 -2198 -1990 -2738 -2838 2778 2850 -2894 1998 -2142 -2326 -2178 2234 -2802 -2350 -2450 2490 2314 2058 -2710 -2534 2490 2022 -2850 -2698 -2126 -2542 2882 -2846 -2594 2610 -1990 2518 -2098 -2178 -2126 2542 -2510 -2834 2722 2694 -2410 1994 -2826 -2386 2562 2166 -2894 2022 -2598 -2054 2474 2242 -1994 1998 2414 -2886 2854 1994 2102 -2830 -2338 2166 -2894 -2346 -2262 2834 2622 -2854 2098 -2890 -2374 2350 -2046 -2318 -2758 2034 -2282 -2174 2838 2894 2770 2546 2426 -2278 -2810 -2286 2722 2350 -2874 2850 2334 2386 -1998 2226 -2570 -2230 -2090 2754 -2514 2018 -2226 -2054 -2014 -2894 2866 -2194 -2594 2894 -2710 2730 -2846 -2882 -2770 -2138 -2046 -1994 -2414 -2078 2558 2842 2890 2306 1998 -2030 2466 -2334 -2826 2838 -2094 1990 2730 2890 -2854 -2886 -2790 -2034 2854 -2610 -1990 2842 2794 -2390 2662 -2738 2482 2774 2210 1994 2266 2378 2854 -2554 2006 -2022 2782 -2562 -2002 -2466 -2706 2002 2638 -2054 -2822 2058 2742 -2030 -2438 2030 2690 -2402 -2014 -2546 2030 2818 -2094 2142 -2854 2850 -2702 -2034 2882 2634 -2278 -2758 2438 2818 2110 2830 2630 -2634 -2826 2514 -2586 2894 2646 -2314 2334 2874 -2494 2894 -2706 2706 2834 2018 2882 -2370 1990 2038 2626 -2894 -2566 2778 2306 2278 2382 -2378 -2834 -2198 2674 1990 -2594 2090 -2674 -2470 -1998 2238 -2294 -2042 -2054 -2390 -1998 -2666 -2794 2514 -2854 -2050 -2238 -2318 2762 -2286 2546 -2846 -2042 2854 2834 2094 -2522 2334 -2246 1994 2330 2742 2102 -2634 2798 2342 2450 -2034 -2542 2650 -2854 2530 -2858 -2014 2518 2854 -2398 -2398 -2046 2002 -2158 -2058 -2878 -2870 -2662 -2182 -2714 -2270 2698 -2874 -2730 2078 2030 -2894 2838 -2218 -2890 -2550 2718 -2894 2290 2506 2818 -2782 2842 -1990 2794 2494 -2542 -2370 -1990 -2190 -2890 -2410 2162 -2646 2066 2850 -2030 2190 2118 2494 -2646 -2470 2486 -2618 2890 -2578 2854 2282 2710 2210 2838 2114 -2518 1990 -2274 -2178 -2738 -2546 2002 2310 2286 -2766 2874 2270 2414 2874 -2142 -2034 2502 2198 2130 -2226 -2418 2750 2546 -2866 -2190 2806 -2254 -2342 -2854 -2026 -2210 2726 2034 2670 2762 2018 -2746 -2882 -2030 2134 2298 -2190 1998 -2718 -2894 2050 2654 -2854 -2050 2054 -2706 2850 -2478 2274 -2038 -2878 2062 -2198 1994 2402 2726 2418 1990 2042 -1994 -2458 2334 -2026 1990 -2290 -2650 2030 2326 2138 -2078 2870 -1994 -2514 2878 -2214 -1994 2862 -2034 -2842 -2030 -2894 1994 2618 -2002 2622 2774 2806 -2886 -2506 -2402 2546 -2530 -2094 -2442 -2854 1994 2694 2746 -2690 2634 2542 2366 -1994 1990 -2150 2586 2858 2850 -2850 -2014 2374 2002 2810 -2554 -2098 2030 2642 -2050 -2482 -2518 2578 2058 -2030 -2130 -2302 2618 2326 -2750 -2486 -2214 2818 -2562 2346 2306 2026 -2642 2742 -2430 -1990 2858 -2634 2130 2886 -2674 2634 2882 2426 2794 2430 -2130 2086 2582 -1994 2618 -2334 -2546 2710 -2474 2750 2798 2702 -2386 -2578 -2830 2042 2298 2142 2778 2526 -2794 -2786 -2034 -2510 -2438 -1990 -2670 2094 2006 2326 -2102 -2642 2818 -2002 -2862 -2718 2850 -2806 2890 -2026 -2166 -2542 2846 -2566 -2446 -2278 2842 -2294 -2010 -2842 -2606 2878 -2834 -2890 2138 2410 2886 -2050 2746 2682 -2890 -2030 -2146 2454 2046 -2006 -2598 2210 2074 2410 2374 2438 -2370 -2438 2346 -2886 2586 2018 -2886 2386 2782 -2670 2662 -2030 2002 -2894 2554 -2030 2742 -2030 -2054 -2354 -2066 2094 -2890 1998 -2318 2822 2210 -1990 -2026 2194 -2434 2478 2138 -2362 -2326 -2310 -2226 2478 -2702 2550 -2826 -2646 2894 -2290 -2350 2854 2298 -2278 2218 -2750 -2878 -2426 2390 -2806 -2706 2614 -2058 2702 2862 2806 2846 2382 2038 2650 2834 2382 2874 -1990 -2038 -2518 2038 -2558 2422 2698 2750 2806 -2478 2298 -1990 -2410 2878 2886 2834 -2590 -2442 -2046 2782 2514 2134 -1994 2682 2710 2658 2274 2866 -2310 2838 2434 -2050 2854 2570 2854 2434 2074 1994 -2722 2030 2470 -2894 -2250 -2374 2010 2202 -2058 2006 2142 2258 2046 -2842 -2034 2410 2566 -2826 2286 -2026 -2894 -2462 -2854 2470 2010 2606 2686 2714 -2590 -2374 2858 2870 -2286 2582 2514 2806 -2422 -2886 -2702 -2030 2894 2038 2530 2710 2346 -2030 -2802 2882 -2090 2702 2350 2790 2570 -2738 2702 2398 2882 -2574 2622 -2046 2834 -2854 -2586 2450 -2614 2034 -2886 -2070 -2286 2798 -2370 2030 2066 2838 -2686 -2426 2530 2730 -2230 2586 1990 2626 2858 2702 2310 -2110 2386 2830 2798 -2610 -2670 -2082 2278 2590 -2250 2558 -2482 2806 -2362 -2882 -2682 -1994 2486 -2066 -2846 -2358 2894 2146 -2766 -2894 2522 -2306 -2078 -2890 -2682 2034 2250 1994 -2846 -2150 2870 2382 -2326 2246 2482

Verifier Data (download as text)

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

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

/proc/loadavg: 2.00 2.00 2.00 4/73 4974
/proc/meminfo: memFree=1336608/2055920 swapFree=4191892/4192956
[pid=4973] ppid=4971 vsize=18540 CPUtime=0
/proc/4973/stat : 4973 (runsolver) R 4971 4973 3762 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 270869551 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 235371293991 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/4973/statm: 4635 279 244 17 0 2626 0

[startup+0.10795 s]
/proc/loadavg: 2.00 2.00 2.00 4/73 4974
/proc/meminfo: memFree=1336608/2055920 swapFree=4191892/4192956
[pid=4973] ppid=4971 vsize=914988 CPUtime=0.08
/proc/4973/stat : 4973 (java) R 4971 4973 3762 0 -1 0 2995 0 1 0 7 1 0 0 17 0 8 0 270869551 936947712 2741 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072934385 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4973/statm: 228747 2741 1427 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.51702 s]
/proc/loadavg: 2.00 2.00 2.00 4/73 4974
/proc/meminfo: memFree=1336608/2055920 swapFree=4191892/4192956
[pid=4973] ppid=4971 vsize=915332 CPUtime=0.49
/proc/4973/stat : 4973 (java) R 4971 4973 3762 0 -1 0 7585 0 1 0 45 4 0 0 18 0 8 0 270869551 937299968 7324 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073585071 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4973/statm: 228833 7324 2140 14 0 215303 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915332

[startup+1.33816 s]
/proc/loadavg: 2.00 2.00 2.00 4/80 4981
/proc/meminfo: memFree=1257128/2055920 swapFree=4191892/4192956
[pid=4973] ppid=4971 vsize=915612 CPUtime=1.3
/proc/4973/stat : 4973 (java) R 4971 4973 3762 0 -1 0 24143 0 1 0 118 12 0 0 23 0 8 0 270869551 937586688 23880 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073797991 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4973/statm: 228903 23880 2161 14 0 215373 0
[pid=4973/tid=4975] ppid=4971 vsize=915612 CPUtime=0.08
/proc/4973/task/4975/stat : 4975 (java) S 4971 4973 3762 0 -1 64 7589 0 0 0 6 2 0 0 16 0 8 0 270869555 937586688 23880 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4973/tid=4976] ppid=4971 vsize=915612 CPUtime=0
/proc/4973/task/4976/stat : 4976 (java) S 4971 4973 3762 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270869555 937586688 23880 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4973/tid=4977] ppid=4971 vsize=915612 CPUtime=0
/proc/4973/task/4977/stat : 4977 (java) S 4971 4973 3762 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270869555 937586688 23880 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4973/tid=4978] ppid=4971 vsize=915612 CPUtime=0
/proc/4973/task/4978/stat : 4978 (java) S 4971 4973 3762 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270869559 937586688 23880 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4973/tid=4979] ppid=4971 vsize=915612 CPUtime=0.16
/proc/4973/task/4979/stat : 4979 (java) S 4971 4973 3762 0 -1 64 404 0 0 0 16 0 0 0 16 0 8 0 270869559 937586688 23880 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4973/tid=4980] ppid=4971 vsize=915612 CPUtime=0
/proc/4973/task/4980/stat : 4980 (java) S 4971 4973 3762 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270869559 937586688 23880 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4973/tid=4981] ppid=4971 vsize=915612 CPUtime=0
/proc/4973/task/4981/stat : 4981 (java) S 4971 4973 3762 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270869559 937586688 23880 18446744073709551615 134512640 134570532 4294956480 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.97543 s]
/proc/loadavg: 2.00 2.00 2.00 3/80 4981
/proc/meminfo: memFree=1249192/2055920 swapFree=4191892/4192956
[pid=4973] ppid=4971 vsize=915744 CPUtime=2.94
/proc/4973/stat : 4973 (java) R 4971 4973 3762 0 -1 0 24218 0 1 0 280 14 0 0 25 0 8 0 270869551 937721856 23953 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153928144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4973/statm: 228936 23953 2181 14 0 215406 0
[pid=4973/tid=4975] ppid=4971 vsize=915744 CPUtime=0.1
/proc/4973/task/4975/stat : 4975 (java) S 4971 4973 3762 0 -1 64 7589 0 0 0 8 2 0 0 17 0 8 0 270869555 937721856 23953 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4973/tid=4976] ppid=4971 vsize=915744 CPUtime=0
/proc/4973/task/4976/stat : 4976 (java) S 4971 4973 3762 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270869555 937721856 23953 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4973/tid=4977] ppid=4971 vsize=915744 CPUtime=0
/proc/4973/task/4977/stat : 4977 (java) S 4971 4973 3762 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270869555 937721856 23953 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4973/tid=4978] ppid=4971 vsize=915744 CPUtime=0
/proc/4973/task/4978/stat : 4978 (java) S 4971 4973 3762 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270869559 937721856 23953 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4973/tid=4979] ppid=4971 vsize=915744 CPUtime=0.18
/proc/4973/task/4979/stat : 4979 (java) S 4971 4973 3762 0 -1 64 415 0 0 0 18 0 0 0 16 0 8 0 270869559 937721856 23953 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4973/tid=4980] ppid=4971 vsize=915744 CPUtime=0
/proc/4973/task/4980/stat : 4980 (java) S 4971 4973 3762 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270869559 937721856 23953 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4973/tid=4981] ppid=4971 vsize=915744 CPUtime=0
/proc/4973/task/4981/stat : 4981 (java) S 4971 4973 3762 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270869559 937721856 23953 18446744073709551615 134512640 134570532 4294956480 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.276 s]
/proc/loadavg: 2.00 2.00 2.00 3/80 4981
/proc/meminfo: memFree=1249000/2055920 swapFree=4191892/4192956
[pid=4973] ppid=4971 vsize=915744 CPUtime=6.22
/proc/4973/stat : 4973 (java) R 4971 4973 3762 0 -1 0 24221 0 1 0 608 14 0 0 25 0 8 0 270869551 937721856 23955 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073830759 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4973/statm: 228936 23955 2181 14 0 215406 0
[pid=4973/tid=4975] ppid=4971 vsize=915744 CPUtime=0.1
/proc/4973/task/4975/stat : 4975 (java) S 4971 4973 3762 0 -1 64 7589 0 0 0 8 2 0 0 16 0 8 0 270869555 937721856 23955 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4973/tid=4976] ppid=4971 vsize=915744 CPUtime=0
/proc/4973/task/4976/stat : 4976 (java) S 4971 4973 3762 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270869555 937721856 23955 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4973/tid=4977] ppid=4971 vsize=915744 CPUtime=0
/proc/4973/task/4977/stat : 4977 (java) S 4971 4973 3762 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270869555 937721856 23955 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4973/tid=4978] ppid=4971 vsize=915744 CPUtime=0
/proc/4973/task/4978/stat : 4978 (java) S 4971 4973 3762 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270869559 937721856 23955 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4973/tid=4979] ppid=4971 vsize=915744 CPUtime=0.19
/proc/4973/task/4979/stat : 4979 (java) S 4971 4973 3762 0 -1 64 417 0 0 0 19 0 0 0 16 0 8 0 270869559 937721856 23955 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4973/tid=4980] ppid=4971 vsize=915744 CPUtime=0
/proc/4973/task/4980/stat : 4980 (java) S 4971 4973 3762 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270869559 937721856 23955 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4973/tid=4981] ppid=4971 vsize=915744 CPUtime=0
/proc/4973/task/4981/stat : 4981 (java) S 4971 4973 3762 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270869559 937721856 23955 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 915744

[startup+12.7531 s]
/proc/loadavg: 2.00 2.00 2.00 3/80 4981
/proc/meminfo: memFree=1249072/2055920 swapFree=4191892/4192956
[pid=4973] ppid=4971 vsize=915744 CPUtime=12.66
/proc/4973/stat : 4973 (java) R 4971 4973 3762 0 -1 0 24233 0 1 0 1251 15 0 0 25 0 8 0 270869551 937721856 23966 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073825221 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4973/statm: 228936 23966 2182 14 0 215406 0
[pid=4973/tid=4975] ppid=4971 vsize=915744 CPUtime=0.1
/proc/4973/task/4975/stat : 4975 (java) S 4971 4973 3762 0 -1 64 7589 0 0 0 8 2 0 0 16 0 8 0 270869555 937721856 23966 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4973/tid=4976] ppid=4971 vsize=915744 CPUtime=0
/proc/4973/task/4976/stat : 4976 (java) S 4971 4973 3762 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270869555 937721856 23966 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4973/tid=4977] ppid=4971 vsize=915744 CPUtime=0
/proc/4973/task/4977/stat : 4977 (java) S 4971 4973 3762 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270869555 937721856 23966 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4973/tid=4978] ppid=4971 vsize=915744 CPUtime=0
/proc/4973/task/4978/stat : 4978 (java) S 4971 4973 3762 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270869559 937721856 23966 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4973/tid=4979] ppid=4971 vsize=915744 CPUtime=0.2
/proc/4973/task/4979/stat : 4979 (java) S 4971 4973 3762 0 -1 64 427 0 0 0 20 0 0 0 16 0 8 0 270869559 937721856 23966 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4973/tid=4980] ppid=4971 vsize=915744 CPUtime=0
/proc/4973/task/4980/stat : 4980 (java) S 4971 4973 3762 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270869559 937721856 23966 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4973/tid=4981] ppid=4971 vsize=915744 CPUtime=0
/proc/4973/task/4981/stat : 4981 (java) S 4971 4973 3762 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270869559 937721856 23966 18446744073709551615 134512640 134570532 4294956480 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.6513 s]
/proc/loadavg: 2.00 2.00 2.00 3/88 5056
/proc/meminfo: memFree=1101360/2055920 swapFree=4191892/4192956
[pid=4973] ppid=4971 vsize=915744 CPUtime=25.51
/proc/4973/stat : 4973 (java) R 4971 4973 3762 0 -1 0 26463 0 1 0 2532 19 0 0 25 0 8 0 270869551 937721856 26194 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073825232 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4973/statm: 228936 26194 2182 14 0 215406 0
[pid=4973/tid=4975] ppid=4971 vsize=915744 CPUtime=0.17
/proc/4973/task/4975/stat : 4975 (java) S 4971 4973 3762 0 -1 64 9810 0 0 0 14 3 0 0 16 0 8 0 270869555 937721856 26194 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4973/tid=4976] ppid=4971 vsize=915744 CPUtime=0
/proc/4973/task/4976/stat : 4976 (java) S 4971 4973 3762 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270869555 937721856 26194 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4973/tid=4977] ppid=4971 vsize=915744 CPUtime=0
/proc/4973/task/4977/stat : 4977 (java) S 4971 4973 3762 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270869555 937721856 26194 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4973/tid=4978] ppid=4971 vsize=915744 CPUtime=0
/proc/4973/task/4978/stat : 4978 (java) S 4971 4973 3762 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270869559 937721856 26194 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4973/tid=4979] ppid=4971 vsize=915744 CPUtime=0.21
/proc/4973/task/4979/stat : 4979 (java) S 4971 4973 3762 0 -1 64 433 0 0 0 21 0 0 0 17 0 8 0 270869559 937721856 26194 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4973/tid=4980] ppid=4971 vsize=915744 CPUtime=0
/proc/4973/task/4980/stat : 4980 (java) S 4971 4973 3762 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270869559 937721856 26194 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4973/tid=4981] ppid=4971 vsize=915744 CPUtime=0
/proc/4973/task/4981/stat : 4981 (java) S 4971 4973 3762 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270869559 937721856 26194 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.51
Current children cumulated vsize (KiB) 915744

[startup+51.3097 s]
/proc/loadavg: 2.13 2.03 2.01 3/88 5056
/proc/meminfo: memFree=806192/2055920 swapFree=4191892/4192956
[pid=4973] ppid=4971 vsize=915744 CPUtime=51.03
/proc/4973/stat : 4973 (java) R 4971 4973 3762 0 -1 0 28088 0 1 0 5079 24 0 0 25 0 8 0 270869551 937721856 27816 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073825250 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4973/statm: 228936 27816 2182 14 0 215406 0
[pid=4973/tid=4975] ppid=4971 vsize=915744 CPUtime=0.27
/proc/4973/task/4975/stat : 4975 (java) S 4971 4973 3762 0 -1 64 11425 0 0 0 23 4 0 0 16 0 8 0 270869555 937721856 27816 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4973/tid=4976] ppid=4971 vsize=915744 CPUtime=0
/proc/4973/task/4976/stat : 4976 (java) S 4971 4973 3762 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270869555 937721856 27816 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4973/tid=4977] ppid=4971 vsize=915744 CPUtime=0
/proc/4973/task/4977/stat : 4977 (java) S 4971 4973 3762 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270869555 937721856 27816 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4973/tid=4978] ppid=4971 vsize=915744 CPUtime=0
/proc/4973/task/4978/stat : 4978 (java) S 4971 4973 3762 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270869559 937721856 27816 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4973/tid=4979] ppid=4971 vsize=915744 CPUtime=0.22
/proc/4973/task/4979/stat : 4979 (java) S 4971 4973 3762 0 -1 64 440 0 0 0 22 0 0 0 15 0 8 0 270869559 937721856 27816 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4973/tid=4980] ppid=4971 vsize=915744 CPUtime=0
/proc/4973/task/4980/stat : 4980 (java) S 4971 4973 3762 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270869559 937721856 27816 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4973/tid=4981] ppid=4971 vsize=915744 CPUtime=0
/proc/4973/task/4981/stat : 4981 (java) S 4971 4973 3762 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270869559 937721856 27816 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 915744

[startup+102.57 s]
/proc/loadavg: 2.10 2.04 2.01 3/88 5056
/proc/meminfo: memFree=547824/2055920 swapFree=4191892/4192956
[pid=4973] ppid=4971 vsize=915744 CPUtime=101.98
/proc/4973/stat : 4973 (java) R 4971 4973 3762 0 -1 0 34044 0 1 0 10162 36 0 0 25 0 8 0 270869551 937721856 33766 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073826484 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4973/statm: 228936 33766 2501 14 0 215406 0
[pid=4973/tid=4975] ppid=4971 vsize=915744 CPUtime=0.72
/proc/4973/task/4975/stat : 4975 (java) S 4971 4973 3762 0 -1 64 16997 0 0 0 66 6 0 0 16 0 8 0 270869555 937721856 33766 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4973/tid=4976] ppid=4971 vsize=915744 CPUtime=0
/proc/4973/task/4976/stat : 4976 (java) S 4971 4973 3762 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270869555 937721856 33766 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4973/tid=4977] ppid=4971 vsize=915744 CPUtime=0
/proc/4973/task/4977/stat : 4977 (java) S 4971 4973 3762 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270869555 937721856 33766 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4973/tid=4978] ppid=4971 vsize=915744 CPUtime=0
/proc/4973/task/4978/stat : 4978 (java) S 4971 4973 3762 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270869559 937721856 33766 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4973/tid=4979] ppid=4971 vsize=915744 CPUtime=0.29
/proc/4973/task/4979/stat : 4979 (java) S 4971 4973 3762 0 -1 64 473 0 0 0 28 1 0 0 16 0 8 0 270869559 937721856 33766 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4973/tid=4980] ppid=4971 vsize=915744 CPUtime=0
/proc/4973/task/4980/stat : 4980 (java) S 4971 4973 3762 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270869559 937721856 33766 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4973/tid=4981] ppid=4971 vsize=915744 CPUtime=0
/proc/4973/task/4981/stat : 4981 (java) S 4971 4973 3762 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270869559 937721856 33766 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.98
Current children cumulated vsize (KiB) 915744

[startup+162.665 s]
/proc/loadavg: 2.03 2.03 2.00 3/88 5056
/proc/meminfo: memFree=541232/2055920 swapFree=4191892/4192956
[pid=4973] ppid=4971 vsize=915744 CPUtime=161.72
/proc/4973/stat : 4973 (java) R 4971 4973 3762 0 -1 0 34046 0 1 0 16129 43 0 0 25 0 8 0 270869551 937721856 33768 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074016959 0 4 0 23759 18446744073709551615 0 0 17 0 0 0

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

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

[startup+2083.79 s]
/proc/loadavg: 1.02 1.05 1.34 2/72 5269
/proc/meminfo: memFree=1150840/2055920 swapFree=4191892/4192956
[pid=4973] ppid=4971 vsize=917004 CPUtime=2077.28
/proc/4973/stat : 4973 (java) R 4971 4973 3762 0 -1 0 51449 0 1 0 207622 106 0 0 25 0 8 0 270869551 939012096 51162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074291861 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4973/statm: 229251 51162 2548 14 0 215721 0
[pid=4973/tid=4975] ppid=4971 vsize=917004 CPUtime=0.9
/proc/4973/task/4975/stat : 4975 (java) S 4971 4973 3762 0 -1 64 34161 0 0 0 78 12 0 0 16 0 8 0 270869555 939012096 51162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4973/tid=4976] ppid=4971 vsize=917004 CPUtime=0
/proc/4973/task/4976/stat : 4976 (java) S 4971 4973 3762 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 270869555 939012096 51162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4973/tid=4977] ppid=4971 vsize=917004 CPUtime=0
/proc/4973/task/4977/stat : 4977 (java) S 4971 4973 3762 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270869555 939012096 51162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4973/tid=4978] ppid=4971 vsize=917004 CPUtime=0
/proc/4973/task/4978/stat : 4978 (java) S 4971 4973 3762 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270869559 939012096 51162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4973/tid=4979] ppid=4971 vsize=917004 CPUtime=0.41
/proc/4973/task/4979/stat : 4979 (java) S 4971 4973 3762 0 -1 64 605 0 0 0 40 1 0 0 16 0 8 0 270869559 939012096 51162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4973/tid=4980] ppid=4971 vsize=917004 CPUtime=0
/proc/4973/task/4980/stat : 4980 (java) S 4971 4973 3762 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270869559 939012096 51162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4973/tid=4981] ppid=4971 vsize=917004 CPUtime=0
/proc/4973/task/4981/stat : 4981 (java) S 4971 4973 3762 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 270869559 939012096 51162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2077.28
Current children cumulated vsize (KiB) 917004

[startup+2143.81 s]
/proc/loadavg: 1.00 1.03 1.32 2/72 5269
/proc/meminfo: memFree=1150776/2055920 swapFree=4191892/4192956
[pid=4973] ppid=4971 vsize=917004 CPUtime=2137.28
/proc/4973/stat : 4973 (java) R 4971 4973 3762 0 -1 0 51449 0 1 0 213622 106 0 0 25 0 8 0 270869551 939012096 51162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074292368 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4973/statm: 229251 51162 2548 14 0 215721 0
[pid=4973/tid=4975] ppid=4971 vsize=917004 CPUtime=0.9
/proc/4973/task/4975/stat : 4975 (java) S 4971 4973 3762 0 -1 64 34161 0 0 0 78 12 0 0 16 0 8 0 270869555 939012096 51162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4973/tid=4976] ppid=4971 vsize=917004 CPUtime=0
/proc/4973/task/4976/stat : 4976 (java) S 4971 4973 3762 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 270869555 939012096 51162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4973/tid=4977] ppid=4971 vsize=917004 CPUtime=0
/proc/4973/task/4977/stat : 4977 (java) S 4971 4973 3762 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270869555 939012096 51162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4973/tid=4978] ppid=4971 vsize=917004 CPUtime=0
/proc/4973/task/4978/stat : 4978 (java) S 4971 4973 3762 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270869559 939012096 51162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4973/tid=4979] ppid=4971 vsize=917004 CPUtime=0.41
/proc/4973/task/4979/stat : 4979 (java) S 4971 4973 3762 0 -1 64 605 0 0 0 40 1 0 0 16 0 8 0 270869559 939012096 51162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4973/tid=4980] ppid=4971 vsize=917004 CPUtime=0
/proc/4973/task/4980/stat : 4980 (java) S 4971 4973 3762 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270869559 939012096 51162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4973/tid=4981] ppid=4971 vsize=917004 CPUtime=0
/proc/4973/task/4981/stat : 4981 (java) S 4971 4973 3762 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 270869559 939012096 51162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2137.28
Current children cumulated vsize (KiB) 917004

[startup+2203.81 s]
/proc/loadavg: 1.00 1.03 1.30 2/72 5269
/proc/meminfo: memFree=1150840/2055920 swapFree=4191892/4192956
[pid=4973] ppid=4971 vsize=917004 CPUtime=2197.26
/proc/4973/stat : 4973 (java) R 4971 4973 3762 0 -1 0 51452 0 1 0 219619 107 0 0 25 0 8 0 270869551 939012096 51162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073825238 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4973/statm: 229251 51162 2548 14 0 215721 0
[pid=4973/tid=4975] ppid=4971 vsize=917004 CPUtime=0.9
/proc/4973/task/4975/stat : 4975 (java) S 4971 4973 3762 0 -1 64 34161 0 0 0 78 12 0 0 16 0 8 0 270869555 939012096 51162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4973/tid=4976] ppid=4971 vsize=917004 CPUtime=0
/proc/4973/task/4976/stat : 4976 (java) S 4971 4973 3762 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 270869555 939012096 51162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4973/tid=4977] ppid=4971 vsize=917004 CPUtime=0
/proc/4973/task/4977/stat : 4977 (java) S 4971 4973 3762 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270869555 939012096 51162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4973/tid=4978] ppid=4971 vsize=917004 CPUtime=0
/proc/4973/task/4978/stat : 4978 (java) S 4971 4973 3762 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270869559 939012096 51162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4973/tid=4979] ppid=4971 vsize=917004 CPUtime=0.41
/proc/4973/task/4979/stat : 4979 (java) S 4971 4973 3762 0 -1 64 606 0 0 0 40 1 0 0 16 0 8 0 270869559 939012096 51162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4973/tid=4980] ppid=4971 vsize=917004 CPUtime=0
/proc/4973/task/4980/stat : 4980 (java) S 4971 4973 3762 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270869559 939012096 51162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4973/tid=4981] ppid=4971 vsize=917004 CPUtime=0
/proc/4973/task/4981/stat : 4981 (java) S 4971 4973 3762 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 270869559 939012096 51162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2197.26
Current children cumulated vsize (KiB) 917004

[startup+2263.91 s]
/proc/loadavg: 1.00 1.02 1.27 2/72 5269
/proc/meminfo: memFree=1150840/2055920 swapFree=4191892/4192956
[pid=4973] ppid=4971 vsize=917004 CPUtime=2257.34
/proc/4973/stat : 4973 (java) R 4971 4973 3762 0 -1 0 51452 0 1 0 225627 107 0 0 25 0 8 0 270869551 939012096 51162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073832872 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4973/statm: 229251 51162 2548 14 0 215721 0
[pid=4973/tid=4975] ppid=4971 vsize=917004 CPUtime=0.9
/proc/4973/task/4975/stat : 4975 (java) S 4971 4973 3762 0 -1 64 34161 0 0 0 78 12 0 0 16 0 8 0 270869555 939012096 51162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4973/tid=4976] ppid=4971 vsize=917004 CPUtime=0
/proc/4973/task/4976/stat : 4976 (java) S 4971 4973 3762 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 270869555 939012096 51162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4973/tid=4977] ppid=4971 vsize=917004 CPUtime=0
/proc/4973/task/4977/stat : 4977 (java) S 4971 4973 3762 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270869555 939012096 51162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4973/tid=4978] ppid=4971 vsize=917004 CPUtime=0
/proc/4973/task/4978/stat : 4978 (java) S 4971 4973 3762 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270869559 939012096 51162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4973/tid=4979] ppid=4971 vsize=917004 CPUtime=0.41
/proc/4973/task/4979/stat : 4979 (java) S 4971 4973 3762 0 -1 64 606 0 0 0 40 1 0 0 16 0 8 0 270869559 939012096 51162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4973/tid=4980] ppid=4971 vsize=917004 CPUtime=0
/proc/4973/task/4980/stat : 4980 (java) S 4971 4973 3762 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270869559 939012096 51162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4973/tid=4981] ppid=4971 vsize=917004 CPUtime=0
/proc/4973/task/4981/stat : 4981 (java) S 4971 4973 3762 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 270869559 939012096 51162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2257.34
Current children cumulated vsize (KiB) 917004

[startup+2323.91 s]
/proc/loadavg: 1.00 1.01 1.25 2/72 5269
/proc/meminfo: memFree=1150776/2055920 swapFree=4191892/4192956
[pid=4973] ppid=4971 vsize=917004 CPUtime=2317.34
/proc/4973/stat : 4973 (java) R 4971 4973 3762 0 -1 0 51452 0 1 0 231627 107 0 0 25 0 8 0 270869551 939012096 51162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073825155 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4973/statm: 229251 51162 2548 14 0 215721 0
[pid=4973/tid=4975] ppid=4971 vsize=917004 CPUtime=0.9
/proc/4973/task/4975/stat : 4975 (java) S 4971 4973 3762 0 -1 64 34161 0 0 0 78 12 0 0 16 0 8 0 270869555 939012096 51162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4973/tid=4976] ppid=4971 vsize=917004 CPUtime=0
/proc/4973/task/4976/stat : 4976 (java) S 4971 4973 3762 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 270869555 939012096 51162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4973/tid=4977] ppid=4971 vsize=917004 CPUtime=0
/proc/4973/task/4977/stat : 4977 (java) S 4971 4973 3762 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270869555 939012096 51162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4973/tid=4978] ppid=4971 vsize=917004 CPUtime=0
/proc/4973/task/4978/stat : 4978 (java) S 4971 4973 3762 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270869559 939012096 51162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4973/tid=4979] ppid=4971 vsize=917004 CPUtime=0.41
/proc/4973/task/4979/stat : 4979 (java) S 4971 4973 3762 0 -1 64 606 0 0 0 40 1 0 0 16 0 8 0 270869559 939012096 51162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4973/tid=4980] ppid=4971 vsize=917004 CPUtime=0
/proc/4973/task/4980/stat : 4980 (java) S 4971 4973 3762 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270869559 939012096 51162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4973/tid=4981] ppid=4971 vsize=917004 CPUtime=0
/proc/4973/task/4981/stat : 4981 (java) S 4971 4973 3762 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 270869559 939012096 51162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2317.34
Current children cumulated vsize (KiB) 917004

[startup+2383.93 s]
/proc/loadavg: 1.00 1.01 1.24 2/72 5269
/proc/meminfo: memFree=1150840/2055920 swapFree=4191892/4192956
[pid=4973] ppid=4971 vsize=917004 CPUtime=2377.33
/proc/4973/stat : 4973 (java) R 4971 4973 3762 0 -1 0 51455 0 1 0 237626 107 0 0 25 0 8 0 270869551 939012096 51163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074345372 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4973/statm: 229251 51163 2548 14 0 215721 0
[pid=4973/tid=4975] ppid=4971 vsize=917004 CPUtime=0.9
/proc/4973/task/4975/stat : 4975 (java) S 4971 4973 3762 0 -1 64 34161 0 0 0 78 12 0 0 16 0 8 0 270869555 939012096 51163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4973/tid=4976] ppid=4971 vsize=917004 CPUtime=0
/proc/4973/task/4976/stat : 4976 (java) S 4971 4973 3762 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 270869555 939012096 51163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4973/tid=4977] ppid=4971 vsize=917004 CPUtime=0
/proc/4973/task/4977/stat : 4977 (java) S 4971 4973 3762 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270869555 939012096 51163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4973/tid=4978] ppid=4971 vsize=917004 CPUtime=0
/proc/4973/task/4978/stat : 4978 (java) S 4971 4973 3762 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270869559 939012096 51163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4973/tid=4979] ppid=4971 vsize=917004 CPUtime=0.41
/proc/4973/task/4979/stat : 4979 (java) S 4971 4973 3762 0 -1 64 608 0 0 0 40 1 0 0 16 0 8 0 270869559 939012096 51163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4973/tid=4980] ppid=4971 vsize=917004 CPUtime=0
/proc/4973/task/4980/stat : 4980 (java) S 4971 4973 3762 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270869559 939012096 51163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4973/tid=4981] ppid=4971 vsize=917004 CPUtime=0
/proc/4973/task/4981/stat : 4981 (java) S 4971 4973 3762 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 270869559 939012096 51163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2377.33
Current children cumulated vsize (KiB) 917004



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2406.64 s]
/proc/loadavg: 1.00 1.01 1.23 2/72 5269
/proc/meminfo: memFree=1150840/2055920 swapFree=4191892/4192956
[pid=4973] ppid=4971 vsize=917004 CPUtime=2400.03
/proc/4973/stat : 4973 (java) R 4971 4973 3762 0 -1 0 51455 0 1 0 239896 107 0 0 25 0 8 0 270869551 939012096 51163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074291861 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4973/statm: 229251 51163 2548 14 0 215721 0
[pid=4973/tid=4975] ppid=4971 vsize=917004 CPUtime=0.9
/proc/4973/task/4975/stat : 4975 (java) S 4971 4973 3762 0 -1 64 34161 0 0 0 78 12 0 0 16 0 8 0 270869555 939012096 51163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4973/tid=4976] ppid=4971 vsize=917004 CPUtime=0
/proc/4973/task/4976/stat : 4976 (java) S 4971 4973 3762 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 270869555 939012096 51163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4973/tid=4977] ppid=4971 vsize=917004 CPUtime=0
/proc/4973/task/4977/stat : 4977 (java) S 4971 4973 3762 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270869555 939012096 51163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4973/tid=4978] ppid=4971 vsize=917004 CPUtime=0
/proc/4973/task/4978/stat : 4978 (java) S 4971 4973 3762 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270869559 939012096 51163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4973/tid=4979] ppid=4971 vsize=917004 CPUtime=0.41
/proc/4973/task/4979/stat : 4979 (java) S 4971 4973 3762 0 -1 64 608 0 0 0 40 1 0 0 16 0 8 0 270869559 939012096 51163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4973/tid=4980] ppid=4971 vsize=917004 CPUtime=0
/proc/4973/task/4980/stat : 4980 (java) S 4971 4973 3762 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270869559 939012096 51163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4973/tid=4981] ppid=4971 vsize=917004 CPUtime=0
/proc/4973/task/4981/stat : 4981 (java) S 4971 4973 3762 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 270869559 939012096 51163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2400.03
Current children cumulated vsize (KiB) 917004

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

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

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

runsolver used 2.83357 s user time and 6.97194 s system time

The end

Launcher Data (download as text)

Begin job on node51 on Fri Jan 19 16:38:30 UTC 2007


IDJOB= 275646
IDBENCH= 4188
IDSOLVER= 69
FILE ID= node51/275646-1169224710

PBS_JOBID= 3589107

Free space on /tmp= 66558 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  83eb19c7109a7c0773fe268e40325cfc

RANDOM SEED= 8545424

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.277
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.277
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:       1337088 kB
Buffers:         55992 kB
Cached:         562364 kB
SwapCached:        512 kB
Active:         280332 kB
Inactive:       363080 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1337088 kB
SwapTotal:     4192956 kB
SwapFree:      4191892 kB
Dirty:            4252 kB
Writeback:           0 kB
Mapped:          35104 kB
Slab:            60948 kB
Committed_AS:  5103768 kB
PageTables:       1736 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= 66561 MiB



End job on node51 on Fri Jan 19 17:18:37 UTC 2007