Trace number 275601

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 PFCMSAT (TO) 2400.22 2409.46

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.31	   
0.31	Abscon 109 (November, 2006)
0.31	   
0.31	   configuration
0.31	     name=pfc.xml
0.35	   
0.35	   instance
0.35	     name=/tmp/evaluation/275601-1169223841/unknown.xml
0.38	   
0.38	   domains being loaded...
0.42	   
0.42	   variables being loaded...
0.90	     nbVariables=2250  nbDomainTypes=22  minDomainSize=42  maxDomainSize=998
0.90	       =>  wckTime=0.579  cpuTime=0.4  mem=46M736
0.90	   
0.90	   predicates being loaded...
0.90	   
0.90	   constraints being loaded...
61.45	   
61.45	   INFO : Stopping converting binary constraints (cpu=60.11, mem = 108M448)
65.54	     nbConstraints=42699  nbConvertedConstraints=330  nbConvertConstraintsChecks=188063536  nbExtensionStructures=316
65.54	     nbSharedExtensionStructures=14  nbConflictsStructures=316  nbSharedConflictsStructures=14
65.54	     nbSharedBinaryRepresentations=395737  nbEvaluationManagers=21067  nbSharedEvaluationManagers=21302  maxDegree=136
65.54	     maxArity=2
65.54	       =>  wckTime=65.225  cpuTime=63.47  mem=144M830
65.98	   
65.98	   solver LocalSearchSolver being built... 
66.03	       =>  wckTime=65.711  cpuTime=63.52  mem=115M950
67.84	
67.84	s SATISFIABLE
67.84	o 31208
67.84	c 11491
68.86	o 31224
68.86	c 11475
69.38	o 31236
69.38	c 11463
70.04	o 31250
70.04	c 11449
70.40	o 31266
70.40	c 11433
70.93	o 31282
70.93	c 11417
71.21	o 31298
71.21	c 11401
71.90	o 31315
71.90	c 11384
72.20	o 31329
72.20	c 11370
72.53	o 31337
72.53	c 11362
73.10	o 31353
73.10	c 11346
73.42	o 31363
73.42	c 11336
73.92	o 31378
73.92	c 11321
74.24	o 31386
74.24	c 11313
74.63	o 31398
74.63	c 11301
74.89	o 31416
74.89	c 11283
75.17	o 31428
75.17	c 11271
75.48	o 31433
75.48	c 11266
75.92	o 31439
75.92	c 11260
76.25	o 31455
76.25	c 11244
76.49	o 31471
76.49	c 11228
76.77	o 31475
76.77	c 11224
77.07	o 31490
77.07	c 11209
77.28	o 31507
77.28	c 11192
77.55	o 31518
77.55	c 11181
77.81	o 31534
77.81	c 11165
78.09	o 31543
78.09	c 11156
78.44	o 31545
78.44	c 11154
78.66	o 31561
78.66	c 11138
79.26	o 31578
79.26	c 11121
79.49	o 31598
79.49	c 11101
79.84	o 31604
79.84	c 11095
80.10	o 31614
80.10	c 11085
80.31	o 31625
80.31	c 11074
80.64	o 31640
80.64	c 11059
80.90	o 31651
80.90	c 11048
81.45	o 31663
81.45	c 11036
81.72	o 31671
81.72	c 11028
81.91	o 31684
81.91	c 11015
82.20	o 31696
82.20	c 11003
82.52	o 31707
82.52	c 10992
82.92	o 31709
82.92	c 10990
83.22	o 31722
83.22	c 10977
83.56	o 31730
83.56	c 10969
83.75	o 31740
83.75	c 10959
83.93	o 31752
83.93	c 10947
84.18	o 31760
84.18	c 10939
84.50	o 31762
84.50	c 10937
85.05	o 31765
85.05	c 10934
85.26	o 31770
85.26	c 10929
85.60	o 31778
85.60	c 10921
86.09	o 31790
86.09	c 10909
86.53	o 31792
86.53	c 10907
86.77	o 31806
86.77	c 10893
87.14	o 31824
87.14	c 10875
87.46	o 31837
87.46	c 10862
87.87	o 31846
87.87	c 10853
88.18	o 31860
88.18	c 10839
88.46	o 31872
88.46	c 10827
88.93	o 31879
88.93	c 10820
89.13	o 31886
89.13	c 10813
89.34	o 31888
89.34	c 10811
89.66	o 31894
89.66	c 10805
90.09	o 31906
90.09	c 10793
90.31	o 31923
90.31	c 10776
90.53	o 31924
90.53	c 10775
90.89	o 31936
90.89	c 10763
91.28	o 31947
91.28	c 10752
91.56	o 31950
91.56	c 10749
91.96	o 31964
91.96	c 10735
92.32	o 31972
92.32	c 10727
92.76	o 31976
92.76	c 10723
93.15	o 31983
93.15	c 10716
93.56	o 31992
93.56	c 10707
94.12	o 31998
94.12	c 10701
94.64	o 32002
94.64	c 10697
94.99	o 32018
94.99	c 10681
95.77	o 32019
95.77	c 10680
96.15	o 32023
96.15	c 10676
96.59	o 32031
96.59	c 10668
96.95	o 32033
96.95	c 10666
97.33	o 32040
97.33	c 10659
97.83	o 32050
97.83	c 10649
98.26	o 32058
98.26	c 10641
98.71	o 32064
98.71	c 10635
99.51	o 32075
99.51	c 10624
99.87	o 32080
99.87	c 10619
100.24	o 32088
100.24	c 10611
100.63	o 32095
100.63	c 10604
101.08	o 32101
101.08	c 10598
101.44	o 32104
101.44	c 10595
101.76	o 32117
101.76	c 10582
102.26	o 32135
102.26	c 10564
103.06	o 32141
103.06	c 10558
103.38	o 32143
103.38	c 10556
103.71	o 32150
103.71	c 10549
104.17	o 32158
104.17	c 10541
105.24	o 32162
105.24	c 10537
105.77	o 32165
105.77	c 10534
106.10	o 32172
106.10	c 10527
106.52	o 32183
106.52	c 10516
106.96	o 32187
106.96	c 10512
107.42	o 32196
107.42	c 10503
107.95	o 32217
107.95	c 10482
108.45	o 32224
108.45	c 10475
110.62	o 32230
110.62	c 10469
111.22	o 32235
111.22	c 10464
111.92	o 32239
111.92	c 10460
112.61	o 32241
112.61	c 10458
113.08	o 32242
113.08	c 10457
113.95	o 32248
113.95	c 10451
114.38	o 32251
114.38	c 10448
114.79	o 32254
114.80	c 10445
115.33	o 32266
115.33	c 10433
115.75	o 32274
115.75	c 10425
116.19	o 32278
116.19	c 10421
116.76	o 32290
116.76	c 10409
117.79	o 32293
117.79	c 10406
118.22	o 32296
118.22	c 10403
118.71	o 32308
118.71	c 10391
119.10	o 32327
119.10	c 10372
119.90	o 32334
119.90	c 10365
120.24	o 32341
120.24	c 10358
120.61	o 32346
120.61	c 10353
121.02	o 32349
121.02	c 10350
121.47	o 32355
121.47	c 10344
121.88	o 32365
121.88	c 10334
122.17	o 32381
122.17	c 10318
122.54	o 32389
122.54	c 10310
123.06	o 32394
123.06	c 10305
123.45	o 32404
123.45	c 10295
123.81	o 32416
123.81	c 10283
124.15	o 32436
124.15	c 10263
124.54	o 32446
124.54	c 10253
124.89	o 32462
124.90	c 10237
125.30	o 32474
125.30	c 10225
125.62	o 32478
125.62	c 10221
125.94	o 32483
125.94	c 10216
126.27	o 32492
126.27	c 10207
126.53	o 32501
126.53	c 10198
126.86	o 32508
126.86	c 10191
127.27	o 32513
127.27	c 10186
127.74	o 32514
127.74	c 10185
128.06	o 32515
128.06	c 10184
128.48	o 32527
128.48	c 10172
128.88	o 32532
128.88	c 10167
129.18	o 32542
129.18	c 10157
129.48	o 32546
129.48	c 10153
129.83	o 32554
129.83	c 10145
130.33	o 32567
130.33	c 10132
130.67	o 32579
130.67	c 10120
130.99	o 32592
130.99	c 10107
131.99	o 32594
131.99	c 10105
132.74	o 32600
132.74	c 10099
133.20	o 32617
133.20	c 10082
133.58	o 32622
133.58	c 10077
133.94	o 32636
133.94	c 10063
134.32	o 32646
134.32	c 10053
134.68	o 32648
134.68	c 10051
135.11	o 32665
135.11	c 10034
135.47	o 32668
135.47	c 10031
135.82	o 32680
135.82	c 10019
136.14	o 32689
136.14	c 10010
136.51	o 32698
136.51	c 10001
136.92	o 32705
136.92	c 9994
137.28	o 32711
137.28	c 9988
137.61	o 32713
137.61	c 9986
138.02	o 32715
138.02	c 9984
138.56	o 32717
138.56	c 9982
139.12	o 32718
139.12	c 9981
139.63	o 32719
139.64	c 9980
141.02	o 32734
141.02	c 9965
141.47	o 32748
141.47	c 9951
142.07	o 32758
142.07	c 9941
143.08	o 32767
143.08	c 9932
143.52	o 32776
143.52	c 9923
144.00	o 32785
144.00	c 9914
144.41	o 32796
144.41	c 9903
144.81	o 32803
144.81	c 9896
145.17	o 32809
145.17	c 9890
145.50	o 32817
145.51	c 9882
145.87	o 32827
145.87	c 9872
146.37	o 32838
146.37	c 9861
146.93	o 32841
146.93	c 9858
147.46	o 32842
147.46	c 9857
147.99	o 32854
147.99	c 9845
148.54	o 32865
148.54	c 9834
149.18	o 32874
149.18	c 9825
149.81	o 32883
149.81	c 9816
150.40	o 32891
150.40	c 9808
151.07	o 32898
151.07	c 9801
151.71	o 32905
151.71	c 9794
152.36	o 32918
152.36	c 9781
152.98	o 32925
152.98	c 9774
153.56	o 32932
153.56	c 9767
154.59	o 32933
154.59	c 9766
155.64	o 32940
155.64	c 9759
156.67	o 32946
156.67	c 9753
157.10	o 32953
157.10	c 9746
157.46	o 32968
157.46	c 9731
157.87	o 32974
157.87	c 9725
158.26	o 32977
158.26	c 9722
158.62	o 32981
158.62	c 9718
159.02	o 32985
159.02	c 9714
159.40	o 32989
159.40	c 9710
159.81	o 32993
159.81	c 9706
160.18	o 32994
160.18	c 9705
160.59	o 32997
160.59	c 9702
161.04	o 33006
161.04	c 9693
161.49	o 33008
161.49	c 9691
161.93	o 33010
161.93	c 9689
162.37	o 33023
162.37	c 9676
162.81	o 33025
162.81	c 9674
163.29	o 33027
163.29	c 9672
163.70	o 33029
163.70	c 9670
164.25	o 33030
164.25	c 9669
164.68	o 33031
164.68	c 9668
165.14	o 33032
165.14	c 9667
165.64	o 33033
165.64	c 9666
166.19	o 33034
166.19	c 9665
166.76	o 33035
166.76	c 9664
167.22	o 33036
167.22	c 9663
168.84	o 33038
168.84	c 9661
169.38	o 33051
169.38	c 9648
169.88	o 33057
169.88	c 9642
170.40	o 33060
170.40	c 9639
170.87	o 33068
170.87	c 9631
171.35	o 33083
171.35	c 9616
171.79	o 33087
171.79	c 9612
172.20	o 33088
172.20	c 9611
173.17	o 33096
173.17	c 9603
173.74	o 33101
173.74	c 9598
174.30	o 33115
174.30	c 9584
174.89	o 33125
174.89	c 9574
175.34	o 33138
175.34	c 9561
175.78	o 33153
175.78	c 9546
176.27	o 33161
176.27	c 9538
176.72	o 33173
176.72	c 9526
177.21	o 33175
177.21	c 9524
177.62	o 33177
177.62	c 9522
178.13	o 33180
178.13	c 9519
178.62	o 33184
178.62	c 9515
179.10	o 33194
179.10	c 9505
179.50	o 33210
179.50	c 9489
180.32	o 33211
180.32	c 9488
180.83	o 33218
180.83	c 9481
181.37	o 33232
181.37	c 9467
181.87	o 33238
181.87	c 9461
182.34	o 33250
182.34	c 9449
182.80	o 33252
182.80	c 9447
183.31	o 33258
183.31	c 9441
183.76	o 33264
183.76	c 9435
184.20	o 33269
184.20	c 9430
184.66	o 33274
184.66	c 9425
185.20	o 33278
185.20	c 9421
185.65	o 33286
185.65	c 9413
186.07	o 33289
186.07	c 9410
186.50	o 33292
186.50	c 9407
186.93	o 33305
186.93	c 9394
187.37	o 33308
187.37	c 9391
187.77	o 33311
187.77	c 9388
188.16	o 33313
188.16	c 9386
188.61	o 33315
188.61	c 9384
189.04	o 33317
189.04	c 9382
189.51	o 33319
189.51	c 9380
189.99	o 33321
189.99	c 9378
190.52	o 33333
190.52	c 9366
190.94	o 33334
190.94	c 9365
191.40	o 33335
191.40	c 9364
191.81	o 33336
191.81	c 9363
192.22	o 33337
192.22	c 9362
194.45	o 33344
194.45	c 9355
194.84	o 33347
194.84	c 9352
196.05	o 33348
196.05	c 9351
196.41	o 33351
196.41	c 9348
196.74	o 33353
196.74	c 9346
197.46	o 33360
197.46	c 9339
197.75	o 33375
197.75	c 9324
198.15	o 33382
198.15	c 9317
198.54	o 33393
198.54	c 9306
199.65	o 33399
199.65	c 9300
200.14	o 33407
200.14	c 9292
201.12	o 33410
201.12	c 9289
201.66	o 33415
201.66	c 9284
202.19	o 33418
202.19	c 9281
203.24	o 33429
203.24	c 9270
203.83	o 33437
203.83	c 9262
204.44	o 33446
204.44	c 9253
204.99	o 33451
204.99	c 9248
205.57	o 33456
205.57	c 9243
206.23	o 33460
206.23	c 9239
206.84	o 33464
206.84	c 9235
207.44	o 33468
207.44	c 9231
208.05	o 33472
208.05	c 9227
208.78	o 33476
208.78	c 9223
209.32	o 33480
209.32	c 9219
209.94	o 33483
209.94	c 9216
210.51	o 33496
210.51	c 9203
211.08	o 33499
211.08	c 9200
211.66	o 33502
211.66	c 9197
212.29	o 33504
212.29	c 9195
212.85	o 33518
212.85	c 9181
213.40	o 33520
213.40	c 9179
213.96	o 33525
213.96	c 9174
214.58	o 33527
214.58	c 9172
215.09	o 33529
215.09	c 9170
215.62	o 33531
215.62	c 9168
216.16	o 33533
216.16	c 9166
216.70	o 33534
216.70	c 9165
217.23	o 33535
217.23	c 9164
217.88	o 33536
217.88	c 9163
221.18	o 33541
221.18	c 9158
221.72	o 33544
221.72	c 9155
222.40	o 33546
222.40	c 9153
222.97	o 33557
222.97	c 9142
223.57	o 33569
223.57	c 9130
224.13	o 33573
224.13	c 9126
224.75	o 33582
224.75	c 9117
225.28	o 33588
225.28	c 9111
225.78	o 33590
225.78	c 9109
226.30	o 33594
226.30	c 9105
226.97	o 33595
226.97	c 9104
227.61	o 33598
227.61	c 9101
228.23	o 33607
228.23	c 9092
229.45	o 33608
229.45	c 9091
232.05	o 33615
232.05	c 9084
232.53	o 33622
232.53	c 9077
233.03	o 33623
233.03	c 9076
234.16	o 33627
234.16	c 9072
235.69	o 33636
235.69	c 9063
236.22	o 33640
236.22	c 9059
236.69	o 33641
236.70	c 9058
237.16	o 33645
237.16	c 9054
237.67	o 33648
237.67	c 9051
239.69	o 33650
239.69	c 9049
240.23	o 33658
240.23	c 9041
241.43	o 33666
241.43	c 9033
241.98	o 33669
241.98	c 9030
242.54	o 33677
242.54	c 9022
243.10	o 33684
243.10	c 9015
243.66	o 33691
243.66	c 9008
244.22	o 33696
244.22	c 9003
244.78	o 33701
244.78	c 8998
245.36	o 33706
245.36	c 8993
245.95	o 33710
245.95	c 8989
246.61	o 33714
246.61	c 8985
247.22	o 33718
247.22	c 8981
247.86	o 33722
247.86	c 8977
248.47	o 33726
248.47	c 8973
249.08	o 33733
249.08	c 8966
249.65	o 33742
249.65	c 8957
250.22	o 33745
250.22	c 8954
250.82	o 33748
250.82	c 8951
251.92	o 33755
251.92	c 8944
252.43	o 33766
252.43	c 8933
252.98	o 33768
252.98	c 8931
253.49	o 33777
253.49	c 8922
254.01	o 33779
254.01	c 8920
254.53	o 33781
254.53	c 8918
255.07	o 33787
255.07	c 8912
255.52	o 33789
255.52	c 8910
256.09	o 33791
256.09	c 8908
256.58	o 33796
256.58	c 8903
257.05	o 33798
257.05	c 8901
257.47	o 33800
257.47	c 8899
257.92	o 33802
257.92	c 8897
258.44	o 33803
258.44	c 8896
258.91	o 33809
258.91	c 8890
259.32	o 33810
259.32	c 8889
259.75	o 33811
259.75	c 8888
260.18	o 33812
260.18	c 8887
263.57	o 33815
263.57	c 8884
264.00	o 33822
264.00	c 8877
264.41	o 33826
264.41	c 8873
264.87	o 33830
264.87	c 8869
265.22	o 33838
265.22	c 8861
265.59	o 33839
265.59	c 8860
266.12	o 33847
266.12	c 8852
266.68	o 33851
266.68	c 8848
267.20	o 33856
267.21	c 8843
267.66	o 33859
267.66	c 8840
268.23	o 33867
268.23	c 8832
268.75	o 33872
268.75	c 8827
270.82	o 33875
270.82	c 8824
271.34	o 33885
271.34	c 8814
271.87	o 33887
271.87	c 8812
272.33	o 33892
272.33	c 8807
273.40	o 33898
273.40	c 8801
273.94	o 33906
273.94	c 8793
274.45	o 33916
274.45	c 8783
275.53	o 33924
275.53	c 8775
276.07	o 33927
276.07	c 8772
276.60	o 33937
276.60	c 8762
277.18	o 33945
277.18	c 8754
277.72	o 33946
277.72	c 8753
278.28	o 33950
278.28	c 8749
278.84	o 33957
278.84	c 8742
279.34	o 33962
279.34	c 8737
280.41	o 33972
280.41	c 8727
280.99	o 33980
280.99	c 8719
281.47	o 33984
281.47	c 8715
282.32	o 33994
282.32	c 8705
282.74	o 33998
282.74	c 8701
283.23	o 34000
283.23	c 8699
283.66	o 34004
283.66	c 8695
284.12	o 34010
284.12	c 8689
284.68	o 34014
284.68	c 8685
285.21	o 34017
285.21	c 8682
285.71	o 34018
285.71	c 8681
286.21	o 34036
286.21	c 8663
286.69	o 34037
286.69	c 8662
287.17	o 34041
287.17	c 8658
287.72	o 34045
287.72	c 8654
288.20	o 34049
288.20	c 8650
288.74	o 34052
288.74	c 8647
289.31	o 34062
289.31	c 8637
289.90	o 34065
289.90	c 8634
290.44	o 34069
290.44	c 8630
291.05	o 34070
291.05	c 8629
291.65	o 34076
291.65	c 8623
292.23	o 34082
292.23	c 8617
293.58	o 34089
293.58	c 8610
294.25	o 34095
294.25	c 8604
294.98	o 34100
294.98	c 8599
295.70	o 34104
295.70	c 8595
296.36	o 34105
296.36	c 8594
297.06	o 34109
297.06	c 8590
297.80	o 34113
297.80	c 8586
298.52	o 34116
298.52	c 8583
299.21	o 34119
299.21	c 8580
299.91	o 34126
299.91	c 8573
301.93	o 34136
301.93	c 8563
302.49	o 34140
302.49	c 8559
303.78	o 34143
303.78	c 8556
304.48	o 34146
304.48	c 8553
305.15	o 34148
305.15	c 8551
305.85	o 34150
305.85	c 8549
306.49	o 34152
306.49	c 8547
307.17	o 34154
307.17	c 8545
307.84	o 34156
307.84	c 8543
308.53	o 34158
308.53	c 8541
309.20	o 34160
309.20	c 8539
309.77	o 34162
309.77	c 8537
310.39	o 34163
310.39	c 8536
310.94	o 34164
310.94	c 8535
313.70	o 34165
313.70	c 8534
314.28	o 34166
314.28	c 8533
314.81	o 34167
314.81	c 8532
315.94	o 34172
315.94	c 8527
318.01	o 34173
318.01	c 8526
319.38	o 34175
319.38	c 8524
319.91	o 34176
319.91	c 8523
320.46	o 34178
320.46	c 8521
322.28	o 34182
322.28	c 8517
322.85	o 34192
322.85	c 8507
323.41	o 34193
323.41	c 8506
324.01	o 34198
324.01	c 8501
324.67	o 34206
324.67	c 8493
325.29	o 34214
325.29	c 8485
325.92	o 34219
325.92	c 8480
326.66	o 34223
326.66	c 8476
327.32	o 34229
327.32	c 8470
328.01	o 34232
328.01	c 8467
328.69	o 34235
328.69	c 8464
329.34	o 34236
329.34	c 8463
330.04	o 34237
330.04	c 8462
330.84	o 34239
330.84	c 8460
331.52	o 34243
331.52	c 8456
332.20	o 34252
332.20	c 8447
332.87	o 34257
332.87	c 8442
333.62	o 34262
333.62	c 8437
334.45	o 34266
334.45	c 8433
335.20	o 34273
335.20	c 8426
335.89	o 34275
335.89	c 8424
336.55	o 34280
336.55	c 8419
337.17	o 34289
337.17	c 8410
337.92	o 34292
337.92	c 8407
338.68	o 34297
338.68	c 8402
340.11	o 34299
340.11	c 8400
340.87	o 34303
340.87	c 8396
341.61	o 34306
341.61	c 8393
342.98	o 34311
342.98	c 8388
343.72	o 34313
343.72	c 8386
345.20	o 34314
345.21	c 8385
345.93	o 34324
345.93	c 8375
346.69	o 34328
346.69	c 8371
347.45	o 34332
347.45	c 8367
348.16	o 34333
348.16	c 8366
349.00	o 34334
349.00	c 8365
349.74	o 34337
349.74	c 8362
350.55	o 34338
350.55	c 8361
351.31	o 34341
351.31	c 8358
352.22	o 34348
352.22	c 8351
353.09	o 34353
353.09	c 8346
354.78	o 34355
354.78	c 8344
355.62	o 34362
355.62	c 8337
356.40	o 34366
356.40	c 8333
357.27	o 34368
357.27	c 8331
358.07	o 34370
358.07	c 8329
359.85	o 34382
359.85	c 8317
360.79	o 34383
360.79	c 8316
376.39	o 34384
376.39	c 8315
377.15	o 34385
377.15	c 8314
377.93	o 34388
377.93	c 8311
378.67	o 34391
378.67	c 8308
381.33	o 34400
381.33	c 8299
381.98	o 34403
381.98	c 8296
382.66	o 34412
382.66	c 8287
384.81	o 34414
384.81	c 8285
386.81	o 34422
386.81	c 8277
387.43	o 34428
387.43	c 8271
389.33	o 34434
389.33	c 8265
391.26	o 34436
391.26	c 8263
391.92	o 34437
391.92	c 8262
392.56	o 34445
392.56	c 8254
393.19	o 34450
393.19	c 8249
393.88	o 34456
393.88	c 8243
395.29	o 34461
395.29	c 8238
395.95	o 34464
395.95	c 8235
396.58	o 34465
396.58	c 8234
397.27	o 34466
397.27	c 8233
398.16	o 34470
398.16	c 8229
398.85	o 34473
398.85	c 8226
399.57	o 34481
399.57	c 8218
400.26	o 34484
400.26	c 8215
401.03	o 34485
401.03	c 8214
402.46	o 34487
402.46	c 8212
403.26	o 34491
403.26	c 8208
404.09	o 34496
404.09	c 8203
404.87	o 34498
404.87	c 8201
405.65	o 34505
405.65	c 8194
407.98	o 34509
407.98	c 8190
408.80	o 34511
408.80	c 8188
409.60	o 34517
409.60	c 8182
410.37	o 34520
410.37	c 8179
411.10	o 34530
411.10	c 8169
411.79	o 34539
411.79	c 8160
413.98	o 34544
413.98	c 8155
414.67	o 34546
414.67	c 8153
417.94	o 34552
417.94	c 8147
418.77	o 34555
418.77	c 8144
423.26	o 34556
423.26	c 8143
424.05	o 34560
424.05	c 8139
424.81	o 34564
424.81	c 8135
427.80	o 34566
427.80	c 8133
428.59	o 34568
428.59	c 8131
429.34	o 34577
429.34	c 8122
430.78	o 34581
430.78	c 8118
431.53	o 34583
431.53	c 8116
432.40	o 34584
432.41	c 8115
433.23	o 34587
433.23	c 8112
434.96	o 34590
434.96	c 8109
435.83	o 34596
435.83	c 8103
436.76	o 34600
436.76	c 8099
437.60	o 34602
437.60	c 8097
438.45	o 34605
438.45	c 8094
439.31	o 34606
439.31	c 8093
440.22	o 34613
440.22	c 8086
441.19	o 34619
441.19	c 8080
442.17	o 34628
442.17	c 8071
443.12	o 34629
443.12	c 8070
444.10	o 34638
444.10	c 8061
445.01	o 34639
445.01	c 8060
445.95	o 34644
445.95	c 8055
449.60	o 34651
449.60	c 8048
450.47	o 34653
450.48	c 8046
451.38	o 34658
451.38	c 8041
451.95	o 34662
451.95	c 8037
452.76	o 34663
452.76	c 8036
453.73	o 34667
453.73	c 8032
454.59	o 34675
454.59	c 8024
455.45	o 34678
455.45	c 8021
457.09	o 34680
457.09	c 8019
457.93	o 34684
457.93	c 8015
458.82	o 34689
458.82	c 8010
459.73	o 34692
459.73	c 8007
460.63	o 34694
460.63	c 8005
461.47	o 34700
461.47	c 7999
462.38	o 34702
462.38	c 7997
463.24	o 34704
463.24	c 7995
464.16	o 34706
464.16	c 7993
465.06	o 34707
465.06	c 7992
465.96	o 34708
465.96	c 7991
466.89	o 34709
466.89	c 7990
467.79	o 34710
467.79	c 7989
468.75	o 34713
468.75	c 7986
469.64	o 34714
469.64	c 7985
470.52	o 34717
470.52	c 7982
471.34	o 34724
471.34	c 7975
472.21	o 34728
472.21	c 7971
473.04	o 34730
473.04	c 7969
474.72	o 34731
474.72	c 7968
475.50	o 34732
475.50	c 7967
478.42	o 34742
478.42	c 7957
480.78	o 34745
480.78	c 7954
482.27	o 34751
482.27	c 7948
483.01	o 34752
483.01	c 7947
483.84	o 34757
483.84	c 7942
484.60	o 34758
484.60	c 7941
485.56	o 34768
485.56	c 7931
486.46	o 34769
486.46	c 7930
487.25	o 34770
487.25	c 7929
488.10	o 34772
488.10	c 7927
488.92	o 34773
488.92	c 7926
489.72	o 34774
489.72	c 7925
490.71	o 34781
490.72	c 7918
491.68	o 34787
491.68	c 7912
492.66	o 34788
492.66	c 7911
493.74	o 34792
493.74	c 7907
494.69	o 34795
494.69	c 7904
495.77	o 34806
495.77	c 7893
496.63	o 34807
496.63	c 7892
497.62	o 34811
497.62	c 7888
499.57	o 34813
499.57	c 7886
500.46	o 34818
500.46	c 7881
501.41	o 34823
501.41	c 7876
503.51	o 34829
503.51	c 7870
504.39	o 34831
504.39	c 7868
505.33	o 34835
505.33	c 7864
506.24	o 34839
506.24	c 7860
507.24	o 34845
507.24	c 7854
508.07	o 34852
508.07	c 7847
509.00	o 34853
509.00	c 7846
510.85	o 34854
510.85	c 7845
511.78	o 34858
511.78	c 7841
513.69	o 34860
513.69	c 7839
516.64	o 34865
516.64	c 7834
517.69	o 34869
517.69	c 7830
518.90	o 34873
518.90	c 7826
519.96	o 34875
519.96	c 7824
521.09	o 34880
521.09	c 7819
526.64	o 34881
526.64	c 7818
527.64	o 34888
527.64	c 7811
528.64	o 34899
528.64	c 7800
529.54	o 34907
529.54	c 7792
530.43	o 34908
530.43	c 7791
532.99	o 34910
532.99	c 7789
533.94	o 34911
533.94	c 7788
534.91	o 34915
534.91	c 7784
535.81	o 34918
535.81	c 7781
536.69	o 34919
536.69	c 7780
543.33	o 34923
543.33	c 7776
545.09	o 34924
545.09	c 7775
545.99	o 34927
545.99	c 7772
546.90	o 34934
546.90	c 7765
547.74	o 34940
547.74	c 7759
548.70	o 34943
548.70	c 7756
549.64	o 34946
549.64	c 7753
550.51	o 34949
550.51	c 7750
551.40	o 34950
551.40	c 7749
552.30	o 34958
552.30	c 7741
553.35	o 34959
553.35	c 7740
554.31	o 34970
554.31	c 7729
556.19	o 34975
556.19	c 7724
557.14	o 34976
557.14	c 7723
558.10	o 34978
558.10	c 7721
558.99	o 34985
558.99	c 7714
559.93	o 34987
559.93	c 7712
562.93	o 34993
562.93	c 7706
563.94	o 34995
563.94	c 7704
564.94	o 34998
564.94	c 7701
565.98	o 34999
565.98	c 7700
567.06	o 35006
567.06	c 7693
568.16	o 35007
568.16	c 7692
569.19	o 35018
569.19	c 7681
570.27	o 35024
570.27	c 7675
571.30	o 35025
571.30	c 7674
572.38	o 35032
572.38	c 7667
573.51	o 35036
573.51	c 7663
574.60	o 35040
574.60	c 7659
575.62	o 35041
575.62	c 7658
576.74	o 35045
576.74	c 7654
578.92	o 35050
578.92	c 7649
580.03	o 35051
580.03	c 7648
581.13	o 35058
581.13	c 7641
587.02	o 35062
587.02	c 7637
587.95	o 35064
587.95	c 7635
588.95	o 35067
588.95	c 7632
589.90	o 35074
589.90	c 7625
594.59	o 35075
594.59	c 7624
595.63	o 35076
595.63	c 7623
596.55	o 35081
596.55	c 7618
597.56	o 35082
597.56	c 7617
598.53	o 35089
598.53	c 7610
599.59	o 35090
599.59	c 7609
601.63	o 35094
601.63	c 7605
602.66	o 35096
602.66	c 7603
603.72	o 35107
603.72	c 7592
605.72	o 35114
605.72	c 7585
606.84	o 35116
606.84	c 7583
609.03	o 35118
609.03	c 7581
610.68	o 35127
610.68	c 7572
620.64	o 35129
620.64	c 7570
624.01	o 35131
624.01	c 7568
624.90	o 35133
624.90	c 7566
625.74	o 35136
625.74	c 7563
626.64	o 35140
626.64	c 7559
627.53	o 35144
627.53	c 7555
628.52	o 35151
628.52	c 7548
629.47	o 35155
629.47	c 7544
631.32	o 35157
631.32	c 7542
634.15	o 35162
634.15	c 7537
635.07	o 35166
635.07	c 7533
636.03	o 35170
636.03	c 7529
637.00	o 35175
637.00	c 7524
638.04	o 35181
638.04	c 7518
638.99	o 35183
638.99	c 7516
640.05	o 35187
640.05	c 7512
641.01	o 35188
641.01	c 7511
643.95	o 35193
643.95	c 7506
644.92	o 35194
644.92	c 7505
645.91	o 35208
645.91	c 7491
646.87	o 35210
646.87	c 7489
647.85	o 35214
647.85	c 7485
648.80	o 35216
648.80	c 7483
649.80	o 35218
649.80	c 7481
651.86	o 35222
651.86	c 7477
652.77	o 35223
652.77	c 7476
653.68	o 35225
653.68	c 7474
654.65	o 35228
654.65	c 7471
657.17	o 35231
657.17	c 7468
657.95	o 35235
657.95	c 7464
658.77	o 35237
658.77	c 7462
659.54	o 35238
659.54	c 7461
660.38	o 35240
660.38	c 7459
661.29	o 35242
661.29	c 7457
662.31	o 35245
662.31	c 7454
663.26	o 35249
663.26	c 7450
664.20	o 35253
664.20	c 7446
665.08	o 35255
665.08	c 7444
666.03	o 35258
666.03	c 7441
666.96	o 35264
666.96	c 7435
667.86	o 35266
667.86	c 7433
670.78	o 35269
670.78	c 7430
673.76	o 35270
673.76	c 7429
674.67	o 35277
674.67	c 7422
675.69	o 35285
675.69	c 7414
676.42	o 35290
676.42	c 7409
678.17	o 35298
678.17	c 7401
679.07	o 35304
679.07	c 7395
680.01	o 35308
680.01	c 7391
680.92	o 35311
680.92	c 7388
681.81	o 35318
681.81	c 7381
682.76	o 35325
682.76	c 7374
683.53	o 35330
683.53	c 7369
684.38	o 35336
684.38	c 7363
686.21	o 35338
686.21	c 7361
687.19	o 35343
687.19	c 7356
688.08	o 35349
688.08	c 7350
689.04	o 35350
689.04	c 7349
689.94	o 35356
689.94	c 7343
690.84	o 35361
690.84	c 7338
691.86	o 35369
691.86	c 7330
692.65	o 35374
692.65	c 7325
696.37	o 35375
696.37	c 7324
697.30	o 35378
697.30	c 7321
698.21	o 35380
698.21	c 7319
700.00	o 35383
700.00	c 7316
700.83	o 35384
700.83	c 7315
702.48	o 35385
702.48	c 7314
703.33	o 35388
703.33	c 7311
704.37	o 35389
704.37	c 7310
705.39	o 35390
705.39	c 7309
707.28	o 35392
707.28	c 7307
708.19	o 35397
708.19	c 7302
709.10	o 35405
709.10	c 7294
711.01	o 35413
711.01	c 7286
712.09	o 35414
712.09	c 7285
713.13	o 35415
713.13	c 7284
714.08	o 35419
714.08	c 7280
715.01	o 35424
715.01	c 7275
716.06	o 35427
716.06	c 7272
717.00	o 35430
717.00	c 7269
717.90	o 35436
717.90	c 7263
718.87	o 35439
718.87	c 7260
719.91	o 35446
719.91	c 7253
723.91	o 35447
723.91	c 7252
724.88	o 35453
724.88	c 7246
725.92	o 35455
725.92	c 7244
727.97	o 35458
727.97	c 7241
729.07	o 35459
729.07	c 7240
730.12	o 35462
730.12	c 7237
731.17	o 35466
731.17	c 7233
732.31	o 35467
732.31	c 7232
733.41	o 35469
733.41	c 7230
736.64	o 35472
736.64	c 7227
737.84	o 35478
737.84	c 7221
738.93	o 35481
738.93	c 7218
741.43	o 35496
741.43	c 7203
742.51	o 35503
742.51	c 7196
743.72	o 35504
743.72	c 7195
744.86	o 35506
744.86	c 7193
749.52	o 35513
749.52	c 7186
750.66	o 35515
750.66	c 7184
751.81	o 35516
751.81	c 7183
752.95	o 35518
752.95	c 7181
754.07	o 35526
754.07	c 7173
755.21	o 35529
755.21	c 7170
756.38	o 35533
756.38	c 7166
763.45	o 35536
763.45	c 7163
767.18	o 35537
767.18	c 7162
768.47	o 35540
768.47	c 7159
769.70	o 35541
769.70	c 7158
775.04	o 35553
775.04	c 7146
776.36	o 35556
776.36	c 7143
780.22	o 35558
780.22	c 7141
781.48	o 35562
781.48	c 7137
782.78	o 35565
782.78	c 7134
784.10	o 35571
784.10	c 7128
786.73	o 35572
786.73	c 7127
788.02	o 35573
788.02	c 7126
789.30	o 35576
789.30	c 7123
790.57	o 35577
790.57	c 7122
791.56	o 35582
791.56	c 7117
792.84	o 35588
792.84	c 7111
794.16	o 35589
794.16	c 7110
795.49	o 35594
795.49	c 7105
796.86	o 35595
796.86	c 7104
798.37	o 35596
798.37	c 7103
799.74	o 35602
799.74	c 7097
802.56	o 35605
802.56	c 7094
804.05	o 35609
804.05	c 7090
805.45	o 35634
805.45	c 7065
806.78	o 35639
806.78	c 7060
809.33	o 35640
809.34	c 7059
813.12	o 35660
813.12	c 7039
825.66	o 35662
825.66	c 7037
826.78	o 35666
826.78	c 7033
828.13	o 35668
828.13	c 7031
829.28	o 35671
829.28	c 7028
830.40	o 35673
830.40	c 7026
832.77	o 35676
832.77	c 7023
833.97	o 35677
833.97	c 7022
835.06	o 35683
835.06	c 7016
837.53	o 35685
837.53	c 7014
838.66	o 35687
838.66	c 7012
841.04	o 35688
841.04	c 7011
842.27	o 35691
842.27	c 7008
843.55	o 35693
843.55	c 7006
850.79	o 35695
850.79	c 7004
851.86	o 35696
851.86	c 7003
852.75	o 35701
852.75	c 6998
853.87	o 35704
853.87	c 6995
856.01	o 35705
856.01	c 6994
857.09	o 35708
857.09	c 6991
858.14	o 35709
858.14	c 6990
859.27	o 35711
859.27	c 6988
860.36	o 35714
860.36	c 6985
863.77	o 35720
863.77	c 6979
864.99	o 35722
864.99	c 6977
866.12	o 35729
866.12	c 6970
867.30	o 35731
867.30	c 6968
868.54	o 35733
868.54	c 6966
869.90	o 35735
869.90	c 6964
871.14	o 35736
871.14	c 6963
872.38	o 35739
872.38	c 6960
874.89	o 35743
874.89	c 6956
876.16	o 35746
876.16	c 6953
877.43	o 35751
877.43	c 6948
878.66	o 35753
878.66	c 6946
879.98	o 35756
879.98	c 6943
881.23	o 35761
881.23	c 6938
882.54	o 35764
882.54	c 6935
883.74	o 35769
883.74	c 6930
884.94	o 35773
884.94	c 6926
886.08	o 35778
886.08	c 6921
887.36	o 35779
887.36	c 6920
888.58	o 35784
888.58	c 6915
889.82	o 35787
889.82	c 6912
891.07	o 35794
891.07	c 6905
892.28	o 35796
892.28	c 6903
893.48	o 35798
893.48	c 6901
894.78	o 35800
894.78	c 6899
896.12	o 35806
896.12	c 6893
897.54	o 35807
897.54	c 6892
898.94	o 35813
898.94	c 6886
900.26	o 35818
900.26	c 6881
901.61	o 35824
901.61	c 6875
918.70	o 35827
918.70	c 6872
920.07	o 35830
920.07	c 6869
921.29	o 35836
921.29	c 6863
922.63	o 35839
922.63	c 6860
923.95	o 35841
923.95	c 6858
925.26	o 35844
925.26	c 6855
926.72	o 35845
926.72	c 6854
928.22	o 35851
928.22	c 6848
929.58	o 35852
929.58	c 6847
932.44	o 35861
932.44	c 6838
933.85	o 35871
933.85	c 6828
935.20	o 35873
935.20	c 6826
936.59	o 35877
936.59	c 6822
938.06	o 35879
938.06	c 6820
942.69	o 35888
942.69	c 6811
945.72	o 35889
945.72	c 6810
947.26	o 35894
947.26	c 6805
948.85	o 35898
948.85	c 6801
950.37	o 35903
950.37	c 6796
953.45	o 35905
953.45	c 6794
955.01	o 35918
955.01	c 6781
957.85	o 35931
957.85	c 6768
959.30	o 35935
959.30	c 6764
960.66	o 35937
960.66	c 6762
964.92	o 35940
964.92	c 6759
966.29	o 35946
966.29	c 6753
967.74	o 35954
967.74	c 6745
969.18	o 35960
969.18	c 6739
970.56	o 35961
970.56	c 6738
973.34	o 35964
973.34	c 6735
979.10	o 35967
979.10	c 6732
980.58	o 35971
980.58	c 6728
982.04	o 35973
982.04	c 6726
983.48	o 35980
983.48	c 6719
984.82	o 35982
984.82	c 6717
986.18	o 35984
986.18	c 6715
987.54	o 35985
987.54	c 6714
988.95	o 35986
988.95	c 6713
990.36	o 35988
990.36	c 6711
991.75	o 35992
991.75	c 6707
994.66	o 35995
994.66	c 6704
999.17	o 36000
999.17	c 6699
1005.16	o 36002
1005.16	c 6697
1006.70	o 36005
1006.70	c 6694
1017.07	o 36006
1017.07	c 6693
1020.15	o 36007
1020.15	c 6692
1021.72	o 36015
1021.72	c 6684
1023.32	o 36032
1023.32	c 6667
1026.24	o 36035
1026.24	c 6664
1029.12	o 36038
1029.12	c 6661
1030.57	o 36041
1030.57	c 6658
1035.15	o 36048
1035.15	c 6651
1036.65	o 36052
1036.65	c 6647
1038.26	o 36055
1038.26	c 6644
1039.88	o 36056
1039.88	c 6643
1041.48	o 36060
1041.48	c 6639
1042.99	o 36061
1042.99	c 6638
1044.58	o 36062
1044.58	c 6637
1047.77	o 36065
1047.77	c 6634
1049.33	o 36066
1049.33	c 6633
1050.90	o 36070
1050.90	c 6629
1052.48	o 36073
1052.48	c 6626
1054.01	o 36079
1054.01	c 6620
1055.55	o 36086
1055.55	c 6613
1057.05	o 36091
1057.05	c 6608
1058.51	o 36094
1058.51	c 6605
1059.95	o 36097
1059.95	c 6602
1066.13	o 36101
1066.13	c 6598
1067.68	o 36105
1067.68	c 6594
1068.82	o 36113
1068.82	c 6586
1070.34	o 36114
1070.34	c 6585
1071.87	o 36118
1071.87	c 6581
1073.41	o 36121
1073.41	c 6578
1075.04	o 36126
1075.04	c 6573
1076.63	o 36132
1076.63	c 6567
1078.28	o 36136
1078.28	c 6563
1079.83	o 36139
1079.83	c 6560
1081.45	o 36144
1081.45	c 6555
1083.02	o 36145
1083.02	c 6554
1084.60	o 36151
1084.60	c 6548
1085.96	o 36157
1085.96	c 6542
1087.61	o 36160
1087.61	c 6539
1089.22	o 36162
1089.22	c 6537
1090.90	o 36164
1090.90	c 6535
1095.44	o 36174
1095.44	c 6525
1096.84	o 36176
1096.84	c 6523
1098.30	o 36177
1098.30	c 6522
1104.14	o 36180
1104.14	c 6519
1105.61	o 36184
1105.61	c 6515
1107.11	o 36187
1107.12	c 6512
1108.63	o 36191
1108.63	c 6508
1110.15	o 36197
1110.15	c 6502
1111.64	o 36201
1111.64	c 6498
1113.13	o 36206
1113.13	c 6493
1116.27	o 36211
1116.27	c 6488
1117.82	o 36215
1117.82	c 6484
1121.09	o 36219
1121.09	c 6480
1122.77	o 36224
1122.77	c 6475
1124.32	o 36225
1124.32	c 6474
1125.98	o 36229
1125.98	c 6470
1127.56	o 36232
1127.56	c 6467
1129.10	o 36250
1129.10	c 6449
1139.60	o 36252
1139.60	c 6447
1141.25	o 36255
1141.25	c 6444
1142.99	o 36258
1142.99	c 6441
1144.63	o 36259
1144.63	c 6440
1149.75	o 36262
1149.75	c 6437
1151.43	o 36264
1151.43	c 6435
1154.84	o 36265
1154.84	c 6434
1156.57	o 36271
1156.57	c 6428
1163.23	o 36278
1163.23	c 6421
1164.96	o 36285
1164.96	c 6414
1178.53	o 36288
1178.53	c 6411
1180.30	o 36291
1180.30	c 6408
1182.09	o 36292
1182.09	c 6407
1183.84	o 36293
1183.84	c 6406
1185.57	o 36299
1185.57	c 6400
1187.33	o 36301
1187.33	c 6398
1195.83	o 36302
1195.83	c 6397
1197.54	o 36308
1197.54	c 6391
1207.41	o 36311
1207.41	c 6388
1209.03	o 36317
1209.03	c 6382
1212.51	o 36320
1212.51	c 6379
1214.18	o 36323
1214.18	c 6376
1215.83	o 36327
1215.83	c 6372
1216.93	o 36333
1216.93	c 6366
1218.76	o 36353
1218.76	c 6346
1220.45	o 36355
1220.45	c 6344
1222.15	o 36356
1222.15	c 6343
1223.80	o 36359
1223.80	c 6340
1225.43	o 36363
1225.45	c 6336
1227.12	o 36368
1227.12	c 6331
1228.67	o 36375
1228.67	c 6324
1231.93	o 36378
1231.93	c 6321
1233.57	o 36381
1233.57	c 6318
1235.24	o 36385
1235.24	c 6314
1236.92	o 36389
1236.92	c 6310
1240.20	o 36390
1240.20	c 6309
1241.89	o 36391
1241.89	c 6308
1243.59	o 36394
1243.59	c 6305
1245.21	o 36396
1245.21	c 6303
1246.88	o 36397
1246.88	c 6302
1248.59	o 36402
1248.59	c 6297
1250.26	o 36404
1250.26	c 6295
1251.95	o 36405
1251.95	c 6294
1253.69	o 36406
1253.69	c 6293
1255.49	o 36407
1255.49	c 6292
1257.20	o 36411
1257.20	c 6288
1262.42	o 36413
1262.42	c 6286
1266.05	o 36415
1266.05	c 6284
1267.94	o 36421
1267.94	c 6278
1271.76	o 36428
1271.76	c 6271
1282.93	o 36431
1282.93	c 6268
1286.55	o 36434
1286.55	c 6265
1288.36	o 36436
1288.36	c 6263
1290.04	o 36439
1290.04	c 6260
1291.76	o 36446
1291.76	c 6253
1298.80	o 36451
1298.80	c 6248
1300.50	o 36453
1300.50	c 6246
1302.24	o 36457
1302.24	c 6242
1303.96	o 36459
1303.96	c 6240
1307.41	o 36460
1307.41	c 6239
1309.17	o 36463
1309.17	c 6236
1312.76	o 36465
1312.76	c 6234
1313.96	o 36468
1313.96	c 6231
1315.59	o 36475
1315.59	c 6224
1317.37	o 36478
1317.37	c 6221
1319.16	o 36481
1319.16	c 6218
1320.98	o 36485
1320.98	c 6214
1322.80	o 36487
1322.80	c 6212
1324.58	o 36491
1324.58	c 6208
1326.46	o 36495
1326.46	c 6204
1328.38	o 36499
1328.38	c 6200
1330.23	o 36501
1330.23	c 6198
1332.09	o 36503
1332.09	c 6196
1333.95	o 36506
1333.95	c 6193
1335.84	o 36511
1335.84	c 6188
1337.74	o 36517
1337.74	c 6182
1341.60	o 36522
1341.60	c 6177
1343.53	o 36525
1343.53	c 6174
1354.90	o 36526
1354.90	c 6173
1372.94	o 36538
1372.94	c 6161
1374.73	o 36545
1374.73	c 6154
1378.30	o 36549
1378.30	c 6150
1380.09	o 36550
1380.09	c 6149
1381.95	o 36553
1381.95	c 6146
1383.76	o 36557
1383.76	c 6142
1389.19	o 36563
1389.19	c 6136
1390.72	o 36567
1390.72	c 6132
1392.49	o 36573
1392.49	c 6126
1394.35	o 36578
1394.35	c 6121
1396.15	o 36582
1396.15	c 6117
1401.61	o 36584
1401.61	c 6115
1403.41	o 36591
1403.41	c 6108
1433.66	   
1433.66	   search
1433.66	     run=0  nbConstraintChecks=2288468791  nbAssignments=1478
1433.66	       =>  wckTime=1367.631  cpuTime=1360.1  mem=115M950
1433.66	   
1433.66	   global
1433.66	     nbConstraintChecks=2288468791  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
1433.66	     solvingWckTime=1367.595  solvingCpuTime=1360.06  expiredTime=no  totalExploration=no  nbFoundSolutions=0
1433.66	     globalCpuTime=1423.66
1433.66	       =>  wckTime=1433.343  cpuTime=1423.61  mem=115M950
1433.66	   
1433.66	   solver IterativeSystematicSolver being built... 
1435.29	       =>  wckTime=1434.973  cpuTime=1424.37  mem=491M510
2409.34	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/node6/watcher-275601-1169223841 -o ROOT/results/node6/solver-275601-1169223841 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/275601-1169223841/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.07 2.05 2.01 5/93 13758
/proc/meminfo: memFree=1271992/2055924 swapFree=4165736/4192956
[pid=13757] ppid=13755 vsize=11820 CPUtime=0
/proc/13757/stat : 13757 (java) D 13755 13757 12993 0 -1 0 760 0 1 0 0 0 0 0 17 0 1 0 270779653 12103680 510 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 2188068 0 2147483391 0 7368 18446744072099781622 0 0 17 1 0 0
/proc/13757/statm: 2967 515 425 14 0 1602 0

