Trace number 1112774

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? 1995.8 2016.95

General information on the benchmark

Namecsp/fapp/fapp22/
normalized-fapp22-1750-6.xml
MD5SUM3874290cda754699d3686661cf7c347b
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkMSAT TO
Best Number of falsified constraints309
Best CPU time to get the best result obtained on this benchmark3600.03
Satisfiable
(Un)Satisfiability was proved
Number of variables1750
Number of constraints32049
Maximum constraint arity2
Maximum domain size802
Number of constraints which are defined in extension0
Number of constraints which are defined in intension32049
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.06/0.08	
0.06/0.08	Abscon 112 (May, 2008)
0.18/0.22	
0.18/0.22	   configuration
0.18/0.22	     name=mrdac-ddeg.xml
0.28/0.30	   
0.28/0.30	   instance
0.28/0.30	     name=HOME/instance-1112774-1215873751.xml
0.28/0.34	   
0.28/0.34	   domains being loaded...
0.39/0.42	   
0.39/0.42	   variables being loaded...
0.58/0.69	     nbVariables=1750  nbDomainTypes=30  minDomainSize=82  maxDomainSize=802  nbTotalValues=813037
0.58/0.69	       =>  wckTime=0.469  cpuTime=0.32  mem=32M295
0.58/0.69	   
0.58/0.69	   predicates being loaded...
0.68/0.76	   
0.68/0.76	   constraints being loaded...
10.78/10.81	   
10.78/10.81	   INFO : Stopping converting binary constraints (cpu=10.1, mem = 44M830)
14.88/14.96	     nbConstraints=32049  nbConvertedConstraints=100  nbConvertConstraintsChecks=33443852  nbExtensionStructures=95
14.88/14.96	     nbSharedExtensionStructures=5  nbConflictsStructures=449  nbSharedConflictsStructures=443
14.88/14.96	     nbUnbuiltConflictsStructures=12074  nbSharedBinaryRepresentations=92715  nbEvaluationManagers=12428
14.88/14.96	     nbSharedEvaluationManagers=19521  minDegree=4  maxDegree=109  minArity=2  maxArity=2
14.88/14.96	       =>  wckTime=14.73  cpuTime=13.57  mem=77M973
15.28/15.40	   
15.28/15.40	   solver LocalSearchSolver being built... 
15.38/15.44	       =>  wckTime=15.217  cpuTime=13.61  mem=73M729
16.07/16.11	
16.07/16.11	s SATISFIABLE
16.07/16.11	o 9465
16.57/16.65	o 9447
16.97/17.00	o 9431
17.07/17.13	o 9418
17.27/17.38	o 9406
17.67/17.72	o 9387
17.87/17.96	o 9374
18.17/18.24	o 9358
18.37/18.45	o 9341
18.68/18.74	o 9335
18.97/19.06	o 9319
19.27/19.35	o 9313
19.57/19.67	o 9308
19.77/19.86	o 9295
19.97/20.03	o 9290
20.07/20.14	o 9272
20.27/20.34	o 9263
20.37/20.49	o 9259
20.57/20.65	o 9258
20.77/20.87	o 9255
20.97/21.08	o 9243
21.17/21.24	o 9238
21.37/21.41	o 9226
21.97/22.06	o 9209
22.17/22.24	o 9197
22.37/22.46	o 9182
22.67/22.70	o 9174
22.87/22.91	o 9168
22.97/23.09	o 9161
23.17/23.28	o 9160
23.37/23.40	o 9150
23.57/23.66	o 9140
23.77/23.89	o 9136
23.97/24.03	o 9123
24.07/24.20	o 9118
24.27/24.39	o 9109
24.47/24.55	o 9102
24.67/24.79	o 9098
24.87/24.97	o 9089
25.17/25.29	o 9084
25.36/25.48	o 9077
25.46/25.57	o 9073
25.66/25.72	o 9063
25.86/25.99	o 9050
26.06/26.19	o 9038
26.27/26.40	o 9037
26.66/26.70	o 9029
26.86/26.97	o 9027
27.66/27.72	o 9021
27.86/27.93	o 9014
28.06/28.13	o 9005
28.87/28.93	o 8998
29.07/29.14	o 8997
29.37/29.41	o 8990
29.58/29.68	o 8987
29.77/29.87	o 8981
30.07/30.13	o 8965
30.37/30.40	o 8953
30.57/30.67	o 8945
30.87/30.91	o 8938
31.17/31.21	o 8928
31.37/31.43	o 8917
31.57/31.62	o 8912
31.77/31.90	o 8911
32.07/32.10	o 8897
32.27/32.34	o 8895
32.47/32.57	o 8885
32.77/32.82	o 8870
33.07/33.10	o 8860
33.16/33.29	o 8851
33.46/33.55	o 8843
33.86/33.91	o 8841
34.17/34.22	o 8833
34.37/34.47	o 8822
34.67/34.75	o 8810
34.96/35.02	o 8808
35.17/35.22	o 8802
35.36/35.46	o 8791
35.57/35.69	o 8786
35.86/35.99	o 8782
36.06/36.19	o 8779
36.27/36.35	o 8771
37.96/38.04	o 8765
38.37/38.45	o 8755
38.76/38.83	o 8750
39.06/39.17	o 8748
39.57/39.61	o 8746
39.86/39.99	o 8730
40.16/40.27	o 8724
40.46/40.57	o 8714
40.86/40.90	o 8702
41.16/41.22	o 8693
41.56/41.63	o 8683
41.96/42.00	o 8679
42.36/42.40	o 8671
42.66/42.76	o 8667
42.96/43.07	o 8657
43.26/43.37	o 8649
43.56/43.69	o 8642
43.96/44.09	o 8629
44.36/44.46	o 8620
44.76/44.83	o 8607
45.06/45.18	o 8598
45.46/45.55	o 8582
45.75/45.87	o 8577
47.05/47.11	o 8567
47.45/47.53	o 8564
47.85/47.94	o 8559
48.15/48.26	o 8554
48.95/49.05	o 8549
49.36/49.47	o 8541
49.75/49.87	o 8535
50.56/50.68	o 8531
51.05/51.12	o 8524
51.85/51.95	o 8518
52.25/52.32	o 8512
52.65/52.72	o 8505
52.95/53.07	o 8502
53.35/53.42	o 8494
53.65/53.78	o 8483
54.05/54.14	o 8480
55.26/55.37	o 8479
55.66/55.71	o 8475
55.86/56.00	o 8466
56.26/56.32	o 8457
56.55/56.66	o 8454
56.95/57.01	o 8445
57.16/57.29	o 8435
57.55/57.63	o 8434
57.95/58.03	o 8430
58.26/58.34	o 8427
58.55/58.65	o 8424
58.85/58.93	o 8418
59.15/59.29	o 8416
59.55/59.65	o 8410
59.85/59.98	o 8403
60.15/60.28	o 8397
60.46/60.54	o 8381
60.65/60.78	o 8373
61.05/61.10	o 8362
61.46/61.52	o 8354
61.85/61.90	o 8351
62.25/62.31	o 8336
62.65/62.71	o 8322
62.95/63.09	o 8311
63.35/63.47	o 8306
63.75/63.87	o 8302
64.15/64.21	o 8294
64.45/64.60	o 8290
64.85/64.95	o 8288
65.25/65.33	o 8286
65.65/65.73	o 8281
66.04/66.13	o 8272
66.34/66.46	o 8265
66.84/66.90	o 8260
67.14/67.28	o 8256
67.44/67.60	o 8245
67.84/67.93	o 8231
68.24/68.32	o 8227
68.54/68.68	o 8222
69.34/69.41	o 8207
69.65/69.73	o 8201
69.95/70.09	o 8196
70.45/70.53	o 8187
70.85/70.99	o 8183
71.36/71.43	o 8173
71.75/71.86	o 8164
72.15/72.28	o 8160
72.55/72.68	o 8152
73.05/73.12	o 8148
73.44/73.54	o 8142
73.84/73.99	o 8138
74.34/74.41	o 8134
74.75/74.88	o 8130
75.24/75.34	o 8126
75.75/75.81	o 8123
76.14/76.26	o 8120
76.64/76.71	o 8117
77.04/77.20	o 8115
77.54/77.67	o 8113
78.04/78.15	o 8099
78.54/78.66	o 8086
79.05/79.11	o 8078
79.44/79.52	o 8068
79.84/79.95	o 8067
80.24/80.31	o 8066
80.54/80.66	o 8062
80.94/81.03	o 8060
81.24/81.37	o 8058
81.64/81.77	o 8057
82.04/82.11	o 8048
82.44/82.50	o 8047
82.84/82.93	o 8041
83.23/83.34	o 8040
83.73/83.80	o 8030
84.13/84.20	o 8029
84.54/84.65	o 8021
84.93/85.03	o 8016
85.23/85.38	o 8010
85.75/85.81	o 7997
86.54/86.64	o 7994
86.85/86.99	o 7988
87.14/87.30	o 7983
87.54/87.68	o 7972
88.24/88.37	o 7960
88.74/88.83	o 7950
89.14/89.27	o 7937
89.54/89.66	o 7930
89.94/90.10	o 7928
90.34/90.45	o 7919
90.74/90.82	o 7915
91.44/91.56	o 7908
91.84/91.94	o 7902
92.25/92.32	o 7897
92.64/92.71	o 7892
92.94/93.09	o 7891
93.34/93.44	o 7886
93.64/93.78	o 7873
94.03/94.13	o 7864
94.33/94.49	o 7860
94.73/94.85	o 7857
95.03/95.18	o 7854
95.43/95.53	o 7851
95.83/95.90	o 7848
96.13/96.27	o 7843
96.53/96.61	o 7840
97.23/97.30	o 7838
97.53/97.60	o 7835
97.74/97.90	o 7832
98.13/98.22	o 7829
98.43/98.55	o 7826
98.73/98.89	o 7824
99.13/99.22	o 7822
99.43/99.53	o 7820
99.73/99.88	o 7818
100.13/100.24	o 7816
100.53/100.61	o 7815
100.83/100.94	o 7814
101.13/101.29	o 7813
101.53/101.65	o 7804
101.83/102.00	o 7803
102.23/102.34	o 7793
102.53/102.70	o 7792
102.92/103.03	o 7791
103.33/103.41	o 7786
103.62/103.76	o 7785
104.02/104.13	o 7784
104.33/104.49	o 7783
104.72/104.86	o 7776
107.52/107.66	o 7774
108.22/108.38	o 7763
109.32/109.46	o 7762
110.12/110.25	o 7752
110.52/110.61	o 7747
111.22/111.33	o 7743
111.62/111.76	o 7733
112.32/112.47	o 7726
112.72/112.88	o 7723
113.12/113.27	o 7716
113.52/113.60	o 7712
113.82/113.99	o 7708
114.52/114.66	o 7704
114.92/115.03	o 7700
115.43/115.59	o 7698
115.82/115.95	o 7692
116.12/116.27	o 7682
116.53/116.62	o 7676
116.82/116.97	o 7670
117.22/117.32	o 7665
117.92/118.02	o 7662
118.22/118.37	o 7657
118.63/118.72	o 7653
118.92/119.06	o 7649
119.32/119.42	o 7645
119.62/119.76	o 7638
120.02/120.10	o 7635
120.32/120.46	o 7633
120.62/120.75	o 7627
120.92/121.06	o 7624
121.52/121.69	o 7623
121.82/122.00	o 7621
122.22/122.32	o 7619
122.51/122.65	o 7618
122.81/122.97	o 7617
123.12/123.29	o 7616
123.51/123.61	o 7615
123.71/123.89	o 7606
124.12/124.21	o 7605
124.41/124.54	o 7604
124.71/124.88	o 7600
125.11/125.20	o 7592
125.41/125.50	o 7591
125.71/125.84	o 7590
126.01/126.16	o 7589
127.31/127.49	o 7582
128.01/128.13	o 7575
129.31/129.43	o 7569
129.61/129.79	o 7565
130.31/130.48	o 7558
130.71/130.83	o 7555
131.00/131.17	o 7550
131.30/131.49	o 7548
132.30/132.42	o 7541
132.60/132.71	o 7538
132.91/133.04	o 7532
133.20/133.35	o 7531
133.80/133.92	o 7519
134.61/134.76	o 7513
134.91/135.06	o 7511
135.22/135.35	o 7509
135.41/135.59	o 7507
135.71/135.83	o 7502
136.01/136.14	o 7500
136.22/136.40	o 7493
136.91/137.04	o 7492
137.21/137.35	o 7489
137.51/137.68	o 7487
137.81/137.98	o 7484
138.20/138.30	o 7481
138.41/138.58	o 7470
138.80/138.90	o 7463
139.10/139.20	o 7457
139.40/139.54	o 7451
139.70/139.87	o 7446
140.10/140.21	o 7442
140.40/140.53	o 7438
140.71/140.84	o 7435
141.00/141.17	o 7432
141.30/141.49	o 7424
141.60/141.79	o 7422
142.00/142.13	o 7412
142.30/142.43	o 7409
142.60/142.72	o 7407
142.90/143.03	o 7405
143.20/143.36	o 7400
143.50/143.66	o 7398
143.90/144.01	o 7397
144.20/144.33	o 7395
144.50/144.65	o 7390
144.80/144.95	o 7388
145.40/145.55	o 7387
145.70/145.85	o 7386
146.00/146.16	o 7385
146.30/146.45	o 7375
146.50/146.69	o 7374
146.79/146.96	o 7373
147.09/147.21	o 7372
147.30/147.46	o 7371
148.19/148.39	o 7368
148.49/148.66	o 7367
149.19/149.39	o 7365
149.50/149.65	o 7361
150.09/150.25	o 7358
150.70/150.82	o 7351
150.90/151.07	o 7350
151.20/151.35	o 7345
151.71/151.89	o 7343
152.00/152.19	o 7340
152.30/152.47	o 7339
152.60/152.78	o 7328
152.90/153.07	o 7320
153.20/153.39	o 7308
153.50/153.68	o 7306
153.90/154.01	o 7305
154.40/154.59	o 7297
154.80/154.92	o 7286
155.10/155.23	o 7282
155.60/155.79	o 7278
156.60/156.74	o 7274
156.80/156.98	o 7267
157.10/157.23	o 7261
157.40/157.52	o 7259
157.69/157.88	o 7256
158.09/158.20	o 7254
158.39/158.52	o 7253
158.99/159.11	o 7251
159.30/159.47	o 7244
159.59/159.78	o 7238
159.99/160.10	o 7234
160.19/160.39	o 7233
160.59/160.71	o 7231
160.89/161.02	o 7229
161.50/161.69	o 7228
161.89/162.02	o 7215
162.19/162.31	o 7208
162.49/162.62	o 7202
162.79/162.94	o 7196
163.19/163.31	o 7191
163.49/163.67	o 7187
163.89/164.01	o 7180
164.19/164.31	o 7176
164.49/164.62	o 7173
164.79/164.94	o 7170
165.09/165.25	o 7167
165.39/165.56	o 7165
165.69/165.88	o 7163
166.09/166.21	o 7161
166.39/166.51	o 7159
166.69/166.84	o 7157
166.99/167.17	o 7156
167.39/167.55	o 7155
167.79/167.90	o 7154
168.09/168.23	o 7153
168.38/168.58	o 7152
169.48/169.63	o 7150
170.08/170.28	o 7143
170.88/171.04	o 7137
171.29/171.44	o 7126
171.59/171.76	o 7120
172.59/172.71	o 7118
172.89/173.06	o 7117
174.18/174.34	o 7114
174.48/174.63	o 7109
174.79/174.96	o 7104
175.08/175.26	o 7095
175.38/175.53	o 7090
176.78/176.98	o 7088
177.08/177.27	o 7086
177.68/177.85	o 7081
177.99/178.18	o 7080
178.38/178.51	o 7072
178.88/179.06	o 7071
179.48/179.68	o 7062
179.78/179.94	o 7055
180.08/180.22	o 7047
181.18/181.37	o 7044
181.88/182.01	o 7041
182.18/182.34	o 7036
182.49/182.64	o 7029
182.88/183.01	o 7026
183.88/184.06	o 7016
184.28/184.40	o 7013
184.59/184.77	o 7008
184.98/185.18	o 7006
186.08/186.23	o 6999
186.48/186.62	o 6996
187.68/187.89	o 6995
188.38/188.53	o 6990
188.68/188.87	o 6986
188.99/189.20	o 6979
189.28/189.48	o 6974
189.68/189.80	o 6970
189.98/190.13	o 6968
190.28/190.45	o 6967
190.58/190.78	o 6966
191.28/191.42	o 6965
191.58/191.75	o 6962
191.88/192.09	o 6960
192.58/192.75	o 6959
193.58/193.73	o 6958
194.28/194.43	o 6954
195.07/195.21	o 6949
195.37/195.59	o 6947
195.77/195.97	o 6943
196.17/196.33	o 6941
196.47/196.69	o 6934
196.87/197.06	o 6932
197.27/197.44	o 6930
197.67/197.84	o 6919
197.97/198.12	o 6917
198.27/198.45	o 6915
198.57/198.77	o 6913
198.88/199.09	o 6912
199.37/199.51	o 6903
199.67/199.87	o 6900
200.07/200.26	o 6897
200.47/200.62	o 6896
201.17/201.32	o 6895
201.46/201.67	o 6888
201.86/202.04	o 6887
202.27/202.43	o 6883
202.66/202.80	o 6879
203.96/204.14	o 6876
204.96/205.11	o 6873
205.26/205.42	o 6867
205.57/205.73	o 6865
207.06/207.24	o 6860
207.36/207.56	o 6858
207.96/208.18	o 6856
208.26/208.49	o 6853
208.66/208.86	o 6851
209.66/209.82	o 6842
209.96/210.13	o 6837
210.26/210.44	o 6832
210.57/210.78	o 6821
210.97/211.14	o 6820
211.26/211.48	o 6815
211.96/212.17	o 6812
212.36/212.51	o 6810
212.66/212.85	o 6805
213.36/213.56	o 6804
213.76/213.91	o 6801
214.46/214.65	o 6798
214.86/215.02	o 6790
215.16/215.39	o 6788
215.86/216.10	o 6787
216.26/216.45	o 6784
216.66/216.80	o 6776
216.96/217.15	o 6768
217.66/217.87	o 6763
218.06/218.23	o 6761
218.36/218.59	o 6758
218.76/218.94	o 6754
219.06/219.27	o 6745
219.46/219.63	o 6740
219.76/219.95	o 6739
220.06/220.24	o 6736
220.36/220.55	o 6735
220.65/220.86	o 6733
221.05/221.21	o 6726
221.35/221.54	o 6724
221.65/221.87	o 6723
222.06/222.22	o 6715
222.35/222.54	o 6709
222.65/222.89	o 6707
223.06/223.21	o 6706
223.35/223.56	o 6698
223.65/223.88	o 6695
224.05/224.25	o 6694
224.35/224.59	o 6690
224.75/224.94	o 6688
225.45/225.66	o 6682
226.55/226.75	o 6677
226.95/227.13	o 6674
227.35/227.52	o 6670
227.65/227.87	o 6669
229.35/229.55	o 6668
229.66/229.89	o 6666
230.05/230.25	o 6665
230.35/230.59	o 6664
232.15/232.33	o 6662
232.45/232.67	o 6660
233.15/233.35	o 6658
234.25/234.42	o 6656
234.55/234.77	o 6655
234.94/235.12	o 6653
235.15/235.40	o 6650
235.54/235.77	o 6648
235.95/236.12	o 6647
236.26/236.47	o 6645
236.65/236.80	o 6644
236.95/237.13	o 6643
237.36/237.55	o 6638
237.75/237.91	o 6635
238.15/238.32	o 6632
238.56/238.71	o 6624
239.45/239.65	o 6619
239.85/240.09	o 6615
240.35/240.51	o 6611
240.76/240.91	o 6609
241.15/241.35	o 6605
241.65/241.84	o 6598
242.15/242.31	o 6591
242.55/242.76	o 6583
243.05/243.20	o 6581
244.95/245.11	o 6578
245.85/246.01	o 6573
246.75/246.90	o 6562
248.05/248.25	o 6550
248.45/248.69	o 6549
248.95/249.12	o 6540
249.35/249.59	o 6533
250.74/250.98	o 6532
251.14/251.39	o 6531
251.65/251.84	o 6527
252.54/252.72	o 6526
252.94/253.11	o 6525
253.34/253.53	o 6520
253.74/253.95	o 6515
254.14/254.39	o 6506
254.64/254.86	o 6500
255.14/255.31	o 6494
255.94/256.15	o 6489
257.24/257.47	o 6488
258.24/258.40	o 6485
258.74/258.91	o 6480
259.54/259.77	o 6475
260.04/260.25	o 6469
260.45/260.65	o 6463
260.84/261.08	o 6457
261.24/261.49	o 6450
262.14/262.30	o 6448
262.54/262.72	o 6447
262.94/263.17	o 6440
263.44/263.62	o 6439
263.85/264.06	o 6437
264.34/264.51	o 6434
264.85/265.03	o 6428
265.34/265.55	o 6419
265.84/266.01	o 6417
266.24/266.45	o 6412
267.14/267.35	o 6399
267.54/267.78	o 6398
268.54/268.73	o 6396
268.94/269.19	o 6392
270.44/270.68	o 6387
270.94/271.16	o 6375
272.43/272.62	o 6368
273.34/273.59	o 6366
274.24/274.49	o 6361
275.63/275.84	o 6360
276.02/276.28	o 6355
276.52/276.71	o 6351
276.92/277.14	o 6348
279.19/279.42	o 6347
281.66/281.96	o 6344
282.25/282.50	o 6343
282.74/283.05	o 6340
283.24/283.57	o 6337
283.73/284.08	o 6336
284.23/284.56	o 6332
284.72/285.06	o 6323
285.22/285.55	o 6320
285.80/286.10	o 6316
286.20/286.59	o 6315
286.80/287.12	o 6310
287.29/287.64	o 6301
287.79/288.11	o 6299
288.68/289.10	o 6293
289.16/289.59	o 6287
290.45/290.88	o 6282
291.34/291.77	o 6275
292.62/293.07	o 6273
293.12/293.51	o 6266
293.51/293.95	o 6259
293.91/294.36	o 6252
294.41/294.83	o 6251
295.31/295.73	o 6249
295.80/296.22	o 6245
297.68/298.13	o 6243
298.17/298.62	o 6242
298.57/299.09	o 6239
299.05/299.59	o 6238
299.55/300.02	o 6237
300.04/300.51	o 6231
300.44/300.96	o 6223
301.42/301.94	o 6219
302.31/302.89	o 6218
303.80/304.35	o 6213
304.29/304.86	o 6206
305.19/305.77	o 6201
305.67/306.29	o 6200
306.66/307.20	o 6199
307.06/307.65	o 6196
307.55/308.16	o 6192
308.05/308.63	o 6185
308.55/309.11	o 6178
309.04/309.61	o 6173
309.92/310.58	o 6169
310.52/311.11	o 6164
311.01/311.65	o 6163
313.48/314.13	o 6160
313.98/314.63	o 6158
314.87/315.60	o 6152
315.46/316.11	o 6147
315.96/316.62	o 6144
316.44/317.12	o 6132
316.94/317.61	o 6130
317.33/318.08	o 6124
317.93/318.60	o 6122
318.42/319.11	o 6119
319.42/320.15	o 6115
320.01/320.71	o 6111
321.59/322.32	o 6108
323.57/324.36	o 6103
324.06/324.90	o 6095
324.56/325.38	o 6092
325.14/325.90	o 6089
325.64/326.42	o 6088
326.13/326.95	o 6087
326.63/327.48	o 6078
329.39/330.23	o 6068
331.57/332.44	o 6066
332.07/332.99	o 6063
332.65/333.58	o 6061
333.74/334.70	o 6059
334.34/335.28	o 6048
334.83/335.79	o 6037
335.43/336.31	o 6034
336.02/336.91	o 6032
336.41/337.38	o 6026
336.90/337.87	o 6020
337.30/338.27	o 6019
337.70/338.68	o 6017
338.19/339.11	o 6010
338.59/339.55	o 6009
338.99/339.97	o 6005
339.48/340.47	o 6004
342.74/343.78	o 6002
343.23/344.25	o 6000
343.72/344.71	o 5999
344.61/345.67	o 5996
345.11/346.17	o 5989
345.60/346.64	o 5984
345.99/347.08	o 5982
346.49/347.57	o 5980
346.98/348.03	o 5973
347.39/348.46	o 5969
347.88/348.97	o 5965
348.38/349.45	o 5959
348.86/349.91	o 5953
349.26/350.38	o 5948
350.35/351.40	o 5944
350.85/351.93	o 5937
351.34/352.45	o 5936
351.94/353.02	o 5931
352.42/353.57	o 5924
352.92/354.09	o 5914
353.41/354.59	o 5911
353.91/355.09	o 5906
354.90/356.08	o 5905
355.38/356.54	o 5904
355.78/356.98	o 5903
356.28/357.45	o 5897
356.77/357.92	o 5893
357.27/358.42	o 5887
357.76/358.90	o 5873
358.06/359.30	o 5868
358.56/359.75	o 5867
359.04/360.23	o 5853
359.54/360.76	o 5852
360.03/361.28	o 5851
360.53/361.75	o 5843
361.02/362.24	o 5838
361.52/362.73	o 5836
362.01/363.28	o 5831
362.50/363.77	o 5828
362.99/364.28	o 5824
363.49/364.79	o 5820
363.99/365.28	o 5819
364.48/365.77	o 5811
364.98/366.29	o 5809
365.47/366.80	o 5807
365.97/367.29	o 5793
366.55/367.83	o 5789
367.05/368.35	o 5783
370.60/371.97	o 5778
371.10/372.46	o 5772
371.61/372.96	o 5766
372.50/373.83	o 5765
372.88/374.26	o 5764
373.38/374.70	o 5763
373.87/375.23	o 5762
374.27/375.68	o 5760
375.86/377.20	o 5758
376.34/377.74	o 5752
376.84/378.21	o 5750
377.33/378.74	o 5748
377.73/379.14	o 5746
378.22/379.65	o 5743
378.72/380.14	o 5738
379.22/380.68	o 5726
379.81/381.20	o 5721
380.31/381.71	o 5718
380.79/382.21	o 5713
381.19/382.66	o 5708
381.68/383.18	o 5707
382.28/383.70	o 5704
383.27/384.79	o 5698
383.86/385.35	o 5697
384.94/386.45	o 5690
385.44/386.97	o 5685
386.03/387.51	o 5680
386.53/388.03	o 5672
387.52/389.04	o 5670
388.00/389.57	o 5669
388.50/390.09	o 5667
389.09/390.61	o 5664
389.59/391.14	o 5661
390.17/391.70	o 5660
390.67/392.20	o 5657
391.17/392.74	o 5655
391.66/393.28	o 5651
392.26/393.82	o 5647
392.75/394.37	o 5643
393.83/395.46	o 5638
394.33/395.97	o 5629
394.82/396.48	o 5624
395.42/397.03	o 5619
396.00/397.60	o 5618
396.50/398.17	o 5614
397.09/398.74	o 5612
398.17/399.84	o 5611
398.68/400.39	o 5609
399.66/401.40	o 5607
400.25/401.95	o 5606
400.85/402.51	o 5600
401.34/403.07	o 5599
401.93/403.64	o 5598
402.52/404.20	o 5592
403.02/404.77	o 5586
403.61/405.34	o 5580
404.11/405.84	o 5579
404.60/406.36	o 5576
405.20/406.92	o 5574
405.68/407.47	o 5572
406.28/408.03	o 5569
407.47/409.21	o 5566
408.05/409.80	o 5564
409.04/410.80	o 5563
409.44/411.28	o 5562
410.03/411.84	o 5554
410.53/412.34	o 5551
411.01/412.88	o 5549
411.61/413.41	o 5545
412.10/413.93	o 5542
412.60/414.49	o 5539
413.18/415.04	o 5535
413.69/415.54	o 5533
414.17/416.06	o 5531
414.77/416.60	o 5528
415.36/417.20	o 5526
416.44/418.31	o 5523
416.94/418.90	o 5522
417.63/419.53	o 5517
418.23/420.11	o 5514
418.82/420.77	o 5513
419.51/421.40	o 5510
420.01/421.99	o 5508
420.60/422.59	o 5506
421.30/423.21	o 5496
422.97/424.96	o 5489
423.57/425.50	o 5483
424.06/426.09	o 5471
424.66/426.62	o 5468
425.14/427.18	o 5467
425.74/427.71	o 5463
426.23/428.28	o 5462
427.32/429.35	o 5457
427.82/429.88	o 5455
428.40/430.43	o 5454
428.90/430.98	o 5448
429.49/431.56	o 5444
430.09/432.11	o 5443
430.58/432.68	o 5441
431.76/433.87	o 5437
432.36/434.49	o 5435
432.94/435.05	o 5434
433.44/435.60	o 5433
435.32/437.42	o 5428
435.91/438.02	o 5424
436.51/438.60	o 5422
437.09/439.22	o 5415
437.69/439.84	o 5412
438.38/440.53	o 5409
438.98/441.16	o 5404
439.66/441.84	o 5400
440.25/442.50	o 5395
440.95/443.16	o 5390
441.64/443.80	o 5386
442.24/444.46	o 5384
443.61/445.83	o 5379
445.59/447.86	o 5367
446.28/448.51	o 5362
446.87/449.15	o 5360
447.57/449.88	o 5352
448.95/451.29	o 5349
449.65/451.97	o 5346
450.73/453.09	o 5338
451.42/453.72	o 5335
452.11/454.42	o 5331
452.71/455.03	o 5329
453.29/455.67	o 5324
453.99/456.37	o 5318
454.68/457.04	o 5311
455.96/458.31	o 5308
456.55/458.95	o 5302
457.15/459.55	o 5296
457.73/460.19	o 5293
458.33/460.78	o 5288
458.92/461.36	o 5282
459.52/461.92	o 5277
460.61/463.10	o 5271
461.30/463.71	o 5265
461.88/464.32	o 5262
462.38/464.88	o 5259
462.97/465.48	o 5255
463.57/466.07	o 5251
464.16/466.69	o 5249
464.86/467.32	o 5248
466.05/468.54	o 5244
467.42/469.91	o 5238
468.02/470.50	o 5234
468.51/471.08	o 5230
469.21/471.72	o 5227
469.79/472.37	o 5226
470.49/473.02	o 5223
471.08/473.66	o 5221
471.76/474.32	o 5216
472.36/474.92	o 5210
472.95/475.53	o 5202
473.55/476.19	o 5195
474.23/476.81	o 5193
475.42/478.05	o 5185
476.00/478.66	o 5180
476.60/479.26	o 5179
477.19/479.88	o 5177
477.89/480.51	o 5174
482.92/485.62	o 5167
483.52/486.24	o 5166
484.80/487.50	o 5160
485.40/488.18	o 5159
486.08/488.83	o 5155
486.68/489.46	o 5152
487.27/490.10	o 5141
487.95/490.74	o 5140
488.55/491.36	o 5138
489.84/492.65	o 5133
490.53/493.32	o 5131
491.13/493.94	o 5125
491.71/494.57	o 5122
493.10/495.93	o 5115
493.79/496.61	o 5114
495.08/497.92	o 5113
495.76/498.63	o 5110
496.46/499.35	o 5105
497.25/500.11	o 5103
497.94/500.85	o 5096
498.64/501.55	o 5094
499.32/502.26	o 5089
500.01/502.99	o 5086
500.61/503.58	o 5083
501.40/504.31	o 5080
502.08/505.03	o 5075
502.78/505.73	o 5070
503.37/506.35	o 5066
504.07/507.07	o 5065
504.86/507.82	o 5064
505.55/508.50	o 5061
506.15/509.16	o 5058
506.83/509.86	o 5052
507.52/510.56	o 5046
508.12/511.19	o 5039
509.50/512.55	o 5035
510.79/513.89	o 5033
511.49/514.57	o 5031
512.18/515.24	o 5025
512.88/515.91	o 5022
526.40/529.69	o 5020
527.09/530.30	o 5013
527.59/530.88	o 5012
528.28/531.55	o 5007
528.88/532.12	o 5004
529.46/532.71	o 4998
529.96/533.28	o 4995
530.65/533.90	o 4993
531.25/534.56	o 4990
531.94/535.20	o 4986
532.52/535.81	o 4983
533.02/536.39	o 4981
534.31/537.62	o 4979
534.89/538.26	o 4975
535.49/538.84	o 4973
536.08/539.50	o 4968
536.78/540.15	o 4966
541.13/544.55	o 4964
542.40/545.84	o 4960
543.00/546.50	o 4956
544.29/547.78	o 4955
544.98/548.46	o 4948
545.57/549.07	o 4945
546.17/549.67	o 4944
546.85/550.32	o 4938
547.45/550.97	o 4937
548.14/551.67	o 4933
548.83/552.39	o 4927
550.21/553.78	o 4918
550.91/554.43	o 4911
551.60/555.11	o 4910
552.18/555.78	o 4908
556.83/560.46	o 4903
557.52/561.18	o 4901
559.00/562.64	o 4900
559.69/563.37	o 4897
560.39/564.06	o 4896
561.08/564.75	o 4894
561.77/565.49	o 4885
563.15/566.87	o 4878
563.75/567.49	o 4871
564.44/568.19	o 4865
565.22/568.90	o 4859
565.82/569.57	o 4854
567.29/571.01	o 4845
568.68/572.45	o 4844
569.47/573.23	o 4841
570.16/573.96	o 4832
570.85/574.66	o 4829
571.64/575.42	o 4826
572.34/576.15	o 4825
573.02/576.87	o 4823
573.81/577.61	o 4819
574.51/578.33	o 4816
575.20/579.08	o 4814
576.69/580.59	o 4813
577.47/581.33	o 4807
578.16/582.08	o 4805
578.96/582.85	o 4802
579.75/583.61	o 4800
580.43/584.35	o 4799
581.13/585.04	o 4792
581.82/585.79	o 4789
582.61/586.57	o 4788
583.41/587.35	o 4781
584.20/588.15	o 4778
584.98/588.94	o 4777
586.58/590.54	o 4774
587.36/591.32	o 4773
588.15/592.12	o 4771
588.95/592.92	o 4765
589.54/593.58	o 4758
590.32/594.32	o 4754
591.81/595.83	o 4749
592.60/596.61	o 4745
594.67/598.79	o 4742
596.26/600.30	o 4740
596.94/601.08	o 4735
597.73/601.87	o 4733
598.53/602.63	o 4732
599.32/603.45	o 4723
600.10/604.27	o 4720
601.69/605.83	o 4710
602.48/606.60	o 4709
603.16/607.36	o 4708
603.96/608.10	o 4704
605.43/609.69	o 4701
606.33/610.52	o 4698
607.12/611.30	o 4696
607.81/612.08	o 4694
608.69/612.95	o 4692
610.27/614.60	o 4689
623.62/628.05	o 4688
624.40/628.87	o 4687
626.08/630.56	o 4684
626.87/631.39	o 4681
631.32/635.81	o 4678
632.11/636.68	o 4671
634.58/639.17	o 4668
635.37/640.00	o 4667
636.26/640.81	o 4659
639.41/644.10	o 4654
640.30/644.92	o 4650
641.89/646.54	o 4648
642.68/647.36	o 4644
643.46/648.18	o 4640
644.26/648.97	o 4636
645.05/649.76	o 4635
645.84/650.55	o 4631
646.62/651.35	o 4629
652.16/656.95	o 4624
652.86/657.68	o 4622
653.64/658.44	o 4620
657.49/662.31	o 4617
658.19/663.08	o 4610
658.97/663.88	o 4609
659.77/664.69	o 4608
660.67/665.53	o 4606
661.45/666.37	o 4601
663.23/668.12	o 4598
664.91/669.83	o 4596
665.80/670.74	o 4592
666.69/671.64	o 4589
668.56/673.53	o 4588
670.45/675.46	o 4585
671.43/676.46	o 4581
674.29/679.34	o 4579
682.78/687.99	o 4578
684.76/689.96	o 4577
686.75/691.94	o 4574
687.73/692.94	o 4571
688.72/693.91	o 4570
689.61/694.82	o 4566
690.49/695.79	o 4563
691.48/696.71	o 4562
693.27/698.55	o 4558
694.15/699.49	o 4555
695.04/700.33	o 4554
695.93/701.24	o 4547
696.91/702.23	o 4544
697.80/703.17	o 4539
703.62/709.00	o 4533
705.50/710.95	o 4529
706.48/711.96	o 4526
708.47/713.90	o 4524
713.40/718.95	o 4519
714.39/719.99	o 4515
715.18/720.70	o 4510
716.17/721.74	o 4507
717.17/722.71	o 4503
718.05/723.69	o 4497
719.04/724.66	o 4496
720.03/725.61	o 4492
721.02/726.65	o 4490
722.00/727.63	o 4486
722.99/728.65	o 4485
724.08/729.70	o 4482
725.07/730.73	o 4481
726.05/731.76	o 4480
727.14/732.82	o 4479
728.14/733.83	o 4477
729.13/734.89	o 4475
731.21/736.92	o 4470
732.19/737.96	o 4468
732.98/738.72	o 4465
735.35/741.18	o 4450
736.34/742.20	o 4448
737.32/743.17	o 4443
738.31/744.16	o 4439
739.30/745.10	o 4436
740.18/746.05	o 4434
740.98/746.88	o 4427
741.97/747.84	o 4426
742.96/748.81	o 4417
743.84/749.76	o 4416
744.82/750.72	o 4414
745.71/751.67	o 4412
755.99/762.06	o 4411
756.97/763.07	o 4410
757.95/764.08	o 4408
761.02/767.13	o 4404
762.99/769.14	o 4400
767.05/773.26	o 4398
768.03/774.28	o 4397
769.12/775.32	o 4392
770.12/776.36	o 4388
771.10/777.39	o 4387
772.09/778.38	o 4386
775.35/781.64	o 4383
776.34/782.67	o 4382
779.50/785.81	o 4378
781.58/787.92	o 4376
782.56/788.91	o 4373
788.79/795.25	o 4372
789.87/796.31	o 4370
793.04/799.51	o 4369
794.12/800.60	o 4364
795.11/801.61	o 4357
796.10/802.65	o 4356
797.18/803.72	o 4351
798.17/804.74	o 4347
799.16/805.76	o 4344
800.14/806.76	o 4331
801.03/807.63	o 4326
802.02/808.65	o 4325
804.79/811.49	o 4321
805.78/812.49	o 4313
806.77/813.45	o 4306
807.75/814.45	o 4301
812.89/819.63	o 4295
813.89/820.66	o 4291
814.87/821.70	o 4290
815.96/822.77	o 4286
817.05/823.86	o 4285
818.04/824.89	o 4284
819.12/825.91	o 4267
820.11/826.97	o 4266
822.19/829.08	o 4265
823.27/830.17	o 4264
824.36/831.21	o 4259
825.35/832.24	o 4254
826.43/833.31	o 4252
828.50/835.42	o 4251
829.49/836.41	o 4249
836.61/843.65	o 4248
837.70/844.73	o 4247
839.78/846.83	o 4246
840.77/847.89	o 4243
841.85/848.97	o 4237
842.84/849.99	o 4231
843.93/851.04	o 4228
846.00/853.15	o 4208
846.99/854.18	o 4192
850.15/857.30	o 4190
850.75/857.91	o 4185
851.73/858.90	o 4183
852.72/859.93	o 4177
853.71/860.98	o 4170
854.69/861.98	o 4166
856.67/863.92	o 4164
857.65/864.95	o 4161
858.64/865.93	o 4160
861.61/868.94	o 4155
863.58/870.93	o 4153
868.72/876.14	o 4151
870.79/878.27	o 4150
871.88/879.34	o 4140
872.86/880.33	o 4138
873.85/881.36	o 4137
874.94/882.44	o 4133
875.92/883.48	o 4132
877.01/884.53	o 4126
878.01/885.52	o 4124
879.00/886.56	o 4117
879.99/887.54	o 4116
892.23/899.99	o 4114
893.32/901.08	o 4113
894.32/902.02	o 4111
895.30/903.10	o 4110
896.39/904.15	o 4108
897.48/905.22	o 4107
898.46/906.21	o 4101
899.45/907.29	o 4100
900.54/908.34	o 4096
901.53/909.39	o 4094
902.61/910.43	o 4091
903.60/911.45	o 4090
905.57/913.44	o 4089
907.55/915.45	o 4088
908.53/916.44	o 4086
909.53/917.46	o 4081
910.52/918.48	o 4076
911.51/919.49	o 4075
913.58/921.50	o 4074
914.57/922.52	o 4071
915.55/923.53	o 4068
916.54/924.57	o 4056
917.53/925.55	o 4052
918.51/926.54	o 4049
919.50/927.57	o 4048
921.48/929.57	o 4047
922.47/930.58	o 4045
924.54/932.63	o 4044
925.53/933.63	o 4041
926.52/934.63	o 4037
927.50/935.66	o 4033
928.49/936.66	o 4029
930.46/938.64	o 4025
931.45/939.68	o 4022
933.52/941.79	o 4018
937.58/945.89	o 4014
944.59/952.93	o 4012
945.58/953.93	o 4006
946.57/954.95	o 4003
948.55/956.96	o 4000
949.54/957.96	o 3997
950.62/959.03	o 3994
951.61/960.05	o 3992
952.60/961.09	o 3991
953.68/962.16	o 3987
954.77/963.23	o 3981
955.76/964.23	o 3966
956.64/965.19	o 3965
957.73/966.21	o 3962
958.72/967.21	o 3953
958.92/967.46	o 3948
959.91/968.43	o 3945
962.68/971.29	o 3944
963.67/972.26	o 3943
964.66/973.25	o 3936
965.64/974.22	o 3935
966.62/975.21	o 3934
967.51/976.18	o 3925
968.30/977.00	o 3922
969.30/977.95	o 3916
970.28/978.92	o 3912
971.17/979.82	o 3908
972.06/980.74	o 3903
972.84/981.56	o 3900
973.73/982.47	o 3899
974.73/983.41	o 3895
976.60/985.32	o 3891
979.46/988.20	o 3888
982.23/991.09	o 3885
983.22/992.06	o 3884
984.11/992.91	o 3883
985.09/993.93	o 3881
986.08/994.94	o 3879
988.05/996.93	o 3876
991.03/999.96	o 3874
992.01/1000.99	o 3873
994.98/1003.97	o 3871
998.04/1007.04	o 3870
999.03/1008.04	o 3868
1000.01/1009.05	o 3866
1001.00/1010.10	o 3863
1002.09/1011.10	o 3860
1003.08/1012.10	o 3859
1005.06/1014.11	o 3858
1006.05/1015.12	o 3854
1007.04/1016.16	o 3851
1008.02/1017.18	o 3848
1009.11/1018.24	o 3847
1010.09/1019.26	o 3844
1011.08/1020.30	o 3842
1012.06/1021.29	o 3838
1013.15/1022.34	o 3837
1014.13/1023.33	o 3834
1015.12/1024.34	o 3830
1016.11/1025.38	o 3829
1018.20/1027.41	o 3824
1019.18/1028.41	o 3821
1020.17/1029.40	o 3808
1021.16/1030.44	o 3805
1023.13/1032.47	o 3804
1024.12/1033.45	o 3803
1025.10/1034.46	o 3799
1026.09/1035.45	o 3797
1027.08/1036.46	o 3792
1030.24/1039.63	o 3791
1031.24/1040.69	o 3789
1034.40/1043.87	o 3785
1035.48/1044.96	o 3777
1036.47/1045.97	o 3775
1037.56/1047.02	o 3773
1038.55/1048.08	o 3772
1040.62/1050.16	o 3771
1042.69/1052.29	o 3770
1043.79/1053.36	o 3762
1045.96/1055.51	o 3758
1046.95/1056.57	o 3757
1048.04/1057.63	o 3754
1050.21/1059.85	o 3752
1052.38/1062.06	o 3749
1053.47/1063.19	o 3748
1055.63/1065.36	o 3745
1056.72/1066.45	o 3741
1058.90/1068.63	o 3739
1060.67/1070.42	o 3736
1061.85/1071.61	o 3733
1062.94/1072.77	o 3731
1064.13/1073.92	o 3726
1065.22/1075.06	o 3722
1068.68/1078.50	o 3719
1069.76/1079.67	o 3718
1070.95/1080.85	o 3717
1072.14/1082.06	o 3709
1073.32/1083.25	o 3707
1074.51/1084.42	o 3705
1075.59/1085.56	o 3704
1076.78/1086.72	o 3700
1086.06/1096.16	o 3699
1086.85/1096.91	o 3692
1087.94/1098.08	o 3689
1095.74/1105.93	o 3688
1098.02/1108.24	o 3686
1099.21/1109.40	o 3682
1100.27/1110.55	o 3678
1113.90/1124.37	o 3677
1115.09/1125.59	o 3673
1116.28/1126.72	o 3672
1117.37/1127.85	o 3670
1118.55/1129.01	o 3668
1119.64/1130.14	o 3666
1123.00/1133.55	o 3665
1124.08/1134.67	o 3662
1125.17/1135.79	o 3661
1126.36/1136.91	o 3659
1127.44/1138.01	o 3658
1128.53/1139.19	o 3656
1130.40/1141.09	o 3654
1132.68/1143.32	o 3653
1133.76/1144.42	o 3650
1134.85/1145.57	o 3647
1135.94/1146.65	o 3644
1137.02/1147.71	o 3643
1139.00/1149.73	o 3641
1139.79/1150.58	o 3640
1140.78/1151.50	o 3637
1142.77/1153.60	o 3628
1143.74/1154.59	o 3623
1144.73/1155.59	o 3622
1146.80/1157.65	o 3620
1147.79/1158.67	o 3619
1148.88/1159.73	o 3614
1149.58/1160.46	o 3613
1150.56/1161.46	o 3609
1151.55/1162.46	o 3608
1152.53/1163.49	o 3603
1153.52/1164.47	o 3596
1154.51/1165.48	o 3594
1155.59/1166.52	o 3593
1156.58/1167.51	o 3591
1160.54/1171.53	o 3590
1161.53/1172.55	o 3581
1162.52/1173.59	o 3577
1163.50/1174.56	o 3573
1165.48/1176.51	o 3570
1166.46/1177.52	o 3568
1167.45/1178.53	o 3566
1168.54/1179.61	o 3560
1169.52/1180.61	o 3558
1170.51/1181.65	o 3557
1171.50/1182.68	o 3555
1172.40/1183.59	o 3550
1173.38/1184.58	o 3549
1174.47/1185.60	o 3547
1175.45/1186.63	o 3543
1176.44/1187.60	o 3540
1177.43/1188.61	o 3539
1178.42/1189.63	o 3538
1180.49/1191.70	o 3536
1181.58/1192.81	o 3533
1182.56/1193.86	o 3532
1191.45/1202.81	o 3527
1193.33/1204.75	o 3524
1194.32/1205.74	o 3520
1195.32/1206.75	o 3518
1196.21/1207.69	o 3517
1197.20/1208.70	o 3514
1199.27/1210.73	o 3511
1199.76/1211.24	o 3508
1200.76/1212.21	o 3505
1201.35/1212.85	o 3502
1202.33/1213.85	o 3497
1203.32/1214.83	o 3496
1204.30/1215.81	o 3485
1205.19/1216.76	o 3484
1207.18/1218.71	o 3482
1208.16/1219.70	o 3481
1209.15/1220.71	o 3476
1210.13/1221.70	o 3475
1211.12/1222.71	o 3472
1213.10/1224.71	o 3471
1215.07/1226.75	o 3468
1215.87/1227.58	o 3463
1216.66/1228.37	o 3461
1217.74/1229.41	o 3459
1218.63/1230.39	o 3458
1219.72/1231.40	o 3454
1220.60/1232.36	o 3453
1221.69/1233.40	o 3452
1222.68/1234.42	o 3449
1223.76/1235.52	o 3442
1225.75/1237.54	o 3439
1226.83/1238.62	o 3437
1227.82/1239.66	o 3435
1228.81/1240.67	o 3434
1230.88/1242.75	o 3433
1231.86/1243.74	o 3432
1232.84/1244.79	o 3428
1240.15/1252.19	o 3426
1241.24/1253.29	o 3424
1242.33/1254.35	o 3422
1244.50/1256.53	o 3417
1246.68/1258.77	o 3409
1247.76/1259.87	o 3407
1248.95/1261.02	o 3405
1251.22/1263.36	o 3404
1252.41/1264.55	o 3401
1253.60/1265.71	o 3400
1255.97/1268.11	o 3397
1257.16/1269.33	o 3396
1258.35/1270.53	o 3395
1260.71/1272.92	o 3394
1261.79/1274.10	o 3391
1263.08/1275.32	o 3390
1267.83/1280.17	o 3388
1270.20/1282.58	o 3385
1271.47/1283.81	o 3382
1274.45/1286.89	o 3380
1275.74/1288.11	o 3379
1276.90/1289.32	o 3377
1278.09/1290.53	o 3374
1279.28/1291.72	o 3371
1280.36/1292.82	o 3366
1281.55/1294.02	o 3364
1282.74/1295.22	o 3363
1283.92/1296.42	o 3359
1286.40/1298.93	o 3357
1287.48/1300.06	o 3354
1288.67/1301.29	o 3346
1289.46/1302.07	o 3339
1295.48/1308.15	o 3338
1296.66/1309.38	o 3335
1299.14/1311.83	o 3333
1300.33/1313.06	o 3332
1302.81/1315.60	o 3313
1304.08/1316.86	o 3311
1306.55/1319.35	o 3310
1307.84/1320.63	o 3308
1310.21/1323.09	o 3299
1311.50/1324.38	o 3298
1312.77/1325.66	o 3292
1314.06/1326.92	o 3289
1315.25/1328.17	o 3288
1316.53/1329.49	o 3285
1317.82/1330.76	o 3284
1319.11/1332.08	o 3282
1320.38/1333.37	o 3272
1322.95/1335.98	o 3271
1325.52/1338.52	o 3268
1326.81/1339.81	o 3266
1328.08/1341.10	o 3265
1338.27/1351.41	o 3259
1339.45/1352.66	o 3256
1340.74/1353.97	o 3254
1342.03/1355.27	o 3250
1343.30/1356.57	o 3249
1344.59/1357.85	o 3247
1347.16/1360.42	o 3244
1348.45/1361.75	o 3243
1351.11/1364.40	o 3238
1352.19/1365.55	o 3237
1354.27/1367.67	o 3235
1355.46/1368.84	o 3232
1356.74/1370.12	o 3228
1358.03/1371.40	o 3225
1359.32/1372.75	o 3221
1360.59/1374.05	o 3220
1364.35/1377.81	o 3219
1365.54/1379.09	o 3218
1366.82/1380.37	o 3212
1369.47/1383.01	o 3211
1374.62/1388.27	o 3205
1379.76/1393.48	o 3204
1382.42/1396.12	o 3203
1383.71/1397.45	o 3202
1384.99/1398.79	o 3200
1387.57/1401.38	o 3198
1388.84/1402.69	o 3196
1390.12/1403.97	o 3194
1391.51/1405.30	o 3192
1393.99/1407.88	o 3190
1395.36/1409.23	o 3189
1396.65/1410.54	o 3185
1403.08/1417.02	o 3173
1405.55/1419.57	o 3172
1407.83/1421.90	o 3171
1426.88/1441.11	o 3170
1428.07/1442.38	o 3169
1429.25/1443.59	o 3165
1430.54/1444.83	o 3161
1432.92/1447.23	o 3158
1434.00/1448.39	o 3157
1435.19/1449.57	o 3155
1437.57/1451.93	o 3151
1438.56/1452.90	o 3149
1439.64/1454.06	o 3147
1440.83/1455.21	o 3134
1441.92/1456.37	o 3131
1447.54/1462.06	o 3130
1448.62/1463.19	o 3127
1451.70/1466.23	o 3126
1452.79/1467.31	o 3124
1453.87/1468.46	o 3122
1454.95/1469.55	o 3121
1457.03/1471.66	o 3118
1461.28/1475.93	o 3112
1462.26/1476.99	o 3109
1463.35/1478.04	o 3108
1464.44/1479.12	o 3106
1467.59/1482.31	o 3105
1468.68/1483.43	o 3103
1469.76/1484.52	o 3102
1472.93/1487.72	o 3100
1473.91/1488.80	o 3097
1475.00/1489.84	o 3092
1475.89/1490.72	o 3088
1476.87/1491.75	o 3086
1483.11/1498.05	o 3081
1486.37/1501.37	o 3080
1487.55/1502.51	o 3079
1488.54/1503.59	o 3077
1489.73/1504.75	o 3074
1490.82/1505.85	o 3071
1494.09/1509.19	o 3070
1495.17/1510.30	o 3067
1497.44/1512.51	o 3065
1500.89/1516.05	o 3064
1501.97/1517.15	o 3063
1503.06/1518.29	o 3060
1504.25/1519.41	o 3059
1505.33/1520.58	o 3054
1506.42/1521.68	o 3052
1512.05/1527.36	o 3050
1514.42/1529.70	o 3049
1515.61/1530.91	o 3046
1516.80/1532.14	o 3044
1519.17/1534.59	o 3042
1520.44/1535.81	o 3039
1522.82/1538.25	o 3038
1527.46/1542.97	o 3037
1528.65/1544.13	o 3036
1529.84/1545.39	o 3034
1534.78/1550.36	o 3033
1536.07/1551.62	o 3031
1537.25/1552.87	o 3027
1538.54/1554.12	o 3025
1539.53/1555.15	o 3023
1540.71/1556.38	o 3018
1542.00/1557.65	o 3011
1543.28/1558.91	o 3010
1544.46/1560.17	o 3008
1545.64/1561.39	o 2989
1546.93/1562.62	o 2986
1548.12/1563.82	o 2980
1549.21/1565.00	o 2978
1551.58/1567.38	o 2977
1552.77/1568.54	o 2975
1553.95/1569.73	o 2974
1557.11/1572.98	o 2970
1558.30/1574.16	o 2968
1559.48/1575.34	o 2964
1560.66/1576.53	o 2962
1561.85/1577.73	o 2956
1563.04/1578.94	o 2953
1565.81/1581.75	o 2951
1567.00/1582.94	o 2950
1569.26/1585.26	o 2949
1570.45/1586.41	o 2945
1571.54/1587.56	o 2944
1572.72/1588.73	o 2943
1573.81/1589.88	o 2942
1580.83/1596.90	o 2941
1581.91/1598.06	o 2940
1583.10/1599.21	o 2939
1584.19/1600.38	o 2938
1585.07/1601.24	o 2936
1586.06/1602.29	o 2934
1587.24/1603.50	o 2922
1588.43/1604.63	o 2918
1597.71/1614.06	o 2916
1600.08/1616.46	o 2914
1601.27/1617.67	o 2911
1602.45/1618.85	o 2907
1604.94/1621.32	o 2903
1618.08/1634.65	o 2897
1619.35/1635.93	o 2895
1620.54/1637.17	o 2893
1622.81/1639.49	o 2891
1624.10/1640.76	o 2889
1624.68/1641.33	o 2884
1625.87/1642.59	o 2882
1626.57/1643.20	o 2879
1627.76/1644.44	o 2873
1628.95/1645.66	o 2871
1630.22/1646.92	o 2870
1631.41/1648.15	o 2868
1632.69/1649.40	o 2866
1633.88/1650.66	o 2862
1635.16/1651.91	o 2859
1635.95/1652.76	o 2855
1637.24/1654.06	o 2854
1638.53/1655.31	o 2853
1641.09/1657.98	o 2852
1642.47/1659.31	o 2848
1643.66/1660.53	o 2847
1644.95/1661.80	o 2843
1646.03/1662.90	o 2841
1647.22/1664.17	o 2838
1648.51/1665.46	o 2837
1651.07/1668.05	o 2835
1658.88/1675.94	o 2834
1660.07/1677.13	o 2832
1661.35/1678.47	o 2829
1662.34/1679.42	o 2828
1663.63/1680.80	o 2821
1665.00/1682.13	o 2820
1675.49/1692.70	o 2819
1680.82/1698.14	o 2817
1688.72/1706.11	o 2816
1690.00/1707.44	o 2815
1691.28/1708.76	o 2813
1692.67/1710.19	o 2811
1694.05/1711.51	o 2809
1695.33/1712.82	o 2808
1698.00/1715.51	o 2805
1698.89/1716.42	o 2802
1700.18/1717.74	o 2801
1701.56/1719.12	o 2800
1702.85/1720.44	o 2797
1704.12/1721.77	o 2794
1711.83/1729.59	o 2793
1714.21/1731.94	o 2791
1715.39/1733.15	o 2790
1716.48/1734.28	o 2789
1717.76/1735.52	o 2785
1719.05/1736.86	o 2782
1721.71/1739.57	o 2780
1723.00/1740.89	o 2778
1724.29/1742.13	o 2774
1725.57/1743.46	o 2772
1726.94/1744.81	o 2771
1728.23/1746.15	o 2767
1730.80/1748.77	o 2766
1733.47/1751.47	o 2765
1734.85/1752.80	o 2764
1736.14/1754.13	o 2763
1737.42/1755.46	o 2759
1738.80/1756.84	o 2757
1741.37/1759.47	o 2755
1746.70/1764.88	o 2753
1749.38/1767.58	o 2752
1759.95/1778.26	o 2749
1762.62/1780.97	o 2747
1763.90/1782.29	o 2745
1765.28/1783.65	o 2743
1767.95/1786.36	o 2742
1769.32/1787.74	o 2740
1770.61/1789.06	o 2738
1771.99/1790.41	o 2736
1773.28/1791.75	o 2735
1775.94/1794.49	o 2734
1781.38/1799.93	o 2732
1782.76/1801.33	o 2730
1784.05/1802.67	o 2726
1785.44/1804.04	o 2724
1786.71/1805.39	o 2722
1788.10/1806.72	o 2721
1790.78/1809.48	o 2719
1794.23/1812.93	o 2718
1808.35/1827.23	o 2717
1809.74/1828.60	o 2713
1815.17/1834.18	o 2711
1816.66/1835.61	o 2708
1818.04/1837.02	o 2707
1820.90/1839.95	o 2705
1825.25/1844.31	o 2703
1844.62/1864.00	o 2702
1846.11/1865.46	o 2701
1847.59/1866.91	o 2700
1848.97/1868.38	o 2699
1850.46/1869.83	o 2696
1860.63/1880.17	o 2694
1862.11/1881.63	o 2692
1863.50/1883.07	o 2690
1866.36/1885.96	o 2689
1869.22/1888.86	o 2687
1870.71/1890.31	o 2684
1873.38/1893.05	o 2681
1874.85/1894.55	o 2679
1877.63/1897.36	o 2676
1879.10/1898.83	o 2671
1880.59/1900.32	o 2669
1881.98/1901.74	o 2668
1889.38/1909.23	o 2667
1890.87/1910.77	o 2665
1892.44/1912.30	o 2664
1893.93/1913.82	o 2659
1895.02/1914.95	o 2657
1898.08/1918.07	o 2655
1899.56/1919.53	o 2654
1902.62/1922.64	o 2652
1904.00/1924.01	o 2650
1906.97/1927.09	o 2648
1908.44/1928.56	o 2646
1909.83/1929.99	o 2642
1912.21/1932.31	o 2639
1913.69/1933.84	o 2637
1914.87/1935.04	o 2633
1916.15/1936.38	o 2632
1917.04/1937.28	o 2630
1918.53/1938.76	o 2619
1920.01/1940.25	o 2618
1923.07/1943.38	o 2615
1926.13/1946.47	o 2614
1927.62/1948.00	o 2611
1929.19/1949.54	o 2610
1931.96/1952.38	o 2607
1942.53/1963.01	o 2605
1944.02/1964.59	o 2602
1950.35/1970.91	o 2600
1951.92/1972.55	o 2598
1952.72/1973.39	o 2596
1954.30/1974.93	o 2595
1955.78/1976.42	o 2593
1957.25/1977.96	o 2590
1987.30/2008.31	   
1987.30/2008.31	   search
1987.30/2008.31	     run=0  nbConstraintChecks=4194708368  nbAssignments=2577
1987.30/2008.31	       =>  wckTime=1992.874  cpuTime=1971.86  mem=74M770
1987.30/2008.32	   
1987.30/2008.32	   global
1987.30/2008.32	     nbConstraintChecks=4194708368  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
1987.30/2008.32	     solvingWckTime=1992.858  solvingCpuTime=1971.85  expiredTime=no  totalExploration=no  nbFoundSolutions=0
1987.30/2008.32	     globalCpuTime=1985.51
1987.30/2008.32	       =>  wckTime=2008.091  cpuTime=1985.47  mem=74M770
1987.30/2008.32	   
1987.30/2008.32	   solver DecomposerSolver being built... 
1995.58/2016.79	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-1112774-1215873751/watcher-1112774-1215873751 -o /tmp/evaluation-result-1112774-1215873751/solver-1112774-1215873751 -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-1112774-1215873751.xml 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 4000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.19 2.55 2.62 4/106 13249
/proc/meminfo: memFree=1753744/2055920 swapFree=4192812/4192956
[pid=13249] ppid=13247 vsize=18572 CPUtime=0
/proc/13249/stat : 13249 (runsolver) R 13247 13249 11713 0 -1 4194368 16 0 0 0 0 0 0 0 20 0 1 0 44072627 19017728 292 996147200 4194304 4296836 548682068336 18446744073709551615 269807578407 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/13249/statm: 4643 292 257 25 0 2626 0

