Trace number 1113056

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? 729.694 736.552

General information on the benchmark

Namecsp/fapp/fapp36/
normalized-fapp36-2000-3.xml
MD5SUM1d1f1cebdc92b091f3f5ffe18a2e82b4
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkMSAT TO
Best Number of falsified constraints232
Best CPU time to get the best result obtained on this benchmark3600.01
Satisfiable
(Un)Satisfiability was proved
Number of variables2000
Number of constraints18600
Maximum constraint arity2
Maximum domain size454
Number of constraints which are defined in extension0
Number of constraints which are defined in intension18600
Global constraints used (with number of constraints)

Quality of the solution as a function of time


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

Solver Data (download as text)

0.08/0.10	
0.08/0.10	Abscon 112 (May, 2008)
0.17/0.26	
0.17/0.26	   configuration
0.17/0.26	     name=mrdac-ddeg.xml
0.27/0.34	   
0.27/0.34	   instance
0.27/0.34	     name=HOME/instance-1113056-1215877251.xml
0.27/0.38	   
0.27/0.38	   domains being loaded...
0.37/0.42	   
0.37/0.42	   variables being loaded...
0.66/0.72	     nbVariables=2000  nbDomainTypes=26  minDomainSize=46  maxDomainSize=454  nbTotalValues=750979
0.66/0.72	       =>  wckTime=0.454  cpuTime=0.3  mem=30M345
0.66/0.72	   
0.66/0.72	   predicates being loaded...
0.66/0.79	   
0.66/0.79	   constraints being loaded...
10.67/10.81	   
10.67/10.81	   INFO : Stopping converting binary constraints (cpu=10.06, mem = 41M942)
13.74/13.96	     nbConstraints=18600  nbConvertedConstraints=242  nbConvertConstraintsChecks=32014332  nbExtensionStructures=221
13.74/13.96	     nbSharedExtensionStructures=46  nbConflictsStructures=655  nbSharedConflictsStructures=257
13.74/13.96	     nbUnbuiltConflictsStructures=8006  nbSharedBinaryRepresentations=139736  nbEvaluationManagers=8440
13.74/13.96	     nbSharedEvaluationManagers=9918  minDegree=3  maxDegree=25  minArity=2  maxArity=2
13.74/13.96	       =>  wckTime=13.7  cpuTime=12.73  mem=65M824
14.04/14.29	   
14.04/14.29	   solver LocalSearchSolver being built... 
14.14/14.34	       =>  wckTime=14.072  cpuTime=12.77  mem=54M246
14.33/14.50	
14.33/14.50	s SATISFIABLE
14.33/14.50	o 5368
14.43/14.61	o 5361
14.53/14.71	o 5357
14.53/14.75	o 5353
14.63/14.80	o 5351
14.63/14.85	o 5350
14.63/14.89	o 5343
14.73/14.93	o 5337
14.73/14.98	o 5331
14.83/15.03	o 5325
14.83/15.06	o 5320
14.93/15.11	o 5315
14.93/15.15	o 5311
14.93/15.19	o 5307
15.03/15.23	o 5303
15.03/15.26	o 5299
15.03/15.29	o 5296
15.13/15.33	o 5293
15.13/15.36	o 5290
15.13/15.39	o 5287
15.23/15.43	o 5285
15.23/15.46	o 5283
15.23/15.48	o 5281
15.32/15.50	o 5279
15.32/15.51	o 5278
15.32/15.54	o 5277
15.32/15.56	o 5276
15.32/15.59	o 5275
15.42/15.60	o 5274
15.42/15.63	o 5270
15.42/15.67	o 5261
15.52/15.72	o 5255
15.52/15.78	o 5249
15.62/15.83	o 5244
15.62/15.89	o 5239
15.72/15.94	o 5234
15.72/15.99	o 5230
15.82/16.03	o 5226
15.82/16.08	o 5222
15.91/16.13	o 5218
15.91/16.17	o 5215
16.01/16.22	o 5212
16.01/16.25	o 5209
16.01/16.30	o 5206
16.11/16.33	o 5203
16.11/16.36	o 5200
16.11/16.39	o 5197
16.21/16.44	o 5195
16.21/16.47	o 5193
16.31/16.50	o 5191
16.31/16.53	o 5189
16.31/16.57	o 5187
16.40/16.60	o 5185
16.40/16.63	o 5183
16.40/16.65	o 5181
16.40/16.68	o 5179
16.50/16.70	o 5177
16.50/16.73	o 5176
16.50/16.74	o 5175
16.50/16.76	o 5174
16.50/16.78	o 5173
16.60/16.81	o 5172
16.60/16.84	o 5171
16.60/16.86	o 5170
16.60/16.89	o 5169
16.70/16.92	o 5166
16.70/16.98	o 5159
16.80/17.03	o 5154
16.80/17.09	o 5149
16.90/17.15	o 5144
17.00/17.20	o 5140
17.00/17.25	o 5136
17.00/17.29	o 5133
17.09/17.35	o 5130
17.09/17.39	o 5127
17.19/17.44	o 5124
17.19/17.49	o 5121
17.29/17.54	o 5118
17.29/17.59	o 5115
17.39/17.63	o 5112
17.39/17.68	o 5109
17.48/17.71	o 5106
17.48/17.74	o 5103
17.48/17.79	o 5101
17.58/17.83	o 5099
17.58/17.86	o 5097
17.58/17.89	o 5095
17.69/17.93	o 5093
17.69/17.96	o 5091
17.69/17.99	o 5089
17.79/18.03	o 5087
17.79/18.06	o 5085
17.79/18.09	o 5081
17.89/18.11	o 5079
17.89/18.13	o 5077
17.89/18.17	o 5075
17.89/18.20	o 5074
17.99/18.23	o 5073
17.99/18.25	o 5072
17.99/18.28	o 5066
18.09/18.30	o 5065
18.09/18.33	o 5064
18.09/18.36	o 5063
18.19/18.40	o 5062
18.19/18.43	o 5055
18.19/18.44	o 5050
18.19/18.47	o 5043
18.19/18.48	o 5042
18.29/18.51	o 5038
18.29/18.54	o 5036
18.29/18.58	o 5033
18.39/18.61	o 5026
18.39/18.65	o 5020
18.39/18.68	o 5017
18.49/18.71	o 5012
18.49/18.74	o 5009
18.49/18.79	o 5005
18.58/18.84	o 5002
18.58/18.88	o 4997
18.68/18.92	o 4993
18.68/18.97	o 4992
18.78/19.02	o 4988
18.78/19.05	o 4987
18.88/19.11	o 4983
18.88/19.16	o 4981
18.88/19.19	o 4978
18.98/19.21	o 4976
18.98/19.27	o 4971
19.08/19.31	o 4969
19.08/19.36	o 4966
19.18/19.41	o 4962
19.28/19.56	o 4960
19.38/19.64	o 4954
19.48/19.72	o 4948
19.48/19.79	o 4942
19.58/19.87	o 4936
19.67/19.95	o 4931
19.77/20.03	o 4926
19.87/20.10	o 4921
19.87/20.17	o 4916
19.96/20.24	o 4911
20.06/20.31	o 4907
20.06/20.38	o 4903
20.16/20.45	o 4899
20.26/20.52	o 4895
20.26/20.58	o 4891
20.36/20.65	o 4887
20.46/20.71	o 4884
20.46/20.77	o 4881
20.56/20.83	o 4878
20.56/20.88	o 4873
20.66/20.93	o 4870
20.66/20.99	o 4867
20.75/21.04	o 4864
20.75/21.09	o 4861
20.85/21.14	o 4858
20.95/21.23	o 4856
20.95/21.27	o 4854
21.05/21.31	o 4852
21.05/21.35	o 4850
21.05/21.39	o 4848
21.15/21.44	o 4846
21.15/21.47	o 4844
21.25/21.51	o 4842
21.25/21.54	o 4840
21.25/21.58	o 4838
21.35/21.62	o 4836
21.35/21.65	o 4834
21.35/21.70	o 4833
21.45/21.73	o 4832
21.45/21.76	o 4831
21.45/21.79	o 4830
21.55/21.82	o 4829
21.55/21.85	o 4828
21.55/21.88	o 4821
21.65/21.92	o 4820
21.65/21.94	o 4819
21.65/21.96	o 4818
21.75/22.03	o 4814
21.75/22.05	o 4811
21.75/22.09	o 4806
21.84/22.11	o 4805
21.84/22.14	o 4801
21.84/22.16	o 4798
21.84/22.18	o 4795
21.94/22.26	o 4791
21.94/22.29	o 4789
22.04/22.31	o 4787
22.04/22.35	o 4780
22.04/22.39	o 4779
22.14/22.41	o 4773
22.14/22.47	o 4772
22.24/22.50	o 4768
22.24/22.55	o 4763
22.34/22.60	o 4758
22.34/22.65	o 4756
22.44/22.73	o 4752
22.54/22.80	o 4751
22.54/22.84	o 4746
22.54/22.89	o 4745
22.64/22.92	o 4744
22.64/22.97	o 4736
22.74/23.02	o 4728
22.74/23.06	o 4725
22.74/23.09	o 4724
22.83/23.14	o 4721
22.83/23.19	o 4720
22.92/23.23	o 4717
22.92/23.28	o 4716
23.12/23.41	o 4713
23.12/23.45	o 4712
23.12/23.49	o 4711
23.22/23.54	o 4710
23.22/23.57	o 4707
23.32/23.61	o 4704
23.32/23.65	o 4700
23.32/23.69	o 4699
23.52/23.82	o 4697
23.52/23.88	o 4696
23.62/23.93	o 4693
23.62/23.97	o 4687
23.72/24.02	o 4686
23.72/24.09	o 4684
23.82/24.18	o 4677
23.92/24.24	o 4670
24.01/24.34	o 4664
24.11/24.43	o 4658
24.21/24.52	o 4656
24.32/24.61	o 4650
24.32/24.68	o 4648
24.42/24.76	o 4647
24.72/25.02	o 4642
24.82/25.11	o 4636
24.92/25.22	o 4631
25.02/25.31	o 4626
25.11/25.41	o 4621
25.20/25.51	o 4617
25.20/25.60	o 4613
25.31/25.69	o 4609
25.40/25.78	o 4605
25.50/25.86	o 4601
25.60/25.95	o 4600
25.70/26.04	o 4596
25.80/26.13	o 4593
25.90/26.21	o 4590
25.90/26.29	o 4586
26.00/26.39	o 4583
26.10/26.46	o 4580
26.19/26.54	o 4577
26.29/26.62	o 4574
26.39/26.70	o 4572
26.39/26.77	o 4569
26.49/26.85	o 4566
26.59/26.92	o 4563
26.59/26.99	o 4560
26.69/27.07	o 4558
26.79/27.13	o 4556
26.89/27.20	o 4554
26.89/27.27	o 4552
26.99/27.34	o 4550
26.99/27.39	o 4548
27.09/27.45	o 4546
27.19/27.52	o 4544
27.19/27.58	o 4542
27.28/27.65	o 4540
27.37/27.71	o 4538
27.37/27.76	o 4537
27.48/27.82	o 4536
27.48/27.87	o 4535
27.58/27.92	o 4534
27.58/27.97	o 4533
27.68/28.02	o 4532
27.68/28.06	o 4531
27.78/28.13	o 4530
27.78/28.20	o 4529
27.88/28.25	o 4525
27.98/28.34	o 4524
28.18/28.52	o 4523
28.18/28.57	o 4521
28.27/28.62	o 4517
28.27/28.68	o 4510
28.46/28.86	o 4506
28.56/28.92	o 4500
28.67/29.07	o 4494
28.77/29.14	o 4493
28.87/29.30	o 4491
28.97/29.39	o 4487
29.17/29.56	o 4485
29.27/29.61	o 4484
29.27/29.65	o 4482
29.37/29.72	o 4480
29.37/29.78	o 4478
29.46/29.83	o 4475
29.46/29.88	o 4471
29.56/29.94	o 4469
29.56/29.99	o 4465
29.66/30.05	o 4463
29.66/30.09	o 4461
29.76/30.15	o 4459
29.86/30.20	o 4456
29.86/30.27	o 4453
29.96/30.34	o 4450
30.16/30.51	o 4449
30.16/30.56	o 4445
30.26/30.61	o 4442
30.26/30.67	o 4438
30.36/30.73	o 4437
30.36/30.78	o 4436
30.46/30.83	o 4433
30.46/30.88	o 4431
30.54/30.92	o 4429
30.54/30.97	o 4425
30.64/31.01	o 4422
30.64/31.06	o 4421
30.74/31.10	o 4420
30.74/31.13	o 4419
30.74/31.17	o 4416
30.94/31.34	o 4412
30.94/31.38	o 4409
31.04/31.46	o 4406
31.14/31.50	o 4405
31.14/31.55	o 4403
31.24/31.61	o 4401
31.24/31.64	o 4399
31.34/31.70	o 4394
31.34/31.75	o 4391
31.44/31.80	o 4390
31.44/31.85	o 4388
31.44/31.90	o 4383
31.54/31.95	o 4379
31.63/32.00	o 4378
31.63/32.06	o 4372
31.73/32.11	o 4368
31.73/32.16	o 4367
31.83/32.21	o 4364
31.83/32.26	o 4360
31.93/32.31	o 4356
31.93/32.35	o 4353
32.02/32.41	o 4349
32.02/32.46	o 4348
32.12/32.58	o 4346
32.22/32.67	o 4343
32.32/32.71	o 4337
32.32/32.77	o 4336
32.43/32.83	o 4334
32.43/32.88	o 4333
32.53/32.94	o 4331
32.53/33.00	o 4328
32.63/33.05	o 4327
32.72/33.13	o 4326
32.72/33.19	o 4321
32.82/33.25	o 4319
33.02/33.46	o 4318
33.12/33.56	o 4314
33.22/33.62	o 4312
33.22/33.68	o 4311
33.32/33.72	o 4309
33.42/33.80	o 4304
33.42/33.89	o 4300
33.62/34.00	o 4296
33.62/34.08	o 4292
33.72/34.17	o 4288
33.81/34.25	o 4284
33.91/34.33	o 4280
34.01/34.40	o 4276
34.01/34.48	o 4272
34.11/34.57	o 4268
34.21/34.64	o 4265
34.31/34.72	o 4262
34.41/34.80	o 4259
34.41/34.87	o 4256
34.51/34.95	o 4253
34.61/35.01	o 4251
34.61/35.07	o 4248
34.70/35.14	o 4246
34.80/35.21	o 4244
34.80/35.28	o 4242
34.89/35.34	o 4240
34.99/35.40	o 4238
34.99/35.46	o 4237
35.09/35.52	o 4236
35.09/35.59	o 4232
35.19/35.64	o 4231
35.29/35.70	o 4230
35.29/35.77	o 4229
35.39/35.83	o 4228
35.49/35.95	o 4225
35.59/36.02	o 4223
35.69/36.18	o 4222
35.79/36.24	o 4219
35.79/36.30	o 4218
35.89/36.36	o 4217
35.98/36.42	o 4215
36.08/36.51	o 4214
36.08/36.56	o 4212
36.18/36.69	o 4207
36.29/36.75	o 4203
36.39/36.81	o 4199
36.39/36.88	o 4198
36.59/37.03	o 4195
36.69/37.10	o 4191
36.69/37.16	o 4188
36.78/37.23	o 4187
36.78/37.29	o 4185
36.88/37.36	o 4184
36.98/37.42	o 4182
36.98/37.49	o 4181
37.07/37.57	o 4177
37.17/37.63	o 4175
37.17/37.69	o 4173
37.27/37.76	o 4170
37.37/37.82	o 4169
37.47/37.96	o 4164
37.57/38.09	o 4161
37.67/38.15	o 4160
37.77/38.22	o 4157
37.77/38.29	o 4155
37.87/38.37	o 4154
38.07/38.54	o 4152
38.26/38.71	o 4149
38.26/38.79	o 4146
38.36/38.87	o 4145
38.46/38.96	o 4142
38.56/39.04	o 4141
38.66/39.12	o 4139
38.66/39.19	o 4137
38.76/39.27	o 4136
38.86/39.36	o 4131
39.05/39.59	o 4125
39.15/39.67	o 4124
39.34/39.82	o 4123
39.44/39.90	o 4122
39.44/39.98	o 4121
39.54/40.07	o 4120
39.64/40.15	o 4118
39.74/40.24	o 4117
39.84/40.33	o 4115
39.94/40.41	o 4113
40.24/40.79	o 4112
40.33/40.88	o 4111
40.43/40.97	o 4109
40.53/41.05	o 4104
40.63/41.14	o 4102
40.73/41.22	o 4101
40.93/41.41	o 4099
41.03/41.50	o 4097
41.53/42.08	o 4093
41.63/42.17	o 4091
41.73/42.26	o 4089
41.83/42.34	o 4086
41.93/42.44	o 4084
42.13/42.69	o 4083
42.23/42.78	o 4082
42.33/42.87	o 4081
42.43/42.95	o 4078
42.52/43.04	o 4077
42.62/43.12	o 4075
42.72/43.21	o 4074
42.82/43.30	o 4073
42.82/43.39	o 4072
42.92/43.47	o 4069
43.21/43.79	o 4067
43.31/43.87	o 4061
43.41/43.95	o 4060
43.51/44.04	o 4059
43.60/44.12	o 4057
43.70/44.22	o 4052
43.70/44.29	o 4047
43.80/44.36	o 4041
43.90/44.44	o 4038
44.00/44.51	o 4037
44.10/44.60	o 4035
44.20/44.71	o 4032
44.30/44.83	o 4027
44.40/44.94	o 4021
44.50/45.06	o 4017
44.60/45.20	o 4014
44.79/45.32	o 4011
44.89/45.44	o 4008
44.99/45.56	o 4006
45.09/45.68	o 4004
45.19/45.79	o 4002
45.39/45.90	o 4000
45.49/46.02	o 3998
45.59/46.13	o 3996
45.69/46.24	o 3994
45.78/46.35	o 3993
45.88/46.44	o 3992
45.98/46.51	o 3989
46.08/46.61	o 3987
46.18/46.72	o 3985
46.28/46.83	o 3983
46.68/47.24	o 3982
46.78/47.34	o 3981
46.87/47.44	o 3980
46.97/47.53	o 3979
47.07/47.63	o 3977
47.17/47.75	o 3976
47.27/47.85	o 3975
47.37/47.94	o 3974
47.47/48.03	o 3968
47.57/48.12	o 3966
47.67/48.22	o 3965
48.06/48.62	o 3962
48.26/48.86	o 3961
48.46/49.02	o 3960
48.56/49.12	o 3956
48.66/49.21	o 3953
48.76/49.30	o 3952
48.76/49.39	o 3949
48.86/49.47	o 3948
48.96/49.57	o 3943
49.15/49.76	o 3940
49.25/49.86	o 3939
49.35/49.95	o 3935
49.55/50.14	o 3934
49.65/50.25	o 3931
49.74/50.34	o 3929
49.94/50.53	o 3927
50.33/50.93	o 3926
50.43/51.03	o 3923
50.63/51.23	o 3921
50.73/51.33	o 3919
50.93/51.54	o 3917
51.13/51.75	o 3916
51.22/51.85	o 3914
51.32/51.97	o 3910
51.42/52.06	o 3907
51.62/52.27	o 3906
51.72/52.37	o 3905
51.83/52.48	o 3901
51.93/52.58	o 3899
52.13/52.79	o 3896
52.42/53.00	o 3895
52.52/53.10	o 3891
52.62/53.20	o 3887
52.72/53.31	o 3885
52.82/53.41	o 3883
52.92/53.50	o 3882
53.32/53.93	o 3879
53.41/54.04	o 3877
53.61/54.22	o 3875
53.71/54.31	o 3871
53.81/54.40	o 3869
53.81/54.50	o 3868
53.91/54.59	o 3867
54.01/54.68	o 3864
54.11/54.79	o 3862
54.21/54.88	o 3858
54.31/55.00	o 3855
54.50/55.11	o 3852
54.80/55.41	o 3851
55.00/55.61	o 3849
55.10/55.71	o 3847
55.20/55.81	o 3846
55.20/55.90	o 3840
55.30/56.00	o 3838
55.50/56.11	o 3834
55.59/56.22	o 3833
55.69/56.32	o 3832
55.89/56.53	o 3829
55.99/56.62	o 3828
56.09/56.72	o 3827
56.49/57.15	o 3823
56.59/57.25	o 3820
56.68/57.36	o 3814
56.88/57.58	o 3813
57.18/57.88	o 3811
57.27/57.99	o 3810
57.47/58.11	o 3808
57.57/58.22	o 3805
57.67/58.32	o 3802
57.96/58.63	o 3799
58.16/58.83	o 3797
58.36/59.03	o 3793
58.66/59.36	o 3792
58.76/59.46	o 3790
59.05/59.70	o 3789
59.15/59.84	o 3784
59.25/59.96	o 3780
59.35/60.08	o 3779
59.65/60.33	o 3775
59.75/60.45	o 3774
59.85/60.58	o 3773
60.54/61.22	o 3772
60.64/61.34	o 3768
60.75/61.47	o 3766
61.44/62.18	o 3765
61.83/62.52	o 3762
61.93/62.63	o 3759
62.03/62.77	o 3757
62.12/62.89	o 3756
62.82/63.51	o 3754
62.92/63.64	o 3751
63.12/63.89	o 3749
63.31/64.01	o 3745
63.41/64.13	o 3744
63.51/64.27	o 3743
63.61/64.38	o 3741
63.81/64.50	o 3740
64.01/64.74	o 3737
64.11/64.86	o 3734
64.21/64.99	o 3732
64.51/65.24	o 3731
64.71/65.47	o 3728
64.81/65.59	o 3726
65.01/65.71	o 3721
65.40/66.17	o 3720
65.60/66.31	o 3715
65.70/66.44	o 3712
65.80/66.55	o 3711
65.90/66.68	o 3709
66.00/66.80	o 3706
66.29/67.06	o 3704
66.48/67.29	o 3699
66.68/67.40	o 3698
66.78/67.53	o 3697
66.88/67.67	o 3694
66.98/67.79	o 3692
67.28/68.03	o 3689
67.38/68.16	o 3688
67.48/68.28	o 3685
67.67/68.42	o 3684
67.77/68.54	o 3683
67.87/68.67	o 3682
68.07/68.80	o 3680
68.27/69.05	o 3677
68.47/69.20	o 3674
68.57/69.32	o 3673
68.96/69.74	o 3670
69.06/69.89	o 3667
69.26/70.03	o 3665
69.36/70.17	o 3663
69.56/70.31	o 3661
69.66/70.43	o 3660
69.75/70.58	o 3658
69.95/70.71	o 3656
70.05/70.84	o 3654
70.15/70.96	o 3652
70.25/71.10	o 3650
70.94/71.76	o 3649
71.04/71.88	o 3648
71.24/72.01	o 3647
71.34/72.14	o 3641
71.44/72.28	o 3640
71.54/72.40	o 3639
71.74/72.53	o 3638
71.84/72.65	o 3637
72.73/73.55	o 3634
72.83/73.68	o 3633
73.02/73.80	o 3630
73.22/74.04	o 3626
73.32/74.17	o 3624
73.42/74.29	o 3623
73.62/74.41	o 3619
73.91/74.78	o 3615
74.01/74.89	o 3611
74.20/75.02	o 3608
74.40/75.26	o 3607
74.80/75.63	o 3603
74.90/75.75	o 3600
75.00/75.89	o 3598
75.19/76.01	o 3593
75.29/76.13	o 3591
75.39/76.25	o 3586
75.49/76.37	o 3585
75.59/76.49	o 3583
75.79/76.60	o 3581
75.89/76.73	o 3580
76.09/76.97	o 3579
76.19/77.09	o 3578
76.38/77.21	o 3576
76.48/77.34	o 3575
76.58/77.48	o 3570
76.78/77.62	o 3568
76.88/77.77	o 3566
77.19/78.05	o 3565
77.88/78.77	o 3562
78.08/78.91	o 3559
78.38/79.21	o 3557
78.47/79.37	o 3554
78.67/79.51	o 3553
78.77/79.66	o 3551
78.97/79.82	o 3547
79.07/79.97	o 3544
79.26/80.12	o 3543
79.76/80.69	o 3541
79.96/80.85	o 3539
80.06/80.99	o 3538
80.36/81.28	o 3535
80.56/81.42	o 3532
80.65/81.55	o 3531
80.74/81.69	o 3528
80.94/81.83	o 3525
81.34/82.27	o 3524
81.54/82.42	o 3522
81.64/82.58	o 3518
81.83/82.72	o 3516
82.33/83.26	o 3515
82.43/83.39	o 3514
82.63/83.53	o 3511
82.73/83.67	o 3508
84.41/85.31	o 3506
84.51/85.45	o 3504
84.61/85.58	o 3502
84.81/85.73	o 3501
84.91/85.87	o 3498
85.10/86.00	o 3496
85.20/86.13	o 3493
85.30/86.27	o 3491
85.50/86.40	o 3490
85.60/86.53	o 3487
85.70/86.67	o 3486
85.90/86.81	o 3484
86.19/87.11	o 3483
86.29/87.26	o 3481
86.39/87.39	o 3479
86.59/87.53	o 3475
86.89/87.82	o 3474
87.00/87.97	o 3473
87.19/88.13	o 3470
87.29/88.27	o 3468
87.89/88.85	o 3465
88.09/89.00	o 3464
88.19/89.14	o 3462
88.48/89.44	o 3459
88.58/89.59	o 3458
88.78/89.75	o 3454
88.88/89.89	o 3452
89.08/90.06	o 3450
89.27/90.22	o 3447
89.36/90.39	o 3445
89.56/90.56	o 3444
89.76/90.71	o 3443
90.06/91.04	o 3440
90.26/91.21	o 3438
90.36/91.37	o 3434
90.65/91.68	o 3430
90.85/91.83	o 3427
90.95/91.99	o 3423
91.35/92.31	o 3421
91.64/92.61	o 3418
91.74/92.77	o 3415
91.94/92.92	o 3414
92.24/93.20	o 3410
92.34/93.35	o 3408
92.54/93.50	o 3406
92.83/93.82	o 3405
92.93/93.96	o 3400
93.23/94.25	o 3397
93.33/94.39	o 3395
93.53/94.55	o 3392
93.72/94.70	o 3389
93.82/94.84	o 3388
94.02/95.00	o 3387
94.52/95.59	o 3386
94.72/95.75	o 3385
94.91/95.91	o 3383
95.01/96.06	o 3382
95.11/96.20	o 3379
95.31/96.36	o 3377
95.51/96.52	o 3374
95.61/96.67	o 3373
95.90/96.98	o 3371
96.10/97.14	o 3370
96.29/97.30	o 3368
96.59/97.61	o 3367
96.89/97.93	o 3366
97.18/98.25	o 3362
97.38/98.41	o 3360
97.48/98.57	o 3359
97.69/98.73	o 3355
98.18/99.21	o 3354
98.28/99.36	o 3352
98.48/99.52	o 3348
98.58/99.68	o 3345
98.78/99.84	o 3341
98.98/100.02	o 3338
99.27/100.34	o 3336
99.57/100.63	o 3333
99.67/100.79	o 3330
100.07/101.12	o 3324
100.35/101.45	o 3321
100.55/101.62	o 3319
100.65/101.79	o 3317
100.85/101.95	o 3314
101.34/102.44	o 3312
101.54/102.61	o 3311
101.64/102.79	o 3308
101.84/102.95	o 3305
102.04/103.11	o 3303
102.14/103.28	o 3302
102.34/103.45	o 3300
102.73/103.80	o 3297
102.83/103.97	o 3293
103.03/104.14	o 3290
103.13/104.29	o 3285
103.34/104.47	o 3282
103.53/104.65	o 3281
103.73/104.83	o 3280
104.23/105.37	o 3277
104.43/105.55	o 3274
104.62/105.74	o 3272
105.12/106.26	o 3271
105.32/106.44	o 3269
105.52/106.62	o 3266
105.71/106.83	o 3264
105.91/107.00	o 3259
106.01/107.18	o 3258
106.21/107.36	o 3257
106.61/107.72	o 3252
106.80/107.91	o 3251
106.99/108.10	o 3249
107.49/108.63	o 3246
107.69/108.83	o 3242
107.88/109.00	o 3238
107.98/109.18	o 3237
108.38/109.52	o 3236
108.58/109.71	o 3233
108.68/109.88	o 3232
109.47/110.61	o 3231
109.57/110.80	o 3229
109.77/110.99	o 3226
109.97/111.18	o 3224
110.36/111.55	o 3221
110.56/111.75	o 3218
110.76/111.94	o 3215
110.96/112.13	o 3214
111.15/112.32	o 3211
111.35/112.51	o 3209
111.45/112.69	o 3208
111.65/112.86	o 3206
111.85/113.05	o 3203
112.05/113.25	o 3201
112.24/113.44	o 3199
112.44/113.61	o 3197
112.54/113.79	o 3196
112.74/113.97	o 3194
112.94/114.14	o 3192
113.23/114.49	o 3191
113.43/114.66	o 3190
113.63/114.85	o 3189
113.83/115.03	o 3188
114.52/115.75	o 3187
114.72/115.93	o 3184
114.92/116.11	o 3183
115.21/116.48	o 3180
115.42/116.69	o 3178
115.61/116.87	o 3174
115.81/117.04	o 3171
116.01/117.22	o 3169
116.21/117.41	o 3168
116.31/117.60	o 3167
116.60/117.81	o 3165
116.80/118.00	o 3161
117.30/118.55	o 3159
117.50/118.75	o 3156
117.69/118.95	o 3153
118.59/119.89	o 3150
118.98/120.28	o 3148
119.58/120.81	o 3146
119.68/121.00	o 3144
119.87/121.19	o 3142
120.07/121.37	o 3140
120.27/121.55	o 3136
120.47/121.72	o 3134
120.67/121.90	o 3133
120.77/122.08	o 3131
120.96/122.27	o 3126
121.36/122.61	o 3123
121.66/122.97	o 3122
121.86/123.14	o 3121
122.05/123.32	o 3120
122.35/123.69	o 3117
122.55/123.87	o 3115
122.75/124.05	o 3114
122.95/124.25	o 3110
123.14/124.43	o 3107
123.34/124.62	o 3105
123.54/124.82	o 3100
124.04/125.39	o 3097
124.23/125.55	o 3095
124.43/125.75	o 3092
124.63/125.93	o 3090
124.73/126.10	o 3086
124.93/126.28	o 3083
125.51/126.86	o 3081
125.71/127.05	o 3080
125.91/127.25	o 3076
126.50/127.85	o 3075
126.70/128.05	o 3071
126.90/128.26	o 3069
127.10/128.45	o 3066
127.30/128.65	o 3064
127.49/128.86	o 3062
127.89/129.24	o 3060
128.09/129.45	o 3057
128.68/130.06	o 3054
128.88/130.26	o 3053
129.08/130.45	o 3052
129.67/131.04	o 3051
129.87/131.24	o 3050
130.07/131.43	o 3046
130.27/131.63	o 3045
130.67/132.03	o 3040
130.86/132.24	o 3037
131.06/132.45	o 3035
131.26/132.65	o 3032
131.46/132.84	o 3031
131.85/133.26	o 3030
132.05/133.46	o 3027
132.25/133.63	o 3023
132.45/133.83	o 3019
132.65/134.03	o 3015
133.04/134.44	o 3014
133.24/134.64	o 3011
133.44/134.83	o 3010
133.64/135.01	o 3007
133.84/135.22	o 3003
134.43/135.80	o 3002
134.63/136.00	o 3001
134.72/136.19	o 3000
134.92/136.40	o 2999
135.11/136.60	o 2994
135.81/137.20	o 2992
136.20/137.62	o 2990
136.80/138.26	o 2989
137.69/139.15	o 2987
138.39/139.80	o 2985
138.59/140.02	o 2982
139.19/140.65	o 2979
139.39/140.86	o 2978
139.78/141.27	o 2976
139.98/141.47	o 2974
140.67/142.11	o 2973
141.86/143.31	o 2972
142.06/143.53	o 2968
142.85/144.37	o 2964
143.05/144.57	o 2963
143.65/145.20	o 2961
143.94/145.43	o 2960
144.14/145.64	o 2957
144.34/145.85	o 2954
144.74/146.26	o 2953
144.93/146.47	o 2952
145.33/146.88	o 2950
145.53/147.08	o 2947
145.73/147.29	o 2945
146.02/147.51	o 2942
146.22/147.70	o 2938
146.42/147.91	o 2935
146.62/148.11	o 2934
147.21/148.71	o 2932
147.40/148.91	o 2930
147.60/149.11	o 2928
147.81/149.31	o 2926
147.90/149.49	o 2922
148.49/150.06	o 2920
150.57/152.14	o 2918
151.27/152.90	o 2915
151.46/153.07	o 2914
151.66/153.28	o 2913
151.86/153.46	o 2912
152.06/153.65	o 2911
152.26/153.85	o 2910
152.46/154.04	o 2908
152.76/154.37	o 2904
153.16/154.76	o 2903
153.36/154.95	o 2902
153.56/155.17	o 2901
153.75/155.36	o 2900
153.95/155.57	o 2899
154.15/155.76	o 2898
154.35/155.96	o 2896
154.55/156.18	o 2894
154.94/156.59	o 2892
155.14/156.79	o 2889
155.44/157.01	o 2888
159.50/161.16	o 2887
161.68/163.38	o 2886
161.97/163.61	o 2884
162.17/163.83	o 2883
162.76/164.49	o 2882
163.27/164.92	o 2881
163.45/165.15	o 2878
163.65/165.37	o 2876
163.85/165.59	o 2875
164.74/166.47	o 2871
165.24/166.92	o 2869
165.44/167.14	o 2867
165.63/167.37	o 2865
165.83/167.60	o 2864
166.13/167.81	o 2862
166.33/168.04	o 2859
167.02/168.76	o 2858
167.72/169.43	o 2856
167.91/169.67	o 2854
168.11/169.90	o 2851
168.61/170.35	o 2849
169.30/171.05	o 2848
169.60/171.30	o 2847
169.80/171.53	o 2845
169.99/171.77	o 2843
170.29/172.01	o 2841
170.49/172.21	o 2840
170.59/172.34	o 2837
170.99/172.72	o 2834
171.18/172.97	o 2831
171.88/173.62	o 2830
172.08/173.83	o 2828
172.27/174.05	o 2826
173.36/175.15	o 2824
173.77/175.59	o 2821
174.27/176.04	o 2820
177.43/179.27	o 2818
177.72/179.52	o 2817
177.92/179.77	o 2816
178.22/180.00	o 2811
178.42/180.23	o 2810
178.62/180.49	o 2807
178.91/180.73	o 2805
179.11/180.96	o 2804
179.31/181.19	o 2803
179.61/181.43	o 2802
179.80/181.66	o 2800
180.00/181.90	o 2799
180.50/182.39	o 2798
180.80/182.64	o 2797
181.29/183.12	o 2795
181.39/183.27	o 2791
181.69/183.50	o 2789
181.98/183.90	o 2788
183.07/184.90	o 2787
183.27/185.15	o 2786
183.47/185.39	o 2784
184.56/186.43	o 2783
186.05/187.95	o 2782
186.34/188.22	o 2779
186.84/188.73	o 2778
187.04/188.98	o 2775
187.34/189.24	o 2770
187.63/189.50	o 2764
188.13/190.01	o 2761
188.33/190.29	o 2759
188.62/190.57	o 2758
188.92/190.84	o 2757
189.42/191.38	o 2756
189.71/191.65	o 2755
190.51/192.45	o 2753
190.80/192.73	o 2750
191.00/192.99	o 2748
191.30/193.26	o 2747
191.89/193.84	o 2743
192.49/194.40	o 2742
192.98/194.96	o 2740
193.28/195.23	o 2739
193.58/195.50	o 2738
194.66/196.62	o 2737
194.96/196.91	o 2736
195.15/197.18	o 2735
196.34/198.36	o 2733
196.95/198.92	o 2731
197.24/199.22	o 2729
197.44/199.49	o 2728
199.23/201.22	o 2727
199.52/201.53	o 2725
199.82/201.84	o 2723
200.12/202.14	o 2722
200.42/202.45	o 2721
200.71/202.76	o 2720
201.01/203.07	o 2719
201.31/203.38	o 2718
201.60/203.69	o 2717
202.00/204.00	o 2716
202.30/204.31	o 2715
202.89/204.93	o 2713
204.37/206.48	o 2711
204.67/206.79	o 2710
206.25/208.32	o 2707
206.85/208.96	o 2706
207.74/209.89	o 2704
208.13/210.21	o 2702
208.43/210.51	o 2700
210.52/212.67	o 2697
213.00/215.12	o 2693
213.30/215.41	o 2692
213.59/215.73	o 2690
214.19/216.33	o 2689
214.88/217.05	o 2685
215.18/217.35	o 2684
215.48/217.65	o 2676
216.37/218.58	o 2673
216.67/218.88	o 2670
216.96/219.17	o 2668
217.26/219.42	o 2666
219.84/222.02	o 2665
220.13/222.34	o 2664
221.03/223.21	o 2661
221.52/223.76	o 2660
221.82/224.05	o 2659
225.09/227.30	o 2656
225.29/227.59	o 2655
225.67/227.90	o 2653
225.87/228.19	o 2651
226.47/228.78	o 2649
226.76/229.07	o 2647
227.06/229.37	o 2645
227.36/229.67	o 2642
227.66/229.96	o 2641
228.25/230.55	o 2638
228.55/230.84	o 2636
228.84/231.14	o 2635
229.14/231.42	o 2632
229.44/231.71	o 2630
231.72/234.05	o 2628
232.02/234.34	o 2627
232.31/234.64	o 2626
232.61/234.93	o 2625
233.90/236.24	o 2620
234.99/237.38	o 2618
238.16/240.54	o 2614
239.95/242.31	o 2613
240.15/242.59	o 2612
241.04/243.46	o 2610
241.34/243.75	o 2609
241.64/244.05	o 2608
241.93/244.33	o 2606
242.13/244.57	o 2602
242.42/244.84	o 2599
243.02/245.42	o 2598
243.31/245.71	o 2597
243.51/245.99	o 2596
243.81/246.29	o 2593
244.10/246.58	o 2590
244.70/247.15	o 2589
245.00/247.46	o 2588
247.08/249.51	o 2585
247.37/249.81	o 2583
248.46/250.97	o 2582
248.66/251.19	o 2579
248.86/251.33	o 2577
249.55/252.07	o 2576
249.85/252.36	o 2571
250.45/252.92	o 2569
250.74/253.20	o 2568
250.94/253.49	o 2567
251.24/253.77	o 2565
251.83/254.33	o 2564
252.43/254.90	o 2560
252.62/255.19	o 2558
253.31/255.87	o 2556
254.21/256.74	o 2555
254.30/256.88	o 2552
255.19/257.75	o 2551
255.39/257.97	o 2550
259.46/262.01	o 2548
259.76/262.31	o 2547
260.26/262.90	o 2545
260.54/263.19	o 2543
261.14/263.79	o 2542
261.44/264.09	o 2540
261.73/264.37	o 2538
262.33/264.95	o 2535
262.62/265.25	o 2533
262.92/265.53	o 2530
263.22/265.82	o 2527
263.52/266.13	o 2524
264.11/266.72	o 2523
264.71/267.30	o 2521
265.20/267.88	o 2518
265.50/268.18	o 2516
266.70/269.37	o 2514
267.29/269.98	o 2512
267.59/270.28	o 2510
267.89/270.57	o 2509
268.48/271.19	o 2506
268.78/271.48	o 2502
269.08/271.80	o 2500
269.67/272.39	o 2499
270.36/273.02	o 2497
270.86/273.59	o 2495
271.26/273.91	o 2494
272.44/275.10	o 2492
272.64/275.39	o 2489
272.94/275.68	o 2488
273.24/275.95	o 2485
273.53/276.25	o 2483
274.03/276.71	o 2479
274.23/276.98	o 2478
274.53/277.28	o 2475
276.01/278.78	o 2473
276.71/279.40	o 2470
277.99/280.73	o 2469
278.29/281.07	o 2465
280.97/283.77	o 2463
281.66/284.45	o 2461
282.06/284.80	o 2459
282.65/285.46	o 2456
283.34/286.15	o 2455
284.34/287.17	o 2454
284.73/287.51	o 2453
285.03/287.83	o 2450
285.33/288.18	o 2448
286.02/288.83	o 2447
287.00/289.84	o 2446
287.30/290.17	o 2444
288.88/291.78	o 2442
289.28/292.11	o 2439
289.58/292.43	o 2438
289.87/292.77	o 2437
291.16/294.06	o 2436
291.46/294.31	o 2433
291.76/294.64	o 2432
292.05/294.96	o 2431
292.35/295.28	o 2429
293.05/295.93	o 2428
293.64/296.59	o 2426
294.04/296.91	o 2425
294.63/297.56	o 2423
297.31/300.23	o 2422
297.60/300.56	o 2418
297.80/300.71	o 2417
298.69/301.69	o 2415
299.09/302.01	o 2414
299.39/302.33	o 2413
300.48/303.49	o 2412
305.04/308.03	o 2411
305.33/308.34	o 2408
306.53/309.58	o 2406
307.52/310.53	o 2402
307.82/310.85	o 2399
308.12/311.13	o 2398
313.56/316.61	o 2397
316.33/319.48	o 2395
316.93/320.00	o 2394
317.22/320.31	o 2393
318.12/321.21	o 2389
318.41/321.51	o 2387
319.30/322.42	o 2385
319.60/322.73	o 2384
319.90/323.03	o 2383
320.20/323.34	o 2381
320.49/323.67	o 2380
320.79/323.98	o 2378
321.09/324.30	o 2374
321.48/324.61	o 2372
322.08/325.22	o 2371
322.38/325.53	o 2369
322.67/325.84	o 2368
322.97/326.15	o 2366
325.45/328.63	o 2365
325.75/328.94	o 2364
326.04/329.22	o 2361
326.34/329.56	o 2360
326.65/329.86	o 2359
327.24/330.47	o 2358
327.54/330.79	o 2357
327.94/331.10	o 2356
328.23/331.42	o 2355
328.83/332.04	o 2354
332.20/335.49	o 2351
333.09/336.30	o 2350
334.28/337.54	o 2346
334.57/337.85	o 2342
337.15/340.42	o 2341
337.45/340.74	o 2340
338.04/341.36	o 2339
338.64/341.99	o 2338
339.02/342.32	o 2336
339.32/342.65	o 2334
339.62/342.96	o 2332
340.61/343.92	o 2331
340.91/344.24	o 2329
341.20/344.57	o 2328
341.50/344.84	o 2327
341.80/345.16	o 2325
342.10/345.49	o 2324
342.79/346.14	o 2323
344.28/347.63	o 2321
344.87/348.28	o 2320
345.27/348.60	o 2318
347.85/351.27	o 2317
348.35/351.79	o 2314
348.74/352.13	o 2312
349.04/352.41	o 2309
349.34/352.75	o 2307
350.53/353.96	o 2305
350.83/354.30	o 2304
351.22/354.63	o 2302
351.52/354.95	o 2301
351.82/355.28	o 2299
352.01/355.46	o 2297
352.11/355.58	o 2292
352.41/355.80	o 2291
353.01/356.45	o 2289
353.70/357.10	o 2288
353.99/357.44	o 2286
354.68/358.10	o 2284
354.98/358.43	o 2282
355.67/359.11	o 2281
355.97/359.44	o 2280
356.66/360.11	o 2279
357.26/360.79	o 2278
357.65/361.13	o 2277
357.85/361.37	o 2274
358.15/361.69	o 2270
358.45/361.92	o 2268
365.68/369.20	o 2267
366.37/369.91	o 2266
366.67/370.25	o 2264
367.36/370.96	o 2263
367.76/371.32	o 2262
368.06/371.67	o 2260
369.05/372.69	o 2256
369.44/373.06	o 2255
369.84/373.42	o 2254
371.23/374.87	o 2253
371.62/375.26	o 2252
372.02/375.64	o 2251
372.42/376.02	o 2249
372.52/376.18	o 2248
375.09/378.77	o 2247
375.49/379.17	o 2244
376.68/380.39	o 2243
377.17/380.80	o 2242
377.57/381.21	o 2240
380.74/384.42	o 2239
381.53/385.25	o 2238
383.22/386.91	o 2236
385.89/389.65	o 2235
386.69/390.45	o 2234
387.08/390.84	o 2233
387.48/391.25	o 2232
389.46/393.22	o 2231
390.65/394.40	o 2229
392.14/395.99	o 2227
392.53/396.38	o 2226
393.23/397.10	o 2224
393.62/397.45	o 2222
394.81/398.64	o 2221
395.21/399.04	o 2220
396.00/399.84	o 2219
396.79/400.64	o 2216
397.29/401.18	o 2213
397.69/401.54	o 2210
398.48/402.33	o 2209
398.87/402.75	o 2208
399.67/403.52	o 2206
400.06/403.92	o 2205
404.42/408.33	o 2203
406.60/410.55	o 2202
406.90/410.87	o 2200
408.49/412.47	o 2199
410.86/414.88	o 2197
411.66/415.69	o 2196
412.15/416.11	o 2194
414.53/418.57	o 2192
415.32/419.39	o 2190
415.72/419.79	o 2189
417.40/421.40	o 2187
419.58/423.67	o 2185
419.98/424.07	o 2184
421.17/425.24	o 2182
421.96/426.02	o 2181
422.36/426.40	o 2178
423.05/427.19	o 2176
423.45/427.57	o 2175
424.63/428.75	o 2173
425.83/429.95	o 2171
427.41/431.58	o 2170
427.81/431.98	o 2166
428.21/432.40	o 2165
428.70/432.80	o 2163
429.50/433.62	o 2162
430.68/434.83	o 2161
431.48/435.64	o 2158
432.47/436.66	o 2157
432.86/437.07	o 2156
434.15/438.32	o 2155
434.55/438.73	o 2153
435.34/439.54	o 2151
436.13/440.34	o 2149
438.11/442.36	o 2147
438.41/442.68	o 2146
439.20/443.41	o 2145
439.60/443.82	o 2143
441.98/446.22	o 2140
442.77/447.05	o 2137
445.65/449.95	o 2136
446.04/450.35	o 2133
447.23/451.51	o 2129
448.02/452.31	o 2128
449.91/454.27	o 2126
450.30/454.67	o 2125
451.89/456.24	o 2122
452.68/457.03	o 2121
453.08/457.43	o 2117
454.27/458.63	o 2115
455.06/459.45	o 2114
455.85/460.26	o 2112
456.26/460.66	o 2111
456.65/461.07	o 2110
457.45/461.88	o 2107
459.03/463.49	o 2105
459.43/463.89	o 2103
459.92/464.31	o 2102
461.11/465.50	o 2100
461.51/465.91	o 2098
461.91/466.32	o 2096
462.30/466.72	o 2095
463.49/467.92	o 2093
464.27/468.70	o 2090
467.74/472.25	o 2088
469.72/474.28	o 2084
470.12/474.69	o 2082
471.32/475.87	o 2081
472.50/477.07	o 2079
473.19/477.76	o 2077
474.68/479.27	o 2076
475.47/480.08	o 2075
476.86/481.43	o 2074
477.26/481.84	o 2072
477.65/482.25	o 2070
478.44/483.08	o 2069
478.84/483.49	o 2066
480.53/485.13	o 2065
481.22/485.89	o 2063
482.01/486.69	o 2061
483.70/488.31	o 2060
484.09/488.72	o 2057
484.49/489.11	o 2054
484.89/489.52	o 2052
485.68/490.31	o 2051
485.98/490.67	o 2050
486.37/491.05	o 2047
486.77/491.44	o 2046
487.16/491.85	o 2045
487.96/492.65	o 2044
488.35/493.05	o 2043
488.75/493.44	o 2042
489.15/493.83	o 2038
489.74/494.49	o 2037
490.53/495.27	o 2036
494.89/499.61	o 2035
496.08/500.81	o 2034
497.57/502.39	o 2033
498.06/502.80	o 2032
499.15/504.00	o 2030
499.25/504.04	o 2029
500.84/505.61	o 2027
501.24/506.02	o 2024
502.03/506.81	o 2021
502.42/507.22	o 2020
502.82/507.61	o 2019
503.22/508.01	o 2018
504.31/509.19	o 2014
504.70/509.60	o 2013
506.20/511.00	o 2012
506.99/511.84	o 2011
507.18/512.09	o 2009
509.16/514.06	o 2007
511.64/516.52	o 2006
512.83/517.72	o 2004
514.02/518.99	o 2003
514.51/519.41	o 2000
514.91/519.81	o 1999
516.10/521.00	o 1996
516.89/521.81	o 1995
517.29/522.21	o 1993
518.48/523.45	o 1992
518.87/523.87	o 1989
519.67/524.69	o 1988
522.44/527.44	o 1984
522.84/527.83	o 1983
524.03/529.04	o 1982
524.32/529.39	o 1981
531.57/536.66	o 1980
531.96/537.08	o 1978
532.36/537.47	o 1975
533.15/538.26	o 1974
533.54/538.66	o 1973
533.94/539.09	o 1972
534.33/539.49	o 1970
534.83/539.91	o 1969
535.62/540.73	o 1966
536.41/541.54	o 1965
536.81/541.95	o 1962
538.69/543.82	o 1961
539.88/545.05	o 1959
540.28/545.45	o 1957
540.67/545.85	o 1956
541.07/546.26	o 1955
541.47/546.66	o 1954
541.86/547.06	o 1952
542.26/547.46	o 1951
543.05/548.26	o 1950
543.45/548.61	o 1949
544.14/549.38	o 1947
545.33/550.55	o 1946
545.63/550.89	o 1944
547.21/552.44	o 1942
547.91/553.19	o 1940
548.30/553.56	o 1939
548.90/554.17	o 1938
551.08/556.38	o 1937
551.47/556.75	o 1935
551.87/557.11	o 1933
552.76/558.06	o 1932
553.16/558.44	o 1931
553.36/558.60	o 1929
554.45/559.71	o 1928
554.84/560.10	o 1927
555.15/560.46	o 1926
555.55/560.83	o 1923
555.75/561.00	o 1922
556.14/561.40	o 1920
556.44/561.77	o 1919
556.84/562.17	o 1918
560.59/565.95	o 1915
560.99/566.33	o 1913
561.19/566.59	o 1912
561.88/567.26	o 1911
562.28/567.65	o 1910
562.68/568.02	o 1908
564.46/569.85	o 1907
564.85/570.23	o 1905
565.55/570.97	o 1903
566.24/571.69	o 1901
566.93/572.36	o 1899
567.33/572.73	o 1898
567.73/573.11	o 1896
568.42/573.82	o 1893
569.11/574.59	o 1892
569.51/574.98	o 1891
570.30/575.75	o 1890
570.70/576.13	o 1889
571.09/576.52	o 1886
571.69/577.18	o 1883
572.09/577.57	o 1881
583.68/589.21	o 1879
583.98/589.58	o 1878
584.87/590.42	o 1877
584.97/590.54	o 1874
585.66/591.29	o 1873
586.06/591.65	o 1872
586.45/592.01	o 1870
588.24/593.82	o 1869
588.63/594.20	o 1868
588.93/594.57	o 1867
589.62/595.21	o 1866
589.82/595.43	o 1863
590.22/595.80	o 1862
590.52/596.19	o 1861
590.91/596.56	o 1858
591.31/596.94	o 1857
591.71/597.31	o 1854
592.80/598.47	o 1853
593.59/599.27	o 1851
593.99/599.69	o 1850
595.48/601.10	o 1849
596.27/601.93	o 1848
597.46/603.17	o 1845
597.86/603.57	o 1842
600.72/606.41	o 1841
601.52/607.25	o 1840
601.91/607.67	o 1838
602.31/608.09	o 1836
602.61/608.38	o 1834
603.10/608.81	o 1832
603.50/609.22	o 1830
603.90/609.64	o 1828
605.49/611.29	o 1827
605.97/611.71	o 1826
606.37/612.12	o 1824
609.44/615.28	o 1823
609.64/615.41	o 1821
610.43/616.24	o 1817
613.01/618.80	o 1814
613.41/619.24	o 1812
614.20/620.09	o 1811
615.49/621.38	o 1808
616.38/622.21	o 1805
616.78/622.64	o 1803
619.75/625.67	o 1801
621.04/626.94	o 1800
621.43/627.37	o 1797
622.23/628.18	o 1796
623.41/629.30	o 1794
624.21/630.15	o 1792
624.90/630.85	o 1789
625.99/631.99	o 1786
626.49/632.43	o 1785
626.88/632.86	o 1782
628.47/634.47	o 1781
628.96/634.91	o 1780
631.14/637.13	o 1778
631.54/637.58	o 1776
631.74/637.70	o 1774
634.32/640.39	o 1773
636.11/642.18	o 1772
637.50/643.54	o 1771
637.89/643.97	o 1768
639.28/645.31	o 1766
643.44/649.55	o 1765
647.80/653.92	o 1763
649.49/655.68	o 1760
649.78/655.97	o 1756
650.28/656.40	o 1753
650.67/656.85	o 1752
651.07/657.29	o 1750
651.57/657.73	o 1748
654.14/660.39	o 1745
654.64/660.83	o 1743
665.84/672.13	o 1742
666.23/672.60	o 1741
666.73/673.06	o 1739
667.61/673.97	o 1738
668.61/674.90	o 1735
670.20/676.54	o 1730
673.37/679.80	o 1729
681.69/688.14	o 1727
682.19/688.61	o 1726
682.48/688.90	o 1724
683.37/689.85	o 1723
683.77/690.27	o 1720
684.27/690.74	o 1718
686.63/693.15	o 1716
686.93/693.48	o 1715
688.82/695.38	o 1714
689.32/695.86	o 1713
689.82/696.35	o 1712
691.30/697.81	o 1709
692.68/699.20	o 1707
693.17/699.70	o 1706
723.11/730.00	   
723.11/730.00	   search
723.11/730.00	     run=0  nbConstraintChecks=1540011804  nbAssignments=2919
723.11/730.00	       =>  wckTime=715.662  cpuTime=708.99  mem=55M255
723.11/730.00	   
723.11/730.00	   global
723.21/730.00	     nbConstraintChecks=1540011804  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
723.21/730.00	     solvingWckTime=715.645  solvingCpuTime=708.98  expiredTime=no  totalExploration=no  nbFoundSolutions=0
723.21/730.00	     globalCpuTime=721.81
723.21/730.00	       =>  wckTime=729.734  cpuTime=721.76  mem=55M255
723.21/730.00	   
723.21/730.00	   solver DecomposerSolver being built... 
729.55/736.42	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-1113056-1215877251/watcher-1113056-1215877251 -o /tmp/evaluation-result-1113056-1215877251/solver-1113056-1215877251 -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-1113056-1215877251.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.00 2.00 2.00 3/81 19640
/proc/meminfo: memFree=1291920/2055920 swapFree=4180820/4192956
[pid=19640] ppid=19638 vsize=18572 CPUtime=0
/proc/19640/stat : 19640 (runsolver) R 19638 19640 19373 0 -1 4194368 16 0 0 0 0 0 0 0 19 0 1 0 44427677 19017728 292 996147200 4194304 4296836 548682068336 18446744073709551615 231962373415 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/19640/statm: 4643 292 257 25 0 2626 0

