Trace number 1112828

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? 1153.59 1164.69

General information on the benchmark

Namecsp/fapp/fapp12/
normalized-fapp12-1500-0.xml
MD5SUM34c3ac733a64f710448acdb70b41fbc9
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkMSAT TO
Best Number of falsified constraints92
Best CPU time to get the best result obtained on this benchmark3600.03
Satisfiable
(Un)Satisfiability was proved
Number of variables1500
Number of constraints25409
Maximum constraint arity2
Maximum domain size310
Number of constraints which are defined in extension0
Number of constraints which are defined in intension25409
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.03/0.09	
0.03/0.09	Abscon 112 (May, 2008)
0.18/0.24	
0.18/0.24	   configuration
0.18/0.24	     name=mrdac-ddeg.xml
0.28/0.32	   
0.28/0.32	   instance
0.28/0.32	     name=HOME/instance-1112828-1215874433.xml
0.28/0.36	   
0.28/0.36	   domains being loaded...
0.38/0.40	   
0.38/0.40	   variables being loaded...
0.67/0.74	     nbVariables=1500  nbDomainTypes=13  minDomainSize=42  maxDomainSize=310  nbTotalValues=436967
0.67/0.74	       =>  wckTime=0.496  cpuTime=0.34  mem=21M510
0.67/0.74	   
0.67/0.74	   predicates being loaded...
0.77/0.81	   
0.77/0.81	   constraints being loaded...
10.57/10.80	   
10.57/10.80	   INFO : Stopping converting binary constraints (cpu=10.07, mem = 51M134)
13.15/13.31	     nbConstraints=25409  nbConvertedConstraints=365  nbConvertConstraintsChecks=29584392  nbExtensionStructures=326
13.15/13.31	     nbSharedExtensionStructures=159  nbConflictsStructures=506  nbSharedConflictsStructures=215
13.15/13.31	     nbUnbuiltConflictsStructures=3892  nbSharedBinaryRepresentations=177499  nbEvaluationManagers=4072
13.15/13.31	     nbSharedEvaluationManagers=20972  minDegree=5  maxDegree=43  minArity=2  maxArity=2
13.15/13.31	       =>  wckTime=13.065  cpuTime=12.08  mem=76M774
13.45/13.70	   
13.45/13.70	   solver LocalSearchSolver being built... 
13.55/13.75	       =>  wckTime=13.504  cpuTime=12.12  mem=53M411
13.74/13.91	
13.74/13.91	s SATISFIABLE
13.74/13.91	o 6315
13.84/14.00	o 6301
13.84/14.08	o 6292
13.95/14.14	o 6284
13.95/14.18	o 6281
14.05/14.26	o 6273
14.15/14.32	o 6267
14.15/14.37	o 6262
14.24/14.41	o 6258
14.24/14.45	o 6255
14.24/14.49	o 6253
14.34/14.53	o 6248
14.34/14.57	o 6239
14.44/14.62	o 6231
14.44/14.66	o 6224
14.54/14.71	o 6217
14.54/14.74	o 6210
14.54/14.78	o 6204
14.64/14.81	o 6198
14.64/14.84	o 6193
14.64/14.87	o 6188
14.64/14.89	o 6183
14.74/14.92	o 6179
14.74/14.95	o 6175
14.74/14.97	o 6172
14.83/15.01	o 6169
14.83/15.04	o 6166
14.83/15.09	o 6165
14.93/15.15	o 6158
15.03/15.23	o 6152
15.03/15.29	o 6147
15.13/15.35	o 6142
15.23/15.42	o 6137
15.23/15.47	o 6131
15.32/15.53	o 6127
15.32/15.57	o 6123
15.42/15.62	o 6119
15.42/15.67	o 6115
15.52/15.72	o 6111
15.52/15.76	o 6107
15.62/15.81	o 6103
15.62/15.86	o 6100
15.72/15.90	o 6097
15.72/15.94	o 6094
15.72/15.97	o 6091
15.82/16.00	o 6089
15.82/16.03	o 6087
15.82/16.07	o 6085
15.82/16.09	o 6083
15.92/16.14	o 6082
15.92/16.16	o 6081
15.92/16.18	o 6075
16.02/16.23	o 6070
16.02/16.28	o 6066
16.12/16.30	o 6059
16.12/16.38	o 6051
16.22/16.45	o 6041
16.32/16.50	o 6035
16.32/16.55	o 6029
16.41/16.61	o 6021
16.41/16.66	o 6015
16.51/16.70	o 6010
16.51/16.75	o 6005
16.51/16.80	o 6000
16.61/16.84	o 5996
16.61/16.89	o 5992
16.71/16.92	o 5986
16.71/16.97	o 5983
16.71/16.99	o 5981
16.81/17.03	o 5979
16.81/17.06	o 5977
16.81/17.08	o 5975
16.91/17.12	o 5973
16.91/17.16	o 5971
16.91/17.19	o 5970
17.00/17.22	o 5969
17.00/17.26	o 5968
17.00/17.28	o 5962
17.10/17.31	o 5954
17.10/17.34	o 5952
17.10/17.36	o 5946
17.10/17.39	o 5943
17.20/17.45	o 5937
17.20/17.50	o 5934
17.31/17.55	o 5933
17.31/17.58	o 5928
17.41/17.62	o 5925
17.41/17.64	o 5922
17.41/17.66	o 5915
17.50/17.70	o 5913
17.50/17.75	o 5903
17.60/17.80	o 5897
17.60/17.84	o 5890
17.60/17.89	o 5883
17.70/17.95	o 5880
17.80/18.01	o 5874
17.80/18.05	o 5870
17.80/18.09	o 5867
17.90/18.13	o 5862
17.90/18.19	o 5859
18.00/18.22	o 5856
18.00/18.26	o 5853
18.00/18.30	o 5851
18.09/18.33	o 5849
18.09/18.36	o 5847
18.19/18.40	o 5845
18.19/18.43	o 5841
18.19/18.46	o 5840
18.19/18.49	o 5839
18.29/18.52	o 5838
18.39/18.64	o 5837
18.39/18.67	o 5830
18.49/18.71	o 5829
18.49/18.78	o 5827
18.59/18.82	o 5821
18.59/18.87	o 5817
18.69/18.91	o 5814
18.69/18.93	o 5809
18.69/18.97	o 5801
18.69/19.00	o 5798
18.79/19.04	o 5793
18.79/19.08	o 5790
18.89/19.12	o 5779
18.89/19.16	o 5776
19.08/19.31	o 5772
19.08/19.35	o 5766
19.18/19.41	o 5765
19.18/19.45	o 5758
19.28/19.51	o 5757
19.28/19.56	o 5750
19.38/19.61	o 5739
19.38/19.66	o 5733
19.48/19.71	o 5728
19.48/19.77	o 5727
19.58/19.83	o 5725
19.58/19.89	o 5718
19.67/19.96	o 5711
19.78/20.02	o 5705
19.78/20.08	o 5699
19.88/20.14	o 5694
19.88/20.20	o 5690
19.98/20.26	o 5686
20.08/20.31	o 5682
20.08/20.36	o 5678
20.18/20.42	o 5675
20.18/20.48	o 5672
20.27/20.53	o 5669
20.27/20.58	o 5666
20.37/20.63	o 5663
20.37/20.68	o 5660
20.47/20.74	o 5659
20.47/20.78	o 5656
20.57/20.83	o 5654
20.57/20.88	o 5652
20.67/20.92	o 5651
20.67/20.96	o 5642
20.76/21.08	o 5638
20.86/21.12	o 5632
20.86/21.16	o 5630
20.96/21.20	o 5623
20.96/21.27	o 5618
21.06/21.32	o 5615
21.06/21.36	o 5612
21.16/21.40	o 5607
21.26/21.56	o 5602
21.36/21.61	o 5593
21.36/21.68	o 5588
21.46/21.73	o 5586
21.46/21.79	o 5580
21.56/21.84	o 5577
21.66/21.95	o 5575
21.76/22.02	o 5572
21.76/22.07	o 5566
21.85/22.13	o 5563
22.15/22.45	o 5561
22.25/22.51	o 5556
22.25/22.57	o 5554
22.35/22.63	o 5551
22.35/22.69	o 5546
22.45/22.76	o 5540
22.55/22.82	o 5539
22.65/22.91	o 5536
22.65/22.98	o 5535
22.75/23.06	o 5532
22.85/23.12	o 5529
22.94/23.20	o 5526
22.94/23.26	o 5521
23.04/23.32	o 5520
23.04/23.38	o 5518
23.14/23.45	o 5515
23.24/23.50	o 5512
23.24/23.55	o 5509
23.34/23.63	o 5506
23.34/23.69	o 5499
23.44/23.74	o 5495
23.53/23.80	o 5490
23.63/23.93	o 5484
23.63/23.99	o 5479
23.73/24.08	o 5474
23.83/24.15	o 5469
23.93/24.23	o 5465
24.03/24.30	o 5460
24.03/24.38	o 5457
24.13/24.45	o 5453
24.23/24.52	o 5449
24.23/24.58	o 5446
24.33/24.63	o 5443
24.33/24.70	o 5440
24.53/24.81	o 5438
24.53/24.86	o 5435
24.63/24.91	o 5433
24.63/24.97	o 5431
24.73/25.03	o 5430
24.93/25.22	o 5428
24.93/25.27	o 5421
25.03/25.38	o 5419
25.12/25.43	o 5412
25.22/25.50	o 5410
25.22/25.56	o 5400
25.32/25.65	o 5399
25.42/25.70	o 5396
25.42/25.80	o 5395
25.52/25.87	o 5390
25.62/25.92	o 5385
25.62/25.96	o 5384
25.72/26.01	o 5383
25.72/26.05	o 5379
25.82/26.10	o 5373
25.82/26.15	o 5370
25.92/26.21	o 5366
25.92/26.26	o 5362
26.01/26.32	o 5357
26.01/26.38	o 5355
26.11/26.43	o 5354
26.11/26.49	o 5349
26.21/26.55	o 5346
26.31/26.62	o 5342
26.31/26.68	o 5341
26.41/26.75	o 5337
26.51/26.80	o 5334
26.61/26.95	o 5328
26.71/27.03	o 5320
26.80/27.11	o 5316
26.80/27.19	o 5315
26.90/27.27	o 5308
27.00/27.35	o 5307
27.10/27.42	o 5306
27.29/27.65	o 5303
27.40/27.73	o 5299
27.50/27.80	o 5296
27.50/27.88	o 5290
27.60/27.96	o 5285
27.70/28.04	o 5283
27.80/28.11	o 5277
27.80/28.19	o 5275
27.90/28.28	o 5273
28.00/28.37	o 5271
28.09/28.44	o 5269
28.19/28.52	o 5262
28.19/28.59	o 5254
28.29/28.67	o 5253
28.39/28.75	o 5245
28.49/28.84	o 5244
28.59/28.90	o 5236
28.59/28.98	o 5231
28.69/29.06	o 5227
28.79/29.15	o 5225
28.89/29.21	o 5219
28.89/29.27	o 5212
29.08/29.41	o 5209
29.08/29.48	o 5206
29.18/29.54	o 5203
29.28/29.62	o 5202
29.28/29.69	o 5201
29.38/29.75	o 5199
29.47/29.86	o 5195
29.57/29.98	o 5189
29.67/30.07	o 5188
29.77/30.12	o 5183
29.87/30.23	o 5182
29.87/30.30	o 5179
29.97/30.39	o 5177
30.07/30.46	o 5176
30.17/30.53	o 5174
30.17/30.58	o 5170
30.27/30.64	o 5167
30.36/30.71	o 5165
30.36/30.78	o 5164
30.47/30.86	o 5162
30.57/30.94	o 5156
30.67/31.03	o 5154
30.77/31.12	o 5147
30.87/31.28	o 5142
30.97/31.36	o 5140
31.07/31.43	o 5135
31.07/31.49	o 5134
31.26/31.65	o 5129
31.36/31.74	o 5128
31.46/31.82	o 5123
31.56/31.90	o 5115
31.56/31.99	o 5114
31.65/32.07	o 5111
31.85/32.27	o 5108
31.95/32.37	o 5107
32.15/32.55	o 5102
32.45/32.82	o 5095
32.55/32.91	o 5094
32.55/33.00	o 5093
32.94/33.38	o 5088
33.04/33.47	o 5086
33.34/33.77	o 5084
33.54/33.97	o 5083
33.74/34.17	o 5080
33.83/34.26	o 5076
33.93/34.36	o 5072
34.03/34.45	o 5070
34.13/34.55	o 5068
34.33/34.76	o 5066
34.63/35.08	o 5065
34.73/35.17	o 5060
34.92/35.37	o 5055
35.12/35.58	o 5053
35.22/35.67	o 5052
35.32/35.79	o 5050
35.42/35.89	o 5047
35.51/35.99	o 5042
35.61/36.09	o 5038
36.21/36.60	o 5036
36.30/36.71	o 5034
36.40/36.81	o 5032
36.51/36.92	o 5030
36.61/37.02	o 5029
37.01/37.43	o 5025
37.10/37.52	o 5020
37.20/37.63	o 5019
37.50/37.93	o 5018
37.60/38.05	o 5016
37.69/38.14	o 5013
37.99/38.46	o 5009
38.09/38.56	o 5008
38.19/38.67	o 5005
38.29/38.77	o 5004
38.39/38.88	o 5003
38.49/38.99	o 4999
38.58/39.10	o 4998
38.78/39.22	o 4990
38.88/39.32	o 4988
38.98/39.43	o 4982
39.08/39.56	o 4979
39.18/39.66	o 4976
39.47/39.90	o 4974
39.57/40.01	o 4969
39.67/40.12	o 4965
39.77/40.24	o 4961
39.87/40.35	o 4955
39.96/40.46	o 4949
40.16/40.69	o 4942
40.36/40.89	o 4940
40.56/41.09	o 4936
40.76/41.23	o 4935
40.86/41.34	o 4933
40.95/41.44	o 4931
41.05/41.58	o 4928
41.15/41.68	o 4926
41.25/41.79	o 4925
41.45/41.90	o 4920
41.55/42.01	o 4918
41.65/42.12	o 4914
41.75/42.23	o 4913
41.85/42.34	o 4904
41.95/42.46	o 4900
42.35/42.81	o 4896
42.45/42.92	o 4893
42.54/43.03	o 4890
42.64/43.15	o 4886
42.74/43.24	o 4883
42.84/43.36	o 4879
42.94/43.46	o 4877
43.04/43.58	o 4873
43.14/43.69	o 4869
43.24/43.79	o 4864
43.34/43.88	o 4860
43.44/43.98	o 4857
43.54/44.09	o 4854
43.73/44.21	o 4853
43.73/44.30	o 4848
44.13/44.62	o 4842
44.23/44.75	o 4836
44.43/44.98	o 4831
44.72/45.22	o 4826
44.82/45.33	o 4824
44.92/45.44	o 4822
45.02/45.57	o 4819
45.12/45.68	o 4817
45.32/45.80	o 4813
45.42/45.92	o 4811
45.52/46.05	o 4805
45.91/46.41	o 4803
46.11/46.64	o 4800
46.21/46.75	o 4796
46.31/46.86	o 4794
46.40/46.98	o 4792
46.50/47.09	o 4791
46.80/47.32	o 4788
47.00/47.54	o 4778
47.10/47.65	o 4773
47.30/47.88	o 4772
47.49/48.01	o 4765
47.59/48.11	o 4759
47.69/48.23	o 4757
47.79/48.36	o 4752
47.89/48.48	o 4747
47.98/48.59	o 4745
48.18/48.70	o 4744
48.28/48.82	o 4742
48.48/49.06	o 4737
48.58/49.19	o 4732
48.78/49.31	o 4730
48.98/49.56	o 4728
49.27/49.81	o 4724
49.37/49.92	o 4721
49.47/50.05	o 4717
49.87/50.44	o 4715
49.97/50.57	o 4712
50.07/50.68	o 4710
50.36/50.96	o 4704
50.46/51.10	o 4702
50.66/51.26	o 4699
51.06/51.67	o 4696
51.56/52.11	o 4694
51.85/52.45	o 4692
51.95/52.60	o 4690
52.15/52.76	o 4688
52.35/52.92	o 4685
52.45/53.08	o 4682
52.65/53.23	o 4679
52.75/53.39	o 4673
53.14/53.74	o 4670
53.24/53.90	o 4665
53.44/54.02	o 4661
53.54/54.17	o 4658
53.64/54.30	o 4655
53.84/54.45	o 4654
53.94/54.59	o 4651
54.13/54.74	o 4650
54.23/54.87	o 4647
54.52/55.17	o 4646
54.72/55.31	o 4643
54.82/55.44	o 4635
54.92/55.58	o 4632
55.12/55.71	o 4629
55.22/55.85	o 4628
55.42/56.01	o 4626
55.52/56.15	o 4623
55.81/56.41	o 4622
55.91/56.54	o 4620
56.01/56.67	o 4618
56.21/56.82	o 4615
56.31/56.95	o 4612
57.10/57.74	o 4611
57.20/57.85	o 4606
57.39/58.08	o 4602
57.79/58.44	o 4600
57.89/58.58	o 4597
57.99/58.69	o 4596
58.38/59.06	o 4594
58.48/59.19	o 4590
58.98/59.69	o 4588
59.18/59.83	o 4585
59.28/59.96	o 4584
59.57/60.23	o 4583
59.67/60.37	o 4579
59.87/60.50	o 4573
60.06/60.78	o 4568
60.26/60.91	o 4564
60.36/61.07	o 4563
60.56/61.20	o 4558
60.67/61.33	o 4556
60.77/61.47	o 4554
60.97/61.62	o 4552
61.06/61.74	o 4551
61.16/61.88	o 4549
61.36/62.01	o 4547
61.46/62.15	o 4543
61.56/62.30	o 4541
61.76/62.44	o 4540
62.06/62.74	o 4539
62.15/62.87	o 4538
62.35/63.03	o 4533
62.45/63.19	o 4529
62.75/63.47	o 4525
62.94/63.62	o 4524
63.04/63.77	o 4521
63.24/63.91	o 4519
63.54/64.22	o 4518
63.64/64.37	o 4517
63.83/64.52	o 4515
63.93/64.69	o 4510
64.13/64.85	o 4500
64.33/65.01	o 4498
64.63/65.31	o 4496
64.73/65.45	o 4492
64.92/65.60	o 4489
65.02/65.75	o 4488
65.32/66.06	o 4486
65.62/66.33	o 4485
65.92/66.65	o 4481
66.11/66.80	o 4479
66.21/66.95	o 4478
66.41/67.11	o 4477
66.50/67.26	o 4476
67.10/67.86	o 4475
67.30/68.01	o 4471
67.69/68.46	o 4470
67.89/68.63	o 4467
67.99/68.77	o 4464
68.19/68.92	o 4463
68.49/69.26	o 4460
68.68/69.43	o 4459
68.88/69.61	o 4457
69.08/69.81	o 4455
69.38/70.17	o 4450
69.58/70.32	o 4448
69.68/70.47	o 4439
69.87/70.63	o 4435
70.07/70.81	o 4432
70.17/70.98	o 4426
70.37/71.16	o 4424
70.57/71.34	o 4421
70.76/71.51	o 4414
70.86/71.69	o 4410
71.06/71.87	o 4404
71.26/72.05	o 4403
71.45/72.25	o 4402
71.75/72.59	o 4401
71.95/72.77	o 4394
72.15/72.94	o 4393
72.35/73.12	o 4388
72.45/73.29	o 4383
72.64/73.47	o 4381
72.84/73.63	o 4380
73.03/73.80	o 4376
73.53/74.33	o 4375
74.22/75.08	o 4370
74.42/75.28	o 4367
74.62/75.47	o 4366
75.22/76.04	o 4364
75.42/76.24	o 4362
75.92/76.79	o 4358
76.12/76.98	o 4353
76.31/77.16	o 4351
77.20/78.05	o 4349
77.40/78.23	o 4345
77.60/78.42	o 4341
78.29/79.17	o 4339
79.08/79.94	o 4338
79.28/80.13	o 4334
79.48/80.33	o 4332
79.67/80.51	o 4331
79.77/80.69	o 4327
79.97/80.88	o 4325
80.37/81.25	o 4323
80.57/81.45	o 4321
80.76/81.63	o 4317
80.96/81.83	o 4311
81.16/82.02	o 4306
81.36/82.22	o 4303
81.55/82.42	o 4301
81.75/82.62	o 4300
81.95/82.83	o 4298
82.15/83.04	o 4295
82.54/83.45	o 4289
82.74/83.69	o 4287
83.14/84.09	o 4285
83.53/84.49	o 4283
83.73/84.70	o 4281
83.93/84.89	o 4279
84.32/85.27	o 4278
84.52/85.48	o 4276
84.72/85.68	o 4272
84.92/85.87	o 4268
85.11/86.06	o 4264
85.31/86.25	o 4263
85.52/86.45	o 4259
85.72/86.65	o 4257
85.92/86.85	o 4254
86.31/87.22	o 4251
86.70/87.60	o 4246
86.80/87.79	o 4245
87.00/87.97	o 4240
87.20/88.17	o 4236
87.40/88.34	o 4234
87.60/88.54	o 4227
87.99/88.92	o 4223
88.19/89.13	o 4221
88.39/89.32	o 4214
88.59/89.52	o 4211
88.79/89.71	o 4209
88.98/89.91	o 4207
89.08/90.09	o 4206
89.28/90.28	o 4204
90.07/91.05	o 4202
90.27/91.25	o 4199
90.46/91.44	o 4198
90.76/91.79	o 4195
91.36/92.33	o 4194
91.65/92.67	o 4191
91.85/92.86	o 4190
92.05/93.07	o 4188
92.25/93.25	o 4184
92.64/93.63	o 4181
92.84/93.81	o 4178
93.83/94.80	o 4174
93.93/94.99	o 4172
94.13/95.18	o 4170
94.33/95.39	o 4168
94.53/95.59	o 4165
94.72/95.77	o 4161
94.92/95.99	o 4160
95.12/96.18	o 4155
95.32/96.39	o 4154
95.51/96.59	o 4151
95.91/96.96	o 4149
96.11/97.18	o 4148
96.31/97.38	o 4144
97.00/98.08	o 4141
97.50/98.52	o 4140
97.69/98.76	o 4136
98.19/99.20	o 4130
98.78/99.88	o 4128
99.27/100.34	o 4126
99.77/100.81	o 4124
99.97/101.03	o 4120
100.36/101.48	o 4117
100.66/101.70	o 4113
100.86/101.93	o 4110
101.06/102.15	o 4108
101.35/102.40	o 4104
101.55/102.64	o 4103
101.75/102.84	o 4102
101.95/103.08	o 4100
102.44/103.51	o 4098
102.64/103.75	o 4096
103.04/104.19	o 4093
103.34/104.42	o 4091
103.93/105.08	o 4090
104.13/105.29	o 4089
104.62/105.71	o 4085
105.02/106.14	o 4082
105.22/106.36	o 4079
105.42/106.58	o 4072
105.62/106.78	o 4067
105.92/107.00	o 4065
106.31/107.43	o 4062
106.51/107.66	o 4057
106.81/107.90	o 4056
107.01/108.11	o 4055
107.21/108.33	o 4054
107.40/108.55	o 4051
107.90/109.00	o 4050
108.30/109.43	o 4049
108.49/109.65	o 4048
109.19/110.31	o 4047
109.58/110.75	o 4045
109.78/110.95	o 4043
110.17/111.37	o 4042
110.57/111.79	o 4039
110.67/111.83	o 4035
110.87/112.04	o 4032
111.56/112.75	o 4028
111.76/112.97	o 4025
112.65/113.80	o 4023
113.94/115.17	o 4022
114.24/115.42	o 4017
114.43/115.65	o 4012
114.73/115.90	o 4009
115.12/116.38	o 4008
115.42/116.66	o 4005
115.72/116.91	o 4004
115.92/117.17	o 4001
116.21/117.43	o 3999
116.41/117.69	o 3997
116.71/117.93	o 3992
117.20/118.45	o 3989
117.40/118.70	o 3986
117.89/119.19	o 3984
118.19/119.46	o 3982
118.49/119.71	o 3980
118.69/119.97	o 3979
118.98/120.23	o 3978
119.18/120.48	o 3976
119.78/121.01	o 3972
119.97/121.27	o 3970
120.27/121.54	o 3968
120.57/121.81	o 3965
120.77/122.07	o 3964
121.06/122.34	o 3963
121.86/123.10	o 3961
122.05/123.35	o 3960
122.55/123.86	o 3956
122.85/124.13	o 3955
123.05/124.38	o 3953
124.14/125.43	o 3950
124.34/125.69	o 3948
124.64/125.94	o 3946
124.83/126.19	o 3945
125.63/126.94	o 3942
125.92/127.20	o 3941
126.61/127.98	o 3939
127.41/128.71	o 3937
127.60/128.96	o 3934
128.10/129.46	o 3929
128.59/129.98	o 3926
128.89/130.24	o 3923
129.19/130.52	o 3922
129.98/131.33	o 3918
130.18/131.59	o 3916
131.47/132.89	o 3914
131.76/133.15	o 3911
132.06/133.44	o 3910
132.36/133.72	o 3908
134.44/135.81	o 3905
134.63/136.04	o 3903
134.93/136.31	o 3898
135.12/136.56	o 3896
135.42/136.81	o 3895
136.31/137.72	o 3893
136.52/137.98	o 3888
136.81/138.24	o 3886
137.01/138.48	o 3885
138.11/139.52	o 3880
138.60/140.03	o 3879
138.90/140.30	o 3878
139.10/140.55	o 3877
139.40/140.81	o 3876
139.59/141.09	o 3875
139.89/141.36	o 3874
140.19/141.63	o 3873
140.39/141.90	o 3870
140.68/142.15	o 3864
140.98/142.41	o 3860
141.17/142.67	o 3855
141.47/142.93	o 3852
141.97/143.48	o 3850
142.26/143.75	o 3848
142.76/144.29	o 3847
143.26/144.75	o 3843
143.45/144.98	o 3838
143.75/145.26	o 3837
144.05/145.53	o 3833
144.25/145.79	o 3829
144.54/146.05	o 3827
144.84/146.33	o 3826
145.04/146.60	o 3823
145.33/146.88	o 3822
145.93/147.44	o 3820
146.22/147.71	o 3818
146.42/147.99	o 3817
147.61/149.11	o 3813
149.49/151.00	o 3812
149.69/151.27	o 3810
149.98/151.53	o 3809
150.18/151.80	o 3807
150.78/152.33	o 3803
151.07/152.62	o 3802
151.27/152.89	o 3797
151.57/153.19	o 3793
151.86/153.46	o 3792
152.16/153.72	o 3791
152.37/154.00	o 3790
152.66/154.25	o 3788
152.96/154.51	o 3787
153.26/154.80	o 3784
153.46/155.09	o 3780
153.75/155.36	o 3777
154.05/155.63	o 3776
154.35/155.90	o 3774
154.84/156.43	o 3771
155.04/156.61	o 3770
155.24/156.87	o 3765
155.54/157.12	o 3761
155.74/157.37	o 3757
158.21/159.82	o 3754
158.41/160.08	o 3753
158.70/160.34	o 3749
158.90/160.60	o 3744
159.20/160.85	o 3743
159.50/161.11	o 3741
159.69/161.37	o 3740
159.99/161.64	o 3737
160.29/161.92	o 3734
160.49/162.16	o 3731
160.78/162.44	o 3725
161.38/163.00	o 3724
161.87/163.57	o 3721
162.17/163.86	o 3718
163.85/165.54	o 3716
164.15/165.81	o 3714
164.35/166.09	o 3711
164.94/166.67	o 3708
166.13/167.81	o 3707
169.30/171.04	o 3706
169.60/171.33	o 3703
170.49/172.24	o 3702
170.79/172.55	o 3699
171.08/172.84	o 3694
171.38/173.13	o 3691
171.67/173.43	o 3689
171.97/173.73	o 3686
172.27/174.03	o 3683
172.57/174.33	o 3679
172.86/174.64	o 3677
173.16/174.93	o 3676
173.46/175.22	o 3673
174.05/175.81	o 3672
174.34/176.10	o 3667
174.64/176.40	o 3665
175.14/176.96	o 3663
175.44/177.25	o 3660
175.74/177.52	o 3658
176.04/177.82	o 3656
176.34/178.10	o 3655
177.43/179.24	o 3651
177.92/179.77	o 3647
178.71/180.53	o 3646
179.01/180.81	o 3645
179.30/181.12	o 3643
179.60/181.45	o 3639
180.20/182.03	o 3633
180.79/182.61	o 3631
183.36/185.29	o 3630
184.35/186.20	o 3624
184.55/186.50	o 3623
185.24/187.11	o 3620
187.02/188.95	o 3618
187.32/189.27	o 3615
187.62/189.58	o 3612
188.01/189.91	o 3611
188.31/190.23	o 3608
188.61/190.56	o 3607
192.78/194.74	o 3606
193.07/195.04	o 3605
193.37/195.37	o 3603
193.77/195.71	o 3602
194.06/196.05	o 3599
195.35/197.39	o 3598
196.05/198.08	o 3594
196.44/198.41	o 3592
197.04/199.08	o 3589
198.02/200.02	o 3587
198.32/200.33	o 3582
198.62/200.69	o 3579
199.01/201.00	o 3574
199.31/201.32	o 3573
200.20/202.26	o 3572
200.50/202.59	o 3570
203.77/205.80	o 3568
204.36/206.42	o 3565
204.66/206.73	o 3561
205.25/207.36	o 3560
205.55/207.68	o 3556
206.24/208.30	o 3555
206.44/208.57	o 3554
206.74/208.87	o 3553
207.43/209.50	o 3552
210.60/212.71	o 3550
210.89/213.04	o 3547
211.20/213.36	o 3545
211.90/214.01	o 3544
212.19/214.33	o 3543
212.49/214.66	o 3542
213.08/215.28	o 3538
213.48/215.61	o 3537
214.67/216.88	o 3535
215.07/217.21	o 3534
215.96/218.19	o 3533
218.23/220.44	o 3532
219.12/221.37	o 3527
219.42/221.66	o 3523
219.72/221.98	o 3520
220.11/222.32	o 3517
221.01/223.29	o 3516
221.41/223.60	o 3515
221.71/223.92	o 3511
222.00/224.25	o 3508
222.30/224.58	o 3507
222.60/224.89	o 3506
222.99/225.22	o 3505
223.68/225.91	o 3503
223.98/226.28	o 3500
224.38/226.67	o 3498
225.47/227.72	o 3496
225.76/228.02	o 3494
226.35/228.66	o 3493
227.74/230.03	o 3491
228.43/230.74	o 3490
228.83/231.11	o 3485
232.89/235.23	o 3484
233.58/235.93	o 3482
234.67/237.01	o 3480
236.85/239.20	o 3477
237.15/239.58	o 3476
239.03/241.46	o 3473
239.43/241.84	o 3470
239.82/242.22	o 3468
240.22/242.63	o 3466
240.62/243.02	o 3463
241.41/243.81	o 3460
241.81/244.23	o 3457
242.20/244.65	o 3455
242.99/245.45	o 3453
244.28/246.70	o 3451
245.47/247.94	o 3450
248.34/250.88	o 3448
249.23/251.74	o 3446
249.73/252.20	o 3445
250.13/252.64	o 3442
251.32/253.90	o 3439
251.81/254.34	o 3437
253.99/256.54	o 3436
254.39/256.95	o 3434
255.28/257.81	o 3429
256.97/259.52	o 3428
257.36/259.93	o 3425
259.25/261.81	o 3421
259.64/262.20	o 3420
260.03/262.62	o 3417
260.63/263.28	o 3415
261.12/263.71	o 3413
261.52/264.14	o 3410
261.92/264.54	o 3408
262.31/264.95	o 3407
262.71/265.37	o 3404
264.00/266.63	o 3403
264.79/267.43	o 3399
267.16/269.81	o 3397
268.35/271.04	o 3394
268.75/271.43	o 3392
269.14/271.80	o 3388
269.44/272.18	o 3386
270.23/273.00	o 3384
270.73/273.42	o 3381
271.52/274.27	o 3378
271.92/274.70	o 3376
272.81/275.51	o 3372
279.64/282.43	o 3371
280.44/283.26	o 3369
280.84/283.66	o 3366
281.24/284.08	o 3365
281.73/284.50	o 3363
282.92/285.75	o 3362
283.31/286.17	o 3360
285.00/287.86	o 3357
287.97/290.87	o 3355
289.26/292.13	o 3354
289.65/292.55	o 3351
290.05/292.96	o 3350
290.44/293.38	o 3347
291.24/294.13	o 3346
291.63/294.54	o 3345
292.43/295.37	o 3343
292.82/295.77	o 3341
295.99/298.95	o 3338
296.29/299.29	o 3336
297.57/300.59	o 3335
300.94/303.97	o 3332
304.21/307.24	o 3327
307.19/310.21	o 3325
307.58/310.63	o 3324
309.07/312.16	o 3322
309.46/312.53	o 3318
309.66/312.78	o 3316
310.06/313.16	o 3314
322.74/325.90	o 3313
323.13/326.33	o 3309
331.35/334.69	o 3308
331.85/335.19	o 3307
332.44/335.70	o 3306
333.34/336.64	o 3303
333.83/337.12	o 3298
334.72/338.04	o 3297
335.22/338.53	o 3296
335.61/338.97	o 3295
337.11/340.45	o 3294
338.00/341.35	o 3292
338.20/341.53	o 3291
338.69/342.03	o 3285
339.19/342.53	o 3283
340.67/344.01	o 3282
341.17/344.50	o 3281
341.57/344.99	o 3277
344.04/347.45	o 3274
344.53/347.94	o 3272
345.03/348.44	o 3270
345.23/348.70	o 3269
345.72/349.18	o 3265
346.22/349.66	o 3263
347.01/350.46	o 3259
347.31/350.76	o 3256
347.70/351.12	o 3254
348.10/351.58	o 3251
348.50/351.98	o 3249
350.38/353.88	o 3248
350.87/354.37	o 3244
351.37/354.84	o 3243
353.25/356.79	o 3241
353.74/357.29	o 3239
354.34/357.82	o 3237
354.83/358.31	o 3235
355.23/358.79	o 3234
355.73/359.29	o 3233
358.69/362.21	o 3232
360.08/363.67	o 3230
360.58/364.15	o 3228
361.07/364.63	o 3226
361.57/365.13	o 3221
362.56/366.12	o 3220
363.45/367.04	o 3217
363.94/367.51	o 3214
364.14/367.79	o 3206
367.02/370.67	o 3205
368.89/372.57	o 3202
369.39/373.04	o 3198
369.79/373.49	o 3195
372.96/376.61	o 3193
375.24/378.93	o 3192
376.13/379.88	o 3190
386.14/389.97	o 3188
387.62/391.42	o 3187
388.61/392.41	o 3184
389.41/393.20	o 3179
389.80/393.68	o 3174
390.79/394.61	o 3170
391.69/395.56	o 3168
392.18/396.04	o 3167
392.68/396.52	o 3166
393.07/396.98	o 3164
394.46/398.35	o 3162
394.96/398.80	o 3160
395.35/399.29	o 3158
399.90/403.80	o 3156
400.30/404.27	o 3154
402.18/406.12	o 3153
402.58/406.58	o 3152
403.07/407.06	o 3151
403.57/407.52	o 3149
403.96/407.97	o 3146
404.46/408.44	o 3142
404.95/408.91	o 3140
406.24/410.29	o 3136
407.23/411.23	o 3133
408.12/412.19	o 3130
409.12/413.11	o 3126
409.91/413.92	o 3123
410.30/414.39	o 3122
410.80/414.85	o 3121
412.68/416.72	o 3120
413.07/417.15	o 3119
413.57/417.62	o 3118
413.97/418.04	o 3116
414.46/418.51	o 3109
414.86/418.97	o 3107
415.35/419.43	o 3105
417.14/421.23	o 3104
417.53/421.65	o 3098
417.93/422.09	o 3094
418.42/422.53	o 3092
418.82/422.98	o 3088
419.71/423.86	o 3087
420.20/424.31	o 3084
420.60/424.78	o 3082
421.10/425.21	o 3078
421.49/425.68	o 3077
421.99/426.10	o 3076
422.38/426.56	o 3074
423.75/427.96	o 3070
431.68/435.92	o 3068
432.57/436.86	o 3067
433.07/437.32	o 3065
433.56/437.81	o 3062
433.96/438.27	o 3058
435.34/439.69	o 3054
435.84/440.14	o 3052
442.97/447.32	o 3049
446.93/451.38	o 3048
447.92/452.33	o 3045
453.07/457.52	o 3044
453.57/458.00	o 3043
453.96/458.48	o 3041
458.52/463.01	o 3037
459.31/463.88	o 3034
459.80/464.33	o 3033
460.10/464.67	o 3031
460.60/465.12	o 3029
461.49/466.04	o 3028
467.53/472.15	o 3025
468.03/472.60	o 3023
468.82/473.49	o 3019
469.32/473.93	o 3016
470.11/474.79	o 3014
470.61/475.25	o 3010
470.70/475.37	o 3006
471.20/475.82	o 3002
471.59/476.21	o 2999
472.00/476.66	o 2995
473.78/478.46	o 2993
475.16/479.83	o 2991
476.95/481.61	o 2990
477.15/481.85	o 2989
477.54/482.30	o 2988
478.24/482.99	o 2985
480.51/485.26	o 2983
481.41/486.15	o 2979
482.29/487.07	o 2978
484.57/489.36	o 2977
485.07/489.84	o 2973
485.46/490.28	o 2971
488.14/492.97	o 2969
488.93/493.77	o 2967
489.82/494.67	o 2964
491.21/496.01	o 2960
491.60/496.44	o 2956
492.00/496.83	o 2951
492.50/497.30	o 2946
492.89/497.75	o 2943
493.39/498.23	o 2941
494.77/499.60	o 2938
495.17/500.05	o 2936
496.06/500.95	o 2933
497.25/502.14	o 2930
499.13/504.02	o 2928
500.03/504.95	o 2925
502.30/507.26	o 2920
503.69/508.64	o 2917
503.98/508.98	o 2915
504.28/509.24	o 2913
504.68/509.69	o 2910
506.07/511.05	o 2908
507.35/512.39	o 2906
507.85/512.86	o 2905
508.34/513.31	o 2903
508.74/513.76	o 2899
509.24/514.21	o 2896
509.63/514.68	o 2894
510.13/515.14	o 2892
515.47/520.50	o 2891
516.86/521.95	o 2888
519.14/524.29	o 2887
521.91/527.00	o 2884
522.80/527.95	o 2882
523.30/528.44	o 2880
523.79/528.92	o 2879
524.19/529.38	o 2877
533.21/538.45	o 2876
533.71/538.92	o 2874
538.96/544.29	o 2873
540.44/545.78	o 2872
542.13/547.48	o 2869
542.92/548.28	o 2866
544.21/549.56	o 2863
544.70/550.08	o 2860
546.39/551.71	o 2859
547.77/553.16	o 2855
548.27/553.66	o 2854
551.14/556.51	o 2853
551.64/557.00	o 2851
555.89/561.39	o 2849
556.39/561.87	o 2847
556.88/562.37	o 2842
559.76/565.23	o 2839
560.25/565.72	o 2831
561.24/566.72	o 2830
564.72/570.23	o 2828
565.21/570.71	o 2827
565.71/571.21	o 2826
566.69/572.22	o 2822
567.88/573.45	o 2819
568.38/573.95	o 2817
568.87/574.44	o 2816
569.86/575.43	o 2815
570.36/575.95	o 2813
578.98/584.64	o 2809
579.47/585.15	o 2808
579.97/585.65	o 2807
580.46/586.15	o 2806
581.95/587.67	o 2805
583.53/589.20	o 2802
585.91/591.61	o 2799
588.38/594.15	o 2797
588.58/594.39	o 2793
589.18/594.91	o 2790
589.57/595.36	o 2787
589.97/595.79	o 2786
590.56/596.31	o 2785
592.55/598.34	o 2783
593.04/598.84	o 2781
593.53/599.35	o 2780
595.42/601.28	o 2779
595.92/601.79	o 2778
596.41/602.27	o 2777
602.35/608.22	o 2774
605.03/610.90	o 2773
605.52/611.40	o 2772
606.02/611.90	o 2769
606.51/612.41	o 2765
607.00/612.95	o 2764
607.99/613.95	o 2763
608.99/614.94	o 2761
609.28/615.29	o 2759
609.78/615.80	o 2758
613.35/619.39	o 2757
615.93/621.97	o 2756
616.42/622.50	o 2755
616.92/622.99	o 2754
617.51/623.54	o 2753
622.07/628.10	o 2750
622.57/628.61	o 2748
627.81/633.95	o 2743
628.31/634.46	o 2742
628.80/634.96	o 2740
629.30/635.47	o 2739
629.79/635.99	o 2737
630.29/636.49	o 2736
631.28/637.49	o 2733
631.78/637.92	o 2731
632.17/638.35	o 2730
632.56/638.77	o 2729
633.06/639.27	o 2726
633.56/639.77	o 2721
634.05/640.21	o 2720
636.23/642.48	o 2717
638.21/644.48	o 2715
638.81/645.02	o 2713
639.30/645.54	o 2711
639.80/646.04	o 2710
640.79/647.09	o 2708
641.38/647.61	o 2707
641.87/648.12	o 2704
642.37/648.61	o 2702
642.77/649.09	o 2699
643.26/649.59	o 2698
643.86/650.10	o 2697
644.75/651.01	o 2695
645.94/652.29	o 2692
646.33/652.65	o 2688
646.83/653.12	o 2685
648.71/655.05	o 2684
649.21/655.51	o 2679
650.09/656.44	o 2678
650.99/657.33	o 2674
651.88/658.26	o 2672
653.17/659.51	o 2671
653.56/659.99	o 2670
655.44/661.84	o 2669
655.84/662.30	o 2667
657.23/663.66	o 2664
659.20/665.69	o 2663
659.80/666.20	o 2660
660.29/666.73	o 2659
661.78/668.22	o 2657
664.26/670.76	o 2656
664.75/671.26	o 2653
666.24/672.78	o 2651
666.73/673.28	o 2649
667.72/674.27	o 2648
668.12/674.68	o 2646
668.61/675.18	o 2644
669.11/675.68	o 2643
670.60/677.18	o 2642
672.97/679.57	o 2640
674.96/681.57	o 2639
675.95/682.55	o 2637
677.34/683.92	o 2636
677.73/684.37	o 2635
678.23/684.89	o 2632
679.72/686.32	o 2628
685.86/692.51	o 2626
688.44/695.18	o 2623
689.03/695.72	o 2619
689.23/695.98	o 2617
689.82/696.52	o 2615
695.36/702.19	o 2614
696.45/703.23	o 2613
696.95/703.73	o 2611
697.44/704.24	o 2609
697.94/704.75	o 2606
698.43/705.30	o 2605
699.33/706.16	o 2604
699.72/706.56	o 2600
700.22/707.06	o 2596
700.71/707.58	o 2595
701.51/708.33	o 2592
702.50/709.32	o 2589
702.99/709.82	o 2588
704.08/710.90	o 2586
704.58/711.45	o 2585
705.07/712.00	o 2583
706.75/713.60	o 2581
707.25/714.15	o 2580
707.74/714.67	o 2578
708.24/715.14	o 2576
708.74/715.67	o 2573
711.41/718.34	o 2569
711.91/718.84	o 2568
719.73/726.75	o 2566
720.22/727.29	o 2565
720.82/727.84	o 2564
721.31/728.37	o 2562
721.91/728.90	o 2561
724.98/732.01	o 2560
725.48/732.59	o 2559
726.57/733.69	o 2558
727.16/734.22	o 2555
727.66/734.79	o 2554
728.25/735.34	o 2551
729.35/736.43	o 2548
729.64/736.71	o 2544
730.14/737.26	o 2539
731.23/738.37	o 2538
732.91/740.05	o 2537
733.50/740.63	o 2536
734.00/741.18	o 2535
735.19/742.33	o 2533
735.68/742.82	o 2529
736.18/743.34	o 2525
738.85/746.09	o 2524
740.04/747.23	o 2522
740.53/747.71	o 2519
741.03/748.27	o 2516
741.63/748.87	o 2512
742.23/749.43	o 2511
742.82/750.01	o 2509
743.31/750.55	o 2503
743.81/751.08	o 2501
745.00/752.23	o 2496
745.59/752.80	o 2494
746.19/753.41	o 2493
755.00/762.39	o 2491
755.60/762.96	o 2487
756.09/763.48	o 2485
758.37/765.78	o 2484
758.96/766.37	o 2481
760.74/768.14	o 2476
761.04/768.47	o 2472
762.23/769.63	o 2470
762.82/770.23	o 2469
763.32/770.73	o 2467
765.00/772.47	o 2466
766.19/773.66	o 2465
767.88/775.35	o 2462
769.06/776.50	o 2461
770.15/777.68	o 2459
770.75/778.26	o 2458
776.20/783.77	o 2454
776.80/784.33	o 2452
777.89/785.48	o 2451
782.44/790.05	o 2450
783.04/790.63	o 2449
783.63/791.20	o 2448
784.12/791.76	o 2444
784.42/792.05	o 2443
785.02/792.62	o 2442
785.51/793.12	o 2440
786.01/793.69	o 2439
786.60/794.26	o 2437
789.38/797.02	o 2435
789.97/797.63	o 2434
791.06/798.78	o 2433
792.25/799.93	o 2430
793.93/801.61	o 2426
794.42/802.16	o 2424
795.02/802.73	o 2422
799.28/807.04	o 2421
800.27/808.01	o 2420
800.77/808.56	o 2415
801.36/809.11	o 2413
801.85/809.67	o 2412
803.04/810.81	o 2409
803.73/811.55	o 2408
804.23/812.10	o 2407
804.82/812.64	o 2405
808.79/816.61	o 2404
809.29/817.13	o 2403
810.87/818.74	o 2402
812.45/820.30	o 2401
813.84/821.73	o 2397
814.93/822.86	o 2395
815.23/823.12	o 2388
815.63/823.58	o 2385
816.22/824.13	o 2383
818.20/826.17	o 2382
818.70/826.70	o 2379
820.38/828.31	o 2378
820.58/828.56	o 2372
821.07/829.08	o 2370
821.67/829.65	o 2367
822.76/830.73	o 2363
823.05/831.08	o 2358
823.65/831.60	o 2354
827.31/835.39	o 2352
829.00/837.02	o 2350
829.49/837.56	o 2348
830.58/838.66	o 2346
833.85/841.99	o 2345
834.94/843.09	o 2344
836.62/844.79	o 2342
838.41/846.56	o 2338
840.19/848.32	o 2334
840.78/848.91	o 2331
847.91/856.17	o 2330
848.41/856.62	o 2329
848.80/857.02	o 2327
850.48/858.72	o 2326
851.08/859.30	o 2325
851.57/859.87	o 2324
852.76/861.01	o 2323
855.04/863.36	o 2322
855.63/863.92	o 2321
863.07/871.45	o 2317
866.64/875.05	o 2313
867.73/876.18	o 2311
868.22/876.68	o 2309
869.31/877.71	o 2306
869.81/878.26	o 2305
870.30/878.75	o 2302
873.96/882.47	o 2300
875.05/883.56	o 2297
875.45/883.98	o 2293
876.54/885.09	o 2290
877.13/885.65	o 2288
879.41/887.91	o 2286
879.91/888.46	o 2282
880.50/889.01	o 2278
884.46/893.05	o 2276
884.96/893.58	o 2272
886.05/894.68	o 2271
886.64/895.20	o 2270
887.63/896.27	o 2265
888.23/896.83	o 2264
897.04/905.72	o 2263
897.54/906.27	o 2262
898.63/907.40	o 2261
899.42/908.16	o 2259
902.00/910.80	o 2258
902.59/911.33	o 2256
902.99/911.74	o 2255
903.48/912.28	o 2254
904.07/912.84	o 2251
905.16/913.91	o 2248
907.34/916.15	o 2247
907.94/916.72	o 2246
908.43/917.25	o 2244
909.03/917.81	o 2243
909.52/918.39	o 2242
910.71/919.55	o 2239
915.87/924.74	o 2237
916.46/925.36	o 2236
918.54/927.47	o 2235
919.14/928.07	o 2234
919.44/928.31	o 2231
919.93/928.87	o 2230
920.33/929.27	o 2227
920.92/929.83	o 2224
929.04/938.07	o 2223
929.64/938.68	o 2222
934.99/944.03	o 2220
937.96/947.06	o 2219
938.55/947.65	o 2218
939.74/948.87	o 2217
940.33/949.46	o 2216
945.09/954.25	o 2211
945.69/954.87	o 2209
946.37/955.50	o 2207
946.97/956.11	o 2206
947.56/956.73	o 2205
948.16/957.34	o 2203
949.35/958.57	o 2201
949.94/959.18	o 2200
955.58/964.85	o 2199
956.87/966.12	o 2198
958.85/968.10	o 2195
962.52/971.89	o 2192
964.50/973.86	o 2191
965.09/974.49	o 2189
965.80/975.14	o 2187
966.49/975.85	o 2186
967.88/977.23	o 2181
968.57/977.94	o 2180
969.26/978.61	o 2176
971.25/980.62	o 2174
974.51/983.97	o 2173
975.01/984.49	o 2171
975.70/985.16	o 2170
995.41/1005.00	o 2169
996.01/1005.68	o 2167
1001.06/1010.79	o 2166
1001.75/1011.49	o 2164
1003.83/1013.55	o 2162
1033.15/1043.15	o 2160
1033.54/1043.57	o 2159
1035.63/1045.67	o 2158
1036.32/1046.37	o 2157
1037.01/1047.07	o 2155
1037.71/1047.76	o 2153
1039.09/1049.14	o 2150
1040.49/1050.54	o 2149
1041.18/1051.26	o 2146
1041.38/1051.40	o 2144
1041.97/1052.09	o 2142
1042.67/1052.79	o 2141
1044.05/1054.16	o 2138
1044.75/1054.86	o 2136
1055.84/1066.05	o 2134
1055.94/1066.15	o 2130
1056.34/1066.57	o 2129
1067.43/1077.74	o 2124
1069.61/1079.95	o 2123
1070.30/1080.68	o 2121
1073.07/1083.41	o 2120
1073.77/1084.15	o 2117
1074.56/1084.90	o 2115
1075.25/1085.65	o 2113
1077.43/1087.88	o 2112
1079.62/1090.02	o 2110
1080.31/1090.76	o 2108
1086.95/1097.46	o 2107
1089.92/1100.45	o 2104
1090.71/1101.22	o 2103
1091.40/1101.98	o 2102
1092.20/1102.74	o 2101
1092.99/1103.52	o 2099
1095.96/1106.60	o 2098
1096.75/1107.37	o 2097
1101.01/1111.60	o 2095
1101.70/1112.38	o 2094
1103.29/1113.92	o 2092
1103.98/1114.69	o 2090
1105.17/1115.86	o 2089
1116.46/1127.28	o 2088
1146.98/1158.04	   
1146.98/1158.04	   search
1146.98/1158.04	     run=0  nbConstraintChecks=2460329591  nbAssignments=3086
1146.98/1158.04	       =>  wckTime=1144.295  cpuTime=1133.37  mem=54M410
1146.98/1158.04	   
1146.98/1158.04	   global
1146.98/1158.04	     nbConstraintChecks=2460329591  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
1146.98/1158.04	     solvingWckTime=1144.284  solvingCpuTime=1133.36  expiredTime=no  totalExploration=no  nbFoundSolutions=0
1146.98/1158.04	     globalCpuTime=1145.54
1146.98/1158.04	       =>  wckTime=1157.799  cpuTime=1145.49  mem=54M410
1146.98/1158.04	   
1146.98/1158.04	   solver DecomposerSolver being built... 
1153.41/1164.55	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-1112828-1215874433/watcher-1112828-1215874433 -o /tmp/evaluation-result-1112828-1215874433/solver-1112828-1215874433 -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-1112828-1215874433.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: 1.94 1.00 0.40 4/81 11539
/proc/meminfo: memFree=1370912/2055920 swapFree=4192956/4192956
[pid=11539] ppid=11537 vsize=18572 CPUtime=0
/proc/11539/stat : 11539 (runsolver) R 11537 11539 11417 0 -1 4194368 16 0 0 0 0 0 0 0 21 0 1 0 44143154 19017728 292 996147200 4194304 4296836 548682068336 18446744073709551615 266890439975 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/11539/statm: 4643 292 257 25 0 2626 0

