Trace number 1112768

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? 1825.25 1833.87

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.00/0.09	
0.00/0.09	Abscon 112 (May, 2008)
0.18/0.25	
0.18/0.25	   configuration
0.18/0.25	     name=mrdac-ddeg.xml
0.18/0.28	   
0.18/0.28	   instance
0.18/0.28	     name=HOME/instance-1112768-1215873726.xml
0.28/0.32	   
0.28/0.32	   domains being loaded...
0.28/0.37	   
0.28/0.37	   variables being loaded...
0.58/0.64	     nbVariables=1750  nbDomainTypes=30  minDomainSize=82  maxDomainSize=802  nbTotalValues=813037
0.58/0.64	       =>  wckTime=0.393  cpuTime=0.27  mem=32M295
0.58/0.64	   
0.58/0.64	   predicates being loaded...
0.68/0.70	   
0.68/0.70	   constraints being loaded...
10.72/10.80	   
10.72/10.80	   INFO : Stopping converting binary constraints (cpu=10.07, mem = 44M828)
14.21/14.39	     nbConstraints=32049  nbConvertedConstraints=100  nbConvertConstraintsChecks=33432768  nbExtensionStructures=97
14.21/14.39	     nbSharedExtensionStructures=3  nbConflictsStructures=370  nbSharedConflictsStructures=522
14.21/14.39	     nbUnbuiltConflictsStructures=9097  nbSharedBinaryRepresentations=94810  nbEvaluationManagers=9370
14.21/14.39	     nbSharedEvaluationManagers=22579  minDegree=4  maxDegree=109  minArity=2  maxArity=2
14.21/14.39	       =>  wckTime=14.141  cpuTime=13.06  mem=98M527
14.71/14.84	   
14.71/14.84	   solver LocalSearchSolver being built... 
14.71/14.88	       =>  wckTime=14.635  cpuTime=13.09  mem=72M272
15.40/15.50	
15.40/15.50	s SATISFIABLE
15.40/15.50	o 9512
15.90/16.04	o 9494
16.10/16.29	o 9478
16.40/16.55	o 9466
16.69/16.80	o 9454
16.99/17.13	o 9435
17.19/17.31	o 9423
17.39/17.59	o 9407
17.59/17.79	o 9390
17.89/18.09	o 9384
18.19/18.38	o 9369
18.59/18.71	o 9363
18.78/18.96	o 9358
18.98/19.16	o 9345
19.18/19.34	o 9340
19.38/19.52	o 9322
19.58/19.75	o 9309
19.88/20.04	o 9300
20.07/20.22	o 9299
20.27/20.41	o 9295
20.37/20.58	o 9292
20.57/20.73	o 9287
20.77/20.93	o 9275
21.17/21.35	o 9258
21.37/21.50	o 9243
21.47/21.65	o 9231
21.67/21.86	o 9226
21.87/22.00	o 9220
21.96/22.15	o 9213
22.16/22.34	o 9212
22.26/22.48	o 9202
22.37/22.59	o 9192
22.47/22.69	o 9188
22.67/22.86	o 9175
22.87/23.06	o 9160
23.06/23.25	o 9155
23.16/23.39	o 9146
23.36/23.57	o 9139
23.56/23.71	o 9135
23.66/23.89	o 9130
23.86/24.05	o 9123
24.06/24.23	o 9119
24.25/24.49	o 9116
24.55/24.76	o 9106
24.85/25.00	o 9094
25.05/25.21	o 9092
25.25/25.48	o 9091
25.45/25.69	o 9083
26.74/26.96	o 9079
26.94/27.17	o 9072
27.83/28.02	o 9065
27.93/28.20	o 9061
28.23/28.41	o 9055
28.43/28.63	o 9052
28.63/28.81	o 9041
28.83/29.01	o 9031
28.93/29.13	o 9024
29.13/29.36	o 9014
29.33/29.56	o 9008
29.53/29.75	o 9003
29.82/30.02	o 8989
30.02/30.23	o 8982
30.22/30.43	o 8967
30.42/30.61	o 8965
30.62/30.87	o 8956
31.02/31.30	o 8947
31.42/31.63	o 8936
32.41/32.69	o 8930
32.71/32.94	o 8928
33.00/33.24	o 8921
33.30/33.57	o 8915
33.50/33.79	o 8905
33.80/34.05	o 8902
34.09/34.31	o 8901
34.19/34.48	o 8894
34.49/34.75	o 8883
34.79/35.08	o 8872
35.69/35.96	o 8863
36.09/36.37	o 8859
36.58/36.83	o 8845
36.98/37.28	o 8840
37.48/37.75	o 8830
37.98/38.22	o 8826
38.37/38.61	o 8817
38.77/39.01	o 8815
39.17/39.41	o 8810
39.57/39.81	o 8798
39.86/40.20	o 8788
40.36/40.61	o 8777
40.76/41.00	o 8776
41.06/41.34	o 8772
42.25/42.51	o 8765
42.65/42.91	o 8758
42.95/43.29	o 8756
43.35/43.70	o 8745
43.65/44.00	o 8742
44.04/44.37	o 8733
44.34/44.69	o 8729
44.84/45.13	o 8723
45.23/45.55	o 8722
45.73/46.03	o 8717
46.13/46.47	o 8707
47.03/47.36	o 8704
47.42/47.72	o 8701
47.72/48.07	o 8690
48.02/48.40	o 8677
48.42/48.70	o 8666
48.62/48.99	o 8659
49.02/49.32	o 8653
49.31/49.63	o 8643
49.61/49.92	o 8637
49.91/50.28	o 8636
50.22/50.59	o 8626
50.61/50.97	o 8619
51.01/51.33	o 8611
51.41/51.73	o 8606
51.71/52.05	o 8596
52.01/52.38	o 8590
52.51/52.81	o 8582
52.80/53.13	o 8573
53.10/53.50	o 8566
53.50/53.85	o 8562
53.90/54.27	o 8552
54.30/54.68	o 8546
54.60/55.00	o 8538
54.99/55.36	o 8532
55.29/55.70	o 8523
55.98/56.39	o 8520
56.38/56.71	o 8510
57.08/57.46	o 8506
57.48/57.87	o 8501
58.17/58.53	o 8500
58.57/58.91	o 8497
58.97/59.31	o 8485
59.27/59.60	o 8484
59.66/60.04	o 8480
60.16/60.52	o 8475
60.56/60.90	o 8470
60.86/61.27	o 8466
61.26/61.66	o 8458
61.65/62.01	o 8457
61.95/62.37	o 8456
62.35/62.74	o 8453
62.65/63.04	o 8441
62.95/63.38	o 8431
63.25/63.66	o 8416
63.54/63.95	o 8407
63.94/64.32	o 8402
64.24/64.65	o 8397
64.64/65.05	o 8393
65.04/65.42	o 8389
65.34/65.75	o 8382
65.64/66.09	o 8369
66.03/66.40	o 8367
66.33/66.76	o 8361
66.63/67.07	o 8359
67.02/67.44	o 8357
67.32/67.79	o 8350
67.72/68.15	o 8343
68.12/68.55	o 8335
68.62/69.02	o 8328
69.41/69.82	o 8319
69.71/70.17	o 8314
70.11/70.51	o 8309
70.41/70.86	o 8301
70.81/71.20	o 8292
71.11/71.57	o 8281
71.50/71.91	o 8273
71.90/72.30	o 8263
72.20/72.65	o 8257
72.60/73.06	o 8248
73.39/73.84	o 8241
73.69/74.19	o 8235
74.09/74.53	o 8230
74.39/74.87	o 8226
74.78/75.21	o 8222
75.09/75.55	o 8217
75.39/75.87	o 8213
75.79/76.21	o 8209
76.19/76.60	o 8206
76.59/77.03	o 8200
76.88/77.32	o 8191
77.18/77.63	o 8188
77.58/78.06	o 8185
77.97/78.44	o 8182
78.37/78.84	o 8180
78.67/79.19	o 8170
79.06/79.57	o 8168
79.46/79.96	o 8166
79.86/80.38	o 8165
80.26/80.75	o 8164
80.66/81.15	o 8155
81.05/81.59	o 8149
81.35/81.89	o 8143
81.75/82.22	o 8142
82.15/82.62	o 8138
82.44/82.97	o 8130
82.84/83.33	o 8126
83.54/84.06	o 8119
83.94/84.43	o 8115
85.33/85.85	o 8106
85.63/86.17	o 8090
86.02/86.52	o 8082
86.42/86.93	o 8069
86.82/87.38	o 8059
87.32/87.84	o 8052
87.71/88.28	o 8045
88.21/88.75	o 8038
88.71/89.22	o 8033
89.11/89.67	o 8024
89.61/90.12	o 8021
90.01/90.50	o 8018
90.31/90.88	o 8012
90.71/91.28	o 8007
91.10/91.66	o 8002
91.50/92.05	o 7997
91.90/92.48	o 7995
92.30/92.89	o 7991
92.70/93.27	o 7990
93.09/93.64	o 7985
93.39/93.99	o 7982
93.79/94.37	o 7979
94.18/94.74	o 7972
94.58/95.12	o 7971
94.88/95.47	o 7968
95.28/95.85	o 7965
95.58/96.19	o 7961
95.98/96.55	o 7958
96.28/96.89	o 7947
96.67/97.25	o 7944
96.97/97.56	o 7940
97.27/97.90	o 7931
97.67/98.20	o 7928
97.87/98.44	o 7916
98.17/98.71	o 7909
98.36/98.93	o 7907
98.66/99.22	o 7905
98.86/99.46	o 7903
99.06/99.69	o 7901
99.36/99.95	o 7896
99.65/100.24	o 7894
99.85/100.49	o 7893
100.05/100.69	o 7891
100.35/100.92	o 7889
100.55/101.14	o 7887
100.75/101.37	o 7886
101.04/101.66	o 7885
101.34/101.93	o 7884
101.54/102.18	o 7881
101.84/102.40	o 7880
102.04/102.67	o 7879
102.34/102.92	o 7878
102.54/103.17	o 7877
102.84/103.44	o 7876
103.03/103.68	o 7875
104.63/105.22	o 7872
105.13/105.73	o 7867
106.22/106.87	o 7862
106.52/107.14	o 7853
108.51/109.18	o 7849
109.21/109.81	o 7847
109.50/110.16	o 7843
109.80/110.47	o 7831
110.20/110.82	o 7828
110.59/111.27	o 7826
110.99/111.66	o 7821
111.39/112.00	o 7816
112.08/112.76	o 7809
112.38/113.08	o 7800
112.77/113.44	o 7798
113.07/113.76	o 7788
113.37/114.06	o 7781
113.67/114.36	o 7775
113.97/114.67	o 7769
114.27/115.00	o 7764
114.67/115.31	o 7760
114.96/115.62	o 7756
115.26/115.95	o 7751
115.56/116.27	o 7747
115.86/116.59	o 7743
116.26/116.93	o 7740
116.56/117.23	o 7736
116.86/117.52	o 7734
117.06/117.78	o 7732
117.35/118.08	o 7730
117.75/118.40	o 7729
118.05/118.70	o 7716
118.25/118.95	o 7704
118.54/119.27	o 7703
118.84/119.51	o 7702
119.04/119.77	o 7698
119.34/120.01	o 7697
119.54/120.26	o 7696
119.84/120.56	o 7695
120.14/120.82	o 7694
120.34/121.07	o 7693
120.63/121.32	o 7685
120.83/121.56	o 7682
121.13/121.85	o 7681
121.43/122.11	o 7680
122.23/122.93	o 7676
124.20/124.95	o 7671
125.50/126.22	o 7658
126.19/126.92	o 7651
126.49/127.29	o 7643
126.90/127.67	o 7640
127.29/128.03	o 7638
127.59/128.33	o 7629
128.28/129.01	o 7625
128.59/129.36	o 7620
128.99/129.73	o 7611
129.29/130.09	o 7609
129.68/130.45	o 7603
130.67/131.44	o 7602
130.97/131.75	o 7592
131.47/132.29	o 7587
131.77/132.52	o 7585
131.97/132.74	o 7580
132.47/133.21	o 7573
132.66/133.48	o 7568
132.96/133.72	o 7567
133.16/133.96	o 7565
133.37/134.18	o 7560
134.35/135.20	o 7550
134.65/135.45	o 7544
134.94/135.72	o 7538
135.44/136.25	o 7535
135.74/136.53	o 7531
136.04/136.80	o 7527
136.24/137.08	o 7524
136.53/137.36	o 7521
136.83/137.64	o 7518
137.13/137.96	o 7516
137.43/138.28	o 7510
137.73/138.52	o 7504
138.03/138.80	o 7502
138.22/139.07	o 7497
138.52/139.32	o 7495
138.73/139.59	o 7493
139.03/139.87	o 7492
139.32/140.12	o 7491
139.62/140.44	o 7490
139.93/140.75	o 7489
140.22/141.03	o 7488
140.51/141.32	o 7487
140.81/141.63	o 7484
141.12/141.97	o 7483
141.41/142.25	o 7482
141.71/142.53	o 7481
142.01/142.80	o 7480
143.00/143.86	o 7469
143.31/144.18	o 7464
143.60/144.49	o 7460
143.90/144.78	o 7455
144.20/145.03	o 7449
144.50/145.32	o 7445
144.69/145.56	o 7442
144.99/145.84	o 7435
145.19/146.08	o 7427
145.49/146.37	o 7426
146.08/146.92	o 7419
146.28/147.17	o 7417
146.59/147.46	o 7412
146.88/147.76	o 7409
147.18/148.05	o 7407
147.58/148.41	o 7400
147.88/148.72	o 7395
148.17/149.04	o 7393
148.57/149.40	o 7388
148.87/149.74	o 7385
149.26/150.11	o 7377
149.56/150.49	o 7375
149.96/150.87	o 7368
150.36/151.25	o 7366
150.76/151.66	o 7360
151.06/151.98	o 7353
151.45/152.31	o 7347
151.75/152.64	o 7339
152.15/153.02	o 7333
152.44/153.35	o 7327
152.74/153.64	o 7325
153.05/153.94	o 7324
153.64/154.54	o 7323
154.15/155.09	o 7322
154.44/155.37	o 7316
155.04/155.94	o 7312
155.63/156.53	o 7308
155.93/156.81	o 7305
156.13/157.06	o 7301
156.43/157.35	o 7297
156.72/157.64	o 7293
156.92/157.89	o 7290
157.22/158.16	o 7287
157.53/158.43	o 7279
157.72/158.67	o 7276
158.02/158.91	o 7274
158.22/159.17	o 7272
158.52/159.43	o 7270
158.72/159.67	o 7261
159.02/159.90	o 7259
159.41/160.35	o 7254
159.62/160.60	o 7252
159.91/160.83	o 7251
160.21/161.14	o 7250
160.41/161.39	o 7249
160.71/161.65	o 7248
161.01/161.96	o 7247
161.50/162.45	o 7245
162.30/163.25	o 7244
162.50/163.49	o 7243
163.00/164.00	o 7241
163.29/164.26	o 7236
163.59/164.53	o 7235
163.79/164.79	o 7232
164.09/165.09	o 7231
164.38/165.35	o 7230
164.68/165.62	o 7228
164.88/165.88	o 7226
165.48/166.43	o 7224
165.78/166.70	o 7218
165.98/166.93	o 7213
166.28/167.22	o 7212
167.38/168.31	o 7209
167.67/168.61	o 7207
167.86/168.88	o 7205
168.16/169.16	o 7204
168.47/169.43	o 7198
168.96/169.97	o 7189
169.26/170.26	o 7188
169.56/170.56	o 7186
170.35/171.39	o 7184
170.75/171.70	o 7183
171.35/172.34	o 7181
171.65/172.68	o 7178
171.95/172.98	o 7175
172.34/173.33	o 7168
172.75/173.70	o 7165
173.04/174.03	o 7158
174.04/175.01	o 7151
174.64/175.63	o 7147
174.94/175.97	o 7138
175.33/176.33	o 7135
175.63/176.68	o 7129
175.93/176.98	o 7123
176.33/177.34	o 7121
176.72/177.72	o 7117
177.13/178.14	o 7109
177.52/178.53	o 7106
178.02/179.02	o 7099
178.42/179.44	o 7094
179.61/180.68	o 7090
180.10/181.13	o 7088
180.90/181.94	o 7082
181.30/182.33	o 7077
181.70/182.70	o 7074
181.99/183.07	o 7071
182.29/183.37	o 7069
182.60/183.66	o 7067
182.89/183.98	o 7066
183.29/184.33	o 7057
184.48/185.57	o 7049
184.78/185.84	o 7043
185.77/186.83	o 7040
186.47/187.53	o 7039
186.77/187.88	o 7030
187.17/188.24	o 7025
187.56/188.66	o 7017
187.96/189.03	o 7015
188.56/189.68	o 7014
188.96/190.06	o 7011
189.26/190.38	o 7009
191.05/192.15	o 7008
191.45/192.55	o 7005
191.84/192.96	o 7003
192.24/193.33	o 7002
193.93/195.01	o 6994
194.23/195.39	o 6987
195.42/196.56	o 6986
195.83/196.97	o 6985
196.42/197.50	o 6977
196.82/197.99	o 6973
197.31/198.45	o 6967
197.81/198.90	o 6966
198.21/199.36	o 6956
199.12/200.27	o 6954
199.61/200.76	o 6952
200.11/201.25	o 6950
200.60/201.74	o 6944
201.10/202.21	o 6935
202.49/203.70	o 6926
202.99/204.15	o 6922
203.49/204.61	o 6916
203.98/205.11	o 6909
204.38/205.59	o 6904
205.37/206.52	o 6899
205.77/206.98	o 6897
206.27/207.44	o 6890
206.67/207.90	o 6888
207.16/208.39	o 6885
207.77/208.92	o 6882
208.16/209.39	o 6871
208.66/209.85	o 6862
209.06/210.30	o 6861
209.65/210.86	o 6860
210.06/211.29	o 6852
210.55/211.70	o 6851
210.95/212.11	o 6846
211.44/212.63	o 6843
211.84/213.08	o 6841
212.34/213.54	o 6837
212.83/214.01	o 6834
213.24/214.48	o 6833
213.73/214.94	o 6821
214.23/215.42	o 6814
214.63/215.83	o 6813
215.13/216.33	o 6806
215.53/216.75	o 6797
215.92/217.16	o 6789
216.82/218.01	o 6787
218.11/219.32	o 6784
218.50/219.73	o 6781
218.91/220.17	o 6777
220.19/221.41	o 6767
220.59/221.81	o 6764
220.90/222.19	o 6760
221.29/222.56	o 6759
221.69/222.90	o 6757
221.99/223.25	o 6755
222.38/223.68	o 6751
222.78/224.06	o 6750
223.28/224.51	o 6749
223.68/224.90	o 6748
224.37/225.67	o 6745
224.77/226.04	o 6732
225.17/226.41	o 6727
225.47/226.77	o 6723
225.86/227.10	o 6717
226.16/227.43	o 6711
226.86/228.18	o 6707
227.26/228.53	o 6704
227.95/229.29	o 6698
228.85/230.16	o 6697
229.25/230.53	o 6695
229.54/230.87	o 6694
229.84/231.18	o 6684
230.24/231.50	o 6680
230.54/231.81	o 6675
230.84/232.11	o 6673
231.13/232.40	o 6672
232.43/233.70	o 6670
233.03/234.39	o 6663
233.43/234.75	o 6662
233.82/235.12	o 6660
234.22/235.56	o 6656
234.62/236.00	o 6655
235.02/236.38	o 6654
235.51/236.81	o 6653
235.91/237.23	o 6651
236.32/237.64	o 6650
236.71/238.06	o 6644
237.11/238.46	o 6643
237.90/239.29	o 6638
238.30/239.70	o 6629
238.79/240.15	o 6619
239.09/240.50	o 6617
239.49/240.86	o 6611
239.88/241.24	o 6607
240.18/241.60	o 6606
240.59/241.99	o 6601
240.98/242.34	o 6600
241.78/243.12	o 6599
242.07/243.49	o 6591
242.87/244.23	o 6590
243.67/245.04	o 6588
244.06/245.41	o 6579
244.46/245.81	o 6567
245.65/247.04	o 6553
246.06/247.41	o 6546
247.06/248.50	o 6542
247.46/248.88	o 6537
247.85/249.27	o 6527
249.05/250.43	o 6526
249.94/251.32	o 6523
250.74/252.15	o 6515
252.53/253.98	o 6514
253.02/254.47	o 6511
254.12/255.55	o 6508
254.62/256.05	o 6503
255.12/256.57	o 6501
255.71/257.14	o 6497
256.21/257.63	o 6487
258.20/259.69	o 6486
258.79/260.23	o 6474
260.29/261.77	o 6468
261.38/262.84	o 6459
261.97/263.41	o 6457
262.47/263.97	o 6454
263.67/265.17	o 6450
264.26/265.77	o 6442
265.45/266.97	o 6441
266.56/268.07	o 6440
267.16/268.61	o 6436
267.75/269.21	o 6433
268.34/269.83	o 6426
268.94/270.44	o 6423
269.54/271.03	o 6418
270.14/271.67	o 6414
270.83/272.30	o 6413
277.69/279.26	o 6409
278.29/279.87	o 6408
280.58/282.13	o 6405
281.67/283.29	o 6399
283.96/285.59	o 6394
284.56/286.14	o 6391
285.66/287.27	o 6390
286.25/287.83	o 6386
286.85/288.48	o 6382
289.73/291.39	o 6380
290.33/291.93	o 6369
291.42/293.05	o 6367
292.03/293.63	o 6364
292.62/294.26	o 6361
293.81/295.47	o 6354
294.51/296.12	o 6352
295.11/296.75	o 6350
295.70/297.37	o 6349
296.30/297.97	o 6346
296.89/298.59	o 6344
297.60/299.22	o 6330
298.19/299.80	o 6324
298.68/300.37	o 6321
299.27/300.96	o 6315
299.87/301.54	o 6312
300.47/302.13	o 6311
301.07/302.75	o 6308
301.66/303.33	o 6306
302.26/303.95	o 6305
303.46/305.16	o 6304
304.06/305.78	o 6303
304.75/306.41	o 6300
305.35/307.07	o 6296
306.15/307.81	o 6290
306.74/308.45	o 6285
307.54/309.22	o 6280
308.23/309.92	o 6274
308.83/310.59	o 6272
309.53/311.21	o 6266
310.12/311.89	o 6258
312.02/313.75	o 6254
312.61/314.32	o 6246
313.80/315.57	o 6238
314.50/316.23	o 6231
315.20/316.90	o 6229
315.79/317.53	o 6228
316.39/318.16	o 6221
316.99/318.77	o 6220
317.58/319.34	o 6213
318.77/320.52	o 6207
319.38/321.17	o 6204
319.97/321.79	o 6199
320.57/322.36	o 6194
321.76/323.54	o 6179
322.36/324.16	o 6175
322.96/324.74	o 6170
323.55/325.36	o 6166
325.44/327.25	o 6163
326.04/327.87	o 6157
326.64/328.48	o 6148
327.24/329.06	o 6144
328.43/330.26	o 6142
329.02/330.86	o 6141
329.62/331.46	o 6137
330.22/332.05	o 6133
330.81/332.69	o 6131
331.52/333.36	o 6130
333.90/335.78	o 6129
334.60/336.40	o 6126
335.19/337.00	o 6123
336.99/338.86	o 6118
337.68/339.50	o 6115
338.28/340.14	o 6110
338.88/340.73	o 6106
340.07/341.91	o 6099
340.67/342.58	o 6093
341.27/343.16	o 6090
341.96/343.84	o 6083
342.66/344.50	o 6077
343.26/345.12	o 6072
343.85/345.73	o 6068
344.85/346.78	o 6066
345.44/347.36	o 6059
346.04/347.93	o 6057
346.64/348.56	o 6055
347.33/349.22	o 6049
349.22/351.10	o 6044
350.41/352.32	o 6035
351.01/352.92	o 6026
351.61/353.51	o 6022
352.11/354.10	o 6021
352.70/354.70	o 6020
353.40/355.35	o 6019
354.60/356.57	o 6012
355.19/357.20	o 6011
355.89/357.80	o 6008
357.08/359.00	o 6003
358.28/360.25	o 5999
358.88/360.84	o 5998
361.36/363.31	o 5997
363.16/365.16	o 5996
363.85/365.82	o 5994
364.44/366.46	o 5992
365.14/367.14	o 5985
367.03/369.08	o 5984
368.53/370.54	o 5976
369.22/371.24	o 5973
369.92/371.92	o 5967
370.61/372.66	o 5961
371.41/373.44	o 5953
372.11/374.15	o 5946
372.90/374.90	o 5945
374.29/376.33	o 5941
374.99/377.08	o 5940
376.39/378.49	o 5937
377.87/379.96	o 5930
378.58/380.68	o 5929
379.37/381.41	o 5923
382.65/384.74	o 5922
383.25/385.38	o 5918
383.85/385.90	o 5916
384.44/386.56	o 5914
385.05/387.13	o 5913
385.64/387.74	o 5911
386.24/388.32	o 5910
386.83/388.92	o 5909
387.43/389.51	o 5908
388.02/390.11	o 5907
388.72/390.80	o 5903
389.91/392.02	o 5900
390.52/392.68	o 5894
391.21/393.32	o 5890
391.91/394.00	o 5887
392.50/394.64	o 5881
394.48/396.64	o 5874
395.08/397.27	o 5870
396.37/398.58	o 5861
397.08/399.21	o 5859
397.77/399.94	o 5858
398.37/400.58	o 5851
399.06/401.27	o 5841
399.76/401.95	o 5838
400.46/402.68	o 5830
401.15/403.30	o 5824
401.75/403.93	o 5823
402.44/404.61	o 5821
405.73/407.91	o 5816
406.32/408.56	o 5811
407.03/409.27	o 5807
408.32/410.59	o 5806
409.80/412.02	o 5804
410.41/412.68	o 5799
411.79/414.02	o 5797
412.40/414.65	o 5792
413.09/415.36	o 5790
414.38/416.61	o 5787
415.08/417.31	o 5781
415.68/417.92	o 5776
416.27/418.56	o 5773
416.88/419.19	o 5772
418.25/420.51	o 5768
418.96/421.21	o 5764
419.65/421.94	o 5763
420.35/422.64	o 5761
421.05/423.36	o 5758
421.75/424.07	o 5751
422.45/424.74	o 5750
423.14/425.48	o 5749
423.93/426.24	o 5747
424.63/426.97	o 5744
425.33/427.68	o 5741
426.02/428.40	o 5740
426.82/429.15	o 5738
427.61/429.91	o 5737
428.40/430.71	o 5732
436.26/438.66	o 5726
436.96/439.36	o 5724
437.66/440.09	o 5721
438.44/440.80	o 5717
441.73/444.18	o 5716
443.02/445.45	o 5715
443.71/446.11	o 5711
445.01/447.41	o 5710
445.61/448.07	o 5701
446.31/448.72	o 5697
447.01/449.41	o 5685
447.61/450.09	o 5683
448.30/450.74	o 5678
451.99/454.45	o 5675
452.58/455.06	o 5672
453.18/455.67	o 5668
453.77/456.28	o 5664
454.46/456.90	o 5660
455.07/457.52	o 5654
455.66/458.12	o 5652
456.26/458.75	o 5651
459.24/461.75	o 5648
459.84/462.32	o 5645
461.03/463.54	o 5644
462.22/464.73	o 5643
463.32/465.87	o 5642
463.92/466.45	o 5640
464.51/467.03	o 5636
465.11/467.62	o 5635
465.70/468.22	o 5630
466.30/468.84	o 5623
468.19/470.70	o 5621
470.58/473.15	o 5619
471.18/473.75	o 5614
471.77/474.37	o 5610
472.48/475.01	o 5608
473.07/475.66	o 5607
473.77/476.34	o 5602
474.36/476.98	o 5597
474.96/477.57	o 5593
475.65/478.20	o 5592
478.74/481.39	o 5590
479.44/482.02	o 5575
481.23/483.89	o 5572
481.92/484.52	o 5564
482.53/485.11	o 5560
483.11/485.73	o 5558
483.71/486.38	o 5553
484.41/487.03	o 5550
485.00/487.65	o 5547
485.60/488.29	o 5537
486.30/488.95	o 5535
486.90/489.58	o 5533
487.49/490.18	o 5528
488.19/490.81	o 5522
489.38/492.04	o 5519
489.98/492.70	o 5518
490.68/493.31	o 5514
491.28/493.92	o 5513
491.87/494.51	o 5510
494.16/496.86	o 5508
496.55/499.22	o 5507
497.14/499.82	o 5505
497.74/500.42	o 5500
498.33/501.04	o 5495
498.94/501.64	o 5493
500.13/502.83	o 5487
500.72/503.48	o 5481
502.02/504.74	o 5478
502.61/505.35	o 5476
503.81/506.57	o 5475
504.41/507.18	o 5474
505.70/508.42	o 5469
506.30/509.01	o 5465
506.89/509.65	o 5461
507.59/510.32	o 5460
508.28/511.07	o 5454
508.98/511.75	o 5448
510.27/513.05	o 5444
510.98/513.72	o 5441
511.56/514.39	o 5434
512.26/515.07	o 5431
512.96/515.74	o 5429
513.65/516.42	o 5428
514.35/517.11	o 5422
514.94/517.78	o 5419
515.64/518.48	o 5415
516.93/519.71	o 5411
517.53/520.38	o 5409
518.21/521.09	o 5405
519.62/522.50	o 5392
521.70/524.60	o 5388
522.49/525.34	o 5382
523.19/526.08	o 5376
523.99/526.82	o 5371
536.32/539.25	o 5365
537.12/540.02	o 5363
537.91/540.85	o 5361
538.71/541.63	o 5356
539.41/542.40	o 5350
540.30/543.22	o 5349
541.00/543.99	o 5344
543.38/546.39	o 5341
546.67/549.66	o 5338
548.46/551.45	o 5336
549.36/552.35	o 5327
551.15/554.10	o 5321
551.94/554.96	o 5318
552.84/555.84	o 5306
553.64/556.67	o 5304
556.22/559.22	o 5301
557.02/560.08	o 5296
557.91/560.99	o 5290
559.60/562.68	o 5282
561.30/564.33	o 5280
563.08/566.11	o 5279
564.78/567.82	o 5276
565.58/568.67	o 5273
566.47/569.50	o 5265
567.26/570.38	o 5259
568.15/571.25	o 5258
568.96/572.09	o 5253
569.85/572.96	o 5251
570.64/573.79	o 5250
571.54/574.66	o 5242
572.44/575.52	o 5233
573.23/576.38	o 5231
574.12/577.27	o 5222
574.91/578.09	o 5221
576.61/579.74	o 5219
577.41/580.59	o 5217
578.30/581.43	o 5216
580.89/584.05	o 5210
581.68/584.88	o 5205
582.58/585.74	o 5204
583.38/586.58	o 5203
584.28/587.42	o 5198
585.96/589.11	o 5197
586.76/589.96	o 5193
587.65/590.80	o 5184
588.35/591.59	o 5180
589.24/592.42	o 5179
590.04/593.25	o 5177
590.84/594.07	o 5175
591.63/594.86	o 5165
595.41/598.65	o 5162
601.68/604.91	o 5154
602.47/605.71	o 5153
603.16/606.48	o 5150
603.97/607.24	o 5144
604.76/608.02	o 5134
606.25/609.55	o 5133
607.04/610.32	o 5130
607.75/611.05	o 5127
608.55/611.81	o 5125
609.35/612.62	o 5118
610.14/613.43	o 5101
613.91/617.23	o 5096
614.71/618.05	o 5094
618.00/621.37	o 5091
618.89/622.23	o 5089
619.78/623.14	o 5085
620.68/624.01	o 5081
621.48/624.89	o 5079
623.27/626.66	o 5075
624.16/627.54	o 5072
625.06/628.42	o 5065
625.95/629.32	o 5064
627.74/631.14	o 5062
628.64/632.06	o 5051
629.63/633.00	o 5050
630.53/633.92	o 5047
631.43/634.84	o 5045
632.33/635.74	o 5041
633.22/636.68	o 5034
634.21/637.62	o 5029
635.10/638.54	o 5012
636.00/639.49	o 5001
636.99/640.41	o 4998
637.89/641.34	o 4993
638.78/642.27	o 4980
639.77/643.21	o 4978
640.67/644.15	o 4976
641.56/645.06	o 4971
642.46/645.96	o 4965
643.36/646.90	o 4964
644.36/647.82	o 4960
645.25/648.72	o 4959
646.14/649.67	o 4958
647.13/650.62	o 4954
648.03/651.52	o 4947
648.93/652.44	o 4944
650.82/654.30	o 4940
651.72/655.25	o 4926
652.61/656.14	o 4924
654.40/657.98	o 4922
655.40/658.92	o 4916
656.29/659.86	o 4913
657.19/660.78	o 4911
658.18/661.71	o 4910
659.07/662.64	o 4909
662.85/666.43	o 4903
667.44/671.09	o 4901
668.33/672.00	o 4893
671.91/675.55	o 4890
672.80/676.43	o 4887
673.70/677.30	o 4881
675.48/679.16	o 4879
698.46/702.20	o 4877
699.27/703.09	o 4875
701.06/704.84	o 4873
703.85/707.68	o 4870
706.74/710.54	o 4869
710.41/714.29	o 4867
711.41/715.22	o 4866
712.30/716.19	o 4865
713.30/717.11	o 4862
714.29/718.10	o 4859
716.18/720.02	o 4855
717.07/721.00	o 4853
719.06/722.92	o 4850
720.84/724.78	o 4846
721.74/725.66	o 4845
722.63/726.53	o 4841
723.42/727.38	o 4838
724.32/728.28	o 4834
725.22/729.13	o 4833
726.01/729.99	o 4830
727.81/731.76	o 4827
728.71/732.64	o 4824
729.61/733.54	o 4813
731.30/735.27	o 4811
732.19/736.17	o 4807
733.09/737.02	o 4804
734.78/738.79	o 4801
739.76/743.75	o 4798
741.45/745.45	o 4797
742.25/746.30	o 4795
743.05/747.06	o 4792
743.95/747.91	o 4791
752.10/756.10	o 4783
752.90/756.92	o 4782
753.70/757.73	o 4779
754.50/758.56	o 4776
755.29/759.36	o 4762
756.09/760.13	o 4752
758.48/762.53	o 4750
759.18/763.28	o 4744
759.97/764.09	o 4741
760.87/764.91	o 4735
761.67/765.74	o 4727
762.47/766.55	o 4726
763.26/767.33	o 4725
764.85/768.95	o 4723
765.65/769.74	o 4722
766.45/770.53	o 4719
768.04/772.13	o 4718
769.63/773.77	o 4717
770.53/774.62	o 4712
771.33/775.41	o 4710
772.12/776.22	o 4702
772.92/777.05	o 4699
773.71/777.89	o 4697
777.90/782.01	o 4694
778.59/782.76	o 4692
779.39/783.56	o 4688
780.19/784.39	o 4678
781.08/785.22	o 4674
782.78/786.97	o 4671
784.57/788.72	o 4667
786.37/790.51	o 4664
787.17/791.40	o 4662
788.06/792.27	o 4661
788.96/793.14	o 4660
789.86/794.04	o 4652
790.65/794.83	o 4646
791.35/795.55	o 4637
792.15/796.38	o 4635
793.04/797.20	o 4633
793.84/798.04	o 4629
794.63/798.86	o 4625
799.61/803.86	o 4624
801.30/805.59	o 4621
802.20/806.46	o 4618
803.00/807.23	o 4613
803.79/808.07	o 4612
804.69/808.92	o 4609
805.58/809.80	o 4604
806.38/810.69	o 4602
807.28/811.55	o 4600
808.17/812.40	o 4598
809.96/814.21	o 4597
810.86/815.10	o 4593
811.66/816.00	o 4590
812.65/816.91	o 4583
813.55/817.83	o 4574
814.45/818.71	o 4572
815.34/819.63	o 4569
817.14/821.41	o 4565
818.03/822.31	o 4563
818.83/823.19	o 4559
819.72/824.09	o 4553
820.62/825.00	o 4552
822.51/826.83	o 4551
823.41/827.76	o 4547
824.30/828.68	o 4537
825.30/829.62	o 4535
826.20/830.53	o 4534
827.10/831.44	o 4531
828.09/832.40	o 4528
828.99/833.37	o 4523
829.98/834.34	o 4522
830.88/835.29	o 4519
831.88/836.28	o 4517
832.88/837.25	o 4514
833.88/838.22	o 4509
834.77/839.17	o 4507
835.77/840.18	o 4505
837.76/842.10	o 4504
838.65/843.08	o 4502
839.64/844.00	o 4497
843.33/847.79	o 4494
845.12/849.58	o 4493
846.82/851.29	o 4489
847.91/852.30	o 4488
848.81/853.29	o 4485
849.80/854.29	o 4480
850.80/855.28	o 4477
851.89/856.32	o 4476
852.89/857.31	o 4472
853.88/858.31	o 4471
854.88/859.32	o 4467
857.77/862.29	o 4464
859.86/864.31	o 4463
860.86/865.36	o 4462
861.95/866.42	o 4460
862.95/867.47	o 4459
864.14/868.61	o 4457
865.14/869.65	o 4455
866.23/870.75	o 4452
867.23/871.79	o 4434
870.22/874.76	o 4432
876.89/881.44	o 4430
877.78/882.37	o 4425
878.79/883.35	o 4421
879.78/884.31	o 4420
880.68/885.28	o 4415
881.57/886.10	o 4411
883.46/888.00	o 4407
884.36/888.92	o 4403
885.25/889.85	o 4399
886.15/890.74	o 4398
886.84/891.47	o 4396
887.84/892.45	o 4394
888.84/893.43	o 4392
889.74/894.38	o 4391
890.73/895.36	o 4386
891.73/896.35	o 4384
892.72/897.33	o 4382
893.72/898.34	o 4381
894.71/899.37	o 4380
895.71/900.39	o 4378
896.80/901.41	o 4372
897.80/902.45	o 4367
900.78/905.43	o 4365
901.78/906.47	o 4363
902.79/907.49	o 4361
903.88/908.53	o 4357
904.98/909.65	o 4356
908.27/912.94	o 4352
909.46/914.11	o 4351
910.56/915.24	o 4348
911.65/916.33	o 4342
912.65/917.40	o 4340
913.84/918.51	o 4335
914.94/919.65	o 4333
916.13/920.86	o 4331
917.23/921.99	o 4330
918.42/923.13	o 4327
920.61/925.38	o 4325
921.71/926.48	o 4322
923.90/928.70	o 4318
924.99/929.79	o 4317
926.09/930.87	o 4313
928.38/933.13	o 4311
934.15/938.96	o 4306
935.45/940.21	o 4305
936.64/941.42	o 4304
937.74/942.58	o 4303
940.13/944.98	o 4300
943.91/948.71	o 4297
945.11/949.91	o 4281
946.20/951.05	o 4276
947.40/952.27	o 4275
948.59/953.43	o 4272
949.79/954.63	o 4270
951.08/955.91	o 4268
952.27/957.13	o 4264
953.47/958.34	o 4262
960.84/965.71	o 4259
963.23/968.11	o 4258
964.42/969.36	o 4254
965.62/970.59	o 4253
969.50/974.45	o 4250
970.80/975.76	o 4240
972.09/977.03	o 4233
974.69/979.61	o 4230
975.88/980.89	o 4227
977.08/982.03	o 4224
978.37/983.35	o 4223
979.66/984.64	o 4222
980.96/985.93	o 4215
983.65/988.60	o 4214
984.85/989.89	o 4211
986.24/991.23	o 4208
987.53/992.52	o 4207
988.83/993.86	o 4206
990.13/995.16	o 4202
991.42/996.48	o 4201
992.81/997.80	o 4199
993.81/998.83	o 4195
996.30/1001.34	o 4192
997.19/1002.28	o 4189
999.49/1004.56	o 4185
1001.98/1007.01	o 4183
1003.17/1008.22	o 4181
1004.37/1009.45	o 4180
1010.24/1015.38	o 4177
1011.43/1016.55	o 4172
1012.63/1017.73	o 4171
1013.72/1018.90	o 4167
1014.72/1019.83	o 4163
1017.11/1022.21	o 4159
1018.31/1023.41	o 4158
1019.40/1024.59	o 4155
1020.59/1025.76	o 4154
1021.79/1026.98	o 4149
1025.38/1030.53	o 4146
1026.57/1031.72	o 4144
1030.15/1035.33	o 4143
1031.35/1036.57	o 4142
1033.94/1039.12	o 4139
1036.53/1041.73	o 4133
1037.82/1043.03	o 4131
1039.12/1044.34	o 4129
1041.81/1047.02	o 4124
1043.10/1048.33	o 4120
1044.40/1049.66	o 4118
1045.69/1050.94	o 4117
1046.98/1052.23	o 4115
1048.28/1053.55	o 4113
1049.58/1054.85	o 4112
1050.87/1056.13	o 4111
1056.15/1061.48	o 4110
1057.54/1062.80	o 4108
1058.74/1064.09	o 4107
1060.13/1065.41	o 4102
1064.01/1069.38	o 4098
1065.40/1070.73	o 4088
1068.00/1073.35	o 4084
1069.29/1074.65	o 4083
1070.58/1075.97	o 4082
1071.88/1077.29	o 4076
1073.17/1078.56	o 4070
1074.47/1079.86	o 4066
1075.86/1081.20	o 4062
1078.45/1083.85	o 4060
1081.04/1086.47	o 4058
1082.44/1087.83	o 4053
1083.73/1089.19	o 4050
1085.12/1090.54	o 4048
1086.42/1091.88	o 4046
1087.81/1093.20	o 4044
1090.50/1095.98	o 4041
1091.80/1097.25	o 4027
1092.89/1098.39	o 4024
1095.58/1101.10	o 4022
1096.97/1102.48	o 4020
1098.37/1103.83	o 4018
1099.46/1104.97	o 4017
1104.64/1110.18	o 4015
1106.04/1111.52	o 4011
1107.43/1112.91	o 4009
1110.12/1115.60	o 4006
1112.71/1118.29	o 4003
1114.10/1119.65	o 4000
1115.49/1121.00	o 3998
1116.79/1122.34	o 3996
1119.48/1125.08	o 3993
1123.56/1129.13	o 3990
1126.25/1131.88	o 3989
1130.44/1136.00	o 3986
1131.74/1137.40	o 3982
1133.23/1138.83	o 3981
1134.63/1140.24	o 3979
1140.30/1145.92	o 3976
1161.32/1167.05	o 3972
1162.71/1168.43	o 3971
1164.10/1169.85	o 3962
1166.39/1172.15	o 3955
1167.69/1173.47	o 3951
1169.09/1174.82	o 3947
1170.38/1176.13	o 3941
1171.67/1177.40	o 3939
1172.97/1178.70	o 3938
1174.16/1179.99	o 3935
1175.56/1181.38	o 3933
1176.85/1182.60	o 3932
1178.15/1183.91	o 3929
1179.44/1185.22	o 3926
1180.74/1186.52	o 3923
1182.03/1187.88	o 3918
1183.42/1189.26	o 3916
1184.71/1190.57	o 3915
1186.11/1191.90	o 3913
1188.80/1194.63	o 3911
1190.09/1195.96	o 3908
1191.49/1197.33	o 3905
1194.18/1200.04	o 3900
1195.47/1201.39	o 3899
1196.87/1202.70	o 3893
1200.85/1206.77	o 3892
1202.24/1208.14	o 3890
1207.52/1213.40	o 3888
1210.01/1215.96	o 3886
1211.30/1217.22	o 3883
1212.60/1218.51	o 3881
1213.90/1219.83	o 3878
1216.58/1222.51	o 3877
1217.78/1223.79	o 3870
1219.07/1225.07	o 3868
1220.37/1226.37	o 3866
1221.66/1227.69	o 3862
1222.37/1228.40	o 3858
1223.66/1229.69	o 3857
1224.96/1230.98	o 3854
1226.35/1232.30	o 3853
1227.64/1233.62	o 3851
1229.04/1235.02	o 3840
1230.34/1236.36	o 3836
1231.73/1237.73	o 3835
1234.32/1240.38	o 3833
1235.71/1241.72	o 3831
1237.01/1243.06	o 3829
1238.30/1244.39	o 3823
1242.28/1248.37	o 3820
1243.67/1249.72	o 3819
1246.26/1252.39	o 3818
1247.66/1253.76	o 3814
1249.05/1255.11	o 3811
1253.03/1259.15	o 3810
1254.33/1260.42	o 3808
1256.82/1262.95	o 3804
1257.91/1264.09	o 3802
1259.31/1265.43	o 3799
1260.60/1266.74	o 3797
1263.29/1269.41	o 3796
1264.58/1270.71	o 3793
1265.88/1272.03	o 3789
1267.17/1273.33	o 3778
1268.47/1274.64	o 3777
1269.77/1275.92	o 3776
1271.06/1277.23	o 3773
1272.35/1278.55	o 3770
1273.65/1279.88	o 3768
1276.34/1282.51	o 3767
1278.92/1285.19	o 3764
1280.32/1286.54	o 3757
1281.62/1287.87	o 3755
1283.01/1289.21	o 3753
1284.30/1290.53	o 3751
1285.59/1291.88	o 3747
1286.99/1293.20	o 3742
1288.28/1294.52	o 3738
1302.63/1308.99	o 3737
1305.32/1311.65	o 3735
1308.01/1314.36	o 3733
1309.40/1315.70	o 3729
1310.40/1316.76	o 3728
1311.79/1318.12	o 3722
1313.19/1319.50	o 3715
1314.48/1320.87	o 3712
1317.17/1323.59	o 3710
1318.57/1324.96	o 3707
1319.66/1326.05	o 3705
1321.06/1327.42	o 3703
1322.35/1328.74	o 3699
1323.74/1330.13	o 3698
1325.14/1331.52	o 3695
1329.02/1335.45	o 3692
1330.31/1336.79	o 3691
1331.71/1338.19	o 3688
1333.20/1339.60	o 3685
1334.59/1341.01	o 3683
1335.99/1342.43	o 3682
1338.68/1345.19	o 3675
1340.07/1346.58	o 3674
1340.97/1347.45	o 3670
1342.36/1348.85	o 3668
1343.75/1350.27	o 3666
1345.15/1351.69	o 3665
1346.64/1353.14	o 3664
1348.14/1354.60	o 3663
1351.02/1357.55	o 3661
1355.50/1362.07	o 3660
1357.00/1363.51	o 3658
1358.40/1364.94	o 3656
1361.28/1367.86	o 3654
1362.78/1369.35	o 3642
1364.27/1370.81	o 3640
1365.66/1372.29	o 3637
1367.16/1373.78	o 3636
1368.65/1375.21	o 3635
1370.05/1376.62	o 3622
1371.44/1378.01	o 3620
1372.93/1379.51	o 3617
1374.33/1380.92	o 3616
1375.72/1382.35	o 3612
1379.70/1386.30	o 3610
1381.00/1387.64	o 3608
1386.38/1393.00	o 3605
1387.68/1394.38	o 3602
1389.07/1395.74	o 3600
1390.47/1397.14	o 3599
1391.86/1398.56	o 3598
1411.28/1418.03	o 3597
1412.67/1419.49	o 3590
1414.17/1420.95	o 3586
1417.06/1423.86	o 3582
1419.95/1426.80	o 3580
1421.54/1428.31	o 3579
1423.03/1429.82	o 3576
1427.51/1434.31	o 3575
1429.00/1435.80	o 3573
1430.50/1437.33	o 3569
1434.88/1441.77	o 3568
1436.38/1443.27	o 3567
1440.86/1447.71	o 3566
1442.35/1449.20	o 3565
1443.85/1450.71	o 3564
1446.83/1453.79	o 3557
1448.33/1455.29	o 3554
1449.82/1456.78	o 3551
1452.91/1459.82	o 3533
1454.40/1461.33	o 3531
1455.90/1462.80	o 3528
1458.78/1465.71	o 3527
1460.08/1467.00	o 3526
1465.86/1472.88	o 3525
1467.35/1474.37	o 3523
1468.94/1475.90	o 3516
1471.93/1478.93	o 3514
1476.41/1483.44	o 3513
1477.91/1484.94	o 3512
1479.40/1486.42	o 3511
1482.39/1489.42	o 3499
1483.58/1490.68	o 3497
1484.97/1492.04	o 3494
1486.37/1493.49	o 3493
1490.65/1497.72	o 3489
1493.44/1500.59	o 3487
1494.93/1502.07	o 3478
1499.22/1506.34	o 3476
1500.21/1507.32	o 3467
1501.61/1508.76	o 3466
1503.00/1510.19	o 3465
1508.68/1515.81	o 3463
1535.66/1542.95	o 3462
1536.96/1544.28	o 3450
1538.35/1545.64	o 3446
1539.65/1546.98	o 3444
1541.05/1548.31	o 3441
1551.81/1559.11	o 3439
1554.50/1561.85	o 3435
1557.28/1564.67	o 3433
1558.67/1566.04	o 3432
1560.07/1567.42	o 3429
1561.46/1568.83	o 3425
1562.76/1570.18	o 3423
1564.15/1571.53	o 3419
1569.73/1577.17	o 3418
1572.51/1579.95	o 3415
1573.91/1581.37	o 3414
1581.08/1588.60	o 3397
1582.57/1590.05	o 3395
1591.24/1598.76	o 3394
1592.73/1600.23	o 3393
1594.22/1601.72	o 3390
1598.61/1606.19	o 3389
1600.10/1607.65	o 3386
1601.59/1609.12	o 3383
1602.99/1610.58	o 3381
1603.99/1611.54	o 3376
1605.48/1613.01	o 3371
1608.27/1615.90	o 3370
1611.15/1618.78	o 3369
1612.65/1620.22	o 3365
1614.04/1621.65	o 3364
1615.44/1623.07	o 3362
1616.83/1624.49	o 3360
1619.71/1627.31	o 3358
1621.11/1628.71	o 3357
1622.51/1630.16	o 3355
1623.90/1631.57	o 3354
1625.39/1633.00	o 3351
1626.79/1634.48	o 3349
1634.06/1641.80	o 3346
1635.55/1643.23	o 3345
1638.54/1646.20	o 3343
1641.33/1649.06	o 3342
1642.73/1650.48	o 3339
1644.23/1651.93	o 3338
1645.62/1653.39	o 3323
1647.11/1654.85	o 3322
1648.60/1656.33	o 3321
1650.00/1657.79	o 3318
1654.48/1662.24	o 3314
1655.97/1663.71	o 3307
1657.37/1665.20	o 3306
1658.86/1666.66	o 3304
1663.34/1671.10	o 3299
1664.74/1672.58	o 3281
1666.23/1674.02	o 3280
1667.72/1675.50	o 3279
1669.12/1676.98	o 3278
1672.10/1679.98	o 3276
1673.60/1681.49	o 3273
1675.09/1683.00	o 3270
1676.68/1684.51	o 3266
1679.57/1687.42	o 3265
1681.05/1688.92	o 3263
1700.95/1708.97	o 3261
1708.11/1716.13	o 3260
1712.30/1720.31	o 3257
1721.06/1729.18	o 3256
1722.65/1730.72	o 3240
1724.14/1732.28	o 3238
1725.73/1733.85	o 3236
1726.83/1734.94	o 3233
1731.50/1739.60	o 3231
1733.00/1741.12	o 3230
1737.47/1745.65	o 3228
1738.86/1747.06	o 3225
1740.36/1748.53	o 3224
1741.85/1750.03	o 3217
1756.48/1764.77	o 3207
1757.97/1766.27	o 3203
1759.46/1767.71	o 3201
1760.85/1769.19	o 3200
1765.33/1773.70	o 3197
1766.92/1775.22	o 3196
1770.01/1778.34	o 3193
1771.50/1779.86	o 3189
1774.59/1782.91	o 3188
1776.08/1784.40	o 3184
1777.17/1785.51	o 3181
1780.26/1788.64	o 3178
1787.22/1795.69	o 3176
1817.98/1826.51	   
1817.98/1826.51	   search
1817.98/1826.51	     run=0  nbConstraintChecks=3847876870  nbAssignments=2265
1817.98/1826.51	       =>  wckTime=1811.629  cpuTime=1803.15  mem=73M337
1817.98/1826.51	   
1817.98/1826.51	   global
1817.98/1826.51	     nbConstraintChecks=3847876870  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
1817.98/1826.51	     solvingWckTime=1811.613  solvingCpuTime=1803.14  expiredTime=no  totalExploration=no  nbFoundSolutions=0
1817.98/1826.51	     globalCpuTime=1816.3
1817.98/1826.51	       =>  wckTime=1826.265  cpuTime=1816.25  mem=73M337
1817.98/1826.51	   
1817.98/1826.51	   solver DecomposerSolver being built... 
1825.09/1833.74	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-1112768-1215873726/watcher-1112768-1215873726 -o /tmp/evaluation-result-1112768-1215873726/solver-1112768-1215873726 -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-1112768-1215873726.xml 

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


