Trace number 275600

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, and are wall clock time (not CPU 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 NameAnswerCPU timeWall clock time
AbsconMax 109 EPFCMSAT (TO) 2400.12 2415.12

General information on the benchmark

Namefapp/fapp36-40/fapp37/
fapp37-2250-3.xml
MD5SUM0681a81c96eee827f8a36aac50fcc9e4
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkMSAT TO
Best Number of satisfied constraints36591
Best CPU time to get the best result obtained on this benchmark2400.12
SatisfiableNO
(Un)Satisfiability was provedNO
Number of variables2250
Number of constraints42699
Maximum constraint arity2
Maximum domain size998
Number of constraints which are defined in extension0
Number of constraints which are defined in intension42699
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.29	   
0.29	Abscon 109 (November, 2006)
0.29	   
0.29	   configuration
0.29	     name=epfc.xml
0.33	   
0.33	   instance
0.33	     name=/tmp/evaluation/275600-1169223840/unknown.xml
0.36	   
0.36	   domains being loaded...
0.40	   
0.40	   variables being loaded...
0.86	     nbVariables=2250  nbDomainTypes=22  minDomainSize=42  maxDomainSize=998
0.86	       =>  wckTime=0.573  cpuTime=0.37  mem=46M738
0.86	   
0.86	   predicates being loaded...
0.87	   
0.87	   constraints being loaded...
61.18	   
61.18	   INFO : Stopping converting binary constraints (cpu=60.02, mem = 75M543)
64.75	     nbConstraints=42699  nbConvertedConstraints=350  nbConvertConstraintsChecks=201983168  nbExtensionStructures=336
64.75	     nbSharedExtensionStructures=14  nbConflictsStructures=336  nbSharedConflictsStructures=14
64.75	     nbSharedBinaryRepresentations=424773  nbEvaluationManagers=21062  nbSharedEvaluationManagers=21287  maxDegree=136
64.75	     maxArity=2
64.76	       =>  wckTime=64.465  cpuTime=63.04  mem=149M307
65.18	   
65.18	   solver LocalSearchSolver being built... 
65.22	       =>  wckTime=64.932  cpuTime=63.09  mem=116M894
66.80	
66.80	s SATISFIABLE
66.80	o 31208
66.80	c 11491
67.68	o 31224
67.68	c 11475
68.12	o 31236
68.12	c 11463
68.71	o 31250
68.71	c 11449
69.01	o 31266
69.01	c 11433
69.48	o 31282
69.48	c 11417
69.72	o 31298
69.72	c 11401
70.31	o 31315
70.31	c 11384
70.58	o 31329
70.58	c 11370
70.86	o 31337
70.86	c 11362
71.37	o 31353
71.37	c 11346
71.65	o 31363
71.65	c 11336
72.08	o 31378
72.08	c 11321
72.36	o 31386
72.36	c 11313
72.71	o 31398
72.71	c 11301
72.93	o 31416
72.93	c 11283
73.18	o 31428
73.18	c 11271
73.45	o 31433
73.45	c 11266
73.83	o 31439
73.83	c 11260
74.13	o 31455
74.13	c 11244
74.34	o 31471
74.34	c 11228
74.59	o 31475
74.59	c 11224
74.84	o 31490
74.84	c 11209
75.04	o 31507
75.04	c 11192
75.28	o 31518
75.28	c 11181
75.51	o 31534
75.51	c 11165
75.75	o 31543
75.75	c 11156
76.05	o 31545
76.05	c 11154
76.26	o 31561
76.26	c 11138
76.78	o 31578
76.78	c 11121
76.97	o 31598
76.98	c 11101
77.29	o 31604
77.29	c 11095
77.52	o 31614
77.52	c 11085
77.70	o 31625
77.70	c 11074
77.98	o 31640
77.98	c 11059
78.21	o 31651
78.21	c 11048
78.70	o 31663
78.70	c 11036
78.93	o 31671
78.93	c 11028
79.09	o 31684
79.09	c 11015
79.35	o 31696
79.35	c 11003
79.63	o 31707
79.63	c 10992
79.97	o 31709
79.97	c 10990
80.23	o 31722
80.23	c 10977
80.52	o 31730
80.52	c 10969
80.69	o 31740
80.69	c 10959
80.84	o 31752
80.84	c 10947
81.06	o 31760
81.06	c 10939
81.33	o 31762
81.33	c 10937
81.81	o 31765
81.81	c 10934
81.99	o 31770
81.99	c 10929
82.29	o 31778
82.29	c 10921
82.70	o 31790
82.70	c 10909
83.08	o 31792
83.08	c 10907
83.29	o 31806
83.29	c 10893
83.61	o 31824
83.61	c 10875
83.88	o 31837
83.88	c 10862
84.24	o 31846
84.24	c 10853
84.51	o 31860
84.51	c 10839
84.75	o 31872
84.75	c 10827
85.17	o 31879
85.17	c 10820
85.34	o 31886
85.34	c 10813
85.52	o 31888
85.52	c 10811
85.78	o 31894
85.78	c 10805
86.16	o 31906
86.16	c 10793
86.35	o 31923
86.35	c 10776
86.54	o 31924
86.54	c 10775
86.85	o 31936
86.85	c 10763
87.19	o 31947
87.19	c 10752
87.44	o 31950
87.44	c 10749
87.77	o 31964
87.77	c 10735
88.09	o 31972
88.09	c 10727
88.48	o 31976
88.48	c 10723
88.82	o 31983
88.82	c 10716
89.18	o 31992
89.18	c 10707
89.67	o 31998
89.67	c 10701
90.13	o 32002
90.13	c 10697
90.44	o 32018
90.44	c 10681
91.15	o 32019
91.15	c 10680
91.48	o 32023
91.48	c 10676
91.86	o 32031
91.86	c 10668
92.19	o 32033
92.19	c 10666
92.52	o 32040
92.52	c 10659
92.95	o 32050
92.95	c 10649
93.34	o 32058
93.34	c 10641
93.73	o 32064
93.73	c 10635
94.43	o 32075
94.43	c 10624
94.74	o 32080
94.74	c 10619
95.07	o 32088
95.07	c 10611
95.42	o 32095
95.42	c 10604
95.81	o 32101
95.81	c 10598
96.12	o 32104
96.12	c 10595
96.41	o 32117
96.41	c 10582
96.84	o 32135
96.84	c 10564
97.53	o 32141
97.53	c 10558
97.81	o 32143
97.81	c 10556
98.10	o 32150
98.10	c 10549
98.49	o 32158
98.49	c 10541
99.42	o 32162
99.42	c 10537
99.89	o 32165
99.89	c 10534
100.17	o 32172
100.17	c 10527
100.52	o 32183
100.52	c 10516
100.90	o 32187
100.91	c 10512
101.31	o 32196
101.31	c 10503
101.76	o 32217
101.76	c 10482
102.20	o 32224
102.20	c 10475
104.08	o 32230
104.08	c 10469
104.60	o 32235
104.60	c 10464
105.21	o 32239
105.21	c 10460
105.82	o 32241
105.82	c 10458
106.23	o 32242
106.23	c 10457
106.99	o 32248
107.00	c 10451
107.36	o 32251
107.36	c 10448
107.74	o 32254
107.74	c 10445
108.21	o 32266
108.21	c 10433
108.58	o 32274
108.58	c 10425
108.98	o 32278
108.98	c 10421
109.47	o 32290
109.47	c 10409
110.38	o 32293
110.38	c 10406
110.77	o 32296
110.77	c 10403
111.21	o 32308
111.21	c 10391
111.55	o 32327
111.55	c 10372
112.26	o 32334
112.26	c 10365
112.56	o 32341
112.56	c 10358
112.88	o 32346
112.88	c 10353
113.25	o 32349
113.25	c 10350
113.65	o 32355
113.65	c 10344
114.01	o 32365
114.01	c 10334
114.26	o 32381
114.26	c 10318
114.59	o 32389
114.59	c 10310
115.05	o 32394
115.05	c 10305
115.37	o 32404
115.37	c 10295
115.70	o 32416
115.70	c 10283
116.00	o 32436
116.00	c 10263
116.34	o 32446
116.34	c 10253
116.65	o 32462
116.65	c 10237
117.01	o 32474
117.01	c 10225
117.28	o 32478
117.28	c 10221
117.56	o 32483
117.56	c 10216
117.85	o 32492
117.85	c 10207
118.08	o 32501
118.08	c 10198
118.36	o 32508
118.36	c 10191
118.71	o 32513
118.71	c 10186
119.13	o 32514
119.13	c 10185
119.40	o 32515
119.40	c 10184
119.76	o 32527
119.76	c 10172
120.12	o 32532
120.12	c 10167
120.37	o 32542
120.37	c 10157
120.63	o 32546
120.63	c 10153
120.93	o 32554
120.93	c 10145
121.36	o 32567
121.36	c 10132
121.66	o 32579
121.66	c 10120
121.94	o 32592
121.94	c 10107
122.81	o 32594
122.81	c 10105
123.46	o 32600
123.46	c 10099
123.87	o 32617
123.87	c 10082
124.20	o 32622
124.20	c 10077
124.52	o 32636
124.52	c 10063
124.85	o 32646
124.85	c 10053
125.16	o 32648
125.16	c 10051
125.54	o 32665
125.54	c 10034
125.86	o 32668
125.86	c 10031
126.17	o 32680
126.17	c 10019
126.43	o 32689
126.43	c 10010
126.76	o 32698
126.76	c 10001
127.12	o 32705
127.12	c 9994
127.44	o 32711
127.44	c 9988
127.73	o 32713
127.73	c 9986
128.10	o 32715
128.10	c 9984
128.57	o 32717
128.57	c 9982
129.07	o 32718
129.07	c 9981
129.52	o 32719
129.52	c 9980
130.74	o 32734
130.74	c 9965
131.14	o 32748
131.14	c 9951
131.68	o 32758
131.68	c 9941
132.56	o 32767
132.56	c 9932
132.95	o 32776
132.95	c 9923
133.36	o 32785
133.36	c 9914
133.73	o 32796
133.73	c 9903
134.09	o 32803
134.09	c 9896
134.39	o 32809
134.39	c 9890
134.69	o 32817
134.69	c 9882
135.02	o 32827
135.02	c 9872
135.45	o 32838
135.45	c 9861
135.97	o 32841
135.97	c 9858
136.42	o 32842
136.42	c 9857
136.89	o 32854
136.89	c 9845
137.38	o 32865
137.38	c 9834
137.93	o 32874
137.93	c 9825
138.48	o 32883
138.48	c 9816
139.00	o 32891
139.00	c 9808
139.58	o 32898
139.58	c 9801
140.14	o 32905
140.14	c 9794
140.71	o 32918
140.71	c 9781
141.25	o 32925
141.25	c 9774
141.76	o 32932
141.76	c 9767
142.66	o 32933
142.66	c 9766
143.58	o 32940
143.58	c 9759
144.49	o 32946
144.49	c 9753
144.88	o 32953
144.88	c 9746
145.20	o 32968
145.20	c 9731
145.55	o 32974
145.55	c 9725
145.90	o 32977
145.90	c 9722
146.22	o 32981
146.22	c 9718
146.57	o 32985
146.57	c 9714
146.90	o 32989
146.90	c 9710
147.27	o 32993
147.27	c 9706
147.60	o 32994
147.60	c 9705
147.96	o 32997
147.96	c 9702
148.35	o 33006
148.35	c 9693
148.75	o 33008
148.75	c 9691
149.13	o 33010
149.13	c 9689
149.54	o 33023
149.54	c 9676
149.93	o 33025
149.93	c 9674
150.33	o 33027
150.33	c 9672
150.70	o 33029
150.70	c 9670
151.18	o 33030
151.18	c 9669
151.56	o 33031
151.56	c 9668
151.98	o 33032
151.98	c 9667
152.40	o 33033
152.40	c 9666
152.90	o 33034
152.90	c 9665
153.38	o 33035
153.38	c 9664
153.79	o 33036
153.79	c 9663
155.22	o 33038
155.22	c 9661
155.69	o 33051
155.69	c 9648
156.12	o 33057
156.12	c 9642
156.59	o 33060
156.59	c 9639
156.99	o 33068
156.99	c 9631
157.42	o 33083
157.42	c 9616
157.80	o 33087
157.80	c 9612
158.16	o 33088
158.16	c 9611
159.01	o 33096
159.01	c 9603
159.51	o 33101
159.51	c 9598
160.00	o 33115
160.00	c 9584
160.52	o 33125
160.52	c 9574
160.92	o 33138
160.92	c 9561
161.30	o 33153
161.30	c 9546
161.73	o 33161
161.73	c 9538
162.12	o 33173
162.12	c 9526
162.55	o 33175
162.55	c 9524
162.91	o 33177
162.91	c 9522
163.36	o 33180
163.36	c 9519
163.79	o 33184
163.79	c 9515
164.21	o 33194
164.21	c 9505
164.57	o 33210
164.57	c 9489
165.29	o 33211
165.29	c 9488
165.74	o 33218
165.74	c 9481
166.21	o 33232
166.21	c 9467
166.65	o 33238
166.65	c 9461
167.06	o 33250
167.06	c 9449
167.47	o 33252
167.47	c 9447
167.91	o 33258
167.92	c 9441
168.30	o 33264
168.30	c 9435
168.70	o 33269
168.70	c 9430
169.09	o 33274
169.09	c 9425
169.56	o 33278
169.57	c 9421
169.97	o 33286
169.97	c 9413
170.33	o 33289
170.33	c 9410
170.71	o 33292
170.71	c 9407
171.09	o 33305
171.09	c 9394
171.48	o 33308
171.48	c 9391
171.83	o 33311
171.83	c 9388
172.17	o 33313
172.17	c 9386
172.57	o 33315
172.57	c 9384
172.94	o 33317
172.94	c 9382
173.36	o 33319
173.36	c 9380
173.79	o 33321
173.79	c 9378
174.24	o 33333
174.24	c 9366
174.62	o 33334
174.62	c 9365
175.02	o 33335
175.02	c 9364
175.38	o 33336
175.38	c 9363
175.74	o 33337
175.74	c 9362
177.72	o 33344
177.72	c 9355
178.06	o 33347
178.06	c 9352
179.12	o 33348
179.12	c 9351
179.43	o 33351
179.43	c 9348
179.73	o 33353
179.73	c 9346
180.35	o 33360
180.35	c 9339
180.61	o 33375
180.61	c 9324
180.97	o 33382
180.97	c 9317
181.32	o 33393
181.32	c 9306
182.29	o 33399
182.29	c 9300
182.73	o 33407
182.73	c 9292
183.59	o 33410
183.59	c 9289
184.06	o 33415
184.06	c 9284
184.53	o 33418
184.53	c 9281
185.44	o 33429
185.44	c 9270
185.96	o 33437
185.96	c 9262
186.49	o 33446
186.49	c 9253
186.97	o 33451
186.97	c 9248
187.47	o 33456
187.47	c 9243
188.05	o 33460
188.05	c 9239
188.58	o 33464
188.58	c 9235
189.12	o 33468
189.12	c 9231
189.65	o 33472
189.65	c 9227
190.29	o 33476
190.29	c 9223
190.78	o 33480
190.78	c 9219
191.33	o 33483
191.33	c 9216
191.82	o 33496
191.82	c 9203
192.33	o 33499
192.33	c 9200
192.83	o 33502
192.83	c 9197
193.38	o 33504
193.38	c 9195
193.88	o 33518
193.88	c 9181
194.37	o 33520
194.37	c 9179
194.86	o 33525
194.87	c 9174
195.41	o 33527
195.41	c 9172
195.87	o 33529
195.87	c 9170
196.33	o 33531
196.33	c 9168
196.81	o 33533
196.81	c 9166
197.29	o 33534
197.29	c 9165
197.76	o 33535
197.76	c 9164
198.33	o 33536
198.33	c 9163
201.22	o 33541
201.22	c 9158
201.71	o 33544
201.71	c 9155
202.30	o 33546
202.30	c 9153
202.80	o 33557
202.80	c 9142
203.32	o 33569
203.32	c 9130
203.82	o 33573
203.82	c 9126
204.35	o 33582
204.35	c 9117
204.81	o 33588
204.81	c 9111
205.25	o 33590
205.25	c 9109
205.70	o 33594
205.70	c 9105
206.28	o 33595
206.28	c 9104
206.83	o 33598
206.83	c 9101
207.39	o 33607
207.39	c 9092
208.46	o 33608
208.46	c 9091
210.74	o 33615
210.74	c 9084
211.17	o 33622
211.17	c 9077
211.62	o 33623
211.62	c 9076
212.61	o 33627
212.61	c 9072
213.97	o 33636
213.97	c 9063
214.44	o 33640
214.44	c 9059
214.86	o 33641
214.86	c 9058
215.27	o 33645
215.27	c 9054
215.72	o 33648
215.72	c 9051
217.52	o 33650
217.52	c 9049
217.99	o 33658
217.99	c 9041
219.05	o 33666
219.05	c 9033
219.54	o 33669
219.54	c 9030
220.02	o 33677
220.02	c 9022
220.51	o 33684
220.51	c 9015
221.00	o 33691
221.00	c 9008
221.49	o 33696
221.49	c 9003
221.98	o 33701
221.98	c 8998
222.51	o 33706
222.51	c 8993
223.02	o 33710
223.02	c 8989
223.59	o 33714
223.59	c 8985
224.13	o 33718
224.13	c 8981
224.68	o 33722
224.68	c 8977
225.22	o 33726
225.22	c 8973
225.74	o 33733
225.74	c 8966
226.27	o 33742
226.27	c 8957
226.76	o 33745
226.76	c 8954
227.30	o 33748
227.30	c 8951
228.27	o 33755
228.27	c 8944
228.72	o 33766
228.72	c 8933
229.20	o 33768
229.20	c 8931
229.66	o 33777
229.66	c 8922
230.12	o 33779
230.12	c 8920
230.58	o 33781
230.58	c 8918
231.06	o 33787
231.06	c 8912
231.46	o 33789
231.46	c 8910
231.96	o 33791
231.96	c 8908
232.40	o 33796
232.40	c 8903
232.81	o 33798
232.81	c 8901
233.19	o 33800
233.20	c 8899
233.59	o 33802
233.59	c 8897
234.05	o 33803
234.05	c 8896
234.47	o 33809
234.47	c 8890
234.83	o 33810
234.83	c 8889
235.21	o 33811
235.21	c 8888
235.60	o 33812
235.60	c 8887
238.60	o 33815
238.60	c 8884
238.97	o 33822
238.97	c 8877
239.32	o 33826
239.32	c 8873
239.72	o 33830
239.72	c 8869
240.04	o 33838
240.04	c 8861
240.35	o 33839
240.35	c 8860
240.81	o 33847
240.81	c 8852
241.31	o 33851
241.31	c 8848
241.76	o 33856
241.76	c 8843
242.16	o 33859
242.16	c 8840
242.66	o 33867
242.66	c 8832
243.11	o 33872
243.11	c 8827
244.91	o 33875
244.91	c 8824
245.37	o 33885
245.37	c 8814
245.82	o 33887
245.82	c 8812
246.23	o 33892
246.23	c 8807
247.16	o 33898
247.16	c 8801
247.64	o 33906
247.64	c 8793
248.09	o 33916
248.09	c 8783
249.05	o 33924
249.05	c 8775
249.52	o 33927
249.52	c 8772
249.99	o 33937
249.99	c 8762
250.50	o 33945
250.50	c 8754
250.97	o 33946
250.97	c 8753
251.48	o 33950
251.48	c 8749
251.96	o 33957
251.96	c 8742
252.41	o 33962
252.41	c 8737
253.36	o 33972
253.36	c 8727
253.86	o 33980
253.86	c 8719
254.29	o 33984
254.29	c 8715
255.04	o 33994
255.04	c 8705
255.41	o 33998
255.41	c 8701
255.84	o 34000
255.84	c 8699
256.22	o 34004
256.22	c 8695
256.63	o 34010
256.63	c 8689
257.12	o 34014
257.12	c 8685
257.57	o 34017
257.57	c 8682
258.02	o 34018
258.02	c 8681
258.45	o 34036
258.45	c 8663
258.86	o 34037
258.86	c 8662
259.28	o 34041
259.28	c 8658
259.76	o 34045
259.76	c 8654
260.18	o 34049
260.18	c 8650
260.65	o 34052
260.65	c 8647
261.15	o 34062
261.15	c 8637
261.65	o 34065
261.65	c 8634
262.13	o 34069
262.13	c 8630
262.66	o 34070
262.66	c 8629
263.18	o 34076
263.18	c 8623
263.68	o 34082
263.68	c 8617
264.87	o 34089
264.87	c 8610
265.45	o 34095
265.45	c 8604
266.10	o 34100
266.10	c 8599
266.71	o 34104
266.71	c 8595
267.30	o 34105
267.30	c 8594
267.92	o 34109
267.92	c 8590
268.56	o 34113
268.56	c 8586
269.21	o 34116
269.21	c 8583
269.81	o 34119
269.81	c 8580
270.43	o 34126
270.43	c 8573
272.24	o 34136
272.24	c 8563
272.73	o 34140
272.73	c 8559
273.86	o 34143
273.86	c 8556
274.47	o 34146
274.47	c 8553
275.07	o 34148
275.07	c 8551
275.67	o 34150
275.67	c 8549
276.24	o 34152
276.24	c 8547
276.84	o 34154
276.84	c 8545
277.42	o 34156
277.42	c 8543
278.02	o 34158
278.02	c 8541
278.61	o 34160
278.61	c 8539
279.10	o 34162
279.10	c 8537
279.64	o 34163
279.64	c 8536
280.12	o 34164
280.12	c 8535
282.52	o 34165
282.52	c 8534
283.04	o 34166
283.04	c 8533
283.50	o 34167
283.50	c 8532
284.49	o 34172
284.49	c 8527
286.30	o 34173
286.30	c 8526
287.51	o 34175
287.51	c 8524
287.97	o 34176
287.97	c 8523
288.45	o 34178
288.45	c 8521
290.06	o 34182
290.06	c 8517
290.55	o 34192
290.56	c 8507
291.04	o 34193
291.04	c 8506
291.56	o 34198
291.56	c 8501
292.14	o 34206
292.14	c 8493
292.68	o 34214
292.68	c 8485
293.23	o 34219
293.23	c 8480
293.88	o 34223
293.89	c 8476
294.45	o 34229
294.45	c 8470
295.07	o 34232
295.07	c 8467
295.65	o 34235
295.65	c 8464
296.22	o 34236
296.22	c 8463
296.83	o 34237
296.83	c 8462
297.52	o 34239
297.52	c 8460
298.12	o 34243
298.12	c 8456
298.70	o 34252
298.70	c 8447
299.28	o 34257
299.28	c 8442
299.94	o 34262
299.94	c 8437
300.66	o 34266
300.66	c 8433
301.32	o 34273
301.32	c 8426
301.93	o 34275
301.93	c 8424
302.50	o 34280
302.50	c 8419
303.05	o 34289
303.05	c 8410
303.70	o 34292
303.70	c 8407
304.35	o 34297
304.35	c 8402
305.61	o 34299
305.61	c 8400
306.26	o 34303
306.26	c 8396
306.91	o 34306
306.91	c 8393
308.12	o 34311
308.12	c 8388
308.76	o 34313
308.76	c 8386
310.06	o 34314
310.06	c 8385
310.68	o 34324
310.68	c 8375
311.35	o 34328
311.35	c 8371
312.02	o 34332
312.02	c 8367
312.63	o 34333
312.63	c 8366
313.37	o 34334
313.37	c 8365
314.01	o 34337
314.01	c 8362
314.73	o 34338
314.73	c 8361
315.39	o 34341
315.39	c 8358
316.20	o 34348
316.20	c 8351
316.97	o 34353
316.97	c 8346
318.45	o 34355
318.45	c 8344
319.19	o 34362
319.19	c 8337
319.86	o 34366
319.86	c 8333
320.62	o 34368
320.62	c 8331
321.32	o 34370
321.32	c 8329
322.88	o 34382
322.88	c 8317
323.70	o 34383
323.70	c 8316
337.35	o 34384
337.40	c 8315
338.02	o 34385
338.02	c 8314
338.71	o 34388
338.71	c 8311
339.35	o 34391
339.35	c 8308
341.68	o 34400
341.68	c 8299
342.24	o 34403
342.24	c 8296
342.84	o 34412
342.84	c 8287
344.71	o 34414
344.71	c 8285
346.45	o 34422
346.45	c 8277
346.98	o 34428
346.98	c 8271
348.65	o 34434
348.65	c 8265
350.34	o 34436
350.34	c 8263
350.92	o 34437
350.92	c 8262
351.48	o 34445
351.48	c 8254
352.04	o 34450
352.04	c 8249
352.64	o 34456
352.64	c 8243
353.89	o 34461
353.89	c 8238
354.48	o 34464
354.48	c 8235
355.04	o 34465
355.04	c 8234
355.65	o 34466
355.65	c 8233
356.44	o 34470
356.44	c 8229
357.04	o 34473
357.04	c 8226
357.68	o 34481
357.68	c 8218
358.28	o 34484
358.28	c 8215
358.95	o 34485
358.95	c 8214
360.21	o 34487
360.21	c 8212
360.92	o 34491
360.92	c 8208
361.64	o 34496
361.64	c 8203
362.32	o 34498
362.32	c 8201
363.00	o 34505
363.00	c 8194
365.02	o 34509
365.02	c 8190
365.74	o 34511
365.74	c 8188
366.44	o 34517
366.44	c 8182
367.10	o 34520
367.10	c 8179
367.75	o 34530
367.75	c 8169
368.35	o 34539
368.35	c 8160
370.28	o 34544
370.28	c 8155
370.89	o 34546
370.89	c 8153
373.77	o 34552
373.77	c 8147
374.51	o 34555
374.51	c 8144
378.48	o 34556
378.48	c 8143
379.17	o 34560
379.17	c 8139
379.82	o 34564
379.82	c 8135
382.42	o 34566
382.42	c 8133
383.10	o 34568
383.10	c 8131
383.76	o 34577
383.76	c 8122
385.02	o 34581
385.02	c 8118
385.66	o 34583
385.66	c 8116
386.42	o 34584
386.42	c 8115
387.15	o 34587
387.15	c 8112
388.68	o 34590
388.68	c 8109
389.44	o 34596
389.44	c 8103
390.27	o 34600
390.27	c 8099
391.01	o 34602
391.01	c 8097
391.76	o 34605
391.76	c 8094
392.52	o 34606
392.52	c 8093
393.33	o 34613
393.33	c 8086
394.20	o 34619
394.20	c 8080
395.06	o 34628
395.06	c 8071
395.90	o 34629
395.90	c 8070
396.76	o 34638
396.76	c 8061
397.54	o 34639
397.54	c 8060
398.37	o 34644
398.37	c 8055
401.54	o 34651
401.54	c 8048
402.30	o 34653
402.30	c 8046
403.09	o 34658
403.09	c 8041
403.58	o 34662
403.58	c 8037
404.29	o 34663
404.29	c 8036
405.15	o 34667
405.15	c 8032
405.90	o 34675
405.90	c 8024
406.68	o 34678
406.68	c 8021
408.13	o 34680
408.13	c 8019
408.87	o 34684
408.87	c 8015
409.66	o 34689
409.66	c 8010
410.47	o 34692
410.47	c 8007
411.26	o 34694
411.26	c 8005
412.01	o 34700
412.01	c 7999
412.81	o 34702
412.81	c 7997
413.57	o 34704
413.57	c 7995
414.38	o 34706
414.38	c 7993
415.17	o 34707
415.17	c 7992
415.96	o 34708
415.96	c 7991
416.78	o 34709
416.78	c 7990
417.57	o 34710
417.57	c 7989
418.39	o 34713
418.39	c 7986
419.18	o 34714
419.18	c 7985
419.94	o 34717
419.94	c 7982
420.66	o 34724
420.66	c 7975
421.42	o 34728
421.42	c 7971
422.16	o 34730
422.16	c 7969
423.63	o 34731
423.63	c 7968
424.32	o 34732
424.32	c 7967
426.89	o 34742
426.89	c 7957
428.98	o 34745
428.98	c 7954
430.30	o 34751
430.30	c 7948
430.96	o 34752
430.96	c 7947
431.69	o 34757
431.69	c 7942
432.35	o 34758
432.35	c 7941
433.20	o 34768
433.20	c 7931
434.00	o 34769
434.00	c 7930
434.69	o 34770
434.69	c 7929
435.43	o 34772
435.43	c 7927
436.17	o 34773
436.17	c 7926
436.87	o 34774
436.87	c 7925
437.74	o 34781
437.74	c 7918
438.58	o 34787
438.58	c 7912
439.43	o 34788
439.43	c 7911
440.39	o 34792
440.39	c 7907
441.22	o 34795
441.22	c 7904
442.17	o 34806
442.17	c 7893
442.93	o 34807
442.93	c 7892
443.80	o 34811
443.80	c 7888
445.51	o 34813
445.51	c 7886
446.29	o 34818
446.29	c 7881
447.14	o 34823
447.14	c 7876
448.99	o 34829
448.99	c 7870
449.77	o 34831
449.77	c 7868
450.59	o 34835
450.59	c 7864
451.42	o 34839
451.42	c 7860
452.29	o 34845
452.29	c 7854
453.03	o 34852
453.03	c 7847
453.85	o 34853
453.85	c 7846
455.48	o 34854
455.48	c 7845
456.29	o 34858
456.29	c 7841
457.98	o 34860
457.98	c 7839
460.57	o 34865
460.57	c 7834
461.49	o 34869
461.49	c 7830
462.56	o 34873
462.56	c 7826
463.50	o 34875
463.50	c 7824
464.49	o 34880
464.49	c 7819
469.36	o 34881
469.36	c 7818
470.24	o 34888
470.24	c 7811
471.12	o 34899
471.12	c 7800
471.92	o 34907
471.92	c 7792
472.70	o 34908
472.70	c 7791
474.95	o 34910
474.95	c 7789
475.80	o 34911
475.80	c 7788
476.66	o 34915
476.66	c 7784
477.44	o 34918
477.44	c 7781
478.22	o 34919
478.22	c 7780
484.05	o 34923
484.05	c 7776
485.58	o 34924
485.59	c 7775
486.36	o 34927
486.36	c 7772
487.16	o 34934
487.16	c 7765
487.90	o 34940
487.90	c 7759
488.75	o 34943
488.75	c 7756
489.57	o 34946
489.57	c 7753
490.33	o 34949
490.33	c 7750
491.11	o 34950
491.11	c 7749
491.91	o 34958
491.91	c 7741
492.84	o 34959
492.84	c 7740
493.69	o 34970
493.69	c 7729
495.36	o 34975
495.36	c 7724
496.22	o 34976
496.22	c 7723
497.07	o 34978
497.07	c 7721
497.86	o 34985
497.86	c 7714
498.69	o 34987
498.69	c 7712
501.33	o 34993
501.33	c 7706
502.20	o 34995
502.20	c 7704
503.07	o 34998
503.07	c 7701
503.98	o 34999
503.98	c 7700
504.93	o 35006
504.93	c 7693
505.89	o 35007
505.89	c 7692
506.78	o 35018
506.78	c 7681
507.73	o 35024
507.73	c 7675
508.64	o 35025
508.64	c 7674
509.58	o 35032
509.59	c 7667
510.58	o 35036
510.58	c 7663
511.55	o 35040
511.55	c 7659
512.45	o 35041
512.45	c 7658
513.46	o 35045
513.46	c 7654
515.38	o 35050
515.38	c 7649
516.37	o 35051
516.37	c 7648
517.34	o 35058
517.34	c 7641
522.48	o 35062
522.48	c 7637
523.30	o 35064
523.30	c 7635
524.16	o 35067
524.16	c 7632
524.99	o 35074
524.99	c 7625
529.10	o 35075
529.10	c 7624
530.02	o 35076
530.02	c 7623
530.84	o 35081
530.84	c 7618
531.73	o 35082
531.73	c 7617
532.59	o 35089
532.59	c 7610
533.53	o 35090
533.53	c 7609
535.34	o 35094
535.34	c 7605
536.24	o 35096
536.24	c 7603
537.18	o 35107
537.18	c 7592
538.92	o 35114
538.92	c 7585
539.90	o 35116
539.90	c 7583
541.82	o 35118
541.82	c 7581
543.27	o 35127
543.27	c 7572
552.04	o 35129
552.04	c 7570
555.01	o 35131
555.01	c 7568
555.80	o 35133
555.80	c 7566
556.54	o 35136
556.54	c 7563
557.33	o 35140
557.33	c 7559
558.10	o 35144
558.10	c 7555
558.96	o 35151
558.96	c 7548
559.79	o 35155
559.80	c 7544
561.42	o 35157
561.42	c 7542
563.88	o 35162
563.88	c 7537
564.69	o 35166
564.69	c 7533
565.54	o 35170
565.54	c 7529
566.39	o 35175
566.39	c 7524
567.30	o 35181
567.30	c 7518
568.15	o 35183
568.15	c 7516
569.08	o 35187
569.08	c 7512
569.92	o 35188
569.92	c 7511
572.53	o 35193
572.53	c 7506
573.37	o 35194
573.37	c 7505
574.24	o 35208
574.24	c 7491
575.09	o 35210
575.09	c 7489
575.94	o 35214
575.94	c 7485
576.77	o 35216
576.77	c 7483
577.65	o 35218
577.65	c 7481
579.45	o 35222
579.45	c 7477
580.24	o 35223
580.24	c 7476
581.05	o 35225
581.05	c 7474
581.91	o 35228
581.91	c 7471
584.14	o 35231
584.14	c 7468
584.83	o 35235
584.83	c 7464
585.55	o 35237
585.55	c 7462
586.27	o 35238
586.27	c 7461
587.00	o 35240
587.00	c 7459
587.81	o 35242
587.81	c 7457
588.73	o 35245
588.73	c 7454
589.57	o 35249
589.57	c 7450
590.40	o 35253
590.40	c 7446
591.18	o 35255
591.18	c 7444
592.02	o 35258
592.02	c 7441
592.84	o 35264
592.84	c 7435
593.64	o 35266
593.64	c 7433
596.23	o 35269
596.23	c 7430
598.87	o 35270
598.87	c 7429
599.68	o 35277
599.68	c 7422
600.57	o 35285
600.57	c 7414
601.23	o 35290
601.23	c 7409
602.77	o 35298
602.78	c 7401
603.58	o 35304
603.58	c 7395
604.41	o 35308
604.41	c 7391
605.23	o 35311
605.23	c 7388
606.02	o 35318
606.02	c 7381
606.86	o 35325
606.86	c 7374
607.53	o 35330
607.53	c 7369
608.29	o 35336
608.29	c 7363
609.92	o 35338
609.92	c 7361
610.78	o 35343
610.78	c 7356
611.58	o 35349
611.58	c 7350
612.43	o 35350
612.43	c 7349
613.23	o 35356
613.23	c 7343
614.02	o 35361
614.02	c 7338
614.92	o 35369
614.92	c 7330
615.63	o 35374
615.63	c 7325
618.94	o 35375
618.94	c 7324
619.76	o 35378
619.76	c 7321
620.58	o 35380
620.58	c 7319
622.15	o 35383
622.15	c 7316
622.89	o 35384
622.89	c 7315
624.35	o 35385
624.35	c 7314
625.10	o 35388
625.10	c 7311
626.02	o 35389
626.02	c 7310
626.92	o 35390
626.92	c 7309
628.59	o 35392
628.59	c 7307
629.40	o 35397
629.40	c 7302
630.21	o 35405
630.21	c 7294
631.92	o 35413
631.92	c 7286
632.88	o 35414
632.88	c 7285
633.80	o 35415
633.80	c 7284
634.65	o 35419
634.65	c 7280
635.49	o 35424
635.49	c 7275
636.43	o 35427
636.43	c 7272
637.27	o 35430
637.27	c 7269
638.06	o 35436
638.06	c 7263
638.93	o 35439
638.93	c 7260
639.84	o 35446
639.84	c 7253
643.39	o 35447
643.39	c 7252
644.24	o 35453
644.24	c 7246
645.15	o 35455
645.15	c 7244
646.95	o 35458
646.95	c 7241
647.92	o 35459
647.92	c 7240
648.85	o 35462
648.85	c 7237
649.78	o 35466
649.78	c 7233
650.81	o 35467
650.81	c 7232
651.78	o 35469
651.78	c 7230
654.66	o 35472
654.66	c 7227
655.74	o 35478
655.74	c 7221
656.72	o 35481
656.72	c 7218
658.92	o 35496
658.92	c 7203
659.88	o 35503
659.88	c 7196
660.94	o 35504
660.94	c 7195
661.95	o 35506
661.95	c 7193
666.03	o 35513
666.03	c 7186
667.03	o 35515
667.03	c 7184
668.05	o 35516
668.05	c 7183
669.06	o 35518
669.06	c 7181
670.06	o 35526
670.06	c 7173
671.07	o 35529
671.07	c 7170
672.11	o 35533
672.11	c 7166
678.42	o 35536
678.42	c 7163
681.70	o 35537
681.70	c 7162
682.82	o 35540
682.82	c 7159
683.90	o 35541
683.90	c 7158
688.61	o 35553
688.62	c 7146
689.79	o 35556
689.79	c 7143
693.23	o 35558
693.23	c 7141
694.35	o 35562
694.35	c 7137
695.52	o 35565
695.52	c 7134
696.68	o 35571
696.68	c 7128
699.00	o 35572
699.00	c 7127
700.13	o 35573
700.13	c 7126
701.26	o 35576
701.26	c 7123
702.36	o 35577
702.36	c 7122
703.24	o 35582
703.24	c 7117
704.36	o 35588
704.36	c 7111
705.54	o 35589
705.54	c 7110
706.71	o 35594
706.71	c 7105
707.93	o 35595
707.93	c 7104
709.27	o 35596
709.27	c 7103
710.50	o 35602
710.50	c 7097
713.02	o 35605
713.02	c 7094
714.34	o 35609
714.34	c 7090
715.58	o 35634
715.58	c 7065
716.75	o 35639
716.75	c 7060
719.00	o 35640
719.00	c 7059
722.35	o 35660
722.35	c 7039
733.47	o 35662
733.47	c 7037
734.46	o 35666
734.46	c 7033
735.66	o 35668
735.66	c 7031
736.66	o 35671
736.66	c 7028
737.66	o 35673
737.66	c 7026
739.73	o 35676
739.73	c 7023
740.79	o 35677
740.79	c 7022
741.76	o 35683
741.76	c 7016
743.95	o 35685
743.95	c 7014
744.95	o 35687
744.95	c 7012
747.06	o 35688
747.06	c 7011
748.16	o 35691
748.16	c 7008
749.29	o 35693
749.29	c 7006
755.70	o 35695
755.70	c 7004
756.66	o 35696
756.66	c 7003
757.44	o 35701
757.44	c 6998
758.43	o 35704
758.43	c 6995
760.33	o 35705
760.33	c 6994
761.29	o 35708
761.29	c 6991
762.21	o 35709
762.21	c 6990
763.21	o 35711
763.21	c 6988
764.18	o 35714
764.18	c 6985
767.21	o 35720
767.21	c 6979
768.29	o 35722
768.29	c 6977
769.29	o 35729
769.29	c 6970
770.34	o 35731
770.34	c 6968
771.44	o 35733
771.44	c 6966
772.65	o 35735
772.65	c 6964
773.81	o 35736
773.81	c 6963
774.96	o 35739
774.96	c 6960
777.28	o 35743
777.28	c 6956
778.50	o 35746
778.50	c 6953
779.63	o 35751
779.68	c 6948
780.72	o 35753
780.72	c 6946
781.88	o 35756
781.88	c 6943
782.99	o 35761
782.99	c 6938
784.15	o 35764
784.15	c 6935
785.20	o 35769
785.20	c 6930
786.25	o 35773
786.25	c 6926
787.26	o 35778
787.26	c 6921
788.38	o 35779
788.38	c 6920
789.48	o 35784
789.48	c 6915
790.57	o 35787
790.57	c 6912
791.67	o 35794
791.67	c 6905
792.75	o 35796
792.75	c 6903
793.82	o 35798
793.82	c 6901
794.97	o 35800
794.97	c 6899
796.17	o 35806
796.17	c 6893
797.43	o 35807
797.43	c 6892
798.67	o 35813
798.67	c 6886
799.84	o 35818
799.84	c 6881
801.03	o 35824
801.03	c 6875
816.15	o 35827
816.15	c 6872
817.38	o 35830
817.38	c 6869
818.44	o 35836
818.44	c 6863
819.63	o 35839
819.63	c 6860
820.79	o 35841
820.79	c 6858
821.93	o 35844
821.93	c 6855
823.21	o 35845
823.21	c 6854
824.52	o 35851
824.52	c 6848
825.72	o 35852
825.72	c 6847
828.23	o 35861
828.23	c 6838
829.47	o 35871
829.47	c 6828
830.68	o 35873
830.68	c 6826
831.91	o 35877
831.91	c 6822
833.22	o 35879
833.22	c 6820
837.35	o 35888
837.35	c 6811
840.00	o 35889
840.00	c 6810
841.36	o 35894
841.36	c 6805
842.75	o 35898
842.75	c 6801
844.08	o 35903
844.08	c 6796
846.78	o 35905
846.78	c 6794
848.16	o 35918
848.16	c 6781
850.69	o 35931
850.69	c 6768
851.99	o 35935
851.99	c 6764
853.19	o 35937
853.19	c 6762
856.98	o 35940
856.98	c 6759
858.18	o 35946
858.18	c 6753
859.44	o 35954
859.44	c 6745
860.70	o 35960
860.70	c 6739
861.91	o 35961
861.91	c 6738
864.34	o 35964
864.34	c 6735
869.44	o 35967
869.44	c 6732
870.75	o 35971
870.75	c 6728
872.05	o 35973
872.05	c 6726
873.36	o 35980
873.36	c 6719
874.65	o 35982
874.65	c 6717
875.95	o 35984
875.95	c 6715
877.25	o 35985
877.25	c 6714
878.60	o 35986
878.60	c 6713
879.93	o 35988
879.93	c 6711
881.26	o 35992
881.26	c 6707
884.01	o 35995
884.01	c 6704
888.27	o 36000
888.27	c 6699
893.99	o 36002
893.99	c 6697
895.47	o 36005
895.47	c 6694
905.34	o 36006
905.34	c 6693
908.25	o 36007
908.25	c 6692
909.75	o 36015
909.75	c 6684
911.26	o 36032
911.26	c 6667
914.06	o 36035
914.06	c 6664
916.84	o 36038
916.84	c 6661
918.22	o 36041
918.22	c 6658
922.56	o 36048
922.56	c 6651
923.97	o 36052
923.97	c 6647
925.49	o 36055
925.49	c 6644
927.02	o 36056
927.02	c 6643
928.55	o 36060
928.55	c 6639
930.00	o 36061
930.00	c 6638
931.53	o 36062
931.53	c 6637
934.59	o 36065
934.59	c 6634
936.08	o 36066
936.08	c 6633
937.59	o 36070
937.59	c 6629
939.10	o 36073
939.10	c 6626
940.54	o 36079
940.54	c 6620
942.00	o 36086
942.00	c 6613
943.40	o 36091
943.40	c 6608
944.78	o 36094
944.78	c 6605
946.16	o 36097
946.16	c 6602
952.07	o 36101
952.07	c 6598
953.54	o 36105
953.54	c 6594
954.64	o 36113
954.64	c 6586
956.10	o 36114
956.10	c 6585
957.57	o 36118
957.57	c 6581
959.03	o 36121
959.03	c 6578
960.57	o 36126
960.57	c 6573
962.08	o 36132
962.08	c 6567
963.63	o 36136
963.63	c 6563
965.10	o 36139
965.10	c 6560
966.63	o 36144
966.63	c 6555
968.12	o 36145
968.12	c 6554
969.63	o 36151
969.63	c 6548
970.94	o 36157
970.94	c 6542
972.52	o 36160
972.52	c 6539
974.08	o 36162
974.08	c 6537
975.69	o 36164
975.69	c 6535
980.01	o 36174
980.01	c 6525
981.33	o 36176
981.33	c 6523
982.70	o 36177
982.70	c 6522
988.23	o 36180
988.23	c 6519
989.64	o 36184
989.64	c 6515
991.11	o 36187
991.11	c 6512
992.56	o 36191
992.56	c 6508
994.02	o 36197
994.02	c 6502
995.44	o 36201
995.44	c 6498
996.86	o 36206
996.86	c 6493
999.82	o 36211
999.82	c 6488
1001.29	o 36215
1001.29	c 6484
1004.38	o 36219
1004.38	c 6480
1005.97	o 36224
1005.97	c 6475
1007.45	o 36225
1007.45	c 6474
1009.04	o 36229
1009.04	c 6470
1010.56	o 36232
1010.56	c 6467
1012.03	o 36250
1012.04	c 6449
1022.04	o 36252
1022.04	c 6447
1023.60	o 36255
1023.60	c 6444
1025.24	o 36258
1025.24	c 6441
1026.80	o 36259
1026.80	c 6440
1031.71	o 36262
1031.71	c 6437
1033.33	o 36264
1033.33	c 6435
1036.61	o 36265
1036.61	c 6434
1038.25	o 36271
1038.25	c 6428
1044.53	o 36278
1044.53	c 6421
1046.18	o 36285
1046.18	c 6414
1059.16	o 36288
1059.16	c 6411
1060.83	o 36291
1060.83	c 6408
1062.52	o 36292
1062.52	c 6407
1064.18	o 36293
1064.18	c 6406
1065.84	o 36299
1065.84	c 6400
1067.51	o 36301
1067.51	c 6398
1075.66	o 36302
1075.66	c 6397
1077.29	o 36308
1077.29	c 6391
1086.66	o 36311
1086.66	c 6388
1088.21	o 36317
1088.21	c 6382
1091.55	o 36320
1091.55	c 6379
1093.14	o 36323
1093.15	c 6376
1094.71	o 36327
1094.72	c 6372
1095.77	o 36333
1095.77	c 6366
1097.51	o 36353
1097.51	c 6346
1099.11	o 36355
1099.11	c 6344
1100.71	o 36356
1100.71	c 6343
1102.28	o 36359
1102.28	c 6340
1103.84	o 36363
1103.84	c 6336
1105.44	o 36368
1105.44	c 6331
1106.92	o 36375
1106.92	c 6324
1110.05	o 36378
1110.05	c 6321
1111.63	o 36381
1111.63	c 6318
1113.22	o 36385
1113.22	c 6314
1114.82	o 36389
1114.82	c 6310
1117.94	o 36390
1117.94	c 6309
1119.53	o 36391
1119.53	c 6308
1121.15	o 36394
1121.15	c 6305
1122.69	o 36396
1122.69	c 6303
1124.28	o 36397
1124.28	c 6302
1125.91	o 36402
1125.91	c 6297
1127.50	o 36404
1127.50	c 6295
1129.12	o 36405
1129.12	c 6294
1130.78	o 36406
1130.78	c 6293
1132.50	o 36407
1132.50	c 6292
1134.13	o 36411
1134.13	c 6288
1139.08	o 36413
1139.08	c 6286
1142.53	o 36415
1142.53	c 6284
1144.34	o 36421
1144.34	c 6278
1147.98	o 36428
1147.98	c 6271
1158.62	o 36431
1158.62	c 6268
1162.06	o 36434
1162.06	c 6265
1163.78	o 36436
1163.78	c 6263
1165.39	o 36439
1165.39	c 6260
1167.02	o 36446
1167.02	c 6253
1173.74	o 36451
1173.74	c 6248
1175.36	o 36453
1175.36	c 6246
1177.02	o 36457
1177.02	c 6242
1178.66	o 36459
1178.66	c 6240
1181.94	o 36460
1181.94	c 6239
1183.63	o 36463
1183.63	c 6236
1187.05	o 36465
1187.05	c 6234
1188.19	o 36468
1188.19	c 6231
1189.74	o 36475
1189.74	c 6224
1191.44	o 36478
1191.44	c 6221
1193.14	o 36481
1193.14	c 6218
1194.88	o 36485
1194.88	c 6214
1196.61	o 36487
1196.61	c 6212
1198.31	o 36491
1198.31	c 6208
1200.10	o 36495
1200.10	c 6204
1201.93	o 36499
1201.93	c 6200
1203.70	o 36501
1203.70	c 6198
1205.48	o 36503
1205.48	c 6196
1207.23	o 36506
1207.23	c 6193
1209.03	o 36511
1209.03	c 6188
1210.82	o 36517
1210.82	c 6182
1214.50	o 36522
1214.50	c 6177
1216.37	o 36525
1216.37	c 6174
1227.20	o 36526
1227.20	c 6173
1244.40	o 36538
1244.40	c 6161
1246.10	o 36545
1246.10	c 6154
1249.49	o 36549
1249.49	c 6150
1251.19	o 36550
1251.19	c 6149
1252.96	o 36553
1252.96	c 6146
1254.68	o 36557
1254.68	c 6142
1259.86	o 36563
1259.86	c 6136
1261.34	o 36567
1261.34	c 6132
1263.04	o 36573
1263.04	c 6126
1264.78	o 36578
1264.78	c 6121
1266.48	o 36582
1266.48	c 6117
1271.67	o 36584
1271.67	c 6115
1273.39	o 36591
1273.39	c 6108
1303.71	   
1303.71	   search
1303.71	     run=0  nbConstraintChecks=2291297741  nbAssignments=1479
1303.71	       =>  wckTime=1238.485  cpuTime=1229.16  mem=116M894
1303.71	   
1303.71	   global
1303.71	     nbConstraintChecks=2291297741  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
1303.71	     solvingWckTime=1238.452  solvingCpuTime=1229.12  expiredTime=no  totalExploration=no  nbFoundSolutions=0
1303.71	     globalCpuTime=1292.29
1303.71	       =>  wckTime=1303.417  cpuTime=1292.25  mem=116M894
1303.71	   
1303.71	   solver IterativeSystematicSolver being built... 
1305.35	       =>  wckTime=1305.056  cpuTime=1293.03  mem=492M246
2415.03	v -3572 2936 3572 2544 -2812 4092 2472 3940 2200 3960 2380 -4000 -3480 2168 3832 -3892 -3116 -3296 4044 2440 -2424 -2904 2460 2372 -4012 -4004 3596 -2496 -3248 -2644 2340 3900 2900 2892 4000 -3036 -3776 2264 -2724 2780 2576 -3160 2492 3536 3536 -2516 2172 2224 3432 2376 -2840 3684 4112 -3844 -3080 -3196 -3940 -3984 2572 3740 -3604 2140 -3428 2244 2788 -4012 -3608 -2484 -2520 -2692 3100 4060 2488 -2220 3336 3448 -2496 2268 3948 -2488 2480 3468 3812 -3704 -2140 2432 -3956 -3000 2580 2556 2960 -3356 2140 3660 -3964 4056 -3936 2160 2456 -2384 -2184 -3200 4012 -2312 2616 3380 -3552 2196 3980 2140 -2140 2456 -3300 -3776 3648 2520 3304 2212 3968 3212 2564 -2760 -2264 -3228 2268 -3352 3176 3576 -3996 2656 3704 -3832 -4132 -2824 -4056 3960 2456 -2644 3984 2328 -2688 -3368 -2640 -3112 -4000 2468 3980 -2256 3684 -2156 -4012 4112 3188 2208 4032 3320 -2148 -3676 3264 -2648 2700 3956 -3924 4084 2288 2940 3612 3208 -3040 -4132 -2612 -2212 -2308 2556 -3944 3000 2460 3540 2216 3332 -4092 4056 -2240 -3884 -3188 -2840 3176 -2544 -3108 3772 3712 -2932 -3952 -2456 2820 -4012 -4012 -3996 2368 -2376 4104 3368 2144 2548 3984 -2876 -2948 3348 4040 -2960 -3864 2776 -2612 3336 3172 2408 -3552 3396 -3992 -4064 2528 -4068 -3320 3936 -3964 4072 -4084 -3136 3980 2376 -3988 2352 -3436 2844 -3388 -2500 3324 2180 3596 3848 2176 -3144 2496 -4004 3936 3676 -2396 3852 2364 3240 -4012 3388 -2200 -3484 3216 3352 4044 -4040 -4052 2652 -2356 -2544 -3196 -3188 4012 3956 -3984 4000 3992 -2948 2992 -2776 3708 3984 2384 2520 -2528 3376 2308 2864 2176 -3708 3992 -4084 -3212 -3900 2936 3972 -3612 3324 -3376 -2296 4060 3428 -3144 -3296 3540 -2600 -4064 3992 2196 -2780 2252 3616 -2652 3496 3312 2680 -2568 2580 2816 -3980 3924 4000 -3944 2144 3996 -3268 2264 -2560 -2424 -2292 -3384 -2188 2148 -3076 2296 -2148 3592 -2392 2248 -2456 -2672 3004 -3432 -3744 3660 3912 2424 3952 -3276 -3416 3924 4128 2796 2780 -3448 -2504 -2536 4044 -2464 -4060 -2916 2528 3596 4104 -3680 2224 -3548 -2504 2540 3956 2908 -2184 -2472 -4104 -3968 -3984 2204 3508 -2476 -2320 -2844 3368 2916 3184 -2364 -3428 4072 2160 2352 -2728 -4008 2164 -2156 -3796 -2200 3728 -2540 2592 2140 -3984 -3788 -3376 2444 2200 -3140 2180 3532 2232 3860 2840 -3308 -3480 3460 3060 3804 2184 -3144 2480 2720 2404 3080 2408 -2696 2852 -3392 2536 -3664 3764 3036 -2220 -2484 -3992 -3676 2696 3184 -3868 -4000 4128 3544 -3296 2668 3980 3316 -3808 -3708 2172 4012 -3628 2180 3432 4044 -4132 -3960 3756 -2260 2224 3364 3824 -2432 4076 -3996 3500 -2504 -2600 -3312 3636 2908 -3412 2140 -3768 -4084 2500 -2632 3420 -2680 2524 3088 -2572 4000 2540 3940 -2524 2312 -4036 -4092 -2184 -2380 -2460 -3956 -3948 2144 4000 2712 3172 3348 -3696 2744 2520 2916 3500 -2536 3020 -2212 -2144 3916 -2452 -2780 -3552 -2504 -3208 3548 3984 2140 3876 -3472 -3492 -2192 4088 2832 4020 -2176 3948 -2932 2156 2516 3888 2612 -2612 -2192 2276 3992 -2200 -4112 -2248 -4016 -3888 -4128 2496 3524 -3260 -2284 -3592 -2988 -3984 2692 3672 -2156 2504 -2160 -3528 -3948 2948 2212 -2824 2456 -4012 3512 3776 -4108 2212 3928 -3980 3996 -3360 -3256 2592 3104 -3936 2836 2872 3044 3968 -3900 2648 3588 2324 2560 3784 -2176 2932 3852 3544 3920 -3348 3856 4092 -3752 2920 -3952 -2144 -4016 -3840 -2728 -3108 -3160 3028 2780 -3404 3488 2172 -3396 4032 4064 -3992 -3860 -2720 3004 -2560 2204 2400 -3952 3976 -3836 3504 4008 2284 3312 -3536 -3964 3032 4024 -3752 2332 -2672 2532 -2908 -2540 -3388 2140 -4020 -4100 3396 -4108 2488 3964 3596 -3476 -3096 -3628 2164 2688 -2248 2468 3256 -2520 2516 3572 -3640 -2500 -2312 -4040 -2500 -3104 2840 3968 -3188 2728 -3180 -3996 -3952 -4132 3584 -2656 -3848 -2500 -2716 2152 -2452 3988 2296 -2504 3456 2472 3940 2412 -2204 -3360 -4028 3024 3956 3040 2428 3796 -2168 4124 -2480 3068 3964 4056 2620 2212 2532 -2180 2200 -2904 4120 -3252 2904 4020 -3028 3312 -3668 -3332 -2304 3560 2536 -2656 -3356 3864 -3188 2716 2956 -2304 -2616 3324 2620 -3900 2780 2208 4116 -3724 -4128 3248 3996 -2360 -4016 4128 2328 -2616 -3996 -2780 2388 -3792 4032 2744 -3356 -2160 2476 2816 4132 3644 3948 -3816 3020 3004 3772 3112 2540 -3080 2196 -2440 3880 4004 -3936 -2528 4112 -3992 -2408 -2220 2460 -3968 -3956 -2880 3668 2244 3980 -3852 4072 4060 -2516 -3700 2432 -4036 2468 -4032 2820 -2236 -3460 4044 3952 2352 -2176 -3356 2652 -4100 4112 3980 2144 4100 2208 -2332 -2140 -2140 3584 3464 -2516 2148 2488 -4120 -2152 3172 -2848 3276 3700 -2688 2540 -2388 -2840 -3976 3756 -3404 -3828 -3608 2416 2152 -3532 2144 -2640 -3816 2148 -3124 3612 -4128 2612 2716 -2172 3312 2288 2824 -3944 2708 2184 2380 3084 3364 -3632 -2212 -3944 2780 -2180 -3624 2196 -2440 -3740 -3740 2672 -3948 2896 2400 3588 -3976 -3344 -3752 -3472 3584 2968 2476 3984 3488 2572 2368 2232 -2896 -4128 3572 2844 -3172 -3988 -4092 2460 -2272 -2816 -3736 3984 -2188 -2168 2292 2560 -2964 3660 -3724 -4084 -2180 2140 -4028 -2460 -3020 4108 3940 -2220 4036 -2160 -2188 -4100 -3836 4024 2552 -3328 -3556 2664 3956 -3940 3940 -3456 3544 -3372 3736 -2460 2964 -2416 2668 4012 3572 -3732 -2428 3696 3816 2648 3308 3628 -2608 2936 2700 -2640 -2256 -4028 2676 3640 -2520 -3964 3648 -2364 -2156 -2384 2196 -3168 -3596 -2464 -4060 3992 -3932 -3508 3980 2796 -2156 3960 -2464 2496 -2508 -3692 4008 -3776 4036 3632 3676 -2184 -3380 3988 -2824 3308 3416 -2212 3100 -2432 -2804 2796 3968 -2368 2484 3360 -2784 2152 4044 4040 -4112 2428 -3336 -3840 3136 2140 -3776 -2212 4048 4112 2520 -2172 -3948 -3816 -3944 4008 -2332 -2140 4076 -3356 -3452 -3968 -3428 2984 3952 3584 3016 3908 3956 2172 -2656 3972 2536 3496 2716 -3764 -2604 -2164 -3796 -3224 -2372 3308 3284 -3544 3832 -3260 -2152 -3984 -3420 -2164 2140 3884 -4016 2348 -3420 2684 -2480 -2384 -2308 -3320 -3780 3968 -3156 4008 -3696 3312 3748 -2380 3972 -2532 -3500 -2148 -2344 3688 -2356 3640 3692 -3336 3632 -2816 -2536 2500 4076 -2504 2528 -3096 -3268 2460 -2612 3164 -3876 3472 3544 2820 3940 -2296 -3624 3604 3972 4116 2880 -3808 2576 -4048 2264 -3476 2524 -2992 2268 3832 4036 3628 3192 -3152 2500 2660 -3948 4112 4008 3428 3024 -3452 2448 -3616 -2380 3432 3680 -3964 2536 -2512 -4092 -2312 -2192 2184 2636 2852 -2884 3996 -3948 -2344 3720 2176 -3384 2204 2876 -4040 -3380 -3988 -3836 2204 3640 -4108 3632 -4132 3728 3020 3992 -3792 -3408 2488 -2512 -4008 3732 -2444 -3780 -3796 3408 2908 4004 -3948 -2912 -3176 -4004 -3804 -3824 2864 -3148 -3772 -3224 -3164 -4048 -2812 4032 -2512 3404 3948 -3964 -2156 3732 4036 4100 2240 3956 3600 -2512 -3940 2144 2804 -3240 -3856 -2216 3048 4020 -3988 -3964 -3980 -2764 3320 2192 -4052 3968 4132 -3796 -2488 3136 2892 2160 -2144 3648 -2660 -2572 2152 -3848 2576 4024 3380 3376 -4132 -3316 -4008 -2352 -4036 4028 4064 2228 -4072 -3348 2180 -2392 3084 -2568 -3984 -3504 2284 -2172 4124 2220 4084 2464 -4000 4028 3588 2456 3680 -3972 -2924 -4012 -3380 4084 -3796 -2192 3392 -3600 4132 4112 -3148 2180 2980 -3088 3724 -4040 4132 -2168 -3328 2892 -2616 2740 -3952 2864 3716 -3256 2724 3432 3200 3452 4076 -4132 2560 -2140 -3336 3916 3772 2372 4032 -2596 -3960 -3708 -3928 -2816 2764 -2456 2608 -3560 3988 -3896 -2896 -2236 3948 4072 3964 3708 2148 3940 -4016 -2296 3824 -3996 -2544 2152 3996 3628 -3988 4080 3996 -2288 -2524 -3956 3320 3980 3960 2200 2328 -2472 -2540 -4008 4028 -2180 2536 -2600 -3992 -2848 -3964 -3968 3728 -3960 3316 -4008 3380 -3732 -2396 2948 -3752 -3840 -2556 -3952 2544 3612 -2920 4124 3944 4060 3840 4132 -2248 -3612 3356 2464 2508 3080 -2440 2800 -2464 2600 3740 3276 -2180 3952 -2552 2152 -4008 2560 3388 4008 -3412 2672 2244 -2180 -2324 -3632 -4036 -2948 4092 2872 2140 -4000 -2308 2192 3456 4028 3540 -4000 -3592 -2256 3680 -3736 3980 -2196 -3592 -3308 -4028 2492 -4012 2284 2460 4132 -4004 -3696 -2280 -2332 -2740 2608 2532 -2564 3340 2728 3328 3864 2656 3604 -3936 2192 -2204 4076 2704 3600 2796 -2364 2320 -3488 2184 3988 -3816 2936 -3652 4076 3904 -2536 2648 3196 -3372 2304 -3796 -3896 -3704 -3360 2828 -4044 2552 2160 -2152 2468 4032 -2688 -3116 -2992 3964 -3332 3456 -3388 4132 3608 -3396 -4120 -3668 2156 3176 -2312 3856 3156 -3164 3988 -2564 3044 -4124 -2872 3772 -3264 2328 -4024 -4132 4132 -4100 3376 3968 -3984 -3972 2516 3960 4004 2176 2944 -2856 -2184 4008 -3212 4004 2172 3312 2196 2216 3692 4132 -2388 -3484 -2248 3352 -3788 -3440 -3452 -3864 -2704 -3892 2180 -4072 -3688 -3512 3492 3536 2484 2388 -2372 -3504 -2636 -4000 -3156 -3968 2352 4060 2716 -3964 -4132 -2828 -2940 2176 -2792 2624 2304 -3932 4008 -3004 3796 -4032 4124 -3716 3336 -2496 -3140 -2832 -2216 3444 -4052 -3996 2464 -2476 3996 2504 3964 2748 3340 -3916 -3216 3988 2484 3820 -2460 3072 -3400 2504 2288 2720 -3964 -2724 -3432 -3976 -2144 2304 -3428 3788 3936 -2452 -3652 -2208 3428 4020 2168 -2152 -2436 4048 3416 -4020 -3364 2620 -3212 4076 -3496 3980 4056 2216 4008 3792 2476 2348 2580 -3952 2568 -3936 3268 3040 -3856 -2652 -3060 3588 2800 -2432 -3964 3972 -3888 -2604 2508 3908 2224 3636 -3652 3032 2356 -2764 -3940 -2528 -2196 3508 2784 3688 2524 3364 4032 2316 -3692 -3380 2188 -4016 2488 2496 -2516 2472 -4112 3976 -2480 2552 3576 3692 -2752 -3504 -3116 -2532 -3124 -2820 2384 -3124 -2144 3992 2872 4132 -3068 3376 3100 3336 3348 -2224 -3572 2648 3448 2172 -3984 3844 -3512 3128 3356 4112 -2464 2496 -2236 -3084 -4116 3980 -3352 2656 3076 4008 2504 -4104 -3732 -4100 4008 -3056 -3812 -2520 2532 -3372 -2656 -3972 -4104 3392 3324 2508 -3604 3896 3796 3940 -3652 -3824 -3472 -3732 -2516 -4132 -2308 -3972 3932 -3500 -2520 2180 4080 -2312 2488 -2512 -3984 3780 2144 2780 3208 2344 -3900 2240 3972 -3644 -4036 2964 -4116 -2216 3656 4072 -4008 3360 3968 -2500 3772 2152 -2280 -2864 -3940 4116 4084 2672 2856 -3248 -3356 3964 3988 3968 -2356 -2440 -3952 -3944 3408 -2140 -3860 -2388 -2364 3992 3520 3348 4076 -2156 3620 -3664 3544 2188 3824 -3008 -4000 -3520 -3376 2140 2212 -4032 4004 -2244 3972 3096 2820 -2496 3148 3100 -3948 2356 -4008 -2732 -2644 2480 -3720 -2892 3900 -3828 -3320 -2576 -4060 3236 2324 -2628 4016 2532 -3980 -4016 3864 -2664 -4004 -2364 -2516 2400 -4080 -3456 2832 3140 -2472 -2964 2152 -2732 3004 3952 3500 2356 -2200 -3320 2624 2572 3536 -2932 -3500 -2736 3464 -2812 2420 -2412 4028 -3196 3976 -2240 4020 -3364 -2184 3280 4092 -3256 -3972 -3804 3816 3496 3376 -4088 -2352 2956 -3680 -3984 2324 3932 2144 2688 3600 -3980 2660 -3836 -3176 2616 -3968 2892 3648 3232 -3344 3680 -2916 4008 -2488 2140 -4004 -2488 -2512 -3352 4108 3936 4012 -2552 -3308 3136 3412 -3968 -4020 -3572 2808 -2544 2496 4120 3344 -3360 -2620 -3052 -3764 -4076 2976 -3496 -3308 -2188 3192 -3228 -3276 2204 -3636 -2800 3116 3336 -3336 3376 3588 3268 -2972 -2504 4124 2272 -3564 -4004 -3488 -4092 -2988 -2776 4124 -2212 2200 2140 3124 -3552 3156 4020 -2488 3892 2528 3588 3936 3988 3040 -2896 -3896 3596 -3660 -3996 2180 2708 -3468 2528 2424 -3592 3320 -3968 -3556 -4120 4080 -2272 3152 2504 -3596 2596 3756 3148 -2232 4036 -3928 -2804 -2332 -2476 -3560 3908 -2756 2208 -3884 -3356 2140 -2992 -4072 -4080 3148 3492 -2308 -3332 -4000 3324 -4128 -2348 3896 3360 -3004 3896 -3968 -3028 -2656 3960 2500 -4116 -2736 2480 4008 3704 -3952 -3748 -2464 -3940 -3564 -3160 -2508 2512 2184 -3136 3940 -3124 2256 2200 -2180 -3912 -2504 -2480 2488 4060 2908 3812 2324 -2236 3960 -2560 3356 -4000 2880 -2532 3844 2520 2296 -2840 -2884 -4008 -3416 -3880 2144 3368 -3372 3264 -3936 2504 -3288 3268 -2256 -3388 3140 3536 4092 4012 3032 3988 3984 2232 3988 -3320 4072 2612 -4104 3112 2348 -2360 3296 2504 2140 2244 -2192 -2676 4000 3084 2740 2384 -3968 -3744 4020 3540 -4004 3700 -4104 -3048 2196 -2140 3684 -2572 4064 2180 -3980 -2180 -4020 4068 2712 2572 4132 -2476 3364 -2556 -2496 3920 -3884 -3368 -3648 3432 2296 -3108 -3416 -3868 -4004 3216 -3072 3528 -3296 -3988 -2800 -2612 4084 -3980 3980 -3628 3992 3568 -4032 2180 -2768 -3796 -2740 3224 -3320 -2140 -2148 -2208 3512 2884 3984 -2412 3340 4024 2820 2432 -2676 3944 -3996 -2508 2500 3028 2524 2964 4120 3724 -2544 2248 2772 3624 2500 -3464 -3892 -2284 3972 -2528 2516 -3872 2992 3988 3372 -4048 -4044 3996 -2504 2988 2832 -3040 -3160 4116 -3668 -3988 -2564 -3948 -3132 -4072 2556 2344 3680 4128 -3464 -3836 3652 -4060 3308 -2148 3936 -3988 -2700 4100 2684 3876 -3960 4020 -4036 3180 2412 -3348 3740 -3800 -2480 -3324 -2780 -3484 -3460 -2472 3976 2336 -4104 2160 2236 -2392 2188 3168 -2868 2372 2140 4080 3704 2144 2552 -2484 2796 3552 4088 2732 3196 -2336 -3460 2772 2520 4108 2536 2140 3984 -3924 2464 -3676 -4000 -3708 2352 2780 2152 3148 2340 3396 3780 -2164 3872 4032 3340 2820 3140 2512 -3588 2348 -2672 -2948 -3932 2572 -3588 3936

Verifier Data (download as text)

6108 unsatisfied constraints, 36591 satisfied constraints

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node9/watcher-275600-1169223840 -o ROOT/results/node9/solver-275600-1169223840 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/275600-1169223840/unknown.xml 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 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
Current StackSize limit: 10240 KiB

/proc/loadavg: 2.23 2.07 2.02 4/86 25411
/proc/meminfo: memFree=1299056/2055920 swapFree=4191880/4192956
[pid=25410] ppid=25408 vsize=1788 CPUtime=0
/proc/25410/stat : 25410 (java) R 25408 25410 25126 0 -1 0 368 0 0 0 0 0 0 0 18 0 1 0 270779227 1830912 158 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0
/proc/25410/statm: 446 158 123 14 0 91 0

[startup+0.1044 s]
/proc/loadavg: 2.23 2.07 2.02 4/86 25411
/proc/meminfo: memFree=1299056/2055920 swapFree=4191880/4192956
[pid=25410] ppid=25408 vsize=914988 CPUtime=0.09
/proc/25410/stat : 25410 (java) R 25408 25410 25126 0 -1 0 3065 0 1 0 8 1 0 0 24 0 8 0 270779227 936947712 2811 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25410/statm: 228747 2811 1451 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988

[startup+0.512446 s]
/proc/loadavg: 2.23 2.07 2.02 4/86 25411
/proc/meminfo: memFree=1299056/2055920 swapFree=4191880/4192956
[pid=25410] ppid=25408 vsize=915332 CPUtime=0.48
/proc/25410/stat : 25410 (java) R 25408 25410 25126 0 -1 0 8770 0 1 0 44 4 0 0 25 0 8 0 270779227 937299968 8510 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4152819938 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25410/statm: 228833 8512 2143 14 0 215303 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915332

[startup+1.33354 s]
/proc/loadavg: 2.23 2.07 2.02 4/93 25418
/proc/meminfo: memFree=1196472/2055920 swapFree=4191880/4192956
[pid=25410] ppid=25408 vsize=915604 CPUtime=1.28
/proc/25410/stat : 25410 (java) R 25408 25410 25126 0 -1 0 29313 0 1 0 116 12 0 0 25 0 8 0 270779227 937578496 29050 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073623581 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25410/statm: 228901 29050 2164 14 0 215371 0
[pid=25410/tid=25412] ppid=25408 vsize=915604 CPUtime=0.11
/proc/25410/task/25412/stat : 25412 (java) S 25408 25410 25126 0 -1 64 12752 0 0 0 6 5 0 0 16 0 8 0 270779230 937578496 29050 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25410/tid=25413] ppid=25408 vsize=915604 CPUtime=0
/proc/25410/task/25413/stat : 25413 (java) S 25408 25410 25126 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270779231 937578496 29050 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25410/tid=25414] ppid=25408 vsize=915604 CPUtime=0
/proc/25410/task/25414/stat : 25414 (java) S 25408 25410 25126 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270779231 937578496 29050 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25410/tid=25415] ppid=25408 vsize=915604 CPUtime=0
/proc/25410/task/25415/stat : 25415 (java) S 25408 25410 25126 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 270779234 937578496 29050 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25410/tid=25416] ppid=25408 vsize=915604 CPUtime=0.15
/proc/25410/task/25416/stat : 25416 (java) S 25408 25410 25126 0 -1 64 404 0 0 0 15 0 0 0 16 0 8 0 270779234 937578496 29050 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25410/tid=25417] ppid=25408 vsize=915604 CPUtime=0
/proc/25410/task/25417/stat : 25417 (java) S 25408 25410 25126 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270779234 937578496 29050 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25410/tid=25418] ppid=25408 vsize=915604 CPUtime=0
/proc/25410/task/25418/stat : 25418 (java) S 25408 25410 25126 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270779234 937578496 29050 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.28
Current children cumulated vsize (KiB) 915604

