Trace number 1113055

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. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock 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 NameAnswerNumber of falsified constraintsCPU timeWall clock time
AbsconMax 112 pc-w? 721.017 728.034

General information on the benchmark

Namecsp/fapp/fapp36/
normalized-fapp36-2000-3.xml
MD5SUM1d1f1cebdc92b091f3f5ffe18a2e82b4
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkMSAT TO
Best Number of falsified constraints232
Best CPU time to get the best result obtained on this benchmark3600.01
Satisfiable
(Un)Satisfiability was proved
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.01/0.09	
0.01/0.09	Abscon 112 (May, 2008)
0.18/0.25	
0.18/0.25	   configuration
0.18/0.25	     name=mrdac-wdeg.xml
0.28/0.33	   
0.28/0.33	   instance
0.28/0.33	     name=HOME/instance-1113055-1215877229.xml
0.28/0.37	   
0.28/0.37	   domains being loaded...
0.38/0.45	   
0.38/0.46	   variables being loaded...
0.78/0.80	     nbVariables=2000  nbDomainTypes=26  minDomainSize=46  maxDomainSize=454  nbTotalValues=750979
0.78/0.80	       =>  wckTime=0.55  cpuTime=0.41  mem=30M345
0.78/0.80	   
0.78/0.80	   predicates being loaded...
0.78/0.87	   
0.78/0.87	   constraints being loaded...
10.69/10.80	   
10.69/10.80	   INFO : Stopping converting binary constraints (cpu=10.06, mem = 41M942)
13.76/13.95	     nbConstraints=18600  nbConvertedConstraints=244  nbConvertConstraintsChecks=32121476  nbExtensionStructures=223
13.76/13.95	     nbSharedExtensionStructures=46  nbConflictsStructures=657  nbSharedConflictsStructures=257
13.76/13.95	     nbUnbuiltConflictsStructures=8004  nbSharedBinaryRepresentations=140802  nbEvaluationManagers=8438
13.76/13.95	     nbSharedEvaluationManagers=9918  minDegree=3  maxDegree=25  minArity=2  maxArity=2
13.76/13.95	       =>  wckTime=13.699  cpuTime=12.7  mem=65M693
14.16/14.33	   
14.16/14.33	   solver LocalSearchSolver being built... 
14.16/14.38	       =>  wckTime=14.129  cpuTime=12.74  mem=54M199
14.34/14.55	
14.34/14.55	s SATISFIABLE
14.34/14.55	o 5368
14.44/14.66	o 5361
14.54/14.76	o 5357
14.64/14.80	o 5353
14.64/14.85	o 5351
14.74/14.90	o 5350
14.74/14.94	o 5343
14.74/14.98	o 5337
14.84/15.03	o 5331
14.84/15.08	o 5325
14.94/15.11	o 5320
14.94/15.16	o 5315
15.04/15.20	o 5311
15.04/15.24	o 5307
15.04/15.28	o 5303
15.14/15.31	o 5299
15.14/15.35	o 5296
15.14/15.38	o 5293
15.24/15.41	o 5290
15.24/15.44	o 5287
15.24/15.48	o 5285
15.34/15.52	o 5283
15.34/15.54	o 5281
15.34/15.56	o 5279
15.34/15.57	o 5278
15.34/15.59	o 5277
15.44/15.61	o 5276
15.44/15.64	o 5275
15.44/15.66	o 5274
15.44/15.69	o 5270
15.54/15.73	o 5261
15.54/15.78	o 5255
15.64/15.84	o 5249
15.64/15.89	o 5244
15.74/15.95	o 5239
15.74/15.99	o 5234
15.84/16.05	o 5230
15.84/16.09	o 5226
15.93/16.13	o 5222
15.93/16.19	o 5218
16.03/16.23	o 5215
16.03/16.28	o 5212
16.13/16.31	o 5209
16.13/16.36	o 5206
16.13/16.39	o 5203
16.23/16.43	o 5200
16.23/16.46	o 5197
16.23/16.50	o 5195
16.33/16.53	o 5193
16.33/16.57	o 5191
16.42/16.60	o 5189
16.42/16.63	o 5187
16.42/16.67	o 5185
16.42/16.69	o 5183
16.52/16.72	o 5181
16.52/16.74	o 5179
16.52/16.77	o 5177
16.52/16.79	o 5176
16.62/16.81	o 5175
16.62/16.83	o 5174
16.62/16.84	o 5173
16.62/16.87	o 5172
16.72/16.91	o 5171
16.72/16.93	o 5170
16.72/16.96	o 5169
16.72/16.99	o 5166
16.82/17.05	o 5159
16.92/17.10	o 5154
16.92/17.15	o 5149
17.01/17.22	o 5144
17.01/17.27	o 5140
17.11/17.32	o 5136
17.11/17.36	o 5133
17.22/17.41	o 5130
17.22/17.46	o 5127
17.32/17.51	o 5124
17.32/17.56	o 5121
17.42/17.61	o 5118
17.42/17.65	o 5115
17.42/17.70	o 5112
17.51/17.74	o 5109
17.51/17.77	o 5106
17.61/17.81	o 5103
17.61/17.85	o 5101
17.61/17.89	o 5099
17.71/17.92	o 5097
17.71/17.96	o 5095
17.71/17.99	o 5093
17.81/18.03	o 5091
17.81/18.05	o 5089
17.81/18.09	o 5087
17.91/18.13	o 5085
17.91/18.15	o 5081
17.91/18.17	o 5079
18.01/18.20	o 5077
18.01/18.23	o 5075
18.01/18.26	o 5074
18.01/18.29	o 5073
18.11/18.32	o 5072
18.11/18.34	o 5066
18.11/18.36	o 5065
18.11/18.40	o 5064
18.20/18.42	o 5063
18.20/18.47	o 5062
18.20/18.49	o 5055
18.30/18.51	o 5050
18.30/18.53	o 5043
18.30/18.55	o 5042
18.30/18.58	o 5038
18.40/18.61	o 5036
18.40/18.65	o 5033
18.40/18.68	o 5026
18.50/18.72	o 5020
18.50/18.75	o 5017
18.50/18.78	o 5012
18.59/18.82	o 5009
18.59/18.86	o 5005
18.70/18.91	o 5002
18.70/18.95	o 4997
18.70/18.99	o 4993
18.80/19.03	o 4992
18.80/19.08	o 4988
18.89/19.12	o 4987
18.89/19.17	o 4983
18.99/19.22	o 4981
18.99/19.25	o 4978
18.99/19.27	o 4976
19.09/19.33	o 4971
19.09/19.37	o 4969
19.19/19.42	o 4966
19.19/19.47	o 4962
19.39/19.62	o 4960
19.49/19.70	o 4954
19.49/19.78	o 4948
19.59/19.85	o 4942
19.68/19.93	o 4936
19.78/20.01	o 4931
19.78/20.08	o 4926
19.87/20.15	o 4921
19.97/20.23	o 4916
19.97/20.29	o 4911
20.07/20.36	o 4907
20.17/20.43	o 4903
20.27/20.50	o 4899
20.27/20.57	o 4895
20.37/20.63	o 4891
20.47/20.70	o 4887
20.47/20.76	o 4884
20.57/20.82	o 4881
20.57/20.87	o 4878
20.67/20.93	o 4873
20.67/20.97	o 4870
20.77/21.03	o 4867
20.77/21.08	o 4864
20.87/21.13	o 4861
20.87/21.18	o 4858
20.96/21.28	o 4856
21.06/21.32	o 4854
21.06/21.35	o 4852
21.06/21.39	o 4850
21.16/21.44	o 4848
21.16/21.48	o 4846
21.26/21.51	o 4844
21.26/21.55	o 4842
21.26/21.59	o 4840
21.36/21.62	o 4838
21.36/21.66	o 4836
21.46/21.70	o 4834
21.46/21.74	o 4833
21.46/21.77	o 4832
21.56/21.80	o 4831
21.56/21.83	o 4830
21.56/21.86	o 4829
21.56/21.89	o 4828
21.66/21.93	o 4821
21.66/21.96	o 4820
21.66/21.99	o 4819
21.76/22.00	o 4818
21.76/22.07	o 4814
21.76/22.09	o 4811
21.85/22.13	o 4806
21.85/22.15	o 4805
21.85/22.18	o 4801
21.95/22.20	o 4798
21.95/22.23	o 4795
22.05/22.30	o 4791
22.05/22.33	o 4789
22.05/22.35	o 4787
22.05/22.39	o 4780
22.15/22.43	o 4779
22.15/22.46	o 4773
22.25/22.51	o 4772
22.25/22.54	o 4768
22.25/22.59	o 4763
22.35/22.64	o 4758
22.35/22.69	o 4756
22.45/22.77	o 4752
22.55/22.84	o 4751
22.55/22.88	o 4746
22.65/22.93	o 4745
22.65/22.96	o 4744
22.75/23.01	o 4736
22.75/23.05	o 4728
22.75/23.10	o 4725
22.85/23.13	o 4724
22.85/23.17	o 4721
22.94/23.22	o 4720
22.94/23.26	o 4717
23.03/23.31	o 4716
23.13/23.45	o 4713
23.13/23.48	o 4712
23.23/23.53	o 4711
23.23/23.57	o 4710
23.33/23.61	o 4707
23.33/23.64	o 4704
23.33/23.68	o 4700
23.43/23.72	o 4699
23.53/23.85	o 4697
23.63/23.91	o 4696
23.63/23.96	o 4693
23.73/24.00	o 4687
23.73/24.05	o 4686
23.83/24.13	o 4684
23.93/24.21	o 4677
23.93/24.27	o 4670
24.02/24.37	o 4664
24.12/24.46	o 4658
24.22/24.55	o 4656
24.32/24.64	o 4650
24.42/24.71	o 4648
24.42/24.78	o 4647
24.72/25.04	o 4642
24.82/25.13	o 4636
24.92/25.23	o 4631
25.02/25.32	o 4626
25.11/25.42	o 4621
25.22/25.52	o 4617
25.32/25.60	o 4613
25.32/25.69	o 4609
25.42/25.78	o 4605
25.52/25.86	o 4601
25.62/25.95	o 4600
25.72/26.04	o 4596
25.82/26.12	o 4593
25.92/26.21	o 4590
25.92/26.29	o 4586
26.02/26.38	o 4583
26.11/26.45	o 4580
26.20/26.53	o 4577
26.30/26.61	o 4574
26.30/26.69	o 4572
26.40/26.76	o 4569
26.50/26.83	o 4566
26.60/26.90	o 4563
26.60/26.97	o 4560
26.70/27.05	o 4558
26.80/27.11	o 4556
26.80/27.18	o 4554
26.90/27.24	o 4552
27.00/27.31	o 4550
27.00/27.37	o 4548
27.10/27.43	o 4546
27.10/27.49	o 4544
27.20/27.55	o 4542
27.29/27.62	o 4540
27.29/27.68	o 4538
27.39/27.73	o 4537
27.39/27.79	o 4536
27.48/27.84	o 4535
27.48/27.89	o 4534
27.58/27.93	o 4533
27.58/27.99	o 4532
27.68/28.03	o 4531
27.78/28.10	o 4530
27.78/28.16	o 4529
27.88/28.21	o 4525
27.98/28.31	o 4524
28.08/28.48	o 4523
28.18/28.53	o 4521
28.18/28.58	o 4517
28.28/28.64	o 4510
28.47/28.82	o 4506
28.47/28.88	o 4500
28.67/29.03	o 4494
28.77/29.10	o 4493
28.87/29.25	o 4491
28.97/29.35	o 4487
29.17/29.51	o 4485
29.17/29.56	o 4484
29.27/29.61	o 4482
29.27/29.68	o 4480
29.37/29.73	o 4478
29.37/29.78	o 4475
29.46/29.84	o 4471
29.46/29.90	o 4469
29.56/29.94	o 4465
29.56/30.00	o 4463
29.66/30.04	o 4461
29.76/30.10	o 4459
29.76/30.15	o 4456
29.86/30.22	o 4453
29.86/30.29	o 4450
30.07/30.45	o 4449
30.17/30.51	o 4445
30.17/30.56	o 4442
30.27/30.61	o 4438
30.27/30.67	o 4437
30.37/30.72	o 4436
30.37/30.77	o 4433
30.47/30.81	o 4431
30.47/30.86	o 4429
30.56/30.91	o 4425
30.56/30.95	o 4422
30.66/31.00	o 4421
30.66/31.04	o 4420
30.66/31.07	o 4419
30.76/31.12	o 4416
30.85/31.29	o 4412
30.95/31.32	o 4409
31.05/31.40	o 4406
31.05/31.44	o 4405
31.05/31.49	o 4403
31.15/31.55	o 4401
31.15/31.58	o 4399
31.25/31.64	o 4394
31.25/31.69	o 4391
31.35/31.74	o 4390
31.35/31.79	o 4388
31.45/31.84	o 4383
31.45/31.89	o 4379
31.55/31.94	o 4378
31.64/32.00	o 4372
31.64/32.05	o 4368
31.74/32.10	o 4367
31.74/32.15	o 4364
31.84/32.20	o 4360
31.84/32.24	o 4356
31.84/32.29	o 4353
31.94/32.34	o 4349
31.94/32.39	o 4348
32.14/32.51	o 4346
32.24/32.60	o 4343
32.24/32.64	o 4337
32.33/32.70	o 4336
32.33/32.76	o 4334
32.43/32.81	o 4333
32.43/32.86	o 4331
32.53/32.93	o 4328
32.53/32.98	o 4327
32.63/33.05	o 4326
32.72/33.11	o 4321
32.72/33.18	o 4319
32.92/33.38	o 4318
33.02/33.48	o 4314
33.13/33.54	o 4312
33.23/33.60	o 4311
33.23/33.65	o 4309
33.33/33.73	o 4304
33.43/33.82	o 4300
33.53/33.92	o 4296
33.63/34.00	o 4292
33.63/34.08	o 4288
33.73/34.17	o 4284
33.82/34.25	o 4280
33.92/34.32	o 4276
34.01/34.40	o 4272
34.01/34.48	o 4268
34.11/34.56	o 4265
34.21/34.64	o 4262
34.31/34.71	o 4259
34.31/34.78	o 4256
34.41/34.86	o 4253
34.51/34.92	o 4251
34.51/34.98	o 4248
34.61/35.05	o 4246
34.71/35.12	o 4244
34.71/35.18	o 4242
34.81/35.24	o 4240
34.90/35.31	o 4238
34.90/35.37	o 4237
35.00/35.43	o 4236
35.10/35.50	o 4232
35.10/35.55	o 4231
35.20/35.61	o 4230
35.20/35.68	o 4229
35.30/35.74	o 4228
35.40/35.86	o 4225
35.50/35.93	o 4223
35.60/36.09	o 4222
35.70/36.15	o 4219
35.80/36.21	o 4218
35.80/36.27	o 4217
35.90/36.33	o 4215
35.99/36.42	o 4214
35.99/36.48	o 4212
36.19/36.60	o 4207
36.19/36.67	o 4203
36.29/36.73	o 4199
36.29/36.79	o 4198
36.49/36.94	o 4195
36.59/37.01	o 4191
36.59/37.07	o 4188
36.69/37.14	o 4187
36.78/37.20	o 4185
36.78/37.26	o 4184
36.88/37.33	o 4182
36.88/37.40	o 4181
36.98/37.47	o 4177
37.07/37.54	o 4175
37.07/37.60	o 4173
37.17/37.66	o 4170
37.27/37.72	o 4169
37.37/37.87	o 4164
37.48/37.99	o 4161
37.58/38.06	o 4160
37.68/38.12	o 4157
37.68/38.19	o 4155
37.78/38.27	o 4154
37.98/38.44	o 4152
38.17/38.61	o 4149
38.17/38.69	o 4146
38.27/38.76	o 4145
38.37/38.85	o 4142
38.47/38.93	o 4141
38.57/39.01	o 4139
38.57/39.08	o 4137
38.67/39.16	o 4136
38.77/39.25	o 4131
38.97/39.47	o 4125
39.07/39.55	o 4124
39.26/39.70	o 4123
39.26/39.78	o 4122
39.36/39.86	o 4121
39.46/39.95	o 4120
39.56/40.03	o 4118
39.66/40.12	o 4117
39.76/40.20	o 4115
39.76/40.28	o 4113
40.15/40.66	o 4112
40.25/40.75	o 4111
40.34/40.84	o 4109
40.44/40.92	o 4104
40.54/41.01	o 4102
40.54/41.09	o 4101
40.74/41.28	o 4099
40.84/41.36	o 4097
41.43/41.93	o 4093
41.53/42.03	o 4091
41.63/42.12	o 4089
41.73/42.20	o 4086
41.73/42.29	o 4084
42.03/42.54	o 4083
42.13/42.62	o 4082
42.23/42.71	o 4081
42.23/42.79	o 4078
42.33/42.88	o 4077
42.43/42.96	o 4075
42.52/43.05	o 4074
42.62/43.14	o 4073
42.72/43.23	o 4072
42.82/43.31	o 4069
43.12/43.63	o 4067
43.22/43.71	o 4061
43.22/43.78	o 4060
43.32/43.87	o 4059
43.42/43.95	o 4057
43.52/44.05	o 4052
43.61/44.12	o 4047
43.61/44.19	o 4041
43.71/44.27	o 4038
43.81/44.34	o 4037
43.91/44.43	o 4035
44.01/44.54	o 4032
44.11/44.65	o 4027
44.21/44.76	o 4021
44.31/44.88	o 4017
44.51/45.01	o 4014
44.61/45.13	o 4011
44.70/45.25	o 4008
44.80/45.37	o 4006
44.90/45.49	o 4004
45.10/45.60	o 4002
45.20/45.71	o 4000
45.30/45.82	o 3998
45.40/45.93	o 3996
45.50/46.03	o 3994
45.60/46.15	o 3993
45.69/46.23	o 3992
45.78/46.30	o 3989
45.88/46.40	o 3987
45.98/46.51	o 3985
46.08/46.62	o 3983
46.48/47.02	o 3982
46.58/47.11	o 3981
46.68/47.21	o 3980
46.68/47.30	o 3979
46.87/47.40	o 3977
46.97/47.52	o 3976
47.07/47.63	o 3975
47.17/47.71	o 3974
47.27/47.81	o 3968
47.27/47.90	o 3966
47.37/47.99	o 3965
47.77/48.38	o 3962
48.06/48.62	o 3961
48.16/48.78	o 3960
48.26/48.89	o 3956
48.36/48.97	o 3953
48.46/49.06	o 3952
48.56/49.14	o 3949
48.66/49.22	o 3948
48.77/49.31	o 3943
48.97/49.51	o 3940
49.06/49.61	o 3939
49.16/49.70	o 3935
49.26/49.89	o 3934
49.36/49.99	o 3931
49.46/50.08	o 3929
49.66/50.27	o 3927
50.06/50.66	o 3926
50.15/50.77	o 3923
50.34/50.96	o 3921
50.44/51.06	o 3919
50.65/51.27	o 3917
50.84/51.47	o 3916
50.94/51.56	o 3914
51.04/51.69	o 3910
51.14/51.78	o 3907
51.33/51.99	o 3906
51.43/52.09	o 3905
51.53/52.20	o 3901
51.63/52.30	o 3899
51.83/52.49	o 3896
52.13/52.71	o 3895
52.23/52.81	o 3891
52.32/52.92	o 3887
52.42/53.02	o 3885
52.52/53.12	o 3883
52.62/53.22	o 3882
53.02/53.64	o 3879
53.12/53.74	o 3877
53.31/53.92	o 3875
53.41/54.02	o 3871
53.51/54.11	o 3869
53.61/54.20	o 3868
53.61/54.29	o 3867
53.71/54.39	o 3864
53.81/54.50	o 3862
53.91/54.59	o 3858
54.11/54.70	o 3855
54.21/54.80	o 3852
54.50/55.11	o 3851
54.70/55.32	o 3849
54.80/55.42	o 3847
54.90/55.52	o 3846
55.00/55.61	o 3840
55.10/55.71	o 3838
55.20/55.81	o 3834
55.29/55.92	o 3833
55.39/56.03	o 3832
55.58/56.24	o 3829
55.68/56.34	o 3828
55.78/56.43	o 3827
56.18/56.86	o 3823
56.29/56.96	o 3820
56.39/57.06	o 3814
56.59/57.28	o 3813
56.88/57.58	o 3811
56.98/57.69	o 3810
57.18/57.80	o 3808
57.28/57.91	o 3805
57.38/58.01	o 3802
57.68/58.32	o 3799
57.87/58.51	o 3797
58.07/58.72	o 3793
58.37/59.04	o 3792
58.47/59.13	o 3790
58.67/59.38	o 3789
58.85/59.51	o 3784
58.95/59.63	o 3780
59.05/59.75	o 3779
59.35/60.00	o 3775
59.45/60.11	o 3774
59.55/60.23	o 3773
60.14/60.87	o 3772
60.24/61.00	o 3768
60.44/61.12	o 3766
61.13/61.82	o 3765
61.43/62.15	o 3762
61.53/62.26	o 3759
61.63/62.39	o 3757
61.83/62.51	o 3756
62.42/63.13	o 3754
62.52/63.26	o 3751
62.72/63.49	o 3749
62.92/63.61	o 3745
63.02/63.74	o 3744
63.13/63.87	o 3743
63.22/63.99	o 3741
63.41/64.10	o 3740
63.61/64.34	o 3737
63.71/64.46	o 3734
63.81/64.58	o 3732
64.11/64.82	o 3731
64.30/65.06	o 3728
64.40/65.17	o 3726
64.50/65.29	o 3721
65.00/65.73	o 3720
65.10/65.87	o 3715
65.20/66.00	o 3712
65.39/66.12	o 3711
65.49/66.24	o 3709
65.59/66.35	o 3706
65.89/66.60	o 3704
66.09/66.83	o 3699
66.19/66.94	o 3698
66.29/67.07	o 3697
66.48/67.21	o 3694
66.58/67.33	o 3692
66.78/67.56	o 3689
66.88/67.69	o 3688
67.08/67.81	o 3685
67.18/67.94	o 3684
67.28/68.06	o 3683
67.38/68.20	o 3682
67.57/68.32	o 3680
67.77/68.57	o 3677
67.97/68.72	o 3674
68.07/68.83	o 3673
68.47/69.25	o 3670
68.57/69.40	o 3667
68.76/69.54	o 3665
68.86/69.67	o 3663
69.06/69.80	o 3661
69.16/69.93	o 3660
69.26/70.06	o 3658
69.36/70.20	o 3656
69.56/70.33	o 3654
69.66/70.45	o 3652
69.75/70.58	o 3650
70.45/71.22	o 3649
70.54/71.35	o 3648
70.64/71.48	o 3647
70.83/71.61	o 3641
70.93/71.75	o 3640
71.04/71.87	o 3639
71.14/71.99	o 3638
71.34/72.11	o 3637
72.23/73.01	o 3634
72.33/73.13	o 3633
72.43/73.24	o 3630
72.63/73.47	o 3626
72.83/73.61	o 3624
72.93/73.73	o 3623
73.02/73.85	o 3619
73.42/74.21	o 3615
73.52/74.32	o 3611
73.61/74.44	o 3608
73.81/74.68	o 3607
74.20/75.06	o 3603
74.30/75.18	o 3600
74.50/75.31	o 3598
74.60/75.42	o 3593
74.70/75.54	o 3591
74.80/75.66	o 3586
74.90/75.79	o 3585
75.10/75.91	o 3583
75.19/76.03	o 3581
75.29/76.15	o 3580
75.49/76.38	o 3579
75.69/76.50	o 3578
75.79/76.62	o 3576
75.89/76.74	o 3575
75.99/76.88	o 3570
76.19/77.03	o 3568
76.28/77.18	o 3566
76.58/77.45	o 3565
77.28/78.16	o 3562
77.47/78.31	o 3559
77.67/78.59	o 3557
77.87/78.75	o 3554
77.97/78.89	o 3553
78.17/79.03	o 3551
78.27/79.19	o 3547
78.46/79.35	o 3544
78.56/79.50	o 3543
79.16/80.05	o 3541
79.36/80.21	o 3539
79.46/80.35	o 3538
79.75/80.64	o 3535
79.85/80.77	o 3532
79.95/80.90	o 3531
80.15/81.03	o 3528
80.26/81.17	o 3525
80.74/81.61	o 3524
80.84/81.75	o 3522
81.04/81.91	o 3518
81.14/82.05	o 3516
81.64/82.58	o 3515
81.83/82.72	o 3514
81.93/82.85	o 3511
82.03/82.99	o 3508
83.72/84.61	o 3506
83.82/84.74	o 3504
83.91/84.88	o 3502
84.11/85.02	o 3501
84.21/85.15	o 3498
84.31/85.28	o 3496
84.51/85.41	o 3493
84.61/85.54	o 3491
84.71/85.67	o 3490
84.80/85.80	o 3487
84.99/85.95	o 3486
85.09/86.08	o 3484
85.39/86.36	o 3483
85.59/86.51	o 3481
85.69/86.65	o 3479
85.79/86.78	o 3475
86.08/87.08	o 3474
86.29/87.22	o 3473
86.39/87.38	o 3470
86.59/87.52	o 3468
87.09/88.10	o 3465
87.28/88.24	o 3464
87.38/88.38	o 3462
87.68/88.67	o 3459
87.88/88.81	o 3458
87.97/88.97	o 3454
88.17/89.12	o 3452
88.26/89.29	o 3450
88.46/89.45	o 3447
88.66/89.61	o 3445
88.76/89.77	o 3444
88.96/89.93	o 3443
89.26/90.25	o 3440
89.45/90.42	o 3438
89.55/90.57	o 3434
89.85/90.88	o 3430
90.04/91.04	o 3427
90.15/91.19	o 3423
90.54/91.51	o 3421
90.84/91.80	o 3418
90.94/91.96	o 3415
91.14/92.10	o 3414
91.34/92.38	o 3410
91.53/92.54	o 3408
91.63/92.69	o 3406
91.93/92.99	o 3405
92.13/93.13	o 3400
92.43/93.42	o 3397
92.52/93.56	o 3395
92.71/93.72	o 3392
92.81/93.86	o 3389
93.01/94.00	o 3388
93.11/94.15	o 3387
93.70/94.75	o 3386
93.90/94.90	o 3385
94.00/95.05	o 3383
94.20/95.20	o 3382
94.30/95.34	o 3379
94.50/95.50	o 3377
94.61/95.67	o 3374
94.80/95.82	o 3373
95.09/96.12	o 3371
95.19/96.28	o 3370
95.39/96.43	o 3368
95.69/96.74	o 3367
95.98/97.05	o 3366
96.28/97.37	o 3362
96.48/97.53	o 3360
96.58/97.68	o 3359
96.78/97.84	o 3355
97.27/98.31	o 3354
97.37/98.46	o 3352
97.57/98.61	o 3348
97.67/98.77	o 3345
97.87/98.93	o 3341
98.06/99.11	o 3338
98.36/99.42	o 3336
98.66/99.71	o 3333
98.76/99.87	o 3330
99.15/100.20	o 3324
99.45/100.52	o 3321
99.55/100.69	o 3319
99.75/100.86	o 3317
99.95/101.01	o 3314
100.44/101.50	o 3312
100.54/101.66	o 3311
100.74/101.84	o 3308
100.94/102.00	o 3305
101.04/102.16	o 3303
101.24/102.33	o 3302
101.33/102.49	o 3300
101.73/102.83	o 3297
101.93/103.00	o 3293
102.03/103.17	o 3290
102.22/103.33	o 3285
102.41/103.51	o 3282
102.52/103.68	o 3281
102.72/103.85	o 3280
103.22/104.39	o 3277
103.42/104.57	o 3274
103.61/104.75	o 3272
104.11/105.27	o 3271
104.31/105.44	o 3269
104.51/105.63	o 3266
104.70/105.82	o 3264
104.80/106.00	o 3259
105.00/106.17	o 3258
105.19/106.35	o 3257
105.59/106.71	o 3252
105.68/106.90	o 3251
105.88/107.08	o 3249
106.48/107.61	o 3246
106.58/107.80	o 3242
106.77/107.97	o 3238
106.97/108.15	o 3237
107.27/108.48	o 3236
107.47/108.67	o 3233
107.67/108.85	o 3232
108.36/109.56	o 3231
108.56/109.75	o 3229
108.76/109.94	o 3226
108.95/110.13	o 3224
109.35/110.50	o 3221
109.45/110.69	o 3218
109.65/110.88	o 3215
109.85/111.07	o 3214
110.04/111.25	o 3211
110.24/111.44	o 3209
110.44/111.62	o 3208
110.54/111.79	o 3206
110.74/111.98	o 3203
110.94/112.17	o 3201
111.13/112.36	o 3199
111.33/112.53	o 3197
111.53/112.71	o 3196
111.63/112.88	o 3194
111.82/113.05	o 3192
112.12/113.39	o 3191
112.31/113.57	o 3190
112.51/113.75	o 3189
112.71/113.93	o 3188
113.40/114.65	o 3187
113.60/114.82	o 3184
113.81/115.00	o 3183
114.11/115.37	o 3180
114.31/115.57	o 3178
114.50/115.76	o 3174
114.70/115.93	o 3171
114.90/116.10	o 3169
115.00/116.28	o 3168
115.20/116.47	o 3167
115.40/116.67	o 3165
115.59/116.86	o 3161
116.19/117.41	o 3159
116.39/117.60	o 3156
116.58/117.80	o 3153
117.48/118.73	o 3150
117.87/119.11	o 3148
118.37/119.64	o 3146
118.57/119.82	o 3144
118.76/120.01	o 3142
118.86/120.19	o 3140
119.06/120.36	o 3136
119.26/120.54	o 3134
119.46/120.72	o 3133
119.56/120.88	o 3131
119.76/121.07	o 3126
120.15/121.41	o 3123
120.45/121.76	o 3122
120.65/121.93	o 3121
120.85/122.11	o 3120
121.14/122.47	o 3117
121.34/122.65	o 3115
121.54/122.83	o 3114
121.74/123.02	o 3110
121.84/123.20	o 3107
122.03/123.39	o 3105
122.23/123.59	o 3100
122.83/124.14	o 3097
123.03/124.31	o 3095
123.21/124.50	o 3092
123.31/124.68	o 3090
123.51/124.85	o 3086
123.71/125.03	o 3083
124.20/125.59	o 3081
124.40/125.78	o 3080
124.60/125.98	o 3076
125.20/126.57	o 3075
125.39/126.77	o 3071
125.59/126.98	o 3069
125.79/127.16	o 3066
125.99/127.36	o 3064
126.19/127.56	o 3062
126.58/127.95	o 3060
126.78/128.15	o 3057
127.38/128.75	o 3054
127.57/128.95	o 3053
127.77/129.14	o 3052
128.37/129.71	o 3051
128.56/129.91	o 3050
128.76/130.10	o 3046
128.96/130.30	o 3045
129.26/130.69	o 3040
129.46/130.90	o 3037
129.74/131.11	o 3035
129.94/131.31	o 3032
130.14/131.50	o 3031
130.44/131.90	o 3030
130.73/132.11	o 3027
130.83/132.28	o 3023
131.03/132.48	o 3019
131.24/132.67	o 3015
131.64/133.07	o 3014
131.83/133.27	o 3011
132.03/133.46	o 3010
132.23/133.64	o 3007
132.43/133.84	o 3003
133.02/134.42	o 3002
133.22/134.62	o 3001
133.42/134.81	o 3000
133.62/135.00	o 2999
133.72/135.20	o 2994
134.41/135.80	o 2992
134.81/136.21	o 2990
135.40/136.85	o 2989
136.29/137.72	o 2987
136.89/138.36	o 2985
137.09/138.57	o 2982
137.78/139.20	o 2979
137.98/139.40	o 2978
138.37/139.81	o 2976
138.57/140.01	o 2974
139.17/140.63	o 2973
140.36/141.82	o 2972
140.55/142.04	o 2968
141.34/142.85	o 2964
141.54/143.06	o 2963
142.13/143.67	o 2961
142.43/143.90	o 2960
142.63/144.11	o 2957
142.82/144.32	o 2954
143.22/144.71	o 2953
143.42/144.92	o 2952
143.81/145.33	o 2950
144.01/145.52	o 2947
144.21/145.74	o 2945
144.41/145.94	o 2942
144.61/146.13	o 2938
144.81/146.34	o 2935
145.00/146.54	o 2934
145.60/147.12	o 2932
145.80/147.33	o 2930
145.99/147.53	o 2928
146.19/147.72	o 2926
146.39/147.90	o 2922
146.88/148.46	o 2920
148.96/150.50	o 2918
149.65/151.25	o 2915
149.85/151.42	o 2914
150.05/151.62	o 2913
150.15/151.80	o 2912
150.44/152.00	o 2911
150.54/152.19	o 2910
150.74/152.37	o 2908
151.04/152.69	o 2904
151.43/153.09	o 2903
151.63/153.27	o 2902
151.83/153.48	o 2901
152.03/153.67	o 2900
152.23/153.87	o 2899
152.44/154.07	o 2898
152.63/154.27	o 2896
152.83/154.49	o 2894
153.23/154.88	o 2892
153.43/155.09	o 2889
153.71/155.30	o 2888
157.68/159.39	o 2887
159.86/161.58	o 2886
160.15/161.81	o 2884
160.35/162.03	o 2883
160.95/162.67	o 2882
161.44/163.10	o 2881
161.64/163.33	o 2878
161.83/163.54	o 2876
162.03/163.76	o 2875
162.92/164.62	o 2871
163.32/165.07	o 2869
163.51/165.29	o 2867
163.82/165.50	o 2865
164.02/165.73	o 2864
164.22/165.94	o 2862
164.42/166.17	o 2859
165.11/166.87	o 2858
165.80/167.54	o 2856
166.00/167.77	o 2854
166.20/167.99	o 2851
166.69/168.45	o 2849
167.39/169.13	o 2848
167.59/169.38	o 2847
167.88/169.61	o 2845
168.08/169.84	o 2843
168.28/170.07	o 2841
168.48/170.27	o 2840
168.68/170.41	o 2837
168.97/170.78	o 2834
169.27/171.02	o 2831
169.87/171.67	o 2830
170.05/171.88	o 2828
170.25/172.09	o 2826
171.34/173.17	o 2824
171.84/173.60	o 2821
172.23/174.05	o 2820
175.40/177.23	o 2818
175.60/177.47	o 2817
175.90/177.71	o 2816
176.10/177.94	o 2811
176.30/178.18	o 2810
176.59/178.43	o 2807
176.79/178.66	o 2805
176.99/178.89	o 2804
177.29/179.11	o 2803
177.49/179.35	o 2802
177.68/179.58	o 2800
177.98/179.81	o 2799
178.47/180.30	o 2798
178.66/180.54	o 2797
179.16/181.01	o 2795
179.26/181.16	o 2791
179.47/181.39	o 2789
179.86/181.77	o 2788
180.85/182.76	o 2787
181.15/183.01	o 2786
181.35/183.25	o 2784
182.33/184.27	o 2783
183.82/185.77	o 2782
184.11/186.03	o 2779
184.61/186.54	o 2778
184.81/186.78	o 2775
185.11/187.04	o 2770
185.40/187.30	o 2764
185.90/187.81	o 2761
186.10/188.08	o 2759
186.39/188.35	o 2758
186.69/188.62	o 2757
187.19/189.15	o 2756
187.48/189.42	o 2755
188.29/190.21	o 2753
188.48/190.48	o 2750
188.78/190.74	o 2748
189.08/191.01	o 2747
189.57/191.58	o 2743
190.17/192.13	o 2742
190.66/192.68	o 2740
190.96/192.95	o 2739
191.26/193.22	o 2738
192.34/194.32	o 2737
192.64/194.61	o 2736
192.83/194.87	o 2735
194.02/196.03	o 2733
194.52/196.58	o 2731
194.82/196.87	o 2729
195.11/197.15	o 2728
196.80/198.84	o 2727
197.10/199.15	o 2725
197.39/199.45	o 2723
197.69/199.75	o 2722
197.99/200.06	o 2721
198.28/200.36	o 2720
198.58/200.67	o 2719
198.88/200.97	o 2718
199.18/201.28	o 2717
199.47/201.59	o 2716
199.77/201.89	o 2715
200.46/202.51	o 2713
201.95/204.04	o 2711
202.25/204.34	o 2710
203.73/205.85	o 2707
204.33/206.48	o 2706
205.32/207.40	o 2704
205.62/207.71	o 2702
205.91/208.01	o 2700
207.99/210.13	o 2697
210.37/212.56	o 2693
210.67/212.85	o 2692
210.97/213.15	o 2690
211.56/213.75	o 2689
212.26/214.45	o 2685
212.55/214.75	o 2684
212.85/215.05	o 2676
213.73/215.96	o 2673
214.03/216.25	o 2670
214.33/216.53	o 2668
214.53/216.79	o 2666
217.10/219.35	o 2665
217.40/219.66	o 2664
218.29/220.52	o 2661
218.79/221.07	o 2660
219.08/221.35	o 2659
222.25/224.56	o 2656
222.55/224.84	o 2655
222.85/225.14	o 2653
223.15/225.43	o 2651
223.74/226.01	o 2649
224.04/226.30	o 2647
224.24/226.60	o 2645
224.53/226.90	o 2642
224.83/227.18	o 2641
225.43/227.76	o 2638
225.72/228.05	o 2636
226.02/228.34	o 2635
226.32/228.62	o 2632
226.61/228.91	o 2630
228.89/231.21	o 2628
229.19/231.50	o 2627
229.39/231.78	o 2626
229.69/232.08	o 2625
230.97/233.38	o 2620
232.05/234.50	o 2618
235.14/237.59	o 2614
236.92/239.32	o 2613
237.22/239.61	o 2612
238.00/240.46	o 2610
238.30/240.75	o 2609
238.59/241.05	o 2608
238.89/241.32	o 2606
239.09/241.55	o 2602
239.39/241.82	o 2599
239.88/242.38	o 2598
240.18/242.67	o 2597
240.48/242.95	o 2596
240.77/243.25	o 2593
241.07/243.53	o 2590
241.57/244.09	o 2589
241.96/244.40	o 2588
243.95/246.43	o 2585
244.24/246.71	o 2583
245.33/247.86	o 2582
245.53/248.08	o 2579
245.73/248.21	o 2577
246.42/248.95	o 2576
246.72/249.23	o 2571
247.22/249.78	o 2569
247.51/250.06	o 2568
247.81/250.35	o 2567
248.11/250.62	o 2565
248.60/251.18	o 2564
249.20/251.74	o 2560
249.49/252.03	o 2558
250.09/252.69	o 2556
250.98/253.56	o 2555
251.07/253.69	o 2552
251.96/254.54	o 2551
252.16/254.76	o 2550
256.12/258.72	o 2548
256.42/259.03	o 2547
256.93/259.60	o 2545
257.22/259.89	o 2543
257.82/260.48	o 2542
258.12/260.78	o 2540
258.41/261.05	o 2538
259.01/261.62	o 2535
259.30/261.92	o 2533
259.60/262.20	o 2530
259.80/262.48	o 2527
260.10/262.78	o 2524
260.69/263.37	o 2523
261.29/263.95	o 2521
261.88/264.52	o 2518
262.18/264.82	o 2516
263.26/266.00	o 2514
263.85/266.59	o 2512
264.15/266.88	o 2510
264.45/267.17	o 2509
265.04/267.79	o 2506
265.34/268.07	o 2502
265.64/268.38	o 2500
266.23/268.97	o 2499
266.83/269.59	o 2497
267.42/270.15	o 2495
267.72/270.45	o 2494
268.91/271.63	o 2492
269.20/271.92	o 2489
269.50/272.20	o 2488
269.70/272.48	o 2485
270.00/272.76	o 2483
270.48/273.22	o 2479
270.68/273.49	o 2478
270.98/273.77	o 2475
272.46/275.24	o 2473
273.06/275.86	o 2470
274.36/277.16	o 2469
274.75/277.50	o 2465
277.33/280.15	o 2463
278.02/280.83	o 2461
278.32/281.17	o 2459
279.01/281.82	o 2456
279.61/282.49	o 2455
280.60/283.49	o 2454
281.00/283.84	o 2453
281.29/284.16	o 2450
281.69/284.50	o 2448
282.28/285.15	o 2447
283.26/286.15	o 2446
283.56/286.47	o 2444
285.15/288.05	o 2442
285.44/288.39	o 2439
285.84/288.70	o 2438
286.14/289.03	o 2437
287.33/290.30	o 2436
287.62/290.55	o 2433
287.92/290.88	o 2432
288.22/291.19	o 2431
288.62/291.51	o 2429
289.21/292.15	o 2428
289.90/292.80	o 2426
290.20/293.12	o 2425
290.80/293.76	o 2423
293.37/296.37	o 2422
293.67/296.69	o 2418
293.87/296.84	o 2417
294.86/297.80	o 2415
295.16/298.12	o 2414
295.45/298.44	o 2413
296.53/299.59	o 2412
300.99/304.06	o 2411
301.29/304.36	o 2408
302.48/305.59	o 2406
303.47/306.53	o 2402
303.77/306.84	o 2399
304.06/307.13	o 2398
309.41/312.54	o 2397
312.19/315.33	o 2395
312.68/315.85	o 2394
312.98/316.15	o 2393
313.87/317.04	o 2389
314.17/317.32	o 2387
315.06/318.22	o 2385
315.36/318.53	o 2384
315.66/318.83	o 2383
315.95/319.14	o 2381
316.25/319.45	o 2380
316.55/319.77	o 2378
316.85/320.08	o 2374
317.14/320.38	o 2372
317.74/320.99	o 2371
318.04/321.30	o 2369
318.33/321.60	o 2368
318.73/321.90	o 2366
321.10/324.36	o 2365
321.39/324.67	o 2364
321.69/324.95	o 2361
321.99/325.28	o 2360
322.29/325.58	o 2359
322.88/326.18	o 2358
323.18/326.49	o 2357
323.57/326.81	o 2356
323.87/327.12	o 2355
324.47/327.73	o 2354
327.85/331.13	o 2351
328.64/331.93	o 2350
329.82/333.14	o 2346
330.11/333.44	o 2342
332.59/335.97	o 2341
332.89/336.28	o 2340
333.58/336.90	o 2339
334.18/337.52	o 2338
334.47/337.84	o 2336
334.77/338.16	o 2334
335.07/338.47	o 2332
336.06/339.42	o 2331
336.36/339.73	o 2329
336.65/340.06	o 2328
336.95/340.32	o 2327
337.25/340.63	o 2325
337.55/340.96	o 2324
338.24/341.60	o 2323
339.62/343.07	o 2321
340.31/343.72	o 2320
340.62/344.04	o 2318
343.18/346.69	o 2317
343.68/347.20	o 2314
344.08/347.53	o 2312
344.37/347.81	o 2309
344.67/348.15	o 2307
345.87/349.34	o 2305
346.17/349.66	o 2304
346.56/350.00	o 2302
346.86/350.31	o 2301
347.16/350.63	o 2299
347.36/350.81	o 2297
347.45/350.93	o 2292
347.64/351.16	o 2291
348.24/351.79	o 2289
348.93/352.44	o 2288
349.23/352.76	o 2286
349.92/353.42	o 2284
350.22/353.74	o 2282
350.91/354.40	o 2281
351.21/354.72	o 2280
351.81/355.38	o 2279
352.50/356.05	o 2278
352.80/356.39	o 2277
353.09/356.62	o 2274
353.39/356.95	o 2270
353.59/357.16	o 2268
360.71/364.37	o 2267
361.41/365.06	o 2266
361.80/365.41	o 2264
362.50/366.11	o 2263
362.79/366.46	o 2262
363.19/366.81	o 2260
364.18/367.82	o 2256
364.48/368.17	o 2255
364.88/368.54	o 2254
366.27/369.97	o 2253
366.67/370.35	o 2252
367.07/370.72	o 2251
367.46/371.11	o 2249
367.56/371.26	o 2248
370.14/373.80	o 2247
370.43/374.20	o 2244
371.61/375.39	o 2243
372.01/375.79	o 2242
372.41/376.19	o 2240
375.58/379.35	o 2239
376.37/380.16	o 2238
378.05/381.81	o 2236
380.73/384.53	o 2235
381.52/385.33	o 2234
381.92/385.71	o 2233
382.32/386.11	o 2232
384.20/388.06	o 2231
385.39/389.22	o 2229
386.87/390.80	o 2227
387.27/391.18	o 2226
387.96/391.89	o 2224
388.36/392.23	o 2222
389.44/393.39	o 2221
389.84/393.79	o 2220
390.63/394.57	o 2219
391.42/395.35	o 2216
391.92/395.88	o 2213
392.31/396.24	o 2210
393.11/397.02	o 2209
393.50/397.42	o 2208
394.20/398.19	o 2206
394.59/398.58	o 2205
398.95/402.94	o 2203
401.13/405.15	o 2202
401.43/405.46	o 2200
403.02/407.04	o 2199
405.38/409.43	o 2197
406.18/410.23	o 2196
406.57/410.64	o 2194
408.95/413.06	o 2192
409.75/413.86	o 2190
410.15/414.25	o 2189
411.74/415.83	o 2187
413.92/418.06	o 2185
414.31/418.46	o 2184
415.50/419.61	o 2182
416.19/420.38	o 2181
416.59/420.75	o 2178
417.38/421.53	o 2176
417.78/421.91	o 2175
418.87/423.09	o 2173
420.06/424.28	o 2171
421.63/425.89	o 2170
422.03/426.29	o 2166
422.43/426.69	o 2165
422.82/427.10	o 2163
423.62/427.90	o 2162
424.81/429.09	o 2161
425.60/429.89	o 2158
426.59/430.89	o 2157
427.08/431.30	o 2156
428.27/432.52	o 2155
428.67/432.92	o 2153
429.46/433.71	o 2151
430.15/434.49	o 2149
432.13/436.46	o 2147
432.43/436.79	o 2146
433.22/437.50	o 2145
433.61/437.91	o 2143
435.89/440.27	o 2140
436.69/441.09	o 2137
439.56/443.97	o 2136
439.96/444.36	o 2133
441.15/445.52	o 2129
441.94/446.30	o 2128
443.82/448.23	o 2126
444.22/448.63	o 2125
445.70/450.18	o 2122
446.50/450.96	o 2121
446.89/451.35	o 2117
448.08/452.53	o 2115
448.87/453.33	o 2114
449.67/454.11	o 2112
450.06/454.51	o 2111
450.46/454.91	o 2110
451.25/455.71	o 2107
452.74/457.28	o 2105
453.14/457.68	o 2103
453.53/458.09	o 2102
454.72/459.26	o 2100
455.12/459.66	o 2098
455.51/460.07	o 2096
455.91/460.46	o 2095
457.10/461.65	o 2093
457.89/462.43	o 2090
461.36/465.95	o 2088
463.33/467.95	o 2084
463.73/468.36	o 2082
464.92/469.52	o 2081
466.01/470.69	o 2079
466.70/471.37	o 2077
468.19/472.84	o 2076
468.98/473.63	o 2075
470.27/474.95	o 2074
470.66/475.36	o 2072
471.06/475.76	o 2070
471.85/476.58	o 2069
472.25/476.98	o 2066
473.84/478.59	o 2065
474.63/479.34	o 2063
475.42/480.13	o 2061
477.01/481.73	o 2060
477.40/482.14	o 2057
477.80/482.53	o 2054
478.20/482.93	o 2052
478.99/483.72	o 2051
479.29/484.07	o 2050
479.68/484.46	o 2047
480.08/484.84	o 2046
480.46/485.25	o 2045
481.26/486.04	o 2044
481.65/486.43	o 2043
482.05/486.81	o 2042
482.45/487.20	o 2038
483.04/487.85	o 2037
483.83/488.63	o 2036
488.00/492.87	o 2035
489.19/494.05	o 2034
490.68/495.59	o 2033
491.08/495.99	o 2032
492.27/497.17	o 2030
492.37/497.22	o 2029
493.85/498.77	o 2027
494.24/499.17	o 2024
495.03/499.96	o 2021
495.43/500.35	o 2020
495.82/500.74	o 2019
496.22/501.14	o 2018
497.41/502.32	o 2014
497.81/502.72	o 2013
499.19/504.12	o 2012
499.99/504.95	o 2011
500.28/505.21	o 2009
502.17/507.14	o 2007
504.54/509.58	o 2006
505.72/510.75	o 2004
506.91/511.99	o 2003
507.31/512.39	o 2000
507.70/512.80	o 1999
508.89/513.96	o 1996
509.69/514.74	o 1995
510.08/515.14	o 1993
511.27/516.36	o 1992
511.67/516.76	o 1989
512.46/517.57	o 1988
515.14/520.29	o 1984
515.53/520.68	o 1983
516.72/521.88	o 1982
517.12/522.22	o 1981
524.25/529.42	o 1980
524.65/529.82	o 1978
525.05/530.21	o 1975
525.74/530.98	o 1974
526.14/531.38	o 1973
526.54/531.79	o 1972
526.94/532.18	o 1970
527.42/532.60	o 1969
528.12/533.39	o 1966
528.91/534.18	o 1965
529.31/534.59	o 1962
531.19/536.42	o 1961
532.38/537.64	o 1959
532.77/538.04	o 1957
533.17/538.42	o 1956
533.57/538.83	o 1955
533.96/539.22	o 1954
534.36/539.61	o 1952
534.76/540.01	o 1951
535.55/540.80	o 1950
535.85/541.16	o 1949
536.64/541.92	o 1947
537.73/543.08	o 1946
538.13/543.42	o 1944
539.61/544.96	o 1942
540.40/545.71	o 1940
540.69/546.06	o 1939
541.29/546.67	o 1938
543.47/548.85	o 1937
543.86/549.21	o 1935
544.16/549.57	o 1933
545.05/550.50	o 1932
545.45/550.87	o 1931
545.65/551.03	o 1929
546.74/552.11	o 1928
547.03/552.49	o 1927
547.43/552.84	o 1926
547.73/553.20	o 1923
547.93/553.37	o 1922
548.32/553.76	o 1920
548.72/554.12	o 1919
549.11/554.51	o 1918
552.78/558.23	o 1915
553.17/558.60	o 1913
553.37/558.86	o 1912
554.06/559.53	o 1911
554.46/559.91	o 1910
554.75/560.28	o 1908
556.55/562.10	o 1907
556.94/562.47	o 1905
557.73/563.21	o 1903
558.42/563.93	o 1901
559.11/564.60	o 1899
559.41/564.96	o 1898
559.81/565.35	o 1896
560.50/566.04	o 1893
561.29/566.80	o 1892
561.59/567.18	o 1891
562.38/567.95	o 1890
562.78/568.32	o 1889
563.08/568.70	o 1886
563.77/569.35	o 1883
564.17/569.73	o 1881
575.46/581.19	o 1879
575.86/581.55	o 1878
576.65/582.38	o 1877
576.85/582.51	o 1874
577.54/583.25	o 1873
577.94/583.61	o 1872
578.24/583.96	o 1870
580.01/585.77	o 1869
580.41/586.14	o 1868
580.80/586.51	o 1867
581.40/587.13	o 1866
581.60/587.35	o 1863
581.99/587.73	o 1862
582.39/588.10	o 1861
582.69/588.47	o 1858
583.08/588.85	o 1857
583.48/589.21	o 1854
584.57/590.33	o 1853
585.36/591.13	o 1851
585.76/591.53	o 1850
587.15/592.91	o 1849
587.94/593.72	o 1848
589.13/594.93	o 1845
589.52/595.33	o 1842
592.30/598.12	o 1841
593.09/598.96	o 1840
593.49/599.37	o 1838
593.88/599.80	o 1836
594.18/600.08	o 1834
594.68/600.51	o 1832
595.07/600.93	o 1830
595.47/601.33	o 1828
597.05/602.99	o 1827
597.45/603.39	o 1826
597.95/603.81	o 1824
601.02/606.93	o 1823
601.12/607.06	o 1821
601.91/607.88	o 1817
604.39/610.39	o 1814
604.88/610.83	o 1812
605.68/611.66	o 1811
606.96/612.93	o 1808
607.76/613.73	o 1805
608.14/614.15	o 1803
611.12/617.13	o 1801
612.30/618.39	o 1800
612.80/618.81	o 1797
613.59/619.61	o 1796
614.68/620.73	o 1794
615.48/621.58	o 1792
616.18/622.26	o 1789
617.37/623.40	o 1786
617.76/623.84	o 1785
618.16/624.26	o 1782
619.74/625.86	o 1781
620.14/626.30	o 1780
622.31/628.48	o 1778
622.81/628.92	o 1776
622.91/629.04	o 1774
625.48/631.67	o 1773
627.27/633.42	o 1772
628.56/634.74	o 1771
628.95/635.15	o 1768
630.24/636.48	o 1766
634.40/640.68	o 1765
638.76/645.03	o 1763
640.45/646.77	o 1760
640.74/647.05	o 1756
641.14/647.48	o 1753
641.64/647.92	o 1752
642.03/648.36	o 1750
642.43/648.78	o 1748
645.00/651.38	o 1745
645.49/651.81	o 1743
656.49/662.97	o 1742
656.98/663.44	o 1741
657.48/663.90	o 1739
658.37/664.81	o 1738
659.26/665.73	o 1735
660.85/667.34	o 1730
664.02/670.53	o 1729
672.14/678.73	o 1727
672.53/679.20	o 1726
672.83/679.48	o 1724
673.82/680.43	o 1723
674.22/680.84	o 1720
674.71/681.32	o 1718
677.09/683.71	o 1716
677.39/684.03	o 1715
679.27/685.92	o 1714
679.67/686.40	o 1713
680.16/686.87	o 1712
681.65/688.30	o 1709
682.94/689.67	o 1707
683.43/690.15	o 1706
713.45/720.50	   
713.45/720.50	   search
713.45/720.50	     run=0  nbConstraintChecks=1541109169  nbAssignments=2920
713.55/720.50	       =>  wckTime=706.121  cpuTime=699.26  mem=55M233
713.55/720.50	   
713.55/720.50	   global
713.55/720.50	     nbConstraintChecks=1541109169  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
713.55/720.50	     solvingWckTime=706.097  solvingCpuTime=699.24  expiredTime=no  totalExploration=no  nbFoundSolutions=0
713.55/720.50	     globalCpuTime=712.06
713.55/720.50	       =>  wckTime=720.25  cpuTime=712.01  mem=55M233
713.55/720.50	   
713.55/720.50	   solver DecomposerSolver being built... 
720.88/727.91	s UNKNOWN

