Trace number 1112954

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-d? 1159.69 1171.19

General information on the benchmark

Namecsp/fapp/fapp25/
normalized-fapp25-2230-2.xml
MD5SUMe9fca648ca088ce6fc443985c24dc948
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkMSAT TO
Best Number of falsified constraints621
Best CPU time to get the best result obtained on this benchmark3600.04
Satisfiable
(Un)Satisfiability was proved
Number of variables2230
Number of constraints18971
Maximum constraint arity2
Maximum domain size302
Number of constraints which are defined in extension0
Number of constraints which are defined in intension18971
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.08/0.20	
0.08/0.20	Abscon 112 (May, 2008)
0.17/0.40	
0.17/0.40	   configuration
0.17/0.40	     name=mrdac-ddeg.xml
0.26/0.47	   
0.26/0.47	   instance
0.26/0.47	     name=HOME/instance-1112954-1215876045.xml
0.32/0.51	   
0.32/0.51	   domains being loaded...
0.32/0.56	   
0.32/0.56	   variables being loaded...
0.62/0.84	     nbVariables=2230  nbDomainTypes=21  minDomainSize=46  maxDomainSize=302  nbTotalValues=610084
0.62/0.84	       =>  wckTime=0.442  cpuTime=0.29  mem=27M389
0.62/0.84	   
0.62/0.84	   predicates being loaded...
0.72/0.91	   
0.72/0.91	   constraints being loaded...
10.62/10.96	   
10.62/10.96	   INFO : Stopping converting binary constraints (cpu=10.06, mem = 37M973)
12.51/12.88	     nbConstraints=18971  nbConvertedConstraints=738  nbConvertConstraintsChecks=31913948  nbExtensionStructures=438
12.51/12.88	     nbSharedExtensionStructures=371  nbConflictsStructures=630  nbSharedConflictsStructures=524
12.51/12.88	     nbUnbuiltConflictsStructures=3814  nbSharedBinaryRepresentations=216669  nbEvaluationManagers=4006
12.51/12.88	     nbSharedEvaluationManagers=14227  minDegree=2  maxDegree=26  minArity=2  maxArity=2
12.51/12.88	       =>  wckTime=12.476  cpuTime=11.64  mem=64M50
12.80/13.19	   
12.80/13.19	   solver LocalSearchSolver being built... 
12.90/13.24	       =>  wckTime=12.843  cpuTime=11.67  mem=48M525
13.00/13.38	
13.00/13.38	s SATISFIABLE
13.00/13.38	o 5678
13.10/13.45	o 5670
13.20/13.50	o 5666
13.20/13.53	o 5660
13.20/13.56	o 5655
13.20/13.58	o 5651
13.30/13.61	o 5648
13.30/13.64	o 5641
13.30/13.67	o 5636
13.40/13.70	o 5631
13.40/13.73	o 5626
13.40/13.75	o 5621
13.40/13.78	o 5616
13.49/13.81	o 5611
13.49/13.83	o 5606
13.49/13.86	o 5602
13.49/13.88	o 5598
13.59/13.91	o 5594
13.59/13.94	o 5591
13.59/13.96	o 5588
13.59/13.98	o 5585
13.69/14.00	o 5582
13.69/14.01	o 5579
13.69/14.03	o 5576
13.69/14.04	o 5573
13.69/14.05	o 5571
13.69/14.07	o 5563
13.69/14.09	o 5559
13.79/14.12	o 5554
13.79/14.16	o 5546
13.89/14.22	o 5539
13.89/14.26	o 5532
13.99/14.30	o 5526
13.99/14.35	o 5520
14.08/14.40	o 5514
14.08/14.45	o 5508
14.18/14.50	o 5502
14.18/14.55	o 5496
14.18/14.59	o 5491
14.28/14.64	o 5486
14.28/14.68	o 5481
14.38/14.72	o 5476
14.38/14.76	o 5471
14.48/14.81	o 5466
14.48/14.84	o 5461
14.48/14.88	o 5456
14.57/14.92	o 5451
14.57/14.97	o 5447
14.67/15.00	o 5443
14.67/15.04	o 5440
14.67/15.08	o 5436
14.77/15.12	o 5432
14.77/15.15	o 5428
14.77/15.19	o 5424
14.87/15.22	o 5423
14.87/15.25	o 5419
14.87/15.29	o 5415
14.97/15.32	o 5411
14.97/15.35	o 5407
14.97/15.39	o 5404
15.07/15.43	o 5401
15.07/15.46	o 5398
15.07/15.50	o 5395
15.17/15.53	o 5391
15.17/15.55	o 5388
15.17/15.57	o 5385
15.27/15.61	o 5382
15.27/15.64	o 5380
15.27/15.66	o 5378
15.27/15.68	o 5376
15.36/15.71	o 5374
15.36/15.73	o 5372
15.36/15.75	o 5370
15.36/15.76	o 5368
15.36/15.78	o 5367
15.36/15.80	o 5366
15.47/15.82	o 5365
15.47/15.85	o 5364
15.47/15.87	o 5363
15.47/15.88	o 5362
15.57/15.90	o 5361
15.57/15.95	o 5356
15.57/15.96	o 5351
15.57/15.99	o 5349
15.66/16.01	o 5344
15.66/16.04	o 5342
15.66/16.07	o 5340
15.66/16.09	o 5337
15.76/16.10	o 5330
15.76/16.13	o 5326
15.76/16.14	o 5322
15.76/16.16	o 5321
15.76/16.18	o 5316
15.86/16.22	o 5312
15.86/16.27	o 5307
15.96/16.31	o 5305
15.96/16.37	o 5298
16.06/16.44	o 5292
16.06/16.50	o 5286
16.16/16.56	o 5280
16.25/16.63	o 5274
16.25/16.69	o 5268
16.35/16.75	o 5263
16.45/16.82	o 5258
16.45/16.87	o 5256
16.55/16.93	o 5251
16.55/17.00	o 5246
16.65/17.06	o 5241
16.75/17.12	o 5239
16.75/17.17	o 5234
16.84/17.24	o 5229
16.94/17.30	o 5224
16.94/17.36	o 5219
17.04/17.42	o 5215
17.04/17.48	o 5211
17.14/17.54	o 5207
17.14/17.60	o 5203
17.24/17.66	o 5199
17.34/17.72	o 5195
17.34/17.77	o 5191
17.44/17.83	o 5185
17.44/17.88	o 5181
17.54/17.94	o 5177
17.54/17.99	o 5173
17.64/18.05	o 5169
17.74/18.10	o 5165
17.74/18.15	o 5161
17.83/18.20	o 5157
17.83/18.25	o 5153
17.93/18.30	o 5149
18.03/18.40	o 5146
18.03/18.45	o 5143
18.14/18.50	o 5140
18.14/18.54	o 5137
18.14/18.59	o 5134
18.23/18.64	o 5131
18.23/18.68	o 5128
18.33/18.73	o 5123
18.33/18.78	o 5120
18.43/18.81	o 5117
18.43/18.85	o 5114
18.43/18.89	o 5111
18.53/18.93	o 5109
18.63/19.01	o 5108
18.63/19.05	o 5106
18.63/19.08	o 5104
18.73/19.11	o 5102
18.73/19.15	o 5100
18.73/19.18	o 5097
18.83/19.21	o 5095
18.83/19.24	o 5093
18.83/19.27	o 5092
18.92/19.30	o 5091
18.92/19.33	o 5090
18.92/19.35	o 5084
18.92/19.38	o 5083
19.12/19.56	o 5082
19.22/19.62	o 5078
19.22/19.64	o 5077
19.22/19.66	o 5072
19.22/19.67	o 5068
19.22/19.69	o 5065
19.32/19.72	o 5063
19.32/19.73	o 5059
19.32/19.75	o 5057
19.32/19.77	o 5055
19.42/19.82	o 5052
19.42/19.83	o 5049
19.42/19.85	o 5044
19.42/19.90	o 5039
19.52/19.92	o 5037
19.52/19.94	o 5035
19.52/19.99	o 5032
19.61/20.01	o 5028
19.61/20.04	o 5026
19.61/20.06	o 5020
19.61/20.08	o 5017
19.71/20.12	o 5015
19.71/20.14	o 5013
19.71/20.17	o 5011
19.71/20.19	o 5006
19.81/20.20	o 5003
19.81/20.25	o 5002
19.81/20.27	o 4999
19.81/20.29	o 4996
19.91/20.31	o 4992
19.91/20.33	o 4988
20.00/20.45	o 4982
20.00/20.50	o 4978
20.10/20.55	o 4972
20.20/20.60	o 4967
20.20/20.66	o 4962
20.30/20.71	o 4957
20.30/20.76	o 4956
20.40/20.82	o 4953
20.40/20.88	o 4948
20.51/20.93	o 4944
20.51/20.98	o 4940
20.61/21.04	o 4936
20.61/21.08	o 4932
20.71/21.13	o 4928
20.71/21.18	o 4924
20.81/21.23	o 4921
20.81/21.28	o 4918
20.91/21.33	o 4915
20.91/21.38	o 4912
21.01/21.42	o 4909
21.01/21.47	o 4906
21.10/21.52	o 4903
21.10/21.56	o 4900
21.20/21.60	o 4897
21.20/21.65	o 4894
21.20/21.69	o 4891
21.30/21.74	o 4888
21.30/21.79	o 4887
21.40/21.83	o 4885
21.40/21.87	o 4883
21.50/21.92	o 4881
21.50/21.95	o 4879
21.50/21.99	o 4877
21.59/22.02	o 4875
21.59/22.05	o 4873
21.59/22.09	o 4871
21.69/22.12	o 4869
21.69/22.15	o 4868
21.69/22.18	o 4867
21.79/22.21	o 4866
21.79/22.24	o 4865
21.79/22.27	o 4864
21.89/22.30	o 4863
21.89/22.33	o 4862
21.89/22.35	o 4861
21.89/22.37	o 4860
22.09/22.51	o 4858
22.09/22.53	o 4854
22.09/22.55	o 4850
22.09/22.57	o 4847
22.09/22.59	o 4844
22.18/22.62	o 4842
22.18/22.67	o 4839
22.28/22.73	o 4835
22.28/22.75	o 4829
22.28/22.78	o 4827
22.38/22.81	o 4825
22.38/22.84	o 4823
22.38/22.87	o 4819
22.48/22.90	o 4818
22.48/22.92	o 4815
22.48/22.98	o 4812
22.58/23.01	o 4810
22.58/23.03	o 4806
22.58/23.06	o 4805
22.58/23.09	o 4802
22.68/23.12	o 4796
22.68/23.15	o 4795
22.68/23.18	o 4794
22.77/23.21	o 4791
22.77/23.25	o 4789
22.77/23.27	o 4784
22.87/23.31	o 4782
22.87/23.34	o 4779
22.87/23.37	o 4774
22.97/23.43	o 4769
22.97/23.46	o 4767
23.07/23.54	o 4766
23.07/23.57	o 4761
23.17/23.64	o 4756
23.17/23.69	o 4754
23.27/23.73	o 4750
23.27/23.78	o 4749
23.37/23.82	o 4747
23.37/23.85	o 4742
23.47/23.91	o 4741
23.47/23.95	o 4740
23.47/23.98	o 4735
23.57/24.02	o 4731
23.57/24.05	o 4730
23.57/24.08	o 4729
23.67/24.12	o 4727
23.77/24.22	o 4725
23.77/24.27	o 4724
23.86/24.33	o 4723
23.86/24.36	o 4722
23.97/24.41	o 4717
23.97/24.49	o 4715
24.07/24.52	o 4712
24.07/24.56	o 4711
24.07/24.60	o 4708
24.17/24.67	o 4705
24.27/24.75	o 4700
24.36/24.83	o 4695
24.56/25.00	o 4691
24.56/25.09	o 4687
24.66/25.18	o 4683
24.76/25.26	o 4679
24.86/25.35	o 4675
24.96/25.43	o 4671
25.06/25.52	o 4667
25.16/25.60	o 4663
25.26/25.75	o 4661
25.36/25.84	o 4658
25.45/25.92	o 4655
25.55/26.00	o 4652
25.55/26.07	o 4650
25.65/26.15	o 4647
25.75/26.23	o 4644
25.85/26.31	o 4639
25.85/26.39	o 4636
25.95/26.47	o 4633
26.04/26.54	o 4630
26.14/26.68	o 4627
26.24/26.75	o 4624
26.34/26.82	o 4621
26.44/26.97	o 4618
26.54/27.04	o 4615
26.63/27.11	o 4612
26.63/27.18	o 4609
26.73/27.25	o 4607
26.83/27.32	o 4605
26.83/27.39	o 4603
26.93/27.46	o 4601
27.03/27.53	o 4599
27.03/27.59	o 4597
27.13/27.65	o 4595
27.23/27.72	o 4593
27.23/27.79	o 4591
27.32/27.85	o 4589
27.42/27.91	o 4588
27.42/27.97	o 4587
27.52/28.03	o 4586
27.52/28.09	o 4585
27.62/28.14	o 4584
27.72/28.20	o 4583
27.72/28.25	o 4579
27.82/28.30	o 4578
27.82/28.35	o 4577
27.93/28.46	o 4576
28.03/28.51	o 4575
28.03/28.56	o 4574
28.42/28.94	o 4573
28.42/28.99	o 4571
28.52/29.04	o 4570
28.52/29.09	o 4568
28.62/29.14	o 4563
28.62/29.19	o 4560
28.71/29.23	o 4557
28.71/29.28	o 4556
28.81/29.32	o 4551
28.81/29.36	o 4547
28.91/29.41	o 4546
28.91/29.46	o 4545
29.01/29.51	o 4542
29.01/29.55	o 4539
29.11/29.61	o 4537
29.11/29.66	o 4533
29.21/29.70	o 4531
29.21/29.74	o 4527
29.21/29.79	o 4525
29.30/29.84	o 4521
29.30/29.88	o 4518
29.40/29.92	o 4517
29.40/29.97	o 4514
29.50/30.05	o 4511
29.60/30.13	o 4510
29.60/30.18	o 4508
29.71/30.23	o 4507
29.80/30.32	o 4505
29.80/30.37	o 4501
29.90/30.46	o 4499
30.00/30.50	o 4498
30.00/30.54	o 4493
30.00/30.59	o 4489
30.10/30.63	o 4488
30.10/30.67	o 4485
30.20/30.72	o 4483
30.20/30.76	o 4482
30.20/30.80	o 4479
30.30/30.85	o 4476
30.39/30.93	o 4475
30.39/30.98	o 4474
30.49/31.02	o 4470
30.49/31.06	o 4468
30.59/31.10	o 4465
30.59/31.14	o 4463
30.69/31.22	o 4460
30.79/31.33	o 4457
30.79/31.36	o 4456
30.89/31.40	o 4453
30.89/31.44	o 4447
30.99/31.55	o 4444
30.99/31.58	o 4439
31.09/31.62	o 4438
31.09/31.66	o 4433
31.19/31.70	o 4430
31.19/31.74	o 4426
31.29/31.81	o 4423
31.29/31.85	o 4419
31.29/31.89	o 4418
31.39/31.92	o 4415
31.48/32.07	o 4414
31.58/32.11	o 4408
31.58/32.15	o 4404
31.58/32.19	o 4402
31.68/32.27	o 4399
31.78/32.31	o 4393
31.78/32.35	o 4389
31.78/32.40	o 4385
31.88/32.48	o 4383
31.98/32.57	o 4382
32.08/32.61	o 4380
32.08/32.66	o 4375
32.08/32.70	o 4371
32.18/32.74	o 4367
32.27/32.83	o 4364
32.27/32.88	o 4361
32.37/32.94	o 4359
32.37/32.98	o 4357
32.47/33.03	o 4353
32.47/33.07	o 4349
32.67/33.24	o 4348
32.67/33.29	o 4346
32.77/33.33	o 4339
32.77/33.38	o 4338
32.87/33.43	o 4334
32.87/33.48	o 4331
32.97/33.56	o 4324
33.06/33.61	o 4320
33.16/33.74	o 4318
33.16/33.78	o 4315
33.26/33.87	o 4311
33.36/33.92	o 4306
33.36/33.98	o 4302
33.46/34.05	o 4297
33.46/34.10	o 4295
33.56/34.15	o 4292
33.65/34.20	o 4287
33.65/34.25	o 4285
33.75/34.34	o 4282
33.85/34.40	o 4281
33.85/34.45	o 4275
33.95/34.50	o 4272
33.95/34.56	o 4267
34.05/34.61	o 4265
34.15/34.75	o 4260
34.25/34.81	o 4258
34.25/34.89	o 4256
34.35/34.95	o 4255
34.45/35.02	o 4251
34.85/35.41	o 4250
34.85/35.47	o 4246
34.95/35.53	o 4244
34.95/35.60	o 4240
35.05/35.68	o 4235
35.25/35.83	o 4231
35.35/35.92	o 4227
35.45/36.01	o 4223
35.45/36.10	o 4219
35.54/36.17	o 4216
35.64/36.25	o 4214
35.74/36.34	o 4210
35.84/36.43	o 4207
35.94/36.52	o 4204
36.04/36.60	o 4201
36.04/36.69	o 4199
36.14/36.77	o 4194
36.24/36.85	o 4191
36.33/36.94	o 4188
36.43/37.03	o 4185
36.53/37.11	o 4182
36.53/37.20	o 4180
36.63/37.29	o 4178
36.73/37.37	o 4176
36.83/37.46	o 4174
36.93/37.55	o 4172
37.03/37.63	o 4170
37.13/37.71	o 4168
37.13/37.79	o 4167
37.42/38.04	o 4165
37.52/38.12	o 4163
37.52/38.20	o 4159
37.62/38.28	o 4156
37.72/38.35	o 4155
37.82/38.44	o 4154
37.92/38.51	o 4153
37.92/38.58	o 4152
38.01/38.66	o 4151
38.21/38.86	o 4148
38.90/39.54	o 4147
38.90/39.60	o 4146
39.10/39.72	o 4142
39.10/39.78	o 4139
39.20/39.84	o 4137
39.30/39.90	o 4136
39.30/39.96	o 4134
39.40/40.03	o 4132
39.50/40.10	o 4129
39.60/40.29	o 4127
39.80/40.42	o 4123
39.80/40.49	o 4120
39.89/40.56	o 4116
39.99/40.62	o 4114
40.09/40.74	o 4112
40.19/40.81	o 4107
40.29/40.93	o 4102
40.29/40.99	o 4099
40.49/41.12	o 4098
40.59/41.25	o 4092
40.88/41.56	o 4091
40.98/41.61	o 4088
40.98/41.67	o 4086
41.08/41.74	o 4083
41.08/41.80	o 4080
41.18/41.86	o 4077
41.28/41.97	o 4074
41.38/42.03	o 4070
41.38/42.10	o 4069
41.48/42.16	o 4068
41.57/42.23	o 4065
41.57/42.29	o 4064
41.77/42.42	o 4059
41.77/42.49	o 4057
41.87/42.55	o 4055
41.97/42.62	o 4053
42.07/42.75	o 4049
42.17/42.81	o 4048
42.17/42.87	o 4046
42.27/42.94	o 4043
42.36/43.01	o 4041
42.36/43.08	o 4038
42.46/43.15	o 4037
42.56/43.22	o 4035
42.56/43.29	o 4034
42.66/43.36	o 4030
42.76/43.43	o 4028
42.86/43.51	o 4024
42.86/43.58	o 4021
43.06/43.73	o 4019
43.16/43.81	o 4018
43.26/43.95	o 4016
43.36/44.03	o 4012
43.45/44.10	o 4008
43.55/44.23	o 4004
43.65/44.36	o 4003
43.75/44.43	o 4002
44.04/44.72	o 4001
44.64/45.30	o 3999
44.64/45.37	o 3998
44.84/45.50	o 3996
44.84/45.57	o 3994
44.95/45.64	o 3992
45.04/45.70	o 3991
45.04/45.77	o 3989
45.24/45.98	o 3986
45.34/46.04	o 3985
45.54/46.25	o 3984
45.63/46.32	o 3981
45.63/46.39	o 3978
45.73/46.46	o 3977
46.03/46.73	o 3976
46.13/46.82	o 3975
46.23/46.96	o 3973
46.33/47.04	o 3970
46.43/47.10	o 3966
46.43/47.18	o 3965
46.52/47.27	o 3961
46.62/47.35	o 3959
46.72/47.42	o 3956
46.72/47.49	o 3953
46.82/47.57	o 3952
46.92/47.64	o 3947
47.21/47.98	o 3946
47.31/48.07	o 3943
47.41/48.14	o 3942
47.51/48.22	o 3941
47.51/48.29	o 3940
47.61/48.37	o 3935
47.80/48.53	o 3932
47.90/48.61	o 3927
48.00/48.76	o 3926
48.10/48.83	o 3924
48.20/48.90	o 3920
48.20/48.98	o 3917
48.30/49.05	o 3916
48.40/49.13	o 3913
48.40/49.19	o 3910
48.60/49.33	o 3908
48.70/49.49	o 3906
48.99/49.72	o 3903
48.99/49.79	o 3902
49.09/49.86	o 3901
49.19/49.95	o 3899
49.29/50.05	o 3898
49.38/50.14	o 3895
49.59/50.30	o 3894
49.59/50.37	o 3893
49.79/50.53	o 3891
49.89/50.69	o 3887
49.98/50.78	o 3886
50.18/50.91	o 3883
50.18/50.99	o 3880
50.57/51.38	o 3879
50.67/51.44	o 3877
50.77/51.51	o 3874
50.77/51.59	o 3871
50.97/51.74	o 3870
51.07/51.82	o 3868
51.66/52.43	o 3864
51.76/52.52	o 3860
51.86/52.61	o 3856
51.96/52.71	o 3853
51.96/52.80	o 3850
52.06/52.89	o 3848
52.15/52.98	o 3846
52.25/53.08	o 3844
52.35/53.18	o 3842
52.45/53.28	o 3840
52.55/53.37	o 3837
52.65/53.45	o 3833
52.75/53.54	o 3831
52.85/53.63	o 3830
52.95/53.71	o 3828
53.15/53.97	o 3827
53.24/54.05	o 3826
53.34/54.14	o 3825
53.44/54.23	o 3824
53.54/54.32	o 3823
54.33/55.16	o 3822
54.43/55.25	o 3821
54.63/55.41	o 3818
54.73/55.59	o 3817
54.82/55.68	o 3813
55.43/56.29	o 3812
55.53/56.38	o 3811
55.63/56.46	o 3808
55.73/56.55	o 3806
55.83/56.62	o 3804
55.92/56.72	o 3803
56.02/56.81	o 3801
56.12/56.99	o 3798
56.32/57.17	o 3797
56.42/57.22	o 3795
56.52/57.32	o 3791
56.62/57.41	o 3789
56.72/57.50	o 3786
56.72/57.59	o 3785
56.81/57.67	o 3784
57.01/57.85	o 3779
57.11/57.94	o 3774
57.21/58.03	o 3772
57.31/58.12	o 3770
57.51/58.38	o 3769
57.60/58.47	o 3767
57.80/58.64	o 3764
57.90/58.73	o 3763
58.00/58.81	o 3761
58.00/58.89	o 3760
58.09/58.97	o 3758
58.19/59.06	o 3756
58.29/59.14	o 3754
58.49/59.32	o 3751
58.59/59.41	o 3748
58.69/59.50	o 3746
58.79/59.66	o 3743
58.99/59.89	o 3742
59.18/60.04	o 3738
59.28/60.12	o 3736
59.38/60.20	o 3735
59.38/60.28	o 3734
59.48/60.36	o 3732
59.58/60.44	o 3728
59.68/60.52	o 3726
59.78/60.60	o 3723
59.78/60.67	o 3722
59.88/60.75	o 3721
59.98/60.83	o 3719
60.08/60.91	o 3717
60.18/61.07	o 3716
60.27/61.15	o 3713
60.47/61.33	o 3712
60.57/61.41	o 3710
60.57/61.49	o 3709
60.67/61.58	o 3708
60.77/61.67	o 3707
60.87/61.75	o 3706
60.97/61.84	o 3705
61.07/61.92	o 3703
61.17/62.01	o 3697
61.27/62.10	o 3696
61.27/62.19	o 3694
61.46/62.36	o 3692
61.76/62.63	o 3689
61.86/62.73	o 3685
61.95/62.82	o 3681
62.05/62.91	o 3680
62.05/63.00	o 3678
62.55/63.46	o 3677
62.65/63.55	o 3674
62.75/63.65	o 3672
62.85/63.76	o 3670
62.96/63.86	o 3668
63.05/63.95	o 3667
63.15/64.04	o 3664
63.45/64.32	o 3662
63.54/64.42	o 3659
63.74/64.62	o 3658
63.84/64.72	o 3654
63.94/64.83	o 3653
64.04/64.92	o 3652
64.34/65.24	o 3651
64.63/65.56	o 3648
64.73/65.66	o 3647
64.83/65.76	o 3646
65.13/66.07	o 3644
65.22/66.17	o 3641
65.32/66.27	o 3640
65.82/66.70	o 3638
65.92/66.81	o 3637
66.02/66.92	o 3636
66.22/67.12	o 3634
66.22/67.18	o 3631
66.42/67.39	o 3629
66.81/67.73	o 3628
66.91/67.85	o 3627
67.01/67.96	o 3624
67.11/68.09	o 3623
67.31/68.21	o 3622
67.40/68.32	o 3620
67.50/68.42	o 3618
67.60/68.53	o 3616
68.00/68.90	o 3615
68.20/69.14	o 3613
68.30/69.27	o 3610
68.40/69.39	o 3607
68.59/69.51	o 3604
68.69/69.63	o 3599
68.79/69.75	o 3596
69.09/70.00	o 3593
69.48/70.47	o 3592
69.58/70.57	o 3587
69.68/70.69	o 3585
69.88/70.80	o 3583
69.98/70.92	o 3580
70.07/71.05	o 3577
70.27/71.29	o 3576
70.47/71.42	o 3574
70.57/71.55	o 3573
70.67/71.67	o 3572
71.07/72.04	o 3570
71.26/72.29	o 3568
71.56/72.54	o 3565
71.66/72.66	o 3563
71.76/72.79	o 3561
71.96/72.91	o 3559
72.06/73.05	o 3555
72.16/73.17	o 3553
72.46/73.43	o 3551
72.56/73.57	o 3550
72.66/73.69	o 3547
72.85/73.81	o 3546
72.95/73.94	o 3542
73.15/74.17	o 3538
73.25/74.30	o 3536
73.54/74.53	o 3534
73.74/74.78	o 3533
73.94/74.90	o 3531
74.14/75.15	o 3527
75.03/76.02	o 3523
75.22/76.28	o 3521
76.41/77.42	o 3520
76.51/77.55	o 3517
76.61/77.68	o 3515
77.60/78.69	o 3513
77.80/78.81	o 3508
78.00/79.06	o 3507
78.10/79.20	o 3506
78.29/79.33	o 3503
78.39/79.44	o 3498
78.78/79.82	o 3494
78.88/79.95	o 3490
78.98/80.08	o 3489
79.28/80.33	o 3487
79.38/80.46	o 3485
79.58/80.70	o 3483
79.78/80.82	o 3481
79.97/81.07	o 3480
80.07/81.19	o 3478
80.27/81.32	o 3477
80.37/81.43	o 3476
80.47/81.55	o 3473
80.57/81.67	o 3469
80.67/81.79	o 3467
80.87/81.92	o 3466
81.06/82.18	o 3463
81.26/82.31	o 3461
81.55/82.67	o 3458
81.65/82.77	o 3456
81.75/82.88	o 3453
81.95/83.00	o 3452
82.35/83.40	o 3451
82.45/83.53	o 3448
82.55/83.67	o 3447
82.94/84.04	o 3444
83.04/84.17	o 3443
83.24/84.31	o 3440
83.33/84.45	o 3437
83.53/84.61	o 3434
83.63/84.76	o 3431
83.83/84.90	o 3428
83.94/85.05	o 3426
84.04/85.19	o 3419
84.23/85.34	o 3417
84.33/85.48	o 3415
84.53/85.62	o 3413
84.63/85.77	o 3411
84.82/85.92	o 3409
84.92/86.07	o 3407
85.12/86.21	o 3405
85.22/86.35	o 3399
85.41/86.51	o 3398
85.51/86.65	o 3394
85.61/86.79	o 3393
85.81/86.93	o 3391
86.21/87.34	o 3389
86.31/87.48	o 3388
86.50/87.62	o 3385
86.60/87.75	o 3384
86.70/87.88	o 3383
86.80/87.99	o 3382
86.99/88.12	o 3379
87.09/88.24	o 3377
87.20/88.37	o 3376
87.40/88.50	o 3375
87.59/88.75	o 3374
87.69/88.87	o 3372
87.89/89.00	o 3371
87.99/89.13	o 3370
88.09/89.27	o 3369
88.39/89.51	o 3366
88.98/90.12	o 3365
89.67/90.86	o 3364
89.77/90.99	o 3363
89.97/91.12	o 3361
90.07/91.25	o 3360
90.36/91.51	o 3358
90.46/91.65	o 3355
90.56/91.78	o 3354
90.75/91.91	o 3353
90.85/92.04	o 3351
91.56/92.71	o 3350
91.66/92.85	o 3345
92.64/93.84	o 3343
92.74/93.99	o 3340
92.94/94.12	o 3339
93.04/94.27	o 3338
94.32/95.59	o 3337
94.52/95.74	o 3334
94.62/95.89	o 3333
94.82/96.04	o 3331
95.11/96.34	o 3330
95.21/96.49	o 3328
95.41/96.63	o 3326
95.51/96.79	o 3324
97.20/98.40	o 3322
97.30/98.55	o 3321
97.40/98.69	o 3319
97.60/98.84	o 3315
97.99/99.27	o 3314
98.19/99.41	o 3313
98.29/99.56	o 3311
98.48/99.71	o 3310
99.28/100.59	o 3309
99.47/100.75	o 3308
99.77/101.05	o 3305
99.87/101.20	o 3302
100.06/101.34	o 3301
100.16/101.49	o 3300
100.36/101.63	o 3295
100.46/101.77	o 3293
100.66/101.93	o 3292
100.76/102.07	o 3289
101.25/102.50	o 3288
101.35/102.65	o 3286
101.95/103.25	o 3284
102.05/103.40	o 3282
102.64/103.99	o 3281
102.84/104.14	o 3279
102.93/104.28	o 3278
103.13/104.44	o 3276
103.23/104.58	o 3273
103.53/104.85	o 3271
103.82/105.15	o 3270
103.92/105.29	o 3268
104.42/105.70	o 3266
104.51/105.84	o 3265
104.61/105.99	o 3264
104.82/106.13	o 3263
104.91/106.28	o 3260
105.11/106.43	o 3259
105.21/106.57	o 3258
105.70/107.02	o 3257
106.30/107.61	o 3255
106.40/107.77	o 3254
106.59/107.92	o 3253
106.69/108.07	o 3252
106.89/108.23	o 3248
107.19/108.54	o 3246
107.29/108.69	o 3243
107.78/109.17	o 3242
107.98/109.32	o 3241
108.28/109.65	o 3236
108.58/109.97	o 3233
108.78/110.12	o 3231
108.88/110.27	o 3229
109.18/110.57	o 3226
109.67/111.03	o 3224
109.77/111.19	o 3223
109.97/111.34	o 3221
110.56/111.95	o 3220
110.86/112.26	o 3217
111.15/112.58	o 3216
111.35/112.75	o 3214
111.55/112.91	o 3210
111.65/113.08	o 3209
111.85/113.24	o 3208
112.04/113.41	o 3206
112.14/113.57	o 3205
112.34/113.73	o 3203
112.64/114.06	o 3201
113.13/114.56	o 3200
113.53/114.91	o 3198
113.62/115.08	o 3197
113.82/115.25	o 3196
114.02/115.42	o 3195
114.12/115.58	o 3194
114.32/115.75	o 3193
114.52/115.91	o 3190
114.62/116.07	o 3187
114.81/116.26	o 3184
115.01/116.43	o 3181
115.11/116.60	o 3178
115.31/116.77	o 3174
115.71/117.11	o 3172
115.80/117.28	o 3170
116.00/117.46	o 3168
116.20/117.64	o 3167
116.40/117.81	o 3165
116.50/117.96	o 3163
116.69/118.13	o 3161
117.40/118.82	o 3160
117.69/119.17	o 3158
118.08/119.52	o 3156
118.18/119.69	o 3155
118.38/119.88	o 3153
118.58/120.05	o 3152
118.78/120.24	o 3149
119.47/120.96	o 3146
119.66/121.14	o 3144
119.86/121.32	o 3141
120.06/121.51	o 3140
120.26/121.70	o 3137
120.36/121.89	o 3135
120.56/122.07	o 3134
120.75/122.25	o 3129
120.95/122.44	o 3128
122.33/123.89	o 3127
122.53/124.07	o 3126
122.73/124.25	o 3122
122.93/124.43	o 3120
123.52/125.07	o 3119
123.92/125.43	o 3115
124.12/125.62	o 3114
124.32/125.80	o 3112
127.09/128.67	o 3110
127.28/128.85	o 3108
127.58/129.20	o 3107
128.48/130.06	o 3106
128.68/130.23	o 3103
128.87/130.41	o 3101
128.97/130.58	o 3099
129.37/130.95	o 3098
129.57/131.12	o 3094
129.67/131.29	o 3092
129.87/131.47	o 3090
130.06/131.65	o 3085
130.26/131.81	o 3083
130.36/132.00	o 3081
132.24/133.85	o 3080
133.33/134.97	o 3076
133.92/135.54	o 3075
134.12/135.72	o 3073
134.32/135.91	o 3072
134.42/136.09	o 3071
134.62/136.28	o 3069
135.61/137.24	o 3068
136.00/137.63	o 3066
136.20/137.82	o 3064
136.40/138.00	o 3062
136.50/138.19	o 3060
136.70/138.37	o 3059
136.80/138.44	o 3057
137.00/138.62	o 3053
137.19/138.80	o 3052
137.29/138.98	o 3051
137.49/139.16	o 3048
137.69/139.34	o 3044
137.88/139.53	o 3042
138.08/139.73	o 3040
138.28/139.92	o 3039
138.48/140.11	o 3038
138.87/140.50	o 3037
138.97/140.69	o 3035
139.17/140.89	o 3032
139.37/141.08	o 3030
139.56/141.29	o 3028
140.35/142.06	o 3027
140.75/142.45	o 3025
141.16/142.84	o 3023
142.15/143.85	o 3022
142.35/144.04	o 3018
142.54/144.24	o 3013
142.74/144.44	o 3012
142.94/144.63	o 3009
143.13/144.84	o 3007
143.33/145.05	o 3006
143.73/145.44	o 3005
144.12/145.83	o 3001
144.72/146.44	o 2999
144.92/146.64	o 2998
145.31/147.02	o 2997
145.51/147.21	o 2994
145.71/147.42	o 2993
146.50/148.28	o 2991
146.70/148.50	o 2988
146.99/148.72	o 2986
147.19/148.94	o 2985
147.89/149.63	o 2982
148.28/150.09	o 2979
148.58/150.32	o 2977
148.98/150.77	o 2976
149.17/151.00	o 2973
149.47/151.23	o 2970
150.56/152.39	o 2968
150.86/152.62	o 2967
151.05/152.86	o 2964
151.25/153.09	o 2961
151.55/153.32	o 2960
152.04/153.81	o 2959
153.92/155.70	o 2955
154.12/155.93	o 2953
155.01/156.89	o 2952
155.31/157.13	o 2951
155.51/157.38	o 2950
155.80/157.63	o 2949
156.00/157.87	o 2947
156.30/158.12	o 2946
156.50/158.38	o 2944
156.79/158.62	o 2941
156.99/158.85	o 2939
157.19/159.09	o 2936
157.49/159.33	o 2935
157.69/159.57	o 2934
159.37/161.22	o 2933
159.47/161.30	o 2932
160.07/161.92	o 2929
161.65/163.55	o 2927
162.15/164.01	o 2924
162.34/164.24	o 2923
162.54/164.47	o 2921
162.84/164.71	o 2918
163.43/165.31	o 2917
165.02/166.95	o 2913
165.22/167.19	o 2911
166.41/168.36	o 2910
167.10/169.08	o 2909
167.40/169.31	o 2908
167.59/169.54	o 2906
167.79/169.77	o 2903
168.08/170.01	o 2902
168.28/170.24	o 2901
168.48/170.48	o 2900
168.98/170.94	o 2899
169.47/171.40	o 2898
169.67/171.63	o 2896
169.87/171.86	o 2895
170.56/172.55	o 2894
170.86/172.80	o 2891
171.06/173.03	o 2888
171.26/173.27	o 2887
171.55/173.50	o 2885
171.75/173.74	o 2884
171.94/173.97	o 2880
172.44/174.45	o 2878
172.64/174.68	o 2876
173.13/175.14	o 2873
173.33/175.37	o 2870
173.63/175.61	o 2868
174.72/176.77	o 2867
175.02/177.01	o 2863
176.11/178.18	o 2862
176.50/178.54	o 2860
177.39/179.44	o 2859
177.59/179.66	o 2858
177.80/179.88	o 2856
178.09/180.10	o 2852
179.38/181.43	o 2851
180.47/182.54	o 2849
180.86/182.99	o 2847
181.36/183.43	o 2846
181.56/183.66	o 2845
181.75/183.88	o 2843
182.05/184.10	o 2842
182.25/184.33	o 2840
182.45/184.56	o 2838
182.65/184.79	o 2835
182.94/185.02	o 2833
183.24/185.37	o 2831
183.93/186.04	o 2830
186.11/188.26	o 2828
187.20/189.39	o 2826
187.69/189.85	o 2824
187.89/190.08	o 2822
188.19/190.32	o 2821
188.58/190.76	o 2820
189.57/191.75	o 2819
189.87/192.00	o 2815
190.07/192.25	o 2813
190.27/192.49	o 2811
190.76/192.97	o 2807
191.26/193.46	o 2803
191.56/193.70	o 2802
192.25/194.44	o 2801
192.45/194.68	o 2799
192.95/195.16	o 2798
193.24/195.42	o 2797
193.34/195.57	o 2796
193.83/196.05	o 2795
194.33/196.50	o 2791
194.73/196.99	o 2789
201.66/203.92	o 2786
201.85/204.18	o 2783
202.15/204.44	o 2780
202.45/204.71	o 2779
202.94/205.22	o 2778
203.44/205.77	o 2777
203.94/206.29	o 2775
204.23/206.55	o 2774
204.53/206.83	o 2773
204.72/207.09	o 2772
205.32/207.63	o 2770
205.82/208.18	o 2769
206.11/208.45	o 2767
206.41/208.72	o 2766
206.61/208.99	o 2765
206.90/209.26	o 2762
207.99/210.36	o 2760
208.29/210.62	o 2758
208.49/210.89	o 2757
209.88/212.27	o 2755
210.17/212.54	o 2753
210.48/212.81	o 2752
210.67/213.09	o 2750
210.97/213.33	o 2749
211.17/213.59	o 2747
211.47/213.85	o 2745
211.76/214.13	o 2743
211.96/214.40	o 2741
212.26/214.66	o 2739
213.55/215.98	o 2737
213.75/216.18	o 2736
214.34/216.73	o 2734
214.84/217.27	o 2733
215.03/217.47	o 2730
215.93/218.30	o 2729
217.01/219.41	o 2726
217.21/219.65	o 2723
217.51/219.93	o 2722
217.80/220.20	o 2720
218.30/220.76	o 2719
218.60/221.04	o 2717
219.09/221.58	o 2716
219.39/221.86	o 2715
219.69/222.14	o 2713
221.07/223.53	o 2712
221.27/223.79	o 2711
221.57/224.08	o 2710
221.87/224.36	o 2708
223.25/225.71	o 2707
223.45/225.97	o 2706
223.74/226.25	o 2705
224.04/226.52	o 2703
224.24/226.78	o 2702
224.54/227.06	o 2701
224.83/227.33	o 2700
225.03/227.60	o 2697
225.92/228.41	o 2696
226.12/228.67	o 2695
226.42/228.94	o 2694
226.72/229.20	o 2691
227.21/229.71	o 2689
227.41/229.97	o 2684
229.49/232.01	o 2683
229.68/232.26	o 2681
229.98/232.52	o 2679
231.96/234.57	o 2678
232.26/234.83	o 2677
232.55/235.11	o 2675
232.75/235.37	o 2674
233.05/235.63	o 2672
233.25/235.88	o 2669
234.04/236.66	o 2667
234.34/236.92	o 2666
234.53/237.19	o 2665
235.33/237.99	o 2664
235.62/238.26	o 2663
235.92/238.53	o 2658
236.12/238.80	o 2657
236.42/239.06	o 2656
236.71/239.33	o 2655
237.01/239.60	o 2653
237.51/240.15	o 2652
238.60/241.26	o 2651
238.90/241.55	o 2650
239.99/242.67	o 2648
240.29/242.95	o 2647
240.58/243.24	o 2645
240.88/243.53	o 2644
241.38/244.10	o 2643
241.67/244.39	o 2640
241.97/244.67	o 2639
242.27/244.96	o 2638
242.86/245.52	o 2636
244.15/246.87	o 2635
245.34/248.01	o 2634
246.13/248.88	o 2633
246.72/249.47	o 2632
247.02/249.76	o 2631
247.32/250.04	o 2628
247.52/250.28	o 2625
247.81/250.57	o 2621
249.20/251.94	o 2619
249.50/252.22	o 2614
249.99/252.79	o 2612
250.29/253.08	o 2611
250.59/253.37	o 2610
251.68/254.46	o 2609
251.97/254.74	o 2607
252.27/255.01	o 2606
252.47/255.28	o 2605
252.87/255.69	o 2604
253.26/256.10	o 2603
253.56/256.38	o 2599
253.86/256.65	o 2598
254.15/256.93	o 2596
254.65/257.48	o 2594
255.24/258.04	o 2593
255.54/258.32	o 2592
255.74/258.59	o 2590
256.04/258.87	o 2588
256.33/259.15	o 2585
256.92/259.72	o 2583
257.42/260.27	o 2582
257.72/260.55	o 2579
258.01/260.83	o 2578
258.61/261.40	o 2577
259.10/261.98	o 2575
259.40/262.28	o 2574
262.37/265.26	o 2573
262.96/265.85	o 2571
263.26/266.15	o 2570
263.86/266.74	o 2569
264.15/267.04	o 2568
264.45/267.33	o 2567
265.64/268.52	o 2565
265.94/268.82	o 2562
266.23/269.12	o 2560
266.53/269.42	o 2558
266.83/269.72	o 2557
267.13/270.02	o 2556
267.42/270.33	o 2555
267.72/270.64	o 2552
269.00/271.95	o 2551
269.30/272.27	o 2548
269.70/272.60	o 2547
270.29/273.24	o 2546
270.59/273.57	o 2545
270.89/273.90	o 2543
271.78/274.74	o 2542
273.75/276.70	o 2541
274.35/277.35	o 2540
275.04/278.01	o 2538
275.34/278.33	o 2537
277.32/280.32	o 2532
277.92/280.96	o 2531
278.21/281.28	o 2530
279.21/282.25	o 2528
279.51/282.56	o 2526
281.09/284.16	o 2525
281.39/284.48	o 2524
282.38/285.47	o 2523
284.56/287.63	o 2521
284.86/287.96	o 2517
285.15/288.20	o 2515
285.35/288.45	o 2514
285.65/288.79	o 2512
286.34/289.45	o 2511
287.03/290.11	o 2510
287.33/290.43	o 2506
287.63/290.76	o 2503
288.62/291.78	o 2502
291.69/294.88	o 2501
292.78/295.91	o 2499
293.07/296.26	o 2498
293.47/296.61	o 2497
293.77/296.95	o 2495
294.06/297.29	o 2494
294.46/297.64	o 2492
296.44/299.62	o 2490
296.63/299.81	o 2488
296.93/300.14	o 2486
298.72/301.93	o 2484
299.01/302.26	o 2482
299.40/302.60	o 2480
300.00/303.26	o 2479
301.68/304.94	o 2478
302.38/305.62	o 2476
303.37/306.64	o 2474
304.06/307.30	o 2473
305.65/308.96	o 2471
306.34/309.63	o 2467
307.34/310.65	o 2466
307.64/311.00	o 2465
308.04/311.34	o 2464
308.23/311.50	o 2462
309.22/312.53	o 2461
309.52/312.87	o 2459
310.90/314.28	o 2458
311.30/314.64	o 2457
319.42/322.81	o 2456
320.51/323.92	o 2455
320.90/324.30	o 2453
321.60/325.05	o 2451
321.79/325.30	o 2450
322.19/325.67	o 2448
322.98/326.43	o 2447
323.68/327.16	o 2446
324.07/327.53	o 2444
328.03/331.56	o 2441
329.12/332.65	o 2439
330.22/333.76	o 2437
331.41/334.94	o 2436
332.69/336.28	o 2435
333.09/336.65	o 2434
333.49/337.01	o 2432
336.16/339.75	o 2431
336.86/340.46	o 2430
337.25/340.83	o 2428
337.65/341.20	o 2427
337.95/341.57	o 2424
338.73/342.31	o 2422
341.21/344.88	o 2421
341.61/345.26	o 2420
342.00/345.63	o 2418
342.40/346.02	o 2416
342.70/346.38	o 2415
343.49/347.12	o 2414
346.06/349.73	o 2413
346.46/350.11	o 2412
346.85/350.50	o 2410
347.15/350.88	o 2408
347.94/351.63	o 2407
349.62/353.30	o 2405
349.92/353.67	o 2403
350.32/354.05	o 2402
350.61/354.30	o 2401
350.91/354.68	o 2400
351.21/354.93	o 2398
352.30/356.07	o 2397
352.70/356.46	o 2395
353.09/356.85	o 2394
354.47/358.29	o 2393
357.94/361.72	o 2390
358.34/362.11	o 2389
359.42/363.24	o 2387
359.82/363.62	o 2385
360.12/363.99	o 2383
360.51/364.38	o 2381
360.91/364.77	o 2380
361.21/365.04	o 2378
361.60/365.42	o 2376
362.00/365.80	o 2374
362.30/366.19	o 2373
365.07/368.90	o 2371
365.37/369.29	o 2369
365.77/369.68	o 2365
366.16/370.07	o 2364
367.35/371.23	o 2362
368.45/372.40	o 2361
373.99/377.91	o 2360
374.29/378.30	o 2359
374.98/378.96	o 2358
375.77/379.76	o 2357
376.96/380.92	o 2356
377.16/381.16	o 2352
377.55/381.55	o 2350
377.95/381.94	o 2348
380.03/384.04	o 2347
380.62/384.66	o 2345
381.02/385.05	o 2344
381.42/385.42	o 2343
383.69/387.75	o 2340
384.09/388.14	o 2338
384.48/388.53	o 2337
388.25/392.33	o 2335
388.94/393.00	o 2331
389.24/393.38	o 2326
390.03/394.12	o 2320
392.11/396.28	o 2318
392.90/397.02	o 2317
393.30/397.40	o 2315
393.59/397.78	o 2313
394.68/398.87	o 2312
395.08/399.25	o 2310
400.33/404.55	o 2308
405.69/409.92	o 2307
405.99/410.28	o 2305
406.38/410.61	o 2302
406.68/410.98	o 2298
407.08/411.34	o 2297
407.37/411.70	o 2296
408.07/412.35	o 2295
408.46/412.72	o 2292
408.76/413.08	o 2291
409.15/413.42	o 2290
409.45/413.78	o 2289
409.75/414.06	o 2288
410.74/415.03	o 2286
417.77/422.11	o 2285
418.07/422.47	o 2284
418.36/422.76	o 2282
418.76/423.12	o 2281
419.45/423.83	o 2279
419.74/424.19	o 2278
420.14/424.55	o 2277
420.44/424.90	o 2275
420.83/425.26	o 2273
422.32/426.71	o 2271
423.01/427.44	o 2270
423.31/427.80	o 2269
424.10/428.51	o 2268
424.40/428.88	o 2267
425.10/429.59	o 2265
425.89/430.32	o 2264
426.19/430.68	o 2261
426.58/431.04	o 2260
428.36/432.87	o 2257
430.54/435.06	o 2256
431.33/435.82	o 2255
432.03/436.56	o 2253
432.42/436.93	o 2252
432.82/437.30	o 2251
434.20/438.79	o 2250
434.60/439.15	o 2249
434.99/439.53	o 2248
435.39/439.90	o 2247
435.69/440.27	o 2246
436.08/440.64	o 2245
436.48/441.02	o 2244
437.18/441.75	o 2243
437.88/442.49	o 2241
440.35/444.93	o 2238
440.65/445.23	o 2237
441.04/445.61	o 2236
442.13/446.75	o 2235
443.32/447.96	o 2234
445.70/450.32	o 2233
446.48/451.15	o 2232
448.96/453.65	o 2230
452.93/457.69	o 2228
453.82/458.51	o 2227
454.22/458.92	o 2226
454.52/459.29	o 2224
457.69/462.49	o 2220
458.18/462.91	o 2218
458.97/463.72	o 2217
459.57/464.39	o 2215
460.46/465.24	o 2213
460.86/465.65	o 2210
461.25/466.05	o 2208
464.12/468.97	o 2207
464.52/469.38	o 2205
466.90/471.75	o 2203
467.39/472.28	o 2202
467.88/472.70	o 2201
469.07/473.96	o 2200
469.47/474.38	o 2199
469.96/474.80	o 2198
471.15/476.05	o 2195
471.45/476.36	o 2194
473.13/478.04	o 2192
473.53/478.47	o 2189
475.61/480.53	o 2187
476.40/481.37	o 2186
480.76/485.73	o 2185
481.16/486.17	o 2184
481.55/486.59	o 2183
482.05/487.04	o 2182
483.34/488.31	o 2181
483.73/488.74	o 2180
484.53/489.59	o 2179
485.91/490.96	o 2177
486.30/491.34	o 2175
486.60/491.68	o 2173
487.10/492.10	o 2172
487.49/492.51	o 2169
487.89/492.96	o 2168
488.29/493.39	o 2166
489.57/494.69	o 2163
490.86/495.95	o 2162
491.26/496.39	o 2161
492.15/497.23	o 2160
492.55/497.67	o 2158
493.43/498.53	o 2157
493.83/498.97	o 2156
494.13/499.26	o 2152
495.41/500.57	o 2150
499.37/504.55	o 2149
506.41/511.64	o 2148
506.81/512.08	o 2147
507.70/512.97	o 2145
508.20/513.42	o 2143
508.99/514.28	o 2141
509.49/514.72	o 2139
510.38/515.61	o 2137
510.77/516.04	o 2136
512.16/517.40	o 2135
512.55/517.84	o 2134
513.05/518.30	o 2131
513.94/519.21	o 2130
514.34/519.65	o 2128
517.01/522.39	o 2127
517.50/522.84	o 2126
519.88/525.22	o 2125
525.53/530.91	o 2123
526.42/531.89	o 2122
526.91/532.35	o 2119
527.31/532.79	o 2117
527.80/533.24	o 2116
528.20/533.68	o 2114
529.59/535.02	o 2113
531.77/537.20	o 2111
532.16/537.64	o 2109
533.55/539.01	o 2108
534.44/539.91	o 2107
535.33/540.82	o 2106
536.52/542.07	o 2103
537.41/542.98	o 2102
539.19/544.78	o 2100
539.39/544.96	o 2098
553.17/558.88	o 2097
553.66/559.34	o 2093
554.06/559.77	o 2091
554.95/560.70	o 2090
556.83/562.53	o 2089
557.22/562.98	o 2088
557.62/563.40	o 2087
558.61/564.30	o 2085
559.01/564.77	o 2084
559.40/565.13	o 2083
559.80/565.59	o 2082
566.93/572.74	o 2081
567.82/573.64	o 2080
568.02/573.83	o 2079
568.42/574.29	o 2077
569.80/575.62	o 2076
570.10/575.93	o 2074
570.50/576.40	o 2073
570.99/576.83	o 2072
571.38/577.28	o 2071
574.06/579.99	o 2069
574.55/580.46	o 2067
576.74/582.69	o 2065
577.23/583.15	o 2063
577.73/583.60	o 2061
580.60/586.51	o 2060
589.32/595.32	o 2057
589.62/595.65	o 2056
590.01/596.10	o 2054
592.29/598.37	o 2052
594.57/600.61	o 2051
594.96/601.06	o 2050
596.74/602.85	o 2048
600.01/606.13	o 2047
608.82/615.04	o 2046
609.22/615.50	o 2044
609.72/615.95	o 2042
610.21/616.42	o 2040
610.61/616.88	o 2037
611.10/617.35	o 2036
612.98/619.21	o 2035
613.38/619.69	o 2034
615.76/622.04	o 2033
617.94/624.29	o 2029
618.43/624.76	o 2028
618.93/625.24	o 2026
620.31/626.67	o 2024
620.80/627.15	o 2023
621.30/627.64	o 2021
621.70/628.10	o 2019
624.57/630.99	o 2018
625.07/631.48	o 2017
626.55/632.92	o 2016
627.05/633.41	o 2015
627.93/634.37	o 2014
629.93/636.30	o 2013
631.31/637.79	o 2011
634.38/640.89	o 2010
636.96/643.45	o 2009
637.45/643.96	o 2006
637.95/644.46	o 2005
638.44/644.98	o 2001
638.94/645.49	o 2000
642.50/649.07	o 1999
643.00/649.58	o 1998
646.96/653.57	o 1997
647.45/654.04	o 1996
649.34/655.95	o 1994
653.60/660.23	o 1993
654.09/660.75	o 1992
659.54/666.27	o 1990
660.92/667.64	o 1988
668.40/675.18	o 1987
671.18/677.97	o 1986
671.67/678.46	o 1985
675.14/681.97	o 1984
676.62/683.45	o 1983
678.60/685.47	o 1982
679.10/685.97	o 1981
681.58/688.42	o 1980
681.97/688.89	o 1979
682.46/689.38	o 1978
682.95/689.89	o 1977
683.45/690.38	o 1976
684.74/691.68	o 1975
686.82/693.71	o 1974
687.81/694.74	o 1973
688.80/695.72	o 1971
690.78/697.75	o 1969
691.28/698.25	o 1968
691.77/698.78	o 1967
692.85/699.83	o 1966
693.75/700.75	o 1964
697.31/704.34	o 1963
698.30/705.37	o 1962
699.29/706.34	o 1961
700.09/707.14	o 1960
700.58/707.64	o 1959
701.28/708.34	o 1958
701.47/708.54	o 1955
701.86/708.95	o 1953
702.85/709.93	o 1952
703.25/710.39	o 1950
706.02/713.20	o 1948
708.50/715.66	o 1946
709.00/716.16	o 1945
709.99/717.11	o 1943
710.88/718.09	o 1941
725.63/732.91	o 1939
726.13/733.43	o 1938
726.62/733.95	o 1936
729.20/736.52	o 1934
729.69/737.06	o 1932
730.18/737.58	o 1931
730.78/738.11	o 1928
731.27/738.63	o 1927
732.27/739.70	o 1926
732.87/740.23	o 1925
733.86/741.30	o 1923
734.95/742.38	o 1922
735.53/742.93	o 1921
736.03/743.47	o 1919
738.21/745.65	o 1918
738.80/746.20	o 1917
740.19/747.63	o 1915
740.68/748.16	o 1913
741.17/748.69	o 1911
742.56/750.04	o 1910
744.14/751.68	o 1909
748.90/756.47	o 1907
749.50/757.02	o 1906
752.47/760.04	o 1902
760.99/768.62	o 1901
761.48/769.19	o 1900
762.08/769.74	o 1899
762.67/770.30	o 1898
778.80/786.60	o 1897
780.39/788.23	o 1896
780.89/788.79	o 1893
781.48/789.33	o 1890
781.98/789.88	o 1889
783.16/791.08	o 1888
793.57/801.52	o 1887
805.26/813.35	o 1886
807.44/815.54	o 1885
808.03/816.10	o 1883
808.42/816.51	o 1880
808.93/817.06	o 1879
809.52/817.62	o 1878
812.68/820.88	o 1877
813.67/821.89	o 1876
816.55/824.71	o 1875
817.04/825.27	o 1874
817.64/825.81	o 1871
818.13/826.37	o 1870
827.64/835.93	o 1869
828.13/836.48	o 1867
828.73/837.03	o 1863
829.82/838.14	o 1862
830.41/838.71	o 1861
834.87/843.22	o 1860
835.37/843.78	o 1858
839.63/848.07	o 1857
840.21/848.63	o 1856
848.73/857.26	o 1855
849.33/857.83	o 1853
849.72/858.27	o 1852
853.69/862.27	o 1851
854.28/862.85	o 1850
855.37/863.97	o 1848
855.96/864.55	o 1847
856.55/865.13	o 1846
857.15/865.71	o 1845
857.64/866.28	o 1844
859.34/867.92	o 1843
863.50/872.16	o 1842
893.11/902.04	o 1841
893.60/902.58	o 1840
896.67/905.63	o 1838
897.27/906.23	o 1837
900.64/909.65	o 1834
902.11/911.11	o 1832
902.71/911.72	o 1829
908.65/917.72	o 1828
910.54/919.63	o 1826
914.40/923.58	o 1825
916.88/926.00	o 1824
917.76/926.95	o 1823
918.95/928.15	o 1822
921.13/930.32	o 1820
931.53/940.85	o 1819
950.94/960.41	o 1815
951.54/961.05	o 1814
951.84/961.33	o 1812
952.43/961.94	o 1811
953.03/962.57	o 1809
957.97/967.57	o 1808
958.56/968.19	o 1806
959.26/968.81	o 1805
959.85/969.44	o 1803
962.33/971.96	o 1802
962.92/972.59	o 1801
964.01/973.65	o 1800
969.07/978.71	o 1799
969.65/979.35	o 1798
980.55/990.34	o 1797
980.95/990.72	o 1795
986.69/996.53	o 1794
987.28/997.17	o 1793
987.98/997.83	o 1792
988.58/998.49	o 1790
992.34/1002.27	o 1789
993.63/1003.56	o 1787
1017.89/1028.06	o 1786
1021.85/1032.07	o 1784
1023.24/1033.41	o 1783
1023.84/1034.07	o 1782
1025.12/1035.39	o 1781
1028.38/1038.69	o 1780
1031.16/1041.40	o 1779
1031.75/1042.08	o 1778
1032.94/1043.21	o 1776
1033.54/1043.88	o 1775
1036.21/1046.56	o 1774
1038.19/1048.59	o 1773
1055.53/1066.00	o 1771
1058.51/1069.09	o 1770
1059.20/1069.77	o 1769
1060.58/1071.11	o 1768
1061.17/1071.79	o 1766
1061.77/1072.32	o 1764
1062.36/1072.98	o 1763
1062.86/1073.43	o 1762
1063.45/1074.08	o 1761
1064.74/1075.32	o 1760
1067.81/1078.48	o 1759
1074.55/1085.30	o 1758
1075.34/1086.01	o 1757
1078.70/1089.42	o 1756
1079.99/1090.79	o 1755
1080.68/1091.48	o 1752
1081.28/1092.08	o 1750
1097.22/1108.18	o 1749
1097.92/1108.85	o 1748
1099.20/1110.18	o 1747
1099.60/1110.55	o 1746
1101.28/1112.23	o 1743
1103.27/1114.23	o 1740
1103.86/1114.90	o 1739
1123.28/1134.45	o 1738
1153.57/1165.04	   
1153.57/1165.04	   search
1153.57/1165.04	     run=0  nbConstraintChecks=2723611661  nbAssignments=3827
1153.57/1165.04	       =>  wckTime=1151.801  cpuTime=1140.63  mem=49M520
1153.57/1165.04	   
1153.57/1165.04	   global
1153.57/1165.04	     nbConstraintChecks=2723611661  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
1153.57/1165.04	     solvingWckTime=1151.787  solvingCpuTime=1140.61  expiredTime=no  totalExploration=no  nbFoundSolutions=0
1153.57/1165.04	     globalCpuTime=1152.34
1153.57/1165.04	       =>  wckTime=1164.645  cpuTime=1152.3  mem=49M520
1153.57/1165.05	   
1153.57/1165.05	   solver DecomposerSolver being built... 
1159.52/1171.04	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-1112954-1215876045/watcher-1112954-1215876045 -o /tmp/evaluation-result-1112954-1215876045/solver-1112954-1215876045 -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-ddeg.xml 1 XSax HOME/instance-1112954-1215876045.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.63 2.67 2.30 4/81 18487
/proc/meminfo: memFree=1900448/2055920 swapFree=4192812/4192956
[pid=18487] ppid=18485 vsize=18572 CPUtime=0
/proc/18487/stat : 18487 (runsolver) R 18485 18487 16399 0 -1 4194368 16 0 0 0 0 0 0 0 19 0 1 0 44307740 19017728 292 996147200 4194304 4296836 548682068336 18446744073709551615 244671114535 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/18487/statm: 4643 292 257 25 0 2626 0