[startup+2.97172 s]
/proc/loadavg: 2.21 2.07 2.02 3/93 25418
/proc/meminfo: memFree=1181560/2055920 swapFree=4191880/4192956
[pid=25410] ppid=25408 vsize=915744 CPUtime=2.9
/proc/25410/stat : 25410 (java) R 25408 25410 25126 0 -1 0 32168 0 1 0 276 14 0 0 25 0 8 0 270779227 937721856 31900 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073830877 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25410/statm: 228936 31900 2184 14 0 215406 0
[pid=25410/tid=25412] ppid=25408 vsize=915744 CPUtime=0.24
/proc/25410/task/25412/stat : 25412 (java) S 25408 25410 25126 0 -1 64 15528 0 0 0 18 6 0 0 16 0 8 0 270779230 937721856 31900 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25410/tid=25413] ppid=25408 vsize=915744 CPUtime=0
/proc/25410/task/25413/stat : 25413 (java) S 25408 25410 25126 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270779231 937721856 31900 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25410/tid=25414] ppid=25408 vsize=915744 CPUtime=0
/proc/25410/task/25414/stat : 25414 (java) S 25408 25410 25126 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270779231 937721856 31900 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25410/tid=25415] ppid=25408 vsize=915744 CPUtime=0
/proc/25410/task/25415/stat : 25415 (java) S 25408 25410 25126 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 270779234 937721856 31900 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25410/tid=25416] ppid=25408 vsize=915744 CPUtime=0.17
/proc/25410/task/25416/stat : 25416 (java) S 25408 25410 25126 0 -1 64 416 0 0 0 17 0 0 0 16 0 8 0 270779234 937721856 31900 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25410/tid=25417] ppid=25408 vsize=915744 CPUtime=0
/proc/25410/task/25417/stat : 25417 (java) S 25408 25410 25126 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270779234 937721856 31900 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25410/tid=25418] ppid=25408 vsize=915744 CPUtime=0
/proc/25410/task/25418/stat : 25418 (java) S 25408 25410 25126 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270779234 937721856 31900 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.9
Current children cumulated vsize (KiB) 915744

