Trace number 1113038

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-dNo Cert. 3600.12 3618.47

General information on the benchmark

Namecsp/fapp/fapp29/
normalized-fapp29-2900-3.xml
MD5SUMa235a933b5e2cb4afa8ed79f71c05679
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmark
Best Number of falsified constraints
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables2900
Number of constraints67898
Maximum constraint arity2
Maximum domain size998
Number of constraints which are defined in extension0
Number of constraints which are defined in intension67898
Global constraints used (with number of constraints)

Quality of the solution as a function of time


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

Solver Data (download as text)

0.07/0.10	
0.07/0.10	Abscon 112 (May, 2008)
0.18/0.25	
0.18/0.25	   configuration
0.18/0.25	     name=mrdac-ddeg.xml
0.27/0.34	   
0.27/0.34	   instance
0.27/0.34	     name=HOME/instance-1113038-1215877065.xml
0.27/0.38	   
0.27/0.38	   domains being loaded...
0.37/0.43	   
0.37/0.43	   variables being loaded...
0.76/0.89	     nbVariables=2900  nbDomainTypes=39  minDomainSize=82  maxDomainSize=998  nbTotalValues=1477634
0.76/0.89	       =>  wckTime=0.632  cpuTime=0.41  mem=33M209
0.76/0.89	   
0.76/0.89	   predicates being loaded...
0.87/0.95	   
0.87/0.95	   constraints being loaded...
11.16/11.35	   
11.16/11.35	   INFO : Stopping converting binary constraints (cpu=10.25, mem = 92M389)
19.48/19.72	     nbConstraints=67898  nbConvertedConstraints=72  nbConvertConstraintsChecks=25610864  nbExtensionStructures=68
19.48/19.72	     nbSharedExtensionStructures=4  nbConflictsStructures=308  nbSharedConflictsStructures=354
19.48/19.72	     nbUnbuiltConflictsStructures=31655  nbSharedBinaryRepresentations=65895  nbEvaluationManagers=31895
19.48/19.72	     nbSharedEvaluationManagers=35931  minDegree=12  maxDegree=88  minArity=2  maxArity=2
19.48/19.72	       =>  wckTime=19.467  cpuTime=17.1  mem=148M113
20.27/20.58	   
20.27/20.58	   solver LocalSearchSolver being built... 
20.38/20.63	       =>  wckTime=20.381  cpuTime=17.14  mem=138M620
21.47/21.76	
21.47/21.76	s SATISFIABLE
21.47/21.76	o 19664
22.16/22.41	o 19648
22.46/22.70	o 19639
22.66/22.90	o 19629
22.86/23.14	o 19614
23.05/23.31	o 19601
23.24/23.56	o 19594
23.44/23.72	o 19581
23.54/23.88	o 19580
23.84/24.12	o 19572
24.04/24.30	o 19565
24.23/24.55	o 19561
24.43/24.76	o 19551
24.63/24.98	o 19542
24.83/25.18	o 19533
25.03/25.39	o 19525
25.23/25.54	o 19519
25.42/25.75	o 19514
25.62/25.91	o 19512
25.72/26.06	o 19508
25.82/26.20	o 19505
26.02/26.35	o 19503
26.12/26.44	o 19501
26.21/26.57	o 19500
26.41/26.73	o 19499
26.51/26.87	o 19498
26.71/27.02	o 19493
26.81/27.15	o 19479
27.01/27.32	o 19469
27.11/27.47	o 19460
27.30/27.66	o 19451
27.50/27.83	o 19442
27.70/28.03	o 19435
27.80/28.17	o 19427
28.00/28.30	o 19419
28.10/28.40	o 19412
28.20/28.52	o 19405
28.39/28.70	o 19398
28.49/28.80	o 19391
28.58/28.92	o 19385
28.68/29.08	o 19379
28.78/29.17	o 19374
28.88/29.28	o 19370
28.98/29.36	o 19367
29.08/29.49	o 19364
29.18/29.58	o 19362
29.38/29.74	o 19361
29.48/29.83	o 19352
29.58/29.97	o 19347
29.67/30.07	o 19338
29.87/30.28	o 19333
30.07/30.43	o 19320
30.17/30.58	o 19307
30.37/30.75	o 19295
30.57/30.90	o 19285
30.67/31.05	o 19276
30.86/31.25	o 19268
31.06/31.41	o 19262
31.26/31.60	o 19257
31.37/31.77	o 19253
31.56/31.94	o 19248
31.66/32.09	o 19243
31.85/32.27	o 19238
31.95/32.38	o 19232
32.05/32.49	o 19228
32.25/32.61	o 19224
32.35/32.73	o 19221
32.45/32.83	o 19218
32.55/32.96	o 19208
32.75/33.10	o 19205
32.85/33.27	o 19202
32.94/33.40	o 19199
33.14/33.54	o 19198
33.74/34.12	o 19192
33.83/34.20	o 19184
33.83/34.27	o 19180
34.03/34.42	o 19176
34.13/34.58	o 19166
34.33/34.73	o 19157
34.53/34.91	o 19154
34.63/35.07	o 19143
34.92/35.30	o 19135
35.02/35.45	o 19133
35.12/35.59	o 19125
35.32/35.74	o 19120
35.41/35.89	o 19112
35.61/36.05	o 19106
35.71/36.18	o 19100
35.91/36.32	o 19094
36.01/36.45	o 19089
36.20/36.63	o 19084
36.30/36.76	o 19079
36.40/36.88	o 19075
36.60/37.00	o 19071
36.70/37.18	o 19067
36.80/37.29	o 19064
37.10/37.53	o 19063
37.20/37.66	o 19062
37.59/38.07	o 19059
37.69/38.15	o 19058
37.79/38.27	o 19051
37.99/38.43	o 19047
38.09/38.54	o 19040
38.48/38.90	o 19033
38.58/39.09	o 19030
38.78/39.20	o 19028
38.88/39.30	o 19011
38.98/39.44	o 19009
39.08/39.57	o 18995
39.27/39.71	o 18992
39.47/39.90	o 18981
39.57/40.09	o 18965
39.87/40.37	o 18952
40.07/40.58	o 18942
40.36/40.86	o 18939
40.55/41.05	o 18931
40.75/41.25	o 18924
40.96/41.45	o 18917
41.16/41.63	o 18916
41.26/41.80	o 18915
41.46/41.96	o 18906
41.65/42.18	o 18900
41.85/42.35	o 18894
42.05/42.55	o 18888
42.35/42.86	o 18886
42.55/43.01	o 18881
42.65/43.15	o 18876
42.84/43.35	o 18871
43.04/43.50	o 18867
43.14/43.68	o 18863
43.34/43.84	o 18859
43.44/43.95	o 18857
43.64/44.11	o 18856
43.64/44.19	o 18855
43.83/44.31	o 18846
44.03/44.52	o 18839
44.13/44.60	o 18830
44.23/44.75	o 18827
44.33/44.83	o 18824
44.43/44.95	o 18818
44.92/45.47	o 18815
45.12/45.64	o 18803
45.32/45.83	o 18801
45.62/46.17	o 18793
45.81/46.37	o 18789
46.01/46.58	o 18776
47.00/47.58	o 18774
47.30/47.81	o 18770
47.40/47.97	o 18762
47.60/48.19	o 18759
47.90/48.43	o 18750
48.09/48.63	o 18743
48.28/48.85	o 18737
48.58/49.11	o 18732
48.78/49.31	o 18727
48.98/49.53	o 18722
49.18/49.78	o 18717
49.37/49.97	o 18713
49.57/50.17	o 18709
49.87/50.42	o 18706
50.07/50.62	o 18702
50.27/50.81	o 18699
50.47/51.03	o 18696
50.67/51.22	o 18689
50.87/51.41	o 18685
51.36/51.97	o 18678
51.96/52.52	o 18677
52.16/52.72	o 18670
52.55/53.17	o 18665
52.84/53.41	o 18661
53.04/53.64	o 18658
53.34/53.98	o 18655
53.54/54.13	o 18651
53.73/54.30	o 18644
53.83/54.48	o 18642
54.03/54.65	o 18635
54.23/54.81	o 18633
54.33/54.98	o 18628
54.53/55.13	o 18623
54.72/55.31	o 18619
54.82/55.48	o 18613
55.02/55.65	o 18609
55.22/55.82	o 18602
55.32/55.98	o 18595
55.52/56.14	o 18586
55.62/56.28	o 18583
55.81/56.47	o 18582
56.01/56.62	o 18574
56.11/56.76	o 18567
56.31/56.98	o 18563
56.51/57.20	o 18559
56.80/57.42	o 18552
57.00/57.67	o 18548
57.20/57.85	o 18543
57.40/58.05	o 18542
57.60/58.26	o 18541
58.59/59.23	o 18538
58.79/59.45	o 18534
58.98/59.67	o 18529
59.28/59.90	o 18519
59.48/60.11	o 18512
59.78/60.45	o 18509
59.97/60.62	o 18506
60.17/60.88	o 18504
61.06/61.73	o 18498
61.76/62.45	o 18494
62.25/62.92	o 18492
62.65/63.32	o 18486
62.84/63.54	o 18482
63.04/63.75	o 18480
63.24/63.99	o 18472
63.43/64.17	o 18465
63.63/64.38	o 18462
64.82/65.50	o 18461
65.03/65.72	o 18453
65.23/65.94	o 18447
65.43/66.19	o 18440
65.62/66.37	o 18429
66.32/67.03	o 18426
66.51/67.21	o 18417
66.71/67.42	o 18415
66.91/67.66	o 18398
67.11/67.89	o 18393
67.60/68.40	o 18392
67.90/68.63	o 18388
68.10/68.90	o 18382
68.40/69.18	o 18380
68.69/69.43	o 18374
69.48/70.20	o 18371
69.68/70.44	o 18367
69.97/70.71	o 18363
70.17/70.97	o 18361
70.57/71.30	o 18359
71.26/72.04	o 18355
71.56/72.38	o 18353
71.96/72.70	o 18348
72.25/73.02	o 18347
72.45/73.29	o 18343
72.75/73.58	o 18342
73.04/73.88	o 18340
73.34/74.18	o 18339
73.64/74.48	o 18337
73.94/74.77	o 18334
74.23/75.08	o 18325
74.53/75.35	o 18315
75.72/76.50	o 18311
76.02/76.83	o 18304
76.31/77.14	o 18291
76.61/77.42	o 18285
76.81/77.70	o 18278
77.21/78.00	o 18271
77.50/78.37	o 18268
78.40/79.28	o 18254
78.98/79.87	o 18249
79.68/80.52	o 18248
79.97/80.83	o 18243
80.27/81.15	o 18241
80.57/81.48	o 18237
80.96/81.85	o 18231
81.26/82.15	o 18224
81.56/82.50	o 18222
81.95/82.86	o 18217
82.35/83.21	o 18216
82.65/83.53	o 18213
82.95/83.88	o 18209
83.34/84.22	o 18202
83.75/84.61	o 18200
84.05/84.96	o 18198
84.44/85.31	o 18195
84.74/85.60	o 18188
85.04/85.96	o 18179
85.33/86.26	o 18177
85.63/86.58	o 18175
85.93/86.89	o 18173
86.32/87.21	o 18163
86.62/87.58	o 18161
87.31/88.29	o 18158
87.71/88.60	o 18154
88.01/88.90	o 18151
89.39/90.30	o 18147
89.69/90.60	o 18146
89.99/90.92	o 18136
90.19/91.19	o 18133
90.88/91.80	o 18130
91.76/92.70	o 18124
91.96/92.97	o 18117
92.26/93.21	o 18109
92.46/93.46	o 18102
92.76/93.73	o 18097
93.05/94.01	o 18095
93.25/94.28	o 18088
93.55/94.55	o 18084
94.03/95.04	o 18081
94.83/95.80	o 18079
95.03/96.03	o 18074
95.23/96.21	o 18065
95.43/96.43	o 18060
95.63/96.67	o 18058
95.93/96.95	o 18050
96.13/97.16	o 18046
96.32/97.36	o 18041
96.53/97.59	o 18025
97.23/98.26	o 18020
97.53/98.57	o 18018
98.23/99.30	o 18014
98.83/99.86	o 18006
99.13/100.18	o 18004
99.43/100.45	o 17999
99.72/100.78	o 17995
100.13/101.14	o 17990
100.52/101.50	o 17989
101.12/102.14	o 17986
101.42/102.49	o 17983
101.82/102.85	o 17980
102.52/103.51	o 17979
103.53/104.59	o 17973
103.82/104.87	o 17969
105.22/106.28	o 17968
106.12/107.18	o 17966
106.42/107.45	o 17965
106.72/107.79	o 17962
107.12/108.11	o 17959
107.42/108.41	o 17956
107.72/108.72	o 17952
108.02/109.04	o 17944
108.32/109.34	o 17941
108.62/109.65	o 17934
109.32/110.33	o 17932
109.61/110.67	o 17916
109.91/110.98	o 17911
110.31/111.36	o 17910
110.61/111.66	o 17904
111.01/112.06	o 17898
111.51/112.51	o 17895
111.81/112.84	o 17890
112.11/113.18	o 17883
112.51/113.53	o 17875
112.81/113.86	o 17871
113.21/114.21	o 17867
113.51/114.56	o 17864
113.91/114.99	o 17860
114.31/115.34	o 17856
114.61/115.69	o 17849
115.41/116.45	o 17846
115.71/116.79	o 17841
116.11/117.18	o 17833
116.51/117.55	o 17831
116.91/117.94	o 17826
117.31/118.31	o 17823
117.61/118.66	o 17815
118.01/119.03	o 17812
118.31/119.36	o 17811
118.61/119.65	o 17806
118.92/119.95	o 17803
119.21/120.27	o 17802
119.61/120.62	o 17796
119.92/120.96	o 17790
120.21/121.28	o 17789
120.61/121.61	o 17787
120.91/121.95	o 17786
122.22/123.26	o 17783
122.51/123.58	o 17781
122.91/123.91	o 17777
123.22/124.23	o 17775
123.81/124.83	o 17772
124.51/125.51	o 17766
124.81/125.83	o 17758
125.11/126.16	o 17752
125.41/126.48	o 17751
125.80/126.82	o 17750
126.10/127.15	o 17739
126.40/127.47	o 17737
126.70/127.77	o 17734
127.00/128.06	o 17722
127.71/128.78	o 17721
128.10/129.17	o 17718
128.40/129.50	o 17711
128.81/129.81	o 17710
129.10/130.16	o 17707
129.50/130.54	o 17701
129.90/130.93	o 17692
130.20/131.25	o 17689
130.60/131.60	o 17686
130.90/131.97	o 17683
131.30/132.31	o 17677
131.60/132.67	o 17669
132.00/133.09	o 17668
133.30/134.32	o 17666
133.70/134.77	o 17661
134.60/135.61	o 17660
135.00/136.06	o 17653
137.20/138.25	o 17647
137.60/138.67	o 17645
138.00/139.09	o 17638
138.40/139.49	o 17624
138.79/139.89	o 17618
139.19/140.29	o 17613
139.70/140.74	o 17612
140.09/141.18	o 17609
140.49/141.60	o 17605
140.99/142.01	o 17604
141.39/142.46	o 17597
141.79/142.88	o 17595
142.29/143.30	o 17589
145.59/146.63	o 17585
146.09/147.15	o 17582
146.58/147.67	o 17576
147.18/148.23	o 17573
147.68/148.73	o 17572
148.18/149.26	o 17568
148.78/149.83	o 17561
149.28/150.37	o 17558
150.38/151.49	o 17554
150.98/152.09	o 17542
152.18/153.24	o 17538
152.78/153.83	o 17534
153.38/154.45	o 17530
153.99/155.09	o 17526
155.28/156.32	o 17520
155.78/156.89	o 17518
157.08/158.13	o 17513
157.68/158.76	o 17507
158.28/159.34	o 17504
158.88/159.96	o 17496
160.08/161.18	o 17494
160.69/161.78	o 17490
161.79/162.87	o 17484
162.39/163.45	o 17480
164.18/165.25	o 17473
164.88/165.90	o 17472
165.48/166.53	o 17469
166.09/167.11	o 17464
167.19/168.26	o 17456
167.78/168.85	o 17452
168.98/170.04	o 17447
169.58/170.60	o 17444
170.08/171.18	o 17433
170.68/171.76	o 17428
171.28/172.35	o 17419
171.88/172.92	o 17412
173.47/174.58	o 17411
174.07/175.11	o 17399
174.57/175.66	o 17398
175.17/176.21	o 17394
176.27/177.39	o 17393
176.87/177.95	o 17390
177.47/178.50	o 17384
178.47/179.58	o 17382
178.97/180.09	o 17379
180.57/181.69	o 17377
181.17/182.25	o 17374
181.67/182.77	o 17370
182.27/183.31	o 17364
182.77/183.85	o 17358
183.78/184.84	o 17348
185.88/186.93	o 17347
186.37/187.40	o 17342
186.77/187.86	o 17341
187.27/188.32	o 17336
187.67/188.79	o 17327
188.18/189.30	o 17313
188.67/189.74	o 17311
189.18/190.22	o 17308
189.57/190.67	o 17303
190.07/191.11	o 17299
190.47/191.55	o 17298
190.87/191.99	o 17292
191.37/192.43	o 17285
191.77/192.87	o 17282
192.17/193.28	o 17279
193.07/194.12	o 17272
193.47/194.55	o 17271
194.37/195.41	o 17270
194.87/195.91	o 17262
195.27/196.36	o 17255
195.77/196.81	o 17254
196.77/197.83	o 17253
197.17/198.29	o 17250
197.76/198.80	o 17249
198.16/199.29	o 17244
199.66/200.72	o 17239
200.66/201.72	o 17238
201.06/202.14	o 17229
201.56/202.63	o 17228
202.06/203.11	o 17226
202.46/203.58	o 17224
206.86/207.90	o 17217
207.26/208.39	o 17211
207.86/208.92	o 17205
208.36/209.46	o 17203
208.85/210.00	o 17200
209.45/210.59	o 17194
212.45/213.52	o 17190
213.05/214.12	o 17184
214.76/215.90	o 17182
216.56/217.65	o 17179
217.16/218.23	o 17175
218.45/219.54	o 17172
219.16/220.20	o 17171
219.75/220.89	o 17170
221.85/222.92	o 17163
222.45/223.57	o 17162
223.15/224.26	o 17154
223.85/224.94	o 17153
224.55/225.61	o 17144
225.15/226.27	o 17136
225.85/226.94	o 17131
226.55/227.61	o 17126
227.15/228.29	o 17123
228.65/229.74	o 17122
230.65/231.76	o 17121
231.35/232.43	o 17113
231.95/233.09	o 17112
232.65/233.78	o 17108
233.35/234.49	o 17099
237.75/238.85	o 17096
238.45/239.52	o 17092
239.05/240.18	o 17086
239.75/240.88	o 17084
240.44/241.57	o 17079
244.04/245.19	o 17077
245.54/246.60	o 17070
246.24/247.34	o 17069
247.04/248.13	o 17064
247.74/248.83	o 17060
249.94/251.02	o 17056
252.84/253.97	o 17055
253.64/254.79	o 17050
254.44/255.55	o 17047
255.14/256.26	o 17046
255.84/256.96	o 17040
256.64/257.74	o 17034
257.44/258.52	o 17033
258.14/259.23	o 17026
261.03/262.14	o 17020
261.74/262.84	o 17015
262.33/263.48	o 17007
263.13/264.24	o 17006
263.83/264.95	o 16995
264.43/265.58	o 16992
265.13/266.23	o 16991
265.72/266.88	o 16983
266.42/267.57	o 16974
267.13/268.23	o 16967
269.23/270.38	o 16959
269.93/271.06	o 16952
274.43/275.55	o 16949
281.42/282.59	o 16940
282.22/283.39	o 16937
283.83/284.94	o 16936
284.62/285.70	o 16932
285.32/286.48	o 16923
286.12/287.26	o 16919
286.92/288.02	o 16910
287.62/288.72	o 16908
288.32/289.46	o 16906
289.02/290.20	o 16899
289.82/290.95	o 16893
294.32/295.47	o 16890
295.02/296.19	o 16885
295.82/296.97	o 16884
296.52/297.68	o 16876
297.32/298.42	o 16869
298.02/299.17	o 16863
299.42/300.58	o 16857
300.11/301.26	o 16853
300.81/301.97	o 16849
301.51/302.67	o 16848
302.21/303.37	o 16832
303.01/304.10	o 16830
304.31/305.46	o 16829
304.91/306.09	o 16822
305.61/306.70	o 16818
306.21/307.32	o 16811
306.82/307.97	o 16808
307.51/308.61	o 16802
308.21/309.34	o 16798
308.91/310.04	o 16797
309.61/310.71	o 16793
311.01/312.10	o 16791
312.41/313.51	o 16790
314.41/315.59	o 16784
315.21/316.34	o 16780
315.91/317.01	o 16776
316.61/317.73	o 16772
317.31/318.40	o 16768
317.91/319.09	o 16763
318.60/319.73	o 16759
321.40/322.50	o 16756
322.00/323.14	o 16749
322.70/323.85	o 16746
323.41/324.54	o 16743
324.70/325.86	o 16741
325.40/326.55	o 16740
326.10/327.27	o 16735
326.80/327.96	o 16730
327.50/328.62	o 16724
328.20/329.32	o 16719
329.00/330.11	o 16713
329.70/330.89	o 16709
330.50/331.61	o 16708
331.20/332.34	o 16703
331.90/333.05	o 16699
332.70/333.81	o 16697
333.40/334.54	o 16691
334.10/335.24	o 16689
334.79/335.93	o 16683
335.50/336.61	o 16677
336.89/338.05	o 16671
337.60/338.72	o 16663
338.29/339.43	o 16660
339.09/340.20	o 16658
339.79/340.96	o 16656
341.29/342.48	o 16655
342.09/343.23	o 16652
342.89/344.08	o 16646
343.59/344.80	o 16639
344.39/345.52	o 16636
345.89/347.01	o 16632
346.69/347.84	o 16628
347.50/348.63	o 16625
348.20/349.37	o 16616
348.99/350.16	o 16607
349.79/350.91	o 16604
350.49/351.62	o 16596
351.19/352.34	o 16590
351.89/353.05	o 16586
352.69/353.81	o 16581
353.49/354.60	o 16575
354.19/355.37	o 16572
354.99/356.11	o 16569
355.69/356.89	o 16562
356.49/357.68	o 16555
357.29/358.46	o 16552
358.79/359.96	o 16551
359.49/360.67	o 16549
360.19/361.39	o 16545
360.99/362.12	o 16535
361.68/362.89	o 16531
362.48/363.65	o 16526
363.28/364.44	o 16516
364.09/365.21	o 16514
364.78/365.97	o 16512
366.38/367.52	o 16509
367.78/368.99	o 16504
369.28/370.49	o 16503
370.08/371.24	o 16498
370.88/372.02	o 16490
371.68/372.81	o 16481
373.28/374.43	o 16474
374.78/375.95	o 16473
375.57/376.72	o 16470
377.07/378.30	o 16465
377.87/379.07	o 16464
378.67/379.88	o 16463
381.68/382.89	o 16457
383.17/384.36	o 16450
383.87/385.09	o 16447
384.67/385.84	o 16446
386.97/388.19	o 16444
387.87/389.02	o 16441
388.57/389.78	o 16440
389.47/390.61	o 16435
390.28/391.46	o 16429
391.87/393.09	o 16427
392.77/393.97	o 16419
393.67/394.85	o 16418
394.57/395.71	o 16410
395.37/396.52	o 16407
396.17/397.36	o 16402
397.87/399.03	o 16397
399.47/400.67	o 16392
400.27/401.45	o 16390
401.17/402.35	o 16387
402.76/403.98	o 16383
403.57/404.77	o 16379
404.36/405.57	o 16375
406.06/407.22	o 16374
406.87/408.04	o 16371
407.66/408.82	o 16368
408.46/409.64	o 16357
409.26/410.48	o 16353
410.06/411.30	o 16349
414.46/415.61	o 16346
415.16/416.36	o 16338
416.76/417.92	o 16333
417.56/418.76	o 16332
419.16/420.37	o 16327
420.76/421.95	o 16325
422.36/423.56	o 16321
423.15/424.37	o 16320
423.95/425.18	o 16313
424.75/425.97	o 16307
426.35/427.56	o 16302
427.15/428.35	o 16299
427.86/429.09	o 16297
428.65/429.87	o 16296
429.45/430.64	o 16290
430.25/431.50	o 16285
431.15/432.33	o 16280
431.94/433.14	o 16276
432.75/433.90	o 16270
433.45/434.66	o 16266
434.24/435.41	o 16265
435.04/436.22	o 16262
436.65/437.84	o 16260
437.44/438.65	o 16253
438.24/439.45	o 16249
439.04/440.26	o 16243
441.34/442.55	o 16241
442.14/443.32	o 16237
442.84/444.10	o 16236
443.63/444.86	o 16225
444.43/445.67	o 16222
445.23/446.48	o 16218
448.44/449.62	o 16216
449.24/450.42	o 16213
450.14/451.33	o 16207
452.54/453.78	o 16203
453.44/454.60	o 16199
454.24/455.41	o 16194
455.03/456.23	o 16189
455.83/457.00	o 16186
457.44/458.62	o 16184
458.23/459.44	o 16183
459.03/460.22	o 16181
459.93/461.14	o 16172
460.84/462.05	o 16163
461.73/462.90	o 16156
463.63/464.81	o 16151
464.53/465.71	o 16148
465.43/466.64	o 16143
466.43/467.63	o 16134
467.43/468.63	o 16131
468.33/469.58	o 16120
469.33/470.56	o 16117
470.33/471.54	o 16113
471.33/472.51	o 16108
472.23/473.50	o 16106
474.22/475.48	o 16097
475.23/476.47	o 16092
476.23/477.45	o 16088
477.23/478.43	o 16086
479.32/480.53	o 16084
480.42/481.60	o 16079
481.42/482.68	o 16070
482.52/483.72	o 16068
483.51/484.71	o 16063
484.52/485.74	o 16055
485.61/486.80	o 16052
486.61/487.82	o 16050
487.61/488.89	o 16048
488.71/489.91	o 16042
489.71/490.92	o 16039
491.91/493.15	o 16038
492.91/494.15	o 16030
493.91/495.19	o 16027
495.01/496.22	o 16020
496.01/497.26	o 16019
498.21/499.46	o 16017
499.21/500.47	o 16014
500.21/501.49	o 16010
503.41/504.63	o 16006
504.50/505.73	o 16004
507.70/508.94	o 15998
508.81/510.01	o 15991
509.91/511.14	o 15982
511.01/512.20	o 15979
513.11/514.34	o 15970
514.31/515.51	o 15967
515.41/516.61	o 15963
516.51/517.71	o 15960
517.51/518.79	o 15952
518.71/519.97	o 15950
519.91/521.11	o 15944
522.20/523.48	o 15943
523.51/524.72	o 15941
525.90/527.10	o 15938
527.10/528.31	o 15932
528.30/529.54	o 15930
529.60/530.81	o 15922
540.39/541.62	o 15921
541.59/542.86	o 15913
542.89/544.11	o 15907
544.09/545.39	o 15904
545.39/546.62	o 15901
546.59/547.88	o 15900
547.89/549.10	o 15898
549.09/550.34	o 15897
550.29/551.56	o 15896
551.49/552.78	o 15895
552.79/554.04	o 15892
553.98/555.28	o 15881
555.29/556.51	o 15880
556.39/557.70	o 15872
557.59/558.88	o 15866
562.58/563.85	o 15862
563.88/565.12	o 15854
565.19/566.45	o 15849
566.48/567.70	o 15839
570.58/571.80	o 15837
571.78/573.10	o 15827
573.08/574.38	o 15825
574.47/575.74	o 15817
575.77/577.04	o 15812
577.07/578.31	o 15807
579.67/580.95	o 15802
582.27/583.55	o 15800
583.57/584.81	o 15797
584.88/586.11	o 15789
586.18/587.41	o 15780
588.87/590.11	o 15779
590.17/591.46	o 15775
591.58/592.86	o 15770
592.97/594.23	o 15763
594.37/595.63	o 15760
597.17/598.40	o 15754
598.57/599.84	o 15748
604.07/605.40	o 15744
605.47/606.73	o 15739
606.86/608.10	o 15733
608.36/609.60	o 15730
609.76/611.02	o 15725
612.47/613.76	o 15714
613.86/615.16	o 15709
615.26/616.51	o 15705
616.66/617.91	o 15701
617.96/619.25	o 15698
619.25/620.59	o 15692
621.95/623.24	o 15691
623.25/624.58	o 15688
624.65/626.00	o 15678
627.45/628.71	o 15672
628.85/630.12	o 15665
630.25/631.51	o 15660
631.55/632.86	o 15654
632.84/634.19	o 15649
634.24/635.56	o 15646
635.65/636.93	o 15642
639.84/641.10	o 15638
641.14/642.45	o 15636
642.54/643.80	o 15631
643.94/645.25	o 15627
645.34/646.69	o 15621
646.74/648.08	o 15619
648.14/649.46	o 15617
649.54/650.83	o 15613
652.23/653.56	o 15609
656.44/657.74	o 15603
657.83/659.17	o 15601
659.23/660.59	o 15595
660.73/662.00	o 15587
662.13/663.41	o 15585
663.42/664.78	o 15583
664.82/666.14	o 15582
666.12/667.43	o 15573
667.43/668.77	o 15567
668.82/670.13	o 15565
671.52/672.88	o 15561
674.32/675.64	o 15556
675.62/676.97	o 15555
677.02/678.38	o 15553
678.32/679.70	o 15549
679.72/681.02	o 15547
689.81/691.15	o 15546
694.01/695.36	o 15545
695.41/696.75	o 15542
696.82/698.16	o 15541
698.12/699.48	o 15538
699.52/700.84	o 15530
700.92/702.25	o 15528
702.41/703.77	o 15526
703.91/705.23	o 15524
705.31/706.69	o 15519
706.81/708.16	o 15513
708.31/709.64	o 15509
709.81/711.17	o 15508
711.41/712.76	o 15504
712.90/714.24	o 15502
714.40/715.72	o 15499
715.91/717.20	o 15495
717.30/718.65	o 15491
718.80/720.18	o 15488
720.31/721.64	o 15483
721.80/723.18	o 15480
723.40/724.72	o 15478
724.90/726.27	o 15476
726.50/727.82	o 15472
728.10/729.43	o 15464
729.60/730.99	o 15462
731.20/732.52	o 15450
732.80/734.10	o 15445
734.30/735.65	o 15441
735.90/737.24	o 15438
737.49/738.88	o 15434
739.09/740.46	o 15424
740.59/741.98	o 15423
742.20/743.54	o 15416
745.29/746.64	o 15411
746.89/748.22	o 15410
748.39/749.77	o 15405
749.99/751.35	o 15399
751.59/752.93	o 15397
753.09/754.48	o 15393
754.68/756.06	o 15392
756.28/757.64	o 15388
761.08/762.41	o 15387
764.18/765.54	o 15382
765.68/767.05	o 15371
767.28/768.68	o 15369
768.87/770.28	o 15368
770.47/771.81	o 15363
775.18/776.56	o 15362
776.77/778.13	o 15359
778.37/779.72	o 15357
781.27/782.66	o 15355
782.87/784.25	o 15351
785.97/787.34	o 15350
787.47/788.87	o 15341
789.07/790.43	o 15335
792.27/793.62	o 15331
793.87/795.20	o 15329
795.36/796.76	o 15323
796.96/798.30	o 15322
798.36/799.77	o 15317
800.06/801.45	o 15315
801.66/803.07	o 15314
804.96/806.32	o 15312
806.25/807.65	o 15311
809.55/810.99	o 15306
811.25/812.62	o 15302
814.55/815.95	o 15298
816.15/817.58	o 15294
817.85/819.20	o 15288
819.46/820.89	o 15284
821.16/822.51	o 15281
824.36/825.73	o 15273
825.96/827.39	o 15269
827.55/828.99	o 15263
829.35/830.71	o 15260
831.05/832.42	o 15257
832.75/834.13	o 15250
839.35/840.71	o 15249
840.95/842.37	o 15244
842.55/843.96	o 15240
844.24/845.60	o 15237
854.14/855.51	o 15234
855.74/857.15	o 15232
857.44/858.81	o 15231
859.04/860.43	o 15227
863.73/865.15	o 15222
868.63/870.07	o 15217
870.23/871.65	o 15215
871.93/873.30	o 15212
873.63/875.01	o 15211
875.33/876.73	o 15205
876.92/878.39	o 15201
878.63/880.07	o 15195
888.52/889.96	o 15189
890.22/891.60	o 15187
891.82/893.28	o 15182
893.51/894.96	o 15174
895.21/896.69	o 15169
897.01/898.42	o 15167
898.71/900.14	o 15158
900.41/901.87	o 15157
905.52/906.95	o 15155
907.12/908.60	o 15153
908.82/910.26	o 15148
910.42/911.89	o 15143
915.11/916.57	o 15141
916.71/918.19	o 15138
918.31/919.78	o 15135
920.01/921.40	o 15124
921.52/922.95	o 15120
923.01/924.48	o 15116
927.81/929.26	o 15111
929.41/930.84	o 15104
931.01/932.49	o 15098
934.20/935.63	o 15097
935.80/937.30	o 15091
937.50/938.91	o 15088
939.10/940.54	o 15080
942.30/943.72	o 15077
945.49/946.90	o 15070
947.09/948.53	o 15063
948.69/950.13	o 15057
950.19/951.66	o 15055
953.29/954.78	o 15050
956.49/957.91	o 15045
958.09/959.50	o 15042
959.58/961.05	o 15040
964.08/965.52	o 15036
965.58/967.09	o 15030
967.28/968.70	o 15024
968.79/970.21	o 15015
971.88/973.33	o 15008
973.48/974.94	o 15006
975.08/976.50	o 14997
976.48/977.93	o 14996
977.98/979.41	o 14985
980.97/982.45	o 14978
982.57/984.01	o 14970
984.18/985.61	o 14964
985.77/987.20	o 14962
987.37/988.87	o 14958
988.97/990.50	o 14949
990.57/992.07	o 14944
995.56/997.01	o 14935
998.86/1000.30	o 14933
1000.46/1001.97	o 14928
1002.06/1003.57	o 14924
1003.76/1005.22	o 14920
1005.46/1006.90	o 14910
1007.06/1008.56	o 14906
1008.76/1010.23	o 14904
1012.16/1013.62	o 14898
1013.76/1015.30	o 14895
1017.16/1018.69	o 14888
1018.95/1020.47	o 14880
1022.36/1023.89	o 14879
1024.16/1025.66	o 14874
1025.86/1027.33	o 14871
1029.35/1030.86	o 14866
1031.15/1032.62	o 14865
1032.85/1034.34	o 14861
1034.55/1036.04	o 14855
1036.05/1037.54	o 14851
1044.45/1045.93	o 14847
1046.15/1047.63	o 14843
1047.74/1049.28	o 14837
1049.35/1050.84	o 14830
1051.15/1052.63	o 14825
1054.44/1055.98	o 14821
1056.04/1057.59	o 14815
1057.74/1059.28	o 14812
1059.44/1060.96	o 14810
1061.04/1062.59	o 14806
1064.34/1065.88	o 14798
1069.33/1070.85	o 14794
1071.13/1072.66	o 14793
1072.73/1074.27	o 14787
1074.43/1075.94	o 14777
1076.13/1077.61	o 14772
1082.82/1084.39	o 14770
1084.52/1086.01	o 14765
1086.12/1087.60	o 14758
1087.72/1089.22	o 14755
1089.32/1090.89	o 14754
1091.12/1092.61	o 14748
1092.82/1094.37	o 14746
1094.62/1096.10	o 14741
1096.32/1097.81	o 14740
1099.81/1101.37	o 14735
1103.31/1104.80	o 14734
1106.72/1108.27	o 14729
1110.22/1111.71	o 14721
1111.82/1113.35	o 14718
1113.61/1115.18	o 14708
1115.41/1116.90	o 14698
1117.12/1118.63	o 14690
1118.81/1120.34	o 14688
1120.51/1122.07	o 14681
1122.31/1123.88	o 14677
1124.11/1125.62	o 14672
1125.91/1127.43	o 14668
1131.10/1132.65	o 14666
1132.90/1134.46	o 14660
1139.90/1141.44	o 14657
1143.30/1144.88	o 14650
1148.49/1150.07	o 14643
1151.99/1153.57	o 14640
1153.79/1155.34	o 14639
1155.49/1157.06	o 14629
1157.29/1158.87	o 14620
1158.99/1160.58	o 14614
1160.78/1162.33	o 14613
1162.48/1164.10	o 14606
1164.28/1165.87	o 14598
1166.08/1167.63	o 14596
1167.88/1169.43	o 14594
1169.58/1171.17	o 14591
1171.38/1172.95	o 14590
1173.08/1174.69	o 14584
1176.68/1178.29	o 14577
1178.49/1180.02	o 14571
1180.19/1181.78	o 14570
1181.99/1183.58	o 14565
1183.68/1185.27	o 14559
1185.39/1186.99	o 14555
1187.08/1188.70	o 14554
1194.08/1195.62	o 14551
1195.78/1197.31	o 14546
1197.38/1198.98	o 14540
1204.37/1206.00	o 14534
1206.17/1207.73	o 14528
1207.87/1209.43	o 14524
1209.57/1211.14	o 14520
1212.97/1214.53	o 14513
1214.67/1216.26	o 14509
1216.36/1217.98	o 14508
1226.46/1228.00	o 14504
1229.76/1231.38	o 14503
1231.46/1233.04	o 14500
1234.86/1236.42	o 14498
1236.66/1238.21	o 14493
1238.35/1239.95	o 14486
1240.15/1241.76	o 14479
1243.66/1245.21	o 14472
1247.15/1248.71	o 14466
1261.34/1262.90	o 14461
1263.14/1264.74	o 14460
1264.94/1266.51	o 14458
1268.43/1270.08	o 14455
1270.23/1271.87	o 14451
1273.93/1275.55	o 14446
1275.73/1277.38	o 14444
1277.63/1279.24	o 14442
1279.44/1281.04	o 14441
1280.94/1282.58	o 14434
1284.54/1286.16	o 14433
1286.34/1287.91	o 14426
1289.94/1291.57	o 14423
1291.74/1293.39	o 14422
1297.13/1298.79	o 14415
1298.93/1300.57	o 14411
1300.73/1302.33	o 14403
1302.53/1304.11	o 14398
1304.23/1305.88	o 14393
1309.63/1311.26	o 14392
1311.42/1313.05	o 14387
1313.22/1314.81	o 14384
1314.92/1316.52	o 14375
1316.62/1318.29	o 14368
1318.42/1320.02	o 14361
1320.12/1321.77	o 14357
1321.82/1323.42	o 14350
1323.52/1325.11	o 14349
1325.22/1326.83	o 14339
1326.92/1328.53	o 14331
1328.62/1330.24	o 14324
1335.61/1337.29	o 14319
1340.91/1342.58	o 14315
1342.71/1344.33	o 14310
1344.50/1346.12	o 14309
1346.40/1348.05	o 14304
1348.21/1349.82	o 14303
1350.00/1351.64	o 14300
1351.80/1353.46	o 14298
1353.61/1355.29	o 14297
1359.01/1360.66	o 14290
1360.60/1362.24	o 14282
1364.20/1365.84	o 14277
1369.59/1371.28	o 14276
1371.50/1373.15	o 14273
1373.41/1375.02	o 14271
1377.10/1378.71	o 14269
1378.90/1380.51	o 14264
1382.59/1384.23	o 14263
1384.49/1386.18	o 14261
1386.09/1387.76	o 14253
1389.89/1391.54	o 14252
1391.69/1393.31	o 14248
1397.08/1398.79	o 14245
1398.98/1400.61	o 14237
1400.68/1402.37	o 14235
1407.78/1409.45	o 14234
1409.58/1411.26	o 14231
1411.47/1413.14	o 14225
1413.27/1414.93	o 14221
1415.08/1416.79	o 14215
1418.77/1420.44	o 14214
1420.57/1422.28	o 14212
1422.47/1424.15	o 14207
1424.27/1425.94	o 14204
1426.07/1427.77	o 14197
1427.97/1429.64	o 14196
1429.76/1431.46	o 14191
1431.56/1433.29	o 14185
1433.46/1435.12	o 14178
1444.46/1446.12	o 14174
1446.25/1447.96	o 14165
1448.16/1449.82	o 14158
1449.95/1451.69	o 14156
1453.75/1455.47	o 14155
1455.65/1457.30	o 14149
1457.45/1459.17	o 14139
1459.36/1461.04	o 14137
1463.05/1464.76	o 14132
1464.85/1466.56	o 14126
1466.65/1468.39	o 14123
1470.45/1472.15	o 14120
1472.35/1474.04	o 14115
1476.14/1477.83	o 14113
1479.94/1481.64	o 14112
1481.84/1483.55	o 14110
1483.64/1485.32	o 14101
1485.44/1487.15	o 14097
1487.34/1489.03	o 14088
1489.13/1490.89	o 14084
1491.04/1492.79	o 14081
1494.83/1496.57	o 14080
1496.73/1498.46	o 14076
1498.63/1500.36	o 14075
1502.53/1504.23	o 14072
1506.43/1508.14	o 14070
1508.22/1509.98	o 14067
1510.22/1511.94	o 14065
1512.02/1513.79	o 14062
1514.03/1515.80	o 14061
1516.02/1517.79	o 14059
1518.02/1519.79	o 14053
1519.92/1521.67	o 14047
1521.92/1523.61	o 14040
1523.92/1525.67	o 14033
1525.81/1527.52	o 14032
1527.81/1529.51	o 14026
1529.81/1531.53	o 14021
1531.92/1533.61	o 14018
1533.92/1535.67	o 14011
1538.02/1539.76	o 14007
1540.12/1541.88	o 14006
1542.11/1543.88	o 14005
1544.21/1546.00	o 14002
1546.31/1548.07	o 13997
1550.42/1552.12	o 13993
1552.41/1554.17	o 13990
1554.51/1556.27	o 13988
1556.61/1558.36	o 13987
1558.61/1560.35	o 13981
1560.71/1562.47	o 13975
1562.71/1564.48	o 13970
1564.80/1566.55	o 13965
1569.00/1570.71	o 13961
1571.00/1572.77	o 13956
1573.20/1574.98	o 13954
1575.30/1577.07	o 13945
1577.50/1579.25	o 13943
1583.99/1585.74	o 13942
1585.89/1587.63	o 13934
1587.80/1589.59	o 13928
1589.90/1591.66	o 13921
1594.19/1595.93	o 13916
1600.19/1601.97	o 13912
1602.38/1604.10	o 13908
1606.58/1608.34	o 13902
1608.68/1610.45	o 13899
1610.78/1612.60	o 13892
1612.98/1614.72	o 13885
1617.28/1619.04	o 13884
1619.47/1621.20	o 13881
1621.57/1623.31	o 13876
1625.87/1627.66	o 13872
1628.07/1629.86	o 13871
1630.27/1632.04	o 13867
1632.47/1634.24	o 13865
1634.67/1636.41	o 13859
1636.77/1638.58	o 13858
1643.37/1645.13	o 13855
1645.46/1647.30	o 13851
1647.77/1649.55	o 13847
1652.26/1654.09	o 13846
1654.56/1656.30	o 13845
1661.26/1663.01	o 13844
1663.46/1665.24	o 13840
1667.86/1669.62	o 13838
1670.06/1671.80	o 13837
1672.16/1673.96	o 13833
1674.36/1676.17	o 13832
1676.56/1678.38	o 13827
1678.76/1680.59	o 13824
1680.66/1682.42	o 13818
1684.85/1686.69	o 13814
1686.95/1688.80	o 13810
1693.45/1695.29	o 13802
1695.75/1697.52	o 13801
1697.94/1699.71	o 13794
1702.34/1704.10	o 13792
1706.64/1708.46	o 13786
1708.84/1710.62	o 13783
1713.24/1715.02	o 13779
1715.44/1717.22	o 13772
1717.64/1719.42	o 13771
1719.74/1721.57	o 13767
1724.04/1725.90	o 13758
1726.24/1728.05	o 13752
1728.44/1730.23	o 13746
1730.63/1732.45	o 13743
1732.73/1734.58	o 13736
1735.03/1736.83	o 13726
1739.33/1741.17	o 13723
1743.62/1745.43	o 13721
1745.72/1747.54	o 13714
1748.02/1749.87	o 13707
1750.32/1752.13	o 13703
1752.52/1754.31	o 13700
1754.72/1756.50	o 13699
1756.82/1758.69	o 13696
1759.12/1760.98	o 13693
1767.92/1769.74	o 13691
1770.11/1772.00	o 13685
1774.11/1775.98	o 13683
1776.31/1778.16	o 13677
1778.61/1780.46	o 13675
1780.91/1782.74	o 13670
1783.11/1784.90	o 13665
1785.31/1787.13	o 13661
1787.51/1789.35	o 13660
1791.90/1793.79	o 13656
1794.10/1795.96	o 13652
1796.40/1798.20	o 13645
1798.60/1800.42	o 13637
1800.70/1802.59	o 13633
1802.70/1804.50	o 13628
1804.90/1806.72	o 13627
1806.99/1808.89	o 13625
1808.59/1810.48	o 13623
1810.69/1812.59	o 13622
1812.79/1814.70	o 13613
1814.99/1816.88	o 13610
1817.19/1819.08	o 13605
1819.29/1821.20	o 13602
1821.49/1823.39	o 13599
1823.69/1825.56	o 13596
1825.89/1827.75	o 13595
1828.09/1829.90	o 13593
1834.69/1836.60	o 13590
1836.89/1838.73	o 13588
1838.99/1840.86	o 13578
1841.18/1843.01	o 13569
1843.28/1845.13	o 13566
1847.58/1849.47	o 13562
1851.98/1853.89	o 13560
1856.38/1858.26	o 13558
1858.58/1860.47	o 13557
1860.78/1862.63	o 13556
1862.98/1864.83	o 13547
1865.07/1867.00	o 13544
1867.27/1869.13	o 13539
1875.67/1877.58	o 13535
1877.77/1879.66	o 13530
1884.16/1886.09	o 13528
1888.36/1890.30	o 13523
1890.56/1892.41	o 13521
1892.65/1894.58	o 13519
1894.75/1896.68	o 13518
1901.16/1903.08	o 13513
1905.75/1907.60	o 13509
1907.85/1909.80	o 13504
1910.05/1911.92	o 13499
1912.15/1914.08	o 13498
1914.35/1916.25	o 13492
1916.56/1918.49	o 13486
1921.05/1922.98	o 13485
1923.35/1925.22	o 13480
1925.54/1927.47	o 13476
1930.04/1931.95	o 13475
1936.64/1938.57	o 13470
1943.33/1945.29	o 13466
1945.53/1947.44	o 13465
1947.54/1949.46	o 13457
1949.73/1951.70	o 13454
1952.03/1953.97	o 13452
1954.23/1956.16	o 13449
1956.53/1958.40	o 13443
1960.93/1962.86	o 13441
1963.23/1965.10	o 13437
1965.13/1967.08	o 13430
1967.33/1969.27	o 13428
1969.62/1971.51	o 13424
1976.32/1978.20	o 13421
1978.41/1980.39	o 13415
1980.61/1982.59	o 13409
1982.91/1984.85	o 13404
1985.21/1987.12	o 13403
1987.41/1989.30	o 13399
1989.71/1991.60	o 13395
1991.91/1993.87	o 13392
1996.51/1998.44	o 13388
1998.82/2000.75	o 13380
2000.81/2002.76	o 13378
2003.11/2005.06	o 13372
2005.41/2007.40	o 13365
2012.54/2014.57	o 13362
2015.02/2017.05	o 13361
2017.40/2019.50	o 13360
2019.87/2021.93	o 13354
2022.34/2024.40	o 13349
2024.73/2026.86	o 13348
2027.30/2029.41	o 13345
2029.67/2031.88	o 13341
2032.16/2034.31	o 13336
2034.54/2036.70	o 13328
2036.91/2039.16	o 13324
2039.39/2041.63	o 13321
2041.86/2044.10	o 13316
2044.34/2046.61	o 13314
2046.72/2049.01	o 13310
2049.00/2051.33	o 13306
2051.28/2053.66	o 13305
2053.64/2056.08	o 13300
2056.12/2058.54	o 13290
2058.50/2060.95	o 13284
2063.54/2066.04	o 13279
2068.50/2071.03	o 13272
2070.87/2073.49	o 13269
2073.34/2075.92	o 13266
2075.82/2078.42	o 13265
2078.30/2080.96	o 13259
2080.77/2083.47	o 13257
2083.24/2085.98	o 13254
2085.52/2088.29	o 13246
2087.99/2090.75	o 13245
2089.87/2092.65	o 13244
2091.85/2094.60	o 13239
2094.24/2097.09	o 13235
2096.71/2099.54	o 13228
2099.09/2101.98	o 13223
2101.65/2104.55	o 13213
2104.23/2107.11	o 13211
2106.71/2109.62	o 13209
2109.18/2112.12	o 13201
2111.65/2114.60	o 13198
2116.51/2119.57	o 13192
2118.98/2122.04	o 13189
2123.83/2126.99	o 13186
2126.41/2129.51	o 13185
2128.77/2131.90	o 13179
2131.15/2134.34	o 13175
2136.11/2139.39	o 13172
2141.15/2144.49	o 13171
2143.73/2147.09	o 13166
2146.39/2149.77	o 13158
2151.45/2154.84	o 13156
2164.52/2168.07	o 13154
2169.76/2173.38	o 13150
2172.43/2176.02	o 13149
2175.01/2178.66	o 13148
2180.45/2184.13	o 13146
2183.22/2186.91	o 13139
2185.89/2189.66	o 13135
2188.66/2192.41	o 13131
2191.34/2195.10	o 13122
2194.01/2197.87	o 13120
2196.58/2200.49	o 13117
2199.26/2203.14	o 13114
2201.92/2205.90	o 13110
2215.60/2219.61	o 13109
2223.61/2227.70	o 13104
2228.56/2232.78	o 13097
2231.23/2235.47	o 13095
2233.91/2238.11	o 13090
2242.02/2246.33	o 13086
2244.69/2249.07	o 13081
2247.46/2251.80	o 13072
2250.14/2254.55	o 13069
2252.81/2257.29	o 13064
2266.87/2271.40	o 13063
2269.64/2274.26	o 13054
2272.50/2277.12	o 13047
2275.28/2279.90	o 13043
2280.83/2285.59	o 13039
2283.69/2288.46	o 13035
2292.30/2297.10	o 13032
2295.18/2300.03	o 13028
2298.05/2302.91	o 13023
2300.92/2305.81	o 13019
2303.79/2308.72	o 13013
2306.56/2311.55	o 13009
2309.44/2314.46	o 13006
2315.07/2320.17	o 13005
2317.95/2323.04	o 13003
2320.81/2325.93	o 12996
2323.68/2328.81	o 12992
2326.46/2331.67	o 12985
2329.33/2334.52	o 12984
2332.10/2337.33	o 12977
2334.87/2340.11	o 12974
2343.28/2348.64	o 12973
2345.65/2351.04	o 12967
2354.08/2359.53	o 12966
2356.85/2362.30	o 12962
2359.53/2365.09	o 12957
2362.20/2367.78	o 12954
2367.64/2373.24	o 12952
2370.32/2375.97	o 12943
2372.99/2378.66	o 12939
2375.56/2381.23	o 12936
2378.33/2384.01	o 12932
2381.01/2386.71	o 12926
2383.67/2389.49	o 12921
2399.12/2405.04	o 12917
2401.70/2407.66	o 12912
2404.46/2410.42	o 12906
2407.15/2413.14	o 12905
2409.91/2415.92	o 12897
2412.59/2418.70	o 12895
2415.35/2421.43	o 12892
2420.70/2426.82	o 12886
2426.14/2432.31	o 12881
2428.82/2435.02	o 12879
2431.49/2437.74	o 12875
2434.17/2440.49	o 12874
2437.03/2443.32	o 12867
2439.71/2446.07	o 12859
2442.47/2448.85	o 12852
2456.04/2462.58	o 12847
2461.58/2468.13	o 12843
2464.25/2470.90	o 12839
2475.35/2482.03	o 12835
2478.02/2484.78	o 12834
2480.89/2487.61	o 12831
2486.43/2493.22	o 12829
2489.11/2495.97	o 12825
2491.68/2498.57	o 12815
2494.46/2501.36	o 12814
2497.22/2504.10	o 12807
2500.00/2506.95	o 12802
2502.86/2509.80	o 12797
2505.63/2512.63	o 12795
2511.18/2518.22	o 12792
2516.82/2523.90	o 12785
2519.50/2526.69	o 12784
2533.46/2540.78	o 12779
2536.32/2543.65	o 12775
2539.10/2546.48	o 12772
2541.96/2549.35	o 12766
2555.92/2563.48	o 12762
2558.80/2566.39	o 12759
2561.66/2569.22	o 12753
2564.44/2572.04	o 12750
2567.21/2574.86	o 12748
2569.98/2577.67	o 12741
2572.76/2580.48	o 12740
2575.53/2583.29	o 12734
2581.17/2588.99	o 12730
2586.71/2594.53	o 12726
2589.48/2597.31	o 12720
2591.56/2599.45	o 12711
2602.64/2610.61	o 12707
2605.32/2613.33	o 12702
2610.87/2618.91	o 12698
2613.63/2621.77	o 12695
2616.51/2624.66	o 12694
2619.37/2627.52	o 12686
2622.14/2630.38	o 12683
2625.02/2633.25	o 12676
2627.89/2636.13	o 12675
2630.46/2638.73	o 12671
2635.41/2643.71	o 12669
2638.08/2646.40	o 12662
2640.85/2649.25	o 12656
2643.33/2651.73	o 12651
2646.09/2654.51	o 12647
2648.77/2657.24	o 12642
2651.44/2659.97	o 12640
2654.32/2662.81	o 12636
2657.08/2665.63	o 12632
2659.86/2668.43	o 12624
2662.63/2671.22	o 12622
2668.07/2676.72	o 12618
2670.75/2679.43	o 12617
2676.10/2684.85	o 12611
2678.76/2687.59	o 12608
2681.54/2690.31	o 12603
2684.11/2692.94	o 12594
2689.46/2698.31	o 12590
2692.12/2701.02	o 12587
2700.35/2709.36	o 12582
2702.52/2711.56	o 12576
2705.29/2714.36	o 12573
2707.97/2717.09	o 12571
2710.74/2719.82	o 12568
2716.28/2725.41	o 12563
2718.95/2728.17	o 12556
2721.73/2730.96	o 12550
2724.49/2733.72	o 12547
2729.75/2739.03	o 12543
2732.01/2741.35	o 12542
2734.69/2744.09	o 12541
2737.46/2746.82	o 12534
2748.45/2757.98	o 12526
2751.22/2760.73	o 12524
2753.99/2763.51	o 12522
2756.78/2766.38	o 12519
2764.99/2774.61	o 12516
2767.86/2777.56	o 12512
2770.73/2780.44	o 12509
2776.37/2786.11	o 12505
2782.01/2791.83	o 12504
2784.78/2794.67	o 12496
2790.43/2800.35	o 12494
2793.29/2803.21	o 12489
2796.17/2806.14	o 12481
2798.93/2808.98	o 12480
2801.80/2811.81	o 12479
2804.58/2814.68	o 12472
2807.44/2817.51	o 12467
2810.22/2820.31	o 12463
2812.99/2823.15	o 12462
2824.47/2834.78	o 12459
2830.21/2840.54	o 12457
2832.98/2843.38	o 12454
2835.85/2846.28	o 12452
2838.72/2849.16	o 12447
2841.49/2851.96	o 12444
2844.36/2854.89	o 12442
2853.06/2863.66	o 12440
2856.04/2866.62	o 12436
2858.81/2869.48	o 12432
2861.87/2872.55	o 12424
2870.49/2881.28	o 12421
2873.47/2884.26	o 12417
2876.33/2887.18	o 12416
2879.30/2890.18	o 12410
2882.26/2893.17	o 12407
2885.24/2896.12	o 12406
2888.11/2899.08	o 12401
2891.17/2902.11	o 12398
2894.15/2905.15	o 12396
2897.11/2908.19	o 12394
2900.08/2911.19	o 12393
2903.05/2914.18	o 12392
2906.02/2917.15	o 12390
2912.06/2923.21	o 12389
2914.73/2926.00	o 12385
2920.87/2932.14	o 12382
2923.93/2935.27	o 12375
2927.00/2938.39	o 12371
2930.08/2941.48	o 12367
2933.15/2944.53	o 12363
2936.11/2947.54	o 12362
2939.17/2950.66	o 12353
2942.24/2953.71	o 12347
2945.22/2956.75	o 12342
2948.20/2959.78	o 12341
2951.06/2962.69	o 12339
2954.13/2965.73	o 12337
2957.30/2968.91	o 12332
2963.24/2974.96	o 12331
2966.31/2978.06	o 12327
2972.45/2984.23	o 12323
2975.21/2987.04	o 12319
2977.29/2989.16	o 12313
2980.46/2992.30	o 12310
2986.60/2998.51	o 12309
2989.47/3001.43	o 12308
2992.53/3004.55	o 12305
2995.70/3007.73	o 12302
3004.90/3017.06	o 12299
3017.57/3029.89	o 12294
3020.74/3033.08	o 12292
3023.90/3036.29	o 12287
3025.69/3038.02	o 12280
3028.86/3041.22	o 12276
3031.93/3044.39	o 12270
3051.03/3063.62	o 12269
3054.29/3066.90	o 12266
3057.55/3070.21	o 12264
3060.73/3073.45	o 12262
3064.00/3076.73	o 12258
3067.26/3080.05	o 12255
3073.59/3086.41	o 12246
3076.66/3089.55	o 12240
3082.79/3095.79	o 12238
3099.32/3112.41	o 12236
3102.59/3115.75	o 12235
3105.76/3119.00	o 12233
3109.12/3122.34	o 12229
3112.39/3125.66	o 12224
3115.75/3129.00	o 12219
3118.92/3132.26	o 12213
3125.35/3138.74	o 12210
3128.62/3142.02	o 12203
3131.78/3145.25	o 12199
3134.94/3148.47	o 12194
3138.11/3151.68	o 12190
3141.29/3154.86	o 12189
3144.46/3158.07	o 12187
3147.72/3161.38	o 12186
3150.99/3164.68	o 12184
3157.42/3171.17	o 12182
3167.01/3180.87	o 12180
3170.18/3184.09	o 12177
3173.44/3187.30	o 12173
3176.51/3190.46	o 12168
3179.78/3193.70	o 12167
3182.84/3196.87	o 12163
3185.62/3199.61	o 12161
3188.69/3202.76	o 12159
3191.85/3205.93	o 12155
3197.79/3211.97	o 12154
3200.46/3214.62	o 12148
3209.77/3224.06	o 12144
3212.54/3226.83	o 12136
3215.50/3229.82	o 12131
3218.48/3232.87	o 12130
3221.55/3235.93	o 12121
3224.71/3239.10	o 12120
3234.11/3248.64	o 12114
3240.35/3254.99	o 12109
3243.42/3258.08	o 12105
3246.49/3261.15	o 12103
3252.72/3267.40	o 12102
3255.89/3270.63	o 12100
3261.93/3276.78	o 12096
3265.00/3279.85	o 12092
3268.06/3282.95	o 12087
3271.23/3286.13	o 12085
3274.29/3289.29	o 12084
3277.37/3292.39	o 12079
3280.54/3295.58	o 12075
3283.10/3298.17	o 12070
3286.17/3301.28	o 12065
3289.35/3304.44	o 12063
3295.48/3310.65	o 12059
3297.95/3313.13	o 12054
3300.92/3316.10	o 12052
3303.88/3319.17	o 12051
3306.95/3322.30	o 12046
3310.12/3325.40	o 12040
3312.89/3328.20	o 12037
3315.95/3331.31	o 12031
3318.92/3334.38	o 12027
3321.90/3337.34	o 12021
3324.86/3340.34	o 12017
3330.80/3346.33	o 12015
3333.77/3349.34	o 12010
3351.38/3367.18	o 12006
3354.35/3370.15	o 12000
3360.28/3376.11	o 11998
3363.26/3379.13	o 11997
3366.32/3382.20	o 11994
3369.29/3385.23	o 11990
3378.49/3394.52	o 11989
3383.94/3400.05	o 11985
3396.10/3412.39	o 11982
3399.28/3415.51	o 11981
3402.24/3418.57	o 11980
3405.41/3421.74	o 11979
3408.47/3424.84	o 11975
3411.54/3427.90	o 11969
3414.70/3431.12	o 11964
3417.78/3434.25	o 11963
3420.84/3437.31	o 11957
3423.91/3440.47	o 11955
3442.51/3459.23	o 11950
3445.58/3462.32	o 11947
3448.85/3465.64	o 11944
3452.01/3468.81	o 11941
3454.69/3471.55	o 11933
3457.76/3474.69	o 11921
3460.93/3477.83	o 11917
3464.09/3481.00	o 11914
3467.16/3484.17	o 11911
3470.32/3487.40	o 11909
3473.59/3490.60	o 11907
3476.36/3493.40	o 11906
3479.53/3496.63	o 11904
3482.60/3499.75	o 11897
3485.76/3502.95	o 11889
3488.93/3506.12	o 11888
3495.26/3512.51	o 11884
3504.56/3521.94	o 11883
3507.73/3525.10	o 11878
3510.89/3528.32	o 11872
3514.06/3531.51	o 11870
3517.23/3534.76	o 11866
3520.39/3537.93	o 11864
3523.46/3541.08	o 11861
3526.63/3544.25	o 11857
3529.30/3546.97	o 11854
3532.46/3550.16	o 11853
3535.53/3553.26	o 11852
3538.60/3556.39	o 11850
3541.67/3559.49	o 11847
3544.94/3562.77	o 11844
3548.10/3565.96	o 11838
3551.26/3569.12	o 11835
3560.56/3578.58	o 11831
3563.64/3581.68	o 11828
3566.80/3584.85	o 11822
3569.57/3587.65	o 11813
3572.24/3590.37	o 11809
3575.31/3593.41	o 11805
3578.27/3596.48	o 11804
3581.44/3599.61	o 11801
3584.51/3602.72	o 11799
3587.48/3605.75	o 11795
3590.65/3608.98	o 11782
3593.71/3612.05	o 11781
3596.78/3615.11	o 11779
3599.84/3618.23	o 11774

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-1113038-1215877065/watcher-1113038-1215877065 -o /tmp/evaluation-result-1113038-1215877065/solver-1113038-1215877065 -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-1113038-1215877065.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 2.00 4/81 16432
/proc/meminfo: memFree=1847780/2055924 swapFree=4181092/4192956
[pid=16432] ppid=16430 vsize=18572 CPUtime=0
/proc/16432/stat : 16432 (runsolver) R 16430 16432 15639 0 -1 4194368 16 0 0 0 0 0 0 0 20 0 1 0 44409810 19017728 292 996147200 4194304 4296836 548682068336 18446744073709551615 268582841639 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/16432/statm: 4643 292 257 25 0 2626 0