[startup+0 s]
/proc/loadavg: 2.00 2.00 1.93 3/68 16500
/proc/meminfo: memFree=1896976/2055920 swapFree=4192812/4192956
[pid=16500] ppid=16494 vsize=18572 CPUtime=0
/proc/16500/stat : 16500 (runsolver) R 16494 16500 16348 0 -1 4194368 16 0 0 0 0 0 0 0 18 0 1 0 44071207 19017728 293 996147200 4194304 4296836 548682068336 18446744073709551615 218076081447 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/16500/statm: 4643 293 257 25 0 2626 0

[startup+0.0342881 s]
/proc/loadavg: 2.00 2.00 1.93 3/68 16500
/proc/meminfo: memFree=1896976/2055920 swapFree=4192812/4192956
[pid=16500] ppid=16494 vsize=861552 CPUtime=0
/proc/16500/stat : 16500 (java) S 16494 16500 16348 0 -1 0 1867 0 1 0 0 0 0 0 18 0 4 0 44071207 882229248 1554 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0
/proc/16500/statm: 215388 1554 691 9 0 210367 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 861552

[startup+0.101477 s]
/proc/loadavg: 2.00 2.00 1.93 3/68 16500
/proc/meminfo: memFree=1896976/2055920 swapFree=4192812/4192956
[pid=16500] ppid=16494 vsize=865988 CPUtime=0.08
/proc/16500/stat : 16500 (java) S 16494 16500 16348 0 -1 0 3709 0 1 0 6 2 0 0 18 0 9 0 44071207 886771712 3184 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/16500/statm: 216497 3184 1687 9 0 211052 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 865988