[startup+0.0108171 s]
/proc/loadavg: 2.63 2.67 2.30 4/81 18487
/proc/meminfo: memFree=1900448/2055920 swapFree=4192812/4192956
[pid=18487] ppid=18485 vsize=18572 CPUtime=0
/proc/18487/stat : 18487 (runsolver) D 18485 18487 16399 0 -1 4194368 16 0 0 0 0 0 0 0 19 0 1 0 44307740 19017728 292 996147200 4194304 4296836 548682068336 18446744073709551615 244671114535 0 0 4096 24578 18446744071563608240 0 0 17 1 0 0
/proc/18487/statm: 4643 292 257 25 0 2626 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18572

[startup+0.101794 s]
/proc/loadavg: 2.63 2.67 2.30 4/81 18487
/proc/meminfo: memFree=1900448/2055920 swapFree=4192812/4192956
[pid=18487] ppid=18485 vsize=10904 CPUtime=0.01
/proc/18487/stat : 18487 (java) S 18485 18487 16399 0 -1 0 811 0 0 0 0 1 0 0 18 0 2 0 44307740 11165696 564 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0
/proc/18487/statm: 2726 564 277 9 0 1198 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 10904

[startup+0.301834 s]
/proc/loadavg: 2.63 2.67 2.30 4/81 18487
/proc/meminfo: memFree=1900448/2055920 swapFree=4192812/4192956
[pid=18487] ppid=18485 vsize=866152 CPUtime=0.17
/proc/18487/stat : 18487 (java) S 18485 18487 16399 0 -1 0 4337 0 6 0 14 3 0 0 18 0 9 0 44307740 886939648 3778 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18487/statm: 216538 3778 1843 9 0 211086 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 866152

