Trace number 1112773

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? 1986.04 1994.92

General information on the benchmark

Namecsp/fapp/fapp22/
normalized-fapp22-1750-6.xml
MD5SUM3874290cda754699d3686661cf7c347b
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkMSAT TO
Best Number of falsified constraints309
Best CPU time to get the best result obtained on this benchmark3600.03
Satisfiable
(Un)Satisfiability was proved
Number of variables1750
Number of constraints32049
Maximum constraint arity2
Maximum domain size802
Number of constraints which are defined in extension0
Number of constraints which are defined in intension32049
Global constraints used (with number of constraints)

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data (download as text)

0.06/0.08	
0.06/0.08	Abscon 112 (May, 2008)
0.17/0.30	
0.17/0.30	   configuration
0.17/0.30	     name=mrdac-wdeg.xml
0.25/0.37	   
0.25/0.37	   instance
0.25/0.38	     name=HOME/instance-1112773-1215873744.xml
0.32/0.42	   
0.32/0.42	   domains being loaded...
0.32/0.46	   
0.32/0.46	   variables being loaded...
0.62/0.75	     nbVariables=1750  nbDomainTypes=30  minDomainSize=82  maxDomainSize=802  nbTotalValues=813037
0.62/0.75	       =>  wckTime=0.452  cpuTime=0.29  mem=32M295
0.62/0.75	   
0.62/0.75	   predicates being loaded...
0.71/0.82	   
0.71/0.82	   constraints being loaded...
10.81/11.07	   
10.81/11.07	   INFO : Stopping converting binary constraints (cpu=10.17, mem = 43M835)
15.36/15.60	     nbConstraints=32049  nbConvertedConstraints=97  nbConvertConstraintsChecks=31514240  nbExtensionStructures=92
15.36/15.60	     nbSharedExtensionStructures=5  nbConflictsStructures=446  nbSharedConflictsStructures=443
15.36/15.60	     nbUnbuiltConflictsStructures=12074  nbSharedBinaryRepresentations=88545  nbEvaluationManagers=12428
15.36/15.60	     nbSharedEvaluationManagers=19524  minDegree=4  maxDegree=109  minArity=2  maxArity=2
15.36/15.60	       =>  wckTime=15.302  cpuTime=13.97  mem=76M977
15.77/16.04	   
15.77/16.04	   solver LocalSearchSolver being built... 
15.77/16.09	       =>  wckTime=15.79  cpuTime=14.02  mem=73M708
16.55/16.81	
16.55/16.81	s SATISFIABLE
16.55/16.81	o 9465
17.05/17.39	o 9447
17.44/17.78	o 9431
17.64/17.92	o 9418
17.84/18.18	o 9406
18.24/18.55	o 9387
18.53/18.82	o 9374
18.83/19.12	o 9358
19.03/19.34	o 9341
19.33/19.65	o 9335
19.72/20.01	o 9319
20.02/20.32	o 9313
20.32/20.66	o 9308
20.52/20.86	o 9295
20.71/21.06	o 9290
20.82/21.17	o 9272
21.02/21.38	o 9263
21.22/21.55	o 9259
21.42/21.72	o 9258
21.62/21.96	o 9255
21.81/22.19	o 9243
22.01/22.37	o 9238
22.21/22.55	o 9226
22.89/23.25	o 9209
23.09/23.44	o 9197
23.29/23.68	o 9182
23.59/23.93	o 9174
23.79/24.16	o 9168
23.98/24.36	o 9161
24.18/24.56	o 9160
24.28/24.69	o 9150
24.58/24.96	o 9140
24.88/25.21	o 9136
24.97/25.36	o 9123
25.17/25.54	o 9118
25.37/25.75	o 9109
25.57/25.92	o 9102
25.77/26.17	o 9098
25.97/26.38	o 9089
26.36/26.72	o 9084
26.56/26.92	o 9077
26.66/27.02	o 9073
26.76/27.18	o 9063
27.06/27.47	o 9050
27.25/27.69	o 9038
27.55/27.92	o 9037
27.85/28.24	o 9029
28.15/28.53	o 9027
28.94/29.34	o 9021
29.14/29.56	o 9014
29.34/29.79	o 9005
30.23/30.64	o 8998
30.43/30.88	o 8997
30.72/31.16	o 8990
31.02/31.46	o 8987
31.22/31.66	o 8981
31.52/31.95	o 8965
31.81/32.24	o 8953
32.11/32.53	o 8945
32.31/32.78	o 8938
32.70/33.12	o 8928
32.90/33.36	o 8917
33.10/33.56	o 8912
33.40/33.86	o 8911
33.60/34.08	o 8897
33.89/34.35	o 8895
34.09/34.59	o 8885
34.39/34.87	o 8870
34.69/35.18	o 8860
34.88/35.39	o 8851
35.18/35.67	o 8843
35.58/36.06	o 8841
35.87/36.40	o 8833
36.17/36.67	o 8822
36.47/36.97	o 8810
36.77/37.26	o 8808
36.96/37.48	o 8802
37.26/37.75	o 8791
37.46/37.99	o 8786
37.86/38.32	o 8782
38.05/38.54	o 8779
38.24/38.71	o 8771
40.03/40.54	o 8765
40.42/40.99	o 8755
40.92/41.40	o 8750
41.22/41.76	o 8748
41.71/42.25	o 8746
42.11/42.65	o 8730
42.40/42.96	o 8724
42.70/43.29	o 8714
43.10/43.64	o 8702
43.40/43.99	o 8693
43.89/44.44	o 8683
44.29/44.84	o 8679
44.68/45.27	o 8671
45.08/45.65	o 8667
45.38/45.99	o 8657
45.77/46.31	o 8649
46.07/46.66	o 8642
46.46/47.09	o 8629
46.95/47.50	o 8620
47.25/47.90	o 8607
47.65/48.27	o 8598
48.04/48.68	o 8582
48.44/49.02	o 8577
49.73/50.37	o 8567
50.22/50.83	o 8564
50.62/51.27	o 8559
51.02/51.62	o 8554
51.81/52.47	o 8549
52.30/52.93	o 8541
52.70/53.36	o 8535
53.59/54.25	o 8531
54.09/54.72	o 8524
54.98/55.62	o 8518
55.38/56.03	o 8512
55.77/56.47	o 8505
56.17/56.84	o 8502
56.56/57.23	o 8494
56.96/57.61	o 8483
57.36/58.00	o 8480
58.66/59.34	o 8479
59.05/59.71	o 8475
59.35/60.02	o 8466
59.65/60.37	o 8457
60.04/60.75	o 8454
60.44/61.12	o 8445
60.74/61.42	o 8435
61.03/61.80	o 8434
61.52/62.23	o 8430
61.82/62.56	o 8427
62.21/62.91	o 8424
62.51/63.20	o 8418
62.81/63.59	o 8416
63.20/63.99	o 8410
63.60/64.34	o 8403
63.90/64.67	o 8397
64.20/64.95	o 8381
64.49/65.21	o 8373
64.79/65.56	o 8362
65.29/66.02	o 8354
65.68/66.43	o 8351
66.08/66.87	o 8336
66.57/67.32	o 8322
66.97/67.72	o 8311
67.37/68.14	o 8306
67.76/68.57	o 8302
68.16/68.93	o 8294
68.55/69.36	o 8290
68.95/69.74	o 8288
69.34/70.15	o 8286
69.74/70.58	o 8281
70.24/71.01	o 8272
70.54/71.37	o 8265
71.03/71.85	o 8260
71.42/72.26	o 8256
71.82/72.61	o 8245
72.11/72.96	o 8231
72.51/73.38	o 8227
72.91/73.77	o 8222
73.70/74.56	o 8207
74.09/74.92	o 8201
74.49/75.31	o 8196
74.89/75.77	o 8187
75.38/76.27	o 8183
75.88/76.74	o 8173
76.37/77.22	o 8164
76.77/77.66	o 8160
77.17/78.10	o 8152
77.66/78.57	o 8148
78.16/79.02	o 8142
78.65/79.52	o 8138
79.05/79.97	o 8134
79.54/80.49	o 8130
80.04/80.97	o 8126
80.53/81.49	o 8123
81.03/81.98	o 8120
81.53/82.46	o 8117
82.02/82.99	o 8115
82.62/83.51	o 8113
83.11/84.02	o 8099
83.60/84.57	o 8086
84.09/85.06	o 8078
84.59/85.51	o 8068
84.98/85.98	o 8067
85.38/86.38	o 8066
85.78/86.76	o 8062
86.17/87.16	o 8060
86.57/87.53	o 8058
86.97/87.97	o 8057
87.36/88.33	o 8048
87.76/88.76	o 8047
88.25/89.23	o 8041
88.65/89.67	o 8040
89.15/90.16	o 8030
89.64/90.60	o 8029
90.04/91.08	o 8021
90.43/91.50	o 8016
90.83/91.88	o 8010
91.33/92.34	o 7997
92.22/93.24	o 7994
92.61/93.62	o 7988
92.91/93.95	o 7983
93.31/94.36	o 7972
94.10/95.11	o 7960
94.60/95.60	o 7950
94.99/96.08	o 7937
95.39/96.49	o 7930
95.88/96.97	o 7928
96.28/97.34	o 7919
96.68/97.74	o 7915
97.46/98.54	o 7908
97.86/98.95	o 7902
98.25/99.36	o 7897
98.65/99.78	o 7892
99.05/100.19	o 7891
99.44/100.58	o 7886
99.84/100.94	o 7873
100.23/101.32	o 7864
100.63/101.71	o 7860
100.93/102.09	o 7857
101.32/102.46	o 7854
101.72/102.84	o 7851
102.12/103.23	o 7848
102.52/103.64	o 7843
102.92/104.00	o 7840
103.61/104.75	o 7838
103.91/105.07	o 7835
104.31/105.40	o 7832
104.60/105.75	o 7829
105.00/106.11	o 7826
105.30/106.47	o 7824
105.69/106.84	o 7822
105.99/107.17	o 7820
106.39/107.55	o 7818
106.78/107.96	o 7816
107.18/108.35	o 7815
107.58/108.71	o 7814
107.87/109.09	o 7813
108.27/109.49	o 7804
108.67/109.86	o 7803
109.06/110.24	o 7793
109.46/110.63	o 7792
109.76/110.99	o 7791
110.24/111.41	o 7786
110.54/111.79	o 7785
110.94/112.19	o 7784
111.33/112.59	o 7783
111.73/112.99	o 7776
114.80/116.04	o 7774
115.59/116.82	o 7763
116.68/117.99	o 7762
117.57/118.84	o 7752
117.97/119.23	o 7747
118.76/120.02	o 7743
119.15/120.48	o 7733
119.95/121.25	o 7726
120.44/121.70	o 7723
120.84/122.13	o 7716
121.13/122.49	o 7712
121.63/122.91	o 7708
122.32/123.64	o 7704
122.72/124.04	o 7700
123.31/124.66	o 7698
123.71/125.05	o 7692
124.10/125.40	o 7682
124.40/125.79	o 7676
124.80/126.17	o 7670
125.19/126.57	o 7665
125.99/127.34	o 7662
126.38/127.72	o 7657
126.78/128.11	o 7653
127.08/128.49	o 7649
127.47/128.88	o 7645
127.87/129.26	o 7638
128.27/129.63	o 7635
128.66/130.03	o 7633
128.96/130.35	o 7627
129.26/130.69	o 7624
129.95/131.38	o 7623
130.35/131.72	o 7621
130.65/132.07	o 7619
131.04/132.43	o 7618
131.34/132.78	o 7617
131.74/133.14	o 7616
132.03/133.48	o 7615
132.33/133.79	o 7606
132.73/134.14	o 7605
133.12/134.50	o 7604
133.42/134.87	o 7600
133.82/135.22	o 7592
134.11/135.55	o 7591
134.51/135.93	o 7590
134.81/136.26	o 7589
136.28/137.72	o 7582
136.98/138.40	o 7575
138.36/139.82	o 7569
138.76/140.21	o 7565
139.45/140.97	o 7558
139.85/141.34	o 7555
140.25/141.70	o 7550
140.54/142.06	o 7548
141.53/143.07	o 7541
141.83/143.40	o 7538
142.23/143.75	o 7532
142.62/144.11	o 7531
143.22/144.72	o 7519
144.11/145.64	o 7513
144.41/145.97	o 7511
144.71/146.29	o 7509
145.00/146.56	o 7507
145.30/146.82	o 7502
145.60/147.16	o 7500
145.89/147.46	o 7493
146.59/148.15	o 7492
146.99/148.50	o 7489
147.28/148.87	o 7487
147.68/149.20	o 7484
147.98/149.55	o 7481
148.27/149.87	o 7470
148.67/150.21	o 7463
148.97/150.54	o 7457
149.36/150.92	o 7451
149.66/151.28	o 7446
150.06/151.65	o 7442
150.45/152.01	o 7438
150.75/152.35	o 7435
151.15/152.71	o 7432
151.44/153.08	o 7424
151.84/153.40	o 7422
152.14/153.77	o 7412
152.53/154.10	o 7409
152.83/154.42	o 7407
153.13/154.75	o 7405
153.52/155.13	o 7400
153.82/155.45	o 7398
154.22/155.83	o 7397
154.51/156.18	o 7395
154.90/156.53	o 7390
155.20/156.85	o 7388
155.89/157.51	o 7387
156.19/157.83	o 7386
156.49/158.16	o 7385
156.79/158.48	o 7375
157.08/158.74	o 7374
157.38/159.03	o 7373
157.68/159.30	o 7372
157.88/159.58	o 7371
158.87/160.58	o 7368
159.16/160.88	o 7367
159.95/161.65	o 7365
160.25/161.91	o 7361
160.85/162.52	o 7358
161.35/163.09	o 7351
161.65/163.34	o 7350
161.95/163.63	o 7345
162.45/164.19	o 7343
162.75/164.50	o 7340
163.05/164.78	o 7339
163.45/165.10	o 7328
163.65/165.39	o 7320
164.05/165.73	o 7308
164.35/166.03	o 7306
164.65/166.38	o 7305
165.35/167.02	o 7297
165.64/167.40	o 7286
166.04/167.74	o 7282
166.63/168.37	o 7278
167.62/169.39	o 7274
167.92/169.63	o 7267
168.12/169.89	o 7261
168.42/170.18	o 7259
168.82/170.54	o 7256
169.11/170.87	o 7254
169.41/171.19	o 7253
170.01/171.79	o 7251
170.41/172.15	o 7244
170.71/172.46	o 7238
171.02/172.78	o 7234
171.31/173.07	o 7233
171.61/173.39	o 7231
172.02/173.71	o 7229
172.61/174.38	o 7228
173.01/174.70	o 7215
173.31/175.00	o 7208
173.61/175.31	o 7202
173.91/175.62	o 7196
174.21/176.00	o 7191
174.61/176.35	o 7187
175.01/176.70	o 7180
175.32/177.01	o 7176
175.61/177.31	o 7173
175.91/177.63	o 7170
176.21/177.95	o 7167
176.52/178.25	o 7165
176.81/178.58	o 7163
177.21/178.90	o 7161
177.52/179.21	o 7159
177.81/179.54	o 7157
178.11/179.87	o 7156
178.51/180.26	o 7155
178.91/180.61	o 7154
179.21/180.94	o 7153
179.51/181.29	o 7152
180.61/182.35	o 7150
181.31/183.01	o 7143
182.01/183.77	o 7137
182.41/184.17	o 7126
182.71/184.49	o 7120
183.71/185.45	o 7118
184.11/185.81	o 7117
185.31/187.10	o 7114
185.61/187.39	o 7109
186.00/187.72	o 7104
186.31/188.02	o 7095
186.60/188.30	o 7090
188.00/189.76	o 7088
188.30/190.04	o 7086
188.90/190.62	o 7081
189.20/190.96	o 7080
189.50/191.29	o 7072
190.10/191.84	o 7071
190.70/192.47	o 7062
191.00/192.73	o 7055
191.30/193.02	o 7047
192.40/194.18	o 7044
193.09/194.82	o 7041
193.39/195.14	o 7036
193.69/195.45	o 7029
194.10/195.82	o 7026
195.10/196.87	o 7016
195.49/197.21	o 7013
195.79/197.58	o 7008
196.20/197.99	o 7006
197.30/199.05	o 6999
197.68/199.44	o 6996
198.98/200.72	o 6995
199.59/201.36	o 6990
199.98/201.71	o 6986
200.28/202.04	o 6979
200.59/202.32	o 6974
200.88/202.65	o 6970
201.18/202.98	o 6968
201.58/203.30	o 6967
201.88/203.63	o 6966
202.48/204.26	o 6965
202.78/204.60	o 6962
203.18/204.95	o 6960
203.88/205.61	o 6959
204.88/206.60	o 6958
205.59/207.31	o 6954
206.29/208.08	o 6949
206.69/208.47	o 6947
207.09/208.85	o 6943
207.48/209.21	o 6941
207.78/209.57	o 6934
208.18/209.95	o 6932
208.58/210.33	o 6930
208.98/210.73	o 6919
209.28/211.01	o 6917
209.58/211.34	o 6915
209.88/211.66	o 6913
210.18/211.98	o 6912
210.68/212.41	o 6903
210.98/212.77	o 6900
211.38/213.16	o 6897
211.78/213.52	o 6896
212.48/214.22	o 6895
212.78/214.57	o 6888
213.18/214.94	o 6887
213.58/215.33	o 6883
213.98/215.70	o 6879
215.27/217.05	o 6876
216.27/218.03	o 6873
216.57/218.34	o 6867
216.87/218.65	o 6865
218.37/220.17	o 6860
218.67/220.49	o 6858
219.37/221.12	o 6856
219.67/221.42	o 6853
220.07/221.80	o 6851
220.97/222.76	o 6842
221.27/223.08	o 6837
221.57/223.39	o 6832
221.97/223.73	o 6821
222.27/224.09	o 6820
222.67/224.43	o 6815
223.36/225.13	o 6812
223.67/225.47	o 6810
224.06/225.81	o 6805
224.77/226.53	o 6804
225.06/226.88	o 6801
225.87/227.63	o 6798
226.26/228.00	o 6790
226.56/228.37	o 6788
227.26/229.08	o 6787
227.66/229.44	o 6784
227.96/229.78	o 6776
228.36/230.14	o 6768
229.06/230.86	o 6763
229.46/231.22	o 6761
229.76/231.58	o 6758
230.16/231.94	o 6754
230.46/232.27	o 6745
230.86/232.63	o 6740
231.16/232.95	o 6739
231.46/233.24	o 6736
231.76/233.55	o 6735
232.06/233.86	o 6733
232.46/234.21	o 6726
232.76/234.55	o 6724
233.06/234.87	o 6723
233.46/235.22	o 6715
233.76/235.54	o 6709
234.06/235.89	o 6707
234.47/236.22	o 6706
234.77/236.56	o 6698
235.07/236.89	o 6695
235.47/237.27	o 6694
235.87/237.60	o 6690
236.16/237.96	o 6688
236.87/238.69	o 6682
237.96/239.79	o 6677
238.36/240.17	o 6674
238.76/240.56	o 6670
239.16/240.91	o 6669
240.86/242.60	o 6668
241.16/242.95	o 6666
241.55/243.31	o 6665
241.85/243.65	o 6664
243.65/245.40	o 6662
243.95/245.75	o 6660
244.66/246.43	o 6658
245.65/247.50	o 6656
246.05/247.85	o 6655
246.45/248.20	o 6653
246.65/248.48	o 6650
247.05/248.85	o 6648
247.45/249.20	o 6647
247.75/249.56	o 6645
248.06/249.89	o 6644
248.45/250.22	o 6643
248.84/250.64	o 6638
249.24/251.01	o 6635
249.64/251.42	o 6632
250.05/251.81	o 6624
250.94/252.75	o 6619
251.34/253.20	o 6615
251.84/253.61	o 6611
252.25/254.02	o 6609
252.64/254.46	o 6605
253.14/254.95	o 6598
253.65/255.41	o 6591
254.05/255.87	o 6583
254.55/256.31	o 6581
256.45/258.23	o 6578
257.35/259.13	o 6573
258.25/260.03	o 6562
259.54/261.39	o 6550
260.05/261.83	o 6549
260.44/262.26	o 6540
260.94/262.73	o 6533
262.34/264.13	o 6532
262.74/264.55	o 6531
263.15/265.00	o 6527
264.04/265.89	o 6526
264.44/266.28	o 6525
264.84/266.70	o 6520
265.34/267.12	o 6515
265.74/267.57	o 6506
266.24/268.04	o 6500
266.64/268.49	o 6494
267.54/269.33	o 6489
268.84/270.66	o 6488
269.73/271.60	o 6485
270.33/272.10	o 6480
271.13/272.98	o 6475
271.63/273.45	o 6469
272.04/273.86	o 6463
272.43/274.29	o 6457
272.94/274.70	o 6450
273.74/275.52	o 6448
274.14/275.93	o 6447
274.54/276.37	o 6440
275.04/276.81	o 6439
275.44/277.26	o 6437
275.94/277.71	o 6434
276.44/278.24	o 6428
276.94/278.76	o 6419
277.44/279.22	o 6417
277.84/279.67	o 6412
278.74/280.57	o 6399
279.24/281.00	o 6398
280.14/281.96	o 6396
280.63/282.43	o 6392
282.13/283.93	o 6387
282.63/284.41	o 6375
284.03/285.89	o 6368
285.03/286.87	o 6366
285.93/287.78	o 6361
287.33/289.11	o 6360
287.73/289.54	o 6355
288.13/289.96	o 6351
288.53/290.38	o 6348
290.83/292.62	o 6347
293.22/295.08	o 6344
293.82/295.62	o 6343
294.32/296.17	o 6340
294.82/296.69	o 6337
295.32/297.19	o 6336
295.82/297.67	o 6332
296.33/298.15	o 6323
296.82/298.64	o 6320
297.32/299.18	o 6316
297.82/299.67	o 6315
298.32/300.20	o 6310
298.92/300.71	o 6301
299.32/301.18	o 6299
300.32/302.16	o 6293
300.82/302.64	o 6287
302.12/303.92	o 6282
303.02/304.80	o 6275
304.21/306.07	o 6273
304.71/306.51	o 6266
305.12/306.94	o 6259
305.51/307.34	o 6252
306.01/307.80	o 6251
306.81/308.69	o 6249
307.32/309.16	o 6245
309.21/311.04	o 6243
309.71/311.53	o 6242
310.11/311.99	o 6239
310.61/312.47	o 6238
311.11/312.91	o 6237
311.51/313.38	o 6231
312.01/313.82	o 6223
312.91/314.78	o 6219
313.91/315.71	o 6218
315.31/317.16	o 6213
315.81/317.66	o 6206
316.71/318.56	o 6201
317.22/319.07	o 6200
318.11/319.97	o 6199
318.61/320.42	o 6196
319.11/320.91	o 6192
319.51/321.39	o 6185
320.01/321.86	o 6178
320.51/322.35	o 6173
321.51/323.31	o 6169
322.01/323.83	o 6164
322.51/324.36	o 6163
324.91/326.79	o 6160
325.41/327.27	o 6158
326.40/328.22	o 6152
326.90/328.71	o 6147
327.40/329.22	o 6144
327.80/329.69	o 6132
328.30/330.17	o 6130
328.80/330.63	o 6124
329.30/331.14	o 6122
329.79/331.63	o 6119
330.79/332.64	o 6115
331.29/333.18	o 6111
332.89/334.75	o 6108
334.89/336.76	o 6103
335.39/337.29	o 6095
335.89/337.77	o 6092
336.39/338.28	o 6089
336.89/338.80	o 6088
337.49/339.31	o 6087
338.00/339.85	o 6078
340.69/342.55	o 6068
342.89/344.73	o 6066
343.39/345.28	o 6063
343.99/345.84	o 6061
345.08/346.93	o 6059
345.69/347.50	o 6048
346.08/347.99	o 6037
346.68/348.50	o 6034
347.18/349.08	o 6032
347.68/349.54	o 6026
348.18/350.01	o 6020
348.58/350.40	o 6019
348.99/350.80	o 6017
349.38/351.21	o 6010
349.78/351.65	o 6009
350.18/352.06	o 6005
350.68/352.54	o 6004
353.88/355.76	o 6002
354.37/356.22	o 6000
354.77/356.67	o 5999
355.77/357.62	o 5996
356.27/358.12	o 5989
356.68/358.58	o 5984
357.17/359.02	o 5982
357.57/359.49	o 5980
358.08/359.95	o 5973
358.48/360.38	o 5969
358.98/360.87	o 5965
359.48/361.36	o 5959
359.88/361.80	o 5953
360.38/362.26	o 5948
361.38/363.27	o 5944
361.88/363.79	o 5937
362.47/364.30	o 5936
362.97/364.85	o 5931
363.47/365.39	o 5924
364.07/365.90	o 5914
364.48/366.38	o 5911
364.97/366.88	o 5906
365.97/367.83	o 5905
366.37/368.27	o 5904
366.87/368.70	o 5903
367.27/369.15	o 5897
367.78/369.62	o 5893
368.27/370.11	o 5887
368.67/370.56	o 5873
369.07/370.95	o 5868
369.57/371.40	o 5867
369.97/371.86	o 5853
370.46/372.38	o 5852
370.97/372.88	o 5851
371.46/373.36	o 5843
371.96/373.83	o 5838
372.46/374.33	o 5836
373.06/374.91	o 5831
373.55/375.46	o 5828
374.15/376.00	o 5824
374.64/376.55	o 5820
375.14/377.08	o 5819
375.73/377.62	o 5811
376.23/378.17	o 5809
376.82/378.72	o 5807
377.32/379.25	o 5793
377.91/379.84	o 5789
378.51/380.41	o 5783
382.35/384.34	o 5778
382.86/384.86	o 5772
383.44/385.41	o 5766
384.34/386.35	o 5765
384.84/386.81	o 5764
385.23/387.30	o 5763
385.82/387.86	o 5762
386.32/388.35	o 5760
387.90/389.99	o 5758
388.50/390.57	o 5752
388.99/391.09	o 5750
389.59/391.66	o 5748
389.98/392.08	o 5746
390.58/392.64	o 5743
391.07/393.17	o 5738
391.66/393.75	o 5726
392.26/394.31	o 5721
392.75/394.86	o 5718
393.35/395.40	o 5713
393.75/395.89	o 5708
394.34/396.46	o 5707
394.92/397.05	o 5704
396.11/398.21	o 5698
396.60/398.79	o 5697
397.79/399.97	o 5690
398.38/400.56	o 5685
398.98/401.14	o 5680
399.58/401.72	o 5672
400.65/402.82	o 5670
401.15/403.38	o 5669
401.74/403.94	o 5667
402.33/404.50	o 5664
402.82/405.09	o 5661
403.52/405.70	o 5660
404.01/406.25	o 5657
404.61/406.83	o 5655
405.20/407.42	o 5651
405.70/407.99	o 5647
406.29/408.57	o 5643
407.48/409.72	o 5638
407.98/410.27	o 5629
408.57/410.81	o 5624
409.07/411.40	o 5619
409.76/412.00	o 5618
410.35/412.60	o 5614
410.95/413.20	o 5612
412.04/414.36	o 5611
412.63/414.94	o 5609
413.71/416.03	o 5607
414.31/416.62	o 5606
414.89/417.23	o 5600
415.49/417.83	o 5599
416.08/418.43	o 5598
416.67/419.02	o 5592
417.27/419.63	o 5586
417.86/420.25	o 5580
418.35/420.78	o 5579
418.95/421.34	o 5576
419.54/421.93	o 5574
420.12/422.53	o 5572
420.72/423.12	o 5569
421.91/424.37	o 5566
422.60/425.01	o 5564
423.58/426.08	o 5563
424.08/426.60	o 5562
424.67/427.18	o 5554
425.27/427.71	o 5551
425.76/428.28	o 5549
426.36/428.85	o 5545
426.85/429.39	o 5542
427.45/429.98	o 5539
428.04/430.56	o 5535
428.63/431.11	o 5533
429.13/431.64	o 5531
429.72/432.22	o 5528
430.31/432.83	o 5526
431.50/434.01	o 5523
432.09/434.64	o 5522
432.79/435.31	o 5517
433.39/435.93	o 5514
434.08/436.64	o 5513
434.76/437.31	o 5510
435.35/437.95	o 5508
435.95/438.57	o 5506
436.64/439.24	o 5496
438.52/441.12	o 5489
439.02/441.65	o 5483
439.62/442.21	o 5471
440.11/442.75	o 5468
440.61/443.30	o 5467
441.21/443.82	o 5463
441.71/444.37	o 5462
442.80/445.44	o 5457
443.30/445.95	o 5455
443.80/446.49	o 5454
444.38/447.05	o 5448
444.88/447.60	o 5444
445.48/448.13	o 5443
445.98/448.67	o 5441
447.19/449.82	o 5437
447.79/450.41	o 5435
448.29/450.95	o 5434
448.79/451.48	o 5433
450.59/453.21	o 5428
451.09/453.79	o 5424
451.69/454.36	o 5422
452.28/454.95	o 5415
452.88/455.55	o 5412
453.58/456.22	o 5409
454.18/456.83	o 5404
454.78/457.49	o 5400
455.48/458.13	o 5395
456.08/458.78	o 5390
456.78/459.41	o 5386
457.38/460.04	o 5384
458.68/461.38	o 5379
460.67/463.37	o 5367
461.37/464.01	o 5362
461.97/464.63	o 5360
462.67/465.35	o 5352
464.07/466.71	o 5349
464.67/467.38	o 5346
465.77/468.45	o 5338
466.37/469.05	o 5335
467.07/469.72	o 5331
467.67/470.32	o 5329
468.27/470.93	o 5324
468.97/471.61	o 5318
469.57/472.24	o 5311
470.77/473.46	o 5308
471.37/474.07	o 5302
471.97/474.66	o 5296
472.57/475.27	o 5293
473.16/475.84	o 5288
473.76/476.40	o 5282
474.26/476.95	o 5277
475.36/478.09	o 5271
475.96/478.69	o 5265
476.56/479.29	o 5262
477.16/479.83	o 5259
477.76/480.41	o 5255
478.36/481.00	o 5251
478.96/481.60	o 5249
479.56/482.23	o 5248
480.76/483.41	o 5244
482.06/484.74	o 5238
482.66/485.33	o 5234
483.16/485.88	o 5230
483.86/486.51	o 5227
484.46/487.13	o 5226
485.06/487.76	o 5223
485.66/488.38	o 5221
486.26/489.00	o 5216
486.86/489.58	o 5210
487.46/490.18	o 5202
488.15/490.81	o 5195
488.65/491.39	o 5193
489.85/492.59	o 5185
490.45/493.17	o 5180
491.05/493.75	o 5179
491.65/494.34	o 5177
492.26/494.95	o 5174
497.23/499.94	o 5167
497.84/500.56	o 5166
499.03/501.78	o 5160
499.73/502.45	o 5159
500.33/503.09	o 5155
500.93/503.70	o 5152
501.63/504.32	o 5141
502.23/504.95	o 5140
502.83/505.56	o 5138
504.13/506.80	o 5133
504.73/507.44	o 5131
505.33/508.04	o 5125
505.93/508.64	o 5122
507.22/509.96	o 5115
507.93/510.61	o 5114
509.13/511.87	o 5113
509.83/512.55	o 5110
510.53/513.24	o 5105
511.23/513.97	o 5103
511.93/514.67	o 5096
512.62/515.35	o 5094
513.32/516.05	o 5089
514.02/516.75	o 5086
514.62/517.33	o 5083
515.32/518.04	o 5080
516.02/518.75	o 5075
516.72/519.43	o 5070
517.32/520.04	o 5066
518.02/520.74	o 5065
518.72/521.47	o 5064
519.42/522.14	o 5061
520.02/522.79	o 5058
520.72/523.46	o 5052
521.42/524.14	o 5046
522.02/524.77	o 5039
523.31/526.08	o 5035
524.61/527.36	o 5033
525.32/528.02	o 5031
525.91/528.67	o 5025
526.61/529.31	o 5022
539.91/542.65	o 5020
540.51/543.24	o 5013
541.11/543.81	o 5012
541.71/544.45	o 5007
542.31/545.01	o 5004
542.81/545.58	o 4998
543.41/546.14	o 4995
544.01/546.73	o 4993
544.60/547.36	o 4990
545.20/547.98	o 4986
545.80/548.55	o 4983
546.40/549.12	o 4981
547.59/550.30	o 4979
548.19/550.91	o 4975
548.69/551.48	o 4973
549.29/552.10	o 4968
549.99/552.73	o 4966
554.19/556.99	o 4964
555.49/558.24	o 4960
556.09/558.89	o 4956
557.39/560.14	o 4955
558.09/560.81	o 4948
558.69/561.40	o 4945
559.19/561.99	o 4944
559.89/562.61	o 4938
560.49/563.27	o 4937
561.19/563.94	o 4933
561.89/564.63	o 4927
563.18/565.98	o 4918
563.88/566.61	o 4911
564.48/567.25	o 4910
565.18/567.90	o 4908
569.68/572.41	o 4903
570.28/573.09	o 4901
571.68/574.50	o 4900
572.49/575.21	o 4897
573.08/575.88	o 4896
573.78/576.56	o 4894
574.48/577.28	o 4885
575.88/578.63	o 4878
576.48/579.24	o 4871
577.18/579.91	o 4865
577.87/580.61	o 4859
578.47/581.26	o 4854
579.87/582.66	o 4845
581.28/584.06	o 4844
582.07/584.81	o 4841
582.77/585.54	o 4832
583.47/586.20	o 4829
584.17/586.93	o 4826
584.87/587.64	o 4825
585.57/588.33	o 4823
586.27/589.03	o 4819
586.97/589.73	o 4816
587.66/590.45	o 4814
589.16/591.91	o 4813
589.86/592.61	o 4807
590.56/593.33	o 4805
591.26/594.08	o 4802
592.06/594.82	o 4800
592.76/595.53	o 4799
593.47/596.22	o 4792
594.16/596.94	o 4789
594.96/597.70	o 4788
595.66/598.47	o 4781
596.46/599.25	o 4778
597.26/600.02	o 4777
598.76/601.58	o 4774
599.56/602.35	o 4773
600.35/603.12	o 4771
601.06/603.89	o 4765
601.75/604.54	o 4758
602.45/605.25	o 4754
603.95/606.71	o 4749
604.65/607.45	o 4745
606.75/609.55	o 4742
608.25/611.01	o 4740
608.95/611.76	o 4735
609.75/612.50	o 4733
610.45/613.26	o 4732
611.25/614.05	o 4723
612.05/614.83	o 4720
613.54/616.36	o 4710
614.35/617.11	o 4709
615.04/617.85	o 4708
615.74/618.57	o 4704
617.34/620.13	o 4701
618.14/620.93	o 4698
618.94/621.71	o 4696
619.64/622.46	o 4694
620.54/623.30	o 4692
622.04/624.89	o 4689
635.03/637.89	o 4688
635.83/638.69	o 4687
637.53/640.34	o 4684
638.33/641.15	o 4681
642.62/645.44	o 4678
643.42/646.28	o 4671
645.82/648.67	o 4668
646.62/649.46	o 4667
647.42/650.25	o 4659
650.63/653.41	o 4654
651.42/654.21	o 4650
652.92/655.78	o 4648
653.72/656.59	o 4644
654.52/657.38	o 4640
655.32/658.15	o 4636
656.12/658.92	o 4635
656.82/659.69	o 4631
657.62/660.46	o 4629
663.01/665.88	o 4624
663.71/666.59	o 4622
664.51/667.32	o 4620
668.22/671.02	o 4617
668.91/671.78	o 4610
669.71/672.55	o 4609
670.51/673.33	o 4608
671.31/674.14	o 4606
672.11/674.96	o 4601
673.80/676.66	o 4598
675.50/678.33	o 4596
676.40/679.21	o 4592
677.20/680.09	o 4589
679.10/681.92	o 4588
680.90/683.79	o 4585
681.90/684.76	o 4581
684.70/687.53	o 4579
692.99/695.89	o 4578
694.99/697.82	o 4577
696.89/699.76	o 4574
697.90/700.72	o 4571
698.79/701.66	o 4570
699.69/702.54	o 4566
700.59/703.48	o 4563
701.49/704.37	o 4562
703.29/706.16	o 4558
704.19/707.06	o 4555
704.98/707.85	o 4554
705.88/708.73	o 4547
706.78/709.68	o 4544
707.68/710.60	o 4539
713.38/716.25	o 4533
715.28/718.15	o 4529
716.28/719.13	o 4526
718.18/721.02	o 4524
723.08/725.91	o 4519
724.08/726.90	o 4515
724.67/727.58	o 4510
725.67/728.58	o 4507
726.67/729.52	o 4503
727.57/730.48	o 4497
728.57/731.42	o 4496
729.46/732.35	o 4492
730.46/733.36	o 4490
731.46/734.30	o 4486
732.36/735.29	o 4485
733.45/736.32	o 4482
734.45/737.32	o 4481
735.45/738.33	o 4480
736.45/739.35	o 4479
737.45/740.32	o 4477
738.45/741.36	o 4475
740.45/743.33	o 4470
741.45/744.33	o 4468
742.14/745.07	o 4465
744.54/747.44	o 4450
745.54/748.42	o 4448
746.44/749.37	o 4443
747.45/750.33	o 4439
748.35/751.23	o 4436
749.24/752.15	o 4434
750.04/752.96	o 4427
751.04/753.90	o 4426
751.94/754.83	o 4417
752.84/755.75	o 4416
753.73/756.69	o 4414
754.73/757.61	o 4412
764.73/767.66	o 4411
765.73/768.64	o 4410
766.73/769.61	o 4408
769.63/772.56	o 4404
771.63/774.51	o 4400
775.62/778.53	o 4398
776.62/779.52	o 4397
777.62/780.53	o 4392
778.62/781.53	o 4388
779.62/782.54	o 4387
780.52/783.49	o 4386
783.72/786.64	o 4383
784.72/787.63	o 4382
787.71/790.68	o 4378
789.81/792.72	o 4376
790.71/793.68	o 4373
796.91/799.83	o 4372
797.91/800.85	o 4370
801.01/803.96	o 4369
802.11/805.01	o 4364
803.01/805.98	o 4357
804.01/806.99	o 4356
805.11/808.02	o 4351
806.10/809.01	o 4347
807.10/810.01	o 4344
808.00/810.97	o 4331
808.90/811.82	o 4326
809.90/812.81	o 4325
812.60/815.57	o 4321
813.60/816.55	o 4313
814.50/817.47	o 4306
815.50/818.44	o 4301
820.57/823.51	o 4295
821.55/824.55	o 4291
822.63/825.62	o 4290
823.63/826.66	o 4286
824.72/827.74	o 4285
825.72/828.75	o 4284
826.71/829.75	o 4267
827.70/830.79	o 4266
829.80/832.85	o 4265
830.90/833.92	o 4264
831.89/834.94	o 4259
832.89/835.94	o 4254
833.88/836.97	o 4252
835.98/839.04	o 4251
836.97/840.00	o 4249
843.93/847.08	o 4248
845.03/848.12	o 4247
847.02/850.17	o 4246
848.11/851.22	o 4243
849.11/852.27	o 4237
850.10/853.27	o 4231
851.09/854.29	o 4228
853.18/856.35	o 4208
854.18/857.35	o 4192
857.26/860.41	o 4190
857.76/861.00	o 4185
858.75/861.98	o 4183
859.75/862.97	o 4177
860.84/864.00	o 4170
861.74/864.97	o 4166
863.63/866.88	o 4164
864.62/867.88	o 4161
865.61/868.84	o 4160
868.50/871.79	o 4155
870.49/873.76	o 4153
875.57/878.87	o 4151
877.66/880.95	o 4150
878.75/882.00	o 4140
879.65/882.97	o 4138
880.65/883.99	o 4137
881.74/885.05	o 4133
882.73/886.08	o 4132
883.73/887.09	o 4126
884.72/888.07	o 4124
885.72/889.08	o 4117
886.71/890.05	o 4116
898.85/902.22	o 4114
899.84/903.29	o 4113
900.84/904.22	o 4111
901.84/905.28	o 4110
902.93/906.33	o 4108
903.93/907.36	o 4107
904.92/908.35	o 4101
906.02/909.40	o 4100
907.01/910.43	o 4096
908.01/911.46	o 4094
908.99/912.48	o 4091
909.99/913.48	o 4090
911.98/915.41	o 4089
913.87/917.37	o 4088
914.87/918.33	o 4086
915.86/919.35	o 4081
916.86/920.34	o 4076
917.85/921.34	o 4075
919.84/923.31	o 4074
920.83/924.30	o 4071
921.84/925.30	o 4068
922.83/926.32	o 4056
923.73/927.28	o 4052
924.73/928.24	o 4049
925.72/929.25	o 4048
927.71/931.21	o 4047
928.70/932.20	o 4045
930.69/934.21	o 4044
931.59/935.17	o 4041
932.59/936.15	o 4037
933.58/937.16	o 4033
934.57/938.12	o 4029
936.46/940.06	o 4025
937.46/941.08	o 4022
939.55/943.14	o 4018
943.53/947.18	o 4014
950.39/954.06	o 4012
951.39/955.02	o 4006
952.38/956.01	o 4003
954.27/957.98	o 4000
955.26/958.96	o 3997
956.36/960.02	o 3994
957.35/961.01	o 3992
958.35/962.03	o 3991
959.34/963.07	o 3987
960.44/964.12	o 3981
961.43/965.11	o 3966
962.33/966.06	o 3965
963.32/967.06	o 3962
964.32/968.04	o 3953
964.51/968.29	o 3948
965.51/969.24	o 3945
968.30/972.03	o 3944
969.19/972.98	o 3943
970.18/973.95	o 3936
971.08/974.88	o 3935
972.07/975.84	o 3934
972.97/976.79	o 3925
973.77/977.58	o 3922
974.76/978.51	o 3916
975.65/979.46	o 3912
976.55/980.35	o 3908
977.45/981.24	o 3903
978.25/982.04	o 3900
979.14/982.94	o 3899
980.03/983.87	o 3895
981.92/985.76	o 3891
984.71/988.57	o 3888
987.60/991.40	o 3885
988.49/992.35	o 3884
989.29/993.18	o 3883
990.28/994.16	o 3881
991.28/995.14	o 3879
993.17/997.08	o 3876
996.15/1000.05	o 3874
997.15/1001.06	o 3873
1000.13/1004.00	o 3871
1003.12/1007.01	o 3870
1004.01/1007.99	o 3868
1005.00/1008.98	o 3866
1006.10/1010.00	o 3863
1007.00/1010.99	o 3860
1007.99/1011.96	o 3859
1009.98/1013.91	o 3858
1010.98/1014.90	o 3854
1011.97/1015.91	o 3851
1012.97/1016.91	o 3848
1013.96/1017.94	o 3847
1014.95/1018.94	o 3844
1015.95/1019.95	o 3842
1016.94/1020.92	o 3838
1017.94/1021.95	o 3837
1018.94/1022.92	o 3834
1019.93/1023.92	o 3830
1020.93/1024.94	o 3829
1022.92/1026.94	o 3824
1023.91/1027.93	o 3821
1024.90/1028.90	o 3808
1025.90/1029.92	o 3805
1027.89/1031.91	o 3804
1028.79/1032.86	o 3803
1029.78/1033.82	o 3799
1030.68/1034.79	o 3797
1031.67/1035.77	o 3792
1034.76/1038.87	o 3791
1035.85/1039.90	o 3789
1038.94/1043.04	o 3785
1040.04/1044.12	o 3777
1041.03/1045.12	o 3775
1042.03/1046.15	o 3773
1043.03/1047.19	o 3772
1045.11/1049.22	o 3771
1047.20/1051.31	o 3770
1048.20/1052.36	o 3762
1050.28/1054.44	o 3758
1051.28/1055.47	o 3757
1052.37/1056.50	o 3754
1054.46/1058.68	o 3752
1056.65/1060.84	o 3749
1057.75/1061.96	o 3748
1059.83/1064.09	o 3745
1060.93/1065.17	o 3741
1063.12/1067.32	o 3739
1064.81/1069.06	o 3736
1066.01/1070.22	o 3733
1067.10/1071.36	o 3731
1068.20/1072.47	o 3726
1069.29/1073.58	o 3722
1072.67/1076.93	o 3719
1073.77/1078.08	o 3718
1074.96/1079.24	o 3717
1076.15/1080.42	o 3709
1077.25/1081.60	o 3707
1078.44/1082.76	o 3705
1079.54/1083.88	o 3704
1080.73/1085.02	o 3700
1089.88/1094.25	o 3699
1090.57/1094.97	o 3692
1091.77/1096.12	o 3689
1099.43/1103.83	o 3688
1101.72/1106.12	o 3686
1102.81/1107.25	o 3682
1103.91/1108.35	o 3678
1117.35/1121.86	o 3677
1118.54/1123.07	o 3673
1119.64/1124.19	o 3672
1120.73/1125.30	o 3670
1121.93/1126.45	o 3668
1123.02/1127.55	o 3666
1126.30/1130.89	o 3665
1127.39/1131.98	o 3662
1128.49/1133.06	o 3661
1129.58/1134.15	o 3659
1130.68/1135.22	o 3658
1131.77/1136.37	o 3656
1133.66/1138.23	o 3654
1135.85/1140.42	o 3653
1136.94/1141.51	o 3650
1138.04/1142.65	o 3647
1139.13/1143.71	o 3644
1140.13/1144.76	o 3643
1142.11/1146.74	o 3641
1142.91/1147.58	o 3640
1143.81/1148.49	o 3637
1145.89/1150.53	o 3628
1146.79/1151.48	o 3623
1147.78/1152.45	o 3622
1149.77/1154.45	o 3620
1150.77/1155.44	o 3619
1151.76/1156.47	o 3614
1152.46/1157.19	o 3613
1153.46/1158.17	o 3609
1154.45/1159.15	o 3608
1155.45/1160.16	o 3603
1156.44/1161.14	o 3596
1157.43/1162.13	o 3594
1158.43/1163.16	o 3593
1159.42/1164.14	o 3591
1163.30/1168.10	o 3590
1164.30/1169.09	o 3581
1165.29/1170.10	o 3577
1166.29/1171.04	o 3573
1168.18/1172.93	o 3570
1169.17/1173.91	o 3568
1170.07/1174.89	o 3566
1171.16/1175.94	o 3560
1172.16/1176.92	o 3558
1173.15/1177.94	o 3557
1174.15/1178.95	o 3555
1175.05/1179.85	o 3550
1176.04/1180.83	o 3549
1177.04/1181.84	o 3547
1178.03/1182.87	o 3543
1179.02/1183.83	o 3540
1180.02/1184.82	o 3539
1181.02/1185.83	o 3538
1183.01/1187.85	o 3536
1184.10/1188.92	o 3533
1185.09/1189.94	o 3532
1193.75/1198.66	o 3527
1195.64/1200.57	o 3524
1196.63/1201.55	o 3520
1197.63/1202.55	o 3518
1198.53/1203.49	o 3517
1199.52/1204.48	o 3514
1201.51/1206.48	o 3511
1202.01/1206.97	o 3508
1203.00/1207.94	o 3505
1203.60/1208.55	o 3502
1204.60/1209.53	o 3497
1205.49/1210.48	o 3496
1206.48/1211.42	o 3485
1207.38/1212.35	o 3484
1209.27/1214.25	o 3482
1210.27/1215.21	o 3481
1211.16/1216.19	o 3476
1212.15/1217.16	o 3475
1213.15/1218.16	o 3472
1215.14/1220.13	o 3471
1217.13/1222.14	o 3468
1217.93/1222.97	o 3463
1218.72/1223.75	o 3461
1219.72/1224.77	o 3459
1220.71/1225.75	o 3458
1221.70/1226.74	o 3454
1222.60/1227.69	o 3453
1223.59/1228.69	o 3452
1224.59/1229.68	o 3449
1225.68/1230.74	o 3442
1227.67/1232.72	o 3439
1228.67/1233.76	o 3437
1229.66/1234.77	o 3435
1230.66/1235.75	o 3434
1232.64/1237.79	o 3433
1233.64/1238.78	o 3432
1234.73/1239.80	o 3428
1242.01/1247.10	o 3426
1243.00/1248.17	o 3424
1244.10/1249.20	o 3422
1246.18/1251.32	o 3417
1248.37/1253.50	o 3409
1249.37/1254.56	o 3407
1250.46/1255.67	o 3405
1252.75/1257.98	o 3404
1253.94/1259.15	o 3401
1255.14/1260.31	o 3400
1257.42/1262.68	o 3397
1258.62/1263.88	o 3396
1259.81/1265.07	o 3395
1262.20/1267.40	o 3394
1263.29/1268.54	o 3391
1264.48/1269.74	o 3390
1269.16/1274.45	o 3388
1271.55/1276.80	o 3385
1272.74/1278.01	o 3382
1275.73/1281.06	o 3380
1276.92/1282.26	o 3379
1278.11/1283.45	o 3377
1279.31/1284.65	o 3374
1280.50/1285.83	o 3371
1281.60/1286.91	o 3366
1282.69/1288.07	o 3364
1283.89/1289.24	o 3363
1285.08/1290.40	o 3359
1287.46/1292.84	o 3357
1288.56/1293.94	o 3354
1289.75/1295.13	o 3346
1290.56/1295.90	o 3339
1296.43/1301.89	o 3338
1297.72/1303.11	o 3335
1300.11/1305.53	o 3333
1301.30/1306.74	o 3332
1303.78/1309.20	o 3313
1304.98/1310.42	o 3311
1307.37/1312.83	o 3310
1308.56/1314.08	o 3308
1310.95/1316.48	o 3299
1312.24/1317.75	o 3298
1313.53/1319.01	o 3292
1314.73/1320.26	o 3289
1315.92/1321.49	o 3288
1317.32/1322.81	o 3285
1318.51/1324.06	o 3284
1319.81/1325.35	o 3282
1321.10/1326.62	o 3272
1323.58/1329.15	o 3271
1326.07/1331.62	o 3268
1327.27/1332.86	o 3266
1328.56/1334.11	o 3265
1338.61/1344.28	o 3259
1339.90/1345.50	o 3256
1341.09/1346.78	o 3254
1342.39/1348.03	o 3250
1343.58/1349.29	o 3249
1344.88/1350.53	o 3247
1347.36/1353.03	o 3244
1348.66/1354.31	o 3243
1351.25/1356.90	o 3238
1352.35/1358.04	o 3237
1354.44/1360.14	o 3235
1355.53/1361.28	o 3232
1356.82/1362.56	o 3228
1358.11/1363.83	o 3225
1359.41/1365.15	o 3221
1360.70/1366.42	o 3220
1364.28/1370.07	o 3219
1365.57/1371.32	o 3218
1366.77/1372.56	o 3212
1369.35/1375.11	o 3211
1374.43/1380.30	o 3205
1379.60/1385.43	o 3204
1382.09/1388.00	o 3203
1383.38/1389.28	o 3202
1384.67/1390.59	o 3200
1387.26/1393.10	o 3198
1388.46/1394.37	o 3196
1389.75/1395.62	o 3194
1391.05/1396.94	o 3192
1393.53/1399.49	o 3190
1394.92/1400.82	o 3189
1396.22/1402.10	o 3185
1402.48/1408.45	o 3173
1404.98/1410.93	o 3172
1407.17/1413.18	o 3171
1425.88/1431.98	o 3170
1427.17/1433.21	o 3169
1428.36/1434.40	o 3165
1429.55/1435.61	o 3161
1431.84/1437.98	o 3158
1433.04/1439.13	o 3157
1434.13/1440.29	o 3155
1436.52/1442.61	o 3151
1437.42/1443.57	o 3149
1438.61/1444.71	o 3147
1439.70/1445.82	o 3134
1440.80/1446.96	o 3131
1446.27/1452.47	o 3130
1447.36/1453.57	o 3127
1450.34/1456.56	o 3126
1451.44/1457.63	o 3124
1452.53/1458.75	o 3122
1453.63/1459.83	o 3121
1455.72/1461.91	o 3118
1459.80/1466.09	o 3112
1460.89/1467.12	o 3109
1461.89/1468.13	o 3108
1462.88/1469.18	o 3106
1465.96/1472.27	o 3105
1467.06/1473.37	o 3103
1468.16/1474.43	o 3102
1471.25/1477.58	o 3100
1472.34/1478.64	o 3097
1473.34/1479.68	o 3092
1474.23/1480.53	o 3088
1475.23/1481.55	o 3086
1481.40/1487.71	o 3081
1484.58/1490.93	o 3080
1485.67/1492.03	o 3079
1486.77/1493.10	o 3077
1487.86/1494.21	o 3074
1488.96/1495.30	o 3071
1492.14/1498.58	o 3070
1493.23/1499.68	o 3067
1495.42/1501.86	o 3065
1498.91/1505.30	o 3064
1499.90/1506.38	o 3063
1500.99/1507.48	o 3060
1502.09/1508.57	o 3059
1503.18/1509.70	o 3054
1504.28/1510.77	o 3052
1509.85/1516.32	o 3050
1512.14/1518.63	o 3049
1513.33/1519.82	o 3046
1514.53/1521.04	o 3044
1516.91/1523.43	o 3042
1518.11/1524.62	o 3039
1520.39/1527.00	o 3038
1524.97/1531.58	o 3037
1526.16/1532.72	o 3036
1527.36/1533.95	o 3034
1532.24/1538.83	o 3033
1533.43/1540.07	o 3031
1534.72/1541.30	o 3027
1535.91/1542.53	o 3025
1536.90/1543.54	o 3023
1538.10/1544.73	o 3018
1539.29/1545.97	o 3011
1540.49/1547.20	o 3010
1541.78/1548.41	o 3008
1542.88/1549.59	o 2989
1544.07/1550.78	o 2986
1545.27/1551.96	o 2980
1546.47/1553.11	o 2978
1548.76/1555.44	o 2977
1549.85/1556.58	o 2975
1551.04/1557.75	o 2974
1554.23/1560.95	o 2970
1555.42/1562.10	o 2968
1556.51/1563.25	o 2964
1557.71/1564.41	o 2962
1558.80/1565.58	o 2956
1560.00/1566.76	o 2953
1562.69/1569.48	o 2951
1563.88/1570.63	o 2950
1566.07/1572.89	o 2949
1567.26/1574.03	o 2945
1568.36/1575.14	o 2944
1569.45/1576.29	o 2943
1570.64/1577.43	o 2942
1577.51/1584.31	o 2941
1578.60/1585.44	o 2940
1579.69/1586.56	o 2939
1580.88/1587.70	o 2938
1581.68/1588.53	o 2936
1582.68/1589.55	o 2934
1583.87/1590.72	o 2922
1584.96/1591.83	o 2918
1594.12/1601.06	o 2916
1596.51/1603.41	o 2914
1597.60/1604.59	o 2911
1598.80/1605.75	o 2907
1601.19/1608.14	o 2903
1614.13/1621.18	o 2897
1615.42/1622.43	o 2895
1616.62/1623.65	o 2893
1618.90/1625.92	o 2891
1620.10/1627.14	o 2889
1620.60/1627.69	o 2884
1621.89/1628.90	o 2882
1622.48/1629.51	o 2879
1623.68/1630.72	o 2873
1624.88/1631.91	o 2871
1626.07/1633.15	o 2870
1627.26/1634.35	o 2868
1628.45/1635.57	o 2866
1629.75/1636.81	o 2862
1630.94/1638.05	o 2859
1631.74/1638.87	o 2855
1633.03/1640.15	o 2854
1634.22/1641.38	o 2853
1636.81/1643.98	o 2852
1638.11/1645.28	o 2848
1639.30/1646.46	o 2847
1640.60/1647.71	o 2843
1641.59/1648.76	o 2841
1642.89/1650.02	o 2838
1644.08/1651.27	o 2837
1646.56/1653.79	o 2835
1654.33/1661.52	o 2834
1655.42/1662.69	o 2832
1656.81/1664.00	o 2829
1657.71/1664.93	o 2828
1659.00/1666.27	o 2821
1660.30/1667.57	o 2820
1670.64/1677.91	o 2819
1675.91/1683.22	o 2817
1683.67/1691.00	o 2816
1684.87/1692.29	o 2815
1686.26/1693.60	o 2813
1687.56/1694.99	o 2811
1688.85/1696.28	o 2809
1690.14/1697.57	o 2808
1692.83/1700.20	o 2805
1693.62/1701.09	o 2802
1694.92/1702.39	o 2801
1696.31/1703.73	o 2800
1697.61/1705.03	o 2797
1698.90/1706.31	o 2794
1706.46/1713.95	o 2793
1708.75/1716.26	o 2791
1709.95/1717.44	o 2790
1711.04/1718.55	o 2789
1712.23/1719.76	o 2785
1713.53/1721.06	o 2782
1716.21/1723.71	o 2780
1717.50/1725.00	o 2778
1718.70/1726.22	o 2774
1719.99/1727.51	o 2772
1721.29/1728.83	o 2771
1722.58/1730.13	o 2767
1725.16/1732.70	o 2766
1727.75/1735.34	o 2765
1729.05/1736.63	o 2764
1730.34/1737.94	o 2763
1731.63/1739.25	o 2759
1732.92/1740.58	o 2757
1735.51/1743.15	o 2755
1740.80/1748.45	o 2753
1743.38/1751.09	o 2752
1753.83/1761.52	o 2749
1756.42/1764.16	o 2747
1757.71/1765.45	o 2745
1759.00/1766.79	o 2743
1761.69/1769.43	o 2742
1762.98/1770.78	o 2740
1764.27/1772.08	o 2738
1765.56/1773.39	o 2736
1766.96/1774.71	o 2735
1769.54/1777.38	o 2734
1774.92/1782.70	o 2732
1776.21/1784.06	o 2730
1777.50/1785.38	o 2726
1778.90/1786.71	o 2724
1780.19/1788.03	o 2722
1781.48/1789.34	o 2721
1784.17/1792.03	o 2719
1787.45/1795.39	o 2718
1801.39/1809.38	o 2717
1802.78/1810.73	o 2713
1808.15/1816.17	o 2711
1809.54/1817.57	o 2708
1810.93/1818.94	o 2707
1813.82/1821.80	o 2705
1818.00/1826.07	o 2703
1837.21/1845.31	o 2702
1838.60/1846.76	o 2701
1839.99/1848.17	o 2700
1841.48/1849.61	o 2699
1842.88/1851.04	o 2696
1852.82/1861.10	o 2694
1854.32/1862.54	o 2692
1855.72/1863.96	o 2690
1858.50/1866.80	o 2689
1861.39/1869.63	o 2687
1862.79/1871.06	o 2684
1865.47/1873.73	o 2681
1866.86/1875.18	o 2679
1869.65/1877.93	o 2676
1871.04/1879.36	o 2671
1872.53/1880.82	o 2669
1873.92/1882.21	o 2668
1881.19/1889.56	o 2667
1882.68/1891.06	o 2665
1884.17/1892.56	o 2664
1885.67/1894.03	o 2659
1886.76/1895.14	o 2657
1889.75/1898.17	o 2655
1891.14/1899.59	o 2654
1894.22/1902.64	o 2652
1895.51/1903.99	o 2650
1898.60/1907.02	o 2648
1899.99/1908.46	o 2646
1901.38/1909.86	o 2642
1903.67/1912.13	o 2639
1905.17/1913.61	o 2637
1906.26/1914.77	o 2633
1907.56/1916.07	o 2632
1908.45/1916.95	o 2630
1909.85/1918.40	o 2619
1911.34/1919.86	o 2618
1914.42/1922.93	o 2615
1917.41/1925.98	o 2614
1918.90/1927.48	o 2611
1920.39/1928.97	o 2610
1923.18/1931.76	o 2607
1933.53/1942.12	o 2605
1935.02/1943.67	o 2602
1941.19/1949.88	o 2600
1942.78/1951.48	o 2598
1943.68/1952.30	o 2596
1945.07/1953.79	o 2595
1946.56/1955.24	o 2593
1948.06/1956.73	o 2590
1979.11/1987.96	   
1979.11/1987.96	   search
1979.11/1987.96	     run=0  nbConstraintChecks=4197901189  nbAssignments=2578
1979.11/1987.96	       =>  wckTime=1971.876  cpuTime=1963.25  mem=74M723
1979.11/1987.96	   
1979.11/1987.96	   global
1979.11/1987.96	     nbConstraintChecks=4197901189  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
1979.11/1987.96	     solvingWckTime=1971.86  solvingCpuTime=1963.24  expiredTime=no  totalExploration=no  nbFoundSolutions=0
1979.11/1987.96	     globalCpuTime=1977.31
1979.11/1987.96	       =>  wckTime=1987.666  cpuTime=1977.28  mem=74M723
1979.11/1987.96	   
1979.11/1987.96	   solver DecomposerSolver being built... 
1985.82/1994.79	s UNKNOWN