[startup+0.0958551 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 19640
/proc/meminfo: memFree=1291920/2055920 swapFree=4180820/4192956
[pid=19640] ppid=19638 vsize=865856 CPUtime=0.07
/proc/19640/stat : 19640 (java) S 19638 19640 19373 0 -1 0 3554 0 1 0 5 2 0 0 18 0 9 0 44427677 886636544 3044 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19640/statm: 216464 3044 1638 9 0 211026 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 865856

[startup+0.101848 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 19640
/proc/meminfo: memFree=1291920/2055920 swapFree=4180820/4192956
[pid=19640] ppid=19638 vsize=865988 CPUtime=0.08
/proc/19640/stat : 19640 (java) S 19638 19640 19373 0 -1 0 3630 0 1 0 6 2 0 0 18 0 9 0 44427677 886771712 3118 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19640/statm: 216497 3118 1666 9 0 211052 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 865988

[startup+0.301801 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 19640
/proc/meminfo: memFree=1291920/2055920 swapFree=4180820/4192956
[pid=19640] ppid=19638 vsize=866452 CPUtime=0.27
/proc/19640/stat : 19640 (java) S 19638 19640 19373 0 -1 0 5434 0 1 0 23 4 0 0 18 0 9 0 44427677 887246848 4858 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19640/statm: 216613 4858 1880 9 0 211161 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 866452

[startup+0.701698 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 19640
/proc/meminfo: memFree=1291920/2055920 swapFree=4180820/4192956
[pid=19640] ppid=19638 vsize=867440 CPUtime=0.66
/proc/19640/stat : 19640 (java) S 19638 19640 19373 0 -1 0 11599 0 1 0 59 7 0 0 18 0 9 0 44427677 888258560 10970 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19640/statm: 216860 10970 1972 9 0 211388 0
Current children cumulated CPU time (s) 0.66
Current children cumulated vsize (KiB) 867440

[startup+1.50149 s]
/proc/loadavg: 2.08 2.02 2.01 3/90 19649
/proc/meminfo: memFree=1240776/2055920 swapFree=4180820/4192956
[pid=19640] ppid=19638 vsize=867440 CPUtime=1.46
/proc/19640/stat : 19640 (java) S 19638 19640 19373 0 -1 0 21787 0 1 0 133 13 0 0 18 0 9 0 44427677 888258560 21123 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19640/statm: 216860 21123 2004 9 0 211388 0
[pid=19640/tid=19642] ppid=19638 vsize=867440 CPUtime=1.16
/proc/19640/task/19642/stat : 19642 (java) R 19638 19640 19373 0 -1 64 15757 0 1 0 107 9 0 0 25 0 9 0 44427679 888258560 21123 996147200 134512640 134550740 4294955952 18446744073709551615 4126716273 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19640/tid=19643] ppid=19638 vsize=867440 CPUtime=0.07
/proc/19640/task/19643/stat : 19643 (java) S 19638 19640 19373 0 -1 64 4716 0 0 0 6 1 0 0 16 0 9 0 44427680 888258560 21123 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=19640/tid=19644] ppid=19638 vsize=867440 CPUtime=0
/proc/19640/task/19644/stat : 19644 (java) S 19638 19640 19373 0 -1 64 13 0 0 0 0 0 0 0 17 0 9 0 44427681 888258560 21123 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19640/tid=19645] ppid=19638 vsize=867440 CPUtime=0
/proc/19640/task/19645/stat : 19645 (java) S 19638 19640 19373 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44427681 888258560 21123 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19640/tid=19646] ppid=19638 vsize=867440 CPUtime=0
/proc/19640/task/19646/stat : 19646 (java) S 19638 19640 19373 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44427683 888258560 21123 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19640/tid=19647] ppid=19638 vsize=867440 CPUtime=0.18
/proc/19640/task/19647/stat : 19647 (java) S 19638 19640 19373 0 -1 64 616 0 0 0 18 0 0 0 16 0 9 0 44427683 888258560 21123 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19640/tid=19648] ppid=19638 vsize=867440 CPUtime=0
/proc/19640/task/19648/stat : 19648 (java) S 19638 19640 19373 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44427683 888258560 21123 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19640/tid=19649] ppid=19638 vsize=867440 CPUtime=0
/proc/19640/task/19649/stat : 19649 (java) S 19638 19640 19373 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44427683 888258560 21123 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 867440