[startup+0.701908 s]
/proc/loadavg: 2.63 2.67 2.30 4/81 18487
/proc/meminfo: memFree=1900448/2055920 swapFree=4192812/4192956
[pid=18487] ppid=18485 vsize=866928 CPUtime=0.52
/proc/18487/stat : 18487 (java) S 18485 18487 16399 0 -1 0 8128 0 13 0 46 6 0 0 18 0 9 0 44307740 887734272 7511 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18487/statm: 216732 7511 1967 9 0 211260 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 866928

[startup+1.50206 s]
/proc/loadavg: 2.63 2.67 2.30 3/90 18496
/proc/meminfo: memFree=1855448/2055920 swapFree=4192812/4192956
[pid=18487] ppid=18485 vsize=867360 CPUtime=1.32
/proc/18487/stat : 18487 (java) S 18485 18487 16399 0 -1 0 21244 0 13 0 120 12 0 0 18 0 9 0 44307740 888176640 20592 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18487/statm: 216840 20592 2004 9 0 211368 0
[pid=18487/tid=18489] ppid=18485 vsize=867360 CPUtime=1.04
/proc/18487/task/18489/stat : 18489 (java) R 18485 18487 16399 0 -1 64 15764 0 13 0 95 9 0 0 25 0 9 0 44307744 888176640 20592 996147200 134512640 134550740 4294955952 18446744073709551615 4126879127 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18487/tid=18490] ppid=18485 vsize=867360 CPUtime=0.07
/proc/18487/task/18490/stat : 18490 (java) S 18485 18487 16399 0 -1 64 4187 0 0 0 6 1 0 0 16 0 9 0 44307753 888176640 20592 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18487/tid=18491] ppid=18485 vsize=867360 CPUtime=0
/proc/18487/task/18491/stat : 18491 (java) S 18485 18487 16399 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44307753 888176640 20592 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18487/tid=18492] ppid=18485 vsize=867360 CPUtime=0
/proc/18487/task/18492/stat : 18492 (java) S 18485 18487 16399 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44307753 888176640 20592 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18487/tid=18493] ppid=18485 vsize=867360 CPUtime=0
/proc/18487/task/18493/stat : 18493 (java) S 18485 18487 16399 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44307756 888176640 20592 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18487/tid=18494] ppid=18485 vsize=867360 CPUtime=0.17
/proc/18487/task/18494/stat : 18494 (java) S 18485 18487 16399 0 -1 64 597 0 0 0 17 0 0 0 16 0 9 0 44307756 888176640 20592 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18487/tid=18495] ppid=18485 vsize=867360 CPUtime=0
/proc/18487/task/18495/stat : 18495 (java) S 18485 18487 16399 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44307756 888176640 20592 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18487/tid=18496] ppid=18485 vsize=867360 CPUtime=0
/proc/18487/task/18496/stat : 18496 (java) S 18485 18487 16399 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44307756 888176640 20592 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 867360