[startup+0.103635 s]
/proc/loadavg: 2.07 2.05 2.01 5/93 13758
/proc/meminfo: memFree=1271992/2055924 swapFree=4165736/4192956
[pid=13757] ppid=13755 vsize=913228 CPUtime=0.08
/proc/13757/stat : 13757 (java) S 13755 13757 12993 0 -1 0 2905 0 1 0 7 1 0 0 17 0 8 0 270779653 935145472 2651 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13757/statm: 228307 2651 1396 14 0 215208 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 913228

[startup+0.511684 s]
/proc/loadavg: 2.07 2.05 2.01 5/93 13758
/proc/meminfo: memFree=1271992/2055924 swapFree=4165736/4192956
[pid=13757] ppid=13755 vsize=915332 CPUtime=0.48
/proc/13757/stat : 13757 (java) R 13755 13757 12993 0 -1 0 7705 0 1 0 43 5 0 0 18 0 8 0 270779653 937299968 7444 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073585002 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13757/statm: 228833 7444 2140 14 0 215303 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915332

[startup+1.33478 s]
/proc/loadavg: 2.07 2.05 2.01 3/100 13765
/proc/meminfo: memFree=1179904/2055924 swapFree=4165736/4192956
[pid=13757] ppid=13755 vsize=915604 CPUtime=1.29
/proc/13757/stat : 13757 (java) R 13755 13757 12993 0 -1 0 29308 0 1 0 114 15 0 0 23 0 8 0 270779653 937578496 29045 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073527732 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13757/statm: 228901 29045 2161 14 0 215371 0
[pid=13757/tid=13759] ppid=13755 vsize=915604 CPUtime=0.11
/proc/13757/task/13759/stat : 13759 (java) S 13755 13757 12993 0 -1 64 12752 0 0 0 7 4 0 0 16 0 8 0 270779657 937578496 29045 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13757/tid=13760] ppid=13755 vsize=915604 CPUtime=0
/proc/13757/task/13760/stat : 13760 (java) S 13755 13757 12993 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270779658 937578496 29045 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13757/tid=13761] ppid=13755 vsize=915604 CPUtime=0
/proc/13757/task/13761/stat : 13761 (java) S 13755 13757 12993 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270779658 937578496 29045 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13757/tid=13762] ppid=13755 vsize=915604 CPUtime=0
/proc/13757/task/13762/stat : 13762 (java) S 13755 13757 12993 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270779662 937578496 29045 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13757/tid=13763] ppid=13755 vsize=915604 CPUtime=0.15
/proc/13757/task/13763/stat : 13763 (java) S 13755 13757 12993 0 -1 64 406 0 0 0 15 0 0 0 16 0 8 0 270779662 937578496 29045 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13757/tid=13764] ppid=13755 vsize=915604 CPUtime=0
/proc/13757/task/13764/stat : 13764 (java) S 13755 13757 12993 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270779662 937578496 29045 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13757/tid=13765] ppid=13755 vsize=915604 CPUtime=0
/proc/13757/task/13765/stat : 13765 (java) S 13755 13757 12993 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270779662 937578496 29045 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 915604