[startup+6.17909 s]
/proc/loadavg: 2.21 2.07 2.02 3/93 25418
/proc/meminfo: memFree=1179448/2055920 swapFree=4191880/4192956
[pid=25410] ppid=25408 vsize=915744 CPUtime=6.1
/proc/25410/stat : 25410 (java) R 25408 25410 25126 0 -1 0 32169 0 1 0 595 15 0 0 25 0 8 0 270779227 937721856 31900 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073470041 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25410/statm: 228936 31900 2184 14 0 215406 0
[pid=25410/tid=25412] ppid=25408 vsize=915744 CPUtime=0.24
/proc/25410/task/25412/stat : 25412 (java) S 25408 25410 25126 0 -1 64 15528 0 0 0 18 6 0 0 16 0 8 0 270779230 937721856 31900 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25410/tid=25413] ppid=25408 vsize=915744 CPUtime=0
/proc/25410/task/25413/stat : 25413 (java) S 25408 25410 25126 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270779231 937721856 31900 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25410/tid=25414] ppid=25408 vsize=915744 CPUtime=0
/proc/25410/task/25414/stat : 25414 (java) S 25408 25410 25126 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270779231 937721856 31900 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25410/tid=25415] ppid=25408 vsize=915744 CPUtime=0
/proc/25410/task/25415/stat : 25415 (java) S 25408 25410 25126 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 270779234 937721856 31900 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25410/tid=25416] ppid=25408 vsize=915744 CPUtime=0.17
/proc/25410/task/25416/stat : 25416 (java) S 25408 25410 25126 0 -1 64 416 0 0 0 17 0 0 0 16 0 8 0 270779234 937721856 31900 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25410/tid=25417] ppid=25408 vsize=915744 CPUtime=0
/proc/25410/task/25417/stat : 25417 (java) S 25408 25410 25126 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270779234 937721856 31900 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25410/tid=25418] ppid=25408 vsize=915744 CPUtime=0
/proc/25410/task/25418/stat : 25418 (java) S 25408 25410 25126 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270779234 937721856 31900 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.1
Current children cumulated vsize (KiB) 915744