[startup+3.10135 s]
/proc/loadavg: 2.63 2.67 2.30 3/90 18496
/proc/meminfo: memFree=1822040/2055920 swapFree=4192812/4192956
[pid=18487] ppid=18485 vsize=867460 CPUtime=2.89
/proc/18487/stat : 18487 (java) S 18485 18487 16399 0 -1 0 21294 0 13 0 277 12 0 0 18 0 9 0 44307740 888279040 20639 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18487/statm: 216865 20639 2006 9 0 211393 0
[pid=18487/tid=18489] ppid=18485 vsize=867460 CPUtime=2.59
/proc/18487/task/18489/stat : 18489 (java) R 18485 18487 16399 0 -1 64 15800 0 13 0 250 9 0 0 25 0 9 0 44307744 888279040 20639 996147200 134512640 134550740 4294955952 18446744073709551615 4126912601 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18487/tid=18490] ppid=18485 vsize=867460 CPUtime=0.07
/proc/18487/task/18490/stat : 18490 (java) S 18485 18487 16399 0 -1 64 4187 0 0 0 6 1 0 0 17 0 9 0 44307753 888279040 20639 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18487/tid=18491] ppid=18485 vsize=867460 CPUtime=0
/proc/18487/task/18491/stat : 18491 (java) S 18485 18487 16399 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44307753 888279040 20639 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18487/tid=18492] ppid=18485 vsize=867460 CPUtime=0
/proc/18487/task/18492/stat : 18492 (java) S 18485 18487 16399 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44307753 888279040 20639 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18487/tid=18493] ppid=18485 vsize=867460 CPUtime=0
/proc/18487/task/18493/stat : 18493 (java) S 18485 18487 16399 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44307756 888279040 20639 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18487/tid=18494] ppid=18485 vsize=867460 CPUtime=0.2
/proc/18487/task/18494/stat : 18494 (java) S 18485 18487 16399 0 -1 64 611 0 0 0 20 0 0 0 15 0 9 0 44307756 888279040 20639 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18487/tid=18495] ppid=18485 vsize=867460 CPUtime=0
/proc/18487/task/18495/stat : 18495 (java) S 18485 18487 16399 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44307756 888279040 20639 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18487/tid=18496] ppid=18485 vsize=867460 CPUtime=0
/proc/18487/task/18496/stat : 18496 (java) S 18485 18487 16399 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44307756 888279040 20639 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.89
Current children cumulated vsize (KiB) 867460