[startup+0.0333559 s]
/proc/loadavg: 1.94 1.00 0.40 4/81 11539
/proc/meminfo: memFree=1370912/2055920 swapFree=4192956/4192956
[pid=11539] ppid=11537 vsize=861876 CPUtime=0.03
/proc/11539/stat : 11539 (java) S 11537 11539 11417 0 -1 0 2251 0 1 0 2 1 0 0 18 0 5 0 44143154 882561024 1862 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800971 18446744073709551615 0 0 17 1 0 0
/proc/11539/statm: 215469 1862 854 9 0 210448 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 861876

[startup+0.112893 s]
/proc/loadavg: 1.94 1.00 0.40 4/81 11539
/proc/meminfo: memFree=1370912/2055920 swapFree=4192956/4192956
[pid=11539] ppid=11537 vsize=865988 CPUtime=0.09
/proc/11539/stat : 11539 (java) S 11537 11539 11417 0 -1 0 3866 0 1 0 8 1 0 0 18 0 9 0 44143154 886771712 3309 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/11539/statm: 216497 3309 1743 9 0 211052 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 865988

[startup+0.301915 s]
/proc/loadavg: 1.94 1.00 0.40 4/81 11539
/proc/meminfo: memFree=1370912/2055920 swapFree=4192956/4192956
[pid=11539] ppid=11537 vsize=866156 CPUtime=0.28
/proc/11539/stat : 11539 (java) S 11537 11539 11417 0 -1 0 5620 0 1 0 25 3 0 0 18 0 9 0 44143154 886943744 5035 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/11539/statm: 216539 5035 1905 9 0 211087 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 866156