[startup+2.98796 s]
/proc/loadavg: 2.07 2.05 2.01 3/100 13765
/proc/meminfo: memFree=1154560/2055924 swapFree=4165736/4192956
[pid=13757] ppid=13755 vsize=915744 CPUtime=2.93
/proc/13757/stat : 13757 (java) R 13755 13757 12993 0 -1 0 32162 0 1 0 276 17 0 0 25 0 8 0 270779653 937721856 31894 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073834514 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13757/statm: 228936 31894 2181 14 0 215406 0
[pid=13757/tid=13759] ppid=13755 vsize=915744 CPUtime=0.26
/proc/13757/task/13759/stat : 13759 (java) S 13755 13757 12993 0 -1 64 15528 0 0 0 21 5 0 0 16 0 8 0 270779657 937721856 31894 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13757/tid=13760] ppid=13755 vsize=915744 CPUtime=0
/proc/13757/task/13760/stat : 13760 (java) S 13755 13757 12993 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270779658 937721856 31894 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13757/tid=13761] ppid=13755 vsize=915744 CPUtime=0
/proc/13757/task/13761/stat : 13761 (java) S 13755 13757 12993 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270779658 937721856 31894 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13757/tid=13762] ppid=13755 vsize=915744 CPUtime=0
/proc/13757/task/13762/stat : 13762 (java) S 13755 13757 12993 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270779662 937721856 31894 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13757/tid=13763] ppid=13755 vsize=915744 CPUtime=0.17
/proc/13757/task/13763/stat : 13763 (java) S 13755 13757 12993 0 -1 64 417 0 0 0 17 0 0 0 16 0 8 0 270779662 937721856 31894 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13757/tid=13764] ppid=13755 vsize=915744 CPUtime=0
/proc/13757/task/13764/stat : 13764 (java) S 13755 13757 12993 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270779662 937721856 31894 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13757/tid=13765] ppid=13755 vsize=915744 CPUtime=0
/proc/13757/task/13765/stat : 13765 (java) S 13755 13757 12993 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270779662 937721856 31894 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915744

