Trace number 275591

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds, and are wall clock time (not CPU time).

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
AbsconMax 109 EPFCMSAT (TO) 2400.21 2421.11

General information on the benchmark

Namefapp/fapp36-40/fapp37/
fapp37-2250-0.xml
MD5SUM82b2049137acde119d642358846e7753
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkMSAT TO
Best Number of satisfied constraints36092
Best CPU time to get the best result obtained on this benchmark2400.18
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=epfc.xml
0.35	   
0.35	   instance
0.35	     name=/tmp/evaluation/275591-1169223762/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.581  cpuTime=0.4  mem=46M738
0.90	   
0.90	   predicates being loaded...
0.90	   
0.90	   constraints being loaded...
61.33	   
61.33	   INFO : Stopping converting binary constraints (cpu=60.01, mem = 107M763)
65.32	     nbConstraints=42699  nbConvertedConstraints=326  nbConvertConstraintsChecks=186788976  nbExtensionStructures=312
65.32	     nbSharedExtensionStructures=14  nbConflictsStructures=312  nbSharedConflictsStructures=14
65.32	     nbSharedBinaryRepresentations=395105  nbEvaluationManagers=21109  nbSharedEvaluationManagers=21264  maxDegree=136
65.32	     maxArity=2
65.32	       =>  wckTime=65.005  cpuTime=63.26  mem=143M841
65.76	   
65.76	   solver LocalSearchSolver being built... 
65.81	       =>  wckTime=65.489  cpuTime=63.31  mem=115M448
67.41	
67.41	s SATISFIABLE
67.41	o 30892
67.41	c 11807
68.52	o 30910
68.52	c 11789
69.15	o 30928
69.15	c 11771
69.68	o 30943
69.68	c 11756
70.03	o 30953
70.03	c 11746
70.40	o 30968
70.40	c 11731
70.88	o 30985
70.88	c 11714
71.24	o 31000
71.24	c 11699
71.69	o 31015
71.69	c 11684
72.03	o 31028
72.03	c 11671
72.40	o 31041
72.40	c 11658
72.82	o 31047
72.82	c 11652
73.19	o 31062
73.19	c 11637
73.37	o 31070
73.37	c 11629
73.78	o 31089
73.78	c 11610
74.15	o 31108
74.15	c 11591
74.51	o 31113
74.51	c 11586
74.99	o 31119
74.99	c 11580
75.31	o 31132
75.31	c 11567
75.64	o 31143
75.64	c 11556
76.11	o 31159
76.11	c 11540
76.58	o 31173
76.58	c 11526
76.96	o 31184
76.96	c 11515
77.30	o 31201
77.30	c 11498
77.64	o 31202
77.64	c 11497
78.00	o 31218
78.00	c 11481
78.32	o 31233
78.32	c 11466
78.53	o 31243
78.53	c 11456
78.83	o 31258
78.83	c 11441
79.13	o 31269
79.13	c 11430
79.51	o 31285
79.51	c 11414
79.82	o 31297
79.82	c 11402
80.20	o 31317
80.20	c 11382
80.61	o 31323
80.61	c 11376
80.89	o 31333
80.89	c 11366
81.24	o 31338
81.24	c 11361
81.60	o 31346
81.60	c 11353
81.88	o 31357
81.88	c 11342
82.11	o 31368
82.11	c 11331
82.34	o 31382
82.34	c 11317
82.53	o 31386
82.53	c 11313
82.91	o 31398
82.91	c 11301
83.16	o 31409
83.16	c 11290
83.56	o 31411
83.56	c 11288
83.92	o 31418
83.93	c 11281
84.24	o 31430
84.24	c 11269
84.72	o 31436
84.72	c 11263
85.33	o 31450
85.33	c 11249
85.65	o 31451
85.65	c 11248
85.96	o 31458
85.96	c 11241
86.28	o 31466
86.28	c 11233
86.60	o 31474
86.60	c 11225
86.95	o 31485
86.95	c 11214
87.14	o 31489
87.14	c 11210
87.48	o 31494
87.48	c 11205
87.64	o 31507
87.64	c 11192
88.11	o 31518
88.11	c 11181
88.38	o 31531
88.38	c 11168
88.64	o 31533
88.64	c 11166
88.98	o 31551
88.98	c 11148
89.18	o 31560
89.18	c 11139
89.66	o 31566
89.66	c 11133
89.99	o 31572
89.99	c 11127
90.37	o 31574
90.37	c 11125
90.70	o 31585
90.70	c 11114
90.90	o 31589
90.90	c 11110
91.25	o 31590
91.25	c 11109
91.49	o 31591
91.49	c 11108
91.80	o 31603
91.80	c 11096
92.17	o 31606
92.17	c 11093
92.52	o 31616
92.52	c 11083
92.91	o 31622
92.91	c 11077
93.25	o 31634
93.25	c 11065
93.41	o 31647
93.41	c 11052
93.96	o 31651
93.96	c 11048
94.23	o 31663
94.23	c 11036
94.67	o 31668
94.67	c 11031
94.98	o 31674
94.98	c 11025
95.40	o 31679
95.40	c 11020
96.03	o 31689
96.03	c 11010
96.44	o 31700
96.44	c 10999
96.88	o 31711
96.88	c 10988
97.40	o 31714
97.40	c 10985
97.83	o 31721
97.83	c 10978
98.40	o 31728
98.40	c 10971
98.92	o 31736
98.92	c 10963
99.44	o 31739
99.44	c 10960
99.79	o 31750
99.79	c 10949
100.23	o 31757
100.23	c 10942
101.13	o 31760
101.13	c 10939
101.67	o 31768
101.67	c 10931
102.17	o 31771
102.17	c 10928
102.65	o 31786
102.65	c 10913
103.22	o 31792
103.22	c 10907
103.90	o 31795
103.90	c 10904
104.47	o 31803
104.47	c 10896
105.11	o 31812
105.11	c 10887
105.62	o 31823
105.62	c 10876
106.19	o 31838
106.19	c 10861
106.73	o 31841
106.73	c 10858
107.29	o 31847
107.29	c 10852
107.90	o 31852
107.90	c 10847
108.54	o 31869
108.54	c 10830
109.12	o 31871
109.12	c 10828
109.72	o 31875
109.72	c 10824
110.43	o 31878
110.43	c 10821
110.91	o 31884
110.91	c 10815
111.61	o 31888
111.61	c 10811
112.36	o 31893
112.36	c 10806
113.02	o 31903
113.02	c 10796
115.29	o 31906
115.29	c 10793
115.85	o 31907
115.85	c 10792
116.44	o 31924
116.45	c 10775
117.03	o 31931
117.03	c 10768
118.06	o 31937
118.06	c 10762
118.60	o 31940
118.60	c 10759
119.18	o 31943
119.18	c 10756
119.54	o 31949
119.54	c 10750
120.09	o 31957
120.09	c 10742
120.37	o 31958
120.37	c 10741
121.32	o 31962
121.32	c 10737
121.86	o 31973
121.86	c 10726
122.38	o 31976
122.38	c 10723
123.47	o 31982
123.47	c 10717
124.01	o 31989
124.01	c 10710
124.59	o 32009
124.59	c 10690
125.09	o 32013
125.09	c 10686
125.70	o 32022
125.70	c 10677
126.69	o 32027
126.69	c 10672
127.23	o 32033
127.23	c 10666
127.86	o 32035
127.86	c 10664
128.26	o 32040
128.26	c 10659
128.78	o 32042
128.78	c 10657
129.25	o 32045
129.25	c 10654
129.64	o 32046
129.64	c 10653
130.12	o 32051
130.12	c 10648
130.63	o 32058
130.63	c 10641
131.16	o 32062
131.16	c 10637
131.52	o 32065
131.52	c 10634
132.02	o 32077
132.02	c 10622
133.00	o 32080
133.00	c 10619
133.42	o 32092
133.43	c 10607
133.87	o 32105
133.87	c 10594
134.27	o 32119
134.27	c 10580
134.64	o 32128
134.64	c 10571
135.06	o 32132
135.06	c 10567
135.48	o 32141
135.48	c 10558
135.92	o 32145
135.92	c 10554
136.29	o 32155
136.29	c 10544
136.70	o 32164
136.70	c 10535
137.14	o 32171
137.14	c 10528
137.68	o 32183
137.68	c 10516
138.19	o 32186
138.19	c 10513
138.70	o 32187
138.70	c 10512
139.12	o 32188
139.12	c 10511
139.76	o 32197
139.76	c 10502
140.70	o 32198
140.70	c 10501
141.22	o 32206
141.22	c 10493
141.72	o 32208
141.72	c 10491
142.30	o 32209
142.30	c 10490
142.83	o 32215
142.83	c 10484
143.38	o 32218
143.38	c 10481
143.95	o 32223
143.95	c 10476
144.46	o 32224
144.46	c 10475
144.97	o 32229
144.97	c 10470
145.47	o 32241
145.48	c 10458
145.95	o 32245
145.95	c 10454
146.47	o 32254
146.47	c 10445
147.01	o 32261
147.01	c 10438
147.56	o 32267
147.56	c 10432
148.15	o 32273
148.15	c 10426
148.67	o 32278
148.67	c 10421
150.14	o 32280
150.14	c 10419
150.69	o 32282
150.69	c 10417
151.20	o 32284
151.20	c 10415
151.72	o 32294
151.72	c 10405
153.28	o 32296
153.28	c 10403
153.85	o 32297
153.85	c 10402
154.44	o 32309
154.44	c 10390
155.01	o 32313
155.01	c 10386
155.41	o 32315
155.41	c 10384
155.76	o 32316
155.76	c 10383
156.21	o 32317
156.21	c 10382
157.88	o 32329
157.88	c 10370
158.40	o 32340
158.40	c 10359
158.98	o 32350
158.98	c 10349
159.54	o 32355
159.54	c 10344
160.13	o 32358
160.13	c 10341
160.80	o 32359
160.80	c 10340
161.37	o 32364
161.37	c 10335
162.03	o 32377
162.03	c 10322
162.59	o 32381
162.59	c 10318
163.68	o 32390
163.68	c 10309
164.19	o 32398
164.19	c 10301
164.70	o 32405
164.70	c 10294
165.18	o 32420
165.18	c 10279
166.01	o 32425
166.01	c 10274
166.41	o 32432
166.41	c 10267
166.83	o 32441
166.83	c 10258
167.53	o 32447
167.53	c 10252
167.91	o 32462
167.91	c 10237
168.22	o 32473
168.22	c 10226
168.56	o 32482
168.56	c 10217
168.91	o 32491
168.91	c 10208
169.29	o 32499
169.29	c 10200
169.67	o 32506
169.67	c 10193
170.06	o 32513
170.06	c 10186
170.48	o 32520
170.48	c 10179
170.84	o 32527
170.84	c 10172
171.21	o 32534
171.21	c 10165
171.61	o 32540
171.61	c 10159
171.98	o 32546
171.98	c 10153
172.45	o 32551
172.45	c 10148
172.91	o 32556
172.91	c 10143
173.28	o 32560
173.28	c 10139
173.71	o 32562
173.71	c 10137
174.12	o 32566
174.12	c 10133
174.56	o 32570
174.56	c 10129
174.99	o 32571
174.99	c 10128
175.45	o 32574
175.45	c 10125
175.90	o 32577
175.90	c 10122
176.32	o 32584
176.32	c 10115
176.75	o 32587
176.75	c 10112
177.15	o 32599
177.15	c 10100
177.49	o 32601
177.49	c 10098
177.87	o 32603
177.87	c 10096
178.31	o 32619
178.31	c 10080
178.72	o 32623
178.72	c 10076
179.08	o 32625
179.08	c 10074
179.45	o 32627
179.45	c 10072
179.81	o 32629
179.81	c 10070
180.23	o 32631
180.23	c 10068
180.60	o 32633
180.60	c 10066
181.01	o 32635
181.01	c 10064
181.36	o 32636
181.36	c 10063
181.74	o 32637
181.74	c 10062
182.08	o 32638
182.08	c 10061
182.44	o 32639
182.44	c 10060
182.80	o 32640
182.80	c 10059
183.17	o 32641
183.17	c 10058
184.80	o 32642
184.80	c 10057
185.65	o 32656
185.65	c 10043
186.48	o 32664
186.48	c 10035
187.34	o 32665
187.34	c 10034
188.39	o 32666
188.39	c 10033
188.90	o 32671
188.90	c 10028
189.37	o 32683
189.37	c 10016
189.83	o 32684
189.83	c 10015
190.45	o 32689
190.45	c 10010
190.97	o 32697
190.97	c 10002
192.27	o 32705
192.27	c 9994
192.93	o 32708
192.93	c 9991
193.54	o 32711
193.54	c 9988
194.16	o 32722
194.16	c 9977
194.64	o 32726
194.64	c 9973
195.61	o 32729
195.61	c 9970
196.15	o 32734
196.15	c 9965
196.57	o 32735
196.57	c 9964
197.05	o 32738
197.05	c 9961
197.56	o 32745
197.56	c 9954
198.04	o 32747
198.04	c 9952
198.54	o 32753
198.54	c 9946
199.00	o 32759
199.00	c 9940
199.54	o 32765
199.54	c 9934
200.10	o 32773
200.10	c 9926
200.55	o 32778
200.55	c 9921
201.00	o 32781
201.00	c 9918
201.48	o 32784
201.48	c 9915
201.90	o 32786
201.90	c 9913
202.31	o 32794
202.31	c 9905
202.77	o 32796
202.77	c 9903
203.21	o 32798
203.21	c 9901
203.82	o 32799
203.82	c 9900
204.34	o 32803
204.34	c 9896
204.77	o 32804
204.77	c 9895
205.20	o 32805
205.20	c 9894
205.59	o 32806
205.59	c 9893
208.97	o 32812
208.97	c 9887
209.48	o 32821
209.48	c 9878
210.06	o 32824
210.06	c 9875
210.64	o 32832
210.64	c 9867
211.28	o 32836
211.28	c 9863
212.49	o 32841
212.49	c 9858
213.06	o 32844
213.06	c 9855
213.61	o 32854
213.61	c 9845
214.73	o 32868
214.73	c 9831
215.31	o 32876
215.31	c 9823
215.84	o 32877
215.84	c 9822
216.36	o 32879
216.36	c 9820
216.91	o 32889
216.91	c 9810
217.46	o 32900
217.46	c 9799
218.10	o 32902
218.10	c 9797
221.44	o 32904
221.44	c 9795
222.08	o 32917
222.08	c 9782
222.61	o 32928
222.61	c 9771
223.14	o 32932
223.14	c 9767
223.70	o 32934
223.70	c 9765
224.34	o 32945
224.34	c 9754
224.86	o 32947
224.86	c 9752
225.49	o 32955
225.49	c 9744
226.14	o 32966
226.14	c 9733
226.75	o 32972
226.75	c 9727
227.38	o 32977
227.38	c 9722
228.01	o 32982
228.01	c 9717
228.66	o 32986
228.66	c 9713
229.26	o 32990
229.26	c 9709
229.92	o 32994
229.92	c 9705
230.54	o 32997
230.54	c 9702
231.18	o 33000
231.18	c 9699
231.88	o 33003
231.88	c 9696
233.04	o 33005
233.04	c 9694
233.60	o 33016
233.61	c 9683
234.19	o 33019
234.19	c 9680
234.75	o 33022
234.75	c 9677
235.31	o 33031
235.31	c 9668
235.83	o 33034
235.83	c 9665
236.40	o 33036
236.40	c 9663
236.92	o 33038
236.92	c 9661
237.42	o 33040
237.42	c 9659
238.00	o 33042
238.00	c 9657
238.62	o 33044
238.62	c 9655
239.18	o 33046
239.18	c 9653
239.69	o 33058
239.69	c 9641
240.25	o 33063
240.25	c 9636
240.81	o 33065
240.81	c 9634
241.38	o 33066
241.38	c 9633
241.93	o 33067
241.93	c 9632
243.81	o 33072
243.81	c 9627
244.30	o 33080
244.30	c 9619
244.81	o 33086
244.81	c 9613
247.57	o 33091
247.57	c 9608
248.13	o 33100
248.13	c 9599
248.76	o 33108
248.76	c 9591
249.37	o 33118
249.37	c 9581
250.04	o 33120
250.04	c 9579
250.62	o 33137
250.62	c 9562
251.99	o 33147
251.99	c 9552
252.54	o 33149
252.54	c 9550
253.08	o 33154
253.08	c 9545
253.62	o 33157
253.62	c 9542
254.16	o 33160
254.16	c 9539
254.76	o 33164
254.76	c 9535
255.28	o 33166
255.28	c 9533
256.54	o 33170
256.54	c 9529
257.21	o 33175
257.21	c 9524
257.85	o 33177
257.85	c 9522
258.52	o 33190
258.52	c 9509
259.83	o 33198
259.83	c 9501
260.46	o 33211
260.46	c 9488
262.27	o 33213
262.27	c 9486
262.83	o 33218
262.83	c 9481
263.32	o 33227
263.32	c 9472
263.77	o 33228
263.77	c 9471
264.27	o 33229
264.27	c 9470
264.78	o 33230
264.78	c 9469
265.30	o 33236
265.30	c 9463
265.82	o 33242
265.82	c 9457
266.31	o 33259
266.31	c 9440
266.80	o 33263
266.80	c 9436
267.26	o 33269
267.26	c 9430
268.08	o 33273
268.08	c 9426
268.42	o 33277
268.42	c 9422
268.88	o 33279
268.88	c 9420
269.84	o 33280
269.84	c 9419
270.39	o 33287
270.39	c 9412
270.96	o 33294
270.96	c 9405
271.46	o 33300
271.46	c 9399
271.99	o 33305
271.99	c 9394
272.54	o 33313
272.54	c 9386
273.09	o 33317
273.09	c 9382
273.56	o 33321
273.56	c 9378
274.08	o 33325
274.08	c 9374
274.56	o 33328
274.56	c 9371
275.03	o 33331
275.03	c 9368
275.51	o 33337
275.51	c 9362
276.04	o 33346
276.04	c 9353
276.54	o 33349
276.54	c 9350
277.01	o 33352
277.01	c 9347
277.55	o 33354
277.55	c 9345
278.09	o 33356
278.09	c 9343
278.66	o 33358
278.66	c 9341
279.24	o 33362
279.24	c 9337
279.79	o 33364
279.79	c 9335
280.31	o 33366
280.31	c 9333
280.88	o 33368
280.88	c 9331
281.44	o 33370
281.44	c 9329
281.99	o 33372
281.99	c 9327
282.48	o 33374
282.48	c 9325
283.05	o 33376
283.05	c 9323
283.61	o 33377
283.61	c 9322
284.17	o 33378
284.17	c 9321
285.69	o 33379
285.69	c 9320
286.24	o 33380
286.24	c 9319
286.71	o 33381
286.71	c 9318
287.26	o 33382
287.26	c 9317
287.79	o 33383
287.79	c 9316
289.38	o 33399
289.38	c 9300
292.03	o 33401
292.03	c 9298
292.59	o 33412
292.59	c 9287
293.10	o 33419
293.10	c 9280
293.58	o 33423
293.58	c 9276
294.12	o 33429
294.12	c 9270
294.69	o 33430
294.69	c 9269
295.82	o 33438
295.82	c 9261
296.39	o 33439
296.39	c 9260
296.94	o 33446
296.94	c 9253
297.48	o 33448
297.48	c 9251
298.07	o 33453
298.07	c 9246
298.61	o 33458
298.61	c 9241
299.26	o 33462
299.26	c 9237
299.91	o 33473
299.91	c 9226
300.47	o 33483
300.47	c 9216
301.08	o 33486
301.08	c 9213
301.62	o 33494
301.62	c 9205
302.18	o 33495
302.18	c 9204
302.84	o 33503
302.84	c 9196
303.38	o 33508
303.39	c 9191
303.99	o 33510
303.99	c 9189
304.64	o 33514
304.64	c 9185
305.82	o 33520
305.82	c 9179
306.41	o 33522
306.41	c 9177
307.01	o 33525
307.01	c 9174
308.89	o 33527
308.89	c 9172
309.55	o 33535
309.55	c 9164
310.23	o 33536
310.23	c 9163
310.93	o 33537
310.93	c 9162
311.77	o 33543
311.77	c 9156
312.44	o 33547
312.44	c 9152
313.13	o 33549
313.13	c 9150
313.83	o 33552
313.83	c 9147
314.43	o 33559
314.43	c 9140
315.04	o 33565
315.04	c 9134
316.35	o 33566
316.35	c 9133
316.97	o 33570
316.97	c 9129
317.65	o 33573
317.65	c 9126
318.30	o 33581
318.30	c 9118
318.94	o 33596
318.94	c 9103
319.47	o 33598
319.47	c 9101
320.05	o 33608
320.05	c 9091
320.64	o 33611
320.64	c 9088
321.66	o 33619
321.66	c 9080
322.21	o 33623
322.21	c 9076
322.87	o 33630
322.87	c 9069
323.46	o 33640
323.46	c 9059
324.02	o 33647
324.02	c 9052
324.58	o 33648
324.58	c 9051
325.19	o 33650
325.19	c 9049
325.80	o 33652
325.80	c 9047
328.29	o 33658
328.29	c 9041
328.90	o 33663
328.90	c 9036
329.61	o 33669
329.61	c 9030
330.39	o 33673
330.39	c 9026
331.13	o 33677
331.13	c 9022
331.85	o 33688
331.85	c 9011
332.63	o 33689
332.63	c 9010
333.38	o 33696
333.38	c 9003
334.11	o 33704
334.11	c 8995
334.87	o 33707
334.87	c 8992
336.42	o 33711
336.42	c 8988
337.16	o 33716
337.16	c 8983
337.88	o 33720
337.88	c 8979
338.63	o 33726
338.63	c 8973
339.36	o 33729
339.36	c 8970
340.10	o 33732
340.10	c 8967
341.64	o 33742
341.64	c 8957
342.26	o 33743
342.26	c 8956
342.98	o 33745
342.98	c 8954
343.66	o 33747
343.66	c 8952
345.79	o 33748
345.79	c 8951
346.51	o 33749
346.51	c 8950
347.24	o 33750
347.24	c 8949
347.96	o 33751
347.96	c 8948
348.75	o 33761
348.75	c 8938
349.61	o 33762
349.61	c 8937
350.33	o 33763
350.33	c 8936
351.01	o 33764
351.01	c 8935
351.88	o 33765
351.88	c 8934
354.83	o 33766
354.83	c 8933
355.53	o 33769
355.53	c 8930
356.28	o 33774
356.28	c 8925
357.08	o 33783
357.08	c 8916
357.80	o 33789
357.80	c 8910
358.52	o 33791
358.52	c 8908
359.29	o 33793
359.29	c 8906
360.04	o 33796
360.04	c 8903
360.84	o 33802
360.84	c 8897
361.54	o 33805
361.54	c 8894
362.29	o 33807
362.29	c 8892
363.00	o 33816
363.00	c 8883
364.47	o 33818
364.47	c 8881
365.10	o 33820
365.10	c 8879
365.87	o 33828
365.87	c 8871
366.51	o 33832
366.51	c 8867
367.14	o 33833
367.14	c 8866
367.86	o 33842
367.86	c 8857
368.56	o 33847
368.56	c 8852
369.37	o 33848
369.37	c 8851
370.06	o 33857
370.06	c 8842
370.79	o 33860
370.79	c 8839
372.27	o 33867
372.27	c 8832
372.97	o 33869
372.97	c 8830
373.71	o 33874
373.71	c 8825
374.47	o 33883
374.47	c 8816
375.26	o 33891
375.26	c 8808
376.78	o 33899
376.78	c 8800
377.57	o 33902
377.57	c 8797
378.41	o 33908
378.41	c 8791
379.21	o 33916
379.21	c 8783
380.02	o 33919
380.02	c 8780
380.88	o 33922
380.88	c 8777
381.70	o 33930
381.70	c 8769
382.58	o 33937
382.58	c 8762
384.09	o 33943
384.09	c 8756
385.68	o 33946
385.68	c 8753
386.49	o 33954
386.49	c 8745
387.29	o 33959
387.29	c 8740
388.12	o 33967
388.12	c 8732
393.34	o 33968
393.34	c 8731
395.13	o 33973
395.13	c 8726
396.10	o 33976
396.10	c 8723
397.04	o 33980
397.04	c 8719
397.89	o 33984
397.89	c 8715
398.77	o 33985
398.77	c 8714
399.74	o 33987
399.74	c 8712
401.55	o 33992
401.55	c 8707
402.43	o 34000
402.43	c 8699
403.26	o 34003
403.26	c 8696
404.17	o 34008
404.17	c 8691
405.80	o 34015
405.80	c 8684
406.72	o 34017
406.72	c 8682
407.62	o 34025
407.62	c 8674
408.55	o 34034
408.55	c 8665
409.38	o 34044
409.38	c 8655
410.14	o 34046
410.14	c 8653
410.90	o 34051
410.90	c 8648
411.72	o 34058
411.72	c 8641
413.29	o 34060
413.29	c 8639
414.02	o 34061
414.02	c 8638
414.81	o 34063
414.81	c 8636
415.58	o 34065
415.58	c 8634
416.33	o 34077
416.33	c 8622
417.05	o 34080
417.05	c 8619
417.84	o 34083
417.84	c 8616
418.63	o 34087
418.63	c 8612
419.36	o 34088
419.36	c 8611
420.17	o 34092
420.17	c 8607
420.96	o 34105
420.96	c 8594
421.76	o 34116
421.76	c 8583
422.51	o 34117
422.51	c 8582
423.25	o 34119
423.25	c 8580
424.02	o 34123
424.02	c 8576
424.80	o 34129
424.80	c 8570
425.62	o 34133
425.62	c 8566
426.38	o 34135
426.38	c 8564
427.17	o 34137
427.17	c 8562
427.95	o 34139
427.95	c 8560
428.71	o 34140
428.71	c 8559
429.53	o 34141
429.53	c 8558
431.11	o 34150
431.11	c 8549
438.46	o 34155
438.46	c 8544
440.41	o 34156
440.41	c 8543
441.84	o 34164
441.84	c 8535
442.47	o 34168
442.47	c 8531
443.20	o 34177
443.20	c 8522
445.18	o 34181
445.18	c 8518
445.79	o 34182
445.79	c 8517
447.14	o 34183
447.14	c 8516
447.77	o 34190
447.77	c 8509
448.52	o 34191
448.52	c 8508
452.73	o 34196
452.73	c 8503
456.74	o 34198
456.74	c 8501
457.50	o 34199
457.50	c 8500
459.05	o 34206
459.05	c 8493
460.57	o 34210
460.57	c 8489
461.31	o 34213
461.31	c 8486
462.03	o 34224
462.03	c 8475
462.72	o 34229
462.73	c 8470
463.48	o 34233
463.48	c 8466
464.22	o 34243
464.22	c 8456
465.69	o 34244
465.69	c 8455
466.47	o 34247
466.47	c 8452
467.20	o 34249
467.20	c 8450
468.03	o 34251
468.03	c 8448
468.76	o 34255
468.76	c 8444
469.52	o 34263
469.52	c 8436
470.16	o 34267
470.16	c 8432
475.34	o 34271
475.34	c 8428
476.04	o 34272
476.04	c 8427
476.87	o 34276
476.87	c 8423
477.58	o 34283
477.58	c 8416
478.31	o 34284
478.31	c 8415
479.06	o 34287
479.06	c 8412
479.77	o 34289
479.77	c 8410
480.58	o 34293
480.58	c 8406
482.15	o 34305
482.15	c 8394
482.90	o 34312
482.90	c 8387
483.69	o 34315
483.69	c 8384
485.94	o 34323
485.94	c 8376
486.69	o 34327
486.69	c 8372
487.41	o 34330
487.41	c 8369
488.13	o 34335
488.13	c 8364
488.88	o 34339
488.88	c 8360
489.64	o 34342
489.64	c 8357
490.41	o 34348
490.41	c 8351
491.20	o 34352
491.20	c 8347
491.99	o 34358
491.99	c 8341
492.77	o 34362
492.77	c 8337
495.80	o 34368
495.80	c 8331
497.33	o 34370
497.33	c 8329
498.12	o 34375
498.12	c 8324
498.90	o 34382
498.90	c 8317
499.83	o 34391
499.83	c 8308
500.58	o 34392
500.58	c 8307
501.36	o 34393
501.36	c 8306
502.21	o 34399
502.21	c 8300
503.12	o 34403
503.12	c 8296
503.97	o 34405
503.97	c 8294
504.80	o 34407
504.80	c 8292
505.67	o 34408
505.67	c 8291
506.48	o 34413
506.48	c 8286
507.36	o 34419
507.36	c 8280
508.22	o 34426
508.22	c 8273
509.06	o 34429
509.06	c 8270
510.03	o 34431
510.03	c 8268
511.04	o 34433
511.04	c 8266
512.02	o 34435
512.02	c 8264
512.96	o 34441
512.96	c 8258
514.68	o 34442
514.68	c 8257
515.49	o 34448
515.49	c 8251
516.35	o 34449
516.35	c 8250
517.23	o 34450
517.23	c 8249
518.01	o 34451
518.01	c 8248
518.80	o 34459
518.80	c 8240
519.63	o 34466
519.63	c 8233
520.42	o 34467
520.42	c 8232
521.34	o 34468
521.34	c 8231
522.11	o 34469
522.11	c 8230
522.92	o 34482
522.92	c 8217
526.97	o 34489
526.97	c 8210
527.76	o 34491
527.76	c 8208
528.64	o 34497
528.64	c 8202
529.54	o 34502
529.54	c 8197
533.02	o 34503
533.02	c 8196
533.78	o 34506
533.78	c 8193
534.54	o 34509
534.54	c 8190
535.31	o 34510
535.31	c 8189
536.26	o 34513
536.26	c 8186
537.22	o 34514
537.22	c 8185
538.13	o 34520
538.13	c 8179
539.08	o 34523
539.08	c 8176
539.94	o 34530
539.94	c 8169
540.82	o 34533
540.82	c 8166
541.71	o 34534
541.71	c 8165
543.41	o 34538
543.41	c 8161
544.35	o 34542
544.35	c 8157
545.23	o 34544
545.23	c 8155
547.01	o 34562
547.01	c 8137
549.79	o 34565
549.79	c 8134
555.32	o 34568
555.32	c 8131
556.20	o 34569
556.20	c 8130
557.11	o 34576
557.11	c 8123
559.00	o 34579
559.00	c 8120
560.05	o 34580
560.05	c 8119
568.14	o 34584
568.14	c 8115
569.18	o 34586
569.18	c 8113
571.22	o 34589
571.22	c 8110
573.23	o 34590
573.23	c 8109
574.24	o 34594
574.24	c 8105
575.28	o 34598
575.28	c 8101
576.33	o 34605
576.33	c 8094
577.29	o 34610
577.29	c 8089
578.29	o 34617
578.29	c 8082
579.28	o 34618
579.28	c 8081
581.47	o 34624
581.47	c 8075
583.54	o 34628
583.54	c 8071
584.54	o 34631
584.54	c 8068
585.61	o 34639
585.61	c 8060
587.60	o 34640
587.60	c 8059
591.57	o 34649
591.57	c 8050
592.57	o 34651
592.57	c 8048
593.61	o 34655
593.61	c 8044
594.63	o 34658
594.63	c 8041
595.69	o 34661
595.69	c 8038
596.83	o 34663
596.83	c 8036
597.85	o 34667
597.85	c 8032
598.95	o 34670
598.95	c 8029
600.05	o 34672
600.05	c 8027
601.08	o 34675
601.08	c 8024
603.14	o 34676
603.14	c 8023
604.17	o 34677
604.17	c 8022
608.66	o 34681
608.66	c 8018
609.74	o 34685
609.74	c 8014
610.85	o 34688
610.85	c 8011
611.97	o 34691
611.97	c 8008
613.08	o 34698
613.08	c 8001
614.20	o 34700
614.20	c 7999
617.57	o 34701
617.57	c 7998
618.66	o 34703
618.66	c 7996
619.74	o 34705
619.74	c 7994
620.87	o 34707
620.87	c 7992
621.99	o 34709
621.99	c 7990
624.20	o 34713
624.20	c 7986
625.30	o 34720
625.30	c 7979
645.40	o 34722
645.40	c 7977
646.50	o 34725
646.50	c 7974
648.82	o 34731
648.82	c 7968
650.04	o 34733
650.04	c 7966
654.77	o 34739
654.77	c 7960
657.12	o 34743
657.12	c 7956
658.23	o 34747
658.23	c 7952
659.40	o 34748
659.40	c 7951
660.61	o 34752
660.61	c 7947
661.81	o 34756
661.81	c 7943
662.94	o 34762
662.94	c 7937
664.01	o 34764
664.01	c 7935
665.15	o 34767
665.15	c 7932
666.30	o 34769
666.30	c 7930
667.45	o 34770
667.45	c 7929
668.56	o 34771
668.56	c 7928
669.68	o 34772
669.68	c 7927
673.15	o 34773
673.15	c 7926
674.29	o 34780
674.29	c 7919
676.63	o 34782
676.63	c 7917
677.84	o 34785
677.84	c 7914
679.06	o 34790
679.06	c 7909
680.20	o 34793
680.20	c 7906
681.33	o 34797
681.33	c 7902
682.52	o 34798
682.52	c 7901
683.64	o 34808
683.64	c 7891
684.80	o 34809
684.80	c 7890
688.11	o 34811
688.11	c 7888
689.19	o 34815
689.19	c 7884
692.73	o 34817
692.73	c 7882
693.80	o 34820
693.80	c 7879
694.94	o 34827
694.94	c 7872
696.06	o 34833
696.06	c 7866
697.11	o 34836
697.11	c 7863
698.16	o 34838
698.16	c 7861
699.24	o 34839
699.24	c 7860
700.33	o 34842
700.33	c 7857
701.41	o 34846
701.41	c 7853
702.49	o 34847
702.49	c 7852
703.57	o 34849
703.57	c 7850
704.79	o 34857
704.79	c 7842
707.24	o 34858
707.24	c 7841
709.68	o 34867
709.68	c 7832
710.90	o 34874
710.90	c 7825
712.08	o 34875
712.08	c 7824
713.28	o 34882
713.28	c 7817
714.48	o 34886
714.48	c 7813
715.71	o 34888
715.71	c 7811
716.88	o 34892
716.88	c 7807
718.14	o 34893
718.14	c 7806
719.38	o 34897
719.38	c 7802
720.59	o 34902
720.59	c 7797
723.10	o 34903
723.10	c 7796
724.21	o 34907
724.21	c 7792
725.50	o 34908
725.50	c 7791
726.66	o 34911
726.66	c 7788
728.03	o 34913
728.03	c 7786
730.57	o 34920
730.57	c 7779
731.89	o 34923
731.89	c 7776
733.13	o 34930
733.13	c 7769
735.64	o 34934
735.64	c 7765
736.89	o 34938
736.89	c 7761
738.07	o 34944
738.07	c 7755
739.21	o 34947
739.21	c 7752
740.45	o 34950
740.45	c 7749
742.88	o 34953
742.88	c 7746
747.66	o 34955
747.66	c 7744
750.17	o 34958
750.17	c 7741
751.57	o 34965
751.57	c 7734
754.10	o 34968
754.10	c 7731
755.50	o 34973
755.50	c 7726
756.86	o 34979
756.86	c 7720
758.20	o 34980
758.20	c 7719
766.85	o 34982
766.85	c 7717
768.05	o 34986
768.05	c 7713
769.38	o 34990
769.38	c 7709
770.56	o 34996
770.56	c 7703
771.83	o 35001
771.83	c 7698
773.01	o 35008
773.01	c 7691
774.23	o 35010
774.23	c 7689
777.84	o 35012
777.84	c 7687
779.09	o 35018
779.09	c 7681
780.01	o 35024
780.01	c 7675
784.98	o 35028
784.98	c 7671
789.76	o 35034
789.77	c 7665
790.93	o 35036
790.93	c 7663
793.40	o 35064
793.40	c 7635
794.62	o 35065
794.62	c 7634
799.23	o 35066
799.23	c 7633
800.32	o 35071
800.32	c 7628
801.44	o 35072
801.44	c 7627
803.63	o 35077
803.63	c 7622
804.83	o 35083
804.83	c 7616
805.92	o 35085
805.92	c 7614
807.04	o 35092
807.04	c 7607
808.12	o 35096
808.12	c 7603
809.36	o 35101
809.36	c 7598
810.41	o 35103
810.41	c 7596
812.72	o 35106
812.72	c 7593
813.91	o 35107
813.91	c 7592
815.05	o 35109
815.05	c 7590
816.20	o 35114
816.20	c 7585
817.35	o 35123
817.35	c 7576
818.53	o 35126
818.53	c 7573
819.69	o 35129
819.69	c 7570
820.86	o 35131
820.86	c 7568
830.51	o 35132
830.51	c 7567
831.73	o 35135
831.73	c 7564
832.94	o 35136
832.94	c 7563
835.45	o 35142
835.45	c 7557
836.68	o 35145
836.68	c 7554
837.96	o 35152
837.96	c 7547
839.26	o 35159
839.26	c 7540
841.79	o 35164
841.79	c 7535
843.04	o 35167
843.04	c 7532
844.33	o 35171
844.33	c 7528
845.64	o 35177
845.64	c 7522
846.82	o 35182
846.82	c 7517
848.03	o 35195
848.03	c 7504
849.18	o 35196
849.18	c 7503
850.31	o 35200
850.31	c 7499
852.57	o 35201
852.57	c 7498
853.65	o 35215
853.65	c 7484
854.84	o 35219
854.84	c 7480
856.12	o 35222
856.12	c 7477
857.22	o 35227
857.22	c 7472
858.31	o 35231
858.31	c 7468
859.47	o 35232
859.47	c 7467
860.71	o 35234
860.71	c 7465
861.89	o 35235
861.89	c 7464
863.09	o 35239
863.09	c 7460
864.40	o 35240
864.40	c 7459
865.82	o 35246
865.82	c 7453
868.45	o 35247
868.45	c 7452
870.98	o 35249
870.98	c 7450
872.22	o 35251
872.22	c 7448
873.52	o 35254
873.52	c 7445
876.20	o 35258
876.20	c 7441
877.53	o 35262
877.53	c 7437
880.29	o 35266
880.29	c 7433
881.70	o 35268
881.70	c 7431
883.12	o 35269
883.12	c 7430
890.12	o 35272
890.12	c 7427
895.91	o 35274
895.91	c 7425
897.27	o 35284
897.27	c 7415
898.64	o 35292
898.64	c 7407
900.01	o 35300
900.01	c 7399
901.13	o 35304
901.13	c 7395
902.51	o 35308
902.51	c 7391
903.94	o 35311
903.94	c 7388
906.69	o 35314
906.69	c 7385
907.96	o 35317
907.96	c 7382
909.43	o 35318
909.43	c 7381
910.82	o 35319
910.82	c 7380
912.33	o 35320
912.33	c 7379
913.84	o 35328
913.84	c 7371
915.21	o 35335
915.21	c 7364
916.77	o 35339
916.77	c 7360
918.24	o 35342
918.24	c 7357
919.75	o 35346
919.75	c 7353
925.84	o 35348
925.84	c 7351
927.40	o 35349
927.40	c 7350
928.91	o 35352
928.91	c 7347
930.38	o 35357
930.38	c 7342
931.91	o 35359
931.91	c 7340
933.44	o 35361
933.44	c 7338
934.98	o 35364
934.98	c 7335
936.53	o 35365
936.53	c 7334
939.56	o 35370
939.56	c 7329
941.22	o 35372
941.22	c 7327
942.78	o 35374
942.78	c 7325
946.16	o 35376
946.16	c 7323
947.81	o 35379
947.81	c 7320
949.60	o 35381
949.60	c 7318
953.04	o 35383
953.04	c 7316
954.77	o 35385
954.77	c 7314
956.38	o 35388
956.38	c 7311
958.00	o 35394
958.00	c 7305
959.63	o 35402
959.63	c 7297
961.36	o 35406
961.36	c 7293
962.97	o 35414
962.97	c 7285
964.67	o 35416
964.67	c 7283
966.36	o 35418
966.36	c 7281
967.71	o 35435
967.71	c 7264
970.70	o 35439
970.70	c 7260
972.18	o 35440
972.18	c 7259
973.68	o 35445
973.68	c 7254
975.14	o 35453
975.14	c 7246
976.66	o 35454
976.66	c 7245
978.17	o 35457
978.17	c 7242
979.70	o 35461
979.70	c 7238
981.22	o 35462
981.22	c 7237
982.76	o 35465
982.76	c 7234
984.33	o 35467
984.33	c 7232
987.52	o 35471
987.52	c 7228
989.10	o 35473
989.10	c 7226
990.65	o 35479
990.65	c 7220
995.42	o 35481
995.42	c 7218
998.73	o 35483
998.73	c 7216
1000.31	o 35491
1000.31	c 7208
1014.40	o 35492
1014.40	c 7207
1031.26	o 35495
1031.26	c 7204
1032.97	o 35500
1032.97	c 7199
1034.69	o 35504
1034.69	c 7195
1037.81	o 35505
1037.81	c 7194
1039.51	o 35506
1039.51	c 7193
1041.23	o 35513
1041.23	c 7186
1042.79	o 35516
1042.79	c 7183
1046.06	o 35521
1046.06	c 7178
1047.67	o 35527
1047.67	c 7172
1049.22	o 35528
1049.22	c 7171
1050.74	o 35534
1050.74	c 7165
1060.35	o 35535
1060.35	c 7164
1063.75	o 35540
1063.75	c 7159
1065.36	o 35546
1065.36	c 7153
1067.00	o 35549
1067.00	c 7150
1068.59	o 35554
1068.59	c 7145
1070.17	o 35556
1070.17	c 7143
1071.76	o 35562
1071.76	c 7137
1073.38	o 35564
1073.38	c 7135
1075.05	o 35569
1075.05	c 7130
1076.66	o 35576
1076.66	c 7123
1079.80	o 35578
1079.80	c 7121
1081.49	o 35579
1081.49	c 7120
1086.48	o 35580
1086.48	c 7119
1093.15	o 35585
1093.15	c 7114
1094.90	o 35586
1094.90	c 7113
1098.47	o 35591
1098.47	c 7108
1100.20	o 35593
1100.20	c 7106
1102.03	o 35596
1102.03	c 7103
1103.82	o 35603
1103.82	c 7096
1116.57	o 35606
1116.57	c 7093
1118.25	o 35611
1118.26	c 7088
1120.04	o 35614
1120.04	c 7085
1135.97	o 35624
1135.97	c 7075
1137.72	o 35627
1137.72	c 7072
1139.52	o 35632
1139.52	c 7067
1141.30	o 35640
1141.30	c 7059
1142.86	o 35645
1142.86	c 7054
1144.57	o 35650
1144.57	c 7049
1146.25	o 35651
1146.25	c 7048
1148.04	o 35652
1148.04	c 7047
1149.83	o 35658
1149.83	c 7041
1151.75	o 35660
1151.75	c 7039
1153.63	o 35663
1153.63	c 7036
1155.48	o 35669
1155.48	c 7030
1157.35	o 35674
1157.35	c 7025
1159.12	o 35677
1159.12	c 7022
1162.95	o 35692
1162.95	c 7007
1164.82	o 35698
1164.82	c 7001
1166.71	o 35699
1166.71	c 7000
1170.40	o 35703
1170.40	c 6996
1172.21	o 35706
1172.21	c 6993
1174.06	o 35707
1174.06	c 6992
1179.71	o 35712
1179.71	c 6987
1181.65	o 35714
1181.65	c 6985
1183.50	o 35718
1183.50	c 6981
1185.49	o 35721
1185.49	c 6978
1187.41	o 35725
1187.41	c 6974
1191.33	o 35726
1191.33	c 6973
1193.38	o 35729
1193.38	c 6970
1195.44	o 35733
1195.44	c 6966
1199.42	o 35737
1199.42	c 6962
1203.37	o 35740
1203.37	c 6959
1205.34	o 35741
1205.34	c 6958
1209.33	o 35745
1209.33	c 6954
1219.27	o 35746
1219.27	c 6953
1221.13	o 35749
1221.13	c 6950
1222.97	o 35752
1222.97	c 6947
1226.67	o 35756
1226.67	c 6943
1228.55	o 35763
1228.55	c 6936
1232.11	o 35765
1232.11	c 6934
1241.09	o 35766
1241.09	c 6933
1242.96	o 35775
1242.96	c 6924
1251.60	o 35781
1251.60	c 6918
1253.41	o 35783
1253.41	c 6916
1257.11	o 35786
1257.11	c 6913
1273.07	o 35791
1273.07	c 6908
1274.94	o 35797
1274.94	c 6902
1276.78	o 35799
1276.78	c 6900
1287.57	o 35801
1287.57	c 6898
1289.43	o 35804
1289.43	c 6895
1291.29	o 35807
1291.29	c 6892
1296.82	o 35809
1296.82	c 6890
1298.70	o 35810
1298.70	c 6889
1300.60	o 35813
1300.61	c 6886
1302.45	o 35816
1302.45	c 6883
1306.21	o 35817
1306.21	c 6882
1309.93	o 35820
1309.93	c 6879
1311.87	o 35822
1311.88	c 6877
1315.58	o 35825
1315.58	c 6874
1319.46	o 35826
1319.46	c 6873
1321.44	o 35829
1321.44	c 6870
1323.38	o 35832
1323.38	c 6867
1344.26	o 35833
1344.26	c 6866
1358.54	o 35835
1358.54	c 6864
1366.94	o 35838
1366.94	c 6861
1368.63	o 35841
1368.63	c 6858
1370.37	o 35845
1370.37	c 6854
1372.15	o 35847
1372.15	c 6852
1373.90	o 35849
1373.90	c 6850
1375.61	o 35851
1375.61	c 6848
1377.32	o 35857
1377.32	c 6842
1379.04	o 35859
1379.04	c 6840
1380.79	o 35864
1380.79	c 6835
1382.53	o 35865
1382.53	c 6834
1384.19	o 35867
1384.19	c 6832
1385.91	o 35872
1385.91	c 6827
1389.01	o 35875
1389.01	c 6824
1390.73	o 35876
1390.75	c 6823
1392.53	o 35878
1392.53	c 6821
1394.34	o 35882
1394.34	c 6817
1396.03	o 35889
1396.03	c 6810
1397.78	o 35892
1397.78	c 6807
1401.45	o 35894
1401.45	c 6805
1403.33	o 35896
1403.33	c 6803
1405.19	o 35899
1405.19	c 6800
1406.99	o 35901
1406.99	c 6798
1408.79	o 35902
1408.79	c 6797
1410.66	o 35904
1410.66	c 6795
1412.52	o 35915
1412.52	c 6784
1416.12	o 35917
1416.12	c 6782
1417.98	o 35919
1417.98	c 6780
1421.77	o 35925
1421.77	c 6774
1423.73	o 35926
1423.73	c 6773
1427.77	o 35929
1427.77	c 6770
1429.83	o 35933
1429.83	c 6766
1431.76	o 35937
1431.76	c 6762
1433.76	o 35938
1433.76	c 6761
1435.70	o 35941
1435.70	c 6758
1445.74	o 35945
1445.74	c 6754
1447.78	o 35946
1447.79	c 6753
1449.80	o 35947
1449.80	c 6752
1451.80	o 35950
1451.80	c 6749
1455.87	o 35953
1455.87	c 6746
1457.92	o 35958
1457.92	c 6741
1459.96	o 35959
1459.96	c 6740
1461.97	o 35962
1461.97	c 6737
1463.99	o 35964
1463.99	c 6735
1466.06	o 35968
1466.06	c 6731
1467.25	o 35970
1467.25	c 6729
1469.28	o 35973
1469.28	c 6726
1471.28	o 35979
1471.28	c 6720
1473.01	o 35983
1473.01	c 6716
1474.99	o 35987
1474.99	c 6712
1476.63	o 35991
1476.63	c 6708
1478.58	o 35996
1478.58	c 6703
1480.50	o 35997
1480.50	c 6702
1482.44	o 36000
1482.44	c 6699
1484.49	o 36004
1484.49	c 6695
1486.56	o 36012
1486.56	c 6687
1492.62	o 36013
1492.62	c 6686
1494.79	o 36021
1494.79	c 6678
1496.84	o 36026
1496.84	c 6673
1498.98	o 36027
1498.98	c 6672
1501.08	o 36033
1501.08	c 6666
1507.24	o 36035
1507.24	c 6664
1509.45	o 36038
1509.45	c 6661
1511.55	o 36041
1511.55	c 6658
1513.73	o 36044
1513.73	c 6655
1515.85	o 36054
1515.85	c 6645
1518.01	o 36056
1518.01	c 6643
1520.06	o 36058
1520.06	c 6641
1522.14	o 36062
1522.14	c 6637
1524.08	o 36065
1524.08	c 6634
1525.31	o 36069
1525.31	c 6630
1527.30	o 36071
1527.30	c 6628
1529.33	o 36075
1529.33	c 6624
1531.45	o 36078
1531.45	c 6621
1533.54	o 36081
1533.54	c 6618
1535.58	o 36082
1535.58	c 6617
1537.67	o 36086
1537.67	c 6613
1539.85	o 36092
1539.85	c 6607
1571.43	   
1571.43	   search
1571.43	     run=0  nbConstraintChecks=2552984560  nbAssignments=1487
1571.43	       =>  wckTime=1505.623  cpuTime=1491.73  mem=115M448
1571.43	   
1571.43	   global
1571.43	     nbConstraintChecks=2552984560  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
1571.43	     solvingWckTime=1505.587  solvingCpuTime=1491.7  expiredTime=no  totalExploration=no  nbFoundSolutions=0
1571.43	     globalCpuTime=1555.1
1571.43	       =>  wckTime=1571.112  cpuTime=1555.04  mem=115M448
1571.43	   
1571.43	   solver IterativeSystematicSolver being built... 
1573.15	       =>  wckTime=1572.837  cpuTime=1555.84  mem=490M946
2420.97	v -3572 2964 2512 2544 2892 4132 2392 3940 -2936 -4004 -2456 -4000 -3480 2168 3876 -3160 -3116 -3296 4044 -2440 -2424 -2904 2380 2372 -4012 -4004 3596 2484 -3248 -3896 2360 3900 2900 2892 4000 -3036 3908 -2320 2856 -3128 2576 -3160 2492 3536 3536 -2516 2140 -4072 -3420 2376 -2840 3684 4112 -3844 2636 -3196 -4072 -3984 2572 3740 -3604 2140 -3428 2256 2788 3964 -3608 2636 2508 -2692 3144 4060 2488 -2236 3336 -4020 -2496 -2216 4012 -2480 -2484 3468 3812 -3704 -2144 2432 3996 -3000 2788 2556 2960 4120 2200 -3644 -3972 4064 -3936 2184 2548 -2384 -2212 2340 4012 2688 -2664 3380 -3552 -2196 3980 2140 -2160 -2952 -3300 -3776 3568 2520 3304 4112 3968 3212 2564 -2760 -2264 -2160 2268 -3352 3176 2640 3956 3664 3704 -3832 -4092 -2824 3576 -4028 2456 -2644 3984 2408 -2688 3376 -2640 -3112 3116 -2500 3980 2204 3272 -3184 3520 4128 3132 -2208 4032 3320 -4132 -3676 3184 -2648 2700 3956 3980 4084 -3220 3652 3612 3208 -3040 4128 -2612 -2180 -2308 2556 -3944 3428 2460 -2700 2216 3332 2788 4128 -4084 2264 -2836 -2840 3176 -2544 -3108 3772 3712 -2932 -4004 -2456 2820 -4012 -4012 -3996 2368 -2376 3520 3368 2268 2548 -2664 -2876 -2948 3348 4040 -2960 2648 2776 -2652 3336 3092 2408 -3472 3428 4044 -3844 2528 -4056 -3320 -3976 -3964 4072 4084 -3088 -2192 2376 -3988 2352 -3436 2844 -3388 2500 3324 -3028 3596 3848 2176 -3064 2496 -4004 3856 3676 -2380 3852 2352 3240 -4056 -2140 -4124 -3484 3296 3352 4080 -4040 -4052 2612 -2340 -2504 -2444 3156 4012 3956 -3984 4000 3992 -2948 3072 -2780 3628 -4044 -2552 2520 -2480 -3376 2308 2864 2176 -3708 3992 -4084 -3316 -3900 -2912 3972 -3612 3324 -3376 -2216 -3800 3504 2980 -2320 3504 2360 -4064 -3968 2196 -2780 2252 3616 3632 3496 3312 3780 3156 2568 2816 -3980 3924 4000 -3944 2180 3996 -3268 -3880 -2560 2372 -2372 3360 -2200 2240 2180 2296 -3304 3592 3004 -4016 -2456 -2672 2924 3520 -3744 3660 3992 2424 -4020 -3276 -3416 3924 4128 2796 2780 -3760 -2504 -2536 4044 -2464 -4072 -2916 -2528 3676 -3656 -3760 -3892 -3548 -4128 2528 3956 -4100 -2152 -2472 -3440 -3972 -3984 -2204 3508 -2476 -3964 -2924 3368 2916 -2896 -2364 -3508 4072 2176 2352 3944 -4008 2280 3904 -2652 -2200 3728 2196 2592 2144 3968 -3788 -3376 2444 -2180 -3140 4116 3532 2232 3860 2840 -3228 -3480 3460 3060 3804 -3976 -3144 2480 -3452 2404 3080 2408 2620 2852 -3392 -4132 -3744 2968 3036 -2300 -2520 -3992 -3676 -2972 -2196 -3868 -4000 4132 3544 -3296 2668 3980 3316 -2140 -3708 2172 4012 -4128 -2480 3432 4044 -2180 -3960 3744 -2260 2148 3364 -3660 -2432 4076 -4076 3500 2508 3520 -3312 3636 -4012 -3412 -2140 3744 -4084 -2156 -2608 3420 -3812 2524 2164 -2572 4000 2540 -4036 -2524 2312 4036 -2216 2756 -2368 -2460 -3956 -3948 -2252 4000 2712 3192 -3508 3756 2744 2520 2916 3500 3688 3020 -2212 -2172 3988 -2452 -4008 -2760 -2424 2444 -3612 3984 2140 3876 -3472 2600 -2272 3072 2832 4020 -2176 3948 2780 4088 2548 -3540 -2868 -2632 -2240 2276 3992 -2200 4116 -2248 -4016 -3920 -4092 2572 3524 -3260 -2284 3484 -2988 -3984 -2256 3672 -2144 2504 -2160 -3536 -3948 2948 2212 2876 2456 -4012 3512 -3940 -4052 3852 -4112 -3980 3996 -3360 3412 -2368 3104 2736 2836 2872 -2352 3968 -3936 2588 3588 2244 -2536 3784 3296 -2140 3892 3544 -3940 -3348 3856 4132 -3904 2920 -3952 -2140 -4016 -3840 -2728 3260 -3160 -3660 2780 -4048 4120 -3756 -3396 4032 -3480 2860 2540 -2720 3004 2400 2180 2372 4004 3976 -3836 3684 4008 -2196 3312 -3536 -3964 3032 4024 3176 2332 -2672 2532 -2908 -2540 -3388 -2148 -4020 -2184 3352 3392 2488 3964 3596 3520 -3096 -3628 2152 2688 -2248 2456 3256 -2520 2516 -3756 -3640 -2500 -2312 -4040 -2468 2940 -4056 3968 3104 2728 -3100 -3996 -3952 -2992 3584 -2656 -2456 2484 -2716 2176 -2452 3988 -2244 3308 3456 2472 3940 2412 -2204 -3360 -4028 3024 3956 3040 2428 3796 -2168 3216 -2524 3068 3964 4056 2620 -2212 2532 2180 2200 4000 4120 3172 2904 4020 2196 3312 -3700 -3332 -2304 -4012 2536 -2656 -3356 4012 -3188 2716 2956 -2384 -2616 3252 -2692 -4024 2808 4132 4116 3008 -4132 3248 3996 -3500 -4016 3980 2328 -2624 3988 -2780 2388 -3792 4032 2744 -3356 -2160 2476 2816 3472 3644 3948 -3948 3020 3004 -3772 3112 2540 -3080 -2896 -2440 3880 4004 -3936 -2528 4112 3992 -2380 -2220 2460 -3984 -3956 -2876 3588 2244 -4000 -3852 4072 4060 3096 -3700 2432 4044 2468 -4032 2820 2220 4032 4044 3952 2352 -2176 -3464 2616 4040 4132 3980 2144 4072 2200 2412 -2140 -4020 3584 3464 -2516 2140 2488 3892 -3444 3172 -2848 3364 3780 2660 2540 -2388 -2840 -3976 3756 -3404 -3828 -3608 2416 2140 -3612 4088 -2640 -3816 -3968 3204 3572 4120 2612 2656 -2180 3312 2288 2824 -3944 2628 2220 2764 -3084 3364 -3552 -2212 -3944 2780 3364 3628 2196 -2440 4100 -3820 2692 -3948 -2836 2400 3588 -3976 -3344 -4128 -3472 3584 2996 -3784 3984 3488 2652 -2396 2200 -2896 -4128 3572 2140 -3172 4052 -2148 2460 -2192 -2816 -3736 3984 -2188 -2168 -3852 2584 -2888 3660 -3800 2140 -2156 -2292 -4028 -2460 -2984 -4060 3940 -2364 4116 2988 2676 -4100 4064 4024 2552 -3328 -3556 -3664 -2908 -3940 3940 -3456 -3448 -3372 3816 -2460 2964 -2416 2668 4008 3572 -3732 -2428 3696 -2456 2648 3348 3628 -4112 -2852 2140 -2620 3104 -4028 2676 3640 2552 -3884 3648 -2384 -2156 -2340 2196 -2828 -3596 -2360 2252 3992 -3932 -3508 3980 2796 -2156 3960 -2464 2496 -2508 -3692 4008 -3776 4036 2436 3676 4112 -3380 3988 2848 3308 3416 -2212 3100 -2432 -2796 2776 2144 -2340 2484 3360 -2916 2176 4044 4040 4032 2428 -3336 -3932 -3200 2144 -3808 2664 4048 4112 -2484 -2172 -4020 -3816 -3944 4008 -2332 -2528 -3756 3340 -3472 -3968 -3428 2984 3952 3584 3016 4036 3956 2172 -2660 3972 2536 -3124 2716 -3764 -2604 -2164 -3796 -3224 -2372 3308 3284 2444 3832 -3664 -2140 -3984 -3420 -2140 2140 3884 -4016 2348 3252 2684 -2480 -2380 -2308 -4096 -3780 3976 -3236 4008 -3696 3312 -3828 -2400 3972 -2532 -3500 -2176 -2344 4120 -2364 3640 3692 3392 -3748 3960 -2456 2500 4076 -2424 2528 3160 -3268 2460 -3672 3164 -3876 3472 3544 2820 -4012 2296 -3624 3604 3972 4132 -2920 -2616 -2592 -4048 2264 -3476 2524 -3088 3360 3832 4036 3628 3192 -3152 2564 2280 -4068 -2180 -3484 3428 3024 -3452 2448 -3616 -2168 -3392 3672 -3964 2536 -2512 4056 -2332 2180 2184 2612 2852 -3324 3996 -4024 -2352 3720 2232 -3384 2284 2876 -4040 -3380 2252 -3756 2204 3640 -2684 3524 2180 3728 3020 3992 -3792 -3408 -2340 2476 -4008 -2248 -2444 -3780 -3796 3408 2908 4020 -3948 2924 2152 -4004 3748 -3824 2864 -3040 -3772 -3224 -3164 -4048 -2892 4032 -2512 3404 3948 -3964 -2156 3732 4036 2924 2240 3956 3680 -2512 -3940 2180 2804 -3240 -3904 -2216 3048 4020 -3988 -3964 -3980 -2764 3320 2188 -4052 3968 2212 -3796 -2488 3136 2972 2160 -2144 4024 -2660 -2572 2140 -3848 2576 2328 3380 3376 4120 -3396 -4016 -2352 -4036 -3648 4064 -3320 -4072 -3348 -3248 -2392 3084 -2568 -3984 2836 2284 -2172 -3844 2380 2148 2464 -4000 2184 3588 2456 3680 3980 -2924 -4012 3400 4084 -3796 -2188 3392 -3600 -2268 3604 3144 2180 2980 3408 3724 -4040 -2828 -2228 -3328 2904 3740 2740 -3952 2864 3716 -3336 2804 3512 3680 3628 4076 -2140 -2356 -2144 -3336 3836 3772 2372 4032 -2596 -3960 -3708 -3928 -2816 2764 -2456 3020 -3560 4112 -3896 -2896 -2236 3948 4088 3964 3708 -3884 3940 3868 3064 3744 -3996 -2544 2156 3996 3628 -3988 4080 -2724 -2288 -2524 -3956 -3312 3980 3960 2196 -2144 -2472 -2540 -3940 4028 -2160 2612 -2600 -4072 3800 -3964 -3968 2536 -3960 3316 -4008 -3640 -3732 -2396 -3036 -3752 -3840 3688 -3952 2544 3612 -2920 4124 3944 4060 3840 4092 -2248 3668 3356 2464 2508 3000 2400 2800 -2464 -2396 3740 -3340 -2180 -3996 -2388 -4112 -4132 2560 3388 4008 -3416 2672 2244 -2180 2324 -3664 -4036 -2948 4092 2872 2144 -4000 -2308 2192 -3532 4120 3428 4004 -3592 -2256 4072 -3736 3980 -2140 -3592 -3376 3992 2492 -4012 2284 2460 4132 -4004 -3696 2196 -2240 -2740 -3196 2532 -2644 3340 -2728 3328 -2368 2608 3604 -3936 3412 2216 4116 2704 3600 2824 -2284 2320 4060 2184 3988 -3816 2936 3552 4076 2900 -2536 2648 3196 -3372 2304 -3796 2212 -3704 -3360 2828 -4044 -2636 -2164 -2156 2468 4032 2484 -3116 3564 3980 -3332 3456 -3388 4132 4128 -3396 -2244 -3668 4124 3176 -2392 3856 3156 -3164 3988 -2564 3044 4132 -2872 3772 3172 -4044 -4004 2188 4132 -4100 3376 -3628 -3984 -3972 2516 3960 4004 2176 2944 -2856 -2140 4008 2748 4004 2172 3312 -3864 -2940 3692 4060 -2308 2160 -2168 3352 -3788 -3440 -3452 3784 -2784 -2140 -4036 -4072 2616 -2200 3492 3536 2484 2388 3496 -3504 -2636 -4000 3304 -3968 -3944 -4132 2740 -3964 4096 -2828 -2860 -2980 -2792 2624 2280 2864 4012 -3004 3804 -4032 4028 -3716 3336 -2496 -3140 -2832 -2296 -4104 -4104 -3996 2464 -2476 2868 2504 3964 2748 -3336 -3996 3136 3608 2524 3820 -2460 3072 4004 2504 2288 2720 -3960 4068 -3432 -3976 -3456 -3832 3112 -3768 -3948 -2452 -3652 -2208 -2180 4024 2168 2144 -2436 4048 3496 -4064 -3364 2620 -3212 4092 3632 3980 4056 2216 4008 3136 -2476 2352 2592 -3952 2980 3912 3268 3040 -3856 -2652 3104 3588 2800 -2432 3948 3968 3860 -2604 3392 3908 2224 3636 -3656 3032 2356 -2756 -3940 -2528 -4072 3508 2896 3688 -2432 3364 4032 2396 4048 -2212 3924 -4016 2488 2484 -2888 2392 -4112 3976 -2548 2552 -4116 3692 2788 -3504 3836 -2532 -3124 -2820 2344 3124 2176 3992 2872 2460 -3068 3376 3100 3336 3348 2716 -3572 2648 3448 -4060 -3984 3844 2800 3132 -3368 4132 -2504 -2480 -2236 3960 -4076 3980 -3352 -2772 3076 4008 2504 -4056 -3732 -4100 4008 -3056 -3812 -2520 -2456 3372 -2656 -3972 3408 3168 3324 2508 -3604 3896 3796 3940 -3652 -3824 3644 4012 2456 -4028 -2300 -3972 3932 -3500 -2520 2180 4080 2536 2452 -2512 -3984 -2660 2144 2820 3208 -2820 -3916 2240 3972 -3564 -4036 2964 -4124 -2216 3656 4128 -2184 3360 3968 -2500 3772 -4120 -2168 -2480 -3940 -2936 4004 2656 2796 -2924 -3356 3964 3988 3968 -2336 -2412 2360 -4024 -3336 2492 -3860 -2392 -2344 3992 3520 3348 -2292 -2156 3620 -3660 -2624 2180 3824 -3088 -4000 -3520 -3376 -4076 2212 -4032 4004 2324 3972 3176 2800 -2496 -3932 3100 -3948 2356 -4008 -2484 -2616 2480 4112 3428 3900 3808 -3320 3224 -4060 -3300 2324 4004 4016 2532 3972 -4016 2860 2660 -4004 2224 -2516 -3540 4080 -3456 2832 3220 -2472 -2964 2148 -2732 2140 3952 3500 2400 -2216 -3320 2624 2572 3572 -2932 -3500 -2736 3464 2312 2420 -2412 -4032 3060 3976 2156 4020 -3364 -2212 3280 -4092 -3048 -3972 -3804 3816 3496 3376 -4088 2176 2956 2484 -3984 2324 3932 2144 2688 -4108 -3980 2612 2692 -3176 2616 -3968 2892 4088 3336 -3344 3680 2832 4008 -2488 2140 -4004 -2488 -2512 -3352 4096 4044 4012 -2552 -3316 3136 -3344 -3968 -4020 2216 2228 -2544 -2520 -4132 3260 -3360 -2620 -2892 3336 -4064 2976 3572 -3308 -2188 -3376 -3228 -3276 -2836 -3636 -4004 3116 3336 -3336 3376 3588 3268 -2972 -2584 4088 -3352 -3564 -4004 3496 3512 -2988 -2776 4124 -2212 2200 2140 3124 -3552 3156 -3992 -2488 3892 2520 3588 4016 -4000 3040 -2876 -3896 3596 3604 -3996 2140 2708 3668 2528 2400 3912 3320 3980 -3636 -2948 4080 2140 3152 2504 -3596 2596 3756 -3208 -3944 4036 -4008 -2804 -2152 -2476 3680 3908 -2828 -2236 -3884 -3356 2140 -2992 -4076 -4132 3148 3492 4096 -3332 -4000 3324 2256 2348 3896 3360 -3004 -4084 -3968 -3028 -2656 4040 2500 -4116 -2736 -2360 4008 3704 -3952 -3748 -2412 3992 -3564 -3160 2472 2484 -2160 -3136 3896 3204 2244 -2280 -4108 -2768 -2584 -2480 2488 4064 2908 3812 4020 -4108 -3156 2480 3356 -4000 2880 -2144 3844 2520 2340 -2840 -2884 -4008 -2884 -3880 2180 3368 -3372 3264 -3936 -2492 -3312 3268 -2256 -3388 3140 3536 4092 4092 3032 3988 4064 2152 -3684 -3320 4072 -2656 -4104 3112 2348 -2348 3296 2464 2140 2784 -2144 2640 4000 3084 2740 2384 3976 -3744 4020 3540 -4004 3700 -4104 -3048 2156 -2220 3684 -2572 4064 2180 -3980 -2156 -2232 -4068 2712 2572 -4128 -2476 3364 -2556 -2496 3948 -3884 -3448 -3648 3432 2296 -3108 -3408 -3868 -4012 3216 -3072 3528 3376 -3988 -2800 -2612 4128 -4060 -4032 -3628 3992 3568 -4032 2180 -2768 -3796 -2820 3224 -3320 -2160 -2148 -2208 3512 2884 3984 -2412 3340 4024 2768 -2476 -2676 4008 -3996 -2508 2500 3020 2524 2884 4120 3724 -2544 2248 2772 3624 2500 -3464 -3996 -2176 3972 -2528 -2516 -3872 2992 -3996 3372 -4048 -4044 3996 2464 -3620 2836 -3040 -3160 4088 3644 -4052 -2564 -3948 -3132 -4072 2636 2424 3680 3968 -3464 -3836 3652 -4060 3308 -2144 3936 3996 2320 4112 2684 -4104 -3960 3940 -4036 3180 2412 -3348 3820 -3800 -2480 3328 -2788 -3484 -3460 -2472 3976 -2380 -4104 3456 -4056 -2392 2216 3168 4060 2348 -2140 -2332 3704 -3936 2552 -4096 2796 -3952 4088 -3916 3196 -2336 -3540 2212 -2528 -4076 2536 4128 -2696 -3924 2464 -3676 -4000 -3216 2336 -3480 2168 3228 2340 3396 3780 -2164 2140 4032 3340 2780 3140 2512 -3588 2324 3528 -2948 -4012 2572 3516 3936

