Trace number 1112767

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? 1818.59 1822.77

General information on the benchmark

Namecsp/fapp/fapp22/
normalized-fapp22-1750-0.xml
MD5SUM9a4e6098c7014d2e43e37229a7ed8846
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkMSAT TO
Best Number of falsified constraints172
Best CPU time to get the best result obtained on this benchmark3600.06
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.07/0.09	
0.07/0.09	Abscon 112 (May, 2008)
0.19/0.25	
0.19/0.25	   configuration
0.19/0.25	     name=mrdac-wdeg.xml
0.28/0.33	   
0.28/0.33	   instance
0.28/0.33	     name=HOME/instance-1112767-1215873715.xml
0.28/0.37	   
0.28/0.37	   domains being loaded...
0.48/0.54	   
0.48/0.54	   variables being loaded...
0.88/0.90	     nbVariables=1750  nbDomainTypes=30  minDomainSize=82  maxDomainSize=802  nbTotalValues=813037
0.88/0.90	       =>  wckTime=0.646  cpuTime=0.5  mem=32M295
0.88/0.90	   
0.88/0.90	   predicates being loaded...
0.88/0.97	   
0.88/0.97	   constraints being loaded...
10.89/11.01	   
10.89/11.01	   INFO : Stopping converting binary constraints (cpu=10.16, mem = 43M829)
14.75/14.90	     nbConstraints=32049  nbConvertedConstraints=94  nbConvertConstraintsChecks=29573544  nbExtensionStructures=91
14.75/14.90	     nbSharedExtensionStructures=3  nbConflictsStructures=364  nbSharedConflictsStructures=522
14.75/14.90	     nbUnbuiltConflictsStructures=9097  nbSharedBinaryRepresentations=85828  nbEvaluationManagers=9370
14.75/14.90	     nbSharedEvaluationManagers=22585  minDegree=4  maxDegree=109  minArity=2  maxArity=2
14.75/14.90	       =>  wckTime=14.649  cpuTime=13.37  mem=96M689
15.24/15.41	   
15.24/15.41	   solver LocalSearchSolver being built... 
15.24/15.46	       =>  wckTime=15.207  cpuTime=13.42  mem=72M47
15.94/16.13	
15.94/16.13	s SATISFIABLE
15.94/16.13	o 9512
16.53/16.72	o 9494
16.83/17.00	o 9478
17.03/17.27	o 9466
17.33/17.56	o 9454
17.72/17.91	o 9435
17.92/18.10	o 9423
18.22/18.41	o 9407
18.42/18.63	o 9390
18.71/18.96	o 9384
19.01/19.28	o 9369
19.41/19.62	o 9363
19.70/19.90	o 9358
19.90/20.13	o 9345
20.09/20.32	o 9340
20.29/20.52	o 9322
20.49/20.76	o 9309
20.79/21.09	o 9300
20.98/21.29	o 9299
21.18/21.49	o 9295
21.38/21.68	o 9292
21.58/21.85	o 9287
21.78/22.06	o 9275
22.27/22.52	o 9258
22.37/22.69	o 9243
22.57/22.86	o 9231
22.77/23.09	o 9226
22.97/23.24	o 9220
23.16/23.41	o 9213
23.36/23.62	o 9212
23.46/23.77	o 9202
23.56/23.89	o 9192
23.76/24.00	o 9188
23.86/24.20	o 9175
24.15/24.41	o 9160
24.35/24.62	o 9155
24.46/24.78	o 9146
24.66/24.97	o 9139
24.86/25.14	o 9135
25.06/25.33	o 9130
25.25/25.51	o 9123
25.45/25.71	o 9119
25.75/26.00	o 9116
25.95/26.29	o 9106
26.24/26.56	o 9094
26.44/26.79	o 9092
26.73/27.09	o 9091
27.03/27.32	o 9083
28.42/28.74	o 9079
28.61/28.97	o 9072
29.60/29.91	o 9065
29.80/30.11	o 9061
30.00/30.34	o 9055
30.20/30.58	o 9052
30.40/30.79	o 9041
30.69/31.01	o 9031
30.79/31.15	o 9024
31.09/31.40	o 9014
31.29/31.63	o 9008
31.49/31.84	o 9003
31.78/32.14	o 8989
31.97/32.37	o 8982
32.17/32.59	o 8967
32.37/32.78	o 8965
32.67/33.07	o 8956
33.16/33.55	o 8947
33.56/33.91	o 8936
34.65/35.08	o 8930
34.95/35.35	o 8928
35.24/35.69	o 8921
35.64/36.04	o 8915
35.84/36.29	o 8905
36.13/36.56	o 8902
36.43/36.85	o 8901
36.63/37.04	o 8894
36.93/37.34	o 8883
37.22/37.70	o 8872
38.21/38.66	o 8863
38.71/39.10	o 8859
39.22/39.61	o 8845
39.71/40.10	o 8840
40.21/40.62	o 8830
40.70/41.13	o 8826
41.10/41.55	o 8817
41.49/42.00	o 8815
41.99/42.44	o 8810
42.39/42.87	o 8798
42.88/43.31	o 8788
43.28/43.75	o 8777
43.68/44.19	o 8776
44.07/44.56	o 8772
45.36/45.86	o 8765
45.85/46.30	o 8758
46.25/46.73	o 8756
46.64/47.17	o 8745
47.04/47.51	o 8742
47.43/47.93	o 8733
47.73/48.28	o 8729
48.22/48.76	o 8723
48.72/49.24	o 8722
49.22/49.77	o 8717
49.71/50.26	o 8707
50.71/51.25	o 8704
51.11/51.64	o 8701
51.50/52.04	o 8690
51.80/52.39	o 8677
52.20/52.73	o 8666
52.49/53.05	o 8659
52.89/53.41	o 8653
53.19/53.75	o 8643
53.48/54.06	o 8637
53.88/54.47	o 8636
54.28/54.81	o 8626
54.67/55.23	o 8619
55.07/55.63	o 8611
55.47/56.07	o 8606
55.86/56.42	o 8596
56.16/56.78	o 8590
56.66/57.24	o 8582
56.95/57.59	o 8573
57.35/57.99	o 8566
57.75/58.37	o 8562
58.24/58.83	o 8552
58.64/59.28	o 8546
59.03/59.63	o 8538
59.43/60.02	o 8532
59.72/60.40	o 8523
60.51/61.16	o 8520
60.91/61.51	o 8510
61.70/62.34	o 8506
62.10/62.78	o 8501
62.89/63.51	o 8500
63.29/63.94	o 8497
63.68/64.37	o 8485
63.98/64.70	o 8484
64.48/65.18	o 8480
65.07/65.71	o 8475
65.47/66.13	o 8470
65.86/66.54	o 8466
66.26/66.97	o 8458
66.66/67.36	o 8457
67.06/67.76	o 8456
67.46/68.17	o 8453
67.85/68.51	o 8441
68.15/68.88	o 8431
68.45/69.19	o 8416
68.85/69.52	o 8407
69.24/69.93	o 8402
69.54/70.29	o 8397
70.03/70.74	o 8393
70.43/71.15	o 8389
70.83/71.52	o 8382
71.12/71.89	o 8369
71.52/72.24	o 8367
71.92/72.63	o 8361
72.21/72.97	o 8359
72.61/73.38	o 8357
73.01/73.76	o 8350
73.40/74.16	o 8343
73.90/74.60	o 8335
74.39/75.13	o 8328
75.28/76.01	o 8319
75.58/76.39	o 8314
75.98/76.76	o 8309
76.37/77.14	o 8301
76.77/77.52	o 8292
77.17/77.91	o 8281
77.47/78.29	o 8273
77.96/78.72	o 8263
78.36/79.11	o 8257
78.75/79.55	o 8248
79.65/80.40	o 8241
79.94/80.78	o 8235
80.34/81.15	o 8230
80.74/81.52	o 8226
81.13/81.90	o 8222
81.43/82.27	o 8217
81.83/82.62	o 8213
82.12/83.00	o 8209
82.62/83.42	o 8206
83.02/83.88	o 8200
83.41/84.20	o 8191
83.71/84.54	o 8188
84.20/85.01	o 8185
84.60/85.42	o 8182
85.00/85.87	o 8180
85.39/86.24	o 8170
85.79/86.66	o 8168
86.18/87.09	o 8166
86.68/87.53	o 8165
87.08/87.94	o 8164
87.47/88.39	o 8155
87.97/88.85	o 8149
88.27/89.18	o 8143
88.66/89.54	o 8142
89.06/89.98	o 8138
89.45/90.37	o 8130
89.85/90.77	o 8126
90.64/91.58	o 8119
91.14/92.00	o 8115
92.63/93.56	o 8106
93.03/93.92	o 8090
93.43/94.30	o 8082
93.82/94.76	o 8069
94.32/95.25	o 8059
94.82/95.76	o 8052
95.31/96.25	o 8045
95.81/96.77	o 8038
96.30/97.28	o 8033
96.80/97.78	o 8024
97.28/98.27	o 8021
97.78/98.70	o 8018
98.18/99.12	o 8012
98.57/99.56	o 8007
98.97/99.98	o 8002
99.46/100.42	o 7997
99.86/100.89	o 7995
100.36/101.33	o 7991
100.75/101.76	o 7990
101.15/102.16	o 7985
101.55/102.55	o 7982
101.94/102.97	o 7979
102.34/103.38	o 7972
102.83/103.81	o 7971
103.13/104.19	o 7968
103.63/104.61	o 7965
103.92/104.99	o 7961
104.32/105.39	o 7958
104.72/105.76	o 7947
105.11/106.16	o 7944
105.51/106.51	o 7940
105.80/106.88	o 7931
106.20/107.21	o 7928
106.40/107.48	o 7916
106.70/107.77	o 7909
106.99/108.01	o 7907
107.29/108.33	o 7905
107.59/108.60	o 7903
107.79/108.86	o 7901
108.08/109.15	o 7896
108.38/109.46	o 7894
108.68/109.73	o 7893
108.88/109.97	o 7891
109.17/110.21	o 7889
109.37/110.46	o 7887
109.67/110.71	o 7886
109.97/111.03	o 7885
110.26/111.33	o 7884
110.56/111.61	o 7881
110.76/111.85	o 7880
111.07/112.15	o 7879
111.36/112.42	o 7878
111.66/112.70	o 7877
111.86/113.00	o 7876
112.15/113.26	o 7875
113.83/114.95	o 7872
114.43/115.52	o 7867
115.62/116.76	o 7862
115.91/117.06	o 7853
118.19/119.30	o 7849
118.79/119.99	o 7847
119.18/120.37	o 7843
119.58/120.71	o 7831
119.88/121.08	o 7828
120.37/121.57	o 7826
120.77/122.00	o 7821
121.17/122.37	o 7816
122.06/123.21	o 7809
122.35/123.57	o 7800
122.75/123.96	o 7798
123.15/124.31	o 7788
123.44/124.64	o 7781
123.74/124.97	o 7775
124.14/125.32	o 7769
124.44/125.67	o 7764
124.83/126.02	o 7760
125.13/126.35	o 7756
125.52/126.71	o 7751
125.82/127.07	o 7747
126.22/127.42	o 7743
126.51/127.79	o 7740
126.91/128.13	o 7736
127.21/128.44	o 7734
127.50/128.73	o 7732
127.80/129.06	o 7730
128.20/129.41	o 7729
128.50/129.75	o 7716
128.79/130.01	o 7704
129.09/130.38	o 7703
129.39/130.64	o 7702
129.69/130.93	o 7698
129.88/131.19	o 7697
130.18/131.47	o 7696
130.58/131.80	o 7695
130.78/132.08	o 7694
131.07/132.36	o 7693
131.36/132.63	o 7685
131.66/132.90	o 7682
131.96/133.22	o 7681
132.26/133.50	o 7680
133.16/134.41	o 7676
135.24/136.57	o 7671
136.52/137.88	o 7658
137.22/138.60	o 7651
137.61/138.97	o 7643
138.01/139.36	o 7640
138.41/139.73	o 7638
138.70/140.04	o 7629
139.40/140.73	o 7625
139.70/141.08	o 7620
140.09/141.46	o 7611
140.49/141.83	o 7609
140.88/142.20	o 7603
141.88/143.21	o 7602
142.17/143.54	o 7592
142.67/144.09	o 7587
142.97/144.33	o 7585
143.16/144.57	o 7580
143.66/145.05	o 7573
143.95/145.33	o 7568
144.15/145.59	o 7567
144.45/145.83	o 7565
144.65/146.06	o 7560
145.73/147.11	o 7550
145.93/147.37	o 7544
146.23/147.65	o 7538
146.72/148.19	o 7535
147.03/148.49	o 7531
147.33/148.77	o 7527
147.62/149.06	o 7524
147.92/149.34	o 7521
148.22/149.64	o 7518
148.51/149.96	o 7516
148.81/150.29	o 7510
149.11/150.54	o 7504
149.40/150.83	o 7502
149.70/151.10	o 7497
149.90/151.35	o 7495
150.20/151.62	o 7493
150.49/151.90	o 7492
150.69/152.16	o 7491
150.99/152.48	o 7490
151.29/152.79	o 7489
151.58/153.08	o 7488
151.88/153.37	o 7487
152.18/153.69	o 7484
152.58/154.04	o 7483
152.87/154.33	o 7482
153.17/154.61	o 7481
153.37/154.89	o 7480
154.46/155.96	o 7469
154.76/156.30	o 7464
155.15/156.61	o 7460
155.45/156.90	o 7455
155.65/157.15	o 7449
155.94/157.45	o 7445
156.14/157.69	o 7442
156.44/157.97	o 7435
156.74/158.22	o 7427
157.03/158.52	o 7426
157.53/159.07	o 7419
157.83/159.33	o 7417
158.12/159.63	o 7412
158.41/159.94	o 7409
158.71/160.22	o 7407
159.01/160.59	o 7400
159.41/160.91	o 7395
159.71/161.23	o 7393
160.10/161.60	o 7388
160.40/161.94	o 7385
160.79/162.33	o 7377
161.19/162.72	o 7375
161.58/163.11	o 7368
161.98/163.50	o 7366
162.38/163.92	o 7360
162.67/164.26	o 7353
162.97/164.59	o 7347
163.37/164.93	o 7339
163.76/165.33	o 7333
164.06/165.66	o 7327
164.36/165.96	o 7325
164.66/166.27	o 7324
165.26/166.89	o 7323
165.85/167.46	o 7322
166.14/167.76	o 7316
166.74/168.34	o 7312
167.33/168.94	o 7308
167.63/169.23	o 7305
167.83/169.50	o 7301
168.22/169.81	o 7297
168.42/170.09	o 7293
168.72/170.36	o 7290
169.02/170.64	o 7287
169.31/170.92	o 7279
169.51/171.17	o 7276
169.81/171.41	o 7274
170.01/171.69	o 7272
170.30/171.95	o 7270
170.60/172.20	o 7261
170.80/172.43	o 7259
171.19/172.89	o 7254
171.49/173.15	o 7252
171.70/173.38	o 7251
172.10/173.70	o 7250
172.29/173.95	o 7249
172.59/174.22	o 7248
172.89/174.54	o 7247
173.38/175.04	o 7245
174.17/175.85	o 7244
174.47/176.10	o 7243
174.97/176.61	o 7241
175.16/176.87	o 7236
175.46/177.15	o 7235
175.76/177.42	o 7232
176.06/177.72	o 7231
176.25/177.98	o 7230
176.55/178.25	o 7228
176.85/178.53	o 7226
177.35/179.08	o 7224
177.64/179.36	o 7218
177.84/179.59	o 7213
178.13/179.89	o 7212
179.32/181.01	o 7209
179.62/181.30	o 7207
179.82/181.58	o 7205
180.11/181.87	o 7204
180.41/182.15	o 7198
181.01/182.70	o 7189
181.30/183.00	o 7188
181.60/183.31	o 7186
182.39/184.16	o 7184
182.69/184.48	o 7183
183.38/185.14	o 7181
183.68/185.49	o 7178
184.08/185.81	o 7175
184.37/186.16	o 7168
184.77/186.56	o 7165
185.07/186.90	o 7158
186.16/187.90	o 7151
186.75/188.55	o 7147
187.05/188.89	o 7138
187.45/189.27	o 7135
187.84/189.64	o 7129
188.14/189.95	o 7123
188.54/190.33	o 7121
188.93/190.71	o 7117
189.33/191.14	o 7109
189.72/191.55	o 7106
190.22/192.06	o 7099
190.62/192.49	o 7094
191.90/193.75	o 7090
192.40/194.21	o 7088
193.19/195.05	o 7082
193.59/195.45	o 7077
193.99/195.83	o 7074
194.28/196.19	o 7071
194.69/196.50	o 7069
194.99/196.80	o 7067
195.28/197.13	o 7066
195.58/197.48	o 7057
196.87/198.74	o 7049
197.17/199.02	o 7043
198.16/200.02	o 7040
198.84/200.74	o 7039
199.14/201.09	o 7030
199.54/201.46	o 7025
199.93/201.89	o 7017
200.33/202.26	o 7015
201.02/202.94	o 7014
201.42/203.32	o 7011
201.71/203.66	o 7009
203.50/205.47	o 7008
203.89/205.88	o 7005
204.39/206.30	o 7003
204.69/206.69	o 7002
206.46/208.42	o 6994
206.86/208.81	o 6987
208.05/210.03	o 6986
208.44/210.46	o 6985
209.04/211.00	o 6977
209.54/211.51	o 6973
209.94/211.99	o 6967
210.43/212.45	o 6966
210.93/212.93	o 6956
211.82/213.86	o 6954
212.32/214.35	o 6952
212.81/214.86	o 6950
213.31/215.36	o 6944
213.80/215.85	o 6935
215.29/217.36	o 6926
215.79/217.82	o 6922
216.18/218.29	o 6916
216.68/218.79	o 6909
217.17/219.29	o 6904
218.16/220.23	o 6899
218.65/220.70	o 6897
219.05/221.17	o 6890
219.54/221.64	o 6888
220.04/222.14	o 6885
220.53/222.69	o 6882
221.03/223.17	o 6871
221.52/223.65	o 6862
222.02/224.10	o 6861
222.52/224.68	o 6860
223.01/225.12	o 6852
223.41/225.54	o 6851
223.80/225.96	o 6846
224.30/226.49	o 6843
224.79/226.96	o 6841
225.29/227.44	o 6837
225.78/227.92	o 6834
226.28/228.42	o 6833
226.68/228.88	o 6821
227.17/229.38	o 6814
227.67/229.81	o 6813
228.16/230.33	o 6806
228.56/230.76	o 6797
228.95/231.18	o 6789
229.85/232.06	o 6787
231.23/233.40	o 6784
231.62/233.82	o 6781
232.02/234.28	o 6777
233.31/235.54	o 6767
233.70/235.95	o 6764
234.10/236.34	o 6760
234.50/236.72	o 6759
234.79/237.07	o 6757
235.20/237.42	o 6755
235.60/237.86	o 6751
235.99/238.24	o 6750
236.49/238.71	o 6749
236.88/239.10	o 6748
237.58/239.88	o 6745
237.97/240.25	o 6732
238.37/240.63	o 6727
238.67/241.00	o 6723
239.06/241.34	o 6717
239.36/241.66	o 6711
240.15/242.44	o 6707
240.45/242.79	o 6704
241.24/243.57	o 6698
242.13/244.47	o 6697
242.53/244.85	o 6695
242.83/245.19	o 6694
243.22/245.52	o 6684
243.52/245.85	o 6680
243.82/246.16	o 6675
244.12/246.47	o 6673
244.41/246.77	o 6672
245.80/248.12	o 6670
246.49/248.83	o 6663
246.89/249.21	o 6662
247.18/249.58	o 6660
247.67/250.05	o 6656
248.07/250.49	o 6655
248.47/250.89	o 6654
248.96/251.34	o 6653
249.36/251.77	o 6651
249.85/252.20	o 6650
250.25/252.63	o 6644
250.65/253.04	o 6643
251.44/253.89	o 6638
251.93/254.31	o 6629
252.33/254.77	o 6619
252.73/255.13	o 6617
253.12/255.51	o 6611
253.52/255.90	o 6607
253.82/256.26	o 6606
254.22/256.67	o 6601
254.62/257.02	o 6600
255.41/257.82	o 6599
255.71/258.20	o 6591
256.50/258.95	o 6590
257.29/259.78	o 6588
257.68/260.16	o 6579
258.08/260.56	o 6567
259.37/261.82	o 6553
259.76/262.21	o 6546
260.85/263.33	o 6542
261.25/263.72	o 6537
261.65/264.11	o 6527
262.84/265.31	o 6526
263.73/266.22	o 6523
264.52/267.08	o 6515
266.40/268.98	o 6514
266.90/269.48	o 6511
267.99/270.59	o 6508
268.58/271.11	o 6503
269.08/271.65	o 6501
269.66/272.23	o 6497
270.16/272.74	o 6487
272.25/274.85	o 6486
272.84/275.40	o 6474
274.33/276.99	o 6468
275.42/278.08	o 6459
276.01/278.66	o 6457
276.61/279.23	o 6454
277.80/280.46	o 6450
278.39/281.07	o 6442
279.58/282.30	o 6441
280.77/283.43	o 6440
281.27/283.99	o 6436
281.86/284.59	o 6433
282.55/285.24	o 6426
283.15/285.86	o 6423
283.74/286.47	o 6418
284.44/287.13	o 6414
285.03/287.78	o 6413
292.16/294.96	o 6409
292.76/295.58	o 6408
295.14/297.90	o 6405
296.23/299.09	o 6399
298.61/301.44	o 6394
299.10/302.00	o 6391
300.29/303.16	o 6390
300.88/303.74	o 6386
301.58/304.41	o 6382
304.54/307.40	o 6380
305.04/307.95	o 6369
306.24/309.11	o 6367
306.83/309.72	o 6364
307.42/310.36	o 6361
308.71/311.62	o 6354
309.31/312.28	o 6352
310.00/312.93	o 6350
310.60/313.57	o 6349
311.19/314.18	o 6346
311.88/314.82	o 6344
312.48/315.47	o 6330
313.07/316.06	o 6324
313.67/316.65	o 6321
314.26/317.25	o 6315
314.86/317.85	o 6312
315.45/318.45	o 6311
316.05/319.08	o 6308
316.64/319.67	o 6306
317.34/320.30	o 6305
318.52/321.54	o 6304
319.12/322.17	o 6303
319.81/322.83	o 6300
320.50/323.51	o 6296
321.20/324.26	o 6290
321.89/324.92	o 6285
322.68/325.72	o 6280
323.38/326.44	o 6274
324.07/327.13	o 6272
324.67/327.76	o 6266
325.36/328.47	o 6258
327.33/330.40	o 6254
327.83/330.97	o 6246
329.12/332.27	o 6238
329.81/332.93	o 6231
330.50/333.64	o 6229
331.10/334.27	o 6228
331.79/334.93	o 6221
332.39/335.55	o 6220
332.98/336.14	o 6213
334.17/337.35	o 6207
334.86/338.01	o 6204
335.46/338.64	o 6199
336.05/339.24	o 6194
337.24/340.44	o 6179
337.84/341.06	o 6175
338.43/341.66	o 6170
339.03/342.29	o 6166
341.02/344.24	o 6163
341.61/344.87	o 6157
342.30/345.50	o 6148
342.79/346.10	o 6144
344.08/347.33	o 6142
344.67/347.95	o 6141
345.27/348.56	o 6137
345.86/349.17	o 6133
346.56/349.83	o 6131
347.25/350.53	o 6130
349.73/353.01	o 6129
350.32/353.65	o 6126
350.92/354.27	o 6123
352.80/356.17	o 6118
353.49/356.84	o 6115
354.09/357.48	o 6110
354.68/358.09	o 6106
355.87/359.29	o 6099
356.56/359.98	o 6093
357.16/360.57	o 6090
357.86/361.26	o 6083
358.56/361.94	o 6077
359.15/362.57	o 6072
359.84/363.20	o 6068
360.83/364.28	o 6066
361.42/364.87	o 6059
362.02/365.46	o 6057
362.71/366.11	o 6055
363.30/366.79	o 6049
365.29/368.72	o 6044
366.47/369.96	o 6035
367.07/370.58	o 6026
367.66/371.20	o 6022
368.36/371.81	o 6021
368.95/372.42	o 6020
369.54/373.08	o 6019
370.74/374.27	o 6012
371.33/374.86	o 6011
371.93/375.44	o 6008
373.02/376.59	o 6003
374.21/377.75	o 5999
374.71/378.30	o 5998
377.01/380.60	o 5997
378.81/382.32	o 5996
379.41/382.93	o 5994
380.01/383.52	o 5992
380.61/384.13	o 5985
382.41/385.91	o 5984
383.71/387.26	o 5976
384.31/387.89	o 5973
385.01/388.53	o 5967
385.70/389.20	o 5961
386.40/389.92	o 5953
387.01/390.58	o 5946
387.70/391.27	o 5945
389.00/392.58	o 5941
389.70/393.29	o 5940
391.10/394.60	o 5937
392.40/395.96	o 5930
393.10/396.64	o 5929
393.80/397.31	o 5923
396.80/400.39	o 5922
397.40/400.98	o 5918
397.90/401.47	o 5916
398.49/402.07	o 5914
399.00/402.60	o 5913
399.59/403.16	o 5911
400.09/403.69	o 5910
400.69/404.24	o 5909
401.19/404.79	o 5908
401.79/405.33	o 5907
402.39/405.97	o 5903
403.50/407.08	o 5900
404.09/407.69	o 5894
404.69/408.28	o 5890
405.39/408.91	o 5887
405.99/409.51	o 5881
407.79/411.35	o 5874
408.39/411.93	o 5870
409.59/413.15	o 5861
410.19/413.74	o 5859
410.89/414.42	o 5858
411.49/415.01	o 5851
412.09/415.66	o 5841
412.68/416.29	o 5838
413.39/416.98	o 5830
413.98/417.55	o 5824
414.58/418.13	o 5823
415.18/418.76	o 5821
418.28/421.82	o 5816
418.89/422.41	o 5811
419.48/423.07	o 5807
420.68/424.27	o 5806
421.98/425.58	o 5804
422.58/426.19	o 5799
423.88/427.42	o 5797
424.48/428.01	o 5792
425.08/428.65	o 5790
426.28/429.81	o 5787
426.88/430.45	o 5781
427.48/431.02	o 5776
428.08/431.61	o 5773
428.68/432.21	o 5772
429.88/433.42	o 5768
430.47/434.07	o 5764
431.17/434.76	o 5763
431.87/435.41	o 5761
432.47/436.08	o 5758
433.18/436.74	o 5751
433.77/437.36	o 5750
434.47/438.03	o 5749
435.17/438.73	o 5747
435.87/439.41	o 5744
436.48/440.07	o 5741
437.17/440.73	o 5740
437.87/441.43	o 5738
438.57/442.13	o 5737
439.27/442.86	o 5732
446.67/450.20	o 5726
447.27/450.85	o 5724
447.97/451.52	o 5721
448.57/452.17	o 5717
451.77/455.31	o 5716
452.87/456.48	o 5715
453.57/457.10	o 5711
454.77/458.30	o 5710
455.36/458.91	o 5701
455.96/459.52	o 5697
456.56/460.14	o 5685
457.16/460.77	o 5683
457.76/461.38	o 5678
461.16/464.79	o 5675
461.77/465.35	o 5672
462.36/465.92	o 5668
462.86/466.48	o 5664
463.46/467.05	o 5660
464.06/467.62	o 5654
464.56/468.18	o 5652
465.16/468.76	o 5651
467.96/471.53	o 5648
468.46/472.06	o 5645
469.56/473.19	o 5644
470.66/474.28	o 5643
471.75/475.33	o 5642
472.25/475.88	o 5640
472.85/476.41	o 5636
473.35/476.95	o 5635
473.96/477.51	o 5630
474.46/478.08	o 5623
476.26/479.80	o 5621
478.46/482.06	o 5619
479.06/482.62	o 5614
479.66/483.20	o 5610
480.16/483.79	o 5608
480.76/484.38	o 5607
481.46/485.01	o 5602
482.06/485.60	o 5597
482.56/486.16	o 5593
483.16/486.74	o 5592
486.06/489.68	o 5590
486.66/490.26	o 5575
488.35/491.98	o 5572
488.95/492.56	o 5564
489.55/493.12	o 5560
490.05/493.69	o 5558
490.65/494.29	o 5553
491.25/494.89	o 5550
491.85/495.46	o 5547
492.45/496.06	o 5537
493.05/496.66	o 5535
493.65/497.25	o 5533
494.25/497.80	o 5528
494.75/498.39	o 5522
495.95/499.52	o 5519
496.55/500.13	o 5518
497.15/500.70	o 5514
497.65/501.28	o 5513
498.25/501.84	o 5510
500.44/504.00	o 5508
502.55/506.18	o 5507
503.15/506.73	o 5505
503.65/507.28	o 5500
504.25/507.85	o 5495
504.85/508.41	o 5493
505.94/509.51	o 5487
506.54/510.11	o 5481
507.64/511.27	o 5478
508.24/511.83	o 5476
509.34/512.96	o 5475
509.94/513.52	o 5474
511.04/514.67	o 5469
511.64/515.21	o 5465
512.14/515.80	o 5461
512.84/516.42	o 5460
513.54/517.11	o 5454
514.14/517.75	o 5448
515.34/518.95	o 5444
515.94/519.57	o 5441
516.54/520.20	o 5434
517.24/520.84	o 5431
517.84/521.46	o 5429
518.44/522.09	o 5428
519.14/522.73	o 5422
519.73/523.35	o 5419
520.33/523.99	o 5415
521.53/525.13	o 5411
522.14/525.74	o 5409
522.73/526.39	o 5405
524.03/527.69	o 5392
526.03/529.62	o 5388
526.63/530.29	o 5382
527.33/530.97	o 5376
528.03/531.65	o 5371
539.52/543.18	o 5365
540.22/543.89	o 5363
541.02/544.65	o 5361
541.72/545.38	o 5356
542.42/546.09	o 5350
543.22/546.84	o 5349
543.92/547.54	o 5344
546.13/549.75	o 5341
549.12/552.76	o 5338
550.83/554.42	o 5336
551.62/555.25	o 5327
553.22/556.88	o 5321
554.03/557.68	o 5318
554.82/558.48	o 5306
555.62/559.27	o 5304
558.02/561.64	o 5301
558.82/562.44	o 5296
559.62/563.27	o 5290
561.22/564.83	o 5282
562.72/566.34	o 5280
564.32/567.97	o 5279
565.92/569.54	o 5276
566.72/570.31	o 5273
567.41/571.08	o 5265
568.21/571.88	o 5259
569.01/572.69	o 5258
569.81/573.46	o 5253
570.62/574.28	o 5251
571.41/575.05	o 5250
572.21/575.86	o 5242
573.01/576.65	o 5233
573.81/577.46	o 5231
574.61/578.29	o 5222
575.41/579.05	o 5221
576.91/580.59	o 5219
577.71/581.38	o 5217
578.51/582.16	o 5216
580.90/584.56	o 5210
581.70/585.33	o 5205
582.50/586.11	o 5204
583.20/586.88	o 5203
584.00/587.65	o 5198
585.50/589.19	o 5197
586.30/589.97	o 5193
587.10/590.76	o 5184
587.80/591.49	o 5180
588.61/592.25	o 5179
589.41/593.03	o 5177
590.11/593.80	o 5175
590.91/594.53	o 5165
594.40/598.06	o 5162
600.20/603.84	o 5154
600.90/604.58	o 5153
601.60/605.29	o 5150
602.30/605.99	o 5144
603.10/606.70	o 5134
604.50/608.11	o 5133
605.20/608.81	o 5130
605.80/609.47	o 5127
606.50/610.18	o 5125
607.30/610.92	o 5118
608.00/611.66	o 5101
611.49/615.19	o 5096
612.30/615.96	o 5094
615.39/619.05	o 5091
616.19/619.85	o 5089
616.99/620.69	o 5085
617.80/621.50	o 5081
618.69/622.30	o 5079
620.29/623.93	o 5075
621.09/624.74	o 5072
621.89/625.54	o 5065
622.69/626.36	o 5064
624.39/628.04	o 5062
625.18/628.88	o 5051
626.08/629.75	o 5050
626.88/630.60	o 5047
627.79/631.46	o 5045
628.68/632.30	o 5041
629.58/633.20	o 5034
630.38/634.10	o 5029
631.28/634.97	o 5012
632.19/635.88	o 5001
633.08/636.75	o 4998
633.98/637.63	o 4993
634.88/638.52	o 4980
635.78/639.40	o 4978
636.58/640.27	o 4976
637.48/641.12	o 4971
638.28/641.97	o 4965
639.18/642.85	o 4964
640.08/643.71	o 4960
640.88/644.55	o 4959
641.78/645.45	o 4958
642.67/646.33	o 4954
643.47/647.17	o 4947
644.37/648.03	o 4944
646.07/649.79	o 4940
646.97/650.67	o 4926
647.77/651.49	o 4924
649.57/653.23	o 4922
650.47/654.14	o 4916
651.37/655.03	o 4913
652.17/655.90	o 4911
653.07/656.76	o 4910
653.97/657.65	o 4909
657.47/661.19	o 4903
661.87/665.52	o 4901
662.66/666.35	o 4893
665.97/669.63	o 4890
666.76/670.44	o 4887
667.56/671.24	o 4881
669.26/672.98	o 4879
690.65/694.35	o 4877
691.45/695.19	o 4875
693.15/696.82	o 4873
695.75/699.46	o 4870
698.45/702.13	o 4869
701.96/705.61	o 4867
702.76/706.48	o 4866
703.66/707.37	o 4865
704.55/708.24	o 4862
705.45/709.16	o 4859
707.25/710.94	o 4855
708.15/711.85	o 4853
710.05/713.70	o 4850
711.85/715.54	o 4846
712.75/716.42	o 4845
713.65/717.30	o 4841
714.45/718.16	o 4838
715.35/719.07	o 4834
716.25/719.93	o 4833
717.05/720.80	o 4830
718.84/722.57	o 4827
719.74/723.45	o 4824
720.64/724.35	o 4813
722.34/726.06	o 4811
723.24/726.95	o 4807
724.04/727.79	o 4804
725.84/729.54	o 4801
730.74/734.49	o 4798
732.44/736.20	o 4797
733.34/737.05	o 4795
734.14/737.82	o 4792
734.94/738.67	o 4791
743.14/746.84	o 4783
743.93/747.65	o 4782
744.73/748.46	o 4779
745.53/749.28	o 4776
746.33/750.08	o 4762
747.13/750.84	o 4752
749.53/753.22	o 4750
750.23/753.99	o 4744
751.12/754.80	o 4741
751.93/755.63	o 4735
752.72/756.45	o 4727
753.52/757.28	o 4726
754.32/758.07	o 4725
755.92/759.69	o 4723
756.72/760.49	o 4722
757.52/761.29	o 4719
759.22/762.90	o 4718
760.83/764.53	o 4717
761.62/765.37	o 4712
762.42/766.15	o 4710
763.22/766.97	o 4702
764.02/767.79	o 4699
764.91/768.61	o 4697
769.01/772.70	o 4694
769.71/773.46	o 4692
770.51/774.26	o 4688
771.41/775.10	o 4678
772.21/775.95	o 4674
774.02/777.70	o 4671
775.71/779.48	o 4667
777.51/781.29	o 4664
778.41/782.17	o 4662
779.31/783.05	o 4661
780.21/783.91	o 4660
781.11/784.80	o 4652
781.81/785.59	o 4646
782.61/786.30	o 4637
783.40/787.13	o 4635
784.20/787.94	o 4633
785.01/788.77	o 4629
785.80/789.58	o 4625
790.80/794.56	o 4624
792.61/796.31	o 4621
793.40/797.18	o 4618
794.20/797.96	o 4613
795.10/798.81	o 4612
795.90/799.66	o 4609
796.80/800.55	o 4604
797.70/801.44	o 4602
798.60/802.31	o 4600
799.40/803.17	o 4598
801.20/804.96	o 4597
802.10/805.84	o 4593
802.99/806.73	o 4590
803.90/807.63	o 4583
804.80/808.55	o 4574
805.70/809.42	o 4572
806.60/810.33	o 4569
808.39/812.11	o 4565
809.29/813.00	o 4563
810.09/813.89	o 4559
810.99/814.79	o 4553
811.99/815.71	o 4552
813.79/817.56	o 4551
814.79/818.50	o 4547
815.69/819.43	o 4537
816.59/820.38	o 4535
817.49/821.29	o 4534
818.49/822.21	o 4531
819.39/823.17	o 4528
820.39/824.13	o 4523
821.29/825.09	o 4522
822.29/826.04	o 4519
823.29/827.02	o 4517
824.19/827.97	o 4514
825.19/828.94	o 4509
826.09/829.89	o 4507
827.08/830.89	o 4505
828.99/832.80	o 4504
829.99/833.78	o 4502
830.98/834.71	o 4497
834.78/838.52	o 4494
836.58/840.33	o 4493
838.28/842.05	o 4489
839.28/843.06	o 4488
840.27/844.05	o 4485
841.27/845.04	o 4480
842.28/846.02	o 4477
843.28/847.05	o 4476
844.28/848.03	o 4472
845.27/849.02	o 4471
846.27/850.02	o 4467
849.17/852.98	o 4464
851.27/855.01	o 4463
852.27/856.08	o 4462
853.37/857.14	o 4460
854.47/858.20	o 4459
855.57/859.35	o 4457
856.66/860.40	o 4455
857.76/861.51	o 4452
858.76/862.55	o 4434
861.66/865.49	o 4432
868.36/872.12	o 4430
869.26/873.05	o 4425
870.26/874.04	o 4421
871.26/875.01	o 4420
872.16/875.99	o 4415
873.05/876.82	o 4411
874.95/878.73	o 4407
875.85/879.66	o 4403
876.75/880.59	o 4399
877.75/881.50	o 4398
878.46/882.23	o 4396
879.46/883.21	o 4394
880.35/884.18	o 4392
881.35/885.13	o 4391
882.25/886.10	o 4386
883.25/887.09	o 4384
884.25/888.05	o 4382
885.25/889.06	o 4381
886.26/890.08	o 4380
887.26/891.09	o 4378
888.26/892.10	o 4372
889.36/893.15	o 4367
892.35/896.15	o 4365
893.45/897.20	o 4363
894.45/898.24	o 4361
895.45/899.28	o 4357
896.65/900.42	o 4356
899.94/903.72	o 4352
901.04/904.87	o 4351
902.14/905.99	o 4348
903.24/907.07	o 4342
904.34/908.13	o 4340
905.44/909.23	o 4335
906.54/910.37	o 4333
907.74/911.57	o 4331
908.94/912.70	o 4330
910.04/913.84	o 4327
912.34/916.11	o 4325
913.44/917.22	o 4322
915.64/919.46	o 4318
916.73/920.56	o 4317
917.83/921.65	o 4313
920.14/923.91	o 4311
925.83/929.69	o 4306
927.13/930.92	o 4305
928.33/932.13	o 4304
929.43/933.29	o 4303
931.93/935.71	o 4300
935.63/939.47	o 4297
936.83/940.68	o 4281
938.03/941.84	o 4276
939.22/943.06	o 4275
940.42/944.22	o 4272
941.62/945.41	o 4270
942.82/946.67	o 4268
944.02/947.88	o 4264
945.22/949.08	o 4262
952.62/956.46	o 4259
955.02/958.88	o 4258
956.32/960.14	o 4254
957.52/961.39	o 4253
961.41/965.24	o 4250
962.71/966.53	o 4240
963.91/967.79	o 4233
966.51/970.35	o 4230
967.81/971.62	o 4227
968.91/972.76	o 4224
970.21/974.08	o 4223
971.51/975.38	o 4222
972.81/976.68	o 4215
975.51/979.38	o 4214
976.81/980.68	o 4211
978.21/982.02	o 4208
979.51/983.31	o 4207
980.81/984.64	o 4206
982.10/985.93	o 4202
983.41/987.25	o 4201
984.71/988.56	o 4199
985.71/989.57	o 4195
988.21/992.07	o 4192
989.21/993.00	o 4189
991.51/995.31	o 4185
993.91/997.78	o 4183
995.20/999.00	o 4181
996.40/1000.24	o 4180
1002.30/1006.16	o 4177
1003.50/1007.32	o 4172
1004.60/1008.49	o 4171
1005.80/1009.65	o 4167
1006.70/1010.57	o 4163
1009.10/1012.94	o 4159
1010.30/1014.15	o 4158
1011.50/1015.33	o 4155
1012.69/1016.52	o 4154
1013.89/1017.75	o 4149
1017.49/1021.33	o 4146
1018.69/1022.51	o 4144
1022.29/1026.10	o 4143
1023.49/1027.33	o 4142
1025.99/1029.87	o 4139
1028.58/1032.46	o 4133
1029.88/1033.77	o 4131
1031.18/1035.09	o 4129
1033.98/1037.80	o 4124
1035.28/1039.12	o 4120
1036.58/1040.45	o 4118
1037.88/1041.75	o 4117
1039.17/1043.04	o 4115
1040.47/1044.36	o 4113
1041.77/1045.64	o 4112
1043.07/1046.91	o 4111
1048.37/1052.22	o 4110
1049.67/1053.54	o 4108
1050.97/1054.84	o 4107
1052.27/1056.18	o 4102
1056.26/1060.18	o 4098
1057.68/1061.54	o 4088
1060.27/1064.16	o 4084
1061.57/1065.44	o 4083
1062.87/1066.76	o 4082
1064.17/1068.06	o 4076
1065.47/1069.32	o 4070
1066.77/1070.60	o 4066
1068.07/1071.94	o 4062
1070.67/1074.59	o 4060
1073.37/1077.24	o 4058
1074.76/1078.61	o 4053
1076.06/1079.98	o 4050
1077.47/1081.34	o 4048
1078.76/1082.69	o 4046
1080.16/1084.01	o 4044
1082.86/1086.76	o 4041
1084.16/1088.02	o 4027
1085.26/1089.15	o 4024
1087.95/1091.83	o 4022
1089.35/1093.21	o 4020
1090.66/1094.57	o 4018
1091.85/1095.72	o 4017
1097.05/1100.96	o 4015
1098.45/1102.32	o 4011
1099.85/1103.70	o 4009
1102.45/1106.36	o 4006
1105.15/1109.02	o 4003
1106.45/1110.37	o 4000
1107.85/1111.70	o 3998
1109.15/1113.03	o 3996
1111.85/1115.78	o 3993
1115.95/1119.85	o 3990
1118.75/1122.61	o 3989
1122.84/1126.70	o 3986
1124.14/1128.09	o 3982
1125.64/1129.52	o 3981
1127.04/1130.93	o 3979
1132.74/1136.65	o 3976
1153.93/1157.86	o 3972
1155.33/1159.26	o 3971
1156.83/1160.70	o 3962
1159.13/1163.02	o 3955
1160.43/1164.33	o 3951
1161.73/1165.67	o 3947
1163.03/1166.98	o 3941
1164.33/1168.25	o 3939
1165.62/1169.53	o 3938
1166.92/1170.82	o 3935
1168.22/1172.20	o 3933
1169.52/1173.43	o 3932
1170.82/1174.74	o 3929
1172.11/1176.07	o 3926
1173.41/1177.39	o 3923
1174.81/1178.76	o 3918
1176.21/1180.15	o 3916
1177.52/1181.48	o 3915
1178.91/1182.82	o 3913
1181.61/1185.54	o 3911
1182.92/1186.86	o 3908
1184.31/1188.23	o 3905
1187.01/1190.91	o 3900
1188.31/1192.26	o 3899
1189.61/1193.57	o 3893
1193.71/1197.68	o 3892
1195.11/1199.07	o 3890
1200.40/1204.36	o 3888
1202.91/1206.89	o 3886
1204.21/1208.14	o 3883
1205.51/1209.43	o 3881
1206.81/1210.73	o 3878
1209.50/1213.42	o 3877
1210.80/1214.71	o 3870
1212.10/1216.01	o 3868
1213.40/1217.32	o 3866
1214.70/1218.66	o 3862
1215.40/1219.37	o 3858
1216.70/1220.68	o 3857
1218.00/1221.98	o 3854
1219.40/1223.30	o 3853
1220.70/1224.62	o 3851
1222.10/1226.01	o 3840
1223.40/1227.33	o 3836
1224.70/1228.69	o 3835
1227.39/1231.33	o 3833
1228.69/1232.66	o 3831
1230.09/1234.00	o 3829
1231.39/1235.34	o 3823
1235.39/1239.37	o 3820
1236.79/1240.72	o 3819
1239.48/1243.41	o 3818
1240.78/1244.77	o 3814
1242.18/1246.10	o 3811
1246.18/1250.12	o 3810
1247.38/1251.37	o 3808
1249.88/1253.90	o 3804
1251.08/1255.05	o 3802
1252.48/1256.40	o 3799
1253.78/1257.73	o 3797
1256.47/1260.43	o 3796
1257.78/1261.74	o 3793
1259.07/1263.07	o 3789
1260.37/1264.36	o 3778
1261.67/1265.66	o 3777
1262.98/1266.93	o 3776
1264.28/1268.22	o 3773
1265.58/1269.54	o 3770
1266.87/1270.86	o 3768
1269.47/1273.48	o 3767
1272.17/1276.19	o 3764
1273.57/1277.55	o 3757
1274.87/1278.89	o 3755
1276.27/1280.24	o 3753
1277.57/1281.57	o 3751
1278.97/1282.93	o 3747
1280.27/1284.24	o 3742
1281.57/1285.55	o 3738
1296.06/1300.02	o 3737
1298.76/1302.71	o 3735
1301.45/1305.41	o 3733
1302.75/1306.74	o 3729
1303.75/1307.79	o 3728
1305.15/1309.14	o 3722
1306.55/1310.51	o 3715
1307.85/1311.87	o 3712
1310.64/1314.60	o 3710
1311.94/1315.98	o 3707
1313.04/1317.08	o 3705
1314.44/1318.48	o 3703
1315.84/1319.80	o 3699
1317.24/1321.20	o 3698
1318.64/1322.60	o 3695
1322.55/1326.52	o 3692
1323.85/1327.84	o 3691
1325.25/1329.23	o 3688
1326.65/1330.63	o 3685
1328.05/1332.03	o 3683
1329.44/1333.46	o 3682
1332.25/1336.24	o 3675
1333.65/1337.63	o 3674
1334.54/1338.51	o 3670
1335.94/1339.92	o 3668
1337.34/1341.36	o 3666
1338.74/1342.79	o 3665
1340.25/1344.23	o 3664
1341.64/1345.68	o 3663
1344.64/1348.61	o 3661
1349.13/1353.11	o 3660
1350.53/1354.55	o 3658
1351.93/1356.00	o 3656
1354.93/1358.94	o 3654
1356.43/1360.45	o 3642
1357.93/1361.92	o 3640
1359.43/1363.40	o 3637
1360.83/1364.89	o 3636
1362.33/1366.30	o 3635
1363.73/1367.70	o 3622
1365.03/1369.09	o 3620
1366.53/1370.56	o 3617
1367.92/1371.97	o 3616
1369.42/1373.40	o 3612
1373.32/1377.37	o 3610
1374.72/1378.73	o 3608
1380.11/1384.11	o 3605
1381.42/1385.48	o 3602
1382.81/1386.83	o 3600
1384.22/1388.22	o 3599
1385.61/1389.63	o 3598
1405.11/1409.11	o 3597
1406.50/1410.56	o 3590
1408.00/1412.01	o 3586
1410.90/1414.92	o 3582
1413.80/1417.88	o 3580
1415.40/1419.41	o 3579
1416.90/1420.93	o 3576
1421.39/1425.41	o 3575
1422.79/1426.88	o 3573
1424.29/1428.40	o 3569
1428.79/1432.81	o 3568
1430.30/1434.31	o 3567
1434.69/1438.78	o 3566
1436.19/1440.29	o 3565
1437.78/1441.81	o 3564
1440.78/1444.88	o 3557
1442.28/1446.36	o 3554
1443.78/1447.84	o 3551
1446.78/1450.85	o 3533
1448.28/1452.35	o 3531
1449.78/1453.83	o 3528
1452.69/1456.76	o 3527
1453.99/1458.06	o 3526
1459.88/1463.96	o 3525
1461.38/1465.43	o 3523
1462.88/1466.95	o 3516
1465.88/1469.95	o 3514
1470.38/1474.44	o 3513
1471.88/1475.96	o 3512
1473.38/1477.45	o 3511
1476.38/1480.47	o 3499
1477.68/1481.75	o 3497
1479.07/1483.11	o 3494
1480.47/1484.56	o 3493
1484.67/1488.75	o 3489
1487.47/1491.59	o 3487
1488.97/1493.07	o 3478
1493.27/1497.36	o 3476
1494.26/1498.35	o 3467
1495.76/1499.81	o 3466
1497.16/1501.25	o 3465
1502.76/1506.85	o 3463
1529.84/1533.93	o 3462
1531.14/1535.28	o 3450
1532.55/1536.65	o 3446
1533.84/1538.00	o 3444
1535.24/1539.34	o 3441
1546.04/1550.11	o 3439
1548.74/1552.83	o 3435
1551.54/1555.66	o 3433
1552.94/1557.04	o 3432
1554.34/1558.43	o 3429
1555.74/1559.85	o 3425
1557.14/1561.22	o 3423
1558.43/1562.57	o 3419
1564.03/1568.17	o 3418
1566.83/1570.93	o 3415
1568.23/1572.34	o 3414
1575.54/1579.61	o 3397
1576.93/1581.08	o 3395
1585.63/1589.75	o 3394
1587.13/1591.21	o 3393
1588.53/1592.69	o 3390
1593.03/1597.19	o 3389
1594.52/1598.67	o 3386
1596.02/1600.14	o 3383
1597.53/1601.62	o 3381
1598.42/1602.58	o 3376
1599.92/1604.05	o 3371
1602.82/1606.91	o 3370
1605.62/1609.76	o 3369
1607.02/1611.18	o 3365
1608.42/1612.59	o 3364
1609.91/1614.01	o 3362
1611.31/1615.44	o 3360
1614.11/1618.27	o 3358
1615.51/1619.68	o 3357
1617.01/1621.13	o 3355
1618.41/1622.54	o 3354
1619.80/1623.97	o 3351
1621.30/1625.43	o 3349
1628.60/1632.71	o 3346
1630.00/1634.15	o 3345
1633.00/1637.15	o 3343
1635.90/1640.04	o 3342
1637.30/1641.48	o 3339
1638.80/1642.93	o 3338
1640.20/1644.39	o 3323
1641.70/1645.84	o 3322
1643.19/1647.30	o 3321
1644.59/1648.75	o 3318
1648.99/1653.18	o 3314
1650.49/1654.66	o 3307
1651.99/1656.17	o 3306
1653.50/1657.64	o 3304
1658.00/1662.13	o 3299
1659.48/1663.61	o 3281
1660.88/1665.05	o 3280
1662.39/1666.52	o 3279
1663.78/1667.99	o 3278
1666.79/1670.96	o 3276
1668.28/1672.44	o 3273
1669.78/1673.92	o 3270
1671.28/1675.42	o 3266
1674.18/1678.30	o 3265
1675.58/1679.79	o 3263
1695.47/1699.65	o 3261
1702.57/1706.73	o 3260
1706.66/1710.82	o 3257
1715.47/1719.63	o 3256
1716.97/1721.17	o 3240
1718.57/1722.73	o 3238
1720.06/1724.26	o 3236
1721.16/1725.33	o 3233
1725.76/1729.91	o 3231
1727.17/1731.40	o 3230
1731.67/1735.88	o 3228
1733.06/1737.29	o 3225
1734.56/1738.76	o 3224
1736.07/1740.25	o 3217
1750.55/1754.79	o 3207
1752.05/1756.28	o 3203
1753.55/1757.71	o 3201
1754.95/1759.19	o 3200
1759.45/1763.66	o 3197
1760.95/1765.15	o 3196
1764.04/1768.21	o 3193
1765.54/1769.70	o 3189
1768.44/1772.69	o 3188
1769.94/1774.17	o 3184
1771.04/1775.28	o 3181
1774.24/1778.40	o 3178
1781.14/1785.37	o 3176
1811.52/1815.80	   
1811.52/1815.80	   search
1811.52/1815.80	     run=0  nbConstraintChecks=3847876870  nbAssignments=2265
1811.52/1815.80	       =>  wckTime=1800.338  cpuTime=1796.27  mem=73M67
1811.52/1815.80	   
1811.52/1815.80	   global
1811.52/1815.80	     nbConstraintChecks=3847876870  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
1811.52/1815.80	     solvingWckTime=1800.321  solvingCpuTime=1796.25  expiredTime=no  totalExploration=no  nbFoundSolutions=0
1811.52/1815.80	     globalCpuTime=1809.73
1811.52/1815.80	       =>  wckTime=1815.544  cpuTime=1809.68  mem=73M67
1811.52/1815.80	   
1811.52/1815.80	   solver DecomposerSolver being built... 
1818.42/1822.64	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-1112767-1215873715/watcher-1112767-1215873715 -o /tmp/evaluation-result-1112767-1215873715/solver-1112767-1215873715 -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-1112767-1215873715.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.90 3/73 15694
/proc/meminfo: memFree=1156168/2055920 swapFree=4192812/4192956
[pid=15694] ppid=15692 vsize=1616 CPUtime=0
/proc/15694/stat : 15694 (java) D 15692 15694 15485 0 -1 0 177 0 0 0 0 0 0 0 18 0 1 0 44070737 1654784 145 996147200 134512640 134550740 4294956128 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099937270 0 0 17 0 0 0
/proc/15694/statm: 404 145 119 9 0 46 0

