Trace number 1113037

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-wNo Cert. 3600.16 3603.99

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.05/0.13	
0.05/0.13	Abscon 112 (May, 2008)
0.23/0.30	
0.23/0.30	   configuration
0.23/0.30	     name=mrdac-wdeg.xml
0.23/0.37	   
0.23/0.37	   instance
0.23/0.37	     name=HOME/instance-1113037-1215877053.xml
0.33/0.41	   
0.33/0.41	   domains being loaded...
0.33/0.47	   
0.33/0.47	   variables being loaded...
0.83/0.92	     nbVariables=2900  nbDomainTypes=39  minDomainSize=82  maxDomainSize=998  nbTotalValues=1477634
0.83/0.92	       =>  wckTime=0.615  cpuTime=0.39  mem=33M209
0.83/0.92	   
0.83/0.92	   predicates being loaded...
0.83/0.98	   
0.83/0.98	   constraints being loaded...
11.03/11.28	   
11.03/11.28	   INFO : Stopping converting binary constraints (cpu=10.14, mem = 92M388)
19.34/19.67	     nbConstraints=67898  nbConvertedConstraints=72  nbConvertConstraintsChecks=25610864  nbExtensionStructures=68
19.34/19.67	     nbSharedExtensionStructures=4  nbConflictsStructures=308  nbSharedConflictsStructures=354
19.34/19.67	     nbUnbuiltConflictsStructures=31655  nbSharedBinaryRepresentations=65895  nbEvaluationManagers=31895
19.34/19.67	     nbSharedEvaluationManagers=35931  minDegree=12  maxDegree=88  minArity=2  maxArity=2
19.34/19.67	       =>  wckTime=19.368  cpuTime=16.99  mem=148M113
20.23/20.53	   
20.23/20.54	   solver LocalSearchSolver being built... 
20.23/20.58	       =>  wckTime=20.28  cpuTime=17.04  mem=138M620
21.43/21.71	
21.43/21.71	s SATISFIABLE
21.43/21.71	o 19664
22.02/22.34	o 19648
22.32/22.65	o 19639
22.52/22.84	o 19629
22.72/23.08	o 19614
22.92/23.25	o 19601
23.21/23.50	o 19594
23.31/23.66	o 19581
23.51/23.82	o 19580
23.71/24.06	o 19572
23.91/24.25	o 19565
24.10/24.48	o 19561
24.40/24.70	o 19551
24.60/24.92	o 19542
24.79/25.12	o 19533
24.99/25.33	o 19525
25.09/25.48	o 19519
25.29/25.69	o 19514
25.48/25.85	o 19512
25.68/26.00	o 19508
25.78/26.13	o 19505
25.88/26.28	o 19503
25.98/26.37	o 19501
26.18/26.51	o 19500
26.27/26.66	o 19499
26.37/26.79	o 19498
26.57/26.95	o 19493
26.67/27.08	o 19479
26.87/27.24	o 19469
26.97/27.39	o 19460
27.17/27.59	o 19451
27.36/27.75	o 19442
27.56/27.95	o 19435
27.66/28.09	o 19427
27.86/28.21	o 19419
27.96/28.32	o 19412
28.06/28.43	o 19405
28.26/28.61	o 19398
28.36/28.72	o 19391
28.45/28.82	o 19385
28.55/28.98	o 19379
28.65/29.08	o 19374
28.75/29.19	o 19370
28.84/29.27	o 19367
29.04/29.40	o 19364
29.04/29.49	o 19362
29.24/29.64	o 19361
29.34/29.74	o 19352
29.44/29.87	o 19347
29.54/29.98	o 19338
29.73/30.19	o 19333
29.93/30.35	o 19320
30.03/30.49	o 19307
30.23/30.65	o 19295
30.43/30.81	o 19285
30.53/30.96	o 19276
30.73/31.15	o 19268
30.92/31.32	o 19262
31.12/31.51	o 19257
31.22/31.68	o 19253
31.42/31.84	o 19248
31.62/32.00	o 19243
31.71/32.17	o 19238
31.81/32.29	o 19232
31.91/32.39	o 19228
32.11/32.52	o 19224
32.21/32.64	o 19221
32.31/32.74	o 19218
32.41/32.87	o 19208
32.61/33.01	o 19205
32.71/33.17	o 19202
32.90/33.30	o 19199
33.00/33.45	o 19198
33.60/34.02	o 19192
33.70/34.11	o 19184
33.70/34.18	o 19180
33.89/34.33	o 19176
33.99/34.49	o 19166
34.18/34.64	o 19157
34.38/34.82	o 19154
34.48/34.99	o 19143
34.78/35.21	o 19135
34.88/35.37	o 19133
35.08/35.50	o 19125
35.18/35.65	o 19120
35.37/35.81	o 19112
35.47/35.97	o 19106
35.67/36.11	o 19100
35.77/36.24	o 19094
35.87/36.38	o 19089
36.06/36.55	o 19084
36.16/36.68	o 19079
36.36/36.80	o 19075
36.46/36.93	o 19071
36.66/37.11	o 19067
36.76/37.22	o 19064
36.96/37.46	o 19063
37.06/37.59	o 19062
37.55/38.00	o 19059
37.55/38.09	o 19058
37.75/38.20	o 19051
37.85/38.36	o 19047
37.95/38.48	o 19040
38.34/38.84	o 19033
38.54/39.04	o 19030
38.64/39.15	o 19028
38.74/39.24	o 19011
38.84/39.38	o 19009
39.04/39.51	o 18995
39.14/39.66	o 18992
39.33/39.84	o 18981
39.53/40.03	o 18965
39.82/40.31	o 18952
40.02/40.53	o 18942
40.22/40.80	o 18939
40.42/40.98	o 18931
40.62/41.19	o 18924
40.81/41.39	o 18917
41.01/41.57	o 18916
41.21/41.74	o 18915
41.41/41.90	o 18906
41.61/42.12	o 18900
41.71/42.29	o 18894
41.90/42.49	o 18888
42.30/42.80	o 18886
42.41/42.95	o 18881
42.51/43.09	o 18876
42.70/43.28	o 18871
42.90/43.43	o 18867
43.10/43.61	o 18863
43.20/43.77	o 18859
43.30/43.87	o 18857
43.50/44.04	o 18856
43.60/44.12	o 18855
43.70/44.23	o 18846
43.90/44.44	o 18839
44.00/44.52	o 18830
44.10/44.67	o 18827
44.20/44.75	o 18824
44.30/44.87	o 18818
44.79/45.37	o 18815
44.99/45.54	o 18803
45.19/45.73	o 18801
45.49/46.06	o 18793
45.69/46.26	o 18789
45.88/46.46	o 18776
46.88/47.44	o 18774
47.08/47.67	o 18770
47.28/47.84	o 18762
47.48/48.05	o 18759
47.68/48.28	o 18750
47.88/48.48	o 18743
48.17/48.70	o 18737
48.37/48.95	o 18732
48.57/49.15	o 18727
48.77/49.36	o 18722
49.07/49.61	o 18717
49.26/49.80	o 18713
49.36/50.00	o 18709
49.66/50.24	o 18706
49.86/50.45	o 18702
50.06/50.63	o 18699
50.26/50.85	o 18696
50.46/51.04	o 18689
50.65/51.22	o 18685
51.15/51.78	o 18678
51.75/52.33	o 18677
51.95/52.52	o 18670
52.35/52.97	o 18665
52.64/53.20	o 18661
52.84/53.44	o 18658
53.14/53.77	o 18655
53.34/53.93	o 18651
53.44/54.09	o 18644
53.64/54.27	o 18642
53.84/54.43	o 18635
53.94/54.59	o 18633
54.13/54.76	o 18628
54.34/54.92	o 18623
54.44/55.09	o 18619
54.64/55.27	o 18613
54.84/55.43	o 18609
54.94/55.60	o 18602
55.14/55.76	o 18595
55.34/55.92	o 18586
55.44/56.06	o 18583
55.64/56.25	o 18582
55.83/56.41	o 18574
55.93/56.54	o 18567
56.13/56.76	o 18563
56.33/56.98	o 18559
56.53/57.20	o 18552
56.83/57.45	o 18548
57.03/57.63	o 18543
57.23/57.83	o 18542
57.43/58.04	o 18541
58.42/59.01	o 18538
58.62/59.23	o 18534
58.82/59.44	o 18529
59.01/59.68	o 18519
59.21/59.88	o 18512
59.61/60.22	o 18509
59.71/60.38	o 18506
60.01/60.64	o 18504
60.81/61.48	o 18498
61.50/62.19	o 18494
62.00/62.66	o 18492
62.39/63.06	o 18486
62.59/63.28	o 18482
62.79/63.47	o 18480
63.09/63.71	o 18472
63.19/63.89	o 18465
63.49/64.11	o 18462
64.58/65.22	o 18461
64.78/65.43	o 18453
64.98/65.64	o 18447
65.18/65.89	o 18440
65.38/66.06	o 18429
66.08/66.71	o 18426
66.17/66.89	o 18417
66.37/67.09	o 18415
66.67/67.33	o 18398
66.87/67.56	o 18393
67.38/68.05	o 18392
67.58/68.29	o 18388
67.87/68.55	o 18382
68.17/68.82	o 18380
68.37/69.07	o 18374
69.16/69.84	o 18371
69.36/70.07	o 18367
69.66/70.33	o 18363
69.96/70.60	o 18361
70.26/70.92	o 18359
70.96/71.66	o 18355
71.35/72.00	o 18353
71.65/72.32	o 18348
71.95/72.63	o 18347
72.15/72.89	o 18343
72.45/73.18	o 18342
72.75/73.49	o 18340
73.05/73.78	o 18339
73.34/74.08	o 18337
73.64/74.37	o 18334
73.94/74.67	o 18325
74.24/74.94	o 18315
75.33/76.09	o 18311
75.73/76.42	o 18304
76.03/76.73	o 18291
76.33/77.01	o 18285
76.52/77.29	o 18278
76.82/77.59	o 18271
77.22/77.95	o 18268
78.12/78.87	o 18254
78.71/79.45	o 18249
79.31/80.09	o 18248
79.71/80.41	o 18243
80.00/80.72	o 18241
80.30/81.04	o 18237
80.70/81.41	o 18231
81.00/81.71	o 18224
81.30/82.05	o 18222
81.70/82.40	o 18217
81.99/82.76	o 18216
82.29/83.08	o 18213
82.69/83.42	o 18209
82.99/83.76	o 18202
83.38/84.14	o 18200
83.68/84.49	o 18198
84.08/84.84	o 18195
84.38/85.13	o 18188
84.68/85.47	o 18179
84.98/85.76	o 18177
85.27/86.08	o 18175
85.57/86.38	o 18173
85.97/86.70	o 18163
86.27/87.07	o 18161
86.96/87.75	o 18158
87.26/88.07	o 18154
87.56/88.36	o 18151
88.95/89.75	o 18147
89.25/90.04	o 18146
89.55/90.36	o 18136
89.85/90.63	o 18133
90.46/91.23	o 18130
91.35/92.12	o 18124
91.55/92.38	o 18117
91.85/92.63	o 18109
92.05/92.87	o 18102
92.35/93.14	o 18097
92.64/93.41	o 18095
92.84/93.68	o 18088
93.14/93.95	o 18084
93.64/94.43	o 18081
94.43/95.21	o 18079
94.63/95.45	o 18074
94.83/95.65	o 18065
95.03/95.89	o 18060
95.33/96.15	o 18058
95.62/96.44	o 18050
95.82/96.67	o 18046
96.02/96.88	o 18041
96.32/97.12	o 18025
97.02/97.85	o 18020
97.31/98.19	o 18018
98.11/98.97	o 18014
98.71/99.58	o 18006
99.10/99.93	o 18004
99.40/100.23	o 17999
99.70/100.59	o 17995
100.10/100.98	o 17990
100.50/101.38	o 17989
101.19/102.08	o 17986
101.59/102.46	o 17983
101.98/102.86	o 17980
102.68/103.57	o 17979
103.88/104.76	o 17973
104.18/105.06	o 17969
105.67/106.59	o 17968
106.67/107.56	o 17966
106.97/107.86	o 17965
107.36/108.22	o 17962
107.66/108.57	o 17959
107.96/108.89	o 17956
108.36/109.23	o 17952
108.65/109.57	o 17944
109.05/109.90	o 17941
109.35/110.23	o 17934
110.05/110.95	o 17932
110.44/111.32	o 17916
110.74/111.66	o 17911
111.14/112.06	o 17910
111.44/112.38	o 17904
111.94/112.81	o 17898
112.34/113.29	o 17895
112.73/113.64	o 17890
113.13/114.01	o 17883
113.43/114.39	o 17875
113.83/114.74	o 17871
114.23/115.11	o 17867
114.63/115.50	o 17864
115.02/115.96	o 17860
115.42/116.34	o 17856
115.82/116.72	o 17849
116.61/117.55	o 17846
117.01/117.92	o 17841
117.41/118.34	o 17833
117.81/118.73	o 17831
118.20/119.16	o 17826
118.60/119.56	o 17823
119.00/119.94	o 17815
119.39/120.35	o 17812
119.69/120.69	o 17811
120.09/121.02	o 17806
120.39/121.35	o 17803
120.69/121.69	o 17802
121.09/122.08	o 17796
121.48/122.44	o 17790
121.88/122.80	o 17789
122.18/123.16	o 17787
122.58/123.52	o 17786
123.97/124.95	o 17783
124.37/125.30	o 17781
124.67/125.66	o 17777
125.07/126.00	o 17775
125.67/126.66	o 17772
126.36/127.38	o 17766
126.76/127.74	o 17758
127.06/128.09	o 17752
127.45/128.44	o 17751
127.85/128.81	o 17750
128.15/129.17	o 17739
128.55/129.51	o 17737
128.85/129.84	o 17734
129.14/130.15	o 17722
129.94/130.94	o 17721
130.34/131.36	o 17718
130.74/131.70	o 17711
131.04/132.04	o 17710
131.43/132.42	o 17707
131.83/132.82	o 17701
132.23/133.25	o 17692
132.53/133.59	o 17689
132.93/133.97	o 17686
133.33/134.36	o 17683
133.72/134.73	o 17677
134.12/135.12	o 17669
134.52/135.58	o 17668
135.92/136.91	o 17666
136.32/137.38	o 17661
137.21/138.29	o 17660
137.71/138.79	o 17653
140.10/141.16	o 17647
140.60/141.61	o 17645
140.99/142.07	o 17638
141.39/142.50	o 17624
141.89/142.94	o 17618
142.28/143.37	o 17613
142.78/143.86	o 17612
143.28/144.35	o 17609
143.78/144.80	o 17605
144.18/145.26	o 17604
144.67/145.74	o 17597
145.07/146.19	o 17595
145.56/146.65	o 17589
149.15/150.25	o 17585
149.75/150.82	o 17582
150.24/151.38	o 17576
150.84/151.99	o 17573
151.44/152.53	o 17572
152.03/153.11	o 17568
152.63/153.72	o 17561
153.22/154.30	o 17558
154.42/155.51	o 17554
155.02/156.16	o 17542
156.21/157.40	o 17538
156.91/158.04	o 17534
157.60/158.71	o 17530
158.30/159.40	o 17526
159.60/160.74	o 17520
160.19/161.36	o 17518
161.58/162.70	o 17513
162.18/163.38	o 17507
162.88/164.02	o 17504
163.47/164.69	o 17496
164.87/166.00	o 17494
165.46/166.65	o 17490
166.66/167.84	o 17484
167.25/168.47	o 17480
169.24/170.41	o 17473
169.94/171.12	o 17472
170.63/171.80	o 17469
171.23/172.43	o 17464
172.42/173.68	o 17456
173.13/174.32	o 17452
174.32/175.59	o 17447
175.02/176.21	o 17444
175.62/176.83	o 17433
176.21/177.46	o 17428
176.91/178.10	o 17419
177.51/178.72	o 17412
179.30/180.52	o 17411
179.90/181.10	o 17399
180.39/181.69	o 17398
180.99/182.29	o 17394
182.28/183.57	o 17393
182.88/184.18	o 17390
183.48/184.77	o 17384
184.67/185.94	o 17382
185.17/186.50	o 17379
186.96/188.24	o 17377
187.55/188.84	o 17374
188.15/189.40	o 17370
188.65/189.99	o 17364
189.24/190.58	o 17358
190.34/191.65	o 17348
192.63/193.92	o 17347
193.13/194.42	o 17342
193.62/194.92	o 17341
194.12/195.43	o 17336
194.62/195.94	o 17327
195.12/196.50	o 17313
195.62/196.98	o 17311
196.21/197.50	o 17308
196.61/197.98	o 17303
197.10/198.47	o 17299
197.60/198.94	o 17298
198.10/199.42	o 17292
198.60/199.90	o 17285
199.00/200.38	o 17282
199.49/200.81	o 17279
200.39/201.73	o 17272
200.79/202.19	o 17271
201.78/203.12	o 17270
202.28/203.67	o 17262
202.78/204.16	o 17255
203.28/204.65	o 17254
204.37/205.75	o 17253
204.86/206.24	o 17250
205.36/206.79	o 17249
205.96/207.31	o 17244
207.45/208.87	o 17239
208.55/209.96	o 17238
209.04/210.41	o 17229
209.54/210.95	o 17228
210.04/211.47	o 17226
210.54/211.97	o 17224
215.21/216.67	o 17217
215.81/217.21	o 17211
216.31/217.78	o 17205
216.90/218.38	o 17203
217.50/218.96	o 17200
218.10/219.60	o 17194
221.28/222.78	o 17190
221.98/223.43	o 17184
223.87/225.35	o 17182
225.76/227.24	o 17179
226.36/227.86	o 17175
227.74/229.27	o 17172
228.44/229.99	o 17171
229.24/230.72	o 17170
231.43/232.93	o 17163
232.12/233.64	o 17162
232.82/234.39	o 17154
233.62/235.13	o 17153
234.31/235.86	o 17144
235.01/236.58	o 17136
235.81/237.32	o 17131
236.50/238.05	o 17126
237.20/238.80	o 17123
238.79/240.38	o 17122
240.98/242.57	o 17121
241.68/243.29	o 17113
242.47/244.01	o 17112
243.17/244.76	o 17108
243.96/245.53	o 17099
248.64/250.22	o 17096
249.34/250.94	o 17092
250.03/251.66	o 17086
250.83/252.42	o 17084
251.53/253.16	o 17079
255.50/257.11	o 17077
257.00/258.66	o 17070
257.79/259.46	o 17069
258.69/260.32	o 17064
259.39/261.09	o 17060
261.78/263.47	o 17056
264.96/266.66	o 17055
265.86/267.53	o 17050
266.66/268.35	o 17047
267.45/269.11	o 17046
268.15/269.87	o 17040
269.05/270.71	o 17034
269.84/271.55	o 17033
270.64/272.31	o 17026
273.72/275.46	o 17020
274.52/276.23	o 17015
275.21/276.93	o 17007
276.01/277.76	o 17006
276.80/278.54	o 16995
277.50/279.23	o 16992
278.20/279.94	o 16991
278.90/280.66	o 16983
279.69/281.40	o 16974
280.38/282.13	o 16967
282.67/284.46	o 16959
283.47/285.21	o 16952
288.25/290.03	o 16949
295.81/297.66	o 16940
296.70/298.54	o 16937
298.40/300.22	o 16936
299.19/301.06	o 16932
300.09/301.91	o 16923
300.88/302.76	o 16919
301.68/303.59	o 16910
302.48/304.36	o 16908
303.27/305.17	o 16906
304.07/305.95	o 16899
304.86/306.76	o 16893
309.74/311.62	o 16890
310.54/312.40	o 16885
311.34/313.24	o 16884
312.13/314.00	o 16876
312.93/314.80	o 16869
313.73/315.61	o 16863
315.21/317.15	o 16857
316.01/317.90	o 16853
316.71/318.67	o 16849
317.50/319.44	o 16848
318.30/320.20	o 16832
319.10/321.00	o 16830
320.49/322.49	o 16829
321.19/323.17	o 16822
321.88/323.85	o 16818
322.58/324.53	o 16811
323.27/325.23	o 16808
323.97/325.93	o 16802
324.77/326.72	o 16798
325.46/327.46	o 16797
326.16/328.19	o 16793
327.65/329.68	o 16791
329.15/331.20	o 16790
331.43/333.43	o 16784
332.23/334.24	o 16780
332.92/334.97	o 16776
333.72/335.74	o 16772
334.42/336.47	o 16768
335.21/337.22	o 16763
335.91/337.92	o 16759
338.90/340.95	o 16756
339.59/341.65	o 16749
340.38/342.42	o 16746
341.08/343.18	o 16743
342.57/344.63	o 16741
343.27/345.37	o 16740
344.07/346.16	o 16735
344.86/346.90	o 16730
345.56/347.62	o 16724
346.26/348.37	o 16719
347.15/349.23	o 16713
347.95/350.07	o 16709
348.74/350.84	o 16708
349.54/351.62	o 16703
350.23/352.39	o 16699
351.13/353.21	o 16697
351.82/353.98	o 16691
352.62/354.74	o 16689
353.32/355.49	o 16683
354.11/356.23	o 16677
355.60/357.79	o 16671
356.40/358.51	o 16663
357.09/359.28	o 16660
357.99/360.14	o 16658
358.79/360.97	o 16656
360.48/362.62	o 16655
361.27/363.45	o 16652
362.17/364.37	o 16646
362.96/365.15	o 16639
363.76/365.94	o 16636
365.35/367.56	o 16632
366.25/368.45	o 16628
367.14/369.31	o 16625
367.94/370.12	o 16616
368.73/370.97	o 16607
369.53/371.77	o 16604
370.33/372.54	o 16596
371.12/373.31	o 16590
371.82/374.07	o 16586
372.62/374.89	o 16581
373.51/375.75	o 16575
374.31/376.58	o 16572
375.11/377.39	o 16569
376.01/378.22	o 16562
376.80/379.09	o 16555
377.69/379.93	o 16552
379.29/381.57	o 16551
380.09/382.35	o 16549
380.88/383.13	o 16545
381.68/383.93	o 16535
382.47/384.77	o 16531
383.37/385.60	o 16526
384.16/386.46	o 16516
384.96/387.29	o 16514
385.85/388.11	o 16512
387.54/389.80	o 16509
389.04/391.34	o 16504
390.54/392.84	o 16503
391.33/393.60	o 16498
392.03/394.39	o 16490
392.83/395.17	o 16481
394.43/396.79	o 16474
396.03/398.31	o 16473
396.72/399.08	o 16470
398.32/400.65	o 16465
399.12/401.43	o 16464
399.92/402.23	o 16463
402.92/405.26	o 16457
404.42/406.74	o 16450
405.12/407.49	o 16447
405.93/408.24	o 16446
408.32/410.62	o 16444
409.12/411.46	o 16441
409.93/412.23	o 16440
410.73/413.06	o 16435
411.63/413.91	o 16429
413.22/415.55	o 16427
414.12/416.43	o 16419
415.01/417.30	o 16418
415.82/418.17	o 16410
416.61/418.98	o 16407
417.51/419.81	o 16402
419.12/421.49	o 16397
420.81/423.13	o 16392
421.61/423.92	o 16390
422.51/424.82	o 16387
424.11/426.47	o 16383
424.91/427.28	o 16379
425.71/428.08	o 16375
427.41/429.76	o 16374
428.21/430.59	o 16371
429.01/431.38	o 16368
429.91/432.22	o 16357
430.71/433.06	o 16353
431.51/433.88	o 16349
435.90/438.21	o 16346
436.60/438.96	o 16338
438.19/440.53	o 16333
438.99/441.37	o 16332
440.59/443.00	o 16327
442.28/444.60	o 16325
443.88/446.22	o 16321
444.68/447.05	o 16320
445.49/447.88	o 16313
446.28/448.68	o 16307
447.88/450.29	o 16302
448.69/451.09	o 16299
449.48/451.85	o 16297
450.28/452.63	o 16296
451.08/453.40	o 16290
451.88/454.27	o 16285
452.78/455.10	o 16280
453.57/455.92	o 16276
454.28/456.69	o 16270
455.07/457.46	o 16266
455.87/458.20	o 16265
456.67/459.01	o 16262
458.26/460.64	o 16260
459.06/461.46	o 16253
459.87/462.27	o 16249
460.65/463.09	o 16243
462.96/465.40	o 16241
463.75/466.19	o 16237
464.55/466.98	o 16236
465.35/467.75	o 16225
466.15/468.58	o 16222
467.05/469.40	o 16218
470.15/472.59	o 16216
470.95/473.40	o 16213
471.95/474.31	o 16207
474.34/476.78	o 16203
475.25/477.61	o 16199
476.03/478.42	o 16194
476.83/479.24	o 16189
477.63/480.01	o 16186
479.23/481.65	o 16184
480.03/482.48	o 16183
480.82/483.27	o 16181
481.82/484.20	o 16172
482.72/485.12	o 16163
483.52/485.98	o 16156
485.52/487.92	o 16151
486.41/488.85	o 16148
487.31/489.79	o 16143
488.31/490.79	o 16134
489.41/491.81	o 16131
490.31/492.76	o 16120
491.31/493.75	o 16117
492.31/494.74	o 16113
493.31/495.70	o 16108
494.21/496.68	o 16106
496.21/498.66	o 16097
497.21/499.65	o 16092
498.11/500.62	o 16088
499.10/501.60	o 16086
501.31/503.73	o 16084
502.40/504.81	o 16079
503.40/505.89	o 16070
504.50/506.94	o 16068
505.50/507.94	o 16063
506.50/508.98	o 16055
507.60/510.06	o 16052
508.60/511.08	o 16050
509.70/512.17	o 16048
510.69/513.19	o 16042
511.79/514.20	o 16039
513.99/516.43	o 16038
514.99/517.42	o 16030
515.99/518.45	o 16027
516.99/519.48	o 16020
518.09/520.52	o 16019
520.20/522.69	o 16017
521.29/523.70	o 16014
522.30/524.73	o 16010
525.50/527.90	o 16006
526.60/529.01	o 16004
529.79/532.28	o 15998
530.89/533.35	o 15991
532.09/534.50	o 15982
533.09/535.56	o 15979
535.19/537.69	o 15970
536.38/538.85	o 15967
537.48/539.95	o 15963
538.58/541.05	o 15960
539.68/542.12	o 15952
540.88/543.30	o 15950
541.98/544.45	o 15944
544.38/546.84	o 15943
545.58/548.10	o 15941
548.07/550.51	o 15938
549.28/551.74	o 15932
550.48/552.98	o 15930
551.77/554.25	o 15922
562.58/565.05	o 15921
563.88/566.30	o 15913
565.08/567.57	o 15907
566.38/568.87	o 15904
567.67/570.12	o 15901
568.87/571.39	o 15900
570.17/572.64	o 15898
571.37/573.88	o 15897
572.67/575.11	o 15896
573.87/576.32	o 15895
575.07/577.58	o 15892
576.36/578.81	o 15881
577.56/580.04	o 15880
578.76/581.23	o 15872
579.96/582.40	o 15866
584.96/587.41	o 15862
586.16/588.69	o 15854
587.56/590.05	o 15849
588.86/591.31	o 15839
592.95/595.44	o 15837
594.25/596.73	o 15827
595.55/598.01	o 15825
596.85/599.36	o 15817
598.15/600.66	o 15812
599.45/601.92	o 15807
602.05/604.56	o 15802
604.65/607.19	o 15800
605.95/608.47	o 15797
607.24/609.78	o 15789
608.65/611.10	o 15780
611.35/613.83	o 15779
612.64/615.18	o 15775
614.04/616.57	o 15770
615.44/617.95	o 15763
616.85/619.34	o 15760
619.64/622.11	o 15754
621.04/623.54	o 15748
626.63/629.16	o 15744
628.03/630.51	o 15739
629.43/631.90	o 15733
630.93/633.42	o 15730
632.34/634.84	o 15725
635.03/637.58	o 15714
636.43/638.97	o 15709
637.83/640.32	o 15705
639.23/641.72	o 15701
640.53/643.06	o 15698
641.93/644.40	o 15692
644.53/647.09	o 15691
645.93/648.44	o 15688
647.32/649.88	o 15678
650.12/652.63	o 15672
651.52/654.06	o 15665
652.92/655.44	o 15660
654.22/656.79	o 15654
655.63/658.12	o 15649
656.93/659.49	o 15646
658.33/660.85	o 15642
662.53/665.02	o 15638
663.83/666.39	o 15636
665.23/667.76	o 15631
666.72/669.24	o 15627
668.12/670.69	o 15621
669.52/672.10	o 15619
670.92/673.49	o 15617
672.32/674.87	o 15613
675.02/677.59	o 15609
679.21/681.75	o 15603
680.62/683.17	o 15601
682.11/684.60	o 15595
683.51/686.02	o 15587
684.91/687.45	o 15585
686.31/688.84	o 15583
687.71/690.21	o 15582
689.01/691.51	o 15573
690.31/692.87	o 15567
691.71/694.24	o 15565
694.41/696.99	o 15561
697.21/699.74	o 15556
698.50/701.06	o 15555
699.90/702.47	o 15553
701.20/703.79	o 15549
702.61/705.11	o 15547
712.79/715.36	o 15546
717.00/719.56	o 15545
718.39/720.94	o 15542
719.79/722.35	o 15541
721.09/723.66	o 15538
722.50/725.02	o 15530
723.89/726.46	o 15528
725.39/727.99	o 15526
726.89/729.47	o 15524
728.39/730.95	o 15519
729.89/732.44	o 15513
731.39/733.94	o 15509
732.88/735.46	o 15508
734.49/737.05	o 15504
735.98/738.52	o 15502
737.48/740.00	o 15499
738.89/741.48	o 15495
740.38/742.92	o 15491
741.88/744.45	o 15488
743.38/745.93	o 15483
744.88/747.47	o 15480
746.48/749.04	o 15478
748.07/750.61	o 15476
749.57/752.17	o 15472
751.27/753.81	o 15464
752.77/755.38	o 15462
754.28/756.90	o 15450
755.87/758.48	o 15445
757.47/760.01	o 15441
759.07/761.60	o 15438
760.66/763.23	o 15434
762.26/764.82	o 15424
763.76/766.36	o 15423
765.37/767.94	o 15416
768.46/771.08	o 15411
770.06/772.68	o 15410
771.66/774.25	o 15405
773.26/775.83	o 15399
774.86/777.40	o 15397
776.36/778.94	o 15393
777.96/780.51	o 15392
779.45/782.09	o 15388
784.25/786.87	o 15387
787.45/790.04	o 15382
788.95/791.58	o 15371
790.67/793.22	o 15369
792.26/794.84	o 15368
793.76/796.37	o 15363
798.56/801.10	o 15362
800.06/802.66	o 15359
801.66/804.25	o 15357
804.65/807.22	o 15355
806.25/808.83	o 15351
809.35/811.96	o 15350
810.95/813.51	o 15341
812.45/815.08	o 15335
815.65/818.27	o 15331
817.25/819.84	o 15329
818.74/821.39	o 15323
820.35/822.92	o 15322
821.74/824.38	o 15317
823.44/826.09	o 15315
825.14/827.72	o 15314
828.44/831.02	o 15312
829.74/832.37	o 15311
833.14/835.73	o 15306
834.74/837.35	o 15302
838.03/840.66	o 15298
839.63/842.29	o 15294
841.33/843.90	o 15288
843.03/845.60	o 15284
844.63/847.24	o 15281
847.93/850.51	o 15273
849.53/852.19	o 15269
851.23/853.81	o 15263
852.92/855.54	o 15260
854.62/857.24	o 15257
856.32/858.95	o 15250
862.92/865.51	o 15249
864.62/867.20	o 15244
866.22/868.81	o 15240
867.82/870.46	o 15237
877.81/880.40	o 15234
879.42/882.04	o 15232
881.02/883.69	o 15231
882.72/885.32	o 15227
887.52/890.10	o 15222
892.41/895.08	o 15217
894.01/896.66	o 15215
895.71/898.30	o 15212
897.41/900.00	o 15211
899.11/901.72	o 15205
900.71/903.37	o 15201
902.40/905.04	o 15195
912.40/915.04	o 15189
914.00/916.68	o 15187
915.70/918.35	o 15182
917.40/920.02	o 15174
919.10/921.75	o 15169
920.80/923.47	o 15167
922.50/925.19	o 15158
924.30/926.94	o 15157
929.39/932.08	o 15155
931.09/933.76	o 15153
932.79/935.42	o 15148
934.39/937.05	o 15143
939.09/941.71	o 15141
940.68/943.32	o 15138
942.29/944.91	o 15135
943.88/946.55	o 15124
945.48/948.12	o 15120
946.98/949.67	o 15116
951.88/954.51	o 15111
953.38/956.09	o 15104
955.08/957.73	o 15098
958.18/960.85	o 15097
959.88/962.51	o 15091
961.47/964.12	o 15088
963.07/965.76	o 15080
966.27/968.98	o 15077
969.57/972.20	o 15070
971.17/973.84	o 15063
972.77/975.45	o 15057
974.27/976.98	o 15055
977.37/980.09	o 15050
980.57/983.21	o 15045
982.06/984.79	o 15042
983.66/986.36	o 15040
988.17/990.89	o 15036
989.77/992.47	o 15030
991.47/994.10	o 15024
992.97/995.62	o 15015
996.07/998.73	o 15008
997.66/1000.33	o 15006
999.16/1001.89	o 14997
1000.66/1003.31	o 14996
1002.06/1004.78	o 14985
1005.16/1007.86	o 14978
1006.76/1009.44	o 14970
1008.36/1011.06	o 14964
1009.96/1012.67	o 14962
1011.66/1014.36	o 14958
1013.26/1015.99	o 14949
1014.86/1017.55	o 14944
1019.75/1022.47	o 14935
1023.05/1025.77	o 14933
1024.75/1027.46	o 14928
1026.34/1029.09	o 14924
1028.05/1030.75	o 14920
1029.74/1032.46	o 14910
1031.45/1034.14	o 14906
1033.14/1035.82	o 14904
1036.54/1039.20	o 14898
1038.14/1040.87	o 14895
1041.54/1044.24	o 14888
1043.33/1046.03	o 14880
1046.74/1049.50	o 14879
1048.53/1051.28	o 14874
1050.23/1052.97	o 14871
1053.83/1056.52	o 14866
1055.54/1058.27	o 14865
1057.23/1059.99	o 14861
1058.93/1061.68	o 14855
1060.44/1063.18	o 14851
1068.93/1071.64	o 14847
1070.63/1073.36	o 14843
1072.33/1075.04	o 14837
1073.83/1076.59	o 14830
1075.63/1078.38	o 14825
1079.03/1081.73	o 14821
1080.62/1083.33	o 14815
1082.32/1085.01	o 14812
1084.02/1086.71	o 14810
1085.62/1088.36	o 14806
1088.92/1091.70	o 14798
1093.92/1096.70	o 14794
1095.82/1098.50	o 14793
1097.42/1100.11	o 14787
1099.01/1101.76	o 14777
1100.72/1103.43	o 14772
1107.51/1110.26	o 14770
1109.21/1111.90	o 14765
1110.81/1113.52	o 14758
1112.41/1115.16	o 14755
1114.11/1116.82	o 14754
1115.80/1118.53	o 14748
1117.50/1120.29	o 14746
1119.30/1122.02	o 14741
1121.00/1123.72	o 14740
1124.50/1127.30	o 14735
1127.99/1130.77	o 14734
1131.50/1134.29	o 14729
1134.99/1137.72	o 14721
1136.60/1139.35	o 14718
1138.40/1141.18	o 14708
1140.10/1142.90	o 14698
1141.90/1144.62	o 14690
1143.60/1146.34	o 14688
1145.30/1148.09	o 14681
1147.20/1149.91	o 14677
1148.90/1151.68	o 14672
1150.80/1153.52	o 14668
1155.99/1158.75	o 14666
1157.80/1160.56	o 14660
1164.79/1167.56	o 14657
1168.28/1171.04	o 14650
1173.48/1176.28	o 14643
1176.98/1179.76	o 14640
1178.78/1181.53	o 14639
1180.47/1183.25	o 14629
1182.28/1185.04	o 14620
1183.98/1186.77	o 14614
1185.77/1188.54	o 14613
1187.58/1190.33	o 14606
1189.37/1192.13	o 14598
1191.17/1193.91	o 14596
1192.97/1195.73	o 14594
1194.67/1197.46	o 14591
1196.47/1199.23	o 14590
1198.16/1200.97	o 14584
1201.77/1204.55	o 14577
1203.46/1206.28	o 14571
1205.26/1208.07	o 14570
1207.16/1209.90	o 14565
1208.86/1211.61	o 14559
1210.56/1213.35	o 14555
1212.26/1215.07	o 14554
1219.16/1221.98	o 14551
1220.86/1223.66	o 14546
1222.56/1225.33	o 14540
1229.66/1232.42	o 14534
1231.36/1234.17	o 14528
1233.06/1235.89	o 14524
1234.76/1237.59	o 14520
1238.16/1240.96	o 14513
1239.85/1242.68	o 14509
1241.65/1244.40	o 14508
1251.74/1254.53	o 14504
1255.14/1257.92	o 14503
1256.74/1259.57	o 14500
1260.14/1262.94	o 14498
1261.94/1264.72	o 14493
1263.64/1266.47	o 14486
1265.54/1268.30	o 14479
1268.94/1271.80	o 14472
1272.53/1275.34	o 14466
1286.73/1289.54	o 14461
1288.63/1291.40	o 14460
1290.32/1293.20	o 14458
1293.92/1296.78	o 14455
1295.72/1298.58	o 14451
1299.42/1302.24	o 14446
1301.22/1304.07	o 14444
1303.12/1305.92	o 14442
1304.92/1307.74	o 14441
1306.51/1309.30	o 14434
1310.11/1312.93	o 14433
1311.91/1314.70	o 14426
1315.51/1318.36	o 14423
1317.31/1320.17	o 14422
1322.71/1325.55	o 14415
1324.51/1327.35	o 14411
1326.31/1329.13	o 14403
1328.11/1330.92	o 14398
1329.90/1332.72	o 14393
1335.30/1338.13	o 14392
1337.11/1339.91	o 14387
1338.80/1341.67	o 14384
1340.50/1343.38	o 14375
1342.30/1345.14	o 14368
1343.99/1346.89	o 14361
1345.81/1348.66	o 14357
1347.50/1350.33	o 14350
1349.21/1352.04	o 14349
1350.90/1353.78	o 14339
1352.70/1355.50	o 14331
1354.40/1357.21	o 14324
1361.40/1364.23	o 14319
1366.70/1369.57	o 14315
1368.49/1371.34	o 14310
1370.29/1373.15	o 14309
1372.20/1375.10	o 14304
1373.99/1376.89	o 14303
1375.79/1378.70	o 14300
1377.69/1380.51	o 14298
1379.49/1382.33	o 14297
1384.88/1387.70	o 14290
1386.48/1389.32	o 14282
1390.08/1392.96	o 14277
1395.58/1398.44	o 14276
1397.48/1400.31	o 14273
1399.27/1402.16	o 14271
1402.98/1405.85	o 14269
1404.77/1407.67	o 14264
1408.57/1411.43	o 14263
1410.57/1413.41	o 14261
1412.17/1415.01	o 14253
1415.87/1418.79	o 14252
1417.67/1420.55	o 14248
1423.17/1426.02	o 14245
1424.97/1427.85	o 14237
1426.77/1429.63	o 14235
1433.96/1436.80	o 14234
1435.76/1438.61	o 14231
1437.56/1440.49	o 14225
1439.37/1442.27	o 14221
1441.26/1444.11	o 14215
1444.86/1447.78	o 14214
1446.76/1449.65	o 14212
1448.66/1451.54	o 14207
1450.46/1453.36	o 14204
1452.35/1455.21	o 14197
1454.15/1457.09	o 14196
1456.05/1458.90	o 14191
1457.85/1460.73	o 14185
1459.65/1462.56	o 14178
1470.74/1473.64	o 14174
1472.64/1475.51	o 14165
1474.45/1477.38	o 14158
1476.34/1479.25	o 14156
1480.14/1483.01	o 14155
1481.94/1484.83	o 14149
1483.83/1486.71	o 14139
1485.73/1488.60	o 14137
1489.43/1492.37	o 14132
1491.23/1494.19	o 14126
1493.14/1496.04	o 14123
1496.93/1499.80	o 14120
1498.73/1501.68	o 14115
1502.53/1505.46	o 14113
1506.33/1509.30	o 14112
1508.32/1511.24	o 14110
1510.12/1513.03	o 14101
1511.93/1514.89	o 14097
1513.82/1516.78	o 14088
1515.73/1518.64	o 14084
1517.63/1520.53	o 14081
1521.42/1524.30	o 14080
1523.22/1526.19	o 14076
1525.13/1528.10	o 14075
1529.12/1532.03	o 14072
1533.02/1535.98	o 14070
1534.92/1537.82	o 14067
1536.81/1539.77	o 14065
1538.71/1541.62	o 14062
1540.71/1543.62	o 14061
1542.72/1545.61	o 14059
1544.71/1547.62	o 14053
1546.61/1549.52	o 14047
1548.61/1551.50	o 14040
1550.61/1553.57	o 14033
1552.51/1555.45	o 14032
1554.51/1557.45	o 14026
1556.51/1559.46	o 14021
1558.61/1561.53	o 14018
1560.60/1563.59	o 14011
1564.71/1567.68	o 14007
1566.90/1569.83	o 14006
1568.90/1571.85	o 14005
1571.10/1574.00	o 14002
1573.09/1576.09	o 13997
1577.19/1580.14	o 13993
1579.19/1582.18	o 13990
1581.29/1584.26	o 13988
1583.39/1586.35	o 13987
1585.39/1588.36	o 13981
1587.59/1590.51	o 13975
1589.59/1592.54	o 13970
1591.69/1594.64	o 13965
1595.88/1598.81	o 13961
1597.88/1600.86	o 13956
1600.08/1603.06	o 13954
1602.18/1605.14	o 13945
1604.38/1607.33	o 13943
1610.97/1613.90	o 13942
1612.87/1615.81	o 13934
1614.77/1617.78	o 13928
1616.87/1619.84	o 13921
1621.17/1624.10	o 13916
1627.16/1630.18	o 13912
1629.36/1632.34	o 13908
1633.66/1636.63	o 13902
1635.76/1638.73	o 13899
1637.86/1640.87	o 13892
1639.97/1642.99	o 13885
1644.37/1647.31	o 13884
1646.46/1649.49	o 13881
1648.66/1651.63	o 13876
1653.06/1656.03	o 13872
1655.26/1658.23	o 13871
1657.46/1660.41	o 13867
1659.65/1662.60	o 13865
1661.75/1664.76	o 13859
1663.95/1666.94	o 13858
1670.55/1673.56	o 13855
1672.75/1675.75	o 13851
1675.05/1678.01	o 13847
1679.54/1682.54	o 13846
1681.74/1684.74	o 13845
1688.54/1691.50	o 13844
1690.74/1693.76	o 13840
1695.14/1698.18	o 13838
1697.34/1700.35	o 13837
1699.53/1702.50	o 13833
1701.73/1704.71	o 13832
1703.93/1706.93	o 13827
1706.13/1709.15	o 13824
1708.02/1711.00	o 13818
1712.32/1715.33	o 13814
1714.42/1717.45	o 13810
1720.92/1723.93	o 13802
1723.12/1726.16	o 13801
1725.32/1728.35	o 13794
1729.72/1732.80	o 13792
1734.21/1737.20	o 13786
1736.31/1739.36	o 13783
1740.71/1743.75	o 13779
1742.91/1745.95	o 13772
1745.11/1748.16	o 13771
1747.30/1750.33	o 13767
1751.70/1754.73	o 13758
1753.90/1756.90	o 13752
1756.00/1759.08	o 13746
1758.20/1761.29	o 13743
1760.40/1763.41	o 13736
1762.60/1765.65	o 13726
1767.00/1770.03	o 13723
1771.29/1774.33	o 13721
1773.40/1776.46	o 13714
1775.80/1778.80	o 13707
1778.00/1781.05	o 13703
1780.20/1783.22	o 13700
1782.30/1785.40	o 13699
1784.60/1787.61	o 13696
1786.89/1789.92	o 13693
1795.68/1798.76	o 13691
1797.98/1801.01	o 13685
1801.88/1804.98	o 13683
1804.08/1807.17	o 13677
1806.38/1809.48	o 13675
1808.68/1811.79	o 13670
1810.88/1813.98	o 13665
1813.18/1816.23	o 13661
1815.38/1818.46	o 13660
1819.78/1822.88	o 13656
1821.98/1825.05	o 13652
1824.27/1827.30	o 13645
1826.47/1829.53	o 13637
1828.67/1831.73	o 13633
1830.57/1833.67	o 13628
1832.87/1835.90	o 13627
1834.97/1838.08	o 13625
1836.56/1839.68	o 13623
1838.66/1841.78	o 13622
1840.76/1843.88	o 13613
1842.96/1846.06	o 13610
1845.16/1848.27	o 13605
1847.36/1850.41	o 13602
1849.56/1852.63	o 13599
1851.76/1854.83	o 13596
1853.95/1857.04	o 13595
1856.15/1859.20	o 13593
1862.75/1865.87	o 13590
1864.95/1868.01	o 13588
1867.05/1870.17	o 13578
1869.25/1872.34	o 13569
1871.35/1874.49	o 13566
1875.75/1878.85	o 13562
1880.15/1883.25	o 13560
1884.54/1887.62	o 13558
1886.74/1889.85	o 13557
1888.94/1892.04	o 13556
1891.14/1894.27	o 13547
1893.34/1896.46	o 13544
1895.43/1898.60	o 13539
1903.93/1907.04	o 13535
1906.03/1909.12	o 13530
1912.53/1915.63	o 13528
1916.73/1919.85	o 13523
1918.83/1921.95	o 13521
1921.03/1924.12	o 13519
1923.13/1926.21	o 13518
1929.52/1932.68	o 13513
1934.13/1937.24	o 13509
1936.32/1939.45	o 13504
1938.42/1941.57	o 13499
1940.62/1943.72	o 13498
1942.71/1945.89	o 13492
1945.02/1948.14	o 13486
1949.51/1952.68	o 13485
1951.81/1954.95	o 13480
1954.11/1957.20	o 13476
1958.51/1961.68	o 13475
1965.20/1968.31	o 13470
1972.00/1975.11	o 13466
1974.10/1977.27	o 13465
1976.20/1979.30	o 13457
1978.40/1981.53	o 13454
1980.69/1983.80	o 13452
1982.79/1985.98	o 13449
1985.09/1988.24	o 13443
1989.59/1992.74	o 13441
1991.89/1995.01	o 13437
1993.89/1997.00	o 13430
1996.09/1999.21	o 13428
1998.29/2001.44	o 13424
2004.98/2008.12	o 13421
2007.18/2010.34	o 13415
2009.38/2012.56	o 13409
2011.68/2014.85	o 13404
2013.98/2017.13	o 13403
2016.17/2019.33	o 13399
2018.47/2021.63	o 13395
2020.68/2023.89	o 13392
2025.28/2028.46	o 13388
2027.58/2030.80	o 13380
2029.68/2032.82	o 13378
2031.98/2035.11	o 13372
2034.27/2037.41	o 13365
2040.87/2044.09	o 13362
2043.17/2046.37	o 13361
2045.47/2048.64	o 13360
2047.67/2050.87	o 13354
2049.97/2053.13	o 13349
2052.17/2055.39	o 13348
2054.57/2057.71	o 13345
2056.77/2059.97	o 13341
2059.06/2062.21	o 13336
2061.26/2064.41	o 13328
2063.46/2066.69	o 13324
2065.76/2068.95	o 13321
2068.06/2071.22	o 13316
2070.36/2073.52	o 13314
2072.56/2075.72	o 13310
2074.66/2077.85	o 13306
2076.75/2079.99	o 13305
2079.05/2082.21	o 13300
2081.25/2084.47	o 13290
2083.45/2086.69	o 13284
2088.15/2091.35	o 13279
2092.75/2095.94	o 13272
2095.04/2098.20	o 13269
2097.24/2100.43	o 13266
2099.54/2102.73	o 13265
2101.84/2105.06	o 13259
2104.14/2107.35	o 13257
2106.44/2109.66	o 13254
2108.54/2111.78	o 13246
2110.83/2114.05	o 13245
2112.53/2115.80	o 13244
2114.34/2117.59	o 13239
2116.64/2119.88	o 13235
2118.93/2122.13	o 13228
2121.13/2124.36	o 13223
2123.43/2126.69	o 13213
2125.83/2129.04	o 13211
2128.13/2131.35	o 13209
2130.43/2133.65	o 13201
2132.73/2135.95	o 13198
2137.33/2140.53	o 13192
2139.52/2142.77	o 13189
2144.03/2147.29	o 13186
2146.42/2149.60	o 13185
2148.62/2151.81	o 13179
2150.82/2154.08	o 13175
2155.51/2158.74	o 13172
2160.11/2163.38	o 13171
2162.51/2165.75	o 13166
2164.91/2168.19	o 13158
2169.71/2172.90	o 13156
2181.81/2185.00	o 13154
2186.71/2189.91	o 13150
2189.11/2192.35	o 13149
2191.61/2194.80	o 13148
2196.50/2199.79	o 13146
2199.10/2202.32	o 13139
2201.60/2204.82	o 13135
2204.10/2207.36	o 13131
2206.59/2209.86	o 13122
2209.19/2212.43	o 13120
2211.59/2214.85	o 13117
2213.99/2217.27	o 13114
2216.49/2219.77	o 13110
2229.19/2232.41	o 13109
2236.49/2239.78	o 13104
2241.18/2244.45	o 13097
2243.68/2246.92	o 13095
2246.08/2249.37	o 13090
2253.67/2256.90	o 13086
2256.18/2259.41	o 13081
2258.67/2261.90	o 13072
2261.17/2264.43	o 13069
2263.67/2266.96	o 13064
2276.66/2279.91	o 13063
2279.27/2282.53	o 13054
2281.86/2285.16	o 13047
2284.46/2287.74	o 13043
2289.65/2292.96	o 13039
2292.25/2295.59	o 13035
2300.25/2303.52	o 13032
2302.95/2306.21	o 13028
2305.55/2308.86	o 13023
2308.24/2311.51	o 13019
2310.84/2314.19	o 13013
2313.45/2316.79	o 13009
2316.14/2319.46	o 13006
2321.34/2324.69	o 13005
2324.04/2327.33	o 13003
2326.65/2329.98	o 12996
2329.34/2332.61	o 12992
2331.94/2335.27	o 12985
2334.54/2337.89	o 12984
2337.13/2340.47	o 12977
2339.74/2343.02	o 12974
2347.54/2350.82	o 12973
2349.74/2353.04	o 12967
2357.53/2360.87	o 12966
2360.03/2363.39	o 12962
2362.63/2365.93	o 12957
2365.13/2368.41	o 12954
2370.12/2373.45	o 12952
2372.62/2375.98	o 12943
2375.12/2378.47	o 12939
2377.52/2380.83	o 12936
2380.02/2383.35	o 12932
2382.51/2385.82	o 12926
2385.01/2388.37	o 12921
2399.31/2402.69	o 12917
2401.71/2405.08	o 12912
2404.30/2407.61	o 12906
2406.81/2410.14	o 12905
2409.40/2412.71	o 12897
2411.90/2415.29	o 12895
2414.40/2417.80	o 12892
2419.30/2422.70	o 12886
2424.40/2427.75	o 12881
2426.89/2430.27	o 12879
2429.39/2432.78	o 12875
2431.99/2435.33	o 12874
2434.59/2437.91	o 12867
2437.09/2440.42	o 12859
2439.59/2442.95	o 12852
2452.28/2455.64	o 12847
2457.28/2460.70	o 12843
2459.88/2463.23	o 12839
2470.17/2473.52	o 12835
2472.67/2476.05	o 12834
2475.27/2478.62	o 12831
2480.36/2483.76	o 12829
2482.86/2486.29	o 12825
2485.36/2488.70	o 12815
2487.86/2491.28	o 12814
2490.37/2493.80	o 12807
2493.06/2496.41	o 12802
2495.66/2499.00	o 12797
2498.26/2501.61	o 12795
2503.35/2506.76	o 12792
2508.55/2512.00	o 12785
2511.15/2514.56	o 12784
2524.15/2527.51	o 12779
2526.75/2530.14	o 12775
2529.35/2532.74	o 12772
2531.95/2535.38	o 12766
2544.94/2548.37	o 12762
2547.64/2551.04	o 12759
2550.24/2553.63	o 12753
2552.84/2556.24	o 12750
2555.43/2558.84	o 12748
2558.03/2561.42	o 12741
2560.63/2564.01	o 12740
2563.13/2566.57	o 12734
2568.43/2571.81	o 12730
2573.52/2576.93	o 12726
2576.02/2579.49	o 12720
2578.02/2581.45	o 12711
2588.22/2591.68	o 12707
2590.82/2594.20	o 12702
2595.92/2599.35	o 12698
2598.52/2601.96	o 12695
2601.11/2604.60	o 12694
2603.81/2607.21	o 12686
2606.41/2609.85	o 12683
2609.11/2612.52	o 12676
2611.71/2615.18	o 12675
2614.10/2617.58	o 12671
2618.70/2622.13	o 12669
2621.10/2624.58	o 12662
2623.70/2627.19	o 12656
2626.00/2629.49	o 12651
2628.60/2632.06	o 12647
2631.10/2634.59	o 12642
2633.69/2637.11	o 12640
2636.29/2639.71	o 12636
2638.81/2642.26	o 12632
2641.40/2644.83	o 12624
2643.90/2647.39	o 12622
2648.99/2652.49	o 12618
2651.59/2655.01	o 12617
2656.50/2659.95	o 12611
2658.99/2662.45	o 12608
2661.49/2664.93	o 12603
2663.89/2667.37	o 12594
2668.89/2672.35	o 12590
2671.39/2674.85	o 12587
2678.98/2682.46	o 12582
2680.98/2684.48	o 12576
2683.58/2687.07	o 12573
2686.08/2689.60	o 12571
2688.68/2692.13	o 12568
2693.78/2697.26	o 12563
2696.27/2699.76	o 12556
2698.87/2702.32	o 12550
2701.37/2704.85	o 12547
2706.27/2709.78	o 12543
2708.47/2711.91	o 12542
2710.96/2714.44	o 12541
2713.46/2716.93	o 12534
2723.66/2727.18	o 12526
2726.26/2729.73	o 12524
2728.76/2732.29	o 12522
2731.46/2734.92	o 12519
2738.95/2742.47	o 12516
2741.65/2745.18	o 12512
2744.35/2747.84	o 12509
2749.55/2753.05	o 12505
2754.74/2758.30	o 12504
2757.44/2760.91	o 12496
2762.64/2766.14	o 12494
2765.24/2768.76	o 12489
2767.94/2771.45	o 12481
2770.53/2774.06	o 12480
2773.14/2776.67	o 12479
2775.83/2779.32	o 12472
2778.43/2781.92	o 12467
2780.93/2784.49	o 12463
2783.62/2787.10	o 12462
2794.33/2797.81	o 12459
2799.53/2803.10	o 12457
2802.13/2805.69	o 12454
2804.83/2808.35	o 12452
2807.43/2811.00	o 12447
2810.02/2813.59	o 12444
2812.82/2816.30	o 12442
2820.82/2824.34	o 12440
2823.52/2827.04	o 12436
2826.11/2829.68	o 12432
2829.02/2832.53	o 12424
2837.01/2840.57	o 12421
2839.71/2843.29	o 12417
2842.41/2845.96	o 12416
2845.20/2848.71	o 12410
2847.90/2851.49	o 12407
2850.70/2854.23	o 12406
2853.40/2856.97	o 12401
2856.20/2859.73	o 12398
2859.00/2862.51	o 12396
2861.70/2865.28	o 12394
2864.50/2868.04	o 12393
2867.30/2870.81	o 12392
2869.99/2873.57	o 12390
2875.59/2879.13	o 12389
2878.09/2881.68	o 12385
2883.78/2887.31	o 12382
2886.68/2890.21	o 12375
2889.59/2893.11	o 12371
2892.38/2895.96	o 12367
2895.18/2898.74	o 12363
2897.88/2901.48	o 12362
2900.78/2904.33	o 12353
2903.58/2907.14	o 12347
2906.38/2909.97	o 12342
2909.18/2912.78	o 12341
2911.87/2915.45	o 12339
2914.67/2918.22	o 12337
2917.57/2921.12	o 12332
2923.07/2926.69	o 12331
2925.96/2929.56	o 12327
2931.66/2935.25	o 12323
2934.26/2937.82	o 12319
2936.16/2939.75	o 12313
2939.06/2942.62	o 12310
2944.76/2948.36	o 12309
2947.46/2951.06	o 12308
2950.35/2953.92	o 12305
2953.26/2956.83	o 12302
2961.85/2965.41	o 12299
2973.64/2977.20	o 12294
2976.54/2980.14	o 12292
2979.44/2983.10	o 12287
2981.04/2984.69	o 12280
2984.04/2987.64	o 12276
2986.94/2990.55	o 12270
3004.63/3008.21	o 12269
3007.62/3011.23	o 12266
3010.62/3014.27	o 12264
3013.62/3017.27	o 12262
3016.62/3020.29	o 12258
3019.72/3023.34	o 12255
3025.51/3029.17	o 12246
3028.41/3032.06	o 12240
3034.21/3037.82	o 12238
3049.41/3053.08	o 12236
3052.50/3056.18	o 12235
3055.51/3059.17	o 12233
3058.61/3062.22	o 12229
3061.60/3065.25	o 12224
3064.71/3068.31	o 12219
3067.71/3071.33	o 12213
3073.70/3077.32	o 12210
3076.70/3080.33	o 12203
3079.60/3083.27	o 12199
3082.60/3086.21	o 12194
3085.50/3089.17	o 12190
3088.50/3092.13	o 12189
3091.50/3095.10	o 12187
3094.49/3098.14	o 12186
3097.49/3101.16	o 12184
3103.38/3107.10	o 12182
3112.38/3116.08	o 12180
3115.38/3119.02	o 12177
3118.28/3121.94	o 12173
3121.17/3124.83	o 12168
3124.17/3127.82	o 12167
3127.08/3130.76	o 12163
3129.67/3133.32	o 12161
3132.57/3136.21	o 12159
3135.37/3139.10	o 12155
3140.96/3144.63	o 12154
3143.36/3147.08	o 12148
3152.16/3155.81	o 12144
3154.66/3158.33	o 12136
3157.37/3161.05	o 12131
3160.16/3163.85	o 12130
3162.96/3166.67	o 12121
3165.96/3169.62	o 12120
3174.66/3178.37	o 12114
3180.55/3184.20	o 12109
3183.35/3187.05	o 12105
3186.15/3189.90	o 12103
3191.95/3195.64	o 12102
3194.85/3198.59	o 12100
3200.54/3204.26	o 12096
3203.34/3207.09	o 12092
3206.24/3209.94	o 12087
3209.14/3212.86	o 12085
3212.04/3215.76	o 12084
3214.94/3218.61	o 12079
3217.83/3221.55	o 12075
3220.23/3223.94	o 12070
3223.03/3226.79	o 12065
3225.94/3229.70	o 12063
3231.72/3235.41	o 12059
3233.92/3237.69	o 12054
3236.72/3240.43	o 12052
3239.52/3243.25	o 12051
3242.42/3246.12	o 12046
3245.22/3248.97	o 12040
3247.82/3251.55	o 12037
3250.72/3254.41	o 12031
3253.52/3257.25	o 12027
3256.21/3259.97	o 12021
3259.02/3262.74	o 12017
3264.52/3268.21	o 12015
3267.21/3270.98	o 12010
3283.60/3287.39	o 12006
3286.40/3290.12	o 12000
3291.91/3295.65	o 11998
3294.70/3298.43	o 11997
3297.51/3301.25	o 11994
3300.30/3304.01	o 11990
3308.80/3312.57	o 11989
3313.90/3317.68	o 11985
3325.18/3328.97	o 11982
3328.08/3331.87	o 11981
3330.98/3334.71	o 11980
3333.88/3337.62	o 11979
3336.68/3340.45	o 11975
3339.48/3343.23	o 11969
3342.38/3346.17	o 11964
3345.28/3349.08	o 11963
3348.18/3351.92	o 11957
3351.07/3354.85	o 11955
3368.26/3372.09	o 11950
3371.17/3374.93	o 11947
3374.16/3377.97	o 11944
3377.06/3380.85	o 11941
3379.56/3383.36	o 11933
3382.46/3386.26	o 11921
3385.36/3389.17	o 11917
3388.36/3392.11	o 11914
3391.26/3395.01	o 11911
3394.16/3397.96	o 11909
3397.05/3400.88	o 11907
3399.66/3403.47	o 11906
3402.65/3406.45	o 11904
3405.55/3409.34	o 11897
3408.45/3412.28	o 11889
3411.44/3415.20	o 11888
3417.24/3421.04	o 11884
3425.94/3429.74	o 11883
3428.83/3432.65	o 11878
3431.83/3435.60	o 11872
3434.73/3438.53	o 11870
3437.73/3441.52	o 11866
3440.63/3444.43	o 11864
3443.53/3447.33	o 11861
3446.44/3450.25	o 11857
3448.94/3452.75	o 11854
3451.84/3455.68	o 11853
3454.73/3458.54	o 11852
3457.63/3461.42	o 11850
3460.43/3464.29	o 11847
3463.43/3467.29	o 11844
3466.42/3470.23	o 11838
3469.32/3473.13	o 11835
3478.02/3481.85	o 11831
3480.81/3484.69	o 11828
3483.71/3487.59	o 11822
3486.31/3490.17	o 11813
3488.81/3492.67	o 11809
3491.61/3495.49	o 11805
3494.51/3498.32	o 11804
3497.30/3501.20	o 11801
3500.21/3504.05	o 11799
3503.01/3506.81	o 11795
3505.90/3509.78	o 11782
3508.80/3512.62	o 11781
3511.60/3515.46	o 11779
3514.50/3518.33	o 11774
3519.90/3523.80	o 11767
3525.59/3529.45	o 11766
3528.49/3532.32	o 11762
3531.39/3535.24	o 11759
3540.19/3544.08	o 11757
3542.89/3546.71	o 11754
3545.89/3549.72	o 11753
3551.88/3555.70	o 11751
3554.88/3558.71	o 11747
3557.77/3561.61	o 11739
3560.18/3564.05	o 11736
3563.07/3566.95	o 11728
3566.07/3569.91	o 11724
3568.97/3572.90	o 11721
3571.97/3575.81	o 11720
3574.87/3578.76	o 11716
3577.77/3581.69	o 11712
3583.76/3587.69	o 11710
3586.76/3590.70	o 11708
3589.86/3593.72	o 11705
3592.85/3596.79	o 11700
3595.85/3599.77	o 11696
3598.85/3602.78	o 11691

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-1113037-1215877053/watcher-1113037-1215877053 -o /tmp/evaluation-result-1113037-1215877053/solver-1113037-1215877053 -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-1113037-1215877053.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.26 2.24 2.10 4/80 17723
/proc/meminfo: memFree=1754184/2055920 swapFree=4192812/4192956
[pid=17723] ppid=17721 vsize=18572 CPUtime=0
/proc/17723/stat : 17723 (runsolver) D 17721 17723 17686 0 -1 4194368 16 0 0 0 0 0 0 0 18 0 1 0 44408143 19017728 292 996147200 4194304 4296836 548682068336 18446744073709551615 269757246759 0 0 4096 24578 18446744071563608240 0 0 17 0 0 0
/proc/17723/statm: 4643 292 257 25 0 2626 0