[startup+12.6468 s]
/proc/loadavg: 2.18 2.07 2.02 3/93 25418
/proc/meminfo: memFree=1179640/2055920 swapFree=4191880/4192956
[pid=25410] ppid=25408 vsize=915744 CPUtime=12.54
/proc/25410/stat : 25410 (java) R 25408 25410 25126 0 -1 0 32171 0 1 0 1238 16 0 0 25 0 8 0 270779227 937721856 31902 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073830823 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25410/statm: 228936 31902 2184 14 0 215406 0
[pid=25410/tid=25412] ppid=25408 vsize=915744 CPUtime=0.24
/proc/25410/task/25412/stat : 25412 (java) S 25408 25410 25126 0 -1 64 15528 0 0 0 18 6 0 0 16 0 8 0 270779230 937721856 31902 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25410/tid=25413] ppid=25408 vsize=915744 CPUtime=0
/proc/25410/task/25413/stat : 25413 (java) S 25408 25410 25126 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270779231 937721856 31902 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25410/tid=25414] ppid=25408 vsize=915744 CPUtime=0
/proc/25410/task/25414/stat : 25414 (java) S 25408 25410 25126 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270779231 937721856 31902 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25410/tid=25415] ppid=25408 vsize=915744 CPUtime=0
/proc/25410/task/25415/stat : 25415 (java) S 25408 25410 25126 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 270779234 937721856 31902 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25410/tid=25416] ppid=25408 vsize=915744 CPUtime=0.18
/proc/25410/task/25416/stat : 25416 (java) S 25408 25410 25126 0 -1 64 418 0 0 0 18 0 0 0 16 0 8 0 270779234 937721856 31902 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25410/tid=25417] ppid=25408 vsize=915744 CPUtime=0
/proc/25410/task/25417/stat : 25417 (java) S 25408 25410 25126 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270779234 937721856 31902 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25410/tid=25418] ppid=25408 vsize=915744 CPUtime=0
/proc/25410/task/25418/stat : 25418 (java) S 25408 25410 25126 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270779234 937721856 31902 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.54
Current children cumulated vsize (KiB) 915744