[startup+0.0873381 s]
/proc/loadavg: 1.92 1.98 1.90 3/73 15694
/proc/meminfo: memFree=1156168/2055920 swapFree=4192812/4192956
[pid=15694] ppid=15692 vsize=865956 CPUtime=0.07
/proc/15694/stat : 15694 (java) S 15692 15694 15485 0 -1 0 3576 0 1 0 5 2 0 0 18 0 9 0 44070737 886738944 3066 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15694/statm: 216489 3066 1636 9 0 211051 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 865956

[startup+0.101335 s]
/proc/loadavg: 1.92 1.98 1.90 3/73 15694
/proc/meminfo: memFree=1156168/2055920 swapFree=4192812/4192956
[pid=15694] ppid=15692 vsize=865984 CPUtime=0.08
/proc/15694/stat : 15694 (java) S 15692 15694 15485 0 -1 0 3702 0 1 0 6 2 0 0 18 0 9 0 44070737 886767616 3175 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15694/statm: 216496 3175 1678 9 0 211051 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 865984

[startup+0.30137 s]
/proc/loadavg: 1.92 1.98 1.90 3/73 15694
/proc/meminfo: memFree=1156168/2055920 swapFree=4192812/4192956
[pid=15694] ppid=15692 vsize=866304 CPUtime=0.28
/proc/15694/stat : 15694 (java) S 15692 15694 15485 0 -1 0 5671 0 1 0 25 3 0 0 18 0 9 0 44070737 887095296 5069 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15694/statm: 216576 5069 1940 9 0 211104 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 866304