[startup+0.0755161 s]
/proc/loadavg: 2.19 2.55 2.62 4/106 13249
/proc/meminfo: memFree=1753744/2055920 swapFree=4192812/4192956
[pid=13249] ppid=13247 vsize=865856 CPUtime=0.06
/proc/13249/stat : 13249 (java) S 13247 13249 11713 0 -1 0 3403 0 1 0 4 2 0 0 18 0 9 0 44072627 886636544 2909 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/13249/statm: 216464 2911 1569 9 0 211026 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 865856

[startup+0.102522 s]
/proc/loadavg: 2.19 2.55 2.62 4/106 13249
/proc/meminfo: memFree=1753744/2055920 swapFree=4192812/4192956
[pid=13249] ppid=13247 vsize=865984 CPUtime=0.09
/proc/13249/stat : 13249 (java) S 13247 13249 11713 0 -1 0 3837 0 1 0 7 2 0 0 18 0 9 0 44072627 886767616 3285 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/13249/statm: 216496 3285 1733 9 0 211051 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 865984

[startup+0.301563 s]
/proc/loadavg: 2.19 2.55 2.62 4/106 13249
/proc/meminfo: memFree=1753744/2055920 swapFree=4192812/4192956
[pid=13249] ppid=13247 vsize=866392 CPUtime=0.28
/proc/13249/stat : 13249 (java) S 13247 13249 11713 0 -1 0 5695 0 1 0 24 4 0 0 18 0 9 0 44072627 887185408 5094 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/13249/statm: 216598 5096 1941 9 0 211126 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 866392

