Trace number 1112827

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerNumber of falsified constraintsCPU timeWall clock time
AbsconMax 112 pc-w? 1098.92 1102.91

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.00/0.09	
0.00/0.09	Abscon 112 (May, 2008)
0.17/0.28	
0.17/0.28	   configuration
0.17/0.28	     name=mrdac-wdeg.xml
0.27/0.32	   
0.27/0.32	   instance
0.27/0.32	     name=HOME/instance-1112827-1215874426.xml
0.27/0.37	   
0.27/0.37	   domains being loaded...
0.36/0.41	   
0.36/0.41	   variables being loaded...
0.55/0.66	     nbVariables=1500  nbDomainTypes=13  minDomainSize=42  maxDomainSize=310  nbTotalValues=436967
0.55/0.67	       =>  wckTime=0.38  cpuTime=0.27  mem=21M510
0.55/0.67	   
0.55/0.67	   predicates being loaded...
0.66/0.73	   
0.66/0.73	   constraints being loaded...
10.67/10.80	   
10.67/10.80	   INFO : Stopping converting binary constraints (cpu=10.04, mem = 51M134)
13.13/13.30	     nbConstraints=25409  nbConvertedConstraints=352  nbConvertConstraintsChecks=28719492  nbExtensionStructures=317
13.13/13.30	     nbSharedExtensionStructures=149  nbConflictsStructures=497  nbSharedConflictsStructures=205
13.13/13.30	     nbUnbuiltConflictsStructures=3892  nbSharedBinaryRepresentations=171919  nbEvaluationManagers=4072
13.13/13.30	     nbSharedEvaluationManagers=20985  minDegree=5  maxDegree=43  minArity=2  maxArity=2
13.13/13.30	       =>  wckTime=13.018  cpuTime=12.06  mem=75M594
13.53/13.70	   
13.53/13.70	   solver LocalSearchSolver being built... 
13.53/13.75	       =>  wckTime=13.465  cpuTime=12.1  mem=53M543
13.73/13.92	
13.73/13.92	s SATISFIABLE
13.73/13.92	o 6315
13.83/14.00	o 6301
13.83/14.09	o 6292
13.93/14.14	o 6284
13.93/14.19	o 6281
14.03/14.27	o 6273
14.13/14.33	o 6267
14.13/14.38	o 6262
14.23/14.42	o 6258
14.23/14.46	o 6255
14.33/14.51	o 6253
14.33/14.54	o 6248
14.33/14.58	o 6239
14.43/14.63	o 6231
14.43/14.67	o 6224
14.53/14.72	o 6217
14.53/14.76	o 6210
14.62/14.80	o 6204
14.62/14.83	o 6198
14.62/14.86	o 6193
14.62/14.89	o 6188
14.72/14.92	o 6183
14.72/14.95	o 6179
14.72/14.97	o 6175
14.72/14.99	o 6172
14.82/15.03	o 6169
14.82/15.06	o 6166
14.92/15.11	o 6165
14.92/15.18	o 6158
15.02/15.25	o 6152
15.12/15.32	o 6147
15.12/15.38	o 6142
15.22/15.45	o 6137
15.31/15.50	o 6131
15.31/15.56	o 6127
15.41/15.61	o 6123
15.41/15.66	o 6119
15.51/15.70	o 6115
15.51/15.76	o 6111
15.51/15.79	o 6107
15.61/15.85	o 6103
15.61/15.90	o 6100
15.70/15.94	o 6097
15.70/15.98	o 6094
15.80/16.01	o 6091
15.80/16.04	o 6089
15.80/16.07	o 6087
15.91/16.11	o 6085
15.91/16.13	o 6083
15.91/16.18	o 6082
16.01/16.20	o 6081
16.01/16.22	o 6075
16.01/16.28	o 6070
16.11/16.32	o 6066
16.11/16.35	o 6059
16.21/16.42	o 6051
16.21/16.49	o 6041
16.31/16.55	o 6035
16.40/16.60	o 6029
16.40/16.66	o 6021
16.50/16.70	o 6015
16.50/16.75	o 6010
16.50/16.79	o 6005
16.60/16.85	o 6000
16.60/16.89	o 5996
16.70/16.95	o 5992
16.70/16.98	o 5986
16.80/17.03	o 5983
16.80/17.05	o 5981
16.80/17.09	o 5979
16.90/17.11	o 5977
16.90/17.14	o 5975
16.90/17.18	o 5973
16.99/17.21	o 5971
16.99/17.25	o 5970
16.99/17.28	o 5969
17.09/17.31	o 5968
17.09/17.34	o 5962
17.09/17.37	o 5954
17.09/17.39	o 5952
17.19/17.41	o 5946
17.19/17.45	o 5943
17.29/17.51	o 5937
17.29/17.56	o 5934
17.39/17.61	o 5933
17.39/17.64	o 5928
17.39/17.68	o 5925
17.49/17.70	o 5922
17.49/17.73	o 5915
17.49/17.77	o 5913
17.59/17.81	o 5903
17.59/17.87	o 5897
17.69/17.91	o 5890
17.69/17.96	o 5883
17.78/18.02	o 5880
17.78/18.08	o 5874
17.88/18.12	o 5870
17.88/18.17	o 5867
17.98/18.21	o 5862
17.98/18.26	o 5859
18.08/18.30	o 5856
18.08/18.33	o 5853
18.08/18.37	o 5851
18.18/18.40	o 5849
18.18/18.44	o 5847
18.18/18.48	o 5845
18.28/18.50	o 5841
18.28/18.53	o 5840
18.28/18.57	o 5839
18.38/18.61	o 5838
18.48/18.72	o 5837
18.48/18.76	o 5830
18.48/18.79	o 5829
18.57/18.86	o 5827
18.67/18.90	o 5821
18.67/18.95	o 5817
18.67/18.99	o 5814
18.77/19.02	o 5809
18.77/19.05	o 5801
18.77/19.08	o 5798
18.88/19.13	o 5793
18.88/19.18	o 5790
18.97/19.22	o 5779
18.97/19.26	o 5776
19.17/19.41	o 5772
19.17/19.44	o 5766
19.27/19.51	o 5765
19.27/19.55	o 5758
19.37/19.61	o 5757
19.37/19.66	o 5750
19.47/19.72	o 5739
19.47/19.77	o 5733
19.57/19.82	o 5728
19.57/19.88	o 5727
19.66/19.94	o 5725
19.66/20.00	o 5718
19.76/20.07	o 5711
19.86/20.13	o 5705
19.86/20.19	o 5699
19.96/20.25	o 5694
20.05/20.32	o 5690
20.05/20.38	o 5686
20.15/20.43	o 5682
20.15/20.49	o 5678
20.25/20.55	o 5675
20.35/20.60	o 5672
20.35/20.66	o 5669
20.45/20.70	o 5666
20.45/20.76	o 5663
20.55/20.81	o 5660
20.55/20.87	o 5659
20.65/20.92	o 5656
20.65/20.96	o 5654
20.74/21.01	o 5652
20.74/21.05	o 5651
20.74/21.09	o 5642
20.94/21.22	o 5638
20.94/21.26	o 5632
21.04/21.30	o 5630
21.04/21.35	o 5623
21.14/21.42	o 5618
21.14/21.47	o 5615
21.24/21.51	o 5612
21.24/21.55	o 5607
21.44/21.71	o 5602
21.44/21.76	o 5593
21.54/21.83	o 5588
21.54/21.88	o 5586
21.64/21.95	o 5580
21.75/22.00	o 5577
21.84/22.11	o 5575
21.84/22.17	o 5572
21.94/22.24	o 5566
21.94/22.29	o 5563
22.33/22.62	o 5561
22.33/22.69	o 5556
22.43/22.75	o 5554
22.53/22.81	o 5551
22.53/22.87	o 5546
22.63/22.94	o 5540
22.73/23.01	o 5539
22.73/23.10	o 5536
22.83/23.17	o 5535
22.93/23.24	o 5532
23.03/23.30	o 5529
23.03/23.39	o 5526
23.13/23.44	o 5521
23.23/23.51	o 5520
23.23/23.58	o 5518
23.32/23.65	o 5515
23.32/23.70	o 5512
23.42/23.75	o 5509
23.52/23.83	o 5506
23.52/23.89	o 5499
23.62/23.94	o 5495
23.72/24.00	o 5490
23.82/24.13	o 5484
23.82/24.20	o 5479
23.92/24.29	o 5474
24.01/24.36	o 5469
24.11/24.44	o 5465
24.21/24.51	o 5460
24.21/24.59	o 5457
24.31/24.67	o 5453
24.40/24.74	o 5449
24.40/24.79	o 5446
24.50/24.85	o 5443
24.60/24.92	o 5440
24.70/25.03	o 5438
24.70/25.08	o 5435
24.80/25.13	o 5433
24.80/25.19	o 5431
24.90/25.26	o 5430
25.10/25.44	o 5428
25.10/25.49	o 5421
25.29/25.60	o 5419
25.29/25.65	o 5412
25.39/25.73	o 5410
25.39/25.79	o 5400
25.49/25.89	o 5399
25.59/25.94	o 5396
25.69/26.03	o 5395
25.79/26.11	o 5390
25.79/26.15	o 5385
25.79/26.20	o 5384
25.89/26.24	o 5383
25.89/26.28	o 5379
25.99/26.34	o 5373
25.99/26.39	o 5370
26.09/26.45	o 5366
26.19/26.50	o 5362
26.19/26.56	o 5357
26.29/26.61	o 5355
26.29/26.67	o 5354
26.39/26.73	o 5349
26.39/26.79	o 5346
26.49/26.86	o 5342
26.58/26.92	o 5341
26.58/26.99	o 5337
26.68/27.05	o 5334
26.78/27.20	o 5328
26.88/27.28	o 5320
26.98/27.36	o 5316
27.08/27.44	o 5315
27.18/27.52	o 5308
27.28/27.60	o 5307
27.28/27.68	o 5306
27.58/27.91	o 5303
27.58/27.99	o 5299
27.67/28.07	o 5296
27.77/28.14	o 5290
27.87/28.22	o 5285
27.97/28.30	o 5283
27.97/28.38	o 5277
28.07/28.46	o 5275
28.17/28.55	o 5273
28.27/28.64	o 5271
28.36/28.71	o 5269
28.36/28.79	o 5262
28.46/28.86	o 5254
28.56/28.94	o 5253
28.66/29.02	o 5245
28.76/29.12	o 5244
28.76/29.18	o 5236
28.86/29.26	o 5231
28.96/29.34	o 5227
29.05/29.43	o 5225
29.05/29.49	o 5219
29.15/29.54	o 5212
29.25/29.69	o 5209
29.35/29.76	o 5206
29.45/29.82	o 5203
29.45/29.90	o 5202
29.55/29.97	o 5201
29.65/30.02	o 5199
29.75/30.14	o 5195
29.84/30.27	o 5189
29.94/30.35	o 5188
30.04/30.41	o 5183
30.14/30.52	o 5182
30.14/30.58	o 5179
30.24/30.67	o 5177
30.34/30.75	o 5176
30.44/30.82	o 5174
30.44/30.87	o 5170
30.53/30.93	o 5167
30.53/30.99	o 5165
30.63/31.07	o 5164
30.73/31.15	o 5162
30.83/31.22	o 5156
30.93/31.32	o 5154
31.03/31.42	o 5147
31.13/31.58	o 5142
31.23/31.65	o 5140
31.32/31.72	o 5135
31.32/31.78	o 5134
31.52/31.94	o 5129
31.62/32.04	o 5128
31.72/32.12	o 5123
31.72/32.19	o 5115
31.81/32.29	o 5114
31.91/32.37	o 5111
32.11/32.56	o 5108
32.21/32.67	o 5107
32.41/32.85	o 5102
32.71/33.12	o 5095
32.81/33.21	o 5094
32.81/33.29	o 5093
33.21/33.68	o 5088
33.31/33.78	o 5086
33.61/34.07	o 5084
33.80/34.27	o 5083
34.00/34.48	o 5080
34.10/34.58	o 5076
34.19/34.67	o 5072
34.29/34.76	o 5070
34.39/34.87	o 5068
34.59/35.08	o 5066
34.99/35.40	o 5065
34.99/35.49	o 5060
35.19/35.69	o 5055
35.48/35.91	o 5053
35.58/36.00	o 5052
35.68/36.12	o 5050
35.78/36.23	o 5047
35.88/36.33	o 5042
35.97/36.43	o 5038
36.47/36.95	o 5036
36.57/37.06	o 5034
36.67/37.16	o 5032
36.77/37.27	o 5030
36.87/37.38	o 5029
37.26/37.78	o 5025
37.36/37.88	o 5020
37.46/37.99	o 5019
37.76/38.29	o 5018
37.96/38.41	o 5016
38.06/38.51	o 5013
38.35/38.83	o 5009
38.45/38.93	o 5008
38.55/39.05	o 5005
38.65/39.16	o 5004
38.75/39.26	o 5003
38.85/39.38	o 4999
38.95/39.48	o 4998
39.14/39.61	o 4990
39.24/39.71	o 4988
39.34/39.83	o 4982
39.44/39.95	o 4979
39.54/40.06	o 4976
39.83/40.30	o 4974
39.93/40.42	o 4969
40.03/40.53	o 4965
40.13/40.65	o 4961
40.23/40.77	o 4955
40.33/40.88	o 4949
40.62/41.11	o 4942
40.83/41.32	o 4940
41.03/41.53	o 4936
41.13/41.67	o 4935
41.23/41.78	o 4933
41.33/41.89	o 4931
41.52/42.03	o 4928
41.62/42.13	o 4926
41.72/42.24	o 4925
41.82/42.35	o 4920
41.92/42.46	o 4918
42.02/42.58	o 4914
42.12/42.69	o 4913
42.31/42.81	o 4904
42.41/42.93	o 4900
42.71/43.28	o 4896
42.90/43.40	o 4893
43.00/43.51	o 4890
43.10/43.63	o 4886
43.20/43.72	o 4883
43.30/43.85	o 4879
43.40/43.95	o 4877
43.50/44.08	o 4873
43.60/44.19	o 4869
43.70/44.28	o 4864
43.79/44.38	o 4860
43.89/44.48	o 4857
43.99/44.59	o 4854
44.19/44.71	o 4853
44.29/44.81	o 4848
44.59/45.14	o 4842
44.69/45.27	o 4836
44.99/45.50	o 4831
45.19/45.74	o 4826
45.29/45.85	o 4824
45.38/45.96	o 4822
45.48/46.09	o 4819
45.68/46.21	o 4817
45.78/46.33	o 4813
45.88/46.46	o 4811
45.98/46.59	o 4805
46.37/46.96	o 4803
46.57/47.19	o 4800
46.77/47.31	o 4796
46.86/47.42	o 4794
46.96/47.54	o 4792
47.06/47.66	o 4791
47.26/47.89	o 4788
47.56/48.10	o 4778
47.66/48.22	o 4773
47.86/48.45	o 4772
47.95/48.58	o 4765
48.05/48.69	o 4759
48.25/48.80	o 4757
48.35/48.93	o 4752
48.45/49.05	o 4747
48.55/49.16	o 4745
48.65/49.27	o 4744
48.75/49.39	o 4742
49.04/49.63	o 4737
49.14/49.76	o 4732
49.24/49.88	o 4730
49.54/50.13	o 4728
49.74/50.37	o 4724
49.84/50.49	o 4721
50.04/50.63	o 4717
50.43/51.01	o 4715
50.52/51.13	o 4712
50.62/51.25	o 4710
50.92/51.53	o 4704
51.02/51.67	o 4702
51.22/51.82	o 4699
51.61/52.24	o 4696
52.01/52.68	o 4694
52.40/53.01	o 4692
52.50/53.16	o 4690
52.70/53.33	o 4688
52.80/53.49	o 4685
53.00/53.64	o 4682
53.20/53.80	o 4679
53.30/53.96	o 4673
53.69/54.31	o 4670
53.79/54.47	o 4665
53.89/54.59	o 4661
54.09/54.74	o 4658
54.19/54.87	o 4655
54.39/55.03	o 4654
54.49/55.17	o 4651
54.69/55.31	o 4650
54.79/55.45	o 4647
55.08/55.75	o 4646
55.18/55.88	o 4643
55.38/56.02	o 4635
55.48/56.16	o 4632
55.58/56.29	o 4629
55.78/56.43	o 4628
55.88/56.59	o 4626
56.07/56.73	o 4623
56.27/57.00	o 4622
56.47/57.14	o 4620
56.57/57.27	o 4618
56.77/57.41	o 4615
56.87/57.54	o 4612
57.66/58.34	o 4611
57.75/58.45	o 4606
57.95/58.68	o 4602
58.35/59.05	o 4600
58.45/59.18	o 4597
58.55/59.30	o 4596
58.94/59.68	o 4594
59.14/59.80	o 4590
59.64/60.32	o 4588
59.74/60.46	o 4585
59.84/60.60	o 4584
60.13/60.87	o 4583
60.33/61.01	o 4579
60.43/61.14	o 4573
60.72/61.43	o 4568
60.82/61.56	o 4564
61.02/61.72	o 4563
61.12/61.85	o 4558
61.22/61.98	o 4556
61.41/62.12	o 4554
61.51/62.27	o 4552
61.71/62.40	o 4551
61.81/62.54	o 4549
61.91/62.68	o 4547
62.11/62.82	o 4543
62.21/62.96	o 4541
62.41/63.11	o 4540
62.70/63.41	o 4539
62.80/63.55	o 4538
63.00/63.71	o 4533
63.10/63.87	o 4529
63.41/64.16	o 4525
63.60/64.32	o 4524
63.70/64.46	o 4521
63.90/64.61	o 4519
64.20/64.93	o 4518
64.30/65.08	o 4517
64.50/65.22	o 4515
64.60/65.39	o 4510
64.79/65.55	o 4500
64.99/65.72	o 4498
65.29/66.02	o 4496
65.38/66.17	o 4492
65.58/66.31	o 4489
65.68/66.46	o 4488
65.98/66.78	o 4486
66.28/67.06	o 4485
66.57/67.37	o 4481
66.77/67.52	o 4479
66.87/67.68	o 4478
67.07/67.84	o 4477
67.16/67.99	o 4476
67.86/68.60	o 4475
67.95/68.76	o 4471
68.45/69.21	o 4470
68.55/69.38	o 4467
68.75/69.52	o 4464
68.85/69.67	o 4463
69.24/70.01	o 4460
69.34/70.17	o 4459
69.54/70.36	o 4457
69.74/70.56	o 4455
70.13/70.92	o 4450
70.23/71.07	o 4448
70.43/71.22	o 4439
70.53/71.38	o 4435
70.73/71.56	o 4432
70.93/71.73	o 4426
71.13/71.91	o 4424
71.32/72.10	o 4421
71.42/72.26	o 4414
71.62/72.44	o 4410
71.82/72.63	o 4404
72.02/72.81	o 4403
72.12/72.99	o 4402
72.51/73.34	o 4401
72.71/73.52	o 4394
72.81/73.69	o 4393
73.00/73.86	o 4388
73.20/74.04	o 4383
73.40/74.21	o 4381
73.50/74.37	o 4380
73.70/74.55	o 4376
74.19/75.08	o 4375
74.99/75.84	o 4370
75.18/76.04	o 4367
75.38/76.22	o 4366
75.88/76.80	o 4364
76.18/77.00	o 4362
76.67/77.55	o 4358
76.87/77.74	o 4353
77.07/77.92	o 4351
77.96/78.81	o 4349
78.06/78.99	o 4345
78.26/79.19	o 4341
79.05/79.95	o 4339
79.84/80.73	o 4338
80.03/80.93	o 4334
80.23/81.12	o 4332
80.43/81.31	o 4331
80.53/81.49	o 4327
80.73/81.68	o 4325
81.12/82.05	o 4323
81.32/82.26	o 4321
81.52/82.44	o 4317
81.72/82.64	o 4311
81.92/82.84	o 4306
82.11/83.03	o 4303
82.31/83.23	o 4301
82.51/83.44	o 4300
82.71/83.66	o 4298
82.91/83.87	o 4295
83.30/84.29	o 4289
83.60/84.52	o 4287
84.00/84.93	o 4285
84.39/85.34	o 4283
84.59/85.54	o 4281
84.79/85.74	o 4279
85.18/86.12	o 4278
85.38/86.34	o 4276
85.58/86.53	o 4272
85.78/86.72	o 4268
85.98/86.92	o 4264
86.17/87.11	o 4263
86.37/87.31	o 4259
86.57/87.51	o 4257
86.77/87.70	o 4254
87.07/88.08	o 4251
87.46/88.47	o 4246
87.66/88.66	o 4245
87.86/88.84	o 4240
88.06/89.04	o 4236
88.25/89.21	o 4234
88.45/89.41	o 4227
88.75/89.79	o 4223
88.95/89.99	o 4221
89.15/90.19	o 4214
89.34/90.38	o 4211
89.54/90.57	o 4209
89.75/90.77	o 4207
89.94/90.96	o 4206
90.14/91.14	o 4204
90.93/91.91	o 4202
91.13/92.10	o 4199
91.23/92.29	o 4198
91.62/92.65	o 4195
92.12/93.18	o 4194
92.52/93.53	o 4191
92.71/93.72	o 4190
92.91/93.92	o 4188
93.11/94.10	o 4184
93.41/94.47	o 4181
93.61/94.66	o 4178
94.60/95.66	o 4174
94.79/95.85	o 4172
94.99/96.04	o 4170
95.19/96.25	o 4168
95.39/96.45	o 4165
95.59/96.63	o 4161
95.79/96.85	o 4160
95.98/97.05	o 4155
96.18/97.26	o 4154
96.37/97.46	o 4151
96.77/97.83	o 4149
96.97/98.05	o 4148
97.17/98.26	o 4144
97.86/98.96	o 4141
98.36/99.40	o 4140
98.55/99.64	o 4136
98.95/100.08	o 4130
99.64/100.77	o 4128
100.14/101.24	o 4126
100.63/101.71	o 4124
100.83/101.94	o 4120
101.22/102.40	o 4117
101.52/102.62	o 4113
101.71/102.86	o 4110
101.91/103.08	o 4108
102.21/103.33	o 4104
102.41/103.57	o 4103
102.61/103.77	o 4102
102.90/104.02	o 4100
103.30/104.45	o 4098
103.50/104.69	o 4096
103.99/105.14	o 4093
104.19/105.36	o 4091
104.88/106.02	o 4090
105.08/106.24	o 4089
105.49/106.66	o 4085
105.88/107.10	o 4082
106.17/107.31	o 4079
106.37/107.53	o 4072
106.57/107.74	o 4067
106.77/107.96	o 4065
107.16/108.39	o 4062
107.46/108.62	o 4057
107.66/108.86	o 4056
107.85/109.07	o 4055
108.05/109.29	o 4054
108.35/109.51	o 4051
108.75/109.97	o 4050
109.24/110.40	o 4049
109.44/110.62	o 4048
110.03/111.28	o 4047
110.53/111.72	o 4045
110.73/111.91	o 4043
111.12/112.33	o 4042
111.51/112.76	o 4039
111.51/112.79	o 4035
111.81/113.00	o 4032
112.51/113.71	o 4028
112.70/113.93	o 4025
113.49/114.75	o 4023
114.88/116.13	o 4022
115.08/116.37	o 4017
115.38/116.61	o 4012
115.57/116.86	o 4009
116.07/117.34	o 4008
116.37/117.62	o 4005
116.56/117.87	o 4004
116.86/118.14	o 4001
117.06/118.39	o 3999
117.36/118.65	o 3997
117.56/118.90	o 3992
118.15/119.42	o 3989
118.35/119.67	o 3986
118.84/120.17	o 3984
119.14/120.44	o 3982
119.35/120.69	o 3980
119.64/120.96	o 3979
119.94/121.23	o 3978
120.14/121.48	o 3976
120.73/122.01	o 3972
120.93/122.27	o 3970
121.23/122.55	o 3968
121.52/122.82	o 3965
121.72/123.08	o 3964
122.01/123.35	o 3963
122.81/124.12	o 3961
123.01/124.38	o 3960
123.50/124.89	o 3956
123.80/125.16	o 3955
124.10/125.42	o 3953
125.09/126.46	o 3950
125.38/126.73	o 3948
125.58/126.98	o 3946
125.88/127.23	o 3945
126.57/127.98	o 3942
126.86/128.24	o 3941
127.66/129.03	o 3939
128.35/129.75	o 3937
128.55/129.99	o 3934
129.14/130.50	o 3929
129.64/131.02	o 3926
129.84/131.27	o 3923
130.13/131.55	o 3922
130.92/132.35	o 3918
131.22/132.62	o 3916
132.51/133.91	o 3914
132.71/134.17	o 3911
133.00/134.46	o 3910
133.30/134.74	o 3908
135.38/136.83	o 3905
135.58/137.07	o 3903
135.88/137.33	o 3898
136.07/137.58	o 3896
136.37/137.84	o 3895
137.27/138.75	o 3893
137.57/139.01	o 3888
137.76/139.27	o 3886
138.06/139.51	o 3885
139.05/140.57	o 3880
139.55/141.09	o 3879
139.84/141.36	o 3878
140.14/141.61	o 3877
140.34/141.87	o 3876
140.63/142.15	o 3875
140.93/142.44	o 3874
141.23/142.71	o 3873
141.43/142.98	o 3870
141.72/143.23	o 3864
142.02/143.50	o 3860
142.22/143.76	o 3855
142.52/144.02	o 3852
143.01/144.58	o 3850
143.31/144.85	o 3848
143.80/145.39	o 3847
144.29/145.85	o 3843
144.49/146.09	o 3838
144.79/146.36	o 3837
145.09/146.64	o 3833
145.38/146.91	o 3829
145.58/147.16	o 3827
145.88/147.44	o 3826
146.18/147.71	o 3823
146.37/147.99	o 3822
146.97/148.56	o 3820
147.26/148.82	o 3818
147.56/149.11	o 3817
148.65/150.23	o 3813
150.53/152.11	o 3812
150.73/152.38	o 3810
151.04/152.64	o 3809
151.24/152.90	o 3807
151.82/153.43	o 3803
152.12/153.72	o 3802
152.32/153.99	o 3797
152.62/154.29	o 3793
152.91/154.57	o 3792
153.21/154.82	o 3791
153.41/155.10	o 3790
153.71/155.35	o 3788
154.00/155.62	o 3787
154.30/155.90	o 3784
154.50/156.19	o 3780
154.80/156.47	o 3777
155.09/156.74	o 3776
155.39/157.01	o 3774
155.88/157.54	o 3771
156.08/157.72	o 3770
156.28/157.98	o 3765
156.58/158.23	o 3761
156.78/158.49	o 3757
159.25/160.97	o 3754
159.54/161.23	o 3753
159.74/161.49	o 3749
160.04/161.76	o 3744
160.34/162.01	o 3743
160.53/162.28	o 3741
160.83/162.54	o 3740
161.13/162.82	o 3737
161.33/163.09	o 3734
161.62/163.35	o 3731
161.92/163.63	o 3725
162.42/164.19	o 3724
163.01/164.78	o 3721
163.31/165.07	o 3718
164.99/166.76	o 3716
165.29/167.03	o 3714
165.58/167.32	o 3711
166.18/167.90	o 3708
167.27/169.05	o 3707
170.44/172.27	o 3706
170.73/172.56	o 3703
171.62/173.47	o 3702
171.92/173.77	o 3699
172.22/174.06	o 3694
172.51/174.35	o 3691
172.82/174.65	o 3689
173.12/174.95	o 3686
173.41/175.25	o 3683
173.71/175.55	o 3679
174.01/175.86	o 3677
174.30/176.15	o 3676
174.60/176.44	o 3673
175.20/177.04	o 3672
175.49/177.33	o 3667
175.79/177.63	o 3665
176.29/178.19	o 3663
176.58/178.48	o 3660
176.87/178.75	o 3658
177.17/179.04	o 3656
177.47/179.33	o 3655
178.56/180.48	o 3651
179.15/181.02	o 3647
179.85/181.78	o 3646
180.14/182.08	o 3645
180.44/182.40	o 3643
180.84/182.73	o 3639
181.43/183.33	o 3633
182.03/183.92	o 3631
184.70/186.62	o 3630
185.59/187.54	o 3624
185.89/187.84	o 3623
186.48/188.45	o 3620
188.27/190.29	o 3618
188.66/190.61	o 3615
188.96/190.92	o 3612
189.26/191.24	o 3611
189.55/191.56	o 3608
189.85/191.90	o 3607
194.01/196.07	o 3606
194.30/196.38	o 3605
194.70/196.70	o 3603
195.00/197.04	o 3602
195.30/197.39	o 3599
196.68/198.74	o 3598
197.38/199.43	o 3594
197.67/199.76	o 3592
198.37/200.44	o 3589
199.26/201.40	o 3587
199.65/201.70	o 3582
199.95/202.07	o 3579
200.25/202.39	o 3574
200.64/202.71	o 3573
201.53/203.67	o 3572
201.93/204.01	o 3570
205.11/207.23	o 3568
205.70/207.86	o 3565
206.00/208.17	o 3561
206.69/208.81	o 3560
206.99/209.12	o 3556
207.58/209.75	o 3555
207.88/210.02	o 3554
208.18/210.32	o 3553
208.77/210.94	o 3552
211.94/214.14	o 3550
212.24/214.47	o 3547
212.53/214.79	o 3545
213.23/215.45	o 3544
213.52/215.76	o 3543
213.82/216.09	o 3542
214.51/216.72	o 3538
214.81/217.04	o 3537
216.10/218.32	o 3535
216.40/218.65	o 3534
217.38/219.65	o 3533
219.66/221.93	o 3532
220.55/222.87	o 3527
220.85/223.16	o 3523
221.15/223.49	o 3520
221.54/223.83	o 3517
222.53/224.81	o 3516
222.83/225.13	o 3515
223.13/225.46	o 3511
223.42/225.78	o 3508
223.82/226.12	o 3507
224.12/226.43	o 3506
224.41/226.76	o 3505
225.11/227.46	o 3503
225.50/227.83	o 3500
225.90/228.23	o 3498
226.89/229.28	o 3496
227.18/229.58	o 3494
227.88/230.22	o 3493
229.16/231.58	o 3491
229.86/232.29	o 3490
230.25/232.65	o 3485
234.32/236.77	o 3484
235.01/237.48	o 3482
236.10/238.56	o 3480
238.29/240.79	o 3477
238.68/241.16	o 3476
240.56/243.07	o 3473
240.96/243.46	o 3470
241.35/243.84	o 3468
241.75/244.26	o 3466
242.15/244.65	o 3463
242.94/245.45	o 3460
243.33/245.87	o 3457
243.73/246.30	o 3455
244.62/247.10	o 3453
245.81/248.36	o 3451
247.10/249.61	o 3450
249.97/252.54	o 3448
250.76/253.39	o 3446
251.25/253.85	o 3445
251.65/254.29	o 3442
252.94/255.55	o 3439
253.33/255.99	o 3437
255.51/258.20	o 3436
256.01/258.62	o 3434
256.80/259.48	o 3429
258.58/261.21	o 3428
258.98/261.62	o 3425
260.87/263.52	o 3421
261.27/263.92	o 3420
261.66/264.33	o 3417
262.36/265.01	o 3415
262.75/265.44	o 3413
263.15/265.86	o 3410
263.54/266.27	o 3408
263.94/266.68	o 3407
264.43/267.10	o 3404
265.62/268.37	o 3403
266.41/269.17	o 3399
268.79/271.54	o 3397
269.98/272.77	o 3394
270.38/273.15	o 3392
270.77/273.52	o 3388
271.17/273.91	o 3386
271.96/274.71	o 3384
272.35/275.14	o 3381
273.15/275.98	o 3378
273.64/276.41	o 3376
274.44/277.23	o 3372
281.37/284.22	o 3371
282.16/285.06	o 3369
282.55/285.47	o 3366
282.95/285.89	o 3365
283.45/286.31	o 3363
284.64/287.58	o 3362
285.03/287.99	o 3360
286.72/289.68	o 3357
289.69/292.69	o 3355
290.97/293.96	o 3354
291.37/294.37	o 3351
291.77/294.79	o 3350
292.26/295.20	o 3347
292.96/295.96	o 3346
293.35/296.37	o 3345
294.24/297.20	o 3343
294.64/297.61	o 3341
297.80/300.82	o 3338
298.10/301.16	o 3336
299.39/302.47	o 3335
302.86/305.92	o 3332
306.12/309.23	o 3327
309.00/312.19	o 3325
309.49/312.61	o 3324
310.98/314.14	o 3322
311.38/314.51	o 3318
311.57/314.75	o 3316
311.97/315.13	o 3314
324.75/328.07	o 3313
325.14/328.49	o 3309
333.56/336.97	o 3308
334.06/337.47	o 3307
334.55/337.99	o 3306
335.54/338.95	o 3303
336.03/339.46	o 3298
337.02/340.40	o 3297
337.42/340.89	o 3296
337.92/341.34	o 3295
339.40/342.88	o 3294
340.39/343.81	o 3292
340.59/344.01	o 3291
341.08/344.52	o 3285
341.58/345.03	o 3283
343.07/346.55	o 3282
343.56/347.06	o 3281
344.06/347.56	o 3277
346.53/350.07	o 3274
347.03/350.57	o 3272
347.52/351.08	o 3270
347.83/351.33	o 3269
348.32/351.83	o 3265
348.82/352.33	o 3263
349.61/353.13	o 3259
349.91/353.43	o 3256
350.30/353.80	o 3254
350.70/354.27	o 3251
351.09/354.67	o 3249
353.07/356.60	o 3248
353.47/357.10	o 3244
353.97/357.58	o 3243
355.95/359.58	o 3241
356.44/360.10	o 3239
357.03/360.65	o 3237
357.53/361.15	o 3235
358.02/361.64	o 3234
358.52/362.16	o 3233
361.40/365.04	o 3232
362.70/366.38	o 3230
363.19/366.82	o 3228
363.59/367.26	o 3226
364.09/367.70	o 3221
364.99/368.61	o 3220
365.79/369.45	o 3217
366.19/369.88	o 3214
366.49/370.15	o 3206
369.08/372.79	o 3205
370.89/374.53	o 3202
371.29/374.96	o 3198
371.68/375.38	o 3195
374.58/378.26	o 3193
376.68/380.39	o 3192
377.58/381.26	o 3190
386.79/390.49	o 3188
388.18/391.82	o 3187
389.09/392.73	o 3184
389.78/393.46	o 3179
390.28/393.90	o 3174
391.08/394.75	o 3170
391.98/395.63	o 3168
392.39/396.08	o 3167
392.88/396.53	o 3166
393.28/396.95	o 3164
394.59/398.21	o 3162
394.98/398.64	o 3160
395.38/399.09	o 3158
399.58/403.23	o 3156
399.98/403.66	o 3154
401.68/405.34	o 3153
402.08/405.77	o 3152
402.48/406.20	o 3151
402.98/406.62	o 3149
403.38/407.04	o 3146
403.77/407.47	o 3142
404.17/407.89	o 3140
405.48/409.15	o 3136
406.37/410.02	o 3133
407.17/410.89	o 3130
408.07/411.74	o 3126
408.77/412.48	o 3123
409.27/412.92	o 3122
409.67/413.34	o 3121
411.37/415.09	o 3120
411.76/415.49	o 3119
412.26/415.93	o 3118
412.66/416.32	o 3116
413.06/416.75	o 3109
413.46/417.18	o 3107
413.96/417.60	o 3105
415.56/419.27	o 3104
415.96/419.66	o 3098
416.36/420.06	o 3094
416.76/420.46	o 3092
417.16/420.88	o 3088
417.96/421.68	o 3087
418.36/422.10	o 3084
418.86/422.52	o 3082
419.26/422.92	o 3078
419.66/423.33	o 3077
420.06/423.73	o 3076
420.46/424.14	o 3074
421.66/425.40	o 3070
429.05/432.70	o 3068
429.85/433.57	o 3067
430.35/434.01	o 3065
430.76/434.45	o 3062
431.26/434.91	o 3058
432.55/436.23	o 3054
432.96/436.65	o 3052
439.55/443.25	o 3049
443.25/446.96	o 3048
444.15/447.82	o 3045
448.94/452.60	o 3044
449.34/453.05	o 3043
449.74/453.50	o 3041
453.95/457.69	o 3037
454.74/458.49	o 3034
455.24/458.91	o 3033
455.54/459.22	o 3031
455.94/459.63	o 3029
456.73/460.49	o 3028
462.33/466.04	o 3025
462.73/466.45	o 3023
463.53/467.26	o 3019
463.93/467.67	o 3016
464.73/468.46	o 3014
465.13/468.87	o 3010
465.23/468.98	o 3006
465.73/469.40	o 3002
466.03/469.75	o 2999
466.43/470.17	o 2995
468.13/471.84	o 2993
469.43/473.10	o 2991
471.03/474.75	o 2990
471.23/474.97	o 2989
471.63/475.39	o 2988
472.33/476.03	o 2985
474.42/478.12	o 2983
475.22/478.93	o 2979
476.02/479.77	o 2978
478.13/481.86	o 2977
478.52/482.29	o 2973
478.92/482.69	o 2971
481.43/485.14	o 2969
482.12/485.87	o 2967
482.92/486.69	o 2964
484.22/487.92	o 2960
484.63/488.31	o 2956
484.93/488.67	o 2951
485.43/489.10	o 2946
485.83/489.52	o 2943
486.23/489.96	o 2941
487.53/491.23	o 2938
487.93/491.64	o 2936
488.73/492.47	o 2933
489.82/493.57	o 2930
491.62/495.30	o 2928
492.43/496.15	o 2925
494.53/498.27	o 2920
495.82/499.54	o 2917
496.12/499.85	o 2915
496.32/500.08	o 2913
496.72/500.50	o 2910
498.02/501.73	o 2908
499.22/502.95	o 2906
499.62/503.37	o 2905
500.02/503.79	o 2903
500.42/504.19	o 2899
500.92/504.60	o 2896
501.32/505.04	o 2894
501.71/505.49	o 2892
506.71/510.41	o 2891
508.00/511.75	o 2888
510.20/513.91	o 2887
512.60/516.39	o 2884
513.50/517.26	o 2882
514.00/517.71	o 2880
514.41/518.15	o 2879
514.80/518.57	o 2877
523.11/526.85	o 2876
523.51/527.27	o 2874
528.50/532.23	o 2873
529.81/533.59	o 2872
531.40/535.15	o 2869
532.10/535.88	o 2866
533.30/537.05	o 2863
533.80/537.53	o 2860
535.30/539.02	o 2859
536.60/540.34	o 2855
537.00/540.79	o 2854
539.60/543.39	o 2853
540.10/543.85	o 2851
544.10/547.87	o 2849
544.60/548.30	o 2847
545.00/548.76	o 2842
547.68/551.43	o 2839
548.08/551.88	o 2831
548.98/552.79	o 2830
552.29/556.01	o 2828
552.69/556.45	o 2827
553.19/556.91	o 2826
554.09/557.83	o 2822
555.19/558.96	o 2819
555.69/559.42	o 2817
556.09/559.86	o 2816
556.99/560.77	o 2815
557.49/561.24	o 2813
565.48/569.20	o 2809
565.88/569.67	o 2808
566.38/570.13	o 2807
566.78/570.59	o 2806
568.18/571.99	o 2805
569.58/573.39	o 2802
571.88/575.60	o 2799
574.18/577.93	o 2797
574.38/578.15	o 2793
574.88/578.63	o 2790
575.28/579.05	o 2787
575.68/579.44	o 2786
576.17/579.91	o 2785
577.97/581.77	o 2783
578.47/582.24	o 2781
578.97/582.71	o 2780
580.67/584.47	o 2779
581.17/584.94	o 2778
581.57/585.39	o 2777
587.07/590.82	o 2774
589.47/593.29	o 2773
589.97/593.74	o 2772
590.47/594.20	o 2769
590.87/594.67	o 2765
591.37/595.17	o 2764
592.26/596.09	o 2763
593.26/597.00	o 2761
593.58/597.33	o 2759
593.97/597.80	o 2758
597.27/601.10	o 2757
599.67/603.47	o 2756
600.17/603.95	o 2755
600.67/604.41	o 2754
601.17/604.91	o 2753
605.26/609.07	o 2750
605.76/609.53	o 2748
610.66/614.43	o 2743
611.17/614.90	o 2742
611.56/615.37	o 2740
612.06/615.84	o 2739
612.56/616.32	o 2737
612.96/616.78	o 2736
613.96/617.71	o 2733
614.26/618.10	o 2731
614.76/618.51	o 2730
615.06/618.89	o 2729
615.56/619.35	o 2726
616.06/619.81	o 2721
616.46/620.21	o 2720
618.46/622.29	o 2717
620.36/624.13	o 2715
620.86/624.62	o 2713
621.26/625.09	o 2711
621.75/625.54	o 2710
622.75/626.50	o 2708
623.16/626.98	o 2707
623.65/627.44	o 2704
624.05/627.89	o 2702
624.55/628.33	o 2699
624.95/628.78	o 2698
625.46/629.25	o 2697
626.25/630.08	o 2695
627.45/631.25	o 2692
627.75/631.59	o 2688
628.25/632.02	o 2685
630.05/633.80	o 2684
630.45/634.22	o 2679
631.25/635.08	o 2678
632.16/635.90	o 2674
632.96/636.76	o 2672
634.16/637.91	o 2671
634.55/638.35	o 2670
636.25/640.07	o 2669
636.65/640.50	o 2667
637.94/641.75	o 2664
639.84/643.60	o 2663
640.24/644.07	o 2660
640.74/644.55	o 2659
642.14/645.91	o 2657
644.44/648.23	o 2656
644.84/648.68	o 2653
646.24/650.07	o 2651
646.74/650.53	o 2649
647.63/651.44	o 2648
648.03/651.82	o 2646
648.44/652.28	o 2644
648.93/652.74	o 2643
650.34/654.12	o 2642
652.53/656.32	o 2640
654.33/658.15	o 2639
655.23/659.06	o 2637
656.53/660.31	o 2636
656.93/660.72	o 2635
657.34/661.19	o 2632
658.63/662.49	o 2628
664.33/668.10	o 2626
666.73/670.54	o 2623
667.23/671.04	o 2619
667.42/671.28	o 2617
667.92/671.77	o 2615
673.22/677.01	o 2614
674.12/677.96	o 2613
674.62/678.42	o 2611
675.12/678.90	o 2609
675.52/679.36	o 2606
676.02/679.86	o 2605
676.82/680.65	o 2604
677.22/681.01	o 2600
677.62/681.46	o 2596
678.12/681.94	o 2595
678.82/682.61	o 2592
679.72/683.52	o 2589
680.12/683.97	o 2588
681.12/684.96	o 2586
681.61/685.48	o 2585
682.11/685.98	o 2583
683.62/687.44	o 2581
684.12/687.94	o 2580
684.62/688.41	o 2578
685.02/688.84	o 2576
685.52/689.33	o 2573
687.91/691.79	o 2569
688.41/692.25	o 2568
695.71/699.54	o 2566
696.21/700.03	o 2565
696.71/700.53	o 2564
697.21/701.00	o 2562
697.61/701.49	o 2561
700.50/704.32	o 2560
701.00/704.84	o 2559
702.00/705.85	o 2558
702.50/706.34	o 2555
703.00/706.85	o 2554
703.51/707.36	o 2551
704.50/708.36	o 2548
704.80/708.61	o 2544
705.30/709.11	o 2539
706.30/710.14	o 2538
707.80/711.69	o 2537
708.40/712.23	o 2536
708.90/712.73	o 2535
709.90/713.79	o 2533
710.40/714.24	o 2529
710.90/714.72	o 2525
713.40/717.25	o 2524
714.40/718.30	o 2522
714.89/718.74	o 2519
715.39/719.25	o 2516
715.89/719.80	o 2512
716.49/720.30	o 2511
716.99/720.83	o 2509
717.49/721.32	o 2503
717.99/721.80	o 2501
718.99/722.85	o 2496
719.49/723.37	o 2494
720.09/723.92	o 2493
728.28/732.19	o 2491
728.88/732.71	o 2487
729.28/733.20	o 2485
731.48/735.31	o 2484
731.98/735.85	o 2481
733.58/737.48	o 2476
733.88/737.77	o 2472
734.98/738.84	o 2470
735.48/739.39	o 2469
735.99/739.85	o 2467
737.59/741.43	o 2466
738.69/742.52	o 2465
740.18/744.06	o 2462
741.28/745.12	o 2461
742.38/746.20	o 2459
742.88/746.73	o 2458
747.98/751.81	o 2454
748.49/752.32	o 2452
749.48/753.37	o 2451
753.68/757.57	o 2450
754.18/758.09	o 2449
754.78/758.62	o 2448
755.28/759.13	o 2444
755.48/759.39	o 2443
756.08/759.92	o 2442
756.48/760.37	o 2440
756.98/760.89	o 2439
757.58/761.40	o 2437
760.08/763.94	o 2435
760.58/764.49	o 2434
761.68/765.55	o 2433
762.68/766.60	o 2430
764.27/768.15	o 2426
764.77/768.65	o 2424
765.27/769.17	o 2422
769.27/773.14	o 2421
770.17/774.03	o 2420
770.67/774.53	o 2415
771.17/775.04	o 2413
771.67/775.58	o 2412
772.77/776.62	o 2409
773.46/777.31	o 2408
773.96/777.81	o 2407
774.46/778.31	o 2405
778.06/781.94	o 2404
778.56/782.42	o 2403
780.06/783.90	o 2402
781.46/785.32	o 2401
782.76/786.64	o 2397
783.76/787.66	o 2395
784.05/787.90	o 2388
784.45/788.33	o 2385
784.95/788.83	o 2383
786.75/790.70	o 2382
787.25/791.18	o 2379
788.75/792.66	o 2378
788.95/792.89	o 2372
789.45/793.37	o 2370
789.95/793.89	o 2367
790.95/794.88	o 2363
791.25/795.20	o 2358
791.75/795.67	o 2354
795.25/799.16	o 2352
796.75/800.64	o 2350
797.25/801.14	o 2348
798.25/802.15	o 2346
801.25/805.20	o 2345
802.35/806.22	o 2344
803.85/807.76	o 2342
805.44/809.37	o 2338
807.04/810.98	o 2334
807.65/811.53	o 2331
814.24/818.19	o 2330
814.74/818.61	o 2329
815.04/818.97	o 2327
816.64/820.54	o 2326
817.15/821.07	o 2325
817.65/821.60	o 2324
818.75/822.64	o 2323
820.84/824.79	o 2322
821.44/825.30	o 2321
828.24/832.19	o 2317
831.54/835.49	o 2313
832.64/836.53	o 2311
833.04/836.99	o 2309
834.04/837.94	o 2306
834.54/838.46	o 2305
835.04/838.91	o 2302
838.43/842.32	o 2300
839.43/843.31	o 2297
839.84/843.70	o 2293
840.84/844.71	o 2290
841.33/845.22	o 2288
843.33/847.27	o 2286
843.83/847.78	o 2282
844.33/848.28	o 2278
848.03/851.97	o 2276
848.53/852.46	o 2272
849.53/853.48	o 2271
850.03/853.96	o 2270
851.03/854.94	o 2265
851.53/855.46	o 2264
859.72/863.62	o 2263
860.22/864.12	o 2262
861.23/865.16	o 2261
861.92/865.89	o 2259
864.32/868.29	o 2258
864.82/868.77	o 2256
865.22/869.15	o 2255
865.72/869.64	o 2254
866.23/870.15	o 2251
867.23/871.13	o 2248
869.32/873.20	o 2247
869.82/873.73	o 2246
870.32/874.22	o 2244
870.82/874.74	o 2243
871.32/875.27	o 2242
872.42/876.33	o 2239
877.12/881.09	o 2237
877.71/881.65	o 2236
879.62/883.56	o 2235
880.22/884.11	o 2234
880.42/884.32	o 2231
880.91/884.83	o 2230
881.21/885.20	o 2227
881.81/885.71	o 2224
889.31/893.24	o 2223
889.91/893.80	o 2222
894.81/898.73	o 2220
897.50/901.48	o 2219
898.11/902.02	o 2218
899.21/903.13	o 2217
899.70/903.67	o 2216
904.10/908.01	o 2211
904.61/908.58	o 2209
905.20/909.15	o 2207
905.80/909.72	o 2206
906.39/910.31	o 2205
906.90/910.87	o 2203
908.09/912.00	o 2201
908.59/912.56	o 2200
913.79/917.77	o 2199
914.99/918.94	o 2198
916.79/920.74	o 2195
920.19/924.18	o 2192
922.00/925.97	o 2191
922.60/926.55	o 2189
923.20/927.14	o 2187
923.80/927.79	o 2186
925.10/929.05	o 2181
925.80/929.70	o 2180
926.40/930.32	o 2176
928.19/932.18	o 2174
931.29/935.27	o 2173
931.79/935.75	o 2171
932.39/936.36	o 2170
950.58/954.54	o 2169
951.18/955.18	o 2167
955.87/959.87	o 2166
956.57/960.50	o 2164
958.37/962.38	o 2162
985.46/989.50	o 2160
985.86/989.89	o 2159
987.86/991.82	o 2158
988.46/992.46	o 2157
989.16/993.10	o 2155
989.76/993.73	o 2153
990.96/994.99	o 2150
992.26/996.27	o 2149
992.96/996.94	o 2146
993.06/997.07	o 2144
993.76/997.70	o 2142
994.36/998.34	o 2141
995.56/999.60	o 2138
996.25/1000.26	o 2136
1006.55/1010.52	o 2134
1006.65/1010.62	o 2130
1007.05/1011.00	o 2129
1017.24/1021.25	o 2124
1019.24/1023.28	o 2123
1019.94/1023.95	o 2121
1022.44/1026.44	o 2120
1023.14/1027.12	o 2117
1023.84/1027.81	o 2115
1024.44/1028.48	o 2113
1026.54/1030.52	o 2112
1028.43/1032.48	o 2110
1029.13/1033.16	o 2108
1035.34/1039.32	o 2107
1038.04/1042.07	o 2104
1038.74/1042.77	o 2103
1039.44/1043.47	o 2102
1040.14/1044.17	o 2101
1040.84/1044.88	o 2099
1043.73/1047.73	o 2098
1044.43/1048.44	o 2097
1048.32/1052.31	o 2095
1049.02/1053.02	o 2094
1050.42/1054.44	o 2092
1051.12/1055.15	o 2090
1052.22/1056.23	o 2089
1062.72/1066.70	o 2088
1092.80/1096.86	   
1092.80/1096.86	   search
1092.80/1096.86	     run=0  nbConstraintChecks=2464834006  nbAssignments=3089
1092.80/1096.86	       =>  wckTime=1083.108  cpuTime=1079.22  mem=53M543
1092.80/1096.86	   
1092.80/1096.86	   global
1092.80/1096.86	     nbConstraintChecks=2464834006  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
1092.80/1096.86	     solvingWckTime=1083.097  solvingCpuTime=1079.21  expiredTime=no  totalExploration=no  nbFoundSolutions=0
1092.80/1096.86	     globalCpuTime=1091.35
1092.80/1096.86	       =>  wckTime=1096.574  cpuTime=1091.32  mem=53M543
1092.80/1096.86	   
1092.80/1096.86	   solver DecomposerSolver being built... 
1098.73/1102.76	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-1112827-1215874426/watcher-1112827-1215874426 -o /tmp/evaluation-result-1112827-1215874426/solver-1112827-1215874426 -C 3600 -W 4000 -M 900 --output-limit 1,15 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp absconMax112V3.jar abscon.Resolution mrdac-wdeg.xml 1 XSax HOME/instance-1112827-1215874426.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.92 1.98 1.91 3/81 14224
/proc/meminfo: memFree=1845328/2055920 swapFree=4192812/4192956
[pid=14224] ppid=14222 vsize=18572 CPUtime=0
/proc/14224/stat : 14224 (runsolver) R 14222 14224 13965 0 -1 4194368 16 0 0 0 0 0 0 0 18 0 1 0 44140988 19017728 292 996147200 4194304 4296836 548682068336 18446744073709551615 271894244647 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/14224/statm: 4643 292 257 25 0 2626 0

