Trace number 1112953

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? 1068.63 1075.26

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.02/0.18	
0.02/0.18	Abscon 112 (May, 2008)
0.20/0.35	
0.20/0.35	   configuration
0.20/0.35	     name=mrdac-wdeg.xml
0.29/0.42	   
0.29/0.42	   instance
0.29/0.42	     name=HOME/instance-1112953-1215876038.xml
0.29/0.46	   
0.29/0.46	   domains being loaded...
0.38/0.51	   
0.38/0.51	   variables being loaded...
0.58/0.79	     nbVariables=2230  nbDomainTypes=21  minDomainSize=46  maxDomainSize=302  nbTotalValues=610084
0.58/0.79	       =>  wckTime=0.441  cpuTime=0.29  mem=27M389
0.58/0.79	   
0.58/0.79	   predicates being loaded...
0.68/0.86	   
0.68/0.86	   constraints being loaded...
10.63/10.86	   
10.63/10.86	   INFO : Stopping converting binary constraints (cpu=10.05, mem = 37M973)
12.62/12.80	     nbConstraints=18971  nbConvertedConstraints=732  nbConvertConstraintsChecks=31707984  nbExtensionStructures=434
12.62/12.80	     nbSharedExtensionStructures=368  nbConflictsStructures=626  nbSharedConflictsStructures=521
12.62/12.80	     nbUnbuiltConflictsStructures=3814  nbSharedBinaryRepresentations=214880  nbEvaluationManagers=4006
12.62/12.80	     nbSharedEvaluationManagers=14233  minDegree=2  maxDegree=26  minArity=2  maxArity=2
12.62/12.80	       =>  wckTime=12.449  cpuTime=11.64  mem=63M784
12.92/13.13	   
12.92/13.13	   solver LocalSearchSolver being built... 
12.92/13.18	       =>  wckTime=12.831  cpuTime=11.69  mem=48M490
13.12/13.32	
13.12/13.32	s SATISFIABLE
13.12/13.32	o 5678
13.12/13.38	o 5670
13.22/13.43	o 5666
13.22/13.46	o 5660
13.22/13.49	o 5655
13.32/13.51	o 5651
13.32/13.54	o 5648
13.32/13.57	o 5641
13.41/13.60	o 5636
13.41/13.63	o 5631
13.41/13.65	o 5626
13.41/13.68	o 5621
13.51/13.70	o 5616
13.51/13.73	o 5611
13.51/13.75	o 5606
13.51/13.78	o 5602
13.61/13.80	o 5598
13.61/13.82	o 5594
13.61/13.85	o 5591
13.61/13.88	o 5588
13.71/13.90	o 5585
13.71/13.91	o 5582
13.71/13.93	o 5579
13.71/13.94	o 5576
13.71/13.95	o 5573
13.71/13.96	o 5571
13.71/13.98	o 5563
13.81/14.00	o 5559
13.81/14.03	o 5554
13.81/14.07	o 5546
13.91/14.12	o 5539
13.91/14.16	o 5532
14.01/14.21	o 5526
14.01/14.26	o 5520
14.01/14.30	o 5514
14.11/14.34	o 5508
14.11/14.39	o 5502
14.21/14.44	o 5496
14.21/14.48	o 5491
14.31/14.53	o 5486
14.31/14.57	o 5481
14.41/14.60	o 5476
14.41/14.65	o 5471
14.41/14.69	o 5466
14.51/14.73	o 5461
14.51/14.76	o 5456
14.61/14.80	o 5451
14.61/14.84	o 5447
14.61/14.88	o 5443
14.71/14.91	o 5440
14.71/14.95	o 5436
14.71/14.98	o 5432
14.81/15.02	o 5428
14.81/15.05	o 5424
14.81/15.08	o 5423
14.91/15.12	o 5419
14.91/15.15	o 5415
14.91/15.18	o 5411
15.01/15.21	o 5407
15.01/15.24	o 5404
15.01/15.28	o 5401
15.11/15.32	o 5398
15.11/15.35	o 5395
15.11/15.38	o 5391
15.21/15.41	o 5388
15.21/15.43	o 5385
15.21/15.46	o 5382
15.21/15.49	o 5380
15.30/15.51	o 5378
15.30/15.53	o 5376
15.30/15.56	o 5374
15.30/15.58	o 5372
15.30/15.60	o 5370
15.40/15.61	o 5368
15.40/15.63	o 5367
15.40/15.64	o 5366
15.40/15.67	o 5365
15.40/15.69	o 5364
15.50/15.71	o 5363
15.50/15.73	o 5362
15.50/15.74	o 5361
15.50/15.79	o 5356
15.60/15.81	o 5351
15.60/15.83	o 5349
15.60/15.84	o 5344
15.60/15.88	o 5342
15.70/15.90	o 5340
15.70/15.92	o 5337
15.70/15.93	o 5330
15.70/15.96	o 5326
15.70/15.97	o 5322
15.70/15.99	o 5321
15.79/16.01	o 5316
15.79/16.04	o 5312
15.79/16.09	o 5307
15.89/16.14	o 5305
15.89/16.19	o 5298
16.00/16.25	o 5292
16.10/16.31	o 5286
16.10/16.36	o 5280
16.20/16.43	o 5274
16.20/16.50	o 5268
16.30/16.56	o 5263
16.40/16.62	o 5258
16.40/16.67	o 5256
16.50/16.73	o 5251
16.50/16.79	o 5246
16.60/16.85	o 5241
16.70/16.90	o 5239
16.70/16.96	o 5234
16.80/17.02	o 5229
16.80/17.07	o 5224
16.90/17.13	o 5219
16.90/17.19	o 5215
17.00/17.25	o 5211
17.10/17.30	o 5207
17.10/17.36	o 5203
17.20/17.41	o 5199
17.20/17.47	o 5195
17.29/17.53	o 5191
17.29/17.58	o 5185
17.39/17.63	o 5181
17.39/17.69	o 5177
17.49/17.74	o 5173
17.49/17.79	o 5169
17.59/17.84	o 5165
17.59/17.88	o 5161
17.69/17.93	o 5157
17.69/17.98	o 5153
17.79/18.03	o 5149
17.89/18.12	o 5146
17.89/18.17	o 5143
17.99/18.22	o 5140
17.99/18.26	o 5137
18.09/18.31	o 5134
18.09/18.35	o 5131
18.09/18.39	o 5128
18.19/18.44	o 5123
18.19/18.48	o 5120
18.28/18.51	o 5117
18.28/18.55	o 5114
18.28/18.59	o 5111
18.38/18.63	o 5109
18.48/18.71	o 5108
18.48/18.74	o 5106
18.48/18.78	o 5104
18.58/18.81	o 5102
18.58/18.84	o 5100
18.58/18.87	o 5097
18.58/18.89	o 5095
18.67/18.92	o 5093
18.67/18.95	o 5092
18.67/18.98	o 5091
18.77/19.01	o 5090
18.77/19.03	o 5084
18.77/19.06	o 5083
18.97/19.23	o 5082
18.97/19.29	o 5078
19.08/19.31	o 5077
19.08/19.33	o 5072
19.08/19.34	o 5068
19.08/19.36	o 5065
19.08/19.38	o 5063
19.08/19.39	o 5059
19.18/19.41	o 5057
19.18/19.43	o 5055
19.18/19.47	o 5052
19.18/19.49	o 5049
19.28/19.50	o 5044
19.28/19.55	o 5039
19.28/19.57	o 5037
19.28/19.60	o 5035
19.38/19.64	o 5032
19.38/19.66	o 5028
19.38/19.69	o 5026
19.47/19.71	o 5020
19.47/19.73	o 5017
19.47/19.77	o 5015
19.47/19.79	o 5013
19.57/19.82	o 5011
19.57/19.84	o 5006
19.57/19.85	o 5003
19.57/19.90	o 5002
19.67/19.91	o 4999
19.67/19.93	o 4996
19.67/19.96	o 4992
19.67/19.97	o 4988
19.77/20.09	o 4982
19.87/20.13	o 4978
19.87/20.18	o 4972
19.97/20.23	o 4967
19.97/20.28	o 4962
20.07/20.33	o 4957
20.07/20.39	o 4956
20.17/20.44	o 4953
20.17/20.49	o 4948
20.27/20.54	o 4944
20.27/20.59	o 4940
20.36/20.64	o 4936
20.36/20.69	o 4932
20.46/20.73	o 4928
20.46/20.78	o 4924
20.56/20.83	o 4921
20.56/20.88	o 4918
20.66/20.92	o 4915
20.66/20.97	o 4912
20.76/21.01	o 4909
20.76/21.06	o 4906
20.86/21.10	o 4903
20.86/21.14	o 4900
20.86/21.18	o 4897
20.96/21.23	o 4894
20.96/21.27	o 4891
21.06/21.32	o 4888
21.06/21.36	o 4887
21.06/21.39	o 4885
21.15/21.43	o 4883
21.15/21.48	o 4881
21.25/21.51	o 4879
21.25/21.55	o 4877
21.25/21.57	o 4875
21.35/21.61	o 4873
21.35/21.64	o 4871
21.35/21.67	o 4869
21.45/21.70	o 4868
21.45/21.73	o 4867
21.45/21.75	o 4866
21.45/21.78	o 4865
21.55/21.81	o 4864
21.55/21.84	o 4863
21.55/21.87	o 4862
21.55/21.89	o 4861
21.65/21.91	o 4860
21.75/22.05	o 4858
21.75/22.07	o 4854
21.75/22.08	o 4850
21.86/22.10	o 4847
21.86/22.12	o 4844
21.86/22.14	o 4842
21.86/22.19	o 4839
21.95/22.25	o 4835
21.95/22.27	o 4829
21.95/22.30	o 4827
22.05/22.33	o 4825
22.05/22.36	o 4823
22.05/22.38	o 4819
22.15/22.41	o 4818
22.15/22.43	o 4815
22.15/22.49	o 4812
22.25/22.51	o 4810
22.25/22.53	o 4806
22.25/22.56	o 4805
22.25/22.59	o 4802
22.35/22.61	o 4796
22.35/22.65	o 4795
22.35/22.67	o 4794
22.45/22.70	o 4791
22.45/22.73	o 4789
22.45/22.76	o 4784
22.45/22.79	o 4782
22.55/22.83	o 4779
22.55/22.85	o 4774
22.65/22.91	o 4769
22.65/22.94	o 4767
22.75/23.02	o 4766
22.75/23.04	o 4761
22.85/23.11	o 4756
22.85/23.15	o 4754
22.94/23.20	o 4750
22.94/23.24	o 4749
22.94/23.28	o 4747
23.04/23.31	o 4742
23.04/23.37	o 4741
23.14/23.40	o 4740
23.14/23.44	o 4735
23.14/23.46	o 4731
23.14/23.50	o 4730
23.24/23.53	o 4729
23.24/23.56	o 4727
23.34/23.65	o 4725
23.44/23.70	o 4724
23.44/23.75	o 4723
23.44/23.79	o 4722
23.54/23.83	o 4717
23.64/23.91	o 4715
23.64/23.94	o 4712
23.64/23.98	o 4711
23.74/24.01	o 4708
23.74/24.08	o 4705
23.84/24.16	o 4700
23.94/24.23	o 4695
24.04/24.40	o 4691
24.14/24.48	o 4687
24.23/24.56	o 4683
24.34/24.63	o 4679
24.43/24.71	o 4675
24.43/24.79	o 4671
24.53/24.87	o 4667
24.63/24.96	o 4663
24.73/25.10	o 4661
24.83/25.17	o 4658
24.93/25.25	o 4655
25.03/25.33	o 4652
25.13/25.40	o 4650
25.13/25.48	o 4647
25.23/25.55	o 4644
25.32/25.62	o 4639
25.32/25.69	o 4636
25.42/25.77	o 4633
25.52/25.84	o 4630
25.62/25.97	o 4627
25.72/26.04	o 4624
25.82/26.11	o 4621
25.92/26.25	o 4618
26.02/26.32	o 4615
26.02/26.38	o 4612
26.12/26.45	o 4609
26.22/26.51	o 4607
26.22/26.59	o 4605
26.32/26.65	o 4603
26.42/26.72	o 4601
26.42/26.78	o 4599
26.52/26.84	o 4597
26.62/26.90	o 4595
26.62/26.96	o 4593
26.72/27.02	o 4591
26.72/27.08	o 4589
26.82/27.14	o 4588
26.92/27.20	o 4587
26.92/27.26	o 4586
27.02/27.31	o 4585
27.02/27.36	o 4584
27.12/27.42	o 4583
27.12/27.47	o 4579
27.22/27.52	o 4578
27.22/27.57	o 4577
27.31/27.67	o 4576
27.41/27.71	o 4575
27.41/27.76	o 4574
27.81/28.12	o 4573
27.81/28.17	o 4571
27.91/28.22	o 4570
27.91/28.26	o 4568
28.01/28.31	o 4563
28.01/28.36	o 4560
28.01/28.40	o 4557
28.12/28.44	o 4556
28.12/28.48	o 4551
28.22/28.53	o 4547
28.22/28.57	o 4546
28.32/28.62	o 4545
28.32/28.66	o 4542
28.41/28.71	o 4539
28.41/28.76	o 4537
28.51/28.80	o 4533
28.51/28.84	o 4531
28.51/28.89	o 4527
28.61/28.93	o 4525
28.61/28.97	o 4521
28.71/29.02	o 4518
28.71/29.05	o 4517
28.80/29.10	o 4514
28.80/29.18	o 4511
28.90/29.26	o 4510
29.00/29.31	o 4508
29.00/29.35	o 4507
29.10/29.43	o 4505
29.10/29.48	o 4501
29.20/29.56	o 4499
29.30/29.61	o 4498
29.30/29.65	o 4493
29.30/29.69	o 4489
29.40/29.73	o 4488
29.40/29.77	o 4485
29.50/29.81	o 4483
29.50/29.85	o 4482
29.50/29.89	o 4479
29.60/29.93	o 4476
29.70/30.02	o 4475
29.70/30.06	o 4474
29.80/30.10	o 4470
29.80/30.14	o 4468
29.80/30.18	o 4465
29.90/30.21	o 4463
29.90/30.29	o 4460
30.00/30.39	o 4457
30.10/30.43	o 4456
30.10/30.46	o 4453
30.20/30.50	o 4447
30.30/30.60	o 4444
30.30/30.64	o 4439
30.30/30.67	o 4438
30.40/30.72	o 4433
30.40/30.75	o 4430
30.40/30.79	o 4426
30.50/30.86	o 4423
30.50/30.89	o 4419
30.60/30.93	o 4418
30.60/30.96	o 4415
30.80/31.10	o 4414
30.80/31.14	o 4408
30.80/31.18	o 4404
30.90/31.22	o 4402
30.90/31.29	o 4399
31.00/31.34	o 4393
31.00/31.37	o 4389
31.10/31.42	o 4385
31.20/31.50	o 4383
31.20/31.58	o 4382
31.30/31.62	o 4380
31.30/31.67	o 4375
31.40/31.70	o 4371
31.40/31.74	o 4367
31.50/31.84	o 4364
31.50/31.88	o 4361
31.60/31.94	o 4359
31.60/31.98	o 4357
31.69/32.02	o 4353
31.69/32.06	o 4349
31.89/32.23	o 4348
31.89/32.27	o 4346
31.99/32.32	o 4339
31.99/32.36	o 4338
32.09/32.41	o 4334
32.09/32.46	o 4331
32.19/32.54	o 4324
32.19/32.59	o 4320
32.39/32.71	o 4318
32.39/32.75	o 4315
32.49/32.83	o 4311
32.49/32.88	o 4306
32.59/32.94	o 4302
32.68/33.01	o 4297
32.68/33.05	o 4295
32.78/33.10	o 4292
32.78/33.16	o 4287
32.88/33.21	o 4285
32.88/33.29	o 4282
32.98/33.35	o 4281
32.98/33.40	o 4275
33.08/33.45	o 4272
33.17/33.50	o 4267
33.17/33.55	o 4265
33.27/33.68	o 4260
33.37/33.74	o 4258
33.47/33.82	o 4256
33.47/33.88	o 4255
33.57/33.94	o 4251
33.98/34.32	o 4250
33.98/34.37	o 4246
34.08/34.43	o 4244
34.08/34.50	o 4240
34.18/34.58	o 4235
34.38/34.72	o 4231
34.48/34.81	o 4227
34.48/34.89	o 4223
34.58/34.97	o 4219
34.68/35.04	o 4216
34.77/35.12	o 4214
34.87/35.20	o 4210
34.87/35.29	o 4207
34.97/35.37	o 4204
35.07/35.45	o 4201
35.17/35.54	o 4199
35.27/35.61	o 4194
35.27/35.69	o 4191
35.37/35.78	o 4188
35.47/35.86	o 4185
35.57/35.94	o 4182
35.67/36.02	o 4180
35.77/36.10	o 4178
35.77/36.18	o 4176
35.87/36.27	o 4174
35.97/36.35	o 4172
36.06/36.43	o 4170
36.16/36.51	o 4168
36.16/36.59	o 4167
36.46/36.82	o 4165
36.46/36.89	o 4163
36.56/36.97	o 4159
36.66/37.04	o 4156
36.76/37.12	o 4155
36.76/37.19	o 4154
36.86/37.26	o 4153
36.96/37.34	o 4152
37.06/37.41	o 4151
37.25/37.60	o 4148
37.85/38.24	o 4147
37.85/38.30	o 4146
38.05/38.42	o 4142
38.05/38.47	o 4139
38.15/38.53	o 4137
38.15/38.59	o 4136
38.24/38.65	o 4134
38.34/38.72	o 4132
38.34/38.78	o 4129
38.54/38.96	o 4127
38.64/39.08	o 4123
38.74/39.15	o 4120
38.84/39.21	o 4116
38.84/39.27	o 4114
38.95/39.39	o 4112
39.05/39.45	o 4107
39.15/39.57	o 4102
39.25/39.63	o 4099
39.34/39.75	o 4098
39.44/39.87	o 4092
39.74/40.16	o 4091
39.84/40.22	o 4088
39.84/40.28	o 4086
39.94/40.33	o 4083
39.94/40.39	o 4080
40.04/40.45	o 4077
40.14/40.55	o 4074
40.24/40.62	o 4070
40.24/40.68	o 4069
40.34/40.74	o 4068
40.43/40.81	o 4065
40.43/40.87	o 4064
40.53/40.99	o 4059
40.63/41.05	o 4057
40.73/41.11	o 4055
40.73/41.18	o 4053
40.83/41.30	o 4049
40.93/41.35	o 4048
41.03/41.41	o 4046
41.03/41.48	o 4043
41.13/41.54	o 4041
41.23/41.61	o 4038
41.23/41.67	o 4037
41.33/41.75	o 4035
41.43/41.81	o 4034
41.43/41.88	o 4030
41.53/41.95	o 4028
41.62/42.02	o 4024
41.62/42.08	o 4021
41.82/42.23	o 4019
41.92/42.30	o 4018
42.02/42.43	o 4016
42.12/42.50	o 4012
42.12/42.57	o 4008
42.22/42.69	o 4004
42.42/42.82	o 4003
42.42/42.88	o 4002
42.72/43.15	o 4001
43.32/43.70	o 3999
43.32/43.77	o 3998
43.42/43.89	o 3996
43.52/43.96	o 3994
43.62/44.02	o 3992
43.62/44.08	o 3991
43.72/44.15	o 3989
43.92/44.34	o 3986
44.02/44.41	o 3985
44.12/44.60	o 3984
44.22/44.67	o 3981
44.32/44.73	o 3978
44.42/44.80	o 3977
44.62/45.06	o 3976
44.72/45.14	o 3975
44.81/45.28	o 3973
44.91/45.35	o 3970
45.01/45.42	o 3966
45.01/45.49	o 3965
45.11/45.57	o 3961
45.21/45.65	o 3959
45.31/45.71	o 3956
45.31/45.78	o 3953
45.41/45.86	o 3952
45.51/45.93	o 3947
45.81/46.25	o 3946
45.90/46.34	o 3943
46.00/46.41	o 3942
46.00/46.48	o 3941
46.10/46.55	o 3940
46.20/46.62	o 3935
46.30/46.77	o 3932
46.40/46.85	o 3927
46.50/46.99	o 3926
46.60/47.06	o 3924
46.70/47.13	o 3920
46.80/47.20	o 3917
46.80/47.27	o 3916
46.90/47.34	o 3913
46.99/47.41	o 3910
47.09/47.54	o 3908
47.19/47.69	o 3906
47.49/47.90	o 3903
47.49/47.97	o 3902
47.59/48.04	o 3901
47.69/48.13	o 3899
47.79/48.22	o 3898
47.89/48.31	o 3895
47.99/48.46	o 3894
48.09/48.53	o 3893
48.19/48.68	o 3891
48.39/48.83	o 3887
48.49/48.92	o 3886
48.59/49.05	o 3883
48.69/49.12	o 3880
48.99/49.49	o 3879
49.09/49.56	o 3877
49.18/49.62	o 3874
49.28/49.70	o 3871
49.38/49.83	o 3870
49.48/49.91	o 3868
49.98/50.49	o 3864
50.08/50.58	o 3860
50.19/50.67	o 3856
50.28/50.76	o 3853
50.38/50.85	o 3850
50.48/50.94	o 3848
50.58/51.02	o 3846
50.68/51.12	o 3844
50.78/51.21	o 3842
50.88/51.31	o 3840
50.88/51.39	o 3837
50.98/51.47	o 3833
51.08/51.55	o 3831
51.18/51.64	o 3830
51.28/51.72	o 3828
51.48/51.96	o 3827
51.58/52.05	o 3826
51.68/52.13	o 3825
51.77/52.22	o 3824
51.87/52.30	o 3823
52.67/53.12	o 3822
52.77/53.20	o 3821
52.87/53.36	o 3818
53.06/53.53	o 3817
53.16/53.61	o 3813
53.76/54.20	o 3812
53.76/54.29	o 3811
53.86/54.37	o 3808
53.96/54.45	o 3806
54.06/54.52	o 3804
54.16/54.61	o 3803
54.26/54.70	o 3801
54.36/54.87	o 3798
54.56/55.04	o 3797
54.56/55.10	o 3795
54.65/55.19	o 3791
54.75/55.28	o 3789
54.85/55.36	o 3786
54.95/55.44	o 3785
55.05/55.53	o 3784
55.15/55.69	o 3779
55.25/55.78	o 3774
55.35/55.87	o 3772
55.45/55.95	o 3770
55.74/56.20	o 3769
55.74/56.28	o 3767
55.94/56.44	o 3764
56.04/56.53	o 3763
56.14/56.61	o 3761
56.14/56.68	o 3760
56.24/56.76	o 3758
56.34/56.84	o 3756
56.44/56.92	o 3754
56.54/57.08	o 3751
56.64/57.18	o 3748
56.74/57.26	o 3746
56.94/57.41	o 3743
57.14/57.63	o 3742
57.24/57.77	o 3738
57.34/57.85	o 3736
57.44/57.92	o 3735
57.54/58.00	o 3734
57.54/58.08	o 3732
57.64/58.15	o 3728
57.74/58.23	o 3726
57.83/58.31	o 3723
57.83/58.38	o 3722
57.93/58.45	o 3721
58.03/58.53	o 3719
58.13/58.60	o 3717
58.23/58.75	o 3716
58.33/58.83	o 3713
58.43/59.00	o 3712
58.53/59.08	o 3710
58.63/59.16	o 3709
58.73/59.24	o 3708
58.83/59.33	o 3707
58.93/59.41	o 3706
58.93/59.49	o 3705
59.03/59.57	o 3703
59.13/59.65	o 3697
59.23/59.74	o 3696
59.33/59.83	o 3694
59.43/59.99	o 3692
59.73/60.24	o 3689
59.83/60.33	o 3685
59.93/60.42	o 3681
60.03/60.51	o 3680
60.03/60.59	o 3678
60.52/61.03	o 3677
60.62/61.12	o 3674
60.72/61.22	o 3672
60.82/61.32	o 3670
60.92/61.41	o 3668
60.92/61.49	o 3667
61.02/61.59	o 3664
61.31/61.86	o 3662
61.41/61.95	o 3659
61.61/62.14	o 3658
61.71/62.23	o 3654
61.81/62.32	o 3653
61.91/62.41	o 3652
62.21/62.72	o 3651
62.51/63.02	o 3648
62.61/63.12	o 3647
62.70/63.21	o 3646
63.00/63.50	o 3644
63.00/63.59	o 3641
63.10/63.69	o 3640
63.60/64.10	o 3638
63.70/64.21	o 3637
63.80/64.30	o 3636
63.90/64.49	o 3634
64.00/64.55	o 3631
64.20/64.75	o 3629
64.49/65.08	o 3628
64.59/65.19	o 3627
64.79/65.30	o 3624
64.89/65.42	o 3623
64.99/65.53	o 3622
65.09/65.63	o 3620
65.19/65.72	o 3618
65.29/65.84	o 3616
65.59/66.19	o 3615
65.89/66.42	o 3613
65.99/66.53	o 3610
66.09/66.65	o 3607
66.19/66.76	o 3604
66.28/66.88	o 3599
66.38/66.99	o 3596
66.68/67.23	o 3593
67.09/67.67	o 3592
67.19/67.77	o 3587
67.29/67.88	o 3585
67.39/67.99	o 3583
67.59/68.11	o 3580
67.69/68.22	o 3577
67.88/68.45	o 3576
67.98/68.58	o 3574
68.18/68.70	o 3573
68.28/68.82	o 3572
68.58/69.16	o 3570
68.88/69.40	o 3568
69.08/69.63	o 3565
69.18/69.75	o 3563
69.28/69.88	o 3561
69.38/70.00	o 3559
69.58/70.13	o 3555
69.68/70.24	o 3553
69.87/70.49	o 3551
70.07/70.62	o 3550
70.17/70.73	o 3547
70.27/70.84	o 3546
70.37/70.97	o 3542
70.57/71.19	o 3538
70.77/71.30	o 3536
70.97/71.53	o 3534
71.16/71.77	o 3533
71.26/71.89	o 3531
71.56/72.12	o 3527
72.35/72.96	o 3523
72.65/73.21	o 3521
73.65/74.29	o 3520
73.85/74.42	o 3517
73.95/74.54	o 3515
74.84/75.50	o 3513
75.04/75.61	o 3508
75.24/75.85	o 3507
75.34/75.98	o 3506
75.54/76.10	o 3503
75.64/76.20	o 3498
75.94/76.57	o 3494
76.04/76.69	o 3490
76.24/76.81	o 3489
76.44/77.06	o 3487
76.53/77.17	o 3485
76.83/77.40	o 3483
76.93/77.52	o 3481
77.13/77.75	o 3480
77.23/77.86	o 3478
77.33/77.98	o 3477
77.43/78.10	o 3476
77.62/78.21	o 3473
77.72/78.32	o 3469
77.82/78.44	o 3467
77.92/78.56	o 3466
78.22/78.81	o 3463
78.32/78.92	o 3461
78.62/79.27	o 3458
78.72/79.36	o 3456
78.82/79.47	o 3453
78.92/79.59	o 3452
79.31/79.96	o 3451
79.41/80.08	o 3448
79.61/80.22	o 3447
79.91/80.57	o 3444
80.10/80.70	o 3443
80.20/80.83	o 3440
80.30/80.96	o 3437
80.50/81.11	o 3434
80.60/81.24	o 3431
80.70/81.39	o 3428
80.90/81.53	o 3426
81.00/81.66	o 3419
81.11/81.79	o 3417
81.31/81.93	o 3415
81.41/82.06	o 3413
81.61/82.20	o 3411
81.71/82.34	o 3409
81.81/82.48	o 3407
82.00/82.62	o 3405
82.10/82.75	o 3399
82.20/82.89	o 3398
82.40/83.03	o 3394
82.50/83.16	o 3393
82.60/83.29	o 3391
83.00/83.68	o 3389
83.20/83.82	o 3388
83.30/83.95	o 3385
83.40/84.07	o 3384
83.60/84.20	o 3383
83.60/84.30	o 3382
83.80/84.42	o 3379
83.90/84.54	o 3377
84.00/84.67	o 3376
84.10/84.79	o 3375
84.39/85.02	o 3374
84.49/85.14	o 3372
84.59/85.26	o 3371
84.69/85.38	o 3370
84.89/85.51	o 3369
85.09/85.74	o 3366
85.68/86.31	o 3365
86.38/87.02	o 3364
86.48/87.14	o 3363
86.58/87.26	o 3361
86.68/87.39	o 3360
86.98/87.64	o 3358
87.08/87.77	o 3355
87.18/87.89	o 3354
87.38/88.02	o 3353
87.47/88.14	o 3351
88.07/88.78	o 3350
88.27/88.90	o 3345
89.17/89.85	o 3343
89.27/89.98	o 3340
89.47/90.11	o 3339
89.57/90.25	o 3338
90.85/91.51	o 3337
90.95/91.65	o 3334
91.05/91.79	o 3333
91.25/91.93	o 3331
91.55/92.22	o 3330
91.65/92.36	o 3328
91.85/92.50	o 3326
91.95/92.64	o 3324
93.44/94.18	o 3322
93.64/94.31	o 3321
93.74/94.45	o 3319
93.84/94.59	o 3315
94.34/95.01	o 3314
94.44/95.14	o 3313
94.54/95.28	o 3311
94.74/95.42	o 3310
95.54/96.27	o 3309
95.74/96.41	o 3308
95.94/96.69	o 3305
96.14/96.84	o 3302
96.23/96.97	o 3301
96.43/97.11	o 3300
96.53/97.25	o 3295
96.63/97.39	o 3293
96.83/97.53	o 3292
96.93/97.67	o 3289
97.33/98.08	o 3288
97.53/98.22	o 3286
98.03/98.79	o 3284
98.23/98.93	o 3282
98.72/99.49	o 3281
98.92/99.63	o 3279
99.02/99.77	o 3278
99.22/99.91	o 3276
99.32/100.06	o 3273
99.61/100.32	o 3271
99.81/100.59	o 3270
100.01/100.73	o 3268
100.41/101.12	o 3266
100.51/101.26	o 3265
100.61/101.39	o 3264
100.81/101.53	o 3263
100.91/101.68	o 3260
101.11/101.81	o 3259
101.21/101.95	o 3258
101.61/102.38	o 3257
102.20/102.94	o 3255
102.30/103.09	o 3254
102.50/103.24	o 3253
102.60/103.38	o 3252
102.80/103.53	o 3248
103.10/103.82	o 3246
103.20/103.97	o 3243
103.70/104.42	o 3242
103.80/104.57	o 3241
104.09/104.87	o 3236
104.39/105.17	o 3233
104.59/105.32	o 3231
104.69/105.47	o 3229
104.99/105.76	o 3226
105.38/106.19	o 3224
105.58/106.34	o 3223
105.68/106.48	o 3221
106.28/107.06	o 3220
106.58/107.35	o 3217
106.88/107.65	o 3216
107.08/107.82	o 3214
107.17/107.97	o 3210
107.37/108.12	o 3209
107.47/108.27	o 3208
107.67/108.44	o 3206
107.77/108.59	o 3205
107.97/108.73	o 3203
108.26/109.06	o 3201
108.76/109.52	o 3200
109.06/109.85	o 3198
109.27/110.02	o 3197
109.36/110.18	o 3196
109.56/110.34	o 3195
109.66/110.49	o 3194
109.86/110.65	o 3193
110.06/110.80	o 3190
110.16/110.95	o 3187
110.36/111.13	o 3184
110.46/111.29	o 3181
110.66/111.45	o 3178
110.86/111.61	o 3174
111.16/111.93	o 3172
111.26/112.09	o 3170
111.46/112.26	o 3168
111.65/112.43	o 3167
111.75/112.59	o 3165
111.95/112.74	o 3163
112.15/112.90	o 3161
112.75/113.55	o 3160
113.05/113.88	o 3158
113.45/114.21	o 3156
113.55/114.38	o 3155
113.74/114.55	o 3153
113.94/114.72	o 3152
114.14/114.90	o 3149
114.74/115.58	o 3146
114.93/115.75	o 3144
115.13/115.92	o 3141
115.33/116.10	o 3140
115.43/116.28	o 3137
115.63/116.46	o 3135
115.83/116.63	o 3134
116.03/116.81	o 3129
116.13/116.98	o 3128
117.52/118.36	o 3127
117.72/118.53	o 3126
117.82/118.70	o 3122
118.02/118.87	o 3120
118.61/119.47	o 3119
119.01/119.82	o 3115
119.11/119.99	o 3114
119.31/120.17	o 3112
121.99/122.89	o 3110
122.19/123.07	o 3108
122.49/123.40	o 3107
123.39/124.21	o 3106
123.49/124.38	o 3103
123.69/124.55	o 3101
123.89/124.71	o 3099
124.19/125.06	o 3098
124.39/125.22	o 3094
124.49/125.38	o 3092
124.68/125.55	o 3090
124.88/125.72	o 3085
124.98/125.88	o 3083
125.18/126.05	o 3081
126.97/127.81	o 3080
127.97/128.87	o 3076
128.57/129.41	o 3075
128.67/129.58	o 3073
128.87/129.76	o 3072
129.06/129.94	o 3071
129.26/130.12	o 3069
130.15/131.02	o 3068
130.45/131.38	o 3066
130.65/131.56	o 3064
130.85/131.73	o 3062
131.05/131.91	o 3060
131.15/132.09	o 3059
131.25/132.15	o 3057
131.45/132.32	o 3053
131.55/132.49	o 3052
131.75/132.66	o 3051
131.94/132.84	o 3048
132.14/133.01	o 3044
132.24/133.19	o 3042
132.44/133.37	o 3040
132.64/133.56	o 3039
132.84/133.74	o 3038
133.24/134.11	o 3037
133.34/134.30	o 3035
133.53/134.48	o 3032
133.73/134.66	o 3030
133.93/134.86	o 3028
134.63/135.59	o 3027
135.03/135.96	o 3025
135.43/136.34	o 3023
136.32/137.28	o 3022
136.52/137.47	o 3018
136.72/137.66	o 3013
136.92/137.85	o 3012
137.12/138.04	o 3009
137.32/138.23	o 3007
137.52/138.43	o 3006
137.91/138.80	o 3005
138.21/139.17	o 3001
138.81/139.75	o 2999
139.00/139.95	o 2998
139.40/140.31	o 2997
139.50/140.49	o 2994
139.70/140.68	o 2993
140.60/141.52	o 2991
140.80/141.72	o 2988
141.00/141.93	o 2986
141.19/142.14	o 2985
141.89/142.80	o 2982
142.29/143.24	o 2979
142.49/143.45	o 2977
142.89/143.88	o 2976
143.09/144.09	o 2973
143.38/144.31	o 2970
144.48/145.42	o 2968
144.68/145.64	o 2967
144.88/145.86	o 2964
145.08/146.08	o 2961
145.28/146.30	o 2960
145.77/146.76	o 2959
147.56/148.55	o 2955
147.76/148.77	o 2953
148.66/149.67	o 2952
148.95/149.90	o 2951
149.15/150.14	o 2950
149.35/150.37	o 2949
149.65/150.61	o 2947
149.85/150.84	o 2946
150.05/151.08	o 2944
150.35/151.31	o 2941
150.55/151.52	o 2939
150.75/151.75	o 2936
150.94/151.98	o 2935
151.24/152.21	o 2934
152.73/153.76	o 2933
152.83/153.84	o 2932
153.43/154.43	o 2929
154.93/155.98	o 2927
155.43/156.42	o 2924
155.63/156.64	o 2923
155.83/156.86	o 2921
156.03/157.08	o 2918
156.62/157.65	o 2917
158.21/159.22	o 2913
158.41/159.44	o 2911
159.51/160.57	o 2910
160.20/161.25	o 2909
160.40/161.47	o 2908
160.60/161.69	o 2906
160.90/161.91	o 2903
161.10/162.14	o 2902
161.30/162.36	o 2901
161.50/162.58	o 2900
161.99/163.02	o 2899
162.39/163.46	o 2898
162.59/163.68	o 2896
162.79/163.90	o 2895
163.49/164.56	o 2894
163.69/164.79	o 2891
163.99/165.01	o 2888
164.18/165.24	o 2887
164.38/165.46	o 2885
164.58/165.67	o 2884
164.88/165.90	o 2880
165.27/166.35	o 2878
165.47/166.57	o 2876
165.97/167.01	o 2873
166.17/167.23	o 2870
166.36/167.45	o 2868
167.46/168.55	o 2867
167.66/168.77	o 2863
168.75/169.87	o 2862
169.15/170.21	o 2860
169.95/171.06	o 2859
170.14/171.26	o 2858
170.34/171.47	o 2856
170.54/171.68	o 2852
171.83/172.94	o 2851
172.84/173.99	o 2849
173.34/174.42	o 2847
173.73/174.83	o 2846
173.93/175.05	o 2845
174.13/175.26	o 2843
174.33/175.47	o 2842
174.53/175.68	o 2840
174.83/175.91	o 2838
175.02/176.12	o 2835
175.22/176.33	o 2833
175.52/176.67	o 2831
176.22/177.30	o 2830
178.31/179.42	o 2828
179.40/180.51	o 2826
179.80/180.94	o 2824
180.00/181.16	o 2822
180.20/181.38	o 2821
180.70/181.81	o 2820
181.59/182.75	o 2819
181.79/182.98	o 2815
182.09/183.22	o 2813
182.28/183.44	o 2811
182.78/183.90	o 2807
183.18/184.36	o 2803
183.38/184.59	o 2802
184.07/185.29	o 2801
184.37/185.51	o 2799
184.77/185.98	o 2798
185.07/186.22	o 2797
185.17/186.36	o 2796
185.67/186.81	o 2795
186.06/187.24	o 2791
186.46/187.69	o 2789
193.03/194.21	o 2786
193.23/194.45	o 2783
193.43/194.69	o 2780
193.73/194.95	o 2779
194.23/195.43	o 2778
194.72/195.95	o 2777
195.22/196.44	o 2775
195.42/196.69	o 2774
195.72/196.96	o 2773
196.02/197.21	o 2772
196.52/197.71	o 2770
197.01/198.25	o 2769
197.31/198.50	o 2767
197.51/198.76	o 2766
197.81/199.02	o 2765
198.01/199.27	o 2762
199.10/200.32	o 2760
199.30/200.57	o 2758
199.60/200.83	o 2757
200.89/202.14	o 2755
201.09/202.39	o 2753
201.39/202.65	o 2752
201.69/202.91	o 2750
201.89/203.13	o 2749
202.09/203.38	o 2747
202.38/203.63	o 2745
202.58/203.90	o 2743
202.88/204.15	o 2741
203.08/204.40	o 2739
204.37/205.64	o 2737
204.57/205.83	o 2736
205.07/206.34	o 2734
205.57/206.85	o 2733
205.76/207.04	o 2730
206.56/207.82	o 2729
207.56/208.85	o 2726
207.76/209.08	o 2723
208.05/209.34	o 2722
208.25/209.59	o 2720
208.85/210.12	o 2719
209.05/210.38	o 2717
209.54/210.89	o 2716
209.84/211.15	o 2715
210.14/211.41	o 2713
211.43/212.72	o 2712
211.63/212.97	o 2711
211.93/213.23	o 2710
212.23/213.50	o 2708
213.42/214.78	o 2707
213.72/215.03	o 2706
213.92/215.28	o 2705
214.22/215.54	o 2703
214.42/215.80	o 2702
214.72/216.06	o 2701
215.02/216.31	o 2700
215.23/216.57	o 2697
216.02/217.34	o 2696
216.22/217.59	o 2695
216.52/217.85	o 2694
216.81/218.10	o 2691
217.21/218.58	o 2689
217.51/218.84	o 2684
219.40/220.78	o 2683
219.70/221.03	o 2681
219.89/221.27	o 2679
221.89/223.21	o 2678
222.08/223.45	o 2677
222.38/223.71	o 2675
222.58/223.95	o 2674
222.78/224.20	o 2672
223.08/224.44	o 2669
223.78/225.17	o 2667
224.08/225.41	o 2666
224.27/225.66	o 2665
225.07/226.41	o 2664
225.27/226.66	o 2663
225.56/226.91	o 2658
225.76/227.16	o 2657
226.06/227.41	o 2656
226.26/227.66	o 2655
226.56/227.91	o 2653
227.05/228.42	o 2652
228.05/229.45	o 2651
228.35/229.71	o 2650
229.34/230.76	o 2648
229.64/231.02	o 2647
229.85/231.29	o 2645
230.15/231.56	o 2644
230.65/232.09	o 2643
230.94/232.37	o 2640
231.24/232.63	o 2639
231.44/232.90	o 2638
232.04/233.43	o 2636
233.33/234.71	o 2635
234.32/235.78	o 2634
235.22/236.60	o 2633
235.72/237.16	o 2632
236.02/237.43	o 2631
236.31/237.70	o 2628
236.51/237.93	o 2625
236.81/238.20	o 2621
238.00/239.50	o 2619
238.30/239.77	o 2614
238.90/240.31	o 2612
239.09/240.58	o 2611
239.39/240.86	o 2610
240.39/241.88	o 2609
240.68/242.15	o 2607
240.98/242.41	o 2606
241.19/242.66	o 2605
241.59/243.05	o 2604
241.98/243.43	o 2603
242.18/243.69	o 2599
242.48/243.94	o 2598
242.68/244.20	o 2596
243.28/244.72	o 2594
243.78/245.24	o 2593
244.07/245.50	o 2592
244.27/245.75	o 2590
244.57/246.01	o 2588
244.77/246.27	o 2585
245.27/246.80	o 2583
245.87/247.30	o 2582
246.07/247.58	o 2579
246.36/247.84	o 2578
246.86/248.36	o 2577
247.46/248.90	o 2575
247.66/249.18	o 2574
250.44/251.96	o 2573
251.04/252.51	o 2571
251.24/252.79	o 2570
251.83/253.35	o 2569
252.13/253.64	o 2568
252.43/253.91	o 2567
253.53/255.04	o 2565
253.82/255.33	o 2562
254.12/255.61	o 2560
254.32/255.89	o 2558
254.62/256.18	o 2557
254.92/256.47	o 2556
255.22/256.75	o 2555
255.52/257.05	o 2552
256.71/258.28	o 2551
257.11/258.60	o 2548
257.41/258.90	o 2547
258.01/259.52	o 2546
258.30/259.82	o 2545
258.60/260.13	o 2543
259.40/260.93	o 2542
261.19/262.76	o 2541
261.78/263.37	o 2540
262.38/263.99	o 2538
262.68/264.30	o 2537
264.57/266.15	o 2532
265.17/266.75	o 2531
265.46/267.04	o 2530
266.36/267.94	o 2528
266.66/268.23	o 2526
268.15/269.72	o 2525
268.45/270.02	o 2524
269.34/270.94	o 2523
271.34/272.97	o 2521
271.64/273.28	o 2517
271.93/273.50	o 2515
272.13/273.74	o 2514
272.43/274.07	o 2512
273.03/274.68	o 2511
273.72/275.31	o 2510
274.02/275.62	o 2506
274.32/275.93	o 2503
275.32/276.90	o 2502
278.20/279.83	o 2501
279.19/280.81	o 2499
279.49/281.13	o 2498
279.79/281.46	o 2497
280.09/281.79	o 2495
280.49/282.10	o 2494
280.79/282.43	o 2492
282.58/284.28	o 2490
282.78/284.44	o 2488
283.08/284.76	o 2486
284.76/286.43	o 2484
285.06/286.73	o 2482
285.36/287.04	o 2480
285.95/287.66	o 2479
287.55/289.22	o 2478
288.14/289.85	o 2476
289.14/290.80	o 2474
289.74/291.43	o 2473
291.23/293.00	o 2471
291.93/293.63	o 2467
292.82/294.59	o 2466
293.21/294.92	o 2465
293.51/295.25	o 2464
293.71/295.40	o 2462
294.61/296.38	o 2461
294.91/296.70	o 2459
296.30/298.04	o 2458
296.60/298.37	o 2457
304.26/306.02	o 2456
305.27/307.05	o 2455
305.67/307.41	o 2453
306.36/308.11	o 2451
306.56/308.33	o 2450
306.86/308.68	o 2448
307.55/309.39	o 2447
308.25/310.07	o 2446
308.65/310.42	o 2444
312.43/314.23	o 2441
313.43/315.26	o 2439
314.52/316.31	o 2437
315.61/317.44	o 2436
316.80/318.70	o 2435
317.20/319.04	o 2434
317.50/319.38	o 2432
320.09/321.95	o 2431
320.78/322.61	o 2430
321.08/322.96	o 2428
321.48/323.30	o 2427
321.78/323.64	o 2424
322.48/324.32	o 2422
324.87/326.72	o 2421
325.16/327.07	o 2420
325.56/327.42	o 2418
325.86/327.77	o 2416
326.26/328.12	o 2415
326.96/328.81	o 2414
329.34/331.26	o 2413
329.74/331.61	o 2412
330.04/331.98	o 2410
330.43/332.34	o 2408
331.13/333.05	o 2407
332.72/334.63	o 2405
333.02/334.99	o 2403
333.42/335.34	o 2402
333.62/335.58	o 2401
334.02/335.94	o 2400
334.22/336.18	o 2398
335.31/337.25	o 2397
335.71/337.62	o 2395
336.01/337.99	o 2394
337.40/339.33	o 2393
340.59/342.54	o 2390
340.99/342.91	o 2389
341.98/343.97	o 2387
342.38/344.33	o 2385
342.67/344.68	o 2383
343.07/345.04	o 2381
343.37/345.40	o 2380
343.67/345.66	o 2378
344.07/346.00	o 2376
344.37/346.36	o 2374
344.76/346.73	o 2373
347.25/349.27	o 2371
347.66/349.63	o 2369
347.96/350.00	o 2365
348.36/350.36	o 2364
349.45/351.45	o 2362
350.54/352.55	o 2361
355.71/357.75	o 2360
356.11/358.12	o 2359
356.71/358.75	o 2358
357.41/359.48	o 2357
358.50/360.58	o 2356
358.80/360.80	o 2352
359.10/361.17	o 2350
359.50/361.53	o 2348
361.38/363.48	o 2347
361.98/364.07	o 2345
362.38/364.42	o 2344
362.68/364.77	o 2343
364.87/366.94	o 2340
365.27/367.31	o 2338
365.57/367.67	o 2337
369.15/371.23	o 2335
369.75/371.87	o 2331
370.15/372.22	o 2326
370.85/372.93	o 2320
372.83/374.97	o 2318
373.53/375.66	o 2317
373.93/376.02	o 2315
374.22/376.37	o 2313
375.22/377.39	o 2312
375.61/377.75	o 2310
380.59/382.71	o 2308
385.56/387.73	o 2307
385.86/388.06	o 2305
386.16/388.38	o 2302
386.55/388.72	o 2298
386.85/389.06	o 2297
387.25/389.40	o 2296
387.85/390.02	o 2295
388.15/390.36	o 2292
388.45/390.70	o 2291
388.85/391.01	o 2290
389.15/391.35	o 2289
389.45/391.62	o 2288
390.35/392.54	o 2286
396.91/399.18	o 2285
397.31/399.52	o 2284
397.61/399.80	o 2282
397.91/400.12	o 2281
398.50/400.79	o 2279
398.90/401.13	o 2278
399.20/401.47	o 2277
399.50/401.79	o 2275
399.90/402.13	o 2273
401.19/403.48	o 2271
401.89/404.17	o 2270
402.28/404.50	o 2269
402.88/405.17	o 2268
403.28/405.51	o 2267
403.87/406.18	o 2265
404.57/406.87	o 2264
404.97/407.21	o 2261
405.27/407.54	o 2260
406.96/409.26	o 2257
409.05/411.32	o 2256
409.75/412.02	o 2255
410.44/412.72	o 2253
410.74/413.07	o 2252
411.14/413.41	o 2251
412.53/414.81	o 2250
412.83/415.15	o 2249
413.23/415.51	o 2248
413.53/415.85	o 2247
413.82/416.20	o 2246
414.22/416.55	o 2245
414.62/416.90	o 2244
415.22/417.59	o 2243
415.91/418.29	o 2241
418.20/420.57	o 2238
418.50/420.85	o 2237
418.90/421.21	o 2236
419.90/422.28	o 2235
421.09/423.41	o 2234
423.28/425.63	o 2233
424.07/426.40	o 2232
426.36/428.74	o 2230
430.14/432.53	o 2228
430.85/433.30	o 2227
431.24/433.68	o 2226
431.64/434.03	o 2224
434.62/437.04	o 2220
435.02/437.43	o 2218
435.71/438.19	o 2217
436.41/438.82	o 2215
437.21/439.61	o 2213
437.51/440.00	o 2210
437.90/440.37	o 2208
440.69/443.12	o 2207
441.09/443.51	o 2205
443.28/445.74	o 2203
443.78/446.23	o 2202
444.18/446.63	o 2201
445.37/447.81	o 2200
445.76/448.20	o 2199
446.06/448.59	o 2198
447.26/449.77	o 2195
447.55/450.06	o 2194
449.15/451.62	o 2192
449.55/452.03	o 2189
451.44/453.96	o 2187
452.23/454.75	o 2186
456.31/458.84	o 2185
456.71/459.25	o 2184
457.11/459.65	o 2183
457.50/460.07	o 2182
458.70/461.28	o 2181
459.10/461.68	o 2180
459.89/462.48	o 2179
461.18/463.77	o 2177
461.58/464.13	o 2175
461.88/464.44	o 2173
462.28/464.84	o 2172
462.68/465.22	o 2169
463.07/465.64	o 2168
463.48/466.04	o 2166
464.68/467.26	o 2163
465.87/468.45	o 2162
466.27/468.85	o 2161
467.07/469.64	o 2160
467.46/470.05	o 2158
468.26/470.84	o 2157
468.66/471.25	o 2156
468.95/471.53	o 2152
470.15/472.75	o 2150
473.83/476.48	o 2149
480.59/483.26	o 2148
480.99/483.68	o 2147
481.89/484.52	o 2145
482.29/484.95	o 2143
483.08/485.77	o 2141
483.48/486.20	o 2139
484.38/487.05	o 2137
484.77/487.46	o 2136
486.07/488.76	o 2135
486.47/489.17	o 2134
486.87/489.60	o 2131
487.76/490.45	o 2130
488.15/490.87	o 2128
490.74/493.47	o 2127
491.24/493.91	o 2126
493.43/496.18	o 2125
498.90/501.65	o 2123
499.79/502.58	o 2122
500.29/503.02	o 2119
500.69/503.44	o 2117
501.09/503.87	o 2116
501.48/504.29	o 2114
502.78/505.58	o 2113
504.87/507.66	o 2111
505.27/508.08	o 2109
506.56/509.37	o 2108
507.45/510.22	o 2107
508.25/511.08	o 2106
509.45/512.27	o 2103
510.34/513.14	o 2102
512.04/514.87	o 2100
512.24/515.04	o 2098
525.17/528.06	o 2097
525.56/528.46	o 2093
525.96/528.85	o 2091
526.76/529.67	o 2090
528.45/531.31	o 2089
528.84/531.70	o 2088
529.14/532.06	o 2087
529.93/532.87	o 2085
530.33/533.28	o 2084
530.73/533.61	o 2083
531.13/534.00	o 2082
537.38/540.38	o 2081
538.18/541.20	o 2080
538.37/541.36	o 2079
538.77/541.76	o 2077
539.96/542.95	o 2076
540.26/543.23	o 2074
540.65/543.65	o 2073
541.05/544.03	o 2072
541.45/544.45	o 2071
543.84/546.85	o 2069
544.24/547.26	o 2067
546.22/549.26	o 2065
546.62/549.65	o 2063
547.02/550.07	o 2061
549.60/552.65	o 2060
557.44/560.50	o 2057
557.74/560.80	o 2056
558.14/561.20	o 2054
560.12/563.22	o 2052
562.11/565.21	o 2051
562.50/565.62	o 2050
564.00/567.19	o 2048
566.97/570.11	o 2047
574.82/578.07	o 2046
575.22/578.49	o 2044
575.61/578.88	o 2042
576.01/579.29	o 2040
576.51/579.72	o 2037
576.90/580.12	o 2036
578.49/581.78	o 2035
578.89/582.19	o 2034
580.97/584.29	o 2033
582.96/586.28	o 2029
583.45/586.70	o 2028
583.85/587.12	o 2026
585.14/588.41	o 2024
585.53/588.83	o 2023
585.93/589.27	o 2021
586.33/589.68	o 2019
588.91/592.26	o 2018
589.42/592.70	o 2017
590.61/593.99	o 2016
591.10/594.42	o 2015
591.90/595.28	o 2014
593.68/597.00	o 2013
594.98/598.33	o 2011
597.66/601.05	o 2010
599.94/603.32	o 2009
600.34/603.78	o 2006
600.83/604.22	o 2005
601.23/604.67	o 2001
601.73/605.14	o 2000
604.91/608.34	o 1999
605.30/608.79	o 1998
608.88/612.36	o 1997
609.28/612.79	o 1996
610.96/614.49	o 1994
614.73/618.29	o 1993
615.23/618.74	o 1992
620.09/623.65	o 1990
621.28/624.87	o 1988
628.54/632.12	o 1987
631.02/634.63	o 1986
631.42/635.06	o 1985
634.49/638.14	o 1984
635.78/639.44	o 1983
637.57/641.23	o 1982
637.97/641.66	o 1981
640.15/643.86	o 1980
640.55/644.27	o 1979
641.05/644.72	o 1978
641.45/645.16	o 1977
641.94/645.62	o 1976
643.03/646.78	o 1975
644.82/648.60	o 1974
645.81/649.52	o 1973
646.71/650.40	o 1971
648.49/652.22	o 1969
648.89/652.66	o 1968
649.38/653.12	o 1967
650.27/654.04	o 1966
651.07/654.85	o 1964
654.24/658.02	o 1963
655.14/658.94	o 1962
655.93/659.79	o 1961
656.73/660.50	o 1960
657.13/660.95	o 1959
657.72/661.57	o 1958
657.92/661.74	o 1955
658.32/662.12	o 1953
659.11/662.99	o 1952
659.60/663.41	o 1950
662.09/665.91	o 1948
664.28/668.11	o 1946
664.68/668.56	o 1945
665.58/669.40	o 1943
666.37/670.28	o 1941
679.47/683.42	o 1939
679.87/683.89	o 1938
680.37/684.36	o 1936
682.65/686.66	o 1934
683.15/687.12	o 1932
683.64/687.61	o 1931
684.04/688.07	o 1928
684.53/688.54	o 1927
685.43/689.48	o 1926
685.92/689.96	o 1925
686.91/690.91	o 1923
687.81/691.86	o 1922
688.31/692.32	o 1921
688.81/692.81	o 1919
690.69/694.71	o 1918
691.19/695.21	o 1917
692.38/696.48	o 1915
692.87/696.93	o 1913
693.37/697.42	o 1911
694.56/698.61	o 1910
695.96/700.06	o 1909
700.23/704.32	o 1907
700.72/704.80	o 1906
703.30/707.47	o 1902
710.85/715.06	o 1901
711.35/715.55	o 1900
711.84/716.05	o 1899
712.35/716.54	o 1898
726.64/730.96	o 1897
728.13/732.41	o 1896
728.63/732.91	o 1893
729.03/733.38	o 1890
729.52/733.88	o 1889
730.61/734.94	o 1888
739.75/744.17	o 1887
750.17/754.68	o 1886
752.15/756.61	o 1885
752.65/757.11	o 1883
752.95/757.45	o 1880
753.45/757.96	o 1879
753.95/758.44	o 1878
756.82/761.32	o 1877
757.72/762.21	o 1876
760.20/764.71	o 1875
760.60/765.19	o 1874
761.09/765.68	o 1871
761.59/766.16	o 1870
770.03/774.68	o 1869
770.53/775.16	o 1867
771.02/775.66	o 1863
772.02/776.64	o 1862
772.51/777.13	o 1861
776.48/781.11	o 1860
776.88/781.59	o 1858
780.76/785.43	o 1857
781.25/785.92	o 1856
788.90/793.60	o 1855
789.39/794.12	o 1853
789.69/794.49	o 1852
793.27/798.00	o 1851
793.76/798.52	o 1850
794.75/799.50	o 1848
795.25/800.01	o 1847
795.76/800.51	o 1846
796.25/801.03	o 1845
796.75/801.52	o 1844
798.14/802.99	o 1843
801.92/806.78	o 1842
828.22/833.24	o 1841
828.72/833.74	o 1840
831.41/836.40	o 1838
831.90/836.94	o 1837
834.89/839.96	o 1834
836.17/841.27	o 1832
836.77/841.81	o 1829
842.03/847.14	o 1828
843.72/848.82	o 1826
847.20/852.32	o 1825
849.28/854.45	o 1824
850.08/855.29	o 1823
851.17/856.35	o 1822
853.05/858.29	o 1820
862.38/867.62	o 1819
879.57/884.99	o 1815
880.17/885.56	o 1814
880.46/885.81	o 1812
880.96/886.35	o 1811
881.55/886.91	o 1809
885.92/891.34	o 1808
886.51/891.90	o 1806
887.01/892.45	o 1805
887.60/893.01	o 1803
889.79/895.25	o 1802
890.38/895.80	o 1801
891.27/896.75	o 1800
895.74/901.22	o 1799
896.24/901.79	o 1798
905.97/911.53	o 1797
906.27/911.89	o 1795
911.44/917.02	o 1794
912.03/917.61	o 1793
912.53/918.18	o 1792
913.12/918.76	o 1790
916.39/922.09	o 1789
917.58/923.23	o 1787
939.14/944.92	o 1786
942.61/948.50	o 1784
943.80/949.69	o 1783
944.40/950.28	o 1782
945.59/951.46	o 1781
948.47/954.34	o 1780
950.85/956.74	o 1779
951.45/957.33	o 1778
952.44/958.33	o 1776
953.04/958.91	o 1775
955.32/961.28	o 1774
957.20/963.11	o 1773
972.50/978.52	o 1771
975.18/981.27	o 1770
975.77/981.86	o 1769
976.97/983.06	o 1768
977.56/983.67	o 1766
978.06/984.14	o 1764
978.65/984.73	o 1763
979.05/985.12	o 1762
979.65/985.71	o 1761
980.74/986.82	o 1760
983.52/989.60	o 1759
989.48/995.62	o 1758
990.08/996.22	o 1757
993.06/999.25	o 1756
994.25/1000.47	o 1755
994.85/1001.08	o 1752
995.44/1001.60	o 1750
1009.54/1015.84	o 1749
1010.14/1016.44	o 1748
1011.33/1017.62	o 1747
1011.63/1017.94	o 1746
1013.12/1019.43	o 1743
1014.91/1021.20	o 1740
1015.50/1021.81	o 1739
1032.58/1039.09	o 1738
1063.06/1069.75	   
1063.06/1069.75	   search
1063.06/1069.75	     run=0  nbConstraintChecks=2733091343  nbAssignments=3833
1063.06/1069.75	       =>  wckTime=1056.568  cpuTime=1050.05  mem=49M482
1063.06/1069.75	   
1063.06/1069.75	   global
1063.06/1069.75	     nbConstraintChecks=2733091343  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
1063.06/1069.75	     solvingWckTime=1056.553  solvingCpuTime=1050.04  expiredTime=no  totalExploration=no  nbFoundSolutions=0
1063.06/1069.75	     globalCpuTime=1061.78
1063.06/1069.75	       =>  wckTime=1069.399  cpuTime=1061.74  mem=49M482
1063.06/1069.75	   
1063.06/1069.75	   solver DecomposerSolver being built... 
1068.48/1075.12	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-1112953-1215876038/watcher-1112953-1215876038 -o /tmp/evaluation-result-1112953-1215876038/solver-1112953-1215876038 -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-1112953-1215876038.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: 3.08 2.47 2.19 3/81 16698
/proc/meminfo: memFree=1859704/2055920 swapFree=4192812/4192956
[pid=16698] ppid=16696 vsize=18572 CPUtime=0
/proc/16698/stat : 16698 (runsolver) D 16696 16698 16348 0 -1 4194368 16 0 0 0 0 0 0 0 18 0 1 0 44302352 19017728 292 996147200 4194304 4296836 548682068336 18446744073709551615 218076081447 0 0 4096 24578 18446744071563608240 0 0 17 1 0 0
/proc/16698/statm: 4643 292 257 25 0 2626 0