Verifier Data (download as text)

6607 unsatisfied constraints, 36092 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/node4/watcher-275591-1169223762 -o ROOT/results/node4/solver-275591-1169223762 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/275591-1169223762/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: 1.89 1.96 1.98 4/94 24825
/proc/meminfo: memFree=1363368/2055920 swapFree=4182144/4192956
[pid=24824] ppid=24822 vsize=9748 CPUtime=0
/proc/24824/stat : 24824 (java) D 24822 24824 23437 0 -1 0 637 0 0 0 0 0 0 0 18 0 1 0 270771758 9981952 412 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 10588964 0 2147483391 0 7368 18446744072099781622 0 0 17 1 0 0
/proc/24824/statm: 2487 472 386 14 0 1142 0

[startup+0.104334 s]
/proc/loadavg: 1.89 1.96 1.98 4/94 24825
/proc/meminfo: memFree=1363368/2055920 swapFree=4182144/4192956
[pid=24824] ppid=24822 vsize=914988 CPUtime=0.08
/proc/24824/stat : 24824 (java) R 24822 24824 23437 0 -1 0 2990 0 1 0 7 1 0 0 17 0 8 0 270771758 936947712 2736 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24824/statm: 228747 2736 1426 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.513376 s]
/proc/loadavg: 1.89 1.96 1.98 4/94 24825
/proc/meminfo: memFree=1363368/2055920 swapFree=4182144/4192956
[pid=24824] ppid=24822 vsize=915332 CPUtime=0.49
/proc/24824/stat : 24824 (java) R 24822 24824 23437 0 -1 0 7784 0 1 0 44 5 0 0 18 0 8 0 270771758 937299968 7523 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4152819938 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24824/statm: 228833 7523 2143 14 0 215303 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915332