[startup+25.5073 s]
/proc/loadavg: 2.15 2.06 2.02 3/93 25418
/proc/meminfo: memFree=1173880/2055920 swapFree=4191880/4192956
[pid=25410] ppid=25408 vsize=915744 CPUtime=25.35
/proc/25410/stat : 25410 (java) R 25408 25410 25126 0 -1 0 33695 0 1 0 2518 17 0 0 25 0 8 0 270779227 937721856 33425 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073830184 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25410/statm: 228936 33425 2185 14 0 215406 0
[pid=25410/tid=25412] ppid=25408 vsize=915744 CPUtime=0.32
/proc/25410/task/25412/stat : 25412 (java) S 25408 25410 25126 0 -1 64 17040 0 0 0 25 7 0 0 16 0 8 0 270779230 937721856 33425 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25410/tid=25413] ppid=25408 vsize=915744 CPUtime=0
/proc/25410/task/25413/stat : 25413 (java) S 25408 25410 25126 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270779231 937721856 33425 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25410/tid=25414] ppid=25408 vsize=915744 CPUtime=0
/proc/25410/task/25414/stat : 25414 (java) S 25408 25410 25126 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270779231 937721856 33425 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25410/tid=25415] ppid=25408 vsize=915744 CPUtime=0
/proc/25410/task/25415/stat : 25415 (java) S 25408 25410 25126 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 270779234 937721856 33425 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25410/tid=25416] ppid=25408 vsize=915744 CPUtime=0.19
/proc/25410/task/25416/stat : 25416 (java) S 25408 25410 25126 0 -1 64 428 0 0 0 19 0 0 0 16 0 8 0 270779234 937721856 33425 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25410/tid=25417] ppid=25408 vsize=915744 CPUtime=0
/proc/25410/task/25417/stat : 25417 (java) S 25408 25410 25126 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270779234 937721856 33425 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25410/tid=25418] ppid=25408 vsize=915744 CPUtime=0
/proc/25410/task/25418/stat : 25418 (java) S 25408 25410 25126 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270779234 937721856 33425 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.35
Current children cumulated vsize (KiB) 915744