[startup+0.702636 s]
/proc/loadavg: 2.19 2.55 2.62 4/106 13249
/proc/meminfo: memFree=1753744/2055920 swapFree=4192812/4192956
[pid=13249] ppid=13247 vsize=867340 CPUtime=0.68
/proc/13249/stat : 13249 (java) S 13247 13249 11713 0 -1 0 12743 0 1 0 60 8 0 0 18 0 9 0 44072627 888156160 12114 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/13249/statm: 216835 12114 1973 9 0 211363 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 867340

[startup+1.50178 s]
/proc/loadavg: 2.19 2.55 2.62 3/115 13258
/proc/meminfo: memFree=1698248/2055920 swapFree=4192812/4192956
[pid=13249] ppid=13247 vsize=867468 CPUtime=1.48
/proc/13249/stat : 13249 (java) S 13247 13249 11713 0 -1 0 22008 0 1 0 135 13 0 0 18 0 9 0 44072627 888287232 21344 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/13249/statm: 216867 21344 2004 9 0 211395 0
[pid=13249/tid=13251] ppid=13247 vsize=867468 CPUtime=1.22
/proc/13249/task/13251/stat : 13251 (java) R 13247 13249 11713 0 -1 64 15770 0 1 0 113 9 0 0 25 0 9 0 44072628 888287232 21344 996147200 134512640 134550740 4294955952 18446744073709551615 4126154688 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13249/tid=13252] ppid=13247 vsize=867468 CPUtime=0.06
/proc/13249/task/13252/stat : 13252 (java) S 13247 13249 11713 0 -1 64 4940 0 0 0 5 1 0 0 17 0 9 0 44072630 888287232 21344 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=13249/tid=13253] ppid=13247 vsize=867468 CPUtime=0
/proc/13249/task/13253/stat : 13253 (java) S 13247 13249 11713 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 44072630 888287232 21344 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13249/tid=13254] ppid=13247 vsize=867468 CPUtime=0
/proc/13249/task/13254/stat : 13254 (java) S 13247 13249 11713 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44072630 888287232 21344 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13249/tid=13255] ppid=13247 vsize=867468 CPUtime=0
/proc/13249/task/13255/stat : 13255 (java) S 13247 13249 11713 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44072632 888287232 21344 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13249/tid=13256] ppid=13247 vsize=867468 CPUtime=0.16
/proc/13249/task/13256/stat : 13256 (java) S 13247 13249 11713 0 -1 64 601 0 0 0 16 0 0 0 16 0 9 0 44072632 888287232 21344 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13249/tid=13257] ppid=13247 vsize=867468 CPUtime=0
/proc/13249/task/13257/stat : 13257 (java) S 13247 13249 11713 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44072632 888287232 21344 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13249/tid=13258] ppid=13247 vsize=867468 CPUtime=0
/proc/13249/task/13258/stat : 13258 (java) S 13247 13249 11713 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44072632 888287232 21344 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 867468