[startup+0.096327 s]
/proc/loadavg: 2.00 2.00 2.00 4/81 16432
/proc/meminfo: memFree=1847780/2055924 swapFree=4181092/4192956
[pid=16432] ppid=16430 vsize=865856 CPUtime=0.07
/proc/16432/stat : 16432 (java) S 16430 16432 15639 0 -1 0 3523 0 1 0 6 1 0 0 18 0 9 0 44409810 886636544 3013 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16432/statm: 216464 3013 1627 9 0 211026 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 865856

[startup+0.102325 s]
/proc/loadavg: 2.00 2.00 2.00 4/81 16432
/proc/meminfo: memFree=1847780/2055924 swapFree=4181092/4192956
[pid=16432] ppid=16430 vsize=865960 CPUtime=0.07
/proc/16432/stat : 16432 (java) S 16430 16432 15639 0 -1 0 3603 0 1 0 6 1 0 0 18 0 9 0 44409810 886743040 3091 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16432/statm: 216490 3091 1649 9 0 211052 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 865960

[startup+0.301349 s]
/proc/loadavg: 2.00 2.00 2.00 4/81 16432
/proc/meminfo: memFree=1847780/2055924 swapFree=4181092/4192956
[pid=16432] ppid=16430 vsize=866156 CPUtime=0.27
/proc/16432/stat : 16432 (java) S 16430 16432 15639 0 -1 0 5585 0 1 0 24 3 0 0 18 0 9 0 44409810 886943744 5000 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16432/statm: 216539 5000 1905 9 0 211087 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 866156