[startup+0.0107039 s]
/proc/loadavg: 1.92 1.98 1.91 3/81 14224
/proc/meminfo: memFree=1845328/2055920 swapFree=4192812/4192956
[pid=14224] ppid=14222 vsize=1616 CPUtime=0
/proc/14224/stat : 14224 (java) D 14222 14224 13965 0 -1 0 177 0 0 0 0 0 0 0 18 0 1 0 44140988 1654784 145 996147200 134512640 134550740 4294956128 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/14224/statm: 404 145 119 9 0 46 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 1616

[startup+0.102705 s]
/proc/loadavg: 1.92 1.98 1.91 3/81 14224
/proc/meminfo: memFree=1845328/2055920 swapFree=4192812/4192956
[pid=14224] ppid=14222 vsize=865988 CPUtime=0.08
/proc/14224/stat : 14224 (java) S 14222 14224 13965 0 -1 0 3689 0 1 0 6 2 0 0 18 0 9 0 44140988 886771712 3164 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14224/statm: 216497 3164 1683 9 0 211052 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 865988

[startup+0.302741 s]
/proc/loadavg: 1.92 1.98 1.91 3/81 14224
/proc/meminfo: memFree=1845328/2055920 swapFree=4192812/4192956
[pid=14224] ppid=14222 vsize=866308 CPUtime=0.27
/proc/14224/stat : 14224 (java) S 14222 14224 13965 0 -1 0 5406 0 1 0 23 4 0 0 18 0 9 0 44140988 887099392 4830 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14224/statm: 216577 4830 1880 9 0 211125 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 866308