[startup+0.701405 s]
/proc/loadavg: 1.92 1.98 1.90 3/73 15694
/proc/meminfo: memFree=1156168/2055920 swapFree=4192812/4192956
[pid=15694] ppid=15692 vsize=866548 CPUtime=0.68
/proc/15694/stat : 15694 (java) S 15692 15694 15485 0 -1 0 7935 0 1 0 63 5 0 0 18 0 9 0 44070737 887345152 7306 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15694/statm: 216637 7306 1967 9 0 211165 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 866548

[startup+1.5025 s]
/proc/loadavg: 1.93 1.98 1.90 4/82 15703
/proc/meminfo: memFree=1112000/2055920 swapFree=4192812/4192956
[pid=15694] ppid=15692 vsize=867464 CPUtime=1.47
/proc/15694/stat : 15694 (java) S 15692 15694 15485 0 -1 0 22012 0 1 0 134 13 0 0 18 0 9 0 44070737 888283136 21348 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15694/statm: 216866 21348 2004 9 0 211394 0
[pid=15694/tid=15696] ppid=15692 vsize=867464 CPUtime=1.18
/proc/15694/task/15696/stat : 15696 (java) R 15692 15694 15485 0 -1 64 15778 0 1 0 109 9 0 0 25 0 9 0 44070738 888283136 21348 996147200 134512640 134550740 4294955952 18446744073709551615 4126603353 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15694/tid=15697] ppid=15692 vsize=867464 CPUtime=0.08
/proc/15694/task/15697/stat : 15697 (java) S 15692 15694 15485 0 -1 64 4941 0 0 0 6 2 0 0 16 0 9 0 44070739 888283136 21348 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15694/tid=15698] ppid=15692 vsize=867464 CPUtime=0
/proc/15694/task/15698/stat : 15698 (java) S 15692 15694 15485 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44070740 888283136 21348 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15694/tid=15699] ppid=15692 vsize=867464 CPUtime=0
/proc/15694/task/15699/stat : 15699 (java) S 15692 15694 15485 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44070740 888283136 21348 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15694/tid=15700] ppid=15692 vsize=867464 CPUtime=0
/proc/15694/task/15700/stat : 15700 (java) S 15692 15694 15485 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44070742 888283136 21348 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15694/tid=15701] ppid=15692 vsize=867464 CPUtime=0.18
/proc/15694/task/15701/stat : 15701 (java) S 15692 15694 15485 0 -1 64 597 0 0 0 18 0 0 0 16 0 9 0 44070742 888283136 21348 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15694/tid=15702] ppid=15692 vsize=867464 CPUtime=0
/proc/15694/task/15702/stat : 15702 (java) S 15692 15694 15485 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44070742 888283136 21348 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15694/tid=15703] ppid=15692 vsize=867464 CPUtime=0
/proc/15694/task/15703/stat : 15703 (java) R 15692 15694 15485 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44070742 888283136 21348 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 867464