[startup+0.702397 s]
/proc/loadavg: 2.00 2.00 2.00 4/81 16432
/proc/meminfo: memFree=1847780/2055924 swapFree=4181092/4192956
[pid=16432] ppid=16430 vsize=867180 CPUtime=0.67
/proc/16432/stat : 16432 (java) S 16430 16432 15639 0 -1 0 12203 0 1 0 60 7 0 0 18 0 9 0 44409810 887992320 11574 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16432/statm: 216795 11574 1972 9 0 211323 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 867180

[startup+1.50249 s]
/proc/loadavg: 2.00 2.00 2.00 3/90 16441
/proc/meminfo: memFree=1759900/2055924 swapFree=4181092/4192956
[pid=16432] ppid=16430 vsize=867564 CPUtime=1.46
/proc/16432/stat : 16432 (java) S 16430 16432 15639 0 -1 0 24482 0 1 0 134 12 0 0 18 0 9 0 44409810 888385536 23841 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16432/statm: 216891 23841 2025 9 0 211397 0
[pid=16432/tid=16434] ppid=16430 vsize=867564 CPUtime=1.2
/proc/16432/task/16434/stat : 16434 (java) R 16430 16432 15639 0 -1 64 15769 0 1 0 111 9 0 0 25 0 9 0 44409812 888385536 23841 996147200 134512640 134550740 4294955952 18446744073709551615 4126854332 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16432/tid=16435] ppid=16430 vsize=867564 CPUtime=0.06
/proc/16432/task/16435/stat : 16435 (java) S 16430 16432 15639 0 -1 64 7406 0 0 0 4 2 0 0 16 0 9 0 44409813 888385536 23841 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16432/tid=16436] ppid=16430 vsize=867564 CPUtime=0
/proc/16432/task/16436/stat : 16436 (java) S 16430 16432 15639 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44409814 888385536 23841 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16432/tid=16437] ppid=16430 vsize=867564 CPUtime=0
/proc/16432/task/16437/stat : 16437 (java) S 16430 16432 15639 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 44409814 888385536 23841 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16432/tid=16438] ppid=16430 vsize=867564 CPUtime=0
/proc/16432/task/16438/stat : 16438 (java) S 16430 16432 15639 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44409816 888385536 23841 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16432/tid=16439] ppid=16430 vsize=867564 CPUtime=0.17
/proc/16432/task/16439/stat : 16439 (java) S 16430 16432 15639 0 -1 64 609 0 0 0 17 0 0 0 16 0 9 0 44409816 888385536 23841 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16432/tid=16440] ppid=16430 vsize=867564 CPUtime=0
/proc/16432/task/16440/stat : 16440 (java) S 16430 16432 15639 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44409816 888385536 23841 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16432/tid=16441] ppid=16430 vsize=867564 CPUtime=0
/proc/16432/task/16441/stat : 16441 (java) S 16430 16432 15639 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44409816 888385536 23841 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 867564