Verifier Data (download as text)

ERROR: no interpretation found !

Watcher Data (download as text)

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

command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1113055-1215877229/watcher-1113055-1215877229 -o /tmp/evaluation-result-1113055-1215877229/solver-1113055-1215877229 -C 3600 -W 4000 -M 900 --output-limit 1,15 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp absconMax112V3.jar abscon.Resolution mrdac-wdeg.xml 1 XSax HOME/instance-1113055-1215877229.xml 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 4000 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
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.08 2.02 2.01 3/73 17898
/proc/meminfo: memFree=1287960/2055920 swapFree=4181272/4192956
[pid=17898] ppid=17896 vsize=1616 CPUtime=0
/proc/17898/stat : 17898 (java) R 17896 17898 17533 0 -1 0 180 0 0 0 0 0 0 0 18 0 1 0 44424849 1654784 148 996147200 134512640 134550740 4294956128 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0
/proc/17898/statm: 404 148 122 9 0 46 0

[startup+0.0280221 s]
/proc/loadavg: 2.08 2.02 2.01 3/73 17898
/proc/meminfo: memFree=1287960/2055920 swapFree=4181272/4192956
[pid=17898] ppid=17896 vsize=861228 CPUtime=0.01
/proc/17898/stat : 17898 (java) S 17896 17898 17533 0 -1 0 1709 0 1 0 0 1 0 0 18 0 3 0 44424849 881897472 1406 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0
/proc/17898/statm: 215307 1406 563 9 0 210286 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 861228