[startup+3.10267 s]
/proc/loadavg: 1.93 1.98 1.90 3/82 15703
/proc/meminfo: memFree=1077696/2055920 swapFree=4192812/4192956
[pid=15694] ppid=15692 vsize=867464 CPUtime=3.06
/proc/15694/stat : 15694 (java) S 15692 15694 15485 0 -1 0 25391 0 1 0 290 16 0 0 18 0 9 0 44070737 888283136 24724 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15694/statm: 216866 24724 2006 9 0 211394 0
[pid=15694/tid=15696] ppid=15692 vsize=867464 CPUtime=2.63
/proc/15694/task/15696/stat : 15696 (java) R 15692 15694 15485 0 -1 64 15813 0 1 0 253 10 0 0 25 0 9 0 44070738 888283136 24724 996147200 134512640 134550740 4294955952 18446744073709551615 4126899309 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15694/tid=15697] ppid=15692 vsize=867464 CPUtime=0.19
/proc/15694/task/15697/stat : 15697 (java) S 15692 15694 15485 0 -1 64 8274 0 0 0 16 3 0 0 17 0 9 0 44070739 888283136 24724 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15694/tid=15698] ppid=15692 vsize=867464 CPUtime=0
/proc/15694/task/15698/stat : 15698 (java) S 15692 15694 15485 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44070740 888283136 24724 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15694/tid=15699] ppid=15692 vsize=867464 CPUtime=0
/proc/15694/task/15699/stat : 15699 (java) S 15692 15694 15485 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44070740 888283136 24724 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15694/tid=15700] ppid=15692 vsize=867464 CPUtime=0
/proc/15694/task/15700/stat : 15700 (java) S 15692 15694 15485 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44070742 888283136 24724 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15694/tid=15701] ppid=15692 vsize=867464 CPUtime=0.19
/proc/15694/task/15701/stat : 15701 (java) S 15692 15694 15485 0 -1 64 608 0 0 0 19 0 0 0 16 0 9 0 44070742 888283136 24724 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15694/tid=15702] ppid=15692 vsize=867464 CPUtime=0
/proc/15694/task/15702/stat : 15702 (java) S 15692 15694 15485 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44070742 888283136 24724 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15694/tid=15703] ppid=15692 vsize=867464 CPUtime=0
/proc/15694/task/15703/stat : 15703 (java) S 15692 15694 15485 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44070742 888283136 24724 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 867464

