Trace number 275592

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
AbsconMax 109 PFCMSAT (TO) 2400.18 2411.65

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.30	   
0.30	Abscon 109 (November, 2006)
0.30	   
0.30	   configuration
0.30	     name=pfc.xml
0.34	   
0.34	   instance
0.34	     name=/tmp/evaluation/275592-1169223764/unknown.xml
0.37	   
0.37	   domains being loaded...
0.41	   
0.41	   variables being loaded...
0.88	     nbVariables=2250  nbDomainTypes=22  minDomainSize=42  maxDomainSize=998
0.88	       =>  wckTime=0.574  cpuTime=0.39  mem=46M736
0.88	   
0.88	   predicates being loaded...
0.88	   
0.88	   constraints being loaded...
61.44	   
61.44	   INFO : Stopping converting binary constraints (cpu=60.1, mem = 107M565)
65.51	     nbConstraints=42699  nbConvertedConstraints=330  nbConvertConstraintsChecks=188063536  nbExtensionStructures=316
65.51	     nbSharedExtensionStructures=14  nbConflictsStructures=316  nbSharedConflictsStructures=14
65.51	     nbSharedBinaryRepresentations=398668  nbEvaluationManagers=21107  nbSharedEvaluationManagers=21262  maxDegree=136
65.51	     maxArity=2
65.51	       =>  wckTime=65.205  cpuTime=63.44  mem=144M918
65.94	   
65.94	   solver LocalSearchSolver being built... 
65.99	       =>  wckTime=65.683  cpuTime=63.49  mem=115M562
67.63	
67.63	s SATISFIABLE
67.63	o 30892
67.63	c 11807
68.76	o 30910
68.76	c 11789
69.39	o 30928
69.39	c 11771
69.94	o 30943
69.94	c 11756
70.30	o 30953
70.30	c 11746
70.67	o 30968
70.67	c 11731
71.17	o 30985
71.17	c 11714
71.53	o 31000
71.53	c 11699
71.98	o 31015
71.98	c 11684
72.33	o 31028
72.33	c 11671
72.70	o 31041
72.70	c 11658
73.13	o 31047
73.13	c 11652
73.50	o 31062
73.50	c 11637
73.68	o 31070
73.68	c 11629
74.09	o 31089
74.09	c 11610
74.47	o 31108
74.47	c 11591
74.83	o 31113
74.84	c 11586
75.32	o 31119
75.32	c 11580
75.65	o 31132
75.65	c 11567
75.98	o 31143
75.98	c 11556
76.45	o 31159
76.45	c 11540
76.93	o 31173
76.93	c 11526
77.31	o 31184
77.31	c 11515
77.64	o 31201
77.64	c 11498
77.99	o 31202
77.99	c 11497
78.35	o 31218
78.35	c 11481
78.67	o 31233
78.67	c 11466
78.88	o 31243
78.88	c 11456
79.19	o 31258
79.19	c 11441
79.49	o 31269
79.49	c 11430
79.86	o 31285
79.86	c 11414
80.18	o 31297
80.18	c 11402
80.55	o 31317
80.56	c 11382
80.97	o 31323
80.97	c 11376
81.25	o 31333
81.25	c 11366
81.60	o 31338
81.60	c 11361
81.95	o 31346
81.95	c 11353
82.25	o 31357
82.25	c 11342
82.48	o 31368
82.48	c 11331
82.71	o 31382
82.71	c 11317
82.91	o 31386
82.91	c 11313
83.29	o 31398
83.29	c 11301
83.54	o 31409
83.54	c 11290
83.94	o 31411
83.94	c 11288
84.31	o 31418
84.31	c 11281
84.63	o 31430
84.63	c 11269
85.12	o 31436
85.12	c 11263
85.73	o 31450
85.73	c 11249
86.07	o 31451
86.07	c 11248
86.38	o 31458
86.38	c 11241
86.70	o 31466
86.70	c 11233
87.03	o 31474
87.03	c 11225
87.38	o 31485
87.38	c 11214
87.58	o 31489
87.58	c 11210
87.92	o 31494
87.92	c 11205
88.09	o 31507
88.09	c 11192
88.56	o 31518
88.56	c 11181
88.84	o 31531
88.84	c 11168
89.11	o 31533
89.11	c 11166
89.46	o 31551
89.46	c 11148
89.66	o 31560
89.66	c 11139
90.14	o 31566
90.14	c 11133
90.49	o 31572
90.49	c 11127
90.87	o 31574
90.87	c 11125
91.20	o 31585
91.20	c 11114
91.41	o 31589
91.41	c 11110
91.77	o 31590
91.77	c 11109
92.01	o 31591
92.01	c 11108
92.32	o 31603
92.32	c 11096
92.69	o 31606
92.69	c 11093
93.05	o 31616
93.05	c 11083
93.43	o 31622
93.43	c 11077
93.79	o 31634
93.79	c 11065
93.95	o 31647
93.95	c 11052
94.50	o 31651
94.50	c 11048
94.78	o 31663
94.78	c 11036
95.23	o 31668
95.23	c 11031
95.54	o 31674
95.54	c 11025
95.96	o 31679
95.96	c 11020
96.59	o 31689
96.59	c 11010
97.01	o 31700
97.01	c 10999
97.45	o 31711
97.45	c 10988
97.97	o 31714
97.97	c 10985
98.40	o 31721
98.40	c 10978
98.97	o 31728
98.97	c 10971
99.49	o 31736
99.49	c 10963
100.01	o 31739
100.01	c 10960
100.36	o 31750
100.36	c 10949
100.80	o 31757
100.80	c 10942
101.71	o 31760
101.71	c 10939
102.25	o 31768
102.25	c 10931
102.76	o 31771
102.76	c 10928
103.24	o 31786
103.24	c 10913
103.82	o 31792
103.82	c 10907
104.50	o 31795
104.50	c 10904
105.08	o 31803
105.08	c 10896
105.72	o 31812
105.72	c 10887
106.24	o 31823
106.24	c 10876
106.83	o 31838
106.83	c 10861
107.38	o 31841
107.38	c 10858
107.96	o 31847
107.96	c 10852
108.57	o 31852
108.57	c 10847
109.22	o 31869
109.23	c 10830
109.82	o 31871
109.82	c 10828
110.44	o 31875
110.44	c 10824
111.16	o 31878
111.16	c 10821
111.65	o 31884
111.65	c 10815
112.37	o 31888
112.37	c 10811
113.11	o 31893
113.11	c 10806
113.79	o 31903
113.79	c 10796
116.09	o 31906
116.09	c 10793
116.65	o 31907
116.65	c 10792
117.24	o 31924
117.24	c 10775
117.84	o 31931
117.84	c 10768
118.87	o 31937
118.87	c 10762
119.41	o 31940
119.41	c 10759
120.00	o 31943
120.00	c 10756
120.35	o 31949
120.35	c 10750
120.90	o 31957
120.90	c 10742
121.19	o 31958
121.19	c 10741
122.14	o 31962
122.14	c 10737
122.69	o 31973
122.69	c 10726
123.21	o 31976
123.21	c 10723
124.32	o 31982
124.32	c 10717
124.87	o 31989
124.87	c 10710
125.45	o 32009
125.45	c 10690
125.97	o 32013
125.97	c 10686
126.58	o 32022
126.58	c 10677
127.60	o 32027
127.60	c 10672
128.15	o 32033
128.15	c 10666
128.80	o 32035
128.80	c 10664
129.20	o 32040
129.20	c 10659
129.73	o 32042
129.73	c 10657
130.21	o 32045
130.21	c 10654
130.61	o 32046
130.61	c 10653
131.10	o 32051
131.10	c 10648
131.62	o 32058
131.62	c 10641
132.16	o 32062
132.16	c 10637
132.52	o 32065
132.52	c 10634
133.03	o 32077
133.03	c 10622
134.02	o 32080
134.02	c 10619
134.45	o 32092
134.45	c 10607
134.90	o 32105
134.90	c 10594
135.30	o 32119
135.30	c 10580
135.68	o 32128
135.68	c 10571
136.10	o 32132
136.10	c 10567
136.53	o 32141
136.53	c 10558
136.96	o 32145
136.96	c 10554
137.33	o 32155
137.33	c 10544
137.74	o 32164
137.74	c 10535
138.19	o 32171
138.19	c 10528
138.73	o 32183
138.73	c 10516
139.24	o 32186
139.24	c 10513
139.75	o 32187
139.75	c 10512
140.17	o 32188
140.17	c 10511
140.81	o 32197
140.81	c 10502
141.76	o 32198
141.76	c 10501
142.28	o 32206
142.28	c 10493
142.78	o 32208
142.78	c 10491
143.37	o 32209
143.37	c 10490
143.92	o 32215
143.92	c 10484
144.47	o 32218
144.47	c 10481
145.04	o 32223
145.04	c 10476
145.56	o 32224
145.56	c 10475
146.08	o 32229
146.08	c 10470
146.59	o 32241
146.59	c 10458
147.08	o 32245
147.08	c 10454
147.61	o 32254
147.61	c 10445
148.15	o 32261
148.15	c 10438
148.72	o 32267
148.72	c 10432
149.32	o 32273
149.32	c 10426
149.85	o 32278
149.85	c 10421
151.35	o 32280
151.35	c 10419
151.90	o 32282
151.90	c 10417
152.43	o 32284
152.43	c 10415
152.95	o 32294
152.95	c 10405
154.53	o 32296
154.53	c 10403
155.11	o 32297
155.11	c 10402
155.71	o 32309
155.71	c 10390
156.28	o 32313
156.28	c 10386
156.68	o 32315
156.68	c 10384
157.03	o 32316
157.03	c 10383
157.48	o 32317
157.48	c 10382
159.16	o 32329
159.16	c 10370
159.68	o 32340
159.68	c 10359
160.26	o 32350
160.26	c 10349
160.82	o 32355
160.82	c 10344
161.40	o 32358
161.40	c 10341
162.08	o 32359
162.08	c 10340
162.66	o 32364
162.66	c 10335
163.31	o 32377
163.31	c 10322
163.89	o 32381
163.89	c 10318
165.00	o 32390
165.00	c 10309
165.51	o 32398
165.51	c 10301
166.02	o 32405
166.02	c 10294
166.51	o 32420
166.51	c 10279
167.36	o 32425
167.36	c 10274
167.77	o 32432
167.77	c 10267
168.19	o 32441
168.19	c 10258
168.90	o 32447
168.90	c 10252
169.29	o 32462
169.29	c 10237
169.61	o 32473
169.61	c 10226
169.96	o 32482
169.96	c 10217
170.31	o 32491
170.31	c 10208
170.70	o 32499
170.70	c 10200
171.09	o 32506
171.09	c 10193
171.47	o 32513
171.48	c 10186
171.91	o 32520
171.91	c 10179
172.28	o 32527
172.28	c 10172
172.64	o 32534
172.64	c 10165
173.05	o 32540
173.05	c 10159
173.43	o 32546
173.43	c 10153
173.90	o 32551
173.90	c 10148
174.36	o 32556
174.36	c 10143
174.74	o 32560
174.74	c 10139
175.18	o 32562
175.18	c 10137
175.60	o 32566
175.60	c 10133
176.03	o 32570
176.03	c 10129
176.46	o 32571
176.46	c 10128
176.92	o 32574
176.92	c 10125
177.38	o 32577
177.38	c 10122
177.80	o 32584
177.80	c 10115
178.22	o 32587
178.22	c 10112
178.63	o 32599
178.63	c 10100
178.97	o 32601
178.97	c 10098
179.35	o 32603
179.35	c 10096
179.79	o 32619
179.79	c 10080
180.21	o 32623
180.21	c 10076
180.56	o 32625
180.56	c 10074
180.94	o 32627
180.94	c 10072
181.30	o 32629
181.30	c 10070
181.72	o 32631
181.72	c 10068
182.09	o 32633
182.09	c 10066
182.50	o 32635
182.50	c 10064
182.85	o 32636
182.85	c 10063
183.24	o 32637
183.24	c 10062
183.58	o 32638
183.58	c 10061
183.94	o 32639
183.94	c 10060
184.31	o 32640
184.31	c 10059
184.69	o 32641
184.69	c 10058
186.33	o 32642
186.33	c 10057
187.19	o 32656
187.19	c 10043
188.05	o 32664
188.05	c 10035
188.92	o 32665
188.92	c 10034
189.98	o 32666
189.98	c 10033
190.51	o 32671
190.51	c 10028
190.98	o 32683
190.98	c 10016
191.46	o 32684
191.46	c 10015
192.09	o 32689
192.09	c 10010
192.62	o 32697
192.62	c 10002
193.92	o 32705
193.92	c 9994
194.60	o 32708
194.60	c 9991
195.20	o 32711
195.20	c 9988
195.84	o 32722
195.84	c 9977
196.32	o 32726
196.32	c 9973
197.29	o 32729
197.29	c 9970
197.83	o 32734
197.83	c 9965
198.25	o 32735
198.25	c 9964
198.73	o 32738
198.73	c 9961
199.24	o 32745
199.24	c 9954
199.71	o 32747
199.71	c 9952
200.22	o 32753
200.22	c 9946
200.68	o 32759
200.68	c 9940
201.22	o 32765
201.22	c 9934
201.78	o 32773
201.78	c 9926
202.24	o 32778
202.24	c 9921
202.69	o 32781
202.69	c 9918
203.16	o 32784
203.16	c 9915
203.59	o 32786
203.59	c 9913
204.01	o 32794
204.01	c 9905
204.47	o 32796
204.47	c 9903
204.92	o 32798
204.92	c 9901
205.52	o 32799
205.52	c 9900
206.06	o 32803
206.06	c 9896
206.50	o 32804
206.50	c 9895
206.93	o 32805
206.93	c 9894
207.34	o 32806
207.34	c 9893
210.78	o 32812
210.78	c 9887
211.30	o 32821
211.30	c 9878
211.90	o 32824
211.90	c 9875
212.48	o 32832
212.48	c 9867
213.13	o 32836
213.13	c 9863
214.36	o 32841
214.36	c 9858
214.93	o 32844
214.93	c 9855
215.49	o 32854
215.49	c 9845
216.61	o 32868
216.61	c 9831
217.19	o 32876
217.19	c 9823
217.73	o 32877
217.73	c 9822
218.24	o 32879
218.24	c 9820
218.79	o 32889
218.79	c 9810
219.34	o 32900
219.34	c 9799
219.98	o 32902
219.98	c 9797
223.32	o 32904
223.32	c 9795
223.96	o 32917
223.96	c 9782
224.50	o 32928
224.50	c 9771
225.03	o 32932
225.03	c 9767
225.60	o 32934
225.60	c 9765
226.24	o 32945
226.24	c 9754
226.76	o 32947
226.76	c 9752
227.41	o 32955
227.41	c 9744
228.07	o 32966
228.07	c 9733
228.69	o 32972
228.69	c 9727
229.33	o 32977
229.33	c 9722
229.98	o 32982
229.98	c 9717
230.63	o 32986
230.63	c 9713
231.24	o 32990
231.24	c 9709
231.91	o 32994
231.91	c 9705
232.54	o 32997
232.54	c 9702
233.19	o 33000
233.19	c 9699
233.89	o 33003
233.89	c 9696
235.06	o 33005
235.06	c 9694
235.63	o 33016
235.63	c 9683
236.22	o 33019
236.22	c 9680
236.78	o 33022
236.78	c 9677
237.34	o 33031
237.34	c 9668
237.86	o 33034
237.86	c 9665
238.43	o 33036
238.43	c 9663
238.94	o 33038
238.94	c 9661
239.45	o 33040
239.45	c 9659
240.02	o 33042
240.02	c 9657
240.64	o 33044
240.64	c 9655
241.20	o 33046
241.20	c 9653
241.71	o 33058
241.71	c 9641
242.26	o 33063
242.27	c 9636
242.83	o 33065
242.83	c 9634
243.40	o 33066
243.40	c 9633
243.95	o 33067
243.95	c 9632
245.84	o 33072
245.84	c 9627
246.34	o 33080
246.34	c 9619
246.86	o 33086
246.86	c 9613
249.65	o 33091
249.65	c 9608
250.22	o 33100
250.23	c 9599
250.87	o 33108
250.87	c 9591
251.49	o 33118
251.49	c 9581
252.17	o 33120
252.17	c 9579
252.75	o 33137
252.75	c 9562
254.14	o 33147
254.14	c 9552
254.70	o 33149
254.70	c 9550
255.24	o 33154
255.24	c 9545
255.79	o 33157
255.79	c 9542
256.33	o 33160
256.33	c 9539
256.93	o 33164
256.93	c 9535
257.45	o 33166
257.45	c 9533
258.71	o 33170
258.71	c 9529
259.38	o 33175
259.38	c 9524
260.02	o 33177
260.02	c 9522
260.69	o 33190
260.69	c 9509
262.00	o 33198
262.00	c 9501
262.63	o 33211
262.63	c 9488
264.45	o 33213
264.45	c 9486
265.02	o 33218
265.02	c 9481
265.51	o 33227
265.51	c 9472
265.96	o 33228
265.96	c 9471
266.47	o 33229
266.47	c 9470
266.99	o 33230
266.99	c 9469
267.51	o 33236
267.51	c 9463
268.05	o 33242
268.05	c 9457
268.55	o 33259
268.55	c 9440
269.05	o 33263
269.05	c 9436
269.52	o 33269
269.52	c 9430
270.35	o 33273
270.35	c 9426
270.70	o 33277
270.70	c 9422
271.17	o 33279
271.17	c 9420
272.15	o 33280
272.15	c 9419
272.71	o 33287
272.71	c 9412
273.28	o 33294
273.28	c 9405
273.79	o 33300
273.79	c 9399
274.33	o 33305
274.33	c 9394
274.89	o 33313
274.89	c 9386
275.44	o 33317
275.44	c 9382
275.92	o 33321
275.92	c 9378
276.44	o 33325
276.44	c 9374
276.92	o 33328
276.92	c 9371
277.39	o 33331
277.39	c 9368
277.87	o 33337
277.87	c 9362
278.41	o 33346
278.41	c 9353
278.90	o 33349
278.90	c 9350
279.38	o 33352
279.38	c 9347
279.92	o 33354
279.92	c 9345
280.46	o 33356
280.46	c 9343
281.03	o 33358
281.03	c 9341
281.61	o 33362
281.61	c 9337
282.15	o 33364
282.15	c 9335
282.68	o 33366
282.68	c 9333
283.25	o 33368
283.25	c 9331
283.81	o 33370
283.81	c 9329
284.37	o 33372
284.37	c 9327
284.87	o 33374
284.87	c 9325
285.43	o 33376
285.43	c 9323
286.01	o 33377
286.01	c 9322
286.57	o 33378
286.57	c 9321
288.12	o 33379
288.12	c 9320
288.69	o 33380
288.69	c 9319
289.16	o 33381
289.16	c 9318
289.73	o 33382
289.73	c 9317
290.26	o 33383
290.26	c 9316
291.90	o 33399
291.90	c 9300
294.58	o 33401
294.58	c 9298
295.15	o 33412
295.15	c 9287
295.67	o 33419
295.67	c 9280
296.15	o 33423
296.15	c 9276
296.69	o 33429
296.69	c 9270
297.26	o 33430
297.26	c 9269
298.39	o 33438
298.39	c 9261
298.97	o 33439
298.97	c 9260
299.51	o 33446
299.51	c 9253
300.06	o 33448
300.06	c 9251
300.65	o 33453
300.65	c 9246
301.19	o 33458
301.19	c 9241
301.84	o 33462
301.84	c 9237
302.49	o 33473
302.49	c 9226
303.05	o 33483
303.05	c 9216
303.65	o 33486
303.65	c 9213
304.21	o 33494
304.21	c 9205
304.77	o 33495
304.77	c 9204
305.44	o 33503
305.44	c 9196
305.99	o 33508
305.99	c 9191
306.60	o 33510
306.60	c 9189
307.26	o 33514
307.26	c 9185
308.47	o 33520
308.47	c 9179
309.08	o 33522
309.08	c 9177
309.68	o 33525
309.68	c 9174
311.60	o 33527
311.60	c 9172
312.27	o 33535
312.27	c 9164
312.95	o 33536
312.95	c 9163
313.68	o 33537
313.68	c 9162
314.52	o 33543
314.52	c 9156
315.19	o 33547
315.19	c 9152
315.91	o 33549
315.91	c 9150
316.60	o 33552
316.60	c 9147
317.20	o 33559
317.20	c 9140
317.81	o 33565
317.81	c 9134
319.11	o 33566
319.11	c 9133
319.73	o 33570
319.73	c 9129
320.42	o 33573
320.42	c 9126
321.07	o 33581
321.07	c 9118
321.72	o 33596
321.72	c 9103
322.24	o 33598
322.24	c 9101
322.83	o 33608
322.83	c 9091
323.42	o 33611
323.42	c 9088
324.44	o 33619
324.44	c 9080
325.00	o 33623
325.00	c 9076
325.67	o 33630
325.67	c 9069
326.27	o 33640
326.27	c 9059
326.83	o 33647
326.83	c 9052
327.41	o 33648
327.41	c 9051
328.03	o 33650
328.03	c 9049
328.65	o 33652
328.65	c 9047
331.19	o 33658
331.19	c 9041
331.81	o 33663
331.81	c 9036
332.53	o 33669
332.53	c 9030
333.32	o 33673
333.32	c 9026
334.08	o 33677
334.08	c 9022
334.81	o 33688
334.81	c 9011
335.59	o 33689
335.59	c 9010
336.35	o 33696
336.35	c 9003
337.08	o 33704
337.08	c 8995
337.84	o 33707
337.84	c 8992
339.39	o 33711
339.39	c 8988
340.13	o 33716
340.13	c 8983
340.87	o 33720
340.87	c 8979
341.60	o 33726
341.60	c 8973
342.34	o 33729
342.34	c 8970
343.08	o 33732
343.08	c 8967
344.62	o 33742
344.62	c 8957
345.26	o 33743
345.26	c 8956
345.98	o 33745
345.98	c 8954
346.68	o 33747
346.68	c 8952
348.84	o 33748
348.84	c 8951
349.57	o 33749
349.57	c 8950
350.32	o 33750
350.32	c 8949
351.05	o 33751
351.05	c 8948
351.85	o 33761
351.85	c 8938
352.73	o 33762
352.73	c 8937
353.47	o 33763
353.47	c 8936
354.14	o 33764
354.14	c 8935
355.03	o 33765
355.03	c 8934
357.99	o 33766
357.99	c 8933
358.69	o 33769
358.69	c 8930
359.44	o 33774
359.44	c 8925
360.25	o 33783
360.25	c 8916
360.96	o 33789
360.96	c 8910
361.68	o 33791
361.69	c 8908
362.46	o 33793
362.46	c 8906
363.20	o 33796
363.20	c 8903
364.01	o 33802
364.01	c 8897
364.70	o 33805
364.70	c 8894
365.46	o 33807
365.46	c 8892
366.19	o 33816
366.19	c 8883
367.67	o 33818
367.67	c 8881
368.33	o 33820
368.33	c 8879
369.11	o 33828
369.11	c 8871
369.77	o 33832
369.77	c 8867
370.41	o 33833
370.41	c 8866
371.14	o 33842
371.14	c 8857
371.85	o 33847
371.85	c 8852
372.67	o 33848
372.67	c 8851
373.38	o 33857
373.38	c 8842
374.12	o 33860
374.12	c 8839
375.61	o 33867
375.61	c 8832
376.32	o 33869
376.32	c 8830
377.06	o 33874
377.06	c 8825
377.82	o 33883
377.82	c 8816
378.61	o 33891
378.61	c 8808
380.14	o 33899
380.14	c 8800
380.92	o 33902
380.93	c 8797
381.77	o 33908
381.77	c 8791
382.56	o 33916
382.56	c 8783
383.38	o 33919
383.38	c 8780
384.24	o 33922
384.24	c 8777
385.06	o 33930
385.06	c 8769
385.96	o 33937
385.96	c 8762
387.50	o 33943
387.50	c 8756
389.12	o 33946
389.12	c 8753
389.94	o 33954
389.94	c 8745
390.76	o 33959
390.76	c 8740
391.61	o 33967
391.61	c 8732
396.90	o 33968
396.90	c 8731
398.68	o 33973
398.68	c 8726
399.66	o 33976
399.66	c 8723
400.60	o 33980
400.60	c 8719
401.45	o 33984
401.45	c 8715
402.33	o 33985
402.33	c 8714
403.30	o 33987
403.30	c 8712
405.11	o 33992
405.11	c 8707
406.00	o 34000
406.00	c 8699
406.84	o 34003
406.84	c 8696
407.76	o 34008
407.76	c 8691
409.43	o 34015
409.43	c 8684
410.36	o 34017
410.36	c 8682
411.28	o 34025
411.28	c 8674
412.22	o 34034
412.22	c 8665
413.08	o 34044
413.08	c 8655
413.85	o 34046
413.85	c 8653
414.62	o 34051
414.62	c 8648
415.46	o 34058
415.46	c 8641
417.02	o 34060
417.02	c 8639
417.76	o 34061
417.76	c 8638
418.55	o 34063
418.55	c 8636
419.31	o 34065
419.31	c 8634
420.07	o 34077
420.07	c 8622
420.78	o 34080
420.78	c 8619
421.57	o 34083
421.57	c 8616
422.37	o 34087
422.37	c 8612
423.10	o 34088
423.10	c 8611
423.90	o 34092
423.90	c 8607
424.70	o 34105
424.70	c 8594
425.49	o 34116
425.49	c 8583
426.26	o 34117
426.26	c 8582
427.01	o 34119
427.01	c 8580
427.81	o 34123
427.81	c 8576
428.58	o 34129
428.58	c 8570
429.42	o 34133
429.42	c 8566
430.21	o 34135
430.21	c 8564
431.00	o 34137
431.00	c 8562
431.79	o 34139
431.79	c 8560
432.58	o 34140
432.58	c 8559
433.41	o 34141
433.41	c 8558
435.01	o 34150
435.01	c 8549
442.37	o 34155
442.37	c 8544
444.32	o 34156
444.32	c 8543
445.76	o 34164
445.76	c 8535
446.40	o 34168
446.40	c 8531
447.14	o 34177
447.14	c 8522
449.16	o 34181
449.16	c 8518
449.79	o 34182
449.79	c 8517
451.16	o 34183
451.16	c 8516
451.81	o 34190
451.81	c 8509
452.56	o 34191
452.56	c 8508
456.84	o 34196
456.84	c 8503
460.85	o 34198
460.85	c 8501
461.61	o 34199
461.61	c 8500
463.17	o 34206
463.17	c 8493
464.69	o 34210
464.69	c 8489
465.43	o 34213
465.43	c 8486
466.15	o 34224
466.15	c 8475
466.87	o 34229
466.87	c 8470
467.64	o 34233
467.64	c 8466
468.39	o 34243
468.39	c 8456
469.89	o 34244
469.89	c 8455
470.68	o 34247
470.68	c 8452
471.42	o 34249
471.42	c 8450
472.27	o 34251
472.27	c 8448
473.01	o 34255
473.01	c 8444
473.79	o 34263
473.79	c 8436
474.45	o 34267
474.45	c 8432
479.65	o 34271
479.65	c 8428
480.35	o 34272
480.35	c 8427
481.18	o 34276
481.18	c 8423
481.89	o 34283
481.89	c 8416
482.63	o 34284
482.63	c 8415
483.38	o 34287
483.38	c 8412
484.10	o 34289
484.10	c 8410
484.90	o 34293
484.90	c 8406
486.49	o 34305
486.49	c 8394
487.25	o 34312
487.25	c 8387
488.06	o 34315
488.06	c 8384
490.35	o 34323
490.35	c 8376
491.11	o 34327
491.11	c 8372
491.85	o 34330
491.85	c 8369
492.59	o 34335
492.59	c 8364
493.35	o 34339
493.35	c 8360
494.12	o 34342
494.12	c 8357
494.92	o 34348
494.92	c 8351
495.71	o 34352
495.71	c 8347
496.51	o 34358
496.51	c 8341
497.29	o 34362
497.29	c 8337
500.33	o 34368
500.33	c 8331
501.86	o 34370
501.86	c 8329
502.66	o 34375
502.66	c 8324
503.45	o 34382
503.45	c 8317
504.37	o 34391
504.37	c 8308
505.11	o 34392
505.11	c 8307
505.91	o 34393
505.91	c 8306
506.78	o 34399
506.78	c 8300
507.70	o 34403
507.70	c 8296
508.56	o 34405
508.56	c 8294
509.40	o 34407
509.40	c 8292
510.30	o 34408
510.30	c 8291
511.12	o 34413
511.12	c 8286
512.02	o 34419
512.02	c 8280
512.89	o 34426
512.89	c 8273
513.76	o 34429
513.76	c 8270
514.74	o 34431
514.74	c 8268
515.77	o 34433
515.77	c 8266
516.75	o 34435
516.75	c 8264
517.69	o 34441
517.69	c 8258
519.42	o 34442
519.42	c 8257
520.23	o 34448
520.23	c 8251
521.08	o 34449
521.08	c 8250
521.96	o 34450
521.96	c 8249
522.74	o 34451
522.74	c 8248
523.53	o 34459
523.53	c 8240
524.37	o 34466
524.37	c 8233
525.16	o 34467
525.16	c 8232
526.08	o 34468
526.08	c 8231
526.86	o 34469
526.86	c 8230
527.68	o 34482
527.68	c 8217
531.81	o 34489
531.81	c 8210
532.61	o 34491
532.61	c 8208
533.51	o 34497
533.51	c 8202
534.44	o 34502
534.44	c 8197
537.94	o 34503
537.94	c 8196
538.70	o 34506
538.70	c 8193
539.47	o 34509
539.47	c 8190
540.23	o 34510
540.23	c 8189
541.19	o 34513
541.19	c 8186
542.15	o 34514
542.15	c 8185
543.06	o 34520
543.06	c 8179
544.02	o 34523
544.02	c 8176
544.86	o 34530
544.86	c 8169
545.76	o 34533
545.76	c 8166
546.66	o 34534
546.66	c 8165
548.39	o 34538
548.39	c 8161
549.35	o 34542
549.35	c 8157
550.25	o 34544
550.25	c 8155
552.06	o 34562
552.06	c 8137
554.91	o 34565
554.91	c 8134
560.46	o 34568
560.46	c 8131
561.35	o 34569
561.35	c 8130
562.25	o 34576
562.25	c 8123
564.15	o 34579
564.15	c 8120
565.21	o 34580
565.21	c 8119
573.44	o 34584
573.44	c 8115
574.51	o 34586
574.51	c 8113
576.58	o 34589
576.58	c 8110
578.59	o 34590
578.59	c 8109
579.61	o 34594
579.61	c 8105
580.65	o 34598
580.65	c 8101
581.70	o 34605
581.70	c 8094
582.66	o 34610
582.66	c 8089
583.68	o 34617
583.68	c 8082
584.67	o 34618
584.67	c 8081
586.87	o 34624
586.87	c 8075
588.98	o 34628
588.98	c 8071
590.00	o 34631
590.00	c 8068
591.10	o 34639
591.10	c 8060
593.12	o 34640
593.12	c 8059
597.16	o 34649
597.16	c 8050
598.15	o 34651
598.15	c 8048
599.19	o 34655
599.19	c 8044
600.22	o 34658
600.22	c 8041
601.28	o 34661
601.28	c 8038
602.43	o 34663
602.43	c 8036
603.45	o 34667
603.45	c 8032
604.55	o 34670
604.55	c 8029
605.65	o 34672
605.65	c 8027
606.69	o 34675
606.69	c 8024
608.80	o 34676
608.80	c 8023
609.85	o 34677
609.85	c 8022
614.43	o 34681
614.43	c 8018
615.52	o 34685
615.52	c 8014
616.66	o 34688
616.66	c 8011
617.78	o 34691
617.78	c 8008
618.89	o 34698
618.89	c 8001
620.02	o 34700
620.02	c 7999
623.40	o 34701
623.40	c 7998
624.49	o 34703
624.49	c 7996
625.56	o 34705
625.56	c 7994
626.71	o 34707
626.71	c 7992
627.84	o 34709
627.84	c 7990
630.10	o 34713
630.10	c 7986
631.22	o 34720
631.22	c 7979
651.55	o 34722
651.55	c 7977
652.67	o 34725
652.67	c 7974
655.04	o 34731
655.04	c 7968
656.28	o 34733
656.28	c 7966
661.04	o 34739
661.04	c 7960
663.39	o 34743
663.39	c 7956
664.51	o 34747
664.51	c 7952
665.68	o 34748
665.68	c 7951
666.90	o 34752
666.90	c 7947
668.12	o 34756
668.12	c 7943
669.28	o 34762
669.28	c 7937
670.37	o 34764
670.37	c 7935
671.53	o 34767
671.53	c 7932
672.70	o 34769
672.70	c 7930
673.88	o 34770
673.88	c 7929
675.00	o 34771
675.00	c 7928
676.15	o 34772
676.15	c 7927
679.64	o 34773
679.64	c 7926
680.78	o 34780
680.78	c 7919
683.12	o 34782
683.12	c 7917
684.34	o 34785
684.34	c 7914
685.56	o 34790
685.56	c 7909
686.71	o 34793
686.71	c 7906
687.86	o 34797
687.86	c 7902
689.06	o 34798
689.06	c 7901
690.21	o 34808
690.21	c 7891
691.38	o 34809
691.38	c 7890
694.77	o 34811
694.77	c 7888
695.87	o 34815
695.87	c 7884
699.44	o 34817
699.44	c 7882
700.52	o 34820
700.52	c 7879
701.66	o 34827
701.66	c 7872
702.79	o 34833
702.79	c 7866
703.84	o 34836
703.84	c 7863
704.88	o 34838
704.88	c 7861
705.97	o 34839
705.97	c 7860
707.07	o 34842
707.07	c 7857
708.17	o 34846
708.17	c 7853
709.27	o 34847
709.27	c 7852
710.38	o 34849
710.38	c 7850
711.62	o 34857
711.62	c 7842
714.13	o 34858
714.13	c 7841
716.62	o 34867
716.62	c 7832
717.84	o 34874
717.84	c 7825
719.04	o 34875
719.04	c 7824
720.24	o 34882
720.24	c 7817
721.44	o 34886
721.44	c 7813
722.67	o 34888
722.67	c 7811
723.85	o 34892
723.85	c 7807
725.11	o 34893
725.11	c 7806
726.36	o 34897
726.36	c 7802
727.59	o 34902
727.59	c 7797
730.14	o 34903
730.14	c 7796
731.28	o 34907
731.28	c 7792
732.60	o 34908
732.60	c 7791
733.78	o 34911
733.78	c 7788
735.17	o 34913
735.17	c 7786
737.75	o 34920
737.75	c 7779
739.08	o 34923
739.08	c 7776
740.33	o 34930
740.33	c 7769
742.85	o 34934
742.85	c 7765
744.10	o 34938
744.10	c 7761
745.28	o 34944
745.28	c 7755
746.42	o 34947
746.42	c 7752
747.68	o 34950
747.68	c 7749
750.15	o 34953
750.15	c 7746
755.03	o 34955
755.03	c 7744
757.57	o 34958
757.57	c 7741
758.98	o 34965
758.98	c 7734
761.52	o 34968
761.52	c 7731
762.93	o 34973
762.93	c 7726
764.29	o 34979
764.29	c 7720
765.63	o 34980
765.63	c 7719
774.42	o 34982
774.42	c 7717
775.64	o 34986
775.64	c 7713
776.99	o 34990
776.99	c 7709
778.19	o 34996
778.19	c 7703
779.46	o 35001
779.46	c 7698
780.65	o 35008
780.65	c 7691
781.87	o 35010
781.87	c 7689
785.48	o 35012
785.48	c 7687
786.75	o 35018
786.75	c 7681
787.66	o 35024
787.66	c 7675
792.73	o 35028
792.73	c 7671
797.60	o 35034
797.60	c 7665
798.78	o 35036
798.78	c 7663
801.25	o 35064
801.25	c 7635
802.48	o 35065
802.48	c 7634
807.10	o 35066
807.10	c 7633
808.20	o 35071
808.20	c 7628
809.34	o 35072
809.34	c 7627
811.58	o 35077
811.58	c 7622
812.80	o 35083
812.80	c 7616
813.92	o 35085
813.92	c 7614
815.06	o 35092
815.06	c 7607
816.16	o 35096
816.16	c 7603
817.40	o 35101
817.40	c 7598
818.48	o 35103
818.48	c 7596
820.80	o 35106
820.80	c 7593
821.99	o 35107
821.99	c 7592
823.13	o 35109
823.13	c 7590
824.28	o 35114
824.28	c 7585
825.44	o 35123
825.44	c 7576
826.63	o 35126
826.63	c 7573
827.80	o 35129
827.80	c 7570
828.99	o 35131
828.99	c 7568
838.81	o 35132
838.81	c 7567
840.04	o 35135
840.04	c 7564
841.26	o 35136
841.26	c 7563
843.76	o 35142
843.76	c 7557
844.99	o 35145
844.99	c 7554
846.29	o 35152
846.29	c 7547
847.60	o 35159
847.60	c 7540
850.16	o 35164
850.16	c 7535
851.44	o 35167
851.44	c 7532
852.75	o 35171
852.75	c 7528
854.09	o 35177
854.09	c 7522
855.29	o 35182
855.29	c 7517
856.52	o 35195
856.52	c 7504
857.68	o 35196
857.68	c 7503
858.83	o 35200
858.83	c 7499
861.11	o 35201
861.11	c 7498
862.19	o 35215
862.19	c 7484
863.38	o 35219
863.38	c 7480
864.67	o 35222
864.67	c 7477
865.77	o 35227
865.77	c 7472
866.86	o 35231
866.86	c 7468
868.04	o 35232
868.04	c 7467
869.30	o 35234
869.30	c 7465
870.49	o 35235
870.49	c 7464
871.72	o 35239
871.72	c 7460
873.06	o 35240
873.06	c 7459
874.51	o 35246
874.51	c 7453
877.18	o 35247
877.18	c 7452
879.74	o 35249
879.74	c 7450
880.99	o 35251
880.99	c 7448
882.30	o 35254
882.30	c 7445
884.98	o 35258
884.98	c 7441
886.32	o 35262
886.32	c 7437
889.12	o 35266
889.12	c 7433
890.55	o 35268
890.55	c 7431
891.99	o 35269
892.00	c 7430
899.11	o 35272
899.11	c 7427
904.92	o 35274
904.92	c 7425
906.30	o 35284
906.30	c 7415
907.68	o 35292
907.68	c 7407
909.06	o 35300
909.06	c 7399
910.20	o 35304
910.20	c 7395
911.60	o 35308
911.60	c 7391
913.07	o 35311
913.07	c 7388
915.88	o 35314
915.88	c 7385
917.16	o 35317
917.16	c 7382
918.65	o 35318
918.65	c 7381
920.06	o 35319
920.06	c 7380
921.58	o 35320
921.58	c 7379
923.09	o 35328
923.09	c 7371
924.46	o 35335
924.46	c 7364
926.03	o 35339
926.03	c 7360
927.50	o 35342
927.50	c 7357
929.03	o 35346
929.03	c 7353
935.24	o 35348
935.24	c 7351
936.82	o 35349
936.82	c 7350
938.36	o 35352
938.36	c 7347
939.84	o 35357
939.84	c 7342
941.38	o 35359
941.38	c 7340
942.92	o 35361
942.92	c 7338
944.46	o 35364
944.46	c 7335
946.02	o 35365
946.02	c 7334
949.08	o 35370
949.08	c 7329
950.77	o 35372
950.77	c 7327
952.35	o 35374
952.35	c 7325
955.81	o 35376
955.81	c 7323
957.48	o 35379
957.48	c 7320
959.30	o 35381
959.30	c 7318
962.76	o 35383
962.76	c 7316
964.49	o 35385
964.49	c 7314
966.11	o 35388
966.11	c 7311
967.75	o 35394
967.75	c 7305
969.40	o 35402
969.40	c 7297
971.14	o 35406
971.14	c 7293
972.80	o 35414
972.80	c 7285
974.52	o 35416
974.52	c 7283
976.25	o 35418
976.25	c 7281
977.61	o 35435
977.61	c 7264
980.64	o 35439
980.64	c 7260
982.13	o 35440
982.13	c 7259
983.63	o 35445
983.63	c 7254
985.10	o 35453
985.10	c 7246
986.63	o 35454
986.63	c 7245
988.15	o 35457
988.15	c 7242
989.71	o 35461
989.71	c 7238
991.25	o 35462
991.25	c 7237
992.81	o 35465
992.81	c 7234
994.42	o 35467
994.42	c 7232
997.66	o 35471
997.66	c 7228
999.26	o 35473
999.26	c 7226
1000.82	o 35479
1000.82	c 7220
1005.60	o 35481
1005.60	c 7218
1008.96	o 35483
1008.96	c 7216
1010.55	o 35491
1010.55	c 7208
1024.81	o 35492
1024.81	c 7207
1041.88	o 35495
1041.88	c 7204
1043.59	o 35500
1043.59	c 7199
1045.32	o 35504
1045.32	c 7195
1048.47	o 35505
1048.47	c 7194
1050.18	o 35506
1050.18	c 7193
1051.93	o 35513
1051.93	c 7186
1053.51	o 35516
1053.51	c 7183
1056.84	o 35521
1056.84	c 7178
1058.47	o 35527
1058.47	c 7172
1060.03	o 35528
1060.03	c 7171
1061.56	o 35534
1061.56	c 7165
1071.26	o 35535
1071.26	c 7164
1074.72	o 35540
1074.72	c 7159
1076.34	o 35546
1076.34	c 7153
1078.01	o 35549
1078.01	c 7150
1079.61	o 35554
1079.61	c 7145
1081.21	o 35556
1081.21	c 7143
1082.82	o 35562
1082.82	c 7137
1084.32	o 35564
1084.32	c 7135
1085.89	o 35569
1085.89	c 7130
1087.37	o 35576
1087.37	c 7123
1090.27	o 35578
1090.27	c 7121
1091.82	o 35579
1091.82	c 7120
1096.47	o 35580
1096.47	c 7119
1102.73	o 35585
1102.73	c 7114
1104.36	o 35586
1104.36	c 7113
1107.66	o 35591
1107.66	c 7108
1109.25	o 35593
1109.25	c 7106
1110.94	o 35596
1110.94	c 7103
1112.60	o 35603
1112.60	c 7096
1124.51	o 35606
1124.51	c 7093
1126.08	o 35611
1126.08	c 7088
1127.73	o 35614
1127.73	c 7085
1142.54	o 35624
1142.54	c 7075
1144.17	o 35627
1144.17	c 7072
1145.85	o 35632
1145.85	c 7067
1147.49	o 35640
1147.49	c 7059
1148.94	o 35645
1148.94	c 7054
1150.53	o 35650
1150.53	c 7049
1152.09	o 35651
1152.09	c 7048
1153.75	o 35652
1153.75	c 7047
1155.42	o 35658
1155.42	c 7041
1157.21	o 35660
1157.21	c 7039
1158.95	o 35663
1158.95	c 7036
1160.70	o 35669
1160.70	c 7030
1162.43	o 35674
1162.43	c 7025
1164.08	o 35677
1164.08	c 7022
1167.64	o 35692
1167.64	c 7007
1169.38	o 35698
1169.38	c 7001
1171.14	o 35699
1171.14	c 7000
1174.57	o 35703
1174.57	c 6996
1176.25	o 35706
1176.25	c 6993
1177.96	o 35707
1177.96	c 6992
1183.22	o 35712
1183.22	c 6987
1185.02	o 35714
1185.02	c 6985
1186.76	o 35718
1186.76	c 6981
1188.61	o 35721
1188.61	c 6978
1190.39	o 35725
1190.39	c 6974
1194.05	o 35726
1194.05	c 6973
1195.92	o 35729
1195.92	c 6970
1197.84	o 35733
1197.84	c 6966
1201.53	o 35737
1201.53	c 6962
1205.24	o 35740
1205.24	c 6959
1207.08	o 35741
1207.08	c 6958
1210.79	o 35745
1210.79	c 6954
1220.01	o 35746
1220.01	c 6953
1221.75	o 35749
1221.75	c 6950
1223.47	o 35752
1223.47	c 6947
1226.93	o 35756
1226.93	c 6943
1228.67	o 35763
1228.67	c 6936
1231.98	o 35765
1231.98	c 6934
1240.30	o 35766
1240.30	c 6933
1242.05	o 35775
1242.05	c 6924
1250.13	o 35781
1250.13	c 6918
1251.79	o 35783
1251.79	c 6916
1255.20	o 35786
1255.20	c 6913
1270.07	o 35791
1270.07	c 6908
1271.79	o 35797
1271.79	c 6902
1273.49	o 35799
1273.49	c 6900
1283.55	o 35801
1283.55	c 6898
1285.29	o 35804
1285.29	c 6895
1287.03	o 35807
1287.03	c 6892
1292.12	o 35809
1292.12	c 6890
1293.85	o 35810
1293.85	c 6889
1295.63	o 35813
1295.63	c 6886
1297.34	o 35816
1297.34	c 6883
1300.87	o 35817
1300.87	c 6882
1304.34	o 35820
1304.34	c 6879
1306.17	o 35822
1306.17	c 6877
1309.58	o 35825
1309.58	c 6874
1313.16	o 35826
1313.16	c 6873
1314.96	o 35829
1314.96	c 6870
1316.78	o 35832
1316.78	c 6867
1336.20	o 35833
1336.20	c 6866
1349.51	o 35835
1349.51	c 6864
1357.29	o 35838
1357.29	c 6861
1358.87	o 35841
1358.87	c 6858
1360.50	o 35845
1360.50	c 6854
1362.16	o 35847
1362.16	c 6852
1363.78	o 35849
1363.78	c 6850
1365.37	o 35851
1365.37	c 6848
1366.96	o 35857
1366.96	c 6842
1368.55	o 35859
1368.55	c 6840
1370.15	o 35864
1370.15	c 6835
1371.77	o 35865
1371.77	c 6834
1373.32	o 35867
1373.32	c 6832
1374.92	o 35872
1374.92	c 6827
1377.82	o 35875
1377.82	c 6824
1379.43	o 35876
1379.43	c 6823
1381.11	o 35878
1381.11	c 6821
1382.79	o 35882
1382.79	c 6817
1384.35	o 35889
1384.35	c 6810
1386.01	o 35892
1386.01	c 6807
1389.38	o 35894
1389.38	c 6805
1391.14	o 35896
1391.14	c 6803
1392.85	o 35899
1392.85	c 6800
1394.53	o 35901
1394.53	c 6798
1396.20	o 35902
1396.20	c 6797
1397.95	o 35904
1397.95	c 6795
1399.69	o 35915
1399.69	c 6784
1403.04	o 35917
1403.04	c 6782
1404.77	o 35919
1404.77	c 6780
1408.28	o 35925
1408.28	c 6774
1410.09	o 35926
1410.09	c 6773
1413.84	o 35929
1413.84	c 6770
1415.75	o 35933
1415.75	c 6766
1417.55	o 35937
1417.55	c 6762
1419.41	o 35938
1419.41	c 6761
1421.22	o 35941
1421.22	c 6758
1430.58	o 35945
1430.58	c 6754
1432.49	o 35946
1432.49	c 6753
1434.36	o 35947
1434.36	c 6752
1436.22	o 35950
1436.22	c 6749
1440.01	o 35953
1440.01	c 6746
1441.91	o 35958
1441.92	c 6741
1443.81	o 35959
1443.81	c 6740
1445.68	o 35962
1445.68	c 6737
1447.57	o 35964
1447.57	c 6735
1449.50	o 35968
1449.50	c 6731
1450.59	o 35970
1450.59	c 6729
1452.50	o 35973
1452.50	c 6726
1454.35	o 35979
1454.35	c 6720
1455.95	o 35983
1455.95	c 6716
1457.79	o 35987
1457.79	c 6712
1459.30	o 35991
1459.30	c 6708
1461.11	o 35996
1461.11	c 6703
1462.90	o 35997
1462.90	c 6702
1464.71	o 36000
1464.71	c 6699
1466.64	o 36004
1466.64	c 6695
1468.56	o 36012
1468.56	c 6687
1474.20	o 36013
1474.20	c 6686
1476.22	o 36021
1476.22	c 6678
1478.12	o 36026
1478.12	c 6673
1480.11	o 36027
1480.11	c 6672
1482.07	o 36033
1482.07	c 6666
1487.83	o 36035
1487.83	c 6664
1489.89	o 36038
1489.89	c 6661
1491.84	o 36041
1491.84	c 6658
1493.85	o 36044
1493.85	c 6655
1495.81	o 36054
1495.81	c 6645
1497.82	o 36056
1497.82	c 6643
1499.72	o 36058
1499.72	c 6641
1501.66	o 36062
1501.66	c 6637
1503.48	o 36065
1503.48	c 6634
1504.63	o 36069
1504.63	c 6630
1506.50	o 36071
1506.50	c 6628
1508.40	o 36075
1508.40	c 6624
1510.37	o 36078
1510.37	c 6621
1512.29	o 36081
1512.29	c 6618
1514.18	o 36082
1514.18	c 6617
1516.11	o 36086
1516.11	c 6613
1518.13	o 36092
1518.13	c 6607
1549.37	   
1549.37	   search
1549.37	     run=0  nbConstraintChecks=2556258324  nbAssignments=1488
1549.37	       =>  wckTime=1483.381  cpuTime=1473.47  mem=115M562
1549.37	   
1549.37	   global
1549.37	     nbConstraintChecks=2556258324  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
1549.37	     solvingWckTime=1483.345  solvingCpuTime=1473.43  expiredTime=no  totalExploration=no  nbFoundSolutions=0
1549.37	     globalCpuTime=1537.01
1549.37	       =>  wckTime=1549.064  cpuTime=1536.95  mem=115M562
1549.37	   
1549.37	   solver IterativeSystematicSolver being built... 
1550.98	       =>  wckTime=1550.68  cpuTime=1537.71  mem=491M20
2411.53	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/node1/watcher-275592-1169223764 -o ROOT/results/node1/solver-275592-1169223764 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/275592-1169223764/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.83 1.98 1.99 4/87 3284
/proc/meminfo: memFree=998280/2055920 swapFree=4165612/4192956
[pid=3283] ppid=3281 vsize=906644 CPUtime=0.02
/proc/3283/stat : 3283 (java) S 3281 3283 3215 0 -1 0 2069 0 1 0 1 1 0 0 18 0 2 0 270772176 928403456 1818 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 7368 18446744073709551615 0 0 17 1 0 0
/proc/3283/statm: 226661 1818 1036 14 0 214244 0
[pid=3283/tid=3285] ppid=3281 vsize=906644 CPUtime=0
/proc/3283/task/3285/stat : 3285 (java) R 3281 3283 3215 0 -1 64 4 0 0 0 0 0 0 0 19 0 2 0 270772180 928403456 1818 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 7368 0 0 0 -1 1 0 0