[startup+3.10207 s]
/proc/loadavg: 2.08 2.02 2.01 3/90 19649
/proc/meminfo: memFree=1214280/2055920 swapFree=4180820/4192956
[pid=19640] ppid=19638 vsize=867440 CPUtime=3.04
/proc/19640/stat : 19640 (java) S 19638 19640 19373 0 -1 0 24416 0 1 0 290 14 0 0 18 0 9 0 44427677 888258560 23748 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19640/statm: 216860 23748 2006 9 0 211388 0
[pid=19640/tid=19642] ppid=19638 vsize=867440 CPUtime=2.66
/proc/19640/task/19642/stat : 19642 (java) R 19638 19640 19373 0 -1 64 15795 0 1 0 257 9 0 0 25 0 9 0 44427679 888258560 23748 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19640/tid=19643] ppid=19638 vsize=867440 CPUtime=0.15
/proc/19640/task/19643/stat : 19643 (java) R 19638 19640 19373 0 -1 64 7294 0 0 0 12 3 0 0 16 0 9 0 44427680 888258560 23748 996147200 134512640 134550740 4294955952 18446744073709551615 103829549 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=19640/tid=19644] ppid=19638 vsize=867440 CPUtime=0
/proc/19640/task/19644/stat : 19644 (java) S 19638 19640 19373 0 -1 64 13 0 0 0 0 0 0 0 17 0 9 0 44427681 888258560 23748 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19640/tid=19645] ppid=19638 vsize=867440 CPUtime=0
/proc/19640/task/19645/stat : 19645 (java) S 19638 19640 19373 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44427681 888258560 23748 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19640/tid=19646] ppid=19638 vsize=867440 CPUtime=0
/proc/19640/task/19646/stat : 19646 (java) S 19638 19640 19373 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44427683 888258560 23748 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19640/tid=19647] ppid=19638 vsize=867440 CPUtime=0.2
/proc/19640/task/19647/stat : 19647 (java) S 19638 19640 19373 0 -1 64 629 0 0 0 20 0 0 0 15 0 9 0 44427683 888258560 23748 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19640/tid=19648] ppid=19638 vsize=867440 CPUtime=0
/proc/19640/task/19648/stat : 19648 (java) S 19638 19640 19373 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44427683 888258560 23748 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19640/tid=19649] ppid=19638 vsize=867440 CPUtime=0
/proc/19640/task/19649/stat : 19649 (java) S 19638 19640 19373 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44427683 888258560 23748 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.04
Current children cumulated vsize (KiB) 867440