[startup+6.30294 s]
/proc/loadavg: 2.58 2.66 2.30 3/90 18496
/proc/meminfo: memFree=1821784/2055920 swapFree=4192812/4192956
[pid=18487] ppid=18485 vsize=867460 CPUtime=6.06
/proc/18487/stat : 18487 (java) S 18485 18487 16399 0 -1 0 24783 0 13 0 592 14 0 0 18 0 9 0 44307740 888279040 24124 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18487/statm: 216865 24124 2006 9 0 211393 0
[pid=18487/tid=18489] ppid=18485 vsize=867460 CPUtime=5.63
/proc/18487/task/18489/stat : 18489 (java) R 18485 18487 16399 0 -1 64 15804 0 13 0 553 10 0 0 25 0 9 0 44307744 888279040 24124 996147200 134512640 134550740 4294955952 18446744073709551615 4126889293 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18487/tid=18490] ppid=18485 vsize=867460 CPUtime=0.19
/proc/18487/task/18490/stat : 18490 (java) S 18485 18487 16399 0 -1 64 7650 0 0 0 16 3 0 0 16 0 9 0 44307753 888279040 24124 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18487/tid=18491] ppid=18485 vsize=867460 CPUtime=0
/proc/18487/task/18491/stat : 18491 (java) S 18485 18487 16399 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44307753 888279040 24124 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18487/tid=18492] ppid=18485 vsize=867460 CPUtime=0
/proc/18487/task/18492/stat : 18492 (java) S 18485 18487 16399 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44307753 888279040 24124 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18487/tid=18493] ppid=18485 vsize=867460 CPUtime=0
/proc/18487/task/18493/stat : 18493 (java) S 18485 18487 16399 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44307756 888279040 24124 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18487/tid=18494] ppid=18485 vsize=867460 CPUtime=0.22
/proc/18487/task/18494/stat : 18494 (java) S 18485 18487 16399 0 -1 64 633 0 0 0 22 0 0 0 15 0 9 0 44307756 888279040 24124 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18487/tid=18495] ppid=18485 vsize=867460 CPUtime=0
/proc/18487/task/18495/stat : 18495 (java) S 18485 18487 16399 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44307756 888279040 24124 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18487/tid=18496] ppid=18485 vsize=867460 CPUtime=0
/proc/18487/task/18496/stat : 18496 (java) S 18485 18487 16399 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44307756 888279040 24124 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.06
Current children cumulated vsize (KiB) 867460