[startup+0.301183 s]
/proc/loadavg: 2.00 2.00 1.93 3/68 16500
/proc/meminfo: memFree=1896976/2055920 swapFree=4192812/4192956
[pid=16500] ppid=16494 vsize=866388 CPUtime=0.28
/proc/16500/stat : 16500 (java) S 16494 16500 16348 0 -1 0 5846 0 1 0 24 4 0 0 18 0 9 0 44071207 887181312 5221 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/16500/statm: 216597 5221 1955 9 0 211125 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 866388

[startup+0.701221 s]
/proc/loadavg: 2.00 2.00 1.93 3/68 16500
/proc/meminfo: memFree=1896976/2055920 swapFree=4192812/4192956
[pid=16500] ppid=16494 vsize=868444 CPUtime=0.68
/proc/16500/stat : 16500 (java) S 16494 16500 16348 0 -1 0 13260 0 1 0 60 8 0 0 18 0 9 0 44071207 889286656 12622 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/16500/statm: 217111 12622 2002 9 0 211617 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 868444

[startup+1.50229 s]
/proc/loadavg: 2.00 2.00 1.93 4/91 16534
/proc/meminfo: memFree=1815192/2055920 swapFree=4192812/4192956
[pid=16500] ppid=16494 vsize=868356 CPUtime=1.47
/proc/16500/stat : 16500 (java) S 16494 16500 16348 0 -1 0 22016 0 1 0 135 12 0 0 18 0 9 0 44071207 889196544 21353 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/16500/statm: 217089 21353 2004 9 0 211617 0
[pid=16500/tid=16506] ppid=16494 vsize=868356 CPUtime=1.22
/proc/16500/task/16506/stat : 16506 (java) R 16494 16500 16348 0 -1 64 15770 0 1 0 113 9 0 0 25 0 9 0 44071209 889196544 21353 996147200 134512640 134550740 4294955952 18446744073709551615 102605636 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16500/tid=16507] ppid=16494 vsize=868356 CPUtime=0.07
/proc/16500/task/16507/stat : 16507 (java) S 16494 16500 16348 0 -1 64 4940 0 0 0 6 1 0 0 17 0 9 0 44071210 889196544 21353 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=16500/tid=16508] ppid=16494 vsize=868356 CPUtime=0
/proc/16500/task/16508/stat : 16508 (java) S 16494 16500 16348 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44071210 889196544 21353 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16500/tid=16509] ppid=16494 vsize=868356 CPUtime=0
/proc/16500/task/16509/stat : 16509 (java) S 16494 16500 16348 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44071210 889196544 21353 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16500/tid=16510] ppid=16494 vsize=868356 CPUtime=0
/proc/16500/task/16510/stat : 16510 (java) S 16494 16500 16348 0 -1 64 1 0 0 0 0 0 0 0 22 0 9 0 44071212 889196544 21353 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16500/tid=16511] ppid=16494 vsize=868356 CPUtime=0.15
/proc/16500/task/16511/stat : 16511 (java) S 16494 16500 16348 0 -1 64 610 0 0 0 15 0 0 0 16 0 9 0 44071212 889196544 21353 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16500/tid=16512] ppid=16494 vsize=868356 CPUtime=0
/proc/16500/task/16512/stat : 16512 (java) S 16494 16500 16348 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 44071212 889196544 21353 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16500/tid=16513] ppid=16494 vsize=868356 CPUtime=0
/proc/16500/task/16513/stat : 16513 (java) S 16494 16500 16348 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44071212 889196544 21353 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 868356