[startup+6.30104 s]
/proc/loadavg: 1.93 1.98 1.90 4/82 15703
/proc/meminfo: memFree=1063552/2055920 swapFree=4192812/4192956
[pid=15694] ppid=15692 vsize=867464 CPUtime=6.22
/proc/15694/stat : 15694 (java) S 15692 15694 15485 0 -1 0 27399 0 1 0 605 17 0 0 18 0 9 0 44070737 888283136 26728 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15694/statm: 216866 26728 2006 9 0 211394 0
[pid=15694/tid=15696] ppid=15692 vsize=867464 CPUtime=5.66
/proc/15694/task/15696/stat : 15696 (java) R 15692 15694 15485 0 -1 64 15820 0 1 0 555 11 0 0 25 0 9 0 44070738 888283136 26728 996147200 134512640 134550740 4294955952 18446744073709551615 4126897648 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15694/tid=15697] ppid=15692 vsize=867464 CPUtime=0.34
/proc/15694/task/15697/stat : 15697 (java) S 15692 15694 15485 0 -1 64 10268 0 0 0 29 5 0 0 17 0 9 0 44070739 888283136 26728 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15694/tid=15698] ppid=15692 vsize=867464 CPUtime=0
/proc/15694/task/15698/stat : 15698 (java) S 15692 15694 15485 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44070740 888283136 26728 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15694/tid=15699] ppid=15692 vsize=867464 CPUtime=0
/proc/15694/task/15699/stat : 15699 (java) S 15692 15694 15485 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44070740 888283136 26728 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15694/tid=15700] ppid=15692 vsize=867464 CPUtime=0
/proc/15694/task/15700/stat : 15700 (java) S 15692 15694 15485 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44070742 888283136 26728 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15694/tid=15701] ppid=15692 vsize=867464 CPUtime=0.21
/proc/15694/task/15701/stat : 15701 (java) S 15692 15694 15485 0 -1 64 615 0 0 0 21 0 0 0 16 0 9 0 44070742 888283136 26728 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15694/tid=15702] ppid=15692 vsize=867464 CPUtime=0
/proc/15694/task/15702/stat : 15702 (java) S 15692 15694 15485 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44070742 888283136 26728 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15694/tid=15703] ppid=15692 vsize=867464 CPUtime=0
/proc/15694/task/15703/stat : 15703 (java) S 15692 15694 15485 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44070742 888283136 26728 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 867464