[startup+0.701812 s]
/proc/loadavg: 1.92 1.98 1.91 3/81 14224
/proc/meminfo: memFree=1845328/2055920 swapFree=4192812/4192956
[pid=14224] ppid=14222 vsize=867416 CPUtime=0.66
/proc/14224/stat : 14224 (java) S 14222 14224 13965 0 -1 0 10599 0 1 0 60 6 0 0 18 0 9 0 44140988 888233984 9961 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14224/statm: 216854 9961 2002 9 0 211360 0
Current children cumulated CPU time (s) 0.66
Current children cumulated vsize (KiB) 867416

[startup+1.50196 s]
/proc/loadavg: 1.92 1.98 1.91 3/90 14233
/proc/meminfo: memFree=1800008/2055920 swapFree=4192812/4192956
[pid=14224] ppid=14222 vsize=867456 CPUtime=1.45
/proc/14224/stat : 14224 (java) S 14222 14224 13965 0 -1 0 20516 0 1 0 134 11 0 0 18 0 9 0 44140988 888274944 19852 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14224/statm: 216864 19852 2004 9 0 211392 0
[pid=14224/tid=14226] ppid=14222 vsize=867456 CPUtime=1.17
/proc/14224/task/14226/stat : 14226 (java) R 14222 14224 13965 0 -1 64 15761 0 1 0 108 9 0 0 25 0 9 0 44140990 888274944 19852 996147200 134512640 134550740 4294955952 18446744073709551615 4126428904 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14224/tid=14227] ppid=14222 vsize=867456 CPUtime=0.08
/proc/14224/task/14227/stat : 14227 (java) S 14222 14224 13965 0 -1 64 3445 0 0 0 7 1 0 0 16 0 9 0 44140992 888274944 19852 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=14224/tid=14228] ppid=14222 vsize=867456 CPUtime=0
/proc/14224/task/14228/stat : 14228 (java) S 14222 14224 13965 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44140992 888274944 19852 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14224/tid=14229] ppid=14222 vsize=867456 CPUtime=0
/proc/14224/task/14229/stat : 14229 (java) S 14222 14224 13965 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44140992 888274944 19852 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14224/tid=14230] ppid=14222 vsize=867456 CPUtime=0
/proc/14224/task/14230/stat : 14230 (java) S 14222 14224 13965 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44140994 888274944 19852 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14224/tid=14231] ppid=14222 vsize=867456 CPUtime=0.18
/proc/14224/task/14231/stat : 14231 (java) S 14222 14224 13965 0 -1 64 612 0 0 0 18 0 0 0 16 0 9 0 44140994 888274944 19852 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14224/tid=14232] ppid=14222 vsize=867456 CPUtime=0
/proc/14224/task/14232/stat : 14232 (java) S 14222 14224 13965 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44140994 888274944 19852 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14224/tid=14233] ppid=14222 vsize=867456 CPUtime=0
/proc/14224/task/14233/stat : 14233 (java) S 14222 14224 13965 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44140994 888274944 19852 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.45
Current children cumulated vsize (KiB) 867456