[startup+0.701958 s]
/proc/loadavg: 1.94 1.00 0.40 4/81 11539
/proc/meminfo: memFree=1370912/2055920 swapFree=4192956/4192956
[pid=11539] ppid=11537 vsize=866980 CPUtime=0.67
/proc/11539/stat : 11539 (java) S 11537 11539 11417 0 -1 0 9942 0 1 0 61 6 0 0 18 0 9 0 44143154 887787520 9313 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/11539/statm: 216745 9313 1968 9 0 211273 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 866980

[startup+1.50205 s]
/proc/loadavg: 2.03 1.04 0.41 3/90 11548
/proc/meminfo: memFree=1329880/2055920 swapFree=4192956/4192956
[pid=11539] ppid=11537 vsize=867412 CPUtime=1.47
/proc/11539/stat : 11539 (java) S 11537 11539 11417 0 -1 0 20514 0 1 0 135 12 0 0 18 0 9 0 44143154 888229888 19850 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/11539/statm: 216853 19850 2004 9 0 211381 0
[pid=11539/tid=11541] ppid=11537 vsize=867412 CPUtime=1.19
/proc/11539/task/11541/stat : 11541 (java) R 11537 11539 11417 0 -1 64 15769 0 1 0 110 9 0 0 25 0 9 0 44143156 888229888 19850 996147200 134512640 134550740 4294955952 18446744073709551615 4126760770 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11539/tid=11542] ppid=11537 vsize=867412 CPUtime=0.08
/proc/11539/task/11542/stat : 11542 (java) S 11537 11539 11417 0 -1 64 3445 0 0 0 7 1 0 0 16 0 9 0 44143157 888229888 19850 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=11539/tid=11543] ppid=11537 vsize=867412 CPUtime=0
/proc/11539/task/11543/stat : 11543 (java) S 11537 11539 11417 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44143157 888229888 19850 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11539/tid=11544] ppid=11537 vsize=867412 CPUtime=0
/proc/11539/task/11544/stat : 11544 (java) S 11537 11539 11417 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44143157 888229888 19850 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11539/tid=11545] ppid=11537 vsize=867412 CPUtime=0
/proc/11539/task/11545/stat : 11545 (java) S 11537 11539 11417 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 44143159 888229888 19850 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11539/tid=11546] ppid=11537 vsize=867412 CPUtime=0.17
/proc/11539/task/11546/stat : 11546 (java) S 11537 11539 11417 0 -1 64 603 0 0 0 17 0 0 0 16 0 9 0 44143160 888229888 19850 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11539/tid=11547] ppid=11537 vsize=867412 CPUtime=0
/proc/11539/task/11547/stat : 11547 (java) S 11537 11539 11417 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44143160 888229888 19850 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11539/tid=11548] ppid=11537 vsize=867412 CPUtime=0
/proc/11539/task/11548/stat : 11548 (java) S 11537 11539 11417 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44143160 888229888 19850 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 867412