[startup+0.101428 s]
/proc/loadavg: 2.08 2.02 2.01 3/73 17898
/proc/meminfo: memFree=1287960/2055920 swapFree=4181272/4192956
[pid=17898] ppid=17896 vsize=865988 CPUtime=0.08
/proc/17898/stat : 17898 (java) S 17896 17898 17533 0 -1 0 3649 0 1 0 5 3 0 0 18 0 9 0 44424849 886771712 3136 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17898/statm: 216497 3136 1677 9 0 211052 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 865988

[startup+0.301446 s]
/proc/loadavg: 2.08 2.02 2.01 3/73 17898
/proc/meminfo: memFree=1287960/2055920 swapFree=4181272/4192956
[pid=17898] ppid=17896 vsize=866288 CPUtime=0.28
/proc/17898/stat : 17898 (java) S 17896 17898 17533 0 -1 0 5586 0 1 0 24 4 0 0 18 0 9 0 44424849 887078912 5007 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17898/statm: 216572 5007 1890 9 0 211120 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 866288

[startup+0.701476 s]
/proc/loadavg: 2.08 2.02 2.01 3/73 17898
/proc/meminfo: memFree=1287960/2055920 swapFree=4181272/4192956
[pid=17898] ppid=17896 vsize=866932 CPUtime=0.68
/proc/17898/stat : 17898 (java) S 17896 17898 17533 0 -1 0 9651 0 1 0 61 7 0 0 18 0 9 0 44424849 887738368 9022 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17898/statm: 216733 9022 1968 9 0 211261 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 866932