[startup+0.085063 s]
/proc/loadavg: 3.08 2.47 2.19 3/81 16698
/proc/meminfo: memFree=1859704/2055920 swapFree=4192812/4192956
[pid=16698] ppid=16696 vsize=10864 CPUtime=0.01
/proc/16698/stat : 16698 (java) S 16696 16698 16348 0 -1 0 794 0 0 0 0 1 0 0 18 0 2 0 44302352 11124736 555 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0
/proc/16698/statm: 2716 555 270 9 0 1198 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 10864

[startup+0.101067 s]
/proc/loadavg: 3.08 2.47 2.19 3/81 16698
/proc/meminfo: memFree=1859704/2055920 swapFree=4192812/4192956
[pid=16698] ppid=16696 vsize=861552 CPUtime=0.02
/proc/16698/stat : 16698 (java) S 16696 16698 16348 0 -1 0 1866 0 1 0 1 1 0 0 18 0 4 0 44302352 882229248 1553 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0
/proc/16698/statm: 215388 1553 691 9 0 210367 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 861552

[startup+0.301082 s]
/proc/loadavg: 3.08 2.47 2.19 3/81 16698
/proc/meminfo: memFree=1859704/2055920 swapFree=4192812/4192956
[pid=16698] ppid=16696 vsize=866012 CPUtime=0.2
/proc/16698/stat : 16698 (java) S 16696 16698 16348 0 -1 0 4519 0 1 0 16 4 0 0 18 0 9 0 44302352 886796288 3950 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16698/statm: 216503 3950 1856 9 0 211051 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 866012