[startup+3.10242 s]
/proc/loadavg: 2.00 2.00 1.93 4/91 16534
/proc/meminfo: memFree=1743768/2055920 swapFree=4192812/4192956
[pid=16500] ppid=16494 vsize=868356 CPUtime=3.07
/proc/16500/stat : 16500 (java) S 16494 16500 16348 0 -1 0 25392 0 1 0 293 14 0 0 18 0 9 0 44071207 889196544 24725 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/16500/statm: 217089 24725 2006 9 0 211617 0
[pid=16500/tid=16506] ppid=16494 vsize=868356 CPUtime=2.68
/proc/16500/task/16506/stat : 16506 (java) R 16494 16500 16348 0 -1 64 15801 0 1 0 259 9 0 0 25 0 9 0 44071209 889196544 24725 996147200 134512640 134550740 4294955952 18446744073709551615 4126890890 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16500/tid=16507] ppid=16494 vsize=868356 CPUtime=0.19
/proc/16500/task/16507/stat : 16507 (java) S 16494 16500 16348 0 -1 64 8273 0 0 0 16 3 0 0 17 0 9 0 44071210 889196544 24725 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=16500/tid=16508] ppid=16494 vsize=868356 CPUtime=0
/proc/16500/task/16508/stat : 16508 (java) S 16494 16500 16348 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44071210 889196544 24725 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16500/tid=16509] ppid=16494 vsize=868356 CPUtime=0
/proc/16500/task/16509/stat : 16509 (java) S 16494 16500 16348 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44071210 889196544 24725 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16500/tid=16510] ppid=16494 vsize=868356 CPUtime=0
/proc/16500/task/16510/stat : 16510 (java) S 16494 16500 16348 0 -1 64 1 0 0 0 0 0 0 0 22 0 9 0 44071212 889196544 24725 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16500/tid=16511] ppid=16494 vsize=868356 CPUtime=0.17
/proc/16500/task/16511/stat : 16511 (java) S 16494 16500 16348 0 -1 64 622 0 0 0 17 0 0 0 15 0 9 0 44071212 889196544 24725 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16500/tid=16512] ppid=16494 vsize=868356 CPUtime=0
/proc/16500/task/16512/stat : 16512 (java) S 16494 16500 16348 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 44071212 889196544 24725 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16500/tid=16513] ppid=16494 vsize=868356 CPUtime=0
/proc/16500/task/16513/stat : 16513 (java) S 16494 16500 16348 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44071212 889196544 24725 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 868356