[startup+3.10168 s]
/proc/loadavg: 2.00 2.00 2.00 3/90 16441
/proc/meminfo: memFree=1744796/2055924 swapFree=4181092/4192956
[pid=16432] ppid=16430 vsize=867476 CPUtime=3.05
/proc/16432/stat : 16432 (java) S 16430 16432 15639 0 -1 0 29999 0 1 0 289 16 0 0 18 0 9 0 44409810 888295424 29334 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16432/statm: 216869 29334 2004 9 0 211397 0
[pid=16432/tid=16434] ppid=16430 vsize=867476 CPUtime=2.55
/proc/16432/task/16434/stat : 16434 (java) R 16430 16432 15639 0 -1 64 15771 0 1 0 245 10 0 0 25 0 9 0 44409812 888295424 29334 996147200 134512640 134550740 4294955952 18446744073709551615 102689631 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16432/tid=16435] ppid=16430 vsize=867476 CPUtime=0.29
/proc/16432/task/16435/stat : 16435 (java) S 16430 16432 15639 0 -1 64 12920 0 0 0 25 4 0 0 17 0 9 0 44409813 888295424 29334 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16432/tid=16436] ppid=16430 vsize=867476 CPUtime=0
/proc/16432/task/16436/stat : 16436 (java) S 16430 16432 15639 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44409814 888295424 29334 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16432/tid=16437] ppid=16430 vsize=867476 CPUtime=0
/proc/16432/task/16437/stat : 16437 (java) S 16430 16432 15639 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44409814 888295424 29334 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16432/tid=16438] ppid=16430 vsize=867476 CPUtime=0
/proc/16432/task/16438/stat : 16438 (java) S 16430 16432 15639 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44409816 888295424 29334 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16432/tid=16439] ppid=16430 vsize=867476 CPUtime=0.17
/proc/16432/task/16439/stat : 16439 (java) S 16430 16432 15639 0 -1 64 610 0 0 0 17 0 0 0 16 0 9 0 44409816 888295424 29334 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16432/tid=16440] ppid=16430 vsize=867476 CPUtime=0
/proc/16432/task/16440/stat : 16440 (java) S 16430 16432 15639 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44409816 888295424 29334 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16432/tid=16441] ppid=16430 vsize=867476 CPUtime=0
/proc/16432/task/16441/stat : 16441 (java) S 16430 16432 15639 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44409816 888295424 29334 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 867476