[startup+51.1222 s]
/proc/loadavg: 2.10 2.06 2.02 3/93 25418
/proc/meminfo: memFree=1173816/2055920 swapFree=4191880/4192956
[pid=25410] ppid=25408 vsize=915744 CPUtime=50.84
/proc/25410/stat : 25410 (java) R 25408 25410 25126 0 -1 0 33697 0 1 0 5066 18 0 0 25 0 8 0 270779227 937721856 33426 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073832827 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25410/statm: 228936 33426 2185 14 0 215406 0
[pid=25410/tid=25412] ppid=25408 vsize=915744 CPUtime=0.32
/proc/25410/task/25412/stat : 25412 (java) S 25408 25410 25126 0 -1 64 17040 0 0 0 25 7 0 0 16 0 8 0 270779230 937721856 33426 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25410/tid=25413] ppid=25408 vsize=915744 CPUtime=0
/proc/25410/task/25413/stat : 25413 (java) S 25408 25410 25126 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270779231 937721856 33426 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25410/tid=25414] ppid=25408 vsize=915744 CPUtime=0
/proc/25410/task/25414/stat : 25414 (java) S 25408 25410 25126 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270779231 937721856 33426 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25410/tid=25415] ppid=25408 vsize=915744 CPUtime=0
/proc/25410/task/25415/stat : 25415 (java) S 25408 25410 25126 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 270779234 937721856 33426 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25410/tid=25416] ppid=25408 vsize=915744 CPUtime=0.19
/proc/25410/task/25416/stat : 25416 (java) S 25408 25410 25126 0 -1 64 429 0 0 0 19 0 0 0 16 0 8 0 270779234 937721856 33426 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25410/tid=25417] ppid=25408 vsize=915744 CPUtime=0
/proc/25410/task/25417/stat : 25417 (java) S 25408 25410 25126 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270779234 937721856 33426 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25410/tid=25418] ppid=25408 vsize=915744 CPUtime=0
/proc/25410/task/25418/stat : 25418 (java) S 25408 25410 25126 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270779234 937721856 33426 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.84
Current children cumulated vsize (KiB) 915744