[startup+12.7011 s]
/proc/loadavg: 2.53 2.65 2.30 3/90 18496
/proc/meminfo: memFree=1801048/2055920 swapFree=4192812/4192956
[pid=18487] ppid=18485 vsize=867460 CPUtime=12.41
/proc/18487/stat : 18487 (java) S 18485 18487 16399 0 -1 0 28154 0 13 0 1223 18 0 0 18 0 9 0 44307740 888279040 27490 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18487/statm: 216865 27490 2007 9 0 211393 0
[pid=18487/tid=18489] ppid=18485 vsize=867460 CPUtime=11.68
/proc/18487/task/18489/stat : 18489 (java) R 18485 18487 16399 0 -1 64 15814 0 13 0 1156 12 0 0 25 0 9 0 44307744 888279040 27490 996147200 134512640 134550740 4294955952 18446744073709551615 4126957925 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18487/tid=18490] ppid=18485 vsize=867460 CPUtime=0.43
/proc/18487/task/18490/stat : 18490 (java) S 18485 18487 16399 0 -1 64 10984 0 0 0 39 4 0 0 17 0 9 0 44307753 888279040 27490 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18487/tid=18491] ppid=18485 vsize=867460 CPUtime=0
/proc/18487/task/18491/stat : 18491 (java) S 18485 18487 16399 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44307753 888279040 27490 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18487/tid=18492] ppid=18485 vsize=867460 CPUtime=0
/proc/18487/task/18492/stat : 18492 (java) S 18485 18487 16399 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44307753 888279040 27490 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18487/tid=18493] ppid=18485 vsize=867460 CPUtime=0
/proc/18487/task/18493/stat : 18493 (java) S 18485 18487 16399 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44307756 888279040 27490 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18487/tid=18494] ppid=18485 vsize=867460 CPUtime=0.27
/proc/18487/task/18494/stat : 18494 (java) S 18485 18487 16399 0 -1 64 660 0 0 0 27 0 0 0 15 0 9 0 44307756 888279040 27490 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18487/tid=18495] ppid=18485 vsize=867460 CPUtime=0
/proc/18487/task/18495/stat : 18495 (java) S 18485 18487 16399 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44307756 888279040 27490 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18487/tid=18496] ppid=18485 vsize=867460 CPUtime=0
/proc/18487/task/18496/stat : 18496 (java) S 18485 18487 16399 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44307756 888279040 27490 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.41
Current children cumulated vsize (KiB) 867460