[startup+0.10416 s]
/proc/loadavg: 1.83 1.98 1.99 4/87 3284
/proc/meminfo: memFree=998280/2055920 swapFree=4165612/4192956
[pid=3283] ppid=3281 vsize=914988 CPUtime=0.09
/proc/3283/stat : 3283 (java) R 3281 3283 3215 0 -1 0 3031 0 1 0 7 2 0 0 20 0 8 0 270772176 936947712 2777 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155477080 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3283/statm: 228747 2777 1439 14 0 215242 0
[pid=3283/tid=3285] ppid=3281 vsize=914988 CPUtime=0
/proc/3283/task/3285/stat : 3285 (java) S 3281 3283 3215 0 -1 64 6 0 0 0 0 0 0 0 18 0 8 0 270772180 936947712 2777 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988

[startup+0.514208 s]
/proc/loadavg: 1.83 1.98 1.99 4/87 3284
/proc/meminfo: memFree=998280/2055920 swapFree=4165612/4192956
[pid=3283] ppid=3281 vsize=915332 CPUtime=0.5
/proc/3283/stat : 3283 (java) R 3281 3283 3215 0 -1 0 8112 0 1 0 45 5 0 0 22 0 8 0 270772176 937299968 7851 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4152819938 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3283/statm: 228833 7851 2140 14 0 215303 0
[pid=3283/tid=3285] ppid=3281 vsize=915332 CPUtime=0
/proc/3283/task/3285/stat : 3285 (java) S 3281 3283 3215 0 -1 64 6 0 0 0 0 0 0 0 18 0 8 0 270772180 937299968 7851 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915332