Verifier Data (download as text)

ERROR: no interpretation found !

Watcher Data (download as text)

runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr

command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1112773-1215873744/watcher-1112773-1215873744 -o /tmp/evaluation-result-1112773-1215873744/solver-1112773-1215873744 -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-1112773-1215873744.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.04 2.01 1.91 4/81 17034
/proc/meminfo: memFree=1916320/2055920 swapFree=4192812/4192956
[pid=17034] ppid=17032 vsize=1616 CPUtime=0
/proc/17034/stat : 17034 (java) R 17032 17034 16850 0 -1 0 179 0 0 0 0 0 0 0 18 0 1 0 44073201 1654784 147 996147200 134512640 134550740 4294956128 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0
/proc/17034/statm: 404 148 122 9 0 46 0

[startup+0.0772689 s]
/proc/loadavg: 2.04 2.01 1.91 4/81 17034
/proc/meminfo: memFree=1916320/2055920 swapFree=4192812/4192956
[pid=17034] ppid=17032 vsize=865856 CPUtime=0.06
/proc/17034/stat : 17034 (java) S 17032 17034 16850 0 -1 0 3434 0 1 0 4 2 0 0 18 0 9 0 44073201 886636544 2932 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17034/statm: 216464 2932 1578 9 0 211026 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 865856