[startup+25.5025 s]
/proc/loadavg: 2.41 2.62 2.29 3/90 18496
/proc/meminfo: memFree=1783960/2055920 swapFree=4192812/4192956
[pid=18487] ppid=18485 vsize=867548 CPUtime=25.06
/proc/18487/stat : 18487 (java) S 18485 18487 16399 0 -1 0 31604 0 13 0 2483 23 0 0 18 0 9 0 44307740 888369152 30747 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18487/statm: 216887 30747 2640 9 0 211393 0
[pid=18487/tid=18489] ppid=18485 vsize=867548 CPUtime=23.98
/proc/18487/task/18489/stat : 18489 (java) R 18485 18487 16399 0 -1 64 15877 0 13 0 2382 16 0 0 25 0 9 0 44307744 888369152 30747 996147200 134512640 134550740 4294955952 18446744073709551615 4126457507 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18487/tid=18490] ppid=18485 vsize=867548 CPUtime=0.73
/proc/18487/task/18490/stat : 18490 (java) S 18485 18487 16399 0 -1 64 14342 0 0 0 68 5 0 0 16 0 9 0 44307753 888369152 30747 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18487/tid=18491] ppid=18485 vsize=867548 CPUtime=0
/proc/18487/task/18491/stat : 18491 (java) S 18485 18487 16399 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44307753 888369152 30747 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18487/tid=18492] ppid=18485 vsize=867548 CPUtime=0
/proc/18487/task/18492/stat : 18492 (java) S 18485 18487 16399 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44307753 888369152 30747 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18487/tid=18493] ppid=18485 vsize=867548 CPUtime=0
/proc/18487/task/18493/stat : 18493 (java) S 18485 18487 16399 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44307756 888369152 30747 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18487/tid=18494] ppid=18485 vsize=867548 CPUtime=0.32
/proc/18487/task/18494/stat : 18494 (java) S 18485 18487 16399 0 -1 64 689 0 0 0 32 0 0 0 16 0 9 0 44307756 888369152 30747 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18487/tid=18495] ppid=18485 vsize=867548 CPUtime=0
/proc/18487/task/18495/stat : 18495 (java) S 18485 18487 16399 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44307756 888369152 30747 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18487/tid=18496] ppid=18485 vsize=867548 CPUtime=0
/proc/18487/task/18496/stat : 18496 (java) S 18485 18487 16399 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44307756 888369152 30747 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.06
Current children cumulated vsize (KiB) 867548

[startup+51.1022 s]
/proc/loadavg: 2.27 2.57 2.28 3/90 18496
/proc/meminfo: memFree=1784088/2055920 swapFree=4192812/4192956
[pid=18487] ppid=18485 vsize=867548 CPUtime=50.38
/proc/18487/stat : 18487 (java) S 18485 18487 16399 0 -1 0 31609 0 13 0 5009 29 0 0 18 0 9 0 44307740 888369152 30751 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18487/statm: 216887 30751 2640 9 0 211393 0
[pid=18487/tid=18489] ppid=18485 vsize=867548 CPUtime=49.29
/proc/18487/task/18489/stat : 18489 (java) R 18485 18487 16399 0 -1 64 15878 0 13 0 4907 22 0 0 25 0 9 0 44307744 888369152 30751 996147200 134512640 134550740 4294955952 18446744073709551615 4126922736 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18487/tid=18490] ppid=18485 vsize=867548 CPUtime=0.73
/proc/18487/task/18490/stat : 18490 (java) S 18485 18487 16399 0 -1 64 14342 0 0 0 68 5 0 0 16 0 9 0 44307753 888369152 30751 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18487/tid=18491] ppid=18485 vsize=867548 CPUtime=0
/proc/18487/task/18491/stat : 18491 (java) S 18485 18487 16399 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44307753 888369152 30751 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18487/tid=18492] ppid=18485 vsize=867548 CPUtime=0
/proc/18487/task/18492/stat : 18492 (java) S 18485 18487 16399 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44307753 888369152 30751 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18487/tid=18493] ppid=18485 vsize=867548 CPUtime=0
/proc/18487/task/18493/stat : 18493 (java) S 18485 18487 16399 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44307756 888369152 30751 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18487/tid=18494] ppid=18485 vsize=867548 CPUtime=0.33
/proc/18487/task/18494/stat : 18494 (java) S 18485 18487 16399 0 -1 64 693 0 0 0 33 0 0 0 16 0 9 0 44307756 888369152 30751 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18487/tid=18495] ppid=18485 vsize=867548 CPUtime=0

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

/proc/18487/task/18492/stat : 18492 (java) S 18485 18487 16399 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44307753 888369152 30760 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18487/tid=18493] ppid=18485 vsize=867548 CPUtime=0
/proc/18487/task/18493/stat : 18493 (java) S 18485 18487 16399 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44307756 888369152 30760 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18487/tid=18494] ppid=18485 vsize=867548 CPUtime=0.35
/proc/18487/task/18494/stat : 18494 (java) S 18485 18487 16399 0 -1 64 702 0 0 0 35 0 0 0 16 0 9 0 44307756 888369152 30760 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18487/tid=18495] ppid=18485 vsize=867548 CPUtime=0
/proc/18487/task/18495/stat : 18495 (java) S 18485 18487 16399 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44307756 888369152 30760 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18487/tid=18496] ppid=18485 vsize=867548 CPUtime=0
/proc/18487/task/18496/stat : 18496 (java) S 18485 18487 16399 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44307756 888369152 30760 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1115.25
Current children cumulated vsize (KiB) 867548

[startup+1151.9 s]
/proc/loadavg: 2.00 2.00 2.06 3/90 18570
/proc/meminfo: memFree=1474904/2055920 swapFree=4192812/4192956
[pid=18487] ppid=18485 vsize=867548 CPUtime=1140.6
/proc/18487/stat : 18487 (java) S 18485 18487 16399 0 -1 0 31621 0 13 0 113991 69 0 0 18 0 9 0 44307740 888369152 30760 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18487/statm: 216887 30760 2640 9 0 211393 0
[pid=18487/tid=18489] ppid=18485 vsize=867548 CPUtime=1139.49
/proc/18487/task/18489/stat : 18489 (java) R 18485 18487 16399 0 -1 64 15881 0 13 0 113887 62 0 0 25 0 9 0 44307744 888369152 30760 996147200 134512640 134550740 4294955952 18446744073709551615 4126892296 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18487/tid=18490] ppid=18485 vsize=867548 CPUtime=0.73
/proc/18487/task/18490/stat : 18490 (java) S 18485 18487 16399 0 -1 64 14342 0 0 0 68 5 0 0 16 0 9 0 44307753 888369152 30760 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18487/tid=18491] ppid=18485 vsize=867548 CPUtime=0
/proc/18487/task/18491/stat : 18491 (java) S 18485 18487 16399 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44307753 888369152 30760 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18487/tid=18492] ppid=18485 vsize=867548 CPUtime=0
/proc/18487/task/18492/stat : 18492 (java) S 18485 18487 16399 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44307753 888369152 30760 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18487/tid=18493] ppid=18485 vsize=867548 CPUtime=0
/proc/18487/task/18493/stat : 18493 (java) S 18485 18487 16399 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44307756 888369152 30760 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18487/tid=18494] ppid=18485 vsize=867548 CPUtime=0.35
/proc/18487/task/18494/stat : 18494 (java) S 18485 18487 16399 0 -1 64 702 0 0 0 35 0 0 0 16 0 9 0 44307756 888369152 30760 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18487/tid=18495] ppid=18485 vsize=867548 CPUtime=0
/proc/18487/task/18495/stat : 18495 (java) S 18485 18487 16399 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44307756 888369152 30760 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18487/tid=18496] ppid=18485 vsize=867548 CPUtime=0
/proc/18487/task/18496/stat : 18496 (java) S 18485 18487 16399 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44307756 888369152 30760 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1140.6
Current children cumulated vsize (KiB) 867548

[startup+1164.7 s]
/proc/loadavg: 2.00 2.00 2.06 3/90 18570
/proc/meminfo: memFree=1474904/2055920 swapFree=4192812/4192956
[pid=18487] ppid=18485 vsize=867548 CPUtime=1153.29
/proc/18487/stat : 18487 (java) S 18485 18487 16399 0 -1 0 31621 0 13 0 115260 69 0 0 18 0 9 0 44307740 888369152 30760 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18487/statm: 216887 30760 2640 9 0 211393 0
[pid=18487/tid=18489] ppid=18485 vsize=867548 CPUtime=1152.17
/proc/18487/task/18489/stat : 18489 (java) R 18485 18487 16399 0 -1 64 15881 0 13 0 115155 62 0 0 25 0 9 0 44307744 888369152 30760 996147200 134512640 134550740 4294955952 18446744073709551615 4126918511 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18487/tid=18490] ppid=18485 vsize=867548 CPUtime=0.73
/proc/18487/task/18490/stat : 18490 (java) S 18485 18487 16399 0 -1 64 14342 0 0 0 68 5 0 0 16 0 9 0 44307753 888369152 30760 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18487/tid=18491] ppid=18485 vsize=867548 CPUtime=0
/proc/18487/task/18491/stat : 18491 (java) S 18485 18487 16399 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44307753 888369152 30760 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18487/tid=18492] ppid=18485 vsize=867548 CPUtime=0
/proc/18487/task/18492/stat : 18492 (java) S 18485 18487 16399 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44307753 888369152 30760 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18487/tid=18493] ppid=18485 vsize=867548 CPUtime=0
/proc/18487/task/18493/stat : 18493 (java) S 18485 18487 16399 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44307756 888369152 30760 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18487/tid=18494] ppid=18485 vsize=867548 CPUtime=0.35
/proc/18487/task/18494/stat : 18494 (java) S 18485 18487 16399 0 -1 64 702 0 0 0 35 0 0 0 16 0 9 0 44307756 888369152 30760 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18487/tid=18495] ppid=18485 vsize=867548 CPUtime=0
/proc/18487/task/18495/stat : 18495 (java) S 18485 18487 16399 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44307756 888369152 30760 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18487/tid=18496] ppid=18485 vsize=867548 CPUtime=0
/proc/18487/task/18496/stat : 18496 (java) S 18485 18487 16399 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44307756 888369152 30760 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1153.29
Current children cumulated vsize (KiB) 867548