[startup+1.33446 s]
/proc/loadavg: 1.89 1.96 1.98 3/101 24832
/proc/meminfo: memFree=1271344/2055920 swapFree=4182144/4192956
[pid=24824] ppid=24822 vsize=915604 CPUtime=1.3
/proc/24824/stat : 24824 (java) R 24822 24824 23437 0 -1 0 29313 0 1 0 118 12 0 0 24 0 8 0 270771758 937578496 29050 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073679696 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24824/statm: 228901 29050 2164 14 0 215371 0
[pid=24824/tid=24826] ppid=24822 vsize=915604 CPUtime=0.11
/proc/24824/task/24826/stat : 24826 (java) S 24822 24824 23437 0 -1 64 12751 0 0 0 7 4 0 0 16 0 8 0 270771762 937578496 29050 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24824/tid=24827] ppid=24822 vsize=915604 CPUtime=0
/proc/24824/task/24827/stat : 24827 (java) S 24822 24824 23437 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270771763 937578496 29050 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24824/tid=24828] ppid=24822 vsize=915604 CPUtime=0
/proc/24824/task/24828/stat : 24828 (java) S 24822 24824 23437 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270771763 937578496 29050 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24824/tid=24829] ppid=24822 vsize=915604 CPUtime=0
/proc/24824/task/24829/stat : 24829 (java) S 24822 24824 23437 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270771766 937578496 29050 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24824/tid=24830] ppid=24822 vsize=915604 CPUtime=0.15
/proc/24824/task/24830/stat : 24830 (java) S 24822 24824 23437 0 -1 64 404 0 0 0 15 0 0 0 16 0 8 0 270771766 937578496 29050 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24824/tid=24831] ppid=24822 vsize=915604 CPUtime=0
/proc/24824/task/24831/stat : 24831 (java) S 24822 24824 23437 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270771766 937578496 29050 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24824/tid=24832] ppid=24822 vsize=915604 CPUtime=0
/proc/24824/task/24832/stat : 24832 (java) S 24822 24824 23437 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270771766 937578496 29050 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915604