[startup+102.342 s]
/proc/loadavg: 2.08 2.06 2.02 3/93 25418
/proc/meminfo: memFree=1122552/2055920 swapFree=4191880/4192956
[pid=25410] ppid=25408 vsize=915744 CPUtime=101.8
/proc/25410/stat : 25410 (java) R 25408 25410 25126 0 -1 0 46889 0 1 0 10155 25 0 0 25 0 8 0 270779227 937721856 46557 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073828978 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25410/statm: 228936 46557 2504 14 0 215406 0
[pid=25410/tid=25412] ppid=25408 vsize=915744 CPUtime=1.31
/proc/25410/task/25412/stat : 25412 (java) S 25408 25410 25126 0 -1 64 29844 0 0 0 119 12 0 0 16 0 8 0 270779230 937721856 46557 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25410/tid=25413] ppid=25408 vsize=915744 CPUtime=0
/proc/25410/task/25413/stat : 25413 (java) S 25408 25410 25126 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270779231 937721856 46557 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25410/tid=25414] ppid=25408 vsize=915744 CPUtime=0
/proc/25410/task/25414/stat : 25414 (java) S 25408 25410 25126 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270779231 937721856 46557 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25410/tid=25415] ppid=25408 vsize=915744 CPUtime=0
/proc/25410/task/25415/stat : 25415 (java) S 25408 25410 25126 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 270779234 937721856 46557 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25410/tid=25416] ppid=25408 vsize=915744 CPUtime=0.25
/proc/25410/task/25416/stat : 25416 (java) S 25408 25410 25126 0 -1 64 465 0 0 0 25 0 0 0 16 0 8 0 270779234 937721856 46557 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25410/tid=25417] ppid=25408 vsize=915744 CPUtime=0
/proc/25410/task/25417/stat : 25417 (java) S 25408 25410 25126 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270779234 937721856 46557 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25410/tid=25418] ppid=25408 vsize=915744 CPUtime=0
/proc/25410/task/25418/stat : 25418 (java) S 25408 25410 25126 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270779234 937721856 46557 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.8
Current children cumulated vsize (KiB) 915744

[startup+162.365 s]
/proc/loadavg: 2.03 2.05 2.01 3/93 25418
/proc/meminfo: memFree=1122552/2055920 swapFree=4191880/4192956
[pid=25410] ppid=25408 vsize=915744 CPUtime=161.29
/proc/25410/stat : 25410 (java) R 25408 25410 25126 0 -1 0 46892 0 1 0 16101 28 0 0 25 0 8 0 270779227 937721856 46559 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074004986 0 4 0 23759 18446744073709551615 0 0 17 0 0 0

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

Current children cumulated CPU time (s) 2010.78
Current children cumulated vsize (KiB) 915976

[startup+2083.82 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 25513
/proc/meminfo: memFree=640712/2055920 swapFree=4191880/4192956
[pid=25410] ppid=25408 vsize=915976 CPUtime=2070.5
/proc/25410/stat : 25410 (java) R 25408 25410 25126 0 -1 0 135768 0 1 0 206967 83 0 0 25 0 8 0 270779227 937959424 135421 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073834471 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25410/statm: 228994 135421 2551 14 0 215464 0
[pid=25410/tid=25412] ppid=25408 vsize=915976 CPUtime=2.08
/proc/25410/task/25412/stat : 25412 (java) S 25408 25410 25126 0 -1 64 118484 0 0 0 164 44 0 0 16 0 8 0 270779230 937959424 135421 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25410/tid=25413] ppid=25408 vsize=915976 CPUtime=0
/proc/25410/task/25413/stat : 25413 (java) S 25408 25410 25126 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270779231 937959424 135421 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25410/tid=25414] ppid=25408 vsize=915976 CPUtime=0
/proc/25410/task/25414/stat : 25414 (java) S 25408 25410 25126 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270779231 937959424 135421 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25410/tid=25415] ppid=25408 vsize=915976 CPUtime=0
/proc/25410/task/25415/stat : 25415 (java) S 25408 25410 25126 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 270779234 937959424 135421 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25410/tid=25416] ppid=25408 vsize=915976 CPUtime=0.36
/proc/25410/task/25416/stat : 25416 (java) S 25408 25410 25126 0 -1 64 580 0 0 0 35 1 0 0 16 0 8 0 270779234 937959424 135421 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25410/tid=25417] ppid=25408 vsize=915976 CPUtime=0
/proc/25410/task/25417/stat : 25417 (java) S 25408 25410 25126 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270779234 937959424 135421 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25410/tid=25418] ppid=25408 vsize=915976 CPUtime=0
/proc/25410/task/25418/stat : 25418 (java) S 25408 25410 25126 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270779234 937959424 135421 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2070.5
Current children cumulated vsize (KiB) 915976

[startup+2143.84 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 25513
/proc/meminfo: memFree=571080/2055920 swapFree=4191880/4192956
[pid=25410] ppid=25408 vsize=915976 CPUtime=2130.25
/proc/25410/stat : 25410 (java) R 25408 25410 25126 0 -1 0 135768 0 1 0 212942 83 0 0 25 0 8 0 270779227 937959424 135421 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073995888 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25410/statm: 228994 135421 2551 14 0 215464 0
[pid=25410/tid=25412] ppid=25408 vsize=915976 CPUtime=2.08
/proc/25410/task/25412/stat : 25412 (java) S 25408 25410 25126 0 -1 64 118484 0 0 0 164 44 0 0 16 0 8 0 270779230 937959424 135421 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25410/tid=25413] ppid=25408 vsize=915976 CPUtime=0
/proc/25410/task/25413/stat : 25413 (java) S 25408 25410 25126 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270779231 937959424 135421 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25410/tid=25414] ppid=25408 vsize=915976 CPUtime=0
/proc/25410/task/25414/stat : 25414 (java) S 25408 25410 25126 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270779231 937959424 135421 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25410/tid=25415] ppid=25408 vsize=915976 CPUtime=0
/proc/25410/task/25415/stat : 25415 (java) S 25408 25410 25126 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 270779234 937959424 135421 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25410/tid=25416] ppid=25408 vsize=915976 CPUtime=0.36
/proc/25410/task/25416/stat : 25416 (java) S 25408 25410 25126 0 -1 64 580 0 0 0 35 1 0 0 16 0 8 0 270779234 937959424 135421 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25410/tid=25417] ppid=25408 vsize=915976 CPUtime=0
/proc/25410/task/25417/stat : 25417 (java) S 25408 25410 25126 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270779234 937959424 135421 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25410/tid=25418] ppid=25408 vsize=915976 CPUtime=0
/proc/25410/task/25418/stat : 25418 (java) S 25408 25410 25126 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270779234 937959424 135421 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2130.25
Current children cumulated vsize (KiB) 915976