[startup+0.104839 s]
/proc/loadavg: 2.26 2.24 2.10 4/80 17723
/proc/meminfo: memFree=1754184/2055920 swapFree=4192812/4192956
[pid=17723] ppid=17721 vsize=864076 CPUtime=0.05
/proc/17723/stat : 17723 (java) S 17721 17723 17686 0 -1 0 2723 0 1 0 3 2 0 0 18 0 9 0 44408143 884813824 2279 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17723/statm: 216019 2279 1088 9 0 210976 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 864076

[startup+0.20185 s]
/proc/loadavg: 2.26 2.24 2.10 4/80 17723
/proc/meminfo: memFree=1754184/2055920 swapFree=4192812/4192956
[pid=17723] ppid=17721 vsize=865984 CPUtime=0.14
/proc/17723/stat : 17723 (java) S 17721 17723 17686 0 -1 0 4174 0 1 0 11 3 0 0 18 0 9 0 44408143 886767616 3610 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17723/statm: 216496 3610 1803 9 0 211051 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 865984

[startup+0.301866 s]
/proc/loadavg: 2.26 2.24 2.10 4/80 17723
/proc/meminfo: memFree=1754184/2055920 swapFree=4192812/4192956
[pid=17723] ppid=17721 vsize=866144 CPUtime=0.23
/proc/17723/stat : 17723 (java) S 17721 17723 17686 0 -1 0 5245 0 1 0 19 4 0 0 18 0 9 0 44408143 886931456 4673 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17723/statm: 216536 4673 1863 9 0 211084 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 866144