[startup+1167.9 s]
/proc/loadavg: 2.00 2.00 2.06 4/90 18570
/proc/meminfo: memFree=908312/2055920 swapFree=4192812/4192956
[pid=18487] ppid=18485 vsize=867460 CPUtime=1156.45
/proc/18487/stat : 18487 (java) S 18485 18487 16399 0 -1 0 200389 0 13 0 115506 139 0 0 18 0 9 0 44307740 888279040 199445 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18487/statm: 216865 199445 2618 9 0 211393 0
[pid=18487/tid=18489] ppid=18485 vsize=867460 CPUtime=1153.36
/proc/18487/task/18489/stat : 18489 (java) R 18485 18487 16399 0 -1 64 15972 0 13 0 115274 62 0 0 25 0 9 0 44307744 888279040 199445 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18487/tid=18490] ppid=18485 vsize=867460 CPUtime=2.65
/proc/18487/task/18490/stat : 18490 (java) R 18485 18487 16399 0 -1 64 182972 0 0 0 191 74 0 0 16 0 9 0 44307753 888279040 199445 996147200 134512640 134550740 4294955952 18446744073709551615 104181349 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18487/tid=18491] ppid=18485 vsize=867460 CPUtime=0
/proc/18487/task/18491/stat : 18491 (java) S 18485 18487 16399 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44307753 888279040 199445 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18487/tid=18492] ppid=18485 vsize=867460 CPUtime=0
/proc/18487/task/18492/stat : 18492 (java) S 18485 18487 16399 0 -1 64 23 0 0 0 0 0 0 0 16 0 9 0 44307753 888279040 199445 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18487/tid=18493] ppid=18485 vsize=867460 CPUtime=0
/proc/18487/task/18493/stat : 18493 (java) S 18485 18487 16399 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44307756 888279040 199445 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18487/tid=18494] ppid=18485 vsize=867460 CPUtime=0.39
/proc/18487/task/18494/stat : 18494 (java) S 18485 18487 16399 0 -1 64 731 0 0 0 39 0 0 0 15 0 9 0 44307756 888279040 199445 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18487/tid=18495] ppid=18485 vsize=867460 CPUtime=0
/proc/18487/task/18495/stat : 18495 (java) S 18485 18487 16399 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44307756 888279040 199445 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18487/tid=18496] ppid=18485 vsize=867460 CPUtime=0
/proc/18487/task/18496/stat : 18496 (java) S 18485 18487 16399 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44307756 888279040 199445 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1156.45
Current children cumulated vsize (KiB) 867460

[startup+1169.5 s]
/proc/loadavg: 2.00 2.00 2.06 4/90 18570
/proc/meminfo: memFree=798744/2055920 swapFree=4192812/4192956
[pid=18487] ppid=18485 vsize=867460 CPUtime=1158.03
/proc/18487/stat : 18487 (java) S 18485 18487 16399 0 -1 0 200391 0 13 0 115664 139 0 0 18 0 9 0 44307740 888279040 199445 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18487/statm: 216865 199445 2618 9 0 211393 0
[pid=18487/tid=18489] ppid=18485 vsize=867460 CPUtime=1153.37
/proc/18487/task/18489/stat : 18489 (java) S 18485 18487 16399 0 -1 64 15974 0 13 0 115275 62 0 0 25 0 9 0 44307744 888279040 199445 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18487/tid=18490] ppid=18485 vsize=867460 CPUtime=4.22
/proc/18487/task/18490/stat : 18490 (java) R 18485 18487 16399 0 -1 64 182972 0 0 0 348 74 0 0 18 0 9 0 44307753 888279040 199445 996147200 134512640 134550740 4294955952 18446744073709551615 102731896 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18487/tid=18491] ppid=18485 vsize=867460 CPUtime=0
/proc/18487/task/18491/stat : 18491 (java) S 18485 18487 16399 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44307753 888279040 199445 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18487/tid=18492] ppid=18485 vsize=867460 CPUtime=0
/proc/18487/task/18492/stat : 18492 (java) S 18485 18487 16399 0 -1 64 23 0 0 0 0 0 0 0 16 0 9 0 44307753 888279040 199445 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18487/tid=18493] ppid=18485 vsize=867460 CPUtime=0
/proc/18487/task/18493/stat : 18493 (java) S 18485 18487 16399 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44307756 888279040 199445 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18487/tid=18494] ppid=18485 vsize=867460 CPUtime=0.39
/proc/18487/task/18494/stat : 18494 (java) S 18485 18487 16399 0 -1 64 731 0 0 0 39 0 0 0 15 0 9 0 44307756 888279040 199445 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18487/tid=18495] ppid=18485 vsize=867460 CPUtime=0
/proc/18487/task/18495/stat : 18495 (java) S 18485 18487 16399 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44307756 888279040 199445 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18487/tid=18496] ppid=18485 vsize=867460 CPUtime=0
/proc/18487/task/18496/stat : 18496 (java) S 18485 18487 16399 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44307756 888279040 199445 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1158.03
Current children cumulated vsize (KiB) 867460

[startup+1170.3 s]
/proc/loadavg: 2.00 2.00 2.06 3/90 18570
/proc/meminfo: memFree=798744/2055920 swapFree=4192812/4192956
[pid=18487] ppid=18485 vsize=867460 CPUtime=1158.83
/proc/18487/stat : 18487 (java) S 18485 18487 16399 0 -1 0 200392 0 13 0 115744 139 0 0 18 0 9 0 44307740 888279040 199445 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18487/statm: 216865 199445 2618 9 0 211393 0
[pid=18487/tid=18489] ppid=18485 vsize=867460 CPUtime=1153.37
/proc/18487/task/18489/stat : 18489 (java) S 18485 18487 16399 0 -1 64 15975 0 13 0 115275 62 0 0 24 0 9 0 44307744 888279040 199445 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18487/tid=18490] ppid=18485 vsize=867460 CPUtime=5.01
/proc/18487/task/18490/stat : 18490 (java) R 18485 18487 16399 0 -1 64 182972 0 0 0 427 74 0 0 19 0 9 0 44307753 888279040 199445 996147200 134512640 134550740 4294955952 18446744073709551615 104182546 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18487/tid=18491] ppid=18485 vsize=867460 CPUtime=0
/proc/18487/task/18491/stat : 18491 (java) S 18485 18487 16399 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44307753 888279040 199445 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18487/tid=18492] ppid=18485 vsize=867460 CPUtime=0
/proc/18487/task/18492/stat : 18492 (java) S 18485 18487 16399 0 -1 64 23 0 0 0 0 0 0 0 16 0 9 0 44307753 888279040 199445 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18487/tid=18493] ppid=18485 vsize=867460 CPUtime=0
/proc/18487/task/18493/stat : 18493 (java) S 18485 18487 16399 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44307756 888279040 199445 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18487/tid=18494] ppid=18485 vsize=867460 CPUtime=0.39
/proc/18487/task/18494/stat : 18494 (java) S 18485 18487 16399 0 -1 64 731 0 0 0 39 0 0 0 15 0 9 0 44307756 888279040 199445 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18487/tid=18495] ppid=18485 vsize=867460 CPUtime=0
/proc/18487/task/18495/stat : 18495 (java) S 18485 18487 16399 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44307756 888279040 199445 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18487/tid=18496] ppid=18485 vsize=867460 CPUtime=0
/proc/18487/task/18496/stat : 18496 (java) S 18485 18487 16399 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44307756 888279040 199445 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1158.83
Current children cumulated vsize (KiB) 867460

[startup+1170.7 s]
/proc/loadavg: 2.00 2.00 2.06 3/90 18570
/proc/meminfo: memFree=798744/2055920 swapFree=4192812/4192956
[pid=18487] ppid=18485 vsize=867460 CPUtime=1159.22
/proc/18487/stat : 18487 (java) S 18485 18487 16399 0 -1 0 200392 0 13 0 115783 139 0 0 18 0 9 0 44307740 888279040 199445 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18487/statm: 216865 199445 2618 9 0 211393 0
[pid=18487/tid=18489] ppid=18485 vsize=867460 CPUtime=1153.37
/proc/18487/task/18489/stat : 18489 (java) S 18485 18487 16399 0 -1 64 15975 0 13 0 115275 62 0 0 24 0 9 0 44307744 888279040 199445 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18487/tid=18490] ppid=18485 vsize=867460 CPUtime=5.4
/proc/18487/task/18490/stat : 18490 (java) R 18485 18487 16399 0 -1 64 182972 0 0 0 466 74 0 0 19 0 9 0 44307753 888279040 199445 996147200 134512640 134550740 4294955952 18446744073709551615 104182546 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18487/tid=18491] ppid=18485 vsize=867460 CPUtime=0
/proc/18487/task/18491/stat : 18491 (java) S 18485 18487 16399 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44307753 888279040 199445 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18487/tid=18492] ppid=18485 vsize=867460 CPUtime=0
/proc/18487/task/18492/stat : 18492 (java) S 18485 18487 16399 0 -1 64 23 0 0 0 0 0 0 0 16 0 9 0 44307753 888279040 199445 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18487/tid=18493] ppid=18485 vsize=867460 CPUtime=0
/proc/18487/task/18493/stat : 18493 (java) S 18485 18487 16399 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44307756 888279040 199445 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18487/tid=18494] ppid=18485 vsize=867460 CPUtime=0.39
/proc/18487/task/18494/stat : 18494 (java) S 18485 18487 16399 0 -1 64 731 0 0 0 39 0 0 0 15 0 9 0 44307756 888279040 199445 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18487/tid=18495] ppid=18485 vsize=867460 CPUtime=0
/proc/18487/task/18495/stat : 18495 (java) S 18485 18487 16399 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44307756 888279040 199445 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18487/tid=18496] ppid=18485 vsize=867460 CPUtime=0
/proc/18487/task/18496/stat : 18496 (java) S 18485 18487 16399 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44307756 888279040 199445 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1159.22
Current children cumulated vsize (KiB) 867460

[startup+1171.1 s]
/proc/loadavg: 2.00 2.00 2.06 3/90 18570
/proc/meminfo: memFree=798744/2055920 swapFree=4192812/4192956
[pid=18487] ppid=18485 vsize=0 CPUtime=1159.6
/proc/18487/stat : 18487 (java) Z 18485 18487 16399 0 -1 12 200400 0 13 0 115818 142 0 0 16 0 2 0 44307740 0 0 996147200 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18487/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1159.6
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1171.19
CPU time (s): 1159.69
CPU user time (s): 1158.18
CPU system time (s): 1.51377
CPU usage (%): 99.0186
Max. virtual memory (cumulated for all children) (KiB): 867552

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1158.18
system time used= 1.51377
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 200400
page faults= 13
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 25993
involuntary context switches= 57041

runsolver used 1.49577 second user time and 4.04538 second system time

The end

Launcher Data (download as text)

Begin job on node7 at 2008-07-12 17:20:45
IDJOB=1112954
IDBENCH=61502
IDSOLVER=360
FILE ID=node7/1112954-1215876045
PBS_JOBID= 7903466
Free space on /tmp= 66520 MiB

SOLVER NAME= AbsconMax 112 pc-d
BENCH NAME= CPAI08/csp/fapp/fapp25/normalized-fapp25-2230-2.xml
COMMAND LINE=  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp absconMax112V3.jar abscon.Resolution mrdac-ddeg.xml 1 XSax BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1112954-1215876045/watcher-1112954-1215876045 -o /tmp/evaluation-result-1112954-1215876045/solver-1112954-1215876045 -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-ddeg.xml 1 XSax HOME/instance-1112954-1215876045.xml

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= e9fca648ca088ce6fc443985c24dc948
RANDOM SEED=1379837938

node7.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.259
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.259
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:       1901120 kB
Buffers:          2732 kB
Cached:          38136 kB
SwapCached:          0 kB
Active:          98724 kB
Inactive:         4800 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1901120 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            4756 kB
Writeback:           0 kB
Mapped:          82780 kB
Slab:            36436 kB
Committed_AS:   348880 kB
PageTables:       2032 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= 66516 MiB
End job on node7 at 2008-07-12 17:40:16