[startup+2203.86 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 25513
/proc/meminfo: memFree=571208/2055920 swapFree=4191880/4192956
[pid=25410] ppid=25408 vsize=915976 CPUtime=2190
/proc/25410/stat : 25410 (java) R 25408 25410 25126 0 -1 0 135768 0 1 0 218917 83 0 0 25 0 8 0 270779227 937959424 135421 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073835111 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25410/statm: 228994 135421 2551 14 0 215464 0
[pid=25410/tid=25412] ppid=25408 vsize=915976 CPUtime=2.08
/proc/25410/task/25412/stat : 25412 (java) S 25408 25410 25126 0 -1 64 118484 0 0 0 164 44 0 0 16 0 8 0 270779230 937959424 135421 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25410/tid=25413] ppid=25408 vsize=915976 CPUtime=0
/proc/25410/task/25413/stat : 25413 (java) S 25408 25410 25126 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270779231 937959424 135421 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25410/tid=25414] ppid=25408 vsize=915976 CPUtime=0
/proc/25410/task/25414/stat : 25414 (java) S 25408 25410 25126 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270779231 937959424 135421 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25410/tid=25415] ppid=25408 vsize=915976 CPUtime=0
/proc/25410/task/25415/stat : 25415 (java) S 25408 25410 25126 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 270779234 937959424 135421 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25410/tid=25416] ppid=25408 vsize=915976 CPUtime=0.36
/proc/25410/task/25416/stat : 25416 (java) S 25408 25410 25126 0 -1 64 580 0 0 0 35 1 0 0 16 0 8 0 270779234 937959424 135421 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25410/tid=25417] ppid=25408 vsize=915976 CPUtime=0
/proc/25410/task/25417/stat : 25417 (java) S 25408 25410 25126 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270779234 937959424 135421 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25410/tid=25418] ppid=25408 vsize=915976 CPUtime=0
/proc/25410/task/25418/stat : 25418 (java) S 25408 25410 25126 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270779234 937959424 135421 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2190
Current children cumulated vsize (KiB) 915976

[startup+2263.9 s]
/proc/loadavg: 2.08 2.03 2.01 3/106 25669
/proc/meminfo: memFree=569784/2055920 swapFree=4191880/4192956
[pid=25410] ppid=25408 vsize=915976 CPUtime=2249.64
/proc/25410/stat : 25410 (java) R 25408 25410 25126 0 -1 0 135768 0 1 0 224874 90 0 0 25 0 8 0 270779227 937959424 135421 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073834623 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25410/statm: 228994 135421 2551 14 0 215464 0
[pid=25410/tid=25412] ppid=25408 vsize=915976 CPUtime=2.08
/proc/25410/task/25412/stat : 25412 (java) S 25408 25410 25126 0 -1 64 118484 0 0 0 164 44 0 0 16 0 8 0 270779230 937959424 135421 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25410/tid=25413] ppid=25408 vsize=915976 CPUtime=0
/proc/25410/task/25413/stat : 25413 (java) S 25408 25410 25126 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270779231 937959424 135421 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25410/tid=25414] ppid=25408 vsize=915976 CPUtime=0
/proc/25410/task/25414/stat : 25414 (java) S 25408 25410 25126 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270779231 937959424 135421 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25410/tid=25415] ppid=25408 vsize=915976 CPUtime=0
/proc/25410/task/25415/stat : 25415 (java) S 25408 25410 25126 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 270779234 937959424 135421 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25410/tid=25416] ppid=25408 vsize=915976 CPUtime=0.36
/proc/25410/task/25416/stat : 25416 (java) S 25408 25410 25126 0 -1 64 580 0 0 0 35 1 0 0 16 0 8 0 270779234 937959424 135421 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25410/tid=25417] ppid=25408 vsize=915976 CPUtime=0
/proc/25410/task/25417/stat : 25417 (java) S 25408 25410 25126 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270779234 937959424 135421 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25410/tid=25418] ppid=25408 vsize=915976 CPUtime=0
/proc/25410/task/25418/stat : 25418 (java) S 25408 25410 25126 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270779234 937959424 135421 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2249.64
Current children cumulated vsize (KiB) 915976

[startup+2323.94 s]
/proc/loadavg: 2.07 2.03 2.00 3/100 25710
/proc/meminfo: memFree=570824/2055920 swapFree=4191880/4192956
[pid=25410] ppid=25408 vsize=915976 CPUtime=2309.37
/proc/25410/stat : 25410 (java) R 25408 25410 25126 0 -1 0 135768 0 1 0 230844 93 0 0 25 0 8 0 270779227 937959424 135421 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073829042 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25410/statm: 228994 135421 2551 14 0 215464 0
[pid=25410/tid=25412] ppid=25408 vsize=915976 CPUtime=2.08
/proc/25410/task/25412/stat : 25412 (java) S 25408 25410 25126 0 -1 64 118484 0 0 0 164 44 0 0 16 0 8 0 270779230 937959424 135421 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25410/tid=25413] ppid=25408 vsize=915976 CPUtime=0
/proc/25410/task/25413/stat : 25413 (java) S 25408 25410 25126 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270779231 937959424 135421 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25410/tid=25414] ppid=25408 vsize=915976 CPUtime=0
/proc/25410/task/25414/stat : 25414 (java) S 25408 25410 25126 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270779231 937959424 135421 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25410/tid=25415] ppid=25408 vsize=915976 CPUtime=0
/proc/25410/task/25415/stat : 25415 (java) S 25408 25410 25126 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 270779234 937959424 135421 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25410/tid=25416] ppid=25408 vsize=915976 CPUtime=0.36
/proc/25410/task/25416/stat : 25416 (java) S 25408 25410 25126 0 -1 64 580 0 0 0 35 1 0 0 16 0 8 0 270779234 937959424 135421 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25410/tid=25417] ppid=25408 vsize=915976 CPUtime=0
/proc/25410/task/25417/stat : 25417 (java) S 25408 25410 25126 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270779234 937959424 135421 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25410/tid=25418] ppid=25408 vsize=915976 CPUtime=0
/proc/25410/task/25418/stat : 25418 (java) S 25408 25410 25126 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270779234 937959424 135421 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2309.37
Current children cumulated vsize (KiB) 915976

[startup+2383.97 s]
/proc/loadavg: 2.02 2.03 2.00 3/100 25710
/proc/meminfo: memFree=570824/2055920 swapFree=4191880/4192956
[pid=25410] ppid=25408 vsize=915976 CPUtime=2369.12
/proc/25410/stat : 25410 (java) R 25408 25410 25126 0 -1 0 135768 0 1 0 236818 94 0 0 25 0 8 0 270779227 937959424 135421 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073830196 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25410/statm: 228994 135421 2551 14 0 215464 0
[pid=25410/tid=25412] ppid=25408 vsize=915976 CPUtime=2.08
/proc/25410/task/25412/stat : 25412 (java) S 25408 25410 25126 0 -1 64 118484 0 0 0 164 44 0 0 16 0 8 0 270779230 937959424 135421 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25410/tid=25413] ppid=25408 vsize=915976 CPUtime=0
/proc/25410/task/25413/stat : 25413 (java) S 25408 25410 25126 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270779231 937959424 135421 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25410/tid=25414] ppid=25408 vsize=915976 CPUtime=0
/proc/25410/task/25414/stat : 25414 (java) S 25408 25410 25126 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270779231 937959424 135421 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25410/tid=25415] ppid=25408 vsize=915976 CPUtime=0
/proc/25410/task/25415/stat : 25415 (java) S 25408 25410 25126 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 270779234 937959424 135421 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25410/tid=25416] ppid=25408 vsize=915976 CPUtime=0.36
/proc/25410/task/25416/stat : 25416 (java) S 25408 25410 25126 0 -1 64 580 0 0 0 35 1 0 0 16 0 8 0 270779234 937959424 135421 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25410/tid=25417] ppid=25408 vsize=915976 CPUtime=0
/proc/25410/task/25417/stat : 25417 (java) S 25408 25410 25126 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270779234 937959424 135421 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25410/tid=25418] ppid=25408 vsize=915976 CPUtime=0
/proc/25410/task/25418/stat : 25418 (java) S 25408 25410 25126 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270779234 937959424 135421 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2369.12
Current children cumulated vsize (KiB) 915976



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2415.02 s]
/proc/loadavg: 2.01 2.02 2.00 3/100 25710
/proc/meminfo: memFree=570824/2055920 swapFree=4191880/4192956
[pid=25410] ppid=25408 vsize=915976 CPUtime=2400.01
/proc/25410/stat : 25410 (java) R 25408 25410 25126 0 -1 0 135768 0 1 0 239907 94 0 0 25 0 8 0 270779227 937959424 135421 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073835877 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25410/statm: 228994 135421 2551 14 0 215464 0
[pid=25410/tid=25412] ppid=25408 vsize=915976 CPUtime=2.08
/proc/25410/task/25412/stat : 25412 (java) S 25408 25410 25126 0 -1 64 118484 0 0 0 164 44 0 0 16 0 8 0 270779230 937959424 135421 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25410/tid=25413] ppid=25408 vsize=915976 CPUtime=0
/proc/25410/task/25413/stat : 25413 (java) S 25408 25410 25126 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270779231 937959424 135421 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25410/tid=25414] ppid=25408 vsize=915976 CPUtime=0
/proc/25410/task/25414/stat : 25414 (java) S 25408 25410 25126 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270779231 937959424 135421 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25410/tid=25415] ppid=25408 vsize=915976 CPUtime=0
/proc/25410/task/25415/stat : 25415 (java) S 25408 25410 25126 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 270779234 937959424 135421 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25410/tid=25416] ppid=25408 vsize=915976 CPUtime=0.36
/proc/25410/task/25416/stat : 25416 (java) S 25408 25410 25126 0 -1 64 580 0 0 0 35 1 0 0 16 0 8 0 270779234 937959424 135421 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25410/tid=25417] ppid=25408 vsize=915976 CPUtime=0
/proc/25410/task/25417/stat : 25417 (java) S 25408 25410 25126 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 270779234 937959424 135421 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25410/tid=25418] ppid=25408 vsize=915976 CPUtime=0
/proc/25410/task/25418/stat : 25418 (java) S 25408 25410 25126 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270779234 937959424 135421 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2400.01
Current children cumulated vsize (KiB) 915976

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

Child status: 143
Real time (s): 2415.12
CPU time (s): 2400.12
CPU user time (s): 2399.09
CPU system time (s): 1.02284
CPU usage (%): 99.3787
Max. virtual memory (cumulated for all children) (KiB): 915996

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.09
system time used= 1.02284
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 135793
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= 50635
involuntary context switches= 133438

runsolver used 2.88856 s user time and 7.03993 s system time

The end

Launcher Data (download as text)

Begin job on node9 on Fri Jan 19 16:24:01 UTC 2007


IDJOB= 275600
IDBENCH= 4146
IDSOLVER= 68
FILE ID= node9/275600-1169223840

PBS_JOBID= 3588960

Free space on /tmp= 66555 MiB

SOLVER NAME= AbsconMax 109 EPFC
BENCH NAME= HOME/pub/bench/CPAI06/fapp/fapp36-40/fapp37/fapp37-2250-3.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/275600-1169223840/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node9/watcher-275600-1169223840 -o ROOT/results/node9/solver-275600-1169223840 -C 2400 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/275600-1169223840/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  0681a81c96eee827f8a36aac50fcc9e4

RANDOM SEED= 654742836

TIME LIMIT= 2400 seconds

MEMORY LIMIT= 900 MiB


/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.231
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.231
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:       1299536 kB
Buffers:         57252 kB
Cached:         564272 kB
SwapCached:        268 kB
Active:         252632 kB
Inactive:       420036 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1299536 kB
SwapTotal:     4192956 kB
SwapFree:      4191880 kB
Dirty:            7716 kB
Writeback:           0 kB
Mapped:          64156 kB
Slab:            68624 kB
Committed_AS:  7808652 kB
PageTables:       2248 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= 66553 MiB



End job on node9 on Fri Jan 19 17:04:16 UTC 2007