[startup+6.3017 s]
/proc/loadavg: 2.16 2.03 1.94 3/91 16544
/proc/meminfo: memFree=1747936/2055920 swapFree=4192812/4192956
[pid=16500] ppid=16494 vsize=868488 CPUtime=6.25
/proc/16500/stat : 16500 (java) S 16494 16500 16348 0 -1 0 27405 0 1 0 610 15 0 0 18 0 9 0 44071207 889331712 26734 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/16500/statm: 217122 26734 2006 9 0 211650 0
[pid=16500/tid=16506] ppid=16494 vsize=868488 CPUtime=5.73
/proc/16500/task/16506/stat : 16506 (java) R 16494 16500 16348 0 -1 64 15808 0 1 0 563 10 0 0 25 0 9 0 44071209 889331712 26734 996147200 134512640 134550740 4294955952 18446744073709551615 4126889532 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16500/tid=16507] ppid=16494 vsize=868488 CPUtime=0.31
/proc/16500/task/16507/stat : 16507 (java) S 16494 16500 16348 0 -1 64 10269 0 0 0 27 4 0 0 17 0 9 0 44071210 889331712 26734 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=16500/tid=16508] ppid=16494 vsize=868488 CPUtime=0
/proc/16500/task/16508/stat : 16508 (java) S 16494 16500 16348 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44071210 889331712 26734 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16500/tid=16509] ppid=16494 vsize=868488 CPUtime=0
/proc/16500/task/16509/stat : 16509 (java) S 16494 16500 16348 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44071210 889331712 26734 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16500/tid=16510] ppid=16494 vsize=868488 CPUtime=0
/proc/16500/task/16510/stat : 16510 (java) S 16494 16500 16348 0 -1 64 1 0 0 0 0 0 0 0 22 0 9 0 44071212 889331712 26734 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16500/tid=16511] ppid=16494 vsize=868488 CPUtime=0.18
/proc/16500/task/16511/stat : 16511 (java) S 16494 16500 16348 0 -1 64 632 0 0 0 18 0 0 0 15 0 9 0 44071212 889331712 26734 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16500/tid=16512] ppid=16494 vsize=868488 CPUtime=0
/proc/16500/task/16512/stat : 16512 (java) S 16494 16500 16348 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 44071212 889331712 26734 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16500/tid=16513] ppid=16494 vsize=868488 CPUtime=0
/proc/16500/task/16513/stat : 16513 (java) S 16494 16500 16348 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44071212 889331712 26734 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 868488