[startup+6.30104 s]
/proc/loadavg: 2.00 2.00 2.00 3/90 16441
/proc/meminfo: memFree=1721628/2055924 swapFree=4181092/4192956
[pid=16432] ppid=16430 vsize=867476 CPUtime=6.21
/proc/16432/stat : 16432 (java) S 16430 16432 15639 0 -1 0 33920 0 1 0 603 18 0 0 18 0 9 0 44409810 888295424 33249 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16432/statm: 216869 33249 2006 9 0 211397 0
[pid=16432/tid=16434] ppid=16430 vsize=867476 CPUtime=5.42
/proc/16432/task/16434/stat : 16434 (java) R 16430 16432 15639 0 -1 64 15808 0 1 0 532 10 0 0 25 0 9 0 44409812 888295424 33249 996147200 134512640 134550740 4294955952 18446744073709551615 4126904375 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16432/tid=16435] ppid=16430 vsize=867476 CPUtime=0.56
/proc/16432/task/16435/stat : 16435 (java) S 16430 16432 15639 0 -1 64 16790 0 0 0 50 6 0 0 17 0 9 0 44409813 888295424 33249 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16432/tid=16436] ppid=16430 vsize=867476 CPUtime=0
/proc/16432/task/16436/stat : 16436 (java) S 16430 16432 15639 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44409814 888295424 33249 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16432/tid=16437] ppid=16430 vsize=867476 CPUtime=0
/proc/16432/task/16437/stat : 16437 (java) S 16430 16432 15639 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44409814 888295424 33249 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16432/tid=16438] ppid=16430 vsize=867476 CPUtime=0
/proc/16432/task/16438/stat : 16438 (java) S 16430 16432 15639 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44409816 888295424 33249 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16432/tid=16439] ppid=16430 vsize=867476 CPUtime=0.19
/proc/16432/task/16439/stat : 16439 (java) S 16430 16432 15639 0 -1 64 624 0 0 0 19 0 0 0 16 0 9 0 44409816 888295424 33249 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16432/tid=16440] ppid=16430 vsize=867476 CPUtime=0
/proc/16432/task/16440/stat : 16440 (java) S 16430 16432 15639 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44409816 888295424 33249 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16432/tid=16441] ppid=16430 vsize=867476 CPUtime=0
/proc/16432/task/16441/stat : 16441 (java) S 16430 16432 15639 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44409816 888295424 33249 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 867476