[startup+3.10222 s]
/proc/loadavg: 2.03 1.04 0.41 4/90 11548
/proc/meminfo: memFree=1298712/2055920 swapFree=4192956/4192956
[pid=11539] ppid=11537 vsize=867412 CPUtime=3.05
/proc/11539/stat : 11539 (java) S 11537 11539 11417 0 -1 0 23896 0 1 0 291 14 0 0 18 0 9 0 44143154 888229888 23229 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/11539/statm: 216853 23229 2006 9 0 211381 0
[pid=11539/tid=11541] ppid=11537 vsize=867412 CPUtime=2.64
/proc/11539/task/11541/stat : 11541 (java) R 11537 11539 11417 0 -1 64 15806 0 1 0 255 9 0 0 25 0 9 0 44143156 888229888 23229 996147200 134512640 134550740 4294955952 18446744073709551615 4126894747 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11539/tid=11542] ppid=11537 vsize=867412 CPUtime=0.19
/proc/11539/task/11542/stat : 11542 (java) S 11537 11539 11417 0 -1 64 6777 0 0 0 16 3 0 0 17 0 9 0 44143157 888229888 23229 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=11539/tid=11543] ppid=11537 vsize=867412 CPUtime=0
/proc/11539/task/11543/stat : 11543 (java) S 11537 11539 11417 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44143157 888229888 23229 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11539/tid=11544] ppid=11537 vsize=867412 CPUtime=0
/proc/11539/task/11544/stat : 11544 (java) S 11537 11539 11417 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44143157 888229888 23229 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11539/tid=11545] ppid=11537 vsize=867412 CPUtime=0
/proc/11539/task/11545/stat : 11545 (java) S 11537 11539 11417 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 44143159 888229888 23229 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11539/tid=11546] ppid=11537 vsize=867412 CPUtime=0.19
/proc/11539/task/11546/stat : 11546 (java) S 11537 11539 11417 0 -1 64 616 0 0 0 19 0 0 0 16 0 9 0 44143160 888229888 23229 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11539/tid=11547] ppid=11537 vsize=867412 CPUtime=0
/proc/11539/task/11547/stat : 11547 (java) S 11537 11539 11417 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44143160 888229888 23229 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11539/tid=11548] ppid=11537 vsize=867412 CPUtime=0
/proc/11539/task/11548/stat : 11548 (java) S 11537 11539 11417 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44143160 888229888 23229 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 867412