[startup+0.701118 s]
/proc/loadavg: 3.08 2.47 2.19 3/81 16698
/proc/meminfo: memFree=1859704/2055920 swapFree=4192812/4192956
[pid=16698] ppid=16696 vsize=866960 CPUtime=0.58
/proc/16698/stat : 16698 (java) S 16696 16698 16348 0 -1 0 9325 0 1 0 51 7 0 0 18 0 9 0 44302352 887767040 8696 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16698/statm: 216740 8696 1968 9 0 211268 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 866960

[startup+1.50219 s]
/proc/loadavg: 3.08 2.47 2.19 3/90 16707
/proc/meminfo: memFree=1814512/2055920 swapFree=4192812/4192956
[pid=16698] ppid=16696 vsize=867408 CPUtime=1.38
/proc/16698/stat : 16698 (java) S 16696 16698 16348 0 -1 0 21258 0 1 0 125 13 0 0 18 0 9 0 44302352 888225792 20594 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16698/statm: 216852 20594 2004 9 0 211380 0
[pid=16698/tid=16700] ppid=16696 vsize=867408 CPUtime=1.09
/proc/16698/task/16700/stat : 16700 (java) R 16696 16698 16348 0 -1 64 15753 0 1 0 99 10 0 0 24 0 9 0 44302357 888225792 20594 996147200 134512640 134550740 4294955952 18446744073709551615 103825424 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16698/tid=16701] ppid=16696 vsize=867408 CPUtime=0.08
/proc/16698/task/16701/stat : 16701 (java) S 16696 16698 16348 0 -1 64 4186 0 0 0 7 1 0 0 16 0 9 0 44302362 888225792 20594 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16698/tid=16702] ppid=16696 vsize=867408 CPUtime=0
/proc/16698/task/16702/stat : 16702 (java) S 16696 16698 16348 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44302362 888225792 20594 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16698/tid=16703] ppid=16696 vsize=867408 CPUtime=0
/proc/16698/task/16703/stat : 16703 (java) S 16696 16698 16348 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44302362 888225792 20594 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16698/tid=16704] ppid=16696 vsize=867408 CPUtime=0
/proc/16698/task/16704/stat : 16704 (java) S 16696 16698 16348 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 44302366 888225792 20594 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16698/tid=16705] ppid=16696 vsize=867408 CPUtime=0.18
/proc/16698/task/16705/stat : 16705 (java) S 16696 16698 16348 0 -1 64 622 0 0 0 18 0 0 0 16 0 9 0 44302366 888225792 20594 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16698/tid=16706] ppid=16696 vsize=867408 CPUtime=0
/proc/16698/task/16706/stat : 16706 (java) S 16696 16698 16348 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44302366 888225792 20594 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16698/tid=16707] ppid=16696 vsize=867408 CPUtime=0
/proc/16698/task/16707/stat : 16707 (java) S 16696 16698 16348 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44302366 888225792 20594 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 867408