[startup+0.701915 s]
/proc/loadavg: 2.26 2.24 2.10 4/80 17723
/proc/meminfo: memFree=1754184/2055920 swapFree=4192812/4192956
[pid=17723] ppid=17721 vsize=866960 CPUtime=0.63
/proc/17723/stat : 17723 (java) S 17721 17723 17686 0 -1 0 11701 0 1 0 54 9 0 0 18 0 9 0 44408143 887767040 11072 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17723/statm: 216740 11072 1968 9 0 211268 0
Current children cumulated CPU time (s) 0.63
Current children cumulated vsize (KiB) 866960

[startup+1.50202 s]
/proc/loadavg: 2.26 2.24 2.10 4/89 17732
/proc/meminfo: memFree=1665280/2055920 swapFree=4192812/4192956
[pid=17723] ppid=17721 vsize=867496 CPUtime=1.42
/proc/17723/stat : 17723 (java) S 17721 17723 17686 0 -1 0 24481 0 1 0 127 15 0 0 18 0 9 0 44408143 888315904 23840 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17723/statm: 216874 23840 2025 9 0 211380 0
[pid=17723/tid=17725] ppid=17721 vsize=867496 CPUtime=1.15
/proc/17723/task/17725/stat : 17725 (java) R 17721 17723 17686 0 -1 64 15774 0 1 0 105 10 0 0 25 0 9 0 44408147 888315904 23840 996147200 134512640 134550740 4294955952 18446744073709551615 103812992 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17723/tid=17726] ppid=17721 vsize=867496 CPUtime=0.07
/proc/17723/task/17726/stat : 17726 (java) S 17721 17723 17686 0 -1 64 7406 0 0 0 4 3 0 0 16 0 9 0 44408150 888315904 23840 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17723/tid=17727] ppid=17721 vsize=867496 CPUtime=0
/proc/17723/task/17727/stat : 17727 (java) S 17721 17723 17686 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44408150 888315904 23840 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17723/tid=17728] ppid=17721 vsize=867496 CPUtime=0
/proc/17723/task/17728/stat : 17728 (java) S 17721 17723 17686 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 44408150 888315904 23840 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17723/tid=17729] ppid=17721 vsize=867496 CPUtime=0
/proc/17723/task/17729/stat : 17729 (java) S 17721 17723 17686 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 44408152 888315904 23840 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17723/tid=17730] ppid=17721 vsize=867496 CPUtime=0.17
/proc/17723/task/17730/stat : 17730 (java) S 17721 17723 17686 0 -1 64 604 0 0 0 17 0 0 0 16 0 9 0 44408152 888315904 23840 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17723/tid=17731] ppid=17721 vsize=867496 CPUtime=0
/proc/17723/task/17731/stat : 17731 (java) S 17721 17723 17686 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44408152 888315904 23840 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17723/tid=17732] ppid=17721 vsize=867496 CPUtime=0
/proc/17723/task/17732/stat : 17732 (java) S 17721 17723 17686 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44408152 888315904 23840 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.42
Current children cumulated vsize (KiB) 867496