[startup+3.10123 s]
/proc/loadavg: 1.92 1.98 1.91 4/90 14233
/proc/meminfo: memFree=1766536/2055920 swapFree=4192812/4192956
[pid=14224] ppid=14222 vsize=867456 CPUtime=3.03
/proc/14224/stat : 14224 (java) S 14222 14224 13965 0 -1 0 23898 0 1 0 291 12 0 0 18 0 9 0 44140988 888274944 23231 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14224/statm: 216864 23231 2006 9 0 211392 0
[pid=14224/tid=14226] ppid=14222 vsize=867456 CPUtime=2.61
/proc/14224/task/14226/stat : 14226 (java) R 14222 14224 13965 0 -1 64 15798 0 1 0 252 9 0 0 25 0 9 0 44140990 888274944 23231 996147200 134512640 134550740 4294955952 18446744073709551615 4126893751 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14224/tid=14227] ppid=14222 vsize=867456 CPUtime=0.2
/proc/14224/task/14227/stat : 14227 (java) S 14222 14224 13965 0 -1 64 6777 0 0 0 18 2 0 0 17 0 9 0 44140992 888274944 23231 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=14224/tid=14228] ppid=14222 vsize=867456 CPUtime=0
/proc/14224/task/14228/stat : 14228 (java) S 14222 14224 13965 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44140992 888274944 23231 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14224/tid=14229] ppid=14222 vsize=867456 CPUtime=0
/proc/14224/task/14229/stat : 14229 (java) S 14222 14224 13965 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44140992 888274944 23231 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14224/tid=14230] ppid=14222 vsize=867456 CPUtime=0
/proc/14224/task/14230/stat : 14230 (java) S 14222 14224 13965 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44140994 888274944 23231 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14224/tid=14231] ppid=14222 vsize=867456 CPUtime=0.21
/proc/14224/task/14231/stat : 14231 (java) S 14222 14224 13965 0 -1 64 625 0 0 0 21 0 0 0 15 0 9 0 44140994 888274944 23231 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14224/tid=14232] ppid=14222 vsize=867456 CPUtime=0
/proc/14224/task/14232/stat : 14232 (java) S 14222 14224 13965 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44140994 888274944 23231 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14224/tid=14233] ppid=14222 vsize=867456 CPUtime=0
/proc/14224/task/14233/stat : 14233 (java) S 14222 14224 13965 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44140994 888274944 23231 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.03
Current children cumulated vsize (KiB) 867456