[startup+1.34331 s]
/proc/loadavg: 1.83 1.98 1.99 3/94 3291
/proc/meminfo: memFree=906384/2055920 swapFree=4165612/4192956
[pid=3283] ppid=3281 vsize=915604 CPUtime=1.32
/proc/3283/stat : 3283 (java) R 3281 3283 3215 0 -1 0 29308 0 1 0 117 15 0 0 25 0 8 0 270772176 937578496 29045 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073527757 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3283/statm: 228901 29045 2161 14 0 215371 0
[pid=3283/tid=3285] ppid=3281 vsize=915604 CPUtime=0.11
/proc/3283/task/3285/stat : 3285 (java) S 3281 3283 3215 0 -1 64 12752 0 0 0 7 4 0 0 16 0 8 0 270772180 937578496 29045 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3283/tid=3286] ppid=3281 vsize=915604 CPUtime=0
/proc/3283/task/3286/stat : 3286 (java) S 3281 3283 3215 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270772180 937578496 29045 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3283/tid=3287] ppid=3281 vsize=915604 CPUtime=0
/proc/3283/task/3287/stat : 3287 (java) S 3281 3283 3215 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270772180 937578496 29045 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3283/tid=3288] ppid=3281 vsize=915604 CPUtime=0
/proc/3283/task/3288/stat : 3288 (java) S 3281 3283 3215 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270772184 937578496 29045 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3283/tid=3289] ppid=3281 vsize=915604 CPUtime=0.16
/proc/3283/task/3289/stat : 3289 (java) S 3281 3283 3215 0 -1 64 406 0 0 0 16 0 0 0 15 0 8 0 270772184 937578496 29045 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3283/tid=3290] ppid=3281 vsize=915604 CPUtime=0
/proc/3283/task/3290/stat : 3290 (java) S 3281 3283 3215 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270772184 937578496 29045 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3283/tid=3291] ppid=3281 vsize=915604 CPUtime=0
/proc/3283/task/3291/stat : 3291 (java) S 3281 3283 3215 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270772184 937578496 29045 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 915604