[startup+0.102267 s]
/proc/loadavg: 2.04 2.01 1.91 4/81 17034
/proc/meminfo: memFree=1916320/2055920 swapFree=4192812/4192956
[pid=17034] ppid=17032 vsize=865984 CPUtime=0.09
/proc/17034/stat : 17034 (java) S 17032 17034 16850 0 -1 0 3717 0 3 0 7 2 0 0 18 0 9 0 44073201 886767616 3188 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17034/statm: 216496 3188 1686 9 0 211051 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 865984

[startup+0.301299 s]
/proc/loadavg: 2.04 2.01 1.91 4/81 17034
/proc/meminfo: memFree=1916320/2055920 swapFree=4192812/4192956
[pid=17034] ppid=17032 vsize=866268 CPUtime=0.25
/proc/17034/stat : 17034 (java) S 17032 17034 16850 0 -1 0 5298 0 9 0 21 4 0 0 18 0 9 0 44073201 887058432 4730 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17034/statm: 216567 4730 1867 9 0 211115 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 866268

[startup+0.702373 s]
/proc/loadavg: 2.04 2.01 1.91 4/81 17034
/proc/meminfo: memFree=1916320/2055920 swapFree=4192812/4192956
[pid=17034] ppid=17032 vsize=866924 CPUtime=0.62
/proc/17034/stat : 17034 (java) S 17032 17034 16850 0 -1 0 11625 0 18 0 54 8 0 0 18 0 9 0 44073201 887730176 11013 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17034/statm: 216731 11013 1968 9 0 211259 0
Current children cumulated CPU time (s) 0.62
Current children cumulated vsize (KiB) 866924