[startup+6.27938 s]
/proc/loadavg: 2.07 2.04 2.01 3/100 13765
/proc/meminfo: memFree=1152640/2055924 swapFree=4165736/4192956
[pid=13757] ppid=13755 vsize=915744 CPUtime=6.19
/proc/13757/stat : 13757 (java) R 13755 13757 12993 0 -1 0 32163 0 1 0 602 17 0 0 25 0 8 0 270779653 937721856 31894 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073828978 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13757/statm: 228936 31894 2181 14 0 215406 0
[pid=13757/tid=13759] ppid=13755 vsize=915744 CPUtime=0.26
/proc/13757/task/13759/stat : 13759 (java) S 13755 13757 12993 0 -1 64 15528 0 0 0 21 5 0 0 16 0 8 0 270779657 937721856 31894 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13757/tid=13760] ppid=13755 vsize=915744 CPUtime=0
/proc/13757/task/13760/stat : 13760 (java) S 13755 13757 12993 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270779658 937721856 31894 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13757/tid=13761] ppid=13755 vsize=915744 CPUtime=0
/proc/13757/task/13761/stat : 13761 (java) S 13755 13757 12993 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270779658 937721856 31894 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13757/tid=13762] ppid=13755 vsize=915744 CPUtime=0
/proc/13757/task/13762/stat : 13762 (java) S 13755 13757 12993 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270779662 937721856 31894 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13757/tid=13763] ppid=13755 vsize=915744 CPUtime=0.17
/proc/13757/task/13763/stat : 13763 (java) S 13755 13757 12993 0 -1 64 417 0 0 0 17 0 0 0 16 0 8 0 270779662 937721856 31894 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13757/tid=13764] ppid=13755 vsize=915744 CPUtime=0
/proc/13757/task/13764/stat : 13764 (java) S 13755 13757 12993 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270779662 937721856 31894 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13757/tid=13765] ppid=13755 vsize=915744 CPUtime=0
/proc/13757/task/13765/stat : 13765 (java) R 13755 13757 12993 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270779662 937721856 31894 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 915744