[startup+12.7018 s]
/proc/loadavg: 1.94 1.98 1.91 3/82 15703
/proc/meminfo: memFree=1049280/2055920 swapFree=4192812/4192956
[pid=15694] ppid=15692 vsize=867464 CPUtime=12.57
/proc/15694/stat : 15694 (java) S 15692 15694 15485 0 -1 0 28942 0 1 0 1239 18 0 0 18 0 9 0 44070737 888283136 28267 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15694/statm: 216866 28267 2007 9 0 211394 0
[pid=15694/tid=15696] ppid=15692 vsize=867464 CPUtime=11.82
/proc/15694/task/15696/stat : 15696 (java) R 15692 15694 15485 0 -1 64 15826 0 1 0 1171 11 0 0 25 0 9 0 44070738 888283136 28267 996147200 134512640 134550740 4294955952 18446744073709551615 4126579453 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15694/tid=15697] ppid=15692 vsize=867464 CPUtime=0.44
/proc/15694/task/15697/stat : 15697 (java) S 15692 15694 15485 0 -1 64 11760 0 0 0 39 5 0 0 17 0 9 0 44070739 888283136 28267 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15694/tid=15698] ppid=15692 vsize=867464 CPUtime=0
/proc/15694/task/15698/stat : 15698 (java) S 15692 15694 15485 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44070740 888283136 28267 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15694/tid=15699] ppid=15692 vsize=867464 CPUtime=0
/proc/15694/task/15699/stat : 15699 (java) S 15692 15694 15485 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44070740 888283136 28267 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15694/tid=15700] ppid=15692 vsize=867464 CPUtime=0
/proc/15694/task/15700/stat : 15700 (java) S 15692 15694 15485 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44070742 888283136 28267 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15694/tid=15701] ppid=15692 vsize=867464 CPUtime=0.27
/proc/15694/task/15701/stat : 15701 (java) S 15692 15694 15485 0 -1 64 660 0 0 0 27 0 0 0 15 0 9 0 44070742 888283136 28267 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15694/tid=15702] ppid=15692 vsize=867464 CPUtime=0
/proc/15694/task/15702/stat : 15702 (java) S 15692 15694 15485 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44070742 888283136 28267 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15694/tid=15703] ppid=15692 vsize=867464 CPUtime=0
/proc/15694/task/15703/stat : 15703 (java) S 15692 15694 15485 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44070742 888283136 28267 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 867464