[startup+6.30181 s]
/proc/loadavg: 1.93 1.98 1.91 3/91 14234
/proc/meminfo: memFree=1696384/2055920 swapFree=4192812/4192956
[pid=14224] ppid=14222 vsize=867456 CPUtime=6.21
/proc/14224/stat : 14224 (java) S 14222 14224 13965 0 -1 0 23927 0 1 0 608 13 0 0 18 0 9 0 44140988 888274944 23255 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14224/statm: 216864 23255 2006 9 0 211392 0
[pid=14224/tid=14226] ppid=14222 vsize=867456 CPUtime=5.74
/proc/14224/task/14226/stat : 14226 (java) R 14222 14224 13965 0 -1 64 15804 0 1 0 565 9 0 0 25 0 9 0 44140990 888274944 23255 996147200 134512640 134550740 4294955952 18446744073709551615 4126893751 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14224/tid=14227] ppid=14222 vsize=867456 CPUtime=0.2
/proc/14224/task/14227/stat : 14227 (java) S 14222 14224 13965 0 -1 64 6777 0 0 0 18 2 0 0 17 0 9 0 44140992 888274944 23255 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=14224/tid=14228] ppid=14222 vsize=867456 CPUtime=0
/proc/14224/task/14228/stat : 14228 (java) S 14222 14224 13965 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44140992 888274944 23255 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14224/tid=14229] ppid=14222 vsize=867456 CPUtime=0
/proc/14224/task/14229/stat : 14229 (java) S 14222 14224 13965 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44140992 888274944 23255 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14224/tid=14230] ppid=14222 vsize=867456 CPUtime=0
/proc/14224/task/14230/stat : 14230 (java) S 14222 14224 13965 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44140994 888274944 23255 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14224/tid=14231] ppid=14222 vsize=867456 CPUtime=0.23
/proc/14224/task/14231/stat : 14231 (java) S 14222 14224 13965 0 -1 64 648 0 0 0 23 0 0 0 15 0 9 0 44140994 888274944 23255 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14224/tid=14232] ppid=14222 vsize=867456 CPUtime=0
/proc/14224/task/14232/stat : 14232 (java) S 14222 14224 13965 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44140994 888274944 23255 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14224/tid=14233] ppid=14222 vsize=867456 CPUtime=0
/proc/14224/task/14233/stat : 14233 (java) S 14222 14224 13965 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44140994 888274944 23255 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) 867456