[startup+6.30158 s]
/proc/loadavg: 2.03 1.04 0.41 3/90 11548
/proc/meminfo: memFree=1285144/2055920 swapFree=4192956/4192956
[pid=11539] ppid=11537 vsize=867412 CPUtime=6.22
/proc/11539/stat : 11539 (java) S 11537 11539 11417 0 -1 0 23925 0 1 0 607 15 0 0 18 0 9 0 44143154 888229888 23253 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/11539/statm: 216853 23253 2006 9 0 211381 0
[pid=11539/tid=11541] ppid=11537 vsize=867412 CPUtime=5.78
/proc/11539/task/11541/stat : 11541 (java) R 11537 11539 11417 0 -1 64 15811 0 1 0 568 10 0 0 25 0 9 0 44143156 888229888 23253 996147200 134512640 134550740 4294955952 18446744073709551615 4126924438 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11539/tid=11542] ppid=11537 vsize=867412 CPUtime=0.19
/proc/11539/task/11542/stat : 11542 (java) S 11537 11539 11417 0 -1 64 6777 0 0 0 16 3 0 0 17 0 9 0 44143157 888229888 23253 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=11539/tid=11543] ppid=11537 vsize=867412 CPUtime=0
/proc/11539/task/11543/stat : 11543 (java) S 11537 11539 11417 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44143157 888229888 23253 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11539/tid=11544] ppid=11537 vsize=867412 CPUtime=0
/proc/11539/task/11544/stat : 11544 (java) S 11537 11539 11417 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44143157 888229888 23253 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11539/tid=11545] ppid=11537 vsize=867412 CPUtime=0
/proc/11539/task/11545/stat : 11545 (java) S 11537 11539 11417 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 44143159 888229888 23253 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11539/tid=11546] ppid=11537 vsize=867412 CPUtime=0.22
/proc/11539/task/11546/stat : 11546 (java) S 11537 11539 11417 0 -1 64 640 0 0 0 22 0 0 0 15 0 9 0 44143160 888229888 23253 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11539/tid=11547] ppid=11537 vsize=867412 CPUtime=0
/proc/11539/task/11547/stat : 11547 (java) S 11537 11539 11417 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44143160 888229888 23253 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11539/tid=11548] ppid=11537 vsize=867412 CPUtime=0
/proc/11539/task/11548/stat : 11548 (java) S 11537 11539 11417 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44143160 888229888 23253 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 867412