[startup+1.50151 s]
/proc/loadavg: 2.04 2.01 1.91 3/90 17043
/proc/meminfo: memFree=1861720/2055920 swapFree=4192812/4192956
[pid=17034] ppid=17032 vsize=867404 CPUtime=1.41
/proc/17034/stat : 17034 (java) S 17032 17034 16850 0 -1 0 21994 0 18 0 128 13 0 0 18 0 9 0 44073201 888221696 21347 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17034/statm: 216851 21347 2004 9 0 211379 0
[pid=17034/tid=17036] ppid=17032 vsize=867404 CPUtime=1.13
/proc/17034/task/17036/stat : 17036 (java) R 17032 17034 16850 0 -1 64 15750 0 18 0 104 9 0 0 25 0 9 0 44073202 888221696 21347 996147200 134512640 134550740 4294955952 18446744073709551615 103813005 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17034/tid=17037] ppid=17032 vsize=867404 CPUtime=0.06
/proc/17034/task/17037/stat : 17037 (java) S 17032 17034 16850 0 -1 64 4940 0 0 0 5 1 0 0 16 0 9 0 44073204 888221696 21347 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17034/tid=17038] ppid=17032 vsize=867404 CPUtime=0
/proc/17034/task/17038/stat : 17038 (java) S 17032 17034 16850 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44073204 888221696 21347 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17034/tid=17039] ppid=17032 vsize=867404 CPUtime=0
/proc/17034/task/17039/stat : 17039 (java) S 17032 17034 16850 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44073204 888221696 21347 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17034/tid=17040] ppid=17032 vsize=867404 CPUtime=0
/proc/17034/task/17040/stat : 17040 (java) S 17032 17034 16850 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 44073206 888221696 21347 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17034/tid=17041] ppid=17032 vsize=867404 CPUtime=0.18
/proc/17034/task/17041/stat : 17041 (java) S 17032 17034 16850 0 -1 64 607 0 0 0 18 0 0 0 16 0 9 0 44073206 888221696 21347 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17034/tid=17042] ppid=17032 vsize=867404 CPUtime=0
/proc/17034/task/17042/stat : 17042 (java) S 17032 17034 16850 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44073206 888221696 21347 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17034/tid=17043] ppid=17032 vsize=867404 CPUtime=0
/proc/17034/task/17043/stat : 17043 (java) S 17032 17034 16850 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44073206 888221696 21347 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.41
Current children cumulated vsize (KiB) 867404