[startup+1.50254 s]
/proc/loadavg: 2.08 2.02 2.01 3/82 17907
/proc/meminfo: memFree=1241872/2055920 swapFree=4181272/4192956
[pid=17898] ppid=17896 vsize=867412 CPUtime=1.47
/proc/17898/stat : 17898 (java) S 17896 17898 17533 0 -1 0 21788 0 1 0 133 14 0 0 18 0 9 0 44424849 888229888 21124 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17898/statm: 216853 21124 2004 9 0 211381 0
[pid=17898/tid=17900] ppid=17896 vsize=867412 CPUtime=1.17
/proc/17898/task/17900/stat : 17900 (java) R 17896 17898 17533 0 -1 64 15767 0 1 0 107 10 0 0 25 0 9 0 44424850 888229888 21124 996147200 134512640 134550740 4294955952 18446744073709551615 4126612703 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17898/tid=17901] ppid=17896 vsize=867412 CPUtime=0.09
/proc/17898/task/17901/stat : 17901 (java) S 17896 17898 17533 0 -1 64 4716 0 0 0 7 2 0 0 16 0 9 0 44424852 888229888 21124 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17898/tid=17902] ppid=17896 vsize=867412 CPUtime=0
/proc/17898/task/17902/stat : 17902 (java) S 17896 17898 17533 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44424852 888229888 21124 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17898/tid=17903] ppid=17896 vsize=867412 CPUtime=0
/proc/17898/task/17903/stat : 17903 (java) S 17896 17898 17533 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44424852 888229888 21124 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17898/tid=17904] ppid=17896 vsize=867412 CPUtime=0
/proc/17898/task/17904/stat : 17904 (java) S 17896 17898 17533 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 44424854 888229888 21124 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17898/tid=17905] ppid=17896 vsize=867412 CPUtime=0.18
/proc/17898/task/17905/stat : 17905 (java) S 17896 17898 17533 0 -1 64 608 0 0 0 18 0 0 0 16 0 9 0 44424854 888229888 21124 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17898/tid=17906] ppid=17896 vsize=867412 CPUtime=0
/proc/17898/task/17906/stat : 17906 (java) S 17896 17898 17533 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44424854 888229888 21124 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17898/tid=17907] ppid=17896 vsize=867412 CPUtime=0
/proc/17898/task/17907/stat : 17907 (java) S 17896 17898 17533 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44424854 888229888 21124 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 867412