[startup+2.98849 s]
/proc/loadavg: 1.83 1.98 1.99 3/94 3291
/proc/meminfo: memFree=881040/2055920 swapFree=4165612/4192956
[pid=3283] ppid=3281 vsize=915744 CPUtime=2.95
/proc/3283/stat : 3283 (java) R 3281 3283 3215 0 -1 0 32164 0 1 0 279 16 0 0 25 0 8 0 270772176 937721856 31896 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073833520 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3283/statm: 228936 31896 2181 14 0 215406 0
[pid=3283/tid=3285] ppid=3281 vsize=915744 CPUtime=0.26
/proc/3283/task/3285/stat : 3285 (java) S 3281 3283 3215 0 -1 64 15529 0 0 0 21 5 0 0 16 0 8 0 270772180 937721856 31896 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3283/tid=3286] ppid=3281 vsize=915744 CPUtime=0
/proc/3283/task/3286/stat : 3286 (java) S 3281 3283 3215 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270772180 937721856 31896 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3283/tid=3287] ppid=3281 vsize=915744 CPUtime=0
/proc/3283/task/3287/stat : 3287 (java) S 3281 3283 3215 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270772180 937721856 31896 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3283/tid=3288] ppid=3281 vsize=915744 CPUtime=0
/proc/3283/task/3288/stat : 3288 (java) S 3281 3283 3215 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270772184 937721856 31896 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3283/tid=3289] ppid=3281 vsize=915744 CPUtime=0.18
/proc/3283/task/3289/stat : 3289 (java) S 3281 3283 3215 0 -1 64 418 0 0 0 18 0 0 0 16 0 8 0 270772184 937721856 31896 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3283/tid=3290] ppid=3281 vsize=915744 CPUtime=0
/proc/3283/task/3290/stat : 3290 (java) S 3281 3283 3215 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270772184 937721856 31896 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3283/tid=3291] ppid=3281 vsize=915744 CPUtime=0
/proc/3283/task/3291/stat : 3291 (java) S 3281 3283 3215 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270772184 937721856 31896 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 915744