[startup+3.10108 s]
/proc/loadavg: 2.19 2.55 2.62 3/115 13258
/proc/meminfo: memFree=1661576/2055920 swapFree=4192812/4192956
[pid=13249] ppid=13247 vsize=867468 CPUtime=3.07
/proc/13249/stat : 13249 (java) S 13247 13249 11713 0 -1 0 25388 0 1 0 293 14 0 0 18 0 9 0 44072627 888287232 24720 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/13249/statm: 216867 24720 2006 9 0 211395 0
[pid=13249/tid=13251] ppid=13247 vsize=867468 CPUtime=2.69
/proc/13249/task/13251/stat : 13251 (java) R 13247 13249 11713 0 -1 64 15806 0 1 0 259 10 0 0 25 0 9 0 44072628 888287232 24720 996147200 134512640 134550740 4294955952 18446744073709551615 4126896304 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13249/tid=13252] ppid=13247 vsize=867468 CPUtime=0.18
/proc/13249/task/13252/stat : 13252 (java) S 13247 13249 11713 0 -1 64 8273 0 0 0 15 3 0 0 17 0 9 0 44072630 888287232 24720 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=13249/tid=13253] ppid=13247 vsize=867468 CPUtime=0
/proc/13249/task/13253/stat : 13253 (java) S 13247 13249 11713 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 44072630 888287232 24720 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13249/tid=13254] ppid=13247 vsize=867468 CPUtime=0
/proc/13249/task/13254/stat : 13254 (java) S 13247 13249 11713 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44072630 888287232 24720 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13249/tid=13255] ppid=13247 vsize=867468 CPUtime=0
/proc/13249/task/13255/stat : 13255 (java) S 13247 13249 11713 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44072632 888287232 24720 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13249/tid=13256] ppid=13247 vsize=867468 CPUtime=0.17
/proc/13249/task/13256/stat : 13256 (java) S 13247 13249 11713 0 -1 64 612 0 0 0 17 0 0 0 16 0 9 0 44072632 888287232 24720 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13249/tid=13257] ppid=13247 vsize=867468 CPUtime=0
/proc/13249/task/13257/stat : 13257 (java) S 13247 13249 11713 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44072632 888287232 24720 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13249/tid=13258] ppid=13247 vsize=867468 CPUtime=0
/proc/13249/task/13258/stat : 13258 (java) S 13247 13249 11713 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44072632 888287232 24720 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 867468