[startup+12.7023 s]
/proc/loadavg: 2.15 2.03 1.94 3/91 16544
/proc/meminfo: memFree=1724456/2055920 swapFree=4192812/4192956
[pid=16500] ppid=16494 vsize=868488 CPUtime=12.62
/proc/16500/stat : 16500 (java) S 16494 16500 16348 0 -1 0 30450 0 1 0 1245 17 0 0 18 0 9 0 44071207 889331712 29775 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/16500/statm: 217122 29775 2007 9 0 211650 0
[pid=16500/tid=16506] ppid=16494 vsize=868488 CPUtime=11.82
/proc/16500/task/16506/stat : 16506 (java) R 16494 16500 16348 0 -1 64 15814 0 1 0 1172 10 0 0 25 0 9 0 44071209 889331712 29775 996147200 134512640 134550740 4294955952 18446744073709551615 4126889526 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16500/tid=16507] ppid=16494 vsize=868488 CPUtime=0.52
/proc/16500/task/16507/stat : 16507 (java) S 16494 16500 16348 0 -1 64 13262 0 0 0 47 5 0 0 17 0 9 0 44071210 889331712 29775 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=16500/tid=16508] ppid=16494 vsize=868488 CPUtime=0
/proc/16500/task/16508/stat : 16508 (java) S 16494 16500 16348 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44071210 889331712 29775 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16500/tid=16509] ppid=16494 vsize=868488 CPUtime=0
/proc/16500/task/16509/stat : 16509 (java) S 16494 16500 16348 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44071210 889331712 29775 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16500/tid=16510] ppid=16494 vsize=868488 CPUtime=0
/proc/16500/task/16510/stat : 16510 (java) S 16494 16500 16348 0 -1 64 1 0 0 0 0 0 0 0 22 0 9 0 44071212 889331712 29775 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16500/tid=16511] ppid=16494 vsize=868488 CPUtime=0.25
/proc/16500/task/16511/stat : 16511 (java) S 16494 16500 16348 0 -1 64 678 0 0 0 25 0 0 0 16 0 9 0 44071212 889331712 29775 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16500/tid=16512] ppid=16494 vsize=868488 CPUtime=0
/proc/16500/task/16512/stat : 16512 (java) S 16494 16500 16348 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 44071212 889331712 29775 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16500/tid=16513] ppid=16494 vsize=868488 CPUtime=0
/proc/16500/task/16513/stat : 16513 (java) S 16494 16500 16348 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44071212 889331712 29775 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 868488