[startup+6.30223 s]
/proc/loadavg: 2.08 2.02 2.01 3/90 19649
/proc/meminfo: memFree=1200200/2055920 swapFree=4180820/4192956
[pid=19640] ppid=19638 vsize=867440 CPUtime=6.21
/proc/19640/stat : 19640 (java) S 19638 19640 19373 0 -1 0 25283 0 1 0 607 14 0 0 18 0 9 0 44427677 888258560 24611 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19640/statm: 216860 24611 2006 9 0 211388 0
[pid=19640/tid=19642] ppid=19638 vsize=867440 CPUtime=5.77
/proc/19640/task/19642/stat : 19642 (java) R 19638 19640 19373 0 -1 64 15802 0 1 0 567 10 0 0 25 0 9 0 44427679 888258560 24611 996147200 134512640 134550740 4294955952 18446744073709551615 4126889792 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19640/tid=19643] ppid=19638 vsize=867440 CPUtime=0.2
/proc/19640/task/19643/stat : 19643 (java) S 19638 19640 19373 0 -1 64 8137 0 0 0 17 3 0 0 17 0 9 0 44427680 888258560 24611 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=19640/tid=19644] ppid=19638 vsize=867440 CPUtime=0
/proc/19640/task/19644/stat : 19644 (java) S 19638 19640 19373 0 -1 64 13 0 0 0 0 0 0 0 17 0 9 0 44427681 888258560 24611 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19640/tid=19645] ppid=19638 vsize=867440 CPUtime=0
/proc/19640/task/19645/stat : 19645 (java) S 19638 19640 19373 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44427681 888258560 24611 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19640/tid=19646] ppid=19638 vsize=867440 CPUtime=0
/proc/19640/task/19646/stat : 19646 (java) S 19638 19640 19373 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44427683 888258560 24611 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19640/tid=19647] ppid=19638 vsize=867440 CPUtime=0.22
/proc/19640/task/19647/stat : 19647 (java) S 19638 19640 19373 0 -1 64 646 0 0 0 22 0 0 0 15 0 9 0 44427683 888258560 24611 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19640/tid=19648] ppid=19638 vsize=867440 CPUtime=0
/proc/19640/task/19648/stat : 19648 (java) S 19638 19640 19373 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44427683 888258560 24611 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19640/tid=19649] ppid=19638 vsize=867440 CPUtime=0
/proc/19640/task/19649/stat : 19649 (java) S 19638 19640 19373 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44427683 888258560 24611 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 867440