[startup+3.10123 s]
/proc/loadavg: 2.26 2.24 2.10 3/89 17732
/proc/meminfo: memFree=1650624/2055920 swapFree=4192812/4192956
[pid=17723] ppid=17721 vsize=867408 CPUtime=3.01
/proc/17723/stat : 17723 (java) S 17721 17723 17686 0 -1 0 29998 0 1 0 283 18 0 0 18 0 9 0 44408143 888225792 29333 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17723/statm: 216852 29333 2004 9 0 211380 0
[pid=17723/tid=17725] ppid=17721 vsize=867408 CPUtime=2.5
/proc/17723/task/17725/stat : 17725 (java) R 17721 17723 17686 0 -1 64 15776 0 1 0 239 11 0 0 25 0 9 0 44408147 888225792 29333 996147200 134512640 134550740 4294955952 18446744073709551615 102888093 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17723/tid=17726] ppid=17721 vsize=867408 CPUtime=0.3
/proc/17723/task/17726/stat : 17726 (java) S 17721 17723 17686 0 -1 64 12920 0 0 0 25 5 0 0 17 0 9 0 44408150 888225792 29333 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17723/tid=17727] ppid=17721 vsize=867408 CPUtime=0
/proc/17723/task/17727/stat : 17727 (java) S 17721 17723 17686 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44408150 888225792 29333 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17723/tid=17728] ppid=17721 vsize=867408 CPUtime=0
/proc/17723/task/17728/stat : 17728 (java) S 17721 17723 17686 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44408150 888225792 29333 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17723/tid=17729] ppid=17721 vsize=867408 CPUtime=0
/proc/17723/task/17729/stat : 17729 (java) S 17721 17723 17686 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 44408152 888225792 29333 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17723/tid=17730] ppid=17721 vsize=867408 CPUtime=0.17
/proc/17723/task/17730/stat : 17730 (java) S 17721 17723 17686 0 -1 64 605 0 0 0 17 0 0 0 16 0 9 0 44408152 888225792 29333 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17723/tid=17731] ppid=17721 vsize=867408 CPUtime=0
/proc/17723/task/17731/stat : 17731 (java) S 17721 17723 17686 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44408152 888225792 29333 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17723/tid=17732] ppid=17721 vsize=867408 CPUtime=0
/proc/17723/task/17732/stat : 17732 (java) S 17721 17723 17686 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44408152 888225792 29333 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.01
Current children cumulated vsize (KiB) 867408