[startup+6.26787 s]
/proc/loadavg: 1.84 1.98 1.99 4/94 3291
/proc/meminfo: memFree=878864/2055920 swapFree=4165612/4192956
[pid=3283] ppid=3281 vsize=915744 CPUtime=6.2
/proc/3283/stat : 3283 (java) R 3281 3283 3215 0 -1 0 32165 0 1 0 603 17 0 0 25 0 8 0 270772176 937721856 31896 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073470035 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3283/statm: 228936 31896 2181 14 0 215406 0
[pid=3283/tid=3285] ppid=3281 vsize=915744 CPUtime=0.26
/proc/3283/task/3285/stat : 3285 (java) S 3281 3283 3215 0 -1 64 15529 0 0 0 21 5 0 0 16 0 8 0 270772180 937721856 31896 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3283/tid=3286] ppid=3281 vsize=915744 CPUtime=0
/proc/3283/task/3286/stat : 3286 (java) S 3281 3283 3215 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270772180 937721856 31896 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3283/tid=3287] ppid=3281 vsize=915744 CPUtime=0
/proc/3283/task/3287/stat : 3287 (java) S 3281 3283 3215 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270772180 937721856 31896 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3283/tid=3288] ppid=3281 vsize=915744 CPUtime=0
/proc/3283/task/3288/stat : 3288 (java) S 3281 3283 3215 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270772184 937721856 31896 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3283/tid=3289] ppid=3281 vsize=915744 CPUtime=0.18
/proc/3283/task/3289/stat : 3289 (java) S 3281 3283 3215 0 -1 64 418 0 0 0 18 0 0 0 16 0 8 0 270772184 937721856 31896 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3283/tid=3290] ppid=3281 vsize=915744 CPUtime=0
/proc/3283/task/3290/stat : 3290 (java) S 3281 3283 3215 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270772184 937721856 31896 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3283/tid=3291] ppid=3281 vsize=915744 CPUtime=0
/proc/3283/task/3291/stat : 3291 (java) S 3281 3283 3215 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270772184 937721856 31896 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 915744