[startup+3.10266 s]
/proc/loadavg: 2.08 2.02 2.01 3/82 17907
/proc/meminfo: memFree=1210832/2055920 swapFree=4181272/4192956
[pid=17898] ppid=17896 vsize=867412 CPUtime=3.06
/proc/17898/stat : 17898 (java) S 17896 17898 17533 0 -1 0 21838 0 1 0 292 14 0 0 18 0 9 0 44424849 888229888 21171 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17898/statm: 216853 21171 2006 9 0 211381 0
[pid=17898/tid=17900] ppid=17896 vsize=867412 CPUtime=2.74
/proc/17898/task/17900/stat : 17900 (java) R 17896 17898 17533 0 -1 64 15804 0 1 0 264 10 0 0 25 0 9 0 44424850 888229888 21171 996147200 134512640 134550740 4294955952 18446744073709551615 4126895600 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17898/tid=17901] ppid=17896 vsize=867412 CPUtime=0.09
/proc/17898/task/17901/stat : 17901 (java) S 17896 17898 17533 0 -1 64 4716 0 0 0 7 2 0 0 17 0 9 0 44424852 888229888 21171 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17898/tid=17902] ppid=17896 vsize=867412 CPUtime=0
/proc/17898/task/17902/stat : 17902 (java) S 17896 17898 17533 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44424852 888229888 21171 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17898/tid=17903] ppid=17896 vsize=867412 CPUtime=0
/proc/17898/task/17903/stat : 17903 (java) S 17896 17898 17533 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44424852 888229888 21171 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17898/tid=17904] ppid=17896 vsize=867412 CPUtime=0
/proc/17898/task/17904/stat : 17904 (java) S 17896 17898 17533 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 44424854 888229888 21171 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17898/tid=17905] ppid=17896 vsize=867412 CPUtime=0.2
/proc/17898/task/17905/stat : 17905 (java) S 17896 17898 17533 0 -1 64 621 0 0 0 20 0 0 0 16 0 9 0 44424854 888229888 21171 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17898/tid=17906] ppid=17896 vsize=867412 CPUtime=0
/proc/17898/task/17906/stat : 17906 (java) S 17896 17898 17533 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44424854 888229888 21171 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17898/tid=17907] ppid=17896 vsize=867412 CPUtime=0
/proc/17898/task/17907/stat : 17907 (java) S 17896 17898 17533 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44424854 888229888 21171 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 867412