[startup+3.10178 s]
/proc/loadavg: 2.04 2.01 1.91 3/90 17043
/proc/meminfo: memFree=1820760/2055920 swapFree=4192812/4192956
[pid=17034] ppid=17032 vsize=867404 CPUtime=2.99
/proc/17034/stat : 17034 (java) S 17032 17034 16850 0 -1 0 25371 0 18 0 285 14 0 0 18 0 9 0 44073201 888221696 24721 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17034/statm: 216851 24721 2006 9 0 211379 0
[pid=17034/tid=17036] ppid=17032 vsize=867404 CPUtime=2.59
/proc/17034/task/17036/stat : 17036 (java) R 17032 17034 16850 0 -1 64 15784 0 18 0 250 9 0 0 25 0 9 0 44073202 888221696 24721 996147200 134512640 134550740 4294955952 18446744073709551615 4126916953 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17034/tid=17037] ppid=17032 vsize=867404 CPUtime=0.18
/proc/17034/task/17037/stat : 17037 (java) S 17032 17034 16850 0 -1 64 8273 0 0 0 15 3 0 0 17 0 9 0 44073204 888221696 24721 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17034/tid=17038] ppid=17032 vsize=867404 CPUtime=0
/proc/17034/task/17038/stat : 17038 (java) S 17032 17034 16850 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44073204 888221696 24721 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17034/tid=17039] ppid=17032 vsize=867404 CPUtime=0
/proc/17034/task/17039/stat : 17039 (java) S 17032 17034 16850 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44073204 888221696 24721 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17034/tid=17040] ppid=17032 vsize=867404 CPUtime=0
/proc/17034/task/17040/stat : 17040 (java) S 17032 17034 16850 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 44073206 888221696 24721 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17034/tid=17041] ppid=17032 vsize=867404 CPUtime=0.2
/proc/17034/task/17041/stat : 17041 (java) S 17032 17034 16850 0 -1 64 617 0 0 0 20 0 0 0 15 0 9 0 44073206 888221696 24721 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17034/tid=17042] ppid=17032 vsize=867404 CPUtime=0
/proc/17034/task/17042/stat : 17042 (java) S 17032 17034 16850 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44073206 888221696 24721 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17034/tid=17043] ppid=17032 vsize=867404 CPUtime=0
/proc/17034/task/17043/stat : 17043 (java) S 17032 17034 16850 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44073206 888221696 24721 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.99
Current children cumulated vsize (KiB) 867404