[startup+6.30168 s]
/proc/loadavg: 2.17 2.54 2.61 3/115 13258
/proc/meminfo: memFree=1652488/2055920 swapFree=4192812/4192956
[pid=13249] ppid=13247 vsize=867468 CPUtime=6.28
/proc/13249/stat : 13249 (java) S 13247 13249 11713 0 -1 0 27406 0 1 0 612 16 0 0 18 0 9 0 44072627 888287232 26734 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/13249/statm: 216867 26734 2006 9 0 211395 0
[pid=13249/tid=13251] ppid=13247 vsize=867468 CPUtime=5.75
/proc/13249/task/13251/stat : 13251 (java) R 13247 13249 11713 0 -1 64 15813 0 1 0 565 10 0 0 25 0 9 0 44072628 888287232 26734 996147200 134512640 134550740 4294955952 18446744073709551615 4126920087 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13249/tid=13252] ppid=13247 vsize=867468 CPUtime=0.31
/proc/13249/task/13252/stat : 13252 (java) S 13247 13249 11713 0 -1 64 10277 0 0 0 27 4 0 0 17 0 9 0 44072630 888287232 26734 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=13249/tid=13253] ppid=13247 vsize=867468 CPUtime=0
/proc/13249/task/13253/stat : 13253 (java) S 13247 13249 11713 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 44072630 888287232 26734 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13249/tid=13254] ppid=13247 vsize=867468 CPUtime=0
/proc/13249/task/13254/stat : 13254 (java) S 13247 13249 11713 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44072630 888287232 26734 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13249/tid=13255] ppid=13247 vsize=867468 CPUtime=0
/proc/13249/task/13255/stat : 13255 (java) S 13247 13249 11713 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44072632 888287232 26734 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13249/tid=13256] ppid=13247 vsize=867468 CPUtime=0.2
/proc/13249/task/13256/stat : 13256 (java) S 13247 13249 11713 0 -1 64 619 0 0 0 19 1 0 0 16 0 9 0 44072632 888287232 26734 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13249/tid=13257] ppid=13247 vsize=867468 CPUtime=0
/proc/13249/task/13257/stat : 13257 (java) S 13247 13249 11713 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44072632 888287232 26734 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13249/tid=13258] ppid=13247 vsize=867468 CPUtime=0
/proc/13249/task/13258/stat : 13258 (java) S 13247 13249 11713 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44072632 888287232 26734 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 867468