[startup+6.30238 s]
/proc/loadavg: 2.07 2.02 2.00 3/82 17907
/proc/meminfo: memFree=1196688/2055920 swapFree=4181272/4192956
[pid=17898] ppid=17896 vsize=867412 CPUtime=6.23
/proc/17898/stat : 17898 (java) S 17896 17898 17533 0 -1 0 25273 0 1 0 606 17 0 0 18 0 9 0 44424849 888229888 24602 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17898/statm: 216853 24602 2006 9 0 211381 0
[pid=17898/tid=17900] ppid=17896 vsize=867412 CPUtime=5.78
/proc/17898/task/17900/stat : 17900 (java) R 17896 17898 17533 0 -1 64 15811 0 1 0 567 11 0 0 25 0 9 0 44424850 888229888 24602 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17898/tid=17901] ppid=17896 vsize=867412 CPUtime=0.21
/proc/17898/task/17901/stat : 17901 (java) S 17896 17898 17533 0 -1 64 8137 0 0 0 17 4 0 0 17 0 9 0 44424852 888229888 24602 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17898/tid=17902] ppid=17896 vsize=867412 CPUtime=0
/proc/17898/task/17902/stat : 17902 (java) S 17896 17898 17533 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44424852 888229888 24602 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17898/tid=17903] ppid=17896 vsize=867412 CPUtime=0
/proc/17898/task/17903/stat : 17903 (java) S 17896 17898 17533 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44424852 888229888 24602 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17898/tid=17904] ppid=17896 vsize=867412 CPUtime=0
/proc/17898/task/17904/stat : 17904 (java) S 17896 17898 17533 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 44424854 888229888 24602 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17898/tid=17905] ppid=17896 vsize=867412 CPUtime=0.21
/proc/17898/task/17905/stat : 17905 (java) S 17896 17898 17533 0 -1 64 628 0 0 0 21 0 0 0 15 0 9 0 44424854 888229888 24602 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17898/tid=17906] ppid=17896 vsize=867412 CPUtime=0
/proc/17898/task/17906/stat : 17906 (java) S 17896 17898 17533 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44424854 888229888 24602 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17898/tid=17907] ppid=17896 vsize=867412 CPUtime=0
/proc/17898/task/17907/stat : 17907 (java) S 17896 17898 17533 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44424854 888229888 24602 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 867412

[startup+12.7024 s]
/proc/loadavg: 2.07 2.02 2.00 3/82 17907
/proc/meminfo: memFree=1189776/2055920 swapFree=4181272/4192956
[pid=17898] ppid=17896 vsize=867412 CPUtime=12.57
/proc/17898/stat : 17898 (java) S 17896 17898 17533 0 -1 0 28474 0 1 0 1236 21 0 0 18 0 9 0 44424849 888229888 27798 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17898/statm: 216853 27798 2007 9 0 211381 0
[pid=17898/tid=17900] ppid=17896 vsize=867412 CPUtime=11.81
/proc/17898/task/17900/stat : 17900 (java) R 17896 17898 17533 0 -1 64 15819 0 1 0 1169 12 0 0 25 0 9 0 44424850 888229888 27798 996147200 134512640 134550740 4294955952 18446744073709551615 4126378624 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17898/tid=17901] ppid=17896 vsize=867412 CPUtime=0.45
/proc/17898/task/17901/stat : 17901 (java) S 17896 17898 17533 0 -1 64 11289 0 0 0 39 6 0 0 18 0 9 0 44424852 888229888 27798 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17898/tid=17902] ppid=17896 vsize=867412 CPUtime=0
/proc/17898/task/17902/stat : 17902 (java) S 17896 17898 17533 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44424852 888229888 27798 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17898/tid=17903] ppid=17896 vsize=867412 CPUtime=0
/proc/17898/task/17903/stat : 17903 (java) S 17896 17898 17533 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44424852 888229888 27798 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17898/tid=17904] ppid=17896 vsize=867412 CPUtime=0
/proc/17898/task/17904/stat : 17904 (java) S 17896 17898 17533 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 44424854 888229888 27798 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17898/tid=17905] ppid=17896 vsize=867412 CPUtime=0.27
/proc/17898/task/17905/stat : 17905 (java) S 17896 17898 17533 0 -1 64 669 0 0 0 27 0 0 0 16 0 9 0 44424854 888229888 27798 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17898/tid=17906] ppid=17896 vsize=867412 CPUtime=0
/proc/17898/task/17906/stat : 17906 (java) S 17896 17898 17533 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44424854 888229888 27798 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17898/tid=17907] ppid=17896 vsize=867412 CPUtime=0
/proc/17898/task/17907/stat : 17907 (java) S 17896 17898 17533 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44424854 888229888 27798 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 867412