[startup+12.702 s]
/proc/loadavg: 1.93 1.98 1.91 4/91 14234
/proc/meminfo: memFree=1672712/2055920 swapFree=4192812/4192956
[pid=14224] ppid=14222 vsize=867456 CPUtime=12.54
/proc/14224/stat : 14224 (java) S 14222 14224 13965 0 -1 0 27303 0 1 0 1239 15 0 0 18 0 9 0 44140988 888274944 26627 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14224/statm: 216864 26627 2007 9 0 211392 0
[pid=14224/tid=14226] ppid=14222 vsize=867456 CPUtime=11.81
/proc/14224/task/14226/stat : 14226 (java) R 14222 14224 13965 0 -1 64 15810 0 1 0 1171 10 0 0 25 0 9 0 44140990 888274944 26627 996147200 134512640 134550740 4294955952 18446744073709551615 4127108781 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14224/tid=14227] ppid=14222 vsize=867456 CPUtime=0.43
/proc/14224/task/14227/stat : 14227 (java) S 14222 14224 13965 0 -1 64 10120 0 0 0 40 3 0 0 17 0 9 0 44140992 888274944 26627 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=14224/tid=14228] ppid=14222 vsize=867456 CPUtime=0
/proc/14224/task/14228/stat : 14228 (java) S 14222 14224 13965 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44140992 888274944 26627 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14224/tid=14229] ppid=14222 vsize=867456 CPUtime=0
/proc/14224/task/14229/stat : 14229 (java) S 14222 14224 13965 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44140992 888274944 26627 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14224/tid=14230] ppid=14222 vsize=867456 CPUtime=0
/proc/14224/task/14230/stat : 14230 (java) S 14222 14224 13965 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44140994 888274944 26627 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14224/tid=14231] ppid=14222 vsize=867456 CPUtime=0.27
/proc/14224/task/14231/stat : 14231 (java) S 14222 14224 13965 0 -1 64 675 0 0 0 27 0 0 0 15 0 9 0 44140994 888274944 26627 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14224/tid=14232] ppid=14222 vsize=867456 CPUtime=0
/proc/14224/task/14232/stat : 14232 (java) S 14222 14224 13965 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44140994 888274944 26627 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14224/tid=14233] ppid=14222 vsize=867456 CPUtime=0
/proc/14224/task/14233/stat : 14233 (java) S 14222 14224 13965 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44140994 888274944 26627 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.54
Current children cumulated vsize (KiB) 867456