[startup+12.7018 s]
/proc/loadavg: 2.00 2.00 2.00 3/90 16441
/proc/meminfo: memFree=1714524/2055924 swapFree=4181092/4192956
[pid=16432] ppid=16430 vsize=867476 CPUtime=12.55
/proc/16432/stat : 16432 (java) S 16430 16432 15639 0 -1 0 37197 0 1 0 1236 19 0 0 18 0 9 0 44409810 888295424 36520 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16432/statm: 216869 36520 2007 9 0 211397 0
[pid=16432/tid=16434] ppid=16430 vsize=867476 CPUtime=11.48
/proc/16432/task/16434/stat : 16434 (java) R 16430 16432 15639 0 -1 64 15817 0 1 0 1137 11 0 0 25 0 9 0 44409812 888295424 36520 996147200 134512640 134550740 4294955952 18446744073709551615 4127079701 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16432/tid=16435] ppid=16430 vsize=867476 CPUtime=0.78
/proc/16432/task/16435/stat : 16435 (java) S 16430 16432 15639 0 -1 64 20009 0 0 0 71 7 0 0 16 0 9 0 44409813 888295424 36520 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16432/tid=16436] ppid=16430 vsize=867476 CPUtime=0
/proc/16432/task/16436/stat : 16436 (java) S 16430 16432 15639 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44409814 888295424 36520 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16432/tid=16437] ppid=16430 vsize=867476 CPUtime=0
/proc/16432/task/16437/stat : 16437 (java) S 16430 16432 15639 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44409814 888295424 36520 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16432/tid=16438] ppid=16430 vsize=867476 CPUtime=0
/proc/16432/task/16438/stat : 16438 (java) S 16430 16432 15639 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44409816 888295424 36520 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16432/tid=16439] ppid=16430 vsize=867476 CPUtime=0.26
/proc/16432/task/16439/stat : 16439 (java) S 16430 16432 15639 0 -1 64 673 0 0 0 26 0 0 0 16 0 9 0 44409816 888295424 36520 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16432/tid=16440] ppid=16430 vsize=867476 CPUtime=0
/proc/16432/task/16440/stat : 16440 (java) S 16430 16432 15639 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44409816 888295424 36520 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16432/tid=16441] ppid=16430 vsize=867476 CPUtime=0
/proc/16432/task/16441/stat : 16441 (java) S 16430 16432 15639 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44409816 888295424 36520 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.55
Current children cumulated vsize (KiB) 867476