[startup+12.7023 s]
/proc/loadavg: 2.02 1.07 0.43 4/90 11548
/proc/meminfo: memFree=1277144/2055920 swapFree=4192956/4192956
[pid=11539] ppid=11537 vsize=867412 CPUtime=12.57
/proc/11539/stat : 11539 (java) S 11537 11539 11417 0 -1 0 27412 0 1 0 1239 18 0 0 18 0 9 0 44143154 888229888 26735 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/11539/statm: 216853 26735 2007 9 0 211381 0
[pid=11539/tid=11541] ppid=11537 vsize=867412 CPUtime=11.84
/proc/11539/task/11541/stat : 11541 (java) R 11537 11539 11417 0 -1 64 15818 0 1 0 1173 11 0 0 25 0 9 0 44143156 888229888 26735 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11539/tid=11542] ppid=11537 vsize=867412 CPUtime=0.43
/proc/11539/task/11542/stat : 11542 (java) R 11537 11539 11417 0 -1 64 10229 0 0 0 38 5 0 0 16 0 9 0 44143157 888229888 26735 996147200 134512640 134550740 4294955952 18446744073709551615 102516792 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=11539/tid=11543] ppid=11537 vsize=867412 CPUtime=0
/proc/11539/task/11543/stat : 11543 (java) S 11537 11539 11417 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44143157 888229888 26735 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11539/tid=11544] ppid=11537 vsize=867412 CPUtime=0
/proc/11539/task/11544/stat : 11544 (java) S 11537 11539 11417 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44143157 888229888 26735 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11539/tid=11545] ppid=11537 vsize=867412 CPUtime=0
/proc/11539/task/11545/stat : 11545 (java) S 11537 11539 11417 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 44143159 888229888 26735 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11539/tid=11546] ppid=11537 vsize=867412 CPUtime=0.27
/proc/11539/task/11546/stat : 11546 (java) S 11537 11539 11417 0 -1 64 668 0 0 0 27 0 0 0 15 0 9 0 44143160 888229888 26735 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11539/tid=11547] ppid=11537 vsize=867412 CPUtime=0
/proc/11539/task/11547/stat : 11547 (java) S 11537 11539 11417 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44143160 888229888 26735 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11539/tid=11548] ppid=11537 vsize=867412 CPUtime=0
/proc/11539/task/11548/stat : 11548 (java) S 11537 11539 11417 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44143160 888229888 26735 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 867412