[startup+12.7026 s]
/proc/loadavg: 2.22 2.05 2.02 3/90 19649
/proc/meminfo: memFree=1193352/2055920 swapFree=4180820/4192956
[pid=19640] ppid=19638 vsize=867440 CPUtime=12.56
/proc/19640/stat : 19640 (java) S 19638 19640 19373 0 -1 0 28471 0 1 0 1239 17 0 0 18 0 9 0 44427677 888258560 27794 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19640/statm: 216860 27794 2007 9 0 211388 0
[pid=19640/tid=19642] ppid=19638 vsize=867440 CPUtime=11.82
/proc/19640/task/19642/stat : 19642 (java) R 19638 19640 19373 0 -1 64 15810 0 1 0 1172 10 0 0 25 0 9 0 44427679 888258560 27794 996147200 134512640 134550740 4294955952 18446744073709551615 102300288 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19640/tid=19643] ppid=19638 vsize=867440 CPUtime=0.42
/proc/19640/task/19643/stat : 19643 (java) S 19638 19640 19373 0 -1 64 11286 0 0 0 38 4 0 0 18 0 9 0 44427680 888258560 27794 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=19640/tid=19644] ppid=19638 vsize=867440 CPUtime=0
/proc/19640/task/19644/stat : 19644 (java) S 19638 19640 19373 0 -1 64 13 0 0 0 0 0 0 0 17 0 9 0 44427681 888258560 27794 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19640/tid=19645] ppid=19638 vsize=867440 CPUtime=0
/proc/19640/task/19645/stat : 19645 (java) S 19638 19640 19373 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44427681 888258560 27794 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19640/tid=19646] ppid=19638 vsize=867440 CPUtime=0
/proc/19640/task/19646/stat : 19646 (java) S 19638 19640 19373 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44427683 888258560 27794 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19640/tid=19647] ppid=19638 vsize=867440 CPUtime=0.28
/proc/19640/task/19647/stat : 19647 (java) S 19638 19640 19373 0 -1 64 677 0 0 0 28 0 0 0 16 0 9 0 44427683 888258560 27794 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19640/tid=19648] ppid=19638 vsize=867440 CPUtime=0
/proc/19640/task/19648/stat : 19648 (java) S 19638 19640 19373 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44427683 888258560 27794 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19640/tid=19649] ppid=19638 vsize=867440 CPUtime=0
/proc/19640/task/19649/stat : 19649 (java) S 19638 19640 19373 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44427683 888258560 27794 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 867440