[startup+25.5022 s]
/proc/loadavg: 1.95 1.98 1.91 3/91 14234
/proc/meminfo: memFree=1641032/2055920 swapFree=4192812/4192956
[pid=14224] ppid=14222 vsize=867544 CPUtime=25.19
/proc/14224/stat : 14224 (java) S 14222 14224 13965 0 -1 0 32824 0 1 0 2498 21 0 0 18 0 9 0 44140988 888365056 31954 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14224/statm: 216886 31954 2640 9 0 211392 0
[pid=14224/tid=14226] ppid=14222 vsize=867544 CPUtime=23.88
/proc/14224/task/14226/stat : 14226 (java) R 14222 14224 13965 0 -1 64 15876 0 1 0 2374 14 0 0 25 0 9 0 44140990 888365056 31954 996147200 134512640 134550740 4294955952 18446744073709551615 4127063101 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14224/tid=14227] ppid=14222 vsize=867544 CPUtime=0.95
/proc/14224/task/14227/stat : 14227 (java) S 14222 14224 13965 0 -1 64 15548 0 0 0 90 5 0 0 16 0 9 0 44140992 888365056 31954 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=14224/tid=14228] ppid=14222 vsize=867544 CPUtime=0
/proc/14224/task/14228/stat : 14228 (java) S 14222 14224 13965 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44140992 888365056 31954 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14224/tid=14229] ppid=14222 vsize=867544 CPUtime=0
/proc/14224/task/14229/stat : 14229 (java) S 14222 14224 13965 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44140992 888365056 31954 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14224/tid=14230] ppid=14222 vsize=867544 CPUtime=0
/proc/14224/task/14230/stat : 14230 (java) S 14222 14224 13965 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44140994 888365056 31954 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14224/tid=14231] ppid=14222 vsize=867544 CPUtime=0.33
/proc/14224/task/14231/stat : 14231 (java) S 14222 14224 13965 0 -1 64 702 0 0 0 33 0 0 0 16 0 9 0 44140994 888365056 31954 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14224/tid=14232] ppid=14222 vsize=867544 CPUtime=0
/proc/14224/task/14232/stat : 14232 (java) S 14222 14224 13965 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44140994 888365056 31954 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14224/tid=14233] ppid=14222 vsize=867544 CPUtime=0
/proc/14224/task/14233/stat : 14233 (java) S 14222 14224 13965 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44140994 888365056 31954 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.19
Current children cumulated vsize (KiB) 867544

[startup+51.1028 s]
/proc/loadavg: 1.96 1.98 1.91 3/91 14234
/proc/meminfo: memFree=1627016/2055920 swapFree=4192812/4192956
[pid=14224] ppid=14222 vsize=867544 CPUtime=50.52
/proc/14224/stat : 14224 (java) S 14222 14224 13965 0 -1 0 32826 0 1 0 5027 25 0 0 18 0 9 0 44140988 888365056 31955 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14224/statm: 216886 31955 2640 9 0 211392 0
[pid=14224/tid=14226] ppid=14222 vsize=867544 CPUtime=49.21
/proc/14224/task/14226/stat : 14226 (java) R 14222 14224 13965 0 -1 64 15877 0 1 0 4903 18 0 0 25 0 9 0 44140990 888365056 31955 996147200 134512640 134550740 4294955952 18446744073709551615 4126457635 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14224/tid=14227] ppid=14222 vsize=867544 CPUtime=0.95
/proc/14224/task/14227/stat : 14227 (java) S 14222 14224 13965 0 -1 64 15548 0 0 0 90 5 0 0 16 0 9 0 44140992 888365056 31955 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=14224/tid=14228] ppid=14222 vsize=867544 CPUtime=0
/proc/14224/task/14228/stat : 14228 (java) S 14222 14224 13965 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44140992 888365056 31955 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14224/tid=14229] ppid=14222 vsize=867544 CPUtime=0
/proc/14224/task/14229/stat : 14229 (java) S 14222 14224 13965 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44140992 888365056 31955 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14224/tid=14230] ppid=14222 vsize=867544 CPUtime=0
/proc/14224/task/14230/stat : 14230 (java) S 14222 14224 13965 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44140994 888365056 31955 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14224/tid=14231] ppid=14222 vsize=867544 CPUtime=0.33
/proc/14224/task/14231/stat : 14231 (java) S 14222 14224 13965 0 -1 64 703 0 0 0 33 0 0 0 16 0 9 0 44140994 888365056 31955 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14224/tid=14232] ppid=14222 vsize=867544 CPUtime=0

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

/proc/14224/task/14229/stat : 14229 (java) S 14222 14224 13965 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44140992 888365056 31968 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14224/tid=14230] ppid=14222 vsize=867544 CPUtime=0
/proc/14224/task/14230/stat : 14230 (java) S 14222 14224 13965 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44140994 888365056 31968 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14224/tid=14231] ppid=14222 vsize=867544 CPUtime=0.36
/proc/14224/task/14231/stat : 14231 (java) S 14222 14224 13965 0 -1 64 717 0 0 0 36 0 0 0 16 0 9 0 44140994 888365056 31968 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14224/tid=14232] ppid=14222 vsize=867544 CPUtime=0
/proc/14224/task/14232/stat : 14232 (java) S 14222 14224 13965 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44140994 888365056 31968 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14224/tid=14233] ppid=14222 vsize=867544 CPUtime=0
/proc/14224/task/14233/stat : 14233 (java) S 14222 14224 13965 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44140994 888365056 31968 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1071.11
Current children cumulated vsize (KiB) 867544

[startup+1087.91 s]
/proc/loadavg: 1.03 1.12 1.43 2/91 14240
/proc/meminfo: memFree=1035784/2055920 swapFree=4192812/4192956
[pid=14224] ppid=14222 vsize=867544 CPUtime=1083.91
/proc/14224/stat : 14224 (java) S 14222 14224 13965 0 -1 0 32841 0 1 0 108339 52 0 0 18 0 9 0 44140988 888365056 31968 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14224/statm: 216886 31968 2640 9 0 211392 0
[pid=14224/tid=14226] ppid=14222 vsize=867544 CPUtime=1082.57
/proc/14224/task/14226/stat : 14226 (java) R 14222 14224 13965 0 -1 64 15878 0 1 0 108212 45 0 0 25 0 9 0 44140990 888365056 31968 996147200 134512640 134550740 4294955952 18446744073709551615 4126892864 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14224/tid=14227] ppid=14222 vsize=867544 CPUtime=0.95
/proc/14224/task/14227/stat : 14227 (java) S 14222 14224 13965 0 -1 64 15548 0 0 0 90 5 0 0 16 0 9 0 44140992 888365056 31968 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=14224/tid=14228] ppid=14222 vsize=867544 CPUtime=0
/proc/14224/task/14228/stat : 14228 (java) S 14222 14224 13965 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44140992 888365056 31968 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14224/tid=14229] ppid=14222 vsize=867544 CPUtime=0
/proc/14224/task/14229/stat : 14229 (java) S 14222 14224 13965 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44140992 888365056 31968 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14224/tid=14230] ppid=14222 vsize=867544 CPUtime=0
/proc/14224/task/14230/stat : 14230 (java) S 14222 14224 13965 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44140994 888365056 31968 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14224/tid=14231] ppid=14222 vsize=867544 CPUtime=0.36
/proc/14224/task/14231/stat : 14231 (java) S 14222 14224 13965 0 -1 64 717 0 0 0 36 0 0 0 16 0 9 0 44140994 888365056 31968 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14224/tid=14232] ppid=14222 vsize=867544 CPUtime=0
/proc/14224/task/14232/stat : 14232 (java) S 14222 14224 13965 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44140994 888365056 31968 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14224/tid=14233] ppid=14222 vsize=867544 CPUtime=0
/proc/14224/task/14233/stat : 14233 (java) S 14222 14224 13965 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44140994 888365056 31968 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1083.91
Current children cumulated vsize (KiB) 867544

[startup+1094.3 s]
/proc/loadavg: 1.02 1.11 1.43 2/91 14240
/proc/meminfo: memFree=1035784/2055920 swapFree=4192812/4192956
[pid=14224] ppid=14222 vsize=867544 CPUtime=1090.3
/proc/14224/stat : 14224 (java) S 14222 14224 13965 0 -1 0 32841 0 1 0 108978 52 0 0 18 0 9 0 44140988 888365056 31968 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14224/statm: 216886 31968 2640 9 0 211392 0
[pid=14224/tid=14226] ppid=14222 vsize=867544 CPUtime=1088.95
/proc/14224/task/14226/stat : 14226 (java) R 14222 14224 13965 0 -1 64 15878 0 1 0 108850 45 0 0 25 0 9 0 44140990 888365056 31968 996147200 134512640 134550740 4294955952 18446744073709551615 4126889480 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14224/tid=14227] ppid=14222 vsize=867544 CPUtime=0.95
/proc/14224/task/14227/stat : 14227 (java) S 14222 14224 13965 0 -1 64 15548 0 0 0 90 5 0 0 16 0 9 0 44140992 888365056 31968 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=14224/tid=14228] ppid=14222 vsize=867544 CPUtime=0
/proc/14224/task/14228/stat : 14228 (java) S 14222 14224 13965 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44140992 888365056 31968 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14224/tid=14229] ppid=14222 vsize=867544 CPUtime=0
/proc/14224/task/14229/stat : 14229 (java) S 14222 14224 13965 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44140992 888365056 31968 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14224/tid=14230] ppid=14222 vsize=867544 CPUtime=0
/proc/14224/task/14230/stat : 14230 (java) S 14222 14224 13965 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44140994 888365056 31968 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14224/tid=14231] ppid=14222 vsize=867544 CPUtime=0.36
/proc/14224/task/14231/stat : 14231 (java) S 14222 14224 13965 0 -1 64 717 0 0 0 36 0 0 0 16 0 9 0 44140994 888365056 31968 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14224/tid=14232] ppid=14222 vsize=867544 CPUtime=0
/proc/14224/task/14232/stat : 14232 (java) S 14222 14224 13965 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44140994 888365056 31968 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14224/tid=14233] ppid=14222 vsize=867544 CPUtime=0
/proc/14224/task/14233/stat : 14233 (java) S 14222 14224 13965 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44140994 888365056 31968 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1090.3
Current children cumulated vsize (KiB) 867544