[startup+3.10233 s]
/proc/loadavg: 3.08 2.47 2.19 3/90 16707
/proc/meminfo: memFree=1783216/2055920 swapFree=4192812/4192956
[pid=16698] ppid=16696 vsize=867408 CPUtime=2.97
/proc/16698/stat : 16698 (java) S 16696 16698 16348 0 -1 0 21308 0 1 0 283 14 0 0 18 0 9 0 44302352 888225792 20641 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16698/statm: 216852 20641 2006 9 0 211380 0
[pid=16698/tid=16700] ppid=16696 vsize=867408 CPUtime=2.66
/proc/16698/task/16700/stat : 16700 (java) R 16696 16698 16348 0 -1 64 15789 0 1 0 255 11 0 0 25 0 9 0 44302357 888225792 20641 996147200 134512640 134550740 4294955952 18446744073709551615 4126913239 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16698/tid=16701] ppid=16696 vsize=867408 CPUtime=0.08
/proc/16698/task/16701/stat : 16701 (java) S 16696 16698 16348 0 -1 64 4186 0 0 0 7 1 0 0 17 0 9 0 44302362 888225792 20641 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16698/tid=16702] ppid=16696 vsize=867408 CPUtime=0
/proc/16698/task/16702/stat : 16702 (java) S 16696 16698 16348 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44302362 888225792 20641 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16698/tid=16703] ppid=16696 vsize=867408 CPUtime=0
/proc/16698/task/16703/stat : 16703 (java) S 16696 16698 16348 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44302362 888225792 20641 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16698/tid=16704] ppid=16696 vsize=867408 CPUtime=0
/proc/16698/task/16704/stat : 16704 (java) S 16696 16698 16348 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 44302366 888225792 20641 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16698/tid=16705] ppid=16696 vsize=867408 CPUtime=0.2
/proc/16698/task/16705/stat : 16705 (java) S 16696 16698 16348 0 -1 64 636 0 0 0 20 0 0 0 15 0 9 0 44302366 888225792 20641 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16698/tid=16706] ppid=16696 vsize=867408 CPUtime=0
/proc/16698/task/16706/stat : 16706 (java) S 16696 16698 16348 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44302366 888225792 20641 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16698/tid=16707] ppid=16696 vsize=867408 CPUtime=0
/proc/16698/task/16707/stat : 16707 (java) S 16696 16698 16348 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44302366 888225792 20641 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 867408