[startup+12.7556 s]
/proc/loadavg: 1.85 1.98 1.99 3/94 3291
/proc/meminfo: memFree=878864/2055920 swapFree=4165612/4192956
[pid=3283] ppid=3281 vsize=915744 CPUtime=12.62
/proc/3283/stat : 3283 (java) R 3281 3283 3215 0 -1 0 32167 0 1 0 1245 17 0 0 25 0 8 0 270772176 937721856 31898 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073830172 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3283/statm: 228936 31898 2181 14 0 215406 0
[pid=3283/tid=3285] ppid=3281 vsize=915744 CPUtime=0.26
/proc/3283/task/3285/stat : 3285 (java) S 3281 3283 3215 0 -1 64 15529 0 0 0 21 5 0 0 16 0 8 0 270772180 937721856 31898 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3283/tid=3286] ppid=3281 vsize=915744 CPUtime=0
/proc/3283/task/3286/stat : 3286 (java) S 3281 3283 3215 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270772180 937721856 31898 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3283/tid=3287] ppid=3281 vsize=915744 CPUtime=0
/proc/3283/task/3287/stat : 3287 (java) S 3281 3283 3215 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270772180 937721856 31898 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3283/tid=3288] ppid=3281 vsize=915744 CPUtime=0
/proc/3283/task/3288/stat : 3288 (java) S 3281 3283 3215 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270772184 937721856 31898 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3283/tid=3289] ppid=3281 vsize=915744 CPUtime=0.18
/proc/3283/task/3289/stat : 3289 (java) S 3281 3283 3215 0 -1 64 420 0 0 0 18 0 0 0 15 0 8 0 270772184 937721856 31898 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3283/tid=3290] ppid=3281 vsize=915744 CPUtime=0
/proc/3283/task/3290/stat : 3290 (java) S 3281 3283 3215 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270772184 937721856 31898 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3283/tid=3291] ppid=3281 vsize=915744 CPUtime=0
/proc/3283/task/3291/stat : 3291 (java) S 3281 3283 3215 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270772184 937721856 31898 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 915744