[startup+25.5017 s]
/proc/loadavg: 2.02 1.10 0.44 3/90 11548
/proc/meminfo: memFree=1252888/2055920 swapFree=4192956/4192956
[pid=11539] ppid=11537 vsize=867500 CPUtime=25.22
/proc/11539/stat : 11539 (java) S 11537 11539 11417 0 -1 0 32889 0 1 0 2499 23 0 0 18 0 9 0 44143154 888320000 31956 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/11539/statm: 216875 31956 2640 9 0 211381 0
[pid=11539/tid=11541] ppid=11537 vsize=867500 CPUtime=23.93
/proc/11539/task/11541/stat : 11541 (java) R 11537 11539 11417 0 -1 64 15882 0 1 0 2379 14 0 0 25 0 9 0 44143156 888320000 31956 996147200 134512640 134550740 4294955952 18446744073709551615 4126894711 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11539/tid=11542] ppid=11537 vsize=867500 CPUtime=0.93
/proc/11539/task/11542/stat : 11542 (java) S 11537 11539 11417 0 -1 64 15614 0 0 0 87 6 0 0 16 0 9 0 44143157 888320000 31956 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=11539/tid=11543] ppid=11537 vsize=867500 CPUtime=0
/proc/11539/task/11543/stat : 11543 (java) S 11537 11539 11417 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44143157 888320000 31956 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11539/tid=11544] ppid=11537 vsize=867500 CPUtime=0
/proc/11539/task/11544/stat : 11544 (java) S 11537 11539 11417 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44143157 888320000 31956 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11539/tid=11545] ppid=11537 vsize=867500 CPUtime=0
/proc/11539/task/11545/stat : 11545 (java) S 11537 11539 11417 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 44143159 888320000 31956 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11539/tid=11546] ppid=11537 vsize=867500 CPUtime=0.33
/proc/11539/task/11546/stat : 11546 (java) S 11537 11539 11417 0 -1 64 696 0 0 0 32 1 0 0 16 0 9 0 44143160 888320000 31956 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11539/tid=11547] ppid=11537 vsize=867500 CPUtime=0
/proc/11539/task/11547/stat : 11547 (java) S 11537 11539 11417 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44143160 888320000 31956 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11539/tid=11548] ppid=11537 vsize=867500 CPUtime=0
/proc/11539/task/11548/stat : 11548 (java) S 11537 11539 11417 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44143160 888320000 31956 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.22
Current children cumulated vsize (KiB) 867500

[startup+51.1016 s]
/proc/loadavg: 2.01 1.17 0.48 3/90 11548
/proc/meminfo: memFree=1252888/2055920 swapFree=4192956/4192956
[pid=11539] ppid=11537 vsize=867500 CPUtime=50.56
/proc/11539/stat : 11539 (java) S 11537 11539 11417 0 -1 0 32891 0 1 0 5029 27 0 0 18 0 9 0 44143154 888320000 31957 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/11539/statm: 216875 31957 2640 9 0 211381 0
[pid=11539/tid=11541] ppid=11537 vsize=867500 CPUtime=49.27
/proc/11539/task/11541/stat : 11541 (java) R 11537 11539 11417 0 -1 64 15883 0 1 0 4908 19 0 0 25 0 9 0 44143156 888320000 31957 996147200 134512640 134550740 4294955952 18446744073709551615 4126520041 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11539/tid=11542] ppid=11537 vsize=867500 CPUtime=0.93
/proc/11539/task/11542/stat : 11542 (java) S 11537 11539 11417 0 -1 64 15614 0 0 0 87 6 0 0 16 0 9 0 44143157 888320000 31957 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=11539/tid=11543] ppid=11537 vsize=867500 CPUtime=0
/proc/11539/task/11543/stat : 11543 (java) S 11537 11539 11417 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44143157 888320000 31957 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11539/tid=11544] ppid=11537 vsize=867500 CPUtime=0
/proc/11539/task/11544/stat : 11544 (java) S 11537 11539 11417 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44143157 888320000 31957 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11539/tid=11545] ppid=11537 vsize=867500 CPUtime=0
/proc/11539/task/11545/stat : 11545 (java) S 11537 11539 11417 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 44143159 888320000 31957 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11539/tid=11546] ppid=11537 vsize=867500 CPUtime=0.33
/proc/11539/task/11546/stat : 11546 (java) S 11537 11539 11417 0 -1 64 697 0 0 0 32 1 0 0 16 0 9 0 44143160 888320000 31957 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11539/tid=11547] ppid=11537 vsize=867500 CPUtime=0

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

/proc/11539/task/11544/stat : 11544 (java) S 11537 11539 11417 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44143157 888320000 31969 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11539/tid=11545] ppid=11537 vsize=867500 CPUtime=0
/proc/11539/task/11545/stat : 11545 (java) S 11537 11539 11417 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 44143159 888320000 31969 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11539/tid=11546] ppid=11537 vsize=867500 CPUtime=0.35
/proc/11539/task/11546/stat : 11546 (java) S 11537 11539 11417 0 -1 64 710 0 0 0 34 1 0 0 16 0 9 0 44143160 888320000 31969 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11539/tid=11547] ppid=11537 vsize=867500 CPUtime=0
/proc/11539/task/11547/stat : 11547 (java) S 11537 11539 11417 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44143160 888320000 31969 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11539/tid=11548] ppid=11537 vsize=867500 CPUtime=0
/proc/11539/task/11548/stat : 11548 (java) S 11537 11539 11417 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44143160 888320000 31969 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1140.93
Current children cumulated vsize (KiB) 867500

[startup+1158.31 s]
/proc/loadavg: 2.00 1.97 1.51 4/90 11554
/proc/meminfo: memFree=1243408/2055920 swapFree=4192956/4192956
[pid=11539] ppid=11537 vsize=867412 CPUtime=1147.28
/proc/11539/stat : 11539 (java) S 11537 11539 11417 0 -1 0 37075 0 1 0 114668 60 0 0 18 0 9 0 44143154 888229888 36101 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/11539/statm: 216853 36101 2619 9 0 211381 0
[pid=11539/tid=11541] ppid=11537 vsize=867412 CPUtime=1145.89
/proc/11539/task/11541/stat : 11541 (java) R 11537 11539 11417 0 -1 64 15920 0 1 0 114539 50 0 0 24 0 9 0 44143156 888229888 36101 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11539/tid=11542] ppid=11537 vsize=867412 CPUtime=0.98
/proc/11539/task/11542/stat : 11542 (java) R 11537 11539 11417 0 -1 64 19730 0 0 0 91 7 0 0 16 0 9 0 44143157 888229888 36101 996147200 134512640 134550740 4294955952 18446744073709551615 102723020 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=11539/tid=11543] ppid=11537 vsize=867412 CPUtime=0
/proc/11539/task/11543/stat : 11543 (java) S 11537 11539 11417 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44143157 888229888 36101 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11539/tid=11544] ppid=11537 vsize=867412 CPUtime=0
/proc/11539/task/11544/stat : 11544 (java) S 11537 11539 11417 0 -1 64 18 0 0 0 0 0 0 0 16 0 9 0 44143157 888229888 36101 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11539/tid=11545] ppid=11537 vsize=867412 CPUtime=0
/proc/11539/task/11545/stat : 11545 (java) S 11537 11539 11417 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 44143159 888229888 36101 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11539/tid=11546] ppid=11537 vsize=867412 CPUtime=0.36
/proc/11539/task/11546/stat : 11546 (java) S 11537 11539 11417 0 -1 64 715 0 0 0 35 1 0 0 16 0 9 0 44143160 888229888 36101 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11539/tid=11547] ppid=11537 vsize=867412 CPUtime=0
/proc/11539/task/11547/stat : 11547 (java) S 11537 11539 11417 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44143160 888229888 36101 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11539/tid=11548] ppid=11537 vsize=867412 CPUtime=0
/proc/11539/task/11548/stat : 11548 (java) S 11537 11539 11417 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44143160 888229888 36101 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1147.28
Current children cumulated vsize (KiB) 867412

[startup+1161.5 s]
/proc/loadavg: 2.08 1.98 1.52 4/90 11554
/proc/meminfo: memFree=579408/2055920 swapFree=4192956/4192956
[pid=11539] ppid=11537 vsize=867664 CPUtime=1150.44
/proc/11539/stat : 11539 (java) S 11537 11539 11417 0 -1 0 200651 0 1 0 114918 126 0 0 18 0 9 0 44143154 888487936 199506 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/11539/statm: 216916 199506 2618 9 0 211444 0
[pid=11539/tid=11541] ppid=11537 vsize=867664 CPUtime=1146.57
/proc/11539/task/11541/stat : 11541 (java) R 11537 11539 11417 0 -1 64 15975 0 1 0 114607 50 0 0 25 0 9 0 44143156 888487936 199506 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11539/tid=11542] ppid=11537 vsize=867664 CPUtime=3.45
/proc/11539/task/11542/stat : 11542 (java) R 11537 11539 11417 0 -1 64 183223 0 0 0 272 73 0 0 17 0 9 0 44143157 888487936 199506 996147200 134512640 134550740 4294955952 18446744073709551615 102731917 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=11539/tid=11543] ppid=11537 vsize=867664 CPUtime=0
/proc/11539/task/11543/stat : 11543 (java) S 11537 11539 11417 0 -1 64 13 0 0 0 0 0 0 0 17 0 9 0 44143157 888487936 199506 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11539/tid=11544] ppid=11537 vsize=867664 CPUtime=0
/proc/11539/task/11544/stat : 11544 (java) S 11537 11539 11417 0 -1 64 23 0 0 0 0 0 0 0 16 0 9 0 44143157 888487936 199506 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11539/tid=11545] ppid=11537 vsize=867664 CPUtime=0
/proc/11539/task/11545/stat : 11545 (java) S 11537 11539 11417 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 44143159 888487936 199506 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11539/tid=11546] ppid=11537 vsize=867664 CPUtime=0.4
/proc/11539/task/11546/stat : 11546 (java) S 11537 11539 11417 0 -1 64 738 0 0 0 39 1 0 0 16 0 9 0 44143160 888487936 199506 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11539/tid=11547] ppid=11537 vsize=867664 CPUtime=0
/proc/11539/task/11547/stat : 11547 (java) S 11537 11539 11417 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44143160 888487936 199506 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11539/tid=11548] ppid=11537 vsize=867664 CPUtime=0
/proc/11539/task/11548/stat : 11548 (java) S 11537 11539 11417 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44143160 888487936 199506 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1150.44
Current children cumulated vsize (KiB) 867664