[startup+12.7019 s]
/proc/loadavg: 2.16 2.53 2.61 3/115 13258
/proc/meminfo: memFree=1644808/2055920 swapFree=4192812/4192956
[pid=13249] ppid=13247 vsize=867468 CPUtime=12.67
/proc/13249/stat : 13249 (java) S 13247 13249 11713 0 -1 0 30367 0 1 0 1250 17 0 0 18 0 9 0 44072627 888287232 29692 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/13249/statm: 216867 29692 2007 9 0 211395 0
[pid=13249/tid=13251] ppid=13247 vsize=867468 CPUtime=11.88
/proc/13249/task/13251/stat : 13251 (java) R 13247 13249 11713 0 -1 64 15818 0 1 0 1178 10 0 0 25 0 9 0 44072628 888287232 29692 996147200 134512640 134550740 4294955952 18446744073709551615 102887968 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13249/tid=13252] ppid=13247 vsize=867468 CPUtime=0.51
/proc/13249/task/13252/stat : 13252 (java) S 13247 13249 11713 0 -1 64 13188 0 0 0 46 5 0 0 17 0 9 0 44072630 888287232 29692 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=13249/tid=13253] ppid=13247 vsize=867468 CPUtime=0
/proc/13249/task/13253/stat : 13253 (java) S 13247 13249 11713 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 44072630 888287232 29692 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13249/tid=13254] ppid=13247 vsize=867468 CPUtime=0
/proc/13249/task/13254/stat : 13254 (java) S 13247 13249 11713 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44072630 888287232 29692 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13249/tid=13255] ppid=13247 vsize=867468 CPUtime=0
/proc/13249/task/13255/stat : 13255 (java) S 13247 13249 11713 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44072632 888287232 29692 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13249/tid=13256] ppid=13247 vsize=867468 CPUtime=0.26
/proc/13249/task/13256/stat : 13256 (java) S 13247 13249 11713 0 -1 64 664 0 0 0 25 1 0 0 16 0 9 0 44072632 888287232 29692 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13249/tid=13257] ppid=13247 vsize=867468 CPUtime=0
/proc/13249/task/13257/stat : 13257 (java) S 13247 13249 11713 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44072632 888287232 29692 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13249/tid=13258] ppid=13247 vsize=867468 CPUtime=0
/proc/13249/task/13258/stat : 13258 (java) S 13247 13249 11713 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44072632 888287232 29692 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 867468