[startup+25.6041 s]
/proc/loadavg: 1.88 1.98 1.99 3/94 3291
/proc/meminfo: memFree=873744/2055920 swapFree=4165612/4192956
[pid=3283] ppid=3281 vsize=915744 CPUtime=25.35
/proc/3283/stat : 3283 (java) R 3281 3283 3215 0 -1 0 33528 0 1 0 2517 18 0 0 25 0 8 0 270772176 937721856 33258 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073828950 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3283/statm: 228936 33258 2181 14 0 215406 0
[pid=3283/tid=3285] ppid=3281 vsize=915744 CPUtime=0.33
/proc/3283/task/3285/stat : 3285 (java) S 3281 3283 3215 0 -1 64 16882 0 0 0 27 6 0 0 16 0 8 0 270772180 937721856 33258 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3283/tid=3286] ppid=3281 vsize=915744 CPUtime=0
/proc/3283/task/3286/stat : 3286 (java) S 3281 3283 3215 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270772180 937721856 33258 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3283/tid=3287] ppid=3281 vsize=915744 CPUtime=0
/proc/3283/task/3287/stat : 3287 (java) S 3281 3283 3215 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270772180 937721856 33258 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3283/tid=3288] ppid=3281 vsize=915744 CPUtime=0
/proc/3283/task/3288/stat : 3288 (java) S 3281 3283 3215 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270772184 937721856 33258 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3283/tid=3289] ppid=3281 vsize=915744 CPUtime=0.19
/proc/3283/task/3289/stat : 3289 (java) S 3281 3283 3215 0 -1 64 427 0 0 0 19 0 0 0 16 0 8 0 270772184 937721856 33258 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3283/tid=3290] ppid=3281 vsize=915744 CPUtime=0
/proc/3283/task/3290/stat : 3290 (java) S 3281 3283 3215 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270772184 937721856 33258 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3283/tid=3291] ppid=3281 vsize=915744 CPUtime=0
/proc/3283/task/3291/stat : 3291 (java) S 3281 3283 3215 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270772184 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.35
Current children cumulated vsize (KiB) 915744

[startup+51.2211 s]
/proc/loadavg: 1.92 1.98 1.99 3/94 3291
/proc/meminfo: memFree=873808/2055920 swapFree=4165612/4192956
[pid=3283] ppid=3281 vsize=915744 CPUtime=50.73
/proc/3283/stat : 3283 (java) R 3281 3283 3215 0 -1 0 33534 0 1 0 5054 19 0 0 25 0 8 0 270772176 937721856 33263 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073828966 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3283/statm: 228936 33263 2182 14 0 215406 0
[pid=3283/tid=3285] ppid=3281 vsize=915744 CPUtime=0.33
/proc/3283/task/3285/stat : 3285 (java) S 3281 3283 3215 0 -1 64 16882 0 0 0 27 6 0 0 16 0 8 0 270772180 937721856 33263 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3283/tid=3286] ppid=3281 vsize=915744 CPUtime=0
/proc/3283/task/3286/stat : 3286 (java) S 3281 3283 3215 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270772180 937721856 33263 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3283/tid=3287] ppid=3281 vsize=915744 CPUtime=0
/proc/3283/task/3287/stat : 3287 (java) S 3281 3283 3215 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270772180 937721856 33263 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3283/tid=3288] ppid=3281 vsize=915744 CPUtime=0
/proc/3283/task/3288/stat : 3288 (java) S 3281 3283 3215 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270772184 937721856 33263 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3283/tid=3289] ppid=3281 vsize=915744 CPUtime=0.2
/proc/3283/task/3289/stat : 3289 (java) S 3281 3283 3215 0 -1 64 431 0 0 0 20 0 0 0 16 0 8 0 270772184 937721856 33263 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3283/tid=3290] ppid=3281 vsize=915744 CPUtime=0
/proc/3283/task/3290/stat : 3290 (java) S 3281 3283 3215 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270772184 937721856 33263 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3283/tid=3291] ppid=3281 vsize=915744 CPUtime=0
/proc/3283/task/3291/stat : 3291 (java) S 3281 3283 3215 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270772184 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.73
Current children cumulated vsize (KiB) 915744

[startup+102.446 s]
/proc/loadavg: 1.96 1.98 1.99 3/94 3291
/proc/meminfo: memFree=823120/2055920 swapFree=4165612/4192956
[pid=3283] ppid=3281 vsize=915744 CPUtime=101.47
/proc/3283/stat : 3283 (java) R 3281 3283 3215 0 -1 0 46572 0 1 0 10120 27 0 0 25 0 8 0 270772176 937721856 46241 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073999359 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3283/statm: 228936 46241 2501 14 0 215406 0
[pid=3283/tid=3285] ppid=3281 vsize=915744 CPUtime=1.36
/proc/3283/task/3285/stat : 3285 (java) S 3281 3283 3215 0 -1 64 29531 0 0 0 124 12 0 0 16 0 8 0 270772180 937721856 46241 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3283/tid=3286] ppid=3281 vsize=915744 CPUtime=0
/proc/3283/task/3286/stat : 3286 (java) S 3281 3283 3215 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270772180 937721856 46241 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3283/tid=3287] ppid=3281 vsize=915744 CPUtime=0
/proc/3283/task/3287/stat : 3287 (java) S 3281 3283 3215 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270772180 937721856 46241 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3283/tid=3288] ppid=3281 vsize=915744 CPUtime=0
/proc/3283/task/3288/stat : 3288 (java) S 3281 3283 3215 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270772184 937721856 46241 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3283/tid=3289] ppid=3281 vsize=915744 CPUtime=0.27
/proc/3283/task/3289/stat : 3289 (java) S 3281 3283 3215 0 -1 64 469 0 0 0 26 1 0 0 15 0 8 0 270772184 937721856 46241 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3283/tid=3290] ppid=3281 vsize=915744 CPUtime=0
/proc/3283/task/3290/stat : 3290 (java) S 3281 3283 3215 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270772184 937721856 46241 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3283/tid=3291] ppid=3281 vsize=915744 CPUtime=0
/proc/3283/task/3291/stat : 3291 (java) S 3281 3283 3215 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270772184 937721856 46241 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.47
Current children cumulated vsize (KiB) 915744

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

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

[startup+2085.26 s]
/proc/loadavg: 2.00 2.00 2.00 3/94 3373
/proc/meminfo: memFree=792152/2055920 swapFree=4165612/4192956
[pid=3283] ppid=3281 vsize=915976 CPUtime=2074.2
/proc/3283/stat : 3283 (java) R 3281 3283 3215 0 -1 0 135457 0 1 0 207332 88 0 0 25 0 8 0 270772176 937959424 135111 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073828864 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3283/statm: 228994 135111 2546 14 0 215464 0
[pid=3283/tid=3285] ppid=3281 vsize=915976 CPUtime=2.12
/proc/3283/task/3285/stat : 3285 (java) S 3281 3283 3215 0 -1 64 118183 0 0 0 170 42 0 0 16 0 8 0 270772180 937959424 135111 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3283/tid=3286] ppid=3281 vsize=915976 CPUtime=0
/proc/3283/task/3286/stat : 3286 (java) S 3281 3283 3215 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270772180 937959424 135111 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3283/tid=3287] ppid=3281 vsize=915976 CPUtime=0
/proc/3283/task/3287/stat : 3287 (java) S 3281 3283 3215 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270772180 937959424 135111 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3283/tid=3288] ppid=3281 vsize=915976 CPUtime=0
/proc/3283/task/3288/stat : 3288 (java) S 3281 3283 3215 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270772184 937959424 135111 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3283/tid=3289] ppid=3281 vsize=915976 CPUtime=0.38
/proc/3283/task/3289/stat : 3289 (java) S 3281 3283 3215 0 -1 64 583 0 0 0 37 1 0 0 16 0 8 0 270772184 937959424 135111 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3283/tid=3290] ppid=3281 vsize=915976 CPUtime=0
/proc/3283/task/3290/stat : 3290 (java) S 3281 3283 3215 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270772184 937959424 135111 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3283/tid=3291] ppid=3281 vsize=915976 CPUtime=0
/proc/3283/task/3291/stat : 3291 (java) S 3281 3283 3215 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270772184 937959424 135111 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2074.2
Current children cumulated vsize (KiB) 915976

[startup+2145.34 s]
/proc/loadavg: 2.00 2.00 2.00 3/94 3373
/proc/meminfo: memFree=792088/2055920 swapFree=4165612/4192956
[pid=3283] ppid=3281 vsize=915976 CPUtime=2134.22
/proc/3283/stat : 3283 (java) R 3281 3283 3215 0 -1 0 135457 0 1 0 213334 88 0 0 25 0 8 0 270772176 937959424 135111 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073470044 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3283/statm: 228994 135111 2546 14 0 215464 0
[pid=3283/tid=3285] ppid=3281 vsize=915976 CPUtime=2.12
/proc/3283/task/3285/stat : 3285 (java) S 3281 3283 3215 0 -1 64 118183 0 0 0 170 42 0 0 16 0 8 0 270772180 937959424 135111 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3283/tid=3286] ppid=3281 vsize=915976 CPUtime=0
/proc/3283/task/3286/stat : 3286 (java) S 3281 3283 3215 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270772180 937959424 135111 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3283/tid=3287] ppid=3281 vsize=915976 CPUtime=0
/proc/3283/task/3287/stat : 3287 (java) S 3281 3283 3215 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270772180 937959424 135111 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3283/tid=3288] ppid=3281 vsize=915976 CPUtime=0
/proc/3283/task/3288/stat : 3288 (java) S 3281 3283 3215 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270772184 937959424 135111 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3283/tid=3289] ppid=3281 vsize=915976 CPUtime=0.38
/proc/3283/task/3289/stat : 3289 (java) S 3281 3283 3215 0 -1 64 583 0 0 0 37 1 0 0 16 0 8 0 270772184 937959424 135111 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3283/tid=3290] ppid=3281 vsize=915976 CPUtime=0
/proc/3283/task/3290/stat : 3290 (java) S 3281 3283 3215 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270772184 937959424 135111 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3283/tid=3291] ppid=3281 vsize=915976 CPUtime=0
/proc/3283/task/3291/stat : 3291 (java) S 3281 3283 3215 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270772184 937959424 135111 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2134.22
Current children cumulated vsize (KiB) 915976