[startup+2.9716 s]
/proc/loadavg: 1.89 1.96 1.98 4/101 24832
/proc/meminfo: memFree=1247024/2055920 swapFree=4182144/4192956
[pid=24824] ppid=24822 vsize=915744 CPUtime=2.93
/proc/24824/stat : 24824 (java) R 24822 24824 23437 0 -1 0 32169 0 1 0 279 14 0 0 25 0 8 0 270771758 937721856 31901 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073844895 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24824/statm: 228936 31901 2184 14 0 215406 0
[pid=24824/tid=24826] ppid=24822 vsize=915744 CPUtime=0.26
/proc/24824/task/24826/stat : 24826 (java) S 24822 24824 23437 0 -1 64 15528 0 0 0 21 5 0 0 16 0 8 0 270771762 937721856 31901 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24824/tid=24827] ppid=24822 vsize=915744 CPUtime=0
/proc/24824/task/24827/stat : 24827 (java) S 24822 24824 23437 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270771763 937721856 31901 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24824/tid=24828] ppid=24822 vsize=915744 CPUtime=0
/proc/24824/task/24828/stat : 24828 (java) S 24822 24824 23437 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270771763 937721856 31901 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24824/tid=24829] ppid=24822 vsize=915744 CPUtime=0
/proc/24824/task/24829/stat : 24829 (java) S 24822 24824 23437 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270771766 937721856 31901 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24824/tid=24830] ppid=24822 vsize=915744 CPUtime=0.17
/proc/24824/task/24830/stat : 24830 (java) S 24822 24824 23437 0 -1 64 416 0 0 0 17 0 0 0 16 0 8 0 270771766 937721856 31901 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24824/tid=24831] ppid=24822 vsize=915744 CPUtime=0
/proc/24824/task/24831/stat : 24831 (java) S 24822 24824 23437 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270771766 937721856 31901 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24824/tid=24832] ppid=24822 vsize=915744 CPUtime=0
/proc/24824/task/24832/stat : 24832 (java) S 24822 24824 23437 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270771766 937721856 31901 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.25792 s]
/proc/loadavg: 1.90 1.96 1.98 3/101 24832
/proc/meminfo: memFree=1243760/2055920 swapFree=4182144/4192956
[pid=24824] ppid=24822 vsize=915744 CPUtime=6.18
/proc/24824/stat : 24824 (java) R 24822 24824 23437 0 -1 0 32170 0 1 0 603 15 0 0 25 0 8 0 270771758 937721856 31901 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073835180 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24824/statm: 228936 31901 2184 14 0 215406 0
[pid=24824/tid=24826] ppid=24822 vsize=915744 CPUtime=0.26
/proc/24824/task/24826/stat : 24826 (java) S 24822 24824 23437 0 -1 64 15528 0 0 0 21 5 0 0 16 0 8 0 270771762 937721856 31901 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24824/tid=24827] ppid=24822 vsize=915744 CPUtime=0
/proc/24824/task/24827/stat : 24827 (java) S 24822 24824 23437 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270771763 937721856 31901 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24824/tid=24828] ppid=24822 vsize=915744 CPUtime=0
/proc/24824/task/24828/stat : 24828 (java) S 24822 24824 23437 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270771763 937721856 31901 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24824/tid=24829] ppid=24822 vsize=915744 CPUtime=0
/proc/24824/task/24829/stat : 24829 (java) S 24822 24824 23437 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270771766 937721856 31901 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24824/tid=24830] ppid=24822 vsize=915744 CPUtime=0.18
/proc/24824/task/24830/stat : 24830 (java) S 24822 24824 23437 0 -1 64 416 0 0 0 17 1 0 0 16 0 8 0 270771766 937721856 31901 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24824/tid=24831] ppid=24822 vsize=915744 CPUtime=0
/proc/24824/task/24831/stat : 24831 (java) S 24822 24824 23437 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270771766 937721856 31901 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24824/tid=24832] ppid=24822 vsize=915744 CPUtime=0
/proc/24824/task/24832/stat : 24832 (java) S 24822 24824 23437 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270771766 937721856 31901 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 915744