[startup+6.30235 s]
/proc/loadavg: 2.04 2.01 1.91 3/90 17043
/proc/meminfo: memFree=1812312/2055920 swapFree=4192812/4192956
[pid=17034] ppid=17032 vsize=867404 CPUtime=6.16
/proc/17034/stat : 17034 (java) S 17032 17034 16850 0 -1 0 27390 0 18 0 600 16 0 0 18 0 9 0 44073201 888221696 26735 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17034/statm: 216851 26735 2006 9 0 211379 0
[pid=17034/tid=17036] ppid=17032 vsize=867404 CPUtime=5.62
/proc/17034/task/17036/stat : 17036 (java) R 17032 17034 16850 0 -1 64 15792 0 18 0 552 10 0 0 25 0 9 0 44073202 888221696 26735 996147200 134512640 134550740 4294955952 18446744073709551615 4126893175 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17034/tid=17037] ppid=17032 vsize=867404 CPUtime=0.3
/proc/17034/task/17037/stat : 17037 (java) S 17032 17034 16850 0 -1 64 10277 0 0 0 26 4 0 0 17 0 9 0 44073204 888221696 26735 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17034/tid=17038] ppid=17032 vsize=867404 CPUtime=0
/proc/17034/task/17038/stat : 17038 (java) S 17032 17034 16850 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44073204 888221696 26735 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17034/tid=17039] ppid=17032 vsize=867404 CPUtime=0
/proc/17034/task/17039/stat : 17039 (java) S 17032 17034 16850 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44073204 888221696 26735 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17034/tid=17040] ppid=17032 vsize=867404 CPUtime=0
/proc/17034/task/17040/stat : 17040 (java) S 17032 17034 16850 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 44073206 888221696 26735 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17034/tid=17041] ppid=17032 vsize=867404 CPUtime=0.2
/proc/17034/task/17041/stat : 17041 (java) S 17032 17034 16850 0 -1 64 624 0 0 0 20 0 0 0 15 0 9 0 44073206 888221696 26735 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17034/tid=17042] ppid=17032 vsize=867404 CPUtime=0
/proc/17034/task/17042/stat : 17042 (java) S 17032 17034 16850 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44073206 888221696 26735 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17034/tid=17043] ppid=17032 vsize=867404 CPUtime=0
/proc/17034/task/17043/stat : 17043 (java) S 17032 17034 16850 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44073206 888221696 26735 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.16
Current children cumulated vsize (KiB) 867404