[startup+6.30265 s]
/proc/loadavg: 2.32 2.25 2.10 3/89 17732
/proc/meminfo: memFree=1627136/2055920 swapFree=4192812/4192956
[pid=17723] ppid=17721 vsize=867408 CPUtime=6.18
/proc/17723/stat : 17723 (java) S 17721 17723 17686 0 -1 0 33918 0 1 0 597 21 0 0 18 0 9 0 44408143 888225792 33247 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17723/statm: 216852 33247 2006 9 0 211380 0
[pid=17723/tid=17725] ppid=17721 vsize=867408 CPUtime=5.38
/proc/17723/task/17725/stat : 17725 (java) R 17721 17723 17686 0 -1 64 15812 0 1 0 526 12 0 0 25 0 9 0 44408147 888225792 33247 996147200 134512640 134550740 4294955952 18446744073709551615 4126901470 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17723/tid=17726] ppid=17721 vsize=867408 CPUtime=0.56
/proc/17723/task/17726/stat : 17726 (java) S 17721 17723 17686 0 -1 64 16790 0 0 0 49 7 0 0 17 0 9 0 44408150 888225792 33247 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17723/tid=17727] ppid=17721 vsize=867408 CPUtime=0
/proc/17723/task/17727/stat : 17727 (java) S 17721 17723 17686 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44408150 888225792 33247 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17723/tid=17728] ppid=17721 vsize=867408 CPUtime=0
/proc/17723/task/17728/stat : 17728 (java) S 17721 17723 17686 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44408150 888225792 33247 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17723/tid=17729] ppid=17721 vsize=867408 CPUtime=0
/proc/17723/task/17729/stat : 17729 (java) S 17721 17723 17686 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 44408152 888225792 33247 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17723/tid=17730] ppid=17721 vsize=867408 CPUtime=0.2
/proc/17723/task/17730/stat : 17730 (java) S 17721 17723 17686 0 -1 64 619 0 0 0 20 0 0 0 16 0 9 0 44408152 888225792 33247 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17723/tid=17731] ppid=17721 vsize=867408 CPUtime=0
/proc/17723/task/17731/stat : 17731 (java) S 17721 17723 17686 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44408152 888225792 33247 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17723/tid=17732] ppid=17721 vsize=867408 CPUtime=0
/proc/17723/task/17732/stat : 17732 (java) S 17721 17723 17686 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44408152 888225792 33247 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 867408