[startup+12.7395 s]
/proc/loadavg: 1.91 1.96 1.98 3/101 24832
/proc/meminfo: memFree=1243824/2055920 swapFree=4182144/4192956
[pid=24824] ppid=24822 vsize=915744 CPUtime=12.6
/proc/24824/stat : 24824 (java) R 24822 24824 23437 0 -1 0 32172 0 1 0 1245 15 0 0 25 0 8 0 270771758 937721856 31903 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073833622 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24824/statm: 228936 31903 2184 14 0 215406 0
[pid=24824/tid=24826] ppid=24822 vsize=915744 CPUtime=0.26
/proc/24824/task/24826/stat : 24826 (java) S 24822 24824 23437 0 -1 64 15528 0 0 0 21 5 0 0 16 0 8 0 270771762 937721856 31903 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24824/tid=24827] ppid=24822 vsize=915744 CPUtime=0
/proc/24824/task/24827/stat : 24827 (java) S 24822 24824 23437 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270771763 937721856 31903 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24824/tid=24828] ppid=24822 vsize=915744 CPUtime=0
/proc/24824/task/24828/stat : 24828 (java) S 24822 24824 23437 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270771763 937721856 31903 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24824/tid=24829] ppid=24822 vsize=915744 CPUtime=0
/proc/24824/task/24829/stat : 24829 (java) S 24822 24824 23437 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270771766 937721856 31903 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24824/tid=24830] ppid=24822 vsize=915744 CPUtime=0.18
/proc/24824/task/24830/stat : 24830 (java) S 24822 24824 23437 0 -1 64 418 0 0 0 17 1 0 0 16 0 8 0 270771766 937721856 31903 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24824/tid=24831] ppid=24822 vsize=915744 CPUtime=0
/proc/24824/task/24831/stat : 24831 (java) S 24822 24824 23437 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270771766 937721856 31903 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24824/tid=24832] ppid=24822 vsize=915744 CPUtime=0
/proc/24824/task/24832/stat : 24832 (java) S 24822 24824 23437 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270771766 937721856 31903 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 915744