[startup+2205.41 s]
/proc/loadavg: 2.00 2.00 2.00 3/94 3373
/proc/meminfo: memFree=792088/2055920 swapFree=4165612/4192956
[pid=3283] ppid=3281 vsize=915976 CPUtime=2194.21
/proc/3283/stat : 3283 (java) R 3281 3283 3215 0 -1 0 135457 0 1 0 219333 88 0 0 25 0 8 0 270772176 937959424 135111 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074286479 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3283/statm: 228994 135111 2546 14 0 215464 0
[pid=3283/tid=3285] ppid=3281 vsize=915976 CPUtime=2.12
/proc/3283/task/3285/stat : 3285 (java) S 3281 3283 3215 0 -1 64 118183 0 0 0 170 42 0 0 16 0 8 0 270772180 937959424 135111 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3283/tid=3286] ppid=3281 vsize=915976 CPUtime=0
/proc/3283/task/3286/stat : 3286 (java) S 3281 3283 3215 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270772180 937959424 135111 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3283/tid=3287] ppid=3281 vsize=915976 CPUtime=0
/proc/3283/task/3287/stat : 3287 (java) S 3281 3283 3215 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270772180 937959424 135111 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3283/tid=3288] ppid=3281 vsize=915976 CPUtime=0
/proc/3283/task/3288/stat : 3288 (java) S 3281 3283 3215 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270772184 937959424 135111 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3283/tid=3289] ppid=3281 vsize=915976 CPUtime=0.38
/proc/3283/task/3289/stat : 3289 (java) S 3281 3283 3215 0 -1 64 583 0 0 0 37 1 0 0 16 0 8 0 270772184 937959424 135111 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3283/tid=3290] ppid=3281 vsize=915976 CPUtime=0
/proc/3283/task/3290/stat : 3290 (java) S 3281 3283 3215 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270772184 937959424 135111 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3283/tid=3291] ppid=3281 vsize=915976 CPUtime=0
/proc/3283/task/3291/stat : 3291 (java) S 3281 3283 3215 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270772184 937959424 135111 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2194.21
Current children cumulated vsize (KiB) 915976

[startup+2265.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/94 3373
/proc/meminfo: memFree=792088/2055920 swapFree=4165612/4192956
[pid=3283] ppid=3281 vsize=915976 CPUtime=2254.24
/proc/3283/stat : 3283 (java) R 3281 3283 3215 0 -1 0 135457 0 1 0 225336 88 0 0 25 0 8 0 270772176 937959424 135111 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073828956 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3283/statm: 228994 135111 2546 14 0 215464 0
[pid=3283/tid=3285] ppid=3281 vsize=915976 CPUtime=2.12
/proc/3283/task/3285/stat : 3285 (java) S 3281 3283 3215 0 -1 64 118183 0 0 0 170 42 0 0 16 0 8 0 270772180 937959424 135111 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3283/tid=3286] ppid=3281 vsize=915976 CPUtime=0
/proc/3283/task/3286/stat : 3286 (java) S 3281 3283 3215 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270772180 937959424 135111 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3283/tid=3287] ppid=3281 vsize=915976 CPUtime=0
/proc/3283/task/3287/stat : 3287 (java) S 3281 3283 3215 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270772180 937959424 135111 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3283/tid=3288] ppid=3281 vsize=915976 CPUtime=0
/proc/3283/task/3288/stat : 3288 (java) S 3281 3283 3215 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270772184 937959424 135111 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3283/tid=3289] ppid=3281 vsize=915976 CPUtime=0.38
/proc/3283/task/3289/stat : 3289 (java) S 3281 3283 3215 0 -1 64 583 0 0 0 37 1 0 0 16 0 8 0 270772184 937959424 135111 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3283/tid=3290] ppid=3281 vsize=915976 CPUtime=0
/proc/3283/task/3290/stat : 3290 (java) S 3281 3283 3215 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270772184 937959424 135111 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3283/tid=3291] ppid=3281 vsize=915976 CPUtime=0
/proc/3283/task/3291/stat : 3291 (java) S 3281 3283 3215 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270772184 937959424 135111 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2254.24
Current children cumulated vsize (KiB) 915976

[startup+2325.59 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 3489
/proc/meminfo: memFree=790872/2055920 swapFree=4165612/4192956
[pid=3283] ppid=3281 vsize=915976 CPUtime=2314.24
/proc/3283/stat : 3283 (java) R 3281 3283 3215 0 -1 0 135457 0 1 0 231330 94 0 0 25 0 8 0 270772176 937959424 135111 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073470044 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3283/statm: 228994 135111 2546 14 0 215464 0
[pid=3283/tid=3285] ppid=3281 vsize=915976 CPUtime=2.12
/proc/3283/task/3285/stat : 3285 (java) S 3281 3283 3215 0 -1 64 118183 0 0 0 170 42 0 0 16 0 8 0 270772180 937959424 135111 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3283/tid=3286] ppid=3281 vsize=915976 CPUtime=0
/proc/3283/task/3286/stat : 3286 (java) S 3281 3283 3215 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270772180 937959424 135111 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3283/tid=3287] ppid=3281 vsize=915976 CPUtime=0
/proc/3283/task/3287/stat : 3287 (java) S 3281 3283 3215 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270772180 937959424 135111 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3283/tid=3288] ppid=3281 vsize=915976 CPUtime=0
/proc/3283/task/3288/stat : 3288 (java) S 3281 3283 3215 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270772184 937959424 135111 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3283/tid=3289] ppid=3281 vsize=915976 CPUtime=0.38
/proc/3283/task/3289/stat : 3289 (java) S 3281 3283 3215 0 -1 64 583 0 0 0 37 1 0 0 16 0 8 0 270772184 937959424 135111 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3283/tid=3290] ppid=3281 vsize=915976 CPUtime=0
/proc/3283/task/3290/stat : 3290 (java) S 3281 3283 3215 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270772184 937959424 135111 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3283/tid=3291] ppid=3281 vsize=915976 CPUtime=0
/proc/3283/task/3291/stat : 3291 (java) S 3281 3283 3215 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270772184 937959424 135111 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2314.24
Current children cumulated vsize (KiB) 915976

[startup+2385.6 s]
/proc/loadavg: 2.00 2.00 2.00 3/94 3571
/proc/meminfo: memFree=791824/2055920 swapFree=4165612/4192956
[pid=3283] ppid=3281 vsize=915976 CPUtime=2374.14
/proc/3283/stat : 3283 (java) R 3281 3283 3215 0 -1 0 135457 0 1 0 237315 99 0 0 25 0 8 0 270772176 937959424 135111 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073828840 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3283/statm: 228994 135111 2546 14 0 215464 0
[pid=3283/tid=3285] ppid=3281 vsize=915976 CPUtime=2.12
/proc/3283/task/3285/stat : 3285 (java) S 3281 3283 3215 0 -1 64 118183 0 0 0 170 42 0 0 16 0 8 0 270772180 937959424 135111 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3283/tid=3286] ppid=3281 vsize=915976 CPUtime=0
/proc/3283/task/3286/stat : 3286 (java) S 3281 3283 3215 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270772180 937959424 135111 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3283/tid=3287] ppid=3281 vsize=915976 CPUtime=0
/proc/3283/task/3287/stat : 3287 (java) S 3281 3283 3215 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270772180 937959424 135111 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3283/tid=3288] ppid=3281 vsize=915976 CPUtime=0
/proc/3283/task/3288/stat : 3288 (java) S 3281 3283 3215 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270772184 937959424 135111 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3283/tid=3289] ppid=3281 vsize=915976 CPUtime=0.38
/proc/3283/task/3289/stat : 3289 (java) S 3281 3283 3215 0 -1 64 583 0 0 0 37 1 0 0 16 0 8 0 270772184 937959424 135111 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3283/tid=3290] ppid=3281 vsize=915976 CPUtime=0
/proc/3283/task/3290/stat : 3290 (java) S 3281 3283 3215 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270772184 937959424 135111 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3283/tid=3291] ppid=3281 vsize=915976 CPUtime=0
/proc/3283/task/3291/stat : 3291 (java) S 3281 3283 3215 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270772184 937959424 135111 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2374.14
Current children cumulated vsize (KiB) 915976



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2411.52 s]
/proc/loadavg: 2.00 2.00 2.00 3/94 3571
/proc/meminfo: memFree=791824/2055920 swapFree=4165612/4192956
[pid=3283] ppid=3281 vsize=915976 CPUtime=2400.06
/proc/3283/stat : 3283 (java) R 3281 3283 3215 0 -1 0 135457 0 1 0 239907 99 0 0 25 0 8 0 270772176 937959424 135111 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073829011 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3283/statm: 228994 135111 2546 14 0 215464 0
[pid=3283/tid=3285] ppid=3281 vsize=915976 CPUtime=2.12
/proc/3283/task/3285/stat : 3285 (java) S 3281 3283 3215 0 -1 64 118183 0 0 0 170 42 0 0 16 0 8 0 270772180 937959424 135111 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3283/tid=3286] ppid=3281 vsize=915976 CPUtime=0
/proc/3283/task/3286/stat : 3286 (java) S 3281 3283 3215 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270772180 937959424 135111 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3283/tid=3287] ppid=3281 vsize=915976 CPUtime=0
/proc/3283/task/3287/stat : 3287 (java) S 3281 3283 3215 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270772180 937959424 135111 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3283/tid=3288] ppid=3281 vsize=915976 CPUtime=0
/proc/3283/task/3288/stat : 3288 (java) S 3281 3283 3215 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270772184 937959424 135111 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3283/tid=3289] ppid=3281 vsize=915976 CPUtime=0.38
/proc/3283/task/3289/stat : 3289 (java) S 3281 3283 3215 0 -1 64 583 0 0 0 37 1 0 0 16 0 8 0 270772184 937959424 135111 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3283/tid=3290] ppid=3281 vsize=915976 CPUtime=0
/proc/3283/task/3290/stat : 3290 (java) S 3281 3283 3215 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270772184 937959424 135111 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3283/tid=3291] ppid=3281 vsize=915976 CPUtime=0
/proc/3283/task/3291/stat : 3291 (java) S 3281 3283 3215 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270772184 937959424 135111 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) 915976

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

Child status: 143
Real time (s): 2411.65
CPU time (s): 2400.18
CPU user time (s): 2399.11
CPU system time (s): 1.06884
CPU usage (%): 99.5243
Max. virtual memory (cumulated for all children) (KiB): 915996

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

runsolver used 3.43148 s user time and 7.36388 s system time

The end

Launcher Data (download as text)

Begin job on node1 on Fri Jan 19 16:22:44 UTC 2007


IDJOB= 275592
IDBENCH= 4140
IDSOLVER= 69
FILE ID= node1/275592-1169223764

PBS_JOBID= 3588964

Free space on /tmp= 66554 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  82b2049137acde119d642358846e7753

RANDOM SEED= 247424826

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

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:        998696 kB
Buffers:         49884 kB
Cached:         563240 kB
SwapCached:       3840 kB
Active:         584628 kB
Inactive:       396480 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:        998696 kB
SwapTotal:     4192956 kB
SwapFree:      4165612 kB
Dirty:            7828 kB
Writeback:           0 kB
Mapped:         378864 kB
Slab:            60048 kB
Committed_AS:  8034492 kB
PageTables:       2996 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= 66554 MiB



End job on node1 on Fri Jan 19 17:02:56 UTC 2007