[startup+12.7025 s]
/proc/loadavg: 2.29 2.25 2.10 3/89 17732
/proc/meminfo: memFree=1620040/2055920 swapFree=4192812/4192956
[pid=17723] ppid=17721 vsize=867408 CPUtime=12.51
/proc/17723/stat : 17723 (java) S 17721 17723 17686 0 -1 0 37195 0 1 0 1229 22 0 0 18 0 9 0 44408143 888225792 36518 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17723/statm: 216852 36518 2007 9 0 211380 0
[pid=17723/tid=17725] ppid=17721 vsize=867408 CPUtime=11.43
/proc/17723/task/17725/stat : 17725 (java) R 17721 17723 17686 0 -1 64 15822 0 1 0 1131 12 0 0 25 0 9 0 44408147 888225792 36518 996147200 134512640 134550740 4294955952 18446744073709551615 4126409020 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17723/tid=17726] ppid=17721 vsize=867408 CPUtime=0.77
/proc/17723/task/17726/stat : 17726 (java) S 17721 17723 17686 0 -1 64 20009 0 0 0 69 8 0 0 16 0 9 0 44408150 888225792 36518 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17723/tid=17727] ppid=17721 vsize=867408 CPUtime=0
/proc/17723/task/17727/stat : 17727 (java) S 17721 17723 17686 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44408150 888225792 36518 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17723/tid=17728] ppid=17721 vsize=867408 CPUtime=0
/proc/17723/task/17728/stat : 17728 (java) S 17721 17723 17686 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44408150 888225792 36518 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17723/tid=17729] ppid=17721 vsize=867408 CPUtime=0
/proc/17723/task/17729/stat : 17729 (java) S 17721 17723 17686 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 44408152 888225792 36518 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17723/tid=17730] ppid=17721 vsize=867408 CPUtime=0.28
/proc/17723/task/17730/stat : 17730 (java) S 17721 17723 17686 0 -1 64 667 0 0 0 27 1 0 0 16 0 9 0 44408152 888225792 36518 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17723/tid=17731] ppid=17721 vsize=867408 CPUtime=0
/proc/17723/task/17731/stat : 17731 (java) S 17721 17723 17686 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44408152 888225792 36518 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17723/tid=17732] ppid=17721 vsize=867408 CPUtime=0
/proc/17723/task/17732/stat : 17732 (java) S 17721 17723 17686 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44408152 888225792 36518 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.51
Current children cumulated vsize (KiB) 867408