[startup+25.5023 s]
/proc/loadavg: 2.12 2.50 2.60 3/115 13258
/proc/meminfo: memFree=1610184/2055920 swapFree=4192812/4192956
[pid=13249] ppid=13247 vsize=867556 CPUtime=25.46
/proc/13249/stat : 13249 (java) S 13247 13249 11713 0 -1 0 37847 0 1 0 2524 22 0 0 18 0 9 0 44072627 888377344 36913 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/13249/statm: 216889 36913 2640 9 0 211395 0
[pid=13249/tid=13251] ppid=13247 vsize=867556 CPUtime=23.83
/proc/13249/task/13251/stat : 13251 (java) R 13247 13249 11713 0 -1 64 15884 0 1 0 2372 11 0 0 25 0 9 0 44072628 888377344 36913 996147200 134512640 134550740 4294955952 18446744073709551615 4126896312 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13249/tid=13252] ppid=13247 vsize=867556 CPUtime=1.29
/proc/13249/task/13252/stat : 13252 (java) S 13247 13249 11713 0 -1 64 20571 0 0 0 121 8 0 0 16 0 9 0 44072630 888377344 36913 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=13249/tid=13253] ppid=13247 vsize=867556 CPUtime=0
/proc/13249/task/13253/stat : 13253 (java) S 13247 13249 11713 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 44072630 888377344 36913 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13249/tid=13254] ppid=13247 vsize=867556 CPUtime=0
/proc/13249/task/13254/stat : 13254 (java) S 13247 13249 11713 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44072630 888377344 36913 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13249/tid=13255] ppid=13247 vsize=867556 CPUtime=0
/proc/13249/task/13255/stat : 13255 (java) S 13247 13249 11713 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44072632 888377344 36913 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13249/tid=13256] ppid=13247 vsize=867556 CPUtime=0.3
/proc/13249/task/13256/stat : 13256 (java) S 13247 13249 11713 0 -1 64 695 0 0 0 29 1 0 0 15 0 9 0 44072632 888377344 36913 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13249/tid=13257] ppid=13247 vsize=867556 CPUtime=0
/proc/13249/task/13257/stat : 13257 (java) S 13247 13249 11713 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44072632 888377344 36913 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13249/tid=13258] ppid=13247 vsize=867556 CPUtime=0
/proc/13249/task/13258/stat : 13258 (java) S 13247 13249 11713 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44072632 888377344 36913 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 867556

[startup+51.1021 s]
/proc/loadavg: 2.23 2.49 2.59 3/115 13258
/proc/meminfo: memFree=1605256/2055920 swapFree=4192812/4192956
[pid=13249] ppid=13247 vsize=867556 CPUtime=51.05
/proc/13249/stat : 13249 (java) S 13247 13249 11713 0 -1 0 37847 0 1 0 5082 23 0 0 18 0 9 0 44072627 888377344 36913 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/13249/statm: 216889 36913 2640 9 0 211395 0
[pid=13249/tid=13251] ppid=13247 vsize=867556 CPUtime=49.42
/proc/13249/task/13251/stat : 13251 (java) R 13247 13249 11713 0 -1 64 15884 0 1 0 4930 12 0 0 25 0 9 0 44072628 888377344 36913 996147200 134512640 134550740 4294955952 18446744073709551615 4126891948 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13249/tid=13252] ppid=13247 vsize=867556 CPUtime=1.29
/proc/13249/task/13252/stat : 13252 (java) S 13247 13249 11713 0 -1 64 20571 0 0 0 121 8 0 0 16 0 9 0 44072630 888377344 36913 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=13249/tid=13253] ppid=13247 vsize=867556 CPUtime=0
/proc/13249/task/13253/stat : 13253 (java) S 13247 13249 11713 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 44072630 888377344 36913 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13249/tid=13254] ppid=13247 vsize=867556 CPUtime=0
/proc/13249/task/13254/stat : 13254 (java) S 13247 13249 11713 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44072630 888377344 36913 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13249/tid=13255] ppid=13247 vsize=867556 CPUtime=0
/proc/13249/task/13255/stat : 13255 (java) S 13247 13249 11713 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44072632 888377344 36913 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13249/tid=13256] ppid=13247 vsize=867556 CPUtime=0.3
/proc/13249/task/13256/stat : 13256 (java) S 13247 13249 11713 0 -1 64 695 0 0 0 29 1 0 0 16 0 9 0 44072632 888377344 36913 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13249/tid=13257] ppid=13247 vsize=867556 CPUtime=0

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

/proc/13249/task/13254/stat : 13254 (java) S 13247 13249 11713 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44072630 888377344 36926 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13249/tid=13255] ppid=13247 vsize=867556 CPUtime=0
/proc/13249/task/13255/stat : 13255 (java) S 13247 13249 11713 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44072632 888377344 36926 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13249/tid=13256] ppid=13247 vsize=867556 CPUtime=0.33
/proc/13249/task/13256/stat : 13256 (java) S 13247 13249 11713 0 -1 64 709 0 0 0 32 1 0 0 16 0 9 0 44072632 888377344 36926 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13249/tid=13257] ppid=13247 vsize=867556 CPUtime=0
/proc/13249/task/13257/stat : 13257 (java) S 13247 13249 11713 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44072632 888377344 36926 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13249/tid=13258] ppid=13247 vsize=867556 CPUtime=0
/proc/13249/task/13258/stat : 13258 (java) S 13247 13249 11713 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44072632 888377344 36926 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1950.55
Current children cumulated vsize (KiB) 867556

[startup+1996.7 s]
/proc/loadavg: 2.78 2.75 2.67 6/115 13265
/proc/meminfo: memFree=874560/2055920 swapFree=4192812/4192956
[pid=13249] ppid=13247 vsize=867556 CPUtime=1975.83
/proc/13249/stat : 13249 (java) S 13247 13249 11713 0 -1 0 37865 0 1 0 197521 62 0 0 18 0 9 0 44072627 888377344 36926 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/13249/statm: 216889 36926 2640 9 0 211395 0
[pid=13249/tid=13251] ppid=13247 vsize=867556 CPUtime=1974.16
/proc/13249/task/13251/stat : 13251 (java) R 13247 13249 11713 0 -1 64 15888 0 1 0 197366 50 0 0 25 0 9 0 44072628 888377344 36926 996147200 134512640 134550740 4294955952 18446744073709551615 4126892038 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13249/tid=13252] ppid=13247 vsize=867556 CPUtime=1.29
/proc/13249/task/13252/stat : 13252 (java) S 13247 13249 11713 0 -1 64 20571 0 0 0 121 8 0 0 16 0 9 0 44072630 888377344 36926 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=13249/tid=13253] ppid=13247 vsize=867556 CPUtime=0
/proc/13249/task/13253/stat : 13253 (java) S 13247 13249 11713 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 44072630 888377344 36926 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13249/tid=13254] ppid=13247 vsize=867556 CPUtime=0
/proc/13249/task/13254/stat : 13254 (java) S 13247 13249 11713 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44072630 888377344 36926 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13249/tid=13255] ppid=13247 vsize=867556 CPUtime=0
/proc/13249/task/13255/stat : 13255 (java) S 13247 13249 11713 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44072632 888377344 36926 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13249/tid=13256] ppid=13247 vsize=867556 CPUtime=0.33
/proc/13249/task/13256/stat : 13256 (java) S 13247 13249 11713 0 -1 64 709 0 0 0 32 1 0 0 16 0 9 0 44072632 888377344 36926 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13249/tid=13257] ppid=13247 vsize=867556 CPUtime=0
/proc/13249/task/13257/stat : 13257 (java) S 13247 13249 11713 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44072632 888377344 36926 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13249/tid=13258] ppid=13247 vsize=867556 CPUtime=0
/proc/13249/task/13258/stat : 13258 (java) S 13247 13249 11713 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44072632 888377344 36926 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1975.83
Current children cumulated vsize (KiB) 867556

[startup+2009.5 s]
/proc/loadavg: 2.82 2.76 2.67 3/115 13265
/proc/meminfo: memFree=857856/2055920 swapFree=4192812/4192956
[pid=13249] ppid=13247 vsize=867556 CPUtime=1988.48
/proc/13249/stat : 13249 (java) S 13247 13249 11713 0 -1 0 88661 0 1 0 198765 83 0 0 18 0 9 0 44072627 888377344 87677 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/13249/statm: 216889 87677 2641 9 0 211395 0
[pid=13249/tid=13251] ppid=13247 vsize=867556 CPUtime=1986.26
/proc/13249/task/13251/stat : 13251 (java) R 13247 13249 11713 0 -1 64 15969 0 1 0 198575 51 0 0 25 0 9 0 44072628 888377344 87677 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13249/tid=13252] ppid=13247 vsize=867556 CPUtime=1.8
/proc/13249/task/13252/stat : 13252 (java) R 13247 13249 11713 0 -1 64 71243 0 0 0 151 29 0 0 16 0 9 0 44072630 888377344 87677 996147200 134512640 134550740 4294955952 18446744073709551615 102674877 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=13249/tid=13253] ppid=13247 vsize=867556 CPUtime=0
/proc/13249/task/13253/stat : 13253 (java) S 13247 13249 11713 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 44072630 888377344 87677 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13249/tid=13254] ppid=13247 vsize=867556 CPUtime=0
/proc/13249/task/13254/stat : 13254 (java) S 13247 13249 11713 0 -1 64 18 0 0 0 0 0 0 0 16 0 9 0 44072630 888377344 87677 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13249/tid=13255] ppid=13247 vsize=867556 CPUtime=0
/proc/13249/task/13255/stat : 13255 (java) S 13247 13249 11713 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44072632 888377344 87677 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13249/tid=13256] ppid=13247 vsize=867556 CPUtime=0.38
/proc/13249/task/13256/stat : 13256 (java) S 13247 13249 11713 0 -1 64 739 0 0 0 37 1 0 0 15 0 9 0 44072632 888377344 87677 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13249/tid=13257] ppid=13247 vsize=867556 CPUtime=0
/proc/13249/task/13257/stat : 13257 (java) S 13247 13249 11713 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44072632 888377344 87677 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13249/tid=13258] ppid=13247 vsize=867556 CPUtime=0
/proc/13249/task/13258/stat : 13258 (java) S 13247 13249 11713 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44072632 888377344 87677 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1988.48
Current children cumulated vsize (KiB) 867556