[startup+25.5022 s]
/proc/loadavg: 1.95 1.98 1.91 3/82 15703
/proc/meminfo: memFree=1017984/2055920 swapFree=4192812/4192956
[pid=15694] ppid=15692 vsize=867552 CPUtime=25.25
/proc/15694/stat : 15694 (java) S 15692 15694 15485 0 -1 0 37449 0 1 0 2502 23 0 0 18 0 9 0 44070737 888373248 36515 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15694/statm: 216888 36515 2640 9 0 211394 0
[pid=15694/tid=15696] ppid=15692 vsize=867552 CPUtime=23.56
/proc/15694/task/15696/stat : 15696 (java) R 15692 15694 15485 0 -1 64 15896 0 1 0 2344 12 0 0 25 0 9 0 44070738 888373248 36515 996147200 134512640 134550740 4294955952 18446744073709551615 4127216380 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15694/tid=15697] ppid=15692 vsize=867552 CPUtime=1.33
/proc/15694/task/15697/stat : 15697 (java) S 15692 15694 15485 0 -1 64 20171 0 0 0 125 8 0 0 16 0 9 0 44070739 888373248 36515 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15694/tid=15698] ppid=15692 vsize=867552 CPUtime=0
/proc/15694/task/15698/stat : 15698 (java) S 15692 15694 15485 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44070740 888373248 36515 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15694/tid=15699] ppid=15692 vsize=867552 CPUtime=0
/proc/15694/task/15699/stat : 15699 (java) S 15692 15694 15485 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44070740 888373248 36515 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15694/tid=15700] ppid=15692 vsize=867552 CPUtime=0
/proc/15694/task/15700/stat : 15700 (java) S 15692 15694 15485 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44070742 888373248 36515 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15694/tid=15701] ppid=15692 vsize=867552 CPUtime=0.32
/proc/15694/task/15701/stat : 15701 (java) S 15692 15694 15485 0 -1 64 686 0 0 0 32 0 0 0 16 0 9 0 44070742 888373248 36515 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15694/tid=15702] ppid=15692 vsize=867552 CPUtime=0
/proc/15694/task/15702/stat : 15702 (java) S 15692 15694 15485 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44070742 888373248 36515 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15694/tid=15703] ppid=15692 vsize=867552 CPUtime=0
/proc/15694/task/15703/stat : 15703 (java) S 15692 15694 15485 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44070742 888373248 36515 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.25
Current children cumulated vsize (KiB) 867552

[startup+51.1012 s]
/proc/loadavg: 1.96 1.98 1.91 3/82 15703
/proc/meminfo: memFree=1016384/2055920 swapFree=4192812/4192956
[pid=15694] ppid=15692 vsize=867552 CPUtime=50.6
/proc/15694/stat : 15694 (java) S 15692 15694 15485 0 -1 0 37449 0 1 0 5036 24 0 0 18 0 9 0 44070737 888373248 36515 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15694/statm: 216888 36515 2640 9 0 211394 0
[pid=15694/tid=15696] ppid=15692 vsize=867552 CPUtime=48.92
/proc/15694/task/15696/stat : 15696 (java) R 15692 15694 15485 0 -1 64 15896 0 1 0 4878 14 0 0 25 0 9 0 44070738 888373248 36515 996147200 134512640 134550740 4294955952 18446744073709551615 4126893288 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15694/tid=15697] ppid=15692 vsize=867552 CPUtime=1.33
/proc/15694/task/15697/stat : 15697 (java) S 15692 15694 15485 0 -1 64 20171 0 0 0 125 8 0 0 16 0 9 0 44070739 888373248 36515 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15694/tid=15698] ppid=15692 vsize=867552 CPUtime=0
/proc/15694/task/15698/stat : 15698 (java) S 15692 15694 15485 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44070740 888373248 36515 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15694/tid=15699] ppid=15692 vsize=867552 CPUtime=0
/proc/15694/task/15699/stat : 15699 (java) S 15692 15694 15485 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44070740 888373248 36515 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15694/tid=15700] ppid=15692 vsize=867552 CPUtime=0
/proc/15694/task/15700/stat : 15700 (java) S 15692 15694 15485 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44070742 888373248 36515 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15694/tid=15701] ppid=15692 vsize=867552 CPUtime=0.32
/proc/15694/task/15701/stat : 15701 (java) S 15692 15694 15485 0 -1 64 686 0 0 0 32 0 0 0 16 0 9 0 44070742 888373248 36515 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15694/tid=15702] ppid=15692 vsize=867552 CPUtime=0

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

/proc/15694/task/15699/stat : 15699 (java) S 15692 15694 15485 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44070740 888373248 36529 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15694/tid=15700] ppid=15692 vsize=867552 CPUtime=0
/proc/15694/task/15700/stat : 15700 (java) S 15692 15694 15485 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44070742 888373248 36529 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15694/tid=15701] ppid=15692 vsize=867552 CPUtime=0.35
/proc/15694/task/15701/stat : 15701 (java) S 15692 15694 15485 0 -1 64 698 0 0 0 35 0 0 0 16 0 9 0 44070742 888373248 36529 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15694/tid=15702] ppid=15692 vsize=867552 CPUtime=0
/proc/15694/task/15702/stat : 15702 (java) S 15692 15694 15485 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44070742 888373248 36529 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15694/tid=15703] ppid=15692 vsize=867552 CPUtime=0
/proc/15694/task/15703/stat : 15703 (java) S 15692 15694 15485 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44070742 888373248 36529 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1787.74
Current children cumulated vsize (KiB) 867552

[startup+1804.7 s]
/proc/loadavg: 2.00 2.00 1.94 3/90 15758
/proc/meminfo: memFree=1037880/2055920 swapFree=4192812/4192956
[pid=15694] ppid=15692 vsize=867552 CPUtime=1800.53
/proc/15694/stat : 15694 (java) S 15692 15694 15485 0 -1 0 37465 0 1 0 179993 60 0 0 18 0 9 0 44070737 888373248 36529 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15694/statm: 216888 36529 2640 9 0 211394 0
[pid=15694/tid=15696] ppid=15692 vsize=867552 CPUtime=1798.79
/proc/15694/task/15696/stat : 15696 (java) R 15692 15694 15485 0 -1 64 15900 0 1 0 179830 49 0 0 25 0 9 0 44070738 888373248 36529 996147200 134512640 134550740 4294955952 18446744073709551615 4126896179 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15694/tid=15697] ppid=15692 vsize=867552 CPUtime=1.33
/proc/15694/task/15697/stat : 15697 (java) S 15692 15694 15485 0 -1 64 20171 0 0 0 125 8 0 0 16 0 9 0 44070739 888373248 36529 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15694/tid=15698] ppid=15692 vsize=867552 CPUtime=0
/proc/15694/task/15698/stat : 15698 (java) S 15692 15694 15485 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44070740 888373248 36529 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15694/tid=15699] ppid=15692 vsize=867552 CPUtime=0
/proc/15694/task/15699/stat : 15699 (java) S 15692 15694 15485 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44070740 888373248 36529 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15694/tid=15700] ppid=15692 vsize=867552 CPUtime=0
/proc/15694/task/15700/stat : 15700 (java) S 15692 15694 15485 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44070742 888373248 36529 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15694/tid=15701] ppid=15692 vsize=867552 CPUtime=0.35
/proc/15694/task/15701/stat : 15701 (java) S 15692 15694 15485 0 -1 64 698 0 0 0 35 0 0 0 16 0 9 0 44070742 888373248 36529 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15694/tid=15702] ppid=15692 vsize=867552 CPUtime=0
/proc/15694/task/15702/stat : 15702 (java) S 15692 15694 15485 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44070742 888373248 36529 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15694/tid=15703] ppid=15692 vsize=867552 CPUtime=0
/proc/15694/task/15703/stat : 15703 (java) S 15692 15694 15485 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44070742 888373248 36529 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.53
Current children cumulated vsize (KiB) 867552

[startup+1811.1 s]
/proc/loadavg: 2.00 2.00 1.94 3/90 15758
/proc/meminfo: memFree=1037880/2055920 swapFree=4192812/4192956
[pid=15694] ppid=15692 vsize=867552 CPUtime=1806.92
/proc/15694/stat : 15694 (java) S 15692 15694 15485 0 -1 0 37465 0 1 0 180632 60 0 0 18 0 9 0 44070737 888373248 36529 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15694/statm: 216888 36529 2640 9 0 211394 0
[pid=15694/tid=15696] ppid=15692 vsize=867552 CPUtime=1805.19
/proc/15694/task/15696/stat : 15696 (java) R 15692 15694 15485 0 -1 64 15900 0 1 0 180470 49 0 0 25 0 9 0 44070738 888373248 36529 996147200 134512640 134550740 4294955952 18446744073709551615 4127043842 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15694/tid=15697] ppid=15692 vsize=867552 CPUtime=1.33
/proc/15694/task/15697/stat : 15697 (java) S 15692 15694 15485 0 -1 64 20171 0 0 0 125 8 0 0 16 0 9 0 44070739 888373248 36529 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15694/tid=15698] ppid=15692 vsize=867552 CPUtime=0
/proc/15694/task/15698/stat : 15698 (java) S 15692 15694 15485 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44070740 888373248 36529 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15694/tid=15699] ppid=15692 vsize=867552 CPUtime=0
/proc/15694/task/15699/stat : 15699 (java) S 15692 15694 15485 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44070740 888373248 36529 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15694/tid=15700] ppid=15692 vsize=867552 CPUtime=0
/proc/15694/task/15700/stat : 15700 (java) S 15692 15694 15485 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44070742 888373248 36529 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15694/tid=15701] ppid=15692 vsize=867552 CPUtime=0.35
/proc/15694/task/15701/stat : 15701 (java) S 15692 15694 15485 0 -1 64 698 0 0 0 35 0 0 0 16 0 9 0 44070742 888373248 36529 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15694/tid=15702] ppid=15692 vsize=867552 CPUtime=0
/proc/15694/task/15702/stat : 15702 (java) S 15692 15694 15485 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44070742 888373248 36529 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15694/tid=15703] ppid=15692 vsize=867552 CPUtime=0
/proc/15694/task/15703/stat : 15703 (java) S 15692 15694 15485 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44070742 888373248 36529 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1806.92
Current children cumulated vsize (KiB) 867552