[startup+25.5012 s]
/proc/loadavg: 2.19 2.05 2.02 3/90 19649
/proc/meminfo: memFree=1172424/2055920 swapFree=4180820/4192956
[pid=19640] ppid=19638 vsize=867528 CPUtime=25.2
/proc/19640/stat : 19640 (java) S 19638 19640 19373 0 -1 0 33022 0 1 0 2498 22 0 0 18 0 9 0 44427677 888348672 32151 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19640/statm: 216882 32151 2640 9 0 211388 0
[pid=19640/tid=19642] ppid=19638 vsize=867528 CPUtime=23.99
/proc/19640/task/19642/stat : 19642 (java) R 19638 19640 19373 0 -1 64 15876 0 1 0 2385 14 0 0 25 0 9 0 44427679 888348672 32151 996147200 134512640 134550740 4294955952 18446744073709551615 4127216024 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19640/tid=19643] ppid=19638 vsize=867528 CPUtime=0.85
/proc/19640/task/19643/stat : 19643 (java) S 19638 19640 19373 0 -1 64 15742 0 0 0 79 6 0 0 16 0 9 0 44427680 888348672 32151 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=19640/tid=19644] ppid=19638 vsize=867528 CPUtime=0
/proc/19640/task/19644/stat : 19644 (java) S 19638 19640 19373 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44427681 888348672 32151 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19640/tid=19645] ppid=19638 vsize=867528 CPUtime=0
/proc/19640/task/19645/stat : 19645 (java) S 19638 19640 19373 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44427681 888348672 32151 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19640/tid=19646] ppid=19638 vsize=867528 CPUtime=0
/proc/19640/task/19646/stat : 19646 (java) S 19638 19640 19373 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44427683 888348672 32151 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19640/tid=19647] ppid=19638 vsize=867528 CPUtime=0.33
/proc/19640/task/19647/stat : 19647 (java) S 19638 19640 19373 0 -1 64 706 0 0 0 33 0 0 0 16 0 9 0 44427683 888348672 32151 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19640/tid=19648] ppid=19638 vsize=867528 CPUtime=0
/proc/19640/task/19648/stat : 19648 (java) S 19638 19640 19373 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44427683 888348672 32151 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19640/tid=19649] ppid=19638 vsize=867528 CPUtime=0
/proc/19640/task/19649/stat : 19649 (java) S 19638 19640 19373 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44427683 888348672 32151 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.2
Current children cumulated vsize (KiB) 867528