[startup+25.5012 s]
/proc/loadavg: 2.37 2.27 2.11 3/89 17732
/proc/meminfo: memFree=1553096/2055920 swapFree=4192812/4192956
[pid=17723] ppid=17721 vsize=867496 CPUtime=25.19
/proc/17723/stat : 17723 (java) S 17721 17723 17686 0 -1 0 53413 0 1 0 2490 29 0 0 18 0 9 0 44408143 888315904 52408 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17723/statm: 216874 52408 2640 9 0 211380 0
[pid=17723/tid=17725] ppid=17721 vsize=867496 CPUtime=22.11
/proc/17723/task/17725/stat : 17725 (java) R 17721 17723 17686 0 -1 64 15894 0 1 0 2198 13 0 0 25 0 9 0 44408147 888315904 52408 996147200 134512640 134550740 4294955952 18446744073709551615 4126897660 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17723/tid=17726] ppid=17721 vsize=867496 CPUtime=2.72
/proc/17723/task/17726/stat : 17726 (java) S 17721 17723 17686 0 -1 64 36125 0 0 0 258 14 0 0 16 0 9 0 44408150 888315904 52408 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17723/tid=17727] ppid=17721 vsize=867496 CPUtime=0
/proc/17723/task/17727/stat : 17727 (java) S 17721 17723 17686 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44408150 888315904 52408 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17723/tid=17728] ppid=17721 vsize=867496 CPUtime=0
/proc/17723/task/17728/stat : 17728 (java) S 17721 17723 17686 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44408150 888315904 52408 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17723/tid=17729] ppid=17721 vsize=867496 CPUtime=0
/proc/17723/task/17729/stat : 17729 (java) S 17721 17723 17686 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 44408152 888315904 52408 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17723/tid=17730] ppid=17721 vsize=867496 CPUtime=0.33
/proc/17723/task/17730/stat : 17730 (java) S 17721 17723 17686 0 -1 64 697 0 0 0 32 1 0 0 15 0 9 0 44408152 888315904 52408 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17723/tid=17731] ppid=17721 vsize=867496 CPUtime=0
/proc/17723/task/17731/stat : 17731 (java) S 17721 17723 17686 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44408152 888315904 52408 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17723/tid=17732] ppid=17721 vsize=867496 CPUtime=0
/proc/17723/task/17732/stat : 17732 (java) S 17721 17723 17686 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44408152 888315904 52408 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.19
Current children cumulated vsize (KiB) 867496

[startup+51.1016 s]
/proc/loadavg: 2.24 2.24 2.11 3/89 17732
/proc/meminfo: memFree=1553160/2055920 swapFree=4192812/4192956
[pid=17723] ppid=17721 vsize=867496 CPUtime=50.55
/proc/17723/stat : 17723 (java) S 17721 17723 17686 0 -1 0 53413 0 1 0 5024 31 0 0 18 0 9 0 44408143 888315904 52408 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17723/statm: 216874 52408 2640 9 0 211380 0
[pid=17723/tid=17725] ppid=17721 vsize=867496 CPUtime=47.48
/proc/17723/task/17725/stat : 17725 (java) R 17721 17723 17686 0 -1 64 15894 0 1 0 4733 15 0 0 25 0 9 0 44408147 888315904 52408 996147200 134512640 134550740 4294955952 18446744073709551615 4127228940 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17723/tid=17726] ppid=17721 vsize=867496 CPUtime=2.72
/proc/17723/task/17726/stat : 17726 (java) S 17721 17723 17686 0 -1 64 36125 0 0 0 258 14 0 0 16 0 9 0 44408150 888315904 52408 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17723/tid=17727] ppid=17721 vsize=867496 CPUtime=0
/proc/17723/task/17727/stat : 17727 (java) S 17721 17723 17686 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44408150 888315904 52408 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17723/tid=17728] ppid=17721 vsize=867496 CPUtime=0
/proc/17723/task/17728/stat : 17728 (java) S 17721 17723 17686 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44408150 888315904 52408 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17723/tid=17729] ppid=17721 vsize=867496 CPUtime=0
/proc/17723/task/17729/stat : 17729 (java) S 17721 17723 17686 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 44408152 888315904 52408 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17723/tid=17730] ppid=17721 vsize=867496 CPUtime=0.33
/proc/17723/task/17730/stat : 17730 (java) S 17721 17723 17686 0 -1 64 697 0 0 0 32 1 0 0 16 0 9 0 44408152 888315904 52408 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17723/tid=17731] ppid=17721 vsize=867496 CPUtime=0

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

/proc/17723/task/17728/stat : 17728 (java) S 17721 17723 17686 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44408150 888315904 52422 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17723/tid=17729] ppid=17721 vsize=867496 CPUtime=0
/proc/17723/task/17729/stat : 17729 (java) S 17721 17723 17686 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 44408152 888315904 52422 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17723/tid=17730] ppid=17721 vsize=867496 CPUtime=0.35
/proc/17723/task/17730/stat : 17730 (java) S 17721 17723 17686 0 -1 64 712 0 0 0 34 1 0 0 16 0 9 0 44408152 888315904 52422 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17723/tid=17731] ppid=17721 vsize=867496 CPUtime=0
/proc/17723/task/17731/stat : 17731 (java) S 17721 17723 17686 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44408152 888315904 52422 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17723/tid=17732] ppid=17721 vsize=867496 CPUtime=0
/proc/17723/task/17732/stat : 17732 (java) S 17721 17723 17686 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44408152 888315904 52422 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3278.6
Current children cumulated vsize (KiB) 867496

[startup+3342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/90 17830
/proc/meminfo: memFree=1560888/2055920 swapFree=4192812/4192956
[pid=17723] ppid=17721 vsize=867496 CPUtime=3338.58
/proc/17723/stat : 17723 (java) S 17721 17723 17686 0 -1 0 53431 0 1 0 333774 84 0 0 18 0 9 0 44408143 888315904 52422 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17723/statm: 216874 52422 2640 9 0 211380 0
[pid=17723/tid=17725] ppid=17721 vsize=867496 CPUtime=3335.48
/proc/17723/task/17725/stat : 17725 (java) R 17721 17723 17686 0 -1 64 15897 0 1 0 333480 68 0 0 25 0 9 0 44408147 888315904 52422 996147200 134512640 134550740 4294955952 18446744073709551615 4127119287 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17723/tid=17726] ppid=17721 vsize=867496 CPUtime=2.72
/proc/17723/task/17726/stat : 17726 (java) S 17721 17723 17686 0 -1 64 36125 0 0 0 258 14 0 0 16 0 9 0 44408150 888315904 52422 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17723/tid=17727] ppid=17721 vsize=867496 CPUtime=0
/proc/17723/task/17727/stat : 17727 (java) S 17721 17723 17686 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44408150 888315904 52422 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17723/tid=17728] ppid=17721 vsize=867496 CPUtime=0
/proc/17723/task/17728/stat : 17728 (java) S 17721 17723 17686 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44408150 888315904 52422 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17723/tid=17729] ppid=17721 vsize=867496 CPUtime=0
/proc/17723/task/17729/stat : 17729 (java) S 17721 17723 17686 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 44408152 888315904 52422 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17723/tid=17730] ppid=17721 vsize=867496 CPUtime=0.35
/proc/17723/task/17730/stat : 17730 (java) S 17721 17723 17686 0 -1 64 712 0 0 0 34 1 0 0 16 0 9 0 44408152 888315904 52422 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17723/tid=17731] ppid=17721 vsize=867496 CPUtime=0
/proc/17723/task/17731/stat : 17731 (java) S 17721 17723 17686 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44408152 888315904 52422 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17723/tid=17732] ppid=17721 vsize=867496 CPUtime=0
/proc/17723/task/17732/stat : 17732 (java) S 17721 17723 17686 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44408152 888315904 52422 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3338.58
Current children cumulated vsize (KiB) 867496