[startup+12.7015 s]
/proc/loadavg: 2.03 2.01 1.91 4/90 17043
/proc/meminfo: memFree=1807320/2055920 swapFree=4192812/4192956
[pid=17034] ppid=17032 vsize=867404 CPUtime=12.5
/proc/17034/stat : 17034 (java) S 17032 17034 16850 0 -1 0 28910 0 18 0 1233 17 0 0 18 0 9 0 44073201 888221696 28252 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17034/statm: 216851 28252 2007 9 0 211379 0
[pid=17034/tid=17036] ppid=17032 vsize=867404 CPUtime=11.79
/proc/17034/task/17036/stat : 17036 (java) R 17032 17034 16850 0 -1 64 15797 0 18 0 1169 10 0 0 25 0 9 0 44073202 888221696 28252 996147200 134512640 134550740 4294955952 18446744073709551615 4126926668 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17034/tid=17037] ppid=17032 vsize=867404 CPUtime=0.4
/proc/17034/task/17037/stat : 17037 (java) S 17032 17034 16850 0 -1 64 11747 0 0 0 35 5 0 0 16 0 9 0 44073204 888221696 28252 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17034/tid=17038] ppid=17032 vsize=867404 CPUtime=0
/proc/17034/task/17038/stat : 17038 (java) S 17032 17034 16850 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44073204 888221696 28252 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17034/tid=17039] ppid=17032 vsize=867404 CPUtime=0
/proc/17034/task/17039/stat : 17039 (java) S 17032 17034 16850 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44073204 888221696 28252 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17034/tid=17040] ppid=17032 vsize=867404 CPUtime=0
/proc/17034/task/17040/stat : 17040 (java) S 17032 17034 16850 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 44073206 888221696 28252 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17034/tid=17041] ppid=17032 vsize=867404 CPUtime=0.27
/proc/17034/task/17041/stat : 17041 (java) S 17032 17034 16850 0 -1 64 669 0 0 0 27 0 0 0 16 0 9 0 44073206 888221696 28252 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17034/tid=17042] ppid=17032 vsize=867404 CPUtime=0
/proc/17034/task/17042/stat : 17042 (java) S 17032 17034 16850 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44073206 888221696 28252 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17034/tid=17043] ppid=17032 vsize=867404 CPUtime=0
/proc/17034/task/17043/stat : 17043 (java) S 17032 17034 16850 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44073206 888221696 28252 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.5
Current children cumulated vsize (KiB) 867404

[startup+25.5027 s]
/proc/loadavg: 2.02 2.01 1.91 3/90 17043
/proc/meminfo: memFree=1774232/2055920 swapFree=4192812/4192956
[pid=17034] ppid=17032 vsize=867492 CPUtime=25.17
/proc/17034/stat : 17034 (java) S 17032 17034 16850 0 -1 0 37797 0 18 0 2495 22 0 0 18 0 9 0 44073201 888311808 36879 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17034/statm: 216873 36879 2640 9 0 211379 0
[pid=17034/tid=17036] ppid=17032 vsize=867492 CPUtime=23.51
/proc/17034/task/17036/stat : 17036 (java) R 17032 17034 16850 0 -1 64 15866 0 18 0 2340 11 0 0 25 0 9 0 44073202 888311808 36879 996147200 134512640 134550740 4294955952 18446744073709551615 4126893744 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17034/tid=17037] ppid=17032 vsize=867492 CPUtime=1.3
/proc/17034/task/17037/stat : 17037 (java) S 17032 17034 16850 0 -1 64 20537 0 0 0 121 9 0 0 16 0 9 0 44073204 888311808 36879 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17034/tid=17038] ppid=17032 vsize=867492 CPUtime=0
/proc/17034/task/17038/stat : 17038 (java) S 17032 17034 16850 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44073204 888311808 36879 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17034/tid=17039] ppid=17032 vsize=867492 CPUtime=0
/proc/17034/task/17039/stat : 17039 (java) S 17032 17034 16850 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44073204 888311808 36879 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17034/tid=17040] ppid=17032 vsize=867492 CPUtime=0
/proc/17034/task/17040/stat : 17040 (java) S 17032 17034 16850 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 44073206 888311808 36879 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17034/tid=17041] ppid=17032 vsize=867492 CPUtime=0.32
/proc/17034/task/17041/stat : 17041 (java) S 17032 17034 16850 0 -1 64 697 0 0 0 32 0 0 0 15 0 9 0 44073206 888311808 36879 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17034/tid=17042] ppid=17032 vsize=867492 CPUtime=0
/proc/17034/task/17042/stat : 17042 (java) S 17032 17034 16850 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44073206 888311808 36879 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17034/tid=17043] ppid=17032 vsize=867492 CPUtime=0
/proc/17034/task/17043/stat : 17043 (java) S 17032 17034 16850 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44073206 888311808 36879 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.17
Current children cumulated vsize (KiB) 867492

[startup+51.1022 s]
/proc/loadavg: 2.02 2.01 1.91 3/90 17043
/proc/meminfo: memFree=1774168/2055920 swapFree=4192812/4192956
[pid=17034] ppid=17032 vsize=867492 CPUtime=50.52
/proc/17034/stat : 17034 (java) S 17032 17034 16850 0 -1 0 37797 0 18 0 5029 23 0 0 18 0 9 0 44073201 888311808 36879 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17034/statm: 216873 36879 2640 9 0 211379 0
[pid=17034/tid=17036] ppid=17032 vsize=867492 CPUtime=48.87
/proc/17034/task/17036/stat : 17036 (java) R 17032 17034 16850 0 -1 64 15866 0 18 0 4874 13 0 0 25 0 9 0 44073202 888311808 36879 996147200 134512640 134550740 4294955952 18446744073709551615 4126889398 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17034/tid=17037] ppid=17032 vsize=867492 CPUtime=1.3
/proc/17034/task/17037/stat : 17037 (java) S 17032 17034 16850 0 -1 64 20537 0 0 0 121 9 0 0 16 0 9 0 44073204 888311808 36879 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17034/tid=17038] ppid=17032 vsize=867492 CPUtime=0
/proc/17034/task/17038/stat : 17038 (java) S 17032 17034 16850 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44073204 888311808 36879 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17034/tid=17039] ppid=17032 vsize=867492 CPUtime=0
/proc/17034/task/17039/stat : 17039 (java) S 17032 17034 16850 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44073204 888311808 36879 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17034/tid=17040] ppid=17032 vsize=867492 CPUtime=0
/proc/17034/task/17040/stat : 17040 (java) S 17032 17034 16850 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 44073206 888311808 36879 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17034/tid=17041] ppid=17032 vsize=867492 CPUtime=0.32
/proc/17034/task/17041/stat : 17041 (java) S 17032 17034 16850 0 -1 64 697 0 0 0 32 0 0 0 16 0 9 0 44073206 888311808 36879 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17034/tid=17042] ppid=17032 vsize=867492 CPUtime=0

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

/proc/17034/task/17040/stat : 17040 (java) S 17032 17034 16850 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 44073206 888311808 36892 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17034/tid=17041] ppid=17032 vsize=867492 CPUtime=0.36
/proc/17034/task/17041/stat : 17041 (java) S 17032 17034 16850 0 -1 64 711 0 0 0 35 1 0 0 16 0 9 0 44073206 888311808 36892 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17034/tid=17042] ppid=17032 vsize=867492 CPUtime=0
/proc/17034/task/17042/stat : 17042 (java) S 17032 17034 16850 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44073206 888311808 36892 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17034/tid=17043] ppid=17032 vsize=867492 CPUtime=0
/proc/17034/task/17043/stat : 17043 (java) S 17032 17034 16850 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44073206 888311808 36892 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1953.64
Current children cumulated vsize (KiB) 867492

Solver just ended. Dumping a history of the last processes samples

[startup+1971.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/90 17138
/proc/meminfo: memFree=1537496/2055920 swapFree=4192812/4192956
[pid=17034] ppid=17032 vsize=867492 CPUtime=1962.39
/proc/17034/stat : 17034 (java) S 17032 17034 16850 0 -1 0 37813 0 18 0 196138 101 0 0 18 0 9 0 44073201 888311808 36892 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17034/statm: 216873 36892 2640 9 0 211379 0
[pid=17034/tid=17036] ppid=17032 vsize=867492 CPUtime=1960.69
/proc/17034/task/17036/stat : 17036 (java) R 17032 17034 16850 0 -1 64 15868 0 18 0 195980 89 0 0 25 0 9 0 44073202 888311808 36892 996147200 134512640 134550740 4294955952 18446744073709551615 4127211608 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17034/tid=17037] ppid=17032 vsize=867492 CPUtime=1.3
/proc/17034/task/17037/stat : 17037 (java) S 17032 17034 16850 0 -1 64 20537 0 0 0 121 9 0 0 16 0 9 0 44073204 888311808 36892 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17034/tid=17038] ppid=17032 vsize=867492 CPUtime=0
/proc/17034/task/17038/stat : 17038 (java) S 17032 17034 16850 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44073204 888311808 36892 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17034/tid=17039] ppid=17032 vsize=867492 CPUtime=0
/proc/17034/task/17039/stat : 17039 (java) S 17032 17034 16850 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44073204 888311808 36892 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17034/tid=17040] ppid=17032 vsize=867492 CPUtime=0
/proc/17034/task/17040/stat : 17040 (java) S 17032 17034 16850 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 44073206 888311808 36892 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17034/tid=17041] ppid=17032 vsize=867492 CPUtime=0.36
/proc/17034/task/17041/stat : 17041 (java) S 17032 17034 16850 0 -1 64 711 0 0 0 35 1 0 0 16 0 9 0 44073206 888311808 36892 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17034/tid=17042] ppid=17032 vsize=867492 CPUtime=0
/proc/17034/task/17042/stat : 17042 (java) S 17032 17034 16850 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44073206 888311808 36892 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17034/tid=17043] ppid=17032 vsize=867492 CPUtime=0
/proc/17034/task/17043/stat : 17043 (java) S 17032 17034 16850 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44073206 888311808 36892 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1962.39
Current children cumulated vsize (KiB) 867492

[startup+1983.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/90 17138
/proc/meminfo: memFree=1537496/2055920 swapFree=4192812/4192956
[pid=17034] ppid=17032 vsize=867492 CPUtime=1975.13
/proc/17034/stat : 17034 (java) S 17032 17034 16850 0 -1 0 37813 0 18 0 197412 101 0 0 18 0 9 0 44073201 888311808 36892 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17034/statm: 216873 36892 2640 9 0 211379 0
[pid=17034/tid=17036] ppid=17032 vsize=867492 CPUtime=1973.43
/proc/17034/task/17036/stat : 17036 (java) R 17032 17034 16850 0 -1 64 15868 0 18 0 197254 89 0 0 25 0 9 0 44073202 888311808 36892 996147200 134512640 134550740 4294955952 18446744073709551615 4126892275 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17034/tid=17037] ppid=17032 vsize=867492 CPUtime=1.3
/proc/17034/task/17037/stat : 17037 (java) S 17032 17034 16850 0 -1 64 20537 0 0 0 121 9 0 0 16 0 9 0 44073204 888311808 36892 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17034/tid=17038] ppid=17032 vsize=867492 CPUtime=0
/proc/17034/task/17038/stat : 17038 (java) S 17032 17034 16850 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44073204 888311808 36892 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17034/tid=17039] ppid=17032 vsize=867492 CPUtime=0
/proc/17034/task/17039/stat : 17039 (java) S 17032 17034 16850 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44073204 888311808 36892 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17034/tid=17040] ppid=17032 vsize=867492 CPUtime=0
/proc/17034/task/17040/stat : 17040 (java) S 17032 17034 16850 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 44073206 888311808 36892 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17034/tid=17041] ppid=17032 vsize=867492 CPUtime=0.36
/proc/17034/task/17041/stat : 17041 (java) S 17032 17034 16850 0 -1 64 711 0 0 0 35 1 0 0 16 0 9 0 44073206 888311808 36892 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17034/tid=17042] ppid=17032 vsize=867492 CPUtime=0
/proc/17034/task/17042/stat : 17042 (java) S 17032 17034 16850 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44073206 888311808 36892 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17034/tid=17043] ppid=17032 vsize=867492 CPUtime=0
/proc/17034/task/17043/stat : 17043 (java) S 17032 17034 16850 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44073206 888311808 36892 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1975.13
Current children cumulated vsize (KiB) 867492