[startup+25.5014 s]
/proc/loadavg: 2.05 2.01 2.00 3/82 17907
/proc/meminfo: memFree=1168592/2055920 swapFree=4181272/4192956
[pid=17898] ppid=17896 vsize=867500 CPUtime=25.22
/proc/17898/stat : 17898 (java) S 17896 17898 17533 0 -1 0 33026 0 1 0 2493 29 0 0 18 0 9 0 44424849 888320000 32156 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17898/statm: 216875 32156 2640 9 0 211381 0
[pid=17898/tid=17900] ppid=17896 vsize=867500 CPUtime=23.9
/proc/17898/task/17900/stat : 17900 (java) R 17896 17898 17533 0 -1 64 15884 0 1 0 2373 17 0 0 25 0 9 0 44424850 888320000 32156 996147200 134512640 134550740 4294955952 18446744073709551615 4126894785 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17898/tid=17901] ppid=17896 vsize=867500 CPUtime=0.95
/proc/17898/task/17901/stat : 17901 (java) S 17896 17898 17533 0 -1 64 15746 0 0 0 86 9 0 0 16 0 9 0 44424852 888320000 32156 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17898/tid=17902] ppid=17896 vsize=867500 CPUtime=0
/proc/17898/task/17902/stat : 17902 (java) S 17896 17898 17533 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44424852 888320000 32156 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17898/tid=17903] ppid=17896 vsize=867500 CPUtime=0
/proc/17898/task/17903/stat : 17903 (java) S 17896 17898 17533 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44424852 888320000 32156 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17898/tid=17904] ppid=17896 vsize=867500 CPUtime=0
/proc/17898/task/17904/stat : 17904 (java) S 17896 17898 17533 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 44424854 888320000 32156 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17898/tid=17905] ppid=17896 vsize=867500 CPUtime=0.34
/proc/17898/task/17905/stat : 17905 (java) S 17896 17898 17533 0 -1 64 699 0 0 0 33 1 0 0 16 0 9 0 44424854 888320000 32156 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17898/tid=17906] ppid=17896 vsize=867500 CPUtime=0
/proc/17898/task/17906/stat : 17906 (java) S 17896 17898 17533 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44424854 888320000 32156 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17898/tid=17907] ppid=17896 vsize=867500 CPUtime=0
/proc/17898/task/17907/stat : 17907 (java) S 17896 17898 17533 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44424854 888320000 32156 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.22
Current children cumulated vsize (KiB) 867500

[startup+51.1015 s]
/proc/loadavg: 2.03 2.01 2.00 3/82 17907
/proc/meminfo: memFree=1168464/2055920 swapFree=4181272/4192956
[pid=17898] ppid=17896 vsize=867500 CPUtime=50.54
/proc/17898/stat : 17898 (java) S 17896 17898 17533 0 -1 0 33029 0 1 0 5020 34 0 0 18 0 9 0 44424849 888320000 32158 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17898/statm: 216875 32158 2640 9 0 211381 0
[pid=17898/tid=17900] ppid=17896 vsize=867500 CPUtime=49.22
/proc/17898/task/17900/stat : 17900 (java) R 17896 17898 17533 0 -1 64 15885 0 1 0 4900 22 0 0 25 0 9 0 44424850 888320000 32158 996147200 134512640 134550740 4294955952 18446744073709551615 4127069186 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17898/tid=17901] ppid=17896 vsize=867500 CPUtime=0.95
/proc/17898/task/17901/stat : 17901 (java) S 17896 17898 17533 0 -1 64 15746 0 0 0 86 9 0 0 16 0 9 0 44424852 888320000 32158 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17898/tid=17902] ppid=17896 vsize=867500 CPUtime=0
/proc/17898/task/17902/stat : 17902 (java) S 17896 17898 17533 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44424852 888320000 32158 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17898/tid=17903] ppid=17896 vsize=867500 CPUtime=0
/proc/17898/task/17903/stat : 17903 (java) S 17896 17898 17533 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44424852 888320000 32158 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17898/tid=17904] ppid=17896 vsize=867500 CPUtime=0
/proc/17898/task/17904/stat : 17904 (java) S 17896 17898 17533 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 44424854 888320000 32158 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17898/tid=17905] ppid=17896 vsize=867500 CPUtime=0.34
/proc/17898/task/17905/stat : 17905 (java) S 17896 17898 17533 0 -1 64 701 0 0 0 33 1 0 0 16 0 9 0 44424854 888320000 32158 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17898/tid=17906] ppid=17896 vsize=867500 CPUtime=0

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

/proc/17898/task/17903/stat : 17903 (java) S 17896 17898 17533 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44424852 888320000 32169 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17898/tid=17904] ppid=17896 vsize=867500 CPUtime=0
/proc/17898/task/17904/stat : 17904 (java) S 17896 17898 17533 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 44424854 888320000 32169 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17898/tid=17905] ppid=17896 vsize=867500 CPUtime=0.36
/proc/17898/task/17905/stat : 17905 (java) S 17896 17898 17533 0 -1 64 713 0 0 0 35 1 0 0 16 0 9 0 44424854 888320000 32169 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17898/tid=17906] ppid=17896 vsize=867500 CPUtime=0
/proc/17898/task/17906/stat : 17906 (java) S 17896 17898 17533 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44424854 888320000 32169 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17898/tid=17907] ppid=17896 vsize=867500 CPUtime=0
/proc/17898/task/17907/stat : 17907 (java) S 17896 17898 17533 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44424854 888320000 32169 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 697.11
Current children cumulated vsize (KiB) 867500

[startup+716.701 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 17907
/proc/meminfo: memFree=1122320/2055920 swapFree=4181272/4192956
[pid=17898] ppid=17896 vsize=867500 CPUtime=709.78
/proc/17898/stat : 17898 (java) S 17896 17898 17533 0 -1 0 33043 0 1 0 70915 63 0 0 18 0 9 0 44424849 888320000 32169 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17898/statm: 216875 32169 2640 9 0 211381 0
[pid=17898/tid=17900] ppid=17896 vsize=867500 CPUtime=708.44
/proc/17898/task/17900/stat : 17900 (java) R 17896 17898 17533 0 -1 64 15887 0 1 0 70793 51 0 0 25 0 9 0 44424850 888320000 32169 996147200 134512640 134550740 4294955952 18446744073709551615 4126893423 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17898/tid=17901] ppid=17896 vsize=867500 CPUtime=0.95
/proc/17898/task/17901/stat : 17901 (java) S 17896 17898 17533 0 -1 64 15746 0 0 0 86 9 0 0 16 0 9 0 44424852 888320000 32169 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17898/tid=17902] ppid=17896 vsize=867500 CPUtime=0
/proc/17898/task/17902/stat : 17902 (java) S 17896 17898 17533 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44424852 888320000 32169 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17898/tid=17903] ppid=17896 vsize=867500 CPUtime=0
/proc/17898/task/17903/stat : 17903 (java) S 17896 17898 17533 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44424852 888320000 32169 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17898/tid=17904] ppid=17896 vsize=867500 CPUtime=0
/proc/17898/task/17904/stat : 17904 (java) S 17896 17898 17533 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 44424854 888320000 32169 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17898/tid=17905] ppid=17896 vsize=867500 CPUtime=0.36
/proc/17898/task/17905/stat : 17905 (java) S 17896 17898 17533 0 -1 64 713 0 0 0 35 1 0 0 16 0 9 0 44424854 888320000 32169 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17898/tid=17906] ppid=17896 vsize=867500 CPUtime=0
/proc/17898/task/17906/stat : 17906 (java) S 17896 17898 17533 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44424854 888320000 32169 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17898/tid=17907] ppid=17896 vsize=867500 CPUtime=0
/proc/17898/task/17907/stat : 17907 (java) S 17896 17898 17533 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44424854 888320000 32169 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 709.78
Current children cumulated vsize (KiB) 867500

[startup+723.103 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 17907
/proc/meminfo: memFree=650384/2055920 swapFree=4181272/4192956
[pid=17898] ppid=17896 vsize=867412 CPUtime=716.12
/proc/17898/stat : 17898 (java) S 17896 17898 17533 0 -1 0 186412 0 1 0 71469 143 0 0 18 0 9 0 44424849 888229888 185438 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17898/statm: 216853 185438 2619 9 0 211381 0
[pid=17898/tid=17900] ppid=17896 vsize=867412 CPUtime=713.22
/proc/17898/task/17900/stat : 17900 (java) R 17896 17898 17533 0 -1 64 15998 0 1 0 71270 52 0 0 25 0 9 0 44424850 888229888 185438 996147200 134512640 134550740 4294955952 18446744073709551615 104454898 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17898/tid=17901] ppid=17896 vsize=867412 CPUtime=2.45
/proc/17898/task/17901/stat : 17901 (java) S 17896 17898 17533 0 -1 64 168959 0 0 0 157 88 0 0 16 0 9 0 44424852 888229888 185438 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17898/tid=17902] ppid=17896 vsize=867412 CPUtime=0
/proc/17898/task/17902/stat : 17902 (java) S 17896 17898 17533 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44424852 888229888 185438 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17898/tid=17903] ppid=17896 vsize=867412 CPUtime=0
/proc/17898/task/17903/stat : 17903 (java) S 17896 17898 17533 0 -1 64 22 0 0 0 0 0 0 0 15 0 9 0 44424852 888229888 185438 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17898/tid=17904] ppid=17896 vsize=867412 CPUtime=0
/proc/17898/task/17904/stat : 17904 (java) S 17896 17898 17533 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 44424854 888229888 185438 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17898/tid=17905] ppid=17896 vsize=867412 CPUtime=0.41
/proc/17898/task/17905/stat : 17905 (java) S 17896 17898 17533 0 -1 64 741 0 0 0 40 1 0 0 15 0 9 0 44424854 888229888 185438 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17898/tid=17906] ppid=17896 vsize=867412 CPUtime=0
/proc/17898/task/17906/stat : 17906 (java) S 17896 17898 17533 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44424854 888229888 185438 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17898/tid=17907] ppid=17896 vsize=867412 CPUtime=0
/proc/17898/task/17907/stat : 17907 (java) S 17896 17898 17533 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44424854 888229888 185438 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 716.12
Current children cumulated vsize (KiB) 867412