[startup+1097.5 s]
/proc/loadavg: 1.02 1.11 1.43 2/91 14240
/proc/meminfo: memFree=1035784/2055920 swapFree=4192812/4192956
[pid=14224] ppid=14222 vsize=868568 CPUtime=1093.54
/proc/14224/stat : 14224 (java) S 14222 14224 13965 0 -1 0 50539 0 1 0 109295 59 0 0 18 0 9 0 44140988 889413632 49624 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14224/statm: 217142 49624 2641 9 0 211648 0
[pid=14224/tid=14226] ppid=14222 vsize=868568 CPUtime=1091.94
/proc/14224/task/14226/stat : 14226 (java) S 14222 14224 13965 0 -1 64 15995 0 1 0 109149 45 0 0 16 0 9 0 44140990 889413632 49624 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14224/tid=14227] ppid=14222 vsize=868568 CPUtime=1.16
/proc/14224/task/14227/stat : 14227 (java) R 14222 14224 13965 0 -1 64 33092 0 0 0 104 12 0 0 16 0 9 0 44140992 889413632 49624 996147200 134512640 134550740 4294955952 18446744073709551615 102514362 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=14224/tid=14228] ppid=14222 vsize=868568 CPUtime=0
/proc/14224/task/14228/stat : 14228 (java) S 14222 14224 13965 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44140992 889413632 49624 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14224/tid=14229] ppid=14222 vsize=868568 CPUtime=0
/proc/14224/task/14229/stat : 14229 (java) S 14222 14224 13965 0 -1 64 7 0 0 0 0 0 0 0 15 0 9 0 44140992 889413632 49624 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14224/tid=14230] ppid=14222 vsize=868568 CPUtime=0
/proc/14224/task/14230/stat : 14230 (java) S 14222 14224 13965 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44140994 889413632 49624 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14224/tid=14231] ppid=14222 vsize=868568 CPUtime=0.4
/proc/14224/task/14231/stat : 14231 (java) S 14222 14224 13965 0 -1 64 752 0 0 0 40 0 0 0 16 0 9 0 44140994 889413632 49624 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14224/tid=14232] ppid=14222 vsize=868568 CPUtime=0
/proc/14224/task/14232/stat : 14232 (java) S 14222 14224 13965 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44140994 889413632 49624 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14224/tid=14233] ppid=14222 vsize=868568 CPUtime=0
/proc/14224/task/14233/stat : 14233 (java) S 14222 14224 13965 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44140994 889413632 49624 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1093.54
Current children cumulated vsize (KiB) 868568

[startup+1100.7 s]
/proc/loadavg: 1.02 1.11 1.42 2/91 14240
/proc/meminfo: memFree=364424/2055920 swapFree=4192812/4192956
[pid=14224] ppid=14222 vsize=868480 CPUtime=1096.73
/proc/14224/stat : 14224 (java) S 14222 14224 13965 0 -1 0 200438 0 1 0 109558 115 0 0 18 0 9 0 44140988 889323520 199487 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14224/statm: 217120 199487 2618 9 0 211648 0
[pid=14224/tid=14226] ppid=14222 vsize=868480 CPUtime=1092.31
/proc/14224/task/14226/stat : 14226 (java) S 14222 14224 13965 0 -1 64 16012 0 1 0 109186 45 0 0 15 0 9 0 44140990 889323520 199487 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14224/tid=14227] ppid=14222 vsize=868480 CPUtime=3.97
/proc/14224/task/14227/stat : 14227 (java) R 14222 14224 13965 0 -1 64 182972 0 0 0 330 67 0 0 18 0 9 0 44140992 889323520 199487 996147200 134512640 134550740 4294955952 18446744073709551615 104182546 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=14224/tid=14228] ppid=14222 vsize=868480 CPUtime=0
/proc/14224/task/14228/stat : 14228 (java) S 14222 14224 13965 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44140992 889323520 199487 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14224/tid=14229] ppid=14222 vsize=868480 CPUtime=0
/proc/14224/task/14229/stat : 14229 (java) S 14222 14224 13965 0 -1 64 9 0 0 0 0 0 0 0 16 0 9 0 44140992 889323520 199487 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14224/tid=14230] ppid=14222 vsize=868480 CPUtime=0
/proc/14224/task/14230/stat : 14230 (java) S 14222 14224 13965 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44140994 889323520 199487 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14224/tid=14231] ppid=14222 vsize=868480 CPUtime=0.4
/proc/14224/task/14231/stat : 14231 (java) S 14222 14224 13965 0 -1 64 752 0 0 0 40 0 0 0 16 0 9 0 44140994 889323520 199487 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14224/tid=14232] ppid=14222 vsize=868480 CPUtime=0
/proc/14224/task/14232/stat : 14232 (java) S 14222 14224 13965 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44140994 889323520 199487 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14224/tid=14233] ppid=14222 vsize=868480 CPUtime=0
/proc/14224/task/14233/stat : 14233 (java) S 14222 14224 13965 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44140994 889323520 199487 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1096.73
Current children cumulated vsize (KiB) 868480

[startup+1102.3 s]
/proc/loadavg: 1.02 1.11 1.42 2/91 14240
/proc/meminfo: memFree=364424/2055920 swapFree=4192812/4192956
[pid=14224] ppid=14222 vsize=868480 CPUtime=1098.33
/proc/14224/stat : 14224 (java) S 14222 14224 13965 0 -1 0 200440 0 1 0 109718 115 0 0 18 0 9 0 44140988 889323520 199487 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14224/statm: 217120 199487 2618 9 0 211648 0
[pid=14224/tid=14226] ppid=14222 vsize=868480 CPUtime=1092.32
/proc/14224/task/14226/stat : 14226 (java) S 14222 14224 13965 0 -1 64 16014 0 1 0 109187 45 0 0 16 0 9 0 44140990 889323520 199487 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14224/tid=14227] ppid=14222 vsize=868480 CPUtime=5.56
/proc/14224/task/14227/stat : 14227 (java) R 14222 14224 13965 0 -1 64 182972 0 0 0 489 67 0 0 18 0 9 0 44140992 889323520 199487 996147200 134512640 134550740 4294955952 18446744073709551615 104182546 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=14224/tid=14228] ppid=14222 vsize=868480 CPUtime=0
/proc/14224/task/14228/stat : 14228 (java) S 14222 14224 13965 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44140992 889323520 199487 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14224/tid=14229] ppid=14222 vsize=868480 CPUtime=0
/proc/14224/task/14229/stat : 14229 (java) S 14222 14224 13965 0 -1 64 9 0 0 0 0 0 0 0 16 0 9 0 44140992 889323520 199487 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14224/tid=14230] ppid=14222 vsize=868480 CPUtime=0
/proc/14224/task/14230/stat : 14230 (java) S 14222 14224 13965 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44140994 889323520 199487 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14224/tid=14231] ppid=14222 vsize=868480 CPUtime=0.4
/proc/14224/task/14231/stat : 14231 (java) S 14222 14224 13965 0 -1 64 752 0 0 0 40 0 0 0 16 0 9 0 44140994 889323520 199487 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14224/tid=14232] ppid=14222 vsize=868480 CPUtime=0
/proc/14224/task/14232/stat : 14232 (java) S 14222 14224 13965 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44140994 889323520 199487 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14224/tid=14233] ppid=14222 vsize=868480 CPUtime=0
/proc/14224/task/14233/stat : 14233 (java) S 14222 14224 13965 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44140994 889323520 199487 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1098.33
Current children cumulated vsize (KiB) 868480

[startup+1102.7 s]
/proc/loadavg: 1.02 1.11 1.42 2/91 14240
/proc/meminfo: memFree=364424/2055920 swapFree=4192812/4192956
[pid=14224] ppid=14222 vsize=868480 CPUtime=1098.73
/proc/14224/stat : 14224 (java) S 14222 14224 13965 0 -1 0 200441 0 1 0 109758 115 0 0 18 0 9 0 44140988 889323520 199487 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14224/statm: 217120 199487 2618 9 0 211648 0
[pid=14224/tid=14226] ppid=14222 vsize=868480 CPUtime=1092.32
/proc/14224/task/14226/stat : 14226 (java) S 14222 14224 13965 0 -1 64 16015 0 1 0 109187 45 0 0 17 0 9 0 44140990 889323520 199487 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14224/tid=14227] ppid=14222 vsize=868480 CPUtime=5.96
/proc/14224/task/14227/stat : 14227 (java) R 14222 14224 13965 0 -1 64 182972 0 0 0 529 67 0 0 19 0 9 0 44140992 889323520 199487 996147200 134512640 134550740 4294955952 18446744073709551615 103736738 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=14224/tid=14228] ppid=14222 vsize=868480 CPUtime=0
/proc/14224/task/14228/stat : 14228 (java) S 14222 14224 13965 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44140992 889323520 199487 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14224/tid=14229] ppid=14222 vsize=868480 CPUtime=0
/proc/14224/task/14229/stat : 14229 (java) S 14222 14224 13965 0 -1 64 9 0 0 0 0 0 0 0 16 0 9 0 44140992 889323520 199487 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14224/tid=14230] ppid=14222 vsize=868480 CPUtime=0
/proc/14224/task/14230/stat : 14230 (java) S 14222 14224 13965 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44140994 889323520 199487 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14224/tid=14231] ppid=14222 vsize=868480 CPUtime=0.4
/proc/14224/task/14231/stat : 14231 (java) S 14222 14224 13965 0 -1 64 752 0 0 0 40 0 0 0 16 0 9 0 44140994 889323520 199487 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14224/tid=14232] ppid=14222 vsize=868480 CPUtime=0
/proc/14224/task/14232/stat : 14232 (java) S 14222 14224 13965 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44140994 889323520 199487 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14224/tid=14233] ppid=14222 vsize=868480 CPUtime=0
/proc/14224/task/14233/stat : 14233 (java) S 14222 14224 13965 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44140994 889323520 199487 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1098.73
Current children cumulated vsize (KiB) 868480

[startup+1102.9 s]
/proc/loadavg: 1.02 1.11 1.42 2/91 14240
/proc/meminfo: memFree=364424/2055920 swapFree=4192812/4192956
[pid=14224] ppid=14222 vsize=0 CPUtime=1098.9
/proc/14224/stat : 14224 (java) Z 14222 14224 13965 0 -1 12 200450 0 1 0 109764 126 0 0 16 0 2 0 44140988 0 0 996147200 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14224/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1098.9
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1102.91
CPU time (s): 1098.92
CPU user time (s): 1097.65
CPU system time (s): 1.26981
CPU usage (%): 99.6386
Max. virtual memory (cumulated for all children) (KiB): 868568

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1097.65
system time used= 1.26981
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 200450
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= 24375
involuntary context switches= 47403

runsolver used 1.48677 second user time and 3.2775 second system time

The end

Launcher Data (download as text)

Begin job on node60 at 2008-07-12 16:53:47
IDJOB=1112827
IDBENCH=61481
IDSOLVER=359
FILE ID=node60/1112827-1215874426
PBS_JOBID= 7903563
Free space on /tmp= 66476 MiB

SOLVER NAME= AbsconMax 112 pc-w
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-wdeg.xml 1 XSax BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1112827-1215874426/watcher-1112827-1215874426 -o /tmp/evaluation-result-1112827-1215874426/solver-1112827-1215874426 -C 3600 -W 4000 -M 900 --output-limit 1,15   java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp absconMax112V3.jar abscon.Resolution mrdac-wdeg.xml 1 XSax HOME/instance-1112827-1215874426.xml

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= 34c3ac733a64f710448acdb70b41fbc9
RANDOM SEED=837519466

node60.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.263
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.263
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:       1845808 kB
Buffers:          6792 kB
Cached:          54612 kB
SwapCached:          0 kB
Active:         144520 kB
Inactive:        13244 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1845808 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            5480 kB
Writeback:           0 kB
Mapped:         116524 kB
Slab:            37392 kB
Committed_AS:   276236 kB
PageTables:       2112 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= 66476 MiB
End job on node60 at 2008-07-12 17:12:10