[startup+1817.5 s]
/proc/loadavg: 2.00 2.00 1.94 3/90 15758
/proc/meminfo: memFree=760888/2055920 swapFree=4192812/4192956
[pid=15694] ppid=15692 vsize=867464 CPUtime=1813.32
/proc/15694/stat : 15694 (java) S 15692 15694 15485 0 -1 0 142182 0 1 0 181230 102 0 0 18 0 9 0 44070737 888283136 141170 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15694/statm: 216866 141170 2619 9 0 211394 0
[pid=15694/tid=15696] ppid=15692 vsize=867464 CPUtime=1810.65
/proc/15694/task/15696/stat : 15696 (java) R 15692 15694 15485 0 -1 64 15985 0 1 0 181015 50 0 0 25 0 9 0 44070738 888283136 141170 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15694/tid=15697] ppid=15692 vsize=867464 CPUtime=2.22
/proc/15694/task/15697/stat : 15697 (java) R 15692 15694 15485 0 -1 64 124755 0 0 0 173 49 0 0 15 0 9 0 44070739 888283136 141170 996147200 134512640 134550740 4294955952 18446744073709551615 102516781 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=15694/tid=15698] ppid=15692 vsize=867464 CPUtime=0
/proc/15694/task/15698/stat : 15698 (java) S 15692 15694 15485 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44070740 888283136 141170 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15694/tid=15699] ppid=15692 vsize=867464 CPUtime=0
/proc/15694/task/15699/stat : 15699 (java) S 15692 15694 15485 0 -1 64 23 0 0 0 0 0 0 0 15 0 9 0 44070740 888283136 141170 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15694/tid=15700] ppid=15692 vsize=867464 CPUtime=0
/proc/15694/task/15700/stat : 15700 (java) S 15692 15694 15485 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44070742 888283136 141170 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15694/tid=15701] ppid=15692 vsize=867464 CPUtime=0.4
/proc/15694/task/15701/stat : 15701 (java) S 15692 15694 15485 0 -1 64 728 0 0 0 40 0 0 0 15 0 9 0 44070742 888283136 141170 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15694/tid=15702] ppid=15692 vsize=867464 CPUtime=0
/proc/15694/task/15702/stat : 15702 (java) S 15692 15694 15485 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44070742 888283136 141170 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15694/tid=15703] ppid=15692 vsize=867464 CPUtime=0
/proc/15694/task/15703/stat : 15703 (java) R 15692 15694 15485 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44070742 888283136 141170 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1813.32
Current children cumulated vsize (KiB) 867464

[startup+1820.7 s]
/proc/loadavg: 2.00 2.00 1.94 4/90 15758
/proc/meminfo: memFree=384696/2055920 swapFree=4192812/4192956
[pid=15694] ppid=15692 vsize=867716 CPUtime=1816.52
/proc/15694/stat : 15694 (java) S 15692 15694 15485 0 -1 0 200722 0 1 0 181526 126 0 0 18 0 9 0 44070737 888541184 199513 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15694/statm: 216929 199513 2618 9 0 211457 0
[pid=15694/tid=15696] ppid=15692 vsize=867716 CPUtime=1810.84
/proc/15694/task/15696/stat : 15696 (java) R 15692 15694 15485 0 -1 64 15992 0 1 0 181034 50 0 0 24 0 9 0 44070738 888541184 199513 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15694/tid=15697] ppid=15692 vsize=867716 CPUtime=5.24
/proc/15694/task/15697/stat : 15697 (java) R 15692 15694 15485 0 -1 64 183288 0 0 0 450 74 0 0 18 0 9 0 44070739 888541184 199513 996147200 134512640 134550740 4294955952 18446744073709551615 103736777 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=15694/tid=15698] ppid=15692 vsize=867716 CPUtime=0
/proc/15694/task/15698/stat : 15698 (java) S 15692 15694 15485 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44070740 888541184 199513 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15694/tid=15699] ppid=15692 vsize=867716 CPUtime=0
/proc/15694/task/15699/stat : 15699 (java) S 15692 15694 15485 0 -1 64 23 0 0 0 0 0 0 0 16 0 9 0 44070740 888541184 199513 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15694/tid=15700] ppid=15692 vsize=867716 CPUtime=0
/proc/15694/task/15700/stat : 15700 (java) S 15692 15694 15485 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44070742 888541184 199513 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15694/tid=15701] ppid=15692 vsize=867716 CPUtime=0.4
/proc/15694/task/15701/stat : 15701 (java) S 15692 15694 15485 0 -1 64 728 0 0 0 40 0 0 0 15 0 9 0 44070742 888541184 199513 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15694/tid=15702] ppid=15692 vsize=867716 CPUtime=0
/proc/15694/task/15702/stat : 15702 (java) S 15692 15694 15485 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44070742 888541184 199513 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15694/tid=15703] ppid=15692 vsize=867716 CPUtime=0
/proc/15694/task/15703/stat : 15703 (java) S 15692 15694 15485 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44070742 888541184 199513 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1816.52
Current children cumulated vsize (KiB) 867716

[startup+1821.5 s]
/proc/loadavg: 2.08 2.02 1.94 3/90 15758
/proc/meminfo: memFree=384632/2055920 swapFree=4192812/4192956
[pid=15694] ppid=15692 vsize=867716 CPUtime=1817.32
/proc/15694/stat : 15694 (java) S 15692 15694 15485 0 -1 0 200849 0 1 0 181606 126 0 0 18 0 9 0 44070737 888541184 199513 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15694/statm: 216929 199513 2618 9 0 211457 0
[pid=15694/tid=15696] ppid=15692 vsize=867716 CPUtime=1810.84
/proc/15694/task/15696/stat : 15696 (java) S 15692 15694 15485 0 -1 64 15993 0 1 0 181034 50 0 0 24 0 9 0 44070738 888541184 199513 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15694/tid=15697] ppid=15692 vsize=867716 CPUtime=6.04
/proc/15694/task/15697/stat : 15697 (java) R 15692 15694 15485 0 -1 64 183414 0 0 0 530 74 0 0 19 0 9 0 44070739 888541184 199513 996147200 134512640 134550740 4294955952 18446744073709551615 102535948 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=15694/tid=15698] ppid=15692 vsize=867716 CPUtime=0
/proc/15694/task/15698/stat : 15698 (java) S 15692 15694 15485 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44070740 888541184 199513 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15694/tid=15699] ppid=15692 vsize=867716 CPUtime=0
/proc/15694/task/15699/stat : 15699 (java) S 15692 15694 15485 0 -1 64 23 0 0 0 0 0 0 0 16 0 9 0 44070740 888541184 199513 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15694/tid=15700] ppid=15692 vsize=867716 CPUtime=0
/proc/15694/task/15700/stat : 15700 (java) S 15692 15694 15485 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44070742 888541184 199513 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15694/tid=15701] ppid=15692 vsize=867716 CPUtime=0.4
/proc/15694/task/15701/stat : 15701 (java) S 15692 15694 15485 0 -1 64 728 0 0 0 40 0 0 0 15 0 9 0 44070742 888541184 199513 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15694/tid=15702] ppid=15692 vsize=867716 CPUtime=0
/proc/15694/task/15702/stat : 15702 (java) S 15692 15694 15485 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44070742 888541184 199513 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15694/tid=15703] ppid=15692 vsize=867716 CPUtime=0
/proc/15694/task/15703/stat : 15703 (java) S 15692 15694 15485 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44070742 888541184 199513 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1817.32
Current children cumulated vsize (KiB) 867716

[startup+1822.3 s]
/proc/loadavg: 2.08 2.02 1.94 3/90 15758
/proc/meminfo: memFree=384632/2055920 swapFree=4192812/4192956
[pid=15694] ppid=15692 vsize=867716 CPUtime=1818.12
/proc/15694/stat : 15694 (java) S 15692 15694 15485 0 -1 0 200849 0 1 0 181686 126 0 0 18 0 9 0 44070737 888541184 199513 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15694/statm: 216929 199513 2618 9 0 211457 0
[pid=15694/tid=15696] ppid=15692 vsize=867716 CPUtime=1810.84
/proc/15694/task/15696/stat : 15696 (java) S 15692 15694 15485 0 -1 64 15993 0 1 0 181034 50 0 0 24 0 9 0 44070738 888541184 199513 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15694/tid=15697] ppid=15692 vsize=867716 CPUtime=6.84
/proc/15694/task/15697/stat : 15697 (java) R 15692 15694 15485 0 -1 64 183414 0 0 0 610 74 0 0 21 0 9 0 44070739 888541184 199513 996147200 134512640 134550740 4294955952 18446744073709551615 104182546 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=15694/tid=15698] ppid=15692 vsize=867716 CPUtime=0
/proc/15694/task/15698/stat : 15698 (java) S 15692 15694 15485 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44070740 888541184 199513 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15694/tid=15699] ppid=15692 vsize=867716 CPUtime=0
/proc/15694/task/15699/stat : 15699 (java) S 15692 15694 15485 0 -1 64 23 0 0 0 0 0 0 0 16 0 9 0 44070740 888541184 199513 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15694/tid=15700] ppid=15692 vsize=867716 CPUtime=0
/proc/15694/task/15700/stat : 15700 (java) S 15692 15694 15485 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44070742 888541184 199513 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15694/tid=15701] ppid=15692 vsize=867716 CPUtime=0.4
/proc/15694/task/15701/stat : 15701 (java) S 15692 15694 15485 0 -1 64 728 0 0 0 40 0 0 0 15 0 9 0 44070742 888541184 199513 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15694/tid=15702] ppid=15692 vsize=867716 CPUtime=0
/proc/15694/task/15702/stat : 15702 (java) S 15692 15694 15485 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44070742 888541184 199513 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15694/tid=15703] ppid=15692 vsize=867716 CPUtime=0
/proc/15694/task/15703/stat : 15703 (java) S 15692 15694 15485 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44070742 888541184 199513 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1818.12
Current children cumulated vsize (KiB) 867716

[startup+1822.71 s]
/proc/loadavg: 2.08 2.02 1.94 3/90 15758
/proc/meminfo: memFree=384632/2055920 swapFree=4192812/4192956
[pid=15694] ppid=15692 vsize=0 CPUtime=1818.51
/proc/15694/stat : 15694 (java) Z 15692 15694 15485 0 -1 12 200920 0 1 0 181720 131 0 0 16 0 2 0 44070737 0 0 996147200 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15694/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1818.51
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1822.77
CPU time (s): 1818.59
CPU user time (s): 1817.2
CPU system time (s): 1.38079
CPU usage (%): 99.7703
Max. virtual memory (cumulated for all children) (KiB): 867716

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1817.2
system time used= 1.38079
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 200920
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= 38800
involuntary context switches= 54398

runsolver used 2.06469 second user time and 6.43902 second system time

The end

Launcher Data (download as text)

Begin job on node62 at 2008-07-12 16:41:56
IDJOB=1112767
IDBENCH=61471
IDSOLVER=359
FILE ID=node62/1112767-1215873715
PBS_JOBID= 7903560
Free space on /tmp= 65036 MiB

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

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= 9a4e6098c7014d2e43e37229a7ed8846
RANDOM SEED=1443389665

node62.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.232
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.232
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:       1156648 kB
Buffers:          4924 kB
Cached:         266940 kB
SwapCached:          0 kB
Active:         827888 kB
Inactive:         9896 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1156648 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            6444 kB
Writeback:           0 kB
Mapped:         577220 kB
Slab:            45492 kB
Committed_AS:   712816 kB
PageTables:       3016 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= 65248 MiB
End job on node62 at 2008-07-12 17:12:19