[startup+2012.7 s]
/proc/loadavg: 2.75 2.74 2.66 4/115 13265
/proc/meminfo: memFree=223168/2055920 swapFree=4192812/4192956
[pid=13249] ppid=13247 vsize=867468 CPUtime=1991.64
/proc/13249/stat : 13249 (java) S 13247 13249 11713 0 -1 0 200469 0 1 0 199024 140 0 0 18 0 9 0 44072627 888287232 199446 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/13249/statm: 216867 199446 2618 9 0 211395 0
[pid=13249/tid=13251] ppid=13247 vsize=867468 CPUtime=1986.77
/proc/13249/task/13251/stat : 13251 (java) R 13247 13249 11713 0 -1 64 15980 0 1 0 198626 51 0 0 25 0 9 0 44072628 888287232 199446 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13249/tid=13252] ppid=13247 vsize=867468 CPUtime=4.45
/proc/13249/task/13252/stat : 13252 (java) R 13247 13249 11713 0 -1 64 183035 0 0 0 359 86 0 0 17 0 9 0 44072630 888287232 199446 996147200 134512640 134550740 4294955952 18446744073709551615 102731896 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=13249/tid=13253] ppid=13247 vsize=867468 CPUtime=0
/proc/13249/task/13253/stat : 13253 (java) S 13247 13249 11713 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 44072630 888287232 199446 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13249/tid=13254] ppid=13247 vsize=867468 CPUtime=0
/proc/13249/task/13254/stat : 13254 (java) S 13247 13249 11713 0 -1 64 23 0 0 0 0 0 0 0 16 0 9 0 44072630 888287232 199446 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13249/tid=13255] ppid=13247 vsize=867468 CPUtime=0
/proc/13249/task/13255/stat : 13255 (java) S 13247 13249 11713 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44072632 888287232 199446 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13249/tid=13256] ppid=13247 vsize=867468 CPUtime=0.38
/proc/13249/task/13256/stat : 13256 (java) S 13247 13249 11713 0 -1 64 739 0 0 0 37 1 0 0 15 0 9 0 44072632 888287232 199446 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13249/tid=13257] ppid=13247 vsize=867468 CPUtime=0
/proc/13249/task/13257/stat : 13257 (java) S 13247 13249 11713 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44072632 888287232 199446 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13249/tid=13258] ppid=13247 vsize=867468 CPUtime=0
/proc/13249/task/13258/stat : 13258 (java) S 13247 13249 11713 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44072632 888287232 199446 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1991.64
Current children cumulated vsize (KiB) 867468

[startup+2014.3 s]
/proc/loadavg: 2.75 2.74 2.66 5/115 13265
/proc/meminfo: memFree=223168/2055920 swapFree=4192812/4192956
[pid=13249] ppid=13247 vsize=867468 CPUtime=1993.21
/proc/13249/stat : 13249 (java) S 13247 13249 11713 0 -1 0 200470 0 1 0 199181 140 0 0 18 0 9 0 44072627 888287232 199446 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/13249/statm: 216867 199446 2618 9 0 211395 0
[pid=13249/tid=13251] ppid=13247 vsize=867468 CPUtime=1986.79
/proc/13249/task/13251/stat : 13251 (java) S 13247 13249 11713 0 -1 64 15981 0 1 0 198628 51 0 0 24 0 9 0 44072628 888287232 199446 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13249/tid=13252] ppid=13247 vsize=867468 CPUtime=6.01
/proc/13249/task/13252/stat : 13252 (java) R 13247 13249 11713 0 -1 64 183035 0 0 0 515 86 0 0 19 0 9 0 44072630 888287232 199446 996147200 134512640 134550740 4294955952 18446744073709551615 104181349 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=13249/tid=13253] ppid=13247 vsize=867468 CPUtime=0
/proc/13249/task/13253/stat : 13253 (java) S 13247 13249 11713 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 44072630 888287232 199446 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13249/tid=13254] ppid=13247 vsize=867468 CPUtime=0
/proc/13249/task/13254/stat : 13254 (java) S 13247 13249 11713 0 -1 64 23 0 0 0 0 0 0 0 16 0 9 0 44072630 888287232 199446 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13249/tid=13255] ppid=13247 vsize=867468 CPUtime=0
/proc/13249/task/13255/stat : 13255 (java) S 13247 13249 11713 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44072632 888287232 199446 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13249/tid=13256] ppid=13247 vsize=867468 CPUtime=0.38
/proc/13249/task/13256/stat : 13256 (java) S 13247 13249 11713 0 -1 64 739 0 0 0 37 1 0 0 15 0 9 0 44072632 888287232 199446 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13249/tid=13257] ppid=13247 vsize=867468 CPUtime=0
/proc/13249/task/13257/stat : 13257 (java) S 13247 13249 11713 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44072632 888287232 199446 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13249/tid=13258] ppid=13247 vsize=867468 CPUtime=0
/proc/13249/task/13258/stat : 13258 (java) S 13247 13249 11713 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44072632 888287232 199446 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1993.21
Current children cumulated vsize (KiB) 867468

[startup+2015.9 s]
/proc/loadavg: 2.85 2.76 2.67 4/115 13265
/proc/meminfo: memFree=223168/2055920 swapFree=4192812/4192956
[pid=13249] ppid=13247 vsize=867468 CPUtime=1994.8
/proc/13249/stat : 13249 (java) S 13247 13249 11713 0 -1 0 200471 0 1 0 199340 140 0 0 18 0 9 0 44072627 888287232 199446 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/13249/statm: 216867 199446 2618 9 0 211395 0
[pid=13249/tid=13251] ppid=13247 vsize=867468 CPUtime=1986.79
/proc/13249/task/13251/stat : 13251 (java) S 13247 13249 11713 0 -1 64 15982 0 1 0 198628 51 0 0 24 0 9 0 44072628 888287232 199446 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13249/tid=13252] ppid=13247 vsize=867468 CPUtime=7.6
/proc/13249/task/13252/stat : 13252 (java) R 13247 13249 11713 0 -1 64 183035 0 0 0 674 86 0 0 22 0 9 0 44072630 888287232 199446 996147200 134512640 134550740 4294955952 18446744073709551615 104182546 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=13249/tid=13253] ppid=13247 vsize=867468 CPUtime=0
/proc/13249/task/13253/stat : 13253 (java) S 13247 13249 11713 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 44072630 888287232 199446 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13249/tid=13254] ppid=13247 vsize=867468 CPUtime=0
/proc/13249/task/13254/stat : 13254 (java) S 13247 13249 11713 0 -1 64 23 0 0 0 0 0 0 0 16 0 9 0 44072630 888287232 199446 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13249/tid=13255] ppid=13247 vsize=867468 CPUtime=0
/proc/13249/task/13255/stat : 13255 (java) S 13247 13249 11713 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44072632 888287232 199446 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13249/tid=13256] ppid=13247 vsize=867468 CPUtime=0.38
/proc/13249/task/13256/stat : 13256 (java) S 13247 13249 11713 0 -1 64 739 0 0 0 37 1 0 0 15 0 9 0 44072632 888287232 199446 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13249/tid=13257] ppid=13247 vsize=867468 CPUtime=0
/proc/13249/task/13257/stat : 13257 (java) S 13247 13249 11713 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44072632 888287232 199446 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13249/tid=13258] ppid=13247 vsize=867468 CPUtime=0
/proc/13249/task/13258/stat : 13258 (java) S 13247 13249 11713 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44072632 888287232 199446 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1994.8
Current children cumulated vsize (KiB) 867468

[startup+2016.7 s]
/proc/loadavg: 2.85 2.76 2.67 4/115 13265
/proc/meminfo: memFree=223168/2055920 swapFree=4192812/4192956
[pid=13249] ppid=13247 vsize=867468 CPUtime=1995.58
/proc/13249/stat : 13249 (java) S 13247 13249 11713 0 -1 0 200471 0 1 0 199418 140 0 0 18 0 9 0 44072627 888287232 199446 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/13249/statm: 216867 199446 2618 9 0 211395 0
[pid=13249/tid=13251] ppid=13247 vsize=867468 CPUtime=1986.79
/proc/13249/task/13251/stat : 13251 (java) S 13247 13249 11713 0 -1 64 15982 0 1 0 198628 51 0 0 16 0 9 0 44072628 888287232 199446 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13249/tid=13252] ppid=13247 vsize=867468 CPUtime=8.38
/proc/13249/task/13252/stat : 13252 (java) R 13247 13249 11713 0 -1 64 183035 0 0 0 752 86 0 0 25 0 9 0 44072630 888287232 199446 996147200 134512640 134550740 4294955952 18446744073709551615 102731977 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=13249/tid=13253] ppid=13247 vsize=867468 CPUtime=0
/proc/13249/task/13253/stat : 13253 (java) S 13247 13249 11713 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 44072630 888287232 199446 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13249/tid=13254] ppid=13247 vsize=867468 CPUtime=0
/proc/13249/task/13254/stat : 13254 (java) S 13247 13249 11713 0 -1 64 23 0 0 0 0 0 0 0 16 0 9 0 44072630 888287232 199446 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13249/tid=13255] ppid=13247 vsize=867468 CPUtime=0
/proc/13249/task/13255/stat : 13255 (java) S 13247 13249 11713 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44072632 888287232 199446 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13249/tid=13256] ppid=13247 vsize=867468 CPUtime=0.38
/proc/13249/task/13256/stat : 13256 (java) S 13247 13249 11713 0 -1 64 739 0 0 0 37 1 0 0 15 0 9 0 44072632 888287232 199446 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13249/tid=13257] ppid=13247 vsize=867468 CPUtime=0
/proc/13249/task/13257/stat : 13257 (java) S 13247 13249 11713 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44072632 888287232 199446 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13249/tid=13258] ppid=13247 vsize=867468 CPUtime=0
/proc/13249/task/13258/stat : 13258 (java) S 13247 13249 11713 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44072632 888287232 199446 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1995.58
Current children cumulated vsize (KiB) 867468

[startup+2016.9 s]
/proc/loadavg: 2.85 2.76 2.67 4/115 13265
/proc/meminfo: memFree=223168/2055920 swapFree=4192812/4192956
[pid=13249] ppid=13247 vsize=0 CPUtime=1995.75
/proc/13249/stat : 13249 (java) Z 13247 13249 11713 0 -1 12 200479 0 1 0 199428 147 0 0 16 0 2 0 44072627 0 0 996147200 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/13249/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1995.75
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 2016.95
CPU time (s): 1995.8
CPU user time (s): 1994.28
CPU system time (s): 1.52077
CPU usage (%): 98.9517
Max. virtual memory (cumulated for all children) (KiB): 867720

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1994.28
system time used= 1.52077
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 200479
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= 42659
involuntary context switches= 92072

runsolver used 3.01654 second user time and 8.5207 second system time

The end

Launcher Data (download as text)

Begin job on node81 at 2008-07-12 16:42:31
IDJOB=1112774
IDBENCH=61472
IDSOLVER=360
FILE ID=node81/1112774-1215873751
PBS_JOBID= 7903455
Free space on /tmp= 126808 MiB

SOLVER NAME= AbsconMax 112 pc-d
BENCH NAME= CPAI08/csp/fapp/fapp22/normalized-fapp22-1750-6.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-1112774-1215873751/watcher-1112774-1215873751 -o /tmp/evaluation-result-1112774-1215873751/solver-1112774-1215873751 -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-1112774-1215873751.xml

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= 3874290cda754699d3686661cf7c347b
RANDOM SEED=1288066567

node81.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.281
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.281
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	: 5996.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1754224 kB
Buffers:         39888 kB
Cached:         125896 kB
SwapCached:          0 kB
Active:         134732 kB
Inactive:        98420 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1754224 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            6780 kB
Writeback:           0 kB
Mapped:          88828 kB
Slab:            50644 kB
Committed_AS:   399160 kB
PageTables:       4132 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264960 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 126808 MiB
End job on node81 at 2008-07-12 17:16:08