[startup+6.3016 s]
/proc/loadavg: 3.07 2.47 2.20 3/90 16707
/proc/meminfo: memFree=1782384/2055920 swapFree=4192812/4192956
[pid=16698] ppid=16696 vsize=867408 CPUtime=6.15
/proc/16698/stat : 16698 (java) S 16696 16698 16348 0 -1 0 24797 0 1 0 599 16 0 0 18 0 9 0 44302352 888225792 24126 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16698/statm: 216852 24126 2006 9 0 211380 0
[pid=16698/tid=16700] ppid=16696 vsize=867408 CPUtime=5.7
/proc/16698/task/16700/stat : 16700 (java) R 16696 16698 16348 0 -1 64 15793 0 1 0 559 11 0 0 25 0 9 0 44302357 888225792 24126 996147200 134512640 134550740 4294955952 18446744073709551615 4126913087 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16698/tid=16701] ppid=16696 vsize=867408 CPUtime=0.19
/proc/16698/task/16701/stat : 16701 (java) S 16696 16698 16348 0 -1 64 7649 0 0 0 17 2 0 0 17 0 9 0 44302362 888225792 24126 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16698/tid=16702] ppid=16696 vsize=867408 CPUtime=0
/proc/16698/task/16702/stat : 16702 (java) S 16696 16698 16348 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44302362 888225792 24126 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16698/tid=16703] ppid=16696 vsize=867408 CPUtime=0
/proc/16698/task/16703/stat : 16703 (java) S 16696 16698 16348 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44302362 888225792 24126 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16698/tid=16704] ppid=16696 vsize=867408 CPUtime=0
/proc/16698/task/16704/stat : 16704 (java) S 16696 16698 16348 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 44302366 888225792 24126 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16698/tid=16705] ppid=16696 vsize=867408 CPUtime=0.23
/proc/16698/task/16705/stat : 16705 (java) S 16696 16698 16348 0 -1 64 658 0 0 0 23 0 0 0 15 0 9 0 44302366 888225792 24126 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16698/tid=16706] ppid=16696 vsize=867408 CPUtime=0
/proc/16698/task/16706/stat : 16706 (java) S 16696 16698 16348 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44302366 888225792 24126 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16698/tid=16707] ppid=16696 vsize=867408 CPUtime=0
/proc/16698/task/16707/stat : 16707 (java) S 16696 16698 16348 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44302366 888225792 24126 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.15
Current children cumulated vsize (KiB) 867408