[startup+25.6108 s]
/proc/loadavg: 1.93 1.96 1.98 3/101 24832
/proc/meminfo: memFree=1238704/2055920 swapFree=4182144/4192956
[pid=24824] ppid=24822 vsize=915744 CPUtime=25.36
/proc/24824/stat : 24824 (java) R 24822 24824 23437 0 -1 0 33528 0 1 0 2520 16 0 0 25 0 8 0 270771758 937721856 33258 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073835111 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24824/statm: 228936 33258 2184 14 0 215406 0
[pid=24824/tid=24826] ppid=24822 vsize=915744 CPUtime=0.33
/proc/24824/task/24826/stat : 24826 (java) S 24822 24824 23437 0 -1 64 16876 0 0 0 27 6 0 0 16 0 8 0 270771762 937721856 33258 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24824/tid=24827] ppid=24822 vsize=915744 CPUtime=0
/proc/24824/task/24827/stat : 24827 (java) S 24822 24824 23437 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270771763 937721856 33258 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24824/tid=24828] ppid=24822 vsize=915744 CPUtime=0
/proc/24824/task/24828/stat : 24828 (java) S 24822 24824 23437 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270771763 937721856 33258 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24824/tid=24829] ppid=24822 vsize=915744 CPUtime=0
/proc/24824/task/24829/stat : 24829 (java) S 24822 24824 23437 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270771766 937721856 33258 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24824/tid=24830] ppid=24822 vsize=915744 CPUtime=0.19
/proc/24824/task/24830/stat : 24830 (java) S 24822 24824 23437 0 -1 64 425 0 0 0 18 1 0 0 16 0 8 0 270771766 937721856 33258 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24824/tid=24831] ppid=24822 vsize=915744 CPUtime=0
/proc/24824/task/24831/stat : 24831 (java) S 24822 24824 23437 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270771766 937721856 33258 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24824/tid=24832] ppid=24822 vsize=915744 CPUtime=0
/proc/24824/task/24832/stat : 24832 (java) S 24822 24824 23437 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270771766 937721856 33258 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 915744