[startup+25.5023 s]
/proc/loadavg: 2.00 2.00 2.00 3/90 16441
/proc/meminfo: memFree=1647452/2055924 swapFree=4181092/4192956
[pid=16432] ppid=16430 vsize=867564 CPUtime=25.23
/proc/16432/stat : 16432 (java) S 16430 16432 15639 0 -1 0 53416 0 1 0 2495 28 0 0 18 0 9 0 44409810 888385536 52411 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16432/statm: 216891 52411 2640 9 0 211397 0
[pid=16432/tid=16434] ppid=16430 vsize=867564 CPUtime=22.14
/proc/16432/task/16434/stat : 16434 (java) R 16430 16432 15639 0 -1 64 15891 0 1 0 2202 12 0 0 25 0 9 0 44409812 888385536 52411 996147200 134512640 134550740 4294955952 18446744073709551615 4126897704 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16432/tid=16435] ppid=16430 vsize=867564 CPUtime=2.73
/proc/16432/task/16435/stat : 16435 (java) S 16430 16432 15639 0 -1 64 36125 0 0 0 259 14 0 0 16 0 9 0 44409813 888385536 52411 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16432/tid=16436] ppid=16430 vsize=867564 CPUtime=0
/proc/16432/task/16436/stat : 16436 (java) S 16430 16432 15639 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44409814 888385536 52411 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16432/tid=16437] ppid=16430 vsize=867564 CPUtime=0
/proc/16432/task/16437/stat : 16437 (java) S 16430 16432 15639 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44409814 888385536 52411 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16432/tid=16438] ppid=16430 vsize=867564 CPUtime=0
/proc/16432/task/16438/stat : 16438 (java) S 16430 16432 15639 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44409816 888385536 52411 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16432/tid=16439] ppid=16430 vsize=867564 CPUtime=0.31
/proc/16432/task/16439/stat : 16439 (java) S 16430 16432 15639 0 -1 64 702 0 0 0 31 0 0 0 15 0 9 0 44409816 888385536 52411 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16432/tid=16440] ppid=16430 vsize=867564 CPUtime=0
/proc/16432/task/16440/stat : 16440 (java) S 16430 16432 15639 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44409816 888385536 52411 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16432/tid=16441] ppid=16430 vsize=867564 CPUtime=0
/proc/16432/task/16441/stat : 16441 (java) S 16430 16432 15639 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44409816 888385536 52411 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.23
Current children cumulated vsize (KiB) 867564

[startup+51.1023 s]
/proc/loadavg: 2.00 2.00 2.00 3/90 16441
/proc/meminfo: memFree=1647388/2055924 swapFree=4181092/4192956
[pid=16432] ppid=16430 vsize=867564 CPUtime=50.57
/proc/16432/stat : 16432 (java) S 16430 16432 15639 0 -1 0 53417 0 1 0 5026 31 0 0 18 0 9 0 44409810 888385536 52412 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16432/statm: 216891 52412 2640 9 0 211397 0
[pid=16432/tid=16434] ppid=16430 vsize=867564 CPUtime=47.48
/proc/16432/task/16434/stat : 16434 (java) R 16430 16432 15639 0 -1 64 15891 0 1 0 4733 15 0 0 25 0 9 0 44409812 888385536 52412 996147200 134512640 134550740 4294955952 18446744073709551615 4126521635 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16432/tid=16435] ppid=16430 vsize=867564 CPUtime=2.73
/proc/16432/task/16435/stat : 16435 (java) S 16430 16432 15639 0 -1 64 36125 0 0 0 259 14 0 0 16 0 9 0 44409813 888385536 52412 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16432/tid=16436] ppid=16430 vsize=867564 CPUtime=0
/proc/16432/task/16436/stat : 16436 (java) S 16430 16432 15639 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44409814 888385536 52412 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16432/tid=16437] ppid=16430 vsize=867564 CPUtime=0
/proc/16432/task/16437/stat : 16437 (java) S 16430 16432 15639 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44409814 888385536 52412 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16432/tid=16438] ppid=16430 vsize=867564 CPUtime=0
/proc/16432/task/16438/stat : 16438 (java) S 16430 16432 15639 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44409816 888385536 52412 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16432/tid=16439] ppid=16430 vsize=867564 CPUtime=0.32
/proc/16432/task/16439/stat : 16439 (java) S 16430 16432 15639 0 -1 64 703 0 0 0 32 0 0 0 16 0 9 0 44409816 888385536 52412 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16432/tid=16440] ppid=16430 vsize=867564 CPUtime=0

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

/proc/16432/task/16437/stat : 16437 (java) S 16430 16432 15639 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44409814 888385536 52425 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16432/tid=16438] ppid=16430 vsize=867564 CPUtime=0
/proc/16432/task/16438/stat : 16438 (java) S 16430 16432 15639 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44409816 888385536 52425 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16432/tid=16439] ppid=16430 vsize=867564 CPUtime=0.35
/proc/16432/task/16439/stat : 16439 (java) S 16430 16432 15639 0 -1 64 717 0 0 0 35 0 0 0 16 0 9 0 44409816 888385536 52425 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16432/tid=16440] ppid=16430 vsize=867564 CPUtime=0
/proc/16432/task/16440/stat : 16440 (java) S 16430 16432 15639 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44409816 888385536 52425 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16432/tid=16441] ppid=16430 vsize=867564 CPUtime=0
/proc/16432/task/16441/stat : 16441 (java) S 16430 16432 15639 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44409816 888385536 52425 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3267.48
Current children cumulated vsize (KiB) 867564

[startup+3342.3 s]
/proc/loadavg: 2.53 2.54 2.40 3/89 16522
/proc/meminfo: memFree=1608436/2055924 swapFree=4181092/4192956
[pid=16432] ppid=16430 vsize=867564 CPUtime=3326.84
/proc/16432/stat : 16432 (java) S 16430 16432 15639 0 -1 0 53434 0 1 0 332616 68 0 0 18 0 9 0 44409810 888385536 52425 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16432/statm: 216891 52425 2640 9 0 211397 0
[pid=16432/tid=16434] ppid=16430 vsize=867564 CPUtime=3323.72
/proc/16432/task/16434/stat : 16434 (java) R 16430 16432 15639 0 -1 64 15894 0 1 0 332321 51 0 0 25 0 9 0 44409812 888385536 52425 996147200 134512640 134550740 4294955952 18446744073709551615 4126900954 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16432/tid=16435] ppid=16430 vsize=867564 CPUtime=2.74
/proc/16432/task/16435/stat : 16435 (java) S 16430 16432 15639 0 -1 64 36125 0 0 0 259 15 0 0 16 0 9 0 44409813 888385536 52425 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16432/tid=16436] ppid=16430 vsize=867564 CPUtime=0
/proc/16432/task/16436/stat : 16436 (java) S 16430 16432 15639 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44409814 888385536 52425 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16432/tid=16437] ppid=16430 vsize=867564 CPUtime=0
/proc/16432/task/16437/stat : 16437 (java) S 16430 16432 15639 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44409814 888385536 52425 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16432/tid=16438] ppid=16430 vsize=867564 CPUtime=0
/proc/16432/task/16438/stat : 16438 (java) S 16430 16432 15639 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44409816 888385536 52425 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16432/tid=16439] ppid=16430 vsize=867564 CPUtime=0.35
/proc/16432/task/16439/stat : 16439 (java) S 16430 16432 15639 0 -1 64 717 0 0 0 35 0 0 0 16 0 9 0 44409816 888385536 52425 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16432/tid=16440] ppid=16430 vsize=867564 CPUtime=0
/proc/16432/task/16440/stat : 16440 (java) S 16430 16432 15639 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44409816 888385536 52425 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16432/tid=16441] ppid=16430 vsize=867564 CPUtime=0
/proc/16432/task/16441/stat : 16441 (java) S 16430 16432 15639 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44409816 888385536 52425 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3326.84
Current children cumulated vsize (KiB) 867564

[startup+3402.31 s]
/proc/loadavg: 2.45 2.51 2.39 3/89 16522
/proc/meminfo: memFree=1608436/2055924 swapFree=4181092/4192956
[pid=16432] ppid=16430 vsize=867564 CPUtime=3386.21
/proc/16432/stat : 16432 (java) S 16430 16432 15639 0 -1 0 53434 0 1 0 338553 68 0 0 18 0 9 0 44409810 888385536 52425 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16432/statm: 216891 52425 2640 9 0 211397 0
[pid=16432/tid=16434] ppid=16430 vsize=867564 CPUtime=3383.1
/proc/16432/task/16434/stat : 16434 (java) R 16430 16432 15639 0 -1 64 15894 0 1 0 338258 52 0 0 25 0 9 0 44409812 888385536 52425 996147200 134512640 134550740 4294955952 18446744073709551615 4127237459 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16432/tid=16435] ppid=16430 vsize=867564 CPUtime=2.74
/proc/16432/task/16435/stat : 16435 (java) S 16430 16432 15639 0 -1 64 36125 0 0 0 259 15 0 0 16 0 9 0 44409813 888385536 52425 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16432/tid=16436] ppid=16430 vsize=867564 CPUtime=0
/proc/16432/task/16436/stat : 16436 (java) S 16430 16432 15639 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44409814 888385536 52425 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16432/tid=16437] ppid=16430 vsize=867564 CPUtime=0
/proc/16432/task/16437/stat : 16437 (java) S 16430 16432 15639 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44409814 888385536 52425 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16432/tid=16438] ppid=16430 vsize=867564 CPUtime=0
/proc/16432/task/16438/stat : 16438 (java) S 16430 16432 15639 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44409816 888385536 52425 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16432/tid=16439] ppid=16430 vsize=867564 CPUtime=0.35
/proc/16432/task/16439/stat : 16439 (java) S 16430 16432 15639 0 -1 64 717 0 0 0 35 0 0 0 16 0 9 0 44409816 888385536 52425 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16432/tid=16440] ppid=16430 vsize=867564 CPUtime=0
/proc/16432/task/16440/stat : 16440 (java) S 16430 16432 15639 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44409816 888385536 52425 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16432/tid=16441] ppid=16430 vsize=867564 CPUtime=0
/proc/16432/task/16441/stat : 16441 (java) S 16430 16432 15639 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44409816 888385536 52425 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3386.21
Current children cumulated vsize (KiB) 867564