[startup+12.7012 s]
/proc/loadavg: 2.99 2.47 2.20 3/90 16707
/proc/meminfo: memFree=1761392/2055920 swapFree=4192812/4192956
[pid=16698] ppid=16696 vsize=867408 CPUtime=12.52
/proc/16698/stat : 16698 (java) S 16696 16698 16348 0 -1 0 28165 0 1 0 1231 21 0 0 18 0 9 0 44302352 888225792 27489 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16698/statm: 216852 27489 2007 9 0 211380 0
[pid=16698/tid=16700] ppid=16696 vsize=867408 CPUtime=11.77
/proc/16698/task/16700/stat : 16700 (java) R 16696 16698 16348 0 -1 64 15802 0 1 0 1162 15 0 0 25 0 9 0 44302357 888225792 27489 996147200 134512640 134550740 4294955952 18446744073709551615 4126478464 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16698/tid=16701] ppid=16696 vsize=867408 CPUtime=0.44
/proc/16698/task/16701/stat : 16701 (java) S 16696 16698 16348 0 -1 64 10980 0 0 0 40 4 0 0 17 0 9 0 44302362 888225792 27489 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16698/tid=16702] ppid=16696 vsize=867408 CPUtime=0
/proc/16698/task/16702/stat : 16702 (java) S 16696 16698 16348 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44302362 888225792 27489 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16698/tid=16703] ppid=16696 vsize=867408 CPUtime=0
/proc/16698/task/16703/stat : 16703 (java) S 16696 16698 16348 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44302362 888225792 27489 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16698/tid=16704] ppid=16696 vsize=867408 CPUtime=0
/proc/16698/task/16704/stat : 16704 (java) S 16696 16698 16348 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 44302366 888225792 27489 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16698/tid=16705] ppid=16696 vsize=867408 CPUtime=0.28
/proc/16698/task/16705/stat : 16705 (java) S 16696 16698 16348 0 -1 64 686 0 0 0 28 0 0 0 15 0 9 0 44302366 888225792 27489 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16698/tid=16706] ppid=16696 vsize=867408 CPUtime=0
/proc/16698/task/16706/stat : 16706 (java) S 16696 16698 16348 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44302366 888225792 27489 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16698/tid=16707] ppid=16696 vsize=867408 CPUtime=0
/proc/16698/task/16707/stat : 16707 (java) S 16696 16698 16348 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44302366 888225792 27489 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.52
Current children cumulated vsize (KiB) 867408