[startup+3402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/90 17830
/proc/meminfo: memFree=1560696/2055920 swapFree=4192812/4192956
[pid=17723] ppid=17721 vsize=867496 CPUtime=3398.56
/proc/17723/stat : 17723 (java) S 17721 17723 17686 0 -1 0 53431 0 1 0 339772 84 0 0 18 0 9 0 44408143 888315904 52422 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17723/statm: 216874 52422 2640 9 0 211380 0
[pid=17723/tid=17725] ppid=17721 vsize=867496 CPUtime=3395.46
/proc/17723/task/17725/stat : 17725 (java) R 17721 17723 17686 0 -1 64 15897 0 1 0 339478 68 0 0 25 0 9 0 44408147 888315904 52422 996147200 134512640 134550740 4294955952 18446744073709551615 4126900960 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17723/tid=17726] ppid=17721 vsize=867496 CPUtime=2.72
/proc/17723/task/17726/stat : 17726 (java) S 17721 17723 17686 0 -1 64 36125 0 0 0 258 14 0 0 16 0 9 0 44408150 888315904 52422 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17723/tid=17727] ppid=17721 vsize=867496 CPUtime=0
/proc/17723/task/17727/stat : 17727 (java) S 17721 17723 17686 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44408150 888315904 52422 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17723/tid=17728] ppid=17721 vsize=867496 CPUtime=0
/proc/17723/task/17728/stat : 17728 (java) S 17721 17723 17686 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44408150 888315904 52422 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17723/tid=17729] ppid=17721 vsize=867496 CPUtime=0
/proc/17723/task/17729/stat : 17729 (java) S 17721 17723 17686 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 44408152 888315904 52422 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17723/tid=17730] ppid=17721 vsize=867496 CPUtime=0.35
/proc/17723/task/17730/stat : 17730 (java) S 17721 17723 17686 0 -1 64 712 0 0 0 34 1 0 0 16 0 9 0 44408152 888315904 52422 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17723/tid=17731] ppid=17721 vsize=867496 CPUtime=0
/proc/17723/task/17731/stat : 17731 (java) S 17721 17723 17686 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44408152 888315904 52422 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17723/tid=17732] ppid=17721 vsize=867496 CPUtime=0
/proc/17723/task/17732/stat : 17732 (java) S 17721 17723 17686 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44408152 888315904 52422 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3398.56
Current children cumulated vsize (KiB) 867496

[startup+3462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/90 17830
/proc/meminfo: memFree=1560632/2055920 swapFree=4192812/4192956
[pid=17723] ppid=17721 vsize=867496 CPUtime=3458.53
/proc/17723/stat : 17723 (java) S 17721 17723 17686 0 -1 0 53431 0 1 0 345768 85 0 0 18 0 9 0 44408143 888315904 52422 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17723/statm: 216874 52422 2640 9 0 211380 0
[pid=17723/tid=17725] ppid=17721 vsize=867496 CPUtime=3455.43
/proc/17723/task/17725/stat : 17725 (java) R 17721 17723 17686 0 -1 64 15897 0 1 0 345474 69 0 0 25 0 9 0 44408147 888315904 52422 996147200 134512640 134550740 4294955952 18446744073709551615 4126449123 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17723/tid=17726] ppid=17721 vsize=867496 CPUtime=2.72
/proc/17723/task/17726/stat : 17726 (java) S 17721 17723 17686 0 -1 64 36125 0 0 0 258 14 0 0 16 0 9 0 44408150 888315904 52422 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17723/tid=17727] ppid=17721 vsize=867496 CPUtime=0
/proc/17723/task/17727/stat : 17727 (java) S 17721 17723 17686 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44408150 888315904 52422 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17723/tid=17728] ppid=17721 vsize=867496 CPUtime=0
/proc/17723/task/17728/stat : 17728 (java) S 17721 17723 17686 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44408150 888315904 52422 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17723/tid=17729] ppid=17721 vsize=867496 CPUtime=0
/proc/17723/task/17729/stat : 17729 (java) S 17721 17723 17686 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 44408152 888315904 52422 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17723/tid=17730] ppid=17721 vsize=867496 CPUtime=0.35
/proc/17723/task/17730/stat : 17730 (java) S 17721 17723 17686 0 -1 64 712 0 0 0 34 1 0 0 16 0 9 0 44408152 888315904 52422 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17723/tid=17731] ppid=17721 vsize=867496 CPUtime=0
/proc/17723/task/17731/stat : 17731 (java) S 17721 17723 17686 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44408152 888315904 52422 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17723/tid=17732] ppid=17721 vsize=867496 CPUtime=0
/proc/17723/task/17732/stat : 17732 (java) S 17721 17723 17686 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44408152 888315904 52422 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3458.53
Current children cumulated vsize (KiB) 867496

[startup+3522.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/90 17830
/proc/meminfo: memFree=1560376/2055920 swapFree=4192812/4192956
[pid=17723] ppid=17721 vsize=867496 CPUtime=3518.5
/proc/17723/stat : 17723 (java) S 17721 17723 17686 0 -1 0 53431 0 1 0 351764 86 0 0 18 0 9 0 44408143 888315904 52422 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17723/statm: 216874 52422 2640 9 0 211380 0
[pid=17723/tid=17725] ppid=17721 vsize=867496 CPUtime=3515.4
/proc/17723/task/17725/stat : 17725 (java) R 17721 17723 17686 0 -1 64 15897 0 1 0 351470 70 0 0 25 0 9 0 44408147 888315904 52422 996147200 134512640 134550740 4294955952 18446744073709551615 4127119304 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17723/tid=17726] ppid=17721 vsize=867496 CPUtime=2.72
/proc/17723/task/17726/stat : 17726 (java) S 17721 17723 17686 0 -1 64 36125 0 0 0 258 14 0 0 16 0 9 0 44408150 888315904 52422 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17723/tid=17727] ppid=17721 vsize=867496 CPUtime=0
/proc/17723/task/17727/stat : 17727 (java) S 17721 17723 17686 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44408150 888315904 52422 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17723/tid=17728] ppid=17721 vsize=867496 CPUtime=0
/proc/17723/task/17728/stat : 17728 (java) S 17721 17723 17686 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44408150 888315904 52422 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17723/tid=17729] ppid=17721 vsize=867496 CPUtime=0
/proc/17723/task/17729/stat : 17729 (java) S 17721 17723 17686 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 44408152 888315904 52422 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17723/tid=17730] ppid=17721 vsize=867496 CPUtime=0.35
/proc/17723/task/17730/stat : 17730 (java) S 17721 17723 17686 0 -1 64 712 0 0 0 34 1 0 0 16 0 9 0 44408152 888315904 52422 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17723/tid=17731] ppid=17721 vsize=867496 CPUtime=0
/proc/17723/task/17731/stat : 17731 (java) S 17721 17723 17686 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44408152 888315904 52422 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17723/tid=17732] ppid=17721 vsize=867496 CPUtime=0
/proc/17723/task/17732/stat : 17732 (java) S 17721 17723 17686 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44408152 888315904 52422 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3518.5
Current children cumulated vsize (KiB) 867496

[startup+3582.3 s]
/proc/loadavg: 2.30 2.08 2.02 3/90 17830
/proc/meminfo: memFree=1560376/2055920 swapFree=4192812/4192956
[pid=17723] ppid=17721 vsize=867496 CPUtime=3578.46
/proc/17723/stat : 17723 (java) S 17721 17723 17686 0 -1 0 53431 0 1 0 357760 86 0 0 18 0 9 0 44408143 888315904 52422 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17723/statm: 216874 52422 2640 9 0 211380 0
[pid=17723/tid=17725] ppid=17721 vsize=867496 CPUtime=3575.36
/proc/17723/task/17725/stat : 17725 (java) R 17721 17723 17686 0 -1 64 15897 0 1 0 357466 70 0 0 25 0 9 0 44408147 888315904 52422 996147200 134512640 134550740 4294955952 18446744073709551615 4127220035 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17723/tid=17726] ppid=17721 vsize=867496 CPUtime=2.72
/proc/17723/task/17726/stat : 17726 (java) S 17721 17723 17686 0 -1 64 36125 0 0 0 258 14 0 0 16 0 9 0 44408150 888315904 52422 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17723/tid=17727] ppid=17721 vsize=867496 CPUtime=0
/proc/17723/task/17727/stat : 17727 (java) S 17721 17723 17686 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44408150 888315904 52422 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17723/tid=17728] ppid=17721 vsize=867496 CPUtime=0
/proc/17723/task/17728/stat : 17728 (java) S 17721 17723 17686 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44408150 888315904 52422 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17723/tid=17729] ppid=17721 vsize=867496 CPUtime=0
/proc/17723/task/17729/stat : 17729 (java) S 17721 17723 17686 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 44408152 888315904 52422 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17723/tid=17730] ppid=17721 vsize=867496 CPUtime=0.35
/proc/17723/task/17730/stat : 17730 (java) S 17721 17723 17686 0 -1 64 712 0 0 0 34 1 0 0 16 0 9 0 44408152 888315904 52422 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17723/tid=17731] ppid=17721 vsize=867496 CPUtime=0
/proc/17723/task/17731/stat : 17731 (java) S 17721 17723 17686 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44408152 888315904 52422 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17723/tid=17732] ppid=17721 vsize=867496 CPUtime=0
/proc/17723/task/17732/stat : 17732 (java) S 17721 17723 17686 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44408152 888315904 52422 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3578.46
Current children cumulated vsize (KiB) 867496



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3603.9 s]
/proc/loadavg: 2.28 2.09 2.03 3/90 17830
/proc/meminfo: memFree=1560312/2055920 swapFree=4192812/4192956
[pid=17723] ppid=17721 vsize=867496 CPUtime=3600.06
/proc/17723/stat : 17723 (java) S 17721 17723 17686 0 -1 0 53431 0 1 0 359920 86 0 0 18 0 9 0 44408143 888315904 52422 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17723/statm: 216874 52422 2640 9 0 211380 0
[pid=17723/tid=17725] ppid=17721 vsize=867496 CPUtime=3596.96
/proc/17723/task/17725/stat : 17725 (java) R 17721 17723 17686 0 -1 64 15897 0 1 0 359626 70 0 0 25 0 9 0 44408147 888315904 52422 996147200 134512640 134550740 4294955952 18446744073709551615 4127220035 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17723/tid=17726] ppid=17721 vsize=867496 CPUtime=2.72
/proc/17723/task/17726/stat : 17726 (java) S 17721 17723 17686 0 -1 64 36125 0 0 0 258 14 0 0 16 0 9 0 44408150 888315904 52422 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17723/tid=17727] ppid=17721 vsize=867496 CPUtime=0
/proc/17723/task/17727/stat : 17727 (java) S 17721 17723 17686 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44408150 888315904 52422 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17723/tid=17728] ppid=17721 vsize=867496 CPUtime=0
/proc/17723/task/17728/stat : 17728 (java) S 17721 17723 17686 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44408150 888315904 52422 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17723/tid=17729] ppid=17721 vsize=867496 CPUtime=0
/proc/17723/task/17729/stat : 17729 (java) S 17721 17723 17686 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 44408152 888315904 52422 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17723/tid=17730] ppid=17721 vsize=867496 CPUtime=0.35
/proc/17723/task/17730/stat : 17730 (java) S 17721 17723 17686 0 -1 64 712 0 0 0 34 1 0 0 16 0 9 0 44408152 888315904 52422 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17723/tid=17731] ppid=17721 vsize=867496 CPUtime=0
/proc/17723/task/17731/stat : 17731 (java) S 17721 17723 17686 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 44408152 888315904 52422 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17723/tid=17732] ppid=17721 vsize=867496 CPUtime=0
/proc/17723/task/17732/stat : 17732 (java) R 17721 17723 17686 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44408152 888315904 52422 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3600.06
Current children cumulated vsize (KiB) 867496

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): 3603.99
CPU time (s): 3600.16
CPU user time (s): 3599.25
CPU system time (s): 0.901862
CPU usage (%): 99.8935
Max. virtual memory (cumulated for all children) (KiB): 867912

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.25
system time used= 0.901862
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 53446
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= 74729
involuntary context switches= 65127

runsolver used 4.19836 second user time and 12.4391 second system time

The end

Launcher Data (download as text)

Begin job on node13 at 2008-07-12 17:37:34
IDJOB=1113037
IDBENCH=61516
IDSOLVER=359
FILE ID=node13/1113037-1215877053
PBS_JOBID= 7903622
Free space on /tmp= 66508 MiB

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

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= a235a933b5e2cb4afa8ed79f71c05679
RANDOM SEED=64246864

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

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

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1754920 kB
Buffers:          2880 kB
Cached:          46760 kB
SwapCached:          0 kB
Active:         244140 kB
Inactive:         6032 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1754920 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:           11764 kB
Writeback:           0 kB
Mapped:         220892 kB
Slab:            35824 kB
Committed_AS:   965044 kB
PageTables:       2240 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= 66512 MiB
End job on node13 at 2008-07-12 18:37:40