[startup+3462.3 s]
/proc/loadavg: 2.71 2.57 2.42 4/89 16522
/proc/meminfo: memFree=1608308/2055924 swapFree=4181092/4192956
[pid=16432] ppid=16430 vsize=867564 CPUtime=3445.58
/proc/16432/stat : 16432 (java) S 16430 16432 15639 0 -1 0 53434 0 1 0 344490 68 0 0 18 0 9 0 44409810 888385536 52425 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16432/statm: 216891 52425 2640 9 0 211397 0
[pid=16432/tid=16434] ppid=16430 vsize=867564 CPUtime=3442.46
/proc/16432/task/16434/stat : 16434 (java) R 16430 16432 15639 0 -1 64 15894 0 1 0 344194 52 0 0 25 0 9 0 44409812 888385536 52425 996147200 134512640 134550740 4294955952 18446744073709551615 4127226520 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16432/tid=16435] ppid=16430 vsize=867564 CPUtime=2.74
/proc/16432/task/16435/stat : 16435 (java) S 16430 16432 15639 0 -1 64 36125 0 0 0 259 15 0 0 16 0 9 0 44409813 888385536 52425 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16432/tid=16436] ppid=16430 vsize=867564 CPUtime=0
/proc/16432/task/16436/stat : 16436 (java) S 16430 16432 15639 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44409814 888385536 52425 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16432/tid=16437] ppid=16430 vsize=867564 CPUtime=0
/proc/16432/task/16437/stat : 16437 (java) S 16430 16432 15639 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44409814 888385536 52425 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16432/tid=16438] ppid=16430 vsize=867564 CPUtime=0
/proc/16432/task/16438/stat : 16438 (java) S 16430 16432 15639 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44409816 888385536 52425 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16432/tid=16439] ppid=16430 vsize=867564 CPUtime=0.35
/proc/16432/task/16439/stat : 16439 (java) S 16430 16432 15639 0 -1 64 717 0 0 0 35 0 0 0 16 0 9 0 44409816 888385536 52425 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16432/tid=16440] ppid=16430 vsize=867564 CPUtime=0
/proc/16432/task/16440/stat : 16440 (java) S 16430 16432 15639 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44409816 888385536 52425 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16432/tid=16441] ppid=16430 vsize=867564 CPUtime=0
/proc/16432/task/16441/stat : 16441 (java) S 16430 16432 15639 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44409816 888385536 52425 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3445.58
Current children cumulated vsize (KiB) 867564

[startup+3522.3 s]
/proc/loadavg: 2.53 2.54 2.42 4/89 16522
/proc/meminfo: memFree=1608372/2055924 swapFree=4181092/4192956
[pid=16432] ppid=16430 vsize=867564 CPUtime=3504.95
/proc/16432/stat : 16432 (java) S 16430 16432 15639 0 -1 0 53434 0 1 0 350426 69 0 0 18 0 9 0 44409810 888385536 52425 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16432/statm: 216891 52425 2640 9 0 211397 0
[pid=16432/tid=16434] ppid=16430 vsize=867564 CPUtime=3501.83
/proc/16432/task/16434/stat : 16434 (java) R 16430 16432 15639 0 -1 64 15894 0 1 0 350131 52 0 0 25 0 9 0 44409812 888385536 52425 996147200 134512640 134550740 4294955952 18446744073709551615 4127226449 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16432/tid=16435] ppid=16430 vsize=867564 CPUtime=2.74
/proc/16432/task/16435/stat : 16435 (java) S 16430 16432 15639 0 -1 64 36125 0 0 0 259 15 0 0 16 0 9 0 44409813 888385536 52425 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16432/tid=16436] ppid=16430 vsize=867564 CPUtime=0
/proc/16432/task/16436/stat : 16436 (java) S 16430 16432 15639 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44409814 888385536 52425 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16432/tid=16437] ppid=16430 vsize=867564 CPUtime=0
/proc/16432/task/16437/stat : 16437 (java) S 16430 16432 15639 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44409814 888385536 52425 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16432/tid=16438] ppid=16430 vsize=867564 CPUtime=0
/proc/16432/task/16438/stat : 16438 (java) S 16430 16432 15639 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44409816 888385536 52425 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16432/tid=16439] ppid=16430 vsize=867564 CPUtime=0.35
/proc/16432/task/16439/stat : 16439 (java) S 16430 16432 15639 0 -1 64 717 0 0 0 35 0 0 0 16 0 9 0 44409816 888385536 52425 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16432/tid=16440] ppid=16430 vsize=867564 CPUtime=0
/proc/16432/task/16440/stat : 16440 (java) S 16430 16432 15639 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44409816 888385536 52425 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16432/tid=16441] ppid=16430 vsize=867564 CPUtime=0
/proc/16432/task/16441/stat : 16441 (java) S 16430 16432 15639 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44409816 888385536 52425 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3504.95
Current children cumulated vsize (KiB) 867564

[startup+3582.3 s]
/proc/loadavg: 2.47 2.52 2.42 4/89 16522
/proc/meminfo: memFree=1608244/2055924 swapFree=4181092/4192956
[pid=16432] ppid=16430 vsize=867564 CPUtime=3564.33
/proc/16432/stat : 16432 (java) S 16430 16432 15639 0 -1 0 53434 0 1 0 356364 69 0 0 18 0 9 0 44409810 888385536 52425 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16432/statm: 216891 52425 2640 9 0 211397 0
[pid=16432/tid=16434] ppid=16430 vsize=867564 CPUtime=3561.21
/proc/16432/task/16434/stat : 16434 (java) R 16430 16432 15639 0 -1 64 15894 0 1 0 356068 53 0 0 25 0 9 0 44409812 888385536 52425 996147200 134512640 134550740 4294955952 18446744073709551615 4127225432 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16432/tid=16435] ppid=16430 vsize=867564 CPUtime=2.74
/proc/16432/task/16435/stat : 16435 (java) S 16430 16432 15639 0 -1 64 36125 0 0 0 259 15 0 0 16 0 9 0 44409813 888385536 52425 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16432/tid=16436] ppid=16430 vsize=867564 CPUtime=0
/proc/16432/task/16436/stat : 16436 (java) S 16430 16432 15639 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44409814 888385536 52425 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16432/tid=16437] ppid=16430 vsize=867564 CPUtime=0
/proc/16432/task/16437/stat : 16437 (java) S 16430 16432 15639 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44409814 888385536 52425 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16432/tid=16438] ppid=16430 vsize=867564 CPUtime=0
/proc/16432/task/16438/stat : 16438 (java) S 16430 16432 15639 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44409816 888385536 52425 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16432/tid=16439] ppid=16430 vsize=867564 CPUtime=0.35
/proc/16432/task/16439/stat : 16439 (java) S 16430 16432 15639 0 -1 64 717 0 0 0 35 0 0 0 16 0 9 0 44409816 888385536 52425 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16432/tid=16440] ppid=16430 vsize=867564 CPUtime=0
/proc/16432/task/16440/stat : 16440 (java) S 16430 16432 15639 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44409816 888385536 52425 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16432/tid=16441] ppid=16430 vsize=867564 CPUtime=0
/proc/16432/task/16441/stat : 16441 (java) S 16430 16432 15639 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44409816 888385536 52425 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3564.33
Current children cumulated vsize (KiB) 867564



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3618.4 s]
/proc/loadavg: 2.62 2.55 2.43 4/89 16522
/proc/meminfo: memFree=1608244/2055924 swapFree=4181092/4192956
[pid=16432] ppid=16430 vsize=867564 CPUtime=3600.04
/proc/16432/stat : 16432 (java) S 16430 16432 15639 0 -1 0 53434 0 1 0 359935 69 0 0 18 0 9 0 44409810 888385536 52425 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16432/statm: 216891 52425 2640 9 0 211397 0
[pid=16432/tid=16434] ppid=16430 vsize=867564 CPUtime=3596.93
/proc/16432/task/16434/stat : 16434 (java) R 16430 16432 15639 0 -1 64 15894 0 1 0 359640 53 0 0 25 0 9 0 44409812 888385536 52425 996147200 134512640 134550740 4294955952 18446744073709551615 4126901431 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16432/tid=16435] ppid=16430 vsize=867564 CPUtime=2.74
/proc/16432/task/16435/stat : 16435 (java) S 16430 16432 15639 0 -1 64 36125 0 0 0 259 15 0 0 16 0 9 0 44409813 888385536 52425 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16432/tid=16436] ppid=16430 vsize=867564 CPUtime=0
/proc/16432/task/16436/stat : 16436 (java) S 16430 16432 15639 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44409814 888385536 52425 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16432/tid=16437] ppid=16430 vsize=867564 CPUtime=0
/proc/16432/task/16437/stat : 16437 (java) S 16430 16432 15639 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44409814 888385536 52425 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16432/tid=16438] ppid=16430 vsize=867564 CPUtime=0
/proc/16432/task/16438/stat : 16438 (java) S 16430 16432 15639 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44409816 888385536 52425 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16432/tid=16439] ppid=16430 vsize=867564 CPUtime=0.35
/proc/16432/task/16439/stat : 16439 (java) S 16430 16432 15639 0 -1 64 717 0 0 0 35 0 0 0 16 0 9 0 44409816 888385536 52425 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16432/tid=16440] ppid=16430 vsize=867564 CPUtime=0
/proc/16432/task/16440/stat : 16440 (java) S 16430 16432 15639 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44409816 888385536 52425 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16432/tid=16441] ppid=16430 vsize=867564 CPUtime=0
/proc/16432/task/16441/stat : 16441 (java) S 16430 16432 15639 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44409816 888385536 52425 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3600.04
Current children cumulated vsize (KiB) 867564

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

Child status: 143
Real time (s): 3618.47
CPU time (s): 3600.12
CPU user time (s): 3599.39
CPU system time (s): 0.731888
CPU usage (%): 99.4928
Max. virtual memory (cumulated for all children) (KiB): 867980

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.39
system time used= 0.731888
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 53448
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= 74887
involuntary context switches= 108320

runsolver used 5.67714 second user time and 12.2441 second system time

The end

Launcher Data (download as text)

Begin job on node6 at 2008-07-12 17:37:46
IDJOB=1113038
IDBENCH=61516
IDSOLVER=360
FILE ID=node6/1113038-1215877065
PBS_JOBID= 7903541
Free space on /tmp= 66480 MiB

SOLVER NAME= AbsconMax 112 pc-d
BENCH NAME= CPAI08/csp/fapp/fapp29/normalized-fapp29-2900-3.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-1113038-1215877065/watcher-1113038-1215877065 -o /tmp/evaluation-result-1113038-1215877065/solver-1113038-1215877065 -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-1113038-1215877065.xml

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= a235a933b5e2cb4afa8ed79f71c05679
RANDOM SEED=1664675876

node6.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.232
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.232
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055924 kB
MemFree:       1848260 kB
Buffers:         36028 kB
Cached:          71740 kB
SwapCached:       5928 kB
Active:         118032 kB
Inactive:        46860 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055924 kB
LowFree:       1848260 kB
SwapTotal:     4192956 kB
SwapFree:      4181092 kB
Dirty:           11452 kB
Writeback:           0 kB
Mapped:          72876 kB
Slab:            27876 kB
Committed_AS:   303588 kB
PageTables:       2148 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66476 MiB
End job on node6 at 2008-07-12 18:38:06