[startup+726.302 s]
/proc/loadavg: 2.08 2.02 2.01 4/82 17907
/proc/meminfo: memFree=450704/2055920 swapFree=4181272/4192956
[pid=17898] ppid=17896 vsize=867664 CPUtime=719.29
/proc/17898/stat : 17898 (java) S 17896 17898 17533 0 -1 0 200746 0 1 0 71777 152 0 0 18 0 9 0 44424849 888487936 199513 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17898/statm: 216916 199513 2618 9 0 211444 0
[pid=17898/tid=17900] ppid=17896 vsize=867664 CPUtime=713.29
/proc/17898/task/17900/stat : 17900 (java) S 17896 17898 17533 0 -1 64 16004 0 1 0 71277 52 0 0 24 0 9 0 44424850 888487936 199513 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17898/tid=17901] ppid=17896 vsize=867664 CPUtime=5.56
/proc/17898/task/17901/stat : 17901 (java) R 17896 17898 17533 0 -1 64 183287 0 0 0 459 97 0 0 19 0 9 0 44424852 888487936 199513 996147200 134512640 134550740 4294955952 18446744073709551615 104181349 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17898/tid=17902] ppid=17896 vsize=867664 CPUtime=0
/proc/17898/task/17902/stat : 17902 (java) S 17896 17898 17533 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44424852 888487936 199513 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17898/tid=17903] ppid=17896 vsize=867664 CPUtime=0
/proc/17898/task/17903/stat : 17903 (java) S 17896 17898 17533 0 -1 64 22 0 0 0 0 0 0 0 16 0 9 0 44424852 888487936 199513 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17898/tid=17904] ppid=17896 vsize=867664 CPUtime=0
/proc/17898/task/17904/stat : 17904 (java) S 17896 17898 17533 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 44424854 888487936 199513 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17898/tid=17905] ppid=17896 vsize=867664 CPUtime=0.41
/proc/17898/task/17905/stat : 17905 (java) S 17896 17898 17533 0 -1 64 741 0 0 0 40 1 0 0 15 0 9 0 44424854 888487936 199513 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17898/tid=17906] ppid=17896 vsize=867664 CPUtime=0
/proc/17898/task/17906/stat : 17906 (java) S 17896 17898 17533 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44424854 888487936 199513 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17898/tid=17907] ppid=17896 vsize=867664 CPUtime=0
/proc/17898/task/17907/stat : 17907 (java) S 17896 17898 17533 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44424854 888487936 199513 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 719.29
Current children cumulated vsize (KiB) 867664

[startup+727.107 s]
/proc/loadavg: 2.08 2.02 2.01 3/82 17907
/proc/meminfo: memFree=450576/2055920 swapFree=4181272/4192956
[pid=17898] ppid=17896 vsize=867664 CPUtime=720.09
/proc/17898/stat : 17898 (java) S 17896 17898 17533 0 -1 0 200809 0 1 0 71857 152 0 0 18 0 9 0 44424849 888487936 199513 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17898/statm: 216916 199513 2618 9 0 211444 0
[pid=17898/tid=17900] ppid=17896 vsize=867664 CPUtime=713.29
/proc/17898/task/17900/stat : 17900 (java) S 17896 17898 17533 0 -1 64 16004 0 1 0 71277 52 0 0 24 0 9 0 44424850 888487936 199513 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17898/tid=17901] ppid=17896 vsize=867664 CPUtime=6.36
/proc/17898/task/17901/stat : 17901 (java) R 17896 17898 17533 0 -1 64 183350 0 0 0 539 97 0 0 20 0 9 0 44424852 888487936 199513 996147200 134512640 134550740 4294955952 18446744073709551615 104182546 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17898/tid=17902] ppid=17896 vsize=867664 CPUtime=0
/proc/17898/task/17902/stat : 17902 (java) S 17896 17898 17533 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44424852 888487936 199513 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17898/tid=17903] ppid=17896 vsize=867664 CPUtime=0
/proc/17898/task/17903/stat : 17903 (java) S 17896 17898 17533 0 -1 64 22 0 0 0 0 0 0 0 16 0 9 0 44424852 888487936 199513 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17898/tid=17904] ppid=17896 vsize=867664 CPUtime=0
/proc/17898/task/17904/stat : 17904 (java) S 17896 17898 17533 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 44424854 888487936 199513 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17898/tid=17905] ppid=17896 vsize=867664 CPUtime=0.41
/proc/17898/task/17905/stat : 17905 (java) S 17896 17898 17533 0 -1 64 741 0 0 0 40 1 0 0 15 0 9 0 44424854 888487936 199513 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17898/tid=17906] ppid=17896 vsize=867664 CPUtime=0
/proc/17898/task/17906/stat : 17906 (java) S 17896 17898 17533 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44424854 888487936 199513 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17898/tid=17907] ppid=17896 vsize=867664 CPUtime=0
/proc/17898/task/17907/stat : 17907 (java) S 17896 17898 17533 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44424854 888487936 199513 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 720.09
Current children cumulated vsize (KiB) 867664

[startup+727.502 s]
/proc/loadavg: 2.08 2.02 2.01 3/82 17907
/proc/meminfo: memFree=450576/2055920 swapFree=4181272/4192956
[pid=17898] ppid=17896 vsize=867664 CPUtime=720.48
/proc/17898/stat : 17898 (java) S 17896 17898 17533 0 -1 0 200809 0 1 0 71896 152 0 0 18 0 9 0 44424849 888487936 199513 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17898/statm: 216916 199513 2618 9 0 211444 0
[pid=17898/tid=17900] ppid=17896 vsize=867664 CPUtime=713.29
/proc/17898/task/17900/stat : 17900 (java) S 17896 17898 17533 0 -1 64 16004 0 1 0 71277 52 0 0 24 0 9 0 44424850 888487936 199513 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17898/tid=17901] ppid=17896 vsize=867664 CPUtime=6.75
/proc/17898/task/17901/stat : 17901 (java) R 17896 17898 17533 0 -1 64 183350 0 0 0 578 97 0 0 21 0 9 0 44424852 888487936 199513 996147200 134512640 134550740 4294955952 18446744073709551615 104182546 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17898/tid=17902] ppid=17896 vsize=867664 CPUtime=0
/proc/17898/task/17902/stat : 17902 (java) S 17896 17898 17533 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44424852 888487936 199513 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17898/tid=17903] ppid=17896 vsize=867664 CPUtime=0
/proc/17898/task/17903/stat : 17903 (java) S 17896 17898 17533 0 -1 64 22 0 0 0 0 0 0 0 16 0 9 0 44424852 888487936 199513 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17898/tid=17904] ppid=17896 vsize=867664 CPUtime=0
/proc/17898/task/17904/stat : 17904 (java) S 17896 17898 17533 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 44424854 888487936 199513 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17898/tid=17905] ppid=17896 vsize=867664 CPUtime=0.41
/proc/17898/task/17905/stat : 17905 (java) S 17896 17898 17533 0 -1 64 741 0 0 0 40 1 0 0 15 0 9 0 44424854 888487936 199513 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17898/tid=17906] ppid=17896 vsize=867664 CPUtime=0
/proc/17898/task/17906/stat : 17906 (java) S 17896 17898 17533 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44424854 888487936 199513 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17898/tid=17907] ppid=17896 vsize=867664 CPUtime=0
/proc/17898/task/17907/stat : 17907 (java) S 17896 17898 17533 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44424854 888487936 199513 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 720.48
Current children cumulated vsize (KiB) 867664

[startup+727.902 s]
/proc/loadavg: 2.08 2.02 2.01 3/82 17907
/proc/meminfo: memFree=450576/2055920 swapFree=4181272/4192956
[pid=17898] ppid=17896 vsize=867664 CPUtime=720.88
/proc/17898/stat : 17898 (java) S 17896 17898 17533 0 -1 0 200872 0 1 0 71936 152 0 0 18 0 9 0 44424849 888487936 199513 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17898/statm: 216916 199513 2618 9 0 211444 0
[pid=17898/tid=17900] ppid=17896 vsize=867664 CPUtime=713.29
/proc/17898/task/17900/stat : 17900 (java) S 17896 17898 17533 0 -1 64 16004 0 1 0 71277 52 0 0 17 0 9 0 44424850 888487936 199513 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17898/tid=17901] ppid=17896 vsize=867664 CPUtime=7.15
/proc/17898/task/17901/stat : 17901 (java) R 17896 17898 17533 0 -1 64 183413 0 0 0 618 97 0 0 21 0 9 0 44424852 888487936 199513 996147200 134512640 134550740 4294955952 18446744073709551615 104182546 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17898/tid=17902] ppid=17896 vsize=867664 CPUtime=0
/proc/17898/task/17902/stat : 17902 (java) S 17896 17898 17533 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44424852 888487936 199513 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17898/tid=17903] ppid=17896 vsize=867664 CPUtime=0
/proc/17898/task/17903/stat : 17903 (java) S 17896 17898 17533 0 -1 64 22 0 0 0 0 0 0 0 16 0 9 0 44424852 888487936 199513 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17898/tid=17904] ppid=17896 vsize=867664 CPUtime=0
/proc/17898/task/17904/stat : 17904 (java) S 17896 17898 17533 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 44424854 888487936 199513 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17898/tid=17905] ppid=17896 vsize=867664 CPUtime=0.41
/proc/17898/task/17905/stat : 17905 (java) S 17896 17898 17533 0 -1 64 741 0 0 0 40 1 0 0 15 0 9 0 44424854 888487936 199513 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17898/tid=17906] ppid=17896 vsize=867664 CPUtime=0
/proc/17898/task/17906/stat : 17906 (java) S 17896 17898 17533 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44424854 888487936 199513 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17898/tid=17907] ppid=17896 vsize=867664 CPUtime=0
/proc/17898/task/17907/stat : 17907 (java) S 17896 17898 17533 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44424854 888487936 199513 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 720.88
Current children cumulated vsize (KiB) 867664

[startup+728.003 s]
/proc/loadavg: 2.08 2.02 2.01 3/82 17907
/proc/meminfo: memFree=450576/2055920 swapFree=4181272/4192956
[pid=17898] ppid=17896 vsize=0 CPUtime=720.98
/proc/17898/stat : 17898 (java) Z 17896 17898 17533 0 -1 12 200881 0 1 0 71937 161 0 0 16 0 2 0 44424849 0 0 996147200 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17898/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 720.98
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 728.034
CPU time (s): 721.017
CPU user time (s): 719.372
CPU system time (s): 1.64575
CPU usage (%): 99.0363
Max. virtual memory (cumulated for all children) (KiB): 867664

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 719.372
system time used= 1.64575
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 200881
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= 16636
involuntary context switches= 35234

runsolver used 1.05884 second user time and 2.45463 second system time

The end

Launcher Data (download as text)

Begin job on node26 at 2008-07-12 17:40:29
IDJOB=1113055
IDBENCH=61519
IDSOLVER=359
FILE ID=node26/1113055-1215877229
PBS_JOBID= 7903580
Free space on /tmp= 66252 MiB

SOLVER NAME= AbsconMax 112 pc-w
BENCH NAME= CPAI08/csp/fapp/fapp36/normalized-fapp36-2000-3.xml
COMMAND LINE=  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp absconMax112V3.jar abscon.Resolution mrdac-wdeg.xml 1 XSax BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1113055-1215877229/watcher-1113055-1215877229 -o /tmp/evaluation-result-1113055-1215877229/solver-1113055-1215877229 -C 3600 -W 4000 -M 900 --output-limit 1,15   java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp absconMax112V3.jar abscon.Resolution mrdac-wdeg.xml 1 XSax HOME/instance-1113055-1215877229.xml

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= 1d1f1cebdc92b091f3f5ffe18a2e82b4
RANDOM SEED=1857140150

node26.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

/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.213
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.213
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:       1288440 kB
Buffers:          8764 kB
Cached:         263864 kB
SwapCached:       5424 kB
Active:         699156 kB
Inactive:        11948 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1288440 kB
SwapTotal:     4192956 kB
SwapFree:      4181272 kB
Dirty:            4580 kB
Writeback:           0 kB
Mapped:         445684 kB
Slab:            40856 kB
Committed_AS:   598560 kB
PageTables:       2620 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= 66248 MiB
End job on node26 at 2008-07-12 17:52:37