[startup+25.5014 s]
/proc/loadavg: 2.11 2.03 1.94 3/91 16544
/proc/meminfo: memFree=1652840/2055920 swapFree=4192812/4192956
[pid=16500] ppid=16494 vsize=868576 CPUtime=25.35
/proc/16500/stat : 16500 (java) S 16494 16500 16348 0 -1 0 37514 0 1 0 2514 21 0 0 18 0 9 0 44071207 889421824 36581 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/16500/statm: 217144 36581 2640 9 0 211650 0
[pid=16500/tid=16506] ppid=16494 vsize=868576 CPUtime=23.83
/proc/16500/task/16506/stat : 16506 (java) R 16494 16500 16348 0 -1 64 15882 0 1 0 2371 12 0 0 25 0 9 0 44071209 889421824 36581 996147200 134512640 134550740 4294955952 18446744073709551615 4126892416 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16500/tid=16507] ppid=16494 vsize=868576 CPUtime=1.19
/proc/16500/task/16507/stat : 16507 (java) S 16494 16500 16348 0 -1 64 20231 0 0 0 112 7 0 0 16 0 9 0 44071210 889421824 36581 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=16500/tid=16508] ppid=16494 vsize=868576 CPUtime=0
/proc/16500/task/16508/stat : 16508 (java) S 16494 16500 16348 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44071210 889421824 36581 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16500/tid=16509] ppid=16494 vsize=868576 CPUtime=0
/proc/16500/task/16509/stat : 16509 (java) S 16494 16500 16348 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44071210 889421824 36581 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16500/tid=16510] ppid=16494 vsize=868576 CPUtime=0
/proc/16500/task/16510/stat : 16510 (java) S 16494 16500 16348 0 -1 64 1 0 0 0 0 0 0 0 22 0 9 0 44071212 889421824 36581 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16500/tid=16511] ppid=16494 vsize=868576 CPUtime=0.29
/proc/16500/task/16511/stat : 16511 (java) S 16494 16500 16348 0 -1 64 705 0 0 0 29 0 0 0 16 0 9 0 44071212 889421824 36581 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16500/tid=16512] ppid=16494 vsize=868576 CPUtime=0
/proc/16500/task/16512/stat : 16512 (java) S 16494 16500 16348 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 44071212 889421824 36581 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16500/tid=16513] ppid=16494 vsize=868576 CPUtime=0
/proc/16500/task/16513/stat : 16513 (java) S 16494 16500 16348 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44071212 889421824 36581 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.35
Current children cumulated vsize (KiB) 868576

[startup+51.1016 s]
/proc/loadavg: 2.14 2.04 1.95 3/91 16544
/proc/meminfo: memFree=1577256/2055920 swapFree=4192812/4192956
[pid=16500] ppid=16494 vsize=868576 CPUtime=50.81
/proc/16500/stat : 16500 (java) S 16494 16500 16348 0 -1 0 37514 0 1 0 5059 22 0 0 18 0 9 0 44071207 889421824 36581 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/16500/statm: 217144 36581 2640 9 0 211650 0
[pid=16500/tid=16506] ppid=16494 vsize=868576 CPUtime=49.29
/proc/16500/task/16506/stat : 16506 (java) R 16494 16500 16348 0 -1 64 15882 0 1 0 4917 12 0 0 25 0 9 0 44071209 889421824 36581 996147200 134512640 134550740 4294955952 18446744073709551615 4127211736 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16500/tid=16507] ppid=16494 vsize=868576 CPUtime=1.19
/proc/16500/task/16507/stat : 16507 (java) S 16494 16500 16348 0 -1 64 20231 0 0 0 112 7 0 0 16 0 9 0 44071210 889421824 36581 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=16500/tid=16508] ppid=16494 vsize=868576 CPUtime=0
/proc/16500/task/16508/stat : 16508 (java) S 16494 16500 16348 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44071210 889421824 36581 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16500/tid=16509] ppid=16494 vsize=868576 CPUtime=0
/proc/16500/task/16509/stat : 16509 (java) S 16494 16500 16348 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44071210 889421824 36581 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16500/tid=16510] ppid=16494 vsize=868576 CPUtime=0
/proc/16500/task/16510/stat : 16510 (java) S 16494 16500 16348 0 -1 64 1 0 0 0 0 0 0 0 22 0 9 0 44071212 889421824 36581 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16500/tid=16511] ppid=16494 vsize=868576 CPUtime=0.29
/proc/16500/task/16511/stat : 16511 (java) S 16494 16500 16348 0 -1 64 705 0 0 0 29 0 0 0 16 0 9 0 44071212 889421824 36581 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16500/tid=16512] ppid=16494 vsize=868576 CPUtime=0

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

/proc/16500/task/16509/stat : 16509 (java) S 16494 16500 16348 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44071210 889421824 36594 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16500/tid=16510] ppid=16494 vsize=868576 CPUtime=0
/proc/16500/task/16510/stat : 16510 (java) S 16494 16500 16348 0 -1 64 1 0 0 0 0 0 0 0 22 0 9 0 44071212 889421824 36594 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16500/tid=16511] ppid=16494 vsize=868576 CPUtime=0.33
/proc/16500/task/16511/stat : 16511 (java) S 16494 16500 16348 0 -1 64 719 0 0 0 32 1 0 0 16 0 9 0 44071212 889421824 36594 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16500/tid=16512] ppid=16494 vsize=868576 CPUtime=0
/proc/16500/task/16512/stat : 16512 (java) S 16494 16500 16348 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 44071212 889421824 36594 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16500/tid=16513] ppid=16494 vsize=868576 CPUtime=0
/proc/16500/task/16513/stat : 16513 (java) S 16494 16500 16348 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44071212 889421824 36594 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1809.02
Current children cumulated vsize (KiB) 868576

[startup+1823.9 s]
/proc/loadavg: 2.01 2.00 2.02 3/90 16622
/proc/meminfo: memFree=1750384/2055920 swapFree=4192812/4192956
[pid=16500] ppid=16494 vsize=868576 CPUtime=1815.39
/proc/16500/stat : 16500 (java) S 16494 16500 16348 0 -1 0 37531 0 1 0 181444 95 0 0 18 0 9 0 44071207 889421824 36594 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/16500/statm: 217144 36594 2640 9 0 211650 0
[pid=16500/tid=16506] ppid=16494 vsize=868576 CPUtime=1813.83
/proc/16500/task/16506/stat : 16506 (java) R 16494 16500 16348 0 -1 64 15885 0 1 0 181298 85 0 0 25 0 9 0 44071209 889421824 36594 996147200 134512640 134550740 4294955952 18446744073709551615 4127211644 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16500/tid=16507] ppid=16494 vsize=868576 CPUtime=1.19
/proc/16500/task/16507/stat : 16507 (java) S 16494 16500 16348 0 -1 64 20231 0 0 0 112 7 0 0 16 0 9 0 44071210 889421824 36594 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=16500/tid=16508] ppid=16494 vsize=868576 CPUtime=0
/proc/16500/task/16508/stat : 16508 (java) S 16494 16500 16348 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44071210 889421824 36594 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16500/tid=16509] ppid=16494 vsize=868576 CPUtime=0
/proc/16500/task/16509/stat : 16509 (java) S 16494 16500 16348 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44071210 889421824 36594 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16500/tid=16510] ppid=16494 vsize=868576 CPUtime=0
/proc/16500/task/16510/stat : 16510 (java) S 16494 16500 16348 0 -1 64 1 0 0 0 0 0 0 0 22 0 9 0 44071212 889421824 36594 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16500/tid=16511] ppid=16494 vsize=868576 CPUtime=0.33
/proc/16500/task/16511/stat : 16511 (java) S 16494 16500 16348 0 -1 64 719 0 0 0 32 1 0 0 16 0 9 0 44071212 889421824 36594 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16500/tid=16512] ppid=16494 vsize=868576 CPUtime=0
/proc/16500/task/16512/stat : 16512 (java) S 16494 16500 16348 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 44071212 889421824 36594 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16500/tid=16513] ppid=16494 vsize=868576 CPUtime=0
/proc/16500/task/16513/stat : 16513 (java) S 16494 16500 16348 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44071212 889421824 36594 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1815.39
Current children cumulated vsize (KiB) 868576

[startup+1830.3 s]
/proc/loadavg: 2.16 2.04 2.03 4/90 16622
/proc/meminfo: memFree=1096496/2055920 swapFree=4192812/4192956
[pid=16500] ppid=16494 vsize=868740 CPUtime=1821.71
/proc/16500/stat : 16500 (java) S 16494 16500 16348 0 -1 0 200686 0 1 0 182007 164 0 0 18 0 9 0 44071207 889589760 199540 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/16500/statm: 217185 199540 2618 9 0 211713 0
[pid=16500/tid=16506] ppid=16494 vsize=868740 CPUtime=1817.42
/proc/16500/task/16506/stat : 16506 (java) R 16494 16500 16348 0 -1 64 16000 0 1 0 181656 86 0 0 25 0 9 0 44071209 889589760 199540 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16500/tid=16507] ppid=16494 vsize=868740 CPUtime=3.89
/proc/16500/task/16507/stat : 16507 (java) R 16494 16500 16348 0 -1 64 183225 0 0 0 314 75 0 0 17 0 9 0 44071210 889589760 199540 996147200 134512640 134550740 4294955952 18446744073709551615 102731896 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=16500/tid=16508] ppid=16494 vsize=868740 CPUtime=0
/proc/16500/task/16508/stat : 16508 (java) S 16494 16500 16348 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44071210 889589760 199540 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16500/tid=16509] ppid=16494 vsize=868740 CPUtime=0
/proc/16500/task/16509/stat : 16509 (java) S 16494 16500 16348 0 -1 64 23 0 0 0 0 0 0 0 16 0 9 0 44071210 889589760 199540 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16500/tid=16510] ppid=16494 vsize=868740 CPUtime=0
/proc/16500/task/16510/stat : 16510 (java) S 16494 16500 16348 0 -1 64 1 0 0 0 0 0 0 0 22 0 9 0 44071212 889589760 199540 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16500/tid=16511] ppid=16494 vsize=868740 CPUtime=0.37
/proc/16500/task/16511/stat : 16511 (java) S 16494 16500 16348 0 -1 64 747 0 0 0 36 1 0 0 15 0 9 0 44071212 889589760 199540 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16500/tid=16512] ppid=16494 vsize=868740 CPUtime=0
/proc/16500/task/16512/stat : 16512 (java) S 16494 16500 16348 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 44071212 889589760 199540 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16500/tid=16513] ppid=16494 vsize=868740 CPUtime=0
/proc/16500/task/16513/stat : 16513 (java) S 16494 16500 16348 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44071212 889589760 199540 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1821.71
Current children cumulated vsize (KiB) 868740