[startup+51.2422 s]
/proc/loadavg: 1.95 1.96 1.98 3/101 24832
/proc/meminfo: memFree=1238768/2055920 swapFree=4182144/4192956
[pid=24824] ppid=24822 vsize=915744 CPUtime=50.75
/proc/24824/stat : 24824 (java) R 24822 24824 23437 0 -1 0 33534 0 1 0 5058 17 0 0 25 0 8 0 270771758 937721856 33263 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073828962 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24824/statm: 228936 33263 2185 14 0 215406 0
[pid=24824/tid=24826] ppid=24822 vsize=915744 CPUtime=0.33
/proc/24824/task/24826/stat : 24826 (java) S 24822 24824 23437 0 -1 64 16876 0 0 0 27 6 0 0 16 0 8 0 270771762 937721856 33263 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24824/tid=24827] ppid=24822 vsize=915744 CPUtime=0
/proc/24824/task/24827/stat : 24827 (java) S 24822 24824 23437 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270771763 937721856 33263 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24824/tid=24828] ppid=24822 vsize=915744 CPUtime=0
/proc/24824/task/24828/stat : 24828 (java) S 24822 24824 23437 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270771763 937721856 33263 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24824/tid=24829] ppid=24822 vsize=915744 CPUtime=0
/proc/24824/task/24829/stat : 24829 (java) S 24822 24824 23437 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270771766 937721856 33263 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24824/tid=24830] ppid=24822 vsize=915744 CPUtime=0.2
/proc/24824/task/24830/stat : 24830 (java) S 24822 24824 23437 0 -1 64 429 0 0 0 19 1 0 0 16 0 8 0 270771766 937721856 33263 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24824/tid=24831] ppid=24822 vsize=915744 CPUtime=0
/proc/24824/task/24831/stat : 24831 (java) S 24822 24824 23437 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270771766 937721856 33263 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24824/tid=24832] ppid=24822 vsize=915744 CPUtime=0
/proc/24824/task/24832/stat : 24832 (java) S 24822 24824 23437 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270771766 937721856 33263 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.75
Current children cumulated vsize (KiB) 915744

[startup+102.499 s]
/proc/loadavg: 1.98 1.97 1.98 3/101 24832
/proc/meminfo: memFree=1188208/2055920 swapFree=4182144/4192956
[pid=24824] ppid=24822 vsize=915744 CPUtime=101.53
/proc/24824/stat : 24824 (java) R 24822 24824 23437 0 -1 0 46546 0 1 0 10129 24 0 0 25 0 8 0 270771758 937721856 46216 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073470035 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24824/statm: 228936 46216 2504 14 0 215406 0
[pid=24824/tid=24826] ppid=24822 vsize=915744 CPUtime=1.36
/proc/24824/task/24826/stat : 24826 (java) S 24822 24824 23437 0 -1 64 29502 0 0 0 125 11 0 0 16 0 8 0 270771762 937721856 46216 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24824/tid=24827] ppid=24822 vsize=915744 CPUtime=0
/proc/24824/task/24827/stat : 24827 (java) S 24822 24824 23437 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270771763 937721856 46216 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24824/tid=24828] ppid=24822 vsize=915744 CPUtime=0
/proc/24824/task/24828/stat : 24828 (java) S 24822 24824 23437 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270771763 937721856 46216 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24824/tid=24829] ppid=24822 vsize=915744 CPUtime=0
/proc/24824/task/24829/stat : 24829 (java) S 24822 24824 23437 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270771766 937721856 46216 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24824/tid=24830] ppid=24822 vsize=915744 CPUtime=0.26
/proc/24824/task/24830/stat : 24830 (java) S 24822 24824 23437 0 -1 64 464 0 0 0 25 1 0 0 15 0 8 0 270771766 937721856 46216 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24824/tid=24831] ppid=24822 vsize=915744 CPUtime=0
/proc/24824/task/24831/stat : 24831 (java) S 24822 24824 23437 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270771766 937721856 46216 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24824/tid=24832] ppid=24822 vsize=915744 CPUtime=0
/proc/24824/task/24832/stat : 24832 (java) S 24822 24824 23437 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270771766 937721856 46216 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.53
Current children cumulated vsize (KiB) 915744

[startup+162.585 s]
/proc/loadavg: 2.07 1.99 1.99 3/101 24832
/proc/meminfo: memFree=1188208/2055920 swapFree=4182144/4192956
[pid=24824] ppid=24822 vsize=915744 CPUtime=161.06
/proc/24824/stat : 24824 (java) R 24822 24824 23437 0 -1 0 46547 0 1 0 16080 26 0 0 25 0 8 0 270771758 937721856 46217 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073997365 0 4 0 23759 18446744073709551615 0 0 17 1 0 0

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

Current children cumulated CPU time (s) 2005.9
Current children cumulated vsize (KiB) 915884

[startup+2084.56 s]
/proc/loadavg: 2.04 2.02 2.00 3/101 24832
/proc/meminfo: memFree=831920/2055920 swapFree=4182144/4192956
[pid=24824] ppid=24822 vsize=915884 CPUtime=2065.4
/proc/24824/stat : 24824 (java) R 24822 24824 23437 0 -1 0 135448 0 1 0 206448 92 0 0 25 0 8 0 270771758 937865216 135100 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073849143 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24824/statm: 228971 135100 2551 14 0 215441 0
[pid=24824/tid=24826] ppid=24822 vsize=915884 CPUtime=2.15
/proc/24824/task/24826/stat : 24826 (java) S 24822 24824 23437 0 -1 64 118164 0 0 0 174 41 0 0 16 0 8 0 270771762 937865216 135100 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24824/tid=24827] ppid=24822 vsize=915884 CPUtime=0
/proc/24824/task/24827/stat : 24827 (java) S 24822 24824 23437 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270771763 937865216 135100 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24824/tid=24828] ppid=24822 vsize=915884 CPUtime=0
/proc/24824/task/24828/stat : 24828 (java) S 24822 24824 23437 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270771763 937865216 135100 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24824/tid=24829] ppid=24822 vsize=915884 CPUtime=0
/proc/24824/task/24829/stat : 24829 (java) S 24822 24824 23437 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270771766 937865216 135100 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24824/tid=24830] ppid=24822 vsize=915884 CPUtime=0.38
/proc/24824/task/24830/stat : 24830 (java) S 24822 24824 23437 0 -1 64 587 0 0 0 37 1 0 0 16 0 8 0 270771766 937865216 135100 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24824/tid=24831] ppid=24822 vsize=915884 CPUtime=0
/proc/24824/task/24831/stat : 24831 (java) S 24822 24824 23437 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270771766 937865216 135100 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24824/tid=24832] ppid=24822 vsize=915884 CPUtime=0
/proc/24824/task/24832/stat : 24832 (java) S 24822 24824 23437 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270771766 937865216 135100 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2065.4
Current children cumulated vsize (KiB) 915884