[startup+1163.1 s]
/proc/loadavg: 2.08 1.98 1.52 4/90 11554
/proc/meminfo: memFree=579408/2055920 swapFree=4192956/4192956
[pid=11539] ppid=11537 vsize=867664 CPUtime=1152.03
/proc/11539/stat : 11539 (java) S 11537 11539 11417 0 -1 0 200780 0 1 0 115077 126 0 0 18 0 9 0 44143154 888487936 199507 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/11539/statm: 216916 199507 2618 9 0 211444 0
[pid=11539/tid=11541] ppid=11537 vsize=867664 CPUtime=1146.58
/proc/11539/task/11541/stat : 11541 (java) R 11537 11539 11417 0 -1 64 15977 0 1 0 114608 50 0 0 24 0 9 0 44143156 888487936 199507 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11539/tid=11542] ppid=11537 vsize=867664 CPUtime=5.02
/proc/11539/task/11542/stat : 11542 (java) R 11537 11539 11417 0 -1 64 183350 0 0 0 429 73 0 0 18 0 9 0 44143157 888487936 199507 996147200 134512640 134550740 4294955952 18446744073709551615 101587919 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=11539/tid=11543] ppid=11537 vsize=867664 CPUtime=0
/proc/11539/task/11543/stat : 11543 (java) S 11537 11539 11417 0 -1 64 13 0 0 0 0 0 0 0 17 0 9 0 44143157 888487936 199507 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11539/tid=11544] ppid=11537 vsize=867664 CPUtime=0
/proc/11539/task/11544/stat : 11544 (java) S 11537 11539 11417 0 -1 64 23 0 0 0 0 0 0 0 16 0 9 0 44143157 888487936 199507 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11539/tid=11545] ppid=11537 vsize=867664 CPUtime=0
/proc/11539/task/11545/stat : 11545 (java) S 11537 11539 11417 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 44143159 888487936 199507 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11539/tid=11546] ppid=11537 vsize=867664 CPUtime=0.4
/proc/11539/task/11546/stat : 11546 (java) S 11537 11539 11417 0 -1 64 738 0 0 0 39 1 0 0 16 0 9 0 44143160 888487936 199507 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11539/tid=11547] ppid=11537 vsize=867664 CPUtime=0
/proc/11539/task/11547/stat : 11547 (java) S 11537 11539 11417 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44143160 888487936 199507 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11539/tid=11548] ppid=11537 vsize=867664 CPUtime=0
/proc/11539/task/11548/stat : 11548 (java) S 11537 11539 11417 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44143160 888487936 199507 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1152.03
Current children cumulated vsize (KiB) 867664

[startup+1163.9 s]
/proc/loadavg: 2.08 1.98 1.52 3/90 11554
/proc/meminfo: memFree=579408/2055920 swapFree=4192956/4192956
[pid=11539] ppid=11537 vsize=867664 CPUtime=1152.82
/proc/11539/stat : 11539 (java) S 11537 11539 11417 0 -1 0 200843 0 1 0 115156 126 0 0 18 0 9 0 44143154 888487936 199507 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/11539/statm: 216916 199507 2618 9 0 211444 0
[pid=11539/tid=11541] ppid=11537 vsize=867664 CPUtime=1146.58
/proc/11539/task/11541/stat : 11541 (java) S 11537 11539 11417 0 -1 64 15977 0 1 0 114608 50 0 0 24 0 9 0 44143156 888487936 199507 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11539/tid=11542] ppid=11537 vsize=867664 CPUtime=5.81
/proc/11539/task/11542/stat : 11542 (java) R 11537 11539 11417 0 -1 64 183413 0 0 0 508 73 0 0 19 0 9 0 44143157 888487936 199507 996147200 134512640 134550740 4294955952 18446744073709551615 104182546 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=11539/tid=11543] ppid=11537 vsize=867664 CPUtime=0
/proc/11539/task/11543/stat : 11543 (java) S 11537 11539 11417 0 -1 64 13 0 0 0 0 0 0 0 17 0 9 0 44143157 888487936 199507 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11539/tid=11544] ppid=11537 vsize=867664 CPUtime=0
/proc/11539/task/11544/stat : 11544 (java) S 11537 11539 11417 0 -1 64 23 0 0 0 0 0 0 0 16 0 9 0 44143157 888487936 199507 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11539/tid=11545] ppid=11537 vsize=867664 CPUtime=0
/proc/11539/task/11545/stat : 11545 (java) S 11537 11539 11417 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 44143159 888487936 199507 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11539/tid=11546] ppid=11537 vsize=867664 CPUtime=0.4
/proc/11539/task/11546/stat : 11546 (java) S 11537 11539 11417 0 -1 64 738 0 0 0 39 1 0 0 16 0 9 0 44143160 888487936 199507 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11539/tid=11547] ppid=11537 vsize=867664 CPUtime=0
/proc/11539/task/11547/stat : 11547 (java) S 11537 11539 11417 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44143160 888487936 199507 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11539/tid=11548] ppid=11537 vsize=867664 CPUtime=0
/proc/11539/task/11548/stat : 11548 (java) S 11537 11539 11417 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44143160 888487936 199507 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1152.82
Current children cumulated vsize (KiB) 867664

[startup+1164.3 s]
/proc/loadavg: 2.08 1.98 1.52 3/90 11554
/proc/meminfo: memFree=579408/2055920 swapFree=4192956/4192956
[pid=11539] ppid=11537 vsize=867664 CPUtime=1153.22
/proc/11539/stat : 11539 (java) S 11537 11539 11417 0 -1 0 200907 0 1 0 115196 126 0 0 18 0 9 0 44143154 888487936 199507 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/11539/statm: 216916 199507 2618 9 0 211444 0
[pid=11539/tid=11541] ppid=11537 vsize=867664 CPUtime=1146.58
/proc/11539/task/11541/stat : 11541 (java) R 11537 11539 11417 0 -1 64 15978 0 1 0 114608 50 0 0 24 0 9 0 44143156 888487936 199507 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11539/tid=11542] ppid=11537 vsize=867664 CPUtime=6.21
/proc/11539/task/11542/stat : 11542 (java) R 11537 11539 11417 0 -1 64 183476 0 0 0 548 73 0 0 20 0 9 0 44143157 888487936 199507 996147200 134512640 134550740 4294955952 18446744073709551615 102721928 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=11539/tid=11543] ppid=11537 vsize=867664 CPUtime=0
/proc/11539/task/11543/stat : 11543 (java) S 11537 11539 11417 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44143157 888487936 199507 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11539/tid=11544] ppid=11537 vsize=867664 CPUtime=0
/proc/11539/task/11544/stat : 11544 (java) S 11537 11539 11417 0 -1 64 23 0 0 0 0 0 0 0 16 0 9 0 44143157 888487936 199507 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11539/tid=11545] ppid=11537 vsize=867664 CPUtime=0
/proc/11539/task/11545/stat : 11545 (java) S 11537 11539 11417 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 44143159 888487936 199507 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11539/tid=11546] ppid=11537 vsize=867664 CPUtime=0.4
/proc/11539/task/11546/stat : 11546 (java) S 11537 11539 11417 0 -1 64 738 0 0 0 39 1 0 0 16 0 9 0 44143160 888487936 199507 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11539/tid=11547] ppid=11537 vsize=867664 CPUtime=0
/proc/11539/task/11547/stat : 11547 (java) S 11537 11539 11417 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44143160 888487936 199507 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11539/tid=11548] ppid=11537 vsize=867664 CPUtime=0
/proc/11539/task/11548/stat : 11548 (java) S 11537 11539 11417 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44143160 888487936 199507 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1153.22
Current children cumulated vsize (KiB) 867664

[startup+1164.5 s]
/proc/loadavg: 2.08 1.98 1.52 3/90 11554
/proc/meminfo: memFree=579408/2055920 swapFree=4192956/4192956
[pid=11539] ppid=11537 vsize=867664 CPUtime=1153.41
/proc/11539/stat : 11539 (java) S 11537 11539 11417 0 -1 0 200907 0 1 0 115215 126 0 0 18 0 9 0 44143154 888487936 199507 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/11539/statm: 216916 199507 2618 9 0 211444 0
[pid=11539/tid=11541] ppid=11537 vsize=867664 CPUtime=1146.58
/proc/11539/task/11541/stat : 11541 (java) S 11537 11539 11417 0 -1 64 15978 0 1 0 114608 50 0 0 24 0 9 0 44143156 888487936 199507 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11539/tid=11542] ppid=11537 vsize=867664 CPUtime=6.41
/proc/11539/task/11542/stat : 11542 (java) R 11537 11539 11417 0 -1 64 183476 0 0 0 568 73 0 0 20 0 9 0 44143157 888487936 199507 996147200 134512640 134550740 4294955952 18446744073709551615 103834248 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=11539/tid=11543] ppid=11537 vsize=867664 CPUtime=0
/proc/11539/task/11543/stat : 11543 (java) S 11537 11539 11417 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44143157 888487936 199507 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11539/tid=11544] ppid=11537 vsize=867664 CPUtime=0
/proc/11539/task/11544/stat : 11544 (java) S 11537 11539 11417 0 -1 64 23 0 0 0 0 0 0 0 16 0 9 0 44143157 888487936 199507 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11539/tid=11545] ppid=11537 vsize=867664 CPUtime=0
/proc/11539/task/11545/stat : 11545 (java) S 11537 11539 11417 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 44143159 888487936 199507 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11539/tid=11546] ppid=11537 vsize=867664 CPUtime=0.4
/proc/11539/task/11546/stat : 11546 (java) S 11537 11539 11417 0 -1 64 738 0 0 0 39 1 0 0 16 0 9 0 44143160 888487936 199507 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11539/tid=11547] ppid=11537 vsize=867664 CPUtime=0
/proc/11539/task/11547/stat : 11547 (java) S 11537 11539 11417 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44143160 888487936 199507 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11539/tid=11548] ppid=11537 vsize=867664 CPUtime=0
/proc/11539/task/11548/stat : 11548 (java) S 11537 11539 11417 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44143160 888487936 199507 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1153.41
Current children cumulated vsize (KiB) 867664

[startup+1164.6 s]
/proc/loadavg: 2.08 1.98 1.52 3/90 11554
/proc/meminfo: memFree=579408/2055920 swapFree=4192956/4192956
[pid=11539] ppid=11537 vsize=0 CPUtime=1153.51
/proc/11539/stat : 11539 (java) Z 11537 11539 11417 0 -1 12 200914 0 1 0 115221 130 0 0 16 0 2 0 44143154 0 0 996147200 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/11539/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1153.51
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1164.69
CPU time (s): 1153.59
CPU user time (s): 1152.21
CPU system time (s): 1.38379
CPU usage (%): 99.0477
Max. virtual memory (cumulated for all children) (KiB): 867664

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1152.21
system time used= 1.38379
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 200914
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= 25424
involuntary context switches= 55120

runsolver used 1.82472 second user time and 3.61945 second system time

The end

Launcher Data (download as text)

Begin job on node38 at 2008-07-12 16:53:53
IDJOB=1112828
IDBENCH=61481
IDSOLVER=360
FILE ID=node38/1112828-1215874433
PBS_JOBID= 7903600
Free space on /tmp= 66436 MiB

SOLVER NAME= AbsconMax 112 pc-d
BENCH NAME= CPAI08/csp/fapp/fapp12/normalized-fapp12-1500-0.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-1112828-1215874433/watcher-1112828-1215874433 -o /tmp/evaluation-result-1112828-1215874433/solver-1112828-1215874433 -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-1112828-1215874433.xml

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= 34c3ac733a64f710448acdb70b41fbc9
RANDOM SEED=1866744296

node38.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:       1371392 kB
Buffers:         27112 kB
Cached:         308332 kB
SwapCached:          0 kB
Active:         375676 kB
Inactive:       244092 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1371392 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            5460 kB
Writeback:           0 kB
Mapped:         304508 kB
Slab:            49264 kB
Committed_AS:   552980 kB
PageTables:       2468 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= 66436 MiB
End job on node38 at 2008-07-12 17:13:18