[startup+1990.3 s]
/proc/loadavg: 2.08 2.02 2.01 4/90 17138
/proc/meminfo: memFree=1056216/2055920 swapFree=4192812/4192956
[pid=17034] ppid=17032 vsize=867404 CPUtime=1981.45
/proc/17034/stat : 17034 (java) S 17032 17034 16850 0 -1 0 190137 0 18 0 197985 160 0 0 18 0 9 0 44073201 888221696 189135 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17034/statm: 216851 189135 2618 9 0 211379 0
[pid=17034/tid=17036] ppid=17032 vsize=867404 CPUtime=1978.34
/proc/17034/task/17036/stat : 17036 (java) R 17032 17034 16850 0 -1 64 15958 0 18 0 197744 90 0 0 25 0 9 0 44073202 888221696 189135 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17034/tid=17037] ppid=17032 vsize=867404 CPUtime=2.67
/proc/17034/task/17037/stat : 17037 (java) R 17032 17034 16850 0 -1 64 172723 0 0 0 200 67 0 0 16 0 9 0 44073204 888221696 189135 996147200 134512640 134550740 4294955952 18446744073709551615 103735747 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=17034/tid=17038] ppid=17032 vsize=867404 CPUtime=0
/proc/17034/task/17038/stat : 17038 (java) S 17032 17034 16850 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44073204 888221696 189135 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17034/tid=17039] ppid=17032 vsize=867404 CPUtime=0
/proc/17034/task/17039/stat : 17039 (java) S 17032 17034 16850 0 -1 64 23 0 0 0 0 0 0 0 15 0 9 0 44073204 888221696 189135 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17034/tid=17040] ppid=17032 vsize=867404 CPUtime=0
/proc/17034/task/17040/stat : 17040 (java) S 17032 17034 16850 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 44073206 888221696 189135 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17034/tid=17041] ppid=17032 vsize=867404 CPUtime=0.41
/proc/17034/task/17041/stat : 17041 (java) S 17032 17034 16850 0 -1 64 741 0 0 0 40 1 0 0 15 0 9 0 44073206 888221696 189135 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17034/tid=17042] ppid=17032 vsize=867404 CPUtime=0
/proc/17034/task/17042/stat : 17042 (java) S 17032 17034 16850 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44073206 888221696 189135 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17034/tid=17043] ppid=17032 vsize=867404 CPUtime=0
/proc/17034/task/17043/stat : 17043 (java) S 17032 17034 16850 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44073206 888221696 189135 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1981.45
Current children cumulated vsize (KiB) 867404

[startup+1993.5 s]
/proc/loadavg: 2.15 2.03 2.01 4/90 17138
/proc/meminfo: memFree=885784/2055920 swapFree=4192812/4192956
[pid=17034] ppid=17032 vsize=867404 CPUtime=1984.63
/proc/17034/stat : 17034 (java) S 17032 17034 16850 0 -1 0 200453 0 18 0 198300 163 0 0 18 0 9 0 44073201 888221696 199447 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17034/statm: 216851 199447 2618 9 0 211379 0
[pid=17034/tid=17036] ppid=17032 vsize=867404 CPUtime=1978.38
/proc/17034/task/17036/stat : 17036 (java) S 17032 17034 16850 0 -1 64 15962 0 18 0 197748 90 0 0 24 0 9 0 44073202 888221696 199447 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17034/tid=17037] ppid=17032 vsize=867404 CPUtime=5.8
/proc/17034/task/17037/stat : 17037 (java) R 17032 17034 16850 0 -1 64 183035 0 0 0 510 70 0 0 19 0 9 0 44073204 888221696 199447 996147200 134512640 134550740 4294955952 18446744073709551615 102721928 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=17034/tid=17038] ppid=17032 vsize=867404 CPUtime=0
/proc/17034/task/17038/stat : 17038 (java) S 17032 17034 16850 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44073204 888221696 199447 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17034/tid=17039] ppid=17032 vsize=867404 CPUtime=0
/proc/17034/task/17039/stat : 17039 (java) S 17032 17034 16850 0 -1 64 23 0 0 0 0 0 0 0 16 0 9 0 44073204 888221696 199447 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17034/tid=17040] ppid=17032 vsize=867404 CPUtime=0
/proc/17034/task/17040/stat : 17040 (java) S 17032 17034 16850 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 44073206 888221696 199447 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17034/tid=17041] ppid=17032 vsize=867404 CPUtime=0.41
/proc/17034/task/17041/stat : 17041 (java) S 17032 17034 16850 0 -1 64 741 0 0 0 40 1 0 0 15 0 9 0 44073206 888221696 199447 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17034/tid=17042] ppid=17032 vsize=867404 CPUtime=0
/proc/17034/task/17042/stat : 17042 (java) S 17032 17034 16850 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44073206 888221696 199447 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17034/tid=17043] ppid=17032 vsize=867404 CPUtime=0
/proc/17034/task/17043/stat : 17043 (java) S 17032 17034 16850 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44073206 888221696 199447 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1984.63
Current children cumulated vsize (KiB) 867404

[startup+1994.31 s]
/proc/loadavg: 2.15 2.03 2.01 3/90 17138
/proc/meminfo: memFree=885784/2055920 swapFree=4192812/4192956
[pid=17034] ppid=17032 vsize=867404 CPUtime=1985.43
/proc/17034/stat : 17034 (java) S 17032 17034 16850 0 -1 0 200453 0 18 0 198380 163 0 0 18 0 9 0 44073201 888221696 199447 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17034/statm: 216851 199447 2618 9 0 211379 0
[pid=17034/tid=17036] ppid=17032 vsize=867404 CPUtime=1978.38
/proc/17034/task/17036/stat : 17036 (java) S 17032 17034 16850 0 -1 64 15962 0 18 0 197748 90 0 0 24 0 9 0 44073202 888221696 199447 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17034/tid=17037] ppid=17032 vsize=867404 CPUtime=6.6
/proc/17034/task/17037/stat : 17037 (java) R 17032 17034 16850 0 -1 64 183035 0 0 0 590 70 0 0 21 0 9 0 44073204 888221696 199447 996147200 134512640 134550740 4294955952 18446744073709551615 104182546 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=17034/tid=17038] ppid=17032 vsize=867404 CPUtime=0
/proc/17034/task/17038/stat : 17038 (java) S 17032 17034 16850 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44073204 888221696 199447 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17034/tid=17039] ppid=17032 vsize=867404 CPUtime=0
/proc/17034/task/17039/stat : 17039 (java) S 17032 17034 16850 0 -1 64 23 0 0 0 0 0 0 0 16 0 9 0 44073204 888221696 199447 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17034/tid=17040] ppid=17032 vsize=867404 CPUtime=0
/proc/17034/task/17040/stat : 17040 (java) S 17032 17034 16850 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 44073206 888221696 199447 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17034/tid=17041] ppid=17032 vsize=867404 CPUtime=0.41
/proc/17034/task/17041/stat : 17041 (java) S 17032 17034 16850 0 -1 64 741 0 0 0 40 1 0 0 15 0 9 0 44073206 888221696 199447 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17034/tid=17042] ppid=17032 vsize=867404 CPUtime=0
/proc/17034/task/17042/stat : 17042 (java) S 17032 17034 16850 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44073206 888221696 199447 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17034/tid=17043] ppid=17032 vsize=867404 CPUtime=0
/proc/17034/task/17043/stat : 17043 (java) S 17032 17034 16850 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44073206 888221696 199447 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1985.43
Current children cumulated vsize (KiB) 867404

[startup+1994.7 s]
/proc/loadavg: 2.15 2.03 2.01 3/90 17138
/proc/meminfo: memFree=885784/2055920 swapFree=4192812/4192956
[pid=17034] ppid=17032 vsize=867404 CPUtime=1985.82
/proc/17034/stat : 17034 (java) S 17032 17034 16850 0 -1 0 200453 0 18 0 198419 163 0 0 18 0 9 0 44073201 888221696 199447 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17034/statm: 216851 199447 2618 9 0 211379 0
[pid=17034/tid=17036] ppid=17032 vsize=867404 CPUtime=1978.38
/proc/17034/task/17036/stat : 17036 (java) S 17032 17034 16850 0 -1 64 15962 0 18 0 197748 90 0 0 17 0 9 0 44073202 888221696 199447 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17034/tid=17037] ppid=17032 vsize=867404 CPUtime=7
/proc/17034/task/17037/stat : 17037 (java) R 17032 17034 16850 0 -1 64 183035 0 0 0 630 70 0 0 22 0 9 0 44073204 888221696 199447 996147200 134512640 134550740 4294955952 18446744073709551615 104182211 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=17034/tid=17038] ppid=17032 vsize=867404 CPUtime=0
/proc/17034/task/17038/stat : 17038 (java) S 17032 17034 16850 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44073204 888221696 199447 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17034/tid=17039] ppid=17032 vsize=867404 CPUtime=0
/proc/17034/task/17039/stat : 17039 (java) S 17032 17034 16850 0 -1 64 23 0 0 0 0 0 0 0 16 0 9 0 44073204 888221696 199447 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17034/tid=17040] ppid=17032 vsize=867404 CPUtime=0
/proc/17034/task/17040/stat : 17040 (java) S 17032 17034 16850 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 44073206 888221696 199447 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17034/tid=17041] ppid=17032 vsize=867404 CPUtime=0.41
/proc/17034/task/17041/stat : 17041 (java) S 17032 17034 16850 0 -1 64 741 0 0 0 40 1 0 0 15 0 9 0 44073206 888221696 199447 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17034/tid=17042] ppid=17032 vsize=867404 CPUtime=0
/proc/17034/task/17042/stat : 17042 (java) S 17032 17034 16850 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44073206 888221696 199447 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17034/tid=17043] ppid=17032 vsize=867404 CPUtime=0
/proc/17034/task/17043/stat : 17043 (java) S 17032 17034 16850 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44073206 888221696 199447 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1985.82
Current children cumulated vsize (KiB) 867404

[startup+1994.9 s]
/proc/loadavg: 2.15 2.03 2.01 3/90 17138
/proc/meminfo: memFree=885784/2055920 swapFree=4192812/4192956
[pid=17034] ppid=17032 vsize=0 CPUtime=1986
/proc/17034/stat : 17034 (java) Z 17032 17034 16850 0 -1 12 200462 0 18 0 198428 172 0 0 16 0 2 0 44073201 0 0 996147200 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/17034/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1986
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1994.92
CPU time (s): 1986.04
CPU user time (s): 1984.29
CPU system time (s): 1.75073
CPU usage (%): 99.5546
Max. virtual memory (cumulated for all children) (KiB): 867656

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1984.29
system time used= 1.75073
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 200462
page faults= 18
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 42704
involuntary context switches= 46526

runsolver used 2.76458 second user time and 6.51501 second system time

The end

Launcher Data (download as text)

Begin job on node61 at 2008-07-12 16:42:24
IDJOB=1112773
IDBENCH=61472
IDSOLVER=359
FILE ID=node61/1112773-1215873744
PBS_JOBID= 7903561
Free space on /tmp= 66488 MiB

SOLVER NAME= AbsconMax 112 pc-w
BENCH NAME= CPAI08/csp/fapp/fapp22/normalized-fapp22-1750-6.xml
COMMAND LINE=  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp absconMax112V3.jar abscon.Resolution mrdac-wdeg.xml 1 XSax BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1112773-1215873744/watcher-1112773-1215873744 -o /tmp/evaluation-result-1112773-1215873744/solver-1112773-1215873744 -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-1112773-1215873744.xml

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= 3874290cda754699d3686661cf7c347b
RANDOM SEED=1443389665

node61.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.279
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.279
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:       1916800 kB
Buffers:          5792 kB
Cached:          45344 kB
SwapCached:          0 kB
Active:          70992 kB
Inactive:        17732 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1916800 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            6472 kB
Writeback:           0 kB
Mapped:          57788 kB
Slab:            35588 kB
Committed_AS:   261704 kB
PageTables:       1852 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264884 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66488 MiB
End job on node61 at 2008-07-12 17:15:39