[startup+12.7671 s]
/proc/loadavg: 2.06 2.04 2.01 3/100 13765
/proc/meminfo: memFree=1152640/2055924 swapFree=4165736/4192956
[pid=13757] ppid=13755 vsize=915744 CPUtime=12.62
/proc/13757/stat : 13757 (java) R 13755 13757 12993 0 -1 0 32165 0 1 0 1245 17 0 0 25 0 8 0 270779653 937721856 31896 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073828956 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13757/statm: 228936 31896 2181 14 0 215406 0
[pid=13757/tid=13759] ppid=13755 vsize=915744 CPUtime=0.26
/proc/13757/task/13759/stat : 13759 (java) S 13755 13757 12993 0 -1 64 15528 0 0 0 21 5 0 0 16 0 8 0 270779657 937721856 31896 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13757/tid=13760] ppid=13755 vsize=915744 CPUtime=0
/proc/13757/task/13760/stat : 13760 (java) S 13755 13757 12993 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270779658 937721856 31896 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13757/tid=13761] ppid=13755 vsize=915744 CPUtime=0
/proc/13757/task/13761/stat : 13761 (java) S 13755 13757 12993 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270779658 937721856 31896 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13757/tid=13762] ppid=13755 vsize=915744 CPUtime=0
/proc/13757/task/13762/stat : 13762 (java) S 13755 13757 12993 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270779662 937721856 31896 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13757/tid=13763] ppid=13755 vsize=915744 CPUtime=0.17
/proc/13757/task/13763/stat : 13763 (java) S 13755 13757 12993 0 -1 64 419 0 0 0 17 0 0 0 16 0 8 0 270779662 937721856 31896 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13757/tid=13764] ppid=13755 vsize=915744 CPUtime=0
/proc/13757/task/13764/stat : 13764 (java) S 13755 13757 12993 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270779662 937721856 31896 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13757/tid=13765] ppid=13755 vsize=915744 CPUtime=0
/proc/13757/task/13765/stat : 13765 (java) S 13755 13757 12993 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270779662 937721856 31896 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 915744