[startup+51.1016 s]
/proc/loadavg: 2.12 2.04 2.01 3/90 19649
/proc/meminfo: memFree=1172488/2055920 swapFree=4180820/4192956
[pid=19640] ppid=19638 vsize=867528 CPUtime=50.53
/proc/19640/stat : 19640 (java) S 19638 19640 19373 0 -1 0 33025 0 1 0 5026 27 0 0 18 0 9 0 44427677 888348672 32153 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19640/statm: 216882 32153 2640 9 0 211388 0
[pid=19640/tid=19642] ppid=19638 vsize=867528 CPUtime=49.32
/proc/19640/task/19642/stat : 19642 (java) R 19638 19640 19373 0 -1 64 15877 0 1 0 4913 19 0 0 25 0 9 0 44427679 888348672 32153 996147200 134512640 134550740 4294955952 18446744073709551615 4127064368 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19640/tid=19643] ppid=19638 vsize=867528 CPUtime=0.85
/proc/19640/task/19643/stat : 19643 (java) S 19638 19640 19373 0 -1 64 15742 0 0 0 79 6 0 0 16 0 9 0 44427680 888348672 32153 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=19640/tid=19644] ppid=19638 vsize=867528 CPUtime=0
/proc/19640/task/19644/stat : 19644 (java) S 19638 19640 19373 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44427681 888348672 32153 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19640/tid=19645] ppid=19638 vsize=867528 CPUtime=0
/proc/19640/task/19645/stat : 19645 (java) S 19638 19640 19373 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44427681 888348672 32153 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19640/tid=19646] ppid=19638 vsize=867528 CPUtime=0
/proc/19640/task/19646/stat : 19646 (java) S 19638 19640 19373 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44427683 888348672 32153 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19640/tid=19647] ppid=19638 vsize=867528 CPUtime=0.34
/proc/19640/task/19647/stat : 19647 (java) S 19638 19640 19373 0 -1 64 708 0 0 0 34 0 0 0 16 0 9 0 44427683 888348672 32153 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19640/tid=19648] ppid=19638 vsize=867528 CPUtime=0

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

/proc/19640/task/19646/stat : 19646 (java) S 19638 19640 19373 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44427683 888348672 32165 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19640/tid=19647] ppid=19638 vsize=867528 CPUtime=0.36
/proc/19640/task/19647/stat : 19647 (java) S 19638 19640 19373 0 -1 64 720 0 0 0 36 0 0 0 16 0 9 0 44427683 888348672 32165 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19640/tid=19648] ppid=19638 vsize=867528 CPUtime=0
/proc/19640/task/19648/stat : 19648 (java) S 19638 19640 19373 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44427683 888348672 32165 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19640/tid=19649] ppid=19638 vsize=867528 CPUtime=0
/proc/19640/task/19649/stat : 19649 (java) S 19638 19640 19373 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44427683 888348672 32165 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 695.75
Current children cumulated vsize (KiB) 867528

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

[startup+716.701 s]
/proc/loadavg: 2.06 2.02 2.00 3/90 19649
/proc/meminfo: memFree=1171144/2055920 swapFree=4180820/4192956
[pid=19640] ppid=19638 vsize=867528 CPUtime=710.02
/proc/19640/stat : 19640 (java) S 19638 19640 19373 0 -1 0 33039 0 1 0 70948 54 0 0 18 0 9 0 44427677 888348672 32165 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19640/statm: 216882 32165 2640 9 0 211388 0
[pid=19640/tid=19642] ppid=19638 vsize=867528 CPUtime=708.78
/proc/19640/task/19642/stat : 19642 (java) R 19638 19640 19373 0 -1 64 15879 0 1 0 70832 46 0 0 25 0 9 0 44427679 888348672 32165 996147200 134512640 134550740 4294955952 18446744073709551615 4126889832 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19640/tid=19643] ppid=19638 vsize=867528 CPUtime=0.85
/proc/19640/task/19643/stat : 19643 (java) S 19638 19640 19373 0 -1 64 15742 0 0 0 79 6 0 0 16 0 9 0 44427680 888348672 32165 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=19640/tid=19644] ppid=19638 vsize=867528 CPUtime=0
/proc/19640/task/19644/stat : 19644 (java) S 19638 19640 19373 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44427681 888348672 32165 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19640/tid=19645] ppid=19638 vsize=867528 CPUtime=0
/proc/19640/task/19645/stat : 19645 (java) S 19638 19640 19373 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44427681 888348672 32165 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19640/tid=19646] ppid=19638 vsize=867528 CPUtime=0
/proc/19640/task/19646/stat : 19646 (java) S 19638 19640 19373 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44427683 888348672 32165 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19640/tid=19647] ppid=19638 vsize=867528 CPUtime=0.36
/proc/19640/task/19647/stat : 19647 (java) S 19638 19640 19373 0 -1 64 720 0 0 0 36 0 0 0 16 0 9 0 44427683 888348672 32165 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19640/tid=19648] ppid=19638 vsize=867528 CPUtime=0
/proc/19640/task/19648/stat : 19648 (java) S 19638 19640 19373 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44427683 888348672 32165 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19640/tid=19649] ppid=19638 vsize=867528 CPUtime=0
/proc/19640/task/19649/stat : 19649 (java) S 19638 19640 19373 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44427683 888348672 32165 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 710.02
Current children cumulated vsize (KiB) 867528

[startup+729.503 s]
/proc/loadavg: 2.05 2.02 2.00 3/90 19649
/proc/meminfo: memFree=1171144/2055920 swapFree=4180820/4192956
[pid=19640] ppid=19638 vsize=867528 CPUtime=722.71
/proc/19640/stat : 19640 (java) S 19638 19640 19373 0 -1 0 33039 0 1 0 72216 55 0 0 18 0 9 0 44427677 888348672 32165 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19640/statm: 216882 32165 2640 9 0 211388 0
[pid=19640/tid=19642] ppid=19638 vsize=867528 CPUtime=721.47
/proc/19640/task/19642/stat : 19642 (java) R 19638 19640 19373 0 -1 64 15879 0 1 0 72100 47 0 0 25 0 9 0 44427679 888348672 32165 996147200 134512640 134550740 4294955952 18446744073709551615 4126889768 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19640/tid=19643] ppid=19638 vsize=867528 CPUtime=0.85
/proc/19640/task/19643/stat : 19643 (java) S 19638 19640 19373 0 -1 64 15742 0 0 0 79 6 0 0 16 0 9 0 44427680 888348672 32165 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=19640/tid=19644] ppid=19638 vsize=867528 CPUtime=0
/proc/19640/task/19644/stat : 19644 (java) S 19638 19640 19373 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44427681 888348672 32165 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19640/tid=19645] ppid=19638 vsize=867528 CPUtime=0
/proc/19640/task/19645/stat : 19645 (java) S 19638 19640 19373 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44427681 888348672 32165 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19640/tid=19646] ppid=19638 vsize=867528 CPUtime=0
/proc/19640/task/19646/stat : 19646 (java) S 19638 19640 19373 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44427683 888348672 32165 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19640/tid=19647] ppid=19638 vsize=867528 CPUtime=0.36
/proc/19640/task/19647/stat : 19647 (java) S 19638 19640 19373 0 -1 64 720 0 0 0 36 0 0 0 16 0 9 0 44427683 888348672 32165 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19640/tid=19648] ppid=19638 vsize=867528 CPUtime=0
/proc/19640/task/19648/stat : 19648 (java) S 19638 19640 19373 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44427683 888348672 32165 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19640/tid=19649] ppid=19638 vsize=867528 CPUtime=0
/proc/19640/task/19649/stat : 19649 (java) S 19638 19640 19373 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44427683 888348672 32165 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 722.71
Current children cumulated vsize (KiB) 867528