[startup+25.5023 s]
/proc/loadavg: 2.77 2.44 2.19 3/90 16707
/proc/meminfo: memFree=1743600/2055920 swapFree=4192812/4192956
[pid=16698] ppid=16696 vsize=867496 CPUtime=25.23
/proc/16698/stat : 16698 (java) S 16696 16698 16348 0 -1 0 31611 0 1 0 2496 27 0 0 18 0 9 0 44302352 888315904 30742 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16698/statm: 216874 30742 2640 9 0 211380 0
[pid=16698/tid=16700] ppid=16696 vsize=867496 CPUtime=24.1
/proc/16698/task/16700/stat : 16700 (java) R 16696 16698 16348 0 -1 64 15867 0 1 0 2391 19 0 0 25 0 9 0 44302357 888315904 30742 996147200 134512640 134550740 4294955952 18446744073709551615 4127212918 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16698/tid=16701] ppid=16696 vsize=867496 CPUtime=0.75
/proc/16698/task/16701/stat : 16701 (java) S 16696 16698 16348 0 -1 64 14334 0 0 0 70 5 0 0 16 0 9 0 44302362 888315904 30742 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16698/tid=16702] ppid=16696 vsize=867496 CPUtime=0
/proc/16698/task/16702/stat : 16702 (java) S 16696 16698 16348 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44302362 888315904 30742 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16698/tid=16703] ppid=16696 vsize=867496 CPUtime=0
/proc/16698/task/16703/stat : 16703 (java) S 16696 16698 16348 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44302362 888315904 30742 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16698/tid=16704] ppid=16696 vsize=867496 CPUtime=0
/proc/16698/task/16704/stat : 16704 (java) S 16696 16698 16348 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 44302366 888315904 30742 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16698/tid=16705] ppid=16696 vsize=867496 CPUtime=0.34
/proc/16698/task/16705/stat : 16705 (java) S 16696 16698 16348 0 -1 64 713 0 0 0 33 1 0 0 16 0 9 0 44302366 888315904 30742 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16698/tid=16706] ppid=16696 vsize=867496 CPUtime=0
/proc/16698/task/16706/stat : 16706 (java) S 16696 16698 16348 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44302366 888315904 30742 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16698/tid=16707] ppid=16696 vsize=867496 CPUtime=0
/proc/16698/task/16707/stat : 16707 (java) S 16696 16698 16348 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44302366 888315904 30742 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.23
Current children cumulated vsize (KiB) 867496

[startup+51.1025 s]
/proc/loadavg: 2.56 2.42 2.19 3/90 16707
/proc/meminfo: memFree=1742192/2055920 swapFree=4192812/4192956
[pid=16698] ppid=16696 vsize=867496 CPUtime=50.68
/proc/16698/stat : 16698 (java) S 16696 16698 16348 0 -1 0 31616 0 1 0 5035 33 0 0 18 0 9 0 44302352 888315904 30746 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16698/statm: 216874 30746 2640 9 0 211380 0
[pid=16698/tid=16700] ppid=16696 vsize=867496 CPUtime=49.54
/proc/16698/task/16700/stat : 16700 (java) R 16696 16698 16348 0 -1 64 15868 0 1 0 4930 24 0 0 25 0 9 0 44302357 888315904 30746 996147200 134512640 134550740 4294955952 18446744073709551615 4126919505 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16698/tid=16701] ppid=16696 vsize=867496 CPUtime=0.75
/proc/16698/task/16701/stat : 16701 (java) S 16696 16698 16348 0 -1 64 14334 0 0 0 70 5 0 0 16 0 9 0 44302362 888315904 30746 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16698/tid=16702] ppid=16696 vsize=867496 CPUtime=0
/proc/16698/task/16702/stat : 16702 (java) S 16696 16698 16348 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44302362 888315904 30746 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16698/tid=16703] ppid=16696 vsize=867496 CPUtime=0
/proc/16698/task/16703/stat : 16703 (java) S 16696 16698 16348 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44302362 888315904 30746 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16698/tid=16704] ppid=16696 vsize=867496 CPUtime=0
/proc/16698/task/16704/stat : 16704 (java) S 16696 16698 16348 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 44302366 888315904 30746 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16698/tid=16705] ppid=16696 vsize=867496 CPUtime=0.35
/proc/16698/task/16705/stat : 16705 (java) S 16696 16698 16348 0 -1 64 717 0 0 0 34 1 0 0 15 0 9 0 44302366 888315904 30746 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16698/tid=16706] ppid=16696 vsize=867496 CPUtime=0

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

/proc/16698/task/16704/stat : 16704 (java) S 16696 16698 16348 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 44302366 888315904 30755 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16698/tid=16705] ppid=16696 vsize=867496 CPUtime=0.37
/proc/16698/task/16705/stat : 16705 (java) S 16696 16698 16348 0 -1 64 726 0 0 0 36 1 0 0 16 0 9 0 44302366 888315904 30755 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16698/tid=16706] ppid=16696 vsize=867496 CPUtime=0
/proc/16698/task/16706/stat : 16706 (java) S 16696 16698 16348 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44302366 888315904 30755 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16698/tid=16707] ppid=16696 vsize=867496 CPUtime=0
/proc/16698/task/16707/stat : 16707 (java) S 16696 16698 16348 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44302366 888315904 30755 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1055.71
Current children cumulated vsize (KiB) 867496

Solver just ended. Dumping a history of the last processes samples

[startup+1068.7 s]
/proc/loadavg: 1.00 1.18 1.62 2/91 16708
/proc/meminfo: memFree=1059688/2055920 swapFree=4192812/4192956
[pid=16698] ppid=16696 vsize=867496 CPUtime=1062.07
/proc/16698/stat : 16698 (java) S 16696 16698 16348 0 -1 0 31626 0 1 0 106142 65 0 0 18 0 9 0 44302352 888315904 30755 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16698/statm: 216874 30755 2640 9 0 211380 0
[pid=16698/tid=16700] ppid=16696 vsize=867496 CPUtime=1060.91
/proc/16698/task/16700/stat : 16700 (java) R 16696 16698 16348 0 -1 64 15869 0 1 0 106034 57 0 0 25 0 9 0 44302357 888315904 30755 996147200 134512640 134550740 4294955952 18446744073709551615 4126918916 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16698/tid=16701] ppid=16696 vsize=867496 CPUtime=0.75
/proc/16698/task/16701/stat : 16701 (java) S 16696 16698 16348 0 -1 64 14334 0 0 0 70 5 0 0 16 0 9 0 44302362 888315904 30755 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16698/tid=16702] ppid=16696 vsize=867496 CPUtime=0
/proc/16698/task/16702/stat : 16702 (java) S 16696 16698 16348 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44302362 888315904 30755 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16698/tid=16703] ppid=16696 vsize=867496 CPUtime=0
/proc/16698/task/16703/stat : 16703 (java) S 16696 16698 16348 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44302362 888315904 30755 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16698/tid=16704] ppid=16696 vsize=867496 CPUtime=0
/proc/16698/task/16704/stat : 16704 (java) S 16696 16698 16348 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 44302366 888315904 30755 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16698/tid=16705] ppid=16696 vsize=867496 CPUtime=0.37
/proc/16698/task/16705/stat : 16705 (java) S 16696 16698 16348 0 -1 64 726 0 0 0 36 1 0 0 16 0 9 0 44302366 888315904 30755 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16698/tid=16706] ppid=16696 vsize=867496 CPUtime=0
/proc/16698/task/16706/stat : 16706 (java) S 16696 16698 16348 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44302366 888315904 30755 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16698/tid=16707] ppid=16696 vsize=867496 CPUtime=0
/proc/16698/task/16707/stat : 16707 (java) S 16696 16698 16348 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44302366 888315904 30755 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1062.07
Current children cumulated vsize (KiB) 867496

[startup+1071.9 s]
/proc/loadavg: 1.00 1.18 1.62 2/91 16708
/proc/meminfo: memFree=569384/2055920 swapFree=4192812/4192956
[pid=16698] ppid=16696 vsize=868684 CPUtime=1065.29
/proc/16698/stat : 16698 (java) S 16696 16698 16348 0 -1 0 196473 0 1 0 106401 128 0 0 18 0 9 0 44302352 889532416 195521 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16698/statm: 217171 195521 2618 9 0 211699 0
[pid=16698/tid=16700] ppid=16696 vsize=868684 CPUtime=1062.7
/proc/16698/task/16700/stat : 16700 (java) S 16696 16698 16348 0 -1 64 16009 0 1 0 106213 57 0 0 16 0 9 0 44302357 889532416 195521 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16698/tid=16701] ppid=16696 vsize=868684 CPUtime=2.14
/proc/16698/task/16701/stat : 16701 (java) R 16696 16698 16348 0 -1 64 179009 0 0 0 146 68 0 0 17 0 9 0 44302362 889532416 195521 996147200 134512640 134550740 4294955952 18446744073709551615 104181349 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16698/tid=16702] ppid=16696 vsize=868684 CPUtime=0
/proc/16698/task/16702/stat : 16702 (java) S 16696 16698 16348 0 -1 64 13 0 0 0 0 0 0 0 15 0 9 0 44302362 889532416 195521 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16698/tid=16703] ppid=16696 vsize=868684 CPUtime=0
/proc/16698/task/16703/stat : 16703 (java) S 16696 16698 16348 0 -1 64 7 0 0 0 0 0 0 0 16 0 9 0 44302362 889532416 195521 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16698/tid=16704] ppid=16696 vsize=868684 CPUtime=0
/proc/16698/task/16704/stat : 16704 (java) S 16696 16698 16348 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 44302366 889532416 195521 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16698/tid=16705] ppid=16696 vsize=868684 CPUtime=0.42
/proc/16698/task/16705/stat : 16705 (java) S 16696 16698 16348 0 -1 64 756 0 0 0 41 1 0 0 16 0 9 0 44302366 889532416 195521 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16698/tid=16706] ppid=16696 vsize=868684 CPUtime=0
/proc/16698/task/16706/stat : 16706 (java) S 16696 16698 16348 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44302366 889532416 195521 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16698/tid=16707] ppid=16696 vsize=868684 CPUtime=0
/proc/16698/task/16707/stat : 16707 (java) S 16696 16698 16348 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44302366 889532416 195521 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1065.29
Current children cumulated vsize (KiB) 868684