[startup+25.6066 s]
/proc/loadavg: 2.05 2.04 2.01 3/100 13765
/proc/meminfo: memFree=1146688/2055924 swapFree=4165736/4192956
[pid=13757] ppid=13755 vsize=915744 CPUtime=25.34
/proc/13757/stat : 13757 (java) R 13755 13757 12993 0 -1 0 33689 0 1 0 2516 18 0 0 25 0 8 0 270779653 937721856 33419 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073828966 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13757/statm: 228936 33419 2181 14 0 215406 0
[pid=13757/tid=13759] ppid=13755 vsize=915744 CPUtime=0.33
/proc/13757/task/13759/stat : 13759 (java) S 13755 13757 12993 0 -1 64 17045 0 0 0 28 5 0 0 16 0 8 0 270779657 937721856 33419 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13757/tid=13760] ppid=13755 vsize=915744 CPUtime=0
/proc/13757/task/13760/stat : 13760 (java) S 13755 13757 12993 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270779658 937721856 33419 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13757/tid=13761] ppid=13755 vsize=915744 CPUtime=0
/proc/13757/task/13761/stat : 13761 (java) S 13755 13757 12993 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270779658 937721856 33419 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13757/tid=13762] ppid=13755 vsize=915744 CPUtime=0
/proc/13757/task/13762/stat : 13762 (java) S 13755 13757 12993 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270779662 937721856 33419 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13757/tid=13763] ppid=13755 vsize=915744 CPUtime=0.19
/proc/13757/task/13763/stat : 13763 (java) S 13755 13757 12993 0 -1 64 425 0 0 0 19 0 0 0 16 0 8 0 270779662 937721856 33419 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13757/tid=13764] ppid=13755 vsize=915744 CPUtime=0
/proc/13757/task/13764/stat : 13764 (java) S 13755 13757 12993 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270779662 937721856 33419 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13757/tid=13765] ppid=13755 vsize=915744 CPUtime=0
/proc/13757/task/13765/stat : 13765 (java) S 13755 13757 12993 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270779662 937721856 33419 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.34
Current children cumulated vsize (KiB) 915744