[startup+2144.63 s]
/proc/loadavg: 2.01 2.02 2.00 3/101 24832
/proc/meminfo: memFree=831920/2055920 swapFree=4182144/4192956
[pid=24824] ppid=24822 vsize=915884 CPUtime=2124.93
/proc/24824/stat : 24824 (java) R 24822 24824 23437 0 -1 0 135448 0 1 0 212401 92 0 0 25 0 8 0 270771758 937865216 135100 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073834464 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24824/statm: 228971 135100 2551 14 0 215441 0
[pid=24824/tid=24826] ppid=24822 vsize=915884 CPUtime=2.15
/proc/24824/task/24826/stat : 24826 (java) S 24822 24824 23437 0 -1 64 118164 0 0 0 174 41 0 0 16 0 8 0 270771762 937865216 135100 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24824/tid=24827] ppid=24822 vsize=915884 CPUtime=0
/proc/24824/task/24827/stat : 24827 (java) S 24822 24824 23437 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270771763 937865216 135100 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24824/tid=24828] ppid=24822 vsize=915884 CPUtime=0
/proc/24824/task/24828/stat : 24828 (java) S 24822 24824 23437 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270771763 937865216 135100 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24824/tid=24829] ppid=24822 vsize=915884 CPUtime=0
/proc/24824/task/24829/stat : 24829 (java) S 24822 24824 23437 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270771766 937865216 135100 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24824/tid=24830] ppid=24822 vsize=915884 CPUtime=0.38
/proc/24824/task/24830/stat : 24830 (java) S 24822 24824 23437 0 -1 64 587 0 0 0 37 1 0 0 16 0 8 0 270771766 937865216 135100 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24824/tid=24831] ppid=24822 vsize=915884 CPUtime=0
/proc/24824/task/24831/stat : 24831 (java) S 24822 24824 23437 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270771766 937865216 135100 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24824/tid=24832] ppid=24822 vsize=915884 CPUtime=0
/proc/24824/task/24832/stat : 24832 (java) S 24822 24824 23437 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270771766 937865216 135100 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2124.93
Current children cumulated vsize (KiB) 915884

[startup+2204.69 s]
/proc/loadavg: 2.05 2.03 2.00 3/101 24832
/proc/meminfo: memFree=831920/2055920 swapFree=4182144/4192956
[pid=24824] ppid=24822 vsize=915884 CPUtime=2184.71
/proc/24824/stat : 24824 (java) R 24822 24824 23437 0 -1 0 135448 0 1 0 218378 93 0 0 25 0 8 0 270771758 937865216 135100 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073470044 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24824/statm: 228971 135100 2551 14 0 215441 0
[pid=24824/tid=24826] ppid=24822 vsize=915884 CPUtime=2.15
/proc/24824/task/24826/stat : 24826 (java) S 24822 24824 23437 0 -1 64 118164 0 0 0 174 41 0 0 16 0 8 0 270771762 937865216 135100 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24824/tid=24827] ppid=24822 vsize=915884 CPUtime=0
/proc/24824/task/24827/stat : 24827 (java) S 24822 24824 23437 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270771763 937865216 135100 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24824/tid=24828] ppid=24822 vsize=915884 CPUtime=0
/proc/24824/task/24828/stat : 24828 (java) S 24822 24824 23437 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270771763 937865216 135100 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24824/tid=24829] ppid=24822 vsize=915884 CPUtime=0
/proc/24824/task/24829/stat : 24829 (java) S 24822 24824 23437 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270771766 937865216 135100 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24824/tid=24830] ppid=24822 vsize=915884 CPUtime=0.38
/proc/24824/task/24830/stat : 24830 (java) S 24822 24824 23437 0 -1 64 587 0 0 0 37 1 0 0 16 0 8 0 270771766 937865216 135100 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24824/tid=24831] ppid=24822 vsize=915884 CPUtime=0
/proc/24824/task/24831/stat : 24831 (java) S 24822 24824 23437 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270771766 937865216 135100 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24824/tid=24832] ppid=24822 vsize=915884 CPUtime=0
/proc/24824/task/24832/stat : 24832 (java) S 24822 24824 23437 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270771766 937865216 135100 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2184.71
Current children cumulated vsize (KiB) 915884

[startup+2264.74 s]
/proc/loadavg: 2.08 2.04 2.00 3/101 24832
/proc/meminfo: memFree=831920/2055920 swapFree=4182144/4192956
[pid=24824] ppid=24822 vsize=915884 CPUtime=2244.48
/proc/24824/stat : 24824 (java) R 24822 24824 23437 0 -1 0 135448 0 1 0 224355 93 0 0 25 0 8 0 270771758 937865216 135100 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073832752 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24824/statm: 228971 135100 2551 14 0 215441 0
[pid=24824/tid=24826] ppid=24822 vsize=915884 CPUtime=2.15
/proc/24824/task/24826/stat : 24826 (java) S 24822 24824 23437 0 -1 64 118164 0 0 0 174 41 0 0 16 0 8 0 270771762 937865216 135100 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24824/tid=24827] ppid=24822 vsize=915884 CPUtime=0
/proc/24824/task/24827/stat : 24827 (java) S 24822 24824 23437 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270771763 937865216 135100 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24824/tid=24828] ppid=24822 vsize=915884 CPUtime=0
/proc/24824/task/24828/stat : 24828 (java) S 24822 24824 23437 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270771763 937865216 135100 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24824/tid=24829] ppid=24822 vsize=915884 CPUtime=0
/proc/24824/task/24829/stat : 24829 (java) S 24822 24824 23437 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270771766 937865216 135100 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24824/tid=24830] ppid=24822 vsize=915884 CPUtime=0.38
/proc/24824/task/24830/stat : 24830 (java) S 24822 24824 23437 0 -1 64 587 0 0 0 37 1 0 0 16 0 8 0 270771766 937865216 135100 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24824/tid=24831] ppid=24822 vsize=915884 CPUtime=0
/proc/24824/task/24831/stat : 24831 (java) S 24822 24824 23437 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270771766 937865216 135100 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24824/tid=24832] ppid=24822 vsize=915884 CPUtime=0
/proc/24824/task/24832/stat : 24832 (java) S 24822 24824 23437 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270771766 937865216 135100 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2244.48
Current children cumulated vsize (KiB) 915884

[startup+2324.81 s]
/proc/loadavg: 2.03 2.03 2.00 3/107 24940
/proc/meminfo: memFree=830576/2055920 swapFree=4182144/4192956
[pid=24824] ppid=24822 vsize=915884 CPUtime=2304.17
/proc/24824/stat : 24824 (java) R 24822 24824 23437 0 -1 0 135448 0 1 0 230323 94 0 0 25 0 8 0 270771758 937865216 135100 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073835111 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24824/statm: 228971 135100 2551 14 0 215441 0
[pid=24824/tid=24826] ppid=24822 vsize=915884 CPUtime=2.15
/proc/24824/task/24826/stat : 24826 (java) S 24822 24824 23437 0 -1 64 118164 0 0 0 174 41 0 0 16 0 8 0 270771762 937865216 135100 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24824/tid=24827] ppid=24822 vsize=915884 CPUtime=0
/proc/24824/task/24827/stat : 24827 (java) S 24822 24824 23437 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270771763 937865216 135100 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24824/tid=24828] ppid=24822 vsize=915884 CPUtime=0
/proc/24824/task/24828/stat : 24828 (java) S 24822 24824 23437 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270771763 937865216 135100 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24824/tid=24829] ppid=24822 vsize=915884 CPUtime=0
/proc/24824/task/24829/stat : 24829 (java) S 24822 24824 23437 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270771766 937865216 135100 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24824/tid=24830] ppid=24822 vsize=915884 CPUtime=0.38
/proc/24824/task/24830/stat : 24830 (java) S 24822 24824 23437 0 -1 64 587 0 0 0 37 1 0 0 16 0 8 0 270771766 937865216 135100 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24824/tid=24831] ppid=24822 vsize=915884 CPUtime=0
/proc/24824/task/24831/stat : 24831 (java) S 24822 24824 23437 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270771766 937865216 135100 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24824/tid=24832] ppid=24822 vsize=915884 CPUtime=0
/proc/24824/task/24832/stat : 24832 (java) S 24822 24824 23437 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270771766 937865216 135100 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2304.17
Current children cumulated vsize (KiB) 915884

[startup+2384.82 s]
/proc/loadavg: 2.05 2.03 2.00 4/100 25090
/proc/meminfo: memFree=517048/2055920 swapFree=4182144/4192956
[pid=24824] ppid=24822 vsize=915884 CPUtime=2363.96
/proc/24824/stat : 24824 (java) R 24822 24824 23437 0 -1 0 135448 0 1 0 236295 101 0 0 25 0 8 0 270771758 937865216 135100 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073836471 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24824/statm: 228971 135100 2551 14 0 215441 0
[pid=24824/tid=24826] ppid=24822 vsize=915884 CPUtime=2.15
/proc/24824/task/24826/stat : 24826 (java) S 24822 24824 23437 0 -1 64 118164 0 0 0 174 41 0 0 16 0 8 0 270771762 937865216 135100 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24824/tid=24827] ppid=24822 vsize=915884 CPUtime=0
/proc/24824/task/24827/stat : 24827 (java) S 24822 24824 23437 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270771763 937865216 135100 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24824/tid=24828] ppid=24822 vsize=915884 CPUtime=0
/proc/24824/task/24828/stat : 24828 (java) S 24822 24824 23437 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270771763 937865216 135100 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24824/tid=24829] ppid=24822 vsize=915884 CPUtime=0
/proc/24824/task/24829/stat : 24829 (java) S 24822 24824 23437 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270771766 937865216 135100 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24824/tid=24830] ppid=24822 vsize=915884 CPUtime=0.38
/proc/24824/task/24830/stat : 24830 (java) S 24822 24824 23437 0 -1 64 587 0 0 0 37 1 0 0 16 0 8 0 270771766 937865216 135100 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24824/tid=24831] ppid=24822 vsize=915884 CPUtime=0
/proc/24824/task/24831/stat : 24831 (java) S 24822 24824 23437 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270771766 937865216 135100 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24824/tid=24832] ppid=24822 vsize=915884 CPUtime=0
/proc/24824/task/24832/stat : 24832 (java) S 24822 24824 23437 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270771766 937865216 135100 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2363.96
Current children cumulated vsize (KiB) 915884



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2420.96 s]
/proc/loadavg: 2.03 2.03 2.00 3/100 25090
/proc/meminfo: memFree=517048/2055920 swapFree=4182144/4192956
[pid=24824] ppid=24822 vsize=915884 CPUtime=2400.06
/proc/24824/stat : 24824 (java) R 24822 24824 23437 0 -1 0 135448 0 1 0 239905 101 0 0 25 0 8 0 270771758 937865216 135100 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073829029 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24824/statm: 228971 135100 2551 14 0 215441 0
[pid=24824/tid=24826] ppid=24822 vsize=915884 CPUtime=2.15
/proc/24824/task/24826/stat : 24826 (java) S 24822 24824 23437 0 -1 64 118164 0 0 0 174 41 0 0 16 0 8 0 270771762 937865216 135100 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24824/tid=24827] ppid=24822 vsize=915884 CPUtime=0
/proc/24824/task/24827/stat : 24827 (java) S 24822 24824 23437 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270771763 937865216 135100 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24824/tid=24828] ppid=24822 vsize=915884 CPUtime=0
/proc/24824/task/24828/stat : 24828 (java) S 24822 24824 23437 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270771763 937865216 135100 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24824/tid=24829] ppid=24822 vsize=915884 CPUtime=0
/proc/24824/task/24829/stat : 24829 (java) S 24822 24824 23437 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270771766 937865216 135100 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24824/tid=24830] ppid=24822 vsize=915884 CPUtime=0.38
/proc/24824/task/24830/stat : 24830 (java) S 24822 24824 23437 0 -1 64 587 0 0 0 37 1 0 0 16 0 8 0 270771766 937865216 135100 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24824/tid=24831] ppid=24822 vsize=915884 CPUtime=0
/proc/24824/task/24831/stat : 24831 (java) S 24822 24824 23437 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270771766 937865216 135100 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24824/tid=24832] ppid=24822 vsize=915884 CPUtime=0
/proc/24824/task/24832/stat : 24832 (java) S 24822 24824 23437 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270771766 937865216 135100 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2400.06
Current children cumulated vsize (KiB) 915884

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

Child status: 143
Real time (s): 2421.11
CPU time (s): 2400.21
CPU user time (s): 2399.11
CPU system time (s): 1.09983
CPU usage (%): 99.1368
Max. virtual memory (cumulated for all children) (KiB): 915996

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.11
system time used= 1.09983
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 135472
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= 50711
involuntary context switches= 141058

runsolver used 3.13352 s user time and 7.71583 s system time

The end

Launcher Data (download as text)

Begin job on node4 on Fri Jan 19 16:22:42 UTC 2007


IDJOB= 275591
IDBENCH= 4140
IDSOLVER= 68
FILE ID= node4/275591-1169223762

PBS_JOBID= 3588930

Free space on /tmp= 66557 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  82b2049137acde119d642358846e7753

RANDOM SEED= 634950393

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1363848 kB
Buffers:         63148 kB
Cached:         494820 kB
SwapCached:       2148 kB
Active:         173248 kB
Inactive:       436160 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1363848 kB
SwapTotal:     4192956 kB
SwapFree:      4182144 kB
Dirty:            7596 kB
Writeback:           0 kB
Mapped:          68852 kB
Slab:            67160 kB
Committed_AS:  7371092 kB
PageTables:       2504 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= 66549 MiB



End job on node4 on Fri Jan 19 17:03:03 UTC 2007