[startup+1831.9 s]
/proc/loadavg: 2.16 2.04 2.03 3/90 16622
/proc/meminfo: memFree=1096496/2055920 swapFree=4192812/4192956
[pid=16500] ppid=16494 vsize=868740 CPUtime=1823.3
/proc/16500/stat : 16500 (java) S 16494 16500 16348 0 -1 0 200814 0 1 0 182166 164 0 0 18 0 9 0 44071207 889589760 199540 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/16500/statm: 217185 199540 2618 9 0 211713 0
[pid=16500/tid=16506] ppid=16494 vsize=868740 CPUtime=1817.43
/proc/16500/task/16506/stat : 16506 (java) R 16494 16500 16348 0 -1 64 16002 0 1 0 181657 86 0 0 24 0 9 0 44071209 889589760 199540 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16500/tid=16507] ppid=16494 vsize=868740 CPUtime=5.47
/proc/16500/task/16507/stat : 16507 (java) R 16494 16500 16348 0 -1 64 183351 0 0 0 472 75 0 0 18 0 9 0 44071210 889589760 199540 996147200 134512640 134550740 4294955952 18446744073709551615 103735747 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=16500/tid=16508] ppid=16494 vsize=868740 CPUtime=0
/proc/16500/task/16508/stat : 16508 (java) S 16494 16500 16348 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44071210 889589760 199540 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16500/tid=16509] ppid=16494 vsize=868740 CPUtime=0
/proc/16500/task/16509/stat : 16509 (java) S 16494 16500 16348 0 -1 64 23 0 0 0 0 0 0 0 16 0 9 0 44071210 889589760 199540 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16500/tid=16510] ppid=16494 vsize=868740 CPUtime=0
/proc/16500/task/16510/stat : 16510 (java) S 16494 16500 16348 0 -1 64 1 0 0 0 0 0 0 0 22 0 9 0 44071212 889589760 199540 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16500/tid=16511] ppid=16494 vsize=868740 CPUtime=0.37
/proc/16500/task/16511/stat : 16511 (java) S 16494 16500 16348 0 -1 64 747 0 0 0 36 1 0 0 15 0 9 0 44071212 889589760 199540 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16500/tid=16512] ppid=16494 vsize=868740 CPUtime=0
/proc/16500/task/16512/stat : 16512 (java) S 16494 16500 16348 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 44071212 889589760 199540 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16500/tid=16513] ppid=16494 vsize=868740 CPUtime=0
/proc/16500/task/16513/stat : 16513 (java) S 16494 16500 16348 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44071212 889589760 199540 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1823.3
Current children cumulated vsize (KiB) 868740

[startup+1832.7 s]
/proc/loadavg: 2.16 2.04 2.03 4/90 16622
/proc/meminfo: memFree=1096368/2055920 swapFree=4192812/4192956
[pid=16500] ppid=16494 vsize=868488 CPUtime=1824.1
/proc/16500/stat : 16500 (java) S 16494 16500 16348 0 -1 0 200814 0 1 0 182246 164 0 0 18 0 9 0 44071207 889331712 199477 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/16500/statm: 217122 199477 2618 9 0 211650 0
[pid=16500/tid=16506] ppid=16494 vsize=868488 CPUtime=1817.43
/proc/16500/task/16506/stat : 16506 (java) S 16494 16500 16348 0 -1 64 16002 0 1 0 181657 86 0 0 24 0 9 0 44071209 889331712 199477 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16500/tid=16507] ppid=16494 vsize=868488 CPUtime=6.26
/proc/16500/task/16507/stat : 16507 (java) R 16494 16500 16348 0 -1 64 183351 0 0 0 551 75 0 0 19 0 9 0 44071210 889331712 199477 996147200 134512640 134550740 4294955952 18446744073709551615 103834248 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=16500/tid=16508] ppid=16494 vsize=868488 CPUtime=0
/proc/16500/task/16508/stat : 16508 (java) S 16494 16500 16348 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44071210 889331712 199477 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16500/tid=16509] ppid=16494 vsize=868488 CPUtime=0
/proc/16500/task/16509/stat : 16509 (java) S 16494 16500 16348 0 -1 64 23 0 0 0 0 0 0 0 16 0 9 0 44071210 889331712 199477 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16500/tid=16510] ppid=16494 vsize=868488 CPUtime=0
/proc/16500/task/16510/stat : 16510 (java) S 16494 16500 16348 0 -1 64 1 0 0 0 0 0 0 0 22 0 9 0 44071212 889331712 199477 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16500/tid=16511] ppid=16494 vsize=868488 CPUtime=0.37
/proc/16500/task/16511/stat : 16511 (java) S 16494 16500 16348 0 -1 64 747 0 0 0 36 1 0 0 15 0 9 0 44071212 889331712 199477 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16500/tid=16512] ppid=16494 vsize=868488 CPUtime=0
/proc/16500/task/16512/stat : 16512 (java) S 16494 16500 16348 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 44071212 889331712 199477 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16500/tid=16513] ppid=16494 vsize=868488 CPUtime=0
/proc/16500/task/16513/stat : 16513 (java) S 16494 16500 16348 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44071212 889331712 199477 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1824.1
Current children cumulated vsize (KiB) 868488

[startup+1833.5 s]
/proc/loadavg: 2.16 2.04 2.03 4/90 16622
/proc/meminfo: memFree=1096368/2055920 swapFree=4192812/4192956
[pid=16500] ppid=16494 vsize=868488 CPUtime=1824.9
/proc/16500/stat : 16500 (java) S 16494 16500 16348 0 -1 0 200814 0 1 0 182326 164 0 0 18 0 9 0 44071207 889331712 199477 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/16500/statm: 217122 199477 2618 9 0 211650 0
[pid=16500/tid=16506] ppid=16494 vsize=868488 CPUtime=1817.43
/proc/16500/task/16506/stat : 16506 (java) S 16494 16500 16348 0 -1 64 16002 0 1 0 181657 86 0 0 16 0 9 0 44071209 889331712 199477 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16500/tid=16507] ppid=16494 vsize=868488 CPUtime=7.06
/proc/16500/task/16507/stat : 16507 (java) R 16494 16500 16348 0 -1 64 183351 0 0 0 631 75 0 0 21 0 9 0 44071210 889331712 199477 996147200 134512640 134550740 4294955952 18446744073709551615 102721922 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=16500/tid=16508] ppid=16494 vsize=868488 CPUtime=0
/proc/16500/task/16508/stat : 16508 (java) S 16494 16500 16348 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44071210 889331712 199477 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16500/tid=16509] ppid=16494 vsize=868488 CPUtime=0
/proc/16500/task/16509/stat : 16509 (java) S 16494 16500 16348 0 -1 64 23 0 0 0 0 0 0 0 16 0 9 0 44071210 889331712 199477 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16500/tid=16510] ppid=16494 vsize=868488 CPUtime=0
/proc/16500/task/16510/stat : 16510 (java) S 16494 16500 16348 0 -1 64 1 0 0 0 0 0 0 0 22 0 9 0 44071212 889331712 199477 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16500/tid=16511] ppid=16494 vsize=868488 CPUtime=0.37
/proc/16500/task/16511/stat : 16511 (java) S 16494 16500 16348 0 -1 64 747 0 0 0 36 1 0 0 15 0 9 0 44071212 889331712 199477 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16500/tid=16512] ppid=16494 vsize=868488 CPUtime=0
/proc/16500/task/16512/stat : 16512 (java) S 16494 16500 16348 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 44071212 889331712 199477 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16500/tid=16513] ppid=16494 vsize=868488 CPUtime=0
/proc/16500/task/16513/stat : 16513 (java) S 16494 16500 16348 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44071212 889331712 199477 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1824.9
Current children cumulated vsize (KiB) 868488

[startup+1833.71 s]
/proc/loadavg: 2.16 2.04 2.03 3/90 16622
/proc/meminfo: memFree=1096304/2055920 swapFree=4192812/4192956
[pid=16500] ppid=16494 vsize=868488 CPUtime=1825.09
/proc/16500/stat : 16500 (java) S 16494 16500 16348 0 -1 0 200814 0 1 0 182345 164 0 0 18 0 9 0 44071207 889331712 199477 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/16500/statm: 217122 199477 2618 9 0 211650 0
[pid=16500/tid=16506] ppid=16494 vsize=868488 CPUtime=1817.43
/proc/16500/task/16506/stat : 16506 (java) S 16494 16500 16348 0 -1 64 16002 0 1 0 181657 86 0 0 16 0 9 0 44071209 889331712 199477 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16500/tid=16507] ppid=16494 vsize=868488 CPUtime=7.26
/proc/16500/task/16507/stat : 16507 (java) R 16494 16500 16348 0 -1 64 183351 0 0 0 651 75 0 0 22 0 9 0 44071210 889331712 199477 996147200 134512640 134550740 4294955952 18446744073709551615 103834248 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=16500/tid=16508] ppid=16494 vsize=868488 CPUtime=0
/proc/16500/task/16508/stat : 16508 (java) S 16494 16500 16348 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44071210 889331712 199477 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16500/tid=16509] ppid=16494 vsize=868488 CPUtime=0
/proc/16500/task/16509/stat : 16509 (java) S 16494 16500 16348 0 -1 64 23 0 0 0 0 0 0 0 16 0 9 0 44071210 889331712 199477 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16500/tid=16510] ppid=16494 vsize=868488 CPUtime=0
/proc/16500/task/16510/stat : 16510 (java) S 16494 16500 16348 0 -1 64 1 0 0 0 0 0 0 0 22 0 9 0 44071212 889331712 199477 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16500/tid=16511] ppid=16494 vsize=868488 CPUtime=0.37
/proc/16500/task/16511/stat : 16511 (java) S 16494 16500 16348 0 -1 64 747 0 0 0 36 1 0 0 15 0 9 0 44071212 889331712 199477 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16500/tid=16512] ppid=16494 vsize=868488 CPUtime=0
/proc/16500/task/16512/stat : 16512 (java) S 16494 16500 16348 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 44071212 889331712 199477 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16500/tid=16513] ppid=16494 vsize=868488 CPUtime=0
/proc/16500/task/16513/stat : 16513 (java) S 16494 16500 16348 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44071212 889331712 199477 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1825.09
Current children cumulated vsize (KiB) 868488

[startup+1833.8 s]
/proc/loadavg: 2.16 2.04 2.03 3/90 16622
/proc/meminfo: memFree=1096304/2055920 swapFree=4192812/4192956
[pid=16500] ppid=16494 vsize=0 CPUtime=1825.18
/proc/16500/stat : 16500 (java) Z 16494 16500 16348 0 -1 12 200822 0 1 0 182349 169 0 0 16 0 2 0 44071207 0 0 996147200 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/16500/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1825.18
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1833.87
CPU time (s): 1825.25
CPU user time (s): 1823.49
CPU system time (s): 1.75773
CPU usage (%): 99.5301
Max. virtual memory (cumulated for all children) (KiB): 868740

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1823.49
system time used= 1.75773
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 200822
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= 39173
involuntary context switches= 57546

runsolver used 2.14567 second user time and 5.57315 second system time

The end

Launcher Data (download as text)

Begin job on node57 at 2008-07-12 16:42:07
IDJOB=1112768
IDBENCH=61471
IDSOLVER=360
FILE ID=node57/1112768-1215873726
PBS_JOBID= 7903565
Free space on /tmp= 66544 MiB

SOLVER NAME= AbsconMax 112 pc-d
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-ddeg.xml 1 XSax BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1112768-1215873726/watcher-1112768-1215873726 -o /tmp/evaluation-result-1112768-1215873726/solver-1112768-1215873726 -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-1112768-1215873726.xml

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= 9a4e6098c7014d2e43e37229a7ed8846
RANDOM SEED=1240612733

node57.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.234
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.234
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:       1896168 kB
Buffers:         14028 kB
Cached:          73760 kB
SwapCached:          0 kB
Active:          62976 kB
Inactive:        41080 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1896168 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            6468 kB
Writeback:           0 kB
Mapped:          26160 kB
Slab:            41320 kB
Committed_AS:   128768 kB
PageTables:       1676 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66532 MiB
End job on node57 at 2008-07-12 17:12:41