[startup+1073.5 s]
/proc/loadavg: 1.00 1.17 1.62 2/91 16708
/proc/meminfo: memFree=383144/2055920 swapFree=4192812/4192956
[pid=16698] ppid=16696 vsize=868432 CPUtime=1066.89
/proc/16698/stat : 16698 (java) S 16696 16698 16348 0 -1 0 200564 0 1 0 106559 130 0 0 18 0 9 0 44302352 889274368 199483 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16698/statm: 217108 199483 2618 9 0 211636 0
[pid=16698/tid=16700] ppid=16696 vsize=868432 CPUtime=1062.72
/proc/16698/task/16700/stat : 16700 (java) S 16696 16698 16348 0 -1 64 16012 0 1 0 106215 57 0 0 16 0 9 0 44302357 889274368 199483 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16698/tid=16701] ppid=16696 vsize=868432 CPUtime=3.72
/proc/16698/task/16701/stat : 16701 (java) R 16696 16698 16348 0 -1 64 183097 0 0 0 303 69 0 0 16 0 9 0 44302362 889274368 199483 996147200 134512640 134550740 4294955952 18446744073709551615 103663199 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=16698/tid=16702] ppid=16696 vsize=868432 CPUtime=0
/proc/16698/task/16702/stat : 16702 (java) S 16696 16698 16348 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44302362 889274368 199483 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16698/tid=16703] ppid=16696 vsize=868432 CPUtime=0
/proc/16698/task/16703/stat : 16703 (java) S 16696 16698 16348 0 -1 64 7 0 0 0 0 0 0 0 16 0 9 0 44302362 889274368 199483 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16698/tid=16704] ppid=16696 vsize=868432 CPUtime=0
/proc/16698/task/16704/stat : 16704 (java) S 16696 16698 16348 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 44302366 889274368 199483 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16698/tid=16705] ppid=16696 vsize=868432 CPUtime=0.42
/proc/16698/task/16705/stat : 16705 (java) S 16696 16698 16348 0 -1 64 756 0 0 0 41 1 0 0 16 0 9 0 44302366 889274368 199483 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16698/tid=16706] ppid=16696 vsize=868432 CPUtime=0
/proc/16698/task/16706/stat : 16706 (java) S 16696 16698 16348 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44302366 889274368 199483 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16698/tid=16707] ppid=16696 vsize=868432 CPUtime=0
/proc/16698/task/16707/stat : 16707 (java) S 16696 16698 16348 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44302366 889274368 199483 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1066.89
Current children cumulated vsize (KiB) 868432

[startup+1074.3 s]
/proc/loadavg: 1.00 1.17 1.62 2/91 16708
/proc/meminfo: memFree=383144/2055920 swapFree=4192812/4192956
[pid=16698] ppid=16696 vsize=868432 CPUtime=1067.69
/proc/16698/stat : 16698 (java) S 16696 16698 16348 0 -1 0 200565 0 1 0 106639 130 0 0 18 0 9 0 44302352 889274368 199483 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16698/statm: 217108 199483 2618 9 0 211636 0
[pid=16698/tid=16700] ppid=16696 vsize=868432 CPUtime=1062.72
/proc/16698/task/16700/stat : 16700 (java) S 16696 16698 16348 0 -1 64 16013 0 1 0 106215 57 0 0 16 0 9 0 44302357 889274368 199483 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16698/tid=16701] ppid=16696 vsize=868432 CPUtime=4.51
/proc/16698/task/16701/stat : 16701 (java) R 16696 16698 16348 0 -1 64 183097 0 0 0 382 69 0 0 17 0 9 0 44302362 889274368 199483 996147200 134512640 134550740 4294955952 18446744073709551615 104181349 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=16698/tid=16702] ppid=16696 vsize=868432 CPUtime=0
/proc/16698/task/16702/stat : 16702 (java) S 16696 16698 16348 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44302362 889274368 199483 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16698/tid=16703] ppid=16696 vsize=868432 CPUtime=0
/proc/16698/task/16703/stat : 16703 (java) S 16696 16698 16348 0 -1 64 7 0 0 0 0 0 0 0 16 0 9 0 44302362 889274368 199483 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16698/tid=16704] ppid=16696 vsize=868432 CPUtime=0
/proc/16698/task/16704/stat : 16704 (java) S 16696 16698 16348 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 44302366 889274368 199483 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16698/tid=16705] ppid=16696 vsize=868432 CPUtime=0.42
/proc/16698/task/16705/stat : 16705 (java) S 16696 16698 16348 0 -1 64 756 0 0 0 41 1 0 0 16 0 9 0 44302366 889274368 199483 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16698/tid=16706] ppid=16696 vsize=868432 CPUtime=0
/proc/16698/task/16706/stat : 16706 (java) S 16696 16698 16348 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44302366 889274368 199483 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16698/tid=16707] ppid=16696 vsize=868432 CPUtime=0
/proc/16698/task/16707/stat : 16707 (java) S 16696 16698 16348 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44302366 889274368 199483 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1067.69
Current children cumulated vsize (KiB) 868432

[startup+1074.71 s]
/proc/loadavg: 1.00 1.17 1.62 2/91 16708
/proc/meminfo: memFree=383144/2055920 swapFree=4192812/4192956
[pid=16698] ppid=16696 vsize=868432 CPUtime=1068.09
/proc/16698/stat : 16698 (java) S 16696 16698 16348 0 -1 0 200565 0 1 0 106679 130 0 0 18 0 9 0 44302352 889274368 199483 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16698/statm: 217108 199483 2618 9 0 211636 0
[pid=16698/tid=16700] ppid=16696 vsize=868432 CPUtime=1062.72
/proc/16698/task/16700/stat : 16700 (java) S 16696 16698 16348 0 -1 64 16013 0 1 0 106215 57 0 0 16 0 9 0 44302357 889274368 199483 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16698/tid=16701] ppid=16696 vsize=868432 CPUtime=4.91
/proc/16698/task/16701/stat : 16701 (java) R 16696 16698 16348 0 -1 64 183097 0 0 0 422 69 0 0 18 0 9 0 44302362 889274368 199483 996147200 134512640 134550740 4294955952 18446744073709551615 104182546 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=16698/tid=16702] ppid=16696 vsize=868432 CPUtime=0
/proc/16698/task/16702/stat : 16702 (java) S 16696 16698 16348 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44302362 889274368 199483 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16698/tid=16703] ppid=16696 vsize=868432 CPUtime=0
/proc/16698/task/16703/stat : 16703 (java) S 16696 16698 16348 0 -1 64 7 0 0 0 0 0 0 0 16 0 9 0 44302362 889274368 199483 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16698/tid=16704] ppid=16696 vsize=868432 CPUtime=0
/proc/16698/task/16704/stat : 16704 (java) S 16696 16698 16348 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 44302366 889274368 199483 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16698/tid=16705] ppid=16696 vsize=868432 CPUtime=0.42
/proc/16698/task/16705/stat : 16705 (java) S 16696 16698 16348 0 -1 64 756 0 0 0 41 1 0 0 16 0 9 0 44302366 889274368 199483 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16698/tid=16706] ppid=16696 vsize=868432 CPUtime=0
/proc/16698/task/16706/stat : 16706 (java) S 16696 16698 16348 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44302366 889274368 199483 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16698/tid=16707] ppid=16696 vsize=868432 CPUtime=0
/proc/16698/task/16707/stat : 16707 (java) S 16696 16698 16348 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44302366 889274368 199483 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1068.09
Current children cumulated vsize (KiB) 868432

[startup+1075.1 s]
/proc/loadavg: 1.00 1.17 1.62 2/91 16708
/proc/meminfo: memFree=383144/2055920 swapFree=4192812/4192956
[pid=16698] ppid=16696 vsize=868432 CPUtime=1068.48
/proc/16698/stat : 16698 (java) S 16696 16698 16348 0 -1 0 200566 0 1 0 106718 130 0 0 18 0 9 0 44302352 889274368 199483 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16698/statm: 217108 199483 2618 9 0 211636 0
[pid=16698/tid=16700] ppid=16696 vsize=868432 CPUtime=1062.72
/proc/16698/task/16700/stat : 16700 (java) S 16696 16698 16348 0 -1 64 16014 0 1 0 106215 57 0 0 17 0 9 0 44302357 889274368 199483 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16698/tid=16701] ppid=16696 vsize=868432 CPUtime=5.3
/proc/16698/task/16701/stat : 16701 (java) R 16696 16698 16348 0 -1 64 183097 0 0 0 461 69 0 0 19 0 9 0 44302362 889274368 199483 996147200 134512640 134550740 4294955952 18446744073709551615 104182224 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=16698/tid=16702] ppid=16696 vsize=868432 CPUtime=0
/proc/16698/task/16702/stat : 16702 (java) S 16696 16698 16348 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44302362 889274368 199483 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16698/tid=16703] ppid=16696 vsize=868432 CPUtime=0
/proc/16698/task/16703/stat : 16703 (java) S 16696 16698 16348 0 -1 64 7 0 0 0 0 0 0 0 16 0 9 0 44302362 889274368 199483 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16698/tid=16704] ppid=16696 vsize=868432 CPUtime=0
/proc/16698/task/16704/stat : 16704 (java) S 16696 16698 16348 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 44302366 889274368 199483 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16698/tid=16705] ppid=16696 vsize=868432 CPUtime=0.42
/proc/16698/task/16705/stat : 16705 (java) S 16696 16698 16348 0 -1 64 756 0 0 0 41 1 0 0 16 0 9 0 44302366 889274368 199483 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16698/tid=16706] ppid=16696 vsize=868432 CPUtime=0
/proc/16698/task/16706/stat : 16706 (java) S 16696 16698 16348 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44302366 889274368 199483 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16698/tid=16707] ppid=16696 vsize=868432 CPUtime=0
/proc/16698/task/16707/stat : 16707 (java) S 16696 16698 16348 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44302366 889274368 199483 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1068.48
Current children cumulated vsize (KiB) 868432

[startup+1075.2 s]
/proc/loadavg: 1.00 1.17 1.62 2/91 16708
/proc/meminfo: memFree=383144/2055920 swapFree=4192812/4192956
[pid=16698] ppid=16696 vsize=0 CPUtime=1068.56
/proc/16698/stat : 16698 (java) Z 16696 16698 16348 0 -1 12 200573 0 1 0 106720 136 0 0 16 0 2 0 44302352 0 0 996147200 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16698/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1068.56
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1075.26
CPU time (s): 1068.63
CPU user time (s): 1067.21
CPU system time (s): 1.42478
CPU usage (%): 99.3837
Max. virtual memory (cumulated for all children) (KiB): 868684

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1067.21
system time used= 1.42478
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 200573
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= 23869
involuntary context switches= 40223

runsolver used 1.36779 second user time and 3.70844 second system time

The end

Launcher Data (download as text)

Begin job on node57 at 2008-07-12 17:20:38
IDJOB=1112953
IDBENCH=61502
IDSOLVER=359
FILE ID=node57/1112953-1215876038
PBS_JOBID= 7903565
Free space on /tmp= 66536 MiB

SOLVER NAME= AbsconMax 112 pc-w
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-wdeg.xml 1 XSax BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1112953-1215876038/watcher-1112953-1215876038 -o /tmp/evaluation-result-1112953-1215876038/solver-1112953-1215876038 -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-1112953-1215876038.xml

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= e9fca648ca088ce6fc443985c24dc948
RANDOM SEED=122974737

node57.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.234
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.234
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:       1860256 kB
Buffers:          2812 kB
Cached:          39348 kB
SwapCached:          0 kB
Active:         139096 kB
Inactive:         5640 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1860256 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            4780 kB
Writeback:           0 kB
Mapped:         122772 kB
Slab:            35988 kB
Committed_AS:   278456 kB
PageTables:       2008 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= 66536 MiB
End job on node57 at 2008-07-12 17:38:33