[startup+732.703 s]
/proc/loadavg: 2.12 2.04 2.01 4/90 19649
/proc/meminfo: memFree=508744/2055920 swapFree=4180820/4192956
[pid=19640] ppid=19638 vsize=867780 CPUtime=725.88
/proc/19640/stat : 19640 (java) S 19638 19640 19373 0 -1 0 198397 0 1 0 72459 129 0 0 18 0 9 0 44427677 888606720 197466 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19640/statm: 216945 197466 2640 9 0 211451 0
[pid=19640/tid=19642] ppid=19638 vsize=867780 CPUtime=722.91
/proc/19640/task/19642/stat : 19642 (java) R 19638 19640 19373 0 -1 64 15970 0 1 0 72244 47 0 0 25 0 9 0 44427679 888606720 197466 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19640/tid=19643] ppid=19638 vsize=867780 CPUtime=2.53
/proc/19640/task/19643/stat : 19643 (java) R 19638 19640 19373 0 -1 64 180967 0 0 0 174 79 0 0 16 0 9 0 44427680 888606720 197466 996147200 134512640 134550740 4294955952 18446744073709551615 103737199 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=19640/tid=19644] ppid=19638 vsize=867780 CPUtime=0
/proc/19640/task/19644/stat : 19644 (java) S 19638 19640 19373 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44427681 888606720 197466 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19640/tid=19645] ppid=19638 vsize=867780 CPUtime=0
/proc/19640/task/19645/stat : 19645 (java) S 19638 19640 19373 0 -1 64 20 0 0 0 0 0 0 0 15 0 9 0 44427681 888606720 197466 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19640/tid=19646] ppid=19638 vsize=867780 CPUtime=0
/proc/19640/task/19646/stat : 19646 (java) S 19638 19640 19373 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44427683 888606720 197466 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19640/tid=19647] ppid=19638 vsize=867780 CPUtime=0.4
/proc/19640/task/19647/stat : 19647 (java) S 19638 19640 19373 0 -1 64 747 0 0 0 40 0 0 0 15 0 9 0 44427683 888606720 197466 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19640/tid=19648] ppid=19638 vsize=867780 CPUtime=0
/proc/19640/task/19648/stat : 19648 (java) S 19638 19640 19373 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44427683 888606720 197466 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19640/tid=19649] ppid=19638 vsize=867780 CPUtime=0
/proc/19640/task/19649/stat : 19649 (java) S 19638 19640 19373 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44427683 888606720 197466 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 725.88
Current children cumulated vsize (KiB) 867780

[startup+734.301 s]
/proc/loadavg: 2.12 2.04 2.01 4/90 19649
/proc/meminfo: memFree=500424/2055920 swapFree=4180820/4192956
[pid=19640] ppid=19638 vsize=867692 CPUtime=727.47
/proc/19640/stat : 19640 (java) S 19638 19640 19373 0 -1 0 200593 0 1 0 72617 130 0 0 18 0 9 0 44427677 888516608 199512 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19640/statm: 216923 199512 2618 9 0 211451 0
[pid=19640/tid=19642] ppid=19638 vsize=867692 CPUtime=722.92
/proc/19640/task/19642/stat : 19642 (java) R 19638 19640 19373 0 -1 64 15972 0 1 0 72245 47 0 0 25 0 9 0 44427679 888516608 199512 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19640/tid=19643] ppid=19638 vsize=867692 CPUtime=4.11
/proc/19640/task/19643/stat : 19643 (java) R 19638 19640 19373 0 -1 64 183161 0 0 0 331 80 0 0 17 0 9 0 44427680 888516608 199512 996147200 134512640 134550740 4294955952 18446744073709551615 104182546 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=19640/tid=19644] ppid=19638 vsize=867692 CPUtime=0
/proc/19640/task/19644/stat : 19644 (java) S 19638 19640 19373 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44427681 888516608 199512 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19640/tid=19645] ppid=19638 vsize=867692 CPUtime=0
/proc/19640/task/19645/stat : 19645 (java) S 19638 19640 19373 0 -1 64 20 0 0 0 0 0 0 0 15 0 9 0 44427681 888516608 199512 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19640/tid=19646] ppid=19638 vsize=867692 CPUtime=0
/proc/19640/task/19646/stat : 19646 (java) S 19638 19640 19373 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44427683 888516608 199512 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19640/tid=19647] ppid=19638 vsize=867692 CPUtime=0.4
/proc/19640/task/19647/stat : 19647 (java) S 19638 19640 19373 0 -1 64 747 0 0 0 40 0 0 0 15 0 9 0 44427683 888516608 199512 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19640/tid=19648] ppid=19638 vsize=867692 CPUtime=0
/proc/19640/task/19648/stat : 19648 (java) S 19638 19640 19373 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44427683 888516608 199512 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19640/tid=19649] ppid=19638 vsize=867692 CPUtime=0
/proc/19640/task/19649/stat : 19649 (java) S 19638 19640 19373 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44427683 888516608 199512 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 727.47
Current children cumulated vsize (KiB) 867692

[startup+735.906 s]
/proc/loadavg: 2.19 2.05 2.01 3/90 19649
/proc/meminfo: memFree=500488/2055920 swapFree=4180820/4192956
[pid=19640] ppid=19638 vsize=867440 CPUtime=729.06
/proc/19640/stat : 19640 (java) S 19638 19640 19373 0 -1 0 200595 0 1 0 72776 130 0 0 18 0 9 0 44427677 888258560 199449 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19640/statm: 216860 199449 2618 9 0 211388 0
[pid=19640/tid=19642] ppid=19638 vsize=867440 CPUtime=722.92
/proc/19640/task/19642/stat : 19642 (java) S 19638 19640 19373 0 -1 64 15974 0 1 0 72245 47 0 0 25 0 9 0 44427679 888258560 199449 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19640/tid=19643] ppid=19638 vsize=867440 CPUtime=5.69
/proc/19640/task/19643/stat : 19643 (java) R 19638 19640 19373 0 -1 64 183161 0 0 0 489 80 0 0 19 0 9 0 44427680 888258560 199449 996147200 134512640 134550740 4294955952 18446744073709551615 104182546 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=19640/tid=19644] ppid=19638 vsize=867440 CPUtime=0
/proc/19640/task/19644/stat : 19644 (java) S 19638 19640 19373 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44427681 888258560 199449 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19640/tid=19645] ppid=19638 vsize=867440 CPUtime=0
/proc/19640/task/19645/stat : 19645 (java) S 19638 19640 19373 0 -1 64 20 0 0 0 0 0 0 0 15 0 9 0 44427681 888258560 199449 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19640/tid=19646] ppid=19638 vsize=867440 CPUtime=0
/proc/19640/task/19646/stat : 19646 (java) S 19638 19640 19373 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44427683 888258560 199449 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19640/tid=19647] ppid=19638 vsize=867440 CPUtime=0.4
/proc/19640/task/19647/stat : 19647 (java) S 19638 19640 19373 0 -1 64 747 0 0 0 40 0 0 0 15 0 9 0 44427683 888258560 199449 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19640/tid=19648] ppid=19638 vsize=867440 CPUtime=0
/proc/19640/task/19648/stat : 19648 (java) S 19638 19640 19373 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44427683 888258560 199449 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19640/tid=19649] ppid=19638 vsize=867440 CPUtime=0
/proc/19640/task/19649/stat : 19649 (java) S 19638 19640 19373 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44427683 888258560 199449 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 729.06
Current children cumulated vsize (KiB) 867440

[startup+736.302 s]
/proc/loadavg: 2.19 2.05 2.01 3/90 19649
/proc/meminfo: memFree=500488/2055920 swapFree=4180820/4192956
[pid=19640] ppid=19638 vsize=867440 CPUtime=729.45
/proc/19640/stat : 19640 (java) S 19638 19640 19373 0 -1 0 200595 0 1 0 72815 130 0 0 18 0 9 0 44427677 888258560 199449 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19640/statm: 216860 199449 2618 9 0 211388 0
[pid=19640/tid=19642] ppid=19638 vsize=867440 CPUtime=722.92
/proc/19640/task/19642/stat : 19642 (java) S 19638 19640 19373 0 -1 64 15974 0 1 0 72245 47 0 0 25 0 9 0 44427679 888258560 199449 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19640/tid=19643] ppid=19638 vsize=867440 CPUtime=6.08
/proc/19640/task/19643/stat : 19643 (java) R 19638 19640 19373 0 -1 64 183161 0 0 0 528 80 0 0 20 0 9 0 44427680 888258560 199449 996147200 134512640 134550740 4294955952 18446744073709551615 104182546 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=19640/tid=19644] ppid=19638 vsize=867440 CPUtime=0
/proc/19640/task/19644/stat : 19644 (java) S 19638 19640 19373 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44427681 888258560 199449 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19640/tid=19645] ppid=19638 vsize=867440 CPUtime=0
/proc/19640/task/19645/stat : 19645 (java) S 19638 19640 19373 0 -1 64 20 0 0 0 0 0 0 0 15 0 9 0 44427681 888258560 199449 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19640/tid=19646] ppid=19638 vsize=867440 CPUtime=0
/proc/19640/task/19646/stat : 19646 (java) S 19638 19640 19373 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44427683 888258560 199449 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19640/tid=19647] ppid=19638 vsize=867440 CPUtime=0.4
/proc/19640/task/19647/stat : 19647 (java) S 19638 19640 19373 0 -1 64 747 0 0 0 40 0 0 0 15 0 9 0 44427683 888258560 199449 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19640/tid=19648] ppid=19638 vsize=867440 CPUtime=0
/proc/19640/task/19648/stat : 19648 (java) S 19638 19640 19373 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44427683 888258560 199449 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19640/tid=19649] ppid=19638 vsize=867440 CPUtime=0
/proc/19640/task/19649/stat : 19649 (java) S 19638 19640 19373 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44427683 888258560 199449 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 729.45
Current children cumulated vsize (KiB) 867440

[startup+736.503 s]
/proc/loadavg: 2.19 2.05 2.01 3/90 19649
/proc/meminfo: memFree=500488/2055920 swapFree=4180820/4192956
[pid=19640] ppid=19638 vsize=0 CPUtime=729.64
/proc/19640/stat : 19640 (java) Z 19638 19640 19373 0 -1 12 200603 0 1 0 72827 137 0 0 16 0 2 0 44427677 0 0 996147200 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19640/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 729.64
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 736.552
CPU time (s): 729.694
CPU user time (s): 728.272
CPU system time (s): 1.42178
CPU usage (%): 99.0689
Max. virtual memory (cumulated for all children) (KiB): 867780

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 728.272
system time used= 1.42178
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 200603
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= 16990
involuntary context switches= 35848

runsolver used 1.01984 second user time and 2.52861 second system time

The end

Launcher Data (download as text)

Begin job on node16 at 2008-07-12 17:40:51
IDJOB=1113056
IDBENCH=61519
IDSOLVER=360
FILE ID=node16/1113056-1215877251
PBS_JOBID= 7903556
Free space on /tmp= 66520 MiB

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

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= 1d1f1cebdc92b091f3f5ffe18a2e82b4
RANDOM SEED=1823882387

node16.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.218
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1292400 kB
Buffers:          4468 kB
Cached:          42968 kB
SwapCached:       5672 kB
Active:         711472 kB
Inactive:         8172 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1292400 kB
SwapTotal:     4192956 kB
SwapFree:      4180820 kB
Dirty:            4580 kB
Writeback:           0 kB
Mapped:         688556 kB
Slab:            27908 kB
Committed_AS:  1016944 kB
PageTables:       3200 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 node16 at 2008-07-12 17:53:08