[startup+51.2166 s]
/proc/loadavg: 2.03 2.04 2.01 3/100 13765
/proc/meminfo: memFree=1146688/2055924 swapFree=4165736/4192956
[pid=13757] ppid=13755 vsize=915744 CPUtime=50.71
/proc/13757/stat : 13757 (java) R 13755 13757 12993 0 -1 0 33696 0 1 0 5052 19 0 0 25 0 8 0 270779653 937721856 33425 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073830823 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13757/statm: 228936 33425 2182 14 0 215406 0
[pid=13757/tid=13759] ppid=13755 vsize=915744 CPUtime=0.33
/proc/13757/task/13759/stat : 13759 (java) S 13755 13757 12993 0 -1 64 17045 0 0 0 28 5 0 0 16 0 8 0 270779657 937721856 33425 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13757/tid=13760] ppid=13755 vsize=915744 CPUtime=0
/proc/13757/task/13760/stat : 13760 (java) S 13755 13757 12993 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270779658 937721856 33425 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13757/tid=13761] ppid=13755 vsize=915744 CPUtime=0
/proc/13757/task/13761/stat : 13761 (java) S 13755 13757 12993 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270779658 937721856 33425 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13757/tid=13762] ppid=13755 vsize=915744 CPUtime=0
/proc/13757/task/13762/stat : 13762 (java) S 13755 13757 12993 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270779662 937721856 33425 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13757/tid=13763] ppid=13755 vsize=915744 CPUtime=0.19
/proc/13757/task/13763/stat : 13763 (java) S 13755 13757 12993 0 -1 64 430 0 0 0 19 0 0 0 16 0 8 0 270779662 937721856 33425 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13757/tid=13764] ppid=13755 vsize=915744 CPUtime=0
/proc/13757/task/13764/stat : 13764 (java) S 13755 13757 12993 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270779662 937721856 33425 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13757/tid=13765] ppid=13755 vsize=915744 CPUtime=0
/proc/13757/task/13765/stat : 13765 (java) S 13755 13757 12993 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270779662 937721856 33425 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 915744

[startup+102.438 s]
/proc/loadavg: 2.01 2.03 2.00 3/100 13765
/proc/meminfo: memFree=1096192/2055924 swapFree=4165736/4192956
[pid=13757] ppid=13755 vsize=915744 CPUtime=101.46
/proc/13757/stat : 13757 (java) R 13755 13757 12993 0 -1 0 46692 0 1 0 10117 29 0 0 25 0 8 0 270779653 937721856 46361 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074005814 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13757/statm: 228936 46361 2501 14 0 215406 0
[pid=13757/tid=13759] ppid=13755 vsize=915744 CPUtime=1.36
/proc/13757/task/13759/stat : 13759 (java) S 13755 13757 12993 0 -1 64 29652 0 0 0 125 11 0 0 16 0 8 0 270779657 937721856 46361 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13757/tid=13760] ppid=13755 vsize=915744 CPUtime=0
/proc/13757/task/13760/stat : 13760 (java) S 13755 13757 12993 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270779658 937721856 46361 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13757/tid=13761] ppid=13755 vsize=915744 CPUtime=0
/proc/13757/task/13761/stat : 13761 (java) S 13755 13757 12993 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270779658 937721856 46361 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13757/tid=13762] ppid=13755 vsize=915744 CPUtime=0
/proc/13757/task/13762/stat : 13762 (java) S 13755 13757 12993 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270779662 937721856 46361 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13757/tid=13763] ppid=13755 vsize=915744 CPUtime=0.26
/proc/13757/task/13763/stat : 13763 (java) S 13755 13757 12993 0 -1 64 468 0 0 0 25 1 0 0 15 0 8 0 270779662 937721856 46361 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13757/tid=13764] ppid=13755 vsize=915744 CPUtime=0
/proc/13757/task/13764/stat : 13764 (java) S 13755 13757 12993 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270779662 937721856 46361 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13757/tid=13765] ppid=13755 vsize=915744 CPUtime=0
/proc/13757/task/13765/stat : 13765 (java) S 13755 13757 12993 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270779662 937721856 46361 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.46
Current children cumulated vsize (KiB) 915744

[startup+162.515 s]
/proc/loadavg: 2.00 2.02 2.00 3/100 13765
/proc/meminfo: memFree=1096128/2055924 swapFree=4165736/4192956
[pid=13757] ppid=13755 vsize=915744 CPUtime=160.97
/proc/13757/stat : 13757 (java) R 13755 13757 12993 0 -1 0 46694 0 1 0 16066 31 0 0 25 0 8 0 270779653 937721856 46362 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073995430 0 4 0 23759 18446744073709551615 0 0 17 1 0 0

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

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

[startup+2084.83 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 13859
/proc/meminfo: memFree=740600/2055924 swapFree=4165736/4192956
[pid=13757] ppid=13755 vsize=915976 CPUtime=2076.01
/proc/13757/stat : 13757 (java) R 13755 13757 12993 0 -1 0 135578 0 1 0 207508 93 0 0 25 0 8 0 270779653 937959424 135231 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073828744 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13757/statm: 228994 135231 2546 14 0 215464 0
[pid=13757/tid=13759] ppid=13755 vsize=915976 CPUtime=2.14
/proc/13757/task/13759/stat : 13759 (java) S 13755 13757 12993 0 -1 64 118304 0 0 0 171 43 0 0 16 0 8 0 270779657 937959424 135231 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13757/tid=13760] ppid=13755 vsize=915976 CPUtime=0
/proc/13757/task/13760/stat : 13760 (java) S 13755 13757 12993 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 270779658 937959424 135231 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13757/tid=13761] ppid=13755 vsize=915976 CPUtime=0
/proc/13757/task/13761/stat : 13761 (java) S 13755 13757 12993 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270779658 937959424 135231 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13757/tid=13762] ppid=13755 vsize=915976 CPUtime=0
/proc/13757/task/13762/stat : 13762 (java) S 13755 13757 12993 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270779662 937959424 135231 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13757/tid=13763] ppid=13755 vsize=915976 CPUtime=0.39
/proc/13757/task/13763/stat : 13763 (java) S 13755 13757 12993 0 -1 64 582 0 0 0 37 2 0 0 16 0 8 0 270779662 937959424 135231 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13757/tid=13764] ppid=13755 vsize=915976 CPUtime=0
/proc/13757/task/13764/stat : 13764 (java) S 13755 13757 12993 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270779662 937959424 135231 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13757/tid=13765] ppid=13755 vsize=915976 CPUtime=0
/proc/13757/task/13765/stat : 13765 (java) S 13755 13757 12993 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270779662 937959424 135231 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2076.01
Current children cumulated vsize (KiB) 915976

[startup+2144.89 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 13859
/proc/meminfo: memFree=740600/2055924 swapFree=4165736/4192956
[pid=13757] ppid=13755 vsize=915976 CPUtime=2136.01
/proc/13757/stat : 13757 (java) R 13755 13757 12993 0 -1 0 135578 0 1 0 213508 93 0 0 25 0 8 0 270779653 937959424 135231 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073828933 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13757/statm: 228994 135231 2546 14 0 215464 0
[pid=13757/tid=13759] ppid=13755 vsize=915976 CPUtime=2.14
/proc/13757/task/13759/stat : 13759 (java) S 13755 13757 12993 0 -1 64 118304 0 0 0 171 43 0 0 16 0 8 0 270779657 937959424 135231 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13757/tid=13760] ppid=13755 vsize=915976 CPUtime=0
/proc/13757/task/13760/stat : 13760 (java) S 13755 13757 12993 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 270779658 937959424 135231 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13757/tid=13761] ppid=13755 vsize=915976 CPUtime=0
/proc/13757/task/13761/stat : 13761 (java) S 13755 13757 12993 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270779658 937959424 135231 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13757/tid=13762] ppid=13755 vsize=915976 CPUtime=0
/proc/13757/task/13762/stat : 13762 (java) S 13755 13757 12993 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270779662 937959424 135231 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13757/tid=13763] ppid=13755 vsize=915976 CPUtime=0.39
/proc/13757/task/13763/stat : 13763 (java) S 13755 13757 12993 0 -1 64 582 0 0 0 37 2 0 0 16 0 8 0 270779662 937959424 135231 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13757/tid=13764] ppid=13755 vsize=915976 CPUtime=0
/proc/13757/task/13764/stat : 13764 (java) S 13755 13757 12993 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270779662 937959424 135231 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13757/tid=13765] ppid=13755 vsize=915976 CPUtime=0
/proc/13757/task/13765/stat : 13765 (java) S 13755 13757 12993 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270779662 937959424 135231 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2136.01
Current children cumulated vsize (KiB) 915976

[startup+2204.94 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 13859
/proc/meminfo: memFree=740600/2055924 swapFree=4165736/4192956
[pid=13757] ppid=13755 vsize=915976 CPUtime=2195.98
/proc/13757/stat : 13757 (java) R 13755 13757 12993 0 -1 0 135578 0 1 0 219505 93 0 0 25 0 8 0 270779653 937959424 135231 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073828966 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13757/statm: 228994 135231 2546 14 0 215464 0
[pid=13757/tid=13759] ppid=13755 vsize=915976 CPUtime=2.14
/proc/13757/task/13759/stat : 13759 (java) S 13755 13757 12993 0 -1 64 118304 0 0 0 171 43 0 0 16 0 8 0 270779657 937959424 135231 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13757/tid=13760] ppid=13755 vsize=915976 CPUtime=0
/proc/13757/task/13760/stat : 13760 (java) S 13755 13757 12993 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 270779658 937959424 135231 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13757/tid=13761] ppid=13755 vsize=915976 CPUtime=0
/proc/13757/task/13761/stat : 13761 (java) S 13755 13757 12993 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270779658 937959424 135231 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13757/tid=13762] ppid=13755 vsize=915976 CPUtime=0
/proc/13757/task/13762/stat : 13762 (java) S 13755 13757 12993 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270779662 937959424 135231 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13757/tid=13763] ppid=13755 vsize=915976 CPUtime=0.39
/proc/13757/task/13763/stat : 13763 (java) S 13755 13757 12993 0 -1 64 582 0 0 0 37 2 0 0 16 0 8 0 270779662 937959424 135231 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13757/tid=13764] ppid=13755 vsize=915976 CPUtime=0
/proc/13757/task/13764/stat : 13764 (java) S 13755 13757 12993 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270779662 937959424 135231 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13757/tid=13765] ppid=13755 vsize=915976 CPUtime=0
/proc/13757/task/13765/stat : 13765 (java) S 13755 13757 12993 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270779662 937959424 135231 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2195.98
Current children cumulated vsize (KiB) 915976

[startup+2265.02 s]
/proc/loadavg: 2.00 2.00 2.00 3/106 14017
/proc/meminfo: memFree=739272/2055924 swapFree=4165736/4192956
[pid=13757] ppid=13755 vsize=915976 CPUtime=2255.93
/proc/13757/stat : 13757 (java) R 13755 13757 12993 0 -1 0 135578 0 1 0 225497 96 0 0 25 0 8 0 270779653 937959424 135231 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073835111 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13757/statm: 228994 135231 2546 14 0 215464 0
[pid=13757/tid=13759] ppid=13755 vsize=915976 CPUtime=2.14
/proc/13757/task/13759/stat : 13759 (java) S 13755 13757 12993 0 -1 64 118304 0 0 0 171 43 0 0 16 0 8 0 270779657 937959424 135231 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13757/tid=13760] ppid=13755 vsize=915976 CPUtime=0
/proc/13757/task/13760/stat : 13760 (java) S 13755 13757 12993 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 270779658 937959424 135231 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13757/tid=13761] ppid=13755 vsize=915976 CPUtime=0
/proc/13757/task/13761/stat : 13761 (java) S 13755 13757 12993 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270779658 937959424 135231 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13757/tid=13762] ppid=13755 vsize=915976 CPUtime=0
/proc/13757/task/13762/stat : 13762 (java) S 13755 13757 12993 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270779662 937959424 135231 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13757/tid=13763] ppid=13755 vsize=915976 CPUtime=0.39
/proc/13757/task/13763/stat : 13763 (java) S 13755 13757 12993 0 -1 64 582 0 0 0 37 2 0 0 16 0 8 0 270779662 937959424 135231 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13757/tid=13764] ppid=13755 vsize=915976 CPUtime=0
/proc/13757/task/13764/stat : 13764 (java) S 13755 13757 12993 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270779662 937959424 135231 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13757/tid=13765] ppid=13755 vsize=915976 CPUtime=0
/proc/13757/task/13765/stat : 13765 (java) S 13755 13757 12993 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270779662 937959424 135231 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2255.93
Current children cumulated vsize (KiB) 915976

[startup+2325.09 s]
/proc/loadavg: 2.06 2.02 2.00 3/100 14057
/proc/meminfo: memFree=740344/2055924 swapFree=4165736/4192956
[pid=13757] ppid=13755 vsize=915976 CPUtime=2315.93
/proc/13757/stat : 13757 (java) R 13755 13757 12993 0 -1 0 135578 0 1 0 231495 98 0 0 25 0 8 0 270779653 937959424 135231 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073830823 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13757/statm: 228994 135231 2546 14 0 215464 0
[pid=13757/tid=13759] ppid=13755 vsize=915976 CPUtime=2.14
/proc/13757/task/13759/stat : 13759 (java) S 13755 13757 12993 0 -1 64 118304 0 0 0 171 43 0 0 16 0 8 0 270779657 937959424 135231 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13757/tid=13760] ppid=13755 vsize=915976 CPUtime=0
/proc/13757/task/13760/stat : 13760 (java) S 13755 13757 12993 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 270779658 937959424 135231 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13757/tid=13761] ppid=13755 vsize=915976 CPUtime=0
/proc/13757/task/13761/stat : 13761 (java) S 13755 13757 12993 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270779658 937959424 135231 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13757/tid=13762] ppid=13755 vsize=915976 CPUtime=0
/proc/13757/task/13762/stat : 13762 (java) S 13755 13757 12993 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270779662 937959424 135231 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13757/tid=13763] ppid=13755 vsize=915976 CPUtime=0.39
/proc/13757/task/13763/stat : 13763 (java) S 13755 13757 12993 0 -1 64 582 0 0 0 37 2 0 0 16 0 8 0 270779662 937959424 135231 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13757/tid=13764] ppid=13755 vsize=915976 CPUtime=0
/proc/13757/task/13764/stat : 13764 (java) S 13755 13757 12993 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270779662 937959424 135231 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13757/tid=13765] ppid=13755 vsize=915976 CPUtime=0
/proc/13757/task/13765/stat : 13765 (java) S 13755 13757 12993 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270779662 937959424 135231 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2315.93
Current children cumulated vsize (KiB) 915976

[startup+2385.15 s]
/proc/loadavg: 2.02 2.01 2.00 3/100 14057
/proc/meminfo: memFree=740344/2055924 swapFree=4165736/4192956
[pid=13757] ppid=13755 vsize=915976 CPUtime=2375.93
/proc/13757/stat : 13757 (java) R 13755 13757 12993 0 -1 0 135578 0 1 0 237494 99 0 0 25 0 8 0 270779653 937959424 135231 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073830112 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13757/statm: 228994 135231 2546 14 0 215464 0
[pid=13757/tid=13759] ppid=13755 vsize=915976 CPUtime=2.14
/proc/13757/task/13759/stat : 13759 (java) S 13755 13757 12993 0 -1 64 118304 0 0 0 171 43 0 0 16 0 8 0 270779657 937959424 135231 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13757/tid=13760] ppid=13755 vsize=915976 CPUtime=0
/proc/13757/task/13760/stat : 13760 (java) S 13755 13757 12993 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 270779658 937959424 135231 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13757/tid=13761] ppid=13755 vsize=915976 CPUtime=0
/proc/13757/task/13761/stat : 13761 (java) S 13755 13757 12993 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270779658 937959424 135231 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13757/tid=13762] ppid=13755 vsize=915976 CPUtime=0
/proc/13757/task/13762/stat : 13762 (java) S 13755 13757 12993 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270779662 937959424 135231 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13757/tid=13763] ppid=13755 vsize=915976 CPUtime=0.39
/proc/13757/task/13763/stat : 13763 (java) S 13755 13757 12993 0 -1 64 582 0 0 0 37 2 0 0 16 0 8 0 270779662 937959424 135231 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13757/tid=13764] ppid=13755 vsize=915976 CPUtime=0
/proc/13757/task/13764/stat : 13764 (java) S 13755 13757 12993 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270779662 937959424 135231 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13757/tid=13765] ppid=13755 vsize=915976 CPUtime=0
/proc/13757/task/13765/stat : 13765 (java) S 13755 13757 12993 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270779662 937959424 135231 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2375.93
Current children cumulated vsize (KiB) 915976



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2409.33 s]
/proc/loadavg: 2.01 2.01 2.00 3/100 14057
/proc/meminfo: memFree=740344/2055924 swapFree=4165736/4192956
[pid=13757] ppid=13755 vsize=915976 CPUtime=2400.09
/proc/13757/stat : 13757 (java) R 13755 13757 12993 0 -1 0 135578 0 1 0 239910 99 0 0 25 0 8 0 270779653 937959424 135231 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073835232 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13757/statm: 228994 135231 2546 14 0 215464 0
[pid=13757/tid=13759] ppid=13755 vsize=915976 CPUtime=2.14
/proc/13757/task/13759/stat : 13759 (java) S 13755 13757 12993 0 -1 64 118304 0 0 0 171 43 0 0 16 0 8 0 270779657 937959424 135231 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13757/tid=13760] ppid=13755 vsize=915976 CPUtime=0
/proc/13757/task/13760/stat : 13760 (java) S 13755 13757 12993 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 270779658 937959424 135231 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13757/tid=13761] ppid=13755 vsize=915976 CPUtime=0
/proc/13757/task/13761/stat : 13761 (java) S 13755 13757 12993 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270779658 937959424 135231 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13757/tid=13762] ppid=13755 vsize=915976 CPUtime=0
/proc/13757/task/13762/stat : 13762 (java) S 13755 13757 12993 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270779662 937959424 135231 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13757/tid=13763] ppid=13755 vsize=915976 CPUtime=0.39
/proc/13757/task/13763/stat : 13763 (java) S 13755 13757 12993 0 -1 64 582 0 0 0 37 2 0 0 16 0 8 0 270779662 937959424 135231 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13757/tid=13764] ppid=13755 vsize=915976 CPUtime=0
/proc/13757/task/13764/stat : 13764 (java) S 13755 13757 12993 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270779662 937959424 135231 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13757/tid=13765] ppid=13755 vsize=915976 CPUtime=0
/proc/13757/task/13765/stat : 13765 (java) S 13755 13757 12993 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270779662 937959424 135231 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2400.09
Current children cumulated vsize (KiB) 915976

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

Child status: 143
Real time (s): 2409.46
CPU time (s): 2400.22
CPU user time (s): 2399.15
CPU system time (s): 1.06884
CPU usage (%): 99.6164
Max. virtual memory (cumulated for all children) (KiB): 915996

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.15
system time used= 1.06884
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 135603
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= 50429
involuntary context switches= 96062

runsolver used 3.35649 s user time and 7.43187 s system time

The end

Launcher Data (download as text)

Begin job on node6 on Fri Jan 19 16:24:02 UTC 2007


IDJOB= 275601
IDBENCH= 4146
IDSOLVER= 69
FILE ID= node6/275601-1169223841

PBS_JOBID= 3588939

Free space on /tmp= 66555 MiB

SOLVER NAME= AbsconMax 109 PFC
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 pfc.xml 1 XSax /tmp/evaluation/275601-1169223841/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node6/watcher-275601-1169223841 -o ROOT/results/node6/solver-275601-1169223841 -C 2400 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/275601-1169223841/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  0681a81c96eee827f8a36aac50fcc9e4

RANDOM SEED= 421440684

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.240
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.240
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055924 kB
MemFree:       1272472 kB
Buffers:         59024 kB
Cached:         577768 kB
SwapCached:       2476 kB
Active:         288064 kB
Inactive:       413296 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055924 kB
LowFree:       1272472 kB
SwapTotal:     4192956 kB
SwapFree:      4165736 kB
Dirty:            7684 kB
Writeback:           0 kB
Mapped:          84260 kB
Slab:            66760 kB
Committed_AS:  8818800 kB
PageTables:       2476 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= 66555 MiB



End job on node6 on Fri Jan 19 17:04:12 UTC 2007